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/201007051419/uns-paranoid-0.0002/randf17677.cudf.difficult.log.runsolver ./uns-paranoid-0.0002 /home/misc2010/data/2010/difficult//randf17677.cudf /home/misc2010/tmp/201007051419/uns-paranoid-0.0002/randf17677.cudf.difficult.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.06 1.08 1.08 1/94 7100 /proc/meminfo: memFree=1231808/2097152 swapFree=2055620/2097144 [pid=7100] ppid=7099 vsize=2380 CPUtime=0 /proc/7100/stat : 7100 (uns-paranoid-0.) S 7099 7100 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 18 0 1 0 418991739 2437120 258 1283457024 134512640 135191968 4289846160 18446744073709551615 4159568526 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7100/statm: 595 258 220 166 0 27 0 [pid=7101] ppid=7100 vsize=6936 CPUtime=0 /proc/7101/stat : 7101 (cudfsolver-stat) R 7100 7100 13759 34823 13904 4202496 276 0 0 0 0 0 0 0 18 0 1 0 418991739 7102464 218 1283457024 134512640 140938604 4294867040 18446744073709551615 140173403 0 0 0 0 0 0 0 17 1 0 0 0 /proc/7101/statm: 1734 219 132 1569 0 142 0 [startup+0.206236 s] /proc/loadavg: 1.06 1.08 1.08 1/94 7100 /proc/meminfo: memFree=1231808/2097152 swapFree=2055620/2097144 [pid=7100] ppid=7099 vsize=2380 CPUtime=0 /proc/7100/stat : 7100 (uns-paranoid-0.) S 7099 7100 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 18 0 1 0 418991739 2437120 258 1283457024 134512640 135191968 4289846160 18446744073709551615 4159568526 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7100/statm: 595 258 220 166 0 27 0 [pid=7101] ppid=7100 vsize=17488 CPUtime=0.19 /proc/7101/stat : 7101 (cudfsolver-stat) R 7100 7100 13759 34823 13904 4202496 2968 0 0 0 19 0 0 0 18 0 1 0 418991739 17907712 2849 1283457024 134512640 140938604 4294867040 18446744073709551615 140173403 0 0 0 0 0 0 0 17 1 0 0 0 /proc/7101/statm: 4372 2850 132 1569 0 2780 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 19868 [startup+0.306236 s] /proc/loadavg: 1.06 1.08 1.08 1/94 7100 /proc/meminfo: memFree=1231808/2097152 swapFree=2055620/2097144 [pid=7100] ppid=7099 vsize=2380 CPUtime=0 /proc/7100/stat : 7100 (uns-paranoid-0.) S 7099 7100 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 18 0 1 0 418991739 2437120 258 1283457024 134512640 135191968 4289846160 18446744073709551615 4159568526 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7100/statm: 595 258 220 166 0 27 0 [pid=7101] ppid=7100 vsize=22108 CPUtime=0.29 /proc/7101/stat : 7101 (cudfsolver-stat) R 7100 7100 13759 34823 13904 4202496 4141 0 0 0 29 0 0 0 18 0 1 0 418991739 22638592 4022 1283457024 134512640 140938604 4294867040 18446744073709551615 140173403 0 0 0 0 0 0 0 17 1 0 0 0 /proc/7101/statm: 5527 4023 132 1569 0 3935 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24488 [startup+0.406244 s] /proc/loadavg: 1.06 1.08 1.08 1/94 7100 /proc/meminfo: memFree=1231808/2097152 swapFree=2055620/2097144 [pid=7100] ppid=7099 vsize=2380 CPUtime=0 /proc/7100/stat : 7100 (uns-paranoid-0.) S 7099 7100 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 18 0 1 0 418991739 2437120 258 1283457024 134512640 135191968 4289846160 18446744073709551615 4159568526 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7100/statm: 595 258 220 166 0 27 0 [pid=7101] ppid=7100 vsize=26728 CPUtime=0.38 /proc/7101/stat : 7101 (cudfsolver-stat) R 7100 7100 13759 34823 13904 4202496 5295 0 0 0 38 0 0 0 18 0 1 0 418991739 27369472 5144 1283457024 134512640 140938604 4294867040 18446744073709551615 134608845 0 0 0 0 0 0 0 17 1 0 0 0 /proc/7101/statm: 6682 5145 132 1569 0 5090 0 Current children cumulated CPU time (s) 0.38 Current children cumulated vsize (KiB) 29108 [startup+0.706256 s] /proc/loadavg: 1.06 1.08 1.08 1/94 7100 /proc/meminfo: memFree=1231808/2097152 swapFree=2055620/2097144 [pid=7100] ppid=7099 vsize=2380 CPUtime=0 /proc/7100/stat : 7100 (uns-paranoid-0.) S 7099 7100 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 18 0 1 0 418991739 2437120 258 1283457024 134512640 135191968 4289846160 18446744073709551615 4159568526 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7100/statm: 595 258 220 166 0 27 0 [pid=7101] ppid=7100 vsize=39368 CPUtime=0.69 /proc/7101/stat : 7101 (cudfsolver-stat) R 7100 7100 13759 34823 13904 4202496 8603 0 0 0 68 1 0 0 18 0 1 0 418991739 40312832 8257 1283457024 134512640 140938604 4294867040 18446744073709551615 140173403 0 0 0 0 0 0 0 17 1 0 0 0 /proc/7101/statm: 9842 8257 132 1569 0 8250 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 41748 [startup+1.50661 s] /proc/loadavg: 1.05 1.08 1.08 2/96 7102 /proc/meminfo: memFree=1179596/2097152 swapFree=2055620/2097144 [pid=7100] ppid=7099 vsize=2380 CPUtime=0 /proc/7100/stat : 7100 (uns-paranoid-0.) S 7099 7100 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 18 0 1 0 418991739 2437120 258 1283457024 134512640 135191968 4289846160 18446744073709551615 4159568526 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7100/statm: 595 258 220 166 0 27 0 [pid=7101] ppid=7100 vsize=74436 CPUtime=1.49 /proc/7101/stat : 7101 (cudfsolver-stat) R 7100 7100 13759 34823 13904 4202496 26993 0 0 0 137 12 0 0 19 0 1 0 418991739 76222464 14843 1283457024 134512640 140938604 4294867040 18446744073709551615 135160574 0 0 0 0 0 0 0 17 0 0 0 0 /proc/7101/statm: 18609 14843 687 1569 0 16623 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 76816 Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1.54432 CPU time (s): 1.52809 CPU user time (s): 1.38409 CPU system time (s): 0.144009 CPU usage (%): 98.9496 Max. virtual memory (cumulated for all children) (KiB): 78376 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.38409 system time used= 0.144009 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28000 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= 24 involuntary context switches= 24 runsolver used 0 second user time and 0 second system time The end