runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3730926-1338685372/watcher-3730926-1338685372 -o /tmp/evaluation-result-3730926-1338685372/solver-3730926-1338685372 -C 1800 -W 1900 -M 15500 pbclasp instance-3730926-1338685372.opb HOME/temp
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 24703
/proc/meminfo: memFree=28919420/32873844 swapFree=6088/6088
[pid=24703] ppid=24701 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/24703/stat : 24703 (pbclasp) R 24701 24703 22814 0 -1 4202496 601 0 0 0 0 0 0 0 20 0 1 0 334665701 26357760 531 33554432000 4194304 4198148 140735452184288 140734931045704 226329333652 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/24703/statm: 6468 532 355 1 0 263 0
[startup+0.0288621 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 24703
/proc/meminfo: memFree=28919420/32873844 swapFree=6088/6088
[pid=24703] ppid=24701 vsize=27572 CPUtime=0.02 cores=0,2,4,6
/proc/24703/stat : 24703 (pbclasp) R 24701 24703 22814 0 -1 4202496 1048 0 0 0 2 0 0 0 20 0 1 0 334665701 28233728 978 33554432000 4194304 4198148 140735452184288 140734931045704 226354781434 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/24703/statm: 6893 979 356 1 0 688 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 27572
[startup+0.100213 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 24703
/proc/meminfo: memFree=28919420/32873844 swapFree=6088/6088
[pid=24703] ppid=24701 vsize=28732 CPUtime=0.09 cores=0,2,4,6
/proc/24703/stat : 24703 (pbclasp) R 24701 24703 22814 0 -1 4202496 1321 0 0 0 9 0 0 0 20 0 1 0 334665701 29421568 1251 33554432000 4194304 4198148 140735452184288 140735452174824 226333091056 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/24703/statm: 7183 1251 357 1 0 978 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28732
[startup+0.300263 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 24703
/proc/meminfo: memFree=28919420/32873844 swapFree=6088/6088
[pid=24703] ppid=24701 vsize=28732 CPUtime=0.15 cores=0,2,4,6
/proc/24703/stat : 24703 (pbclasp) S 24701 24703 22814 0 -1 4202496 1346 0 0 0 15 0 0 0 20 0 1 0 334665701 29421568 1258 33554432000 4194304 4198148 140735452184288 140735452183176 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24703/statm: 7183 1258 364 1 0 978 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 28732
[startup+0.700236 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 24703
/proc/meminfo: memFree=28919420/32873844 swapFree=6088/6088
[pid=24703] ppid=24701 vsize=28732 CPUtime=0.15 cores=0,2,4,6
/proc/24703/stat : 24703 (pbclasp) S 24701 24703 22814 0 -1 4202496 1346 0 0 0 15 0 0 0 20 0 1 0 334665701 29421568 1258 33554432000 4194304 4198148 140735452184288 140735452183176 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24703/statm: 7183 1258 364 1 0 978 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 28732
[startup+1.50037 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 24708
/proc/meminfo: memFree=28909408/32873844 swapFree=6088/6088
[pid=24703] ppid=24701 vsize=28732 CPUtime=0.15 cores=0,2,4,6
/proc/24703/stat : 24703 (pbclasp) S 24701 24703 22814 0 -1 4202496 1346 0 0 0 15 0 0 0 20 0 1 0 334665701 29421568 1258 33554432000 4194304 4198148 140735452184288 140735452183176 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24703/statm: 7183 1258 364 1 0 978 0
[pid=24705] ppid=24703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24705/stat : 24705 (sh) S 24703 24703 22814 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 334665716 9367552 264 33554432000 4194304 5064252 140734723008960 140734723007216 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24705/statm: 2287 264 223 213 0 72 0
[pid=24706] ppid=24705 vsize=25592 CPUtime=1.34 cores=0,2,4,6
/proc/24706/stat : 24706 (pb2clasp1) R 24705 24703 22814 0 -1 4202496 608 0 0 0 134 0 0 0 20 0 1 0 334665717 26206208 508 33554432000 4194304 4198148 140733993623024 140733993613560 226355055649 0 0 4224 0 0 0 0 17 2 0 0 0 0 0
/proc/24706/statm: 6398 508 378 1 0 193 0
[pid=24707] ppid=24705 vsize=12436 CPUtime=0.16 cores=0,2,4,6
/proc/24707/stat : 24707 (clasp-1.0) S 24705 24703 22814 0 -1 4202496 2618 0 0 0 15 1 0 0 20 0 1 0 334665717 12734464 2526 33554432000 134512640 134847168 4292145232 4292140952 13366320 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24707/statm: 3109 2526 251 82 0 2350 0
[pid=24708] ppid=24705 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24708/stat : 24708 (pboutclasp.pl) S 24705 24703 22814 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334665717 26071040 437 33554432000 4194304 4198148 140733269773728 140733269764264 226333091056 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24708/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 101368
[startup+3.10037 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 24708
/proc/meminfo: memFree=28900596/32873844 swapFree=6088/6088
[pid=24703] ppid=24701 vsize=28732 CPUtime=0.15 cores=0,2,4,6
/proc/24703/stat : 24703 (pbclasp) S 24701 24703 22814 0 -1 4202496 1346 0 0 0 15 0 0 0 20 0 1 0 334665701 29421568 1258 33554432000 4194304 4198148 140735452184288 140735452183176 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24703/statm: 7183 1258 364 1 0 978 0
[pid=24705] ppid=24703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24705/stat : 24705 (sh) S 24703 24703 22814 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 334665716 9367552 264 33554432000 4194304 5064252 140734723008960 140734723007216 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24705/statm: 2287 264 223 213 0 72 0
[pid=24706] ppid=24705 vsize=25592 CPUtime=2.93 cores=0,2,4,6
/proc/24706/stat : 24706 (pb2clasp1) R 24705 24703 22814 0 -1 4202496 608 0 0 0 293 0 0 0 20 0 1 0 334665717 26206208 508 33554432000 4194304 4198148 140733993623024 140733993613560 226354885536 0 0 4224 0 0 0 0 17 2 0 0 0 0 0
/proc/24706/statm: 6398 508 378 1 0 193 0
[pid=24707] ppid=24705 vsize=22976 CPUtime=0.36 cores=0,2,4,6
/proc/24707/stat : 24707 (clasp-1.0) S 24705 24703 22814 0 -1 4202496 5232 0 0 0 35 1 0 0 20 0 1 0 334665717 23527424 5140 33554432000 134512640 134847168 4292145232 4292140952 13366320 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24707/statm: 5744 5140 251 82 0 4985 0
[pid=24708] ppid=24705 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24708/stat : 24708 (pboutclasp.pl) S 24705 24703 22814 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334665717 26071040 437 33554432000 4194304 4198148 140733269773728 140733269764264 226333091056 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24708/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.44
Current children cumulated vsize (KiB) 111908
[startup+6.30037 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 24708
/proc/meminfo: memFree=28877672/32873844 swapFree=6088/6088
[pid=24703] ppid=24701 vsize=28732 CPUtime=0.15 cores=0,2,4,6
/proc/24703/stat : 24703 (pbclasp) S 24701 24703 22814 0 -1 4202496 1346 0 0 0 15 0 0 0 20 0 1 0 334665701 29421568 1258 33554432000 4194304 4198148 140735452184288 140735452183176 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24703/statm: 7183 1258 364 1 0 978 0
[pid=24705] ppid=24703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24705/stat : 24705 (sh) S 24703 24703 22814 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 334665716 9367552 264 33554432000 4194304 5064252 140734723008960 140734723007216 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24705/statm: 2287 264 223 213 0 72 0
[pid=24706] ppid=24705 vsize=25592 CPUtime=6.13 cores=0,2,4,6
/proc/24706/stat : 24706 (pb2clasp1) R 24705 24703 22814 0 -1 4202496 608 0 0 0 613 0 0 0 20 0 1 0 334665717 26206208 508 33554432000 4194304 4198148 140733993623024 140733993613560 226333090960 0 0 4224 0 0 0 0 17 2 0 0 0 0 0
/proc/24706/statm: 6398 508 378 1 0 193 0
[pid=24707] ppid=24705 vsize=44420 CPUtime=0.79 cores=0,2,4,6
/proc/24707/stat : 24707 (clasp-1.0) R 24705 24703 22814 0 -1 4202496 10598 0 0 0 77 2 0 0 20 0 1 0 334665717 45486080 10404 33554432000 134512640 134847168 4292145232 4292141008 4375847 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24707/statm: 11105 10404 251 82 0 10346 0
[pid=24708] ppid=24705 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24708/stat : 24708 (pboutclasp.pl) S 24705 24703 22814 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334665717 26071040 437 33554432000 4194304 4198148 140733269773728 140733269764264 226333091056 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24708/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 7.07
Current children cumulated vsize (KiB) 133352
[startup+12.7004 s]
/proc/loadavg: 2.01 2.00 2.00 3/182 24708
/proc/meminfo: memFree=28785172/32873844 swapFree=6088/6088
[pid=24703] ppid=24701 vsize=28732 CPUtime=0.15 cores=0,2,4,6
/proc/24703/stat : 24703 (pbclasp) S 24701 24703 22814 0 -1 4202496 1346 0 0 0 15 0 0 0 20 0 1 0 334665701 29421568 1258 33554432000 4194304 4198148 140735452184288 140735452183176 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24703/statm: 7183 1258 364 1 0 978 0
[pid=24705] ppid=24703 vsize=9148 CPUtime=8.96 cores=0,2,4,6
/proc/24705/stat : 24705 (sh) S 24703 24703 22814 0 -1 4202496 372 618 0 0 0 0 896 0 20 0 1 0 334665716 9367552 264 33554432000 4194304 5064252 140734723008960 140734723007216 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24705/statm: 2287 264 223 213 0 72 0
[pid=24707] ppid=24705 vsize=133692 CPUtime=4.78 cores=0,2,4,6
/proc/24707/stat : 24707 (clasp-1.0) R 24705 24703 22814 0 -1 4202496 31715 0 0 0 473 5 0 0 20 0 1 0 334665717 136900608 32429 33554432000 134512640 134847168 4292145232 4292144000 134738064 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24707/statm: 33423 32429 272 82 0 32664 0
[pid=24708] ppid=24705 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24708/stat : 24708 (pboutclasp.pl) S 24705 24703 22814 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334665717 26071040 437 33554432000 4194304 4198148 140733269773728 140733269764264 226333091056 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24708/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 13.89
Current children cumulated vsize (KiB) 197032
Solver just ended. Dumping a history of the last processes samples
[startup+19.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 24708
/proc/meminfo: memFree=28784312/32873844 swapFree=6088/6088
[pid=24703] ppid=24701 vsize=28732 CPUtime=0.15 cores=0,2,4,6
/proc/24703/stat : 24703 (pbclasp) S 24701 24703 22814 0 -1 4202496 1346 0 0 0 15 0 0 0 20 0 1 0 334665701 29421568 1258 33554432000 4194304 4198148 140735452184288 140735452183176 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24703/statm: 7183 1258 364 1 0 978 0
[pid=24705] ppid=24703 vsize=9148 CPUtime=8.96 cores=0,2,4,6
/proc/24705/stat : 24705 (sh) S 24703 24703 22814 0 -1 4202496 372 618 0 0 0 0 896 0 20 0 1 0 334665716 9367552 264 33554432000 4194304 5064252 140734723008960 140734723007216 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24705/statm: 2287 264 223 213 0 72 0
[pid=24707] ppid=24705 vsize=133692 CPUtime=11.18 cores=0,2,4,6
/proc/24707/stat : 24707 (clasp-1.0) R 24705 24703 22814 0 -1 4202496 31716 0 0 0 1113 5 0 0 20 0 1 0 334665717 136900608 32430 33554432000 134512640 134847168 4292145232 4292143916 134715962 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24707/statm: 33423 32430 272 82 0 32664 0
[pid=24708] ppid=24705 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24708/stat : 24708 (pboutclasp.pl) S 24705 24703 22814 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334665717 26071040 437 33554432000 4194304 4198148 140733269773728 140733269764264 226333091056 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24708/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 20.29
Current children cumulated vsize (KiB) 197032
[startup+20.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 24708
/proc/meminfo: memFree=28783320/32873844 swapFree=6088/6088
[pid=24703] ppid=24701 vsize=28732 CPUtime=0.15 cores=0,2,4,6
/proc/24703/stat : 24703 (pbclasp) S 24701 24703 22814 0 -1 4202496 1346 0 0 0 15 0 0 0 20 0 1 0 334665701 29421568 1258 33554432000 4194304 4198148 140735452184288 140735452183176 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24703/statm: 7183 1258 364 1 0 978 0
[pid=24705] ppid=24703 vsize=9148 CPUtime=8.96 cores=0,2,4,6
/proc/24705/stat : 24705 (sh) S 24703 24703 22814 0 -1 4202496 372 618 0 0 0 0 896 0 20 0 1 0 334665716 9367552 264 33554432000 4194304 5064252 140734723008960 140734723007216 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24705/statm: 2287 264 223 213 0 72 0
[pid=24707] ppid=24705 vsize=133692 CPUtime=12.78 cores=0,2,4,6
/proc/24707/stat : 24707 (clasp-1.0) R 24705 24703 22814 0 -1 4202496 31716 0 0 0 1273 5 0 0 20 0 1 0 334665717 136900608 32430 33554432000 134512640 134847168 4292145232 4292143988 134737608 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24707/statm: 33423 32430 272 82 0 32664 0
[pid=24708] ppid=24705 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24708/stat : 24708 (pboutclasp.pl) S 24705 24703 22814 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334665717 26071040 437 33554432000 4194304 4198148 140733269773728 140733269764264 226333091056 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24708/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 21.89
Current children cumulated vsize (KiB) 197032
[startup+22.3004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 24708
/proc/meminfo: memFree=28783196/32873844 swapFree=6088/6088
[pid=24703] ppid=24701 vsize=28732 CPUtime=0.15 cores=0,2,4,6
/proc/24703/stat : 24703 (pbclasp) S 24701 24703 22814 0 -1 4202496 1346 0 0 0 15 0 0 0 20 0 1 0 334665701 29421568 1258 33554432000 4194304 4198148 140735452184288 140735452183176 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24703/statm: 7183 1258 364 1 0 978 0
[pid=24705] ppid=24703 vsize=9148 CPUtime=8.96 cores=0,2,4,6
/proc/24705/stat : 24705 (sh) S 24703 24703 22814 0 -1 4202496 372 618 0 0 0 0 896 0 20 0 1 0 334665716 9367552 264 33554432000 4194304 5064252 140734723008960 140734723007216 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24705/statm: 2287 264 223 213 0 72 0
[pid=24707] ppid=24705 vsize=133692 CPUtime=14.38 cores=0,2,4,6
/proc/24707/stat : 24707 (clasp-1.0) R 24705 24703 22814 0 -1 4202496 31716 0 0 0 1433 5 0 0 20 0 1 0 334665717 136900608 32430 33554432000 134512640 134847168 4292145232 4292144000 134737366 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24707/statm: 33423 32430 272 82 0 32664 0
[pid=24708] ppid=24705 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24708/stat : 24708 (pboutclasp.pl) S 24705 24703 22814 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334665717 26071040 437 33554432000 4194304 4198148 140733269773728 140733269764264 226333091056 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24708/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 23.49
Current children cumulated vsize (KiB) 197032
[startup+23.1064 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 24708
/proc/meminfo: memFree=28783072/32873844 swapFree=6088/6088
[pid=24703] ppid=24701 vsize=28732 CPUtime=0.15 cores=0,2,4,6
/proc/24703/stat : 24703 (pbclasp) S 24701 24703 22814 0 -1 4202496 1346 0 0 0 15 0 0 0 20 0 1 0 334665701 29421568 1258 33554432000 4194304 4198148 140735452184288 140735452183176 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24703/statm: 7183 1258 364 1 0 978 0
[pid=24705] ppid=24703 vsize=9148 CPUtime=8.96 cores=0,2,4,6
/proc/24705/stat : 24705 (sh) S 24703 24703 22814 0 -1 4202496 372 618 0 0 0 0 896 0 20 0 1 0 334665716 9367552 264 33554432000 4194304 5064252 140734723008960 140734723007216 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24705/statm: 2287 264 223 213 0 72 0
[pid=24707] ppid=24705 vsize=133692 CPUtime=15.18 cores=0,2,4,6
/proc/24707/stat : 24707 (clasp-1.0) R 24705 24703 22814 0 -1 4202496 31716 0 0 0 1513 5 0 0 20 0 1 0 334665717 136900608 32430 33554432000 134512640 134847168 4292145232 4292144000 134737260 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24707/statm: 33423 32430 272 82 0 32664 0
[pid=24708] ppid=24705 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24708/stat : 24708 (pboutclasp.pl) S 24705 24703 22814 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334665717 26071040 437 33554432000 4194304 4198148 140733269773728 140733269764264 226333091056 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24708/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 24.29
Current children cumulated vsize (KiB) 197032
[startup+23.3004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 24708
/proc/meminfo: memFree=28783072/32873844 swapFree=6088/6088
[pid=24703] ppid=24701 vsize=28732 CPUtime=0.15 cores=0,2,4,6
/proc/24703/stat : 24703 (pbclasp) S 24701 24703 22814 0 -1 4202496 1346 0 0 0 15 0 0 0 20 0 1 0 334665701 29421568 1258 33554432000 4194304 4198148 140735452184288 140735452183176 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24703/statm: 7183 1258 364 1 0 978 0
[pid=24705] ppid=24703 vsize=9148 CPUtime=8.96 cores=0,2,4,6
/proc/24705/stat : 24705 (sh) S 24703 24703 22814 0 -1 4202496 372 618 0 0 0 0 896 0 20 0 1 0 334665716 9367552 264 33554432000 4194304 5064252 140734723008960 140734723007216 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24705/statm: 2287 264 223 213 0 72 0
[pid=24707] ppid=24705 vsize=119744 CPUtime=15.39 cores=0,2,4,6
/proc/24707/stat : 24707 (clasp-1.0) R 24705 24703 22814 0 -1 4202496 31736 0 0 0 1533 6 0 0 20 0 1 0 334665717 122617856 29018 33554432000 134512640 134847168 4292145232 4292144268 8216642 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24707/statm: 29936 29018 292 82 0 29177 0
[pid=24708] ppid=24705 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24708/stat : 24708 (pboutclasp.pl) S 24705 24703 22814 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 334665717 26071040 446 33554432000 4194304 4198148 140733269773728 140733269764264 226333091056 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24708/statm: 6365 446 351 1 0 160 0
Current children cumulated CPU time (s) 24.5
Current children cumulated vsize (KiB) 183084
Child status: 0
Real time (s): 23.3258
CPU time (s): 24.5513
CPU user time (s): 24.4663
CPU system time (s): 0.084987
CPU usage (%): 105.254
Max. virtual memory (cumulated for all children) (KiB): 201596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.4663
system time used= 0.084987
maximum resident set size= 132324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35393
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2629
involuntary context switches= 42
runsolver used 0.031995 second user time and 0.100984 second system time
The end