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) | 1800.97 | 1800.92 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900551864--soft-33-100-0.wbo |
| MD5SUM | 124472bd94dbe4a4a7a86c80941ffe16 |
| 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 | 1 |
| Best CPU time to get the best result obtained on this benchmark | 26.429 |
| 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 | 1802 |
| 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 | 91108 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 91107 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 687 |
| 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-2694077-1277904109.wbo>
0.00/0.03 c original problem has 3835 variables (2033 bin, 0 int, 0 impl, 1802 cont) and 4510 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 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.04/0.05 c presolving:
0.04/0.06 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1950 impls, 9 clqs
0.04/0.09 c (round 2) 0 del vars, 71 del conss, 1802 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1950 impls, 9 clqs
0.09/0.10 c (round 3) 53 del vars, 138 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 0 upgd conss, 1950 impls, 9 clqs
0.09/0.11 c (round 4) 114 del vars, 146 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 882 upgd conss, 1950 impls, 9 clqs
0.09/0.12 c (round 5) 122 del vars, 146 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 882 upgd conss, 1950 impls, 9 clqs
0.09/0.17 c (0.1s) probing: 101/1972 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (6 rounds):
0.09/0.17 c 122 deleted vars, 146 deleted constraints, 1810 tightened bounds, 0 added holes, 67 changed sides, 0 changed coefficients
0.09/0.17 c 1950 implications, 9 cliques
0.09/0.17 c presolved problem has 3713 variables (1972 bin, 0 int, 0 impl, 1741 cont) and 4364 constraints
0.09/0.17 c 1741 constraints of type <indicator>
0.09/0.17 c 9 constraints of type <setppc>
0.09/0.17 c 1741 constraints of type <linear>
0.09/0.17 c 873 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.11
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.98
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.17 c lp/solvefreq = -1
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 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.18 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3713 |4364 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.49/1.55 o 787
1.49/1.55 c * 1.4s| 5312 | 4850 | 0 | 0.0 | 16M|1912 | - |3713 |5124 | 0 | 0 | 0 |1216 | 0 | 0.000000e+00 | 7.870000e+02 | Inf
2.39/2.45 o 527
2.39/2.45 c * 2.2s| 8222 | 6694 | 0 | 0.0 | 17M|1912 | - |3713 |5006 | 0 | 0 | 0 |1274 | 0 | 0.000000e+00 | 5.270000e+02 | Inf
2.39/2.46 o 492
2.39/2.46 c * 2.2s| 8223 | 6642 | 0 | 0.0 | 17M|1912 | - |3713 |5006 | 0 | 0 | 0 |1274 | 0 | 0.000000e+00 | 4.920000e+02 | Inf
2.49/2.52 o 312
2.49/2.52 c * 2.3s| 8490 | 6871 | 0 | 0.0 | 17M|1912 | - |3713 |5008 | 0 | 0 | 0 |1316 | 0 | 0.000000e+00 | 3.120000e+02 | Inf
2.49/2.52 o 252
2.49/2.52 c * 2.3s| 8491 | 6828 | 0 | 0.0 | 17M|1912 | - |3713 |5008 | 0 | 0 | 0 |1316 | 0 | 0.000000e+00 | 2.520000e+02 | Inf
2.89/2.91 c 2.6s| 10000 | 8165 | 0 | 0.0 | 18M|1912 | - |3713 |5209 | 0 | 0 | 0 |2046 | 0 | 0.000000e+00 | 2.520000e+02 | Inf
5.89/5.90 c 5.4s| 20000 | 16375 | 0 | 0.0 | 28M|1912 | - |3713 |6553 | 0 | 0 | 0 |9246 | 0 | 0.000000e+00 | 2.520000e+02 | Inf
9.19/9.21 o 249
9.19/9.21 c * 8.4s| 28078 | 21061 | 0 | 0.0 | 35M|1912 | - |3713 |8181 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
9.19/9.22 o 237
9.19/9.22 c * 8.4s| 28081 | 21051 | 0 | 0.0 | 35M|1912 | - |3713 |8181 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 2.370000e+02 | Inf
9.29/9.35 o 226
9.29/9.35 c * 8.6s| 28361 | 21287 | 0 | 0.0 | 36M|1912 | - |3713 |8051 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
9.80/9.82 o 153
9.80/9.82 c * 9.0s| 29434 | 22088 | 0 | 0.0 | 35M|1912 | - |3713 |7499 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.530000e+02 | Inf
9.80/9.82 o 152
9.80/9.82 c * 9.0s| 29435 | 22087 | 0 | 0.0 | 36M|1912 | - |3713 |7499 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
9.80/9.87 o 140
9.80/9.87 c * 9.1s| 29537 | 22160 | 0 | 0.0 | 36M|1912 | - |3713 |7433 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
9.80/9.87 o 101
9.80/9.87 c * 9.1s| 29541 | 21901 | 0 | 0.0 | 36M|1912 | - |3713 |7433 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
9.80/9.88 o 88
9.80/9.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.80/9.88 c * 9.1s| 29542 | 20508 | 0 | 0.0 | 35M|1912 | - |3713 |7433 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
9.99/10.09 c 9.3s| 30000 | 20945 | 0 | 0.0 | 36M|1912 | - |3713 |7088 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
10.29/10.31 o 81
10.29/10.31 c * 9.5s| 30457 | 21005 | 0 | 0.0 | 36M|1912 | - |3713 |6949 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
10.29/10.32 o 65
10.29/10.32 c * 9.5s| 30458 | 20627 | 0 | 0.0 | 36M|1912 | - |3713 |6949 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
10.29/10.34 o 60
10.29/10.34 c * 9.5s| 30521 | 20479 | 0 | 0.0 | 36M|1912 | - |3713 |6935 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 6.000000e+01 | Inf
10.29/10.35 o 51
10.29/10.35 c * 9.5s| 30522 | 20274 | 0 | 0.0 | 36M|1912 | - |3713 |6935 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
11.59/11.63 o 35
11.59/11.63 c *10.7s| 33032 | 21854 | 0 | 0.0 | 42M|1912 | - |3713 |6751 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
12.19/12.28 o 33
12.19/12.28 c *11.3s| 34410 | 23005 | 0 | 0.0 | 47M|1912 | - |3713 |6397 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
12.39/12.44 o 16
12.39/12.44 c *11.5s| 34656 | 21401 | 0 | 0.0 | 47M|1912 | - |3713 |6509 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
13.30/13.35 o 15
13.30/13.35 c *12.3s| 36728 | 23219 | 0 | 0.0 | 56M|1912 | - |3713 |6327 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
14.79/14.88 c 13.7s| 40000 | 26031 | 0 | 0.0 | 73M|1912 | - |3713 |6713 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
17.09/17.16 o 13
17.09/17.16 c *15.8s| 45262 | 30259 | 0 | 0.0 | 94M|1912 | - |3713 |7251 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
17.09/17.16 o 12
17.09/17.16 c *15.8s| 45263 | 30233 | 0 | 0.0 | 94M|1912 | - |3713 |7251 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
18.89/18.91 c 17.4s| 50000 | 34346 | 0 | 0.0 | 108M|1912 | - |3713 |7480 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
20.49/20.51 o 7
20.49/20.51 c *18.9s| 54146 | 35728 | 0 | 0.0 | 114M|1912 | - |3713 |8202 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
22.49/22.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.49/22.52 c 20.8s| 60000 | 40536 | 0 | 0.0 | 123M|1912 | - |3713 |9112 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
25.69/25.79 c 23.7s| 70000 | 48776 | 0 | 0.0 | 132M|1912 | - |3713 |9532 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
29.49/29.57 c 27.2s| 80000 | 56507 | 0 | 0.0 | 142M|1912 | - |3713 | 11k| 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
33.69/33.73 c 31.1s| 90000 | 63922 | 0 | 0.0 | 151M|1912 | - |3713 | 12k| 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
38.40/38.44 c 35.6s|100000 | 70922 | 0 | 0.0 | 161M|1912 | - |3713 | 12k| 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
43.29/43.37 c 40.2s|110000 | 77713 | 0 | 0.0 | 170M|1912 | - |3713 | 13k| 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
48.50/48.53 c 45.1s|120000 | 84301 | 0 | 0.0 | 180M|1912 | - |3713 | 13k| 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
53.90/53.96 c 50.2s|130000 | 90386 | 0 | 0.0 | 190M|1912 | - |3713 | 13k| 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
60.50/60.59 c 56.5s|140000 | 95296 | 0 | 0.0 | 200M|1912 | - |3713 | 14k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
68.20/68.28 c 63.9s|150000 | 99081 | 0 | 0.0 | 210M|1912 | - |3713 | 15k| 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
77.89/77.99 c 73.2s|160000 |100746 | 0 | 0.0 | 218M|1912 | - |3713 | 18k| 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
83.50/83.59 o 6
83.50/83.59 c *78.5s|168288 |106596 | 0 | 0.0 | 245M|1912 | - |3713 |7665 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
83.89/83.97 o 4
83.89/83.97 c *78.9s|169179 |106953 | 0 | 0.0 | 246M|1912 | - |3713 |7201 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
84.29/84.40 c 79.3s|170000 |107638 | 0 | 0.0 | 248M|1912 | - |3713 |7170 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
89.79/89.80 c 84.4s|180000 |115701 | 0 | 0.0 | 272M|1912 | - |3713 |8486 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
96.40/96.40 o 3
96.40/96.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.40/96.40 c *90.7s|188380 |121045 | 0 | 0.0 | 288M|1912 | - |3713 | 11k| 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
98.59/98.62 c 92.8s|190000 |121525 | 0 | 0.0 | 290M|1912 | - |3713 | 12k| 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
103.19/103.22 c 97.1s|200000 |129387 | 0 | 0.0 | 300M|1912 | - |3713 |9389 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
108.59/108.69 c 102s|210000 |136152 | 0 | 0.0 | 308M|1912 | - |3713 |5989 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
112.50/112.51 c 106s|220000 |143681 | 0 | 0.0 | 316M|1912 | - |3713 |6138 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
116.89/116.95 c 110s|230000 |150248 | 0 | 0.0 | 325M|1912 | - |3713 |7012 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
120.69/120.72 c 113s|240000 |157741 | 0 | 0.0 | 332M|1912 | - |3713 |5942 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
124.79/124.88 c 117s|250000 |164638 | 0 | 0.0 | 340M|1912 | - |3713 |5603 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
128.50/128.59 c 121s|260000 |172024 | 0 | 0.0 | 349M|1912 | - |3713 |6912 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
132.10/132.16 c 124s|270000 |179708 | 0 | 0.0 | 357M|1912 | - |3713 |6082 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
136.00/136.06 c 127s|280000 |186834 | 0 | 0.0 | 364M|1912 | - |3713 |5626 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
140.19/140.21 c 131s|290000 |193556 | 0 | 0.0 | 373M|1912 | - |3713 |8009 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
143.50/143.54 c 134s|300000 |201593 | 0 | 0.0 | 381M|1912 | - |3713 |6184 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
147.60/147.60 c 138s|310000 |208590 | 0 | 0.0 | 389M|1912 | - |3713 |5725 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
151.80/151.86 c 142s|320000 |215247 | 0 | 0.0 | 398M|1912 | - |3713 |7681 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
155.40/155.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.40/155.46 c 145s|330000 |223006 | 0 | 0.0 | 406M|1912 | - |3713 |6743 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
159.40/159.42 c 149s|340000 |230207 | 0 | 0.0 | 413M|1912 | - |3713 |6132 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
163.39/163.42 c 153s|350000 |237280 | 0 | 0.0 | 422M|1912 | - |3713 |6368 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
167.59/167.65 c 156s|360000 |243923 | 0 | 0.0 | 430M|1912 | - |3713 |7432 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
171.19/171.24 c 160s|370000 |251655 | 0 | 0.0 | 438M|1912 | - |3713 |7251 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
174.80/174.88 c 163s|380000 |259357 | 0 | 0.0 | 445M|1912 | - |3713 |5935 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
178.69/178.73 c 167s|390000 |266743 | 0 | 0.0 | 454M|1912 | - |3713 |7126 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
182.90/182.96 c 171s|400000 |273653 | 0 | 0.0 | 461M|1912 | - |3713 |5943 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
186.30/186.32 c 174s|410000 |281664 | 0 | 0.0 | 469M|1912 | - |3713 |6657 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
191.00/191.04 c 178s|420000 |287856 | 0 | 0.0 | 478M|1912 | - |3713 |9382 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
194.19/194.29 c 181s|430000 |296090 | 0 | 0.0 | 485M|1912 | - |3713 |6040 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
197.79/197.89 c 184s|440000 |303816 | 0 | 0.0 | 493M|1912 | - |3713 |6782 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
202.50/202.54 c 188s|450000 |310203 | 0 | 0.0 | 501M|1912 | - |3713 |8389 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
206.39/206.44 c 192s|460000 |317669 | 0 | 0.0 | 508M|1912 | - |3713 |5884 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
209.89/209.98 c 195s|470000 |325378 | 0 | 0.0 | 516M|1912 | - |3713 |7003 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
214.60/214.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
214.60/214.66 c 200s|480000 |331736 | 0 | 0.0 | 522M|1912 | - |3713 |5149 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
217.90/217.93 c 203s|490000 |339790 | 0 | 0.0 | 530M|1912 | - |3713 |4991 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
221.50/221.59 c 206s|500000 |347265 | 0 | 0.0 | 538M|1912 | - |3713 |5694 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
225.99/226.02 c 210s|510000 |353812 | 0 | 0.0 | 547M|1912 | - |3713 |6793 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
230.39/230.46 c 214s|520000 |360432 | 0 | 0.0 | 555M|1912 | - |3713 |7364 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
234.90/235.00 c 219s|530000 |367035 | 0 | 0.0 | 563M|1912 | - |3713 |7809 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
239.80/239.85 c 223s|540000 |373302 | 0 | 0.0 | 571M|1912 | - |3713 |8111 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
244.70/244.79 c 228s|550000 |379574 | 0 | 0.0 | 579M|1912 | - |3713 |8874 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
249.79/249.85 c 232s|560000 |385810 | 0 | 0.0 | 587M|1912 | - |3713 |9314 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
255.00/255.07 c 237s|570000 |391885 | 0 | 0.0 | 595M|1912 | - |3713 |9646 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
260.60/260.64 c 243s|580000 |397752 | 0 | 0.0 | 604M|1912 | - |3713 |9711 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
266.39/266.43 c 248s|590000 |403412 | 0 | 0.0 | 612M|1912 | - |3713 | 10k| 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
272.30/272.31 c 254s|600000 |408877 | 0 | 0.0 | 620M|1912 | - |3713 | 10k| 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
278.50/278.58 c 260s|610000 |413987 | 0 | 0.0 | 628M|1912 | - |3713 | 10k| 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
285.30/285.32 c 266s|620000 |418706 | 0 | 0.0 | 636M|1912 | - |3713 | 11k| 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
292.00/292.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
292.00/292.05 c 272s|630000 |423462 | 0 | 0.0 | 644M|1912 | - |3713 | 11k| 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
298.99/299.06 c 279s|640000 |428069 | 0 | 0.0 | 652M|1912 | - |3713 | 10k| 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
306.09/306.12 c 286s|650000 |432548 | 0 | 0.0 | 660M|1912 | - |3713 | 11k| 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
313.90/313.97 c 293s|660000 |436291 | 0 | 0.0 | 668M|1912 | - |3713 | 12k| 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
322.00/322.05 c 301s|670000 |439893 | 0 | 0.0 | 676M|1912 | - |3713 | 12k| 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
330.50/330.53 c 309s|680000 |443178 | 0 | 0.0 | 683M|1912 | - |3713 | 13k| 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
339.50/339.56 c 318s|690000 |446066 | 0 | 0.0 | 690M|1912 | - |3713 | 13k| 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
349.00/349.01 c 327s|700000 |448730 | 0 | 0.0 | 698M|1912 | - |3713 | 13k| 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
358.90/358.95 c 336s|710000 |450980 | 0 | 0.0 | 705M|1912 | - |3713 | 13k| 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
369.70/369.72 c 347s|720000 |452477 | 0 | 0.0 | 711M|1912 | - |3713 | 14k| 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
380.10/380.15 c 357s|730000 |454437 | 0 | 0.0 | 718M|1912 | - |3713 | 13k| 0 | 0 | 0 | 533k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
391.80/391.83 c 368s|740000 |455078 | 0 | 0.0 | 722M|1912 | - |3713 | 14k| 0 | 0 | 0 | 547k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
403.80/403.86 c 380s|750000 |455529 | 0 | 0.0 | 727M|1912 | - |3713 | 15k| 0 | 0 | 0 | 562k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
416.60/416.64 c 392s|760000 |455370 | 0 | 0.0 | 732M|1912 | - |3713 | 16k| 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
429.70/429.76 c 405s|770000 |455103 | 0 | 0.0 | 729M|1912 | - |3713 |7778 | 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
433.70/433.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
433.70/433.72 c 408s|780000 |462955 | 0 | 0.0 | 736M|1912 | - |3713 |4215 | 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
437.60/437.62 c 412s|790000 |470668 | 0 | 0.0 | 745M|1912 | - |3713 |4604 | 0 | 0 | 0 | 602k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
441.40/441.43 c 415s|800000 |478321 | 0 | 0.0 | 753M|1912 | - |3713 |5102 | 0 | 0 | 0 | 606k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
445.51/445.56 c 419s|810000 |485650 | 0 | 0.0 | 761M|1912 | - |3713 |5418 | 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
449.90/449.93 c 423s|820000 |492737 | 0 | 0.0 | 770M|1912 | - |3713 |5893 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
454.31/454.38 c 427s|830000 |499703 | 0 | 0.0 | 778M|1912 | - |3713 |6194 | 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
459.01/459.04 c 432s|840000 |506444 | 0 | 0.0 | 786M|1912 | - |3713 |6785 | 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
463.90/463.95 c 436s|850000 |512912 | 0 | 0.0 | 795M|1912 | - |3713 |7363 | 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
469.01/469.02 c 441s|860000 |519321 | 0 | 0.0 | 803M|1912 | - |3713 |7557 | 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
474.50/474.55 c 446s|870000 |525260 | 0 | 0.0 | 812M|1912 | - |3713 |8248 | 0 | 0 | 0 | 643k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
480.30/480.39 c 451s|880000 |530939 | 0 | 0.0 | 821M|1912 | - |3713 |8992 | 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
486.70/486.71 c 457s|890000 |536271 | 0 | 0.0 | 829M|1912 | - |3713 |9429 | 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
493.40/493.49 c 464s|900000 |541136 | 0 | 0.0 | 837M|1912 | - |3713 | 10k| 0 | 0 | 0 | 667k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
500.70/500.79 c 471s|910000 |545652 | 0 | 0.0 | 845M|1912 | - |3713 | 11k| 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
509.40/509.42 c 479s|920000 |549075 | 0 | 0.0 | 852M|1912 | - |3713 | 13k| 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
520.21/520.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
520.21/520.27 c 489s|930000 |551032 | 0 | 0.0 | 855M|1912 | - |3713 | 11k| 0 | 0 | 0 | 702k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
524.01/524.07 c 493s|940000 |558813 | 0 | 0.0 | 861M|1912 | - |3713 |5152 | 0 | 0 | 0 | 706k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
527.91/527.96 c 496s|950000 |566217 | 0 | 0.0 | 869M|1912 | - |3713 |5361 | 0 | 0 | 0 | 709k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
532.00/532.07 c 500s|960000 |573302 | 0 | 0.0 | 877M|1912 | - |3713 |5983 | 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
536.41/536.44 c 504s|970000 |579932 | 0 | 0.0 | 885M|1912 | - |3713 |6460 | 0 | 0 | 0 | 718k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
541.21/541.27 c 509s|980000 |586095 | 0 | 0.0 | 894M|1912 | - |3713 |7042 | 0 | 0 | 0 | 724k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
546.51/546.59 c 514s|990000 |591762 | 0 | 0.0 | 902M|1912 | - |3713 |7664 | 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
552.60/552.66 c 519s| 1000k|596622 | 0 | 0.0 | 910M|1912 | - |3713 |8636 | 0 | 0 | 0 | 739k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
560.50/560.53 c 527s| 1010k|599792 | 0 | 0.0 | 918M|1912 | - |3713 | 10k| 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
566.90/566.91 c 533s| 1020k|605162 | 0 | 0.0 | 923M|1912 | - |3713 |7931 | 0 | 0 | 0 | 758k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
571.00/571.01 c 537s| 1030k|612661 | 0 | 0.0 | 931M|1912 | - |3713 |7868 | 0 | 0 | 0 | 762k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
575.21/575.22 c 541s| 1040k|619899 | 0 | 0.0 | 939M|1912 | - |3713 |8488 | 0 | 0 | 0 | 766k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
579.91/579.91 c 545s| 1050k|626615 | 0 | 0.0 | 947M|1912 | - |3713 |9290 | 0 | 0 | 0 | 771k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
585.10/585.11 c 550s| 1060k|632998 | 0 | 0.0 | 955M|1912 | - |3713 |9640 | 0 | 0 | 0 | 776k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
590.71/590.76 c 555s| 1070k|638972 | 0 | 0.0 | 963M|1912 | - |3713 |9716 | 0 | 0 | 0 | 783k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
596.40/596.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
596.40/596.48 c 561s| 1080k|644854 | 0 | 0.0 | 971M|1912 | - |3713 | 10k| 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
602.40/602.42 c 566s| 1090k|650554 | 0 | 0.0 | 979M|1912 | - |3713 | 10k| 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
608.51/608.52 c 572s| 1100k|656033 | 0 | 0.0 | 986M|1912 | - |3713 |9620 | 0 | 0 | 0 | 803k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
614.61/614.63 c 578s| 1110k|661464 | 0 | 0.0 | 994M|1912 | - |3713 |9792 | 0 | 0 | 0 | 810k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
620.71/620.73 c 583s| 1120k|667034 | 0 | 0.0 |1001M|1912 | - |3713 |9944 | 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
626.91/626.91 c 589s| 1130k|672557 | 0 | 0.0 |1009M|1912 | - |3713 | 10k| 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
633.20/633.24 c 595s| 1140k|678057 | 0 | 0.0 |1017M|1912 | - |3713 | 11k| 0 | 0 | 0 | 832k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
640.11/640.16 c 602s| 1150k|683119 | 0 | 0.0 |1025M|1912 | - |3713 | 12k| 0 | 0 | 0 | 840k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
648.21/648.21 c 609s| 1160k|687243 | 0 | 0.0 |1033M|1912 | - |3713 | 13k| 0 | 0 | 0 | 850k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
657.51/657.54 c 618s| 1170k|690338 | 0 | 0.0 |1039M|1912 | - |3713 | 14k| 0 | 0 | 0 | 862k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
662.11/662.11 c 623s| 1180k|697998 | 0 | 0.0 |1046M|1912 | - |3713 |9531 | 0 | 0 | 0 | 865k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
666.40/666.45 c 627s| 1190k|705416 | 0 | 0.0 |1053M|1912 | - |3713 |9318 | 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
671.10/671.10 c 631s| 1200k|712510 | 0 | 0.0 |1061M|1912 | - |3713 |9744 | 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
676.21/676.21 c 636s| 1210k|719168 | 0 | 0.0 |1069M|1912 | - |3713 | 10k| 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
681.81/681.81 c 641s| 1220k|725429 | 0 | 0.0 |1077M|1912 | - |3713 | 11k| 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
687.90/687.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
687.90/687.92 c 647s| 1230k|731252 | 0 | 0.0 |1085M|1912 | - |3713 | 12k| 0 | 0 | 0 | 892k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
695.51/695.59 c 654s| 1240k|735862 | 0 | 0.0 |1093M|1912 | - |3713 | 14k| 0 | 0 | 0 | 901k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
705.91/705.95 c 664s| 1250k|738331 | 0 | 0.0 |1101M|1912 | - |3713 | 17k| 0 | 0 | 0 | 914k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
712.11/712.10 c 670s| 1260k|744884 | 0 | 0.0 |1105M|1912 | - |3713 | 10k| 0 | 0 | 0 | 919k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
716.61/716.69 c 674s| 1270k|752218 | 0 | 0.0 |1113M|1912 | - |3713 |9303 | 0 | 0 | 0 | 923k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
721.61/721.63 c 679s| 1280k|759098 | 0 | 0.0 |1121M|1912 | - |3713 | 10k| 0 | 0 | 0 | 928k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
726.90/727.00 c 684s| 1290k|765685 | 0 | 0.0 |1129M|1912 | - |3713 | 10k| 0 | 0 | 0 | 933k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
732.81/732.81 c 689s| 1300k|771787 | 0 | 0.0 |1137M|1912 | - |3713 | 12k| 0 | 0 | 0 | 939k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
739.01/739.03 c 695s| 1310k|777604 | 0 | 0.0 |1145M|1912 | - |3713 | 13k| 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
746.51/746.59 c 702s| 1320k|782422 | 0 | 0.0 |1153M|1912 | - |3713 | 14k| 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
756.11/756.11 c 711s| 1330k|785659 | 0 | 0.0 |1160M|1912 | - |3713 | 15k| 0 | 0 | 0 | 966k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
762.71/762.70 c 717s| 1340k|791699 | 0 | 0.0 |1165M|1912 | - |3713 | 10k| 0 | 0 | 0 | 973k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
767.31/767.31 c 722s| 1350k|798971 | 0 | 0.0 |1172M|1912 | - |3713 |8888 | 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
771.91/771.99 c 726s| 1360k|806056 | 0 | 0.0 |1180M|1912 | - |3713 |9357 | 0 | 0 | 0 | 981k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
777.11/777.19 c 731s| 1370k|812660 | 0 | 0.0 |1188M|1912 | - |3713 | 10k| 0 | 0 | 0 | 986k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
782.81/782.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
782.81/782.82 c 736s| 1380k|818866 | 0 | 0.0 |1196M|1912 | - |3713 | 11k| 0 | 0 | 0 | 992k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
788.81/788.86 c 742s| 1390k|824835 | 0 | 0.0 |1204M|1912 | - |3713 | 13k| 0 | 0 | 0 | 999k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
796.11/796.16 c 749s| 1400k|829813 | 0 | 0.0 |1212M|1912 | - |3713 | 14k| 0 | 0 | 0 |1007k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
805.81/805.81 c 758s| 1410k|832928 | 0 | 0.0 |1219M|1912 | - |3713 | 17k| 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
812.21/812.24 c 764s| 1420k|839248 | 0 | 0.0 |1224M|1912 | - |3713 | 10k| 0 | 0 | 0 |1024k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
816.71/816.72 c 768s| 1430k|846584 | 0 | 0.0 |1230M|1912 | - |3713 |9035 | 0 | 0 | 0 |1028k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
821.11/821.11 c 772s| 1440k|853751 | 0 | 0.0 |1237M|1912 | - |3713 |9007 | 0 | 0 | 0 |1033k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
825.61/825.69 c 777s| 1450k|860608 | 0 | 0.0 |1245M|1912 | - |3713 |9375 | 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
830.41/830.40 c 781s| 1460k|867299 | 0 | 0.0 |1252M|1912 | - |3713 |9568 | 0 | 0 | 0 |1042k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
835.41/835.46 c 786s| 1470k|873622 | 0 | 0.0 |1260M|1912 | - |3713 | 10k| 0 | 0 | 0 |1048k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
840.81/840.87 c 791s| 1480k|879684 | 0 | 0.0 |1267M|1912 | - |3713 | 10k| 0 | 0 | 0 |1054k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
846.91/846.92 c 797s| 1490k|885140 | 0 | 0.0 |1276M|1912 | - |3713 | 11k| 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
854.51/854.54 c 804s| 1500k|889215 | 0 | 0.0 |1284M|1912 | - |3713 | 13k| 0 | 0 | 0 |1071k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
863.61/863.64 c 813s| 1510k|892552 | 0 | 0.0 |1290M|1912 | - |3713 | 13k| 0 | 0 | 0 |1082k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
868.01/868.05 c 817s| 1520k|900285 | 0 | 0.0 |1296M|1912 | - |3713 |9919 | 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
872.42/872.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
872.42/872.48 c 821s| 1530k|907633 | 0 | 0.0 |1304M|1912 | - |3713 | 10k| 0 | 0 | 0 |1089k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
877.41/877.42 c 825s| 1540k|914520 | 0 | 0.0 |1312M|1912 | - |3713 | 11k| 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
882.91/882.98 c 831s| 1550k|920875 | 0 | 0.0 |1320M|1912 | - |3713 | 12k| 0 | 0 | 0 |1100k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
888.91/888.91 c 836s| 1560k|926978 | 0 | 0.0 |1328M|1912 | - |3713 | 13k| 0 | 0 | 0 |1107k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
895.91/895.93 c 843s| 1570k|932289 | 0 | 0.0 |1336M|1912 | - |3713 | 15k| 0 | 0 | 0 |1114k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
904.01/904.01 c 851s| 1580k|936828 | 0 | 0.0 |1344M|1912 | - |3713 | 16k| 0 | 0 | 0 |1123k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
914.81/914.86 c 861s| 1590k|939112 | 0 | 0.0 |1351M|1912 | - |3713 | 20k| 0 | 0 | 0 |1136k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
920.51/920.50 c 866s| 1600k|946478 | 0 | 0.0 |1356M|1912 | - |3713 | 11k| 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
925.41/925.49 c 871s| 1610k|953661 | 0 | 0.0 |1363M|1912 | - |3713 | 11k| 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
930.72/930.77 c 876s| 1620k|960456 | 0 | 0.0 |1371M|1912 | - |3713 | 12k| 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
936.52/936.53 c 881s| 1630k|966828 | 0 | 0.0 |1379M|1912 | - |3713 | 13k| 0 | 0 | 0 |1155k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
943.41/943.41 c 888s| 1640k|972485 | 0 | 0.0 |1387M|1912 | - |3713 | 15k| 0 | 0 | 0 |1162k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
951.31/951.35 c 896s| 1650k|977449 | 0 | 0.0 |1395M|1912 | - |3713 | 18k| 0 | 0 | 0 |1171k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
962.11/962.14 c 906s| 1660k|980553 | 0 | 0.0 |1402M|1912 | - |3713 | 21k| 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
970.22/970.21 c 914s| 1670k|986472 | 0 | 0.0 |1407M|1912 | - |3713 | 14k| 0 | 0 | 0 |1189k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
975.51/975.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
975.51/975.57 c 919s| 1680k|993639 | 0 | 0.0 |1414M|1912 | - |3713 | 12k| 0 | 0 | 0 |1193k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
980.91/980.95 c 924s| 1690k| 1000k| 0 | 0.0 |1422M|1912 | - |3713 | 13k| 0 | 0 | 0 |1198k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
986.81/986.87 c 929s| 1700k| 1006k| 0 | 0.0 |1430M|1912 | - |3713 | 14k| 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
993.92/993.90 c 936s| 1710k| 1012k| 0 | 0.0 |1438M|1912 | - |3713 | 16k| 0 | 0 | 0 |1211k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1001.91/1001.96 c 944s| 1720k| 1017k| 0 | 0.0 |1446M|1912 | - |3713 | 18k| 0 | 0 | 0 |1219k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1012.91/1012.98 c 954s| 1730k| 1020k| 0 | 0.0 |1453M|1912 | - |3713 | 21k| 0 | 0 | 0 |1231k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1020.61/1020.60 c 962s| 1740k| 1026k| 0 | 0.0 |1457M|1912 | - |3713 | 13k| 0 | 0 | 0 |1237k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1025.81/1025.86 c 966s| 1750k| 1033k| 0 | 0.0 |1465M|1912 | - |3713 | 12k| 0 | 0 | 0 |1241k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1031.31/1031.34 c 972s| 1760k| 1040k| 0 | 0.0 |1473M|1912 | - |3713 | 13k| 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1037.42/1037.41 c 977s| 1770k| 1046k| 0 | 0.0 |1481M|1912 | - |3713 | 14k| 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1044.01/1044.05 c 984s| 1780k| 1052k| 0 | 0.0 |1489M|1912 | - |3713 | 16k| 0 | 0 | 0 |1259k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1051.72/1051.70 c 991s| 1790k| 1058k| 0 | 0.0 |1496M|1912 | - |3713 | 16k| 0 | 0 | 0 |1266k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1059.72/1059.71 c 999s| 1800k| 1063k| 0 | 0.0 |1503M|1912 | - |3713 | 16k| 0 | 0 | 0 |1274k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1067.52/1067.59 c 1006s| 1810k| 1068k| 0 | 0.0 |1510M|1912 | - |3713 | 15k| 0 | 0 | 0 |1281k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1074.11/1074.15 c 1012s| 1820k| 1074k| 0 | 0.0 |1516M|1912 | - |3713 | 14k| 0 | 0 | 0 |1287k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1080.61/1080.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1080.61/1080.61 c 1018s| 1830k| 1080k| 0 | 0.0 |1524M|1912 | - |3713 | 14k| 0 | 0 | 0 |1293k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1085.12/1085.14 o 1
1085.12/1085.14 c *1023s| 1833k|181331 | 0 | 0.0 | 322M|1912 | - |3713 | 14k| 0 | 0 | 0 |1295k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1090.91/1090.97 c 1028s| 1840k|183500 | 0 | 0.0 | 326M|1912 | - |3713 | 13k| 0 | 0 | 0 |1301k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1100.42/1100.42 c 1038s| 1850k|186941 | 0 | 0.0 | 334M|1912 | - |3713 | 14k| 0 | 0 | 0 |1311k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1109.72/1109.80 c 1047s| 1860k|190682 | 0 | 0.0 | 342M|1912 | - |3713 | 14k| 0 | 0 | 0 |1320k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1119.52/1119.55 c 1056s| 1870k|194271 | 0 | 0.0 | 349M|1912 | - |3713 | 15k| 0 | 0 | 0 |1330k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1129.52/1129.60 c 1066s| 1880k|197749 | 0 | 0.0 | 357M|1912 | - |3713 | 15k| 0 | 0 | 0 |1340k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1140.32/1140.35 c 1076s| 1890k|200933 | 0 | 0.0 | 365M|1912 | - |3713 | 16k| 0 | 0 | 0 |1351k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1151.02/1151.08 c 1086s| 1900k|204167 | 0 | 0.0 | 372M|1912 | - |3713 | 16k| 0 | 0 | 0 |1361k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1162.52/1162.55 c 1098s| 1910k|206830 | 0 | 0.0 | 380M|1912 | - |3713 | 17k| 0 | 0 | 0 |1372k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1173.21/1173.25 c 1108s| 1920k|210346 | 0 | 0.0 | 388M|1912 | - |3713 | 18k| 0 | 0 | 0 |1383k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1185.52/1185.59 c 1120s| 1930k|212868 | 0 | 0.0 | 394M|1912 | - |3713 | 19k| 0 | 0 | 0 |1394k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1197.62/1197.68 c 1132s| 1940k|215772 | 0 | 0.0 | 402M|1912 | - |3713 | 20k| 0 | 0 | 0 |1406k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1211.32/1211.30 c 1145s| 1950k|218041 | 0 | 0.0 | 409M|1912 | - |3713 | 20k| 0 | 0 | 0 |1418k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1224.42/1224.45 c 1158s| 1960k|220684 | 0 | 0.0 | 416M|1912 | - |3713 | 21k| 0 | 0 | 0 |1430k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1239.02/1239.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1239.02/1239.03 c 1172s| 1970k|222688 | 0 | 0.0 | 423M|1912 | - |3713 | 21k| 0 | 0 | 0 |1442k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1253.42/1253.48 c 1186s| 1980k|224924 | 0 | 0.0 | 430M|1912 | - |3713 | 22k| 0 | 0 | 0 |1455k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1269.82/1269.81 c 1202s| 1990k|226310 | 0 | 0.0 | 436M|1912 | - |3713 | 22k| 0 | 0 | 0 |1468k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1285.62/1285.65 c 1218s| 2000k|227984 | 0 | 0.0 | 443M|1912 | - |3713 | 24k| 0 | 0 | 0 |1481k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1303.62/1303.60 c 1235s| 2010k|228816 | 0 | 0.0 | 449M|1912 | - |3713 | 24k| 0 | 0 | 0 |1496k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1320.62/1320.68 c 1252s| 2020k|230281 | 0 | 0.0 | 456M|1912 | - |3713 | 25k| 0 | 0 | 0 |1510k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1340.32/1340.38 c 1271s| 2030k|230622 | 0 | 0.0 | 462M|1912 | - |3713 | 26k| 0 | 0 | 0 |1525k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1358.92/1358.95 c 1289s| 2040k|231695 | 0 | 0.0 | 468M|1912 | - |3713 | 27k| 0 | 0 | 0 |1539k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1380.12/1380.19 c 1310s| 2050k|231624 | 0 | 0.0 | 474M|1912 | - |3713 | 27k| 0 | 0 | 0 |1555k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1400.62/1400.66 c 1330s| 2060k|231984 | 0 | 0.0 | 479M|1912 | - |3713 | 28k| 0 | 0 | 0 |1570k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1422.72/1422.73 c 1352s| 2070k|231788 | 0 | 0.0 | 485M|1912 | - |3713 | 29k| 0 | 0 | 0 |1587k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1444.62/1444.64 c 1374s| 2080k|231791 | 0 | 0.0 | 489M|1912 | - |3713 | 30k| 0 | 0 | 0 |1602k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1467.92/1467.91 c 1396s| 2090k|231657 | 0 | 0.0 | 495M|1912 | - |3713 | 30k| 0 | 0 | 0 |1618k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1492.63/1492.63 c 1421s| 2100k|230843 | 0 | 0.0 | 498M|1912 | - |3713 | 32k| 0 | 0 | 0 |1635k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1517.32/1517.35 c 1445s| 2110k|230307 | 0 | 0.0 | 504M|1912 | - |3713 | 31k| 0 | 0 | 0 |1652k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1544.92/1544.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1544.92/1544.94 c 1472s| 2120k|228580 | 0 | 0.0 | 506M|1912 | - |3713 | 32k| 0 | 0 | 0 |1670k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1570.52/1570.57 c 1497s| 2130k|227700 | 0 | 0.0 | 510M|1912 | - |3713 | 32k| 0 | 0 | 0 |1688k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1597.52/1597.56 c 1524s| 2140k|226249 | 0 | 0.0 | 513M|1912 | - |3713 | 31k| 0 | 0 | 0 |1706k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1623.72/1623.73 c 1550s| 2150k|224612 | 0 | 0.0 | 515M|1912 | - |3713 | 31k| 0 | 0 | 0 |1724k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1649.83/1649.81 c 1575s| 2160k|222965 | 0 | 0.0 | 517M|1912 | - |3713 | 31k| 0 | 0 | 0 |1742k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1675.33/1675.33 c 1601s| 2170k|221394 | 0 | 0.0 | 518M|1912 | - |3713 | 31k| 0 | 0 | 0 |1761k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1701.93/1701.90 c 1627s| 2180k|219250 | 0 | 0.0 | 520M|1912 | - |3713 | 31k| 0 | 0 | 0 |1780k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1729.33/1729.37 c 1654s| 2190k|216768 | 0 | 0.0 | 520M|1912 | - |3713 | 32k| 0 | 0 | 0 |1800k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1757.54/1757.59 c 1682s| 2200k|213952 | 0 | 0.0 | 518M|1912 | - |3713 | 33k| 0 | 0 | 0 |1820k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1787.23/1787.23 c 1711s| 2210k|210640 | 0 | 0.0 | 516M|1912 | - |3713 | 33k| 0 | 0 | 0 |1841k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1723.35
1800.03/1800.00 c Solving Nodes : 2214573
1800.03/1800.00 c Primal Bound : +1.00000000000000e+00 (28 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.03 s SATISFIABLE
1800.03/1800.03 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.03/1800.03 v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.03/1800.03 v -x188 -x187 x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.03/1800.03 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.03/1800.03 v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125
1800.03/1800.03 v -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104
1800.03/1800.03 v -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.03/1800.03 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 -x54
1800.03/1800.03 v -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.03/1800.03 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.03/1800.03 v -x1
1800.03/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.03 c Solving Time : 1723.35
1800.03/1800.03 c Original Problem :
1800.03/1800.03 c Problem name : HOME/instance-2694077-1277904109.wbo
1800.03/1800.03 c Variables : 3835 (2033 binary, 0 integer, 0 implicit integer, 1802 continuous)
1800.03/1800.03 c Constraints : 4510 initial, 4510 maximal
1800.03/1800.03 c Presolved Problem :
1800.03/1800.03 c Problem name : t_HOME/instance-2694077-1277904109.wbo
1800.03/1800.03 c Variables : 3713 (1972 binary, 0 integer, 0 implicit integer, 1741 continuous)
1800.03/1800.03 c Constraints : 4364 initial, 34381 maximal
1800.03/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.03 c trivial : 0.00 61 0 0 0 0 0 0 0
1800.03/1800.03 c dualfix : 0.00 61 0 0 0 0 0 0 0
1800.03/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c probing : 0.05 0 0 0 0 0 0 0 0
1800.03/1800.03 c indicator : 0.00 0 0 0 0 0 61 0 0
1800.03/1800.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c linear : 0.04 0 0 0 1810 0 85 67 0
1800.03/1800.03 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.03/1800.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c root node : - 1701 - - 3402 - - - -
1800.03/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.03 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.03 c indicator : 1741 0 3977901 0 1219619 17 1511299 0 0 0
1800.03/1800.03 c setppc : 9 0 6916957 0 1814838 18170 2566329 0 0 0
1800.03/1800.03 c linear : 1741 0 6901908 0 1815479 338645 37328635 0 0 0
1800.03/1800.03 c logicor : 873+ 0 4506167 0 1815493 276423 7281677 0 0 0
1800.03/1800.03 c bounddisjunction : 0+ 0 26748 0 0 0 6 0 0 0
1800.03/1800.03 c countsols : 0 0 0 0 1815491 0 0 0 0 0
1800.03/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.03 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.03 c indicator : 4.05 0.00 1.77 0.00 2.28
1800.03/1800.03 c setppc : 13.59 0.00 11.62 0.00 1.97
1800.03/1800.03 c linear : 279.94 0.00 279.09 0.00 0.85
1800.03/1800.03 c logicor : 520.82 0.00 475.69 0.00 45.13
1800.03/1800.03 c bounddisjunction : 0.04 0.00 0.04 0.00 0.00
1800.03/1800.03 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.03 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.03 c vbounds : 0.00 2 0 0
1800.03/1800.03 c rootredcost : 0.01 0 0 0
1800.03/1800.03 c pseudoobj : 219.25 6920310 337 1502332
1800.03/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.03 c propagation : 29.91 633575 633322 3320790 22.2 97235 9.9 -
1800.03/1800.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.03 c pseudo solution : 0.00 12 12 43 11.5 17 10.1 -
1800.03/1800.03 c applied globally : - - - 1851078 19.4 - - -
1800.03/1800.03 c applied locally : - - - 1 198.0 - - -
1800.03/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.03 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.03 c redcost : 0.00 0 0 0 0 0
1800.03/1800.03 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.03 c intobj : 0.00 0 0 0 0 0
1800.03/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.03 c gomory : 0.00 0 0 0 0 0
1800.03/1800.03 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.03 c cmir : 0.00 0 0 0 0 0
1800.03/1800.03 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.03 c clique : 0.00 0 0 0 0 0
1800.03/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.03 c mcf : 0.00 0 0 0 0 0
1800.03/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.03 c Pricers : Time Calls Vars
1800.03/1800.03 c problem variables: 0.00 0 0
1800.03/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.03 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.03 c inference : 24.80 1815463 0 0 0 0 3630926
1800.03/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.03 c random : 0.00 0 0 0 0 0 0
1800.03/1800.03 c Primal Heuristics : Time Calls Found
1800.03/1800.03 c LP solutions : 0.00 - 0
1800.03/1800.03 c pseudo solutions : 2.11 - 28
1800.03/1800.03 c oneopt : 0.08 0 0
1800.03/1800.03 c trivial : 0.00 2 0
1800.03/1800.03 c simplerounding : 0.00 0 0
1800.03/1800.03 c zirounding : 0.00 0 0
1800.03/1800.03 c rounding : 0.00 0 0
1800.03/1800.03 c shifting : 0.00 0 0
1800.03/1800.03 c intshifting : 0.00 0 0
1800.03/1800.03 c twoopt : 0.00 0 0
1800.03/1800.03 c fixandinfer : 0.00 0 0
1800.03/1800.03 c feaspump : 0.00 0 0
1800.03/1800.03 c coefdiving : 0.00 0 0
1800.03/1800.03 c pscostdiving : 0.00 0 0
1800.03/1800.03 c fracdiving : 0.00 0 0
1800.03/1800.03 c veclendiving : 0.00 0 0
1800.03/1800.03 c intdiving : 0.00 0 0
1800.03/1800.03 c actconsdiving : 0.00 0 0
1800.03/1800.03 c objpscostdiving : 0.00 0 0
1800.03/1800.03 c rootsoldiving : 0.00 0 0
1800.03/1800.03 c linesearchdiving : 0.00 0 0
1800.03/1800.03 c guideddiving : 0.00 0 0
1800.03/1800.03 c octane : 0.00 0 0
1800.03/1800.03 c rens : 0.00 0 0
1800.03/1800.03 c rins : 0.00 0 0
1800.03/1800.03 c localbranching : 0.00 0 0
1800.03/1800.03 c mutation : 0.00 0 0
1800.03/1800.03 c crossover : 0.00 0 0
1800.03/1800.04 c dins : 0.00 0 0
1800.03/1800.04 c undercover : 0.00 0 0
1800.03/1800.04 c nlp : 0.01 0 0
1800.03/1800.04 c trysol : 0.01 1 0
1800.03/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.04 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.04 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.04 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.04 c (at root node) : - 0 0 0.00 -
1800.03/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.04 c B&B Tree :
1800.03/1800.04 c number of runs : 1
1800.03/1800.04 c nodes : 2214573
1800.03/1800.04 c nodes (total) : 2214573
1800.03/1800.04 c nodes left : 209423
1800.03/1800.04 c max depth : 1912
1800.03/1800.04 c max depth (total): 1912
1800.03/1800.04 c backtracks : 396155 (17.9%)
1800.03/1800.04 c delayed cutoffs : 295160
1800.03/1800.04 c repropagations : 1323349 (14575480 domain reductions, 234522 cutoffs)
1800.03/1800.04 c avg switch length: 27.48
1800.03/1800.04 c switching time : 526.12
1800.03/1800.04 c Solution :
1800.03/1800.04 c Solutions found : 28 (28 improvements)
1800.03/1800.04 c First Solution : +7.87000000000000e+02 (in run 1, after 5312 nodes, 1.39 seconds, depth 961, found by <relaxation>)
1800.03/1800.04 c Primal Bound : +1.00000000000000e+00 (in run 1, after 1833900 nodes, 1020.76 seconds, depth 1130, found by <relaxation>)
1800.03/1800.04 c Dual Bound : +0.00000000000000e+00
1800.03/1800.04 c Gap : infinite
1800.03/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.04 c Root Iterations : 0
1800.93/1800.92 c Time complete: 1800.95.
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694077-1277904109/watcher-2694077-1277904109 -o /tmp/evaluation-result-2694077-1277904109/solver-2694077-1277904109 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694077-1277904109.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: 1.99 1.98 1.99 3/178 24067 /proc/meminfo: memFree=31633344/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=8260 CPUtime=0 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 1547 0 0 0 0 0 0 0 25 0 1 0 164002653 8458240 1470 4089446400 4194304 7136930 140734235229488 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/24067/statm: 2065 1471 275 719 0 1344 0 [startup+0.048876 s] /proc/loadavg: 1.99 1.98 1.99 3/178 24067 /proc/meminfo: memFree=31633344/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=26256 CPUtime=0.04 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 6202 0 0 0 4 0 0 0 25 0 1 0 164002653 26886144 5771 4089446400 4194304 7136930 140734235229488 18446744073709551615 4415305 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 6564 5772 317 719 0 5843 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 26256 [startup+0.100998 s] /proc/loadavg: 1.99 1.98 1.99 3/178 24067 /proc/meminfo: memFree=31633344/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=27696 CPUtime=0.09 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 7346 0 0 0 8 1 0 0 25 0 1 0 164002653 28360704 6144 4089446400 4194304 7136930 140734235229488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 6924 6144 354 719 0 6203 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27696 [startup+0.300954 s] /proc/loadavg: 1.99 1.98 1.99 3/178 24067 /proc/meminfo: memFree=31633344/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=29604 CPUtime=0.29 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 10160 0 0 0 26 3 0 0 18 0 1 0 164002653 30314496 6645 4089446400 4194304 7136930 140734235229488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 7401 6645 391 719 0 6680 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29604 [startup+0.700891 s] /proc/loadavg: 1.99 1.98 1.99 3/178 24067 /proc/meminfo: memFree=31633344/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=31684 CPUtime=0.69 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 10689 0 0 0 63 6 0 0 18 0 1 0 164002653 32444416 7174 4089446400 4194304 7136930 140734235229488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 7921 7174 395 719 0 7200 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31684 [startup+1.5007 s] /proc/loadavg: 1.99 1.98 1.99 3/179 24068 /proc/meminfo: memFree=31604824/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=34332 CPUtime=1.49 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 11365 0 0 0 136 13 0 0 19 0 1 0 164002653 35155968 7850 4089446400 4194304 7136930 140734235229488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 8583 7850 395 719 0 7862 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34332 [startup+3.10034 s] /proc/loadavg: 1.99 1.98 1.99 3/179 24068 /proc/meminfo: memFree=31601724/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=37588 CPUtime=3.09 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 12209 0 0 0 282 27 0 0 25 0 1 0 164002653 38490112 8694 4089446400 4194304 7136930 140734235229488 18446744073709551615 4923501 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 9397 8694 395 719 0 8676 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37588 [startup+6.3009 s] /proc/loadavg: 1.99 1.98 1.99 3/179 24068 /proc/meminfo: memFree=31588140/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=50584 CPUtime=6.29 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 15468 0 0 0 577 52 0 0 25 0 1 0 164002653 51798016 11953 4089446400 4194304 7136930 140734235229488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 12646 11953 395 719 0 11925 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50584 [startup+12.7008 s] /proc/loadavg: 1.99 1.98 1.99 3/179 24069 /proc/meminfo: memFree=31560484/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=84004 CPUtime=12.69 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 23268 0 0 0 1172 97 0 0 25 0 1 0 164002653 86020096 19753 4089446400 4194304 7136930 140734235229488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 21001 19753 398 719 0 20280 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 84004 [startup+25.5005 s] /proc/loadavg: 1.99 1.98 1.99 3/179 24069 /proc/meminfo: memFree=31463904/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=186928 CPUtime=25.49 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 45911 0 0 0 2349 200 0 0 25 0 1 0 164002653 191414272 42396 4089446400 4194304 7136930 140734235229488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 46732 42396 398 719 0 46011 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 186928 [startup+51.101 s] /proc/loadavg: 2.06 2.00 2.00 3/179 24070 /proc/meminfo: memFree=31402872/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=247880 CPUtime=51.1 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 60697 0 0 0 4753 357 0 0 25 0 1 0 164002653 253829120 57182 4089446400 4194304 7136930 140734235229488 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 61970 57182 398 719 0 61249 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 247880 [startup+102.306 s] /proc/loadavg: 2.06 2.01 2.00 3/179 24072 /proc/meminfo: memFree=31272884/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=393652 CPUtime=102.3 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 92772 0 0 0 9628 602 0 0 25 0 1 0 164002653 403099648 89257 4089446400 4194304 7136930 140734235229488 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 98413 89257 398 719 0 97692 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 393652 [startup+162.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 24073 /proc/meminfo: memFree=31128128/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=543676 CPUtime=162.29 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 128914 0 0 0 15153 1076 0 0 25 0 1 0 164002653 556724224 125399 4089446400 4194304 7136930 140734235229488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 135919 125399 398 719 0 135198 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 543676 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24074 /proc/meminfo: memFree=30992788/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=673596 CPUtime=222.29 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 161454 0 0 0 20666 1563 0 0 25 0 1 0 164002653 689762304 157939 4089446400 4194304 7136930 140734235229488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 168399 157939 398 719 0 167678 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 673596 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24076 /proc/meminfo: memFree=30896636/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=768332 CPUtime=282.3 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 185320 0 0 0 26308 1922 0 0 25 0 1 0 164002653 786771968 181805 4089446400 4194304 7136930 140734235229488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 192083 181805 398 719 0 191362 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 768332 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24078 /proc/meminfo: memFree=30826144/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=835836 CPUtime=342.3 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 202275 0 0 0 32041 2189 0 0 25 0 1 0 164002653 855896064 198760 4089446400 4194304 7136930 140734235229488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 208959 198760 398 719 0 208238 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 835836 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24080 /proc/meminfo: memFree=30789512/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=871580 CPUtime=402.3 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 211151 0 0 0 37826 2404 0 0 25 0 1 0 164002653 892497920 207636 4089446400 4194304 7136930 140734235229488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 217895 207636 398 719 0 217174 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 871580 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24081 /proc/meminfo: memFree=30711340/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=963692 CPUtime=462.3 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 230519 0 0 0 43469 2761 0 0 25 0 1 0 164002653 986820608 227004 4089446400 4194304 7136930 140734235229488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 240923 227004 398 719 0 240202 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 963692 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24082 /proc/meminfo: memFree=30630056/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=1045800 CPUtime=522.3 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 250665 0 0 0 49124 3106 0 0 25 0 1 0 164002653 1070899200 247150 4089446400 4194304 7136930 140734235229488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 261450 247150 398 719 0 260729 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1045800 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24084 /proc/meminfo: memFree=30535520/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=1136104 CPUtime=582.3 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 273532 0 0 0 54724 3506 0 0 25 0 1 0 164002653 1163370496 270017 4089446400 4194304 7136930 140734235229488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 284026 270017 398 719 0 283305 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1136104 [startup+642.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 24086 /proc/meminfo: memFree=30461444/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=1206564 CPUtime=642.31 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 291334 0 0 0 60377 3854 0 0 25 0 1 0 164002653 1235521536 287819 4089446400 4194304 7136930 140734235229488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 301641 287819 398 719 0 300920 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1206564 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24096 /proc/meminfo: memFree=30024804/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=1649716 CPUtime=1002.32 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 398921 0 0 0 94406 5826 0 0 25 0 1 0 164002653 1689309184 395406 4089446400 4194304 7136930 140734235229488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 412429 395406 398 719 0 411708 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1649716 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24097 /proc/meminfo: memFree=29965120/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=1707400 CPUtime=1062.32 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 413486 0 0 0 100110 6122 0 0 25 0 1 0 164002653 1748377600 409971 4089446400 4194304 7136930 140734235229488 18446744073709551615 4999886 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 426850 409971 398 719 0 426129 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1707400 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24098 /proc/meminfo: memFree=29949564/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=1721276 CPUtime=1122.32 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 419476 0 0 0 105866 6366 0 0 25 0 1 0 164002653 1762586624 413514 4089446400 4194304 7136930 140734235229488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 430319 413514 398 719 0 429598 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1721276 [startup+1182.3 s] /proc/loadavg: 2.07 2.02 2.00 3/179 24100 /proc/meminfo: memFree=29948648/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=1721492 CPUtime=1182.32 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 419499 0 0 0 111674 6558 0 0 25 0 1 0 164002653 1762807808 413537 4089446400 4194304 7136930 140734235229488 18446744073709551615 4227171 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 430373 413537 398 719 0 429652 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1721492 [startup+1242.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 24102 /proc/meminfo: memFree=29947612/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=1721492 CPUtime=1242.32 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 419504 0 0 0 117520 6712 0 0 25 0 1 0 164002653 1762807808 413542 4089446400 4194304 7136930 140734235229488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 430373 413542 398 719 0 429652 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1721492 [startup+1302.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 24104 /proc/meminfo: memFree=29946716/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=1721816 CPUtime=1302.32 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 419547 0 0 0 123386 6846 0 0 25 0 1 0 164002653 1763139584 413585 4089446400 4194304 7136930 140734235229488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 430454 413585 398 719 0 429733 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1721816 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24105 /proc/meminfo: memFree=29944696/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=1721856 CPUtime=1362.33 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 419581 0 0 0 129269 6964 0 0 25 0 1 0 164002653 1763180544 413619 4089446400 4194304 7136930 140734235229488 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 430464 413619 398 719 0 429743 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1721856 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24106 /proc/meminfo: memFree=29943300/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=1722712 CPUtime=1422.33 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 419732 0 0 0 135156 7077 0 0 25 0 1 0 164002653 1764057088 413770 4089446400 4194304 7136930 140734235229488 18446744073709551615 4923471 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 430678 413770 398 719 0 429957 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1722712 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 2/177 24109 /proc/meminfo: memFree=30045084/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=1722868 CPUtime=1482.33 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 419767 0 0 0 141051 7182 0 0 25 0 1 0 164002653 1764216832 413805 4089446400 4194304 7136930 140734235229488 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 430717 413805 398 719 0 429996 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1722868 [startup+1542.3 s] /proc/loadavg: 2.06 2.03 2.01 3/197 24156 /proc/meminfo: memFree=29958864/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=1722988 CPUtime=1542.32 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 419817 0 0 0 146954 7278 0 0 25 0 1 0 164002653 1764339712 413855 4089446400 4194304 7136930 140734235229488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 430747 413855 398 719 0 430026 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 1722988 [startup+1602.3 s] /proc/loadavg: 2.02 2.02 2.00 3/197 24158 /proc/meminfo: memFree=29957320/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=1722988 CPUtime=1602.33 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 419819 0 0 0 152860 7373 0 0 25 0 1 0 164002653 1764339712 413857 4089446400 4194304 7136930 140734235229488 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 430747 413857 398 719 0 430026 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1722988 [startup+1662.3 s] /proc/loadavg: 2.01 2.01 2.00 3/197 24162 /proc/meminfo: memFree=29953744/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=1723264 CPUtime=1662.33 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 419878 0 0 0 158771 7462 0 0 25 0 1 0 164002653 1764622336 413916 4089446400 4194304 7136930 140734235229488 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 430816 413916 398 719 0 430095 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 1723264 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/197 24163 /proc/meminfo: memFree=29953804/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=1723264 CPUtime=1722.33 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 419880 0 0 0 164683 7550 0 0 25 0 1 0 164002653 1764622336 413918 4089446400 4194304 7136930 140734235229488 18446744073709551615 4981632 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 430816 413918 398 719 0 430095 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 1723264 [startup+1782.3 s] /proc/loadavg: 2.06 2.02 2.00 3/197 24165 /proc/meminfo: memFree=29953492/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=1723264 CPUtime=1782.33 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 419884 0 0 0 170596 7637 0 0 25 0 1 0 164002653 1764622336 413922 4089446400 4194304 7136930 140734235229488 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 430816 413922 398 719 0 430095 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 1723264 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.05 2.02 2.00 3/197 24165 /proc/meminfo: memFree=29953592/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=1723264 CPUtime=1800.03 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 419886 0 0 0 172336 7667 0 0 25 0 1 0 164002653 1764622336 413924 4089446400 4194304 7136930 140734235229488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24067/statm: 430816 413924 398 719 0 430095 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1723264 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 2.04 2.02 2.00 3/198 24166 /proc/meminfo: memFree=30117884/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=1555340 CPUtime=1800.64 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 419915 0 0 0 172396 7668 0 0 18 0 1 0 164002653 1592668160 371961 4089446400 4194304 7136930 140734235229488 18446744073709551615 6165762 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/24067/statm: 388835 371961 403 719 0 388114 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (KiB) 1555340 [startup+1800.8 s] /proc/loadavg: 2.04 2.02 2.00 3/198 24166 /proc/meminfo: memFree=30117884/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=1352660 CPUtime=1800.84 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 419915 0 0 0 172415 7669 0 0 19 0 1 0 164002653 1385123840 321297 4089446400 4194304 7136930 140734235229488 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/24067/statm: 338165 321297 403 719 0 337444 0 Current children cumulated CPU time (s) 1800.84 Current children cumulated vsize (KiB) 1352660 [startup+1800.9 s] /proc/loadavg: 2.04 2.02 2.00 3/198 24166 /proc/meminfo: memFree=30117884/32950940 swapFree=67111528/67111528 [pid=24067] ppid=24065 vsize=558068 CPUtime=1800.93 /proc/24067/stat : 24067 (pbscip.linux.x8) R 24065 24067 22746 0 -1 4202496 419938 0 0 0 172422 7671 0 0 19 0 1 0 164002653 571461632 131263 4089446400 4194304 7136930 140734235229488 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/24067/statm: 139187 131096 403 719 0 138466 0 Current children cumulated CPU time (s) 1800.93 Current children cumulated vsize (KiB) 558068 Child status: 0 Real time (s): 1800.92 CPU time (s): 1800.97 CPU user time (s): 1724.23 CPU system time (s): 76.7363 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1731064 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1724.23 system time used= 76.7363 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 419945 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= 20342 runsolver used 2.57561 second user time and 5.64714 second system time The end
Begin job on node117 at 2010-06-30 15:21:49 IDJOB=2694077 IDBENCH=78917 IDSOLVER=1206 FILE ID=node117/2694077-1277904109 PBS_JOBID= 11197155 Free space on /tmp= 74208 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.1900551864--soft-33-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-2694077-1277904109/watcher-2694077-1277904109 -o /tmp/evaluation-result-2694077-1277904109/solver-2694077-1277904109 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694077-1277904109.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 124472bd94dbe4a4a7a86c80941ffe16 RANDOM SEED=1815108410 node117.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.799 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.59 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.799 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.75 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.799 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.82 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.799 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.75 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.799 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.85 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.799 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.75 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.799 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.82 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.799 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950940 kB MemFree: 31633996 kB Buffers: 187908 kB Cached: 853584 kB SwapCached: 0 kB Active: 594292 kB Inactive: 582516 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950940 kB LowFree: 31633996 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3120 kB Writeback: 0 kB AnonPages: 135212 kB Mapped: 17112 kB Slab: 77548 kB PageTables: 5004 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586996 kB Committed_AS: 280796 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= 74208 MiB End job on node117 at 2010-06-30 15:51:51