0.00/0.00 c SCIP version 2.0.1.5 [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-3489756-1307792082.opb>
1.39/1.42 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256348 constraints
1.39/1.42 c problem read
1.39/1.42 c presolving settings loaded
1.79/1.89 c presolving:
10.19/10.28 c (round 1) 7831 del vars, 22978 del conss, 0 add conss, 6259 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17298428 impls, 0 clqs
14.49/14.57 c (round 2) 14634 del vars, 53173 del conss, 0 add conss, 12792 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17334919 impls, 0 clqs
15.89/15.93 c (round 3) 17341 del vars, 65884 del conss, 0 add conss, 14381 chg bounds, 39 chg sides, 35 chg coeffs, 0 upgd conss, 17350044 impls, 0 clqs
16.59/16.68 c (round 4) 18543 del vars, 70968 del conss, 0 add conss, 15223 chg bounds, 94 chg sides, 81 chg coeffs, 0 upgd conss, 17360488 impls, 0 clqs
17.19/17.20 c (round 5) 19393 del vars, 74404 del conss, 0 add conss, 15759 chg bounds, 94 chg sides, 81 chg coeffs, 0 upgd conss, 17368617 impls, 0 clqs
17.39/17.49 c (round 6) 19915 del vars, 76733 del conss, 0 add conss, 16063 chg bounds, 94 chg sides, 81 chg coeffs, 0 upgd conss, 17373828 impls, 0 clqs
17.69/17.74 c (round 7) 20248 del vars, 78077 del conss, 0 add conss, 16289 chg bounds, 94 chg sides, 81 chg coeffs, 0 upgd conss, 17377045 impls, 0 clqs
17.89/17.97 c (round 8) 20591 del vars, 79372 del conss, 0 add conss, 16487 chg bounds, 94 chg sides, 81 chg coeffs, 0 upgd conss, 17381195 impls, 0 clqs
18.09/18.15 c (round 9) 20841 del vars, 80437 del conss, 0 add conss, 16631 chg bounds, 94 chg sides, 81 chg coeffs, 0 upgd conss, 17383917 impls, 0 clqs
18.19/18.28 c (round 10) 20995 del vars, 81112 del conss, 0 add conss, 16714 chg bounds, 94 chg sides, 81 chg coeffs, 0 upgd conss, 17385559 impls, 0 clqs
18.29/18.39 c (round 11) 21089 del vars, 81548 del conss, 0 add conss, 16770 chg bounds, 94 chg sides, 81 chg coeffs, 0 upgd conss, 17386657 impls, 0 clqs
18.39/18.47 c (round 12) 21157 del vars, 81826 del conss, 0 add conss, 16805 chg bounds, 94 chg sides, 81 chg coeffs, 0 upgd conss, 17387541 impls, 0 clqs
18.49/18.55 c (round 13) 21193 del vars, 82009 del conss, 0 add conss, 16826 chg bounds, 94 chg sides, 81 chg coeffs, 0 upgd conss, 17387859 impls, 0 clqs
18.60/18.61 c (round 14) 21221 del vars, 82122 del conss, 0 add conss, 16840 chg bounds, 94 chg sides, 81 chg coeffs, 0 upgd conss, 17388305 impls, 0 clqs
18.60/18.68 c (round 15) 21237 del vars, 82207 del conss, 0 add conss, 16848 chg bounds, 94 chg sides, 81 chg coeffs, 0 upgd conss, 17388511 impls, 0 clqs
18.70/18.75 c (round 16) 21249 del vars, 82250 del conss, 0 add conss, 16854 chg bounds, 94 chg sides, 81 chg coeffs, 0 upgd conss, 17388591 impls, 0 clqs
18.79/18.81 c (round 17) 21251 del vars, 82274 del conss, 0 add conss, 16855 chg bounds, 94 chg sides, 81 chg coeffs, 0 upgd conss, 17388607 impls, 0 clqs
19.40/19.48 c (round 18) 21251 del vars, 82276 del conss, 0 add conss, 16855 chg bounds, 94 chg sides, 81 chg coeffs, 174072 upgd conss, 17388607 impls, 0 clqs
20.19/20.20 c (round 19) 21251 del vars, 82279 del conss, 23 add conss, 16855 chg bounds, 138 chg sides, 272 chg coeffs, 174072 upgd conss, 17388607 impls, 0 clqs
855.02/855.02 c (855.0s) probing: 1000/51591 (1.9%) - 0 fixings, 0 aggregations, 14091771 implications, 0 bound changes
1500.63/1500.67 c (1500.7s) probing: 2000/51591 (3.9%) - 0 fixings, 0 aggregations, 22586539 implications, 0 bound changes
1501.13/1501.17 c (1501.2s) probing: 2001/51591 (3.9%) - 0 fixings, 0 aggregations, 22594837 implications, 0 bound changes
1501.13/1501.17 c (1501.2s) probing aborted: 2000/2000 successive useless probings
1501.13/1501.17 c presolving (20 rounds):
1501.13/1501.17 c 21251 deleted vars, 82281 deleted constraints, 25 added constraints, 16855 tightened bounds, 0 added holes, 142 changed sides, 298 changed coefficients
1501.13/1501.17 c 100247159 implications, 0 cliques
1501.13/1501.17 c presolved problem has 51591 variables (51591 bin, 0 int, 0 impl, 0 cont) and 174092 constraints
1501.13/1501.17 c 1134 constraints of type <knapsack>
1501.13/1501.17 c 147463 constraints of type <setppc>
1501.13/1501.17 c 25495 constraints of type <logicor>
1501.13/1501.17 c transformed objective value is always integral (scale: 1)
1501.13/1501.17 c Presolving Time: 1499.40
1501.13/1501.17 c - non default parameters ----------------------------------------------------------------------
1501.13/1501.17 c # SCIP version 2.0.1.5
1501.13/1501.17 c
1501.13/1501.17 c # frequency for displaying node information lines
1501.13/1501.17 c # [type: int, range: [-1,2147483647], default: 100]
1501.13/1501.17 c display/freq = 10000
1501.13/1501.17 c
1501.13/1501.17 c # maximal time in seconds to run
1501.13/1501.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1501.13/1501.17 c limits/time = 1797
1501.13/1501.17 c
1501.13/1501.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1501.13/1501.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1501.13/1501.17 c limits/memory = 13950
1501.13/1501.17 c
1501.13/1501.17 c # default clock type (1: CPU user seconds, 2: wall clock time)
1501.13/1501.17 c # [type: int, range: [1,2], default: 1]
1501.13/1501.17 c timing/clocktype = 2
1501.13/1501.17 c
1501.13/1501.17 c # belongs reading time to solving time?
1501.13/1501.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1501.13/1501.17 c timing/reading = TRUE
1501.13/1501.17 c
1501.13/1501.17 c # should presolving try to simplify inequalities
1501.13/1501.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1501.13/1501.17 c constraints/linear/simplifyinequalities = TRUE
1501.13/1501.17 c
1501.13/1501.17 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1501.13/1501.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1501.13/1501.17 c constraints/indicator/addCouplingCons = TRUE
1501.13/1501.17 c
1501.13/1501.17 c # should presolving try to simplify knapsacks
1501.13/1501.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1501.13/1501.17 c constraints/knapsack/simplifyinequalities = TRUE
1501.13/1501.17 c
1501.13/1501.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1501.13/1501.17 c # [type: int, range: [-1,2147483647], default: -1]
1501.13/1501.17 c separating/rapidlearning/freq = 0
1501.13/1501.17 c
1501.13/1501.17 c -----------------------------------------------------------------------------------------------
1501.13/1501.17 c start solving
1501.23/1501.21 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-3489756-1307792082/watcher-3489756-1307792082 -o /tmp/evaluation-result-3489756-1307792082/solver-3489756-1307792082 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489756-1307792082.opb -t 1800 -m 15500
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: 2.00 2.00 2.00 2/177 26585
/proc/meminfo: memFree=31222448/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=12876 CPUtime=0 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 2179 0 0 0 0 0 0 0 25 0 1 0 890807987 13185024 2133 33554432000 4194304 9016284 140733858707440 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26585/statm: 3219 2139 353 1178 0 2037 0
[startup+0.084649 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 26585
/proc/meminfo: memFree=31222448/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=28908 CPUtime=0.07 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 6229 0 0 0 7 0 0 0 25 0 1 0 890807987 29601792 6183 33554432000 4194304 9016284 140733858707440 18446744073709551615 7870468 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26585/statm: 7227 6183 360 1178 0 6045 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 28908
[startup+0.100642 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 26585
/proc/meminfo: memFree=31222448/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=32392 CPUtime=0.09 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 7098 0 0 0 9 0 0 0 25 0 1 0 890807987 33169408 7052 33554432000 4194304 9016284 140733858707440 18446744073709551615 7870488 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26585/statm: 8098 7052 360 1178 0 6916 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32392
[startup+0.300673 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 26585
/proc/meminfo: memFree=31222448/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=59140 CPUtime=0.29 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 13785 0 0 0 28 1 0 0 25 0 1 0 890807987 60559360 13739 33554432000 4194304 9016284 140733858707440 18446744073709551615 7870448 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26585/statm: 14785 13739 360 1178 0 13603 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59140
[startup+0.700598 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 26585
/proc/meminfo: memFree=31222448/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=88696 CPUtime=0.69 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 21174 0 0 0 67 2 0 0 25 0 1 0 890807987 90824704 21128 33554432000 4194304 9016284 140733858707440 18446744073709551615 4992855 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26585/statm: 22174 21128 360 1178 0 20992 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88696
[startup+1.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26586
/proc/meminfo: memFree=31108392/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=234564 CPUtime=1.49 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 57525 0 0 0 143 6 0 0 25 0 1 0 890807987 240193536 57460 33554432000 4194304 9016284 140733858707440 18446744073709551615 4319583 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 58641 57460 406 1178 0 57459 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 234564
[startup+3.10011 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26586
/proc/meminfo: memFree=30822944/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=516368 CPUtime=3.09 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 126822 0 0 0 295 14 0 0 25 0 1 0 890807987 528760832 126715 33554432000 4194304 9016284 140733858707440 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 129092 126715 485 1178 0 127910 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 516368
[startup+6.30062 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26586
/proc/meminfo: memFree=30558816/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=723932 CPUtime=6.3 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 178286 0 0 0 610 20 0 0 25 0 1 0 890807987 741306368 178179 33554432000 4194304 9016284 140733858707440 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 180983 178179 485 1178 0 179801 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 723932
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26586
/proc/meminfo: memFree=30334764/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=906048 CPUtime=12.69 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 222060 0 0 0 1244 25 0 0 25 0 1 0 890807987 927793152 221686 33554432000 4194304 9016284 140733858707440 18446744073709551615 6481234 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 226512 221686 496 1178 0 225330 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 906048
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26586
/proc/meminfo: memFree=30261468/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=983352 CPUtime=25.49 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 255167 0 0 0 2521 28 0 0 25 0 1 0 890807987 1006952448 240229 33554432000 4194304 9016284 140733858707440 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 245838 240229 550 1178 0 244656 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 983352
[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26587
/proc/meminfo: memFree=30225792/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=1020016 CPUtime=51.09 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 264180 0 0 0 5080 29 0 0 25 0 1 0 890807987 1044496384 249242 33554432000 4194304 9016284 140733858707440 18446744073709551615 4889373 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 255004 249242 550 1178 0 253822 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1020016
[startup+102.307 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 26588
/proc/meminfo: memFree=30150492/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=1098520 CPUtime=102.3 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 282716 0 0 0 10199 31 0 0 25 0 1 0 890807987 1124884480 267778 33554432000 4194304 9016284 140733858707440 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 274630 267778 550 1178 0 273448 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1098520
[startup+162.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 26590
/proc/meminfo: memFree=30018900/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=1232060 CPUtime=162.3 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 316109 0 0 0 16195 35 0 0 25 0 1 0 890807987 1261629440 301171 33554432000 4194304 9016284 140733858707440 18446744073709551615 4926059 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 308015 301171 550 1178 0 306833 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1232060
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26592
/proc/meminfo: memFree=29920404/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=1332308 CPUtime=222.3 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 340534 0 0 0 22192 38 0 0 25 0 1 0 890807987 1364283392 325596 33554432000 4194304 9016284 140733858707440 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 333077 325596 550 1178 0 331895 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1332308
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26593
/proc/meminfo: memFree=29673968/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=1581500 CPUtime=282.3 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 402057 0 0 0 28186 44 0 0 25 0 1 0 890807987 1619456000 387119 33554432000 4194304 9016284 140733858707440 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 395375 387119 550 1178 0 394193 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1581500
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26595
/proc/meminfo: memFree=29521172/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=1734668 CPUtime=342.3 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 439882 0 0 0 34181 49 0 0 25 0 1 0 890807987 1776300032 424944 33554432000 4194304 9016284 140733858707440 18446744073709551615 4875334 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 433667 424944 550 1178 0 432485 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1734668
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26596
/proc/meminfo: memFree=29412272/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=1843172 CPUtime=402.3 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 467008 0 0 0 40178 52 0 0 25 0 1 0 890807987 1887408128 452070 33554432000 4194304 9016284 140733858707440 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 460793 452070 550 1178 0 459611 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1843172
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26598
/proc/meminfo: memFree=29263200/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=1993716 CPUtime=462.3 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 504617 0 0 0 46172 58 0 0 25 0 1 0 890807987 2041565184 489679 33554432000 4194304 9016284 140733858707440 18446744073709551615 6480364 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 498429 489679 550 1178 0 497247 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1993716
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26600
/proc/meminfo: memFree=29143004/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=2111380 CPUtime=522.31 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 534190 0 0 0 52169 62 0 0 25 0 1 0 890807987 2162053120 519252 33554432000 4194304 9016284 140733858707440 18446744073709551615 6479834 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 527845 519252 550 1178 0 526663 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2111380
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26601
/proc/meminfo: memFree=29013124/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=2243952 CPUtime=582.31 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 566471 0 0 0 58165 66 0 0 25 0 1 0 890807987 2297806848 551533 33554432000 4194304 9016284 140733858707440 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 560988 551533 550 1178 0 559806 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2243952
[startup+642.3 s]
################
# More data... #
################
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 787331 0 0 0 106134 98 0 0 25 0 1 0 890807987 3209195520 772393 33554432000 4194304 9016284 140733858707440 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 783495 772393 555 1178 0 782313 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 3133980
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 26654
/proc/meminfo: memFree=27095436/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=3196548 CPUtime=1122.32 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 802992 0 0 0 112132 100 0 0 25 0 1 0 890807987 3273265152 788054 33554432000 4194304 9016284 140733858707440 18446744073709551615 5512315 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 799137 788054 555 1178 0 797955 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3196548
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 26655
/proc/meminfo: memFree=26844308/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=3282544 CPUtime=1182.32 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 824259 0 0 0 118130 102 0 0 25 0 1 0 890807987 3361325056 809321 33554432000 4194304 9016284 140733858707440 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 820636 809321 555 1178 0 819454 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3282544
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 26657
/proc/meminfo: memFree=26628028/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=3351408 CPUtime=1242.32 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 841440 0 0 0 124127 105 0 0 25 0 1 0 890807987 3431841792 826502 33554432000 4194304 9016284 140733858707440 18446744073709551615 6480180 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 837852 826502 555 1178 0 836670 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3351408
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 26658
/proc/meminfo: memFree=26478948/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=3401976 CPUtime=1302.33 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 853909 0 0 0 130126 107 0 0 25 0 1 0 890807987 3483623424 838971 33554432000 4194304 9016284 140733858707440 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 850494 838971 555 1178 0 849312 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3401976
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 26660
/proc/meminfo: memFree=26342524/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=3446388 CPUtime=1362.33 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 865240 0 0 0 136125 108 0 0 25 0 1 0 890807987 3529101312 850302 33554432000 4194304 9016284 140733858707440 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 861597 850302 555 1178 0 860415 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3446388
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 2.00 4/178 26662
/proc/meminfo: memFree=26211420/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=3495456 CPUtime=1422.33 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 878219 0 0 0 142123 110 0 0 25 0 1 0 890807987 3579346944 863281 33554432000 4194304 9016284 140733858707440 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 873864 863281 555 1178 0 872682 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3495456
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 4/178 26663
/proc/meminfo: memFree=26015348/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=3564952 CPUtime=1482.32 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 894311 0 0 0 148120 112 0 0 25 0 1 0 890807987 3650510848 879373 33554432000 4194304 9016284 140733858707440 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 891238 879373 555 1178 0 890056 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 3564952
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 26665
/proc/meminfo: memFree=25618516/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=3894700 CPUtime=1542.33 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 975313 0 0 0 154104 129 0 0 25 0 1 0 890807987 3988172800 954936 33554432000 4194304 9016284 140733858707440 18446744073709551615 7178162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 973675 954936 755 1178 0 972493 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3894700
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 26675
/proc/meminfo: memFree=25531700/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=3916344 CPUtime=1602.33 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 979244 0 0 0 160098 135 0 0 25 0 1 0 890807987 4010336256 958587 33554432000 4194304 9016284 140733858707440 18446744073709551615 7181501 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 979086 958587 735 1178 0 977904 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3916344
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26677
/proc/meminfo: memFree=25379032/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=3928588 CPUtime=1662.34 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 983921 0 0 0 166090 144 0 0 25 0 1 0 890807987 4022874112 962929 33554432000 4194304 9016284 140733858707440 18446744073709551615 7227746 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 982147 962929 726 1178 0 980965 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3928588
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 26679
/proc/meminfo: memFree=25285512/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=3930828 CPUtime=1722.34 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 984784 0 0 0 172086 148 0 0 25 0 1 0 890807987 4025167872 963792 33554432000 4194304 9016284 140733858707440 18446744073709551615 7156476 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 982707 963792 726 1178 0 981525 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3930828
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 26683
/proc/meminfo: memFree=25233872/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=3956360 CPUtime=1782.33 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 989411 0 0 0 178079 154 0 0 25 0 1 0 890807987 4051312640 968414 33554432000 4194304 9016284 140733858707440 18446744073709551615 7124261 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 989090 968414 1120 1178 0 987908 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3956360
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26684
/proc/meminfo: memFree=25220196/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=3956360 CPUtime=1800.04 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 989476 0 0 0 179849 155 0 0 25 0 1 0 890807987 4051312640 968479 33554432000 4194304 9016284 140733858707440 18446744073709551615 7156658 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 989090 968479 1120 1178 0 987908 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3956360
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -26585
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 26685
/proc/meminfo: memFree=25218948/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=3956360 CPUtime=1801.44 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 989479 0 0 0 179989 155 0 0 25 0 1 0 890807987 4051312640 968482 33554432000 4194304 9016284 140733858707440 18446744073709551615 7181447 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 989090 968482 1120 1178 0 987908 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 3956360
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 26685
/proc/meminfo: memFree=25216468/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=3956360 CPUtime=1801.84 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 989479 0 0 0 180029 155 0 0 25 0 1 0 890807987 4051312640 968482 33554432000 4194304 9016284 140733858707440 18446744073709551615 7178120 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 989090 968482 1120 1178 0 987908 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 3956360
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 26685
/proc/meminfo: memFree=25216468/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=3956360 CPUtime=1802.04 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4202496 989479 0 0 0 180049 155 0 0 25 0 1 0 890807987 4051312640 968482 33554432000 4194304 9016284 140733858707440 18446744073709551615 7178120 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26585/statm: 989090 968482 1120 1178 0 987908 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 3956360
[startup+1802.1 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 26685
/proc/meminfo: memFree=25216468/32950904 swapFree=67055440/67111528
[pid=26585] ppid=26583 vsize=0 CPUtime=1802.13 cores=1,3,5,7
/proc/26585/stat : 26585 (scip-2.0.1.4b_2) R 26583 26585 25471 0 -1 4203524 989479 0 0 0 180049 164 0 0 25 0 1 0 890807987 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/26585/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.13
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.15
CPU time (s): 1802.2
CPU user time (s): 1800.5
CPU system time (s): 1.69874
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3956360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.5
system time used= 1.69874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 989479
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= 3
involuntary context switches= 1208
runsolver used 2.93255 second user time and 6.564 second system time
The end