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-3468692-1307089341/watcher-3468692-1307089341 -o /tmp/evaluation-result-3468692-1307089341/solver-3468692-1307089341 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468692-1307089341.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: 1.94 2.00 1.99 2/424 21863
/proc/meminfo: memFree=29193512/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=12716 CPUtime=0.01 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 589 0 0 0 1 0 0 0 18 0 1 0 820534590 13021184 523 33554432000 4194304 4933572 140733926346400 18446744073709551615 244446606021 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21863/statm: 3179 523 377 181 0 188 0
[startup+0.0398799 s]
/proc/loadavg: 1.94 2.00 1.99 2/424 21863
/proc/meminfo: memFree=29193512/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=12848 CPUtime=0.03 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 636 0 0 0 3 0 0 0 18 0 1 0 820534590 13156352 570 33554432000 4194304 4933572 140733926346400 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21863/statm: 3212 570 384 181 0 221 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12848
[startup+0.100868 s]
/proc/loadavg: 1.94 2.00 1.99 2/424 21863
/proc/meminfo: memFree=29193512/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=12980 CPUtime=0.09 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 679 0 0 0 9 0 0 0 18 0 1 0 820534590 13291520 613 33554432000 4194304 4933572 140733926346400 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21863/statm: 3245 613 384 181 0 254 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12980
[startup+0.300833 s]
/proc/loadavg: 1.94 2.00 1.99 2/424 21863
/proc/meminfo: memFree=29193512/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=13244 CPUtime=0.29 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 742 0 0 0 29 0 0 0 18 0 1 0 820534590 13561856 676 33554432000 4194304 4933572 140733926346400 18446744073709551615 4331664 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21863/statm: 3311 676 384 181 0 320 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13244
[startup+0.700758 s]
/proc/loadavg: 1.94 2.00 1.99 2/424 21863
/proc/meminfo: memFree=29193512/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=13644 CPUtime=0.69 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 820 0 0 0 69 0 0 0 18 0 1 0 820534590 13971456 754 33554432000 4194304 4933572 140733926346400 18446744073709551615 4429005 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21863/statm: 3411 754 384 181 0 420 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13644
[startup+1.50061 s]
/proc/loadavg: 1.94 2.00 1.99 3/430 21869
/proc/meminfo: memFree=29180460/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=13908 CPUtime=1.49 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 916 0 0 0 149 0 0 0 20 0 1 0 820534590 14241792 850 33554432000 4194304 4933572 140733926346400 18446744073709551615 4369781 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21863/statm: 3477 850 384 181 0 486 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13908
[startup+3.10031 s]
/proc/loadavg: 1.94 2.00 1.99 3/430 21869
/proc/meminfo: memFree=29175260/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=14580 CPUtime=3.09 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 1061 0 0 0 309 0 0 0 25 0 1 0 820534590 14929920 995 33554432000 4194304 4933572 140733926346400 18446744073709551615 4363293 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21863/statm: 3645 995 384 181 0 654 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14580
[startup+6.30072 s]
/proc/loadavg: 1.94 2.00 1.99 3/430 21869
/proc/meminfo: memFree=29172012/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=15256 CPUtime=6.29 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 1245 0 0 0 629 0 0 0 25 0 1 0 820534590 15622144 1179 33554432000 4194304 4933572 140733926346400 18446744073709551615 4664515 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21863/statm: 3814 1179 384 181 0 823 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15256
[startup+12.7005 s]
/proc/loadavg: 1.95 2.00 1.99 3/430 21869
/proc/meminfo: memFree=29167100/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=16196 CPUtime=12.69 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 1482 0 0 0 1269 0 0 0 25 0 1 0 820534590 16584704 1416 33554432000 4194304 4933572 140733926346400 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21863/statm: 4049 1416 385 181 0 1058 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16196
[startup+25.5002 s]
/proc/loadavg: 1.96 2.00 1.99 3/430 21870
/proc/meminfo: memFree=29164124/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=17024 CPUtime=25.49 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 1676 0 0 0 2549 0 0 0 25 0 1 0 820534590 17432576 1610 33554432000 4194304 4933572 140733926346400 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21863/statm: 4256 1610 385 181 0 1265 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17024
[startup+51.1004 s]
/proc/loadavg: 2.10 2.03 2.00 3/430 21870
/proc/meminfo: memFree=29155676/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=18400 CPUtime=51.09 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 2008 0 0 0 5109 0 0 0 25 0 1 0 820534590 18841600 1942 33554432000 4194304 4933572 140733926346400 18446744073709551615 4649236 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21863/statm: 4600 1942 385 181 0 1609 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 18400
[startup+102.316 s]
/proc/loadavg: 2.04 2.02 2.00 3/430 21872
/proc/meminfo: memFree=29144120/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=19636 CPUtime=102.31 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 2313 0 0 0 10231 0 0 0 25 0 1 0 820534590 20107264 2247 33554432000 4194304 4933572 140733926346400 18446744073709551615 4363376 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21863/statm: 4909 2247 385 181 0 1918 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 19636
[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/430 21873
/proc/meminfo: memFree=29138944/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=20620 CPUtime=162.29 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 2527 0 0 0 16229 0 0 0 25 0 1 0 820534590 21114880 2461 33554432000 4194304 4933572 140733926346400 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21863/statm: 5155 2461 385 181 0 2164 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 20620
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 21875
/proc/meminfo: memFree=29136324/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=21044 CPUtime=222.29 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 2629 0 0 0 22229 0 0 0 25 0 1 0 820534590 21549056 2563 33554432000 4194304 4933572 140733926346400 18446744073709551615 4329932 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21863/statm: 5261 2563 385 181 0 2270 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 21044
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 21876
/proc/meminfo: memFree=29133340/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=21492 CPUtime=282.3 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 2744 0 0 0 28230 0 0 0 25 0 1 0 820534590 22007808 2678 33554432000 4194304 4933572 140733926346400 18446744073709551615 4637468 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21863/statm: 5373 2678 385 181 0 2382 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 21492
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 21878
/proc/meminfo: memFree=29126136/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=21892 CPUtime=342.29 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 2843 0 0 0 34229 0 0 0 25 0 1 0 820534590 22417408 2777 33554432000 4194304 4933572 140733926346400 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21863/statm: 5473 2777 385 181 0 2482 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 21892
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 21880
/proc/meminfo: memFree=29123900/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=22180 CPUtime=402.3 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 2906 0 0 0 40230 0 0 0 25 0 1 0 820534590 22712320 2840 33554432000 4194304 4933572 140733926346400 18446744073709551615 4635387 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21863/statm: 5545 2840 385 181 0 2554 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 22180
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 21881
/proc/meminfo: memFree=29123520/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=22476 CPUtime=462.3 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 2966 0 0 0 46230 0 0 0 25 0 1 0 820534590 23015424 2900 33554432000 4194304 4933572 140733926346400 18446744073709551615 4635430 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21863/statm: 5619 2900 385 181 0 2628 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 22476
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 21883
/proc/meminfo: memFree=29119420/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=23076 CPUtime=522.3 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 3106 0 0 0 52230 0 0 0 25 0 1 0 820534590 23629824 3040 33554432000 4194304 4933572 140733926346400 18446744073709551615 4664518 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21863/statm: 5769 3040 385 181 0 2778 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 23076
[startup+582.301 s]
/proc/loadavg: 2.08 2.03 2.01 3/430 21884
/proc/meminfo: memFree=29117520/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=23364 CPUtime=582.3 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 3186 0 0 0 58230 0 0 0 25 0 1 0 820534590 23924736 3120 33554432000 4194304 4933572 140733926346400 18446744073709551615 4664576 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21863/statm: 5841 3120 385 181 0 2850 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 23364
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 21891
/proc/meminfo: memFree=29112944/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=24100 CPUtime=822.3 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 3343 0 0 0 82230 0 0 0 25 0 1 0 820534590 24678400 3277 33554432000 4194304 4933572 140733926346400 18446744073709551615 4369586 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21863/statm: 6025 3277 385 181 0 3034 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 24100
[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 21892
/proc/meminfo: memFree=29111896/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=24240 CPUtime=882.3 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 3412 0 0 0 88230 0 0 0 25 0 1 0 820534590 24821760 3346 33554432000 4194304 4933572 140733926346400 18446744073709551615 4637414 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21863/statm: 6060 3346 385 181 0 3069 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 24240
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 21894
/proc/meminfo: memFree=29111144/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=24540 CPUtime=942.3 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 3477 0 0 0 94230 0 0 0 25 0 1 0 820534590 25128960 3411 33554432000 4194304 4933572 140733926346400 18446744073709551615 4370214 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21863/statm: 6135 3411 385 181 0 3144 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 24540
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 21896
/proc/meminfo: memFree=29110488/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=24828 CPUtime=1002.3 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 3527 0 0 0 100230 0 0 0 25 0 1 0 820534590 25423872 3461 33554432000 4194304 4933572 140733926346400 18446744073709551615 4664505 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21863/statm: 6207 3461 385 181 0 3216 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 24828
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 21897
/proc/meminfo: memFree=29109980/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=25128 CPUtime=1062.3 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 3598 0 0 0 106230 0 0 0 25 0 1 0 820534590 25731072 3532 33554432000 4194304 4933572 140733926346400 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21863/statm: 6282 3532 385 181 0 3291 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 25128
[startup+1122.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/430 21899
/proc/meminfo: memFree=29109304/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=25276 CPUtime=1122.3 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 3630 0 0 0 112230 0 0 0 25 0 1 0 820534590 25882624 3564 33554432000 4194304 4933572 140733926346400 18446744073709551615 4331743 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21863/statm: 6319 3564 385 181 0 3328 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 25276
[startup+1182.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/430 21900
/proc/meminfo: memFree=29102560/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=25276 CPUtime=1182.29 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 3657 0 0 0 118229 0 0 0 25 0 1 0 820534590 25882624 3591 33554432000 4194304 4933572 140733926346400 18446744073709551615 4331733 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21863/statm: 6319 3591 385 181 0 3328 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 25276
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/430 21902
/proc/meminfo: memFree=29099944/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=25424 CPUtime=1242.29 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 3668 0 0 0 124229 0 0 0 25 0 1 0 820534590 26034176 3602 33554432000 4194304 4933572 140733926346400 18446744073709551615 4331682 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21863/statm: 6356 3602 385 181 0 3365 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 25424
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 21904
/proc/meminfo: memFree=29099192/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=25424 CPUtime=1302.31 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 3670 0 0 0 130231 0 0 0 25 0 1 0 820534590 26034176 3604 33554432000 4194304 4933572 140733926346400 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21863/statm: 6356 3604 385 181 0 3365 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 25424
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 21905
/proc/meminfo: memFree=29099556/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=25424 CPUtime=1362.29 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 3697 0 0 0 136229 0 0 0 25 0 1 0 820534590 26034176 3631 33554432000 4194304 4933572 140733926346400 18446744073709551615 4429157 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21863/statm: 6356 3631 385 181 0 3365 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 25424
[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 21907
/proc/meminfo: memFree=29098848/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=25576 CPUtime=1422.31 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 3721 0 0 0 142231 0 0 0 25 0 1 0 820534590 26189824 3655 33554432000 4194304 4933572 140733926346400 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21863/statm: 6394 3655 385 181 0 3403 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 25576
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 21908
/proc/meminfo: memFree=29098712/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=25576 CPUtime=1482.3 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 3728 0 0 0 148230 0 0 0 25 0 1 0 820534590 26189824 3662 33554432000 4194304 4933572 140733926346400 18446744073709551615 4637473 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21863/statm: 6394 3662 385 181 0 3403 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 25576
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 21910
/proc/meminfo: memFree=29098820/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=25724 CPUtime=1542.3 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 3737 0 0 0 154230 0 0 0 25 0 1 0 820534590 26341376 3671 33554432000 4194304 4933572 140733926346400 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21863/statm: 6431 3671 385 181 0 3440 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 25724
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 21912
/proc/meminfo: memFree=29098492/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=25724 CPUtime=1602.3 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 3738 0 0 0 160230 0 0 0 25 0 1 0 820534590 26341376 3672 33554432000 4194304 4933572 140733926346400 18446744073709551615 4664480 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21863/statm: 6431 3672 385 181 0 3440 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 25724
[startup+1662.3 s]
/proc/loadavg: 2.29 2.09 2.03 3/430 21913
/proc/meminfo: memFree=29097852/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=25724 CPUtime=1662.3 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 3757 0 0 0 166230 0 0 0 25 0 1 0 820534590 26341376 3691 33554432000 4194304 4933572 140733926346400 18446744073709551615 4664536 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21863/statm: 6431 3691 385 181 0 3440 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 25724
[startup+1722.3 s]
/proc/loadavg: 2.10 2.07 2.02 3/430 21915
/proc/meminfo: memFree=29097588/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=25876 CPUtime=1722.3 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 3805 0 0 0 172230 0 0 0 25 0 1 0 820534590 26497024 3739 33554432000 4194304 4933572 140733926346400 18446744073709551615 4360892 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21863/statm: 6469 3739 385 181 0 3478 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 25876
[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 2.02 3/430 21916
/proc/meminfo: memFree=29095708/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=26024 CPUtime=1782.31 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 3819 0 0 0 178231 0 0 0 25 0 1 0 820534590 26648576 3753 33554432000 4194304 4933572 140733926346400 18446744073709551615 4429157 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21863/statm: 6506 3753 385 181 0 3515 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 26024
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.05 2.01 3/430 21917
/proc/meminfo: memFree=29097180/32951124 swapFree=43324008/67111528
[pid=21863] ppid=21861 vsize=26024 CPUtime=1800.02 cores=1,3,5,7
/proc/21863/stat : 21863 (clasp) R 21861 21863 15685 0 -1 4202496 3819 0 0 0 180002 0 0 0 25 0 1 0 820534590 26648576 3753 33554432000 4194304 4933572 140733926346400 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21863/statm: 6506 3753 385 181 0 3515 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 26024
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.02
CPU time (s): 1800.03
CPU user time (s): 1800.03
CPU system time (s): 0.006998
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 26024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.006998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3827
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= 4656
runsolver used 7.29389 second user time and 17.2234 second system time
The end