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-2693605-1277926215.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 135714
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.357140e+05
0.09/0.12 c presolving:
0.09/0.13 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.18 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (3 rounds):
0.09/0.18 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 2707 implications, 0 cliques
0.09/0.18 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.18 c 2707 constraints of type <indicator>
0.09/0.18 c 2707 constraints of type <linear>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.12
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.97
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.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.357140e+05 | Inf
2.79/2.89 o 578
2.79/2.89 c * 2.7s| 8701 | 7351 | 0 | 0.0 | 24M|2816 | - |5645 |6916 | 0 | 0 | 0 |1502 | 0 | 0.000000e+00 | 5.780000e+02 | Inf
2.79/2.89 o 526
2.79/2.89 c * 2.7s| 8702 | 6576 | 0 | 0.0 | 24M|2816 | - |5645 |6916 | 0 | 0 | 0 |1502 | 0 | 0.000000e+00 | 5.260000e+02 | Inf
2.89/2.95 o 481
2.89/2.95 c * 2.8s| 8836 | 6076 | 0 | 0.0 | 24M|2816 | - |5645 |6936 | 0 | 0 | 0 |1522 | 0 | 0.000000e+00 | 4.810000e+02 | Inf
2.99/3.01 o 425
2.99/3.01 c * 2.8s| 8959 | 5819 | 0 | 0.0 | 23M|2816 | - |5645 |6946 | 0 | 0 | 0 |1532 | 0 | 0.000000e+00 | 4.250000e+02 | Inf
2.99/3.07 o 419
2.99/3.07 c * 2.9s| 9080 | 5933 | 0 | 0.0 | 23M|2816 | - |5645 |6956 | 0 | 0 | 0 |1542 | 0 | 0.000000e+00 | 4.190000e+02 | Inf
2.99/3.07 o 384
2.99/3.07 c * 2.9s| 9081 | 5922 | 0 | 0.0 | 24M|2816 | - |5645 |6956 | 0 | 0 | 0 |1542 | 0 | 0.000000e+00 | 3.840000e+02 | Inf
3.09/3.16 o 364
3.09/3.16 c * 3.0s| 9297 | 6115 | 0 | 0.0 | 24M|2816 | - |5645 |6986 | 0 | 0 | 0 |1572 | 0 | 0.000000e+00 | 3.640000e+02 | Inf
3.20/3.20 o 327
3.20/3.20 c * 3.0s| 9390 | 6182 | 0 | 0.0 | 24M|2816 | - |5645 |7006 | 0 | 0 | 0 |1592 | 0 | 0.000000e+00 | 3.270000e+02 | Inf
3.20/3.28 o 311
3.20/3.28 c * 3.1s| 9560 | 6277 | 0 | 0.0 | 24M|2816 | - |5645 |7046 | 0 | 0 | 0 |1635 | 0 | 0.000000e+00 | 3.110000e+02 | Inf
3.20/3.29 o 295
3.20/3.29 c * 3.1s| 9580 | 6260 | 0 | 0.0 | 24M|2816 | - |5645 |7069 | 0 | 0 | 0 |1658 | 0 | 0.000000e+00 | 2.950000e+02 | Inf
3.30/3.33 o 252
3.30/3.33 c * 3.1s| 9672 | 6268 | 0 | 0.0 | 24M|2816 | - |5645 |7085 | 0 | 0 | 0 |1674 | 0 | 0.000000e+00 | 2.520000e+02 | Inf
3.30/3.36 o 229
3.30/3.36 c * 3.1s| 9756 | 6337 | 0 | 0.0 | 24M|2816 | - |5645 |7085 | 0 | 0 | 0 |1674 | 0 | 0.000000e+00 | 2.290000e+02 | Inf
3.39/3.44 c 3.2s| 10000 | 6563 | 0 | 0.0 | 25M|2816 | - |5645 |7133 | 0 | 0 | 0 |1724 | 0 | 0.000000e+00 | 2.290000e+02 | Inf
3.39/3.44 o 228
3.39/3.44 c * 3.2s| 10010 | 6560 | 0 | 0.0 | 25M|2816 | - |5645 |7133 | 0 | 0 | 0 |1724 | 0 | 0.000000e+00 | 2.280000e+02 | Inf
6.69/6.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.69/6.73 c 6.3s| 20000 | 14941 | 0 | 0.0 | 36M|2816 | - |5645 |8043 | 0 | 0 | 0 |9052 | 0 | 0.000000e+00 | 2.280000e+02 | Inf
10.79/10.85 c 10.2s| 30000 | 22244 | 0 | 0.0 | 48M|2816 | - |5645 |9751 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 2.280000e+02 | Inf
15.79/15.85 o 198
15.79/15.85 c *14.9s| 37811 | 27535 | 0 | 0.0 | 57M|2816 | - |5645 |9159 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.980000e+02 | Inf
15.89/15.96 o 168
15.89/15.96 c *15.1s| 38002 | 27476 | 0 | 0.0 | 56M|2816 | - |5645 |9149 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
16.09/16.18 o 158
16.09/16.18 c *15.3s| 38326 | 27694 | 0 | 0.0 | 56M|2816 | - |5645 |9116 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.580000e+02 | Inf
16.59/16.67 o 126
16.59/16.67 c *15.7s| 38999 | 27640 | 0 | 0.0 | 56M|2816 | - |5645 |9119 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
16.59/16.67 o 102
16.59/16.67 c *15.7s| 39000 | 27097 | 0 | 0.0 | 56M|2816 | - |5645 |9119 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
16.99/17.09 o 97
16.99/17.09 c *16.1s| 39534 | 27348 | 0 | 0.0 | 57M|2816 | - |5645 |8976 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
17.09/17.10 o 90
17.09/17.10 c *16.1s| 39535 | 26840 | 0 | 0.0 | 56M|2816 | - |5645 |8976 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
17.69/17.76 c 16.8s| 40000 | 27255 | 0 | 0.0 | 57M|2816 | - |5645 |8499 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
17.89/17.95 o 89
17.89/17.95 c *16.9s| 40221 | 27380 | 0 | 0.0 | 57M|2816 | - |5645 |8441 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 8.900000e+01 | Inf
18.70/18.77 o 88
18.70/18.77 c *17.7s| 41287 | 28297 | 0 | 0.0 | 59M|2816 | - |5645 |8170 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
18.89/18.91 o 85
18.89/18.91 c *17.9s| 41501 | 28329 | 0 | 0.0 | 59M|2816 | - |5645 |8172 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
19.19/19.20 o 80
19.19/19.20 c *18.1s| 41896 | 28478 | 0 | 0.0 | 60M|2816 | - |5645 |8140 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
19.19/19.20 o 71
19.19/19.20 c *18.1s| 41904 | 28089 | 0 | 0.0 | 60M|2816 | - |5645 |8140 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
19.19/19.21 o 61
19.19/19.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.19/19.21 c *18.1s| 41905 | 27739 | 0 | 0.0 | 60M|2816 | - |5645 |8140 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
19.69/19.73 o 54
19.69/19.73 c *18.6s| 42734 | 28025 | 0 | 0.0 | 60M|2816 | - |5645 |7809 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
19.99/20.06 o 52
19.99/20.06 c *18.9s| 43271 | 28430 | 0 | 0.0 | 60M|2816 | - |5645 |7722 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 5.200000e+01 | Inf
20.29/20.34 o 39
20.29/20.34 c *19.2s| 43735 | 28035 | 0 | 0.0 | 60M|2816 | - |5645 |7576 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
20.29/20.34 o 25
20.29/20.34 c *19.2s| 43736 | 27523 | 0 | 0.0 | 60M|2816 | - |5645 |7576 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
22.79/22.88 o 22
22.79/22.88 c *21.6s| 48697 | 31479 | 0 | 0.0 | 67M|2816 | - |5645 |7626 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
22.79/22.88 o 17
22.79/22.88 c *21.6s| 48698 | 31272 | 0 | 0.0 | 66M|2816 | - |5645 |7626 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
23.39/23.40 c 22.1s| 50000 | 32363 | 0 | 0.0 | 68M|2816 | - |5645 |7759 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
24.09/24.15 o 11
24.09/24.15 c *22.8s| 51637 | 33333 | 0 | 0.0 | 70M|2816 | - |5645 |7771 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
28.09/28.11 o 9
28.09/28.11 c *26.5s| 59717 | 39672 | 0 | 0.0 | 80M|2816 | - |5645 |8448 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
28.19/28.23 c 26.7s| 60000 | 39865 | 0 | 0.0 | 80M|2816 | - |5645 |8475 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
32.19/32.21 c 30.4s| 70000 | 48210 | 0 | 0.0 | 93M|2816 | - |5645 |9051 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
32.29/32.31 o 6
32.29/32.31 c *30.4s| 70274 | 48177 | 0 | 0.0 | 93M|2816 | - |5645 |9179 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
35.59/35.64 c 33.5s| 80000 | 56376 | 0 | 0.0 | 105M|2816 | - |5645 |7976 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
39.19/39.24 c 36.9s| 90000 | 64435 | 0 | 0.0 | 116M|2816 | - |5645 |8793 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
43.19/43.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.19/43.27 c 40.7s|100000 | 72079 | 0 | 0.0 | 126M|2816 | - |5645 |9198 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
47.69/47.74 c 44.9s|110000 | 79319 | 0 | 0.0 | 137M|2816 | - |5645 |9591 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
52.29/52.34 c 49.3s|120000 | 86441 | 0 | 0.0 | 148M|2816 | - |5645 | 10k| 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
57.10/57.17 c 53.8s|130000 | 93313 | 0 | 0.0 | 159M|2816 | - |5645 | 10k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
61.79/61.85 c 58.3s|140000 |100367 | 0 | 0.0 | 169M|2816 | - |5645 | 11k| 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
66.90/66.99 c 63.1s|150000 |107022 | 0 | 0.0 | 180M|2816 | - |5645 | 11k| 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
72.39/72.40 c 68.3s|160000 |113506 | 0 | 0.0 | 191M|2816 | - |5645 | 12k| 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
78.39/78.43 c 74.1s|170000 |119482 | 0 | 0.0 | 203M|2816 | - |5645 | 12k| 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
84.79/84.83 c 80.2s|180000 |125148 | 0 | 0.0 | 214M|2816 | - |5645 | 13k| 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
91.80/91.87 c 87.0s|190000 |130307 | 0 | 0.0 | 225M|2816 | - |5645 | 14k| 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
100.00/100.06 c 94.9s|200000 |134562 | 0 | 0.0 | 236M|2816 | - |5645 | 14k| 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
110.00/110.09 c 105s|210000 |135581 | 0 | 0.0 | 243M|2816 | - |5645 |9298 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
120.29/120.38 c 114s|220000 |142552 | 0 | 0.0 | 262M|2816 | - |5645 | 10k| 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
131.39/131.49 c 125s|230000 |149285 | 0 | 0.0 | 304M|2816 | - |5645 | 10k| 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
146.09/146.13 c 139s|240000 |154591 | 0 | 0.0 | 389M|2816 | - |5645 | 11k| 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
159.90/159.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
159.90/159.98 c 153s|250000 |160604 | 0 | 0.0 | 509M|2816 | - |5645 | 14k| 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
161.09/161.17 o 5
161.09/161.17 c * 154s|250429 |160523 | 0 | 0.0 | 515M|2816 | - |5645 | 15k| 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
161.39/161.41 o 2
161.39/161.41 c * 154s|250485 |158289 | 0 | 0.0 | 509M|2816 | - |5645 | 15k| 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
168.09/168.19 c 161s|260000 |165683 | 0 | 0.0 | 542M|2816 | - |5645 | 13k| 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
174.79/174.84 c 167s|270000 |172244 | 0 | 0.0 | 563M|2816 | - |5645 |7644 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
179.69/179.74 c 171s|280000 |179090 | 0 | 0.0 | 574M|2816 | - |5645 |9839 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
184.20/184.22 c 176s|290000 |186416 | 0 | 0.0 | 583M|2816 | - |5645 |8362 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
189.40/189.43 c 181s|300000 |192791 | 0 | 0.0 | 592M|2816 | - |5645 |7877 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
194.70/194.71 c 186s|310000 |199154 | 0 | 0.0 | 602M|2816 | - |5645 |8358 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
198.50/198.59 c 189s|320000 |207210 | 0 | 0.0 | 612M|2816 | - |5645 |8117 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
204.00/204.08 c 194s|330000 |213558 | 0 | 0.0 | 624M|2816 | - |5645 | 10k| 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
209.49/209.55 c 200s|340000 |220022 | 0 | 0.0 | 633M|2816 | - |5645 |8505 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
214.70/214.74 c 205s|350000 |226602 | 0 | 0.0 | 643M|2816 | - |5645 |7910 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
218.80/218.83 c 208s|360000 |234365 | 0 | 0.0 | 654M|2816 | - |5645 |8384 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
224.79/224.80 c 214s|370000 |240181 | 0 | 0.0 | 665M|2816 | - |5645 | 10k| 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
229.20/229.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
229.20/229.25 c 218s|380000 |247613 | 0 | 0.0 | 674M|2816 | - |5645 |8677 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
234.09/234.15 c 223s|390000 |254418 | 0 | 0.0 | 684M|2816 | - |5645 |8219 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
239.19/239.25 c 228s|400000 |261088 | 0 | 0.0 | 694M|2816 | - |5645 |8288 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
243.79/243.88 c 232s|410000 |268284 | 0 | 0.0 | 704M|2816 | - |5645 |8909 | 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
248.29/248.39 c 236s|420000 |275627 | 0 | 0.0 | 714M|2816 | - |5645 |8607 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
253.39/253.40 c 241s|430000 |282354 | 0 | 0.0 | 724M|2816 | - |5645 |9797 | 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
257.89/257.92 c 245s|440000 |289621 | 0 | 0.0 | 733M|2816 | - |5645 |8668 | 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
262.70/262.77 c 250s|450000 |296498 | 0 | 0.0 | 743M|2816 | - |5645 |8397 | 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
267.49/267.52 c 254s|460000 |303493 | 0 | 0.0 | 753M|2816 | - |5645 |8905 | 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
272.80/272.81 c 259s|470000 |309854 | 0 | 0.0 | 763M|2816 | - |5645 |9626 | 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
277.39/277.45 c 263s|480000 |316904 | 0 | 0.0 | 774M|2816 | - |5645 |9973 | 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
281.69/281.79 c 267s|490000 |324325 | 0 | 0.0 | 783M|2816 | - |5645 |9116 | 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
286.49/286.55 c 272s|500000 |331271 | 0 | 0.0 | 793M|2816 | - |5645 |8506 | 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
291.09/291.14 c 276s|510000 |338375 | 0 | 0.0 | 803M|2816 | - |5645 |8419 | 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
295.69/295.73 c 281s|520000 |345463 | 0 | 0.0 | 812M|2816 | - |5645 |8524 | 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
300.20/300.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
300.20/300.27 c 285s|530000 |352631 | 0 | 0.0 | 822M|2816 | - |5645 |9007 | 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
305.60/305.61 c 290s|540000 |358914 | 0 | 0.0 | 833M|2816 | - |5645 | 10k| 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
309.40/309.42 c 293s|550000 |366961 | 0 | 0.0 | 842M|2816 | - |5645 |8783 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
314.30/314.35 c 298s|560000 |373654 | 0 | 0.0 | 851M|2816 | - |5645 |9449 | 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
319.00/319.06 c 302s|570000 |380625 | 0 | 0.0 | 861M|2816 | - |5645 |8941 | 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
323.69/323.78 c 307s|580000 |387559 | 0 | 0.0 | 870M|2816 | - |5645 |8749 | 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
329.19/329.22 c 312s|590000 |393764 | 0 | 0.0 | 881M|2816 | - |5645 | 10k| 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
334.80/334.87 c 317s|600000 |400191 | 0 | 0.0 | 892M|2816 | - |5645 |9720 | 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
340.70/340.74 c 323s|610000 |406413 | 0 | 0.0 | 902M|2816 | - |5645 | 10k| 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
347.00/347.04 c 329s|620000 |412286 | 0 | 0.0 | 913M|2816 | - |5645 |9987 | 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
353.59/353.61 c 335s|630000 |417828 | 0 | 0.0 | 924M|2816 | - |5645 | 10k| 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
360.40/360.40 c 342s|640000 |423200 | 0 | 0.0 | 935M|2816 | - |5645 | 10k| 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
367.30/367.32 c 348s|650000 |428441 | 0 | 0.0 | 946M|2816 | - |5645 | 11k| 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
374.20/374.29 c 355s|660000 |433640 | 0 | 0.0 | 956M|2816 | - |5645 | 11k| 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
381.49/381.53 c 362s|670000 |438577 | 0 | 0.0 | 967M|2816 | - |5645 | 11k| 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
388.70/388.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
388.70/388.76 c 369s|680000 |443526 | 0 | 0.0 | 978M|2816 | - |5645 | 11k| 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
396.20/396.29 c 376s|690000 |448319 | 0 | 0.0 | 988M|2816 | - |5645 | 10k| 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
404.00/404.05 c 384s|700000 |452817 | 0 | 0.0 | 999M|2816 | - |5645 | 11k| 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
411.90/411.99 c 391s|710000 |457226 | 0 | 0.0 |1009M|2816 | - |5645 | 11k| 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
420.10/420.16 c 399s|720000 |461344 | 0 | 0.0 |1019M|2816 | - |5645 | 12k| 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
428.40/428.42 c 407s|730000 |465526 | 0 | 0.0 |1029M|2816 | - |5645 | 11k| 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
436.40/436.43 c 415s|740000 |469777 | 0 | 0.0 |1039M|2816 | - |5645 | 11k| 0 | 0 | 0 | 589k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
444.70/444.76 c 423s|750000 |473769 | 0 | 0.0 |1049M|2816 | - |5645 | 12k| 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
453.11/453.17 c 431s|760000 |477569 | 0 | 0.0 |1059M|2816 | - |5645 | 12k| 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
461.40/461.47 c 439s|770000 |481589 | 0 | 0.0 |1069M|2816 | - |5645 | 11k| 0 | 0 | 0 | 617k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
470.20/470.24 c 447s|780000 |485094 | 0 | 0.0 |1079M|2816 | - |5645 | 12k| 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
478.80/478.80 c 455s|790000 |488635 | 0 | 0.0 |1088M|2816 | - |5645 | 12k| 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
487.10/487.19 c 464s|800000 |492350 | 0 | 0.0 |1098M|2816 | - |5645 | 11k| 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
496.20/496.26 c 472s|810000 |495478 | 0 | 0.0 |1108M|2816 | - |5645 | 12k| 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
505.30/505.35 c 481s|820000 |498609 | 0 | 0.0 |1117M|2816 | - |5645 | 12k| 0 | 0 | 0 | 668k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
514.00/514.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
514.00/514.09 c 489s|830000 |501893 | 0 | 0.0 |1126M|2816 | - |5645 | 12k| 0 | 0 | 0 | 678k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
522.70/522.71 c 498s|840000 |505339 | 0 | 0.0 |1135M|2816 | - |5645 | 12k| 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
531.90/531.95 c 507s|850000 |508254 | 0 | 0.0 |1145M|2816 | - |5645 | 13k| 0 | 0 | 0 | 699k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
541.60/541.62 c 516s|860000 |510803 | 0 | 0.0 |1153M|2816 | - |5645 | 13k| 0 | 0 | 0 | 710k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
551.50/551.58 c 526s|870000 |513100 | 0 | 0.0 |1162M|2816 | - |5645 | 13k| 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
561.60/561.63 c 535s|880000 |515235 | 0 | 0.0 |1170M|2816 | - |5645 | 13k| 0 | 0 | 0 | 734k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
572.40/572.43 c 546s|890000 |516754 | 0 | 0.0 |1178M|2816 | - |5645 | 14k| 0 | 0 | 0 | 746k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
583.60/583.63 c 557s|900000 |518011 | 0 | 0.0 |1185M|2816 | - |5645 | 14k| 0 | 0 | 0 | 759k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
595.60/595.67 c 568s|910000 |518612 | 0 | 0.0 |1193M|2816 | - |5645 | 15k| 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
609.10/609.18 c 582s|920000 |517992 | 0 | 0.0 |1197M|2816 | - |5645 | 16k| 0 | 0 | 0 | 788k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
623.80/623.88 c 596s|930000 |516802 | 0 | 0.0 |1200M|2816 | - |5645 | 17k| 0 | 0 | 0 | 804k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
641.20/641.25 c 613s|940000 |514679 | 0 | 0.0 |1200M|2816 | - |5645 | 19k| 0 | 0 | 0 | 822k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
650.11/650.12 c 621s|950000 |519334 | 0 | 0.0 |1201M|2816 | - |5645 |8102 | 0 | 0 | 0 | 830k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
654.80/654.82 c 626s|960000 |526652 | 0 | 0.0 |1211M|2816 | - |5645 |8180 | 0 | 0 | 0 | 834k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
660.50/660.56 c 631s|970000 |533069 | 0 | 0.0 |1223M|2816 | - |5645 |9147 | 0 | 0 | 0 | 840k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
666.90/666.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
666.90/666.93 c 637s|980000 |538984 | 0 | 0.0 |1234M|2816 | - |5645 | 10k| 0 | 0 | 0 | 846k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
674.00/674.04 c 644s|990000 |544356 | 0 | 0.0 |1245M|2816 | - |5645 | 11k| 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
682.30/682.38 c 652s| 1000k|548742 | 0 | 0.0 |1257M|2816 | - |5645 | 12k| 0 | 0 | 0 | 862k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
692.40/692.46 c 662s| 1010k|551982 | 0 | 0.0 |1267M|2816 | - |5645 | 13k| 0 | 0 | 0 | 873k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
703.30/703.35 c 672s| 1020k|554980 | 0 | 0.0 |1274M|2816 | - |5645 |9342 | 0 | 0 | 0 | 884k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
708.31/708.36 c 677s| 1030k|562015 | 0 | 0.0 |1282M|2816 | - |5645 |6667 | 0 | 0 | 0 | 889k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
713.30/713.32 c 682s| 1040k|568941 | 0 | 0.0 |1292M|2816 | - |5645 |7309 | 0 | 0 | 0 | 893k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
718.70/718.71 c 687s| 1050k|575484 | 0 | 0.0 |1302M|2816 | - |5645 |8341 | 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
724.91/724.91 c 693s| 1060k|581338 | 0 | 0.0 |1312M|2816 | - |5645 |9497 | 0 | 0 | 0 | 904k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
732.40/732.46 c 700s| 1070k|586179 | 0 | 0.0 |1324M|2816 | - |5645 | 11k| 0 | 0 | 0 | 912k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
741.50/741.58 c 708s| 1080k|589902 | 0 | 0.0 |1333M|2816 | - |5645 | 13k| 0 | 0 | 0 | 922k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
752.81/752.90 c 719s| 1090k|592523 | 0 | 0.0 |1336M|2816 | - |5645 | 12k| 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
758.11/758.19 c 724s| 1100k|599709 | 0 | 0.0 |1343M|2816 | - |5645 |7001 | 0 | 0 | 0 | 938k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
763.50/763.52 c 729s| 1110k|606444 | 0 | 0.0 |1353M|2816 | - |5645 |7506 | 0 | 0 | 0 | 943k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
769.30/769.32 c 735s| 1120k|612770 | 0 | 0.0 |1364M|2816 | - |5645 |8875 | 0 | 0 | 0 | 948k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
776.10/776.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
776.10/776.10 c 741s| 1130k|618338 | 0 | 0.0 |1375M|2816 | - |5645 | 10k| 0 | 0 | 0 | 954k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
784.20/784.29 c 749s| 1140k|622904 | 0 | 0.0 |1386M|2816 | - |5645 | 12k| 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
793.90/793.94 c 758s| 1150k|626447 | 0 | 0.0 |1396M|2816 | - |5645 | 13k| 0 | 0 | 0 | 973k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
805.70/805.78 c 770s| 1160k|628679 | 0 | 0.0 |1402M|2816 | - |5645 | 16k| 0 | 0 | 0 | 985k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
813.90/813.94 c 778s| 1170k|634131 | 0 | 0.0 |1401M|2816 | - |5645 |9398 | 0 | 0 | 0 | 992k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
818.71/818.79 c 782s| 1180k|641406 | 0 | 0.0 |1410M|2816 | - |5645 |7674 | 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
823.91/823.94 c 787s| 1190k|648181 | 0 | 0.0 |1420M|2816 | - |5645 |8056 | 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
829.41/829.42 c 792s| 1200k|654657 | 0 | 0.0 |1430M|2816 | - |5645 |8860 | 0 | 0 | 0 |1006k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
835.71/835.72 c 798s| 1210k|660407 | 0 | 0.0 |1441M|2816 | - |5645 |9816 | 0 | 0 | 0 |1012k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
842.81/842.81 c 805s| 1220k|665539 | 0 | 0.0 |1451M|2816 | - |5645 | 11k| 0 | 0 | 0 |1020k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
850.81/850.85 c 813s| 1230k|670012 | 0 | 0.0 |1462M|2816 | - |5645 | 12k| 0 | 0 | 0 |1028k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
860.00/860.03 c 821s| 1240k|673658 | 0 | 0.0 |1471M|2816 | - |5645 | 15k| 0 | 0 | 0 |1038k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
872.51/872.58 c 833s| 1250k|675225 | 0 | 0.0 |1480M|2816 | - |5645 | 19k| 0 | 0 | 0 |1052k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
878.60/878.62 c 839s| 1260k|682735 | 0 | 0.0 |1486M|2816 | - |5645 | 12k| 0 | 0 | 0 |1055k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
883.70/883.73 c 844s| 1270k|690127 | 0 | 0.0 |1496M|2816 | - |5645 | 11k| 0 | 0 | 0 |1059k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
889.30/889.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
889.30/889.34 c 849s| 1280k|696981 | 0 | 0.0 |1506M|2816 | - |5645 | 11k| 0 | 0 | 0 |1064k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
895.60/895.65 c 855s| 1290k|703143 | 0 | 0.0 |1516M|2816 | - |5645 | 12k| 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
903.01/903.05 c 862s| 1300k|708610 | 0 | 0.0 |1528M|2816 | - |5645 | 14k| 0 | 0 | 0 |1077k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
911.21/911.27 c 870s| 1310k|713482 | 0 | 0.0 |1539M|2816 | - |5645 | 15k| 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
920.51/920.57 c 879s| 1320k|717668 | 0 | 0.0 |1550M|2816 | - |5645 | 16k| 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
932.30/932.33 c 891s| 1330k|720143 | 0 | 0.0 |1559M|2816 | - |5645 | 20k| 0 | 0 | 0 |1106k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
942.61/942.64 c 901s| 1340k|724947 | 0 | 0.0 |1565M|2816 | - |5645 | 16k| 0 | 0 | 0 |1115k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
948.71/948.72 c 906s| 1350k|732120 | 0 | 0.0 |1574M|2816 | - |5645 | 12k| 0 | 0 | 0 |1119k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
954.60/954.69 c 912s| 1360k|738826 | 0 | 0.0 |1585M|2816 | - |5645 | 12k| 0 | 0 | 0 |1124k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
961.41/961.40 c 918s| 1370k|744870 | 0 | 0.0 |1596M|2816 | - |5645 | 13k| 0 | 0 | 0 |1130k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
969.11/969.12 c 926s| 1380k|750131 | 0 | 0.0 |1607M|2816 | - |5645 | 14k| 0 | 0 | 0 |1137k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
978.01/978.10 c 934s| 1390k|754580 | 0 | 0.0 |1617M|2816 | - |5645 | 17k| 0 | 0 | 0 |1146k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
989.21/989.29 c 945s| 1400k|757711 | 0 | 0.0 |1627M|2816 | - |5645 | 20k| 0 | 0 | 0 |1157k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1000.91/1000.94 c 957s| 1410k|761407 | 0 | 0.0 |1634M|2816 | - |5645 | 20k| 0 | 0 | 0 |1167k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1006.51/1006.59 c 962s| 1420k|769067 | 0 | 0.0 |1641M|2816 | - |5645 | 13k| 0 | 0 | 0 |1171k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1011.51/1011.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1011.51/1011.52 c 967s| 1430k|776581 | 0 | 0.0 |1650M|2816 | - |5645 | 11k| 0 | 0 | 0 |1174k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1016.61/1016.62 c 971s| 1440k|783817 | 0 | 0.0 |1659M|2816 | - |5645 | 12k| 0 | 0 | 0 |1178k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1023.11/1023.12 c 978s| 1450k|789920 | 0 | 0.0 |1670M|2816 | - |5645 | 13k| 0 | 0 | 0 |1184k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1030.61/1030.67 c 985s| 1460k|795307 | 0 | 0.0 |1681M|2816 | - |5645 | 15k| 0 | 0 | 0 |1191k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1039.81/1039.87 c 994s| 1470k|799720 | 0 | 0.0 |1692M|2816 | - |5645 | 17k| 0 | 0 | 0 |1200k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1051.40/1051.44 c 1005s| 1480k|802708 | 0 | 0.0 |1702M|2816 | - |5645 | 21k| 0 | 0 | 0 |1211k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1062.62/1062.68 c 1016s| 1490k|806864 | 0 | 0.0 |1709M|2816 | - |5645 | 20k| 0 | 0 | 0 |1220k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1068.21/1068.28 c 1021s| 1500k|814781 | 0 | 0.0 |1716M|2816 | - |5645 | 13k| 0 | 0 | 0 |1223k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1073.01/1073.08 c 1025s| 1510k|822577 | 0 | 0.0 |1725M|2816 | - |5645 | 11k| 0 | 0 | 0 |1227k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1077.91/1077.99 c 1030s| 1520k|830128 | 0 | 0.0 |1734M|2816 | - |5645 | 11k| 0 | 0 | 0 |1230k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1082.81/1082.88 c 1035s| 1530k|837627 | 0 | 0.0 |1743M|2816 | - |5645 | 11k| 0 | 0 | 0 |1234k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1088.01/1088.00 c 1040s| 1540k|844933 | 0 | 0.0 |1753M|2816 | - |5645 | 12k| 0 | 0 | 0 |1238k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1093.42/1093.46 c 1045s| 1550k|852025 | 0 | 0.0 |1762M|2816 | - |5645 | 12k| 0 | 0 | 0 |1242k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1099.21/1099.24 c 1050s| 1560k|858900 | 0 | 0.0 |1772M|2816 | - |5645 | 13k| 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1105.21/1105.28 c 1056s| 1570k|865624 | 0 | 0.0 |1781M|2816 | - |5645 | 14k| 0 | 0 | 0 |1251k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1112.02/1112.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1112.02/1112.04 c 1062s| 1580k|871788 | 0 | 0.0 |1791M|2816 | - |5645 | 15k| 0 | 0 | 0 |1257k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1120.31/1120.38 c 1070s| 1590k|876974 | 0 | 0.0 |1802M|2816 | - |5645 | 16k| 0 | 0 | 0 |1264k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1129.61/1129.67 c 1079s| 1600k|881677 | 0 | 0.0 |1813M|2816 | - |5645 | 17k| 0 | 0 | 0 |1272k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1140.11/1140.18 c 1089s| 1610k|885700 | 0 | 0.0 |1823M|2816 | - |5645 | 19k| 0 | 0 | 0 |1281k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1152.11/1152.10 c 1101s| 1620k|889013 | 0 | 0.0 |1833M|2816 | - |5645 | 21k| 0 | 0 | 0 |1292k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1167.11/1167.14 c 1116s| 1630k|890843 | 0 | 0.0 |1842M|2816 | - |5645 | 24k| 0 | 0 | 0 |1305k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1180.81/1180.88 c 1129s| 1640k|894419 | 0 | 0.0 |1849M|2816 | - |5645 | 21k| 0 | 0 | 0 |1315k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1187.41/1187.41 c 1135s| 1650k|901755 | 0 | 0.0 |1857M|2816 | - |5645 | 14k| 0 | 0 | 0 |1320k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1193.71/1193.70 c 1141s| 1660k|908435 | 0 | 0.0 |1867M|2816 | - |5645 | 13k| 0 | 0 | 0 |1325k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1200.51/1200.51 c 1148s| 1670k|914578 | 0 | 0.0 |1878M|2816 | - |5645 | 14k| 0 | 0 | 0 |1330k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1208.51/1208.54 c 1155s| 1680k|919873 | 0 | 0.0 |1889M|2816 | - |5645 | 16k| 0 | 0 | 0 |1338k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1217.71/1217.73 c 1164s| 1690k|924441 | 0 | 0.0 |1900M|2816 | - |5645 | 18k| 0 | 0 | 0 |1347k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1229.72/1229.73 c 1176s| 1700k|927329 | 0 | 0.0 |1910M|2816 | - |5645 | 23k| 0 | 0 | 0 |1358k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1240.31/1240.35 c 1186s| 1710k|932225 | 0 | 0.0 |1916M|2816 | - |5645 | 20k| 0 | 0 | 0 |1367k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1246.11/1246.11 c 1192s| 1720k|939859 | 0 | 0.0 |1924M|2816 | - |5645 | 13k| 0 | 0 | 0 |1371k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1251.31/1251.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1251.31/1251.30 c 1196s| 1730k|947368 | 0 | 0.0 |1933M|2816 | - |5645 | 12k| 0 | 0 | 0 |1374k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1256.51/1256.51 c 1201s| 1740k|954699 | 0 | 0.0 |1942M|2816 | - |5645 | 12k| 0 | 0 | 0 |1378k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1262.01/1262.01 c 1207s| 1750k|961825 | 0 | 0.0 |1952M|2816 | - |5645 | 13k| 0 | 0 | 0 |1382k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1267.91/1267.91 c 1212s| 1760k|968685 | 0 | 0.0 |1961M|2816 | - |5645 | 14k| 0 | 0 | 0 |1387k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1274.81/1274.83 c 1219s| 1770k|974913 | 0 | 0.0 |1971M|2816 | - |5645 | 14k| 0 | 0 | 0 |1393k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1282.31/1282.34 c 1226s| 1780k|980634 | 0 | 0.0 |1982M|2816 | - |5645 | 14k| 0 | 0 | 0 |1399k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1290.11/1290.16 c 1233s| 1790k|986081 | 0 | 0.0 |1992M|2816 | - |5645 | 15k| 0 | 0 | 0 |1406k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1298.61/1298.67 c 1242s| 1800k|991183 | 0 | 0.0 |2003M|2816 | - |5645 | 17k| 0 | 0 | 0 |1414k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1308.01/1308.00 c 1251s| 1810k|995909 | 0 | 0.0 |2014M|2816 | - |5645 | 19k| 0 | 0 | 0 |1422k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1318.41/1318.43 c 1261s| 1820k| 1000k| 0 | 0.0 |2024M|2816 | - |5645 | 20k| 0 | 0 | 0 |1431k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1329.31/1329.32 c 1271s| 1830k| 1004k| 0 | 0.0 |2034M|2816 | - |5645 | 22k| 0 | 0 | 0 |1441k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1341.81/1341.85 c 1283s| 1840k| 1007k| 0 | 0.0 |2044M|2816 | - |5645 | 25k| 0 | 0 | 0 |1452k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1357.81/1357.85 c 1299s| 1850k| 1009k| 0 | 0.0 |2051M|2816 | - |5645 | 28k| 0 | 0 | 0 |1466k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1365.12/1365.14 c 1306s| 1860k| 1016k| 0 | 0.0 |2058M|2816 | - |5645 | 17k| 0 | 0 | 0 |1470k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1371.22/1371.21 c 1312s| 1870k| 1023k| 0 | 0.0 |2067M|2816 | - |5645 | 14k| 0 | 0 | 0 |1475k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1377.41/1377.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1377.41/1377.47 c 1318s| 1880k| 1030k| 0 | 0.0 |2077M|2816 | - |5645 | 14k| 0 | 0 | 0 |1480k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1384.61/1384.68 c 1325s| 1890k| 1036k| 0 | 0.0 |2088M|2816 | - |5645 | 15k| 0 | 0 | 0 |1486k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1393.31/1393.34 c 1333s| 1900k| 1041k| 0 | 0.0 |2099M|2816 | - |5645 | 18k| 0 | 0 | 0 |1493k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1403.61/1403.64 c 1343s| 1910k| 1045k| 0 | 0.0 |2109M|2816 | - |5645 | 20k| 0 | 0 | 0 |1503k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1417.71/1417.79 c 1357s| 1920k| 1046k| 0 | 0.0 |2117M|2816 | - |5645 | 26k| 0 | 0 | 0 |1516k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1424.81/1424.87 c 1363s| 1930k| 1054k| 0 | 0.0 |2124M|2816 | - |5645 | 16k| 0 | 0 | 0 |1520k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1430.82/1430.90 c 1369s| 1940k| 1061k| 0 | 0.0 |2134M|2816 | - |5645 | 13k| 0 | 0 | 0 |1524k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1437.11/1437.16 c 1375s| 1950k| 1068k| 0 | 0.0 |2144M|2816 | - |5645 | 13k| 0 | 0 | 0 |1529k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1443.91/1443.91 c 1382s| 1960k| 1074k| 0 | 0.0 |2155M|2816 | - |5645 | 14k| 0 | 0 | 0 |1535k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1452.31/1452.39 c 1390s| 1970k| 1079k| 0 | 0.0 |2166M|2816 | - |5645 | 16k| 0 | 0 | 0 |1543k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1462.12/1462.16 c 1399s| 1980k| 1083k| 0 | 0.0 |2176M|2816 | - |5645 | 18k| 0 | 0 | 0 |1552k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1474.21/1474.24 c 1411s| 1990k| 1086k| 0 | 0.0 |2186M|2816 | - |5645 | 22k| 0 | 0 | 0 |1563k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1481.91/1481.97 c 1418s| 2000k| 1093k| 0 | 0.0 |2193M|2816 | - |5645 | 17k| 0 | 0 | 0 |1568k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1487.71/1487.73 c 1424s| 2010k| 1100k| 0 | 0.0 |2202M|2816 | - |5645 | 14k| 0 | 0 | 0 |1572k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1493.62/1493.68 c 1429s| 2020k| 1107k| 0 | 0.0 |2212M|2816 | - |5645 | 14k| 0 | 0 | 0 |1577k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1500.42/1500.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1500.42/1500.44 c 1436s| 2030k| 1113k| 0 | 0.0 |2223M|2816 | - |5645 | 14k| 0 | 0 | 0 |1582k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1507.91/1507.97 c 1443s| 2040k| 1119k| 0 | 0.0 |2234M|2816 | - |5645 | 16k| 0 | 0 | 0 |1589k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1516.42/1516.47 c 1451s| 2050k| 1124k| 0 | 0.0 |2245M|2816 | - |5645 | 18k| 0 | 0 | 0 |1597k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1526.42/1526.43 c 1461s| 2060k| 1129k| 0 | 0.0 |2255M|2816 | - |5645 | 20k| 0 | 0 | 0 |1606k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1535.91/1535.99 c 1470s| 2070k| 1134k| 0 | 0.0 |2264M|2816 | - |5645 | 20k| 0 | 0 | 0 |1614k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1543.61/1543.64 c 1477s| 2080k| 1140k| 0 | 0.0 |2272M|2816 | - |5645 | 18k| 0 | 0 | 0 |1619k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1550.72/1550.77 c 1484s| 2090k| 1147k| 0 | 0.0 |2281M|2816 | - |5645 | 16k| 0 | 0 | 0 |1625k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1558.11/1558.11 c 1491s| 2100k| 1153k| 0 | 0.0 |2292M|2816 | - |5645 | 17k| 0 | 0 | 0 |1631k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1566.32/1566.37 c 1499s| 2110k| 1158k| 0 | 0.0 |2302M|2816 | - |5645 | 18k| 0 | 0 | 0 |1638k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1575.01/1575.10 c 1508s| 2120k| 1164k| 0 | 0.0 |2313M|2816 | - |5645 | 18k| 0 | 0 | 0 |1645k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1583.92/1583.98 c 1516s| 2130k| 1169k| 0 | 0.0 |2322M|2816 | - |5645 | 19k| 0 | 0 | 0 |1653k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1592.91/1592.90 c 1525s| 2140k| 1174k| 0 | 0.0 |2331M|2816 | - |5645 | 18k| 0 | 0 | 0 |1660k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1601.01/1601.09 c 1533s| 2150k| 1180k| 0 | 0.0 |2340M|2816 | - |5645 | 18k| 0 | 0 | 0 |1667k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1609.12/1609.16 c 1540s| 2160k| 1186k| 0 | 0.0 |2350M|2816 | - |5645 | 18k| 0 | 0 | 0 |1673k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1617.62/1617.67 c 1549s| 2170k| 1191k| 0 | 0.0 |2360M|2816 | - |5645 | 18k| 0 | 0 | 0 |1681k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1627.42/1627.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1627.42/1627.41 c 1558s| 2180k| 1196k| 0 | 0.0 |2370M|2816 | - |5645 | 21k| 0 | 0 | 0 |1690k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1640.31/1640.39 c 1571s| 2190k| 1199k| 0 | 0.0 |2380M|2816 | - |5645 | 25k| 0 | 0 | 0 |1701k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1651.22/1651.24 c 1581s| 2200k| 1204k| 0 | 0.0 |2386M|2816 | - |5645 | 20k| 0 | 0 | 0 |1709k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1657.52/1657.54 c 1587s| 2210k| 1211k| 0 | 0.0 |2394M|2816 | - |5645 | 15k| 0 | 0 | 0 |1713k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1663.42/1663.42 c 1593s| 2220k| 1218k| 0 | 0.0 |2403M|2816 | - |5645 | 14k| 0 | 0 | 0 |1718k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1669.83/1669.86 c 1599s| 2230k| 1225k| 0 | 0.0 |2414M|2816 | - |5645 | 15k| 0 | 0 | 0 |1723k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1677.12/1677.12 c 1606s| 2240k| 1231k| 0 | 0.0 |2425M|2816 | - |5645 | 16k| 0 | 0 | 0 |1730k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1685.51/1685.50 c 1614s| 2250k| 1236k| 0 | 0.0 |2436M|2816 | - |5645 | 17k| 0 | 0 | 0 |1737k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1695.92/1695.96 c 1624s| 2260k| 1240k| 0 | 0.0 |2447M|2816 | - |5645 | 20k| 0 | 0 | 0 |1748k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1707.42/1707.43 c 1635s| 2270k| 1244k| 0 | 0.0 |2454M|2816 | - |5645 | 21k| 0 | 0 | 0 |1758k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1713.73/1713.78 c 1641s| 2280k| 1251k| 0 | 0.0 |2462M|2816 | - |5645 | 15k| 0 | 0 | 0 |1762k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1720.02/1720.05 c 1647s| 2290k| 1259k| 0 | 0.0 |2472M|2816 | - |5645 | 15k| 0 | 0 | 0 |1766k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1726.92/1726.93 c 1654s| 2300k| 1265k| 0 | 0.0 |2483M|2816 | - |5645 | 15k| 0 | 0 | 0 |1772k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1734.41/1734.44 c 1661s| 2310k| 1271k| 0 | 0.0 |2494M|2816 | - |5645 | 16k| 0 | 0 | 0 |1778k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1742.92/1742.90 c 1669s| 2320k| 1276k| 0 | 0.0 |2505M|2816 | - |5645 | 18k| 0 | 0 | 0 |1785k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1752.52/1752.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1752.52/1752.55 c 1678s| 2330k| 1281k| 0 | 0.0 |2515M|2816 | - |5645 | 19k| 0 | 0 | 0 |1794k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1762.02/1762.02 c 1687s| 2340k| 1286k| 0 | 0.0 |2523M|2816 | - |5645 | 18k| 0 | 0 | 0 |1802k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1770.52/1770.56 c 1696s| 2350k| 1291k| 0 | 0.0 |2531M|2816 | - |5645 | 16k| 0 | 0 | 0 |1809k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1777.63/1777.69 c 1702s| 2360k| 1298k| 0 | 0.0 |2540M|2816 | - |5645 | 15k| 0 | 0 | 0 |1814k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1784.72/1784.72 c 1709s| 2370k| 1304k| 0 | 0.0 |2550M|2816 | - |5645 | 15k| 0 | 0 | 0 |1820k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1792.42/1792.46 c 1717s| 2380k| 1310k| 0 | 0.0 |2561M|2816 | - |5645 | 16k| 0 | 0 | 0 |1827k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.00 c Solving Time (sec) : 1723.82
1800.02/1800.00 c Solving Nodes : 2387871
1800.02/1800.00 c Primal Bound : +2.00000000000000e+00 (40 solutions)
1800.02/1800.00 c Dual Bound : +0.00000000000000e+00
1800.02/1800.00 c Gap : infinite
1800.02/1800.06 s SATISFIABLE
1800.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/1800.06 v -x1
1800.02/1800.06 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.06 c Solving Time : 1723.82
1800.02/1800.06 c Original Problem :
1800.02/1800.06 c Problem name : HOME/instance-2693605-1277926215.wbo
1800.02/1800.06 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.02/1800.06 c Constraints : 5415 initial, 5415 maximal
1800.02/1800.06 c Presolved Problem :
1800.02/1800.06 c Problem name : t_HOME/instance-2693605-1277926215.wbo
1800.02/1800.06 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.02/1800.06 c Constraints : 5414 initial, 30699 maximal
1800.02/1800.06 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.06 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.06 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.06 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.06 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.06 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.06 c probing : 0.03 0 0 0 0 0 0 0 0
1800.02/1800.06 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.06 c linear : 0.02 0 0 0 2707 0 1 0 0
1800.02/1800.06 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.06 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.06 c root node : - 2677 - - 5354 - - - -
1800.02/1800.06 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.06 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.06 c indicator : 2707 0 5473215 0 1559799 25 3428106 0 0 0
1800.02/1800.06 c linear : 2707 0 7412577 0 2000821 546022 44516921 0 0 0
1800.02/1800.06 c logicor : 0+ 0 3828618 0 0 90401 3535162 0 0 0
1800.02/1800.06 c bounddisjunction : 0+ 0 233 0 0 0 1 0 0 0
1800.02/1800.06 c countsols : 0 0 0 0 2000845 0 0 0 0 0
1800.02/1800.06 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.06 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.06 c indicator : 7.32 0.00 4.62 0.00 2.70
1800.02/1800.06 c linear : 438.63 0.00 437.95 0.00 0.68
1800.02/1800.06 c logicor : 307.88 0.00 307.88 0.00 0.00
1800.02/1800.06 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.06 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.06 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.06 c vbounds : 0.00 2 0 0
1800.02/1800.06 c rootredcost : 0.00 0 0 0
1800.02/1800.06 c pseudoobj : 347.72 7413195 490 3419837
1800.02/1800.06 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.06 c propagation : 33.93 636913 636872 3112455 21.3 143802 11.1 -
1800.02/1800.06 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.06 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.06 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.06 c pseudo solution : 0.00 34 34 162 33.3 171 9.0 -
1800.02/1800.06 c applied globally : - - - 1833930 19.5 - - -
1800.02/1800.06 c applied locally : - - - 0 0.0 - - -
1800.02/1800.06 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.06 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.06 c redcost : 0.00 0 0 0 0 0
1800.02/1800.06 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.06 c intobj : 0.00 0 0 0 0 0
1800.02/1800.06 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.06 c gomory : 0.00 0 0 0 0 0
1800.02/1800.06 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.06 c cmir : 0.00 0 0 0 0 0
1800.02/1800.06 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.06 c clique : 0.00 0 0 0 0 0
1800.02/1800.06 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.06 c mcf : 0.00 0 0 0 0 0
1800.02/1800.06 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.06 c Pricers : Time Calls Vars
1800.02/1800.06 c problem variables: 0.00 0 0
1800.02/1800.06 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.06 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.06 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.06 c inference : 28.19 2000808 0 0 0 0 4001616
1800.02/1800.06 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.06 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.06 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.06 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.06 c random : 0.00 0 0 0 0 0 0
1800.02/1800.06 c Primal Heuristics : Time Calls Found
1800.02/1800.06 c LP solutions : 0.00 - 0
1800.02/1800.06 c pseudo solutions : 0.03 - 37
1800.02/1800.06 c oneopt : 0.01 0 0
1800.02/1800.06 c trivial : 0.08 2 2
1800.02/1800.06 c simplerounding : 0.00 0 0
1800.02/1800.06 c zirounding : 0.00 0 0
1800.02/1800.06 c rounding : 0.00 0 0
1800.02/1800.06 c shifting : 0.00 0 0
1800.02/1800.06 c intshifting : 0.00 0 0
1800.02/1800.06 c twoopt : 0.00 0 0
1800.02/1800.06 c fixandinfer : 0.00 0 0
1800.02/1800.06 c feaspump : 0.00 0 0
1800.02/1800.06 c coefdiving : 0.00 0 0
1800.02/1800.06 c pscostdiving : 0.00 0 0
1800.02/1800.06 c fracdiving : 0.00 0 0
1800.02/1800.06 c veclendiving : 0.00 0 0
1800.02/1800.06 c intdiving : 0.00 0 0
1800.02/1800.06 c actconsdiving : 0.00 0 0
1800.02/1800.06 c objpscostdiving : 0.00 0 0
1800.02/1800.06 c rootsoldiving : 0.00 0 0
1800.02/1800.06 c linesearchdiving : 0.00 0 0
1800.02/1800.06 c guideddiving : 0.00 0 0
1800.02/1800.06 c octane : 0.00 0 0
1800.02/1800.06 c rens : 0.00 0 0
1800.02/1800.06 c rins : 0.00 0 0
1800.02/1800.06 c localbranching : 0.00 0 0
1800.02/1800.06 c mutation : 0.00 0 0
1800.02/1800.06 c crossover : 0.00 0 0
1800.02/1800.06 c dins : 0.00 0 0
1800.02/1800.06 c undercover : 0.00 0 0
1800.02/1800.06 c nlp : 0.00 0 0
1800.02/1800.06 c trysol : 0.00 1 1
1800.02/1800.06 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.06 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.06 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.06 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.06 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.06 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.06 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.06 c (at root node) : - 0 0 0.00 -
1800.02/1800.06 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.06 c B&B Tree :
1800.02/1800.06 c number of runs : 1
1800.02/1800.06 c nodes : 2387871
1800.02/1800.06 c nodes (total) : 2387871
1800.02/1800.06 c nodes left : 1313674
1800.02/1800.06 c max depth : 2816
1800.02/1800.06 c max depth (total): 2816
1800.02/1800.06 c backtracks : 334999 (14.0%)
1800.02/1800.06 c delayed cutoffs : 288144
1800.02/1800.06 c repropagations : 1095029 (15355278 domain reductions, 249946 cutoffs)
1800.02/1800.06 c avg switch length: 42.09
1800.02/1800.06 c switching time : 493.95
1800.02/1800.06 c Solution :
1800.02/1800.06 c Solutions found : 40 (38 improvements)
1800.02/1800.06 c First Solution : +1.35714000000000e+05 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.02/1800.06 c Primal Bound : +2.00000000000000e+00 (in run 1, after 250485 nodes, 154.11 seconds, depth 165, found by <relaxation>)
1800.02/1800.06 c Dual Bound : +0.00000000000000e+00
1800.02/1800.06 c Gap : infinite
1800.02/1800.06 c Root Dual Bound : +0.00000000000000e+00
1800.02/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-2693605-1277926215/watcher-2693605-1277926215 -o /tmp/evaluation-result-2693605-1277926215/solver-2693605-1277926215 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693605-1277926215.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.02 2.00 2.00 4/196 26750
/proc/meminfo: memFree=30802276/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=8596 CPUtime=0
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 1636 0 0 0 0 0 0 0 23 0 1 0 166261041 8802304 1558 4089446400 4194304 7136930 140734727393344 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/26750/statm: 2149 1565 275 719 0 1428 0
[startup+0.0908821 s]
/proc/loadavg: 2.02 2.00 2.00 4/196 26750
/proc/meminfo: memFree=30802276/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=33672 CPUtime=0.08
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 7966 0 0 0 8 0 0 0 23 0 1 0 166261041 34480128 7534 4089446400 4194304 7136930 140734727393344 18446744073709551615 4240875 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 8418 7534 323 719 0 7697 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 33672
[startup+0.100878 s]
/proc/loadavg: 2.02 2.00 2.00 4/196 26750
/proc/meminfo: memFree=30802276/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=33672 CPUtime=0.09
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 7966 0 0 0 9 0 0 0 23 0 1 0 166261041 34480128 7534 4089446400 4194304 7136930 140734727393344 18446744073709551615 6350076 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 8418 7534 323 719 0 7697 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33672
[startup+0.300843 s]
/proc/loadavg: 2.02 2.00 2.00 4/196 26750
/proc/meminfo: memFree=30802276/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=36492 CPUtime=0.29
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 9240 0 0 0 27 2 0 0 23 0 1 0 166261041 37367808 8294 4089446400 4194304 7136930 140734727393344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 9123 8294 383 719 0 8402 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36492
[startup+0.700778 s]
/proc/loadavg: 2.02 2.00 2.00 4/196 26750
/proc/meminfo: memFree=30802276/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=37632 CPUtime=0.69
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 9515 0 0 0 66 3 0 0 25 0 1 0 166261041 38535168 8569 4089446400 4194304 7136930 140734727393344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 9408 8569 383 719 0 8687 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37632
[startup+1.50064 s]
/proc/loadavg: 2.02 2.00 2.00 3/197 26751
/proc/meminfo: memFree=30768216/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=43036 CPUtime=1.49
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 10877 0 0 0 140 9 0 0 25 0 1 0 166261041 44068864 9931 4089446400 4194304 7136930 140734727393344 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 10759 9931 390 719 0 10038 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43036
[startup+3.10037 s]
/proc/loadavg: 2.02 2.00 2.00 3/197 26751
/proc/meminfo: memFree=30763380/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=46632 CPUtime=3.09
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 11716 0 0 0 293 16 0 0 25 0 1 0 166261041 47751168 10770 4089446400 4194304 7136930 140734727393344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 11658 10770 391 719 0 10937 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46632
[startup+6.30084 s]
/proc/loadavg: 2.02 2.00 2.00 3/197 26751
/proc/meminfo: memFree=30751224/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=59328 CPUtime=6.29
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 14922 0 0 0 591 38 0 0 25 0 1 0 166261041 60751872 13976 4089446400 4194304 7136930 140734727393344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 14832 13976 391 719 0 14111 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59328
[startup+12.7008 s]
/proc/loadavg: 2.02 2.00 2.00 3/197 26751
/proc/meminfo: memFree=30725564/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=82468 CPUtime=12.69
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 20622 0 0 0 1195 74 0 0 25 0 1 0 166261041 84447232 19676 4089446400 4194304 7136930 140734727393344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 20617 19676 391 719 0 19896 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 82468
[startup+25.5006 s]
/proc/loadavg: 2.01 2.00 2.00 3/197 26753
/proc/meminfo: memFree=30684420/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=121932 CPUtime=25.49
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 30188 0 0 0 2412 137 0 0 25 0 1 0 166261041 124858368 29242 4089446400 4194304 7136930 140734727393344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 30483 29242 393 719 0 29762 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 121932
[startup+51.1003 s]
/proc/loadavg: 2.01 2.00 2.00 3/197 26753
/proc/meminfo: memFree=30602888/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=204520 CPUtime=51.09
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 49601 0 0 0 4814 295 0 0 25 0 1 0 166261041 209428480 48655 4089446400 4194304 7136930 140734727393344 18446744073709551615 5957410 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 51130 48655 393 719 0 50409 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 204520
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 26755
/proc/meminfo: memFree=30495700/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=304572 CPUtime=102.3
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 74824 0 0 0 9706 524 0 0 25 0 1 0 166261041 311881728 73878 4089446400 4194304 7136930 140734727393344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 76143 73878 393 719 0 75422 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 304572
[startup+162.301 s]
/proc/loadavg: 2.45 2.12 2.04 4/200 26855
/proc/meminfo: memFree=30412284/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=656112 CPUtime=162.29
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 150850 0 0 0 15500 729 0 0 25 0 1 0 166261041 671858688 149904 4089446400 4194304 7136930 140734727393344 18446744073709551615 4221190 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 164028 149904 393 719 0 163307 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 656112
[startup+222.301 s]
/proc/loadavg: 2.71 2.25 2.09 4/200 26859
/proc/meminfo: memFree=30240816/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=820336 CPUtime=222.29
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 189213 0 0 0 21162 1067 0 0 25 0 1 0 166261041 840024064 188267 4089446400 4194304 7136930 140734727393344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 205084 188267 393 719 0 204363 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 820336
[startup+282.301 s]
/proc/loadavg: 2.80 2.35 2.13 4/200 26863
/proc/meminfo: memFree=30100372/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=947676 CPUtime=282.3
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 221219 0 0 0 26798 1432 0 0 25 0 1 0 166261041 970420224 220273 4089446400 4194304 7136930 140734727393344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 236919 220273 393 719 0 236198 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 947676
[startup+342.301 s]
/proc/loadavg: 2.89 2.45 2.18 4/200 26865
/proc/meminfo: memFree=29966008/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=1069016 CPUtime=342.29
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 251947 0 0 0 32441 1788 0 0 25 0 1 0 166261041 1094672384 251001 4089446400 4194304 7136930 140734727393344 18446744073709551615 4978064 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 267254 251001 393 719 0 266533 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1069016
[startup+402.3 s]
/proc/loadavg: 2.96 2.55 2.22 4/200 26867
/proc/meminfo: memFree=29863016/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=1167408 CPUtime=402.3
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 276370 0 0 0 38187 2043 0 0 25 0 1 0 166261041 1195425792 275424 4089446400 4194304 7136930 140734727393344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 291852 275424 393 719 0 291131 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1167408
[startup+462.3 s]
/proc/loadavg: 2.61 2.54 2.24 3/197 26913
/proc/meminfo: memFree=29954484/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=1245032 CPUtime=462.3
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 293921 0 0 0 43953 2277 0 0 25 0 1 0 166261041 1274912768 292975 4089446400 4194304 7136930 140734727393344 18446744073709551615 4210584 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 311258 292975 393 719 0 310537 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1245032
[startup+522.3 s]
/proc/loadavg: 2.22 2.43 2.22 3/197 26915
/proc/meminfo: memFree=29881996/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=1315356 CPUtime=522.3
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 311536 0 0 0 49739 2491 0 0 25 0 1 0 166261041 1346924544 310590 4089446400 4194304 7136930 140734727393344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 328839 310590 393 719 0 328118 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1315356
[startup+582.3 s]
/proc/loadavg: 2.08 2.35 2.20 3/197 26917
/proc/meminfo: memFree=29827252/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=1368804 CPUtime=582.3
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 324911 0 0 0 55546 2684 0 0 25 0 1 0 166261041 1401655296 323965 4089446400 4194304 7136930 140734727393344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 342201 323965 393 719 0 341480 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1368804
[startup+642.3 s]
/proc/loadavg: 2.03 2.29 2.19 3/197 26921
/proc/meminfo: memFree=29804856/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=1389244 CPUtime=642.3
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 329831 0 0 0 61394 2836 0 0 25 0 1 0 166261041 1422585856 328885 4089446400 4194304 7136930 140734727393344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 347311 328885 393 719 0 346590 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 1389244
[startup+702.301 s]
################
# More data... #
################
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 458488 0 0 0 95787 4444 0 0 25 0 1 0 166261041 1959841792 457542 4089446400 4194304 7136930 140734727393344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 478477 457542 393 719 0 477756 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1913908
[startup+1062.3 s]
/proc/loadavg: 2.00 2.06 2.10 3/179 26960
/proc/meminfo: memFree=29302060/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=1987608 CPUtime=1062.3
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 477144 0 0 0 101525 4705 0 0 25 0 1 0 166261041 2035310592 476198 4089446400 4194304 7136930 140734727393344 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 496902 476198 393 719 0 496181 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 1987608
[startup+1122.3 s]
/proc/loadavg: 2.00 2.05 2.09 3/179 26962
/proc/meminfo: memFree=29204036/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=2083028 CPUtime=1122.3
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 501293 0 0 0 107221 5009 0 0 25 0 1 0 166261041 2133020672 500347 4089446400 4194304 7136930 140734727393344 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 520757 500347 393 719 0 520036 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 2083028
[startup+1182.3 s]
/proc/loadavg: 2.00 2.04 2.08 3/179 26964
/proc/meminfo: memFree=29158824/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=2127764 CPUtime=1182.31
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 512460 0 0 0 113037 5194 0 0 25 0 1 0 166261041 2178830336 511514 4089446400 4194304 7136930 140734727393344 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 531941 511514 393 719 0 531220 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 2127764
[startup+1242.3 s]
/proc/loadavg: 2.06 2.04 2.08 3/179 26966
/proc/meminfo: memFree=29088524/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=2197444 CPUtime=1242.31
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 530055 0 0 0 118801 5430 0 0 25 0 1 0 166261041 2250182656 529109 4089446400 4194304 7136930 140734727393344 18446744073709551615 5955544 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 549361 529109 393 719 0 548640 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 2197444
[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 2.08 3/179 26968
/proc/meminfo: memFree=29012288/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=2288432 CPUtime=1302.31
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 548913 0 0 0 124518 5713 0 0 25 0 1 0 166261041 2343354368 547967 4089446400 4194304 7136930 140734727393344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 572108 547967 393 719 0 571387 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 2288432
[startup+1362.3 s]
/proc/loadavg: 2.07 2.04 2.08 3/179 26968
/proc/meminfo: memFree=28958724/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=2343904 CPUtime=1362.32
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 562719 0 0 0 130337 5895 0 0 25 0 1 0 166261041 2400157696 561773 4089446400 4194304 7136930 140734727393344 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 585976 561773 393 719 0 585255 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 2343904
[startup+1422.31 s]
/proc/loadavg: 2.02 2.03 2.07 3/179 26970
/proc/meminfo: memFree=28889676/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=2410496 CPUtime=1422.32
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 579444 0 0 0 136102 6130 0 0 25 0 1 0 166261041 2468347904 578498 4089446400 4194304 7136930 140734727393344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 602624 578498 393 719 0 601903 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 2410496
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.07 3/179 26972
/proc/meminfo: memFree=28818252/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=2481816 CPUtime=1482.32
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 597491 0 0 0 141863 6369 0 0 25 0 1 0 166261041 2541379584 596545 4089446400 4194304 7136930 140734727393344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 620454 596545 393 719 0 619733 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 2481816
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.06 3/179 26974
/proc/meminfo: memFree=28741040/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=2559012 CPUtime=1542.31
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 616711 0 0 0 147621 6610 0 0 25 0 1 0 166261041 2620428288 615765 4089446400 4194304 7136930 140734727393344 18446744073709551615 6123184 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 639753 615765 393 719 0 639032 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 2559012
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/179 26976
/proc/meminfo: memFree=28668140/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=2630464 CPUtime=1602.31
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 634652 0 0 0 153382 6849 0 0 25 0 1 0 166261041 2693595136 633706 4089446400 4194304 7136930 140734727393344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 657616 633706 393 719 0 656895 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 2630464
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 26976
/proc/meminfo: memFree=28610640/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=2686928 CPUtime=1662.32
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 649066 0 0 0 159166 7066 0 0 25 0 1 0 166261041 2751414272 648120 4089446400 4194304 7136930 140734727393344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 671732 648120 393 719 0 671011 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 2686928
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 26978
/proc/meminfo: memFree=28541112/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=2757600 CPUtime=1722.31
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 666870 0 0 0 164924 7307 0 0 25 0 1 0 166261041 2823782400 665924 4089446400 4194304 7136930 140734727393344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 689400 665924 393 719 0 688679 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 2757600
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 26980
/proc/meminfo: memFree=28465096/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=2829816 CPUtime=1782.32
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 685236 0 0 0 170685 7547 0 0 25 0 1 0 166261041 2897731584 684290 4089446400 4194304 7136930 140734727393344 18446744073709551615 4223196 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 707454 684290 393 719 0 706733 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 2829816
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 26980
/proc/meminfo: memFree=28440508/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=2854208 CPUtime=1800.02
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 691347 0 0 0 172385 7617 0 0 25 0 1 0 166261041 2922708992 690401 4089446400 4194304 7136930 140734727393344 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26750/statm: 713552 690401 393 719 0 712831 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 2854208
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -26750
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.04 3/180 26981
/proc/meminfo: memFree=28440500/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=2854208 CPUtime=1801.42
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 691353 0 0 0 172525 7617 0 0 25 0 1 0 166261041 2922708992 690407 4089446400 4194304 7136930 140734727393344 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/26750/statm: 713552 690407 399 719 0 712831 0
Current children cumulated CPU time (s) 1801.42
Current children cumulated vsize (KiB) 2854208
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.04 3/180 26981
/proc/meminfo: memFree=28440616/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=2854208 CPUtime=1801.82
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 691353 0 0 0 172565 7617 0 0 25 0 1 0 166261041 2922708992 690407 4089446400 4194304 7136930 140734727393344 18446744073709551615 4212183 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/26750/statm: 713552 690407 399 719 0 712831 0
Current children cumulated CPU time (s) 1801.82
Current children cumulated vsize (KiB) 2854208
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.04 3/180 26981
/proc/meminfo: memFree=28440616/32951124 swapFree=67111528/67111528
[pid=26750] ppid=26748 vsize=2854208 CPUtime=1802.02
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 24698 0 -1 4202496 691353 0 0 0 172585 7617 0 0 25 0 1 0 166261041 2922708992 690407 4089446400 4194304 7136930 140734727393344 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/26750/statm: 713552 690407 399 719 0 712831 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 2854208
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.1
CPU time (s): 1802.12
CPU user time (s): 1725.86
CPU system time (s): 76.2664
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2854208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1725.86
system time used= 76.2664
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 691353
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= 976
runsolver used 2.84757 second user time and 5.68114 second system time
The end
Begin job on node118 at 2010-06-30 21:30:15
IDJOB=2693605
IDBENCH=79267
IDSOLVER=1206
FILE ID=node118/2693605-1277926215
PBS_JOBID= 11197314
Free space on /tmp= 74212 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900550006--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-2693605-1277926215/watcher-2693605-1277926215 -o /tmp/evaluation-result-2693605-1277926215/solver-2693605-1277926215 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693605-1277926215.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 200f179ceb6a172fc8d81952e96f0c84
RANDOM SEED=529856598
node118.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.791
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.58
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.791
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.791
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.76
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.791
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.83
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.791
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.791
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.791
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.791
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 : 5448.09
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 30802432 kB
Buffers: 209528 kB
Cached: 1301192 kB
SwapCached: 0 kB
Active: 966168 kB
Inactive: 1038212 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30802432 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3164 kB
Writeback: 0 kB
AnonPages: 494052 kB
Mapped: 20652 kB
Slab: 79940 kB
PageTables: 6140 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1653720 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 node118 at 2010-06-30 22:00:17