Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.11 | 1802.07 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554072--soft-66-100-0.wbo |
| MD5SUM | 94413eaf3e98de59f2ecdb125fc71636 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 313.541 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 961 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 46411 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 46410 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 695 |
| Number of bits of the biggest sum of numbers | 10 |
| 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-2694034-1277901333.wbo>
0.01/0.02 c original problem has 2153 variables (1192 bin, 0 int, 0 impl, 961 cont) and 3669 constraints
0.01/0.02 c problem read
0.01/0.02 c presolving settings loaded
0.01/0.02 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.01/0.04 c presolving:
0.01/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1161 impls, 15 clqs
0.01/0.07 c (round 2) 0 del vars, 107 del conss, 961 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1161 impls, 15 clqs
0.01/0.08 c (round 3) 50 del vars, 157 del conss, 961 chg bounds, 50 chg sides, 0 chg coeffs, 1690 upgd conss, 1161 impls, 15 clqs
0.01/0.09 c (round 4) 100 del vars, 157 del conss, 961 chg bounds, 50 chg sides, 0 chg coeffs, 1690 upgd conss, 1161 impls, 15 clqs
0.09/0.14 c (0.1s) probing: 101/1142 (8.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14 c presolving (5 rounds):
0.09/0.14 c 100 deleted vars, 157 deleted constraints, 961 tightened bounds, 0 added holes, 50 changed sides, 0 changed coefficients
0.09/0.14 c 1161 implications, 15 cliques
0.09/0.14 c presolved problem has 2053 variables (1142 bin, 0 int, 0 impl, 911 cont) and 3512 constraints
0.09/0.14 c 911 constraints of type <indicator>
0.09/0.14 c 1 constraints of type <knapsack>
0.09/0.14 c 15 constraints of type <setppc>
0.09/0.14 c 911 constraints of type <linear>
0.09/0.14 c 1674 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.10
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1799.98
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 3420
0.09/0.14 c
0.09/0.14 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c lp/solvefreq = -1
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify inequalities
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/linear/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify knapsacks
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c separating/rapidlearning/freq = 0
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 c
0.09/0.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.14 c 0.1s| 1 | 2 | 0 | - |7818k| 0 | - |2053 |3512 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.62 o 437
0.59/0.62 c * 0.6s| 2141 | 1876 | 0 | 0.0 |9295k|1099 | - |2053 |3724 | 0 | 0 | 0 | 224 | 0 | 0.000000e+00 | 4.370000e+02 | Inf
0.69/0.76 o 274
0.69/0.76 c * 0.7s| 2678 | 2321 | 0 | 0.0 |9523k|1099 | - |2053 |3718 | 0 | 0 | 0 | 224 | 0 | 0.000000e+00 | 2.740000e+02 | Inf
0.69/0.76 o 238
0.69/0.76 c * 0.7s| 2693 | 2241 | 0 | 0.0 |9526k|1099 | - |2053 |3718 | 0 | 0 | 0 | 224 | 0 | 0.000000e+00 | 2.380000e+02 | Inf
2.49/2.53 c 2.4s| 10000 | 8515 | 0 | 0.0 | 14M|1099 | - |2053 |4956 | 0 | 0 | 0 |3227 | 0 | 0.000000e+00 | 2.380000e+02 | Inf
4.49/4.54 o 223
4.49/4.54 c * 4.4s| 16137 | 12815 | 0 | 0.0 | 20M|1099 | - |2053 |6699 | 0 | 0 | 0 |8672 | 0 | 0.000000e+00 | 2.230000e+02 | Inf
4.49/4.57 o 188
4.49/4.57 c * 4.4s| 16220 | 12889 | 0 | 0.0 | 20M|1099 | - |2053 |6687 | 0 | 0 | 0 |8683 | 0 | 0.000000e+00 | 1.880000e+02 | Inf
4.89/4.93 o 170
4.89/4.93 c * 4.8s| 17283 | 13873 | 0 | 0.0 | 20M|1099 | - |2053 |6093 | 0 | 0 | 0 |8889 | 0 | 0.000000e+00 | 1.700000e+02 | Inf
4.89/4.95 o 156
4.89/4.95 c * 4.8s| 17332 | 13904 | 0 | 0.0 | 20M|1099 | - |2053 |6066 | 0 | 0 | 0 |8893 | 0 | 0.000000e+00 | 1.560000e+02 | Inf
5.79/5.87 c 5.7s| 20000 | 16352 | 0 | 0.0 | 22M|1099 | - |2053 |5178 | 0 | 0 | 0 |9529 | 0 | 0.000000e+00 | 1.560000e+02 | Inf
5.89/5.96 o 120
5.89/5.96 c * 5.8s| 20303 | 16497 | 0 | 0.0 | 22M|1099 | - |2053 |5106 | 0 | 0 | 0 |9591 | 0 | 0.000000e+00 | 1.200000e+02 | Inf
5.89/5.97 o 115
5.89/5.97 c * 5.8s| 20304 | 16479 | 0 | 0.0 | 22M|1099 | - |2053 |5106 | 0 | 0 | 0 |9591 | 0 | 0.000000e+00 | 1.150000e+02 | Inf
6.19/6.23 o 73
6.19/6.23 c * 6.0s| 21064 | 16363 | 0 | 0.0 | 22M|1099 | - |2053 |5035 | 0 | 0 | 0 |9794 | 0 | 0.000000e+00 | 7.300000e+01 | Inf
6.49/6.59 o 59
6.49/6.59 c * 6.4s| 22170 | 17186 | 0 | 0.0 | 23M|1099 | - |2053 |4849 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
6.60/6.69 o 49
6.60/6.69 c * 6.5s| 22473 | 17195 | 0 | 0.0 | 24M|1099 | - |2053 |4945 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
6.69/6.73 o 37
6.69/6.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.69/6.73 c * 6.5s| 22584 | 17122 | 0 | 0.0 | 24M|1099 | - |2053 |4952 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
8.70/8.77 c 8.4s| 30000 | 23313 | 0 | 0.0 | 31M|1099 | - |2053 |5475 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
11.59/11.65 c 11.2s| 40000 | 31111 | 0 | 0.0 | 38M|1099 | - |2053 |6697 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
14.49/14.56 c 14.0s| 50000 | 38981 | 0 | 0.0 | 45M|1099 | - |2053 |7429 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
17.70/17.75 c 17.1s| 60000 | 46491 | 0 | 0.0 | 52M|1099 | - |2053 |8547 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
21.09/21.19 c 20.4s| 70000 | 53689 | 0 | 0.0 | 60M|1099 | - |2053 |8935 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
24.99/25.00 c 24.1s| 80000 | 60367 | 0 | 0.0 | 67M|1099 | - |2053 |9453 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
29.09/29.10 c 28.1s| 90000 | 66744 | 0 | 0.0 | 75M|1099 | - |2053 | 10k| 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
34.09/34.14 c 33.0s|100000 | 72199 | 0 | 0.0 | 83M|1099 | - |2053 | 12k| 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
40.60/40.63 c 39.4s|110000 | 76085 | 0 | 0.0 | 91M|1099 | - |2053 | 14k| 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
46.59/46.64 c 45.3s|120000 | 81623 | 0 | 0.0 | 103M|1099 | - |2053 |5918 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
50.39/50.50 o 28
50.39/50.50 c *49.0s|129342 | 88626 | 0 | 0.0 | 132M|1099 | - |2053 |6840 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
50.69/50.79 c 49.3s|130000 | 89133 | 0 | 0.0 | 134M|1099 | - |2053 |6972 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
54.90/54.99 c 53.4s|140000 | 96669 | 0 | 0.0 | 153M|1099 | - |2053 |5867 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
58.30/58.37 c 56.7s|150000 |104847 | 0 | 0.0 | 162M|1099 | - |2053 |7631 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
60.40/60.44 o 27
60.40/60.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.40/60.44 c *58.7s|154529 |107673 | 0 | 0.0 | 169M|1099 | - |2053 |9568 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
61.39/61.48 o 25
61.39/61.48 c *59.7s|157066 |109384 | 0 | 0.0 | 171M|1099 | - |2053 |7263 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
62.49/62.56 c 60.7s|160000 |111890 | 0 | 0.0 | 179M|1099 | - |2053 |6819 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
65.89/65.95 c 64.0s|170000 |119967 | 0 | 0.0 | 190M|1099 | - |2053 |8508 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
69.59/69.64 c 67.6s|180000 |127913 | 0 | 0.0 | 201M|1099 | - |2053 |6578 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
69.69/69.74 o 24
69.69/69.74 c *67.7s|180291 |128135 | 0 | 0.0 | 201M|1099 | - |2053 |6598 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
73.10/73.14 c 71.0s|190000 |135596 | 0 | 0.0 | 211M|1099 | - |2053 |8274 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
76.29/76.35 c 74.1s|200000 |143717 | 0 | 0.0 | 218M|1099 | - |2053 |6972 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
79.69/79.78 c 77.4s|210000 |151259 | 0 | 0.0 | 225M|1099 | - |2053 |6747 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
82.89/82.90 c 80.4s|220000 |159223 | 0 | 0.0 | 233M|1099 | - |2053 |8051 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
86.09/86.13 c 83.5s|230000 |167062 | 0 | 0.0 | 240M|1099 | - |2053 |7417 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
89.50/89.59 c 86.9s|240000 |174502 | 0 | 0.0 | 246M|1099 | - |2053 |7027 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
93.09/93.19 c 90.4s|250000 |181631 | 0 | 0.0 | 253M|1099 | - |2053 |6677 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
96.19/96.28 c 93.4s|260000 |189861 | 0 | 0.0 | 259M|1099 | - |2053 |4760 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
100.10/100.17 c 97.1s|270000 |196466 | 0 | 0.0 | 266M|1099 | - |2053 |6283 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
104.39/104.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.39/104.44 c 101s|280000 |202710 | 0 | 0.0 | 273M|1099 | - |2053 |6824 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
108.69/108.80 c 106s|290000 |208841 | 0 | 0.0 | 280M|1099 | - |2053 |7605 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
113.20/113.23 c 110s|300000 |214990 | 0 | 0.0 | 287M|1099 | - |2053 |8088 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
117.60/117.66 c 114s|310000 |221184 | 0 | 0.0 | 295M|1099 | - |2053 |8446 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
122.19/122.23 c 119s|320000 |227189 | 0 | 0.0 | 302M|1099 | - |2053 |8651 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
126.79/126.84 c 123s|330000 |233228 | 0 | 0.0 | 308M|1099 | - |2053 |8951 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
131.49/131.56 c 128s|340000 |239110 | 0 | 0.0 | 315M|1099 | - |2053 |8690 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
136.30/136.38 c 132s|350000 |244918 | 0 | 0.0 | 322M|1099 | - |2053 |8570 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
141.09/141.17 c 137s|360000 |250754 | 0 | 0.0 | 329M|1099 | - |2053 |9634 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
146.30/146.37 c 142s|370000 |256167 | 0 | 0.0 | 336M|1099 | - |2053 |9936 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
151.80/151.80 c 147s|380000 |261331 | 0 | 0.0 | 343M|1099 | - |2053 | 10k| 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
157.50/157.55 c 153s|390000 |266276 | 0 | 0.0 | 350M|1099 | - |2053 | 10k| 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
163.30/163.33 c 159s|400000 |271243 | 0 | 0.0 | 357M|1099 | - |2053 | 11k| 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
169.69/169.73 c 165s|410000 |275674 | 0 | 0.0 | 364M|1099 | - |2053 | 12k| 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
176.49/176.57 c 172s|420000 |279774 | 0 | 0.0 | 370M|1099 | - |2053 | 12k| 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
183.39/183.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.39/183.42 c 178s|430000 |283875 | 0 | 0.0 | 377M|1099 | - |2053 | 13k| 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
190.59/190.66 c 186s|440000 |287726 | 0 | 0.0 | 383M|1099 | - |2053 | 14k| 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
198.30/198.39 c 193s|450000 |291252 | 0 | 0.0 | 389M|1099 | - |2053 | 15k| 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
206.60/206.66 c 201s|460000 |294452 | 0 | 0.0 | 395M|1099 | - |2053 | 15k| 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
215.30/215.37 c 210s|470000 |297294 | 0 | 0.0 | 401M|1099 | - |2053 | 16k| 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
224.80/224.82 c 219s|480000 |299756 | 0 | 0.0 | 407M|1099 | - |2053 | 16k| 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
235.20/235.20 c 229s|490000 |301328 | 0 | 0.0 | 411M|1099 | - |2053 | 18k| 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
246.69/246.76 c 241s|500000 |302514 | 0 | 0.0 | 416M|1099 | - |2053 | 20k| 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
261.81/261.85 c 255s|510000 |303012 | 0 | 0.0 | 420M|1099 | - |2053 | 21k| 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
280.29/280.31 c 273s|520000 |301736 | 0 | 0.0 | 424M|1099 | - |2053 | 25k| 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
296.80/296.87 c 290s|530000 |302374 | 0 | 0.0 | 418M|1099 | - |2053 |4220 | 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
300.10/300.11 c 292s|540000 |310717 | 0 | 0.0 | 426M|1099 | - |2053 |4454 | 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
303.30/303.39 c 295s|550000 |318939 | 0 | 0.0 | 434M|1099 | - |2053 |4743 | 0 | 0 | 0 | 504k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
306.70/306.74 c 299s|560000 |327008 | 0 | 0.0 | 442M|1099 | - |2053 |5129 | 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
310.10/310.17 c 302s|570000 |335019 | 0 | 0.0 | 450M|1099 | - |2053 |5560 | 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
310.30/310.31 o 20
310.30/310.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
310.30/310.31 c * 302s|570336 |322218 | 0 | 0.0 | 419M|1099 | - |2053 |5606 | 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
313.90/313.94 c 305s|580000 |329657 | 0 | 0.0 | 428M|1099 | - |2053 |6131 | 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
317.80/317.86 c 309s|590000 |337129 | 0 | 0.0 | 436M|1099 | - |2053 |6616 | 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
321.90/321.98 c 313s|600000 |344329 | 0 | 0.0 | 444M|1099 | - |2053 |7123 | 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
326.29/326.32 c 317s|610000 |351261 | 0 | 0.0 | 453M|1099 | - |2053 |7737 | 0 | 0 | 0 | 532k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
330.80/330.86 o 13
330.80/330.86 c * 321s|619719 |354933 | 0 | 0.0 | 452M|1099 | - |2053 |8316 | 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
331.00/331.03 c 321s|620000 |355094 | 0 | 0.0 | 452M|1099 | - |2053 |8405 | 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
336.51/336.52 c 326s|630000 |361141 | 0 | 0.0 | 464M|1099 | - |2053 |9486 | 0 | 0 | 0 | 547k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
342.69/342.75 c 332s|640000 |366451 | 0 | 0.0 | 472M|1099 | - |2053 | 10k| 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
350.40/350.46 c 339s|650000 |370457 | 0 | 0.0 | 480M|1099 | - |2053 | 12k| 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
357.50/357.51 c 346s|660000 |375389 | 0 | 0.0 | 484M|1099 | - |2053 |5642 | 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
361.00/361.01 c 349s|670000 |383428 | 0 | 0.0 | 492M|1099 | - |2053 |6616 | 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
364.50/364.51 c 352s|680000 |391393 | 0 | 0.0 | 500M|1099 | - |2053 |7430 | 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
368.10/368.15 c 356s|690000 |399220 | 0 | 0.0 | 508M|1099 | - |2053 |8153 | 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
372.00/372.01 c 359s|700000 |406729 | 0 | 0.0 | 516M|1099 | - |2053 |9011 | 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
376.00/376.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
376.00/376.03 c 363s|710000 |414083 | 0 | 0.0 | 524M|1099 | - |2053 |9762 | 0 | 0 | 0 | 603k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
380.30/380.31 c 367s|720000 |421154 | 0 | 0.0 | 532M|1099 | - |2053 | 10k| 0 | 0 | 0 | 610k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
385.00/385.02 c 371s|730000 |427872 | 0 | 0.0 | 541M|1099 | - |2053 | 12k| 0 | 0 | 0 | 617k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
390.30/390.33 c 376s|740000 |434076 | 0 | 0.0 | 549M|1099 | - |2053 | 13k| 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
396.30/396.37 c 382s|750000 |439745 | 0 | 0.0 | 558M|1099 | - |2053 | 14k| 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
403.20/403.22 c 388s|760000 |444880 | 0 | 0.0 | 567M|1099 | - |2053 | 16k| 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
411.50/411.54 c 396s|770000 |448945 | 0 | 0.0 | 576M|1099 | - |2053 | 19k| 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
420.40/420.47 c 405s|780000 |453127 | 0 | 0.0 | 579M|1099 | - |2053 |9655 | 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
423.80/423.84 c 408s|790000 |461414 | 0 | 0.0 | 586M|1099 | - |2053 |9571 | 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
427.30/427.31 c 411s|800000 |469561 | 0 | 0.0 | 593M|1099 | - |2053 | 10k| 0 | 0 | 0 | 679k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
430.80/430.85 c 414s|810000 |477547 | 0 | 0.0 | 600M|1099 | - |2053 | 10k| 0 | 0 | 0 | 683k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
434.60/434.62 c 418s|820000 |485340 | 0 | 0.0 | 608M|1099 | - |2053 | 11k| 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
438.50/438.54 c 421s|830000 |492930 | 0 | 0.0 | 615M|1099 | - |2053 | 11k| 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
442.70/442.79 c 425s|840000 |500145 | 0 | 0.0 | 623M|1099 | - |2053 | 12k| 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
447.30/447.40 c 429s|850000 |507023 | 0 | 0.0 | 631M|1099 | - |2053 | 13k| 0 | 0 | 0 | 705k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
452.40/452.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
452.40/452.47 c 434s|860000 |513516 | 0 | 0.0 | 639M|1099 | - |2053 | 14k| 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
458.10/458.14 c 439s|870000 |519541 | 0 | 0.0 | 646M|1099 | - |2053 | 15k| 0 | 0 | 0 | 721k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
464.60/464.66 c 446s|880000 |524896 | 0 | 0.0 | 654M|1099 | - |2053 | 16k| 0 | 0 | 0 | 730k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
474.00/474.01 c 455s|890000 |527960 | 0 | 0.0 | 661M|1099 | - |2053 | 19k| 0 | 0 | 0 | 744k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
479.61/479.63 c 460s|900000 |534789 | 0 | 0.0 | 666M|1099 | - |2053 | 11k| 0 | 0 | 0 | 751k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
483.20/483.25 c 463s|910000 |542919 | 0 | 0.0 | 675M|1099 | - |2053 | 11k| 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
486.90/486.98 c 467s|920000 |550898 | 0 | 0.0 | 684M|1099 | - |2053 | 12k| 0 | 0 | 0 | 759k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
490.80/490.88 c 470s|930000 |558768 | 0 | 0.0 | 695M|1099 | - |2053 | 13k| 0 | 0 | 0 | 763k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
495.01/495.06 c 474s|940000 |566383 | 0 | 0.0 | 706M|1099 | - |2053 | 13k| 0 | 0 | 0 | 768k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
499.50/499.51 c 478s|950000 |573733 | 0 | 0.0 | 718M|1099 | - |2053 | 14k| 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
504.20/504.27 c 483s|960000 |580805 | 0 | 0.0 | 729M|1099 | - |2053 | 15k| 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
509.21/509.21 c 487s|970000 |587675 | 0 | 0.0 | 741M|1099 | - |2053 | 15k| 0 | 0 | 0 | 786k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
514.71/514.75 c 492s|980000 |594043 | 0 | 0.0 | 754M|1099 | - |2053 | 16k| 0 | 0 | 0 | 793k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
520.70/520.75 c 498s|990000 |600094 | 0 | 0.0 | 766M|1099 | - |2053 | 18k| 0 | 0 | 0 | 801k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
527.41/527.45 c 504s| 1000k|605712 | 0 | 0.0 | 777M|1099 | - |2053 | 19k| 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
535.90/535.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
535.90/535.92 c 512s| 1010k|609824 | 0 | 0.0 | 787M|1099 | - |2053 | 20k| 0 | 0 | 0 | 823k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
543.00/543.01 c 519s| 1020k|615646 | 0 | 0.0 | 794M|1099 | - |2053 | 15k| 0 | 0 | 0 | 831k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
546.71/546.78 c 523s| 1030k|623785 | 0 | 0.0 | 803M|1099 | - |2053 | 14k| 0 | 0 | 0 | 835k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
550.80/550.88 c 526s| 1040k|631542 | 0 | 0.0 | 813M|1099 | - |2053 | 15k| 0 | 0 | 0 | 840k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
555.21/555.27 c 530s| 1050k|639074 | 0 | 0.0 | 824M|1099 | - |2053 | 16k| 0 | 0 | 0 | 845k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
559.91/559.90 c 535s| 1060k|646391 | 0 | 0.0 | 835M|1099 | - |2053 | 16k| 0 | 0 | 0 | 851k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
565.00/565.09 c 540s| 1070k|653242 | 0 | 0.0 | 846M|1099 | - |2053 | 17k| 0 | 0 | 0 | 858k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
570.71/570.70 c 545s| 1080k|659683 | 0 | 0.0 | 856M|1099 | - |2053 | 18k| 0 | 0 | 0 | 865k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
577.00/577.03 c 551s| 1090k|665528 | 0 | 0.0 | 867M|1099 | - |2053 | 20k| 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
584.60/584.66 c 558s| 1100k|670357 | 0 | 0.0 | 878M|1099 | - |2053 | 21k| 0 | 0 | 0 | 884k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
594.90/595.00 c 568s| 1110k|672730 | 0 | 0.0 | 886M|1099 | - |2053 | 23k| 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
599.41/599.44 c 572s| 1120k|680843 | 0 | 0.0 | 893M|1099 | - |2053 | 18k| 0 | 0 | 0 | 902k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
603.51/603.58 c 576s| 1130k|688785 | 0 | 0.0 | 901M|1099 | - |2053 | 18k| 0 | 0 | 0 | 906k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
608.01/608.02 c 580s| 1140k|696410 | 0 | 0.0 | 911M|1099 | - |2053 | 19k| 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
612.81/612.88 c 585s| 1150k|703723 | 0 | 0.0 | 920M|1099 | - |2053 | 20k| 0 | 0 | 0 | 917k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
618.30/618.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
618.30/618.30 c 590s| 1160k|710671 | 0 | 0.0 | 930M|1099 | - |2053 | 21k| 0 | 0 | 0 | 923k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
624.51/624.59 c 596s| 1170k|716927 | 0 | 0.0 | 939M|1099 | - |2053 | 22k| 0 | 0 | 0 | 931k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
631.81/631.80 c 602s| 1180k|722439 | 0 | 0.0 | 949M|1099 | - |2053 | 23k| 0 | 0 | 0 | 940k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
640.91/640.90 c 611s| 1190k|726594 | 0 | 0.0 | 959M|1099 | - |2053 | 25k| 0 | 0 | 0 | 952k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
649.21/649.21 c 619s| 1200k|731636 | 0 | 0.0 | 965M|1099 | - |2053 | 23k| 0 | 0 | 0 | 962k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
654.52/654.57 c 624s| 1210k|738939 | 0 | 0.0 | 972M|1099 | - |2053 | 21k| 0 | 0 | 0 | 967k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
659.41/659.42 c 629s| 1220k|746525 | 0 | 0.0 | 981M|1099 | - |2053 | 21k| 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
664.31/664.39 c 633s| 1230k|754039 | 0 | 0.0 | 990M|1099 | - |2053 | 22k| 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
669.81/669.81 c 638s| 1240k|761195 | 0 | 0.0 | 999M|1099 | - |2053 | 23k| 0 | 0 | 0 | 983k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
675.61/675.60 c 644s| 1250k|768003 | 0 | 0.0 |1009M|1099 | - |2053 | 24k| 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
682.61/682.63 c 651s| 1260k|773974 | 0 | 0.0 |1018M|1099 | - |2053 | 25k| 0 | 0 | 0 | 999k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
691.20/691.25 c 659s| 1270k|778895 | 0 | 0.0 |1028M|1099 | - |2053 | 27k| 0 | 0 | 0 |1010k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
703.81/703.87 c 671s| 1280k|781142 | 0 | 0.0 |1036M|1099 | - |2053 | 30k| 0 | 0 | 0 |1026k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
709.71/709.73 c 677s| 1290k|788751 | 0 | 0.0 |1041M|1099 | - |2053 | 21k| 0 | 0 | 0 |1030k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
714.60/714.69 c 681s| 1300k|796258 | 0 | 0.0 |1049M|1099 | - |2053 | 22k| 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
720.21/720.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
720.21/720.27 c 687s| 1310k|803288 | 0 | 0.0 |1058M|1099 | - |2053 | 22k| 0 | 0 | 0 |1042k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
726.11/726.18 c 692s| 1320k|810055 | 0 | 0.0 |1067M|1099 | - |2053 | 24k| 0 | 0 | 0 |1050k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
733.31/733.38 c 699s| 1330k|815953 | 0 | 0.0 |1075M|1099 | - |2053 | 26k| 0 | 0 | 0 |1058k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
742.42/742.44 c 708s| 1340k|820613 | 0 | 0.0 |1084M|1099 | - |2053 | 29k| 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
758.61/758.61 c 724s| 1350k|822475 | 0 | 0.0 |1092M|1099 | - |2053 | 35k| 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
764.30/764.35 c 729s| 1360k|830922 | 0 | 0.0 |1095M|1099 | - |2053 | 12k| 0 | 0 | 0 |1091k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
770.50/770.53 c 735s| 1370k|837383 | 0 | 0.0 |1110M|1099 | - |2053 | 14k| 0 | 0 | 0 |1099k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
774.41/774.44 c 739s| 1380k|845974 | 0 | 0.0 |1118M|1099 | - |2053 | 11k| 0 | 0 | 0 |1102k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
778.61/778.61 c 743s| 1390k|854037 | 0 | 0.0 |1129M|1099 | - |2053 | 12k| 0 | 0 | 0 |1106k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
783.81/783.82 c 748s| 1400k|861142 | 0 | 0.0 |1142M|1099 | - |2053 | 14k| 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
789.71/789.71 c 754s| 1410k|867933 | 0 | 0.0 |1150M|1099 | - |2053 | 12k| 0 | 0 | 0 |1120k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
793.71/793.72 c 758s| 1420k|876161 | 0 | 0.0 |1159M|1099 | - |2053 | 13k| 0 | 0 | 0 |1124k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
798.21/798.29 c 762s| 1430k|883757 | 0 | 0.0 |1169M|1099 | - |2053 | 14k| 0 | 0 | 0 |1129k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
804.61/804.68 c 768s| 1440k|889981 | 0 | 0.0 |1179M|1099 | - |2053 | 16k| 0 | 0 | 0 |1138k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
808.81/808.85 c 773s| 1450k|898135 | 0 | 0.0 |1187M|1099 | - |2053 | 15k| 0 | 0 | 0 |1142k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
814.02/814.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
814.02/814.07 c 778s| 1460k|905278 | 0 | 0.0 |1194M|1099 | - |2053 | 14k| 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
818.51/818.55 c 782s| 1470k|912743 | 0 | 0.0 |1202M|1099 | - |2053 | 16k| 0 | 0 | 0 |1154k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
823.00/823.03 c 786s| 1480k|920443 | 0 | 0.0 |1207M|1099 | - |2053 |6471 | 0 | 0 | 0 |1159k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
827.01/827.00 c 790s| 1490k|927861 | 0 | 0.0 |1214M|1099 | - |2053 |7358 | 0 | 0 | 0 |1164k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
835.61/835.69 c 799s| 1500k|930610 | 0 | 0.0 |1221M|1099 | - |2053 | 11k| 0 | 0 | 0 |1177k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
846.41/846.45 c 809s| 1510k|932955 | 0 | 0.0 |1228M|1099 | - |2053 | 14k| 0 | 0 | 0 |1190k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
859.31/859.33 c 822s| 1520k|934444 | 0 | 0.0 |1234M|1099 | - |2053 | 16k| 0 | 0 | 0 |1205k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
872.91/872.98 c 836s| 1530k|935739 | 0 | 0.0 |1240M|1099 | - |2053 | 16k| 0 | 0 | 0 |1220k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
887.51/887.53 c 850s| 1540k|936743 | 0 | 0.0 |1246M|1099 | - |2053 | 17k| 0 | 0 | 0 |1236k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
903.11/903.14 c 865s| 1550k|937371 | 0 | 0.0 |1251M|1099 | - |2053 | 18k| 0 | 0 | 0 |1253k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
919.21/919.27 c 881s| 1560k|937628 | 0 | 0.0 |1255M|1099 | - |2053 | 18k| 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
935.11/935.15 c 897s| 1570k|938397 | 0 | 0.0 |1261M|1099 | - |2053 | 18k| 0 | 0 | 0 |1287k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
951.21/951.26 c 913s| 1580k|938151 | 0 | 0.0 |1265M|1099 | - |2053 | 18k| 0 | 0 | 0 |1305k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
967.11/967.12 c 929s| 1590k|937698 | 0 | 0.0 |1269M|1099 | - |2053 | 18k| 0 | 0 | 0 |1324k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
982.41/982.48 c 944s| 1600k|937740 | 0 | 0.0 |1274M|1099 | - |2053 | 19k| 0 | 0 | 0 |1341k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
999.61/999.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
999.61/999.63 c 961s| 1610k|937119 | 0 | 0.0 |1278M|1099 | - |2053 | 19k| 0 | 0 | 0 |1360k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1017.61/1017.68 c 979s| 1620k|935944 | 0 | 0.0 |1281M|1099 | - |2053 | 20k| 0 | 0 | 0 |1380k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1035.12/1035.17 c 996s| 1630k|935382 | 0 | 0.0 |1285M|1099 | - |2053 | 21k| 0 | 0 | 0 |1398k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1054.52/1054.56 c 1015s| 1640k|934163 | 0 | 0.0 |1288M|1099 | - |2053 | 21k| 0 | 0 | 0 |1418k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1075.22/1075.27 c 1036s| 1650k|932422 | 0 | 0.0 |1290M|1099 | - |2053 | 24k| 0 | 0 | 0 |1439k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1095.71/1095.79 c 1056s| 1660k|931019 | 0 | 0.0 |1293M|1099 | - |2053 | 24k| 0 | 0 | 0 |1459k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1117.22/1117.29 c 1078s| 1670k|929722 | 0 | 0.0 |1296M|1099 | - |2053 | 25k| 0 | 0 | 0 |1479k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1140.62/1140.63 c 1101s| 1680k|927544 | 0 | 0.0 |1297M|1099 | - |2053 | 26k| 0 | 0 | 0 |1500k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1164.62/1164.60 c 1125s| 1690k|925342 | 0 | 0.0 |1299M|1099 | - |2053 | 29k| 0 | 0 | 0 |1522k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1190.22/1190.20 c 1150s| 1700k|923148 | 0 | 0.0 |1301M|1099 | - |2053 | 30k| 0 | 0 | 0 |1544k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1217.02/1217.02 c 1177s| 1710k|920971 | 0 | 0.0 |1303M|1099 | - |2053 | 32k| 0 | 0 | 0 |1566k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1246.32/1246.35 c 1206s| 1720k|918170 | 0 | 0.0 |1302M|1099 | - |2053 | 34k| 0 | 0 | 0 |1589k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1277.02/1277.08 c 1236s| 1730k|915317 | 0 | 0.0 |1302M|1099 | - |2053 | 36k| 0 | 0 | 0 |1613k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1309.03/1309.06 c 1268s| 1740k|912414 | 0 | 0.0 |1301M|1099 | - |2053 | 38k| 0 | 0 | 0 |1637k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1344.42/1344.48 c 1304s| 1750k|908724 | 0 | 0.0 |1299M|1099 | - |2053 | 42k| 0 | 0 | 0 |1662k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1382.42/1382.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1382.42/1382.48 c 1341s| 1760k|905203 | 0 | 0.0 |1297M|1099 | - |2053 | 45k| 0 | 0 | 0 |1687k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1422.12/1422.13 c 1381s| 1770k|901611 | 0 | 0.0 |1295M|1099 | - |2053 | 48k| 0 | 0 | 0 |1713k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1466.23/1466.26 c 1425s| 1780k|897268 | 0 | 0.0 |1290M|1099 | - |2053 | 52k| 0 | 0 | 0 |1740k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1516.12/1516.19 c 1474s| 1790k|891274 | 0 | 0.0 |1284M|1099 | - |2053 | 59k| 0 | 0 | 0 |1771k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1530.23/1530.20 c 1488s| 1800k|896718 | 0 | 0.0 |1277M|1099 | - |2053 |7139 | 0 | 0 | 0 |1779k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1535.03/1535.08 c 1493s| 1810k|903945 | 0 | 0.0 |1292M|1099 | - |2053 |7612 | 0 | 0 | 0 |1784k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1540.12/1540.10 c 1498s| 1820k|911120 | 0 | 0.0 |1306M|1099 | - |2053 |8413 | 0 | 0 | 0 |1790k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1545.43/1545.43 c 1503s| 1830k|918185 | 0 | 0.0 |1322M|1099 | - |2053 |9200 | 0 | 0 | 0 |1795k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1550.93/1550.97 c 1509s| 1840k|925199 | 0 | 0.0 |1337M|1099 | - |2053 |9731 | 0 | 0 | 0 |1801k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1556.53/1556.51 c 1514s| 1850k|932181 | 0 | 0.0 |1352M|1099 | - |2053 | 10k| 0 | 0 | 0 |1807k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1562.13/1562.19 c 1519s| 1860k|939052 | 0 | 0.0 |1367M|1099 | - |2053 | 10k| 0 | 0 | 0 |1813k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1568.23/1568.28 c 1525s| 1870k|945718 | 0 | 0.0 |1382M|1099 | - |2053 | 11k| 0 | 0 | 0 |1819k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1574.33/1574.38 c 1531s| 1880k|952400 | 0 | 0.0 |1399M|1099 | - |2053 | 11k| 0 | 0 | 0 |1825k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1580.52/1580.50 c 1537s| 1890k|958989 | 0 | 0.0 |1414M|1099 | - |2053 | 11k| 0 | 0 | 0 |1831k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1586.83/1586.90 c 1544s| 1900k|965310 | 0 | 0.0 |1429M|1099 | - |2053 | 11k| 0 | 0 | 0 |1838k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1593.03/1593.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1593.03/1593.05 c 1550s| 1910k|971985 | 0 | 0.0 |1445M|1099 | - |2053 | 11k| 0 | 0 | 0 |1845k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1599.72/1599.73 c 1556s| 1920k|978200 | 0 | 0.0 |1459M|1099 | - |2053 | 12k| 0 | 0 | 0 |1852k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1606.53/1606.51 c 1563s| 1930k|984339 | 0 | 0.0 |1473M|1099 | - |2053 | 12k| 0 | 0 | 0 |1859k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1612.83/1612.81 c 1569s| 1940k|990823 | 0 | 0.0 |1486M|1099 | - |2053 | 12k| 0 | 0 | 0 |1866k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1619.83/1619.83 c 1576s| 1950k|996741 | 0 | 0.0 |1499M|1099 | - |2053 | 13k| 0 | 0 | 0 |1873k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1626.43/1626.46 c 1582s| 1960k| 1002k| 0 | 0.0 |1512M|1099 | - |2053 | 13k| 0 | 0 | 0 |1880k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1633.93/1633.90 c 1590s| 1970k| 1008k| 0 | 0.0 |1525M|1099 | - |2053 | 13k| 0 | 0 | 0 |1888k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1641.13/1641.13 c 1597s| 1980k| 1014k| 0 | 0.0 |1538M|1099 | - |2053 | 14k| 0 | 0 | 0 |1896k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1649.13/1649.14 c 1605s| 1990k| 1019k| 0 | 0.0 |1550M|1099 | - |2053 | 14k| 0 | 0 | 0 |1904k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1656.83/1656.89 c 1612s| 2000k| 1025k| 0 | 0.0 |1562M|1099 | - |2053 | 15k| 0 | 0 | 0 |1912k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1664.82/1664.84 c 1620s| 2010k| 1031k| 0 | 0.0 |1573M|1099 | - |2053 | 15k| 0 | 0 | 0 |1921k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1671.63/1671.60 o 7
1671.63/1671.60 c *1627s| 2018k|952255 | 0 | 0.0 |1418M|1099 | - |2053 | 15k| 0 | 0 | 0 |1927k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1673.63/1673.65 c 1629s| 2020k|952778 | 0 | 0.0 |1418M|1099 | - |2053 | 12k| 0 | 0 | 0 |1930k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1681.63/1681.62 c 1636s| 2030k|957517 | 0 | 0.0 |1426M|1099 | - |2053 | 13k| 0 | 0 | 0 |1940k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1690.53/1690.54 c 1645s| 2040k|961587 | 0 | 0.0 |1432M|1099 | - |2053 | 13k| 0 | 0 | 0 |1951k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1699.93/1699.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1699.93/1699.91 c 1654s| 2050k|965481 | 0 | 0.0 |1439M|1099 | - |2053 | 14k| 0 | 0 | 0 |1963k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1709.73/1709.71 c 1664s| 2060k|969313 | 0 | 0.0 |1446M|1099 | - |2053 | 14k| 0 | 0 | 0 |1974k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1720.33/1720.32 c 1674s| 2070k|972804 | 0 | 0.0 |1453M|1099 | - |2053 | 15k| 0 | 0 | 0 |1987k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1731.83/1731.84 c 1686s| 2080k|975748 | 0 | 0.0 |1459M|1099 | - |2053 | 16k| 0 | 0 | 0 |2000k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1744.53/1744.54 c 1698s| 2090k|978336 | 0 | 0.0 |1465M|1099 | - |2053 | 17k| 0 | 0 | 0 |2013k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1758.43/1758.40 c 1712s| 2100k|980513 | 0 | 0.0 |1471M|1099 | - |2053 | 19k| 0 | 0 | 0 |2028k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1774.13/1774.18 c 1728s| 2110k|982035 | 0 | 0.0 |1475M|1099 | - |2053 | 21k| 0 | 0 | 0 |2044k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1791.03/1791.06 c 1744s| 2120k|983207 | 0 | 0.0 |1480M|1099 | - |2053 | 23k| 0 | 0 | 0 |2060k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1753.33
1800.04/1800.00 c Solving Nodes : 2124744
1800.04/1800.00 c Primal Bound : +7.00000000000000e+00 (20 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.01 s SATISFIABLE
1800.04/1800.01 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.04/1800.01 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 x191 -x190 -x189
1800.04/1800.01 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.04/1800.01 v x167 -x166 -x165 -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.04/1800.01 v -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126
1800.04/1800.01 v -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.04/1800.01 v -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80
1800.04/1800.01 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55
1800.04/1800.01 v -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.04/1800.01 v x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.04/1800.01 v -x1
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time : 1753.33
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-2694034-1277901333.wbo
1800.04/1800.01 c Variables : 2153 (1192 binary, 0 integer, 0 implicit integer, 961 continuous)
1800.04/1800.01 c Constraints : 3669 initial, 3669 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-2694034-1277901333.wbo
1800.04/1800.01 c Variables : 2053 (1142 binary, 0 integer, 0 implicit integer, 911 continuous)
1800.04/1800.01 c Constraints : 3512 initial, 60405 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 50 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.00 50 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 0.00 0 0 0 0 0 50 0 0
1800.04/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c linear : 0.06 0 0 0 961 0 107 50 0
1800.04/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c root node : - 651 - - 1302 - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 911 0 4154137 0 1250425 304 5233498 0 0 0
1800.04/1800.01 c knapsack : 1 0 6829344 0 1748879 107726 17945706 0 0 0
1800.04/1800.01 c setppc : 15 0 6737711 0 1748843 112016 3943843 0 0 0
1800.04/1800.01 c linear : 911 0 6626060 0 1748935 111047 8134772 0 0 0
1800.04/1800.01 c logicor : 1674+ 0 4861687 0 1748951 251801 12248080 0 0 0
1800.04/1800.01 c bounddisjunction : 0+ 0 51586 0 0 5 3119 0 0 0
1800.04/1800.01 c countsols : 0 0 0 0 1748945 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c indicator : 15.21 0.00 9.00 0.00 6.21
1800.04/1800.01 c knapsack : 69.88 0.00 66.46 0.00 3.42
1800.04/1800.01 c setppc : 25.85 0.00 22.70 0.00 3.15
1800.04/1800.01 c linear : 107.21 0.00 105.78 0.00 1.43
1800.04/1800.01 c logicor : 660.11 0.00 580.22 0.00 79.89
1800.04/1800.01 c bounddisjunction : 0.06 0.00 0.06 0.00 0.00
1800.04/1800.01 c countsols : 0.22 0.00 0.00 0.00 0.22
1800.04/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.01 c vbounds : 1.14 2 0 0
1800.04/1800.01 c rootredcost : 1.09 0 0 0
1800.04/1800.01 c pseudoobj : 143.65 6848468 2448 5183418
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 24.58 585043 584580 3064537 24.2 195450 8.4 -
1800.04/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.00 32 32 145 18.4 26 10.2 -
1800.04/1800.01 c applied globally : - - - 2069354 20.3 - - -
1800.04/1800.01 c applied locally : - - - 3 118.3 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.01 c redcost : 0.00 0 0 0 0 0
1800.04/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 0.00 0 0 0 0 0
1800.04/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.01 c cmir : 0.00 0 0 0 0 0
1800.04/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.01 c clique : 0.00 0 0 0 0 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 0 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 30.21 1748925 0 0 0 0 3497850
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 0.30 - 20
1800.04/1800.01 c oneopt : 0.64 0 0
1800.04/1800.01 c trivial : 0.01 2 0
1800.04/1800.01 c simplerounding : 0.00 0 0
1800.04/1800.01 c zirounding : 0.00 0 0
1800.04/1800.01 c rounding : 0.00 0 0
1800.04/1800.01 c shifting : 0.00 0 0
1800.04/1800.01 c intshifting : 0.00 0 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c feaspump : 0.00 0 0
1800.04/1800.01 c coefdiving : 0.00 0 0
1800.04/1800.01 c pscostdiving : 0.00 0 0
1800.04/1800.01 c fracdiving : 0.00 0 0
1800.04/1800.01 c veclendiving : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c objpscostdiving : 0.00 0 0
1800.04/1800.01 c rootsoldiving : 0.00 0 0
1800.04/1800.01 c linesearchdiving : 0.00 0 0
1800.04/1800.01 c guideddiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.00 0 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c crossover : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c nlp : 0.29 0 0
1800.04/1800.01 c trysol : 0.20 1 0
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.01 c (at root node) : - 0 0 0.00 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 2124744
1800.04/1800.01 c nodes (total) : 2124744
1800.04/1800.01 c nodes left : 983340
1800.04/1800.01 c max depth : 1099
1800.04/1800.01 c max depth (total): 1099
1800.04/1800.01 c backtracks : 392156 (18.5%)
1800.04/1800.01 c delayed cutoffs : 287676
1800.04/1800.01 c repropagations : 1357551 (13654171 domain reductions, 209580 cutoffs)
1800.04/1800.01 c avg switch length: 20.88
1800.04/1800.01 c switching time : 524.50
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 20 (20 improvements)
1800.04/1800.01 c First Solution : +4.37000000000000e+02 (in run 1, after 2141 nodes, 0.58 seconds, depth 141, found by <relaxation>)
1800.04/1800.01 c Primal Bound : +7.00000000000000e+00 (in run 1, after 2018096 nodes, 1626.31 seconds, depth 72, found by <relaxation>)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Root Iterations : 0
OK 6
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694034-1277901333/watcher-2694034-1277901333 -o /tmp/evaluation-result-2694034-1277901333/solver-2694034-1277901333 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694034-1277901333.wbo -t 1800 -m 3800 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.00 3/196 16117 /proc/meminfo: memFree=30799792/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=8300 CPUtime=0 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 1552 0 0 0 0 0 0 0 25 0 1 0 131427916 8499200 1475 4089446400 4194304 7136930 140734861215280 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/16117/statm: 2075 1475 275 719 0 1354 0 [startup+0.018174 s] /proc/loadavg: 2.00 2.01 2.00 3/196 16117 /proc/meminfo: memFree=30799792/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=10700 CPUtime=0.01 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 2149 0 0 0 1 0 0 0 25 0 1 0 131427916 10956800 2072 4089446400 4194304 7136930 140734861215280 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/16117/statm: 2675 2072 275 719 0 1954 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10700 [startup+0.10016 s] /proc/loadavg: 2.00 2.01 2.00 3/196 16117 /proc/meminfo: memFree=30799792/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=23200 CPUtime=0.09 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 8033 0 0 0 8 1 0 0 25 0 1 0 131427916 23756800 5032 4089446400 4194304 7136930 140734861215280 18446744073709551615 4333578 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16117/statm: 5800 5032 368 719 0 5079 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23200 [startup+0.300124 s] /proc/loadavg: 2.00 2.01 2.00 3/196 16117 /proc/meminfo: memFree=30799792/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=24304 CPUtime=0.29 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 9100 0 0 0 28 1 0 0 25 0 1 0 131427916 24887296 5328 4089446400 4194304 7136930 140734861215280 18446744073709551615 5005172 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16117/statm: 6076 5328 399 719 0 5355 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24304 [startup+0.701052 s] /proc/loadavg: 2.00 2.01 2.00 3/196 16117 /proc/meminfo: memFree=30799792/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=26000 CPUtime=0.69 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 9548 0 0 0 68 1 0 0 25 0 1 0 131427916 26624000 5776 4089446400 4194304 7136930 140734861215280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16117/statm: 6500 5776 404 719 0 5779 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26000 [startup+1.50091 s] /proc/loadavg: 2.00 2.01 2.00 3/197 16118 /proc/meminfo: memFree=30777464/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=28168 CPUtime=1.49 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 10112 0 0 0 144 5 0 0 25 0 1 0 131427916 28844032 6340 4089446400 4194304 7136930 140734861215280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16117/statm: 7042 6340 404 719 0 6321 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28168 [startup+3.10063 s] /proc/loadavg: 2.00 2.01 2.00 3/197 16118 /proc/meminfo: memFree=30773496/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=34936 CPUtime=3.09 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 11799 0 0 0 300 9 0 0 25 0 1 0 131427916 35774464 8027 4089446400 4194304 7136930 140734861215280 18446744073709551615 4978160 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16117/statm: 8734 8027 404 719 0 8013 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34936 [startup+6.30106 s] /proc/loadavg: 2.00 2.01 2.00 3/197 16118 /proc/meminfo: memFree=30762300/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=46448 CPUtime=6.29 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 14670 0 0 0 610 19 0 0 25 0 1 0 131427916 47562752 10898 4089446400 4194304 7136930 140734861215280 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16117/statm: 11612 10898 407 719 0 10891 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 46448 [startup+12.7009 s] /proc/loadavg: 2.00 2.01 2.00 3/197 16118 /proc/meminfo: memFree=30739156/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=69392 CPUtime=12.7 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 20375 0 0 0 1226 44 0 0 25 0 1 0 131427916 71057408 16603 4089446400 4194304 7136930 140734861215280 18446744073709551615 4923897 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16117/statm: 17348 16603 407 719 0 16627 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 69392 [startup+25.5006 s] /proc/loadavg: 2.00 2.01 2.00 3/197 16118 /proc/meminfo: memFree=30706244/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=99784 CPUtime=25.49 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 28060 0 0 0 2464 85 0 0 25 0 1 0 131427916 102178816 24288 4089446400 4194304 7136930 140734861215280 18446744073709551615 4212307 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16117/statm: 24946 24288 407 719 0 24225 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 99784 [startup+51.1011 s] /proc/loadavg: 2.00 2.00 2.00 4/197 16119 /proc/meminfo: memFree=30625736/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=197288 CPUtime=51.09 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 48897 0 0 0 4960 149 0 0 25 0 1 0 131427916 202022912 45125 4089446400 4194304 7136930 140734861215280 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16117/statm: 49322 45125 407 719 0 48601 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 197288 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16120 /proc/meminfo: memFree=30473536/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=354612 CPUtime=102.3 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 85367 0 0 0 9923 307 0 0 25 0 1 0 131427916 363122688 81595 4089446400 4194304 7136930 140734861215280 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16117/statm: 88653 81595 407 719 0 87932 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 354612 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16122 /proc/meminfo: memFree=30365352/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=447888 CPUtime=162.29 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 108857 0 0 0 15773 456 0 0 25 0 1 0 131427916 458637312 105085 4089446400 4194304 7136930 140734861215280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16117/statm: 111972 105085 407 719 0 111251 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 447888 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16124 /proc/meminfo: memFree=30293996/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=505500 CPUtime=222.3 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 123289 0 0 0 21671 559 0 0 25 0 1 0 131427916 517632000 119517 4089446400 4194304 7136930 140734861215280 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/16117/statm: 126375 119517 407 719 0 125654 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 505500 [startup+282.301 s] /proc/loadavg: 1.90 1.97 1.99 3/179 16176 /proc/meminfo: memFree=30641100/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=528652 CPUtime=282.3 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 129053 0 0 0 27538 692 0 0 25 0 1 0 131427916 541339648 125281 4089446400 4194304 7136930 140734861215280 18446744073709551615 4209174 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16117/statm: 132163 125281 407 719 0 131442 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 528652 [startup+342.301 s] /proc/loadavg: 1.96 1.97 1.99 3/179 16177 /proc/meminfo: memFree=30393080/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=615460 CPUtime=342.29 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 149435 0 0 0 33139 1090 0 0 25 0 1 0 131427916 630231040 145663 4089446400 4194304 7136930 140734861215280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16117/statm: 153865 145663 407 719 0 153144 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 615460 [startup+402.3 s] /proc/loadavg: 1.98 1.97 1.99 3/179 16179 /proc/meminfo: memFree=30141440/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=717668 CPUtime=402.3 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 174368 0 0 0 38728 1502 0 0 25 0 1 0 131427916 734892032 170596 4089446400 4194304 7136930 140734861215280 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16117/statm: 179417 170596 407 719 0 178696 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 717668 [startup+462.301 s] /proc/loadavg: 1.99 1.97 1.99 3/179 16181 /proc/meminfo: memFree=29904796/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=821408 CPUtime=462.3 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 197753 0 0 0 44337 1893 0 0 25 0 1 0 131427916 841121792 193981 4089446400 4194304 7136930 140734861215280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16117/statm: 205352 193981 407 719 0 204631 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 821408 [startup+522.301 s] /proc/loadavg: 1.99 1.97 1.99 3/179 16183 /proc/meminfo: memFree=29647940/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=952204 CPUtime=522.31 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 228707 0 0 0 49949 2282 0 0 25 0 1 0 131427916 975056896 224935 4089446400 4194304 7136930 140734861215280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16117/statm: 238051 224935 407 719 0 237330 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 952204 [startup+582.3 s] /proc/loadavg: 2.04 1.99 1.99 3/179 16184 /proc/meminfo: memFree=29384640/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=1080076 CPUtime=582.31 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 259363 0 0 0 55582 2649 0 0 25 0 1 0 131427916 1105997824 255591 4089446400 4194304 7136930 140734861215280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16117/statm: 270019 255591 407 719 0 269298 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1080076 [startup+642.3 s] /proc/loadavg: 2.01 1.99 1.99 3/179 16185 /proc/meminfo: memFree=29169704/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=1156784 CPUtime=642.31 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 278629 0 0 0 61255 2976 0 0 25 0 1 0 131427916 1184546816 274857 4089446400 4194304 7136930 140734861215280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16117/statm: 289196 274857 407 719 0 288475 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1156784 [startup+702.301 s] ################ # More data... # ################ /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 360026 0 0 0 96362 3870 0 0 25 0 1 0 131427916 1515589632 356254 4089446400 4194304 7136930 140734861215280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16117/statm: 370017 356254 407 719 0 369296 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1480068 [startup+1062.3 s] /proc/loadavg: 2.00 1.99 1.99 3/179 16224 /proc/meminfo: memFree=29768064/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=1493540 CPUtime=1062.31 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 363395 0 0 0 102312 3919 0 0 25 0 1 0 131427916 1529384960 359623 4089446400 4194304 7136930 140734861215280 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16117/statm: 373385 359623 407 719 0 372664 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1493540 [startup+1122.3 s] /proc/loadavg: 2.06 2.00 2.00 3/179 16226 /proc/meminfo: memFree=29762324/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=1499172 CPUtime=1122.31 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 364760 0 0 0 108268 3963 0 0 25 0 1 0 131427916 1535152128 360988 4089446400 4194304 7136930 140734861215280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16117/statm: 374793 360988 407 719 0 374072 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1499172 [startup+1182.3 s] /proc/loadavg: 2.02 2.00 2.00 3/179 16227 /proc/meminfo: memFree=29752856/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=1508524 CPUtime=1182.31 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 367072 0 0 0 114227 4004 0 0 25 0 1 0 131427916 1544728576 363300 4089446400 4194304 7136930 140734861215280 18446744073709551615 4431489 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16117/statm: 377131 363300 407 719 0 376410 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1508524 [startup+1242.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 16228 /proc/meminfo: memFree=29750588/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=1510296 CPUtime=1242.31 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 367518 0 0 0 120192 4039 0 0 25 0 1 0 131427916 1546543104 363746 4089446400 4194304 7136930 140734861215280 18446744073709551615 4431478 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16117/statm: 377574 363746 407 719 0 376853 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 1510296 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16230 /proc/meminfo: memFree=29747824/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=1513244 CPUtime=1302.32 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 368217 0 0 0 126159 4073 0 0 25 0 1 0 131427916 1549561856 364445 4089446400 4194304 7136930 140734861215280 18446744073709551615 4210453 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16117/statm: 378311 364445 407 719 0 377590 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1513244 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16232 /proc/meminfo: memFree=29746184/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=1514880 CPUtime=1362.32 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 368605 0 0 0 132126 4106 0 0 25 0 1 0 131427916 1551237120 364833 4089446400 4194304 7136930 140734861215280 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16117/statm: 378720 364833 407 719 0 377999 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1514880 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16234 /proc/meminfo: memFree=29743680/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=1517712 CPUtime=1422.33 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 369200 0 0 0 138098 4135 0 0 25 0 1 0 131427916 1554137088 365428 4089446400 4194304 7136930 140734861215280 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16117/statm: 379428 365428 407 719 0 378707 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1517712 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16235 /proc/meminfo: memFree=29741040/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=1521292 CPUtime=1482.33 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 369853 0 0 0 144073 4160 0 0 25 0 1 0 131427916 1557803008 366081 4089446400 4194304 7136930 140734861215280 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16117/statm: 380323 366081 407 719 0 379602 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1521292 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16245 /proc/meminfo: memFree=29707740/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=1560612 CPUtime=1542.33 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 378131 0 0 0 150009 4224 0 0 25 0 1 0 131427916 1598066688 374359 4089446400 4194304 7136930 140734861215280 18446744073709551615 5957371 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16117/statm: 390153 374359 407 719 0 389432 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1560612 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16247 /proc/meminfo: memFree=29577232/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=1701840 CPUtime=1602.33 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 410788 0 0 0 155869 4364 0 0 25 0 1 0 131427916 1742684160 407016 4089446400 4194304 7136930 140734861215280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16117/statm: 425460 407016 407 719 0 424739 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1701840 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16249 /proc/meminfo: memFree=29464352/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=1843560 CPUtime=1662.33 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 439244 0 0 0 161742 4491 0 0 25 0 1 0 131427916 1887805440 435472 4089446400 4194304 7136930 140734861215280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16117/statm: 460890 435472 407 719 0 460169 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 1843560 [startup+1722.3 s] /proc/loadavg: 2.03 2.01 2.00 3/197 16296 /proc/meminfo: memFree=29422280/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=1859516 CPUtime=1722.33 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 443217 0 0 0 167646 4587 0 0 25 0 1 0 131427916 1904144384 439445 4089446400 4194304 7136930 140734861215280 18446744073709551615 4221906 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16117/statm: 464879 439445 407 719 0 464158 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 1859516 [startup+1782.3 s] /proc/loadavg: 2.01 2.01 2.00 3/197 16297 /proc/meminfo: memFree=29419116/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=1859884 CPUtime=1782.33 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 443297 0 0 0 173581 4652 0 0 25 0 1 0 131427916 1904521216 439525 4089446400 4194304 7136930 140734861215280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16117/statm: 464971 439525 407 719 0 464250 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 1859884 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.00 2.00 3/197 16298 /proc/meminfo: memFree=29416872/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=1861932 CPUtime=1800.04 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 443809 0 0 0 175335 4669 0 0 25 0 1 0 131427916 1906618368 440037 4089446400 4194304 7136930 140734861215280 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16117/statm: 465483 440037 407 719 0 464762 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1861932 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -16117 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.01 2.00 2.00 3/198 16299 /proc/meminfo: memFree=29416740/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=1860664 CPUtime=1801.44 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 443814 0 0 0 175475 4669 0 0 25 0 1 0 131427916 1905319936 439725 4089446400 4194304 7136930 140734861215280 18446744073709551615 6165654 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/16117/statm: 465166 439725 412 719 0 464445 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 1860664 [startup+1801.81 s] /proc/loadavg: 2.01 2.00 2.00 3/198 16299 /proc/meminfo: memFree=29421452/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=1853224 CPUtime=1801.84 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 443814 0 0 0 175515 4669 0 0 25 0 1 0 131427916 1897701376 437865 4089446400 4194304 7136930 140734861215280 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/16117/statm: 463306 437865 412 719 0 462585 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 1853224 [startup+1802 s] /proc/loadavg: 2.01 2.00 2.00 3/198 16299 /proc/meminfo: memFree=29421452/32951124 swapFree=67111528/67111528 [pid=16117] ppid=16115 vsize=1839832 CPUtime=1802.03 /proc/16117/stat : 16117 (pbscip.linux.x8) R 16115 16117 15299 0 -1 4202496 443814 0 0 0 175534 4669 0 0 25 0 1 0 131427916 1883987968 434518 4089446400 4194304 7136930 140734861215280 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/16117/statm: 459958 434518 412 719 0 459237 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 1839832 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.07 CPU time (s): 1802.11 CPU user time (s): 1755.36 CPU system time (s): 46.7559 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1861932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1755.36 system time used= 46.7559 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 443814 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 4094 runsolver used 2.50362 second user time and 5.72313 second system time The end
Begin job on node146 at 2010-06-30 14:35:33 IDJOB=2694034 IDBENCH=78890 IDSOLVER=1206 FILE ID=node146/2694034-1277901333 PBS_JOBID= 11197159 Free space on /tmp= 74180 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554072--soft-66-100-0.wbo 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-2694034-1277901333/watcher-2694034-1277901333 -o /tmp/evaluation-result-2694034-1277901333/solver-2694034-1277901333 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694034-1277901333.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 94413eaf3e98de59f2ecdb125fc71636 RANDOM SEED=1078708122 node146.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30800072 kB Buffers: 187644 kB Cached: 1325380 kB SwapCached: 0 kB Active: 902604 kB Inactive: 1101640 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30800072 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3144 kB Writeback: 0 kB AnonPages: 491416 kB Mapped: 20336 kB Slab: 82552 kB PageTables: 6000 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1659604 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74176 MiB End job on node146 at 2010-06-30 15:05:35