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/randeb343c.cudf.easy.log.runsolver ./uns-paranoid-0.0002 /home/misc2010/data/2010/easy//randeb343c.cudf /home/misc2010/tmp/201007050905/uns-paranoid-0.0002/randeb343c.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.11 1.16 1.09 4/38 30769 /proc/meminfo: memFree=463956/1048576 swapFree=2095456/2097144 [pid=30768] ppid=30767 vsize=2384 CPUtime=0 /proc/30768/stat : 30768 (uns-paranoid-0.) S 30767 30768 24102 769 24102 4194304 363 0 0 0 0 0 0 0 25 0 1 0 525214237 2441216 260 1283457024 134512640 135191968 4289537488 18446744073709551615 4159441310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30768/statm: 596 260 221 166 0 28 0 [pid=30769] ppid=30768 vsize=8524 CPUtime=0.04 /proc/30769/stat : 30769 (cudfsolver-stat) R 30768 30768 24102 769 24102 4202496 705 0 0 0 4 0 0 0 25 0 1 0 525214237 8728576 637 1283457024 134512640 140938604 4292995360 18446744073709551615 140172891 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30769/statm: 2131 637 132 1569 0 539 0 [startup+0.193693 s] /proc/loadavg: 1.11 1.16 1.09 4/38 30769 /proc/meminfo: memFree=463956/1048576 swapFree=2095456/2097144 [pid=30768] ppid=30767 vsize=2384 CPUtime=0 /proc/30768/stat : 30768 (uns-paranoid-0.) S 30767 30768 24102 769 24102 4194304 363 0 0 0 0 0 0 0 25 0 1 0 525214237 2441216 260 1283457024 134512640 135191968 4289537488 18446744073709551615 4159441310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30768/statm: 596 260 221 166 0 28 0 [pid=30769] ppid=30768 vsize=16748 CPUtime=0.2 /proc/30769/stat : 30769 (cudfsolver-stat) R 30768 30768 24102 769 24102 4202496 2776 0 0 0 20 0 0 0 25 0 1 0 525214237 17149952 2656 1283457024 134512640 140938604 4292995360 18446744073709551615 134571035 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30769/statm: 4187 2656 132 1569 0 2595 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 19132 [startup+0.213703 s] /proc/loadavg: 1.11 1.16 1.09 4/38 30769 /proc/meminfo: memFree=463956/1048576 swapFree=2095456/2097144 [pid=30768] ppid=30767 vsize=2384 CPUtime=0 /proc/30768/stat : 30768 (uns-paranoid-0.) S 30767 30768 24102 769 24102 4194304 363 0 0 0 0 0 0 0 25 0 1 0 525214237 2441216 260 1283457024 134512640 135191968 4289537488 18446744073709551615 4159441310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30768/statm: 596 260 221 166 0 28 0 [pid=30769] ppid=30768 vsize=17672 CPUtime=0.22 /proc/30769/stat : 30769 (cudfsolver-stat) R 30768 30768 24102 769 24102 4202496 3012 0 0 0 22 0 0 0 25 0 1 0 525214237 18096128 2892 1283457024 134512640 140938604 4292995360 18446744073709551615 140190686 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30769/statm: 4418 2892 132 1569 0 2826 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 20056 [startup+0.313721 s] /proc/loadavg: 1.11 1.16 1.09 4/38 30769 /proc/meminfo: memFree=463956/1048576 swapFree=2095456/2097144 [pid=30768] ppid=30767 vsize=2384 CPUtime=0 /proc/30768/stat : 30768 (uns-paranoid-0.) S 30767 30768 24102 769 24102 4194304 363 0 0 0 0 0 0 0 25 0 1 0 525214237 2441216 260 1283457024 134512640 135191968 4289537488 18446744073709551615 4159441310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30768/statm: 596 260 221 166 0 28 0 [pid=30769] ppid=30768 vsize=22292 CPUtime=0.32 /proc/30769/stat : 30769 (cudfsolver-stat) R 30768 30768 24102 769 24102 4202496 4167 0 0 0 32 0 0 0 25 0 1 0 525214237 22827008 4047 1283457024 134512640 140938604 4292995360 18446744073709551615 140171820 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30769/statm: 5573 4047 132 1569 0 3981 0 Current children cumulated CPU time (s) 0.32 Current children cumulated vsize (KiB) 24676 [startup+0.713812 s] /proc/loadavg: 1.11 1.16 1.09 4/38 30769 /proc/meminfo: memFree=463956/1048576 swapFree=2095456/2097144 [pid=30768] ppid=30767 vsize=2384 CPUtime=0 /proc/30768/stat : 30768 (uns-paranoid-0.) S 30767 30768 24102 769 24102 4194304 363 0 0 0 0 0 0 0 25 0 1 0 525214237 2441216 260 1283457024 134512640 135191968 4289537488 18446744073709551615 4159441310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30768/statm: 596 260 221 166 0 28 0 [pid=30769] ppid=30768 vsize=43072 CPUtime=0.71 /proc/30769/stat : 30769 (cudfsolver-stat) R 30768 30768 24102 769 24102 4202496 9172 0 0 0 71 0 0 0 25 0 1 0 525214237 44105728 8765 1283457024 134512640 140938604 4292995360 18446744073709551615 134525005 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30769/statm: 10768 8765 315 1569 0 8822 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 45456 Solver just ended. Dumping a history of the last processes samples [startup+0.813833 s] /proc/loadavg: 1.11 1.16 1.09 4/38 30769 /proc/meminfo: memFree=463956/1048576 swapFree=2095456/2097144 [pid=30768] ppid=30767 vsize=2384 CPUtime=0 /proc/30768/stat : 30768 (uns-paranoid-0.) S 30767 30768 24102 769 24102 4194304 363 0 0 0 0 0 0 0 25 0 1 0 525214237 2441216 260 1283457024 134512640 135191968 4289537488 18446744073709551615 4159441310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30768/statm: 596 260 221 166 0 28 0 [pid=30769] ppid=30768 vsize=46816 CPUtime=0.82 /proc/30769/stat : 30769 (cudfsolver-stat) R 30768 30768 24102 769 24102 4202496 11357 0 0 0 80 2 0 0 25 0 1 0 525214237 47939584 9779 1283457024 134512640 140938604 4292995360 18446744073709551615 134890224 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30769/statm: 11704 9779 451 1569 0 9758 0 Current children cumulated CPU time (s) 0.82 Current children cumulated vsize (KiB) 49200 Child status: 0 Real time (s): 0.869308 CPU time (s): 0.872053 CPU user time (s): 0.828051 CPU system time (s): 0.044002 CPU usage (%): 100.316 Max. virtual memory (cumulated for all children) (KiB): 49200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.828051 system time used= 0.044002 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12936 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= 20 runsolver used 0 second user time and 0 second system time The end