Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | OPT | 1 | 1757.18 | 1757.66 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_4.opb |
| MD5SUM | 1757d8d914b8f8f6b2c05049538ae81a |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 130.767 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1 |
| Optimality of the best value was proved | YES |
| Number of variables | 94 |
| Total number of constraints | 8 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 8 |
| Minimum length of a constraint | 44 |
| Maximum length of a constraint | 46 |
| Number of terms in the objective function | 64 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 2040 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 869 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 3118 |
| Number of bits of the biggest sum of numbers | 12 |
| 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: Clp 1.11.1] [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-2665671-1276617480.opb>
0.00/0.01 c original problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 4 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (2 rounds):
0.00/0.02 c 0 deleted vars, 4 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 4 constraints
0.00/0.02 c 4 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 0 | 18 | - | 350k| 0 | 4 | 94 | 4 | 94 | 4 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.10 o 677
0.00/0.10 c y 0.1s| 1 | 0 | 18 | - | 374k| 0 | 4 | 94 | 4 | 94 | 4 | 0 | 0 | 0 | 0.000000e+00 | 6.770000e+02 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 22 | - | 479k| 0 | 7 | 94 | 77 | 94 | 8 | 4 | 0 | 0 | 0.000000e+00 | 6.770000e+02 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 31 | - | 515k| 0 | 9 | 94 | 77 | 94 | 12 | 8 | 0 | 0 | 0.000000e+00 | 6.770000e+02 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 43 | - | 552k| 0 | 11 | 94 | 77 | 94 | 17 | 13 | 0 | 0 | 0.000000e+00 | 6.770000e+02 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 49 | - | 578k| 0 | 13 | 94 | 77 | 94 | 20 | 16 | 0 | 0 | 0.000000e+00 | 6.770000e+02 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 65 | - | 602k| 0 | 15 | 94 | 77 | 94 | 27 | 23 | 0 | 0 | 0.000000e+00 | 6.770000e+02 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 86 | - | 620k| 0 | 12 | 94 | 77 | 94 | 31 | 27 | 0 | 0 | 0.000000e+00 | 6.770000e+02 | Inf
0.20/0.20 c 0.2s| 1 | 2 | 86 | - | 621k| 0 | 12 | 94 | 77 | 94 | 31 | 27 | 0 | 9 | 0.000000e+00 | 6.770000e+02 | Inf
0.20/0.26 o 390
0.20/0.26 c c 0.2s| 26 | 26 | 194 | 4.3 | 655k| 25 | - | 94 | 78 | 94 | 14 | 27 | 1 | 114 | 0.000000e+00 | 3.900000e+02 | Inf
0.30/0.31 o 207
0.30/0.31 c f 0.2s| 53 | 50 | 317 | 4.4 | 675k| 25 | - | 94 | 78 | 94 | 14 | 27 | 1 | 182 | 0.000000e+00 | 2.070000e+02 | Inf
0.30/0.34 o 204
0.30/0.34 c o 0.3s| 81 | 78 | 416 | 4.1 | 673k| 25 | 0 | 94 | 78 | 94 | 14 | 27 | 1 | 216 | 0.000000e+00 | 2.040000e+02 | Inf
0.39/0.41 o 152
0.39/0.41 c g 0.3s| 144 | 131 | 701 | 4.3 | 726k| 25 | - | 94 | 81 | 94 | 14 | 27 | 4 | 273 | 0.000000e+00 | 1.520000e+02 | Inf
0.39/0.44 o 146
0.39/0.44 c f 0.3s| 186 | 168 | 851 | 4.1 | 738k| 26 | - | 94 | 81 | 94 | 14 | 27 | 6 | 303 | 0.000000e+00 | 1.460000e+02 | Inf
0.39/0.45 o 145
0.39/0.45 c v 0.3s| 199 | 181 | 884 | 4.0 | 750k| 26 | - | 94 | 82 | 94 | 14 | 27 | 7 | 310 | 0.000000e+00 | 1.450000e+02 | Inf
0.39/0.47 o 143
0.39/0.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.47 c * 0.4s| 219 | 199 | 953 | 4.0 | 772k| 26 | - | 94 | 85 | 94 | 14 | 27 | 12 | 330 | 0.000000e+00 | 1.430000e+02 | Inf
0.39/0.48 o 141
0.39/0.48 c * 0.4s| 224 | 201 | 959 | 3.9 | 775k| 26 | - | 94 | 85 | 94 | 14 | 27 | 12 | 343 | 0.000000e+00 | 1.410000e+02 | Inf
0.39/0.48 o 139
0.39/0.48 c * 0.4s| 225 | 200 | 959 | 3.9 | 776k| 26 | - | 94 | 85 | 94 | 14 | 27 | 12 | 343 | 0.000000e+00 | 1.390000e+02 | Inf
0.49/0.50 o 130
0.49/0.50 c g 0.4s| 238 | 205 | 991 | 3.8 | 782k| 26 | - | 94 | 85 | 94 | 14 | 27 | 12 | 362 | 0.000000e+00 | 1.300000e+02 | Inf
0.49/0.54 o 129
0.49/0.54 c * 0.4s| 295 | 258 | 1282 | 4.1 | 813k| 26 | - | 94 | 87 | 94 | 14 | 27 | 15 | 377 | 0.000000e+00 | 1.290000e+02 | Inf
0.49/0.54 o 127
0.49/0.54 c * 0.4s| 296 | 250 | 1282 | 4.1 | 812k| 26 | - | 94 | 87 | 94 | 14 | 27 | 15 | 377 | 0.000000e+00 | 1.270000e+02 | Inf
0.49/0.57 o 125
0.49/0.57 c * 0.5s| 322 | 270 | 1381 | 4.0 | 823k| 26 | - | 94 | 77 | 94 | 14 | 27 | 15 | 402 | 0.000000e+00 | 1.250000e+02 | Inf
0.49/0.57 o 123
0.49/0.57 c * 0.5s| 325 | 271 | 1384 | 4.0 | 825k| 27 | - | 94 | 77 | 94 | 14 | 27 | 15 | 407 | 0.000000e+00 | 1.230000e+02 | Inf
0.49/0.59 o 118
0.49/0.59 c f 0.5s| 339 | 276 | 1417 | 3.9 | 829k| 27 | - | 94 | 77 | 94 | 14 | 27 | 16 | 424 | 0.000000e+00 | 1.180000e+02 | Inf
0.49/0.60 o 117
0.49/0.60 c v 0.5s| 354 | 290 | 1456 | 3.9 | 841k| 27 | - | 94 | 79 | 94 | 14 | 27 | 18 | 433 | 0.000000e+00 | 1.170000e+02 | Inf
0.59/0.62 o 116
0.59/0.62 c * 0.5s| 387 | 316 | 1535 | 3.8 | 853k| 27 | - | 94 | 80 | 94 | 14 | 27 | 20 | 458 | 0.000000e+00 | 1.160000e+02 | Inf
0.59/0.62 o 114
0.59/0.62 c * 0.5s| 388 | 314 | 1535 | 3.7 | 852k| 27 | - | 94 | 80 | 94 | 14 | 27 | 20 | 458 | 0.000000e+00 | 1.140000e+02 | Inf
0.59/0.65 o 109
0.59/0.65 c g 0.5s| 429 | 337 | 1624 | 3.6 | 866k| 28 | - | 94 | 80 | 94 | 14 | 27 | 20 | 480 | 0.000000e+00 | 1.090000e+02 | Inf
0.59/0.66 o 85
0.59/0.66 c c 0.5s| 445 | 319 | 1667 | 3.6 | 862k| 28 | - | 94 | 83 | 94 | 14 | 27 | 23 | 483 | 0.000000e+00 | 8.500000e+01 | Inf
0.59/0.67 o 83
0.59/0.67 c * 0.5s| 459 | 330 | 1698 | 3.5 | 865k| 28 | - | 94 | 83 | 94 | 14 | 27 | 23 | 483 | 0.000000e+00 | 8.300000e+01 | Inf
0.59/0.67 o 82
0.59/0.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.67 c * 0.5s| 468 | 332 | 1723 | 3.5 | 866k| 28 | - | 94 | 83 | 94 | 14 | 27 | 23 | 486 | 0.000000e+00 | 8.200000e+01 | Inf
0.59/0.68 o 80
0.59/0.68 c * 0.5s| 469 | 329 | 1723 | 3.5 | 866k| 28 | - | 94 | 83 | 94 | 14 | 27 | 23 | 486 | 0.000000e+00 | 8.000000e+01 | Inf
0.59/0.69 o 78
0.59/0.69 c * 0.5s| 491 | 337 | 1777 | 3.5 | 872k| 28 | - | 94 | 84 | 94 | 14 | 27 | 24 | 489 | 0.000000e+00 | 7.800000e+01 | Inf
0.59/0.69 o 76
0.59/0.69 c * 0.5s| 492 | 335 | 1780 | 3.5 | 872k| 28 | - | 94 | 84 | 94 | 14 | 27 | 24 | 489 | 0.000000e+00 | 7.600000e+01 | Inf
0.69/0.70 o 75
0.69/0.70 c p 0.6s| 506 | 347 | 1819 | 3.4 | 879k| 28 | - | 94 | 84 | 94 | 14 | 27 | 24 | 499 | 0.000000e+00 | 7.500000e+01 | Inf
0.69/0.72 o 54
0.69/0.72 c f 0.6s| 529 | 337 | 1898 | 3.4 | 884k| 28 | - | 94 | 84 | 94 | 14 | 27 | 24 | 499 | 0.000000e+00 | 5.400000e+01 | Inf
0.69/0.73 o 52
0.69/0.73 c v 0.6s| 546 | 350 | 1950 | 3.4 | 893k| 28 | - | 94 | 93 | 94 | 14 | 27 | 34 | 499 | 0.000000e+00 | 5.200000e+01 | Inf
0.79/0.87 o 50
0.79/0.87 c v 0.7s| 746 | 520 | 2693 | 3.5 | 986k| 28 | - | 94 | 114 | 94 | 14 | 27 | 62 | 505 | 0.000000e+00 | 5.000000e+01 | Inf
0.79/0.88 o 29
0.79/0.88 c g 0.7s| 771 | 491 | 2765 | 3.5 | 971k| 28 | - | 94 | 116 | 94 | 14 | 27 | 65 | 506 | 0.000000e+00 | 2.900000e+01 | Inf
0.89/0.91 o 28
0.89/0.91 c f 0.7s| 799 | 514 | 2935 | 3.6 | 977k| 28 | - | 94 | 126 | 94 | 14 | 27 | 77 | 507 | 0.000000e+00 | 2.800000e+01 | Inf
0.99/1.06 o 19
0.99/1.06 c f 0.9s| 1024 | 653 | 3777 | 3.6 |1064k| 28 | - | 94 | 154 | 94 | 14 | 27 | 109 | 514 | 0.000000e+00 | 1.900000e+01 | Inf
1.10/1.19 o 17
1.10/1.19 c * 1.0s| 1168 | 746 | 4639 | 3.9 |1129k| 28 | - | 94 | 204 | 94 | 14 | 27 | 163 | 516 | 0.000000e+00 | 1.700000e+01 | Inf
1.29/1.35 o 16
1.29/1.35 c * 1.1s| 1350 | 850 | 5662 | 4.1 |1221k| 28 | - | 94 | 272 | 94 | 14 | 27 | 233 | 519 | 0.000000e+00 | 1.600000e+01 | Inf
1.69/1.73 o 12
1.69/1.73 c g 1.4s| 1884 | 1155 | 8077 | 4.2 |1423k| 28 | - | 94 | 367 | 94 | 14 | 27 | 416 | 527 | 0.000000e+00 | 1.200000e+01 | Inf
2.29/2.36 o 10
2.29/2.36 c * 2.0s| 2956 | 1672 | 12059 | 4.1 |1741k| 28 | - | 94 | 562 | 94 | 14 | 27 | 618 | 531 | 0.000000e+00 | 1.000000e+01 | Inf
2.59/2.60 o 9
2.59/2.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.59/2.60 c * 2.2s| 3379 | 1773 | 13745 | 4.0 |1813k| 28 | - | 94 | 618 | 94 | 14 | 27 | 680 | 535 | 0.000000e+00 | 9.000000e+00 | Inf
3.49/3.58 o 7
3.49/3.58 c * 3.0s| 5213 | 2294 | 19449 | 3.7 |2207k| 28 | - | 94 | 912 | 94 | 14 | 27 | 995 | 548 | 0.000000e+00 | 7.000000e+00 | Inf
3.49/3.58 o 5
3.49/3.58 c * 3.0s| 5214 | 2261 | 19449 | 3.7 |2178k| 28 | - | 94 | 912 | 94 | 14 | 27 | 995 | 548 | 0.000000e+00 | 5.000000e+00 | Inf
5.59/5.67 c 4.8s| 10000 | 2671 | 32295 | 3.2 |2716k| 28 | 4 | 94 |1442 | 94 | 14 | 27 |1569 | 583 | 0.000000e+00 | 5.000000e+00 | Inf
8.99/9.00 o 4
8.99/9.00 c * 7.6s| 17081 | 2779 | 51710 | 3.0 |3221k| 28 | - | 94 |2163 | 94 | 14 | 27 |2362 | 632 | 0.000000e+00 | 4.000000e+00 | Inf
10.29/10.33 c 8.7s| 20000 | 2820 | 58753 | 2.9 |3445k| 28 | 4 | 94 |2526 | 94 | 14 | 27 |2794 | 663 | 0.000000e+00 | 4.000000e+00 | Inf
15.59/15.66 c 13.3s| 30000 | 2936 | 85686 | 2.9 |3873k| 28 | 4 | 94 |3244 | 94 | 14 | 27 |4064 | 720 | 0.000000e+00 | 4.000000e+00 | Inf
17.49/17.58 o 3
17.49/17.58 c *15.0s| 33615 | 3175 | 94560 | 2.8 |4192k| 28 | - | 94 |3648 | 94 | 14 | 27 |4527 | 731 | 0.000000e+00 | 3.000000e+00 | Inf
20.98/21.09 c 18.0s| 40000 | 3253 |110900 | 2.8 |4261k| 28 | 4 | 94 |3483 | 94 | 14 | 27 |5257 | 741 | 0.000000e+00 | 3.000000e+00 | Inf
26.40/26.44 c 22.7s| 50000 | 2903 |137196 | 2.7 |3993k| 28 | - | 94 |3207 | 0 | 0 | 27 |6560 | 762 | 0.000000e+00 | 3.000000e+00 | Inf
31.48/31.59 c 27.1s| 60000 | 2891 |160445 | 2.7 |4037k| 28 | 4 | 94 |3287 | 94 | 14 | 27 |8398 | 797 | 0.000000e+00 | 3.000000e+00 | Inf
36.08/36.18 c 31.0s| 70000 | 3127 |185591 | 2.7 |3709k| 28 | 4 | 94 |2059 | 94 | 14 | 27 | 10k| 832 | 0.000000e+00 | 3.000000e+00 | Inf
40.59/40.60 c 34.9s| 80000 | 3074 |209012 | 2.6 |3832k| 28 | 4 | 94 |2213 | 94 | 14 | 27 | 11k| 833 | 0.000000e+00 | 3.000000e+00 | Inf
45.08/45.13 c 38.7s| 90000 | 2600 |233358 | 2.6 |3160k| 28 | - | 94 |1557 | 94 | 14 | 27 | 13k|1007 | 0.000000e+00 | 3.000000e+00 | Inf
49.48/49.57 c 42.4s|100000 | 2830 |261312 | 2.6 |3335k| 28 | 4 | 94 |1689 | 94 | 14 | 27 | 14k|1074 | 0.000000e+00 | 3.000000e+00 | Inf
53.89/53.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.89/53.93 c 46.1s|110000 | 2763 |287134 | 2.6 |3485k| 28 | - | 94 |1908 | 0 | 0 | 27 | 16k|1103 | 0.000000e+00 | 3.000000e+00 | Inf
58.38/58.46 c 49.9s|120000 | 2710 |313914 | 2.6 |3479k| 28 | - | 94 |2083 | 0 | 0 | 27 | 17k|1135 | 0.000000e+00 | 3.000000e+00 | Inf
63.18/63.24 c 54.0s|130000 | 2357 |340267 | 2.6 |3009k| 28 | 4 | 94 |1380 | 94 | 14 | 27 | 19k|1263 | 0.000000e+00 | 3.000000e+00 | Inf
67.47/67.56 c 57.6s|140000 | 2505 |366346 | 2.6 |3347k| 28 | 4 | 94 |1931 | 94 | 14 | 27 | 20k|1302 | 0.000000e+00 | 3.000000e+00 | Inf
71.87/71.95 c 61.3s|150000 | 2363 |391289 | 2.6 |3371k| 28 | - | 94 |2336 | 94 | 14 | 27 | 22k|1319 | 0.000000e+00 | 3.000000e+00 | Inf
76.47/76.53 c 65.2s|160000 | 2359 |416621 | 2.6 |3379k| 28 | 4 | 94 |2327 | 94 | 14 | 27 | 23k|1328 | 0.000000e+00 | 3.000000e+00 | Inf
81.07/81.13 c 69.2s|170000 | 2429 |442032 | 2.6 |3627k| 28 | 4 | 94 |2757 | 94 | 14 | 27 | 25k|1341 | 0.000000e+00 | 3.000000e+00 | Inf
85.67/85.77 c 73.2s|180000 | 2352 |465201 | 2.6 |3719k| 28 | 4 | 94 |3146 | 94 | 14 | 27 | 26k|1349 | 0.000000e+00 | 3.000000e+00 | Inf
90.37/90.40 c 77.2s|190000 | 2438 |490166 | 2.6 |3587k| 28 | - | 94 |2638 | 0 | 0 | 27 | 28k|1361 | 0.000000e+00 | 3.000000e+00 | Inf
94.86/94.98 c 81.1s|200000 | 2488 |514329 | 2.6 |3705k| 28 | 4 | 94 |2765 | 94 | 14 | 27 | 29k|1382 | 0.000000e+00 | 3.000000e+00 | Inf
99.46/99.54 c 85.0s|210000 | 2174 |539385 | 2.6 |3359k| 28 | 4 | 94 |2420 | 94 | 14 | 27 | 30k|1398 | 0.000000e+00 | 3.000000e+00 | Inf
103.77/103.84 c 88.6s|220000 | 2347 |565532 | 2.6 |3218k| 28 | 4 | 94 |1674 | 94 | 14 | 27 | 32k|1440 | 0.000000e+00 | 3.000000e+00 | Inf
107.86/107.99 c 92.1s|230000 | 2335 |589104 | 2.6 |3448k| 28 | 4 | 94 |2128 | 94 | 14 | 27 | 33k|1456 | 0.000000e+00 | 3.000000e+00 | Inf
112.17/112.25 c 95.7s|240000 | 2362 |613731 | 2.6 |3625k| 28 | 4 | 94 |2458 | 94 | 14 | 27 | 34k|1481 | 0.000000e+00 | 3.000000e+00 | Inf
116.57/116.69 c 99.5s|250000 | 2077 |638820 | 2.6 |3169k| 28 | 4 | 94 |1934 | 94 | 14 | 27 | 35k|1536 | 0.000000e+00 | 3.000000e+00 | Inf
120.56/120.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
120.56/120.64 c 103s|260000 | 2855 |662714 | 2.5 |3617k| 28 | - | 94 |1858 | 94 | 14 | 27 | 36k|1566 | 0.000000e+00 | 3.000000e+00 | Inf
124.66/124.74 c 106s|270000 | 3015 |686236 | 2.5 |3836k| 28 | - | 94 |1792 | 0 | 0 | 27 | 37k|1584 | 0.000000e+00 | 3.000000e+00 | Inf
128.66/128.77 c 110s|280000 | 2857 |709129 | 2.5 |3865k| 28 | - | 94 |1939 | 94 | 14 | 27 | 39k|1589 | 0.000000e+00 | 3.000000e+00 | Inf
132.65/132.79 c 113s|290000 | 3006 |732781 | 2.5 |4196k| 28 | - | 94 |2346 | 0 | 0 | 27 | 40k|1611 | 0.000000e+00 | 3.000000e+00 | Inf
136.86/136.97 c 117s|300000 | 2372 |755083 | 2.5 |3596k| 28 | 4 | 94 |1934 | 94 | 14 | 27 | 41k|1625 | 0.000000e+00 | 3.000000e+00 | Inf
140.95/141.04 c 120s|310000 | 2378 |778885 | 2.5 |3257k| 28 | 4 | 94 |1552 | 94 | 14 | 27 | 42k|1663 | 0.000000e+00 | 3.000000e+00 | Inf
144.86/144.99 c 123s|320000 | 2233 |803178 | 2.5 |3300k| 28 | 4 | 94 |1648 | 94 | 14 | 27 | 43k|1690 | 0.000000e+00 | 3.000000e+00 | Inf
148.85/148.91 c 127s|330000 | 2244 |827272 | 2.5 |3429k| 28 | 4 | 94 |1870 | 94 | 14 | 27 | 44k|1707 | 0.000000e+00 | 3.000000e+00 | Inf
152.75/152.85 c 130s|340000 | 2314 |851033 | 2.5 |3218k| 28 | - | 94 |1557 | 94 | 14 | 27 | 46k|1744 | 0.000000e+00 | 3.000000e+00 | Inf
156.65/156.79 c 133s|350000 | 2461 |873779 | 2.5 |3473k| 28 | - | 94 |1767 | 94 | 14 | 27 | 47k|1749 | 0.000000e+00 | 3.000000e+00 | Inf
160.65/160.77 c 137s|360000 | 2133 |895649 | 2.5 |3310k| 28 | 4 | 94 |1837 | 94 | 14 | 27 | 48k|1762 | 0.000000e+00 | 3.000000e+00 | Inf
164.65/164.76 c 140s|370000 | 2060 |919279 | 2.5 |3175k| 28 | 4 | 94 |1695 | 94 | 14 | 27 | 50k|1797 | 0.000000e+00 | 3.000000e+00 | Inf
168.85/168.99 c 144s|380000 | 1860 |944299 | 2.5 |2915k| 28 | - | 94 |1478 | 94 | 14 | 27 | 51k|2126 | 0.000000e+00 | 3.000000e+00 | Inf
172.84/172.92 c 147s|390000 | 1952 |968494 | 2.5 |3204k| 28 | - | 94 |1971 | 94 | 14 | 27 | 52k|2146 | 0.000000e+00 | 3.000000e+00 | Inf
176.84/176.91 c 150s|400000 | 1801 |991393 | 2.5 |2921k| 28 | - | 94 |1457 | 94 | 14 | 27 | 53k|2167 | 0.000000e+00 | 3.000000e+00 | Inf
180.74/180.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
180.74/180.88 c 154s|410000 | 1710 | 1014k| 2.5 |2694k| 28 | 4 | 94 | 986 | 94 | 14 | 27 | 54k|2198 | 0.000000e+00 | 3.000000e+00 | Inf
184.52/184.66 c 157s|420000 | 1889 | 1037k| 2.5 |3040k| 28 | 4 | 94 |1415 | 94 | 14 | 27 | 55k|2218 | 0.000000e+00 | 3.000000e+00 | Inf
188.43/188.56 c 160s|430000 | 1767 | 1060k| 2.5 |2922k| 28 | 4 | 94 |1450 | 94 | 14 | 27 | 57k|2248 | 0.000000e+00 | 3.000000e+00 | Inf
192.44/192.55 c 163s|440000 | 1654 | 1085k| 2.5 |2922k| 28 | - | 94 |1575 | 94 | 14 | 27 | 58k|2270 | 0.000000e+00 | 3.000000e+00 | Inf
196.42/196.52 c 167s|450000 | 1511 | 1108k| 2.5 |2798k| 28 | 4 | 94 |1490 | 94 | 14 | 27 | 59k|2292 | 0.000000e+00 | 3.000000e+00 | Inf
200.52/200.67 c 170s|460000 | 1450 | 1132k| 2.5 |2840k| 28 | - | 94 |1633 | 94 | 14 | 27 | 60k|2312 | 0.000000e+00 | 3.000000e+00 | Inf
204.53/204.66 c 173s|470000 | 1485 | 1157k| 2.5 |2811k| 28 | 4 | 94 |1437 | 94 | 14 | 27 | 62k|2330 | 0.000000e+00 | 3.000000e+00 | Inf
208.42/208.50 c 177s|480000 | 1366 | 1181k| 2.5 |2729k| 28 | 4 | 94 |1389 | 94 | 14 | 27 | 63k|2347 | 0.000000e+00 | 3.000000e+00 | Inf
212.23/212.32 c 180s|490000 | 1511 | 1203k| 2.5 |3114k| 28 | - | 94 |2154 | 94 | 14 | 27 | 64k|2358 | 0.000000e+00 | 3.000000e+00 | Inf
216.42/216.50 c 183s|500000 | 1292 | 1227k| 2.5 |2874k| 28 | - | 94 |1888 | 0 | 0 | 27 | 65k|2366 | 0.000000e+00 | 3.000000e+00 | Inf
220.32/220.49 c 187s|510000 | 1668 | 1250k| 2.5 |3118k| 28 | 4 | 94 |1914 | 94 | 14 | 27 | 66k|2379 | 0.000000e+00 | 3.000000e+00 | Inf
224.62/224.74 c 190s|520000 | 1745 | 1273k| 2.4 |3402k| 28 | 4 | 94 |2327 | 94 | 14 | 27 | 68k|2393 | 0.000000e+00 | 3.000000e+00 | Inf
228.91/229.06 c 194s|530000 | 2131 | 1297k| 2.4 |3863k| 28 | 4 | 94 |2770 | 94 | 14 | 27 | 69k|2420 | 0.000000e+00 | 3.000000e+00 | Inf
229.82/229.92 o 1
229.82/229.92 c * 195s|531932 | 2125 | 1301k| 2.4 |3913k| 28 | - | 94 |2868 | 94 | 14 | 27 | 69k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
235.01/235.15 c 199s|540000 | 2247 | 1314k| 2.4 |4638k| 28 | - | 94 |4352 | 0 | 0 | 27 | 75k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
242.01/242.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
242.01/242.18 c 206s|550000 | 2187 | 1330k| 2.4 |4936k| 28 | - | 94 |5203 | 0 | 0 | 27 | 82k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
250.11/250.25 c 213s|560000 | 2283 | 1346k| 2.4 |5640k| 28 | - | 94 |6653 | 94 | 14 | 27 | 89k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
259.42/259.60 c 222s|570000 | 2314 | 1363k| 2.4 |6175k| 28 | 4 | 94 |7717 | 94 | 14 | 27 | 96k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
269.32/269.41 c 231s|580000 | 1940 | 1379k| 2.4 |5752k| 28 | - | 94 |7052 | 0 | 0 | 27 | 103k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
278.61/278.78 c 239s|590000 | 1596 | 1394k| 2.4 |5257k| 28 | 4 | 94 |6407 | 94 | 14 | 27 | 110k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
288.00/288.12 c 248s|600000 | 1528 | 1411k| 2.4 |5208k| 28 | - | 94 |6773 | 0 | 0 | 27 | 117k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
297.90/298.00 c 257s|610000 | 1383 | 1427k| 2.3 |5827k| 28 | 4 | 94 |8661 | 94 | 14 | 27 | 125k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
307.81/307.91 c 266s|620000 | 1162 | 1444k| 2.3 |5547k| 28 | - | 94 |8243 | 0 | 0 | 27 | 132k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
317.89/318.04 c 276s|630000 | 1127 | 1461k| 2.3 |5406k| 28 | 4 | 94 |7437 | 94 | 14 | 27 | 139k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
327.70/327.87 c 285s|640000 | 1346 | 1478k| 2.3 |6272k| 28 | 4 | 94 |9498 | 94 | 14 | 27 | 146k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
338.59/338.76 c 295s|650000 | 1125 | 1494k| 2.3 |5984k| 28 | - | 94 |8979 | 0 | 0 | 27 | 153k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
350.28/350.47 c 306s|660000 | 1344 | 1511k| 2.3 |6966k| 28 | 4 | 94 | 10k| 94 | 14 | 27 | 161k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
363.48/363.62 c 318s|670000 | 1411 | 1529k| 2.3 |7715k| 28 | - | 94 | 12k| 94 | 14 | 27 | 168k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
378.29/378.41 c 332s|680000 | 1373 | 1545k| 2.3 |8319k| 28 | 4 | 94 | 14k| 94 | 14 | 27 | 175k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
393.58/393.71 c 347s|690000 | 1203 | 1562k| 2.3 |7676k| 28 | 4 | 94 | 12k| 94 | 14 | 27 | 183k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
407.37/407.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
407.37/407.56 c 360s|700000 | 1692 | 1579k| 2.3 |8396k| 28 | - | 94 | 13k| 0 | 0 | 27 | 190k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
422.07/422.28 c 375s|710000 | 1682 | 1595k| 2.2 |8942k| 28 | - | 94 | 14k| 94 | 14 | 27 | 197k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
437.86/438.05 c 390s|720000 | 1409 | 1611k| 2.2 |8700k| 28 | 4 | 94 | 14k| 94 | 14 | 27 | 204k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
452.76/452.95 c 404s|730000 | 1056 | 1628k| 2.2 |6982k| 28 | - | 94 | 10k| 94 | 14 | 27 | 211k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
464.45/464.62 c 415s|740000 | 1353 | 1646k| 2.2 |7568k| 28 | - | 94 | 11k| 94 | 14 | 27 | 218k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
477.26/477.41 c 427s|750000 | 1073 | 1662k| 2.2 |7286k| 28 | 4 | 94 | 11k| 94 | 14 | 27 | 226k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
489.45/489.63 c 439s|760000 | 1002 | 1679k| 2.2 |6633k| 28 | 4 | 94 |9437 | 94 | 14 | 27 | 233k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
501.24/501.40 c 450s|770000 | 917 | 1695k| 2.2 |7339k| 28 | 4 | 94 | 11k| 94 | 14 | 27 | 240k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
513.34/513.58 c 461s|780000 | 734 | 1712k| 2.2 |6191k| 28 | 4 | 94 |8406 | 94 | 14 | 27 | 247k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
524.14/524.35 c 471s|790000 | 1156 | 1729k| 2.2 |7279k| 28 | - | 94 | 10k| 94 | 14 | 27 | 254k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
536.73/536.99 c 483s|800000 | 1403 | 1746k| 2.2 |8018k| 28 | 4 | 94 | 12k| 94 | 14 | 27 | 262k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
550.63/550.88 c 496s|810000 | 1730 | 1762k| 2.2 |8710k| 28 | - | 94 | 12k| 94 | 14 | 27 | 268k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
565.33/565.51 c 510s|820000 | 1481 | 1778k| 2.2 |8818k| 28 | - | 94 | 13k| 94 | 14 | 27 | 275k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
580.72/580.91 c 525s|830000 | 1481 | 1794k| 2.2 |8930k| 28 | 4 | 94 | 13k| 94 | 14 | 27 | 282k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
595.02/595.24 c 538s|840000 | 1227 | 1811k| 2.2 |8461k| 28 | 4 | 94 | 13k| 94 | 14 | 27 | 290k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
609.13/609.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
609.13/609.39 c 552s|850000 | 1136 | 1827k| 2.1 |8336k| 28 | 4 | 94 | 12k| 94 | 14 | 27 | 297k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
624.11/624.32 c 566s|860000 | 1245 | 1844k| 2.1 |8161k| 28 | - | 94 | 12k| 0 | 0 | 27 | 304k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
638.61/638.86 c 580s|870000 | 1007 | 1860k| 2.1 |8631k| 28 | 4 | 94 | 14k| 94 | 14 | 27 | 311k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
653.50/653.70 c 594s|880000 | 878 | 1877k| 2.1 |7946k| 28 | 4 | 94 | 13k| 94 | 14 | 27 | 318k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
668.50/668.78 c 608s|890000 | 841 | 1894k| 2.1 |8614k| 28 | - | 94 | 14k| 0 | 0 | 27 | 325k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
684.90/685.10 c 624s|900000 | 703 | 1910k| 2.1 |8343k| 28 | 4 | 94 | 14k| 94 | 14 | 27 | 332k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
699.90/700.13 c 638s|910000 | 839 | 1927k| 2.1 |9009k| 28 | 4 | 94 | 15k| 94 | 14 | 27 | 339k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
714.48/714.77 c 652s|920000 | 931 | 1943k| 2.1 |8852k| 28 | 4 | 94 | 14k| 94 | 14 | 27 | 346k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
729.98/730.25 c 667s|930000 | 861 | 1959k| 2.1 |7155k| 28 | 4 | 94 |9570 | 94 | 14 | 27 | 353k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
741.88/742.18 c 678s|940000 | 612 | 1975k| 2.1 |7031k| 28 | 4 | 94 |9573 | 94 | 14 | 27 | 360k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
753.98/754.24 c 689s|950000 | 657 | 1992k| 2.1 |7497k| 28 | 4 | 94 | 10k| 94 | 14 | 27 | 367k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
766.18/766.48 c 701s|960000 | 1028 | 2010k| 2.1 |7817k| 28 | 4 | 94 | 10k| 94 | 14 | 27 | 374k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
779.46/779.72 c 713s|970000 | 1059 | 2027k| 2.1 |8090k| 28 | 4 | 94 | 10k| 94 | 14 | 27 | 381k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
791.78/792.01 c 725s|980000 | 1475 | 2043k| 2.1 |8489k| 28 | 4 | 94 | 11k| 94 | 14 | 27 | 388k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
805.06/805.39 c 737s|990000 | 1618 | 2060k| 2.1 |9034k| 28 | - | 94 | 12k| 0 | 0 | 27 | 394k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
819.06/819.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
819.06/819.30 c 751s| 1000k| 1092 | 2075k| 2.1 |8457k| 28 | 4 | 94 | 11k| 94 | 14 | 27 | 401k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
831.86/832.12 c 763s| 1010k| 997 | 2091k| 2.1 |8350k| 28 | 4 | 94 | 11k| 94 | 14 | 27 | 407k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
844.95/845.24 c 775s| 1020k| 528 | 2107k| 2.1 |7225k| 28 | - | 94 | 10k| 0 | 0 | 27 | 414k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
857.25/857.55 c 787s| 1030k| 757 | 2124k| 2.1 |7948k| 28 | 4 | 94 | 11k| 94 | 14 | 27 | 421k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
871.45/871.78 c 800s| 1040k| 529 | 2141k| 2.1 |8071k| 28 | 4 | 94 | 12k| 94 | 14 | 27 | 429k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
886.25/886.55 c 814s| 1050k| 442 | 2157k| 2.1 |7879k| 28 | - | 94 | 12k| 94 | 14 | 27 | 436k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
900.54/900.83 c 828s| 1060k| 486 | 2174k| 2.1 |8275k| 28 | - | 94 | 13k| 94 | 14 | 27 | 443k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
916.13/916.40 c 842s| 1070k| 449 | 2191k| 2.0 |8531k| 28 | - | 94 | 14k| 94 | 14 | 27 | 451k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
929.33/929.69 c 855s| 1080k| 433 | 2208k| 2.0 |7390k| 28 | 4 | 94 | 10k| 94 | 14 | 27 | 458k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
941.93/942.29 c 867s| 1090k| 680 | 2225k| 2.0 |8312k| 28 | 4 | 94 | 12k| 94 | 14 | 27 | 465k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
956.93/957.27 c 881s| 1100k| 746 | 2241k| 2.0 |9069k| 28 | - | 94 | 14k| 94 | 14 | 27 | 472k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
973.82/974.19 c 897s| 1110k| 347 | 2258k| 2.0 |9004k| 28 | 4 | 94 | 15k| 94 | 14 | 27 | 480k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
991.82/992.11 c 914s| 1120k| 386 | 2275k| 2.0 |8439k| 28 | - | 94 | 13k| 94 | 14 | 27 | 487k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1006.41/1006.73 c 928s| 1130k| 699 | 2292k| 2.0 |8480k| 28 | 4 | 94 | 12k| 94 | 14 | 27 | 494k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1020.41/1020.71 c 942s| 1140k| 1083 | 2308k| 2.0 |9038k| 28 | - | 94 | 12k| 0 | 0 | 27 | 500k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1035.00/1035.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1035.00/1035.36 c 956s| 1150k| 1079 | 2323k| 2.0 |9296k| 28 | - | 94 | 13k| 0 | 0 | 27 | 506k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1049.90/1050.22 c 970s| 1160k| 453 | 2338k| 2.0 |8302k| 28 | 4 | 94 | 12k| 94 | 14 | 27 | 513k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1063.59/1063.96 c 983s| 1170k| 306 | 2354k| 2.0 |8670k| 28 | 4 | 94 | 14k| 94 | 14 | 27 | 520k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1078.49/1078.81 c 997s| 1180k| 296 | 2370k| 2.0 |9134k| 28 | 4 | 94 | 15k| 94 | 14 | 27 | 527k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1093.99/1094.35 c 1012s| 1190k| 594 | 2387k| 2.0 |8849k| 28 | 4 | 94 | 13k| 94 | 14 | 27 | 534k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1109.18/1109.50 c 1026s| 1200k| 403 | 2404k| 2.0 |8360k| 28 | 4 | 94 | 12k| 94 | 14 | 27 | 541k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1123.97/1124.31 c 1040s| 1210k| 276 | 2421k| 2.0 |8497k| 28 | - | 94 | 13k| 0 | 0 | 27 | 549k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1140.57/1140.98 c 1056s| 1220k| 304 | 2438k| 2.0 |9628k| 28 | - | 94 | 16k| 0 | 0 | 27 | 556k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1157.57/1157.95 c 1072s| 1230k| 415 | 2455k| 2.0 |9328k| 28 | 4 | 94 | 14k| 94 | 14 | 27 | 563k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1175.57/1175.93 c 1089s| 1240k| 422 | 2473k| 2.0 |9451k| 28 | - | 94 | 14k| 94 | 14 | 27 | 570k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1191.76/1192.11 c 1105s| 1250k| 983 | 2490k| 2.0 | 10M| 28 | 4 | 94 | 16k| 94 | 14 | 27 | 577k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1209.67/1210.09 c 1122s| 1260k| 659 | 2506k| 2.0 | 10M| 28 | - | 94 | 16k| 94 | 14 | 27 | 583k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1227.85/1228.30 c 1140s| 1270k| 232 | 2522k| 2.0 |8689k| 28 | 4 | 94 | 13k| 94 | 14 | 27 | 590k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1242.84/1243.24 c 1154s| 1280k| 400 | 2540k| 2.0 |7692k| 28 | - | 94 |9648 | 0 | 0 | 27 | 597k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1255.64/1256.01 c 1166s| 1290k| 312 | 2556k| 2.0 |7919k| 28 | 4 | 94 | 10k| 94 | 14 | 27 | 605k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1268.64/1269.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1268.64/1269.04 c 1179s| 1300k| 204 | 2573k| 2.0 |7263k| 28 | 4 | 94 |8750 | 94 | 14 | 27 | 612k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1279.94/1280.36 c 1189s| 1310k| 299 | 2590k| 2.0 |7802k| 28 | - | 94 |9886 | 94 | 14 | 27 | 619k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1292.04/1292.49 c 1201s| 1320k| 440 | 2608k| 2.0 |8792k| 28 | - | 94 | 12k| 94 | 14 | 27 | 626k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1306.44/1306.85 c 1214s| 1330k| 215 | 2624k| 2.0 |8890k| 28 | - | 94 | 13k| 94 | 14 | 27 | 633k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1321.63/1322.04 c 1229s| 1340k| 189 | 2641k| 2.0 |9093k| 28 | - | 94 | 14k| 0 | 0 | 27 | 640k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1337.13/1337.51 c 1244s| 1350k| 335 | 2659k| 2.0 |8674k| 28 | 4 | 94 | 12k| 94 | 14 | 27 | 648k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1351.72/1352.12 c 1258s| 1360k| 80 | 2675k| 2.0 |7961k| 28 | - | 94 | 10k| 0 | 0 | 27 | 655k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1363.62/1364.02 c 1269s| 1370k| 647 | 2692k| 2.0 |7976k| 28 | 4 | 94 |9804 | 94 | 14 | 27 | 662k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1375.12/1375.53 c 1280s| 1380k| 1205 | 2709k| 2.0 |8539k| 28 | 4 | 94 |9573 | 94 | 14 | 27 | 668k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1387.61/1388.08 c 1292s| 1390k| 1483 | 2726k| 2.0 |9221k| 28 | - | 94 | 10k| 0 | 0 | 27 | 674k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1399.91/1400.39 c 1303s| 1400k| 1509 | 2742k| 2.0 |9224k| 28 | 4 | 94 |9516 | 94 | 14 | 27 | 681k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1411.50/1411.97 c 1314s| 1410k| 1089 | 2758k| 2.0 |8858k| 28 | - | 94 |9288 | 0 | 0 | 27 | 688k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1422.91/1423.37 c 1325s| 1420k| 946 | 2775k| 2.0 |8362k| 28 | 4 | 94 |8562 | 94 | 14 | 27 | 695k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1434.01/1434.40 c 1335s| 1430k| 1302 | 2791k| 2.0 |9428k| 28 | 4 | 94 | 10k| 94 | 14 | 27 | 701k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1446.39/1446.89 c 1347s| 1440k| 1021 | 2806k| 1.9 |9372k| 28 | - | 94 | 10k| 94 | 14 | 27 | 707k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1459.30/1459.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1459.30/1459.72 c 1359s| 1450k| 588 | 2822k| 1.9 |8709k| 28 | - | 94 | 10k| 0 | 0 | 27 | 714k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1471.19/1471.62 c 1371s| 1460k| 658 | 2839k| 1.9 |9327k| 28 | - | 94 | 12k| 0 | 0 | 27 | 720k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1484.78/1485.20 c 1384s| 1470k| 184 | 2855k| 1.9 |7722k| 28 | 4 | 94 |9938 | 94 | 14 | 27 | 727k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1497.28/1497.73 c 1395s| 1480k| 690 | 2872k| 1.9 |8315k| 28 | - | 94 | 10k| 94 | 14 | 27 | 733k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1509.57/1510.02 c 1407s| 1490k| 881 | 2888k| 1.9 |8827k| 28 | 4 | 94 | 11k| 94 | 14 | 27 | 739k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1522.87/1523.32 c 1420s| 1500k| 1021 | 2904k| 1.9 |9375k| 28 | - | 94 | 12k| 0 | 0 | 27 | 746k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1536.18/1536.70 c 1432s| 1510k| 1239 | 2921k| 1.9 | 10M| 28 | - | 94 | 13k| 0 | 0 | 27 | 752k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1550.87/1551.35 c 1446s| 1520k| 1324 | 2936k| 1.9 | 10M| 28 | 4 | 94 | 13k| 94 | 14 | 27 | 758k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1564.87/1565.36 c 1460s| 1530k| 1221 | 2953k| 1.9 |9696k| 28 | 4 | 94 | 11k| 94 | 14 | 27 | 765k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1578.15/1578.69 c 1472s| 1540k| 1286 | 2969k| 1.9 | 10M| 28 | 4 | 94 | 13k| 94 | 14 | 27 | 771k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1592.76/1593.23 c 1486s| 1550k| 1515 | 2987k| 1.9 | 10M| 28 | 4 | 94 | 13k| 94 | 14 | 27 | 778k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1607.05/1607.57 c 1500s| 1560k| 1651 | 3004k| 1.9 | 10M| 28 | - | 94 | 12k| 94 | 14 | 27 | 784k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1621.34/1621.81 c 1514s| 1570k| 1529 | 3019k| 1.9 | 11M| 28 | - | 94 | 13k| 94 | 14 | 27 | 790k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1636.04/1636.51 c 1528s| 1580k| 1257 | 3035k| 1.9 | 10M| 28 | 4 | 94 | 12k| 94 | 14 | 27 | 797k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1651.24/1651.79 c 1542s| 1590k| 477 | 3051k| 1.9 |7751k| 28 | 4 | 94 |8382 | 94 | 14 | 27 | 804k|2426 | 0.000000e+00 | 1.000000e+00 | Inf
1661.65/1662.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1661.65/1662.18 c 1552s| 1600k| 1455 | 3069k| 1.9 |8967k| 28 | 4 | 94 |9447 | 94 | 14 | 27 | 810k|2426 | 0.000000e+00 | 1.000000e+00 | Inf
1673.74/1674.22 c 1563s| 1610k| 1479 | 3087k| 1.9 |9580k| 28 | 4 | 94 | 10k| 94 | 14 | 27 | 817k|2426 | 0.000000e+00 | 1.000000e+00 | Inf
1686.43/1686.97 c 1575s| 1620k| 1500 | 3104k| 1.9 | 10M| 28 | - | 94 | 11k| 0 | 0 | 27 | 823k|2426 | 0.000000e+00 | 1.000000e+00 | Inf
1700.53/1701.04 c 1589s| 1630k| 1339 | 3122k| 1.9 |9812k| 28 | - | 94 | 10k| 94 | 14 | 27 | 830k|2426 | 0.000000e+00 | 1.000000e+00 | Inf
1713.33/1713.82 c 1601s| 1640k| 993 | 3138k| 1.9 |9799k| 28 | 4 | 94 | 11k| 94 | 14 | 27 | 837k|2426 | 0.000000e+00 | 1.000000e+00 | Inf
1727.02/1727.57 c 1614s| 1650k| 672 | 3155k| 1.9 |9393k| 28 | - | 94 | 11k| 94 | 14 | 27 | 843k|2426 | 0.000000e+00 | 1.000000e+00 | Inf
1741.41/1741.91 c 1628s| 1660k| 166 | 3171k| 1.9 |8409k| 28 | 4 | 94 | 11k| 94 | 14 | 27 | 850k|2426 | 0.000000e+00 | 1.000000e+00 | Inf
1754.71/1755.29 c 1640s| 1670k| 31 | 3188k| 1.9 |8332k| 28 | 4 | 94 | 12k| 94 | 14 | 27 | 857k|2426 | 0.000000e+00 | 1.000000e+00 | Inf
1757.11/1757.62 c
1757.11/1757.62 c SCIP Status : problem is solved [optimal solution found]
1757.11/1757.62 c Solving Time (sec) : 1642.56
1757.11/1757.62 c Solving Nodes : 1671694
1757.11/1757.62 c Primal Bound : +1.00000000000000e+00 (43 solutions)
1757.11/1757.62 c Dual Bound : +1.00000000000000e+00
1757.11/1757.62 c Gap : 0.00 %
1757.11/1757.62 s OPTIMUM FOUND
1757.11/1757.62 v x94 -x75 x93 x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 x84 x83 -x82 x81 x80 x79 x78 x77 -x76 x74 x73 -x72 x71 -x70 -x69 -x68 x67 x66
1757.11/1757.62 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41
1757.11/1757.62 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16
1757.11/1757.62 v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1757.11/1757.62 c SCIP Status : problem is solved [optimal solution found]
1757.11/1757.62 c Solving Time : 1642.56
1757.11/1757.62 c Original Problem :
1757.11/1757.62 c Problem name : HOME/instance-2665671-1276617480.opb
1757.11/1757.62 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
1757.11/1757.62 c Constraints : 8 initial, 8 maximal
1757.11/1757.62 c Presolved Problem :
1757.11/1757.62 c Problem name : t_HOME/instance-2665671-1276617480.opb
1757.11/1757.62 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
1757.11/1757.62 c Constraints : 4 initial, 17112 maximal
1757.11/1757.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1757.11/1757.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1757.11/1757.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1757.11/1757.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1757.11/1757.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1757.11/1757.62 c implics : 0.00 0 0 0 0 0 0 0 0
1757.11/1757.62 c probing : 0.00 0 0 0 0 0 0 0 0
1757.11/1757.62 c linear : 0.01 0 0 0 0 0 4 0 0
1757.11/1757.62 c logicor : 0.00 0 0 0 0 0 0 0 0
1757.11/1757.62 c root node : - 66 - - 66 - - - -
1757.11/1757.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1757.11/1757.62 c integral : 0 0 0 922273 0 182 982 0 0 1842190
1757.11/1757.62 c linear : 4+ 7 3636480 0 0 511396 2802339 0 0 0
1757.11/1757.62 c logicor : 0+ 0 2017737 0 0 25865 808339 0 0 0
1757.11/1757.62 c countsols : 0 0 0 23 0 0 0 0 0 0
1757.11/1757.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1757.11/1757.62 c integral : 12.29 0.00 0.00 12.29 0.00
1757.11/1757.62 c linear : 179.98 0.00 179.98 0.00 0.00
1757.11/1757.62 c logicor : 535.46 0.00 535.46 0.00 0.00
1757.11/1757.62 c countsols : 0.00 0.00 0.00 0.00 0.00
1757.11/1757.62 c Propagators : Time Calls Cutoffs DomReds
1757.11/1757.62 c vbounds : 1.89 2 0 0
1757.11/1757.62 c rootredcost : 1.70 43 0 64
1757.11/1757.62 c pseudoobj : 17.29 3640453 4142 57286
1757.11/1757.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1757.11/1757.62 c propagation : 23.67 541403 344003 793157 21.3 96 19.9 -
1757.11/1757.62 c infeasible LP : 19.86 304801 304209 507758 14.0 2727 18.0 0
1757.11/1757.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1757.11/1757.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1757.11/1757.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1757.11/1757.62 c applied globally : - - - 858125 16.7 - - -
1757.11/1757.62 c applied locally : - - - 274 31.9 - - -
1757.11/1757.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1757.11/1757.62 c cut pool : 0.00 5 - - 19 - (maximal pool size: 87)
1757.11/1757.62 c redcost : 5.44 942510 0 297276 0 0
1757.11/1757.62 c impliedbounds : 0.00 6 0 0 0 0
1757.11/1757.62 c intobj : 0.00 0 0 0 0 0
1757.11/1757.62 c cgmip : 0.00 0 0 0 0 0
1757.11/1757.62 c gomory : 0.02 6 0 0 0 0
1757.11/1757.62 c strongcg : 0.00 6 0 0 24 0
1757.11/1757.62 c cmir : 0.03 6 0 0 34 0
1757.11/1757.62 c flowcover : 0.01 6 0 0 55 0
1757.11/1757.62 c clique : 0.00 1 0 0 0 0
1757.11/1757.62 c zerohalf : 0.00 0 0 0 0 0
1757.11/1757.62 c mcf : 0.00 1 0 0 0 0
1757.11/1757.62 c rapidlearning : 0.06 1 0 0 0 73
1757.11/1757.62 c Pricers : Time Calls Vars
1757.11/1757.62 c problem variables: 0.00 0 0
1757.11/1757.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1757.11/1757.62 c relpscost : 11.00 922250 182 982 0 0 1842190
1757.11/1757.62 c pscost : 0.00 0 0 0 0 0 0
1757.11/1757.62 c inference : 0.00 0 0 0 0 0 0
1757.11/1757.62 c mostinf : 0.00 0 0 0 0 0 0
1757.11/1757.62 c leastinf : 0.00 0 0 0 0 0 0
1757.11/1757.62 c fullstrong : 0.00 0 0 0 0 0 0
1757.11/1757.62 c allfullstrong : 0.00 0 0 0 0 0 0
1757.11/1757.62 c random : 0.00 0 0 0 0 0 0
1757.11/1757.62 c Primal Heuristics : Time Calls Found
1757.11/1757.62 c LP solutions : 0.01 - 23
1757.11/1757.62 c pseudo solutions : 0.00 - 0
1757.11/1757.62 c feaspump : 0.25 1 0
1757.11/1757.62 c oneopt : 1.08 43 0
1757.11/1757.62 c linesearchdiving : 8.73 5250 0
1757.11/1757.62 c coefdiving : 9.03 5251 2
1757.11/1757.62 c pscostdiving : 8.71 5251 1
1757.11/1757.62 c guideddiving : 8.29 5251 5
1757.11/1757.62 c fracdiving : 8.41 5251 6
1757.11/1757.62 c veclendiving : 10.09 5251 4
1757.11/1757.62 c objpscostdiving : 1.89 2626 1
1757.11/1757.62 c rootsoldiving : 4.72 2626 0
1757.11/1757.62 c trivial : 0.00 2 0
1757.11/1757.62 c simplerounding : 0.92 0 0
1757.11/1757.62 c zirounding : 0.81 1000 0
1757.11/1757.62 c rounding : 1.00 13743 0
1757.11/1757.62 c shifting : 3.23 5597 0
1757.11/1757.62 c intshifting : 0.13 0 0
1757.11/1757.62 c twoopt : 0.00 0 0
1757.11/1757.62 c fixandinfer : 0.00 0 0
1757.11/1757.62 c intdiving : 0.00 0 0
1757.11/1757.62 c actconsdiving : 0.00 0 0
1757.11/1757.62 c octane : 0.00 0 0
1757.11/1757.62 c rens : 0.02 1 0
1757.11/1757.62 c rins : 0.00 0 0
1757.11/1757.62 c localbranching : 0.00 0 0
1757.11/1757.62 c mutation : 0.00 0 0
1757.11/1757.62 c crossover : 0.01 0 0
1757.11/1757.62 c dins : 0.00 0 0
1757.11/1757.62 c undercover : 0.00 0 0
1757.11/1757.62 c nlp : 0.79 0 0
1757.11/1757.62 c trysol : 1.20 0 0
1757.11/1757.62 c LP : Time Calls Iterations Iter/call Iter/sec
1757.11/1757.62 c primal LP : 0.00 0 0 0.00 -
1757.11/1757.62 c dual LP : 221.80 1315505 3040132 2.31 13706.64
1757.11/1757.62 c lex dual LP : 0.00 0 0 0.00 -
1757.11/1757.62 c barrier LP : 0.00 0 0 0.00 -
1757.11/1757.62 c diving/probing LP: 13.28 80846 150935 1.87 11365.59
1757.11/1757.62 c strong branching : 0.60 2426 9906 4.08 16510.00
1757.11/1757.62 c (at root node) : - 9 269 29.89 -
1757.11/1757.62 c conflict analysis: 0.00 0 0 0.00 -
1757.11/1757.62 c B&B Tree :
1757.11/1757.62 c number of runs : 1
1757.11/1757.62 c nodes : 1671694
1757.11/1757.62 c nodes (total) : 1671694
1757.11/1757.62 c nodes left : 0
1757.11/1757.62 c max depth : 28
1757.11/1757.62 c max depth (total): 28
1757.11/1757.62 c backtracks : 545542 (32.6%)
1757.11/1757.62 c delayed cutoffs : 170041
1757.11/1757.62 c repropagations : 926614 (1375225 domain reductions, 148506 cutoffs)
1757.11/1757.62 c avg switch length: 4.77
1757.11/1757.62 c switching time : 381.67
1757.11/1757.62 c Solution :
1757.11/1757.62 c Solutions found : 43 (43 improvements)
1757.11/1757.62 c First Solution : +6.77000000000000e+02 (in run 1, after 1 nodes, 0.07 seconds, depth 0, found by <trysol>)
1757.11/1757.62 c Primal Bound : +1.00000000000000e+00 (in run 1, after 531932 nodes, 194.71 seconds, depth 22, found by <relaxation>)
1757.11/1757.62 c Dual Bound : +1.00000000000000e+00
1757.11/1757.62 c Gap : 0.00 %
1757.11/1757.62 c Root Dual Bound : +0.00000000000000e+00
1757.11/1757.62 c Root Iterations : 86
1757.11/1757.65 c Time complete: 1757.16.
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665671-1276617480/watcher-2665671-1276617480 -o /tmp/evaluation-result-2665671-1276617480/solver-2665671-1276617480 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665671-1276617480.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.06 1.05 1.00 3/105 12002 /proc/meminfo: memFree=1758528/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=9288 CPUtime=0 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 1127 0 0 0 0 0 0 0 25 0 1 0 3041584 9510912 1048 1992294400 4194304 9819077 140734136043760 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12002/statm: 2322 1057 371 1374 0 943 0 [startup+0.0148969 s] /proc/loadavg: 1.06 1.05 1.00 3/105 12002 /proc/meminfo: memFree=1758528/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=11332 CPUtime=0 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 2159 0 0 0 0 0 0 0 25 0 1 0 3041584 11603968 1727 1992294400 4194304 9819077 140734136043760 18446744073709551615 8656455 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 2833 1730 429 1374 0 1454 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11332 [startup+0.101906 s] /proc/loadavg: 1.06 1.05 1.00 3/105 12002 /proc/meminfo: memFree=1758528/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=22052 CPUtime=0.09 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 4842 0 0 0 7 2 0 0 25 0 1 0 3041584 22581248 3886 1992294400 4194304 9819077 140734136043760 18446744073709551615 8656455 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 5513 3888 673 1374 0 4134 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22052 [startup+0.301927 s] /proc/loadavg: 1.06 1.05 1.00 3/105 12002 /proc/meminfo: memFree=1758528/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=16912 CPUtime=0.3 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 11441 0 0 0 23 7 0 0 25 0 1 0 3041584 17317888 2751 1992294400 4194304 9819077 140734136043760 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 4228 2751 722 1374 0 2849 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 16912 [startup+0.701971 s] /proc/loadavg: 1.06 1.05 1.00 3/105 12002 /proc/meminfo: memFree=1758528/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=15956 CPUtime=0.69 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 19242 0 0 0 55 14 0 0 25 0 1 0 3041584 16338944 2748 1992294400 4194304 9819077 140734136043760 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 4228 2753 724 1374 0 2849 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15956 [startup+1.50106 s] /proc/loadavg: 1.06 1.05 1.00 2/106 12003 /proc/meminfo: memFree=1749716/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=16536 CPUtime=1.49 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 28041 0 0 0 124 25 0 0 25 0 1 0 3041584 16932864 2838 1992294400 4194304 9819077 140734136043760 18446744073709551615 4947099 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 4134 2838 725 1374 0 2755 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16536 [startup+3.10124 s] /proc/loadavg: 1.06 1.05 1.00 2/106 12003 /proc/meminfo: memFree=1749344/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=17660 CPUtime=3.09 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 47758 0 0 0 258 51 0 0 25 0 1 0 3041584 18083840 3107 1992294400 4194304 9819077 140734136043760 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 4415 3107 725 1374 0 3036 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17660 [startup+6.30159 s] /proc/loadavg: 1.06 1.05 1.00 2/106 12003 /proc/meminfo: memFree=1747608/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=18628 CPUtime=6.29 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 88093 0 0 0 530 99 0 0 25 0 1 0 3041584 19075072 3333 1992294400 4194304 9819077 140734136043760 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 4657 3333 725 1374 0 3278 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18628 [startup+12.7013 s] /proc/loadavg: 1.05 1.05 1.00 2/106 12003 /proc/meminfo: memFree=1745376/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=20780 CPUtime=12.68 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 162828 0 0 0 1075 193 0 0 25 0 1 0 3041584 21278720 3878 1992294400 4194304 9819077 140734136043760 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 5195 3878 725 1374 0 3816 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 20780 [startup+25.5017 s] /proc/loadavg: 1.04 1.05 1.00 2/106 12003 /proc/meminfo: memFree=1744508/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=21868 CPUtime=25.49 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 290263 0 0 0 2186 363 0 0 25 0 1 0 3041584 22392832 4131 1992294400 4194304 9819077 140734136043760 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 5467 4131 725 1374 0 4088 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21868 [startup+51.1015 s] /proc/loadavg: 1.02 1.04 1.00 2/106 12003 /proc/meminfo: memFree=1744384/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=21868 CPUtime=51.08 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 582148 0 0 0 4367 741 0 0 25 0 1 0 3041584 22392832 4131 1992294400 4194304 9819077 140734136043760 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 5467 4131 725 1374 0 4088 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 21868 [startup+102.309 s] /proc/loadavg: 1.01 1.03 1.00 2/106 12005 /proc/meminfo: memFree=1744012/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=22140 CPUtime=102.27 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 1169855 0 0 0 8729 1498 0 0 25 0 1 0 3041584 22671360 4197 1992294400 4194304 9819077 140734136043760 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 5535 4197 725 1374 0 4156 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 22140 [startup+162.302 s] /proc/loadavg: 1.00 1.02 1.00 2/106 12007 /proc/meminfo: memFree=1743764/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=22140 CPUtime=162.25 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 1886974 0 0 0 13804 2421 0 0 25 0 1 0 3041584 22671360 4202 1992294400 4194304 9819077 140734136043760 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 5535 4202 725 1374 0 4156 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 22140 [startup+222.301 s] /proc/loadavg: 1.00 1.02 1.00 2/106 12018 /proc/meminfo: memFree=1743268/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=22140 CPUtime=222.22 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 2627298 0 0 0 18830 3392 0 0 25 0 1 0 3041584 22671360 4202 1992294400 4194304 9819077 140734136043760 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 5336 4198 725 1374 0 3957 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 22140 [startup+282.302 s] /proc/loadavg: 1.00 1.01 1.00 2/106 12020 /proc/meminfo: memFree=1739796/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=26424 CPUtime=282.21 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 2992897 0 0 0 24259 3962 0 0 25 0 1 0 3041584 27058176 5184 1992294400 4194304 9819077 140734136043760 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 6606 5184 725 1374 0 5227 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 26424 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/106 12020 /proc/meminfo: memFree=1738556/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=27712 CPUtime=342.18 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 3269317 0 0 0 29808 4410 0 0 25 0 1 0 3041584 28377088 5479 1992294400 4194304 9819077 140734136043760 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 6928 5479 725 1374 0 5549 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 27712 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12022 /proc/meminfo: memFree=1735828/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=30336 CPUtime=402.17 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 3393261 0 0 0 35531 4686 0 0 25 0 1 0 3041584 31064064 6147 1992294400 4194304 9819077 140734136043760 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 7584 6147 725 1374 0 6205 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 30336 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12024 /proc/meminfo: memFree=1734340/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=32120 CPUtime=462.15 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 3491547 0 0 0 41277 4938 0 0 25 0 1 0 3041584 32890880 6521 1992294400 4194304 9819077 140734136043760 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 8030 6521 725 1374 0 6651 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 32120 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12026 /proc/meminfo: memFree=1733968/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=32404 CPUtime=522.14 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 3668561 0 0 0 46919 5295 0 0 25 0 1 0 3041584 33181696 6577 1992294400 4194304 9819077 140734136043760 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 8101 6577 725 1374 0 6722 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 32404 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12028 /proc/meminfo: memFree=1733968/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=32404 CPUtime=582.13 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 3825594 0 0 0 52601 5612 0 0 25 0 1 0 3041584 33181696 6582 1992294400 4194304 9819077 140734136043760 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 8101 6582 725 1374 0 6722 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 32404 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12028 /proc/meminfo: memFree=1733720/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=32800 CPUtime=642.11 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 3977885 0 0 0 58293 5918 0 0 25 0 1 0 3041584 33587200 6621 1992294400 4194304 9819077 140734136043760 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 8200 6621 725 1374 0 6821 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 32800 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1731736/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=34388 CPUtime=1121.98 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 5216067 0 0 0 103810 8388 0 0 25 0 1 0 3041584 35213312 6983 1992294400 4194304 9819077 140734136043760 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 8597 6983 725 1374 0 7218 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 34388 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12044 /proc/meminfo: memFree=1730620/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=35200 CPUtime=1181.96 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 5331938 0 0 0 109552 8644 0 0 25 0 1 0 3041584 36044800 7221 1992294400 4194304 9819077 140734136043760 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 8919 7223 725 1374 0 7540 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 35200 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12044 /proc/meminfo: memFree=1730248/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=35836 CPUtime=1241.95 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 5428573 0 0 0 115319 8876 0 0 25 0 1 0 3041584 36696064 7256 1992294400 4194304 9819077 140734136043760 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 8959 7256 725 1374 0 7580 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 35836 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12046 /proc/meminfo: memFree=1730124/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=35836 CPUtime=1301.94 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 5563048 0 0 0 121009 9185 0 0 25 0 1 0 3041584 36696064 7256 1992294400 4194304 9819077 140734136043760 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 8959 7256 725 1374 0 7580 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 35836 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12048 /proc/meminfo: memFree=1729752/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=36520 CPUtime=1361.91 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 5679562 0 0 0 126728 9463 0 0 25 0 1 0 3041584 37396480 7343 1992294400 4194304 9819077 140734136043760 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 9130 7343 725 1374 0 7751 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 36520 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12050 /proc/meminfo: memFree=1729752/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=36520 CPUtime=1421.91 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 5818307 0 0 0 132403 9788 0 0 25 0 1 0 3041584 37396480 7344 1992294400 4194304 9819077 140734136043760 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 9130 7344 725 1374 0 7751 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 36520 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12052 /proc/meminfo: memFree=1729628/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=36520 CPUtime=1481.88 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 5949104 0 0 0 138083 10105 0 0 25 0 1 0 3041584 37396480 7344 1992294400 4194304 9819077 140734136043760 18446744073709551615 6122208 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 9130 7344 725 1374 0 7751 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 36520 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12052 /proc/meminfo: memFree=1729628/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=36520 CPUtime=1541.87 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 6076046 0 0 0 143782 10405 0 0 25 0 1 0 3041584 37396480 7344 1992294400 4194304 9819077 140734136043760 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 9130 7344 725 1374 0 7751 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 36520 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12054 /proc/meminfo: memFree=1729628/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=36520 CPUtime=1601.85 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 6191759 0 0 0 149496 10689 0 0 25 0 1 0 3041584 37396480 7344 1992294400 4194304 9819077 140734136043760 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 9130 7344 725 1374 0 7751 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 36520 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12056 /proc/meminfo: memFree=1729504/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=36648 CPUtime=1661.84 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 6314238 0 0 0 155209 10975 0 0 25 0 1 0 3041584 37527552 7345 1992294400 4194304 9819077 140734136043760 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 9162 7345 725 1374 0 7783 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 36648 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12058 /proc/meminfo: memFree=1729380/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=36648 CPUtime=1721.82 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 6443458 0 0 0 160895 11287 0 0 25 0 1 0 3041584 37527552 7349 1992294400 4194304 9819077 140734136043760 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 9162 7349 725 1374 0 7783 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 36648 Solver just ended. Dumping a history of the last processes samples [startup+1740.7 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12058 /proc/meminfo: memFree=1729380/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=36648 CPUtime=1740.21 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 6479761 0 0 0 162643 11378 0 0 25 0 1 0 3041584 37527552 7349 1992294400 4194304 9819077 140734136043760 18446744073709551615 5927107 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 9162 7349 725 1374 0 7783 0 Current children cumulated CPU time (s) 1740.21 Current children cumulated vsize (KiB) 36648 [startup+1747.1 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12058 /proc/meminfo: memFree=1729380/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=36648 CPUtime=1746.61 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 6493264 0 0 0 163254 11407 0 0 25 0 1 0 3041584 37527552 7349 1992294400 4194304 9819077 140734136043760 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 9162 7349 725 1374 0 7783 0 Current children cumulated CPU time (s) 1746.61 Current children cumulated vsize (KiB) 36648 [startup+1753.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12058 /proc/meminfo: memFree=1729380/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=36648 CPUtime=1753.01 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 6505624 0 0 0 163865 11436 0 0 25 0 1 0 3041584 37527552 7349 1992294400 4194304 9819077 140734136043760 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 9162 7349 725 1374 0 7783 0 Current children cumulated CPU time (s) 1753.01 Current children cumulated vsize (KiB) 36648 [startup+1755.1 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12058 /proc/meminfo: memFree=1729256/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=36648 CPUtime=1754.62 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 6508594 0 0 0 164018 11444 0 0 25 0 1 0 3041584 37527552 7349 1992294400 4194304 9819077 140734136043760 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 9162 7349 725 1374 0 7783 0 Current children cumulated CPU time (s) 1754.62 Current children cumulated vsize (KiB) 36648 [startup+1756.71 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12058 /proc/meminfo: memFree=1729256/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=36648 CPUtime=1756.22 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 6512014 0 0 0 164170 11452 0 0 25 0 1 0 3041584 37527552 7349 1992294400 4194304 9819077 140734136043760 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 9162 7349 725 1374 0 7783 0 Current children cumulated CPU time (s) 1756.22 Current children cumulated vsize (KiB) 36648 [startup+1757.1 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12058 /proc/meminfo: memFree=1729256/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=36648 CPUtime=1756.61 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 6512755 0 0 0 164207 11454 0 0 25 0 1 0 3041584 37527552 7349 1992294400 4194304 9819077 140734136043760 18446744073709551615 8675198 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 9162 7349 725 1374 0 7783 0 Current children cumulated CPU time (s) 1756.61 Current children cumulated vsize (KiB) 36648 [startup+1757.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12058 /proc/meminfo: memFree=1729256/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=36648 CPUtime=1757.01 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 6513646 0 0 0 164245 11456 0 0 25 0 1 0 3041584 37527552 7349 1992294400 4194304 9819077 140734136043760 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 9162 7349 725 1374 0 7783 0 Current children cumulated CPU time (s) 1757.01 Current children cumulated vsize (KiB) 36648 [startup+1757.6 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12058 /proc/meminfo: memFree=1729256/2059040 swapFree=4192956/4192956 [pid=12002] ppid=12000 vsize=36648 CPUtime=1757.11 /proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 6513841 0 0 0 164254 11457 0 0 25 0 1 0 3041584 37527552 7349 1992294400 4194304 9819077 140734136043760 18446744073709551615 4219803 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12002/statm: 9162 7349 725 1374 0 7783 0 Current children cumulated CPU time (s) 1757.11 Current children cumulated vsize (KiB) 36648 Child status: 0 Real time (s): 1757.66 CPU time (s): 1757.18 CPU user time (s): 1642.6 CPU system time (s): 114.581 CPU usage (%): 99.9727 Max. virtual memory (cumulated for all children) (KiB): 36652 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1642.6 system time used= 114.581 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6513861 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= 2632 runsolver used 3.01454 second user time and 8.20075 second system time The end
Begin job on node087 at 2010-06-15 17:58:00 IDJOB=2665671 IDBENCH=2928 IDSOLVER=1168 FILE ID=node087/2665671-1276617480 PBS_JOBID= 11172302 Free space on /tmp= 62556 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_4.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665671-1276617480/watcher-2665671-1276617480 -o /tmp/evaluation-result-2665671-1276617480/solver-2665671-1276617480 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665671-1276617480.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1757d8d914b8f8f6b2c05049538ae81a RANDOM SEED=1067574832 node087.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.213 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.42 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.213 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 : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1759056 kB Buffers: 33796 kB Cached: 130892 kB SwapCached: 0 kB Active: 109452 kB Inactive: 115120 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1759056 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6212 kB Writeback: 0 kB AnonPages: 59936 kB Mapped: 15736 kB Slab: 53848 kB PageTables: 4028 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180644 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= 62548 MiB End job on node087 at 2010-06-15 18:27:18