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-3468299-1307107870/watcher-3468299-1307107870 -o /tmp/evaluation-result-3468299-1307107870/solver-3468299-1307107870 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468299-1307107870.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.92 2.00 1.99 2/535 18434
/proc/meminfo: memFree=29134200/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=12572 CPUtime=0.01 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 558 0 0 0 1 0 0 0 25 0 1 0 822385012 12873728 498 33554432000 4194304 4933572 140734285833344 18446744073709551615 228244009669 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 3143 498 375 181 0 152 0
[startup+0.114126 s]
/proc/loadavg: 1.92 2.00 1.99 2/535 18434
/proc/meminfo: memFree=29134200/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=13364 CPUtime=0.11 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 742 0 0 0 11 0 0 0 25 0 1 0 822385012 13684736 682 33554432000 4194304 4933572 140734285833344 18446744073709551615 4717568 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 3341 682 377 181 0 350 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13364
[startup+0.201111 s]
/proc/loadavg: 1.92 2.00 1.99 2/535 18434
/proc/meminfo: memFree=29134200/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=13496 CPUtime=0.2 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 774 0 0 0 20 0 0 0 25 0 1 0 822385012 13819904 714 33554432000 4194304 4933572 140734285833344 18446744073709551615 4637154 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 3374 714 377 181 0 383 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 13496
[startup+0.30109 s]
/proc/loadavg: 1.92 2.00 1.99 2/535 18434
/proc/meminfo: memFree=29134200/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=13628 CPUtime=0.3 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 813 0 0 0 30 0 0 0 25 0 1 0 822385012 13955072 753 33554432000 4194304 4933572 140734285833344 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 3407 753 377 181 0 416 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 13628
[startup+0.701033 s]
/proc/loadavg: 1.92 2.00 1.99 2/535 18434
/proc/meminfo: memFree=29134200/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=14288 CPUtime=0.7 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 970 0 0 0 70 0 0 0 25 0 1 0 822385012 14630912 910 33554432000 4194304 4933572 140734285833344 18446744073709551615 4664581 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 3572 910 377 181 0 581 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 14288
[startup+1.50088 s]
/proc/loadavg: 1.92 2.00 1.99 3/536 18435
/proc/meminfo: memFree=29130472/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=14952 CPUtime=1.5 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 1153 0 0 0 150 0 0 0 25 0 1 0 822385012 15310848 1093 33554432000 4194304 4933572 140734285833344 18446744073709551615 4632755 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 3738 1093 377 181 0 747 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 14952
[startup+3.10057 s]
/proc/loadavg: 1.92 2.00 1.99 3/536 18435
/proc/meminfo: memFree=29128492/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=15740 CPUtime=3.1 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 1336 0 0 0 310 0 0 0 25 0 1 0 822385012 16117760 1276 33554432000 4194304 4933572 140734285833344 18446744073709551615 4360883 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 3935 1276 378 181 0 944 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 15740
[startup+6.30103 s]
/proc/loadavg: 1.93 2.00 1.99 3/536 18435
/proc/meminfo: memFree=29127624/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=16420 CPUtime=6.3 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 1519 0 0 0 630 0 0 0 25 0 1 0 822385012 16814080 1459 33554432000 4194304 4933572 140734285833344 18446744073709551615 4363293 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 4105 1459 378 181 0 1114 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 16420
[startup+12.7009 s]
/proc/loadavg: 2.09 2.04 2.01 3/536 18435
/proc/meminfo: memFree=29125508/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=17496 CPUtime=12.7 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 1764 0 0 0 1270 0 0 0 25 0 1 0 822385012 17915904 1704 33554432000 4194304 4933572 140734285833344 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 4374 1704 378 181 0 1383 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 17496
[startup+25.5007 s]
/proc/loadavg: 2.07 2.03 2.00 3/536 18435
/proc/meminfo: memFree=29125488/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=18060 CPUtime=25.5 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 1879 0 0 0 2550 0 0 0 25 0 1 0 822385012 18493440 1819 33554432000 4194304 4933572 140734285833344 18446744073709551615 4718330 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 4515 1819 378 181 0 1524 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 18060
[startup+51.1012 s]
/proc/loadavg: 2.05 2.03 2.00 3/536 18436
/proc/meminfo: memFree=29124080/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=19036 CPUtime=51.1 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 2121 0 0 0 5110 0 0 0 25 0 1 0 822385012 19492864 2054 33554432000 4194304 4933572 140734285833344 18446744073709551615 4331712 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 4759 2054 378 181 0 1768 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 19036
[startup+102.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/536 18437
/proc/meminfo: memFree=29123896/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=19336 CPUtime=102.31 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 2216 0 0 0 10231 0 0 0 25 0 1 0 822385012 19800064 2149 33554432000 4194304 4933572 140734285833344 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 4834 2149 378 181 0 1843 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 19336
[startup+162.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/536 18439
/proc/meminfo: memFree=29121252/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=19784 CPUtime=162.29 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 2301 0 0 0 16229 0 0 0 25 0 1 0 822385012 20258816 2234 33554432000 4194304 4933572 140734285833344 18446744073709551615 4717568 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 4946 2234 378 181 0 1955 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 19784
[startup+222.32 s]
/proc/loadavg: 2.01 2.02 2.00 3/536 18441
/proc/meminfo: memFree=29121688/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=19784 CPUtime=222.31 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 2329 0 0 0 22231 0 0 0 25 0 1 0 822385012 20258816 2262 33554432000 4194304 4933572 140734285833344 18446744073709551615 4718544 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 4946 2262 378 181 0 1955 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 19784
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18442
/proc/meminfo: memFree=29122260/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=20084 CPUtime=282.29 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 2375 0 0 0 28229 0 0 0 25 0 1 0 822385012 20566016 2308 33554432000 4194304 4933572 140734285833344 18446744073709551615 4664515 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 5021 2308 378 181 0 2030 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 20084
[startup+342.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/536 18444
/proc/meminfo: memFree=29122224/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=20084 CPUtime=342.29 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 2392 0 0 0 34229 0 0 0 25 0 1 0 822385012 20566016 2325 33554432000 4194304 4933572 140734285833344 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 5021 2325 378 181 0 2030 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 20084
[startup+402.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/536 18445
/proc/meminfo: memFree=29122196/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=20084 CPUtime=402.29 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 2393 0 0 0 40229 0 0 0 25 0 1 0 822385012 20566016 2326 33554432000 4194304 4933572 140734285833344 18446744073709551615 4363389 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 5021 2326 378 181 0 2030 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 20084
[startup+462.301 s]
/proc/loadavg: 2.04 2.04 2.01 3/536 18447
/proc/meminfo: memFree=29122036/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=20236 CPUtime=462.3 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 2411 0 0 0 46230 0 0 0 25 0 1 0 822385012 20721664 2344 33554432000 4194304 4933572 140734285833344 18446744073709551615 4718548 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 5059 2344 378 181 0 2068 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 20236
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 18449
/proc/meminfo: memFree=29122004/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=20236 CPUtime=522.3 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 2432 0 0 0 52230 0 0 0 25 0 1 0 822385012 20721664 2365 33554432000 4194304 4933572 140734285833344 18446744073709551615 4718512 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 5059 2365 378 181 0 2068 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 20236
[startup+582.301 s]
/proc/loadavg: 2.14 2.06 2.01 3/536 18450
/proc/meminfo: memFree=29121860/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=20236 CPUtime=582.3 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 2435 0 0 0 58230 0 0 0 25 0 1 0 822385012 20721664 2368 33554432000 4194304 4933572 140734285833344 18446744073709551615 4331712 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 5059 2368 378 181 0 2068 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 20236
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 18457
/proc/meminfo: memFree=29121568/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=20236 CPUtime=822.29 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 2439 0 0 0 82229 0 0 0 25 0 1 0 822385012 20721664 2372 33554432000 4194304 4933572 140734285833344 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 5059 2372 378 181 0 2068 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 20236
[startup+882.32 s]
/proc/loadavg: 2.11 2.05 2.01 3/536 18458
/proc/meminfo: memFree=29121048/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=20236 CPUtime=882.3 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 2440 0 0 0 88230 0 0 0 25 0 1 0 822385012 20721664 2373 33554432000 4194304 4933572 140734285833344 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 5059 2373 378 181 0 2068 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 20236
[startup+942.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/536 18460
/proc/meminfo: memFree=29121380/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=20236 CPUtime=942.28 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 2441 0 0 0 94228 0 0 0 25 0 1 0 822385012 20721664 2374 33554432000 4194304 4933572 140734285833344 18446744073709551615 4363251 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 5059 2374 378 181 0 2068 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 20236
[startup+1002.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/536 18461
/proc/meminfo: memFree=29121344/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=20236 CPUtime=1002.28 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 2441 0 0 0 100228 0 0 0 25 0 1 0 822385012 20721664 2374 33554432000 4194304 4933572 140734285833344 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 5059 2374 378 181 0 2068 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 20236
[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 18463
/proc/meminfo: memFree=29121304/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=20236 CPUtime=1062.28 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 2441 0 0 0 106228 0 0 0 25 0 1 0 822385012 20721664 2374 33554432000 4194304 4933572 140734285833344 18446744073709551615 4710912 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 5059 2374 378 181 0 2068 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 20236
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18465
/proc/meminfo: memFree=29121400/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=20236 CPUtime=1122.28 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 2443 0 0 0 112228 0 0 0 25 0 1 0 822385012 20721664 2376 33554432000 4194304 4933572 140734285833344 18446744073709551615 4713174 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 5059 2376 378 181 0 2068 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 20236
[startup+1182.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/536 18466
/proc/meminfo: memFree=29119616/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=20236 CPUtime=1182.28 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 2445 0 0 0 118228 0 0 0 25 0 1 0 822385012 20721664 2378 33554432000 4194304 4933572 140734285833344 18446744073709551615 4637163 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 5059 2378 378 181 0 2068 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 20236
[startup+1242.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/536 18468
/proc/meminfo: memFree=29120224/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=20236 CPUtime=1242.28 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 2446 0 0 0 124228 0 0 0 25 0 1 0 822385012 20721664 2379 33554432000 4194304 4933572 140734285833344 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 5059 2379 378 181 0 2068 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 20236
[startup+1302.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 18469
/proc/meminfo: memFree=29120672/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=20236 CPUtime=1302.28 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 2454 0 0 0 130228 0 0 0 25 0 1 0 822385012 20721664 2387 33554432000 4194304 4933572 140734285833344 18446744073709551615 4369810 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 5059 2387 378 181 0 2068 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 20236
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 18471
/proc/meminfo: memFree=29121640/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=20236 CPUtime=1362.28 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 2454 0 0 0 136228 0 0 0 25 0 1 0 822385012 20721664 2387 33554432000 4194304 4933572 140734285833344 18446744073709551615 4718636 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 5059 2387 378 181 0 2068 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 20236
[startup+1422.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/536 18473
/proc/meminfo: memFree=29121224/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=20236 CPUtime=1422.29 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 2454 0 0 0 142229 0 0 0 25 0 1 0 822385012 20721664 2387 33554432000 4194304 4933572 140734285833344 18446744073709551615 4664518 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 5059 2387 378 181 0 2068 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 20236
[startup+1482.3 s]
/proc/loadavg: 2.20 2.08 2.02 3/536 18474
/proc/meminfo: memFree=29121540/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=20236 CPUtime=1482.28 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 2455 0 0 0 148228 0 0 0 25 0 1 0 822385012 20721664 2388 33554432000 4194304 4933572 140734285833344 18446744073709551615 4330085 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 5059 2388 378 181 0 2068 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 20236
[startup+1542.32 s]
/proc/loadavg: 2.07 2.06 2.01 3/536 18476
/proc/meminfo: memFree=29121016/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=20384 CPUtime=1542.3 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 2463 0 0 0 154230 0 0 0 25 0 1 0 822385012 20873216 2396 33554432000 4194304 4933572 140734285833344 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 5096 2396 378 181 0 2105 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 20384
[startup+1602.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/536 18477
/proc/meminfo: memFree=29121472/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=20384 CPUtime=1602.28 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 2463 0 0 0 160228 0 0 0 25 0 1 0 822385012 20873216 2396 33554432000 4194304 4933572 140734285833344 18446744073709551615 4625232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 5096 2396 378 181 0 2105 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 20384
[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/536 18479
/proc/meminfo: memFree=29121560/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=20384 CPUtime=1662.28 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 2477 0 0 0 166228 0 0 0 25 0 1 0 822385012 20873216 2410 33554432000 4194304 4933572 140734285833344 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 5096 2410 378 181 0 2105 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 20384
[startup+1722.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/536 18481
/proc/meminfo: memFree=29121492/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=20384 CPUtime=1722.28 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 2478 0 0 0 172228 0 0 0 25 0 1 0 822385012 20873216 2411 33554432000 4194304 4933572 140734285833344 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 5096 2411 378 181 0 2105 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 20384
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.00 2/530 18500
/proc/meminfo: memFree=29129560/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=20384 CPUtime=1782.28 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 2479 0 0 0 178228 0 0 0 25 0 1 0 822385012 20873216 2412 33554432000 4194304 4933572 140734285833344 18446744073709551615 4649396 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 5096 2412 378 181 0 2105 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 20384
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 1.71 1.97 1.98 2/530 18510
/proc/meminfo: memFree=29129628/32951124 swapFree=58212616/67111528
[pid=18434] ppid=18432 vsize=20384 CPUtime=1800.09 cores=0,2,4,6
/proc/18434/stat : 18434 (clasp) R 18432 18434 17375 0 -1 4202496 2479 0 0 0 180009 0 0 0 25 0 1 0 822385012 20873216 2412 33554432000 4194304 4933572 140734285833344 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18434/statm: 5096 2412 378 181 0 2105 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 20384
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.12
CPU time (s): 1800.11
CPU user time (s): 1800.1
CPU system time (s): 0.007998
CPU usage (%): 99.9994
Max. virtual memory (cumulated for all children) (KiB): 20384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.1
system time used= 0.007998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2488
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 4874
runsolver used 10.3204 second user time and 20.6999 second system time
The end