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-3469402-1307096137/watcher-3469402-1307096137 -o /tmp/evaluation-result-3469402-1307096137/solver-3469402-1307096137 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469402-1307096137.opb --solu --heu=VSIDS
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: 2.13 2.06 2.01 3/437 2711
/proc/meminfo: memFree=24776292/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=16488 CPUtime=0 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 1578 0 0 0 0 0 0 0 25 0 1 0 802029364 16883712 1369 33554432000 4194304 4933572 140733534145568 18446744073709551615 270338080249 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 4122 1369 318 181 0 1131 0
[startup+0.028396 s]
/proc/loadavg: 2.13 2.06 2.01 3/437 2711
/proc/meminfo: memFree=24776292/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=18360 CPUtime=0.02 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 2318 0 0 0 2 0 0 0 25 0 1 0 802029364 18800640 1867 33554432000 4194304 4933572 140733534145568 18446744073709551615 4587830 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 4590 1867 342 181 0 1599 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18360
[startup+0.10038 s]
/proc/loadavg: 2.13 2.06 2.01 3/437 2711
/proc/meminfo: memFree=24776292/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=21508 CPUtime=0.09 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 3381 0 0 0 9 0 0 0 25 0 1 0 802029364 22024192 2705 33554432000 4194304 4933572 140733534145568 18446744073709551615 270338044613 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 5377 2705 372 181 0 2386 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21508
[startup+0.300375 s]
/proc/loadavg: 2.13 2.06 2.01 3/437 2711
/proc/meminfo: memFree=24776292/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=30096 CPUtime=0.29 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 5523 0 0 0 29 0 0 0 25 0 1 0 802029364 30818304 4847 33554432000 4194304 4933572 140733534145568 18446744073709551615 270338044613 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 7524 4847 373 181 0 4533 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30096
[startup+0.700307 s]
/proc/loadavg: 2.13 2.06 2.01 3/437 2711
/proc/meminfo: memFree=24776292/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=35384 CPUtime=0.69 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 6870 0 0 0 69 0 0 0 25 0 1 0 802029364 36233216 6194 33554432000 4194304 4933572 140733534145568 18446744073709551615 270338044613 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 8846 6195 374 181 0 5855 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35384
[startup+1.50114 s]
/proc/loadavg: 2.13 2.06 2.01 3/438 2712
/proc/meminfo: memFree=24750384/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=39608 CPUtime=1.49 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 7888 0 0 0 149 0 0 0 25 0 1 0 802029364 40558592 7212 33554432000 4194304 4933572 140733534145568 18446744073709551615 270338044613 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 9902 7213 374 181 0 6911 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39608
[startup+3.10082 s]
/proc/loadavg: 2.13 2.06 2.01 3/438 2712
/proc/meminfo: memFree=24741952/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=44232 CPUtime=3.09 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 9053 0 0 0 308 1 0 0 25 0 1 0 802029364 45293568 8377 33554432000 4194304 4933572 140733534145568 18446744073709551615 4664056 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 11058 8377 374 181 0 8067 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44232
[startup+6.30019 s]
/proc/loadavg: 2.12 2.06 2.01 3/438 2712
/proc/meminfo: memFree=24729116/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=51576 CPUtime=6.29 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 10885 0 0 0 628 1 0 0 25 0 1 0 802029364 52813824 10209 33554432000 4194304 4933572 140733534145568 18446744073709551615 4637138 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 12894 10209 374 181 0 9903 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51576
[startup+12.7009 s]
/proc/loadavg: 2.11 2.06 2.01 3/438 2712
/proc/meminfo: memFree=24718500/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=57052 CPUtime=12.69 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 12236 0 0 0 1268 1 0 0 25 0 1 0 802029364 58421248 11560 33554432000 4194304 4933572 140733534145568 18446744073709551615 4362131 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 14263 11560 374 181 0 11272 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57052
[startup+25.5004 s]
/proc/loadavg: 2.08 2.06 2.01 3/438 2713
/proc/meminfo: memFree=24702364/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=66292 CPUtime=25.5 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 14562 0 0 0 2548 2 0 0 25 0 1 0 802029364 67883008 13886 33554432000 4194304 4933572 140733534145568 18446744073709551615 4318072 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 16573 13886 374 181 0 13582 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 66292
[startup+51.1003 s]
/proc/loadavg: 2.05 2.05 2.01 3/438 2713
/proc/meminfo: memFree=24688060/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=73920 CPUtime=51.09 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 16441 0 0 0 5107 2 0 0 25 0 1 0 802029364 75694080 15765 33554432000 4194304 4933572 140733534145568 18446744073709551615 4414963 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 18480 15765 374 181 0 15489 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 73920
[startup+102.316 s]
/proc/loadavg: 2.02 2.04 2.00 3/438 2715
/proc/meminfo: memFree=24663868/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=89488 CPUtime=102.31 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 20249 0 0 0 10228 3 0 0 25 0 1 0 802029364 91635712 19573 33554432000 4194304 4933572 140733534145568 18446744073709551615 4319413 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 22372 19573 374 181 0 19381 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 89488
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/438 2716
/proc/meminfo: memFree=24648096/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=98424 CPUtime=162.29 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 22508 0 0 0 16226 3 0 0 25 0 1 0 802029364 100786176 21832 33554432000 4194304 4933572 140733534145568 18446744073709551615 4663904 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 24606 21832 374 181 0 21615 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 98424
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 2718
/proc/meminfo: memFree=24635160/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=108208 CPUtime=222.3 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 24788 0 0 0 22226 4 0 0 25 0 1 0 802029364 110804992 24112 33554432000 4194304 4933572 140733534145568 18446744073709551615 4330740 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 27052 24112 374 181 0 24061 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 108208
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 2719
/proc/meminfo: memFree=24632036/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=110128 CPUtime=282.3 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 25279 0 0 0 28226 4 0 0 25 0 1 0 802029364 112771072 24603 33554432000 4194304 4933572 140733534145568 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 27532 24603 374 181 0 24541 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 110128
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 2721
/proc/meminfo: memFree=24616016/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=119368 CPUtime=342.3 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 27687 0 0 0 34226 4 0 0 25 0 1 0 802029364 122232832 27011 33554432000 4194304 4933572 140733534145568 18446744073709551615 4649448 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 29842 27011 374 181 0 26851 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 119368
[startup+402.301 s]
/proc/loadavg: 2.13 2.05 2.01 3/438 2723
/proc/meminfo: memFree=24613764/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=120424 CPUtime=402.31 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 27933 0 0 0 40227 4 0 0 25 0 1 0 802029364 123314176 27257 33554432000 4194304 4933572 140733534145568 18446744073709551615 4625232 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 30106 27257 374 181 0 27115 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 120424
[startup+462.301 s]
/proc/loadavg: 2.12 2.07 2.02 3/438 2724
/proc/meminfo: memFree=24600472/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=129472 CPUtime=462.32 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 30230 0 0 0 46227 5 0 0 25 0 1 0 802029364 132579328 29554 33554432000 4194304 4933572 140733534145568 18446744073709551615 4330726 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 32368 29554 374 181 0 29377 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 129472
[startup+522.301 s]
/proc/loadavg: 2.04 2.05 2.01 3/438 2726
/proc/meminfo: memFree=24595252/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=131476 CPUtime=522.32 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 30742 0 0 0 52227 5 0 0 25 0 1 0 802029364 134631424 30066 33554432000 4194304 4933572 140733534145568 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 32869 30066 374 181 0 29878 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 131476
[startup+582.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/438 2730
/proc/meminfo: memFree=24591328/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=132532 CPUtime=582.32 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 30999 0 0 0 58227 5 0 0 25 0 1 0 802029364 135712768 30323 33554432000 4194304 4933572 140733534145568 18446744073709551615 4342162 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 33133 30323 374 181 0 30142 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 132532
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 2741
/proc/meminfo: memFree=24569760/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=146124 CPUtime=822.32 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 34349 0 0 0 82227 5 0 0 25 0 1 0 802029364 149630976 33673 33554432000 4194304 4933572 140733534145568 18446744073709551615 270338081386 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 36531 33673 374 181 0 33540 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 146124
[startup+882.3 s]
/proc/loadavg: 2.18 2.05 2.01 3/438 2742
/proc/meminfo: memFree=24568132/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=146336 CPUtime=882.33 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 34398 0 0 0 88228 5 0 0 25 0 1 0 802029364 149848064 33722 33554432000 4194304 4933572 140733534145568 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 36584 33722 374 181 0 33593 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 146336
[startup+942.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/438 2744
/proc/meminfo: memFree=24567236/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=147768 CPUtime=942.33 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 34717 0 0 0 94228 5 0 0 25 0 1 0 802029364 151314432 34041 33554432000 4194304 4933572 140733534145568 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 36942 34041 374 181 0 33951 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 147768
[startup+1002.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/438 2746
/proc/meminfo: memFree=24564988/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=148956 CPUtime=1002.33 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 35032 0 0 0 100228 5 0 0 25 0 1 0 802029364 152530944 34356 33554432000 4194304 4933572 140733534145568 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 37239 34356 374 181 0 34248 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 148956
[startup+1062.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/438 2747
/proc/meminfo: memFree=24563852/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=150144 CPUtime=1062.33 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 35320 0 0 0 106228 5 0 0 25 0 1 0 802029364 153747456 34644 33554432000 4194304 4933572 140733534145568 18446744073709551615 4328783 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 37536 34644 374 181 0 34545 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 150144
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/438 2749
/proc/meminfo: memFree=24555268/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=150144 CPUtime=1122.34 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 35320 0 0 0 112229 5 0 0 25 0 1 0 802029364 153747456 34644 33554432000 4194304 4933572 140733534145568 18446744073709551615 4649555 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 37536 34644 374 181 0 34545 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 150144
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 2750
/proc/meminfo: memFree=24541724/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=162560 CPUtime=1182.34 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 38334 0 0 0 118228 6 0 0 25 0 1 0 802029364 166461440 37658 33554432000 4194304 4933572 140733534145568 18446744073709551615 4330726 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 40640 37658 374 181 0 37649 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 162560
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 2752
/proc/meminfo: memFree=24539964/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=162956 CPUtime=1242.35 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 38442 0 0 0 124229 6 0 0 25 0 1 0 802029364 166866944 37766 33554432000 4194304 4933572 140733534145568 18446744073709551615 4648944 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 40739 37766 374 181 0 37748 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 162956
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 2754
/proc/meminfo: memFree=24536344/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=164540 CPUtime=1302.35 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 38851 0 0 0 130229 6 0 0 25 0 1 0 802029364 168488960 38175 33554432000 4194304 4933572 140733534145568 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 41135 38175 374 181 0 38144 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 164540
[startup+1362.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/438 2755
/proc/meminfo: memFree=24535708/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=165200 CPUtime=1362.35 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 39028 0 0 0 136229 6 0 0 25 0 1 0 802029364 169164800 38352 33554432000 4194304 4933572 140733534145568 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 41300 38352 374 181 0 38309 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 165200
[startup+1422.32 s]
/proc/loadavg: 2.11 2.04 2.01 3/438 2757
/proc/meminfo: memFree=24535316/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=165200 CPUtime=1422.37 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 39029 0 0 0 142231 6 0 0 25 0 1 0 802029364 169164800 38353 33554432000 4194304 4933572 140733534145568 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 41300 38353 374 181 0 38309 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 165200
[startup+1482.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/438 2758
/proc/meminfo: memFree=24533188/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=166256 CPUtime=1482.36 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 39276 0 0 0 148230 6 0 0 25 0 1 0 802029364 170246144 38600 33554432000 4194304 4933572 140733534145568 18446744073709551615 4319404 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 41564 38600 374 181 0 38573 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 166256
[startup+1542.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/438 2761
/proc/meminfo: memFree=24534276/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=166720 CPUtime=1542.37 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 39367 0 0 0 154230 7 0 0 25 0 1 0 802029364 170721280 38691 33554432000 4194304 4933572 140733534145568 18446744073709551615 4635396 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 41680 38691 374 181 0 38689 0
Current children cumulated CPU time (s) 1542.37
Current children cumulated vsize (KiB) 166720
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/438 2763
/proc/meminfo: memFree=24534008/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=166720 CPUtime=1602.37 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 39380 0 0 0 160230 7 0 0 25 0 1 0 802029364 170721280 38704 33554432000 4194304 4933572 140733534145568 18446744073709551615 4330746 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 41680 38704 374 181 0 38689 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 166720
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 2764
/proc/meminfo: memFree=24532112/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=168172 CPUtime=1662.37 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 39739 0 0 0 166230 7 0 0 25 0 1 0 802029364 172208128 39063 33554432000 4194304 4933572 140733534145568 18446744073709551615 4632272 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 42043 39063 374 181 0 39052 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 168172
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 2766
/proc/meminfo: memFree=24524784/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=168964 CPUtime=1722.37 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 39957 0 0 0 172230 7 0 0 25 0 1 0 802029364 173019136 39281 33554432000 4194304 4933572 140733534145568 18446744073709551615 4649417 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 42241 39281 374 181 0 39250 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 168964
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 2767
/proc/meminfo: memFree=24513484/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=178136 CPUtime=1782.38 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 42231 0 0 0 178231 7 0 0 25 0 1 0 802029364 182411264 41555 33554432000 4194304 4933572 140733534145568 18446744073709551615 4622134 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 44534 41555 374 181 0 41543 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 178136
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.92 1.99 1.99 2/436 2769
/proc/meminfo: memFree=24621240/32951124 swapFree=50923800/67111528
[pid=2711] ppid=2709 vsize=179224 CPUtime=1800.08 cores=0,2,4,6
/proc/2711/stat : 2711 (clasp) R 2709 2711 2319 0 -1 4202496 42476 0 0 0 180001 7 0 0 25 0 1 0 802029364 183525376 41800 33554432000 4194304 4933572 140733534145568 18446744073709551615 4622118 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/2711/statm: 44806 41800 374 181 0 41815 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 179224
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.02
CPU time (s): 1800.11
CPU user time (s): 1800.03
CPU system time (s): 0.079987
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 179224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.079987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42487
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= 2983
runsolver used 7.9058 second user time and 16.7265 second system time
The end