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-3461018-1307067115/watcher-3461018-1307067115 -o /tmp/evaluation-result-3461018-1307067115/solver-3461018-1307067115 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461018-1307067115.opb
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.15 1.03 1.10 2/535 7637
/proc/meminfo: memFree=25301468/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=2368 CPUtime=0 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 400 0 0 0 0 0 0 0 25 0 1 0 799127734 2424832 347 33554432000 4194304 5714214 140735977526688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 592 347 179 372 0 217 0
[startup+0.0580501 s]
/proc/loadavg: 1.15 1.03 1.10 2/535 7637
/proc/meminfo: memFree=25301468/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=3024 CPUtime=0.05 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 550 0 0 0 5 0 0 0 25 0 1 0 799127734 3096576 497 33554432000 4194304 5714214 140735977526688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 756 498 180 372 0 381 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3024
[startup+0.101043 s]
/proc/loadavg: 1.15 1.03 1.10 2/535 7637
/proc/meminfo: memFree=25301468/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=3408 CPUtime=0.09 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 662 0 0 0 9 0 0 0 25 0 1 0 799127734 3489792 609 33554432000 4194304 5714214 140735977526688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 852 609 180 372 0 477 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3408
[startup+0.301005 s]
/proc/loadavg: 1.15 1.03 1.10 2/535 7637
/proc/meminfo: memFree=25301468/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=5092 CPUtime=0.29 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 1079 0 0 0 29 0 0 0 25 0 1 0 799127734 5214208 1026 33554432000 4194304 5714214 140735977526688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 1273 1026 180 372 0 898 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5092
[startup+0.700944 s]
/proc/loadavg: 1.15 1.03 1.10 2/535 7637
/proc/meminfo: memFree=25301468/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=7700 CPUtime=0.69 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 1736 0 0 0 69 0 0 0 25 0 1 0 799127734 7884800 1683 33554432000 4194304 5714214 140735977526688 18446744073709551615 4319407 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 1925 1683 180 372 0 1550 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7700
[startup+1.50083 s]
/proc/loadavg: 1.15 1.03 1.10 3/536 7638
/proc/meminfo: memFree=25292656/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=12100 CPUtime=1.49 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 2806 0 0 0 148 1 0 0 25 0 1 0 799127734 12390400 2753 33554432000 4194304 5714214 140735977526688 18446744073709551615 4299783 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 3025 2753 180 372 0 2650 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12100
[startup+3.10054 s]
/proc/loadavg: 1.15 1.03 1.10 3/536 7638
/proc/meminfo: memFree=25287820/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=14076 CPUtime=3.1 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 3304 0 0 0 307 3 0 0 25 0 1 0 799127734 14413824 3251 33554432000 4194304 5714214 140735977526688 18446744073709551615 4198963 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 3519 3251 180 372 0 3144 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 14076
[startup+6.30093 s]
/proc/loadavg: 1.22 1.05 1.11 3/536 7638
/proc/meminfo: memFree=25279560/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=17580 CPUtime=6.29 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 4148 0 0 0 625 4 0 0 25 0 1 0 799127734 18001920 4095 33554432000 4194304 5714214 140735977526688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 4395 4095 180 372 0 4020 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17580
[startup+12.7008 s]
/proc/loadavg: 1.28 1.07 1.11 3/536 7638
/proc/meminfo: memFree=25269164/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=22640 CPUtime=12.7 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 5408 0 0 0 1263 7 0 0 25 0 1 0 799127734 23183360 5355 33554432000 4194304 5714214 140735977526688 18446744073709551615 4319324 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 5660 5355 180 372 0 5285 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 22640
[startup+25.5005 s]
/proc/loadavg: 1.44 1.11 1.12 3/536 7638
/proc/meminfo: memFree=25253160/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=31072 CPUtime=25.49 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 7518 0 0 0 2538 11 0 0 25 0 1 0 799127734 31817728 7465 33554432000 4194304 5714214 140735977526688 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 7768 7465 180 372 0 7393 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 31072
[startup+51.1009 s]
/proc/loadavg: 1.77 1.21 1.16 3/536 7639
/proc/meminfo: memFree=25226676/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=43688 CPUtime=51.1 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 10648 0 0 0 5091 19 0 0 25 0 1 0 799127734 44736512 10595 33554432000 4194304 5714214 140735977526688 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 10922 10595 180 372 0 10547 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 43688
[startup+102.32 s]
/proc/loadavg: 2.01 1.36 1.21 3/536 7640
/proc/meminfo: memFree=25176784/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=69012 CPUtime=102.31 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 16783 0 0 0 10199 32 0 0 25 0 1 0 799127734 70668288 16730 33554432000 4194304 5714214 140735977526688 18446744073709551615 4319369 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 17253 16730 180 372 0 16878 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 69012
[startup+162.301 s]
/proc/loadavg: 2.07 1.50 1.27 3/536 7642
/proc/meminfo: memFree=25124548/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=94700 CPUtime=162.29 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 23149 0 0 0 16180 49 0 0 25 0 1 0 799127734 96972800 23096 33554432000 4194304 5714214 140735977526688 18446744073709551615 4309777 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 23675 23096 180 372 0 23300 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 94700
[startup+222.3 s]
/proc/loadavg: 2.02 1.59 1.31 3/536 7644
/proc/meminfo: memFree=25078108/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=117088 CPUtime=222.29 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 28701 0 0 0 22164 65 0 0 25 0 1 0 799127734 119898112 28648 33554432000 4194304 5714214 140735977526688 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 29272 28648 180 372 0 28897 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 117088
[startup+282.301 s]
/proc/loadavg: 2.01 1.66 1.35 3/536 7645
/proc/meminfo: memFree=25035160/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=139188 CPUtime=282.3 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 34136 0 0 0 28146 84 0 0 25 0 1 0 799127734 142528512 34083 33554432000 4194304 5714214 140735977526688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 34797 34083 180 372 0 34422 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 139188
[startup+342.301 s]
/proc/loadavg: 2.00 1.72 1.39 3/536 7647
/proc/meminfo: memFree=24993812/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=159036 CPUtime=342.3 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 39054 0 0 0 34127 103 0 0 25 0 1 0 799127734 162852864 39001 33554432000 4194304 5714214 140735977526688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 39759 39001 180 372 0 39384 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 159036
[startup+402.301 s]
/proc/loadavg: 2.00 1.77 1.42 3/536 7648
/proc/meminfo: memFree=24947136/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=179964 CPUtime=402.3 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 44261 0 0 0 40110 120 0 0 25 0 1 0 799127734 184283136 44208 33554432000 4194304 5714214 140735977526688 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 44991 44208 180 372 0 44616 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 179964
[startup+462.3 s]
/proc/loadavg: 2.00 1.81 1.46 3/536 7650
/proc/meminfo: memFree=24911984/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=197316 CPUtime=462.31 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 48563 0 0 0 46095 136 0 0 25 0 1 0 799127734 202051584 48510 33554432000 4194304 5714214 140735977526688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 49329 48510 180 372 0 48954 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 197316
[startup+522.301 s]
/proc/loadavg: 2.00 1.84 1.49 3/536 7651
/proc/meminfo: memFree=24875856/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=217700 CPUtime=522.3 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 53506 0 0 0 52078 152 0 0 25 0 1 0 799127734 222924800 53453 33554432000 4194304 5714214 140735977526688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 54425 53453 180 372 0 54050 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 217700
[startup+582.301 s]
/proc/loadavg: 2.00 1.87 1.52 3/536 7653
/proc/meminfo: memFree=24834624/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=236944 CPUtime=582.31 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 58307 0 0 0 58063 168 0 0 25 0 1 0 799127734 242630656 58254 33554432000 4194304 5714214 140735977526688 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 59236 58254 180 372 0 58861 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 236944
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.02 1.98 1.64 3/536 7663
/proc/meminfo: memFree=24690076/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=306576 CPUtime=822.32 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 75696 0 0 0 81999 233 0 0 25 0 1 0 799127734 313933824 75643 33554432000 4194304 5714214 140735977526688 18446744073709551615 4319303 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 76644 75643 180 372 0 76269 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 306576
[startup+882.3 s]
/proc/loadavg: 2.00 1.98 1.66 3/536 7664
/proc/meminfo: memFree=24652548/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=324920 CPUtime=882.32 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 80274 0 0 0 87983 249 0 0 25 0 1 0 799127734 332718080 80221 33554432000 4194304 5714214 140735977526688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 81230 80221 180 372 0 80855 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 324920
[startup+942.301 s]
/proc/loadavg: 2.00 1.98 1.68 3/536 7666
/proc/meminfo: memFree=24617288/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=342824 CPUtime=942.32 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 84764 0 0 0 93969 263 0 0 25 0 1 0 799127734 351051776 84711 33554432000 4194304 5714214 140735977526688 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 85706 84711 180 372 0 85331 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 342824
[startup+1002.3 s]
/proc/loadavg: 2.00 1.98 1.70 3/536 7667
/proc/meminfo: memFree=24584496/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=359900 CPUtime=1002.32 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 89035 0 0 0 99956 276 0 0 25 0 1 0 799127734 368537600 88982 33554432000 4194304 5714214 140735977526688 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 89975 88982 180 372 0 89600 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 359900
[startup+1062.3 s]
/proc/loadavg: 2.00 1.98 1.71 3/536 7669
/proc/meminfo: memFree=24548980/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=376864 CPUtime=1062.32 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 93245 0 0 0 105941 291 0 0 25 0 1 0 799127734 385908736 93192 33554432000 4194304 5714214 140735977526688 18446744073709551615 4300276 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 94216 93192 180 372 0 93841 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 376864
[startup+1122.3 s]
/proc/loadavg: 2.00 1.98 1.73 3/536 7671
/proc/meminfo: memFree=24515944/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=393004 CPUtime=1122.32 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 97243 0 0 0 111930 302 0 0 25 0 1 0 799127734 402436096 97190 33554432000 4194304 5714214 140735977526688 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 98251 97190 180 372 0 97876 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 393004
[startup+1182.3 s]
/proc/loadavg: 2.26 2.05 1.76 3/536 7672
/proc/meminfo: memFree=24481292/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=411400 CPUtime=1182.32 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 101801 0 0 0 117915 317 0 0 25 0 1 0 799127734 421273600 101748 33554432000 4194304 5714214 140735977526688 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 102850 101748 180 372 0 102475 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 411400
[startup+1242.3 s]
/proc/loadavg: 2.21 2.07 1.79 3/536 7674
/proc/meminfo: memFree=24447516/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=425952 CPUtime=1242.33 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 105444 0 0 0 123903 330 0 0 25 0 1 0 799127734 436174848 105391 33554432000 4194304 5714214 140735977526688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 106488 105391 180 372 0 106113 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 425952
[startup+1302.3 s]
/proc/loadavg: 2.08 2.05 1.80 3/536 7675
/proc/meminfo: memFree=24418304/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=441432 CPUtime=1302.34 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 109331 0 0 0 129888 346 0 0 25 0 1 0 799127734 452026368 109278 33554432000 4194304 5714214 140735977526688 18446744073709551615 4319314 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 110358 109278 180 372 0 109983 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 441432
[startup+1362.3 s]
/proc/loadavg: 2.03 2.04 1.81 3/536 7677
/proc/meminfo: memFree=24381680/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=456720 CPUtime=1362.33 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 113123 0 0 0 135874 359 0 0 25 0 1 0 799127734 467681280 113070 33554432000 4194304 5714214 140735977526688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 114180 113070 180 372 0 113805 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 456720
[startup+1422.32 s]
/proc/loadavg: 2.01 2.03 1.82 3/536 7679
/proc/meminfo: memFree=24350120/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=477000 CPUtime=1422.35 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 118168 0 0 0 141861 374 0 0 25 0 1 0 799127734 488448000 118115 33554432000 4194304 5714214 140735977526688 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 119250 118115 180 372 0 118875 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 477000
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.83 3/536 7680
/proc/meminfo: memFree=24324012/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=489484 CPUtime=1482.33 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 121253 0 0 0 147842 391 0 0 25 0 1 0 799127734 501231616 121200 33554432000 4194304 5714214 140735977526688 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 122371 121200 180 372 0 121996 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 489484
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 1.83 3/536 7682
/proc/meminfo: memFree=24286628/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=510272 CPUtime=1542.33 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 126341 0 0 0 153826 407 0 0 25 0 1 0 799127734 522518528 126288 33554432000 4194304 5714214 140735977526688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 127568 126288 180 372 0 127193 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 510272
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.84 3/536 7683
/proc/meminfo: memFree=24252480/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=528020 CPUtime=1602.34 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 130780 0 0 0 159811 423 0 0 25 0 1 0 799127734 540692480 130727 33554432000 4194304 5714214 140735977526688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 132005 130727 180 372 0 131630 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 528020
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.84 3/536 7685
/proc/meminfo: memFree=24217340/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=543612 CPUtime=1662.33 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 134686 0 0 0 165794 439 0 0 25 0 1 0 799127734 556658688 134633 33554432000 4194304 5714214 140735977526688 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 135903 134633 180 372 0 135528 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 543612
[startup+1722.3 s]
/proc/loadavg: 2.16 2.03 1.86 3/536 7686
/proc/meminfo: memFree=24177472/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=565500 CPUtime=1722.34 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 140130 0 0 0 171780 454 0 0 25 0 1 0 799127734 579072000 140077 33554432000 4194304 5714214 140735977526688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 141375 140077 180 372 0 141000 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 565500
[startup+1782.3 s]
/proc/loadavg: 2.21 2.07 1.88 3/536 7688
/proc/meminfo: memFree=24139100/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=580708 CPUtime=1782.34 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 143923 0 0 0 177768 466 0 0 25 0 1 0 799127734 594644992 143870 33554432000 4194304 5714214 140735977526688 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 145177 143870 180 372 0 144802 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 580708
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.22 2.08 1.89 3/536 7717
/proc/meminfo: memFree=24717304/32951124 swapFree=46970528/67111528
[pid=7637] ppid=7635 vsize=584720 CPUtime=1800.05 cores=0,2,4,6
/proc/7637/stat : 7637 (wbo1.6) R 7635 7637 6615 0 -1 4202496 144945 0 0 0 179535 470 0 0 25 0 1 0 799127734 598753280 144892 33554432000 4194304 5714214 140735977526688 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7637/statm: 146180 144892 180 372 0 145805 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 584720
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.09
CPU user time (s): 1795.37
CPU system time (s): 4.72728
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 584720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.37
system time used= 4.72728
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144945
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= 3
involuntary context switches= 2057
runsolver used 9.99948 second user time and 21.1788 second system time
The end