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-3735566-1338724679/watcher-3735566-1338724679 -o /tmp/evaluation-result-3735566-1338724679/solver-3735566-1338724679 -C 1800 -W 1900 -M 15500 pbclasp instance-3735566-1338724679.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.01 2.02 2.00 3/179 19064
/proc/meminfo: memFree=28730152/32873844 swapFree=7632/7632
[pid=19064] ppid=19062 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/19064/stat : 19064 (pbclasp) R 19062 19064 22179 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 338593555 26206208 465 33554432000 4194304 4198148 140735151016320 140735151013768 214369275796 0 0 4224 0 0 0 0 17 1 0 0 0 0 0
/proc/19064/statm: 6398 465 345 1 0 193 0
[startup+0.0784061 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 19064
/proc/meminfo: memFree=28730152/32873844 swapFree=7632/7632
[pid=19064] ppid=19062 vsize=26432 CPUtime=0.07 cores=1,3,5,7
/proc/19064/stat : 19064 (pbclasp) R 19062 19064 22179 0 -1 4202496 773 0 0 0 7 0 0 0 20 0 1 0 338593555 27066368 704 33554432000 4194304 4198148 140735151016320 140735151013768 214369320379 0 0 4224 16384 0 0 0 17 1 0 0 0 0 0
/proc/19064/statm: 6608 704 362 1 0 403 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 26432
[startup+0.100263 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 19064
/proc/meminfo: memFree=28730152/32873844 swapFree=7632/7632
[pid=19064] ppid=19062 vsize=26564 CPUtime=0.09 cores=1,3,5,7
/proc/19064/stat : 19064 (pbclasp) R 19062 19064 22179 0 -1 4202496 810 0 0 0 9 0 0 0 20 0 1 0 338593555 27201536 741 33554432000 4194304 4198148 140735151016320 140735151013768 214369275796 0 0 4224 16384 0 0 0 17 1 0 0 0 0 0
/proc/19064/statm: 6641 741 362 1 0 436 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26564
[startup+0.30023 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 19064
/proc/meminfo: memFree=28730152/32873844 swapFree=7632/7632
[pid=19064] ppid=19062 vsize=27012 CPUtime=0.12 cores=1,3,5,7
/proc/19064/stat : 19064 (pbclasp) S 19062 19064 22179 0 -1 4202496 939 0 0 0 12 0 0 0 20 0 1 0 338593555 27660288 852 33554432000 4194304 4198148 140735151016320 140735151015208 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/19064/statm: 6753 852 369 1 0 548 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 27012
[startup+0.700223 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 19064
/proc/meminfo: memFree=28730152/32873844 swapFree=7632/7632
[pid=19064] ppid=19062 vsize=27012 CPUtime=0.12 cores=1,3,5,7
/proc/19064/stat : 19064 (pbclasp) S 19062 19064 22179 0 -1 4202496 939 0 0 0 12 0 0 0 20 0 1 0 338593555 27660288 852 33554432000 4194304 4198148 140735151016320 140735151015208 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/19064/statm: 6753 852 369 1 0 548 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 27012
[startup+1.50023 s]
/proc/loadavg: 2.01 2.02 2.00 4/182 19067
/proc/meminfo: memFree=28684004/32873844 swapFree=7632/7632
[pid=19064] ppid=19062 vsize=27408 CPUtime=1.06 cores=1,3,5,7
/proc/19064/stat : 19064 (pbclasp) S 19062 19064 22179 0 -1 4202496 1204 2118 0 0 13 0 93 0 20 0 1 0 338593555 28065792 960 33554432000 4194304 4198148 140735151016320 140735151015248 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19064/statm: 6852 960 387 1 0 647 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 27408
[startup+3.10019 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 19082
/proc/meminfo: memFree=28623336/32873844 swapFree=7632/7632
[pid=19064] ppid=19062 vsize=27408 CPUtime=2.42 cores=1,3,5,7
/proc/19064/stat : 19064 (pbclasp) S 19062 19064 22179 0 -1 4202496 1478 14593 0 0 13 0 226 3 20 0 1 0 338593555 28065792 964 33554432000 4194304 4198148 140735151016320 140735151015248 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19064/statm: 6852 964 387 1 0 647 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 27408
heavy processes:
[startup+6.3003 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 19122
/proc/meminfo: memFree=28337332/32873844 swapFree=7632/7632
[pid=19064] ppid=19062 vsize=27408 CPUtime=5.21 cores=1,3,5,7
/proc/19064/stat : 19064 (pbclasp) S 19062 19064 22179 0 -1 4202496 2064 45919 0 0 14 1 493 13 20 0 1 0 338593555 28065792 964 33554432000 4194304 4198148 140735151016320 140735151015248 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 16 0 0
/proc/19064/statm: 6852 964 387 1 0 647 0
Current children cumulated CPU time (s) 5.21
Current children cumulated vsize (KiB) 27408
[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 19234
/proc/meminfo: memFree=28252892/32873844 swapFree=7632/7632
[pid=19064] ppid=19062 vsize=27408 CPUtime=11.78 cores=1,3,5,7
/proc/19064/stat : 19064 (pbclasp) S 19062 19064 22179 0 -1 4202496 3699 133647 0 0 17 2 1122 37 20 0 1 0 338593555 28065792 964 33554432000 4194304 4198148 140735151016320 140735151015248 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 16 0 0
/proc/19064/statm: 6852 964 387 1 0 647 0
Current children cumulated CPU time (s) 11.78
Current children cumulated vsize (KiB) 27408
############
# WARNING:
# current cumulated CPU time (17.86 s) is less than in the last sample (18.11 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.249998 s) to the 'lost time'.
[startup+18.9002 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 19370
/proc/meminfo: memFree=28253364/32873844 swapFree=7632/7632
[pid=19064] ppid=19062 vsize=27408 CPUtime=17.86 cores=1,3,5,7
/proc/19064/stat : 19064 (pbclasp) S 19062 19064 22179 0 -1 4202496 5568 233889 0 0 21 4 1695 66 20 0 1 0 338593555 28065792 964 33554432000 4194304 4198148 140735151016320 140735151015248 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/19064/statm: 6852 964 387 1 0 647 0
[pid=19368] ppid=19064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19368/stat : 19368 (sh) S 19064 19064 22179 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 338595420 9367552 263 33554432000 4194304 5064252 140734685174880 140734685173136 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19368/statm: 2287 263 223 213 0 72 0
[pid=19370] ppid=19368 vsize=17892 CPUtime=0.25 cores=1,3,5,7
/proc/19370/stat : 19370 (clasp-1.0) R 19368 19064 22179 0 -1 4202496 4312 0 0 0 24 1 0 0 20 0 1 0 338595420 18321408 3889 33554432000 134512640 134847168 4292761136 4292759904 134617498 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19370/statm: 4473 3889 270 82 0 3714 0
Current children cumulated CPU time (s) 18.11
Current children cumulated vsize (KiB) 54448
[startup+19.007 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 19370
/proc/meminfo: memFree=28253364/32873844 swapFree=7632/7632
[pid=19064] ppid=19062 vsize=27408 CPUtime=17.86 cores=1,3,5,7
/proc/19064/stat : 19064 (pbclasp) R 19062 19064 22179 0 -1 4202496 5568 233889 0 0 21 4 1695 66 20 0 1 0 338593555 28065792 964 33554432000 4194304 4198148 140735151016320 140735151015248 214373036062 0 0 4230 16384 0 0 0 17 3 0 0 16 0 0
/proc/19064/statm: 6852 964 387 1 0 647 0
Current children cumulated CPU time (s) 17.86
Current children cumulated vsize (KiB) 27408
#
############
[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 19474
/proc/meminfo: memFree=28253356/32873844 swapFree=7632/7632
[pid=19064] ppid=19062 vsize=27408 CPUtime=22.92 cores=1,3,5,7
/proc/19064/stat : 19064 (pbclasp) S 19062 19064 22179 0 -1 4202496 7091 315334 0 0 24 5 2171 92 20 0 1 0 338593555 28065792 964 33554432000 4194304 4198148 140735151016320 140735151015248 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/19064/statm: 6852 964 387 1 0 647 0
[pid=19472] ppid=19064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19472/stat : 19472 (sh) S 19064 19064 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338595929 9367552 264 33554432000 4194304 5064252 140736142405264 140736142403520 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19472/statm: 2287 264 223 213 0 72 0
[pid=19474] ppid=19472 vsize=17892 CPUtime=1.75 cores=1,3,5,7
/proc/19474/stat : 19474 (clasp-1.0) R 19472 19064 22179 0 -1 4202496 4312 0 0 0 175 0 0 0 20 0 1 0 338595929 18321408 3889 33554432000 134512640 134847168 4287846464 4287844928 134713849 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19474/statm: 4473 3889 270 82 0 3714 0
Current children cumulated CPU time (s) 24.67
Current children cumulated vsize (KiB) 54448
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 19475
/proc/meminfo: memFree=28252604/32873844 swapFree=7632/7632
[pid=19064] ppid=19062 vsize=27408 CPUtime=22.92 cores=1,3,5,7
/proc/19064/stat : 19064 (pbclasp) S 19062 19064 22179 0 -1 4202496 7091 315334 0 0 24 5 2171 92 20 0 1 0 338593555 28065792 964 33554432000 4194304 4198148 140735151016320 140735151015248 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/19064/statm: 6852 964 387 1 0 647 0
[pid=19472] ppid=19064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19472/stat : 19472 (sh) S 19064 19064 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338595929 9367552 264 33554432000 4194304 5064252 140736142405264 140736142403520 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19472/statm: 2287 264 223 213 0 72 0
[pid=19474] ppid=19472 vsize=18828 CPUtime=27.34 cores=1,3,5,7
/proc/19474/stat : 19474 (clasp-1.0) R 19472 19064 22179 0 -1 4202496 4580 0 0 0 2734 0 0 0 20 0 1 0 338595929 19279872 4157 33554432000 134512640 134847168 4287846464 4287845168 134616608 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19474/statm: 4707 4157 270 82 0 3948 0
Current children cumulated CPU time (s) 50.26
Current children cumulated vsize (KiB) 55384
[startup+102.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/181 19475
/proc/meminfo: memFree=28247176/32873844 swapFree=7632/7632
[pid=19064] ppid=19062 vsize=27408 CPUtime=22.92 cores=1,3,5,7
/proc/19064/stat : 19064 (pbclasp) S 19062 19064 22179 0 -1 4202496 7091 315334 0 0 24 5 2171 92 20 0 1 0 338593555 28065792 964 33554432000 4194304 4198148 140735151016320 140735151015248 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/19064/statm: 6852 964 387 1 0 647 0
[pid=19472] ppid=19064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19472/stat : 19472 (sh) S 19064 19064 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338595929 9367552 264 33554432000 4194304 5064252 140736142405264 140736142403520 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19472/statm: 2287 264 223 213 0 72 0
[pid=19474] ppid=19472 vsize=23904 CPUtime=78.54 cores=1,3,5,7
/proc/19474/stat : 19474 (clasp-1.0) R 19472 19064 22179 0 -1 4202496 5827 0 0 0 7853 1 0 0 20 0 1 0 338595929 24477696 5404 33554432000 134512640 134847168 4287846464 4287845088 134784705 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19474/statm: 5976 5404 270 82 0 5217 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 60460
[startup+162.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/182 19478
/proc/meminfo: memFree=28246960/32873844 swapFree=7632/7632
[pid=19064] ppid=19062 vsize=27408 CPUtime=22.92 cores=1,3,5,7
/proc/19064/stat : 19064 (pbclasp) S 19062 19064 22179 0 -1 4202496 7091 315334 0 0 24 5 2171 92 20 0 1 0 338593555 28065792 964 33554432000 4194304 4198148 140735151016320 140735151015248 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/19064/statm: 6852 964 387 1 0 647 0
[pid=19472] ppid=19064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19472/stat : 19472 (sh) S 19064 19064 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338595929 9367552 264 33554432000 4194304 5064252 140736142405264 140736142403520 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19472/statm: 2287 264 223 213 0 72 0
[pid=19474] ppid=19472 vsize=24472 CPUtime=138.53 cores=1,3,5,7
/proc/19474/stat : 19474 (clasp-1.0) R 19472 19064 22179 0 -1 4202496 5944 0 0 0 13852 1 0 0 20 0 1 0 338595929 25059328 5521 33554432000 134512640 134847168 4287846464 4287845156 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19474/statm: 6118 5521 270 82 0 5359 0
Current children cumulated CPU time (s) 161.45
Current children cumulated vsize (KiB) 61028
[startup+222.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/182 19501
/proc/meminfo: memFree=28242852/32873844 swapFree=7632/7632
[pid=19064] ppid=19062 vsize=27408 CPUtime=22.92 cores=1,3,5,7
/proc/19064/stat : 19064 (pbclasp) S 19062 19064 22179 0 -1 4202496 7091 315334 0 0 24 5 2171 92 20 0 1 0 338593555 28065792 964 33554432000 4194304 4198148 140735151016320 140735151015248 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 16 0 0
################
# More data... #
################
/proc/19523/stat : 19523 (clasp-1.0) R 19520 19064 22179 0 -1 4202496 7782 0 0 0 39966 1 0 0 20 0 1 0 338695810 32923648 7486 33554432000 134512640 134847168 4290892224 4290890908 134715880 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19523/statm: 8038 7486 270 82 0 7279 0
Current children cumulated CPU time (s) 1421.24
Current children cumulated vsize (KiB) 68708
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19643
/proc/meminfo: memFree=28890064/32873844 swapFree=7632/7632
[pid=19064] ppid=19062 vsize=27408 CPUtime=1021.57 cores=1,3,5,7
/proc/19064/stat : 19064 (pbclasp) S 19062 19064 22179 0 -1 4202496 7194 327343 0 0 24 5 102031 97 20 0 1 0 338593555 28065792 964 33554432000 4194304 4198148 140735151016320 140735151015248 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/19064/statm: 6852 964 387 1 0 647 0
[pid=19520] ppid=19064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19520/stat : 19520 (sh) S 19064 19064 22179 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338695810 9367552 264 33554432000 4194304 5064252 140735909831840 140735909830096 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19520/statm: 2287 264 223 213 0 72 0
[pid=19523] ppid=19520 vsize=34868 CPUtime=459.66 cores=1,3,5,7
/proc/19523/stat : 19523 (clasp-1.0) R 19520 19064 22179 0 -1 4202496 8385 0 0 0 45964 2 0 0 20 0 1 0 338695810 35704832 8089 33554432000 134512640 134847168 4290892224 4290890848 134784610 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19523/statm: 8717 8089 270 82 0 7958 0
Current children cumulated CPU time (s) 1481.23
Current children cumulated vsize (KiB) 71424
[startup+1542.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/181 19643
/proc/meminfo: memFree=28886528/32873844 swapFree=7632/7632
[pid=19064] ppid=19062 vsize=27408 CPUtime=1021.57 cores=1,3,5,7
/proc/19064/stat : 19064 (pbclasp) S 19062 19064 22179 0 -1 4202496 7194 327343 0 0 24 5 102031 97 20 0 1 0 338593555 28065792 964 33554432000 4194304 4198148 140735151016320 140735151015248 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/19064/statm: 6852 964 387 1 0 647 0
[pid=19520] ppid=19064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19520/stat : 19520 (sh) S 19064 19064 22179 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338695810 9367552 264 33554432000 4194304 5064252 140735909831840 140735909830096 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19520/statm: 2287 264 223 213 0 72 0
[pid=19523] ppid=19520 vsize=35320 CPUtime=519.65 cores=1,3,5,7
/proc/19523/stat : 19523 (clasp-1.0) R 19520 19064 22179 0 -1 4202496 8494 0 0 0 51963 2 0 0 20 0 1 0 338695810 36167680 8198 33554432000 134512640 134847168 4290892224 4290890848 134784576 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19523/statm: 8830 8198 270 82 0 8071 0
Current children cumulated CPU time (s) 1541.22
Current children cumulated vsize (KiB) 71876
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 19644
/proc/meminfo: memFree=28881064/32873844 swapFree=7632/7632
[pid=19064] ppid=19062 vsize=27408 CPUtime=1021.57 cores=1,3,5,7
/proc/19064/stat : 19064 (pbclasp) S 19062 19064 22179 0 -1 4202496 7194 327343 0 0 24 5 102031 97 20 0 1 0 338593555 28065792 964 33554432000 4194304 4198148 140735151016320 140735151015248 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/19064/statm: 6852 964 387 1 0 647 0
[pid=19520] ppid=19064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19520/stat : 19520 (sh) S 19064 19064 22179 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338695810 9367552 264 33554432000 4194304 5064252 140735909831840 140735909830096 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19520/statm: 2287 264 223 213 0 72 0
[pid=19523] ppid=19520 vsize=36176 CPUtime=579.64 cores=1,3,5,7
/proc/19523/stat : 19523 (clasp-1.0) R 19520 19064 22179 0 -1 4202496 8677 0 0 0 57962 2 0 0 20 0 1 0 338695810 37044224 8381 33554432000 134512640 134847168 4290892224 4290890992 134737597 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19523/statm: 9044 8381 270 82 0 8285 0
Current children cumulated CPU time (s) 1601.21
Current children cumulated vsize (KiB) 72732
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 19644
/proc/meminfo: memFree=28880812/32873844 swapFree=7632/7632
[pid=19064] ppid=19062 vsize=27408 CPUtime=1021.57 cores=1,3,5,7
/proc/19064/stat : 19064 (pbclasp) S 19062 19064 22179 0 -1 4202496 7194 327343 0 0 24 5 102031 97 20 0 1 0 338593555 28065792 964 33554432000 4194304 4198148 140735151016320 140735151015248 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/19064/statm: 6852 964 387 1 0 647 0
[pid=19520] ppid=19064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19520/stat : 19520 (sh) S 19064 19064 22179 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338695810 9367552 264 33554432000 4194304 5064252 140735909831840 140735909830096 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19520/statm: 2287 264 223 213 0 72 0
[pid=19523] ppid=19520 vsize=36176 CPUtime=639.64 cores=1,3,5,7
/proc/19523/stat : 19523 (clasp-1.0) R 19520 19064 22179 0 -1 4202496 8684 0 0 0 63962 2 0 0 20 0 1 0 338695810 37044224 8478 33554432000 134512640 134847168 4290892224 4290890916 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19523/statm: 9044 8478 270 82 0 8285 0
Current children cumulated CPU time (s) 1661.21
Current children cumulated vsize (KiB) 72732
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 19644
/proc/meminfo: memFree=28876468/32873844 swapFree=7632/7632
[pid=19064] ppid=19062 vsize=27408 CPUtime=1021.57 cores=1,3,5,7
/proc/19064/stat : 19064 (pbclasp) S 19062 19064 22179 0 -1 4202496 7194 327343 0 0 24 5 102031 97 20 0 1 0 338593555 28065792 964 33554432000 4194304 4198148 140735151016320 140735151015248 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/19064/statm: 6852 964 387 1 0 647 0
[pid=19520] ppid=19064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19520/stat : 19520 (sh) S 19064 19064 22179 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338695810 9367552 264 33554432000 4194304 5064252 140735909831840 140735909830096 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19520/statm: 2287 264 223 213 0 72 0
[pid=19523] ppid=19520 vsize=36176 CPUtime=699.63 cores=1,3,5,7
/proc/19523/stat : 19523 (clasp-1.0) R 19520 19064 22179 0 -1 4202496 8684 0 0 0 69961 2 0 0 20 0 1 0 338695810 37044224 8478 33554432000 134512640 134847168 4290892224 4290890964 134737633 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19523/statm: 9044 8478 270 82 0 8285 0
Current children cumulated CPU time (s) 1721.2
Current children cumulated vsize (KiB) 72732
[startup+1782.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19644
/proc/meminfo: memFree=28876468/32873844 swapFree=7632/7632
[pid=19064] ppid=19062 vsize=27408 CPUtime=1021.57 cores=1,3,5,7
/proc/19064/stat : 19064 (pbclasp) S 19062 19064 22179 0 -1 4202496 7194 327343 0 0 24 5 102031 97 20 0 1 0 338593555 28065792 964 33554432000 4194304 4198148 140735151016320 140735151015248 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/19064/statm: 6852 964 387 1 0 647 0
[pid=19520] ppid=19064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19520/stat : 19520 (sh) S 19064 19064 22179 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338695810 9367552 264 33554432000 4194304 5064252 140735909831840 140735909830096 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19520/statm: 2287 264 223 213 0 72 0
[pid=19523] ppid=19520 vsize=36176 CPUtime=759.62 cores=1,3,5,7
/proc/19523/stat : 19523 (clasp-1.0) R 19520 19064 22179 0 -1 4202496 8684 0 0 0 75960 2 0 0 20 0 1 0 338695810 37044224 8478 33554432000 134512640 134847168 4290892224 4290890916 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19523/statm: 9044 8478 270 82 0 8285 0
Current children cumulated CPU time (s) 1781.19
Current children cumulated vsize (KiB) 72732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.9 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 19644
/proc/meminfo: memFree=28876468/32873844 swapFree=7632/7632
[pid=19064] ppid=19062 vsize=27408 CPUtime=1021.57 cores=1,3,5,7
/proc/19064/stat : 19064 (pbclasp) S 19062 19064 22179 0 -1 4202496 7194 327343 0 0 24 5 102031 97 20 0 1 0 338593555 28065792 964 33554432000 4194304 4198148 140735151016320 140735151015248 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/19064/statm: 6852 964 387 1 0 647 0
[pid=19520] ppid=19064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19520/stat : 19520 (sh) S 19064 19064 22179 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338695810 9367552 264 33554432000 4194304 5064252 140735909831840 140735909830096 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19520/statm: 2287 264 223 213 0 72 0
[pid=19523] ppid=19520 vsize=36176 CPUtime=778.23 cores=1,3,5,7
/proc/19523/stat : 19523 (clasp-1.0) R 19520 19064 22179 0 -1 4202496 8684 0 0 0 77821 2 0 0 20 0 1 0 338695810 37044224 8478 33554432000 134512640 134847168 4290892224 4290890908 134789696 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19523/statm: 9044 8478 270 82 0 8285 0
Current children cumulated CPU time (s) 1799.8
Current children cumulated vsize (KiB) 72732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -19064
Solver just ended. Dumping a history of the last processes samples
[startup+1801.7 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 19644
/proc/meminfo: memFree=28876468/32873844 swapFree=7632/7632
[pid=19064] ppid=19062 vsize=27408 CPUtime=1799.83 cores=1,3,5,7
/proc/19064/stat : 19064 (pbclasp) S 19062 19064 22179 0 -1 4202496 7359 338800 0 0 24 5 179853 101 20 0 1 0 338593555 28065792 964 33554432000 4194304 4198148 140735151016320 140735151015248 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 16 0 0
/proc/19064/statm: 6852 964 387 1 0 647 0
Current children cumulated CPU time (s) 1799.83
Current children cumulated vsize (KiB) 27408
[startup+1802.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 19663
/proc/meminfo: memFree=28926188/32873844 swapFree=7632/7632
[pid=19064] ppid=19062 vsize=27408 CPUtime=1799.83 cores=1,3,5,7
/proc/19064/stat : 19064 (pbclasp) S 19062 19064 22179 0 -1 4202496 7359 338800 0 0 24 5 179853 101 20 0 1 0 338593555 28065792 964 33554432000 4194304 4198148 140735151016320 140735151015248 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 16 0 0
/proc/19064/statm: 6852 964 387 1 0 647 0
[pid=19654] ppid=19064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19654/stat : 19654 (sh) S 19064 19064 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338773649 9367552 263 33554432000 4194304 5064252 140736011066592 140736011064848 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19654/statm: 2287 263 223 213 0 72 0
[pid=19657] ppid=19654 vsize=17892 CPUtime=1.55 cores=1,3,5,7
/proc/19657/stat : 19657 (clasp-1.0) R 19654 19064 22179 0 -1 4202496 4313 0 0 0 155 0 0 0 20 0 1 0 338773649 18321408 3890 33554432000 134512640 134847168 4293439344 4293438080 134741032 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 4473 3890 270 82 0 3714 0
Current children cumulated CPU time (s) 1801.38
Current children cumulated vsize (KiB) 54448
[startup+1802.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 19663
/proc/meminfo: memFree=28926188/32873844 swapFree=7632/7632
[pid=19064] ppid=19062 vsize=27408 CPUtime=1799.83 cores=1,3,5,7
/proc/19064/stat : 19064 (pbclasp) S 19062 19064 22179 0 -1 4202496 7359 338800 0 0 24 5 179853 101 20 0 1 0 338593555 28065792 964 33554432000 4194304 4198148 140735151016320 140735151015248 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 16 0 0
/proc/19064/statm: 6852 964 387 1 0 647 0
[pid=19654] ppid=19064 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19654/stat : 19654 (sh) S 19064 19064 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338773649 9367552 263 33554432000 4194304 5064252 140736011066592 140736011064848 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19654/statm: 2287 263 223 213 0 72 0
[pid=19657] ppid=19654 vsize=17892 CPUtime=1.95 cores=1,3,5,7
/proc/19657/stat : 19657 (clasp-1.0) R 19654 19064 22179 0 -1 4202496 4313 0 0 0 195 0 0 0 20 0 1 0 338773649 18321408 3890 33554432000 134512640 134847168 4293439344 4293438112 134617488 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 4473 3890 270 82 0 3714 0
Current children cumulated CPU time (s) 1801.78
Current children cumulated vsize (KiB) 54448
Child status: 0
# 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): 0.249998
# lost CPU user time (s): 0.24
# lost CPU system time (s): 0.00999999
Real time (s): 1802.93
CPU time (s): 1802.1
CPU user time (s): 1801
CPU system time (s): 1.09583
CPU usage (%): 99.9538
Max. virtual memory (cumulated for all children) (KiB): 78336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.76
system time used= 1.08583
maximum resident set size= 39348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 351534
page faults= 0
swaps= 0
block input operations= 0
block output operations= 116048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14181
involuntary context switches= 2736
runsolver used 6.94194 second user time and 17.1454 second system time
The end