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-3468178-1307098834/watcher-3468178-1307098834 -o /tmp/evaluation-result-3468178-1307098834/solver-3468178-1307098834 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468178-1307098834.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 2.00 1.99 2/535 17831
/proc/meminfo: memFree=29104724/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=13376 CPUtime=0 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 741 0 0 0 0 0 0 0 18 0 1 0 821481347 13697024 640 33554432000 4194304 4933572 140737213387168 18446744073709551615 228244348672 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17831/statm: 3344 641 331 181 0 353 0
[startup+0.0643189 s]
/proc/loadavg: 1.92 2.00 1.99 2/535 17831
/proc/meminfo: memFree=29104724/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=15400 CPUtime=0.06 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 1345 0 0 0 6 0 0 0 18 0 1 0 821481347 15769600 1102 33554432000 4194304 4933572 140737213387168 18446744073709551615 4606586 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17831/statm: 3850 1102 351 181 0 859 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15400
[startup+0.100339 s]
/proc/loadavg: 1.92 2.00 1.99 2/535 17831
/proc/meminfo: memFree=29104724/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=14916 CPUtime=0.09 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 1371 0 0 0 9 0 0 0 18 0 1 0 821481347 15273984 1046 33554432000 4194304 4933572 140737213387168 18446744073709551615 4632840 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17831/statm: 3729 1046 377 181 0 738 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14916
[startup+0.300306 s]
/proc/loadavg: 1.92 2.00 1.99 2/535 17831
/proc/meminfo: memFree=29104724/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=20460 CPUtime=0.29 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 2791 0 0 0 29 0 0 0 18 0 1 0 821481347 20951040 2466 33554432000 4194304 4933572 140737213387168 18446744073709551615 228244009669 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17831/statm: 5115 2466 384 181 0 2124 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20460
[startup+0.700231 s]
/proc/loadavg: 1.92 2.00 1.99 2/535 17831
/proc/meminfo: memFree=29104724/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=32756 CPUtime=0.69 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 5871 0 0 0 69 0 0 0 18 0 1 0 821481347 33542144 5546 33554432000 4194304 4933572 140737213387168 18446744073709551615 4332754 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17831/statm: 8189 5546 384 181 0 5198 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32756
[startup+1.50109 s]
/proc/loadavg: 1.92 2.00 1.99 3/536 17832
/proc/meminfo: memFree=29071748/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=42788 CPUtime=1.49 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 8362 0 0 0 149 0 0 0 20 0 1 0 821481347 43814912 8037 33554432000 4194304 4933572 140737213387168 18446744073709551615 4319463 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17831/statm: 10697 8037 384 181 0 7706 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42788
[startup+3.10082 s]
/proc/loadavg: 1.93 2.00 1.99 3/536 17832
/proc/meminfo: memFree=29058488/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=53540 CPUtime=3.09 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 11066 0 0 0 309 0 0 0 25 0 1 0 821481347 54824960 10741 33554432000 4194304 4933572 140737213387168 18446744073709551615 228244009669 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17831/statm: 13385 10742 384 181 0 10394 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53540
[startup+6.30025 s]
/proc/loadavg: 1.93 2.00 1.99 3/536 17832
/proc/meminfo: memFree=29040084/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=60020 CPUtime=6.29 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 12685 0 0 0 628 1 0 0 25 0 1 0 821481347 61460480 12360 33554432000 4194304 4933572 140737213387168 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17831/statm: 15005 12360 384 181 0 12014 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 60020
[startup+12.7011 s]
/proc/loadavg: 1.94 2.00 1.99 3/536 17832
/proc/meminfo: memFree=29016944/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=71436 CPUtime=12.69 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 15521 0 0 0 1268 1 0 0 25 0 1 0 821481347 73150464 15196 33554432000 4194304 4933572 140737213387168 18446744073709551615 4340904 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17831/statm: 17859 15196 386 181 0 14868 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 71436
[startup+25.5009 s]
/proc/loadavg: 2.02 2.02 2.00 3/536 17832
/proc/meminfo: memFree=28992264/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=84440 CPUtime=25.5 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 18766 0 0 0 2548 2 0 0 25 0 1 0 821481347 86466560 18441 33554432000 4194304 4933572 140737213387168 18446744073709551615 4637260 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17831/statm: 21110 18441 386 181 0 18119 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 84440
[startup+51.1004 s]
/proc/loadavg: 2.01 2.01 2.00 3/536 17842
/proc/meminfo: memFree=28968340/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=96952 CPUtime=51.09 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 21875 0 0 0 5107 2 0 0 25 0 1 0 821481347 99278848 21550 33554432000 4194304 4933572 140737213387168 18446744073709551615 4631904 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17831/statm: 24238 21550 386 181 0 21247 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 96952
[startup+102.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 17844
/proc/meminfo: memFree=28934924/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=111020 CPUtime=102.32 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 25558 0 0 0 10229 3 0 0 25 0 1 0 821481347 113684480 24932 33554432000 4194304 4933572 140737213387168 18446744073709551615 4341617 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17831/statm: 27755 24932 387 181 0 24764 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 111020
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 17845
/proc/meminfo: memFree=28903780/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=129144 CPUtime=162.29 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 30068 0 0 0 16226 3 0 0 25 0 1 0 821481347 132243456 29442 33554432000 4194304 4933572 140737213387168 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17831/statm: 32286 29442 387 181 0 29295 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 129144
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 17849
/proc/meminfo: memFree=28877212/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=135724 CPUtime=222.3 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 32398 0 0 0 22226 4 0 0 25 0 1 0 821481347 138981376 31208 33554432000 4194304 4933572 140737213387168 18446744073709551615 4631919 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17831/statm: 33931 31208 387 181 0 30940 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 135724
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 17851
/proc/meminfo: memFree=28868524/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=144568 CPUtime=282.25 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 34597 0 0 0 28221 4 0 0 25 0 1 0 821481347 148037632 33407 33554432000 4194304 4933572 140737213387168 18446744073709551615 4341601 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17831/statm: 36142 33407 387 181 0 33151 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 144568
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 17853
/proc/meminfo: memFree=28867248/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=144676 CPUtime=342.26 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 36607 0 0 0 34221 5 0 0 25 0 1 0 821481347 148148224 33457 33554432000 4194304 4933572 140737213387168 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17831/statm: 36169 33457 387 181 0 33178 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 144676
[startup+402.301 s]
/proc/loadavg: 2.10 2.03 2.01 3/536 17854
/proc/meminfo: memFree=28844280/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=157144 CPUtime=402.26 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 39694 0 0 0 40221 5 0 0 25 0 1 0 821481347 160915456 36544 33554432000 4194304 4933572 140737213387168 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17831/statm: 39286 36544 387 181 0 36295 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 157144
[startup+462.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/536 17856
/proc/meminfo: memFree=28837192/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=160720 CPUtime=462.26 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 40601 0 0 0 46221 5 0 0 25 0 1 0 821481347 164577280 37451 33554432000 4194304 4933572 140737213387168 18446744073709551615 4632115 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17831/statm: 40180 37451 387 181 0 37189 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 160720
[startup+522.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/536 17858
/proc/meminfo: memFree=28815836/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=169732 CPUtime=522.26 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 43182 0 0 0 52220 6 0 0 25 0 1 0 821481347 173805568 39721 33554432000 4194304 4933572 140737213387168 18446744073709551615 4632072 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17831/statm: 42433 39721 387 181 0 39442 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 169732
[startup+582.301 s]
/proc/loadavg: 2.14 2.06 2.01 3/536 17859
/proc/meminfo: memFree=28801676/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=177852 CPUtime=582.26 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 45720 0 0 0 58220 6 0 0 25 0 1 0 821481347 182120448 41729 33554432000 4194304 4933572 140737213387168 18446744073709551615 4625216 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17831/statm: 44463 41729 387 181 0 41472 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 177852
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 17867
/proc/meminfo: memFree=28777272/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=196336 CPUtime=822.27 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 52261 0 0 0 82219 8 0 0 25 0 1 0 821481347 201048064 46313 33554432000 4194304 4933572 140737213387168 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17831/statm: 49084 46313 387 181 0 46093 0
Current children cumulated CPU time (s) 822.27
Current children cumulated vsize (KiB) 196336
[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 17869
/proc/meminfo: memFree=28763984/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=196336 CPUtime=882.27 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 52261 0 0 0 88219 8 0 0 25 0 1 0 821481347 201048064 46313 33554432000 4194304 4933572 140737213387168 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17831/statm: 49084 46313 387 181 0 46093 0
Current children cumulated CPU time (s) 882.27
Current children cumulated vsize (KiB) 196336
[startup+942.301 s]
/proc/loadavg: 2.15 2.04 2.01 3/536 17871
/proc/meminfo: memFree=28756764/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=199900 CPUtime=942.27 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 53168 0 0 0 94219 8 0 0 25 0 1 0 821481347 204697600 47220 33554432000 4194304 4933572 140737213387168 18446744073709551615 4360959 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17831/statm: 49975 47220 387 181 0 46984 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 199900
[startup+1002.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/536 17874
/proc/meminfo: memFree=28754000/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=201616 CPUtime=1002.27 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 53579 0 0 0 100219 8 0 0 25 0 1 0 821481347 206454784 47631 33554432000 4194304 4933572 140737213387168 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17831/statm: 50404 47631 387 181 0 47413 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 201616
[startup+1062.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/536 17875
/proc/meminfo: memFree=28752856/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=202012 CPUtime=1062.27 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 53702 0 0 0 106219 8 0 0 25 0 1 0 821481347 206860288 47754 33554432000 4194304 4933572 140737213387168 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17831/statm: 50503 47754 387 181 0 47512 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 202012
[startup+1122.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/536 17877
/proc/meminfo: memFree=28750240/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=202672 CPUtime=1122.27 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 53868 0 0 0 112219 8 0 0 25 0 1 0 821481347 207536128 47920 33554432000 4194304 4933572 140737213387168 18446744073709551615 4632799 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17831/statm: 50668 47920 387 181 0 47677 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 202672
[startup+1182.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/536 17878
/proc/meminfo: memFree=28748608/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=203728 CPUtime=1182.27 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 54135 0 0 0 118219 8 0 0 25 0 1 0 821481347 208617472 48187 33554432000 4194304 4933572 140737213387168 18446744073709551615 4319286 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17831/statm: 50932 48187 387 181 0 47941 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 203728
[startup+1242.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 17880
/proc/meminfo: memFree=28737184/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=212924 CPUtime=1242.28 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 56685 0 0 0 124219 9 0 0 25 0 1 0 821481347 218034176 50492 33554432000 4194304 4933572 140737213387168 18446744073709551615 4649386 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17831/statm: 53231 50492 387 181 0 50240 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 212924
[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 17883
/proc/meminfo: memFree=28714224/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=221348 CPUtime=1302.29 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 58782 0 0 0 130220 9 0 0 25 0 1 0 821481347 226660352 52589 33554432000 4194304 4933572 140737213387168 18446744073709551615 4663992 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17831/statm: 55337 52589 387 181 0 52346 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 221348
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 17884
/proc/meminfo: memFree=28714324/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=221744 CPUtime=1362.28 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 58871 0 0 0 136219 9 0 0 25 0 1 0 821481347 227065856 52678 33554432000 4194304 4933572 140737213387168 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17831/statm: 55436 52678 387 181 0 52445 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 221744
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 17886
/proc/meminfo: memFree=28713192/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=222800 CPUtime=1422.3 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 59154 0 0 0 142221 9 0 0 25 0 1 0 821481347 228147200 52961 33554432000 4194304 4933572 140737213387168 18446744073709551615 4342157 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17831/statm: 55700 52961 387 181 0 52709 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 222800
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 17887
/proc/meminfo: memFree=28711944/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=223196 CPUtime=1482.28 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 59252 0 0 0 148219 9 0 0 25 0 1 0 821481347 228552704 53059 33554432000 4194304 4933572 140737213387168 18446744073709551615 4368217 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17831/statm: 55799 53059 387 181 0 52808 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 223196
[startup+1542.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/536 17889
/proc/meminfo: memFree=28708324/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=223196 CPUtime=1542.28 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 59252 0 0 0 154219 9 0 0 25 0 1 0 821481347 228552704 53059 33554432000 4194304 4933572 140737213387168 18446744073709551615 4635384 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17831/statm: 55799 53059 387 181 0 52808 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 223196
[startup+1602.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/536 17891
/proc/meminfo: memFree=28708436/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=223196 CPUtime=1602.28 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 59252 0 0 0 160219 9 0 0 25 0 1 0 821481347 228552704 53059 33554432000 4194304 4933572 140737213387168 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17831/statm: 55799 53059 387 181 0 52808 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 223196
[startup+1662.3 s]
/proc/loadavg: 2.15 2.07 2.02 3/536 17892
/proc/meminfo: memFree=28702084/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=229456 CPUtime=1662.29 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 60788 0 0 0 166219 10 0 0 25 0 1 0 821481347 234962944 54595 33554432000 4194304 4933572 140737213387168 18446744073709551615 4649590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17831/statm: 57364 54595 387 181 0 54373 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 229456
[startup+1722.3 s]
/proc/loadavg: 2.10 2.07 2.02 3/536 17894
/proc/meminfo: memFree=28701320/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=229964 CPUtime=1722.3 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 60888 0 0 0 172220 10 0 0 25 0 1 0 821481347 235483136 54695 33554432000 4194304 4933572 140737213387168 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17831/statm: 57491 54695 387 181 0 54500 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 229964
[startup+1782.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/536 17895
/proc/meminfo: memFree=28698688/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=229964 CPUtime=1782.3 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 60888 0 0 0 178220 10 0 0 25 0 1 0 821481347 235483136 54695 33554432000 4194304 4933572 140737213387168 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17831/statm: 57491 54695 387 181 0 54500 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 229964
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.03 2.05 2.01 2/534 17897
/proc/meminfo: memFree=28915820/32951124 swapFree=58212616/67111528
[pid=17831] ppid=17829 vsize=229964 CPUtime=1800.01 cores=0,2,4,6
/proc/17831/stat : 17831 (clasp) R 17829 17831 17375 0 -1 4202496 60888 0 0 0 179991 10 0 0 25 0 1 0 821481347 235483136 54695 33554432000 4194304 4933572 140737213387168 18446744073709551615 4637260 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17831/statm: 57491 54695 387 181 0 54500 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 229964
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.03
CPU time (s): 1800.03
CPU user time (s): 1799.92
CPU system time (s): 0.110983
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 229964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.110983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60897
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= 6
involuntary context switches= 2981
runsolver used 9.91949 second user time and 21.2998 second system time
The end