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/p2cudf-paranoid-1.6/small2.cudf.cudf_set.log.runsolver ./p2cudf-paranoid-1.6 /home/misc2010/data/2010/cudf_set/small2.cudf /home/misc2010/tmp/201007051233/p2cudf-paranoid-1.6/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.30 1.12 1.04 6/38 10591 /proc/meminfo: memFree=852360/1048576 swapFree=2094612/2097144 [pid=10586] ppid=10585 vsize=2384 CPUtime=0 /proc/10586/stat : 10586 (p2cudf-paranoid) S 10585 10586 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527597620 2441216 260 1283457024 134512640 135191968 4289818144 18446744073709551615 4158986654 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10586/statm: 596 260 223 166 0 28 0 [pid=10587] ppid=10586 vsize=2388 CPUtime=0 /proc/10587/stat : 10587 (p2cudf) S 10586 10586 3447 769 3447 4194304 340 0 0 0 0 0 0 0 25 0 1 0 527597620 2445312 263 1283457024 134512640 135191968 4289484272 18446744073709551615 4158901918 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/10587/statm: 597 263 224 166 0 29 0 [pid=10588] ppid=10587 vsize=2388 CPUtime=0 /proc/10588/stat : 10588 (p2cudf) R 10587 10586 3447 769 3447 4194368 103 0 0 0 0 0 0 0 25 0 1 0 527597621 2445312 115 1283457024 134512640 135191968 4289484272 18446744073709551615 4158742944 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/10588/statm: 597 115 75 166 0 29 0 [pid=10589] ppid=10588 vsize=10828 CPUtime=0 /proc/10589/stat : 10589 (java) R 10588 10586 3447 769 3447 4202496 756 0 0 0 0 0 0 0 25 0 2 0 527597621 11087872 483 1283457024 134512640 134550932 4287271840 18446744073709551615 4159732696 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0 /proc/10589/statm: 2707 483 215 10 0 1188 0 [pid=10589/tid=10590] ppid=10588 vsize=10828 CPUtime=0 /proc/10589/task/10590/stat : 10590 (java) R 10588 10586 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 2 0 527597621 11087872 483 1283457024 134512640 134550932 4287271840 18446744073709551615 4159732696 0 0 0 0 0 0 0 -1 0 0 0 0 [pid=10591] ppid=10588 vsize=2388 CPUtime=0 /proc/10591/stat : 10591 (p2cudf) R 10588 10586 3447 769 3447 4194368 0 0 0 0 0 0 0 0 25 0 1 0 527597621 2445312 40 1283457024 134512640 135191968 4289484272 18446744073709551615 4158742944 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/10591/statm: 597 40 0 166 0 29 0 [startup+0.208416 s] /proc/loadavg: 1.30 1.12 1.04 6/38 10591 /proc/meminfo: memFree=852360/1048576 swapFree=2094612/2097144 [pid=10586] ppid=10585 vsize=2384 CPUtime=0 /proc/10586/stat : 10586 (p2cudf-paranoid) S 10585 10586 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527597620 2441216 260 1283457024 134512640 135191968 4289818144 18446744073709551615 4158986654 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10586/statm: 596 260 223 166 0 28 0 [pid=10587] ppid=10586 vsize=2396 CPUtime=0.02 /proc/10587/stat : 10587 (p2cudf) S 10586 10586 3447 769 3447 4202496 379 2733 0 1 0 0 0 2 25 0 1 0 527597620 2453504 273 1283457024 134512640 135191968 4289484272 18446744073709551615 4158740894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10587/statm: 599 273 232 166 0 31 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4780 [startup+0.308429 s] /proc/loadavg: 1.30 1.12 1.04 6/38 10591 /proc/meminfo: memFree=852360/1048576 swapFree=2094612/2097144 [pid=10586] ppid=10585 vsize=2384 CPUtime=0 /proc/10586/stat : 10586 (p2cudf-paranoid) S 10585 10586 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527597620 2441216 260 1283457024 134512640 135191968 4289818144 18446744073709551615 4158986654 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10586/statm: 596 260 223 166 0 28 0 [pid=10587] ppid=10586 vsize=2396 CPUtime=0.02 /proc/10587/stat : 10587 (p2cudf) S 10586 10586 3447 769 3447 4202496 379 2733 0 1 0 0 0 2 25 0 1 0 527597620 2453504 273 1283457024 134512640 135191968 4289484272 18446744073709551615 4158740894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10587/statm: 599 273 232 166 0 31 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4780 [startup+0.408448 s] /proc/loadavg: 1.30 1.12 1.04 6/38 10591 /proc/meminfo: memFree=852360/1048576 swapFree=2094612/2097144 [pid=10586] ppid=10585 vsize=2384 CPUtime=0 /proc/10586/stat : 10586 (p2cudf-paranoid) S 10585 10586 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527597620 2441216 260 1283457024 134512640 135191968 4289818144 18446744073709551615 4158986654 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10586/statm: 596 260 223 166 0 28 0 [pid=10587] ppid=10586 vsize=2396 CPUtime=0.02 /proc/10587/stat : 10587 (p2cudf) S 10586 10586 3447 769 3447 4202496 379 2733 0 1 0 0 0 2 25 0 1 0 527597620 2453504 273 1283457024 134512640 135191968 4289484272 18446744073709551615 4158740894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10587/statm: 599 273 232 166 0 31 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4780 [startup+0.708519 s] /proc/loadavg: 1.30 1.12 1.04 6/38 10591 /proc/meminfo: memFree=852360/1048576 swapFree=2094612/2097144 [pid=10586] ppid=10585 vsize=2384 CPUtime=0 /proc/10586/stat : 10586 (p2cudf-paranoid) S 10585 10586 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527597620 2441216 260 1283457024 134512640 135191968 4289818144 18446744073709551615 4158986654 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10586/statm: 596 260 223 166 0 28 0 [pid=10587] ppid=10586 vsize=2396 CPUtime=0.02 /proc/10587/stat : 10587 (p2cudf) S 10586 10586 3447 769 3447 4202496 379 2733 0 1 0 0 0 2 25 0 1 0 527597620 2453504 273 1283457024 134512640 135191968 4289484272 18446744073709551615 4158740894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10587/statm: 599 273 232 166 0 31 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4780 [startup+1.50439 s] /proc/loadavg: 1.30 1.12 1.04 1/47 10611 /proc/meminfo: memFree=829656/1048576 swapFree=2094612/2097144 [pid=10586] ppid=10585 vsize=2384 CPUtime=0 /proc/10586/stat : 10586 (p2cudf-paranoid) S 10585 10586 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527597620 2441216 260 1283457024 134512640 135191968 4289818144 18446744073709551615 4158986654 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10586/statm: 596 260 223 166 0 28 0 [pid=10587] ppid=10586 vsize=2396 CPUtime=0.02 /proc/10587/stat : 10587 (p2cudf) S 10586 10586 3447 769 3447 4202496 379 2733 0 1 0 0 0 2 25 0 1 0 527597620 2453504 273 1283457024 134512640 135191968 4289484272 18446744073709551615 4158740894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10587/statm: 599 273 232 166 0 31 0 [pid=10600] ppid=10587 vsize=862084 CPUtime=0.96 /proc/10600/stat : 10600 (java) S 10587 10586 3447 769 3447 4202496 8343 0 1 0 93 3 0 0 25 0 12 0 527597623 882774016 7378 1283457024 134512640 134550932 4286671328 18446744073709551615 4159833234 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/10600/statm: 215521 7378 1455 10 0 212793 0 [pid=10600/tid=10601] ppid=10587 vsize=862084 CPUtime=0.66 /proc/10600/task/10601/stat : 10601 (java) S 10587 10586 3447 769 3447 4202560 4931 0 1 0 64 2 0 0 25 0 12 0 527597624 882774016 7378 1283457024 134512640 134550932 4286671328 18446744073709551615 4159846640 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10600/tid=10602] ppid=10587 vsize=862084 CPUtime=0 /proc/10600/task/10602/stat : 10602 (java) S 10587 10586 3447 769 3447 4202560 1 0 0 0 0 0 0 0 18 0 12 0 527597625 882774016 7378 1283457024 134512640 134550932 4286671328 18446744073709551615 4159847432 0 0 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10600/tid=10603] ppid=10587 vsize=862084 CPUtime=0 /proc/10600/task/10603/stat : 10603 (java) S 10587 10586 3447 769 3447 4202560 10 0 0 0 0 0 0 0 25 0 12 0 527597626 882774016 7378 1283457024 134512640 134550932 4286671328 18446744073709551615 4159846640 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10600/tid=10604] ppid=10587 vsize=862084 CPUtime=0 /proc/10600/task/10604/stat : 10604 (java) S 10587 10586 3447 769 3447 4202560 5 0 0 0 0 0 0 0 25 0 12 0 527597626 882774016 7378 1283457024 134512640 134550932 4286671328 18446744073709551615 4159846640 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10600/tid=10605] ppid=10587 vsize=862084 CPUtime=0 /proc/10600/task/10605/stat : 10605 (java) S 10587 10586 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 12 0 527597628 882774016 7378 1283457024 134512640 134550932 4286671328 18446744073709551615 4159854928 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10600/tid=10606] ppid=10587 vsize=862084 CPUtime=0.23 /proc/10600/task/10606/stat : 10606 (java) S 10587 10586 3447 769 3447 4202560 1893 0 0 0 22 1 0 0 20 0 12 0 527597628 882774016 7378 1283457024 134512640 134550932 4286671328 18446744073709551615 4159846640 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10600/tid=10607] ppid=10587 vsize=862084 CPUtime=0.06 /proc/10600/task/10607/stat : 10607 (java) S 10587 10586 3447 769 3447 4202560 671 0 0 0 6 0 0 0 24 0 12 0 527597628 882774016 7378 1283457024 134512640 134550932 4286671328 18446744073709551615 4159846640 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10600/tid=10608] ppid=10587 vsize=862084 CPUtime=0 /proc/10600/task/10608/stat : 10608 (java) S 10587 10586 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 12 0 527597628 882774016 7378 1283457024 134512640 134550932 4286671328 18446744073709551615 4159846640 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10600/tid=10609] ppid=10587 vsize=862084 CPUtime=0 /proc/10600/task/10609/stat : 10609 (java) S 10587 10586 3447 769 3447 4202560 1 0 0 0 0 0 0 0 15 0 12 0 527597628 882774016 7378 1283457024 134512640 134550932 4286671328 18446744073709551615 4159847432 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10600/tid=10610] ppid=10587 vsize=862084 CPUtime=0 /proc/10600/task/10610/stat : 10610 (java) S 10587 10586 3447 769 3447 4202560 4 0 0 0 0 0 0 0 25 0 12 0 527597715 882774016 7378 1283457024 134512640 134550932 4286671328 18446744073709551615 4159847432 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10600/tid=10611] ppid=10587 vsize=862084 CPUtime=0 /proc/10600/task/10611/stat : 10611 (java) S 10587 10586 3447 769 3447 4202560 4 0 0 0 0 0 0 0 21 0 12 0 527597720 882774016 7378 1283457024 134512640 134550932 4286671328 18446744073709551615 4159847432 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.98 Current children cumulated vsize (KiB) 866864 Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1.52145 CPU time (s): 0.988061 CPU user time (s): 0.936058 CPU system time (s): 0.052003 CPU usage (%): 64.942 Max. virtual memory (cumulated for all children) (KiB): 866864 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.936058 system time used= 0.052003 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11843 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 103 involuntary context switches= 48 runsolver used 0.012 second user time and 0 second system time The end