Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx 2 2011-06-10 (fixed) | OPT | -14 | 574.546 | 574.533 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_4.opb |
| MD5SUM | 3258ae2375db1ca5a9ce9d305f00baf0 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -14 |
| Best CPU time to get the best result obtained on this benchmark | 155.691 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -14 |
| Optimality of the best value was proved | NO |
| Number of variables | 100 |
| Total number of constraints | 151 |
| Number of constraints which are clauses | 50 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 101 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 50 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 50 |
| Number of bits of the sum of numbers in the objective function | 6 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 100 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 1228 |
| Sum of products size (including duplicates) | 2456 |
| Number of different products | 614 |
| Sum of products size | 1228 |
0.00/0.00 c SCIP version 2.0.1.4 [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-3485231-1307788100.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, 5012 impls, 100 clqs
0.00/0.04 c (0.0s) probing: 101/714 (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 5012 implications, 100 cliques
0.00/0.04 c presolved problem has 714 variables (714 bin, 0 int, 0 impl, 0 cont) and 765 constraints
0.00/0.04 c 150 constraints of type <setppc>
0.00/0.04 c 614 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 = 1797
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.03/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.03/0.05 c t 0.1s| 1 | 0 | 172 | - |3238k| 0 | 124 | 714 | 765 | 714 |1379 | 0 | 0 | 0 |-2.500000e+01 | 0.000000e+00 | 100.00%
0.03/0.05 o -4
0.03/0.05 c R 0.1s| 1 | 0 | 172 | - |3248k| 0 | 124 | 714 | 765 | 714 |1379 | 0 | 0 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
0.39/0.45 o -5
0.39/0.45 c U 0.5s| 1 | 0 | 172 | - |3272k| 0 | 124 | 714 | 767 | 714 |1379 | 0 | 1 | 0 |-2.500000e+01 |-5.000000e+00 | 80.00%
0.49/0.52 c 0.5s| 1 | 0 | 175 | - |3397k| 0 | 101 | 714 | 768 | 714 |1382 | 3 | 1 | 0 |-2.500000e+01 |-5.000000e+00 | 80.00%
0.49/0.56 c 0.6s| 1 | 0 | 506 | - |3422k| 0 | 240 | 714 | 768 | 714 |1383 | 4 | 1 | 0 |-2.500000e+01 |-5.000000e+00 | 80.00%
0.49/0.59 c 0.6s| 1 | 0 | 508 | - |3493k| 0 | 239 | 714 | 768 | 714 |1385 | 6 | 1 | 0 |-2.500000e+01 |-5.000000e+00 | 80.00%
0.59/0.63 c 0.6s| 1 | 0 | 762 | - |3545k| 0 | 267 | 714 | 768 | 714 |1386 | 7 | 1 | 0 |-2.500000e+01 |-5.000000e+00 | 80.00%
0.69/0.70 c 0.7s| 1 | 0 | 994 | - |3742k| 0 | 314 | 714 | 768 | 714 |1390 | 11 | 1 | 0 |-2.500000e+01 |-5.000000e+00 | 80.00%
0.79/0.81 c 0.8s| 1 | 0 | 1131 | - |4091k| 0 | 337 | 714 | 768 | 714 |1394 | 15 | 1 | 0 |-2.500000e+01 |-5.000000e+00 | 80.00%
3.19/3.23 o -9
3.19/3.23 c E 3.2s| 1 | 0 | 1131 | - |4112k| 0 | 337 | 714 | 768 | 714 |1394 | 15 | 1 | 0 |-2.500000e+01 |-9.000000e+00 | 64.00%
3.19/3.23 c 3.2s| 1 | 0 | 1131 | - |4112k| 0 | 337 | 714 | 768 | 714 |1394 | 15 | 1 | 0 |-2.500000e+01 |-9.000000e+00 | 64.00%
3.30/3.34 c 3.3s| 1 | 0 | 1361 | - |4169k| 0 | 322 | 714 | 768 | 714 |1397 | 18 | 1 | 0 |-2.500000e+01 |-9.000000e+00 | 64.00%
5.89/5.94 c 5.9s| 1 | 2 | 1361 | - |4170k| 0 | 322 | 714 | 768 | 714 |1397 | 18 | 1 | 24 |-2.500000e+01 |-9.000000e+00 | 64.00%
8.59/8.62 o -10
8.59/8.62 c * 8.6s| 14 | 11 | 6769 | 416.0 |3955k| 13 | - | 714 | 768 | 714 | 706 | 357 | 1 | 194 |-2.500000e+01 |-1.000000e+01 | 60.00%
21.39/21.40 o -11
21.39/21.40 c l21.4s| 150 | 133 | 80190 | 529.1 |4360k| 19 | - | 714 | 775 | 714 | 766 |2333 | 8 | 368 |-2.228093e+01 |-1.100000e+01 | 50.63%
28.89/28.92 o -12
28.89/28.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.89/28.92 c l28.9s| 214 | 171 |160558 | 747.4 |4401k| 19 | - | 714 | 785 | 714 | 761 |2980 | 18 | 380 |-2.159079e+01 |-1.200000e+01 | 44.42%
44.29/44.37 o -13
44.29/44.37 c p44.4s| 603 | 388 |324194 | 536.3 |4905k| 23 | - | 714 | 809 | 714 | 790 |5598 | 45 | 389 |-2.063740e+01 |-1.300000e+01 | 37.01%
111.19/111.23 c 111s| 10000 | 2420 | 1055k| 105.4 | 12M| 47 | - | 714 | 870 | 714 | 802 | 20k| 142 | 462 |-1.860596e+01 |-1.300000e+01 | 30.13%
154.40/154.44 c 154s| 20000 | 3382 | 1517k| 75.8 | 18M| 50 | 98 | 714 | 899 | 714 | 780 | 30k| 249 | 676 |-1.812550e+01 |-1.300000e+01 | 28.28%
190.50/190.55 c 191s| 30000 | 3899 | 1904k| 63.4 | 20M| 50 | - | 714 | 904 | 714 | 827 | 38k| 356 | 862 |-1.782617e+01 |-1.300000e+01 | 27.07%
228.10/228.11 c 228s| 40000 | 4433 | 2308k| 57.7 | 24M| 50 | 91 | 714 | 912 | 714 | 812 | 46k| 407 |1105 |-1.762957e+01 |-1.300000e+01 | 26.26%
264.20/264.21 c 264s| 50000 | 4851 | 2699k| 54.0 | 26M| 50 | 140 | 714 | 911 | 714 | 800 | 54k| 504 |1309 |-1.746762e+01 |-1.300000e+01 | 25.58%
301.10/301.17 c 301s| 60000 | 5213 | 3102k| 51.7 | 29M| 50 | 114 | 714 | 924 | 714 | 810 | 63k| 549 |1497 |-1.731109e+01 |-1.300000e+01 | 24.90%
336.70/336.70 c 337s| 70000 | 5557 | 3489k| 49.8 | 31M| 50 | 110 | 714 | 931 | 714 | 795 | 70k| 597 |1647 |-1.719142e+01 |-1.300000e+01 | 24.38%
372.81/372.82 c 373s| 80000 | 5901 | 3884k| 48.5 | 33M| 50 | 104 | 714 | 931 | 714 | 795 | 78k| 637 |1804 |-1.706606e+01 |-1.300000e+01 | 23.83%
406.40/406.46 c 406s| 90000 | 6115 | 4249k| 47.2 | 35M| 50 | - | 714 | 936 | 714 | 803 | 86k| 689 |1933 |-1.698492e+01 |-1.300000e+01 | 23.46%
440.90/440.91 c 441s|100000 | 6323 | 4626k| 46.3 | 37M| 50 | 136 | 714 | 951 | 714 | 825 | 93k| 733 |2079 |-1.686967e+01 |-1.300000e+01 | 22.94%
454.00/454.08 o -14
454.00/454.08 c * 454s|104144 | 2611 | 4771k| 45.8 | 13M| 50 | - | 714 | 963 | 714 | 810 | 96k| 751 |2124 |-1.683384e+01 |-1.400000e+01 | 16.83%
475.60/475.68 c 476s|110000 | 2273 | 5003k| 45.5 | 12M| 50 | - | 714 | 925 | 714 | 798 | 100k| 755 |2220 |-1.678892e+01 |-1.400000e+01 | 16.61%
512.21/512.20 c 512s|120000 | 1775 | 5399k| 45.0 | 12M| 50 | - | 714 | 912 | 714 | 828 | 106k| 759 |2385 |-1.667788e+01 |-1.400000e+01 | 16.06%
547.51/547.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
547.51/547.51 c 548s|130000 | 1121 | 5782k| 44.5 | 10M| 50 | - | 714 | 898 | 714 | 821 | 112k| 759 |2539 |-1.647035e+01 |-1.400000e+01 | 15.00%
574.50/574.52 c
574.50/574.52 c SCIP Status : problem is solved [optimal solution found]
574.50/574.52 c Solving Time (sec) : 574.52
574.50/574.52 c Solving Nodes : 138761
574.50/574.52 c Primal Bound : -1.40000000000000e+01 (15 solutions)
574.50/574.52 c Dual Bound : -1.40000000000000e+01
574.50/574.52 c Gap : 0.00 %
574.50/574.52 s OPTIMUM FOUND
574.50/574.52 v -x85 -x63 -x78 -x89 -x97 -x60 x87 x72 -x56 -x82 -x99 x94 -x93 x91 x61 -x57 -x81 x71 x83 -x73 x98 -x90 x74 x70 -x66 -x62 x80 x69
574.50/574.52 v -x68 x100 -x92 -x53 -x54 -x65 -x55 -x51 -x96 -x67 -x59 -x58 -x95 -x86 -x79 -x76 -x88 -x64 -x77 -x75 -x84 x52 -x50 x49 -x48 -x47
574.50/574.52 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
574.50/574.52 v -x20 -x19 -x18 x17 -x16 -x15 x14 -x13 -x12 -x11 x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 x1
574.50/574.52 c SCIP Status : problem is solved [optimal solution found]
574.50/574.52 c Total Time : 574.52
574.50/574.52 c solving : 574.52
574.50/574.52 c presolving : 0.03 (included in solving)
574.50/574.52 c reading : 0.00 (included in solving)
574.50/574.52 c Original Problem :
574.50/574.52 c Problem name : HOME/instance-3485231-1307788100.opb
574.50/574.52 c Variables : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
574.50/574.52 c Constraints : 151 initial, 151 maximal
574.50/574.52 c Presolved Problem :
574.50/574.52 c Problem name : t_HOME/instance-3485231-1307788100.opb
574.50/574.52 c Variables : 714 (714 binary, 0 integer, 0 implicit integer, 0 continuous)
574.50/574.52 c Constraints : 765 initial, 963 maximal
574.50/574.52 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
574.50/574.52 c trivial : 0.00 0 0 0 0 0 0 0 0 0
574.50/574.52 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
574.50/574.52 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
574.50/574.52 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
574.50/574.52 c implics : 0.00 0 0 0 0 0 0 0 0 0
574.50/574.52 c probing : 0.01 0 0 0 0 0 0 0 0 0
574.50/574.52 c setppc : 0.00 0 0 0 0 0 0 0 0 0
574.50/574.52 c and : 0.02 0 0 0 0 0 0 0 0 0
574.50/574.52 c linear : 0.00 0 0 0 0 0 0 0 0 0
574.50/574.52 c logicor : 0.00 0 0 0 0 0 0 0 0 0
574.50/574.52 c root node : - 17 - - 17 - - - - -
574.50/574.52 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
574.50/574.52 c integral : 0 0 0 71692 0 103 0 72 649 0 0 142672
574.50/574.52 c setppc : 150 7 446492 2 0 98 2479 316 321450 0 0 0
574.50/574.52 c and : 614 118571 446178 2 0 97 3446 91 3596099 116175 0 0
574.50/574.52 c linear : 1 7 446082 2 0 12 60 30 71 0 0 0
574.50/574.52 c logicor : 0+ 7 109692 0 0 0 383 3 75434 0 0 0
574.50/574.52 c countsols : 0 0 0 2 0 16 0 0 0 0 0 0
574.50/574.52 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
574.50/574.52 c integral : 24.54 0.00 0.00 24.54 0.00 0.00 0.00
574.50/574.52 c setppc : 0.80 0.00 0.80 0.00 0.00 0.00 0.00
574.50/574.52 c and : 7.16 3.30 3.86 0.00 0.00 0.00 0.00
574.50/574.52 c linear : 0.29 0.00 0.29 0.00 0.00 0.00 0.00
574.50/574.52 c logicor : 0.34 0.00 0.34 0.00 0.00 0.00 0.00
574.50/574.52 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
574.50/574.52 c Propagators : #Propagate #Resprop Cutoffs DomReds
574.50/574.52 c vbounds : 0 0 0 0
574.50/574.52 c rootredcost : 5 0 0 0
574.50/574.52 c pseudoobj : 448153 444 65 837
574.50/574.52 c Propagator Timings : TotalTime Propagate Resprop
574.50/574.52 c vbounds : 0.06 0.06 0.00
574.50/574.52 c rootredcost : 0.07 0.07 0.00
574.50/574.52 c pseudoobj : 0.77 0.76 0.00
574.50/574.52 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
574.50/574.52 c propagation : 0.01 505 490 949 22.9 9 22.7 -
574.50/574.52 c infeasible LP : 0.00 32 32 59 31.7 0 0.0 0
574.50/574.52 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
574.50/574.52 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
574.50/574.52 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
574.50/574.52 c applied globally : - - - 758 18.7 - - -
574.50/574.52 c applied locally : - - - 3 82.0 - - -
574.50/574.52 c Separators : Time Calls Cutoffs DomReds Cuts Conss
574.50/574.52 c cut pool : 0.00 6 - - 49 - (maximal pool size: 170)
574.50/574.52 c redcost : 2.23 127366 0 474825 0 0
574.50/574.52 c impliedbounds : 0.00 7 0 0 0 0
574.50/574.52 c intobj : 0.00 0 0 0 0 0
574.50/574.52 c gomory : 0.14 7 0 0 125 0
574.50/574.52 c cgmip : 0.00 0 0 0 0 0
574.50/574.52 c closecuts : 0.00 0 0 0 0 0
574.50/574.52 c strongcg : 0.13 7 0 0 781 0
574.50/574.52 c cmir : 0.03 7 0 0 0 0
574.50/574.52 c flowcover : 0.03 7 0 0 0 0
574.50/574.52 c clique : 0.02 7 0 0 21 0
574.50/574.52 c zerohalf : 0.00 0 0 0 0 0
574.50/574.52 c mcf : 0.00 1 0 0 0 0
574.50/574.52 c oddcycle : 0.00 0 0 0 0 0
574.50/574.52 c rapidlearning : 0.03 1 0 0 0 0
574.50/574.52 c Pricers : Time Calls Vars
574.50/574.52 c problem variables: 0.00 0 0
574.50/574.52 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
574.50/574.52 c relpscost : 24.49 71690 72 649 0 0 142672
574.50/574.52 c pscost : 0.00 0 0 0 0 0 0
574.50/574.52 c inference : 0.00 0 0 0 0 0 0
574.50/574.52 c mostinf : 0.00 0 0 0 0 0 0
574.50/574.52 c leastinf : 0.00 0 0 0 0 0 0
574.50/574.52 c fullstrong : 0.00 0 0 0 0 0 0
574.50/574.52 c allfullstrong : 0.00 0 0 0 0 0 0
574.50/574.52 c random : 0.00 0 0 0 0 0 0
574.50/574.52 c Primal Heuristics : Time Calls Found
574.50/574.52 c LP solutions : 0.02 - 2
574.50/574.52 c pseudo solutions : 0.00 - 0
574.50/574.52 c feaspump : 0.00 0 0
574.50/574.52 c oneopt : 0.04 7 0
574.50/574.52 c crossover : 0.40 16 3
574.50/574.52 c objpscostdiving : 4.44 46 0
574.50/574.52 c linesearchdiving : 3.30 115 2
574.50/574.52 c guideddiving : 4.39 115 0
574.50/574.52 c veclendiving : 3.84 115 0
574.50/574.52 c rootsoldiving : 2.50 58 0
574.50/574.52 c coefdiving : 4.42 116 0
574.50/574.52 c pscostdiving : 3.38 116 1
574.50/574.52 c fracdiving : 4.48 116 0
574.50/574.52 c trivial : 0.00 2 1
574.50/574.52 c shiftandpropagate: 0.00 0 0
574.50/574.52 c simplerounding : 0.03 0 0
574.50/574.52 c zirounding : 2.59 0 0
574.50/574.52 c rounding : 2.33 15600 1
574.50/574.52 c shifting : 0.90 2846 3
574.50/574.52 c intshifting : 0.00 0 0
574.50/574.52 c twoopt : 0.00 0 0
574.50/574.52 c fixandinfer : 0.00 0 0
574.50/574.52 c clique : 0.00 0 0
574.50/574.52 c intdiving : 0.00 0 0
574.50/574.52 c actconsdiving : 0.00 0 0
574.50/574.52 c octane : 0.00 0 0
574.50/574.52 c rens : 2.42 1 1
574.50/574.52 c rins : 0.00 0 0
574.50/574.52 c localbranching : 0.00 0 0
574.50/574.52 c mutation : 0.00 0 0
574.50/574.52 c dins : 0.00 0 0
574.50/574.52 c vbounds : 0.00 0 0
574.50/574.52 c undercover : 0.41 1 1
574.50/574.52 c subnlp : 0.02 0 0
574.50/574.52 c trysol : 0.03 0 0
574.50/574.52 c LP : Time Calls Iterations Iter/call Iter/sec
574.50/574.52 c primal LP : 4.54 0 0 0.00 0.00
574.50/574.52 c dual LP : 460.44 176427 5734993 32.51 12455.60
574.50/574.52 c lex dual LP : 0.00 0 0 0.00 -
574.50/574.52 c barrier LP : 0.00 0 0 0.00 -
574.50/574.52 c diving/probing LP: 26.72 26604 338714 12.73 12678.58
574.50/574.52 c strong branching : 23.47 2649 295533 111.56 12590.13
574.50/574.52 c (at root node) : - 24 24000 1000.00 -
574.50/574.52 c conflict analysis: 0.00 0 0 0.00 -
574.50/574.52 c B&B Tree :
574.50/574.52 c number of runs : 1
574.50/574.52 c nodes : 138761
574.50/574.52 c nodes (total) : 138761
574.50/574.52 c nodes left : 0
574.50/574.52 c max depth : 50
574.50/574.52 c max depth (total): 50
574.50/574.52 c backtracks : 19942 (14.4%)
574.50/574.52 c delayed cutoffs : 2
574.50/574.52 c repropagations : 5332 (4786 domain reductions, 0 cutoffs)
574.50/574.52 c avg switch length: 5.23
574.50/574.52 c switching time : 11.30
574.50/574.52 c Solution :
574.50/574.52 c Solutions found : 15 (9 improvements)
574.50/574.52 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
574.50/574.52 c Primal Bound : -1.40000000000000e+01 (in run 1, after 104144 nodes, 454.07 seconds, depth 26, found by <relaxation>)
574.50/574.52 c Dual Bound : -1.40000000000000e+01
574.50/574.52 c Gap : 0.00 %
574.50/574.52 c Root Dual Bound : -2.50000000000000e+01
574.50/574.52 c Root Iterations : 1361
574.50/574.53 c Time complete: 574.53.
OK -14
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-3485231-1307788100/watcher-3485231-1307788100 -o /tmp/evaluation-result-3485231-1307788100/solver-3485231-1307788100 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485231-1307788100.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.93 2/177 25463 /proc/meminfo: memFree=30688832/32951124 swapFree=67057920/67111528 [pid=25463] ppid=25461 vsize=9976 CPUtime=0 cores=0,2,4,6 /proc/25463/stat : 25463 (scip-2.0.1.4_2.) R 25461 25463 22888 0 -1 4202496 1502 0 0 0 0 0 0 0 25 0 1 0 871225303 10215424 1457 33554432000 4194304 8979876 140734073545968 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/25463/statm: 2494 1457 367 1169 0 1321 0 [startup+0.0435029 s] /proc/loadavg: 2.00 2.00 1.93 2/177 25463 /proc/meminfo: memFree=30688832/32951124 swapFree=67057920/67111528 [pid=25463] ppid=25461 vsize=19488 CPUtime=0.03 cores=0,2,4,6 /proc/25463/stat : 25463 (scip-2.0.1.4_2.) R 25461 25463 22888 0 -1 4202496 3986 0 0 0 3 0 0 0 25 0 1 0 871225303 19955712 3684 33554432000 4194304 8979876 140734073545968 18446744073709551615 7964885 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/25463/statm: 4872 3684 563 1169 0 3699 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 19488 [startup+0.100448 s] /proc/loadavg: 2.00 2.00 1.93 2/177 25463 /proc/meminfo: memFree=30688832/32951124 swapFree=67057920/67111528 [pid=25463] ppid=25461 vsize=44432 CPUtime=0.09 cores=0,2,4,6 /proc/25463/stat : 25463 (scip-2.0.1.4_2.) R 25461 25463 22888 0 -1 4202496 10503 0 0 0 8 1 0 0 25 0 1 0 871225303 45498368 9800 33554432000 4194304 8979876 140734073545968 18446744073709551615 7790414 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/25463/statm: 11108 9800 671 1169 0 9935 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 44432 [startup+0.300415 s] /proc/loadavg: 2.00 2.00 1.93 2/177 25463 /proc/meminfo: memFree=30688832/32951124 swapFree=67057920/67111528 [pid=25463] ppid=25461 vsize=36688 CPUtime=0.29 cores=0,2,4,6 /proc/25463/stat : 25463 (scip-2.0.1.4_2.) R 25461 25463 22888 0 -1 4202496 12746 0 0 0 27 2 0 0 25 0 1 0 871225303 37568512 8164 33554432000 4194304 8979876 140734073545968 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/25463/statm: 9172 8164 709 1169 0 7999 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36688 [startup+0.700342 s] /proc/loadavg: 2.00 2.00 1.93 2/177 25463 /proc/meminfo: memFree=30688832/32951124 swapFree=67057920/67111528 [pid=25463] ppid=25461 vsize=41832 CPUtime=0.69 cores=0,2,4,6 /proc/25463/stat : 25463 (scip-2.0.1.4_2.) R 25461 25463 22888 0 -1 4202496 15982 0 0 0 67 2 0 0 25 0 1 0 871225303 42835968 9288 33554432000 4194304 8979876 140734073545968 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/25463/statm: 10458 9288 720 1169 0 9285 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 41832 [startup+1.50017 s] /proc/loadavg: 2.00 2.00 1.93 3/178 25464 /proc/meminfo: memFree=30653504/32951124 swapFree=67057920/67111528 [pid=25463] ppid=25461 vsize=44136 CPUtime=1.49 cores=0,2,4,6 /proc/25463/stat : 25463 (scip-2.0.1.4_2.) R 25461 25463 22888 0 -1 4202496 16799 0 0 0 145 4 0 0 25 0 1 0 871225303 45195264 10084 33554432000 4194304 8979876 140734073545968 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/25463/statm: 11034 10084 736 1169 0 9861 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 44136 [startup+3.10094 s] /proc/loadavg: 2.00 2.00 1.93 3/178 25464 /proc/meminfo: memFree=30651024/32951124 swapFree=67057920/67111528 [pid=25463] ppid=25461 vsize=44684 CPUtime=3.09 cores=0,2,4,6 /proc/25463/stat : 25463 (scip-2.0.1.4_2.) R 25461 25463 22888 0 -1 4202496 16948 0 0 0 299 10 0 0 25 0 1 0 871225303 45756416 10225 33554432000 4194304 8979876 140734073545968 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/25463/statm: 11171 10225 729 1169 0 9998 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44684 [startup+6.30035 s] /proc/loadavg: 1.92 1.98 1.92 3/178 25541 /proc/meminfo: memFree=31301888/32951124 swapFree=67057920/67111528 [pid=25463] ppid=25461 vsize=41896 CPUtime=6.29 cores=0,2,4,6 /proc/25463/stat : 25463 (scip-2.0.1.4_2.) R 25461 25463 22888 0 -1 4202496 16999 0 0 0 615 14 0 0 25 0 1 0 871225303 42901504 9582 33554432000 4194304 8979876 140734073545968 18446744073709551615 7179628 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/25463/statm: 10474 9582 737 1169 0 9301 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 41896 [startup+12.7002 s] /proc/loadavg: 1.93 1.98 1.92 3/178 25541 /proc/meminfo: memFree=31273880/32951124 swapFree=67057920/67111528 [pid=25463] ppid=25461 vsize=41896 CPUtime=12.69 cores=0,2,4,6 /proc/25463/stat : 25463 (scip-2.0.1.4_2.) R 25461 25463 22888 0 -1 4202496 17008 0 0 0 1245 24 0 0 25 0 1 0 871225303 42901504 9583 33554432000 4194304 8979876 140734073545968 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/25463/statm: 10474 9583 729 1169 0 9301 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 41896 [startup+25.501 s] /proc/loadavg: 1.94 1.98 1.92 3/178 25542 /proc/meminfo: memFree=31265588/32951124 swapFree=67057920/67111528 [pid=25463] ppid=25461 vsize=41896 CPUtime=25.49 cores=0,2,4,6 /proc/25463/stat : 25463 (scip-2.0.1.4_2.) R 25461 25463 22888 0 -1 4202496 17012 0 0 0 2511 38 0 0 25 0 1 0 871225303 42901504 9587 33554432000 4194304 8979876 140734073545968 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/25463/statm: 10474 9587 730 1169 0 9301 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 41896 [startup+51.1004 s] /proc/loadavg: 1.96 1.98 1.92 3/178 25542 /proc/meminfo: memFree=31265500/32951124 swapFree=67057920/67111528 [pid=25463] ppid=25461 vsize=41896 CPUtime=51.09 cores=0,2,4,6 /proc/25463/stat : 25463 (scip-2.0.1.4_2.) R 25461 25463 22888 0 -1 4202496 17017 0 0 0 5040 69 0 0 25 0 1 0 871225303 42901504 9592 33554432000 4194304 8979876 140734073545968 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/25463/statm: 10474 9592 732 1169 0 9301 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 41896 [startup+102.306 s] /proc/loadavg: 1.98 1.98 1.92 3/178 25544 /proc/meminfo: memFree=31263652/32951124 swapFree=67057920/67111528 [pid=25463] ppid=25461 vsize=43200 CPUtime=102.3 cores=0,2,4,6 /proc/25463/stat : 25463 (scip-2.0.1.4_2.) R 25461 25463 22888 0 -1 4202496 18035 0 0 0 10094 136 0 0 25 0 1 0 871225303 44236800 9926 33554432000 4194304 8979876 140734073545968 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/25463/statm: 10800 9926 732 1169 0 9627 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 43200 [startup+162.301 s] /proc/loadavg: 1.99 1.98 1.92 3/178 25545 /proc/meminfo: memFree=31259908/32951124 swapFree=67057920/67111528 [pid=25463] ppid=25461 vsize=47512 CPUtime=162.3 cores=0,2,4,6 /proc/25463/stat : 25463 (scip-2.0.1.4_2.) R 25461 25463 22888 0 -1 4202496 23131 0 0 0 16020 210 0 0 25 0 1 0 871225303 48652288 11004 33554432000 4194304 8979876 140734073545968 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/25463/statm: 11878 11004 732 1169 0 10705 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 47512 [startup+222.3 s] /proc/loadavg: 1.99 1.98 1.92 3/178 25547 /proc/meminfo: memFree=31253800/32951124 swapFree=67057920/67111528 [pid=25463] ppid=25461 vsize=53716 CPUtime=222.29 cores=0,2,4,6 /proc/25463/stat : 25463 (scip-2.0.1.4_2.) R 25461 25463 22888 0 -1 4202496 27289 0 0 0 21939 290 0 0 25 0 1 0 871225303 55005184 12498 33554432000 4194304 8979876 140734073545968 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/25463/statm: 13429 12498 732 1169 0 12256 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 53716 [startup+282.301 s] /proc/loadavg: 2.07 2.00 1.93 3/178 25548 /proc/meminfo: memFree=31246208/32951124 swapFree=67057920/67111528 [pid=25463] ppid=25461 vsize=60788 CPUtime=282.3 cores=0,2,4,6 /proc/25463/stat : 25463 (scip-2.0.1.4_2.) R 25461 25463 22888 0 -1 4202496 31704 0 0 0 27861 369 0 0 25 0 1 0 871225303 62246912 14281 33554432000 4194304 8979876 140734073545968 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/25463/statm: 15197 14281 732 1169 0 14024 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 60788 [startup+342.301 s] /proc/loadavg: 2.03 2.00 1.93 3/178 25550 /proc/meminfo: memFree=31241088/32951124 swapFree=67057920/67111528 [pid=25463] ppid=25461 vsize=66376 CPUtime=342.3 cores=0,2,4,6 /proc/25463/stat : 25463 (scip-2.0.1.4_2.) R 25461 25463 22888 0 -1 4202496 33104 0 0 0 33784 446 0 0 25 0 1 0 871225303 67969024 15680 33554432000 4194304 8979876 140734073545968 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/25463/statm: 16594 15680 732 1169 0 15421 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 66376 [startup+402.3 s] /proc/loadavg: 2.01 2.00 1.93 3/178 25552 /proc/meminfo: memFree=31237340/32951124 swapFree=67057920/67111528 [pid=25463] ppid=25461 vsize=70092 CPUtime=402.3 cores=0,2,4,6 /proc/25463/stat : 25463 (scip-2.0.1.4_2.) R 25461 25463 22888 0 -1 4202496 34039 0 0 0 39702 528 0 0 25 0 1 0 871225303 71774208 16615 33554432000 4194304 8979876 140734073545968 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/25463/statm: 17523 16615 732 1169 0 16350 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 70092 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.93 3/178 25553 /proc/meminfo: memFree=31232952/32951124 swapFree=67057920/67111528 [pid=25463] ppid=25461 vsize=74256 CPUtime=462.3 cores=0,2,4,6 /proc/25463/stat : 25463 (scip-2.0.1.4_2.) R 25461 25463 22888 0 -1 4202496 42530 0 0 0 45623 607 0 0 25 0 1 0 871225303 76038144 17657 33554432000 4194304 8979876 140734073545968 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/25463/statm: 18564 17657 732 1169 0 17391 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 74256 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 25555 /proc/meminfo: memFree=31232908/32951124 swapFree=67057920/67111528 [pid=25463] ppid=25461 vsize=74100 CPUtime=522.3 cores=0,2,4,6 /proc/25463/stat : 25463 (scip-2.0.1.4_2.) R 25461 25463 22888 0 -1 4202496 49884 0 0 0 51548 682 0 0 25 0 1 0 871225303 75878400 17658 33554432000 4194304 8979876 140734073545968 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/25463/statm: 18525 17658 732 1169 0 17352 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 74100 Solver just ended. Dumping a history of the last processes samples [startup+537.501 s] /proc/loadavg: 2.00 2.00 1.93 3/178 25555 /proc/meminfo: memFree=31232896/32951124 swapFree=67057920/67111528 [pid=25463] ppid=25461 vsize=74100 CPUtime=537.51 cores=0,2,4,6 /proc/25463/stat : 25463 (scip-2.0.1.4_2.) R 25461 25463 22888 0 -1 4202496 49884 0 0 0 53052 699 0 0 25 0 1 0 871225303 75878400 17658 33554432000 4194304 8979876 140734073545968 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/25463/statm: 18525 17658 732 1169 0 17352 0 Current children cumulated CPU time (s) 537.51 Current children cumulated vsize (KiB) 74100 [startup+550.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 25556 /proc/meminfo: memFree=31232884/32951124 swapFree=67057920/67111528 [pid=25463] ppid=25461 vsize=74004 CPUtime=550.3 cores=0,2,4,6 /proc/25463/stat : 25463 (scip-2.0.1.4_2.) R 25461 25463 22888 0 -1 4202496 52345 0 0 0 54316 714 0 0 25 0 1 0 871225303 75780096 17617 33554432000 4194304 8979876 140734073545968 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/25463/statm: 18501 17617 732 1169 0 17328 0 Current children cumulated CPU time (s) 550.3 Current children cumulated vsize (KiB) 74004 [startup+563.101 s] /proc/loadavg: 2.00 2.00 1.93 3/178 25556 /proc/meminfo: memFree=31232756/32951124 swapFree=67057920/67111528 [pid=25463] ppid=25461 vsize=74200 CPUtime=563.11 cores=0,2,4,6 /proc/25463/stat : 25463 (scip-2.0.1.4_2.) R 25461 25463 22888 0 -1 4202496 52360 0 0 0 55581 730 0 0 25 0 1 0 871225303 75980800 17632 33554432000 4194304 8979876 140734073545968 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/25463/statm: 18550 17632 732 1169 0 17377 0 Current children cumulated CPU time (s) 563.11 Current children cumulated vsize (KiB) 74200 [startup+569.501 s] /proc/loadavg: 2.00 2.00 1.93 3/178 25556 /proc/meminfo: memFree=31232872/32951124 swapFree=67057920/67111528 [pid=25463] ppid=25461 vsize=74200 CPUtime=569.51 cores=0,2,4,6 /proc/25463/stat : 25463 (scip-2.0.1.4_2.) R 25461 25463 22888 0 -1 4202496 52373 0 0 0 56214 737 0 0 25 0 1 0 871225303 75980800 17645 33554432000 4194304 8979876 140734073545968 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/25463/statm: 18550 17645 732 1169 0 17377 0 Current children cumulated CPU time (s) 569.51 Current children cumulated vsize (KiB) 74200 [startup+572.7 s] /proc/loadavg: 2.00 2.00 1.93 3/178 25556 /proc/meminfo: memFree=31232872/32951124 swapFree=67057920/67111528 [pid=25463] ppid=25461 vsize=74200 CPUtime=572.7 cores=0,2,4,6 /proc/25463/stat : 25463 (scip-2.0.1.4_2.) R 25461 25463 22888 0 -1 4202496 52373 0 0 0 56530 740 0 0 25 0 1 0 871225303 75980800 17645 33554432000 4194304 8979876 140734073545968 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/25463/statm: 18550 17645 732 1169 0 17377 0 Current children cumulated CPU time (s) 572.7 Current children cumulated vsize (KiB) 74200 [startup+573.5 s] /proc/loadavg: 2.00 2.00 1.93 3/178 25556 /proc/meminfo: memFree=31232872/32951124 swapFree=67057920/67111528 [pid=25463] ppid=25461 vsize=74200 CPUtime=573.5 cores=0,2,4,6 /proc/25463/stat : 25463 (scip-2.0.1.4_2.) R 25461 25463 22888 0 -1 4202496 52373 0 0 0 56609 741 0 0 25 0 1 0 871225303 75980800 17645 33554432000 4194304 8979876 140734073545968 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/25463/statm: 18550 17645 732 1169 0 17377 0 Current children cumulated CPU time (s) 573.5 Current children cumulated vsize (KiB) 74200 [startup+574.301 s] /proc/loadavg: 2.00 2.00 1.93 3/178 25556 /proc/meminfo: memFree=31232872/32951124 swapFree=67057920/67111528 [pid=25463] ppid=25461 vsize=74200 CPUtime=574.31 cores=0,2,4,6 /proc/25463/stat : 25463 (scip-2.0.1.4_2.) R 25461 25463 22888 0 -1 4202496 52374 0 0 0 56689 742 0 0 25 0 1 0 871225303 75980800 17646 33554432000 4194304 8979876 140734073545968 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/25463/statm: 18550 17646 732 1169 0 17377 0 Current children cumulated CPU time (s) 574.31 Current children cumulated vsize (KiB) 74200 [startup+574.501 s] /proc/loadavg: 2.00 2.00 1.93 3/178 25556 /proc/meminfo: memFree=31232872/32951124 swapFree=67057920/67111528 [pid=25463] ppid=25461 vsize=74200 CPUtime=574.5 cores=0,2,4,6 /proc/25463/stat : 25463 (scip-2.0.1.4_2.) R 25461 25463 22888 0 -1 4202496 52374 0 0 0 56708 742 0 0 25 0 1 0 871225303 75980800 17646 33554432000 4194304 8979876 140734073545968 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/25463/statm: 18550 17646 732 1169 0 17377 0 Current children cumulated CPU time (s) 574.5 Current children cumulated vsize (KiB) 74200 Child status: 0 Real time (s): 574.533 CPU time (s): 574.546 CPU user time (s): 567.116 CPU system time (s): 7.42987 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 74472 getrusage(RUSAGE_CHILDREN,...) data: user time used= 567.116 system time used= 7.42987 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 52382 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= 592 runsolver used 0.880866 second user time and 1.73873 second system time The end
Begin job on node140 at 2011-06-11 12:28:20 IDJOB=3485231 IDBENCH=48277 IDSOLVER=1977 FILE ID=node140/3485231-1307788100 RUNJOBID= node140-1307786302-25337 PBS_JOBID= 13550876 Free space on /tmp= 73792 MiB SOLVER NAME= SCIP spx 2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_4.opb COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3485231-1307788100/watcher-3485231-1307788100 -o /tmp/evaluation-result-3485231-1307788100/solver-3485231-1307788100 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485231-1307788100.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3258ae2375db1ca5a9ce9d305f00baf0 RANDOM SEED=1547999087 node140.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.14 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30689012 kB Buffers: 301788 kB Cached: 1058812 kB SwapCached: 7060 kB Active: 1345668 kB Inactive: 714344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30689012 kB SwapTotal: 67111528 kB SwapFree: 67057920 kB Dirty: 16700 kB Writeback: 0 kB AnonPages: 697212 kB Mapped: 15924 kB Slab: 135300 kB PageTables: 5836 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 908072 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73776 MiB End job on node140 at 2011-06-11 12:37:54