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-2693625-1277927224.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 136624
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.366240e+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.98
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.09/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.09/0.20 c t 0.1s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.366240e+05 | Inf
1.99/2.09 o 462
1.99/2.09 c * 1.9s| 6689 | 6305 | 0 | 0.0 | 23M|2816 | - |5645 |6850 | 0 | 0 | 0 |1436 | 0 | 0.000000e+00 | 4.620000e+02 | Inf
2.09/2.10 o 460
2.09/2.10 c * 1.9s| 6690 | 6304 | 0 | 0.0 | 23M|2816 | - |5645 |6850 | 0 | 0 | 0 |1436 | 0 | 0.000000e+00 | 4.600000e+02 | Inf
2.09/2.19 o 418
2.09/2.19 c * 2.0s| 6864 | 6471 | 0 | 0.0 | 23M|2816 | - |5645 |6873 | 0 | 0 | 0 |1459 | 0 | 0.000000e+00 | 4.180000e+02 | Inf
2.49/2.59 o 417
2.49/2.59 c * 2.4s| 7730 | 7307 | 0 | 0.0 | 24M|2816 | - |5645 |7015 | 0 | 0 | 0 |1601 | 0 | 0.000000e+00 | 4.170000e+02 | Inf
2.49/2.59 o 401
2.49/2.59 c * 2.4s| 7731 | 7304 | 0 | 0.0 | 24M|2816 | - |5645 |7015 | 0 | 0 | 0 |1601 | 0 | 0.000000e+00 | 4.010000e+02 | Inf
2.69/2.74 o 358
2.69/2.74 c * 2.5s| 8215 | 7078 | 0 | 0.0 | 24M|2816 | - |5645 |7066 | 0 | 0 | 0 |1652 | 0 | 0.000000e+00 | 3.580000e+02 | Inf
3.19/3.21 o 314
3.19/3.21 c * 3.0s| 9854 | 7428 | 0 | 0.0 | 25M|2816 | - |5645 |7141 | 0 | 0 | 0 |1729 | 0 | 0.000000e+00 | 3.140000e+02 | Inf
3.19/3.26 c 3.0s| 10000 | 7568 | 0 | 0.0 | 25M|2816 | - |5645 |7180 | 0 | 0 | 0 |1769 | 0 | 0.000000e+00 | 3.140000e+02 | Inf
3.19/3.29 o 249
3.19/3.29 c * 3.0s| 10120 | 7011 | 0 | 0.0 | 25M|2816 | - |5645 |7220 | 0 | 0 | 0 |1809 | 0 | 0.000000e+00 | 2.490000e+02 | Inf
3.19/3.30 o 177
3.19/3.30 c * 3.0s| 10121 | 6922 | 0 | 0.0 | 25M|2816 | - |5645 |7220 | 0 | 0 | 0 |1809 | 0 | 0.000000e+00 | 1.770000e+02 | Inf
6.49/6.52 c 6.1s| 20000 | 15160 | 0 | 0.0 | 36M|2816 | - |5645 |7998 | 0 | 0 | 0 |9248 | 0 | 0.000000e+00 | 1.770000e+02 | Inf
10.79/10.86 c 10.1s| 30000 | 22239 | 0 | 0.0 | 48M|2816 | - |5645 |9518 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
13.59/13.67 o 164
13.59/13.67 c *12.8s| 33758 | 23658 | 0 | 0.0 | 53M|2816 | - |5645 |9727 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.640000e+02 | Inf
14.40/14.47 o 160
14.40/14.47 c *13.6s| 35202 | 25015 | 0 | 0.0 | 55M|2816 | - |5645 |9259 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
14.49/14.59 o 151
14.49/14.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.49/14.59 c *13.7s| 35389 | 25080 | 0 | 0.0 | 55M|2816 | - |5645 |9184 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.510000e+02 | Inf
14.59/14.60 o 146
14.59/14.60 c *13.7s| 35390 | 25026 | 0 | 0.0 | 55M|2816 | - |5645 |9184 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.460000e+02 | Inf
14.59/14.68 o 139
14.59/14.68 c *13.8s| 35528 | 25080 | 0 | 0.0 | 55M|2816 | - |5645 |9140 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
16.19/16.22 o 136
16.19/16.22 c *15.2s| 37836 | 27232 | 0 | 0.0 | 60M|2816 | - |5645 |8773 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.360000e+02 | Inf
16.49/16.60 o 131
16.49/16.60 c *15.6s| 38405 | 27712 | 0 | 0.0 | 60M|2816 | - |5645 |8779 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.310000e+02 | Inf
16.49/16.60 o 130
16.49/16.60 c *15.6s| 38406 | 27697 | 0 | 0.0 | 60M|2816 | - |5645 |8779 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.300000e+02 | Inf
16.79/16.86 o 116
16.79/16.86 c *15.9s| 38964 | 27893 | 0 | 0.0 | 60M|2816 | - |5645 |8769 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.160000e+02 | Inf
16.79/16.89 o 110
16.79/16.89 c *15.9s| 39007 | 27728 | 0 | 0.0 | 60M|2816 | - |5645 |8775 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.100000e+02 | Inf
16.99/17.02 o 104
16.99/17.02 c *16.0s| 39179 | 27764 | 0 | 0.0 | 59M|2816 | - |5645 |8794 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.040000e+02 | Inf
17.59/17.70 c 16.7s| 40000 | 28476 | 0 | 0.0 | 61M|2816 | - |5645 |9142 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.040000e+02 | Inf
19.69/19.76 o 101
19.69/19.76 c *18.6s| 42873 | 31028 | 0 | 0.0 | 65M|2816 | - |5645 |8767 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
20.89/20.93 o 87
20.89/20.93 c *19.8s| 44562 | 31835 | 0 | 0.0 | 65M|2816 | - |5645 |8295 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
21.79/21.82 o 85
21.79/21.82 c *20.6s| 45685 | 32669 | 0 | 0.0 | 68M|2816 | - |5645 |8547 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
24.09/24.18 o 69
24.09/24.18 c *22.9s| 49100 | 34753 | 0 | 0.0 | 70M|2816 | - |5645 |7493 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
24.69/24.73 c 23.4s| 50000 | 35546 | 0 | 0.0 | 72M|2816 | - |5645 |7572 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
25.79/25.87 o 68
25.79/25.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.79/25.87 c *24.5s| 51824 | 37021 | 0 | 0.0 | 75M|2816 | - |5645 |8218 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 6.800000e+01 | Inf
31.29/31.35 c 29.6s| 60000 | 44072 | 0 | 0.0 | 84M|2816 | - |5645 |7323 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 6.800000e+01 | Inf
31.39/31.40 o 59
31.39/31.40 c *29.7s| 60099 | 43636 | 0 | 0.0 | 83M|2816 | - |5645 |7350 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
32.19/32.24 o 57
32.19/32.24 c *30.5s| 61110 | 44391 | 0 | 0.0 | 84M|2816 | - |5645 |7205 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
32.30/32.30 o 26
32.30/32.30 c *30.6s| 61198 | 42410 | 0 | 0.0 | 77M|2816 | - |5645 |7275 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
35.79/35.80 o 17
35.79/35.80 c *33.8s| 69958 | 49132 | 0 | 0.0 | 84M|2816 | - |5645 |7759 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
35.79/35.82 c 33.8s| 70000 | 49169 | 0 | 0.0 | 84M|2816 | - |5645 |7743 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
39.49/39.58 c 37.3s| 80000 | 57471 | 0 | 0.0 | 94M|2816 | - |5645 |7856 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
43.69/43.74 c 41.1s| 90000 | 65575 | 0 | 0.0 | 105M|2816 | - |5645 |7058 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
48.50/48.55 c 45.7s|100000 | 72966 | 0 | 0.0 | 116M|2816 | - |5645 |7872 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
53.89/53.96 c 50.8s|110000 | 79868 | 0 | 0.0 | 128M|2816 | - |5645 |8211 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
59.80/59.82 c 56.4s|120000 | 86380 | 0 | 0.0 | 140M|2816 | - |5645 |8942 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
65.89/66.00 c 62.3s|130000 | 92667 | 0 | 0.0 | 152M|2816 | - |5645 |9392 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
72.29/72.39 c 68.4s|140000 | 98801 | 0 | 0.0 | 164M|2816 | - |5645 |9338 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
78.59/78.67 c 74.4s|150000 |104952 | 0 | 0.0 | 176M|2816 | - |5645 | 10k| 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
84.80/84.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.80/84.87 c 80.3s|160000 |111257 | 0 | 0.0 | 187M|2816 | - |5645 | 10k| 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
91.60/91.63 c 86.8s|170000 |117181 | 0 | 0.0 | 199M|2816 | - |5645 | 10k| 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
98.90/98.93 c 93.8s|180000 |122663 | 0 | 0.0 | 210M|2816 | - |5645 | 11k| 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
107.29/107.31 c 102s|190000 |127548 | 0 | 0.0 | 222M|2816 | - |5645 | 12k| 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
118.81/118.88 c 113s|200000 |130379 | 0 | 0.0 | 232M|2816 | - |5645 | 12k| 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
122.90/122.92 o 16
122.90/122.92 c * 117s|205176 |131578 | 0 | 0.0 | 230M|2816 | - |5645 |7326 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
125.40/125.42 c 119s|210000 |135783 | 0 | 0.0 | 235M|2816 | - |5645 |7167 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
130.80/130.82 c 124s|220000 |144255 | 0 | 0.0 | 245M|2816 | - |5645 |8700 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
133.50/133.54 o 12
133.50/133.54 c * 127s|224026 |146604 | 0 | 0.0 | 247M|2816 | - |5645 |9706 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
139.09/139.17 c 132s|230000 |150701 | 0 | 0.0 | 257M|2816 | - |5645 | 12k| 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
151.19/151.26 c 144s|240000 |155332 | 0 | 0.0 | 269M|2816 | - |5645 |9334 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
157.90/157.95 c 150s|250000 |162462 | 0 | 0.0 | 282M|2816 | - |5645 | 11k| 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
165.40/165.47 c 158s|260000 |169202 | 0 | 0.0 | 296M|2816 | - |5645 | 10k| 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
165.99/166.05 o 7
165.99/166.05 c * 158s|261013 |169010 | 0 | 0.0 | 293M|2816 | - |5645 | 10k| 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
173.20/173.26 c 165s|270000 |174220 | 0 | 0.0 | 305M|2816 | - |5645 |9767 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
178.90/178.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
178.90/178.91 c 170s|280000 |182380 | 0 | 0.0 | 319M|2816 | - |5645 | 10k| 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
186.00/186.03 c 177s|290000 |189848 | 0 | 0.0 | 333M|2816 | - |5645 | 11k| 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
194.49/194.54 c 185s|300000 |196666 | 0 | 0.0 | 345M|2816 | - |5645 | 12k| 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
204.50/204.53 c 195s|310000 |201949 | 0 | 0.0 | 356M|2816 | - |5645 | 15k| 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
208.40/208.49 o 5
208.40/208.49 c * 199s|316405 |205628 | 0 | 0.0 | 361M|2816 | - |5645 | 11k| 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
210.50/210.59 c 201s|320000 |208413 | 0 | 0.0 | 367M|2816 | - |5645 | 12k| 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
218.10/218.13 c 208s|330000 |214705 | 0 | 0.0 | 379M|2816 | - |5645 | 11k| 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
223.00/223.00 c 213s|340000 |223050 | 0 | 0.0 | 390M|2816 | - |5645 | 12k| 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
229.50/229.58 c 219s|350000 |230426 | 0 | 0.0 | 400M|2816 | - |5645 | 15k| 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
239.20/239.26 c 228s|360000 |235896 | 0 | 0.0 | 413M|2816 | - |5645 | 13k| 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
245.31/245.36 c 234s|370000 |243988 | 0 | 0.0 | 433M|2816 | - |5645 | 13k| 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
251.30/251.34 c 240s|380000 |251316 | 0 | 0.0 | 446M|2816 | - |5645 | 11k| 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
257.90/257.94 c 246s|390000 |256541 | 0 | 0.0 | 455M|2816 | - |5645 | 11k| 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
261.70/261.76 c 249s|400000 |264727 | 0 | 0.0 | 465M|2816 | - |5645 | 10k| 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
266.50/266.54 c 254s|410000 |271796 | 0 | 0.0 | 474M|2816 | - |5645 | 10k| 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
271.51/271.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
271.51/271.60 c 259s|420000 |278585 | 0 | 0.0 | 484M|2816 | - |5645 | 10k| 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
276.00/276.08 c 263s|430000 |286036 | 0 | 0.0 | 495M|2816 | - |5645 | 11k| 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
280.40/280.44 c 267s|440000 |293622 | 0 | 0.0 | 503M|2816 | - |5645 | 10k| 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
285.40/285.45 c 271s|450000 |300600 | 0 | 0.0 | 513M|2816 | - |5645 | 10k| 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
289.31/289.39 c 275s|460000 |308618 | 0 | 0.0 | 522M|2816 | - |5645 | 10k| 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
294.10/294.18 c 280s|470000 |315849 | 0 | 0.0 | 532M|2816 | - |5645 | 11k| 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
299.21/299.21 c 284s|480000 |322727 | 0 | 0.0 | 541M|2816 | - |5645 | 11k| 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
303.50/303.60 c 288s|490000 |330237 | 0 | 0.0 | 550M|2816 | - |5645 | 10k| 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
308.20/308.21 c 293s|500000 |337524 | 0 | 0.0 | 560M|2816 | - |5645 | 10k| 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
312.70/312.77 c 297s|510000 |344694 | 0 | 0.0 | 570M|2816 | - |5645 | 12k| 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
316.40/316.40 c 300s|520000 |353095 | 0 | 0.0 | 579M|2816 | - |5645 | 10k| 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
320.80/320.88 c 304s|530000 |360464 | 0 | 0.0 | 589M|2816 | - |5645 | 12k| 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
326.20/326.25 c 309s|540000 |367138 | 0 | 0.0 | 598M|2816 | - |5645 | 10k| 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
330.70/330.79 c 314s|550000 |374637 | 0 | 0.0 | 608M|2816 | - |5645 | 11k| 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
335.20/335.21 c 318s|560000 |382132 | 0 | 0.0 | 617M|2816 | - |5645 | 11k| 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
340.41/340.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
340.41/340.44 c 323s|570000 |388734 | 0 | 0.0 | 627M|2816 | - |5645 | 12k| 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
344.51/344.50 c 327s|580000 |396728 | 0 | 0.0 | 636M|2816 | - |5645 | 10k| 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
348.81/348.85 c 331s|590000 |404318 | 0 | 0.0 | 646M|2816 | - |5645 | 11k| 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
353.81/353.89 c 335s|600000 |411274 | 0 | 0.0 | 655M|2816 | - |5645 | 10k| 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
358.20/358.23 c 339s|610000 |418666 | 0 | 0.0 | 664M|2816 | - |5645 | 10k| 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
362.80/362.88 c 344s|620000 |425877 | 0 | 0.0 | 673M|2816 | - |5645 | 10k| 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
367.30/367.34 c 348s|630000 |433309 | 0 | 0.0 | 682M|2816 | - |5645 | 10k| 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
371.81/371.80 c 352s|640000 |440647 | 0 | 0.0 | 689M|2816 | - |5645 |7186 | 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
375.40/375.43 c 355s|650000 |448736 | 0 | 0.0 | 698M|2816 | - |5645 |6020 | 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
378.90/378.91 c 359s|660000 |456936 | 0 | 0.0 | 708M|2816 | - |5645 |5970 | 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
382.11/382.19 c 362s|670000 |465247 | 0 | 0.0 | 717M|2816 | - |5645 |5978 | 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
387.01/387.06 c 366s|680000 |472110 | 0 | 0.0 | 727M|2816 | - |5645 |7461 | 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
392.40/392.46 c 371s|690000 |478660 | 0 | 0.0 | 738M|2816 | - |5645 |7978 | 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
398.32/398.38 c 377s|700000 |484722 | 0 | 0.0 | 748M|2816 | - |5645 |8126 | 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
405.41/405.40 c 384s|710000 |489702 | 0 | 0.0 | 759M|2816 | - |5645 |9068 | 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
412.91/412.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
412.91/412.93 c 391s|720000 |494313 | 0 | 0.0 | 770M|2816 | - |5645 |9443 | 0 | 0 | 0 | 532k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
420.41/420.50 c 398s|730000 |498920 | 0 | 0.0 | 781M|2816 | - |5645 | 10k| 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
428.31/428.39 c 406s|740000 |503264 | 0 | 0.0 | 792M|2816 | - |5645 | 10k| 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
436.11/436.12 c 413s|750000 |507830 | 0 | 0.0 | 802M|2816 | - |5645 | 10k| 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
443.91/443.94 c 421s|760000 |512241 | 0 | 0.0 | 813M|2816 | - |5645 | 10k| 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
451.91/451.92 c 428s|770000 |516551 | 0 | 0.0 | 823M|2816 | - |5645 | 11k| 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
460.11/460.14 c 436s|780000 |520726 | 0 | 0.0 | 833M|2816 | - |5645 | 11k| 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
467.81/467.88 c 443s|790000 |525241 | 0 | 0.0 | 843M|2816 | - |5645 | 11k| 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
475.71/475.74 c 451s|800000 |529688 | 0 | 0.0 | 853M|2816 | - |5645 | 11k| 0 | 0 | 0 | 602k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
483.71/483.74 c 459s|810000 |534148 | 0 | 0.0 | 863M|2816 | - |5645 | 10k| 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
491.31/491.35 c 466s|820000 |538907 | 0 | 0.0 | 874M|2816 | - |5645 | 10k| 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
499.61/499.65 c 474s|830000 |542908 | 0 | 0.0 | 884M|2816 | - |5645 | 11k| 0 | 0 | 0 | 630k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
507.72/507.77 c 482s|840000 |547129 | 0 | 0.0 | 894M|2816 | - |5645 | 11k| 0 | 0 | 0 | 640k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
515.71/515.75 c 489s|850000 |551355 | 0 | 0.0 | 903M|2816 | - |5645 | 10k| 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
524.31/524.34 c 498s|860000 |554527 | 0 | 0.0 | 913M|2816 | - |5645 | 11k| 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
533.21/533.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
533.21/533.23 c 506s|870000 |557361 | 0 | 0.0 | 923M|2816 | - |5645 | 11k| 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
542.42/542.49 c 515s|880000 |559862 | 0 | 0.0 | 932M|2816 | - |5645 | 11k| 0 | 0 | 0 | 683k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
552.32/552.36 c 525s|890000 |561620 | 0 | 0.0 | 940M|2816 | - |5645 | 11k| 0 | 0 | 0 | 695k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
562.32/562.36 c 534s|900000 |563079 | 0 | 0.0 | 948M|2816 | - |5645 | 11k| 0 | 0 | 0 | 708k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
574.41/574.47 c 546s|910000 |561770 | 0 | 0.0 | 954M|2816 | - |5645 | 11k| 0 | 0 | 0 | 723k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
588.01/588.08 c 559s|920000 |557209 | 0 | 0.0 | 954M|2816 | - |5645 | 12k| 0 | 0 | 0 | 739k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
604.72/604.73 c 575s|930000 |548911 | 0 | 0.0 | 943M|2816 | - |5645 | 14k| 0 | 0 | 0 | 759k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
609.82/609.88 c 580s|940000 |556127 | 0 | 0.0 | 947M|2816 | - |5645 |4832 | 0 | 0 | 0 | 763k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
614.01/614.03 c 584s|950000 |564120 | 0 | 0.0 | 957M|2816 | - |5645 |4905 | 0 | 0 | 0 | 766k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
618.12/618.15 c 588s|960000 |572030 | 0 | 0.0 | 968M|2816 | - |5645 |5165 | 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
622.32/622.39 c 592s|970000 |579779 | 0 | 0.0 | 978M|2816 | - |5645 |5419 | 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
626.81/626.82 c 596s|980000 |587324 | 0 | 0.0 | 989M|2816 | - |5645 |5851 | 0 | 0 | 0 | 777k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
631.31/631.36 c 600s|990000 |594760 | 0 | 0.0 | 999M|2816 | - |5645 |6101 | 0 | 0 | 0 | 781k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
631.72/631.71 o 2
631.72/631.71 c * 600s|990634 |562252 | 0 | 0.0 | 959M|2816 | - |5645 |6063 | 0 | 0 | 0 | 782k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
637.03/637.05 c 605s| 1000k|568987 | 0 | 0.0 | 974M|2816 | - |5645 |6513 | 0 | 0 | 0 | 786k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
642.21/642.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
642.21/642.28 c 610s| 1010k|575940 | 0 | 0.0 | 985M|2816 | - |5645 |6959 | 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
647.51/647.55 c 615s| 1020k|582798 | 0 | 0.0 | 997M|2816 | - |5645 |7406 | 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
654.12/654.13 c 622s| 1030k|588718 | 0 | 0.0 |1009M|2816 | - |5645 |8492 | 0 | 0 | 0 | 803k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
660.72/660.71 c 628s| 1040k|594625 | 0 | 0.0 |1019M|2816 | - |5645 |9130 | 0 | 0 | 0 | 810k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
668.12/668.14 c 635s| 1050k|599848 | 0 | 0.0 |1031M|2816 | - |5645 | 10k| 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
675.42/675.49 c 642s| 1060k|605192 | 0 | 0.0 |1042M|2816 | - |5645 | 10k| 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
683.81/683.85 c 650s| 1070k|609901 | 0 | 0.0 |1052M|2816 | - |5645 | 11k| 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
692.91/692.94 c 659s| 1080k|614097 | 0 | 0.0 |1062M|2816 | - |5645 | 12k| 0 | 0 | 0 | 842k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
702.82/702.89 c 668s| 1090k|617690 | 0 | 0.0 |1073M|2816 | - |5645 | 13k| 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
714.61/714.65 c 680s| 1100k|620215 | 0 | 0.0 |1083M|2816 | - |5645 | 15k| 0 | 0 | 0 | 865k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
731.02/731.03 c 695s| 1110k|620116 | 0 | 0.0 |1090M|2816 | - |5645 | 17k| 0 | 0 | 0 | 880k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
741.52/741.54 c 706s| 1120k|623932 | 0 | 0.0 |1091M|2816 | - |5645 |7842 | 0 | 0 | 0 | 889k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
746.02/746.04 c 710s| 1130k|631414 | 0 | 0.0 |1101M|2816 | - |5645 |7386 | 0 | 0 | 0 | 893k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
750.92/750.96 c 714s| 1140k|638427 | 0 | 0.0 |1111M|2816 | - |5645 |7841 | 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
756.62/756.64 c 720s| 1150k|644739 | 0 | 0.0 |1121M|2816 | - |5645 |8623 | 0 | 0 | 0 | 903k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
763.53/763.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
763.53/763.60 c 726s| 1160k|650011 | 0 | 0.0 |1132M|2816 | - |5645 | 10k| 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
771.52/771.50 c 734s| 1170k|654678 | 0 | 0.0 |1143M|2816 | - |5645 | 12k| 0 | 0 | 0 | 920k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
781.72/781.72 c 744s| 1180k|657837 | 0 | 0.0 |1153M|2816 | - |5645 | 14k| 0 | 0 | 0 | 931k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
792.42/792.41 c 754s| 1190k|660877 | 0 | 0.0 |1159M|2816 | - |5645 | 10k| 0 | 0 | 0 | 942k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
797.72/797.70 c 759s| 1200k|667741 | 0 | 0.0 |1167M|2816 | - |5645 |7887 | 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
802.42/802.47 c 763s| 1210k|674879 | 0 | 0.0 |1175M|2816 | - |5645 |7682 | 0 | 0 | 0 | 952k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
807.73/807.72 c 768s| 1220k|681593 | 0 | 0.0 |1185M|2816 | - |5645 |8326 | 0 | 0 | 0 | 957k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
812.93/812.94 c 773s| 1230k|688256 | 0 | 0.0 |1195M|2816 | - |5645 |9129 | 0 | 0 | 0 | 962k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
819.23/819.24 c 779s| 1240k|694061 | 0 | 0.0 |1205M|2816 | - |5645 | 10k| 0 | 0 | 0 | 969k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
826.42/826.45 c 786s| 1250k|699295 | 0 | 0.0 |1216M|2816 | - |5645 | 11k| 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
835.32/835.34 c 795s| 1260k|703250 | 0 | 0.0 |1225M|2816 | - |5645 | 13k| 0 | 0 | 0 | 987k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
848.23/848.27 c 807s| 1270k|704381 | 0 | 0.0 |1229M|2816 | - |5645 | 15k| 0 | 0 | 0 |1002k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
852.92/852.98 c 811s| 1280k|712072 | 0 | 0.0 |1237M|2816 | - |5645 |7419 | 0 | 0 | 0 |1006k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
857.42/857.47 c 816s| 1290k|719593 | 0 | 0.0 |1247M|2816 | - |5645 |7222 | 0 | 0 | 0 |1010k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
862.22/862.22 c 820s| 1300k|726894 | 0 | 0.0 |1258M|2816 | - |5645 |7667 | 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
867.22/867.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
867.22/867.26 c 825s| 1310k|733935 | 0 | 0.0 |1268M|2816 | - |5645 |7760 | 0 | 0 | 0 |1018k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
872.52/872.56 c 830s| 1320k|741069 | 0 | 0.0 |1277M|2816 | - |5645 |6688 | 0 | 0 | 0 |1023k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
877.83/877.84 c 835s| 1330k|747614 | 0 | 0.0 |1288M|2816 | - |5645 |7333 | 0 | 0 | 0 |1028k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
883.43/883.47 c 840s| 1340k|753831 | 0 | 0.0 |1298M|2816 | - |5645 |7685 | 0 | 0 | 0 |1034k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
888.93/889.00 c 845s| 1350k|760140 | 0 | 0.0 |1308M|2816 | - |5645 |7891 | 0 | 0 | 0 |1040k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
893.93/893.93 c 850s| 1360k|766752 | 0 | 0.0 |1317M|2816 | - |5645 |7895 | 0 | 0 | 0 |1045k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
898.92/898.97 c 855s| 1370k|773201 | 0 | 0.0 |1325M|2816 | - |5645 |7845 | 0 | 0 | 0 |1051k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
904.23/904.29 c 860s| 1380k|779411 | 0 | 0.0 |1333M|2816 | - |5645 |7876 | 0 | 0 | 0 |1057k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
909.62/909.66 c 865s| 1390k|785582 | 0 | 0.0 |1341M|2816 | - |5645 |8104 | 0 | 0 | 0 |1063k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
915.02/915.03 c 870s| 1400k|791741 | 0 | 0.0 |1349M|2816 | - |5645 |8075 | 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
920.52/920.50 c 875s| 1410k|797801 | 0 | 0.0 |1357M|2816 | - |5645 |8066 | 0 | 0 | 0 |1076k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
926.03/926.06 c 880s| 1420k|803833 | 0 | 0.0 |1365M|2816 | - |5645 |8713 | 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
931.53/931.58 c 885s| 1430k|810058 | 0 | 0.0 |1373M|2816 | - |5645 |8346 | 0 | 0 | 0 |1089k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
937.42/937.42 c 891s| 1440k|815895 | 0 | 0.0 |1381M|2816 | - |5645 |9187 | 0 | 0 | 0 |1095k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
943.22/943.24 c 896s| 1450k|821804 | 0 | 0.0 |1389M|2816 | - |5645 |9202 | 0 | 0 | 0 |1102k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
949.13/949.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
949.13/949.11 c 902s| 1460k|827768 | 0 | 0.0 |1397M|2816 | - |5645 |9112 | 0 | 0 | 0 |1108k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
955.13/955.19 c 908s| 1470k|833526 | 0 | 0.0 |1405M|2816 | - |5645 |9115 | 0 | 0 | 0 |1115k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
961.13/961.19 c 913s| 1480k|839314 | 0 | 0.0 |1413M|2816 | - |5645 |9545 | 0 | 0 | 0 |1122k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
967.53/967.56 c 919s| 1490k|844802 | 0 | 0.0 |1420M|2816 | - |5645 | 10k| 0 | 0 | 0 |1130k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
974.02/974.05 c 925s| 1500k|850365 | 0 | 0.0 |1428M|2816 | - |5645 | 11k| 0 | 0 | 0 |1137k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
980.83/980.83 c 932s| 1510k|855782 | 0 | 0.0 |1436M|2816 | - |5645 | 11k| 0 | 0 | 0 |1145k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
988.23/988.20 c 939s| 1520k|860772 | 0 | 0.0 |1444M|2816 | - |5645 | 12k| 0 | 0 | 0 |1153k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
997.12/997.11 c 947s| 1530k|864542 | 0 | 0.0 |1452M|2816 | - |5645 | 14k| 0 | 0 | 0 |1164k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1005.54/1005.55 c 956s| 1540k|869008 | 0 | 0.0 |1456M|2816 | - |5645 |7489 | 0 | 0 | 0 |1172k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1009.73/1009.70 c 959s| 1550k|876747 | 0 | 0.0 |1466M|2816 | - |5645 |7473 | 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1014.13/1014.13 c 964s| 1560k|884205 | 0 | 0.0 |1476M|2816 | - |5645 |7933 | 0 | 0 | 0 |1180k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1019.03/1019.03 c 968s| 1570k|891278 | 0 | 0.0 |1486M|2816 | - |5645 |8534 | 0 | 0 | 0 |1184k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1024.43/1024.42 c 973s| 1580k|897867 | 0 | 0.0 |1497M|2816 | - |5645 |9535 | 0 | 0 | 0 |1189k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1030.83/1030.84 c 979s| 1590k|903608 | 0 | 0.0 |1507M|2816 | - |5645 | 10k| 0 | 0 | 0 |1196k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1038.23/1038.25 c 987s| 1600k|908539 | 0 | 0.0 |1518M|2816 | - |5645 | 11k| 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1047.02/1047.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1047.02/1047.09 c 995s| 1610k|912444 | 0 | 0.0 |1528M|2816 | - |5645 | 13k| 0 | 0 | 0 |1214k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1058.63/1058.64 c 1006s| 1620k|914137 | 0 | 0.0 |1532M|2816 | - |5645 | 10k| 0 | 0 | 0 |1226k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1062.93/1062.97 c 1010s| 1630k|922001 | 0 | 0.0 |1542M|2816 | - |5645 |7348 | 0 | 0 | 0 |1229k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1066.93/1066.95 c 1014s| 1640k|929857 | 0 | 0.0 |1551M|2816 | - |5645 |7320 | 0 | 0 | 0 |1233k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1071.13/1071.19 c 1018s| 1650k|937497 | 0 | 0.0 |1561M|2816 | - |5645 |7469 | 0 | 0 | 0 |1236k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1075.53/1075.53 c 1022s| 1660k|945028 | 0 | 0.0 |1571M|2816 | - |5645 |7717 | 0 | 0 | 0 |1240k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1080.13/1080.15 c 1026s| 1670k|952324 | 0 | 0.0 |1581M|2816 | - |5645 |8149 | 0 | 0 | 0 |1244k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1084.93/1084.94 c 1031s| 1680k|959531 | 0 | 0.0 |1591M|2816 | - |5645 |8073 | 0 | 0 | 0 |1249k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1089.73/1089.77 c 1035s| 1690k|966561 | 0 | 0.0 |1600M|2816 | - |5645 |8568 | 0 | 0 | 0 |1253k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1094.73/1094.77 c 1040s| 1700k|973482 | 0 | 0.0 |1610M|2816 | - |5645 |8757 | 0 | 0 | 0 |1258k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1100.23/1100.24 c 1045s| 1710k|980034 | 0 | 0.0 |1620M|2816 | - |5645 |9065 | 0 | 0 | 0 |1263k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1105.83/1105.81 c 1050s| 1720k|986461 | 0 | 0.0 |1630M|2816 | - |5645 |9485 | 0 | 0 | 0 |1268k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1111.93/1111.90 c 1056s| 1730k|992475 | 0 | 0.0 |1640M|2816 | - |5645 |9771 | 0 | 0 | 0 |1274k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1118.34/1118.32 c 1062s| 1740k|998218 | 0 | 0.0 |1650M|2816 | - |5645 | 10k| 0 | 0 | 0 |1281k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1125.64/1125.61 c 1069s| 1750k| 1003k| 0 | 0.0 |1660M|2816 | - |5645 | 11k| 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1133.43/1133.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1133.43/1133.47 c 1077s| 1760k| 1008k| 0 | 0.0 |1670M|2816 | - |5645 | 12k| 0 | 0 | 0 |1297k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1142.23/1142.29 c 1085s| 1770k| 1011k| 0 | 0.0 |1679M|2816 | - |5645 | 11k| 0 | 0 | 0 |1306k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1152.04/1152.03 c 1094s| 1780k| 1015k| 0 | 0.0 |1688M|2816 | - |5645 | 13k| 0 | 0 | 0 |1317k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1163.33/1163.30 c 1105s| 1790k| 1017k| 0 | 0.0 |1696M|2816 | - |5645 | 15k| 0 | 0 | 0 |1329k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1172.64/1172.62 c 1114s| 1800k| 1021k| 0 | 0.0 |1699M|2816 | - |5645 |8167 | 0 | 0 | 0 |1338k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1176.84/1176.81 c 1118s| 1810k| 1029k| 0 | 0.0 |1708M|2816 | - |5645 |7940 | 0 | 0 | 0 |1341k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1181.23/1181.28 c 1122s| 1820k| 1036k| 0 | 0.0 |1718M|2816 | - |5645 |8202 | 0 | 0 | 0 |1345k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1186.34/1186.33 c 1127s| 1830k| 1043k| 0 | 0.0 |1728M|2816 | - |5645 |8209 | 0 | 0 | 0 |1350k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1191.54/1191.58 c 1132s| 1840k| 1050k| 0 | 0.0 |1738M|2816 | - |5645 |8103 | 0 | 0 | 0 |1355k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1197.43/1197.43 c 1138s| 1850k| 1056k| 0 | 0.0 |1748M|2816 | - |5645 |8744 | 0 | 0 | 0 |1361k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1203.34/1203.30 c 1143s| 1860k| 1062k| 0 | 0.0 |1757M|2816 | - |5645 |9045 | 0 | 0 | 0 |1367k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1209.13/1209.15 c 1149s| 1870k| 1068k| 0 | 0.0 |1767M|2816 | - |5645 |9227 | 0 | 0 | 0 |1372k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1215.33/1215.38 c 1155s| 1880k| 1074k| 0 | 0.0 |1777M|2816 | - |5645 |9931 | 0 | 0 | 0 |1379k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1221.94/1221.92 c 1161s| 1890k| 1080k| 0 | 0.0 |1787M|2816 | - |5645 | 10k| 0 | 0 | 0 |1386k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1228.63/1228.68 c 1168s| 1900k| 1086k| 0 | 0.0 |1797M|2816 | - |5645 | 10k| 0 | 0 | 0 |1393k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1235.44/1235.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1235.44/1235.48 c 1174s| 1910k| 1091k| 0 | 0.0 |1807M|2816 | - |5645 | 10k| 0 | 0 | 0 |1400k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1242.63/1242.65 c 1181s| 1920k| 1096k| 0 | 0.0 |1816M|2816 | - |5645 | 10k| 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1249.83/1249.86 c 1188s| 1930k| 1102k| 0 | 0.0 |1825M|2816 | - |5645 | 11k| 0 | 0 | 0 |1415k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1257.74/1257.72 c 1195s| 1940k| 1106k| 0 | 0.0 |1834M|2816 | - |5645 | 11k| 0 | 0 | 0 |1424k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1266.03/1266.04 c 1203s| 1950k| 1111k| 0 | 0.0 |1844M|2816 | - |5645 | 13k| 0 | 0 | 0 |1433k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1276.14/1276.19 c 1213s| 1960k| 1114k| 0 | 0.0 |1852M|2816 | - |5645 | 15k| 0 | 0 | 0 |1444k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1287.54/1287.54 c 1224s| 1970k| 1116k| 0 | 0.0 |1856M|2816 | - |5645 | 10k| 0 | 0 | 0 |1455k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1291.74/1291.74 c 1228s| 1980k| 1124k| 0 | 0.0 |1865M|2816 | - |5645 |8452 | 0 | 0 | 0 |1459k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1296.04/1296.04 c 1232s| 1990k| 1132k| 0 | 0.0 |1875M|2816 | - |5645 |8826 | 0 | 0 | 0 |1462k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1300.64/1300.63 c 1236s| 2000k| 1139k| 0 | 0.0 |1885M|2816 | - |5645 |9448 | 0 | 0 | 0 |1466k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1305.64/1305.66 c 1241s| 2010k| 1146k| 0 | 0.0 |1895M|2816 | - |5645 |9857 | 0 | 0 | 0 |1471k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1310.84/1310.86 c 1246s| 2020k| 1153k| 0 | 0.0 |1905M|2816 | - |5645 | 10k| 0 | 0 | 0 |1476k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1316.75/1316.72 c 1251s| 2030k| 1159k| 0 | 0.0 |1915M|2816 | - |5645 | 11k| 0 | 0 | 0 |1482k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1323.64/1323.66 c 1258s| 2040k| 1165k| 0 | 0.0 |1926M|2816 | - |5645 | 12k| 0 | 0 | 0 |1489k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1331.73/1331.77 c 1266s| 2050k| 1169k| 0 | 0.0 |1936M|2816 | - |5645 | 14k| 0 | 0 | 0 |1498k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1341.54/1341.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1341.54/1341.52 c 1275s| 2060k| 1173k| 0 | 0.0 |1945M|2816 | - |5645 | 15k| 0 | 0 | 0 |1509k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1353.84/1353.85 c 1287s| 2070k| 1174k| 0 | 0.0 |1949M|2816 | - |5645 | 12k| 0 | 0 | 0 |1522k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1358.14/1358.14 c 1291s| 2080k| 1182k| 0 | 0.0 |1958M|2816 | - |5645 |8419 | 0 | 0 | 0 |1525k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1362.54/1362.54 c 1295s| 2090k| 1190k| 0 | 0.0 |1968M|2816 | - |5645 |8748 | 0 | 0 | 0 |1529k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1367.24/1367.23 c 1300s| 2100k| 1197k| 0 | 0.0 |1978M|2816 | - |5645 |9295 | 0 | 0 | 0 |1533k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1372.54/1372.54 c 1305s| 2110k| 1204k| 0 | 0.0 |1988M|2816 | - |5645 | 10k| 0 | 0 | 0 |1538k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1378.54/1378.55 c 1310s| 2120k| 1210k| 0 | 0.0 |1999M|2816 | - |5645 | 11k| 0 | 0 | 0 |1544k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1385.14/1385.12 c 1316s| 2130k| 1215k| 0 | 0.0 |2009M|2816 | - |5645 | 11k| 0 | 0 | 0 |1551k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1391.85/1391.84 c 1323s| 2140k| 1221k| 0 | 0.0 |2018M|2816 | - |5645 | 13k| 0 | 0 | 0 |1558k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1401.24/1401.28 c 1332s| 2150k| 1224k| 0 | 0.0 |2027M|2816 | - |5645 | 14k| 0 | 0 | 0 |1569k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1407.74/1407.71 c 1338s| 2160k| 1230k| 0 | 0.0 |2032M|2816 | - |5645 |8481 | 0 | 0 | 0 |1575k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1412.05/1412.00 c 1342s| 2170k| 1238k| 0 | 0.0 |2042M|2816 | - |5645 |8673 | 0 | 0 | 0 |1578k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1416.64/1416.61 c 1346s| 2180k| 1245k| 0 | 0.0 |2052M|2816 | - |5645 |9333 | 0 | 0 | 0 |1582k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1421.64/1421.63 c 1351s| 2190k| 1252k| 0 | 0.0 |2063M|2816 | - |5645 | 10k| 0 | 0 | 0 |1587k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1427.04/1427.09 c 1356s| 2200k| 1258k| 0 | 0.0 |2073M|2816 | - |5645 | 10k| 0 | 0 | 0 |1593k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1433.54/1433.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1433.54/1433.52 c 1362s| 2210k| 1264k| 0 | 0.0 |2083M|2816 | - |5645 | 11k| 0 | 0 | 0 |1599k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1441.54/1441.50 c 1370s| 2220k| 1269k| 0 | 0.0 |2094M|2816 | - |5645 | 13k| 0 | 0 | 0 |1608k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1452.54/1452.51 c 1380s| 2230k| 1271k| 0 | 0.0 |2102M|2816 | - |5645 | 16k| 0 | 0 | 0 |1621k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1457.55/1457.55 c 1385s| 2240k| 1278k| 0 | 0.0 |2108M|2816 | - |5645 |8855 | 0 | 0 | 0 |1625k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1461.84/1461.85 c 1389s| 2250k| 1286k| 0 | 0.0 |2118M|2816 | - |5645 |9156 | 0 | 0 | 0 |1629k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1466.45/1466.42 c 1393s| 2260k| 1293k| 0 | 0.0 |2128M|2816 | - |5645 |9747 | 0 | 0 | 0 |1633k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1471.44/1471.45 c 1398s| 2270k| 1300k| 0 | 0.0 |2138M|2816 | - |5645 | 10k| 0 | 0 | 0 |1638k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1476.85/1476.86 c 1403s| 2280k| 1307k| 0 | 0.0 |2147M|2816 | - |5645 | 10k| 0 | 0 | 0 |1643k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1482.65/1482.68 c 1409s| 2290k| 1313k| 0 | 0.0 |2157M|2816 | - |5645 | 11k| 0 | 0 | 0 |1649k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1489.56/1489.55 c 1415s| 2300k| 1318k| 0 | 0.0 |2167M|2816 | - |5645 | 13k| 0 | 0 | 0 |1656k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1498.44/1498.47 c 1424s| 2310k| 1322k| 0 | 0.0 |2177M|2816 | - |5645 | 15k| 0 | 0 | 0 |1666k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1508.55/1508.54 c 1434s| 2320k| 1326k| 0 | 0.0 |2181M|2816 | - |5645 |9696 | 0 | 0 | 0 |1675k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1512.74/1512.79 c 1437s| 2330k| 1333k| 0 | 0.0 |2191M|2816 | - |5645 |8600 | 0 | 0 | 0 |1679k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1517.05/1517.06 c 1441s| 2340k| 1341k| 0 | 0.0 |2201M|2816 | - |5645 |8435 | 0 | 0 | 0 |1682k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1521.65/1521.64 c 1446s| 2350k| 1348k| 0 | 0.0 |2211M|2816 | - |5645 |8725 | 0 | 0 | 0 |1687k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1526.55/1526.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1526.55/1526.50 c 1450s| 2360k| 1356k| 0 | 0.0 |2221M|2816 | - |5645 |8491 | 0 | 0 | 0 |1691k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1531.45/1531.49 c 1455s| 2370k| 1362k| 0 | 0.0 |2231M|2816 | - |5645 |9111 | 0 | 0 | 0 |1696k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1536.64/1536.68 c 1460s| 2380k| 1369k| 0 | 0.0 |2241M|2816 | - |5645 |9460 | 0 | 0 | 0 |1701k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1542.05/1542.05 c 1465s| 2390k| 1376k| 0 | 0.0 |2251M|2816 | - |5645 |9846 | 0 | 0 | 0 |1706k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1547.35/1547.31 c 1470s| 2400k| 1382k| 0 | 0.0 |2261M|2816 | - |5645 | 10k| 0 | 0 | 0 |1712k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1553.15/1553.10 c 1475s| 2410k| 1389k| 0 | 0.0 |2271M|2816 | - |5645 | 10k| 0 | 0 | 0 |1718k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1559.55/1559.59 c 1481s| 2420k| 1394k| 0 | 0.0 |2280M|2816 | - |5645 | 10k| 0 | 0 | 0 |1724k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1566.55/1566.58 c 1488s| 2430k| 1400k| 0 | 0.0 |2290M|2816 | - |5645 | 10k| 0 | 0 | 0 |1731k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1573.85/1573.84 c 1495s| 2440k| 1405k| 0 | 0.0 |2299M|2816 | - |5645 | 10k| 0 | 0 | 0 |1739k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1581.15/1581.11 c 1502s| 2450k| 1410k| 0 | 0.0 |2308M|2816 | - |5645 | 11k| 0 | 0 | 0 |1746k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1588.35/1588.39 c 1509s| 2460k| 1415k| 0 | 0.0 |2317M|2816 | - |5645 | 11k| 0 | 0 | 0 |1754k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1595.65/1595.63 c 1516s| 2470k| 1420k| 0 | 0.0 |2325M|2816 | - |5645 | 10k| 0 | 0 | 0 |1762k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1602.55/1602.55 c 1522s| 2480k| 1425k| 0 | 0.0 |2334M|2816 | - |5645 | 10k| 0 | 0 | 0 |1769k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1609.15/1609.16 c 1529s| 2490k| 1431k| 0 | 0.0 |2342M|2816 | - |5645 | 11k| 0 | 0 | 0 |1776k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1615.55/1615.58 c 1535s| 2500k| 1437k| 0 | 0.0 |2351M|2816 | - |5645 | 11k| 0 | 0 | 0 |1782k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1621.75/1621.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1621.75/1621.72 c 1540s| 2510k| 1443k| 0 | 0.0 |2360M|2816 | - |5645 | 11k| 0 | 0 | 0 |1788k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1628.45/1628.48 c 1547s| 2520k| 1449k| 0 | 0.0 |2369M|2816 | - |5645 | 13k| 0 | 0 | 0 |1795k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1636.56/1636.52 c 1555s| 2530k| 1453k| 0 | 0.0 |2379M|2816 | - |5645 | 14k| 0 | 0 | 0 |1804k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1646.65/1646.70 c 1564s| 2540k| 1457k| 0 | 0.0 |2388M|2816 | - |5645 | 17k| 0 | 0 | 0 |1815k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1654.05/1654.00 c 1571s| 2550k| 1462k| 0 | 0.0 |2393M|2816 | - |5645 |9563 | 0 | 0 | 0 |1821k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1658.35/1658.32 c 1575s| 2560k| 1470k| 0 | 0.0 |2402M|2816 | - |5645 |8793 | 0 | 0 | 0 |1825k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1662.95/1662.96 c 1580s| 2570k| 1478k| 0 | 0.0 |2412M|2816 | - |5645 |9185 | 0 | 0 | 0 |1829k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1668.25/1668.20 c 1585s| 2580k| 1484k| 0 | 0.0 |2422M|2816 | - |5645 | 10k| 0 | 0 | 0 |1834k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1674.05/1674.05 c 1590s| 2590k| 1491k| 0 | 0.0 |2432M|2816 | - |5645 | 11k| 0 | 0 | 0 |1839k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1680.45/1680.45 c 1596s| 2600k| 1497k| 0 | 0.0 |2442M|2816 | - |5645 | 12k| 0 | 0 | 0 |1846k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1688.46/1688.42 c 1604s| 2610k| 1501k| 0 | 0.0 |2451M|2816 | - |5645 | 13k| 0 | 0 | 0 |1854k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1698.46/1698.41 c 1613s| 2620k| 1504k| 0 | 0.0 |2460M|2816 | - |5645 | 16k| 0 | 0 | 0 |1865k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1705.56/1705.55 c 1620s| 2630k| 1510k| 0 | 0.0 |2465M|2816 | - |5645 |9157 | 0 | 0 | 0 |1871k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1709.76/1709.75 c 1624s| 2640k| 1518k| 0 | 0.0 |2475M|2816 | - |5645 |9058 | 0 | 0 | 0 |1875k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1714.35/1714.30 c 1628s| 2650k| 1525k| 0 | 0.0 |2484M|2816 | - |5645 |9759 | 0 | 0 | 0 |1879k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1719.46/1719.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1719.46/1719.43 c 1633s| 2660k| 1532k| 0 | 0.0 |2494M|2816 | - |5645 | 10k| 0 | 0 | 0 |1883k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1724.96/1724.97 c 1638s| 2670k| 1539k| 0 | 0.0 |2504M|2816 | - |5645 | 12k| 0 | 0 | 0 |1889k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1731.46/1731.48 c 1644s| 2680k| 1545k| 0 | 0.0 |2514M|2816 | - |5645 | 13k| 0 | 0 | 0 |1895k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1739.96/1740.00 c 1653s| 2690k| 1549k| 0 | 0.0 |2524M|2816 | - |5645 | 15k| 0 | 0 | 0 |1904k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1751.16/1751.11 c 1663s| 2700k| 1552k| 0 | 0.0 |2530M|2816 | - |5645 | 14k| 0 | 0 | 0 |1916k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1755.55/1755.56 c 1667s| 2710k| 1560k| 0 | 0.0 |2538M|2816 | - |5645 |8738 | 0 | 0 | 0 |1919k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1759.65/1759.68 c 1671s| 2720k| 1568k| 0 | 0.0 |2547M|2816 | - |5645 |8448 | 0 | 0 | 0 |1923k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1763.95/1763.95 c 1675s| 2730k| 1575k| 0 | 0.0 |2556M|2816 | - |5645 |8678 | 0 | 0 | 0 |1926k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1768.46/1768.47 c 1679s| 2740k| 1583k| 0 | 0.0 |2565M|2816 | - |5645 |9063 | 0 | 0 | 0 |1930k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1773.26/1773.24 c 1684s| 2750k| 1590k| 0 | 0.0 |2574M|2816 | - |5645 |9600 | 0 | 0 | 0 |1934k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1778.06/1778.00 c 1688s| 2760k| 1597k| 0 | 0.0 |2583M|2816 | - |5645 | 10k| 0 | 0 | 0 |1938k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1783.16/1783.15 c 1693s| 2770k| 1604k| 0 | 0.0 |2592M|2816 | - |5645 | 10k| 0 | 0 | 0 |1943k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1787.96/1787.99 c 1698s| 2780k| 1612k| 0 | 0.0 |2601M|2816 | - |5645 | 11k| 0 | 0 | 0 |1948k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1793.56/1793.51 c 1703s| 2790k| 1618k| 0 | 0.0 |2610M|2816 | - |5645 | 11k| 0 | 0 | 0 |1953k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1799.26/1799.23 c 1708s| 2800k| 1625k| 0 | 0.0 |2619M|2816 | - |5645 | 12k| 0 | 0 | 0 |1959k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.07/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.00 c
1800.07/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.00 c Solving Time (sec) : 1709.08
1800.07/1800.00 c Solving Nodes : 2801361
1800.07/1800.00 c Primal Bound : +2.00000000000000e+00 (37 solutions)
1800.07/1800.00 c Dual Bound : +0.00000000000000e+00
1800.07/1800.00 c Gap : infinite
1800.07/1800.06 s SATISFIABLE
1800.07/1800.06 v -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 x210
1800.07/1800.06 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189
1800.07/1800.06 v -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.07/1800.06 v -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.07/1800.06 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126 -x125
1800.07/1800.06 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.07/1800.06 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.07/1800.06 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.07/1800.06 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.07/1800.06 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.07/1800.06 v -x1
1800.07/1800.06 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.06 c Solving Time : 1709.08
1800.07/1800.06 c Original Problem :
1800.07/1800.06 c Problem name : HOME/instance-2693625-1277927224.wbo
1800.07/1800.06 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.07/1800.06 c Constraints : 5415 initial, 5415 maximal
1800.07/1800.06 c Presolved Problem :
1800.07/1800.06 c Problem name : t_HOME/instance-2693625-1277927224.wbo
1800.07/1800.06 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.07/1800.06 c Constraints : 5414 initial, 19414 maximal
1800.07/1800.06 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.06 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.06 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.06 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.06 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.06 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.06 c probing : 0.03 0 0 0 0 0 0 0 0
1800.07/1800.06 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.06 c linear : 0.02 0 0 0 2707 0 1 0 0
1800.07/1800.06 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.06 c root node : - 2675 - - 5350 - - - -
1800.07/1800.06 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.06 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.06 c indicator : 2707 0 6752846 0 2011070 78 1699794 0 0 0
1800.07/1800.06 c linear : 2707 0 8447448 0 2396147 567432 48601596 0 0 0
1800.07/1800.06 c logicor : 0+ 0 3995727 0 0 96536 2062771 0 0 0
1800.07/1800.06 c countsols : 0 0 0 0 2396168 0 0 0 0 0
1800.07/1800.06 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.06 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.06 c indicator : 9.87 0.00 4.02 0.00 5.85
1800.07/1800.06 c linear : 464.87 0.00 463.74 0.00 1.13
1800.07/1800.06 c logicor : 221.77 0.00 221.77 0.00 0.00
1800.07/1800.06 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.06 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.06 c vbounds : 0.01 2 0 0
1800.07/1800.06 c rootredcost : 0.01 0 0 0
1800.07/1800.06 c pseudoobj : 406.75 8449092 1560 1686807
1800.07/1800.06 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.06 c propagation : 43.98 665528 665524 3307631 21.4 136193 11.1 -
1800.07/1800.06 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.06 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.06 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.06 c pseudo solution : 0.01 86 86 329 26.9 238 9.4 -
1800.07/1800.06 c applied globally : - - - 1960095 19.1 - - -
1800.07/1800.06 c applied locally : - - - 2 338.0 - - -
1800.07/1800.06 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.06 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.06 c redcost : 0.00 0 0 0 0 0
1800.07/1800.06 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.06 c intobj : 0.00 0 0 0 0 0
1800.07/1800.06 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.06 c gomory : 0.00 0 0 0 0 0
1800.07/1800.06 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.06 c cmir : 0.00 0 0 0 0 0
1800.07/1800.06 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.06 c clique : 0.00 0 0 0 0 0
1800.07/1800.06 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.06 c mcf : 0.00 0 0 0 0 0
1800.07/1800.06 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.06 c Pricers : Time Calls Vars
1800.07/1800.06 c problem variables: 0.00 0 0
1800.07/1800.06 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.06 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.06 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.06 c inference : 37.16 2396134 0 0 0 0 4792268
1800.07/1800.06 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.06 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.06 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.06 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.06 c random : 0.00 0 0 0 0 0 0
1800.07/1800.06 c Primal Heuristics : Time Calls Found
1800.07/1800.06 c LP solutions : 0.00 - 0
1800.07/1800.06 c pseudo solutions : 0.12 - 34
1800.07/1800.06 c oneopt : 0.07 0 0
1800.07/1800.06 c trivial : 0.08 2 2
1800.07/1800.06 c simplerounding : 0.00 0 0
1800.07/1800.06 c zirounding : 0.00 0 0
1800.07/1800.06 c rounding : 0.00 0 0
1800.07/1800.06 c shifting : 0.00 0 0
1800.07/1800.06 c intshifting : 0.00 0 0
1800.07/1800.06 c twoopt : 0.00 0 0
1800.07/1800.06 c fixandinfer : 0.00 0 0
1800.07/1800.06 c feaspump : 0.00 0 0
1800.07/1800.06 c coefdiving : 0.00 0 0
1800.07/1800.06 c pscostdiving : 0.00 0 0
1800.07/1800.06 c fracdiving : 0.00 0 0
1800.07/1800.06 c veclendiving : 0.00 0 0
1800.07/1800.06 c intdiving : 0.00 0 0
1800.07/1800.06 c actconsdiving : 0.00 0 0
1800.07/1800.06 c objpscostdiving : 0.00 0 0
1800.07/1800.06 c rootsoldiving : 0.00 0 0
1800.07/1800.06 c linesearchdiving : 0.00 0 0
1800.07/1800.06 c guideddiving : 0.00 0 0
1800.07/1800.06 c octane : 0.00 0 0
1800.07/1800.06 c rens : 0.00 0 0
1800.07/1800.06 c rins : 0.00 0 0
1800.07/1800.06 c localbranching : 0.00 0 0
1800.07/1800.06 c mutation : 0.00 0 0
1800.07/1800.06 c crossover : 0.00 0 0
1800.07/1800.06 c dins : 0.00 0 0
1800.07/1800.06 c undercover : 0.00 0 0
1800.07/1800.06 c nlp : 0.01 0 0
1800.07/1800.06 c trysol : 0.00 1 1
1800.07/1800.06 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.06 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.06 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.06 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.06 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.06 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.06 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.06 c (at root node) : - 0 0 0.00 -
1800.07/1800.06 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.06 c B&B Tree :
1800.07/1800.06 c number of runs : 1
1800.07/1800.06 c nodes : 2801361
1800.07/1800.06 c nodes (total) : 2801361
1800.07/1800.06 c nodes left : 1626318
1800.07/1800.06 c max depth : 2816
1800.07/1800.06 c max depth (total): 2816
1800.07/1800.06 c backtracks : 355151 (12.7%)
1800.07/1800.06 c delayed cutoffs : 319527
1800.07/1800.06 c repropagations : 1473478 (16444885 domain reductions, 260499 cutoffs)
1800.07/1800.06 c avg switch length: 40.30
1800.07/1800.06 c switching time : 486.15
1800.07/1800.06 c Solution :
1800.07/1800.06 c Solutions found : 37 (35 improvements)
1800.07/1800.06 c First Solution : +1.36624000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.07/1800.06 c Primal Bound : +2.00000000000000e+00 (in run 1, after 990634 nodes, 600.42 seconds, depth 121, found by <relaxation>)
1800.07/1800.06 c Dual Bound : +0.00000000000000e+00
1800.07/1800.06 c Gap : infinite
1800.07/1800.06 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.06 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-2693625-1277927224/watcher-2693625-1277927224 -o /tmp/evaluation-result-2693625-1277927224/solver-2693625-1277927224 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693625-1277927224.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.04 2.14 3/178 27124
/proc/meminfo: memFree=30998540/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=8408 CPUtime=0
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 1580 0 0 0 0 0 0 0 22 0 1 0 168325435 8609792 1502 4089446400 4194304 7136930 140735601576960 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/27124/statm: 2102 1502 275 719 0 1381 0
[startup+0.10376 s]
/proc/loadavg: 2.00 2.04 2.14 3/178 27124
/proc/meminfo: memFree=30998540/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=33676 CPUtime=0.09
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 7968 0 0 0 9 0 0 0 22 0 1 0 168325435 34484224 7536 4089446400 4194304 7136930 140735601576960 18446744073709551615 4241129 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 8419 7536 323 719 0 7698 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33676
[startup+0.200923 s]
/proc/loadavg: 2.00 2.04 2.14 3/178 27124
/proc/meminfo: memFree=30998540/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=36364 CPUtime=0.19
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 9181 0 0 0 17 2 0 0 22 0 1 0 168325435 37236736 8235 4089446400 4194304 7136930 140735601576960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 9091 8235 383 719 0 8370 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 36364
[startup+0.300826 s]
/proc/loadavg: 2.00 2.04 2.14 3/178 27124
/proc/meminfo: memFree=30998540/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=36496 CPUtime=0.29
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 9242 0 0 0 26 3 0 0 22 0 1 0 168325435 37371904 8296 4089446400 4194304 7136930 140735601576960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 9124 8296 383 719 0 8403 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36496
[startup+0.700715 s]
/proc/loadavg: 2.00 2.04 2.14 3/178 27124
/proc/meminfo: memFree=30998540/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=37636 CPUtime=0.69
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 9517 0 0 0 64 5 0 0 24 0 1 0 168325435 38539264 8571 4089446400 4194304 7136930 140735601576960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 9409 8571 383 719 0 8688 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37636
[startup+1.50049 s]
/proc/loadavg: 2.00 2.04 2.14 4/179 27125
/proc/meminfo: memFree=30963316/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=43012 CPUtime=1.49
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 10884 0 0 0 136 13 0 0 25 0 1 0 168325435 44044288 9938 4089446400 4194304 7136930 140735601576960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 10753 9938 390 719 0 10032 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43012
[startup+3.1002 s]
/proc/loadavg: 2.00 2.04 2.14 4/179 27125
/proc/meminfo: memFree=30958708/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=49000 CPUtime=3.09
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 12226 0 0 0 288 21 0 0 25 0 1 0 168325435 50176000 11280 4089446400 4194304 7136930 140735601576960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 12250 11280 390 719 0 11529 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49000
[startup+6.30059 s]
/proc/loadavg: 2.00 2.04 2.14 4/179 27125
/proc/meminfo: memFree=30945936/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=62648 CPUtime=6.29
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 15641 0 0 0 586 43 0 0 25 0 1 0 168325435 64151552 14695 4089446400 4194304 7136930 140735601576960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 15662 14695 391 719 0 14941 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62648
[startup+12.7004 s]
/proc/loadavg: 2.00 2.04 2.14 4/179 27125
/proc/meminfo: memFree=30922516/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=84308 CPUtime=12.69
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 20943 0 0 0 1190 79 0 0 25 0 1 0 168325435 86331392 19997 4089446400 4194304 7136930 140735601576960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 21077 19997 391 719 0 20356 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84308
[startup+25.5009 s]
/proc/loadavg: 2.00 2.03 2.14 4/179 27126
/proc/meminfo: memFree=30877708/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=129668 CPUtime=25.49
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 31924 0 0 0 2415 134 0 0 25 0 1 0 168325435 132780032 30978 4089446400 4194304 7136930 140735601576960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 32417 30978 391 719 0 31696 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 129668
[startup+51.1011 s]
/proc/loadavg: 2.00 2.03 2.13 4/179 27127
/proc/meminfo: memFree=30813200/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=196264 CPUtime=51.09
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 47902 0 0 0 4811 298 0 0 25 0 1 0 168325435 200974336 46956 4089446400 4194304 7136930 140735601576960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 49066 46956 391 719 0 48345 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 196264
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.12 3/179 27128
/proc/meminfo: memFree=30705780/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=300128 CPUtime=102.3
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 73961 0 0 0 9699 531 0 0 25 0 1 0 168325435 307331072 73015 4089446400 4194304 7136930 140735601576960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 75032 73015 391 719 0 74311 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 300128
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.11 4/179 27129
/proc/meminfo: memFree=30633080/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=382984 CPUtime=162.3
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 94177 0 0 0 15454 776 0 0 25 0 1 0 168325435 392175616 93231 4089446400 4194304 7136930 140735601576960 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 95746 93231 391 719 0 95025 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 382984
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.10 4/179 27131
/proc/meminfo: memFree=30531460/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=500448 CPUtime=222.3
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 121567 0 0 0 21189 1041 0 0 25 0 1 0 168325435 512458752 120621 4089446400 4194304 7136930 140735601576960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 125112 120621 391 719 0 124391 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 500448
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.09 4/179 27133
/proc/meminfo: memFree=30413364/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=621456 CPUtime=282.3
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 151413 0 0 0 26849 1381 0 0 25 0 1 0 168325435 636370944 150467 4089446400 4194304 7136930 140735601576960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 155364 150467 391 719 0 154643 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 621456
[startup+342.301 s]
/proc/loadavg: 2.05 2.02 2.09 4/179 27134
/proc/meminfo: memFree=30281112/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=749232 CPUtime=342.31
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 183742 0 0 0 32454 1777 0 0 25 0 1 0 168325435 767213568 182796 4089446400 4194304 7136930 140735601576960 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 187308 182796 391 719 0 186587 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 749232
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.08 4/179 27136
/proc/meminfo: memFree=30150728/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=882820 CPUtime=402.3
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 215437 0 0 0 38074 2156 0 0 25 0 1 0 168325435 904007680 214491 4089446400 4194304 7136930 140735601576960 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 220705 214491 391 719 0 219984 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 882820
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.08 4/179 27137
/proc/meminfo: memFree=30064132/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=968600 CPUtime=462.31
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 236726 0 0 0 43813 2418 0 0 25 0 1 0 168325435 991846400 235780 4089446400 4194304 7136930 140735601576960 18446744073709551615 4947397 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 242150 235780 391 719 0 241429 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 968600
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.07 4/179 27139
/proc/meminfo: memFree=29984708/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=1046920 CPUtime=522.31
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 256410 0 0 0 49571 2660 0 0 25 0 1 0 168325435 1072046080 255464 4089446400 4194304 7136930 140735601576960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 261730 255464 391 719 0 261009 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1046920
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.07 4/179 27141
/proc/meminfo: memFree=29935928/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=1092796 CPUtime=582.32
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 267810 0 0 0 55365 2867 0 0 25 0 1 0 168325435 1119023104 266864 4089446400 4194304 7136930 140735601576960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 273199 266864 391 719 0 272478 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 1092796
[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.06 4/179 27142
/proc/meminfo: memFree=29887144/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=1141576 CPUtime=642.32
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 280000 0 0 0 61039 3193 0 0 25 0 1 0 168325435 1168973824 279054 4089446400 4194304 7136930 140735601576960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 285394 279054 391 719 0 284673 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 1141576
[startup+702.301 s]
################
# More data... #
################
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 417316 0 0 0 100954 5279 0 0 25 0 1 0 168325435 1728487424 416370 4089446400 4194304 7136930 140735601576960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 421994 416370 391 719 0 421273 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 1687976
[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 2.01 4/197 27231
/proc/meminfo: memFree=29528236/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=1815916 CPUtime=1122.34
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 445421 0 0 0 106592 5642 0 0 25 0 1 0 168325435 1859497984 444475 4089446400 4194304 7136930 140735601576960 18446744073709551615 4999754 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 453979 444475 391 719 0 453258 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 1815916
[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 2.01 3/197 27233
/proc/meminfo: memFree=29426624/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=1878836 CPUtime=1182.34
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 461363 0 0 0 112328 5906 0 0 25 0 1 0 168325435 1923928064 460417 4089446400 4194304 7136930 140735601576960 18446744073709551615 4979019 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 469709 460417 391 719 0 468988 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 1878836
[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 2.00 4/197 27234
/proc/meminfo: memFree=29299696/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=1981800 CPUtime=1242.33
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 487054 0 0 0 118063 6170 0 0 25 0 1 0 168325435 2029363200 486108 4089446400 4194304 7136930 140735601576960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 495450 486108 391 719 0 494729 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1981800
[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/197 27236
/proc/meminfo: memFree=29214816/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=2048492 CPUtime=1302.34
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 503813 0 0 0 123779 6455 0 0 25 0 1 0 168325435 2097655808 502867 4089446400 4194304 7136930 140735601576960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 512123 502867 391 719 0 511402 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 2048492
[startup+1362.3 s]
/proc/loadavg: 2.40 2.09 2.04 4/197 27237
/proc/meminfo: memFree=29107016/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=2125880 CPUtime=1362.34
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 523430 0 0 0 129489 6745 0 0 25 0 1 0 168325435 2176901120 522484 4089446400 4194304 7136930 140735601576960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 531470 522484 391 719 0 530749 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 2125880
[startup+1422.3 s]
/proc/loadavg: 2.18 2.09 2.04 3/197 27239
/proc/meminfo: memFree=28981984/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=2221812 CPUtime=1422.35
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 547520 0 0 0 135167 7068 0 0 25 0 1 0 168325435 2275135488 546574 4089446400 4194304 7136930 140735601576960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 555453 546574 391 719 0 554732 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 2221812
[startup+1482.3 s]
/proc/loadavg: 2.29 2.16 2.07 3/197 27241
/proc/meminfo: memFree=28881500/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=2311556 CPUtime=1482.34
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 570304 0 0 0 140841 7393 0 0 25 0 1 0 168325435 2367033344 569358 4089446400 4194304 7136930 140735601576960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 577889 569358 391 719 0 577168 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 2311556
[startup+1542.31 s]
/proc/loadavg: 2.10 2.13 2.06 4/197 27242
/proc/meminfo: memFree=28774468/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=2412816 CPUtime=1542.35
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 595779 0 0 0 146518 7717 0 0 25 0 1 0 168325435 2470723584 594833 4089446400 4194304 7136930 140735601576960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 603204 594833 391 719 0 602483 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 2412816
[startup+1602.3 s]
/proc/loadavg: 2.04 2.11 2.06 3/197 27247
/proc/meminfo: memFree=28693088/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=2493600 CPUtime=1602.35
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 615969 0 0 0 152209 8026 0 0 25 0 1 0 168325435 2553446400 615023 4089446400 4194304 7136930 140735601576960 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 623400 615023 391 719 0 622679 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 2493600
[startup+1662.3 s]
/proc/loadavg: 2.01 2.08 2.05 4/197 27248
/proc/meminfo: memFree=28613960/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=2570876 CPUtime=1662.35
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 635557 0 0 0 157907 8328 0 0 25 0 1 0 168325435 2632577024 634611 4089446400 4194304 7136930 140735601576960 18446744073709551615 4210526 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 642719 634611 391 719 0 641998 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 2570876
[startup+1722.3 s]
/proc/loadavg: 2.00 2.07 2.04 3/197 27250
/proc/meminfo: memFree=28530088/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=2652844 CPUtime=1722.35
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 656404 0 0 0 163574 8661 0 0 25 0 1 0 168325435 2716512256 655458 4089446400 4194304 7136930 140735601576960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 663211 655458 391 719 0 662490 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 2652844
[startup+1782.3 s]
/proc/loadavg: 2.00 2.05 2.04 4/197 27252
/proc/meminfo: memFree=28442256/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=2739236 CPUtime=1782.36
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 678272 0 0 0 169246 8990 0 0 25 0 1 0 168325435 2804977664 677326 4089446400 4194304 7136930 140735601576960 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 684809 677326 391 719 0 684088 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 2739236
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.47 2.16 2.07 4/197 27252
/proc/meminfo: memFree=28413232/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=2766300 CPUtime=1800.07
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 685141 0 0 0 170910 9097 0 0 25 0 1 0 168325435 2832691200 684195 4089446400 4194304 7136930 140735601576960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27124/statm: 691575 684195 391 719 0 690854 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2766300
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -27124
Solver just ended. Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 2.47 2.16 2.07 3/198 27253
/proc/meminfo: memFree=28412852/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=2766300 CPUtime=1800.77
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 685147 0 0 0 170980 9097 0 0 18 0 1 0 168325435 2832691200 684201 4089446400 4194304 7136930 140735601576960 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/27124/statm: 691575 684201 397 719 0 690854 0
Current children cumulated CPU time (s) 1800.77
Current children cumulated vsize (KiB) 2766300
[startup+1801.5 s]
/proc/loadavg: 2.47 2.16 2.07 3/198 27253
/proc/meminfo: memFree=28412852/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=2766300 CPUtime=1801.56
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 685147 0 0 0 171059 9097 0 0 20 0 1 0 168325435 2832691200 684201 4089446400 4194304 7136930 140735601576960 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/27124/statm: 691575 684201 397 719 0 690854 0
Current children cumulated CPU time (s) 1801.56
Current children cumulated vsize (KiB) 2766300
[startup+1801.91 s]
/proc/loadavg: 2.47 2.16 2.07 3/198 27253
/proc/meminfo: memFree=28412972/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=2766300 CPUtime=1801.97
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 685147 0 0 0 171100 9097 0 0 20 0 1 0 168325435 2832691200 684201 4089446400 4194304 7136930 140735601576960 18446744073709551615 4212551 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/27124/statm: 691575 684201 397 719 0 690854 0
Current children cumulated CPU time (s) 1801.97
Current children cumulated vsize (KiB) 2766300
[startup+1802 s]
/proc/loadavg: 2.47 2.16 2.07 3/198 27253
/proc/meminfo: memFree=28412972/32950928 swapFree=67111528/67111528
[pid=27124] ppid=27122 vsize=2766300 CPUtime=1802.06
/proc/27124/stat : 27124 (pbscip.linux.x8) R 27122 27124 26901 0 -1 4202496 685147 0 0 0 171109 9097 0 0 21 0 1 0 168325435 2832691200 684201 4089446400 4194304 7136930 140735601576960 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/27124/statm: 691575 684201 397 719 0 690854 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 2766300
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.1
CPU time (s): 1802.16
CPU user time (s): 1711.1
CPU system time (s): 91.0622
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 2766300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1711.1
system time used= 91.0622
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 685147
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= 1038
runsolver used 3.23851 second user time and 6.582 second system time
The end
Begin job on node115 at 2010-06-30 21:47:04
IDJOB=2693625
IDBENCH=79277
IDSOLVER=1206
FILE ID=node115/2693625-1277927224
PBS_JOBID= 11197362
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.1900574864--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-2693625-1277927224/watcher-2693625-1277927224 -o /tmp/evaluation-result-2693625-1277927224/solver-2693625-1277927224 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693625-1277927224.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 2d789ef1df9f4a4dbc546a24cba98a06
RANDOM SEED=1750889848
node115.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.796
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.796
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 : 5226.08
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.796
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.75
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.796
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.76
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.796
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.82
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.796
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.796
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.75
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.796
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: 32950928 kB
MemFree: 30999440 kB
Buffers: 212248 kB
Cached: 938860 kB
SwapCached: 0 kB
Active: 1122676 kB
Inactive: 684404 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 30999440 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3128 kB
Writeback: 0 kB
AnonPages: 655640 kB
Mapped: 17072 kB
Slab: 78840 kB
PageTables: 6324 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 803872 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74208 MiB
End job on node115 at 2010-06-30 22:17:06