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-3489795-1307793633.opb>
1.10/1.13 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 184407 constraints
1.10/1.13 c problem read
1.10/1.13 c presolving settings loaded
1.49/1.50 c presolving:
7.99/8.07 c (round 1) 4469 del vars, 13178 del conss, 0 add conss, 3271 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12585364 impls, 0 clqs
10.79/10.80 c (round 2) 9579 del vars, 33660 del conss, 0 add conss, 8171 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12611617 impls, 0 clqs
11.59/11.60 c (round 3) 11537 del vars, 42613 del conss, 0 add conss, 9233 chg bounds, 30 chg sides, 32 chg coeffs, 0 upgd conss, 12623415 impls, 0 clqs
12.00/12.09 c (round 4) 12423 del vars, 46092 del conss, 0 add conss, 9771 chg bounds, 38 chg sides, 41 chg coeffs, 0 upgd conss, 12631712 impls, 0 clqs
12.39/12.41 c (round 5) 12942 del vars, 48271 del conss, 0 add conss, 10076 chg bounds, 48 chg sides, 51 chg coeffs, 0 upgd conss, 12636927 impls, 0 clqs
12.59/12.62 c (round 6) 13288 del vars, 49627 del conss, 0 add conss, 10264 chg bounds, 51 chg sides, 54 chg coeffs, 0 upgd conss, 12640062 impls, 0 clqs
12.69/12.74 c (round 7) 13459 del vars, 50404 del conss, 0 add conss, 10354 chg bounds, 54 chg sides, 57 chg coeffs, 0 upgd conss, 12641823 impls, 0 clqs
12.79/12.83 c (round 8) 13538 del vars, 50796 del conss, 0 add conss, 10392 chg bounds, 54 chg sides, 57 chg coeffs, 0 upgd conss, 12642871 impls, 0 clqs
12.79/12.89 c (round 9) 13580 del vars, 50988 del conss, 0 add conss, 10417 chg bounds, 54 chg sides, 57 chg coeffs, 0 upgd conss, 12643415 impls, 0 clqs
12.89/12.95 c (round 10) 13606 del vars, 51114 del conss, 0 add conss, 10430 chg bounds, 54 chg sides, 57 chg coeffs, 0 upgd conss, 12643837 impls, 0 clqs
12.99/13.01 c (round 11) 13628 del vars, 51206 del conss, 0 add conss, 10444 chg bounds, 54 chg sides, 57 chg coeffs, 0 upgd conss, 12644148 impls, 0 clqs
12.99/13.06 c (round 12) 13640 del vars, 51266 del conss, 0 add conss, 10451 chg bounds, 54 chg sides, 57 chg coeffs, 0 upgd conss, 12644237 impls, 0 clqs
13.10/13.10 c (round 13) 13646 del vars, 51301 del conss, 0 add conss, 10454 chg bounds, 54 chg sides, 57 chg coeffs, 0 upgd conss, 12644285 impls, 0 clqs
13.10/13.15 c (round 14) 13652 del vars, 51320 del conss, 0 add conss, 10458 chg bounds, 54 chg sides, 57 chg coeffs, 0 upgd conss, 12644294 impls, 0 clqs
13.69/13.70 c (round 15) 13652 del vars, 51331 del conss, 0 add conss, 10458 chg bounds, 54 chg sides, 57 chg coeffs, 133076 upgd conss, 12644294 impls, 0 clqs
566.30/566.40 c (566.4s) probing: 1000/41130 (2.4%) - 22 fixings, 6 aggregations, 9671111 implications, 0 bound changes
960.32/960.35 c (960.3s) probing: 2000/41130 (4.9%) - 22 fixings, 6 aggregations, 15253394 implications, 0 bound changes
1282.83/1282.85 c (1282.9s) probing: 2792/41130 (6.8%) - 22 fixings, 6 aggregations, 19733156 implications, 0 bound changes
1282.83/1282.85 c (1282.9s) probing aborted: 2000/2000 successive useless probings
1282.83/1282.85 c (round 16) 13680 del vars, 51331 del conss, 3 add conss, 10458 chg bounds, 62 chg sides, 164 chg coeffs, 133076 upgd conss, 79855870 impls, 493 clqs
1284.63/1284.60 c (round 17) 13682 del vars, 51871 del conss, 3 add conss, 10458 chg bounds, 62 chg sides, 313 chg coeffs, 133076 upgd conss, 79880282 impls, 525 clqs
1380.83/1380.86 c (1380.9s) probing: 3000/41130 (7.3%) - 35 fixings, 13 aggregations, 20557283 implications, 0 bound changes
1495.43/1495.42 c (round 18) 13732 del vars, 51873 del conss, 3 add conss, 10458 chg bounds, 62 chg sides, 315 chg coeffs, 133076 upgd conss, 85563942 impls, 558 clqs
1496.13/1496.13 c (round 19) 13736 del vars, 52054 del conss, 3 add conss, 10458 chg bounds, 62 chg sides, 315 chg coeffs, 133076 upgd conss, 85563962 impls, 558 clqs
1769.74/1769.77 c (1769.8s) probing: 4000/41130 (9.7%) - 73 fixings, 43 aggregations, 26156046 implications, 0 bound changes
1797.24/1797.25 c (1797.3s) probing: 4062/41130 (9.9%) - 73 fixings, 43 aggregations, 26691525 implications, 0 bound changes
1797.24/1797.25 c (1797.3s) probing aborted: solving stopped
1797.24/1797.26 c (round 20) 13774 del vars, 52058 del conss, 3 add conss, 10458 chg bounds, 62 chg sides, 315 chg coeffs, 133076 upgd conss, 98172328 impls, 558 clqs
1797.24/1797.26 c presolving (20 rounds):
1797.24/1797.26 c 13774 deleted vars, 52058 deleted constraints, 3 added constraints, 10458 tightened bounds, 0 added holes, 62 changed sides, 315 changed coefficients
1797.24/1797.26 c 98172328 implications, 558 cliques
1797.24/1797.26 c presolving was interrupted.
1797.24/1797.26 c Presolving Time: 1795.86
1797.24/1797.26 c - non default parameters ----------------------------------------------------------------------
1797.24/1797.26 c # SCIP version 2.0.1.5
1797.24/1797.26 c
1797.24/1797.26 c # frequency for displaying node information lines
1797.24/1797.26 c # [type: int, range: [-1,2147483647], default: 100]
1797.24/1797.26 c display/freq = 10000
1797.24/1797.26 c
1797.24/1797.26 c # maximal time in seconds to run
1797.24/1797.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.24/1797.26 c limits/time = 1797
1797.24/1797.26 c
1797.24/1797.26 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.24/1797.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.24/1797.26 c limits/memory = 13950
1797.24/1797.26 c
1797.24/1797.26 c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.24/1797.26 c # [type: int, range: [1,2], default: 1]
1797.24/1797.26 c timing/clocktype = 2
1797.24/1797.26 c
1797.24/1797.26 c # belongs reading time to solving time?
1797.24/1797.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.24/1797.26 c timing/reading = TRUE
1797.24/1797.26 c
1797.24/1797.26 c # should presolving try to simplify inequalities
1797.24/1797.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.24/1797.26 c constraints/linear/simplifyinequalities = TRUE
1797.24/1797.26 c
1797.24/1797.26 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.24/1797.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.24/1797.26 c constraints/indicator/addCouplingCons = TRUE
1797.24/1797.26 c
1797.24/1797.26 c # should presolving try to simplify knapsacks
1797.24/1797.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.24/1797.26 c constraints/knapsack/simplifyinequalities = TRUE
1797.24/1797.26 c
1797.24/1797.26 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.24/1797.26 c # [type: int, range: [-1,2147483647], default: -1]
1797.24/1797.26 c separating/rapidlearning/freq = 0
1797.24/1797.26 c
1797.24/1797.26 c -----------------------------------------------------------------------------------------------
1797.24/1797.26 c start solving
1797.24/1797.28 c presolving:
1797.24/1797.28 c presolving (20 rounds):
1797.24/1797.28 c 13774 deleted vars, 52058 deleted constraints, 3 added constraints, 10458 tightened bounds, 0 added holes, 62 changed sides, 315 changed coefficients
1797.24/1797.28 c 98172328 implications, 558 cliques
1797.24/1797.28 c presolving was interrupted.
1797.24/1797.28 c Presolving Time: 1795.88
1797.24/1797.28 c
1797.24/1797.28 c SCIP Status : solving was interrupted [time limit reached]
1797.24/1797.28 c Solving Time (sec) : 1797.28
1797.24/1797.28 c Solving Nodes : 0
1797.24/1797.28 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.24/1797.28 s UNKNOWN
1797.24/1797.28 c SCIP Status : solving was interrupted [time limit reached]
1797.24/1797.28 c Total Time : 1797.28
1797.24/1797.28 c solving : 1797.28
1797.24/1797.28 c presolving : 1795.88 (included in solving)
1797.24/1797.28 c reading : 1.13 (included in solving)
1797.24/1797.28 c Original Problem :
1797.24/1797.28 c Problem name : HOME/instance-3489795-1307793633.opb
1797.24/1797.28 c Variables : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.24/1797.28 c Constraints : 184407 initial, 184407 maximal
1797.24/1797.28 c Presolved Problem :
1797.24/1797.28 c Problem name : t_HOME/instance-3489795-1307793633.opb
1797.24/1797.28 c Variables : 41008 (41008 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.24/1797.28 c Constraints : 132352 initial, 132352 maximal
1797.24/1797.28 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.24/1797.28 c trivial : 0.05 851 0 0 0 0 0 0 0 0
1797.24/1797.28 c dualfix : 0.07 91 0 0 0 0 0 0 0 0
1797.24/1797.28 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.24/1797.28 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.24/1797.28 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.24/1797.28 c implics : 2.33 0 6 0 0 0 0 0 0 0
1797.24/1797.28 c probing : 1779.89 73 43 0 0 0 0 0 0 0
1797.24/1797.28 c knapsack : 1.37 0 0 0 0 0 0 3 8 258
1797.24/1797.28 c setppc : 0.27 0 0 0 0 0 717 0 0 0
1797.24/1797.28 c linear : 11.53 9607 3103 0 10458 0 51331 0 54 57
1797.24/1797.28 c logicor : 0.08 0 0 0 0 0 10 0 0 0
1797.24/1797.28 c root node : - 0 - - 0 - - - - -
1797.24/1797.28 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.24/1797.28 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1797.24/1797.28 c knapsack : 0+ 0 180537 0 0 0 0 23 0 0 0 0
1797.24/1797.28 c setppc : 0+ 0 180514 0 0 0 0 15 0 0 0 0
1797.24/1797.28 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.24/1797.28 c logicor : 0+ 0 165153 0 0 0 0 17 0 0 0 0
1797.24/1797.28 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.24/1797.28 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.24/1797.28 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.24/1797.28 c knapsack : 11.15 0.00 11.15 0.00 0.00 0.00 0.00
1797.24/1797.28 c setppc : 741.49 0.00 741.49 0.00 0.00 0.00 0.00
1797.24/1797.28 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.24/1797.28 c logicor : 11.37 0.00 11.37 0.00 0.00 0.00 0.00
1797.24/1797.28 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.24/1797.28 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.24/1797.28 c vbounds : 0 0 0 0
1797.24/1797.28 c rootredcost : 0 0 0 0
1797.24/1797.28 c pseudoobj : 0 0 0 0
1797.24/1797.28 c Propagator Timings : TotalTime Propagate Resprop
1797.24/1797.28 c vbounds : 0.07 0.07 0.00
1797.24/1797.28 c rootredcost : 0.04 0.04 0.00
1797.24/1797.28 c pseudoobj : 0.03 0.03 0.00
1797.24/1797.28 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.24/1797.28 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.24/1797.28 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.24/1797.28 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.24/1797.28 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.24/1797.28 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.24/1797.28 c applied globally : - - - 0 0.0 - - -
1797.24/1797.28 c applied locally : - - - 0 0.0 - - -
1797.74/1797.75 c Time complete: 1797.79.
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-3489795-1307793633/watcher-3489795-1307793633 -o /tmp/evaluation-result-3489795-1307793633/solver-3489795-1307793633 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489795-1307793633.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 1.99 1.95 2/177 9683
/proc/meminfo: memFree=29131012/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=11972 CPUtime=0 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 1957 0 0 0 0 0 0 0 25 0 1 0 890961255 12259328 1911 33554432000 4194304 9016284 140734250867488 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9683/statm: 2993 1924 340 1178 0 1811 0
[startup+0.0498691 s]
/proc/loadavg: 2.00 1.99 1.95 2/177 9683
/proc/meminfo: memFree=29131012/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=22180 CPUtime=0.04 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 4462 0 0 0 4 0 0 0 25 0 1 0 890961255 22712320 4416 33554432000 4194304 9016284 140734250867488 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9683/statm: 5545 4451 360 1178 0 4363 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 22180
[startup+0.100865 s]
/proc/loadavg: 2.00 1.99 1.95 2/177 9683
/proc/meminfo: memFree=29131012/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=29936 CPUtime=0.09 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 6485 0 0 0 9 0 0 0 25 0 1 0 890961255 30654464 6439 33554432000 4194304 9016284 140734250867488 18446744073709551615 7928096 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9683/statm: 7484 6439 360 1178 0 6302 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29936
[startup+0.300829 s]
/proc/loadavg: 2.00 1.99 1.95 2/177 9683
/proc/meminfo: memFree=29131012/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=50560 CPUtime=0.29 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 11622 0 0 0 28 1 0 0 25 0 1 0 890961255 51773440 11576 33554432000 4194304 9016284 140734250867488 18446744073709551615 4447109 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9683/statm: 12640 11576 360 1178 0 11458 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50560
[startup+0.700687 s]
/proc/loadavg: 2.00 1.99 1.95 2/177 9683
/proc/meminfo: memFree=29131012/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=81024 CPUtime=0.69 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 19216 0 0 0 67 2 0 0 25 0 1 0 890961255 82968576 19170 33554432000 4194304 9016284 140734250867488 18446744073709551615 6180568 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9683/statm: 20256 19170 360 1178 0 19074 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 81024
[startup+1.50056 s]
/proc/loadavg: 2.00 1.99 1.95 4/178 9684
/proc/meminfo: memFree=29020420/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=290044 CPUtime=1.49 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 70559 0 0 0 141 8 0 0 25 0 1 0 890961255 297005056 70440 33554432000 4194304 9016284 140734250867488 18446744073709551615 4679623 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9683/statm: 72511 70440 449 1178 0 71329 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 290044
[startup+3.1003 s]
/proc/loadavg: 2.00 1.99 1.95 4/178 9684
/proc/meminfo: memFree=28781720/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=432440 CPUtime=3.09 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 106069 0 0 0 298 11 0 0 25 0 1 0 890961255 442818560 105950 33554432000 4194304 9016284 140734250867488 18446744073709551615 6480184 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9683/statm: 108110 105950 485 1178 0 106928 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 432440
[startup+6.30073 s]
/proc/loadavg: 2.00 1.99 1.95 4/178 9684
/proc/meminfo: memFree=28563732/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=613464 CPUtime=6.29 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 150101 0 0 0 613 16 0 0 25 0 1 0 890961255 628187136 149982 33554432000 4194304 9016284 140734250867488 18446744073709551615 6480146 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9683/statm: 153366 149982 485 1178 0 152184 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 613464
[startup+12.7006 s]
/proc/loadavg: 2.00 1.99 1.95 4/178 9684
/proc/meminfo: memFree=28449092/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=674476 CPUtime=12.69 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 164833 0 0 0 1251 18 0 0 25 0 1 0 890961255 690663424 164457 33554432000 4194304 9016284 140734250867488 18446744073709551615 6481192 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9683/statm: 168619 164457 496 1178 0 167437 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 674476
[startup+25.5002 s]
/proc/loadavg: 2.00 1.99 1.95 4/178 9685
/proc/meminfo: memFree=28342188/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=760548 CPUtime=25.49 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 195438 0 0 0 2528 21 0 0 25 0 1 0 890961255 778801152 185516 33554432000 4194304 9016284 140734250867488 18446744073709551615 6817693 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9683/statm: 190137 185516 551 1178 0 188955 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 760548
[startup+51.1006 s]
/proc/loadavg: 2.00 1.99 1.95 4/178 9694
/proc/meminfo: memFree=28231592/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=799840 CPUtime=51.09 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 204662 0 0 0 5086 23 0 0 25 0 1 0 890961255 819036160 194740 33554432000 4194304 9016284 140734250867488 18446744073709551615 6479390 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9683/statm: 199960 194740 551 1178 0 198778 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 799840
[startup+102.306 s]
/proc/loadavg: 2.00 1.99 1.95 4/178 9696
/proc/meminfo: memFree=27980012/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=924776 CPUtime=102.3 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 235257 0 0 0 10204 26 0 0 25 0 1 0 890961255 946970624 225335 33554432000 4194304 9016284 140734250867488 18446744073709551615 6480211 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9683/statm: 231194 225335 551 1178 0 230012 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 924776
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.95 4/178 9697
/proc/meminfo: memFree=27702608/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=1118396 CPUtime=162.29 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 282517 0 0 0 16198 31 0 0 25 0 1 0 890961255 1145237504 272595 33554432000 4194304 9016284 140734250867488 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9683/statm: 279599 272595 551 1178 0 278417 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1118396
[startup+222.301 s]
/proc/loadavg: 2.00 1.99 1.95 4/178 9701
/proc/meminfo: memFree=27444896/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=1282264 CPUtime=222.29 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 322868 0 0 0 22193 36 0 0 25 0 1 0 890961255 1313038336 312946 33554432000 4194304 9016284 140734250867488 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9683/statm: 320566 312946 551 1178 0 319384 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1282264
[startup+282.301 s]
/proc/loadavg: 2.00 1.99 1.95 4/178 9704
/proc/meminfo: memFree=27251136/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=1425940 CPUtime=282.3 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 358871 0 0 0 28189 41 0 0 25 0 1 0 890961255 1460162560 348949 33554432000 4194304 9016284 140734250867488 18446744073709551615 5971894 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9683/statm: 356485 348949 551 1178 0 355303 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1425940
[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.95 4/178 9705
/proc/meminfo: memFree=27002244/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=1526728 CPUtime=342.29 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 384222 0 0 0 34186 43 0 0 25 0 1 0 890961255 1563369472 374300 33554432000 4194304 9016284 140734250867488 18446744073709551615 6480466 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9683/statm: 381682 374300 551 1178 0 380500 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1526728
[startup+402.301 s]
/proc/loadavg: 2.06 2.00 1.96 4/178 9707
/proc/meminfo: memFree=26648200/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=1763880 CPUtime=402.3 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 442601 0 0 0 40180 50 0 0 25 0 1 0 890961255 1806213120 432679 33554432000 4194304 9016284 140734250867488 18446744073709551615 6480241 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9683/statm: 440970 432679 551 1178 0 439788 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1763880
[startup+462.301 s]
/proc/loadavg: 2.02 2.00 1.96 4/178 9708
/proc/meminfo: memFree=26511380/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=1833936 CPUtime=462.3 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 460664 0 0 0 46178 52 0 0 25 0 1 0 890961255 1877950464 450709 33554432000 4194304 9016284 140734250867488 18446744073709551615 6480224 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9683/statm: 458484 450709 551 1178 0 457302 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1833936
[startup+522.301 s]
/proc/loadavg: 2.01 2.00 1.96 4/178 9710
/proc/meminfo: memFree=26301180/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=1949956 CPUtime=522.31 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 489230 0 0 0 52174 57 0 0 25 0 1 0 890961255 1996754944 479275 33554432000 4194304 9016284 140734250867488 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9683/statm: 487489 479275 551 1178 0 486307 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1949956
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 9712
/proc/meminfo: memFree=26129028/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=2078224 CPUtime=582.3 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 520769 0 0 0 58170 60 0 0 25 0 1 0 890961255 2128101376 510814 33554432000 4194304 9016284 140734250867488 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9683/statm: 519556 510814 556 1178 0 518374 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2078224
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25296564/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=2527064 CPUtime=1062.32 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 633357 0 0 0 106155 77 0 0 25 0 1 0 890961255 2587713536 623402 33554432000 4194304 9016284 140734250867488 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9683/statm: 631766 623402 556 1178 0 630584 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2527064
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 9726
/proc/meminfo: memFree=25207368/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=2581252 CPUtime=1122.32 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 647629 0 0 0 112154 78 0 0 25 0 1 0 890961255 2643202048 637674 33554432000 4194304 9016284 140734250867488 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9683/statm: 645313 637674 556 1178 0 644131 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2581252
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 9728
/proc/meminfo: memFree=25077628/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=2644504 CPUtime=1182.32 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 663202 0 0 0 118151 81 0 0 25 0 1 0 890961255 2707972096 653247 33554432000 4194304 9016284 140734250867488 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9683/statm: 661126 653247 556 1178 0 659944 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2644504
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 9729
/proc/meminfo: memFree=24976772/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=2708704 CPUtime=1242.33 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 678674 0 0 0 124149 84 0 0 25 0 1 0 890961255 2773712896 668719 33554432000 4194304 9016284 140734250867488 18446744073709551615 4875347 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9683/statm: 677176 668719 556 1178 0 675994 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 2708704
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 9731
/proc/meminfo: memFree=24878512/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=2772588 CPUtime=1302.33 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 694168 0 0 0 130148 85 0 0 25 0 1 0 890961255 2839130112 684213 33554432000 4194304 9016284 140734250867488 18446744073709551615 6480229 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9683/statm: 693147 684213 556 1178 0 691965 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2772588
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 9732
/proc/meminfo: memFree=24802344/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=2819988 CPUtime=1362.33 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 705774 0 0 0 136146 87 0 0 25 0 1 0 890961255 2887667712 695819 33554432000 4194304 9016284 140734250867488 18446744073709551615 5512272 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9683/statm: 704997 695819 556 1178 0 703815 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 2819988
[startup+1422.31 s]
/proc/loadavg: 1.66 1.92 1.94 2/172 9758
/proc/meminfo: memFree=27951736/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=2877560 CPUtime=1422.34 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 720297 0 0 0 142145 89 0 0 25 0 1 0 890961255 2946621440 710342 33554432000 4194304 9016284 140734250867488 18446744073709551615 5325537 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9683/statm: 719390 710342 556 1178 0 718208 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2877560
[startup+1482.3 s]
/proc/loadavg: 1.24 1.75 1.87 2/172 9760
/proc/meminfo: memFree=27894796/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=2932556 CPUtime=1482.33 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 734531 0 0 0 148143 90 0 0 25 0 1 0 890961255 3002937344 724576 33554432000 4194304 9016284 140734250867488 18446744073709551615 6480360 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9683/statm: 733139 724576 556 1178 0 731957 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 2932556
[startup+1542.3 s]
/proc/loadavg: 1.09 1.61 1.82 2/172 9761
/proc/meminfo: memFree=27826932/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=2999284 CPUtime=1542.33 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 751414 0 0 0 154141 92 0 0 25 0 1 0 890961255 3071266816 741459 33554432000 4194304 9016284 140734250867488 18446744073709551615 6480229 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9683/statm: 749821 741459 556 1178 0 748639 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2999284
[startup+1602.3 s]
/proc/loadavg: 1.03 1.50 1.76 2/172 9763
/proc/meminfo: memFree=27757464/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=3072256 CPUtime=1602.33 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 769133 0 0 0 160139 94 0 0 25 0 1 0 890961255 3145990144 759178 33554432000 4194304 9016284 140734250867488 18446744073709551615 4889380 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9683/statm: 768064 759178 556 1178 0 766882 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3072256
[startup+1662.3 s]
/proc/loadavg: 1.01 1.40 1.71 2/172 9764
/proc/meminfo: memFree=27664516/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=3166504 CPUtime=1662.34 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 792004 0 0 0 166137 97 0 0 25 0 1 0 890961255 3242500096 782049 33554432000 4194304 9016284 140734250867488 18446744073709551615 4460361 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9683/statm: 791626 782049 556 1178 0 790444 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3166504
[startup+1722.3 s]
/proc/loadavg: 1.00 1.33 1.66 2/172 9766
/proc/meminfo: memFree=27602468/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=3228116 CPUtime=1722.34 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 807597 0 0 0 172135 99 0 0 25 0 1 0 890961255 3305590784 797642 33554432000 4194304 9016284 140734250867488 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9683/statm: 807029 797642 556 1178 0 805847 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3228116
[startup+1782.3 s]
/proc/loadavg: 1.00 1.26 1.62 2/172 9768
/proc/meminfo: memFree=27538924/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=3292372 CPUtime=1782.33 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 823452 0 0 0 178132 101 0 0 25 0 1 0 890961255 3371388928 813497 33554432000 4194304 9016284 140734250867488 18446744073709551615 4889380 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9683/statm: 823093 813497 556 1178 0 821911 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3292372
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.26 1.62 2/172 9768
/proc/meminfo: memFree=27535452/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=3296420 CPUtime=1785.54 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 824162 0 0 0 178452 102 0 0 25 0 1 0 890961255 3375534080 814207 33554432000 4194304 9016284 140734250867488 18446744073709551615 7875499 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9683/statm: 824105 814207 556 1178 0 822923 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 3296420
[startup+1791.91 s]
/proc/loadavg: 1.00 1.26 1.61 2/172 9768
/proc/meminfo: memFree=27527512/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=3303560 CPUtime=1791.95 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 826146 0 0 0 179093 102 0 0 25 0 1 0 890961255 3382845440 816191 33554432000 4194304 9016284 140734250867488 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9683/statm: 825890 816191 556 1178 0 824708 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 3303560
[startup+1795.1 s]
/proc/loadavg: 1.00 1.25 1.61 2/172 9768
/proc/meminfo: memFree=27524784/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=3306600 CPUtime=1795.15 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 826819 0 0 0 179413 102 0 0 25 0 1 0 890961255 3385958400 816864 33554432000 4194304 9016284 140734250867488 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9683/statm: 826650 816864 556 1178 0 825468 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 3306600
[startup+1796.7 s]
/proc/loadavg: 1.00 1.25 1.61 2/172 9768
/proc/meminfo: memFree=27524288/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=3306600 CPUtime=1796.74 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 827038 0 0 0 179572 102 0 0 25 0 1 0 890961255 3385958400 817083 33554432000 4194304 9016284 140734250867488 18446744073709551615 4347916 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9683/statm: 826650 817083 556 1178 0 825468 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 3306600
[startup+1797.5 s]
/proc/loadavg: 1.00 1.25 1.61 2/172 9768
/proc/meminfo: memFree=27523668/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=3299928 CPUtime=1797.54 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 827630 0 0 0 179652 102 0 0 18 0 1 0 890961255 3379126272 815267 33554432000 4194304 9016284 140734250867488 18446744073709551615 6812702 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/9683/statm: 824949 815234 565 1178 0 823767 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 3299928
[startup+1797.7 s]
/proc/loadavg: 1.00 1.25 1.61 2/172 9768
/proc/meminfo: memFree=27523668/32951124 swapFree=67051744/67111528
[pid=9683] ppid=9681 vsize=2261684 CPUtime=1797.74 cores=0,2,4,6
/proc/9683/stat : 9683 (scip-2.0.1.4b_2) R 9681 9683 18867 0 -1 4202496 827643 0 0 0 179665 109 0 0 18 0 1 0 890961255 2315964416 344576 33554432000 4194304 9016284 140734250867488 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/9683/statm: 565421 344064 578 1178 0 564239 0
Current children cumulated CPU time (s) 1797.74
Current children cumulated vsize (KiB) 2261684
Child status: 0
Real time (s): 1797.75
CPU time (s): 1797.8
CPU user time (s): 1796.65
CPU system time (s): 1.15182
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3307604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.65
system time used= 1.15182
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 827648
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= 1321
runsolver used 2.81257 second user time and 5.63714 second system time
The end