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-3468790-1307098046/watcher-3468790-1307098046 -o /tmp/evaluation-result-3468790-1307098046/solver-3468790-1307098046 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468790-1307098046.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: 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.18 2.05 2.01 3/473 25178
/proc/meminfo: memFree=20180352/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=13272 CPUtime=0 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 716 0 0 0 0 0 0 0 25 0 1 0 821404243 13590528 651 33554432000 4194304 4933572 140735724766768 18446744073709551615 4598707 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/25178/statm: 3318 653 347 181 0 327 0
[startup+0.064341 s]
/proc/loadavg: 2.18 2.05 2.01 3/473 25178
/proc/meminfo: memFree=20180352/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=13788 CPUtime=0.06 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 895 0 0 0 6 0 0 0 25 0 1 0 821404243 14118912 795 33554432000 4194304 4933572 140735724766768 18446744073709551615 4341611 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/25178/statm: 3447 795 384 181 0 456 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13788
[startup+0.100356 s]
/proc/loadavg: 2.18 2.05 2.01 3/473 25178
/proc/meminfo: memFree=20180352/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=14844 CPUtime=0.09 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 1176 0 0 0 9 0 0 0 25 0 1 0 821404243 15200256 1076 33554432000 4194304 4933572 140735724766768 18446744073709551615 4341874 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/25178/statm: 3711 1076 385 181 0 720 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14844
[startup+0.300374 s]
/proc/loadavg: 2.18 2.05 2.01 3/473 25178
/proc/meminfo: memFree=20180352/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=20656 CPUtime=0.29 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 2640 0 0 0 29 0 0 0 25 0 1 0 821404243 21151744 2540 33554432000 4194304 4933572 140735724766768 18446744073709551615 274473628357 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/25178/statm: 5164 2540 385 181 0 2173 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20656
[startup+0.700294 s]
/proc/loadavg: 2.18 2.05 2.01 3/473 25178
/proc/meminfo: memFree=20180352/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=24092 CPUtime=0.69 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 3497 0 0 0 69 0 0 0 25 0 1 0 821404243 24670208 3397 33554432000 4194304 4933572 140735724766768 18446744073709551615 4637260 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/25178/statm: 6023 3397 385 181 0 3032 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24092
[startup+1.50016 s]
/proc/loadavg: 2.18 2.05 2.01 2/472 25180
/proc/meminfo: memFree=20402092/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=28824 CPUtime=1.49 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 4671 0 0 0 149 0 0 0 25 0 1 0 821404243 29515776 4571 33554432000 4194304 4933572 140735724766768 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/25178/statm: 7206 4571 385 181 0 4215 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28824
[startup+3.10087 s]
/proc/loadavg: 2.09 2.03 2.00 2/472 25180
/proc/meminfo: memFree=20397504/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=33504 CPUtime=3.08 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 5818 0 0 0 308 0 0 0 25 0 1 0 821404243 34308096 5718 33554432000 4194304 4933572 140735724766768 18446744073709551615 4341601 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/25178/statm: 8376 5718 385 181 0 5385 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 33504
[startup+6.30024 s]
/proc/loadavg: 2.09 2.03 2.00 3/474 25208
/proc/meminfo: memFree=20372104/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=37156 CPUtime=6.29 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 6725 0 0 0 628 1 0 0 25 0 1 0 821404243 38047744 6625 33554432000 4194304 4933572 140735724766768 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/25178/statm: 9289 6625 385 181 0 6298 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37156
[startup+12.7001 s]
/proc/loadavg: 2.08 2.03 2.00 3/474 25208
/proc/meminfo: memFree=20357716/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=43796 CPUtime=12.69 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 8365 0 0 0 1268 1 0 0 25 0 1 0 821404243 44847104 8265 33554432000 4194304 4933572 140735724766768 18446744073709551615 4663941 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/25178/statm: 10949 8265 385 181 0 7958 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43796
[startup+25.5009 s]
/proc/loadavg: 2.06 2.03 2.00 3/474 25208
/proc/meminfo: memFree=20344576/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=48380 CPUtime=25.49 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 9520 0 0 0 2548 1 0 0 25 0 1 0 821404243 49541120 9420 33554432000 4194304 4933572 140735724766768 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/25178/statm: 12095 9420 385 181 0 9104 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 48380
[startup+51.1004 s]
/proc/loadavg: 2.04 2.02 2.00 3/474 25209
/proc/meminfo: memFree=20325284/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=58952 CPUtime=51.09 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 12070 0 0 0 5107 2 0 0 25 0 1 0 821404243 60366848 11970 33554432000 4194304 4933572 140735724766768 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/25178/statm: 14738 11970 387 181 0 11747 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 58952
[startup+102.317 s]
/proc/loadavg: 2.07 2.03 2.00 3/474 25210
/proc/meminfo: memFree=20302196/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=69896 CPUtime=102.31 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 14902 0 0 0 10229 2 0 0 25 0 1 0 821404243 71573504 14678 33554432000 4194304 4933572 140735724766768 18446744073709551615 274473628357 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/25178/statm: 17474 14679 387 181 0 14483 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 69896
[startup+162.301 s]
/proc/loadavg: 2.10 2.04 2.00 3/474 25212
/proc/meminfo: memFree=20287020/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=75788 CPUtime=162.29 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 16384 0 0 0 16227 2 0 0 25 0 1 0 821404243 77606912 16160 33554432000 4194304 4933572 140735724766768 18446744073709551615 4342106 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/25178/statm: 18947 16160 387 181 0 15956 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 75788
[startup+222.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/474 25213
/proc/meminfo: memFree=20280144/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=79912 CPUtime=222.29 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 17690 0 0 0 22227 2 0 0 25 0 1 0 821404243 81829888 17173 33554432000 4194304 4933572 140735724766768 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/25178/statm: 19978 17173 387 181 0 16987 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 79912
[startup+282.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/474 25215
/proc/meminfo: memFree=20268688/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=85600 CPUtime=282.3 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 19121 0 0 0 28227 3 0 0 25 0 1 0 821404243 87654400 18604 33554432000 4194304 4933572 140735724766768 18446744073709551615 4319323 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/25178/statm: 21400 18604 387 181 0 18409 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 85600
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 25216
/proc/meminfo: memFree=20263180/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=89448 CPUtime=342.3 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 20163 0 0 0 34227 3 0 0 25 0 1 0 821404243 91594752 19559 33554432000 4194304 4933572 140735724766768 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/25178/statm: 22362 19559 387 181 0 19371 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 89448
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 25218
/proc/meminfo: memFree=20251096/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=95692 CPUtime=402.29 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 21808 0 0 0 40226 3 0 0 25 0 1 0 821404243 97988608 21104 33554432000 4194304 4933572 140735724766768 18446744073709551615 4341568 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/25178/statm: 23923 21104 387 181 0 20932 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 95692
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 25220
/proc/meminfo: memFree=20248076/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=96352 CPUtime=462.3 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 21986 0 0 0 46227 3 0 0 25 0 1 0 821404243 98664448 21282 33554432000 4194304 4933572 140735724766768 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/25178/statm: 24088 21282 387 181 0 21097 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 96352
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 25221
/proc/meminfo: memFree=20245436/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=98392 CPUtime=522.3 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 22481 0 0 0 52227 3 0 0 25 0 1 0 821404243 100753408 21777 33554432000 4194304 4933572 140735724766768 18446744073709551615 4632776 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/25178/statm: 24598 21777 387 181 0 21607 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 98392
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 25223
/proc/meminfo: memFree=20231008/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=106820 CPUtime=582.3 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 24562 0 0 0 58227 3 0 0 25 0 1 0 821404243 109383680 23858 33554432000 4194304 4933572 140735724766768 18446744073709551615 4341896 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/25178/statm: 26705 23858 387 181 0 23714 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 106820
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.06 2.04 2.01 3/474 25238
/proc/meminfo: memFree=20220524/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=110468 CPUtime=822.27 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 26532 0 0 0 82223 4 0 0 25 0 1 0 821404243 113119232 24782 33554432000 4194304 4933572 140735724766768 18446744073709551615 4649818 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25178/statm: 27617 24782 387 181 0 24626 0
Current children cumulated CPU time (s) 822.27
Current children cumulated vsize (KiB) 110468
[startup+882.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/474 25240
/proc/meminfo: memFree=20208092/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=118524 CPUtime=882.27 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 28524 0 0 0 88223 4 0 0 25 0 1 0 821404243 121368576 26774 33554432000 4194304 4933572 140735724766768 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25178/statm: 29631 26774 387 181 0 26640 0
Current children cumulated CPU time (s) 882.27
Current children cumulated vsize (KiB) 118524
[startup+942.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/474 25241
/proc/meminfo: memFree=20204712/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=121428 CPUtime=942.27 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 29280 0 0 0 94223 4 0 0 25 0 1 0 821404243 124342272 27530 33554432000 4194304 4933572 140735724766768 18446744073709551615 4625226 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25178/statm: 30357 27530 387 181 0 27366 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 121428
[startup+1002.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/474 25246
/proc/meminfo: memFree=20204532/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=120596 CPUtime=1002.28 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 29285 0 0 0 100224 4 0 0 25 0 1 0 821404243 123490304 27333 33554432000 4194304 4933572 140735724766768 18446744073709551615 4649320 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25178/statm: 30149 27333 387 181 0 27158 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 120596
[startup+1062.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/474 25248
/proc/meminfo: memFree=20204280/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=121280 CPUtime=1062.28 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 29413 0 0 0 106224 4 0 0 25 0 1 0 821404243 124190720 27461 33554432000 4194304 4933572 140735724766768 18446744073709551615 4342112 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25178/statm: 30320 27461 387 181 0 27329 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 121280
[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/474 25249
/proc/meminfo: memFree=20203744/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=121020 CPUtime=1122.28 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 29456 0 0 0 112224 4 0 0 25 0 1 0 821404243 123924480 27399 33554432000 4194304 4933572 140735724766768 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25178/statm: 30255 27399 387 181 0 27264 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 121020
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 25251
/proc/meminfo: memFree=20203212/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=120544 CPUtime=1182.28 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 29457 0 0 0 118224 4 0 0 25 0 1 0 821404243 123437056 27304 33554432000 4194304 4933572 140735724766768 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25178/statm: 30136 27304 387 181 0 27145 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 120544
[startup+1242.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/474 25252
/proc/meminfo: memFree=20202548/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=120544 CPUtime=1242.28 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 29457 0 0 0 124224 4 0 0 25 0 1 0 821404243 123437056 27304 33554432000 4194304 4933572 140735724766768 18446744073709551615 4649396 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25178/statm: 30136 27304 387 181 0 27145 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 120544
[startup+1302.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/474 25254
/proc/meminfo: memFree=20185636/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=129960 CPUtime=1302.29 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 32173 0 0 0 130225 4 0 0 25 0 1 0 821404243 133079040 29586 33554432000 4194304 4933572 140735724766768 18446744073709551615 4663932 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25178/statm: 32490 29586 387 181 0 29499 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 129960
[startup+1362.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/474 25256
/proc/meminfo: memFree=20185468/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=130752 CPUtime=1362.28 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 32384 0 0 0 136224 4 0 0 25 0 1 0 821404243 133890048 29797 33554432000 4194304 4933572 140735724766768 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25178/statm: 32688 29797 387 181 0 29697 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 130752
[startup+1422.32 s]
/proc/loadavg: 2.04 2.05 2.01 3/474 25257
/proc/meminfo: memFree=20184812/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=130752 CPUtime=1422.3 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 32397 0 0 0 142226 4 0 0 25 0 1 0 821404243 133890048 29810 33554432000 4194304 4933572 140735724766768 18446744073709551615 4330230 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25178/statm: 32688 29810 387 181 0 29697 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 130752
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/474 25259
/proc/meminfo: memFree=20182776/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=132732 CPUtime=1482.28 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 32895 0 0 0 148224 4 0 0 25 0 1 0 821404243 135917568 30308 33554432000 4194304 4933572 140735724766768 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25178/statm: 33183 30308 387 181 0 30192 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 132732
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/474 25260
/proc/meminfo: memFree=20183348/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=132360 CPUtime=1542.28 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 32896 0 0 0 154224 4 0 0 25 0 1 0 821404243 135536640 30219 33554432000 4194304 4933572 140735724766768 18446744073709551615 4664119 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25178/statm: 33090 30219 387 181 0 30099 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 132360
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 25262
/proc/meminfo: memFree=20182676/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=133152 CPUtime=1602.28 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 33070 0 0 0 160224 4 0 0 25 0 1 0 821404243 136347648 30393 33554432000 4194304 4933572 140735724766768 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25178/statm: 33288 30393 387 181 0 30297 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 133152
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 25264
/proc/meminfo: memFree=20181888/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=133968 CPUtime=1662.3 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 33266 0 0 0 166225 5 0 0 25 0 1 0 821404243 137183232 30589 33554432000 4194304 4933572 140735724766768 18446744073709551615 4622128 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25178/statm: 33492 30589 387 181 0 30501 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 133968
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 25265
/proc/meminfo: memFree=20181364/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=134496 CPUtime=1722.3 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 33404 0 0 0 172225 5 0 0 25 0 1 0 821404243 137723904 30727 33554432000 4194304 4933572 140735724766768 18446744073709551615 4329785 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25178/statm: 33624 30727 387 181 0 30633 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 134496
[startup+1782.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/474 25267
/proc/meminfo: memFree=20176000/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=134028 CPUtime=1782.3 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 33416 0 0 0 178225 5 0 0 25 0 1 0 821404243 137244672 30629 33554432000 4194304 4933572 140735724766768 18446744073709551615 4649388 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25178/statm: 33507 30629 387 181 0 30516 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 134028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.09 2.03 2.01 3/474 25267
/proc/meminfo: memFree=20177088/32950928 swapFree=61858088/67111528
[pid=25178] ppid=25176 vsize=134028 CPUtime=1800.01 cores=1,3,5,7
/proc/25178/stat : 25178 (clasp) R 25176 25178 24628 0 -1 4202496 33416 0 0 0 179996 5 0 0 25 0 1 0 821404243 137244672 30629 33554432000 4194304 4933572 140735724766768 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25178/statm: 33507 30629 387 181 0 30516 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 134028
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.03
CPU time (s): 1800.03
CPU user time (s): 1799.97
CPU system time (s): 0.056991
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 134496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.056991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33424
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= 10
involuntary context switches= 15407
runsolver used 8.01578 second user time and 19.827 second system time
The end