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-trendy-0.0002/randd8bf6a.cudf.difficult.log.runsolver ./uns-trendy-0.0002 /home/misc2010/data/2010/difficult//randd8bf6a.cudf /home/misc2010/tmp/201007051419/uns-trendy-0.0002/randd8bf6a.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: 0.99 1.05 1.04 2/95 3072 /proc/meminfo: memFree=1261884/2097152 swapFree=2055620/2097144 [pid=3072] ppid=3071 vsize=2380 CPUtime=0 /proc/3072/stat : 3072 (uns-trendy-0.00) S 3071 3072 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 418837380 2437120 258 1283457024 134512640 135191968 4294596640 18446744073709551615 4159392398 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/3072/statm: 595 258 220 166 0 27 0 [pid=3073] ppid=3072 vsize=6808 CPUtime=0 /proc/3073/stat : 3073 (cudfsolver-stat) R 3072 3072 13759 34823 13904 4202496 250 0 0 0 0 0 0 0 20 0 1 0 418837380 6971392 192 1283457024 134512640 140938604 4291843408 18446744073709551615 140173403 0 0 0 0 0 0 0 17 1 0 0 0 /proc/3073/statm: 1702 193 132 1569 0 110 0 [startup+0.187126 s] /proc/loadavg: 0.99 1.05 1.04 2/95 3072 /proc/meminfo: memFree=1261884/2097152 swapFree=2055620/2097144 [pid=3072] ppid=3071 vsize=2380 CPUtime=0 /proc/3072/stat : 3072 (uns-trendy-0.00) S 3071 3072 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 418837380 2437120 258 1283457024 134512640 135191968 4294596640 18446744073709551615 4159392398 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/3072/statm: 595 258 220 166 0 27 0 [pid=3073] ppid=3072 vsize=16568 CPUtime=0.17 /proc/3073/stat : 3073 (cudfsolver-stat) R 3072 3072 13759 34823 13904 4202496 2726 0 0 0 15 2 0 0 20 0 1 0 418837380 16965632 2607 1283457024 134512640 140938604 4291843408 18446744073709551615 140173403 0 0 0 0 0 0 0 17 1 0 0 0 /proc/3073/statm: 4142 2607 132 1569 0 2550 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 18948 [startup+0.207108 s] /proc/loadavg: 0.99 1.05 1.04 2/95 3072 /proc/meminfo: memFree=1261884/2097152 swapFree=2055620/2097144 [pid=3072] ppid=3071 vsize=2380 CPUtime=0 /proc/3072/stat : 3072 (uns-trendy-0.00) S 3071 3072 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 418837380 2437120 258 1283457024 134512640 135191968 4294596640 18446744073709551615 4159392398 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/3072/statm: 595 258 220 166 0 27 0 [pid=3073] ppid=3072 vsize=17492 CPUtime=0.19 /proc/3073/stat : 3073 (cudfsolver-stat) R 3072 3072 13759 34823 13904 4202496 2968 0 0 0 17 2 0 0 20 0 1 0 418837380 17911808 2849 1283457024 134512640 140938604 4291843408 18446744073709551615 140173403 0 0 0 0 0 0 0 17 1 0 0 0 /proc/3073/statm: 4373 2850 132 1569 0 2781 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 19872 [startup+0.307125 s] /proc/loadavg: 0.99 1.05 1.04 2/95 3072 /proc/meminfo: memFree=1261884/2097152 swapFree=2055620/2097144 [pid=3072] ppid=3071 vsize=2380 CPUtime=0 /proc/3072/stat : 3072 (uns-trendy-0.00) S 3071 3072 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 418837380 2437120 258 1283457024 134512640 135191968 4294596640 18446744073709551615 4159392398 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/3072/statm: 595 258 220 166 0 27 0 [pid=3073] ppid=3072 vsize=22112 CPUtime=0.29 /proc/3073/stat : 3073 (cudfsolver-stat) R 3072 3072 13759 34823 13904 4202496 4136 0 0 0 27 2 0 0 21 0 1 0 418837380 22642688 4017 1283457024 134512640 140938604 4291843408 18446744073709551615 140173403 0 0 0 0 0 0 0 17 1 0 0 0 /proc/3073/statm: 5528 4017 132 1569 0 3936 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24492 [startup+0.707234 s] /proc/loadavg: 0.99 1.05 1.04 2/95 3072 /proc/meminfo: memFree=1261884/2097152 swapFree=2055620/2097144 [pid=3072] ppid=3071 vsize=2380 CPUtime=0 /proc/3072/stat : 3072 (uns-trendy-0.00) S 3071 3072 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 418837380 2437120 258 1283457024 134512640 135191968 4294596640 18446744073709551615 4159392398 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/3072/statm: 595 258 220 166 0 27 0 [pid=3073] ppid=3072 vsize=39240 CPUtime=0.7 /proc/3073/stat : 3073 (cudfsolver-stat) R 3072 3072 13759 34823 13904 4202496 8569 0 0 0 66 4 0 0 22 0 1 0 418837380 40181760 8223 1283457024 134512640 140938604 4291843408 18446744073709551615 140173403 0 0 0 0 0 0 0 17 1 0 0 0 /proc/3073/statm: 9810 8223 132 1569 0 8218 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 41620 [startup+1.50787 s] /proc/loadavg: 0.99 1.05 1.04 2/97 3074 /proc/meminfo: memFree=1212284/2097152 swapFree=2055620/2097144 [pid=3072] ppid=3071 vsize=2380 CPUtime=0 /proc/3072/stat : 3072 (uns-trendy-0.00) S 3071 3072 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 418837380 2437120 258 1283457024 134512640 135191968 4294596640 18446744073709551615 4159392398 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/3072/statm: 595 258 220 166 0 27 0 [pid=3073] ppid=3072 vsize=73888 CPUtime=1.49 /proc/3073/stat : 3073 (cudfsolver-stat) R 3072 3072 13759 34823 13904 4202496 22534 0 0 0 140 9 0 0 25 0 1 0 418837380 75661312 16273 1283457024 134512640 140938604 4291843408 18446744073709551615 137948723 0 0 0 0 0 0 0 17 0 0 0 0 /proc/3073/statm: 18472 16273 459 1569 0 16486 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 76268 [startup+3.10818 s] /proc/loadavg: 0.99 1.05 1.04 2/97 3074 /proc/meminfo: memFree=1193188/2097152 swapFree=2055620/2097144 [pid=3072] ppid=3071 vsize=2380 CPUtime=0 /proc/3072/stat : 3072 (uns-trendy-0.00) S 3071 3072 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 418837380 2437120 258 1283457024 134512640 135191968 4294596640 18446744073709551615 4159392398 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/3072/statm: 595 258 220 166 0 27 0 [pid=3073] ppid=3072 vsize=95780 CPUtime=3.09 /proc/3073/stat : 3073 (cudfsolver-stat) R 3072 3072 13759 34823 13904 4202496 74652 0 0 0 275 34 0 0 25 0 1 0 418837380 98078720 19758 1283457024 134512640 140938604 4291843408 18446744073709551615 134845948 0 0 0 0 0 0 0 17 0 0 0 0 /proc/3073/statm: 23945 19758 750 1569 0 21959 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 98160 Solver just ended. Dumping a history of the last processes samples [startup+3.10818 s] /proc/loadavg: 0.99 1.05 1.04 2/97 3074 /proc/meminfo: memFree=1193188/2097152 swapFree=2055620/2097144 [pid=3072] ppid=3071 vsize=2380 CPUtime=0 /proc/3072/stat : 3072 (uns-trendy-0.00) S 3071 3072 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 418837380 2437120 258 1283457024 134512640 135191968 4294596640 18446744073709551615 4159392398 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/3072/statm: 595 258 220 166 0 27 0 [pid=3073] ppid=3072 vsize=95780 CPUtime=3.09 /proc/3073/stat : 3073 (cudfsolver-stat) R 3072 3072 13759 34823 13904 4202496 74652 0 0 0 275 34 0 0 25 0 1 0 418837380 98078720 19758 1283457024 134512640 140938604 4291843408 18446744073709551615 134845948 0 0 0 0 0 0 0 17 0 0 0 0 /proc/3073/statm: 23945 19758 750 1569 0 21959 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 98160 Child status: 0 Real time (s): 3.16709 CPU time (s): 3.1522 CPU user time (s): 2.79217 CPU system time (s): 0.360022 CPU usage (%): 99.5296 Max. virtual memory (cumulated for all children) (KiB): 126592 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2.79217 system time used= 0.360022 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 76108 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= 23 involuntary context switches= 59 runsolver used 0 second user time and 0.012 second system time The end