0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3452397-1307111462.opb>
0.00/0.01 c original problem has 100 variables (100 bin, 0 int, 0 impl, 0 cont) and 151 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 o 0
0.00/0.01 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.01 c presolving:
0.00/0.03 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 150 upgd conss, 4948 impls, 100 clqs
0.00/0.04 c (0.0s) probing: 101/706 (14.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (2 rounds):
0.00/0.04 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 4948 implications, 100 cliques
0.00/0.04 c presolved problem has 706 variables (706 bin, 0 int, 0 impl, 0 cont) and 757 constraints
0.00/0.04 c 150 constraints of type <setppc>
0.00/0.04 c 606 constraints of type <and>
0.00/0.04 c 1 constraints of type <linear>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.03
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 2.0.1.4
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1800
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 13950
0.00/0.04 c
0.00/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.04 c # [type: int, range: [1,2], default: 1]
0.00/0.04 c timing/clocktype = 2
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/indicator/addCouplingCons = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.05 c t 0.1s| 1 | 0 | 157 | - |3201k| 0 | 103 | 706 | 757 | 706 |1363 | 0 | 0 | 0 |-2.500000e+01 | 0.000000e+00 | 100.00%
0.00/0.05 o -1
0.00/0.05 c R 0.1s| 1 | 0 | 157 | - |3205k| 0 | 103 | 706 | 757 | 706 |1363 | 0 | 0 | 0 |-2.500000e+01 |-1.000000e+00 | 96.00%
0.09/0.10 o -2
0.09/0.10 c U 0.1s| 1 | 0 | 157 | - |3222k| 0 | 103 | 706 | 757 | 706 |1363 | 0 | 0 | 0 |-2.500000e+01 |-2.000000e+00 | 92.00%
0.09/0.16 c 0.2s| 1 | 0 | 162 | - |3318k| 0 | 104 | 706 | 758 | 706 |1365 | 2 | 0 | 0 |-2.500000e+01 |-2.000000e+00 | 92.00%
0.19/0.20 c 0.2s| 1 | 0 | 440 | - |3379k| 0 | 293 | 706 | 758 | 706 |1368 | 5 | 0 | 0 |-2.500000e+01 |-2.000000e+00 | 92.00%
0.29/0.30 c 0.3s| 1 | 0 | 468 | - |3686k| 0 | 283 | 706 | 758 | 706 |1377 | 14 | 0 | 0 |-2.500000e+01 |-2.000000e+00 | 92.00%
0.29/0.37 c 0.4s| 1 | 0 | 638 | - |3825k| 0 | 232 | 706 | 758 | 706 |1384 | 21 | 0 | 0 |-2.500000e+01 |-2.000000e+00 | 92.00%
0.29/0.37 o -4
0.29/0.37 c s 0.4s| 1 | 0 | 638 | - |3838k| 0 | 232 | 706 | 758 | 706 |1384 | 21 | 0 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
0.40/0.46 c 0.5s| 1 | 0 | 844 | - |3931k| 0 | 328 | 706 | 758 | 706 |1390 | 27 | 0 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
0.50/0.52 c 0.5s| 1 | 0 | 888 | - |3967k| 0 | 342 | 706 | 758 | 706 |1393 | 30 | 0 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
2.21/2.29 o -6
2.21/2.29 c E 2.3s| 1 | 0 | 888 | - |3968k| 0 | 342 | 706 | 758 | 706 |1393 | 30 | 0 | 0 |-2.500000e+01 |-6.000000e+00 | 76.00%
2.21/2.30 c 2.3s| 1 | 0 | 888 | - |3968k| 0 | 342 | 706 | 758 | 706 |1393 | 30 | 0 | 0 |-2.500000e+01 |-6.000000e+00 | 76.00%
2.29/2.36 c 2.4s| 1 | 0 | 1091 | - |3980k| 0 | 329 | 706 | 758 | 706 |1397 | 34 | 0 | 0 |-2.500000e+01 |-6.000000e+00 | 76.00%
3.39/3.40 c 3.4s| 1 | 2 | 1091 | - |3980k| 0 | 329 | 706 | 758 | 706 |1397 | 34 | 0 | 10 |-2.500000e+01 |-6.000000e+00 | 76.00%
6.69/6.74 o -7
6.69/6.74 c R 6.7s| 7 | 6 | 8640 |1258.2 |3734k| 6 | 117 | 706 | 758 | 706 | 726 | 454 | 0 | 88 |-2.500000e+01 |-7.000000e+00 | 72.00%
7.00/7.06 o -8
7.00/7.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.00/7.06 c R 7.1s| 9 | 8 | 8793 | 962.8 |3747k| 8 | 75 | 706 | 758 | 706 | 733 | 471 | 0 | 127 |-2.500000e+01 |-8.000000e+00 | 68.00%
12.89/12.90 o -11
12.89/12.90 c f12.9s| 38 | 32 | 21064 | 539.8 |3863k| 13 | - | 706 | 759 | 706 | 733 |1067 | 1 | 335 |-2.484301e+01 |-1.100000e+01 | 55.72%
20.69/20.77 o -12
20.69/20.77 c l20.8s| 151 | 129 |103787 | 684.6 |4120k| 17 | - | 706 | 764 | 706 | 813 |2213 | 6 | 350 |-2.248478e+01 |-1.200000e+01 | 46.63%
35.59/35.64 o -13
35.59/35.64 c l35.6s| 393 | 292 |258946 | 657.8 |4674k| 28 | - | 706 | 810 | 706 | 721 |3785 | 52 | 371 |-2.185252e+01 |-1.300000e+01 | 40.51%
57.89/57.90 o -14
57.89/57.90 c *57.9s| 1882 | 612 |499007 | 264.7 |5495k| 43 | - | 706 | 851 | 706 | 717 |7445 | 100 | 375 |-2.013010e+01 |-1.400000e+01 | 30.45%
118.99/119.10 c 119s| 10000 | 1800 | 1156k| 115.6 | 10M| 45 | 124 | 706 | 827 | 706 | 812 | 20k| 126 | 530 |-1.889937e+01 |-1.400000e+01 | 25.92%
180.00/180.01 c 180s| 20000 | 2574 | 1801k| 90.0 | 15M| 46 | 144 | 706 | 821 | 706 | 825 | 33k| 154 | 904 |-1.829016e+01 |-1.400000e+01 | 23.46%
233.40/233.44 c 233s| 30000 | 3038 | 2373k| 79.1 | 18M| 46 | 141 | 706 | 832 | 706 | 686 | 45k| 173 |1224 |-1.790113e+01 |-1.400000e+01 | 21.79%
284.60/284.66 c 285s| 40000 | 3448 | 2922k| 73.0 | 21M| 46 | 118 | 706 | 836 | 706 | 753 | 55k| 187 |1513 |-1.761909e+01 |-1.400000e+01 | 20.54%
332.11/332.17 c 332s| 50000 | 3680 | 3434k| 68.7 | 23M| 48 | 148 | 706 | 845 | 706 | 754 | 65k| 201 |1757 |-1.739628e+01 |-1.400000e+01 | 19.52%
376.61/376.67 c 377s| 60000 | 3786 | 3914k| 65.2 | 24M| 48 | 144 | 706 | 846 | 706 | 736 | 73k| 209 |1987 |-1.721306e+01 |-1.400000e+01 | 18.67%
418.71/418.72 c 419s| 70000 | 3728 | 4370k| 62.4 | 24M| 48 | - | 706 | 850 | 706 | 827 | 82k| 220 |2215 |-1.705502e+01 |-1.400000e+01 | 17.91%
460.20/460.28 c 460s| 80000 | 3520 | 4823k| 60.3 | 24M| 48 | 152 | 706 | 849 | 706 | 734 | 90k| 223 |2392 |-1.687248e+01 |-1.400000e+01 | 17.02%
499.51/499.51 c 500s| 90000 | 3152 | 5248k| 58.3 | 24M| 48 | - | 706 | 849 | 706 | 753 | 97k| 227 |2597 |-1.672077e+01 |-1.400000e+01 | 16.27%
538.01/538.06 c 538s|100000 | 2516 | 5666k| 56.7 | 21M| 49 | 131 | 706 | 851 | 706 | 746 | 103k| 231 |2780 |-1.655812e+01 |-1.400000e+01 | 15.45%
573.61/573.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
573.61/573.63 c 574s|110000 | 1488 | 6049k| 55.0 | 16M| 49 | - | 706 | 850 | 706 | 742 | 108k| 233 |3002 |-1.631343e+01 |-1.400000e+01 | 14.18%
590.81/590.81 c
590.81/590.81 c SCIP Status : problem is solved [optimal solution found]
590.81/590.81 c Solving Time (sec) : 590.81
590.81/590.81 c Solving Nodes : 115557
590.81/590.81 c Primal Bound : -1.40000000000000e+01 (12 solutions)
590.81/590.81 c Dual Bound : -1.40000000000000e+01
590.81/590.81 c Gap : 0.00 %
590.81/590.81 s OPTIMUM FOUND
590.81/590.81 v -x92 x75 -x70 -x69 -x90 -x54 -x96 x81 -x57 -x86 -x64 -x72 x91 -x62 x53 -x94 -x93 -x89 -x58 -x59 x78 x97 -x84 -x52 -x98 -x68 x63
590.81/590.81 v x55 x80 -x65 -x87 -x79 -x99 -x51 -x95 -x88 x85 -x67 -x60 -x56 x82 x74 x100 -x71 -x83 -x77 x73 -x61 -x66 -x76 -x50 x49 x48 -x47
590.81/590.81 v -x46 x45 -x44 x43 -x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 x27 x26 -x25 -x24 -x23 x22 x21
590.81/590.81 v x20 x19 -x18 -x17 -x16 x15 x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
590.81/590.81 c SCIP Status : problem is solved [optimal solution found]
590.81/590.81 c Total Time : 590.81
590.81/590.81 c solving : 590.81
590.81/590.81 c presolving : 0.03 (included in solving)
590.81/590.81 c reading : 0.00 (included in solving)
590.81/590.81 c Original Problem :
590.81/590.81 c Problem name : HOME/instance-3452397-1307111462.opb
590.81/590.81 c Variables : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
590.81/590.81 c Constraints : 151 initial, 151 maximal
590.81/590.81 c Presolved Problem :
590.81/590.81 c Problem name : t_HOME/instance-3452397-1307111462.opb
590.81/590.81 c Variables : 706 (706 binary, 0 integer, 0 implicit integer, 0 continuous)
590.81/590.81 c Constraints : 757 initial, 854 maximal
590.81/590.81 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
590.81/590.81 c trivial : 0.00 0 0 0 0 0 0 0 0 0
590.81/590.81 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
590.81/590.81 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
590.81/590.81 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
590.81/590.81 c implics : 0.00 0 0 0 0 0 0 0 0 0
590.81/590.81 c probing : 0.01 0 0 0 0 0 0 0 0 0
590.81/590.81 c setppc : 0.00 0 0 0 0 0 0 0 0 0
590.81/590.81 c and : 0.02 0 0 0 0 0 0 0 0 0
590.81/590.81 c linear : 0.00 0 0 0 0 0 0 0 0 0
590.81/590.81 c logicor : 0.00 0 0 0 0 0 0 0 0 0
590.81/590.81 c root node : - 25 - - 25 - - - - -
590.81/590.81 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
590.81/590.81 c integral : 0 0 0 58452 0 92 0 113 998 0 0 115868
590.81/590.81 c setppc : 150 7 373237 1 0 87 343 76 197829 0 0 0
590.81/590.81 c and : 606 99799 373160 1 0 86 552 103 2844082 110626 0 0
590.81/590.81 c linear : 1 7 373056 1 0 10 2 1 10 0 0 0
590.81/590.81 c logicor : 0+ 7 83958 0 0 0 30 0 51091 0 0 0
590.81/590.81 c countsols : 0 0 0 1 0 14 0 0 0 0 0 0
590.81/590.81 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
590.81/590.81 c integral : 27.39 0.00 0.00 27.39 0.00 0.00 0.00
590.81/590.81 c setppc : 0.70 0.00 0.70 0.00 0.00 0.00 0.00
590.81/590.81 c and : 6.55 3.18 3.36 0.00 0.00 0.00 0.00
590.81/590.81 c linear : 0.21 0.00 0.21 0.00 0.00 0.00 0.00
590.81/590.81 c logicor : 0.21 0.00 0.21 0.00 0.00 0.00 0.00
590.81/590.81 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
590.81/590.81 c Propagators : #Propagate #Resprop Cutoffs DomReds
590.81/590.81 c vbounds : 0 0 0 0
590.81/590.81 c rootredcost : 6 0 0 0
590.81/590.81 c pseudoobj : 374873 20 3 47
590.81/590.81 c Propagator Timings : TotalTime Propagate Resprop
590.81/590.81 c vbounds : 0.06 0.06 0.00
590.81/590.81 c rootredcost : 0.07 0.07 0.00
590.81/590.81 c pseudoobj : 0.63 0.63 0.00
590.81/590.81 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
590.81/590.81 c propagation : 0.00 183 183 246 13.6 4 35.8 -
590.81/590.81 c infeasible LP : 0.00 14 14 29 35.4 0 0.0 0
590.81/590.81 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
590.81/590.81 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
590.81/590.81 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
590.81/590.81 c applied globally : - - - 234 10.9 - - -
590.81/590.81 c applied locally : - - - 0 0.0 - - -
590.81/590.81 c Separators : Time Calls Cutoffs DomReds Cuts Conss
590.81/590.81 c cut pool : 0.00 6 - - 34 - (maximal pool size: 173)
590.81/590.81 c redcost : 1.99 107768 0 575323 0 0
590.81/590.81 c impliedbounds : 0.00 7 0 0 12 0
590.81/590.81 c intobj : 0.00 0 0 0 0 0
590.81/590.81 c gomory : 0.15 7 0 0 264 0
590.81/590.81 c cgmip : 0.00 0 0 0 0 0
590.81/590.81 c closecuts : 0.00 0 0 0 0 0
590.81/590.81 c strongcg : 0.13 7 0 0 1051 0
590.81/590.81 c cmir : 0.03 7 0 0 1 0
590.81/590.81 c flowcover : 0.04 7 0 0 2 0
590.81/590.81 c clique : 0.02 7 0 0 26 0
590.81/590.81 c zerohalf : 0.00 0 0 0 0 0
590.81/590.81 c mcf : 0.00 1 0 0 0 0
590.81/590.81 c oddcycle : 0.00 0 0 0 0 0
590.81/590.81 c rapidlearning : 0.03 1 0 0 0 0
590.81/590.81 c Pricers : Time Calls Vars
590.81/590.81 c problem variables: 0.00 0 0
590.81/590.81 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
590.81/590.81 c relpscost : 27.35 58451 113 998 0 0 115868
590.81/590.81 c pscost : 0.00 0 0 0 0 0 0
590.81/590.81 c inference : 0.00 0 0 0 0 0 0
590.81/590.81 c mostinf : 0.00 0 0 0 0 0 0
590.81/590.81 c leastinf : 0.00 0 0 0 0 0 0
590.81/590.81 c fullstrong : 0.00 0 0 0 0 0 0
590.81/590.81 c allfullstrong : 0.00 0 0 0 0 0 0
590.81/590.81 c random : 0.00 0 0 0 0 0 0
590.81/590.81 c Primal Heuristics : Time Calls Found
590.81/590.81 c LP solutions : 0.00 - 1
590.81/590.81 c pseudo solutions : 0.00 - 0
590.81/590.81 c feaspump : 0.00 0 0
590.81/590.81 c oneopt : 0.03 9 0
590.81/590.81 c crossover : 0.41 11 0
590.81/590.81 c objpscostdiving : 4.80 51 0
590.81/590.81 c rootsoldiving : 2.99 56 0
590.81/590.81 c linesearchdiving : 3.84 112 2
590.81/590.81 c coefdiving : 4.99 112 0
590.81/590.81 c fracdiving : 6.44 112 1
590.81/590.81 c veclendiving : 3.91 112 0
590.81/590.81 c guideddiving : 4.97 112 0
590.81/590.81 c pscostdiving : 3.43 112 0
590.81/590.81 c trivial : 0.00 2 1
590.81/590.81 c shiftandpropagate: 0.00 0 0
590.81/590.81 c simplerounding : 0.03 0 0
590.81/590.81 c zirounding : 2.40 0 0
590.81/590.81 c rounding : 4.02 23737 3
590.81/590.81 c shifting : 1.55 4314 2
590.81/590.81 c intshifting : 0.00 0 0
590.81/590.81 c twoopt : 0.00 0 0
590.81/590.81 c fixandinfer : 0.00 0 0
590.81/590.81 c clique : 0.00 0 0
590.81/590.81 c intdiving : 0.00 0 0
590.81/590.81 c actconsdiving : 0.00 0 0
590.81/590.81 c octane : 0.00 0 0
590.81/590.81 c rens : 1.78 1 1
590.81/590.81 c rins : 0.00 0 0
590.81/590.81 c localbranching : 0.00 0 0
590.81/590.81 c mutation : 0.00 0 0
590.81/590.81 c dins : 0.00 0 0
590.81/590.81 c vbounds : 0.00 0 0
590.81/590.81 c undercover : 0.05 1 1
590.81/590.81 c subnlp : 0.02 0 0
590.81/590.81 c trysol : 0.03 0 0
590.81/590.81 c LP : Time Calls Iterations Iter/call Iter/sec
590.81/590.81 c primal LP : 4.51 0 0 0.00 0.00
590.81/590.81 c dual LP : 473.91 150913 5843934 38.72 12331.28
590.81/590.81 c lex dual LP : 0.00 0 0 0.00 -
590.81/590.81 c barrier LP : 0.00 0 0 0.00 -
590.81/590.81 c diving/probing LP: 31.10 29495 389753 13.21 12532.56
590.81/590.81 c strong branching : 26.39 3082 340687 110.54 12910.83
590.81/590.81 c (at root node) : - 10 10000 1000.00 -
590.81/590.81 c conflict analysis: 0.00 0 0 0.00 -
590.81/590.81 c B&B Tree :
590.81/590.81 c number of runs : 1
590.81/590.81 c nodes : 115557
590.81/590.81 c nodes (total) : 115557
590.81/590.81 c nodes left : 0
590.81/590.81 c max depth : 49
590.81/590.81 c max depth (total): 49
590.81/590.81 c backtracks : 20358 (17.6%)
590.81/590.81 c delayed cutoffs : 1
590.81/590.81 c repropagations : 1819 (1169 domain reductions, 0 cutoffs)
590.81/590.81 c avg switch length: 6.84
590.81/590.81 c switching time : 10.71
590.81/590.81 c Solution :
590.81/590.81 c Solutions found : 12 (11 improvements)
590.81/590.81 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
590.81/590.81 c Primal Bound : -1.40000000000000e+01 (in run 1, after 1882 nodes, 57.90 seconds, depth 33, found by <relaxation>)
590.81/590.81 c Dual Bound : -1.40000000000000e+01
590.81/590.81 c Gap : 0.00 %
590.81/590.81 c Root Dual Bound : -2.50000000000000e+01
590.81/590.81 c Root Iterations : 1091
590.81/590.82 c Time complete: 590.84.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3452397-1307111462/watcher-3452397-1307111462 -o /tmp/evaluation-result-3452397-1307111462/solver-3452397-1307111462 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452397-1307111462.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.01 1.99 2/514 19407
/proc/meminfo: memFree=21799788/32951124 swapFree=62999000/67111528
[pid=19407] ppid=19405 vsize=16952 CPUtime=0.01 cores=1,3,5,7
/proc/19407/stat : 19407 (scip-2.0.1.4.li) R 19405 19407 17882 0 -1 4202496 3250 0 0 0 1 0 0 0 25 0 1 0 803561816 17358848 2946 33554432000 4194304 9128323 140733485248096 18446744073709551615 8062775 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19407/statm: 4238 2946 498 1205 0 3029 0
[startup+0.091091 s]
/proc/loadavg: 2.00 2.01 1.99 2/514 19407
/proc/meminfo: memFree=21799788/32951124 swapFree=62999000/67111528
[pid=19407] ppid=19405 vsize=36000 CPUtime=0.08 cores=1,3,5,7
/proc/19407/stat : 19407 (scip-2.0.1.4.li) R 19405 19407 17882 0 -1 4202496 8601 0 0 0 7 1 0 0 25 0 1 0 803561816 36864000 7917 33554432000 4194304 9128323 140733485248096 18446744073709551615 6886064 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19407/statm: 9096 7931 688 1205 0 7887 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 36000
[startup+0.101097 s]
/proc/loadavg: 2.00 2.01 1.99 2/514 19407
/proc/meminfo: memFree=21799788/32951124 swapFree=62999000/67111528
[pid=19407] ppid=19405 vsize=44420 CPUtime=0.09 cores=1,3,5,7
/proc/19407/stat : 19407 (scip-2.0.1.4.li) R 19405 19407 17882 0 -1 4202496 10468 0 0 0 8 1 0 0 25 0 1 0 803561816 45486080 9784 33554432000 4194304 9128323 140733485248096 18446744073709551615 7980987 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19407/statm: 11105 9784 691 1205 0 9896 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44420
[startup+0.301045 s]
/proc/loadavg: 2.00 2.01 1.99 2/514 19407
/proc/meminfo: memFree=21799788/32951124 swapFree=62999000/67111528
[pid=19407] ppid=19405 vsize=40680 CPUtime=0.29 cores=1,3,5,7
/proc/19407/stat : 19407 (scip-2.0.1.4.li) R 19405 19407 17882 0 -1 4202496 11726 0 0 0 27 2 0 0 25 0 1 0 803561816 41656320 8931 33554432000 4194304 9128323 140733485248096 18446744073709551615 7288196 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19407/statm: 10170 8931 737 1205 0 8961 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40680
[startup+0.700966 s]
/proc/loadavg: 2.00 2.01 1.99 2/514 19407
/proc/meminfo: memFree=21799788/32951124 swapFree=62999000/67111528
[pid=19407] ppid=19405 vsize=43540 CPUtime=0.69 cores=1,3,5,7
/proc/19407/stat : 19407 (scip-2.0.1.4.li) R 19405 19407 17882 0 -1 4202496 12589 0 0 0 65 4 0 0 25 0 1 0 803561816 44584960 9794 33554432000 4194304 9128323 140733485248096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19407/statm: 10885 9794 747 1205 0 9676 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43540
[startup+1.50082 s]
/proc/loadavg: 2.00 2.01 1.99 3/515 19408
/proc/meminfo: memFree=21659916/32951124 swapFree=62999000/67111528
[pid=19407] ppid=19405 vsize=46928 CPUtime=1.49 cores=1,3,5,7
/proc/19407/stat : 19407 (scip-2.0.1.4.li) R 19405 19407 17882 0 -1 4202496 13470 0 0 0 129 20 0 0 25 0 1 0 803561816 48054272 10642 33554432000 4194304 9128323 140733485248096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19407/statm: 11732 10642 762 1205 0 10523 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46928
[startup+3.10051 s]
/proc/loadavg: 2.00 2.01 1.99 3/515 19408
/proc/meminfo: memFree=21490408/32951124 swapFree=62999000/67111528
[pid=19407] ppid=19405 vsize=40968 CPUtime=3.09 cores=1,3,5,7
/proc/19407/stat : 19407 (scip-2.0.1.4.li) R 19405 19407 17882 0 -1 4202496 13555 0 0 0 275 34 0 0 25 0 1 0 803561816 41951232 9185 33554432000 4194304 9128323 140733485248096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19407/statm: 10242 9185 753 1205 0 9033 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40968
[startup+6.30091 s]
/proc/loadavg: 2.00 2.01 1.99 3/515 19409
/proc/meminfo: memFree=21460864/32951124 swapFree=62999000/67111528
[pid=19407] ppid=19405 vsize=40968 CPUtime=6.29 cores=1,3,5,7
/proc/19407/stat : 19407 (scip-2.0.1.4.li) R 19405 19407 17882 0 -1 4202496 13559 0 0 0 577 52 0 0 25 0 1 0 803561816 41951232 9189 33554432000 4194304 9128323 140733485248096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19407/statm: 10242 9189 753 1205 0 9033 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40968
[startup+12.7007 s]
/proc/loadavg: 2.00 2.01 1.99 3/515 19409
/proc/meminfo: memFree=21458300/32951124 swapFree=62999000/67111528
[pid=19407] ppid=19405 vsize=40968 CPUtime=12.69 cores=1,3,5,7
/proc/19407/stat : 19407 (scip-2.0.1.4.li) R 19405 19407 17882 0 -1 4202496 13560 0 0 0 1183 86 0 0 25 0 1 0 803561816 41951232 9190 33554432000 4194304 9128323 140733485248096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19407/statm: 10242 9190 753 1205 0 9033 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40968
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 1.99 3/515 19409
/proc/meminfo: memFree=21459432/32951124 swapFree=62999000/67111528
[pid=19407] ppid=19405 vsize=40968 CPUtime=25.49 cores=1,3,5,7
/proc/19407/stat : 19407 (scip-2.0.1.4.li) R 19405 19407 17882 0 -1 4202496 13564 0 0 0 2401 148 0 0 25 0 1 0 803561816 41951232 9194 33554432000 4194304 9128323 140733485248096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19407/statm: 10242 9194 754 1205 0 9033 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 40968
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 1.99 3/515 19410
/proc/meminfo: memFree=21446940/32951124 swapFree=62999000/67111528
[pid=19407] ppid=19405 vsize=43148 CPUtime=51.09 cores=1,3,5,7
/proc/19407/stat : 19407 (scip-2.0.1.4.li) R 19405 19407 17882 0 -1 4202496 14151 0 0 0 4828 281 0 0 25 0 1 0 803561816 44183552 9779 33554432000 4194304 9128323 140733485248096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19407/statm: 10787 9779 758 1205 0 9578 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 43148
[startup+102.319 s]
/proc/loadavg: 2.09 2.03 2.00 3/515 19411
/proc/meminfo: memFree=21445948/32951124 swapFree=62999000/67111528
[pid=19407] ppid=19405 vsize=40968 CPUtime=102.31 cores=1,3,5,7
/proc/19407/stat : 19407 (scip-2.0.1.4.li) R 19405 19407 17882 0 -1 4202496 17821 0 0 0 9705 526 0 0 25 0 1 0 803561816 41951232 9341 33554432000 4194304 9128323 140733485248096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19407/statm: 10242 9341 758 1205 0 9033 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 40968
[startup+162.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/515 19413
/proc/meminfo: memFree=21419984/32951124 swapFree=62999000/67111528
[pid=19407] ppid=19405 vsize=52356 CPUtime=162.3 cores=1,3,5,7
/proc/19407/stat : 19407 (scip-2.0.1.4.li) R 19405 19407 17882 0 -1 4202496 20392 0 0 0 15394 836 0 0 25 0 1 0 803561816 53612544 11910 33554432000 4194304 9128323 140733485248096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19407/statm: 13089 11910 758 1205 0 11880 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 52356
[startup+222.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/515 19414
/proc/meminfo: memFree=21416716/32951124 swapFree=62999000/67111528
[pid=19407] ppid=19405 vsize=55928 CPUtime=222.3 cores=1,3,5,7
/proc/19407/stat : 19407 (scip-2.0.1.4.li) R 19405 19407 17882 0 -1 4202496 21409 0 0 0 21079 1151 0 0 25 0 1 0 803561816 57270272 12927 33554432000 4194304 9128323 140733485248096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19407/statm: 13982 12927 758 1205 0 12773 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 55928
[startup+282.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/515 19416
/proc/meminfo: memFree=21408860/32951124 swapFree=62999000/67111528
[pid=19407] ppid=19405 vsize=55332 CPUtime=282.3 cores=1,3,5,7
/proc/19407/stat : 19407 (scip-2.0.1.4.li) R 19405 19407 17882 0 -1 4202496 22822 0 0 0 26751 1479 0 0 25 0 1 0 803561816 56659968 12941 33554432000 4194304 9128323 140733485248096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19407/statm: 13833 12941 758 1205 0 12624 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 55332
[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 19418
/proc/meminfo: memFree=21406204/32951124 swapFree=62999000/67111528
[pid=19407] ppid=19405 vsize=58620 CPUtime=342.3 cores=1,3,5,7
/proc/19407/stat : 19407 (scip-2.0.1.4.li) R 19405 19407 17882 0 -1 4202496 23585 0 0 0 32421 1809 0 0 25 0 1 0 803561816 60026880 13704 33554432000 4194304 9128323 140733485248096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19407/statm: 14655 13704 758 1205 0 13446 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 58620
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 19419
/proc/meminfo: memFree=21224376/32951124 swapFree=62999000/67111528
[pid=19407] ppid=19405 vsize=60536 CPUtime=402.31 cores=1,3,5,7
/proc/19407/stat : 19407 (scip-2.0.1.4.li) R 19405 19407 17882 0 -1 4202496 26372 0 0 0 38096 2135 0 0 25 0 1 0 803561816 61988864 14187 33554432000 4194304 9128323 140733485248096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19407/statm: 15134 14187 758 1205 0 13925 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 60536
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 19421
/proc/meminfo: memFree=21221348/32951124 swapFree=62999000/67111528
[pid=19407] ppid=19405 vsize=62512 CPUtime=462.31 cores=1,3,5,7
/proc/19407/stat : 19407 (scip-2.0.1.4.li) R 19405 19407 17882 0 -1 4202496 26879 0 0 0 43795 2436 0 0 25 0 1 0 803561816 64012288 14694 33554432000 4194304 9128323 140733485248096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19407/statm: 15628 14694 758 1205 0 14419 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 62512
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 19422
/proc/meminfo: memFree=21212016/32951124 swapFree=62999000/67111528
[pid=19407] ppid=19405 vsize=62656 CPUtime=522.31 cores=1,3,5,7
/proc/19407/stat : 19407 (scip-2.0.1.4.li) R 19405 19407 17882 0 -1 4202496 26937 0 0 0 49479 2752 0 0 25 0 1 0 803561816 64159744 14752 33554432000 4194304 9128323 140733485248096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19407/statm: 15664 14752 758 1205 0 14455 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 62656
[startup+582.301 s]
/proc/loadavg: 2.15 2.04 2.01 3/515 19424
/proc/meminfo: memFree=21211324/32951124 swapFree=62999000/67111528
[pid=19407] ppid=19405 vsize=62820 CPUtime=582.31 cores=1,3,5,7
/proc/19407/stat : 19407 (scip-2.0.1.4.li) R 19405 19407 17882 0 -1 4202496 29473 0 0 0 55120 3111 0 0 25 0 1 0 803561816 64327680 14758 33554432000 4194304 9128323 140733485248096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19407/statm: 15705 14758 758 1205 0 14496 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 62820
Solver just ended. Dumping a history of the last processes samples
[startup+585.5 s]
/proc/loadavg: 2.13 2.04 2.01 3/515 19424
/proc/meminfo: memFree=21211324/32951124 swapFree=62999000/67111528
[pid=19407] ppid=19405 vsize=62820 CPUtime=585.51 cores=1,3,5,7
/proc/19407/stat : 19407 (scip-2.0.1.4.li) R 19405 19407 17882 0 -1 4202496 29473 0 0 0 55416 3135 0 0 25 0 1 0 803561816 64327680 14758 33554432000 4194304 9128323 140733485248096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19407/statm: 15705 14758 758 1205 0 14496 0
Current children cumulated CPU time (s) 585.51
Current children cumulated vsize (KiB) 62820
[startup+588.701 s]
/proc/loadavg: 2.12 2.04 2.01 3/515 19424
/proc/meminfo: memFree=21211200/32951124 swapFree=62999000/67111528
[pid=19407] ppid=19405 vsize=62820 CPUtime=588.72 cores=1,3,5,7
/proc/19407/stat : 19407 (scip-2.0.1.4.li) R 19405 19407 17882 0 -1 4202496 29473 0 0 0 55718 3154 0 0 25 0 1 0 803561816 64327680 14758 33554432000 4194304 9128323 140733485248096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19407/statm: 15705 14758 758 1205 0 14496 0
Current children cumulated CPU time (s) 588.72
Current children cumulated vsize (KiB) 62820
[startup+589.501 s]
/proc/loadavg: 2.12 2.04 2.01 3/515 19424
/proc/meminfo: memFree=21211200/32951124 swapFree=62999000/67111528
[pid=19407] ppid=19405 vsize=62820 CPUtime=589.53 cores=1,3,5,7
/proc/19407/stat : 19407 (scip-2.0.1.4.li) R 19405 19407 17882 0 -1 4202496 29473 0 0 0 55795 3158 0 0 25 0 1 0 803561816 64327680 14758 33554432000 4194304 9128323 140733485248096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19407/statm: 15705 14758 758 1205 0 14496 0
Current children cumulated CPU time (s) 589.53
Current children cumulated vsize (KiB) 62820
[startup+590.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/515 19424
/proc/meminfo: memFree=21211200/32951124 swapFree=62999000/67111528
[pid=19407] ppid=19405 vsize=62820 CPUtime=590.32 cores=1,3,5,7
/proc/19407/stat : 19407 (scip-2.0.1.4.li) R 19405 19407 17882 0 -1 4202496 29473 0 0 0 55870 3162 0 0 25 0 1 0 803561816 64327680 14758 33554432000 4194304 9128323 140733485248096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19407/statm: 15705 14758 758 1205 0 14496 0
Current children cumulated CPU time (s) 590.32
Current children cumulated vsize (KiB) 62820
[startup+590.719 s]
/proc/loadavg: 2.12 2.04 2.01 3/515 19424
/proc/meminfo: memFree=21211076/32951124 swapFree=62999000/67111528
[pid=19407] ppid=19405 vsize=62820 CPUtime=590.74 cores=1,3,5,7
/proc/19407/stat : 19407 (scip-2.0.1.4.li) R 19405 19407 17882 0 -1 4202496 29473 0 0 0 55909 3165 0 0 25 0 1 0 803561816 64327680 14758 33554432000 4194304 9128323 140733485248096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19407/statm: 15705 14758 758 1205 0 14496 0
Current children cumulated CPU time (s) 590.74
Current children cumulated vsize (KiB) 62820
[startup+590.8 s]
/proc/loadavg: 2.12 2.04 2.01 3/515 19424
/proc/meminfo: memFree=21211076/32951124 swapFree=62999000/67111528
[pid=19407] ppid=19405 vsize=62820 CPUtime=590.81 cores=1,3,5,7
/proc/19407/stat : 19407 (scip-2.0.1.4.li) R 19405 19407 17882 0 -1 4202496 29473 0 0 0 55916 3165 0 0 25 0 1 0 803561816 64327680 14758 33554432000 4194304 9128323 140733485248096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19407/statm: 15705 14758 758 1205 0 14496 0
Current children cumulated CPU time (s) 590.81
Current children cumulated vsize (KiB) 62820
Child status: 0
Real time (s): 590.827
CPU time (s): 590.848
CPU user time (s): 559.188
CPU system time (s): 31.6602
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 63196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 559.188
system time used= 31.6602
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29477
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 881
runsolver used 2.69759 second user time and 7.13291 second system time
The end