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/412959c6-e965-11de-8ebf-00163e6585dd.cudf.debian-dudf.log.runsolver ./uns-paranoid-0.0002 /home/misc2010/data/2010/debian-dudf//412959c6-e965-11de-8ebf-00163e6585dd.cudf /home/misc2010/tmp/201007051233/uns-paranoid-0.0002/412959c6-e965-11de-8ebf-00163e6585dd.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.36 1.08 1.02 5/34 10009 /proc/meminfo: memFree=820384/1048576 swapFree=2094612/2097144 [pid=10008] ppid=10007 vsize=2384 CPUtime=0 /proc/10008/stat : 10008 (uns-paranoid-0.) S 10007 10008 3447 769 3447 4194304 363 0 0 0 0 0 0 0 18 0 1 0 527555110 2441216 260 1283457024 134512640 135191968 4286794480 18446744073709551615 4158843294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10008/statm: 596 260 221 166 0 28 0 [pid=10009] ppid=10008 vsize=6936 CPUtime=0 /proc/10009/stat : 10009 (cudfsolver-stat) R 10008 10008 3447 769 3447 4202496 287 0 0 0 0 0 0 0 25 0 1 0 527555110 7102464 229 1283457024 134512640 140938604 4290879184 18446744073709551615 134570871 0 0 0 0 0 0 0 17 0 0 0 0 /proc/10009/statm: 1734 229 132 1569 0 142 0 [startup+0.167029 s] /proc/loadavg: 1.36 1.08 1.02 5/34 10009 /proc/meminfo: memFree=820384/1048576 swapFree=2094612/2097144 [pid=10008] ppid=10007 vsize=2384 CPUtime=0 /proc/10008/stat : 10008 (uns-paranoid-0.) S 10007 10008 3447 769 3447 4194304 363 0 0 0 0 0 0 0 18 0 1 0 527555110 2441216 260 1283457024 134512640 135191968 4286794480 18446744073709551615 4158843294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10008/statm: 596 260 221 166 0 28 0 [pid=10009] ppid=10008 vsize=14728 CPUtime=0.16 /proc/10009/stat : 10009 (cudfsolver-stat) R 10008 10008 3447 769 3447 4202496 2261 0 0 0 12 4 0 0 25 0 1 0 527555110 15081472 2174 1283457024 134512640 140938604 4290879184 18446744073709551615 140161449 0 0 0 0 0 0 0 17 0 0 0 0 /proc/10009/statm: 3682 2174 132 1569 0 2090 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 17112 [startup+0.207036 s] /proc/loadavg: 1.36 1.08 1.02 5/34 10009 /proc/meminfo: memFree=820384/1048576 swapFree=2094612/2097144 [pid=10008] ppid=10007 vsize=2384 CPUtime=0 /proc/10008/stat : 10008 (uns-paranoid-0.) S 10007 10008 3447 769 3447 4194304 363 0 0 0 0 0 0 0 18 0 1 0 527555110 2441216 260 1283457024 134512640 135191968 4286794480 18446744073709551615 4158843294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10008/statm: 596 260 221 166 0 28 0 [pid=10009] ppid=10008 vsize=16404 CPUtime=0.2 /proc/10009/stat : 10009 (cudfsolver-stat) R 10008 10008 3447 769 3447 4202496 2685 0 0 0 16 4 0 0 25 0 1 0 527555110 16797696 2598 1283457024 134512640 140938604 4290879184 18446744073709551615 134604560 0 0 0 0 0 0 0 17 0 0 0 0 /proc/10009/statm: 4101 2598 132 1569 0 2509 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 18788 [startup+0.307055 s] /proc/loadavg: 1.36 1.08 1.02 5/34 10009 /proc/meminfo: memFree=820384/1048576 swapFree=2094612/2097144 [pid=10008] ppid=10007 vsize=2384 CPUtime=0 /proc/10008/stat : 10008 (uns-paranoid-0.) S 10007 10008 3447 769 3447 4194304 363 0 0 0 0 0 0 0 18 0 1 0 527555110 2441216 260 1283457024 134512640 135191968 4286794480 18446744073709551615 4158843294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10008/statm: 596 260 221 166 0 28 0 [pid=10009] ppid=10008 vsize=20920 CPUtime=0.3 /proc/10009/stat : 10009 (cudfsolver-stat) R 10008 10008 3447 769 3447 4202496 3811 0 0 0 26 4 0 0 25 0 1 0 527555110 21422080 3692 1283457024 134512640 140938604 4290879184 18446744073709551615 134570514 0 0 0 0 0 0 0 17 0 0 0 0 /proc/10009/statm: 5230 3692 132 1569 0 3638 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 23304 [startup+0.707133 s] /proc/loadavg: 1.36 1.08 1.02 5/34 10009 /proc/meminfo: memFree=820384/1048576 swapFree=2094612/2097144 [pid=10008] ppid=10007 vsize=2384 CPUtime=0 /proc/10008/stat : 10008 (uns-paranoid-0.) S 10007 10008 3447 769 3447 4194304 363 0 0 0 0 0 0 0 18 0 1 0 527555110 2441216 260 1283457024 134512640 135191968 4286794480 18446744073709551615 4158843294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10008/statm: 596 260 221 166 0 28 0 [pid=10009] ppid=10008 vsize=36868 CPUtime=0.7 /proc/10009/stat : 10009 (cudfsolver-stat) R 10008 10008 3447 769 3447 4202496 7875 0 0 0 66 4 0 0 25 0 1 0 527555110 37752832 7658 1283457024 134512640 140938604 4290879184 18446744073709551615 134604560 0 0 0 0 0 0 0 17 0 0 0 0 /proc/10009/statm: 9217 7658 132 1569 0 7625 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 39252 [startup+1.50733 s] /proc/loadavg: 1.36 1.08 1.02 2/35 10010 /proc/meminfo: memFree=779132/1048576 swapFree=2094612/2097144 [pid=10008] ppid=10007 vsize=2384 CPUtime=0 /proc/10008/stat : 10008 (uns-paranoid-0.) S 10007 10008 3447 769 3447 4194304 363 0 0 0 0 0 0 0 18 0 1 0 527555110 2441216 260 1283457024 134512640 135191968 4286794480 18446744073709551615 4158843294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10008/statm: 596 260 221 166 0 28 0 [pid=10009] ppid=10008 vsize=61056 CPUtime=1.5 /proc/10009/stat : 10009 (cudfsolver-stat) R 10008 10008 3447 769 3447 4202496 21064 0 0 0 138 12 0 0 25 0 1 0 527555110 62521344 10912 1283457024 134512640 140938604 4290879184 18446744073709551615 136196688 0 0 0 0 0 0 0 17 0 0 0 0 /proc/10009/statm: 15264 10912 476 1569 0 13318 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 63440 Solver just ended. Dumping a history of the last processes samples [startup+1.60733 s] /proc/loadavg: 1.36 1.08 1.02 2/35 10010 /proc/meminfo: memFree=779132/1048576 swapFree=2094612/2097144 [pid=10008] ppid=10007 vsize=2384 CPUtime=0 /proc/10008/stat : 10008 (uns-paranoid-0.) S 10007 10008 3447 769 3447 4194304 363 0 0 0 0 0 0 0 18 0 1 0 527555110 2441216 260 1283457024 134512640 135191968 4286794480 18446744073709551615 4158843294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10008/statm: 596 260 221 166 0 28 0 [pid=10009] ppid=10008 vsize=66340 CPUtime=1.6 /proc/10009/stat : 10009 (cudfsolver-stat) R 10008 10008 3447 769 3447 4202496 24820 0 0 0 148 12 0 0 25 0 1 0 527555110 67932160 12226 1283457024 134512640 140938604 4290879184 18446744073709551615 134697078 0 0 0 0 0 0 0 17 0 0 0 0 /proc/10009/statm: 16585 12226 633 1569 0 14639 0 Current children cumulated CPU time (s) 1.6 Current children cumulated vsize (KiB) 68724 Child status: 0 Real time (s): 1.69769 CPU time (s): 1.6961 CPU user time (s): 1.5601 CPU system time (s): 0.136008 CPU usage (%): 99.9064 Max. virtual memory (cumulated for all children) (KiB): 68724 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.5601 system time used= 0.136008 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26092 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 27 runsolver used 0 second user time and 0 second system time The end