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-3468646-1307080212/watcher-3468646-1307080212 -o /tmp/evaluation-result-3468646-1307080212/solver-3468646-1307080212 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468646-1307080212.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: 1.90 2.02 2.00 2/481 6213
/proc/meminfo: memFree=27087632/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=13904 CPUtime=0 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 874 0 0 0 0 0 0 0 25 0 1 0 819623580 14237696 779 33554432000 4194304 4933572 140736001976032 18446744073709551615 212435677893 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6213/statm: 3476 780 334 181 0 485 0
[startup+0.116514 s]
/proc/loadavg: 1.90 2.02 2.00 2/481 6213
/proc/meminfo: memFree=27087632/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=16356 CPUtime=0.11 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 1732 0 0 0 11 0 0 0 25 0 1 0 819623580 16748544 1444 33554432000 4194304 4933572 140736001976032 18446744073709551615 4664480 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6213/statm: 4089 1444 375 181 0 1098 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 16356
[startup+0.200503 s]
/proc/loadavg: 1.90 2.02 2.00 2/481 6213
/proc/meminfo: memFree=27087632/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=16356 CPUtime=0.19 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 1732 0 0 0 19 0 0 0 25 0 1 0 819623580 16748544 1444 33554432000 4194304 4933572 140736001976032 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6213/statm: 4089 1444 375 181 0 1098 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16356
[startup+0.300484 s]
/proc/loadavg: 1.90 2.02 2.00 2/481 6213
/proc/meminfo: memFree=27087632/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=16356 CPUtime=0.29 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 1742 0 0 0 29 0 0 0 25 0 1 0 819623580 16748544 1454 33554432000 4194304 4933572 140736001976032 18446744073709551615 4329803 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6213/statm: 4089 1454 375 181 0 1098 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16356
[startup+0.700415 s]
/proc/loadavg: 1.90 2.02 2.00 2/481 6213
/proc/meminfo: memFree=27087632/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=16356 CPUtime=0.69 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 1742 0 0 0 69 0 0 0 25 0 1 0 819623580 16748544 1454 33554432000 4194304 4933572 140736001976032 18446744073709551615 4648809 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6213/statm: 4089 1454 375 181 0 1098 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16356
[startup+1.50026 s]
/proc/loadavg: 1.91 2.02 2.00 3/482 6214
/proc/meminfo: memFree=27079952/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=16924 CPUtime=1.49 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 1856 0 0 0 149 0 0 0 25 0 1 0 819623580 17330176 1568 33554432000 4194304 4933572 140736001976032 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6213/statm: 4231 1568 375 181 0 1240 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16924
[startup+3.10096 s]
/proc/loadavg: 1.91 2.02 2.00 3/482 6214
/proc/meminfo: memFree=27078340/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=17848 CPUtime=3.09 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 2107 0 0 0 309 0 0 0 25 0 1 0 819623580 18276352 1819 33554432000 4194304 4933572 140736001976032 18446744073709551615 4649726 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6213/statm: 4462 1819 375 181 0 1471 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17848
[startup+6.30032 s]
/proc/loadavg: 1.91 2.02 2.00 3/482 6215
/proc/meminfo: memFree=27077748/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=19168 CPUtime=6.29 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 2444 0 0 0 629 0 0 0 25 0 1 0 819623580 19628032 2156 33554432000 4194304 4933572 140736001976032 18446744073709551615 4330085 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6213/statm: 4792 2156 375 181 0 1801 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19168
[startup+12.7011 s]
/proc/loadavg: 1.92 2.02 2.00 3/482 6215
/proc/meminfo: memFree=27075020/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=20368 CPUtime=12.69 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 2734 0 0 0 1269 0 0 0 25 0 1 0 819623580 20856832 2446 33554432000 4194304 4933572 140736001976032 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6213/statm: 5092 2446 375 181 0 2101 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20368
[startup+25.5007 s]
/proc/loadavg: 1.93 2.01 2.00 3/482 6215
/proc/meminfo: memFree=27070924/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=22636 CPUtime=25.49 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 3287 0 0 0 2549 0 0 0 25 0 1 0 819623580 23179264 2999 33554432000 4194304 4933572 140736001976032 18446744073709551615 4360863 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6213/statm: 5659 2999 375 181 0 2668 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 22636
[startup+51.1009 s]
/proc/loadavg: 1.96 2.01 2.00 5/482 6270
/proc/meminfo: memFree=27078280/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=24928 CPUtime=51.09 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 3863 0 0 0 5109 0 0 0 25 0 1 0 819623580 25526272 3575 33554432000 4194304 4933572 140736001976032 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6213/statm: 6232 3575 375 181 0 3241 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 24928
[startup+102.301 s]
/proc/loadavg: 1.98 2.01 2.00 5/482 6271
/proc/meminfo: memFree=27060208/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=30908 CPUtime=102.3 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 5333 0 0 0 10230 0 0 0 25 0 1 0 819623580 31649792 5045 33554432000 4194304 4933572 140736001976032 18446744073709551615 4649320 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6213/statm: 7727 5045 375 181 0 4736 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 30908
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 2.00 5/482 6273
/proc/meminfo: memFree=27051372/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=33112 CPUtime=162.29 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 5878 0 0 0 16228 1 0 0 25 0 1 0 819623580 33906688 5590 33554432000 4194304 4933572 140736001976032 18446744073709551615 4369036 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6213/statm: 8278 5590 375 181 0 5287 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 33112
[startup+222.319 s]
/proc/loadavg: 1.99 2.00 2.00 5/482 6274
/proc/meminfo: memFree=27044632/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=37248 CPUtime=222.3 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 6858 0 0 0 22229 1 0 0 25 0 1 0 819623580 38141952 6570 33554432000 4194304 4933572 140736001976032 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6213/statm: 9312 6570 375 181 0 6321 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 37248
[startup+282.3 s]
/proc/loadavg: 2.13 2.03 2.01 4/482 6276
/proc/meminfo: memFree=27040408/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=38856 CPUtime=282.29 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 7230 0 0 0 28228 1 0 0 25 0 1 0 819623580 39788544 6942 33554432000 4194304 4933572 140736001976032 18446744073709551615 4648693 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6213/statm: 9714 6942 375 181 0 6723 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 38856
[startup+342.301 s]
/proc/loadavg: 2.23 2.07 2.02 5/482 6277
/proc/meminfo: memFree=27035436/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=43296 CPUtime=342.29 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 8311 0 0 0 34228 1 0 0 25 0 1 0 819623580 44335104 8023 33554432000 4194304 4933572 140736001976032 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6213/statm: 10824 8023 375 181 0 7833 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 43296
[startup+402.301 s]
/proc/loadavg: 2.14 2.07 2.02 5/482 6279
/proc/meminfo: memFree=27028592/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=45064 CPUtime=402.29 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 8726 0 0 0 40228 1 0 0 25 0 1 0 819623580 46145536 8438 33554432000 4194304 4933572 140736001976032 18446744073709551615 4718528 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6213/statm: 11266 8438 375 181 0 8275 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 45064
[startup+462.3 s]
/proc/loadavg: 2.05 2.05 2.01 4/482 6281
/proc/meminfo: memFree=27026092/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=45724 CPUtime=462.29 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 8915 0 0 0 46228 1 0 0 25 0 1 0 819623580 46821376 8627 33554432000 4194304 4933572 140736001976032 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6213/statm: 11431 8627 375 181 0 8440 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 45724
[startup+522.301 s]
/proc/loadavg: 2.02 2.04 2.01 5/482 6282
/proc/meminfo: memFree=27019500/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=49192 CPUtime=522.29 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 9760 0 0 0 52228 1 0 0 25 0 1 0 819623580 50372608 9472 33554432000 4194304 4933572 140736001976032 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6213/statm: 12298 9472 375 181 0 9307 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 49192
[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.00 5/482 6284
/proc/meminfo: memFree=27018120/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=50528 CPUtime=582.29 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 10063 0 0 0 58228 1 0 0 25 0 1 0 819623580 51740672 9775 33554432000 4194304 4933572 140736001976032 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6213/statm: 12632 9775 375 181 0 9641 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 50528
[startup+642.301 s]
################
# More data... #
################
[startup+882.318 s]
/proc/loadavg: 2.06 2.04 2.01 5/482 6304
/proc/meminfo: memFree=26999364/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=61312 CPUtime=882.32 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 12666 0 0 0 88231 1 0 0 25 0 1 0 819623580 62783488 12378 33554432000 4194304 4933572 140736001976032 18446744073709551615 4368896 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6213/statm: 15328 12378 375 181 0 12337 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 61312
[startup+942.3 s]
/proc/loadavg: 2.05 2.05 2.01 4/482 6305
/proc/meminfo: memFree=26994744/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=62516 CPUtime=942.31 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 12958 0 0 0 94230 1 0 0 25 0 1 0 819623580 64016384 12670 33554432000 4194304 4933572 140736001976032 18446744073709551615 4319481 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6213/statm: 15629 12670 375 181 0 12638 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 62516
[startup+1002.3 s]
/proc/loadavg: 2.02 2.03 2.00 5/482 6307
/proc/meminfo: memFree=26992860/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=62452 CPUtime=1002.31 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 13145 0 0 0 100230 1 0 0 25 0 1 0 819623580 63950848 12688 33554432000 4194304 4933572 140736001976032 18446744073709551615 4330145 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6213/statm: 15613 12688 375 181 0 12622 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 62452
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 5/482 6309
/proc/meminfo: memFree=26991732/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=63376 CPUtime=1062.31 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 13360 0 0 0 106230 1 0 0 25 0 1 0 819623580 64897024 12903 33554432000 4194304 4933572 140736001976032 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6213/statm: 15844 12903 375 181 0 12853 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 63376
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 5/482 6310
/proc/meminfo: memFree=26990828/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=63904 CPUtime=1122.31 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 13497 0 0 0 112230 1 0 0 25 0 1 0 819623580 65437696 13040 33554432000 4194304 4933572 140736001976032 18446744073709551615 4637459 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6213/statm: 15976 13040 375 181 0 12985 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 63904
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 5/482 6312
/proc/meminfo: memFree=26988580/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=65760 CPUtime=1182.32 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 14085 0 0 0 118230 2 0 0 25 0 1 0 819623580 67338240 13512 33554432000 4194304 4933572 140736001976032 18446744073709551615 4332754 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6213/statm: 16440 13512 375 181 0 13449 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 65760
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 5/482 6313
/proc/meminfo: memFree=26988820/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=65192 CPUtime=1242.32 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 14224 0 0 0 124230 2 0 0 25 0 1 0 819623580 66756608 13331 33554432000 4194304 4933572 140736001976032 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6213/statm: 16298 13331 377 181 0 13307 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 65192
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 5/482 6315
/proc/meminfo: memFree=26983464/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=67888 CPUtime=1302.33 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 14847 0 0 0 130231 2 0 0 25 0 1 0 819623580 69517312 13954 33554432000 4194304 4933572 140736001976032 18446744073709551615 4330119 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6213/statm: 16972 13954 377 181 0 13981 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 67888
[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 5/482 6317
/proc/meminfo: memFree=26981332/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=68880 CPUtime=1362.33 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 15056 0 0 0 136231 2 0 0 25 0 1 0 819623580 70533120 14163 33554432000 4194304 4933572 140736001976032 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6213/statm: 17220 14163 377 181 0 14229 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 68880
[startup+1422.3 s]
/proc/loadavg: 2.16 2.05 2.01 5/482 6318
/proc/meminfo: memFree=26980576/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=69340 CPUtime=1422.34 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 15174 0 0 0 142232 2 0 0 25 0 1 0 819623580 71004160 14281 33554432000 4194304 4933572 140736001976032 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6213/statm: 17335 14281 377 181 0 14344 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 69340
[startup+1482.3 s]
/proc/loadavg: 2.10 2.06 2.01 4/482 6320
/proc/meminfo: memFree=26979064/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=70256 CPUtime=1482.33 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 15383 0 0 0 148231 2 0 0 25 0 1 0 819623580 71942144 14490 33554432000 4194304 4933572 140736001976032 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6213/statm: 17564 14490 377 181 0 14573 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 70256
[startup+1542.32 s]
/proc/loadavg: 2.04 2.04 2.01 5/482 6321
/proc/meminfo: memFree=26978404/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=70700 CPUtime=1542.35 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 15488 0 0 0 154233 2 0 0 25 0 1 0 819623580 72396800 14595 33554432000 4194304 4933572 140736001976032 18446744073709551615 4649567 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6213/statm: 17675 14595 377 181 0 14684 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 70700
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 5/482 6323
/proc/meminfo: memFree=26976788/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=71188 CPUtime=1602.34 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 15605 0 0 0 160232 2 0 0 25 0 1 0 819623580 72896512 14712 33554432000 4194304 4933572 140736001976032 18446744073709551615 4363376 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6213/statm: 17797 14712 377 181 0 14806 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 71188
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 5/482 6325
/proc/meminfo: memFree=26974648/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=71372 CPUtime=1662.34 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 15650 0 0 0 166232 2 0 0 25 0 1 0 819623580 73084928 14757 33554432000 4194304 4933572 140736001976032 18446744073709551615 4369049 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6213/statm: 17843 14757 377 181 0 14852 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 71372
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 5/482 6326
/proc/meminfo: memFree=26973756/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=71516 CPUtime=1722.34 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 15696 0 0 0 172232 2 0 0 25 0 1 0 819623580 73232384 14803 33554432000 4194304 4933572 140736001976032 18446744073709551615 4717752 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6213/statm: 17879 14803 377 181 0 14888 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 71516
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 5/482 6328
/proc/meminfo: memFree=26972008/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=72080 CPUtime=1782.34 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 15818 0 0 0 178232 2 0 0 25 0 1 0 819623580 73809920 14925 33554432000 4194304 4933572 140736001976032 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6213/statm: 18020 14925 377 181 0 15029 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 72080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 6328
/proc/meminfo: memFree=26971388/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=72212 CPUtime=1800.05 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 15837 0 0 0 180003 2 0 0 25 0 1 0 819623580 73945088 14944 33554432000 4194304 4933572 140736001976032 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6213/statm: 18053 14944 377 181 0 15062 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 72212
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 6328
/proc/meminfo: memFree=26971388/32951124 swapFree=38422276/67111528
[pid=6213] ppid=6211 vsize=72212 CPUtime=1800.05 cores=0,2,4,6
/proc/6213/stat : 6213 (clasp) R 6211 6213 30895 0 -1 4202496 15837 0 0 0 180003 2 0 0 25 0 1 0 819623580 73945088 14944 33554432000 4194304 4933572 140736001976032 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6213/statm: 18053 14944 377 181 0 15062 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 72212
Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.07
CPU user time (s): 1800.04
CPU system time (s): 0.026995
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 72212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.026995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15849
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= 8
involuntary context switches= 2848
runsolver used 9.10462 second user time and 18.6912 second system time
The end