0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3692541-1338046646.opb>
2.09/2.13 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
2.09/2.13 c problem read in 2.13
3.98/4.06 c presolving:
7.70/7.77 c (round 1) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 398809 upgd conss, 67806 impls, 1977 clqs
8.80/8.87 c (round 2) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 67806 impls, 1977 clqs
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-3692541-1338046646/watcher-3692541-1338046646 -o /tmp/evaluation-result-3692541-1338046646/solver-3692541-1338046646 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692541-1338046646.opb -t 1800 -m 15500
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.09 2.02 2.01 3/176 8824
/proc/meminfo: memFree=25092864/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=12880 CPUtime=0 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 1974 0 0 0 0 0 0 0 20 0 1 0 270791983 13189120 1928 33554432000 4194304 10219143 140736972204816 140736402939576 7589947 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 3220 1928 413 1471 0 1740 0
[startup+0.0318931 s]
/proc/loadavg: 2.09 2.02 2.01 3/176 8824
/proc/meminfo: memFree=25092864/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=26748 CPUtime=0.02 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 5426 0 0 0 2 0 0 0 20 0 1 0 270791983 27389952 5380 33554432000 4194304 10219143 140736972204816 140736402939576 5536058 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 6687 5380 421 1471 0 5207 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26748
[startup+0.100369 s]
/proc/loadavg: 2.09 2.02 2.01 3/176 8824
/proc/meminfo: memFree=25092864/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=49636 CPUtime=0.09 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 11166 0 0 0 8 1 0 0 20 0 1 0 270791983 50827264 11120 33554432000 4194304 10219143 140736972204816 140736402939576 7123368 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 12409 11120 421 1471 0 10929 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 49636
[startup+0.300273 s]
/proc/loadavg: 2.09 2.02 2.01 3/176 8824
/proc/meminfo: memFree=25092864/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=94460 CPUtime=0.29 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 22332 0 0 0 26 3 0 0 20 0 1 0 270791983 96727040 22286 33554432000 4194304 10219143 140736972204816 140736402939576 5345804 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 23615 22286 421 1471 0 22135 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 94460
[startup+0.700281 s]
/proc/loadavg: 2.09 2.02 2.01 3/176 8824
/proc/meminfo: memFree=25092864/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=214304 CPUtime=0.69 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 52248 0 0 0 62 7 0 0 20 0 1 0 270791983 219447296 52202 33554432000 4194304 10219143 140736972204816 140736402939576 7123411 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 53576 52202 421 1471 0 52096 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 214304
[startup+1.50028 s]
/proc/loadavg: 2.09 2.02 2.01 3/177 8825
/proc/meminfo: memFree=24797852/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=437804 CPUtime=1.49 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 108038 0 0 0 134 15 0 0 20 0 1 0 270791983 448311296 107992 33554432000 4194304 10219143 140736972204816 140736972069528 7411974 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 109451 107992 421 1471 0 107971 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 437804
[startup+3.10028 s]
/proc/loadavg: 2.16 2.04 2.01 3/177 8825
/proc/meminfo: memFree=24537512/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=1099532 CPUtime=3.09 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 272995 0 0 0 272 37 0 0 20 0 1 0 270791983 1125920768 273420 33554432000 4194304 10219143 140736972204816 140736972200616 5717385 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 274916 273432 483 1471 0 273436 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1099532
[startup+6.30033 s]
/proc/loadavg: 2.16 2.04 2.01 3/177 8825
/proc/meminfo: memFree=23765848/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=1638500 CPUtime=6.29 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 404980 0 0 0 554 75 0 0 20 0 1 0 270791983 1677824000 406101 33554432000 4194304 10219143 140736972204816 140736972201816 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 409625 406101 560 1471 0 408145 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1638500
[startup+12.7003 s]
/proc/loadavg: 2.13 2.04 2.01 3/177 8825
/proc/meminfo: memFree=23204188/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=1904424 CPUtime=12.68 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 493343 0 0 0 1147 121 0 0 20 0 1 0 270791983 1950130176 471979 33554432000 4194304 10219143 140736972204816 140736972200216 8969244 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 476106 471979 612 1471 0 474626 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1904424
[startup+25.5004 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 8825
/proc/meminfo: memFree=23196500/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=1911848 CPUtime=25.49 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 495071 0 0 0 2427 122 0 0 20 0 1 0 270791983 1957732352 473707 33554432000 4194304 10219143 140736972204816 140736972200216 8969254 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 477962 473707 612 1471 0 476482 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1911848
[startup+51.1004 s]
/proc/loadavg: 2.07 2.03 2.01 3/177 8825
/proc/meminfo: memFree=23192012/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=1915496 CPUtime=51.08 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 496055 0 0 0 4986 122 0 0 20 0 1 0 270791983 1961467904 474691 33554432000 4194304 10219143 140736972204816 140736972201192 8969184 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 478874 474691 612 1471 0 477394 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1915496
[startup+102.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 8825
/proc/meminfo: memFree=21792084/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=3347720 CPUtime=102.28 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 826053 0 0 0 10065 163 0 0 20 0 1 0 270791983 3428065280 823204 33554432000 4194304 10219143 140736972204816 140736972199928 8969239 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 836930 823204 612 1471 0 835450 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 3347720
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 8828
/proc/meminfo: memFree=21741952/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=3349768 CPUtime=162.26 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 826777 0 0 0 16063 163 0 0 20 0 1 0 270791983 3430162432 823928 33554432000 4194304 10219143 140736972204816 140736972199928 8969260 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 837442 823928 612 1471 0 835962 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 3349768
[startup+222.307 s]
/proc/loadavg: 2.00 2.01 2.00 4/177 8866
/proc/meminfo: memFree=22511928/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=3349768 CPUtime=222.26 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 827014 0 0 0 22062 164 0 0 20 0 1 0 270791983 3430162432 824223 33554432000 4194304 10219143 140736972204816 140736972199928 8969234 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 837442 824223 612 1471 0 835962 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 3349768
[startup+282.3 s]
/proc/loadavg: 2.07 2.02 2.00 4/177 8867
/proc/meminfo: memFree=22476988/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=3352840 CPUtime=282.25 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 827994 0 0 0 28061 164 0 0 20 0 1 0 270791983 3433308160 825204 33554432000 4194304 10219143 140736972204816 140736972199928 8969285 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 838210 825204 612 1471 0 836730 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 3352840
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 8867
/proc/meminfo: memFree=21106552/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=3352840 CPUtime=342.23 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 828206 0 0 0 34059 164 0 0 20 0 1 0 270791983 3433308160 825582 33554432000 4194304 10219143 140736972204816 140736972199928 8969244 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 838210 825582 612 1471 0 836730 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 3352840
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 4/177 8867
/proc/meminfo: memFree=21102492/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=3353864 CPUtime=402.22 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 828675 0 0 0 40058 164 0 0 20 0 1 0 270791983 3434356736 826050 33554432000 4194304 10219143 140736972204816 140736972199928 8969224 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 838466 826050 612 1471 0 836986 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 3353864
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 8867
/proc/meminfo: memFree=21084416/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=3355720 CPUtime=462.21 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 829361 0 0 0 46057 164 0 0 20 0 1 0 270791983 3436257280 829372 33554432000 4194304 10219143 140736972204816 140736972199928 8969260 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 838930 829372 612 1471 0 837450 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 3355720
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8867
/proc/meminfo: memFree=21080232/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=3355720 CPUtime=522.2 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 829638 0 0 0 52056 164 0 0 20 0 1 0 270791983 3436257280 830213 33554432000 4194304 10219143 140736972204816 140736972199928 8969254 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 838930 830213 612 1471 0 837450 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 3355720
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8868
/proc/meminfo: memFree=21075308/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=3356744 CPUtime=582.2 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 830110 0 0 0 58055 165 0 0 20 0 1 0 270791983 3437305856 830999 33554432000 4194304 10219143 140736972204816 140736972199928 8969234 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 839186 830999 612 1471 0 837706 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 3356744
[startup+642.3 s]
################
# More data... #
################
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 833638 0 0 0 100047 165 0 0 20 0 1 0 270791983 3447070720 838060 33554432000 4194304 10219143 140736972204816 140736972199928 8969234 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 841570 838060 612 1471 0 840090 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 3366280
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8872
/proc/meminfo: memFree=21030344/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=3368136 CPUtime=1062.11 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 834132 0 0 0 106046 165 0 0 20 0 1 0 270791983 3448971264 838554 33554432000 4194304 10219143 140736972204816 140736972199928 8969254 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 842034 838554 612 1471 0 840554 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 3368136
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8872
/proc/meminfo: memFree=21027772/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=3368136 CPUtime=1122.1 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 834163 0 0 0 112045 165 0 0 20 0 1 0 270791983 3448971264 838585 33554432000 4194304 10219143 140736972204816 140736972199928 8969234 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 842034 838585 612 1471 0 840554 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 3368136
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8872
/proc/meminfo: memFree=21022964/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=3370184 CPUtime=1182.09 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 834703 0 0 0 118044 165 0 0 20 0 1 0 270791983 3451068416 839125 33554432000 4194304 10219143 140736972204816 140736972199928 8969275 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 842546 839125 612 1471 0 841066 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 3370184
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8873
/proc/meminfo: memFree=21020964/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=3371208 CPUtime=1242.08 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 834988 0 0 0 124043 165 0 0 20 0 1 0 270791983 3452116992 839485 33554432000 4194304 10219143 140736972204816 140736972199928 8969229 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 842802 839485 612 1471 0 841322 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 3371208
[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 8873
/proc/meminfo: memFree=21019844/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=3371208 CPUtime=1302.08 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 835016 0 0 0 130043 165 0 0 20 0 1 0 270791983 3452116992 839513 33554432000 4194304 10219143 140736972204816 140736972199928 8969229 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 842802 839513 612 1471 0 841322 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 3371208
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 8876
/proc/meminfo: memFree=21014952/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=3373064 CPUtime=1362.07 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 835510 0 0 0 136042 165 0 0 20 0 1 0 270791983 3454017536 840006 33554432000 4194304 10219143 140736972204816 140736972199928 8969234 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 843266 840006 612 1471 0 841786 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 3373064
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 8899
/proc/meminfo: memFree=21011660/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=3374088 CPUtime=1422.07 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 835795 0 0 0 142041 166 0 0 20 0 1 0 270791983 3455066112 840291 33554432000 4194304 10219143 140736972204816 140736972199928 8969234 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 843522 840291 612 1471 0 842042 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 3374088
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8899
/proc/meminfo: memFree=21010704/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=3375112 CPUtime=1482.05 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 836083 0 0 0 148039 166 0 0 20 0 1 0 270791983 3456114688 840579 33554432000 4194304 10219143 140736972204816 140736972199928 8969224 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 843778 840579 612 1471 0 842298 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 3375112
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8900
/proc/meminfo: memFree=21006148/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=3376136 CPUtime=1542.05 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 836366 0 0 0 154039 166 0 0 20 0 1 0 270791983 3457163264 841166 33554432000 4194304 10219143 140736972204816 140736972199928 8969191 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 844034 841166 612 1471 0 842554 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 3376136
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8900
/proc/meminfo: memFree=21002468/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=3376968 CPUtime=1602.03 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 836602 0 0 0 160037 166 0 0 20 0 1 0 270791983 3458015232 841689 33554432000 4194304 10219143 140736972204816 140736972199928 8969229 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 844242 841689 612 1471 0 842762 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 3376968
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 8900
/proc/meminfo: memFree=20999768/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=3379016 CPUtime=1662.02 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 837143 0 0 0 166036 166 0 0 20 0 1 0 270791983 3460112384 842230 33554432000 4194304 10219143 140736972204816 140736972199928 8969239 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 844754 842230 612 1471 0 843274 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 3379016
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 8900
/proc/meminfo: memFree=20997072/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=3379016 CPUtime=1722.01 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 837172 0 0 0 172035 166 0 0 20 0 1 0 270791983 3460112384 842258 33554432000 4194304 10219143 140736972204816 140736972199928 8969290 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 844754 842258 612 1471 0 843274 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 3379016
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8900
/proc/meminfo: memFree=20995676/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=3379016 CPUtime=1782 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 837204 0 0 0 178034 166 0 0 20 0 1 0 270791983 3460112384 842331 33554432000 4194304 10219143 140736972204816 140736972199928 8969260 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 844754 842331 612 1471 0 843274 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 3379016
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.06 2.02 2.00 4/176 8900
/proc/meminfo: memFree=20994784/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=3379016 CPUtime=1800.01 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 837213 0 0 0 179835 166 0 0 20 0 1 0 270791983 3460112384 842340 33554432000 4194304 10219143 140736972204816 140736972199928 8969229 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 844754 842340 612 1471 0 843274 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3379016
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -8824
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 8901
/proc/meminfo: memFree=20993668/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=3380040 CPUtime=1801.2 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 837469 0 0 0 179954 166 0 0 20 0 1 0 270791983 3461160960 842596 33554432000 4194304 10219143 140736972204816 140736972199928 8969239 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 845010 842596 612 1471 0 843530 0
Current children cumulated CPU time (s) 1801.2
Current children cumulated vsize (KiB) 3380040
[startup+1801.91 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 8902
/proc/meminfo: memFree=20993412/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=3380040 CPUtime=1801.61 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 837469 0 0 0 179995 166 0 0 20 0 1 0 270791983 3461160960 842596 33554432000 4194304 10219143 140736972204816 140736972199928 8969249 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 845010 842596 612 1471 0 843530 0
Current children cumulated CPU time (s) 1801.61
Current children cumulated vsize (KiB) 3380040
[startup+1802.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 8902
/proc/meminfo: memFree=20993412/32873648 swapFree=6336/6336
[pid=8824] ppid=8822 vsize=3380040 CPUtime=1802 cores=0,2,4,6
/proc/8824/stat : 8824 (scip-2.1.1.4exp) R 8822 8824 5668 0 -1 4202496 837469 0 0 0 180034 166 0 0 20 0 1 0 270791983 3461160960 842596 33554432000 4194304 10219143 140736972204816 140736972199928 8969234 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8824/statm: 845010 842596 612 1471 0 843530 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 3380040
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.36
CPU time (s): 1802.07
CPU user time (s): 1800.35
CPU system time (s): 1.72074
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 3380040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.35
system time used= 1.72074
maximum resident set size= 3370384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 837469
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= 29
involuntary context switches= 2005
runsolver used 4.27335 second user time and 11.1353 second system time
The end