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-3733088-1338692298/watcher-3733088-1338692298 -o /tmp/evaluation-result-3733088-1338692298/solver-3733088-1338692298 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3733088-1338692298.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.98 1.99 3/176 25416
/proc/meminfo: memFree=26127216/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) D 25414 25416 23594 0 -1 4194304 94 0 0 0 0 0 0 0 20 0 1 0 335357184 2723840 47 33554432000 134512640 135840783 4292943008 4292941044 8344516 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 665 47 37 325 0 32 0
[startup+0.0549971 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 25416
/proc/meminfo: memFree=26127216/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=9792 CPUtime=0.04 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 1251 0 0 0 4 0 0 0 20 0 1 0 335357184 10027008 1188 33554432000 134512640 135840783 4292943008 4292941712 8856871 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 2448 1188 475 325 0 728 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9792
[startup+0.100278 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 25416
/proc/meminfo: memFree=26127216/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=12264 CPUtime=0.08 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 2008 0 0 0 8 0 0 0 20 0 1 0 335357184 12558336 1945 33554432000 134512640 135840783 4292943008 4292941840 8856871 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 3066 1947 624 325 0 1346 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12264
[startup+0.30026 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 25416
/proc/meminfo: memFree=26127216/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=23112 CPUtime=0.29 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 5761 0 0 0 28 1 0 0 20 0 1 0 335357184 23666688 5042 33554432000 134512640 135840783 4292943008 4292924944 8856871 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 5778 5045 342 325 0 4714 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23112
[startup+0.700308 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 25416
/proc/meminfo: memFree=26127216/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=24168 CPUtime=0.68 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 6002 0 0 0 65 3 0 0 20 0 1 0 335357184 24748032 5283 33554432000 134512640 135840783 4292943008 4292925136 134545187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 6042 5283 343 325 0 4978 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 24168
[startup+1.50028 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 25417
/proc/meminfo: memFree=26107236/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=28592 CPUtime=1.48 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 8789 0 0 0 143 5 0 0 20 0 1 0 335357184 29278208 6409 33554432000 134512640 135840783 4292943008 4292925824 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 7148 6409 348 325 0 6084 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 28592
[startup+3.10026 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 25417
/proc/meminfo: memFree=26087032/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=63996 CPUtime=3.09 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 17631 0 0 0 302 7 0 0 20 0 1 0 335357184 65531904 15251 33554432000 134512640 135840783 4292943008 4292925872 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 15999 15251 348 325 0 14935 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 63996
[startup+6.30029 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 25417
/proc/meminfo: memFree=26030296/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=107888 CPUtime=6.28 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 28612 0 0 0 620 8 0 0 20 0 1 0 335357184 110477312 26232 33554432000 134512640 135840783 4292943008 4292925824 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 26972 26232 348 325 0 25908 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 107888
[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 25417
/proc/meminfo: memFree=25918500/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=225540 CPUtime=12.68 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 58030 0 0 0 1256 12 0 0 20 0 1 0 335357184 230952960 55650 33554432000 134512640 135840783 4292943008 4292942368 134550767 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 56385 55650 348 325 0 55321 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 225540
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25417
/proc/meminfo: memFree=25802100/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=330220 CPUtime=25.48 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 84187 0 0 0 2529 19 0 0 20 0 1 0 335357184 338145280 81807 33554432000 134512640 135840783 4292943008 4292942368 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 82555 81807 348 325 0 81491 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 330220
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25418
/proc/meminfo: memFree=25584976/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=552336 CPUtime=51.08 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 139730 0 0 0 5077 31 0 0 20 0 1 0 335357184 565592064 137350 33554432000 134512640 135840783 4292943008 4292925856 134547578 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 138084 137350 348 325 0 137020 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 552336
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25418
/proc/meminfo: memFree=25301884/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=828852 CPUtime=102.28 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 208858 0 0 0 10182 46 0 0 20 0 1 0 335357184 848744448 206478 33554432000 134512640 135840783 4292943008 4292942368 134550913 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 207213 206478 348 325 0 206149 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 828852
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25421
/proc/meminfo: memFree=25143892/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=988728 CPUtime=162.26 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 248810 0 0 0 16171 55 0 0 20 0 1 0 335357184 1012457472 246430 33554432000 134512640 135840783 4292943008 4292942368 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 247182 246430 348 325 0 246118 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 988728
[startup+222.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 25444
/proc/meminfo: memFree=25017152/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=1113012 CPUtime=222.25 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 279898 0 0 0 22162 63 0 0 20 0 1 0 335357184 1139724288 277518 33554432000 134512640 135840783 4292943008 4292942368 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 278253 277518 348 325 0 277189 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1113012
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 25444
/proc/meminfo: memFree=24935940/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=1201588 CPUtime=282.24 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 302051 0 0 0 28155 69 0 0 20 0 1 0 335357184 1230426112 299671 33554432000 134512640 135840783 4292943008 4292942368 134551528 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 300397 299671 348 325 0 299333 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1201588
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25445
/proc/meminfo: memFree=24638092/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=1491408 CPUtime=342.23 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 374479 0 0 0 34137 86 0 0 20 0 1 0 335357184 1527201792 372099 33554432000 134512640 135840783 4292943008 4292942368 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 372852 372099 348 325 0 371788 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1491408
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25445
/proc/meminfo: memFree=24516724/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=1612580 CPUtime=402.2 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 404796 0 0 0 40125 95 0 0 20 0 1 0 335357184 1651281920 402393 33554432000 134512640 135840783 4292943008 4292942368 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 403145 402393 348 325 0 402081 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 1612580
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25445
/proc/meminfo: memFree=24182696/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=1842340 CPUtime=462.16 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 462259 0 0 0 46108 108 0 0 20 0 1 0 335357184 1886556160 459842 33554432000 134512640 135840783 4292943008 4292942368 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 460585 459842 348 325 0 459521 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1842340
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25445
/proc/meminfo: memFree=24051656/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=1940400 CPUtime=522.15 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 486793 0 0 0 52099 116 0 0 20 0 1 0 335357184 1986969600 484366 33554432000 134512640 135840783 4292943008 4292942368 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 485100 484366 348 325 0 484036 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1940400
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25445
/proc/meminfo: memFree=23954840/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=2036020 CPUtime=582.12 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 510711 0 0 0 58089 123 0 0 20 0 1 0 335357184 2084884480 508280 33554432000 134512640 135840783 4292943008 4292942368 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 509005 508280 348 325 0 507941 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 2036020
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 25449
/proc/meminfo: memFree=23912264/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=2077900 CPUtime=882.05 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 521314 0 0 0 88079 126 0 0 20 0 1 0 335357184 2127769600 518736 33554432000 134512640 135840783 4292943008 4292942368 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 519475 518736 348 325 0 518411 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 2077900
[startup+942.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 25449
/proc/meminfo: memFree=23912428/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=2077900 CPUtime=942.03 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 521324 0 0 0 94077 126 0 0 20 0 1 0 335357184 2127769600 518736 33554432000 134512640 135840783 4292943008 4292942368 134550820 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 519475 518736 348 325 0 518411 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 2077900
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 25450
/proc/meminfo: memFree=23912332/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=2077900 CPUtime=1002.01 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 521335 0 0 0 100075 126 0 0 20 0 1 0 335357184 2127769600 518736 33554432000 134512640 135840783 4292943008 4292942368 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 519475 518736 348 325 0 518411 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 2077900
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25450
/proc/meminfo: memFree=23912496/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=2077900 CPUtime=1062 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 521339 0 0 0 106074 126 0 0 20 0 1 0 335357184 2127769600 518736 33554432000 134512640 135840783 4292943008 4292942368 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 519475 518736 348 325 0 518411 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 2077900
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25450
/proc/meminfo: memFree=23912648/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=2077900 CPUtime=1121.99 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 521345 0 0 0 112073 126 0 0 20 0 1 0 335357184 2127769600 518736 33554432000 134512640 135840783 4292943008 4292942320 134551186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 519475 518736 348 325 0 518411 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 2077900
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25450
/proc/meminfo: memFree=23912800/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=2077900 CPUtime=1181.98 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 521345 0 0 0 118072 126 0 0 20 0 1 0 335357184 2127769600 518736 33554432000 134512640 135840783 4292943008 4292942368 134551071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 519475 518736 348 325 0 518411 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 2077900
[startup+1242.3 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 25489
/proc/meminfo: memFree=24671168/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=2077900 CPUtime=1241.97 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 521345 0 0 0 124071 126 0 0 20 0 1 0 335357184 2127769600 518736 33554432000 134512640 135840783 4292943008 4292942368 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 519475 518736 348 325 0 518411 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 2077900
[startup+1302.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/177 25490
/proc/meminfo: memFree=24063388/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=2077900 CPUtime=1301.97 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 521347 0 0 0 130071 126 0 0 20 0 1 0 335357184 2127769600 518736 33554432000 134512640 135840783 4292943008 4292942368 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 519475 518736 348 325 0 518411 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 2077900
[startup+1362.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/178 25493
/proc/meminfo: memFree=23818064/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=2077900 CPUtime=1361.95 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 521354 0 0 0 136069 126 0 0 20 0 1 0 335357184 2127769600 518736 33554432000 134512640 135840783 4292943008 4292942368 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 519475 518736 348 325 0 518411 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 2077900
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25493
/proc/meminfo: memFree=23633464/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=2077900 CPUtime=1421.94 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 521371 0 0 0 142068 126 0 0 20 0 1 0 335357184 2127769600 518736 33554432000 134512640 135840783 4292943008 4292942368 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 519475 518736 348 325 0 518411 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 2077900
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25493
/proc/meminfo: memFree=23522388/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=2077900 CPUtime=1481.91 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 521390 0 0 0 148065 126 0 0 20 0 1 0 335357184 2127769600 518736 33554432000 134512640 135840783 4292943008 4292942368 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 519475 518736 348 325 0 518411 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 2077900
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25493
/proc/meminfo: memFree=23441940/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=2077900 CPUtime=1541.9 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 521393 0 0 0 154064 126 0 0 20 0 1 0 335357184 2127769600 518736 33554432000 134512640 135840783 4292943008 4292942368 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 519475 518736 348 325 0 518411 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 2077900
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25494
/proc/meminfo: memFree=23277544/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=2077900 CPUtime=1601.89 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 521394 0 0 0 160063 126 0 0 20 0 1 0 335357184 2127769600 518736 33554432000 134512640 135840783 4292943008 4292942368 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 519475 518736 348 325 0 518411 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 2077900
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25494
/proc/meminfo: memFree=23149492/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=2077900 CPUtime=1661.88 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 521394 0 0 0 166062 126 0 0 20 0 1 0 335357184 2127769600 518736 33554432000 134512640 135840783 4292943008 4292942368 134551324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 519475 518736 348 325 0 518411 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 2077900
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25495
/proc/meminfo: memFree=23149388/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=2077900 CPUtime=1721.87 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 521394 0 0 0 172061 126 0 0 20 0 1 0 335357184 2127769600 518736 33554432000 134512640 135840783 4292943008 4292942368 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 519475 518736 348 325 0 518411 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 2077900
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25495
/proc/meminfo: memFree=23149424/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=2077900 CPUtime=1781.86 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 521394 0 0 0 178060 126 0 0 20 0 1 0 335357184 2127769600 518736 33554432000 134512640 135840783 4292943008 4292942368 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 519475 518736 348 325 0 518411 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 2077900
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25495
/proc/meminfo: memFree=23149516/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=2077900 CPUtime=1800.06 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 521394 0 0 0 179880 126 0 0 20 0 1 0 335357184 2127769600 518736 33554432000 134512640 135840783 4292943008 4292942368 134551076 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 519475 518736 348 325 0 518411 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2077900
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 25495
/proc/meminfo: memFree=23149516/32873648 swapFree=7120/7120
[pid=25416] ppid=25414 vsize=2077900 CPUtime=1800.06 cores=1,3,5,7
/proc/25416/stat : 25416 (bsolo3.0.17) R 25414 25416 23594 0 -1 4202496 521394 0 0 0 179880 126 0 0 20 0 1 0 335357184 2127769600 518736 33554432000 134512640 135840783 4292943008 4292942368 134551076 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25416/statm: 519475 518736 348 325 0 518411 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2077900
Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1798.81
CPU system time (s): 1.27481
CPU usage (%): 99.9762
Max. virtual memory (cumulated for all children) (KiB): 2078368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.81
system time used= 1.27481
maximum resident set size= 2075412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 521397
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= 224
involuntary context switches= 1830
runsolver used 2.19067 second user time and 11.1443 second system time
The end