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-3468112-1307106717/watcher-3468112-1307106717 -o /tmp/evaluation-result-3468112-1307106717/solver-3468112-1307106717 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468112-1307106717.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.00 2.01 2.00 2/481 8782
/proc/meminfo: memFree=27051472/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=12972 CPUtime=0 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 671 0 0 0 0 0 0 0 25 0 1 0 822274069 13283328 591 33554432000 4194304 4933572 140733256009344 18446744073709551615 4635445 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 3243 591 378 181 0 252 0
[startup+0.105267 s]
/proc/loadavg: 2.00 2.01 2.00 2/481 8782
/proc/meminfo: memFree=27051472/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=16212 CPUtime=0.1 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 1483 0 0 0 10 0 0 0 25 0 1 0 822274069 16601088 1403 33554432000 4194304 4933572 140733256009344 18446744073709551615 4340871 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 4053 1404 385 181 0 1062 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 16212
[startup+0.200246 s]
/proc/loadavg: 2.00 2.01 2.00 2/481 8782
/proc/meminfo: memFree=27051472/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=17260 CPUtime=0.19 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 1741 0 0 0 19 0 0 0 25 0 1 0 822274069 17674240 1661 33554432000 4194304 4933572 140733256009344 18446744073709551615 4319905 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 4315 1661 385 181 0 1324 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 17260
[startup+0.30023 s]
/proc/loadavg: 2.00 2.01 2.00 2/481 8782
/proc/meminfo: memFree=27051472/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=17520 CPUtime=0.29 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 1814 0 0 0 29 0 0 0 25 0 1 0 822274069 17940480 1734 33554432000 4194304 4933572 140733256009344 18446744073709551615 4319736 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 4380 1734 385 181 0 1389 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17520
[startup+0.700154 s]
/proc/loadavg: 2.00 2.01 2.00 2/481 8782
/proc/meminfo: memFree=27051472/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=20560 CPUtime=0.69 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 2560 0 0 0 69 0 0 0 25 0 1 0 822274069 21053440 2480 33554432000 4194304 4933572 140733256009344 18446744073709551615 4632799 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 5140 2480 385 181 0 2149 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20560
[startup+1.501 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 8783
/proc/meminfo: memFree=27041452/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=21480 CPUtime=1.49 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 2807 0 0 0 149 0 0 0 25 0 1 0 822274069 21995520 2727 33554432000 4194304 4933572 140733256009344 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 5370 2727 385 181 0 2379 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21480
[startup+3.10071 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 8783
/proc/meminfo: memFree=27038848/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=22784 CPUtime=3.09 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 3127 0 0 0 309 0 0 0 25 0 1 0 822274069 23330816 3047 33554432000 4194304 4933572 140733256009344 18446744073709551615 4664056 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 5696 3047 385 181 0 2705 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22784
[startup+6.3011 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 8783
/proc/meminfo: memFree=27031284/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=29960 CPUtime=6.29 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 4749 0 0 0 629 0 0 0 25 0 1 0 822274069 30679040 4669 33554432000 4194304 4933572 140733256009344 18446744073709551615 4625232 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 7490 4669 385 181 0 4499 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29960
[startup+12.7009 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 8783
/proc/meminfo: memFree=27030892/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=30740 CPUtime=12.69 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 4989 0 0 0 1269 0 0 0 25 0 1 0 822274069 31477760 4909 33554432000 4194304 4933572 140733256009344 18446744073709551615 4664059 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 7685 4909 385 181 0 4694 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30740
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 8784
/proc/meminfo: memFree=27029892/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=31640 CPUtime=25.49 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 5242 0 0 0 2549 0 0 0 25 0 1 0 822274069 32399360 5153 33554432000 4194304 4933572 140733256009344 18446744073709551615 4363270 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 7910 5153 385 181 0 4919 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 31640
[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 8785
/proc/meminfo: memFree=27028852/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=32524 CPUtime=51.09 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 5473 0 0 0 5109 0 0 0 25 0 1 0 822274069 33304576 5372 33554432000 4194304 4933572 140733256009344 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 8131 5372 385 181 0 5140 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 32524
[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 8786
/proc/meminfo: memFree=27024728/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=33752 CPUtime=102.3 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 5871 0 0 0 10230 0 0 0 25 0 1 0 822274069 34562048 5752 33554432000 4194304 4933572 140733256009344 18446744073709551615 4342120 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 8438 5752 385 181 0 5447 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 33752
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 8787
/proc/meminfo: memFree=27025288/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=34140 CPUtime=162.29 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 5965 0 0 0 16229 0 0 0 25 0 1 0 822274069 34959360 5846 33554432000 4194304 4933572 140733256009344 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 8535 5846 385 181 0 5544 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 34140
[startup+222.318 s]
/proc/loadavg: 2.07 2.03 2.01 3/482 8789
/proc/meminfo: memFree=27025372/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=34572 CPUtime=222.31 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 6096 0 0 0 22231 0 0 0 25 0 1 0 822274069 35401728 5967 33554432000 4194304 4933572 140733256009344 18446744073709551615 4637219 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 8643 5967 385 181 0 5652 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 34572
[startup+282.301 s]
/proc/loadavg: 2.17 2.06 2.02 3/482 8791
/proc/meminfo: memFree=27025560/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=34876 CPUtime=282.3 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 6231 0 0 0 28230 0 0 0 25 0 1 0 822274069 35713024 6047 33554432000 4194304 4933572 140733256009344 18446744073709551615 4341654 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 8719 6047 385 181 0 5728 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 34876
[startup+342.301 s]
/proc/loadavg: 2.11 2.06 2.02 3/482 8792
/proc/meminfo: memFree=27025160/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=35496 CPUtime=342.3 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 6381 0 0 0 34230 0 0 0 25 0 1 0 822274069 36347904 6197 33554432000 4194304 4933572 140733256009344 18446744073709551615 4635465 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 8874 6197 385 181 0 5883 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 35496
[startup+402.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/482 8794
/proc/meminfo: memFree=27024756/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=35852 CPUtime=402.31 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 6515 0 0 0 40230 1 0 0 25 0 1 0 822274069 36712448 6273 33554432000 4194304 4933572 140733256009344 18446744073709551615 4414911 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 8963 6273 385 181 0 5972 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 35852
[startup+462.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/482 8795
/proc/meminfo: memFree=27024472/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=35852 CPUtime=462.31 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 6530 0 0 0 46230 1 0 0 25 0 1 0 822274069 36712448 6288 33554432000 4194304 4933572 140733256009344 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 8963 6288 385 181 0 5972 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 35852
[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/482 8797
/proc/meminfo: memFree=27023572/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=36408 CPUtime=522.31 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 6689 0 0 0 52230 1 0 0 25 0 1 0 822274069 37281792 6409 33554432000 4194304 4933572 140733256009344 18446744073709551615 4632085 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 9102 6409 385 181 0 6111 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 36408
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 8799
/proc/meminfo: memFree=27022912/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=36412 CPUtime=582.31 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 6735 0 0 0 58230 1 0 0 25 0 1 0 822274069 37285888 6432 33554432000 4194304 4933572 140733256009344 18446744073709551615 4341581 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 9103 6432 385 181 0 6112 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 36412
[startup+642.301 s]
################
# More data... #
################
[startup+882.318 s]
/proc/loadavg: 2.03 2.01 2.00 3/482 8835
/proc/meminfo: memFree=26850724/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=37680 CPUtime=882.34 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 7094 0 0 0 88233 1 0 0 25 0 1 0 822274069 38584320 6750 33554432000 4194304 4933572 140733256009344 18446744073709551615 4329879 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 9420 6750 385 181 0 6429 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 37680
[startup+942.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/482 8836
/proc/meminfo: memFree=26845588/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=37712 CPUtime=942.32 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 7146 0 0 0 94231 1 0 0 25 0 1 0 822274069 38617088 6755 33554432000 4194304 4933572 140733256009344 18446744073709551615 4664059 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 9428 6755 385 181 0 6437 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 37712
[startup+1002.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/482 8838
/proc/meminfo: memFree=26843688/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=37840 CPUtime=1002.33 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 7207 0 0 0 100232 1 0 0 25 0 1 0 822274069 38748160 6774 33554432000 4194304 4933572 140733256009344 18446744073709551615 4638225 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 9460 6774 385 181 0 6469 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 37840
[startup+1062.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/482 8839
/proc/meminfo: memFree=26841924/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=37840 CPUtime=1062.33 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 7215 0 0 0 106232 1 0 0 25 0 1 0 822274069 38748160 6782 33554432000 4194304 4933572 140733256009344 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 9460 6782 385 181 0 6469 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 37840
[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/482 8841
/proc/meminfo: memFree=26827988/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=37908 CPUtime=1122.33 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 7226 0 0 0 112232 1 0 0 25 0 1 0 822274069 38817792 6793 33554432000 4194304 4933572 140733256009344 18446744073709551615 4631752 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 9477 6793 385 181 0 6486 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 37908
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 8843
/proc/meminfo: memFree=26823964/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=37908 CPUtime=1182.33 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 7238 0 0 0 118232 1 0 0 25 0 1 0 822274069 38817792 6805 33554432000 4194304 4933572 140733256009344 18446744073709551615 4632828 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 9477 6805 385 181 0 6486 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 37908
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 8844
/proc/meminfo: memFree=26787704/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=37908 CPUtime=1242.34 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 7240 0 0 0 124233 1 0 0 25 0 1 0 822274069 38817792 6807 33554432000 4194304 4933572 140733256009344 18446744073709551615 4637154 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 9477 6807 385 181 0 6486 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 37908
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 8846
/proc/meminfo: memFree=26787544/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=37976 CPUtime=1302.34 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 7270 0 0 0 130233 1 0 0 25 0 1 0 822274069 38887424 6824 33554432000 4194304 4933572 140733256009344 18446744073709551615 4318085 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 9494 6824 385 181 0 6503 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 37976
[startup+1362.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/482 8847
/proc/meminfo: memFree=26778080/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=37984 CPUtime=1362.34 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 7285 0 0 0 136233 1 0 0 25 0 1 0 822274069 38895616 6823 33554432000 4194304 4933572 140733256009344 18446744073709551615 212435714760 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 9496 6823 385 181 0 6505 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 37984
[startup+1422.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/482 8849
/proc/meminfo: memFree=26773332/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=38108 CPUtime=1422.35 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 7319 0 0 0 142234 1 0 0 25 0 1 0 822274069 39022592 6837 33554432000 4194304 4933572 140733256009344 18446744073709551615 4635476 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 9527 6837 385 181 0 6536 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 38108
[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/482 8851
/proc/meminfo: memFree=26771064/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=38032 CPUtime=1482.34 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 7379 0 0 0 148233 1 0 0 25 0 1 0 822274069 38944768 6835 33554432000 4194304 4933572 140733256009344 18446744073709551615 4329753 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 9508 6835 385 181 0 6517 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 38032
[startup+1542.32 s]
/proc/loadavg: 2.10 2.05 2.01 3/482 8852
/proc/meminfo: memFree=26770892/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=38024 CPUtime=1542.36 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 7411 0 0 0 154235 1 0 0 25 0 1 0 822274069 38936576 6836 33554432000 4194304 4933572 140733256009344 18446744073709551615 4363293 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 9506 6836 385 181 0 6515 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 38024
[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/482 8854
/proc/meminfo: memFree=26763164/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=38128 CPUtime=1602.35 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 7481 0 0 0 160234 1 0 0 25 0 1 0 822274069 39043072 6859 33554432000 4194304 4933572 140733256009344 18446744073709551615 4637179 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 9532 6859 385 181 0 6541 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 38128
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 8855
/proc/meminfo: memFree=26750108/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=38368 CPUtime=1662.35 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 7570 0 0 0 166234 1 0 0 25 0 1 0 822274069 39288832 6914 33554432000 4194304 4933572 140733256009344 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 9592 6914 385 181 0 6601 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 38368
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 8857
/proc/meminfo: memFree=26751308/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=38488 CPUtime=1722.35 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 7620 0 0 0 172234 1 0 0 25 0 1 0 822274069 39411712 6944 33554432000 4194304 4933572 140733256009344 18446744073709551615 4340871 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 9622 6944 385 181 0 6631 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 38488
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 8859
/proc/meminfo: memFree=26747292/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=38488 CPUtime=1782.35 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 7652 0 0 0 178234 1 0 0 25 0 1 0 822274069 39411712 6952 33554432000 4194304 4933572 140733256009344 18446744073709551615 4340829 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 9622 6952 385 181 0 6631 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 38488
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 8859
/proc/meminfo: memFree=26746164/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=38548 CPUtime=1800.06 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 7663 0 0 0 180005 1 0 0 25 0 1 0 822274069 39473152 6959 33554432000 4194304 4933572 140733256009344 18446744073709551615 4369475 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 9637 6959 385 181 0 6646 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 38548
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 8859
/proc/meminfo: memFree=26746164/32951124 swapFree=38422276/67111528
[pid=8782] ppid=8780 vsize=38548 CPUtime=1800.06 cores=1,3,5,7
/proc/8782/stat : 8782 (clasp) R 8780 8782 7545 0 -1 4202496 7663 0 0 0 180005 1 0 0 25 0 1 0 822274069 39473152 6959 33554432000 4194304 4933572 140733256009344 18446744073709551615 4369475 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8782/statm: 9637 6959 385 181 0 6646 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 38548
Child status: 10
Real time (s): 1800.02
CPU time (s): 1800.09
CPU user time (s): 1800.07
CPU system time (s): 0.017997
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 38620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.07
system time used= 0.017997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7671
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= 11
involuntary context switches= 2466
runsolver used 8.25174 second user time and 19.593 second system time
The end