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) | 1801.61 | 1801.56 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900561288--soft-0-100-0.wbo |
| MD5SUM | 6ba4b4283c00d7202a0c09683aff0663 |
| 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 | 385.756 |
| 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 | 137946 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 137945 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 625 |
| 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-2693645-1277928320.wbo>
0.02/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.02/0.03 c problem read
0.02/0.03 c presolving settings loaded
0.02/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.13 o 137945
0.09/0.13 c feasible solution found by trivial heuristic, objective value 1.379450e+05
0.09/0.13 c presolving:
0.09/0.14 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.15 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.19/0.20 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.20 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.20 c presolving (3 rounds):
0.19/0.20 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.20 c 2707 implications, 0 cliques
0.19/0.20 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.19/0.20 c 2707 constraints of type <indicator>
0.19/0.20 c 2707 constraints of type <linear>
0.19/0.20 c transformed objective value is always integral (scale: 1)
0.19/0.20 c Presolving Time: 0.14
0.19/0.20 c - non default parameters ----------------------------------------------------------------------
0.19/0.20 c # SCIP version 1.2.1.2
0.19/0.20 c
0.19/0.20 c # frequency for displaying node information lines
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.20 c display/freq = 10000
0.19/0.20 c
0.19/0.20 c # maximal time in seconds to run
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/time = 1799.97
0.19/0.20 c
0.19/0.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/memory = 3420
0.19/0.20 c
0.19/0.20 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20 c lp/solvefreq = -1
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify inequalities
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/linear/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify knapsacks
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c separating/rapidlearning/freq = 0
0.19/0.20 c
0.19/0.20 c -----------------------------------------------------------------------------------------------
0.19/0.20 c start solving
0.19/0.20 c
0.19/0.22 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.22 c t 0.2s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.379450e+05 | Inf
3.39/3.41 c 3.3s| 10000 | 9348 | 0 | 0.0 | 23M|2816 | - |5645 |6200 | 0 | 0 | 0 | 786 | 0 | 0.000000e+00 | 1.379450e+05 | Inf
3.49/3.51 o 399
3.49/3.51 c * 3.4s| 10434 | 4539 | 0 | 0.0 | 22M|2816 | - |5645 |6200 | 0 | 0 | 0 | 786 | 0 | 0.000000e+00 | 3.990000e+02 | Inf
3.49/3.58 o 351
3.49/3.58 c * 3.5s| 10550 | 4600 | 0 | 0.0 | 22M|2816 | - |5645 |6210 | 0 | 0 | 0 | 796 | 0 | 0.000000e+00 | 3.510000e+02 | Inf
3.69/3.77 o 348
3.69/3.77 c * 3.6s| 10996 | 5013 | 0 | 0.0 | 22M|2816 | - |5645 |6288 | 0 | 0 | 0 | 874 | 0 | 0.000000e+00 | 3.480000e+02 | Inf
3.79/3.81 o 344
3.79/3.81 c * 3.7s| 11099 | 5103 | 0 | 0.0 | 22M|2816 | - |5645 |6298 | 0 | 0 | 0 | 884 | 0 | 0.000000e+00 | 3.440000e+02 | Inf
6.50/6.59 c 6.4s| 20000 | 13043 | 0 | 0.0 | 32M|2816 | - |5645 |8910 | 0 | 0 | 0 |5880 | 0 | 0.000000e+00 | 3.440000e+02 | Inf
10.69/10.75 c 10.5s| 30000 | 20550 | 0 | 0.0 | 43M|2816 | - |5645 | 10k| 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 3.440000e+02 | Inf
11.49/11.57 o 337
11.49/11.57 c *11.3s| 31004 | 21114 | 0 | 0.0 | 44M|2816 | - |5645 | 10k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 3.370000e+02 | Inf
12.19/12.25 o 319
12.19/12.25 c *12.0s| 32024 | 21918 | 0 | 0.0 | 45M|2816 | - |5645 | 10k| 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 3.190000e+02 | Inf
12.49/12.50 o 307
12.49/12.50 c *12.2s| 32350 | 22082 | 0 | 0.0 | 45M|2816 | - |5645 |9831 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 3.070000e+02 | Inf
12.49/12.50 o 304
12.49/12.50 c *12.2s| 32351 | 22045 | 0 | 0.0 | 45M|2816 | - |5645 |9831 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 3.040000e+02 | Inf
12.49/12.59 o 300
12.49/12.59 c *12.3s| 32474 | 22106 | 0 | 0.0 | 45M|2816 | - |5645 |9761 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 3.000000e+02 | Inf
12.49/12.59 o 295
12.49/12.59 c *12.3s| 32475 | 22040 | 0 | 0.0 | 45M|2816 | - |5645 |9761 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 2.950000e+02 | Inf
12.59/12.67 o 281
12.59/12.67 c *12.4s| 32583 | 21994 | 0 | 0.0 | 45M|2816 | - |5645 |9718 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 2.810000e+02 | Inf
12.69/12.78 o 277
12.69/12.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.69/12.78 c *12.5s| 32721 | 22080 | 0 | 0.0 | 45M|2816 | - |5645 |9650 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 2.770000e+02 | Inf
13.10/13.16 o 265
13.10/13.16 c *12.9s| 33347 | 22526 | 0 | 0.0 | 45M|2816 | - |5645 |9428 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 2.650000e+02 | Inf
13.20/13.24 o 245
13.20/13.24 c *12.9s| 33464 | 22353 | 0 | 0.0 | 45M|2816 | - |5645 |9385 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 2.450000e+02 | Inf
13.29/13.32 o 232
13.29/13.32 c *13.0s| 33616 | 22383 | 0 | 0.0 | 45M|2816 | - |5645 |9347 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 2.320000e+02 | Inf
13.29/13.39 o 220
13.29/13.39 c *13.1s| 33730 | 22361 | 0 | 0.0 | 45M|2816 | - |5645 |9314 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 2.200000e+02 | Inf
13.29/13.39 o 204
13.29/13.39 c *13.1s| 33731 | 22190 | 0 | 0.0 | 45M|2816 | - |5645 |9314 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 2.040000e+02 | Inf
13.39/13.47 o 191
13.39/13.47 c *13.2s| 33836 | 22209 | 0 | 0.0 | 45M|2816 | - |5645 |9293 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.910000e+02 | Inf
13.59/13.62 o 166
13.59/13.62 c *13.3s| 34091 | 22308 | 0 | 0.0 | 45M|2816 | - |5645 |9226 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.660000e+02 | Inf
13.59/13.62 o 162
13.59/13.62 c *13.3s| 34092 | 22204 | 0 | 0.0 | 45M|2816 | - |5645 |9226 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.620000e+02 | Inf
13.99/14.02 o 158
13.99/14.02 c *13.7s| 34626 | 22669 | 0 | 0.0 | 46M|2816 | - |5645 |8946 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.580000e+02 | Inf
14.08/14.14 o 155
14.08/14.14 c *13.8s| 34780 | 22809 | 0 | 0.0 | 46M|2816 | - |5645 |8851 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.550000e+02 | Inf
14.08/14.20 o 151
14.08/14.20 c *13.9s| 34851 | 22860 | 0 | 0.0 | 46M|2816 | - |5645 |8792 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.510000e+02 | Inf
14.20/14.20 o 147
14.20/14.20 c *13.9s| 34852 | 22851 | 0 | 0.0 | 46M|2816 | - |5645 |8792 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.470000e+02 | Inf
14.20/14.26 o 146
14.20/14.26 c *13.9s| 34931 | 22925 | 0 | 0.0 | 46M|2816 | - |5645 |8725 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.460000e+02 | Inf
14.59/14.65 o 135
14.59/14.65 c *14.3s| 35441 | 23344 | 0 | 0.0 | 47M|2816 | - |5645 |8402 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
14.89/14.97 o 130
14.89/14.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.89/14.97 c *14.6s| 35848 | 23694 | 0 | 0.0 | 48M|2816 | - |5645 |8340 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.300000e+02 | Inf
14.89/14.97 o 125
14.89/14.97 c *14.6s| 35849 | 23679 | 0 | 0.0 | 48M|2816 | - |5645 |8340 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
15.09/15.13 o 115
15.09/15.13 c *14.8s| 36052 | 23779 | 0 | 0.0 | 48M|2816 | - |5645 |8322 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.150000e+02 | Inf
15.79/15.81 o 107
15.79/15.81 c *15.5s| 36746 | 24327 | 0 | 0.0 | 51M|2816 | - |5645 |8529 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
16.09/16.12 o 101
16.09/16.12 c *15.8s| 37011 | 24499 | 0 | 0.0 | 54M|2816 | - |5645 |8755 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
16.09/16.14 o 92
16.09/16.14 c *15.8s| 37025 | 23815 | 0 | 0.0 | 52M|2816 | - |5645 |8775 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
16.09/16.15 o 79
16.09/16.15 c *15.8s| 37026 | 23196 | 0 | 0.0 | 51M|2816 | - |5645 |8775 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
17.99/18.00 o 67
17.99/18.00 c *17.6s| 38675 | 23939 | 0 | 0.0 | 51M|2816 | - |5645 |7198 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
18.09/18.10 o 65
18.09/18.10 c *17.7s| 38794 | 23982 | 0 | 0.0 | 52M|2816 | - |5645 |7178 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
18.29/18.39 o 62
18.29/18.39 c *18.0s| 39080 | 24079 | 0 | 0.0 | 54M|2816 | - |5645 |7331 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
18.39/18.44 o 60
18.39/18.44 c *18.1s| 39116 | 24045 | 0 | 0.0 | 54M|2816 | - |5645 |7367 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 6.000000e+01 | Inf
18.99/19.07 c 18.7s| 40000 | 24846 | 0 | 0.0 | 55M|2816 | - |5645 |6591 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 6.000000e+01 | Inf
20.49/20.50 o 59
20.49/20.50 c *20.1s| 42102 | 26685 | 0 | 0.0 | 58M|2816 | - |5645 |6368 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
20.79/20.88 o 50
20.79/20.88 c *20.5s| 42640 | 26520 | 0 | 0.0 | 59M|2816 | - |5645 |6576 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
21.29/21.39 o 44
21.29/21.39 c *21.0s| 43300 | 26442 | 0 | 0.0 | 57M|2816 | - |5645 |6758 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
21.79/21.83 o 36
21.79/21.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.79/21.83 c *21.4s| 44237 | 26508 | 0 | 0.0 | 55M|2816 | - |5645 |6609 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
22.19/22.29 o 30
22.19/22.29 c *21.9s| 45149 | 27014 | 0 | 0.0 | 56M|2816 | - |5645 |6473 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
24.10/24.19 o 28
24.10/24.19 c *23.7s| 49039 | 30235 | 0 | 0.0 | 62M|2816 | - |5645 |6906 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
24.49/24.59 c 24.1s| 50000 | 31092 | 0 | 0.0 | 63M|2816 | - |5645 |6940 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
24.59/24.60 o 23
24.59/24.60 c *24.1s| 50035 | 30628 | 0 | 0.0 | 62M|2816 | - |5645 |6941 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
28.50/28.58 c 28.0s| 60000 | 39127 | 0 | 0.0 | 73M|2816 | - |5645 |8153 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
32.39/32.46 c 31.8s| 70000 | 47627 | 0 | 0.0 | 83M|2816 | - |5645 |8118 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
36.30/36.34 c 35.6s| 80000 | 56072 | 0 | 0.0 | 93M|2816 | - |5645 |7050 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
40.49/40.50 c 39.7s| 90000 | 64170 | 0 | 0.0 | 103M|2816 | - |5645 |7781 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
44.89/44.90 c 44.0s|100000 | 72060 | 0 | 0.0 | 114M|2816 | - |5645 |8427 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
49.40/49.44 c 48.5s|110000 | 79860 | 0 | 0.0 | 124M|2816 | - |5645 |8648 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
54.09/54.13 c 53.1s|120000 | 87530 | 0 | 0.0 | 134M|2816 | - |5645 |8984 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
58.90/58.90 c 57.8s|130000 | 95118 | 0 | 0.0 | 145M|2816 | - |5645 |9489 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
64.09/64.19 c 63.0s|140000 |102235 | 0 | 0.0 | 155M|2816 | - |5645 |9888 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
70.30/70.33 c 69.0s|150000 |108745 | 0 | 0.0 | 165M|2816 | - |5645 | 10k| 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
76.69/76.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.69/76.78 c 75.4s|160000 |115058 | 0 | 0.0 | 176M|2816 | - |5645 | 10k| 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
83.69/83.73 c 82.2s|170000 |120902 | 0 | 0.0 | 186M|2816 | - |5645 | 11k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
91.39/91.45 c 89.8s|180000 |126342 | 0 | 0.0 | 196M|2816 | - |5645 | 12k| 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
100.10/100.12 c 98.4s|190000 |131239 | 0 | 0.0 | 207M|2816 | - |5645 | 14k| 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
110.19/110.22 c 108s|200000 |135311 | 0 | 0.0 | 217M|2816 | - |5645 | 17k| 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
120.19/120.25 o 15
120.19/120.25 c * 118s|209651 |138458 | 0 | 0.0 | 219M|2816 | - |5645 |8075 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
120.19/120.26 o 11
120.19/120.26 c * 118s|209652 |138121 | 0 | 0.0 | 218M|2816 | - |5645 |8075 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
120.40/120.45 c 119s|210000 |138430 | 0 | 0.0 | 219M|2816 | - |5645 |7223 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
122.79/122.88 o 8
122.79/122.88 c * 121s|215171 |142566 | 0 | 0.0 | 224M|2816 | - |5645 |7597 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
125.50/125.59 c 124s|220000 |146511 | 0 | 0.0 | 229M|2816 | - |5645 |8224 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
131.19/131.25 c 129s|230000 |154601 | 0 | 0.0 | 239M|2816 | - |5645 |7576 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
137.89/137.91 c 136s|240000 |162143 | 0 | 0.0 | 251M|2816 | - |5645 |9252 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
143.00/143.09 o 5
143.00/143.09 c * 141s|245481 |164547 | 0 | 0.0 | 255M|2816 | - |5645 | 11k| 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
143.00/143.09 o 4
143.00/143.09 c * 141s|245482 |164420 | 0 | 0.0 | 255M|2816 | - |5645 | 11k| 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
145.79/145.83 c 144s|250000 |167423 | 0 | 0.0 | 258M|2816 | - |5645 |8042 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
151.20/151.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.20/151.28 c 149s|260000 |175114 | 0 | 0.0 | 268M|2816 | - |5645 | 10k| 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
158.70/158.76 c 156s|270000 |182408 | 0 | 0.0 | 299M|2816 | - |5645 |9368 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
166.60/166.69 c 164s|280000 |190386 | 0 | 0.0 | 349M|2816 | - |5645 | 10k| 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
174.39/174.48 c 172s|290000 |197587 | 0 | 0.0 | 382M|2816 | - |5645 |7637 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
179.20/179.28 c 176s|300000 |204663 | 0 | 0.0 | 390M|2816 | - |5645 |6620 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
183.50/183.58 c 181s|310000 |212429 | 0 | 0.0 | 401M|2816 | - |5645 |7158 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
188.00/188.06 c 185s|320000 |219923 | 0 | 0.0 | 411M|2816 | - |5645 |7471 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
192.50/192.52 c 189s|330000 |227580 | 0 | 0.0 | 420M|2816 | - |5645 |6762 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
196.90/196.95 c 194s|340000 |235083 | 0 | 0.0 | 429M|2816 | - |5645 |6576 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
200.69/200.72 c 197s|350000 |243410 | 0 | 0.0 | 439M|2816 | - |5645 |6731 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
205.10/205.10 c 202s|360000 |251117 | 0 | 0.0 | 449M|2816 | - |5645 |7928 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
208.80/208.83 o 3
208.80/208.83 c * 205s|366970 |253870 | 0 | 0.0 | 452M|2816 | - |5645 |9664 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
210.69/210.71 c 207s|370000 |255693 | 0 | 0.0 | 454M|2816 | - |5645 |8256 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
214.40/214.48 c 211s|380000 |263855 | 0 | 0.0 | 464M|2816 | - |5645 |7683 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
218.80/218.86 c 215s|390000 |271440 | 0 | 0.0 | 473M|2816 | - |5645 |6942 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
224.09/224.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
224.09/224.13 c 220s|400000 |278064 | 0 | 0.0 | 484M|2816 | - |5645 |9897 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
227.79/227.85 c 224s|410000 |286387 | 0 | 0.0 | 493M|2816 | - |5645 |7696 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
232.80/232.84 c 229s|420000 |293358 | 0 | 0.0 | 503M|2816 | - |5645 |7357 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
237.10/237.18 c 233s|430000 |301026 | 0 | 0.0 | 513M|2816 | - |5645 |9162 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
241.79/241.83 c 238s|440000 |308417 | 0 | 0.0 | 522M|2816 | - |5645 |7530 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
246.70/246.79 c 242s|450000 |315271 | 0 | 0.0 | 532M|2816 | - |5645 |8863 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
250.59/250.66 c 246s|460000 |323433 | 0 | 0.0 | 542M|2816 | - |5645 |8127 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
255.60/255.65 c 251s|470000 |330433 | 0 | 0.0 | 552M|2816 | - |5645 |7415 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
259.30/259.37 c 255s|480000 |338745 | 0 | 0.0 | 562M|2816 | - |5645 |7715 | 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
263.49/263.56 o 2
263.49/263.56 c * 259s|489210 |344294 | 0 | 0.0 | 569M|2816 | - |5645 |8744 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
264.00/264.01 c 259s|490000 |344819 | 0 | 0.0 | 570M|2816 | - |5645 |8914 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
270.10/270.18 c 265s|500000 |350865 | 0 | 0.0 | 580M|2816 | - |5645 |8253 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
274.40/274.46 c 270s|510000 |358646 | 0 | 0.0 | 590M|2816 | - |5645 |8679 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
279.30/279.30 c 274s|520000 |365807 | 0 | 0.0 | 599M|2816 | - |5645 |7755 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
283.49/283.60 c 278s|530000 |373691 | 0 | 0.0 | 609M|2816 | - |5645 |8043 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
288.40/288.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
288.40/288.42 c 283s|540000 |380974 | 0 | 0.0 | 618M|2816 | - |5645 |8316 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
293.00/293.08 c 288s|550000 |388350 | 0 | 0.0 | 627M|2816 | - |5645 |8338 | 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
297.50/297.57 c 292s|560000 |395953 | 0 | 0.0 | 636M|2816 | - |5645 |8003 | 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
302.10/302.16 c 297s|570000 |403412 | 0 | 0.0 | 646M|2816 | - |5645 |8745 | 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
307.60/307.67 c 302s|580000 |409970 | 0 | 0.0 | 655M|2816 | - |5645 |8310 | 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
311.50/311.58 c 306s|590000 |418110 | 0 | 0.0 | 665M|2816 | - |5645 |7716 | 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
316.00/316.02 c 310s|600000 |425801 | 0 | 0.0 | 675M|2816 | - |5645 |8666 | 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
322.00/322.04 c 316s|610000 |431989 | 0 | 0.0 | 685M|2816 | - |5645 |8008 | 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
326.00/326.09 c 320s|620000 |439921 | 0 | 0.0 | 695M|2816 | - |5645 |8958 | 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
330.80/330.89 c 325s|630000 |447125 | 0 | 0.0 | 704M|2816 | - |5645 |7785 | 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
335.00/335.04 c 329s|640000 |455051 | 0 | 0.0 | 714M|2816 | - |5645 |7974 | 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
339.60/339.67 c 333s|650000 |462396 | 0 | 0.0 | 723M|2816 | - |5645 |8821 | 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
345.70/345.70 c 339s|660000 |468667 | 0 | 0.0 | 733M|2816 | - |5645 |8381 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
351.40/351.41 c 345s|670000 |475463 | 0 | 0.0 | 744M|2816 | - |5645 |8776 | 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
357.10/357.12 c 351s|680000 |482249 | 0 | 0.0 | 755M|2816 | - |5645 |8803 | 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
363.00/363.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
363.00/363.09 c 356s|690000 |488791 | 0 | 0.0 | 765M|2816 | - |5645 |9316 | 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
369.19/369.20 c 362s|700000 |495237 | 0 | 0.0 | 775M|2816 | - |5645 |9562 | 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
375.20/375.29 c 368s|710000 |501653 | 0 | 0.0 | 785M|2816 | - |5645 |9618 | 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
381.50/381.60 c 375s|720000 |507917 | 0 | 0.0 | 795M|2816 | - |5645 |9822 | 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
387.60/387.61 c 381s|730000 |514363 | 0 | 0.0 | 805M|2816 | - |5645 | 10k| 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
394.10/394.10 c 387s|740000 |520465 | 0 | 0.0 | 815M|2816 | - |5645 | 10k| 0 | 0 | 0 | 521k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
401.00/401.00 c 394s|750000 |526393 | 0 | 0.0 | 825M|2816 | - |5645 | 10k| 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
407.60/407.60 c 400s|760000 |532566 | 0 | 0.0 | 835M|2816 | - |5645 | 10k| 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
414.80/414.81 c 407s|770000 |538304 | 0 | 0.0 | 845M|2816 | - |5645 | 11k| 0 | 0 | 0 | 542k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
422.20/422.21 c 415s|780000 |544021 | 0 | 0.0 | 855M|2816 | - |5645 | 10k| 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
429.20/429.27 c 422s|790000 |549836 | 0 | 0.0 | 865M|2816 | - |5645 | 11k| 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
437.20/437.21 c 429s|800000 |555168 | 0 | 0.0 | 875M|2816 | - |5645 | 11k| 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
444.41/444.43 c 437s|810000 |560938 | 0 | 0.0 | 885M|2816 | - |5645 | 11k| 0 | 0 | 0 | 573k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
452.70/452.75 c 445s|820000 |565933 | 0 | 0.0 | 895M|2816 | - |5645 | 12k| 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
460.21/460.20 c 452s|830000 |571621 | 0 | 0.0 | 905M|2816 | - |5645 | 12k| 0 | 0 | 0 | 589k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
468.80/468.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
468.80/468.83 c 461s|840000 |576411 | 0 | 0.0 | 915M|2816 | - |5645 | 12k| 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
476.31/476.33 c 468s|850000 |582075 | 0 | 0.0 | 924M|2816 | - |5645 | 12k| 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
485.40/485.45 c 477s|860000 |586539 | 0 | 0.0 | 934M|2816 | - |5645 | 12k| 0 | 0 | 0 | 617k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
493.30/493.34 c 485s|870000 |591973 | 0 | 0.0 | 944M|2816 | - |5645 | 13k| 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
502.71/502.71 c 494s|880000 |596271 | 0 | 0.0 | 954M|2816 | - |5645 | 12k| 0 | 0 | 0 | 635k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
511.10/511.17 c 502s|890000 |601268 | 0 | 0.0 | 964M|2816 | - |5645 | 13k| 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
520.50/520.58 c 512s|900000 |605676 | 0 | 0.0 | 974M|2816 | - |5645 | 12k| 0 | 0 | 0 | 655k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
529.31/529.32 c 520s|910000 |610475 | 0 | 0.0 | 984M|2816 | - |5645 | 13k| 0 | 0 | 0 | 664k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
539.21/539.28 c 530s|920000 |614452 | 0 | 0.0 | 993M|2816 | - |5645 | 12k| 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
548.40/548.45 c 539s|930000 |618963 | 0 | 0.0 |1003M|2816 | - |5645 | 13k| 0 | 0 | 0 | 686k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
558.11/558.13 c 549s|940000 |623054 | 0 | 0.0 |1013M|2816 | - |5645 | 12k| 0 | 0 | 0 | 697k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
567.90/567.96 c 559s|950000 |627044 | 0 | 0.0 |1023M|2816 | - |5645 | 13k| 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
578.20/578.21 c 569s|960000 |630730 | 0 | 0.0 |1032M|2816 | - |5645 | 13k| 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
588.31/588.34 c 579s|970000 |634527 | 0 | 0.0 |1042M|2816 | - |5645 | 14k| 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
598.90/598.95 c 589s|980000 |637976 | 0 | 0.0 |1050M|2816 | - |5645 | 13k| 0 | 0 | 0 | 743k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
608.91/608.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
608.91/608.93 c 599s|990000 |641789 | 0 | 0.0 |1060M|2816 | - |5645 | 13k| 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
619.91/619.95 c 610s| 1000k|644903 | 0 | 0.0 |1069M|2816 | - |5645 | 14k| 0 | 0 | 0 | 767k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
630.01/630.00 c 620s| 1010k|648855 | 0 | 0.0 |1079M|2816 | - |5645 | 13k| 0 | 0 | 0 | 778k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
641.21/641.26 c 631s| 1020k|651680 | 0 | 0.0 |1087M|2816 | - |5645 | 14k| 0 | 0 | 0 | 792k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
652.22/652.20 c 642s| 1030k|654863 | 0 | 0.0 |1096M|2816 | - |5645 | 14k| 0 | 0 | 0 | 804k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
662.91/662.90 c 653s| 1040k|658431 | 0 | 0.0 |1106M|2816 | - |5645 | 13k| 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
674.51/674.57 c 664s| 1050k|661158 | 0 | 0.0 |1114M|2816 | - |5645 | 14k| 0 | 0 | 0 | 831k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
686.51/686.51 c 676s| 1060k|663789 | 0 | 0.0 |1122M|2816 | - |5645 | 14k| 0 | 0 | 0 | 845k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
698.42/698.42 c 688s| 1070k|666564 | 0 | 0.0 |1131M|2816 | - |5645 | 15k| 0 | 0 | 0 | 858k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
710.21/710.29 c 699s| 1080k|669365 | 0 | 0.0 |1139M|2816 | - |5645 | 15k| 0 | 0 | 0 | 872k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
722.41/722.48 c 712s| 1090k|671989 | 0 | 0.0 |1147M|2816 | - |5645 | 15k| 0 | 0 | 0 | 887k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
734.91/734.97 c 724s| 1100k|674444 | 0 | 0.0 |1156M|2816 | - |5645 | 15k| 0 | 0 | 0 | 901k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
749.81/749.84 c 739s| 1110k|674978 | 0 | 0.0 |1162M|2816 | - |5645 | 17k| 0 | 0 | 0 | 919k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
765.91/765.95 c 755s| 1120k|675073 | 0 | 0.0 |1168M|2816 | - |5645 | 18k| 0 | 0 | 0 | 937k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
785.21/785.28 c 774s| 1130k|673189 | 0 | 0.0 |1166M|2816 | - |5645 | 15k| 0 | 0 | 0 | 957k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
789.71/789.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
789.71/789.76 c 778s| 1140k|681414 | 0 | 0.0 |1173M|2816 | - |5645 |6557 | 0 | 0 | 0 | 961k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
793.92/793.99 c 782s| 1150k|689407 | 0 | 0.0 |1183M|2816 | - |5645 |6940 | 0 | 0 | 0 | 965k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
798.31/798.33 c 787s| 1160k|697261 | 0 | 0.0 |1193M|2816 | - |5645 |7356 | 0 | 0 | 0 | 969k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
802.71/802.77 c 791s| 1170k|704980 | 0 | 0.0 |1203M|2816 | - |5645 |7909 | 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
807.42/807.41 c 795s| 1180k|712500 | 0 | 0.0 |1213M|2816 | - |5645 |7968 | 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
812.31/812.36 c 800s| 1190k|719820 | 0 | 0.0 |1223M|2816 | - |5645 |8431 | 0 | 0 | 0 | 984k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
817.42/817.46 c 805s| 1200k|726962 | 0 | 0.0 |1233M|2816 | - |5645 |8682 | 0 | 0 | 0 | 990k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
822.61/822.68 c 810s| 1210k|733924 | 0 | 0.0 |1243M|2816 | - |5645 |9401 | 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
828.11/828.12 c 816s| 1220k|740690 | 0 | 0.0 |1253M|2816 | - |5645 | 10k| 0 | 0 | 0 |1003k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
834.31/834.33 c 822s| 1230k|747066 | 0 | 0.0 |1262M|2816 | - |5645 | 10k| 0 | 0 | 0 |1011k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
840.82/840.83 c 828s| 1240k|753268 | 0 | 0.0 |1271M|2816 | - |5645 |8608 | 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
847.41/847.41 c 835s| 1250k|759040 | 0 | 0.0 |1280M|2816 | - |5645 |8367 | 0 | 0 | 0 |1027k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
853.52/853.57 c 841s| 1260k|765073 | 0 | 0.0 |1289M|2816 | - |5645 |8021 | 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
859.71/859.70 c 847s| 1270k|771172 | 0 | 0.0 |1298M|2816 | - |5645 |7839 | 0 | 0 | 0 |1044k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
865.62/865.70 c 853s| 1280k|777364 | 0 | 0.0 |1307M|2816 | - |5645 |7322 | 0 | 0 | 0 |1053k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
871.41/871.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
871.41/871.44 c 858s| 1290k|783697 | 0 | 0.0 |1316M|2816 | - |5645 |7373 | 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
877.32/877.30 c 864s| 1300k|789957 | 0 | 0.0 |1326M|2816 | - |5645 |7268 | 0 | 0 | 0 |1069k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
883.22/883.25 c 870s| 1310k|796231 | 0 | 0.0 |1335M|2816 | - |5645 |7617 | 0 | 0 | 0 |1077k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
890.12/890.12 c 877s| 1320k|802239 | 0 | 0.0 |1343M|2816 | - |5645 |4724 | 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
895.92/895.95 c 882s| 1330k|808477 | 0 | 0.0 |1352M|2816 | - |5645 |6426 | 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
901.62/901.68 c 888s| 1340k|814731 | 0 | 0.0 |1362M|2816 | - |5645 |7075 | 0 | 0 | 0 |1100k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
907.52/907.51 c 894s| 1350k|820940 | 0 | 0.0 |1371M|2816 | - |5645 |7524 | 0 | 0 | 0 |1107k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
913.62/913.66 c 900s| 1360k|826909 | 0 | 0.0 |1381M|2816 | - |5645 |7947 | 0 | 0 | 0 |1115k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
920.42/920.44 c 906s| 1370k|832495 | 0 | 0.0 |1390M|2816 | - |5645 |8670 | 0 | 0 | 0 |1123k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
927.62/927.60 c 914s| 1380k|837696 | 0 | 0.0 |1400M|2816 | - |5645 |9719 | 0 | 0 | 0 |1133k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
935.91/935.98 c 922s| 1390k|842146 | 0 | 0.0 |1409M|2816 | - |5645 | 10k| 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
945.93/945.95 c 932s| 1400k|845373 | 0 | 0.0 |1418M|2816 | - |5645 | 11k| 0 | 0 | 0 |1158k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
956.41/956.45 c 942s| 1410k|848495 | 0 | 0.0 |1422M|2816 | - |5645 |5117 | 0 | 0 | 0 |1171k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
960.62/960.69 c 946s| 1420k|856356 | 0 | 0.0 |1432M|2816 | - |5645 |4857 | 0 | 0 | 0 |1175k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
964.92/964.96 c 950s| 1430k|864077 | 0 | 0.0 |1442M|2816 | - |5645 |5118 | 0 | 0 | 0 |1179k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
969.41/969.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
969.41/969.46 c 955s| 1440k|871578 | 0 | 0.0 |1452M|2816 | - |5645 |5469 | 0 | 0 | 0 |1184k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
974.02/974.09 c 959s| 1450k|878929 | 0 | 0.0 |1461M|2816 | - |5645 |5902 | 0 | 0 | 0 |1189k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
979.02/979.08 c 964s| 1460k|885967 | 0 | 0.0 |1471M|2816 | - |5645 |6154 | 0 | 0 | 0 |1194k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
984.12/984.19 c 969s| 1470k|892844 | 0 | 0.0 |1481M|2816 | - |5645 |6660 | 0 | 0 | 0 |1200k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
990.32/990.30 c 975s| 1480k|898991 | 0 | 0.0 |1493M|2816 | - |5645 |7355 | 0 | 0 | 0 |1207k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
996.92/996.93 c 982s| 1490k|904772 | 0 | 0.0 |1503M|2816 | - |5645 |8011 | 0 | 0 | 0 |1215k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1004.02/1004.08 c 989s| 1500k|910120 | 0 | 0.0 |1515M|2816 | - |5645 |8781 | 0 | 0 | 0 |1225k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1012.32/1012.35 c 997s| 1510k|914620 | 0 | 0.0 |1525M|2816 | - |5645 |9543 | 0 | 0 | 0 |1236k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1022.41/1022.41 c 1007s| 1520k|917855 | 0 | 0.0 |1534M|2816 | - |5645 | 10k| 0 | 0 | 0 |1250k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1029.22/1029.21 c 1013s| 1530k|923775 | 0 | 0.0 |1541M|2816 | - |5645 |4793 | 0 | 0 | 0 |1258k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1033.22/1033.28 c 1017s| 1540k|931668 | 0 | 0.0 |1550M|2816 | - |5645 |4982 | 0 | 0 | 0 |1262k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1037.62/1037.60 c 1022s| 1550k|939348 | 0 | 0.0 |1560M|2816 | - |5645 |5424 | 0 | 0 | 0 |1267k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1042.12/1042.18 c 1026s| 1560k|946804 | 0 | 0.0 |1570M|2816 | - |5645 |5517 | 0 | 0 | 0 |1272k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1046.72/1046.76 c 1031s| 1570k|954224 | 0 | 0.0 |1579M|2816 | - |5645 |5451 | 0 | 0 | 0 |1276k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1051.53/1051.56 c 1035s| 1580k|961446 | 0 | 0.0 |1590M|2816 | - |5645 |5575 | 0 | 0 | 0 |1281k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1056.52/1056.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1056.52/1056.57 c 1040s| 1590k|968496 | 0 | 0.0 |1600M|2816 | - |5645 |5744 | 0 | 0 | 0 |1287k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1061.72/1061.77 c 1045s| 1600k|975354 | 0 | 0.0 |1610M|2816 | - |5645 |5961 | 0 | 0 | 0 |1293k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1067.12/1067.18 c 1051s| 1610k|982081 | 0 | 0.0 |1620M|2816 | - |5645 |6003 | 0 | 0 | 0 |1300k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1073.22/1073.29 c 1057s| 1620k|988266 | 0 | 0.0 |1630M|2816 | - |5645 |6578 | 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1079.62/1079.60 c 1063s| 1630k|994335 | 0 | 0.0 |1640M|2816 | - |5645 |6632 | 0 | 0 | 0 |1315k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1085.73/1085.77 c 1069s| 1640k| 1000k| 0 | 0.0 |1651M|2816 | - |5645 |6739 | 0 | 0 | 0 |1323k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1092.02/1092.04 c 1075s| 1650k| 1006k| 0 | 0.0 |1661M|2816 | - |5645 |6750 | 0 | 0 | 0 |1331k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1098.62/1098.64 c 1082s| 1660k| 1012k| 0 | 0.0 |1671M|2816 | - |5645 |7086 | 0 | 0 | 0 |1340k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1105.32/1105.30 c 1088s| 1670k| 1017k| 0 | 0.0 |1681M|2816 | - |5645 |7254 | 0 | 0 | 0 |1348k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1111.93/1111.95 c 1095s| 1680k| 1023k| 0 | 0.0 |1691M|2816 | - |5645 |7499 | 0 | 0 | 0 |1357k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1118.62/1118.67 c 1101s| 1690k| 1029k| 0 | 0.0 |1700M|2816 | - |5645 |7567 | 0 | 0 | 0 |1365k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1125.33/1125.37 c 1108s| 1700k| 1035k| 0 | 0.0 |1709M|2816 | - |5645 |7754 | 0 | 0 | 0 |1374k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1132.22/1132.25 c 1115s| 1710k| 1040k| 0 | 0.0 |1719M|2816 | - |5645 |8286 | 0 | 0 | 0 |1383k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1139.32/1139.32 c 1122s| 1720k| 1046k| 0 | 0.0 |1728M|2816 | - |5645 |9049 | 0 | 0 | 0 |1392k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1147.13/1147.18 c 1129s| 1730k| 1051k| 0 | 0.0 |1737M|2816 | - |5645 | 10k| 0 | 0 | 0 |1402k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1156.52/1156.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1156.52/1156.51 c 1138s| 1740k| 1055k| 0 | 0.0 |1746M|2816 | - |5645 | 11k| 0 | 0 | 0 |1415k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1166.82/1166.87 c 1149s| 1750k| 1058k| 0 | 0.0 |1751M|2816 | - |5645 |6222 | 0 | 0 | 0 |1428k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1171.23/1171.22 c 1153s| 1760k| 1066k| 0 | 0.0 |1760M|2816 | - |5645 |5356 | 0 | 0 | 0 |1432k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1175.52/1175.50 c 1157s| 1770k| 1074k| 0 | 0.0 |1769M|2816 | - |5645 |5388 | 0 | 0 | 0 |1436k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1179.83/1179.89 c 1161s| 1780k| 1081k| 0 | 0.0 |1779M|2816 | - |5645 |5894 | 0 | 0 | 0 |1441k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1184.52/1184.59 c 1166s| 1790k| 1089k| 0 | 0.0 |1789M|2816 | - |5645 |6210 | 0 | 0 | 0 |1446k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1189.42/1189.46 c 1171s| 1800k| 1096k| 0 | 0.0 |1798M|2816 | - |5645 |6575 | 0 | 0 | 0 |1451k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1194.73/1194.72 c 1176s| 1810k| 1103k| 0 | 0.0 |1808M|2816 | - |5645 |6927 | 0 | 0 | 0 |1457k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1200.92/1200.95 c 1182s| 1820k| 1109k| 0 | 0.0 |1819M|2816 | - |5645 |7893 | 0 | 0 | 0 |1465k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1207.62/1207.68 c 1189s| 1830k| 1114k| 0 | 0.0 |1829M|2816 | - |5645 |8146 | 0 | 0 | 0 |1473k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1214.53/1214.57 c 1196s| 1840k| 1120k| 0 | 0.0 |1838M|2816 | - |5645 |8143 | 0 | 0 | 0 |1482k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1221.32/1221.32 c 1202s| 1850k| 1125k| 0 | 0.0 |1847M|2816 | - |5645 |7426 | 0 | 0 | 0 |1491k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1227.82/1227.83 c 1209s| 1860k| 1131k| 0 | 0.0 |1856M|2816 | - |5645 |7256 | 0 | 0 | 0 |1499k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1234.02/1234.01 c 1215s| 1870k| 1137k| 0 | 0.0 |1864M|2816 | - |5645 |7224 | 0 | 0 | 0 |1507k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1239.74/1239.71 c 1220s| 1880k| 1144k| 0 | 0.0 |1873M|2816 | - |5645 |7186 | 0 | 0 | 0 |1514k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1245.13/1245.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1245.13/1245.18 c 1226s| 1890k| 1150k| 0 | 0.0 |1882M|2816 | - |5645 |7317 | 0 | 0 | 0 |1520k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1250.53/1250.51 c 1231s| 1900k| 1157k| 0 | 0.0 |1892M|2816 | - |5645 |7603 | 0 | 0 | 0 |1527k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1256.02/1256.09 c 1236s| 1910k| 1164k| 0 | 0.0 |1901M|2816 | - |5645 |8596 | 0 | 0 | 0 |1533k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1262.12/1262.13 c 1242s| 1920k| 1171k| 0 | 0.0 |1910M|2816 | - |5645 |9664 | 0 | 0 | 0 |1540k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1268.63/1268.69 c 1249s| 1930k| 1177k| 0 | 0.0 |1920M|2816 | - |5645 | 10k| 0 | 0 | 0 |1548k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1276.33/1276.34 c 1256s| 1940k| 1182k| 0 | 0.0 |1929M|2816 | - |5645 | 11k| 0 | 0 | 0 |1558k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1285.42/1285.47 c 1265s| 1950k| 1186k| 0 | 0.0 |1939M|2816 | - |5645 | 12k| 0 | 0 | 0 |1570k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1294.53/1294.54 c 1274s| 1960k| 1191k| 0 | 0.0 |1946M|2816 | - |5645 |8725 | 0 | 0 | 0 |1582k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1299.73/1299.72 c 1279s| 1970k| 1198k| 0 | 0.0 |1953M|2816 | - |5645 |6119 | 0 | 0 | 0 |1588k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1304.22/1304.27 c 1284s| 1980k| 1205k| 0 | 0.0 |1963M|2816 | - |5645 |6178 | 0 | 0 | 0 |1593k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1308.93/1308.98 c 1288s| 1990k| 1213k| 0 | 0.0 |1972M|2816 | - |5645 |6635 | 0 | 0 | 0 |1598k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1314.02/1314.04 c 1293s| 2000k| 1220k| 0 | 0.0 |1982M|2816 | - |5645 |7688 | 0 | 0 | 0 |1603k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1319.42/1319.41 c 1299s| 2010k| 1227k| 0 | 0.0 |1992M|2816 | - |5645 |8422 | 0 | 0 | 0 |1609k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1325.33/1325.35 c 1304s| 2020k| 1233k| 0 | 0.0 |2001M|2816 | - |5645 |9154 | 0 | 0 | 0 |1616k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1331.73/1331.79 c 1311s| 2030k| 1239k| 0 | 0.0 |2010M|2816 | - |5645 |9816 | 0 | 0 | 0 |1623k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1339.13/1339.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1339.13/1339.15 c 1318s| 2040k| 1245k| 0 | 0.0 |2020M|2816 | - |5645 | 10k| 0 | 0 | 0 |1633k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1348.13/1348.16 c 1327s| 2050k| 1249k| 0 | 0.0 |2030M|2816 | - |5645 | 13k| 0 | 0 | 0 |1645k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1357.22/1357.27 c 1336s| 2060k| 1254k| 0 | 0.0 |2035M|2816 | - |5645 |6612 | 0 | 0 | 0 |1656k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1361.23/1361.20 c 1340s| 2070k| 1262k| 0 | 0.0 |2044M|2816 | - |5645 |5689 | 0 | 0 | 0 |1659k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1365.13/1365.19 c 1344s| 2080k| 1270k| 0 | 0.0 |2053M|2816 | - |5645 |5836 | 0 | 0 | 0 |1663k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1369.33/1369.40 c 1348s| 2090k| 1277k| 0 | 0.0 |2062M|2816 | - |5645 |5764 | 0 | 0 | 0 |1666k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1373.73/1373.74 c 1352s| 2100k| 1285k| 0 | 0.0 |2072M|2816 | - |5645 |5772 | 0 | 0 | 0 |1671k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1378.13/1378.13 c 1356s| 2110k| 1293k| 0 | 0.0 |2081M|2816 | - |5645 |5972 | 0 | 0 | 0 |1675k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1382.53/1382.57 c 1361s| 2120k| 1300k| 0 | 0.0 |2090M|2816 | - |5645 |6021 | 0 | 0 | 0 |1680k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1387.13/1387.11 c 1365s| 2130k| 1308k| 0 | 0.0 |2100M|2816 | - |5645 |6095 | 0 | 0 | 0 |1685k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1391.93/1391.94 c 1370s| 2140k| 1315k| 0 | 0.0 |2109M|2816 | - |5645 |6310 | 0 | 0 | 0 |1690k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1397.04/1397.07 c 1375s| 2150k| 1321k| 0 | 0.0 |2118M|2816 | - |5645 |6581 | 0 | 0 | 0 |1696k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1402.63/1402.65 c 1380s| 2160k| 1328k| 0 | 0.0 |2128M|2816 | - |5645 |6919 | 0 | 0 | 0 |1703k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1408.33/1408.34 c 1386s| 2170k| 1334k| 0 | 0.0 |2138M|2816 | - |5645 |7115 | 0 | 0 | 0 |1710k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1414.03/1414.05 c 1391s| 2180k| 1341k| 0 | 0.0 |2148M|2816 | - |5645 |7104 | 0 | 0 | 0 |1717k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1420.33/1420.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1420.33/1420.30 c 1398s| 2190k| 1347k| 0 | 0.0 |2158M|2816 | - |5645 |7735 | 0 | 0 | 0 |1725k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1426.53/1426.52 c 1404s| 2200k| 1353k| 0 | 0.0 |2168M|2816 | - |5645 |8148 | 0 | 0 | 0 |1734k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1433.23/1433.24 c 1410s| 2210k| 1358k| 0 | 0.0 |2177M|2816 | - |5645 |8399 | 0 | 0 | 0 |1742k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1439.84/1439.88 c 1417s| 2220k| 1364k| 0 | 0.0 |2187M|2816 | - |5645 |9347 | 0 | 0 | 0 |1751k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1447.33/1447.38 c 1424s| 2230k| 1369k| 0 | 0.0 |2196M|2816 | - |5645 |8981 | 0 | 0 | 0 |1761k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1454.73/1454.73 c 1432s| 2240k| 1375k| 0 | 0.0 |2205M|2816 | - |5645 |9661 | 0 | 0 | 0 |1770k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1462.43/1462.43 c 1439s| 2250k| 1380k| 0 | 0.0 |2215M|2816 | - |5645 | 10k| 0 | 0 | 0 |1781k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1470.83/1470.85 c 1447s| 2260k| 1384k| 0 | 0.0 |2224M|2816 | - |5645 | 11k| 0 | 0 | 0 |1792k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1480.23/1480.24 c 1457s| 2270k| 1389k| 0 | 0.0 |2233M|2816 | - |5645 | 13k| 0 | 0 | 0 |1805k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1492.43/1492.42 c 1469s| 2280k| 1391k| 0 | 0.0 |2241M|2816 | - |5645 | 16k| 0 | 0 | 0 |1821k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1498.43/1498.49 c 1475s| 2290k| 1398k| 0 | 0.0 |2246M|2816 | - |5645 |5996 | 0 | 0 | 0 |1828k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1502.54/1502.58 c 1479s| 2300k| 1406k| 0 | 0.0 |2256M|2816 | - |5645 |6203 | 0 | 0 | 0 |1832k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1507.13/1507.16 c 1483s| 2310k| 1413k| 0 | 0.0 |2266M|2816 | - |5645 |6857 | 0 | 0 | 0 |1837k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1512.03/1512.00 c 1488s| 2320k| 1421k| 0 | 0.0 |2276M|2816 | - |5645 |7544 | 0 | 0 | 0 |1842k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1517.13/1517.11 c 1493s| 2330k| 1428k| 0 | 0.0 |2285M|2816 | - |5645 |7743 | 0 | 0 | 0 |1847k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1522.54/1522.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1522.54/1522.56 c 1498s| 2340k| 1435k| 0 | 0.0 |2295M|2816 | - |5645 |8349 | 0 | 0 | 0 |1854k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1528.33/1528.38 c 1504s| 2350k| 1441k| 0 | 0.0 |2305M|2816 | - |5645 |9436 | 0 | 0 | 0 |1860k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1534.94/1534.92 c 1510s| 2360k| 1447k| 0 | 0.0 |2314M|2816 | - |5645 | 10k| 0 | 0 | 0 |1868k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1542.63/1542.68 c 1518s| 2370k| 1452k| 0 | 0.0 |2324M|2816 | - |5645 | 11k| 0 | 0 | 0 |1878k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1551.84/1551.86 c 1527s| 2380k| 1456k| 0 | 0.0 |2333M|2816 | - |5645 | 12k| 0 | 0 | 0 |1890k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1564.64/1564.62 c 1540s| 2390k| 1458k| 0 | 0.0 |2341M|2816 | - |5645 | 16k| 0 | 0 | 0 |1908k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1569.14/1569.14 c 1544s| 2400k| 1466k| 0 | 0.0 |2347M|2816 | - |5645 |6258 | 0 | 0 | 0 |1911k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1573.64/1573.64 c 1549s| 2410k| 1474k| 0 | 0.0 |2356M|2816 | - |5645 |6684 | 0 | 0 | 0 |1916k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1578.23/1578.27 c 1553s| 2420k| 1481k| 0 | 0.0 |2366M|2816 | - |5645 |7111 | 0 | 0 | 0 |1921k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1583.24/1583.29 c 1558s| 2430k| 1489k| 0 | 0.0 |2375M|2816 | - |5645 |7646 | 0 | 0 | 0 |1926k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1588.34/1588.40 c 1563s| 2440k| 1496k| 0 | 0.0 |2385M|2816 | - |5645 |8219 | 0 | 0 | 0 |1932k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1593.94/1593.92 c 1568s| 2450k| 1502k| 0 | 0.0 |2395M|2816 | - |5645 |9056 | 0 | 0 | 0 |1938k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1600.13/1600.12 c 1575s| 2460k| 1509k| 0 | 0.0 |2405M|2816 | - |5645 |9901 | 0 | 0 | 0 |1945k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1607.04/1607.09 c 1581s| 2470k| 1514k| 0 | 0.0 |2414M|2816 | - |5645 | 10k| 0 | 0 | 0 |1954k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1614.94/1614.99 c 1589s| 2480k| 1519k| 0 | 0.0 |2424M|2816 | - |5645 | 12k| 0 | 0 | 0 |1965k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1625.94/1625.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1625.94/1625.99 c 1600s| 2490k| 1522k| 0 | 0.0 |2433M|2816 | - |5645 | 15k| 0 | 0 | 0 |1980k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1634.55/1634.59 c 1609s| 2500k| 1527k| 0 | 0.0 |2438M|2816 | - |5645 |6116 | 0 | 0 | 0 |1990k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1638.74/1638.76 c 1613s| 2510k| 1535k| 0 | 0.0 |2448M|2816 | - |5645 |6332 | 0 | 0 | 0 |1994k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1643.23/1643.27 c 1617s| 2520k| 1543k| 0 | 0.0 |2457M|2816 | - |5645 |6831 | 0 | 0 | 0 |1999k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1648.13/1648.17 c 1622s| 2530k| 1550k| 0 | 0.0 |2467M|2816 | - |5645 |7505 | 0 | 0 | 0 |2005k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1653.43/1653.44 c 1627s| 2540k| 1557k| 0 | 0.0 |2477M|2816 | - |5645 |8198 | 0 | 0 | 0 |2012k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1659.23/1659.24 c 1633s| 2550k| 1563k| 0 | 0.0 |2486M|2816 | - |5645 |8717 | 0 | 0 | 0 |2019k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1665.63/1665.60 c 1639s| 2560k| 1569k| 0 | 0.0 |2496M|2816 | - |5645 |9870 | 0 | 0 | 0 |2028k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1672.64/1672.60 c 1646s| 2570k| 1574k| 0 | 0.0 |2506M|2816 | - |5645 | 10k| 0 | 0 | 0 |2037k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1680.84/1680.86 c 1654s| 2580k| 1579k| 0 | 0.0 |2515M|2816 | - |5645 | 11k| 0 | 0 | 0 |2048k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1688.74/1688.79 o 1
1688.74/1688.79 c *1662s| 2584k|327045 | 0 | 0.0 | 673M|2816 | - |5645 | 12k| 0 | 0 | 0 |2055k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1692.95/1692.93 c 1666s| 2590k|329802 | 0 | 0.0 | 677M|2816 | - |5645 |9142 | 0 | 0 | 0 |2059k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1700.54/1700.57 c 1674s| 2600k|334707 | 0 | 0.0 | 687M|2816 | - |5645 |7982 | 0 | 0 | 0 |2067k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1708.44/1708.42 c 1681s| 2610k|339438 | 0 | 0.0 | 696M|2816 | - |5645 |8744 | 0 | 0 | 0 |2075k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1717.34/1717.33 c 1690s| 2620k|343426 | 0 | 0.0 | 706M|2816 | - |5645 |9357 | 0 | 0 | 0 |2085k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1726.44/1726.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1726.44/1726.48 c 1699s| 2630k|347377 | 0 | 0.0 | 716M|2816 | - |5645 |9744 | 0 | 0 | 0 |2094k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1736.13/1736.14 c 1709s| 2640k|350969 | 0 | 0.0 | 725M|2816 | - |5645 | 10k| 0 | 0 | 0 |2105k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1745.74/1745.74 c 1718s| 2650k|354861 | 0 | 0.0 | 735M|2816 | - |5645 |9761 | 0 | 0 | 0 |2115k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1755.44/1755.45 c 1728s| 2660k|358490 | 0 | 0.0 | 744M|2816 | - |5645 | 10k| 0 | 0 | 0 |2125k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1765.24/1765.28 c 1737s| 2670k|362273 | 0 | 0.0 | 753M|2816 | - |5645 | 10k| 0 | 0 | 0 |2136k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1775.93/1775.90 c 1748s| 2680k|365447 | 0 | 0.0 | 762M|2816 | - |5645 | 11k| 0 | 0 | 0 |2147k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1785.94/1785.93 c 1758s| 2690k|369137 | 0 | 0.0 | 772M|2816 | - |5645 | 10k| 0 | 0 | 0 |2157k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1796.84/1796.82 c 1769s| 2700k|372012 | 0 | 0.0 | 780M|2816 | - |5645 | 11k| 0 | 0 | 0 |2169k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1771.78
1800.05/1800.00 c Solving Nodes : 2702913
1800.05/1800.00 c Primal Bound : +1.00000000000000e+00 (55 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.08 s SATISFIABLE
1800.05/1800.08 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.05/1800.08 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 x189
1800.05/1800.08 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.05/1800.08 v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.05/1800.08 v -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125
1800.05/1800.08 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.05/1800.08 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.05/1800.08 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.05/1800.08 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.05/1800.08 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.05/1800.08 v -x1
1800.05/1800.08 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.08 c Solving Time : 1771.78
1800.05/1800.08 c Original Problem :
1800.05/1800.08 c Problem name : HOME/instance-2693645-1277928320.wbo
1800.05/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.08 c Constraints : 5415 initial, 5415 maximal
1800.05/1800.08 c Presolved Problem :
1800.05/1800.08 c Problem name : t_HOME/instance-2693645-1277928320.wbo
1800.05/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.08 c Constraints : 5414 initial, 20818 maximal
1800.05/1800.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.08 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.08 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.08 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.08 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.08 c probing : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.08 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.08 c linear : 0.03 0 0 0 2707 0 1 0 0
1800.05/1800.08 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.08 c root node : - 2663 - - 5326 - - - -
1800.05/1800.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.08 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.08 c indicator : 2707 0 5344051 0 1653736 25 1656163 0 0 0
1800.05/1800.08 c linear : 2707 0 8140578 0 2318554 586068 46388021 0 0 0
1800.05/1800.08 c logicor : 0+ 0 3822798 0 0 57544 1505941 0 0 0
1800.05/1800.08 c countsols : 0 0 0 0 2318588 0 0 0 0 0
1800.05/1800.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.08 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.08 c indicator : 9.81 0.00 4.32 0.00 5.49
1800.05/1800.08 c linear : 463.53 0.00 460.53 0.00 3.00
1800.05/1800.08 c logicor : 220.11 0.00 220.11 0.00 0.00
1800.05/1800.08 c countsols : 0.47 0.00 0.00 0.00 0.47
1800.05/1800.08 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.08 c vbounds : 2.23 2 0 0
1800.05/1800.08 c rootredcost : 2.03 0 0 0
1800.05/1800.08 c pseudoobj : 434.38 8141346 472 1643935
1800.05/1800.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.08 c propagation : 35.24 644084 644082 3289440 21.7 275270 11.5 -
1800.05/1800.08 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.08 c pseudo solution : 0.02 46 46 228 33.2 143 9.5 -
1800.05/1800.08 c applied globally : - - - 2172710 19.0 - - -
1800.05/1800.08 c applied locally : - - - 0 0.0 - - -
1800.05/1800.08 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.08 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.08 c redcost : 0.00 0 0 0 0 0
1800.05/1800.08 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.08 c intobj : 0.00 0 0 0 0 0
1800.05/1800.08 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.08 c gomory : 0.00 0 0 0 0 0
1800.05/1800.08 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.08 c cmir : 0.00 0 0 0 0 0
1800.05/1800.08 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.08 c clique : 0.00 0 0 0 0 0
1800.05/1800.08 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.08 c mcf : 0.00 0 0 0 0 0
1800.05/1800.08 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.08 c Pricers : Time Calls Vars
1800.05/1800.08 c problem variables: 0.00 0 0
1800.05/1800.08 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.08 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.08 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.08 c inference : 36.62 2318536 0 0 0 0 4637072
1800.05/1800.08 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.08 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.08 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.08 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.08 c random : 0.00 0 0 0 0 0 0
1800.05/1800.08 c Primal Heuristics : Time Calls Found
1800.05/1800.08 c LP solutions : 0.00 - 0
1800.05/1800.08 c pseudo solutions : 3.64 - 52
1800.05/1800.08 c oneopt : 1.09 0 0
1800.05/1800.08 c trivial : 0.09 2 2
1800.05/1800.08 c simplerounding : 0.00 0 0
1800.05/1800.08 c zirounding : 0.00 0 0
1800.05/1800.08 c rounding : 0.00 0 0
1800.05/1800.08 c shifting : 0.00 0 0
1800.05/1800.08 c intshifting : 0.00 0 0
1800.05/1800.08 c twoopt : 0.00 0 0
1800.05/1800.08 c fixandinfer : 0.00 0 0
1800.05/1800.08 c feaspump : 0.00 0 0
1800.05/1800.08 c coefdiving : 0.00 0 0
1800.05/1800.08 c pscostdiving : 0.00 0 0
1800.05/1800.08 c fracdiving : 0.00 0 0
1800.05/1800.08 c veclendiving : 0.00 0 0
1800.05/1800.08 c intdiving : 0.00 0 0
1800.05/1800.08 c actconsdiving : 0.00 0 0
1800.05/1800.08 c objpscostdiving : 0.00 0 0
1800.05/1800.08 c rootsoldiving : 0.00 0 0
1800.05/1800.08 c linesearchdiving : 0.00 0 0
1800.05/1800.08 c guideddiving : 0.00 0 0
1800.05/1800.08 c octane : 0.00 0 0
1800.05/1800.08 c rens : 0.00 0 0
1800.05/1800.08 c rins : 0.00 0 0
1800.05/1800.08 c localbranching : 0.00 0 0
1800.05/1800.08 c mutation : 0.00 0 0
1800.05/1800.08 c crossover : 0.00 0 0
1800.05/1800.08 c dins : 0.00 0 0
1800.05/1800.08 c undercover : 0.00 0 0
1800.05/1800.08 c nlp : 0.75 0 0
1800.05/1800.08 c trysol : 0.68 1 1
1800.05/1800.08 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.08 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.08 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.08 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.08 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.08 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.08 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.08 c (at root node) : - 0 0 0.00 -
1800.05/1800.08 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.08 c B&B Tree :
1800.05/1800.08 c number of runs : 1
1800.05/1800.08 c nodes : 2702913
1800.05/1800.08 c nodes (total) : 2702913
1800.05/1800.08 c nodes left : 372946
1800.05/1800.08 c max depth : 2816
1800.05/1800.08 c max depth (total): 2816
1800.05/1800.08 c backtracks : 341886 (12.6%)
1800.05/1800.08 c delayed cutoffs : 287805
1800.05/1800.08 c repropagations : 1276692 (14922401 domain reductions, 259830 cutoffs)
1800.05/1800.08 c avg switch length: 33.19
1800.05/1800.08 c switching time : 478.48
1800.05/1800.08 c Solution :
1800.05/1800.08 c Solutions found : 55 (53 improvements)
1800.05/1800.08 c First Solution : +1.37945000000000e+05 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.05/1800.08 c Primal Bound : +1.00000000000000e+00 (in run 1, after 2584704 nodes, 1658.30 seconds, depth 1650, found by <relaxation>)
1800.05/1800.08 c Dual Bound : +0.00000000000000e+00
1800.05/1800.08 c Gap : infinite
1800.05/1800.08 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.08 c Root Iterations : 0
1801.54/1801.56 c Time complete: 1801.6.
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693645-1277928320/watcher-2693645-1277928320 -o /tmp/evaluation-result-2693645-1277928320/solver-2693645-1277928320 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693645-1277928320.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.62 2.72 2.50 4/178 16230 /proc/meminfo: memFree=31241484/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=8404 CPUtime=0 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 1578 0 0 0 0 0 0 0 25 0 1 0 134127475 8605696 1500 4089446400 4194304 7136930 140735776658208 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16230/statm: 2101 1500 275 719 0 1380 0 [startup+0.0339051 s] /proc/loadavg: 2.62 2.72 2.50 4/178 16230 /proc/meminfo: memFree=31241484/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=16952 CPUtime=0.02 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 3734 0 0 0 2 0 0 0 25 0 1 0 134127475 17358848 3656 4089446400 4194304 7136930 140735776658208 18446744073709551615 6327083 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16230/statm: 4238 3656 275 719 0 3517 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 16952 [startup+0.100893 s] /proc/loadavg: 2.62 2.72 2.50 4/178 16230 /proc/meminfo: memFree=31241484/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=33672 CPUtime=0.09 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 7966 0 0 0 8 1 0 0 25 0 1 0 134127475 34480128 7534 4089446400 4194304 7136930 140735776658208 18446744073709551615 4241136 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 8418 7534 323 719 0 7697 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33672 [startup+0.300869 s] /proc/loadavg: 2.62 2.72 2.50 4/178 16230 /proc/meminfo: memFree=31241484/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=36492 CPUtime=0.29 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 9238 0 0 0 28 1 0 0 25 0 1 0 134127475 37367808 8292 4089446400 4194304 7136930 140735776658208 18446744073709551615 5892230 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 9123 8292 383 719 0 8402 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36492 [startup+0.700784 s] /proc/loadavg: 2.62 2.72 2.50 4/178 16230 /proc/meminfo: memFree=31241484/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=37632 CPUtime=0.69 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 9514 0 0 0 67 2 0 0 25 0 1 0 134127475 38535168 8568 4089446400 4194304 7136930 140735776658208 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 9408 8568 383 719 0 8687 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37632 [startup+1.50064 s] /proc/loadavg: 2.62 2.72 2.50 3/179 16231 /proc/meminfo: memFree=31206880/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=42092 CPUtime=1.49 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 10646 0 0 0 144 5 0 0 25 0 1 0 134127475 43102208 9700 4089446400 4194304 7136930 140735776658208 18446744073709551615 4642144 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 10523 9700 390 719 0 9802 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42092 [startup+3.10036 s] /proc/loadavg: 2.62 2.72 2.50 3/179 16231 /proc/meminfo: memFree=31203612/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=43612 CPUtime=3.09 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 11048 0 0 0 302 7 0 0 25 0 1 0 134127475 44658688 10102 4089446400 4194304 7136930 140735776658208 18446744073709551615 5892216 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 10903 10102 390 719 0 10182 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 43612 [startup+6.30079 s] /proc/loadavg: 2.57 2.71 2.50 3/179 16231 /proc/meminfo: memFree=31195676/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=54836 CPUtime=6.29 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 13821 0 0 0 614 15 0 0 25 0 1 0 134127475 56152064 12875 4089446400 4194304 7136930 140735776658208 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 13709 12875 391 719 0 12988 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 54836 [startup+12.7006 s] /proc/loadavg: 2.53 2.69 2.50 3/179 16231 /proc/meminfo: memFree=31172168/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=76412 CPUtime=12.69 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 19117 0 0 0 1243 26 0 0 25 0 1 0 134127475 78245888 18171 4089446400 4194304 7136930 140735776658208 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 19103 18171 391 719 0 18382 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 76412 [startup+25.5003 s] /proc/loadavg: 2.41 2.66 2.49 3/179 16231 /proc/meminfo: memFree=31128568/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=121988 CPUtime=25.49 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 29842 0 0 0 2503 46 0 0 25 0 1 0 134127475 124915712 28896 4089446400 4194304 7136930 140735776658208 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 30497 28896 391 719 0 29776 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 121988 [startup+51.1007 s] /proc/loadavg: 2.27 2.60 2.47 3/179 16232 /proc/meminfo: memFree=31058220/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=193800 CPUtime=51.09 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 47367 0 0 0 5015 94 0 0 25 0 1 0 134127475 198451200 46421 4089446400 4194304 7136930 140735776658208 18446744073709551615 4960420 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 48450 46421 391 719 0 47729 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 193800 [startup+102.306 s] /proc/loadavg: 2.11 2.51 2.45 3/179 16233 /proc/meminfo: memFree=30968160/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=282488 CPUtime=102.3 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 69634 0 0 0 10060 170 0 0 25 0 1 0 134127475 289267712 68688 4089446400 4194304 7136930 140735776658208 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 70622 68688 391 719 0 69901 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 282488 [startup+162.301 s] /proc/loadavg: 2.04 2.41 2.42 3/179 16235 /proc/meminfo: memFree=30845104/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=413804 CPUtime=162.29 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 101232 0 0 0 15974 255 0 0 25 0 1 0 134127475 423735296 100264 4089446400 4194304 7136930 140735776658208 18446744073709551615 5957757 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 103451 100264 391 719 0 102730 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 413804 [startup+222.301 s] /proc/loadavg: 2.13 2.37 2.40 3/179 16237 /proc/meminfo: memFree=30681128/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=588184 CPUtime=222.3 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 141463 0 0 0 21852 378 0 0 25 0 1 0 134127475 602300416 140495 4089446400 4194304 7136930 140735776658208 18446744073709551615 4644701 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 147046 140495 391 719 0 146325 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 588184 [startup+282.301 s] /proc/loadavg: 2.05 2.30 2.37 3/179 16238 /proc/meminfo: memFree=30555840/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=712100 CPUtime=282.3 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 172834 0 0 0 27720 510 0 0 25 0 1 0 134127475 729190400 171866 4089446400 4194304 7136930 140735776658208 18446744073709551615 4209110 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 178025 171866 391 719 0 177304 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 712100 [startup+342.3 s] /proc/loadavg: 2.02 2.24 2.34 3/179 16240 /proc/meminfo: memFree=30432532/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=842292 CPUtime=342.3 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 203484 0 0 0 33597 633 0 0 25 0 1 0 134127475 862507008 202516 4089446400 4194304 7136930 140735776658208 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 210573 202516 391 719 0 209852 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 842292 [startup+402.3 s] /proc/loadavg: 2.00 2.19 2.32 3/179 16241 /proc/meminfo: memFree=30329920/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=945400 CPUtime=402.3 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 229536 0 0 0 39504 726 0 0 25 0 1 0 134127475 968089600 228568 4089446400 4194304 7136930 140735776658208 18446744073709551615 4208866 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 236350 228568 391 719 0 235629 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 945400 [startup+462.3 s] /proc/loadavg: 2.00 2.16 2.30 3/179 16243 /proc/meminfo: memFree=30245052/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=1026800 CPUtime=462.3 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 249913 0 0 0 45423 807 0 0 25 0 1 0 134127475 1051443200 248945 4089446400 4194304 7136930 140735776658208 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 256700 248945 391 719 0 255979 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 1026800 [startup+522.301 s] /proc/loadavg: 2.00 2.13 2.27 3/179 16245 /proc/meminfo: memFree=30173836/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=1097268 CPUtime=522.31 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 267698 0 0 0 51345 886 0 0 25 0 1 0 134127475 1123602432 266730 4089446400 4194304 7136930 140735776658208 18446744073709551615 4923914 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 274317 266730 391 719 0 273596 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 1097268 [startup+582.301 s] /proc/loadavg: 2.00 2.10 2.26 3/179 16246 /proc/meminfo: memFree=30111048/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=1160632 CPUtime=582.31 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 283601 0 0 0 57281 950 0 0 25 0 1 0 134127475 1188487168 282633 4089446400 4194304 7136930 140735776658208 18446744073709551615 4220848 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 290158 282633 391 719 0 289437 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1160632 [startup+642.301 s] /proc/loadavg: 2.00 2.08 2.24 3/179 16248 /proc/meminfo: memFree=30056936/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=1213524 CPUtime=642.31 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 296858 0 0 0 63218 1013 0 0 25 0 1 0 134127475 1242648576 295890 4089446400 4194304 7136930 140735776658208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 303381 295890 391 719 0 302660 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1213524 [startup+702.301 s] ################ # More data... # ################ [startup+1062.3 s] /proc/loadavg: 2.00 2.01 2.14 3/179 16307 /proc/meminfo: memFree=28752268/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=1747780 CPUtime=1062.32 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 430984 0 0 0 104593 1639 0 0 25 0 1 0 134127475 1789726720 430016 4089446400 4194304 7136930 140735776658208 18446744073709551615 5507410 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 436945 430016 391 719 0 436224 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1747780 [startup+1122.3 s] /proc/loadavg: 2.08 2.02 2.13 3/179 16309 /proc/meminfo: memFree=28548104/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=1870548 CPUtime=1122.32 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 457486 0 0 0 110487 1745 0 0 25 0 1 0 134127475 1915441152 456518 4089446400 4194304 7136930 140735776658208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 467637 456518 391 719 0 466916 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1870548 [startup+1182.3 s] /proc/loadavg: 2.03 2.02 2.12 3/179 16310 /proc/meminfo: memFree=28372216/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=1952116 CPUtime=1182.32 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 477975 0 0 0 116386 1846 0 0 25 0 1 0 134127475 1998966784 477007 4089446400 4194304 7136930 140735776658208 18446744073709551615 6166159 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 488029 477007 391 719 0 487308 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1952116 [startup+1242.3 s] /proc/loadavg: 2.01 2.01 2.11 3/179 16312 /proc/meminfo: memFree=28215932/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=2043120 CPUtime=1242.33 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 500760 0 0 0 122277 1956 0 0 25 0 1 0 134127475 2092154880 499792 4089446400 4194304 7136930 140735776658208 18446744073709551615 4979869 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 510780 499792 391 719 0 510059 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 2043120 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.10 3/179 16313 /proc/meminfo: memFree=28072640/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=2122020 CPUtime=1302.34 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 520783 0 0 0 128182 2052 0 0 25 0 1 0 134127475 2172948480 519815 4089446400 4194304 7136930 140735776658208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 530505 519815 391 719 0 529784 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 2122020 [startup+1362.3 s] /proc/loadavg: 2.04 2.01 2.09 3/179 16315 /proc/meminfo: memFree=27939412/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=2211964 CPUtime=1362.33 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 543542 0 0 0 134080 2153 0 0 25 0 1 0 134127475 2265051136 542574 4089446400 4194304 7136930 140735776658208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 552991 542574 391 719 0 552270 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 2211964 [startup+1422.31 s] /proc/loadavg: 2.01 2.01 2.08 3/179 16317 /proc/meminfo: memFree=27811896/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=2315856 CPUtime=1422.34 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 569794 0 0 0 139964 2270 0 0 25 0 1 0 134127475 2371436544 568826 4089446400 4194304 7136930 140735776658208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 578964 568826 391 719 0 578243 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 2315856 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.08 3/179 16318 /proc/meminfo: memFree=27627820/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=2389736 CPUtime=1482.34 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 588408 0 0 0 145871 2363 0 0 25 0 1 0 134127475 2447089664 587440 4089446400 4194304 7136930 140735776658208 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 597434 587440 391 719 0 596713 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 2389736 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.07 3/179 16320 /proc/meminfo: memFree=27447216/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=2476496 CPUtime=1542.33 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 610315 0 0 0 151767 2466 0 0 25 0 1 0 134127475 2535931904 609347 4089446400 4194304 7136930 140735776658208 18446744073709551615 4661569 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 619124 609347 391 719 0 618403 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 2476496 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.07 3/179 16324 /proc/meminfo: memFree=27272416/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=2561328 CPUtime=1602.33 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 631796 0 0 0 157670 2563 0 0 25 0 1 0 134127475 2622799872 630828 4089446400 4194304 7136930 140735776658208 18446744073709551615 4704624 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 640332 630828 391 719 0 639611 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2561328 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.06 3/179 16326 /proc/meminfo: memFree=27083080/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=2649872 CPUtime=1662.34 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 654006 0 0 0 163575 2659 0 0 25 0 1 0 134127475 2713468928 653038 4089446400 4194304 7136930 140735776658208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 662468 653038 391 719 0 661747 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 2649872 [startup+1722.3 s] /proc/loadavg: 2.04 2.01 2.06 3/179 16328 /proc/meminfo: memFree=26964248/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=2675328 CPUtime=1722.34 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 660510 0 0 0 169497 2737 0 0 25 0 1 0 134127475 2739535872 659413 4089446400 4194304 7136930 140735776658208 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 668832 659413 391 719 0 668111 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 2675328 [startup+1782.3 s] /proc/loadavg: 2.01 2.01 2.05 3/179 16329 /proc/meminfo: memFree=26912112/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=2675328 CPUtime=1782.34 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 660512 0 0 0 175429 2805 0 0 25 0 1 0 134127475 2739535872 659415 4089446400 4194304 7136930 140735776658208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 668832 659415 391 719 0 668111 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 2675328 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.00 2.05 3/179 16330 /proc/meminfo: memFree=26874644/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=2675480 CPUtime=1800.05 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 660517 0 0 0 177181 2824 0 0 25 0 1 0 134127475 2739691520 659420 4089446400 4194304 7136930 140735776658208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16230/statm: 668870 659420 391 719 0 668149 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 2675480 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.01 2.00 2.05 3/180 16331 /proc/meminfo: memFree=26875380/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=2674452 CPUtime=1800.65 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 660536 0 0 0 177241 2824 0 0 18 0 1 0 134127475 2738638848 659182 4089446400 4194304 7136930 140735776658208 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16230/statm: 668613 659182 397 719 0 667892 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (KiB) 2674452 [startup+1801 s] /proc/loadavg: 2.01 2.00 2.05 3/180 16331 /proc/meminfo: memFree=26875380/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=2666248 CPUtime=1801.05 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 660536 0 0 0 177281 2824 0 0 19 0 1 0 134127475 2730237952 657133 4089446400 4194304 7136930 140735776658208 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16230/statm: 666562 657133 397 719 0 665841 0 Current children cumulated CPU time (s) 1801.05 Current children cumulated vsize (KiB) 2666248 [startup+1801.4 s] /proc/loadavg: 2.01 2.00 2.05 3/180 16331 /proc/meminfo: memFree=26875380/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=2244216 CPUtime=1801.45 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 660536 0 0 0 177320 2825 0 0 19 0 1 0 134127475 2298077184 551752 4089446400 4194304 7136930 140735776658208 18446744073709551615 6166209 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16230/statm: 561054 551752 397 719 0 560333 0 Current children cumulated CPU time (s) 1801.45 Current children cumulated vsize (KiB) 2244216 [startup+1801.5 s] /proc/loadavg: 2.01 2.00 2.05 3/180 16331 /proc/meminfo: memFree=26875380/32951124 swapFree=67111528/67111528 [pid=16230] ppid=16228 vsize=1247196 CPUtime=1801.54 /proc/16230/stat : 16230 (pbscip.linux.x8) R 16228 16230 15994 0 -1 4202496 660569 0 0 0 177325 2829 0 0 19 0 1 0 134127475 1277128704 302385 4089446400 4194304 7136930 140735776658208 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16230/statm: 311381 302176 397 719 0 310660 0 Current children cumulated CPU time (s) 1801.54 Current children cumulated vsize (KiB) 1247196 Child status: 0 Real time (s): 1801.56 CPU time (s): 1801.61 CPU user time (s): 1773.27 CPU system time (s): 28.3447 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2675844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1773.27 system time used= 28.3447 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 660576 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 3293 runsolver used 2.75958 second user time and 6.47302 second system time The end
Begin job on node137 at 2010-06-30 22:05:20 IDJOB=2693645 IDBENCH=79287 IDSOLVER=1206 FILE ID=node137/2693645-1277928320 PBS_JOBID= 11197394 Free space on /tmp= 74208 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.1900561288--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-2693645-1277928320/watcher-2693645-1277928320 -o /tmp/evaluation-result-2693645-1277928320/solver-2693645-1277928320 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693645-1277928320.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6ba4b4283c00d7202a0c09683aff0663 RANDOM SEED=1755292592 node137.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.876 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.75 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.876 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.876 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.74 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.876 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.876 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.75 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.876 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.83 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.876 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31242260 kB Buffers: 215360 kB Cached: 1263544 kB SwapCached: 0 kB Active: 633640 kB Inactive: 931488 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31242260 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3140 kB Writeback: 0 kB AnonPages: 86736 kB Mapped: 15444 kB Slab: 81056 kB PageTables: 4812 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 230752 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= 74204 MiB End job on node137 at 2010-06-30 22:35:22