runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3743253-1338779348/watcher-3743253-1338779348 -o /tmp/evaluation-result-3743253-1338779348/solver-3743253-1338779348 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3743253-1338779348.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.97 1.99 1.99 3/176 14355
/proc/meminfo: memFree=27277184/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) D 14353 14355 11604 0 -1 4194304 94 0 0 0 0 0 0 0 20 0 1 0 344060807 2723840 47 33554432000 134512640 135840783 4293605776 4293603812 10466244 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 665 47 37 325 0 32 0
[startup+0.042461 s]
/proc/loadavg: 1.97 1.99 1.99 3/176 14355
/proc/meminfo: memFree=27277184/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=34232 CPUtime=0.03 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 1064 0 0 0 3 0 0 0 20 0 1 0 344060807 35053568 1001 33554432000 134512640 135840783 4293605776 4293604432 10978599 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 8558 1001 429 325 0 602 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 34232
[startup+0.100223 s]
/proc/loadavg: 1.97 1.99 1.99 3/176 14355
/proc/meminfo: memFree=27277184/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=36660 CPUtime=0.09 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 1842 0 0 0 9 0 0 0 20 0 1 0 344060807 37539840 1739 33554432000 134512640 135840783 4293605776 4293604432 10978599 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 9165 1741 587 325 0 1209 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36660
[startup+0.300209 s]
/proc/loadavg: 1.97 1.99 1.99 3/176 14355
/proc/meminfo: memFree=27277184/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=43636 CPUtime=0.28 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 4224 0 0 0 28 0 0 0 20 0 1 0 344060807 44683264 3993 33554432000 134512640 135840783 4293605776 4293600832 10978599 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 10909 3994 1115 325 0 2953 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 43636
[startup+0.700234 s]
/proc/loadavg: 1.97 1.99 1.99 3/176 14355
/proc/meminfo: memFree=27277184/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=56484 CPUtime=0.68 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 8634 0 0 0 67 1 0 0 20 0 1 0 344060807 57839616 8149 33554432000 134512640 135840783 4293605776 4293604768 134525286 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 14121 8150 2083 325 0 6165 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 56484
[startup+1.50025 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 14356
/proc/meminfo: memFree=27241084/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=83548 CPUtime=1.48 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 17589 0 0 0 146 2 0 0 20 0 1 0 344060807 85553152 16598 33554432000 134512640 135840783 4293605776 4293604416 10978599 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 20887 16599 3778 325 0 12931 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 83548
[startup+3.10015 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 14356
/proc/meminfo: memFree=27206972/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=115940 CPUtime=3.08 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 28310 0 0 0 304 4 0 0 20 0 1 0 344060807 118722560 27330 33554432000 134512640 135840783 4293605776 4293604768 134525286 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 28985 27330 6528 325 0 21029 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 115940
[startup+6.30025 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 14356
/proc/meminfo: memFree=27118384/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=166160 CPUtime=6.29 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 44220 0 0 0 622 7 0 0 20 0 1 0 344060807 170147840 39811 33554432000 134512640 135840783 4293605776 4288793776 10976158 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 41540 39811 342 325 0 40476 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 166160
[startup+12.7003 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 14356
/proc/meminfo: memFree=27118036/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=166160 CPUtime=12.68 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 44220 0 0 0 1261 7 0 0 20 0 1 0 344060807 170147840 39811 33554432000 134512640 135840783 4293605776 4288793716 10965346 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 41540 39811 342 325 0 40476 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 166160
[startup+25.5003 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 14356
/proc/meminfo: memFree=27118524/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=166160 CPUtime=25.48 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 44220 0 0 0 2541 7 0 0 20 0 1 0 344060807 170147840 39811 33554432000 134512640 135840783 4293605776 4288793824 10976516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 41540 39811 342 325 0 40476 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 166160
[startup+51.1002 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 14356
/proc/meminfo: memFree=27118476/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=166160 CPUtime=51.08 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 44222 0 0 0 5100 8 0 0 20 0 1 0 344060807 170147840 39813 33554432000 134512640 135840783 4293605776 4288793716 10965261 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 41540 39813 342 325 0 40476 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 166160
[startup+102.306 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 14359
/proc/meminfo: memFree=27115736/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=166160 CPUtime=102.28 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 44229 0 0 0 10219 9 0 0 20 0 1 0 344060807 170147840 39814 33554432000 134512640 135840783 4293605776 4288793776 10976158 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 41540 39814 342 325 0 40476 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 166160
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 14359
/proc/meminfo: memFree=27114224/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=166292 CPUtime=162.22 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 44280 0 0 0 16212 10 0 0 20 0 1 0 344060807 170283008 39822 33554432000 134512640 135840783 4293605776 4288794052 10984011 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 41573 39822 342 325 0 40509 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 166292
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 14360
/proc/meminfo: memFree=27108820/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=168108 CPUtime=222.21 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 45184 0 0 0 22210 11 0 0 20 0 1 0 344060807 172142592 41061 33554432000 134512640 135840783 4293605776 4293605072 134572603 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 42027 41061 346 325 0 40963 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 168108
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 14360
/proc/meminfo: memFree=27108820/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=168108 CPUtime=282.2 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 45184 0 0 0 28209 11 0 0 20 0 1 0 344060807 172142592 41061 33554432000 134512640 135840783 4293605776 4293605072 134572583 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 42027 41061 346 325 0 40963 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 168108
[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 14360
/proc/meminfo: memFree=27107336/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=168112 CPUtime=342.19 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 45185 0 0 0 34208 11 0 0 20 0 1 0 344060807 172146688 41062 33554432000 134512640 135840783 4293605776 4293605072 134572040 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 42028 41062 346 325 0 40964 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 168112
[startup+402.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 14360
/proc/meminfo: memFree=27106588/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=168116 CPUtime=402.18 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 45187 0 0 0 40207 11 0 0 20 0 1 0 344060807 172150784 41063 33554432000 134512640 135840783 4293605776 4293605124 4674189 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 42029 41063 346 325 0 40965 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 168116
[startup+462.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 14360
/proc/meminfo: memFree=27104600/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=168120 CPUtime=462.17 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 45188 0 0 0 46206 11 0 0 20 0 1 0 344060807 172154880 41064 33554432000 134512640 135840783 4293605776 4293605072 134572687 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 42030 41064 346 325 0 40966 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 168120
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14361
/proc/meminfo: memFree=27099396/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=168124 CPUtime=522.16 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 45189 0 0 0 52205 11 0 0 20 0 1 0 344060807 172158976 41065 33554432000 134512640 135840783 4293605776 4293604804 10965346 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 42031 41065 346 325 0 40967 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 168124
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14361
/proc/meminfo: memFree=27091460/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=168128 CPUtime=582.15 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 45190 0 0 0 58204 11 0 0 20 0 1 0 344060807 172163072 41066 33554432000 134512640 135840783 4293605776 4293605296 134551981 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 42032 41066 346 325 0 40968 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 168128
[startup+642.3 s]
################
# More data... #
################
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 46758 0 0 0 100196 12 0 0 20 0 1 0 344060807 178561024 42632 33554432000 134512640 135840783 4293605776 4293604912 10976158 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 43594 42632 346 325 0 42530 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 174376
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14365
/proc/meminfo: memFree=27051844/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=175304 CPUtime=1062.07 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 46994 0 0 0 106195 12 0 0 20 0 1 0 344060807 179511296 42868 33554432000 134512640 135840783 4293605776 4293604912 10976516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 43826 42868 346 325 0 42762 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 175304
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14365
/proc/meminfo: memFree=27042804/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=180724 CPUtime=1122.06 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 48364 0 0 0 112194 12 0 0 20 0 1 0 344060807 185061376 44238 33554432000 134512640 135840783 4293605776 4293604804 10965145 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 45181 44238 346 325 0 44117 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 180724
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14366
/proc/meminfo: memFree=27032504/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=181388 CPUtime=1182.05 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 48518 0 0 0 118193 12 0 0 20 0 1 0 344060807 185741312 44392 33554432000 134512640 135840783 4293605776 4293605072 134572040 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 45347 44392 346 325 0 44283 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 181388
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14366
/proc/meminfo: memFree=27024500/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=181396 CPUtime=1242.04 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 48522 0 0 0 124192 12 0 0 20 0 1 0 344060807 185749504 44393 33554432000 134512640 135840783 4293605776 4293605136 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 45349 44393 346 325 0 44285 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 181396
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14369
/proc/meminfo: memFree=27019296/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=182192 CPUtime=1302.05 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 48723 0 0 0 130192 13 0 0 20 0 1 0 344060807 186564608 44594 33554432000 134512640 135840783 4293605776 4293604948 10973346 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 45548 44594 346 325 0 44484 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 182192
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14369
/proc/meminfo: memFree=27018908/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=182460 CPUtime=1362.03 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 48788 0 0 0 136190 13 0 0 20 0 1 0 344060807 186839040 44659 33554432000 134512640 135840783 4293605776 4293605072 134571965 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 45615 44659 346 325 0 44551 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 182460
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14369
/proc/meminfo: memFree=27013724/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=182600 CPUtime=1422.03 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 48830 0 0 0 142190 13 0 0 20 0 1 0 344060807 186982400 44701 33554432000 134512640 135840783 4293605776 4293605056 10981006 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 45650 44701 346 325 0 44586 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 182600
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14371
/proc/meminfo: memFree=27001996/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=185772 CPUtime=1482.01 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 49614 0 0 0 148188 13 0 0 20 0 1 0 344060807 190230528 45484 33554432000 134512640 135840783 4293605776 4293604912 10976158 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 46443 45484 346 325 0 45379 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 185772
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14371
/proc/meminfo: memFree=26997792/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=186436 CPUtime=1542 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 49792 0 0 0 154187 13 0 0 20 0 1 0 344060807 190910464 45662 33554432000 134512640 135840783 4293605776 4293604804 10965244 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 46609 45662 346 325 0 45545 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 186436
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14371
/proc/meminfo: memFree=26989720/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=187236 CPUtime=1601.99 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 50005 0 0 0 160186 13 0 0 20 0 1 0 344060807 191729664 45875 33554432000 134512640 135840783 4293605776 4293604912 10976158 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 46809 45875 346 325 0 45745 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 187236
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14371
/proc/meminfo: memFree=26987252/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=188296 CPUtime=1661.99 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 50240 0 0 0 166185 14 0 0 20 0 1 0 344060807 192815104 46110 33554432000 134512640 135840783 4293605776 4293604864 10976516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 47074 46110 346 325 0 46010 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 188296
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14371
/proc/meminfo: memFree=26979248/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=189620 CPUtime=1721.98 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 50596 0 0 0 172184 14 0 0 20 0 1 0 344060807 194170880 46463 33554432000 134512640 135840783 4293605776 4293605072 134571806 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 47405 46463 346 325 0 46341 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 189620
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14411
/proc/meminfo: memFree=27088420/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=190416 CPUtime=1781.97 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 50785 0 0 0 178183 14 0 0 20 0 1 0 344060807 194985984 46652 33554432000 134512640 135840783 4293605776 4293605072 134572036 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 47604 46652 346 325 0 46540 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 190416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14411
/proc/meminfo: memFree=27088156/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=190816 CPUtime=1800.07 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) R 14353 14355 11604 0 -1 4202496 50886 0 0 0 179993 14 0 0 20 0 1 0 344060807 195395584 46753 33554432000 134512640 135840783 4293605776 4293604864 10976516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 47704 46753 346 325 0 46640 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 190816
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14355
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 14412
/proc/meminfo: memFree=27088156/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=190816 CPUtime=1800.07 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) S 14353 14355 11604 0 -1 4202496 50887 0 0 0 179993 14 0 0 20 0 1 0 344060807 195395584 46754 33554432000 134512640 135840783 4293605776 4293603204 15877168 0 16384 4096 16384 18446744071579510697 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 47704 46754 347 325 0 46640 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 190816
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 14412
/proc/meminfo: memFree=27087760/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=190816 CPUtime=1800.07 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) S 14353 14355 11604 0 -1 4202496 50887 0 0 0 179993 14 0 0 20 0 1 0 344060807 195395584 46754 33554432000 134512640 135840783 4293605776 4293603204 15877168 0 16384 4096 16384 18446744071579510697 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 47704 46754 347 325 0 46640 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 190816
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 14412
/proc/meminfo: memFree=27087760/32873648 swapFree=7112/7112
[pid=14355] ppid=14353 vsize=190816 CPUtime=1800.07 cores=1,3,5,7
/proc/14355/stat : 14355 (bsolo3.0.17) S 14353 14355 11604 0 -1 4202496 50887 0 0 0 179993 14 0 0 20 0 1 0 344060807 195395584 46754 33554432000 134512640 135840783 4293605776 4293603204 15877168 0 16384 4096 16384 18446744071579510697 0 0 17 5 0 0 0 0 0
/proc/14355/statm: 47704 46754 347 325 0 46640 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 190816
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.41
CPU time (s): 1800.08
CPU user time (s): 1799.94
CPU system time (s): 0.143978
CPU usage (%): 99.8708
Max. virtual memory (cumulated for all children) (KiB): 190816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.143978
maximum resident set size= 187016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50887
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= 78
involuntary context switches= 1850
runsolver used 2.72458 second user time and 7.11592 second system time
The end