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.08 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670234--soft-33-100-0.wbo |
| MD5SUM | 74a38f74cac3b14e8d36cdbf48853bbd |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 525.533 |
| 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 | 1830 |
| 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 | 92327 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 92326 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 641 |
| 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-2694042-1277902140.wbo>
0.00/0.03 c original problem has 3891 variables (2061 bin, 0 int, 0 impl, 1830 cont) and 4538 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.00/0.05 c presolving:
0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1960 impls, 7 clqs
0.05/0.09 c (round 2) 0 del vars, 63 del conss, 1830 chg bounds, 48 chg sides, 0 chg coeffs, 0 upgd conss, 1960 impls, 7 clqs
0.05/0.09 c (round 3) 48 del vars, 129 del conss, 1841 chg bounds, 66 chg sides, 0 chg coeffs, 0 upgd conss, 1960 impls, 7 clqs
0.09/0.11 c (round 4) 107 del vars, 140 del conss, 1841 chg bounds, 66 chg sides, 0 chg coeffs, 856 upgd conss, 1960 impls, 7 clqs
0.09/0.12 c (round 5) 118 del vars, 140 del conss, 1841 chg bounds, 66 chg sides, 0 chg coeffs, 856 upgd conss, 1960 impls, 7 clqs
0.09/0.16 c (0.1s) probing: 101/2002 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16 c presolving (6 rounds):
0.09/0.16 c 118 deleted vars, 140 deleted constraints, 1841 tightened bounds, 0 added holes, 66 changed sides, 0 changed coefficients
0.09/0.16 c 1960 implications, 7 cliques
0.09/0.16 c presolved problem has 3773 variables (2002 bin, 0 int, 0 impl, 1771 cont) and 4398 constraints
0.09/0.16 c 1771 constraints of type <indicator>
0.09/0.16 c 7 constraints of type <setppc>
0.09/0.16 c 1771 constraints of type <linear>
0.09/0.16 c 849 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.12
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1799.98
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 3420
0.09/0.16 c
0.09/0.16 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.16 c lp/solvefreq = -1
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.17 c
0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.17 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3773 |4398 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.39/1.45 o 1059
1.39/1.45 c * 1.4s| 5033 | 4558 | 0 | 0.0 | 16M|1936 | - |3773 |5094 | 0 | 0 | 0 |1298 | 0 | 0.000000e+00 | 1.059000e+03 | Inf
1.49/1.53 o 1058
1.49/1.53 c * 1.4s| 5242 | 4763 | 0 | 0.0 | 16M|1936 | - |3773 |5097 | 0 | 0 | 0 |1308 | 0 | 0.000000e+00 | 1.058000e+03 | Inf
1.99/2.04 o 474
1.99/2.04 c * 2.0s| 7111 | 5984 | 0 | 0.0 | 17M|1936 | - |3773 |5012 | 0 | 0 | 0 |1310 | 0 | 0.000000e+00 | 4.740000e+02 | Inf
1.99/2.10 o 471
1.99/2.10 c * 2.0s| 7341 | 6201 | 0 | 0.0 | 17M|1936 | - |3773 |5014 | 0 | 0 | 0 |1335 | 0 | 0.000000e+00 | 4.710000e+02 | Inf
2.69/2.77 c 2.7s| 10000 | 8564 | 0 | 0.0 | 19M|1936 | - |3773 |5422 | 0 | 0 | 0 |2699 | 0 | 0.000000e+00 | 4.710000e+02 | Inf
5.79/5.86 c 5.6s| 20000 | 16643 | 0 | 0.0 | 28M|1936 | - |3773 |6388 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 4.710000e+02 | Inf
10.09/10.14 c 9.8s| 30000 | 23134 | 0 | 0.0 | 38M|1936 | - |3773 |7700 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 4.710000e+02 | Inf
11.00/11.03 o 462
11.00/11.03 c *10.7s| 31539 | 23896 | 0 | 0.0 | 40M|1936 | - |3773 |7792 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 4.620000e+02 | Inf
11.29/11.31 o 456
11.29/11.31 c *10.9s| 32277 | 24608 | 0 | 0.0 | 40M|1936 | - |3773 |7503 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 4.560000e+02 | Inf
11.29/11.31 o 363
11.29/11.31 c *10.9s| 32278 | 24386 | 0 | 0.0 | 40M|1936 | - |3773 |7503 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 3.630000e+02 | Inf
11.49/11.54 o 335
11.49/11.54 c *11.2s| 32814 | 24882 | 0 | 0.0 | 40M|1936 | - |3773 |7256 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 3.350000e+02 | Inf
11.59/11.60 o 321
11.59/11.60 c *11.2s| 32950 | 24903 | 0 | 0.0 | 40M|1936 | - |3773 |7192 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 3.210000e+02 | Inf
11.79/11.81 o 300
11.79/11.81 c *11.4s| 33443 | 24746 | 0 | 0.0 | 40M|1936 | - |3773 |7038 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 3.000000e+02 | Inf
11.89/11.92 o 298
11.89/11.92 c *11.5s| 33717 | 25009 | 0 | 0.0 | 40M|1936 | - |3773 |7014 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 2.980000e+02 | Inf
11.89/11.92 o 271
11.89/11.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.89/11.92 c *11.5s| 33718 | 24931 | 0 | 0.0 | 40M|1936 | - |3773 |7014 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 2.710000e+02 | Inf
11.89/11.99 o 260
11.89/11.99 c *11.6s| 33855 | 24973 | 0 | 0.0 | 40M|1936 | - |3773 |6981 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
11.89/11.99 o 253
11.89/11.99 c *11.6s| 33856 | 24936 | 0 | 0.0 | 40M|1936 | - |3773 |6981 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 2.530000e+02 | Inf
12.19/12.25 o 241
12.19/12.25 c *11.8s| 34477 | 25523 | 0 | 0.0 | 41M|1936 | - |3773 |6888 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 2.410000e+02 | Inf
12.19/12.25 o 201
12.19/12.25 c *11.8s| 34478 | 25055 | 0 | 0.0 | 41M|1936 | - |3773 |6888 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
12.59/12.63 o 184
12.59/12.63 c *12.2s| 35329 | 25599 | 0 | 0.0 | 41M|1936 | - |3773 |6902 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
13.10/13.14 o 178
13.10/13.14 c *12.7s| 36372 | 26540 | 0 | 0.0 | 43M|1936 | - |3773 |6950 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
13.10/13.14 o 162
13.10/13.14 c *12.7s| 36373 | 26359 | 0 | 0.0 | 43M|1936 | - |3773 |6950 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.620000e+02 | Inf
13.59/13.67 o 160
13.59/13.67 c *13.2s| 37544 | 27445 | 0 | 0.0 | 44M|1936 | - |3773 |6622 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
13.89/13.97 o 151
13.89/13.97 c *13.5s| 38202 | 27948 | 0 | 0.0 | 44M|1936 | - |3773 |6525 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.510000e+02 | Inf
14.19/14.26 o 146
14.19/14.26 c *13.8s| 38805 | 28282 | 0 | 0.0 | 45M|1936 | - |3773 |6490 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.460000e+02 | Inf
14.49/14.51 o 140
14.49/14.51 c *14.0s| 39254 | 28580 | 0 | 0.0 | 46M|1936 | - |3773 |6492 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
14.79/14.84 c 14.4s| 40000 | 29288 | 0 | 0.0 | 47M|1936 | - |3773 |6261 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
14.89/14.90 o 136
14.89/14.90 c *14.4s| 40138 | 29269 | 0 | 0.0 | 47M|1936 | - |3773 |6266 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.360000e+02 | Inf
14.99/15.01 o 121
14.99/15.01 c *14.5s| 40410 | 29202 | 0 | 0.0 | 46M|1936 | - |3773 |6239 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.210000e+02 | Inf
15.29/15.32 o 113
15.29/15.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.29/15.32 c *14.8s| 41051 | 29587 | 0 | 0.0 | 46M|1936 | - |3773 |6213 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.130000e+02 | Inf
15.29/15.40 o 101
15.29/15.40 c *14.9s| 41211 | 29499 | 0 | 0.0 | 46M|1936 | - |3773 |6232 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
15.49/15.51 o 86
15.49/15.51 c *15.0s| 41452 | 28945 | 0 | 0.0 | 46M|1936 | - |3773 |6257 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 8.600000e+01 | Inf
15.49/15.53 o 77
15.49/15.53 c *15.0s| 41482 | 28094 | 0 | 0.0 | 45M|1936 | - |3773 |6250 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
15.59/15.61 o 72
15.59/15.61 c *15.1s| 41657 | 27895 | 0 | 0.0 | 45M|1936 | - |3773 |6227 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
18.10/18.10 o 57
18.10/18.10 c *17.5s| 47328 | 30989 | 0 | 0.0 | 49M|1936 | - |3773 |5735 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
18.10/18.10 o 50
18.10/18.10 c *17.5s| 47329 | 30833 | 0 | 0.0 | 49M|1936 | - |3773 |5735 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
19.19/19.24 c 18.6s| 50000 | 33167 | 0 | 0.0 | 52M|1936 | - |3773 |5551 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
20.99/21.07 o 46
20.99/21.07 c *20.4s| 55072 | 37479 | 0 | 0.0 | 56M|1936 | - |3773 |5694 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
21.19/21.21 o 22
21.19/21.21 c *20.5s| 55414 | 35853 | 0 | 0.0 | 54M|1936 | - |3773 |5784 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
22.69/22.76 c 22.0s| 60000 | 39627 | 0 | 0.0 | 58M|1936 | - |3773 |6090 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
25.99/26.06 c 25.2s| 70000 | 47909 | 0 | 0.0 | 67M|1936 | - |3773 |5879 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
29.50/29.55 c 28.6s| 80000 | 55876 | 0 | 0.0 | 75M|1936 | - |3773 |6282 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
33.20/33.26 c 32.2s| 90000 | 63544 | 0 | 0.0 | 83M|1936 | - |3773 |6712 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
37.09/37.10 c 35.9s|100000 | 71065 | 0 | 0.0 | 92M|1936 | - |3773 |7142 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
41.00/41.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.00/41.00 c 39.7s|110000 | 78458 | 0 | 0.0 | 100M|1936 | - |3773 |7297 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
45.10/45.12 c 43.7s|120000 | 85561 | 0 | 0.0 | 109M|1936 | - |3773 |7698 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
49.50/49.55 c 48.0s|130000 | 92339 | 0 | 0.0 | 117M|1936 | - |3773 |8183 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
54.19/54.21 c 52.5s|140000 | 98841 | 0 | 0.0 | 126M|1936 | - |3773 |8611 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
59.09/59.16 c 57.3s|150000 |105084 | 0 | 0.0 | 135M|1936 | - |3773 |8912 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
64.39/64.47 c 62.5s|160000 |110964 | 0 | 0.0 | 144M|1936 | - |3773 |9071 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
70.00/70.06 c 68.0s|170000 |116516 | 0 | 0.0 | 153M|1936 | - |3773 |9692 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
75.99/76.08 c 73.9s|180000 |121660 | 0 | 0.0 | 162M|1936 | - |3773 |9926 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
82.19/82.28 c 80.0s|190000 |126618 | 0 | 0.0 | 171M|1936 | - |3773 | 10k| 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
89.80/89.86 c 87.4s|200000 |126696 | 0 | 0.0 | 174M|1936 | - |3773 |9791 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
93.69/93.78 c 91.2s|210000 |135227 | 0 | 0.0 | 182M|1936 | - |3773 |5656 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
94.19/94.25 o 19
94.19/94.25 c *91.7s|211043 |135777 | 0 | 0.0 | 182M|1936 | - |3773 |5754 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
99.60/99.67 c 96.9s|220000 |141452 | 0 | 0.0 | 194M|1936 | - |3773 |8239 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
104.10/104.19 c 101s|230000 |149210 | 0 | 0.0 | 203M|1936 | - |3773 |6525 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
109.40/109.43 c 106s|240000 |156081 | 0 | 0.0 | 214M|1936 | - |3773 |6681 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
109.70/109.78 o 18
109.70/109.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.70/109.78 c * 107s|240909 |155138 | 0 | 0.0 | 211M|1936 | - |3773 |6617 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
113.79/113.81 c 111s|250000 |162022 | 0 | 0.0 | 219M|1936 | - |3773 |8445 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
118.39/118.42 c 115s|260000 |169292 | 0 | 0.0 | 227M|1936 | - |3773 |7722 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
123.59/123.65 c 120s|270000 |176001 | 0 | 0.0 | 236M|1936 | - |3773 |7690 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
128.19/128.23 c 125s|280000 |183395 | 0 | 0.0 | 246M|1936 | - |3773 |9741 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
130.70/130.75 o 15
130.70/130.75 c * 127s|285003 |186286 | 0 | 0.0 | 247M|1936 | - |3773 |8168 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
133.00/133.00 c 129s|290000 |190137 | 0 | 0.0 | 252M|1936 | - |3773 |8795 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
138.19/138.22 c 134s|300000 |196829 | 0 | 0.0 | 261M|1936 | - |3773 |8849 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
142.59/142.62 c 139s|310000 |204321 | 0 | 0.0 | 271M|1936 | - |3773 | 11k| 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
147.19/147.30 c 143s|320000 |211686 | 0 | 0.0 | 280M|1936 | - |3773 | 10k| 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
151.19/151.20 o 12
151.19/151.20 c * 147s|326858 |215022 | 0 | 0.0 | 283M|1936 | - |3773 | 13k| 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
152.50/152.54 c 148s|330000 |217563 | 0 | 0.0 | 285M|1936 | - |3773 | 10k| 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
156.70/156.78 c 152s|340000 |225239 | 0 | 0.0 | 294M|1936 | - |3773 | 12k| 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
161.80/161.82 c 157s|350000 |232744 | 0 | 0.0 | 310M|1936 | - |3773 | 11k| 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
166.50/166.54 c 162s|360000 |240724 | 0 | 0.0 | 334M|1936 | - |3773 | 12k| 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
172.70/172.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.70/172.77 c 168s|370000 |246213 | 0 | 0.0 | 346M|1936 | - |3773 | 12k| 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
176.39/176.46 c 172s|380000 |254171 | 0 | 0.0 | 352M|1936 | - |3773 | 10k| 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
180.80/180.85 c 176s|390000 |261215 | 0 | 0.0 | 360M|1936 | - |3773 |9541 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
185.50/185.54 c 180s|400000 |267946 | 0 | 0.0 | 368M|1936 | - |3773 |9760 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
189.10/189.14 c 184s|410000 |275987 | 0 | 0.0 | 376M|1936 | - |3773 |9837 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
194.00/194.01 c 189s|420000 |282591 | 0 | 0.0 | 385M|1936 | - |3773 | 11k| 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
197.90/197.91 c 192s|430000 |290285 | 0 | 0.0 | 392M|1936 | - |3773 |9377 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
201.59/201.68 c 196s|440000 |298070 | 0 | 0.0 | 400M|1936 | - |3773 | 10k| 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
206.60/206.64 c 201s|450000 |304464 | 0 | 0.0 | 407M|1936 | - |3773 |8164 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
209.90/209.99 c 204s|460000 |312823 | 0 | 0.0 | 414M|1936 | - |3773 |4896 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
213.00/213.07 c 207s|470000 |321220 | 0 | 0.0 | 421M|1936 | - |3773 |4793 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
216.30/216.35 c 210s|480000 |329264 | 0 | 0.0 | 429M|1936 | - |3773 |5091 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
220.30/220.39 c 214s|490000 |336272 | 0 | 0.0 | 437M|1936 | - |3773 |6116 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
224.60/224.67 c 218s|500000 |343097 | 0 | 0.0 | 446M|1936 | - |3773 |6782 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
228.99/229.02 c 222s|510000 |349791 | 0 | 0.0 | 455M|1936 | - |3773 |7535 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
233.70/233.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
233.70/233.71 c 227s|520000 |356262 | 0 | 0.0 | 463M|1936 | - |3773 |7429 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
238.60/238.62 c 232s|530000 |362465 | 0 | 0.0 | 472M|1936 | - |3773 |7959 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
243.59/243.69 c 237s|540000 |368414 | 0 | 0.0 | 481M|1936 | - |3773 |8322 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
248.89/248.92 c 242s|550000 |374285 | 0 | 0.0 | 489M|1936 | - |3773 |8822 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
254.10/254.17 c 247s|560000 |380140 | 0 | 0.0 | 498M|1936 | - |3773 |8873 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
259.60/259.65 c 252s|570000 |385730 | 0 | 0.0 | 507M|1936 | - |3773 |9604 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
265.60/265.61 c 258s|580000 |390886 | 0 | 0.0 | 515M|1936 | - |3773 |9961 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
271.61/271.62 c 264s|590000 |395935 | 0 | 0.0 | 523M|1936 | - |3773 | 10k| 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
277.79/277.87 c 270s|600000 |400624 | 0 | 0.0 | 532M|1936 | - |3773 | 10k| 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
284.20/284.21 c 276s|610000 |405307 | 0 | 0.0 | 540M|1936 | - |3773 | 10k| 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
290.60/290.60 c 283s|620000 |409929 | 0 | 0.0 | 548M|1936 | - |3773 | 11k| 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
297.50/297.52 c 289s|630000 |414030 | 0 | 0.0 | 556M|1936 | - |3773 | 12k| 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
304.90/304.96 c 297s|640000 |417588 | 0 | 0.0 | 564M|1936 | - |3773 | 12k| 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
312.60/312.64 c 304s|650000 |420835 | 0 | 0.0 | 572M|1936 | - |3773 | 12k| 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
320.40/320.44 c 312s|660000 |424003 | 0 | 0.0 | 580M|1936 | - |3773 | 12k| 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
328.50/328.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
328.50/328.50 c 320s|670000 |426852 | 0 | 0.0 | 588M|1936 | - |3773 | 11k| 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
336.70/336.74 c 328s|680000 |429426 | 0 | 0.0 | 595M|1936 | - |3773 | 12k| 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
345.60/345.67 c 337s|690000 |431316 | 0 | 0.0 | 602M|1936 | - |3773 | 13k| 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
354.80/354.87 c 346s|700000 |432804 | 0 | 0.0 | 609M|1936 | - |3773 | 13k| 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
365.00/365.04 c 356s|710000 |433123 | 0 | 0.0 | 614M|1936 | - |3773 | 13k| 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
375.20/375.24 c 366s|720000 |433252 | 0 | 0.0 | 620M|1936 | - |3773 | 14k| 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
385.70/385.71 c 376s|730000 |432851 | 0 | 0.0 | 625M|1936 | - |3773 | 13k| 0 | 0 | 0 | 537k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
397.01/397.01 c 387s|740000 |431268 | 0 | 0.0 | 627M|1936 | - |3773 | 14k| 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
409.11/409.16 c 399s|750000 |428326 | 0 | 0.0 | 628M|1936 | - |3773 | 15k| 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
422.60/422.65 c 412s|760000 |423749 | 0 | 0.0 | 626M|1936 | - |3773 | 16k| 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
438.61/438.63 c 428s|770000 |417312 | 0 | 0.0 | 621M|1936 | - |3773 | 17k| 0 | 0 | 0 | 604k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
451.40/451.41 c 441s|780000 |417612 | 0 | 0.0 | 615M|1936 | - |3773 |5609 | 0 | 0 | 0 | 618k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
455.40/455.43 c 445s|790000 |425294 | 0 | 0.0 | 624M|1936 | - |3773 |4841 | 0 | 0 | 0 | 621k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
459.71/459.72 c 449s|800000 |432712 | 0 | 0.0 | 633M|1936 | - |3773 |5194 | 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
464.10/464.14 c 453s|810000 |439909 | 0 | 0.0 | 643M|1936 | - |3773 |5476 | 0 | 0 | 0 | 629k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
469.00/469.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
469.00/469.00 c 458s|820000 |446684 | 0 | 0.0 | 654M|1936 | - |3773 |5924 | 0 | 0 | 0 | 634k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
471.01/471.03 o 9
471.01/471.03 c * 460s|824047 |448095 | 0 | 0.0 | 654M|1936 | - |3773 |6049 | 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
474.50/474.51 c 463s|830000 |451927 | 0 | 0.0 | 663M|1936 | - |3773 |6404 | 0 | 0 | 0 | 640k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
480.30/480.32 c 469s|840000 |457928 | 0 | 0.0 | 675M|1936 | - |3773 |7222 | 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
486.41/486.46 c 475s|850000 |463508 | 0 | 0.0 | 686M|1936 | - |3773 |7875 | 0 | 0 | 0 | 653k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
493.10/493.16 c 481s|860000 |468503 | 0 | 0.0 | 698M|1936 | - |3773 |8703 | 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
501.00/501.00 c 489s|870000 |472526 | 0 | 0.0 | 708M|1936 | - |3773 |9930 | 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
505.10/505.19 o 7
505.10/505.19 c * 493s|874631 |472095 | 0 | 0.0 | 706M|1936 | - |3773 | 10k| 0 | 0 | 0 | 678k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
511.00/511.07 c 499s|880000 |473243 | 0 | 0.0 | 711M|1936 | - |3773 |7268 | 0 | 0 | 0 | 685k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
518.00/518.02 c 506s|890000 |477394 | 0 | 0.0 | 717M|1936 | - |3773 |4551 | 0 | 0 | 0 | 694k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
521.91/521.95 c 509s|900000 |484930 | 0 | 0.0 | 725M|1936 | - |3773 |5054 | 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
526.21/526.21 c 513s|910000 |492017 | 0 | 0.0 | 735M|1936 | - |3773 |5796 | 0 | 0 | 0 | 702k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
530.91/530.95 c 518s|920000 |498609 | 0 | 0.0 | 744M|1936 | - |3773 |6610 | 0 | 0 | 0 | 708k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
536.21/536.28 c 523s|930000 |504651 | 0 | 0.0 | 753M|1936 | - |3773 |6973 | 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
542.21/542.22 c 529s|940000 |510000 | 0 | 0.0 | 763M|1936 | - |3773 |8073 | 0 | 0 | 0 | 721k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
548.80/548.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
548.80/548.88 c 535s|950000 |514615 | 0 | 0.0 | 772M|1936 | - |3773 |8984 | 0 | 0 | 0 | 730k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
556.30/556.35 c 543s|960000 |518516 | 0 | 0.0 | 781M|1936 | - |3773 |9572 | 0 | 0 | 0 | 740k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
565.31/565.38 c 552s|970000 |520719 | 0 | 0.0 | 788M|1936 | - |3773 | 12k| 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
569.50/569.53 c 556s|980000 |528178 | 0 | 0.0 | 794M|1936 | - |3773 |5101 | 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
573.21/573.28 c 559s|990000 |535867 | 0 | 0.0 | 802M|1936 | - |3773 |5777 | 0 | 0 | 0 | 760k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
577.51/577.52 c 563s| 1000k|543051 | 0 | 0.0 | 811M|1936 | - |3773 |6658 | 0 | 0 | 0 | 765k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
581.91/581.95 c 568s| 1010k|550061 | 0 | 0.0 | 820M|1936 | - |3773 |7310 | 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
586.51/586.51 c 572s| 1020k|556843 | 0 | 0.0 | 828M|1936 | - |3773 |7940 | 0 | 0 | 0 | 775k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
591.50/591.59 c 577s| 1030k|563249 | 0 | 0.0 | 837M|1936 | - |3773 |8809 | 0 | 0 | 0 | 781k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
598.01/598.03 c 583s| 1040k|568304 | 0 | 0.0 | 846M|1936 | - |3773 | 10k| 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
605.91/605.91 c 591s| 1050k|572151 | 0 | 0.0 | 855M|1936 | - |3773 | 13k| 0 | 0 | 0 | 799k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
607.90/607.93 o 4
607.90/607.93 c * 593s| 1052k|567426 | 0 | 0.0 | 841M|1936 | - |3773 | 13k| 0 | 0 | 0 | 802k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
614.81/614.82 c 600s| 1060k|570509 | 0 | 0.0 | 846M|1936 | - |3773 |8451 | 0 | 0 | 0 | 810k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
619.32/619.35 c 604s| 1070k|577469 | 0 | 0.0 | 852M|1936 | - |3773 |6569 | 0 | 0 | 0 | 815k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
623.21/623.28 c 608s| 1080k|584842 | 0 | 0.0 | 860M|1936 | - |3773 |7085 | 0 | 0 | 0 | 819k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
627.41/627.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
627.41/627.41 c 612s| 1090k|591996 | 0 | 0.0 | 867M|1936 | - |3773 |7617 | 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
631.71/631.71 c 616s| 1100k|599023 | 0 | 0.0 | 875M|1936 | - |3773 |8166 | 0 | 0 | 0 | 829k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
636.20/636.23 c 620s| 1110k|605835 | 0 | 0.0 | 882M|1936 | - |3773 |8888 | 0 | 0 | 0 | 834k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
641.70/641.74 c 626s| 1120k|611712 | 0 | 0.0 | 891M|1936 | - |3773 |9587 | 0 | 0 | 0 | 842k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
648.50/648.56 c 632s| 1130k|616388 | 0 | 0.0 | 900M|1936 | - |3773 | 11k| 0 | 0 | 0 | 851k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
656.81/656.80 c 641s| 1140k|619949 | 0 | 0.0 | 908M|1936 | - |3773 | 13k| 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
666.20/666.23 c 650s| 1150k|622754 | 0 | 0.0 | 912M|1936 | - |3773 |8702 | 0 | 0 | 0 | 876k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
670.01/670.05 c 654s| 1160k|630599 | 0 | 0.0 | 920M|1936 | - |3773 |7366 | 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
673.91/673.90 c 657s| 1170k|638269 | 0 | 0.0 | 928M|1936 | - |3773 |7965 | 0 | 0 | 0 | 884k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
677.91/677.93 c 661s| 1180k|645785 | 0 | 0.0 | 936M|1936 | - |3773 |8547 | 0 | 0 | 0 | 888k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
682.11/682.12 c 665s| 1190k|653127 | 0 | 0.0 | 944M|1936 | - |3773 |9223 | 0 | 0 | 0 | 893k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
686.51/686.57 c 670s| 1200k|660220 | 0 | 0.0 | 952M|1936 | - |3773 |9747 | 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
692.01/692.08 c 675s| 1210k|666305 | 0 | 0.0 | 960M|1936 | - |3773 | 10k| 0 | 0 | 0 | 905k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
698.51/698.60 c 681s| 1220k|671494 | 0 | 0.0 | 969M|1936 | - |3773 | 12k| 0 | 0 | 0 | 914k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
706.41/706.44 c 689s| 1230k|675645 | 0 | 0.0 | 977M|1936 | - |3773 | 14k| 0 | 0 | 0 | 924k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
715.30/715.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
715.30/715.37 c 698s| 1240k|678929 | 0 | 0.0 | 983M|1936 | - |3773 |9873 | 0 | 0 | 0 | 936k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
719.61/719.67 c 702s| 1250k|686169 | 0 | 0.0 | 989M|1936 | - |3773 |6864 | 0 | 0 | 0 | 941k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
723.61/723.61 c 706s| 1260k|693621 | 0 | 0.0 | 997M|1936 | - |3773 |7480 | 0 | 0 | 0 | 945k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
727.81/727.87 c 710s| 1270k|700746 | 0 | 0.0 |1006M|1936 | - |3773 |8313 | 0 | 0 | 0 | 950k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
732.71/732.77 c 715s| 1280k|707283 | 0 | 0.0 |1015M|1936 | - |3773 |9509 | 0 | 0 | 0 | 956k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
738.41/738.45 c 720s| 1290k|713179 | 0 | 0.0 |1025M|1936 | - |3773 | 10k| 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
744.91/744.99 c 726s| 1300k|718291 | 0 | 0.0 |1034M|1936 | - |3773 | 12k| 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
752.70/752.72 c 734s| 1310k|722499 | 0 | 0.0 |1042M|1936 | - |3773 | 13k| 0 | 0 | 0 | 983k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
762.51/762.59 c 744s| 1320k|725068 | 0 | 0.0 |1050M|1936 | - |3773 | 16k| 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
769.51/769.56 c 751s| 1330k|730476 | 0 | 0.0 |1054M|1936 | - |3773 |7729 | 0 | 0 | 0 |1004k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
773.51/773.57 c 754s| 1340k|738153 | 0 | 0.0 |1062M|1936 | - |3773 |8285 | 0 | 0 | 0 |1009k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
777.62/777.70 c 758s| 1350k|745666 | 0 | 0.0 |1071M|1936 | - |3773 |9173 | 0 | 0 | 0 |1013k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
782.12/782.12 c 763s| 1360k|752924 | 0 | 0.0 |1079M|1936 | - |3773 |9981 | 0 | 0 | 0 |1018k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
786.71/786.71 c 767s| 1370k|759992 | 0 | 0.0 |1088M|1936 | - |3773 | 10k| 0 | 0 | 0 |1024k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
791.31/791.36 c 772s| 1380k|766982 | 0 | 0.0 |1095M|1936 | - |3773 | 10k| 0 | 0 | 0 |1029k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
796.31/796.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
796.31/796.32 c 776s| 1390k|773565 | 0 | 0.0 |1104M|1936 | - |3773 | 11k| 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
801.71/801.76 c 782s| 1400k|779719 | 0 | 0.0 |1112M|1936 | - |3773 | 11k| 0 | 0 | 0 |1043k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
808.42/808.41 c 788s| 1410k|784698 | 0 | 0.0 |1121M|1936 | - |3773 | 13k| 0 | 0 | 0 |1052k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
817.71/817.73 c 797s| 1420k|787551 | 0 | 0.0 |1129M|1936 | - |3773 | 15k| 0 | 0 | 0 |1065k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
825.21/825.27 c 805s| 1430k|792451 | 0 | 0.0 |1133M|1936 | - |3773 |8476 | 0 | 0 | 0 |1074k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
829.31/829.31 c 809s| 1440k|800186 | 0 | 0.0 |1141M|1936 | - |3773 |8936 | 0 | 0 | 0 |1078k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
833.31/833.39 c 813s| 1450k|807818 | 0 | 0.0 |1149M|1936 | - |3773 |9887 | 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
837.51/837.55 c 817s| 1460k|815345 | 0 | 0.0 |1158M|1936 | - |3773 | 10k| 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
841.81/841.88 c 821s| 1470k|822669 | 0 | 0.0 |1166M|1936 | - |3773 | 10k| 0 | 0 | 0 |1092k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
846.51/846.53 c 825s| 1480k|829755 | 0 | 0.0 |1174M|1936 | - |3773 | 11k| 0 | 0 | 0 |1098k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
851.61/851.63 c 830s| 1490k|836406 | 0 | 0.0 |1182M|1936 | - |3773 | 12k| 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
857.11/857.13 c 836s| 1500k|842752 | 0 | 0.0 |1190M|1936 | - |3773 | 13k| 0 | 0 | 0 |1111k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
864.11/864.15 c 843s| 1510k|847721 | 0 | 0.0 |1199M|1936 | - |3773 | 14k| 0 | 0 | 0 |1120k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
873.62/873.63 c 852s| 1520k|850844 | 0 | 0.0 |1207M|1936 | - |3773 | 17k| 0 | 0 | 0 |1133k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
881.91/881.91 c 860s| 1530k|855588 | 0 | 0.0 |1211M|1936 | - |3773 |9449 | 0 | 0 | 0 |1143k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
885.71/885.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
885.71/885.77 c 864s| 1540k|863536 | 0 | 0.0 |1219M|1936 | - |3773 |9902 | 0 | 0 | 0 |1147k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
886.41/886.49 o 3
886.41/886.49 c * 864s| 1541k|861850 | 0 | 0.0 |1214M|1936 | - |3773 |9993 | 0 | 0 | 0 |1148k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
889.92/889.98 c 868s| 1550k|868278 | 0 | 0.0 |1221M|1936 | - |3773 | 10k| 0 | 0 | 0 |1152k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
894.22/894.30 c 872s| 1560k|875878 | 0 | 0.0 |1230M|1936 | - |3773 | 11k| 0 | 0 | 0 |1157k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
898.72/898.77 c 876s| 1570k|883244 | 0 | 0.0 |1238M|1936 | - |3773 | 12k| 0 | 0 | 0 |1162k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
903.52/903.50 c 881s| 1580k|890383 | 0 | 0.0 |1246M|1936 | - |3773 | 12k| 0 | 0 | 0 |1167k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
908.52/908.55 c 886s| 1590k|897225 | 0 | 0.0 |1254M|1936 | - |3773 | 13k| 0 | 0 | 0 |1174k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
913.91/913.96 c 891s| 1600k|903657 | 0 | 0.0 |1262M|1936 | - |3773 | 14k| 0 | 0 | 0 |1181k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
920.72/920.77 c 898s| 1610k|908806 | 0 | 0.0 |1271M|1936 | - |3773 | 15k| 0 | 0 | 0 |1190k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
929.71/929.73 c 907s| 1620k|912336 | 0 | 0.0 |1278M|1936 | - |3773 | 18k| 0 | 0 | 0 |1202k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
940.81/940.86 c 918s| 1630k|914714 | 0 | 0.0 |1282M|1936 | - |3773 | 12k| 0 | 0 | 0 |1216k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
944.71/944.76 c 921s| 1640k|922831 | 0 | 0.0 |1289M|1936 | - |3773 |9650 | 0 | 0 | 0 |1220k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
948.62/948.67 c 925s| 1650k|930738 | 0 | 0.0 |1298M|1936 | - |3773 | 10k| 0 | 0 | 0 |1223k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
952.71/952.75 c 929s| 1660k|938517 | 0 | 0.0 |1306M|1936 | - |3773 | 10k| 0 | 0 | 0 |1227k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
956.92/956.99 c 933s| 1670k|946151 | 0 | 0.0 |1314M|1936 | - |3773 | 11k| 0 | 0 | 0 |1232k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
961.21/961.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
961.21/961.22 c 937s| 1680k|953773 | 0 | 0.0 |1322M|1936 | - |3773 | 11k| 0 | 0 | 0 |1236k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
965.82/965.87 c 942s| 1690k|961061 | 0 | 0.0 |1330M|1936 | - |3773 | 12k| 0 | 0 | 0 |1241k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
970.41/970.47 c 946s| 1700k|968379 | 0 | 0.0 |1338M|1936 | - |3773 | 12k| 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
975.42/975.48 c 951s| 1710k|975372 | 0 | 0.0 |1346M|1936 | - |3773 | 13k| 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
980.41/980.43 c 956s| 1720k|982374 | 0 | 0.0 |1354M|1936 | - |3773 | 13k| 0 | 0 | 0 |1257k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
985.41/985.47 c 961s| 1730k|989275 | 0 | 0.0 |1362M|1936 | - |3773 | 13k| 0 | 0 | 0 |1263k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
990.71/990.72 c 966s| 1740k|996034 | 0 | 0.0 |1369M|1936 | - |3773 | 14k| 0 | 0 | 0 |1269k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
996.41/996.47 c 972s| 1750k| 1002k| 0 | 0.0 |1377M|1936 | - |3773 | 14k| 0 | 0 | 0 |1276k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1001.91/1001.96 c 977s| 1760k| 1008k| 0 | 0.0 |1385M|1936 | - |3773 | 14k| 0 | 0 | 0 |1282k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1007.92/1007.90 c 983s| 1770k| 1015k| 0 | 0.0 |1393M|1936 | - |3773 | 15k| 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1014.91/1014.95 c 990s| 1780k| 1020k| 0 | 0.0 |1400M|1936 | - |3773 | 15k| 0 | 0 | 0 |1298k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1023.32/1023.34 c 998s| 1790k| 1024k| 0 | 0.0 |1408M|1936 | - |3773 | 16k| 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1033.51/1033.59 c 1008s| 1800k| 1027k| 0 | 0.0 |1415M|1936 | - |3773 | 18k| 0 | 0 | 0 |1321k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1045.91/1045.97 c 1020s| 1810k| 1029k| 0 | 0.0 |1421M|1936 | - |3773 | 20k| 0 | 0 | 0 |1336k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1054.82/1054.81 c 1029s| 1820k| 1033k| 0 | 0.0 |1424M|1936 | - |3773 | 10k| 0 | 0 | 0 |1346k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1058.91/1058.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1058.91/1058.92 c 1033s| 1830k| 1041k| 0 | 0.0 |1432M|1936 | - |3773 | 11k| 0 | 0 | 0 |1350k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1063.22/1063.23 c 1037s| 1840k| 1049k| 0 | 0.0 |1440M|1936 | - |3773 | 11k| 0 | 0 | 0 |1354k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1067.72/1067.79 c 1041s| 1850k| 1056k| 0 | 0.0 |1448M|1936 | - |3773 | 12k| 0 | 0 | 0 |1359k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1072.71/1072.76 c 1046s| 1860k| 1063k| 0 | 0.0 |1456M|1936 | - |3773 | 13k| 0 | 0 | 0 |1365k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1077.82/1077.90 c 1051s| 1870k| 1070k| 0 | 0.0 |1464M|1936 | - |3773 | 14k| 0 | 0 | 0 |1371k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1083.42/1083.42 c 1057s| 1880k| 1076k| 0 | 0.0 |1472M|1936 | - |3773 | 15k| 0 | 0 | 0 |1377k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1089.62/1089.66 c 1063s| 1890k| 1082k| 0 | 0.0 |1480M|1936 | - |3773 | 16k| 0 | 0 | 0 |1385k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1098.42/1098.43 c 1071s| 1900k| 1086k| 0 | 0.0 |1488M|1936 | - |3773 | 19k| 0 | 0 | 0 |1396k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1109.62/1109.62 c 1082s| 1910k| 1089k| 0 | 0.0 |1492M|1936 | - |3773 | 13k| 0 | 0 | 0 |1410k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1113.92/1113.91 c 1087s| 1920k| 1097k| 0 | 0.0 |1499M|1936 | - |3773 | 11k| 0 | 0 | 0 |1414k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1118.22/1118.20 c 1091s| 1930k| 1105k| 0 | 0.0 |1507M|1936 | - |3773 | 12k| 0 | 0 | 0 |1418k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1122.72/1122.73 c 1095s| 1940k| 1112k| 0 | 0.0 |1515M|1936 | - |3773 | 13k| 0 | 0 | 0 |1423k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1127.61/1127.62 c 1100s| 1950k| 1119k| 0 | 0.0 |1523M|1936 | - |3773 | 14k| 0 | 0 | 0 |1428k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1132.72/1132.73 c 1105s| 1960k| 1126k| 0 | 0.0 |1531M|1936 | - |3773 | 15k| 0 | 0 | 0 |1434k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1138.82/1138.83 c 1111s| 1970k| 1132k| 0 | 0.0 |1539M|1936 | - |3773 | 16k| 0 | 0 | 0 |1440k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1145.72/1145.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1145.72/1145.77 c 1118s| 1980k| 1138k| 0 | 0.0 |1547M|1936 | - |3773 | 17k| 0 | 0 | 0 |1448k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1155.42/1155.47 c 1127s| 1990k| 1141k| 0 | 0.0 |1556M|1936 | - |3773 | 20k| 0 | 0 | 0 |1460k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1164.52/1164.54 c 1136s| 2000k| 1146k| 0 | 0.0 |1559M|1936 | - |3773 | 12k| 0 | 0 | 0 |1470k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1168.91/1168.95 c 1140s| 2010k| 1154k| 0 | 0.0 |1567M|1936 | - |3773 | 11k| 0 | 0 | 0 |1474k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1173.31/1173.35 c 1145s| 2020k| 1161k| 0 | 0.0 |1575M|1936 | - |3773 | 12k| 0 | 0 | 0 |1478k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1177.82/1177.84 c 1149s| 2030k| 1169k| 0 | 0.0 |1583M|1936 | - |3773 | 12k| 0 | 0 | 0 |1483k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1182.32/1182.40 c 1153s| 2040k| 1176k| 0 | 0.0 |1591M|1936 | - |3773 | 12k| 0 | 0 | 0 |1487k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1187.21/1187.24 c 1158s| 2050k| 1183k| 0 | 0.0 |1599M|1936 | - |3773 | 13k| 0 | 0 | 0 |1492k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1192.12/1192.13 c 1163s| 2060k| 1190k| 0 | 0.0 |1607M|1936 | - |3773 | 13k| 0 | 0 | 0 |1498k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1197.02/1197.07 c 1168s| 2070k| 1198k| 0 | 0.0 |1615M|1936 | - |3773 | 13k| 0 | 0 | 0 |1503k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1202.32/1202.39 c 1173s| 2080k| 1204k| 0 | 0.0 |1623M|1936 | - |3773 | 14k| 0 | 0 | 0 |1509k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1207.83/1207.88 c 1178s| 2090k| 1211k| 0 | 0.0 |1631M|1936 | - |3773 | 14k| 0 | 0 | 0 |1515k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1213.62/1213.64 c 1184s| 2100k| 1218k| 0 | 0.0 |1638M|1936 | - |3773 | 15k| 0 | 0 | 0 |1521k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1219.72/1219.72 c 1190s| 2110k| 1224k| 0 | 0.0 |1646M|1936 | - |3773 | 15k| 0 | 0 | 0 |1528k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1226.32/1226.31 c 1196s| 2120k| 1230k| 0 | 0.0 |1654M|1936 | - |3773 | 16k| 0 | 0 | 0 |1535k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1233.52/1233.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1233.52/1233.58 c 1203s| 2130k| 1235k| 0 | 0.0 |1662M|1936 | - |3773 | 17k| 0 | 0 | 0 |1544k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1241.12/1241.15 c 1211s| 2140k| 1241k| 0 | 0.0 |1670M|1936 | - |3773 | 18k| 0 | 0 | 0 |1552k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1249.02/1249.04 c 1219s| 2150k| 1246k| 0 | 0.0 |1678M|1936 | - |3773 | 19k| 0 | 0 | 0 |1561k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1258.32/1258.39 c 1228s| 2160k| 1251k| 0 | 0.0 |1686M|1936 | - |3773 | 22k| 0 | 0 | 0 |1572k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1269.63/1269.65 c 1239s| 2170k| 1254k| 0 | 0.0 |1689M|1936 | - |3773 | 17k| 0 | 0 | 0 |1584k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1274.32/1274.30 c 1243s| 2180k| 1262k| 0 | 0.0 |1696M|1936 | - |3773 | 12k| 0 | 0 | 0 |1588k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1278.73/1278.76 c 1248s| 2190k| 1270k| 0 | 0.0 |1704M|1936 | - |3773 | 13k| 0 | 0 | 0 |1592k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1283.32/1283.34 c 1252s| 2200k| 1278k| 0 | 0.0 |1711M|1936 | - |3773 | 12k| 0 | 0 | 0 |1596k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1287.92/1287.97 c 1257s| 2210k| 1285k| 0 | 0.0 |1719M|1936 | - |3773 | 13k| 0 | 0 | 0 |1601k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1292.62/1292.67 c 1261s| 2220k| 1292k| 0 | 0.0 |1727M|1936 | - |3773 | 13k| 0 | 0 | 0 |1605k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1297.63/1297.61 c 1266s| 2230k| 1300k| 0 | 0.0 |1735M|1936 | - |3773 | 13k| 0 | 0 | 0 |1610k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1302.63/1302.66 c 1271s| 2240k| 1307k| 0 | 0.0 |1743M|1936 | - |3773 | 14k| 0 | 0 | 0 |1616k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1307.52/1307.52 c 1276s| 2250k| 1314k| 0 | 0.0 |1751M|1936 | - |3773 | 14k| 0 | 0 | 0 |1621k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1312.72/1312.71 c 1281s| 2260k| 1321k| 0 | 0.0 |1759M|1936 | - |3773 | 14k| 0 | 0 | 0 |1627k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1317.82/1317.86 c 1286s| 2270k| 1327k| 0 | 0.0 |1767M|1936 | - |3773 | 14k| 0 | 0 | 0 |1632k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1323.03/1323.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1323.03/1323.04 c 1291s| 2280k| 1334k| 0 | 0.0 |1775M|1936 | - |3773 | 15k| 0 | 0 | 0 |1638k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1328.63/1328.69 c 1296s| 2290k| 1341k| 0 | 0.0 |1783M|1936 | - |3773 | 15k| 0 | 0 | 0 |1644k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1334.62/1334.61 c 1302s| 2300k| 1347k| 0 | 0.0 |1790M|1936 | - |3773 | 16k| 0 | 0 | 0 |1651k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1340.52/1340.50 c 1308s| 2310k| 1353k| 0 | 0.0 |1798M|1936 | - |3773 | 16k| 0 | 0 | 0 |1658k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1346.92/1346.99 c 1314s| 2320k| 1359k| 0 | 0.0 |1806M|1936 | - |3773 | 16k| 0 | 0 | 0 |1666k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1354.42/1354.42 c 1321s| 2330k| 1364k| 0 | 0.0 |1814M|1936 | - |3773 | 17k| 0 | 0 | 0 |1675k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1362.42/1362.41 c 1329s| 2340k| 1369k| 0 | 0.0 |1822M|1936 | - |3773 | 17k| 0 | 0 | 0 |1684k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1371.02/1371.09 c 1338s| 2350k| 1373k| 0 | 0.0 |1830M|1936 | - |3773 | 19k| 0 | 0 | 0 |1695k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1381.53/1381.58 c 1348s| 2360k| 1377k| 0 | 0.0 |1838M|1936 | - |3773 | 21k| 0 | 0 | 0 |1707k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1389.22/1389.26 c 1356s| 2370k| 1383k| 0 | 0.0 |1841M|1936 | - |3773 |9069 | 0 | 0 | 0 |1715k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1394.43/1394.45 c 1361s| 2380k| 1389k| 0 | 0.0 |1848M|1936 | - |3773 |7030 | 0 | 0 | 0 |1721k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1398.92/1398.99 c 1365s| 2390k| 1396k| 0 | 0.0 |1856M|1936 | - |3773 |8470 | 0 | 0 | 0 |1726k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1402.53/1402.58 c 1369s| 2400k| 1404k| 0 | 0.0 |1864M|1936 | - |3773 |6592 | 0 | 0 | 0 |1729k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1407.02/1407.02 c 1373s| 2410k| 1411k| 0 | 0.0 |1872M|1936 | - |3773 |6141 | 0 | 0 | 0 |1735k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1411.42/1411.41 c 1377s| 2420k| 1418k| 0 | 0.0 |1880M|1936 | - |3773 |6548 | 0 | 0 | 0 |1740k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1415.03/1415.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1415.03/1415.00 c 1381s| 2430k| 1426k| 0 | 0.0 |1888M|1936 | - |3773 |6179 | 0 | 0 | 0 |1743k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1419.32/1419.32 c 1385s| 2440k| 1433k| 0 | 0.0 |1896M|1936 | - |3773 |7388 | 0 | 0 | 0 |1748k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1423.93/1423.98 c 1389s| 2450k| 1440k| 0 | 0.0 |1904M|1936 | - |3773 |5944 | 0 | 0 | 0 |1754k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1427.83/1427.83 c 1393s| 2460k| 1447k| 0 | 0.0 |1912M|1936 | - |3773 |6350 | 0 | 0 | 0 |1759k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1432.53/1432.50 c 1398s| 2470k| 1454k| 0 | 0.0 |1921M|1936 | - |3773 |8374 | 0 | 0 | 0 |1765k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1436.63/1436.66 c 1402s| 2480k| 1461k| 0 | 0.0 |1928M|1936 | - |3773 |6558 | 0 | 0 | 0 |1770k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1441.12/1441.15 c 1406s| 2490k| 1468k| 0 | 0.0 |1936M|1936 | - |3773 |5682 | 0 | 0 | 0 |1776k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1445.52/1445.51 c 1410s| 2500k| 1474k| 0 | 0.0 |1944M|1936 | - |3773 |7824 | 0 | 0 | 0 |1782k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1448.92/1448.99 c 1414s| 2510k| 1482k| 0 | 0.0 |1952M|1936 | - |3773 |6070 | 0 | 0 | 0 |1785k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1453.22/1453.27 c 1418s| 2520k| 1489k| 0 | 0.0 |1960M|1936 | - |3773 |5530 | 0 | 0 | 0 |1789k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1457.02/1457.00 c 1421s| 2530k| 1497k| 0 | 0.0 |1968M|1936 | - |3773 |6163 | 0 | 0 | 0 |1793k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1461.72/1461.70 c 1426s| 2540k| 1503k| 0 | 0.0 |1976M|1936 | - |3773 |7020 | 0 | 0 | 0 |1798k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1465.43/1465.48 c 1430s| 2550k| 1511k| 0 | 0.0 |1983M|1936 | - |3773 |6561 | 0 | 0 | 0 |1802k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1469.72/1469.78 c 1434s| 2560k| 1517k| 0 | 0.0 |1991M|1936 | - |3773 |5839 | 0 | 0 | 0 |1807k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1473.93/1473.98 c 1438s| 2570k| 1524k| 0 | 0.0 |1999M|1936 | - |3773 |5807 | 0 | 0 | 0 |1812k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1478.13/1478.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1478.13/1478.12 c 1442s| 2580k| 1531k| 0 | 0.0 |2008M|1936 | - |3773 |7614 | 0 | 0 | 0 |1817k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1481.83/1481.88 c 1446s| 2590k| 1539k| 0 | 0.0 |2015M|1936 | - |3773 |5836 | 0 | 0 | 0 |1820k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1485.72/1485.76 c 1449s| 2600k| 1547k| 0 | 0.0 |2023M|1936 | - |3773 |6283 | 0 | 0 | 0 |1824k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1490.03/1490.03 c 1453s| 2610k| 1553k| 0 | 0.0 |2032M|1936 | - |3773 |6832 | 0 | 0 | 0 |1829k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1494.83/1494.84 c 1458s| 2620k| 1560k| 0 | 0.0 |2040M|1936 | - |3773 |8236 | 0 | 0 | 0 |1836k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1498.42/1498.42 c 1462s| 2630k| 1567k| 0 | 0.0 |2047M|1936 | - |3773 |6612 | 0 | 0 | 0 |1839k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1502.63/1502.67 c 1466s| 2640k| 1574k| 0 | 0.0 |2055M|1936 | - |3773 |5887 | 0 | 0 | 0 |1844k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1506.83/1506.85 c 1470s| 2650k| 1581k| 0 | 0.0 |2063M|1936 | - |3773 |6023 | 0 | 0 | 0 |1849k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1511.43/1511.41 c 1474s| 2660k| 1588k| 0 | 0.0 |2071M|1936 | - |3773 |7090 | 0 | 0 | 0 |1854k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1517.33/1517.37 c 1480s| 2670k| 1593k| 0 | 0.0 |2080M|1936 | - |3773 |7661 | 0 | 0 | 0 |1861k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1524.12/1524.19 c 1487s| 2680k| 1598k| 0 | 0.0 |2088M|1936 | - |3773 |9307 | 0 | 0 | 0 |1869k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1531.82/1531.82 c 1494s| 2690k| 1602k| 0 | 0.0 |2097M|1936 | - |3773 |9880 | 0 | 0 | 0 |1877k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1539.93/1539.96 c 1502s| 2700k| 1605k| 0 | 0.0 |2105M|1936 | - |3773 | 11k| 0 | 0 | 0 |1886k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1548.23/1548.25 c 1510s| 2710k| 1609k| 0 | 0.0 |2113M|1936 | - |3773 | 11k| 0 | 0 | 0 |1895k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1556.63/1556.67 c 1518s| 2720k| 1613k| 0 | 0.0 |2120M|1936 | - |3773 | 10k| 0 | 0 | 0 |1904k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1564.93/1564.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1564.93/1564.91 c 1527s| 2730k| 1617k| 0 | 0.0 |2129M|1936 | - |3773 | 12k| 0 | 0 | 0 |1913k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1574.23/1574.20 c 1536s| 2740k| 1620k| 0 | 0.0 |2136M|1936 | - |3773 | 12k| 0 | 0 | 0 |1922k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1583.23/1583.27 c 1545s| 2750k| 1624k| 0 | 0.0 |2144M|1936 | - |3773 | 12k| 0 | 0 | 0 |1932k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1593.03/1593.09 c 1554s| 2760k| 1627k| 0 | 0.0 |2151M|1936 | - |3773 | 12k| 0 | 0 | 0 |1942k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1602.73/1602.74 c 1564s| 2770k| 1630k| 0 | 0.0 |2159M|1936 | - |3773 | 13k| 0 | 0 | 0 |1952k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1613.03/1613.04 c 1574s| 2780k| 1632k| 0 | 0.0 |2165M|1936 | - |3773 | 13k| 0 | 0 | 0 |1962k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1622.93/1622.98 c 1584s| 2790k| 1636k| 0 | 0.0 |2173M|1936 | - |3773 | 14k| 0 | 0 | 0 |1972k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1634.03/1634.03 c 1595s| 2800k| 1638k| 0 | 0.0 |2179M|1936 | - |3773 | 12k| 0 | 0 | 0 |1983k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1644.53/1644.58 c 1605s| 2810k| 1641k| 0 | 0.0 |2187M|1936 | - |3773 | 14k| 0 | 0 | 0 |1994k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1655.03/1655.05 c 1615s| 2820k| 1644k| 0 | 0.0 |2194M|1936 | - |3773 | 12k| 0 | 0 | 0 |2004k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1666.83/1666.80 c 1627s| 2830k| 1646k| 0 | 0.0 |2201M|1936 | - |3773 | 15k| 0 | 0 | 0 |2016k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1677.93/1677.95 c 1638s| 2840k| 1648k| 0 | 0.0 |2208M|1936 | - |3773 | 15k| 0 | 0 | 0 |2027k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1690.13/1690.17 c 1650s| 2850k| 1650k| 0 | 0.0 |2214M|1936 | - |3773 | 14k| 0 | 0 | 0 |2038k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1701.93/1701.93 c 1661s| 2860k| 1652k| 0 | 0.0 |2222M|1936 | - |3773 | 15k| 0 | 0 | 0 |2050k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1714.03/1714.00 c 1673s| 2870k| 1655k| 0 | 0.0 |2229M|1936 | - |3773 | 14k| 0 | 0 | 0 |2061k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1726.53/1726.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1726.53/1726.57 c 1686s| 2880k| 1656k| 0 | 0.0 |2234M|1936 | - |3773 | 16k| 0 | 0 | 0 |2073k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1738.33/1738.31 c 1697s| 2890k| 1658k| 0 | 0.0 |2242M|1936 | - |3773 | 16k| 0 | 0 | 0 |2084k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1750.73/1750.77 c 1710s| 2900k| 1661k| 0 | 0.0 |2248M|1936 | - |3773 | 14k| 0 | 0 | 0 |2096k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1764.63/1764.69 c 1723s| 2910k| 1661k| 0 | 0.0 |2254M|1936 | - |3773 | 17k| 0 | 0 | 0 |2109k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1777.33/1777.39 c 1736s| 2920k| 1663k| 0 | 0.0 |2261M|1936 | - |3773 | 18k| 0 | 0 | 0 |2121k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1791.33/1791.35 c 1750s| 2930k| 1664k| 0 | 0.0 |2265M|1936 | - |3773 | 17k| 0 | 0 | 0 |2134k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1758.24
1800.04/1800.00 c Solving Nodes : 2935988
1800.04/1800.00 c Primal Bound : +3.00000000000000e+00 (42 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.03 s SATISFIABLE
1800.04/1800.03 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 x210
1800.04/1800.03 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 x189
1800.04/1800.03 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 x168
1800.04/1800.03 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.04/1800.03 v -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125
1800.04/1800.03 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.04/1800.03 v x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.04/1800.03 v -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54
1800.04/1800.03 v -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.04/1800.03 v -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.04/1800.03 v x1
1800.04/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.03 c Solving Time : 1758.24
1800.04/1800.03 c Original Problem :
1800.04/1800.03 c Problem name : HOME/instance-2694042-1277902140.wbo
1800.04/1800.03 c Variables : 3891 (2061 binary, 0 integer, 0 implicit integer, 1830 continuous)
1800.04/1800.03 c Constraints : 4538 initial, 4538 maximal
1800.04/1800.03 c Presolved Problem :
1800.04/1800.03 c Problem name : t_HOME/instance-2694042-1277902140.wbo
1800.04/1800.03 c Variables : 3773 (2002 binary, 0 integer, 0 implicit integer, 1771 continuous)
1800.04/1800.03 c Constraints : 4398 initial, 25332 maximal
1800.04/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.03 c trivial : 0.00 59 0 0 0 0 0 0 0
1800.04/1800.03 c dualfix : 0.00 59 0 0 0 0 0 0 0
1800.04/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.03 c indicator : 0.00 0 0 0 0 0 59 0 0
1800.04/1800.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c linear : 0.07 0 0 0 1841 0 81 66 0
1800.04/1800.03 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c root node : - 1732 - - 3464 - - - -
1800.04/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.03 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.03 c indicator : 1771 0 6046997 0 1872356 135 1336509 0 0 0
1800.04/1800.03 c setppc : 7 0 8882802 0 2492638 31827 2646399 0 0 0
1800.04/1800.03 c linear : 1771 0 8859743 0 2494594 526746 43622856 0 0 0
1800.04/1800.03 c logicor : 849+ 0 5675223 0 2494615 171514 9290667 0 0 0
1800.04/1800.03 c bounddisjunction : 0+ 0 71238 0 0 1 69 0 0 0
1800.04/1800.03 c countsols : 0 0 0 0 2494613 0 0 0 0 0
1800.04/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.03 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.03 c indicator : 12.88 0.00 5.78 0.00 7.10
1800.04/1800.03 c setppc : 18.29 0.00 14.81 0.00 3.48
1800.04/1800.03 c linear : 345.61 0.00 343.52 0.00 2.09
1800.04/1800.03 c logicor : 395.49 0.00 327.61 0.00 67.88
1800.04/1800.03 c bounddisjunction : 0.16 0.00 0.16 0.00 0.00
1800.04/1800.03 c countsols : 0.45 0.00 0.00 0.00 0.45
1800.04/1800.03 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.03 c vbounds : 2.47 2 0 0
1800.04/1800.03 c rootredcost : 1.54 0 0 0
1800.04/1800.03 c pseudoobj : 298.33 8893769 2073 1308967
1800.04/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.03 c propagation : 36.63 732161 732152 3769734 21.0 84317 10.2 -
1800.04/1800.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.03 c pseudo solution : 0.00 87 87 336 19.0 133 9.0 -
1800.04/1800.03 c applied globally : - - - 2141979 18.3 - - -
1800.04/1800.03 c applied locally : - - - 7 220.3 - - -
1800.04/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.03 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.03 c redcost : 0.00 0 0 0 0 0
1800.04/1800.03 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.03 c intobj : 0.00 0 0 0 0 0
1800.04/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.03 c gomory : 0.00 0 0 0 0 0
1800.04/1800.03 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.03 c cmir : 0.00 0 0 0 0 0
1800.04/1800.03 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.03 c clique : 0.00 0 0 0 0 0
1800.04/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.03 c mcf : 0.00 0 0 0 0 0
1800.04/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.03 c Pricers : Time Calls Vars
1800.04/1800.03 c problem variables: 0.00 0 0
1800.04/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.03 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.03 c inference : 39.98 2494571 0 0 0 0 4989142
1800.04/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.03 c random : 0.00 0 0 0 0 0 0
1800.04/1800.03 c Primal Heuristics : Time Calls Found
1800.04/1800.03 c LP solutions : 0.00 - 0
1800.04/1800.03 c pseudo solutions : 0.15 - 42
1800.04/1800.03 c oneopt : 1.07 0 0
1800.04/1800.03 c trivial : 0.00 2 0
1800.04/1800.03 c simplerounding : 0.00 0 0
1800.04/1800.03 c zirounding : 0.00 0 0
1800.04/1800.03 c rounding : 0.00 0 0
1800.04/1800.03 c shifting : 0.00 0 0
1800.04/1800.03 c intshifting : 0.00 0 0
1800.04/1800.03 c twoopt : 0.00 0 0
1800.04/1800.03 c fixandinfer : 0.00 0 0
1800.04/1800.03 c feaspump : 0.00 0 0
1800.04/1800.03 c coefdiving : 0.00 0 0
1800.04/1800.03 c pscostdiving : 0.00 0 0
1800.04/1800.03 c fracdiving : 0.00 0 0
1800.04/1800.03 c veclendiving : 0.00 0 0
1800.04/1800.03 c intdiving : 0.00 0 0
1800.04/1800.03 c actconsdiving : 0.00 0 0
1800.04/1800.03 c objpscostdiving : 0.00 0 0
1800.04/1800.03 c rootsoldiving : 0.00 0 0
1800.04/1800.03 c linesearchdiving : 0.00 0 0
1800.04/1800.03 c guideddiving : 0.00 0 0
1800.04/1800.03 c octane : 0.00 0 0
1800.04/1800.03 c rens : 0.00 0 0
1800.04/1800.03 c rins : 0.00 0 0
1800.04/1800.03 c localbranching : 0.00 0 0
1800.04/1800.03 c mutation : 0.00 0 0
1800.04/1800.03 c crossover : 0.00 0 0
1800.04/1800.03 c dins : 0.00 0 0
1800.04/1800.03 c undercover : 0.00 0 0
1800.04/1800.03 c nlp : 0.98 0 0
1800.04/1800.03 c trysol : 0.66 1 0
1800.04/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.03 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.03 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.03 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.03 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.03 c (at root node) : - 0 0 0.00 -
1800.04/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.03 c B&B Tree :
1800.04/1800.03 c number of runs : 1
1800.04/1800.03 c nodes : 2935988
1800.04/1800.03 c nodes (total) : 2935988
1800.04/1800.03 c nodes left : 1665689
1800.04/1800.03 c max depth : 1936
1800.04/1800.03 c max depth (total): 1936
1800.04/1800.03 c backtracks : 400083 (13.6%)
1800.04/1800.03 c delayed cutoffs : 362105
1800.04/1800.03 c repropagations : 1518882 (17709801 domain reductions, 291008 cutoffs)
1800.04/1800.03 c avg switch length: 22.56
1800.04/1800.03 c switching time : 491.51
1800.04/1800.03 c Solution :
1800.04/1800.03 c Solutions found : 42 (42 improvements)
1800.04/1800.03 c First Solution : +1.05900000000000e+03 (in run 1, after 5033 nodes, 1.37 seconds, depth 496, found by <relaxation>)
1800.04/1800.03 c Primal Bound : +3.00000000000000e+00 (in run 1, after 1541683 nodes, 864.46 seconds, depth 920, found by <relaxation>)
1800.04/1800.03 c Dual Bound : +0.00000000000000e+00
1800.04/1800.03 c Gap : infinite
1800.04/1800.03 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.03 c Root Iterations : 0
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694042-1277902140/watcher-2694042-1277902140 -o /tmp/evaluation-result-2694042-1277902140/solver-2694042-1277902140 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694042-1277902140.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.15 2.12 2.06 4/178 23923 /proc/meminfo: memFree=31358992/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=8408 CPUtime=0 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 1579 0 0 0 0 0 0 0 25 0 1 0 163805724 8609792 1502 4089446400 4194304 7136930 140735824452992 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/23923/statm: 2102 1502 275 719 0 1381 0 [startup+0.061267 s] /proc/loadavg: 2.15 2.12 2.06 4/178 23923 /proc/meminfo: memFree=31358992/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=28184 CPUtime=0.05 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 7199 0 0 0 5 0 0 0 25 0 1 0 163805724 28860416 6254 4089446400 4194304 7136930 140735824452992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 7046 6254 348 719 0 6325 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 28184 [startup+0.10026 s] /proc/loadavg: 2.15 2.12 2.06 4/178 23923 /proc/meminfo: memFree=31358992/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=29212 CPUtime=0.09 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 7902 0 0 0 9 0 0 0 25 0 1 0 163805724 29913088 6444 4089446400 4194304 7136930 140735824452992 18446744073709551615 6346856 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 7303 6485 354 719 0 6582 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 29212 [startup+0.300286 s] /proc/loadavg: 2.15 2.12 2.06 4/178 23923 /proc/meminfo: memFree=31358992/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=30328 CPUtime=0.29 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 10352 0 0 0 28 1 0 0 25 0 1 0 163805724 31055872 6837 4089446400 4194304 7136930 140735824452992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 7582 6837 391 719 0 6861 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30328 [startup+0.700214 s] /proc/loadavg: 2.15 2.12 2.06 4/178 23923 /proc/meminfo: memFree=31358992/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=32084 CPUtime=0.69 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 10810 0 0 0 67 2 0 0 25 0 1 0 163805724 32854016 7295 4089446400 4194304 7136930 140735824452992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 8021 7295 395 719 0 7300 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32084 [startup+1.50102 s] /proc/loadavg: 2.14 2.12 2.06 3/179 23924 /proc/meminfo: memFree=31327860/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=34788 CPUtime=1.49 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 11472 0 0 0 144 5 0 0 25 0 1 0 163805724 35622912 7957 4089446400 4194304 7136930 140735824452992 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 8697 7957 395 719 0 7976 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34788 [startup+3.1008 s] /proc/loadavg: 2.14 2.12 2.06 3/179 23924 /proc/meminfo: memFree=31323380/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=41556 CPUtime=3.09 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 13190 0 0 0 300 9 0 0 25 0 1 0 163805724 42553344 9675 4089446400 4194304 7136930 140735824452992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 10423 9678 398 719 0 9702 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 41556 [startup+6.30017 s] /proc/loadavg: 2.13 2.12 2.06 3/179 23924 /proc/meminfo: memFree=31305648/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=54128 CPUtime=6.29 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 16325 0 0 0 607 22 0 0 25 0 1 0 163805724 55427072 12810 4089446400 4194304 7136930 140735824452992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 13532 12810 398 719 0 12811 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 54128 [startup+12.701 s] /proc/loadavg: 2.12 2.11 2.06 3/179 23924 /proc/meminfo: memFree=31282664/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=72036 CPUtime=12.7 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 20667 0 0 0 1230 40 0 0 25 0 1 0 163805724 73764864 17152 4089446400 4194304 7136930 140735824452992 18446744073709551615 5892230 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 18009 17152 398 719 0 17288 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 72036 [startup+25.5008 s] /proc/loadavg: 2.10 2.11 2.05 3/179 23924 /proc/meminfo: memFree=31226172/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=115324 CPUtime=25.5 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 31105 0 0 0 2469 81 0 0 25 0 1 0 163805724 118091776 27590 4089446400 4194304 7136930 140735824452992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 28831 27590 398 719 0 28110 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 115324 [startup+51.1003 s] /proc/loadavg: 2.06 2.10 2.05 3/179 23926 /proc/meminfo: memFree=31139184/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=181316 CPUtime=51.09 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 47255 0 0 0 4954 155 0 0 25 0 1 0 163805724 185667584 43740 4089446400 4194304 7136930 140735824452992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 45329 43740 398 719 0 44608 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 181316 [startup+102.306 s] /proc/loadavg: 2.02 2.08 2.05 3/179 23927 /proc/meminfo: memFree=31019236/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=266240 CPUtime=102.3 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 68200 0 0 0 9952 278 0 0 25 0 1 0 163805724 272629760 64685 4089446400 4194304 7136930 140735824452992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 66560 64685 398 719 0 65839 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 266240 [startup+162.301 s] /proc/loadavg: 2.01 2.06 2.04 3/179 23928 /proc/meminfo: memFree=30846828/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=404716 CPUtime=162.29 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 100769 0 0 0 15781 448 0 0 25 0 1 0 163805724 414429184 97254 4089446400 4194304 7136930 140735824452992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 101179 97254 398 719 0 100458 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 404716 [startup+222.3 s] /proc/loadavg: 2.00 2.05 2.03 3/179 23930 /proc/meminfo: memFree=30688556/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=540468 CPUtime=222.3 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 134342 0 0 0 21592 638 0 0 25 0 1 0 163805724 553439232 130827 4089446400 4194304 7136930 140735824452992 18446744073709551615 4924114 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 135117 130827 398 719 0 134396 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 540468 [startup+282.301 s] /proc/loadavg: 2.04 2.05 2.03 3/179 23932 /proc/meminfo: memFree=30513652/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=637624 CPUtime=282.29 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 158850 0 0 0 27445 784 0 0 25 0 1 0 163805724 652926976 155335 4089446400 4194304 7136930 140735824452992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 159406 155335 398 719 0 158685 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 637624 [startup+342.3 s] /proc/loadavg: 2.01 2.04 2.03 3/179 23933 /proc/meminfo: memFree=30398516/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=702036 CPUtime=342.3 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 175067 0 0 0 33323 907 0 0 25 0 1 0 163805724 718884864 171552 4089446400 4194304 7136930 140735824452992 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 175509 171552 398 719 0 174788 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 702036 [startup+402.301 s] /proc/loadavg: 2.03 2.05 2.03 3/179 23934 /proc/meminfo: memFree=30328168/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=731600 CPUtime=402.3 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 182329 0 0 0 39227 1003 0 0 25 0 1 0 163805724 749158400 178814 4089446400 4194304 7136930 140735824452992 18446744073709551615 4221316 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 182900 178814 398 719 0 182179 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 731600 [startup+462.3 s] /proc/loadavg: 2.01 2.03 2.02 3/179 23936 /proc/meminfo: memFree=30274776/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=747120 CPUtime=462.31 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 186189 0 0 0 45127 1104 0 0 25 0 1 0 163805724 765050880 182647 4089446400 4194304 7136930 140735824452992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 186780 182647 398 719 0 186059 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 747120 [startup+522.301 s] /proc/loadavg: 2.00 2.03 2.02 3/179 23938 /proc/meminfo: memFree=30141420/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=850888 CPUtime=522.31 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 209722 0 0 0 50966 1265 0 0 25 0 1 0 163805724 871309312 206180 4089446400 4194304 7136930 140735824452992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 212722 206180 398 719 0 212001 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 850888 [startup+582.3 s] /proc/loadavg: 2.00 2.02 2.01 3/179 23940 /proc/meminfo: memFree=30008324/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=946176 CPUtime=582.31 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 233628 0 0 0 56797 1434 0 0 25 0 1 0 163805724 968884224 230086 4089446400 4194304 7136930 140735824452992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 236544 230086 398 719 0 235823 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 946176 [startup+642.301 s] /proc/loadavg: 2.00 2.01 2.00 3/179 23941 /proc/meminfo: memFree=29899396/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=1019156 CPUtime=642.31 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 251976 0 0 0 62638 1593 0 0 25 0 1 0 163805724 1043615744 248434 4089446400 4194304 7136930 140735824452992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 254789 248434 398 719 0 254068 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1019156 [startup+702.301 s] ################ # More data... # ################ /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 378743 0 0 0 97731 2500 0 0 25 0 1 0 163805724 1574150144 375201 4089446400 4194304 7136930 140735824452992 18446744073709551615 5004477 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 384314 375201 398 719 0 383593 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1537256 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23961 /proc/meminfo: memFree=29112760/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=1587356 CPUtime=1062.32 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 391417 0 0 0 103614 2618 0 0 25 0 1 0 163805724 1625452544 387875 4089446400 4194304 7136930 140735824452992 18446744073709551615 4969779 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 396839 387875 398 719 0 396118 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1587356 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23963 /proc/meminfo: memFree=29025288/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=1665008 CPUtime=1122.32 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 410954 0 0 0 109475 2757 0 0 25 0 1 0 163805724 1704968192 407412 4089446400 4194304 7136930 140735824452992 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 416252 407412 398 719 0 415531 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1665008 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23965 /proc/meminfo: memFree=28943900/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=1732272 CPUtime=1182.32 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 428022 0 0 0 115331 2901 0 0 25 0 1 0 163805724 1773846528 424480 4089446400 4194304 7136930 140735824452992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 433068 424480 398 719 0 432347 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1732272 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23966 /proc/meminfo: memFree=28837204/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=1821768 CPUtime=1242.32 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 450513 0 0 0 121194 3038 0 0 25 0 1 0 163805724 1865490432 446971 4089446400 4194304 7136930 140735824452992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 455442 446971 398 719 0 454721 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1821768 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23968 /proc/meminfo: memFree=28759428/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=1890328 CPUtime=1302.33 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 467849 0 0 0 127065 3168 0 0 25 0 1 0 163805724 1935695872 464307 4089446400 4194304 7136930 140735824452992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 472582 464307 398 719 0 471861 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1890328 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23969 /proc/meminfo: memFree=28672056/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=1968164 CPUtime=1362.32 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 487554 0 0 0 132922 3310 0 0 25 0 1 0 163805724 2015399936 484012 4089446400 4194304 7136930 140735824452992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 492041 484012 398 719 0 491320 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1968164 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23971 /proc/meminfo: memFree=28584964/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=2047756 CPUtime=1422.33 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 507643 0 0 0 138778 3455 0 0 25 0 1 0 163805724 2096902144 504101 4089446400 4194304 7136930 140735824452992 18446744073709551615 6123187 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 511939 504101 398 719 0 511218 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 2047756 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23973 /proc/meminfo: memFree=28468100/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=2157104 CPUtime=1482.32 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 535397 0 0 0 144593 3639 0 0 25 0 1 0 163805724 2208874496 531855 4089446400 4194304 7136930 140735824452992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 539276 531855 398 719 0 538555 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 2157104 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23974 /proc/meminfo: memFree=28367720/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=2247592 CPUtime=1542.33 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 558277 0 0 0 150437 3796 0 0 25 0 1 0 163805724 2301534208 554735 4089446400 4194304 7136930 140735824452992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 561898 554735 398 719 0 561177 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 2247592 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23975 /proc/meminfo: memFree=28312984/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=2300788 CPUtime=1602.33 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 571679 0 0 0 156338 3895 0 0 25 0 1 0 163805724 2356006912 568137 4089446400 4194304 7136930 140735824452992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 575197 568137 398 719 0 574476 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2300788 [startup+1662.3 s] /proc/loadavg: 1.93 1.98 1.99 3/179 24005 /proc/meminfo: memFree=29360564/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=2336800 CPUtime=1662.33 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 580749 0 0 0 162244 3989 0 0 25 0 1 0 163805724 2392883200 577207 4089446400 4194304 7136930 140735824452992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 584200 577207 398 719 0 583479 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 2336800 [startup+1722.3 s] /proc/loadavg: 1.97 1.98 1.99 3/179 24007 /proc/meminfo: memFree=29306880/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=2373244 CPUtime=1722.33 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 589951 0 0 0 168154 4079 0 0 25 0 1 0 163805724 2430201856 586409 4089446400 4194304 7136930 140735824452992 18446744073709551615 5953120 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 593311 586409 398 719 0 592590 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 2373244 [startup+1782.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 24009 /proc/meminfo: memFree=29265548/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=2402164 CPUtime=1782.33 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 597235 0 0 0 174074 4159 0 0 25 0 1 0 163805724 2459815936 593693 4089446400 4194304 7136930 140735824452992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 600541 593693 398 719 0 599820 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 2402164 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.99 1.98 1.99 3/179 24009 /proc/meminfo: memFree=29258100/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=2409816 CPUtime=1800.04 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 599088 0 0 0 175826 4178 0 0 25 0 1 0 163805724 2467651584 595546 4089446400 4194304 7136930 140735824452992 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23923/statm: 602454 595546 398 719 0 601733 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2409816 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -23923 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.99 1.98 1.99 3/180 24010 /proc/meminfo: memFree=29257844/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=2409816 CPUtime=1801.44 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 599103 0 0 0 175966 4178 0 0 25 0 1 0 163805724 2467651584 595561 4089446400 4194304 7136930 140735824452992 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/23923/statm: 602454 595561 403 719 0 601733 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 2409816 [startup+1801.81 s] /proc/loadavg: 1.99 1.98 1.99 3/180 24010 /proc/meminfo: memFree=29257840/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=2409816 CPUtime=1801.84 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 599103 0 0 0 176006 4178 0 0 25 0 1 0 163805724 2467651584 595561 4089446400 4194304 7136930 140735824452992 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/23923/statm: 602454 595561 403 719 0 601733 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 2409816 [startup+1802 s] /proc/loadavg: 1.99 1.98 1.99 3/180 24010 /proc/meminfo: memFree=29257840/32950940 swapFree=67111528/67111528 [pid=23923] ppid=23921 vsize=2409816 CPUtime=1802.04 /proc/23923/stat : 23923 (pbscip.linux.x8) R 23921 23923 22746 0 -1 4202496 599103 0 0 0 176026 4178 0 0 25 0 1 0 163805724 2467651584 595561 4089446400 4194304 7136930 140735824452992 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/23923/statm: 602454 595561 403 719 0 601733 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 2409816 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.08 CPU time (s): 1802.12 CPU user time (s): 1760.27 CPU system time (s): 41.8576 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2409816 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1760.27 system time used= 41.8576 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 599103 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= 1013 runsolver used 2.45563 second user time and 5.76412 second system time The end
Begin job on node117 at 2010-06-30 14:49:00 IDJOB=2694042 IDBENCH=78898 IDSOLVER=1206 FILE ID=node117/2694042-1277902140 PBS_JOBID= 11197155 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670234--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694042-1277902140/watcher-2694042-1277902140 -o /tmp/evaluation-result-2694042-1277902140/solver-2694042-1277902140 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694042-1277902140.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 74a38f74cac3b14e8d36cdbf48853bbd RANDOM SEED=742572492 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: 31359520 kB Buffers: 185672 kB Cached: 852160 kB SwapCached: 0 kB Active: 869360 kB Inactive: 580348 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950940 kB LowFree: 31359520 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4916 kB Writeback: 0 kB AnonPages: 411644 kB Mapped: 16100 kB Slab: 77980 kB PageTables: 5412 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586996 kB Committed_AS: 572332 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 node117 at 2010-06-30 15:19:02