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-3468883-1307119461/watcher-3468883-1307119461 -o /tmp/evaluation-result-3468883-1307119461/solver-3468883-1307119461 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468883-1307119461.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: 1.07 1.09 1.43 3/549 23964
/proc/meminfo: memFree=21160588/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=19812 CPUtime=0.01 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 2618 0 0 0 1 0 0 0 23 0 1 0 823546513 20287488 2217 33554432000 4194304 4933572 140734912182592 18446744073709551615 253640520389 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/23964/statm: 4953 2217 333 181 0 1962 0
[startup+0.044395 s]
/proc/loadavg: 1.07 1.09 1.43 3/549 23964
/proc/meminfo: memFree=21160588/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=21664 CPUtime=0.04 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 3271 0 0 0 4 0 0 0 23 0 1 0 823546513 22183936 2668 33554432000 4194304 4933572 140734912182592 18446744073709551615 253640859392 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/23964/statm: 5416 2668 333 181 0 2425 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21664
[startup+0.100382 s]
/proc/loadavg: 1.07 1.09 1.43 3/549 23964
/proc/meminfo: memFree=21160588/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=25076 CPUtime=0.09 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 4940 0 0 0 9 0 0 0 23 0 1 0 823546513 25677824 3537 33554432000 4194304 4933572 140734912182592 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/23964/statm: 6269 3537 367 181 0 3278 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25076
[startup+0.300342 s]
/proc/loadavg: 1.07 1.09 1.43 3/549 23964
/proc/meminfo: memFree=21160588/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=25076 CPUtime=0.29 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 4949 0 0 0 29 0 0 0 25 0 1 0 823546513 25677824 3546 33554432000 4194304 4933572 140734912182592 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/23964/statm: 6269 3546 374 181 0 3278 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25076
[startup+0.70028 s]
/proc/loadavg: 1.07 1.09 1.43 3/549 23964
/proc/meminfo: memFree=21160588/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=25076 CPUtime=0.69 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 4950 0 0 0 69 0 0 0 25 0 1 0 823546513 25677824 3547 33554432000 4194304 4933572 140734912182592 18446744073709551615 4649734 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/23964/statm: 6269 3547 375 181 0 3278 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25076
[startup+1.50013 s]
/proc/loadavg: 1.07 1.09 1.43 5/551 23966
/proc/meminfo: memFree=21139624/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=25076 CPUtime=1.49 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 4950 0 0 0 149 0 0 0 25 0 1 0 823546513 25677824 3547 33554432000 4194304 4933572 140734912182592 18446744073709551615 4711010 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/23964/statm: 6269 3547 375 181 0 3278 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25076
[startup+3.10083 s]
/proc/loadavg: 1.07 1.09 1.43 5/551 23966
/proc/meminfo: memFree=21138384/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=25076 CPUtime=3.09 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 4950 0 0 0 309 0 0 0 25 0 1 0 823546513 25677824 3547 33554432000 4194304 4933572 140734912182592 18446744073709551615 4710923 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/23964/statm: 6269 3547 375 181 0 3278 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25076
[startup+6.30025 s]
/proc/loadavg: 1.14 1.10 1.43 5/551 23966
/proc/meminfo: memFree=21137576/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=26000 CPUtime=6.29 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 5225 0 0 0 629 0 0 0 25 0 1 0 823546513 26624000 3822 33554432000 4194304 4933572 140734912182592 18446744073709551615 4648734 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/23964/statm: 6500 3822 375 181 0 3509 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26000
[startup+12.7011 s]
/proc/loadavg: 1.21 1.12 1.43 5/551 23966
/proc/meminfo: memFree=21133668/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=28396 CPUtime=12.69 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 5827 0 0 0 1269 0 0 0 25 0 1 0 823546513 29077504 4424 33554432000 4194304 4933572 140734912182592 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/23964/statm: 7099 4424 377 181 0 4108 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28396
[startup+25.5008 s]
/proc/loadavg: 1.38 1.16 1.44 5/551 23966
/proc/meminfo: memFree=21129932/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=30756 CPUtime=25.49 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 6371 0 0 0 2549 0 0 0 25 0 1 0 823546513 31494144 4968 33554432000 4194304 4933572 140734912182592 18446744073709551615 4632166 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/23964/statm: 7689 4968 377 181 0 4698 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30756
[startup+51.1011 s]
/proc/loadavg: 1.59 1.23 1.46 5/551 23967
/proc/meminfo: memFree=21122792/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=35432 CPUtime=51.09 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 7540 0 0 0 5109 0 0 0 25 0 1 0 823546513 36282368 6137 33554432000 4194304 4933572 140734912182592 18446744073709551615 4648629 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/23964/statm: 8858 6137 377 181 0 5867 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 35432
[startup+102.321 s]
/proc/loadavg: 1.82 1.34 1.48 5/551 23968
/proc/meminfo: memFree=21114228/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=40272 CPUtime=102.29 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 8719 0 0 0 10228 1 0 0 25 0 1 0 823546513 41238528 7316 33554432000 4194304 4933572 140734912182592 18446744073709551615 4648934 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/23964/statm: 10068 7316 377 181 0 7077 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 40272
[startup+162.301 s]
/proc/loadavg: 1.93 1.46 1.51 5/551 23970
/proc/meminfo: memFree=21107244/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=43328 CPUtime=162.27 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 9466 0 0 0 16226 1 0 0 25 0 1 0 823546513 44367872 8063 33554432000 4194304 4933572 140734912182592 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/23964/statm: 10832 8063 377 181 0 7841 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 43328
[startup+222.301 s]
/proc/loadavg: 2.11 1.59 1.55 3/551 24026
/proc/meminfo: memFree=21098376/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=47648 CPUtime=222.27 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 10558 0 0 0 22226 1 0 0 25 0 1 0 823546513 48791552 9155 33554432000 4194304 4933572 140734912182592 18446744073709551615 4648592 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/23964/statm: 11912 9155 377 181 0 8921 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 47648
[startup+282.301 s]
/proc/loadavg: 2.10 1.68 1.58 3/551 24027
/proc/meminfo: memFree=21085560/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=51384 CPUtime=282.28 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 11462 0 0 0 28226 2 0 0 25 0 1 0 823546513 52617216 10059 33554432000 4194304 4933572 140734912182592 18446744073709551615 4648534 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/23964/statm: 12846 10059 377 181 0 9855 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 51384
[startup+342.3 s]
/proc/loadavg: 2.13 1.76 1.61 3/551 24029
/proc/meminfo: memFree=21070152/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=51912 CPUtime=342.27 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 11610 0 0 0 34225 2 0 0 25 0 1 0 823546513 53157888 10207 33554432000 4194304 4933572 140734912182592 18446744073709551615 4649377 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/23964/statm: 12978 10207 377 181 0 9987 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 51912
[startup+402.3 s]
/proc/loadavg: 2.14 1.83 1.65 3/551 24030
/proc/meminfo: memFree=21061940/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=54896 CPUtime=402.27 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 12329 0 0 0 40225 2 0 0 25 0 1 0 823546513 56213504 10926 33554432000 4194304 4933572 140734912182592 18446744073709551615 4648297 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/23964/statm: 13724 10926 377 181 0 10733 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 54896
[startup+462.3 s]
/proc/loadavg: 2.05 1.86 1.66 3/551 24032
/proc/meminfo: memFree=21054224/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=60200 CPUtime=462.27 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 13659 0 0 0 46225 2 0 0 25 0 1 0 823546513 61644800 12256 33554432000 4194304 4933572 140734912182592 18446744073709551615 4329744 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/23964/statm: 15050 12256 377 181 0 12059 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 60200
[startup+522.3 s]
/proc/loadavg: 2.02 1.88 1.68 3/551 24034
/proc/meminfo: memFree=21042656/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=62744 CPUtime=522.27 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 14289 0 0 0 52225 2 0 0 25 0 1 0 823546513 64249856 12886 33554432000 4194304 4933572 140734912182592 18446744073709551615 4649399 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/23964/statm: 15686 12886 377 181 0 12695 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 62744
[startup+582.3 s]
/proc/loadavg: 2.00 1.90 1.70 3/551 24035
/proc/meminfo: memFree=21036932/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=66152 CPUtime=582.27 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 15135 0 0 0 58225 2 0 0 25 0 1 0 823546513 67739648 13732 33554432000 4194304 4933572 140734912182592 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/23964/statm: 16538 13732 377 181 0 13547 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 66152
[startup+642.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.16 2.02 1.79 3/551 24043
/proc/meminfo: memFree=21020672/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=70500 CPUtime=882.26 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 16134 0 0 0 88224 2 0 0 25 0 1 0 823546513 72192000 14731 33554432000 4194304 4933572 140734912182592 18446744073709551615 4330028 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/23964/statm: 17625 14731 377 181 0 14634 0
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (KiB) 70500
[startup+942.301 s]
/proc/loadavg: 2.12 2.03 1.81 3/551 24045
/proc/meminfo: memFree=21018904/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=71296 CPUtime=942.26 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 16327 0 0 0 94224 2 0 0 25 0 1 0 823546513 73007104 14924 33554432000 4194304 4933572 140734912182592 18446744073709551615 4649250 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/23964/statm: 17824 14924 377 181 0 14833 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 71296
[startup+1002.3 s]
/proc/loadavg: 2.04 2.02 1.82 3/551 24055
/proc/meminfo: memFree=21007336/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=71916 CPUtime=1002.26 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 16464 0 0 0 100224 2 0 0 25 0 1 0 823546513 73641984 15061 33554432000 4194304 4933572 140734912182592 18446744073709551615 4648512 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/23964/statm: 17979 15061 377 181 0 14988 0
Current children cumulated CPU time (s) 1002.26
Current children cumulated vsize (KiB) 71916
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 1.83 3/551 24057
/proc/meminfo: memFree=21005944/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=74448 CPUtime=1062.26 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 17080 0 0 0 106224 2 0 0 25 0 1 0 823546513 76234752 15677 33554432000 4194304 4933572 140734912182592 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/23964/statm: 18612 15677 377 181 0 15621 0
Current children cumulated CPU time (s) 1062.26
Current children cumulated vsize (KiB) 74448
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.83 3/551 24059
/proc/meminfo: memFree=21004664/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=76124 CPUtime=1122.27 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 17470 0 0 0 112224 3 0 0 25 0 1 0 823546513 77950976 16067 33554432000 4194304 4933572 140734912182592 18446744073709551615 4718636 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/23964/statm: 19031 16067 377 181 0 16040 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 76124
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.84 3/551 24063
/proc/meminfo: memFree=20999176/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=76572 CPUtime=1182.27 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 17589 0 0 0 118224 3 0 0 25 0 1 0 823546513 78409728 16186 33554432000 4194304 4933572 140734912182592 18446744073709551615 4631912 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/23964/statm: 19143 16186 377 181 0 16152 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 76572
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/551 24065
/proc/meminfo: memFree=20995728/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=77240 CPUtime=1242.27 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 17736 0 0 0 124224 3 0 0 25 0 1 0 823546513 79093760 16333 33554432000 4194304 4933572 140734912182592 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/23964/statm: 19310 16333 377 181 0 16319 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 77240
[startup+1302.3 s]
/proc/loadavg: 2.10 2.03 1.86 3/551 24066
/proc/meminfo: memFree=20993588/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=78668 CPUtime=1302.29 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 18105 0 0 0 130226 3 0 0 25 0 1 0 823546513 80556032 16702 33554432000 4194304 4933572 140734912182592 18446744073709551615 4718634 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/23964/statm: 19667 16702 377 181 0 16676 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 78668
[startup+1362.3 s]
/proc/loadavg: 2.13 2.05 1.88 3/551 24068
/proc/meminfo: memFree=20992440/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=79328 CPUtime=1362.26 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 18228 0 0 0 136223 3 0 0 25 0 1 0 823546513 81231872 16825 33554432000 4194304 4933572 140734912182592 18446744073709551615 4629757 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/23964/statm: 19832 16825 377 181 0 16841 0
Current children cumulated CPU time (s) 1362.26
Current children cumulated vsize (KiB) 79328
[startup+1422.32 s]
/proc/loadavg: 2.05 2.04 1.88 3/551 24070
/proc/meminfo: memFree=20989804/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=79864 CPUtime=1422.28 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 18385 0 0 0 142225 3 0 0 25 0 1 0 823546513 81780736 16982 33554432000 4194304 4933572 140734912182592 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/23964/statm: 19966 16982 377 181 0 16975 0
Current children cumulated CPU time (s) 1422.28
Current children cumulated vsize (KiB) 79864
[startup+1482.3 s]
/proc/loadavg: 2.08 2.06 1.90 3/551 24071
/proc/meminfo: memFree=20989536/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=80624 CPUtime=1482.26 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 18561 0 0 0 148223 3 0 0 25 0 1 0 823546513 82558976 17158 33554432000 4194304 4933572 140734912182592 18446744073709551615 4332787 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/23964/statm: 20156 17158 377 181 0 17165 0
Current children cumulated CPU time (s) 1482.26
Current children cumulated vsize (KiB) 80624
[startup+1542.3 s]
/proc/loadavg: 2.06 2.06 1.91 3/551 24073
/proc/meminfo: memFree=20989124/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=81044 CPUtime=1542.26 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 18646 0 0 0 154223 3 0 0 25 0 1 0 823546513 82989056 17243 33554432000 4194304 4933572 140734912182592 18446744073709551615 4319463 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23964/statm: 20261 17243 377 181 0 17270 0
Current children cumulated CPU time (s) 1542.26
Current children cumulated vsize (KiB) 81044
[startup+1602.3 s]
/proc/loadavg: 2.02 2.05 1.91 3/551 24074
/proc/meminfo: memFree=20981284/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=87140 CPUtime=1602.26 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 20158 0 0 0 160223 3 0 0 25 0 1 0 823546513 89231360 18755 33554432000 4194304 4933572 140734912182592 18446744073709551615 4319463 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23964/statm: 21785 18755 377 181 0 18794 0
Current children cumulated CPU time (s) 1602.26
Current children cumulated vsize (KiB) 87140
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 1.91 3/551 24076
/proc/meminfo: memFree=20979764/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=87280 CPUtime=1662.26 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 20202 0 0 0 166223 3 0 0 25 0 1 0 823546513 89374720 18799 33554432000 4194304 4933572 140734912182592 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23964/statm: 21820 18799 377 181 0 18829 0
Current children cumulated CPU time (s) 1662.26
Current children cumulated vsize (KiB) 87280
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 1.91 3/551 24078
/proc/meminfo: memFree=20978612/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=87772 CPUtime=1722.27 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 20316 0 0 0 172224 3 0 0 25 0 1 0 823546513 89878528 18913 33554432000 4194304 4933572 140734912182592 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23964/statm: 21943 18913 377 181 0 18952 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 87772
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.91 3/551 24079
/proc/meminfo: memFree=20975000/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=89016 CPUtime=1782.27 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 20612 0 0 0 178224 3 0 0 25 0 1 0 823546513 91152384 19209 33554432000 4194304 4933572 140734912182592 18446744073709551615 4332794 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23964/statm: 22254 19209 377 181 0 19263 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 89016
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.00 2.02 1.91 3/551 24080
/proc/meminfo: memFree=20975096/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=89272 CPUtime=1800.09 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 20637 0 0 0 180006 3 0 0 25 0 1 0 823546513 91414528 19234 33554432000 4194304 4933572 140734912182592 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23964/statm: 22318 19234 377 181 0 19327 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 89272
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.00 2.02 1.91 3/551 24080
/proc/meminfo: memFree=20975096/32951124 swapFree=53733252/67111528
[pid=23964] ppid=23962 vsize=89272 CPUtime=1800.09 cores=1,3,5,7
/proc/23964/stat : 23964 (clasp) R 23962 23964 21496 0 -1 4202496 20637 0 0 0 180006 3 0 0 25 0 1 0 823546513 91414528 19234 33554432000 4194304 4933572 140734912182592 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/23964/statm: 22318 19234 377 181 0 19327 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 89272
Child status: 0
Real time (s): 1800.13
CPU time (s): 1800.1
CPU user time (s): 1800.06
CPU system time (s): 0.038994
CPU usage (%): 99.9985
Max. virtual memory (cumulated for all children) (KiB): 89272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.06
system time used= 0.038994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20650
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= 7
involuntary context switches= 5830
runsolver used 9.50056 second user time and 23.2325 second system time
The end