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/small1.cudf.cudf_set.log.runsolver ./p2cudf-paranoid-1.6 /home/misc2010/data/2010/cudf_set/small1.cudf /home/misc2010/tmp/201007051233/p2cudf-paranoid-1.6/small1.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.25 1.06 1.02 5/35 9643 /proc/meminfo: memFree=876212/1048576 swapFree=2094608/2097144 [pid=9641] ppid=9640 vsize=2384 CPUtime=0 /proc/9641/stat : 9641 (p2cudf-paranoid) S 9640 9641 3447 769 3447 4194304 366 0 0 0 0 0 0 0 22 0 1 0 527511349 2441216 262 1283457024 134512640 135191968 4294796000 18446744073709551615 4158683550 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9641/statm: 596 262 223 166 0 28 0 [pid=9642] ppid=9641 vsize=2384 CPUtime=0 /proc/9642/stat : 9642 (p2cudf) R 9641 9641 3447 769 3447 4194304 333 0 0 0 0 0 0 0 25 0 1 0 527511349 2441216 263 1283457024 134512640 135191968 4290340544 18446744073709551615 4159066528 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/9642/statm: 596 263 224 166 0 28 0 [pid=9643] ppid=9642 vsize=2384 CPUtime=0 /proc/9643/stat : 9643 (p2cudf) R 9642 9641 3447 769 3447 4194368 0 0 0 0 0 0 0 0 25 0 1 0 527511349 2441216 39 1283457024 134512640 135191968 4290340544 18446744073709551615 4159066528 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/9643/statm: 596 39 0 166 0 28 0 [startup+0.116025 s] /proc/loadavg: 1.25 1.06 1.02 5/35 9643 /proc/meminfo: memFree=876212/1048576 swapFree=2094608/2097144 [pid=9641] ppid=9640 vsize=2384 CPUtime=0 /proc/9641/stat : 9641 (p2cudf-paranoid) S 9640 9641 3447 769 3447 4194304 366 0 0 0 0 0 0 0 22 0 1 0 527511349 2441216 262 1283457024 134512640 135191968 4294796000 18446744073709551615 4158683550 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9641/statm: 596 262 223 166 0 28 0 [pid=9642] ppid=9641 vsize=2392 CPUtime=0.02 /proc/9642/stat : 9642 (p2cudf) S 9641 9641 3447 769 3447 4202496 379 2736 0 1 0 0 0 2 25 0 1 0 527511349 2449408 273 1283457024 134512640 135191968 4290340544 18446744073709551615 4159064478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9642/statm: 598 273 232 166 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4776 [startup+0.206041 s] /proc/loadavg: 1.25 1.06 1.02 5/35 9643 /proc/meminfo: memFree=876212/1048576 swapFree=2094608/2097144 [pid=9641] ppid=9640 vsize=2384 CPUtime=0 /proc/9641/stat : 9641 (p2cudf-paranoid) S 9640 9641 3447 769 3447 4194304 366 0 0 0 0 0 0 0 22 0 1 0 527511349 2441216 262 1283457024 134512640 135191968 4294796000 18446744073709551615 4158683550 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9641/statm: 596 262 223 166 0 28 0 [pid=9642] ppid=9641 vsize=2392 CPUtime=0.02 /proc/9642/stat : 9642 (p2cudf) S 9641 9641 3447 769 3447 4202496 379 2736 0 1 0 0 0 2 25 0 1 0 527511349 2449408 273 1283457024 134512640 135191968 4290340544 18446744073709551615 4159064478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9642/statm: 598 273 232 166 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4776 [startup+0.306043 s] /proc/loadavg: 1.25 1.06 1.02 5/35 9643 /proc/meminfo: memFree=876212/1048576 swapFree=2094608/2097144 [pid=9641] ppid=9640 vsize=2384 CPUtime=0 /proc/9641/stat : 9641 (p2cudf-paranoid) S 9640 9641 3447 769 3447 4194304 366 0 0 0 0 0 0 0 22 0 1 0 527511349 2441216 262 1283457024 134512640 135191968 4294796000 18446744073709551615 4158683550 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9641/statm: 596 262 223 166 0 28 0 [pid=9642] ppid=9641 vsize=2392 CPUtime=0.02 /proc/9642/stat : 9642 (p2cudf) S 9641 9641 3447 769 3447 4202496 379 2736 0 1 0 0 0 2 25 0 1 0 527511349 2449408 273 1283457024 134512640 135191968 4290340544 18446744073709551615 4159064478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9642/statm: 598 273 232 166 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4776 [startup+0.70614 s] /proc/loadavg: 1.25 1.06 1.02 5/35 9643 /proc/meminfo: memFree=876212/1048576 swapFree=2094608/2097144 [pid=9641] ppid=9640 vsize=2384 CPUtime=0 /proc/9641/stat : 9641 (p2cudf-paranoid) S 9640 9641 3447 769 3447 4194304 366 0 0 0 0 0 0 0 22 0 1 0 527511349 2441216 262 1283457024 134512640 135191968 4294796000 18446744073709551615 4158683550 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9641/statm: 596 262 223 166 0 28 0 [pid=9642] ppid=9641 vsize=2392 CPUtime=0.02 /proc/9642/stat : 9642 (p2cudf) S 9641 9641 3447 769 3447 4202496 379 2736 0 1 0 0 0 2 25 0 1 0 527511349 2449408 273 1283457024 134512640 135191968 4290340544 18446744073709551615 4159064478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9642/statm: 598 273 232 166 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4776 Solver just ended. Dumping a history of the last processes samples [startup+0.804046 s] /proc/loadavg: 1.25 1.06 1.02 5/35 9643 /proc/meminfo: memFree=876212/1048576 swapFree=2094608/2097144 [pid=9641] ppid=9640 vsize=2384 CPUtime=0 /proc/9641/stat : 9641 (p2cudf-paranoid) S 9640 9641 3447 769 3447 4194304 366 0 0 0 0 0 0 0 22 0 1 0 527511349 2441216 262 1283457024 134512640 135191968 4294796000 18446744073709551615 4158683550 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9641/statm: 596 262 223 166 0 28 0 [pid=9642] ppid=9641 vsize=2392 CPUtime=0.02 /proc/9642/stat : 9642 (p2cudf) S 9641 9641 3447 769 3447 4202496 379 2736 0 1 0 0 0 2 25 0 1 0 527511349 2449408 273 1283457024 134512640 135191968 4290340544 18446744073709551615 4159064478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9642/statm: 598 273 232 166 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4776 [startup+1.20413 s] /proc/loadavg: 1.25 1.06 1.02 1/47 9666 /proc/meminfo: memFree=857028/1048576 swapFree=2094608/2097144 [pid=9641] ppid=9640 vsize=2384 CPUtime=0 /proc/9641/stat : 9641 (p2cudf-paranoid) S 9640 9641 3447 769 3447 4194304 366 0 0 0 0 0 0 0 22 0 1 0 527511349 2441216 262 1283457024 134512640 135191968 4294796000 18446744073709551615 4158683550 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9641/statm: 596 262 223 166 0 28 0 [pid=9642] ppid=9641 vsize=2392 CPUtime=0.02 /proc/9642/stat : 9642 (p2cudf) S 9641 9641 3447 769 3447 4202496 379 2736 0 1 0 0 0 2 25 0 1 0 527511349 2449408 273 1283457024 134512640 135191968 4290340544 18446744073709551615 4159064478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9642/statm: 598 273 232 166 0 30 0 [pid=9655] ppid=9642 vsize=857136 CPUtime=0.7 /proc/9655/stat : 9655 (java) S 9642 9641 3447 769 3447 4202496 6535 0 1 0 68 2 0 0 25 0 12 0 527511352 877707264 6189 1283457024 134512640 134550932 4289274976 18446744073709551615 4159521938 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9655/statm: 214284 6189 1439 10 0 211556 0 [pid=9655/tid=9656] ppid=9642 vsize=857136 CPUtime=0.45 /proc/9655/task/9656/stat : 9656 (java) S 9642 9641 3447 769 3447 4202560 4932 0 1 0 45 0 0 0 25 0 12 0 527511353 877707264 6189 1283457024 134512640 134550932 4289274976 18446744073709551615 4159535344 0 4 0 16800975 18446612132872857664 0 0 -1 0 0 0 0 [pid=9655/tid=9657] ppid=9642 vsize=857136 CPUtime=0 /proc/9655/task/9657/stat : 9657 (java) S 9642 9641 3447 769 3447 4202560 2 0 0 0 0 0 0 0 18 0 12 0 527511354 877707264 6189 1283457024 134512640 134550932 4289274976 18446744073709551615 4159536136 0 0 0 16800975 18446612132872857664 0 0 -1 0 0 0 0 [pid=9655/tid=9658] ppid=9642 vsize=857136 CPUtime=0 /proc/9655/task/9658/stat : 9658 (java) S 9642 9641 3447 769 3447 4202560 11 0 0 0 0 0 0 0 25 0 12 0 527511354 877707264 6189 1283457024 134512640 134550932 4289274976 18446744073709551615 4159535344 0 4 0 16800975 18446612132872857664 0 0 -1 0 0 0 0 [pid=9655/tid=9659] ppid=9642 vsize=857136 CPUtime=0 /proc/9655/task/9659/stat : 9659 (java) S 9642 9641 3447 769 3447 4202560 4 0 0 0 0 0 0 0 25 0 12 0 527511354 877707264 6189 1283457024 134512640 134550932 4289274976 18446744073709551615 4159535344 0 4 0 16800975 18446612132872857664 0 0 -1 0 0 0 0 [pid=9655/tid=9660] ppid=9642 vsize=857136 CPUtime=0 /proc/9655/task/9660/stat : 9660 (java) S 9642 9641 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 12 0 527511357 877707264 6189 1283457024 134512640 134550932 4289274976 18446744073709551615 4159543632 0 4 0 16800975 18446612132872857664 0 0 -1 0 0 0 0 [pid=9655/tid=9661] ppid=9642 vsize=857136 CPUtime=0.2 /proc/9655/task/9661/stat : 9661 (java) S 9642 9641 3447 769 3447 4202560 742 0 0 0 20 0 0 0 22 0 12 0 527511357 877707264 6189 1283457024 134512640 134550932 4289274976 18446744073709551615 4159535344 0 4 0 16800975 18446612132872857664 0 0 -1 0 0 0 0 [pid=9655/tid=9662] ppid=9642 vsize=857136 CPUtime=0.02 /proc/9655/task/9662/stat : 9662 (java) S 9642 9641 3447 769 3447 4202560 14 0 0 0 2 0 0 0 25 0 12 0 527511357 877707264 6189 1283457024 134512640 134550932 4289274976 18446744073709551615 4159535344 0 4 0 16800975 18446612132872857664 0 0 -1 0 0 0 0 [pid=9655/tid=9663] ppid=9642 vsize=857136 CPUtime=0 /proc/9655/task/9663/stat : 9663 (java) S 9642 9641 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 12 0 527511357 877707264 6189 1283457024 134512640 134550932 4289274976 18446744073709551615 4159535344 0 4 0 16800975 18446612132872857664 0 0 -1 0 0 0 0 [pid=9655/tid=9664] ppid=9642 vsize=857136 CPUtime=0 /proc/9655/task/9664/stat : 9664 (java) S 9642 9641 3447 769 3447 4202560 0 0 0 0 0 0 0 0 16 0 12 0 527511357 877707264 6189 1283457024 134512640 134550932 4289274976 18446744073709551615 4159536136 0 4 0 16800975 18446612132872857664 0 0 -1 0 0 0 0 [pid=9655/tid=9665] ppid=9642 vsize=857136 CPUtime=0 /proc/9655/task/9665/stat : 9665 (java) S 9642 9641 3447 769 3447 4202560 4 0 0 0 0 0 0 0 25 0 12 0 527511421 877707264 6189 1283457024 134512640 134550932 4289274976 18446744073709551615 4159536136 0 4 0 16800975 18446612132872857664 0 0 -1 0 0 0 0 [pid=9655/tid=9666] ppid=9642 vsize=857136 CPUtime=0 /proc/9655/task/9666/stat : 9666 (java) S 9642 9641 3447 769 3447 4202560 4 0 0 0 0 0 0 0 25 0 12 0 527511422 877707264 6189 1283457024 134512640 134550932 4289274976 18446744073709551615 4159536136 0 4 0 16800975 18446612132872857664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.72 Current children cumulated vsize (KiB) 861912 Child status: 0 Real time (s): 1.24869 CPU time (s): 0.728045 CPU user time (s): 0.680042 CPU system time (s): 0.048003 CPU usage (%): 58.3048 Max. virtual memory (cumulated for all children) (KiB): 861912 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.680042 system time used= 0.048003 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10041 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= 182 involuntary context switches= 123 runsolver used 0 second user time and 0 second system time The end