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-3468897-1307118717/watcher-3468897-1307118717 -o /tmp/evaluation-result-3468897-1307118717/solver-3468897-1307118717 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468897-1307118717.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.05 2.06 2.00 2/556 1581
/proc/meminfo: memFree=28724648/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=19480 CPUtime=0 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 520 0 0 0 0 0 0 0 25 0 1 0 902102417 19947520 461 33554432000 4194304 4933572 140735655046432 18446744073709551615 4670668 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1581/statm: 4870 469 318 181 0 1879 0
[startup+0.078204 s]
/proc/loadavg: 2.05 2.06 2.00 2/556 1581
/proc/meminfo: memFree=28724648/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=28924 CPUtime=0.06 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 5462 0 0 0 6 0 0 0 25 0 1 0 902102417 29618176 4482 33554432000 4194304 4933572 140735655046432 18446744073709551615 224284586693 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1581/statm: 7231 4483 333 181 0 4240 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 28924
[startup+0.1002 s]
/proc/loadavg: 2.05 2.06 2.00 2/556 1581
/proc/meminfo: memFree=28724648/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=30784 CPUtime=0.08 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 6140 0 0 0 8 0 0 0 25 0 1 0 902102417 31522816 4889 33554432000 4194304 4933572 140735655046432 18446744073709551615 224284586693 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1581/statm: 7696 4889 333 181 0 4705 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 30784
[startup+0.30017 s]
/proc/loadavg: 2.05 2.06 2.00 2/556 1581
/proc/meminfo: memFree=28724648/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=36436 CPUtime=0.29 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 9125 0 0 0 28 1 0 0 25 0 1 0 902102417 37310464 6405 33554432000 4194304 4933572 140735655046432 18446744073709551615 4648632 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1581/statm: 9109 6405 374 181 0 6118 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36436
[startup+0.701104 s]
/proc/loadavg: 2.05 2.06 2.00 2/556 1581
/proc/meminfo: memFree=28724648/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=36436 CPUtime=0.69 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 9126 0 0 0 68 1 0 0 25 0 1 0 902102417 37310464 6406 33554432000 4194304 4933572 140735655046432 18446744073709551615 4719451 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1581/statm: 9109 6406 375 181 0 6118 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36436
[startup+1.50097 s]
/proc/loadavg: 2.05 2.06 2.00 2/554 1626
/proc/meminfo: memFree=28703136/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=36436 CPUtime=1.49 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 9127 0 0 0 148 1 0 0 25 0 1 0 902102417 37310464 6407 33554432000 4194304 4933572 140735655046432 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1581/statm: 9109 6407 375 181 0 6118 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36436
[startup+3.1007 s]
/proc/loadavg: 2.05 2.06 2.00 3/559 1636
/proc/meminfo: memFree=28673108/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=36436 CPUtime=3.09 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 9127 0 0 0 308 1 0 0 25 0 1 0 902102417 37310464 6407 33554432000 4194304 4933572 140735655046432 18446744073709551615 4711299 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1581/statm: 9109 6407 375 181 0 6118 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36436
[startup+6.30016 s]
/proc/loadavg: 2.05 2.06 2.00 3/559 1636
/proc/meminfo: memFree=28671768/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=36436 CPUtime=6.29 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 9127 0 0 0 628 1 0 0 25 0 1 0 902102417 37310464 6407 33554432000 4194304 4933572 140735655046432 18446744073709551615 4719115 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1581/statm: 9109 6407 375 181 0 6118 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36436
[startup+12.7011 s]
/proc/loadavg: 2.04 2.06 2.00 3/559 1636
/proc/meminfo: memFree=28668732/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=36436 CPUtime=12.69 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 9149 0 0 0 1268 1 0 0 25 0 1 0 902102417 37310464 6429 33554432000 4194304 4933572 140735655046432 18446744073709551615 4649236 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1581/statm: 9109 6429 377 181 0 6118 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36436
[startup+25.501 s]
/proc/loadavg: 2.03 2.05 2.00 3/559 1636
/proc/meminfo: memFree=28661436/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=38392 CPUtime=25.49 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 9641 0 0 0 2548 1 0 0 25 0 1 0 902102417 39313408 6921 33554432000 4194304 4933572 140735655046432 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1581/statm: 9598 6921 377 181 0 6607 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 38392
[startup+51.1007 s]
/proc/loadavg: 2.10 2.06 2.01 3/559 1636
/proc/meminfo: memFree=28653432/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=44264 CPUtime=51.09 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 11123 0 0 0 5108 1 0 0 25 0 1 0 902102417 45326336 8403 33554432000 4194304 4933572 140735655046432 18446744073709551615 4711019 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1581/statm: 11066 8403 377 181 0 8075 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 44264
[startup+102.321 s]
/proc/loadavg: 2.04 2.05 2.00 3/559 1638
/proc/meminfo: memFree=28635936/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=51052 CPUtime=102.31 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 12764 0 0 0 10230 1 0 0 25 0 1 0 902102417 52277248 10044 33554432000 4194304 4933572 140735655046432 18446744073709551615 4648632 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/1581/statm: 12763 10044 377 181 0 9772 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 51052
[startup+162.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/559 1640
/proc/meminfo: memFree=28618528/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=55448 CPUtime=162.3 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 13865 0 0 0 16228 2 0 0 25 0 1 0 902102417 56778752 11145 33554432000 4194304 4933572 140735655046432 18446744073709551615 4637468 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/1581/statm: 13862 11145 377 181 0 10871 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 55448
[startup+222.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 1642
/proc/meminfo: memFree=28611188/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=59716 CPUtime=222.3 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 14917 0 0 0 22228 2 0 0 25 0 1 0 902102417 61149184 12197 33554432000 4194304 4933572 140735655046432 18446744073709551615 4719107 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/1581/statm: 14929 12197 377 181 0 11938 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 59716
[startup+282.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/559 1642
/proc/meminfo: memFree=28606316/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=65104 CPUtime=282.3 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 16260 0 0 0 28228 2 0 0 25 0 1 0 902102417 66666496 13540 33554432000 4194304 4933572 140735655046432 18446744073709551615 4648632 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/1581/statm: 16276 13540 377 181 0 13285 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 65104
[startup+342.301 s]
/proc/loadavg: 2.06 2.05 2.01 3/559 1644
/proc/meminfo: memFree=28596620/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=69416 CPUtime=342.29 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 17339 0 0 0 34227 2 0 0 25 0 1 0 902102417 71081984 14619 33554432000 4194304 4933572 140735655046432 18446744073709551615 4648337 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/1581/statm: 17354 14619 377 181 0 14363 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 69416
[startup+402.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/559 1646
/proc/meminfo: memFree=28581084/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=72476 CPUtime=402.29 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 18069 0 0 0 40227 2 0 0 25 0 1 0 902102417 74215424 15349 33554432000 4194304 4933572 140735655046432 18446744073709551615 4648934 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/1581/statm: 18119 15349 377 181 0 15128 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 72476
[startup+462.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/559 1651
/proc/meminfo: memFree=28558768/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=85152 CPUtime=462.29 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 21262 0 0 0 46226 3 0 0 25 0 1 0 902102417 87195648 18542 33554432000 4194304 4933572 140735655046432 18446744073709551615 4648957 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/1581/statm: 21288 18542 377 181 0 18297 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 85152
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 1653
/proc/meminfo: memFree=28558864/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=85152 CPUtime=522.29 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 21263 0 0 0 52226 3 0 0 25 0 1 0 902102417 87195648 18543 33554432000 4194304 4933572 140735655046432 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/1581/statm: 21288 18543 377 181 0 18297 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 85152
[startup+582.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/559 1653
/proc/meminfo: memFree=28558588/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=85152 CPUtime=582.29 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 21268 0 0 0 58226 3 0 0 25 0 1 0 902102417 87195648 18548 33554432000 4194304 4933572 140735655046432 18446744073709551615 4649250 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/1581/statm: 21288 18548 377 181 0 18297 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 85152
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 1661
/proc/meminfo: memFree=28546432/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=91164 CPUtime=822.3 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 22701 0 0 0 82226 4 0 0 25 0 1 0 902102417 93351936 19981 33554432000 4194304 4933572 140735655046432 18446744073709551615 4649594 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/1581/statm: 22791 19981 377 181 0 19800 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 91164
[startup+882.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/559 1661
/proc/meminfo: memFree=28543668/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=93408 CPUtime=882.3 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 23212 0 0 0 88226 4 0 0 25 0 1 0 902102417 95649792 20492 33554432000 4194304 4933572 140735655046432 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/1581/statm: 23352 20492 377 181 0 20361 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 93408
[startup+942.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/559 1663
/proc/meminfo: memFree=28542280/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=95280 CPUtime=942.3 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 23681 0 0 0 94226 4 0 0 25 0 1 0 902102417 97566720 20961 33554432000 4194304 4933572 140735655046432 18446744073709551615 4649320 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/1581/statm: 23820 20961 377 181 0 20829 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 95280
[startup+1002.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/559 1665
/proc/meminfo: memFree=28526740/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=99160 CPUtime=1002.31 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 24645 0 0 0 100227 4 0 0 25 0 1 0 902102417 101539840 21925 33554432000 4194304 4933572 140735655046432 18446744073709551615 4648546 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/1581/statm: 24790 21925 377 181 0 21799 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 99160
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/559 1667
/proc/meminfo: memFree=28518396/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=106972 CPUtime=1062.3 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 26575 0 0 0 106226 4 0 0 25 0 1 0 902102417 109539328 23855 33554432000 4194304 4933572 140735655046432 18446744073709551615 4319463 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/1581/statm: 26743 23855 377 181 0 23752 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 106972
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 1669
/proc/meminfo: memFree=28516396/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=109068 CPUtime=1122.3 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 27105 0 0 0 112226 4 0 0 25 0 1 0 902102417 111685632 24385 33554432000 4194304 4933572 140735655046432 18446744073709551615 4718544 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/1581/statm: 27267 24385 377 181 0 24276 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 109068
[startup+1182.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/559 1669
/proc/meminfo: memFree=28508060/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=115948 CPUtime=1182.31 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 28814 0 0 0 118226 5 0 0 25 0 1 0 902102417 118730752 26094 33554432000 4194304 4933572 140735655046432 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/1581/statm: 28987 26094 377 181 0 25996 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 115948
[startup+1242.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/559 1671
/proc/meminfo: memFree=28502080/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=115948 CPUtime=1242.31 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 28815 0 0 0 124226 5 0 0 25 0 1 0 902102417 118730752 26095 33554432000 4194304 4933572 140735655046432 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/1581/statm: 28987 26095 377 181 0 25996 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 115948
[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/559 1673
/proc/meminfo: memFree=28501920/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=115948 CPUtime=1302.32 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 28815 0 0 0 130227 5 0 0 25 0 1 0 902102417 118730752 26095 33554432000 4194304 4933572 140735655046432 18446744073709551615 4718558 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/1581/statm: 28987 26095 377 181 0 25996 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 115948
[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/559 1675
/proc/meminfo: memFree=28502864/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=116108 CPUtime=1362.31 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 28859 0 0 0 136226 5 0 0 25 0 1 0 902102417 118894592 26139 33554432000 4194304 4933572 140735655046432 18446744073709551615 4648632 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/1581/statm: 29027 26139 377 181 0 26036 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 116108
[startup+1422.32 s]
/proc/loadavg: 2.13 2.05 2.01 3/559 1677
/proc/meminfo: memFree=28499984/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=117032 CPUtime=1422.34 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 29088 0 0 0 142229 5 0 0 25 0 1 0 902102417 119840768 26368 33554432000 4194304 4933572 140735655046432 18446744073709551615 4648725 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/1581/statm: 29258 26368 377 181 0 26267 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 117032
[startup+1482.3 s]
/proc/loadavg: 2.24 2.09 2.02 3/559 1677
/proc/meminfo: memFree=28497220/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=118192 CPUtime=1482.31 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 29326 0 0 0 148226 5 0 0 25 0 1 0 902102417 121028608 26606 33554432000 4194304 4933572 140735655046432 18446744073709551615 4648411 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/1581/statm: 29548 26606 377 181 0 26557 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 118192
[startup+1542.3 s]
/proc/loadavg: 2.13 2.08 2.02 3/559 1679
/proc/meminfo: memFree=28493728/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=119696 CPUtime=1542.31 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 29678 0 0 0 154226 5 0 0 25 0 1 0 902102417 122568704 26958 33554432000 4194304 4933572 140735655046432 18446744073709551615 4648519 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/1581/statm: 29924 26958 377 181 0 26933 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 119696
[startup+1602.3 s]
/proc/loadavg: 2.05 2.07 2.01 3/559 1681
/proc/meminfo: memFree=28488232/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=120628 CPUtime=1602.31 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 29915 0 0 0 160226 5 0 0 25 0 1 0 902102417 123523072 27195 33554432000 4194304 4933572 140735655046432 18446744073709551615 4718416 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/1581/statm: 30157 27195 377 181 0 27166 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 120628
[startup+1662.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/559 1683
/proc/meminfo: memFree=28480864/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=121700 CPUtime=1662.31 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 30149 0 0 0 166226 5 0 0 25 0 1 0 902102417 124620800 27429 33554432000 4194304 4933572 140735655046432 18446744073709551615 4648550 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/1581/statm: 30425 27429 377 181 0 27434 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 121700
[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/559 1685
/proc/meminfo: memFree=28479724/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=123016 CPUtime=1722.31 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 30458 0 0 0 172226 5 0 0 25 0 1 0 902102417 125968384 27738 33554432000 4194304 4933572 140735655046432 18446744073709551615 4648810 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/1581/statm: 30754 27738 377 181 0 27763 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 123016
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 1694
/proc/meminfo: memFree=28476236/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=124444 CPUtime=1782.31 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 30768 0 0 0 178226 5 0 0 25 0 1 0 902102417 127430656 28048 33554432000 4194304 4933572 140735655046432 18446744073709551615 4632737 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/1581/statm: 31111 28048 377 181 0 28120 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 124444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.12 2.06 2.01 3/559 1696
/proc/meminfo: memFree=28477224/32951124 swapFree=34426104/67111528
[pid=1581] ppid=1579 vsize=124744 CPUtime=1800.02 cores=1,3,5,7
/proc/1581/stat : 1581 (clasp) R 1579 1581 31297 0 -1 4202496 30841 0 0 0 179997 5 0 0 25 0 1 0 902102417 127737856 28121 33554432000 4194304 4933572 140735655046432 18446744073709551615 4718611 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/1581/statm: 31186 28121 377 181 0 28195 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 124744
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.03
CPU time (s): 1800.05
CPU user time (s): 1799.99
CPU system time (s): 0.06199
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 124744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.06199
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30854
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= 7
involuntary context switches= 3363
runsolver used 9.57654 second user time and 23.5634 second system time
The end