Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT (TO) | -42 | 1800.6 | 1801.12 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb |
| MD5SUM | 09bf68c118cd38b954800f61edb04c4b |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -45 |
| Best CPU time to get the best result obtained on this benchmark | 1800.14 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -54 |
| Optimality of the best value was proved | NO |
| Number of variables | 1400 |
| Total number of constraints | 110038 |
| Number of constraints which are clauses | 110038 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 1400 |
| 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 | 1400 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1400 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 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-2666935-1276494971.opb>
1.69/1.73 c original problem has 1400 variables (1400 bin, 0 int, 0 impl, 0 cont) and 110038 constraints
1.69/1.73 c problem read
1.69/1.73 c presolving settings loaded
1.99/2.02 o 0
1.99/2.02 c feasible solution found by trivial heuristic, objective value 0.000000e+00
1.99/2.02 c presolving:
3.48/3.51 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 110038 upgd conss, 220076 impls, 0 clqs
5.99/6.02 c (3.9s) probing: 101/1400 (7.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
5.99/6.02 c (3.9s) probing aborted: 100/100 successive totally useless probings
5.99/6.02 c presolving (2 rounds):
5.99/6.02 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
5.99/6.02 c 220076 implications, 0 cliques
5.99/6.02 c presolved problem has 1400 variables (1400 bin, 0 int, 0 impl, 0 cont) and 110038 constraints
5.99/6.02 c 110038 constraints of type <logicor>
5.99/6.02 c transformed objective value is always integral (scale: 1)
5.99/6.02 c Presolving Time: 3.73
5.99/6.02 c - non default parameters ----------------------------------------------------------------------
5.99/6.02 c # SCIP version 1.2.1.2
5.99/6.02 c
5.99/6.02 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
5.99/6.02 c # [type: int, range: [-1,2147483647], default: -1]
5.99/6.02 c conflict/interconss = 0
5.99/6.02 c
5.99/6.02 c # should binary conflicts be preferred?
5.99/6.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.99/6.02 c conflict/preferbinary = TRUE
5.99/6.02 c
5.99/6.02 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
5.99/6.02 c # [type: int, range: [-1,2147483647], default: 0]
5.99/6.02 c constraints/agelimit = 1
5.99/6.02 c
5.99/6.02 c # should enforcement of pseudo solution be disabled?
5.99/6.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.99/6.02 c constraints/disableenfops = TRUE
5.99/6.02 c
5.99/6.02 c # frequency for displaying node information lines
5.99/6.02 c # [type: int, range: [-1,2147483647], default: 100]
5.99/6.02 c display/freq = 10000
5.99/6.02 c
5.99/6.02 c # maximal time in seconds to run
5.99/6.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.99/6.02 c limits/time = 1798.28
5.99/6.02 c
5.99/6.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.99/6.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.99/6.02 c limits/memory = 1620
5.99/6.02 c
5.99/6.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
5.99/6.02 c # [type: int, range: [-1,2147483647], default: 1]
5.99/6.02 c lp/solvefreq = 0
5.99/6.02 c
5.99/6.02 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
5.99/6.02 c # [type: char, range: {lafpsqd}, default: l]
5.99/6.02 c lp/pricing = a
5.99/6.02 c
5.99/6.02 c # should presolving try to simplify inequalities
5.99/6.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.99/6.02 c constraints/linear/simplifyinequalities = TRUE
5.99/6.02 c
5.99/6.02 c # should presolving try to simplify knapsacks
5.99/6.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.99/6.02 c constraints/knapsack/simplifyinequalities = TRUE
5.99/6.02 c
5.99/6.02 c # priority of node selection rule <dfs> in standard mode
5.99/6.02 c # [type: int, range: [-536870912,536870911], default: 0]
5.99/6.02 c nodeselection/dfs/stdpriority = 1000000
5.99/6.02 c
5.99/6.02 c -----------------------------------------------------------------------------------------------
5.99/6.02 c start solving
5.99/6.03 c
16.28/16.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.28/16.33 c t14.1s| 1 | 0 | 1566 | - | 122M| 0 |1400 |1400 | 110k|1400 | 110k| 0 | 0 | 0 |-7.000000e+02 | 0.000000e+00 | 100.00%
16.49/16.57 o -1
16.49/16.57 c R14.3s| 1 | 0 | 1566 | - | 122M| 0 |1400 |1400 | 110k|1400 | 110k| 0 | 0 | 0 |-7.000000e+02 |-1.000000e+00 | 99.86%
16.78/16.86 o -2
16.78/16.86 c s14.6s| 1 | 0 | 1566 | - | 122M| 0 |1400 |1400 | 110k|1400 | 110k| 0 | 0 | 0 |-7.000000e+02 |-2.000000e+00 | 99.71%
26.08/26.12 c 22.8s| 1 | 0 | 1790 | - | 122M| 0 |1327 |1400 | 110k|1400 | 110k| 8 | 0 | 0 |-6.635000e+02 |-2.000000e+00 | 99.70%
26.18/26.22 o -39
26.18/26.22 c b22.9s| 1 | 0 | 1790 | - | 122M| 0 |1327 |1400 | 110k|1400 | 110k| 8 | 0 | 0 |-6.635000e+02 |-3.900000e+01 | 94.12%
37.98/38.00 c 33.9s| 1 | 0 | 1981 | - | 122M| 0 |1278 |1400 | 110k|1400 | 110k| 17 | 0 | 0 |-6.390000e+02 |-3.900000e+01 | 93.90%
53.47/53.57 c 48.6s| 1 | 0 | 2233 | - | 122M| 0 |1227 |1400 | 110k|1400 | 110k| 29 | 0 | 0 |-6.135000e+02 |-3.900000e+01 | 93.64%
70.57/70.60 c 64.8s| 1 | 0 | 2482 | - | 122M| 0 |1174 |1400 | 110k|1400 | 110k| 43 | 0 | 0 |-5.870000e+02 |-3.900000e+01 | 93.36%
88.87/88.98 c 82.3s| 1 | 0 | 2766 | - | 122M| 0 |1125 |1400 | 110k|1400 | 110k| 56 | 0 | 0 |-5.617500e+02 |-3.900000e+01 | 93.06%
108.27/108.32 c 101s| 1 | 0 | 3036 | - | 122M| 0 |1074 |1400 | 110k|1400 | 110k| 66 | 0 | 0 |-5.362500e+02 |-3.900000e+01 | 92.73%
127.36/127.40 c 119s| 1 | 0 | 3240 | - | 122M| 0 |1049 |1400 | 110k|1400 | 110k| 72 | 0 | 0 |-5.237500e+02 |-3.900000e+01 | 92.55%
150.24/150.38 c 141s| 1 | 0 | 3763 | - | 122M| 0 | 976 |1400 | 110k|1400 | 110k| 89 | 0 | 0 |-4.872500e+02 |-3.900000e+01 | 92.00%
169.54/169.67 c 160s| 1 | 0 | 3909 | - | 122M| 0 | 929 |1400 | 110k|1400 | 110k| 92 | 0 | 0 |-4.637500e+02 |-3.900000e+01 | 91.59%
190.84/190.90 c 180s| 1 | 0 | 4251 | - | 122M| 0 | 879 |1400 | 110k|1400 | 110k| 107 | 0 | 0 |-4.387500e+02 |-3.900000e+01 | 91.11%
199.24/199.38 c 188s| 1 | 0 | 4597 | - | 122M| 0 | 832 |1400 | 110k|1400 | 110k| 114 | 0 | 0 |-4.152500e+02 |-3.900000e+01 | 90.61%
209.23/209.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
209.23/209.37 c 197s| 1 | 0 | 5002 | - | 122M| 0 | 786 |1400 | 110k|1400 | 110k| 118 | 0 | 0 |-3.922500e+02 |-3.900000e+01 | 90.06%
222.23/222.32 c 209s| 1 | 0 | 5573 | - | 122M| 0 | 763 |1400 | 110k|1400 | 110k| 122 | 0 | 0 |-3.807500e+02 |-3.900000e+01 | 89.76%
230.33/230.46 c 216s| 1 | 0 | 5852 | - | 122M| 0 | 739 |1400 | 110k|1400 | 110k| 132 | 0 | 0 |-3.687500e+02 |-3.900000e+01 | 89.42%
240.32/240.41 c 225s| 1 | 0 | 6287 | - | 122M| 0 | 696 |1400 | 110k|1400 | 110k| 139 | 0 | 0 |-3.472500e+02 |-3.900000e+01 | 88.77%
253.32/253.49 c 237s| 1 | 0 | 6979 | - | 122M| 0 | 647 |1400 | 110k|1400 | 110k| 148 | 0 | 0 |-3.227500e+02 |-3.900000e+01 | 87.92%
263.62/263.76 c 247s| 1 | 0 | 7457 | - | 122M| 0 | 601 |1400 | 110k|1400 | 110k| 153 | 0 | 0 |-3.005000e+02 |-3.900000e+01 | 87.02%
274.82/274.98 c 257s| 1 | 0 | 8086 | - | 122M| 0 | 552 |1400 | 110k|1400 | 110k| 164 | 0 | 0 |-2.760000e+02 |-3.900000e+01 | 85.87%
283.91/284.04 c 265s| 1 | 0 | 8533 | - | 122M| 0 | 486 |1400 | 110k|1400 | 110k| 172 | 0 | 0 |-2.420000e+02 |-3.900000e+01 | 83.88%
293.20/293.38 c 274s| 1 | 0 | 8998 | - | 122M| 0 | 440 |1400 | 110k|1400 | 110k| 180 | 0 | 0 |-2.200000e+02 |-3.900000e+01 | 82.27%
301.70/301.82 c 282s| 1 | 0 | 9557 | - | 122M| 0 | 416 |1400 | 110k|1400 | 110k| 185 | 0 | 0 |-2.080000e+02 |-3.900000e+01 | 81.25%
307.80/307.99 c 288s| 1 | 0 | 9938 | - | 122M| 0 | 373 |1400 | 110k|1400 | 110k| 190 | 0 | 0 |-1.865000e+02 |-3.900000e+01 | 79.09%
321.89/322.04 c 301s| 1 | 0 | 11201 | - | 122M| 0 | 331 |1400 | 110k|1400 | 110k| 198 | 0 | 0 |-1.655000e+02 |-3.900000e+01 | 76.44%
329.09/329.21 c 308s| 1 | 0 | 11681 | - | 122M| 0 | 288 |1400 | 110k|1400 | 110k| 207 | 0 | 0 |-1.440000e+02 |-3.900000e+01 | 72.92%
336.39/336.50 c 315s| 1 | 0 | 12130 | - | 122M| 0 | 268 |1400 | 110k|1400 | 110k| 211 | 0 | 0 |-1.340000e+02 |-3.900000e+01 | 70.90%
346.39/346.53 c 324s| 1 | 0 | 12932 | - | 122M| 0 | 229 |1400 | 110k|1400 | 110k| 218 | 0 | 0 |-1.145000e+02 |-3.900000e+01 | 65.94%
353.99/354.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
353.99/354.17 c 331s| 1 | 0 | 13538 | - | 122M| 0 | 183 |1400 | 110k|1400 | 110k| 224 | 0 | 0 |-9.250000e+01 |-3.900000e+01 | 57.84%
359.49/359.64 c 337s| 1 | 0 | 13862 | - | 122M| 0 | 177 |1400 | 110k|1400 | 110k| 232 | 0 | 0 |-8.300000e+01 |-3.900000e+01 | 53.01%
365.27/365.44 c 342s| 1 | 0 | 14236 | - | 122M| 0 | 149 |1400 | 110k|1400 | 110k| 239 | 0 | 0 |-6.500000e+01 |-3.900000e+01 | 40.00%
369.07/369.27 c 345s| 1 | 0 | 14428 | - | 122M| 0 | 160 |1400 | 110k|1400 | 110k| 245 | 0 | 0 |-5.600000e+01 |-3.900000e+01 | 30.36%
372.58/372.75 c 348s| 1 | 0 | 14537 | - | 122M| 0 | 159 |1400 | 110k|1400 | 110k| 255 | 0 | 0 |-5.600000e+01 |-3.900000e+01 | 30.36%
377.57/377.79 c 353s| 1 | 0 | 14776 | - | 123M| 0 | 199 |1400 | 110k|1400 | 110k| 272 | 0 | 0 |-5.600000e+01 |-3.900000e+01 | 30.36%
381.67/381.87 c 356s| 1 | 0 | 14883 | - | 123M| 0 | 197 |1400 | 110k|1400 | 110k| 280 | 0 | 0 |-5.600000e+01 |-3.900000e+01 | 30.36%
455.75/455.99 c 416s| 1 | 0 | 15083 | - | 123M| 0 | 215 |1400 | 110k|1400 | 110k| 289 | 0 | 0 |-5.600000e+01 |-3.900000e+01 | 30.36%
588.12/588.33 c 522s| 1 | 0 | 15229 | - | 123M| 0 | 206 |1400 | 110k|1400 | 110k| 302 | 0 | 0 |-5.600000e+01 |-3.900000e+01 | 30.36%
740.67/740.96 c 674s| 1 | 2 | 15229 | - | 123M| 0 | 206 |1400 | 110k|1400 | 110k| 302 | 0 | 23 |-5.600000e+01 |-3.900000e+01 | 30.36%
741.48/741.75 o -40
741.48/741.75 c * 675s| 702 | 32 | 15229 | 0.0 | 124M| 43 | - |1400 | 110k| 0 | 0 | 302 | 11 | 23 |-5.600000e+01 |-4.000000e+01 | 28.57%
749.67/749.97 c 683s| 10000 | 29 | 15229 | 0.0 | 124M| 47 | - |1400 | 110k| 0 | 0 | 302 | 89 | 23 |-5.600000e+01 |-4.000000e+01 | 28.57%
758.97/759.27 c 692s| 20000 | 29 | 15229 | 0.0 | 124M| 47 | - |1400 | 110k| 0 | 0 | 302 | 176 | 23 |-5.600000e+01 |-4.000000e+01 | 28.57%
767.27/767.52 o -41
767.27/767.52 c * 700s| 28760 | 29 | 15229 | 0.0 | 124M| 48 | - |1400 | 110k| 0 | 0 | 302 | 293 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
768.26/768.56 c 701s| 30000 | 30 | 15229 | 0.0 | 124M| 48 | - |1400 | 110k| 0 | 0 | 302 | 303 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
776.97/777.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
776.97/777.21 c 710s| 40000 | 28 | 15229 | 0.0 | 124M| 48 | - |1400 | 110k| 0 | 0 | 302 | 339 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
785.66/785.90 c 718s| 50000 | 29 | 15229 | 0.0 | 124M| 50 | - |1400 | 110k| 0 | 0 | 302 | 377 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
793.66/793.96 c 726s| 60000 | 30 | 15229 | 0.0 | 124M| 50 | - |1400 | 110k| 0 | 0 | 302 | 420 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
802.16/802.42 c 734s| 70000 | 28 | 15229 | 0.0 | 124M| 50 | - |1400 | 110k| 0 | 0 | 302 | 459 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
810.56/810.85 c 743s| 80000 | 28 | 15229 | 0.0 | 124M| 55 | - |1400 | 110k| 0 | 0 | 302 | 497 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
818.95/819.21 c 751s| 90000 | 29 | 15229 | 0.0 | 124M| 55 | - |1400 | 110k| 0 | 0 | 302 | 546 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
827.85/828.13 c 760s|100000 | 29 | 15229 | 0.0 | 124M| 55 | - |1400 | 110k| 0 | 0 | 302 | 640 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
836.76/837.06 c 768s|110000 | 28 | 15229 | 0.0 | 124M| 55 | - |1400 | 110k| 0 | 0 | 302 | 704 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
845.34/845.67 c 777s|120000 | 29 | 15229 | 0.0 | 124M| 55 | - |1400 | 110k| 0 | 0 | 302 | 740 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
853.95/854.23 c 785s|130000 | 27 | 15229 | 0.0 | 124M| 55 | - |1400 | 110k| 0 | 0 | 302 | 838 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
862.94/863.21 c 794s|140000 | 28 | 15229 | 0.0 | 124M| 55 | - |1400 | 110k| 0 | 0 | 302 | 919 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
871.34/871.65 c 802s|150000 | 33 | 15229 | 0.0 | 124M| 55 | - |1400 | 110k| 0 | 0 | 302 | 962 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
880.54/880.85 c 811s|160000 | 29 | 15229 | 0.0 | 124M| 55 | - |1400 | 110k| 0 | 0 | 302 |1047 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
889.23/889.54 c 820s|170000 | 29 | 15229 | 0.0 | 124M| 55 | - |1400 | 110k| 0 | 0 | 302 |1073 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
897.73/898.09 c 828s|180000 | 26 | 15229 | 0.0 | 124M| 56 | - |1400 | 110k| 0 | 0 | 302 |1124 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
906.73/907.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
906.73/907.08 c 837s|190000 | 28 | 15229 | 0.0 | 124M| 56 | - |1400 | 110k| 0 | 0 | 302 |1178 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
914.84/915.11 c 845s|200000 | 26 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |1221 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
923.22/923.51 c 853s|210000 | 28 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |1257 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
931.43/931.79 c 862s|220000 | 31 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |1302 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
939.72/940.07 c 870s|230000 | 26 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |1340 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
948.01/948.32 c 878s|240000 | 29 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |1379 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
956.52/956.90 c 886s|250000 | 30 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |1424 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
965.02/965.31 c 895s|260000 | 26 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |1484 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
974.02/974.35 c 903s|270000 | 30 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |1542 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
982.51/982.86 c 912s|280000 | 28 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |1600 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
991.11/991.44 c 920s|290000 | 24 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |1683 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
999.21/999.59 c 928s|300000 | 28 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |1710 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1007.61/1007.95 c 937s|310000 | 28 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |1757 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1015.80/1016.13 c 945s|320000 | 28 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |1788 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1024.30/1024.64 c 953s|330000 | 27 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |1843 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1032.80/1033.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1032.80/1033.11 c 961s|340000 | 27 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |1986 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1041.69/1042.07 c 970s|350000 | 28 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |2063 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1050.40/1050.73 c 979s|360000 | 29 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |2125 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1058.79/1059.19 c 987s|370000 | 26 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |2188 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1067.09/1067.40 c 995s|380000 | 26 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |2239 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1075.29/1075.65 c 1003s|390000 | 28 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |2298 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1083.88/1084.26 c 1012s|400000 | 26 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |2345 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1092.28/1092.68 c 1020s|410000 | 25 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |2378 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1100.98/1101.38 c 1028s|420000 | 27 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |2437 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1109.98/1110.39 c 1037s|430000 | 28 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |2483 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1118.57/1118.91 c 1046s|440000 | 29 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |2529 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1126.97/1127.34 c 1054s|450000 | 24 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |2578 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1135.47/1135.83 c 1062s|460000 | 30 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |2629 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1143.76/1144.12 c 1070s|470000 | 27 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |2687 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1151.67/1152.07 c 1078s|480000 | 28 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |2738 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1159.96/1160.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1159.96/1160.39 c 1086s|490000 | 29 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |2777 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1168.56/1168.99 c 1095s|500000 | 28 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |2828 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1177.55/1177.93 c 1104s|510000 | 27 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |2886 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1186.25/1186.66 c 1112s|520000 | 26 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |2931 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1194.55/1194.92 c 1120s|530000 | 28 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |2977 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1202.95/1203.35 c 1129s|540000 | 27 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |3030 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1211.35/1211.79 c 1137s|550000 | 29 | 15229 | 0.0 | 124M| 60 | - |1400 | 110k| 0 | 0 | 302 |3084 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1219.55/1219.93 c 1145s|560000 | 30 | 15229 | 0.0 | 124M| 62 | - |1400 | 110k| 0 | 0 | 302 |3121 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1227.33/1227.70 c 1153s|570000 | 28 | 15229 | 0.0 | 124M| 62 | - |1400 | 110k| 0 | 0 | 302 |3146 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1235.44/1235.83 c 1161s|580000 | 29 | 15229 | 0.0 | 124M| 62 | - |1400 | 110k| 0 | 0 | 302 |3192 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1243.83/1244.25 c 1169s|590000 | 29 | 15229 | 0.0 | 124M| 62 | - |1400 | 110k| 0 | 0 | 302 |3242 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1251.63/1252.05 c 1177s|600000 | 25 | 15229 | 0.0 | 124M| 62 | - |1400 | 110k| 0 | 0 | 302 |3287 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1259.63/1260.08 c 1184s|610000 | 27 | 15229 | 0.0 | 124M| 62 | - |1400 | 110k| 0 | 0 | 302 |3340 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1267.63/1268.06 c 1192s|620000 | 28 | 15229 | 0.0 | 124M| 62 | - |1400 | 110k| 0 | 0 | 302 |3400 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1275.54/1275.96 c 1200s|630000 | 28 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |3448 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1283.83/1284.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1283.83/1284.28 c 1208s|640000 | 28 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |3492 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1291.92/1292.36 c 1216s|650000 | 28 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |3525 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1300.22/1300.65 c 1224s|660000 | 29 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |3579 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1308.22/1308.69 c 1232s|670000 | 30 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |3625 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1317.71/1318.11 c 1242s|680000 | 27 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |3663 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1326.51/1326.98 c 1250s|690000 | 30 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |3700 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1335.31/1335.73 c 1259s|700000 | 28 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |3746 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1344.11/1344.54 c 1268s|710000 | 31 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |3793 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1353.20/1353.65 c 1277s|720000 | 29 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |3829 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1362.20/1362.63 c 1285s|730000 | 30 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |3885 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1370.90/1371.31 c 1294s|740000 | 30 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |3905 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1379.49/1379.96 c 1302s|750000 | 30 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |3964 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1388.30/1388.73 c 1311s|760000 | 28 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |4043 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1397.09/1397.51 c 1320s|770000 | 28 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |4081 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1405.59/1406.06 c 1328s|780000 | 25 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |4119 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1413.99/1414.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1413.99/1414.42 c 1336s|790000 | 28 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |4168 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1422.38/1422.88 c 1345s|800000 | 30 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |4223 | 23 |-5.600000e+01 |-4.100000e+01 | 26.79%
1423.88/1424.36 o -42
1423.88/1424.36 c *1346s|801764 | 27 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |4227 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1430.88/1431.34 c 1353s|810000 | 25 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |4274 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1439.97/1440.42 c 1362s|820000 | 27 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |4335 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1448.19/1448.66 c 1370s|830000 | 28 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |4373 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1456.87/1457.32 c 1379s|840000 | 26 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |4437 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1464.78/1465.29 c 1386s|850000 | 25 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |4486 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1473.17/1473.68 c 1395s|860000 | 28 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |4519 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1481.67/1482.16 c 1403s|870000 | 27 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |4547 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1489.86/1490.34 c 1411s|880000 | 28 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |4599 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1497.86/1498.34 c 1419s|890000 | 27 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |4627 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1505.86/1506.30 c 1427s|900000 | 29 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |4677 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1514.16/1514.68 c 1435s|910000 | 28 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |4729 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1522.25/1522.78 c 1443s|920000 | 26 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |4778 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1530.55/1531.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1530.55/1531.02 c 1451s|930000 | 29 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |4847 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1538.85/1539.36 c 1459s|940000 | 28 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |4893 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1547.05/1547.52 c 1467s|950000 | 26 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |4932 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1555.24/1555.75 c 1475s|960000 | 27 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |4965 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1563.55/1564.05 c 1484s|970000 | 31 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |5009 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1571.45/1571.95 c 1491s|980000 | 28 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |5047 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1579.04/1579.51 c 1499s|990000 | 24 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |5078 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1587.23/1587.76 c 1507s| 1000k| 30 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |5129 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1595.23/1595.78 c 1515s| 1010k| 28 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |5184 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1603.23/1603.78 c 1523s| 1020k| 28 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |5235 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1611.13/1611.69 c 1530s| 1030k| 27 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |5271 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1619.13/1619.68 c 1538s| 1040k| 27 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |5337 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1626.93/1627.47 c 1546s| 1050k| 28 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |5398 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1634.82/1635.35 c 1553s| 1060k| 27 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |5449 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1642.71/1643.28 c 1561s| 1070k| 28 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |5495 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1650.63/1651.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1650.63/1651.15 c 1569s| 1080k| 29 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |5526 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1658.11/1658.66 c 1576s| 1090k| 29 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |5561 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1666.11/1666.63 c 1584s| 1100k| 26 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |5595 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1673.91/1674.49 c 1592s| 1110k| 27 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |5664 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1682.00/1682.57 c 1600s| 1120k| 30 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |5699 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1689.80/1690.37 c 1608s| 1130k| 28 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |5745 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1697.82/1698.36 c 1615s| 1140k| 26 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |5792 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1705.51/1706.06 c 1623s| 1150k| 27 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |5819 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1713.60/1714.19 c 1631s| 1160k| 26 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |5876 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1721.59/1722.13 c 1639s| 1170k| 28 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |5931 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1729.70/1730.23 c 1647s| 1180k| 26 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |5988 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1737.40/1737.99 c 1654s| 1190k| 28 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |6045 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1745.30/1745.83 c 1662s| 1200k| 28 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |6077 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1753.18/1753.74 c 1670s| 1210k| 27 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |6115 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1760.79/1761.36 c 1677s| 1220k| 25 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |6143 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1768.79/1769.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1768.79/1769.38 c 1685s| 1230k| 28 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |6194 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1776.89/1777.41 c 1693s| 1240k| 27 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |6233 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1784.78/1785.39 c 1701s| 1250k| 26 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |6308 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1793.07/1793.64 c 1709s| 1260k| 28 | 15229 | 0.0 | 124M| 64 | - |1400 | 110k| 0 | 0 | 302 |6354 | 23 |-5.600000e+01 |-4.200000e+01 | 25.00%
1800.09/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.61 c
1800.09/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.61 c Solving Time (sec) : 1715.90
1800.09/1800.61 c Solving Nodes : 1268550
1800.09/1800.61 c Primal Bound : -4.20000000000000e+01 (13 solutions)
1800.09/1800.61 c Dual Bound : -5.60000000000000e+01
1800.09/1800.61 c Gap : 25.00 %
1800.09/1800.67 s SATISFIABLE
1800.09/1800.67 v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.09/1800.67 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53
1800.09/1800.67 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78
1800.09/1800.67 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
1800.09/1800.67 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1800.09/1800.67 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145
1800.09/1800.67 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165
1800.09/1800.67 v -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186
1800.09/1800.67 v -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207
1800.09/1800.67 v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228
1800.09/1800.67 v -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249
1800.09/1800.67 v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
1800.09/1800.67 v -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291
1800.09/1800.67 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312
1800.09/1800.67 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333
1800.09/1800.67 v -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354
1800.09/1800.67 v -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
1800.09/1800.67 v -x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
1800.09/1800.67 v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
1800.09/1800.67 v -x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438
1800.09/1800.67 v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459
1800.09/1800.67 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
1800.09/1800.67 v -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
1800.09/1800.67 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522
1800.09/1800.67 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543
1800.09/1800.67 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
1800.09/1800.67 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
1800.09/1800.67 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 -x606
1800.09/1800.67 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627
1800.09/1800.67 v -x628 -x629 -x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648
1800.09/1800.67 v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669
1800.09/1800.67 v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689
1800.09/1800.67 v -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
1800.09/1800.67 v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731
1800.09/1800.67 v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752
1800.09/1800.67 v -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773
1800.09/1800.67 v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794
1800.09/1800.67 v -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815
1800.09/1800.67 v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836
1800.09/1800.67 v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857
1800.09/1800.67 v -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878
1800.09/1800.67 v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898
1800.09/1800.67 v -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 x919
1800.09/1800.67 v -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940
1800.09/1800.67 v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961
1800.09/1800.67 v -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982
1800.09/1800.67 v -x983 -x984 -x985 -x986 -x987 -x988 -x989 x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003
1800.09/1800.67 v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020
1800.09/1800.67 v -x1021 -x1022 x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038
1800.09/1800.67 v -x1039 -x1040 -x1041 -x1042 x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056
1800.09/1800.67 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074
1800.09/1800.67 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092
1800.09/1800.67 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 -x1107 -x1108 -x1109 -x1110
1800.09/1800.67 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128
1800.09/1800.67 v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146
1800.09/1800.67 v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164
1800.09/1800.67 v -x1165 x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182
1800.09/1800.67 v -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200
1800.09/1800.67 v -x1201 -x1202 -x1203 -x1204 x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218
1800.09/1800.67 v -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 -x1233 -x1234 -x1235 -x1236
1800.09/1800.67 v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254
1800.09/1800.67 v -x1255 -x1256 x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272
1800.09/1800.67 v -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290
1800.09/1800.67 v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308
1800.09/1800.67 v -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325
1800.09/1800.67 v -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343
1800.09/1800.67 v -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361
1800.09/1800.67 v -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379
1800.09/1800.67 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 x1394 -x1395 -x1396 -x1397
1800.09/1800.67 v -x1398 -x1399 -x1400
1800.09/1800.67 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.68 c Solving Time : 1715.90
1800.09/1800.68 c Original Problem :
1800.09/1800.68 c Problem name : HOME/instance-2666935-1276494971.opb
1800.09/1800.68 c Variables : 1400 (1400 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.68 c Constraints : 110038 initial, 110038 maximal
1800.09/1800.68 c Presolved Problem :
1800.09/1800.68 c Problem name : t_HOME/instance-2666935-1276494971.opb
1800.09/1800.68 c Variables : 1400 (1400 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.68 c Constraints : 110038 initial, 110052 maximal
1800.09/1800.68 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.68 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.68 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.68 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.68 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.68 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.68 c probing : 2.31 0 0 0 0 0 0 0 0
1800.09/1800.68 c logicor : 0.34 0 0 0 0 0 0 0 0
1800.09/1800.68 c root node : - 0 - - 0 - - - -
1800.09/1800.68 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.68 c integral : 0 0 0 1 0 0 0 0 0 2
1800.09/1800.68 c logicor : 110038+ 35 1228405 0 3 69768 1822451 0 0 0
1800.09/1800.68 c countsols : 0 0 0 0 3 0 0 0 0 0
1800.09/1800.68 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.68 c integral : 148.70 0.00 0.00 148.70 0.00
1800.09/1800.68 c logicor : 255.55 0.56 254.93 0.00 0.06
1800.09/1800.68 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.68 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.68 c vbounds : 1.19 2 0 0
1800.09/1800.68 c rootredcost : 1.10 3 0 0
1800.09/1800.68 c pseudoobj : 279.56 1978779 443496 568169
1800.09/1800.68 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.68 c propagation : 140.95 69768 6379 6379 43.9 0 0.0 -
1800.09/1800.68 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.68 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.68 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.68 c pseudo solution : 361.99 118301 0 0 0.0 0 0.0 -
1800.09/1800.68 c applied globally : - - - 6379 43.9 - - -
1800.09/1800.68 c applied locally : - - - 0 0.0 - - -
1800.09/1800.68 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.68 c cut pool : 0.00 34 - - 83 - (maximal pool size: 620)
1800.09/1800.68 c redcost : 0.02 35 0 0 0 0
1800.09/1800.68 c impliedbounds : 0.16 35 0 0 0 0
1800.09/1800.68 c intobj : 0.00 0 0 0 0 0
1800.09/1800.68 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.68 c gomory : 209.66 35 0 0 17000 0
1800.09/1800.68 c strongcg : 29.83 20 0 0 10000 0
1800.09/1800.68 c cmir : 46.03 10 0 0 0 0
1800.09/1800.68 c flowcover : 48.53 10 0 0 0 0
1800.09/1800.68 c clique : 3.76 35 0 0 325 0
1800.09/1800.68 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.68 c mcf : 0.20 1 0 0 0 0
1800.09/1800.68 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.68 c Pricers : Time Calls Vars
1800.09/1800.68 c problem variables: 0.00 0 0
1800.09/1800.68 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.68 c relpscost : 148.70 1 0 0 0 0 2
1800.09/1800.68 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.68 c inference : 7.16 641353 0 0 0 0 1282706
1800.09/1800.68 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.68 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.68 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.68 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.68 c random : 0.00 0 0 0 0 0 0
1800.09/1800.68 c Primal Heuristics : Time Calls Found
1800.09/1800.68 c LP solutions : 0.00 - 0
1800.09/1800.68 c pseudo solutions : 0.00 - 3
1800.09/1800.68 c crossover : 0.00 0 0
1800.09/1800.68 c oneopt : 1.41 2 1
1800.09/1800.68 c trivial : 0.07 2 3
1800.09/1800.68 c simplerounding : 0.03 36 2
1800.09/1800.68 c zirounding : 0.03 1 1
1800.09/1800.68 c rounding : 2.73 36 1
1800.09/1800.68 c shifting : 3.53 36 1
1800.09/1800.68 c intshifting : 0.00 0 0
1800.09/1800.68 c twoopt : 0.00 0 0
1800.09/1800.68 c fixandinfer : 0.00 0 0
1800.09/1800.68 c feaspump : 0.00 0 0
1800.09/1800.68 c coefdiving : 0.00 0 0
1800.09/1800.68 c pscostdiving : 0.00 0 0
1800.09/1800.68 c fracdiving : 0.00 0 0
1800.09/1800.68 c veclendiving : 0.00 0 0
1800.09/1800.68 c intdiving : 0.00 0 0
1800.09/1800.68 c actconsdiving : 0.00 0 0
1800.09/1800.68 c objpscostdiving : 0.00 0 0
1800.09/1800.68 c rootsoldiving : 0.00 0 0
1800.09/1800.68 c linesearchdiving : 0.00 0 0
1800.09/1800.68 c guideddiving : 0.00 0 0
1800.09/1800.68 c octane : 0.00 0 0
1800.09/1800.68 c rens : 3.07 1 1
1800.09/1800.68 c rins : 0.00 0 0
1800.09/1800.68 c localbranching : 0.00 0 0
1800.09/1800.68 c mutation : 0.00 0 0
1800.09/1800.68 c dins : 0.00 0 0
1800.09/1800.68 c undercover : 0.00 0 0
1800.09/1800.68 c nlp : 0.76 0 0
1800.09/1800.68 c trysol : 0.53 0 0
1800.09/1800.68 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.68 c primal LP : 0.34 0 0 0.00 0.00
1800.09/1800.68 c dual LP : 170.73 36 15229 423.03 89.20
1800.09/1800.68 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.68 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.68 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.68 c strong branching : 148.70 23 11362 494.00 76.41
1800.09/1800.68 c (at root node) : - 23 11362 494.00 -
1800.09/1800.68 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.68 c B&B Tree :
1800.09/1800.68 c number of runs : 1
1800.09/1800.68 c nodes : 1268550
1800.09/1800.68 c nodes (total) : 1268550
1800.09/1800.68 c nodes left : 27
1800.09/1800.68 c max depth : 64
1800.09/1800.68 c max depth (total): 64
1800.09/1800.68 c backtracks : 242864 (19.1%)
1800.09/1800.68 c delayed cutoffs : 4787
1800.09/1800.68 c repropagations : 5660 (16146 domain reductions, 4372 cutoffs)
1800.09/1800.68 c avg switch length: 2.00
1800.09/1800.68 c switching time : 70.32
1800.09/1800.68 c Solution :
1800.09/1800.68 c Solutions found : 13 (7 improvements)
1800.09/1800.68 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.18 seconds, depth 0, found by <trivial>)
1800.09/1800.68 c Primal Bound : -4.20000000000000e+01 (in run 1, after 801764 nodes, 1346.18 seconds, depth 49, found by <relaxation>)
1800.09/1800.68 c Dual Bound : -5.60000000000000e+01
1800.09/1800.68 c Gap : 25.00 %
1800.09/1800.68 c Root Dual Bound : -5.60000000000000e+01
1800.09/1800.68 c Root Iterations : 15229
1800.57/1801.12 c Time complete: 1800.59.
OK -42
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666935-1276494971/watcher-2666935-1276494971 -o /tmp/evaluation-result-2666935-1276494971/solver-2666935-1276494971 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666935-1276494971.opb -t 1800 -m 1800 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.69 1.93 1.61 3/106 30352 /proc/meminfo: memFree=1804920/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=6696 CPUtime=0 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 986 0 0 0 0 0 0 0 18 0 1 0 25101125 6856704 906 1992294400 4194304 8223781 140737449380608 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30352/statm: 1674 917 344 984 0 687 0 [startup+0.024071 s] /proc/loadavg: 1.69 1.93 1.61 3/106 30352 /proc/meminfo: memFree=1804920/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=10448 CPUtime=0.01 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 1936 0 0 0 1 0 0 0 20 0 1 0 25101125 10698752 1856 1992294400 4194304 8223781 140737449380608 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30352/statm: 2612 1856 365 984 0 1625 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10448 [startup+0.102078 s] /proc/loadavg: 1.69 1.93 1.61 3/106 30352 /proc/meminfo: memFree=1804920/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=13536 CPUtime=0.09 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 2688 0 0 0 9 0 0 0 20 0 1 0 25101125 13860864 2608 1992294400 4194304 8223781 140737449380608 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30352/statm: 3384 2608 365 984 0 2397 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13536 [startup+0.301102 s] /proc/loadavg: 1.69 1.93 1.61 3/106 30352 /proc/meminfo: memFree=1804920/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=17928 CPUtime=0.29 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 3791 0 0 0 28 1 0 0 20 0 1 0 25101125 18358272 3711 1992294400 4194304 8223781 140737449380608 18446744073709551615 7189566 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30352/statm: 4482 3711 365 984 0 3495 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17928 [startup+0.700149 s] /proc/loadavg: 1.69 1.93 1.61 3/106 30352 /proc/meminfo: memFree=1804920/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=26704 CPUtime=0.69 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 5998 0 0 0 67 2 0 0 20 0 1 0 25101125 27344896 5918 1992294400 4194304 8223781 140737449380608 18446744073709551615 7256580 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30352/statm: 6676 5918 365 984 0 5689 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26704 [startup+1.50024 s] /proc/loadavg: 1.69 1.93 1.61 2/107 30353 /proc/meminfo: memFree=1776764/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=43572 CPUtime=1.49 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 10184 0 0 0 145 4 0 0 23 0 1 0 25101125 44617728 10104 1992294400 4194304 8223781 140737449380608 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30352/statm: 10893 10104 365 984 0 9906 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 43572 [startup+3.10043 s] /proc/loadavg: 1.69 1.93 1.61 2/107 30353 /proc/meminfo: memFree=1695172/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=146956 CPUtime=3.09 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 39404 0 0 0 279 30 0 0 25 0 1 0 25101125 150482944 35410 1992294400 4194304 8223781 140737449380608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30352/statm: 36739 35410 448 984 0 35752 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 146956 [startup+6.30081 s] /proc/loadavg: 1.64 1.91 1.61 2/107 30353 /proc/meminfo: memFree=1681036/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=175508 CPUtime=6.29 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 60643 0 0 0 582 47 0 0 25 0 1 0 25101125 179720192 41835 1992294400 4194304 8223781 140737449380608 18446744073709551615 6031350 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30352/statm: 43877 41836 577 984 0 42890 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 175508 [startup+12.7006 s] /proc/loadavg: 1.59 1.89 1.60 2/107 30353 /proc/meminfo: memFree=1572908/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=263612 CPUtime=12.68 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 82629 0 0 0 1212 56 0 0 25 0 1 0 25101125 269938688 58303 1992294400 4194304 8223781 140737449380608 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30352/statm: 65903 58303 532 984 0 64916 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 263612 [startup+25.5011 s] /proc/loadavg: 1.46 1.85 1.59 2/107 30355 /proc/meminfo: memFree=1570800/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=278836 CPUtime=25.48 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 305491 0 0 0 2386 162 0 0 25 0 1 0 25101125 285528064 58858 1992294400 4194304 8223781 140737449380608 18446744073709551615 6568271 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30352/statm: 69709 58858 558 984 0 68722 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 278836 [startup+51.1011 s] /proc/loadavg: 1.30 1.78 1.58 2/107 30355 /proc/meminfo: memFree=1570552/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=277452 CPUtime=51.07 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 743955 0 0 0 4779 328 0 0 25 0 1 0 25101125 284110848 58843 1992294400 4194304 8223781 140737449380608 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30352/statm: 69363 58843 562 984 0 68376 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 277452 [startup+102.309 s] /proc/loadavg: 1.13 1.66 1.54 2/107 30357 /proc/meminfo: memFree=1569560/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=276180 CPUtime=102.28 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 1402220 0 0 0 9648 580 0 0 25 0 1 0 25101125 282808320 58975 1992294400 4194304 8223781 140737449380608 18446744073709551615 5743109 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30352/statm: 69045 58975 563 984 0 68058 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 276180 [startup+162.301 s] /proc/loadavg: 1.05 1.54 1.51 2/107 30357 /proc/meminfo: memFree=1566956/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=276556 CPUtime=162.25 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 2065722 0 0 0 15387 838 0 0 25 0 1 0 25101125 283193344 59590 1992294400 4194304 8223781 140737449380608 18446744073709551615 5743095 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30352/statm: 69139 59590 563 984 0 68152 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 276556 [startup+222.301 s] /proc/loadavg: 1.02 1.44 1.47 2/107 30359 /proc/meminfo: memFree=1566212/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=273084 CPUtime=222.23 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 2952678 0 0 0 21040 1183 0 0 25 0 1 0 25101125 279638016 59737 1992294400 4194304 8223781 140737449380608 18446744073709551615 6003759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30352/statm: 68271 59737 563 984 0 67284 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 273084 [startup+282.301 s] /proc/loadavg: 1.00 1.35 1.44 2/107 30361 /proc/meminfo: memFree=1566088/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=270328 CPUtime=282.22 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 4275962 0 0 0 26529 1693 0 0 25 0 1 0 25101125 276815872 59949 1992294400 4194304 8223781 140737449380608 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30352/statm: 67582 59949 563 984 0 66595 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 270328 [startup+342.301 s] /proc/loadavg: 1.00 1.29 1.41 2/107 30372 /proc/meminfo: memFree=1565840/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=266792 CPUtime=342.19 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 5167257 0 0 0 32173 2046 0 0 25 0 1 0 25101125 273195008 59826 1992294400 4194304 8223781 140737449380608 18446744073709551615 6569367 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30352/statm: 66698 59826 563 984 0 65711 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 266792 [startup+402.301 s] /proc/loadavg: 1.00 1.23 1.38 2/107 30374 /proc/meminfo: memFree=1565592/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=263944 CPUtime=402.17 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 7002543 0 0 0 37451 2766 0 0 25 0 1 0 25101125 270278656 59703 1992294400 4194304 8223781 140737449380608 18446744073709551615 6051987 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30352/statm: 65986 59703 585 984 0 64999 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 263944 [startup+462.301 s] /proc/loadavg: 1.00 1.19 1.35 2/107 30374 /proc/meminfo: memFree=1564972/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=265108 CPUtime=462.15 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 9936249 0 0 0 42300 3915 0 0 25 0 1 0 25101125 271470592 60082 1992294400 4194304 8223781 140737449380608 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30352/statm: 66277 60082 585 984 0 65290 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 265108 [startup+522.301 s] /proc/loadavg: 1.00 1.15 1.33 2/107 30376 /proc/meminfo: memFree=1565096/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=265108 CPUtime=522.13 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 13125707 0 0 0 47068 5145 0 0 25 0 1 0 25101125 271470592 59868 1992294400 4194304 8223781 140737449380608 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30352/statm: 66277 59881 585 984 0 65290 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 265108 [startup+582.302 s] /proc/loadavg: 1.00 1.12 1.31 2/107 30378 /proc/meminfo: memFree=1565096/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=265108 CPUtime=582.12 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 16319898 0 0 0 51839 6373 0 0 25 0 1 0 25101125 271470592 60067 1992294400 4194304 8223781 140737449380608 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30352/statm: 66277 60080 585 984 0 65290 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 265108 [startup+642.302 s] /proc/loadavg: 1.00 1.10 1.28 2/107 30380 /proc/meminfo: memFree=1559888/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=266516 CPUtime=642.11 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 16583536 0 0 0 57712 6499 0 0 25 0 1 0 25101125 272912384 61378 1992294400 4194304 8223781 140737449380608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30352/statm: 66629 61378 587 984 0 65642 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 266516 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.03 1.19 2/107 30388 /proc/meminfo: memFree=1559392/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=265268 CPUtime=942.02 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 16614823 0 0 0 87359 6843 0 0 25 0 1 0 25101125 271634432 61433 1992294400 4194304 8223781 140737449380608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30352/statm: 66317 61433 591 984 0 65330 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 265268 [startup+1002.3 s] /proc/loadavg: 1.00 1.02 1.18 2/107 30390 /proc/meminfo: memFree=1559268/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=265268 CPUtime=1002 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 16614823 0 0 0 93263 6937 0 0 25 0 1 0 25101125 271634432 61433 1992294400 4194304 8223781 140737449380608 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30352/statm: 66317 61433 591 984 0 65330 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 265268 [startup+1062.3 s] /proc/loadavg: 1.00 1.01 1.16 2/107 30393 /proc/meminfo: memFree=1558524/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=265268 CPUtime=1061.99 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 16614823 0 0 0 99165 7034 0 0 25 0 1 0 25101125 271634432 61433 1992294400 4194304 8223781 140737449380608 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30352/statm: 66317 61433 591 984 0 65330 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 265268 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.15 2/107 30395 /proc/meminfo: memFree=1558524/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=265268 CPUtime=1121.97 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 16614823 0 0 0 105065 7132 0 0 25 0 1 0 25101125 271634432 61433 1992294400 4194304 8223781 140737449380608 18446744073709551615 5508152 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30352/statm: 66317 61433 591 984 0 65330 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 265268 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.14 2/107 30397 /proc/meminfo: memFree=1558524/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=265268 CPUtime=1181.95 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 16614823 0 0 0 110968 7227 0 0 25 0 1 0 25101125 271634432 61433 1992294400 4194304 8223781 140737449380608 18446744073709551615 5907205 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30352/statm: 66317 61433 591 984 0 65330 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 265268 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.13 2/107 30399 /proc/meminfo: memFree=1558524/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=265268 CPUtime=1241.93 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 16614823 0 0 0 116869 7324 0 0 25 0 1 0 25101125 271634432 61433 1992294400 4194304 8223781 140737449380608 18446744073709551615 5906008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30352/statm: 66317 61433 591 984 0 65330 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 265268 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.12 2/107 30401 /proc/meminfo: memFree=1558524/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=265268 CPUtime=1301.92 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 16614823 0 0 0 122767 7425 0 0 25 0 1 0 25101125 271634432 61433 1992294400 4194304 8223781 140737449380608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30352/statm: 66317 61433 591 984 0 65330 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 265268 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.11 2/107 30401 /proc/meminfo: memFree=1558524/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=265268 CPUtime=1361.9 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 16614823 0 0 0 128679 7511 0 0 25 0 1 0 25101125 271634432 61433 1992294400 4194304 8223781 140737449380608 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30352/statm: 66317 61433 591 984 0 65330 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 265268 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.09 2/107 30403 /proc/meminfo: memFree=1558524/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=265268 CPUtime=1421.89 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 16614823 0 0 0 134583 7606 0 0 25 0 1 0 25101125 271634432 61433 1992294400 4194304 8223781 140737449380608 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30352/statm: 66317 61433 591 984 0 65330 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 265268 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 30405 /proc/meminfo: memFree=1558400/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=265268 CPUtime=1481.86 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 16614823 0 0 0 140483 7703 0 0 25 0 1 0 25101125 271634432 61433 1992294400 4194304 8223781 140737449380608 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30352/statm: 66317 61433 591 984 0 65330 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 265268 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 30407 /proc/meminfo: memFree=1558276/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=265268 CPUtime=1541.84 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 16614823 0 0 0 146379 7805 0 0 25 0 1 0 25101125 271634432 61433 1992294400 4194304 8223781 140737449380608 18446744073709551615 5907474 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30352/statm: 66317 61433 591 984 0 65330 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 265268 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 30409 /proc/meminfo: memFree=1558152/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=265268 CPUtime=1601.83 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 16614823 0 0 0 152273 7910 0 0 25 0 1 0 25101125 271634432 61433 1992294400 4194304 8223781 140737449380608 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30352/statm: 66317 61433 591 984 0 65330 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 265268 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.07 2/107 30409 /proc/meminfo: memFree=1558028/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=265268 CPUtime=1661.82 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 16614823 0 0 0 158165 8017 0 0 25 0 1 0 25101125 271634432 61433 1992294400 4194304 8223781 140737449380608 18446744073709551615 5907519 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30352/statm: 66317 61433 591 984 0 65330 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 265268 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.06 2/107 30411 /proc/meminfo: memFree=1557904/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=265268 CPUtime=1721.8 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 16614823 0 0 0 164065 8115 0 0 25 0 1 0 25101125 271634432 61433 1992294400 4194304 8223781 140737449380608 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30352/statm: 66317 61433 591 984 0 65330 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 265268 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.06 2/107 30413 /proc/meminfo: memFree=1557656/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=265268 CPUtime=1781.78 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 16614823 0 0 0 169954 8224 0 0 25 0 1 0 25101125 271634432 61433 1992294400 4194304 8223781 140737449380608 18446744073709551615 7070966 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30352/statm: 66317 61433 591 984 0 65330 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 265268 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.06 2/107 30413 /proc/meminfo: memFree=1557656/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=265268 CPUtime=1800.09 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 16614823 0 0 0 171758 8251 0 0 25 0 1 0 25101125 271634432 61433 1992294400 4194304 8223781 140737449380608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30352/statm: 66317 61433 591 984 0 65330 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 265268 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 1.00 1.06 2/107 30413 /proc/meminfo: memFree=1557656/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=217596 CPUtime=1800.47 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 16615041 0 0 0 171795 8252 0 0 25 0 1 0 25101125 222818304 49536 1992294400 4194304 8223781 140737449380608 18446744073709551615 6207105 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30352/statm: 54399 49536 593 984 0 53412 0 Current children cumulated CPU time (s) 1800.47 Current children cumulated vsize (KiB) 217596 [startup+1801.1 s] /proc/loadavg: 1.00 1.00 1.06 2/107 30413 /proc/meminfo: memFree=1557656/2059040 swapFree=4136456/4192956 [pid=30352] ppid=30350 vsize=57440 CPUtime=1800.57 /proc/30352/stat : 30352 (pbscip.linux.x8) R 30350 30352 30321 0 -1 4202496 16615041 0 0 0 171804 8253 0 0 25 0 1 0 25101125 58818560 13038 1992294400 4194304 8223781 140737449380608 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30352/statm: 14360 13038 593 984 0 13373 0 Current children cumulated CPU time (s) 1800.57 Current children cumulated vsize (KiB) 57440 Child status: 0 Real time (s): 1801.12 CPU time (s): 1800.6 CPU user time (s): 1718.06 CPU system time (s): 82.5455 CPU usage (%): 99.9711 Max. virtual memory (cumulated for all children) (KiB): 374996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1718.06 system time used= 82.5455 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16615045 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= 1 involuntary context switches= 6392 runsolver used 2.96055 second user time and 8.5507 second system time The end
Begin job on node001 at 2010-06-14 07:56:11 IDJOB=2666935 IDBENCH=2246 IDSOLVER=1169 FILE ID=node001/2666935-1276494971 PBS_JOBID= 11173408 Free space on /tmp= 62432 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666935-1276494971/watcher-2666935-1276494971 -o /tmp/evaluation-result-2666935-1276494971/solver-2666935-1276494971 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666935-1276494971.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 09bf68c118cd38b954800f61edb04c4b RANDOM SEED=1370534650 node001.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.202 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.202 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1805324 kB Buffers: 63724 kB Cached: 112188 kB SwapCached: 9304 kB Active: 102648 kB Inactive: 85424 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1805324 kB SwapTotal: 4192956 kB SwapFree: 4136456 kB Dirty: 7352 kB Writeback: 0 kB AnonPages: 10796 kB Mapped: 9292 kB Slab: 43844 kB PageTables: 3960 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181944 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62428 MiB End job on node001 at 2010-06-14 08:26:14