0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 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-3451827-1307119591.opb>
1.79/1.80 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245500 constraints
1.79/1.80 c problem read
1.79/1.80 c presolving settings loaded
2.29/2.32 c presolving:
9.29/9.33 c (round 1) 5471 del vars, 15862 del conss, 0 add conss, 4095 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16790072 impls, 0 clqs
12.00/12.11 c (round 2) 11421 del vars, 39185 del conss, 0 add conss, 9700 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16821114 impls, 0 clqs
12.79/12.87 c (round 3) 13592 del vars, 49337 del conss, 0 add conss, 10884 chg bounds, 17 chg sides, 27 chg coeffs, 0 upgd conss, 16834186 impls, 0 clqs
13.29/13.31 c (round 4) 14648 del vars, 53526 del conss, 0 add conss, 11537 chg bounds, 56 chg sides, 71 chg coeffs, 0 upgd conss, 16842727 impls, 0 clqs
13.59/13.61 c (round 5) 15293 del vars, 56094 del conss, 0 add conss, 11970 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16847799 impls, 0 clqs
13.79/13.81 c (round 6) 15691 del vars, 57702 del conss, 0 add conss, 12214 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16850736 impls, 0 clqs
13.89/13.93 c (round 7) 15877 del vars, 58610 del conss, 0 add conss, 12316 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16852000 impls, 0 clqs
13.99/14.02 c (round 8) 15963 del vars, 59000 del conss, 0 add conss, 12373 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16852452 impls, 0 clqs
14.09/14.10 c (round 9) 16007 del vars, 59224 del conss, 0 add conss, 12409 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16852518 impls, 0 clqs
14.09/14.16 c (round 10) 16009 del vars, 59267 del conss, 0 add conss, 12410 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16852532 impls, 0 clqs
14.89/14.97 c (round 11) 16009 del vars, 59269 del conss, 0 add conss, 12410 chg bounds, 66 chg sides, 94 chg coeffs, 186231 upgd conss, 16852532 impls, 0 clqs
16.19/16.22 c (round 12) 16009 del vars, 59291 del conss, 58 add conss, 12410 chg bounds, 165 chg sides, 360 chg coeffs, 186231 upgd conss, 16852532 impls, 0 clqs
768.11/768.18 c (768.2s) probing: 1000/56833 (1.8%) - 0 fixings, 0 aggregations, 13269339 implications, 0 bound changes
1313.83/1313.86 c (1313.9s) probing: 2000/56833 (3.5%) - 0 fixings, 0 aggregations, 20102037 implications, 0 bound changes
1314.33/1314.30 c (1314.3s) probing: 2001/56833 (3.5%) - 0 fixings, 0 aggregations, 20108109 implications, 0 bound changes
1314.33/1314.30 c (1314.3s) probing aborted: 2000/2000 successive useless probings
1314.33/1314.31 c presolving (13 rounds):
1314.33/1314.31 c 16009 deleted vars, 59301 deleted constraints, 58 added constraints, 12410 tightened bounds, 0 added holes, 165 changed sides, 362 changed coefficients
1314.33/1314.31 c 84975936 implications, 0 cliques
1314.33/1314.31 c presolved problem has 56833 variables (56833 bin, 0 int, 0 impl, 0 cont) and 186257 constraints
1314.33/1314.31 c 1123 constraints of type <knapsack>
1314.33/1314.31 c 157010 constraints of type <setppc>
1314.33/1314.31 c 28124 constraints of type <logicor>
1314.33/1314.31 c transformed objective value is always integral (scale: 1)
1314.33/1314.31 c Presolving Time: 1312.12
1314.33/1314.31 c - non default parameters ----------------------------------------------------------------------
1314.33/1314.31 c # SCIP version 2.0.1.5
1314.33/1314.31 c
1314.33/1314.31 c # frequency for displaying node information lines
1314.33/1314.31 c # [type: int, range: [-1,2147483647], default: 100]
1314.33/1314.31 c display/freq = 10000
1314.33/1314.31 c
1314.33/1314.31 c # maximal time in seconds to run
1314.33/1314.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1314.33/1314.31 c limits/time = 1800
1314.33/1314.31 c
1314.33/1314.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1314.33/1314.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1314.33/1314.31 c limits/memory = 13950
1314.33/1314.31 c
1314.33/1314.31 c # default clock type (1: CPU user seconds, 2: wall clock time)
1314.33/1314.31 c # [type: int, range: [1,2], default: 1]
1314.33/1314.31 c timing/clocktype = 2
1314.33/1314.31 c
1314.33/1314.31 c # belongs reading time to solving time?
1314.33/1314.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1314.33/1314.31 c timing/reading = TRUE
1314.33/1314.31 c
1314.33/1314.31 c # should presolving try to simplify inequalities
1314.33/1314.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1314.33/1314.31 c constraints/linear/simplifyinequalities = TRUE
1314.33/1314.31 c
1314.33/1314.31 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1314.33/1314.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1314.33/1314.31 c constraints/indicator/addCouplingCons = TRUE
1314.33/1314.31 c
1314.33/1314.31 c # should presolving try to simplify knapsacks
1314.33/1314.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1314.33/1314.31 c constraints/knapsack/simplifyinequalities = TRUE
1314.33/1314.31 c
1314.33/1314.31 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1314.33/1314.31 c # [type: int, range: [-1,2147483647], default: -1]
1314.33/1314.31 c separating/rapidlearning/freq = 0
1314.33/1314.31 c
1314.33/1314.31 c -----------------------------------------------------------------------------------------------
1314.33/1314.31 c start solving
1314.33/1314.35 c
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3451827-1307119591/watcher-3451827-1307119591 -o /tmp/evaluation-result-3451827-1307119591/solver-3451827-1307119591 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451827-1307119591.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.00 2.03 2.00 2/424 26159
/proc/meminfo: memFree=22323560/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=14528 CPUtime=0 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 2573 0 0 0 0 0 0 0 25 0 1 0 823557374 14876672 2527 33554432000 4194304 9163163 140736463162448 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26159/statm: 3632 2541 395 1214 0 2414 0
[startup+0.050426 s]
/proc/loadavg: 2.00 2.03 2.00 2/424 26159
/proc/meminfo: memFree=22323560/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=21160 CPUtime=0.04 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 4258 0 0 0 4 0 0 0 25 0 1 0 823557374 21667840 4212 33554432000 4194304 9163163 140736463162448 18446744073709551615 8041869 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26159/statm: 5290 4212 395 1214 0 4072 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21160
[startup+0.100417 s]
/proc/loadavg: 2.00 2.03 2.00 2/424 26159
/proc/meminfo: memFree=22323560/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=29048 CPUtime=0.09 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 6259 0 0 0 9 0 0 0 25 0 1 0 823557374 29745152 6213 33554432000 4194304 9163163 140736463162448 18446744073709551615 7956086 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26159/statm: 7262 6213 395 1214 0 6044 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29048
[startup+0.300369 s]
/proc/loadavg: 2.00 2.03 2.00 2/424 26159
/proc/meminfo: memFree=22323560/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=55656 CPUtime=0.29 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 12905 0 0 0 28 1 0 0 25 0 1 0 823557374 56991744 12859 33554432000 4194304 9163163 140736463162448 18446744073709551615 8041869 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26159/statm: 13914 12859 395 1214 0 12696 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 55656
[startup+0.7003 s]
/proc/loadavg: 2.00 2.03 2.00 2/424 26159
/proc/meminfo: memFree=22323560/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=78328 CPUtime=0.69 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 18565 0 0 0 67 2 0 0 25 0 1 0 823557374 80207872 18519 33554432000 4194304 9163163 140736463162448 18446744073709551615 4338914 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26159/statm: 19582 18519 395 1214 0 18364 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 78328
[startup+1.50119 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 26160
/proc/meminfo: memFree=22229308/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=141844 CPUtime=1.49 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 34380 0 0 0 144 5 0 0 25 0 1 0 823557374 145248256 34334 33554432000 4194304 9163163 140736463162448 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26159/statm: 35461 34367 395 1214 0 34243 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 141844
[startup+3.1009 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 26160
/proc/meminfo: memFree=21988124/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=475432 CPUtime=3.09 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 116389 0 0 0 294 15 0 0 25 0 1 0 823557374 486842368 116322 33554432000 4194304 9163163 140736463162448 18446744073709551615 6562638 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 118858 116322 497 1214 0 117640 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 475432
[startup+6.30032 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 26160
/proc/meminfo: memFree=21651836/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=743000 CPUtime=6.29 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 182448 0 0 0 607 22 0 0 25 0 1 0 823557374 760832000 182381 33554432000 4194304 9163163 140736463162448 18446744073709551615 4352453 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 185750 182381 506 1214 0 184532 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 743000
[startup+12.7012 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 26160
/proc/meminfo: memFree=21437084/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=890280 CPUtime=12.69 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 217826 0 0 0 1242 27 0 0 25 0 1 0 823557374 911646720 217502 33554432000 4194304 9163163 140736463162448 18446744073709551615 6568812 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 222570 217502 518 1214 0 221352 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 890280
[startup+25.5007 s]
/proc/loadavg: 2.07 2.04 2.00 3/425 26160
/proc/meminfo: memFree=21272272/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=1049628 CPUtime=25.49 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 273199 0 0 0 2515 34 0 0 25 0 1 0 823557374 1074819072 255487 33554432000 4194304 9163163 140736463162448 18446744073709551615 6567779 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 262407 255487 629 1214 0 261189 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1049628
[startup+51.1012 s]
/proc/loadavg: 2.05 2.04 2.00 3/425 26161
/proc/meminfo: memFree=21181284/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=1102692 CPUtime=51.1 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 285868 0 0 0 5073 37 0 0 25 0 1 0 823557374 1129156608 268156 33554432000 4194304 9163163 140736463162448 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 275673 268156 629 1214 0 274455 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 1102692
[startup+102.317 s]
/proc/loadavg: 2.07 2.04 2.00 3/425 26162
/proc/meminfo: memFree=20971584/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=1237248 CPUtime=102.31 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 319149 0 0 0 10190 41 0 0 25 0 1 0 823557374 1266941952 301437 33554432000 4194304 9163163 140736463162448 18446744073709551615 5464947 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 309312 301437 629 1214 0 308094 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1237248
[startup+162.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/425 26164
/proc/meminfo: memFree=20765972/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=1352052 CPUtime=162.29 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 348115 0 0 0 16185 44 0 0 25 0 1 0 823557374 1384501248 330403 33554432000 4194304 9163163 140736463162448 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 338013 330403 629 1214 0 336795 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1352052
[startup+222.301 s]
/proc/loadavg: 2.15 2.06 2.01 3/425 26166
/proc/meminfo: memFree=20527864/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=1521628 CPUtime=222.3 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 390127 0 0 0 22180 50 0 0 25 0 1 0 823557374 1558147072 372415 33554432000 4194304 9163163 140736463162448 18446744073709551615 6567779 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 380407 372415 629 1214 0 379189 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1521628
[startup+282.301 s]
/proc/loadavg: 2.11 2.06 2.01 3/425 26167
/proc/meminfo: memFree=20323236/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=1639056 CPUtime=282.3 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 418920 0 0 0 28177 53 0 0 25 0 1 0 823557374 1678393344 401208 33554432000 4194304 9163163 140736463162448 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 409764 401208 629 1214 0 408546 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1639056
[startup+342.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/425 26169
/proc/meminfo: memFree=20073092/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=1836480 CPUtime=342.3 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 467847 0 0 0 34171 59 0 0 25 0 1 0 823557374 1880555520 450135 33554432000 4194304 9163163 140736463162448 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 459120 450135 629 1214 0 457902 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1836480
[startup+402.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/425 26170
/proc/meminfo: memFree=19889408/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=1961528 CPUtime=402.31 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 499391 0 0 0 40167 64 0 0 25 0 1 0 823557374 2008604672 481679 33554432000 4194304 9163163 140736463162448 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 490382 481679 629 1214 0 489164 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1961528
[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 26172
/proc/meminfo: memFree=19599100/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=2159304 CPUtime=462.31 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 548531 0 0 0 46160 71 0 0 25 0 1 0 823557374 2211127296 530819 33554432000 4194304 9163163 140736463162448 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 539826 530819 629 1214 0 538608 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 2159304
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 26174
/proc/meminfo: memFree=19435020/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=2273792 CPUtime=522.31 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 576588 0 0 0 52156 75 0 0 25 0 1 0 823557374 2328363008 558876 33554432000 4194304 9163163 140736463162448 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 568448 558876 629 1214 0 567230 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2273792
[startup+582.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/425 26175
/proc/meminfo: memFree=19281096/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=2364844 CPUtime=582.31 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 598853 0 0 0 58152 79 0 0 25 0 1 0 823557374 2421600256 581141 33554432000 4194304 9163163 140736463162448 18446744073709551615 6567779 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 591211 581141 629 1214 0 589993 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2364844
[startup+642.3 s]
################
# More data... #
################
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 730426 0 0 0 106131 101 0 0 25 0 1 0 823557374 2964254720 712714 33554432000 4194304 9163163 140736463162448 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 723695 712714 633 1214 0 722477 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2894780
[startup+1122.3 s]
/proc/loadavg: 1.04 1.30 1.65 2/419 26220
/proc/meminfo: memFree=23053400/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=2935920 CPUtime=1122.32 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 741221 0 0 0 112130 102 0 0 25 0 1 0 823557374 3006382080 723509 33554432000 4194304 9163163 140736463162448 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 733980 723509 633 1214 0 732762 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2935920
[startup+1182.3 s]
/proc/loadavg: 1.01 1.24 1.61 2/419 26221
/proc/meminfo: memFree=22947244/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=3046560 CPUtime=1182.32 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 767712 0 0 0 118126 106 0 0 25 0 1 0 823557374 3119677440 750000 33554432000 4194304 9163163 140736463162448 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 761640 750000 633 1214 0 760422 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3046560
[startup+1242.3 s]
/proc/loadavg: 1.00 1.19 1.57 2/419 26223
/proc/meminfo: memFree=22912504/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=3081928 CPUtime=1242.33 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 776432 0 0 0 124125 108 0 0 25 0 1 0 823557374 3155894272 758720 33554432000 4194304 9163163 140736463162448 18446744073709551615 4840662 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 770482 758720 633 1214 0 769264 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3081928
[startup+1302.3 s]
/proc/loadavg: 1.00 1.15 1.53 2/419 26224
/proc/meminfo: memFree=22875912/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=3114248 CPUtime=1302.34 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 785186 0 0 0 130125 109 0 0 25 0 1 0 823557374 3188989952 767474 33554432000 4194304 9163163 140736463162448 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 778562 767474 633 1214 0 777344 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 3114248
[startup+1362.3 s]
/proc/loadavg: 1.09 1.15 1.51 2/419 26226
/proc/meminfo: memFree=22568980/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=3458972 CPUtime=1362.34 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 865069 0 0 0 136113 121 0 0 25 0 1 0 823557374 3541987328 844322 33554432000 4194304 9163163 140736463162448 18446744073709551615 7349329 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 864743 844322 929 1214 0 863525 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 3458972
[startup+1422.32 s]
/proc/loadavg: 1.03 1.12 1.47 2/419 26228
/proc/meminfo: memFree=22554460/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=3469580 CPUtime=1422.35 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 868808 0 0 0 142110 125 0 0 25 0 1 0 823557374 3552849920 847884 33554432000 4194304 9163163 140736463162448 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 867395 847884 891 1214 0 866177 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 3469580
[startup+1482.3 s]
/proc/loadavg: 1.01 1.10 1.44 2/419 26229
/proc/meminfo: memFree=22530504/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=3483192 CPUtime=1482.34 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 875232 0 0 0 148105 129 0 0 25 0 1 0 823557374 3566788608 853926 33554432000 4194304 9163163 140736463162448 18446744073709551615 7349023 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 870798 853926 999 1214 0 869580 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3483192
[startup+1542.3 s]
/proc/loadavg: 1.06 1.09 1.41 2/419 26231
/proc/meminfo: memFree=22491428/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=3518740 CPUtime=1542.33 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 885193 0 0 0 154101 132 0 0 25 0 1 0 823557374 3603189760 863521 33554432000 4194304 9163163 140736463162448 18446744073709551615 7349129 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 879685 863521 776 1214 0 878467 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3518740
[startup+1602.3 s]
/proc/loadavg: 1.02 1.07 1.39 2/419 26232
/proc/meminfo: memFree=22485944/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=3524960 CPUtime=1602.34 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 887074 0 0 0 160098 136 0 0 25 0 1 0 823557374 3609559040 865137 33554432000 4194304 9163163 140736463162448 18446744073709551615 7349209 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 881240 865137 816 1214 0 880022 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3524960
[startup+1662.3 s]
/proc/loadavg: 1.01 1.06 1.36 2/419 26234
/proc/meminfo: memFree=22485796/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=3524960 CPUtime=1662.35 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 887104 0 0 0 166098 137 0 0 25 0 1 0 823557374 3609559040 865161 33554432000 4194304 9163163 140736463162448 18446744073709551615 7349105 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 881240 865161 810 1214 0 880022 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 3524960
[startup+1722.3 s]
/proc/loadavg: 1.00 1.05 1.33 2/419 26236
/proc/meminfo: memFree=22485524/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=3524960 CPUtime=1722.35 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 887117 0 0 0 172095 140 0 0 25 0 1 0 823557374 3609559040 865174 33554432000 4194304 9163163 140736463162448 18446744073709551615 7345702 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 881240 865174 810 1214 0 880022 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 3524960
[startup+1782.3 s]
/proc/loadavg: 1.00 1.03 1.31 2/419 26237
/proc/meminfo: memFree=22484756/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=3524960 CPUtime=1782.34 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 887118 0 0 0 178093 141 0 0 25 0 1 0 823557374 3609559040 865175 33554432000 4194304 9163163 140736463162448 18446744073709551615 8041965 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 881240 865175 810 1214 0 880022 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3524960
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.00 1.03 1.30 2/419 26238
/proc/meminfo: memFree=22485492/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=3524960 CPUtime=1800.05 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 887118 0 0 0 179863 142 0 0 25 0 1 0 823557374 3609559040 865175 33554432000 4194304 9163163 140736463162448 18446744073709551615 8041945 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 881240 865175 810 1214 0 880022 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3524960
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -26159
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.03 1.30 2/420 26239
/proc/meminfo: memFree=22484740/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=3524960 CPUtime=1801.44 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 887118 0 0 0 180002 142 0 0 25 0 1 0 823557374 3609559040 865175 33554432000 4194304 9163163 140736463162448 18446744073709551615 7349397 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 881240 865175 810 1214 0 880022 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 3524960
[startup+1801.82 s]
/proc/loadavg: 1.00 1.03 1.30 2/420 26239
/proc/meminfo: memFree=22484864/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=3524960 CPUtime=1801.86 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 887118 0 0 0 180044 142 0 0 25 0 1 0 823557374 3609559040 865175 33554432000 4194304 9163163 140736463162448 18446744073709551615 7348020 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 881240 865175 810 1214 0 880022 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 3524960
[startup+1802 s]
/proc/loadavg: 1.00 1.03 1.30 2/420 26239
/proc/meminfo: memFree=22484864/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=3524960 CPUtime=1802.04 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4202496 887118 0 0 0 180062 142 0 0 25 0 1 0 823557374 3609559040 865175 33554432000 4194304 9163163 140736463162448 18446744073709551615 7346711 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26159/statm: 881240 865175 810 1214 0 880022 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 3524960
[startup+1802.1 s]
/proc/loadavg: 1.00 1.03 1.30 2/420 26239
/proc/meminfo: memFree=22484864/32951124 swapFree=44043512/67111528
[pid=26159] ppid=26157 vsize=0 CPUtime=1802.15 cores=0,2,4,6
/proc/26159/stat : 26159 (scip-2.0.1.4b.l) R 26157 26159 23890 0 -1 4203524 887118 0 0 0 180064 151 0 0 25 0 1 0 823557374 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 0
/proc/26159/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.15
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.17
CPU time (s): 1802.22
CPU user time (s): 1800.64
CPU system time (s): 1.57876
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3524960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.64
system time used= 1.57876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 887118
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= 2
involuntary context switches= 4871
runsolver used 7.82981 second user time and 16.8204 second system time
The end