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-3743533-1338785017/watcher-3743533-1338785017 -o /tmp/evaluation-result-3743533-1338785017/solver-3743533-1338785017 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3743533-1338785017.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: 4.84 3.27 2.24 3/175 2907
/proc/meminfo: memFree=25850512/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) D 2905 2907 2813 0 -1 4194304 94 0 0 0 0 0 0 0 20 0 1 0 344627218 2723840 47 33554432000 134512640 135840783 4287759456 4287757492 9585604 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 665 47 37 325 0 32 0
[startup+0.063594 s]
/proc/loadavg: 4.84 3.27 2.24 3/175 2907
/proc/meminfo: memFree=25850512/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=10212 CPUtime=0.05 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 1392 0 0 0 5 0 0 0 20 0 1 0 344627218 10457088 1289 33554432000 134512640 135840783 4287759456 4287758448 134525286 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 2553 1289 493 325 0 836 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10212
[startup+0.100265 s]
/proc/loadavg: 4.84 3.27 2.24 3/175 2907
/proc/meminfo: memFree=25850512/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=11976 CPUtime=0.09 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 1990 0 0 0 9 0 0 0 20 0 1 0 344627218 12263424 1808 33554432000 134512640 135840783 4287759456 4287758112 10097959 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 2995 1808 588 325 0 1278 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11976
[startup+0.30025 s]
/proc/loadavg: 4.84 3.27 2.24 3/175 2907
/proc/meminfo: memFree=25850512/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=20740 CPUtime=0.28 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 5158 0 0 0 28 0 0 0 20 0 1 0 344627218 21237760 4323 33554432000 134512640 135840783 4287759456 4287273148 11858992 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 5185 4323 342 325 0 4121 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 20740
[startup+0.700142 s]
/proc/loadavg: 4.84 3.27 2.24 3/175 2907
/proc/meminfo: memFree=25850512/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=20740 CPUtime=0.68 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 5158 0 0 0 68 0 0 0 20 0 1 0 344627218 21237760 4323 33554432000 134512640 135840783 4287759456 4287273148 11858992 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 5185 4323 342 325 0 4121 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 20740
[startup+1.50028 s]
/proc/loadavg: 4.84 3.27 2.24 3/176 2908
/proc/meminfo: memFree=25834632/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=20740 CPUtime=1.48 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 5158 0 0 0 148 0 0 0 20 0 1 0 344627218 21237760 4323 33554432000 134512640 135840783 4287759456 4287273148 11858992 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 5185 4323 342 325 0 4121 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 20740
[startup+3.10012 s]
/proc/loadavg: 4.61 3.25 2.24 3/176 2908
/proc/meminfo: memFree=25834376/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=20740 CPUtime=3.08 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 5158 0 0 0 308 0 0 0 20 0 1 0 344627218 21237760 4323 33554432000 134512640 135840783 4287759456 4287273148 11858992 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 5185 4323 342 325 0 4121 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 20740
[startup+6.30015 s]
/proc/loadavg: 4.61 3.25 2.24 3/176 2908
/proc/meminfo: memFree=25836040/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=21400 CPUtime=6.28 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 5321 0 0 0 628 0 0 0 20 0 1 0 344627218 21913600 4486 33554432000 134512640 135840783 4287759456 4287273148 11858992 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 5350 4486 342 325 0 4286 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 21400
[startup+12.7002 s]
/proc/loadavg: 4.21 3.21 2.23 3/176 2908
/proc/meminfo: memFree=25834484/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=21400 CPUtime=12.68 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 5322 0 0 0 1268 0 0 0 20 0 1 0 344627218 21913600 4487 33554432000 134512640 135840783 4287759456 4287273008 134551552 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 5350 4487 342 325 0 4286 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21400
[startup+25.5002 s]
/proc/loadavg: 3.87 3.17 2.23 3/176 2908
/proc/meminfo: memFree=25817272/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=21400 CPUtime=25.48 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 5322 0 0 0 2547 1 0 0 20 0 1 0 344627218 21913600 4487 33554432000 134512640 135840783 4287759456 4287273056 134551076 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 5350 4487 342 325 0 4286 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21400
[startup+51.1001 s]
/proc/loadavg: 3.23 3.08 2.22 3/176 2909
/proc/meminfo: memFree=25772712/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=43192 CPUtime=51.08 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 11439 0 0 0 5104 4 0 0 20 0 1 0 344627218 44228608 9929 33554432000 134512640 135840783 4287759456 4287758816 134551368 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 10798 9929 347 325 0 9734 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 43192
[startup+102.306 s]
/proc/loadavg: 2.49 2.89 2.21 3/175 2909
/proc/meminfo: memFree=25541956/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=113896 CPUtime=102.28 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 29111 0 0 0 10221 7 0 0 20 0 1 0 344627218 116629504 27601 33554432000 134512640 135840783 4287759456 4287758816 134551324 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 28474 27601 347 325 0 27410 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 113896
[startup+162.3 s]
/proc/loadavg: 2.19 2.74 2.19 3/175 2909
/proc/meminfo: memFree=25319872/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=167712 CPUtime=162.26 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 42566 0 0 0 16217 9 0 0 20 0 1 0 344627218 171737088 41056 33554432000 134512640 135840783 4287759456 4287758752 134572583 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 41928 41056 347 325 0 40864 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 167712
[startup+222.3 s]
/proc/loadavg: 2.12 2.61 2.18 3/175 2909
/proc/meminfo: memFree=25145156/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=221504 CPUtime=222.25 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 56019 0 0 0 22212 13 0 0 20 0 1 0 344627218 226820096 54509 33554432000 134512640 135840783 4287759456 4287758816 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 55376 54509 347 325 0 54312 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 221504
[startup+282.3 s]
/proc/loadavg: 2.05 2.50 2.17 3/175 2909
/proc/meminfo: memFree=24685244/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=264276 CPUtime=282.24 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 66724 0 0 0 28207 17 0 0 20 0 1 0 344627218 270618624 65214 33554432000 134512640 135840783 4287759456 4287758816 134550872 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 66069 65214 347 325 0 65005 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 264276
[startup+342.3 s]
/proc/loadavg: 2.05 2.42 2.16 3/175 2910
/proc/meminfo: memFree=24410588/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=306688 CPUtime=342.23 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 77314 0 0 0 34203 20 0 0 20 0 1 0 344627218 314048512 75804 33554432000 134512640 135840783 4287759456 4287758816 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 76672 75804 347 325 0 75608 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 306688
[startup+402.3 s]
/proc/loadavg: 2.02 2.34 2.15 3/176 2913
/proc/meminfo: memFree=24304228/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=343704 CPUtime=402.23 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 86571 0 0 0 40200 23 0 0 20 0 1 0 344627218 351952896 85061 33554432000 134512640 135840783 4287759456 4287758812 134520568 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 85926 85061 347 325 0 84862 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 343704
[startup+462.3 s]
/proc/loadavg: 2.00 2.28 2.14 3/175 2913
/proc/meminfo: memFree=24199236/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=376564 CPUtime=462.22 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 94783 0 0 0 46197 25 0 0 20 0 1 0 344627218 385601536 93273 33554432000 134512640 135840783 4287759456 4287758816 134550872 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 94141 93273 347 325 0 93077 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 376564
[startup+522.3 s]
/proc/loadavg: 2.00 2.22 2.13 3/175 2913
/proc/meminfo: memFree=24065220/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=419312 CPUtime=522.2 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 105460 0 0 0 52191 29 0 0 20 0 1 0 344627218 429375488 103950 33554432000 134512640 135840783 4287759456 4287758816 134551065 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 104828 103950 347 325 0 103764 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 419312
[startup+582.3 s]
/proc/loadavg: 2.00 2.18 2.12 3/175 2913
/proc/meminfo: memFree=23923020/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=457568 CPUtime=582.19 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 115030 0 0 0 58186 33 0 0 20 0 1 0 344627218 468549632 113520 33554432000 134512640 135840783 4287759456 4287758816 134551347 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 114392 113520 347 325 0 113328 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 457568
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 1.99 2.05 2.07 3/175 2953
/proc/meminfo: memFree=25904124/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=610288 CPUtime=882.05 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 153358 0 0 0 88160 45 0 0 20 0 1 0 344627218 624934912 151706 33554432000 134512640 135840783 4287759456 4287758768 134551081 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 152572 151706 347 325 0 151508 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 610288
[startup+942.3 s]
/proc/loadavg: 1.99 2.04 2.07 3/175 2953
/proc/meminfo: memFree=25814764/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=662260 CPUtime=942.03 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 166367 0 0 0 94155 48 0 0 20 0 1 0 344627218 678154240 164684 33554432000 134512640 135840783 4287759456 4287758816 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 165565 164684 347 325 0 164501 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 662260
[startup+1002.3 s]
/proc/loadavg: 1.99 2.03 2.06 3/176 2957
/proc/meminfo: memFree=25723444/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=708156 CPUtime=1001.99 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 177890 0 0 0 100147 52 0 0 20 0 1 0 344627218 725151744 176168 33554432000 134512640 135840783 4287759456 4287758816 134551098 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 177039 176168 347 325 0 175975 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 708156
[startup+1062.3 s]
/proc/loadavg: 1.99 2.02 2.05 3/176 2979
/proc/meminfo: memFree=25640448/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=738108 CPUtime=1061.94 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 185413 0 0 0 106140 54 0 0 20 0 1 0 344627218 755822592 183645 33554432000 134512640 135840783 4287759456 4287758816 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 184527 183645 347 325 0 183463 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 738108
[startup+1122.3 s]
/proc/loadavg: 1.99 2.02 2.05 3/175 2979
/proc/meminfo: memFree=25575676/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=760116 CPUtime=1121.92 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 190949 0 0 0 112136 56 0 0 20 0 1 0 344627218 778358784 189157 33554432000 134512640 135840783 4287759456 4287758816 134550872 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 190029 189157 347 325 0 188965 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 760116
[startup+1182.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/175 2979
/proc/meminfo: memFree=25507564/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=795836 CPUtime=1181.91 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 199880 0 0 0 118132 59 0 0 20 0 1 0 344627218 814936064 198088 33554432000 134512640 135840783 4287759456 4287758816 134550820 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 198959 198088 347 325 0 197895 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 795836
[startup+1242.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/175 2979
/proc/meminfo: memFree=25443980/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=828392 CPUtime=1241.9 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 208035 0 0 0 124129 61 0 0 20 0 1 0 344627218 848273408 206243 33554432000 134512640 135840783 4287759456 4287758816 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 207098 206243 347 325 0 206034 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 828392
[startup+1302.3 s]
/proc/loadavg: 1.99 2.00 2.03 3/175 2980
/proc/meminfo: memFree=25373204/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=860052 CPUtime=1301.89 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 215931 0 0 0 130125 64 0 0 20 0 1 0 344627218 880693248 214139 33554432000 134512640 135840783 4287759456 4287758752 134572689 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 215013 214139 347 325 0 213949 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 860052
[startup+1362.3 s]
/proc/loadavg: 1.99 2.00 2.02 3/175 2980
/proc/meminfo: memFree=25300444/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=882496 CPUtime=1361.88 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 221539 0 0 0 136122 66 0 0 20 0 1 0 344627218 903675904 219747 33554432000 134512640 135840783 4287759456 4287758816 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 220624 219747 347 325 0 219560 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 882496
[startup+1422.31 s]
/proc/loadavg: 1.99 2.00 2.02 3/175 2980
/proc/meminfo: memFree=25226568/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=908392 CPUtime=1421.88 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 228010 0 0 0 142120 68 0 0 20 0 1 0 344627218 930193408 226218 33554432000 134512640 135840783 4287759456 4287757268 10092791 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 227098 226218 347 325 0 226034 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 908392
[startup+1482.3 s]
/proc/loadavg: 1.99 2.00 2.01 3/175 2980
/proc/meminfo: memFree=25169704/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=926192 CPUtime=1481.87 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 232456 0 0 0 148117 70 0 0 20 0 1 0 344627218 948420608 230664 33554432000 134512640 135840783 4287759456 4287758768 134551093 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 231548 230664 347 325 0 230484 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 926192
[startup+1542.3 s]
/proc/loadavg: 1.99 2.00 2.01 3/175 2980
/proc/meminfo: memFree=25112540/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=959320 CPUtime=1541.85 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 240747 0 0 0 154113 72 0 0 20 0 1 0 344627218 982343680 238955 33554432000 134512640 135840783 4287759456 4287758816 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 239830 238955 347 325 0 238766 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 959320
[startup+1602.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/176 2984
/proc/meminfo: memFree=25063160/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=986564 CPUtime=1601.85 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 247563 0 0 0 160110 75 0 0 20 0 1 0 344627218 1010241536 245771 33554432000 134512640 135840783 4287759456 4287755696 10097959 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 246641 245771 347 325 0 245577 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 986564
[startup+1662.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/175 2984
/proc/meminfo: memFree=25005012/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=1024496 CPUtime=1661.83 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 257040 0 0 0 166105 78 0 0 20 0 1 0 344627218 1049083904 255248 33554432000 134512640 135840783 4287759456 4287758768 134550902 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 256124 255248 347 325 0 255060 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1024496
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 2984
/proc/meminfo: memFree=24936936/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=1066676 CPUtime=1721.82 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 267605 0 0 0 172100 82 0 0 20 0 1 0 344627218 1092276224 265813 33554432000 134512640 135840783 4287759456 4287758816 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 266669 265813 347 325 0 265605 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1066676
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 2984
/proc/meminfo: memFree=24869356/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=1100208 CPUtime=1781.82 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 275971 0 0 0 178096 86 0 0 20 0 1 0 344627218 1126612992 274179 33554432000 134512640 135840783 4287759456 4287758816 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 275052 274179 347 325 0 273988 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1100208
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.09 2.02 2.01 3/175 2984
/proc/meminfo: memFree=24845424/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=1109452 CPUtime=1800.02 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 278289 0 0 0 179916 86 0 0 20 0 1 0 344627218 1136078848 276497 33554432000 134512640 135840783 4287759456 4287758752 134571472 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 277363 276497 347 325 0 276299 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1109452
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.09 2.02 2.01 3/175 2984
/proc/meminfo: memFree=24845424/32873624 swapFree=7112/7112
[pid=2907] ppid=2905 vsize=1109452 CPUtime=1800.02 cores=1,3,5,7
/proc/2907/stat : 2907 (bsolo3.0.17) R 2905 2907 2813 0 -1 4202496 278289 0 0 0 179916 86 0 0 20 0 1 0 344627218 1136078848 276497 33554432000 134512640 135840783 4287759456 4287758752 134571472 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2907/statm: 277363 276497 347 325 0 276299 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1109452
Child status: 15
Real time (s): 1800.53
CPU time (s): 1800.06
CPU user time (s): 1799.16
CPU system time (s): 0.894863
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 1109452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.16
system time used= 0.894863
maximum resident set size= 1105988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278292
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= 302
involuntary context switches= 1859
runsolver used 3.3005 second user time and 8.74367 second system time
The end