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-3737155-1338713847/watcher-3737155-1338713847 -o /tmp/evaluation-result-3737155-1338713847/solver-3737155-1338713847 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737155-1338713847.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 11095
/proc/meminfo: memFree=27361780/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=4472 CPUtime=0 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4194304 116 0 0 0 0 0 0 0 20 0 1 0 337509086 4579328 67 33554432000 134512640 135840783 4294456320 4294455764 12289344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 1119 74 57 325 0 39 0
[startup+0.0446641 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 11095
/proc/meminfo: memFree=27361780/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=9624 CPUtime=0.03 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 1654 0 0 0 3 0 0 0 20 0 1 0 337509086 9854976 1590 33554432000 134512640 135840783 4294456320 4294454800 12829991 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 2407 1591 374 325 0 1227 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9624
[startup+0.100325 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 11095
/proc/meminfo: memFree=27361780/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=16156 CPUtime=0.08 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 3363 0 0 0 8 0 0 0 20 0 1 0 337509086 16543744 3259 33554432000 134512640 135840783 4294456320 4294454800 12829991 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 4039 3262 437 325 0 2859 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16156
[startup+0.30033 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 11095
/proc/meminfo: memFree=27361780/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=25392 CPUtime=0.29 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 5690 0 0 0 28 1 0 0 20 0 1 0 337509086 26001408 5470 33554432000 134512640 135840783 4294456320 4294001020 1381424 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 6348 5470 343 325 0 5284 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25392
[startup+0.700329 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 11095
/proc/meminfo: memFree=27361780/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=25392 CPUtime=0.69 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 5690 0 0 0 68 1 0 0 20 0 1 0 337509086 26001408 5470 33554432000 134512640 135840783 4294456320 4294000880 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 6348 5470 343 325 0 5284 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25392
[startup+1.50026 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 11096
/proc/meminfo: memFree=27340180/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=30836 CPUtime=1.49 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 7575 0 0 0 146 3 0 0 20 0 1 0 337509086 31576064 6837 33554432000 134512640 135840783 4294456320 4294449648 12829991 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 7709 6837 349 325 0 6645 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30836
[startup+3.10024 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 11096
/proc/meminfo: memFree=27326664/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=54128 CPUtime=3.09 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 13410 0 0 0 305 4 0 0 20 0 1 0 337509086 55427072 12672 33554432000 134512640 135840783 4294456320 4294449552 12829991 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 13532 12672 349 325 0 12468 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 54128
[startup+6.30032 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 11096
/proc/meminfo: memFree=27287976/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=88184 CPUtime=6.28 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 21913 0 0 0 623 5 0 0 20 0 1 0 337509086 90300416 21175 33554432000 134512640 135840783 4294456320 4294455680 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 22046 21175 349 325 0 20982 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 88184
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 11096
/proc/meminfo: memFree=27224388/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=145736 CPUtime=12.68 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 36313 0 0 0 1260 8 0 0 20 0 1 0 337509086 149233664 35575 33554432000 134512640 135840783 4294456320 4294449552 12829991 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 36434 35575 349 325 0 35370 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 145736
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 11096
/proc/meminfo: memFree=27122460/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=245528 CPUtime=25.48 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 61237 0 0 0 2534 14 0 0 20 0 1 0 337509086 251420672 60499 33554432000 134512640 135840783 4294456320 4294455680 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 61382 60499 349 325 0 60318 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 245528
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 11096
/proc/meminfo: memFree=27023072/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=342944 CPUtime=51.08 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 85606 0 0 0 5087 21 0 0 20 0 1 0 337509086 351174656 84868 33554432000 134512640 135840783 4294456320 4294455680 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 85736 84868 349 325 0 84672 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 342944
[startup+102.307 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 11096
/proc/meminfo: memFree=27009428/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=355372 CPUtime=102.25 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 88726 0 0 0 10203 22 0 0 20 0 1 0 337509086 363900928 87959 33554432000 134512640 135840783 4294456320 4294455680 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 88843 87959 349 325 0 87779 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 355372
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 11099
/proc/meminfo: memFree=26999900/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=355372 CPUtime=162.2 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 88761 0 0 0 16198 22 0 0 20 0 1 0 337509086 363900928 87959 33554432000 134512640 135840783 4294456320 4294455680 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 88843 87959 349 325 0 87779 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 355372
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11124
/proc/meminfo: memFree=26971608/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=383036 CPUtime=222.17 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 95707 0 0 0 22192 25 0 0 20 0 1 0 337509086 392228864 94876 33554432000 134512640 135840783 4294456320 4294455680 134551324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 95759 94876 349 325 0 94695 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 383036
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11124
/proc/meminfo: memFree=27041808/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=312888 CPUtime=282.15 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 95715 0 0 0 28190 25 0 0 20 0 1 0 337509086 320397312 77371 33554432000 134512640 135840783 4294456320 4294455680 134551312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 78222 77371 349 325 0 77158 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 312888
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11124
/proc/meminfo: memFree=27041436/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=314736 CPUtime=342.14 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 96153 0 0 0 34189 25 0 0 20 0 1 0 337509086 322289664 77809 33554432000 134512640 135840783 4294456320 4294455680 134551186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 78684 77809 349 325 0 77620 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 314736
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11124
/proc/meminfo: memFree=26985376/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=370256 CPUtime=402.12 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 110025 0 0 0 40182 30 0 0 20 0 1 0 337509086 379142144 91681 33554432000 134512640 135840783 4294456320 4294455680 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 92564 91681 349 325 0 91500 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 370256
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11124
/proc/meminfo: memFree=26985252/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=370256 CPUtime=462.11 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 110025 0 0 0 46181 30 0 0 20 0 1 0 337509086 379142144 91681 33554432000 134512640 135840783 4294456320 4294455680 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 92564 91681 349 325 0 91500 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 370256
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11125
/proc/meminfo: memFree=26985252/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=370256 CPUtime=522.11 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 110025 0 0 0 52181 30 0 0 20 0 1 0 337509086 379142144 91681 33554432000 134512640 135840783 4294456320 4294455680 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 92564 91681 349 325 0 91500 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 370256
[startup+582.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 11240
/proc/meminfo: memFree=27147700/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=395600 CPUtime=582.1 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 116361 0 0 0 58177 33 0 0 20 0 1 0 337509086 405094400 98017 33554432000 134512640 135840783 4294456320 4294455680 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 98900 98017 349 325 0 97836 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 395600
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11244
/proc/meminfo: memFree=27121932/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=411228 CPUtime=822.06 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 120278 0 0 0 82172 34 0 0 20 0 1 0 337509086 421097472 101924 33554432000 134512640 135840783 4294456320 4294453744 134573224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 102807 101924 349 325 0 101743 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 411228
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11244
/proc/meminfo: memFree=27120196/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=411228 CPUtime=882.05 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 120278 0 0 0 88171 34 0 0 20 0 1 0 337509086 421097472 101924 33554432000 134512640 135840783 4294456320 4294449840 2076657 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 102807 101924 349 325 0 101743 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 411228
[startup+942.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 11244
/proc/meminfo: memFree=27118384/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=411228 CPUtime=942.04 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 120285 0 0 0 94170 34 0 0 20 0 1 0 337509086 421097472 101924 33554432000 134512640 135840783 4294456320 4294455680 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 102807 101924 349 325 0 101743 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 411228
[startup+1002.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 11244
/proc/meminfo: memFree=27118192/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=411228 CPUtime=1002.03 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 120285 0 0 0 100169 34 0 0 20 0 1 0 337509086 421097472 101924 33554432000 134512640 135840783 4294456320 4294455680 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 102807 101924 349 325 0 101743 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 411228
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 11244
/proc/meminfo: memFree=27118316/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=411228 CPUtime=1062.02 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 120285 0 0 0 106168 34 0 0 20 0 1 0 337509086 421097472 101924 33554432000 134512640 135840783 4294456320 4294455680 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 102807 101924 349 325 0 101743 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 411228
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11245
/proc/meminfo: memFree=27116456/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=411360 CPUtime=1122.01 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 120318 0 0 0 112167 34 0 0 20 0 1 0 337509086 421232640 101957 33554432000 134512640 135840783 4294456320 4294455680 134550791 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 102840 101957 349 325 0 101776 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 411360
[startup+1182.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 11245
/proc/meminfo: memFree=27116208/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=411360 CPUtime=1182 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 120318 0 0 0 118166 34 0 0 20 0 1 0 337509086 421232640 101957 33554432000 134512640 135840783 4294456320 4294455632 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 102840 101957 349 325 0 101776 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 411360
[startup+1242.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 11245
/proc/meminfo: memFree=27115648/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=411360 CPUtime=1241.99 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 120318 0 0 0 124165 34 0 0 20 0 1 0 337509086 421232640 101957 33554432000 134512640 135840783 4294456320 4294455632 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 102840 101957 349 325 0 101776 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 411360
[startup+1302.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 11245
/proc/meminfo: memFree=27113292/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=411360 CPUtime=1301.99 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 120318 0 0 0 130165 34 0 0 20 0 1 0 337509086 421232640 101957 33554432000 134512640 135840783 4294456320 4294455680 134550916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 102840 101957 349 325 0 101776 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 411360
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 11248
/proc/meminfo: memFree=27096900/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=427888 CPUtime=1361.97 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 124450 0 0 0 136161 36 0 0 20 0 1 0 337509086 438157312 106089 33554432000 134512640 135840783 4294456320 4294455680 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 106972 106089 349 325 0 105908 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 427888
[startup+1422.31 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 11249
/proc/meminfo: memFree=27097048/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=427888 CPUtime=1421.97 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 124450 0 0 0 142161 36 0 0 20 0 1 0 337509086 438157312 106089 33554432000 134512640 135840783 4294456320 4294455680 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 106972 106089 349 325 0 105908 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 427888
[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 11249
/proc/meminfo: memFree=27097172/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=427888 CPUtime=1481.95 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 124450 0 0 0 148159 36 0 0 20 0 1 0 337509086 438157312 106089 33554432000 134512640 135840783 4294456320 4294455680 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 106972 106089 349 325 0 105908 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 427888
[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 11249
/proc/meminfo: memFree=27097216/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=427888 CPUtime=1541.94 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 124456 0 0 0 154158 36 0 0 20 0 1 0 337509086 438157312 106089 33554432000 134512640 135840783 4294456320 4294455680 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 106972 106089 349 325 0 105908 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 427888
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 11249
/proc/meminfo: memFree=27097216/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=427888 CPUtime=1601.93 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 124456 0 0 0 160157 36 0 0 20 0 1 0 337509086 438157312 106089 33554432000 134512640 135840783 4294456320 4294455680 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 106972 106089 349 325 0 105908 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 427888
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11249
/proc/meminfo: memFree=27094736/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=427888 CPUtime=1661.92 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 124456 0 0 0 166156 36 0 0 20 0 1 0 337509086 438157312 106089 33554432000 134512640 135840783 4294456320 4294455680 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 106972 106089 349 325 0 105908 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 427888
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11250
/proc/meminfo: memFree=27094488/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=428304 CPUtime=1721.91 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 124560 0 0 0 172155 36 0 0 20 0 1 0 337509086 438583296 106193 33554432000 134512640 135840783 4294456320 4294455680 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 107076 106193 349 325 0 106012 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 428304
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11250
/proc/meminfo: memFree=27094240/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=428304 CPUtime=1781.9 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 124560 0 0 0 178154 36 0 0 20 0 1 0 337509086 438583296 106193 33554432000 134512640 135840783 4294456320 4294455680 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 107076 106193 349 325 0 106012 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 428304
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11250
/proc/meminfo: memFree=27094116/32873844 swapFree=7628/7628
[pid=11095] ppid=11093 vsize=428304 CPUtime=1800.01 cores=1,3,5,7
/proc/11095/stat : 11095 (bsolo3.0.17) R 11093 11095 7463 0 -1 4202496 124560 0 0 0 179965 36 0 0 20 0 1 0 337509086 438583296 106193 33554432000 134512640 135840783 4294456320 4294455680 134550913 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 107076 106193 349 325 0 106012 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 428304
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.02
CPU user time (s): 1799.65
CPU system time (s): 0.365944
CPU usage (%): 99.9782
Max. virtual memory (cumulated for all children) (KiB): 428304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.365944
maximum resident set size= 424772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124563
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= 140
involuntary context switches= 1845
runsolver used 3.07053 second user time and 10.8134 second system time
The end