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-3452398-1307111514.opb>
0.00/0.00 c original problem has 100 variables (100 bin, 0 int, 0 impl, 0 cont) and 151 constraints
0.00/0.00 c problem read
0.00/0.00 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, 5028 impls, 100 clqs
0.00/0.04 c (0.0s) probing: 101/716 (14.1%) - 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 5028 implications, 100 cliques
0.00/0.04 c presolved problem has 716 variables (716 bin, 0 int, 0 impl, 0 cont) and 767 constraints
0.00/0.04 c 150 constraints of type <setppc>
0.00/0.04 c 616 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.06 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.06 c t 0.1s| 1 | 0 | 375 | - |3249k| 0 | 235 | 716 | 767 | 716 |1383 | 0 | 0 | 0 |-2.500000e+01 | 0.000000e+00 | 100.00%
0.00/0.06 o -3
0.00/0.06 c s 0.1s| 1 | 0 | 375 | - |3271k| 0 | 235 | 716 | 767 | 716 |1383 | 0 | 0 | 0 |-2.500000e+01 |-3.000000e+00 | 88.00%
0.39/0.49 o -4
0.39/0.49 c U 0.5s| 1 | 0 | 375 | - |3290k| 0 | 235 | 716 | 769 | 716 |1383 | 0 | 1 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
0.59/0.62 c 0.6s| 1 | 0 | 531 | - |3573k| 0 | 337 | 716 | 770 | 716 |1394 | 11 | 1 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
0.69/0.75 c 0.8s| 1 | 0 | 641 | - |3728k| 0 | 204 | 716 | 770 | 716 |1399 | 16 | 1 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
0.79/0.82 c 0.8s| 1 | 0 | 771 | - |3749k| 0 | 298 | 716 | 770 | 716 |1404 | 21 | 1 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
0.79/0.89 c 0.9s| 1 | 0 | 794 | - |3765k| 0 | 313 | 716 | 770 | 716 |1407 | 24 | 1 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
0.79/0.89 o -5
0.79/0.89 c s 0.9s| 1 | 0 | 794 | - |3774k| 0 | 313 | 716 | 770 | 716 |1407 | 24 | 1 | 0 |-2.500000e+01 |-5.000000e+00 | 80.00%
0.89/0.97 c 1.0s| 1 | 0 | 959 | - |3780k| 0 | 275 | 716 | 770 | 716 |1408 | 25 | 1 | 0 |-2.500000e+01 |-5.000000e+00 | 80.00%
0.99/1.09 c 1.1s| 1 | 0 | 1038 | - |3797k| 0 | 325 | 716 | 770 | 716 |1411 | 28 | 1 | 0 |-2.500000e+01 |-5.000000e+00 | 80.00%
0.99/1.09 o -5
0.99/1.09 c s 1.1s| 1 | 0 | 1038 | - |3807k| 0 | 325 | 716 | 770 | 716 |1411 | 28 | 1 | 0 |-2.500000e+01 |-5.000000e+00 | 80.00%
2.69/2.80 o -8
2.69/2.80 c E 2.8s| 1 | 0 | 1038 | - |3817k| 0 | 325 | 716 | 770 | 716 |1411 | 28 | 1 | 0 |-2.500000e+01 |-8.000000e+00 | 68.00%
2.79/2.80 c 2.8s| 1 | 0 | 1038 | - |3817k| 0 | 325 | 716 | 770 | 716 |1411 | 28 | 1 | 0 |-2.500000e+01 |-8.000000e+00 | 68.00%
4.79/4.84 c 4.8s| 1 | 2 | 1038 | - |3818k| 0 | 325 | 716 | 770 | 716 |1411 | 28 | 1 | 19 |-2.500000e+01 |-8.000000e+00 | 68.00%
10.89/10.94 o -9
10.89/10.94 c c10.9s| 14 | 15 | 8532 | 576.5 |3682k| 13 | - | 716 | 770 | 716 | 730 | 409 | 1 | 229 |-2.500000e+01 |-9.000000e+00 | 64.00%
14.49/14.58 o -10
14.49/14.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.49/14.58 c p14.6s| 26 | 27 | 20578 | 781.6 |3669k| 13 | - | 716 | 771 | 716 | 779 | 854 | 2 | 294 |-2.483745e+01 |-1.000000e+01 | 59.74%
15.41/15.42 o -11
15.41/15.42 c f15.4s| 51 | 46 | 27600 | 531.2 |3780k| 14 | - | 716 | 775 | 716 | 729 |1140 | 6 | 301 |-2.483745e+01 |-1.100000e+01 | 55.71%
20.39/20.41 o -12
20.39/20.41 c l20.4s| 184 | 138 | 81061 | 437.3 |4046k| 22 | - | 716 | 784 | 716 | 778 |2160 | 15 | 324 |-2.445705e+01 |-1.200000e+01 | 50.93%
38.19/38.22 o -13
38.19/38.22 c *38.2s| 977 | 362 |273829 | 279.5 |4588k| 44 | - | 716 | 822 | 716 | 814 |4538 | 53 | 348 |-2.124353e+01 |-1.300000e+01 | 38.80%
92.89/92.94 c 92.9s| 10000 | 1777 |886071 | 88.5 | 10M| 48 | 90 | 716 | 861 | 716 | 737 | 17k| 113 | 412 |-1.877679e+01 |-1.300000e+01 | 30.77%
139.60/139.63 c 140s| 20000 | 2877 | 1395k| 69.7 | 16M| 48 | - | 716 | 883 | 716 | 766 | 29k| 237 | 617 |-1.810105e+01 |-1.300000e+01 | 28.18%
178.80/178.85 c 179s| 30000 | 3664 | 1823k| 60.8 | 20M| 48 | 102 | 716 | 908 | 716 | 782 | 38k| 307 | 792 |-1.776146e+01 |-1.300000e+01 | 26.81%
204.40/204.48 o -14
204.40/204.48 c * 204s| 36283 | 1758 | 2104k| 58.0 |9461k| 48 | - | 716 | 934 | 716 | 726 | 44k| 375 | 909 |-1.761822e+01 |-1.400000e+01 | 20.54%
220.60/220.61 c 221s| 40000 | 1825 | 2278k| 56.9 | 10M| 48 | 168 | 716 | 910 | 716 | 803 | 48k| 385 |1021 |-1.754549e+01 |-1.400000e+01 | 20.21%
263.90/263.99 c 264s| 50000 | 1975 | 2751k| 55.0 | 12M| 48 | 145 | 716 | 905 | 716 | 791 | 56k| 397 |1259 |-1.728508e+01 |-1.400000e+01 | 19.01%
305.81/305.84 c 306s| 60000 | 1959 | 3207k| 53.4 | 13M| 48 | 164 | 716 | 902 | 716 | 786 | 65k| 402 |1530 |-1.703108e+01 |-1.400000e+01 | 17.80%
343.49/343.52 c 344s| 70000 | 1623 | 3619k| 51.7 | 12M| 48 | - | 716 | 897 | 716 | 791 | 72k| 406 |1731 |-1.674159e+01 |-1.400000e+01 | 16.38%
378.20/378.24 c 378s| 80000 | 997 | 4003k| 50.0 | 10M| 48 | - | 716 | 895 | 716 | 727 | 78k| 408 |1896 |-1.639232e+01 |-1.400000e+01 | 14.59%
398.60/398.64 c
398.60/398.64 c SCIP Status : problem is solved [optimal solution found]
398.60/398.64 c Solving Time (sec) : 398.64
398.60/398.64 c Solving Nodes : 86894
398.60/398.64 c Primal Bound : -1.40000000000000e+01 (15 solutions)
398.60/398.64 c Dual Bound : -1.40000000000000e+01
398.60/398.64 c Gap : 0.00 %
398.60/398.64 s OPTIMUM FOUND
398.60/398.64 v -x90 -x69 -x56 -x86 x85 -x63 -x60 -x57 -x95 -x72 -x79 x58 -x67 -x54 -x97 x61 x92 -x66 -x52 x98 -x84 -x83 -x77 x71 -x59 -x53 x81
398.60/398.64 v -x68 -x74 -x55 x88 -x94 -x100 -x80 -x51 -x87 -x82 x75 -x73 x64 x93 x96 -x78 -x65 -x99 x62 -x76 x89 -x70 -x91 -x50 x49 -x48 -x47
398.60/398.64 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 -x20
398.60/398.64 v -x19 -x18 x17 x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
398.60/398.64 c SCIP Status : problem is solved [optimal solution found]
398.60/398.64 c Total Time : 398.64
398.60/398.64 c solving : 398.64
398.60/398.64 c presolving : 0.03 (included in solving)
398.60/398.64 c reading : 0.00 (included in solving)
398.60/398.64 c Original Problem :
398.60/398.64 c Problem name : HOME/instance-3452398-1307111514.opb
398.60/398.64 c Variables : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
398.60/398.64 c Constraints : 151 initial, 151 maximal
398.60/398.64 c Presolved Problem :
398.60/398.64 c Problem name : t_HOME/instance-3452398-1307111514.opb
398.60/398.64 c Variables : 716 (716 binary, 0 integer, 0 implicit integer, 0 continuous)
398.60/398.64 c Constraints : 767 initial, 934 maximal
398.60/398.64 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
398.60/398.64 c trivial : 0.00 0 0 0 0 0 0 0 0 0
398.60/398.64 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
398.60/398.64 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
398.60/398.64 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
398.60/398.64 c implics : 0.00 0 0 0 0 0 0 0 0 0
398.60/398.64 c probing : 0.01 0 0 0 0 0 0 0 0 0
398.60/398.64 c setppc : 0.00 0 0 0 0 0 0 0 0 0
398.60/398.64 c and : 0.02 0 0 0 0 0 0 0 0 0
398.60/398.64 c linear : 0.00 0 0 0 0 0 0 0 0 0
398.60/398.64 c logicor : 0.00 0 0 0 0 0 0 0 0 0
398.60/398.64 c root node : - 13 - - 13 - - - - -
398.60/398.64 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
398.60/398.64 c integral : 0 0 0 45108 0 87 0 68 537 0 0 89550
398.60/398.64 c setppc : 150 7 291878 2 0 82 859 194 193853 0 0 0
398.60/398.64 c and : 616 76486 291683 2 0 81 1355 67 2215266 81212 0 0
398.60/398.64 c linear : 1 7 291613 2 0 12 55 5 21 0 0 0
398.60/398.64 c logicor : 0+ 7 71789 0 0 0 207 1 41643 0 0 0
398.60/398.64 c countsols : 0 0 0 2 0 16 0 0 0 0 0 0
398.60/398.64 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
398.60/398.64 c integral : 20.83 0.00 0.00 20.83 0.00 0.00 0.00
398.60/398.64 c setppc : 0.54 0.00 0.54 0.00 0.00 0.00 0.00
398.60/398.64 c and : 4.67 2.18 2.49 0.00 0.00 0.00 0.00
398.60/398.64 c linear : 0.18 0.00 0.18 0.00 0.00 0.00 0.00
398.60/398.64 c logicor : 0.20 0.00 0.20 0.00 0.00 0.00 0.00
398.60/398.64 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
398.60/398.64 c Propagators : #Propagate #Resprop Cutoffs DomReds
398.60/398.64 c vbounds : 0 0 0 0
398.60/398.64 c rootredcost : 6 0 0 0
398.60/398.64 c pseudoobj : 293055 92 17 263
398.60/398.64 c Propagator Timings : TotalTime Propagate Resprop
398.60/398.64 c vbounds : 0.05 0.05 0.00
398.60/398.64 c rootredcost : 0.05 0.05 0.00
398.60/398.64 c pseudoobj : 0.48 0.48 0.00
398.60/398.64 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
398.60/398.64 c propagation : 0.00 284 280 464 17.2 6 22.7 -
398.60/398.64 c infeasible LP : 0.00 28 28 40 21.3 0 0.0 0
398.60/398.64 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
398.60/398.64 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
398.60/398.64 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
398.60/398.64 c applied globally : - - - 414 13.7 - - -
398.60/398.64 c applied locally : - - - 0 0.0 - - -
398.60/398.64 c Separators : Time Calls Cutoffs DomReds Cuts Conss
398.60/398.64 c cut pool : 0.00 6 - - 4 - (maximal pool size: 118)
398.60/398.64 c redcost : 1.44 82109 0 337446 0 0
398.60/398.64 c impliedbounds : 0.00 8 0 0 8 0
398.60/398.64 c intobj : 0.00 0 0 0 0 0
398.60/398.64 c gomory : 0.26 8 0 0 407 0
398.60/398.64 c cgmip : 0.00 0 0 0 0 0
398.60/398.64 c closecuts : 0.00 0 0 0 0 0
398.60/398.64 c strongcg : 0.22 8 0 0 703 0
398.60/398.64 c cmir : 0.04 8 0 0 1 0
398.60/398.64 c flowcover : 0.10 8 0 0 2 0
398.60/398.64 c clique : 0.03 8 0 0 28 0
398.60/398.64 c zerohalf : 0.00 0 0 0 0 0
398.60/398.64 c mcf : 0.00 1 0 0 0 0
398.60/398.64 c oddcycle : 0.00 0 0 0 0 0
398.60/398.64 c rapidlearning : 0.03 1 0 0 0 0
398.60/398.64 c Pricers : Time Calls Vars
398.60/398.64 c problem variables: 0.00 0 0
398.60/398.64 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
398.60/398.64 c relpscost : 20.81 45106 68 537 0 0 89550
398.60/398.64 c pscost : 0.00 0 0 0 0 0 0
398.60/398.64 c inference : 0.00 0 0 0 0 0 0
398.60/398.64 c mostinf : 0.00 0 0 0 0 0 0
398.60/398.64 c leastinf : 0.00 0 0 0 0 0 0
398.60/398.64 c fullstrong : 0.00 0 0 0 0 0 0
398.60/398.64 c allfullstrong : 0.00 0 0 0 0 0 0
398.60/398.64 c random : 0.00 0 0 0 0 0 0
398.60/398.64 c Primal Heuristics : Time Calls Found
398.60/398.64 c LP solutions : 0.01 - 2
398.60/398.64 c pseudo solutions : 0.00 - 0
398.60/398.64 c feaspump : 0.00 0 0
398.60/398.64 c oneopt : 0.02 10 0
398.60/398.64 c crossover : 0.43 15 0
398.60/398.64 c objpscostdiving : 3.16 42 0
398.60/398.64 c guideddiving : 3.99 111 0
398.60/398.64 c fracdiving : 3.86 111 1
398.60/398.64 c veclendiving : 3.49 111 0
398.60/398.64 c rootsoldiving : 2.48 56 0
398.60/398.64 c pscostdiving : 2.32 112 1
398.60/398.64 c coefdiving : 4.17 112 1
398.60/398.64 c linesearchdiving : 2.62 112 1
398.60/398.64 c trivial : 0.00 2 1
398.60/398.64 c shiftandpropagate: 0.00 0 0
398.60/398.64 c simplerounding : 0.02 0 0
398.60/398.64 c zirounding : 1.70 0 0
398.60/398.64 c rounding : 0.58 3668 0
398.60/398.64 c shifting : 1.81 5436 6
398.60/398.64 c intshifting : 0.00 0 0
398.60/398.64 c twoopt : 0.00 0 0
398.60/398.64 c fixandinfer : 0.00 0 0
398.60/398.64 c clique : 0.00 0 0
398.60/398.64 c intdiving : 0.00 0 0
398.60/398.64 c actconsdiving : 0.00 0 0
398.60/398.64 c octane : 0.00 0 0
398.60/398.64 c rens : 1.64 1 1
398.60/398.64 c rins : 0.00 0 0
398.60/398.64 c localbranching : 0.00 0 0
398.60/398.64 c mutation : 0.00 0 0
398.60/398.64 c dins : 0.00 0 0
398.60/398.64 c vbounds : 0.00 0 0
398.60/398.64 c undercover : 0.43 1 1
398.60/398.64 c subnlp : 0.01 0 0
398.60/398.64 c trysol : 0.02 0 0
398.60/398.64 c LP : Time Calls Iterations Iter/call Iter/sec
398.60/398.64 c primal LP : 2.96 0 0 0.00 0.00
398.60/398.64 c dual LP : 313.01 113431 3935644 34.70 12573.45
398.60/398.64 c lex dual LP : 0.00 0 0 0.00 -
398.60/398.64 c barrier LP : 0.00 0 0 0.00 -
398.60/398.64 c diving/probing LP: 22.66 23817 289302 12.15 12765.33
398.60/398.64 c strong branching : 20.11 2031 250660 123.42 12462.09
398.60/398.64 c (at root node) : - 19 19000 1000.00 -
398.60/398.64 c conflict analysis: 0.00 0 0 0.00 -
398.60/398.64 c B&B Tree :
398.60/398.64 c number of runs : 1
398.60/398.64 c nodes : 86894
398.60/398.64 c nodes (total) : 86894
398.60/398.64 c nodes left : 0
398.60/398.64 c max depth : 48
398.60/398.64 c max depth (total): 48
398.60/398.64 c backtracks : 13897 (16.0%)
398.60/398.64 c delayed cutoffs : 2
398.60/398.64 c repropagations : 4210 (2543 domain reductions, 0 cutoffs)
398.60/398.64 c avg switch length: 6.11
398.60/398.64 c switching time : 7.37
398.60/398.64 c Solution :
398.60/398.64 c Solutions found : 15 (12 improvements)
398.60/398.64 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
398.60/398.64 c Primal Bound : -1.40000000000000e+01 (in run 1, after 36283 nodes, 204.48 seconds, depth 30, found by <relaxation>)
398.60/398.64 c Dual Bound : -1.40000000000000e+01
398.60/398.64 c Gap : 0.00 %
398.60/398.64 c Root Dual Bound : -2.50000000000000e+01
398.60/398.64 c Root Iterations : 1038
398.60/398.65 c Time complete: 398.65.
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-3452398-1307111514/watcher-3452398-1307111514 -o /tmp/evaluation-result-3452398-1307111514/solver-3452398-1307111514 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452398-1307111514.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.91 2/550 23072
/proc/meminfo: memFree=21046080/32951124 swapFree=53733252/67111528
[pid=23072] ppid=23070 vsize=16940 CPUtime=0.01 cores=0,2,4,6
/proc/23072/stat : 23072 (scip-2.0.1.4.li) R 23070 23072 21496 0 -1 4202496 3245 0 0 0 1 0 0 0 25 0 1 0 822751750 17346560 2940 33554432000 4194304 9128323 140733742403664 18446744073709551615 18446744073699065974 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23072/statm: 4235 2940 498 1205 0 3026 0
[startup+0.111883 s]
/proc/loadavg: 2.00 2.00 1.91 2/550 23072
/proc/meminfo: memFree=21046080/32951124 swapFree=53733252/67111528
[pid=23072] ppid=23070 vsize=46212 CPUtime=0.1 cores=0,2,4,6
/proc/23072/stat : 23072 (scip-2.0.1.4.li) R 23070 23072 21496 0 -1 4202496 10842 0 0 0 9 1 0 0 25 0 1 0 822751750 47321088 10135 33554432000 4194304 9128323 140733742403664 18446744073709551615 8008987 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23072/statm: 11809 10195 696 1205 0 10600 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 46212
[startup+0.200845 s]
/proc/loadavg: 2.00 2.00 1.91 2/550 23072
/proc/meminfo: memFree=21046080/32951124 swapFree=53733252/67111528
[pid=23072] ppid=23070 vsize=36584 CPUtime=0.19 cores=0,2,4,6
/proc/23072/stat : 23072 (scip-2.0.1.4.li) R 23070 23072 21496 0 -1 4202496 12447 0 0 0 18 1 0 0 25 0 1 0 822751750 37462016 8150 33554432000 4194304 9128323 140733742403664 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23072/statm: 9146 8150 731 1205 0 7937 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 36584
[startup+0.300812 s]
/proc/loadavg: 2.00 2.00 1.91 2/550 23072
/proc/meminfo: memFree=21046080/32951124 swapFree=53733252/67111528
[pid=23072] ppid=23070 vsize=36820 CPUtime=0.29 cores=0,2,4,6
/proc/23072/stat : 23072 (scip-2.0.1.4.li) R 23070 23072 21496 0 -1 4202496 12516 0 0 0 27 2 0 0 25 0 1 0 822751750 37703680 8219 33554432000 4194304 9128323 140733742403664 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23072/statm: 9205 8219 731 1205 0 7996 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36820
[startup+0.700747 s]
/proc/loadavg: 2.00 2.00 1.91 2/550 23072
/proc/meminfo: memFree=21046080/32951124 swapFree=53733252/67111528
[pid=23072] ppid=23070 vsize=41824 CPUtime=0.69 cores=0,2,4,6
/proc/23072/stat : 23072 (scip-2.0.1.4.li) R 23070 23072 21496 0 -1 4202496 16482 0 0 0 66 3 0 0 25 0 1 0 822751750 42827776 9371 33554432000 4194304 9128323 140733742403664 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23072/statm: 10456 9371 746 1205 0 9247 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41824
[startup+1.50061 s]
/proc/loadavg: 2.00 2.00 1.91 3/551 23073
/proc/meminfo: memFree=21002300/32951124 swapFree=53733252/67111528
[pid=23072] ppid=23070 vsize=55296 CPUtime=1.49 cores=0,2,4,6
/proc/23072/stat : 23072 (scip-2.0.1.4.li) R 23070 23072 21496 0 -1 4202496 19667 0 0 0 145 4 0 0 25 0 1 0 822751750 56623104 12541 33554432000 4194304 9128323 140733742403664 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23072/statm: 13824 12541 755 1205 0 12615 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55296
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 1.91 3/551 23073
/proc/meminfo: memFree=20996844/32951124 swapFree=53733252/67111528
[pid=23072] ppid=23070 vsize=50736 CPUtime=3.09 cores=0,2,4,6
/proc/23072/stat : 23072 (scip-2.0.1.4.li) R 23070 23072 21496 0 -1 4202496 19885 0 0 0 300 9 0 0 25 0 1 0 822751750 51953664 11466 33554432000 4194304 9128323 140733742403664 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23072/statm: 12684 11466 757 1205 0 11475 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50736
[startup+6.30073 s]
/proc/loadavg: 2.00 2.00 1.91 3/551 23073
/proc/meminfo: memFree=20999952/32951124 swapFree=53733252/67111528
[pid=23072] ppid=23070 vsize=50736 CPUtime=6.29 cores=0,2,4,6
/proc/23072/stat : 23072 (scip-2.0.1.4.li) R 23070 23072 21496 0 -1 4202496 19885 0 0 0 616 13 0 0 25 0 1 0 822751750 51953664 11466 33554432000 4194304 9128323 140733742403664 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23072/statm: 12684 11466 757 1205 0 11475 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50736
[startup+12.7006 s]
/proc/loadavg: 2.00 2.00 1.91 3/551 23073
/proc/meminfo: memFree=20999248/32951124 swapFree=53733252/67111528
[pid=23072] ppid=23070 vsize=50736 CPUtime=12.69 cores=0,2,4,6
/proc/23072/stat : 23072 (scip-2.0.1.4.li) R 23070 23072 21496 0 -1 4202496 19885 0 0 0 1247 22 0 0 25 0 1 0 822751750 51953664 11466 33554432000 4194304 9128323 140733742403664 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23072/statm: 12684 11466 757 1205 0 11475 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50736
[startup+25.5012 s]
/proc/loadavg: 2.00 2.00 1.91 3/551 23074
/proc/meminfo: memFree=20999232/32951124 swapFree=53733252/67111528
[pid=23072] ppid=23070 vsize=50736 CPUtime=25.49 cores=0,2,4,6
/proc/23072/stat : 23072 (scip-2.0.1.4.li) R 23070 23072 21496 0 -1 4202496 19888 0 0 0 2510 39 0 0 25 0 1 0 822751750 51953664 11469 33554432000 4194304 9128323 140733742403664 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23072/statm: 12684 11469 757 1205 0 11475 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 50736
[startup+51.1006 s]
/proc/loadavg: 2.13 2.03 1.92 3/551 23074
/proc/meminfo: memFree=20997884/32951124 swapFree=53733252/67111528
[pid=23072] ppid=23070 vsize=53068 CPUtime=51.09 cores=0,2,4,6
/proc/23072/stat : 23072 (scip-2.0.1.4.li) R 23070 23072 21496 0 -1 4202496 20395 0 0 0 5037 72 0 0 25 0 1 0 822751750 54341632 11976 33554432000 4194304 9128323 140733742403664 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23072/statm: 13267 11976 758 1205 0 12058 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 53068
[startup+102.301 s]
/proc/loadavg: 2.27 2.07 1.94 3/551 23076
/proc/meminfo: memFree=20993272/32951124 swapFree=53733252/67111528
[pid=23072] ppid=23070 vsize=59056 CPUtime=102.31 cores=0,2,4,6
/proc/23072/stat : 23072 (scip-2.0.1.4.li) R 23070 23072 21496 0 -1 4202496 23149 0 0 0 10098 133 0 0 25 0 1 0 822751750 60473344 13156 33554432000 4194304 9128323 140733742403664 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23072/statm: 14764 13156 758 1205 0 13555 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 59056
[startup+162.3 s]
/proc/loadavg: 2.16 2.07 1.94 3/551 23077
/proc/meminfo: memFree=20989164/32951124 swapFree=53733252/67111528
[pid=23072] ppid=23070 vsize=60300 CPUtime=162.29 cores=0,2,4,6
/proc/23072/stat : 23072 (scip-2.0.1.4.li) R 23070 23072 21496 0 -1 4202496 26102 0 0 0 16026 203 0 0 25 0 1 0 822751750 61747200 13838 33554432000 4194304 9128323 140733742403664 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23072/statm: 15075 13838 758 1205 0 13866 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 60300
[startup+222.32 s]
/proc/loadavg: 2.06 2.06 1.94 3/551 23079
/proc/meminfo: memFree=20973268/32951124 swapFree=53733252/67111528
[pid=23072] ppid=23070 vsize=75608 CPUtime=222.31 cores=0,2,4,6
/proc/23072/stat : 23072 (scip-2.0.1.4.li) R 23070 23072 21496 0 -1 4202496 30873 0 0 0 21955 276 0 0 25 0 1 0 822751750 77422592 17706 33554432000 4194304 9128323 140733742403664 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23072/statm: 18902 17706 758 1205 0 17693 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 75608
[startup+282.301 s]
/proc/loadavg: 2.02 2.04 1.94 3/551 23080
/proc/meminfo: memFree=20972872/32951124 swapFree=53733252/67111528
[pid=23072] ppid=23070 vsize=77848 CPUtime=282.29 cores=0,2,4,6
/proc/23072/stat : 23072 (scip-2.0.1.4.li) R 23070 23072 21496 0 -1 4202496 31501 0 0 0 27882 347 0 0 25 0 1 0 822751750 79716352 17982 33554432000 4194304 9128323 140733742403664 18446744073709551615 4964841 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23072/statm: 19462 17982 758 1205 0 18253 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 77848
[startup+342.301 s]
/proc/loadavg: 2.00 2.03 1.94 3/551 23082
/proc/meminfo: memFree=20973336/32951124 swapFree=53733252/67111528
[pid=23072] ppid=23070 vsize=75608 CPUtime=342.29 cores=0,2,4,6
/proc/23072/stat : 23072 (scip-2.0.1.4.li) R 23070 23072 21496 0 -1 4202496 31624 0 0 0 33813 416 0 0 25 0 1 0 822751750 77422592 17706 33554432000 4194304 9128323 140733742403664 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23072/statm: 18902 17706 758 1205 0 17693 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 75608
Solver just ended. Dumping a history of the last processes samples
[startup+358.401 s]
/proc/loadavg: 2.00 2.03 1.94 3/551 23082
/proc/meminfo: memFree=20973452/32951124 swapFree=53733252/67111528
[pid=23072] ppid=23070 vsize=75608 CPUtime=358.39 cores=0,2,4,6
/proc/23072/stat : 23072 (scip-2.0.1.4.li) R 23070 23072 21496 0 -1 4202496 31624 0 0 0 35404 435 0 0 25 0 1 0 822751750 77422592 17706 33554432000 4194304 9128323 140733742403664 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23072/statm: 18902 17706 758 1205 0 17693 0
Current children cumulated CPU time (s) 358.39
Current children cumulated vsize (KiB) 75608
[startup+384.021 s]
/proc/loadavg: 2.00 2.03 1.94 3/551 23083
/proc/meminfo: memFree=20972572/32951124 swapFree=53733252/67111528
[pid=23072] ppid=23070 vsize=75608 CPUtime=384.02 cores=0,2,4,6
/proc/23072/stat : 23072 (scip-2.0.1.4.li) R 23070 23072 21496 0 -1 4202496 31624 0 0 0 37934 468 0 0 25 0 1 0 822751750 77422592 17706 33554432000 4194304 9128323 140733742403664 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23072/statm: 18902 17706 758 1205 0 17693 0
Current children cumulated CPU time (s) 384.02
Current children cumulated vsize (KiB) 75608
[startup+390.401 s]
/proc/loadavg: 2.00 2.03 1.94 3/551 23083
/proc/meminfo: memFree=20972808/32951124 swapFree=53733252/67111528
[pid=23072] ppid=23070 vsize=75608 CPUtime=390.4 cores=0,2,4,6
/proc/23072/stat : 23072 (scip-2.0.1.4.li) R 23070 23072 21496 0 -1 4202496 31624 0 0 0 38566 474 0 0 25 0 1 0 822751750 77422592 17706 33554432000 4194304 9128323 140733742403664 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23072/statm: 18902 17706 758 1205 0 17693 0
Current children cumulated CPU time (s) 390.4
Current children cumulated vsize (KiB) 75608
[startup+393.6 s]
/proc/loadavg: 2.00 2.03 1.94 3/551 23083
/proc/meminfo: memFree=20972808/32951124 swapFree=53733252/67111528
[pid=23072] ppid=23070 vsize=75608 CPUtime=393.6 cores=0,2,4,6
/proc/23072/stat : 23072 (scip-2.0.1.4.li) R 23070 23072 21496 0 -1 4202496 31624 0 0 0 38882 478 0 0 25 0 1 0 822751750 77422592 17706 33554432000 4194304 9128323 140733742403664 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23072/statm: 18902 17706 758 1205 0 17693 0
Current children cumulated CPU time (s) 393.6
Current children cumulated vsize (KiB) 75608
[startup+396.801 s]
/proc/loadavg: 2.00 2.03 1.94 3/551 23083
/proc/meminfo: memFree=20972808/32951124 swapFree=53733252/67111528
[pid=23072] ppid=23070 vsize=75608 CPUtime=396.8 cores=0,2,4,6
/proc/23072/stat : 23072 (scip-2.0.1.4.li) R 23070 23072 21496 0 -1 4202496 31624 0 0 0 39199 481 0 0 25 0 1 0 822751750 77422592 17706 33554432000 4194304 9128323 140733742403664 18446744073709551615 7357333 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23072/statm: 18902 17706 758 1205 0 17693 0
Current children cumulated CPU time (s) 396.8
Current children cumulated vsize (KiB) 75608
[startup+397.601 s]
/proc/loadavg: 2.00 2.03 1.94 3/551 23083
/proc/meminfo: memFree=20972808/32951124 swapFree=53733252/67111528
[pid=23072] ppid=23070 vsize=75608 CPUtime=397.6 cores=0,2,4,6
/proc/23072/stat : 23072 (scip-2.0.1.4.li) R 23070 23072 21496 0 -1 4202496 31624 0 0 0 39278 482 0 0 25 0 1 0 822751750 77422592 17706 33554432000 4194304 9128323 140733742403664 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23072/statm: 18902 17706 758 1205 0 17693 0
Current children cumulated CPU time (s) 397.6
Current children cumulated vsize (KiB) 75608
[startup+398.4 s]
/proc/loadavg: 2.00 2.02 1.94 3/551 23083
/proc/meminfo: memFree=20972808/32951124 swapFree=53733252/67111528
[pid=23072] ppid=23070 vsize=75608 CPUtime=398.4 cores=0,2,4,6
/proc/23072/stat : 23072 (scip-2.0.1.4.li) R 23070 23072 21496 0 -1 4202496 31624 0 0 0 39356 484 0 0 25 0 1 0 822751750 77422592 17706 33554432000 4194304 9128323 140733742403664 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23072/statm: 18902 17706 758 1205 0 17693 0
Current children cumulated CPU time (s) 398.4
Current children cumulated vsize (KiB) 75608
[startup+398.6 s]
/proc/loadavg: 2.00 2.02 1.94 3/551 23083
/proc/meminfo: memFree=20972808/32951124 swapFree=53733252/67111528
[pid=23072] ppid=23070 vsize=75608 CPUtime=398.6 cores=0,2,4,6
/proc/23072/stat : 23072 (scip-2.0.1.4.li) R 23070 23072 21496 0 -1 4202496 31624 0 0 0 39376 484 0 0 25 0 1 0 822751750 77422592 17706 33554432000 4194304 9128323 140733742403664 18446744073709551615 5332975 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23072/statm: 18902 17706 758 1205 0 17693 0
Current children cumulated CPU time (s) 398.6
Current children cumulated vsize (KiB) 75608
Child status: 0
Real time (s): 398.657
CPU time (s): 398.664
CPU user time (s): 393.817
CPU system time (s): 4.84726
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 77848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 393.817
system time used= 4.84726
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31628
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= 669
runsolver used 2.35364 second user time and 4.76927 second system time
The end