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-2693689-1277930337.wbo>
0.00/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.09/0.12 o 135864
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.358640e+05
0.09/0.12 c presolving:
0.09/0.13 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.18 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (3 rounds):
0.09/0.18 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 2707 implications, 0 cliques
0.09/0.18 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.18 c 2707 constraints of type <indicator>
0.09/0.18 c 2707 constraints of type <linear>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.12
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.97
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.19 c
0.19/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.20 c t 0.1s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.358640e+05 | Inf
2.10/2.12 o 458
2.10/2.12 c * 1.9s| 6632 | 4902 | 0 | 0.0 | 22M|2816 | - |5645 |6752 | 0 | 0 | 0 |1339 | 0 | 0.000000e+00 | 4.580000e+02 | Inf
2.10/2.20 o 427
2.10/2.20 c * 2.0s| 6789 | 5055 | 0 | 0.0 | 23M|2816 | - |5645 |6762 | 0 | 0 | 0 |1349 | 0 | 0.000000e+00 | 4.270000e+02 | Inf
2.10/2.20 o 363
2.10/2.20 c * 2.0s| 6790 | 5046 | 0 | 0.0 | 23M|2816 | - |5645 |6762 | 0 | 0 | 0 |1349 | 0 | 0.000000e+00 | 3.630000e+02 | Inf
2.19/2.28 o 332
2.19/2.28 c * 2.1s| 6950 | 5167 | 0 | 0.0 | 23M|2816 | - |5645 |6773 | 0 | 0 | 0 |1360 | 0 | 0.000000e+00 | 3.320000e+02 | Inf
2.19/2.29 o 304
2.19/2.29 c * 2.1s| 6951 | 5158 | 0 | 0.0 | 23M|2816 | - |5645 |6773 | 0 | 0 | 0 |1360 | 0 | 0.000000e+00 | 3.040000e+02 | Inf
2.69/2.78 o 270
2.69/2.78 c * 2.5s| 8041 | 6157 | 0 | 0.0 | 24M|2816 | - |5645 |6960 | 0 | 0 | 0 |1547 | 0 | 0.000000e+00 | 2.700000e+02 | Inf
2.79/2.83 o 269
2.79/2.83 c * 2.6s| 8164 | 6274 | 0 | 0.0 | 24M|2816 | - |5645 |6970 | 0 | 0 | 0 |1557 | 0 | 0.000000e+00 | 2.690000e+02 | Inf
2.79/2.83 o 210
2.79/2.83 c * 2.6s| 8165 | 6192 | 0 | 0.0 | 24M|2816 | - |5645 |6970 | 0 | 0 | 0 |1557 | 0 | 0.000000e+00 | 2.100000e+02 | Inf
3.39/3.48 c 3.2s| 10000 | 7834 | 0 | 0.0 | 26M|2816 | - |5645 |7625 | 0 | 0 | 0 |2455 | 0 | 0.000000e+00 | 2.100000e+02 | Inf
7.00/7.02 c 6.5s| 20000 | 15979 | 0 | 0.0 | 37M|2816 | - |5645 |7859 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.100000e+02 | Inf
12.69/12.71 c 11.9s| 30000 | 22065 | 0 | 0.0 | 49M|2816 | - |5645 | 10k| 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.100000e+02 | Inf
12.69/12.76 o 197
12.69/12.76 c *12.0s| 30103 | 22164 | 0 | 0.0 | 49M|2816 | - |5645 |9997 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
13.20/13.24 o 179
13.20/13.24 c *12.4s| 30848 | 22755 | 0 | 0.0 | 51M|2816 | - |5645 |9837 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
13.89/13.94 o 171
13.89/13.94 c *13.1s| 31961 | 23795 | 0 | 0.0 | 52M|2816 | - |5645 |9630 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.710000e+02 | Inf
14.30/14.33 o 167
14.30/14.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.30/14.33 c *13.5s| 32584 | 24355 | 0 | 0.0 | 53M|2816 | - |5645 |9626 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
15.79/15.87 o 157
15.79/15.87 c *14.9s| 34951 | 26508 | 0 | 0.0 | 55M|2816 | - |5645 |8973 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.570000e+02 | Inf
16.79/16.83 o 153
16.79/16.83 c *15.9s| 36101 | 27474 | 0 | 0.0 | 58M|2816 | - |5645 |9417 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.530000e+02 | Inf
17.50/17.54 o 148
17.50/17.54 c *16.6s| 37120 | 28382 | 0 | 0.0 | 60M|2816 | - |5645 |9124 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.480000e+02 | Inf
18.19/18.20 o 131
18.19/18.20 c *17.2s| 38183 | 29222 | 0 | 0.0 | 60M|2816 | - |5645 |8701 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.310000e+02 | Inf
18.19/18.26 o 124
18.19/18.26 c *17.2s| 38264 | 29155 | 0 | 0.0 | 59M|2816 | - |5645 |8664 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
19.09/19.11 o 106
19.09/19.11 c *18.1s| 39635 | 30249 | 0 | 0.0 | 60M|2816 | - |5645 |8383 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
19.09/19.12 o 104
19.09/19.12 c *18.1s| 39656 | 30214 | 0 | 0.0 | 60M|2816 | - |5645 |8383 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.040000e+02 | Inf
19.09/19.13 o 84
19.09/19.13 c *18.1s| 39657 | 29073 | 0 | 0.0 | 56M|2816 | - |5645 |8383 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
19.29/19.36 c 18.3s| 40000 | 29384 | 0 | 0.0 | 57M|2816 | - |5645 |8370 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
20.69/20.76 o 63
20.69/20.76 c *19.6s| 41762 | 29744 | 0 | 0.0 | 59M|2816 | - |5645 |7842 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
25.19/25.30 o 54
25.19/25.30 c *24.0s| 48639 | 34861 | 0 | 0.0 | 68M|2816 | - |5645 |8331 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
25.19/25.30 o 50
25.19/25.30 c *24.0s| 48640 | 34705 | 0 | 0.0 | 68M|2816 | - |5645 |8331 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
25.90/25.97 c 24.6s| 50000 | 35863 | 0 | 0.0 | 70M|2816 | - |5645 |8307 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
30.59/30.69 c 29.1s| 60000 | 44407 | 0 | 0.0 | 81M|2816 | - |5645 |9534 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
31.90/31.93 o 43
31.90/31.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.90/31.93 c *30.2s| 62869 | 46304 | 0 | 0.0 | 82M|2816 | - |5645 |9888 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
35.80/35.89 c 33.9s| 70000 | 52336 | 0 | 0.0 | 88M|2816 | - |5645 |8716 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
37.40/37.49 o 33
37.40/37.49 c *35.4s| 74044 | 54912 | 0 | 0.0 | 90M|2816 | - |5645 |8754 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
39.69/39.72 c 37.5s| 80000 | 59987 | 0 | 0.0 | 96M|2816 | - |5645 |8980 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
43.39/43.46 c 41.0s| 90000 | 68415 | 0 | 0.0 | 105M|2816 | - |5645 |6948 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
47.20/47.20 c 44.5s|100000 | 76533 | 0 | 0.0 | 115M|2816 | - |5645 |7483 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
51.09/51.14 c 48.2s|110000 | 84487 | 0 | 0.0 | 125M|2816 | - |5645 |7737 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
55.09/55.14 c 52.0s|120000 | 92382 | 0 | 0.0 | 135M|2816 | - |5645 |8262 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
59.19/59.28 c 55.9s|130000 |100180 | 0 | 0.0 | 146M|2816 | - |5645 |8804 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
63.99/64.03 c 60.3s|140000 |107477 | 0 | 0.0 | 156M|2816 | - |5645 |9061 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
69.40/69.48 c 65.5s|150000 |114205 | 0 | 0.0 | 167M|2816 | - |5645 |9370 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
75.59/75.69 c 71.4s|160000 |120239 | 0 | 0.0 | 178M|2816 | - |5645 | 10k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
82.40/82.47 c 77.9s|170000 |125886 | 0 | 0.0 | 190M|2816 | - |5645 | 10k| 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
89.70/89.73 c 84.9s|180000 |131166 | 0 | 0.0 | 201M|2816 | - |5645 | 11k| 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
98.70/98.73 c 93.5s|190000 |135087 | 0 | 0.0 | 212M|2816 | - |5645 | 13k| 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
109.59/109.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.59/109.69 c 104s|200000 |137624 | 0 | 0.0 | 223M|2816 | - |5645 | 15k| 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
118.00/118.06 o 32
118.00/118.06 c * 112s|207657 |140341 | 0 | 0.0 | 227M|2816 | - |5645 |9659 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
118.00/118.07 o 23
118.00/118.07 c * 112s|207658 |139352 | 0 | 0.0 | 225M|2816 | - |5645 |9659 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
119.19/119.28 c 113s|210000 |141390 | 0 | 0.0 | 227M|2816 | - |5645 |7469 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
125.20/125.30 c 119s|220000 |149262 | 0 | 0.0 | 241M|2816 | - |5645 |7865 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
129.20/129.20 o 20
129.20/129.20 c * 123s|224616 |151534 | 0 | 0.0 | 247M|2816 | - |5645 | 10k| 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
129.20/129.21 o 13
129.20/129.21 c * 123s|224617 |150704 | 0 | 0.0 | 243M|2816 | - |5645 | 10k| 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
132.10/132.19 c 126s|230000 |154651 | 0 | 0.0 | 247M|2816 | - |5645 |7310 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
139.09/139.19 c 132s|240000 |160539 | 0 | 0.0 | 259M|2816 | - |5645 |7866 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
141.49/141.59 o 12
141.49/141.59 c * 135s|244732 |164379 | 0 | 0.0 | 265M|2816 | - |5645 |7922 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
144.60/144.61 c 137s|250000 |168655 | 0 | 0.0 | 271M|2816 | - |5645 |8389 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
151.30/151.38 c 144s|260000 |176045 | 0 | 0.0 | 284M|2816 | - |5645 | 10k| 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
161.10/161.13 c 153s|270000 |181527 | 0 | 0.0 | 296M|2816 | - |5645 | 10k| 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
168.20/168.23 c 160s|280000 |187533 | 0 | 0.0 | 306M|2816 | - |5645 | 10k| 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
170.80/170.89 o 10
170.80/170.89 c * 163s|283443 |189201 | 0 | 0.0 | 310M|2816 | - |5645 | 12k| 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
175.69/175.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
175.69/175.76 c 167s|290000 |193122 | 0 | 0.0 | 316M|2816 | - |5645 |9562 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
181.40/181.50 c 173s|300000 |200640 | 0 | 0.0 | 328M|2816 | - |5645 | 11k| 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
188.01/188.09 c 179s|310000 |207608 | 0 | 0.0 | 339M|2816 | - |5645 | 10k| 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
195.10/195.10 c 186s|320000 |214032 | 0 | 0.0 | 351M|2816 | - |5645 | 10k| 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
200.99/201.02 c 191s|330000 |221454 | 0 | 0.0 | 365M|2816 | - |5645 | 13k| 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
204.90/204.91 o 9
204.90/204.91 c * 195s|334865 |224242 | 0 | 0.0 | 369M|2816 | - |5645 | 11k| 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
207.60/207.65 c 198s|340000 |228363 | 0 | 0.0 | 375M|2816 | - |5645 | 12k| 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
214.30/214.38 c 204s|350000 |235146 | 0 | 0.0 | 388M|2816 | - |5645 | 12k| 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
220.10/220.19 c 209s|360000 |243015 | 0 | 0.0 | 400M|2816 | - |5645 | 13k| 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
228.70/228.76 c 218s|370000 |249052 | 0 | 0.0 | 412M|2816 | - |5645 | 17k| 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
234.80/234.86 c 223s|380000 |256406 | 0 | 0.0 | 423M|2816 | - |5645 | 13k| 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
241.90/241.97 c 230s|390000 |262875 | 0 | 0.0 | 434M|2816 | - |5645 | 13k| 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
247.10/247.18 c 235s|400000 |270915 | 0 | 0.0 | 445M|2816 | - |5645 | 14k| 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
254.10/254.13 c 242s|410000 |278016 | 0 | 0.0 | 456M|2816 | - |5645 | 15k| 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
262.11/262.18 c 250s|420000 |283952 | 0 | 0.0 | 465M|2816 | - |5645 | 14k| 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
267.50/267.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
267.50/267.56 c 255s|430000 |291749 | 0 | 0.0 | 476M|2816 | - |5645 | 16k| 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
273.91/273.99 c 261s|440000 |298819 | 0 | 0.0 | 487M|2816 | - |5645 | 15k| 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
280.70/280.70 c 267s|450000 |305583 | 0 | 0.0 | 498M|2816 | - |5645 | 17k| 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
286.01/286.07 c 272s|460000 |313380 | 0 | 0.0 | 508M|2816 | - |5645 | 17k| 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
287.50/287.56 o 8
287.50/287.56 c * 274s|462155 |314217 | 0 | 0.0 | 507M|2816 | - |5645 | 18k| 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
287.50/287.57 o 7
287.50/287.57 c * 274s|462156 |313856 | 0 | 0.0 | 506M|2816 | - |5645 | 18k| 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
292.90/292.99 c 279s|470000 |319497 | 0 | 0.0 | 516M|2816 | - |5645 | 16k| 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
299.01/299.09 c 285s|480000 |326411 | 0 | 0.0 | 526M|2816 | - |5645 | 15k| 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
303.61/303.62 c 289s|490000 |334287 | 0 | 0.0 | 535M|2816 | - |5645 | 14k| 0 | 0 | 0 | 504k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
308.40/308.48 c 294s|500000 |342052 | 0 | 0.0 | 545M|2816 | - |5645 | 15k| 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
315.20/315.24 c 300s|510000 |347848 | 0 | 0.0 | 554M|2816 | - |5645 | 15k| 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
319.80/319.89 c 304s|520000 |355595 | 0 | 0.0 | 564M|2816 | - |5645 | 15k| 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
325.10/325.10 c 309s|530000 |362812 | 0 | 0.0 | 573M|2816 | - |5645 | 14k| 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
330.50/330.57 c 314s|540000 |369579 | 0 | 0.0 | 583M|2816 | - |5645 | 14k| 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
335.51/335.57 c 319s|550000 |377095 | 0 | 0.0 | 593M|2816 | - |5645 | 15k| 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
340.71/340.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
340.71/340.79 c 324s|560000 |384453 | 0 | 0.0 | 602M|2816 | - |5645 | 14k| 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
346.51/346.57 c 330s|570000 |391294 | 0 | 0.0 | 611M|2816 | - |5645 | 14k| 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
352.20/352.25 c 335s|580000 |398132 | 0 | 0.0 | 620M|2816 | - |5645 | 15k| 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
357.61/357.67 c 340s|590000 |405287 | 0 | 0.0 | 629M|2816 | - |5645 | 16k| 0 | 0 | 0 | 553k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
362.31/362.30 c 344s|600000 |413277 | 0 | 0.0 | 638M|2816 | - |5645 | 14k| 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
367.60/367.68 c 349s|610000 |420585 | 0 | 0.0 | 648M|2816 | - |5645 | 15k| 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
373.41/373.48 c 355s|620000 |427453 | 0 | 0.0 | 657M|2816 | - |5645 | 15k| 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
379.30/379.32 c 360s|630000 |434279 | 0 | 0.0 | 665M|2816 | - |5645 | 15k| 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
384.91/384.94 c 366s|640000 |441276 | 0 | 0.0 | 674M|2816 | - |5645 | 14k| 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
390.41/390.43 c 371s|650000 |448367 | 0 | 0.0 | 683M|2816 | - |5645 | 14k| 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
395.81/395.89 c 376s|660000 |455453 | 0 | 0.0 | 688M|2816 | - |5645 |5963 | 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
399.40/399.46 c 379s|670000 |463719 | 0 | 0.0 | 697M|2816 | - |5645 |4898 | 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
402.91/402.99 c 383s|680000 |471829 | 0 | 0.0 | 706M|2816 | - |5645 |4996 | 0 | 0 | 0 | 589k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
406.21/406.28 c 386s|690000 |480149 | 0 | 0.0 | 715M|2816 | - |5645 |4954 | 0 | 0 | 0 | 592k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
410.90/410.95 c 390s|700000 |487166 | 0 | 0.0 | 726M|2816 | - |5645 |6472 | 0 | 0 | 0 | 597k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
415.91/415.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
415.91/415.97 c 395s|710000 |493909 | 0 | 0.0 | 736M|2816 | - |5645 |6724 | 0 | 0 | 0 | 602k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
421.01/421.09 c 400s|720000 |500533 | 0 | 0.0 | 747M|2816 | - |5645 |7058 | 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
426.41/426.40 c 405s|730000 |506997 | 0 | 0.0 | 757M|2816 | - |5645 |7428 | 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
431.91/431.97 c 410s|740000 |513262 | 0 | 0.0 | 768M|2816 | - |5645 |7761 | 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
437.61/437.63 c 415s|750000 |519399 | 0 | 0.0 | 778M|2816 | - |5645 |7978 | 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
443.61/443.61 c 421s|760000 |525282 | 0 | 0.0 | 788M|2816 | - |5645 |8138 | 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
449.81/449.89 c 427s|770000 |531065 | 0 | 0.0 | 799M|2816 | - |5645 |8139 | 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
456.31/456.37 c 433s|780000 |536682 | 0 | 0.0 | 809M|2816 | - |5645 |8077 | 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
462.81/462.81 c 439s|790000 |542348 | 0 | 0.0 | 820M|2816 | - |5645 |8400 | 0 | 0 | 0 | 655k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
469.31/469.37 c 446s|800000 |547873 | 0 | 0.0 | 830M|2816 | - |5645 |9123 | 0 | 0 | 0 | 663k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
476.41/476.40 c 452s|810000 |553115 | 0 | 0.0 | 840M|2816 | - |5645 |9052 | 0 | 0 | 0 | 671k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
483.11/483.15 c 459s|820000 |558551 | 0 | 0.0 | 850M|2816 | - |5645 |9899 | 0 | 0 | 0 | 678k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
490.11/490.12 c 465s|830000 |563817 | 0 | 0.0 | 860M|2816 | - |5645 |9576 | 0 | 0 | 0 | 686k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
497.51/497.50 c 473s|840000 |568920 | 0 | 0.0 | 870M|2816 | - |5645 |9083 | 0 | 0 | 0 | 694k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
504.51/504.55 c 479s|850000 |574138 | 0 | 0.0 | 880M|2816 | - |5645 | 10k| 0 | 0 | 0 | 703k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
512.21/512.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
512.21/512.27 c 487s|860000 |578890 | 0 | 0.0 | 890M|2816 | - |5645 | 10k| 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
519.41/519.45 c 494s|870000 |584112 | 0 | 0.0 | 900M|2816 | - |5645 | 11k| 0 | 0 | 0 | 720k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
527.11/527.17 c 501s|880000 |588884 | 0 | 0.0 | 910M|2816 | - |5645 | 10k| 0 | 0 | 0 | 729k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
534.71/534.77 c 508s|890000 |593804 | 0 | 0.0 | 920M|2816 | - |5645 | 11k| 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
543.11/543.10 c 516s|900000 |598148 | 0 | 0.0 | 929M|2816 | - |5645 | 11k| 0 | 0 | 0 | 747k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
551.02/551.04 c 524s|910000 |602952 | 0 | 0.0 | 940M|2816 | - |5645 | 11k| 0 | 0 | 0 | 756k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
559.71/559.74 c 532s|920000 |607105 | 0 | 0.0 | 949M|2816 | - |5645 | 11k| 0 | 0 | 0 | 766k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
567.52/567.52 c 540s|930000 |611990 | 0 | 0.0 | 959M|2816 | - |5645 | 11k| 0 | 0 | 0 | 775k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
576.71/576.74 c 549s|940000 |615761 | 0 | 0.0 | 968M|2816 | - |5645 | 12k| 0 | 0 | 0 | 786k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
585.71/585.71 c 557s|950000 |619748 | 0 | 0.0 | 977M|2816 | - |5645 | 12k| 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
594.61/594.63 c 566s|960000 |623931 | 0 | 0.0 | 987M|2816 | - |5645 | 13k| 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
604.51/604.51 c 575s|970000 |627316 | 0 | 0.0 | 996M|2816 | - |5645 | 13k| 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
613.31/613.30 c 584s|980000 |631623 | 0 | 0.0 |1006M|2816 | - |5645 | 12k| 0 | 0 | 0 | 827k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
623.72/623.76 c 594s|990000 |634484 | 0 | 0.0 |1014M|2816 | - |5645 | 13k| 0 | 0 | 0 | 839k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
633.81/633.85 c 604s| 1000k|637797 | 0 | 0.0 |1023M|2816 | - |5645 | 14k| 0 | 0 | 0 | 851k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
644.12/644.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
644.12/644.13 c 614s| 1010k|641028 | 0 | 0.0 |1031M|2816 | - |5645 | 13k| 0 | 0 | 0 | 862k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
654.72/654.72 c 624s| 1020k|644006 | 0 | 0.0 |1040M|2816 | - |5645 | 14k| 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
665.32/665.36 c 634s| 1030k|646948 | 0 | 0.0 |1049M|2816 | - |5645 | 14k| 0 | 0 | 0 | 887k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
677.31/677.37 c 646s| 1040k|648470 | 0 | 0.0 |1055M|2816 | - |5645 | 14k| 0 | 0 | 0 | 901k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
691.42/691.42 c 660s| 1050k|648199 | 0 | 0.0 |1061M|2816 | - |5645 | 16k| 0 | 0 | 0 | 917k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
707.82/707.88 c 676s| 1060k|645923 | 0 | 0.0 |1062M|2816 | - |5645 | 18k| 0 | 0 | 0 | 935k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
727.02/727.02 c 694s| 1070k|641073 | 0 | 0.0 |1051M|2816 | - |5645 | 16k| 0 | 0 | 0 | 956k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
731.81/731.86 c 699s| 1080k|649046 | 0 | 0.0 |1059M|2816 | - |5645 |6195 | 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
736.32/736.34 c 703s| 1090k|656843 | 0 | 0.0 |1070M|2816 | - |5645 |6448 | 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
741.01/741.02 c 708s| 1100k|664415 | 0 | 0.0 |1080M|2816 | - |5645 |6851 | 0 | 0 | 0 | 967k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
745.82/745.81 c 712s| 1110k|671914 | 0 | 0.0 |1090M|2816 | - |5645 |7122 | 0 | 0 | 0 | 971k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
750.82/750.88 c 717s| 1120k|679156 | 0 | 0.0 |1100M|2816 | - |5645 |7555 | 0 | 0 | 0 | 975k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
757.21/757.28 c 723s| 1130k|685392 | 0 | 0.0 |1112M|2816 | - |5645 |7940 | 0 | 0 | 0 | 981k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
765.12/765.17 c 730s| 1140k|690433 | 0 | 0.0 |1125M|2816 | - |5645 |9053 | 0 | 0 | 0 | 988k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
774.43/774.42 c 739s| 1150k|694383 | 0 | 0.0 |1137M|2816 | - |5645 |9730 | 0 | 0 | 0 | 998k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
779.02/779.07 o 6
779.02/779.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
779.02/779.07 c * 744s| 1154k|694180 | 0 | 0.0 |1137M|2816 | - |5645 | 10k| 0 | 0 | 0 |1003k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
786.82/786.89 c 751s| 1160k|694722 | 0 | 0.0 |1144M|2816 | - |5645 | 12k| 0 | 0 | 0 |1011k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
797.52/797.53 c 762s| 1170k|696970 | 0 | 0.0 |1150M|2816 | - |5645 |7287 | 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
802.22/802.26 c 766s| 1180k|704450 | 0 | 0.0 |1159M|2816 | - |5645 |7164 | 0 | 0 | 0 |1026k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
807.73/807.70 c 771s| 1190k|711218 | 0 | 0.0 |1170M|2816 | - |5645 |7896 | 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
814.42/814.46 c 777s| 1200k|716980 | 0 | 0.0 |1181M|2816 | - |5645 |9291 | 0 | 0 | 0 |1038k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
823.02/823.03 c 786s| 1210k|721468 | 0 | 0.0 |1194M|2816 | - |5645 | 11k| 0 | 0 | 0 |1046k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
832.93/832.94 c 795s| 1220k|724962 | 0 | 0.0 |1205M|2816 | - |5645 | 13k| 0 | 0 | 0 |1057k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
843.43/843.49 c 805s| 1230k|728266 | 0 | 0.0 |1212M|2816 | - |5645 |9486 | 0 | 0 | 0 |1069k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
848.22/848.22 c 810s| 1240k|736076 | 0 | 0.0 |1221M|2816 | - |5645 |6916 | 0 | 0 | 0 |1072k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
852.72/852.74 c 814s| 1250k|743840 | 0 | 0.0 |1231M|2816 | - |5645 |6792 | 0 | 0 | 0 |1076k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
857.22/857.28 c 818s| 1260k|751472 | 0 | 0.0 |1240M|2816 | - |5645 |6959 | 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
862.02/862.06 c 823s| 1270k|758963 | 0 | 0.0 |1249M|2816 | - |5645 |7245 | 0 | 0 | 0 |1084k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
866.93/866.90 c 827s| 1280k|766307 | 0 | 0.0 |1259M|2816 | - |5645 |7692 | 0 | 0 | 0 |1088k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
867.43/867.49 o 4
867.43/867.49 c * 828s| 1281k|765028 | 0 | 0.0 |1253M|2816 | - |5645 |7757 | 0 | 0 | 0 |1089k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
872.93/872.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
872.93/872.96 c 833s| 1290k|771176 | 0 | 0.0 |1264M|2816 | - |5645 |7906 | 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
879.23/879.28 c 839s| 1300k|778166 | 0 | 0.0 |1274M|2816 | - |5645 |5443 | 0 | 0 | 0 |1098k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
884.72/884.74 c 844s| 1310k|784700 | 0 | 0.0 |1285M|2816 | - |5645 |6650 | 0 | 0 | 0 |1103k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
891.03/891.01 c 850s| 1320k|790485 | 0 | 0.0 |1295M|2816 | - |5645 |7491 | 0 | 0 | 0 |1110k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
897.63/897.68 c 856s| 1330k|796005 | 0 | 0.0 |1306M|2816 | - |5645 |8038 | 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
904.72/904.73 c 863s| 1340k|801338 | 0 | 0.0 |1316M|2816 | - |5645 |8151 | 0 | 0 | 0 |1124k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
912.23/912.26 c 870s| 1350k|806144 | 0 | 0.0 |1326M|2816 | - |5645 |8726 | 0 | 0 | 0 |1132k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
920.13/920.16 c 877s| 1360k|810691 | 0 | 0.0 |1336M|2816 | - |5645 |8909 | 0 | 0 | 0 |1141k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
928.52/928.55 c 885s| 1370k|814727 | 0 | 0.0 |1346M|2816 | - |5645 |9741 | 0 | 0 | 0 |1151k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
937.93/937.93 c 894s| 1380k|818028 | 0 | 0.0 |1355M|2816 | - |5645 | 10k| 0 | 0 | 0 |1161k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
949.02/949.00 c 905s| 1390k|820028 | 0 | 0.0 |1362M|2816 | - |5645 | 10k| 0 | 0 | 0 |1174k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
958.33/958.33 c 914s| 1400k|823193 | 0 | 0.0 |1367M|2816 | - |5645 |7216 | 0 | 0 | 0 |1184k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
963.43/963.40 c 919s| 1410k|830024 | 0 | 0.0 |1375M|2816 | - |5645 |6829 | 0 | 0 | 0 |1189k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
968.63/968.64 c 924s| 1420k|836897 | 0 | 0.0 |1385M|2816 | - |5645 |7571 | 0 | 0 | 0 |1193k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
974.43/974.43 c 929s| 1430k|843380 | 0 | 0.0 |1396M|2816 | - |5645 |8468 | 0 | 0 | 0 |1199k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
981.23/981.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
981.23/981.20 c 935s| 1440k|849051 | 0 | 0.0 |1407M|2816 | - |5645 |9862 | 0 | 0 | 0 |1206k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
988.72/988.77 c 943s| 1450k|854199 | 0 | 0.0 |1417M|2816 | - |5645 | 10k| 0 | 0 | 0 |1214k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
997.32/997.31 c 951s| 1460k|858486 | 0 | 0.0 |1427M|2816 | - |5645 | 11k| 0 | 0 | 0 |1223k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1007.33/1007.37 c 960s| 1470k|861448 | 0 | 0.0 |1436M|2816 | - |5645 | 12k| 0 | 0 | 0 |1235k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1016.83/1016.83 c 970s| 1480k|864747 | 0 | 0.0 |1440M|2816 | - |5645 |7048 | 0 | 0 | 0 |1244k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1021.13/1021.11 c 973s| 1490k|872567 | 0 | 0.0 |1450M|2816 | - |5645 |6797 | 0 | 0 | 0 |1248k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1025.63/1025.69 c 978s| 1500k|880059 | 0 | 0.0 |1459M|2816 | - |5645 |7245 | 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1030.53/1030.56 c 982s| 1510k|887239 | 0 | 0.0 |1469M|2816 | - |5645 |7934 | 0 | 0 | 0 |1257k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1035.73/1035.76 c 987s| 1520k|894184 | 0 | 0.0 |1479M|2816 | - |5645 |8402 | 0 | 0 | 0 |1262k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1041.13/1041.18 c 992s| 1530k|900921 | 0 | 0.0 |1489M|2816 | - |5645 |8783 | 0 | 0 | 0 |1267k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1047.43/1047.43 c 998s| 1540k|906872 | 0 | 0.0 |1499M|2816 | - |5645 |9772 | 0 | 0 | 0 |1273k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1054.94/1054.95 c 1005s| 1550k|911821 | 0 | 0.0 |1509M|2816 | - |5645 | 10k| 0 | 0 | 0 |1281k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1063.23/1063.25 c 1013s| 1560k|916024 | 0 | 0.0 |1518M|2816 | - |5645 | 10k| 0 | 0 | 0 |1291k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1071.44/1071.41 c 1021s| 1570k|920318 | 0 | 0.0 |1526M|2816 | - |5645 |8825 | 0 | 0 | 0 |1300k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1077.63/1077.66 c 1027s| 1580k|926077 | 0 | 0.0 |1534M|2816 | - |5645 |7794 | 0 | 0 | 0 |1306k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1082.93/1082.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1082.93/1082.97 c 1032s| 1590k|932766 | 0 | 0.0 |1542M|2816 | - |5645 |7555 | 0 | 0 | 0 |1312k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1088.13/1088.12 c 1037s| 1600k|939700 | 0 | 0.0 |1552M|2816 | - |5645 |8094 | 0 | 0 | 0 |1317k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1093.53/1093.52 c 1042s| 1610k|946383 | 0 | 0.0 |1561M|2816 | - |5645 |9176 | 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1099.73/1099.78 c 1048s| 1620k|952500 | 0 | 0.0 |1572M|2816 | - |5645 | 10k| 0 | 0 | 0 |1329k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1107.13/1107.10 c 1055s| 1630k|957778 | 0 | 0.0 |1581M|2816 | - |5645 | 11k| 0 | 0 | 0 |1336k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1115.33/1115.36 c 1063s| 1640k|962223 | 0 | 0.0 |1591M|2816 | - |5645 | 13k| 0 | 0 | 0 |1346k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1127.13/1127.13 c 1074s| 1650k|964123 | 0 | 0.0 |1599M|2816 | - |5645 | 14k| 0 | 0 | 0 |1359k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1133.13/1133.11 c 1080s| 1660k|970509 | 0 | 0.0 |1605M|2816 | - |5645 |6787 | 0 | 0 | 0 |1364k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1137.44/1137.45 c 1084s| 1670k|978130 | 0 | 0.0 |1614M|2816 | - |5645 |6942 | 0 | 0 | 0 |1368k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1142.13/1142.15 c 1088s| 1680k|985358 | 0 | 0.0 |1624M|2816 | - |5645 |7532 | 0 | 0 | 0 |1372k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1147.34/1147.36 c 1093s| 1690k|992174 | 0 | 0.0 |1635M|2816 | - |5645 |8282 | 0 | 0 | 0 |1377k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1153.23/1153.25 c 1098s| 1700k|998383 | 0 | 0.0 |1646M|2816 | - |5645 |9139 | 0 | 0 | 0 |1384k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1160.83/1160.82 c 1106s| 1710k| 1003k| 0 | 0.0 |1656M|2816 | - |5645 | 10k| 0 | 0 | 0 |1391k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1169.83/1169.82 c 1114s| 1720k| 1007k| 0 | 0.0 |1665M|2816 | - |5645 | 11k| 0 | 0 | 0 |1401k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1180.54/1180.53 c 1124s| 1730k| 1009k| 0 | 0.0 |1671M|2816 | - |5645 |8429 | 0 | 0 | 0 |1412k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1184.74/1184.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1184.74/1184.73 c 1128s| 1740k| 1017k| 0 | 0.0 |1680M|2816 | - |5645 |7076 | 0 | 0 | 0 |1416k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1189.14/1189.19 c 1133s| 1750k| 1024k| 0 | 0.0 |1689M|2816 | - |5645 |7445 | 0 | 0 | 0 |1420k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1194.14/1194.10 c 1137s| 1760k| 1031k| 0 | 0.0 |1699M|2816 | - |5645 |7974 | 0 | 0 | 0 |1425k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1199.24/1199.28 c 1142s| 1770k| 1038k| 0 | 0.0 |1709M|2816 | - |5645 |8610 | 0 | 0 | 0 |1430k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1200.33/1200.36 o 3
1200.33/1200.36 c *1143s| 1771k| 1036k| 0 | 0.0 |1702M|2816 | - |5645 |8550 | 0 | 0 | 0 |1431k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1205.93/1205.96 c 1148s| 1780k| 1041k| 0 | 0.0 |1712M|2816 | - |5645 |9718 | 0 | 0 | 0 |1436k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1214.13/1214.15 c 1156s| 1790k| 1045k| 0 | 0.0 |1724M|2816 | - |5645 | 11k| 0 | 0 | 0 |1445k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1224.34/1224.39 c 1166s| 1800k| 1049k| 0 | 0.0 |1734M|2816 | - |5645 | 13k| 0 | 0 | 0 |1456k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1232.24/1232.24 c 1173s| 1810k| 1054k| 0 | 0.0 |1740M|2816 | - |5645 |7663 | 0 | 0 | 0 |1463k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1236.84/1236.88 c 1178s| 1820k| 1061k| 0 | 0.0 |1750M|2816 | - |5645 |7911 | 0 | 0 | 0 |1467k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1241.95/1241.92 c 1182s| 1830k| 1069k| 0 | 0.0 |1760M|2816 | - |5645 |7848 | 0 | 0 | 0 |1471k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1246.94/1246.91 c 1187s| 1840k| 1076k| 0 | 0.0 |1769M|2816 | - |5645 |8314 | 0 | 0 | 0 |1476k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1252.24/1252.25 c 1192s| 1850k| 1083k| 0 | 0.0 |1779M|2816 | - |5645 |8443 | 0 | 0 | 0 |1481k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1257.74/1257.76 c 1197s| 1860k| 1089k| 0 | 0.0 |1788M|2816 | - |5645 |8722 | 0 | 0 | 0 |1486k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1263.63/1263.65 c 1203s| 1870k| 1096k| 0 | 0.0 |1798M|2816 | - |5645 |9024 | 0 | 0 | 0 |1492k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1269.63/1269.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1269.63/1269.69 c 1209s| 1880k| 1102k| 0 | 0.0 |1808M|2816 | - |5645 |9230 | 0 | 0 | 0 |1498k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1276.74/1276.74 c 1215s| 1890k| 1107k| 0 | 0.0 |1817M|2816 | - |5645 | 10k| 0 | 0 | 0 |1506k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1284.04/1284.09 c 1222s| 1900k| 1112k| 0 | 0.0 |1827M|2816 | - |5645 | 10k| 0 | 0 | 0 |1513k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1291.83/1291.84 c 1230s| 1910k| 1117k| 0 | 0.0 |1836M|2816 | - |5645 | 10k| 0 | 0 | 0 |1522k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1300.44/1300.46 c 1238s| 1920k| 1122k| 0 | 0.0 |1846M|2816 | - |5645 | 12k| 0 | 0 | 0 |1531k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1310.24/1310.22 c 1247s| 1930k| 1125k| 0 | 0.0 |1854M|2816 | - |5645 | 13k| 0 | 0 | 0 |1542k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1319.94/1319.98 c 1257s| 1940k| 1128k| 0 | 0.0 |1859M|2816 | - |5645 |8408 | 0 | 0 | 0 |1552k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1324.45/1324.47 c 1261s| 1950k| 1136k| 0 | 0.0 |1869M|2816 | - |5645 |7865 | 0 | 0 | 0 |1556k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1329.24/1329.28 c 1265s| 1960k| 1143k| 0 | 0.0 |1878M|2816 | - |5645 |8405 | 0 | 0 | 0 |1560k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1334.34/1334.35 c 1270s| 1970k| 1150k| 0 | 0.0 |1888M|2816 | - |5645 |9397 | 0 | 0 | 0 |1565k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1340.34/1340.39 c 1276s| 1980k| 1157k| 0 | 0.0 |1898M|2816 | - |5645 | 10k| 0 | 0 | 0 |1570k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1347.55/1347.51 c 1282s| 1990k| 1162k| 0 | 0.0 |1908M|2816 | - |5645 | 11k| 0 | 0 | 0 |1578k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1356.04/1356.04 c 1291s| 2000k| 1167k| 0 | 0.0 |1918M|2816 | - |5645 | 12k| 0 | 0 | 0 |1587k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1367.35/1367.33 c 1302s| 2010k| 1169k| 0 | 0.0 |1926M|2816 | - |5645 | 14k| 0 | 0 | 0 |1599k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1373.84/1373.87 c 1308s| 2020k| 1175k| 0 | 0.0 |1932M|2816 | - |5645 |7481 | 0 | 0 | 0 |1605k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1378.14/1378.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1378.14/1378.17 c 1312s| 2030k| 1182k| 0 | 0.0 |1942M|2816 | - |5645 |7698 | 0 | 0 | 0 |1609k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1382.94/1382.99 c 1316s| 2040k| 1190k| 0 | 0.0 |1952M|2816 | - |5645 |8134 | 0 | 0 | 0 |1614k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1388.15/1388.17 c 1321s| 2050k| 1197k| 0 | 0.0 |1963M|2816 | - |5645 |8336 | 0 | 0 | 0 |1619k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1393.74/1393.75 c 1326s| 2060k| 1203k| 0 | 0.0 |1974M|2816 | - |5645 |8727 | 0 | 0 | 0 |1624k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1399.64/1399.69 c 1332s| 2070k| 1210k| 0 | 0.0 |1984M|2816 | - |5645 |8809 | 0 | 0 | 0 |1631k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1405.85/1405.85 c 1338s| 2080k| 1216k| 0 | 0.0 |1994M|2816 | - |5645 |8888 | 0 | 0 | 0 |1637k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1412.14/1412.17 c 1344s| 2090k| 1222k| 0 | 0.0 |2004M|2816 | - |5645 |9033 | 0 | 0 | 0 |1644k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1418.84/1418.82 c 1350s| 2100k| 1227k| 0 | 0.0 |2014M|2816 | - |5645 |9289 | 0 | 0 | 0 |1651k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1425.34/1425.36 c 1356s| 2110k| 1233k| 0 | 0.0 |2024M|2816 | - |5645 |9639 | 0 | 0 | 0 |1658k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1432.25/1432.25 c 1363s| 2120k| 1238k| 0 | 0.0 |2034M|2816 | - |5645 |9722 | 0 | 0 | 0 |1665k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1439.54/1439.51 c 1370s| 2130k| 1244k| 0 | 0.0 |2043M|2816 | - |5645 | 10k| 0 | 0 | 0 |1673k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1446.35/1446.32 c 1376s| 2140k| 1249k| 0 | 0.0 |2052M|2816 | - |5645 | 10k| 0 | 0 | 0 |1681k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1453.34/1453.35 c 1383s| 2150k| 1255k| 0 | 0.0 |2062M|2816 | - |5645 | 10k| 0 | 0 | 0 |1688k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1460.64/1460.60 c 1390s| 2160k| 1260k| 0 | 0.0 |2071M|2816 | - |5645 | 11k| 0 | 0 | 0 |1696k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1468.55/1468.53 c 1397s| 2170k| 1265k| 0 | 0.0 |2081M|2816 | - |5645 | 12k| 0 | 0 | 0 |1704k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1478.54/1478.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1478.54/1478.50 c 1407s| 2180k| 1268k| 0 | 0.0 |2090M|2816 | - |5645 | 14k| 0 | 0 | 0 |1716k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1488.64/1488.66 c 1417s| 2190k| 1271k| 0 | 0.0 |2095M|2816 | - |5645 |9309 | 0 | 0 | 0 |1726k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1492.85/1492.88 c 1421s| 2200k| 1279k| 0 | 0.0 |2104M|2816 | - |5645 |8058 | 0 | 0 | 0 |1730k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1497.44/1497.42 c 1425s| 2210k| 1287k| 0 | 0.0 |2115M|2816 | - |5645 |8661 | 0 | 0 | 0 |1734k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1502.34/1502.34 c 1430s| 2220k| 1294k| 0 | 0.0 |2125M|2816 | - |5645 |9641 | 0 | 0 | 0 |1738k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1507.85/1507.89 c 1435s| 2230k| 1301k| 0 | 0.0 |2136M|2816 | - |5645 | 10k| 0 | 0 | 0 |1744k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1513.95/1513.92 c 1440s| 2240k| 1307k| 0 | 0.0 |2147M|2816 | - |5645 | 11k| 0 | 0 | 0 |1750k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1520.65/1520.62 c 1447s| 2250k| 1313k| 0 | 0.0 |2157M|2816 | - |5645 | 12k| 0 | 0 | 0 |1757k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1528.35/1528.36 c 1454s| 2260k| 1318k| 0 | 0.0 |2167M|2816 | - |5645 | 13k| 0 | 0 | 0 |1766k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1538.44/1538.42 c 1464s| 2270k| 1321k| 0 | 0.0 |2175M|2816 | - |5645 | 14k| 0 | 0 | 0 |1777k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1549.25/1549.25 c 1474s| 2280k| 1324k| 0 | 0.0 |2180M|2816 | - |5645 |9652 | 0 | 0 | 0 |1789k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1553.35/1553.36 c 1478s| 2290k| 1332k| 0 | 0.0 |2189M|2816 | - |5645 |7772 | 0 | 0 | 0 |1792k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1557.55/1557.54 c 1482s| 2300k| 1340k| 0 | 0.0 |2199M|2816 | - |5645 |8109 | 0 | 0 | 0 |1796k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1561.95/1562.00 c 1486s| 2310k| 1347k| 0 | 0.0 |2209M|2816 | - |5645 |8523 | 0 | 0 | 0 |1800k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1566.65/1566.67 c 1491s| 2320k| 1355k| 0 | 0.0 |2218M|2816 | - |5645 |8794 | 0 | 0 | 0 |1804k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1571.65/1571.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1571.65/1571.69 c 1495s| 2330k| 1361k| 0 | 0.0 |2228M|2816 | - |5645 |9589 | 0 | 0 | 0 |1809k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1577.15/1577.17 c 1500s| 2340k| 1368k| 0 | 0.0 |2238M|2816 | - |5645 | 10k| 0 | 0 | 0 |1815k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1583.44/1583.42 c 1506s| 2350k| 1374k| 0 | 0.0 |2248M|2816 | - |5645 | 10k| 0 | 0 | 0 |1822k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1591.05/1591.00 c 1514s| 2360k| 1378k| 0 | 0.0 |2257M|2816 | - |5645 | 11k| 0 | 0 | 0 |1830k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1600.55/1600.57 c 1523s| 2370k| 1382k| 0 | 0.0 |2266M|2816 | - |5645 | 13k| 0 | 0 | 0 |1841k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1610.05/1610.06 c 1532s| 2380k| 1385k| 0 | 0.0 |2272M|2816 | - |5645 |8670 | 0 | 0 | 0 |1852k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1614.54/1614.52 c 1536s| 2390k| 1393k| 0 | 0.0 |2281M|2816 | - |5645 |8073 | 0 | 0 | 0 |1856k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1619.05/1619.01 c 1540s| 2400k| 1400k| 0 | 0.0 |2291M|2816 | - |5645 |8864 | 0 | 0 | 0 |1860k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1623.95/1623.91 c 1545s| 2410k| 1407k| 0 | 0.0 |2301M|2816 | - |5645 |9526 | 0 | 0 | 0 |1864k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1629.25/1629.29 c 1550s| 2420k| 1414k| 0 | 0.0 |2311M|2816 | - |5645 | 10k| 0 | 0 | 0 |1870k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1635.25/1635.28 c 1556s| 2430k| 1420k| 0 | 0.0 |2322M|2816 | - |5645 | 11k| 0 | 0 | 0 |1876k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1642.36/1642.36 c 1562s| 2440k| 1426k| 0 | 0.0 |2332M|2816 | - |5645 | 12k| 0 | 0 | 0 |1883k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1650.55/1650.50 c 1570s| 2450k| 1431k| 0 | 0.0 |2342M|2816 | - |5645 | 13k| 0 | 0 | 0 |1892k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1661.24/1661.27 c 1580s| 2460k| 1433k| 0 | 0.0 |2349M|2816 | - |5645 | 14k| 0 | 0 | 0 |1904k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1663.45/1663.47 o 2
1663.45/1663.47 c *1583s| 2461k| 1398k| 0 | 0.0 |2306M|2816 | - |5645 | 15k| 0 | 0 | 0 |1907k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1668.94/1668.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1668.94/1668.93 c 1588s| 2470k| 1404k| 0 | 0.0 |2311M|2816 | - |5645 |8897 | 0 | 0 | 0 |1912k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1673.25/1673.26 c 1592s| 2480k| 1412k| 0 | 0.0 |2321M|2816 | - |5645 |8920 | 0 | 0 | 0 |1915k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1677.85/1677.83 c 1596s| 2490k| 1419k| 0 | 0.0 |2331M|2816 | - |5645 |9334 | 0 | 0 | 0 |1919k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1682.85/1682.81 c 1601s| 2500k| 1426k| 0 | 0.0 |2341M|2816 | - |5645 |9991 | 0 | 0 | 0 |1924k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1688.05/1688.05 c 1606s| 2510k| 1433k| 0 | 0.0 |2351M|2816 | - |5645 | 10k| 0 | 0 | 0 |1929k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1693.96/1693.91 c 1611s| 2520k| 1440k| 0 | 0.0 |2361M|2816 | - |5645 | 11k| 0 | 0 | 0 |1935k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1700.75/1700.78 c 1618s| 2530k| 1445k| 0 | 0.0 |2370M|2816 | - |5645 | 12k| 0 | 0 | 0 |1943k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1709.36/1709.35 c 1626s| 2540k| 1450k| 0 | 0.0 |2380M|2816 | - |5645 | 13k| 0 | 0 | 0 |1952k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1720.46/1720.46 c 1637s| 2550k| 1452k| 0 | 0.0 |2388M|2816 | - |5645 | 14k| 0 | 0 | 0 |1965k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1728.25/1728.21 c 1644s| 2560k| 1457k| 0 | 0.0 |2393M|2816 | - |5645 |7878 | 0 | 0 | 0 |1973k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1732.46/1732.47 c 1648s| 2570k| 1465k| 0 | 0.0 |2402M|2816 | - |5645 |7511 | 0 | 0 | 0 |1977k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1736.55/1736.59 c 1652s| 2580k| 1473k| 0 | 0.0 |2412M|2816 | - |5645 |7728 | 0 | 0 | 0 |1981k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1740.85/1740.81 c 1656s| 2590k| 1480k| 0 | 0.0 |2421M|2816 | - |5645 |8037 | 0 | 0 | 0 |1985k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1745.26/1745.28 c 1660s| 2600k| 1488k| 0 | 0.0 |2431M|2816 | - |5645 |8188 | 0 | 0 | 0 |1989k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1749.95/1749.93 c 1664s| 2610k| 1495k| 0 | 0.0 |2441M|2816 | - |5645 |8677 | 0 | 0 | 0 |1994k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1754.85/1754.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1754.85/1754.82 c 1669s| 2620k| 1502k| 0 | 0.0 |2451M|2816 | - |5645 |8951 | 0 | 0 | 0 |1998k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1760.05/1760.04 c 1674s| 2630k| 1509k| 0 | 0.0 |2461M|2816 | - |5645 |9402 | 0 | 0 | 0 |2004k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1765.56/1765.58 c 1679s| 2640k| 1516k| 0 | 0.0 |2472M|2816 | - |5645 |9675 | 0 | 0 | 0 |2009k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1771.15/1771.19 c 1684s| 2650k| 1523k| 0 | 0.0 |2482M|2816 | - |5645 |9840 | 0 | 0 | 0 |2015k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1777.35/1777.32 c 1690s| 2660k| 1529k| 0 | 0.0 |2492M|2816 | - |5645 | 10k| 0 | 0 | 0 |2022k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1783.75/1783.73 c 1696s| 2670k| 1535k| 0 | 0.0 |2502M|2816 | - |5645 | 10k| 0 | 0 | 0 |2029k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1790.86/1790.87 c 1703s| 2680k| 1540k| 0 | 0.0 |2512M|2816 | - |5645 | 11k| 0 | 0 | 0 |2037k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1798.75/1798.72 c 1710s| 2690k| 1545k| 0 | 0.0 |2521M|2816 | - |5645 | 11k| 0 | 0 | 0 |2046k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1711.68
1800.05/1800.00 c Solving Nodes : 2691574
1800.05/1800.00 c Primal Bound : +2.00000000000000e+00 (41 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.07 s SATISFIABLE
1800.05/1800.07 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.05/1800.07 v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189
1800.05/1800.07 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.05/1800.07 v -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.05/1800.07 v -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125
1800.05/1800.07 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 x106 -x105 -x104
1800.05/1800.07 v -x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.05/1800.07 v x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 -x54
1800.05/1800.07 v -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29
1800.05/1800.07 v -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2
1800.05/1800.07 v -x1
1800.05/1800.07 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.07 c Solving Time : 1711.68
1800.05/1800.07 c Original Problem :
1800.05/1800.07 c Problem name : HOME/instance-2693689-1277930337.wbo
1800.05/1800.07 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.07 c Constraints : 5415 initial, 5415 maximal
1800.05/1800.07 c Presolved Problem :
1800.05/1800.07 c Problem name : t_HOME/instance-2693689-1277930337.wbo
1800.05/1800.07 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.07 c Constraints : 5414 initial, 22124 maximal
1800.05/1800.07 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.07 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.07 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.07 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.07 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.07 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.07 c probing : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.07 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.07 c linear : 0.01 0 0 0 2707 0 1 0 0
1800.05/1800.07 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.07 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.07 c root node : - 2669 - - 5338 - - - -
1800.05/1800.07 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.07 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.07 c indicator : 2707 0 6323347 0 1807161 121 1941474 0 0 0
1800.05/1800.07 c linear : 2707 0 8391358 0 2295113 576858 49177926 0 0 0
1800.05/1800.07 c logicor : 0+ 0 3772027 0 0 75070 2076457 0 0 0
1800.05/1800.07 c bounddisjunction : 0+ 0 23621 0 0 0 18 0 0 0
1800.05/1800.07 c countsols : 0 0 0 0 2295140 0 0 0 0 0
1800.05/1800.07 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.07 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.07 c indicator : 17.76 0.00 6.67 0.00 11.09
1800.05/1800.07 c linear : 452.97 0.00 451.61 0.00 1.36
1800.05/1800.07 c logicor : 220.21 0.00 220.21 0.00 0.00
1800.05/1800.07 c bounddisjunction : 0.04 0.00 0.04 0.00 0.00
1800.05/1800.07 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.07 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.07 c vbounds : 0.00 2 0 0
1800.05/1800.07 c rootredcost : 0.00 0 0 0
1800.05/1800.07 c pseudoobj : 411.96 8394102 2516 1910584
1800.05/1800.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.07 c propagation : 34.27 654444 654439 3078770 20.0 211849 10.7 -
1800.05/1800.07 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.07 c pseudo solution : 0.06 171 171 815 30.9 551 10.0 -
1800.05/1800.07 c applied globally : - - - 2047356 17.8 - - -
1800.05/1800.07 c applied locally : - - - 0 0.0 - - -
1800.05/1800.07 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.07 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.07 c redcost : 0.00 0 0 0 0 0
1800.05/1800.07 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.07 c intobj : 0.00 0 0 0 0 0
1800.05/1800.07 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.07 c gomory : 0.00 0 0 0 0 0
1800.05/1800.07 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.07 c cmir : 0.00 0 0 0 0 0
1800.05/1800.07 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.07 c clique : 0.00 0 0 0 0 0
1800.05/1800.07 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.07 c mcf : 0.00 0 0 0 0 0
1800.05/1800.07 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.07 c Pricers : Time Calls Vars
1800.05/1800.07 c problem variables: 0.00 0 0
1800.05/1800.07 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.07 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.07 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.07 c inference : 43.17 2295102 0 0 0 0 4590204
1800.05/1800.07 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.07 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.08 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.08 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.08 c random : 0.00 0 0 0 0 0 0
1800.05/1800.08 c Primal Heuristics : Time Calls Found
1800.05/1800.08 c LP solutions : 0.00 - 0
1800.05/1800.08 c pseudo solutions : 0.19 - 38
1800.05/1800.08 c oneopt : 0.02 0 0
1800.05/1800.08 c trivial : 0.07 2 2
1800.05/1800.08 c simplerounding : 0.00 0 0
1800.05/1800.08 c zirounding : 0.00 0 0
1800.05/1800.08 c rounding : 0.00 0 0
1800.05/1800.08 c shifting : 0.00 0 0
1800.05/1800.08 c intshifting : 0.00 0 0
1800.05/1800.08 c twoopt : 0.00 0 0
1800.05/1800.08 c fixandinfer : 0.00 0 0
1800.05/1800.08 c feaspump : 0.00 0 0
1800.05/1800.08 c coefdiving : 0.00 0 0
1800.05/1800.08 c pscostdiving : 0.00 0 0
1800.05/1800.08 c fracdiving : 0.00 0 0
1800.05/1800.08 c veclendiving : 0.00 0 0
1800.05/1800.08 c intdiving : 0.00 0 0
1800.05/1800.08 c actconsdiving : 0.00 0 0
1800.05/1800.08 c objpscostdiving : 0.00 0 0
1800.05/1800.08 c rootsoldiving : 0.00 0 0
1800.05/1800.08 c linesearchdiving : 0.00 0 0
1800.05/1800.08 c guideddiving : 0.00 0 0
1800.05/1800.08 c octane : 0.00 0 0
1800.05/1800.08 c rens : 0.00 0 0
1800.05/1800.08 c rins : 0.00 0 0
1800.05/1800.08 c localbranching : 0.00 0 0
1800.05/1800.08 c mutation : 0.00 0 0
1800.05/1800.08 c crossover : 0.00 0 0
1800.05/1800.08 c dins : 0.00 0 0
1800.05/1800.08 c undercover : 0.00 0 0
1800.05/1800.08 c nlp : 0.00 0 0
1800.05/1800.08 c trysol : 0.01 1 1
1800.05/1800.08 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.08 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.08 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.08 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.08 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.08 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.08 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.08 c (at root node) : - 0 0 0.00 -
1800.05/1800.08 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.08 c B&B Tree :
1800.05/1800.08 c number of runs : 1
1800.05/1800.08 c nodes : 2691574
1800.05/1800.08 c nodes (total) : 2691574
1800.05/1800.08 c nodes left : 1545910
1800.05/1800.08 c max depth : 2816
1800.05/1800.08 c max depth (total): 2816
1800.05/1800.08 c backtracks : 351604 (13.1%)
1800.05/1800.08 c delayed cutoffs : 300808
1800.05/1800.08 c repropagations : 1468401 (16932463 domain reductions, 258302 cutoffs)
1800.05/1800.08 c avg switch length: 42.19
1800.05/1800.08 c switching time : 480.51
1800.05/1800.08 c Solution :
1800.05/1800.08 c Solutions found : 41 (39 improvements)
1800.05/1800.08 c First Solution : +1.35864000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.05/1800.08 c Primal Bound : +2.00000000000000e+00 (in run 1, after 2461438 nodes, 1582.47 seconds, depth 1324, found by <relaxation>)
1800.05/1800.08 c Dual Bound : +0.00000000000000e+00
1800.05/1800.08 c Gap : infinite
1800.05/1800.08 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.08 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693689-1277930337/watcher-2693689-1277930337 -o /tmp/evaluation-result-2693689-1277930337/solver-2693689-1277930337 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693689-1277930337.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.02 2.13 3/178 18353
/proc/meminfo: memFree=31357688/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=8264 CPUtime=0
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 1547 0 0 0 0 0 0 0 23 0 1 0 134328945 8462336 1470 4089446400 4194304 7136930 140735192984416 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18353/statm: 2066 1470 275 719 0 1345 0
[startup+0.0946839 s]
/proc/loadavg: 2.00 2.02 2.13 3/178 18353
/proc/meminfo: memFree=31357688/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=33680 CPUtime=0.08
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 7967 0 0 0 8 0 0 0 23 0 1 0 134328945 34488320 7536 4089446400 4194304 7136930 140735192984416 18446744073709551615 6350076 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18353/statm: 8420 7536 323 719 0 7699 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 33680
[startup+0.100671 s]
/proc/loadavg: 2.00 2.02 2.13 3/178 18353
/proc/meminfo: memFree=31357688/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=33680 CPUtime=0.09
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 7967 0 0 0 9 0 0 0 23 0 1 0 134328945 34488320 7536 4089446400 4194304 7136930 140735192984416 18446744073709551615 4240882 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18353/statm: 8420 7536 323 719 0 7699 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33680
[startup+0.300634 s]
/proc/loadavg: 2.00 2.02 2.13 3/178 18353
/proc/meminfo: memFree=31357688/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=36500 CPUtime=0.29
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 9241 0 0 0 27 2 0 0 23 0 1 0 134328945 37376000 8296 4089446400 4194304 7136930 140735192984416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18353/statm: 9125 8296 383 719 0 8404 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36500
[startup+0.700558 s]
/proc/loadavg: 2.00 2.02 2.13 3/178 18353
/proc/meminfo: memFree=31357688/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=37640 CPUtime=0.69
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 9516 0 0 0 64 5 0 0 25 0 1 0 134328945 38543360 8571 4089446400 4194304 7136930 140735192984416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18353/statm: 9410 8571 383 719 0 8689 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37640
[startup+1.50042 s]
/proc/loadavg: 2.00 2.02 2.13 3/179 18354
/proc/meminfo: memFree=31323208/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=42988 CPUtime=1.49
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 10860 0 0 0 136 13 0 0 25 0 1 0 134328945 44019712 9915 4089446400 4194304 7136930 140735192984416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18353/statm: 10747 9915 390 719 0 10026 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42988
[startup+3.1011 s]
/proc/loadavg: 2.00 2.02 2.13 3/179 18354
/proc/meminfo: memFree=31318992/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=46932 CPUtime=3.09
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 11810 0 0 0 287 22 0 0 25 0 1 0 134328945 48058368 10865 4089446400 4194304 7136930 140735192984416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18353/statm: 11733 10865 391 719 0 11012 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46932
[startup+6.3005 s]
/proc/loadavg: 2.00 2.02 2.13 3/179 18354
/proc/meminfo: memFree=31305180/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=61520 CPUtime=6.3
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 15373 0 0 0 587 43 0 0 25 0 1 0 134328945 62996480 14428 4089446400 4194304 7136930 140735192984416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18353/statm: 15380 14428 391 719 0 14659 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 61520
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.13 3/179 18355
/proc/meminfo: memFree=31286092/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=79344 CPUtime=12.69
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 19780 0 0 0 1194 75 0 0 25 0 1 0 134328945 81248256 18835 4089446400 4194304 7136930 140735192984416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18353/statm: 19836 18835 391 719 0 19115 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 79344
[startup+25.5009 s]
/proc/loadavg: 2.00 2.02 2.13 3/179 18356
/proc/meminfo: memFree=31241264/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=127428 CPUtime=25.49
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 31401 0 0 0 2417 132 0 0 25 0 1 0 134328945 130486272 30456 4089446400 4194304 7136930 140735192984416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18353/statm: 31857 30456 391 719 0 31136 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 127428
[startup+51.101 s]
/proc/loadavg: 2.00 2.02 2.12 3/179 18356
/proc/meminfo: memFree=31176664/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=193496 CPUtime=51.09
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 47382 0 0 0 4820 289 0 0 25 0 1 0 134328945 198139904 46437 4089446400 4194304 7136930 140735192984416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18353/statm: 48374 46437 391 719 0 47653 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 193496
[startup+102.306 s]
/proc/loadavg: 2.00 2.01 2.11 3/179 18358
/proc/meminfo: memFree=31074320/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=293896 CPUtime=102.3
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 72581 0 0 0 9704 526 0 0 25 0 1 0 134328945 300949504 71636 4089446400 4194304 7136930 140735192984416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18353/statm: 73474 71636 391 719 0 72753 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 293896
[startup+162.301 s]
/proc/loadavg: 2.07 2.02 2.11 3/179 18359
/proc/meminfo: memFree=30972328/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=400000 CPUtime=162.29
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 98427 0 0 0 15435 794 0 0 25 0 1 0 134328945 409600000 97482 4089446400 4194304 7136930 140735192984416 18446744073709551615 5950832 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18353/statm: 100000 97482 393 719 0 99279 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 400000
[startup+222.301 s]
/proc/loadavg: 2.02 2.02 2.10 3/179 18360
/proc/meminfo: memFree=30859324/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=518308 CPUtime=222.3
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 126140 0 0 0 21145 1085 0 0 25 0 1 0 134328945 530747392 125195 4089446400 4194304 7136930 140735192984416 18446744073709551615 4925539 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18353/statm: 129577 125195 393 719 0 128856 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 518308
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.09 3/179 18362
/proc/meminfo: memFree=30762548/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=618152 CPUtime=282.3
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 150991 0 0 0 26876 1354 0 0 25 0 1 0 134328945 632987648 150046 4089446400 4194304 7136930 140735192984416 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18353/statm: 154538 150046 393 719 0 153817 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 618152
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 18364
/proc/meminfo: memFree=30651748/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=726588 CPUtime=342.31
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 178212 0 0 0 32549 1682 0 0 25 0 1 0 134328945 744026112 177267 4089446400 4194304 7136930 140735192984416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18353/statm: 181647 177267 393 719 0 180926 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 726588
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 18366
/proc/meminfo: memFree=30541456/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=844304 CPUtime=402.3
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 205953 0 0 0 38201 2029 0 0 25 0 1 0 134328945 864567296 205008 4089446400 4194304 7136930 140735192984416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18353/statm: 211076 205008 393 719 0 210355 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 844304
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 18367
/proc/meminfo: memFree=30426944/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=955536 CPUtime=462.31
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 233996 0 0 0 43890 2341 0 0 25 0 1 0 134328945 978468864 233051 4089446400 4194304 7136930 140735192984416 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18353/statm: 238884 233051 393 719 0 238163 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 955536
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 18368
/proc/meminfo: memFree=30335244/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=1047936 CPUtime=522.31
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 257206 0 0 0 49636 2595 0 0 25 0 1 0 134328945 1073086464 256261 4089446400 4194304 7136930 140735192984416 18446744073709551615 5004398 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18353/statm: 261984 256261 393 719 0 261263 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1047936
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 18370
/proc/meminfo: memFree=30267856/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=1112712 CPUtime=582.31
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 273610 0 0 0 55405 2826 0 0 25 0 1 0 134328945 1139417088 272665 4089446400 4194304 7136930 140735192984416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18353/statm: 278178 272665 393 719 0 277457 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1112712
[startup+642.3 s]
/proc/loadavg: 2.06 2.02 2.06 3/179 18372
/proc/meminfo: memFree=30215340/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=1165892 CPUtime=642.32
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 286734 0 0 0 61207 3025 0 0 25 0 1 0 134328945 1193873408 285789 4089446400 4194304 7136930 140735192984416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18353/statm: 291473 285789 393 719 0 290752 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 1165892
[startup+702.301 s]
################
# More data... #
################
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 391096 0 0 0 95562 4671 0 0 25 0 1 0 134328945 1619697664 390151 4089446400 4194304 7136930 140735192984416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18353/statm: 395434 390151 393 719 0 394713 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 1581736
[startup+1062.3 s]
/proc/loadavg: 1.99 1.99 2.01 3/179 18411
/proc/meminfo: memFree=29014644/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=1660224 CPUtime=1062.33
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 410931 0 0 0 101241 4992 0 0 25 0 1 0 134328945 1700069376 409986 4089446400 4194304 7136930 140735192984416 18446744073709551615 5950832 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18353/statm: 415056 409986 393 719 0 414335 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 1660224
[startup+1122.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/179 18412
/proc/meminfo: memFree=28832792/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=1745648 CPUtime=1122.33
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 432354 0 0 0 106924 5309 0 0 25 0 1 0 134328945 1787543552 431409 4089446400 4194304 7136930 140735192984416 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18353/statm: 436412 431409 393 719 0 435691 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1745648
[startup+1182.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 18414
/proc/meminfo: memFree=28696596/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=1842856 CPUtime=1182.34
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 452535 0 0 0 112617 5617 0 0 25 0 1 0 134328945 1887084544 451590 4089446400 4194304 7136930 140735192984416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18353/statm: 460714 451590 393 719 0 459993 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 1842856
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 18416
/proc/meminfo: memFree=28563492/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=1919800 CPUtime=1242.33
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 472132 0 0 0 118285 5948 0 0 25 0 1 0 134328945 1965875200 471187 4089446400 4194304 7136930 140735192984416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18353/statm: 479950 471187 393 719 0 479229 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1919800
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18418
/proc/meminfo: memFree=28443896/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=2009092 CPUtime=1302.35
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 494657 0 0 0 123968 6267 0 0 25 0 1 0 134328945 2057310208 493712 4089446400 4194304 7136930 140735192984416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18353/statm: 502273 493712 393 719 0 501552 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 2009092
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18428
/proc/meminfo: memFree=28291016/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=2082120 CPUtime=1362.34
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 513109 0 0 0 129671 6563 0 0 25 0 1 0 134328945 2132090880 512164 4089446400 4194304 7136930 140735192984416 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18353/statm: 520530 512164 393 719 0 519809 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 2082120
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18429
/proc/meminfo: memFree=28111032/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=2183796 CPUtime=1422.35
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 538650 0 0 0 135347 6888 0 0 25 0 1 0 134328945 2236207104 537705 4089446400 4194304 7136930 140735192984416 18446744073709551615 4923948 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18353/statm: 545949 537705 393 719 0 545228 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 2183796
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18431
/proc/meminfo: memFree=27975832/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=2250324 CPUtime=1482.34
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 555468 0 0 0 141068 7166 0 0 25 0 1 0 134328945 2304331776 554523 4089446400 4194304 7136930 140735192984416 18446744073709551615 4408919 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18353/statm: 562581 554523 393 719 0 561860 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 2250324
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18433
/proc/meminfo: memFree=27819912/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=2331956 CPUtime=1542.34
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 576279 0 0 0 146761 7473 0 0 25 0 1 0 134328945 2387922944 575334 4089446400 4194304 7136930 140735192984416 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18353/statm: 582989 575334 393 719 0 582268 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 2331956
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18435
/proc/meminfo: memFree=27631876/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=2423892 CPUtime=1602.35
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 599227 0 0 0 152440 7795 0 0 25 0 1 0 134328945 2482065408 598282 4089446400 4194304 7136930 140735192984416 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18353/statm: 605973 598282 393 719 0 605252 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 2423892
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18436
/proc/meminfo: memFree=27467276/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=2505916 CPUtime=1662.35
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 620077 0 0 0 158144 8091 0 0 25 0 1 0 134328945 2566057984 619132 4089446400 4194304 7136930 140735192984416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18353/statm: 626479 619132 393 719 0 625758 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 2505916
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18437
/proc/meminfo: memFree=27358364/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=2544632 CPUtime=1722.35
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 629652 0 0 0 163848 8387 0 0 25 0 1 0 134328945 2605703168 628707 4089446400 4194304 7136930 140735192984416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18353/statm: 636158 628707 393 719 0 635437 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 2544632
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18439
/proc/meminfo: memFree=27157188/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=2654636 CPUtime=1782.35
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 657460 0 0 0 169483 8752 0 0 25 0 1 0 134328945 2718347264 656515 4089446400 4194304 7136930 140735192984416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18353/statm: 663659 656515 393 719 0 662938 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 2654636
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18439
/proc/meminfo: memFree=27106956/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=2677748 CPUtime=1800.05
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 663292 0 0 0 171170 8835 0 0 25 0 1 0 134328945 2742013952 662347 4089446400 4194304 7136930 140735192984416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18353/statm: 669437 662347 393 719 0 668716 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2677748
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -18353
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 18440
/proc/meminfo: memFree=27106824/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=2677748 CPUtime=1801.45
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 663311 0 0 0 171310 8835 0 0 25 0 1 0 134328945 2742013952 662366 4089446400 4194304 7136930 140735192984416 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/18353/statm: 669437 662366 399 719 0 668716 0
Current children cumulated CPU time (s) 1801.45
Current children cumulated vsize (KiB) 2677748
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 18440
/proc/meminfo: memFree=27105708/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=2677748 CPUtime=1801.85
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 663311 0 0 0 171350 8835 0 0 25 0 1 0 134328945 2742013952 662366 4089446400 4194304 7136930 140735192984416 18446744073709551615 6165636 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/18353/statm: 669437 662366 399 719 0 668716 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 2677748
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 18440
/proc/meminfo: memFree=27105708/32951124 swapFree=67111528/67111528
[pid=18353] ppid=18351 vsize=2677748 CPUtime=1802.05
/proc/18353/stat : 18353 (pbscip.linux.x8) R 18351 18353 18032 0 -1 4202496 663311 0 0 0 171370 8835 0 0 25 0 1 0 134328945 2742013952 662366 4089446400 4194304 7136930 140735192984416 18446744073709551615 4212288 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/18353/statm: 669437 662366 399 719 0 668716 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 2677748
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.09
CPU time (s): 1802.15
CPU user time (s): 1713.71
CPU system time (s): 88.4436
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2677748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1713.71
system time used= 88.4436
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 663311
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 1219
runsolver used 2.49062 second user time and 5.73713 second system time
The end
Begin job on node141 at 2010-06-30 22:38:57
IDJOB=2693689
IDBENCH=79305
IDSOLVER=1206
FILE ID=node141/2693689-1277930337
PBS_JOBID= 11197396
Free space on /tmp= 74208 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900669797--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693689-1277930337/watcher-2693689-1277930337 -o /tmp/evaluation-result-2693689-1277930337/solver-2693689-1277930337 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693689-1277930337.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ebbce1c4489027f4644c8b5f9031d297
RANDOM SEED=567242488
node141.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.788
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.57
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.788
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.68
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.788
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.83
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.788
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.788
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.80
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.788
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.788
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.788
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31358464 kB
Buffers: 214784 kB
Cached: 1145568 kB
SwapCached: 0 kB
Active: 659264 kB
Inactive: 787972 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31358464 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3132 kB
Writeback: 0 kB
AnonPages: 87344 kB
Mapped: 15444 kB
Slab: 80256 kB
PageTables: 4836 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 232488 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 node141 at 2010-06-30 23:08:59