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-3733719-1338698133/watcher-3733719-1338698133 -o /tmp/evaluation-result-3733719-1338698133/solver-3733719-1338698133 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3733719-1338698133.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.93 2.01 1.99 3/176 12804
/proc/meminfo: memFree=24101832/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 335937402 4583424 156 33554432000 134512640 135840783 4293593952 4293593292 2516312 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 1119 156 135 325 0 39 0
[startup+0.015904 s]
/proc/loadavg: 1.93 2.01 1.99 3/176 12804
/proc/meminfo: memFree=24101832/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=5556 CPUtime=0 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 712 0 0 0 0 0 0 0 20 0 1 0 335937402 5689344 627 33554432000 134512640 135840783 4293593952 4293533404 5346352 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 1389 627 343 325 0 325 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5556
[startup+0.100246 s]
/proc/loadavg: 1.93 2.01 1.99 3/176 12804
/proc/meminfo: memFree=24101832/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=5696 CPUtime=0.08 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 779 0 0 0 8 0 0 0 20 0 1 0 335937402 5832704 668 33554432000 134512640 135840783 4293593952 4293528188 5346352 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 1424 668 345 325 0 360 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5696
[startup+0.300225 s]
/proc/loadavg: 1.93 2.01 1.99 3/176 12804
/proc/meminfo: memFree=24101832/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=8324 CPUtime=0.28 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 1469 0 0 0 28 0 0 0 20 0 1 0 335937402 8523776 1352 33554432000 134512640 135840783 4293593952 4293575952 3826983 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 2081 1357 348 325 0 1017 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8324
[startup+0.700224 s]
/proc/loadavg: 1.93 2.01 1.99 3/176 12804
/proc/meminfo: memFree=24101832/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=11388 CPUtime=0.68 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 2247 0 0 0 68 0 0 0 20 0 1 0 335937402 11661312 2129 33554432000 134512640 135840783 4293593952 4293588720 3826983 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 2847 2129 348 325 0 1783 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11388
[startup+1.50023 s]
/proc/loadavg: 1.93 2.01 1.99 3/177 12805
/proc/meminfo: memFree=24090780/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=12680 CPUtime=1.48 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 2573 0 0 0 148 0 0 0 20 0 1 0 335937402 12984320 2455 33554432000 134512640 135840783 4293593952 4293593264 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 3170 2455 348 325 0 2106 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12680
[startup+3.10022 s]
/proc/loadavg: 1.93 2.01 1.99 3/177 12805
/proc/meminfo: memFree=24083216/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=14352 CPUtime=3.08 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 2987 0 0 0 308 0 0 0 20 0 1 0 335937402 14696448 2869 33554432000 134512640 135840783 4293593952 4293593264 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 3588 2869 348 325 0 2524 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 14352
[startup+6.30013 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 12805
/proc/meminfo: memFree=24061596/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=18848 CPUtime=6.28 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 4101 0 0 0 628 0 0 0 20 0 1 0 335937402 19300352 3983 33554432000 134512640 135840783 4293593952 4293593264 134550878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 4712 3983 348 325 0 3648 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 18848
[startup+12.7003 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 12805
/proc/meminfo: memFree=24014484/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=28744 CPUtime=12.69 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 6568 0 0 0 1268 1 0 0 20 0 1 0 335937402 29433856 6450 33554432000 134512640 135840783 4293593952 4293593264 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 7186 6450 348 325 0 6122 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28744
[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 12805
/proc/meminfo: memFree=23902304/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=56276 CPUtime=25.48 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 13451 0 0 0 2546 2 0 0 20 0 1 0 335937402 57626624 13333 33554432000 134512640 135840783 4293593952 4293593264 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 14069 13333 348 325 0 13005 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 56276
[startup+51.1003 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 12805
/proc/meminfo: memFree=23537340/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=299464 CPUtime=51.08 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 74269 0 0 0 5097 11 0 0 20 0 1 0 335937402 306651136 74151 33554432000 134512640 135840783 4293593952 4293593264 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 74866 74151 348 325 0 73802 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 299464
[startup+102.306 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12805
/proc/meminfo: memFree=22981244/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=599732 CPUtime=102.27 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 149321 0 0 0 10200 27 0 0 20 0 1 0 335937402 614125568 149203 33554432000 134512640 135840783 4293593952 4293593312 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 149933 149203 348 325 0 148869 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 599732
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12806
/proc/meminfo: memFree=22495696/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=829108 CPUtime=162.26 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 206680 0 0 0 16184 42 0 0 20 0 1 0 335937402 849006592 206562 33554432000 134512640 135840783 4293593952 4293593264 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 207277 206562 348 325 0 206213 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 829108
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12806
/proc/meminfo: memFree=22082800/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=1016804 CPUtime=222.25 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 253589 0 0 0 22174 51 0 0 20 0 1 0 335937402 1041207296 253471 33554432000 134512640 135840783 4293593952 4293593312 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 254201 253471 348 325 0 253137 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1016804
[startup+282.3 s]
/proc/loadavg: 3.18 2.29 2.09 2/179 12810
/proc/meminfo: memFree=13778416/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=1213684 CPUtime=282.25 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 302807 0 0 0 28163 62 0 0 20 0 1 0 335937402 1242812416 302689 33554432000 134512640 135840783 4293593952 4293593264 134550913 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 303421 302689 348 325 0 302357 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1213684
[startup+342.3 s]
/proc/loadavg: 4.33 2.78 2.27 2/178 12810
/proc/meminfo: memFree=13195196/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=1395892 CPUtime=342.24 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 348374 0 0 0 34151 73 0 0 20 0 1 0 335937402 1429393408 348256 33554432000 134512640 135840783 4293593952 4293593264 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 348973 348256 348 325 0 347909 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1395892
[startup+402.3 s]
/proc/loadavg: 4.82 3.21 2.45 2/178 12810
/proc/meminfo: memFree=13045312/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=1547112 CPUtime=402.22 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 386166 0 0 0 40140 82 0 0 20 0 1 0 335937402 1584242688 386048 33554432000 134512640 135840783 4293593952 4293593192 3829445 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 386778 386048 348 325 0 385714 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1547112
[startup+462.3 s]
/proc/loadavg: 3.47 3.15 2.48 3/177 12849
/proc/meminfo: memFree=25191312/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=1669940 CPUtime=462.2 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 416903 0 0 0 46132 88 0 0 20 0 1 0 335937402 1710018560 416771 33554432000 134512640 135840783 4293593952 4293593312 134551312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 417485 416771 348 325 0 416421 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 1669940
[startup+522.3 s]
/proc/loadavg: 2.54 2.94 2.45 3/177 12850
/proc/meminfo: memFree=24731736/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=1792672 CPUtime=522.19 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 447593 0 0 0 52124 95 0 0 20 0 1 0 335937402 1835696128 447454 33554432000 134512640 135840783 4293593952 4293593312 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 448168 447454 348 325 0 447104 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 1792672
[startup+582.3 s]
/proc/loadavg: 2.20 2.77 2.42 3/177 12850
/proc/meminfo: memFree=24373528/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=1930268 CPUtime=582.17 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 482015 0 0 0 58114 103 0 0 20 0 1 0 335937402 1976594432 481850 33554432000 134512640 135840783 4293593952 4293541136 134574500 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 482567 481850 348 325 0 481503 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 1930268
[startup+642.306 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.27 2.29 3/178 12855
/proc/meminfo: memFree=23021876/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=2537320 CPUtime=882.06 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 633864 0 0 0 88070 136 0 0 20 0 1 0 335937402 2598215680 633600 33554432000 134512640 135840783 4293593952 4293538556 3824467 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 634330 633600 348 325 0 633266 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 2537320
[startup+942.3 s]
/proc/loadavg: 2.00 2.22 2.27 3/177 12855
/proc/meminfo: memFree=22812928/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=2626944 CPUtime=942.04 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 656280 0 0 0 94064 140 0 0 20 0 1 0 335937402 2689990656 656007 33554432000 134512640 135840783 4293593952 4293593312 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 656736 656007 348 325 0 655672 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 2626944
[startup+1002.3 s]
/proc/loadavg: 2.04 2.19 2.25 3/177 12855
/proc/meminfo: memFree=22606992/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=2706116 CPUtime=1002.03 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 676098 0 0 0 100058 145 0 0 20 0 1 0 335937402 2771062784 675815 33554432000 134512640 135840783 4293593952 4293593264 134551400 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 676529 675815 348 325 0 675465 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 2706116
[startup+1062.3 s]
/proc/loadavg: 2.01 2.15 2.24 3/177 12855
/proc/meminfo: memFree=22431436/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=2776264 CPUtime=1062.01 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 693649 0 0 0 106054 147 0 0 20 0 1 0 335937402 2842894336 693352 33554432000 134512640 135840783 4293593952 4293593312 134551071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 694066 693352 348 325 0 693002 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 2776264
[startup+1122.3 s]
/proc/loadavg: 2.00 2.12 2.22 3/177 12856
/proc/meminfo: memFree=22262452/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=2846928 CPUtime=1122 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 711310 0 0 0 112049 151 0 0 20 0 1 0 335937402 2915254272 711003 33554432000 134512640 135840783 4293593952 4293593312 134550913 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 711732 711003 348 325 0 710668 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 2846928
[startup+1182.3 s]
/proc/loadavg: 2.00 2.10 2.20 3/177 12856
/proc/meminfo: memFree=22092600/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=2928948 CPUtime=1181.99 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 731830 0 0 0 118043 156 0 0 20 0 1 0 335937402 2999242752 731508 33554432000 134512640 135840783 4293593952 4293593312 134550884 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 732237 731508 348 325 0 731173 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 2928948
[startup+1242.3 s]
/proc/loadavg: 2.00 2.08 2.18 3/177 12856
/proc/meminfo: memFree=21920764/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=3009316 CPUtime=1241.97 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 751929 0 0 0 124037 160 0 0 20 0 1 0 335937402 3081539584 751600 33554432000 134512640 135840783 4293593952 4293593312 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 752329 751600 348 325 0 751265 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 3009316
[startup+1302.31 s]
/proc/loadavg: 2.00 2.06 2.17 3/177 12856
/proc/meminfo: memFree=21750044/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=3091880 CPUtime=1301.97 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 772602 0 0 0 130031 166 0 0 20 0 1 0 335937402 3166085120 772256 33554432000 134512640 135840783 4293593952 4293593312 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 772970 772256 348 325 0 771906 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 3091880
[startup+1362.3 s]
/proc/loadavg: 2.00 2.05 2.16 3/177 12856
/proc/meminfo: memFree=21597428/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=3168516 CPUtime=1361.94 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 791772 0 0 0 136024 170 0 0 20 0 1 0 335937402 3244560384 791415 33554432000 134512640 135840783 4293593952 4293593312 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 792129 791415 348 325 0 791065 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 3168516
[startup+1422.3 s]
/proc/loadavg: 2.05 2.05 2.15 3/177 12857
/proc/meminfo: memFree=21442952/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=3241112 CPUtime=1421.93 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 809921 0 0 0 142018 175 0 0 20 0 1 0 335937402 3318898688 809549 33554432000 134512640 135840783 4293593952 4293593264 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 810278 809549 348 325 0 809214 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 3241112
[startup+1482.3 s]
/proc/loadavg: 2.06 2.06 2.15 3/178 12860
/proc/meminfo: memFree=21289892/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=3325528 CPUtime=1481.91 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 831053 0 0 0 148010 181 0 0 20 0 1 0 335937402 3405340672 830668 33554432000 134512640 135840783 4293593952 4293593312 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 831382 830668 348 325 0 830318 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 3325528
[startup+1542.3 s]
/proc/loadavg: 2.02 2.04 2.14 3/178 12882
/proc/meminfo: memFree=21124916/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=3406948 CPUtime=1541.89 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 851415 0 0 0 154003 186 0 0 20 0 1 0 335937402 3488714752 851022 33554432000 134512640 135840783 4293593952 4293593312 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 851737 851022 348 325 0 850673 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 3406948
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.12 3/177 12882
/proc/meminfo: memFree=20979236/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=3485540 CPUtime=1601.88 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 871068 0 0 0 159997 191 0 0 20 0 1 0 335937402 3569192960 870671 33554432000 134512640 135840783 4293593952 4293593312 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 871385 870671 348 325 0 870321 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 3485540
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.11 3/177 12882
/proc/meminfo: memFree=20825752/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=3568304 CPUtime=1661.87 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 891758 0 0 0 165990 197 0 0 20 0 1 0 335937402 3653943296 891347 33554432000 134512640 135840783 4293593952 4293593312 134551273 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 892076 891347 348 325 0 891012 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 3568304
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.10 3/177 12883
/proc/meminfo: memFree=20679460/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=3649544 CPUtime=1721.85 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 912071 0 0 0 171984 201 0 0 20 0 1 0 335937402 3737133056 911657 33554432000 134512640 135840783 4293593952 4293593312 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 912386 911657 348 325 0 911322 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 3649544
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.09 3/177 12883
/proc/meminfo: memFree=20538376/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=3722308 CPUtime=1781.84 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 930271 0 0 0 177979 205 0 0 20 0 1 0 335937402 3811643392 929848 33554432000 134512640 135840783 4293593952 4293593312 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 930577 929848 348 325 0 929513 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 3722308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.01 2.09 3/177 12883
/proc/meminfo: memFree=20499036/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=3737784 CPUtime=1800.04 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 934144 0 0 0 179799 205 0 0 20 0 1 0 335937402 3827490816 933717 33554432000 134512640 135840783 4293593952 4293593312 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 934446 933717 348 325 0 933382 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3737784
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.01 2.09 3/177 12883
/proc/meminfo: memFree=20499036/32873648 swapFree=7368/7368
[pid=12804] ppid=12802 vsize=3737784 CPUtime=1800.04 cores=1,3,5,7
/proc/12804/stat : 12804 (bsolo3.0.17) R 12802 12804 10459 0 -1 4202496 934144 0 0 0 179799 205 0 0 20 0 1 0 335937402 3827490816 933717 33554432000 134512640 135840783 4293593952 4293593312 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12804/statm: 934446 933717 348 325 0 933382 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3737784
Child status: 15
Real time (s): 1800.61
CPU time (s): 1800.15
CPU user time (s): 1798
CPU system time (s): 2.15567
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 3737784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798
system time used= 2.15567
maximum resident set size= 3734868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 934147
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= 357
involuntary context switches= 1817
runsolver used 2.25166 second user time and 10.4624 second system time
The end