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-3478756-1307438586/watcher-3478756-1307438586 -o /tmp/evaluation-result-3478756-1307438586/solver-3478756-1307438586 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3478756-1307438586.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: 2.31 2.11 1.75 2/575 22999
/proc/meminfo: memFree=22490412/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=87840 CPUtime=0 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 3806 0 0 0 0 0 0 0 25 0 1 0 855457894 89948160 3746 33554432000 4194304 4933572 140735668387584 18446744073709551615 4670668 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22999/statm: 21960 3754 318 181 0 18969 0
[startup+0.0546441 s]
/proc/loadavg: 2.31 2.11 1.75 2/575 22999
/proc/meminfo: memFree=22490412/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=87840 CPUtime=0.04 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 19076 0 0 0 2 2 0 0 25 0 1 0 855457894 89948160 19016 33554432000 4194304 4933572 140735668387584 18446744073709551615 4670668 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22999/statm: 21960 19032 318 181 0 18969 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 87840
[startup+0.10063 s]
/proc/loadavg: 2.31 2.11 1.75 2/575 22999
/proc/meminfo: memFree=22490412/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=130264 CPUtime=0.09 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 34039 0 0 0 5 4 0 0 25 0 1 0 855457894 133390336 29296 33554432000 4194304 4933572 140735668387584 18446744073709551615 212687373434 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22999/statm: 32566 29296 333 181 0 29575 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 130264
[startup+0.300595 s]
/proc/loadavg: 2.31 2.11 1.75 2/575 22999
/proc/meminfo: memFree=22490412/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=150724 CPUtime=0.29 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 40173 0 0 0 24 5 0 0 25 0 1 0 855457894 154341376 34280 33554432000 4194304 4933572 140735668387584 18446744073709551615 212687336133 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22999/statm: 37681 34281 333 181 0 34690 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 150724
[startup+0.70052 s]
/proc/loadavg: 2.31 2.11 1.75 2/575 22999
/proc/meminfo: memFree=22490412/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=190420 CPUtime=0.69 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 52377 0 0 0 62 7 0 0 25 0 1 0 855457894 194990080 43596 33554432000 4194304 4933572 140735668387584 18446744073709551615 212687701098 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22999/statm: 47638 43597 333 181 0 44647 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 190420
[startup+1.50038 s]
/proc/loadavg: 2.31 2.11 1.75 3/576 23000
/proc/meminfo: memFree=22293892/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=268800 CPUtime=1.48 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 76177 0 0 0 136 12 0 0 25 0 1 0 855457894 275251200 62269 33554432000 4194304 4933572 140735668387584 18446744073709551615 212687336481 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22999/statm: 67200 62270 333 181 0 64209 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 268800
[startup+3.10112 s]
/proc/loadavg: 2.31 2.11 1.75 3/576 23000
/proc/meminfo: memFree=22188836/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=412412 CPUtime=3.09 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 117661 0 0 0 287 22 0 0 25 0 1 0 855457894 422309888 99139 33554432000 4194304 4933572 140735668387584 18446744073709551615 212687675136 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22999/statm: 103103 99140 333 181 0 100112 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 412412
[startup+6.30055 s]
/proc/loadavg: 2.28 2.11 1.75 3/576 23000
/proc/meminfo: memFree=21898576/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=703180 CPUtime=6.28 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 205661 0 0 0 591 37 0 0 25 0 1 0 855457894 720056320 169837 33554432000 4194304 4933572 140735668387584 18446744073709551615 212687675136 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22999/statm: 175795 169838 333 181 0 172804 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 703180
[startup+12.7004 s]
/proc/loadavg: 2.26 2.11 1.75 3/576 23000
/proc/meminfo: memFree=21305872/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=1336000 CPUtime=12.68 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 392656 0 0 0 1199 69 0 0 25 0 1 0 855457894 1368064000 317903 33554432000 4194304 4933572 140735668387584 18446744073709551615 212687324260 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22999/statm: 334000 317903 343 181 0 331009 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1336000
[startup+25.501 s]
/proc/loadavg: 2.20 2.10 1.76 3/576 23001
/proc/meminfo: memFree=21080796/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=1458360 CPUtime=25.49 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 474201 0 0 0 2467 82 0 0 25 0 1 0 855457894 1493360640 353976 33554432000 4194304 4933572 140735668387584 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22999/statm: 364590 353976 369 181 0 361599 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1458360
[startup+51.1003 s]
/proc/loadavg: 2.13 2.09 1.76 3/576 23001
/proc/meminfo: memFree=21078520/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=1461280 CPUtime=51.08 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 474813 0 0 0 5026 82 0 0 25 0 1 0 855457894 1496350720 354588 33554432000 4194304 4933572 140735668387584 18446744073709551615 4648288 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22999/statm: 365320 354588 369 181 0 362329 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1461280
[startup+102.322 s]
/proc/loadavg: 2.14 2.10 1.78 3/576 23003
/proc/meminfo: memFree=21075164/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=1461280 CPUtime=102.3 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 474815 0 0 0 10148 82 0 0 25 0 1 0 855457894 1496350720 354590 33554432000 4194304 4933572 140735668387584 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22999/statm: 365320 354590 371 181 0 362329 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1461280
[startup+162.301 s]
/proc/loadavg: 2.09 2.10 1.80 3/576 23004
/proc/meminfo: memFree=21069316/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=1461872 CPUtime=162.28 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 474965 0 0 0 16146 82 0 0 25 0 1 0 855457894 1496956928 354740 33554432000 4194304 4933572 140735668387584 18446744073709551615 4648939 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22999/statm: 365468 354740 371 181 0 362477 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 1461872
[startup+222.301 s]
/proc/loadavg: 2.10 2.11 1.82 3/576 23006
/proc/meminfo: memFree=21062500/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=1466624 CPUtime=222.29 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 476013 0 0 0 22146 83 0 0 25 0 1 0 855457894 1501822976 355788 33554432000 4194304 4933572 140735668387584 18446744073709551615 4648648 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22999/statm: 366656 355788 371 181 0 363665 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1466624
[startup+282.301 s]
/proc/loadavg: 2.07 2.10 1.83 3/576 23008
/proc/meminfo: memFree=21059364/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=1467324 CPUtime=282.29 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 476163 0 0 0 28146 83 0 0 25 0 1 0 855457894 1502539776 355938 33554432000 4194304 4933572 140735668387584 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22999/statm: 366831 355938 371 181 0 363840 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1467324
[startup+342.301 s]
/proc/loadavg: 2.02 2.08 1.84 3/576 23009
/proc/meminfo: memFree=21056352/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=1468084 CPUtime=342.28 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 476353 0 0 0 34145 83 0 0 25 0 1 0 855457894 1503318016 356128 33554432000 4194304 4933572 140735668387584 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22999/statm: 367021 356128 371 181 0 364030 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 1468084
[startup+402.301 s]
/proc/loadavg: 2.01 2.06 1.84 3/576 23011
/proc/meminfo: memFree=21055944/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=1469272 CPUtime=402.28 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 476612 0 0 0 40145 83 0 0 25 0 1 0 855457894 1504534528 356387 33554432000 4194304 4933572 140735668387584 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22999/statm: 367318 356387 371 181 0 364327 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 1469272
[startup+462.3 s]
/proc/loadavg: 2.00 2.05 1.85 3/576 23012
/proc/meminfo: memFree=21053428/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=1470568 CPUtime=462.28 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 476905 0 0 0 46145 83 0 0 25 0 1 0 855457894 1505861632 356680 33554432000 4194304 4933572 140735668387584 18446744073709551615 4648693 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22999/statm: 367642 356680 371 181 0 364651 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 1470568
[startup+522.3 s]
/proc/loadavg: 2.00 2.04 1.86 3/576 23014
/proc/meminfo: memFree=21050784/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=1471408 CPUtime=522.28 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 477095 0 0 0 52145 83 0 0 25 0 1 0 855457894 1506721792 356870 33554432000 4194304 4933572 140735668387584 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22999/statm: 367852 356870 371 181 0 364861 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 1471408
[startup+582.3 s]
/proc/loadavg: 2.00 2.03 1.86 3/576 23016
/proc/meminfo: memFree=21049260/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=1472624 CPUtime=582.28 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 477344 0 0 0 58145 83 0 0 25 0 1 0 855457894 1507966976 357119 33554432000 4194304 4933572 140735668387584 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22999/statm: 368156 357119 371 181 0 365165 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 1472624
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.09 2.07 1.91 3/576 23022
/proc/meminfo: memFree=21041560/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=1477132 CPUtime=822.28 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 478387 0 0 0 82144 84 0 0 25 0 1 0 855457894 1512583168 358162 33554432000 4194304 4933572 140735668387584 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22999/statm: 369283 358162 371 181 0 366292 0
Current children cumulated CPU time (s) 822.28
Current children cumulated vsize (KiB) 1477132
[startup+882.301 s]
/proc/loadavg: 2.03 2.06 1.91 3/576 23024
/proc/meminfo: memFree=21040032/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=1478136 CPUtime=882.27 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 478608 0 0 0 88143 84 0 0 25 0 1 0 855457894 1513611264 358383 33554432000 4194304 4933572 140735668387584 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/22999/statm: 369534 358383 371 181 0 366543 0
Current children cumulated CPU time (s) 882.27
Current children cumulated vsize (KiB) 1478136
[startup+942.301 s]
/proc/loadavg: 2.01 2.04 1.91 3/576 23025
/proc/meminfo: memFree=21039124/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=1478752 CPUtime=942.27 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 478751 0 0 0 94143 84 0 0 25 0 1 0 855457894 1514242048 358526 33554432000 4194304 4933572 140735668387584 18446744073709551615 4648668 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22999/statm: 369688 358526 371 181 0 366697 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 1478752
[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 1.91 3/576 23027
/proc/meminfo: memFree=21037344/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=1479800 CPUtime=1002.27 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 479009 0 0 0 100143 84 0 0 25 0 1 0 855457894 1515315200 358784 33554432000 4194304 4933572 140735668387584 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22999/statm: 369950 358784 371 181 0 366959 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 1479800
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 1.91 3/576 23028
/proc/meminfo: memFree=21036440/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=1480152 CPUtime=1062.27 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 479075 0 0 0 106143 84 0 0 25 0 1 0 855457894 1515675648 358850 33554432000 4194304 4933572 140735668387584 18446744073709551615 4648629 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22999/statm: 370038 358850 371 181 0 367047 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 1480152
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 1.91 3/576 23030
/proc/meminfo: memFree=21034284/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=1481052 CPUtime=1122.27 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 479306 0 0 0 112143 84 0 0 25 0 1 0 855457894 1516597248 359081 33554432000 4194304 4933572 140735668387584 18446744073709551615 4631904 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22999/statm: 370263 359081 371 181 0 367272 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 1481052
[startup+1182.3 s]
/proc/loadavg: 2.08 2.03 1.92 3/576 23032
/proc/meminfo: memFree=21032128/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=1482028 CPUtime=1182.28 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 479540 0 0 0 118144 84 0 0 25 0 1 0 855457894 1517596672 359315 33554432000 4194304 4933572 140735668387584 18446744073709551615 4649174 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22999/statm: 370507 359315 371 181 0 367516 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 1482028
[startup+1242.3 s]
/proc/loadavg: 2.10 2.04 1.92 3/576 23033
/proc/meminfo: memFree=21029476/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=1482980 CPUtime=1242.28 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 479735 0 0 0 124144 84 0 0 25 0 1 0 855457894 1518571520 359510 33554432000 4194304 4933572 140735668387584 18446744073709551615 4341611 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22999/statm: 370745 359510 371 181 0 367754 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 1482980
[startup+1302.3 s]
/proc/loadavg: 2.17 2.06 1.93 3/576 23035
/proc/meminfo: memFree=21028072/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=1484384 CPUtime=1302.29 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 480034 0 0 0 130145 84 0 0 25 0 1 0 855457894 1520009216 359809 33554432000 4194304 4933572 140735668387584 18446744073709551615 4648683 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22999/statm: 371096 359809 371 181 0 368105 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 1484384
[startup+1362.3 s]
/proc/loadavg: 2.12 2.06 1.94 3/576 23036
/proc/meminfo: memFree=21029272/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=1484748 CPUtime=1362.28 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 480168 0 0 0 136144 84 0 0 25 0 1 0 855457894 1520381952 359943 33554432000 4194304 4933572 140735668387584 18446744073709551615 4663992 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22999/statm: 371187 359943 371 181 0 368196 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 1484748
[startup+1422.32 s]
/proc/loadavg: 2.04 2.05 1.94 3/576 23038
/proc/meminfo: memFree=21028364/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=1485360 CPUtime=1422.3 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 480287 0 0 0 142146 84 0 0 25 0 1 0 855457894 1521008640 360062 33554432000 4194304 4933572 140735668387584 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22999/statm: 371340 360062 371 181 0 368349 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 1485360
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 1.94 3/576 23040
/proc/meminfo: memFree=21026464/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=1486540 CPUtime=1482.29 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 480580 0 0 0 148145 84 0 0 25 0 1 0 855457894 1522216960 360355 33554432000 4194304 4933572 140735668387584 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22999/statm: 371635 360355 371 181 0 368644 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 1486540
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 1.94 3/576 23041
/proc/meminfo: memFree=21025676/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=1486820 CPUtime=1542.29 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 480658 0 0 0 154145 84 0 0 25 0 1 0 855457894 1522503680 360433 33554432000 4194304 4933572 140735668387584 18446744073709551615 4635403 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22999/statm: 371705 360433 371 181 0 368714 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 1486820
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/576 23043
/proc/meminfo: memFree=21024020/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=1487548 CPUtime=1602.29 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 480811 0 0 0 160145 84 0 0 25 0 1 0 855457894 1523249152 360586 33554432000 4194304 4933572 140735668387584 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22999/statm: 371887 360586 371 181 0 368896 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 1487548
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/576 23044
/proc/meminfo: memFree=21022248/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=1489012 CPUtime=1662.29 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 481140 0 0 0 166145 84 0 0 25 0 1 0 855457894 1524748288 360915 33554432000 4194304 4933572 140735668387584 18446744073709551615 4648528 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22999/statm: 372253 360915 371 181 0 369262 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 1489012
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/576 23046
/proc/meminfo: memFree=21019480/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=1490900 CPUtime=1722.29 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 481586 0 0 0 172145 84 0 0 25 0 1 0 855457894 1526681600 361361 33554432000 4194304 4933572 140735668387584 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22999/statm: 372725 361361 371 181 0 369734 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 1490900
[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 1.95 3/576 23048
/proc/meminfo: memFree=21017464/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=1491652 CPUtime=1782.29 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 481757 0 0 0 178145 84 0 0 25 0 1 0 855457894 1527451648 361532 33554432000 4194304 4933572 140735668387584 18446744073709551615 4648657 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22999/statm: 372913 361532 371 181 0 369922 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 1491652
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.17 2.05 1.96 3/576 23076
/proc/meminfo: memFree=21192072/32951124 swapFree=58940260/67111528
[pid=22999] ppid=22997 vsize=1491652 CPUtime=1800.01 cores=0,2,4,6
/proc/22999/stat : 22999 (clasp) R 22997 22999 22845 0 -1 4202496 481758 0 0 0 179916 85 0 0 25 0 1 0 855457894 1527451648 361533 33554432000 4194304 4933572 140735668387584 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22999/statm: 372913 361533 371 181 0 369922 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1491652
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.08
CPU time (s): 1800.09
CPU user time (s): 1799.17
CPU system time (s): 0.91786
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 1555308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.17
system time used= 0.91786
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 481771
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= 5
involuntary context switches= 5376
runsolver used 10.8913 second user time and 23.4984 second system time
The end