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 | SAT (TO) | 28 | 1802.11 | 1802.67 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_4.opb |
| MD5SUM | 87341d3e4752b9f90faef0f8d9385430 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 26 |
| Best CPU time to get the best result obtained on this benchmark | 1793.29 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 44 |
| Optimality of the best value was proved | NO |
| Number of variables | 198 |
| Total number of constraints | 16 |
| 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 | 16 |
| Minimum length of a constraint | 84 |
| Maximum length of a constraint | 86 |
| Number of terms in the objective function | 128 |
| 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 | 4080 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1881 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 6154 |
| Number of bits of the biggest sum of numbers | 13 |
| 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-2665667-1276601339.opb>
0.00/0.01 c original problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 16 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.02 c (round 1) 0 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.04 c (0.0s) probing: 101/198 (51.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (2 rounds):
0.00/0.04 c 0 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 0 implications, 0 cliques
0.00/0.04 c presolved problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.04 c 8 constraints of type <linear>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.01
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 1.2.1.2
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1800
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 1620
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.04 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.04 c 0.0s| 1 | 0 | 40 | - | 633k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 o 1242
0.09/0.18 c y 0.1s| 1 | 0 | 40 | - | 692k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | 1.242000e+03 | Inf
0.09/0.19 c 0.2s| 1 | 0 | 44 | - | 780k| 0 | 12 | 198 | 45 | 198 | 15 | 7 | 0 | 0 | 0.000000e+00 | 1.242000e+03 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 47 | - | 858k| 0 | 14 | 198 | 45 | 198 | 20 | 12 | 0 | 0 | 0.000000e+00 | 1.242000e+03 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 78 | - | 936k| 0 | 17 | 198 | 45 | 198 | 23 | 15 | 0 | 0 | 0.000000e+00 | 1.242000e+03 | Inf
0.19/0.26 c 0.2s| 1 | 0 | 83 | - | 950k| 0 | 20 | 198 | 45 | 198 | 25 | 17 | 0 | 0 | 0.000000e+00 | 1.242000e+03 | Inf
0.19/0.29 c 0.3s| 1 | 0 | 88 | - | 963k| 0 | 21 | 198 | 45 | 198 | 27 | 19 | 0 | 0 | 0.000000e+00 | 1.242000e+03 | Inf
0.29/0.31 c 0.3s| 1 | 0 | 94 | - | 972k| 0 | 22 | 198 | 45 | 198 | 28 | 20 | 0 | 0 | 0.000000e+00 | 1.242000e+03 | Inf
0.39/0.46 c 0.4s| 1 | 2 | 94 | - | 973k| 0 | 22 | 198 | 45 | 198 | 28 | 20 | 0 | 9 | 0.000000e+00 | 1.242000e+03 | Inf
0.89/0.90 o 579
0.89/0.90 c f 0.8s| 84 | 85 | 719 | 7.5 |1099k| 55 | - | 198 | 45 | 198 | 23 | 20 | 5 | 367 | 0.000000e+00 | 5.790000e+02 | Inf
1.19/1.27 o 367
1.19/1.27 c p 1.1s| 289 | 288 | 1966 | 6.5 |1203k| 55 | - | 198 | 45 | 198 | 23 | 20 | 9 | 583 | 0.000000e+00 | 3.670000e+02 | Inf
1.29/1.32 o 261
1.29/1.32 c f 1.1s| 315 | 304 | 2110 | 6.4 |1221k| 55 | - | 198 | 45 | 198 | 23 | 20 | 9 | 598 | 0.000000e+00 | 2.610000e+02 | Inf
2.09/2.10 o 259
2.09/2.10 c * 1.8s| 860 | 825 | 5652 | 6.5 |1447k| 55 | - | 198 | 46 | 198 | 23 | 20 | 26 | 760 | 0.000000e+00 | 2.590000e+02 | Inf
3.09/3.11 o 231
3.09/3.11 c C 2.7s| 1460 | 1420 | 9431 | 6.4 |1693k| 55 | 8 | 198 | 46 | 198 | 23 | 20 | 42 | 794 | 0.000000e+00 | 2.310000e+02 | Inf
4.89/4.99 o 201
4.89/4.99 c f 4.4s| 2845 | 2787 | 18905 | 6.6 |2317k| 58 | - | 198 | 46 | 198 | 23 | 20 | 88 | 882 | 0.000000e+00 | 2.010000e+02 | Inf
6.98/7.04 o 200
6.98/7.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.98/7.04 c * 6.2s| 4245 | 4173 | 29698 | 7.0 |2956k| 58 | - | 198 | 46 | 198 | 23 | 20 | 147 | 889 | 0.000000e+00 | 2.000000e+02 | Inf
10.19/10.24 o 153
10.19/10.24 c f 9.1s| 6196 | 6078 | 45519 | 7.3 |3817k| 58 | - | 198 | 12 | 198 | 23 | 20 | 263 | 894 | 0.000000e+00 | 1.530000e+02 | Inf
14.09/14.11 o 111
14.09/14.11 c f12.5s| 9369 | 8938 | 64016 | 6.8 |5107k| 58 | - | 198 | 12 | 198 | 23 | 20 | 357 | 963 | 0.000000e+00 | 1.110000e+02 | Inf
15.39/15.42 c 13.7s| 10000 | 9561 | 68128 | 6.8 |5320k| 58 | 8 | 198 | 9 | 198 | 23 | 20 | 384 | 979 | 0.000000e+00 | 1.110000e+02 | Inf
26.69/26.77 c 23.9s| 20000 | 19419 |131352 | 6.6 |9495k| 58 | 8 | 198 | 8 | 198 | 23 | 20 | 600 |1455 | 0.000000e+00 | 1.110000e+02 | Inf
37.58/37.61 o 81
37.58/37.61 c c33.6s| 29414 | 28133 |195678 | 6.6 | 13M| 58 | - | 198 | 9 | 198 | 23 | 20 | 816 |1910 | 0.000000e+00 | 8.100000e+01 | Inf
38.97/39.05 c 34.8s| 30000 | 28635 |202698 | 6.8 | 13M| 58 | 8 | 198 | 9 | 198 | 23 | 20 | 854 |1932 | 0.000000e+00 | 8.100000e+01 | Inf
51.76/51.80 c 46.2s| 40000 | 37663 |279071 | 7.0 | 18M| 58 | 8 | 198 | 9 | 198 | 23 | 20 |1175 |2447 | 0.000000e+00 | 8.100000e+01 | Inf
51.87/51.97 o 80
51.87/51.97 c f46.4s| 40124 | 37693 |280084 | 7.0 | 18M| 58 | - | 198 | 9 | 198 | 23 | 20 |1180 |2461 | 0.000000e+00 | 8.000000e+01 | Inf
63.96/64.08 c 57.2s| 50000 | 46297 |353821 | 7.1 | 23M| 58 | 8 | 198 | 20 | 198 | 23 | 20 |1471 |2961 | 0.000000e+00 | 8.000000e+01 | Inf
75.66/75.71 c 67.6s| 60000 | 54901 |423174 | 7.1 | 28M| 58 | 8 | 198 | 37 | 198 | 23 | 20 |1737 |3452 | 0.000000e+00 | 8.000000e+01 | Inf
86.16/86.29 o 79
86.16/86.29 c *77.1s| 69672 | 63208 |481352 | 6.9 | 33M| 58 | - | 198 | 45 | 198 | 23 | 20 |1968 |3777 | 0.000000e+00 | 7.900000e+01 | Inf
86.56/86.62 c 77.4s| 70000 | 63498 |483021 | 6.9 | 33M| 58 | 8 | 198 | 45 | 198 | 23 | 20 |1975 |3783 | 0.000000e+00 | 7.900000e+01 | Inf
97.55/97.61 c 87.2s| 80000 | 72036 |543634 | 6.8 | 38M| 59 | 8 | 198 | 40 | 198 | 23 | 20 |2253 |4140 | 0.000000e+00 | 7.900000e+01 | Inf
107.66/107.71 o 78
107.66/107.71 c f96.2s| 89344 | 79830 |599646 | 6.7 | 43M| 59 | - | 198 | 36 | 198 | 23 | 20 |2515 |4443 | 0.000000e+00 | 7.800000e+01 | Inf
108.65/108.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
108.65/108.80 c 97.2s| 90000 | 80396 |604947 | 6.7 | 43M| 59 | 8 | 198 | 36 | 198 | 23 | 20 |2553 |4450 | 0.000000e+00 | 7.800000e+01 | Inf
112.95/113.05 o 76
112.95/113.05 c * 101s| 93798 | 83269 |628328 | 6.7 | 45M| 59 | - | 198 | 35 | 198 | 23 | 20 |2666 |4564 | 0.000000e+00 | 7.600000e+01 | Inf
119.86/119.91 c 107s|100000 | 88377 |666069 | 6.7 | 48M| 61 | 8 | 198 | 29 | 198 | 23 | 20 |2872 |4747 | 0.000000e+00 | 7.600000e+01 | Inf
130.64/130.73 c 117s|110000 | 96002 |726531 | 6.6 | 53M| 61 | 8 | 198 | 25 | 198 | 23 | 20 |3206 |5063 | 0.000000e+00 | 7.600000e+01 | Inf
141.04/141.15 c 126s|120000 |103929 |785382 | 6.5 | 58M| 61 | 8 | 198 | 23 | 198 | 23 | 20 |3437 |5312 | 0.000000e+00 | 7.600000e+01 | Inf
142.14/142.28 o 75
142.14/142.28 c * 127s|121050 |104498 |792084 | 6.5 | 58M| 61 | - | 198 | 22 | 198 | 23 | 20 |3481 |5332 | 0.000000e+00 | 7.500000e+01 | Inf
151.93/152.00 c 136s|130000 |110928 |846637 | 6.5 | 63M| 61 | 8 | 198 | 18 | 198 | 23 | 20 |3805 |5529 | 0.000000e+00 | 7.500000e+01 | Inf
162.83/162.92 c 146s|140000 |118026 |910624 | 6.5 | 68M| 61 | 8 | 198 | 13 | 198 | 23 | 20 |4132 |5745 | 0.000000e+00 | 7.500000e+01 | Inf
173.53/173.68 c 155s|150000 |125421 |972690 | 6.5 | 73M| 61 | 8 | 198 | 12 | 198 | 23 | 20 |4469 |5954 | 0.000000e+00 | 7.500000e+01 | Inf
184.43/184.57 c 165s|160000 |132716 | 1035k| 6.5 | 78M| 61 | 8 | 198 | 12 | 198 | 23 | 20 |4835 |6177 | 0.000000e+00 | 7.500000e+01 | Inf
195.83/195.99 c 175s|170000 |139973 | 1107k| 6.5 | 83M| 62 | 8 | 198 | 9 | 198 | 23 | 20 |5172 |6415 | 0.000000e+00 | 7.500000e+01 | Inf
202.32/202.41 o 73
202.32/202.41 c p 181s|175534 |143428 | 1149k| 6.5 | 85M| 62 | - | 198 | 9 | 198 | 23 | 20 |5378 |6532 | 0.000000e+00 | 7.300000e+01 | Inf
207.83/207.94 c 186s|180000 |146547 | 1184k| 6.6 | 87M| 63 | 8 | 198 | 9 | 198 | 23 | 20 |5622 |6623 | 0.000000e+00 | 7.300000e+01 | Inf
219.71/219.83 c 197s|190000 |153836 | 1259k| 6.6 | 92M| 63 | 8 | 198 | 10 | 198 | 23 | 20 |6007 |6843 | 0.000000e+00 | 7.300000e+01 | Inf
231.01/231.19 c 207s|200000 |161671 | 1331k| 6.7 | 97M| 63 | 8 | 198 | 8 | 198 | 23 | 20 |6362 |7048 | 0.000000e+00 | 7.300000e+01 | Inf
242.31/242.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
242.31/242.45 c 217s|210000 |169244 | 1403k| 6.7 | 103M| 63 | 8 | 198 | 8 | 198 | 23 | 20 |6691 |7244 | 0.000000e+00 | 7.300000e+01 | Inf
252.91/253.02 c 226s|220000 |176969 | 1464k| 6.7 | 108M| 63 | 8 | 198 | 8 | 198 | 23 | 20 |7031 |7394 | 0.000000e+00 | 7.300000e+01 | Inf
263.50/263.68 c 236s|230000 |184335 | 1526k| 6.6 | 113M| 63 | 8 | 198 | 8 | 198 | 23 | 20 |7390 |7562 | 0.000000e+00 | 7.300000e+01 | Inf
274.20/274.35 c 245s|240000 |191951 | 1588k| 6.6 | 118M| 63 | 8 | 198 | 9 | 198 | 23 | 20 |7730 |7717 | 0.000000e+00 | 7.300000e+01 | Inf
284.90/285.04 c 255s|250000 |199618 | 1651k| 6.6 | 124M| 63 | 8 | 198 | 8 | 198 | 23 | 20 |8033 |7876 | 0.000000e+00 | 7.300000e+01 | Inf
295.49/295.64 c 264s|260000 |207261 | 1712k| 6.6 | 129M| 63 | 8 | 198 | 8 | 198 | 23 | 20 |8349 |8025 | 0.000000e+00 | 7.300000e+01 | Inf
306.09/306.27 c 274s|270000 |215168 | 1774k| 6.6 | 134M| 63 | 8 | 198 | 9 | 198 | 23 | 20 |8623 |8164 | 0.000000e+00 | 7.300000e+01 | Inf
306.59/306.75 o 72
306.59/306.75 c * 274s|270441 |214802 | 1776k| 6.6 | 133M| 63 | - | 198 | 8 | 198 | 23 | 20 |8635 |8167 | 0.000000e+00 | 7.200000e+01 | Inf
316.78/316.96 c 284s|280000 |221902 | 1835k| 6.6 | 138M| 63 | 8 | 198 | 10 | 198 | 23 | 20 |8970 |8312 | 0.000000e+00 | 7.200000e+01 | Inf
327.38/327.59 c 293s|290000 |229439 | 1896k| 6.5 | 144M| 63 | - | 198 | 10 | 198 | 23 | 20 |9298 |8489 | 0.000000e+00 | 7.200000e+01 | Inf
337.59/337.74 o 70
337.59/337.74 c * 302s|299411 |235059 | 1954k| 6.5 | 147M| 63 | - | 198 | 8 | 198 | 23 | 20 |9672 |8626 | 0.000000e+00 | 7.000000e+01 | Inf
337.59/337.75 o 68
337.59/337.75 c * 302s|299412 |233439 | 1954k| 6.5 | 144M| 63 | - | 198 | 8 | 198 | 23 | 20 |9672 |8626 | 0.000000e+00 | 6.800000e+01 | Inf
338.18/338.38 c 303s|300000 |233908 | 1958k| 6.5 | 144M| 63 | 8 | 198 | 8 | 198 | 23 | 20 |9693 |8628 | 0.000000e+00 | 6.800000e+01 | Inf
344.09/344.23 o 67
344.09/344.23 c * 308s|302315 |234839 | 1972k| 6.5 | 145M| 63 | - | 198 | 9 | 198 | 23 | 20 |9767 |8656 | 0.000000e+00 | 6.700000e+01 | Inf
352.58/352.70 c 316s|310000 |239931 | 2020k| 6.5 | 149M| 63 | 8 | 198 | 8 | 198 | 23 | 20 | 10k|8773 | 0.000000e+00 | 6.700000e+01 | Inf
358.88/359.03 o 66
358.88/359.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
358.88/359.03 c * 321s|315889 |243016 | 2056k| 6.5 | 151M| 63 | - | 198 | 8 | 198 | 23 | 20 | 10k|8849 | 0.000000e+00 | 6.600000e+01 | Inf
358.97/359.10 o 64
358.97/359.10 c * 321s|315890 |217856 | 2056k| 6.5 | 126M| 63 | - | 198 | 8 | 198 | 23 | 20 | 10k|8849 | 0.000000e+00 | 6.400000e+01 | Inf
363.27/363.46 c 325s|320000 |220920 | 2081k| 6.5 | 127M| 63 | 8 | 198 | 36 | 198 | 23 | 20 | 10k|8934 | 0.000000e+00 | 6.400000e+01 | Inf
373.77/373.98 c 335s|330000 |228533 | 2142k| 6.5 | 132M| 63 | - | 198 | 60 | 0 | 0 | 20 | 10k|9081 | 0.000000e+00 | 6.400000e+01 | Inf
384.56/384.78 c 344s|340000 |236079 | 2205k| 6.5 | 137M| 63 | 8 | 198 | 68 | 198 | 23 | 20 | 11k|9206 | 0.000000e+00 | 6.400000e+01 | Inf
395.46/395.63 c 354s|350000 |243572 | 2268k| 6.5 | 142M| 63 | 8 | 198 | 72 | 198 | 23 | 20 | 11k|9355 | 0.000000e+00 | 6.400000e+01 | Inf
406.15/406.34 c 364s|360000 |251036 | 2331k| 6.5 | 146M| 63 | 8 | 198 | 73 | 198 | 23 | 20 | 11k|9483 | 0.000000e+00 | 6.400000e+01 | Inf
416.66/416.85 c 373s|370000 |258870 | 2391k| 6.5 | 151M| 63 | 8 | 198 | 68 | 198 | 23 | 20 | 12k|9595 | 0.000000e+00 | 6.400000e+01 | Inf
427.35/427.53 c 383s|380000 |266507 | 2453k| 6.5 | 156M| 63 | 8 | 198 | 75 | 198 | 23 | 20 | 12k|9696 | 0.000000e+00 | 6.400000e+01 | Inf
437.95/438.10 c 392s|390000 |274104 | 2515k| 6.5 | 160M| 63 | 8 | 198 | 75 | 198 | 23 | 20 | 13k|9780 | 0.000000e+00 | 6.400000e+01 | Inf
448.85/449.05 c 402s|400000 |281418 | 2581k| 6.5 | 165M| 63 | 8 | 198 | 74 | 198 | 23 | 20 | 13k|9872 | 0.000000e+00 | 6.400000e+01 | Inf
459.94/460.11 c 412s|410000 |288783 | 2648k| 6.5 | 170M| 63 | 8 | 198 | 72 | 198 | 23 | 20 | 13k|9962 | 0.000000e+00 | 6.400000e+01 | Inf
470.84/471.03 c 422s|420000 |296475 | 2713k| 6.5 | 175M| 63 | 8 | 198 | 69 | 198 | 23 | 20 | 14k| 10k| 0.000000e+00 | 6.400000e+01 | Inf
481.64/481.89 c 431s|430000 |303809 | 2778k| 6.5 | 179M| 63 | 8 | 198 | 70 | 198 | 23 | 20 | 14k| 10k| 0.000000e+00 | 6.400000e+01 | Inf
492.23/492.43 c 441s|440000 |311618 | 2839k| 6.5 | 184M| 63 | - | 198 | 70 | 198 | 23 | 20 | 15k| 10k| 0.000000e+00 | 6.400000e+01 | Inf
502.72/502.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
502.72/502.94 c 450s|450000 |319203 | 2901k| 6.4 | 188M| 63 | 8 | 198 | 73 | 198 | 23 | 20 | 15k| 10k| 0.000000e+00 | 6.400000e+01 | Inf
513.53/513.77 c 460s|460000 |326756 | 2964k| 6.4 | 193M| 63 | 8 | 198 | 74 | 198 | 23 | 20 | 15k| 10k| 0.000000e+00 | 6.400000e+01 | Inf
524.12/524.36 c 470s|470000 |334485 | 3026k| 6.4 | 198M| 63 | 8 | 198 | 74 | 198 | 23 | 20 | 16k| 10k| 0.000000e+00 | 6.400000e+01 | Inf
535.02/535.25 c 479s|480000 |341625 | 3091k| 6.4 | 203M| 63 | 8 | 198 | 74 | 198 | 23 | 20 | 16k| 10k| 0.000000e+00 | 6.400000e+01 | Inf
545.52/545.74 c 489s|490000 |349483 | 3152k| 6.4 | 207M| 63 | 8 | 198 | 75 | 198 | 23 | 20 | 17k| 10k| 0.000000e+00 | 6.400000e+01 | Inf
556.32/556.53 c 498s|500000 |356750 | 3217k| 6.4 | 212M| 63 | 8 | 198 | 75 | 198 | 23 | 20 | 17k| 10k| 0.000000e+00 | 6.400000e+01 | Inf
567.21/567.44 c 508s|510000 |364016 | 3281k| 6.4 | 217M| 63 | 8 | 198 | 74 | 198 | 23 | 20 | 17k| 10k| 0.000000e+00 | 6.400000e+01 | Inf
569.91/570.12 o 62
569.91/570.12 c * 511s|512523 |364262 | 3297k| 6.4 | 215M| 63 | - | 198 | 71 | 198 | 23 | 20 | 18k| 10k| 0.000000e+00 | 6.200000e+01 | Inf
569.91/570.15 o 60
569.91/570.15 c * 511s|512524 |362230 | 3297k| 6.4 | 212M| 63 | - | 198 | 71 | 198 | 23 | 20 | 18k| 10k| 0.000000e+00 | 6.000000e+01 | Inf
577.91/578.20 c 518s|520000 |367657 | 3344k| 6.4 | 215M| 63 | 8 | 198 | 25 | 198 | 23 | 20 | 18k| 10k| 0.000000e+00 | 6.000000e+01 | Inf
588.41/588.69 c 527s|530000 |374834 | 3407k| 6.4 | 220M| 63 | 8 | 198 | 11 | 198 | 23 | 20 | 18k| 10k| 0.000000e+00 | 6.000000e+01 | Inf
598.90/599.15 c 537s|540000 |381985 | 3469k| 6.4 | 224M| 63 | 8 | 198 | 9 | 198 | 23 | 20 | 19k| 11k| 0.000000e+00 | 6.000000e+01 | Inf
609.80/610.07 c 546s|550000 |389101 | 3534k| 6.4 | 229M| 63 | 8 | 198 | 9 | 198 | 23 | 20 | 19k| 11k| 0.000000e+00 | 6.000000e+01 | Inf
620.10/620.37 c 556s|560000 |396419 | 3595k| 6.4 | 233M| 63 | - | 198 | 9 | 0 | 0 | 20 | 19k| 11k| 0.000000e+00 | 6.000000e+01 | Inf
630.89/631.18 c 565s|570000 |403402 | 3661k| 6.4 | 238M| 63 | 8 | 198 | 8 | 198 | 23 | 20 | 20k| 11k| 0.000000e+00 | 6.000000e+01 | Inf
641.58/641.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
641.58/641.83 c 575s|580000 |410551 | 3726k| 6.4 | 242M| 63 | 8 | 198 | 10 | 198 | 23 | 20 | 20k| 11k| 0.000000e+00 | 6.000000e+01 | Inf
646.98/647.25 o 59
646.98/647.25 c * 580s|584997 |412823 | 3758k| 6.4 | 243M| 63 | - | 198 | 10 | 198 | 23 | 20 | 20k| 11k| 0.000000e+00 | 5.900000e+01 | Inf
652.39/652.61 c 585s|590000 |416331 | 3790k| 6.4 | 245M| 63 | 8 | 198 | 8 | 198 | 23 | 20 | 21k| 11k| 0.000000e+00 | 5.900000e+01 | Inf
660.58/660.81 o 58
660.58/660.81 c * 592s|597618 |420217 | 3840k| 6.4 | 246M| 63 | - | 198 | 8 | 198 | 23 | 20 | 21k| 11k| 0.000000e+00 | 5.800000e+01 | Inf
660.58/660.84 o 56
660.58/660.84 c * 592s|597619 |416730 | 3840k| 6.4 | 242M| 63 | - | 198 | 8 | 198 | 23 | 20 | 21k| 11k| 0.000000e+00 | 5.600000e+01 | Inf
663.08/663.36 c 594s|600000 |418541 | 3854k| 6.4 | 243M| 63 | - | 198 | 8 | 198 | 23 | 20 | 21k| 11k| 0.000000e+00 | 5.600000e+01 | Inf
673.99/674.20 c 604s|610000 |425201 | 3920k| 6.4 | 247M| 63 | - | 198 | 8 | 198 | 23 | 20 | 22k| 11k| 0.000000e+00 | 5.600000e+01 | Inf
684.68/684.94 c 614s|620000 |432238 | 3983k| 6.4 | 252M| 63 | 8 | 198 | 8 | 198 | 23 | 20 | 22k| 11k| 0.000000e+00 | 5.600000e+01 | Inf
695.27/695.52 c 623s|630000 |438932 | 4046k| 6.4 | 256M| 63 | - | 198 | 10 | 198 | 23 | 20 | 23k| 11k| 0.000000e+00 | 5.600000e+01 | Inf
706.17/706.40 c 633s|640000 |445696 | 4111k| 6.4 | 261M| 63 | 8 | 198 | 9 | 198 | 23 | 20 | 23k| 11k| 0.000000e+00 | 5.600000e+01 | Inf
716.66/716.91 c 642s|650000 |452657 | 4172k| 6.4 | 265M| 63 | 8 | 198 | 8 | 198 | 23 | 20 | 23k| 11k| 0.000000e+00 | 5.600000e+01 | Inf
727.36/727.68 c 652s|660000 |459385 | 4236k| 6.4 | 270M| 63 | 8 | 198 | 8 | 198 | 23 | 20 | 24k| 11k| 0.000000e+00 | 5.600000e+01 | Inf
738.15/738.48 c 662s|670000 |466236 | 4301k| 6.4 | 274M| 63 | - | 198 | 8 | 198 | 23 | 20 | 24k| 11k| 0.000000e+00 | 5.600000e+01 | Inf
744.16/744.46 o 55
744.16/744.46 c * 667s|675643 |467948 | 4335k| 6.4 | 274M| 63 | - | 198 | 8 | 198 | 23 | 20 | 25k| 11k| 0.000000e+00 | 5.500000e+01 | Inf
744.25/744.50 o 53
744.25/744.50 c * 667s|675644 |463394 | 4335k| 6.4 | 268M| 63 | - | 198 | 8 | 198 | 23 | 20 | 25k| 11k| 0.000000e+00 | 5.300000e+01 | Inf
748.95/749.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
748.95/749.27 c 671s|680000 |466035 | 4363k| 6.4 | 270M| 63 | 8 | 198 | 8 | 198 | 23 | 20 | 25k| 11k| 0.000000e+00 | 5.300000e+01 | Inf
759.55/759.88 c 681s|690000 |472664 | 4424k| 6.4 | 274M| 63 | - | 198 | 8 | 0 | 0 | 20 | 25k| 12k| 0.000000e+00 | 5.300000e+01 | Inf
770.65/770.92 c 691s|700000 |478904 | 4489k| 6.4 | 279M| 63 | - | 198 | 9 | 198 | 23 | 20 | 26k| 12k| 0.000000e+00 | 5.300000e+01 | Inf
781.35/781.63 c 701s|710000 |485497 | 4552k| 6.4 | 283M| 63 | 8 | 198 | 8 | 198 | 23 | 20 | 26k| 12k| 0.000000e+00 | 5.300000e+01 | Inf
791.95/792.29 c 710s|720000 |492261 | 4616k| 6.4 | 287M| 63 | 8 | 198 | 8 | 198 | 23 | 20 | 27k| 12k| 0.000000e+00 | 5.300000e+01 | Inf
802.65/802.93 c 720s|730000 |499358 | 4679k| 6.4 | 292M| 63 | - | 198 | 9 | 198 | 23 | 20 | 27k| 12k| 0.000000e+00 | 5.300000e+01 | Inf
813.13/813.47 c 729s|740000 |506270 | 4740k| 6.4 | 296M| 63 | 8 | 198 | 9 | 198 | 23 | 20 | 27k| 12k| 0.000000e+00 | 5.300000e+01 | Inf
823.64/823.99 c 739s|750000 |513205 | 4801k| 6.4 | 301M| 63 | 8 | 198 | 8 | 198 | 23 | 20 | 28k| 12k| 0.000000e+00 | 5.300000e+01 | Inf
834.33/834.68 c 748s|760000 |519954 | 4863k| 6.4 | 305M| 63 | - | 198 | 9 | 0 | 0 | 20 | 28k| 12k| 0.000000e+00 | 5.300000e+01 | Inf
844.82/845.18 c 758s|770000 |526544 | 4924k| 6.4 | 309M| 63 | - | 198 | 8 | 198 | 23 | 20 | 29k| 12k| 0.000000e+00 | 5.300000e+01 | Inf
855.52/855.87 c 767s|780000 |533388 | 4985k| 6.4 | 314M| 63 | 8 | 198 | 8 | 198 | 23 | 20 | 29k| 12k| 0.000000e+00 | 5.300000e+01 | Inf
865.21/865.56 o 52
865.21/865.56 c * 776s|788828 |536319 | 5042k| 6.4 | 314M| 63 | - | 198 | 8 | 198 | 23 | 20 | 30k| 12k| 0.000000e+00 | 5.200000e+01 | Inf
865.21/865.60 o 50
865.21/865.60 c * 776s|788830 |530328 | 5042k| 6.4 | 307M| 63 | - | 198 | 8 | 198 | 23 | 20 | 30k| 12k| 0.000000e+00 | 5.000000e+01 | Inf
865.33/865.67 o 48
865.33/865.67 c * 776s|788831 |515310 | 5042k| 6.4 | 295M| 63 | - | 198 | 8 | 198 | 23 | 20 | 30k| 12k| 0.000000e+00 | 4.800000e+01 | Inf
866.62/866.95 c 777s|790000 |516072 | 5049k| 6.4 | 296M| 63 | 8 | 198 | 11 | 198 | 23 | 20 | 30k| 12k| 0.000000e+00 | 4.800000e+01 | Inf
877.52/877.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
877.52/877.81 c 787s|800000 |522016 | 5113k| 6.4 | 300M| 63 | - | 198 | 20 | 198 | 23 | 20 | 30k| 12k| 0.000000e+00 | 4.800000e+01 | Inf
888.42/888.78 c 797s|810000 |528141 | 5176k| 6.4 | 304M| 63 | - | 198 | 23 | 198 | 23 | 20 | 31k| 12k| 0.000000e+00 | 4.800000e+01 | Inf
899.51/899.86 c 807s|820000 |534376 | 5239k| 6.4 | 308M| 63 | - | 198 | 19 | 198 | 23 | 20 | 31k| 12k| 0.000000e+00 | 4.800000e+01 | Inf
910.41/910.72 c 817s|830000 |540949 | 5301k| 6.4 | 313M| 66 | 8 | 198 | 17 | 198 | 23 | 20 | 32k| 12k| 0.000000e+00 | 4.800000e+01 | Inf
921.10/921.47 c 826s|840000 |547546 | 5362k| 6.4 | 317M| 66 | 8 | 198 | 15 | 198 | 23 | 20 | 32k| 12k| 0.000000e+00 | 4.800000e+01 | Inf
932.00/932.36 c 836s|850000 |553645 | 5426k| 6.4 | 321M| 66 | - | 198 | 17 | 198 | 23 | 20 | 32k| 12k| 0.000000e+00 | 4.800000e+01 | Inf
943.00/943.33 c 846s|860000 |559966 | 5490k| 6.4 | 326M| 66 | 8 | 198 | 18 | 198 | 23 | 20 | 33k| 13k| 0.000000e+00 | 4.800000e+01 | Inf
953.89/954.25 c 856s|870000 |566121 | 5553k| 6.4 | 330M| 66 | 8 | 198 | 25 | 198 | 23 | 20 | 33k| 13k| 0.000000e+00 | 4.800000e+01 | Inf
964.89/965.24 c 866s|880000 |572142 | 5616k| 6.4 | 334M| 66 | 8 | 198 | 20 | 198 | 23 | 20 | 34k| 13k| 0.000000e+00 | 4.800000e+01 | Inf
975.78/976.17 c 876s|890000 |578114 | 5680k| 6.4 | 338M| 66 | - | 198 | 13 | 0 | 0 | 20 | 34k| 13k| 0.000000e+00 | 4.800000e+01 | Inf
980.58/980.94 o 47
980.58/980.94 c * 880s|894442 |577917 | 5709k| 6.4 | 336M| 66 | - | 198 | 10 | 198 | 23 | 20 | 34k| 13k| 0.000000e+00 | 4.700000e+01 | Inf
989.88/990.27 c 888s|900000 |581156 | 5745k| 6.4 | 339M| 66 | 8 | 198 | 8 | 198 | 23 | 20 | 35k| 13k| 0.000000e+00 | 4.700000e+01 | Inf
992.67/993.06 o 45
992.67/993.06 c v 891s|902469 |576759 | 5761k| 6.4 | 333M| 66 | - | 198 | 8 | 198 | 23 | 20 | 35k| 13k| 0.000000e+00 | 4.500000e+01 | Inf
992.99/993.35 o 44
992.99/993.35 c v 891s|902708 |573874 | 5763k| 6.4 | 329M| 66 | - | 198 | 8 | 198 | 23 | 20 | 35k| 13k| 0.000000e+00 | 4.400000e+01 | Inf
993.08/993.40 o 42
993.08/993.40 c g 891s|902708 |567113 | 5763k| 6.4 | 322M| 66 | - | 198 | 8 | 198 | 23 | 20 | 35k| 13k| 0.000000e+00 | 4.200000e+01 | Inf
1000.77/1001.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1000.77/1001.12 c 898s|910000 |571302 | 5816k| 6.4 | 325M| 66 | 8 | 198 | 8 | 198 | 23 | 20 | 35k| 13k| 0.000000e+00 | 4.200000e+01 | Inf
1008.28/1008.60 o 40
1008.28/1008.60 c * 904s|916762 |567844 | 5861k| 6.4 | 320M| 66 | - | 198 | 8 | 198 | 23 | 20 | 35k| 13k| 0.000000e+00 | 4.000000e+01 | Inf
1011.77/1012.16 c 908s|920000 |569686 | 5882k| 6.4 | 321M| 66 | 8 | 198 | 8 | 198 | 23 | 20 | 35k| 13k| 0.000000e+00 | 4.000000e+01 | Inf
1021.97/1022.33 o 39
1021.97/1022.33 c * 917s|926461 |569102 | 5923k| 6.4 | 320M| 66 | - | 198 | 9 | 198 | 23 | 20 | 36k| 13k| 0.000000e+00 | 3.900000e+01 | Inf
1025.67/1026.05 c 920s|930000 |571069 | 5945k| 6.4 | 321M| 66 | 8 | 198 | 8 | 198 | 23 | 20 | 36k| 13k| 0.000000e+00 | 3.900000e+01 | Inf
1036.06/1036.50 c 929s|940000 |576257 | 6008k| 6.4 | 325M| 66 | 8 | 198 | 8 | 198 | 23 | 20 | 36k| 13k| 0.000000e+00 | 3.900000e+01 | Inf
1038.66/1039.00 o 37
1038.66/1039.00 c * 932s|942330 |569084 | 6023k| 6.4 | 318M| 66 | - | 198 | 8 | 198 | 23 | 20 | 36k| 13k| 0.000000e+00 | 3.700000e+01 | Inf
1038.66/1039.05 o 35
1038.66/1039.05 c * 932s|942331 |560254 | 6023k| 6.4 | 309M| 66 | - | 198 | 8 | 198 | 23 | 20 | 36k| 13k| 0.000000e+00 | 3.500000e+01 | Inf
1050.36/1050.73 c 942s|950000 |564315 | 6072k| 6.4 | 312M| 66 | 8 | 198 | 8 | 198 | 23 | 20 | 37k| 13k| 0.000000e+00 | 3.500000e+01 | Inf
1061.06/1061.41 c 952s|960000 |569433 | 6136k| 6.4 | 316M| 66 | 8 | 198 | 8 | 198 | 23 | 20 | 37k| 13k| 0.000000e+00 | 3.500000e+01 | Inf
1071.85/1072.20 c 961s|970000 |574662 | 6199k| 6.4 | 320M| 66 | 8 | 198 | 8 | 198 | 23 | 20 | 37k| 13k| 0.000000e+00 | 3.500000e+01 | Inf
1082.35/1082.77 c 971s|980000 |579778 | 6262k| 6.4 | 323M| 66 | - | 198 | 8 | 198 | 23 | 20 | 38k| 13k| 0.000000e+00 | 3.500000e+01 | Inf
1093.05/1093.45 c 980s|990000 |584840 | 6326k| 6.4 | 327M| 66 | 8 | 198 | 8 | 198 | 23 | 20 | 38k| 13k| 0.000000e+00 | 3.500000e+01 | Inf
1104.84/1105.26 c 991s| 1000k|590697 | 6392k| 6.4 | 331M| 66 | 8 | 198 | 9 | 198 | 23 | 20 | 38k| 13k| 0.000000e+00 | 3.500000e+01 | Inf
1115.44/1115.86 c 1000s| 1010k|595870 | 6455k| 6.4 | 335M| 66 | 8 | 198 | 8 | 198 | 23 | 20 | 39k| 14k| 0.000000e+00 | 3.500000e+01 | Inf
1125.95/1126.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1125.95/1126.31 c 1010s| 1020k|600922 | 6518k| 6.4 | 338M| 66 | 8 | 198 | 8 | 198 | 23 | 20 | 39k| 14k| 0.000000e+00 | 3.500000e+01 | Inf
1136.23/1136.62 c 1019s| 1030k|605859 | 6582k| 6.4 | 342M| 66 | - | 198 | 10 | 0 | 0 | 20 | 39k| 14k| 0.000000e+00 | 3.500000e+01 | Inf
1146.63/1147.00 c 1029s| 1040k|610864 | 6644k| 6.4 | 346M| 66 | 8 | 198 | 9 | 198 | 23 | 20 | 40k| 14k| 0.000000e+00 | 3.500000e+01 | Inf
1157.33/1157.72 c 1038s| 1050k|616038 | 6709k| 6.4 | 349M| 66 | 8 | 198 | 12 | 198 | 23 | 20 | 40k| 14k| 0.000000e+00 | 3.500000e+01 | Inf
1167.92/1168.37 c 1048s| 1060k|621095 | 6773k| 6.4 | 353M| 66 | 8 | 198 | 8 | 198 | 23 | 20 | 40k| 14k| 0.000000e+00 | 3.500000e+01 | Inf
1172.42/1172.81 o 33
1172.42/1172.81 c *1052s| 1063k|613819 | 6799k| 6.4 | 345M| 66 | - | 198 | 8 | 198 | 23 | 20 | 41k| 14k| 0.000000e+00 | 3.300000e+01 | Inf
1172.62/1173.00 o 31
1172.62/1173.00 c *1052s| 1063k|567165 | 6799k| 6.4 | 312M| 66 | - | 198 | 8 | 198 | 23 | 20 | 41k| 14k| 0.000000e+00 | 3.100000e+01 | Inf
1172.62/1173.06 o 29
1172.62/1173.06 c *1052s| 1063k|559842 | 6799k| 6.4 | 305M| 66 | - | 198 | 8 | 198 | 23 | 20 | 41k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
1182.52/1182.94 c 1060s| 1070k|563089 | 6839k| 6.4 | 307M| 66 | 8 | 198 | 8 | 198 | 23 | 20 | 41k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
1195.91/1196.34 c 1072s| 1080k|568098 | 6902k| 6.4 | 310M| 66 | 8 | 198 | 11 | 198 | 23 | 20 | 41k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
1206.51/1206.98 c 1082s| 1090k|573287 | 6966k| 6.4 | 313M| 66 | 8 | 198 | 10 | 198 | 23 | 20 | 41k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
1217.22/1217.69 c 1091s| 1100k|578513 | 7032k| 6.4 | 316M| 66 | - | 198 | 14 | 198 | 23 | 20 | 42k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
1227.40/1227.81 c 1101s| 1110k|583413 | 7094k| 6.4 | 320M| 66 | 8 | 198 | 10 | 198 | 23 | 20 | 42k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
1237.61/1238.07 c 1110s| 1120k|588159 | 7156k| 6.4 | 323M| 66 | 8 | 198 | 11 | 198 | 23 | 20 | 42k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
1248.11/1248.56 c 1119s| 1130k|593303 | 7220k| 6.4 | 326M| 66 | 8 | 198 | 11 | 198 | 23 | 20 | 43k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
1258.40/1258.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1258.40/1258.87 c 1128s| 1140k|598411 | 7284k| 6.4 | 329M| 66 | - | 198 | 9 | 198 | 23 | 20 | 43k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
1268.30/1268.74 c 1137s| 1150k|603047 | 7347k| 6.4 | 332M| 66 | 8 | 198 | 10 | 198 | 23 | 20 | 44k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
1278.59/1279.01 c 1146s| 1160k|608259 | 7409k| 6.4 | 335M| 66 | 8 | 198 | 10 | 198 | 23 | 20 | 44k| 15k| 0.000000e+00 | 2.900000e+01 | Inf
1288.39/1288.87 c 1155s| 1170k|612923 | 7472k| 6.4 | 339M| 66 | 8 | 198 | 9 | 198 | 23 | 20 | 44k| 15k| 0.000000e+00 | 2.900000e+01 | Inf
1298.88/1299.33 c 1165s| 1180k|617779 | 7537k| 6.4 | 342M| 66 | 8 | 198 | 10 | 198 | 23 | 20 | 45k| 15k| 0.000000e+00 | 2.900000e+01 | Inf
1307.88/1308.31 o 28
1307.88/1308.31 c *1173s| 1189k|617902 | 7594k| 6.4 | 340M| 66 | - | 198 | 9 | 198 | 23 | 20 | 45k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
1308.78/1309.25 c 1174s| 1190k|618346 | 7600k| 6.4 | 340M| 66 | 8 | 198 | 9 | 198 | 23 | 20 | 45k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
1318.48/1318.95 c 1182s| 1200k|622715 | 7664k| 6.4 | 343M| 66 | 8 | 198 | 11 | 198 | 23 | 20 | 45k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
1329.18/1329.64 c 1192s| 1210k|627897 | 7729k| 6.4 | 346M| 66 | - | 198 | 10 | 198 | 23 | 20 | 46k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
1338.87/1339.33 c 1201s| 1220k|632236 | 7792k| 6.4 | 349M| 66 | 8 | 198 | 13 | 198 | 23 | 20 | 46k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
1348.67/1349.18 c 1209s| 1230k|636853 | 7854k| 6.4 | 352M| 66 | 8 | 198 | 11 | 198 | 23 | 20 | 46k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
1358.47/1358.94 c 1218s| 1240k|641070 | 7918k| 6.4 | 355M| 66 | 8 | 198 | 14 | 198 | 23 | 20 | 46k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
1368.36/1368.85 c 1227s| 1250k|645892 | 7979k| 6.4 | 358M| 66 | 8 | 198 | 10 | 198 | 23 | 20 | 47k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
1378.16/1378.60 c 1236s| 1260k|650339 | 8041k| 6.4 | 361M| 66 | 8 | 198 | 12 | 198 | 23 | 20 | 47k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
1387.66/1388.18 c 1244s| 1270k|654723 | 8104k| 6.4 | 364M| 66 | 8 | 198 | 12 | 198 | 23 | 20 | 47k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
1397.45/1397.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1397.45/1397.95 c 1253s| 1280k|659225 | 8168k| 6.4 | 367M| 66 | 8 | 198 | 9 | 198 | 23 | 20 | 48k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
1407.05/1407.58 c 1262s| 1290k|663555 | 8232k| 6.4 | 370M| 66 | 8 | 198 | 10 | 198 | 23 | 20 | 48k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
1417.05/1417.54 c 1271s| 1300k|667918 | 8298k| 6.4 | 373M| 66 | 8 | 198 | 10 | 198 | 23 | 20 | 48k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
1426.95/1427.41 c 1280s| 1310k|672301 | 8363k| 6.4 | 376M| 66 | 8 | 198 | 12 | 198 | 23 | 20 | 49k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
1436.54/1437.09 c 1288s| 1320k|676624 | 8427k| 6.4 | 378M| 66 | 8 | 198 | 11 | 198 | 23 | 20 | 49k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
1446.14/1446.61 c 1297s| 1330k|680391 | 8492k| 6.4 | 381M| 66 | - | 198 | 9 | 198 | 23 | 20 | 49k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
1455.74/1456.20 c 1305s| 1340k|684455 | 8557k| 6.4 | 384M| 66 | 8 | 198 | 8 | 198 | 23 | 20 | 49k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
1465.85/1466.30 c 1314s| 1350k|689243 | 8622k| 6.4 | 387M| 66 | - | 198 | 15 | 198 | 23 | 20 | 50k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
1475.83/1476.35 c 1323s| 1360k|693959 | 8688k| 6.4 | 390M| 66 | 8 | 198 | 12 | 198 | 23 | 20 | 50k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
1485.32/1485.85 c 1332s| 1370k|698007 | 8752k| 6.4 | 392M| 66 | 8 | 198 | 9 | 198 | 23 | 20 | 50k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
1494.82/1495.39 c 1341s| 1380k|702109 | 8816k| 6.4 | 395M| 66 | 8 | 198 | 11 | 198 | 23 | 20 | 51k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
1504.42/1504.98 c 1349s| 1390k|706048 | 8882k| 6.4 | 398M| 66 | - | 198 | 14 | 198 | 23 | 20 | 51k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
1514.32/1514.89 c 1358s| 1400k|710144 | 8947k| 6.4 | 401M| 66 | 8 | 198 | 9 | 198 | 23 | 20 | 51k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
1524.02/1524.50 c 1367s| 1410k|714302 | 9010k| 6.4 | 404M| 66 | 8 | 198 | 12 | 198 | 23 | 20 | 52k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
1533.51/1534.03 c 1375s| 1420k|718017 | 9073k| 6.4 | 406M| 66 | 8 | 198 | 9 | 198 | 23 | 20 | 52k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
1545.02/1545.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1545.02/1545.58 c 1386s| 1430k|723650 | 9141k| 6.4 | 409M| 66 | 8 | 198 | 10 | 198 | 23 | 20 | 52k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
1556.30/1556.83 c 1396s| 1440k|729311 | 9208k| 6.4 | 413M| 66 | 8 | 198 | 10 | 198 | 23 | 20 | 53k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
1566.50/1567.02 c 1405s| 1450k|734207 | 9273k| 6.4 | 416M| 66 | 8 | 198 | 12 | 198 | 23 | 20 | 53k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
1575.90/1576.47 c 1413s| 1460k|738608 | 9334k| 6.4 | 418M| 66 | 8 | 198 | 11 | 198 | 23 | 20 | 53k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
1585.90/1586.44 c 1422s| 1470k|743032 | 9398k| 6.4 | 421M| 66 | 8 | 198 | 11 | 198 | 23 | 20 | 53k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
1596.00/1596.56 c 1431s| 1480k|747606 | 9464k| 6.4 | 424M| 66 | 8 | 198 | 8 | 198 | 23 | 20 | 54k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
1606.69/1607.20 c 1441s| 1490k|752728 | 9532k| 6.4 | 427M| 66 | - | 198 | 11 | 198 | 23 | 20 | 54k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
1616.58/1617.19 c 1450s| 1500k|757207 | 9599k| 6.4 | 430M| 66 | 8 | 198 | 10 | 198 | 23 | 20 | 54k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
1626.88/1627.49 c 1459s| 1510k|762054 | 9666k| 6.4 | 433M| 66 | 8 | 198 | 8 | 198 | 23 | 20 | 55k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
1636.88/1637.40 c 1468s| 1520k|766414 | 9733k| 6.4 | 436M| 66 | - | 198 | 8 | 198 | 23 | 20 | 55k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
1646.28/1646.86 c 1476s| 1530k|770288 | 9798k| 6.4 | 439M| 66 | 8 | 198 | 11 | 198 | 23 | 20 | 55k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
1655.98/1656.56 c 1485s| 1540k|774252 | 9864k| 6.4 | 441M| 66 | - | 198 | 12 | 198 | 23 | 20 | 56k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
1665.57/1666.12 c 1494s| 1550k|778165 | 9929k| 6.4 | 444M| 66 | 8 | 198 | 8 | 198 | 23 | 20 | 56k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
1674.87/1675.44 c 1502s| 1560k|781832 | 9995k| 6.4 | 447M| 66 | - | 198 | 9 | 198 | 23 | 20 | 56k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
1684.57/1685.15 c 1511s| 1570k|785735 | 10061k| 6.4 | 449M| 66 | - | 198 | 9 | 198 | 23 | 20 | 56k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
1694.36/1694.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1694.36/1694.94 c 1520s| 1580k|789796 | 10127k| 6.4 | 452M| 66 | 8 | 198 | 8 | 198 | 23 | 20 | 57k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
1703.46/1704.01 c 1528s| 1590k|793137 | 10190k| 6.4 | 455M| 66 | 8 | 198 | 10 | 198 | 23 | 20 | 57k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
1713.06/1713.63 c 1536s| 1600k|797074 | 10254k| 6.4 | 458M| 66 | 8 | 198 | 10 | 198 | 23 | 20 | 57k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
1722.55/1723.15 c 1545s| 1610k|801062 | 10318k| 6.4 | 461M| 66 | 8 | 198 | 9 | 198 | 23 | 20 | 58k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
1731.86/1732.48 c 1553s| 1620k|804667 | 10381k| 6.4 | 463M| 66 | - | 198 | 10 | 198 | 23 | 20 | 58k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
1741.35/1741.96 c 1562s| 1630k|808431 | 10445k| 6.4 | 466M| 66 | 8 | 198 | 10 | 198 | 23 | 20 | 58k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
1750.74/1751.35 c 1570s| 1640k|812337 | 10508k| 6.4 | 469M| 66 | 8 | 198 | 12 | 198 | 23 | 20 | 59k| 18k| 0.000000e+00 | 2.800000e+01 | Inf
1759.94/1760.54 c 1578s| 1650k|815861 | 10571k| 6.4 | 471M| 66 | 8 | 198 | 11 | 198 | 23 | 20 | 59k| 18k| 0.000000e+00 | 2.800000e+01 | Inf
1769.44/1770.01 c 1587s| 1660k|819682 | 10634k| 6.4 | 474M| 66 | 8 | 198 | 11 | 198 | 23 | 20 | 59k| 18k| 0.000000e+00 | 2.800000e+01 | Inf
1778.84/1779.47 c 1595s| 1670k|823163 | 10698k| 6.4 | 476M| 66 | - | 198 | 10 | 198 | 23 | 20 | 60k| 18k| 0.000000e+00 | 2.800000e+01 | Inf
1788.13/1788.73 c 1604s| 1680k|826638 | 10760k| 6.4 | 479M| 66 | - | 198 | 11 | 198 | 23 | 20 | 60k| 18k| 0.000000e+00 | 2.800000e+01 | Inf
1797.94/1798.53 c 1612s| 1690k|830598 | 10824k| 6.4 | 482M| 66 | 8 | 198 | 9 | 198 | 23 | 20 | 60k| 18k| 0.000000e+00 | 2.800000e+01 | Inf
1800.04/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.61 c
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time (sec) : 1614.31
1800.04/1800.61 c Solving Nodes : 1692253
1800.04/1800.61 c Primal Bound : +2.80000000000000e+01 (65 solutions)
1800.04/1800.61 c Dual Bound : +0.00000000000000e+00
1800.04/1800.61 c Gap : infinite
1800.04/1800.61 s SATISFIABLE
1800.04/1800.61 v x198 x197 x196 -x195 -x194 x193 x192 -x191 -x190 x189 -x188 x187 -x186 -x185 -x184 x183 x182 x181 x180 x179 -x178 -x177 -x176 -x175
1800.04/1800.61 v x174 -x173 x172 x171 -x170 -x169 x168 x167 -x166 x165 -x164 x163 x162 -x161 -x160 -x159 x158 -x157 x156 x155 x154 -x153
1800.04/1800.61 v x152 -x151 x150 x149 x148 -x147 x146 -x145 -x144 -x143 x142 -x141 x140 x139 x138 -x137 x136 -x135 -x134 -x133 -x132 x131 x130
1800.04/1800.61 v -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109
1800.04/1800.61 v -x108 x107 -x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 x89 -x88 -x87 -x86 -x85
1800.04/1800.61 v -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60
1800.04/1800.61 v -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34
1800.04/1800.61 v x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 -x9 -x8
1800.04/1800.61 v -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time : 1614.31
1800.04/1800.61 c Original Problem :
1800.04/1800.61 c Problem name : HOME/instance-2665667-1276601339.opb
1800.04/1800.61 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.61 c Constraints : 16 initial, 16 maximal
1800.04/1800.61 c Presolved Problem :
1800.04/1800.61 c Problem name : t_HOME/instance-2665667-1276601339.opb
1800.04/1800.61 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.61 c Constraints : 8 initial, 80 maximal
1800.04/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.61 c linear : 0.00 0 0 0 0 0 8 0 0
1800.04/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c root node : - 48 - - 48 - - - -
1800.04/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.61 c integral : 0 0 0 1360723 0 56 2307 0 0 2716886
1800.04/1800.61 c linear : 8+ 7 3629886 0 0 126837 774326 0 0 0
1800.04/1800.61 c logicor : 0+ 0 189147 0 0 2021 116385 0 0 0
1800.04/1800.61 c countsols : 0 0 0 30 0 0 0 0 0 0
1800.04/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.61 c integral : 24.47 0.00 0.00 24.47 0.00
1800.04/1800.61 c linear : 315.44 0.00 315.44 0.00 0.00
1800.04/1800.61 c logicor : 1.47 0.00 1.47 0.00 0.00
1800.04/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.61 c vbounds : 2.09 2 0 0
1800.04/1800.61 c rootredcost : 1.70 45 0 48
1800.04/1800.61 c pseudoobj : 40.83 3632933 3215 1123075
1800.04/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.61 c propagation : 13.45 130166 53940 80486 73.6 56 39.1 -
1800.04/1800.61 c infeasible LP : 1.36 15912 9527 13589 45.1 3 40.0 0
1800.04/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c pseudo solution : 0.01 416 416 416 2.2 0 0.0 -
1800.04/1800.61 c applied globally : - - - 988 17.6 - - -
1800.04/1800.61 c applied locally : - - - 59809 70.2 - - -
1800.04/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.61 c cut pool : 0.00 5 - - 13 - (maximal pool size: 68)
1800.04/1800.61 c redcost : 45.24 1870454 0 7877666 0 0
1800.04/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.61 c intobj : 0.00 0 0 0 0 0
1800.04/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.61 c gomory : 0.00 6 0 0 0 0
1800.04/1800.61 c strongcg : 0.03 6 0 0 29 0
1800.04/1800.61 c cmir : 0.02 6 0 0 16 0
1800.04/1800.61 c flowcover : 0.07 6 0 0 31 0
1800.04/1800.61 c clique : 0.00 1 0 0 0 0
1800.04/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.61 c mcf : 0.00 1 0 0 0 0
1800.04/1800.61 c rapidlearning : 0.12 1 0 0 0 37
1800.04/1800.61 c Pricers : Time Calls Vars
1800.04/1800.61 c problem variables: 0.00 0 0
1800.04/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.61 c relpscost : 22.42 1360693 56 2307 0 0 2716886
1800.04/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.04/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.61 c random : 0.00 0 0 0 0 0 0
1800.04/1800.61 c Primal Heuristics : Time Calls Found
1800.04/1800.61 c LP solutions : 1.06 - 30
1800.04/1800.61 c pseudo solutions : 0.00 - 0
1800.04/1800.61 c intshifting : 0.10 0 0
1800.04/1800.61 c feaspump : 0.09 1 0
1800.04/1800.61 c oneopt : 1.39 44 0
1800.04/1800.61 c crossover : 18.50 10 1
1800.04/1800.61 c rootsoldiving : 9.41 957 20
1800.04/1800.61 c objpscostdiving : 4.92 1385 0
1800.04/1800.61 c veclendiving : 33.00 6909 2
1800.04/1800.61 c coefdiving : 106.60 7259 1
1800.04/1800.61 c fracdiving : 76.00 9465 7
1800.04/1800.61 c pscostdiving : 71.70 9466 2
1800.04/1800.61 c linesearchdiving : 49.50 9466 0
1800.04/1800.61 c guideddiving : 55.82 9466 1
1800.04/1800.61 c trivial : 0.00 2 0
1800.04/1800.61 c simplerounding : 1.54 0 0
1800.04/1800.61 c zirounding : 0.83 1000 0
1800.04/1800.61 c rounding : 2.58 16734 0
1800.04/1800.61 c shifting : 6.57 5300 0
1800.04/1800.61 c twoopt : 0.00 0 0
1800.04/1800.61 c fixandinfer : 0.00 0 0
1800.04/1800.61 c intdiving : 0.00 0 0
1800.04/1800.61 c actconsdiving : 0.00 0 0
1800.04/1800.61 c octane : 0.00 0 0
1800.04/1800.61 c rens : 0.08 1 0
1800.04/1800.61 c rins : 0.00 0 0
1800.04/1800.61 c localbranching : 0.00 0 0
1800.04/1800.61 c mutation : 0.00 0 0
1800.04/1800.61 c dins : 0.00 0 0
1800.04/1800.61 c undercover : 0.00 0 0
1800.04/1800.61 c nlp : 0.87 0 0
1800.04/1800.61 c trysol : 1.51 0 0
1800.04/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.61 c dual LP : 626.75 1644005 8416471 5.12 13428.75
1800.04/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.61 c diving/probing LP: 261.90 1067046 2422470 2.27 9249.60
1800.04/1800.61 c strong branching : 8.10 18250 70233 3.85 8670.74
1800.04/1800.61 c (at root node) : - 9 591 65.67 -
1800.04/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.61 c B&B Tree :
1800.04/1800.61 c number of runs : 1
1800.04/1800.61 c nodes : 1692253
1800.04/1800.61 c nodes (total) : 1692253
1800.04/1800.61 c nodes left : 831500
1800.04/1800.61 c max depth : 66
1800.04/1800.61 c max depth (total): 66
1800.04/1800.61 c backtracks : 217102 (12.8%)
1800.04/1800.61 c delayed cutoffs : 5507
1800.04/1800.61 c repropagations : 13279 (43625 domain reductions, 5506 cutoffs)
1800.04/1800.61 c avg switch length: 5.59
1800.04/1800.61 c switching time : 60.00
1800.04/1800.61 c Solution :
1800.04/1800.61 c Solutions found : 65 (45 improvements)
1800.04/1800.61 c First Solution : +1.24200000000000e+03 (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <trysol>)
1800.04/1800.61 c Primal Bound : +2.80000000000000e+01 (in run 1, after 1189068 nodes, 1172.71 seconds, depth 48, found by <relaxation>)
1800.04/1800.61 c Dual Bound : +0.00000000000000e+00
1800.04/1800.61 c Gap : infinite
1800.04/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.61 c Root Iterations : 94
OK 28
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665667-1276601339/watcher-2665667-1276601339 -o /tmp/evaluation-result-2665667-1276601339/solver-2665667-1276601339 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665667-1276601339.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: 0.85 0.97 1.05 3/106 3983 /proc/meminfo: memFree=1688076/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=9288 CPUtime=0 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 1103 0 0 0 0 0 0 0 18 0 1 0 35737547 9510912 1025 1992294400 4194304 9819077 140735951390576 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3983/statm: 2322 1034 371 1374 0 943 0 [startup+0.0541589 s] /proc/loadavg: 0.85 0.97 1.05 3/106 3983 /proc/meminfo: memFree=1688076/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=15328 CPUtime=0.05 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 3144 0 0 0 4 1 0 0 20 0 1 0 35737547 15695872 2445 1992294400 4194304 9819077 140735951390576 18446744073709551615 4310853 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 3832 2445 652 1374 0 2453 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 15328 [startup+0.101164 s] /proc/loadavg: 0.85 0.97 1.05 3/106 3983 /proc/meminfo: memFree=1688076/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=22972 CPUtime=0.09 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 5065 0 0 0 7 2 0 0 20 0 1 0 35737547 23523328 4109 1992294400 4194304 9819077 140735951390576 18446744073709551615 5909064 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 5743 4109 673 1374 0 4364 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22972 [startup+0.301186 s] /proc/loadavg: 0.85 0.97 1.05 3/106 3983 /proc/meminfo: memFree=1688076/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=16476 CPUtime=0.29 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 5170 0 0 0 27 2 0 0 20 0 1 0 35737547 16871424 2902 1992294400 4194304 9819077 140735951390576 18446744073709551615 6044454 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 4119 2902 686 1374 0 2740 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16476 [startup+0.701233 s] /proc/loadavg: 0.85 0.97 1.05 3/106 3983 /proc/meminfo: memFree=1688076/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=16580 CPUtime=0.69 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 12743 0 0 0 60 9 0 0 20 0 1 0 35737547 16977920 2971 1992294400 4194304 9819077 140735951390576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 4145 2971 722 1374 0 2766 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16580 [startup+1.50132 s] /proc/loadavg: 0.85 0.97 1.05 2/107 3984 /proc/meminfo: memFree=1678396/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=16792 CPUtime=1.49 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 21741 0 0 0 130 19 0 0 23 0 1 0 35737547 17195008 2982 1992294400 4194304 9819077 140735951390576 18446744073709551615 6372771 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 4198 2982 723 1374 0 2819 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16792 [startup+3.10151 s] /proc/loadavg: 0.85 0.97 1.05 2/107 3984 /proc/meminfo: memFree=1678024/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=25696 CPUtime=3.09 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 38016 0 0 0 272 37 0 0 25 0 1 0 35737547 26312704 4649 1992294400 4194304 9819077 140735951390576 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 6464 4650 727 1374 0 5085 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25696 [startup+6.30088 s] /proc/loadavg: 0.86 0.97 1.05 2/107 3984 /proc/meminfo: memFree=1676784/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=18392 CPUtime=6.29 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 65096 0 0 0 554 75 0 0 25 0 1 0 35737547 18833408 3316 1992294400 4194304 9819077 140735951390576 18446744073709551615 4948333 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 4598 3316 727 1374 0 3219 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18392 [startup+12.7016 s] /proc/loadavg: 0.87 0.97 1.05 2/107 3984 /proc/meminfo: memFree=1674428/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=21240 CPUtime=12.69 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 116736 0 0 0 1127 142 0 0 25 0 1 0 35737547 21749760 4043 1992294400 4194304 9819077 140735951390576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 5310 4043 727 1374 0 3931 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21240 [startup+25.5011 s] /proc/loadavg: 0.90 0.97 1.05 2/107 3984 /proc/meminfo: memFree=1670460/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=25196 CPUtime=25.48 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 229613 0 0 0 2272 276 0 0 25 0 1 0 35737547 25800704 5051 1992294400 4194304 9819077 140735951390576 18446744073709551615 6589008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 6299 5051 727 1374 0 4920 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25196 [startup+51.1011 s] /proc/loadavg: 0.93 0.97 1.05 2/107 3984 /proc/meminfo: memFree=1659796/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=35444 CPUtime=51.07 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 443728 0 0 0 4558 549 0 0 25 0 1 0 35737547 36294656 7682 1992294400 4194304 9819077 140735951390576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 8861 7682 727 1374 0 7482 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 35444 [startup+102.308 s] /proc/loadavg: 0.97 0.97 1.04 2/107 3986 /proc/meminfo: memFree=1632764/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=63968 CPUtime=102.25 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 859868 0 0 0 9137 1088 0 0 25 0 1 0 35737547 65503232 14426 1992294400 4194304 9819077 140735951390576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 15992 14426 727 1374 0 14613 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 63968 [startup+162.301 s] /proc/loadavg: 0.99 0.97 1.04 2/107 3988 /proc/meminfo: memFree=1599780/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=96744 CPUtime=162.23 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 1340129 0 0 0 14498 1725 0 0 25 0 1 0 35737547 99065856 22771 1992294400 4194304 9819077 140735951390576 18446744073709551615 7816519 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 24186 22771 727 1374 0 22807 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 96744 [startup+222.301 s] /proc/loadavg: 0.99 0.97 1.03 2/107 3990 /proc/meminfo: memFree=1569028/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=125872 CPUtime=222.22 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 1806510 0 0 0 19872 2350 0 0 25 0 1 0 35737547 128892928 30211 1992294400 4194304 9819077 140735951390576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 31468 30211 727 1374 0 30089 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 125872 [startup+282.301 s] /proc/loadavg: 0.99 0.97 1.02 2/107 3992 /proc/meminfo: memFree=1537532/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=160792 CPUtime=282.2 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 2266566 0 0 0 25248 2972 0 0 25 0 1 0 35737547 164651008 38061 1992294400 4194304 9819077 140735951390576 18446744073709551615 4980741 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 40198 38061 727 1374 0 38819 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 160792 [startup+342.301 s] /proc/loadavg: 0.99 0.97 1.02 2/107 3992 /proc/meminfo: memFree=1496240/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=203288 CPUtime=342.18 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 2750880 0 0 0 30615 3603 0 0 25 0 1 0 35737547 208166912 48349 1992294400 4194304 9819077 140735951390576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 50822 48349 727 1374 0 49443 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 203288 [startup+402.301 s] /proc/loadavg: 0.99 0.97 1.01 2/107 3994 /proc/meminfo: memFree=1493140/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=204260 CPUtime=402.15 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 3203885 0 0 0 35988 4227 0 0 25 0 1 0 35737547 209162240 49145 1992294400 4194304 9819077 140735951390576 18446744073709551615 7815633 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 51065 49145 727 1374 0 49686 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 204260 [startup+462.301 s] /proc/loadavg: 0.99 0.97 1.01 2/107 3996 /proc/meminfo: memFree=1465612/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=230988 CPUtime=462.15 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 3646302 0 0 0 41377 4838 0 0 25 0 1 0 35737547 236531712 55995 1992294400 4194304 9819077 140735951390576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 57747 55995 727 1374 0 56368 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 230988 [startup+522.301 s] /proc/loadavg: 0.99 0.97 1.00 2/107 3998 /proc/meminfo: memFree=1440688/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=255092 CPUtime=522.12 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 4089787 0 0 0 46773 5439 0 0 25 0 1 0 35737547 261214208 62180 1992294400 4194304 9819077 140735951390576 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 63773 62180 727 1374 0 62394 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 255092 [startup+582.301 s] /proc/loadavg: 0.99 0.97 1.00 2/107 4000 /proc/meminfo: memFree=1419732/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=275372 CPUtime=582.11 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 4533161 0 0 0 52160 6051 0 0 25 0 1 0 35737547 281980928 67413 1992294400 4194304 9819077 140735951390576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 68843 67413 727 1374 0 67464 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 275372 [startup+642.301 s] /proc/loadavg: 0.99 0.97 1.00 2/107 4000 /proc/meminfo: memFree=1396048/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=298208 CPUtime=642.09 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 4984028 0 0 0 57541 6668 0 0 25 0 1 0 35737547 305364992 73265 1992294400 4194304 9819077 140735951390576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 74552 73265 727 1374 0 73173 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 298208 [startup+702.301 s] ################ # More data... # ################ /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 7689681 0 0 0 89880 10317 0 0 25 0 1 0 35737547 415195136 98751 1992294400 4194304 9819077 140735951390576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 101366 98751 727 1374 0 99987 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 405464 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 1.00 2/107 4012 /proc/meminfo: memFree=1292508/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=405872 CPUtime=1061.96 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 8192454 0 0 0 95232 10964 0 0 25 0 1 0 35737547 415612928 98848 1992294400 4194304 9819077 140735951390576 18446744073709551615 4979353 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 101468 98848 727 1374 0 100089 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 405872 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 1.00 2/107 4014 /proc/meminfo: memFree=1284448/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=414512 CPUtime=1121.94 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 8643174 0 0 0 100626 11568 0 0 25 0 1 0 35737547 424460288 101046 1992294400 4194304 9819077 140735951390576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 103628 101046 727 1374 0 102249 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 414512 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 1.00 2/107 4014 /proc/meminfo: memFree=1273040/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=424460 CPUtime=1181.92 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 9119780 0 0 0 105990 12202 0 0 25 0 1 0 35737547 434647040 103660 1992294400 4194304 9819077 140735951390576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 106115 103660 727 1374 0 104736 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 424460 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 1.00 2/107 4016 /proc/meminfo: memFree=1272792/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=424480 CPUtime=1241.9 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 9601695 0 0 0 111353 12837 0 0 25 0 1 0 35737547 434667520 103660 1992294400 4194304 9819077 140735951390576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 106120 103660 727 1374 0 104741 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 424480 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 1.00 2/107 4018 /proc/meminfo: memFree=1270436/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=427308 CPUtime=1301.89 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 10053035 0 0 0 116731 13458 0 0 25 0 1 0 35737547 437563392 104372 1992294400 4194304 9819077 140735951390576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 106827 104372 727 1374 0 105448 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 427308 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 1.00 2/107 4020 /proc/meminfo: memFree=1259896/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=437636 CPUtime=1361.86 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 10515412 0 0 0 122115 14071 0 0 25 0 1 0 35737547 448139264 107007 1992294400 4194304 9819077 140735951390576 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 109409 107007 727 1374 0 108030 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 437636 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 1.00 2/107 4022 /proc/meminfo: memFree=1246132/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=450940 CPUtime=1421.85 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 10975546 0 0 0 127494 14691 0 0 25 0 1 0 35737547 461762560 110433 1992294400 4194304 9819077 140735951390576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 112735 110433 727 1374 0 111356 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 450940 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 1.00 2/107 4024 /proc/meminfo: memFree=1232988/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=463664 CPUtime=1481.83 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 11432633 0 0 0 132881 15302 0 0 25 0 1 0 35737547 474791936 113694 1992294400 4194304 9819077 140735951390576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 115916 113694 727 1374 0 114537 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 463664 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 1.00 2/107 4024 /proc/meminfo: memFree=1218108/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=478024 CPUtime=1541.81 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 11890140 0 0 0 138267 15914 0 0 25 0 1 0 35737547 489496576 117385 1992294400 4194304 9819077 140735951390576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 119506 117385 727 1374 0 118127 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 478024 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 1.00 2/107 4026 /proc/meminfo: memFree=1203600/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=492072 CPUtime=1601.79 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 12347965 0 0 0 143644 16535 0 0 25 0 1 0 35737547 503881728 121004 1992294400 4194304 9819077 140735951390576 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 123018 121004 727 1374 0 121639 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 492072 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 1.00 2/107 4028 /proc/meminfo: memFree=1186364/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=508696 CPUtime=1661.77 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 12803445 0 0 0 149017 17160 0 0 25 0 1 0 35737547 520904704 125263 1992294400 4194304 9819077 140735951390576 18446744073709551615 6670063 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 127174 125263 727 1374 0 125795 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 508696 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 1.00 2/107 4030 /proc/meminfo: memFree=1174212/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=520008 CPUtime=1721.76 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 13255543 0 0 0 154408 17768 0 0 25 0 1 0 35737547 532488192 128378 1992294400 4194304 9819077 140735951390576 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 130125 128381 727 1374 0 128746 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 520008 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 1.00 2/107 4032 /proc/meminfo: memFree=1156356/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=537668 CPUtime=1781.73 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 13711017 0 0 0 159786 18387 0 0 25 0 1 0 35737547 550572032 132703 1992294400 4194304 9819077 140735951390576 18446744073709551615 6372765 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 134417 132703 727 1374 0 133038 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 537668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 1.00 2/107 4032 /proc/meminfo: memFree=1151892/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=541972 CPUtime=1800.04 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 13848585 0 0 0 161431 18573 0 0 25 0 1 0 35737547 554979328 133802 1992294400 4194304 9819077 140735951390576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3983/statm: 135493 133802 727 1374 0 134114 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 541972 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -3983 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 0.99 0.97 1.00 2/107 4032 /proc/meminfo: memFree=1151892/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=541968 CPUtime=1800.83 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 13848591 0 0 0 161510 18573 0 0 25 0 1 0 35737547 554975232 133803 1992294400 4194304 9819077 140735951390576 18446744073709551615 6180098 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3983/statm: 135492 133803 728 1374 0 134113 0 Current children cumulated CPU time (s) 1800.83 Current children cumulated vsize (KiB) 541968 [startup+1802.2 s] /proc/loadavg: 0.99 0.97 1.00 2/108 4033 /proc/meminfo: memFree=1151760/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=541968 CPUtime=1801.63 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 13848591 0 0 0 161590 18573 0 0 25 0 1 0 35737547 554975232 133803 1992294400 4194304 9819077 140735951390576 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3983/statm: 135492 133803 728 1374 0 134113 0 Current children cumulated CPU time (s) 1801.63 Current children cumulated vsize (KiB) 541968 [startup+1802.6 s] /proc/loadavg: 0.99 0.97 1.00 2/108 4033 /proc/meminfo: memFree=1151760/2059040 swapFree=4140048/4192956 [pid=3983] ppid=3981 vsize=541968 CPUtime=1802.03 /proc/3983/stat : 3983 (pbscip.linux.x8) R 3981 3983 3958 0 -1 4202496 13848591 0 0 0 161630 18573 0 0 25 0 1 0 35737547 554975232 133803 1992294400 4194304 9819077 140735951390576 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3983/statm: 135492 133803 728 1374 0 134113 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 541968 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.67 CPU time (s): 1802.11 CPU user time (s): 1616.32 CPU system time (s): 185.793 CPU usage (%): 99.9687 Max. virtual memory (cumulated for all children) (KiB): 541972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1616.32 system time used= 185.793 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13848591 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= 4833 runsolver used 3.03054 second user time and 8.47071 second system time The end
Begin job on node006 at 2010-06-15 13:28:59 IDJOB=2665667 IDBENCH=2904 IDSOLVER=1168 FILE ID=node006/2665667-1276601339 PBS_JOBID= 11172249 Free space on /tmp= 62504 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_8_70_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-2665667-1276601339/watcher-2665667-1276601339 -o /tmp/evaluation-result-2665667-1276601339/solver-2665667-1276601339 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665667-1276601339.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 87341d3e4752b9f90faef0f8d9385430 RANDOM SEED=1664287717 node006.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.204 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.204 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1688728 kB Buffers: 89968 kB Cached: 198004 kB SwapCached: 6988 kB Active: 119160 kB Inactive: 183060 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1688728 kB SwapTotal: 4192956 kB SwapFree: 4140048 kB Dirty: 6344 kB Writeback: 0 kB AnonPages: 12464 kB Mapped: 13032 kB Slab: 46428 kB PageTables: 4092 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181488 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= 62496 MiB End job on node006 at 2010-06-15 13:59:02