runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051233/uns-paranoid-0.0002/8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./uns-paranoid-0.0002 /home/misc2010/data/2010/debian-dudf//8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/uns-paranoid-0.0002/8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debian-dudf.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.14 1.06 1.01 4/34 14445 /proc/meminfo: memFree=728752/1048576 swapFree=2094600/2097144 [pid=14444] ppid=14443 vsize=2384 CPUtime=0 /proc/14444/stat : 14444 (uns-paranoid-0.) R 14443 14444 3447 769 3447 4194304 346 0 0 0 0 0 0 0 25 0 1 0 528344666 2441216 259 1283457024 134512640 135191968 4293323056 18446744073709551615 4158738848 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/14444/statm: 596 259 220 166 0 28 0 [pid=14445] ppid=14444 vsize=2384 CPUtime=0 /proc/14445/stat : 14445 (uns-paranoid-0.) R 14444 14444 3447 769 3447 4194368 0 0 0 0 0 0 0 0 25 0 1 0 528344666 2441216 39 1283457024 134512640 135191968 4293323056 18446744073709551615 4158738848 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/14445/statm: 596 39 0 166 0 28 0 [startup+0.154901 s] /proc/loadavg: 1.14 1.06 1.01 4/34 14445 /proc/meminfo: memFree=728752/1048576 swapFree=2094600/2097144 [pid=14444] ppid=14443 vsize=2384 CPUtime=0 /proc/14444/stat : 14444 (uns-paranoid-0.) S 14443 14444 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528344666 2441216 260 1283457024 134512640 135191968 4293323056 18446744073709551615 4158736798 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14444/statm: 596 260 221 166 0 28 0 [pid=14445] ppid=14444 vsize=14036 CPUtime=0.15 /proc/14445/stat : 14445 (cudfsolver-stat) R 14444 14444 3447 769 3447 4202496 2103 0 0 0 13 2 0 0 25 0 1 0 528344666 14372864 2016 1283457024 134512640 140938604 4288263248 18446744073709551615 140190663 0 0 0 0 0 0 0 17 0 0 0 0 /proc/14445/statm: 3509 2016 132 1569 0 1917 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 16420 [startup+0.21491 s] /proc/loadavg: 1.14 1.06 1.01 4/34 14445 /proc/meminfo: memFree=728752/1048576 swapFree=2094600/2097144 [pid=14444] ppid=14443 vsize=2384 CPUtime=0 /proc/14444/stat : 14444 (uns-paranoid-0.) S 14443 14444 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528344666 2441216 260 1283457024 134512640 135191968 4293323056 18446744073709551615 4158736798 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14444/statm: 596 260 221 166 0 28 0 [pid=14445] ppid=14444 vsize=16764 CPUtime=0.21 /proc/14445/stat : 14445 (cudfsolver-stat) R 14444 14444 3447 769 3447 4202496 2751 0 0 0 18 3 0 0 25 0 1 0 528344666 17166336 2663 1283457024 134512640 140938604 4288263248 18446744073709551615 140189966 0 0 0 0 0 0 0 17 0 0 0 0 /proc/14445/statm: 4191 2663 133 1569 0 2599 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 19148 [startup+0.314926 s] /proc/loadavg: 1.14 1.06 1.01 4/34 14445 /proc/meminfo: memFree=728752/1048576 swapFree=2094600/2097144 [pid=14444] ppid=14443 vsize=2384 CPUtime=0 /proc/14444/stat : 14444 (uns-paranoid-0.) S 14443 14444 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528344666 2441216 260 1283457024 134512640 135191968 4293323056 18446744073709551615 4158736798 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14444/statm: 596 260 221 166 0 28 0 [pid=14445] ppid=14444 vsize=21120 CPUtime=0.31 /proc/14445/stat : 14445 (cudfsolver-stat) R 14444 14444 3447 769 3447 4202496 3878 0 0 0 28 3 0 0 25 0 1 0 528344666 21626880 3759 1283457024 134512640 140938604 4288263248 18446744073709551615 140187467 0 0 0 0 0 0 0 17 0 0 0 0 /proc/14445/statm: 5280 3759 132 1569 0 3688 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 23504 [startup+0.715011 s] /proc/loadavg: 1.14 1.06 1.01 4/34 14445 /proc/meminfo: memFree=728752/1048576 swapFree=2094600/2097144 [pid=14444] ppid=14443 vsize=2384 CPUtime=0 /proc/14444/stat : 14444 (uns-paranoid-0.) S 14443 14444 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528344666 2441216 260 1283457024 134512640 135191968 4293323056 18446744073709551615 4158736798 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14444/statm: 596 260 221 166 0 28 0 [pid=14445] ppid=14444 vsize=36936 CPUtime=0.71 /proc/14445/stat : 14445 (cudfsolver-stat) R 14444 14444 3447 769 3447 4202496 7897 0 0 0 64 7 0 0 25 0 1 0 528344666 37822464 7680 1283457024 134512640 140938604 4288263248 18446744073709551615 134610977 0 0 0 0 0 0 0 17 0 0 0 0 /proc/14445/statm: 9234 7680 132 1569 0 7642 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 39320 [startup+1.51521 s] /proc/loadavg: 1.14 1.06 1.01 2/35 14446 /proc/meminfo: memFree=683852/1048576 swapFree=2094600/2097144 [pid=14444] ppid=14443 vsize=2384 CPUtime=0 /proc/14444/stat : 14444 (uns-paranoid-0.) S 14443 14444 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528344666 2441216 260 1283457024 134512640 135191968 4293323056 18446744073709551615 4158736798 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14444/statm: 596 260 221 166 0 28 0 [pid=14445] ppid=14444 vsize=66232 CPUtime=1.51 /proc/14445/stat : 14445 (cudfsolver-stat) R 14444 14444 3447 769 3447 4202496 15380 0 0 0 138 13 0 0 25 0 1 0 528344666 67821568 15031 1283457024 134512640 140938604 4288263248 18446744073709551615 140190684 0 0 0 0 0 0 0 17 0 0 0 0 /proc/14445/statm: 16558 15031 132 1569 0 14966 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 68616 [startup+3.10919 s] /proc/loadavg: 1.14 1.06 1.01 2/35 14446 /proc/meminfo: memFree=626272/1048576 swapFree=2094600/2097144 [pid=14444] ppid=14443 vsize=2384 CPUtime=0 /proc/14444/stat : 14444 (uns-paranoid-0.) S 14443 14444 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528344666 2441216 260 1283457024 134512640 135191968 4293323056 18446744073709551615 4158736798 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14444/statm: 596 260 221 166 0 28 0 [pid=14445] ppid=14444 vsize=119872 CPUtime=3.05 /proc/14445/stat : 14445 (cudfsolver-stat) R 14444 14444 3447 769 3447 4202496 38989 0 6 0 282 23 0 0 25 0 1 0 528344666 122748928 26976 1283457024 134512640 140938604 4288263248 18446744073709551615 137238389 0 0 0 0 0 0 0 17 0 0 0 0 /proc/14445/statm: 29968 26976 404 1569 0 28022 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 122256 [startup+6.31338 s] /proc/loadavg: 1.13 1.06 1.01 2/35 14446 /proc/meminfo: memFree=603276/1048576 swapFree=2094600/2097144 [pid=14444] ppid=14443 vsize=2384 CPUtime=0 /proc/14444/stat : 14444 (uns-paranoid-0.) S 14443 14444 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528344666 2441216 260 1283457024 134512640 135191968 4293323056 18446744073709551615 4158736798 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14444/statm: 596 260 221 166 0 28 0 [pid=14445] ppid=14444 vsize=210568 CPUtime=6.23 /proc/14445/stat : 14445 (cudfsolver-stat) R 14444 14444 3447 769 3447 4202496 90814 0 9 0 576 47 0 0 25 0 1 0 528344666 215621632 31419 1283457024 134512640 140938604 4288263248 18446744073709551615 134890253 0 0 0 0 0 0 0 17 0 0 0 0 /proc/14445/statm: 52642 31419 452 1569 0 50696 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 212952 Solver just ended. Dumping a history of the last processes samples [startup+6.4034 s] /proc/loadavg: 1.13 1.06 1.01 2/35 14446 /proc/meminfo: memFree=603276/1048576 swapFree=2094600/2097144 [pid=14444] ppid=14443 vsize=2384 CPUtime=0 /proc/14444/stat : 14444 (uns-paranoid-0.) S 14443 14444 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528344666 2441216 260 1283457024 134512640 135191968 4293323056 18446744073709551615 4158736798 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14444/statm: 596 260 221 166 0 28 0 [pid=14445] ppid=14444 vsize=211944 CPUtime=6.32 /proc/14445/stat : 14445 (cudfsolver-stat) R 14444 14444 3447 769 3447 4202496 94446 0 9 0 583 49 0 0 25 0 1 0 528344666 217030656 31763 1283457024 134512640 140938604 4288263248 18446744073709551615 137264939 0 0 0 0 0 0 0 17 0 0 0 0 /proc/14445/statm: 52986 31763 452 1569 0 51040 0 Current children cumulated CPU time (s) 6.32 Current children cumulated vsize (KiB) 214328 [startup+9.60963 s] /proc/loadavg: 1.12 1.06 1.01 2/35 14446 /proc/meminfo: memFree=551460/1048576 swapFree=2094600/2097144 [pid=14444] ppid=14443 vsize=2384 CPUtime=0 /proc/14444/stat : 14444 (uns-paranoid-0.) S 14443 14444 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528344666 2441216 260 1283457024 134512640 135191968 4293323056 18446744073709551615 4158736798 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14444/statm: 596 260 221 166 0 28 0 [pid=14445] ppid=14444 vsize=294452 CPUtime=9.44 /proc/14445/stat : 14445 (cudfsolver-stat) R 14444 14444 3447 769 3447 4202496 180596 0 18 0 864 80 0 0 25 0 1 0 528344666 301518848 47047 1283457024 134512640 140938604 4288263248 18446744073709551615 135078512 0 0 0 0 0 0 0 17 0 0 0 0 /proc/14445/statm: 73613 47047 676 1569 0 71667 0 Current children cumulated CPU time (s) 9.44 Current children cumulated vsize (KiB) 296836 [startup+10.4099 s] /proc/loadavg: 1.12 1.06 1.01 2/35 14446 /proc/meminfo: memFree=600564/1048576 swapFree=2094600/2097144 [pid=14444] ppid=14443 vsize=2384 CPUtime=0 /proc/14444/stat : 14444 (uns-paranoid-0.) S 14443 14444 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528344666 2441216 260 1283457024 134512640 135191968 4293323056 18446744073709551615 4158736798 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14444/statm: 596 260 221 166 0 28 0 [pid=14445] ppid=14444 vsize=221028 CPUtime=10.24 /proc/14445/stat : 14445 (cudfsolver-stat) R 14444 14444 3447 769 3447 4202496 214297 0 18 0 926 98 0 0 25 0 1 0 528344666 226332672 34032 1283457024 134512640 140938604 4288263248 18446744073709551615 134697060 0 0 0 0 0 0 0 17 0 0 0 0 /proc/14445/statm: 55257 34032 681 1569 0 53311 0 Current children cumulated CPU time (s) 10.24 Current children cumulated vsize (KiB) 223412 [startup+11.2101 s] /proc/loadavg: 1.12 1.06 1.01 2/35 14446 /proc/meminfo: memFree=593372/1048576 swapFree=2094600/2097144 [pid=14444] ppid=14443 vsize=2384 CPUtime=0 /proc/14444/stat : 14444 (uns-paranoid-0.) S 14443 14444 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528344666 2441216 260 1283457024 134512640 135191968 4293323056 18446744073709551615 4158736798 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14444/statm: 596 260 221 166 0 28 0 [pid=14445] ppid=14444 vsize=221028 CPUtime=11.04 /proc/14445/stat : 14445 (cudfsolver-stat) R 14444 14444 3447 769 3447 4202496 214297 0 18 0 1006 98 0 0 25 0 1 0 528344666 226332672 34032 1283457024 134512640 140938604 4288263248 18446744073709551615 134697069 0 0 0 0 0 0 0 17 0 0 0 0 /proc/14445/statm: 55257 34032 681 1569 0 53311 0 Current children cumulated CPU time (s) 11.04 Current children cumulated vsize (KiB) 223412 [startup+11.4101 s] /proc/loadavg: 1.12 1.06 1.01 2/35 14446 /proc/meminfo: memFree=593372/1048576 swapFree=2094600/2097144 [pid=14444] ppid=14443 vsize=2384 CPUtime=0 /proc/14444/stat : 14444 (uns-paranoid-0.) S 14443 14444 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528344666 2441216 260 1283457024 134512640 135191968 4293323056 18446744073709551615 4158736798 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14444/statm: 596 260 221 166 0 28 0 [pid=14445] ppid=14444 vsize=260800 CPUtime=11.25 /proc/14445/stat : 14445 (cudfsolver-stat) R 14444 14444 3447 769 3447 4202496 216784 0 18 0 1027 98 0 0 25 0 1 0 528344666 267059200 36261 1283457024 134512640 140938604 4288263248 18446744073709551615 137281758 0 0 0 0 0 0 0 17 0 0 0 0 /proc/14445/statm: 65200 36261 681 1569 0 63254 0 Current children cumulated CPU time (s) 11.25 Current children cumulated vsize (KiB) 263184 [startup+11.5102 s] /proc/loadavg: 1.12 1.06 1.01 2/35 14446 /proc/meminfo: memFree=593372/1048576 swapFree=2094600/2097144 [pid=14444] ppid=14443 vsize=2384 CPUtime=0 /proc/14444/stat : 14444 (uns-paranoid-0.) S 14443 14444 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528344666 2441216 260 1283457024 134512640 135191968 4293323056 18446744073709551615 4158736798 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14444/statm: 596 260 221 166 0 28 0 [pid=14445] ppid=14444 vsize=100280 CPUtime=11.35 /proc/14445/stat : 14445 (cudfsolver-stat) R 14444 14444 3447 769 3447 4202496 223258 0 18 0 1034 101 0 0 25 0 1 0 528344666 102686720 22994 1283457024 134512640 140938604 4288263248 18446744073709551615 134616772 0 0 0 0 0 0 0 17 0 0 0 0 /proc/14445/statm: 25070 22994 687 1569 0 23124 0 Current children cumulated CPU time (s) 11.35 Current children cumulated vsize (KiB) 102664 Child status: 0 Real time (s): 11.5429 CPU time (s): 11.3847 CPU user time (s): 10.3646 CPU system time (s): 1.02006 CPU usage (%): 98.6295 Max. virtual memory (cumulated for all children) (KiB): 309408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.3646 system time used= 1.02006 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 223636 page faults= 18 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 21 involuntary context switches= 146 runsolver used 0 second user time and 0 second system time The end