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-3469502-1307104801/watcher-3469502-1307104801 -o /tmp/evaluation-result-3469502-1307104801/solver-3469502-1307104801 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469502-1307104801.opb --solu --heu=VSIDS
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: 2.12 2.04 2.01 3/515 9265
/proc/meminfo: memFree=23194296/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=13120 CPUtime=0 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 672 0 0 0 0 0 0 0 19 0 1 0 900710734 13434880 590 33554432000 4194304 4933572 140735486783552 18446744073709551615 256415052485 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 3280 591 327 181 0 289 0
[startup+0.089257 s]
/proc/loadavg: 2.12 2.04 2.01 3/515 9265
/proc/meminfo: memFree=23194296/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=14184 CPUtime=0.08 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 1013 0 0 0 8 0 0 0 19 0 1 0 900710734 14524416 903 33554432000 4194304 4933572 140735486783552 18446744073709551615 4718523 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 3546 903 371 181 0 555 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14184
[startup+0.100261 s]
/proc/loadavg: 2.12 2.04 2.01 3/515 9265
/proc/meminfo: memFree=23194296/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=14184 CPUtime=0.09 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 1013 0 0 0 9 0 0 0 19 0 1 0 900710734 14524416 903 33554432000 4194304 4933572 140735486783552 18446744073709551615 4649834 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 3546 903 371 181 0 555 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14184
[startup+0.300231 s]
/proc/loadavg: 2.12 2.04 2.01 3/515 9265
/proc/meminfo: memFree=23194296/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=14316 CPUtime=0.29 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 1018 0 0 0 29 0 0 0 20 0 1 0 900710734 14659584 908 33554432000 4194304 4933572 140735486783552 18446744073709551615 4718558 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 3579 908 371 181 0 588 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14316
[startup+0.700144 s]
/proc/loadavg: 2.12 2.04 2.01 3/515 9265
/proc/meminfo: memFree=23194296/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=14588 CPUtime=0.69 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 1085 0 0 0 69 0 0 0 20 0 1 0 900710734 14938112 975 33554432000 4194304 4933572 140735486783552 18446744073709551615 4713041 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 3647 975 371 181 0 656 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14588
[startup+1.50099 s]
/proc/loadavg: 2.12 2.04 2.01 3/516 9266
/proc/meminfo: memFree=23191072/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=14732 CPUtime=1.49 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 1141 0 0 0 149 0 0 0 23 0 1 0 900710734 15085568 1031 33554432000 4194304 4933572 140735486783552 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 3683 1031 371 181 0 692 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14732
[startup+3.1007 s]
/proc/loadavg: 2.11 2.04 2.01 3/516 9266
/proc/meminfo: memFree=23189604/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=15288 CPUtime=3.09 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 1275 0 0 0 309 0 0 0 25 0 1 0 900710734 15654912 1165 33554432000 4194304 4933572 140735486783552 18446744073709551615 4718219 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 3822 1165 371 181 0 831 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15288
[startup+6.30108 s]
/proc/loadavg: 2.11 2.04 2.01 3/516 9266
/proc/meminfo: memFree=23188180/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=16216 CPUtime=6.29 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 1525 0 0 0 629 0 0 0 25 0 1 0 900710734 16605184 1415 33554432000 4194304 4933572 140735486783552 18446744073709551615 4377152 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 4054 1415 376 181 0 1063 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16216
[startup+12.7009 s]
/proc/loadavg: 2.10 2.04 2.01 3/516 9266
/proc/meminfo: memFree=23187116/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=16612 CPUtime=12.69 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 1618 0 0 0 1269 0 0 0 25 0 1 0 900710734 17010688 1508 33554432000 4194304 4933572 140735486783552 18446744073709551615 256415050498 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 4153 1508 376 181 0 1162 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16612
[startup+25.5005 s]
/proc/loadavg: 2.08 2.03 2.01 3/516 9267
/proc/meminfo: memFree=23185380/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=17732 CPUtime=25.49 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 1880 0 0 0 2549 0 0 0 25 0 1 0 900710734 18157568 1770 33554432000 4194304 4933572 140735486783552 18446744073709551615 4710995 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 4433 1770 376 181 0 1442 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17732
[startup+51.1006 s]
/proc/loadavg: 2.05 2.03 2.00 3/516 9267
/proc/meminfo: memFree=23183136/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=19320 CPUtime=51.09 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 2241 0 0 0 5109 0 0 0 25 0 1 0 900710734 19783680 2131 33554432000 4194304 4933572 140735486783552 18446744073709551615 256415082565 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 4830 2131 376 181 0 1839 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19320
[startup+102.319 s]
/proc/loadavg: 2.02 2.02 2.00 3/516 9269
/proc/meminfo: memFree=23178384/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=21140 CPUtime=102.31 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 2680 0 0 0 10231 0 0 0 25 0 1 0 900710734 21647360 2570 33554432000 4194304 4933572 140735486783552 18446744073709551615 4713056 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 5285 2570 376 181 0 2294 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 21140
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 9270
/proc/meminfo: memFree=23173220/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=22884 CPUtime=162.29 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 3069 0 0 0 16229 0 0 0 25 0 1 0 900710734 23433216 2959 33554432000 4194304 4933572 140735486783552 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 5721 2959 376 181 0 2730 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 22884
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 9272
/proc/meminfo: memFree=23171776/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=23708 CPUtime=222.29 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 3292 0 0 0 22229 0 0 0 25 0 1 0 900710734 24276992 3178 33554432000 4194304 4933572 140735486783552 18446744073709551615 4717627 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 5927 3178 376 181 0 2936 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 23708
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 9273
/proc/meminfo: memFree=23170324/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=24416 CPUtime=282.29 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 3458 0 0 0 28229 0 0 0 25 0 1 0 900710734 25001984 3344 33554432000 4194304 4933572 140735486783552 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 6104 3344 376 181 0 3113 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 24416
[startup+342.301 s]
/proc/loadavg: 2.13 2.04 2.01 3/516 9275
/proc/meminfo: memFree=23169132/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=25208 CPUtime=342.29 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 3613 0 0 0 34229 0 0 0 25 0 1 0 900710734 25812992 3499 33554432000 4194304 4933572 140735486783552 18446744073709551615 4718431 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 6302 3499 376 181 0 3311 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 25208
[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/516 9277
/proc/meminfo: memFree=23167716/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=25552 CPUtime=402.3 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 3693 0 0 0 40230 0 0 0 25 0 1 0 900710734 26165248 3579 33554432000 4194304 4933572 140735486783552 18446744073709551615 4377659 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 6388 3579 376 181 0 3397 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 25552
[startup+462.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/516 9278
/proc/meminfo: memFree=23165772/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=25964 CPUtime=462.3 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 3797 0 0 0 46230 0 0 0 25 0 1 0 900710734 26587136 3683 33554432000 4194304 4933572 140735486783552 18446744073709551615 4649366 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 6491 3683 376 181 0 3500 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 25964
[startup+522.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/516 9280
/proc/meminfo: memFree=23166456/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=26800 CPUtime=522.31 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 4003 0 0 0 52230 1 0 0 25 0 1 0 900710734 27443200 3889 33554432000 4194304 4933572 140735486783552 18446744073709551615 4637196 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 6700 3889 376 181 0 3709 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 26800
[startup+582.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/516 9281
/proc/meminfo: memFree=23165504/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=27100 CPUtime=582.31 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 4081 0 0 0 58230 1 0 0 25 0 1 0 900710734 27750400 3967 33554432000 4194304 4933572 140735486783552 18446744073709551615 4649377 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 6775 3967 376 181 0 3784 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 27100
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 9288
/proc/meminfo: memFree=23155388/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=28580 CPUtime=822.32 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 4408 0 0 0 82231 1 0 0 25 0 1 0 900710734 29265920 4294 33554432000 4194304 4933572 140735486783552 18446744073709551615 4637468 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 7145 4294 376 181 0 4154 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 28580
[startup+882.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/516 9289
/proc/meminfo: memFree=23154192/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=28580 CPUtime=882.32 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 4408 0 0 0 88231 1 0 0 25 0 1 0 900710734 29265920 4294 33554432000 4194304 4933572 140735486783552 18446744073709551615 4711168 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 7145 4294 376 181 0 4154 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 28580
[startup+942.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/516 9291
/proc/meminfo: memFree=23154748/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=28888 CPUtime=942.32 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 4478 0 0 0 94231 1 0 0 25 0 1 0 900710734 29581312 4364 33554432000 4194304 4933572 140735486783552 18446744073709551615 4718523 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 7222 4364 376 181 0 4231 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 28888
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 9293
/proc/meminfo: memFree=23154420/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=29028 CPUtime=1002.32 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 4517 0 0 0 100231 1 0 0 25 0 1 0 900710734 29724672 4403 33554432000 4194304 4933572 140735486783552 18446744073709551615 4649386 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 7257 4403 376 181 0 4266 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 29028
[startup+1062.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/516 9294
/proc/meminfo: memFree=23154092/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=29368 CPUtime=1062.33 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 4591 0 0 0 106232 1 0 0 25 0 1 0 900710734 30072832 4477 33554432000 4194304 4933572 140735486783552 18446744073709551615 4718227 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 7342 4477 376 181 0 4351 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 29368
[startup+1122.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/516 9296
/proc/meminfo: memFree=23153880/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=29508 CPUtime=1122.33 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 4620 0 0 0 112232 1 0 0 25 0 1 0 900710734 30216192 4506 33554432000 4194304 4933572 140735486783552 18446744073709551615 4362217 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 7377 4506 376 181 0 4386 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 29508
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/516 9297
/proc/meminfo: memFree=23152300/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=29648 CPUtime=1182.33 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 4650 0 0 0 118232 1 0 0 25 0 1 0 900710734 30359552 4536 33554432000 4194304 4933572 140735486783552 18446744073709551615 4711010 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 7412 4536 376 181 0 4421 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 29648
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 9299
/proc/meminfo: memFree=23151956/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=29648 CPUtime=1242.33 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 4672 0 0 0 124232 1 0 0 25 0 1 0 900710734 30359552 4558 33554432000 4194304 4933572 140735486783552 18446744073709551615 4649818 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 7412 4558 376 181 0 4421 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 29648
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 9310
/proc/meminfo: memFree=23151524/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=29816 CPUtime=1302.34 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 4692 0 0 0 130233 1 0 0 25 0 1 0 900710734 30531584 4578 33554432000 4194304 4933572 140735486783552 18446744073709551615 4718528 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 7454 4578 376 181 0 4463 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 29816
[startup+1362.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/516 9311
/proc/meminfo: memFree=23150592/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=30152 CPUtime=1362.33 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 4770 0 0 0 136232 1 0 0 25 0 1 0 900710734 30875648 4656 33554432000 4194304 4933572 140735486783552 18446744073709551615 4648411 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 7538 4656 376 181 0 4547 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 30152
[startup+1422.32 s]
/proc/loadavg: 2.10 2.04 2.01 3/516 9313
/proc/meminfo: memFree=23150780/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=30324 CPUtime=1422.36 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 4826 0 0 0 142235 1 0 0 25 0 1 0 900710734 31051776 4712 33554432000 4194304 4933572 140735486783552 18446744073709551615 4718548 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 7581 4712 376 181 0 4590 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 30324
[startup+1482.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/516 9314
/proc/meminfo: memFree=23149964/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=30324 CPUtime=1482.34 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 4832 0 0 0 148233 1 0 0 25 0 1 0 900710734 31051776 4718 33554432000 4194304 4933572 140735486783552 18446744073709551615 4718293 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 7581 4718 376 181 0 4590 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 30324
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/516 9316
/proc/meminfo: memFree=23149532/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=30324 CPUtime=1542.34 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 4832 0 0 0 154233 1 0 0 25 0 1 0 900710734 31051776 4718 33554432000 4194304 4933572 140735486783552 18446744073709551615 4711159 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 7581 4718 376 181 0 4590 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 30324
[startup+1602.3 s]
/proc/loadavg: 1.37 1.84 1.94 2/510 9336
/proc/meminfo: memFree=23220160/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=30660 CPUtime=1602.34 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 4887 0 0 0 160233 1 0 0 25 0 1 0 900710734 31395840 4773 33554432000 4194304 4933572 140735486783552 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 7665 4773 376 181 0 4674 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 30660
[startup+1662.3 s]
/proc/loadavg: 1.13 1.68 1.87 2/510 9337
/proc/meminfo: memFree=23220072/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=30660 CPUtime=1662.35 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 4899 0 0 0 166234 1 0 0 25 0 1 0 900710734 31395840 4785 33554432000 4194304 4933572 140735486783552 18446744073709551615 4428670 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 7665 4785 376 181 0 4674 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 30660
[startup+1722.3 s]
/proc/loadavg: 1.05 1.55 1.82 2/510 9339
/proc/meminfo: memFree=23220008/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=30800 CPUtime=1722.35 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 4919 0 0 0 172234 1 0 0 25 0 1 0 900710734 31539200 4805 33554432000 4194304 4933572 140735486783552 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 7700 4805 376 181 0 4709 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 30800
[startup+1782.3 s]
/proc/loadavg: 1.02 1.45 1.76 2/510 9340
/proc/meminfo: memFree=23218304/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=31304 CPUtime=1782.35 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 5028 0 0 0 178234 1 0 0 25 0 1 0 900710734 32055296 4914 33554432000 4194304 4933572 140735486783552 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 7826 4914 376 181 0 4835 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 31304
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.01 1.43 1.75 2/510 9341
/proc/meminfo: memFree=23219008/32950928 swapFree=58671692/67111528
[pid=9265] ppid=9263 vsize=31304 CPUtime=1800.06 cores=1,3,5,7
/proc/9265/stat : 9265 (clasp) R 9263 9265 8237 0 -1 4202496 5050 0 0 0 180005 1 0 0 25 0 1 0 900710734 32055296 4936 33554432000 4194304 4933572 140735486783552 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9265/statm: 7826 4936 376 181 0 4835 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 31304
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.08
CPU user time (s): 1800.07
CPU system time (s): 0.014997
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 31304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.07
system time used= 0.014997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5061
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= 9
involuntary context switches= 3033
runsolver used 8.33973 second user time and 21.1948 second system time
The end