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-3737865-1338728328/watcher-3737865-1338728328 -o /tmp/evaluation-result-3737865-1338728328/solver-3737865-1338728328 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737865-1338728328.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 24144
/proc/meminfo: memFree=28283796/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4194304 199 0 0 0 0 0 0 0 20 0 1 0 338961323 4583424 150 33554432000 134512640 135840783 4291803920 4291803224 7231108 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 1119 155 134 325 0 39 0
[startup+0.0390569 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 24144
/proc/meminfo: memFree=28283796/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=7332 CPUtime=0.03 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 1156 0 0 0 3 0 0 0 20 0 1 0 338961323 7507968 1074 33554432000 134512640 135840783 4291803920 4291738668 10388528 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 1833 1074 345 325 0 769 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7332
[startup+0.100284 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 24144
/proc/meminfo: memFree=28283796/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=7332 CPUtime=0.09 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 1157 0 0 0 9 0 0 0 20 0 1 0 338961323 7507968 1075 33554432000 134512640 135840783 4291803920 4291738668 10388528 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 1833 1075 345 325 0 769 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7332
[startup+0.300229 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 24144
/proc/meminfo: memFree=28283796/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=7332 CPUtime=0.29 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 1157 0 0 0 29 0 0 0 20 0 1 0 338961323 7507968 1075 33554432000 134512640 135840783 4291803920 4291738668 10388528 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 1833 1075 345 325 0 769 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7332
[startup+0.700232 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 24144
/proc/meminfo: memFree=28283796/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=7332 CPUtime=0.69 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 1157 0 0 0 69 0 0 0 20 0 1 0 338961323 7507968 1075 33554432000 134512640 135840783 4291803920 4291738668 10388528 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 1833 1075 345 325 0 769 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7332
[startup+1.50023 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 24145
/proc/meminfo: memFree=28279952/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=11208 CPUtime=1.49 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 2395 0 0 0 148 1 0 0 20 0 1 0 338961323 11476992 2081 33554432000 134512640 135840783 4291803920 4291803280 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 2802 2081 349 325 0 1738 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11208
[startup+3.10023 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 24145
/proc/meminfo: memFree=28273000/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=21088 CPUtime=3.09 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 4841 0 0 0 308 1 0 0 20 0 1 0 338961323 21594112 4527 33554432000 134512640 135840783 4291803920 4291803280 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 5272 4527 349 325 0 4208 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21088
[startup+6.30029 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 24145
/proc/meminfo: memFree=28250284/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=38264 CPUtime=6.29 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 9134 0 0 0 627 2 0 0 20 0 1 0 338961323 39182336 8820 33554432000 134512640 135840783 4291803920 4291803232 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 9566 8820 349 325 0 8502 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38264
[startup+12.7003 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 24145
/proc/meminfo: memFree=28231460/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=52104 CPUtime=12.69 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 12619 0 0 0 1266 3 0 0 20 0 1 0 338961323 53354496 12305 33554432000 134512640 135840783 4291803920 4291798240 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 13026 12305 349 325 0 11962 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52104
[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 24145
/proc/meminfo: memFree=28198352/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=81288 CPUtime=25.48 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 19897 0 0 0 2544 4 0 0 20 0 1 0 338961323 83238912 19583 33554432000 134512640 135840783 4291803920 4291803232 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 20322 19583 349 325 0 19258 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 81288
[startup+51.1003 s]
/proc/loadavg: 1.96 1.99 1.99 3/177 24145
/proc/meminfo: memFree=28150612/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=119268 CPUtime=51.07 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 29406 0 0 0 5100 7 0 0 20 0 1 0 338961323 122130432 29092 33554432000 134512640 135840783 4291803920 4291803232 134550913 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 29817 29092 349 325 0 28753 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 119268
[startup+102.307 s]
/proc/loadavg: 1.98 1.99 1.99 3/178 24148
/proc/meminfo: memFree=28105796/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=141400 CPUtime=102.27 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 34932 0 0 0 10215 12 0 0 20 0 1 0 338961323 144793600 34618 33554432000 134512640 135840783 4291803920 4291803224 7715024 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 35350 34618 349 325 0 34286 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 141400
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 24170
/proc/meminfo: memFree=28035640/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=197188 CPUtime=162.26 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 48866 0 0 0 16208 18 0 0 20 0 1 0 338961323 201920512 48552 33554432000 134512640 135840783 4291803920 4291803280 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 49297 48552 349 325 0 48233 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 197188
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24170
/proc/meminfo: memFree=27972872/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=243624 CPUtime=222.22 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 60529 0 0 0 22197 25 0 0 20 0 1 0 338961323 249470976 60178 33554432000 134512640 135840783 4291803920 4291803280 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 60906 60178 349 325 0 59842 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 243624
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24170
/proc/meminfo: memFree=27921936/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=277112 CPUtime=282.18 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 68947 0 0 0 28189 29 0 0 20 0 1 0 338961323 283762688 68551 33554432000 134512640 135840783 4291803920 4291803280 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 69278 68551 349 325 0 68214 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 277112
[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24171
/proc/meminfo: memFree=27878936/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=302504 CPUtime=342.13 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 75334 0 0 0 34180 33 0 0 20 0 1 0 338961323 309764096 74893 33554432000 134512640 135840783 4291803920 4291803280 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 75626 74893 349 325 0 74562 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 302504
[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24171
/proc/meminfo: memFree=27840300/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=325672 CPUtime=402.12 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 81127 0 0 0 40174 38 0 0 20 0 1 0 338961323 333488128 80681 33554432000 134512640 135840783 4291803920 4291803280 134551071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 81418 80681 349 325 0 80354 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 325672
[startup+462.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24171
/proc/meminfo: memFree=27803348/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=342152 CPUtime=462.11 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 85257 0 0 0 46170 41 0 0 20 0 1 0 338961323 350363648 84811 33554432000 134512640 135840783 4291803920 4291798160 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 85538 84811 349 325 0 84474 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 342152
[startup+522.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24171
/proc/meminfo: memFree=27768380/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=358792 CPUtime=522.1 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 89397 0 0 0 52166 44 0 0 20 0 1 0 338961323 367403008 88951 33554432000 134512640 135840783 4291803920 4291803232 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 89698 88951 349 325 0 88634 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 358792
[startup+582.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24171
/proc/meminfo: memFree=27736140/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=376576 CPUtime=582.09 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 93850 0 0 0 58161 48 0 0 20 0 1 0 338961323 385613824 93404 33554432000 134512640 135840783 4291803920 4291803280 134551222 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 94144 93404 349 325 0 93080 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 376576
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24214
/proc/meminfo: memFree=28245104/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=439056 CPUtime=822.05 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 109493 0 0 0 82146 59 0 0 20 0 1 0 338961323 449593344 109047 33554432000 134512640 135840783 4291803920 4291803280 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 109764 109047 349 325 0 108700 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 439056
[startup+882.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24214
/proc/meminfo: memFree=28210508/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=471736 CPUtime=882.04 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 117656 0 0 0 88139 65 0 0 20 0 1 0 338961323 483057664 117210 33554432000 134512640 135840783 4291803920 4291803280 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 117934 117210 349 325 0 116870 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 471736
[startup+942.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24215
/proc/meminfo: memFree=28176576/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=499276 CPUtime=942 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 124572 0 0 0 94130 70 0 0 20 0 1 0 338961323 511258624 124095 33554432000 134512640 135840783 4291803920 4291803232 134550896 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 124819 124095 349 325 0 123755 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 499276
[startup+1002.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24215
/proc/meminfo: memFree=28148332/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=518620 CPUtime=1001.97 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 129452 0 0 0 100122 75 0 0 20 0 1 0 338961323 531066880 128937 33554432000 134512640 135840783 4291803920 4291803232 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 129655 128937 349 325 0 128591 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 518620
[startup+1062.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24215
/proc/meminfo: memFree=28118104/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=549328 CPUtime=1061.94 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 137127 0 0 0 106113 81 0 0 20 0 1 0 338961323 562511872 136592 33554432000 134512640 135840783 4291803920 4291803232 134550916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 137332 136592 349 325 0 136268 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 549328
[startup+1122.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24215
/proc/meminfo: memFree=28088872/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=577924 CPUtime=1121.94 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 144300 0 0 0 112109 85 0 0 20 0 1 0 338961323 591794176 143765 33554432000 134512640 135840783 4291803920 4291798160 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 144481 143765 349 325 0 143417 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 577924
[startup+1182.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24215
/proc/meminfo: memFree=28067792/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=599348 CPUtime=1181.93 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 149626 0 0 0 118103 90 0 0 20 0 1 0 338961323 613732352 149091 33554432000 134512640 135840783 4291803920 4291803232 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 149837 149091 349 325 0 148773 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 599348
[startup+1242.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/177 24216
/proc/meminfo: memFree=28038280/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=621040 CPUtime=1241.91 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 155073 0 0 0 124098 93 0 0 20 0 1 0 338961323 635944960 154538 33554432000 134512640 135840783 4291803920 4291803232 134551312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 155260 154538 349 325 0 154196 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 621040
[startup+1302.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/178 24219
/proc/meminfo: memFree=28012852/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=645196 CPUtime=1301.91 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 161088 0 0 0 130094 97 0 0 20 0 1 0 338961323 660680704 160553 33554432000 134512640 135840783 4291803920 4291803280 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 161299 160553 349 325 0 160235 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 645196
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24219
/proc/meminfo: memFree=27980992/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=665920 CPUtime=1361.9 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 166291 0 0 0 136090 100 0 0 20 0 1 0 338961323 681902080 165756 33554432000 134512640 135840783 4291803920 4291803232 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 166480 165756 349 325 0 165416 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 665920
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24219
/proc/meminfo: memFree=27961612/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=685456 CPUtime=1421.88 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 171197 0 0 0 142084 104 0 0 20 0 1 0 338961323 701906944 170645 33554432000 134512640 135840783 4291803920 4291803280 134551052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 171364 170645 349 325 0 170300 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 685456
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24219
/proc/meminfo: memFree=27940064/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=706836 CPUtime=1481.83 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 176569 0 0 0 148076 107 0 0 20 0 1 0 338961323 723800064 175978 33554432000 134512640 135840783 4291803920 4291803232 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 176709 175978 349 325 0 175645 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 706836
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24220
/proc/meminfo: memFree=27924452/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=722704 CPUtime=1541.81 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 180558 0 0 0 154071 110 0 0 20 0 1 0 338961323 740048896 179947 33554432000 134512640 135840783 4291803920 4291803232 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 180676 179947 349 325 0 179612 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 722704
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24220
/proc/meminfo: memFree=27902920/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=744148 CPUtime=1601.8 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 185921 0 0 0 160066 114 0 0 20 0 1 0 338961323 762007552 185310 33554432000 134512640 135840783 4291803920 4291803280 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 186037 185310 349 325 0 184973 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 744148
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24220
/proc/meminfo: memFree=27884320/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=762708 CPUtime=1661.79 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 190563 0 0 0 166061 118 0 0 20 0 1 0 338961323 781012992 189952 33554432000 134512640 135840783 4291803920 4291803232 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 190677 189952 349 325 0 189613 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 762708
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 24220
/proc/meminfo: memFree=27861256/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=786084 CPUtime=1721.78 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 196405 0 0 0 172057 121 0 0 20 0 1 0 338961323 804950016 195794 33554432000 134512640 135840783 4291803920 4291803232 134551315 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 196521 195794 349 325 0 195457 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 786084
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24220
/proc/meminfo: memFree=27838068/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=808656 CPUtime=1781.77 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 202033 0 0 0 178052 125 0 0 20 0 1 0 338961323 828063744 201422 33554432000 134512640 135840783 4291803920 4291803232 134551063 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 202164 201422 349 325 0 201100 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 808656
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 24220
/proc/meminfo: memFree=27833604/32873844 swapFree=6872/6872
[pid=24144] ppid=24142 vsize=812760 CPUtime=1800.08 cores=1,3,5,7
/proc/24144/stat : 24144 (bsolo3.0.17) R 24142 24144 23291 0 -1 4202496 203080 0 0 0 179882 126 0 0 20 0 1 0 338961323 832266240 202469 33554432000 134512640 135840783 4291803920 4291803232 134550878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 203190 202469 349 325 0 202126 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 812760
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.62
CPU time (s): 1800.1
CPU user time (s): 1798.83
CPU system time (s): 1.27381
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 812760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.83
system time used= 1.27381
maximum resident set size= 809876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203083
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= 314
involuntary context switches= 1841
runsolver used 3.82142 second user time and 9.64353 second system time
The end