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-3488979-1307771371.opb>
0.00/0.04 c original problem has 1287 variables (1287 bin, 0 int, 0 impl, 0 cont) and 2430 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.05 c presolving:
0.06/0.07 c (round 1) 0 del vars, 1210 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 10 upgd conss, 0 impls, 0 clqs
0.19/0.20 c (0.2s) probing: 112/1287 (8.7%) - 0 fixings, 0 aggregations, 489 implications, 0 bound changes
0.19/0.20 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.20 c presolving (2 rounds):
0.19/0.20 c 0 deleted vars, 1210 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.20 c 2530 implications, 0 cliques
0.19/0.20 c presolved problem has 1287 variables (1287 bin, 0 int, 0 impl, 0 cont) and 1220 constraints
0.19/0.20 c 10 constraints of type <knapsack>
0.19/0.20 c 1210 constraints of type <linear>
0.19/0.20 c transformed objective value is always integral (scale: 1)
0.19/0.20 c Presolving Time: 0.15
0.19/0.20 c - non default parameters ----------------------------------------------------------------------
0.19/0.20 c # SCIP version 2.0.1.5
0.19/0.20 c
0.19/0.20 c # frequency for displaying node information lines
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.20 c display/freq = 10000
0.19/0.20 c
0.19/0.20 c # maximal time in seconds to run
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/time = 1797
0.19/0.20 c
0.19/0.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/memory = 13950
0.19/0.20 c
0.19/0.20 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.20 c # [type: int, range: [1,2], default: 1]
0.19/0.20 c timing/clocktype = 2
0.19/0.20 c
0.19/0.20 c # belongs reading time to solving time?
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c timing/reading = TRUE
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify inequalities
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/linear/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/indicator/addCouplingCons = TRUE
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify knapsacks
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c separating/rapidlearning/freq = 0
0.19/0.20 c
0.19/0.20 c -----------------------------------------------------------------------------------------------
0.19/0.20 c start solving
0.19/0.20 c
0.19/0.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.26 c 0.3s| 1 | 0 | 1424 | - | 10M| 0 | 768 |1287 |1237 |1287 |1220 | 0 | 17 | 0 | 1.000000e+01 | -- | Inf
1.39/1.41 c 1.4s| 1 | 0 | 6881 | - | 11M| 0 | 779 |1287 |1651 |1287 |1334 | 114 | 17 | 0 | 1.000000e+01 | -- | Inf
1.49/1.53 c 1.5s| 1 | 0 | 6966 | - | 12M| 0 | 783 |1287 |1651 |1287 |1447 | 227 | 17 | 0 | 1.000000e+01 | -- | Inf
1.59/1.68 c 1.7s| 1 | 0 | 7115 | - | 12M| 0 | 774 |1287 |1651 |1287 |1565 | 345 | 17 | 0 | 1.000000e+01 | -- | Inf
1.79/1.84 c 1.8s| 1 | 0 | 7483 | - | 13M| 0 | 780 |1287 |1651 |1287 |1677 | 457 | 17 | 0 | 1.000000e+01 | -- | Inf
1.99/2.02 c 2.0s| 1 | 0 | 7781 | - | 13M| 0 | 795 |1287 |1651 |1287 |1797 | 577 | 17 | 0 | 1.000509e+01 | -- | Inf
2.20/2.21 c 2.2s| 1 | 0 | 8150 | - | 14M| 0 | 794 |1287 |1651 |1287 |1923 | 703 | 17 | 0 | 1.025000e+01 | -- | Inf
2.49/2.52 c 2.5s| 1 | 0 | 8591 | - | 14M| 0 | 793 |1287 |1651 |1287 |2031 | 811 | 17 | 0 | 1.025000e+01 | -- | Inf
2.79/2.87 c 2.9s| 1 | 0 | 10184 | - | 15M| 0 | 797 |1287 |1651 |1287 |2151 | 931 | 17 | 0 | 1.025000e+01 | -- | Inf
3.09/3.17 c 3.2s| 1 | 0 | 10819 | - | 16M| 0 | 802 |1287 |1651 |1287 |2276 |1056 | 17 | 0 | 1.033333e+01 | -- | Inf
3.40/3.48 c 3.5s| 1 | 0 | 11453 | - | 16M| 0 | 810 |1287 |1651 |1287 |2404 |1184 | 17 | 0 | 1.033333e+01 | -- | Inf
3.59/3.65 c 3.6s| 1 | 0 | 11869 | - | 16M| 0 | 787 |1287 |1651 |1287 |2450 |1230 | 17 | 0 | 1.033333e+01 | -- | Inf
3.79/3.81 c 3.8s| 1 | 0 | 12473 | - | 16M| 0 | 788 |1287 |1651 |1287 |2479 |1259 | 17 | 0 | 1.033333e+01 | -- | Inf
3.90/3.99 c 4.0s| 1 | 0 | 13024 | - | 17M| 0 | 789 |1287 |1651 |1287 |2524 |1304 | 17 | 0 | 1.033333e+01 | -- | Inf
4.09/4.19 c 4.2s| 1 | 0 | 13809 | - | 17M| 0 | 781 |1287 |1651 |1287 |2549 |1329 | 17 | 0 | 1.033333e+01 | -- | Inf
8.99/9.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.99/9.06 c 9.1s| 1 | 2 | 13809 | - | 17M| 0 | 781 |1287 |1651 |1287 |2549 |1329 | 17 | 44 | 1.033333e+01 | -- | Inf
197.59/197.65 c 198s| 10000 | 4580 | 1492k| 147.9 | 30M| 55 | 314 |1287 |3343 |1287 |1488 |1329 | 11k|4756 | 1.500000e+01 | -- | Inf
295.00/295.08 c 295s| 20000 | 6410 | 2344k| 116.5 | 38M| 67 | 379 |1287 |3780 |1287 |1488 |1329 | 24k|7157 | 1.600000e+01 | -- | Inf
386.19/386.27 c 386s| 30000 | 7656 | 3147k| 104.5 | 45M| 67 | 283 |1287 |4374 |1287 |1488 |1329 | 39k| 10k| 1.700000e+01 | -- | Inf
448.89/448.97 c 449s| 40000 | 8423 | 3716k| 92.6 | 51M| 69 | 454 |1287 |6204 |1287 |1488 |1329 | 55k| 11k| 1.700000e+01 | -- | Inf
529.69/529.78 c 530s| 50000 | 9507 | 4392k| 87.6 | 57M| 72 | 342 |1287 |5896 |1287 |1488 |1329 | 69k| 14k| 1.700000e+01 | -- | Inf
592.00/592.09 c 592s| 60000 | 10216 | 4999k| 83.1 | 63M| 75 | 505 |1287 |6144 |1287 |1488 |1329 | 85k| 15k| 1.800000e+01 | -- | Inf
663.31/663.37 c 663s| 70000 | 11070 | 5585k| 79.6 | 68M| 75 | - |1287 |6152 |1287 |1488 |1329 | 101k| 17k| 1.800000e+01 | -- | Inf
728.80/728.89 c 729s| 80000 | 11681 | 6174k| 77.0 | 73M| 75 | 475 |1287 |6386 |1287 |1488 |1329 | 117k| 19k| 1.800000e+01 | -- | Inf
790.11/790.19 c 790s| 90000 | 12231 | 6732k| 74.7 | 78M| 75 | - |1287 |6615 |1287 |1488 |1329 | 134k| 20k| 1.860000e+01 | -- | Inf
858.01/858.04 c 858s|100000 | 12633 | 7272k| 72.6 | 81M| 93 | - |1287 |5844 |1287 |1488 |1329 | 151k| 23k| 1.900000e+01 | -- | Inf
909.91/909.96 c 910s|110000 | 12840 | 7748k| 70.3 | 84M| 93 | 311 |1287 |7497 |1287 |1488 |1329 | 167k| 23k| 1.900000e+01 | -- | Inf
967.21/967.26 c 967s|120000 | 13198 | 8268k| 68.8 | 87M| 93 | - |1287 |7335 | 0 | 0 |1329 | 184k| 24k| 1.900000e+01 | -- | Inf
1034.61/1034.68 c 1035s|130000 | 13618 | 8832k| 67.8 | 91M| 93 | - |1287 |8149 | 0 | 0 |1329 | 201k| 27k| 1.900000e+01 | -- | Inf
1097.11/1097.14 c 1097s|140000 | 14208 | 9413k| 67.1 | 96M| 93 | 450 |1287 |7804 |1287 |1488 |1329 | 217k| 28k| 1.900000e+01 | -- | Inf
1151.02/1151.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1151.02/1151.09 c 1151s|150000 | 14691 | 9976k| 66.4 | 99M| 93 | 428 |1287 |6704 |1287 |1488 |1329 | 234k| 28k| 2.000000e+01 | -- | Inf
1207.52/1207.51 c 1208s|160000 | 14944 | 10461k| 65.3 | 102M| 93 | 477 |1287 |7790 |1287 |1488 |1329 | 250k| 30k| 2.000000e+01 | -- | Inf
1272.32/1272.34 c 1272s|170000 | 15257 | 11027k| 64.8 | 105M| 93 | 363 |1287 |7437 |1287 |1488 |1329 | 265k| 32k| 2.000000e+01 | -- | Inf
1335.42/1335.47 c 1335s|180000 | 15717 | 11612k| 64.4 | 108M| 93 | 455 |1287 |7598 |1287 |1488 |1329 | 282k| 34k| 2.033333e+01 | -- | Inf
1381.91/1381.95 c 1382s|190000 | 16006 | 12103k| 63.6 | 111M| 93 | - |1287 |6990 | 0 | 0 |1329 | 298k| 34k| 2.100000e+01 | -- | Inf
1444.52/1444.54 c 1445s|200000 | 16286 | 12688k| 63.4 | 116M| 93 | - |1287 | 10k|1287 |1488 |1329 | 315k| 36k| 2.100000e+01 | -- | Inf
1507.42/1507.43 c 1507s|210000 | 16536 | 13217k| 62.9 | 118M| 97 | 308 |1287 |9446 |1287 |1488 |1329 | 330k| 38k| 2.100000e+01 | -- | Inf
1568.22/1568.22 c 1568s|220000 | 16769 | 13720k| 62.3 | 122M| 97 | 285 |1287 |9754 |1287 |1488 |1329 | 346k| 41k| 2.100000e+01 | -- | Inf
1629.63/1629.69 c 1630s|230000 | 16934 | 14275k| 62.0 | 124M| 97 | 317 |1287 |8930 |1287 |1488 |1329 | 362k| 43k| 2.100000e+01 | -- | Inf
1678.72/1678.79 c 1679s|240000 | 17244 | 14807k| 61.6 | 126M| 97 | 317 |1287 |7252 |1287 |1488 |1329 | 377k| 43k| 2.100000e+01 | -- | Inf
1731.73/1731.70 c 1732s|250000 | 17449 | 15330k| 61.3 | 128M| 97 | 414 |1287 |6968 |1287 |1488 |1329 | 393k| 44k| 2.200000e+01 | -- | Inf
1792.43/1792.45 c 1792s|260000 | 17690 | 15912k| 61.2 | 132M| 97 | 209 |1287 |8409 |1287 |1488 |1329 | 408k| 46k| 2.200000e+01 | -- | Inf
1797.03/1797.01 c
1797.03/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.01 c Solving Time (sec) : 1797.01
1797.03/1797.01 c Solving Nodes : 260667
1797.03/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.03/1797.01 c Dual Bound : +2.20000000000000e+01
1797.03/1797.01 c Gap : infinite
1797.03/1797.01 s UNKNOWN
1797.03/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.01 c Total Time : 1797.01
1797.03/1797.01 c solving : 1797.01
1797.03/1797.01 c presolving : 0.15 (included in solving)
1797.03/1797.01 c reading : 0.04 (included in solving)
1797.03/1797.01 c Original Problem :
1797.03/1797.01 c Problem name : HOME/instance-3488979-1307771371.opb
1797.03/1797.01 c Variables : 1287 (1287 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.01 c Constraints : 2430 initial, 2430 maximal
1797.03/1797.01 c Presolved Problem :
1797.03/1797.01 c Problem name : t_HOME/instance-3488979-1307771371.opb
1797.03/1797.01 c Variables : 1287 (1287 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.01 c Constraints : 1220 initial, 11255 maximal
1797.03/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c probing : 0.12 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c linear : 0.03 0 0 0 0 0 1210 0 0 0
1797.03/1797.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c root node : - 0 - - 0 - - - - -
1797.03/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.01 c integral : 0 0 0 161265 0 4 0 332 34659 0 0 307236
1797.03/1797.01 c knapsack : 10 14 1450692 0 1 3 1835913 5259 175017 172 0 0
1797.03/1797.01 c linear : 1210+ 15 1445579 0 0 0 1306149 61358 15978099 2 0 0
1797.03/1797.01 c logicor : 0+ 14 790081 0 0 0 1791600 4995 1564368 0 0 0
1797.03/1797.01 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.03/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.01 c integral : 327.82 0.00 0.00 327.82 0.00 0.00 0.00
1797.03/1797.01 c knapsack : 8.88 0.00 8.22 0.00 0.00 0.00 0.66
1797.03/1797.01 c linear : 154.85 0.00 153.38 0.00 0.00 0.00 1.46
1797.03/1797.01 c logicor : 32.55 0.00 31.26 0.00 0.00 0.00 1.29
1797.03/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.01 c vbounds : 0 0 0 0
1797.03/1797.01 c rootredcost : 0 0 0 0
1797.03/1797.01 c pseudoobj : 1450643 0 0 0
1797.03/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.01 c vbounds : 0.20 0.20 0.00
1797.03/1797.01 c rootredcost : 0.22 0.22 0.00
1797.03/1797.01 c pseudoobj : 0.63 0.63 0.00
1797.03/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.01 c propagation : 5.64 71612 71595 808807 36.0 3818 22.8 -
1797.03/1797.01 c infeasible LP : 9.29 75495 75495 351430 24.5 6160 18.3 0
1797.03/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.01 c applied globally : - - - 409649 24.5 - - -
1797.03/1797.01 c applied locally : - - - 0 0.0 - - -
1797.03/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.01 c cut pool : 0.01 13 - - 11088 - (maximal pool size: 6800)
1797.03/1797.01 c redcost : 3.23 161423 0 217 0 0
1797.03/1797.01 c impliedbounds : 0.00 14 0 0 29 0
1797.03/1797.01 c intobj : 0.00 0 0 0 0 0
1797.03/1797.01 c gomory : 0.34 14 0 0 944 0
1797.03/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.01 c strongcg : 0.33 14 0 0 860 0
1797.03/1797.01 c cmir : 0.74 10 0 0 5000 0
1797.03/1797.01 c flowcover : 0.48 10 0 0 2000 0
1797.03/1797.01 c clique : 0.00 1 0 0 0 0
1797.03/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.01 c mcf : 0.00 1 0 0 0 0
1797.03/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.01 c rapidlearning : 0.72 1 0 0 0 414
1797.03/1797.01 c Pricers : Time Calls Vars
1797.03/1797.01 c problem variables: 0.00 0 0
1797.03/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.01 c relpscost : 327.68 161265 332 34659 0 0 307236
1797.03/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.01 c inference : 0.00 1 0 0 0 0 2
1797.03/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.01 c random : 0.00 0 0 0 0 0 0
1797.03/1797.01 c Primal Heuristics : Time Calls Found
1797.03/1797.01 c LP solutions : 0.00 - 0
1797.03/1797.01 c pseudo solutions : 0.00 - 0
1797.03/1797.01 c oneopt : 0.08 0 0
1797.03/1797.01 c crossover : 0.05 0 0
1797.03/1797.01 c guideddiving : 0.01 0 0
1797.03/1797.01 c intshifting : 0.00 0 0
1797.03/1797.01 c objpscostdiving : 17.52 134 0
1797.03/1797.01 c feaspump : 19.15 142 0
1797.03/1797.01 c rootsoldiving : 7.59 153 0
1797.03/1797.01 c fracdiving : 52.27 306 0
1797.03/1797.01 c coefdiving : 66.39 306 0
1797.03/1797.01 c linesearchdiving : 16.76 331 0
1797.03/1797.01 c pscostdiving : 19.41 332 0
1797.03/1797.01 c veclendiving : 15.59 332 0
1797.03/1797.01 c trivial : 0.00 2 0
1797.03/1797.01 c shiftandpropagate: 0.03 1 0
1797.03/1797.01 c simplerounding : 0.04 0 0
1797.03/1797.01 c zirounding : 0.26 1000 0
1797.03/1797.01 c rounding : 1.29 5639 0
1797.03/1797.01 c shifting : 10.07 1749 0
1797.03/1797.01 c twoopt : 0.00 0 0
1797.03/1797.01 c fixandinfer : 0.00 0 0
1797.03/1797.01 c clique : 0.00 0 0
1797.03/1797.01 c intdiving : 0.00 0 0
1797.03/1797.01 c actconsdiving : 0.00 0 0
1797.03/1797.01 c octane : 0.00 0 0
1797.03/1797.01 c rens : 0.02 0 0
1797.03/1797.01 c rins : 0.00 0 0
1797.03/1797.01 c localbranching : 0.00 0 0
1797.03/1797.01 c mutation : 0.00 0 0
1797.03/1797.01 c dins : 0.00 0 0
1797.03/1797.01 c vbounds : 0.00 0 0
1797.03/1797.01 c undercover : 0.00 0 0
1797.03/1797.01 c subnlp : 0.04 0 0
1797.03/1797.01 c trysol : 0.05 0 0
1797.03/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.01 c primal LP : 0.00 0 0 0.00 -
1797.03/1797.01 c dual LP : 884.97 217205 13812924 63.59 15608.37
1797.03/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.01 c diving/probing LP: 186.69 58336 2144407 36.76 11486.35
1797.03/1797.01 c strong branching : 313.35 46324 3022838 65.25 9646.87
1797.03/1797.01 c (at root node) : - 44 32143 730.52 -
1797.03/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.01 c B&B Tree :
1797.03/1797.01 c number of runs : 1
1797.03/1797.01 c nodes : 260667
1797.03/1797.01 c nodes (total) : 260667
1797.03/1797.01 c nodes left : 17728
1797.03/1797.01 c max depth : 97
1797.03/1797.01 c max depth (total): 97
1797.03/1797.01 c backtracks : 41878 (16.1%)
1797.03/1797.01 c delayed cutoffs : 28844
1797.03/1797.01 c repropagations : 490998 (5838306 domain reductions, 18145 cutoffs)
1797.03/1797.01 c avg switch length: 7.62
1797.03/1797.01 c switching time : 99.89
1797.03/1797.01 c Solution :
1797.03/1797.01 c Solutions found : 0 (0 improvements)
1797.03/1797.01 c Primal Bound : -
1797.03/1797.01 c Dual Bound : +2.20000000000000e+01
1797.03/1797.01 c Gap : infinite
1797.03/1797.01 c Root Dual Bound : +1.03333333333333e+01
1797.03/1797.01 c Root Iterations : 13809
1797.13/1797.13 c Time complete: 1797.17.
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-3488979-1307771371/watcher-3488979-1307771371 -o /tmp/evaluation-result-3488979-1307771371/solver-3488979-1307771371 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488979-1307771371.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.95 2/174 12389
/proc/meminfo: memFree=31594468/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=12564 CPUtime=0 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 2136 0 0 0 0 0 0 0 25 0 1 0 888737517 12865536 2090 33554432000 4194304 9016284 140733951167040 18446744073709551615 4651744 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12389/statm: 3141 2092 360 1178 0 1959 0
[startup+0.0701281 s]
/proc/loadavg: 2.00 2.00 1.95 2/174 12389
/proc/meminfo: memFree=31594468/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=35648 CPUtime=0.06 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 7814 0 0 0 6 0 0 0 25 0 1 0 888737517 36503552 7511 33554432000 4194304 9016284 140733951167040 18446744073709551615 4202531 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12389/statm: 8912 7511 474 1178 0 7730 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 35648
[startup+0.101111 s]
/proc/loadavg: 2.00 2.00 1.95 2/174 12389
/proc/meminfo: memFree=31594468/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=36712 CPUtime=0.09 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 8131 0 0 0 9 0 0 0 25 0 1 0 888737517 37593088 7828 33554432000 4194304 9016284 140733951167040 18446744073709551615 5214664 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12389/statm: 9178 7828 514 1178 0 7996 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36712
[startup+0.301073 s]
/proc/loadavg: 2.00 2.00 1.95 2/174 12389
/proc/meminfo: memFree=31594468/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=45740 CPUtime=0.29 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 10874 0 0 0 28 1 0 0 18 0 1 0 888737517 46837760 10229 33554432000 4194304 9016284 140733951167040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12389/statm: 11435 10229 670 1178 0 10253 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45740
[startup+0.701015 s]
/proc/loadavg: 2.00 2.00 1.95 2/174 12389
/proc/meminfo: memFree=31594468/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=53588 CPUtime=0.69 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 12967 0 0 0 66 3 0 0 18 0 1 0 888737517 54874112 12300 33554432000 4194304 9016284 140733951167040 18446744073709551615 4509680 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12389/statm: 13397 12300 681 1178 0 12215 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53588
[startup+1.50085 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 12390
/proc/meminfo: memFree=31534964/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=66500 CPUtime=1.49 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 16723 0 0 0 146 3 0 0 19 0 1 0 888737517 68096000 15340 33554432000 4194304 9016284 140733951167040 18446744073709551615 4243879 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12389/statm: 16625 15340 708 1178 0 15443 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 66500
[startup+3.10056 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 12390
/proc/meminfo: memFree=31534964/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=66500 CPUtime=3.09 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 17031 0 0 0 304 5 0 0 23 0 1 0 888737517 68096000 15622 33554432000 4194304 9016284 140733951167040 18446744073709551615 6561073 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12389/statm: 16625 15622 699 1178 0 15443 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66500
[startup+6.30098 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 12390
/proc/meminfo: memFree=31526356/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=74524 CPUtime=6.29 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 19024 0 0 0 616 13 0 0 25 0 1 0 888737517 76312576 17610 33554432000 4194304 9016284 140733951167040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12389/statm: 18631 17610 695 1178 0 17449 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 74524
[startup+12.7008 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 12390
/proc/meminfo: memFree=31526240/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=74524 CPUtime=12.69 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 19024 0 0 0 1238 31 0 0 25 0 1 0 888737517 76312576 17610 33554432000 4194304 9016284 140733951167040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12389/statm: 18631 17610 695 1178 0 17449 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 74524
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 12391
/proc/meminfo: memFree=31526440/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=74524 CPUtime=25.49 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 19027 0 0 0 2489 60 0 0 25 0 1 0 888737517 76312576 17613 33554432000 4194304 9016284 140733951167040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12389/statm: 18631 17613 698 1178 0 17449 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 74524
[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 12391
/proc/meminfo: memFree=31526336/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=74524 CPUtime=51.09 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 19029 0 0 0 4989 120 0 0 25 0 1 0 888737517 76312576 17615 33554432000 4194304 9016284 140733951167040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12389/statm: 18631 17615 698 1178 0 17449 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 74524
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 12393
/proc/meminfo: memFree=31526120/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=74524 CPUtime=102.3 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 19037 0 0 0 9852 378 0 0 25 0 1 0 888737517 76312576 17622 33554432000 4194304 9016284 140733951167040 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12389/statm: 18631 17622 697 1178 0 17449 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 74524
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 12394
/proc/meminfo: memFree=31523136/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=77904 CPUtime=162.29 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 32734 0 0 0 15593 636 0 0 25 0 1 0 888737517 79773696 18440 33554432000 4194304 9016284 140733951167040 18446744073709551615 18446744073699065918 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12389/statm: 19476 18440 697 1178 0 18294 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 77904
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 12396
/proc/meminfo: memFree=31511828/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=89604 CPUtime=222.29 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 60314 0 0 0 21320 909 0 0 25 0 1 0 888737517 91754496 21324 33554432000 4194304 9016284 140733951167040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12389/statm: 22401 21324 697 1178 0 21219 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 89604
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 12398
/proc/meminfo: memFree=31504240/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=97012 CPUtime=282.29 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 88179 0 0 0 27063 1166 0 0 25 0 1 0 888737517 99340288 23220 33554432000 4194304 9016284 140733951167040 18446744073709551615 5879445 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12389/statm: 24253 23220 697 1178 0 23071 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 97012
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 12399
/proc/meminfo: memFree=31495744/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=105504 CPUtime=342.29 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 94319 0 0 0 32793 1436 0 0 25 0 1 0 888737517 108036096 25354 33554432000 4194304 9016284 140733951167040 18446744073709551615 5256549 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12389/statm: 26376 25354 697 1178 0 25194 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 105504
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.95 4/175 12401
/proc/meminfo: memFree=31487544/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=113632 CPUtime=402.3 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 105374 0 0 0 38524 1706 0 0 25 0 1 0 888737517 116359168 27398 33554432000 4194304 9016284 140733951167040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12389/statm: 28408 27398 697 1178 0 27226 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 113632
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.95 4/175 12402
/proc/meminfo: memFree=31480956/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=120448 CPUtime=462.3 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 111106 0 0 0 44275 1955 0 0 25 0 1 0 888737517 123338752 29083 33554432000 4194304 9016284 140733951167040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12389/statm: 30112 29083 697 1178 0 28930 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 120448
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 12404
/proc/meminfo: memFree=31475344/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=125940 CPUtime=522.29 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 116021 0 0 0 50013 2216 0 0 25 0 1 0 888737517 128962560 30486 33554432000 4194304 9016284 140733951167040 18446744073709551615 5215155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12389/statm: 31485 30486 697 1178 0 30303 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 125940
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 12406
/proc/meminfo: memFree=31467268/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=134008 CPUtime=582.3 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 123384 0 0 0 55748 2482 0 0 25 0 1 0 888737517 137224192 32439 33554432000 4194304 9016284 140733951167040 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12389/statm: 33502 32439 697 1178 0 32320 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 134008
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31390032/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=182788 CPUtime=1062.31 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 157549 0 0 0 102288 3943 0 0 25 0 1 0 888737517 187174912 44673 33554432000 4194304 9016284 140733951167040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12389/statm: 45697 44673 697 1178 0 44515 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 182788
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 12432
/proc/meminfo: memFree=31382072/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=188972 CPUtime=1122.31 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 161139 0 0 0 108115 4116 0 0 25 0 1 0 888737517 193507328 46212 33554432000 4194304 9016284 140733951167040 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12389/statm: 47243 46212 697 1178 0 46061 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 188972
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 12434
/proc/meminfo: memFree=31373492/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=193756 CPUtime=1182.31 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 165484 0 0 0 113950 4281 0 0 25 0 1 0 888737517 198406144 47381 33554432000 4194304 9016284 140733951167040 18446744073709551615 4878660 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12389/statm: 48439 47381 697 1178 0 47257 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 193756
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 12435
/proc/meminfo: memFree=31362908/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=197280 CPUtime=1242.32 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 169769 0 0 0 119784 4448 0 0 25 0 1 0 888737517 202014720 48331 33554432000 4194304 9016284 140733951167040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12389/statm: 49320 48331 697 1178 0 48138 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 197280
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 12437
/proc/meminfo: memFree=31354944/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=199880 CPUtime=1302.32 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 170949 0 0 0 125602 4630 0 0 25 0 1 0 888737517 204677120 48935 33554432000 4194304 9016284 140733951167040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12389/statm: 49970 48935 697 1178 0 48788 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 199880
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 12438
/proc/meminfo: memFree=31343876/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=207000 CPUtime=1362.32 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 174778 0 0 0 131420 4812 0 0 25 0 1 0 888737517 211968000 50708 33554432000 4194304 9016284 140733951167040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12389/statm: 51750 50708 697 1178 0 50568 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 207000
[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 1.95 3/175 12440
/proc/meminfo: memFree=31338492/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=212168 CPUtime=1422.32 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 176103 0 0 0 137235 4997 0 0 25 0 1 0 888737517 217260032 52025 33554432000 4194304 9016284 140733951167040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12389/statm: 53042 52025 697 1178 0 51860 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 212168
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/175 12480
/proc/meminfo: memFree=31604176/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=216380 CPUtime=1482.32 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 177965 0 0 0 143046 5186 0 0 25 0 1 0 888737517 221573120 53119 33554432000 4194304 9016284 140733951167040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12389/statm: 54095 53119 697 1178 0 52913 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 216380
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 12481
/proc/meminfo: memFree=31553036/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=220332 CPUtime=1542.32 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 178979 0 0 0 148815 5417 0 0 25 0 1 0 888737517 225619968 54124 33554432000 4194304 9016284 140733951167040 18446744073709551615 5255504 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12389/statm: 55083 54124 697 1178 0 53901 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 220332
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 12483
/proc/meminfo: memFree=31517200/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=224908 CPUtime=1602.33 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 180117 0 0 0 154568 5665 0 0 25 0 1 0 888737517 230305792 55262 33554432000 4194304 9016284 140733951167040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12389/statm: 56227 55262 697 1178 0 55045 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 224908
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 12484
/proc/meminfo: memFree=31481052/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=229240 CPUtime=1662.33 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 182444 0 0 0 160321 5912 0 0 25 0 1 0 888737517 234741760 56304 33554432000 4194304 9016284 140733951167040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12389/statm: 57310 56304 697 1178 0 56128 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 229240
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 12486
/proc/meminfo: memFree=31454328/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=233104 CPUtime=1722.33 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 186251 0 0 0 166072 6161 0 0 25 0 1 0 888737517 238698496 57253 33554432000 4194304 9016284 140733951167040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12389/statm: 58276 57253 697 1178 0 57094 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 233104
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 12488
/proc/meminfo: memFree=31428336/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=236200 CPUtime=1782.33 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 187830 0 0 0 171802 6431 0 0 25 0 1 0 888737517 241868800 58099 33554432000 4194304 9016284 140733951167040 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12389/statm: 59050 58099 697 1178 0 57868 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 236200
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 12488
/proc/meminfo: memFree=31426220/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=236432 CPUtime=1785.54 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 187842 0 0 0 172109 6445 0 0 25 0 1 0 888737517 242106368 58111 33554432000 4194304 9016284 140733951167040 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12389/statm: 59108 58111 697 1178 0 57926 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 236432
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 12488
/proc/meminfo: memFree=31422364/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=238076 CPUtime=1791.94 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 188372 0 0 0 172721 6473 0 0 25 0 1 0 888737517 243789824 58563 33554432000 4194304 9016284 140733951167040 18446744073709551615 5252189 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12389/statm: 59519 58563 697 1178 0 58337 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 238076
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 12488
/proc/meminfo: memFree=31420252/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=238076 CPUtime=1795.14 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 188372 0 0 0 173026 6488 0 0 25 0 1 0 888737517 243789824 58563 33554432000 4194304 9016284 140733951167040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12389/statm: 59519 58563 697 1178 0 58337 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 238076
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 12488
/proc/meminfo: memFree=31420252/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=238076 CPUtime=1795.94 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 188372 0 0 0 173102 6492 0 0 25 0 1 0 888737517 243789824 58563 33554432000 4194304 9016284 140733951167040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12389/statm: 59519 58563 697 1178 0 58337 0
Current children cumulated CPU time (s) 1795.94
Current children cumulated vsize (KiB) 238076
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 12488
/proc/meminfo: memFree=31420128/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=238076 CPUtime=1796.73 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 188372 0 0 0 173178 6495 0 0 25 0 1 0 888737517 243789824 58563 33554432000 4194304 9016284 140733951167040 18446744073709551615 5227633 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12389/statm: 59519 58563 697 1178 0 58337 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 238076
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 12488
/proc/meminfo: memFree=31420128/32951124 swapFree=67060628/67111528
[pid=12389] ppid=12387 vsize=238076 CPUtime=1797.13 cores=1,3,5,7
/proc/12389/stat : 12389 (scip-2.0.1.4b_2) R 12387 12389 8673 0 -1 4202496 188375 0 0 0 173216 6497 0 0 25 0 1 0 888737517 243789824 58566 33554432000 4194304 9016284 140733951167040 18446744073709551615 7854966 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12389/statm: 59519 58566 700 1178 0 58337 0
Current children cumulated CPU time (s) 1797.13
Current children cumulated vsize (KiB) 238076
Child status: 0
Real time (s): 1797.13
CPU time (s): 1797.17
CPU user time (s): 1732.19
CPU system time (s): 64.9811
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 238076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1732.19
system time used= 64.9811
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188380
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= 7
involuntary context switches= 4316
runsolver used 2.50462 second user time and 5.87711 second system time
The end