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) | -45 | 1800.61 | 1801.08 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb |
| MD5SUM | 937ec96fd1742e5ed6250d14e65c707b |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -48 |
| Best CPU time to get the best result obtained on this benchmark | 1800.08 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -57 |
| Optimality of the best value was proved | NO |
| Number of variables | 1534 |
| Total number of constraints | 127011 |
| Number of constraints which are clauses | 127011 |
| 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 | 1534 |
| 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 | 1534 |
| 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 | 1534 |
| 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-2666943-1276510484.opb>
1.89/1.98 c original problem has 1534 variables (1534 bin, 0 int, 0 impl, 0 cont) and 127011 constraints
1.89/1.98 c problem read
1.89/1.98 c presolving settings loaded
2.29/2.31 o 0
2.29/2.31 c feasible solution found by trivial heuristic, objective value 0.000000e+00
2.29/2.31 c presolving:
3.99/4.04 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 127011 upgd conss, 254022 impls, 0 clqs
6.79/6.81 c (4.3s) probing: 101/1534 (6.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
6.79/6.81 c (4.3s) probing aborted: 100/100 successive totally useless probings
6.79/6.81 c presolving (2 rounds):
6.79/6.81 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
6.79/6.81 c 254022 implications, 0 cliques
6.79/6.81 c presolved problem has 1534 variables (1534 bin, 0 int, 0 impl, 0 cont) and 127011 constraints
6.79/6.81 c 127011 constraints of type <logicor>
6.79/6.81 c transformed objective value is always integral (scale: 1)
6.79/6.81 c Presolving Time: 4.15
6.79/6.81 c - non default parameters ----------------------------------------------------------------------
6.79/6.81 c # SCIP version 1.2.1.2
6.79/6.81 c
6.79/6.81 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
6.79/6.81 c # [type: int, range: [-1,2147483647], default: -1]
6.79/6.81 c conflict/interconss = 0
6.79/6.81 c
6.79/6.81 c # should binary conflicts be preferred?
6.79/6.81 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.79/6.81 c conflict/preferbinary = TRUE
6.79/6.81 c
6.79/6.81 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
6.79/6.81 c # [type: int, range: [-1,2147483647], default: 0]
6.79/6.81 c constraints/agelimit = 1
6.79/6.81 c
6.79/6.81 c # should enforcement of pseudo solution be disabled?
6.79/6.81 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.79/6.81 c constraints/disableenfops = TRUE
6.79/6.81 c
6.79/6.81 c # frequency for displaying node information lines
6.79/6.81 c # [type: int, range: [-1,2147483647], default: 100]
6.79/6.81 c display/freq = 10000
6.79/6.81 c
6.79/6.81 c # maximal time in seconds to run
6.79/6.81 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.79/6.81 c limits/time = 1798.03
6.79/6.81 c
6.79/6.81 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.79/6.81 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.79/6.81 c limits/memory = 1620
6.79/6.81 c
6.79/6.81 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
6.79/6.81 c # [type: int, range: [-1,2147483647], default: 1]
6.79/6.81 c lp/solvefreq = 0
6.79/6.81 c
6.79/6.81 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)
6.79/6.81 c # [type: char, range: {lafpsqd}, default: l]
6.79/6.81 c lp/pricing = a
6.79/6.81 c
6.79/6.81 c # should presolving try to simplify inequalities
6.79/6.81 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.79/6.81 c constraints/linear/simplifyinequalities = TRUE
6.79/6.81 c
6.79/6.81 c # should presolving try to simplify knapsacks
6.79/6.81 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.79/6.81 c constraints/knapsack/simplifyinequalities = TRUE
6.79/6.81 c
6.79/6.81 c # priority of node selection rule <dfs> in standard mode
6.79/6.81 c # [type: int, range: [-536870912,536870911], default: 0]
6.79/6.81 c nodeselection/dfs/stdpriority = 1000000
6.79/6.81 c
6.79/6.81 c -----------------------------------------------------------------------------------------------
6.79/6.81 c start solving
6.79/6.82 c
19.69/19.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.69/19.77 c t17.1s| 1 | 0 | 1711 | - | 141M| 0 |1534 |1534 | 127k|1534 | 127k| 0 | 0 | 0 |-7.670000e+02 | 0.000000e+00 | 100.00%
19.98/20.05 o -1
19.98/20.05 c R17.4s| 1 | 0 | 1711 | - | 141M| 0 |1534 |1534 | 127k|1534 | 127k| 0 | 0 | 0 |-7.670000e+02 |-1.000000e+00 | 99.87%
20.28/20.38 o -2
20.28/20.38 c s17.7s| 1 | 0 | 1711 | - | 141M| 0 |1534 |1534 | 127k|1534 | 127k| 0 | 0 | 0 |-7.670000e+02 |-2.000000e+00 | 99.74%
30.87/30.97 c 27.2s| 1 | 0 | 1977 | - | 141M| 0 |1455 |1534 | 127k|1534 | 127k| 11 | 0 | 0 |-7.275000e+02 |-2.000000e+00 | 99.73%
30.98/31.08 o -45
30.98/31.08 c b27.3s| 1 | 0 | 1977 | - | 141M| 0 |1455 |1534 | 127k|1534 | 127k| 11 | 0 | 0 |-7.275000e+02 |-4.500000e+01 | 93.81%
45.17/45.28 c 40.5s| 1 | 0 | 2265 | - | 141M| 0 |1397 |1534 | 127k|1534 | 127k| 26 | 0 | 0 |-6.985000e+02 |-4.500000e+01 | 93.56%
64.37/64.48 c 58.8s| 1 | 0 | 2639 | - | 141M| 0 |1334 |1534 | 127k|1534 | 127k| 47 | 0 | 0 |-6.670000e+02 |-4.500000e+01 | 93.25%
87.17/87.27 c 80.6s| 1 | 0 | 3099 | - | 141M| 0 |1275 |1534 | 127k|1534 | 127k| 66 | 0 | 0 |-6.375000e+02 |-4.500000e+01 | 92.94%
110.46/110.58 c 103s| 1 | 0 | 3258 | - | 141M| 0 |1225 |1534 | 127k|1534 | 127k| 70 | 0 | 0 |-6.125000e+02 |-4.500000e+01 | 92.65%
137.95/138.09 c 130s| 1 | 0 | 3681 | - | 141M| 0 |1150 |1534 | 127k|1534 | 127k| 83 | 0 | 0 |-5.750000e+02 |-4.500000e+01 | 92.17%
167.04/167.14 c 158s| 1 | 0 | 4185 | - | 141M| 0 |1079 |1534 | 127k|1534 | 127k| 91 | 0 | 0 |-5.395000e+02 |-4.500000e+01 | 91.66%
192.44/192.55 c 182s| 1 | 0 | 4457 | - | 141M| 0 |1052 |1534 | 127k|1534 | 127k| 98 | 0 | 0 |-5.260000e+02 |-4.500000e+01 | 91.44%
220.13/220.20 c 209s| 1 | 0 | 4896 | - | 141M| 0 |1004 |1534 | 127k|1534 | 127k| 109 | 0 | 0 |-5.020000e+02 |-4.500000e+01 | 91.04%
246.12/246.23 c 234s| 1 | 0 | 5215 | - | 141M| 0 | 953 |1534 | 127k|1534 | 127k| 116 | 0 | 0 |-4.765000e+02 |-4.500000e+01 | 90.56%
258.43/258.54 c 245s| 1 | 0 | 5751 | - | 141M| 0 | 912 |1534 | 127k|1534 | 127k| 128 | 0 | 0 |-4.560000e+02 |-4.500000e+01 | 90.13%
272.73/272.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
272.73/272.83 c 258s| 1 | 0 | 6437 | - | 141M| 0 | 862 |1534 | 127k|1534 | 127k| 135 | 0 | 0 |-4.310000e+02 |-4.500000e+01 | 89.56%
282.92/283.05 c 268s| 1 | 0 | 6835 | - | 141M| 0 | 814 |1534 | 127k|1534 | 127k| 140 | 0 | 0 |-4.070000e+02 |-4.500000e+01 | 88.94%
296.41/296.50 c 280s| 1 | 0 | 7424 | - | 141M| 0 | 764 |1534 | 127k|1534 | 127k| 151 | 0 | 0 |-3.820000e+02 |-4.500000e+01 | 88.22%
313.70/313.88 c 296s| 1 | 0 | 8269 | - | 141M| 0 | 695 |1534 | 127k|1534 | 127k| 156 | 0 | 0 |-3.475000e+02 |-4.500000e+01 | 87.05%
328.50/328.69 c 310s| 1 | 0 | 8936 | - | 141M| 0 | 625 |1534 | 127k|1534 | 127k| 163 | 0 | 0 |-3.125000e+02 |-4.500000e+01 | 85.60%
341.30/341.44 c 322s| 1 | 0 | 9489 | - | 141M| 0 | 578 |1534 | 127k|1534 | 127k| 170 | 0 | 0 |-2.890000e+02 |-4.500000e+01 | 84.43%
349.99/350.18 c 330s| 1 | 0 | 9759 | - | 141M| 0 | 554 |1534 | 127k|1534 | 127k| 176 | 0 | 0 |-2.770000e+02 |-4.500000e+01 | 83.75%
361.09/361.25 c 340s| 1 | 0 | 10234 | - | 141M| 0 | 530 |1534 | 127k|1534 | 127k| 183 | 0 | 0 |-2.650000e+02 |-4.500000e+01 | 83.02%
376.48/376.61 c 354s| 1 | 0 | 10979 | - | 141M| 0 | 484 |1534 | 127k|1534 | 127k| 190 | 0 | 0 |-2.420000e+02 |-4.500000e+01 | 81.40%
387.69/387.86 c 365s| 1 | 0 | 11621 | - | 141M| 0 | 441 |1534 | 127k|1534 | 127k| 196 | 0 | 0 |-2.205000e+02 |-4.500000e+01 | 79.59%
394.79/394.92 c 372s| 1 | 0 | 11974 | - | 141M| 0 | 415 |1534 | 127k|1534 | 127k| 202 | 0 | 0 |-2.075000e+02 |-4.500000e+01 | 78.31%
402.78/402.99 c 379s| 1 | 0 | 12390 | - | 141M| 0 | 392 |1534 | 127k|1534 | 127k| 206 | 0 | 0 |-1.960000e+02 |-4.500000e+01 | 77.04%
412.98/413.13 c 389s| 1 | 0 | 12993 | - | 141M| 0 | 347 |1534 | 127k|1534 | 127k| 215 | 0 | 0 |-1.735000e+02 |-4.500000e+01 | 74.06%
421.78/421.97 c 397s| 1 | 0 | 13510 | - | 141M| 0 | 327 |1534 | 127k|1534 | 127k| 221 | 0 | 0 |-1.635000e+02 |-4.500000e+01 | 72.48%
430.07/430.28 c 405s| 1 | 0 | 13953 | - | 141M| 0 | 281 |1534 | 127k|1534 | 127k| 230 | 0 | 0 |-1.405000e+02 |-4.500000e+01 | 67.97%
439.17/439.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
439.17/439.39 c 414s| 1 | 0 | 14418 | - | 141M| 0 | 261 |1534 | 127k|1534 | 127k| 233 | 0 | 0 |-1.305000e+02 |-4.500000e+01 | 65.52%
445.97/446.11 c 420s| 1 | 0 | 14734 | - | 141M| 0 | 239 |1534 | 127k|1534 | 127k| 241 | 0 | 0 |-1.195000e+02 |-4.500000e+01 | 62.34%
453.76/453.95 c 427s| 1 | 0 | 15177 | - | 141M| 0 | 219 |1534 | 127k|1534 | 127k| 245 | 0 | 0 |-1.095000e+02 |-4.500000e+01 | 58.90%
465.37/465.59 c 438s| 1 | 0 | 16008 | - | 141M| 0 | 182 |1534 | 127k|1534 | 127k| 255 | 0 | 0 |-9.100000e+01 |-4.500000e+01 | 50.55%
470.26/470.48 c 443s| 1 | 0 | 16218 | - | 141M| 0 | 162 |1534 | 127k|1534 | 127k| 262 | 0 | 0 |-8.100000e+01 |-4.500000e+01 | 44.44%
476.66/476.80 c 449s| 1 | 0 | 16528 | - | 141M| 0 | 144 |1534 | 127k|1534 | 127k| 269 | 0 | 0 |-7.200000e+01 |-4.500000e+01 | 37.50%
481.86/482.03 c 453s| 1 | 0 | 16759 | - | 141M| 0 | 167 |1534 | 127k|1534 | 127k| 273 | 0 | 0 |-6.600000e+01 |-4.500000e+01 | 31.82%
485.55/485.78 c 457s| 1 | 0 | 16876 | - | 141M| 0 | 170 |1534 | 127k|1534 | 127k| 287 | 0 | 0 |-6.200000e+01 |-4.500000e+01 | 27.42%
490.75/490.96 c 461s| 1 | 0 | 17089 | - | 141M| 0 | 159 |1534 | 127k|1534 | 127k| 294 | 0 | 0 |-5.900000e+01 |-4.500000e+01 | 23.73%
495.46/495.66 c 465s| 1 | 0 | 17265 | - | 141M| 0 | 146 |1534 | 127k|1534 | 127k| 307 | 0 | 0 |-5.900000e+01 |-4.500000e+01 | 23.73%
499.95/500.18 c 469s| 1 | 0 | 17427 | - | 141M| 0 | 153 |1534 | 127k|1534 | 127k| 322 | 0 | 0 |-5.900000e+01 |-4.500000e+01 | 23.73%
504.95/505.14 c 474s| 1 | 0 | 17583 | - | 141M| 0 | 163 |1534 | 127k|1534 | 127k| 335 | 0 | 0 |-5.900000e+01 |-4.500000e+01 | 23.73%
511.36/511.59 c 480s| 1 | 0 | 17864 | - | 141M| 0 | 206 |1534 | 127k|1534 | 127k| 346 | 0 | 0 |-5.900000e+01 |-4.500000e+01 | 23.73%
561.24/561.48 c 520s| 1 | 0 | 18047 | - | 141M| 0 | 206 |1534 | 127k|1534 | 127k| 351 | 0 | 0 |-5.900000e+01 |-4.500000e+01 | 23.73%
780.69/780.97 c 739s| 1 | 2 | 18047 | - | 141M| 0 | 206 |1534 | 127k|1534 | 127k| 351 | 0 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
790.58/790.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
790.58/790.83 c 748s| 10000 | 30 | 18047 | 0.0 | 143M| 48 | - |1534 | 127k| 0 | 0 | 351 | 82 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
800.28/800.53 c 758s| 20000 | 30 | 18047 | 0.0 | 143M| 51 | - |1534 | 127k| 0 | 0 | 351 | 119 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
809.38/809.69 c 767s| 30000 | 30 | 18047 | 0.0 | 143M| 51 | - |1534 | 127k| 0 | 0 | 351 | 159 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
818.77/819.07 c 776s| 40000 | 29 | 18047 | 0.0 | 143M| 51 | - |1534 | 127k| 0 | 0 | 351 | 244 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
828.17/828.41 c 786s| 50000 | 25 | 18047 | 0.0 | 143M| 53 | - |1534 | 127k| 0 | 0 | 351 | 318 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
837.36/837.67 c 795s| 60000 | 26 | 18047 | 0.0 | 143M| 53 | - |1534 | 127k| 0 | 0 | 351 | 357 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
846.36/846.64 c 803s| 70000 | 27 | 18047 | 0.0 | 143M| 57 | - |1534 | 127k| 0 | 0 | 351 | 409 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
855.66/855.96 c 813s| 80000 | 27 | 18047 | 0.0 | 143M| 57 | - |1534 | 127k| 0 | 0 | 351 | 472 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
865.37/865.68 c 822s| 90000 | 27 | 18047 | 0.0 | 143M| 57 | - |1534 | 127k| 0 | 0 | 351 | 529 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
875.15/875.44 c 832s|100000 | 26 | 18047 | 0.0 | 143M| 57 | - |1534 | 127k| 0 | 0 | 351 | 576 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
884.65/884.92 c 841s|110000 | 26 | 18047 | 0.0 | 143M| 57 | - |1534 | 127k| 0 | 0 | 351 | 606 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
894.15/894.40 c 851s|120000 | 30 | 18047 | 0.0 | 143M| 57 | - |1534 | 127k| 0 | 0 | 351 | 657 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
903.55/903.89 c 860s|130000 | 27 | 18047 | 0.0 | 143M| 57 | - |1534 | 127k| 0 | 0 | 351 | 704 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
912.44/912.71 c 869s|140000 | 27 | 18047 | 0.0 | 143M| 57 | - |1534 | 127k| 0 | 0 | 351 | 752 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
921.34/921.67 c 877s|150000 | 29 | 18047 | 0.0 | 143M| 57 | - |1534 | 127k| 0 | 0 | 351 | 802 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
930.74/931.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
930.74/931.04 c 887s|160000 | 28 | 18047 | 0.0 | 143M| 57 | - |1534 | 127k| 0 | 0 | 351 | 831 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
940.14/940.49 c 896s|170000 | 27 | 18047 | 0.0 | 143M| 57 | - |1534 | 127k| 0 | 0 | 351 | 873 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
949.53/949.86 c 905s|180000 | 28 | 18047 | 0.0 | 143M| 57 | - |1534 | 127k| 0 | 0 | 351 | 935 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
959.03/959.36 c 914s|190000 | 27 | 18047 | 0.0 | 143M| 57 | - |1534 | 127k| 0 | 0 | 351 | 979 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
968.24/968.55 c 924s|200000 | 27 | 18047 | 0.0 | 143M| 57 | - |1534 | 127k| 0 | 0 | 351 |1014 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
977.73/978.05 c 933s|210000 | 29 | 18047 | 0.0 | 143M| 57 | - |1534 | 127k| 0 | 0 | 351 |1070 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
987.54/987.88 c 943s|220000 | 26 | 18047 | 0.0 | 143M| 57 | - |1534 | 127k| 0 | 0 | 351 |1104 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
997.22/997.59 c 952s|230000 | 26 | 18047 | 0.0 | 143M| 57 | - |1534 | 127k| 0 | 0 | 351 |1154 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1006.72/1007.06 c 961s|240000 | 27 | 18047 | 0.0 | 143M| 57 | - |1534 | 127k| 0 | 0 | 351 |1199 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1015.92/1016.29 c 971s|250000 | 26 | 18047 | 0.0 | 143M| 57 | - |1534 | 127k| 0 | 0 | 351 |1249 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1025.21/1025.55 c 980s|260000 | 25 | 18047 | 0.0 | 143M| 58 | - |1534 | 127k| 0 | 0 | 351 |1279 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1034.42/1034.75 c 989s|270000 | 26 | 18047 | 0.0 | 143M| 60 | - |1534 | 127k| 0 | 0 | 351 |1345 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1043.82/1044.17 c 998s|280000 | 25 | 18047 | 0.0 | 143M| 60 | - |1534 | 127k| 0 | 0 | 351 |1378 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1053.21/1053.56 c 1007s|290000 | 26 | 18047 | 0.0 | 143M| 60 | - |1534 | 127k| 0 | 0 | 351 |1423 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1062.51/1062.83 c 1016s|300000 | 29 | 18047 | 0.0 | 143M| 60 | - |1534 | 127k| 0 | 0 | 351 |1471 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1071.80/1072.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1071.80/1072.15 c 1026s|310000 | 29 | 18047 | 0.0 | 143M| 60 | - |1534 | 127k| 0 | 0 | 351 |1490 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1080.91/1081.29 c 1035s|320000 | 26 | 18047 | 0.0 | 143M| 60 | - |1534 | 127k| 0 | 0 | 351 |1540 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1090.40/1090.75 c 1044s|330000 | 28 | 18047 | 0.0 | 143M| 60 | - |1534 | 127k| 0 | 0 | 351 |1577 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1099.79/1100.19 c 1053s|340000 | 27 | 18047 | 0.0 | 143M| 60 | - |1534 | 127k| 0 | 0 | 351 |1600 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1109.20/1109.51 c 1062s|350000 | 26 | 18047 | 0.0 | 143M| 60 | - |1534 | 127k| 0 | 0 | 351 |1622 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1118.30/1118.60 c 1071s|360000 | 25 | 18047 | 0.0 | 143M| 60 | - |1534 | 127k| 0 | 0 | 351 |1657 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1127.49/1127.81 c 1080s|370000 | 29 | 18047 | 0.0 | 143M| 60 | - |1534 | 127k| 0 | 0 | 351 |1703 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1136.19/1136.58 c 1089s|380000 | 28 | 18047 | 0.0 | 143M| 60 | - |1534 | 127k| 0 | 0 | 351 |1771 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1145.38/1145.74 c 1098s|390000 | 27 | 18047 | 0.0 | 143M| 60 | - |1534 | 127k| 0 | 0 | 351 |1982 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1154.28/1154.66 c 1107s|400000 | 27 | 18047 | 0.0 | 143M| 60 | - |1534 | 127k| 0 | 0 | 351 |2016 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1163.39/1163.78 c 1116s|410000 | 24 | 18047 | 0.0 | 143M| 60 | - |1534 | 127k| 0 | 0 | 351 |2065 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1172.98/1173.30 c 1125s|420000 | 28 | 18047 | 0.0 | 143M| 60 | - |1534 | 127k| 0 | 0 | 351 |2135 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1182.19/1182.58 c 1134s|430000 | 28 | 18047 | 0.0 | 143M| 60 | - |1534 | 127k| 0 | 0 | 351 |2182 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1191.47/1191.85 c 1143s|440000 | 27 | 18047 | 0.0 | 143M| 60 | - |1534 | 127k| 0 | 0 | 351 |2229 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1200.67/1201.01 c 1152s|450000 | 30 | 18047 | 0.0 | 143M| 62 | - |1534 | 127k| 0 | 0 | 351 |2261 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1209.87/1210.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1209.87/1210.24 c 1162s|460000 | 25 | 18047 | 0.0 | 143M| 62 | - |1534 | 127k| 0 | 0 | 351 |2308 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1218.86/1219.27 c 1170s|470000 | 28 | 18047 | 0.0 | 143M| 62 | - |1534 | 127k| 0 | 0 | 351 |2352 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1228.37/1228.79 c 1180s|480000 | 27 | 18047 | 0.0 | 143M| 62 | - |1534 | 127k| 0 | 0 | 351 |2406 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1237.96/1238.36 c 1189s|490000 | 27 | 18047 | 0.0 | 143M| 62 | - |1534 | 127k| 0 | 0 | 351 |2438 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1247.26/1247.67 c 1198s|500000 | 30 | 18047 | 0.0 | 143M| 62 | - |1534 | 127k| 0 | 0 | 351 |2491 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1256.66/1257.05 c 1208s|510000 | 27 | 18047 | 0.0 | 143M| 62 | - |1534 | 127k| 0 | 0 | 351 |2548 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1265.95/1266.35 c 1217s|520000 | 26 | 18047 | 0.0 | 143M| 62 | - |1534 | 127k| 0 | 0 | 351 |2585 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1275.06/1275.44 c 1226s|530000 | 28 | 18047 | 0.0 | 143M| 62 | - |1534 | 127k| 0 | 0 | 351 |2645 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1284.25/1284.65 c 1235s|540000 | 23 | 18047 | 0.0 | 143M| 62 | - |1534 | 127k| 0 | 0 | 351 |2696 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1293.25/1293.65 c 1244s|550000 | 28 | 18047 | 0.0 | 143M| 62 | - |1534 | 127k| 0 | 0 | 351 |2733 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1302.45/1302.85 c 1253s|560000 | 29 | 18047 | 0.0 | 143M| 62 | - |1534 | 127k| 0 | 0 | 351 |2779 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1311.85/1312.30 c 1262s|570000 | 30 | 18047 | 0.0 | 143M| 62 | - |1534 | 127k| 0 | 0 | 351 |2805 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1321.34/1321.77 c 1271s|580000 | 27 | 18047 | 0.0 | 143M| 62 | - |1534 | 127k| 0 | 0 | 351 |2847 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1330.94/1331.30 c 1281s|590000 | 28 | 18047 | 0.0 | 143M| 62 | - |1534 | 127k| 0 | 0 | 351 |2871 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1340.54/1340.96 c 1290s|600000 | 28 | 18047 | 0.0 | 143M| 62 | - |1534 | 127k| 0 | 0 | 351 |2908 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1349.63/1350.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1349.63/1350.03 c 1299s|610000 | 26 | 18047 | 0.0 | 143M| 62 | - |1534 | 127k| 0 | 0 | 351 |2932 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1358.63/1359.05 c 1308s|620000 | 28 | 18047 | 0.0 | 143M| 62 | - |1534 | 127k| 0 | 0 | 351 |2977 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1367.73/1368.13 c 1317s|630000 | 27 | 18047 | 0.0 | 143M| 62 | - |1534 | 127k| 0 | 0 | 351 |3029 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1376.92/1377.36 c 1326s|640000 | 27 | 18047 | 0.0 | 143M| 62 | - |1534 | 127k| 0 | 0 | 351 |3074 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1385.92/1386.35 c 1335s|650000 | 26 | 18047 | 0.0 | 143M| 62 | - |1534 | 127k| 0 | 0 | 351 |3119 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1394.72/1395.18 c 1344s|660000 | 29 | 18047 | 0.0 | 143M| 63 | - |1534 | 127k| 0 | 0 | 351 |3168 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1403.62/1404.07 c 1352s|670000 | 28 | 18047 | 0.0 | 143M| 63 | - |1534 | 127k| 0 | 0 | 351 |3200 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1412.71/1413.11 c 1361s|680000 | 27 | 18047 | 0.0 | 143M| 63 | - |1534 | 127k| 0 | 0 | 351 |3236 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1421.71/1422.14 c 1370s|690000 | 28 | 18047 | 0.0 | 143M| 63 | - |1534 | 127k| 0 | 0 | 351 |3269 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1430.91/1431.30 c 1379s|700000 | 28 | 18047 | 0.0 | 143M| 63 | - |1534 | 127k| 0 | 0 | 351 |3314 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1439.81/1440.26 c 1388s|710000 | 27 | 18047 | 0.0 | 143M| 63 | - |1534 | 127k| 0 | 0 | 351 |3357 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1448.90/1449.30 c 1397s|720000 | 27 | 18047 | 0.0 | 143M| 63 | - |1534 | 127k| 0 | 0 | 351 |3412 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1458.11/1458.54 c 1406s|730000 | 27 | 18047 | 0.0 | 143M| 63 | - |1534 | 127k| 0 | 0 | 351 |3456 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1467.00/1467.47 c 1415s|740000 | 28 | 18047 | 0.0 | 143M| 63 | - |1534 | 127k| 0 | 0 | 351 |3520 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1475.60/1476.07 c 1423s|750000 | 27 | 18047 | 0.0 | 143M| 63 | - |1534 | 127k| 0 | 0 | 351 |3547 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1484.20/1484.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1484.20/1484.64 c 1432s|760000 | 27 | 18047 | 0.0 | 143M| 63 | - |1534 | 127k| 0 | 0 | 351 |3585 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1493.09/1493.50 c 1440s|770000 | 25 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |3633 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1501.89/1502.31 c 1449s|780000 | 27 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |3664 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1511.19/1511.68 c 1458s|790000 | 27 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |3713 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1520.58/1521.07 c 1467s|800000 | 27 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |3776 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1529.88/1530.39 c 1477s|810000 | 27 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |3847 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1538.98/1539.43 c 1485s|820000 | 28 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |3897 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1547.68/1548.13 c 1494s|830000 | 29 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |3951 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1556.68/1557.19 c 1503s|840000 | 29 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |4019 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1565.88/1566.32 c 1512s|850000 | 27 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |4075 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1574.87/1575.37 c 1521s|860000 | 28 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |4131 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1583.48/1583.97 c 1529s|870000 | 26 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |4182 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1592.28/1592.72 c 1538s|880000 | 27 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |4230 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1601.08/1601.52 c 1547s|890000 | 28 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |4263 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1610.07/1610.56 c 1555s|900000 | 27 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |4304 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1618.86/1619.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1618.86/1619.36 c 1564s|910000 | 29 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |4343 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1628.16/1628.64 c 1573s|920000 | 28 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |4371 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1637.47/1637.94 c 1582s|930000 | 25 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |4396 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1646.45/1646.98 c 1591s|940000 | 27 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |4446 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1655.45/1655.96 c 1600s|950000 | 28 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |4494 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1664.45/1664.92 c 1609s|960000 | 25 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |4535 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1673.75/1674.25 c 1618s|970000 | 29 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |4586 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1683.24/1683.74 c 1627s|980000 | 28 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |4631 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1692.54/1693.06 c 1637s|990000 | 27 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |4659 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1701.63/1702.19 c 1646s| 1000k| 27 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |4685 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1711.05/1711.53 c 1655s| 1010k| 28 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |4729 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1720.44/1720.95 c 1664s| 1020k| 28 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |4798 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1729.83/1730.32 c 1673s| 1030k| 24 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |4846 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1739.23/1739.78 c 1683s| 1040k| 24 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |4889 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1748.33/1748.81 c 1692s| 1050k| 28 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |4931 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1757.53/1758.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1757.53/1758.02 c 1701s| 1060k| 24 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |4985 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1766.62/1767.11 c 1710s| 1070k| 25 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |5040 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1775.72/1776.23 c 1718s| 1080k| 26 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |5090 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1785.12/1785.69 c 1728s| 1090k| 26 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |5116 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1793.62/1794.19 c 1736s| 1100k| 26 | 18047 | 0.0 | 143M| 67 | - |1534 | 127k| 0 | 0 | 351 |5141 | 34 |-5.900000e+01 |-4.500000e+01 | 23.73%
1800.02/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.50 c
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time (sec) : 1742.38
1800.02/1800.50 c Solving Nodes : 1106999
1800.02/1800.50 c Primal Bound : -4.50000000000000e+01 (9 solutions)
1800.02/1800.50 c Dual Bound : -5.89999999999999e+01
1800.02/1800.50 c Gap : 23.73 %
1800.02/1800.58 s SATISFIABLE
1800.02/1800.58 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.02/1800.58 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.02/1800.58 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.02/1800.58 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
1800.02/1800.58 v -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123
1800.02/1800.58 v -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144
1800.02/1800.58 v -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165
1800.02/1800.58 v -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186
1800.02/1800.58 v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207
1800.02/1800.58 v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228
1800.02/1800.58 v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249
1800.02/1800.58 v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269
1800.02/1800.58 v -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290
1800.02/1800.58 v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311
1800.02/1800.58 v -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332
1800.02/1800.58 v -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353
1800.02/1800.58 v -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374
1800.02/1800.58 v -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395
1800.02/1800.58 v -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416
1800.02/1800.58 v -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437
1800.02/1800.58 v -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458
1800.02/1800.58 v -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478
1800.02/1800.58 v -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499
1800.02/1800.58 v -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520
1800.02/1800.58 v -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541
1800.02/1800.58 v -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562
1800.02/1800.58 v -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583
1800.02/1800.58 v -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604
1800.02/1800.58 v -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 -x625
1800.02/1800.58 v -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646
1800.02/1800.58 v -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667
1800.02/1800.58 v -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688
1800.02/1800.58 v -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709
1800.02/1800.58 v -x710 -x711 -x712 -x713 -x714 x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730
1800.02/1800.58 v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751
1800.02/1800.58 v -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771
1800.02/1800.58 v -x772 -x773 -x774 -x775 -x776 -x777 -x778 x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792
1800.02/1800.58 v -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813
1800.02/1800.58 v -x814 -x815 -x816 -x817 x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834
1800.02/1800.58 v -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 -x853 -x854 -x855
1800.02/1800.58 v -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876
1800.02/1800.58 v x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897
1800.02/1800.58 v -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918
1800.02/1800.58 v -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939
1800.02/1800.58 v -x940 -x941 -x942 -x943 -x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960
1800.02/1800.58 v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x980 -x981
1800.02/1800.58 v -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002
1800.02/1800.58 v -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020
1800.02/1800.58 v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037
1800.02/1800.58 v -x1038 x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055
1800.02/1800.58 v -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073
1800.02/1800.58 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091
1800.02/1800.58 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109
1800.02/1800.58 v -x1110 -x1111 -x1112 -x1113 -x1114 x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127
1800.02/1800.58 v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145
1800.02/1800.58 v -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163
1800.02/1800.58 v -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181
1800.02/1800.58 v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 x1194 -x1195 -x1196 -x1197 -x1198 -x1199
1800.02/1800.58 v -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217
1800.02/1800.58 v -x1218 -x1219 -x1220 -x1221 x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235
1800.02/1800.58 v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 x1248 -x1249 -x1250 -x1251 -x1252 -x1253
1800.02/1800.58 v -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271
1800.02/1800.58 v -x1272 x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289
1800.02/1800.58 v -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307
1800.02/1800.58 v -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325
1800.02/1800.58 v x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343
1800.02/1800.58 v -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361
1800.02/1800.58 v -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 x1377 -x1378 -x1379
1800.02/1800.58 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397
1800.02/1800.58 v -x1398 -x1399 -x1400 -x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415
1800.02/1800.58 v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 x1429 -x1430 -x1431 -x1432 -x1433
1800.02/1800.58 v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450
1800.02/1800.58 v -x1451 -x1452 -x1453 -x1454 x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468
1800.02/1800.58 v -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 x1481 -x1482 -x1483 -x1484 -x1485 -x1486
1800.02/1800.58 v -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504
1800.02/1800.58 v -x1505 -x1506 -x1507 x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522
1800.02/1800.58 v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 x1533 -x1534
1800.02/1800.58 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.58 c Solving Time : 1742.38
1800.02/1800.58 c Original Problem :
1800.02/1800.58 c Problem name : HOME/instance-2666943-1276510484.opb
1800.02/1800.58 c Variables : 1534 (1534 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.58 c Constraints : 127011 initial, 127011 maximal
1800.02/1800.58 c Presolved Problem :
1800.02/1800.58 c Problem name : t_HOME/instance-2666943-1276510484.opb
1800.02/1800.58 c Variables : 1534 (1534 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.58 c Constraints : 127011 initial, 127032 maximal
1800.02/1800.58 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.58 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.58 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.58 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.58 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.58 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.58 c probing : 2.54 0 0 0 0 0 0 0 0
1800.02/1800.58 c logicor : 0.38 0 0 0 0 0 0 0 0
1800.02/1800.58 c root node : - 0 - - 0 - - - -
1800.02/1800.58 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.58 c integral : 0 0 0 1 0 0 0 0 0 2
1800.02/1800.58 c logicor : 127011+ 40 1091358 0 0 62067 1890488 0 0 0
1800.02/1800.58 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.58 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.58 c integral : 215.57 0.00 0.00 215.57 0.00
1800.02/1800.58 c logicor : 285.26 0.72 284.54 0.00 0.00
1800.02/1800.58 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.58 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.58 c vbounds : 1.02 2 0 0
1800.02/1800.58 c rootredcost : 0.77 0 0 0
1800.02/1800.58 c pseudoobj : 302.68 1717690 412404 465117
1800.02/1800.58 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.58 c propagation : 141.88 62067 5160 5160 45.0 0 0.0 -
1800.02/1800.58 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.58 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.58 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.58 c pseudo solution : 258.03 78947 0 0 0.0 0 0.0 -
1800.02/1800.58 c applied globally : - - - 5160 45.0 - - -
1800.02/1800.58 c applied locally : - - - 0 0.0 - - -
1800.02/1800.58 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.58 c cut pool : 0.01 39 - - 83 - (maximal pool size: 707)
1800.02/1800.58 c redcost : 0.02 40 0 0 0 0
1800.02/1800.58 c impliedbounds : 0.20 40 0 0 0 0
1800.02/1800.58 c intobj : 0.00 0 0 0 0 0
1800.02/1800.58 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.58 c gomory : 108.12 40 0 0 20000 0
1800.02/1800.58 c strongcg : 36.03 20 0 0 10000 0
1800.02/1800.58 c cmir : 61.09 10 0 0 0 0
1800.02/1800.58 c flowcover : 65.23 10 0 0 0 0
1800.02/1800.58 c clique : 3.32 40 0 0 371 0
1800.02/1800.58 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.58 c mcf : 0.24 1 0 0 0 0
1800.02/1800.58 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.58 c Pricers : Time Calls Vars
1800.02/1800.58 c problem variables: 0.00 0 0
1800.02/1800.58 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.58 c relpscost : 215.57 1 0 0 0 0 2
1800.02/1800.58 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.58 c inference : 8.44 557065 0 0 0 0 1114130
1800.02/1800.58 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.58 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.58 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.58 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.58 c random : 0.00 0 0 0 0 0 0
1800.02/1800.58 c Primal Heuristics : Time Calls Found
1800.02/1800.58 c LP solutions : 0.00 - 0
1800.02/1800.58 c pseudo solutions : 0.00 - 0
1800.02/1800.58 c crossover : 0.00 0 0
1800.02/1800.58 c oneopt : 1.30 2 1
1800.02/1800.58 c trivial : 0.08 2 3
1800.02/1800.58 c simplerounding : 0.01 41 1
1800.02/1800.58 c zirounding : 0.04 1 1
1800.02/1800.58 c rounding : 3.26 41 1
1800.02/1800.58 c shifting : 4.21 41 1
1800.02/1800.58 c intshifting : 0.00 0 0
1800.02/1800.58 c twoopt : 0.00 0 0
1800.02/1800.58 c fixandinfer : 0.00 0 0
1800.02/1800.58 c feaspump : 0.00 0 0
1800.02/1800.58 c coefdiving : 0.00 0 0
1800.02/1800.58 c pscostdiving : 0.00 0 0
1800.02/1800.58 c fracdiving : 0.00 0 0
1800.02/1800.58 c veclendiving : 0.00 0 0
1800.02/1800.58 c intdiving : 0.00 0 0
1800.02/1800.58 c actconsdiving : 0.00 0 0
1800.02/1800.58 c objpscostdiving : 0.00 0 0
1800.02/1800.58 c rootsoldiving : 0.00 0 0
1800.02/1800.58 c linesearchdiving : 0.00 0 0
1800.02/1800.58 c guideddiving : 0.00 0 0
1800.02/1800.58 c octane : 0.00 0 0
1800.02/1800.58 c rens : 2.69 1 1
1800.02/1800.58 c rins : 0.00 0 0
1800.02/1800.58 c localbranching : 0.00 0 0
1800.02/1800.58 c mutation : 0.00 0 0
1800.02/1800.58 c dins : 0.00 0 0
1800.02/1800.58 c undercover : 0.00 0 0
1800.02/1800.58 c nlp : 0.76 0 0
1800.02/1800.58 c trysol : 0.47 0 0
1800.02/1800.58 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.58 c primal LP : 0.41 0 0 0.00 0.00
1800.02/1800.58 c dual LP : 230.84 41 18047 440.17 78.18
1800.02/1800.58 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.58 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.58 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.58 c strong branching : 215.57 34 15020 441.76 69.68
1800.02/1800.58 c (at root node) : - 34 15020 441.76 -
1800.02/1800.58 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.58 c B&B Tree :
1800.02/1800.58 c number of runs : 1
1800.02/1800.58 c nodes : 1106999
1800.02/1800.58 c nodes (total) : 1106999
1800.02/1800.58 c nodes left : 25
1800.02/1800.58 c max depth : 67
1800.02/1800.58 c max depth (total): 67
1800.02/1800.58 c backtracks : 198299 (17.9%)
1800.02/1800.58 c delayed cutoffs : 3845
1800.02/1800.58 c repropagations : 4284 (14943 domain reductions, 3485 cutoffs)
1800.02/1800.58 c avg switch length: 2.00
1800.02/1800.58 c switching time : 84.56
1800.02/1800.58 c Solution :
1800.02/1800.58 c Solutions found : 9 (4 improvements)
1800.02/1800.58 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.20 seconds, depth 0, found by <trivial>)
1800.02/1800.58 c Primal Bound : -4.50000000000000e+01 (in run 1, after 1 nodes, 27.17 seconds, depth 0, found by <oneopt>)
1800.02/1800.58 c Dual Bound : -5.89999999999999e+01
1800.02/1800.58 c Gap : 23.73 %
1800.02/1800.58 c Root Dual Bound : -5.89999999999999e+01
1800.02/1800.58 c Root Iterations : 18047
1800.51/1801.08 c Time complete: 1800.6.
OK -45
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666943-1276510484/watcher-2666943-1276510484 -o /tmp/evaluation-result-2666943-1276510484/solver-2666943-1276510484 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666943-1276510484.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.97 2.04 1.66 3/106 28217 /proc/meminfo: memFree=1818272/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=7724 CPUtime=0 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 1048 0 0 0 0 0 0 0 20 0 1 0 26650210 7909376 967 1992294400 4194304 8223781 140733855315008 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28217/statm: 1931 976 348 984 0 944 0 [startup+0.090712 s] /proc/loadavg: 1.97 2.04 1.66 3/106 28217 /proc/meminfo: memFree=1818272/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=12572 CPUtime=0.08 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 2446 0 0 0 8 0 0 0 20 0 1 0 26650210 12873728 2365 1992294400 4194304 8223781 140733855315008 18446744073709551615 5648975 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28217/statm: 3143 2365 365 984 0 2156 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 12572 [startup+0.101713 s] /proc/loadavg: 1.97 2.04 1.66 3/106 28217 /proc/meminfo: memFree=1818272/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=13536 CPUtime=0.09 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 2689 0 0 0 9 0 0 0 20 0 1 0 26650210 13860864 2608 1992294400 4194304 8223781 140733855315008 18446744073709551615 4361664 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28217/statm: 3384 2608 365 984 0 2397 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13536 [startup+0.301735 s] /proc/loadavg: 1.97 2.04 1.66 3/106 28217 /proc/meminfo: memFree=1818272/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=17928 CPUtime=0.29 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 3791 0 0 0 28 1 0 0 20 0 1 0 26650210 18358272 3710 1992294400 4194304 8223781 140733855315008 18446744073709551615 7246918 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28217/statm: 4482 3710 365 984 0 3495 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17928 [startup+0.701779 s] /proc/loadavg: 1.97 2.04 1.66 3/106 28217 /proc/meminfo: memFree=1818272/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=26836 CPUtime=0.69 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 6032 0 0 0 67 2 0 0 21 0 1 0 26650210 27480064 5951 1992294400 4194304 8223781 140733855315008 18446744073709551615 4361606 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28217/statm: 6709 5951 365 984 0 5722 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26836 [startup+1.50187 s] /proc/loadavg: 1.97 2.04 1.66 2/107 28218 /proc/meminfo: memFree=1790116/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=43576 CPUtime=1.5 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 10187 0 0 0 146 4 0 0 23 0 1 0 26650210 44621824 10106 1992294400 4194304 8223781 140733855315008 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28217/statm: 10894 10106 365 984 0 9907 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 43576 [startup+3.10104 s] /proc/loadavg: 1.90 2.02 1.66 2/107 28218 /proc/meminfo: memFree=1735060/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=152660 CPUtime=3.09 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 37445 0 0 0 283 26 0 0 25 0 1 0 26650210 156323840 36972 1992294400 4194304 8223781 140733855315008 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28217/statm: 38165 36984 444 984 0 37178 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 152660 [startup+6.3014 s] /proc/loadavg: 1.90 2.02 1.66 2/107 28218 /proc/meminfo: memFree=1674920/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=149604 CPUtime=6.29 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 53847 0 0 0 577 52 0 0 25 0 1 0 26650210 153194496 36088 1992294400 4194304 8223781 140733855315008 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28217/statm: 37401 36088 462 984 0 36414 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 149604 [startup+12.7011 s] /proc/loadavg: 1.76 1.99 1.65 2/107 28218 /proc/meminfo: memFree=1558980/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=300128 CPUtime=12.69 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 92376 0 0 0 1201 68 0 0 25 0 1 0 26650210 307331072 66487 1992294400 4194304 8223781 140733855315008 18446744073709551615 6448545 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28217/statm: 75032 66487 530 984 0 74045 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 300128 [startup+25.5015 s] /proc/loadavg: 1.64 1.95 1.64 2/107 28218 /proc/meminfo: memFree=1554268/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=311256 CPUtime=25.48 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 345727 0 0 0 2376 172 0 0 25 0 1 0 26650210 318726144 66365 1992294400 4194304 8223781 140733855315008 18446744073709551615 6043589 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28217/statm: 77814 66365 542 984 0 76827 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 311256 [startup+51.1014 s] /proc/loadavg: 1.42 1.88 1.62 2/107 28218 /proc/meminfo: memFree=1550176/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=318304 CPUtime=51.07 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 856859 0 0 0 4736 371 0 0 25 0 1 0 26650210 325943296 67157 1992294400 4194304 8223781 140733855315008 18446744073709551615 5721528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28217/statm: 79576 67157 560 984 0 78589 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 318304 [startup+102.308 s] /proc/loadavg: 1.17 1.73 1.59 2/107 28220 /proc/meminfo: memFree=1549308/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=317532 CPUtime=102.26 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 1366783 0 0 0 9667 559 0 0 25 0 1 0 26650210 325152768 67318 1992294400 4194304 8223781 140733855315008 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28217/statm: 79383 67318 561 984 0 78396 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 317532 [startup+162.302 s] /proc/loadavg: 1.06 1.59 1.55 2/107 28222 /proc/meminfo: memFree=1548936/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=316084 CPUtime=162.24 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 1878516 0 0 0 15468 756 0 0 25 0 1 0 26650210 323670016 67597 1992294400 4194304 8223781 140733855315008 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28217/statm: 79021 67597 561 984 0 78034 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 316084 [startup+222.301 s] /proc/loadavg: 1.07 1.50 1.52 2/107 28224 /proc/meminfo: memFree=1548192/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=314780 CPUtime=222.23 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 2488392 0 0 0 21237 986 0 0 25 0 1 0 26650210 322334720 67794 1992294400 4194304 8223781 140733855315008 18446744073709551615 6299574 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28217/statm: 78695 67794 561 984 0 77708 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 314780 [startup+282.301 s] /proc/loadavg: 1.02 1.40 1.48 2/107 28224 /proc/meminfo: memFree=1547820/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=312272 CPUtime=282.21 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 3408316 0 0 0 26879 1342 0 0 25 0 1 0 26650210 319766528 67870 1992294400 4194304 8223781 140733855315008 18446744073709551615 6568399 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28217/statm: 78068 67870 561 984 0 77081 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 312272 [startup+342.302 s] /proc/loadavg: 1.01 1.33 1.45 2/107 28226 /proc/meminfo: memFree=1548076/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=306808 CPUtime=342.2 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 4467702 0 0 0 32475 1745 0 0 25 0 1 0 26650210 314171392 67723 1992294400 4194304 8223781 140733855315008 18446744073709551615 6299585 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28217/statm: 76702 67723 561 984 0 75715 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 306808 [startup+402.301 s] /proc/loadavg: 1.07 1.28 1.42 2/107 28228 /proc/meminfo: memFree=1546464/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=306464 CPUtime=402.18 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 5574112 0 0 0 38044 2174 0 0 25 0 1 0 26650210 313819136 68154 1992294400 4194304 8223781 140733855315008 18446744073709551615 6568504 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28217/statm: 76616 68154 561 984 0 75629 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 306464 [startup+462.302 s] /proc/loadavg: 1.02 1.23 1.39 2/107 28230 /proc/meminfo: memFree=1546712/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=302492 CPUtime=462.17 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 6471283 0 0 0 43693 2524 0 0 25 0 1 0 26650210 309751808 68029 1992294400 4194304 8223781 140733855315008 18446744073709551615 6503897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28217/statm: 75623 68029 561 984 0 74636 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 302492 [startup+522.301 s] /proc/loadavg: 1.01 1.18 1.36 2/107 28232 /proc/meminfo: memFree=1543488/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=303324 CPUtime=522.14 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 8175569 0 0 0 49040 3174 0 0 25 0 1 0 26650210 310603776 68812 1992294400 4194304 8223781 140733855315008 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28217/statm: 75831 68823 584 984 0 74844 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 303324 [startup+582.301 s] /proc/loadavg: 1.00 1.15 1.34 2/107 28232 /proc/meminfo: memFree=1539148/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=303896 CPUtime=582.13 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 10112212 0 0 0 54276 3937 0 0 25 0 1 0 26650210 311189504 69838 1992294400 4194304 8223781 140733855315008 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28217/statm: 75974 69838 587 984 0 74987 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 303896 [startup+642.302 s] /proc/loadavg: 1.00 1.12 1.32 2/107 28234 /proc/meminfo: memFree=1539272/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=303840 CPUtime=642.13 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 10141518 0 0 0 60256 3957 0 0 25 0 1 0 26650210 311132160 69865 1992294400 4194304 8223781 140733855315008 18446744073709551615 6568506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28217/statm: 75960 69865 587 984 0 74973 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 303840 [startup+702.301 s] ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.03 1.22 2/107 28242 /proc/meminfo: memFree=1538776/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=302712 CPUtime=942.03 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 10214725 0 0 0 89960 4243 0 0 25 0 1 0 26650210 309977088 69855 1992294400 4194304 8223781 140733855315008 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28217/statm: 75678 69855 591 984 0 74691 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 302712 [startup+1002.3 s] /proc/loadavg: 1.00 1.03 1.20 2/107 28244 /proc/meminfo: memFree=1538652/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=302712 CPUtime=1002.02 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 10214725 0 0 0 95872 4330 0 0 25 0 1 0 26650210 309977088 69855 1992294400 4194304 8223781 140733855315008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28217/statm: 75678 69855 591 984 0 74691 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 302712 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.18 2/107 28246 /proc/meminfo: memFree=1538528/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=302712 CPUtime=1062.01 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 10214725 0 0 0 101781 4420 0 0 25 0 1 0 26650210 309977088 69855 1992294400 4194304 8223781 140733855315008 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28217/statm: 75678 69855 591 984 0 74691 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 302712 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.17 2/107 28248 /proc/meminfo: memFree=1538404/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=302712 CPUtime=1122 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 10214725 0 0 0 107687 4513 0 0 25 0 1 0 26650210 309977088 69855 1992294400 4194304 8223781 140733855315008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28217/statm: 75678 69855 591 984 0 74691 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 302712 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.16 2/107 28248 /proc/meminfo: memFree=1538280/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=302712 CPUtime=1181.98 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 10214725 0 0 0 113591 4607 0 0 25 0 1 0 26650210 309977088 69855 1992294400 4194304 8223781 140733855315008 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28217/statm: 75678 69855 591 984 0 74691 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 302712 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.15 2/107 28250 /proc/meminfo: memFree=1538156/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=302712 CPUtime=1241.96 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 10214725 0 0 0 119505 4691 0 0 25 0 1 0 26650210 309977088 69855 1992294400 4194304 8223781 140733855315008 18446744073709551615 4210705 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28217/statm: 75678 69855 591 984 0 74691 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 302712 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.14 2/107 28252 /proc/meminfo: memFree=1537908/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=302712 CPUtime=1301.95 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 10214725 0 0 0 125415 4780 0 0 25 0 1 0 26650210 309977088 69855 1992294400 4194304 8223781 140733855315008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28217/statm: 75678 69855 591 984 0 74691 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 302712 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.12 2/107 28254 /proc/meminfo: memFree=1537908/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=302712 CPUtime=1361.93 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 10214725 0 0 0 131320 4873 0 0 25 0 1 0 26650210 309977088 69855 1992294400 4194304 8223781 140733855315008 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28217/statm: 75678 69855 591 984 0 74691 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 302712 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.11 2/107 28256 /proc/meminfo: memFree=1537784/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=302712 CPUtime=1421.92 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 10214725 0 0 0 137219 4973 0 0 25 0 1 0 26650210 309977088 69855 1992294400 4194304 8223781 140733855315008 18446744073709551615 5907483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28217/statm: 75678 69855 591 984 0 74691 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 302712 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.10 2/107 28256 /proc/meminfo: memFree=1537660/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=302712 CPUtime=1481.9 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 10214725 0 0 0 143122 5068 0 0 25 0 1 0 26650210 309977088 69855 1992294400 4194304 8223781 140733855315008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28217/statm: 75678 69855 591 984 0 74691 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 302712 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 28258 /proc/meminfo: memFree=1537536/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=302712 CPUtime=1541.89 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 10214725 0 0 0 149021 5168 0 0 25 0 1 0 26650210 309977088 69855 1992294400 4194304 8223781 140733855315008 18446744073709551615 4998646 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28217/statm: 75678 69855 591 984 0 74691 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 302712 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 28260 /proc/meminfo: memFree=1537536/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=302712 CPUtime=1601.87 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 10214725 0 0 0 154925 5262 0 0 25 0 1 0 26650210 309977088 69855 1992294400 4194304 8223781 140733855315008 18446744073709551615 4704749 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28217/statm: 75678 69855 591 984 0 74691 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 302712 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 28262 /proc/meminfo: memFree=1537412/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=302712 CPUtime=1661.85 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 10214725 0 0 0 160826 5359 0 0 25 0 1 0 26650210 309977088 69855 1992294400 4194304 8223781 140733855315008 18446744073709551615 5907519 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28217/statm: 75678 69855 591 984 0 74691 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 302712 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.07 2/107 28264 /proc/meminfo: memFree=1537288/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=302712 CPUtime=1721.84 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 10214725 0 0 0 166733 5451 0 0 25 0 1 0 26650210 309977088 69855 1992294400 4194304 8223781 140733855315008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28217/statm: 75678 69855 591 984 0 74691 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 302712 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.07 2/107 28264 /proc/meminfo: memFree=1536916/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=302712 CPUtime=1781.82 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 10214725 0 0 0 172639 5543 0 0 25 0 1 0 26650210 309977088 69855 1992294400 4194304 8223781 140733855315008 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28217/statm: 75678 69855 591 984 0 74691 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 302712 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.06 2/107 28266 /proc/meminfo: memFree=1536916/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=302712 CPUtime=1800.02 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 10214725 0 0 0 174431 5571 0 0 25 0 1 0 26650210 309977088 69855 1992294400 4194304 8223781 140733855315008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28217/statm: 75678 69855 591 984 0 74691 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 302712 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.06 2/108 28267 /proc/meminfo: memFree=1536908/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=302712 CPUtime=1800.13 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 10214727 0 0 0 174442 5571 0 0 25 0 1 0 26650210 309977088 69857 1992294400 4194304 8223781 140733855315008 18446744073709551615 4219826 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28217/statm: 75678 69857 593 984 0 74691 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 302712 [startup+1801 s] /proc/loadavg: 1.00 1.00 1.06 2/108 28267 /proc/meminfo: memFree=1536908/2059040 swapFree=4140228/4192956 [pid=28217] ppid=28215 vsize=121564 CPUtime=1800.51 /proc/28217/stat : 28217 (pbscip.linux.x8) R 28215 28217 27509 0 -1 4202496 10214977 0 0 0 174478 5573 0 0 25 0 1 0 26650210 124481536 28508 1992294400 4194304 8223781 140733855315008 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28217/statm: 30134 28508 593 984 0 29147 0 Current children cumulated CPU time (s) 1800.51 Current children cumulated vsize (KiB) 121564 Child status: 0 Real time (s): 1801.08 CPU time (s): 1800.61 CPU user time (s): 1744.85 CPU system time (s): 55.7535 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (KiB): 427996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1744.85 system time used= 55.7535 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10214981 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= 2 involuntary context switches= 5810 runsolver used 2.99954 second user time and 8.49371 second system time The end
Begin job on node009 at 2010-06-14 12:14:45 IDJOB=2666943 IDBENCH=2266 IDSOLVER=1169 FILE ID=node009/2666943-1276510484 PBS_JOBID= 11173411 Free space on /tmp= 62448 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/frb59-26-opb/normalized-frb59-26-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-2666943-1276510484/watcher-2666943-1276510484 -o /tmp/evaluation-result-2666943-1276510484/solver-2666943-1276510484 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666943-1276510484.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 937ec96fd1742e5ed6250d14e65c707b RANDOM SEED=1396357081 node009.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.199 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.39 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.199 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1818676 kB Buffers: 55296 kB Cached: 106652 kB SwapCached: 5716 kB Active: 99640 kB Inactive: 74696 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1818676 kB SwapTotal: 4192956 kB SwapFree: 4140228 kB Dirty: 7724 kB Writeback: 0 kB AnonPages: 10996 kB Mapped: 12836 kB Slab: 44084 kB PageTables: 4024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180336 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= 62444 MiB End job on node009 at 2010-06-14 12:44:47