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-3741377-1338758337/watcher-3741377-1338758337 -o /tmp/evaluation-result-3741377-1338758337/solver-3741377-1338758337 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3741377-1338758337.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.99 2.00 2.00 3/176 12812
/proc/meminfo: memFree=27561484/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=5616 CPUtime=0 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 484 0 0 0 0 0 0 0 20 0 1 0 341959614 5750784 420 33554432000 134512640 135840783 4289997984 4289996720 1582375 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 1404 421 328 325 0 109 0
[startup+0.0106009 s]
/proc/loadavg: 1.99 2.00 2.00 3/176 12812
/proc/meminfo: memFree=27561484/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=6036 CPUtime=0 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 605 0 0 0 0 0 0 0 20 0 1 0 341959614 6180864 541 33554432000 134512640 135840783 4289997984 4289996752 1582375 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 1509 542 339 325 0 214 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6036
[startup+0.100137 s]
/proc/loadavg: 1.99 2.00 2.00 3/176 12812
/proc/meminfo: memFree=27561484/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=12928 CPUtime=0.09 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 2745 0 0 0 9 0 0 0 20 0 1 0 341959614 13238272 2410 33554432000 134512640 135840783 4289997984 4289734464 1582375 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 3232 2410 344 325 0 2168 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12928
[startup+0.300119 s]
/proc/loadavg: 1.99 2.00 2.00 3/176 12812
/proc/meminfo: memFree=27561484/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=13192 CPUtime=0.29 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 2798 0 0 0 29 0 0 0 20 0 1 0 341959614 13508608 2463 33554432000 134512640 135840783 4289997984 4289734828 10806320 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 3298 2463 344 325 0 2234 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13192
[startup+0.700103 s]
/proc/loadavg: 1.99 2.00 2.00 3/176 12812
/proc/meminfo: memFree=27561484/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=13192 CPUtime=0.69 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 2798 0 0 0 69 0 0 0 20 0 1 0 341959614 13508608 2463 33554432000 134512640 135840783 4289997984 4289734828 10806320 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 3298 2463 344 325 0 2234 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13192
[startup+1.50011 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 12813
/proc/meminfo: memFree=27544256/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=13632 CPUtime=1.48 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 3082 0 0 0 147 1 0 0 20 0 1 0 341959614 13959168 2575 33554432000 134512640 135840783 4289997984 4289997168 134574642 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 3408 2575 349 325 0 2344 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13632
[startup+3.10011 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 12813
/proc/meminfo: memFree=27546540/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=14036 CPUtime=3.08 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 3193 0 0 0 307 1 0 0 20 0 1 0 341959614 14372864 2686 33554432000 134512640 135840783 4289997984 4289997336 15788209 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 3509 2686 349 325 0 2445 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 14036
[startup+6.3002 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 12813
/proc/meminfo: memFree=27533660/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=20024 CPUtime=6.29 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 4703 0 0 0 627 2 0 0 20 0 1 0 341959614 20504576 4196 33554432000 134512640 135840783 4289997984 4289997072 1580275 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 5006 4196 349 325 0 3942 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20024
[startup+12.7002 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 12813
/proc/meminfo: memFree=27486308/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=43124 CPUtime=12.69 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 10458 0 0 0 1266 3 0 0 20 0 1 0 341959614 44158976 9951 33554432000 134512640 135840783 4289997984 4289996976 134574759 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 10781 9951 349 325 0 9717 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43124
[startup+25.5003 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 12813
/proc/meminfo: memFree=27415636/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=67296 CPUtime=25.49 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 16521 0 0 0 2544 5 0 0 20 0 1 0 341959614 68911104 16014 33554432000 134512640 135840783 4289997984 4289995152 1582375 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 16824 16014 349 325 0 15760 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 67296
[startup+51.1003 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 12813
/proc/meminfo: memFree=27276980/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=126824 CPUtime=51.08 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 31388 0 0 0 5101 7 0 0 20 0 1 0 341959614 129867776 30881 33554432000 134512640 135840783 4289997984 4289997332 16183949 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 31706 30881 349 325 0 30642 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 126824
[startup+102.307 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 12816
/proc/meminfo: memFree=27032476/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=245408 CPUtime=102.28 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 61031 0 0 0 10212 16 0 0 20 0 1 0 341959614 251297792 60524 33554432000 134512640 135840783 4289997984 4289997344 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 61352 60524 349 325 0 60288 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 245408
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 12816
/proc/meminfo: memFree=26880984/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=303620 CPUtime=162.26 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 75584 0 0 0 16206 20 0 0 20 0 1 0 341959614 310906880 75077 33554432000 134512640 135840783 4289997984 4289997344 134550863 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 75905 75077 349 325 0 74841 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 303620
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 12817
/proc/meminfo: memFree=26731224/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=369704 CPUtime=222.25 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 92114 0 0 0 22200 25 0 0 20 0 1 0 341959614 378576896 91607 33554432000 134512640 135840783 4289997984 4289997344 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 92426 91607 349 325 0 91362 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 369704
[startup+282.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 12817
/proc/meminfo: memFree=26608492/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=417476 CPUtime=282.25 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 104066 0 0 0 28194 31 0 0 20 0 1 0 341959614 427495424 103559 33554432000 134512640 135840783 4289997984 4289997344 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 104369 103559 349 325 0 103305 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 417476
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12817
/proc/meminfo: memFree=26498172/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=479624 CPUtime=342.24 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 119602 0 0 0 34187 37 0 0 20 0 1 0 341959614 491134976 119095 33554432000 134512640 135840783 4289997984 4289997344 134551071 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 119906 119095 349 325 0 118842 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 479624
[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 12817
/proc/meminfo: memFree=26400260/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=530448 CPUtime=402.21 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 132315 0 0 0 40180 41 0 0 20 0 1 0 341959614 543178752 131798 33554432000 134512640 135840783 4289997984 4289997120 1579934 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 132612 131798 349 325 0 131548 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 530448
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12817
/proc/meminfo: memFree=26295844/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=582688 CPUtime=462.18 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 145405 0 0 0 46172 46 0 0 20 0 1 0 341959614 596672512 144844 33554432000 134512640 135840783 4289997984 4289997344 134551365 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 145672 144844 349 325 0 144608 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 582688
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12818
/proc/meminfo: memFree=26201028/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=639380 CPUtime=522.14 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 159633 0 0 0 52163 51 0 0 20 0 1 0 341959614 654725120 159024 33554432000 134512640 135840783 4289997984 4289997344 134550916 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 159845 159024 349 325 0 158781 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 639380
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12818
/proc/meminfo: memFree=26110768/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=691996 CPUtime=582.1 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 172843 0 0 0 58154 56 0 0 20 0 1 0 341959614 708603904 172189 33554432000 134512640 135840783 4289997984 4289997344 134551058 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 172999 172189 349 325 0 171935 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 691996
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12822
/proc/meminfo: memFree=25727248/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=912264 CPUtime=821.94 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 228094 0 0 0 82116 78 0 0 20 0 1 0 341959614 934158336 227261 33554432000 134512640 135840783 4289997984 4289997296 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 228066 227261 349 325 0 227002 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 912264
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12823
/proc/meminfo: memFree=25616644/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=983284 CPUtime=881.9 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 245869 0 0 0 88105 85 0 0 20 0 1 0 341959614 1006882816 244996 33554432000 134512640 135840783 4289997984 4289997344 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 245821 244996 349 325 0 244757 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 983284
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12823
/proc/meminfo: memFree=25464920/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=1100516 CPUtime=941.87 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 275243 0 0 0 94095 92 0 0 20 0 1 0 341959614 1126928384 274325 33554432000 134512640 135840783 4289997984 4289997344 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 275129 274325 349 325 0 274065 0
Current children cumulated CPU time (s) 941.87
Current children cumulated vsize (KiB) 1100516
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12823
/proc/meminfo: memFree=25323448/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=1195812 CPUtime=1001.82 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 299105 0 0 0 100084 98 0 0 20 0 1 0 341959614 1224511488 298139 33554432000 134512640 135840783 4289997984 4289997344 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 298953 298139 349 325 0 297889 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 1195812
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12823
/proc/meminfo: memFree=25213256/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=1270188 CPUtime=1061.78 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 317747 0 0 0 106072 106 0 0 20 0 1 0 341959614 1300672512 316733 33554432000 134512640 135840783 4289997984 4289997344 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 317547 316733 349 325 0 316483 0
Current children cumulated CPU time (s) 1061.78
Current children cumulated vsize (KiB) 1270188
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12824
/proc/meminfo: memFree=25102308/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=1347052 CPUtime=1121.75 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 336999 0 0 0 112063 112 0 0 20 0 1 0 341959614 1379381248 335937 33554432000 134512640 135840783 4289997984 4289997336 15788217 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 336763 335937 349 325 0 335699 0
Current children cumulated CPU time (s) 1121.75
Current children cumulated vsize (KiB) 1347052
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12824
/proc/meminfo: memFree=25021240/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=1392808 CPUtime=1181.72 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 348480 0 0 0 118055 117 0 0 20 0 1 0 341959614 1426235392 347379 33554432000 134512640 135840783 4289997984 4289997344 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 348202 347379 349 325 0 347138 0
Current children cumulated CPU time (s) 1181.72
Current children cumulated vsize (KiB) 1392808
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12824
/proc/meminfo: memFree=24956044/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=1429940 CPUtime=1241.68 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 357814 0 0 0 124046 122 0 0 20 0 1 0 341959614 1464258560 356670 33554432000 134512640 135840783 4289997984 4289997344 134550902 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 357485 356670 349 325 0 356421 0
Current children cumulated CPU time (s) 1241.68
Current children cumulated vsize (KiB) 1429940
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12827
/proc/meminfo: memFree=24902680/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=1450764 CPUtime=1301.67 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 363687 0 0 0 130042 125 0 0 20 0 1 0 341959614 1485582336 361868 33554432000 134512640 135840783 4289997984 4289997456 134552417 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 362691 361868 349 325 0 361627 0
Current children cumulated CPU time (s) 1301.67
Current children cumulated vsize (KiB) 1450764
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12827
/proc/meminfo: memFree=24865116/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=1450764 CPUtime=1361.65 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 363687 0 0 0 136040 125 0 0 20 0 1 0 341959614 1485582336 361868 33554432000 134512640 135840783 4289997984 4289997344 134551186 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 362691 361868 349 325 0 361627 0
Current children cumulated CPU time (s) 1361.65
Current children cumulated vsize (KiB) 1450764
[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 12828
/proc/meminfo: memFree=24833372/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=1450764 CPUtime=1421.65 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 363687 0 0 0 142040 125 0 0 20 0 1 0 341959614 1485582336 361868 33554432000 134512640 135840783 4289997984 4289997344 134551065 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 362691 361868 349 325 0 361627 0
Current children cumulated CPU time (s) 1421.65
Current children cumulated vsize (KiB) 1450764
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12828
/proc/meminfo: memFree=24807208/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=1450764 CPUtime=1481.63 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 363687 0 0 0 148038 125 0 0 20 0 1 0 341959614 1485582336 361868 33554432000 134512640 135840783 4289997984 4289997344 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 362691 361868 349 325 0 361627 0
Current children cumulated CPU time (s) 1481.63
Current children cumulated vsize (KiB) 1450764
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12828
/proc/meminfo: memFree=24775220/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=1450764 CPUtime=1541.63 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 363687 0 0 0 154038 125 0 0 20 0 1 0 341959614 1485582336 361868 33554432000 134512640 135840783 4289997984 4289997344 134550913 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 362691 361868 349 325 0 361627 0
Current children cumulated CPU time (s) 1541.63
Current children cumulated vsize (KiB) 1450764
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12828
/proc/meminfo: memFree=24741616/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=1450764 CPUtime=1601.62 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 363687 0 0 0 160037 125 0 0 20 0 1 0 341959614 1485582336 361868 33554432000 134512640 135840783 4289997984 4289997344 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 362691 361868 349 325 0 361627 0
Current children cumulated CPU time (s) 1601.62
Current children cumulated vsize (KiB) 1450764
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12828
/proc/meminfo: memFree=24710740/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=1450764 CPUtime=1661.61 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 363689 0 0 0 166036 125 0 0 20 0 1 0 341959614 1485582336 361870 33554432000 134512640 135840783 4289997984 4289997344 134550872 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 362691 361870 349 325 0 361627 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 1450764
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12829
/proc/meminfo: memFree=24685564/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=1450764 CPUtime=1721.6 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 363689 0 0 0 172035 125 0 0 20 0 1 0 341959614 1485582336 361870 33554432000 134512640 135840783 4289997984 4289997344 134550902 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 362691 361870 349 325 0 361627 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 1450764
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12829
/proc/meminfo: memFree=24656824/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=1450764 CPUtime=1781.59 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 363689 0 0 0 178034 125 0 0 20 0 1 0 341959614 1485582336 361870 33554432000 134512640 135840783 4289997984 4289997264 1584782 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 362691 361870 349 325 0 361627 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 1450764
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 2.06 2.02 2.00 2/175 12830
/proc/meminfo: memFree=26122860/32873648 swapFree=7112/7112
[pid=12812] ppid=12810 vsize=1450764 CPUtime=1800.09 cores=1,3,5,7
/proc/12812/stat : 12812 (bsolo3.0.17) R 12810 12812 11604 0 -1 4202496 363689 0 0 0 179884 125 0 0 20 0 1 0 341959614 1485582336 361870 33554432000 134512640 135840783 4289997984 4289997344 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12812/statm: 362691 361870 349 325 0 361627 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1450764
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 15
Real time (s): 1800.81
CPU time (s): 1800.11
CPU user time (s): 1798.85
CPU system time (s): 1.25681
CPU usage (%): 99.9608
Max. virtual memory (cumulated for all children) (KiB): 1453392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.85
system time used= 1.25681
maximum resident set size= 1450100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 363692
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= 678
involuntary context switches= 1834
runsolver used 3.62245 second user time and 9.54255 second system time
The end