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-3739714-1338749451/watcher-3739714-1338749451 -o /tmp/evaluation-result-3739714-1338749451/solver-3739714-1338749451 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3739714-1338749451.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: 2.00 2.00 1.90 3/177 9534
/proc/meminfo: memFree=31262892/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=7868 CPUtime=0 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 472 0 0 0 0 0 0 0 20 0 1 0 341073667 8056832 408 33554432000 134512640 135840783 4293423184 4293421856 3855655 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 1967 408 329 325 0 108 0
[startup+0.103322 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 9534
/proc/meminfo: memFree=31262892/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=13576 CPUtime=0.09 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 2188 0 0 0 9 0 0 0 20 0 1 0 341073667 13901824 2124 33554432000 134512640 135840783 4293423184 4293422016 3855655 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 3394 2125 629 325 0 1535 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13576
[startup+0.200286 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 9534
/proc/meminfo: memFree=31262892/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=18620 CPUtime=0.19 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 3756 0 0 0 19 0 0 0 20 0 1 0 341073667 19066880 3652 33554432000 134512640 135840783 4293423184 4293421872 3855655 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 4655 3653 919 325 0 2796 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18620
[startup+0.300291 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 9534
/proc/meminfo: memFree=31262892/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=22692 CPUtime=0.29 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 5744 0 0 0 29 0 0 0 20 0 1 0 341073667 23236608 4845 33554432000 134512640 135840783 4293423184 4293422272 3855655 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 5673 4849 340 325 0 4609 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22692
[startup+0.700235 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 9534
/proc/meminfo: memFree=31262892/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=26976 CPUtime=0.69 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 6773 0 0 0 69 0 0 0 20 0 1 0 341073667 27623424 5874 33554432000 134512640 135840783 4293423184 4293021408 134551776 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 6744 5874 344 325 0 5680 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26976
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 1.90 3/178 9535
/proc/meminfo: memFree=31224908/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=26976 CPUtime=1.48 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 6776 0 0 0 148 0 0 0 20 0 1 0 341073667 27623424 5877 33554432000 134512640 135840783 4293423184 4293021408 134551359 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 6744 5877 344 325 0 5680 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 26976
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 1.90 3/178 9535
/proc/meminfo: memFree=31224504/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=26976 CPUtime=3.09 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 6803 0 0 0 308 1 0 0 20 0 1 0 341073667 27623424 5904 33554432000 134512640 135840783 4293423184 4293021548 2782256 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 6744 5904 344 325 0 5680 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26976
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 1.90 3/178 9535
/proc/meminfo: memFree=31222776/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=27008 CPUtime=6.28 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 7279 0 0 0 626 2 0 0 20 0 1 0 341073667 27656192 5921 33554432000 134512640 135840783 4293423184 4293422544 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 6752 5921 349 325 0 5688 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 27008
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 9535
/proc/meminfo: memFree=31211960/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=28988 CPUtime=12.68 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 7762 0 0 0 1266 2 0 0 20 0 1 0 341073667 29683712 6404 33554432000 134512640 135840783 4293423184 4293419104 3855655 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 7247 6404 349 325 0 6183 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 28988
[startup+25.5004 s]
/proc/loadavg: 2.08 2.02 1.91 3/177 9535
/proc/meminfo: memFree=31178224/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=43648 CPUtime=25.49 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 11419 0 0 0 2545 4 0 0 20 0 1 0 341073667 44695552 10061 33554432000 134512640 135840783 4293423184 4293417648 3855655 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 10912 10061 349 325 0 9848 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 43648
[startup+51.1004 s]
/proc/loadavg: 2.05 2.01 1.91 3/177 9535
/proc/meminfo: memFree=31116672/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=72164 CPUtime=51.08 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 18562 0 0 0 5101 7 0 0 20 0 1 0 341073667 73895936 17204 33554432000 134512640 135840783 4293423184 4293422536 8607952 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 18041 17204 349 325 0 16977 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 72164
[startup+102.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 9535
/proc/meminfo: memFree=31008216/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=137168 CPUtime=102.25 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 34850 0 0 0 10211 14 0 0 20 0 1 0 341073667 140460032 33464 33554432000 134512640 135840783 4293423184 4293422544 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 34292 33464 349 325 0 33228 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 137168
[startup+162.3 s]
/proc/loadavg: 2.04 2.02 1.92 3/177 9535
/proc/meminfo: memFree=30908424/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=200788 CPUtime=162.2 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 50810 0 0 0 16198 22 0 0 20 0 1 0 341073667 205606912 49376 33554432000 134512640 135840783 4293423184 4293422320 3853214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 50197 49376 349 325 0 49133 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 200788
[startup+222.307 s]
/proc/loadavg: 2.01 2.01 1.92 3/177 9535
/proc/meminfo: memFree=30865660/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=233724 CPUtime=222.17 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 59049 0 0 0 22192 25 0 0 20 0 1 0 341073667 239333376 57592 33554432000 134512640 135840783 4293423184 4293422544 134550884 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 58431 57592 349 325 0 57367 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 233724
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/177 9536
/proc/meminfo: memFree=30827444/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=272156 CPUtime=282.15 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 68665 0 0 0 28186 29 0 0 20 0 1 0 341073667 278687744 67208 33554432000 134512640 135840783 4293423184 4293422544 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 68039 67208 349 325 0 66975 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 272156
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 9536
/proc/meminfo: memFree=30788708/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=305556 CPUtime=342.14 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 77021 0 0 0 34181 33 0 0 20 0 1 0 341073667 312889344 75564 33554432000 134512640 135840783 4293423184 4293422544 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 76389 75564 349 325 0 75325 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 305556
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 9536
/proc/meminfo: memFree=30734892/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=331356 CPUtime=402.13 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 83464 0 0 0 40175 38 0 0 20 0 1 0 341073667 339308544 82007 33554432000 134512640 135840783 4293423184 4293422544 134551116 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 82839 82007 349 325 0 81775 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 331356
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 9536
/proc/meminfo: memFree=30688040/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=378516 CPUtime=462.11 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 95274 0 0 0 46167 44 0 0 20 0 1 0 341073667 387600384 93796 33554432000 134512640 135840783 4293423184 4293422464 3857998 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 94629 93796 349 325 0 93565 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 378516
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 9536
/proc/meminfo: memFree=30638964/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=427260 CPUtime=522.06 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 107498 0 0 0 52157 49 0 0 20 0 1 0 341073667 437514240 105972 33554432000 134512640 135840783 4293423184 4293422544 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 106815 105972 349 325 0 105751 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 427260
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 9540
/proc/meminfo: memFree=30613256/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=452540 CPUtime=582 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 113886 0 0 0 58147 53 0 0 20 0 1 0 341073667 463400960 112313 33554432000 134512640 135840783 4293423184 4293422544 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 113135 112313 349 325 0 112071 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 452540
[startup+642.3 s]
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.01 2.01 1.92 3/177 9564
/proc/meminfo: memFree=30449040/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=570704 CPUtime=881.96 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 143399 0 0 0 88129 67 0 0 20 0 1 0 341073667 584400896 141826 33554432000 134512640 135840783 4293423184 4293422544 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 142676 141826 349 325 0 141612 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 570704
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 9564
/proc/meminfo: memFree=30388280/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=600872 CPUtime=941.94 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 150948 0 0 0 94124 70 0 0 20 0 1 0 341073667 615292928 149375 33554432000 134512640 135840783 4293423184 4293422496 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 150218 149375 349 325 0 149154 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 600872
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 9564
/proc/meminfo: memFree=30349716/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=636100 CPUtime=1001.94 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 159771 0 0 0 100120 74 0 0 20 0 1 0 341073667 651366400 158198 33554432000 134512640 135840783 4293423184 4293422420 3850269 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 159025 158198 349 325 0 157961 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 636100
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 9564
/proc/meminfo: memFree=30329848/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=656516 CPUtime=1061.89 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 164907 0 0 0 106111 78 0 0 20 0 1 0 341073667 672272384 163289 33554432000 134512640 135840783 4293423184 4293422544 134550782 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 164129 163289 349 325 0 163065 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 656516
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 9564
/proc/meminfo: memFree=30308920/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=677160 CPUtime=1121.85 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 170122 0 0 0 112104 81 0 0 20 0 1 0 341073667 693411840 168456 33554432000 134512640 135840783 4293423184 4293422544 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 169290 168456 349 325 0 168226 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 677160
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 9568
/proc/meminfo: memFree=30288160/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=697564 CPUtime=1181.82 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 175255 0 0 0 118099 83 0 0 20 0 1 0 341073667 714305536 173567 33554432000 134512640 135840783 4293423184 4293422480 134572295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 174391 173567 349 325 0 173327 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 697564
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 9568
/proc/meminfo: memFree=30263368/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=721944 CPUtime=1241.8 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 181338 0 0 0 124094 86 0 0 20 0 1 0 341073667 739270656 179650 33554432000 134512640 135840783 4293423184 4293422544 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 180486 179650 349 325 0 179422 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 721944
[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/177 9568
/proc/meminfo: memFree=30221208/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=741580 CPUtime=1301.79 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 186239 0 0 0 130091 88 0 0 20 0 1 0 341073667 759377920 184551 33554432000 134512640 135840783 4293423184 4293422544 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 185395 184551 349 325 0 184331 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 741580
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/177 9568
/proc/meminfo: memFree=30187204/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=759720 CPUtime=1361.78 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 190769 0 0 0 136088 90 0 0 20 0 1 0 341073667 777953280 189081 33554432000 134512640 135840783 4293423184 4293422544 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 189930 189081 349 325 0 188866 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 759720
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 9568
/proc/meminfo: memFree=30166928/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=780024 CPUtime=1421.79 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 195858 0 0 0 142086 93 0 0 20 0 1 0 341073667 798744576 194170 33554432000 134512640 135840783 4293423184 4293422532 9003661 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 195006 194170 349 325 0 193942 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 780024
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 9569
/proc/meminfo: memFree=30143616/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=803296 CPUtime=1481.77 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 201662 0 0 0 148081 96 0 0 20 0 1 0 341073667 822575104 199974 33554432000 134512640 135840783 4293423184 4293422544 134551179 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 200824 199974 349 325 0 199760 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 803296
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 9569
/proc/meminfo: memFree=30120056/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=826728 CPUtime=1541.77 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 207523 0 0 0 154078 99 0 0 20 0 1 0 341073667 846569472 205835 33554432000 134512640 135840783 4293423184 4293422544 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 206682 205835 349 325 0 205618 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 826728
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 9569
/proc/meminfo: memFree=30094264/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=852424 CPUtime=1601.75 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 213971 0 0 0 160073 102 0 0 20 0 1 0 341073667 872882176 212283 33554432000 134512640 135840783 4293423184 4293422512 8994796 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 213106 212283 349 325 0 212042 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 852424
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/177 9569
/proc/meminfo: memFree=30076904/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=870324 CPUtime=1661.74 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 218422 0 0 0 166069 105 0 0 20 0 1 0 341073667 891211776 216734 33554432000 134512640 135840783 4293423184 4293422536 8607916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 217581 216734 349 325 0 216517 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 870324
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/177 9569
/proc/meminfo: memFree=30053840/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=893452 CPUtime=1721.73 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 224224 0 0 0 172066 107 0 0 20 0 1 0 341073667 914894848 222536 33554432000 134512640 135840783 4293423184 4293422544 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 223363 222536 349 325 0 222299 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 893452
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9573
/proc/meminfo: memFree=30027844/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=914912 CPUtime=1781.72 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 229591 0 0 0 178062 110 0 0 20 0 1 0 341073667 936869888 227898 33554432000 134512640 135840783 4293423184 4293422484 3861067 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 228728 227898 349 325 0 227664 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 914912
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 1.93 2/176 9574
/proc/meminfo: memFree=30345684/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=919952 CPUtime=1800 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 230872 0 0 0 179890 110 0 0 20 0 1 0 341073667 942030848 229163 33554432000 134512640 135840783 4293423184 4293422544 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 229988 229163 349 325 0 228924 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 919952
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 1.93 2/176 9574
/proc/meminfo: memFree=30345684/32873844 swapFree=8656/8656
[pid=9534] ppid=9532 vsize=919952 CPUtime=1800 cores=1,3,5,7
/proc/9534/stat : 9534 (bsolo3.0.17) R 9532 9534 9396 0 -1 4202496 230872 0 0 0 179890 110 0 0 20 0 1 0 341073667 942030848 229163 33554432000 134512640 135840783 4293423184 4293422544 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9534/statm: 229988 229163 349 325 0 228924 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 919952
Child status: 15
Real time (s): 1800.62
CPU time (s): 1800.03
CPU user time (s): 1798.91
CPU system time (s): 1.12683
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 919952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.91
system time used= 1.12683
maximum resident set size= 916652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230875
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= 358
involuntary context switches= 1841
runsolver used 3.85041 second user time and 10.0845 second system time
The end