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-3737276-1338715583/watcher-3737276-1338715583 -o /tmp/evaluation-result-3737276-1338715583/solver-3737276-1338715583 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737276-1338715583.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.88 1.97 1.91 2/176 18703
/proc/meminfo: memFree=29966168/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=4864 CPUtime=0 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 533 0 0 0 0 0 0 0 20 0 1 0 337684165 4980736 469 33554432000 134512640 135840783 4293020880 4293019360 1582375 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18703/statm: 1216 469 335 325 0 144 0
[startup+0.100898 s]
/proc/loadavg: 1.88 1.97 1.91 2/176 18703
/proc/meminfo: memFree=29966168/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=7756 CPUtime=0.09 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 1274 0 0 0 9 0 0 0 20 0 1 0 337684165 7942144 1202 33554432000 134512640 135840783 4293020880 4293018384 134574322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18703/statm: 1939 1202 351 325 0 875 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7756
[startup+0.200221 s]
/proc/loadavg: 1.88 1.97 1.91 2/176 18703
/proc/meminfo: memFree=29966168/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=9736 CPUtime=0.19 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 1758 0 0 0 19 0 0 0 20 0 1 0 337684165 9969664 1686 33554432000 134512640 135840783 4293020880 4293020240 134550910 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18703/statm: 2434 1687 351 325 0 1370 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9736
[startup+0.300211 s]
/proc/loadavg: 1.88 1.97 1.91 2/176 18703
/proc/meminfo: memFree=29966168/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=11304 CPUtime=0.29 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 2148 0 0 0 28 1 0 0 20 0 1 0 337684165 11575296 2076 33554432000 134512640 135840783 4293020880 4293020240 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18703/statm: 2826 2076 351 325 0 1762 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11304
[startup+0.700179 s]
/proc/loadavg: 1.88 1.97 1.91 2/176 18703
/proc/meminfo: memFree=29966168/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=15292 CPUtime=0.69 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 3162 0 0 0 68 1 0 0 20 0 1 0 337684165 15659008 3090 33554432000 134512640 135840783 4293020880 4293018144 134586940 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18703/statm: 3823 3090 351 325 0 2759 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15292
[startup+1.50018 s]
/proc/loadavg: 1.88 1.97 1.91 3/177 18704
/proc/meminfo: memFree=29955124/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=16320 CPUtime=1.49 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 3409 0 0 0 148 1 0 0 20 0 1 0 337684165 16711680 3337 33554432000 134512640 135840783 4293020880 4293020240 134550779 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18703/statm: 4080 3337 351 325 0 3016 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16320
[startup+3.1007 s]
/proc/loadavg: 1.88 1.97 1.91 3/177 18704
/proc/meminfo: memFree=29953628/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=16836 CPUtime=3.09 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 3547 0 0 0 308 1 0 0 20 0 1 0 337684165 17240064 3475 33554432000 134512640 135840783 4293020880 4293020240 134550902 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18703/statm: 4209 3475 351 325 0 3145 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16836
[startup+6.30018 s]
/proc/loadavg: 1.89 1.97 1.91 3/177 18704
/proc/meminfo: memFree=29952268/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=17480 CPUtime=6.29 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 3716 0 0 0 628 1 0 0 20 0 1 0 337684165 17899520 3644 33554432000 134512640 135840783 4293020880 4293020176 134574147 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18703/statm: 4370 3644 351 325 0 3306 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17480
[startup+12.7011 s]
/proc/loadavg: 1.90 1.97 1.91 3/177 18704
/proc/meminfo: memFree=29950716/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=18928 CPUtime=12.69 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 4065 0 0 0 1268 1 0 0 20 0 1 0 337684165 19382272 3993 33554432000 134512640 135840783 4293020880 4293020240 134550804 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18703/statm: 4732 3993 351 325 0 3668 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18928
[startup+25.5002 s]
/proc/loadavg: 2.00 1.99 1.92 3/178 18705
/proc/meminfo: memFree=29949568/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=19768 CPUtime=25.48 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 4280 0 0 0 2547 1 0 0 20 0 1 0 337684165 20242432 4208 33554432000 134512640 135840783 4293020880 4293020240 134551330 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18703/statm: 4942 4208 351 325 0 3878 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19768
[startup+51.1011 s]
/proc/loadavg: 2.00 1.99 1.92 3/178 18705
/proc/meminfo: memFree=29947560/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=21648 CPUtime=51.08 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 4752 0 0 0 5107 1 0 0 20 0 1 0 337684165 22167552 4680 33554432000 134512640 135840783 4293020880 4293020240 134551312 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18703/statm: 5412 4680 351 325 0 4348 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 21648
[startup+102.301 s]
/proc/loadavg: 2.00 1.99 1.92 3/177 18705
/proc/meminfo: memFree=29907312/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=24040 CPUtime=102.27 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 5337 0 0 0 10226 1 0 0 20 0 1 0 337684165 24616960 5265 33554432000 134512640 135840783 4293020880 4293020240 134550782 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18703/statm: 6010 5265 351 325 0 4946 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 24040
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/177 18705
/proc/meminfo: memFree=29883288/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=25292 CPUtime=162.26 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 5665 0 0 0 16224 2 0 0 20 0 1 0 337684165 25899008 5593 33554432000 134512640 135840783 4293020880 4293019584 134573224 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18703/statm: 6323 5593 351 325 0 5259 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 25292
[startup+222.307 s]
/proc/loadavg: 2.00 1.99 1.92 3/177 18708
/proc/meminfo: memFree=29858264/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=25280 CPUtime=222.26 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 5665 0 0 0 22224 2 0 0 20 0 1 0 337684165 25886720 5593 33554432000 134512640 135840783 4293020880 4293020240 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18703/statm: 6320 5593 351 325 0 5256 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 25280
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/177 18709
/proc/meminfo: memFree=29857816/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=26804 CPUtime=282.24 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 6037 0 0 0 28222 2 0 0 20 0 1 0 337684165 27447296 5965 33554432000 134512640 135840783 4293020880 4293020192 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18703/statm: 6701 5965 351 325 0 5637 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 26804
[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.92 3/177 18709
/proc/meminfo: memFree=29868384/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=26820 CPUtime=342.23 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 6055 0 0 0 34221 2 0 0 20 0 1 0 337684165 27463680 5983 33554432000 134512640 135840783 4293020880 4293020352 134552279 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18703/statm: 6705 5983 351 325 0 5641 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 26820
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/177 18709
/proc/meminfo: memFree=29830096/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=28420 CPUtime=402.22 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 6450 0 0 0 40220 2 0 0 20 0 1 0 337684165 29102080 6369 33554432000 134512640 135840783 4293020880 4293020240 134551264 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18703/statm: 7105 6369 351 325 0 6041 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 28420
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/177 18709
/proc/meminfo: memFree=29830120/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=28416 CPUtime=462.2 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 6464 0 0 0 46218 2 0 0 20 0 1 0 337684165 29097984 6376 33554432000 134512640 135840783 4293020880 4293020240 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18703/statm: 7104 6376 351 325 0 6040 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 28416
[startup+522.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/177 18709
/proc/meminfo: memFree=29947936/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=28380 CPUtime=522.19 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 6464 0 0 0 52217 2 0 0 20 0 1 0 337684165 29061120 6376 33554432000 134512640 135840783 4293020880 4293020240 134551106 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18703/statm: 7095 6376 351 325 0 6031 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 28380
[startup+582.3 s]
/proc/loadavg: 2.07 2.00 1.93 3/177 18710
/proc/meminfo: memFree=29864360/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=28380 CPUtime=582.19 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 6464 0 0 0 58217 2 0 0 20 0 1 0 337684165 29061120 6376 33554432000 134512640 135840783 4293020880 4293020192 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18703/statm: 7095 6376 351 325 0 6031 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 28380
[startup+642.301 s]
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 18714
/proc/meminfo: memFree=29827924/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=30160 CPUtime=882.15 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 6925 0 0 0 88213 2 0 0 20 0 1 0 337684165 30883840 6822 33554432000 134512640 135840783 4293020880 4293020240 134550913 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18703/statm: 7540 6822 351 325 0 6476 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 30160
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 18714
/proc/meminfo: memFree=29826064/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=32092 CPUtime=942.13 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 7396 0 0 0 94211 2 0 0 20 0 1 0 337684165 32862208 7292 33554432000 134512640 135840783 4293020880 4293020240 134551532 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18703/statm: 8023 7292 351 325 0 6959 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 32092
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 18714
/proc/meminfo: memFree=29826064/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=32156 CPUtime=1002.12 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 7415 0 0 0 100210 2 0 0 20 0 1 0 337684165 32927744 7311 33554432000 134512640 135840783 4293020880 4293020240 134550896 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18703/statm: 8039 7311 351 325 0 6975 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 32156
[startup+1062.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/177 18714
/proc/meminfo: memFree=29797300/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=32136 CPUtime=1062.11 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 7415 0 0 0 106209 2 0 0 20 0 1 0 337684165 32907264 7311 33554432000 134512640 135840783 4293020880 4293020240 134551104 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18703/statm: 8034 7311 351 325 0 6970 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 32136
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 18714
/proc/meminfo: memFree=29797424/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=32136 CPUtime=1122.1 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 7415 0 0 0 112208 2 0 0 20 0 1 0 337684165 32907264 7311 33554432000 134512640 135840783 4293020880 4293020240 134550910 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18703/statm: 8034 7311 351 325 0 6970 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 32136
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/177 18715
/proc/meminfo: memFree=29797052/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=32160 CPUtime=1182.09 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 7421 0 0 0 118207 2 0 0 20 0 1 0 337684165 32931840 7317 33554432000 134512640 135840783 4293020880 4293020240 134551071 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18703/statm: 8040 7317 351 325 0 6976 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 32160
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 18715
/proc/meminfo: memFree=29805732/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=32136 CPUtime=1242.08 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 7421 0 0 0 124206 2 0 0 20 0 1 0 337684165 32907264 7316 33554432000 134512640 135840783 4293020880 4293020240 134551104 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18703/statm: 8034 7316 351 325 0 6970 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 32136
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 18715
/proc/meminfo: memFree=29796060/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=32088 CPUtime=1302.08 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 7421 0 0 0 130206 2 0 0 20 0 1 0 337684165 32858112 7304 33554432000 134512640 135840783 4293020880 4293020192 134550761 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18703/statm: 8022 7304 351 325 0 6958 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 32088
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 18715
/proc/meminfo: memFree=29764628/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=32088 CPUtime=1362.06 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 7421 0 0 0 136204 2 0 0 20 0 1 0 337684165 32858112 7304 33554432000 134512640 135840783 4293020880 4293020240 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18703/statm: 8022 7304 351 325 0 6958 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 32088
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18718
/proc/meminfo: memFree=29764124/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=32116 CPUtime=1422.06 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 7424 0 0 0 142204 2 0 0 20 0 1 0 337684165 32886784 7303 33554432000 134512640 135840783 4293020880 4293020240 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18703/statm: 8029 7303 351 325 0 6965 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 32116
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 18719
/proc/meminfo: memFree=29762772/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=34260 CPUtime=1482.04 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 7967 0 0 0 148202 2 0 0 20 0 1 0 337684165 35082240 7846 33554432000 134512640 135840783 4293020880 4293020240 134550902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18703/statm: 8565 7846 351 325 0 7501 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 34260
[startup+1542.31 s]
/proc/loadavg: 2.07 2.02 1.94 3/177 18719
/proc/meminfo: memFree=29762896/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=34324 CPUtime=1542.04 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 7974 0 0 0 154202 2 0 0 20 0 1 0 337684165 35147776 7853 33554432000 134512640 135840783 4293020880 4293020236 13393910 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18703/statm: 8581 7853 351 325 0 7517 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 34324
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/176 18719
/proc/meminfo: memFree=29763648/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=34324 CPUtime=1602.02 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 7979 0 0 0 160200 2 0 0 20 0 1 0 337684165 35147776 7858 33554432000 134512640 135840783 4293020880 4293020240 134550902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18703/statm: 8581 7858 351 325 0 7517 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 34324
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/177 18720
/proc/meminfo: memFree=29763164/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=34356 CPUtime=1662.02 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 7985 0 0 0 166200 2 0 0 20 0 1 0 337684165 35180544 7864 33554432000 134512640 135840783 4293020880 4293020240 134550907 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18703/statm: 8589 7864 351 325 0 7525 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 34356
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 18720
/proc/meminfo: memFree=29763164/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=34340 CPUtime=1722.01 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 7985 0 0 0 172199 2 0 0 20 0 1 0 337684165 35164160 7864 33554432000 134512640 135840783 4293020880 4293020240 134551063 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18703/statm: 8585 7864 351 325 0 7521 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 34340
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 18760
/proc/meminfo: memFree=30431592/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=33300 CPUtime=1782 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 7985 0 0 0 178198 2 0 0 20 0 1 0 337684165 34099200 7607 33554432000 134512640 135840783 4293020880 4293020192 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18703/statm: 8325 7607 351 325 0 7261 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 33300
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 18760
/proc/meminfo: memFree=30423720/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=33144 CPUtime=1800.1 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 7985 0 0 0 180008 2 0 0 20 0 1 0 337684165 33939456 7568 33554432000 134512640 135840783 4293020880 4293020240 134550910 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18703/statm: 8286 7568 351 325 0 7222 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 33144
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 18760
/proc/meminfo: memFree=30423720/32873648 swapFree=6860/6860
[pid=18703] ppid=18701 vsize=33144 CPUtime=1800.1 cores=0,2,4,6
/proc/18703/stat : 18703 (bsolo3.0.17) R 18701 18703 18429 0 -1 4202496 7985 0 0 0 180008 2 0 0 20 0 1 0 337684165 33939456 7568 33554432000 134512640 135840783 4293020880 4293020240 134550910 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18703/statm: 8286 7568 351 325 0 7222 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 33144
Child status: 15
Real time (s): 1800.41
CPU time (s): 1800.12
CPU user time (s): 1800.09
CPU system time (s): 0.029995
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 34400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.09
system time used= 0.029995
maximum resident set size= 31456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7988
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= 19
involuntary context switches= 1918
runsolver used 3.53246 second user time and 8.75167 second system time
The end