0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3692935-1338039161.opb>
0.19/0.27 c original problem has 33396 variables (33396 bin, 0 int, 0 impl, 0 cont) and 106278 constraints
0.19/0.27 c problem read in 0.28
0.58/0.65 c presolving:
2.89/2.94 c (round 1) 4768 del vars, 14041 del conss, 0 add conss, 3177 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6403662 impls, 0 clqs
4.30/4.36 c (round 2) 12206 del vars, 40565 del conss, 0 add conss, 10369 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6447211 impls, 0 clqs
4.48/4.59 c (round 3) 14539 del vars, 52539 del conss, 0 add conss, 11487 chg bounds, 19 chg sides, 21 chg coeffs, 0 upgd conss, 6461059 impls, 0 clqs
4.69/4.71 c (round 4) 15310 del vars, 55522 del conss, 0 add conss, 11957 chg bounds, 46 chg sides, 49 chg coeffs, 0 upgd conss, 6472654 impls, 0 clqs
4.89/4.94 c (round 5) 15898 del vars, 57487 del conss, 0 add conss, 12324 chg bounds, 47 chg sides, 52 chg coeffs, 0 upgd conss, 6479745 impls, 0 clqs
4.89/4.94 c (round 6) 16365 del vars, 59039 del conss, 0 add conss, 12556 chg bounds, 47 chg sides, 52 chg coeffs, 0 upgd conss, 6485467 impls, 0 clqs
4.89/4.94 c (round 7) 16579 del vars, 59803 del conss, 0 add conss, 12675 chg bounds, 47 chg sides, 52 chg coeffs, 0 upgd conss, 6488203 impls, 0 clqs
4.89/4.94 c (round 8) 16628 del vars, 60078 del conss, 0 add conss, 12696 chg bounds, 47 chg sides, 52 chg coeffs, 0 upgd conss, 6488798 impls, 0 clqs
4.89/4.94 c (round 9) 16657 del vars, 60202 del conss, 0 add conss, 12709 chg bounds, 47 chg sides, 52 chg coeffs, 0 upgd conss, 6489314 impls, 0 clqs
4.89/4.94 c (round 10) 16676 del vars, 60261 del conss, 0 add conss, 12717 chg bounds, 47 chg sides, 52 chg coeffs, 0 upgd conss, 6489471 impls, 0 clqs
4.89/4.96 c (round 11) 16688 del vars, 60309 del conss, 0 add conss, 12722 chg bounds, 47 chg sides, 52 chg coeffs, 0 upgd conss, 6489643 impls, 0 clqs
4.89/4.98 c (round 12) 16692 del vars, 60324 del conss, 0 add conss, 12724 chg bounds, 47 chg sides, 52 chg coeffs, 0 upgd conss, 6489665 impls, 0 clqs
4.99/5.00 c (round 13) 16692 del vars, 60330 del conss, 0 add conss, 12724 chg bounds, 47 chg sides, 52 chg coeffs, 0 upgd conss, 6489665 impls, 0 clqs
5.19/5.22 c (round 14) 16692 del vars, 60330 del conss, 0 add conss, 12724 chg bounds, 47 chg sides, 52 chg coeffs, 45949 upgd conss, 6489665 impls, 0 clqs
5.39/5.40 c (round 15) 16692 del vars, 60339 del conss, 33 add conss, 12724 chg bounds, 77 chg sides, 230 chg coeffs, 45952 upgd conss, 6490635 impls, 1480 clqs
5.50/5.52 c (round 16) 16692 del vars, 60341 del conss, 37 add conss, 12724 chg bounds, 81 chg sides, 256 chg coeffs, 45952 upgd conss, 6490657 impls, 1628 clqs
16.29/16.33 c (16.3s) probing: 1000/16704 (6.0%) - 17 fixings, 0 aggregations, 474347 implications, 12 bound changes
27.98/28.07 c (28.1s) probing: 2000/16704 (12.0%) - 19 fixings, 0 aggregations, 839132 implications, 14 bound changes
28.49/28.52 c (28.5s) probing: 2038/16704 (12.2%) - 19 fixings, 0 aggregations, 850933 implications, 14 bound changes
28.49/28.52 c (28.5s) probing aborted: 1000/1000 successive useless probings
28.49/28.52 c (round 17) 16711 del vars, 85628 del conss, 8059 add conss, 12738 chg bounds, 81 chg sides, 263 chg coeffs, 45952 upgd conss, 11542493 impls, 1630 clqs
28.79/28.81 c (round 18) 16728 del vars, 85710 del conss, 8059 add conss, 12738 chg bounds, 81 chg sides, 288 chg coeffs, 45952 upgd conss, 11556413 impls, 2851 clqs
28.99/29.08 c (round 19) 16728 del vars, 92263 del conss, 14612 add conss, 12738 chg bounds, 81 chg sides, 289 chg coeffs, 45952 upgd conss, 11556413 impls, 2851 clqs
30.18/30.20 c (30.2s) probing: 2138/16704 (12.8%) - 19 fixings, 0 aggregations, 892990 implications, 14 bound changes
30.18/30.20 c (30.2s) probing aborted: 1000/1000 successive useless probings
30.18/30.22 c presolving (20 rounds):
30.18/30.22 c 16728 deleted vars, 92263 deleted constraints, 14612 added constraints, 12738 tightened bounds, 0 added holes, 81 changed sides, 289 changed coefficients
30.18/30.22 c 11640253 implications, 9404 cliques
30.18/30.22 c presolved problem has 16668 variables (16668 bin, 0 int, 0 impl, 0 cont) and 28626 constraints
30.18/30.22 c 488 constraints of type <knapsack>
30.18/30.22 c 27907 constraints of type <setppc>
30.18/30.22 c 230 constraints of type <and>
30.18/30.22 c 1 constraints of type <logicor>
30.18/30.22 c transformed objective value is always integral (scale: 1)
30.18/30.22 c Presolving Time: 29.83
30.18/30.22 c - non default parameters ----------------------------------------------------------------------
30.18/30.22 c # SCIP version 2.1.1.4
30.18/30.22 c
30.18/30.22 c # maximal time in seconds to run
30.18/30.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
30.18/30.22 c limits/time = 1797
30.18/30.22 c
30.18/30.22 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
30.18/30.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
30.18/30.22 c limits/memory = 13950
30.18/30.22 c
30.18/30.22 c # default clock type (1: CPU user seconds, 2: wall clock time)
30.18/30.22 c # [type: int, range: [1,2], default: 1]
30.18/30.22 c timing/clocktype = 2
30.18/30.22 c
30.18/30.22 c # belongs reading time to solving time?
30.18/30.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
30.18/30.22 c timing/reading = TRUE
30.18/30.22 c
30.18/30.22 c -----------------------------------------------------------------------------------------------
30.18/30.22 c start solving
30.18/30.22 c
160.47/160.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.47/160.56 c 161s| 1 | 0 | 30002 | - | 345M| 0 | - | 16k| 28k| 16k| 28k| 0 | 15 | 0 | cutoff | -- | 0.00%
160.47/160.56 c 161s| 1 | 0 | 30002 | - | 345M| 0 | - | 16k| 28k| 16k| 28k| 0 | 15 | 0 | cutoff | -- | 0.00%
160.47/160.56 c
160.47/160.56 c SCIP Status : problem is solved [infeasible]
160.47/160.56 c Solving Time (sec) : 160.56
160.47/160.56 c Solving Nodes : 1
160.47/160.56 c Primal Bound : +1.00000000000000e+20 (0 solutions)
160.47/160.56 c Dual Bound : +1.00000000000000e+20
160.47/160.56 c Gap : 0.00 %
160.47/160.56 s UNSATISFIABLE
160.47/160.56 c SCIP Status : problem is solved [infeasible]
160.47/160.56 c Total Time : 160.56
160.47/160.56 c solving : 160.56
160.47/160.56 c presolving : 29.83 (included in solving)
160.47/160.56 c reading : 0.28 (included in solving)
160.47/160.56 c copying : 0.00 (0 times copied the problem)
160.47/160.56 c Original Problem :
160.47/160.56 c Problem name : HOME/instance-3692935-1338039161.opb
160.47/160.56 c Variables : 33396 (33396 binary, 0 integer, 0 implicit integer, 0 continuous)
160.47/160.56 c Constraints : 106278 initial, 106278 maximal
160.47/160.56 c Objective sense : minimize
160.47/160.56 c Presolved Problem :
160.47/160.56 c Problem name : t_HOME/instance-3692935-1338039161.opb
160.47/160.56 c Variables : 16668 (16668 binary, 0 integer, 0 implicit integer, 0 continuous)
160.47/160.56 c Constraints : 28626 initial, 28641 maximal
160.47/160.56 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
160.47/160.56 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
160.47/160.56 c trivial : 0.03 0.00 1167 0 0 0 0 0 0 0 0
160.47/160.56 c dualfix : 0.04 0.00 105 0 0 0 0 0 0 0 0
160.47/160.56 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
160.47/160.56 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
160.47/160.56 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
160.47/160.56 c gateextraction : 0.10 0.00 0 0 0 0 0 25287 8022 0 0
160.47/160.56 c implics : 0.15 0.00 0 0 0 0 0 0 0 0 0
160.47/160.56 c components : 0.02 0.00 0 0 0 0 0 0 0 0 0
160.47/160.56 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
160.47/160.56 c probing : 23.87 0.00 19 0 0 14 0 0 0 0 0
160.47/160.56 c knapsack : 0.46 0.00 0 0 0 0 0 6 37 34 220
160.47/160.56 c setppc : 0.19 0.00 0 0 0 0 0 70 0 0 0
160.47/160.56 c and : 0.20 0.00 0 17 0 0 0 6570 6553 0 17
160.47/160.56 c linear : 4.30 0.00 11580 3840 0 12724 0 60330 0 47 52
160.47/160.56 c logicor : 0.09 0.00 0 0 0 0 0 0 0 0 0
160.47/160.56 c root node : - - 0 - - 0 - - - - -
160.47/160.56 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
160.47/160.56 c integral : 0 0 0 0 0 0 3 0 0 0 0 0 0
160.47/160.56 c knapsack : 488 488 0 22600 0 0 3 2 0 0 0 0 0
160.47/160.56 c setppc : 27907 27907 0 22600 0 0 1 432 2 0 0 0 0
160.47/160.56 c and : 230 230 0 22598 0 0 0 0 0 0 0 0 0
160.47/160.56 c logicor : 1+ 16 0 54 0 0 0 1 13 0 0 0 0
160.47/160.56 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
160.47/160.56 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
160.47/160.56 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
160.47/160.56 c knapsack : 0.62 0.00 0.00 0.62 0.00 0.00 0.00 0.00
160.47/160.56 c setppc : 11.90 0.00 0.00 11.90 0.00 0.00 0.00 0.00
160.47/160.56 c and : 3.10 0.00 0.00 3.10 0.00 0.00 0.00 0.00
160.47/160.56 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
160.47/160.56 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
160.47/160.56 c Propagators : #Propagate #ResProp Cutoffs DomReds
160.47/160.56 c rootredcost : 0 0 0 0
160.47/160.56 c pseudoobj : 0 0 0 0
160.47/160.56 c vbounds : 0 0 0 0
160.47/160.56 c redcost : 0 0 0 0
160.47/160.56 c probing : 0 0 0 0
160.47/160.56 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
160.47/160.56 c rootredcost : 0.01 0.00 0.00 0.01 0.00
160.47/160.56 c pseudoobj : 0.01 0.00 0.00 0.01 0.00
160.47/160.56 c vbounds : 0.01 0.00 0.00 0.01 0.00
160.47/160.56 c redcost : 0.00 0.00 0.00 0.00 0.00
160.47/160.56 c probing : 23.87 0.00 23.87 0.00 0.00
160.47/160.56 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
160.47/160.56 c propagation : 0.00 15 15 15 52.3 0 0.0 -
160.47/160.56 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
160.47/160.56 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
160.47/160.56 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
160.47/160.56 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
160.47/160.56 c applied globally : - - - 15 52.3 - - -
160.47/160.56 c applied locally : - - - 0 0.0 - - -
160.47/160.56 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
160.47/160.56 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
160.47/160.56 c clique : 0.00 0.00 0 0 0 0 0
160.47/160.56 c closecuts : 0.00 0.00 0 0 0 0 0
160.47/160.56 c cgmip : 0.00 0.00 0 0 0 0 0
160.47/160.56 c cmir : 0.00 0.00 0 0 0 0 0
160.47/160.56 c flowcover : 0.00 0.00 0 0 0 0 0
160.47/160.56 c gomory : 0.00 0.00 0 0 0 0 0
160.47/160.56 c impliedbounds : 0.00 0.00 0 0 0 0 0
160.47/160.56 c intobj : 0.00 0.00 0 0 0 0 0
160.47/160.56 c mcf : 0.00 0.00 0 0 0 0 0
160.47/160.56 c oddcycle : 0.00 0.00 0 0 0 0 0
160.47/160.56 c rapidlearning : 0.00 0.00 0 0 0 0 0
160.47/160.56 c strongcg : 0.00 0.00 0 0 0 0 0
160.47/160.56 c zerohalf : 0.00 0.00 0 0 0 0 0
160.47/160.56 c Pricers : ExecTime SetupTime Calls Vars
160.47/160.56 c problem variables: 0.00 - 0 0
160.47/160.56 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
160.47/160.56 c pscost : 0.00 0.00 0 0 0 0 0 0
160.47/160.56 c inference : 0.00 0.00 0 0 0 0 0 0
160.47/160.56 c mostinf : 0.00 0.00 0 0 0 0 0 0
160.47/160.56 c leastinf : 0.00 0.00 0 0 0 0 0 0
160.47/160.56 c fullstrong : 0.00 0.00 0 0 0 0 0 0
160.47/160.56 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
160.47/160.56 c random : 0.00 0.00 0 0 0 0 0 0
160.47/160.56 c relpscost : 0.00 0.00 0 0 0 0 0 0
160.47/160.56 c Primal Heuristics : ExecTime SetupTime Calls Found
160.47/160.56 c LP solutions : 0.00 - - 0
160.47/160.56 c pseudo solutions : 0.00 - - 0
160.47/160.56 c oneopt : 0.00 0.00 0 0
160.47/160.56 c smallcard : 0.00 0.00 0 0
160.47/160.56 c trivial : 0.03 0.00 2 0
160.47/160.56 c shiftandpropagate: 2.44 0.00 1 0
160.47/160.56 c simplerounding : 0.00 0.00 0 0
160.47/160.56 c zirounding : 0.00 0.00 0 0
160.47/160.56 c rounding : 0.00 0.00 0 0
160.47/160.56 c shifting : 0.00 0.00 0 0
160.47/160.56 c intshifting : 0.00 0.00 0 0
160.47/160.56 c twoopt : 0.00 0.00 0 0
160.47/160.56 c indtwoopt : 0.00 0.00 0 0
160.47/160.56 c indoneopt : 0.00 0.00 0 0
160.47/160.56 c fixandinfer : 0.00 0.00 0 0
160.47/160.56 c feaspump : 0.00 0.00 0 0
160.47/160.56 c clique : 0.00 0.00 0 0
160.47/160.56 c indrounding : 0.00 0.00 0 0
160.47/160.56 c indcoefdiving : 0.00 0.00 0 0
160.47/160.56 c coefdiving : 0.00 0.00 0 0
160.47/160.56 c pscostdiving : 0.00 0.00 0 0
160.47/160.56 c nlpdiving : 0.00 0.00 0 0
160.47/160.56 c fracdiving : 0.00 0.00 0 0
160.47/160.56 c veclendiving : 0.00 0.00 0 0
160.47/160.56 c intdiving : 0.00 0.00 0 0
160.47/160.56 c actconsdiving : 0.00 0.00 0 0
160.47/160.56 c objpscostdiving : 0.00 0.00 0 0
160.47/160.56 c rootsoldiving : 0.00 0.00 0 0
160.47/160.56 c linesearchdiving : 0.00 0.00 0 0
160.47/160.56 c guideddiving : 0.00 0.00 0 0
160.47/160.56 c octane : 0.00 0.00 0 0
160.47/160.56 c rens : 0.00 0.00 0 0
160.47/160.56 c rins : 0.00 0.00 0 0
160.47/160.56 c localbranching : 0.00 0.00 0 0
160.47/160.56 c mutation : 0.00 0.00 0 0
160.47/160.56 c crossover : 0.00 0.00 0 0
160.47/160.56 c dins : 0.00 0.00 0 0
160.47/160.56 c vbounds : 0.00 0.00 0 0
160.47/160.56 c undercover : 0.00 0.00 0 0
160.47/160.56 c subnlp : 0.00 0.00 0 0
160.47/160.56 c trysol : 0.00 0.00 0 0
160.47/160.56 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
160.47/160.56 c primal LP : 0.00 0 0 0.00 - 0.00 0
160.47/160.56 c dual LP : 127.89 1 30002 30002.00 234.60 0.00 0
160.47/160.56 c lex dual LP : 0.00 0 0 0.00 -
160.47/160.56 c barrier LP : 0.00 0 0 0.00 - 0.00 0
160.47/160.56 c diving/probing LP: 0.00 0 0 0.00 -
160.47/160.56 c strong branching : 0.00 0 0 0.00 -
160.47/160.56 c (at root node) : - 0 0 0.00 -
160.47/160.56 c conflict analysis: 0.00 0 0 0.00 -
160.47/160.56 c B&B Tree :
160.47/160.56 c number of runs : 1
160.47/160.56 c nodes : 1
160.47/160.56 c nodes (total) : 1
160.47/160.56 c nodes left : 0
160.47/160.56 c max depth : 0
160.47/160.56 c max depth (total): 0
160.47/160.56 c backtracks : 0 (0.0%)
160.47/160.56 c delayed cutoffs : 0
160.47/160.56 c repropagations : 0 (0 domain reductions, 0 cutoffs)
160.47/160.56 c avg switch length: 2.00
160.47/160.56 c switching time : 0.00
160.47/160.56 c Solution :
160.47/160.56 c Solutions found : 0 (0 improvements)
160.47/160.56 c Primal Bound : infeasible
160.47/160.56 c Dual Bound : -
160.47/160.56 c Gap : 0.00 %
160.47/160.56 c Root Dual Bound : -
160.47/160.56 c Root Iterations : 30002
160.66/160.77 c Time complete: 160.74.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3692935-1338039161/watcher-3692935-1338039161 -o /tmp/evaluation-result-3692935-1338039161/solver-3692935-1338039161 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692935-1338039161.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10403
/proc/meminfo: memFree=28728764/32873844 swapFree=7900/7900
[pid=10403] ppid=10401 vsize=10780 CPUtime=0 cores=0,2,4,6
/proc/10403/stat : 10403 (scip-2.1.1.4sfi) R 10401 10403 6871 0 -1 4202496 1427 0 0 0 0 0 0 0 20 0 1 0 270040601 11038720 1381 33554432000 4194304 10169799 140737432606944 140734202349528 7543003 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10403/statm: 2695 1383 409 1459 0 1227 0
[startup+0.077878 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10403
/proc/meminfo: memFree=28728764/32873844 swapFree=7900/7900
[pid=10403] ppid=10401 vsize=32864 CPUtime=0.06 cores=0,2,4,6
/proc/10403/stat : 10403 (scip-2.1.1.4sfi) R 10401 10403 6871 0 -1 4202496 6967 0 0 0 6 0 0 0 20 0 1 0 270040601 33652736 6921 33554432000 4194304 10169799 140737432606944 140734202349528 5477139 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10403/statm: 8216 6921 409 1459 0 6748 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 32864
[startup+0.100309 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10403
/proc/meminfo: memFree=28728764/32873844 swapFree=7900/7900
[pid=10403] ppid=10401 vsize=35304 CPUtime=0.09 cores=0,2,4,6
/proc/10403/stat : 10403 (scip-2.1.1.4sfi) R 10401 10403 6871 0 -1 4202496 7570 0 0 0 9 0 0 0 20 0 1 0 270040601 36151296 7524 33554432000 4194304 10169799 140737432606944 140734202349528 7543003 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10403/statm: 8826 7525 409 1459 0 7358 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35304
[startup+0.300263 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10403
/proc/meminfo: memFree=28728764/32873844 swapFree=7900/7900
[pid=10403] ppid=10401 vsize=85164 CPUtime=0.29 cores=0,2,4,6
/proc/10403/stat : 10403 (scip-2.1.1.4sfi) R 10401 10403 6871 0 -1 4202496 19913 0 0 0 27 2 0 0 20 0 1 0 270040601 87207936 19868 33554432000 4194304 10169799 140737432606944 140734202349528 7543003 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10403/statm: 21291 19901 454 1459 0 19823 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85164
[startup+0.700276 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10403
/proc/meminfo: memFree=28728764/32873844 swapFree=7900/7900
[pid=10403] ppid=10401 vsize=197888 CPUtime=0.69 cores=0,2,4,6
/proc/10403/stat : 10403 (scip-2.1.1.4sfi) R 10401 10403 6871 0 -1 4202496 51784 0 0 0 63 6 0 0 20 0 1 0 270040601 202637312 47371 33554432000 4194304 10169799 140737432606944 140737432605096 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10403/statm: 49472 47371 555 1459 0 48004 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 197888
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10404
/proc/meminfo: memFree=28501208/32873844 swapFree=7900/7900
[pid=10403] ppid=10401 vsize=288756 CPUtime=1.49 cores=0,2,4,6
/proc/10403/stat : 10403 (scip-2.1.1.4sfi) R 10401 10403 6871 0 -1 4202496 74378 0 0 0 139 10 0 0 20 0 1 0 270040601 295686144 69965 33554432000 4194304 10169799 140737432606944 140737432605096 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10403/statm: 72189 69965 556 1459 0 70721 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 288756
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10404
/proc/meminfo: memFree=28410068/32873844 swapFree=7900/7900
[pid=10403] ppid=10401 vsize=372088 CPUtime=3.09 cores=0,2,4,6
/proc/10403/stat : 10403 (scip-2.1.1.4sfi) R 10401 10403 6871 0 -1 4202496 94281 0 0 0 293 16 0 0 20 0 1 0 270040601 381018112 89611 33554432000 4194304 10169799 140737432606944 140737432605096 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10403/statm: 93022 89611 563 1459 0 91554 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 372088
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10404
/proc/meminfo: memFree=28369024/32873844 swapFree=7900/7900
[pid=10403] ppid=10401 vsize=379344 CPUtime=6.29 cores=0,2,4,6
/proc/10403/stat : 10403 (scip-2.1.1.4sfi) R 10401 10403 6871 0 -1 4202496 102112 0 0 0 598 31 0 0 20 0 1 0 270040601 388448256 91585 33554432000 4194304 10169799 140737432606944 140737432603432 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10403/statm: 94836 91585 623 1459 0 93368 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 379344
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10404
/proc/meminfo: memFree=28356500/32873844 swapFree=7900/7900
[pid=10403] ppid=10401 vsize=387436 CPUtime=12.69 cores=0,2,4,6
/proc/10403/stat : 10403 (scip-2.1.1.4sfi) R 10401 10403 6871 0 -1 4202496 104185 0 0 0 1236 33 0 0 20 0 1 0 270040601 396734464 93658 33554432000 4194304 10169799 140737432606944 140737432604456 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10403/statm: 96859 93658 623 1459 0 95391 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 387436
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10404
/proc/meminfo: memFree=28288440/32873844 swapFree=7900/7900
[pid=10403] ppid=10401 vsize=457460 CPUtime=25.49 cores=0,2,4,6
/proc/10403/stat : 10403 (scip-2.1.1.4sfi) R 10401 10403 6871 0 -1 4202496 121701 0 0 0 2511 38 0 0 20 0 1 0 270040601 468439040 111075 33554432000 4194304 10169799 140737432606944 140737432604472 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10403/statm: 114365 111075 623 1459 0 112897 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 457460
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10404
/proc/meminfo: memFree=28201260/32873844 swapFree=7900/7900
[pid=10403] ppid=10401 vsize=543216 CPUtime=51.08 cores=0,2,4,6
/proc/10403/stat : 10403 (scip-2.1.1.4sfi) R 10401 10403 6871 0 -1 4202496 142993 0 0 0 5059 49 0 0 20 0 1 0 270040601 556253184 132336 33554432000 4194304 10169799 140737432606944 140737432601720 8009548 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10403/statm: 135804 132336 787 1459 0 134336 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 543216
[startup+102.306 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 10404
/proc/meminfo: memFree=28185428/32873844 swapFree=7900/7900
[pid=10403] ppid=10401 vsize=548188 CPUtime=102.28 cores=0,2,4,6
/proc/10403/stat : 10403 (scip-2.1.1.4sfi) R 10401 10403 6871 0 -1 4202496 144722 0 0 0 10173 55 0 0 20 0 1 0 270040601 561344512 134626 33554432000 4194304 10169799 140737432606944 140737432601272 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10403/statm: 137047 134626 787 1459 0 135579 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 548188
Solver just ended. Dumping a history of the last processes samples
[startup+127.9 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 10404
/proc/meminfo: memFree=28178244/32873844 swapFree=7900/7900
[pid=10403] ppid=10401 vsize=548188 CPUtime=127.87 cores=0,2,4,6
/proc/10403/stat : 10403 (scip-2.1.1.4sfi) R 10401 10403 6871 0 -1 4202496 144722 0 0 0 12729 58 0 0 20 0 1 0 270040601 561344512 134638 33554432000 4194304 10169799 140737432606944 140737432601272 8009592 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10403/statm: 137047 134638 787 1459 0 135579 0
Current children cumulated CPU time (s) 127.87
Current children cumulated vsize (KiB) 548188
[startup+140.7 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 10404
/proc/meminfo: memFree=28178352/32873844 swapFree=7900/7900
[pid=10403] ppid=10401 vsize=548188 CPUtime=140.67 cores=0,2,4,6
/proc/10403/stat : 10403 (scip-2.1.1.4sfi) R 10401 10403 6871 0 -1 4202496 144722 0 0 0 14009 58 0 0 20 0 1 0 270040601 561344512 134679 33554432000 4194304 10169799 140737432606944 140737432601720 8051479 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10403/statm: 137047 134679 787 1459 0 135579 0
Current children cumulated CPU time (s) 140.67
Current children cumulated vsize (KiB) 548188
[startup+153.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10404
/proc/meminfo: memFree=28175840/32873844 swapFree=7900/7900
[pid=10403] ppid=10401 vsize=548188 CPUtime=153.46 cores=0,2,4,6
/proc/10403/stat : 10403 (scip-2.1.1.4sfi) R 10401 10403 6871 0 -1 4202496 144738 0 0 0 15287 59 0 0 20 0 1 0 270040601 561344512 135258 33554432000 4194304 10169799 140737432606944 140737432601272 8009908 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10403/statm: 137047 135258 787 1459 0 135579 0
Current children cumulated CPU time (s) 153.46
Current children cumulated vsize (KiB) 548188
[startup+156.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10404
/proc/meminfo: memFree=28175840/32873844 swapFree=7900/7900
[pid=10403] ppid=10401 vsize=548188 CPUtime=156.66 cores=0,2,4,6
/proc/10403/stat : 10403 (scip-2.1.1.4sfi) R 10401 10403 6871 0 -1 4202496 144738 0 0 0 15607 59 0 0 20 0 1 0 270040601 561344512 135258 33554432000 4194304 10169799 140737432606944 140737432601720 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10403/statm: 137047 135258 787 1459 0 135579 0
Current children cumulated CPU time (s) 156.66
Current children cumulated vsize (KiB) 548188
[startup+158.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10404
/proc/meminfo: memFree=28175840/32873844 swapFree=7900/7900
[pid=10403] ppid=10401 vsize=548188 CPUtime=158.27 cores=0,2,4,6
/proc/10403/stat : 10403 (scip-2.1.1.4sfi) R 10401 10403 6871 0 -1 4202496 144738 0 0 0 15768 59 0 0 20 0 1 0 270040601 561344512 135258 33554432000 4194304 10169799 140737432606944 140737432601272 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10403/statm: 137047 135258 787 1459 0 135579 0
Current children cumulated CPU time (s) 158.27
Current children cumulated vsize (KiB) 548188
[startup+159.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10404
/proc/meminfo: memFree=28175840/32873844 swapFree=7900/7900
[pid=10403] ppid=10401 vsize=548188 CPUtime=159.86 cores=0,2,4,6
/proc/10403/stat : 10403 (scip-2.1.1.4sfi) R 10401 10403 6871 0 -1 4202496 144738 0 0 0 15927 59 0 0 20 0 1 0 270040601 561344512 135258 33554432000 4194304 10169799 140737432606944 140737432601272 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10403/statm: 137047 135258 787 1459 0 135579 0
Current children cumulated CPU time (s) 159.86
Current children cumulated vsize (KiB) 548188
[startup+160.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10404
/proc/meminfo: memFree=28175840/32873844 swapFree=7900/7900
[pid=10403] ppid=10401 vsize=548188 CPUtime=160.26 cores=0,2,4,6
/proc/10403/stat : 10403 (scip-2.1.1.4sfi) R 10401 10403 6871 0 -1 4202496 144738 0 0 0 15967 59 0 0 20 0 1 0 270040601 561344512 135258 33554432000 4194304 10169799 140737432606944 140737432601272 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10403/statm: 137047 135258 787 1459 0 135579 0
Current children cumulated CPU time (s) 160.26
Current children cumulated vsize (KiB) 548188
[startup+160.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10404
/proc/meminfo: memFree=28175840/32873844 swapFree=7900/7900
[pid=10403] ppid=10401 vsize=533968 CPUtime=160.66 cores=0,2,4,6
/proc/10403/stat : 10403 (scip-2.1.1.4sfi) R 10401 10403 6871 0 -1 4202496 144761 0 0 0 16007 59 0 0 20 0 1 0 270040601 546783232 131739 33554432000 4194304 10169799 140737432606944 140737432606008 8989847 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10403/statm: 133492 131739 805 1459 0 132024 0
Current children cumulated CPU time (s) 160.66
Current children cumulated vsize (KiB) 533968
Child status: 0
Real time (s): 160.776
CPU time (s): 160.75
CPU user time (s): 160.129
CPU system time (s): 0.620905
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 548188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 160.129
system time used= 0.620905
maximum resident set size= 541116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144775
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 168
runsolver used 0.279957 second user time and 0.669898 second system time
The end