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.12 | 1802.09 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900551864--soft-0-100-0.wbo |
| MD5SUM | 917ecf2b03be28c1e7bdced93c48bfdc |
| Bench Category | SOFT-SMALLINT-LIN (only soft 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 | 29.4515 |
| 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 | 2707 |
| 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 | 136614 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 136613 |
| 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-2693581-1277925108.wbo>
0.00/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 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.09/0.12 o 136613
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.366130e+05
0.09/0.12 c presolving:
0.09/0.13 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.18 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (3 rounds):
0.09/0.18 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 2707 implications, 0 cliques
0.09/0.18 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.18 c 2707 constraints of type <indicator>
0.09/0.18 c 2707 constraints of type <linear>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.12
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.97
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.19/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.20 c t 0.1s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.366130e+05 | Inf
1.69/1.73 o 636
1.69/1.73 c * 1.6s| 5746 | 5363 | 0 | 0.0 | 22M|2816 | - |5645 |6553 | 0 | 0 | 0 |1141 | 0 | 0.000000e+00 | 6.360000e+02 | Inf
3.09/3.17 c 3.0s| 10000 | 9615 | 0 | 0.0 | 24M|2816 | - |5645 |6561 | 0 | 0 | 0 |1151 | 0 | 0.000000e+00 | 6.360000e+02 | Inf
3.40/3.50 o 382
3.40/3.50 c * 3.3s| 11284 | 10569 | 0 | 0.0 | 25M|2816 | - |5645 |6640 | 0 | 0 | 0 |1235 | 0 | 0.000000e+00 | 3.820000e+02 | Inf
3.49/3.52 o 362
3.49/3.52 c * 3.3s| 11380 | 10019 | 0 | 0.0 | 25M|2816 | - |5645 |6640 | 0 | 0 | 0 |1235 | 0 | 0.000000e+00 | 3.620000e+02 | Inf
6.19/6.28 c 5.9s| 20000 | 17305 | 0 | 0.0 | 35M|2816 | - |5645 |8197 | 0 | 0 | 0 |7260 | 0 | 0.000000e+00 | 3.620000e+02 | Inf
10.69/10.73 c 10.1s| 30000 | 24308 | 0 | 0.0 | 48M|2816 | - |5645 |9016 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 3.620000e+02 | Inf
13.19/13.26 o 316
13.19/13.26 c *12.5s| 33672 | 24315 | 0 | 0.0 | 52M|2816 | - |5645 |9736 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 3.160000e+02 | Inf
13.39/13.45 o 303
13.39/13.45 c *12.7s| 34113 | 24211 | 0 | 0.0 | 53M|2816 | - |5645 |9536 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 3.030000e+02 | Inf
13.59/13.67 o 302
13.59/13.67 c *12.9s| 34594 | 24687 | 0 | 0.0 | 53M|2816 | - |5645 |9388 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 3.020000e+02 | Inf
13.59/13.69 o 282
13.59/13.69 c *12.9s| 34606 | 24174 | 0 | 0.0 | 52M|2816 | - |5645 |9387 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.820000e+02 | Inf
13.69/13.79 o 249
13.69/13.79 c *13.0s| 34833 | 24064 | 0 | 0.0 | 52M|2816 | - |5645 |9319 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
13.79/13.85 o 245
13.79/13.85 c *13.1s| 34938 | 24115 | 0 | 0.0 | 52M|2816 | - |5645 |9269 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 2.450000e+02 | Inf
13.89/13.93 o 240
13.89/13.93 c *13.1s| 35048 | 24174 | 0 | 0.0 | 52M|2816 | - |5645 |9219 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 2.400000e+02 | Inf
14.79/14.82 o 226
14.79/14.82 c *14.0s| 36536 | 25537 | 0 | 0.0 | 53M|2816 | - |5645 |8789 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
14.79/14.82 o 210
14.79/14.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.79/14.82 c *14.0s| 36537 | 25401 | 0 | 0.0 | 53M|2816 | - |5645 |8789 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 2.100000e+02 | Inf
14.89/14.97 o 195
14.89/14.97 c *14.2s| 36792 | 25551 | 0 | 0.0 | 54M|2816 | - |5645 |8744 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.950000e+02 | Inf
15.09/15.17 o 163
15.09/15.17 c *14.3s| 37109 | 25638 | 0 | 0.0 | 53M|2816 | - |5645 |8730 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
15.69/15.74 o 150
15.69/15.74 c *14.9s| 37923 | 26273 | 0 | 0.0 | 55M|2816 | - |5645 |8733 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
15.99/16.02 o 143
15.99/16.02 c *15.2s| 38358 | 26619 | 0 | 0.0 | 55M|2816 | - |5645 |8522 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
16.59/16.60 o 124
16.59/16.60 c *15.7s| 39305 | 26840 | 0 | 0.0 | 56M|2816 | - |5645 |8276 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
16.99/17.06 c 16.2s| 40000 | 27472 | 0 | 0.0 | 57M|2816 | - |5645 |8252 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
17.89/17.91 o 117
17.89/17.91 c *17.0s| 41358 | 28638 | 0 | 0.0 | 59M|2816 | - |5645 |8128 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
18.60/18.61 o 110
18.60/18.61 c *17.7s| 42507 | 29666 | 0 | 0.0 | 61M|2816 | - |5645 |7758 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.100000e+02 | Inf
19.99/20.07 o 108
19.99/20.07 c *19.1s| 44741 | 31621 | 0 | 0.0 | 65M|2816 | - |5645 |7854 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.080000e+02 | Inf
20.30/20.36 o 92
20.30/20.36 c *19.4s| 45068 | 31358 | 0 | 0.0 | 64M|2816 | - |5645 |7984 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
20.99/21.01 o 90
20.99/21.01 c *20.0s| 45592 | 31618 | 0 | 0.0 | 69M|2816 | - |5645 |8520 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
24.39/24.40 o 82
24.39/24.40 c *23.2s| 49624 | 34594 | 0 | 0.0 | 79M|2816 | - |5645 |8329 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
24.59/24.61 c 23.4s| 50000 | 34939 | 0 | 0.0 | 80M|2816 | - |5645 |8122 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
24.89/24.96 o 55
24.89/24.96 c *23.8s| 50571 | 33272 | 0 | 0.0 | 67M|2816 | - |5645 |7788 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 5.500000e+01 | Inf
25.20/25.22 o 39
25.20/25.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.20/25.22 c *24.0s| 51035 | 32877 | 0 | 0.0 | 65M|2816 | - |5645 |7728 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
26.49/26.60 o 37
26.49/26.60 c *25.3s| 52738 | 34004 | 0 | 0.0 | 67M|2816 | - |5645 |8280 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
27.79/27.88 o 36
27.79/27.88 c *26.5s| 55655 | 36374 | 0 | 0.0 | 70M|2816 | - |5645 |8107 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
29.79/29.89 c 28.4s| 60000 | 40008 | 0 | 0.0 | 76M|2816 | - |5645 |8319 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
34.19/34.23 c 32.5s| 70000 | 48266 | 0 | 0.0 | 88M|2816 | - |5645 |9169 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
38.29/38.35 c 36.3s| 80000 | 56469 | 0 | 0.0 | 98M|2816 | - |5645 |8922 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
42.59/42.62 c 40.4s| 90000 | 64401 | 0 | 0.0 | 109M|2816 | - |5645 |8843 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
47.49/47.51 c 45.0s|100000 | 71739 | 0 | 0.0 | 121M|2816 | - |5645 |9279 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
52.49/52.55 c 49.8s|110000 | 78916 | 0 | 0.0 | 132M|2816 | - |5645 |9788 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
57.79/57.87 c 54.9s|120000 | 85806 | 0 | 0.0 | 143M|2816 | - |5645 | 10k| 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
63.09/63.15 c 60.0s|130000 | 92789 | 0 | 0.0 | 154M|2816 | - |5645 | 10k| 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
68.69/68.73 c 65.3s|140000 | 99489 | 0 | 0.0 | 165M|2816 | - |5645 | 11k| 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
74.29/74.34 c 70.7s|150000 |106208 | 0 | 0.0 | 176M|2816 | - |5645 | 12k| 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
80.40/80.44 c 76.5s|160000 |112515 | 0 | 0.0 | 186M|2816 | - |5645 | 12k| 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
87.80/87.82 c 83.7s|170000 |117397 | 0 | 0.0 | 198M|2816 | - |5645 | 14k| 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
98.29/98.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.29/98.39 c 93.9s|180000 |118263 | 0 | 0.0 | 205M|2816 | - |5645 | 16k| 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
100.39/100.40 o 28
100.39/100.40 c *95.9s|182371 |117695 | 0 | 0.0 | 199M|2816 | - |5645 | 11k| 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
104.39/104.46 c 99.7s|190000 |124198 | 0 | 0.0 | 207M|2816 | - |5645 |7907 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
105.69/105.77 o 22
105.69/105.77 c * 101s|192120 |125089 | 0 | 0.0 | 207M|2816 | - |5645 |8346 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
105.69/105.78 o 13
105.69/105.78 c * 101s|192121 |124005 | 0 | 0.0 | 203M|2816 | - |5645 |8346 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
111.29/111.33 o 6
111.29/111.33 c * 106s|198147 |126510 | 0 | 0.0 | 212M|2816 | - |5645 | 11k| 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
113.79/113.81 c 109s|200000 |126845 | 0 | 0.0 | 215M|2816 | - |5645 | 10k| 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
119.79/119.83 c 114s|210000 |134326 | 0 | 0.0 | 229M|2816 | - |5645 | 11k| 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
126.39/126.41 c 121s|220000 |140848 | 0 | 0.0 | 240M|2816 | - |5645 | 10k| 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
134.49/134.56 c 129s|230000 |147813 | 0 | 0.0 | 252M|2816 | - |5645 | 11k| 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
145.29/145.37 c 139s|240000 |152098 | 0 | 0.0 | 264M|2816 | - |5645 | 12k| 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
151.99/152.00 c 146s|250000 |159340 | 0 | 0.0 | 278M|2816 | - |5645 | 14k| 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
160.60/160.63 c 154s|260000 |165885 | 0 | 0.0 | 299M|2816 | - |5645 |9939 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
165.89/165.98 c 159s|270000 |172756 | 0 | 0.0 | 309M|2816 | - |5645 |9808 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
171.69/171.72 c 164s|280000 |178641 | 0 | 0.0 | 319M|2816 | - |5645 |9352 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
176.70/176.71 o 4
176.70/176.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
176.70/176.71 c * 169s|289832 |184517 | 0 | 0.0 | 327M|2816 | - |5645 | 10k| 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
176.79/176.89 c 169s|290000 |184573 | 0 | 0.0 | 327M|2816 | - |5645 | 10k| 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
181.40/181.42 c 173s|300000 |192207 | 0 | 0.0 | 336M|2816 | - |5645 |9116 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
186.20/186.26 c 178s|310000 |199537 | 0 | 0.0 | 347M|2816 | - |5645 | 10k| 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
192.40/192.44 c 184s|320000 |205412 | 0 | 0.0 | 356M|2816 | - |5645 |9219 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
197.30/197.30 c 188s|330000 |212733 | 0 | 0.0 | 366M|2816 | - |5645 |9926 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
203.50/203.57 c 194s|340000 |218438 | 0 | 0.0 | 377M|2816 | - |5645 | 11k| 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
208.30/208.32 c 199s|350000 |225796 | 0 | 0.0 | 387M|2816 | - |5645 | 10k| 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
213.49/213.54 c 204s|360000 |232760 | 0 | 0.0 | 396M|2816 | - |5645 | 10k| 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
218.50/218.56 c 208s|370000 |239749 | 0 | 0.0 | 406M|2816 | - |5645 | 10k| 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
224.00/224.07 c 214s|380000 |246440 | 0 | 0.0 | 416M|2816 | - |5645 | 10k| 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
229.29/229.35 c 219s|390000 |253006 | 0 | 0.0 | 425M|2816 | - |5645 |9893 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
234.80/234.83 c 224s|400000 |259775 | 0 | 0.0 | 435M|2816 | - |5645 | 10k| 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
240.49/240.52 c 229s|410000 |266178 | 0 | 0.0 | 445M|2816 | - |5645 | 10k| 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
245.89/245.90 c 234s|420000 |273007 | 0 | 0.0 | 455M|2816 | - |5645 | 10k| 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
251.39/251.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
251.39/251.41 c 240s|430000 |279837 | 0 | 0.0 | 465M|2816 | - |5645 | 10k| 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
256.69/256.72 c 245s|440000 |286727 | 0 | 0.0 | 474M|2816 | - |5645 | 10k| 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
262.10/262.15 c 250s|450000 |293449 | 0 | 0.0 | 484M|2816 | - |5645 | 11k| 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
266.59/266.60 c 254s|460000 |301208 | 0 | 0.0 | 494M|2816 | - |5645 | 10k| 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
272.40/272.43 c 259s|470000 |307575 | 0 | 0.0 | 504M|2816 | - |5645 | 12k| 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
277.39/277.48 c 264s|480000 |314763 | 0 | 0.0 | 513M|2816 | - |5645 | 11k| 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
282.40/282.43 c 269s|490000 |321943 | 0 | 0.0 | 522M|2816 | - |5645 |8037 | 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
286.00/286.07 c 272s|500000 |329944 | 0 | 0.0 | 531M|2816 | - |5645 |4325 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
289.30/289.38 c 275s|510000 |338168 | 0 | 0.0 | 540M|2816 | - |5645 |4287 | 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
293.60/293.68 c 279s|520000 |345417 | 0 | 0.0 | 550M|2816 | - |5645 |5272 | 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
298.89/298.90 c 284s|530000 |351895 | 0 | 0.0 | 560M|2816 | - |5645 |6311 | 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
304.29/304.39 c 290s|540000 |358195 | 0 | 0.0 | 570M|2816 | - |5645 |6888 | 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
310.29/310.31 c 295s|550000 |364220 | 0 | 0.0 | 579M|2816 | - |5645 |6442 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
316.50/316.51 c 301s|560000 |369809 | 0 | 0.0 | 590M|2816 | - |5645 |7238 | 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
323.00/323.04 c 307s|570000 |375147 | 0 | 0.0 | 600M|2816 | - |5645 |7623 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
329.69/329.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
329.69/329.70 c 314s|580000 |380375 | 0 | 0.0 | 610M|2816 | - |5645 |7004 | 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
335.99/336.06 c 320s|590000 |385858 | 0 | 0.0 | 620M|2816 | - |5645 |7266 | 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
342.60/342.65 c 326s|600000 |391142 | 0 | 0.0 | 630M|2816 | - |5645 |8086 | 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
349.50/349.52 c 333s|610000 |396074 | 0 | 0.0 | 639M|2816 | - |5645 |8735 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
356.70/356.73 c 340s|620000 |400695 | 0 | 0.0 | 649M|2816 | - |5645 |8963 | 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
363.80/363.84 c 346s|630000 |405478 | 0 | 0.0 | 658M|2816 | - |5645 |8648 | 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
371.20/371.25 c 354s|640000 |409858 | 0 | 0.0 | 667M|2816 | - |5645 |8977 | 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
378.90/378.94 c 361s|650000 |414076 | 0 | 0.0 | 677M|2816 | - |5645 |9223 | 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
386.30/386.34 c 368s|660000 |418636 | 0 | 0.0 | 687M|2816 | - |5645 |9054 | 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
394.20/394.20 c 376s|670000 |422706 | 0 | 0.0 | 696M|2816 | - |5645 | 10k| 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
402.50/402.53 c 384s|680000 |426312 | 0 | 0.0 | 705M|2816 | - |5645 | 10k| 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
410.90/410.96 c 392s|690000 |429821 | 0 | 0.0 | 714M|2816 | - |5645 | 10k| 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
419.50/419.54 c 400s|700000 |433149 | 0 | 0.0 | 722M|2816 | - |5645 | 10k| 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
428.10/428.17 c 408s|710000 |436413 | 0 | 0.0 | 732M|2816 | - |5645 | 10k| 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
436.80/436.84 c 417s|720000 |439558 | 0 | 0.0 | 740M|2816 | - |5645 | 10k| 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
446.10/446.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
446.10/446.17 c 426s|730000 |441997 | 0 | 0.0 | 748M|2816 | - |5645 | 10k| 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
455.40/455.47 c 435s|740000 |444487 | 0 | 0.0 | 756M|2816 | - |5645 | 11k| 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
464.90/464.99 c 444s|750000 |446840 | 0 | 0.0 | 764M|2816 | - |5645 | 11k| 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
475.21/475.24 c 454s|760000 |448484 | 0 | 0.0 | 770M|2816 | - |5645 | 12k| 0 | 0 | 0 | 624k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
487.20/487.24 c 466s|770000 |449014 | 0 | 0.0 | 776M|2816 | - |5645 | 13k| 0 | 0 | 0 | 639k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
499.60/499.61 c 478s|780000 |449509 | 0 | 0.0 | 781M|2816 | - |5645 | 14k| 0 | 0 | 0 | 655k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
514.70/514.77 c 493s|790000 |447225 | 0 | 0.0 | 780M|2816 | - |5645 | 16k| 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
519.10/519.17 c 497s|800000 |455011 | 0 | 0.0 | 786M|2816 | - |5645 |5053 | 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
523.20/523.27 c 501s|810000 |462645 | 0 | 0.0 | 795M|2816 | - |5645 |5541 | 0 | 0 | 0 | 681k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
528.01/528.05 c 505s|820000 |469672 | 0 | 0.0 | 805M|2816 | - |5645 |6184 | 0 | 0 | 0 | 685k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
529.50/529.55 o 3
529.50/529.55 c * 506s|822944 |470059 | 0 | 0.0 | 806M|2816 | - |5645 |6472 | 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
533.70/533.73 c 510s|830000 |474776 | 0 | 0.0 | 815M|2816 | - |5645 |6879 | 0 | 0 | 0 | 690k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
540.20/540.24 c 516s|840000 |480787 | 0 | 0.0 | 827M|2816 | - |5645 |7630 | 0 | 0 | 0 | 696k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
547.81/547.90 c 524s|850000 |485866 | 0 | 0.0 | 839M|2816 | - |5645 |8633 | 0 | 0 | 0 | 704k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
556.30/556.39 c 532s|860000 |490029 | 0 | 0.0 | 851M|2816 | - |5645 |9882 | 0 | 0 | 0 | 713k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
566.81/566.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
566.81/566.80 c 542s|870000 |492608 | 0 | 0.0 | 861M|2816 | - |5645 | 11k| 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
577.51/577.54 c 552s|880000 |494947 | 0 | 0.0 | 866M|2816 | - |5645 |6949 | 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
581.81/581.90 c 556s|890000 |502489 | 0 | 0.0 | 875M|2816 | - |5645 |6473 | 0 | 0 | 0 | 740k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
586.40/586.49 c 561s|900000 |509785 | 0 | 0.0 | 885M|2816 | - |5645 |7099 | 0 | 0 | 0 | 744k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
591.60/591.64 c 566s|910000 |516616 | 0 | 0.0 | 895M|2816 | - |5645 |8142 | 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
597.61/597.65 c 571s|920000 |522734 | 0 | 0.0 | 905M|2816 | - |5645 |9740 | 0 | 0 | 0 | 756k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
605.20/605.27 c 579s|930000 |527653 | 0 | 0.0 | 915M|2816 | - |5645 | 11k| 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
615.51/615.59 c 588s|940000 |530747 | 0 | 0.0 | 924M|2816 | - |5645 | 14k| 0 | 0 | 0 | 777k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
619.70/619.77 o 2
619.70/619.77 c * 593s|942987 |508903 | 0 | 0.0 | 898M|2816 | - |5645 | 16k| 0 | 0 | 0 | 782k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
624.01/624.00 c 597s|950000 |513787 | 0 | 0.0 | 902M|2816 | - |5645 |8100 | 0 | 0 | 0 | 785k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
628.60/628.69 c 601s|960000 |521268 | 0 | 0.0 | 913M|2816 | - |5645 |7942 | 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
634.00/634.09 c 606s|970000 |528073 | 0 | 0.0 | 923M|2816 | - |5645 |8641 | 0 | 0 | 0 | 794k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
640.11/640.13 c 612s|980000 |534426 | 0 | 0.0 | 933M|2816 | - |5645 |9099 | 0 | 0 | 0 | 799k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
646.81/646.81 c 618s|990000 |540363 | 0 | 0.0 | 944M|2816 | - |5645 |9389 | 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
654.21/654.26 c 625s| 1000k|545844 | 0 | 0.0 | 954M|2816 | - |5645 |9567 | 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
661.40/661.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
661.40/661.49 c 632s| 1010k|551323 | 0 | 0.0 | 963M|2816 | - |5645 | 10k| 0 | 0 | 0 | 820k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
668.90/668.94 c 639s| 1020k|556641 | 0 | 0.0 | 972M|2816 | - |5645 | 10k| 0 | 0 | 0 | 828k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
676.41/676.47 c 646s| 1030k|561985 | 0 | 0.0 | 982M|2816 | - |5645 | 10k| 0 | 0 | 0 | 836k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
684.00/684.10 c 654s| 1040k|567278 | 0 | 0.0 | 990M|2816 | - |5645 | 11k| 0 | 0 | 0 | 844k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
692.61/692.68 c 662s| 1050k|571925 | 0 | 0.0 |1000M|2816 | - |5645 | 12k| 0 | 0 | 0 | 852k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
702.50/702.59 c 672s| 1060k|575570 | 0 | 0.0 |1008M|2816 | - |5645 | 14k| 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
713.10/713.10 c 682s| 1070k|579007 | 0 | 0.0 |1013M|2816 | - |5645 | 10k| 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
718.10/718.10 c 686s| 1080k|586405 | 0 | 0.0 |1022M|2816 | - |5645 |8323 | 0 | 0 | 0 | 878k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
723.40/723.47 c 691s| 1090k|593320 | 0 | 0.0 |1032M|2816 | - |5645 |9194 | 0 | 0 | 0 | 883k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
729.61/729.69 c 697s| 1100k|599601 | 0 | 0.0 |1042M|2816 | - |5645 | 10k| 0 | 0 | 0 | 889k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
737.11/737.15 c 705s| 1110k|605297 | 0 | 0.0 |1052M|2816 | - |5645 | 12k| 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
748.11/748.13 c 715s| 1120k|609706 | 0 | 0.0 |1061M|2816 | - |5645 | 14k| 0 | 0 | 0 | 906k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
764.81/764.81 c 732s| 1130k|611052 | 0 | 0.0 |1066M|2816 | - |5645 | 14k| 0 | 0 | 0 | 920k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
771.91/771.96 c 738s| 1140k|618502 | 0 | 0.0 |1077M|2816 | - |5645 | 10k| 0 | 0 | 0 | 924k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
778.82/778.82 c 745s| 1150k|625704 | 0 | 0.0 |1088M|2816 | - |5645 |9373 | 0 | 0 | 0 | 928k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
785.11/785.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
785.11/785.15 c 751s| 1160k|632583 | 0 | 0.0 |1097M|2816 | - |5645 |8654 | 0 | 0 | 0 | 933k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
792.61/792.63 c 758s| 1170k|638636 | 0 | 0.0 |1107M|2816 | - |5645 |9260 | 0 | 0 | 0 | 939k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
800.91/800.94 c 766s| 1180k|644134 | 0 | 0.0 |1116M|2816 | - |5645 |9773 | 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
810.21/810.24 c 775s| 1190k|648868 | 0 | 0.0 |1125M|2816 | - |5645 | 10k| 0 | 0 | 0 | 954k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
819.31/819.34 c 784s| 1200k|653797 | 0 | 0.0 |1133M|2816 | - |5645 |9862 | 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
827.80/827.83 c 792s| 1210k|659236 | 0 | 0.0 |1142M|2816 | - |5645 | 10k| 0 | 0 | 0 | 970k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
836.31/836.34 c 800s| 1220k|664596 | 0 | 0.0 |1151M|2816 | - |5645 | 10k| 0 | 0 | 0 | 976k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
845.31/845.32 c 809s| 1230k|669798 | 0 | 0.0 |1160M|2816 | - |5645 | 11k| 0 | 0 | 0 | 983k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
855.72/855.71 c 819s| 1240k|673984 | 0 | 0.0 |1170M|2816 | - |5645 | 12k| 0 | 0 | 0 | 992k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
867.40/867.44 c 830s| 1250k|677324 | 0 | 0.0 |1175M|2816 | - |5645 |8861 | 0 | 0 | 0 |1003k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
873.61/873.67 c 836s| 1260k|684531 | 0 | 0.0 |1185M|2816 | - |5645 |8967 | 0 | 0 | 0 |1007k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
880.51/880.59 c 843s| 1270k|691145 | 0 | 0.0 |1195M|2816 | - |5645 |9983 | 0 | 0 | 0 |1012k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
888.41/888.49 c 850s| 1280k|697043 | 0 | 0.0 |1205M|2816 | - |5645 | 11k| 0 | 0 | 0 |1018k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
898.41/898.48 c 860s| 1290k|701633 | 0 | 0.0 |1214M|2816 | - |5645 | 12k| 0 | 0 | 0 |1027k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
913.21/913.29 c 874s| 1300k|703145 | 0 | 0.0 |1222M|2816 | - |5645 | 14k| 0 | 0 | 0 |1040k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
922.41/922.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
922.41/922.40 c 883s| 1310k|708796 | 0 | 0.0 |1228M|2816 | - |5645 |8544 | 0 | 0 | 0 |1047k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
928.81/928.83 c 889s| 1320k|715968 | 0 | 0.0 |1238M|2816 | - |5645 |9222 | 0 | 0 | 0 |1052k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
935.71/935.73 c 896s| 1330k|722741 | 0 | 0.0 |1248M|2816 | - |5645 |9948 | 0 | 0 | 0 |1057k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
943.61/943.66 c 904s| 1340k|728936 | 0 | 0.0 |1259M|2816 | - |5645 | 10k| 0 | 0 | 0 |1062k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
951.91/951.93 c 912s| 1350k|734864 | 0 | 0.0 |1269M|2816 | - |5645 | 10k| 0 | 0 | 0 |1069k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
960.61/960.64 c 920s| 1360k|740425 | 0 | 0.0 |1278M|2816 | - |5645 | 11k| 0 | 0 | 0 |1075k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
970.01/970.03 c 929s| 1370k|745569 | 0 | 0.0 |1287M|2816 | - |5645 | 12k| 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
980.11/980.11 c 939s| 1380k|750243 | 0 | 0.0 |1296M|2816 | - |5645 | 12k| 0 | 0 | 0 |1091k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
991.02/991.02 c 949s| 1390k|754366 | 0 | 0.0 |1303M|2816 | - |5645 | 14k| 0 | 0 | 0 |1101k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1004.82/1004.87 c 963s| 1400k|756716 | 0 | 0.0 |1310M|2816 | - |5645 | 15k| 0 | 0 | 0 |1114k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1018.71/1018.79 c 976s| 1410k|759619 | 0 | 0.0 |1313M|2816 | - |5645 |9721 | 0 | 0 | 0 |1125k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1024.81/1024.81 c 982s| 1420k|766890 | 0 | 0.0 |1323M|2816 | - |5645 |9859 | 0 | 0 | 0 |1129k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1031.82/1031.81 c 989s| 1430k|773381 | 0 | 0.0 |1333M|2816 | - |5645 | 10k| 0 | 0 | 0 |1134k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1039.71/1039.79 c 996s| 1440k|779285 | 0 | 0.0 |1343M|2816 | - |5645 | 11k| 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1047.92/1047.94 c 1004s| 1450k|785034 | 0 | 0.0 |1352M|2816 | - |5645 | 10k| 0 | 0 | 0 |1147k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1056.22/1056.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1056.22/1056.29 c 1012s| 1460k|790540 | 0 | 0.0 |1361M|2816 | - |5645 | 10k| 0 | 0 | 0 |1153k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1065.21/1065.21 c 1021s| 1470k|795767 | 0 | 0.0 |1370M|2816 | - |5645 | 11k| 0 | 0 | 0 |1161k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1074.41/1074.48 c 1030s| 1480k|800803 | 0 | 0.0 |1379M|2816 | - |5645 | 11k| 0 | 0 | 0 |1168k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1084.31/1084.35 c 1039s| 1490k|805595 | 0 | 0.0 |1387M|2816 | - |5645 | 13k| 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1095.42/1095.43 c 1050s| 1500k|809731 | 0 | 0.0 |1396M|2816 | - |5645 | 14k| 0 | 0 | 0 |1185k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1108.52/1108.53 c 1063s| 1510k|812857 | 0 | 0.0 |1401M|2816 | - |5645 | 11k| 0 | 0 | 0 |1196k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1114.71/1114.73 c 1069s| 1520k|820168 | 0 | 0.0 |1410M|2816 | - |5645 | 10k| 0 | 0 | 0 |1200k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1121.52/1121.54 c 1075s| 1530k|826855 | 0 | 0.0 |1419M|2816 | - |5645 | 11k| 0 | 0 | 0 |1205k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1130.01/1130.05 c 1083s| 1540k|832483 | 0 | 0.0 |1429M|2816 | - |5645 | 12k| 0 | 0 | 0 |1211k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1140.62/1140.63 c 1094s| 1550k|836849 | 0 | 0.0 |1439M|2816 | - |5645 | 14k| 0 | 0 | 0 |1220k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1154.82/1154.88 c 1107s| 1560k|839086 | 0 | 0.0 |1445M|2816 | - |5645 | 13k| 0 | 0 | 0 |1232k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1161.81/1161.87 c 1114s| 1570k|845925 | 0 | 0.0 |1453M|2816 | - |5645 | 10k| 0 | 0 | 0 |1237k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1169.01/1169.01 c 1121s| 1580k|852472 | 0 | 0.0 |1463M|2816 | - |5645 | 11k| 0 | 0 | 0 |1242k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1177.12/1177.15 c 1129s| 1590k|858379 | 0 | 0.0 |1472M|2816 | - |5645 | 11k| 0 | 0 | 0 |1248k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1186.92/1186.93 c 1138s| 1600k|862979 | 0 | 0.0 |1482M|2816 | - |5645 | 13k| 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1200.72/1200.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1200.72/1200.72 c 1152s| 1610k|865253 | 0 | 0.0 |1487M|2816 | - |5645 | 13k| 0 | 0 | 0 |1267k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1207.21/1207.26 c 1158s| 1620k|872507 | 0 | 0.0 |1496M|2816 | - |5645 | 10k| 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1214.22/1214.29 c 1164s| 1630k|879072 | 0 | 0.0 |1506M|2816 | - |5645 | 11k| 0 | 0 | 0 |1276k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1222.42/1222.49 c 1172s| 1640k|884829 | 0 | 0.0 |1516M|2816 | - |5645 | 13k| 0 | 0 | 0 |1282k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1232.11/1232.17 c 1182s| 1650k|889757 | 0 | 0.0 |1525M|2816 | - |5645 | 13k| 0 | 0 | 0 |1290k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1242.02/1242.08 c 1191s| 1660k|894389 | 0 | 0.0 |1534M|2816 | - |5645 | 13k| 0 | 0 | 0 |1298k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1251.12/1251.14 c 1200s| 1670k|899550 | 0 | 0.0 |1541M|2816 | - |5645 | 12k| 0 | 0 | 0 |1305k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1258.82/1258.85 c 1207s| 1680k|905639 | 0 | 0.0 |1549M|2816 | - |5645 | 12k| 0 | 0 | 0 |1311k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1267.12/1267.18 c 1215s| 1690k|911378 | 0 | 0.0 |1558M|2816 | - |5645 | 13k| 0 | 0 | 0 |1317k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1276.52/1276.55 c 1224s| 1700k|916517 | 0 | 0.0 |1567M|2816 | - |5645 | 14k| 0 | 0 | 0 |1324k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1288.03/1288.04 c 1236s| 1710k|920288 | 0 | 0.0 |1576M|2816 | - |5645 | 16k| 0 | 0 | 0 |1334k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1298.72/1298.75 c 1246s| 1720k|924954 | 0 | 0.0 |1581M|2816 | - |5645 | 11k| 0 | 0 | 0 |1342k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1305.42/1305.44 c 1252s| 1730k|931791 | 0 | 0.0 |1591M|2816 | - |5645 | 11k| 0 | 0 | 0 |1347k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1313.62/1313.61 c 1260s| 1740k|937677 | 0 | 0.0 |1601M|2816 | - |5645 | 12k| 0 | 0 | 0 |1353k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1323.22/1323.23 c 1270s| 1750k|942677 | 0 | 0.0 |1610M|2816 | - |5645 | 13k| 0 | 0 | 0 |1361k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1333.52/1333.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1333.52/1333.57 c 1280s| 1760k|947222 | 0 | 0.0 |1618M|2816 | - |5645 | 13k| 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1342.22/1342.23 c 1288s| 1770k|952699 | 0 | 0.0 |1626M|2816 | - |5645 | 12k| 0 | 0 | 0 |1376k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1350.02/1350.09 c 1295s| 1780k|958713 | 0 | 0.0 |1634M|2816 | - |5645 | 12k| 0 | 0 | 0 |1382k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1358.12/1358.16 c 1303s| 1790k|964658 | 0 | 0.0 |1643M|2816 | - |5645 | 13k| 0 | 0 | 0 |1388k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1368.12/1368.17 c 1313s| 1800k|969563 | 0 | 0.0 |1652M|2816 | - |5645 | 15k| 0 | 0 | 0 |1396k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1381.22/1381.22 c 1326s| 1810k|972774 | 0 | 0.0 |1657M|2816 | - |5645 | 13k| 0 | 0 | 0 |1406k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1388.02/1388.06 c 1332s| 1820k|979830 | 0 | 0.0 |1667M|2816 | - |5645 | 11k| 0 | 0 | 0 |1411k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1395.33/1395.37 c 1339s| 1830k|986264 | 0 | 0.0 |1677M|2816 | - |5645 | 12k| 0 | 0 | 0 |1416k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1404.52/1404.50 c 1348s| 1840k|991485 | 0 | 0.0 |1687M|2816 | - |5645 | 14k| 0 | 0 | 0 |1423k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1415.32/1415.32 c 1358s| 1850k|995594 | 0 | 0.0 |1696M|2816 | - |5645 | 16k| 0 | 0 | 0 |1432k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1426.32/1426.32 c 1369s| 1860k| 1000k| 0 | 0.0 |1702M|2816 | - |5645 | 12k| 0 | 0 | 0 |1441k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1433.22/1433.22 c 1376s| 1870k| 1006k| 0 | 0.0 |1711M|2816 | - |5645 | 12k| 0 | 0 | 0 |1446k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1440.73/1440.79 c 1383s| 1880k| 1013k| 0 | 0.0 |1721M|2816 | - |5645 | 12k| 0 | 0 | 0 |1451k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1450.03/1450.00 c 1392s| 1890k| 1018k| 0 | 0.0 |1731M|2816 | - |5645 | 14k| 0 | 0 | 0 |1458k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1461.62/1461.62 c 1403s| 1900k| 1022k| 0 | 0.0 |1739M|2816 | - |5645 | 15k| 0 | 0 | 0 |1468k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1472.23/1472.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1472.23/1472.24 c 1413s| 1910k| 1027k| 0 | 0.0 |1745M|2816 | - |5645 | 12k| 0 | 0 | 0 |1476k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1479.53/1479.60 c 1420s| 1920k| 1033k| 0 | 0.0 |1755M|2816 | - |5645 | 12k| 0 | 0 | 0 |1481k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1488.82/1488.87 c 1429s| 1930k| 1039k| 0 | 0.0 |1766M|2816 | - |5645 | 14k| 0 | 0 | 0 |1487k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1499.62/1499.67 c 1440s| 1940k| 1043k| 0 | 0.0 |1776M|2816 | - |5645 | 15k| 0 | 0 | 0 |1495k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1513.93/1513.93 c 1454s| 1950k| 1046k| 0 | 0.0 |1784M|2816 | - |5645 | 19k| 0 | 0 | 0 |1507k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1521.52/1521.56 c 1461s| 1960k| 1053k| 0 | 0.0 |1792M|2816 | - |5645 | 12k| 0 | 0 | 0 |1511k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1529.72/1529.74 c 1469s| 1970k| 1059k| 0 | 0.0 |1803M|2816 | - |5645 | 13k| 0 | 0 | 0 |1517k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1539.02/1539.07 c 1478s| 1980k| 1064k| 0 | 0.0 |1813M|2816 | - |5645 | 14k| 0 | 0 | 0 |1524k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1551.52/1551.51 c 1490s| 1990k| 1068k| 0 | 0.0 |1822M|2816 | - |5645 | 16k| 0 | 0 | 0 |1534k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1564.03/1564.08 c 1502s| 2000k| 1072k| 0 | 0.0 |1827M|2816 | - |5645 | 13k| 0 | 0 | 0 |1544k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1570.53/1570.50 c 1508s| 2010k| 1079k| 0 | 0.0 |1837M|2816 | - |5645 | 12k| 0 | 0 | 0 |1548k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1578.22/1578.27 c 1516s| 2020k| 1085k| 0 | 0.0 |1847M|2816 | - |5645 | 13k| 0 | 0 | 0 |1554k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1587.43/1587.43 c 1525s| 2030k| 1091k| 0 | 0.0 |1857M|2816 | - |5645 | 13k| 0 | 0 | 0 |1561k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1596.93/1596.94 c 1534s| 2040k| 1096k| 0 | 0.0 |1866M|2816 | - |5645 | 13k| 0 | 0 | 0 |1568k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1606.73/1606.73 c 1543s| 2050k| 1101k| 0 | 0.0 |1875M|2816 | - |5645 | 13k| 0 | 0 | 0 |1575k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1616.82/1616.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1616.82/1616.83 c 1553s| 2060k| 1106k| 0 | 0.0 |1884M|2816 | - |5645 | 14k| 0 | 0 | 0 |1583k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1627.33/1627.34 c 1563s| 2070k| 1111k| 0 | 0.0 |1892M|2816 | - |5645 | 15k| 0 | 0 | 0 |1592k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1637.03/1637.01 c 1573s| 2080k| 1116k| 0 | 0.0 |1901M|2816 | - |5645 | 16k| 0 | 0 | 0 |1600k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1648.52/1648.57 c 1584s| 2090k| 1119k| 0 | 0.0 |1909M|2816 | - |5645 | 20k| 0 | 0 | 0 |1611k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1657.43/1657.41 c 1592s| 2100k| 1125k| 0 | 0.0 |1915M|2816 | - |5645 | 13k| 0 | 0 | 0 |1618k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1663.93/1663.92 c 1598s| 2110k| 1131k| 0 | 0.0 |1925M|2816 | - |5645 | 13k| 0 | 0 | 0 |1623k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1671.73/1671.77 c 1606s| 2120k| 1137k| 0 | 0.0 |1936M|2816 | - |5645 | 15k| 0 | 0 | 0 |1630k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1681.93/1681.91 c 1616s| 2130k| 1141k| 0 | 0.0 |1945M|2816 | - |5645 | 17k| 0 | 0 | 0 |1639k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1691.74/1691.75 c 1625s| 2140k| 1145k| 0 | 0.0 |1949M|2816 | - |5645 | 13k| 0 | 0 | 0 |1648k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1698.03/1698.06 c 1631s| 2150k| 1152k| 0 | 0.0 |1958M|2816 | - |5645 | 12k| 0 | 0 | 0 |1653k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1706.42/1706.47 c 1640s| 2160k| 1157k| 0 | 0.0 |1967M|2816 | - |5645 | 14k| 0 | 0 | 0 |1660k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1717.63/1717.69 c 1651s| 2170k| 1161k| 0 | 0.0 |1977M|2816 | - |5645 | 17k| 0 | 0 | 0 |1669k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1732.63/1732.68 c 1665s| 2180k| 1164k| 0 | 0.0 |1982M|2816 | - |5645 | 14k| 0 | 0 | 0 |1681k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1744.93/1744.96 c 1678s| 2190k| 1167k| 0 | 0.0 |1990M|2816 | - |5645 | 13k| 0 | 0 | 0 |1691k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1758.62/1758.65 c 1691s| 2200k| 1170k| 0 | 0.0 |1999M|2816 | - |5645 | 15k| 0 | 0 | 0 |1701k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1772.83/1772.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1772.83/1772.80 c 1705s| 2210k| 1173k| 0 | 0.0 |2007M|2816 | - |5645 | 15k| 0 | 0 | 0 |1711k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1787.72/1787.78 c 1720s| 2220k| 1176k| 0 | 0.0 |2014M|2816 | - |5645 | 16k| 0 | 0 | 0 |1722k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.00 c Solving Time (sec) : 1732.17
1800.02/1800.00 c Solving Nodes : 2227609
1800.02/1800.00 c Primal Bound : +2.00000000000000e+00 (37 solutions)
1800.02/1800.00 c Dual Bound : +0.00000000000000e+00
1800.02/1800.00 c Gap : infinite
1800.02/1800.07 s SATISFIABLE
1800.02/1800.07 v -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210
1800.02/1800.07 v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.02/1800.07 v -x188 -x187 x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168
1800.02/1800.07 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.02/1800.07 v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125
1800.02/1800.07 v -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104
1800.02/1800.07 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.02/1800.07 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.02/1800.07 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.02/1800.07 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.02/1800.07 v -x1
1800.02/1800.07 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.07 c Solving Time : 1732.17
1800.02/1800.07 c Original Problem :
1800.02/1800.07 c Problem name : HOME/instance-2693581-1277925108.wbo
1800.02/1800.07 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.02/1800.07 c Constraints : 5415 initial, 5415 maximal
1800.02/1800.07 c Presolved Problem :
1800.02/1800.07 c Problem name : t_HOME/instance-2693581-1277925108.wbo
1800.02/1800.07 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.02/1800.07 c Constraints : 5414 initial, 22731 maximal
1800.02/1800.07 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.07 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.07 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.07 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.07 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.07 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.07 c probing : 0.03 0 0 0 0 0 0 0 0
1800.02/1800.07 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.07 c linear : 0.02 0 0 0 2707 0 1 0 0
1800.02/1800.07 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.07 c root node : - 2681 - - 5362 - - - -
1800.02/1800.07 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.07 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.07 c indicator : 2707 0 5475545 0 1457251 56 1421057 0 0 0
1800.02/1800.07 c linear : 2707 0 7293339 0 1862790 473211 43114583 0 0 0
1800.02/1800.07 c logicor : 0+ 0 3476922 0 0 111134 1933197 0 0 0
1800.02/1800.07 c countsols : 0 0 0 0 1862811 0 0 0 0 0
1800.02/1800.07 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.07 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.07 c indicator : 8.53 0.00 3.15 0.00 5.38
1800.02/1800.07 c linear : 460.24 0.00 458.95 0.00 1.29
1800.02/1800.07 c logicor : 272.15 0.00 272.15 0.00 0.00
1800.02/1800.07 c countsols : 0.02 0.00 0.00 0.00 0.02
1800.02/1800.07 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.07 c vbounds : 0.09 2 0 0
1800.02/1800.07 c rootredcost : 0.08 0 0 0
1800.02/1800.07 c pseudoobj : 358.59 7294583 1175 1408212
1800.02/1800.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.07 c propagation : 38.92 585520 585520 3056126 22.4 134623 10.3 -
1800.02/1800.07 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.07 c pseudo solution : 0.02 71 71 260 32.7 236 9.2 -
1800.02/1800.07 c applied globally : - - - 1730891 19.0 - - -
1800.02/1800.07 c applied locally : - - - 0 0.0 - - -
1800.02/1800.07 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.07 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.07 c redcost : 0.00 0 0 0 0 0
1800.02/1800.07 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.07 c intobj : 0.00 0 0 0 0 0
1800.02/1800.07 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.07 c gomory : 0.00 0 0 0 0 0
1800.02/1800.07 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.07 c cmir : 0.00 0 0 0 0 0
1800.02/1800.07 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.07 c clique : 0.00 0 0 0 0 0
1800.02/1800.07 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.07 c mcf : 0.00 0 0 0 0 0
1800.02/1800.07 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.07 c Pricers : Time Calls Vars
1800.02/1800.07 c problem variables: 0.00 0 0
1800.02/1800.07 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.07 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.07 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.07 c inference : 30.19 1862777 0 0 0 0 3725554
1800.02/1800.07 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.07 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.07 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.07 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.07 c random : 0.00 0 0 0 0 0 0
1800.02/1800.07 c Primal Heuristics : Time Calls Found
1800.02/1800.07 c LP solutions : 0.00 - 0
1800.02/1800.07 c pseudo solutions : 0.12 - 34
1800.02/1800.07 c oneopt : 0.21 0 0
1800.02/1800.07 c trivial : 0.08 2 2
1800.02/1800.07 c simplerounding : 0.00 0 0
1800.02/1800.07 c zirounding : 0.00 0 0
1800.02/1800.07 c rounding : 0.00 0 0
1800.02/1800.07 c shifting : 0.00 0 0
1800.02/1800.07 c intshifting : 0.00 0 0
1800.02/1800.07 c twoopt : 0.00 0 0
1800.02/1800.07 c fixandinfer : 0.00 0 0
1800.02/1800.07 c feaspump : 0.00 0 0
1800.02/1800.07 c coefdiving : 0.00 0 0
1800.02/1800.07 c pscostdiving : 0.00 0 0
1800.02/1800.07 c fracdiving : 0.00 0 0
1800.02/1800.07 c veclendiving : 0.00 0 0
1800.02/1800.07 c intdiving : 0.00 0 0
1800.02/1800.07 c actconsdiving : 0.00 0 0
1800.02/1800.07 c objpscostdiving : 0.00 0 0
1800.02/1800.07 c rootsoldiving : 0.00 0 0
1800.02/1800.07 c linesearchdiving : 0.00 0 0
1800.02/1800.07 c guideddiving : 0.00 0 0
1800.02/1800.07 c octane : 0.00 0 0
1800.02/1800.07 c rens : 0.00 0 0
1800.02/1800.07 c rins : 0.00 0 0
1800.02/1800.07 c localbranching : 0.00 0 0
1800.02/1800.07 c mutation : 0.00 0 0
1800.02/1800.07 c crossover : 0.00 0 0
1800.02/1800.07 c dins : 0.00 0 0
1800.02/1800.07 c undercover : 0.00 0 0
1800.02/1800.07 c nlp : 0.03 0 0
1800.02/1800.07 c trysol : 0.02 1 1
1800.02/1800.07 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.07 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.07 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.07 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.07 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.07 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.07 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.07 c (at root node) : - 0 0 0.00 -
1800.02/1800.07 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.07 c B&B Tree :
1800.02/1800.07 c number of runs : 1
1800.02/1800.07 c nodes : 2227609
1800.02/1800.07 c nodes (total) : 2227609
1800.02/1800.07 c nodes left : 1178867
1800.02/1800.07 c max depth : 2816
1800.02/1800.07 c max depth (total): 2816
1800.02/1800.07 c backtracks : 349082 (15.7%)
1800.02/1800.07 c delayed cutoffs : 280524
1800.02/1800.07 c repropagations : 1468210 (14562420 domain reductions, 220849 cutoffs)
1800.02/1800.07 c avg switch length: 38.61
1800.02/1800.07 c switching time : 513.97
1800.02/1800.07 c Solution :
1800.02/1800.07 c Solutions found : 37 (35 improvements)
1800.02/1800.07 c First Solution : +1.36613000000000e+05 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.02/1800.07 c Primal Bound : +2.00000000000000e+00 (in run 1, after 942987 nodes, 592.51 seconds, depth 257, found by <relaxation>)
1800.02/1800.07 c Dual Bound : +0.00000000000000e+00
1800.02/1800.07 c Gap : infinite
1800.02/1800.07 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.07 c Root Iterations : 0
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693581-1277925108/watcher-2693581-1277925108 -o /tmp/evaluation-result-2693581-1277925108/solver-2693581-1277925108 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693581-1277925108.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.00 2.00 3/196 26122 /proc/meminfo: memFree=31261584/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=8408 CPUtime=0 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 1578 0 0 0 0 0 0 0 22 0 1 0 166102537 8609792 1501 4089446400 4194304 7136930 140735837632416 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/26122/statm: 2102 1502 275 719 0 1381 0 [startup+0.0955649 s] /proc/loadavg: 2.00 2.00 2.00 3/196 26122 /proc/meminfo: memFree=31261584/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=33676 CPUtime=0.08 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 7966 0 0 0 8 0 0 0 22 0 1 0 166102537 34484224 7535 4089446400 4194304 7136930 140735837632416 18446744073709551615 6350484 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 8419 7535 323 719 0 7698 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 33676 [startup+0.100559 s] /proc/loadavg: 2.00 2.00 2.00 3/196 26122 /proc/meminfo: memFree=31261584/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=33676 CPUtime=0.09 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 7966 0 0 0 9 0 0 0 22 0 1 0 166102537 34484224 7535 4089446400 4194304 7136930 140735837632416 18446744073709551615 4241129 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 8419 7535 323 719 0 7698 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33676 [startup+0.300526 s] /proc/loadavg: 2.00 2.00 2.00 3/196 26122 /proc/meminfo: memFree=31261584/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=36496 CPUtime=0.29 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 9240 0 0 0 27 2 0 0 22 0 1 0 166102537 37371904 8295 4089446400 4194304 7136930 140735837632416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 9124 8295 383 719 0 8403 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36496 [startup+0.700455 s] /proc/loadavg: 2.00 2.00 2.00 3/196 26122 /proc/meminfo: memFree=31261584/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=37636 CPUtime=0.69 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 9515 0 0 0 65 4 0 0 24 0 1 0 166102537 38539264 8570 4089446400 4194304 7136930 140735837632416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 9409 8570 383 719 0 8688 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37636 [startup+1.50038 s] /proc/loadavg: 2.00 2.00 2.00 3/197 26123 /proc/meminfo: memFree=31226732/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=43076 CPUtime=1.49 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 10894 0 0 0 141 8 0 0 25 0 1 0 166102537 44109824 9949 4089446400 4194304 7136930 140735837632416 18446744073709551615 4677406 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 10769 9950 390 719 0 10048 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 43076 [startup+3.10103 s] /proc/loadavg: 2.00 2.00 2.00 3/197 26123 /proc/meminfo: memFree=31223256/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=44864 CPUtime=3.09 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 11335 0 0 0 293 16 0 0 25 0 1 0 166102537 45940736 10390 4089446400 4194304 7136930 140735837632416 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 11216 10390 390 719 0 10495 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44864 [startup+6.30053 s] /proc/loadavg: 2.00 2.00 2.00 3/197 26123 /proc/meminfo: memFree=31210608/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=58204 CPUtime=6.29 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 14664 0 0 0 592 37 0 0 25 0 1 0 166102537 59600896 13719 4089446400 4194304 7136930 140735837632416 18446744073709551615 5000408 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 14551 13719 390 719 0 13830 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 58204 [startup+12.7004 s] /proc/loadavg: 2.00 2.00 2.00 3/197 26124 /proc/meminfo: memFree=31187232/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=81236 CPUtime=12.69 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 20314 0 0 0 1198 71 0 0 25 0 1 0 166102537 83185664 19369 4089446400 4194304 7136930 140735837632416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 20309 19369 390 719 0 19588 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 81236 [startup+25.5002 s] /proc/loadavg: 2.08 2.02 2.01 3/197 26124 /proc/meminfo: memFree=31125216/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=138324 CPUtime=25.49 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 33959 0 0 0 2429 120 0 0 25 0 1 0 166102537 141643776 33014 4089446400 4194304 7136930 140735837632416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 34581 33014 391 719 0 33860 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 138324 [startup+51.1007 s] /proc/loadavg: 2.05 2.01 2.00 3/197 26125 /proc/meminfo: memFree=31055440/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=209268 CPUtime=51.09 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 51051 0 0 0 4846 263 0 0 25 0 1 0 166102537 214290432 50106 4089446400 4194304 7136930 140735837632416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 52317 50106 391 719 0 51596 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 209268 [startup+102.307 s] /proc/loadavg: 2.02 2.01 2.00 3/197 26127 /proc/meminfo: memFree=30947260/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=303784 CPUtime=102.3 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 74597 0 0 0 9771 459 0 0 25 0 1 0 166102537 311074816 73652 4089446400 4194304 7136930 140735837632416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 75946 73652 391 719 0 75225 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 303784 [startup+162.301 s] /proc/loadavg: 2.01 2.00 2.00 3/197 26128 /proc/meminfo: memFree=30835080/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=409428 CPUtime=162.29 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 99778 0 0 0 15542 687 0 0 25 0 1 0 166102537 419254272 98833 4089446400 4194304 7136930 140735837632416 18446744073709551615 4220974 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 102357 98833 391 719 0 101636 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 409428 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 26129 /proc/meminfo: memFree=30701836/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=536848 CPUtime=222.29 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 130772 0 0 0 21198 1031 0 0 25 0 1 0 166102537 549732352 129827 4089446400 4194304 7136930 140735837632416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 134212 129827 391 719 0 133491 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 536848 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 26131 /proc/meminfo: memFree=30591172/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=646444 CPUtime=282.3 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 158442 0 0 0 26869 1361 0 0 25 0 1 0 166102537 661958656 157497 4089446400 4194304 7136930 140735837632416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 161611 157497 391 719 0 160890 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 646444 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 26133 /proc/meminfo: memFree=30475408/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=755860 CPUtime=342.3 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 185921 0 0 0 32587 1643 0 0 25 0 1 0 166102537 774000640 184976 4089446400 4194304 7136930 140735837632416 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 188965 184976 391 719 0 188244 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 755860 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 26134 /proc/meminfo: memFree=30389176/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=833800 CPUtime=402.3 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 205657 0 0 0 38357 1873 0 0 25 0 1 0 166102537 853811200 204712 4089446400 4194304 7136930 140735837632416 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 208450 204712 391 719 0 207729 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 833800 [startup+462.3 s] /proc/loadavg: 2.07 2.02 2.00 3/197 26136 /proc/meminfo: memFree=30311488/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=895040 CPUtime=462.3 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 220851 0 0 0 44153 2077 0 0 25 0 1 0 166102537 916520960 219906 4089446400 4194304 7136930 140735837632416 18446744073709551615 4923471 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 223760 219906 391 719 0 223039 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 895040 [startup+522.301 s] /proc/loadavg: 2.02 2.01 2.00 3/197 26137 /proc/meminfo: memFree=30277828/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=934772 CPUtime=522.3 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 228862 0 0 0 49964 2266 0 0 25 0 1 0 166102537 957206528 227917 4089446400 4194304 7136930 140735837632416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 233693 227917 391 719 0 232972 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 934772 [startup+582.3 s] /proc/loadavg: 2.01 2.00 2.00 3/197 26139 /proc/meminfo: memFree=30172392/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=1026292 CPUtime=582.31 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 251559 0 0 0 55676 2555 0 0 25 0 1 0 166102537 1050923008 250614 4089446400 4194304 7136930 140735837632416 18446744073709551615 6123184 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 256573 250614 391 719 0 255852 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1026292 [startup+642.301 s] /proc/loadavg: 1.81 1.97 1.98 2/198 26225 /proc/meminfo: memFree=30487700/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=1087408 CPUtime=642.31 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 266989 0 0 0 61376 2855 0 0 25 0 1 0 166102537 1113505792 266044 4089446400 4194304 7136930 140735837632416 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 271852 266044 391 719 0 271131 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1087408 [startup+702.3 s] ################ # More data... # ################ /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 362167 0 0 0 96033 4198 0 0 25 0 1 0 166102537 1501003776 361222 4089446400 4194304 7136930 140735837632416 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 366456 361222 391 719 0 365735 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1465824 [startup+1062.3 s] /proc/loadavg: 2.81 2.62 2.28 4/200 26254 /proc/meminfo: memFree=29911120/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=1524352 CPUtime=1062.31 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 376869 0 0 0 101804 4427 0 0 25 0 1 0 166102537 1560936448 375924 4089446400 4194304 7136930 140735837632416 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 381088 375924 391 719 0 380367 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1524352 [startup+1122.3 s] /proc/loadavg: 3.39 2.77 2.35 3/200 26255 /proc/meminfo: memFree=29857860/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=1572884 CPUtime=1122.31 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 389179 0 0 0 107590 4641 0 0 25 0 1 0 166102537 1610633216 388234 4089446400 4194304 7136930 140735837632416 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 393221 388234 391 719 0 392500 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1572884 [startup+1182.3 s] /proc/loadavg: 3.09 2.80 2.38 4/200 26257 /proc/meminfo: memFree=29793444/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=1632752 CPUtime=1182.32 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 404228 0 0 0 113373 4859 0 0 25 0 1 0 166102537 1671938048 403283 4089446400 4194304 7136930 140735837632416 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 408188 403283 391 719 0 407467 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1632752 [startup+1242.3 s] /proc/loadavg: 2.91 2.79 2.40 4/200 26259 /proc/meminfo: memFree=29731620/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=1688028 CPUtime=1242.31 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 418315 0 0 0 119151 5080 0 0 25 0 1 0 166102537 1728540672 417370 4089446400 4194304 7136930 140735837632416 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 422007 417370 391 719 0 421286 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 1688028 [startup+1302.3 s] /proc/loadavg: 2.84 2.79 2.43 4/200 26261 /proc/meminfo: memFree=29678736/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=1737080 CPUtime=1302.33 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 430523 0 0 0 124939 5294 0 0 25 0 1 0 166102537 1778769920 429578 4089446400 4194304 7136930 140735837632416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 434270 429578 391 719 0 433549 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1737080 [startup+1362.3 s] /proc/loadavg: 2.56 2.72 2.43 4/200 26262 /proc/meminfo: memFree=29619280/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=1793592 CPUtime=1362.32 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 444765 0 0 0 130718 5514 0 0 25 0 1 0 166102537 1836638208 443820 4089446400 4194304 7136930 140735837632416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 448398 443820 391 719 0 447677 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1793592 [startup+1422.31 s] /proc/loadavg: 2.80 2.76 2.45 4/200 26263 /proc/meminfo: memFree=29553988/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=1867716 CPUtime=1422.32 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 459340 0 0 0 136515 5717 0 0 25 0 1 0 166102537 1912541184 458395 4089446400 4194304 7136930 140735837632416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 466929 458395 391 719 0 466208 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 1867716 [startup+1482.3 s] /proc/loadavg: 2.61 2.71 2.45 4/200 26265 /proc/meminfo: memFree=29493908/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=1926432 CPUtime=1482.32 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 474122 0 0 0 142304 5928 0 0 25 0 1 0 166102537 1972666368 473177 4089446400 4194304 7136930 140735837632416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 481608 473177 391 719 0 480887 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 1926432 [startup+1542.3 s] /proc/loadavg: 2.63 2.70 2.46 4/200 26267 /proc/meminfo: memFree=29439024/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=1977400 CPUtime=1542.33 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 486989 0 0 0 148098 6135 0 0 25 0 1 0 166102537 2024857600 486044 4089446400 4194304 7136930 140735837632416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 494350 486044 391 719 0 493629 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1977400 [startup+1602.3 s] /proc/loadavg: 2.78 2.72 2.48 4/200 26268 /proc/meminfo: memFree=29380060/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=2034524 CPUtime=1602.33 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 501303 0 0 0 153896 6337 0 0 25 0 1 0 166102537 2083352576 500358 4089446400 4194304 7136930 140735837632416 18446744073709551615 6166197 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 508631 500358 391 719 0 507910 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2034524 [startup+1662.3 s] /proc/loadavg: 2.36 2.61 2.46 3/179 26300 /proc/meminfo: memFree=29505356/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=2093968 CPUtime=1662.33 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 516192 0 0 0 159699 6534 0 0 25 0 1 0 166102537 2144223232 515247 4089446400 4194304 7136930 140735837632416 18446744073709551615 4210705 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/26122/statm: 523492 515247 391 719 0 522771 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 2093968 [startup+1722.3 s] /proc/loadavg: 2.13 2.50 2.43 3/179 26328 /proc/meminfo: memFree=29482832/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=2146204 CPUtime=1722.33 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 529444 0 0 0 165523 6710 0 0 25 0 1 0 166102537 2197712896 528499 4089446400 4194304 7136930 140735837632416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/26122/statm: 536551 528499 391 719 0 535830 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 2146204 [startup+1782.3 s] /proc/loadavg: 2.05 2.41 2.40 3/179 26330 /proc/meminfo: memFree=29375676/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=2181468 CPUtime=1782.32 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 538123 0 0 0 171462 6770 0 0 25 0 1 0 166102537 2233823232 537178 4089446400 4194304 7136930 140735837632416 18446744073709551615 4923050 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/26122/statm: 545367 537178 391 719 0 544646 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 2181468 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.03 2.38 2.39 3/179 26330 /proc/meminfo: memFree=29342312/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=2191736 CPUtime=1800.02 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 540687 0 0 0 173219 6783 0 0 25 0 1 0 166102537 2244337664 539742 4089446400 4194304 7136930 140735837632416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26122/statm: 547934 539742 391 719 0 547213 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 2191736 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -26122 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.03 2.38 2.39 3/180 26331 /proc/meminfo: memFree=29341064/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=2191736 CPUtime=1801.42 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 540693 0 0 0 173359 6783 0 0 25 0 1 0 166102537 2244337664 539748 4089446400 4194304 7136930 140735837632416 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/26122/statm: 547934 539748 397 719 0 547213 0 Current children cumulated CPU time (s) 1801.42 Current children cumulated vsize (KiB) 2191736 [startup+1801.81 s] /proc/loadavg: 2.03 2.38 2.39 3/180 26331 /proc/meminfo: memFree=29339812/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=2191736 CPUtime=1801.83 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 540693 0 0 0 173400 6783 0 0 25 0 1 0 166102537 2244337664 539748 4089446400 4194304 7136930 140735837632416 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/26122/statm: 547934 539748 397 719 0 547213 0 Current children cumulated CPU time (s) 1801.83 Current children cumulated vsize (KiB) 2191736 [startup+1802 s] /proc/loadavg: 2.03 2.38 2.39 3/180 26331 /proc/meminfo: memFree=29339812/32950940 swapFree=67111528/67111528 [pid=26122] ppid=26120 vsize=2191736 CPUtime=1802.02 /proc/26122/stat : 26122 (pbscip.linux.x8) R 26120 26122 24697 0 -1 4202496 540693 0 0 0 173419 6783 0 0 25 0 1 0 166102537 2244337664 539748 4089446400 4194304 7136930 140735837632416 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/26122/statm: 547934 539748 397 719 0 547213 0 Current children cumulated CPU time (s) 1802.02 Current children cumulated vsize (KiB) 2191736 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.09 CPU time (s): 1802.12 CPU user time (s): 1734.2 CPU system time (s): 67.9237 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2191736 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1734.2 system time used= 67.9237 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 540693 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= 3740 runsolver used 3.2605 second user time and 5.99009 second system time The end
Begin job on node117 at 2010-06-30 21:11:48 IDJOB=2693581 IDBENCH=79257 IDSOLVER=1206 FILE ID=node117/2693581-1277925108 PBS_JOBID= 11197292 Free space on /tmp= 74212 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900551864--soft-0-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-2693581-1277925108/watcher-2693581-1277925108 -o /tmp/evaluation-result-2693581-1277925108/solver-2693581-1277925108 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693581-1277925108.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 917ecf2b03be28c1e7bdced93c48bfdc RANDOM SEED=1325409457 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: 31262360 kB Buffers: 206104 kB Cached: 852836 kB SwapCached: 0 kB Active: 943560 kB Inactive: 601980 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950940 kB LowFree: 31262360 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3164 kB Writeback: 0 kB AnonPages: 486760 kB Mapped: 20436 kB Slab: 78860 kB PageTables: 5980 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586996 kB Committed_AS: 1659244 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= 74200 MiB End job on node117 at 2010-06-30 21:41:50