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-3478899-1307444648/watcher-3478899-1307444648 -o /tmp/evaluation-result-3478899-1307444648/solver-3478899-1307444648 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3478899-1307444648.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.10 2.05 2.01 2/575 23402
/proc/meminfo: memFree=23289636/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=15348 CPUtime=0.01 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 1261 0 0 0 1 0 0 0 25 0 1 0 856062539 15716352 1129 33554432000 4194304 4933572 140737350048560 18446744073709551615 212687336133 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 3837 1129 333 181 0 846 0
[startup+0.104606 s]
/proc/loadavg: 2.10 2.05 2.01 2/575 23402
/proc/meminfo: memFree=23289636/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=25324 CPUtime=0.09 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 4200 0 0 0 9 0 0 0 25 0 1 0 856062539 25931776 3595 33554432000 4194304 4933572 140737350048560 18446744073709551615 212687336133 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 6331 3596 333 181 0 3340 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25324
[startup+0.200592 s]
/proc/loadavg: 2.10 2.05 2.01 2/575 23402
/proc/meminfo: memFree=23289636/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=34600 CPUtime=0.19 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 6845 0 0 0 19 0 0 0 25 0 1 0 856062539 35430400 5879 33554432000 4194304 4933572 140737350048560 18446744073709551615 4587984 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 8650 5879 343 181 0 5659 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34600
[startup+0.300576 s]
/proc/loadavg: 2.10 2.05 2.01 2/575 23402
/proc/meminfo: memFree=23289636/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=36592 CPUtime=0.28 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 7749 0 0 0 28 0 0 0 25 0 1 0 856062539 37470208 6433 33554432000 4194304 4933572 140737350048560 18446744073709551615 4369115 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 9148 6433 367 181 0 6157 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 36592
[startup+0.700497 s]
/proc/loadavg: 2.10 2.05 2.01 2/575 23402
/proc/meminfo: memFree=23289636/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=36592 CPUtime=0.68 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 7756 0 0 0 68 0 0 0 25 0 1 0 856062539 37470208 6440 33554432000 4194304 4933572 140737350048560 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 9148 6440 374 181 0 6157 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 36592
[startup+1.50035 s]
/proc/loadavg: 2.10 2.05 2.01 3/576 23403
/proc/meminfo: memFree=23263952/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=36592 CPUtime=1.48 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 7757 0 0 0 148 0 0 0 25 0 1 0 856062539 37470208 6441 33554432000 4194304 4933572 140737350048560 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 9148 6441 374 181 0 6157 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 36592
[startup+3.10106 s]
/proc/loadavg: 2.09 2.05 2.01 3/576 23403
/proc/meminfo: memFree=23262216/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=36592 CPUtime=3.09 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 7757 0 0 0 309 0 0 0 25 0 1 0 856062539 37470208 6441 33554432000 4194304 4933572 140737350048560 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 9148 6441 374 181 0 6157 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36592
[startup+6.30047 s]
/proc/loadavg: 2.09 2.05 2.01 3/576 23403
/proc/meminfo: memFree=23262456/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=36592 CPUtime=6.29 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 7759 0 0 0 629 0 0 0 25 0 1 0 856062539 37470208 6443 33554432000 4194304 4933572 140737350048560 18446744073709551615 4648725 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 9148 6443 376 181 0 6157 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36592
[startup+12.7003 s]
/proc/loadavg: 2.08 2.05 2.01 3/576 23406
/proc/meminfo: memFree=23261140/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=37068 CPUtime=12.69 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 7887 0 0 0 1269 0 0 0 25 0 1 0 856062539 37957632 6571 33554432000 4194304 4933572 140737350048560 18446744073709551615 4632210 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 9267 6571 376 181 0 6276 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37068
[startup+25.501 s]
/proc/loadavg: 2.22 2.08 2.02 3/576 23407
/proc/meminfo: memFree=23260172/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=38372 CPUtime=25.49 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 8200 0 0 0 2549 0 0 0 25 0 1 0 856062539 39292928 6884 33554432000 4194304 4933572 140737350048560 18446744073709551615 4713206 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 9593 6884 376 181 0 6602 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 38372
[startup+51.1003 s]
/proc/loadavg: 2.15 2.07 2.01 3/576 23408
/proc/meminfo: memFree=23258044/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=40816 CPUtime=51.09 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 8810 0 0 0 5109 0 0 0 25 0 1 0 856062539 41795584 7494 33554432000 4194304 4933572 140737350048560 18446744073709551615 4718244 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 10204 7494 376 181 0 7213 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 40816
[startup+102.301 s]
/proc/loadavg: 2.06 2.06 2.01 3/576 23409
/proc/meminfo: memFree=23251912/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=44864 CPUtime=102.31 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 9756 0 0 0 10230 1 0 0 25 0 1 0 856062539 45940736 8440 33554432000 4194304 4933572 140737350048560 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 11216 8440 376 181 0 8225 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 44864
[startup+162.301 s]
/proc/loadavg: 2.02 2.05 2.00 3/576 23411
/proc/meminfo: memFree=23248656/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=47804 CPUtime=162.3 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 10456 0 0 0 16229 1 0 0 25 0 1 0 856062539 48951296 9140 33554432000 4194304 4933572 140737350048560 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 11951 9140 376 181 0 8960 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 47804
[startup+222.322 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 23412
/proc/meminfo: memFree=23247000/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=49156 CPUtime=222.32 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 10799 0 0 0 22231 1 0 0 25 0 1 0 856062539 50335744 9483 33554432000 4194304 4933572 140737350048560 18446744073709551615 4713075 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 12289 9483 376 181 0 9298 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 49156
[startup+282.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 23414
/proc/meminfo: memFree=23243880/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=52000 CPUtime=282.3 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 11466 0 0 0 28229 1 0 0 25 0 1 0 856062539 53248000 10150 33554432000 4194304 4933572 140737350048560 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 13000 10150 376 181 0 10009 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 52000
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 23415
/proc/meminfo: memFree=23243360/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=53884 CPUtime=342.3 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 11898 0 0 0 34229 1 0 0 25 0 1 0 856062539 55177216 10582 33554432000 4194304 4933572 140737350048560 18446744073709551615 4648411 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 13471 10582 376 181 0 10480 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 53884
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/576 23417
/proc/meminfo: memFree=23241956/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=55148 CPUtime=402.3 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 12231 0 0 0 40229 1 0 0 25 0 1 0 856062539 56471552 10915 33554432000 4194304 4933572 140737350048560 18446744073709551615 4711299 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 13787 10915 376 181 0 10796 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 55148
[startup+462.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/576 23419
/proc/meminfo: memFree=23237100/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=59388 CPUtime=462.3 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 13222 0 0 0 46228 2 0 0 25 0 1 0 856062539 60813312 11906 33554432000 4194304 4933572 140737350048560 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 14847 11906 376 181 0 11856 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 59388
[startup+522.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/576 23420
/proc/meminfo: memFree=23234576/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=61236 CPUtime=522.3 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 13715 0 0 0 52228 2 0 0 25 0 1 0 856062539 62705664 12399 33554432000 4194304 4933572 140737350048560 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 15309 12399 376 181 0 12318 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 61236
[startup+582.3 s]
/proc/loadavg: 2.17 2.08 2.02 3/576 23422
/proc/meminfo: memFree=23233800/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=61236 CPUtime=582.31 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 13718 0 0 0 58229 2 0 0 25 0 1 0 856062539 62705664 12402 33554432000 4194304 4933572 140737350048560 18446744073709551615 4718266 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 15309 12402 376 181 0 12318 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 61236
[startup+642.3 s]
################
# More data... #
################
[startup+882.322 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 23430
/proc/meminfo: memFree=23223844/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=66684 CPUtime=882.33 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 15032 0 0 0 88231 2 0 0 25 0 1 0 856062539 68284416 13716 33554432000 4194304 4933572 140737350048560 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 16671 13716 376 181 0 13680 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 66684
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/576 23431
/proc/meminfo: memFree=23223672/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=66896 CPUtime=942.31 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 15062 0 0 0 94229 2 0 0 25 0 1 0 856062539 68501504 13746 33554432000 4194304 4933572 140737350048560 18446744073709551615 4635445 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 16724 13746 376 181 0 13733 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 66896
[startup+1002.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/576 23433
/proc/meminfo: memFree=23222412/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=67592 CPUtime=1002.32 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 15248 0 0 0 100230 2 0 0 25 0 1 0 856062539 69214208 13932 33554432000 4194304 4933572 140737350048560 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 16898 13932 376 181 0 13907 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 67592
[startup+1062.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/576 23435
/proc/meminfo: memFree=23223128/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=67888 CPUtime=1062.32 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 15327 0 0 0 106230 2 0 0 25 0 1 0 856062539 69517312 14011 33554432000 4194304 4933572 140737350048560 18446744073709551615 4710989 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 16972 14011 376 181 0 13981 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 67888
[startup+1122.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/576 23436
/proc/meminfo: memFree=23220620/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=70320 CPUtime=1122.32 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 15914 0 0 0 112230 2 0 0 25 0 1 0 856062539 72007680 14598 33554432000 4194304 4933572 140737350048560 18446744073709551615 4710923 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 17580 14598 376 181 0 14589 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 70320
[startup+1182.3 s]
/proc/loadavg: 2.17 2.08 2.02 3/576 23466
/proc/meminfo: memFree=23266328/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=70464 CPUtime=1182.32 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 15928 0 0 0 118230 2 0 0 25 0 1 0 856062539 72155136 14612 33554432000 4194304 4933572 140737350048560 18446744073709551615 4649413 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 17616 14612 376 181 0 14625 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 70464
[startup+1242.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/576 23467
/proc/meminfo: memFree=23264160/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=70752 CPUtime=1242.32 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 16017 0 0 0 124230 2 0 0 25 0 1 0 856062539 72450048 14701 33554432000 4194304 4933572 140737350048560 18446744073709551615 4718196 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 17688 14701 376 181 0 14697 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 70752
[startup+1302.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/576 23469
/proc/meminfo: memFree=23263144/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=72056 CPUtime=1302.33 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 16322 0 0 0 130231 2 0 0 25 0 1 0 856062539 73785344 15006 33554432000 4194304 4933572 140737350048560 18446744073709551615 4648632 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 18014 15006 376 181 0 15023 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 72056
[startup+1362.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/576 23471
/proc/meminfo: memFree=23261496/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=72056 CPUtime=1362.33 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 16358 0 0 0 136231 2 0 0 25 0 1 0 856062539 73785344 15042 33554432000 4194304 4933572 140737350048560 18446744073709551615 4648657 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 18014 15042 376 181 0 15023 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 72056
[startup+1422.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 23472
/proc/meminfo: memFree=23260720/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=72268 CPUtime=1422.34 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 16403 0 0 0 142232 2 0 0 25 0 1 0 856062539 74002432 15087 33554432000 4194304 4933572 140737350048560 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 18067 15087 376 181 0 15076 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 72268
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 23474
/proc/meminfo: memFree=23260060/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=72520 CPUtime=1482.33 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 16432 0 0 0 148231 2 0 0 25 0 1 0 856062539 74260480 15116 33554432000 4194304 4933572 140737350048560 18446744073709551615 4648641 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 18130 15116 376 181 0 15139 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 72520
[startup+1542.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 23475
/proc/meminfo: memFree=23260276/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=72520 CPUtime=1542.35 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 16457 0 0 0 154233 2 0 0 25 0 1 0 856062539 74260480 15141 33554432000 4194304 4933572 140737350048560 18446744073709551615 4637376 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 18130 15141 376 181 0 15139 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 72520
[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/576 23477
/proc/meminfo: memFree=23260252/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=72520 CPUtime=1602.33 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 16460 0 0 0 160231 2 0 0 25 0 1 0 856062539 74260480 15144 33554432000 4194304 4933572 140737350048560 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 18130 15144 376 181 0 15139 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 72520
[startup+1662.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/576 23479
/proc/meminfo: memFree=23259852/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=72772 CPUtime=1662.34 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 16500 0 0 0 166232 2 0 0 25 0 1 0 856062539 74518528 15184 33554432000 4194304 4933572 140737350048560 18446744073709551615 4328697 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 18193 15184 376 181 0 15202 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 72772
[startup+1722.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/576 23480
/proc/meminfo: memFree=23259708/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=73352 CPUtime=1722.34 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 16643 0 0 0 172232 2 0 0 25 0 1 0 856062539 75112448 15327 33554432000 4194304 4933572 140737350048560 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 18338 15327 376 181 0 15347 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 73352
[startup+1782.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/576 23482
/proc/meminfo: memFree=23258072/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=73632 CPUtime=1782.34 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 16698 0 0 0 178232 2 0 0 25 0 1 0 856062539 75399168 15382 33554432000 4194304 4933572 140737350048560 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 18408 15382 376 181 0 15417 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 73632
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.05 2.06 2.01 3/576 23482
/proc/meminfo: memFree=23258920/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=73632 CPUtime=1800.05 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 16699 0 0 0 180003 2 0 0 25 0 1 0 856062539 75399168 15383 33554432000 4194304 4933572 140737350048560 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 18408 15383 376 181 0 15417 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 73632
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.05 2.06 2.01 3/576 23482
/proc/meminfo: memFree=23258920/32951124 swapFree=58940260/67111528
[pid=23402] ppid=23400 vsize=73632 CPUtime=1800.05 cores=1,3,5,7
/proc/23402/stat : 23402 (clasp) R 23400 23402 22845 0 -1 4202496 16699 0 0 0 180003 2 0 0 25 0 1 0 856062539 75399168 15383 33554432000 4194304 4933572 140737350048560 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23402/statm: 18408 15383 376 181 0 15417 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 73632
Child status: 0
Real time (s): 1800.03
CPU time (s): 1800.08
CPU user time (s): 1800.05
CPU system time (s): 0.032994
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 73632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.032994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16712
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= 10
involuntary context switches= 20908
runsolver used 9.73152 second user time and 24.6653 second system time
The end