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-3741736-1338780728/watcher-3741736-1338780728 -o /tmp/evaluation-result-3741736-1338780728/solver-3741736-1338780728 -C 1800 -W 1900 -M 15500 pbclasp instance-3741736-1338780728.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.00 2.00 1.92 3/178 23400
/proc/meminfo: memFree=27768940/32873844 swapFree=7644/7644
[pid=23400] ppid=23398 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/23400/stat : 23400 (pbclasp) R 23398 23400 20179 0 -1 4202496 556 0 0 0 0 0 0 0 20 0 1 0 344199038 26206208 487 33554432000 4194304 4198148 140737404917248 140737404914696 239250058952 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/23400/statm: 6398 488 355 1 0 193 0
[startup+0.0536899 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 23400
/proc/meminfo: memFree=27768940/32873844 swapFree=7644/7644
[pid=23400] ppid=23398 vsize=29656 CPUtime=0.04 cores=0,2,4,6
/proc/23400/stat : 23400 (pbclasp) R 23398 23400 20179 0 -1 4202496 1553 0 0 0 4 0 0 0 20 0 1 0 344199038 30367744 1484 33554432000 4194304 4198148 140737404917248 140737404914696 239237304212 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/23400/statm: 7414 1485 356 1 0 1209 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 29656
[startup+0.100291 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 23400
/proc/meminfo: memFree=27768940/32873844 swapFree=7644/7644
[pid=23400] ppid=23398 vsize=39972 CPUtime=0.09 cores=0,2,4,6
/proc/23400/stat : 23400 (pbclasp) R 23398 23400 20179 0 -1 4202496 4470 0 0 0 9 0 0 0 20 0 1 0 344199038 40931328 4060 33554432000 4194304 4198148 140737404917248 140737404914696 239250439440 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/23400/statm: 9993 4060 363 1 0 3788 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39972
[startup+0.300221 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 23400
/proc/meminfo: memFree=27768940/32873844 swapFree=7644/7644
[pid=23400] ppid=23398 vsize=39972 CPUtime=0.29 cores=0,2,4,6
/proc/23400/stat : 23400 (pbclasp) R 23398 23400 20179 0 -1 4202496 4474 0 0 0 29 0 0 0 20 0 1 0 344199038 40931328 4064 33554432000 4194304 4198148 140737404917248 140737404914696 239250439424 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/23400/statm: 9993 4064 363 1 0 3788 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39972
[startup+0.700185 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 23400
/proc/meminfo: memFree=27768940/32873844 swapFree=7644/7644
[pid=23400] ppid=23398 vsize=39972 CPUtime=0.69 cores=0,2,4,6
/proc/23400/stat : 23400 (pbclasp) R 23398 23400 20179 0 -1 4202496 4482 0 0 0 69 0 0 0 20 0 1 0 344199038 40931328 4072 33554432000 4194304 4198148 140737404917248 140737404915816 239237349374 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/23400/statm: 9993 4072 363 1 0 3788 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39972
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 23401
/proc/meminfo: memFree=27761764/32873844 swapFree=7644/7644
[pid=23400] ppid=23398 vsize=39972 CPUtime=1.49 cores=0,2,4,6
/proc/23400/stat : 23400 (pbclasp) R 23398 23400 20179 0 -1 4202496 4497 0 0 0 149 0 0 0 20 0 1 0 344199038 40931328 4087 33554432000 4194304 4198148 140737404917248 140737404915816 239250439440 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/23400/statm: 9993 4087 363 1 0 3788 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39972
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 23401
/proc/meminfo: memFree=27763236/32873844 swapFree=7644/7644
[pid=23400] ppid=23398 vsize=40116 CPUtime=3.09 cores=0,2,4,6
/proc/23400/stat : 23400 (pbclasp) R 23398 23400 20179 0 -1 4202496 4529 0 0 0 309 0 0 0 20 0 1 0 344199038 41078784 4119 33554432000 4194304 4198148 140737404917248 140737404916136 239250439424 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/23400/statm: 10029 4119 363 1 0 3824 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40116
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 23401
/proc/meminfo: memFree=27767576/32873844 swapFree=7644/7644
[pid=23400] ppid=23398 vsize=40396 CPUtime=6.28 cores=0,2,4,6
/proc/23400/stat : 23400 (pbclasp) R 23398 23400 20179 0 -1 4202496 4592 0 0 0 628 0 0 0 20 0 1 0 344199038 41365504 4182 33554432000 4194304 4198148 140737404917248 140737404916136 239237350138 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/23400/statm: 10099 4182 363 1 0 3894 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 40396
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 23401
/proc/meminfo: memFree=27766948/32873844 swapFree=7644/7644
[pid=23400] ppid=23398 vsize=40956 CPUtime=12.68 cores=0,2,4,6
/proc/23400/stat : 23400 (pbclasp) R 23398 23400 20179 0 -1 4202496 4721 0 0 0 1268 0 0 0 20 0 1 0 344199038 41938944 4311 33554432000 4194304 4198148 140737404917248 140737404915240 239237350159 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/23400/statm: 10239 4311 363 1 0 4034 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 40956
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 23401
/proc/meminfo: memFree=27765940/32873844 swapFree=7644/7644
[pid=23400] ppid=23398 vsize=41944 CPUtime=25.48 cores=0,2,4,6
/proc/23400/stat : 23400 (pbclasp) R 23398 23400 20179 0 -1 4202496 4987 0 0 0 2548 0 0 0 20 0 1 0 344199038 42950656 4577 33554432000 4194304 4198148 140737404917248 140737404916024 239250439424 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/23400/statm: 10486 4577 363 1 0 4281 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 41944
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 23401
/proc/meminfo: memFree=27761388/32873844 swapFree=7644/7644
[pid=23400] ppid=23398 vsize=45744 CPUtime=51.08 cores=0,2,4,6
/proc/23400/stat : 23400 (pbclasp) R 23398 23400 20179 0 -1 4202496 5913 0 0 0 5107 1 0 0 20 0 1 0 344199038 46841856 5503 33554432000 4194304 4198148 140737404917248 140737404916136 239237349218 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/23400/statm: 11436 5503 363 1 0 5231 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 45744
[startup+102.306 s]
/proc/loadavg: 2.07 2.02 1.93 3/179 23402
/proc/meminfo: memFree=27752040/32873844 swapFree=7644/7644
[pid=23400] ppid=23398 vsize=55464 CPUtime=102.27 cores=0,2,4,6
/proc/23400/stat : 23400 (pbclasp) R 23398 23400 20179 0 -1 4202496 8350 0 0 0 10226 1 0 0 20 0 1 0 344199038 56795136 7940 33554432000 4194304 4198148 140737404917248 140737404915240 239250439424 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/23400/statm: 13866 7940 363 1 0 7661 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 55464
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/181 23404
/proc/meminfo: memFree=27670860/32873844 swapFree=7644/7644
[pid=23400] ppid=23398 vsize=65640 CPUtime=114.69 cores=0,2,4,6
/proc/23400/stat : 23400 (pbclasp) S 23398 23400 20179 0 -1 4202496 10944 0 0 0 11467 2 0 0 20 0 1 0 344199038 67215360 10511 33554432000 4194304 4198148 140737404917248 140737404916136 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23400/statm: 16410 10511 370 1 0 10205 0
[pid=23403] ppid=23400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23403/stat : 23403 (sh) S 23400 23400 20179 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 344210510 9367552 267 33554432000 4194304 5064252 140737385448592 140737385447472 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23403/statm: 2287 267 226 213 0 72 0
[pid=23404] ppid=23403 vsize=27296 CPUtime=47.56 cores=0,2,4,6
/proc/23404/stat : 23404 (pb2clasp1) R 23403 23400 20179 0 -1 4202496 1044 0 0 0 4743 13 0 0 20 0 1 0 344210511 27951104 940 33554432000 4194304 4198148 140733212001632 140733211992168 239237348795 0 0 4224 0 0 0 0 17 4 0 0 0 0 0
/proc/23404/statm: 6824 940 379 1 0 619 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 102084
[startup+222.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/181 23404
/proc/meminfo: memFree=27605636/32873844 swapFree=7644/7644
[pid=23400] ppid=23398 vsize=65640 CPUtime=114.69 cores=0,2,4,6
/proc/23400/stat : 23400 (pbclasp) S 23398 23400 20179 0 -1 4202496 10944 0 0 0 11467 2 0 0 20 0 1 0 344199038 67215360 10511 33554432000 4194304 4198148 140737404917248 140737404916136 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23400/statm: 16410 10511 370 1 0 10205 0
[pid=23403] ppid=23400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23403/stat : 23403 (sh) S 23400 23400 20179 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 344210510 9367552 267 33554432000 4194304 5064252 140737385448592 140737385447472 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23403/statm: 2287 267 226 213 0 72 0
[pid=23404] ppid=23403 vsize=27296 CPUtime=107.55 cores=0,2,4,6
/proc/23404/stat : 23404 (pb2clasp1) R 23403 23400 20179 0 -1 4202496 1044 0 0 0 10725 30 0 0 20 0 1 0 344210511 27951104 940 33554432000 4194304 4198148 140733212001632 140733211992168 239237350127 0 0 4224 0 0 0 0 17 4 0 0 0 0 0
/proc/23404/statm: 6824 940 379 1 0 619 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 102084
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 23404
/proc/meminfo: memFree=27537612/32873844 swapFree=7644/7644
[pid=23400] ppid=23398 vsize=65640 CPUtime=114.69 cores=0,2,4,6
/proc/23400/stat : 23400 (pbclasp) S 23398 23400 20179 0 -1 4202496 10944 0 0 0 11467 2 0 0 20 0 1 0 344199038 67215360 10511 33554432000 4194304 4198148 140737404917248 140737404916136 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23400/statm: 16410 10511 370 1 0 10205 0
[pid=23403] ppid=23400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23403/stat : 23403 (sh) S 23400 23400 20179 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 344210510 9367552 267 33554432000 4194304 5064252 140737385448592 140737385447472 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23403/statm: 2287 267 226 213 0 72 0
[pid=23404] ppid=23403 vsize=27296 CPUtime=167.54 cores=0,2,4,6
/proc/23404/stat : 23404 (pb2clasp1) R 23403 23400 20179 0 -1 4202496 1046 0 0 0 16707 47 0 0 20 0 1 0 344210511 27951104 942 33554432000 4194304 4198148 140733212001632 140733211992168 239250105549 0 0 4224 0 0 0 0 17 4 0 0 0 0 0
/proc/23404/statm: 6824 942 379 1 0 619 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 102084
[startup+342.3 s]
/proc/loadavg: 2.19 2.05 1.94 3/183 23495
/proc/meminfo: memFree=27542876/32873844 swapFree=7644/7644
[pid=23400] ppid=23398 vsize=75936 CPUtime=330.48 cores=0,2,4,6
/proc/23400/stat : 23400 (pbclasp) S 23398 23400 20179 0 -1 4202496 16803 87940 0 0 11494 5 21389 160 20 0 1 0 344199038 77758464 13087 33554432000 4194304 4198148 140737404917248 140737404916176 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23400/statm: 18984 13087 388 1 0 12779 0
[pid=23486] ppid=23400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23486/stat : 23486 (sh) S 23400 23400 20179 0 -1 4202496 370 0 0 0 0 0 0 0 20 0 1 0 344232083 9367552 264 33554432000 4194304 5064252 140734975809888 140734975808144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23486/statm: 2287 264 223 213 0 72 0
[pid=23487] ppid=23486 vsize=4004 CPUtime=0.06 cores=0,2,4,6
/proc/23487/stat : 23487 (cat) S 23486 23400 20179 0 -1 4202496 212 0 0 0 0 6 0 0 20 0 1 0 344232083 4100096 123 33554432000 4194304 4236627 140733736954688 140733736953784 239237678560 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23487/statm: 1001 123 97 11 0 67 0
[pid=23488] ppid=23486 vsize=150440 CPUtime=11.83 cores=0,2,4,6
/proc/23488/stat : 23488 (clasp-1.0) R 23486 23400 20179 0 -1 4202496 38239 0 0 0 1172 11 0 0 20 0 1 0 344232083 154050560 37062 33554432000 134512640 134847168 4292873584 4292869272 3544112 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23488/statm: 37610 37062 249 82 0 36851 0
Current children cumulated CPU time (s) 342.37
Current children cumulated vsize (KiB) 239528
[startup+402.3 s]
/proc/loadavg: 2.27 2.10 1.96 3/182 23568
/proc/meminfo: memFree=27448868/32873844 swapFree=7644/7644
[pid=23400] ppid=23398 vsize=75936 CPUtime=397.28 cores=0,2,4,6
/proc/23400/stat : 23400 (pbclasp) S 23398 23400 20179 0 -1 4202496 17313 301422 0 0 11519 8 27770 431 20 0 1 0 344199038 77758464 13087 33554432000 4194304 4198148 140737404917248 140737404916176 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23400/statm: 18984 13087 388 1 0 12779 0
[pid=23566] ppid=23400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23566/stat : 23566 (sh) S 23400 23400 20179 0 -1 4202496 370 0 0 0 0 0 0 0 20 0 1 0 344238713 9367552 264 33554432000 4194304 5064252 140735403888576 140735403886832 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23566/statm: 2287 264 223 213 0 72 0
[pid=23567] ppid=23566 vsize=4004 CPUtime=0.07 cores=0,2,4,6
################
# More data... #
################
/proc/24331/statm: 36618 36038 249 82 0 35859 0
Current children cumulated CPU time (s) 1669.71
Current children cumulated vsize (KiB) 235560
[startup+1722.3 s]
/proc/loadavg: 2.14 2.19 2.11 3/183 24397
/proc/meminfo: memFree=26829028/32873844 swapFree=7644/7644
[pid=23400] ppid=23398 vsize=75936 CPUtime=1724.66 cores=0,2,4,6
/proc/23400/stat : 23400 (pbclasp) S 23398 23400 20179 0 -1 4202496 27411 4528292 0 0 12027 69 155281 5089 20 0 1 0 344199038 77758464 13087 33554432000 4194304 4198148 140737404917248 140737404916176 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23400/statm: 18984 13087 388 1 0 12779 0
[pid=24395] ppid=23400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24395/stat : 24395 (sh) S 23400 23400 20179 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 344370744 9367552 264 33554432000 4194304 5064252 140736963548656 140736963546912 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24395/statm: 2287 264 223 213 0 72 0
[pid=24396] ppid=24395 vsize=4004 CPUtime=0.04 cores=0,2,4,6
/proc/24396/stat : 24396 (cat) S 24395 23400 20179 0 -1 4202496 212 0 0 0 0 4 0 0 20 0 1 0 344370745 4100096 123 33554432000 4194304 4236627 140736143831488 140736143830584 239237678560 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24396/statm: 1001 123 97 11 0 67 0
[pid=24397] ppid=24395 vsize=70852 CPUtime=5.21 cores=0,2,4,6
/proc/24397/stat : 24397 (clasp-1.0) R 24395 23400 20179 0 -1 4202496 18356 0 0 0 514 7 0 0 20 0 1 0 344370745 72552448 17179 33554432000 134512640 134847168 4290617312 4290613032 11363376 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24397/statm: 17713 17179 251 82 0 16954 0
Current children cumulated CPU time (s) 1729.91
Current children cumulated vsize (KiB) 159940
[startup+1782.3 s]
/proc/loadavg: 2.23 2.21 2.12 4/182 24429
/proc/meminfo: memFree=26756932/32873844 swapFree=7644/7644
[pid=23400] ppid=23398 vsize=75936 CPUtime=1778.72 cores=0,2,4,6
/proc/23400/stat : 23400 (pbclasp) S 23398 23400 20179 0 -1 4202496 27819 4699071 0 0 12048 71 160476 5277 20 0 1 0 344199038 77758464 13087 33554432000 4194304 4198148 140737404917248 140737404916176 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23400/statm: 18984 13087 388 1 0 12779 0
[pid=24427] ppid=23400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24427/stat : 24427 (sh) S 23400 23400 20179 0 -1 4202496 370 0 0 0 0 0 0 0 20 0 1 0 344376129 9367552 264 33554432000 4194304 5064252 140735822590480 140735822588736 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24427/statm: 2287 264 223 213 0 72 0
[pid=24428] ppid=24427 vsize=4004 CPUtime=0.07 cores=0,2,4,6
/proc/24428/stat : 24428 (cat) S 24427 23400 20179 0 -1 4202496 210 0 0 0 0 7 0 0 20 0 1 0 344376129 4100096 122 33554432000 4194304 4236627 140735889502800 140735889501896 239237678560 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24428/statm: 1001 122 97 11 0 67 0
[pid=24429] ppid=24427 vsize=139868 CPUtime=11.37 cores=0,2,4,6
/proc/24429/stat : 24429 (clasp-1.0) R 24427 23400 20179 0 -1 4202496 35560 0 0 0 1126 11 0 0 20 0 1 0 344376129 143224832 34384 33554432000 134512640 134847168 4293800848 4293796568 13468720 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24429/statm: 34967 34384 251 82 0 34208 0
Current children cumulated CPU time (s) 1790.16
Current children cumulated vsize (KiB) 228956
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.1 s]
/proc/loadavg: 2.27 2.22 2.13 3/182 24437
/proc/meminfo: memFree=26796372/32873844 swapFree=7644/7644
[pid=23400] ppid=23398 vsize=75936 CPUtime=1792.33 cores=0,2,4,6
/proc/23400/stat : 23400 (pbclasp) S 23398 23400 20179 0 -1 4202496 27921 4741770 0 0 12053 71 161782 5327 20 0 1 0 344199038 77758464 13087 33554432000 4194304 4198148 140737404917248 140737404916176 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23400/statm: 18984 13087 388 1 0 12779 0
[pid=24435] ppid=23400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24435/stat : 24435 (sh) S 23400 23400 20179 0 -1 4202496 369 0 0 0 0 0 0 0 20 0 1 0 344377481 9367552 263 33554432000 4194304 5064252 140737415642720 140737415640976 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24435/statm: 2287 263 223 213 0 72 0
[pid=24436] ppid=24435 vsize=4004 CPUtime=0.05 cores=0,2,4,6
/proc/24436/stat : 24436 (cat) R 24435 23400 20179 0 -1 4202496 211 0 0 0 0 5 0 0 20 0 1 0 344377481 4100096 123 33554432000 4194304 4236627 140736424614144 140736424613240 239237678560 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24436/statm: 1001 123 97 11 0 67 0
[pid=24437] ppid=24435 vsize=97444 CPUtime=7.66 cores=0,2,4,6
/proc/24437/stat : 24437 (clasp-1.0) R 24435 23400 20179 0 -1 4202496 24952 0 0 0 758 8 0 0 20 0 1 0 344377481 99782656 23776 33554432000 134512640 134847168 4287494448 4287490168 6620208 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24437/statm: 24361 23776 249 82 0 23602 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 186532
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
############
# WARNING:
# current cumulated CPU time (1792.46 s) is less than in the last sample (1800.04 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (7.57983 s) to the 'lost time'.
[startup+1792.1 s]
/proc/loadavg: 2.27 2.22 2.13 3/182 24437
/proc/meminfo: memFree=26796372/32873844 swapFree=7644/7644
[pid=23400] ppid=23398 vsize=75936 CPUtime=1792.33 cores=0,2,4,6
/proc/23400/stat : 23400 (pbclasp) S 23398 23400 20179 0 -1 4202496 27921 4741770 0 0 12053 71 161782 5327 20 0 1 0 344199038 77758464 13087 33554432000 4194304 4198148 140737404917248 140737404916176 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23400/statm: 18984 13087 388 1 0 12779 0
[pid=24435] ppid=23400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24435/stat : 24435 (sh) S 23400 23400 20179 0 -1 4202496 369 0 0 0 0 0 0 0 20 0 1 0 344377481 9367552 263 33554432000 4194304 5064252 140737415642720 140737415640976 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24435/statm: 2287 263 223 213 0 72 0
[pid=24436] ppid=24435 vsize=4004 CPUtime=0.05 cores=0,2,4,6
/proc/24436/stat : 24436 (cat) R 24435 23400 20179 0 -1 4202496 211 0 0 0 0 5 0 0 20 0 1 0 344377481 4100096 123 33554432000 4194304 4236627 140736424614144 140736424613240 239237678560 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24436/statm: 1001 123 97 11 0 67 0
[pid=24437] ppid=24435 vsize=97444 CPUtime=7.66 cores=0,2,4,6
/proc/24437/stat : 24437 (clasp-1.0) R 24435 23400 20179 0 -1 4202496 24952 0 0 0 758 8 0 0 20 0 1 0 344377481 99782656 23776 33554432000 134512640 134847168 4287494448 4287490168 6620208 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24437/statm: 24361 23776 249 82 0 23602 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 186532
[startup+1792.22 s]
/proc/loadavg: 2.27 2.22 2.13 3/182 24437
/proc/meminfo: memFree=26796372/32873844 swapFree=7644/7644
[pid=23400] ppid=23398 vsize=75936 CPUtime=1792.46 cores=0,2,4,6
/proc/23400/stat : 23400 (pbclasp) S 23398 23400 20179 0 -1 4202496 28058 4743385 0 0 12059 72 161782 5333 20 0 1 0 344199038 77758464 13089 33554432000 4194304 4198148 140737404917248 140737404916136 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23400/statm: 18984 13089 388 1 0 12779 0
Current children cumulated CPU time (s) 1792.46
Current children cumulated vsize (KiB) 75936
#
############
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -23400
Solver just ended. Dumping a history of the last processes samples
[startup+1793.5 s]
/proc/loadavg: 2.27 2.22 2.13 4/184 24456
/proc/meminfo: memFree=27671100/32873844 swapFree=7644/7644
[pid=23400] ppid=23398 vsize=75936 CPUtime=1792.71 cores=0,2,4,6
/proc/23400/stat : 23400 (pbclasp) S 23398 23400 20179 0 -1 4202496 28089 4744521 0 0 12059 72 161782 5358 20 0 1 0 344199038 77758464 13089 33554432000 4194304 4198148 140737404917248 140737404916176 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23400/statm: 18984 13089 388 1 0 12779 0
[pid=24454] ppid=23400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24454/stat : 24454 (sh) S 23400 23400 20179 0 -1 4202496 373 0 0 0 0 0 0 0 20 0 1 0 344378281 9367552 264 33554432000 4194304 5064252 140734780467056 140734780465312 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24454/statm: 2287 264 223 213 0 72 0
[pid=24455] ppid=24454 vsize=4004 CPUtime=0.01 cores=0,2,4,6
/proc/24455/stat : 24455 (cat) S 24454 23400 20179 0 -1 4202496 212 0 0 0 0 1 0 0 20 0 1 0 344378281 4100096 123 33554432000 4194304 4236627 140735771494976 140735771494072 239237678560 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24455/statm: 1001 123 97 11 0 67 0
[pid=24456] ppid=24454 vsize=24160 CPUtime=1.06 cores=0,2,4,6
/proc/24456/stat : 24456 (clasp-1.0) R 24454 23400 20179 0 -1 4202496 6663 0 0 0 105 1 0 0 20 0 1 0 344378281 24739840 5487 33554432000 134512640 134847168 4289732864 4289728776 134654123 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24456/statm: 6040 5488 251 82 0 5281 0
Current children cumulated CPU time (s) 1793.78
Current children cumulated vsize (KiB) 113248
[startup+1793.9 s]
/proc/loadavg: 2.27 2.22 2.13 4/184 24456
/proc/meminfo: memFree=27671100/32873844 swapFree=7644/7644
[pid=23400] ppid=23398 vsize=75936 CPUtime=1792.71 cores=0,2,4,6
/proc/23400/stat : 23400 (pbclasp) S 23398 23400 20179 0 -1 4202496 28089 4744521 0 0 12059 72 161782 5358 20 0 1 0 344199038 77758464 13089 33554432000 4194304 4198148 140737404917248 140737404916176 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23400/statm: 18984 13089 388 1 0 12779 0
[pid=24454] ppid=23400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24454/stat : 24454 (sh) S 23400 23400 20179 0 -1 4202496 373 0 0 0 0 0 0 0 20 0 1 0 344378281 9367552 264 33554432000 4194304 5064252 140734780467056 140734780465312 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24454/statm: 2287 264 223 213 0 72 0
[pid=24455] ppid=24454 vsize=4004 CPUtime=0.02 cores=0,2,4,6
/proc/24455/stat : 24455 (cat) S 24454 23400 20179 0 -1 4202496 212 0 0 0 0 2 0 0 20 0 1 0 344378281 4100096 123 33554432000 4194304 4236627 140735771494976 140735771494072 239237678560 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24455/statm: 1001 123 97 11 0 67 0
[pid=24456] ppid=24454 vsize=28696 CPUtime=1.46 cores=0,2,4,6
/proc/24456/stat : 24456 (clasp-1.0) R 24454 23400 20179 0 -1 4202496 7795 0 0 0 145 1 0 0 20 0 1 0 344378281 29384704 6618 33554432000 134512640 134847168 4289732864 4289728552 7476272 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24456/statm: 7174 6618 251 82 0 6415 0
Current children cumulated CPU time (s) 1794.19
Current children cumulated vsize (KiB) 117784
[startup+1794.1 s]
/proc/loadavg: 2.25 2.21 2.13 3/184 24456
/proc/meminfo: memFree=27642696/32873844 swapFree=7644/7644
[pid=23400] ppid=23398 vsize=75936 CPUtime=1792.71 cores=0,2,4,6
/proc/23400/stat : 23400 (pbclasp) S 23398 23400 20179 0 -1 4202496 28089 4744521 0 0 12059 72 161782 5358 20 0 1 0 344199038 77758464 13089 33554432000 4194304 4198148 140737404917248 140737404916176 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23400/statm: 18984 13089 388 1 0 12779 0
[pid=24454] ppid=23400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24454/stat : 24454 (sh) S 23400 23400 20179 0 -1 4202496 373 0 0 0 0 0 0 0 20 0 1 0 344378281 9367552 264 33554432000 4194304 5064252 140734780467056 140734780465312 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24454/statm: 2287 264 223 213 0 72 0
[pid=24455] ppid=24454 vsize=4004 CPUtime=0.02 cores=0,2,4,6
/proc/24455/stat : 24455 (cat) S 24454 23400 20179 0 -1 4202496 212 0 0 0 0 2 0 0 20 0 1 0 344378281 4100096 123 33554432000 4194304 4236627 140735771494976 140735771494072 239237678560 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24455/statm: 1001 123 97 11 0 67 0
[pid=24456] ppid=24454 vsize=31076 CPUtime=1.67 cores=0,2,4,6
/proc/24456/stat : 24456 (clasp-1.0) R 24454 23400 20179 0 -1 4202496 8377 0 0 0 165 2 0 0 20 0 1 0 344378281 31821824 7200 33554432000 134512640 134847168 4289732864 4289728584 7476272 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24456/statm: 7769 7200 251 82 0 7010 0
Current children cumulated CPU time (s) 1794.4
Current children cumulated vsize (KiB) 120164
Child ended because it received signal 9 (SIGKILL)
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 7.57983
# lost CPU user time (s): 7.5199
# lost CPU system time (s): 0.0600014
Real time (s): 1794.13
CPU time (s): 1802.04
CPU user time (s): 1747.61
CPU system time (s): 54.4277
CPU usage (%): 100.441
Max. virtual memory (cumulated for all children) (KiB): 249660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1740.09
system time used= 54.3677
maximum resident set size= 158332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4785529
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32718480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3978347
involuntary context switches= 4932
runsolver used 2.77458 second user time and 7.51086 second system time
The end