runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3468891-1307118775/watcher-3468891-1307118775 -o /tmp/evaluation-result-3468891-1307118775/solver-3468891-1307118775 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468891-1307118775.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
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: 1.96 1.99 1.99 2/498 16896
/proc/meminfo: memFree=30410368/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=18344 CPUtime=0 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 2166 0 0 0 0 0 0 0 25 0 1 0 823478409 18784256 1880 33554432000 4194304 4933572 140734884600896 18446744073709551615 270613110528 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 4586 1880 331 181 0 1595 0
[startup+0.034477 s]
/proc/loadavg: 1.96 1.99 1.99 2/498 16896
/proc/meminfo: memFree=30410368/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=20148 CPUtime=0.02 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 2766 0 0 0 2 0 0 0 25 0 1 0 823478409 20631552 2309 33554432000 4194304 4933572 140734884600896 18446744073709551615 270612771525 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 5037 2310 333 181 0 2046 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 20148
[startup+0.100493 s]
/proc/loadavg: 1.96 1.99 1.99 2/498 16896
/proc/meminfo: memFree=30410368/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=23952 CPUtime=0.09 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 4569 0 0 0 9 0 0 0 25 0 1 0 823478409 24526848 3271 33554432000 4194304 4933572 140734884600896 18446744073709551615 4637443 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 5988 3271 368 181 0 2997 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23952
[startup+0.300456 s]
/proc/loadavg: 1.96 1.99 1.99 2/498 16896
/proc/meminfo: memFree=30410368/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=23952 CPUtime=0.29 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 4577 0 0 0 29 0 0 0 25 0 1 0 823478409 24526848 3279 33554432000 4194304 4933572 140734884600896 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 5988 3279 375 181 0 2997 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23952
[startup+0.700386 s]
/proc/loadavg: 1.96 1.99 1.99 2/498 16896
/proc/meminfo: memFree=30410368/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=23952 CPUtime=0.69 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 4577 0 0 0 69 0 0 0 25 0 1 0 823478409 24526848 3279 33554432000 4194304 4933572 140734884600896 18446744073709551615 4637154 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 5988 3279 375 181 0 2997 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23952
[startup+1.50024 s]
/proc/loadavg: 1.96 1.99 1.99 3/499 16897
/proc/meminfo: memFree=30396976/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=23952 CPUtime=1.49 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 4577 0 0 0 149 0 0 0 25 0 1 0 823478409 24526848 3279 33554432000 4194304 4933572 140734884600896 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 5988 3279 375 181 0 2997 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23952
[startup+3.10095 s]
/proc/loadavg: 1.96 1.99 1.99 3/499 16897
/proc/meminfo: memFree=30395972/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=25008 CPUtime=3.09 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 4870 0 0 0 309 0 0 0 25 0 1 0 823478409 25608192 3572 33554432000 4194304 4933572 140734884600896 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 6252 3572 375 181 0 3261 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25008
[startup+6.30041 s]
/proc/loadavg: 1.97 1.99 1.99 3/499 16897
/proc/meminfo: memFree=30392976/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=26876 CPUtime=6.29 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 5326 0 0 0 628 1 0 0 25 0 1 0 823478409 27521024 4028 33554432000 4194304 4933572 140734884600896 18446744073709551615 4648405 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 6719 4028 375 181 0 3728 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26876
[startup+12.7003 s]
/proc/loadavg: 1.97 1.99 1.99 3/499 16897
/proc/meminfo: memFree=30388592/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=30340 CPUtime=12.7 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 6196 0 0 0 1268 2 0 0 25 0 1 0 823478409 31068160 4898 33554432000 4194304 4933572 140734884600896 18446744073709551615 4648965 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 7585 4898 377 181 0 4594 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 30340
[startup+25.501 s]
/proc/loadavg: 1.97 1.99 1.99 3/499 16897
/proc/meminfo: memFree=30385612/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=33192 CPUtime=25.5 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 6890 0 0 0 2548 2 0 0 25 0 1 0 823478409 33988608 5592 33554432000 4194304 4933572 140734884600896 18446744073709551615 4337300 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 8298 5592 377 181 0 5307 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 33192
[startup+51.1005 s]
/proc/loadavg: 1.98 1.99 1.99 3/499 16898
/proc/meminfo: memFree=30377260/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=40880 CPUtime=51.09 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 8803 0 0 0 5107 2 0 0 25 0 1 0 823478409 41861120 7505 33554432000 4194304 4933572 140734884600896 18446744073709551615 4718958 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 10220 7505 377 181 0 7229 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 40880
[startup+102.318 s]
/proc/loadavg: 1.99 1.99 1.99 3/499 16899
/proc/meminfo: memFree=30375260/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=42512 CPUtime=102.31 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 9203 0 0 0 10229 2 0 0 25 0 1 0 823478409 43532288 7905 33554432000 4194304 4933572 140734884600896 18446744073709551615 4632115 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 10628 7905 377 181 0 7637 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 42512
[startup+162.301 s]
/proc/loadavg: 2.15 2.02 2.00 3/499 16901
/proc/meminfo: memFree=30370760/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=46088 CPUtime=162.3 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 10064 0 0 0 16228 2 0 0 25 0 1 0 823478409 47194112 8766 33554432000 4194304 4933572 140734884600896 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 11522 8766 377 181 0 8531 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 46088
[startup+222.301 s]
/proc/loadavg: 2.27 2.08 2.02 3/499 16903
/proc/meminfo: memFree=30366376/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=50388 CPUtime=222.3 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 11146 0 0 0 22228 2 0 0 25 0 1 0 823478409 51597312 9848 33554432000 4194304 4933572 140734884600896 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 12597 9848 377 181 0 9606 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 50388
[startup+282.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/499 16904
/proc/meminfo: memFree=30352552/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=56760 CPUtime=282.29 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 12753 0 0 0 28227 2 0 0 25 0 1 0 823478409 58122240 11455 33554432000 4194304 4933572 140734884600896 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 14190 11455 377 181 0 11199 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 56760
[startup+342.301 s]
/proc/loadavg: 2.03 2.05 2.00 3/499 16906
/proc/meminfo: memFree=30349288/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=58072 CPUtime=342.29 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 13063 0 0 0 34227 2 0 0 25 0 1 0 823478409 59465728 11765 33554432000 4194304 4933572 140734884600896 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 14518 11765 377 181 0 11527 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 58072
[startup+402.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/499 16907
/proc/meminfo: memFree=30340436/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=64968 CPUtime=402.3 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 14795 0 0 0 40227 3 0 0 25 0 1 0 823478409 66527232 13497 33554432000 4194304 4933572 140734884600896 18446744073709551615 4632099 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 16242 13497 377 181 0 13251 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 64968
[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 16909
/proc/meminfo: memFree=30338500/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=66432 CPUtime=462.3 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 15157 0 0 0 46227 3 0 0 25 0 1 0 823478409 68026368 13859 33554432000 4194304 4933572 140734884600896 18446744073709551615 4632203 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 16608 13859 377 181 0 13617 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 66432
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 16911
/proc/meminfo: memFree=30337836/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=67616 CPUtime=522.31 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 15431 0 0 0 52228 3 0 0 25 0 1 0 823478409 69238784 14133 33554432000 4194304 4933572 140734884600896 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 16904 14133 377 181 0 13913 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 67616
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 16912
/proc/meminfo: memFree=30332944/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=71932 CPUtime=582.3 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 16502 0 0 0 58227 3 0 0 25 0 1 0 823478409 73658368 15204 33554432000 4194304 4933572 140734884600896 18446744073709551615 4718634 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 17983 15204 377 181 0 14992 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 71932
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.14 2.07 2.02 3/499 16919
/proc/meminfo: memFree=30318528/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=86816 CPUtime=822.31 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 20156 0 0 0 82227 4 0 0 25 0 1 0 823478409 88899584 18858 33554432000 4194304 4933572 140734884600896 18446744073709551615 4625212 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 21704 18858 377 181 0 18713 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 86816
[startup+882.301 s]
/proc/loadavg: 2.05 2.06 2.02 3/499 16920
/proc/meminfo: memFree=30311788/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=87296 CPUtime=882.31 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 20247 0 0 0 88227 4 0 0 25 0 1 0 823478409 89391104 18949 33554432000 4194304 4933572 140734884600896 18446744073709551615 4711285 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 21824 18949 377 181 0 18833 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 87296
[startup+942.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/499 16922
/proc/meminfo: memFree=30304424/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=93024 CPUtime=942.31 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 21690 0 0 0 94227 4 0 0 25 0 1 0 823478409 95256576 20392 33554432000 4194304 4933572 140734884600896 18446744073709551615 4631919 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 23256 20392 377 181 0 20265 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 93024
[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 16923
/proc/meminfo: memFree=30300292/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=93024 CPUtime=1002.32 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 21690 0 0 0 100228 4 0 0 25 0 1 0 823478409 95256576 20392 33554432000 4194304 4933572 140734884600896 18446744073709551615 4319397 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 23256 20392 377 181 0 20265 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 93024
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 16925
/proc/meminfo: memFree=30296624/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=93024 CPUtime=1062.32 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 21690 0 0 0 106228 4 0 0 25 0 1 0 823478409 95256576 20392 33554432000 4194304 4933572 140734884600896 18446744073709551615 4319463 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 23256 20392 377 181 0 20265 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 93024
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 16927
/proc/meminfo: memFree=30294956/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=93024 CPUtime=1122.32 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 21690 0 0 0 112228 4 0 0 25 0 1 0 823478409 95256576 20392 33554432000 4194304 4933572 140734884600896 18446744073709551615 4648346 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 23256 20392 377 181 0 20265 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 93024
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 16928
/proc/meminfo: memFree=30294660/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=93988 CPUtime=1182.32 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 21900 0 0 0 118228 4 0 0 25 0 1 0 823478409 96243712 20602 33554432000 4194304 4933572 140734884600896 18446744073709551615 4648824 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 23497 20602 377 181 0 20506 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 93988
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 16930
/proc/meminfo: memFree=30294252/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=94692 CPUtime=1242.32 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 22062 0 0 0 124228 4 0 0 25 0 1 0 823478409 96964608 20764 33554432000 4194304 4933572 140734884600896 18446744073709551615 4648693 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 23673 20764 377 181 0 20682 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 94692
[startup+1302.3 s]
/proc/loadavg: 2.22 2.06 2.02 3/499 16931
/proc/meminfo: memFree=30291000/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=95000 CPUtime=1302.33 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 22116 0 0 0 130229 4 0 0 25 0 1 0 823478409 97280000 20818 33554432000 4194304 4933572 140734884600896 18446744073709551615 4378712 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 23750 20818 377 181 0 20759 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 95000
[startup+1362.3 s]
/proc/loadavg: 2.20 2.08 2.02 3/499 16933
/proc/meminfo: memFree=30290328/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=95808 CPUtime=1362.32 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 22302 0 0 0 136228 4 0 0 25 0 1 0 823478409 98107392 21004 33554432000 4194304 4933572 140734884600896 18446744073709551615 4637920 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 23952 21004 377 181 0 20961 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 95808
[startup+1422.32 s]
/proc/loadavg: 2.06 2.06 2.02 3/499 16935
/proc/meminfo: memFree=30288700/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=97572 CPUtime=1422.35 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 22741 0 0 0 142230 5 0 0 25 0 1 0 823478409 99913728 21443 33554432000 4194304 4933572 140734884600896 18446744073709551615 4719115 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 24393 21443 377 181 0 21402 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 97572
[startup+1482.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/499 16936
/proc/meminfo: memFree=30286788/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=99508 CPUtime=1482.33 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 23217 0 0 0 148228 5 0 0 25 0 1 0 823478409 101896192 21919 33554432000 4194304 4933572 140734884600896 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 24877 21919 377 181 0 21886 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 99508
[startup+1542.3 s]
/proc/loadavg: 2.01 2.04 2.01 4/499 16938
/proc/meminfo: memFree=30285516/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=100224 CPUtime=1542.33 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 23347 0 0 0 154228 5 0 0 25 0 1 0 823478409 102629376 22049 33554432000 4194304 4933572 140734884600896 18446744073709551615 4649040 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 25056 22049 377 181 0 22065 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 100224
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 16939
/proc/meminfo: memFree=30283100/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=102404 CPUtime=1602.33 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 23897 0 0 0 160228 5 0 0 25 0 1 0 823478409 104861696 22599 33554432000 4194304 4933572 140734884600896 18446744073709551615 4718544 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 25601 22599 377 181 0 22610 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 102404
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 16969
/proc/meminfo: memFree=30310392/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=102720 CPUtime=1662.33 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 23963 0 0 0 166228 5 0 0 25 0 1 0 823478409 105185280 22665 33554432000 4194304 4933572 140734884600896 18446744073709551615 4340890 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 25680 22665 377 181 0 22689 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 102720
[startup+1722.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/499 17088
/proc/meminfo: memFree=30310104/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=103700 CPUtime=1722.33 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 24200 0 0 0 172227 6 0 0 25 0 1 0 823478409 106188800 22902 33554432000 4194304 4933572 140734884600896 18446744073709551615 4649250 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 25925 22902 377 181 0 22934 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 103700
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/499 17089
/proc/meminfo: memFree=30298400/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=105880 CPUtime=1782.33 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 24704 0 0 0 178227 6 0 0 25 0 1 0 823478409 108421120 23406 33554432000 4194304 4933572 140734884600896 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 26470 23406 377 181 0 23479 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 105880
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 17090
/proc/meminfo: memFree=30299992/32951124 swapFree=53876548/67111528
[pid=16896] ppid=16894 vsize=105880 CPUtime=1800.04 cores=0,2,4,6
/proc/16896/stat : 16896 (clasp) R 16894 16896 12330 0 -1 4202496 24709 0 0 0 179998 6 0 0 25 0 1 0 823478409 108421120 23411 33554432000 4194304 4933572 140734884600896 18446744073709551615 4637209 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16896/statm: 26470 23411 377 181 0 23479 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 105880
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.06
CPU user time (s): 1799.99
CPU system time (s): 0.073988
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 105880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.073988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24722
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9
involuntary context switches= 5511
runsolver used 9.65853 second user time and 19.2611 second system time
The end