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-3741375-1338774460.opb>
0.29/0.38 c original problem has 2504 variables (2504 bin, 0 int, 0 impl, 0 cont) and 2065 constraints
0.29/0.38 c problem read
0.29/0.38 c presolving settings loaded
0.49/0.55 c presolving:
0.89/0.95 c (round 1) 0 del vars, 255 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 0 impls, 19 clqs
1.49/1.54 c (round 2) 184 del vars, 440 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 0 impls, 18 clqs
61.06/61.12 c (61.1s) probing: 1000/2320 (43.1%) - 0 fixings, 0 aggregations, 285167 implications, 0 bound changes
113.55/113.62 c (113.6s) probing: 2000/2320 (86.2%) - 48 fixings, 0 aggregations, 474397 implications, 0 bound changes
113.75/113.85 c (round 3) 234 del vars, 440 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 949106 impls, 18 clqs
116.25/116.34 c (round 4) 284 del vars, 440 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 949106 impls, 18 clqs
117.15/117.29 c (round 5) 284 del vars, 490 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 949106 impls, 18 clqs
118.76/118.88 c (round 6) 334 del vars, 490 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 949106 impls, 18 clqs
119.65/119.73 c (round 7) 334 del vars, 540 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 949106 impls, 18 clqs
121.25/121.37 c (round 8) 384 del vars, 540 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 949106 impls, 18 clqs
122.65/122.76 c (round 9) 384 del vars, 590 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 949106 impls, 18 clqs
124.25/124.32 c (round 10) 434 del vars, 590 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 949106 impls, 18 clqs
125.55/125.67 c (round 11) 434 del vars, 640 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 949106 impls, 18 clqs
127.85/127.96 c (round 12) 484 del vars, 640 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 949106 impls, 18 clqs
129.35/129.48 c (round 13) 484 del vars, 676 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 949106 impls, 18 clqs
131.35/131.40 c (round 14) 534 del vars, 676 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 949106 impls, 18 clqs
133.25/133.33 c (round 15) 534 del vars, 699 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 949106 impls, 18 clqs
133.75/133.81 c (round 16) 544 del vars, 699 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 949106 impls, 18 clqs
134.86/134.95 c presolving (17 rounds):
134.86/134.95 c 544 deleted vars, 699 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
134.86/134.95 c 949106 implications, 18 cliques
134.86/134.95 c presolved problem has 1960 variables (1960 bin, 0 int, 0 impl, 0 cont) and 1366 constraints
134.86/134.95 c 255 constraints of type <knapsack>
134.86/134.95 c 18 constraints of type <setppc>
134.86/134.95 c 1093 constraints of type <logicor>
134.86/134.95 c transformed objective value is always integral (scale: 1)
134.86/134.95 c Presolving Time: 134.40
134.86/134.95 c - non default parameters ----------------------------------------------------------------------
134.86/134.95 c # SCIP version 2.0.1.5
134.86/134.95 c
134.86/134.95 c # frequency for displaying node information lines
134.86/134.95 c # [type: int, range: [-1,2147483647], default: 100]
134.86/134.95 c display/freq = 10000
134.86/134.95 c
134.86/134.95 c # maximal time in seconds to run
134.86/134.95 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
134.86/134.95 c limits/time = 1797
134.86/134.95 c
134.86/134.95 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
134.86/134.95 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
134.86/134.95 c limits/memory = 13950
134.86/134.95 c
134.86/134.95 c # default clock type (1: CPU user seconds, 2: wall clock time)
134.86/134.95 c # [type: int, range: [1,2], default: 1]
134.86/134.95 c timing/clocktype = 2
134.86/134.95 c
134.86/134.95 c # belongs reading time to solving time?
134.86/134.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
134.86/134.95 c timing/reading = TRUE
134.86/134.95 c
134.86/134.95 c # should presolving try to simplify inequalities
134.86/134.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
134.86/134.95 c constraints/linear/simplifyinequalities = TRUE
134.86/134.95 c
134.86/134.95 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
134.86/134.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
134.86/134.95 c constraints/indicator/addCouplingCons = TRUE
134.86/134.95 c
134.86/134.95 c # should presolving try to simplify knapsacks
134.86/134.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
134.86/134.95 c constraints/knapsack/simplifyinequalities = TRUE
134.86/134.95 c
134.86/134.95 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
134.86/134.95 c # [type: int, range: [-1,2147483647], default: -1]
134.86/134.95 c separating/rapidlearning/freq = 0
134.86/134.95 c
134.86/134.95 c -----------------------------------------------------------------------------------------------
134.86/134.95 c start solving
134.86/134.95 c
135.35/135.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
135.35/135.42 c 135s| 1 | 0 | 141 | - | 116M| 0 | 77 |1960 |1380 |1960 |1366 | 0 | 14 | 0 | 4.500000e+01 | -- | Inf
166.65/166.78 c 167s| 1 | 0 | 8799 | - | 117M| 0 | 77 |1960 |1472 |1960 |1373 | 7 | 14 | 0 | 4.500000e+01 | -- | Inf
190.34/190.49 c 190s| 1 | 0 | 8977 | - | 118M| 0 | 85 |1960 |1472 |1960 |1384 | 18 | 14 | 0 | 4.500000e+01 | -- | Inf
216.34/216.48 c 216s| 1 | 0 | 10079 | - | 118M| 0 | 108 |1960 |1472 |1960 |1392 | 26 | 14 | 0 | 4.694904e+01 | -- | Inf
241.33/241.47 c 241s| 1 | 0 | 10483 | - | 118M| 0 | 175 |1960 |1472 |1960 |1397 | 31 | 14 | 0 | 4.852504e+01 | -- | Inf
266.53/266.63 c 267s| 1 | 0 | 11218 | - | 118M| 0 | 159 |1960 |1472 |1960 |1399 | 33 | 14 | 0 | 4.950370e+01 | -- | Inf
293.82/293.96 c 294s| 1 | 0 | 11274 | - | 118M| 0 | 162 |1960 |1472 |1960 |1402 | 36 | 14 | 0 | 4.950370e+01 | -- | Inf
320.92/321.01 c 321s| 1 | 0 | 11469 | - | 118M| 0 | 157 |1960 |1472 |1960 |1407 | 41 | 14 | 0 | 4.950382e+01 | -- | Inf
351.32/351.41 c 351s| 1 | 0 | 11563 | - | 118M| 0 | 143 |1960 |1472 |1960 |1411 | 45 | 14 | 0 | 4.967187e+01 | -- | Inf
381.71/381.89 c 382s| 1 | 0 | 11689 | - | 118M| 0 | 127 |1960 |1472 |1960 |1417 | 51 | 14 | 0 | 4.967188e+01 | -- | Inf
411.41/411.58 c 412s| 1 | 0 | 11873 | - | 118M| 0 | 104 |1960 |1472 |1960 |1422 | 56 | 14 | 0 | 5.000000e+01 | -- | Inf
441.10/441.20 c 441s| 1 | 0 | 12250 | - | 118M| 0 | 82 |1960 |1472 |1960 |1425 | 61 | 14 | 0 | 5.009275e+01 | -- | Inf
470.10/470.21 c 470s| 1 | 0 | 12772 | - | 118M| 0 | 98 |1960 |1472 |1960 |1432 | 68 | 14 | 0 | 5.057518e+01 | -- | Inf
497.19/497.36 c 497s| 1 | 0 | 12951 | - | 118M| 0 | 110 |1960 |1472 |1960 |1435 | 71 | 14 | 0 | 5.069564e+01 | -- | Inf
523.79/523.99 c 524s| 1 | 0 | 13238 | - | 118M| 0 | 94 |1960 |1472 |1960 |1440 | 76 | 14 | 0 | 5.082084e+01 | -- | Inf
551.19/551.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
551.19/551.36 c 551s| 1 | 0 | 13487 | - | 118M| 0 | 91 |1960 |1472 |1960 |1446 | 82 | 14 | 0 | 5.099248e+01 | -- | Inf
582.29/582.48 c 582s| 1 | 0 | 13802 | - | 118M| 0 | 99 |1960 |1472 |1960 |1452 | 88 | 14 | 0 | 5.207317e+01 | -- | Inf
615.68/615.84 c 616s| 1 | 0 | 14055 | - | 118M| 0 | 115 |1960 |1472 |1960 |1445 | 92 | 14 | 0 | 5.308313e+01 | -- | Inf
646.27/646.42 c 646s| 1 | 0 | 14267 | - | 119M| 0 | 122 |1960 |1472 |1960 |1448 | 95 | 14 | 0 | 5.332100e+01 | -- | Inf
679.97/680.11 c 680s| 1 | 0 | 15060 | - | 119M| 0 | 94 |1960 |1472 |1960 |1453 | 100 | 14 | 0 | 5.455720e+01 | -- | Inf
711.16/711.36 c 711s| 1 | 0 | 15509 | - | 119M| 0 | 118 |1960 |1472 |1960 |1457 | 104 | 14 | 0 | 5.478421e+01 | -- | Inf
746.35/746.56 c 747s| 1 | 0 | 16018 | - | 119M| 0 | 127 |1960 |1472 |1960 |1461 | 108 | 14 | 0 | 5.512743e+01 | -- | Inf
782.85/783.04 c 783s| 1 | 0 | 16182 | - | 119M| 0 | 107 |1960 |1472 |1960 |1464 | 111 | 14 | 0 | 5.516863e+01 | -- | Inf
820.55/820.70 c 821s| 1 | 0 | 16694 | - | 119M| 0 | 109 |1960 |1472 |1960 |1459 | 114 | 14 | 0 | 5.536890e+01 | -- | Inf
854.04/854.22 c 854s| 1 | 0 | 16931 | - | 119M| 0 | 82 |1960 |1472 |1960 |1461 | 116 | 14 | 0 | 5.592593e+01 | -- | Inf
886.63/886.81 c 887s| 1 | 0 | 17194 | - | 119M| 0 | 96 |1960 |1472 |1960 |1462 | 117 | 14 | 0 | 5.595773e+01 | -- | Inf
925.13/925.35 c 925s| 1 | 0 | 17722 | - | 119M| 0 | 121 |1960 |1472 |1960 |1465 | 120 | 14 | 0 | 5.670747e+01 | -- | Inf
963.33/963.51 c 964s| 1 | 0 | 17820 | - | 119M| 0 | 116 |1960 |1472 |1960 |1466 | 121 | 14 | 0 | 5.675494e+01 | -- | Inf
1002.41/1002.69 c 1003s| 1 | 0 | 18290 | - | 119M| 0 | 97 |1960 |1472 |1960 |1471 | 126 | 14 | 0 | 5.780679e+01 | -- | Inf
1041.52/1041.76 c 1042s| 1 | 0 | 18439 | - | 119M| 0 | 97 |1960 |1472 |1960 |1462 | 128 | 14 | 0 | 5.798805e+01 | -- | Inf
1079.71/1079.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1079.71/1079.90 c 1080s| 1 | 0 | 18526 | - | 119M| 0 | 99 |1960 |1472 |1960 |1465 | 131 | 14 | 0 | 5.807577e+01 | -- | Inf
1117.31/1117.57 c 1118s| 1 | 0 | 18798 | - | 120M| 0 | 91 |1960 |1472 |1960 |1470 | 136 | 14 | 0 | 5.846543e+01 | -- | Inf
1156.00/1156.24 c 1156s| 1 | 0 | 19393 | - | 120M| 0 | 122 |1960 |1472 |1960 |1478 | 144 | 14 | 0 | 5.949955e+01 | -- | Inf
1198.09/1198.38 c 1198s| 1 | 0 | 19758 | - | 120M| 0 | 105 |1960 |1472 |1960 |1482 | 148 | 14 | 0 | 6.041136e+01 | -- | Inf
1241.69/1241.90 c 1242s| 1 | 0 | 20086 | - | 120M| 0 | - |1960 |1472 |1960 |1485 | 151 | 14 | 0 | cutoff | -- | 0.00%
1241.69/1241.90 c 1242s| 1 | 0 | 20086 | - | 120M| 0 | - |1960 |1472 |1960 |1485 | 151 | 14 | 0 | cutoff | -- | 0.00%
1241.69/1241.90 c
1241.69/1241.90 c SCIP Status : problem is solved [infeasible]
1241.69/1241.90 c Solving Time (sec) : 1241.90
1241.69/1241.90 c Solving Nodes : 1
1241.69/1241.90 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1241.69/1241.90 c Dual Bound : +1.00000000000000e+20
1241.69/1241.90 c Gap : 0.00 %
1241.69/1241.90 s UNSATISFIABLE
1241.69/1241.90 c SCIP Status : problem is solved [infeasible]
1241.69/1241.90 c Total Time : 1241.90
1241.69/1241.90 c solving : 1241.90
1241.69/1241.90 c presolving : 134.40 (included in solving)
1241.69/1241.90 c reading : 0.38 (included in solving)
1241.69/1241.90 c Original Problem :
1241.69/1241.90 c Problem name : HOME/instance-3741375-1338774460.opb
1241.69/1241.90 c Variables : 2504 (2504 binary, 0 integer, 0 implicit integer, 0 continuous)
1241.69/1241.90 c Constraints : 2065 initial, 2065 maximal
1241.69/1241.90 c Presolved Problem :
1241.69/1241.90 c Problem name : t_HOME/instance-3741375-1338774460.opb
1241.69/1241.90 c Variables : 1960 (1960 binary, 0 integer, 0 implicit integer, 0 continuous)
1241.69/1241.90 c Constraints : 1366 initial, 1472 maximal
1241.69/1241.90 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1241.69/1241.90 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1241.69/1241.90 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1241.69/1241.90 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1241.69/1241.90 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1241.69/1241.90 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1241.69/1241.90 c implics : 0.00 0 0 0 0 0 0 0 0 0
1241.69/1241.90 c probing : 122.50 360 0 0 0 0 0 0 0 0
1241.69/1241.90 c knapsack : 11.10 0 0 0 0 0 0 0 0 0
1241.69/1241.90 c setppc : 0.01 184 0 0 0 0 1 0 0 0
1241.69/1241.90 c linear : 0.28 0 0 0 0 0 255 0 0 0
1241.69/1241.90 c logicor : 0.43 0 0 0 0 0 443 0 0 0
1241.69/1241.90 c root node : - 0 - - 0 - - - - -
1241.69/1241.90 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1241.69/1241.90 c integral : 0 0 0 0 0 4 0 0 0 0 0 0
1241.69/1241.90 c knapsack : 255 34 7574 0 0 3 73 375 0 0 0 0
1241.69/1241.90 c setppc : 18 34 7199 0 0 2 12784 0 0 0 0 0
1241.69/1241.90 c linear : 0+ 34 1 0 0 0 0 0 0 0 0 0
1241.69/1241.90 c logicor : 1093+ 34 6799 0 0 0 5892 0 0 0 0 0
1241.69/1241.90 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1241.69/1241.90 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1241.69/1241.90 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1241.69/1241.90 c knapsack : 1151.90 1092.22 59.67 0.00 0.00 0.02 0.00
1241.69/1241.90 c setppc : 0.11 0.00 0.03 0.00 0.00 0.00 0.08
1241.69/1241.90 c linear : 0.01 0.01 0.00 0.00 0.00 0.00 0.00
1241.69/1241.90 c logicor : 6.90 0.00 6.86 0.00 0.00 0.00 0.03
1241.69/1241.90 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1241.69/1241.90 c Propagators : #Propagate #Resprop Cutoffs DomReds
1241.69/1241.90 c vbounds : 0 0 0 0
1241.69/1241.90 c rootredcost : 0 0 0 0
1241.69/1241.90 c pseudoobj : 55 0 0 0
1241.69/1241.90 c Propagator Timings : TotalTime Propagate Resprop
1241.69/1241.90 c vbounds : 0.01 0.01 0.00
1241.69/1241.90 c rootredcost : 0.01 0.01 0.00
1241.69/1241.90 c pseudoobj : 0.01 0.01 0.00
1241.69/1241.90 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1241.69/1241.90 c propagation : 0.15 14 14 70 634.9 0 0.0 -
1241.69/1241.90 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1241.69/1241.90 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1241.69/1241.90 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1241.69/1241.90 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1241.69/1241.90 c applied globally : - - - 14 5.0 - - -
1241.69/1241.90 c applied locally : - - - 0 0.0 - - -
1241.69/1241.90 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1241.69/1241.90 c cut pool : 0.00 33 - - 146 - (maximal pool size: 290)
1241.69/1241.90 c redcost : 0.00 34 0 0 0 0
1241.69/1241.90 c impliedbounds : 0.02 34 0 0 0 0
1241.69/1241.90 c intobj : 0.00 0 0 0 0 0
1241.69/1241.90 c gomory : 0.58 34 0 0 644 0
1241.69/1241.90 c cgmip : 0.00 0 0 0 0 0
1241.69/1241.90 c closecuts : 0.00 0 0 0 0 0
1241.69/1241.90 c strongcg : 0.31 20 0 0 622 0
1241.69/1241.90 c cmir : 0.15 10 0 0 0 0
1241.69/1241.90 c flowcover : 0.21 10 0 0 0 0
1241.69/1241.90 c clique : 2.58 34 0 0 275 0
1241.69/1241.90 c zerohalf : 0.00 0 0 0 0 0
1241.69/1241.90 c mcf : 0.01 1 0 0 0 0
1241.69/1241.90 c oddcycle : 0.00 0 0 0 0 0
1241.69/1241.90 c rapidlearning : 5.31 1 0 0 0 92
1241.69/1241.90 c Pricers : Time Calls Vars
1241.69/1241.90 c problem variables: 0.00 0 0
1241.69/1241.90 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1241.69/1241.90 c pscost : 0.00 0 0 0 0 0 0
1241.69/1241.90 c inference : 0.00 0 0 0 0 0 0
1241.69/1241.90 c mostinf : 0.00 0 0 0 0 0 0
1241.69/1241.90 c leastinf : 0.00 0 0 0 0 0 0
1241.69/1241.90 c fullstrong : 0.00 0 0 0 0 0 0
1241.69/1241.90 c allfullstrong : 0.00 0 0 0 0 0 0
1241.69/1241.90 c random : 0.00 0 0 0 0 0 0
1241.69/1241.90 c relpscost : 0.00 0 0 0 0 0 0
1241.69/1241.90 c Primal Heuristics : Time Calls Found
1241.69/1241.90 c LP solutions : 0.00 - 0
1241.69/1241.90 c pseudo solutions : 0.00 - 0
1241.69/1241.90 c oneopt : 0.00 0 0
1241.69/1241.90 c trivial : 0.02 2 0
1241.69/1241.90 c shiftandpropagate: 0.38 1 0
1241.69/1241.90 c simplerounding : 0.00 0 0
1241.69/1241.90 c zirounding : 0.00 0 0
1241.69/1241.90 c rounding : 0.04 34 0
1241.69/1241.90 c shifting : 0.14 34 0
1241.69/1241.90 c intshifting : 0.00 0 0
1241.69/1241.90 c twoopt : 0.00 0 0
1241.69/1241.90 c fixandinfer : 0.00 0 0
1241.69/1241.90 c feaspump : 2.14 1 0
1241.69/1241.90 c clique : 0.00 0 0
1241.69/1241.90 c coefdiving : 0.00 0 0
1241.69/1241.90 c pscostdiving : 0.00 0 0
1241.69/1241.90 c fracdiving : 0.00 0 0
1241.69/1241.90 c veclendiving : 0.00 0 0
1241.69/1241.90 c intdiving : 0.00 0 0
1241.69/1241.90 c actconsdiving : 0.00 0 0
1241.69/1241.90 c objpscostdiving : 0.00 0 0
1241.69/1241.90 c rootsoldiving : 0.00 0 0
1241.69/1241.90 c linesearchdiving : 0.00 0 0
1241.69/1241.90 c guideddiving : 0.00 0 0
1241.69/1241.90 c octane : 0.00 0 0
1241.69/1241.90 c rens : 0.00 0 0
1241.69/1241.90 c rins : 0.00 0 0
1241.69/1241.90 c localbranching : 0.00 0 0
1241.69/1241.90 c mutation : 0.00 0 0
1241.69/1241.90 c crossover : 0.00 0 0
1241.69/1241.90 c dins : 0.00 0 0
1241.69/1241.90 c vbounds : 0.00 0 0
1241.69/1241.90 c undercover : 0.00 0 0
1241.69/1241.90 c subnlp : 0.00 0 0
1241.69/1241.90 c trysol : 0.00 0 0
1241.69/1241.90 c LP : Time Calls Iterations Iter/call Iter/sec
1241.69/1241.90 c primal LP : 0.02 0 0 0.00 0.00
1241.69/1241.90 c dual LP : 2.72 35 11520 329.14 4236.28
1241.69/1241.90 c lex dual LP : 0.00 0 0 0.00 -
1241.69/1241.90 c barrier LP : 0.00 0 0 0.00 -
1241.69/1241.90 c diving/probing LP: 2.14 6 8566 1427.67 4011.08
1241.69/1241.90 c strong branching : 0.00 0 0 0.00 -
1241.69/1241.90 c (at root node) : - 0 0 0.00 -
1241.69/1241.90 c conflict analysis: 0.00 0 0 0.00 -
1241.69/1241.90 c B&B Tree :
1241.69/1241.90 c number of runs : 1
1241.69/1241.90 c nodes : 1
1241.69/1241.90 c nodes (total) : 1
1241.69/1241.90 c nodes left : 0
1241.69/1241.90 c max depth : 0
1241.69/1241.90 c max depth (total): 0
1241.69/1241.90 c backtracks : 0 (0.0%)
1241.69/1241.90 c delayed cutoffs : 0
1241.69/1241.90 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1241.69/1241.90 c avg switch length: 2.00
1241.69/1241.90 c switching time : 0.00
1241.69/1241.90 c Solution :
1241.69/1241.90 c Solutions found : 0 (0 improvements)
1241.69/1241.90 c Primal Bound : infeasible
1241.69/1241.90 c Dual Bound : -
1241.69/1241.90 c Gap : 0.00 %
1241.69/1241.90 c Root Dual Bound : -
1241.69/1241.90 c Root Iterations : 20086
1241.78/1242.00 c Time complete: 1241.78.
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-3741375-1338774460/watcher-3741375-1338774460 -o /tmp/evaluation-result-3741375-1338774460/solver-3741375-1338774460 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3741375-1338774460.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.85 3/176 14947
/proc/meminfo: memFree=31189040/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=9592 CPUtime=0 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 1548 0 0 0 0 0 0 0 20 0 1 0 343573042 9822208 1502 33554432000 4194304 9016284 140736767156880 140734359757160 7927904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 2398 1505 329 1178 0 1216 0
[startup+0.04897 s]
/proc/loadavg: 2.00 2.00 1.85 3/176 14947
/proc/meminfo: memFree=31189040/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=17584 CPUtime=0.04 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 3381 0 0 0 4 0 0 0 20 0 1 0 343573042 18006016 3335 33554432000 4194304 9016284 140736767156880 140736767019080 7928096 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 4396 3335 360 1178 0 3214 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17584
[startup+0.100334 s]
/proc/loadavg: 2.00 2.00 1.85 3/176 14947
/proc/meminfo: memFree=31189040/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=20700 CPUtime=0.09 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 4163 0 0 0 9 0 0 0 20 0 1 0 343573042 21196800 4117 33554432000 4194304 9016284 140736767156880 140736767019080 7748130 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 5175 4117 360 1178 0 3993 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20700
[startup+0.300333 s]
/proc/loadavg: 2.00 2.00 1.85 3/176 14947
/proc/meminfo: memFree=31189040/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=30572 CPUtime=0.29 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 6402 0 0 0 28 1 0 0 20 0 1 0 343573042 31305728 6356 33554432000 4194304 9016284 140736767156880 140736767020776 7875499 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 7643 6356 360 1178 0 6461 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30572
[startup+0.700354 s]
/proc/loadavg: 2.00 2.00 1.85 3/176 14947
/proc/meminfo: memFree=31189040/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=132536 CPUtime=0.69 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 31595 0 0 0 63 6 0 0 20 0 1 0 343573042 135716864 31516 33554432000 4194304 9016284 140736767156880 140736767020776 5200795 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 33134 31516 469 1178 0 31952 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 132536
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 14948
/proc/meminfo: memFree=30969304/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=174544 CPUtime=1.49 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 44094 0 0 0 142 7 0 0 20 0 1 0 343573042 178733056 41844 33554432000 4194304 9016284 140736767156880 140736767152552 4638365 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 43636 41844 501 1178 0 42454 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 174544
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 14948
/proc/meminfo: memFree=30962204/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=174544 CPUtime=3.09 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 44147 0 0 0 302 7 0 0 20 0 1 0 343573042 178733056 41892 33554432000 4194304 9016284 140736767156880 140736767152552 5150801 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 43636 41892 528 1178 0 42454 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 174544
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 14948
/proc/meminfo: memFree=30940636/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=174544 CPUtime=6.29 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 44147 0 0 0 622 7 0 0 20 0 1 0 343573042 178733056 41892 33554432000 4194304 9016284 140736767156880 140736767152552 5150734 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 43636 41892 528 1178 0 42454 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 174544
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 14948
/proc/meminfo: memFree=30907700/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=174544 CPUtime=12.69 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 44147 0 0 0 1262 7 0 0 20 0 1 0 343573042 178733056 41892 33554432000 4194304 9016284 140736767156880 140736767152552 5150840 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 43636 41892 528 1178 0 42454 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 174544
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 14948
/proc/meminfo: memFree=30874244/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=174544 CPUtime=25.48 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 44147 0 0 0 2541 7 0 0 20 0 1 0 343573042 178733056 41892 33554432000 4194304 9016284 140736767156880 140736767152552 5150789 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 43636 41892 528 1178 0 42454 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 174544
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 14948
/proc/meminfo: memFree=30860200/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=187684 CPUtime=51.08 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 47380 0 0 0 5100 8 0 0 20 0 1 0 343573042 192188416 45247 33554432000 4194304 9016284 140736767156880 140736767152472 7875499 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 46921 45247 528 1178 0 45739 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 187684
[startup+102.307 s]
/proc/loadavg: 2.03 2.01 1.87 3/177 14948
/proc/meminfo: memFree=30831352/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=212640 CPUtime=102.26 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 53289 0 0 0 10217 9 0 0 20 0 1 0 343573042 217743360 51782 33554432000 4194304 9016284 140736767156880 140736767152472 4195024 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 53160 51782 535 1178 0 51978 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 212640
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.87 3/178 14951
/proc/meminfo: memFree=30695588/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=389076 CPUtime=162.25 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 92606 0 0 0 16208 17 0 0 20 0 1 0 343573042 398413824 94950 33554432000 4194304 9016284 140736767156880 140736767150440 4638365 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 97269 94950 696 1178 0 96087 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 389076
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 14951
/proc/meminfo: memFree=30685708/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=353824 CPUtime=222.24 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 93101 0 0 0 22207 17 0 0 20 0 1 0 343573042 362315776 87475 33554432000 4194304 9016284 140736767156880 140736767151448 5151747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 88456 87475 708 1178 0 87274 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 353824
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 14952
/proc/meminfo: memFree=30674516/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=353824 CPUtime=282.22 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 93103 0 0 0 28205 17 0 0 20 0 1 0 343573042 362315776 87477 33554432000 4194304 9016284 140736767156880 140736767151448 4399861 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 88456 87477 708 1178 0 87274 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 353824
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 14952
/proc/meminfo: memFree=30604456/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=353824 CPUtime=342.22 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 93120 0 0 0 34205 17 0 0 20 0 1 0 343573042 362315776 87494 33554432000 4194304 9016284 140736767156880 140736767151448 4399982 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 88456 87494 708 1178 0 87274 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 353824
[startup+402.3 s]
/proc/loadavg: 2.04 2.01 1.90 3/177 14952
/proc/meminfo: memFree=30657916/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=353824 CPUtime=402.21 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 93122 0 0 0 40203 18 0 0 20 0 1 0 343573042 362315776 87778 33554432000 4194304 9016284 140736767156880 140736767151448 5169969 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 88456 87778 708 1178 0 87274 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 353824
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/177 14952
/proc/meminfo: memFree=30656868/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=353824 CPUtime=462.2 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 93130 0 0 0 46202 18 0 0 20 0 1 0 343573042 362315776 87931 33554432000 4194304 9016284 140736767156880 140736767151448 5151713 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 88456 87931 708 1178 0 87274 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 353824
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 14952
/proc/meminfo: memFree=30656744/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=353824 CPUtime=522.19 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 93130 0 0 0 52201 18 0 0 20 0 1 0 343573042 362315776 87931 33554432000 4194304 9016284 140736767156880 140736767151448 4399840 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 88456 87931 708 1178 0 87274 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 353824
[startup+582.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/177 14953
/proc/meminfo: memFree=30656728/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=353824 CPUtime=582.18 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 93130 0 0 0 58199 19 0 0 20 0 1 0 343573042 362315776 87931 33554432000 4194304 9016284 140736767156880 140736767151448 5151715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 88456 87931 708 1178 0 87274 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 353824
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30656408/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=353824 CPUtime=642.18 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 93130 0 0 0 64199 19 0 0 20 0 1 0 343573042 362315776 87931 33554432000 4194304 9016284 140736767156880 140736767151448 5151713 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 88456 87931 708 1178 0 87274 0
Current children cumulated CPU time (s) 642.18
Current children cumulated vsize (KiB) 353824
[startup+702.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 14953
/proc/meminfo: memFree=30656160/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=353824 CPUtime=702.16 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 93130 0 0 0 70197 19 0 0 20 0 1 0 343573042 362315776 87931 33554432000 4194304 9016284 140736767156880 140736767151448 5151715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 88456 87931 708 1178 0 87274 0
Current children cumulated CPU time (s) 702.16
Current children cumulated vsize (KiB) 353824
[startup+762.307 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 14956
/proc/meminfo: memFree=30656028/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=353824 CPUtime=762.16 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 93130 0 0 0 76197 19 0 0 20 0 1 0 343573042 362315776 87931 33554432000 4194304 9016284 140736767156880 140736767151448 5151696 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 88456 87931 708 1178 0 87274 0
Current children cumulated CPU time (s) 762.16
Current children cumulated vsize (KiB) 353824
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 14979
/proc/meminfo: memFree=30655904/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=353824 CPUtime=822.15 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 93130 0 0 0 82195 20 0 0 20 0 1 0 343573042 362315776 87931 33554432000 4194304 9016284 140736767156880 140736767151448 4399861 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 88456 87931 708 1178 0 87274 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 353824
[startup+882.3 s]
/proc/loadavg: 2.03 2.01 1.92 3/177 14980
/proc/meminfo: memFree=30655044/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=353824 CPUtime=882.13 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 93130 0 0 0 88193 20 0 0 20 0 1 0 343573042 362315776 87931 33554432000 4194304 9016284 140736767156880 140736767151448 5151756 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 88456 87931 708 1178 0 87274 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 353824
[startup+942.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/177 14980
/proc/meminfo: memFree=30654856/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=353824 CPUtime=942.12 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 93130 0 0 0 94192 20 0 0 20 0 1 0 343573042 362315776 87931 33554432000 4194304 9016284 140736767156880 140736767151448 5151756 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 88456 87931 708 1178 0 87274 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 353824
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 14980
/proc/meminfo: memFree=30654484/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=353824 CPUtime=1002.11 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 93130 0 0 0 100191 20 0 0 20 0 1 0 343573042 362315776 87931 33554432000 4194304 9016284 140736767156880 140736767151448 5151713 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 88456 87931 708 1178 0 87274 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 353824
[startup+1062.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/177 14980
/proc/meminfo: memFree=30654112/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=353824 CPUtime=1062.11 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 93130 0 0 0 106190 21 0 0 20 0 1 0 343573042 362315776 87931 33554432000 4194304 9016284 140736767156880 140736767151448 5151713 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 88456 87931 708 1178 0 87274 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 353824
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 14980
/proc/meminfo: memFree=30654236/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=353824 CPUtime=1122.1 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 93130 0 0 0 112189 21 0 0 20 0 1 0 343573042 362315776 87931 33554432000 4194304 9016284 140736767156880 140736767151448 5151726 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 88456 87931 708 1178 0 87274 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 353824
[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/177 14981
/proc/meminfo: memFree=30654112/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=353824 CPUtime=1182.09 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 93130 0 0 0 118188 21 0 0 20 0 1 0 343573042 362315776 87931 33554432000 4194304 9016284 140736767156880 140736767151448 4399861 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 88456 87931 708 1178 0 87274 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 353824
Solver just ended. Dumping a history of the last processes samples
[startup+1203.1 s]
/proc/loadavg: 2.04 2.02 1.93 3/177 14981
/proc/meminfo: memFree=30654112/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=353824 CPUtime=1202.89 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 93130 0 0 0 120268 21 0 0 20 0 1 0 343573042 362315776 87931 33554432000 4194304 9016284 140736767156880 140736767151448 5151713 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 88456 87931 708 1178 0 87274 0
Current children cumulated CPU time (s) 1202.89
Current children cumulated vsize (KiB) 353824
[startup+1228.71 s]
/proc/loadavg: 2.03 2.02 1.93 3/177 14981
/proc/meminfo: memFree=30653864/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=353824 CPUtime=1228.49 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 93130 0 0 0 122828 21 0 0 20 0 1 0 343573042 362315776 87931 33554432000 4194304 9016284 140736767156880 140736767151448 5151696 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 88456 87931 708 1178 0 87274 0
Current children cumulated CPU time (s) 1228.49
Current children cumulated vsize (KiB) 353824
[startup+1235.1 s]
/proc/loadavg: 2.03 2.02 1.93 3/177 14981
/proc/meminfo: memFree=30653864/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=353824 CPUtime=1234.88 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 93130 0 0 0 123467 21 0 0 20 0 1 0 343573042 362315776 87931 33554432000 4194304 9016284 140736767156880 140736767151448 5151715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 88456 87931 708 1178 0 87274 0
Current children cumulated CPU time (s) 1234.88
Current children cumulated vsize (KiB) 353824
[startup+1238.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 14981
/proc/meminfo: memFree=30653864/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=353824 CPUtime=1238.08 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 93130 0 0 0 123787 21 0 0 20 0 1 0 343573042 362315776 87931 33554432000 4194304 9016284 140736767156880 140736767151448 5151713 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 88456 87931 708 1178 0 87274 0
Current children cumulated CPU time (s) 1238.08
Current children cumulated vsize (KiB) 353824
[startup+1239.9 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 14981
/proc/meminfo: memFree=30653864/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=353824 CPUtime=1239.68 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 93130 0 0 0 123947 21 0 0 20 0 1 0 343573042 362315776 87931 33554432000 4194304 9016284 140736767156880 140736767151448 4399840 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 88456 87931 708 1178 0 87274 0
Current children cumulated CPU time (s) 1239.68
Current children cumulated vsize (KiB) 353824
[startup+1240.7 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 14981
/proc/meminfo: memFree=30653864/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=353824 CPUtime=1240.49 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 93130 0 0 0 124028 21 0 0 20 0 1 0 343573042 362315776 87931 33554432000 4194304 9016284 140736767156880 140736767151448 4399973 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 88456 87931 708 1178 0 87274 0
Current children cumulated CPU time (s) 1240.49
Current children cumulated vsize (KiB) 353824
[startup+1241.5 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 14981
/proc/meminfo: memFree=30653864/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=353824 CPUtime=1241.28 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 93130 0 0 0 124107 21 0 0 20 0 1 0 343573042 362315776 87931 33554432000 4194304 9016284 140736767156880 140736767151448 5151715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 88456 87931 708 1178 0 87274 0
Current children cumulated CPU time (s) 1241.28
Current children cumulated vsize (KiB) 353824
[startup+1241.91 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 14981
/proc/meminfo: memFree=30653864/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=353824 CPUtime=1241.69 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 93130 0 0 0 124148 21 0 0 20 0 1 0 343573042 362315776 87931 33554432000 4194304 9016284 140736767156880 140736767151448 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 88456 87931 708 1178 0 87274 0
Current children cumulated CPU time (s) 1241.69
Current children cumulated vsize (KiB) 353824
[startup+1242 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 14981
/proc/meminfo: memFree=30653864/32873844 swapFree=7116/7116
[pid=14947] ppid=14945 vsize=302032 CPUtime=1241.78 cores=1,3,5,7
/proc/14947/stat : 14947 (scip-2.0.1.4b_2) R 14945 14947 14772 0 -1 4202496 93132 0 0 0 124156 22 0 0 20 0 1 0 343573042 309280768 74986 33554432000 4194304 9016284 140736767156880 140736767151448 7933303 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14947/statm: 75508 74986 710 1178 0 74326 0
Current children cumulated CPU time (s) 1241.78
Current children cumulated vsize (KiB) 302032
Child status: 0
Real time (s): 1242.01
CPU time (s): 1241.8
CPU user time (s): 1241.57
CPU system time (s): 0.229965
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 389588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1241.57
system time used= 0.229965
maximum resident set size= 380376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93137
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= 27
involuntary context switches= 1337
runsolver used 3.36749 second user time and 7.09992 second system time
The end