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-3732505-1338689928/watcher-3732505-1338689928 -o /tmp/evaluation-result-3732505-1338689928/solver-3732505-1338689928 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3732505-1338689928.opb
running on 4 cores: 0,2,4,6
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 1.98 1.99 3/176 25202
/proc/meminfo: memFree=24861892/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=4880 CPUtime=0 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 466 0 0 0 0 0 0 0 20 0 1 0 335120181 4997120 402 33554432000 134512640 135840783 4289701760 4289700752 134525046 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25202/statm: 1220 402 328 325 0 108 0
[startup+0.0204971 s]
/proc/loadavg: 1.93 1.98 1.99 3/176 25202
/proc/meminfo: memFree=24861892/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=5292 CPUtime=0.01 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 632 0 0 0 1 0 0 0 20 0 1 0 335120181 5419008 568 33554432000 134512640 135840783 4289701760 4289700464 1579887 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25202/statm: 1356 569 365 325 0 244 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5292
[startup+0.100217 s]
/proc/loadavg: 1.93 1.98 1.99 3/176 25202
/proc/meminfo: memFree=24861892/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=6156 CPUtime=0.09 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 914 0 0 0 9 0 0 0 20 0 1 0 335120181 6303744 802 33554432000 134512640 135840783 4289701760 4289700896 1579856 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25202/statm: 1539 802 348 325 0 475 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6156
[startup+0.300176 s]
/proc/loadavg: 1.93 1.98 1.99 3/176 25202
/proc/meminfo: memFree=24861892/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=7704 CPUtime=0.29 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 1307 0 0 0 29 0 0 0 20 0 1 0 335120181 7888896 1195 33554432000 134512640 135840783 4289701760 4289700996 1577103 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25202/statm: 1926 1195 348 325 0 862 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7704
[startup+0.700178 s]
/proc/loadavg: 1.93 1.98 1.99 3/176 25202
/proc/meminfo: memFree=24861892/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=10032 CPUtime=0.69 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 1885 0 0 0 69 0 0 0 20 0 1 0 335120181 10272768 1773 33554432000 134512640 135840783 4289701760 4289701120 134551353 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25202/statm: 2508 1773 348 325 0 1444 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10032
[startup+1.50018 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 25203
/proc/meminfo: memFree=24853560/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=11972 CPUtime=1.49 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 2372 0 0 0 149 0 0 0 20 0 1 0 335120181 12259328 2260 33554432000 134512640 135840783 4289701760 4289698832 1580295 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25202/statm: 2993 2260 348 325 0 1929 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11972
[startup+3.10023 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 25203
/proc/meminfo: memFree=24851576/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=12864 CPUtime=3.08 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 2604 0 0 0 308 0 0 0 20 0 1 0 335120181 13172736 2492 33554432000 134512640 135840783 4289701760 4289701120 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 3216 2492 348 325 0 2152 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 12864
[startup+6.30023 s]
/proc/loadavg: 1.94 1.98 1.99 3/177 25203
/proc/meminfo: memFree=24846624/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=13492 CPUtime=6.28 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 2746 0 0 0 628 0 0 0 20 0 1 0 335120181 13815808 2634 33554432000 134512640 135840783 4289701760 4289701120 134551052 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 3373 2634 348 325 0 2309 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 13492
[startup+12.7002 s]
/proc/loadavg: 1.94 1.98 1.99 3/177 25203
/proc/meminfo: memFree=24837836/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=14520 CPUtime=12.68 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 3002 0 0 0 1268 0 0 0 20 0 1 0 335120181 14868480 2890 33554432000 134512640 135840783 4289701760 4289701120 134550678 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 3630 2890 350 325 0 2566 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14520
[startup+25.5002 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 25203
/proc/meminfo: memFree=24820120/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=16668 CPUtime=25.49 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 3548 0 0 0 2548 1 0 0 20 0 1 0 335120181 17068032 3436 33554432000 134512640 135840783 4289701760 4289700996 1576930 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 4167 3436 350 325 0 3103 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16668
[startup+51.1002 s]
/proc/loadavg: 1.97 1.98 1.99 3/177 25203
/proc/meminfo: memFree=24788624/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=23188 CPUtime=51.08 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 5167 0 0 0 5107 1 0 0 20 0 1 0 335120181 23744512 5055 33554432000 134512640 135840783 4289701760 4289701120 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 5797 5055 350 325 0 4733 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 23188
[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 25206
/proc/meminfo: memFree=24737640/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=23196 CPUtime=102.27 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 5169 0 0 0 10226 1 0 0 20 0 1 0 335120181 23752704 5057 33554432000 134512640 135840783 4289701760 4289700788 1569028 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 5799 5057 350 325 0 4735 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 23196
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/176 25206
/proc/meminfo: memFree=24670448/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=26392 CPUtime=162.26 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 5997 0 0 0 16225 1 0 0 20 0 1 0 335120181 27025408 5876 33554432000 134512640 135840783 4289701760 4289701120 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 6598 5876 350 325 0 5534 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 26392
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 25207
/proc/meminfo: memFree=24597172/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=26232 CPUtime=222.25 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 5997 0 0 0 22224 1 0 0 20 0 1 0 335120181 26861568 5836 33554432000 134512640 135840783 4289701760 4289701120 134551063 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 6558 5836 350 325 0 5494 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 26232
[startup+282.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 25208
/proc/meminfo: memFree=24515336/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=41160 CPUtime=282.24 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 9716 0 0 0 28222 2 0 0 20 0 1 0 335120181 42147840 9555 33554432000 134512640 135840783 4289701760 4289701120 134551052 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 10290 9555 350 325 0 9226 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 41160
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 25208
/proc/meminfo: memFree=24420352/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=70888 CPUtime=342.23 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 18194 0 0 0 34220 3 0 0 20 0 1 0 335120181 72589312 17000 33554432000 134512640 135840783 4289701760 4289701120 134550817 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 17722 17000 350 325 0 16658 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 70888
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25208
/proc/meminfo: memFree=24363312/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=77396 CPUtime=402.22 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 19887 0 0 0 40219 3 0 0 20 0 1 0 335120181 79253504 18627 33554432000 134512640 135840783 4289701760 4289701120 134550863 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 19349 18627 350 325 0 18285 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 77396
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25209
/proc/meminfo: memFree=24299944/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=77136 CPUtime=462.21 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 19902 0 0 0 46218 3 0 0 20 0 1 0 335120181 78987264 18562 33554432000 134512640 135840783 4289701760 4289701120 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 19284 18562 350 325 0 18220 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 77136
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25209
/proc/meminfo: memFree=24238076/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=77008 CPUtime=522.2 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 19902 0 0 0 52217 3 0 0 20 0 1 0 335120181 78856192 18530 33554432000 134512640 135840783 4289701760 4289701088 9498591 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 19252 18530 350 325 0 18188 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 77008
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25325
/proc/meminfo: memFree=26789000/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=76992 CPUtime=582.19 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 19910 0 0 0 58216 3 0 0 20 0 1 0 335120181 78839808 18526 33554432000 134512640 135840783 4289701760 4289701120 134550902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 19248 18526 350 325 0 18184 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 76992
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25328
/proc/meminfo: memFree=26788424/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=78452 CPUtime=822.15 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 20314 0 0 0 82211 4 0 0 20 0 1 0 335120181 80334848 18876 33554432000 134512640 135840783 4289701760 4289701120 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 19613 18876 350 325 0 18549 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 78452
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25329
/proc/meminfo: memFree=26782844/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=83428 CPUtime=882.13 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 21850 0 0 0 88209 4 0 0 20 0 1 0 335120181 85430272 20135 33554432000 134512640 135840783 4289701760 4289701120 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 20857 20135 350 325 0 19793 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 83428
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25329
/proc/meminfo: memFree=26783156/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=83536 CPUtime=942.12 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 21880 0 0 0 94208 4 0 0 20 0 1 0 335120181 85540864 20160 33554432000 134512640 135840783 4289701760 4289701120 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 20884 20160 350 325 0 19820 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 83536
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25329
/proc/meminfo: memFree=26783340/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=83400 CPUtime=1002.12 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 21929 0 0 0 100208 4 0 0 20 0 1 0 335120181 85401600 20128 33554432000 134512640 135840783 4289701760 4289701120 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 20850 20128 350 325 0 19786 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 83400
[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 25329
/proc/meminfo: memFree=26777448/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=89716 CPUtime=1062.1 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 23519 0 0 0 106206 4 0 0 20 0 1 0 335120181 91869184 21691 33554432000 134512640 135840783 4289701760 4289701120 134551058 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 22429 21691 350 325 0 21365 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 89716
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25329
/proc/meminfo: memFree=26776952/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=89868 CPUtime=1122.09 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 23655 0 0 0 112205 4 0 0 20 0 1 0 335120181 92024832 21745 33554432000 134512640 135840783 4289701760 4289701120 134550902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 22467 21745 350 325 0 21403 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 89868
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25329
/proc/meminfo: memFree=26776772/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=90320 CPUtime=1182.09 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 23820 0 0 0 118205 4 0 0 20 0 1 0 335120181 92487680 21848 33554432000 134512640 135840783 4289701760 4289701120 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 22580 21848 350 325 0 21516 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 90320
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25330
/proc/meminfo: memFree=26776704/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=89976 CPUtime=1242.08 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 23854 0 0 0 124204 4 0 0 20 0 1 0 335120181 92135424 21772 33554432000 134512640 135840783 4289701760 4289701120 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 22494 21772 350 325 0 21430 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 89976
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25333
/proc/meminfo: memFree=26776204/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=89968 CPUtime=1302.08 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 23854 0 0 0 130203 5 0 0 20 0 1 0 335120181 92127232 21770 33554432000 134512640 135840783 4289701760 4289695928 134585064 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 22492 21770 350 325 0 21428 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 89968
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25333
/proc/meminfo: memFree=26776644/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=89968 CPUtime=1362.06 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 23884 0 0 0 136201 5 0 0 20 0 1 0 335120181 92127232 21770 33554432000 134512640 135840783 4289701760 4289701120 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 22492 21770 350 325 0 21428 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 89968
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25333
/proc/meminfo: memFree=26776208/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=90520 CPUtime=1422.06 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 24036 0 0 0 142201 5 0 0 20 0 1 0 335120181 92692480 21908 33554432000 134512640 135840783 4289701760 4289701072 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 22630 21908 350 325 0 21566 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 90520
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25333
/proc/meminfo: memFree=26771308/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=95044 CPUtime=1482.04 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 26075 0 0 0 148199 5 0 0 20 0 1 0 335120181 97325056 23039 33554432000 134512640 135840783 4289701760 4289701120 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 23761 23039 350 325 0 22697 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 95044
[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 25334
/proc/meminfo: memFree=26771740/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=94944 CPUtime=1542.03 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 26988 0 0 0 154198 5 0 0 20 0 1 0 335120181 97222656 23014 33554432000 134512640 135840783 4289701760 4289701072 134551071 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 23736 23014 350 325 0 22672 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 94944
[startup+1602.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 25334
/proc/meminfo: memFree=26768128/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=98264 CPUtime=1602.02 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 27841 0 0 0 160197 5 0 0 20 0 1 0 335120181 100622336 23844 33554432000 134512640 135840783 4289701760 4289701120 134550910 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 24566 23844 350 325 0 23502 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 98264
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 25334
/proc/meminfo: memFree=26768920/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=98328 CPUtime=1662.01 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 27846 0 0 0 166196 5 0 0 20 0 1 0 335120181 100687872 23846 33554432000 134512640 135840783 4289701760 4289701120 134551104 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 24582 23846 350 325 0 23518 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 98328
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 25334
/proc/meminfo: memFree=26768732/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=98328 CPUtime=1722 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 27874 0 0 0 172195 5 0 0 20 0 1 0 335120181 100687872 23860 33554432000 134512640 135840783 4289701760 4289701120 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 24582 23860 350 325 0 23518 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 98328
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 25334
/proc/meminfo: memFree=26767924/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=98212 CPUtime=1781.99 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 27874 0 0 0 178194 5 0 0 20 0 1 0 335120181 100569088 23831 33554432000 134512640 135840783 4289701760 4289701120 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 24553 23831 350 325 0 23489 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 98212
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25335
/proc/meminfo: memFree=26767924/32873648 swapFree=7120/7120
[pid=25202] ppid=25200 vsize=98212 CPUtime=1800.1 cores=0,2,4,6
/proc/25202/stat : 25202 (bsolo3.0.17) R 25200 25202 23594 0 -1 4202496 27874 0 0 0 180005 5 0 0 20 0 1 0 335120181 100569088 23831 33554432000 134512640 135840783 4289701760 4289700832 1579756 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25202/statm: 24553 23831 350 325 0 23489 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 98212
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.41
CPU time (s): 1800.11
CPU user time (s): 1800.05
CPU system time (s): 0.05999
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 98732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.05999
maximum resident set size= 95792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27877
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= 42
involuntary context switches= 1913
runsolver used 3.54246 second user time and 8.87265 second system time
The end