0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705742-1278580125.wbo>
0.00/0.01 c original problem has 1900 variables (1050 bin, 0 int, 850 impl, 0 cont) and 1801 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 0 clqs
0.00/0.03 c (round 2) 100 del vars, 101 del conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 0 clqs
0.00/0.05 c (0.0s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.05 c presolving (3 rounds):
0.00/0.05 c 100 deleted vars, 101 deleted constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 1900 implications, 0 cliques
0.00/0.05 c presolved problem has 1800 variables (950 bin, 0 int, 850 impl, 0 cont) and 1700 constraints
0.00/0.05 c 850 constraints of type <linear>
0.00/0.05 c 850 constraints of type <indicator>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.03
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 1.2.1.3
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1789.99
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 3420
0.00/0.05 c
0.00/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.05 c # [type: int, range: [1,2], default: 1]
0.00/0.05 c timing/clocktype = 2
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/indicator/addCouplingCons = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.05/0.05 o 420925
0.05/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.05/0.05 c t 0.0s| 1 | 0 | 0 | - |6285k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | -- | 4.209250e+05 | Inf
0.05/0.06 c 0.0s| 1 | 0 | 0 | - |6682k| 0 | 0 |1800 |1700 |1800 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 42 | - |6749k| 0 | 4 |1800 |1700 |1800 | 72 | 72 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 121 | - |6774k| 0 | 26 |1800 |1700 |1800 | 110 | 110 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 170 | - |6815k| 0 | 71 |1800 |1700 |1800 | 138 | 138 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 209 | - |7189k| 0 | 77 |1800 |1700 |1800 | 156 | 156 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.17 c 0.2s| 1 | 0 | 237 | - |7696k| 0 | 68 |1800 |1700 |1800 | 162 | 162 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.20 c 0.2s| 1 | 0 | 259 | - |7891k| 0 | 65 |1800 |1700 |1800 | 169 | 169 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.19/0.27 c 0.3s| 1 | 2 | 259 | - |7916k| 0 | 65 |1800 |1700 |1800 | 169 | 169 | 0 | 33 | 0.000000e+00 | 4.209250e+05 | Inf
8.09/8.15 c 8.1s| 10000 | 9997 | 7966 | 0.8 | 20M| 469 | 0 |1800 |1706 |1800 | 212 |3063 | 6 | 670 | 0.000000e+00 | 4.209250e+05 | Inf
14.80/14.81 c 14.8s| 20000 | 19991 | 12487 | 0.6 | 30M| 469 | 0 |1800 |1709 |1800 | 226 |4523 | 9 | 706 | 0.000000e+00 | 4.209250e+05 | Inf
21.49/21.52 c 21.5s| 30000 | 29983 | 17138 | 0.6 | 39M| 469 | 0 |1800 |1714 |1800 | 242 |5658 | 14 | 720 | 0.000000e+00 | 4.209250e+05 | Inf
28.09/28.16 c 28.2s| 40000 | 39981 | 21449 | 0.5 | 49M| 469 | 0 |1800 |1715 |1800 | 217 |6637 | 15 | 723 | 0.000000e+00 | 4.209250e+05 | Inf
34.69/34.72 c 34.7s| 50000 | 49977 | 24754 | 0.5 | 58M| 469 | 0 |1800 |1718 |1800 | 216 |7394 | 18 | 725 | 0.000000e+00 | 4.209250e+05 | Inf
41.09/41.18 c 41.2s| 60000 | 59977 | 26951 | 0.4 | 68M| 469 | 0 |1800 |1718 |1800 | 217 |7853 | 18 | 725 | 0.000000e+00 | 4.209250e+05 | Inf
47.59/47.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.59/47.69 c 47.7s| 70000 | 69977 | 29604 | 0.4 | 77M| 469 | 0 |1800 |1718 |1800 | 210 |8434 | 18 | 729 | 0.000000e+00 | 4.209250e+05 | Inf
54.09/54.19 c 54.2s| 80000 | 79975 | 32807 | 0.4 | 87M| 469 | 0 |1800 |1719 |1800 | 226 |9196 | 19 | 785 | 0.000000e+00 | 4.209250e+05 | Inf
60.60/60.61 c 60.6s| 90000 | 89973 | 36154 | 0.4 | 97M| 469 | 0 |1800 |1720 |1800 | 234 | 10k| 20 | 819 | 0.000000e+00 | 4.209250e+05 | Inf
67.09/67.11 c 67.1s|100000 | 99971 | 39546 | 0.4 | 106M| 469 | 0 |1800 |1721 |1800 | 220 | 10k| 21 | 876 | 0.000000e+00 | 4.209250e+05 | Inf
73.50/73.55 c 73.5s|110000 |109971 | 43094 | 0.4 | 116M| 469 | 0 |1800 |1721 |1800 | 224 | 11k| 21 | 914 | 0.000000e+00 | 4.209250e+05 | Inf
79.90/79.95 c 79.9s|120000 |119971 | 46038 | 0.4 | 125M| 469 | 0 |1800 |1721 |1800 | 216 | 12k| 21 | 942 | 0.000000e+00 | 4.209250e+05 | Inf
86.29/86.37 c 86.4s|130000 |129971 | 49399 | 0.4 | 135M| 469 | 0 |1800 |1721 |1800 | 227 | 13k| 21 | 982 | 0.000000e+00 | 4.209250e+05 | Inf
92.80/92.84 c 92.8s|140000 |139971 | 52537 | 0.4 | 145M| 469 | 0 |1800 |1721 |1800 | 214 | 14k| 21 |1033 | 0.000000e+00 | 4.209250e+05 | Inf
99.20/99.24 c 99.2s|150000 |149971 | 55654 | 0.4 | 154M| 469 | 0 |1800 |1721 |1800 | 220 | 15k| 21 |1065 | 0.000000e+00 | 4.209250e+05 | Inf
105.60/105.67 c 106s|160000 |159971 | 58662 | 0.4 | 164M| 469 | 0 |1800 |1721 |1800 | 225 | 16k| 21 |1107 | 0.000000e+00 | 4.209250e+05 | Inf
112.10/112.12 c 112s|170000 |169971 | 61723 | 0.4 | 173M| 469 | 0 |1800 |1721 |1800 | 229 | 16k| 21 |1148 | 0.000000e+00 | 4.209250e+05 | Inf
118.60/118.70 c 119s|180000 |179971 | 65431 | 0.4 | 183M| 469 | 0 |1800 |1721 |1800 | 218 | 17k| 21 |1335 | 0.000000e+00 | 4.209250e+05 | Inf
125.10/125.16 c 125s|190000 |189971 | 68458 | 0.4 | 192M| 469 | 0 |1800 |1721 |1800 | 214 | 18k| 21 |1355 | 0.000000e+00 | 4.209250e+05 | Inf
131.50/131.58 c 132s|200000 |199971 | 71641 | 0.4 | 202M| 469 | 0 |1800 |1721 |1800 | 200 | 19k| 21 |1381 | 0.000000e+00 | 4.209250e+05 | Inf
137.89/137.95 c 138s|210000 |209971 | 74324 | 0.4 | 212M| 469 | 0 |1800 |1721 |1800 | 214 | 20k| 21 |1398 | 0.000000e+00 | 4.209250e+05 | Inf
144.30/144.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
144.30/144.31 c 144s|220000 |219969 | 76861 | 0.3 | 221M| 469 | 0 |1800 |1722 |1800 | 199 | 20k| 22 |1431 | 0.000000e+00 | 4.209250e+05 | Inf
150.60/150.66 c 151s|230000 |229969 | 79352 | 0.3 | 231M| 469 | 0 |1800 |1722 |1800 | 205 | 21k| 22 |1469 | 0.000000e+00 | 4.209250e+05 | Inf
156.90/156.93 c 157s|240000 |239969 | 81446 | 0.3 | 240M| 469 | 0 |1800 |1721 |1800 | 191 | 21k| 22 |1517 | 0.000000e+00 | 4.209250e+05 | Inf
163.39/163.47 c 163s|250000 |249969 | 85113 | 0.3 | 250M| 469 | 0 |1800 |1721 |1800 | 198 | 23k| 22 |1561 | 0.000000e+00 | 4.209250e+05 | Inf
170.00/170.02 c 170s|260000 |259969 | 88684 | 0.3 | 259M| 469 | 0 |1800 |1721 |1800 | 212 | 24k| 22 |1620 | 0.000000e+00 | 4.209250e+05 | Inf
176.49/176.57 c 177s|270000 |269967 | 92170 | 0.3 | 269M| 469 | 0 |1800 |1722 |1800 | 197 | 25k| 23 |1682 | 0.000000e+00 | 4.209250e+05 | Inf
182.89/182.99 c 183s|280000 |279967 | 95403 | 0.3 | 279M| 469 | 0 |1800 |1722 |1800 | 214 | 26k| 23 |1732 | 0.000000e+00 | 4.209250e+05 | Inf
189.30/189.39 c 189s|290000 |289967 | 98233 | 0.3 | 288M| 469 | 0 |1800 |1722 |1800 | 227 | 27k| 23 |1754 | 0.000000e+00 | 4.209250e+05 | Inf
195.90/195.94 c 196s|300000 |299967 |101977 | 0.3 | 298M| 469 | 0 |1800 |1722 |1800 | 195 | 28k| 23 |1793 | 0.000000e+00 | 4.209250e+05 | Inf
202.31/202.32 c 202s|310000 |309965 |104475 | 0.3 | 307M| 523 | 0 |1800 |1722 |1800 | 213 | 28k| 24 |1805 | 0.000000e+00 | 4.209250e+05 | Inf
208.60/208.64 c 209s|320000 |319965 |107544 | 0.3 | 317M| 525 | 0 |1800 |1721 |1800 | 222 | 29k| 24 |1850 | 0.000000e+00 | 4.209250e+05 | Inf
214.90/214.99 c 215s|330000 |329963 |110350 | 0.3 | 326M| 525 | 0 |1800 |1721 |1800 | 206 | 30k| 25 |1903 | 0.000000e+00 | 4.209250e+05 | Inf
221.30/221.31 c 221s|340000 |339963 |112913 | 0.3 | 336M| 525 | 0 |1800 |1719 |1800 | 214 | 31k| 25 |1903 | 0.000000e+00 | 4.209250e+05 | Inf
227.50/227.59 c 228s|350000 |349963 |115259 | 0.3 | 346M| 525 | 0 |1800 |1719 |1800 | 206 | 31k| 25 |1934 | 0.000000e+00 | 4.209250e+05 | Inf
233.80/233.89 c 234s|360000 |359963 |117675 | 0.3 | 355M| 525 | 0 |1800 |1718 |1800 | 220 | 32k| 25 |1938 | 0.000000e+00 | 4.209250e+05 | Inf
240.20/240.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
240.20/240.25 c 240s|370000 |369963 |120404 | 0.3 | 365M| 525 | 0 |1800 |1718 |1800 | 198 | 33k| 25 |1971 | 0.000000e+00 | 4.209250e+05 | Inf
246.50/246.58 c 247s|380000 |379963 |122754 | 0.3 | 374M| 525 | 0 |1800 |1718 |1800 | 205 | 33k| 25 |1984 | 0.000000e+00 | 4.209250e+05 | Inf
252.79/252.81 c 253s|390000 |389963 |125034 | 0.3 | 384M| 525 | 0 |1800 |1718 |1800 | 208 | 34k| 25 |1998 | 0.000000e+00 | 4.209250e+05 | Inf
259.09/259.12 c 259s|400000 |399963 |127468 | 0.3 | 393M| 525 | 0 |1800 |1716 |1800 | 227 | 35k| 25 |2010 | 0.000000e+00 | 4.209250e+05 | Inf
265.40/265.45 c 265s|410000 |409961 |130270 | 0.3 | 403M| 525 | 0 |1800 |1718 |1800 | 213 | 35k| 27 |2032 | 0.000000e+00 | 4.209250e+05 | Inf
271.70/271.75 c 272s|420000 |419961 |132889 | 0.3 | 413M| 525 | 0 |1800 |1718 |1800 | 219 | 36k| 27 |2054 | 0.000000e+00 | 4.209250e+05 | Inf
277.90/277.98 c 278s|430000 |429961 |134938 | 0.3 | 422M| 525 | 0 |1800 |1718 |1800 | 204 | 36k| 27 |2081 | 0.000000e+00 | 4.209250e+05 | Inf
284.20/284.22 c 284s|440000 |439961 |136984 | 0.3 | 432M| 525 | 0 |1800 |1718 |1800 | 209 | 37k| 27 |2102 | 0.000000e+00 | 4.209250e+05 | Inf
290.40/290.45 c 290s|450000 |449961 |139110 | 0.3 | 441M| 525 | 0 |1800 |1716 |1800 | 209 | 37k| 27 |2126 | 0.000000e+00 | 4.209250e+05 | Inf
296.70/296.70 c 297s|460000 |459961 |141099 | 0.3 | 451M| 525 | 0 |1800 |1716 |1800 | 214 | 38k| 27 |2130 | 0.000000e+00 | 4.209250e+05 | Inf
302.90/302.96 c 303s|470000 |469961 |143181 | 0.3 | 460M| 525 | 0 |1800 |1716 |1800 | 204 | 38k| 27 |2150 | 0.000000e+00 | 4.209250e+05 | Inf
309.11/309.18 c 309s|480000 |479961 |145294 | 0.3 | 470M| 525 | 0 |1800 |1716 |1800 | 209 | 39k| 27 |2165 | 0.000000e+00 | 4.209250e+05 | Inf
315.40/315.41 c 315s|490000 |489961 |147389 | 0.3 | 479M| 525 | 0 |1800 |1716 |1800 | 212 | 39k| 27 |2170 | 0.000000e+00 | 4.209250e+05 | Inf
321.60/321.64 c 322s|500000 |499961 |149534 | 0.3 | 489M| 525 | 0 |1800 |1716 |1800 | 205 | 40k| 27 |2217 | 0.000000e+00 | 4.209250e+05 | Inf
327.81/327.89 c 328s|510000 |509961 |151820 | 0.3 | 499M| 525 | 0 |1800 |1716 |1800 | 195 | 40k| 27 |2260 | 0.000000e+00 | 4.209250e+05 | Inf
334.00/334.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
334.00/334.03 c 334s|520000 |519961 |153709 | 0.3 | 508M| 525 | 0 |1800 |1716 |1800 | 231 | 41k| 27 |2274 | 0.000000e+00 | 4.209250e+05 | Inf
340.30/340.34 c 340s|530000 |529961 |156664 | 0.3 | 518M| 525 | 0 |1800 |1715 |1800 | 216 | 42k| 27 |2343 | 0.000000e+00 | 4.209250e+05 | Inf
346.60/346.68 c 347s|540000 |539961 |160221 | 0.3 | 527M| 525 | 0 |1800 |1714 |1800 | 222 | 43k| 27 |2431 | 0.000000e+00 | 4.209250e+05 | Inf
353.11/353.13 c 353s|550000 |549961 |163861 | 0.3 | 537M| 525 | 0 |1800 |1712 |1800 | 225 | 44k| 27 |2435 | 0.000000e+00 | 4.209250e+05 | Inf
359.40/359.43 c 359s|560000 |559961 |166968 | 0.3 | 547M| 531 | 0 |1800 |1710 |1800 | 198 | 45k| 27 |2477 | 0.000000e+00 | 4.209250e+05 | Inf
365.90/365.93 c 366s|570000 |569961 |171349 | 0.3 | 556M| 531 | 0 |1800 |1709 |1800 | 226 | 46k| 27 |2492 | 0.000000e+00 | 4.209250e+05 | Inf
372.30/372.30 c 372s|580000 |579959 |174555 | 0.3 | 566M| 531 | 0 |1800 |1710 |1800 | 203 | 47k| 28 |2520 | 0.000000e+00 | 4.209250e+05 | Inf
378.60/378.63 c 379s|590000 |589959 |177199 | 0.3 | 576M| 531 | 0 |1800 |1709 |1800 | 195 | 48k| 28 |2559 | 0.000000e+00 | 4.209250e+05 | Inf
384.80/384.87 c 385s|600000 |599959 |179808 | 0.3 | 585M| 531 | 0 |1800 |1709 |1800 | 227 | 49k| 28 |2567 | 0.000000e+00 | 4.209250e+05 | Inf
391.10/391.11 c 391s|610000 |609959 |182286 | 0.3 | 595M| 531 | 0 |1800 |1709 |1800 | 193 | 49k| 28 |2577 | 0.000000e+00 | 4.209250e+05 | Inf
397.30/397.31 c 397s|620000 |619959 |184450 | 0.3 | 604M| 531 | 0 |1800 |1708 |1800 | 205 | 50k| 28 |2590 | 0.000000e+00 | 4.209250e+05 | Inf
403.61/403.64 c 404s|630000 |629959 |187370 | 0.3 | 614M| 531 | 0 |1800 |1708 |1800 | 216 | 51k| 28 |2599 | 0.000000e+00 | 4.209250e+05 | Inf
409.91/409.94 c 410s|640000 |639957 |190594 | 0.3 | 624M| 531 | 0 |1800 |1707 |1800 | 216 | 52k| 28 |2638 | 0.000000e+00 | 4.209250e+05 | Inf
416.21/416.28 c 416s|650000 |649955 |193960 | 0.3 | 633M| 531 | 0 |1800 |1708 |1800 | 197 | 53k| 29 |2671 | 0.000000e+00 | 4.209250e+05 | Inf
422.51/422.52 c 423s|660000 |659955 |196497 | 0.3 | 643M| 531 | 0 |1800 |1708 |1800 | 197 | 54k| 29 |2686 | 0.000000e+00 | 4.209250e+05 | Inf
428.70/428.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
428.70/428.70 c 429s|670000 |669955 |198492 | 0.3 | 652M| 531 | 0 |1800 |1707 |1800 | 182 | 54k| 29 |2709 | 0.000000e+00 | 4.209250e+05 | Inf
434.80/434.87 c 435s|680000 |679955 |200154 | 0.3 | 662M| 531 | 0 |1800 |1707 |1800 | 213 | 55k| 29 |2714 | 0.000000e+00 | 4.209250e+05 | Inf
441.11/441.15 c 441s|690000 |689951 |203352 | 0.3 | 671M| 531 | 0 |1800 |1709 |1800 | 202 | 56k| 31 |2739 | 0.000000e+00 | 4.209250e+05 | Inf
447.41/447.44 c 447s|700000 |699951 |206393 | 0.3 | 681M| 531 | 0 |1800 |1709 |1800 | 223 | 57k| 31 |2769 | 0.000000e+00 | 4.209250e+05 | Inf
453.60/453.60 c 454s|710000 |709951 |208306 | 0.3 | 690M| 531 | 0 |1800 |1709 |1800 | 202 | 57k| 31 |2770 | 0.000000e+00 | 4.209250e+05 | Inf
459.71/459.74 c 460s|720000 |719951 |209948 | 0.3 | 700M| 531 | 0 |1800 |1707 |1800 | 208 | 58k| 31 |2775 | 0.000000e+00 | 4.209250e+05 | Inf
465.90/465.95 c 466s|730000 |729951 |212239 | 0.3 | 710M| 531 | 0 |1800 |1707 |1800 | 220 | 58k| 31 |2812 | 0.000000e+00 | 4.209250e+05 | Inf
472.11/472.14 c 472s|740000 |739951 |214018 | 0.3 | 719M| 531 | 0 |1800 |1707 |1800 | 216 | 59k| 31 |2815 | 0.000000e+00 | 4.209250e+05 | Inf
478.20/478.26 c 478s|750000 |749951 |215489 | 0.3 | 729M| 531 | 0 |1800 |1707 |1800 | 224 | 59k| 31 |2820 | 0.000000e+00 | 4.209250e+05 | Inf
484.41/484.42 c 484s|760000 |759951 |217295 | 0.3 | 738M| 531 | 0 |1800 |1707 |1800 | 195 | 60k| 31 |2822 | 0.000000e+00 | 4.209250e+05 | Inf
490.51/490.54 c 491s|770000 |769951 |218780 | 0.3 | 748M| 531 | 0 |1800 |1706 |1800 | 218 | 60k| 31 |2831 | 0.000000e+00 | 4.209250e+05 | Inf
496.60/496.68 c 497s|780000 |779951 |220230 | 0.3 | 758M| 531 | 0 |1800 |1706 |1800 | 206 | 61k| 31 |2856 | 0.000000e+00 | 4.209250e+05 | Inf
502.90/502.98 c 503s|790000 |789951 |223132 | 0.3 | 767M| 531 | 0 |1800 |1706 |1800 | 205 | 62k| 31 |2871 | 0.000000e+00 | 4.209250e+05 | Inf
509.10/509.16 c 509s|800000 |799951 |225255 | 0.3 | 777M| 531 | 0 |1800 |1706 |1800 | 212 | 62k| 31 |2887 | 0.000000e+00 | 4.209250e+05 | Inf
515.31/515.36 c 515s|810000 |809951 |227283 | 0.3 | 786M| 531 | 0 |1800 |1706 |1800 | 216 | 63k| 31 |2889 | 0.000000e+00 | 4.209250e+05 | Inf
521.51/521.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
521.51/521.55 c 522s|820000 |819951 |229193 | 0.3 | 796M| 531 | 0 |1800 |1706 |1800 | 220 | 64k| 31 |2902 | 0.000000e+00 | 4.209250e+05 | Inf
527.70/527.75 c 528s|830000 |829951 |231457 | 0.3 | 805M| 531 | 0 |1800 |1706 |1800 | 206 | 64k| 31 |2910 | 0.000000e+00 | 4.209250e+05 | Inf
533.91/533.97 c 534s|840000 |839951 |233813 | 0.3 | 815M| 531 | 0 |1800 |1706 |1800 | 213 | 65k| 31 |2913 | 0.000000e+00 | 4.209250e+05 | Inf
540.11/540.19 c 540s|850000 |849951 |236019 | 0.3 | 825M| 531 | 0 |1800 |1706 |1800 | 210 | 65k| 31 |2933 | 0.000000e+00 | 4.209250e+05 | Inf
546.31/546.34 c 546s|860000 |859951 |237980 | 0.3 | 834M| 531 | 0 |1800 |1706 |1800 | 200 | 66k| 31 |2939 | 0.000000e+00 | 4.209250e+05 | Inf
552.50/552.55 c 553s|870000 |869951 |240139 | 0.3 | 844M| 531 | 0 |1800 |1706 |1800 | 220 | 66k| 31 |2940 | 0.000000e+00 | 4.209250e+05 | Inf
558.61/558.70 c 559s|880000 |879949 |242044 | 0.3 | 853M| 531 | 0 |1800 |1706 |1800 | 201 | 67k| 31 |2951 | 0.000000e+00 | 4.209250e+05 | Inf
564.80/564.85 c 565s|890000 |889949 |244153 | 0.3 | 863M| 531 | 0 |1800 |1706 |1800 | 214 | 67k| 31 |2955 | 0.000000e+00 | 4.209250e+05 | Inf
571.01/571.01 c 571s|900000 |899949 |246059 | 0.3 | 872M| 537 | 0 |1800 |1706 |1800 | 202 | 67k| 31 |2959 | 0.000000e+00 | 4.209250e+05 | Inf
577.11/577.18 c 577s|910000 |909949 |248360 | 0.3 | 882M| 537 | 0 |1800 |1706 |1800 | 199 | 68k| 31 |2969 | 0.000000e+00 | 4.209250e+05 | Inf
583.31/583.36 c 583s|920000 |919949 |250682 | 0.3 | 892M| 537 | 0 |1800 |1706 |1800 | 221 | 68k| 31 |2975 | 0.000000e+00 | 4.209250e+05 | Inf
589.52/589.55 c 590s|930000 |929949 |253035 | 0.3 | 901M| 537 | 0 |1800 |1706 |1800 | 201 | 69k| 31 |2996 | 0.000000e+00 | 4.209250e+05 | Inf
595.81/595.82 c 596s|940000 |939947 |255656 | 0.3 | 911M| 537 | 0 |1800 |1707 |1800 | 217 | 69k| 32 |3002 | 0.000000e+00 | 4.209250e+05 | Inf
601.91/601.98 c 602s|950000 |949947 |257818 | 0.3 | 920M| 537 | 0 |1800 |1707 |1800 | 206 | 70k| 32 |3019 | 0.000000e+00 | 4.209250e+05 | Inf
608.11/608.15 c 608s|960000 |959945 |259642 | 0.3 | 930M| 537 | 0 |1800 |1708 |1800 | 214 | 70k| 33 |3019 | 0.000000e+00 | 4.209250e+05 | Inf
614.11/614.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
614.11/614.19 c 614s|970000 |969941 |261316 | 0.3 | 940M| 537 | 0 |1800 |1709 |1800 | 193 | 71k| 34 |3028 | 0.000000e+00 | 4.209250e+05 | Inf
620.21/620.28 c 620s|980000 |979941 |262351 | 0.3 | 949M| 537 | 0 |1800 |1709 |1800 | 220 | 71k| 34 |3028 | 0.000000e+00 | 4.209250e+05 | Inf
626.31/626.38 c 626s|990000 |989941 |264140 | 0.3 | 959M| 537 | 0 |1800 |1709 |1800 | 204 | 72k| 34 |3064 | 0.000000e+00 | 4.209250e+05 | Inf
632.42/632.45 c 632s| 1000k|999941 |265718 | 0.3 | 968M| 537 | 0 |1800 |1709 |1800 | 219 | 72k| 34 |3069 | 0.000000e+00 | 4.209250e+05 | Inf
638.51/638.51 c 638s| 1010k| 1009k|267113 | 0.3 | 978M| 537 | 0 |1800 |1708 |1800 | 189 | 72k| 34 |3079 | 0.000000e+00 | 4.209250e+05 | Inf
644.51/644.58 c 645s| 1020k| 1019k|268775 | 0.3 | 987M| 537 | 0 |1800 |1708 |1800 | 195 | 73k| 34 |3088 | 0.000000e+00 | 4.209250e+05 | Inf
650.71/650.70 c 651s| 1030k| 1029k|270361 | 0.3 | 997M| 537 | 0 |1800 |1707 |1800 | 186 | 73k| 34 |3129 | 0.000000e+00 | 4.209250e+05 | Inf
656.71/656.79 c 657s| 1040k| 1039k|271819 | 0.3 |1006M| 537 | 0 |1800 |1706 |1800 | 197 | 73k| 34 |3130 | 0.000000e+00 | 4.209250e+05 | Inf
662.81/662.86 c 663s| 1050k| 1049k|273270 | 0.3 |1016M| 537 | 0 |1800 |1707 |1800 | 192 | 74k| 35 |3133 | 0.000000e+00 | 4.209250e+05 | Inf
668.82/668.82 c 669s| 1060k| 1059k|274236 | 0.3 |1025M| 537 | 0 |1800 |1706 |1800 | 211 | 74k| 35 |3138 | 0.000000e+00 | 4.209250e+05 | Inf
674.71/674.78 c 675s| 1070k| 1069k|275330 | 0.3 |1035M| 537 | 0 |1800 |1706 |1800 | 211 | 74k| 35 |3142 | 0.000000e+00 | 4.209250e+05 | Inf
680.82/680.85 c 681s| 1080k| 1079k|276929 | 0.3 |1045M| 537 | 0 |1800 |1705 |1800 | 187 | 74k| 35 |3160 | 0.000000e+00 | 4.209250e+05 | Inf
687.01/687.00 c 687s| 1090k| 1089k|278636 | 0.3 |1054M| 537 | 0 |1800 |1705 |1800 | 194 | 75k| 35 |3168 | 0.000000e+00 | 4.209250e+05 | Inf
693.11/693.13 c 693s| 1100k| 1099k|280471 | 0.3 |1064M| 537 | 0 |1800 |1705 |1800 | 193 | 75k| 35 |3170 | 0.000000e+00 | 4.209250e+05 | Inf
699.22/699.29 c 699s| 1110k| 1109k|282437 | 0.3 |1073M| 537 | 0 |1800 |1704 |1800 | 213 | 76k| 35 |3179 | 0.000000e+00 | 4.209250e+05 | Inf
705.41/705.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
705.41/705.40 c 705s| 1120k| 1119k|283984 | 0.3 |1083M| 537 | 0 |1800 |1704 |1800 | 212 | 76k| 35 |3189 | 0.000000e+00 | 4.209250e+05 | Inf
711.41/711.46 c 711s| 1130k| 1129k|285835 | 0.3 |1092M| 537 | 0 |1800 |1704 |1800 | 205 | 76k| 35 |3195 | 0.000000e+00 | 4.209250e+05 | Inf
717.42/717.49 c 717s| 1140k| 1139k|287331 | 0.3 |1102M| 537 | 0 |1800 |1704 |1800 | 209 | 77k| 35 |3200 | 0.000000e+00 | 4.209250e+05 | Inf
723.52/723.54 c 724s| 1150k| 1149k|289008 | 0.3 |1112M| 537 | 0 |1800 |1704 |1800 | 208 | 77k| 35 |3208 | 0.000000e+00 | 4.209250e+05 | Inf
729.51/729.58 c 730s| 1160k| 1159k|290550 | 0.3 |1121M| 537 | 0 |1800 |1704 |1800 | 206 | 77k| 35 |3209 | 0.000000e+00 | 4.209250e+05 | Inf
735.62/735.63 c 736s| 1170k| 1169k|292510 | 0.2 |1131M| 537 | 0 |1800 |1704 |1800 | 219 | 78k| 35 |3210 | 0.000000e+00 | 4.209250e+05 | Inf
741.71/741.71 c 742s| 1180k| 1179k|293857 | 0.2 |1140M| 537 | 0 |1800 |1704 |1800 | 213 | 78k| 35 |3214 | 0.000000e+00 | 4.209250e+05 | Inf
747.81/747.84 c 748s| 1190k| 1189k|295535 | 0.2 |1150M| 537 | 0 |1800 |1704 |1800 | 212 | 78k| 35 |3235 | 0.000000e+00 | 4.209250e+05 | Inf
753.92/753.92 c 754s| 1200k| 1199k|296853 | 0.2 |1159M| 537 | 0 |1800 |1704 |1800 | 208 | 79k| 35 |3239 | 0.000000e+00 | 4.209250e+05 | Inf
760.02/760.07 c 760s| 1210k| 1209k|298830 | 0.2 |1169M| 537 | 0 |1800 |1705 |1800 | 211 | 79k| 36 |3253 | 0.000000e+00 | 4.209250e+05 | Inf
766.11/766.17 c 766s| 1220k| 1219k|300506 | 0.2 |1178M| 537 | 0 |1800 |1705 |1800 | 202 | 80k| 36 |3261 | 0.000000e+00 | 4.209250e+05 | Inf
772.22/772.27 c 772s| 1230k| 1229k|302275 | 0.2 |1188M| 537 | 0 |1800 |1706 |1800 | 213 | 80k| 37 |3275 | 0.000000e+00 | 4.209250e+05 | Inf
778.41/778.42 c 778s| 1240k| 1239k|304447 | 0.2 |1198M| 537 | 0 |1800 |1706 |1800 | 216 | 81k| 37 |3286 | 0.000000e+00 | 4.209250e+05 | Inf
784.51/784.52 c 785s| 1250k| 1249k|306034 | 0.2 |1207M| 537 | 0 |1800 |1706 |1800 | 214 | 81k| 37 |3290 | 0.000000e+00 | 4.209250e+05 | Inf
790.62/790.60 c 791s| 1260k| 1259k|307549 | 0.2 |1217M| 537 | 0 |1800 |1706 |1800 | 209 | 82k| 37 |3291 | 0.000000e+00 | 4.209250e+05 | Inf
796.61/796.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
796.61/796.65 c 797s| 1270k| 1269k|308371 | 0.2 |1226M| 537 | 0 |1800 |1706 |1800 | 203 | 82k| 37 |3294 | 0.000000e+00 | 4.209250e+05 | Inf
802.62/802.68 c 803s| 1280k| 1279k|309529 | 0.2 |1236M| 537 | 0 |1800 |1706 |1800 | 201 | 82k| 37 |3308 | 0.000000e+00 | 4.209250e+05 | Inf
808.72/808.70 c 809s| 1290k| 1289k|310824 | 0.2 |1245M| 537 | 0 |1800 |1706 |1800 | 199 | 82k| 37 |3308 | 0.000000e+00 | 4.209250e+05 | Inf
814.71/814.75 c 815s| 1300k| 1299k|312213 | 0.2 |1255M| 537 | 0 |1800 |1706 |1800 | 200 | 83k| 37 |3313 | 0.000000e+00 | 4.209250e+05 | Inf
820.81/820.82 c 821s| 1310k| 1309k|313813 | 0.2 |1264M| 537 | 0 |1800 |1705 |1800 | 211 | 83k| 37 |3322 | 0.000000e+00 | 4.209250e+05 | Inf
826.91/826.94 c 827s| 1320k| 1319k|315609 | 0.2 |1274M| 537 | 0 |1800 |1705 |1800 | 211 | 83k| 37 |3330 | 0.000000e+00 | 4.209250e+05 | Inf
833.01/833.04 c 833s| 1330k| 1329k|317281 | 0.2 |1283M| 537 | 0 |1800 |1705 |1800 | 215 | 84k| 37 |3331 | 0.000000e+00 | 4.209250e+05 | Inf
839.11/839.13 c 839s| 1340k| 1339k|318791 | 0.2 |1293M| 537 | 0 |1800 |1705 |1800 | 198 | 84k| 37 |3337 | 0.000000e+00 | 4.209250e+05 | Inf
845.22/845.24 c 845s| 1350k| 1349k|320633 | 0.2 |1303M| 537 | 0 |1800 |1704 |1800 | 212 | 85k| 37 |3349 | 0.000000e+00 | 4.209250e+05 | Inf
851.32/851.37 c 851s| 1360k| 1359k|322519 | 0.2 |1312M| 537 | 0 |1800 |1704 |1800 | 225 | 85k| 37 |3362 | 0.000000e+00 | 4.209250e+05 | Inf
857.51/857.51 c 858s| 1370k| 1369k|324320 | 0.2 |1322M| 537 | 0 |1800 |1704 |1800 | 208 | 85k| 37 |3378 | 0.000000e+00 | 4.209250e+05 | Inf
863.62/863.63 c 864s| 1380k| 1379k|325930 | 0.2 |1331M| 537 | 0 |1800 |1704 |1800 | 211 | 86k| 37 |3386 | 0.000000e+00 | 4.209250e+05 | Inf
869.72/869.73 c 870s| 1390k| 1389k|327598 | 0.2 |1341M| 537 | 0 |1800 |1704 |1800 | 206 | 86k| 37 |3389 | 0.000000e+00 | 4.209250e+05 | Inf
875.71/875.77 c 876s| 1400k| 1399k|329079 | 0.2 |1350M| 537 | 0 |1800 |1704 |1800 | 209 | 87k| 37 |3395 | 0.000000e+00 | 4.209250e+05 | Inf
881.72/881.78 c 882s| 1410k| 1409k|329964 | 0.2 |1360M| 537 | 0 |1800 |1704 |1800 | 210 | 87k| 37 |3395 | 0.000000e+00 | 4.209250e+05 | Inf
887.73/887.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
887.73/887.76 c 888s| 1420k| 1419k|330740 | 0.2 |1369M| 537 | 0 |1800 |1704 |1800 | 212 | 87k| 37 |3400 | 0.000000e+00 | 4.209250e+05 | Inf
893.81/893.84 c 894s| 1430k| 1429k|331936 | 0.2 |1379M| 537 | 0 |1800 |1704 |1800 | 219 | 87k| 37 |3455 | 0.000000e+00 | 4.209250e+05 | Inf
899.91/899.96 c 900s| 1440k| 1439k|333749 | 0.2 |1389M| 537 | 0 |1800 |1704 |1800 | 216 | 88k| 37 |3459 | 0.000000e+00 | 4.209250e+05 | Inf
906.02/906.06 c 906s| 1450k| 1449k|335416 | 0.2 |1398M| 537 | 0 |1800 |1704 |1800 | 208 | 88k| 37 |3465 | 0.000000e+00 | 4.209250e+05 | Inf
912.02/912.09 c 912s| 1460k| 1459k|336841 | 0.2 |1408M| 537 | 0 |1800 |1704 |1800 | 210 | 89k| 37 |3474 | 0.000000e+00 | 4.209250e+05 | Inf
918.12/918.14 c 918s| 1470k| 1469k|338317 | 0.2 |1417M| 537 | 0 |1800 |1704 |1800 | 212 | 89k| 37 |3483 | 0.000000e+00 | 4.209250e+05 | Inf
924.21/924.20 c 924s| 1480k| 1479k|339722 | 0.2 |1427M| 537 | 0 |1800 |1704 |1800 | 212 | 89k| 37 |3505 | 0.000000e+00 | 4.209250e+05 | Inf
930.22/930.29 c 930s| 1490k| 1489k|341031 | 0.2 |1436M| 537 | 0 |1800 |1704 |1800 | 209 | 90k| 37 |3517 | 0.000000e+00 | 4.209250e+05 | Inf
936.42/936.44 c 936s| 1500k| 1499k|342548 | 0.2 |1446M| 537 | 0 |1800 |1704 |1800 | 216 | 90k| 37 |3522 | 0.000000e+00 | 4.209250e+05 | Inf
942.51/942.54 c 943s| 1510k| 1509k|344250 | 0.2 |1455M| 537 | 0 |1800 |1704 |1800 | 202 | 91k| 37 |3535 | 0.000000e+00 | 4.209250e+05 | Inf
948.62/948.64 c 949s| 1520k| 1519k|345568 | 0.2 |1465M| 537 | 0 |1800 |1704 |1800 | 214 | 91k| 37 |3545 | 0.000000e+00 | 4.209250e+05 | Inf
954.62/954.67 c 955s| 1530k| 1529k|347048 | 0.2 |1474M| 537 | 0 |1800 |1703 |1800 | 203 | 91k| 37 |3552 | 0.000000e+00 | 4.209250e+05 | Inf
960.71/960.72 c 961s| 1540k| 1539k|348420 | 0.2 |1484M| 537 | 0 |1800 |1703 |1800 | 193 | 92k| 37 |3557 | 0.000000e+00 | 4.209250e+05 | Inf
966.72/966.71 c 967s| 1550k| 1549k|349547 | 0.2 |1494M| 537 | 0 |1800 |1703 |1800 | 224 | 92k| 37 |3560 | 0.000000e+00 | 4.209250e+05 | Inf
972.82/972.80 c 973s| 1560k| 1559k|350971 | 0.2 |1503M| 537 | 0 |1800 |1703 |1800 | 202 | 93k| 37 |3582 | 0.000000e+00 | 4.209250e+05 | Inf
978.82/978.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
978.82/978.82 c 979s| 1570k| 1569k|352357 | 0.2 |1513M| 537 | 0 |1800 |1703 |1800 | 214 | 93k| 37 |3587 | 0.000000e+00 | 4.209250e+05 | Inf
984.82/984.84 c 985s| 1580k| 1579k|353664 | 0.2 |1522M| 537 | 0 |1800 |1703 |1800 | 196 | 93k| 37 |3598 | 0.000000e+00 | 4.209250e+05 | Inf
990.92/990.91 c 991s| 1590k| 1589k|354601 | 0.2 |1532M| 537 | 0 |1800 |1702 |1800 | 227 | 93k| 37 |3598 | 0.000000e+00 | 4.209250e+05 | Inf
997.02/997.02 c 997s| 1600k| 1599k|356406 | 0.2 |1541M| 537 | 0 |1800 |1702 |1800 | 206 | 94k| 37 |3610 | 0.000000e+00 | 4.209250e+05 | Inf
1002.92/1002.99 c 1003s| 1610k| 1609k|357751 | 0.2 |1551M| 537 | 0 |1800 |1702 |1800 | 208 | 94k| 37 |3625 | 0.000000e+00 | 4.209250e+05 | Inf
1008.92/1008.93 c 1009s| 1620k| 1619k|358611 | 0.2 |1560M| 537 | 0 |1800 |1702 |1800 | 194 | 95k| 37 |3627 | 0.000000e+00 | 4.209250e+05 | Inf
1014.92/1014.94 c 1015s| 1630k| 1629k|359366 | 0.2 |1570M| 537 | 0 |1800 |1702 |1800 | 197 | 95k| 37 |3630 | 0.000000e+00 | 4.209250e+05 | Inf
1020.92/1020.97 c 1021s| 1640k| 1639k|360837 | 0.2 |1579M| 537 | 0 |1800 |1702 |1800 | 211 | 95k| 37 |3633 | 0.000000e+00 | 4.209250e+05 | Inf
1027.02/1027.00 c 1027s| 1650k| 1649k|362493 | 0.2 |1589M| 537 | 0 |1800 |1702 |1800 | 198 | 95k| 37 |3633 | 0.000000e+00 | 4.209250e+05 | Inf
1033.02/1033.08 c 1033s| 1660k| 1659k|364196 | 0.2 |1598M| 537 | 0 |1800 |1702 |1800 | 208 | 96k| 37 |3637 | 0.000000e+00 | 4.209250e+05 | Inf
1039.12/1039.13 c 1039s| 1670k| 1669k|365827 | 0.2 |1608M| 537 | 0 |1800 |1702 |1800 | 203 | 96k| 37 |3646 | 0.000000e+00 | 4.209250e+05 | Inf
1045.12/1045.16 c 1045s| 1680k| 1679k|367306 | 0.2 |1617M| 537 | 0 |1800 |1702 |1800 | 211 | 96k| 37 |3649 | 0.000000e+00 | 4.209250e+05 | Inf
1051.22/1051.22 c 1051s| 1690k| 1689k|368820 | 0.2 |1627M| 537 | 0 |1800 |1702 |1800 | 205 | 97k| 37 |3686 | 0.000000e+00 | 4.209250e+05 | Inf
1057.22/1057.29 c 1057s| 1700k| 1699k|370510 | 0.2 |1636M| 537 | 0 |1800 |1702 |1800 | 209 | 97k| 37 |3688 | 0.000000e+00 | 4.209250e+05 | Inf
1063.32/1063.33 c 1063s| 1710k| 1709k|371992 | 0.2 |1646M| 537 | 0 |1800 |1702 |1800 | 212 | 98k| 37 |3710 | 0.000000e+00 | 4.209250e+05 | Inf
1069.42/1069.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1069.42/1069.47 c 1069s| 1720k| 1719k|373698 | 0.2 |1656M| 537 | 0 |1800 |1703 |1800 | 199 | 98k| 38 |3734 | 0.000000e+00 | 4.209250e+05 | Inf
1075.52/1075.54 c 1076s| 1730k| 1729k|374999 | 0.2 |1665M| 537 | 0 |1800 |1703 |1800 | 213 | 99k| 38 |3736 | 0.000000e+00 | 4.209250e+05 | Inf
1081.52/1081.59 c 1082s| 1740k| 1739k|376393 | 0.2 |1675M| 537 | 0 |1800 |1703 |1800 | 196 | 99k| 38 |3739 | 0.000000e+00 | 4.209250e+05 | Inf
1087.62/1087.68 c 1088s| 1750k| 1749k|378022 | 0.2 |1684M| 537 | 0 |1800 |1703 |1800 | 216 | 99k| 38 |3757 | 0.000000e+00 | 4.209250e+05 | Inf
1093.72/1093.73 c 1094s| 1760k| 1759k|379268 | 0.2 |1694M| 537 | 0 |1800 |1703 |1800 | 204 | 100k| 38 |3774 | 0.000000e+00 | 4.209250e+05 | Inf
1099.73/1099.75 c 1100s| 1770k| 1769k|380623 | 0.2 |1703M| 537 | 0 |1800 |1703 |1800 | 206 | 100k| 38 |3775 | 0.000000e+00 | 4.209250e+05 | Inf
1105.72/1105.72 c 1106s| 1780k| 1779k|381851 | 0.2 |1713M| 537 | 0 |1800 |1702 |1800 | 221 | 100k| 38 |3775 | 0.000000e+00 | 4.209250e+05 | Inf
1111.73/1111.77 c 1112s| 1790k| 1789k|383502 | 0.2 |1722M| 537 | 0 |1800 |1702 |1800 | 228 | 101k| 38 |3778 | 0.000000e+00 | 4.209250e+05 | Inf
1117.82/1117.82 c 1118s| 1800k| 1799k|385029 | 0.2 |1732M| 537 | 0 |1800 |1702 |1800 | 206 | 101k| 38 |3798 | 0.000000e+00 | 4.209250e+05 | Inf
1123.72/1123.73 c 1124s| 1810k| 1809k|385915 | 0.2 |1741M| 537 | 0 |1800 |1702 |1800 | 187 | 101k| 38 |3807 | 0.000000e+00 | 4.209250e+05 | Inf
1129.73/1129.75 c 1130s| 1820k| 1819k|387439 | 0.2 |1751M| 537 | 0 |1800 |1702 |1800 | 211 | 101k| 38 |3808 | 0.000000e+00 | 4.209250e+05 | Inf
1135.82/1135.84 c 1136s| 1830k| 1829k|388902 | 0.2 |1760M| 537 | 0 |1800 |1702 |1800 | 201 | 102k| 38 |3811 | 0.000000e+00 | 4.209250e+05 | Inf
1141.83/1141.87 c 1142s| 1840k| 1839k|390258 | 0.2 |1770M| 537 | 0 |1800 |1702 |1800 | 196 | 102k| 38 |3818 | 0.000000e+00 | 4.209250e+05 | Inf
1147.92/1147.93 c 1148s| 1850k| 1849k|391670 | 0.2 |1779M| 537 | 0 |1800 |1702 |1800 | 209 | 102k| 38 |3828 | 0.000000e+00 | 4.209250e+05 | Inf
1153.93/1153.96 c 1154s| 1860k| 1859k|393188 | 0.2 |1789M| 537 | 0 |1800 |1701 |1800 | 193 | 102k| 38 |3831 | 0.000000e+00 | 4.209250e+05 | Inf
1160.03/1160.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1160.03/1160.09 c 1160s| 1870k| 1869k|394907 | 0.2 |1799M| 537 | 0 |1800 |1701 |1800 | 195 | 103k| 38 |3831 | 0.000000e+00 | 4.209250e+05 | Inf
1166.04/1166.08 c 1166s| 1880k| 1879k|396203 | 0.2 |1808M| 537 | 0 |1800 |1701 |1800 | 194 | 103k| 38 |3833 | 0.000000e+00 | 4.209250e+05 | Inf
1172.13/1172.15 c 1172s| 1890k| 1889k|397583 | 0.2 |1818M| 537 | 0 |1800 |1701 |1800 | 207 | 103k| 38 |3834 | 0.000000e+00 | 4.209250e+05 | Inf
1178.13/1178.16 c 1178s| 1900k| 1899k|398817 | 0.2 |1827M| 537 | 0 |1800 |1701 |1800 | 213 | 104k| 38 |3838 | 0.000000e+00 | 4.209250e+05 | Inf
1184.12/1184.17 c 1184s| 1910k| 1909k|400116 | 0.2 |1837M| 537 | 0 |1800 |1701 |1800 | 182 | 104k| 38 |3842 | 0.000000e+00 | 4.209250e+05 | Inf
1190.13/1190.14 c 1190s| 1920k| 1919k|401332 | 0.2 |1846M| 537 | 0 |1800 |1701 |1800 | 189 | 104k| 38 |3845 | 0.000000e+00 | 4.209250e+05 | Inf
1196.12/1196.16 c 1196s| 1930k| 1929k|402647 | 0.2 |1856M| 537 | 0 |1800 |1701 |1800 | 201 | 105k| 38 |3858 | 0.000000e+00 | 4.209250e+05 | Inf
1202.13/1202.17 c 1202s| 1940k| 1939k|403865 | 0.2 |1865M| 537 | 0 |1800 |1701 |1800 | 210 | 105k| 38 |3870 | 0.000000e+00 | 4.209250e+05 | Inf
1208.13/1208.16 c 1208s| 1950k| 1949k|405010 | 0.2 |1875M| 537 | 0 |1800 |1701 |1800 | 208 | 105k| 38 |3870 | 0.000000e+00 | 4.209250e+05 | Inf
1214.13/1214.12 c 1214s| 1960k| 1959k|406280 | 0.2 |1884M| 537 | 0 |1800 |1701 |1800 | 197 | 105k| 38 |3878 | 0.000000e+00 | 4.209250e+05 | Inf
1220.13/1220.15 c 1220s| 1970k| 1969k|407358 | 0.2 |1894M| 537 | 0 |1800 |1701 |1800 | 212 | 105k| 38 |3889 | 0.000000e+00 | 4.209250e+05 | Inf
1226.22/1226.20 c 1226s| 1980k| 1979k|408653 | 0.2 |1903M| 537 | 0 |1800 |1701 |1800 | 210 | 106k| 38 |3891 | 0.000000e+00 | 4.209250e+05 | Inf
1232.23/1232.25 c 1232s| 1990k| 1989k|410032 | 0.2 |1913M| 537 | 0 |1800 |1701 |1800 | 210 | 106k| 38 |3899 | 0.000000e+00 | 4.209250e+05 | Inf
1238.33/1238.31 c 1238s| 2000k| 1999k|411690 | 0.2 |1922M| 537 | 0 |1800 |1701 |1800 | 200 | 106k| 38 |3902 | 0.000000e+00 | 4.209250e+05 | Inf
1244.33/1244.32 c 1244s| 2010k| 2009k|413148 | 0.2 |1932M| 537 | 0 |1800 |1701 |1800 | 191 | 107k| 38 |3917 | 0.000000e+00 | 4.209250e+05 | Inf
1250.32/1250.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1250.32/1250.31 c 1250s| 2020k| 2019k|414521 | 0.2 |1941M| 537 | 0 |1800 |1701 |1800 | 182 | 107k| 38 |3918 | 0.000000e+00 | 4.209250e+05 | Inf
1256.32/1256.35 c 1256s| 2030k| 2029k|415868 | 0.2 |1951M| 537 | 0 |1800 |1701 |1800 | 208 | 107k| 38 |3918 | 0.000000e+00 | 4.209250e+05 | Inf
1262.33/1262.37 c 1262s| 2040k| 2039k|417213 | 0.2 |1961M| 537 | 0 |1800 |1701 |1800 | 223 | 108k| 38 |3927 | 0.000000e+00 | 4.209250e+05 | Inf
1268.43/1268.42 c 1268s| 2050k| 2049k|418493 | 0.2 |1970M| 537 | 0 |1800 |1701 |1800 | 213 | 108k| 38 |3929 | 0.000000e+00 | 4.209250e+05 | Inf
1274.43/1274.43 c 1274s| 2060k| 2059k|419645 | 0.2 |1980M| 537 | 0 |1800 |1702 |1800 | 203 | 108k| 39 |3939 | 0.000000e+00 | 4.209250e+05 | Inf
1280.43/1280.44 c 1280s| 2070k| 2069k|420968 | 0.2 |1989M| 537 | 0 |1800 |1702 |1800 | 210 | 109k| 39 |3942 | 0.000000e+00 | 4.209250e+05 | Inf
1286.43/1286.47 c 1286s| 2080k| 2079k|422232 | 0.2 |1999M| 537 | 0 |1800 |1702 |1800 | 205 | 109k| 39 |3943 | 0.000000e+00 | 4.209250e+05 | Inf
1292.43/1292.45 c 1292s| 2090k| 2089k|423461 | 0.2 |2008M| 537 | 0 |1800 |1702 |1800 | 212 | 109k| 39 |3944 | 0.000000e+00 | 4.209250e+05 | Inf
1298.43/1298.46 c 1298s| 2100k| 2099k|424546 | 0.2 |2018M| 537 | 0 |1800 |1702 |1800 | 208 | 109k| 39 |3948 | 0.000000e+00 | 4.209250e+05 | Inf
1304.54/1304.50 c 1304s| 2110k| 2109k|426022 | 0.2 |2027M| 537 | 0 |1800 |1702 |1800 | 206 | 110k| 39 |3955 | 0.000000e+00 | 4.209250e+05 | Inf
1310.53/1310.53 c 1311s| 2120k| 2119k|427238 | 0.2 |2037M| 537 | 0 |1800 |1702 |1800 | 185 | 110k| 39 |3962 | 0.000000e+00 | 4.209250e+05 | Inf
1316.53/1316.53 c 1317s| 2130k| 2129k|428294 | 0.2 |2046M| 537 | 0 |1800 |1702 |1800 | 223 | 110k| 39 |3967 | 0.000000e+00 | 4.209250e+05 | Inf
1322.53/1322.57 c 1323s| 2140k| 2139k|429523 | 0.2 |2056M| 537 | 0 |1800 |1702 |1800 | 219 | 111k| 39 |3970 | 0.000000e+00 | 4.209250e+05 | Inf
1328.63/1328.62 c 1329s| 2150k| 2149k|430979 | 0.2 |2066M| 537 | 0 |1800 |1702 |1800 | 209 | 111k| 39 |3970 | 0.000000e+00 | 4.209250e+05 | Inf
1334.63/1334.65 c 1335s| 2160k| 2159k|432481 | 0.2 |2075M| 537 | 0 |1800 |1702 |1800 | 217 | 111k| 39 |3996 | 0.000000e+00 | 4.209250e+05 | Inf
1340.73/1340.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1340.73/1340.70 c 1341s| 2170k| 2169k|433991 | 0.2 |2085M| 537 | 0 |1800 |1702 |1800 | 207 | 112k| 39 |3997 | 0.000000e+00 | 4.209250e+05 | Inf
1346.73/1346.73 c 1347s| 2180k| 2179k|435520 | 0.2 |2094M| 537 | 0 |1800 |1702 |1800 | 205 | 112k| 39 |3998 | 0.000000e+00 | 4.209250e+05 | Inf
1352.73/1352.76 c 1353s| 2190k| 2189k|437083 | 0.2 |2104M| 537 | 0 |1800 |1702 |1800 | 216 | 112k| 39 |4009 | 0.000000e+00 | 4.209250e+05 | Inf
1358.83/1358.87 c 1359s| 2200k| 2199k|438848 | 0.2 |2113M| 537 | 0 |1800 |1702 |1800 | 209 | 113k| 39 |4011 | 0.000000e+00 | 4.209250e+05 | Inf
1364.94/1364.96 c 1365s| 2210k| 2209k|440667 | 0.2 |2123M| 537 | 0 |1800 |1702 |1800 | 223 | 113k| 39 |4013 | 0.000000e+00 | 4.209250e+05 | Inf
1371.03/1371.00 c 1371s| 2220k| 2219k|442133 | 0.2 |2132M| 537 | 0 |1800 |1702 |1800 | 196 | 113k| 39 |4015 | 0.000000e+00 | 4.209250e+05 | Inf
1376.93/1376.97 c 1377s| 2230k| 2229k|443195 | 0.2 |2142M| 537 | 0 |1800 |1702 |1800 | 194 | 114k| 39 |4015 | 0.000000e+00 | 4.209250e+05 | Inf
1383.04/1383.02 c 1383s| 2240k| 2239k|444607 | 0.2 |2151M| 537 | 0 |1800 |1702 |1800 | 211 | 114k| 39 |4020 | 0.000000e+00 | 4.209250e+05 | Inf
1389.03/1389.09 c 1389s| 2250k| 2249k|446132 | 0.2 |2161M| 537 | 0 |1800 |1702 |1800 | 206 | 114k| 39 |4020 | 0.000000e+00 | 4.209250e+05 | Inf
1395.03/1395.09 c 1395s| 2260k| 2259k|447131 | 0.2 |2170M| 537 | 0 |1800 |1702 |1800 | 198 | 115k| 39 |4022 | 0.000000e+00 | 4.209250e+05 | Inf
1401.14/1401.13 c 1401s| 2270k| 2269k|448370 | 0.2 |2180M| 537 | 0 |1800 |1702 |1800 | 219 | 115k| 39 |4035 | 0.000000e+00 | 4.209250e+05 | Inf
1407.23/1407.22 c 1407s| 2280k| 2279k|449832 | 0.2 |2190M| 537 | 0 |1800 |1701 |1800 | 193 | 115k| 39 |4058 | 0.000000e+00 | 4.209250e+05 | Inf
1413.23/1413.27 c 1413s| 2290k| 2289k|451263 | 0.2 |2199M| 537 | 0 |1800 |1701 |1800 | 200 | 116k| 39 |4066 | 0.000000e+00 | 4.209250e+05 | Inf
1419.33/1419.36 c 1419s| 2300k| 2299k|452692 | 0.2 |2209M| 537 | 0 |1800 |1701 |1800 | 210 | 116k| 39 |4071 | 0.000000e+00 | 4.209250e+05 | Inf
1425.43/1425.40 c 1425s| 2310k| 2309k|453905 | 0.2 |2218M| 537 | 0 |1800 |1701 |1800 | 211 | 116k| 39 |4073 | 0.000000e+00 | 4.209250e+05 | Inf
1431.43/1431.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1431.43/1431.44 c 1431s| 2320k| 2319k|455383 | 0.2 |2228M| 537 | 0 |1800 |1701 |1800 | 202 | 117k| 39 |4080 | 0.000000e+00 | 4.209250e+05 | Inf
1437.43/1437.47 c 1437s| 2330k| 2329k|456753 | 0.2 |2237M| 537 | 0 |1800 |1701 |1800 | 208 | 117k| 39 |4083 | 0.000000e+00 | 4.209250e+05 | Inf
1443.53/1443.59 c 1444s| 2340k| 2339k|458359 | 0.2 |2247M| 537 | 0 |1800 |1701 |1800 | 218 | 117k| 39 |4094 | 0.000000e+00 | 4.209250e+05 | Inf
1449.63/1449.66 c 1450s| 2350k| 2349k|459937 | 0.2 |2256M| 537 | 0 |1800 |1701 |1800 | 206 | 118k| 39 |4094 | 0.000000e+00 | 4.209250e+05 | Inf
1455.74/1455.71 c 1456s| 2360k| 2359k|461576 | 0.2 |2266M| 537 | 0 |1800 |1701 |1800 | 211 | 118k| 39 |4117 | 0.000000e+00 | 4.209250e+05 | Inf
1461.74/1461.78 c 1462s| 2370k| 2369k|463014 | 0.2 |2276M| 537 | 0 |1800 |1701 |1800 | 217 | 118k| 39 |4132 | 0.000000e+00 | 4.209250e+05 | Inf
1467.93/1467.97 c 1468s| 2380k| 2379k|464868 | 0.2 |2285M| 537 | 0 |1800 |1701 |1800 | 215 | 119k| 39 |4140 | 0.000000e+00 | 4.209250e+05 | Inf
1474.04/1474.03 c 1474s| 2390k| 2389k|466289 | 0.2 |2295M| 537 | 0 |1800 |1701 |1800 | 198 | 119k| 39 |4142 | 0.000000e+00 | 4.209250e+05 | Inf
1480.03/1480.08 c 1480s| 2400k| 2399k|467548 | 0.2 |2304M| 537 | 0 |1800 |1703 |1800 | 206 | 119k| 41 |4144 | 0.000000e+00 | 4.209250e+05 | Inf
1486.04/1486.10 c 1486s| 2410k| 2409k|468761 | 0.2 |2314M| 537 | 0 |1800 |1703 |1800 | 195 | 120k| 41 |4144 | 0.000000e+00 | 4.209250e+05 | Inf
1492.13/1492.16 c 1492s| 2420k| 2419k|470083 | 0.2 |2323M| 537 | 0 |1800 |1703 |1800 | 221 | 120k| 41 |4144 | 0.000000e+00 | 4.209250e+05 | Inf
1498.14/1498.20 c 1498s| 2430k| 2429k|471464 | 0.2 |2333M| 537 | 0 |1800 |1703 |1800 | 199 | 120k| 41 |4154 | 0.000000e+00 | 4.209250e+05 | Inf
1504.24/1504.26 c 1504s| 2440k| 2439k|472838 | 0.2 |2342M| 537 | 0 |1800 |1703 |1800 | 208 | 120k| 41 |4157 | 0.000000e+00 | 4.209250e+05 | Inf
1510.34/1510.35 c 1510s| 2450k| 2449k|474330 | 0.2 |2352M| 537 | 0 |1800 |1703 |1800 | 209 | 121k| 41 |4162 | 0.000000e+00 | 4.209250e+05 | Inf
1516.43/1516.48 c 1516s| 2460k| 2459k|476098 | 0.2 |2361M| 537 | 0 |1800 |1703 |1800 | 216 | 121k| 41 |4188 | 0.000000e+00 | 4.209250e+05 | Inf
1522.54/1522.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1522.54/1522.54 c 1523s| 2470k| 2469k|477663 | 0.2 |2371M| 537 | 0 |1800 |1703 |1800 | 196 | 122k| 41 |4194 | 0.000000e+00 | 4.209250e+05 | Inf
1528.64/1528.61 c 1529s| 2480k| 2479k|479059 | 0.2 |2380M| 537 | 0 |1800 |1703 |1800 | 203 | 122k| 41 |4194 | 0.000000e+00 | 4.209250e+05 | Inf
1534.64/1534.68 c 1535s| 2490k| 2489k|480342 | 0.2 |2390M| 537 | 0 |1800 |1704 |1800 | 214 | 122k| 42 |4194 | 0.000000e+00 | 4.209250e+05 | Inf
1540.73/1540.72 c 1541s| 2500k| 2499k|481670 | 0.2 |2399M| 537 | 0 |1800 |1704 |1800 | 207 | 122k| 42 |4207 | 0.000000e+00 | 4.209250e+05 | Inf
1546.73/1546.75 c 1547s| 2510k| 2509k|482777 | 0.2 |2409M| 537 | 0 |1800 |1704 |1800 | 201 | 123k| 42 |4217 | 0.000000e+00 | 4.209250e+05 | Inf
1552.74/1552.78 c 1553s| 2520k| 2519k|483949 | 0.2 |2419M| 537 | 0 |1800 |1703 |1800 | 215 | 123k| 42 |4217 | 0.000000e+00 | 4.209250e+05 | Inf
1558.84/1558.82 c 1559s| 2530k| 2529k|485040 | 0.2 |2428M| 537 | 0 |1800 |1703 |1800 | 206 | 123k| 43 |4239 | 0.000000e+00 | 4.209250e+05 | Inf
1564.84/1564.83 c 1565s| 2540k| 2539k|486194 | 0.2 |2438M| 537 | 0 |1800 |1702 |1800 | 206 | 123k| 43 |4247 | 0.000000e+00 | 4.209250e+05 | Inf
1570.85/1570.88 c 1571s| 2550k| 2549k|487432 | 0.2 |2447M| 537 | 0 |1800 |1702 |1800 | 219 | 124k| 43 |4253 | 0.000000e+00 | 4.209250e+05 | Inf
1576.94/1576.96 c 1577s| 2560k| 2559k|488906 | 0.2 |2457M| 537 | 0 |1800 |1702 |1800 | 201 | 124k| 43 |4253 | 0.000000e+00 | 4.209250e+05 | Inf
1582.94/1582.94 c 1583s| 2570k| 2569k|490207 | 0.2 |2466M| 537 | 0 |1800 |1702 |1800 | 205 | 124k| 43 |4261 | 0.000000e+00 | 4.209250e+05 | Inf
1588.93/1588.97 c 1589s| 2580k| 2579k|491658 | 0.2 |2476M| 537 | 0 |1800 |1701 |1800 | 219 | 125k| 43 |4270 | 0.000000e+00 | 4.209250e+05 | Inf
1595.04/1595.06 c 1595s| 2590k| 2589k|493025 | 0.2 |2485M| 537 | 0 |1800 |1701 |1800 | 196 | 125k| 43 |4273 | 0.000000e+00 | 4.209250e+05 | Inf
1601.13/1601.10 c 1601s| 2600k| 2599k|494395 | 0.2 |2495M| 537 | 0 |1800 |1701 |1800 | 217 | 125k| 43 |4275 | 0.000000e+00 | 4.209250e+05 | Inf
1607.15/1607.18 c 1607s| 2610k| 2609k|495867 | 0.2 |2504M| 537 | 0 |1800 |1701 |1800 | 209 | 126k| 43 |4290 | 0.000000e+00 | 4.209250e+05 | Inf
1613.24/1613.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1613.24/1613.23 c 1613s| 2620k| 2619k|497033 | 0.2 |2514M| 537 | 0 |1800 |1702 |1800 | 213 | 126k| 44 |4290 | 0.000000e+00 | 4.209250e+05 | Inf
1619.25/1619.26 c 1619s| 2630k| 2629k|498247 | 0.2 |2523M| 537 | 0 |1800 |1702 |1800 | 207 | 126k| 44 |4301 | 0.000000e+00 | 4.209250e+05 | Inf
1625.23/1625.30 c 1625s| 2640k| 2639k|499542 | 0.2 |2533M| 537 | 0 |1800 |1702 |1800 | 204 | 126k| 44 |4304 | 0.000000e+00 | 4.209250e+05 | Inf
1631.34/1631.34 c 1631s| 2650k| 2649k|500913 | 0.2 |2542M| 537 | 0 |1800 |1702 |1800 | 208 | 127k| 44 |4317 | 0.000000e+00 | 4.209250e+05 | Inf
1637.34/1637.39 c 1637s| 2660k| 2659k|502278 | 0.2 |2552M| 537 | 0 |1800 |1702 |1800 | 206 | 127k| 44 |4327 | 0.000000e+00 | 4.209250e+05 | Inf
1643.44/1643.42 c 1643s| 2670k| 2669k|503601 | 0.2 |2562M| 537 | 0 |1800 |1701 |1800 | 202 | 127k| 44 |4330 | 0.000000e+00 | 4.209250e+05 | Inf
1649.44/1649.41 c 1649s| 2680k| 2679k|505005 | 0.2 |2571M| 537 | 0 |1800 |1701 |1800 | 203 | 128k| 44 |4331 | 0.000000e+00 | 4.209250e+05 | Inf
1655.44/1655.41 c 1655s| 2690k| 2689k|506181 | 0.2 |2581M| 537 | 0 |1800 |1701 |1800 | 210 | 128k| 44 |4346 | 0.000000e+00 | 4.209250e+05 | Inf
1661.44/1661.41 c 1661s| 2700k| 2699k|507551 | 0.2 |2590M| 537 | 0 |1800 |1701 |1800 | 205 | 128k| 44 |4346 | 0.000000e+00 | 4.209250e+05 | Inf
1667.44/1667.43 c 1667s| 2710k| 2709k|508735 | 0.2 |2600M| 537 | 0 |1800 |1701 |1800 | 199 | 129k| 44 |4359 | 0.000000e+00 | 4.209250e+05 | Inf
1673.44/1673.41 c 1673s| 2720k| 2719k|509643 | 0.2 |2609M| 537 | 0 |1800 |1701 |1800 | 186 | 129k| 44 |4362 | 0.000000e+00 | 4.209250e+05 | Inf
1679.44/1679.47 c 1679s| 2730k| 2729k|511201 | 0.2 |2619M| 537 | 0 |1800 |1701 |1800 | 209 | 129k| 44 |4369 | 0.000000e+00 | 4.209250e+05 | Inf
1685.44/1685.42 c 1685s| 2740k| 2739k|512204 | 0.2 |2628M| 537 | 0 |1800 |1701 |1800 | 201 | 130k| 44 |4372 | 0.000000e+00 | 4.209250e+05 | Inf
1691.44/1691.41 c 1691s| 2750k| 2749k|513552 | 0.2 |2638M| 537 | 0 |1800 |1701 |1800 | 220 | 130k| 44 |4379 | 0.000000e+00 | 4.209250e+05 | Inf
1697.45/1697.44 c 1697s| 2760k| 2759k|514690 | 0.2 |2647M| 537 | 0 |1800 |1701 |1800 | 185 | 130k| 44 |4399 | 0.000000e+00 | 4.209250e+05 | Inf
1703.44/1703.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1703.44/1703.49 c 1703s| 2770k| 2769k|516308 | 0.2 |2657M| 537 | 0 |1800 |1701 |1800 | 214 | 131k| 44 |4404 | 0.000000e+00 | 4.209250e+05 | Inf
1709.54/1709.52 c 1710s| 2780k| 2779k|517692 | 0.2 |2666M| 537 | 0 |1800 |1701 |1800 | 223 | 131k| 44 |4407 | 0.000000e+00 | 4.209250e+05 | Inf
1715.54/1715.54 c 1716s| 2790k| 2789k|518917 | 0.2 |2676M| 537 | 0 |1800 |1701 |1800 | 221 | 131k| 44 |4407 | 0.000000e+00 | 4.209250e+05 | Inf
1721.55/1721.57 c 1722s| 2800k| 2799k|520098 | 0.2 |2685M| 537 | 0 |1800 |1701 |1800 | 210 | 131k| 44 |4408 | 0.000000e+00 | 4.209250e+05 | Inf
1727.54/1727.56 c 1728s| 2810k| 2809k|521392 | 0.2 |2695M| 537 | 0 |1800 |1701 |1800 | 199 | 132k| 44 |4414 | 0.000000e+00 | 4.209250e+05 | Inf
1733.54/1733.54 c 1734s| 2820k| 2819k|522506 | 0.2 |2704M| 537 | 0 |1800 |1701 |1800 | 185 | 132k| 44 |4416 | 0.000000e+00 | 4.209250e+05 | Inf
1739.54/1739.57 c 1740s| 2830k| 2829k|523633 | 0.2 |2714M| 537 | 0 |1800 |1701 |1800 | 204 | 132k| 44 |4429 | 0.000000e+00 | 4.209250e+05 | Inf
1745.54/1745.54 c 1746s| 2840k| 2839k|524776 | 0.2 |2723M| 537 | 0 |1800 |1701 |1800 | 202 | 132k| 44 |4435 | 0.000000e+00 | 4.209250e+05 | Inf
1751.44/1751.44 c 1751s| 2850k| 2849k|525754 | 0.2 |2733M| 537 | 0 |1800 |1701 |1800 | 200 | 133k| 44 |4435 | 0.000000e+00 | 4.209250e+05 | Inf
1757.34/1757.38 c 1757s| 2860k| 2859k|526742 | 0.2 |2743M| 537 | 0 |1800 |1701 |1800 | 206 | 133k| 44 |4435 | 0.000000e+00 | 4.209250e+05 | Inf
1763.35/1763.35 c 1763s| 2870k| 2869k|527545 | 0.2 |2752M| 537 | 0 |1800 |1701 |1800 | 206 | 133k| 44 |4435 | 0.000000e+00 | 4.209250e+05 | Inf
1769.34/1769.38 c 1769s| 2880k| 2879k|528790 | 0.2 |2762M| 537 | 0 |1800 |1701 |1800 | 195 | 133k| 44 |4446 | 0.000000e+00 | 4.209250e+05 | Inf
1775.45/1775.45 c 1775s| 2890k| 2889k|530205 | 0.2 |2771M| 537 | 0 |1800 |1701 |1800 | 186 | 134k| 44 |4452 | 0.000000e+00 | 4.209250e+05 | Inf
1781.44/1781.41 c 1781s| 2900k| 2899k|531180 | 0.2 |2781M| 537 | 0 |1800 |1701 |1800 | 190 | 134k| 44 |4453 | 0.000000e+00 | 4.209250e+05 | Inf
1787.45/1787.48 c 1787s| 2910k| 2909k|532981 | 0.2 |2790M| 537 | 0 |1800 |1701 |1800 | 216 | 134k| 44 |4454 | 0.000000e+00 | 4.209250e+05 | Inf
1790.04/1790.00 c
1790.04/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1790.04/1790.00 c Solving Time (sec) : 1789.99
1790.04/1790.00 c Solving Nodes : 2914186
1790.04/1790.00 c Primal Bound : +4.20925000000000e+05 (100 solutions)
1790.04/1790.00 c Dual Bound : +0.00000000000000e+00
1790.04/1790.00 c Gap : infinite
1790.04/1790.01 s SATISFIABLE
1790.04/1790.01 v x200 -x199 x198 -x197 x196 -x195 x194 -x193 x192 -x191 x190 -x189 x188 -x187 x186 -x185 x184 -x183 x182 -x181 x180 -x179 x178 -x177
1790.04/1790.01 v x176 -x175 x174 -x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 x164 -x163 x162 -x161 x160 -x159 x158 -x157 x156 -x155
1790.04/1790.01 v x154 -x153 x152 -x151 x150 -x149 x148 -x147 x146 -x145 x144 -x143 x142 -x141 x140 -x139 x138 -x137 x136 -x135 x134 -x133 x132
1790.04/1790.01 v -x131 x130 -x129 x128 -x127 x126 -x125 x124 -x123 x122 -x121 x120 -x119 x118 -x117 x116 -x115 x114 -x113 x112 -x111 x110 -x109
1790.04/1790.01 v x108 -x107 x106 -x105 x104 -x103 x102 -x101 x100 -x99 x98 -x97 x96 -x95 x94 -x93 x92 -x91 x90 -x89 x88 -x87 x86 -x85 x84
1790.04/1790.01 v -x83 x82 -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 x56
1790.04/1790.01 v -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 x30 -x29 x28
1790.04/1790.01 v -x27 x26 -x25 x24 -x23 x22 -x21 x20 -x19 x18 -x17 x16 -x15 x14 -x13 x12 -x11 x10 -x9 x8 -x7 x6 -x5 x4 -x3 x2 -x1
1790.04/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.04/1790.01 c Solving Time : 1789.99
1790.04/1790.01 c Original Problem :
1790.04/1790.01 c Problem name : HOME/instance-2705742-1278580125.wbo
1790.04/1790.01 c Variables : 1900 (1050 binary, 0 integer, 850 implicit integer, 0 continuous)
1790.04/1790.01 c Constraints : 1801 initial, 1801 maximal
1790.04/1790.01 c Presolved Problem :
1790.04/1790.01 c Problem name : t_HOME/instance-2705742-1278580125.wbo
1790.04/1790.01 c Variables : 1800 (950 binary, 0 integer, 850 implicit integer, 0 continuous)
1790.04/1790.01 c Constraints : 1700 initial, 1723 maximal
1790.04/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.04/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1790.04/1790.01 c linear : 0.02 0 100 0 850 0 101 0 0
1790.04/1790.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.01 c root node : - 0 - - 0 - - - -
1790.04/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.04/1790.01 c integral : 0 0 0 2978258 0 0 85 0 0 20512
1790.04/1790.01 c linear : 850 6 3757300 2967921 0 30 406078 134918 0 0
1790.04/1790.01 c indicator : 850 0 3757270 2967921 0 7 2788234 0 0 0
1790.04/1790.01 c logicor : 0+ 0 30684 0 0 0 4570 0 0 0
1790.04/1790.01 c countsols : 0 0 0 2903887 0 0 0 0 0 0
1790.04/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.04/1790.01 c integral : 3.33 0.00 0.00 3.33 0.00
1790.04/1790.01 c linear : 42.28 0.00 9.82 32.46 0.00
1790.04/1790.01 c indicator : 249.73 0.06 88.13 161.55 0.00
1790.04/1790.01 c logicor : 0.04 0.00 0.04 0.00 0.00
1790.04/1790.01 c countsols : 0.35 0.00 0.00 0.35 0.00
1790.04/1790.01 c Propagators : Time Calls Cutoffs DomReds
1790.04/1790.01 c vbounds : 0.73 2 0 0
1790.04/1790.01 c rootredcost : 0.70 0 0 0
1790.04/1790.01 c pseudoobj : 47.41 3757100 0 0
1790.04/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.04/1790.01 c propagation : 0.00 30 30 36 12.0 1 6.0 -
1790.04/1790.01 c infeasible LP : 0.00 6 6 7 15.7 0 0.0 0
1790.04/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.04/1790.01 c applied globally : - - - 44 12.4 - - -
1790.04/1790.01 c applied locally : - - - 0 0.0 - - -
1790.04/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.04/1790.01 c cut pool : 0.00 4 - - 31 - (maximal pool size: 263)
1790.04/1790.01 c redcost : 121.63 2978253 0 0 0 0
1790.04/1790.01 c impliedbounds : 0.00 5 0 0 0 0
1790.04/1790.01 c intobj : 0.00 0 0 0 0 0
1790.04/1790.01 c cgmip : 0.00 0 0 0 0 0
1790.04/1790.01 c gomory : 0.02 5 0 0 69 0
1790.04/1790.01 c strongcg : 0.02 5 0 0 379 0
1790.04/1790.01 c cmir : 0.01 5 0 0 0 0
1790.04/1790.01 c flowcover : 0.01 5 0 0 0 0
1790.04/1790.01 c clique : 0.00 1 0 0 0 0
1790.04/1790.01 c zerohalf : 0.00 0 0 0 0 0
1790.04/1790.01 c mcf : 0.00 1 0 0 0 0
1790.04/1790.01 c rapidlearning : 0.06 1 0 0 0 0
1790.04/1790.01 c Pricers : Time Calls Vars
1790.04/1790.01 c problem variables: 0.00 0 0
1790.04/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.04/1790.01 c relpscost : 2.53 10337 0 85 0 0 20512
1790.04/1790.01 c pscost : 0.00 0 0 0 0 0 0
1790.04/1790.01 c inference : 315.96 2903887 0 0 0 0 5807774
1790.04/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1790.04/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1790.04/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.01 c random : 0.00 0 0 0 0 0 0
1790.04/1790.01 c Primal Heuristics : Time Calls Found
1790.04/1790.01 c LP solutions : 0.00 - 0
1790.04/1790.01 c pseudo solutions : 0.00 - 0
1790.04/1790.01 c intshifting : 0.00 0 0
1790.04/1790.01 c feaspump : 0.00 0 0
1790.04/1790.01 c oneopt : 1.25 1 0
1790.04/1790.01 c crossover : 0.86 13 2
1790.04/1790.01 c fracdiving : 7.05 10941 0
1790.04/1790.01 c veclendiving : 7.02 10941 0
1790.04/1790.01 c guideddiving : 7.05 10941 0
1790.04/1790.01 c pscostdiving : 7.15 10941 0
1790.04/1790.01 c linesearchdiving : 6.98 10942 0
1790.04/1790.01 c coefdiving : 6.97 10942 0
1790.04/1790.01 c objpscostdiving : 7.27 10940 0
1790.04/1790.01 c rootsoldiving : 7.36 10940 0
1790.04/1790.01 c trivial : 0.00 2 1
1790.04/1790.01 c simplerounding : 0.72 10342 0
1790.04/1790.01 c zirounding : 0.58 1000 0
1790.04/1790.01 c rounding : 0.49 1395 0
1790.04/1790.01 c shifting : 0.18 453 0
1790.04/1790.01 c twoopt : 0.00 0 0
1790.04/1790.01 c fixandinfer : 0.00 0 0
1790.04/1790.01 c intdiving : 0.00 0 0
1790.04/1790.01 c actconsdiving : 0.00 0 0
1790.04/1790.01 c octane : 0.00 0 0
1790.04/1790.01 c rens : 0.01 1 0
1790.04/1790.01 c rins : 0.00 0 0
1790.04/1790.01 c localbranching : 0.00 0 0
1790.04/1790.01 c mutation : 0.00 0 0
1790.04/1790.01 c dins : 0.00 0 0
1790.04/1790.01 c undercover : 0.00 0 0
1790.04/1790.01 c nlp : 0.40 0 0
1790.04/1790.01 c trysol : 0.68 11102 97
1790.04/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1790.04/1790.01 c primal LP : 0.00 0 0 0.00 -
1790.04/1790.01 c dual LP : 560.40 164846 533482 3.24 951.96
1790.04/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1790.04/1790.01 c barrier LP : 0.00 0 0 0.00 -
1790.04/1790.01 c diving/probing LP: 0.01 16 80 5.00 -
1790.04/1790.01 c strong branching : 2.46 4456 21426 4.81 8697.89
1790.04/1790.01 c (at root node) : - 33 1771 53.67 -
1790.04/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1790.04/1790.01 c B&B Tree :
1790.04/1790.01 c number of runs : 1
1790.04/1790.01 c nodes : 2914186
1790.04/1790.01 c nodes (total) : 2914186
1790.04/1790.01 c nodes left : 2914101
1790.04/1790.01 c max depth : 537
1790.04/1790.01 c max depth (total): 537
1790.04/1790.01 c backtracks : 10948 (0.4%)
1790.04/1790.01 c delayed cutoffs : 0
1790.04/1790.01 c repropagations : 430 (202 domain reductions, 0 cutoffs)
1790.04/1790.01 c avg switch length: 2.07
1790.04/1790.01 c switching time : 57.56
1790.04/1790.01 c Solution :
1790.04/1790.01 c Solutions found : 100 (1 improvements)
1790.04/1790.01 c First Solution : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1790.04/1790.01 c Primal Bound : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1790.04/1790.01 c Dual Bound : +0.00000000000000e+00
1790.04/1790.01 c Gap : infinite
1790.04/1790.01 c Root Dual Bound : +0.00000000000000e+00
1790.04/1790.01 c Root Iterations : 259
1794.94/1794.98 c Time complete: 1795.03.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705742-1278580125/watcher-2705742-1278580125 -o /tmp/evaluation-result-2705742-1278580125/solver-2705742-1278580125 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705742-1278580125.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.94 4/178 22709
/proc/meminfo: memFree=29670784/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=12540 CPUtime=0
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 1972 0 0 0 0 0 0 0 21 0 1 0 26227457 12840960 1890 4089446400 4194304 10345943 140737180695664 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/22709/statm: 3135 1891 429 1502 0 1628 0
[startup+0.058425 s]
/proc/loadavg: 2.00 2.00 1.94 4/178 22709
/proc/meminfo: memFree=29670784/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=24596 CPUtime=0.05
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 5244 0 0 0 5 0 0 0 21 0 1 0 26227457 25186304 4808 4089446400 4194304 10345943 140737180695664 18446744073709551615 4871407 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 6149 4808 572 1502 0 4642 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 24596
[startup+0.100359 s]
/proc/loadavg: 2.00 2.00 1.94 4/178 22709
/proc/meminfo: memFree=29670784/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=40308 CPUtime=0.09
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 8947 0 0 0 8 1 0 0 21 0 1 0 26227457 41275392 8511 4089446400 4194304 10345943 140737180695664 18446744073709551615 9186026 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 10077 8511 636 1502 0 8570 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40308
[startup+0.300322 s]
/proc/loadavg: 2.00 2.00 1.94 4/178 22709
/proc/meminfo: memFree=29670784/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=37436 CPUtime=0.29
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 10811 0 0 0 28 1 0 0 21 0 1 0 26227457 38334464 8221 4089446400 4194304 10345943 140737180695664 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 9359 8221 758 1502 0 7852 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37436
[startup+0.70025 s]
/proc/loadavg: 2.00 2.00 1.94 4/178 22709
/proc/meminfo: memFree=29670784/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=38380 CPUtime=0.69
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 12541 0 0 0 68 1 0 0 22 0 1 0 26227457 39301120 8460 4089446400 4194304 10345943 140737180695664 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 9595 8460 761 1502 0 8088 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38380
[startup+1.50111 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22710
/proc/meminfo: memFree=29638700/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=39432 CPUtime=1.49
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 14301 0 0 0 147 2 0 0 25 0 1 0 26227457 40378368 8727 4089446400 4194304 10345943 140737180695664 18446744073709551615 4606122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 9858 8727 761 1502 0 8351 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39432
[startup+3.10082 s]
/proc/loadavg: 2.00 2.00 1.94 2/174 22728
/proc/meminfo: memFree=30102252/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=51752 CPUtime=3.09
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 19163 0 0 0 306 3 0 0 25 0 1 0 26227457 52994048 11124 4089446400 4194304 10345943 140737180695664 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 12938 11124 761 1502 0 11431 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51752
[startup+6.30025 s]
/proc/loadavg: 1.92 1.98 1.93 3/179 22738
/proc/meminfo: memFree=30041368/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=52280 CPUtime=6.29
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 20355 0 0 0 626 3 0 0 25 0 1 0 26227457 53534720 11870 4089446400 4194304 10345943 140737180695664 18446744073709551615 4696469 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 13070 11870 764 1502 0 11563 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52280
[startup+12.7011 s]
/proc/loadavg: 1.93 1.98 1.93 3/179 22738
/proc/meminfo: memFree=30033192/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=55656 CPUtime=12.69
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 23215 0 0 0 1264 5 0 0 25 0 1 0 26227457 56991744 12556 4089446400 4194304 10345943 140737180695664 18446744073709551615 4701030 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 13914 12556 765 1502 0 12407 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55656
[startup+25.5008 s]
/proc/loadavg: 1.94 1.98 1.93 3/179 22738
/proc/meminfo: memFree=29998228/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=74608 CPUtime=25.49
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 30146 0 0 0 2541 8 0 0 25 0 1 0 26227457 76398592 17082 4089446400 4194304 10345943 140737180695664 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 18652 17082 765 1502 0 17145 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 74608
[startup+51.1001 s]
/proc/loadavg: 1.96 1.98 1.93 3/179 22739
/proc/meminfo: memFree=29921616/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=113732 CPUtime=51.09
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 41884 0 0 0 5096 13 0 0 25 0 1 0 26227457 116461568 26497 4089446400 4194304 10345943 140737180695664 18446744073709551615 4881987 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 28433 26497 765 1502 0 26926 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 113732
[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.93 3/179 22740
/proc/meminfo: memFree=29771240/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=190436 CPUtime=102.3
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 63452 0 0 0 10206 24 0 0 25 0 1 0 26227457 195006464 45893 4089446400 4194304 10345943 140737180695664 18446744073709551615 6864973 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 47609 45893 765 1502 0 46102 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 190436
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 22742
/proc/meminfo: memFree=29593876/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=283972 CPUtime=162.29
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 87820 0 0 0 16193 36 0 0 25 0 1 0 26227457 290787328 68250 4089446400 4194304 10345943 140737180695664 18446744073709551615 6307527 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 70993 68250 765 1502 0 69486 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 283972
[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 22743
/proc/meminfo: memFree=29422444/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=375792 CPUtime=222.3
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 110719 0 0 0 22180 50 0 0 25 0 1 0 26227457 384811008 91149 4089446400 4194304 10345943 140737180695664 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 93948 91149 765 1502 0 92441 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 375792
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 22745
/proc/meminfo: memFree=29248676/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=464548 CPUtime=282.3
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 135300 0 0 0 28168 62 0 0 25 0 1 0 26227457 475697152 113641 4089446400 4194304 10345943 140737180695664 18446744073709551615 6003080 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 116137 113641 765 1502 0 114630 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 464548
[startup+342.3 s]
/proc/loadavg: 2.06 2.00 1.94 3/179 22746
/proc/meminfo: memFree=29070916/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=565748 CPUtime=342.3
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 158530 0 0 0 34155 75 0 0 25 0 1 0 26227457 579325952 136871 4089446400 4194304 10345943 140737180695664 18446744073709551615 6802995 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 141437 136871 765 1502 0 139930 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 565748
[startup+402.3 s]
/proc/loadavg: 2.07 2.01 1.94 3/179 22748
/proc/meminfo: memFree=28897508/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=656692 CPUtime=402.31
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 181248 0 0 0 40142 89 0 0 25 0 1 0 26227457 672452608 159589 4089446400 4194304 10345943 140737180695664 18446744073709551615 6777414 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 164173 159589 765 1502 0 162666 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 656692
[startup+462.301 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 22750
/proc/meminfo: memFree=28715660/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=750364 CPUtime=462.31
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 204553 0 0 0 46130 101 0 0 25 0 1 0 26227457 768372736 182894 4089446400 4194304 10345943 140737180695664 18446744073709551615 6785812 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 187591 182894 765 1502 0 186084 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 750364
[startup+522.301 s]
/proc/loadavg: 2.01 2.00 1.94 3/179 22751
/proc/meminfo: memFree=28539152/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=842980 CPUtime=522.31
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 230192 0 0 0 52117 114 0 0 25 0 1 0 26227457 863211520 206413 4089446400 4194304 10345943 140737180695664 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 210745 206413 765 1502 0 209238 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 842980
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 22756
/proc/meminfo: memFree=28360028/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=934608 CPUtime=582.3
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 253247 0 0 0 58104 126 0 0 25 0 1 0 26227457 957038592 229468 4089446400 4194304 10345943 140737180695664 18446744073709551615 4696469 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 233652 229468 765 1502 0 232145 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 934608
[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22757
/proc/meminfo: memFree=28182060/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=1047456 CPUtime=642.32
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 277077 0 0 0 64093 139 0 0 25 0 1 0 26227457 1072594944 253298 4089446400 4194304 10345943 140737180695664 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 261864 253298 765 1502 0 260357 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 1047456
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=26970524/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=1704988 CPUtime=1062.33
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 443718 0 0 0 106004 229 0 0 25 0 1 0 26227457 1745907712 417882 4089446400 4194304 10345943 140737180695664 18446744073709551615 6555472 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 426247 417882 765 1502 0 424740 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 1704988
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/179 22770
/proc/meminfo: memFree=26801204/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=1798564 CPUtime=1122.33
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 467098 0 0 0 111992 241 0 0 25 0 1 0 26227457 1841729536 441262 4089446400 4194304 10345943 140737180695664 18446744073709551615 6119630 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 449641 441262 765 1502 0 448134 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1798564
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 22772
/proc/meminfo: memFree=26628664/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=1894696 CPUtime=1182.33
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 491029 0 0 0 117979 254 0 0 25 0 1 0 26227457 1940168704 465192 4089446400 4194304 10345943 140737180695664 18446744073709551615 6119682 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 473674 465192 765 1502 0 472167 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1894696
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 22773
/proc/meminfo: memFree=26452140/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=1988512 CPUtime=1242.32
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 514214 0 0 0 123966 266 0 0 25 0 1 0 26227457 2036236288 488377 4089446400 4194304 10345943 140737180695664 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 497128 488377 765 1502 0 495621 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1988512
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 22775
/proc/meminfo: memFree=26282076/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=2114996 CPUtime=1302.33
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 537746 0 0 0 129954 279 0 0 25 0 1 0 26227457 2165755904 511909 4089446400 4194304 10345943 140737180695664 18446744073709551615 4246743 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 528749 511909 765 1502 0 527242 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2114996
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 22777
/proc/meminfo: memFree=26115112/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=2208524 CPUtime=1362.33
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 561118 0 0 0 135940 293 0 0 25 0 1 0 26227457 2261528576 535281 4089446400 4194304 10345943 140737180695664 18446744073709551615 6307534 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 552131 535281 765 1502 0 550624 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 2208524
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 22778
/proc/meminfo: memFree=25988580/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=2304092 CPUtime=1422.34
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 585081 0 0 0 141927 307 0 0 25 0 1 0 26227457 2359390208 559244 4089446400 4194304 10345943 140737180695664 18446744073709551615 6757651 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 576023 559244 765 1502 0 574516 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2304092
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 22780
/proc/meminfo: memFree=25840224/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=2401552 CPUtime=1482.34
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 609115 0 0 0 147913 321 0 0 25 0 1 0 26227457 2459189248 583278 4089446400 4194304 10345943 140737180695664 18446744073709551615 4282987 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 600388 583278 765 1502 0 598881 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 2401552
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 1.96 3/179 22781
/proc/meminfo: memFree=25691852/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=2492024 CPUtime=1542.34
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 631802 0 0 0 153898 336 0 0 25 0 1 0 26227457 2551832576 605965 4089446400 4194304 10345943 140737180695664 18446744073709551615 6002258 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 623006 605965 765 1502 0 621499 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 2492024
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/179 22783
/proc/meminfo: memFree=25532696/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=2589184 CPUtime=1602.33
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 655969 0 0 0 159882 351 0 0 25 0 1 0 26227457 2651324416 630132 4089446400 4194304 10345943 140737180695664 18446744073709551615 4447953 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 647296 630132 765 1502 0 645789 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2589184
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 22785
/proc/meminfo: memFree=25397736/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=2682328 CPUtime=1662.34
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 679358 0 0 0 165871 363 0 0 25 0 1 0 26227457 2746703872 653521 4089446400 4194304 10345943 140737180695664 18446744073709551615 18446744073699065863 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 670582 653521 765 1502 0 669075 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 2682328
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 22786
/proc/meminfo: memFree=25269696/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=2778724 CPUtime=1722.35
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 703295 0 0 0 171859 376 0 0 25 0 1 0 26227457 2845413376 677458 4089446400 4194304 10345943 140737180695664 18446744073709551615 6119680 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 694681 677458 765 1502 0 693174 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 2778724
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 22788
/proc/meminfo: memFree=25101112/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=2874564 CPUtime=1782.34
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 727154 0 0 0 177846 388 0 0 25 0 1 0 26227457 2943553536 701316 4089446400 4194304 10345943 140737180695664 18446744073709551615 9137947 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 718641 701316 765 1502 0 717134 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 2874564
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 22788
/proc/meminfo: memFree=25089700/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=2880300 CPUtime=1785.54
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 728702 0 0 0 178166 388 0 0 25 0 1 0 26227457 2949427200 702864 4089446400 4194304 10345943 140737180695664 18446744073709551615 6702724 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22709/statm: 720075 702864 765 1502 0 718568 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 2880300
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 22788
/proc/meminfo: memFree=25074180/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=2887276 CPUtime=1791.95
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 730539 0 0 0 178806 389 0 0 25 0 1 0 26227457 2956570624 704701 4089446400 4194304 10345943 140737180695664 18446744073709551615 6325133 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/22709/statm: 721819 704701 769 1502 0 720312 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 2887276
[startup+1793.5 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 22788
/proc/meminfo: memFree=25072196/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=2887276 CPUtime=1793.54
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 730539 0 0 0 178965 389 0 0 25 0 1 0 26227457 2956570624 704701 4089446400 4194304 10345943 140737180695664 18446744073709551615 6325514 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/22709/statm: 721819 704701 769 1502 0 720312 0
Current children cumulated CPU time (s) 1793.54
Current children cumulated vsize (KiB) 2887276
[startup+1794.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 22788
/proc/meminfo: memFree=25072196/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=2887276 CPUtime=1794.34
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 730539 0 0 0 179045 389 0 0 25 0 1 0 26227457 2956570624 704701 4089446400 4194304 10345943 140737180695664 18446744073709551615 6325573 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/22709/statm: 721819 704701 769 1502 0 720312 0
Current children cumulated CPU time (s) 1794.34
Current children cumulated vsize (KiB) 2887276
[startup+1794.7 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 22788
/proc/meminfo: memFree=25072196/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=2887276 CPUtime=1794.74
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 730539 0 0 0 179085 389 0 0 25 0 1 0 26227457 2956570624 704701 4089446400 4194304 10345943 140737180695664 18446744073709551615 4723460 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/22709/statm: 721819 704701 769 1502 0 720312 0
Current children cumulated CPU time (s) 1794.74
Current children cumulated vsize (KiB) 2887276
[startup+1794.9 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 22788
/proc/meminfo: memFree=25072196/32951124 swapFree=67111528/67111528
[pid=22709] ppid=22707 vsize=2822752 CPUtime=1794.94
/proc/22709/stat : 22709 (pbscip.linux.x8) R 22707 22709 22142 0 -1 4202496 730539 0 0 0 179104 390 0 0 25 0 1 0 26227457 2890498048 622490 4089446400 4194304 10345943 140737180695664 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/22709/statm: 705688 621978 769 1502 0 704181 0
Current children cumulated CPU time (s) 1794.94
Current children cumulated vsize (KiB) 2822752
Child status: 0
Real time (s): 1794.99
CPU time (s): 1795.04
CPU user time (s): 1791.05
CPU system time (s): 3.99139
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2887276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.05
system time used= 3.99139
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 730542
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 18974
runsolver used 2.40763 second user time and 5.83211 second system time
The end
Begin job on node106 at 2010-07-08 11:08:45
IDJOB=2705742
IDBENCH=79406
IDSOLVER=1214
FILE ID=node106/2705742-1278580125
PBS_JOBID= 11240241
Free space on /tmp= 73236 MiB
SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh11_wcsp.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705742-1278580125/watcher-2705742-1278580125 -o /tmp/evaluation-result-2705742-1278580125/solver-2705742-1278580125 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705742-1278580125.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 540e5098c207f1245411172896d943a2
RANDOM SEED=1131462059
node106.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.814
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.62
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.814
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.814
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.814
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.814
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.814
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.814
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.814
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: 29671188 kB
Buffers: 155808 kB
Cached: 2441960 kB
SwapCached: 0 kB
Active: 1548592 kB
Inactive: 1560464 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 29671188 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 12860 kB
Writeback: 0 kB
AnonPages: 511592 kB
Mapped: 17752 kB
Slab: 104516 kB
PageTables: 6088 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 661364 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= 73224 MiB
End job on node106 at 2010-07-08 11:38:40