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/rand847939.cudf.difficult.log.runsolver ./uns-trendy-0.0002 /home/misc2010/data/2010/difficult//rand847939.cudf /home/misc2010/tmp/201007051419/uns-trendy-0.0002/rand847939.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.01 1.10 1.07 1/94 6128 /proc/meminfo: memFree=1256404/2097152 swapFree=2055620/2097144 [pid=6128] ppid=6127 vsize=2376 CPUtime=0 /proc/6128/stat : 6128 (uns-trendy-0.00) S 6127 6128 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417523049 2433024 256 1283457024 134512640 135191968 4292685392 18446744073709551615 4158839438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6128/statm: 594 256 220 166 0 26 0 [pid=6129] ppid=6128 vsize=6808 CPUtime=0 /proc/6129/stat : 6129 (cudfsolver-stat) R 6128 6128 13759 34823 13904 4202496 241 0 0 0 0 0 0 0 25 0 1 0 417523050 6971392 183 1283457024 134512640 140938604 4288262640 18446744073709551615 140173403 0 0 0 0 0 0 0 17 0 0 0 0 /proc/6129/statm: 1702 184 132 1569 0 110 0 [startup+0.196996 s] /proc/loadavg: 1.01 1.10 1.07 1/94 6128 /proc/meminfo: memFree=1256404/2097152 swapFree=2055620/2097144 [pid=6128] ppid=6127 vsize=2376 CPUtime=0 /proc/6128/stat : 6128 (uns-trendy-0.00) S 6127 6128 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417523049 2433024 256 1283457024 134512640 135191968 4292685392 18446744073709551615 4158839438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6128/statm: 594 256 220 166 0 26 0 [pid=6129] ppid=6128 vsize=16964 CPUtime=0.18 /proc/6129/stat : 6129 (cudfsolver-stat) R 6128 6128 13759 34823 13904 4202496 2824 0 0 0 18 0 0 0 25 0 1 0 417523050 17371136 2705 1283457024 134512640 140938604 4288262640 18446744073709551615 134604521 0 0 0 0 0 0 0 17 1 0 0 0 /proc/6129/statm: 4241 2705 132 1569 0 2649 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 19340 [startup+0.206991 s] /proc/loadavg: 1.01 1.10 1.07 1/94 6128 /proc/meminfo: memFree=1256404/2097152 swapFree=2055620/2097144 [pid=6128] ppid=6127 vsize=2376 CPUtime=0 /proc/6128/stat : 6128 (uns-trendy-0.00) S 6127 6128 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417523049 2433024 256 1283457024 134512640 135191968 4292685392 18446744073709551615 4158839438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6128/statm: 594 256 220 166 0 26 0 [pid=6129] ppid=6128 vsize=17360 CPUtime=0.19 /proc/6129/stat : 6129 (cudfsolver-stat) R 6128 6128 13759 34823 13904 4202496 2941 0 0 0 19 0 0 0 25 0 1 0 417523050 17776640 2822 1283457024 134512640 140938604 4288262640 18446744073709551615 140189788 0 0 0 0 0 0 0 17 1 0 0 0 /proc/6129/statm: 4340 2822 132 1569 0 2748 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 19736 [startup+0.307013 s] /proc/loadavg: 1.01 1.10 1.07 1/94 6128 /proc/meminfo: memFree=1256404/2097152 swapFree=2055620/2097144 [pid=6128] ppid=6127 vsize=2376 CPUtime=0 /proc/6128/stat : 6128 (uns-trendy-0.00) S 6127 6128 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417523049 2433024 256 1283457024 134512640 135191968 4292685392 18446744073709551615 4158839438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6128/statm: 594 256 220 166 0 26 0 [pid=6129] ppid=6128 vsize=21980 CPUtime=0.29 /proc/6129/stat : 6129 (cudfsolver-stat) R 6128 6128 13759 34823 13904 4202496 4103 0 0 0 28 1 0 0 25 0 1 0 417523050 22507520 3984 1283457024 134512640 140938604 4288262640 18446744073709551615 140187366 0 0 0 0 0 0 0 17 1 0 0 0 /proc/6129/statm: 5495 3984 132 1569 0 3903 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24356 [startup+0.707109 s] /proc/loadavg: 1.01 1.10 1.07 1/94 6128 /proc/meminfo: memFree=1256404/2097152 swapFree=2055620/2097144 [pid=6128] ppid=6127 vsize=2376 CPUtime=0 /proc/6128/stat : 6128 (uns-trendy-0.00) S 6127 6128 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417523049 2433024 256 1283457024 134512640 135191968 4292685392 18446744073709551615 4158839438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6128/statm: 594 256 220 166 0 26 0 [pid=6129] ppid=6128 vsize=38976 CPUtime=0.69 /proc/6129/stat : 6129 (cudfsolver-stat) R 6128 6128 13759 34823 13904 4202496 8491 0 0 0 68 1 0 0 25 0 1 0 417523050 39911424 8145 1283457024 134512640 140938604 4288262640 18446744073709551615 140187452 0 0 0 0 0 0 0 17 1 0 0 0 /proc/6129/statm: 9744 8145 132 1569 0 8152 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 41352 [startup+1.50704 s] /proc/loadavg: 1.01 1.10 1.07 2/96 6130 /proc/meminfo: memFree=1208424/2097152 swapFree=2055620/2097144 [pid=6128] ppid=6127 vsize=2376 CPUtime=0 /proc/6128/stat : 6128 (uns-trendy-0.00) S 6127 6128 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417523049 2433024 256 1283457024 134512640 135191968 4292685392 18446744073709551615 4158839438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6128/statm: 594 256 220 166 0 26 0 [pid=6129] ppid=6128 vsize=76144 CPUtime=1.47 /proc/6129/stat : 6129 (cudfsolver-stat) R 6128 6128 13759 34823 13904 4202496 20526 0 0 0 142 5 0 0 25 0 1 0 417523050 77971456 16762 1283457024 134512640 140938604 4288262640 18446744073709551615 137948806 0 0 0 0 0 0 0 17 0 0 0 0 /proc/6129/statm: 19036 16762 453 1569 0 17050 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 78520 [startup+3.10707 s] /proc/loadavg: 1.01 1.10 1.07 2/96 6130 /proc/meminfo: memFree=1190816/2097152 swapFree=2055620/2097144 [pid=6128] ppid=6127 vsize=2376 CPUtime=0 /proc/6128/stat : 6128 (uns-trendy-0.00) S 6127 6128 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417523049 2433024 256 1283457024 134512640 135191968 4292685392 18446744073709551615 4158839438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6128/statm: 594 256 220 166 0 26 0 [pid=6129] ppid=6128 vsize=126968 CPUtime=3.08 /proc/6129/stat : 6129 (cudfsolver-stat) R 6128 6128 13759 34823 13904 4202496 70744 0 0 0 286 22 0 0 25 0 1 0 417523050 130015232 22835 1283457024 134512640 140938604 4288262640 18446744073709551615 140208849 0 0 0 0 0 0 0 17 0 0 0 0 /proc/6129/statm: 31742 22835 736 1569 0 29756 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 129344 [startup+6.30723 s] /proc/loadavg: 1.01 1.10 1.07 2/96 6131 /proc/meminfo: memFree=1162800/2097152 swapFree=2055620/2097144 [pid=6128] ppid=6127 vsize=2376 CPUtime=0 /proc/6128/stat : 6128 (uns-trendy-0.00) S 6127 6128 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417523049 2433024 256 1283457024 134512640 135191968 4292685392 18446744073709551615 4158839438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6128/statm: 594 256 220 166 0 26 0 [pid=6129] ppid=6128 vsize=156528 CPUtime=6.26 /proc/6129/stat : 6129 (cudfsolver-stat) R 6128 6128 13759 34823 13904 4202496 154084 0 0 0 574 52 0 0 25 0 2 0 417523050 160284672 26905 1283457024 134512640 140938604 4288262640 18446744073709551615 139661980 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0 /proc/6129/statm: 39132 26905 778 1569 0 37146 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 158904 Solver just ended. Dumping a history of the last processes samples [startup+6.30723 s] /proc/loadavg: 1.01 1.10 1.07 2/96 6131 /proc/meminfo: memFree=1162800/2097152 swapFree=2055620/2097144 [pid=6128] ppid=6127 vsize=2376 CPUtime=0 /proc/6128/stat : 6128 (uns-trendy-0.00) S 6127 6128 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 417523049 2433024 256 1283457024 134512640 135191968 4292685392 18446744073709551615 4158839438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6128/statm: 594 256 220 166 0 26 0 [pid=6129] ppid=6128 vsize=156528 CPUtime=6.26 /proc/6129/stat : 6129 (cudfsolver-stat) R 6128 6128 13759 34823 13904 4202496 154084 0 0 0 574 52 0 0 25 0 2 0 417523050 160284672 26905 1283457024 134512640 140938604 4288262640 18446744073709551615 139661980 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0 /proc/6129/statm: 39132 26905 778 1569 0 37146 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 158904 Child status: 0 Real time (s): 6.35753 CPU time (s): 6.3244 CPU user time (s): 5.77636 CPU system time (s): 0.548034 CPU usage (%): 99.4787 Max. virtual memory (cumulated for all children) (KiB): 158904 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5.77636 system time used= 0.548034 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 154515 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= 60 involuntary context switches= 131 runsolver used 0 second user time and 0.008 second system time The end