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/201007050905/uns-paranoid-0.0002/rand8d117b.cudf.easy.log.runsolver ./uns-paranoid-0.0002 /home/misc2010/data/2010/easy//rand8d117b.cudf /home/misc2010/tmp/201007050905/uns-paranoid-0.0002/rand8d117b.cudf.easy.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.54 1.28 0.99 4/35 27818 /proc/meminfo: memFree=377164/1048576 swapFree=2095456/2097144 [pid=27817] ppid=27816 vsize=2384 CPUtime=0 /proc/27817/stat : 27817 (uns-paranoid-0.) S 27816 27817 24102 769 24102 4194304 361 0 0 0 0 0 0 0 25 0 1 0 525085205 2441216 259 1283457024 134512640 135191968 4294697664 18446744073709551615 4158724510 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27817/statm: 596 259 221 166 0 28 0 [pid=27818] ppid=27817 vsize=7200 CPUtime=0.01 /proc/27818/stat : 27818 (cudfsolver-stat) R 27817 27817 24102 769 24102 4202496 367 0 0 0 1 0 0 0 25 0 1 0 525085205 7372800 308 1283457024 134512640 140938604 4293263712 18446744073709551615 134570952 0 0 0 0 0 0 0 17 0 0 0 0 /proc/27818/statm: 1800 308 132 1569 0 208 0 [startup+0.182276 s] /proc/loadavg: 1.54 1.28 0.99 4/35 27818 /proc/meminfo: memFree=377164/1048576 swapFree=2095456/2097144 [pid=27817] ppid=27816 vsize=2384 CPUtime=0 /proc/27817/stat : 27817 (uns-paranoid-0.) S 27816 27817 24102 769 24102 4194304 361 0 0 0 0 0 0 0 25 0 1 0 525085205 2441216 259 1283457024 134512640 135191968 4294697664 18446744073709551615 4158724510 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27817/statm: 596 259 221 166 0 28 0 [pid=27818] ppid=27817 vsize=16312 CPUtime=0.18 /proc/27818/stat : 27818 (cudfsolver-stat) R 27817 27817 24102 769 24102 4202496 2662 0 0 0 18 0 0 0 25 0 1 0 525085205 16703488 2551 1283457024 134512640 140938604 4293263712 18446744073709551615 134608444 0 0 0 0 0 0 0 17 0 0 0 0 /proc/27818/statm: 4078 2551 132 1569 0 2486 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 18696 [startup+0.212279 s] /proc/loadavg: 1.54 1.28 0.99 4/35 27818 /proc/meminfo: memFree=377164/1048576 swapFree=2095456/2097144 [pid=27817] ppid=27816 vsize=2384 CPUtime=0 /proc/27817/stat : 27817 (uns-paranoid-0.) S 27816 27817 24102 769 24102 4194304 361 0 0 0 0 0 0 0 25 0 1 0 525085205 2441216 259 1283457024 134512640 135191968 4294697664 18446744073709551615 4158724510 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27817/statm: 596 259 221 166 0 28 0 [pid=27818] ppid=27817 vsize=17800 CPUtime=0.21 /proc/27818/stat : 27818 (cudfsolver-stat) R 27817 27817 24102 769 24102 4202496 3031 0 0 0 21 0 0 0 25 0 1 0 525085205 18227200 2912 1283457024 134512640 140938604 4293263712 18446744073709551615 140190684 0 0 0 0 0 0 0 17 0 0 0 0 /proc/27818/statm: 4450 2912 132 1569 0 2858 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 20184 [startup+0.302295 s] /proc/loadavg: 1.54 1.28 0.99 4/35 27818 /proc/meminfo: memFree=377164/1048576 swapFree=2095456/2097144 [pid=27817] ppid=27816 vsize=2384 CPUtime=0 /proc/27817/stat : 27817 (uns-paranoid-0.) S 27816 27817 24102 769 24102 4194304 361 0 0 0 0 0 0 0 25 0 1 0 525085205 2441216 259 1283457024 134512640 135191968 4294697664 18446744073709551615 4158724510 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27817/statm: 596 259 221 166 0 28 0 [pid=27818] ppid=27817 vsize=21892 CPUtime=0.29 /proc/27818/stat : 27818 (cudfsolver-stat) R 27817 27817 24102 769 24102 4202496 4092 0 0 0 28 1 0 0 25 0 1 0 525085205 22417408 3973 1283457024 134512640 140938604 4293263712 18446744073709551615 140187834 0 0 0 0 0 0 0 17 0 0 0 0 /proc/27818/statm: 5473 3973 132 1569 0 3881 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24276 [startup+0.702368 s] /proc/loadavg: 1.54 1.28 0.99 4/35 27818 /proc/meminfo: memFree=377164/1048576 swapFree=2095456/2097144 [pid=27817] ppid=27816 vsize=2384 CPUtime=0 /proc/27817/stat : 27817 (uns-paranoid-0.) S 27816 27817 24102 769 24102 4194304 361 0 0 0 0 0 0 0 25 0 1 0 525085205 2441216 259 1283457024 134512640 135191968 4294697664 18446744073709551615 4158724510 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27817/statm: 596 259 221 166 0 28 0 [pid=27818] ppid=27817 vsize=42464 CPUtime=0.69 /proc/27818/stat : 27818 (cudfsolver-stat) R 27817 27817 24102 769 24102 4202496 8996 0 0 0 64 5 0 0 25 0 1 0 525085205 43483136 8636 1283457024 134512640 140938604 4293263712 18446744073709551615 140177204 0 0 0 0 0 0 0 17 0 0 0 0 /proc/27818/statm: 10616 8636 313 1569 0 8670 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 44848 Solver just ended. Dumping a history of the last processes samples [startup+0.812389 s] /proc/loadavg: 1.54 1.28 0.99 4/35 27818 /proc/meminfo: memFree=377164/1048576 swapFree=2095456/2097144 [pid=27817] ppid=27816 vsize=2384 CPUtime=0 /proc/27817/stat : 27817 (uns-paranoid-0.) S 27816 27817 24102 769 24102 4194304 361 0 0 0 0 0 0 0 25 0 1 0 525085205 2441216 259 1283457024 134512640 135191968 4294697664 18446744073709551615 4158724510 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27817/statm: 596 259 221 166 0 28 0 [pid=27818] ppid=27817 vsize=47592 CPUtime=0.8 /proc/27818/stat : 27818 (cudfsolver-stat) R 27817 27817 24102 769 24102 4202496 11205 0 0 0 75 5 0 0 25 0 1 0 525085205 48734208 9920 1283457024 134512640 140938604 4293263712 18446744073709551615 137921622 0 0 0 0 0 0 0 17 0 0 0 0 /proc/27818/statm: 11898 9920 410 1569 0 9952 0 Current children cumulated CPU time (s) 0.8 Current children cumulated vsize (KiB) 49976 [startup+0.902299 s] /proc/loadavg: 1.54 1.28 0.99 4/35 27818 /proc/meminfo: memFree=377164/1048576 swapFree=2095456/2097144 [pid=27817] ppid=27816 vsize=2384 CPUtime=0 /proc/27817/stat : 27817 (uns-paranoid-0.) S 27816 27817 24102 769 24102 4194304 361 0 0 0 0 0 0 0 25 0 1 0 525085205 2441216 259 1283457024 134512640 135191968 4294697664 18446744073709551615 4158724510 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27817/statm: 596 259 221 166 0 28 0 [pid=27818] ppid=27817 vsize=47800 CPUtime=0.83 /proc/27818/stat : 27818 (cudfsolver-stat) D 27817 27817 24102 769 24102 4202496 11993 0 9 0 78 5 0 0 25 0 1 0 525085205 48947200 10112 1283457024 134512640 140938604 4293263712 18446744073709551615 135969184 0 0 0 0 18446744071564332000 0 0 17 0 0 0 0 /proc/27818/statm: 11950 10112 614 1569 0 10004 0 Current children cumulated CPU time (s) 0.83 Current children cumulated vsize (KiB) 50184 Child status: 0 Real time (s): 0.944604 CPU time (s): 0.860053 CPU user time (s): 0.796049 CPU system time (s): 0.064004 CPU usage (%): 91.0491 Max. virtual memory (cumulated for all children) (KiB): 50184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.796049 system time used= 0.064004 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12590 page faults= 13 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 18 involuntary context switches= 16 runsolver used 0 second user time and 0.004 second system time The end