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-3742619-1338790651/watcher-3742619-1338790651 -o /tmp/evaluation-result-3742619-1338790651/solver-3742619-1338790651 -C 1800 -W 1900 -M 15500 pbclasp instance-3742619-1338790651.opb HOME/temp
running on 4 cores: 1,3,5,7
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.02 2.02 2.00 3/177 8250
/proc/meminfo: memFree=27944788/32873852 swapFree=7624/7624
[pid=8250] ppid=8248 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/8250/stat : 8250 (pbclasp) R 8248 8250 5924 0 -1 4202496 538 0 0 0 0 0 0 0 20 0 1 0 345190595 26206208 469 33554432000 4194304 4198148 140734075675024 140734075672472 252266472784 0 0 4224 0 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 6398 469 345 1 0 193 0
[startup+0.051175 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 8250
/proc/meminfo: memFree=27944788/32873852 swapFree=7624/7624
[pid=8250] ppid=8248 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/8250/stat : 8250 (pbclasp) S 8248 8250 5924 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 345190595 26357760 516 33554432000 4194304 4198148 140734075675024 140734075673912 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 6435 516 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.100285 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 8250
/proc/meminfo: memFree=27944788/32873852 swapFree=7624/7624
[pid=8250] ppid=8248 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/8250/stat : 8250 (pbclasp) S 8248 8250 5924 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 345190595 26357760 516 33554432000 4194304 4198148 140734075675024 140734075673912 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 6435 516 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.300224 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 8250
/proc/meminfo: memFree=27944788/32873852 swapFree=7624/7624
[pid=8250] ppid=8248 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/8250/stat : 8250 (pbclasp) S 8248 8250 5924 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 345190595 26357760 516 33554432000 4194304 4198148 140734075675024 140734075673912 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 6435 516 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.700231 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 8250
/proc/meminfo: memFree=27944788/32873852 swapFree=7624/7624
[pid=8250] ppid=8248 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/8250/stat : 8250 (pbclasp) S 8248 8250 5924 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 345190595 26357760 516 33554432000 4194304 4198148 140734075675024 140734075673912 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 6435 516 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+1.50038 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 8255
/proc/meminfo: memFree=27939672/32873852 swapFree=7624/7624
[pid=8250] ppid=8248 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/8250/stat : 8250 (pbclasp) S 8248 8250 5924 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 345190595 26357760 516 33554432000 4194304 4198148 140734075675024 140734075673912 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 6435 516 363 1 0 230 0
[pid=8252] ppid=8250 vsize=9148 CPUtime=0.21 cores=1,3,5,7
/proc/8252/stat : 8252 (sh) S 8250 8250 5924 0 -1 4202496 373 622 0 0 0 0 21 0 20 0 1 0 345190596 9367552 264 33554432000 4194304 5064252 140736064776176 140736064774432 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8252/statm: 2287 264 223 213 0 72 0
[pid=8254] ppid=8252 vsize=8736 CPUtime=1.29 cores=1,3,5,7
/proc/8254/stat : 8254 (clasp-1.0) R 8252 8250 5924 0 -1 4202496 1756 0 0 0 129 0 0 0 20 0 1 0 345190597 8945664 1663 33554432000 134512640 134847168 4293370368 4293369008 134782435 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8254/statm: 2184 1663 270 82 0 1425 0
[pid=8255] ppid=8252 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8255/stat : 8255 (pboutclasp.pl) S 8252 8250 5924 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 345190597 26071040 437 33554432000 4194304 4198148 140734703513888 140734703504424 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8255/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 69084
[startup+3.10038 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 8255
/proc/meminfo: memFree=27937688/32873852 swapFree=7624/7624
[pid=8250] ppid=8248 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/8250/stat : 8250 (pbclasp) S 8248 8250 5924 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 345190595 26357760 516 33554432000 4194304 4198148 140734075675024 140734075673912 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 6435 516 363 1 0 230 0
[pid=8252] ppid=8250 vsize=9148 CPUtime=0.21 cores=1,3,5,7
/proc/8252/stat : 8252 (sh) S 8250 8250 5924 0 -1 4202496 373 622 0 0 0 0 21 0 20 0 1 0 345190596 9367552 264 33554432000 4194304 5064252 140736064776176 140736064774432 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8252/statm: 2287 264 223 213 0 72 0
[pid=8254] ppid=8252 vsize=10180 CPUtime=2.89 cores=1,3,5,7
/proc/8254/stat : 8254 (clasp-1.0) R 8252 8250 5924 0 -1 4202496 2084 0 0 0 289 0 0 0 20 0 1 0 345190597 10424320 1991 33554432000 134512640 134847168 4293370368 4293369136 134737260 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8254/statm: 2545 1991 270 82 0 1786 0
[pid=8255] ppid=8252 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8255/stat : 8255 (pboutclasp.pl) S 8252 8250 5924 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 345190597 26071040 437 33554432000 4194304 4198148 140734703513888 140734703504424 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8255/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 70528
[startup+6.30032 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 8255
/proc/meminfo: memFree=27935332/32873852 swapFree=7624/7624
[pid=8250] ppid=8248 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/8250/stat : 8250 (pbclasp) S 8248 8250 5924 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 345190595 26357760 516 33554432000 4194304 4198148 140734075675024 140734075673912 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 6435 516 363 1 0 230 0
[pid=8252] ppid=8250 vsize=9148 CPUtime=0.21 cores=1,3,5,7
/proc/8252/stat : 8252 (sh) S 8250 8250 5924 0 -1 4202496 373 622 0 0 0 0 21 0 20 0 1 0 345190596 9367552 264 33554432000 4194304 5064252 140736064776176 140736064774432 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8252/statm: 2287 264 223 213 0 72 0
[pid=8254] ppid=8252 vsize=11876 CPUtime=6.09 cores=1,3,5,7
/proc/8254/stat : 8254 (clasp-1.0) R 8252 8250 5924 0 -1 4202496 2530 0 0 0 609 0 0 0 20 0 1 0 345190597 12161024 2437 33554432000 134512640 134847168 4293370368 4293369136 134737597 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8254/statm: 2969 2437 270 82 0 2210 0
[pid=8255] ppid=8252 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8255/stat : 8255 (pboutclasp.pl) S 8252 8250 5924 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 345190597 26071040 437 33554432000 4194304 4198148 140734703513888 140734703504424 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8255/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 72224
[startup+12.7004 s]
/proc/loadavg: 2.02 2.02 2.00 3/182 8308
/proc/meminfo: memFree=28258500/32873852 swapFree=7624/7624
[pid=8250] ppid=8248 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/8250/stat : 8250 (pbclasp) S 8248 8250 5924 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 345190595 26357760 516 33554432000 4194304 4198148 140734075675024 140734075673912 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 6435 516 363 1 0 230 0
[pid=8252] ppid=8250 vsize=9148 CPUtime=0.21 cores=1,3,5,7
/proc/8252/stat : 8252 (sh) S 8250 8250 5924 0 -1 4202496 373 622 0 0 0 0 21 0 20 0 1 0 345190596 9367552 264 33554432000 4194304 5064252 140736064776176 140736064774432 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8252/statm: 2287 264 223 213 0 72 0
[pid=8254] ppid=8252 vsize=14088 CPUtime=12.48 cores=1,3,5,7
/proc/8254/stat : 8254 (clasp-1.0) R 8252 8250 5924 0 -1 4202496 3084 0 0 0 1248 0 0 0 20 0 1 0 345190597 14426112 2997 33554432000 134512640 134847168 4293370368 4293369008 134782432 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8254/statm: 3522 2997 270 82 0 2763 0
[pid=8255] ppid=8252 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8255/stat : 8255 (pboutclasp.pl) S 8252 8250 5924 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 345190597 26071040 437 33554432000 4194304 4198148 140734703513888 140734703504424 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8255/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 74436
[startup+25.5004 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 8308
/proc/meminfo: memFree=28240752/32873852 swapFree=7624/7624
[pid=8250] ppid=8248 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/8250/stat : 8250 (pbclasp) S 8248 8250 5924 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 345190595 26357760 516 33554432000 4194304 4198148 140734075675024 140734075673912 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 6435 516 363 1 0 230 0
[pid=8252] ppid=8250 vsize=9148 CPUtime=0.21 cores=1,3,5,7
/proc/8252/stat : 8252 (sh) S 8250 8250 5924 0 -1 4202496 373 622 0 0 0 0 21 0 20 0 1 0 345190596 9367552 264 33554432000 4194304 5064252 140736064776176 140736064774432 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8252/statm: 2287 264 223 213 0 72 0
[pid=8254] ppid=8252 vsize=20028 CPUtime=25.29 cores=1,3,5,7
/proc/8254/stat : 8254 (clasp-1.0) R 8252 8250 5924 0 -1 4202496 4587 0 0 0 2528 1 0 0 20 0 1 0 345190597 20508672 4498 33554432000 134512640 134847168 4293370368 4293369008 134782472 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8254/statm: 5007 4498 270 82 0 4248 0
[pid=8255] ppid=8252 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8255/stat : 8255 (pboutclasp.pl) S 8252 8250 5924 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 345190597 26071040 437 33554432000 4194304 4198148 140734703513888 140734703504424 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8255/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 80376
Solver just ended. Dumping a history of the last processes samples
[startup+28.7004 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 8308
/proc/meminfo: memFree=28237652/32873852 swapFree=7624/7624
[pid=8250] ppid=8248 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/8250/stat : 8250 (pbclasp) S 8248 8250 5924 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 345190595 26357760 516 33554432000 4194304 4198148 140734075675024 140734075673912 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 6435 516 363 1 0 230 0
[pid=8252] ppid=8250 vsize=9148 CPUtime=0.21 cores=1,3,5,7
/proc/8252/stat : 8252 (sh) S 8250 8250 5924 0 -1 4202496 373 622 0 0 0 0 21 0 20 0 1 0 345190596 9367552 264 33554432000 4194304 5064252 140736064776176 140736064774432 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8252/statm: 2287 264 223 213 0 72 0
[pid=8254] ppid=8252 vsize=22000 CPUtime=28.48 cores=1,3,5,7
/proc/8254/stat : 8254 (clasp-1.0) R 8252 8250 5924 0 -1 4202496 5069 0 0 0 2847 1 0 0 20 0 1 0 345190597 22528000 4980 33554432000 134512640 134847168 4293370368 4293369008 134782432 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8254/statm: 5500 4980 270 82 0 4741 0
[pid=8255] ppid=8252 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8255/stat : 8255 (pboutclasp.pl) S 8252 8250 5924 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 345190597 26071040 437 33554432000 4194304 4198148 140734703513888 140734703504424 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8255/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 28.69
Current children cumulated vsize (KiB) 82348
[startup+31.9067 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 8308
/proc/meminfo: memFree=28234676/32873852 swapFree=7624/7624
[pid=8250] ppid=8248 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/8250/stat : 8250 (pbclasp) S 8248 8250 5924 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 345190595 26357760 516 33554432000 4194304 4198148 140734075675024 140734075673912 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 6435 516 363 1 0 230 0
[pid=8252] ppid=8250 vsize=9148 CPUtime=0.21 cores=1,3,5,7
/proc/8252/stat : 8252 (sh) S 8250 8250 5924 0 -1 4202496 373 622 0 0 0 0 21 0 20 0 1 0 345190596 9367552 264 33554432000 4194304 5064252 140736064776176 140736064774432 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8252/statm: 2287 264 223 213 0 72 0
[pid=8254] ppid=8252 vsize=22000 CPUtime=31.69 cores=1,3,5,7
/proc/8254/stat : 8254 (clasp-1.0) R 8252 8250 5924 0 -1 4202496 5071 0 0 0 3168 1 0 0 20 0 1 0 345190597 22528000 4982 33554432000 134512640 134847168 4293370368 4293369108 134737633 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8254/statm: 5500 4982 270 82 0 4741 0
[pid=8255] ppid=8252 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8255/stat : 8255 (pboutclasp.pl) S 8252 8250 5924 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 345190597 26071040 437 33554432000 4194304 4198148 140734703513888 140734703504424 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8255/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 31.9
Current children cumulated vsize (KiB) 82348
[startup+32.7004 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 8308
/proc/meminfo: memFree=28234676/32873852 swapFree=7624/7624
[pid=8250] ppid=8248 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/8250/stat : 8250 (pbclasp) S 8248 8250 5924 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 345190595 26357760 516 33554432000 4194304 4198148 140734075675024 140734075673912 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 6435 516 363 1 0 230 0
[pid=8252] ppid=8250 vsize=9148 CPUtime=0.21 cores=1,3,5,7
/proc/8252/stat : 8252 (sh) S 8250 8250 5924 0 -1 4202496 373 622 0 0 0 0 21 0 20 0 1 0 345190596 9367552 264 33554432000 4194304 5064252 140736064776176 140736064774432 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8252/statm: 2287 264 223 213 0 72 0
[pid=8254] ppid=8252 vsize=22000 CPUtime=32.48 cores=1,3,5,7
/proc/8254/stat : 8254 (clasp-1.0) R 8252 8250 5924 0 -1 4202496 5074 0 0 0 3247 1 0 0 20 0 1 0 345190597 22528000 4989 33554432000 134512640 134847168 4293370368 4293369008 134782472 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8254/statm: 5500 4989 270 82 0 4741 0
[pid=8255] ppid=8252 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8255/stat : 8255 (pboutclasp.pl) S 8252 8250 5924 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 345190597 26071040 437 33554432000 4194304 4198148 140734703513888 140734703504424 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8255/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 32.69
Current children cumulated vsize (KiB) 82348
[startup+33.5004 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 8308
/proc/meminfo: memFree=28234488/32873852 swapFree=7624/7624
[pid=8250] ppid=8248 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/8250/stat : 8250 (pbclasp) S 8248 8250 5924 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 345190595 26357760 516 33554432000 4194304 4198148 140734075675024 140734075673912 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 6435 516 363 1 0 230 0
[pid=8252] ppid=8250 vsize=9148 CPUtime=0.21 cores=1,3,5,7
/proc/8252/stat : 8252 (sh) S 8250 8250 5924 0 -1 4202496 373 622 0 0 0 0 21 0 20 0 1 0 345190596 9367552 264 33554432000 4194304 5064252 140736064776176 140736064774432 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8252/statm: 2287 264 223 213 0 72 0
[pid=8254] ppid=8252 vsize=22000 CPUtime=33.28 cores=1,3,5,7
/proc/8254/stat : 8254 (clasp-1.0) R 8252 8250 5924 0 -1 4202496 5074 0 0 0 3327 1 0 0 20 0 1 0 345190597 22528000 4989 33554432000 134512640 134847168 4293370368 4293369008 134782432 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8254/statm: 5500 4989 270 82 0 4741 0
[pid=8255] ppid=8252 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8255/stat : 8255 (pboutclasp.pl) S 8252 8250 5924 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 345190597 26071040 437 33554432000 4194304 4198148 140734703513888 140734703504424 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8255/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 33.49
Current children cumulated vsize (KiB) 82348
[startup+33.9004 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 8308
/proc/meminfo: memFree=28234488/32873852 swapFree=7624/7624
[pid=8250] ppid=8248 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/8250/stat : 8250 (pbclasp) S 8248 8250 5924 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 345190595 26357760 516 33554432000 4194304 4198148 140734075675024 140734075673912 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 6435 516 363 1 0 230 0
[pid=8252] ppid=8250 vsize=9148 CPUtime=0.21 cores=1,3,5,7
/proc/8252/stat : 8252 (sh) S 8250 8250 5924 0 -1 4202496 373 622 0 0 0 0 21 0 20 0 1 0 345190596 9367552 264 33554432000 4194304 5064252 140736064776176 140736064774432 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8252/statm: 2287 264 223 213 0 72 0
[pid=8254] ppid=8252 vsize=22000 CPUtime=33.68 cores=1,3,5,7
/proc/8254/stat : 8254 (clasp-1.0) R 8252 8250 5924 0 -1 4202496 5074 0 0 0 3367 1 0 0 20 0 1 0 345190597 22528000 4989 33554432000 134512640 134847168 4293370368 4293369088 134741346 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8254/statm: 5500 4989 270 82 0 4741 0
[pid=8255] ppid=8252 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8255/stat : 8255 (pboutclasp.pl) S 8252 8250 5924 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 345190597 26071040 437 33554432000 4194304 4198148 140734703513888 140734703504424 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8255/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 33.89
Current children cumulated vsize (KiB) 82348
[startup+34.0004 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 8308
/proc/meminfo: memFree=28234612/32873852 swapFree=7624/7624
[pid=8250] ppid=8248 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/8250/stat : 8250 (pbclasp) S 8248 8250 5924 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 345190595 26357760 516 33554432000 4194304 4198148 140734075675024 140734075673912 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 6435 516 363 1 0 230 0
[pid=8252] ppid=8250 vsize=9148 CPUtime=0.21 cores=1,3,5,7
/proc/8252/stat : 8252 (sh) S 8250 8250 5924 0 -1 4202496 373 622 0 0 0 0 21 0 20 0 1 0 345190596 9367552 264 33554432000 4194304 5064252 140736064776176 140736064774432 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8252/statm: 2287 264 223 213 0 72 0
[pid=8254] ppid=8252 vsize=22000 CPUtime=33.79 cores=1,3,5,7
/proc/8254/stat : 8254 (clasp-1.0) R 8252 8250 5924 0 -1 4202496 5074 0 0 0 3378 1 0 0 20 0 1 0 345190597 22528000 4989 33554432000 134512640 134847168 4293370368 4293368752 134736025 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8254/statm: 5500 4989 270 82 0 4741 0
[pid=8255] ppid=8252 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8255/stat : 8255 (pboutclasp.pl) S 8252 8250 5924 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 345190597 26071040 437 33554432000 4194304 4198148 140734703513888 140734703504424 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8255/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 34
Current children cumulated vsize (KiB) 82348
Child status: 0
Real time (s): 34.022
CPU time (s): 34.0368
CPU user time (s): 34.0148
CPU system time (s): 0.021996
CPU usage (%): 100.044
Max. virtual memory (cumulated for all children) (KiB): 82348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.0148
system time used= 0.021996
maximum resident set size= 20036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7357
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= 89
involuntary context switches= 69
runsolver used 0.133979 second user time and 0.330949 second system time
The end