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-3468075-1307107503/watcher-3468075-1307107503 -o /tmp/evaluation-result-3468075-1307107503/solver-3468075-1307107503 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468075-1307107503.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.03 2.04 1.94 3/489 21085
/proc/meminfo: memFree=27266148/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=12440 CPUtime=0 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 501 0 0 0 0 0 0 0 25 0 1 0 822348846 12738560 441 33554432000 4194304 4933572 140735592521408 18446744073709551615 210204308165 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 3110 441 367 181 0 119 0
[startup+0.0975719 s]
/proc/loadavg: 2.03 2.04 1.94 3/489 21085
/proc/meminfo: memFree=27266148/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=12836 CPUtime=0.09 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 621 0 0 0 9 0 0 0 25 0 1 0 822348846 13144064 561 33554432000 4194304 4933572 140735592521408 18446744073709551615 4649590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 3209 561 374 181 0 218 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12836
[startup+0.100575 s]
/proc/loadavg: 2.03 2.04 1.94 3/489 21085
/proc/meminfo: memFree=27266148/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=12836 CPUtime=0.09 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 621 0 0 0 9 0 0 0 25 0 1 0 822348846 13144064 561 33554432000 4194304 4933572 140735592521408 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 3209 561 374 181 0 218 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12836
[startup+0.300542 s]
/proc/loadavg: 2.03 2.04 1.94 3/489 21085
/proc/meminfo: memFree=27266148/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=13100 CPUtime=0.29 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 696 0 0 0 29 0 0 0 25 0 1 0 822348846 13414400 636 33554432000 4194304 4933572 140735592521408 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 3275 636 374 181 0 284 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13100
[startup+0.70047 s]
/proc/loadavg: 2.03 2.04 1.94 3/489 21085
/proc/meminfo: memFree=27266148/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=13496 CPUtime=0.69 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 785 0 0 0 69 0 0 0 25 0 1 0 822348846 13819904 725 33554432000 4194304 4933572 140735592521408 18446744073709551615 4332800 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 3374 725 374 181 0 383 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13496
[startup+1.50034 s]
/proc/loadavg: 2.03 2.04 1.94 3/490 21086
/proc/meminfo: memFree=27263188/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=14052 CPUtime=1.49 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 929 0 0 0 149 0 0 0 25 0 1 0 822348846 14389248 869 33554432000 4194304 4933572 140735592521408 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 3513 869 374 181 0 522 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14052
[startup+3.10107 s]
/proc/loadavg: 2.03 2.04 1.94 3/490 21086
/proc/meminfo: memFree=27261452/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=14752 CPUtime=3.09 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1076 0 0 0 309 0 0 0 25 0 1 0 822348846 15106048 1016 33554432000 4194304 4933572 140735592521408 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 3688 1016 374 181 0 697 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14752
[startup+6.30053 s]
/proc/loadavg: 2.03 2.04 1.94 3/490 21086
/proc/meminfo: memFree=27260452/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=15316 CPUtime=6.29 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1203 0 0 0 629 0 0 0 25 0 1 0 822348846 15683584 1143 33554432000 4194304 4933572 140735592521408 18446744073709551615 4717554 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 3829 1143 374 181 0 838 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15316
[startup+12.7005 s]
/proc/loadavg: 2.02 2.04 1.94 3/490 21086
/proc/meminfo: memFree=27259208/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=15888 CPUtime=12.69 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1338 0 0 0 1269 0 0 0 25 0 1 0 822348846 16269312 1278 33554432000 4194304 4933572 140735592521408 18446744073709551615 4331664 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 3972 1278 374 181 0 981 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15888
[startup+25.5003 s]
/proc/loadavg: 2.02 2.04 1.94 3/490 21086
/proc/meminfo: memFree=27258452/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=16500 CPUtime=25.49 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1471 0 0 0 2549 0 0 0 25 0 1 0 822348846 16896000 1411 33554432000 4194304 4933572 140735592521408 18446744073709551615 4637128 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 4125 1411 374 181 0 1134 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16500
[startup+51.101 s]
/proc/loadavg: 2.09 2.05 1.94 3/490 21087
/proc/meminfo: memFree=27256940/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=16952 CPUtime=51.09 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1592 0 0 0 5109 0 0 0 25 0 1 0 822348846 17358848 1532 33554432000 4194304 4933572 140735592521408 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 4238 1532 374 181 0 1247 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16952
[startup+102.318 s]
/proc/loadavg: 2.04 2.04 1.94 3/490 21088
/proc/meminfo: memFree=27256280/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=17252 CPUtime=102.3 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1683 0 0 0 10230 0 0 0 25 0 1 0 822348846 17666048 1623 33554432000 4194304 4933572 140735592521408 18446744073709551615 4717253 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 4313 1623 374 181 0 1322 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 17252
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 1.94 3/490 21090
/proc/meminfo: memFree=27255116/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=17252 CPUtime=162.29 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1701 0 0 0 16229 0 0 0 25 0 1 0 822348846 17666048 1641 33554432000 4194304 4933572 140735592521408 18446744073709551615 4331842 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 4313 1641 374 181 0 1322 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 17252
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/490 21092
/proc/meminfo: memFree=27255208/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=17400 CPUtime=222.29 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1712 0 0 0 22229 0 0 0 25 0 1 0 822348846 17817600 1652 33554432000 4194304 4933572 140735592521408 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 4350 1652 374 181 0 1359 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 17400
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/490 21093
/proc/meminfo: memFree=27255188/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=17400 CPUtime=282.29 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1716 0 0 0 28229 0 0 0 25 0 1 0 822348846 17817600 1656 33554432000 4194304 4933572 140735592521408 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 4350 1656 374 181 0 1359 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 17400
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 1.94 3/490 21094
/proc/meminfo: memFree=27255268/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=17400 CPUtime=342.29 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1730 0 0 0 34229 0 0 0 25 0 1 0 822348846 17817600 1670 33554432000 4194304 4933572 140735592521408 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 4350 1670 374 181 0 1359 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 17400
[startup+402.301 s]
/proc/loadavg: 2.09 2.04 1.95 3/490 21096
/proc/meminfo: memFree=27255220/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=17400 CPUtime=402.29 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1749 0 0 0 40229 0 0 0 25 0 1 0 822348846 17817600 1689 33554432000 4194304 4933572 140735592521408 18446744073709551615 4360959 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 4350 1689 374 181 0 1359 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 17400
[startup+462.301 s]
/proc/loadavg: 2.03 2.03 1.95 3/490 21098
/proc/meminfo: memFree=27255176/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=17552 CPUtime=462.29 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1759 0 0 0 46229 0 0 0 25 0 1 0 822348846 17973248 1699 33554432000 4194304 4933572 140735592521408 18446744073709551615 4361242 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 4388 1699 374 181 0 1397 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 17552
[startup+522.301 s]
/proc/loadavg: 2.01 2.02 1.95 3/490 21099
/proc/meminfo: memFree=27255268/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=17552 CPUtime=522.29 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1770 0 0 0 52229 0 0 0 25 0 1 0 822348846 17973248 1710 33554432000 4194304 4933572 140735592521408 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 4388 1710 374 181 0 1397 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 17552
[startup+582.301 s]
/proc/loadavg: 2.11 2.05 1.96 3/490 21101
/proc/meminfo: memFree=27255224/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=17552 CPUtime=582.29 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1770 0 0 0 58229 0 0 0 25 0 1 0 822348846 17973248 1710 33554432000 4194304 4933572 140735592521408 18446744073709551615 4664576 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 4388 1710 374 181 0 1397 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 17552
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.05 2.04 1.97 3/490 21107
/proc/meminfo: memFree=27255196/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=17552 CPUtime=822.29 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1772 0 0 0 82229 0 0 0 25 0 1 0 822348846 17973248 1712 33554432000 4194304 4933572 140735592521408 18446744073709551615 4635376 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 4388 1712 374 181 0 1397 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 17552
[startup+882.3 s]
/proc/loadavg: 2.02 2.03 1.97 3/490 21109
/proc/meminfo: memFree=27254924/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=17552 CPUtime=882.3 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1775 0 0 0 88230 0 0 0 25 0 1 0 822348846 17973248 1715 33554432000 4194304 4933572 140735592521408 18446744073709551615 4630596 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 4388 1715 374 181 0 1397 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 17552
[startup+942.3 s]
/proc/loadavg: 2.13 2.05 1.98 3/490 21110
/proc/meminfo: memFree=27255136/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=17552 CPUtime=942.3 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1780 0 0 0 94230 0 0 0 25 0 1 0 822348846 17973248 1720 33554432000 4194304 4933572 140735592521408 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 4388 1720 374 181 0 1397 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 17552
[startup+1002.3 s]
/proc/loadavg: 2.10 2.06 1.99 3/490 21112
/proc/meminfo: memFree=27255204/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=17552 CPUtime=1002.3 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1789 0 0 0 100230 0 0 0 25 0 1 0 822348846 17973248 1729 33554432000 4194304 4933572 140735592521408 18446744073709551615 4718175 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 4388 1729 374 181 0 1397 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 17552
[startup+1062.3 s]
/proc/loadavg: 2.04 2.04 1.99 3/490 21114
/proc/meminfo: memFree=27255272/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=17552 CPUtime=1062.3 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1798 0 0 0 106230 0 0 0 25 0 1 0 822348846 17973248 1738 33554432000 4194304 4933572 140735592521408 18446744073709551615 4632813 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 4388 1738 374 181 0 1397 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 17552
[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 1.99 3/490 21116
/proc/meminfo: memFree=27254996/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=17552 CPUtime=1122.3 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1802 0 0 0 112230 0 0 0 25 0 1 0 822348846 17973248 1742 33554432000 4194304 4933572 140735592521408 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 4388 1742 374 181 0 1397 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 17552
[startup+1182.3 s]
/proc/loadavg: 2.14 2.06 2.00 3/490 21117
/proc/meminfo: memFree=27255224/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=17552 CPUtime=1182.3 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1802 0 0 0 118230 0 0 0 25 0 1 0 822348846 17973248 1742 33554432000 4194304 4933572 140735592521408 18446744073709551615 4635602 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 4388 1742 374 181 0 1397 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 17552
[startup+1242.3 s]
/proc/loadavg: 2.11 2.06 2.00 3/490 21118
/proc/meminfo: memFree=27254684/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=17552 CPUtime=1242.3 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1803 0 0 0 124230 0 0 0 25 0 1 0 822348846 17973248 1743 33554432000 4194304 4933572 140735592521408 18446744073709551615 210204344992 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 4388 1743 374 181 0 1397 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 17552
[startup+1302.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/490 21120
/proc/meminfo: memFree=27254636/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=17552 CPUtime=1302.31 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1804 0 0 0 130231 0 0 0 25 0 1 0 822348846 17973248 1744 33554432000 4194304 4933572 140735592521408 18446744073709551615 4668789 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 4388 1744 374 181 0 1397 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 17552
[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/490 21122
/proc/meminfo: memFree=27254968/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=17552 CPUtime=1362.3 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1804 0 0 0 136230 0 0 0 25 0 1 0 822348846 17973248 1744 33554432000 4194304 4933572 140735592521408 18446744073709551615 4360923 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 4388 1744 374 181 0 1397 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 17552
[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 21124
/proc/meminfo: memFree=27254932/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=17700 CPUtime=1422.32 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1833 0 0 0 142232 0 0 0 25 0 1 0 822348846 18124800 1773 33554432000 4194304 4933572 140735592521408 18446744073709551615 4718544 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 4425 1773 374 181 0 1434 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 17700
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 21125
/proc/meminfo: memFree=27255140/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=17700 CPUtime=1482.3 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1833 0 0 0 148230 0 0 0 25 0 1 0 822348846 18124800 1773 33554432000 4194304 4933572 140735592521408 18446744073709551615 4635412 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 4425 1773 374 181 0 1434 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 17700
[startup+1542.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/490 21126
/proc/meminfo: memFree=27257212/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=17700 CPUtime=1542.31 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1833 0 0 0 154231 0 0 0 25 0 1 0 822348846 18124800 1773 33554432000 4194304 4933572 140735592521408 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 4425 1773 374 181 0 1434 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 17700
[startup+1602.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/490 21128
/proc/meminfo: memFree=27256316/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=17700 CPUtime=1602.31 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1833 0 0 0 160231 0 0 0 25 0 1 0 822348846 18124800 1773 33554432000 4194304 4933572 140735592521408 18446744073709551615 4664518 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 4425 1773 374 181 0 1434 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 17700
[startup+1662.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/490 21130
/proc/meminfo: memFree=27255792/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=17700 CPUtime=1662.31 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1833 0 0 0 166231 0 0 0 25 0 1 0 822348846 18124800 1773 33554432000 4194304 4933572 140735592521408 18446744073709551615 4711285 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 4425 1773 374 181 0 1434 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 17700
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/490 21131
/proc/meminfo: memFree=27256120/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=17700 CPUtime=1722.31 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1833 0 0 0 172231 0 0 0 25 0 1 0 822348846 18124800 1773 33554432000 4194304 4933572 140735592521408 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 4425 1773 374 181 0 1434 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 17700
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 21161
/proc/meminfo: memFree=27256320/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=17700 CPUtime=1782.32 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1833 0 0 0 178231 1 0 0 25 0 1 0 822348846 18124800 1773 33554432000 4194304 4933572 140735592521408 18446744073709551615 4637147 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 4425 1773 374 181 0 1434 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 17700
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.06 2.04 2.00 3/490 21162
/proc/meminfo: memFree=27256664/32951124 swapFree=63649284/67111528
[pid=21085] ppid=21083 vsize=17700 CPUtime=1800.03 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 19900 0 -1 4202496 1833 0 0 0 180002 1 0 0 25 0 1 0 822348846 18124800 1773 33554432000 4194304 4933572 140735592521408 18446744073709551615 4649396 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 4425 1773 374 181 0 1434 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 17700
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.02
CPU time (s): 1800.04
CPU user time (s): 1800.03
CPU system time (s): 0.010998
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 17700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.010998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1846
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= 2627
runsolver used 9.28859 second user time and 18.5282 second system time
The end