0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3486304-1307792707.opb>
1.39/1.48 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245560 constraints
1.39/1.48 c problem read
1.39/1.48 c presolving settings loaded
2.39/2.40 c presolving:
11.09/11.18 c (round 1) 6066 del vars, 18342 del conss, 0 add conss, 4585 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16663708 impls, 0 clqs
15.59/15.64 c (round 2) 12611 del vars, 45695 del conss, 0 add conss, 10849 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16699415 impls, 0 clqs
17.10/17.13 c (round 3) 15199 del vars, 57562 del conss, 0 add conss, 12343 chg bounds, 23 chg sides, 42 chg coeffs, 0 upgd conss, 16712911 impls, 0 clqs
18.00/18.02 c (round 4) 16398 del vars, 62418 del conss, 0 add conss, 13161 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16722526 impls, 0 clqs
18.40/18.42 c (round 5) 17032 del vars, 65135 del conss, 0 add conss, 13546 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16727447 impls, 0 clqs
18.70/18.79 c (round 6) 17462 del vars, 66751 del conss, 0 add conss, 13835 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16731175 impls, 0 clqs
19.00/19.02 c (round 7) 17774 del vars, 68085 del conss, 0 add conss, 14016 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16733715 impls, 0 clqs
19.20/19.20 c (round 8) 17954 del vars, 68863 del conss, 0 add conss, 14124 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16735402 impls, 0 clqs
19.30/19.33 c (round 9) 18062 del vars, 69347 del conss, 0 add conss, 14193 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16736544 impls, 0 clqs
19.40/19.45 c (round 10) 18160 del vars, 69740 del conss, 0 add conss, 14253 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16737500 impls, 0 clqs
19.50/19.55 c (round 11) 18214 del vars, 69997 del conss, 0 add conss, 14284 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16738090 impls, 0 clqs
19.60/19.63 c (round 12) 18250 del vars, 70159 del conss, 0 add conss, 14302 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16738464 impls, 0 clqs
19.70/19.71 c (round 13) 18270 del vars, 70255 del conss, 0 add conss, 14312 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16738756 impls, 0 clqs
19.70/19.80 c (round 14) 18284 del vars, 70317 del conss, 0 add conss, 14319 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16738876 impls, 0 clqs
19.80/19.88 c (round 15) 18290 del vars, 70349 del conss, 0 add conss, 14324 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16738920 impls, 0 clqs
19.90/19.94 c (round 16) 18294 del vars, 70369 del conss, 0 add conss, 14324 chg bounds, 44 chg sides, 81 chg coeffs, 0 upgd conss, 16738946 impls, 0 clqs
20.69/20.72 c (round 17) 18294 del vars, 70371 del conss, 0 add conss, 14324 chg bounds, 44 chg sides, 81 chg coeffs, 175189 upgd conss, 16738946 impls, 0 clqs
21.89/21.94 c (round 18) 18294 del vars, 70382 del conss, 34 add conss, 14324 chg bounds, 103 chg sides, 295 chg coeffs, 175189 upgd conss, 16738946 impls, 0 clqs
838.91/838.92 c (838.9s) probing: 1000/54548 (1.8%) - 0 fixings, 0 aggregations, 12344816 implications, 0 bound changes
1535.74/1535.75 c (1535.8s) probing: 2000/54548 (3.7%) - 0 fixings, 0 aggregations, 19495501 implications, 0 bound changes
1536.34/1536.37 c (1536.4s) probing: 2001/54548 (3.7%) - 0 fixings, 0 aggregations, 19504410 implications, 0 bound changes
1536.34/1536.37 c (1536.4s) probing aborted: 2000/2000 successive useless probings
1536.34/1536.38 c presolving (19 rounds):
1536.34/1536.38 c 18294 deleted vars, 70387 deleted constraints, 34 added constraints, 14324 tightened bounds, 0 added holes, 103 changed sides, 299 changed coefficients
1536.34/1536.38 c 92614362 implications, 0 cliques
1536.34/1536.38 c presolved problem has 54548 variables (54548 bin, 0 int, 0 impl, 0 cont) and 175207 constraints
1536.34/1536.38 c 1133 constraints of type <knapsack>
1536.34/1536.38 c 147089 constraints of type <setppc>
1536.34/1536.38 c 26985 constraints of type <logicor>
1536.34/1536.38 c transformed objective value is always integral (scale: 1)
1536.34/1536.38 c Presolving Time: 1534.65
1536.34/1536.38 c - non default parameters ----------------------------------------------------------------------
1536.34/1536.38 c # SCIP version 2.0.1.4
1536.34/1536.38 c
1536.34/1536.38 c # frequency for displaying node information lines
1536.34/1536.38 c # [type: int, range: [-1,2147483647], default: 100]
1536.34/1536.38 c display/freq = 10000
1536.34/1536.38 c
1536.34/1536.38 c # maximal time in seconds to run
1536.34/1536.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1536.34/1536.38 c limits/time = 1797
1536.34/1536.38 c
1536.34/1536.38 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1536.34/1536.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1536.34/1536.38 c limits/memory = 13950
1536.34/1536.38 c
1536.34/1536.38 c # default clock type (1: CPU user seconds, 2: wall clock time)
1536.34/1536.38 c # [type: int, range: [1,2], default: 1]
1536.34/1536.38 c timing/clocktype = 2
1536.34/1536.38 c
1536.34/1536.38 c # belongs reading time to solving time?
1536.34/1536.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1536.34/1536.38 c timing/reading = TRUE
1536.34/1536.38 c
1536.34/1536.38 c # should presolving try to simplify inequalities
1536.34/1536.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1536.34/1536.38 c constraints/linear/simplifyinequalities = TRUE
1536.34/1536.38 c
1536.34/1536.38 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1536.34/1536.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1536.34/1536.38 c constraints/indicator/addCouplingCons = TRUE
1536.34/1536.38 c
1536.34/1536.38 c # should presolving try to simplify knapsacks
1536.34/1536.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1536.34/1536.38 c constraints/knapsack/simplifyinequalities = TRUE
1536.34/1536.38 c
1536.34/1536.38 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1536.34/1536.38 c # [type: int, range: [-1,2147483647], default: -1]
1536.34/1536.38 c separating/rapidlearning/freq = 0
1536.34/1536.38 c
1536.34/1536.38 c -----------------------------------------------------------------------------------------------
1536.34/1536.38 c start solving
1536.44/1536.42 c
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3486304-1307792707/watcher-3486304-1307792707 -o /tmp/evaluation-result-3486304-1307792707/solver-3486304-1307792707 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486304-1307792707.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.00 2.00 4/174 8052
/proc/meminfo: memFree=29550712/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=10156 CPUtime=0 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 1529 0 0 0 0 0 0 0 18 0 1 0 969501238 10399744 1483 33554432000 4194304 8979876 140735264056336 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8052/statm: 2539 1483 366 1169 0 1366 0
[startup+0.0701759 s]
/proc/loadavg: 2.00 2.00 2.00 4/174 8052
/proc/meminfo: memFree=29550712/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=23760 CPUtime=0.06 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 4923 0 0 0 6 0 0 0 18 0 1 0 969501238 24330240 4877 33554432000 4194304 8979876 140735264056336 18446744073709551615 7836068 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8052/statm: 5940 4877 366 1169 0 4767 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 23760
[startup+0.101181 s]
/proc/loadavg: 2.00 2.00 2.00 4/174 8052
/proc/meminfo: memFree=29550712/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=27416 CPUtime=0.09 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 5868 0 0 0 9 0 0 0 18 0 1 0 969501238 28073984 5822 33554432000 4194304 8979876 140735264056336 18446744073709551615 7836078 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8052/statm: 6854 5822 366 1169 0 5681 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27416
[startup+0.301142 s]
/proc/loadavg: 2.00 2.00 2.00 4/174 8052
/proc/meminfo: memFree=29550712/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=50372 CPUtime=0.29 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 11600 0 0 0 28 1 0 0 18 0 1 0 969501238 51580928 11554 33554432000 4194304 8979876 140735264056336 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8052/statm: 12593 11554 366 1169 0 11420 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50372
[startup+0.70107 s]
/proc/loadavg: 2.00 2.00 2.00 4/174 8052
/proc/meminfo: memFree=29550712/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=72736 CPUtime=0.69 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 17182 0 0 0 68 1 0 0 18 0 1 0 969501238 74481664 17136 33554432000 4194304 8979876 140735264056336 18446744073709551615 6441805 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8052/statm: 18184 17136 366 1169 0 17011 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 72736
[startup+1.50093 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8053
/proc/meminfo: memFree=29459344/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=151256 CPUtime=1.49 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 36563 0 0 0 145 4 0 0 20 0 1 0 969501238 154886144 36517 33554432000 4194304 8979876 140735264056336 18446744073709551615 6779003 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 37814 36545 414 1169 0 36641 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 151256
[startup+3.10063 s]
/proc/loadavg: 2.08 2.02 2.01 3/175 8053
/proc/meminfo: memFree=29175384/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=460364 CPUtime=3.09 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 124315 0 0 0 293 16 0 0 25 0 1 0 969501238 471412736 112137 33554432000 4194304 8979876 140735264056336 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 115091 112137 487 1169 0 113918 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 460364
[startup+6.30104 s]
/proc/loadavg: 2.08 2.02 2.01 3/175 8053
/proc/meminfo: memFree=28924372/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=685932 CPUtime=6.29 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 180291 0 0 0 606 23 0 0 25 0 1 0 969501238 702394368 168113 33554432000 4194304 8979876 140735264056336 18446744073709551615 6503305 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 171483 168113 494 1169 0 170310 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 685932
[startup+12.7008 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 8053
/proc/meminfo: memFree=28661884/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=896880 CPUtime=12.69 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 231146 0 0 0 1241 28 0 0 25 0 1 0 969501238 918405120 218368 33554432000 4194304 8979876 140735264056336 18446744073709551615 4460233 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 224220 218368 504 1169 0 223047 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 896880
[startup+25.5005 s]
/proc/loadavg: 2.06 2.01 2.00 3/175 8054
/proc/meminfo: memFree=28576064/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=975024 CPUtime=25.5 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 268846 0 0 0 2517 33 0 0 25 0 1 0 969501238 998424576 237373 33554432000 4194304 8979876 140735264056336 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 243756 237373 672 1169 0 242583 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 975024
[startup+51.1007 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 8054
/proc/meminfo: memFree=28498916/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=1009700 CPUtime=51.08 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 277094 0 0 0 5075 33 0 0 25 0 1 0 969501238 1033932800 245423 33554432000 4194304 8979876 140735264056336 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 252425 245423 672 1169 0 251252 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1009700
[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 8056
/proc/meminfo: memFree=28269872/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=1068104 CPUtime=102.29 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 291550 0 0 0 10195 34 0 0 25 0 1 0 969501238 1093738496 259879 33554432000 4194304 8979876 140735264056336 18446744073709551615 6503525 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 267026 259879 672 1169 0 265853 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1068104
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8057
/proc/meminfo: memFree=28049484/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=1197076 CPUtime=162.29 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 323079 0 0 0 16191 38 0 0 25 0 1 0 969501238 1225805824 291408 33554432000 4194304 8979876 140735264056336 18446744073709551615 4936928 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 299269 291408 672 1169 0 298096 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1197076
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8059
/proc/meminfo: memFree=27822520/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=1286492 CPUtime=222.29 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 345794 0 0 0 22188 41 0 0 25 0 1 0 969501238 1317367808 313727 33554432000 4194304 8979876 140735264056336 18446744073709551615 6617531 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 321623 313727 672 1169 0 320450 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1286492
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8061
/proc/meminfo: memFree=27538032/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=1477184 CPUtime=282.3 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 393785 0 0 0 28182 48 0 0 25 0 1 0 969501238 1512636416 361421 33554432000 4194304 8979876 140735264056336 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 369296 361421 672 1169 0 368123 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1477184
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8062
/proc/meminfo: memFree=27293956/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=1624604 CPUtime=342.29 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 429774 0 0 0 34176 53 0 0 25 0 1 0 969501238 1663594496 397410 33554432000 4194304 8979876 140735264056336 18446744073709551615 4916903 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 406151 397410 672 1169 0 404978 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1624604
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8064
/proc/meminfo: memFree=27072328/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=1776044 CPUtime=402.3 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 467135 0 0 0 40171 59 0 0 25 0 1 0 969501238 1818669056 434606 33554432000 4194304 8979876 140735264056336 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 444011 434606 672 1169 0 442838 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1776044
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8065
/proc/meminfo: memFree=26898696/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=1883576 CPUtime=462.3 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 493956 0 0 0 46169 61 0 0 25 0 1 0 969501238 1928781824 461427 33554432000 4194304 8979876 140735264056336 18446744073709551615 6503464 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 470894 461427 672 1169 0 469721 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1883576
[startup+522.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 8067
/proc/meminfo: memFree=26646188/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=2035992 CPUtime=522.3 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 531485 0 0 0 52163 67 0 0 25 0 1 0 969501238 2084855808 498956 33554432000 4194304 8979876 140735264056336 18446744073709551615 5537688 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 508998 498956 672 1169 0 507825 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2035992
[startup+582.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 8069
/proc/meminfo: memFree=26498964/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=2110628 CPUtime=582.3 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 549810 0 0 0 58160 70 0 0 25 0 1 0 969501238 2161283072 517281 33554432000 4194304 8979876 140735264056336 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 527657 517281 672 1169 0 526484 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2110628
[startup+642.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 8077
/proc/meminfo: memFree=25771136/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=2549788 CPUtime=882.31 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 659233 0 0 0 88144 87 0 0 25 0 1 0 969501238 2610982912 626704 33554432000 4194304 8979876 140735264056336 18446744073709551615 6503507 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 637447 626704 677 1169 0 636274 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2549788
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8078
/proc/meminfo: memFree=25656648/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=2629584 CPUtime=942.31 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 679529 0 0 0 94141 90 0 0 25 0 1 0 969501238 2692694016 647000 33554432000 4194304 8979876 140735264056336 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 657396 647000 677 1169 0 656223 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2629584
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8089
/proc/meminfo: memFree=25484160/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=2764416 CPUtime=1002.32 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 712731 0 0 0 100138 94 0 0 25 0 1 0 969501238 2830761984 680202 33554432000 4194304 8979876 140735264056336 18446744073709551615 6503333 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 691104 680202 677 1169 0 689931 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 2764416
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8090
/proc/meminfo: memFree=25406256/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=2812952 CPUtime=1062.32 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 724338 0 0 0 106137 95 0 0 25 0 1 0 969501238 2880462848 691809 33554432000 4194304 8979876 140735264056336 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 703238 691809 677 1169 0 702065 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2812952
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8092
/proc/meminfo: memFree=25277508/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=2897112 CPUtime=1122.32 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 745414 0 0 0 112134 98 0 0 25 0 1 0 969501238 2966642688 712885 33554432000 4194304 8979876 140735264056336 18446744073709551615 6503529 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 724278 712885 677 1169 0 723105 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2897112
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8094
/proc/meminfo: memFree=24921708/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=2949892 CPUtime=1182.32 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 758299 0 0 0 118132 100 0 0 25 0 1 0 969501238 3020689408 725770 33554432000 4194304 8979876 140735264056336 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 737473 725770 677 1169 0 736300 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2949892
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8095
/proc/meminfo: memFree=24858304/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=2997808 CPUtime=1242.32 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 770350 0 0 0 124129 103 0 0 25 0 1 0 969501238 3069755392 737821 33554432000 4194304 8979876 140735264056336 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 749452 737821 677 1169 0 748279 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2997808
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8097
/proc/meminfo: memFree=24716536/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=3121320 CPUtime=1302.33 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 800994 0 0 0 130126 107 0 0 25 0 1 0 969501238 3196231680 768465 33554432000 4194304 8979876 140735264056336 18446744073709551615 7841522 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 780330 768465 677 1169 0 779157 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3121320
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8098
/proc/meminfo: memFree=24637148/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=3198368 CPUtime=1362.33 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 819812 0 0 0 136123 110 0 0 25 0 1 0 969501238 3275128832 787283 33554432000 4194304 8979876 140735264056336 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 799592 787283 677 1169 0 798419 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3198368
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8100
/proc/meminfo: memFree=24585276/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=3231744 CPUtime=1422.34 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 828464 0 0 0 142122 112 0 0 25 0 1 0 969501238 3309305856 795935 33554432000 4194304 8979876 140735264056336 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 807936 795935 677 1169 0 806763 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3231744
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8102
/proc/meminfo: memFree=24548044/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=3268024 CPUtime=1482.33 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 837853 0 0 0 148120 113 0 0 25 0 1 0 969501238 3346456576 805324 33554432000 4194304 8979876 140735264056336 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 817006 805324 677 1169 0 815833 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3268024
[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 8103
/proc/meminfo: memFree=24231308/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=3622928 CPUtime=1542.34 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 919100 0 0 0 154110 124 0 0 25 0 1 0 969501238 3709878272 884671 33554432000 4194304 8979876 140735264056336 18446744073709551615 7193192 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 905732 884671 738 1169 0 904559 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 3622928
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 8144
/proc/meminfo: memFree=26513872/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=3656248 CPUtime=1602.34 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 930737 0 0 0 160105 129 0 0 25 0 1 0 969501238 3743997952 896008 33554432000 4194304 8979876 140735264056336 18446744073709551615 7147411 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 914062 896008 819 1169 0 912889 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3656248
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 8145
/proc/meminfo: memFree=26359940/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=3676640 CPUtime=1662.34 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 937605 0 0 0 166102 132 0 0 25 0 1 0 969501238 3764879360 902195 33554432000 4194304 8979876 140735264056336 18446744073709551615 7146987 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 919160 902195 854 1169 0 917987 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3676640
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8147
/proc/meminfo: memFree=26234472/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=3692248 CPUtime=1722.34 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 941117 0 0 0 172099 135 0 0 25 0 1 0 969501238 3780861952 905643 33554432000 4194304 8979876 140735264056336 18446744073709551615 7147076 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 923062 905643 790 1169 0 921889 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3692248
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8149
/proc/meminfo: memFree=26032572/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=3692248 CPUtime=1782.34 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 941794 0 0 0 178097 137 0 0 25 0 1 0 969501238 3780861952 906294 33554432000 4194304 8979876 140735264056336 18446744073709551615 7147035 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 923062 906294 796 1169 0 921889 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3692248
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8149
/proc/meminfo: memFree=25930632/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=3715508 CPUtime=1800.05 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4202496 946551 0 0 0 179866 139 0 0 25 0 1 0 969501238 3804680192 910881 33554432000 4194304 8979876 140735264056336 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8052/statm: 928877 910881 781 1169 0 927704 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3715508
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.11 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8149
/proc/meminfo: memFree=25930632/32951124 swapFree=67062556/67111528
[pid=8052] ppid=8050 vsize=0 CPUtime=1800.15 cores=0,2,4,6
/proc/8052/stat : 8052 (scip-2.0.1.4_2.) R 8050 8052 5721 0 -1 4203524 946551 0 0 0 179866 149 0 0 25 0 1 0 969501238 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8052/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.16
CPU time (s): 1800.21
CPU user time (s): 1798.66
CPU system time (s): 1.54776
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3715508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.66
system time used= 1.54776
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 946551
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= 4
involuntary context switches= 4247
runsolver used 3.00854 second user time and 5.82611 second system time
The end