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-2694126-1277923633.wbo>
0.00/0.00 c original problem has 371 variables (270 bin, 0 int, 0 impl, 101 cont) and 203 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.00 o 4943
0.00/0.00 c feasible solution found by trivial heuristic, objective value 4.943000e+03
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 101 impls, 0 clqs
0.00/0.01 c (round 2) 0 del vars, 1 del conss, 101 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 101 impls, 0 clqs
0.00/0.01 c (0.0s) probing: 101/270 (37.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.01 c presolving (3 rounds):
0.00/0.01 c 0 deleted vars, 1 deleted constraints, 101 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 101 implications, 0 cliques
0.00/0.01 c presolved problem has 371 variables (270 bin, 0 int, 0 impl, 101 cont) and 202 constraints
0.00/0.01 c 101 constraints of type <indicator>
0.00/0.01 c 101 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.01
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 1.2.1.2
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1800
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 3420
0.00/0.01 c
0.00/0.01 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.01 c lp/solvefreq = -1
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.01 c t 0.0s| 1 | 2 | 0 | - |1124k| 0 | - | 371 | 202 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.943000e+03 | Inf
1.49/1.56 c 1.5s| 10000 | 6838 | 0 | 0.0 |8015k| 191 | - | 371 |5577 | 0 | 0 | 0 |9111 | 0 | 0.000000e+00 | 4.943000e+03 | Inf
2.89/2.93 c 2.8s| 20000 | 14561 | 0 | 0.0 | 12M| 217 | - | 371 |6043 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 4.943000e+03 | Inf
5.89/5.99 c 5.8s| 30000 | 18609 | 0 | 0.0 | 18M| 217 | - | 371 | 11k| 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 4.943000e+03 | Inf
9.80/9.86 c 9.6s| 40000 | 21773 | 0 | 0.0 | 22M| 217 | - | 371 | 11k| 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 4.943000e+03 | Inf
9.89/9.91 o 833
9.89/9.91 c * 9.6s| 40923 | 22645 | 0 | 0.0 | 22M| 217 | - | 371 | 10k| 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 8.330000e+02 | Inf
9.89/9.92 o 676
9.89/9.92 c * 9.6s| 41063 | 22650 | 0 | 0.0 | 22M| 217 | - | 371 | 10k| 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
10.29/10.39 c 10.0s| 50000 | 31568 | 0 | 0.0 | 22M| 217 | - | 371 |1370 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
10.79/10.85 c 10.5s| 60000 | 41550 | 0 | 0.0 | 24M| 217 | - | 371 |1177 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
11.29/11.31 c 10.9s| 70000 | 51518 | 0 | 0.0 | 27M| 217 | - | 371 |1146 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
11.69/11.77 c 11.3s| 80000 | 61484 | 0 | 0.0 | 30M| 217 | - | 371 |1138 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
12.19/12.23 c 11.7s| 90000 | 71467 | 0 | 0.0 | 33M| 217 | - | 371 |1120 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
12.59/12.69 c 12.1s|100000 | 81431 | 0 | 0.0 | 36M| 217 | - | 371 |1141 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
13.09/13.14 c 12.5s|110000 | 91391 | 0 | 0.0 | 39M| 217 | - | 371 |1213 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
13.59/13.60 c 12.9s|120000 |101354 | 0 | 0.0 | 42M| 217 | - | 371 |1265 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
13.99/14.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.99/14.05 c 13.3s|130000 |111326 | 0 | 0.0 | 45M| 217 | - | 371 |1287 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
14.49/14.51 c 13.7s|140000 |121292 | 0 | 0.0 | 48M| 217 | - | 371 |1305 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
14.89/14.98 c 14.1s|150000 |131267 | 0 | 0.0 | 51M| 217 | - | 371 |1340 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
15.39/15.46 c 14.6s|160000 |141203 | 0 | 0.0 | 54M| 217 | - | 371 |1412 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
16.29/16.37 c 15.4s|170000 |149487 | 0 | 0.0 | 58M| 217 | - | 371 |4317 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
20.39/20.41 c 19.4s|180000 |151593 | 0 | 0.0 | 64M| 217 | - | 371 | 12k| 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
26.40/26.42 c 25.3s|190000 |152478 | 0 | 0.0 | 69M| 217 | - | 371 | 18k| 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
34.59/34.68 c 33.4s|200000 |152050 | 0 | 0.0 | 72M| 217 | - | 371 | 23k| 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
38.79/38.89 c 37.6s|210000 |157686 | 0 | 0.0 | 69M| 217 | - | 371 |6971 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
39.29/39.39 c 38.0s|220000 |167679 | 0 | 0.0 | 70M| 217 | - | 371 |1572 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
39.79/39.85 c 38.5s|230000 |177662 | 0 | 0.0 | 73M| 217 | - | 371 |1272 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
40.29/40.31 c 38.9s|240000 |187638 | 0 | 0.0 | 75M| 217 | - | 371 |1121 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
40.70/40.77 c 39.3s|250000 |197618 | 0 | 0.0 | 78M| 217 | - | 371 | 975 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
41.19/41.21 c 39.7s|260000 |207613 | 0 | 0.0 | 81M| 217 | - | 371 | 865 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
41.59/41.68 c 40.1s|270000 |217578 | 0 | 0.0 | 84M| 217 | - | 371 | 907 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
42.09/42.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.09/42.14 c 40.5s|280000 |227558 | 0 | 0.0 | 87M| 217 | - | 371 | 871 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
42.59/42.61 c 40.9s|290000 |237523 | 0 | 0.0 | 90M| 217 | - | 371 | 842 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
42.99/43.07 c 41.3s|300000 |247497 | 0 | 0.0 | 93M| 217 | - | 371 | 820 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
43.49/43.54 c 41.8s|310000 |257458 | 0 | 0.0 | 95M| 217 | - | 371 | 831 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
44.00/44.00 c 42.2s|320000 |267435 | 0 | 0.0 | 98M| 217 | - | 371 | 815 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
44.39/44.47 c 42.6s|330000 |277405 | 0 | 0.0 | 101M| 217 | - | 371 | 817 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
44.89/44.93 c 43.0s|340000 |287373 | 0 | 0.0 | 104M| 217 | - | 371 | 834 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
45.39/45.40 c 43.4s|350000 |297335 | 0 | 0.0 | 107M| 217 | - | 371 | 841 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
45.79/45.88 c 43.8s|360000 |307308 | 0 | 0.0 | 110M| 217 | - | 371 | 849 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
46.29/46.34 c 44.2s|370000 |317276 | 0 | 0.0 | 113M| 217 | - | 371 | 851 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
46.79/46.81 c 44.7s|380000 |327240 | 0 | 0.0 | 116M| 217 | - | 371 | 854 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
47.19/47.28 c 45.1s|390000 |337210 | 0 | 0.0 | 119M| 217 | - | 371 | 873 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
47.69/47.76 c 45.5s|400000 |347174 | 0 | 0.0 | 122M| 217 | - | 371 | 842 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
48.19/48.22 c 45.9s|410000 |357145 | 0 | 0.0 | 124M| 217 | - | 371 | 829 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
48.69/48.70 c 46.3s|420000 |367080 | 0 | 0.0 | 127M| 217 | - | 371 | 930 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
49.09/49.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
49.09/49.17 c 46.7s|430000 |377047 | 0 | 0.0 | 130M| 217 | - | 371 | 915 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
49.59/49.63 c 47.1s|440000 |387024 | 0 | 0.0 | 133M| 217 | - | 371 | 922 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
49.99/50.09 c 47.6s|450000 |396996 | 0 | 0.0 | 136M| 217 | - | 371 | 909 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
50.50/50.55 c 48.0s|460000 |406969 | 0 | 0.0 | 139M| 217 | - | 371 | 923 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
50.99/51.01 c 48.4s|470000 |416941 | 0 | 0.0 | 142M| 217 | - | 371 | 931 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
51.39/51.48 c 48.8s|480000 |426913 | 0 | 0.0 | 145M| 217 | - | 371 | 960 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
51.89/51.94 c 49.2s|490000 |436894 | 0 | 0.0 | 148M| 217 | - | 371 | 937 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
52.39/52.41 c 49.6s|500000 |446835 | 0 | 0.0 | 151M| 217 | - | 371 |1015 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
52.80/52.88 c 50.1s|510000 |456816 | 0 | 0.0 | 154M| 217 | - | 371 | 984 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
53.29/53.34 c 50.5s|520000 |466788 | 0 | 0.0 | 157M| 217 | - | 371 | 977 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
53.79/53.80 c 50.9s|530000 |476756 | 0 | 0.0 | 159M| 217 | - | 371 |1028 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
54.20/54.28 c 51.3s|540000 |486728 | 0 | 0.0 | 162M| 217 | - | 371 |1068 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
54.69/54.75 c 51.8s|550000 |496701 | 0 | 0.0 | 165M| 217 | - | 371 |1076 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
55.19/55.23 c 52.2s|560000 |506666 | 0 | 0.0 | 168M| 217 | - | 371 |1077 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
55.69/55.71 c 52.6s|570000 |516629 | 0 | 0.0 | 171M| 217 | - | 371 |1111 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
56.10/56.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.10/56.19 c 53.0s|580000 |526595 | 0 | 0.0 | 174M| 217 | - | 371 |1131 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
56.59/56.66 c 53.5s|590000 |536561 | 0 | 0.0 | 177M| 217 | - | 371 |1171 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
57.10/57.15 c 53.9s|600000 |546525 | 0 | 0.0 | 180M| 217 | - | 371 |1197 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
57.59/57.62 c 54.3s|610000 |556478 | 0 | 0.0 | 183M| 217 | - | 371 |1222 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
58.09/58.10 c 54.8s|620000 |566442 | 0 | 0.0 | 186M| 217 | - | 371 |1213 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
58.49/58.57 c 55.2s|630000 |576401 | 0 | 0.0 | 189M| 217 | - | 371 |1238 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
58.99/59.06 c 55.6s|640000 |586366 | 0 | 0.0 | 192M| 217 | - | 371 |1237 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
59.49/59.54 c 56.0s|650000 |596320 | 0 | 0.0 | 195M| 217 | - | 371 |1284 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
59.99/60.04 c 56.5s|660000 |606261 | 0 | 0.0 | 198M| 217 | - | 371 |1316 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
60.50/60.52 c 56.9s|670000 |616223 | 0 | 0.0 | 201M| 217 | - | 371 |1306 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
60.99/61.01 c 57.4s|680000 |626189 | 0 | 0.0 | 204M| 217 | - | 371 |1318 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
61.39/61.49 c 57.8s|690000 |636150 | 0 | 0.0 | 207M| 217 | - | 371 |1324 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
61.89/61.98 c 58.2s|700000 |646107 | 0 | 0.0 | 210M| 217 | - | 371 |1335 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
62.39/62.45 c 58.6s|710000 |656071 | 0 | 0.0 | 213M| 217 | - | 371 |1371 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
62.89/62.93 c 59.1s|720000 |666016 | 0 | 0.0 | 216M| 217 | - | 371 |1407 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
63.39/63.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.39/63.41 c 59.5s|730000 |675984 | 0 | 0.0 | 219M| 217 | - | 371 |1452 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
63.80/63.88 c 59.9s|740000 |685927 | 0 | 0.0 | 222M| 217 | - | 371 |1525 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
64.29/64.36 c 60.3s|750000 |695890 | 0 | 0.0 | 225M| 217 | - | 371 |1513 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
64.79/64.83 c 60.8s|760000 |705856 | 0 | 0.0 | 227M| 217 | - | 371 |1523 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
65.29/65.30 c 61.2s|770000 |715817 | 0 | 0.0 | 230M| 217 | - | 371 |1552 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
65.69/65.77 c 61.6s|780000 |725789 | 0 | 0.0 | 233M| 217 | - | 371 |1569 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
66.19/66.25 c 62.0s|790000 |735750 | 0 | 0.0 | 236M| 217 | - | 371 |1587 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
66.69/66.73 c 62.5s|800000 |745711 | 0 | 0.0 | 239M| 217 | - | 371 |1624 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
67.20/67.22 c 62.9s|810000 |755663 | 0 | 0.0 | 242M| 217 | - | 371 |1686 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
67.69/67.70 c 63.3s|820000 |765632 | 0 | 0.0 | 245M| 217 | - | 371 |1704 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
68.10/68.19 c 63.8s|830000 |775584 | 0 | 0.0 | 248M| 217 | - | 371 |1734 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
68.59/68.67 c 64.2s|840000 |785542 | 0 | 0.0 | 251M| 217 | - | 371 |1775 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
69.09/69.15 c 64.6s|850000 |795524 | 0 | 0.0 | 254M| 217 | - | 371 |1779 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
69.59/69.63 c 65.0s|860000 |805476 | 0 | 0.0 | 257M| 217 | - | 371 |1850 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
70.09/70.13 c 65.5s|870000 |815433 | 0 | 0.0 | 260M| 217 | - | 371 |1867 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
70.59/70.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.59/70.63 c 65.9s|880000 |825383 | 0 | 0.0 | 263M| 217 | - | 371 |1907 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
71.09/71.12 c 66.4s|890000 |835345 | 0 | 0.0 | 266M| 217 | - | 371 |1905 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
71.59/71.60 c 66.8s|900000 |845323 | 0 | 0.0 | 269M| 217 | - | 371 |1916 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
72.00/72.09 c 67.2s|910000 |855275 | 0 | 0.0 | 272M| 217 | - | 371 |1948 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
72.49/72.57 c 67.7s|920000 |865231 | 0 | 0.0 | 275M| 217 | - | 371 |1992 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
72.99/73.05 c 68.1s|930000 |875197 | 0 | 0.0 | 278M| 217 | - | 371 |1983 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
73.49/73.52 c 68.5s|940000 |885168 | 0 | 0.0 | 281M| 217 | - | 371 |2001 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
73.89/73.99 c 68.9s|950000 |895128 | 0 | 0.0 | 284M| 217 | - | 371 |2027 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
74.39/74.47 c 69.4s|960000 |905082 | 0 | 0.0 | 287M| 217 | - | 371 |2079 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
74.89/74.96 c 69.8s|970000 |915042 | 0 | 0.0 | 290M| 217 | - | 371 |2118 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
75.39/75.44 c 70.2s|980000 |925003 | 0 | 0.0 | 293M| 217 | - | 371 |2133 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
75.90/75.92 c 70.7s|990000 |934961 | 0 | 0.0 | 296M| 217 | - | 371 |2167 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
76.39/76.41 c 71.1s| 1000k|944909 | 0 | 0.0 | 299M| 217 | - | 371 |2220 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
76.89/76.91 c 71.6s| 1010k|954852 | 0 | 0.0 | 302M| 217 | - | 371 |2259 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
77.29/77.39 c 72.0s| 1020k|964822 | 0 | 0.0 | 305M| 217 | - | 371 |2265 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
77.79/77.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.79/77.87 c 72.5s| 1030k|974761 | 0 | 0.0 | 308M| 217 | - | 371 |2335 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
78.29/78.35 c 72.9s| 1040k|984713 | 0 | 0.0 | 311M| 217 | - | 371 |2359 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
78.79/78.83 c 73.3s| 1050k|994664 | 0 | 0.0 | 314M| 217 | - | 371 |2400 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
79.29/79.30 c 73.7s| 1060k| 1004k| 0 | 0.0 | 317M| 217 | - | 371 |2401 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
79.69/79.79 c 74.2s| 1070k| 1014k| 0 | 0.0 | 320M| 217 | - | 371 |2437 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
80.19/80.28 c 74.6s| 1080k| 1024k| 0 | 0.0 | 323M| 217 | - | 371 |2463 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
80.69/80.77 c 75.0s| 1090k| 1034k| 0 | 0.0 | 326M| 217 | - | 371 |2486 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
81.19/81.25 c 75.5s| 1100k| 1044k| 0 | 0.0 | 329M| 217 | - | 371 |2494 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
81.69/81.74 c 75.9s| 1110k| 1054k| 0 | 0.0 | 332M| 217 | - | 371 |2531 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
82.19/82.27 c 76.4s| 1120k| 1064k| 0 | 0.0 | 335M| 217 | - | 371 |2639 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
82.69/82.78 c 76.9s| 1130k| 1074k| 0 | 0.0 | 338M| 217 | - | 371 |2657 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
83.19/83.27 c 77.3s| 1140k| 1084k| 0 | 0.0 | 340M| 217 | - | 371 |2633 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
83.69/83.77 c 77.8s| 1150k| 1094k| 0 | 0.0 | 343M| 217 | - | 371 |2694 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
84.19/84.26 c 78.2s| 1160k| 1104k| 0 | 0.0 | 346M| 217 | - | 371 |2690 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
84.70/84.76 c 78.7s| 1170k| 1114k| 0 | 0.0 | 349M| 217 | - | 371 |2712 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
85.20/85.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.20/85.24 c 79.1s| 1180k| 1124k| 0 | 0.0 | 352M| 217 | - | 371 |2725 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
85.69/85.74 c 79.5s| 1190k| 1133k| 0 | 0.0 | 355M| 217 | - | 371 |2797 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
86.20/86.23 c 80.0s| 1200k| 1143k| 0 | 0.0 | 358M| 217 | - | 371 |2830 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
86.69/86.71 c 80.4s| 1210k| 1153k| 0 | 0.0 | 361M| 217 | - | 371 |2864 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
87.19/87.21 c 80.9s| 1220k| 1163k| 0 | 0.0 | 364M| 217 | - | 371 |2935 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
87.59/87.69 c 81.3s| 1230k| 1173k| 0 | 0.0 | 367M| 217 | - | 371 |2949 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
88.09/88.17 c 81.7s| 1240k| 1183k| 0 | 0.0 | 370M| 217 | - | 371 |2967 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
88.59/88.66 c 82.1s| 1250k| 1193k| 0 | 0.0 | 373M| 217 | - | 371 |3046 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
89.10/89.14 c 82.6s| 1260k| 1203k| 0 | 0.0 | 376M| 217 | - | 371 |3101 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
89.60/89.62 c 83.0s| 1270k| 1213k| 0 | 0.0 | 379M| 217 | - | 371 |3142 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
90.10/90.12 c 83.4s| 1280k| 1223k| 0 | 0.0 | 382M| 217 | - | 371 |3163 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
90.59/90.61 c 83.9s| 1290k| 1233k| 0 | 0.0 | 385M| 217 | - | 371 |3227 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
91.09/91.11 c 84.3s| 1300k| 1243k| 0 | 0.0 | 388M| 217 | - | 371 |3278 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
91.59/91.60 c 84.8s| 1310k| 1253k| 0 | 0.0 | 391M| 217 | - | 371 |3313 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
91.99/92.09 c 85.2s| 1320k| 1263k| 0 | 0.0 | 394M| 217 | - | 371 |3355 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
92.49/92.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.49/92.57 c 85.7s| 1330k| 1273k| 0 | 0.0 | 397M| 217 | - | 371 |3389 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
92.99/93.07 c 86.1s| 1340k| 1283k| 0 | 0.0 | 400M| 217 | - | 371 |3504 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
93.49/93.57 c 86.6s| 1350k| 1293k| 0 | 0.0 | 403M| 217 | - | 371 |3628 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
93.99/94.09 c 87.0s| 1360k| 1303k| 0 | 0.0 | 406M| 217 | - | 371 |3647 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
94.60/94.61 c 87.5s| 1370k| 1313k| 0 | 0.0 | 409M| 217 | - | 371 |3697 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
95.09/95.14 c 88.0s| 1380k| 1323k| 0 | 0.0 | 412M| 217 | - | 371 |3787 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
95.60/95.67 c 88.5s| 1390k| 1333k| 0 | 0.0 | 415M| 217 | - | 371 |3884 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
96.09/96.19 c 89.0s| 1400k| 1342k| 0 | 0.0 | 418M| 217 | - | 371 |3961 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
96.70/96.70 c 89.4s| 1410k| 1352k| 0 | 0.0 | 421M| 217 | - | 371 |4013 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
97.19/97.23 c 89.9s| 1420k| 1362k| 0 | 0.0 | 424M| 217 | - | 371 |4108 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
97.69/97.74 c 90.3s| 1430k| 1372k| 0 | 0.0 | 427M| 217 | - | 371 |4176 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
98.19/98.24 c 90.8s| 1440k| 1382k| 0 | 0.0 | 430M| 217 | - | 371 |4266 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
98.70/98.76 c 91.3s| 1450k| 1392k| 0 | 0.0 | 433M| 217 | - | 371 |4368 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
99.20/99.29 c 91.7s| 1460k| 1402k| 0 | 0.0 | 436M| 217 | - | 371 |4465 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
99.79/99.83 c 92.2s| 1470k| 1412k| 0 | 0.0 | 439M| 217 | - | 371 |4553 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
100.30/100.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
100.30/100.33 c 92.7s| 1480k| 1422k| 0 | 0.0 | 442M| 217 | - | 371 |4550 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
100.79/100.84 c 93.1s| 1490k| 1432k| 0 | 0.0 | 445M| 217 | - | 371 |4626 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
101.29/101.34 c 93.6s| 1500k| 1442k| 0 | 0.0 | 448M| 217 | - | 371 |4612 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
101.79/101.85 c 94.1s| 1510k| 1452k| 0 | 0.0 | 451M| 217 | - | 371 |4710 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
102.30/102.38 c 94.5s| 1520k| 1462k| 0 | 0.0 | 454M| 217 | - | 371 |4788 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
102.89/102.92 c 95.0s| 1530k| 1472k| 0 | 0.0 | 457M| 217 | - | 371 |4927 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
103.40/103.47 c 95.5s| 1540k| 1482k| 0 | 0.0 | 460M| 217 | - | 371 |4990 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
103.99/104.01 c 96.0s| 1550k| 1492k| 0 | 0.0 | 463M| 217 | - | 371 |5052 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
104.50/104.55 c 96.5s| 1560k| 1502k| 0 | 0.0 | 466M| 217 | - | 371 |5155 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
104.99/105.07 c 97.0s| 1570k| 1512k| 0 | 0.0 | 469M| 217 | - | 371 |5221 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
105.50/105.59 c 97.5s| 1580k| 1522k| 0 | 0.0 | 472M| 217 | - | 371 |5311 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
106.09/106.13 c 97.9s| 1590k| 1531k| 0 | 0.0 | 475M| 217 | - | 371 |5398 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
106.60/106.66 c 98.4s| 1600k| 1541k| 0 | 0.0 | 478M| 217 | - | 371 |4160 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
107.09/107.12 c 98.8s| 1610k| 1551k| 0 | 0.0 | 480M| 217 | - | 371 | 865 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
107.49/107.56 c 99.2s| 1620k| 1561k| 0 | 0.0 | 483M| 217 | - | 371 | 772 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
107.90/107.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
107.90/107.99 c 99.6s| 1630k| 1571k| 0 | 0.0 | 486M| 217 | - | 371 | 772 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
108.39/108.42 c 100s| 1640k| 1581k| 0 | 0.0 | 489M| 217 | - | 371 | 786 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
108.79/108.85 c 100s| 1650k| 1591k| 0 | 0.0 | 492M| 217 | - | 371 | 803 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
109.19/109.28 c 101s| 1660k| 1601k| 0 | 0.0 | 495M| 217 | - | 371 | 826 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
109.69/109.71 c 101s| 1670k| 1611k| 0 | 0.0 | 498M| 217 | - | 371 | 874 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
110.09/110.14 c 101s| 1680k| 1621k| 0 | 0.0 | 501M| 217 | - | 371 | 903 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
110.49/110.57 c 102s| 1690k| 1631k| 0 | 0.0 | 504M| 217 | - | 371 | 918 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
111.00/111.01 c 102s| 1700k| 1641k| 0 | 0.0 | 507M| 217 | - | 371 |1010 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
111.39/111.45 c 103s| 1710k| 1651k| 0 | 0.0 | 510M| 217 | - | 371 | 996 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
111.89/111.91 c 103s| 1720k| 1661k| 0 | 0.0 | 513M| 228 | - | 371 | 707 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
113.40/113.41 c 104s| 1730k| 1668k| 0 | 0.0 | 517M| 228 | - | 371 |6321 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
122.60/122.60 c 114s| 1740k| 1664k| 0 | 0.0 | 519M| 228 | - | 371 | 18k| 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
133.20/133.22 c 124s| 1750k| 1663k| 0 | 0.0 | 516M| 228 | - | 371 | 19k| 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
133.89/133.94 c 125s| 1760k| 1673k| 0 | 0.0 | 513M| 228 | - | 371 |3626 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
134.39/134.42 c 125s| 1770k| 1683k| 0 | 0.0 | 515M| 228 | - | 371 |1315 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
134.79/134.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.79/134.88 c 126s| 1780k| 1693k| 0 | 0.0 | 518M| 228 | - | 371 |1067 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
135.30/135.34 c 126s| 1790k| 1703k| 0 | 0.0 | 521M| 228 | - | 371 |1000 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
135.79/135.80 c 126s| 1800k| 1713k| 0 | 0.0 | 524M| 228 | - | 371 | 965 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
136.19/136.26 c 127s| 1810k| 1723k| 0 | 0.0 | 527M| 228 | - | 371 | 877 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
136.70/136.72 c 127s| 1820k| 1733k| 0 | 0.0 | 529M| 228 | - | 371 | 893 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
137.09/137.17 c 128s| 1830k| 1743k| 0 | 0.0 | 532M| 228 | - | 371 | 815 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
137.59/137.62 c 128s| 1840k| 1753k| 0 | 0.0 | 535M| 228 | - | 371 | 811 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
138.00/138.07 c 128s| 1850k| 1763k| 0 | 0.0 | 538M| 228 | - | 371 | 805 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
138.50/138.52 c 129s| 1860k| 1773k| 0 | 0.0 | 541M| 228 | - | 371 | 830 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
138.90/138.99 c 129s| 1870k| 1783k| 0 | 0.0 | 544M| 228 | - | 371 | 805 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
139.40/139.45 c 130s| 1880k| 1793k| 0 | 0.0 | 547M| 228 | - | 371 | 808 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
139.89/139.91 c 130s| 1890k| 1803k| 0 | 0.0 | 549M| 228 | - | 371 | 788 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
140.29/140.36 c 130s| 1900k| 1813k| 0 | 0.0 | 552M| 228 | - | 371 | 758 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
140.80/140.83 c 131s| 1910k| 1823k| 0 | 0.0 | 555M| 228 | - | 371 | 773 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 6.760000e+02 | Inf
141.19/141.28 o 582
141.19/141.28 c * 131s| 1919k| 1832k| 0 | 0.0 | 558M| 228 | - | 371 | 793 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 5.820000e+02 | Inf
141.29/141.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
141.29/141.30 c 131s| 1920k| 1833k| 0 | 0.0 | 558M| 228 | - | 371 | 789 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 5.820000e+02 | Inf
141.70/141.76 c 132s| 1930k| 1843k| 0 | 0.0 | 561M| 228 | - | 371 | 791 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 5.820000e+02 | Inf
142.20/142.22 c 132s| 1940k| 1853k| 0 | 0.0 | 564M| 228 | - | 371 | 778 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 5.820000e+02 | Inf
142.60/142.68 c 133s| 1950k| 1863k| 0 | 0.0 | 567M| 228 | - | 371 | 791 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 5.820000e+02 | Inf
143.10/143.13 c 133s| 1960k| 1873k| 0 | 0.0 | 570M| 228 | - | 371 | 771 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 5.820000e+02 | Inf
143.49/143.59 c 133s| 1970k| 1883k| 0 | 0.0 | 572M| 228 | - | 371 | 808 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 5.820000e+02 | Inf
144.00/144.04 c 134s| 1980k| 1893k| 0 | 0.0 | 575M| 228 | - | 371 | 786 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 5.820000e+02 | Inf
144.39/144.49 c 134s| 1990k| 1903k| 0 | 0.0 | 578M| 228 | - | 371 | 807 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 5.820000e+02 | Inf
144.89/144.95 c 135s| 2000k| 1913k| 0 | 0.0 | 581M| 228 | - | 371 | 811 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 5.820000e+02 | Inf
145.39/145.46 c 135s| 2010k| 1922k| 0 | 0.0 | 584M| 228 | - | 371 | 989 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 5.820000e+02 | Inf
145.80/145.88 o 567
145.80/145.88 c * 135s| 2016k| 1929k| 0 | 0.0 | 586M| 228 | - | 371 |1130 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 5.670000e+02 | Inf
145.89/145.95 o 554
145.89/145.95 c * 135s| 2017k| 1930k| 0 | 0.0 | 587M| 228 | - | 371 |1141 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 5.540000e+02 | Inf
145.89/145.99 o 454
145.89/145.99 c * 136s| 2017k| 1930k| 0 | 0.0 | 586M| 228 | - | 371 |1146 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 4.540000e+02 | Inf
146.00/146.01 o 424
146.00/146.01 c * 136s| 2017k| 1929k| 0 | 0.0 | 586M| 228 | - | 371 |1146 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 4.240000e+02 | Inf
146.09/146.14 c 136s| 2020k| 1931k| 0 | 0.0 | 587M| 228 | - | 371 |1192 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 4.240000e+02 | Inf
148.00/148.00 o 67
148.00/148.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
148.00/148.00 c * 137s| 2026k|652947 | 0 | 0.0 | 207M| 228 | - | 371 |1541 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
148.09/148.15 o 60
148.09/148.15 c * 138s| 2027k|612999 | 0 | 0.0 | 196M| 228 | - | 371 |1764 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 6.000000e+01 | Inf
148.40/148.41 o 47
148.40/148.41 c * 138s| 2027k|523962 | 0 | 0.0 | 170M| 228 | - | 371 |1949 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
148.79/148.81 c 138s| 2030k|525009 | 0 | 0.0 | 171M| 228 | - | 371 |1459 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
151.20/151.20 c 141s| 2040k|529999 | 0 | 0.0 | 177M| 228 | - | 371 |5162 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
153.99/154.06 c 143s| 2050k|534976 | 0 | 0.0 | 182M| 228 | - | 371 |7200 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
157.30/157.34 c 147s| 2060k|539927 | 0 | 0.0 | 187M| 228 | - | 371 |8587 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
160.90/160.93 c 150s| 2070k|544573 | 0 | 0.0 | 192M| 228 | - | 371 |9518 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
164.80/164.83 c 154s| 2080k|549191 | 0 | 0.0 | 197M| 228 | - | 371 | 11k| 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
168.99/169.00 c 158s| 2090k|553625 | 0 | 0.0 | 202M| 228 | - | 371 | 12k| 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
173.39/173.43 c 162s| 2100k|557864 | 0 | 0.0 | 206M| 228 | - | 371 |9756 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
177.79/177.88 c 167s| 2110k|561695 | 0 | 0.0 | 211M| 228 | - | 371 | 12k| 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
183.09/183.14 c 172s| 2120k|565069 | 0 | 0.0 | 216M| 228 | - | 371 | 13k| 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
189.10/189.17 c 178s| 2130k|567957 | 0 | 0.0 | 221M| 228 | - | 371 | 15k| 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
195.90/195.92 c 184s| 2140k|570541 | 0 | 0.0 | 226M| 228 | - | 371 | 16k| 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
203.20/203.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.20/203.21 c 192s| 2150k|572993 | 0 | 0.0 | 231M| 228 | - | 371 | 18k| 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
210.89/210.94 c 199s| 2160k|575010 | 0 | 0.0 | 236M| 228 | - | 371 | 18k| 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
218.80/218.89 c 207s| 2170k|577134 | 0 | 0.0 | 241M| 228 | - | 371 | 19k| 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
226.99/227.03 c 215s| 2180k|578972 | 0 | 0.0 | 246M| 228 | - | 371 | 19k| 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
235.89/235.93 c 224s| 2190k|580080 | 0 | 0.0 | 251M| 228 | - | 371 | 20k| 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
245.20/245.29 c 233s| 2200k|580902 | 0 | 0.0 | 256M| 228 | - | 371 | 21k| 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
255.80/255.82 c 244s| 2210k|581019 | 0 | 0.0 | 261M| 228 | - | 371 | 23k| 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
266.99/267.02 c 255s| 2220k|580811 | 0 | 0.0 | 266M| 228 | - | 371 | 23k| 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
278.70/278.75 c 266s| 2230k|580140 | 0 | 0.0 | 270M| 228 | - | 371 | 24k| 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
291.60/291.67 c 279s| 2240k|578671 | 0 | 0.0 | 275M| 228 | - | 371 | 25k| 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
305.39/305.46 c 293s| 2250k|576509 | 0 | 0.0 | 280M| 228 | - | 371 | 26k| 0 | 0 | 0 | 520k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
318.80/318.80 c 306s| 2260k|574590 | 0 | 0.0 | 287M| 228 | - | 371 | 27k| 0 | 0 | 0 | 537k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
332.90/332.99 c 320s| 2270k|571816 | 0 | 0.0 | 293M| 228 | - | 371 | 27k| 0 | 0 | 0 | 555k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
347.51/347.53 c 334s| 2280k|568242 | 0 | 0.0 | 299M| 228 | - | 371 | 28k| 0 | 0 | 0 | 573k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
362.91/362.95 c 350s| 2290k|563680 | 0 | 0.0 | 305M| 228 | - | 371 | 28k| 0 | 0 | 0 | 592k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
379.60/379.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
379.60/379.63 c 366s| 2300k|557871 | 0 | 0.0 | 311M| 228 | - | 371 | 29k| 0 | 0 | 0 | 611k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
398.11/398.15 c 385s| 2310k|549875 | 0 | 0.0 | 317M| 228 | - | 371 | 30k| 0 | 0 | 0 | 631k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
417.40/417.45 c 404s| 2320k|540186 | 0 | 0.0 | 322M| 228 | - | 371 | 31k| 0 | 0 | 0 | 651k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
438.20/438.26 c 424s| 2330k|527410 | 0 | 0.0 | 326M| 228 | - | 371 | 32k| 0 | 0 | 0 | 672k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
461.00/461.07 c 447s| 2340k|506585 | 0 | 0.0 | 326M| 228 | - | 371 | 32k| 0 | 0 | 0 | 695k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
474.90/474.91 c 461s| 2350k|487506 | 0 | 0.0 | 307M| 228 | - | 371 |7290 | 0 | 0 | 0 | 709k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
477.10/477.14 c 463s| 2360k|494938 | 0 | 0.0 | 312M| 228 | - | 371 |8467 | 0 | 0 | 0 | 718k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
479.41/479.48 c 465s| 2370k|501944 | 0 | 0.0 | 316M| 228 | - | 371 |7723 | 0 | 0 | 0 | 728k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
482.00/482.02 c 468s| 2380k|508595 | 0 | 0.0 | 321M| 228 | - | 371 |9063 | 0 | 0 | 0 | 737k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
485.20/485.26 c 471s| 2390k|514574 | 0 | 0.0 | 326M| 228 | - | 371 | 10k| 0 | 0 | 0 | 748k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
488.81/488.86 c 474s| 2400k|520213 | 0 | 0.0 | 331M| 228 | - | 371 | 12k| 0 | 0 | 0 | 760k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
493.61/493.64 c 479s| 2410k|524618 | 0 | 0.0 | 337M| 228 | - | 371 | 13k| 0 | 0 | 0 | 774k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
499.21/499.22 c 484s| 2420k|528071 | 0 | 0.0 | 342M| 228 | - | 371 | 14k| 0 | 0 | 0 | 789k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
505.91/505.95 c 491s| 2430k|530094 | 0 | 0.0 | 348M| 228 | - | 371 | 15k| 0 | 0 | 0 | 807k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
513.31/513.39 c 498s| 2440k|530937 | 0 | 0.0 | 354M| 228 | - | 371 | 16k| 0 | 0 | 0 | 825k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
523.31/523.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
523.31/523.40 c 508s| 2450k|526894 | 0 | 0.0 | 359M| 228 | - | 371 | 16k| 0 | 0 | 0 | 845k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
529.01/529.03 c 514s| 2460k|525541 | 0 | 0.0 | 359M| 228 | - | 371 |4768 | 0 | 0 | 0 | 856k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
531.00/531.01 c 516s| 2470k|532616 | 0 | 0.0 | 364M| 228 | - | 371 |5548 | 0 | 0 | 0 | 863k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
533.71/533.74 c 518s| 2480k|538410 | 0 | 0.0 | 370M| 228 | - | 371 |7040 | 0 | 0 | 0 | 873k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
538.11/538.17 c 523s| 2490k|540628 | 0 | 0.0 | 376M| 228 | - | 371 |8718 | 0 | 0 | 0 | 887k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
541.71/541.77 c 526s| 2500k|543947 | 0 | 0.0 | 379M| 228 | - | 371 |6726 | 0 | 0 | 0 | 897k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
545.52/545.56 c 530s| 2510k|547197 | 0 | 0.0 | 385M| 228 | - | 371 |6833 | 0 | 0 | 0 | 909k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
549.51/549.56 c 534s| 2520k|550828 | 0 | 0.0 | 390M| 228 | - | 371 |9759 | 0 | 0 | 0 | 922k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
554.81/554.82 c 539s| 2530k|553881 | 0 | 0.0 | 396M| 228 | - | 371 | 13k| 0 | 0 | 0 | 938k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
561.41/561.45 c 545s| 2540k|556609 | 0 | 0.0 | 401M| 228 | - | 371 | 15k| 0 | 0 | 0 | 956k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
568.51/568.55 c 552s| 2550k|559787 | 0 | 0.0 | 406M| 228 | - | 371 | 18k| 0 | 0 | 0 | 973k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
575.01/575.01 c 559s| 2560k|563922 | 0 | 0.0 | 410M| 228 | - | 371 | 19k| 0 | 0 | 0 | 987k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
582.31/582.35 c 566s| 2570k|567441 | 0 | 0.0 | 415M| 228 | - | 371 | 19k| 0 | 0 | 0 |1003k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
589.61/589.69 c 573s| 2580k|570820 | 0 | 0.0 | 415M| 228 | - | 371 |4766 | 0 | 0 | 0 |1019k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
593.81/593.84 c 577s| 2590k|574226 | 0 | 0.0 | 420M| 228 | - | 371 |7924 | 0 | 0 | 0 |1036k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
598.81/598.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
598.81/598.81 c 582s| 2600k|577367 | 0 | 0.0 | 425M| 228 | - | 371 | 10k| 0 | 0 | 0 |1052k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
604.61/604.64 c 588s| 2610k|580208 | 0 | 0.0 | 429M| 228 | - | 371 | 12k| 0 | 0 | 0 |1070k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
611.21/611.22 c 594s| 2620k|582645 | 0 | 0.0 | 434M| 228 | - | 371 | 13k| 0 | 0 | 0 |1088k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
618.31/618.39 c 602s| 2630k|584800 | 0 | 0.0 | 439M| 228 | - | 371 | 15k| 0 | 0 | 0 |1106k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
626.51/626.50 c 610s| 2640k|586536 | 0 | 0.0 | 443M| 228 | - | 371 | 16k| 0 | 0 | 0 |1126k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
634.81/634.88 c 618s| 2650k|588344 | 0 | 0.0 | 446M| 228 | - | 371 | 17k| 0 | 0 | 0 |1144k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
643.81/643.83 c 627s| 2660k|589858 | 0 | 0.0 | 451M| 228 | - | 371 | 19k| 0 | 0 | 0 |1164k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
653.11/653.15 c 636s| 2670k|591560 | 0 | 0.0 | 455M| 228 | - | 371 | 20k| 0 | 0 | 0 |1183k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
663.11/663.14 c 646s| 2680k|593013 | 0 | 0.0 | 459M| 228 | - | 371 | 20k| 0 | 0 | 0 |1203k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
674.41/674.41 c 657s| 2690k|593748 | 0 | 0.0 | 463M| 228 | - | 371 | 22k| 0 | 0 | 0 |1223k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
686.42/686.48 c 669s| 2700k|594264 | 0 | 0.0 | 466M| 228 | - | 371 | 23k| 0 | 0 | 0 |1243k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
698.42/698.46 c 681s| 2710k|595331 | 0 | 0.0 | 470M| 228 | - | 371 | 24k| 0 | 0 | 0 |1263k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
710.72/710.79 c 693s| 2720k|596382 | 0 | 0.0 | 474M| 228 | - | 371 | 26k| 0 | 0 | 0 |1283k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
724.42/724.44 c 707s| 2730k|596906 | 0 | 0.0 | 477M| 228 | - | 371 | 27k| 0 | 0 | 0 |1303k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
739.22/739.24 c 721s| 2740k|597003 | 0 | 0.0 | 481M| 228 | - | 371 | 29k| 0 | 0 | 0 |1324k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
755.21/755.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
755.21/755.22 c 737s| 2750k|596714 | 0 | 0.0 | 484M| 228 | - | 371 | 30k| 0 | 0 | 0 |1345k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
771.32/771.37 c 753s| 2760k|596706 | 0 | 0.0 | 488M| 228 | - | 371 | 31k| 0 | 0 | 0 |1365k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
788.21/788.21 c 770s| 2770k|596603 | 0 | 0.0 | 491M| 228 | - | 371 | 32k| 0 | 0 | 0 |1386k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
806.12/806.16 c 788s| 2780k|595934 | 0 | 0.0 | 494M| 228 | - | 371 | 34k| 0 | 0 | 0 |1407k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
825.42/825.44 c 807s| 2790k|595037 | 0 | 0.0 | 497M| 228 | - | 371 | 35k| 0 | 0 | 0 |1428k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
847.03/847.01 c 828s| 2800k|593332 | 0 | 0.0 | 499M| 228 | - | 371 | 37k| 0 | 0 | 0 |1451k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
869.32/869.32 c 850s| 2810k|591349 | 0 | 0.0 | 501M| 228 | - | 371 | 37k| 0 | 0 | 0 |1473k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
892.03/892.01 c 873s| 2820k|589252 | 0 | 0.0 | 503M| 228 | - | 371 | 39k| 0 | 0 | 0 |1494k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
917.23/917.21 c 898s| 2830k|586131 | 0 | 0.0 | 505M| 228 | - | 371 | 41k| 0 | 0 | 0 |1517k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
943.83/943.89 c 925s| 2840k|582274 | 0 | 0.0 | 506M| 228 | - | 371 | 42k| 0 | 0 | 0 |1540k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
972.44/972.42 c 953s| 2850k|577404 | 0 | 0.0 | 505M| 228 | - | 371 | 44k| 0 | 0 | 0 |1563k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1005.34/1005.40 c 986s| 2860k|568235 | 0 | 0.0 | 503M| 228 | - | 371 | 46k| 0 | 0 | 0 |1587k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1020.53/1020.53 c 1001s| 2870k|562895 | 0 | 0.0 | 493M| 228 | - | 371 | 10k| 0 | 0 | 0 |1602k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1024.13/1024.19 c 1004s| 2880k|569088 | 0 | 0.0 | 497M| 228 | - | 371 |9495 | 0 | 0 | 0 |1615k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1028.13/1028.11 c 1008s| 2890k|574907 | 0 | 0.0 | 502M| 228 | - | 371 |9040 | 0 | 0 | 0 |1628k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1031.84/1031.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1031.84/1031.86 c 1012s| 2900k|580530 | 0 | 0.0 | 506M| 228 | - | 371 |9627 | 0 | 0 | 0 |1641k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1035.32/1035.39 c 1015s| 2910k|585919 | 0 | 0.0 | 510M| 228 | - | 371 |8224 | 0 | 0 | 0 |1656k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1039.13/1039.10 c 1019s| 2920k|591277 | 0 | 0.0 | 514M| 228 | - | 371 |9043 | 0 | 0 | 0 |1669k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1043.43/1043.41 c 1023s| 2930k|596038 | 0 | 0.0 | 519M| 228 | - | 371 | 10k| 0 | 0 | 0 |1685k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1047.53/1047.58 c 1027s| 2940k|601088 | 0 | 0.0 | 523M| 228 | - | 371 | 10k| 0 | 0 | 0 |1700k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1051.93/1051.94 c 1031s| 2950k|605906 | 0 | 0.0 | 528M| 228 | - | 371 | 10k| 0 | 0 | 0 |1715k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1056.93/1057.00 c 1036s| 2960k|609989 | 0 | 0.0 | 532M| 228 | - | 371 | 11k| 0 | 0 | 0 |1732k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1062.54/1062.53 c 1042s| 2970k|613664 | 0 | 0.0 | 537M| 228 | - | 371 | 12k| 0 | 0 | 0 |1749k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1068.53/1068.57 c 1048s| 2980k|616812 | 0 | 0.0 | 541M| 228 | - | 371 | 12k| 0 | 0 | 0 |1767k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1074.93/1074.96 c 1054s| 2990k|619831 | 0 | 0.0 | 545M| 228 | - | 371 | 13k| 0 | 0 | 0 |1785k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1081.43/1081.49 c 1061s| 3000k|622793 | 0 | 0.0 | 550M| 228 | - | 371 | 15k| 0 | 0 | 0 |1803k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1088.93/1088.94 c 1068s| 3010k|625141 | 0 | 0.0 | 554M| 228 | - | 371 | 15k| 0 | 0 | 0 |1821k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1097.03/1097.03 c 1076s| 3020k|626901 | 0 | 0.0 | 558M| 228 | - | 371 | 16k| 0 | 0 | 0 |1840k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1105.33/1105.37 c 1084s| 3030k|628720 | 0 | 0.0 | 562M| 228 | - | 371 | 18k| 0 | 0 | 0 |1860k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1114.54/1114.56 c 1093s| 3040k|630093 | 0 | 0.0 | 566M| 228 | - | 371 | 19k| 0 | 0 | 0 |1879k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1124.53/1124.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1124.53/1124.57 c 1103s| 3050k|630745 | 0 | 0.0 | 569M| 228 | - | 371 | 20k| 0 | 0 | 0 |1900k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1136.13/1136.14 c 1115s| 3060k|630357 | 0 | 0.0 | 572M| 228 | - | 371 | 22k| 0 | 0 | 0 |1921k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1147.84/1147.81 c 1126s| 3070k|629991 | 0 | 0.0 | 568M| 228 | - | 371 | 13k| 0 | 0 | 0 |1939k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1149.94/1149.94 c 1128s| 3080k|637638 | 0 | 0.0 | 569M| 228 | - | 371 |3364 | 0 | 0 | 0 |1947k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1151.53/1151.59 c 1130s| 3090k|644998 | 0 | 0.0 | 573M| 228 | - | 371 |2470 | 0 | 0 | 0 |1955k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1153.23/1153.27 c 1131s| 3100k|652056 | 0 | 0.0 | 577M| 228 | - | 371 |1966 | 0 | 0 | 0 |1963k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1155.14/1155.17 c 1133s| 3110k|658460 | 0 | 0.0 | 581M| 228 | - | 371 |2368 | 0 | 0 | 0 |1974k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1157.14/1157.17 c 1135s| 3120k|664495 | 0 | 0.0 | 586M| 228 | - | 371 |2501 | 0 | 0 | 0 |1985k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1159.53/1159.55 c 1137s| 3130k|670008 | 0 | 0.0 | 590M| 228 | - | 371 |3272 | 0 | 0 | 0 |1997k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1162.23/1162.24 c 1140s| 3140k|674939 | 0 | 0.0 | 594M| 228 | - | 371 |3326 | 0 | 0 | 0 |2011k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1165.13/1165.13 c 1143s| 3150k|679749 | 0 | 0.0 | 599M| 228 | - | 371 |4020 | 0 | 0 | 0 |2024k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1168.43/1168.42 c 1146s| 3160k|683626 | 0 | 0.0 | 603M| 228 | - | 371 |3116 | 0 | 0 | 0 |2039k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1171.94/1171.91 c 1149s| 3170k|686698 | 0 | 0.0 | 607M| 228 | - | 371 |3856 | 0 | 0 | 0 |2056k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1175.53/1175.56 c 1153s| 3180k|689344 | 0 | 0.0 | 611M| 228 | - | 371 |3667 | 0 | 0 | 0 |2072k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1180.34/1180.37 c 1158s| 3190k|689149 | 0 | 0.0 | 614M| 228 | - | 371 |4375 | 0 | 0 | 0 |2089k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1182.73/1182.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1182.73/1182.75 c 1160s| 3200k|695109 | 0 | 0.0 | 618M| 228 | - | 371 |5049 | 0 | 0 | 0 |2099k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1185.74/1185.75 c 1163s| 3210k|700654 | 0 | 0.0 | 623M| 228 | - | 371 |6602 | 0 | 0 | 0 |2112k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1189.04/1189.10 c 1166s| 3220k|705773 | 0 | 0.0 | 628M| 228 | - | 371 |7863 | 0 | 0 | 0 |2125k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1192.93/1192.95 c 1170s| 3230k|710187 | 0 | 0.0 | 632M| 228 | - | 371 |8091 | 0 | 0 | 0 |2138k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1197.03/1197.06 c 1174s| 3240k|714259 | 0 | 0.0 | 636M| 228 | - | 371 |7754 | 0 | 0 | 0 |2152k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1201.14/1201.15 c 1178s| 3250k|718110 | 0 | 0.0 | 639M| 228 | - | 371 |7624 | 0 | 0 | 0 |2165k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1204.64/1204.64 c 1181s| 3260k|722889 | 0 | 0.0 | 643M| 228 | - | 371 |7773 | 0 | 0 | 0 |2175k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1208.74/1208.70 c 1185s| 3270k|726087 | 0 | 0.0 | 647M| 228 | - | 371 |7290 | 0 | 0 | 0 |2188k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1212.84/1212.84 c 1189s| 3280k|729976 | 0 | 0.0 | 652M| 228 | - | 371 |9234 | 0 | 0 | 0 |2203k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1218.94/1218.93 c 1195s| 3290k|731653 | 0 | 0.0 | 656M| 228 | - | 371 | 11k| 0 | 0 | 0 |2221k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1227.44/1227.43 c 1204s| 3300k|729084 | 0 | 0.0 | 658M| 228 | - | 371 | 14k| 0 | 0 | 0 |2240k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1235.74/1235.76 c 1212s| 3310k|731225 | 0 | 0.0 | 661M| 228 | - | 371 | 16k| 0 | 0 | 0 |2261k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1245.44/1245.45 c 1221s| 3320k|732894 | 0 | 0.0 | 665M| 228 | - | 371 | 19k| 0 | 0 | 0 |2282k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1257.64/1257.65 c 1234s| 3330k|733349 | 0 | 0.0 | 668M| 228 | - | 371 | 21k| 0 | 0 | 0 |2305k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1271.04/1271.07 c 1247s| 3340k|733602 | 0 | 0.0 | 671M| 228 | - | 371 | 21k| 0 | 0 | 0 |2328k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1285.64/1285.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1285.64/1285.67 c 1261s| 3350k|733490 | 0 | 0.0 | 674M| 228 | - | 371 | 24k| 0 | 0 | 0 |2352k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1300.84/1300.88 c 1276s| 3360k|733233 | 0 | 0.0 | 676M| 228 | - | 371 | 24k| 0 | 0 | 0 |2375k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1317.15/1317.10 c 1293s| 3370k|732432 | 0 | 0.0 | 677M| 228 | - | 371 | 25k| 0 | 0 | 0 |2399k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1333.26/1333.23 c 1309s| 3380k|731979 | 0 | 0.0 | 679M| 228 | - | 371 | 25k| 0 | 0 | 0 |2422k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1351.05/1351.04 c 1326s| 3390k|730751 | 0 | 0.0 | 681M| 228 | - | 371 | 27k| 0 | 0 | 0 |2446k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1370.24/1370.29 c 1345s| 3400k|729258 | 0 | 0.0 | 682M| 228 | - | 371 | 28k| 0 | 0 | 0 |2471k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1389.95/1389.91 c 1365s| 3410k|727790 | 0 | 0.0 | 682M| 228 | - | 371 | 28k| 0 | 0 | 0 |2495k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1410.16/1410.18 c 1385s| 3420k|726002 | 0 | 0.0 | 683M| 228 | - | 371 | 30k| 0 | 0 | 0 |2519k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1432.75/1432.71 c 1407s| 3430k|723742 | 0 | 0.0 | 683M| 228 | - | 371 | 31k| 0 | 0 | 0 |2545k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1456.05/1456.07 c 1431s| 3440k|721297 | 0 | 0.0 | 683M| 228 | - | 371 | 32k| 0 | 0 | 0 |2570k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1481.66/1481.66 c 1456s| 3450k|718154 | 0 | 0.0 | 683M| 228 | - | 371 | 34k| 0 | 0 | 0 |2595k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1507.85/1507.86 c 1482s| 3460k|714788 | 0 | 0.0 | 682M| 228 | - | 371 | 35k| 0 | 0 | 0 |2621k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
1517.45/1517.49 o 46
1517.45/1517.49 c *1492s| 3463k|708707 | 0 | 0.0 | 674M| 228 | - | 371 | 36k| 0 | 0 | 0 |2630k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
1523.75/1523.72 c 1498s| 3470k|706078 | 0 | 0.0 | 662M| 228 | - | 371 |4608 | 0 | 0 | 0 |2647k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
1530.76/1530.71 c 1505s| 3480k|701490 | 0 | 0.0 | 659M| 228 | - | 371 |5666 | 0 | 0 | 0 |2672k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
1539.25/1539.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1539.25/1539.21 c 1513s| 3490k|695737 | 0 | 0.0 | 655M| 228 | - | 371 |6819 | 0 | 0 | 0 |2700k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
1546.85/1546.82 c 1521s| 3500k|693469 | 0 | 0.0 | 653M| 228 | - | 371 |7156 | 0 | 0 | 0 |2723k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
1552.35/1552.31 c 1526s| 3510k|697294 | 0 | 0.0 | 659M| 228 | - | 371 | 13k| 0 | 0 | 0 |2741k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
1559.35/1559.34 c 1533s| 3520k|701164 | 0 | 0.0 | 664M| 228 | - | 371 | 16k| 0 | 0 | 0 |2758k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
1567.95/1567.90 c 1541s| 3530k|704371 | 0 | 0.0 | 669M| 228 | - | 371 | 18k| 0 | 0 | 0 |2777k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
1577.95/1577.99 c 1551s| 3540k|706850 | 0 | 0.0 | 673M| 228 | - | 371 | 19k| 0 | 0 | 0 |2797k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
1588.15/1588.15 c 1562s| 3550k|708997 | 0 | 0.0 | 676M| 228 | - | 371 | 18k| 0 | 0 | 0 |2818k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
1599.76/1599.74 c 1573s| 3560k|709857 | 0 | 0.0 | 679M| 228 | - | 371 | 19k| 0 | 0 | 0 |2841k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
1611.47/1611.49 c 1585s| 3570k|710894 | 0 | 0.0 | 682M| 228 | - | 371 | 18k| 0 | 0 | 0 |2864k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
1624.67/1624.70 c 1598s| 3580k|710356 | 0 | 0.0 | 684M| 228 | - | 371 | 19k| 0 | 0 | 0 |2889k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
1637.35/1637.31 c 1610s| 3590k|710507 | 0 | 0.0 | 687M| 228 | - | 371 | 20k| 0 | 0 | 0 |2912k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
1650.95/1650.96 c 1624s| 3600k|709775 | 0 | 0.0 | 688M| 228 | - | 371 | 20k| 0 | 0 | 0 |2937k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
1664.27/1664.29 c 1637s| 3610k|709292 | 0 | 0.0 | 690M| 228 | - | 371 | 21k| 0 | 0 | 0 |2961k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
1679.05/1679.08 c 1652s| 3620k|708113 | 0 | 0.0 | 692M| 228 | - | 371 | 22k| 0 | 0 | 0 |2986k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
1694.76/1694.74 c 1667s| 3630k|706465 | 0 | 0.0 | 693M| 228 | - | 371 | 24k| 0 | 0 | 0 |3012k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
1712.16/1712.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1712.16/1712.16 c 1685s| 3640k|704067 | 0 | 0.0 | 694M| 228 | - | 371 | 26k| 0 | 0 | 0 |3038k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
1732.96/1732.93 c 1705s| 3650k|700420 | 0 | 0.0 | 694M| 228 | - | 371 | 30k| 0 | 0 | 0 |3065k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
1755.57/1755.57 c 1728s| 3660k|696696 | 0 | 0.0 | 695M| 228 | - | 371 | 35k| 0 | 0 | 0 |3091k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
1781.17/1781.11 c 1753s| 3670k|692725 | 0 | 0.0 | 694M| 228 | - | 371 | 40k| 0 | 0 | 0 |3118k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
1800.08/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.00 c
1800.08/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.00 c Solving Time (sec) : 1772.03
1800.08/1800.00 c Solving Nodes : 3676475
1800.08/1800.00 c Primal Bound : +4.60000000000000e+01 (14 solutions)
1800.08/1800.00 c Dual Bound : +1.00000000000000e+00
1800.08/1800.00 c Gap : 4500.00 %
1800.08/1800.00 s SATISFIABLE
1800.08/1800.00 v -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
1800.08/1800.00 v -x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127
1800.08/1800.00 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1800.08/1800.00 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82
1800.08/1800.00 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57
1800.08/1800.00 v x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31
1800.08/1800.00 v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5
1800.08/1800.00 v -x4 -x3 -x2 -x1
1800.08/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.00 c Solving Time : 1772.03
1800.08/1800.00 c Original Problem :
1800.08/1800.00 c Problem name : HOME/instance-2694126-1277923633.wbo
1800.08/1800.00 c Variables : 371 (270 binary, 0 integer, 0 implicit integer, 101 continuous)
1800.08/1800.00 c Constraints : 203 initial, 203 maximal
1800.08/1800.00 c Presolved Problem :
1800.08/1800.00 c Problem name : t_HOME/instance-2694126-1277923633.wbo
1800.08/1800.00 c Variables : 371 (270 binary, 0 integer, 0 implicit integer, 101 continuous)
1800.08/1800.00 c Constraints : 202 initial, 47364 maximal
1800.08/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.00 c linear : 0.00 0 0 0 101 0 1 0 0
1800.08/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.00 c root node : - 0 - - 0 - - - -
1800.08/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.00 c indicator : 101 0 7459650 0 3078612 19682 3209167 0 0 0
1800.08/1800.00 c linear : 101 0 7751413 0 3139538 602467 33617060 0 0 0
1800.08/1800.00 c logicor : 0+ 0 2796677 0 0 115362 1517590 0 0 0
1800.08/1800.00 c bounddisjunction : 0+ 0 270710 0 0 0 6527 0 0 0
1800.08/1800.00 c countsols : 0 0 0 0 3139547 0 0 0 0 0
1800.08/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.00 c indicator : 15.09 0.00 7.73 0.00 7.36
1800.08/1800.00 c linear : 172.18 0.00 170.43 0.00 1.75
1800.08/1800.00 c logicor : 732.95 0.00 732.95 0.00 0.00
1800.08/1800.00 c bounddisjunction : 0.97 0.00 0.97 0.00 0.00
1800.08/1800.00 c countsols : 0.54 0.00 0.00 0.00 0.54
1800.08/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.00 c vbounds : 1.91 2 0 0
1800.08/1800.00 c rootredcost : 1.61 0 0 0
1800.08/1800.00 c pseudoobj : 30.80 7785637 14730 2866006
1800.08/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.00 c propagation : 48.92 732557 732065 4185407 25.4 422450 14.0 -
1800.08/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.00 c pseudo solution : 0.00 183 183 840 20.6 115 14.3 -
1800.08/1800.00 c applied globally : - - - 3079499 17.9 - - -
1800.08/1800.00 c applied locally : - - - 55659 37.1 - - -
1800.08/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.08/1800.00 c redcost : 0.00 0 0 0 0 0
1800.08/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.08/1800.00 c intobj : 0.00 0 0 0 0 0
1800.08/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.00 c gomory : 0.00 0 0 0 0 0
1800.08/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.08/1800.00 c cmir : 0.00 0 0 0 0 0
1800.08/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.08/1800.00 c clique : 0.00 0 0 0 0 0
1800.08/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.00 c mcf : 0.00 0 0 0 0 0
1800.08/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.00 c Pricers : Time Calls Vars
1800.08/1800.00 c problem variables: 0.00 0 0
1800.08/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.08/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.00 c inference : 35.78 3139536 0 0 0 0 6279072
1800.08/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.00 c random : 0.00 0 0 0 0 0 0
1800.08/1800.00 c Primal Heuristics : Time Calls Found
1800.08/1800.00 c LP solutions : 0.00 - 0
1800.08/1800.00 c pseudo solutions : 1.76 - 11
1800.08/1800.00 c oneopt : 1.00 0 0
1800.08/1800.00 c trivial : 0.00 2 2
1800.08/1800.00 c simplerounding : 0.00 0 0
1800.08/1800.00 c zirounding : 0.00 0 0
1800.08/1800.00 c rounding : 0.00 0 0
1800.08/1800.00 c shifting : 0.00 0 0
1800.08/1800.00 c intshifting : 0.00 0 0
1800.08/1800.00 c twoopt : 0.00 0 0
1800.08/1800.00 c fixandinfer : 0.00 0 0
1800.08/1800.00 c feaspump : 0.00 0 0
1800.08/1800.00 c coefdiving : 0.00 0 0
1800.08/1800.00 c pscostdiving : 0.00 0 0
1800.08/1800.00 c fracdiving : 0.00 0 0
1800.08/1800.00 c veclendiving : 0.00 0 0
1800.08/1800.00 c intdiving : 0.00 0 0
1800.08/1800.00 c actconsdiving : 0.00 0 0
1800.08/1800.00 c objpscostdiving : 0.00 0 0
1800.08/1800.00 c rootsoldiving : 0.00 0 0
1800.08/1800.00 c linesearchdiving : 0.00 0 0
1800.08/1800.00 c guideddiving : 0.00 0 0
1800.08/1800.00 c octane : 0.00 0 0
1800.08/1800.00 c rens : 0.00 0 0
1800.08/1800.00 c rins : 0.00 0 0
1800.08/1800.00 c localbranching : 0.00 0 0
1800.08/1800.00 c mutation : 0.00 0 0
1800.08/1800.00 c crossover : 0.00 0 0
1800.08/1800.00 c dins : 0.00 0 0
1800.08/1800.00 c undercover : 0.00 0 0
1800.08/1800.00 c nlp : 0.94 0 0
1800.08/1800.00 c trysol : 0.70 1 1
1800.08/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.08/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.08/1800.00 c (at root node) : - 0 0 0.00 -
1800.08/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.00 c B&B Tree :
1800.08/1800.00 c number of runs : 1
1800.08/1800.00 c nodes : 3676475
1800.08/1800.00 c nodes (total) : 3676475
1800.08/1800.00 c nodes left : 689639
1800.08/1800.00 c max depth : 228
1800.08/1800.00 c max depth (total): 228
1800.08/1800.00 c backtracks : 653765 (17.8%)
1800.08/1800.00 c delayed cutoffs : 491816
1800.08/1800.00 c repropagations : 2552591 (9935927 domain reductions, 215496 cutoffs)
1800.08/1800.00 c avg switch length: 16.19
1800.08/1800.00 c switching time : 551.17
1800.08/1800.00 c Solution :
1800.08/1800.00 c Solutions found : 14 (12 improvements)
1800.08/1800.00 c First Solution : +4.94300000000000e+03 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.08/1800.00 c Primal Bound : +4.60000000000000e+01 (in run 1, after 3463498 nodes, 1491.81 seconds, depth 74, found by <relaxation>)
1800.08/1800.00 c Dual Bound : +1.00000000000000e+00
1800.08/1800.00 c Gap : 4500.00 %
1800.08/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.08/1800.00 c Root Iterations : 0
1801.97/1801.96 c Time complete: 1802.03.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694126-1277923633/watcher-2694126-1277923633 -o /tmp/evaluation-result-2694126-1277923633/solver-2694126-1277923633 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694126-1277923633.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: 1.99 1.97 1.99 3/178 15506
/proc/meminfo: memFree=31561040/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=8248 CPUtime=0
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 1538 0 0 0 0 0 0 0 25 0 1 0 133658465 8445952 1460 4089446400 4194304 7136930 140737286934640 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/15506/statm: 2062 1460 275 719 0 1341 0
[startup+0.079082 s]
/proc/loadavg: 1.99 1.97 1.99 3/178 15506
/proc/meminfo: memFree=31561040/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=13540 CPUtime=0.07
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 3364 0 0 0 6 1 0 0 18 0 1 0 133658465 13864960 2676 4089446400 4194304 7136930 140737286934640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15506/statm: 3385 2676 390 719 0 2664 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13540
[startup+0.101065 s]
/proc/loadavg: 1.99 1.97 1.99 3/178 15506
/proc/meminfo: memFree=31561040/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=13804 CPUtime=0.09
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 3412 0 0 0 8 1 0 0 18 0 1 0 133658465 14135296 2724 4089446400 4194304 7136930 140737286934640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15506/statm: 3451 2724 390 719 0 2730 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13804
[startup+0.301028 s]
/proc/loadavg: 1.99 1.97 1.99 3/178 15506
/proc/meminfo: memFree=31561040/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=16480 CPUtime=0.29
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 4107 0 0 0 27 2 0 0 18 0 1 0 133658465 16875520 3419 4089446400 4194304 7136930 140737286934640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15506/statm: 4120 3419 390 719 0 3399 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16480
[startup+0.700949 s]
/proc/loadavg: 1.99 1.97 1.99 3/178 15506
/proc/meminfo: memFree=31561040/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=19048 CPUtime=0.69
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 4748 0 0 0 66 3 0 0 18 0 1 0 133658465 19505152 4060 4089446400 4194304 7136930 140737286934640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15506/statm: 4762 4060 390 719 0 4041 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19048
[startup+1.50077 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 15507
/proc/meminfo: memFree=31544664/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=22124 CPUtime=1.49
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 5518 0 0 0 144 5 0 0 19 0 1 0 133658465 22654976 4830 4089446400 4194304 7136930 140737286934640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15506/statm: 5531 4830 390 719 0 4810 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22124
[startup+3.10043 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 15507
/proc/meminfo: memFree=31539580/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=28932 CPUtime=3.09
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 7260 0 0 0 296 13 0 0 25 0 1 0 133658465 29626368 6572 4089446400 4194304 7136930 140737286934640 18446744073709551615 6215719 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15506/statm: 7233 6572 390 719 0 6512 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28932
[startup+6.30082 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 15507
/proc/meminfo: memFree=31530392/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=37536 CPUtime=6.29
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 9391 0 0 0 608 21 0 0 25 0 1 0 133658465 38436864 8703 4089446400 4194304 7136930 140737286934640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15506/statm: 9384 8703 390 719 0 8663 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37536
[startup+12.7005 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 15507
/proc/meminfo: memFree=31510660/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=60352 CPUtime=12.69
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 14811 0 0 0 1209 60 0 0 25 0 1 0 133658465 61800448 14123 4089446400 4194304 7136930 140737286934640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15506/statm: 15088 14123 390 719 0 14367 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 60352
[startup+25.501 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 15507
/proc/meminfo: memFree=31471896/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=93760 CPUtime=25.49
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 23421 0 0 0 2437 112 0 0 25 0 1 0 133658465 96010240 22733 4089446400 4194304 7136930 140737286934640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15506/statm: 23440 22733 390 719 0 22719 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 93760
[startup+51.1009 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 15508
/proc/meminfo: memFree=31389952/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=179156 CPUtime=51.09
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 44729 0 0 0 4846 263 0 0 25 0 1 0 133658465 183455744 44041 4089446400 4194304 7136930 140737286934640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15506/statm: 44789 44041 390 719 0 44068 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 179156
[startup+102.307 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 15509
/proc/meminfo: memFree=31059432/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=514140 CPUtime=102.3
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 126406 0 0 0 9448 782 0 0 25 0 1 0 133658465 526479360 125718 4089446400 4194304 7136930 140737286934640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15506/statm: 128535 125718 390 719 0 127814 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 514140
[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 15511
/proc/meminfo: memFree=30903012/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=662980 CPUtime=162.29
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 165340 0 0 0 15139 1090 0 0 25 0 1 0 133658465 678891520 164652 4089446400 4194304 7136930 140737286934640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15506/statm: 165745 164652 391 719 0 165024 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 662980
[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 15513
/proc/meminfo: memFree=30861552/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=704712 CPUtime=222.3
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 175696 0 0 0 21044 1186 0 0 25 0 1 0 133658465 721625088 175008 4089446400 4194304 7136930 140737286934640 18446744073709551615 4220987 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15506/statm: 176178 175008 393 719 0 175457 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 704712
[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 15514
/proc/meminfo: memFree=30828148/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=738880 CPUtime=282.29
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 184053 0 0 0 26982 1247 0 0 25 0 1 0 133658465 756613120 183365 4089446400 4194304 7136930 140737286934640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15506/statm: 184720 183365 393 719 0 183999 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 738880
[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 15516
/proc/meminfo: memFree=30798976/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=769112 CPUtime=342.3
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 191408 0 0 0 32926 1304 0 0 25 0 1 0 133658465 787570688 190720 4089446400 4194304 7136930 140737286934640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15506/statm: 192278 190720 393 719 0 191557 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 769112
[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 15517
/proc/meminfo: memFree=30776116/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=791272 CPUtime=402.3
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 196886 0 0 0 38878 1352 0 0 25 0 1 0 133658465 810262528 196198 4089446400 4194304 7136930 140737286934640 18446744073709551615 4999678 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15506/statm: 197818 196198 393 719 0 197097 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 791272
[startup+462.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 15519
/proc/meminfo: memFree=30760088/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=807028 CPUtime=462.3
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 200804 0 0 0 44826 1404 0 0 25 0 1 0 133658465 826396672 200116 4089446400 4194304 7136930 140737286934640 18446744073709551615 5953120 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15506/statm: 201757 200116 393 719 0 201036 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 807028
[startup+522.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 15521
/proc/meminfo: memFree=30728796/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=840364 CPUtime=522.31
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 209004 0 0 0 50722 1509 0 0 25 0 1 0 133658465 860532736 208316 4089446400 4194304 7136930 140737286934640 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15506/statm: 210091 208316 393 719 0 209370 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 840364
[startup+582.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 15522
/proc/meminfo: memFree=30680760/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=887184 CPUtime=582.31
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 220581 0 0 0 56606 1625 0 0 25 0 1 0 133658465 908476416 219893 4089446400 4194304 7136930 140737286934640 18446744073709551615 4221327 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15506/statm: 221796 219893 393 719 0 221075 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 887184
[startup+642.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 15524
/proc/meminfo: memFree=30658148/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=910012 CPUtime=642.31
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 226178 0 0 0 62513 1718 0 0 25 0 1 0 133658465 931852288 225490 4089446400 4194304 7136930 140737286934640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15506/statm: 227503 225490 393 719 0 226782 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 910012
[startup+702.301 s]
################
# More data... #
################
[startup+1062.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 15544
/proc/meminfo: memFree=30586132/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=982340 CPUtime=1062.33
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 243956 0 0 0 104166 2067 0 0 25 0 1 0 133658465 1005916160 243268 4089446400 4194304 7136930 140737286934640 18446744073709551615 4209174 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15506/statm: 245585 243268 393 719 0 244864 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 982340
[startup+1122.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 15546
/proc/meminfo: memFree=30567728/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=1001112 CPUtime=1122.34
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 248570 0 0 0 110090 2144 0 0 25 0 1 0 133658465 1025138688 247882 4089446400 4194304 7136930 140737286934640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15506/statm: 250278 247882 393 719 0 249557 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 1001112
[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 15547
/proc/meminfo: memFree=30539908/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=1031332 CPUtime=1182.34
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 256205 0 0 0 115957 2277 0 0 25 0 1 0 133658465 1056083968 255517 4089446400 4194304 7136930 140737286934640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15506/statm: 257833 255517 393 719 0 257112 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 1031332
[startup+1242.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/197 15594
/proc/meminfo: memFree=30319780/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=1056960 CPUtime=1242.33
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 262538 0 0 0 121835 2398 0 0 25 0 1 0 133658465 1082327040 261850 4089446400 4194304 7136930 140737286934640 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15506/statm: 264240 261850 393 719 0 263519 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1056960
[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/197 15595
/proc/meminfo: memFree=30286384/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=1065580 CPUtime=1302.35
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 264785 0 0 0 127790 2445 0 0 25 0 1 0 133658465 1091153920 264097 4089446400 4194304 7136930 140737286934640 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15506/statm: 266395 264097 393 719 0 265674 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 1065580
[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/197 15597
/proc/meminfo: memFree=30275808/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=1068492 CPUtime=1362.34
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 265531 0 0 0 133749 2485 0 0 25 0 1 0 133658465 1094135808 264843 4089446400 4194304 7136930 140737286934640 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15506/statm: 267123 264843 393 719 0 266402 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 1068492
[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.99 3/197 15599
/proc/meminfo: memFree=30263748/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=1071092 CPUtime=1422.35
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 266132 0 0 0 139714 2521 0 0 25 0 1 0 133658465 1096798208 265444 4089446400 4194304 7136930 140737286934640 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15506/statm: 267773 265444 393 719 0 267052 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 1071092
[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/197 15600
/proc/meminfo: memFree=30244992/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=1073516 CPUtime=1482.35
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 266760 0 0 0 145682 2553 0 0 25 0 1 0 133658465 1099280384 266072 4089446400 4194304 7136930 140737286934640 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15506/statm: 268379 266072 393 719 0 267658 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 1073516
[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/197 15602
/proc/meminfo: memFree=30236280/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=1074904 CPUtime=1542.35
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 267042 0 0 0 151623 2612 0 0 25 0 1 0 133658465 1100701696 266354 4089446400 4194304 7136930 140737286934640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15506/statm: 268726 266354 393 719 0 268005 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 1074904
[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/197 15603
/proc/meminfo: memFree=30228044/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=1081052 CPUtime=1602.35
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 268593 0 0 0 157557 2678 0 0 25 0 1 0 133658465 1106997248 267905 4089446400 4194304 7136930 140737286934640 18446744073709551615 4208878 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15506/statm: 270263 267905 393 719 0 269542 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 1081052
[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/197 15605
/proc/meminfo: memFree=30219684/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=1084124 CPUtime=1662.36
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 269382 0 0 0 163511 2725 0 0 25 0 1 0 133658465 1110142976 268694 4089446400 4194304 7136930 140737286934640 18446744073709551615 4210441 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15506/statm: 271031 268694 393 719 0 270310 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 1084124
[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/197 15607
/proc/meminfo: memFree=30204752/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=1091796 CPUtime=1722.36
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 271315 0 0 0 169477 2759 0 0 25 0 1 0 133658465 1117999104 270627 4089446400 4194304 7136930 140737286934640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15506/statm: 272949 270627 393 719 0 272228 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 1091796
[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/197 15608
/proc/meminfo: memFree=30198028/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=1096152 CPUtime=1782.36
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 272307 0 0 0 175441 2795 0 0 25 0 1 0 133658465 1122459648 271619 4089446400 4194304 7136930 140737286934640 18446744073709551615 4210013 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15506/statm: 274038 271619 393 719 0 273317 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 1096152
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.99 1.97 1.99 3/197 15609
/proc/meminfo: memFree=30197520/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=1096152 CPUtime=1800.08
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 272311 0 0 0 177203 2805 0 0 25 0 1 0 133658465 1122459648 271623 4089446400 4194304 7136930 140737286934640 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15506/statm: 274038 271623 393 719 0 273317 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1096152
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 1.99 1.97 1.99 3/198 15610
/proc/meminfo: memFree=30197512/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=1096152 CPUtime=1800.67
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 272317 0 0 0 177262 2805 0 0 25 0 1 0 133658465 1122459648 271629 4089446400 4194304 7136930 140737286934640 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/15506/statm: 274038 271629 399 719 0 273317 0
Current children cumulated CPU time (s) 1800.67
Current children cumulated vsize (KiB) 1096152
[startup+1801.4 s]
/proc/loadavg: 1.99 1.97 1.99 3/198 15610
/proc/meminfo: memFree=30197512/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=1095128 CPUtime=1801.47
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 272317 0 0 0 177342 2805 0 0 25 0 1 0 133658465 1121411072 271374 4089446400 4194304 7136930 140737286934640 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/15506/statm: 273782 271374 399 719 0 273061 0
Current children cumulated CPU time (s) 1801.47
Current children cumulated vsize (KiB) 1095128
[startup+1801.81 s]
/proc/loadavg: 1.99 1.97 1.99 3/198 15610
/proc/meminfo: memFree=30200364/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=1081076 CPUtime=1801.88
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 272317 0 0 0 177383 2805 0 0 25 0 1 0 133658465 1107021824 267861 4089446400 4194304 7136930 140737286934640 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/15506/statm: 270269 267861 399 719 0 269548 0
Current children cumulated CPU time (s) 1801.88
Current children cumulated vsize (KiB) 1081076
[startup+1801.9 s]
/proc/loadavg: 1.99 1.97 1.99 3/198 15610
/proc/meminfo: memFree=30200364/32951124 swapFree=67111528/67111528
[pid=15506] ppid=15504 vsize=808888 CPUtime=1801.97
/proc/15506/stat : 15506 (pbscip.linux.x8) R 15504 15506 13645 0 -1 4202496 272317 0 0 0 177391 2806 0 0 25 0 1 0 133658465 828301312 199814 4089446400 4194304 7136930 140737286934640 18446744073709551615 6166194 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/15506/statm: 202222 199814 399 719 0 201501 0
Current children cumulated CPU time (s) 1801.97
Current children cumulated vsize (KiB) 808888
Child status: 0
Real time (s): 1801.97
CPU time (s): 1802.04
CPU user time (s): 1773.95
CPU system time (s): 28.0927
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 1096152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1773.95
system time used= 28.0927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272324
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= 3
involuntary context switches= 1933
runsolver used 3.13352 second user time and 6.72898 second system time
The end
Begin job on node143 at 2010-06-30 20:47:13
IDJOB=2694126
IDBENCH=79211
IDSOLVER=1206
FILE ID=node143/2694126-1277923633
PBS_JOBID= 11197283
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/wnqueen/normalized-t2001.13queen13.1110969577--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-2694126-1277923633/watcher-2694126-1277923633 -o /tmp/evaluation-result-2694126-1277923633/solver-2694126-1277923633 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694126-1277923633.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d7224815986b77e3e6ab0ebb98086e1f
RANDOM SEED=1405527033
node143.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.848
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.69
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.848
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.07
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.848
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.848
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.77
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.848
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 : 5285.38
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.848
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.848
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31561568 kB
Buffers: 208512 kB
Cached: 968420 kB
SwapCached: 0 kB
Active: 483332 kB
Inactive: 763604 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31561568 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3260 kB
Writeback: 0 kB
AnonPages: 69852 kB
Mapped: 15652 kB
Slab: 79980 kB
PageTables: 4676 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 213088 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 node143 at 2010-06-30 21:17:15