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-3730329-1338680856/watcher-3730329-1338680856 -o /tmp/evaluation-result-3730329-1338680856/solver-3730329-1338680856 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3730329-1338680856.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: 2.00 1.97 1.86 2/176 24955
/proc/meminfo: memFree=27466504/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=2660 CPUtime=0 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) D 24953 24955 24661 0 -1 4194304 96 0 0 0 0 0 0 0 20 0 1 0 334214233 2723840 48 33554432000 134512640 135840783 4286788880 4286786916 9737156 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/24955/statm: 665 48 37 325 0 32 0
[startup+0.100991 s]
/proc/loadavg: 2.00 1.97 1.86 2/176 24955
/proc/meminfo: memFree=27466504/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=5832 CPUtime=0.09 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 817 0 0 0 9 0 0 0 20 0 1 0 334214233 5971968 727 33554432000 134512640 135840783 4286788880 4286788176 134572675 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24955/statm: 1458 727 346 325 0 394 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5832
[startup+0.200213 s]
/proc/loadavg: 2.00 1.97 1.86 2/176 24955
/proc/meminfo: memFree=27466504/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=7768 CPUtime=0.19 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 1306 0 0 0 19 0 0 0 20 0 1 0 334214233 7954432 1216 33554432000 134512640 135840783 4286788880 4286788240 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24955/statm: 1942 1216 346 325 0 878 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 7768
[startup+0.300202 s]
/proc/loadavg: 2.00 1.97 1.86 2/176 24955
/proc/meminfo: memFree=27466504/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=8284 CPUtime=0.29 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 1413 0 0 0 29 0 0 0 20 0 1 0 334214233 8482816 1323 33554432000 134512640 135840783 4286788880 4286787200 134575034 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24955/statm: 2071 1323 346 325 0 1007 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8284
[startup+0.700177 s]
/proc/loadavg: 2.00 1.97 1.86 2/176 24955
/proc/meminfo: memFree=27466504/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=10452 CPUtime=0.68 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 1980 0 0 0 68 0 0 0 20 0 1 0 334214233 10702848 1890 33554432000 134512640 135840783 4286788880 4286788192 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24955/statm: 2613 1890 346 325 0 1549 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10452
[startup+1.50018 s]
/proc/loadavg: 2.00 1.97 1.86 3/177 24956
/proc/meminfo: memFree=27454584/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=19024 CPUtime=1.49 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 4107 0 0 0 148 1 0 0 20 0 1 0 334214233 19480576 4017 33554432000 134512640 135840783 4286788880 4286788240 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24955/statm: 4756 4017 346 325 0 3692 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19024
[startup+3.10026 s]
/proc/loadavg: 2.00 1.97 1.86 3/177 24956
/proc/meminfo: memFree=27441548/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=38456 CPUtime=3.08 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 8969 0 0 0 307 1 0 0 20 0 1 0 334214233 39378944 8879 33554432000 134512640 135840783 4286788880 4286788240 134551093 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 9614 8879 346 325 0 8550 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 38456
[startup+6.30026 s]
/proc/loadavg: 2.00 1.97 1.86 3/177 24956
/proc/meminfo: memFree=27399388/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=72944 CPUtime=6.28 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 17600 0 0 0 626 2 0 0 20 0 1 0 334214233 74694656 17510 33554432000 134512640 135840783 4286788880 4286788240 134551093 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 18236 17510 346 325 0 17172 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 72944
[startup+12.7003 s]
/proc/loadavg: 2.00 1.97 1.86 3/177 24956
/proc/meminfo: memFree=27345324/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=117600 CPUtime=12.68 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 28749 0 0 0 1262 6 0 0 20 0 1 0 334214233 120422400 28659 33554432000 134512640 135840783 4286788880 4286771072 134586525 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 29400 28659 346 325 0 28336 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 117600
[startup+25.5003 s]
/proc/loadavg: 2.00 1.97 1.87 3/177 24956
/proc/meminfo: memFree=27266072/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=182784 CPUtime=25.47 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 45051 0 0 0 2538 9 0 0 20 0 1 0 334214233 187170816 44961 33554432000 134512640 135840783 4286788880 4286788192 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 45696 44961 346 325 0 44632 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 182784
[startup+51.1003 s]
/proc/loadavg: 2.00 1.97 1.87 3/177 24956
/proc/meminfo: memFree=27136088/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=277328 CPUtime=51.07 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 68672 0 0 0 5093 14 0 0 20 0 1 0 334214233 283983872 68582 33554432000 134512640 135840783 4286788880 4286788240 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 69332 68582 346 325 0 68268 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 277328
[startup+102.3 s]
/proc/loadavg: 2.00 1.97 1.87 3/177 24956
/proc/meminfo: memFree=26908204/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=433432 CPUtime=102.27 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 107702 0 0 0 10202 25 0 0 20 0 1 0 334214233 443834368 107612 33554432000 134512640 135840783 4286788880 4286788240 134551175 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 108358 107612 346 325 0 107294 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 433432
[startup+162.3 s]
/proc/loadavg: 2.08 1.99 1.88 3/178 24959
/proc/meminfo: memFree=26714056/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=563232 CPUtime=162.22 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 140199 0 0 0 16189 33 0 0 20 0 1 0 334214233 576749568 140075 33554432000 134512640 135840783 4286788880 4286788240 134550863 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 140808 140075 346 325 0 139744 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 563232
[startup+222.306 s]
/proc/loadavg: 2.03 1.99 1.89 3/177 24960
/proc/meminfo: memFree=26560688/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=661508 CPUtime=222.18 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 164810 0 0 0 22179 39 0 0 20 0 1 0 334214233 677384192 164646 33554432000 134512640 135840783 4286788880 4286788016 10246917 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 165377 164646 346 325 0 164313 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 661508
[startup+282.3 s]
/proc/loadavg: 2.01 1.99 1.90 3/177 24960
/proc/meminfo: memFree=26394572/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=781628 CPUtime=282.14 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 194891 0 0 0 28168 46 0 0 20 0 1 0 334214233 800387072 194683 33554432000 134512640 135840783 4286788880 4286788240 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 195407 194683 346 325 0 194343 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 781628
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/177 24960
/proc/meminfo: memFree=26276660/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=855348 CPUtime=342.09 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 213344 0 0 0 34159 50 0 0 20 0 1 0 334214233 875876352 213092 33554432000 134512640 135840783 4286788880 4286788240 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 213837 213092 346 325 0 212773 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 855348
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 24960
/proc/meminfo: memFree=26165724/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=923236 CPUtime=402.04 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 230376 0 0 0 40150 54 0 0 20 0 1 0 334214233 945393664 230083 33554432000 134512640 135840783 4286788880 4286788192 134551475 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 230809 230083 346 325 0 229745 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 923236
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 24960
/proc/meminfo: memFree=26039644/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=984324 CPUtime=462 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 245690 0 0 0 46141 59 0 0 20 0 1 0 334214233 1007947776 245356 33554432000 134512640 135840783 4286788880 4286788240 134551104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 246081 245356 346 325 0 245017 0
Current children cumulated CPU time (s) 462
Current children cumulated vsize (KiB) 984324
[startup+522.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 24961
/proc/meminfo: memFree=25898312/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=1075948 CPUtime=521.95 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 268620 0 0 0 52130 65 0 0 20 0 1 0 334214233 1101770752 268246 33554432000 134512640 135840783 4286788880 4286788240 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 268987 268246 346 325 0 267923 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 1075948
[startup+582.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 24961
/proc/meminfo: memFree=25727468/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=1196896 CPUtime=581.91 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 298903 0 0 0 58119 72 0 0 20 0 1 0 334214233 1225621504 298502 33554432000 134512640 135840783 4286788880 4286788240 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 299224 298502 346 325 0 298160 0
Current children cumulated CPU time (s) 581.91
Current children cumulated vsize (KiB) 1196896
[startup+642.3 s]
################
# More data... #
################
[startup+882.306 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 24988
/proc/meminfo: memFree=25110460/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=1633000 CPUtime=881.75 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 408076 0 0 0 88074 101 0 0 20 0 1 0 334214233 1672192000 407515 33554432000 134512640 135840783 4286788880 4286788240 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 408250 407515 346 325 0 407186 0
Current children cumulated CPU time (s) 881.75
Current children cumulated vsize (KiB) 1633000
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 24988
/proc/meminfo: memFree=25007320/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=1707748 CPUtime=941.71 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 426810 0 0 0 94066 105 0 0 20 0 1 0 334214233 1748733952 426214 33554432000 134512640 135840783 4286788880 4286788240 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 426937 426214 346 325 0 425873 0
Current children cumulated CPU time (s) 941.71
Current children cumulated vsize (KiB) 1707748
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 24988
/proc/meminfo: memFree=24907528/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=1776408 CPUtime=1001.67 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 444006 0 0 0 100059 108 0 0 20 0 1 0 334214233 1819041792 443374 33554432000 134512640 135840783 4286788880 4286788240 134550910 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 444102 443374 346 325 0 443038 0
Current children cumulated CPU time (s) 1001.67
Current children cumulated vsize (KiB) 1776408
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 24988
/proc/meminfo: memFree=24808480/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=1847828 CPUtime=1061.64 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 461881 0 0 0 106051 113 0 0 20 0 1 0 334214233 1892175872 461210 33554432000 134512640 135840783 4286788880 4286788240 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 461957 461210 346 325 0 460893 0
Current children cumulated CPU time (s) 1061.64
Current children cumulated vsize (KiB) 1847828
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 24989
/proc/meminfo: memFree=24703976/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=1923300 CPUtime=1121.6 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 480787 0 0 0 112042 118 0 0 20 0 1 0 334214233 1969459200 480077 33554432000 134512640 135840783 4286788880 4286788240 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 480825 480077 346 325 0 479761 0
Current children cumulated CPU time (s) 1121.6
Current children cumulated vsize (KiB) 1923300
[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/177 24989
/proc/meminfo: memFree=24573060/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=2027080 CPUtime=1181.57 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 506773 0 0 0 118034 123 0 0 20 0 1 0 334214233 2075729920 506043 33554432000 134512640 135840783 4286788880 4286788240 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 506770 506043 346 325 0 505706 0
Current children cumulated CPU time (s) 1181.57
Current children cumulated vsize (KiB) 2027080
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/177 24989
/proc/meminfo: memFree=24469300/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=2100288 CPUtime=1241.55 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 525109 0 0 0 124025 130 0 0 20 0 1 0 334214233 2150694912 524344 33554432000 134512640 135840783 4286788880 4286788240 134550884 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 525072 524344 346 325 0 524008 0
Current children cumulated CPU time (s) 1241.55
Current children cumulated vsize (KiB) 2100288
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 24989
/proc/meminfo: memFree=24341112/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=2170584 CPUtime=1301.52 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 542715 0 0 0 130017 135 0 0 20 0 1 0 334214233 2222678016 541915 33554432000 134512640 135840783 4286788880 4286788240 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 542646 541915 346 325 0 541582 0
Current children cumulated CPU time (s) 1301.52
Current children cumulated vsize (KiB) 2170584
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 24992
/proc/meminfo: memFree=24229408/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=2231556 CPUtime=1361.5 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 557976 0 0 0 136010 140 0 0 20 0 1 0 334214233 2285113344 557143 33554432000 134512640 135840783 4286788880 4286788240 134550878 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 557889 557143 346 325 0 556825 0
Current children cumulated CPU time (s) 1361.5
Current children cumulated vsize (KiB) 2231556
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 25070
/proc/meminfo: memFree=25849160/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=2289616 CPUtime=1421.48 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 572530 0 0 0 142005 143 0 0 20 0 1 0 334214233 2344566784 571663 33554432000 134512640 135840783 4286788880 4286788240 134551071 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 572404 571663 346 325 0 571340 0
Current children cumulated CPU time (s) 1421.48
Current children cumulated vsize (KiB) 2289616
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 25070
/proc/meminfo: memFree=25803432/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=2335480 CPUtime=1481.44 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 584048 0 0 0 147998 146 0 0 20 0 1 0 334214233 2391531520 583143 33554432000 134512640 135840783 4286788880 4286788240 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 583870 583143 346 325 0 582806 0
Current children cumulated CPU time (s) 1481.44
Current children cumulated vsize (KiB) 2335480
[startup+1542.31 s]
/proc/loadavg: 2.03 2.01 1.93 3/177 25070
/proc/meminfo: memFree=25767128/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=2370732 CPUtime=1541.42 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 592879 0 0 0 153994 148 0 0 20 0 1 0 334214233 2427629568 591943 33554432000 134512640 135840783 4286788880 4286788240 134551175 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 592683 591943 346 325 0 591619 0
Current children cumulated CPU time (s) 1541.42
Current children cumulated vsize (KiB) 2370732
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/177 25070
/proc/meminfo: memFree=25736412/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=2399616 CPUtime=1601.4 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 600118 0 0 0 159990 150 0 0 20 0 1 0 334214233 2457206784 599164 33554432000 134512640 135840783 4286788880 4286788240 134551058 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 599904 599164 346 325 0 598840 0
Current children cumulated CPU time (s) 1601.4
Current children cumulated vsize (KiB) 2399616
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 25070
/proc/meminfo: memFree=25698220/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=2432536 CPUtime=1661.39 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 608343 0 0 0 165987 152 0 0 20 0 1 0 334214233 2490916864 607389 33554432000 134512640 135840783 4286788880 4286788016 10246917 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 608134 607389 346 325 0 607070 0
Current children cumulated CPU time (s) 1661.39
Current children cumulated vsize (KiB) 2432536
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 25071
/proc/meminfo: memFree=25655068/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=2471604 CPUtime=1721.38 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 618124 0 0 0 171983 155 0 0 20 0 1 0 334214233 2530922496 617170 33554432000 134512640 135840783 4286788880 4286788240 134551071 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 617901 617170 346 325 0 616837 0
Current children cumulated CPU time (s) 1721.38
Current children cumulated vsize (KiB) 2471604
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 25109
/proc/meminfo: memFree=25474196/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=2512244 CPUtime=1781.37 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 628274 0 0 0 177978 159 0 0 20 0 1 0 334214233 2572537856 627320 33554432000 134512640 135840783 4286788880 4286788240 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 628061 627320 346 325 0 626997 0
Current children cumulated CPU time (s) 1781.37
Current children cumulated vsize (KiB) 2512244
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 25109
/proc/meminfo: memFree=25407360/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=2525796 CPUtime=1800.07 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 631681 0 0 0 179847 160 0 0 20 0 1 0 334214233 2586415104 630727 33554432000 134512640 135840783 4286788880 4286788240 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 631449 630727 346 325 0 630385 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2525796
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 25109
/proc/meminfo: memFree=25407360/32873844 swapFree=7116/7116
[pid=24955] ppid=24953 vsize=2525796 CPUtime=1800.07 cores=0,2,4,6
/proc/24955/stat : 24955 (bsolo3.0.17) R 24953 24955 24661 0 -1 4202496 631681 0 0 0 179847 160 0 0 20 0 1 0 334214233 2586415104 630727 33554432000 134512640 135840783 4286788880 4286788240 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24955/statm: 631449 630727 346 325 0 630385 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2525796
Child status: 15
Real time (s): 1801.02
CPU time (s): 1800.1
CPU user time (s): 1798.48
CPU system time (s): 1.62475
CPU usage (%): 99.9488
Max. virtual memory (cumulated for all children) (KiB): 2525796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.48
system time used= 1.62475
maximum resident set size= 2522908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 631684
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= 969
involuntary context switches= 1845
runsolver used 3.23951 second user time and 8.78566 second system time
The end