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-3743077-1338777364/watcher-3743077-1338777364 -o /tmp/evaluation-result-3743077-1338777364/solver-3743077-1338777364 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3743077-1338777364.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.92 1.99 1.99 3/176 23818
/proc/meminfo: memFree=27053808/32873648 swapFree=6868/6868
[pid=23818] ppid=23816 vsize=4472 CPUtime=0 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4194304 119 0 0 0 0 0 0 0 20 0 1 0 343863264 4579328 69 33554432000 134512640 135840783 4293809344 4293808532 11173237 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 1119 76 58 325 0 39 0
[startup+0.0436009 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 23818
/proc/meminfo: memFree=27053808/32873648 swapFree=6868/6868
[pid=23818] ppid=23816 vsize=8536 CPUtime=0.03 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 946 0 0 0 3 0 0 0 20 0 1 0 343863264 8740864 882 33554432000 134512640 135840783 4293809344 4293806560 1582375 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 2134 882 433 325 0 461 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8536
[startup+0.100264 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 23818
/proc/meminfo: memFree=27053808/32873648 swapFree=6868/6868
[pid=23818] ppid=23816 vsize=11356 CPUtime=0.08 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 1828 0 0 0 8 0 0 0 20 0 1 0 343863264 11628544 1724 33554432000 134512640 135840783 4293809344 4293808048 1582375 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 2839 1724 592 325 0 1166 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11356
[startup+0.300263 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 23818
/proc/meminfo: memFree=27053808/32873648 swapFree=6868/6868
[pid=23818] ppid=23816 vsize=20172 CPUtime=0.28 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 4927 0 0 0 28 0 0 0 20 0 1 0 343863264 20656128 4135 33554432000 134512640 135840783 4293809344 4293317180 10814512 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 5043 4135 344 325 0 3979 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 20172
[startup+0.700269 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 23818
/proc/meminfo: memFree=27053808/32873648 swapFree=6868/6868
[pid=23818] ppid=23816 vsize=20172 CPUtime=0.68 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 4930 0 0 0 68 0 0 0 20 0 1 0 343863264 20656128 4138 33554432000 134512640 135840783 4293809344 4293317180 10814512 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 5043 4138 344 325 0 3979 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 20172
[startup+1.50029 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 23819
/proc/meminfo: memFree=27038456/32873648 swapFree=6868/6868
[pid=23818] ppid=23816 vsize=20832 CPUtime=1.48 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 5113 0 0 0 148 0 0 0 20 0 1 0 343863264 21331968 4321 33554432000 134512640 135840783 4293809344 4293317152 134583111 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 5208 4321 344 325 0 4144 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 20832
[startup+3.10027 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 23819
/proc/meminfo: memFree=27036680/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=20832 CPUtime=3.08 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 5115 0 0 0 308 0 0 0 20 0 1 0 343863264 21331968 4323 33554432000 134512640 135840783 4293809344 4293316816 1579934 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 5208 4323 344 325 0 4144 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 20832
[startup+6.30028 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 23819
/proc/meminfo: memFree=27035600/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=20832 CPUtime=6.28 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 5115 0 0 0 628 0 0 0 20 0 1 0 343863264 21331968 4323 33554432000 134512640 135840783 4293809344 4293317180 10814512 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 5208 4323 344 325 0 4144 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20832
[startup+12.7003 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 23819
/proc/meminfo: memFree=27032712/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=20832 CPUtime=12.68 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 5115 0 0 0 1267 1 0 0 20 0 1 0 343863264 21331968 4323 33554432000 134512640 135840783 4293809344 4293317180 10814512 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 5208 4323 344 325 0 4144 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20832
[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 23819
/proc/meminfo: memFree=27022932/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=24232 CPUtime=25.48 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 6599 0 0 0 2544 4 0 0 20 0 1 0 343863264 24813568 5247 33554432000 134512640 135840783 4293809344 4293808656 13468296 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 6058 5247 349 325 0 4994 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24232
[startup+51.1003 s]
/proc/loadavg: 1.96 1.99 1.99 3/177 23819
/proc/meminfo: memFree=26995528/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=39556 CPUtime=51.07 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 10429 0 0 0 5102 5 0 0 20 0 1 0 343863264 40505344 9077 33554432000 134512640 135840783 4293809344 4293808480 1579934 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 9889 9077 349 325 0 8825 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 39556
[startup+102.306 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 23820
/proc/meminfo: memFree=26950392/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=67892 CPUtime=102.27 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 17501 0 0 0 10220 7 0 0 20 0 1 0 343863264 69521408 16149 33554432000 134512640 135840783 4293809344 4293807508 1569037 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 16973 16149 349 325 0 15909 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 67892
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 23820
/proc/meminfo: memFree=26908976/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=95836 CPUtime=162.26 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 24484 0 0 0 16217 9 0 0 20 0 1 0 343863264 98136064 23132 33554432000 134512640 135840783 4293809344 4293808640 134572716 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 23959 23132 349 325 0 22895 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 95836
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 23821
/proc/meminfo: memFree=26841264/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=132124 CPUtime=222.25 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 33551 0 0 0 22214 11 0 0 20 0 1 0 343863264 135294976 32199 33554432000 134512640 135840783 4293809344 4293808656 13468174 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 33031 32199 349 325 0 31967 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 132124
[startup+282.3 s]
/proc/loadavg: 2.03 1.99 1.99 3/178 23862
/proc/meminfo: memFree=27702076/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=156204 CPUtime=282.22 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 39607 0 0 0 28208 14 0 0 20 0 1 0 343863264 159952896 38219 33554432000 134512640 135840783 4293809344 4293808704 134551362 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 39051 38219 349 325 0 37987 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 156204
[startup+342.3 s]
/proc/loadavg: 2.01 1.99 1.99 3/177 23862
/proc/meminfo: memFree=27629456/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=175652 CPUtime=342.18 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 44512 0 0 0 34202 16 0 0 20 0 1 0 343863264 179867648 43087 33554432000 134512640 135840783 4293809344 4293808640 134572040 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 43913 43087 349 325 0 42849 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 175652
[startup+402.3 s]
/proc/loadavg: 2.07 2.00 2.00 3/177 23863
/proc/meminfo: memFree=27565344/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=186640 CPUtime=402.17 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 47249 0 0 0 40200 17 0 0 20 0 1 0 343863264 191119360 45824 33554432000 134512640 135840783 4293809344 4293808704 134550576 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 46660 45824 349 325 0 45596 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 186640
[startup+462.3 s]
/proc/loadavg: 2.10 2.02 2.00 3/177 23863
/proc/meminfo: memFree=27497424/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=198696 CPUtime=462.16 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 50284 0 0 0 46198 18 0 0 20 0 1 0 343863264 203464704 48859 33554432000 134512640 135840783 4293809344 4293808704 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 49674 48859 349 325 0 48610 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 198696
[startup+522.3 s]
/proc/loadavg: 2.11 2.03 2.00 3/177 23863
/proc/meminfo: memFree=27455100/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=211808 CPUtime=522.16 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 53557 0 0 0 52196 20 0 0 20 0 1 0 343863264 216891392 52132 33554432000 134512640 135840783 4293809344 4293806464 1582375 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 52952 52132 349 325 0 51888 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 211808
[startup+582.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/177 23863
/proc/meminfo: memFree=27403268/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=224656 CPUtime=582.15 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 56767 0 0 0 58194 21 0 0 20 0 1 0 343863264 230047744 55342 33554432000 134512640 135840783 4293809344 4293808640 134572580 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 56164 55342 349 325 0 55100 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 224656
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/178 23867
/proc/meminfo: memFree=26935692/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=334680 CPUtime=882.09 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 84316 0 0 0 88176 33 0 0 20 0 1 0 343863264 342712320 82859 33554432000 134512640 135840783 4293809344 4293808704 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 83670 82859 349 325 0 82606 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 334680
[startup+942.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 23867
/proc/meminfo: memFree=26848308/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=374140 CPUtime=942.07 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 94165 0 0 0 94171 36 0 0 20 0 1 0 343863264 383119360 92708 33554432000 134512640 135840783 4293809344 4293808704 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 93535 92708 349 325 0 92471 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 374140
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 23868
/proc/meminfo: memFree=26759800/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=415056 CPUtime=1002.06 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 104410 0 0 0 100167 39 0 0 20 0 1 0 343863264 425017344 102953 33554432000 134512640 135840783 4293809344 4293808704 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 103764 102953 349 325 0 102700 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 415056
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 23868
/proc/meminfo: memFree=26701920/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=439828 CPUtime=1062.05 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 110603 0 0 0 106164 41 0 0 20 0 1 0 343863264 450383872 109146 33554432000 134512640 135840783 4293809344 4293808704 134550732 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 109957 109146 349 325 0 108893 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 439828
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 23868
/proc/meminfo: memFree=26622840/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=476304 CPUtime=1122.05 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 119710 0 0 0 112161 44 0 0 20 0 1 0 343863264 487735296 118253 33554432000 134512640 135840783 4293809344 4293808580 1587831 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 119076 118253 349 325 0 118012 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 476304
[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 23868
/proc/meminfo: memFree=26541128/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=522928 CPUtime=1182.04 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 131364 0 0 0 118156 48 0 0 20 0 1 0 343863264 535478272 129907 33554432000 134512640 135840783 4293809344 4293808704 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 130732 129907 349 325 0 129668 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 522928
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 23868
/proc/meminfo: memFree=26464000/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=555380 CPUtime=1242.03 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 139493 0 0 0 124152 51 0 0 20 0 1 0 343863264 568709120 138036 33554432000 134512640 135840783 4293809344 4293808704 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 138845 138036 349 325 0 137781 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 555380
[startup+1302.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 23869
/proc/meminfo: memFree=26380060/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=584640 CPUtime=1302.03 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 146799 0 0 0 130150 53 0 0 20 0 1 0 343863264 598671360 145342 33554432000 134512640 135840783 4293809344 4293808480 1579934 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 146160 145342 349 325 0 145096 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 584640
[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 23869
/proc/meminfo: memFree=26328300/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=605340 CPUtime=1361.98 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 152000 0 0 0 136143 55 0 0 20 0 1 0 343863264 619868160 150500 33554432000 134512640 135840783 4293809344 4293808704 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 151335 150500 349 325 0 150271 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 605340
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 23869
/proc/meminfo: memFree=26265108/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=632024 CPUtime=1421.95 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 158738 0 0 0 142138 57 0 0 20 0 1 0 343863264 647192576 157195 33554432000 134512640 135840783 4293809344 4293808704 134551490 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 158006 157195 349 325 0 156942 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 632024
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 23872
/proc/meminfo: memFree=26219560/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=651024 CPUtime=1481.92 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 163510 0 0 0 148132 60 0 0 20 0 1 0 343863264 666648576 161922 33554432000 134512640 135840783 4293809344 4293808704 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 162756 161922 349 325 0 161692 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 651024
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23895
/proc/meminfo: memFree=26160168/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=674048 CPUtime=1541.88 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 169318 0 0 0 154126 62 0 0 20 0 1 0 343863264 690225152 167686 33554432000 134512640 135840783 4293809344 4293808580 1577041 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 168512 167686 349 325 0 167448 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 674048
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23896
/proc/meminfo: memFree=26072352/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=726712 CPUtime=1601.84 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 182508 0 0 0 160119 65 0 0 20 0 1 0 343863264 744153088 180844 33554432000 134512640 135840783 4293809344 4293808704 134551175 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 181678 180844 349 325 0 180614 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 726712
[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 23896
/proc/meminfo: memFree=26016324/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=748452 CPUtime=1661.84 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 187966 0 0 0 166117 67 0 0 20 0 1 0 343863264 766414848 186297 33554432000 134512640 135840783 4293809344 4293808704 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 187113 186297 349 325 0 186049 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 748452
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 23896
/proc/meminfo: memFree=25961268/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=770816 CPUtime=1721.83 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 193551 0 0 0 172113 70 0 0 20 0 1 0 343863264 789315584 191882 33554432000 134512640 135840783 4293809344 4293808704 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 192704 191882 349 325 0 191640 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 770816
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 23896
/proc/meminfo: memFree=25906104/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=791840 CPUtime=1781.83 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 198800 0 0 0 178111 72 0 0 20 0 1 0 343863264 810844160 197131 33554432000 134512640 135840783 4293809344 4293808704 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 197960 197131 349 325 0 196896 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 791840
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23897
/proc/meminfo: memFree=25892352/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=795280 CPUtime=1800.03 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 199657 0 0 0 179931 72 0 0 20 0 1 0 343863264 814366720 197988 33554432000 134512640 135840783 4293809344 4293808704 134551324 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 198820 197988 349 325 0 197756 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 795280
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.00 2.00 3/177 23897
/proc/meminfo: memFree=25892352/32873648 swapFree=6864/6864
[pid=23818] ppid=23816 vsize=795280 CPUtime=1800.03 cores=1,3,5,7
/proc/23818/stat : 23818 (bsolo3.0.17) R 23816 23818 20253 0 -1 4202496 199657 0 0 0 179931 72 0 0 20 0 1 0 343863264 814366720 197988 33554432000 134512640 135840783 4293809344 4293808704 134551324 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23818/statm: 198820 197988 349 325 0 197756 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 795280
Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.31
CPU system time (s): 0.731888
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 795280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.31
system time used= 0.731888
maximum resident set size= 791952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199660
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= 334
involuntary context switches= 1964
runsolver used 2.94055 second user time and 9.79351 second system time
The end