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/201007051233/uns-trendy-0.0002/small2.cudf.cudf_set.log.runsolver ./uns-trendy-0.0002 /home/misc2010/data/2010/cudf_set/small2.cudf /home/misc2010/tmp/201007051233/uns-trendy-0.0002/small2.cudf.cudf_set.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.08 1.09 1.03 3/34 10727 /proc/meminfo: memFree=850312/1048576 swapFree=2094612/2097144 [pid=10726] ppid=10725 vsize=2384 CPUtime=0 /proc/10726/stat : 10726 (uns-trendy-0.00) R 10725 10726 3447 769 3447 4194304 344 0 0 0 0 0 0 0 25 0 1 0 527601042 2441216 258 1283457024 134512640 135191968 4291153776 18446744073709551615 4159648160 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/10726/statm: 596 258 220 166 0 28 0 [pid=10727] ppid=10726 vsize=2384 CPUtime=0 /proc/10727/stat : 10727 (uns-trendy-0.00) R 10726 10726 3447 769 3447 4194368 0 0 0 0 0 0 0 0 25 0 1 0 527601042 2441216 38 1283457024 134512640 135191968 4291153776 18446744073709551615 4159648160 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/10727/statm: 596 38 0 166 0 28 0 [startup+0.169164 s] /proc/loadavg: 1.08 1.09 1.03 3/34 10727 /proc/meminfo: memFree=850312/1048576 swapFree=2094612/2097144 [pid=10726] ppid=10725 vsize=2384 CPUtime=0 /proc/10726/stat : 10726 (uns-trendy-0.00) S 10725 10726 3447 769 3447 4194304 361 0 0 0 0 0 0 0 25 0 1 0 527601042 2441216 259 1283457024 134512640 135191968 4291153776 18446744073709551615 4159646110 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10726/statm: 596 259 221 166 0 28 0 [pid=10727] ppid=10726 vsize=12712 CPUtime=0.17 /proc/10727/stat : 10727 (cudfsolver-stat) R 10726 10726 3447 769 3447 4202496 1843 0 0 0 16 1 0 0 25 0 1 0 527601042 13017088 1386 1283457024 134512640 140938604 4294505056 18446744073709551615 135075484 0 0 0 0 0 0 0 17 0 0 0 0 /proc/10727/statm: 3178 1386 645 1569 0 1232 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 15096 [startup+0.209176 s] /proc/loadavg: 1.08 1.09 1.03 3/34 10727 /proc/meminfo: memFree=850312/1048576 swapFree=2094612/2097144 [pid=10726] ppid=10725 vsize=2384 CPUtime=0 /proc/10726/stat : 10726 (uns-trendy-0.00) S 10725 10726 3447 769 3447 4194304 361 0 0 0 0 0 0 0 25 0 1 0 527601042 2441216 259 1283457024 134512640 135191968 4291153776 18446744073709551615 4159646110 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10726/statm: 596 259 221 166 0 28 0 [pid=10727] ppid=10726 vsize=14592 CPUtime=0.21 /proc/10727/stat : 10727 (cudfsolver-stat) R 10726 10726 3447 769 3447 4202496 2231 0 0 0 20 1 0 0 25 0 1 0 527601042 14942208 1725 1283457024 134512640 140938604 4294505056 18446744073709551615 135094668 0 0 0 0 0 0 0 17 0 0 0 0 /proc/10727/statm: 3648 1725 652 1569 0 1702 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 16976 [startup+0.309188 s] /proc/loadavg: 1.08 1.09 1.03 3/34 10727 /proc/meminfo: memFree=850312/1048576 swapFree=2094612/2097144 [pid=10726] ppid=10725 vsize=2384 CPUtime=0 /proc/10726/stat : 10726 (uns-trendy-0.00) S 10725 10726 3447 769 3447 4194304 361 0 0 0 0 0 0 0 25 0 1 0 527601042 2441216 259 1283457024 134512640 135191968 4291153776 18446744073709551615 4159646110 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10726/statm: 596 259 221 166 0 28 0 [pid=10727] ppid=10726 vsize=13780 CPUtime=0.31 /proc/10727/stat : 10727 (cudfsolver-stat) R 10726 10726 3447 769 3447 4202496 2617 0 0 0 30 1 0 0 25 0 1 0 527601042 14110720 1616 1283457024 134512640 140938604 4294505056 18446744073709551615 135301869 0 0 0 0 0 0 0 17 0 0 0 0 /proc/10727/statm: 3445 1616 664 1569 0 1499 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 16164 [startup+0.709262 s] /proc/loadavg: 1.08 1.09 1.03 3/34 10727 /proc/meminfo: memFree=850312/1048576 swapFree=2094612/2097144 [pid=10726] ppid=10725 vsize=2384 CPUtime=0 /proc/10726/stat : 10726 (uns-trendy-0.00) S 10725 10726 3447 769 3447 4194304 361 0 0 0 0 0 0 0 25 0 1 0 527601042 2441216 259 1283457024 134512640 135191968 4291153776 18446744073709551615 4159646110 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10726/statm: 596 259 221 166 0 28 0 [pid=10727] ppid=10726 vsize=15448 CPUtime=0.71 /proc/10727/stat : 10727 (cudfsolver-stat) R 10726 10726 3447 769 3447 4202496 3276 0 0 0 70 1 0 0 25 0 1 0 527601042 15818752 1917 1283457024 134512640 140938604 4294505056 18446744073709551615 135077923 0 0 0 0 0 0 0 17 0 0 0 0 /proc/10727/statm: 3862 1917 667 1569 0 1916 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 17832 [startup+1.50942 s] /proc/loadavg: 1.08 1.09 1.03 2/35 10728 /proc/meminfo: memFree=846076/1048576 swapFree=2094612/2097144 [pid=10726] ppid=10725 vsize=2384 CPUtime=0 /proc/10726/stat : 10726 (uns-trendy-0.00) S 10725 10726 3447 769 3447 4194304 361 0 0 0 0 0 0 0 25 0 1 0 527601042 2441216 259 1283457024 134512640 135191968 4291153776 18446744073709551615 4159646110 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10726/statm: 596 259 221 166 0 28 0 [pid=10727] ppid=10726 vsize=13780 CPUtime=1.5 /proc/10727/stat : 10727 (cudfsolver-stat) R 10726 10726 3447 769 3447 4202496 3577 0 0 0 149 1 0 0 25 0 1 0 527601042 14110720 1639 1283457024 134512640 140938604 4294505056 18446744073709551615 134941641 0 0 0 0 0 0 0 17 0 0 0 0 /proc/10727/statm: 3445 1639 682 1569 0 1499 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 16164 [startup+3.10971 s] /proc/loadavg: 1.08 1.09 1.03 2/35 10728 /proc/meminfo: memFree=846448/1048576 swapFree=2094612/2097144 [pid=10726] ppid=10725 vsize=2384 CPUtime=0 /proc/10726/stat : 10726 (uns-trendy-0.00) S 10725 10726 3447 769 3447 4194304 361 0 0 0 0 0 0 0 25 0 1 0 527601042 2441216 259 1283457024 134512640 135191968 4291153776 18446744073709551615 4159646110 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10726/statm: 596 259 221 166 0 28 0 [pid=10727] ppid=10726 vsize=13272 CPUtime=3.09 /proc/10727/stat : 10727 (cudfsolver-stat) R 10726 10726 3447 769 3447 4202496 3736 0 0 0 308 1 0 0 25 0 1 0 527601042 13590528 1550 1283457024 134512640 140938604 4294505056 18446744073709551615 134947835 0 0 0 0 0 0 0 17 0 0 0 0 /proc/10727/statm: 3318 1550 710 1569 0 1372 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15656 [startup+6.31029 s] /proc/loadavg: 1.08 1.08 1.03 2/35 10728 /proc/meminfo: memFree=846572/1048576 swapFree=2094612/2097144 [pid=10726] ppid=10725 vsize=2384 CPUtime=0 /proc/10726/stat : 10726 (uns-trendy-0.00) S 10725 10726 3447 769 3447 4194304 361 0 0 0 0 0 0 0 25 0 1 0 527601042 2441216 259 1283457024 134512640 135191968 4291153776 18446744073709551615 4159646110 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10726/statm: 596 259 221 166 0 28 0 [pid=10727] ppid=10726 vsize=13192 CPUtime=6.28 /proc/10727/stat : 10727 (cudfsolver-stat) R 10726 10726 3447 769 3447 4202496 4597 0 0 0 626 2 0 0 25 0 1 0 527601042 13508608 1533 1283457024 134512640 140938604 4294505056 18446744073709551615 138325929 0 0 0 0 0 0 0 17 0 0 0 0 /proc/10727/statm: 3298 1533 713 1569 0 1352 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 15576 [startup+12.7115 s] /proc/loadavg: 1.07 1.08 1.03 2/35 10728 /proc/meminfo: memFree=846572/1048576 swapFree=2094612/2097144 [pid=10726] ppid=10725 vsize=2384 CPUtime=0 /proc/10726/stat : 10726 (uns-trendy-0.00) S 10725 10726 3447 769 3447 4194304 361 0 0 0 0 0 0 0 25 0 1 0 527601042 2441216 259 1283457024 134512640 135191968 4291153776 18446744073709551615 4159646110 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10726/statm: 596 259 221 166 0 28 0 [pid=10727] ppid=10726 vsize=13324 CPUtime=12.67 /proc/10727/stat : 10727 (cudfsolver-stat) R 10726 10726 3447 769 3447 4202496 5134 0 0 0 1264 3 0 0 25 0 1 0 527601042 13643776 1593 1283457024 134512640 140938604 4294505056 18446744073709551615 137541460 0 0 0 0 0 0 0 17 0 0 0 0 /proc/10727/statm: 3331 1593 714 1569 0 1385 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 15708 [startup+25.5049 s] /proc/loadavg: 1.06 1.08 1.03 2/35 10728 /proc/meminfo: memFree=841488/1048576 swapFree=2094612/2097144 [pid=10726] ppid=10725 vsize=2384 CPUtime=0 /proc/10726/stat : 10726 (uns-trendy-0.00) S 10725 10726 3447 769 3447 4194304 361 0 0 0 0 0 0 0 25 0 1 0 527601042 2441216 259 1283457024 134512640 135191968 4291153776 18446744073709551615 4159646110 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10726/statm: 596 259 221 166 0 28 0 [pid=10727] ppid=10726 vsize=19384 CPUtime=25.44 /proc/10727/stat : 10727 (cudfsolver-stat) R 10726 10726 3447 769 3447 4202496 14565 0 0 0 2539 5 0 0 25 0 1 0 527601042 19849216 2847 1283457024 134512640 140938604 4294505056 18446744073709551615 135094688 0 0 0 0 0 0 0 17 0 0 0 0 /proc/10727/statm: 4846 2847 725 1569 0 2900 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 21768 Solver just ended. Dumping a history of the last processes samples [startup+25.6049 s] /proc/loadavg: 1.06 1.08 1.03 2/35 10728 /proc/meminfo: memFree=841488/1048576 swapFree=2094612/2097144 [pid=10726] ppid=10725 vsize=2384 CPUtime=0 /proc/10726/stat : 10726 (uns-trendy-0.00) S 10725 10726 3447 769 3447 4194304 361 0 0 0 0 0 0 0 25 0 1 0 527601042 2441216 259 1283457024 134512640 135191968 4291153776 18446744073709551615 4159646110 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10726/statm: 596 259 221 166 0 28 0 [pid=10727] ppid=10726 vsize=20080 CPUtime=25.54 /proc/10727/stat : 10727 (cudfsolver-stat) R 10726 10726 3447 769 3447 4202496 14747 0 0 0 2549 5 0 0 25 0 1 0 527601042 20561920 2937 1283457024 134512640 140938604 4294505056 18446744073709551615 135322341 0 0 0 0 0 0 0 17 0 0 0 0 /proc/10727/statm: 5020 2937 725 1569 0 3074 0 Current children cumulated CPU time (s) 25.54 Current children cumulated vsize (KiB) 22464 [startup+28.8057 s] /proc/loadavg: 1.06 1.08 1.03 2/35 10728 /proc/meminfo: memFree=841488/1048576 swapFree=2094612/2097144 [pid=10726] ppid=10725 vsize=2384 CPUtime=0 /proc/10726/stat : 10726 (uns-trendy-0.00) S 10725 10726 3447 769 3447 4194304 361 0 0 0 0 0 0 0 25 0 1 0 527601042 2441216 259 1283457024 134512640 135191968 4291153776 18446744073709551615 4159646110 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10726/statm: 596 259 221 166 0 28 0 [pid=10727] ppid=10726 vsize=19384 CPUtime=28.74 /proc/10727/stat : 10727 (cudfsolver-stat) R 10726 10726 3447 769 3447 4202496 17515 0 0 0 2868 6 0 0 25 0 1 0 527601042 19849216 2849 1283457024 134512640 140938604 4294505056 18446744073709551615 135309010 0 0 0 0 0 0 0 17 0 0 0 0 /proc/10727/statm: 4846 2849 725 1569 0 2900 0 Current children cumulated CPU time (s) 28.74 Current children cumulated vsize (KiB) 21768 [startup+30.406 s] /proc/loadavg: 1.05 1.08 1.03 2/35 10728 /proc/meminfo: memFree=841488/1048576 swapFree=2094612/2097144 [pid=10726] ppid=10725 vsize=2384 CPUtime=0 /proc/10726/stat : 10726 (uns-trendy-0.00) S 10725 10726 3447 769 3447 4194304 361 0 0 0 0 0 0 0 25 0 1 0 527601042 2441216 259 1283457024 134512640 135191968 4291153776 18446744073709551615 4159646110 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10726/statm: 596 259 221 166 0 28 0 [pid=10727] ppid=10726 vsize=19384 CPUtime=30.32 /proc/10727/stat : 10727 (cudfsolver-stat) R 10726 10726 3447 769 3447 4202496 18619 0 0 0 3026 6 0 0 25 0 1 0 527601042 19849216 2849 1283457024 134512640 140938604 4294505056 18446744073709551615 135083970 0 0 0 0 0 0 0 17 0 0 0 0 /proc/10727/statm: 4846 2849 725 1569 0 2900 0 Current children cumulated CPU time (s) 30.32 Current children cumulated vsize (KiB) 21768 [startup+31.2062 s] /proc/loadavg: 1.05 1.08 1.03 2/35 10728 /proc/meminfo: memFree=841488/1048576 swapFree=2094612/2097144 [pid=10726] ppid=10725 vsize=2384 CPUtime=0 /proc/10726/stat : 10726 (uns-trendy-0.00) S 10725 10726 3447 769 3447 4194304 361 0 0 0 0 0 0 0 25 0 1 0 527601042 2441216 259 1283457024 134512640 135191968 4291153776 18446744073709551615 4159646110 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10726/statm: 596 259 221 166 0 28 0 [pid=10727] ppid=10726 vsize=19384 CPUtime=31.12 /proc/10727/stat : 10727 (cudfsolver-stat) R 10726 10726 3447 769 3447 4202496 18619 0 0 0 3106 6 0 0 25 0 1 0 527601042 19849216 2849 1283457024 134512640 140938604 4294505056 18446744073709551615 135083719 0 0 0 0 0 0 0 17 0 0 0 0 /proc/10727/statm: 4846 2849 725 1569 0 2900 0 Current children cumulated CPU time (s) 31.12 Current children cumulated vsize (KiB) 21768 [startup+31.4063 s] /proc/loadavg: 1.05 1.08 1.03 2/35 10728 /proc/meminfo: memFree=841488/1048576 swapFree=2094612/2097144 [pid=10726] ppid=10725 vsize=2384 CPUtime=0 /proc/10726/stat : 10726 (uns-trendy-0.00) S 10725 10726 3447 769 3447 4194304 361 0 0 0 0 0 0 0 25 0 1 0 527601042 2441216 259 1283457024 134512640 135191968 4291153776 18446744073709551615 4159646110 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10726/statm: 596 259 221 166 0 28 0 [pid=10727] ppid=10726 vsize=19384 CPUtime=31.32 /proc/10727/stat : 10727 (cudfsolver-stat) R 10726 10726 3447 769 3447 4202496 18619 0 0 0 3126 6 0 0 25 0 1 0 527601042 19849216 2849 1283457024 134512640 140938604 4294505056 18446744073709551615 135395023 0 0 0 0 0 0 0 17 0 0 0 0 /proc/10727/statm: 4846 2849 725 1569 0 2900 0 Current children cumulated CPU time (s) 31.32 Current children cumulated vsize (KiB) 21768 Child status: 0 Real time (s): 31.4952 CPU time (s): 31.414 CPU user time (s): 31.346 CPU system time (s): 0.068004 CPU usage (%): 99.7422 Max. virtual memory (cumulated for all children) (KiB): 24940 getrusage(RUSAGE_CHILDREN,...) data: user time used= 31.346 system time used= 0.068004 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19581 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= 397 runsolver used 0 second user time and 0.008 second system time The end