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-3468795-1307103083/watcher-3468795-1307103083 -o /tmp/evaluation-result-3468795-1307103083/solver-3468795-1307103083 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468795-1307103083.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.00 2.01 2.00 2/558 29300
/proc/meminfo: memFree=30192788/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=16348 CPUtime=0.01 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 1751 0 0 0 1 0 0 0 25 0 1 0 821907025 16740352 1415 33554432000 4194304 4933572 140734295271664 18446744073709551615 251813900997 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 4087 1415 367 181 0 1096 0
[startup+0.107442 s]
/proc/loadavg: 2.00 2.01 2.00 2/558 29300
/proc/meminfo: memFree=30192788/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=17932 CPUtime=0.1 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 2151 0 0 0 10 0 0 0 25 0 1 0 821907025 18362368 1815 33554432000 4194304 4933572 140734295271664 18446744073709551615 4319463 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 4483 1815 374 181 0 1492 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 17932
[startup+0.200316 s]
/proc/loadavg: 2.00 2.01 2.00 2/558 29300
/proc/meminfo: memFree=30192788/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=19796 CPUtime=0.19 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 2621 0 0 0 19 0 0 0 25 0 1 0 821907025 20271104 2285 33554432000 4194304 4933572 140734295271664 18446744073709551615 4341611 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 4949 2285 374 181 0 1958 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 19796
[startup+0.300429 s]
/proc/loadavg: 2.00 2.01 2.00 2/558 29300
/proc/meminfo: memFree=30192788/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=21652 CPUtime=0.29 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 3105 0 0 0 29 0 0 0 25 0 1 0 821907025 22171648 2769 33554432000 4194304 4933572 140734295271664 18446744073709551615 4621717 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 5413 2769 374 181 0 2422 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21652
[startup+0.700342 s]
/proc/loadavg: 2.00 2.01 2.00 2/558 29300
/proc/meminfo: memFree=30192788/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=24820 CPUtime=0.69 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 3893 0 0 0 69 0 0 0 25 0 1 0 821907025 25415680 3557 33554432000 4194304 4933572 140734295271664 18446744073709551615 4341702 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 6205 3557 374 181 0 3214 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24820
[startup+1.50021 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 29325
/proc/meminfo: memFree=30170288/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=27460 CPUtime=1.49 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 4554 0 0 0 149 0 0 0 25 0 1 0 821907025 28119040 4218 33554432000 4194304 4933572 140734295271664 18446744073709551615 4330263 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 6865 4218 374 181 0 3874 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27460
[startup+3.10083 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 29325
/proc/meminfo: memFree=30161144/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=32276 CPUtime=3.09 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 5685 0 0 0 309 0 0 0 25 0 1 0 821907025 33050624 5349 33554432000 4194304 4933572 140734295271664 18446744073709551615 4664059 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 8069 5349 374 181 0 5078 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32276
[startup+6.30042 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 29325
/proc/meminfo: memFree=30153768/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=35580 CPUtime=6.29 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 6515 0 0 0 629 0 0 0 25 0 1 0 821907025 36433920 6179 33554432000 4194304 4933572 140734295271664 18446744073709551615 4319560 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 8895 6179 374 181 0 5904 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35580
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 29325
/proc/meminfo: memFree=30144864/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=39936 CPUtime=12.69 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 7584 0 0 0 1269 0 0 0 25 0 1 0 821907025 40894464 7248 33554432000 4194304 4933572 140734295271664 18446744073709551615 4717586 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 9984 7248 374 181 0 6993 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39936
[startup+25.5012 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 29326
/proc/meminfo: memFree=30129988/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=48408 CPUtime=25.5 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 9545 0 0 0 2549 1 0 0 25 0 1 0 821907025 49569792 9209 33554432000 4194304 4933572 140734295271664 18446744073709551615 4358523 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 12102 9209 374 181 0 9111 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 48408
[startup+51.1009 s]
/proc/loadavg: 2.13 2.04 2.01 3/562 29326
/proc/meminfo: memFree=30123488/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=53828 CPUtime=51.07 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 10983 0 0 0 5106 1 0 0 25 0 1 0 821907025 55119872 10647 33554432000 4194304 4933572 140734295271664 18446744073709551615 4717609 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 13457 10647 374 181 0 10466 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 53828
[startup+102.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/562 29328
/proc/meminfo: memFree=30110700/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=60956 CPUtime=102.27 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 12763 0 0 0 10226 1 0 0 25 0 1 0 821907025 62418944 12427 33554432000 4194304 4933572 140734295271664 18446744073709551615 4340904 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 15239 12427 374 181 0 12248 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 60956
[startup+162.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/562 29329
/proc/meminfo: memFree=30096396/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=68900 CPUtime=162.26 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 14745 0 0 0 16224 2 0 0 25 0 1 0 821907025 70553600 14409 33554432000 4194304 4933572 140734295271664 18446744073709551615 4622140 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 17225 14409 374 181 0 14234 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 68900
[startup+222.322 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 29331
/proc/meminfo: memFree=30094140/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=69164 CPUtime=222.28 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 14820 0 0 0 22226 2 0 0 25 0 1 0 821907025 70823936 14484 33554432000 4194304 4933572 140734295271664 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 17291 14484 374 181 0 14300 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 69164
[startup+282.301 s]
/proc/loadavg: 2.09 2.04 2.01 3/562 29332
/proc/meminfo: memFree=30086056/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=73784 CPUtime=282.26 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 15980 0 0 0 28224 2 0 0 25 0 1 0 821907025 75554816 15644 33554432000 4194304 4933572 140734295271664 18446744073709551615 4330310 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 18446 15644 376 181 0 15455 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 73784
[startup+342.301 s]
/proc/loadavg: 2.11 2.06 2.01 3/562 29334
/proc/meminfo: memFree=30078344/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=77968 CPUtime=342.26 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 17195 0 0 0 34224 2 0 0 25 0 1 0 821907025 79839232 16696 33554432000 4194304 4933572 140734295271664 18446744073709551615 4328768 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 19492 16696 377 181 0 16501 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 77968
[startup+402.301 s]
/proc/loadavg: 2.04 2.05 2.01 3/562 29336
/proc/meminfo: memFree=30068152/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=84796 CPUtime=402.26 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 18959 0 0 0 40224 2 0 0 25 0 1 0 821907025 86831104 18460 33554432000 4194304 4933572 140734295271664 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 21199 18460 377 181 0 18208 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 84796
[startup+462.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/562 29337
/proc/meminfo: memFree=30063028/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=87340 CPUtime=462.26 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 20060 0 0 0 46223 3 0 0 25 0 1 0 821907025 89436160 19109 33554432000 4194304 4933572 140734295271664 18446744073709551615 4368201 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 21835 19109 377 181 0 18844 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 87340
[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/562 29339
/proc/meminfo: memFree=30063376/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=87340 CPUtime=522.26 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 20063 0 0 0 52223 3 0 0 25 0 1 0 821907025 89436160 19112 33554432000 4194304 4933572 140734295271664 18446744073709551615 4360897 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 21835 19112 377 181 0 18844 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 87340
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 29340
/proc/meminfo: memFree=30059016/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=87596 CPUtime=582.26 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 20704 0 0 0 58223 3 0 0 25 0 1 0 821907025 89698304 19180 33554432000 4194304 4933572 140734295271664 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 21899 19180 377 181 0 18908 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 87596
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/562 29347
/proc/meminfo: memFree=30046740/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=97412 CPUtime=822.27 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 23560 0 0 0 82223 4 0 0 25 0 1 0 821907025 99749888 21632 33554432000 4194304 4933572 140734295271664 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 24353 21632 377 181 0 21362 0
Current children cumulated CPU time (s) 822.27
Current children cumulated vsize (KiB) 97412
[startup+882.321 s]
/proc/loadavg: 2.11 2.05 2.01 3/562 29348
/proc/meminfo: memFree=30046092/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=96892 CPUtime=882.29 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 23831 0 0 0 88225 4 0 0 25 0 1 0 821907025 99217408 21476 33554432000 4194304 4933572 140734295271664 18446744073709551615 4330830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 24223 21476 377 181 0 21232 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 96892
[startup+942.301 s]
/proc/loadavg: 2.09 2.06 2.01 3/562 29350
/proc/meminfo: memFree=30045084/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=98132 CPUtime=942.27 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 24397 0 0 0 94223 4 0 0 25 0 1 0 821907025 100487168 21784 33554432000 4194304 4933572 140734295271664 18446744073709551615 4631915 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 24533 21784 377 181 0 21542 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 98132
[startup+1002.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/562 29352
/proc/meminfo: memFree=30041708/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=101564 CPUtime=1002.27 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 25267 0 0 0 100223 4 0 0 25 0 1 0 821907025 104001536 22654 33554432000 4194304 4933572 140734295271664 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 25391 22654 377 181 0 22400 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 101564
[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/562 29353
/proc/meminfo: memFree=30039820/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=102324 CPUtime=1062.27 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 26290 0 0 0 106223 4 0 0 25 0 1 0 821907025 104779776 22861 33554432000 4194304 4933572 140734295271664 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 25581 22861 377 181 0 22590 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 102324
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 29355
/proc/meminfo: memFree=30037440/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=104120 CPUtime=1122.28 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 27286 0 0 0 112223 5 0 0 25 0 1 0 821907025 106618880 23311 33554432000 4194304 4933572 140734295271664 18446744073709551615 4330852 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 26030 23311 377 181 0 23039 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 104120
[startup+1182.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/562 29356
/proc/meminfo: memFree=30035932/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=105228 CPUtime=1182.28 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 28155 0 0 0 118223 5 0 0 25 0 1 0 821907025 107753472 23588 33554432000 4194304 4933572 140734295271664 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 26307 23588 377 181 0 23316 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 105228
[startup+1242.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/562 29358
/proc/meminfo: memFree=30029832/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=108928 CPUtime=1242.28 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 29072 0 0 0 124223 5 0 0 25 0 1 0 821907025 111542272 24505 33554432000 4194304 4933572 140734295271664 18446744073709551615 4631904 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 27232 24505 377 181 0 24241 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 108928
[startup+1302.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/562 29360
/proc/meminfo: memFree=30028200/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=107352 CPUtime=1302.28 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 29072 0 0 0 130223 5 0 0 25 0 1 0 821907025 109928448 24119 33554432000 4194304 4933572 140734295271664 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 26838 24119 377 181 0 23847 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 107352
[startup+1362.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/562 29361
/proc/meminfo: memFree=30028664/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=107352 CPUtime=1362.28 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 29072 0 0 0 136223 5 0 0 25 0 1 0 821907025 109928448 24119 33554432000 4194304 4933572 140734295271664 18446744073709551615 4330251 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 26838 24119 377 181 0 23847 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 107352
[startup+1422.3 s]
/proc/loadavg: 2.17 2.07 2.01 3/562 29363
/proc/meminfo: memFree=30029884/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=108012 CPUtime=1422.3 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 29218 0 0 0 142225 5 0 0 25 0 1 0 821907025 110604288 24265 33554432000 4194304 4933572 140734295271664 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 27003 24265 377 181 0 24012 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 108012
[startup+1482.3 s]
/proc/loadavg: 2.21 2.08 2.02 3/562 29364
/proc/meminfo: memFree=30021304/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=114900 CPUtime=1482.28 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 30957 0 0 0 148223 5 0 0 25 0 1 0 821907025 117657600 26004 33554432000 4194304 4933572 140734295271664 18446744073709551615 4328740 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 28725 26004 377 181 0 25734 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 114900
[startup+1542.32 s]
/proc/loadavg: 2.14 2.08 2.02 3/562 29366
/proc/meminfo: memFree=30019176/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=117940 CPUtime=1542.3 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 31710 0 0 0 154225 5 0 0 25 0 1 0 821907025 120770560 26757 33554432000 4194304 4933572 140734295271664 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 29485 26757 377 181 0 26494 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 117940
[startup+1602.3 s]
/proc/loadavg: 2.05 2.07 2.01 3/562 29368
/proc/meminfo: memFree=30019152/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=116996 CPUtime=1602.28 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 31710 0 0 0 160223 5 0 0 25 0 1 0 821907025 119803904 26528 33554432000 4194304 4933572 140734295271664 18446744073709551615 4341696 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 29249 26528 377 181 0 26258 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 116996
[startup+1662.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/562 29369
/proc/meminfo: memFree=30018628/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=118184 CPUtime=1662.28 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 31996 0 0 0 166223 5 0 0 25 0 1 0 821907025 121020416 26814 33554432000 4194304 4933572 140734295271664 18446744073709551615 4330263 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 29546 26814 377 181 0 26555 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 118184
[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/562 29371
/proc/meminfo: memFree=30015384/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=121088 CPUtime=1722.28 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 32702 0 0 0 172223 5 0 0 25 0 1 0 821907025 123994112 27520 33554432000 4194304 4933572 140734295271664 18446744073709551615 4622118 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 30272 27520 377 181 0 27281 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 121088
[startup+1782.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/562 29372
/proc/meminfo: memFree=30013136/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=120500 CPUtime=1782.29 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 33153 0 0 0 178223 6 0 0 25 0 1 0 821907025 123392000 27393 33554432000 4194304 4933572 140734295271664 18446744073709551615 4717456 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 30125 27393 377 181 0 27134 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 120500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.10 2.06 2.01 3/562 29373
/proc/meminfo: memFree=30014620/32950928 swapFree=41528364/67111528
[pid=29300] ppid=29298 vsize=120500 CPUtime=1800.11 cores=0,2,4,6
/proc/29300/stat : 29300 (clasp) R 29298 29300 28517 0 -1 4202496 33153 0 0 0 180005 6 0 0 25 0 1 0 821907025 123392000 27393 33554432000 4194304 4933572 140734295271664 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29300/statm: 30125 27393 377 181 0 27134 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 120500
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.13
CPU time (s): 1800.12
CPU user time (s): 1800.05
CPU system time (s): 0.068989
CPU usage (%): 99.9995
Max. virtual memory (cumulated for all children) (KiB): 121088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.068989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33165
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= 2897
runsolver used 10.6624 second user time and 22.2326 second system time
The end