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-3451884-1307120288.opb>
1.39/1.44 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 192642 constraints
1.39/1.44 c problem read
1.39/1.44 c presolving settings loaded
1.79/1.85 c presolving:
7.28/7.33 c (round 1) 5258 del vars, 15137 del conss, 0 add conss, 4119 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13045962 impls, 0 clqs
8.98/9.03 c (round 2) 9801 del vars, 35276 del conss, 0 add conss, 8230 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13073990 impls, 0 clqs
9.48/9.51 c (round 3) 11395 del vars, 42773 del conss, 0 add conss, 9216 chg bounds, 11 chg sides, 17 chg coeffs, 0 upgd conss, 13087247 impls, 0 clqs
9.68/9.79 c (round 4) 12289 del vars, 46525 del conss, 0 add conss, 9794 chg bounds, 26 chg sides, 48 chg coeffs, 0 upgd conss, 13094118 impls, 0 clqs
9.90/9.98 c (round 5) 12958 del vars, 49215 del conss, 0 add conss, 10179 chg bounds, 31 chg sides, 58 chg coeffs, 0 upgd conss, 13102649 impls, 0 clqs
10.08/10.13 c (round 6) 13448 del vars, 51073 del conss, 0 add conss, 10455 chg bounds, 31 chg sides, 58 chg coeffs, 0 upgd conss, 13108298 impls, 0 clqs
10.18/10.25 c (round 7) 13743 del vars, 52389 del conss, 0 add conss, 10635 chg bounds, 31 chg sides, 58 chg coeffs, 0 upgd conss, 13111388 impls, 0 clqs
10.28/10.34 c (round 8) 13932 del vars, 53170 del conss, 0 add conss, 10739 chg bounds, 31 chg sides, 58 chg coeffs, 0 upgd conss, 13113811 impls, 0 clqs
10.38/10.40 c (round 9) 14020 del vars, 53654 del conss, 0 add conss, 10786 chg bounds, 31 chg sides, 58 chg coeffs, 0 upgd conss, 13114888 impls, 0 clqs
10.38/10.46 c (round 10) 14080 del vars, 53904 del conss, 0 add conss, 10825 chg bounds, 31 chg sides, 58 chg coeffs, 0 upgd conss, 13115280 impls, 0 clqs
10.48/10.51 c (round 11) 14104 del vars, 54040 del conss, 0 add conss, 10840 chg bounds, 31 chg sides, 58 chg coeffs, 0 upgd conss, 13115361 impls, 0 clqs
10.48/10.56 c (round 12) 14106 del vars, 54081 del conss, 0 add conss, 10841 chg bounds, 31 chg sides, 58 chg coeffs, 0 upgd conss, 13115365 impls, 0 clqs
11.09/11.16 c (round 13) 14106 del vars, 54085 del conss, 0 add conss, 10841 chg bounds, 31 chg sides, 58 chg coeffs, 138557 upgd conss, 13115365 impls, 0 clqs
11.89/11.94 c (round 14) 14106 del vars, 54089 del conss, 10 add conss, 10841 chg bounds, 45 chg sides, 198 chg coeffs, 138557 upgd conss, 13115365 impls, 0 clqs
495.88/495.94 c (495.9s) probing: 1000/40676 (2.5%) - 5 fixings, 1 aggregations, 11304006 implications, 0 bound changes
899.38/899.43 c (899.4s) probing: 2000/40676 (4.9%) - 5 fixings, 1 aggregations, 18408278 implications, 0 bound changes
980.37/980.47 c (980.5s) probing: 2185/40676 (5.4%) - 5 fixings, 1 aggregations, 19715817 implications, 0 bound changes
980.37/980.47 c (980.5s) probing aborted: 2000/2000 successive useless probings
980.37/980.47 c (round 15) 14112 del vars, 54090 del conss, 11 add conss, 10841 chg bounds, 47 chg sides, 217 chg coeffs, 138557 upgd conss, 79708249 impls, 0 clqs
980.87/980.98 c (round 16) 14112 del vars, 54371 del conss, 11 add conss, 10841 chg bounds, 47 chg sides, 326 chg coeffs, 138557 upgd conss, 79708249 impls, 0 clqs
1128.17/1128.29 c (round 17) 14162 del vars, 54371 del conss, 11 add conss, 10841 chg bounds, 47 chg sides, 326 chg coeffs, 138557 upgd conss, 84382167 impls, 0 clqs
1132.07/1132.14 c (round 18) 14172 del vars, 54570 del conss, 11 add conss, 10841 chg bounds, 47 chg sides, 326 chg coeffs, 138557 upgd conss, 84580861 impls, 0 clqs
1292.78/1292.89 c (1292.9s) probing: 3000/40676 (7.4%) - 52 fixings, 20 aggregations, 24937648 implications, 0 bound changes
1735.81/1735.85 c (1735.8s) probing: 4000/40676 (9.8%) - 56 fixings, 24 aggregations, 35902495 implications, 0 bound changes
1799.99/1800.07 c (1800.1s) probing: 4145/40676 (10.2%) - 58 fixings, 24 aggregations, 37665217 implications, 0 bound changes
1799.99/1800.07 c (1800.1s) probing aborted: solving stopped
1799.99/1800.07 c (round 19) 14198 del vars, 54579 del conss, 11 add conss, 10841 chg bounds, 47 chg sides, 326 chg coeffs, 138557 upgd conss, 131405421 impls, 0 clqs
1799.99/1800.07 c presolving (19 rounds):
1799.99/1800.07 c 14198 deleted vars, 54579 deleted constraints, 11 added constraints, 10841 tightened bounds, 0 added holes, 47 changed sides, 326 changed coefficients
1799.99/1800.07 c 131405421 implications, 0 cliques
1799.99/1800.07 c presolving was interrupted.
1799.99/1800.07 c Presolving Time: 1798.33
1799.99/1800.07 c - non default parameters ----------------------------------------------------------------------
1799.99/1800.07 c # SCIP version 2.0.1.5
1799.99/1800.07 c
1799.99/1800.07 c # frequency for displaying node information lines
1799.99/1800.07 c # [type: int, range: [-1,2147483647], default: 100]
1799.99/1800.07 c display/freq = 10000
1799.99/1800.07 c
1799.99/1800.07 c # maximal time in seconds to run
1799.99/1800.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1799.99/1800.07 c limits/time = 1800
1799.99/1800.07 c
1799.99/1800.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1799.99/1800.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1799.99/1800.07 c limits/memory = 13950
1799.99/1800.07 c
1799.99/1800.07 c # default clock type (1: CPU user seconds, 2: wall clock time)
1799.99/1800.07 c # [type: int, range: [1,2], default: 1]
1799.99/1800.07 c timing/clocktype = 2
1799.99/1800.07 c
1799.99/1800.07 c # belongs reading time to solving time?
1799.99/1800.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1799.99/1800.07 c timing/reading = TRUE
1799.99/1800.07 c
1799.99/1800.07 c # should presolving try to simplify inequalities
1799.99/1800.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1799.99/1800.07 c constraints/linear/simplifyinequalities = TRUE
1799.99/1800.07 c
1799.99/1800.07 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1799.99/1800.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1799.99/1800.07 c constraints/indicator/addCouplingCons = TRUE
1799.99/1800.07 c
1799.99/1800.07 c # should presolving try to simplify knapsacks
1799.99/1800.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1799.99/1800.07 c constraints/knapsack/simplifyinequalities = TRUE
1799.99/1800.07 c
1799.99/1800.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1799.99/1800.07 c # [type: int, range: [-1,2147483647], default: -1]
1799.99/1800.07 c separating/rapidlearning/freq = 0
1799.99/1800.07 c
1799.99/1800.07 c -----------------------------------------------------------------------------------------------
1799.99/1800.07 c start solving
1800.09/1800.10 c presolving:
1800.09/1800.10 c presolving (19 rounds):
1800.09/1800.10 c 14198 deleted vars, 54579 deleted constraints, 11 added constraints, 10841 tightened bounds, 0 added holes, 47 changed sides, 326 changed coefficients
1800.09/1800.10 c 131405421 implications, 0 cliques
1800.09/1800.10 c presolving was interrupted.
1800.09/1800.10 c Presolving Time: 1798.36
1800.09/1800.10 c
1800.09/1800.10 c SCIP Status : solving was interrupted [time limit reached]
1800.09/1800.10 c Solving Time (sec) : 1800.09
1800.09/1800.10 c Solving Nodes : 0
1800.09/1800.10 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.09/1800.10 s UNKNOWN
1800.09/1800.10 c SCIP Status : solving was interrupted [time limit reached]
1800.09/1800.10 c Total Time : 1800.09
1800.09/1800.10 c solving : 1800.09
1800.09/1800.10 c presolving : 1798.36 (included in solving)
1800.09/1800.10 c reading : 1.44 (included in solving)
1800.09/1800.10 c Original Problem :
1800.09/1800.10 c Problem name : HOME/instance-3451884-1307120288.opb
1800.09/1800.10 c Variables : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.10 c Constraints : 192642 initial, 192642 maximal
1800.09/1800.10 c Presolved Problem :
1800.09/1800.10 c Problem name : t_HOME/instance-3451884-1307120288.opb
1800.09/1800.10 c Variables : 40584 (40584 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.10 c Constraints : 138074 initial, 138074 maximal
1800.09/1800.10 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.09/1800.10 c trivial : 0.05 683 0 0 0 0 0 0 0 0
1800.09/1800.10 c dualfix : 0.06 90 0 0 0 0 0 0 0 0
1800.09/1800.10 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.09/1800.10 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.09/1800.10 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.09/1800.10 c implics : 4.12 0 9 0 0 0 0 0 0 0
1800.09/1800.10 c probing : 1782.79 58 24 0 0 0 0 0 0 0
1800.09/1800.10 c knapsack : 1.79 0 0 0 0 0 0 11 16 268
1800.09/1800.10 c setppc : 0.45 1 0 0 0 0 486 0 0 0
1800.09/1800.10 c linear : 8.67 10158 3175 0 10841 0 54085 0 31 58
1800.09/1800.10 c logicor : 0.10 0 0 0 0 0 8 0 0 0
1800.09/1800.10 c root node : - 0 - - 0 - - - - -
1800.09/1800.10 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.09/1800.10 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1800.09/1800.10 c knapsack : 0+ 0 183335 0 0 0 0 19 0 0 0 0
1800.09/1800.10 c setppc : 0+ 0 183316 0 0 0 0 19 0 0 0 0
1800.09/1800.10 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1800.09/1800.10 c logicor : 0+ 0 168136 0 0 0 0 12 0 0 0 0
1800.09/1800.10 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.09/1800.10 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.09/1800.10 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.09/1800.10 c knapsack : 12.04 0.00 12.04 0.00 0.00 0.00 0.00
1800.09/1800.10 c setppc : 746.22 0.00 746.22 0.00 0.00 0.00 0.00
1800.09/1800.10 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.09/1800.10 c logicor : 14.59 0.00 14.59 0.00 0.00 0.00 0.00
1800.09/1800.10 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.09/1800.10 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.09/1800.10 c vbounds : 0 0 0 0
1800.09/1800.10 c rootredcost : 0 0 0 0
1800.09/1800.10 c pseudoobj : 0 0 0 0
1800.09/1800.10 c Propagator Timings : TotalTime Propagate Resprop
1800.09/1800.10 c vbounds : 0.07 0.07 0.00
1800.09/1800.10 c rootredcost : 0.04 0.04 0.00
1800.09/1800.10 c pseudoobj : 0.03 0.03 0.00
1800.09/1800.10 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.10 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.09/1800.10 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.10 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.10 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.10 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.09/1800.10 c applied globally : - - - 0 0.0 - - -
1800.09/1800.10 c applied locally : - - - 0 0.0 - - -
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-3451884-1307120288/watcher-3451884-1307120288 -o /tmp/evaluation-result-3451884-1307120288/solver-3451884-1307120288 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451884-1307120288.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.02 2.00 3/495 12543
/proc/meminfo: memFree=29087964/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=14140 CPUtime=0 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 2505 0 0 0 0 0 0 0 25 0 1 0 823628434 14479360 2459 33554432000 4194304 9163163 140737042865344 18446744073709551615 4338914 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12543/statm: 3535 2459 395 1214 0 2317 0
[startup+0.064598 s]
/proc/loadavg: 2.00 2.02 2.00 3/495 12543
/proc/meminfo: memFree=29087964/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=23340 CPUtime=0.05 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 4806 0 0 0 5 0 0 0 25 0 1 0 823628434 23900160 4760 33554432000 4194304 9163163 140737042865344 18446744073709551615 6165676 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12543/statm: 5835 4760 395 1214 0 4617 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 23340
[startup+0.100581 s]
/proc/loadavg: 2.00 2.02 2.00 3/495 12543
/proc/meminfo: memFree=29087964/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=28804 CPUtime=0.09 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 6200 0 0 0 9 0 0 0 25 0 1 0 823628434 29495296 6154 33554432000 4194304 9163163 140737042865344 18446744073709551615 6922706 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12543/statm: 7201 6154 395 1214 0 5983 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28804
[startup+0.30056 s]
/proc/loadavg: 2.00 2.02 2.00 3/495 12543
/proc/meminfo: memFree=29087964/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=48364 CPUtime=0.29 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 11076 0 0 0 28 1 0 0 25 0 1 0 823628434 49524736 11030 33554432000 4194304 9163163 140737042865344 18446744073709551615 8041859 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12543/statm: 12091 11030 395 1214 0 10873 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48364
[startup+0.700485 s]
/proc/loadavg: 2.00 2.02 2.00 3/495 12543
/proc/meminfo: memFree=29087964/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=70844 CPUtime=0.68 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 16684 0 0 0 67 1 0 0 25 0 1 0 823628434 72544256 16638 33554432000 4194304 9163163 140737042865344 18446744073709551615 7985494 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12543/statm: 17711 16638 395 1214 0 16493 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 70844
[startup+1.50035 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12550
/proc/meminfo: memFree=28901672/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=176720 CPUtime=1.49 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 43061 0 0 0 144 5 0 0 25 0 1 0 823628434 180961280 42995 33554432000 4194304 9163163 140737042865344 18446744073709551615 4216762 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12543/statm: 44180 42995 432 1214 0 42962 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 176720
[startup+3.10105 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12550
/proc/meminfo: memFree=28425388/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=432880 CPUtime=3.09 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 106255 0 0 0 297 12 0 0 25 0 1 0 823628434 443269120 106162 33554432000 4194304 9163163 140737042865344 18446744073709551615 4352503 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12543/statm: 108220 106162 506 1214 0 107002 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 432880
[startup+6.30055 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12550
/proc/meminfo: memFree=27862516/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=662756 CPUtime=6.29 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 161718 0 0 0 610 19 0 0 25 0 1 0 823628434 678662144 161625 33554432000 4194304 9163163 140737042865344 18446744073709551615 6567692 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12543/statm: 165689 161625 506 1214 0 164471 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 662756
[startup+12.7005 s]
/proc/loadavg: 2.23 2.06 2.02 3/499 12550
/proc/meminfo: memFree=27603780/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=764332 CPUtime=12.68 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 196740 0 0 0 1246 22 0 0 25 0 1 0 823628434 782675968 186226 33554432000 4194304 9163163 140737042865344 18446744073709551615 6567511 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12543/statm: 191083 186226 656 1214 0 189865 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 764332
[startup+25.5003 s]
/proc/loadavg: 2.19 2.06 2.01 3/499 12552
/proc/meminfo: memFree=27494420/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=818956 CPUtime=25.49 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 209382 0 0 0 2524 25 0 0 25 0 1 0 823628434 838610944 198868 33554432000 4194304 9163163 140737042865344 18446744073709551615 4794556 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12543/statm: 204739 198868 656 1214 0 203521 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 818956
[startup+51.101 s]
/proc/loadavg: 2.12 2.06 2.01 3/499 12552
/proc/meminfo: memFree=27344876/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=887796 CPUtime=51.09 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 226320 0 0 0 5082 27 0 0 25 0 1 0 823628434 909103104 215806 33554432000 4194304 9163163 140737042865344 18446744073709551615 6567530 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12543/statm: 221949 215806 656 1214 0 220731 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 887796
[startup+102.319 s]
/proc/loadavg: 2.05 2.04 2.01 3/499 12554
/proc/meminfo: memFree=27078024/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=1015352 CPUtime=102.31 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 257726 0 0 0 10200 31 0 0 25 0 1 0 823628434 1039720448 247212 33554432000 4194304 9163163 140737042865344 18446744073709551615 6568812 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12543/statm: 253838 247212 656 1214 0 252620 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1015352
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 12554
/proc/meminfo: memFree=26607312/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=1258180 CPUtime=162.29 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 318087 0 0 0 16191 38 0 0 25 0 1 0 823628434 1288376320 307573 33554432000 4194304 9163163 140737042865344 18446744073709551615 6567025 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12543/statm: 314545 307573 656 1214 0 313327 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1258180
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12565
/proc/meminfo: memFree=26103108/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=1520096 CPUtime=222.27 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 383204 0 0 0 22181 46 0 0 25 0 1 0 823628434 1556578304 372690 33554432000 4194304 9163163 140737042865344 18446744073709551615 4794304 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12543/statm: 380024 372690 656 1214 0 378806 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 1520096
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12567
/proc/meminfo: memFree=25657936/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=1745224 CPUtime=282.27 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 439169 0 0 0 28174 53 0 0 25 0 1 0 823628434 1787109376 428655 33554432000 4194304 9163163 140737042865344 18446744073709551615 6567530 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12543/statm: 436306 428656 656 1214 0 435088 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 1745224
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 12569
/proc/meminfo: memFree=25320148/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=1969084 CPUtime=342.28 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 494763 0 0 0 34168 60 0 0 25 0 1 0 823628434 2016342016 484249 33554432000 4194304 9163163 140737042865344 18446744073709551615 6555941 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12543/statm: 492271 484249 656 1214 0 491053 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 1969084
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 12571
/proc/meminfo: memFree=24989552/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=2129892 CPUtime=402.27 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 535192 0 0 0 40162 65 0 0 25 0 1 0 823628434 2181009408 524678 33554432000 4194304 9163163 140737042865344 18446744073709551615 5459278 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12543/statm: 532473 524678 656 1214 0 531255 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 2129892
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 12571
/proc/meminfo: memFree=24707684/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=2292224 CPUtime=462.28 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 574312 0 0 0 46156 72 0 0 25 0 1 0 823628434 2347237376 563798 33554432000 4194304 9163163 140737042865344 18446744073709551615 6567515 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12543/statm: 573056 563798 656 1214 0 571838 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 2292224
[startup+522.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/499 12576
/proc/meminfo: memFree=24499608/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=2439800 CPUtime=522.28 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 611391 0 0 0 52146 82 0 0 25 0 1 0 823628434 2498355200 600877 33554432000 4194304 9163163 140737042865344 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12543/statm: 609950 600877 660 1214 0 608732 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 2439800
[startup+582.3 s]
/proc/loadavg: 2.22 2.07 2.02 3/499 12578
/proc/meminfo: memFree=24363948/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=2503544 CPUtime=582.28 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 627753 0 0 0 58143 85 0 0 25 0 1 0 823628434 2563629056 617239 33554432000 4194304 9163163 140737042865344 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12543/statm: 625886 617239 660 1214 0 624668 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 2503544
[startup+642.3 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12586
/proc/meminfo: memFree=23501108/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=2864140 CPUtime=882.29 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 718222 0 0 0 88129 100 0 0 25 0 1 0 823628434 2932879360 707708 33554432000 4194304 9163163 140737042865344 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12543/statm: 716035 707708 660 1214 0 714817 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 2864140
[startup+942.301 s]
/proc/loadavg: 2.13 2.04 2.01 3/499 12615
/proc/meminfo: memFree=25395336/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=2946908 CPUtime=942.27 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 738021 0 0 0 94116 111 0 0 25 0 1 0 823628434 3017633792 727507 33554432000 4194304 9163163 140737042865344 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12543/statm: 736727 727507 660 1214 0 735509 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 2946908
[startup+1002.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/499 12617
/proc/meminfo: memFree=25138564/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=3014376 CPUtime=1002.27 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 756847 0 0 0 100110 117 0 0 25 0 1 0 823628434 3086721024 746333 33554432000 4194304 9163163 140737042865344 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12543/statm: 753594 746333 660 1214 0 752376 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 3014376
[startup+1062.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/499 12617
/proc/meminfo: memFree=24851888/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=3087848 CPUtime=1062.27 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 774584 0 0 0 106107 120 0 0 25 0 1 0 823628434 3161956352 764070 33554432000 4194304 9163163 140737042865344 18446744073709551615 6567530 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12543/statm: 771962 764070 660 1214 0 770744 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 3087848
[startup+1122.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/499 12619
/proc/meminfo: memFree=24619372/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=3119668 CPUtime=1122.27 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 781928 0 0 0 112106 121 0 0 25 0 1 0 823628434 3194540032 771414 33554432000 4194304 9163163 140737042865344 18446744073709551615 6567779 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12543/statm: 779917 771414 660 1214 0 778699 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 3119668
[startup+1182.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/499 12621
/proc/meminfo: memFree=24397016/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=3188476 CPUtime=1182.28 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 799052 0 0 0 118104 124 0 0 25 0 1 0 823628434 3264999424 788538 33554432000 4194304 9163163 140737042865344 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12543/statm: 797119 788538 660 1214 0 795901 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 3188476
[startup+1242.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/499 12623
/proc/meminfo: memFree=24224020/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=3270484 CPUtime=1242.28 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 818804 0 0 0 124101 127 0 0 25 0 1 0 823628434 3348975616 808290 33554432000 4194304 9163163 140737042865344 18446744073709551615 6567539 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12543/statm: 817621 808290 660 1214 0 816403 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 3270484
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 12625
/proc/meminfo: memFree=23919968/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=3392160 CPUtime=1302.29 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 848948 0 0 0 130097 132 0 0 25 0 1 0 823628434 3473571840 838434 33554432000 4194304 9163163 140737042865344 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12543/statm: 848040 838434 660 1214 0 846822 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 3392160
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12625
/proc/meminfo: memFree=23719208/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=3541180 CPUtime=1362.28 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 885467 0 0 0 136091 137 0 0 25 0 1 0 823628434 3626168320 874953 33554432000 4194304 9163163 140737042865344 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12543/statm: 885295 874953 660 1214 0 884077 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 3541180
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12627
/proc/meminfo: memFree=23525888/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=3692564 CPUtime=1422.3 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 922635 0 0 0 142087 143 0 0 25 0 1 0 823628434 3781185536 912121 33554432000 4194304 9163163 140737042865344 18446744073709551615 6567511 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12543/statm: 923141 912121 660 1214 0 921923 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 3692564
[startup+1482.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/499 12629
/proc/meminfo: memFree=23350540/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=3822704 CPUtime=1482.28 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 954927 0 0 0 148081 147 0 0 25 0 1 0 823628434 3914448896 944413 33554432000 4194304 9163163 140737042865344 18446744073709551615 6567519 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12543/statm: 955676 944413 660 1214 0 954458 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 3822704
[startup+1542.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/499 12631
/proc/meminfo: memFree=23086400/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=4025336 CPUtime=1542.28 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 1005177 0 0 0 154073 155 0 0 25 0 1 0 823628434 4121944064 994663 33554432000 4194304 9163163 140737042865344 18446744073709551615 4352483 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12543/statm: 1006334 994663 660 1214 0 1005116 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 4025336
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 12633
/proc/meminfo: memFree=22926528/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=4146180 CPUtime=1602.28 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 1034492 0 0 0 160068 160 0 0 25 0 1 0 823628434 4245688320 1023978 33554432000 4194304 9163163 140737042865344 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12543/statm: 1036545 1023978 660 1214 0 1035327 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 4146180
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12633
/proc/meminfo: memFree=22740752/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=4280852 CPUtime=1662.29 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 1068677 0 0 0 166063 166 0 0 25 0 1 0 823628434 4383592448 1058163 33554432000 4194304 9163163 140737042865344 18446744073709551615 6567801 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12543/statm: 1070213 1058163 660 1214 0 1068995 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 4280852
[startup+1722.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/499 12635
/proc/meminfo: memFree=22373704/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=4404156 CPUtime=1722.28 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 1098833 0 0 0 172059 169 0 0 25 0 1 0 823628434 4509855744 1088319 33554432000 4194304 9163163 140737042865344 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12543/statm: 1101039 1088319 660 1214 0 1099821 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 4404156
[startup+1782.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/499 12637
/proc/meminfo: memFree=22186576/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=4552716 CPUtime=1782.29 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 1135628 0 0 0 178054 175 0 0 25 0 1 0 823628434 4661981184 1125114 33554432000 4194304 9163163 140737042865344 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12543/statm: 1138179 1125114 660 1214 0 1136961 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 4552716
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.05 2.05 2.00 3/499 12637
/proc/meminfo: memFree=22151852/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=4598392 CPUtime=1800.1 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4202496 1147718 0 0 0 179834 176 0 0 18 0 1 0 823628434 4708753408 1136559 33554432000 4194304 9163163 140737042865344 18446744073709551615 6918290 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12543/statm: 1149598 1136559 668 1214 0 1148380 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 4598392
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.22 s]
/proc/loadavg: 2.05 2.05 2.00 3/499 12637
/proc/meminfo: memFree=22151852/32951132 swapFree=57925096/67111528
[pid=12543] ppid=12541 vsize=0 CPUtime=1800.2 cores=0,2,4,6
/proc/12543/stat : 12543 (scip-2.0.1.4b.l) R 12541 12543 10513 0 -1 4203524 1147718 0 0 0 179834 186 0 0 18 0 1 0 823628434 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/12543/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.29
CPU time (s): 1800.29
CPU user time (s): 1798.35
CPU system time (s): 1.9387
CPU usage (%): 99.9997
Max. virtual memory (cumulated for all children) (KiB): 4600984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.35
system time used= 1.93871
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1147718
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= 6
involuntary context switches= 1494
runsolver used 9.36158 second user time and 20.1819 second system time
The end