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/rand908403.cudf.difficult.log.runsolver ./uns-trendy-0.0002 /home/misc2010/data/2010/difficult//rand908403.cudf /home/misc2010/tmp/201007051419/uns-trendy-0.0002/rand908403.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.05 1.08 1.03 2/94 12888 /proc/meminfo: memFree=1216816/2097152 swapFree=2055620/2097144 [pid=12888] ppid=12887 vsize=2376 CPUtime=0 /proc/12888/stat : 12888 (uns-trendy-0.00) R 12887 12888 13759 34823 13904 4194304 342 0 0 0 0 0 0 0 18 0 1 0 417835268 2433024 256 1283457024 134512640 135191968 4292982416 18446744073709551615 4159136400 0 65538 4 65536 0 0 0 17 1 0 0 0 /proc/12888/statm: 594 256 219 166 0 26 0 [pid=12889] ppid=12888 vsize=6808 CPUtime=0 /proc/12889/stat : 12889 (cudfsolver-stat) R 12888 12888 13759 34823 13904 4202496 252 0 0 0 0 0 0 0 18 0 1 0 417835268 6971392 193 1283457024 134512640 140938604 4287066304 18446744073709551615 139662398 0 0 0 0 0 0 0 17 1 0 0 0 /proc/12889/statm: 1702 194 132 1569 0 110 0 [startup+0.170275 s] /proc/loadavg: 1.05 1.08 1.03 2/94 12888 /proc/meminfo: memFree=1216816/2097152 swapFree=2055620/2097144 [pid=12888] ppid=12887 vsize=2376 CPUtime=0 /proc/12888/stat : 12888 (uns-trendy-0.00) S 12887 12888 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 417835268 2433024 257 1283457024 134512640 135191968 4292982416 18446744073709551615 4159134350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12888/statm: 594 257 220 166 0 26 0 [pid=12889] ppid=12888 vsize=15644 CPUtime=0.16 /proc/12889/stat : 12889 (cudfsolver-stat) R 12888 12888 13759 34823 13904 4202496 2484 0 0 0 16 0 0 0 19 0 1 0 417835268 16019456 2380 1283457024 134512640 140938604 4287066304 18446744073709551615 140173403 0 0 0 0 0 0 0 17 1 0 0 0 /proc/12889/statm: 3911 2381 132 1569 0 2319 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 18020 [startup+0.206298 s] /proc/loadavg: 1.05 1.08 1.03 2/94 12888 /proc/meminfo: memFree=1216816/2097152 swapFree=2055620/2097144 [pid=12888] ppid=12887 vsize=2376 CPUtime=0 /proc/12888/stat : 12888 (uns-trendy-0.00) S 12887 12888 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 417835268 2433024 257 1283457024 134512640 135191968 4292982416 18446744073709551615 4159134350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12888/statm: 594 257 220 166 0 26 0 [pid=12889] ppid=12888 vsize=17360 CPUtime=0.18 /proc/12889/stat : 12889 (cudfsolver-stat) R 12888 12888 13759 34823 13904 4202496 2940 0 0 0 18 0 0 0 19 0 1 0 417835268 17776640 2820 1283457024 134512640 140938604 4287066304 18446744073709551615 140173403 0 0 0 0 0 0 0 17 1 0 0 0 /proc/12889/statm: 4340 2820 132 1569 0 2748 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 19736 [startup+0.30627 s] /proc/loadavg: 1.05 1.08 1.03 2/94 12888 /proc/meminfo: memFree=1216816/2097152 swapFree=2055620/2097144 [pid=12888] ppid=12887 vsize=2376 CPUtime=0 /proc/12888/stat : 12888 (uns-trendy-0.00) S 12887 12888 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 417835268 2433024 257 1283457024 134512640 135191968 4292982416 18446744073709551615 4159134350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12888/statm: 594 257 220 166 0 26 0 [pid=12889] ppid=12888 vsize=21980 CPUtime=0.28 /proc/12889/stat : 12889 (cudfsolver-stat) R 12888 12888 13759 34823 13904 4202496 4108 0 0 0 28 0 0 0 19 0 1 0 417835268 22507520 3988 1283457024 134512640 140938604 4287066304 18446744073709551615 140173403 0 0 0 0 0 0 0 17 1 0 0 0 /proc/12889/statm: 5495 3989 132 1569 0 3903 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 24356 [startup+0.706274 s] /proc/loadavg: 1.05 1.08 1.03 2/94 12888 /proc/meminfo: memFree=1216816/2097152 swapFree=2055620/2097144 [pid=12888] ppid=12887 vsize=2376 CPUtime=0 /proc/12888/stat : 12888 (uns-trendy-0.00) S 12887 12888 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 417835268 2433024 257 1283457024 134512640 135191968 4292982416 18446744073709551615 4159134350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12888/statm: 594 257 220 166 0 26 0 [pid=12889] ppid=12888 vsize=39108 CPUtime=0.69 /proc/12889/stat : 12889 (cudfsolver-stat) R 12888 12888 13759 34823 13904 4202496 8518 0 0 0 68 1 0 0 20 0 1 0 417835268 40046592 8171 1283457024 134512640 140938604 4287066304 18446744073709551615 140173403 0 0 0 0 0 0 0 17 1 0 0 0 /proc/12889/statm: 9777 8171 132 1569 0 8185 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 41484 [startup+1.5158 s] /proc/loadavg: 1.05 1.08 1.03 2/96 12890 /proc/meminfo: memFree=1167232/2097152 swapFree=2055620/2097144 [pid=12888] ppid=12887 vsize=2376 CPUtime=0 /proc/12888/stat : 12888 (uns-trendy-0.00) S 12887 12888 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 417835268 2433024 257 1283457024 134512640 135191968 4292982416 18446744073709551615 4159134350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12888/statm: 594 257 220 166 0 26 0 [pid=12889] ppid=12888 vsize=73000 CPUtime=1.5 /proc/12889/stat : 12889 (cudfsolver-stat) R 12888 12888 13759 34823 13904 4202496 23104 0 0 0 147 3 0 0 23 0 1 0 417835268 74752000 16061 1283457024 134512640 140938604 4287066304 18446744073709551615 137894181 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12889/statm: 18250 16061 459 1569 0 16264 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 75376 Solver just ended. Dumping a history of the last processes samples [startup+1.61583 s] /proc/loadavg: 1.05 1.08 1.03 2/96 12890 /proc/meminfo: memFree=1167232/2097152 swapFree=2055620/2097144 [pid=12888] ppid=12887 vsize=2376 CPUtime=0 /proc/12888/stat : 12888 (uns-trendy-0.00) S 12887 12888 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 417835268 2433024 257 1283457024 134512640 135191968 4292982416 18446744073709551615 4159134350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12888/statm: 594 257 220 166 0 26 0 [pid=12889] ppid=12888 vsize=73000 CPUtime=1.59 /proc/12889/stat : 12889 (cudfsolver-stat) R 12888 12888 13759 34823 13904 4202496 28494 0 0 0 154 5 0 0 23 0 1 0 417835268 74752000 16067 1283457024 134512640 140938604 4287066304 18446744073709551615 135252217 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12889/statm: 18250 16067 459 1569 0 16264 0 Current children cumulated CPU time (s) 1.59 Current children cumulated vsize (KiB) 75376 [startup+2.416 s] /proc/loadavg: 1.05 1.08 1.03 2/96 12891 /proc/meminfo: memFree=1152228/2097152 swapFree=2055620/2097144 [pid=12888] ppid=12887 vsize=2376 CPUtime=0 /proc/12888/stat : 12888 (uns-trendy-0.00) S 12887 12888 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 417835268 2433024 257 1283457024 134512640 135191968 4292982416 18446744073709551615 4159134350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12888/statm: 594 257 220 166 0 26 0 [pid=12889] ppid=12888 vsize=75072 CPUtime=2.4 /proc/12889/stat : 12889 (cudfsolver-stat) R 12888 12888 13759 34823 13904 4202496 52826 0 0 0 221 19 0 0 25 0 1 0 417835268 76873728 16934 1283457024 134512640 140938604 4287066304 18446744073709551615 137947796 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12889/statm: 18768 16934 706 1569 0 16782 0 Current children cumulated CPU time (s) 2.4 Current children cumulated vsize (KiB) 77448 [startup+2.60603 s] /proc/loadavg: 1.05 1.08 1.03 2/96 12891 /proc/meminfo: memFree=1152228/2097152 swapFree=2055620/2097144 [pid=12888] ppid=12887 vsize=2376 CPUtime=0 /proc/12888/stat : 12888 (uns-trendy-0.00) S 12887 12888 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 417835268 2433024 257 1283457024 134512640 135191968 4292982416 18446744073709551615 4159134350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12888/statm: 594 257 220 166 0 26 0 [pid=12889] ppid=12888 vsize=75072 CPUtime=2.59 /proc/12889/stat : 12889 (cudfsolver-stat) R 12888 12888 13759 34823 13904 4202496 54729 0 0 0 239 20 0 0 25 0 1 0 417835268 76873728 16934 1283457024 134512640 140938604 4287066304 18446744073709551615 134887780 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12889/statm: 18768 16934 706 1569 0 16782 0 Current children cumulated CPU time (s) 2.59 Current children cumulated vsize (KiB) 77448 [startup+2.70604 s] /proc/loadavg: 1.05 1.08 1.03 2/96 12891 /proc/meminfo: memFree=1152228/2097152 swapFree=2055620/2097144 [pid=12888] ppid=12887 vsize=2376 CPUtime=0 /proc/12888/stat : 12888 (uns-trendy-0.00) S 12887 12888 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 417835268 2433024 257 1283457024 134512640 135191968 4292982416 18446744073709551615 4159134350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12888/statm: 594 257 220 166 0 26 0 [pid=12889] ppid=12888 vsize=78584 CPUtime=2.69 /proc/12889/stat : 12889 (cudfsolver-stat) R 12888 12888 13759 34823 13904 4202496 55926 0 0 0 249 20 0 0 25 0 1 0 417835268 80470016 17561 1283457024 134512640 140938604 4287066304 18446744073709551615 135082957 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12889/statm: 19646 17561 712 1569 0 17660 0 Current children cumulated CPU time (s) 2.69 Current children cumulated vsize (KiB) 80960 Child status: 0 Real time (s): 2.79086 CPU time (s): 2.78017 CPU user time (s): 2.55216 CPU system time (s): 0.228014 CPU usage (%): 99.617 Max. virtual memory (cumulated for all children) (KiB): 149344 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2.55216 system time used= 0.228014 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 57365 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= 80 runsolver used 0 second user time and 0.004 second system time The end