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-3468055-1307090126/watcher-3468055-1307090126 -o /tmp/evaluation-result-3468055-1307090126/solver-3468055-1307090126 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468055-1307090126.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.15 1.70 1.88 2/483 11645
/proc/meminfo: memFree=24921892/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=15608 CPUtime=0 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 1376 0 0 0 0 0 0 0 21 0 1 0 899243292 15982592 1204 33554432000 4194304 4933572 140733325884432 18446744073709551615 260905054917 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 3902 1204 332 181 0 911 0
[startup+0.0903969 s]
/proc/loadavg: 1.15 1.70 1.88 2/483 11645
/proc/meminfo: memFree=24921892/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=23172 CPUtime=0.08 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 3967 0 0 0 7 1 0 0 21 0 1 0 899243292 23728128 3051 33554432000 4194304 4933572 140733325884432 18446744073709551615 260905054917 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 5793 3053 332 181 0 2802 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 23172
[startup+0.100331 s]
/proc/loadavg: 1.15 1.70 1.88 2/483 11645
/proc/meminfo: memFree=24921892/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=24640 CPUtime=0.09 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 4581 0 0 0 8 1 0 0 21 0 1 0 899243292 25231360 3259 33554432000 4194304 4933572 140733325884432 18446744073709551615 260905053556 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 6160 3259 332 181 0 3169 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24640
[startup+0.300362 s]
/proc/loadavg: 1.15 1.70 1.88 2/483 11645
/proc/meminfo: memFree=24921892/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=44056 CPUtime=0.29 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 10387 0 0 0 27 2 0 0 22 0 1 0 899243292 45113344 8317 33554432000 4194304 4933572 140733325884432 18446744073709551615 4587830 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 11014 8317 349 181 0 8023 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44056
[startup+0.700228 s]
/proc/loadavg: 1.15 1.70 1.88 2/483 11645
/proc/meminfo: memFree=24921892/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=44056 CPUtime=0.69 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 10387 0 0 0 67 2 0 0 23 0 1 0 899243292 45113344 8317 33554432000 4194304 4933572 140733325884432 18446744073709551615 4587844 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 11014 8317 349 181 0 8023 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44056
[startup+1.50113 s]
/proc/loadavg: 1.15 1.70 1.88 3/484 11646
/proc/meminfo: memFree=24887796/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=40408 CPUtime=1.5 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 10435 0 0 0 148 2 0 0 25 0 1 0 899243292 41377792 7462 33554432000 4194304 4933572 140733325884432 18446744073709551615 4648934 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 10102 7462 381 181 0 7111 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 40408
[startup+3.10085 s]
/proc/loadavg: 1.21 1.70 1.88 3/484 11646
/proc/meminfo: memFree=24889532/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=41340 CPUtime=3.1 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 10660 0 0 0 308 2 0 0 25 0 1 0 899243292 42332160 7687 33554432000 4194304 4933572 140733325884432 18446744073709551615 4648445 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 10335 7687 381 181 0 7344 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 41340
[startup+6.30026 s]
/proc/loadavg: 1.21 1.70 1.88 4/484 11646
/proc/meminfo: memFree=24873596/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=56448 CPUtime=6.29 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 14372 0 0 0 627 2 0 0 25 0 1 0 899243292 57802752 11399 33554432000 4194304 4933572 140733325884432 18446744073709551615 4318085 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 14112 11399 381 181 0 11121 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56448
[startup+12.7011 s]
/proc/loadavg: 1.33 1.71 1.88 3/484 11647
/proc/meminfo: memFree=24853252/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=75036 CPUtime=12.69 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 19055 0 0 0 1266 3 0 0 25 0 1 0 899243292 76836864 16082 33554432000 4194304 4933572 140733325884432 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 18759 16082 381 181 0 15768 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 75036
[startup+25.5007 s]
/proc/loadavg: 1.44 1.72 1.88 3/484 11647
/proc/meminfo: memFree=24844348/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=85016 CPUtime=25.49 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 21204 0 0 0 2545 4 0 0 25 0 1 0 899243292 87056384 18231 33554432000 4194304 4933572 140733325884432 18446744073709551615 4648411 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 21254 18231 383 181 0 18263 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 85016
[startup+51.101 s]
/proc/loadavg: 1.63 1.74 1.88 3/484 11648
/proc/meminfo: memFree=24842896/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=85016 CPUtime=51.09 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 21207 0 0 0 5105 4 0 0 25 0 1 0 899243292 87056384 18234 33554432000 4194304 4933572 140733325884432 18446744073709551615 4663992 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 21254 18234 383 181 0 18263 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 85016
[startup+102.318 s]
/proc/loadavg: 1.85 1.78 1.89 3/484 11649
/proc/meminfo: memFree=24826988/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=99544 CPUtime=102.31 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 24857 0 0 0 10227 4 0 0 25 0 1 0 899243292 101933056 21884 33554432000 4194304 4933572 140733325884432 18446744073709551615 4637192 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 24886 21884 383 181 0 21895 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 99544
[startup+162.301 s]
/proc/loadavg: 1.94 1.82 1.89 3/484 11651
/proc/meminfo: memFree=24807604/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=114476 CPUtime=162.29 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 28747 0 0 0 16224 5 0 0 25 0 1 0 899243292 117223424 25774 33554432000 4194304 4933572 140733325884432 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 28619 25774 383 181 0 25628 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 114476
[startup+222.301 s]
/proc/loadavg: 2.02 1.86 1.91 3/484 11655
/proc/meminfo: memFree=24798380/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=122148 CPUtime=222.3 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 30686 0 0 0 22224 6 0 0 25 0 1 0 899243292 125079552 27713 33554432000 4194304 4933572 140733325884432 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 30537 27713 383 181 0 27546 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 122148
[startup+282.301 s]
/proc/loadavg: 2.00 1.89 1.91 3/484 11657
/proc/meminfo: memFree=24776500/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=145908 CPUtime=282.3 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 36597 0 0 0 28223 7 0 0 25 0 1 0 899243292 149409792 33624 33554432000 4194304 4933572 140733325884432 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 36477 33624 383 181 0 33486 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 145908
[startup+342.301 s]
/proc/loadavg: 2.00 1.90 1.91 3/484 11658
/proc/meminfo: memFree=24775584/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=145908 CPUtime=342.3 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 36621 0 0 0 34223 7 0 0 25 0 1 0 899243292 149409792 33648 33554432000 4194304 4933572 140733325884432 18446744073709551615 4649555 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 36477 33648 383 181 0 33486 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 145908
[startup+402.301 s]
/proc/loadavg: 2.00 1.92 1.91 3/484 11660
/proc/meminfo: memFree=24774688/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=146456 CPUtime=402.31 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 36761 0 0 0 40224 7 0 0 25 0 1 0 899243292 149970944 33788 33554432000 4194304 4933572 140733325884432 18446744073709551615 4649407 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 36614 33788 383 181 0 33623 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 146456
[startup+462.301 s]
/proc/loadavg: 2.00 1.93 1.91 3/484 11662
/proc/meminfo: memFree=24774148/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=146456 CPUtime=462.31 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 36767 0 0 0 46224 7 0 0 25 0 1 0 899243292 149970944 33794 33554432000 4194304 4933572 140733325884432 18446744073709551615 4632072 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 36614 33794 383 181 0 33623 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 146456
[startup+522.301 s]
/proc/loadavg: 2.10 1.97 1.92 3/484 11663
/proc/meminfo: memFree=24773008/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=147816 CPUtime=522.31 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 37077 0 0 0 52224 7 0 0 25 0 1 0 899243292 151363584 34104 33554432000 4194304 4933572 140733325884432 18446744073709551615 4319335 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 36954 34104 383 181 0 33963 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 147816
[startup+582.301 s]
/proc/loadavg: 2.03 1.97 1.92 3/484 11665
/proc/meminfo: memFree=24769380/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=150600 CPUtime=582.31 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 37775 0 0 0 58224 7 0 0 25 0 1 0 899243292 154214400 34802 33554432000 4194304 4933572 140733325884432 18446744073709551615 4330219 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 37650 34802 383 181 0 34659 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 150600
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.03 2.01 1.94 3/484 11671
/proc/meminfo: memFree=24733180/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=185984 CPUtime=822.32 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 46571 0 0 0 82224 8 0 0 25 0 1 0 899243292 190447616 43598 33554432000 4194304 4933572 140733325884432 18446744073709551615 4360923 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 46496 43598 383 181 0 43505 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 185984
[startup+882.301 s]
/proc/loadavg: 2.01 2.00 1.94 3/484 11673
/proc/meminfo: memFree=24728668/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=189232 CPUtime=882.32 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 47372 0 0 0 88224 8 0 0 25 0 1 0 899243292 193773568 44399 33554432000 4194304 4933572 140733325884432 18446744073709551615 4637426 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 47308 44399 383 181 0 44317 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 189232
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/484 11674
/proc/meminfo: memFree=24722812/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=196136 CPUtime=942.32 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 49132 0 0 0 94223 9 0 0 25 0 1 0 899243292 200843264 46159 33554432000 4194304 4933572 140733325884432 18446744073709551615 4330263 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 49034 46159 383 181 0 46043 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 196136
[startup+1002.3 s]
/proc/loadavg: 2.15 2.03 1.95 3/484 11676
/proc/meminfo: memFree=24721928/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=196532 CPUtime=1002.33 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 49232 0 0 0 100224 9 0 0 25 0 1 0 899243292 201248768 46259 33554432000 4194304 4933572 140733325884432 18446744073709551615 4648411 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 49133 46259 383 181 0 46142 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 196532
[startup+1062.3 s]
/proc/loadavg: 2.13 2.04 1.95 3/484 11678
/proc/meminfo: memFree=24721044/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=196532 CPUtime=1062.33 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 49240 0 0 0 106224 9 0 0 25 0 1 0 899243292 201248768 46267 33554432000 4194304 4933572 140733325884432 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 49133 46267 383 181 0 46142 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 196532
[startup+1122.3 s]
/proc/loadavg: 2.04 2.03 1.95 3/484 11679
/proc/meminfo: memFree=24720032/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=196532 CPUtime=1122.33 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 49242 0 0 0 112224 9 0 0 25 0 1 0 899243292 201248768 46269 33554432000 4194304 4933572 140733325884432 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 49133 46269 383 181 0 46142 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 196532
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 1.95 3/484 11681
/proc/meminfo: memFree=24718888/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=196532 CPUtime=1182.33 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 49242 0 0 0 118224 9 0 0 25 0 1 0 899243292 201248768 46269 33554432000 4194304 4933572 140733325884432 18446744073709551615 4330240 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 49133 46269 383 181 0 46142 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 196532
[startup+1242.3 s]
/proc/loadavg: 2.16 2.05 1.96 3/484 11682
/proc/meminfo: memFree=24717876/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=196532 CPUtime=1242.33 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 49242 0 0 0 124224 9 0 0 25 0 1 0 899243292 201248768 46269 33554432000 4194304 4933572 140733325884432 18446744073709551615 4631904 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 49133 46269 383 181 0 46142 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 196532
[startup+1302.3 s]
/proc/loadavg: 2.13 2.06 1.97 3/484 11684
/proc/meminfo: memFree=24717728/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=196532 CPUtime=1302.34 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 49245 0 0 0 130225 9 0 0 25 0 1 0 899243292 201248768 46272 33554432000 4194304 4933572 140733325884432 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 49133 46272 383 181 0 46142 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 196532
[startup+1362.3 s]
/proc/loadavg: 2.05 2.04 1.97 3/484 11686
/proc/meminfo: memFree=24717832/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=196532 CPUtime=1362.34 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 49245 0 0 0 136225 9 0 0 25 0 1 0 899243292 201248768 46272 33554432000 4194304 4933572 140733325884432 18446744073709551615 4632825 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 49133 46272 383 181 0 46142 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 196532
[startup+1422.32 s]
/proc/loadavg: 2.02 2.03 1.97 3/484 11687
/proc/meminfo: memFree=24717424/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=196532 CPUtime=1422.36 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 49245 0 0 0 142227 9 0 0 25 0 1 0 899243292 201248768 46272 33554432000 4194304 4933572 140733325884432 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 49133 46272 383 181 0 46142 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 196532
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/484 11689
/proc/meminfo: memFree=24711800/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=201648 CPUtime=1482.33 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 50504 0 0 0 148224 9 0 0 25 0 1 0 899243292 206487552 47531 33554432000 4194304 4933572 140733325884432 18446744073709551615 4330240 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 50412 47531 383 181 0 47421 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 201648
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/484 11699
/proc/meminfo: memFree=24710524/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=202176 CPUtime=1542.34 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 50634 0 0 0 154225 9 0 0 25 0 1 0 899243292 207028224 47661 33554432000 4194304 4933572 140733325884432 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 50544 47661 383 181 0 47553 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 202176
[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 1.98 3/484 11701
/proc/meminfo: memFree=24706860/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=205620 CPUtime=1602.34 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 51484 0 0 0 160225 9 0 0 25 0 1 0 899243292 210554880 48511 33554432000 4194304 4933572 140733325884432 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 51405 48511 383 181 0 48414 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 205620
[startup+1662.3 s]
/proc/loadavg: 2.06 2.05 1.98 3/484 11703
/proc/meminfo: memFree=24706960/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=205620 CPUtime=1662.34 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 51484 0 0 0 166225 9 0 0 25 0 1 0 899243292 210554880 48511 33554432000 4194304 4933572 140733325884432 18446744073709551615 4409763 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 51405 48511 383 181 0 48414 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 205620
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 1.98 3/484 11704
/proc/meminfo: memFree=24706684/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=205620 CPUtime=1722.34 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 51484 0 0 0 172225 9 0 0 25 0 1 0 899243292 210554880 48511 33554432000 4194304 4933572 140733325884432 18446744073709551615 4358539 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 51405 48511 383 181 0 48414 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 205620
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 1.98 3/484 11706
/proc/meminfo: memFree=24704288/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=205620 CPUtime=1782.34 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 51490 0 0 0 178225 9 0 0 25 0 1 0 899243292 210554880 48517 33554432000 4194304 4933572 140733325884432 18446744073709551615 4409763 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 51405 48517 383 181 0 48414 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 205620
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 1.98 2/482 11707
/proc/meminfo: memFree=24723264/32950928 swapFree=61542356/67111528
[pid=11645] ppid=11643 vsize=205620 CPUtime=1800.05 cores=1,3,5,7
/proc/11645/stat : 11645 (clasp) R 11643 11645 2195 0 -1 4202496 51490 0 0 0 179996 9 0 0 25 0 1 0 899243292 210554880 48517 33554432000 4194304 4933572 140733325884432 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11645/statm: 51405 48517 383 181 0 48414 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 205620
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.03
CPU time (s): 1800.08
CPU user time (s): 1799.98
CPU system time (s): 0.107983
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 205620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.107983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51502
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= 2991
runsolver used 8.10177 second user time and 19.745 second system time
The end