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-3461241-1307069082/watcher-3461241-1307069082 -o /tmp/evaluation-result-3461241-1307069082/solver-3461241-1307069082 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461241-1307069082.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: 2.01 1.79 1.38 2/473 22855
/proc/meminfo: memFree=20198296/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=5924 CPUtime=0.01 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 1294 0 0 0 1 0 0 0 25 0 1 0 818507887 6066176 1220 33554432000 4194304 5714214 140733245010928 18446744073709551615 4354544 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 1481 1220 173 372 0 1106 0
[startup+0.107384 s]
/proc/loadavg: 2.01 1.79 1.38 2/473 22855
/proc/meminfo: memFree=20198296/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=6272 CPUtime=0.1 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 1497 0 0 0 10 0 0 0 25 0 1 0 818507887 6422528 1329 33554432000 4194304 5714214 140733245010928 18446744073709551615 4309516 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 1568 1330 180 372 0 1193 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6272
[startup+0.200363 s]
/proc/loadavg: 2.01 1.79 1.38 2/473 22855
/proc/meminfo: memFree=20198296/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=7328 CPUtime=0.19 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 1748 0 0 0 19 0 0 0 25 0 1 0 818507887 7503872 1580 33554432000 4194304 5714214 140733245010928 18446744073709551615 4319964 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 1832 1580 180 372 0 1457 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 7328
[startup+0.300346 s]
/proc/loadavg: 2.01 1.79 1.38 2/473 22855
/proc/meminfo: memFree=20198296/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=8124 CPUtime=0.29 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 1949 0 0 0 29 0 0 0 25 0 1 0 818507887 8318976 1781 33554432000 4194304 5714214 140733245010928 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 2031 1781 180 372 0 1656 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8124
[startup+0.700278 s]
/proc/loadavg: 2.01 1.79 1.38 2/473 22855
/proc/meminfo: memFree=20198296/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=11028 CPUtime=0.69 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 2673 0 0 0 69 0 0 0 25 0 1 0 818507887 11292672 2505 33554432000 4194304 5714214 140733245010928 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 2757 2505 180 372 0 2382 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11028
[startup+1.50102 s]
/proc/loadavg: 2.01 1.79 1.38 3/474 22856
/proc/meminfo: memFree=20184236/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=16176 CPUtime=1.49 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 3964 0 0 0 148 1 0 0 25 0 1 0 818507887 16564224 3796 33554432000 4194304 5714214 140733245010928 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 4044 3796 180 372 0 3669 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16176
[startup+3.10086 s]
/proc/loadavg: 2.01 1.79 1.38 3/474 22856
/proc/meminfo: memFree=20175060/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=24520 CPUtime=3.1 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 6056 0 0 0 308 2 0 0 25 0 1 0 818507887 25108480 5888 33554432000 4194304 5714214 140733245010928 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 6130 5888 180 372 0 5755 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 24520
[startup+6.30024 s]
/proc/loadavg: 2.01 1.79 1.38 3/474 22856
/proc/meminfo: memFree=20158128/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=32688 CPUtime=6.3 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 8098 0 0 0 627 3 0 0 25 0 1 0 818507887 33472512 7930 33554432000 4194304 5714214 140733245010928 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 8172 7930 180 372 0 7797 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 32688
[startup+12.7012 s]
/proc/loadavg: 2.01 1.79 1.38 3/474 22856
/proc/meminfo: memFree=20144800/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=39924 CPUtime=12.7 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 9869 0 0 0 1266 4 0 0 25 0 1 0 818507887 40882176 9701 33554432000 4194304 5714214 140733245010928 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 9981 9701 180 372 0 9606 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 39924
[startup+25.5009 s]
/proc/loadavg: 2.01 1.80 1.39 3/474 22857
/proc/meminfo: memFree=20113688/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=58844 CPUtime=25.49 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 14572 0 0 0 2544 5 0 0 25 0 1 0 818507887 60256256 14404 33554432000 4194304 5714214 140733245010928 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 14711 14404 180 372 0 14336 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58844
[startup+51.1004 s]
/proc/loadavg: 2.00 1.82 1.41 3/474 22857
/proc/meminfo: memFree=20069020/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=81324 CPUtime=51.09 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 20129 0 0 0 5097 12 0 0 25 0 1 0 818507887 83275776 19961 33554432000 4194304 5714214 140733245010928 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 20331 19961 180 372 0 19956 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 81324
[startup+102.3 s]
/proc/loadavg: 2.00 1.84 1.44 3/474 22886
/proc/meminfo: memFree=20263808/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=124748 CPUtime=102.3 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 30938 0 0 0 10210 20 0 0 25 0 1 0 818507887 127741952 30770 33554432000 4194304 5714214 140733245010928 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 31187 30770 180 372 0 30812 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 124748
[startup+162.301 s]
/proc/loadavg: 2.00 1.87 1.47 3/474 22887
/proc/meminfo: memFree=20094652/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=218788 CPUtime=162.3 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 54422 0 0 0 16204 26 0 0 25 0 1 0 818507887 224038912 54254 33554432000 4194304 5714214 140733245010928 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 54697 54254 180 372 0 54322 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 218788
[startup+222.318 s]
/proc/loadavg: 2.00 1.89 1.50 3/474 22889
/proc/meminfo: memFree=20047740/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=219220 CPUtime=222.31 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 54802 0 0 0 22200 31 0 0 25 0 1 0 818507887 224481280 54374 33554432000 4194304 5714214 140733245010928 18446744073709551615 4319332 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 54805 54374 180 372 0 54430 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 219220
[startup+282.301 s]
/proc/loadavg: 2.00 1.91 1.53 3/474 22891
/proc/meminfo: memFree=20018324/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=219220 CPUtime=282.3 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 54802 0 0 0 28194 36 0 0 25 0 1 0 818507887 224481280 54374 33554432000 4194304 5714214 140733245010928 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 54805 54374 180 372 0 54430 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 219220
[startup+342.301 s]
/proc/loadavg: 2.00 1.92 1.56 3/474 22892
/proc/meminfo: memFree=20018296/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=219220 CPUtime=342.3 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 54807 0 0 0 34186 44 0 0 25 0 1 0 818507887 224481280 54379 33554432000 4194304 5714214 140733245010928 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 54805 54379 180 372 0 54430 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 219220
[startup+402.301 s]
/proc/loadavg: 2.15 1.97 1.59 3/474 22894
/proc/meminfo: memFree=20018136/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=219220 CPUtime=402.3 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 54813 0 0 0 40179 51 0 0 25 0 1 0 818507887 224481280 54385 33554432000 4194304 5714214 140733245010928 18446744073709551615 4319758 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 54805 54385 180 372 0 54430 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 219220
[startup+462.301 s]
/proc/loadavg: 2.05 1.97 1.61 3/474 22895
/proc/meminfo: memFree=20018240/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=219220 CPUtime=462.3 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 54818 0 0 0 46170 60 0 0 25 0 1 0 818507887 224481280 54390 33554432000 4194304 5714214 140733245010928 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 54805 54390 180 372 0 54430 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 219220
[startup+522.3 s]
/proc/loadavg: 2.02 1.97 1.64 3/474 22897
/proc/meminfo: memFree=20018340/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=219220 CPUtime=522.3 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 54818 0 0 0 52162 68 0 0 25 0 1 0 818507887 224481280 54390 33554432000 4194304 5714214 140733245010928 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 54805 54390 180 372 0 54430 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 219220
[startup+582.301 s]
/proc/loadavg: 2.00 1.97 1.65 3/474 22899
/proc/meminfo: memFree=20018208/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=219220 CPUtime=582.31 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 54818 0 0 0 58156 75 0 0 25 0 1 0 818507887 224481280 54390 33554432000 4194304 5714214 140733245010928 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 54805 54390 180 372 0 54430 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 219220
[startup+642.3 s]
################
# More data... #
################
[startup+882.318 s]
/proc/loadavg: 2.00 1.99 1.74 3/474 22907
/proc/meminfo: memFree=19925812/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=228408 CPUtime=882.33 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 56946 0 0 0 88122 111 0 0 25 0 1 0 818507887 233889792 56455 33554432000 4194304 5714214 140733245010928 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 57102 56455 180 372 0 56727 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 228408
[startup+942.301 s]
/proc/loadavg: 2.00 1.99 1.75 3/474 22908
/proc/meminfo: memFree=19793964/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=363404 CPUtime=942.31 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 90599 0 0 0 94110 121 0 0 25 0 1 0 818507887 372125696 90108 33554432000 4194304 5714214 140733245010928 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 90851 90108 180 372 0 90476 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 363404
[startup+1002.3 s]
/proc/loadavg: 2.07 2.02 1.78 3/474 22919
/proc/meminfo: memFree=19706740/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=447812 CPUtime=1002.31 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 111672 0 0 0 100102 129 0 0 25 0 1 0 818507887 458559488 111181 33554432000 4194304 5714214 140733245010928 18446744073709551615 4319292 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 111953 111181 180 372 0 111578 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 447812
[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 1.79 3/474 22920
/proc/meminfo: memFree=19707296/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=446880 CPUtime=1062.31 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 111694 0 0 0 106098 133 0 0 25 0 1 0 818507887 457605120 110993 33554432000 4194304 5714214 140733245010928 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 111720 110993 180 372 0 111345 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 446880
[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 1.80 3/474 22922
/proc/meminfo: memFree=19695744/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=459288 CPUtime=1122.32 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 114844 0 0 0 112093 139 0 0 25 0 1 0 818507887 470310912 114089 33554432000 4194304 5714214 140733245010928 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 114822 114089 180 372 0 114447 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 459288
[startup+1182.3 s]
/proc/loadavg: 2.14 2.03 1.82 3/474 22927
/proc/meminfo: memFree=19695688/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=459288 CPUtime=1182.31 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 114847 0 0 0 118089 142 0 0 25 0 1 0 818507887 470310912 114092 33554432000 4194304 5714214 140733245010928 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 114822 114092 180 372 0 114447 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 459288
[startup+1242.3 s]
/proc/loadavg: 2.11 2.04 1.83 3/474 22928
/proc/meminfo: memFree=19694100/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=459288 CPUtime=1242.32 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 114853 0 0 0 124086 146 0 0 25 0 1 0 818507887 470310912 114098 33554432000 4194304 5714214 140733245010928 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 114822 114098 180 372 0 114447 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 459288
[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 1.84 3/474 22930
/proc/meminfo: memFree=19688480/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=463304 CPUtime=1302.32 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 115853 0 0 0 130080 152 0 0 25 0 1 0 818507887 474423296 115098 33554432000 4194304 5714214 140733245010928 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 115826 115098 180 372 0 115451 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 463304
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 1.84 3/474 22931
/proc/meminfo: memFree=19684728/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=466460 CPUtime=1362.32 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 116607 0 0 0 136076 156 0 0 25 0 1 0 818507887 477655040 115852 33554432000 4194304 5714214 140733245010928 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 116615 115852 180 372 0 116240 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 466460
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 1.85 3/474 22933
/proc/meminfo: memFree=19652932/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=465132 CPUtime=1422.34 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 116618 0 0 0 142073 161 0 0 25 0 1 0 818507887 476295168 115560 33554432000 4194304 5714214 140733245010928 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 116283 115560 180 372 0 115908 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 465132
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.85 3/474 22935
/proc/meminfo: memFree=19555684/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=462696 CPUtime=1482.32 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 116618 0 0 0 148068 164 0 0 25 0 1 0 818507887 473800704 114951 33554432000 4194304 5714214 140733245010928 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 115674 114951 180 372 0 115299 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 462696
[startup+1542.32 s]
/proc/loadavg: 2.05 2.02 1.87 3/474 22936
/proc/meminfo: memFree=19520656/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=480040 CPUtime=1542.35 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 120956 0 0 0 154065 170 0 0 25 0 1 0 818507887 491560960 119289 33554432000 4194304 5714214 140733245010928 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 120010 119289 180 372 0 119635 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 480040
[startup+1602.3 s]
/proc/loadavg: 2.07 2.03 1.88 3/474 22938
/proc/meminfo: memFree=19517904/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=479644 CPUtime=1602.32 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 120957 0 0 0 160060 172 0 0 25 0 1 0 818507887 491155456 119191 33554432000 4194304 5714214 140733245010928 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 119911 119191 180 372 0 119536 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 479644
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 1.88 3/474 22939
/proc/meminfo: memFree=19517868/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=479644 CPUtime=1662.33 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 120959 0 0 0 166057 176 0 0 25 0 1 0 818507887 491155456 119193 33554432000 4194304 5714214 140733245010928 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 119911 119193 180 372 0 119536 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 479644
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 1.89 3/474 22941
/proc/meminfo: memFree=19500976/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=479644 CPUtime=1722.33 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 120959 0 0 0 172052 181 0 0 25 0 1 0 818507887 491155456 119193 33554432000 4194304 5714214 140733245010928 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 119911 119193 180 372 0 119536 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 479644
[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 1.91 3/474 22943
/proc/meminfo: memFree=19465096/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=479644 CPUtime=1782.33 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 120963 0 0 0 178046 187 0 0 25 0 1 0 818507887 491155456 119197 33554432000 4194304 5714214 140733245010928 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 119911 119197 180 372 0 119536 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 479644
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.11 2.05 1.91 3/474 22943
/proc/meminfo: memFree=19465952/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=479644 CPUtime=1800.04 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 120963 0 0 0 179816 188 0 0 25 0 1 0 818507887 491155456 119197 33554432000 4194304 5714214 140733245010928 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 119911 119197 180 372 0 119536 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 479644
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.11 2.05 1.91 3/474 22943
/proc/meminfo: memFree=19465952/32950928 swapFree=61858088/67111528
[pid=22855] ppid=22853 vsize=479644 CPUtime=1800.04 cores=0,2,4,6
/proc/22855/stat : 22855 (wbo1.6) R 22853 22855 21173 0 -1 4202496 120963 0 0 0 179816 188 0 0 25 0 1 0 818507887 491155456 119197 33554432000 4194304 5714214 140733245010928 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22855/statm: 119911 119197 180 372 0 119536 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 479644
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.08
CPU user time (s): 1798.17
CPU system time (s): 1.90571
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 480040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.17
system time used= 1.90571
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120963
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= 2567
runsolver used 9.02963 second user time and 18.7182 second system time
The end