Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | SAT (TO) | 62 | 1802.13 | 1802.66 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_1.opb |
| MD5SUM | 5bf563c7058af01702ea80887f1d43ad |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 1800.03 |
| 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 | NO |
| Number of variables | 120 |
| Total number of constraints | 10 |
| 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 | 10 |
| Minimum length of a constraint | 55 |
| Maximum length of a constraint | 56 |
| Number of terms in the objective function | 80 |
| 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 | 2550 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1086 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 3768 |
| 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: NONE] [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-2664234-1276616198.opb>
0.00/0.01 c original problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 10 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (0.0s) probing: 101/120 (84.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (2 rounds):
0.00/0.02 c 0 deleted vars, 5 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 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.02 c 5 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 # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
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 | 2 | 0 | - | 372k| 0 | - | 120 | 5 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.28 c 1.1s| 10000 | 9862 | 0 | 0.0 |4026k| 69 | - | 120 | 8 | 0 | 0 | 0 | 73 | 0 | 0.000000e+00 | -- | Inf
2.59/2.62 c 2.3s| 20000 | 19821 | 0 | 0.0 |8238k| 69 | - | 120 | 11 | 0 | 0 | 0 | 94 | 0 | 0.000000e+00 | -- | Inf
3.89/3.92 c 3.4s| 30000 | 29455 | 0 | 0.0 | 12M| 69 | - | 120 | 16 | 0 | 0 | 0 | 275 | 0 | 0.000000e+00 | -- | Inf
5.09/5.15 c 4.5s| 40000 | 39354 | 0 | 0.0 | 15M| 69 | - | 120 | 18 | 0 | 0 | 0 | 323 | 0 | 0.000000e+00 | -- | Inf
6.29/6.37 c 5.6s| 50000 | 49337 | 0 | 0.0 | 19M| 69 | - | 120 | 17 | 0 | 0 | 0 | 332 | 0 | 0.000000e+00 | -- | Inf
7.60/7.61 c 6.7s| 60000 | 59323 | 0 | 0.0 | 22M| 69 | - | 120 | 15 | 0 | 0 | 0 | 340 | 0 | 0.000000e+00 | -- | Inf
8.80/8.89 c 7.9s| 70000 | 69315 | 0 | 0.0 | 26M| 69 | - | 120 | 14 | 0 | 0 | 0 | 345 | 0 | 0.000000e+00 | -- | Inf
10.09/10.17 c 9.0s| 80000 | 79309 | 0 | 0.0 | 30M| 69 | - | 120 | 13 | 0 | 0 | 0 | 349 | 0 | 0.000000e+00 | -- | Inf
11.39/11.47 c 10.2s| 90000 | 89307 | 0 | 0.0 | 34M| 69 | - | 120 | 13 | 0 | 0 | 0 | 350 | 0 | 0.000000e+00 | -- | Inf
12.68/12.73 c 11.3s|100000 | 99304 | 0 | 0.0 | 38M| 69 | - | 120 | 13 | 0 | 0 | 0 | 352 | 0 | 0.000000e+00 | -- | Inf
13.99/14.05 c 12.4s|110000 |109304 | 0 | 0.0 | 42M| 69 | - | 120 | 12 | 0 | 0 | 0 | 352 | 0 | 0.000000e+00 | -- | Inf
15.29/15.40 c 13.6s|120000 |119304 | 0 | 0.0 | 47M| 69 | - | 120 | 12 | 0 | 0 | 0 | 352 | 0 | 0.000000e+00 | -- | Inf
16.69/16.71 c 14.8s|130000 |129304 | 0 | 0.0 | 51M| 69 | - | 120 | 12 | 0 | 0 | 0 | 352 | 0 | 0.000000e+00 | -- | Inf
17.29/17.34 o 120
17.29/17.34 c *15.3s|133944 | 48082 | 0 | 0.0 | 14M| 73 | - | 120 | 12 | 0 | 0 | 0 | 353 | 0 | 0.000000e+00 | 1.200000e+02 | Inf
18.69/18.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.69/18.71 c 16.6s|140000 | 50255 | 0 | 0.0 | 16M| 73 | - | 120 | 161 | 0 | 0 | 0 |2230 | 0 | 0.000000e+00 | 1.200000e+02 | Inf
20.98/21.02 c 18.7s|150000 | 53528 | 0 | 0.0 | 19M| 73 | - | 120 | 563 | 0 | 0 | 0 |5626 | 0 | 0.000000e+00 | 1.200000e+02 | Inf
23.38/23.42 c 20.9s|160000 | 58152 | 0 | 0.0 | 22M| 73 | - | 120 |1135 | 0 | 0 | 0 |7913 | 0 | 0.000000e+00 | 1.200000e+02 | Inf
26.29/26.30 c 23.6s|170000 | 61177 | 0 | 0.0 | 24M| 73 | - | 120 |1355 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
28.68/28.74 c 25.9s|180000 | 66007 | 0 | 0.0 | 27M| 73 | - | 120 |1647 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
31.09/31.13 c 28.1s|190000 | 72023 | 0 | 0.0 | 30M| 73 | - | 120 |2764 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
33.79/33.84 c 30.6s|200000 | 78191 | 0 | 0.0 | 33M| 73 | - | 120 |3309 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
36.68/36.76 c 33.4s|210000 | 84251 | 0 | 0.0 | 36M| 73 | - | 120 |3588 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
39.88/39.96 c 36.4s|220000 | 90037 | 0 | 0.0 | 39M| 73 | - | 120 |3757 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
43.28/43.36 c 39.6s|230000 | 95508 | 0 | 0.0 | 42M| 73 | - | 120 |3963 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
46.57/46.65 c 42.7s|240000 |101231 | 0 | 0.0 | 45M| 73 | - | 120 |4350 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
50.08/50.18 c 46.0s|250000 |106895 | 0 | 0.0 | 48M| 73 | - | 120 |4482 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
53.88/53.96 c 49.6s|260000 |111945 | 0 | 0.0 | 51M| 73 | - | 120 |4985 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
57.78/57.82 c 53.3s|270000 |117340 | 0 | 0.0 | 54M| 73 | - | 120 |5118 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
61.87/61.99 c 57.2s|280000 |122246 | 0 | 0.0 | 57M| 73 | - | 120 |5177 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
66.17/66.27 o 119
66.17/66.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.17/66.27 c *61.3s|288677 |125964 | 0 | 0.0 | 60M| 73 | - | 120 |5561 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
66.88/66.90 c 62.0s|290000 |126571 | 0 | 0.0 | 60M| 73 | - | 120 |5523 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
71.57/71.63 c 66.5s|300000 |131305 | 0 | 0.0 | 63M| 73 | - | 120 |5849 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
76.37/76.46 c 71.2s|310000 |135626 | 0 | 0.0 | 66M| 73 | - | 120 |6345 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
82.17/82.27 c 76.8s|320000 |139984 | 0 | 0.0 | 69M| 73 | - | 120 |6493 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
88.47/88.56 c 82.8s|330000 |143827 | 0 | 0.0 | 72M| 73 | - | 120 |6559 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
94.27/94.35 c 88.4s|340000 |148131 | 0 | 0.0 | 75M| 73 | - | 120 |6928 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
100.36/100.49 c 94.3s|350000 |151972 | 0 | 0.0 | 78M| 73 | - | 120 |7466 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
107.26/107.33 c 101s|360000 |156044 | 0 | 0.0 | 81M| 73 | - | 120 |7388 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
114.26/114.38 o 107
114.26/114.38 c * 108s|368918 |155629 | 0 | 0.0 | 82M| 73 | - | 120 |7598 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
115.26/115.30 c 109s|370000 |155929 | 0 | 0.0 | 82M| 73 | - | 120 |7630 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
122.95/123.04 c 116s|380000 |158678 | 0 | 0.0 | 85M| 73 | - | 120 |7877 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
130.25/130.32 c 123s|390000 |162085 | 0 | 0.0 | 88M| 73 | - | 120 |8005 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
132.05/132.19 o 106
132.05/132.19 c * 125s|392372 |162676 | 0 | 0.0 | 88M| 73 | - | 120 |8147 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
138.05/138.11 c 131s|400000 |164922 | 0 | 0.0 | 90M| 73 | - | 120 |8425 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
146.64/146.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
146.64/146.74 c 139s|410000 |167753 | 0 | 0.0 | 93M| 73 | - | 120 |8435 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
154.95/155.10 c 147s|420000 |170639 | 0 | 0.0 | 96M| 73 | - | 120 |8454 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
163.75/163.82 c 156s|430000 |173131 | 0 | 0.0 | 99M| 73 | - | 120 |8531 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
172.34/172.46 c 164s|440000 |175427 | 0 | 0.0 | 102M| 73 | - | 120 |8752 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
177.04/177.10 o 102
177.04/177.10 c * 169s|445260 |175955 | 0 | 0.0 | 103M| 73 | - | 120 |8748 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
181.34/181.48 c 173s|450000 |177303 | 0 | 0.0 | 104M| 73 | - | 120 |8767 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
191.63/191.78 c 183s|460000 |179448 | 0 | 0.0 | 107M| 73 | - | 120 |8854 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
201.83/201.95 c 193s|470000 |181847 | 0 | 0.0 | 109M| 73 | - | 120 |8901 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
212.24/212.35 c 203s|480000 |183967 | 0 | 0.0 | 112M| 73 | - | 120 |9246 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
223.02/223.13 c 214s|490000 |185846 | 0 | 0.0 | 115M| 73 | - | 120 |9145 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
230.72/230.87 o 101
230.72/230.87 c * 221s|497011 |186935 | 0 | 0.0 | 116M| 73 | - | 120 |9370 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
234.82/234.99 c 225s|500000 |187251 | 0 | 0.0 | 117M| 73 | - | 120 |9366 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
249.02/249.12 c 239s|510000 |188914 | 0 | 0.0 | 120M| 73 | - | 120 |9368 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
262.61/262.75 c 253s|520000 |190775 | 0 | 0.0 | 122M| 73 | - | 120 |9663 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
277.12/277.20 c 267s|530000 |192306 | 0 | 0.0 | 125M| 73 | - | 120 |9414 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
298.20/298.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
298.20/298.33 c 288s|540000 |193164 | 0 | 0.0 | 127M| 73 | - | 120 |9598 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
319.80/319.93 c 309s|550000 |193584 | 0 | 0.0 | 128M| 73 | - | 120 |7956 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
330.39/330.58 c 320s|560000 |196626 | 0 | 0.0 | 129M| 73 | - | 120 |5990 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
334.69/334.85 o 100
334.69/334.85 c * 324s|569721 |199909 | 0 | 0.0 | 131M| 73 | - | 120 |5837 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
334.79/334.98 c 324s|570000 |199999 | 0 | 0.0 | 131M| 73 | - | 120 |5814 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
339.29/339.44 c 328s|580000 |202743 | 0 | 0.0 | 133M| 73 | - | 120 |5635 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
343.79/343.99 c 332s|590000 |205340 | 0 | 0.0 | 135M| 73 | - | 120 |5430 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
348.79/348.90 c 337s|600000 |206766 | 0 | 0.0 | 137M| 73 | - | 120 |5321 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
352.59/352.77 c 341s|610000 |212495 | 0 | 0.0 | 139M| 73 | - | 120 |4220 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
356.30/356.46 c 344s|620000 |218037 | 0 | 0.0 | 141M| 73 | - | 120 |3727 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
360.09/360.20 c 348s|630000 |222884 | 0 | 0.0 | 143M| 73 | - | 120 |3745 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
364.08/364.23 c 352s|640000 |227098 | 0 | 0.0 | 145M| 73 | - | 120 |3995 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
368.29/368.47 c 356s|650000 |231051 | 0 | 0.0 | 148M| 73 | - | 120 |4002 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
372.79/372.91 c 360s|660000 |234680 | 0 | 0.0 | 150M| 73 | - | 120 |3956 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
377.39/377.54 c 364s|670000 |238187 | 0 | 0.0 | 152M| 73 | - | 120 |4045 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
382.28/382.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
382.28/382.48 c 369s|680000 |241598 | 0 | 0.0 | 154M| 73 | - | 120 |4051 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
386.48/386.63 c 373s|690000 |245643 | 0 | 0.0 | 156M| 73 | - | 120 |3449 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
389.08/389.24 o 99
389.08/389.24 c * 376s|697321 |248247 | 0 | 0.0 | 158M| 73 | - | 120 |3166 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
390.08/390.24 c 377s|700000 |248816 | 0 | 0.0 | 158M| 73 | - | 120 |3154 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
393.38/393.52 c 380s|710000 |253634 | 0 | 0.0 | 161M| 73 | - | 120 |2805 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
396.68/396.88 c 383s|720000 |257765 | 0 | 0.0 | 163M| 73 | - | 120 |2704 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
400.07/400.26 c 386s|730000 |260921 | 0 | 0.0 | 165M| 73 | - | 120 |2719 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
402.98/403.15 c 389s|740000 |265913 | 0 | 0.0 | 168M| 73 | - | 120 |3290 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
405.97/406.10 c 391s|750000 |272231 | 0 | 0.0 | 170M| 73 | - | 120 |3986 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
409.08/409.26 c 394s|760000 |278625 | 0 | 0.0 | 173M| 73 | - | 120 |4340 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
412.38/412.57 c 398s|770000 |284889 | 0 | 0.0 | 176M| 73 | - | 120 |4489 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
415.97/416.12 c 401s|780000 |290849 | 0 | 0.0 | 178M| 73 | - | 120 |4590 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
419.27/419.47 c 404s|790000 |297217 | 0 | 0.0 | 181M| 73 | - | 120 |4595 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
422.97/423.19 c 408s|800000 |302676 | 0 | 0.0 | 183M| 73 | - | 120 |5357 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
426.87/427.06 c 411s|810000 |308504 | 0 | 0.0 | 186M| 73 | - | 120 |5398 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
430.77/430.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
430.77/430.94 c 415s|820000 |314390 | 0 | 0.0 | 188M| 73 | - | 120 |5496 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
434.97/435.17 c 419s|830000 |319715 | 0 | 0.0 | 191M| 73 | - | 120 |6108 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
439.57/439.72 c 423s|840000 |325261 | 0 | 0.0 | 193M| 73 | - | 120 |6322 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
443.86/444.06 c 428s|850000 |330751 | 0 | 0.0 | 196M| 73 | - | 120 |6717 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
448.16/448.35 c 432s|860000 |336613 | 0 | 0.0 | 198M| 73 | - | 120 |6620 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
453.07/453.27 c 436s|870000 |341817 | 0 | 0.0 | 201M| 73 | - | 120 |6997 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
457.96/458.19 c 441s|880000 |347189 | 0 | 0.0 | 203M| 73 | - | 120 |7230 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
463.06/463.29 c 446s|890000 |352457 | 0 | 0.0 | 206M| 73 | - | 120 |7451 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
468.37/468.54 c 451s|900000 |357585 | 0 | 0.0 | 208M| 73 | - | 120 |7588 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
473.56/473.77 c 456s|910000 |362656 | 0 | 0.0 | 211M| 73 | - | 120 |8158 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
478.86/479.07 c 461s|920000 |367944 | 0 | 0.0 | 214M| 73 | - | 120 |8253 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
484.75/484.98 c 467s|930000 |372747 | 0 | 0.0 | 216M| 73 | - | 120 |8629 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
490.85/491.07 c 473s|940000 |377541 | 0 | 0.0 | 219M| 73 | - | 120 |8712 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
496.96/497.20 c 479s|950000 |382388 | 0 | 0.0 | 221M| 73 | - | 120 |9034 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
503.35/503.50 c 485s|960000 |387318 | 0 | 0.0 | 224M| 73 | - | 120 |9346 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
509.25/509.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
509.25/509.49 c 491s|970000 |392462 | 0 | 0.0 | 226M| 73 | - | 120 |9386 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
515.55/515.77 c 497s|980000 |397261 | 0 | 0.0 | 229M| 73 | - | 120 | 10k| 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
521.54/521.73 c 503s|990000 |402795 | 0 | 0.0 | 232M| 73 | - | 120 | 10k| 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
528.34/528.57 c 509s| 1000k|407735 | 0 | 0.0 | 234M| 73 | - | 120 | 10k| 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
536.24/536.42 c 517s| 1010k|411905 | 0 | 0.0 | 236M| 73 | - | 120 | 10k| 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
543.84/544.06 c 524s| 1020k|416810 | 0 | 0.0 | 239M| 73 | - | 120 | 10k| 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
551.94/552.16 c 532s| 1030k|421256 | 0 | 0.0 | 242M| 73 | - | 120 | 10k| 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
559.64/559.84 c 540s| 1040k|425750 | 0 | 0.0 | 244M| 73 | - | 120 | 11k| 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
566.64/566.80 c 546s| 1050k|430921 | 0 | 0.0 | 247M| 73 | - | 120 | 11k| 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
574.23/574.41 c 554s| 1060k|435675 | 0 | 0.0 | 250M| 73 | - | 120 | 11k| 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
581.74/581.97 c 561s| 1070k|440862 | 0 | 0.0 | 252M| 73 | - | 120 | 11k| 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
590.44/590.60 c 570s| 1080k|445611 | 0 | 0.0 | 255M| 73 | - | 120 | 11k| 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
594.03/594.23 o 97
594.03/594.23 c * 573s| 1084k|445560 | 0 | 0.0 | 254M| 73 | - | 120 | 11k| 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
599.43/599.61 c 578s| 1090k|447901 | 0 | 0.0 | 256M| 73 | - | 120 | 11k| 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
608.62/608.80 c 587s| 1100k|452234 | 0 | 0.0 | 258M| 73 | - | 120 | 11k| 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
618.12/618.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
618.12/618.32 c 597s| 1110k|456580 | 0 | 0.0 | 261M| 73 | - | 120 | 12k| 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
628.42/628.69 c 607s| 1120k|460506 | 0 | 0.0 | 263M| 73 | - | 120 | 12k| 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
638.51/638.71 c 617s| 1130k|464701 | 0 | 0.0 | 266M| 73 | - | 120 | 12k| 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
648.72/648.93 c 627s| 1140k|469093 | 0 | 0.0 | 269M| 73 | - | 120 | 12k| 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
658.62/658.85 c 636s| 1150k|473385 | 0 | 0.0 | 271M| 73 | - | 120 | 12k| 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
668.51/668.80 c 646s| 1160k|477615 | 0 | 0.0 | 274M| 73 | - | 120 | 12k| 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
677.20/677.47 c 655s| 1170k|482434 | 0 | 0.0 | 276M| 73 | - | 120 | 13k| 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
686.80/687.07 c 664s| 1180k|487013 | 0 | 0.0 | 279M| 73 | - | 120 | 13k| 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
695.79/696.06 c 673s| 1190k|491976 | 0 | 0.0 | 282M| 73 | - | 120 | 13k| 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
706.49/706.76 c 683s| 1200k|496304 | 0 | 0.0 | 284M| 73 | - | 120 | 13k| 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
717.89/718.17 c 695s| 1210k|500446 | 0 | 0.0 | 287M| 73 | - | 120 | 13k| 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
729.58/729.87 c 706s| 1220k|504464 | 0 | 0.0 | 290M| 73 | - | 120 | 14k| 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
741.99/742.29 c 718s| 1230k|508279 | 0 | 0.0 | 292M| 73 | - | 120 | 14k| 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
754.48/754.75 c 731s| 1240k|512258 | 0 | 0.0 | 295M| 73 | - | 120 | 14k| 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
767.28/767.57 c 743s| 1250k|516119 | 0 | 0.0 | 297M| 73 | - | 120 | 14k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
779.78/780.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
779.78/780.01 c 755s| 1260k|519945 | 0 | 0.0 | 300M| 73 | - | 120 | 14k| 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
792.67/792.95 c 768s| 1270k|523808 | 0 | 0.0 | 302M| 73 | - | 120 | 14k| 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
805.77/806.04 c 781s| 1280k|527620 | 0 | 0.0 | 305M| 73 | - | 120 | 14k| 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
818.77/819.05 c 794s| 1290k|531181 | 0 | 0.0 | 308M| 73 | - | 120 | 15k| 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
830.16/830.48 c 805s| 1300k|535079 | 0 | 0.0 | 310M| 73 | - | 120 | 15k| 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
842.06/842.32 c 817s| 1310k|539236 | 0 | 0.0 | 313M| 73 | - | 120 | 15k| 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
854.26/854.50 c 829s| 1320k|543239 | 0 | 0.0 | 316M| 73 | - | 120 | 16k| 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
869.15/869.49 c 843s| 1330k|547222 | 0 | 0.0 | 318M| 73 | - | 120 | 15k| 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
883.55/883.88 c 858s| 1340k|550652 | 0 | 0.0 | 321M| 73 | - | 120 | 16k| 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
898.74/899.08 c 873s| 1350k|553982 | 0 | 0.0 | 323M| 73 | - | 120 | 16k| 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
913.33/913.69 c 887s| 1360k|557531 | 0 | 0.0 | 326M| 73 | - | 120 | 16k| 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
928.63/928.99 c 902s| 1370k|560825 | 0 | 0.0 | 329M| 73 | - | 120 | 16k| 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
944.23/944.53 c 917s| 1380k|564413 | 0 | 0.0 | 331M| 73 | - | 120 | 16k| 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
959.62/959.92 c 933s| 1390k|568069 | 0 | 0.0 | 334M| 73 | - | 120 | 16k| 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
975.12/975.46 c 948s| 1400k|571130 | 0 | 0.0 | 336M| 73 | - | 120 | 16k| 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
991.11/991.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
991.11/991.46 c 964s| 1410k|574227 | 0 | 0.0 | 339M| 73 | - | 120 | 16k| 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
1005.51/1005.89 c 978s| 1420k|577671 | 0 | 0.0 | 342M| 73 | - | 120 | 17k| 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
1020.30/1020.61 c 992s| 1430k|581474 | 0 | 0.0 | 345M| 73 | - | 120 | 17k| 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
1034.71/1035.01 c 1007s| 1440k|585171 | 0 | 0.0 | 347M| 73 | - | 120 | 17k| 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
1051.49/1051.84 c 1023s| 1450k|588728 | 0 | 0.0 | 350M| 73 | - | 120 | 17k| 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
1068.80/1069.15 c 1040s| 1460k|591959 | 0 | 0.0 | 352M| 73 | - | 120 | 17k| 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
1085.59/1085.99 c 1057s| 1470k|595182 | 0 | 0.0 | 355M| 73 | - | 120 | 17k| 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
1097.38/1097.77 o 67
1097.38/1097.77 c *1069s| 1476k|550155 | 0 | 0.0 | 324M| 73 | - | 120 | 17k| 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
1103.48/1103.83 c 1074s| 1480k|551008 | 0 | 0.0 | 325M| 73 | - | 120 | 17k| 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
1120.78/1121.18 c 1092s| 1490k|553521 | 0 | 0.0 | 327M| 73 | - | 120 | 18k| 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
1138.57/1138.98 c 1109s| 1500k|555859 | 0 | 0.0 | 329M| 73 | - | 120 | 18k| 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
1156.87/1157.24 c 1127s| 1510k|558284 | 0 | 0.0 | 332M| 73 | - | 120 | 18k| 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
1175.26/1175.66 c 1145s| 1520k|560625 | 0 | 0.0 | 334M| 73 | - | 120 | 18k| 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
1192.26/1192.62 c 1162s| 1530k|563329 | 0 | 0.0 | 336M| 73 | - | 120 | 18k| 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
1211.15/1211.52 c 1181s| 1540k|565663 | 0 | 0.0 | 339M| 73 | - | 120 | 18k| 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
1230.84/1231.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1230.84/1231.22 c 1200s| 1550k|567676 | 0 | 0.0 | 341M| 73 | - | 120 | 19k| 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
1251.04/1251.43 c 1220s| 1560k|569581 | 0 | 0.0 | 343M| 73 | - | 120 | 19k| 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
1270.04/1270.45 c 1239s| 1570k|571650 | 0 | 0.0 | 346M| 73 | - | 120 | 19k| 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
1289.63/1290.02 c 1258s| 1580k|573833 | 0 | 0.0 | 348M| 73 | - | 120 | 19k| 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
1309.03/1309.45 c 1278s| 1590k|575876 | 0 | 0.0 | 350M| 73 | - | 120 | 19k| 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
1327.82/1328.29 c 1296s| 1600k|578023 | 0 | 0.0 | 353M| 73 | - | 120 | 19k| 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
1349.31/1349.73 c 1317s| 1610k|579615 | 0 | 0.0 | 355M| 73 | - | 120 | 19k| 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
1368.90/1369.36 o 65
1368.90/1369.36 c *1337s| 1619k|573960 | 0 | 0.0 | 351M| 73 | - | 120 | 19k| 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
1369.11/1369.58 c 1337s| 1620k|573977 | 0 | 0.0 | 351M| 73 | - | 120 | 19k| 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
1389.90/1390.34 c 1357s| 1630k|576125 | 0 | 0.0 | 353M| 73 | - | 120 | 15k| 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
1397.80/1398.22 c 1365s| 1640k|581340 | 0 | 0.0 | 354M| 73 | - | 120 | 12k| 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
1403.49/1403.93 c 1371s| 1650k|586400 | 0 | 0.0 | 356M| 73 | - | 120 | 12k| 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
1410.09/1410.57 c 1377s| 1660k|590978 | 0 | 0.0 | 358M| 73 | - | 120 | 11k| 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
1416.30/1416.76 c 1383s| 1670k|595226 | 0 | 0.0 | 360M| 73 | - | 120 | 11k| 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
1423.29/1423.74 c 1390s| 1680k|599123 | 0 | 0.0 | 362M| 73 | - | 120 | 11k| 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
1430.38/1430.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1430.38/1430.90 c 1397s| 1690k|602785 | 0 | 0.0 | 364M| 73 | - | 120 | 11k| 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
1438.18/1438.67 c 1405s| 1700k|606161 | 0 | 0.0 | 367M| 73 | - | 120 | 11k| 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
1445.88/1446.33 c 1412s| 1710k|609422 | 0 | 0.0 | 369M| 73 | - | 120 | 11k| 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
1448.19/1448.66 o 63
1448.19/1448.66 c *1414s| 1712k|479365 | 0 | 0.0 | 293M| 73 | - | 120 | 11k| 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1453.79/1454.21 c 1420s| 1720k|480599 | 0 | 0.0 | 294M| 73 | - | 120 | 10k| 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1459.68/1460.12 c 1425s| 1730k|482666 | 0 | 0.0 | 296M| 73 | - | 120 | 10k| 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1465.56/1466.06 c 1431s| 1740k|484348 | 0 | 0.0 | 299M| 73 | - | 120 | 10k| 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1471.46/1471.98 c 1437s| 1750k|486249 | 0 | 0.0 | 301M| 73 | - | 120 | 10k| 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1477.76/1478.27 c 1443s| 1760k|487766 | 0 | 0.0 | 303M| 73 | - | 120 | 10k| 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1484.05/1484.53 c 1449s| 1770k|489875 | 0 | 0.0 | 305M| 73 | - | 120 | 10k| 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1490.36/1490.86 c 1455s| 1780k|491584 | 0 | 0.0 | 307M| 73 | - | 120 | 10k| 0 | 0 | 0 | 543k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1496.75/1497.23 c 1461s| 1790k|492994 | 0 | 0.0 | 309M| 73 | - | 120 | 10k| 0 | 0 | 0 | 548k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1503.05/1503.55 c 1467s| 1800k|494229 | 0 | 0.0 | 310M| 73 | - | 120 | 10k| 0 | 0 | 0 | 553k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1509.65/1510.12 c 1474s| 1810k|494980 | 0 | 0.0 | 312M| 73 | - | 120 | 10k| 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1516.74/1517.27 c 1481s| 1820k|497211 | 0 | 0.0 | 312M| 73 | - | 120 |5401 | 0 | 0 | 0 | 562k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1520.86/1521.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1520.86/1521.36 c 1484s| 1830k|502689 | 0 | 0.0 | 313M| 73 | - | 120 |4246 | 0 | 0 | 0 | 564k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1524.95/1525.41 c 1488s| 1840k|507940 | 0 | 0.0 | 316M| 73 | - | 120 |4581 | 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1529.24/1529.76 c 1493s| 1850k|513075 | 0 | 0.0 | 318M| 73 | - | 120 |4654 | 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1533.64/1534.11 c 1497s| 1860k|517754 | 0 | 0.0 | 320M| 73 | - | 120 |3713 | 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1538.05/1538.56 c 1501s| 1870k|522131 | 0 | 0.0 | 322M| 73 | - | 120 |3741 | 0 | 0 | 0 | 573k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1542.55/1543.06 c 1505s| 1880k|526575 | 0 | 0.0 | 324M| 73 | - | 120 |3822 | 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1547.54/1548.06 c 1510s| 1890k|530575 | 0 | 0.0 | 326M| 73 | - | 120 |4164 | 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1552.44/1552.90 c 1515s| 1900k|534845 | 0 | 0.0 | 328M| 73 | - | 120 |3797 | 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1557.54/1558.01 c 1520s| 1910k|538529 | 0 | 0.0 | 330M| 73 | - | 120 |4424 | 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1562.73/1563.23 c 1525s| 1920k|542514 | 0 | 0.0 | 333M| 73 | - | 120 |4162 | 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1567.73/1568.23 c 1529s| 1930k|546416 | 0 | 0.0 | 334M| 73 | - | 120 |3957 | 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1573.33/1573.84 c 1535s| 1940k|549859 | 0 | 0.0 | 337M| 73 | - | 120 |4351 | 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1579.03/1579.53 c 1540s| 1950k|553397 | 0 | 0.0 | 339M| 73 | - | 120 |4027 | 0 | 0 | 0 | 597k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1584.33/1584.87 c 1545s| 1960k|556971 | 0 | 0.0 | 341M| 73 | - | 120 |4129 | 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1590.03/1590.60 c 1551s| 1970k|560035 | 0 | 0.0 | 343M| 73 | - | 120 |4447 | 0 | 0 | 0 | 604k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1596.02/1596.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1596.02/1596.58 c 1557s| 1980k|563067 | 0 | 0.0 | 345M| 73 | - | 120 |4535 | 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1602.13/1602.68 c 1563s| 1990k|565961 | 0 | 0.0 | 347M| 73 | - | 120 |4411 | 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1607.83/1608.30 c 1568s| 2000k|569016 | 0 | 0.0 | 349M| 73 | - | 120 |3885 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1613.92/1614.40 c 1574s| 2010k|571680 | 0 | 0.0 | 351M| 73 | - | 120 |4652 | 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1620.61/1621.13 c 1580s| 2020k|574129 | 0 | 0.0 | 353M| 73 | - | 120 |4646 | 0 | 0 | 0 | 623k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1627.01/1627.51 c 1587s| 2030k|576678 | 0 | 0.0 | 355M| 73 | - | 120 |4352 | 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1633.02/1633.57 c 1592s| 2040k|579446 | 0 | 0.0 | 357M| 73 | - | 120 |4241 | 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1639.41/1639.99 c 1599s| 2050k|581718 | 0 | 0.0 | 359M| 73 | - | 120 |4863 | 0 | 0 | 0 | 634k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1646.71/1647.25 c 1606s| 2060k|583807 | 0 | 0.0 | 361M| 73 | - | 120 |4520 | 0 | 0 | 0 | 639k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1653.51/1654.08 c 1612s| 2070k|586150 | 0 | 0.0 | 363M| 73 | - | 120 |4535 | 0 | 0 | 0 | 643k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1660.21/1660.74 c 1619s| 2080k|588451 | 0 | 0.0 | 365M| 73 | - | 120 |4833 | 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1668.22/1668.79 c 1627s| 2090k|590297 | 0 | 0.0 | 367M| 73 | - | 120 |4761 | 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1675.61/1676.11 c 1634s| 2100k|592700 | 0 | 0.0 | 369M| 73 | - | 120 |4771 | 0 | 0 | 0 | 656k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1683.10/1683.68 c 1641s| 2110k|595245 | 0 | 0.0 | 371M| 73 | - | 120 |5048 | 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1689.79/1690.30 c 1647s| 2120k|598249 | 0 | 0.0 | 373M| 73 | - | 120 |5543 | 0 | 0 | 0 | 665k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1696.00/1696.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1696.00/1696.50 c 1653s| 2130k|601062 | 0 | 0.0 | 376M| 73 | - | 120 |5928 | 0 | 0 | 0 | 669k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1702.60/1703.11 c 1660s| 2140k|603555 | 0 | 0.0 | 378M| 73 | - | 120 |6080 | 0 | 0 | 0 | 673k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1708.90/1709.44 c 1666s| 2150k|606595 | 0 | 0.0 | 380M| 73 | - | 120 |6148 | 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1713.69/1714.20 c 1670s| 2160k|609963 | 0 | 0.0 | 382M| 73 | - | 120 |5933 | 0 | 0 | 0 | 681k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1718.58/1719.19 c 1675s| 2170k|612319 | 0 | 0.0 | 384M| 73 | - | 120 |6056 | 0 | 0 | 0 | 685k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1723.79/1724.31 c 1680s| 2180k|613996 | 0 | 0.0 | 386M| 73 | - | 120 |5975 | 0 | 0 | 0 | 690k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1728.99/1729.59 c 1685s| 2190k|615568 | 0 | 0.0 | 387M| 73 | - | 120 |5651 | 0 | 0 | 0 | 695k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1734.09/1734.67 c 1690s| 2200k|620259 | 0 | 0.0 | 389M| 73 | - | 120 |6345 | 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1739.48/1740.03 c 1695s| 2210k|624198 | 0 | 0.0 | 391M| 73 | - | 120 |6346 | 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1744.98/1745.58 c 1701s| 2220k|627390 | 0 | 0.0 | 393M| 73 | - | 120 |6442 | 0 | 0 | 0 | 705k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1750.88/1751.47 c 1706s| 2230k|629971 | 0 | 0.0 | 395M| 73 | - | 120 |5965 | 0 | 0 | 0 | 709k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1756.67/1757.20 c 1712s| 2240k|632234 | 0 | 0.0 | 396M| 73 | - | 120 |5464 | 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1762.17/1762.76 c 1717s| 2250k|634581 | 0 | 0.0 | 398M| 73 | - | 120 |5158 | 0 | 0 | 0 | 718k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1766.68/1767.29 c 1721s| 2260k|638171 | 0 | 0.0 | 400M| 73 | - | 120 |4711 | 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1770.88/1771.48 c 1725s| 2270k|641415 | 0 | 0.0 | 402M| 73 | - | 120 |4789 | 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1775.28/1775.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1775.28/1775.87 c 1730s| 2280k|644045 | 0 | 0.0 | 404M| 73 | - | 120 |4773 | 0 | 0 | 0 | 730k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1779.87/1780.46 c 1734s| 2290k|645882 | 0 | 0.0 | 405M| 73 | - | 120 |4820 | 0 | 0 | 0 | 734k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1781.67/1782.28 o 62
1781.67/1782.28 c *1736s| 2293k|645981 | 0 | 0.0 | 406M| 73 | - | 120 |4803 | 0 | 0 | 0 | 736k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1784.78/1785.31 c 1739s| 2300k|646717 | 0 | 0.0 | 407M| 73 | - | 120 |4780 | 0 | 0 | 0 | 739k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1789.47/1790.09 c 1743s| 2310k|648570 | 0 | 0.0 | 408M| 73 | - | 120 |4685 | 0 | 0 | 0 | 744k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1794.07/1794.64 c 1748s| 2320k|649959 | 0 | 0.0 | 410M| 73 | - | 120 |4735 | 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1799.17/1799.74 c 1752s| 2330k|651993 | 0 | 0.0 | 412M| 73 | - | 120 |4859 | 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1800.08/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.61 c
1800.08/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.61 c Solving Time (sec) : 1753.20
1800.08/1800.61 c Solving Nodes : 2332090
1800.08/1800.61 c Primal Bound : +6.20000000000000e+01 (13 solutions)
1800.08/1800.61 c Dual Bound : +0.00000000000000e+00
1800.08/1800.61 c Gap : infinite
1800.08/1800.61 s SATISFIABLE
1800.08/1800.61 v x90 -x120 x119 -x118 x117 -x116 -x115 x114 x113 x112 x111 -x110 x109 x108 x107 -x106 -x105 x104 -x103 x102 -x101 -x100 -x99 -x98
1800.08/1800.61 v -x97 -x96 x95 x94 x93 -x92 x91 x89 x88 -x87 -x86 -x85 x84 -x83 x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70
1800.08/1800.61 v -x69 x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 x53 x52 x51 -x50 -x49 -x48 -x47 -x46 x45 -x44
1800.08/1800.61 v -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19
1800.08/1800.61 v x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 x2 -x1
1800.08/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.61 c Solving Time : 1753.20
1800.08/1800.61 c Original Problem :
1800.08/1800.61 c Problem name : HOME/instance-2664234-1276616198.opb
1800.08/1800.61 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.61 c Constraints : 10 initial, 10 maximal
1800.08/1800.61 c Presolved Problem :
1800.08/1800.61 c Problem name : t_HOME/instance-2664234-1276616198.opb
1800.08/1800.61 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.61 c Constraints : 5 initial, 19861 maximal
1800.08/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.61 c linear : 0.00 0 0 0 0 0 5 0 0
1800.08/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c root node : - 13 - - 13 - - - -
1800.08/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.61 c linear : 5 0 4999576 0 1711047 533880 11436064 0 0 0
1800.08/1800.61 c logicor : 0+ 0 1672043 0 0 4071 584612 0 0 0
1800.08/1800.61 c countsols : 0 0 0 0 1711054 0 0 0 0 0
1800.08/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.61 c linear : 287.54 0.00 286.04 0.00 1.50
1800.08/1800.61 c logicor : 696.95 0.00 696.95 0.00 0.00
1800.08/1800.61 c countsols : 0.66 0.00 0.00 0.00 0.66
1800.08/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.61 c vbounds : 2.97 2 0 0
1800.08/1800.61 c rootredcost : 2.74 0 0 0
1800.08/1800.61 c pseudoobj : 78.98 5238941 239558 7839471
1800.08/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.61 c propagation : 88.75 777509 724868 2463258 34.1 911 41.7 -
1800.08/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.61 c pseudo solution : 0.00 7 7 8 6.0 0 0.0 -
1800.08/1800.61 c applied globally : - - - 564180 25.4 - - -
1800.08/1800.61 c applied locally : - - - 189749 38.6 - - -
1800.08/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.08/1800.61 c redcost : 0.00 0 0 0 0 0
1800.08/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.08/1800.61 c intobj : 0.00 0 0 0 0 0
1800.08/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.61 c gomory : 0.00 0 0 0 0 0
1800.08/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.08/1800.61 c cmir : 0.00 0 0 0 0 0
1800.08/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.08/1800.61 c clique : 0.00 0 0 0 0 0
1800.08/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.61 c mcf : 0.00 0 0 0 0 0
1800.08/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.61 c Pricers : Time Calls Vars
1800.08/1800.61 c problem variables: 0.00 0 0
1800.08/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.08/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.61 c inference : 34.16 1711041 0 0 0 0 3422082
1800.08/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.61 c random : 0.00 0 0 0 0 0 0
1800.08/1800.61 c Primal Heuristics : Time Calls Found
1800.08/1800.61 c LP solutions : 0.00 - 0
1800.08/1800.61 c pseudo solutions : 0.98 - 13
1800.08/1800.61 c oneopt : 1.60 0 0
1800.08/1800.61 c trivial : 0.00 2 0
1800.08/1800.61 c simplerounding : 0.00 0 0
1800.08/1800.61 c zirounding : 0.00 0 0
1800.08/1800.61 c rounding : 0.00 0 0
1800.08/1800.61 c shifting : 0.00 0 0
1800.08/1800.61 c intshifting : 0.00 0 0
1800.08/1800.61 c twoopt : 0.00 0 0
1800.08/1800.61 c fixandinfer : 0.00 0 0
1800.08/1800.61 c feaspump : 0.00 0 0
1800.08/1800.61 c coefdiving : 0.00 0 0
1800.08/1800.61 c pscostdiving : 0.00 0 0
1800.08/1800.61 c fracdiving : 0.00 0 0
1800.08/1800.61 c veclendiving : 0.00 0 0
1800.08/1800.61 c intdiving : 0.00 0 0
1800.08/1800.61 c actconsdiving : 0.00 0 0
1800.08/1800.61 c objpscostdiving : 0.00 0 0
1800.08/1800.61 c rootsoldiving : 0.00 0 0
1800.08/1800.61 c linesearchdiving : 0.00 0 0
1800.08/1800.61 c guideddiving : 0.00 0 0
1800.08/1800.61 c octane : 0.00 0 0
1800.08/1800.61 c rens : 0.00 0 0
1800.08/1800.61 c rins : 0.00 0 0
1800.08/1800.61 c localbranching : 0.00 0 0
1800.08/1800.61 c mutation : 0.00 0 0
1800.08/1800.61 c crossover : 0.00 0 0
1800.08/1800.61 c dins : 0.00 0 0
1800.08/1800.61 c undercover : 0.00 0 0
1800.08/1800.61 c nlp : 1.35 0 0
1800.08/1800.61 c trysol : 1.01 0 0
1800.08/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.08/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.08/1800.61 c (at root node) : - 0 0 0.00 -
1800.08/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.61 c B&B Tree :
1800.08/1800.61 c number of runs : 1
1800.08/1800.61 c nodes : 2332090
1800.08/1800.61 c nodes (total) : 2332090
1800.08/1800.61 c nodes left : 653247
1800.08/1800.61 c max depth : 73
1800.08/1800.61 c max depth (total): 73
1800.08/1800.61 c backtracks : 210924 (9.0%)
1800.08/1800.61 c delayed cutoffs : 157460
1800.08/1800.61 c repropagations : 1038881 (3857376 domain reductions, 156480 cutoffs)
1800.08/1800.61 c avg switch length: 5.45
1800.08/1800.61 c switching time : 419.64
1800.08/1800.61 c Solution :
1800.08/1800.61 c Solutions found : 13 (13 improvements)
1800.08/1800.61 c First Solution : +1.20000000000000e+02 (in run 1, after 133944 nodes, 15.21 seconds, depth 73, found by <relaxation>)
1800.08/1800.61 c Primal Bound : +6.20000000000000e+01 (in run 1, after 2293634 nodes, 1735.71 seconds, depth 47, found by <relaxation>)
1800.08/1800.61 c Dual Bound : +0.00000000000000e+00
1800.08/1800.61 c Gap : infinite
1800.08/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.08/1800.61 c Root Iterations : 0
OK 62
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664234-1276616198/watcher-2664234-1276616198 -o /tmp/evaluation-result-2664234-1276616198/solver-2664234-1276616198 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664234-1276616198.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.92 0.98 0.99 3/106 10747 /proc/meminfo: memFree=1751228/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=6584 CPUtime=0 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 1109 0 0 0 0 0 0 0 17 0 1 0 2910593 6742016 1032 1992294400 4194304 7136930 140736273678640 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10747/statm: 1646 1041 254 719 0 925 0 [startup+0.03373 s] /proc/loadavg: 0.92 0.98 0.99 3/106 10747 /proc/meminfo: memFree=1751228/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=10964 CPUtime=0.03 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 2702 0 0 0 2 1 0 0 17 0 1 0 2910593 11227136 2015 1992294400 4194304 7136930 140736273678640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 2741 2015 375 719 0 2020 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10964 [startup+0.101736 s] /proc/loadavg: 0.92 0.98 0.99 3/106 10747 /proc/meminfo: memFree=1751228/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=11388 CPUtime=0.1 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 2794 0 0 0 8 2 0 0 17 0 1 0 2910593 11661312 2107 1992294400 4194304 7136930 140736273678640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 2847 2107 383 719 0 2126 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 11388 [startup+0.301753 s] /proc/loadavg: 0.92 0.98 0.99 3/106 10747 /proc/meminfo: memFree=1751228/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=12272 CPUtime=0.29 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 3027 0 0 0 25 4 0 0 17 0 1 0 2910593 12566528 2340 1992294400 4194304 7136930 140736273678640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 3068 2340 383 719 0 2347 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12272 [startup+0.701789 s] /proc/loadavg: 0.92 0.98 0.99 3/106 10747 /proc/meminfo: memFree=1751228/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=13864 CPUtime=0.69 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 3433 0 0 0 61 8 0 0 17 0 1 0 2910593 14196736 2746 1992294400 4194304 7136930 140736273678640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 3466 2746 383 719 0 2745 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13864 [startup+1.50086 s] /proc/loadavg: 0.92 0.98 0.99 2/107 10748 /proc/meminfo: memFree=1741052/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=16328 CPUtime=1.49 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 4090 0 0 0 132 17 0 0 18 0 1 0 2910593 16719872 3403 1992294400 4194304 7136930 140736273678640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 4082 3403 383 719 0 3361 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16328 [startup+3.10101 s] /proc/loadavg: 0.92 0.98 0.99 2/107 10748 /proc/meminfo: memFree=1736836/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=22760 CPUtime=3.09 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 5713 0 0 0 272 37 0 0 21 0 1 0 2910593 23306240 5026 1992294400 4194304 7136930 140736273678640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 5690 5026 383 719 0 4969 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22760 [startup+6.3013 s] /proc/loadavg: 0.93 0.98 0.99 2/107 10750 /proc/meminfo: memFree=1724684/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=32736 CPUtime=6.29 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 8305 0 0 0 557 72 0 0 25 0 1 0 2910593 33521664 7618 1992294400 4194304 7136930 140736273678640 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 8184 7618 383 719 0 7463 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32736 [startup+12.7009 s] /proc/loadavg: 0.93 0.98 0.99 2/107 10750 /proc/meminfo: memFree=1701124/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=57420 CPUtime=12.68 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 14148 0 0 0 1123 145 0 0 25 0 1 0 2910593 58798080 13461 1992294400 4194304 7136930 140736273678640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 14355 13461 383 719 0 13634 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 57420 [startup+25.501 s] /proc/loadavg: 0.95 0.98 0.99 2/107 10750 /proc/meminfo: memFree=1676944/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=78404 CPUtime=25.49 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 19732 0 0 0 2288 261 0 0 25 0 1 0 2910593 80285696 18853 1992294400 4194304 7136930 140736273678640 18446744073709551615 4982565 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 19601 18853 384 719 0 18880 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 78404 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/107 10750 /proc/meminfo: memFree=1668140/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=87232 CPUtime=51.08 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 21893 0 0 0 4690 418 0 0 25 0 1 0 2910593 89325568 21014 1992294400 4194304 7136930 140736273678640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 21808 21014 384 719 0 21087 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 87232 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 10752 /proc/meminfo: memFree=1644084/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=111000 CPUtime=102.28 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 27847 0 0 0 9605 623 0 0 25 0 1 0 2910593 113664000 26968 1992294400 4194304 7136930 140736273678640 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 27750 26968 384 719 0 27029 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 111000 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10754 /proc/meminfo: memFree=1624120/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=130920 CPUtime=162.24 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 32861 0 0 0 15441 783 0 0 25 0 1 0 2910593 134062080 31982 1992294400 4194304 7136930 140736273678640 18446744073709551615 4209110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 32730 31982 384 719 0 32009 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 130920 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10754 /proc/meminfo: memFree=1608868/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=145776 CPUtime=222.23 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 36591 0 0 0 21302 921 0 0 25 0 1 0 2910593 149274624 35712 1992294400 4194304 7136930 140736273678640 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 36444 35712 384 719 0 35723 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 145776 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10756 /proc/meminfo: memFree=1597956/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=156692 CPUtime=282.21 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 39322 0 0 0 27200 1021 0 0 25 0 1 0 2910593 160452608 38443 1992294400 4194304 7136930 140736273678640 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 39173 38443 384 719 0 38452 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 156692 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10758 /proc/meminfo: memFree=1583944/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=174588 CPUtime=342.19 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 42809 0 0 0 33081 1138 0 0 25 0 1 0 2910593 178778112 41930 1992294400 4194304 7136930 140736273678640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 43647 41930 384 719 0 42926 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 174588 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10760 /proc/meminfo: memFree=1555424/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=202592 CPUtime=402.18 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 50031 0 0 0 38789 1429 0 0 25 0 1 0 2910593 207454208 49152 1992294400 4194304 7136930 140736273678640 18446744073709551615 5000112 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 50648 49152 384 719 0 49927 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 202592 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10762 /proc/meminfo: memFree=1513388/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=242440 CPUtime=462.16 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 60344 0 0 0 44510 1706 0 0 25 0 1 0 2910593 248258560 59465 1992294400 4194304 7136930 140736273678640 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 60610 59465 384 719 0 59889 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 242440 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10762 /proc/meminfo: memFree=1484992/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=269900 CPUtime=522.14 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 67398 0 0 0 50313 1901 0 0 25 0 1 0 2910593 276377600 66519 1992294400 4194304 7136930 140736273678640 18446744073709551615 4209193 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 67475 66519 384 719 0 66754 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 269900 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10764 /proc/meminfo: memFree=1460812/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=293680 CPUtime=582.12 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 73454 0 0 0 56156 2056 0 0 25 0 1 0 2910593 300728320 72575 1992294400 4194304 7136930 140736273678640 18446744073709551615 4979046 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 73420 72575 384 719 0 72699 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 293680 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10766 /proc/meminfo: memFree=1446304/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=315612 CPUtime=642.12 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 77025 0 0 0 62031 2181 0 0 25 0 1 0 2910593 323186688 76146 1992294400 4194304 7136930 140736273678640 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 78903 76146 384 719 0 78182 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 315612 [startup+702.301 s] ################ # More data... # ################ /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 96439 0 0 0 97429 2771 0 0 25 0 1 0 2910593 402305024 95560 1992294400 4194304 7136930 140736273678640 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 98219 95560 384 719 0 97498 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 392876 [startup+1062.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 10778 /proc/meminfo: memFree=1357396/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=403256 CPUtime=1061.99 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 99102 0 0 0 103350 2849 0 0 25 0 1 0 2910593 412934144 98223 1992294400 4194304 7136930 140736273678640 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 100814 98223 384 719 0 100093 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 403256 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10778 /proc/meminfo: memFree=1350576/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=410020 CPUtime=1121.97 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 100750 0 0 0 109271 2926 0 0 25 0 1 0 2910593 419860480 99871 1992294400 4194304 7136930 140736273678640 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 102505 99871 384 719 0 101784 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 410020 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10780 /proc/meminfo: memFree=1350328/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=410596 CPUtime=1181.96 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 100824 0 0 0 115199 2997 0 0 25 0 1 0 2910593 420450304 99945 1992294400 4194304 7136930 140736273678640 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 102649 99945 384 719 0 101928 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 410596 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10782 /proc/meminfo: memFree=1349956/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=410596 CPUtime=1241.94 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 100862 0 0 0 121125 3069 0 0 25 0 1 0 2910593 420450304 99983 1992294400 4194304 7136930 140736273678640 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 102649 99983 384 719 0 101928 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 410596 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10784 /proc/meminfo: memFree=1348592/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=412624 CPUtime=1301.93 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 101207 0 0 0 127052 3141 0 0 25 0 1 0 2910593 422526976 100328 1992294400 4194304 7136930 140736273678640 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 103156 100328 384 719 0 102435 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 412624 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10786 /proc/meminfo: memFree=1343012/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=418284 CPUtime=1361.9 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 102572 0 0 0 132977 3213 0 0 25 0 1 0 2910593 428322816 101693 1992294400 4194304 7136930 140736273678640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 104571 101693 384 719 0 103850 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 418284 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10786 /proc/meminfo: memFree=1335076/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=425540 CPUtime=1421.9 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 104521 0 0 0 138859 3331 0 0 25 0 1 0 2910593 435752960 103642 1992294400 4194304 7136930 140736273678640 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 106385 103642 384 719 0 105664 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 425540 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10797 /proc/meminfo: memFree=1326148/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=433744 CPUtime=1481.86 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 106584 0 0 0 144669 3517 0 0 25 0 1 0 2910593 444153856 105705 1992294400 4194304 7136930 140736273678640 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 108436 105705 386 719 0 107715 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 433744 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10799 /proc/meminfo: memFree=1322056/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=438236 CPUtime=1541.85 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 107706 0 0 0 150448 3737 0 0 25 0 1 0 2910593 448753664 106827 1992294400 4194304 7136930 140736273678640 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 109559 106827 386 719 0 108838 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 438236 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10801 /proc/meminfo: memFree=1320196/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=440032 CPUtime=1601.82 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 108155 0 0 0 156228 3954 0 0 25 0 1 0 2910593 450592768 107276 1992294400 4194304 7136930 140736273678640 18446744073709551615 5000064 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 110008 107276 386 719 0 109287 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 440032 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10803 /proc/meminfo: memFree=1308292/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=451812 CPUtime=1661.8 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 111132 0 0 0 162025 4155 0 0 25 0 1 0 2910593 462655488 110253 1992294400 4194304 7136930 140736273678640 18446744073709551615 4219938 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 112953 110253 386 719 0 112232 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 451812 [startup+1722.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 10803 /proc/meminfo: memFree=1295644/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=464292 CPUtime=1721.78 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 114278 0 0 0 167822 4356 0 0 25 0 1 0 2910593 475435008 113399 1992294400 4194304 7136930 140736273678640 18446744073709551615 4979176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 116073 113399 386 719 0 115352 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 464292 [startup+1782.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 10805 /proc/meminfo: memFree=1273820/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=485988 CPUtime=1781.77 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 119860 0 0 0 173575 4602 0 0 25 0 1 0 2910593 497651712 118981 1992294400 4194304 7136930 140736273678640 18446744073709551615 5956317 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 121497 118981 386 719 0 120776 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 485988 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.01 1.00 1.00 2/107 10805 /proc/meminfo: memFree=1267372/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=491516 CPUtime=1800.08 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 121280 0 0 0 175320 4688 0 0 25 0 1 0 2910593 503312384 120401 1992294400 4194304 7136930 140736273678640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10747/statm: 122879 120401 386 719 0 122158 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 491516 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -10747 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.01 1.00 1.00 2/107 10805 /proc/meminfo: memFree=1267372/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=491516 CPUtime=1800.86 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 121286 0 0 0 175398 4688 0 0 25 0 1 0 2910593 503312384 120407 1992294400 4194304 7136930 140736273678640 18446744073709551615 4212062 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10747/statm: 122879 120407 392 719 0 122158 0 Current children cumulated CPU time (s) 1800.86 Current children cumulated vsize (KiB) 491516 [startup+1802.2 s] /proc/loadavg: 1.01 1.00 1.00 2/108 10806 /proc/meminfo: memFree=1267364/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=491516 CPUtime=1801.66 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 121286 0 0 0 175478 4688 0 0 25 0 1 0 2910593 503312384 120407 1992294400 4194304 7136930 140736273678640 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10747/statm: 122879 120407 392 719 0 122158 0 Current children cumulated CPU time (s) 1801.66 Current children cumulated vsize (KiB) 491516 [startup+1802.6 s] /proc/loadavg: 1.01 1.00 1.00 2/108 10806 /proc/meminfo: memFree=1267364/2059040 swapFree=4192956/4192956 [pid=10747] ppid=10745 vsize=491516 CPUtime=1802.06 /proc/10747/stat : 10747 (pbscip.linux.x8) R 10745 10747 10722 0 -1 4202496 121286 0 0 0 175518 4688 0 0 25 0 1 0 2910593 503312384 120407 1992294400 4194304 7136930 140736273678640 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10747/statm: 122879 120407 392 719 0 122158 0 Current children cumulated CPU time (s) 1802.06 Current children cumulated vsize (KiB) 491516 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.66 CPU time (s): 1802.13 CPU user time (s): 1755.2 CPU system time (s): 46.9339 CPU usage (%): 99.9708 Max. virtual memory (cumulated for all children) (KiB): 491516 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1755.2 system time used= 46.9339 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 121286 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= 4 involuntary context switches= 2857 runsolver used 2.84657 second user time and 8.65768 second system time The end
Begin job on node057 at 2010-06-15 17:36:38 IDJOB=2664234 IDBENCH=2923 IDSOLVER=1167 FILE ID=node057/2664234-1276616198 PBS_JOBID= 11172311 Free space on /tmp= 62536 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_1.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664234-1276616198/watcher-2664234-1276616198 -o /tmp/evaluation-result-2664234-1276616198/solver-2664234-1276616198 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664234-1276616198.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5bf563c7058af01702ea80887f1d43ad RANDOM SEED=940240676 node057.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.247 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.49 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.247 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1751880 kB Buffers: 36848 kB Cached: 135540 kB SwapCached: 0 kB Active: 116592 kB Inactive: 114972 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1751880 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3240 kB Writeback: 0 kB AnonPages: 59124 kB Mapped: 15384 kB Slab: 53912 kB PageTables: 4056 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181124 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= 62532 MiB End job on node057 at 2010-06-15 18:06:41