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-2705757-1278580129.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.03 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.04/0.06 c (0.0s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.04/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.04/0.06 c presolving (3 rounds):
0.04/0.06 c 100 deleted vars, 101 deleted constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.04/0.06 c 1900 implications, 0 cliques
0.04/0.06 c presolved problem has 1800 variables (950 bin, 0 int, 850 impl, 0 cont) and 1700 constraints
0.04/0.06 c 850 constraints of type <linear>
0.04/0.06 c 850 constraints of type <indicator>
0.04/0.06 c transformed objective value is always integral (scale: 1)
0.04/0.06 c Presolving Time: 0.04
0.04/0.06 c - non default parameters ----------------------------------------------------------------------
0.04/0.06 c # SCIP version 1.2.1.3
0.04/0.06 c
0.04/0.06 c # frequency for displaying node information lines
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.04/0.06 c display/freq = 10000
0.04/0.06 c
0.04/0.06 c # maximal time in seconds to run
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.06 c limits/time = 1789.99
0.04/0.06 c
0.04/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.06 c limits/memory = 3420
0.04/0.06 c
0.04/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.04/0.06 c # [type: int, range: [1,2], default: 1]
0.04/0.06 c timing/clocktype = 2
0.04/0.06 c
0.04/0.06 c # should presolving try to simplify inequalities
0.04/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.06 c constraints/linear/simplifyinequalities = TRUE
0.04/0.06 c
0.04/0.06 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.04/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.06 c constraints/indicator/addCouplingCons = TRUE
0.04/0.06 c
0.04/0.06 c # should presolving try to simplify knapsacks
0.04/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.04/0.06 c
0.04/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.06 c separating/rapidlearning/freq = 0
0.04/0.06 c
0.04/0.06 c -----------------------------------------------------------------------------------------------
0.04/0.06 c start solving
0.04/0.06 c
0.04/0.06 o 420925
0.04/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.04/0.06 c t 0.0s| 1 | 0 | 0 | - |6284k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | -- | 4.209250e+05 | Inf
0.04/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.12 c 0.1s| 1 | 0 | 40 | - |6746k| 0 | 0 |1800 |1700 |1800 | 68 | 68 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 142 | - |6777k| 0 | 43 |1800 |1700 |1800 | 124 | 124 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 214 | - |6960k| 0 | 75 |1800 |1700 |1800 | 163 | 163 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.16 c 0.1s| 1 | 0 | 255 | - |7467k| 0 | 78 |1800 |1700 |1800 | 179 | 179 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.19 c 0.2s| 1 | 0 | 275 | - |8063k| 0 | 77 |1800 |1700 |1800 | 183 | 183 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 299 | - |8654k| 0 | 80 |1800 |1700 |1800 | 186 | 186 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.29/0.31 c 0.3s| 1 | 2 | 299 | - |8679k| 0 | 80 |1800 |1700 |1800 | 186 | 186 | 0 | 33 | 0.000000e+00 | 4.209250e+05 | Inf
10.59/10.63 c 10.6s| 10000 | 10001 | 57174 | 5.7 | 21M| 91 | 17 |1800 |1700 |1800 | 278 | 16k| 0 | 790 | 0.000000e+00 | 4.209250e+05 | Inf
18.89/18.99 c 19.0s| 20000 | 19999 | 89032 | 4.4 | 31M| 113 | 0 |1800 |1700 |1800 | 266 | 26k| 0 | 790 | 0.000000e+00 | 4.209250e+05 | Inf
27.18/27.27 c 27.3s| 30000 | 29995 |121151 | 4.0 | 41M| 113 | 8 |1800 |1702 |1800 | 234 | 36k| 2 | 801 | 0.000000e+00 | 4.209250e+05 | Inf
35.78/35.81 c 35.8s| 40000 | 39995 |163905 | 4.1 | 51M| 113 | 0 |1800 |1702 |1800 | 284 | 47k| 2 | 901 | 0.000000e+00 | 4.209250e+05 | Inf
44.08/44.15 c 44.1s| 50000 | 49995 |195914 | 3.9 | 61M| 113 | 0 |1800 |1702 |1800 | 279 | 57k| 2 |1006 | 0.000000e+00 | 4.209250e+05 | Inf
52.48/52.56 c 52.6s| 60000 | 59995 |230666 | 3.8 | 71M| 113 | 9 |1800 |1702 |1800 | 270 | 68k| 2 |1106 | 0.000000e+00 | 4.209250e+05 | Inf
60.89/60.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.89/60.90 c 60.9s| 70000 | 69993 |266346 | 3.8 | 81M| 113 | 11 |1800 |1702 |1800 | 270 | 78k| 2 |1208 | 0.000000e+00 | 4.209250e+05 | Inf
69.19/69.25 c 69.2s| 80000 | 79993 |306779 | 3.8 | 91M| 117 | 20 |1800 |1702 |1800 | 206 | 89k| 2 |1317 | 0.000000e+00 | 4.209250e+05 | Inf
77.78/77.85 c 77.8s| 90000 | 89993 |356274 | 4.0 | 101M| 117 | 0 |1800 |1702 |1800 | 306 | 101k| 2 |1487 | 0.000000e+00 | 4.209250e+05 | Inf
86.29/86.36 c 86.3s|100000 | 99991 |396716 | 4.0 | 111M| 117 | 0 |1800 |1703 |1800 | 262 | 113k| 3 |1588 | 0.000000e+00 | 4.209250e+05 | Inf
94.49/94.60 c 94.6s|110000 |109991 |428197 | 3.9 | 121M| 117 | 11 |1800 |1703 |1800 | 262 | 122k| 3 |1672 | 0.000000e+00 | 4.209250e+05 | Inf
102.99/103.02 c 103s|120000 |119991 |464568 | 3.9 | 131M| 117 | 27 |1800 |1703 |1800 | 184 | 133k| 3 |1786 | 0.000000e+00 | 4.209250e+05 | Inf
111.38/111.46 c 111s|130000 |129991 |503468 | 3.9 | 141M| 117 | 0 |1800 |1703 |1800 | 269 | 144k| 3 |1885 | 0.000000e+00 | 4.209250e+05 | Inf
120.19/120.23 c 120s|140000 |139991 |556743 | 4.0 | 151M| 117 | 5 |1800 |1703 |1800 | 248 | 159k| 3 |2050 | 0.000000e+00 | 4.209250e+05 | Inf
128.88/128.91 c 129s|150000 |149991 |600303 | 4.0 | 161M| 117 | 0 |1800 |1703 |1800 | 291 | 173k| 3 |2130 | 0.000000e+00 | 4.209250e+05 | Inf
137.50/137.55 c 138s|160000 |159991 |639392 | 4.0 | 171M| 117 | 0 |1800 |1703 |1800 | 285 | 188k| 3 |2219 | 0.000000e+00 | 4.209250e+05 | Inf
145.89/145.99 c 146s|170000 |169991 |672513 | 4.0 | 181M| 117 | 8 |1800 |1703 |1800 | 200 | 200k| 3 |2285 | 0.000000e+00 | 4.209250e+05 | Inf
154.59/154.69 c 155s|180000 |179991 |713601 | 4.0 | 191M| 117 | 0 |1800 |1703 |1800 | 266 | 215k| 3 |2371 | 0.000000e+00 | 4.209250e+05 | Inf
163.19/163.28 c 163s|190000 |189991 |747329 | 3.9 | 201M| 117 | 11 |1800 |1703 |1800 | 255 | 227k| 3 |2451 | 0.000000e+00 | 4.209250e+05 | Inf
172.08/172.14 c 172s|200000 |199991 |795707 | 4.0 | 211M| 117 | 15 |1800 |1703 |1800 | 245 | 241k| 3 |2535 | 0.000000e+00 | 4.209250e+05 | Inf
180.99/181.02 c 181s|210000 |209991 |845219 | 4.0 | 221M| 117 | 22 |1800 |1703 |1800 | 209 | 257k| 3 |2605 | 0.000000e+00 | 4.209250e+05 | Inf
189.89/189.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
189.89/189.96 c 190s|220000 |219991 |895164 | 4.1 | 231M| 117 | 0 |1800 |1703 |1800 | 297 | 273k| 3 |2699 | 0.000000e+00 | 4.209250e+05 | Inf
198.59/198.61 c 199s|230000 |229991 |932695 | 4.1 | 242M| 117 | 0 |1800 |1703 |1800 | 263 | 284k| 3 |2790 | 0.000000e+00 | 4.209250e+05 | Inf
207.08/207.12 c 207s|240000 |239991 |965939 | 4.0 | 252M| 129 | 0 |1800 |1703 |1800 | 277 | 295k| 3 |2860 | 0.000000e+00 | 4.209250e+05 | Inf
215.59/215.63 c 216s|250000 |249991 | 1004k| 4.0 | 262M| 129 | 4 |1800 |1703 |1800 | 260 | 308k| 3 |2924 | 0.000000e+00 | 4.209250e+05 | Inf
223.99/224.06 c 224s|260000 |259991 | 1042k| 4.0 | 272M| 129 | 0 |1800 |1703 |1800 | 266 | 321k| 3 |2966 | 0.000000e+00 | 4.209250e+05 | Inf
232.39/232.44 c 232s|270000 |269991 | 1076k| 4.0 | 282M| 129 | 0 |1800 |1703 |1800 | 266 | 333k| 3 |3031 | 0.000000e+00 | 4.209250e+05 | Inf
240.69/240.72 c 241s|280000 |279991 | 1106k| 4.0 | 292M| 129 | 2 |1800 |1703 |1800 | 268 | 343k| 3 |3090 | 0.000000e+00 | 4.209250e+05 | Inf
248.99/249.01 c 249s|290000 |289991 | 1135k| 3.9 | 302M| 129 | 6 |1800 |1703 |1800 | 257 | 353k| 3 |3125 | 0.000000e+00 | 4.209250e+05 | Inf
257.09/257.19 c 257s|300000 |299991 | 1163k| 3.9 | 311M| 129 | 19 |1800 |1703 |1800 | 268 | 363k| 3 |3171 | 0.000000e+00 | 4.209250e+05 | Inf
265.39/265.48 c 265s|310000 |309991 | 1195k| 3.9 | 321M| 129 | 9 |1800 |1703 |1800 | 265 | 374k| 3 |3210 | 0.000000e+00 | 4.209250e+05 | Inf
273.69/273.79 c 274s|320000 |319991 | 1222k| 3.8 | 331M| 129 | 0 |1800 |1703 |1800 | 278 | 383k| 3 |3255 | 0.000000e+00 | 4.209250e+05 | Inf
281.79/281.85 c 282s|330000 |329989 | 1246k| 3.8 | 341M| 129 | 0 |1800 |1703 |1800 | 277 | 392k| 3 |3288 | 0.000000e+00 | 4.209250e+05 | Inf
290.09/290.12 c 290s|340000 |339989 | 1275k| 3.7 | 351M| 129 | 22 |1800 |1703 |1800 | 200 | 401k| 3 |3318 | 0.000000e+00 | 4.209250e+05 | Inf
298.29/298.36 c 298s|350000 |349989 | 1304k| 3.7 | 361M| 129 | 10 |1800 |1703 |1800 | 269 | 412k| 3 |3364 | 0.000000e+00 | 4.209250e+05 | Inf
306.60/306.61 c 307s|360000 |359989 | 1333k| 3.7 | 371M| 129 | 0 |1800 |1703 |1800 | 265 | 422k| 3 |3392 | 0.000000e+00 | 4.209250e+05 | Inf
314.89/314.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
314.89/314.98 c 315s|370000 |369989 | 1365k| 3.7 | 381M| 129 | 0 |1800 |1703 |1800 | 269 | 433k| 3 |3441 | 0.000000e+00 | 4.209250e+05 | Inf
323.20/323.25 c 323s|380000 |379989 | 1394k| 3.7 | 391M| 129 | 0 |1800 |1703 |1800 | 255 | 443k| 3 |3469 | 0.000000e+00 | 4.209250e+05 | Inf
331.39/331.42 c 331s|390000 |389987 | 1422k| 3.6 | 401M| 129 | 14 |1800 |1704 |1800 | 272 | 453k| 4 |3517 | 0.000000e+00 | 4.209250e+05 | Inf
339.49/339.53 c 340s|400000 |399987 | 1447k| 3.6 | 411M| 129 | 21 |1800 |1704 |1800 | 246 | 461k| 4 |3542 | 0.000000e+00 | 4.209250e+05 | Inf
347.80/347.80 c 348s|410000 |409987 | 1474k| 3.6 | 421M| 129 | 0 |1800 |1704 |1800 | 273 | 471k| 4 |3567 | 0.000000e+00 | 4.209250e+05 | Inf
355.99/356.02 c 356s|420000 |419987 | 1496k| 3.6 | 431M| 129 | 0 |1800 |1704 |1800 | 268 | 478k| 4 |3599 | 0.000000e+00 | 4.209250e+05 | Inf
364.29/364.32 c 364s|430000 |429985 | 1524k| 3.5 | 441M| 129 | 0 |1800 |1705 |1800 | 289 | 488k| 5 |3649 | 0.000000e+00 | 4.209250e+05 | Inf
372.39/372.46 c 372s|440000 |439985 | 1550k| 3.5 | 451M| 129 | 16 |1800 |1705 |1800 | 239 | 497k| 5 |3685 | 0.000000e+00 | 4.209250e+05 | Inf
380.59/380.61 c 381s|450000 |449985 | 1576k| 3.5 | 461M| 129 | 0 |1800 |1705 |1800 | 267 | 505k| 5 |3712 | 0.000000e+00 | 4.209250e+05 | Inf
388.69/388.72 c 389s|460000 |459985 | 1600k| 3.5 | 471M| 129 | 0 |1800 |1705 |1800 | 252 | 514k| 5 |3747 | 0.000000e+00 | 4.209250e+05 | Inf
396.79/396.82 c 397s|470000 |469985 | 1626k| 3.5 | 481M| 129 | 0 |1800 |1705 |1800 | 297 | 523k| 5 |3784 | 0.000000e+00 | 4.209250e+05 | Inf
405.00/405.06 c 405s|480000 |479985 | 1657k| 3.5 | 491M| 129 | 0 |1800 |1705 |1800 | 252 | 533k| 5 |3811 | 0.000000e+00 | 4.209250e+05 | Inf
413.19/413.25 c 413s|490000 |489985 | 1684k| 3.4 | 500M| 129 | 0 |1800 |1705 |1800 | 261 | 542k| 5 |3849 | 0.000000e+00 | 4.209250e+05 | Inf
421.40/421.40 c 421s|500000 |499985 | 1708k| 3.4 | 510M| 129 | 0 |1800 |1705 |1800 | 272 | 551k| 5 |3874 | 0.000000e+00 | 4.209250e+05 | Inf
429.50/429.57 c 430s|510000 |509985 | 1733k| 3.4 | 520M| 129 | 0 |1800 |1705 |1800 | 287 | 559k| 5 |3908 | 0.000000e+00 | 4.209250e+05 | Inf
437.60/437.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
437.60/437.66 c 438s|520000 |519985 | 1759k| 3.4 | 530M| 129 | 0 |1800 |1705 |1800 | 276 | 568k| 5 |3933 | 0.000000e+00 | 4.209250e+05 | Inf
445.60/445.67 c 446s|530000 |529985 | 1782k| 3.4 | 540M| 129 | 14 |1800 |1705 |1800 | 287 | 576k| 5 |3959 | 0.000000e+00 | 4.209250e+05 | Inf
453.60/453.68 c 454s|540000 |539985 | 1806k| 3.3 | 550M| 129 | 0 |1800 |1705 |1800 | 270 | 584k| 5 |3980 | 0.000000e+00 | 4.209250e+05 | Inf
461.70/461.74 c 462s|550000 |549985 | 1830k| 3.3 | 560M| 129 | 16 |1800 |1705 |1800 | 251 | 593k| 5 |4003 | 0.000000e+00 | 4.209250e+05 | Inf
469.60/469.66 c 470s|560000 |559985 | 1850k| 3.3 | 570M| 129 | 0 |1800 |1705 |1800 | 277 | 600k| 5 |4026 | 0.000000e+00 | 4.209250e+05 | Inf
477.60/477.60 c 478s|570000 |569985 | 1873k| 3.3 | 580M| 129 | 0 |1800 |1705 |1800 | 275 | 608k| 5 |4049 | 0.000000e+00 | 4.209250e+05 | Inf
485.60/485.64 c 486s|580000 |579985 | 1894k| 3.3 | 590M| 129 | 6 |1800 |1705 |1800 | 274 | 616k| 5 |4070 | 0.000000e+00 | 4.209250e+05 | Inf
493.70/493.70 c 494s|590000 |589985 | 1920k| 3.3 | 599M| 129 | 4 |1800 |1705 |1800 | 263 | 624k| 5 |4097 | 0.000000e+00 | 4.209250e+05 | Inf
501.61/501.65 c 502s|600000 |599985 | 1941k| 3.2 | 609M| 129 | 0 |1800 |1705 |1800 | 270 | 631k| 5 |4112 | 0.000000e+00 | 4.209250e+05 | Inf
509.60/509.61 c 510s|610000 |609985 | 1963k| 3.2 | 619M| 129 | 0 |1800 |1705 |1800 | 270 | 639k| 5 |4130 | 0.000000e+00 | 4.209250e+05 | Inf
517.50/517.53 c 518s|620000 |619985 | 1984k| 3.2 | 629M| 129 | 0 |1800 |1705 |1800 | 288 | 646k| 5 |4150 | 0.000000e+00 | 4.209250e+05 | Inf
525.30/525.33 c 525s|630000 |629985 | 2004k| 3.2 | 639M| 129 | 25 |1800 |1705 |1800 | 209 | 653k| 5 |4169 | 0.000000e+00 | 4.209250e+05 | Inf
533.30/533.31 c 533s|640000 |639985 | 2026k| 3.2 | 649M| 129 | 20 |1800 |1705 |1800 | 232 | 660k| 5 |4194 | 0.000000e+00 | 4.209250e+05 | Inf
541.40/541.40 c 541s|650000 |649985 | 2052k| 3.2 | 659M| 129 | 21 |1800 |1705 |1800 | 241 | 669k| 5 |4214 | 0.000000e+00 | 4.209250e+05 | Inf
549.30/549.39 c 549s|660000 |659985 | 2076k| 3.1 | 669M| 129 | 0 |1800 |1705 |1800 | 238 | 677k| 5 |4234 | 0.000000e+00 | 4.209250e+05 | Inf
557.09/557.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
557.09/557.13 c 557s|670000 |669985 | 2094k| 3.1 | 678M| 129 | 0 |1800 |1705 |1800 | 270 | 684k| 5 |4251 | 0.000000e+00 | 4.209250e+05 | Inf
565.00/565.08 c 565s|680000 |679985 | 2117k| 3.1 | 688M| 129 | 25 |1800 |1705 |1800 | 258 | 692k| 5 |4267 | 0.000000e+00 | 4.209250e+05 | Inf
573.11/573.17 c 573s|690000 |689985 | 2145k| 3.1 | 698M| 131 | 0 |1800 |1705 |1800 | 245 | 701k| 5 |4297 | 0.000000e+00 | 4.209250e+05 | Inf
581.00/581.08 c 581s|700000 |699985 | 2166k| 3.1 | 708M| 131 | 0 |1800 |1705 |1800 | 291 | 709k| 5 |4314 | 0.000000e+00 | 4.209250e+05 | Inf
589.00/589.02 c 589s|710000 |709985 | 2189k| 3.1 | 718M| 131 | 0 |1800 |1705 |1800 | 271 | 717k| 5 |4338 | 0.000000e+00 | 4.209250e+05 | Inf
596.80/596.88 c 597s|720000 |719985 | 2207k| 3.1 | 728M| 131 | 25 |1800 |1705 |1800 | 266 | 723k| 5 |4350 | 0.000000e+00 | 4.209250e+05 | Inf
604.60/604.62 c 605s|730000 |729985 | 2225k| 3.0 | 738M| 131 | 0 |1800 |1705 |1800 | 263 | 730k| 5 |4364 | 0.000000e+00 | 4.209250e+05 | Inf
612.20/612.26 c 612s|740000 |739985 | 2240k| 3.0 | 748M| 131 | 0 |1800 |1705 |1800 | 294 | 735k| 5 |4380 | 0.000000e+00 | 4.209250e+05 | Inf
620.20/620.24 c 620s|750000 |749985 | 2264k| 3.0 | 757M| 131 | 4 |1800 |1705 |1800 | 250 | 744k| 5 |4401 | 0.000000e+00 | 4.209250e+05 | Inf
628.01/628.05 c 628s|760000 |759985 | 2282k| 3.0 | 767M| 143 | 0 |1800 |1705 |1800 | 279 | 750k| 5 |4418 | 0.000000e+00 | 4.209250e+05 | Inf
635.90/635.93 c 636s|770000 |769985 | 2302k| 3.0 | 777M| 143 | 0 |1800 |1705 |1800 | 243 | 757k| 5 |4437 | 0.000000e+00 | 4.209250e+05 | Inf
643.70/643.71 c 644s|780000 |779985 | 2323k| 3.0 | 787M| 143 | 0 |1800 |1705 |1800 | 296 | 765k| 5 |4453 | 0.000000e+00 | 4.209250e+05 | Inf
651.40/651.43 c 651s|790000 |789985 | 2342k| 3.0 | 797M| 143 | 0 |1800 |1705 |1800 | 279 | 771k| 5 |4469 | 0.000000e+00 | 4.209250e+05 | Inf
659.10/659.12 c 659s|800000 |799983 | 2361k| 3.0 | 807M| 143 | 0 |1800 |1705 |1800 | 269 | 778k| 5 |4477 | 0.000000e+00 | 4.209250e+05 | Inf
666.90/666.95 c 667s|810000 |809983 | 2381k| 2.9 | 817M| 143 | 0 |1800 |1705 |1800 | 276 | 785k| 5 |4496 | 0.000000e+00 | 4.209250e+05 | Inf
674.70/674.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
674.70/674.79 c 675s|820000 |819983 | 2402k| 2.9 | 826M| 143 | 6 |1800 |1705 |1800 | 255 | 792k| 5 |4507 | 0.000000e+00 | 4.209250e+05 | Inf
682.50/682.58 c 683s|830000 |829983 | 2422k| 2.9 | 836M| 143 | 0 |1800 |1705 |1800 | 259 | 799k| 5 |4524 | 0.000000e+00 | 4.209250e+05 | Inf
690.30/690.37 c 690s|840000 |839983 | 2443k| 2.9 | 846M| 143 | 6 |1800 |1705 |1800 | 222 | 806k| 5 |4542 | 0.000000e+00 | 4.209250e+05 | Inf
698.10/698.11 c 698s|850000 |849983 | 2462k| 2.9 | 856M| 143 | 0 |1800 |1705 |1800 | 289 | 813k| 5 |4561 | 0.000000e+00 | 4.209250e+05 | Inf
705.90/705.94 c 706s|860000 |859983 | 2484k| 2.9 | 866M| 143 | 0 |1800 |1705 |1800 | 264 | 820k| 5 |4579 | 0.000000e+00 | 4.209250e+05 | Inf
713.70/713.71 c 714s|870000 |869983 | 2504k| 2.9 | 876M| 143 | 0 |1800 |1705 |1800 | 274 | 827k| 5 |4597 | 0.000000e+00 | 4.209250e+05 | Inf
721.40/721.46 c 721s|880000 |879983 | 2521k| 2.9 | 886M| 143 | 0 |1800 |1705 |1800 | 267 | 833k| 5 |4614 | 0.000000e+00 | 4.209250e+05 | Inf
729.21/729.25 c 729s|890000 |889983 | 2540k| 2.9 | 895M| 143 | 5 |1800 |1705 |1800 | 223 | 840k| 5 |4622 | 0.000000e+00 | 4.209250e+05 | Inf
736.80/736.87 c 737s|900000 |899983 | 2553k| 2.8 | 905M| 143 | 0 |1800 |1705 |1800 | 276 | 844k| 5 |4636 | 0.000000e+00 | 4.209250e+05 | Inf
744.50/744.58 c 745s|910000 |909983 | 2569k| 2.8 | 915M| 143 | 0 |1800 |1705 |1800 | 275 | 850k| 5 |4651 | 0.000000e+00 | 4.209250e+05 | Inf
752.20/752.26 c 752s|920000 |919983 | 2586k| 2.8 | 925M| 143 | 0 |1800 |1705 |1800 | 270 | 856k| 5 |4661 | 0.000000e+00 | 4.209250e+05 | Inf
760.01/760.04 c 760s|930000 |929983 | 2605k| 2.8 | 935M| 143 | 0 |1800 |1705 |1800 | 280 | 863k| 5 |4668 | 0.000000e+00 | 4.209250e+05 | Inf
767.81/767.86 c 768s|940000 |939983 | 2625k| 2.8 | 945M| 143 | 0 |1800 |1705 |1800 | 266 | 870k| 5 |4691 | 0.000000e+00 | 4.209250e+05 | Inf
775.61/775.67 c 776s|950000 |949983 | 2646k| 2.8 | 954M| 143 | 0 |1800 |1705 |1800 | 265 | 877k| 5 |4705 | 0.000000e+00 | 4.209250e+05 | Inf
783.30/783.35 c 783s|960000 |959983 | 2663k| 2.8 | 964M| 143 | 0 |1800 |1705 |1800 | 251 | 883k| 5 |4721 | 0.000000e+00 | 4.209250e+05 | Inf
790.81/790.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
790.81/790.88 c 791s|970000 |969983 | 2677k| 2.8 | 974M| 143 | 9 |1800 |1705 |1800 | 213 | 888k| 5 |4730 | 0.000000e+00 | 4.209250e+05 | Inf
798.70/798.70 c 799s|980000 |979983 | 2697k| 2.8 | 984M| 143 | 0 |1800 |1705 |1800 | 247 | 896k| 5 |4741 | 0.000000e+00 | 4.209250e+05 | Inf
806.40/806.45 c 806s|990000 |989983 | 2718k| 2.7 | 994M| 143 | 0 |1800 |1705 |1800 | 291 | 904k| 5 |4754 | 0.000000e+00 | 4.209250e+05 | Inf
814.20/814.22 c 814s| 1000k|999981 | 2739k| 2.7 |1004M| 143 | 12 |1800 |1706 |1800 | 230 | 911k| 6 |4768 | 0.000000e+00 | 4.209250e+05 | Inf
821.71/821.75 c 822s| 1010k| 1009k| 2753k| 2.7 |1014M| 143 | 31 |1800 |1706 |1800 | 283 | 916k| 6 |4785 | 0.000000e+00 | 4.209250e+05 | Inf
829.31/829.39 c 829s| 1020k| 1019k| 2770k| 2.7 |1023M| 143 | 0 |1800 |1705 |1800 | 256 | 922k| 6 |4799 | 0.000000e+00 | 4.209250e+05 | Inf
837.02/837.09 c 837s| 1030k| 1029k| 2789k| 2.7 |1033M| 143 | 0 |1800 |1705 |1800 | 254 | 928k| 6 |4806 | 0.000000e+00 | 4.209250e+05 | Inf
844.81/844.88 c 845s| 1040k| 1039k| 2810k| 2.7 |1043M| 143 | 0 |1800 |1705 |1800 | 265 | 936k| 6 |4815 | 0.000000e+00 | 4.209250e+05 | Inf
852.71/852.71 c 853s| 1050k| 1049k| 2832k| 2.7 |1053M| 143 | 23 |1800 |1705 |1800 | 251 | 944k| 6 |4831 | 0.000000e+00 | 4.209250e+05 | Inf
860.31/860.38 c 860s| 1060k| 1059k| 2849k| 2.7 |1063M| 143 | 0 |1800 |1705 |1800 | 271 | 949k| 6 |4856 | 0.000000e+00 | 4.209250e+05 | Inf
868.01/868.02 c 868s| 1070k| 1069k| 2865k| 2.7 |1073M| 143 | 17 |1800 |1705 |1800 | 227 | 955k| 6 |4862 | 0.000000e+00 | 4.209250e+05 | Inf
875.70/875.80 c 876s| 1080k| 1079k| 2884k| 2.7 |1082M| 143 | 0 |1800 |1705 |1800 | 264 | 962k| 6 |4865 | 0.000000e+00 | 4.209250e+05 | Inf
883.41/883.44 c 883s| 1090k| 1089k| 2900k| 2.7 |1092M| 143 | 0 |1800 |1705 |1800 | 251 | 967k| 6 |4878 | 0.000000e+00 | 4.209250e+05 | Inf
891.10/891.15 c 891s| 1100k| 1099k| 2918k| 2.7 |1102M| 143 | 0 |1800 |1705 |1800 | 259 | 973k| 6 |4893 | 0.000000e+00 | 4.209250e+05 | Inf
898.91/898.93 c 899s| 1110k| 1109k| 2938k| 2.6 |1112M| 143 | 7 |1800 |1705 |1800 | 217 | 980k| 6 |4911 | 0.000000e+00 | 4.209250e+05 | Inf
906.71/906.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
906.71/906.79 c 907s| 1120k| 1119k| 2961k| 2.6 |1122M| 143 | 0 |1800 |1705 |1800 | 262 | 988k| 6 |4926 | 0.000000e+00 | 4.209250e+05 | Inf
914.51/914.50 c 914s| 1130k| 1129k| 2981k| 2.6 |1132M| 143 | 28 |1800 |1705 |1800 | 235 | 995k| 6 |4938 | 0.000000e+00 | 4.209250e+05 | Inf
922.21/922.23 c 922s| 1140k| 1139k| 3000k| 2.6 |1141M| 143 | 7 |1800 |1705 |1800 | 268 |1002k| 6 |4949 | 0.000000e+00 | 4.209250e+05 | Inf
929.81/929.82 c 930s| 1150k| 1149k| 3015k| 2.6 |1151M| 143 | 0 |1800 |1705 |1800 | 284 |1007k| 6 |4971 | 0.000000e+00 | 4.209250e+05 | Inf
937.70/937.71 c 938s| 1160k| 1159k| 3038k| 2.6 |1161M| 143 | 12 |1800 |1705 |1800 | 245 |1015k| 6 |4987 | 0.000000e+00 | 4.209250e+05 | Inf
945.30/945.37 c 945s| 1170k| 1169k| 3052k| 2.6 |1171M| 143 | 0 |1800 |1705 |1800 | 293 |1020k| 6 |4989 | 0.000000e+00 | 4.209250e+05 | Inf
953.01/953.04 c 953s| 1180k| 1179k| 3069k| 2.6 |1181M| 143 | 0 |1800 |1705 |1800 | 279 |1025k| 6 |5004 | 0.000000e+00 | 4.209250e+05 | Inf
960.81/960.86 c 961s| 1190k| 1189k| 3088k| 2.6 |1191M| 143 | 0 |1800 |1705 |1800 | 268 |1032k| 6 |5020 | 0.000000e+00 | 4.209250e+05 | Inf
968.51/968.59 c 969s| 1200k| 1199k| 3107k| 2.6 |1201M| 143 | 0 |1800 |1705 |1800 | 281 |1038k| 6 |5027 | 0.000000e+00 | 4.209250e+05 | Inf
976.21/976.28 c 976s| 1210k| 1209k| 3124k| 2.6 |1210M| 143 | 0 |1800 |1705 |1800 | 241 |1044k| 6 |5038 | 0.000000e+00 | 4.209250e+05 | Inf
983.90/983.95 c 984s| 1220k| 1219k| 3142k| 2.6 |1220M| 143 | 0 |1800 |1705 |1800 | 284 |1050k| 6 |5053 | 0.000000e+00 | 4.209250e+05 | Inf
991.71/991.75 c 992s| 1230k| 1229k| 3159k| 2.6 |1230M| 143 | 0 |1800 |1705 |1800 | 264 |1056k| 6 |5068 | 0.000000e+00 | 4.209250e+05 | Inf
999.31/999.38 c 999s| 1240k| 1239k| 3174k| 2.6 |1240M| 143 | 0 |1800 |1705 |1800 | 302 |1061k| 6 |5071 | 0.000000e+00 | 4.209250e+05 | Inf
1007.01/1007.00 c 1007s| 1250k| 1249k| 3186k| 2.5 |1250M| 143 | 0 |1800 |1705 |1800 | 262 |1066k| 6 |5083 | 0.000000e+00 | 4.209250e+05 | Inf
1014.71/1014.74 c 1015s| 1260k| 1259k| 3205k| 2.5 |1260M| 143 | 0 |1800 |1705 |1800 | 279 |1072k| 6 |5103 | 0.000000e+00 | 4.209250e+05 | Inf
1022.41/1022.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1022.41/1022.47 c 1022s| 1270k| 1269k| 3221k| 2.5 |1269M| 143 | 0 |1800 |1705 |1800 | 264 |1078k| 6 |5104 | 0.000000e+00 | 4.209250e+05 | Inf
1029.91/1029.96 c 1030s| 1280k| 1279k| 3230k| 2.5 |1279M| 143 | 0 |1800 |1705 |1800 | 265 |1080k| 6 |5121 | 0.000000e+00 | 4.209250e+05 | Inf
1037.51/1037.53 c 1038s| 1290k| 1289k| 3244k| 2.5 |1289M| 143 | 6 |1800 |1705 |1800 | 238 |1085k| 6 |5121 | 0.000000e+00 | 4.209250e+05 | Inf
1045.31/1045.37 c 1045s| 1300k| 1299k| 3264k| 2.5 |1299M| 143 | 0 |1800 |1705 |1800 | 282 |1092k| 6 |5134 | 0.000000e+00 | 4.209250e+05 | Inf
1053.11/1053.14 c 1053s| 1310k| 1309k| 3283k| 2.5 |1309M| 143 | 0 |1800 |1705 |1800 | 258 |1099k| 6 |5149 | 0.000000e+00 | 4.209250e+05 | Inf
1060.71/1060.75 c 1061s| 1320k| 1319k| 3297k| 2.5 |1319M| 145 | 0 |1800 |1705 |1800 | 286 |1104k| 6 |5165 | 0.000000e+00 | 4.209250e+05 | Inf
1068.62/1068.64 c 1069s| 1330k| 1329k| 3319k| 2.5 |1328M| 145 | 0 |1800 |1705 |1800 | 253 |1111k| 6 |5176 | 0.000000e+00 | 4.209250e+05 | Inf
1076.21/1076.21 c 1076s| 1340k| 1339k| 3334k| 2.5 |1338M| 145 | 0 |1800 |1705 |1800 | 261 |1117k| 6 |5181 | 0.000000e+00 | 4.209250e+05 | Inf
1084.01/1084.02 c 1084s| 1350k| 1349k| 3355k| 2.5 |1348M| 145 | 0 |1800 |1705 |1800 | 277 |1124k| 6 |5196 | 0.000000e+00 | 4.209250e+05 | Inf
1091.61/1091.66 c 1092s| 1360k| 1359k| 3371k| 2.5 |1358M| 145 | 0 |1800 |1705 |1800 | 248 |1129k| 6 |5210 | 0.000000e+00 | 4.209250e+05 | Inf
1099.22/1099.21 c 1099s| 1370k| 1369k| 3384k| 2.5 |1368M| 145 | 0 |1800 |1705 |1800 | 288 |1134k| 6 |5211 | 0.000000e+00 | 4.209250e+05 | Inf
1106.81/1106.82 c 1107s| 1380k| 1379k| 3399k| 2.5 |1378M| 145 | 0 |1800 |1705 |1800 | 262 |1138k| 6 |5229 | 0.000000e+00 | 4.209250e+05 | Inf
1114.61/1114.70 c 1115s| 1390k| 1389k| 3419k| 2.5 |1387M| 145 | 9 |1800 |1705 |1800 | 231 |1145k| 6 |5248 | 0.000000e+00 | 4.209250e+05 | Inf
1122.21/1122.29 c 1122s| 1400k| 1399k| 3435k| 2.5 |1397M| 145 | 7 |1800 |1705 |1800 | 263 |1151k| 6 |5248 | 0.000000e+00 | 4.209250e+05 | Inf
1130.01/1130.06 c 1130s| 1410k| 1409k| 3455k| 2.5 |1407M| 145 | 0 |1800 |1705 |1800 | 272 |1158k| 6 |5266 | 0.000000e+00 | 4.209250e+05 | Inf
1137.61/1137.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1137.61/1137.69 c 1138s| 1420k| 1419k| 3471k| 2.4 |1417M| 145 | 0 |1800 |1705 |1800 | 293 |1163k| 6 |5278 | 0.000000e+00 | 4.209250e+05 | Inf
1145.52/1145.56 c 1146s| 1430k| 1429k| 3491k| 2.4 |1427M| 145 | 0 |1800 |1705 |1800 | 272 |1170k| 6 |5290 | 0.000000e+00 | 4.209250e+05 | Inf
1153.22/1153.29 c 1153s| 1440k| 1439k| 3510k| 2.4 |1437M| 145 | 13 |1800 |1704 |1800 | 233 |1177k| 6 |5297 | 0.000000e+00 | 4.209250e+05 | Inf
1161.11/1161.16 c 1161s| 1450k| 1449k| 3533k| 2.4 |1447M| 145 | 0 |1800 |1704 |1800 | 263 |1184k| 6 |5307 | 0.000000e+00 | 4.209250e+05 | Inf
1168.91/1168.97 c 1169s| 1460k| 1459k| 3550k| 2.4 |1456M| 145 | 0 |1800 |1704 |1800 | 275 |1190k| 6 |5329 | 0.000000e+00 | 4.209250e+05 | Inf
1176.62/1176.69 c 1177s| 1470k| 1469k| 3567k| 2.4 |1466M| 145 | 2 |1800 |1704 |1800 | 251 |1196k| 6 |5342 | 0.000000e+00 | 4.209250e+05 | Inf
1184.51/1184.59 c 1185s| 1480k| 1479k| 3589k| 2.4 |1476M| 145 | 0 |1800 |1703 |1800 | 292 |1203k| 6 |5349 | 0.000000e+00 | 4.209250e+05 | Inf
1192.42/1192.46 c 1192s| 1490k| 1489k| 3612k| 2.4 |1486M| 145 | 0 |1800 |1703 |1800 | 277 |1211k| 6 |5360 | 0.000000e+00 | 4.209250e+05 | Inf
1200.02/1200.04 c 1200s| 1500k| 1499k| 3625k| 2.4 |1496M| 145 | 2 |1800 |1703 |1800 | 254 |1216k| 6 |5375 | 0.000000e+00 | 4.209250e+05 | Inf
1208.02/1208.02 c 1208s| 1510k| 1509k| 3648k| 2.4 |1506M| 145 | 0 |1800 |1703 |1800 | 291 |1224k| 6 |5393 | 0.000000e+00 | 4.209250e+05 | Inf
1215.82/1215.82 c 1216s| 1520k| 1519k| 3668k| 2.4 |1516M| 145 | 0 |1800 |1703 |1800 | 287 |1230k| 6 |5399 | 0.000000e+00 | 4.209250e+05 | Inf
1223.62/1223.66 c 1224s| 1530k| 1529k| 3686k| 2.4 |1526M| 145 | 0 |1800 |1703 |1800 | 284 |1236k| 6 |5410 | 0.000000e+00 | 4.209250e+05 | Inf
1231.21/1231.22 c 1231s| 1540k| 1539k| 3698k| 2.4 |1535M| 145 | 0 |1800 |1704 |1800 | 281 |1241k| 7 |5427 | 0.000000e+00 | 4.209250e+05 | Inf
1238.81/1238.84 c 1239s| 1550k| 1549k| 3712k| 2.4 |1545M| 145 | 0 |1800 |1704 |1800 | 246 |1245k| 7 |5431 | 0.000000e+00 | 4.209250e+05 | Inf
1246.32/1246.33 c 1246s| 1560k| 1559k| 3724k| 2.4 |1555M| 145 | 0 |1800 |1703 |1800 | 264 |1249k| 7 |5447 | 0.000000e+00 | 4.209250e+05 | Inf
1254.12/1254.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1254.12/1254.13 c 1254s| 1570k| 1569k| 3747k| 2.4 |1565M| 145 | 0 |1800 |1703 |1800 | 261 |1257k| 7 |5462 | 0.000000e+00 | 4.209250e+05 | Inf
1261.91/1262.00 c 1262s| 1580k| 1579k| 3771k| 2.4 |1575M| 145 | 5 |1800 |1703 |1800 | 184 |1265k| 7 |5479 | 0.000000e+00 | 4.209250e+05 | Inf
1269.71/1269.73 c 1270s| 1590k| 1589k| 3789k| 2.4 |1585M| 145 | 0 |1800 |1703 |1800 | 245 |1271k| 7 |5481 | 0.000000e+00 | 4.209250e+05 | Inf
1277.32/1277.36 c 1277s| 1600k| 1599k| 3807k| 2.4 |1595M| 145 | 0 |1800 |1703 |1800 | 290 |1277k| 7 |5498 | 0.000000e+00 | 4.209250e+05 | Inf
1284.91/1284.98 c 1285s| 1610k| 1609k| 3822k| 2.4 |1604M| 145 | 0 |1800 |1703 |1800 | 290 |1283k| 7 |5511 | 0.000000e+00 | 4.209250e+05 | Inf
1292.52/1292.58 c 1293s| 1620k| 1619k| 3838k| 2.4 |1614M| 145 | 0 |1800 |1703 |1800 | 250 |1289k| 7 |5516 | 0.000000e+00 | 4.209250e+05 | Inf
1299.82/1299.88 c 1300s| 1630k| 1629k| 3846k| 2.4 |1624M| 145 | 0 |1800 |1703 |1800 | 286 |1291k| 7 |5529 | 0.000000e+00 | 4.209250e+05 | Inf
1307.62/1307.64 c 1308s| 1640k| 1639k| 3864k| 2.4 |1634M| 145 | 0 |1800 |1703 |1800 | 271 |1298k| 7 |5531 | 0.000000e+00 | 4.209250e+05 | Inf
1315.42/1315.42 c 1315s| 1650k| 1649k| 3884k| 2.4 |1644M| 145 | 9 |1800 |1703 |1800 | 241 |1305k| 7 |5548 | 0.000000e+00 | 4.209250e+05 | Inf
1322.92/1322.99 c 1323s| 1660k| 1659k| 3898k| 2.3 |1654M| 145 | 0 |1800 |1703 |1800 | 277 |1310k| 7 |5559 | 0.000000e+00 | 4.209250e+05 | Inf
1330.72/1330.76 c 1331s| 1670k| 1669k| 3918k| 2.3 |1663M| 145 | 0 |1800 |1703 |1800 | 263 |1317k| 7 |5572 | 0.000000e+00 | 4.209250e+05 | Inf
1338.62/1338.64 c 1339s| 1680k| 1679k| 3942k| 2.3 |1673M| 145 | 0 |1800 |1703 |1800 | 277 |1325k| 7 |5586 | 0.000000e+00 | 4.209250e+05 | Inf
1346.43/1346.43 c 1346s| 1690k| 1689k| 3964k| 2.3 |1683M| 145 | 0 |1800 |1703 |1800 | 233 |1333k| 7 |5598 | 0.000000e+00 | 4.209250e+05 | Inf
1354.02/1354.01 c 1354s| 1700k| 1699k| 3979k| 2.3 |1693M| 145 | 0 |1800 |1702 |1800 | 271 |1338k| 7 |5603 | 0.000000e+00 | 4.209250e+05 | Inf
1361.82/1361.85 c 1362s| 1710k| 1709k| 4002k| 2.3 |1703M| 145 | 0 |1800 |1702 |1800 | 279 |1346k| 7 |5617 | 0.000000e+00 | 4.209250e+05 | Inf
1369.52/1369.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1369.52/1369.53 c 1370s| 1720k| 1719k| 4018k| 2.3 |1713M| 145 | 0 |1800 |1702 |1800 | 264 |1352k| 7 |5632 | 0.000000e+00 | 4.209250e+05 | Inf
1377.02/1377.05 c 1377s| 1730k| 1729k| 4031k| 2.3 |1723M| 165 | 0 |1800 |1702 |1800 | 251 |1357k| 7 |5645 | 0.000000e+00 | 4.209250e+05 | Inf
1384.62/1384.63 c 1385s| 1740k| 1739k| 4048k| 2.3 |1732M| 165 | 0 |1800 |1702 |1800 | 280 |1363k| 7 |5651 | 0.000000e+00 | 4.209250e+05 | Inf
1392.12/1392.12 c 1392s| 1750k| 1749k| 4063k| 2.3 |1742M| 165 | 0 |1800 |1703 |1800 | 268 |1368k| 8 |5659 | 0.000000e+00 | 4.209250e+05 | Inf
1399.62/1399.65 c 1400s| 1760k| 1759k| 4078k| 2.3 |1752M| 165 | 0 |1800 |1703 |1800 | 274 |1373k| 8 |5673 | 0.000000e+00 | 4.209250e+05 | Inf
1407.03/1407.03 c 1407s| 1770k| 1769k| 4092k| 2.3 |1762M| 165 | 0 |1800 |1702 |1800 | 266 |1378k| 8 |5674 | 0.000000e+00 | 4.209250e+05 | Inf
1414.53/1414.55 c 1415s| 1780k| 1779k| 4107k| 2.3 |1772M| 165 | 0 |1800 |1702 |1800 | 252 |1384k| 8 |5690 | 0.000000e+00 | 4.209250e+05 | Inf
1421.92/1421.98 c 1422s| 1790k| 1789k| 4121k| 2.3 |1782M| 165 | 0 |1800 |1701 |1800 | 260 |1388k| 8 |5691 | 0.000000e+00 | 4.209250e+05 | Inf
1429.42/1429.41 c 1429s| 1800k| 1799k| 4135k| 2.3 |1791M| 165 | 28 |1800 |1701 |1800 | 258 |1393k| 8 |5708 | 0.000000e+00 | 4.209250e+05 | Inf
1436.92/1436.96 c 1437s| 1810k| 1809k| 4152k| 2.3 |1801M| 165 | 0 |1800 |1702 |1800 | 285 |1399k| 9 |5718 | 0.000000e+00 | 4.209250e+05 | Inf
1444.42/1444.44 c 1444s| 1820k| 1819k| 4166k| 2.3 |1811M| 165 | 0 |1800 |1702 |1800 | 233 |1404k| 9 |5725 | 0.000000e+00 | 4.209250e+05 | Inf
1452.03/1452.08 c 1452s| 1830k| 1829k| 4184k| 2.3 |1821M| 165 | 0 |1800 |1702 |1800 | 255 |1410k| 9 |5740 | 0.000000e+00 | 4.209250e+05 | Inf
1459.52/1459.58 c 1460s| 1840k| 1839k| 4199k| 2.3 |1831M| 165 | 12 |1800 |1701 |1800 | 284 |1416k| 9 |5746 | 0.000000e+00 | 4.209250e+05 | Inf
1467.02/1467.00 c 1467s| 1850k| 1849k| 4210k| 2.3 |1841M| 165 | 0 |1800 |1701 |1800 | 275 |1419k| 9 |5756 | 0.000000e+00 | 4.209250e+05 | Inf
1474.53/1474.59 c 1475s| 1860k| 1859k| 4226k| 2.3 |1850M| 165 | 10 |1800 |1702 |1800 | 251 |1425k| 10 |5756 | 0.000000e+00 | 4.209250e+05 | Inf
1482.12/1482.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1482.12/1482.15 c 1482s| 1870k| 1869k| 4243k| 2.3 |1860M| 165 | 0 |1800 |1702 |1800 | 259 |1430k| 10 |5769 | 0.000000e+00 | 4.209250e+05 | Inf
1489.53/1489.50 c 1489s| 1880k| 1879k| 4252k| 2.3 |1870M| 165 | 0 |1800 |1702 |1800 | 273 |1434k| 10 |5776 | 0.000000e+00 | 4.209250e+05 | Inf
1496.93/1496.95 c 1497s| 1890k| 1889k| 4265k| 2.3 |1880M| 165 | 0 |1800 |1703 |1800 | 266 |1438k| 11 |5784 | 0.000000e+00 | 4.209250e+05 | Inf
1504.32/1504.37 c 1504s| 1900k| 1899k| 4278k| 2.3 |1890M| 165 | 0 |1800 |1703 |1800 | 267 |1442k| 11 |5795 | 0.000000e+00 | 4.209250e+05 | Inf
1511.52/1511.58 c 1512s| 1910k| 1909k| 4285k| 2.2 |1899M| 165 | 4 |1800 |1702 |1800 | 226 |1445k| 11 |5799 | 0.000000e+00 | 4.209250e+05 | Inf
1519.03/1519.05 c 1519s| 1920k| 1919k| 4301k| 2.2 |1909M| 165 | 0 |1800 |1702 |1800 | 236 |1450k| 11 |5802 | 0.000000e+00 | 4.209250e+05 | Inf
1526.43/1526.43 c 1526s| 1930k| 1929k| 4314k| 2.2 |1919M| 165 | 0 |1800 |1702 |1800 | 237 |1455k| 11 |5812 | 0.000000e+00 | 4.209250e+05 | Inf
1533.92/1533.94 c 1534s| 1940k| 1939k| 4330k| 2.2 |1929M| 165 | 0 |1800 |1702 |1800 | 285 |1461k| 11 |5819 | 0.000000e+00 | 4.209250e+05 | Inf
1541.43/1541.42 c 1541s| 1950k| 1949k| 4346k| 2.2 |1939M| 165 | 0 |1800 |1702 |1800 | 245 |1466k| 11 |5829 | 0.000000e+00 | 4.209250e+05 | Inf
1548.73/1548.77 c 1549s| 1960k| 1959k| 4357k| 2.2 |1949M| 165 | 0 |1800 |1702 |1800 | 251 |1470k| 11 |5834 | 0.000000e+00 | 4.209250e+05 | Inf
1556.32/1556.35 c 1556s| 1970k| 1969k| 4374k| 2.2 |1958M| 165 | 0 |1800 |1702 |1800 | 271 |1476k| 11 |5842 | 0.000000e+00 | 4.209250e+05 | Inf
1563.82/1563.80 c 1564s| 1980k| 1979k| 4387k| 2.2 |1968M| 165 | 0 |1800 |1702 |1800 | 266 |1480k| 11 |5852 | 0.000000e+00 | 4.209250e+05 | Inf
1571.32/1571.33 c 1571s| 1990k| 1989k| 4404k| 2.2 |1978M| 165 | 0 |1800 |1702 |1800 | 254 |1486k| 11 |5864 | 0.000000e+00 | 4.209250e+05 | Inf
1578.72/1578.75 c 1579s| 2000k| 1999k| 4418k| 2.2 |1988M| 165 | 0 |1800 |1702 |1800 | 273 |1490k| 11 |5872 | 0.000000e+00 | 4.209250e+05 | Inf
1586.23/1586.24 c 1586s| 2010k| 2009k| 4433k| 2.2 |1998M| 165 | 0 |1800 |1702 |1800 | 264 |1495k| 11 |5878 | 0.000000e+00 | 4.209250e+05 | Inf
1593.62/1593.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1593.62/1593.68 c 1594s| 2020k| 2019k| 4446k| 2.2 |2008M| 165 | 0 |1800 |1702 |1800 | 259 |1500k| 11 |5890 | 0.000000e+00 | 4.209250e+05 | Inf
1601.23/1601.28 c 1601s| 2030k| 2029k| 4464k| 2.2 |2017M| 165 | 0 |1800 |1702 |1800 | 261 |1506k| 11 |5895 | 0.000000e+00 | 4.209250e+05 | Inf
1608.73/1608.74 c 1609s| 2040k| 2039k| 4478k| 2.2 |2027M| 165 | 0 |1800 |1702 |1800 | 270 |1511k| 11 |5905 | 0.000000e+00 | 4.209250e+05 | Inf
1616.33/1616.31 c 1616s| 2050k| 2049k| 4495k| 2.2 |2037M| 165 | 0 |1800 |1702 |1800 | 289 |1518k| 11 |5916 | 0.000000e+00 | 4.209250e+05 | Inf
1623.83/1623.86 c 1624s| 2060k| 2059k| 4510k| 2.2 |2047M| 165 | 20 |1800 |1702 |1800 | 270 |1523k| 11 |5917 | 0.000000e+00 | 4.209250e+05 | Inf
1631.63/1631.65 c 1632s| 2070k| 2069k| 4534k| 2.2 |2057M| 165 | 0 |1800 |1701 |1800 | 250 |1532k| 11 |5932 | 0.000000e+00 | 4.209250e+05 | Inf
1639.04/1639.06 c 1639s| 2080k| 2079k| 4545k| 2.2 |2067M| 165 | 0 |1800 |1702 |1800 | 266 |1535k| 12 |5943 | 0.000000e+00 | 4.209250e+05 | Inf
1646.42/1646.47 c 1646s| 2090k| 2089k| 4555k| 2.2 |2076M| 165 | 0 |1800 |1701 |1800 | 280 |1538k| 12 |5945 | 0.000000e+00 | 4.209250e+05 | Inf
1653.93/1653.97 c 1654s| 2100k| 2099k| 4568k| 2.2 |2086M| 165 | 4 |1800 |1701 |1800 | 254 |1543k| 12 |5953 | 0.000000e+00 | 4.209250e+05 | Inf
1661.53/1661.55 c 1662s| 2110k| 2109k| 4585k| 2.2 |2096M| 165 | 0 |1800 |1701 |1800 | 296 |1549k| 12 |5959 | 0.000000e+00 | 4.209250e+05 | Inf
1669.13/1669.17 c 1669s| 2120k| 2119k| 4603k| 2.2 |2106M| 167 | 0 |1800 |1701 |1800 | 303 |1556k| 12 |5971 | 0.000000e+00 | 4.209250e+05 | Inf
1676.72/1676.73 c 1677s| 2130k| 2129k| 4619k| 2.2 |2116M| 167 | 0 |1800 |1701 |1800 | 273 |1561k| 12 |5981 | 0.000000e+00 | 4.209250e+05 | Inf
1684.33/1684.32 c 1684s| 2140k| 2139k| 4636k| 2.2 |2126M| 167 | 0 |1800 |1701 |1800 | 261 |1567k| 12 |5993 | 0.000000e+00 | 4.209250e+05 | Inf
1691.84/1691.85 c 1692s| 2150k| 2149k| 4653k| 2.2 |2136M| 167 | 0 |1800 |1701 |1800 | 304 |1573k| 12 |6005 | 0.000000e+00 | 4.209250e+05 | Inf
1699.33/1699.33 c 1699s| 2160k| 2159k| 4668k| 2.2 |2145M| 167 | 0 |1800 |1701 |1800 | 247 |1578k| 12 |6005 | 0.000000e+00 | 4.209250e+05 | Inf
1706.62/1706.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1706.62/1706.65 c 1707s| 2170k| 2169k| 4680k| 2.2 |2155M| 167 | 0 |1800 |1701 |1800 | 242 |1582k| 12 |6017 | 0.000000e+00 | 4.209250e+05 | Inf
1714.03/1714.02 c 1714s| 2180k| 2179k| 4691k| 2.2 |2165M| 167 | 0 |1800 |1701 |1800 | 280 |1586k| 12 |6017 | 0.000000e+00 | 4.209250e+05 | Inf
1721.23/1721.25 c 1721s| 2190k| 2189k| 4700k| 2.1 |2175M| 167 | 0 |1800 |1701 |1800 | 280 |1589k| 12 |6030 | 0.000000e+00 | 4.209250e+05 | Inf
1728.63/1728.65 c 1729s| 2200k| 2199k| 4713k| 2.1 |2185M| 167 | 0 |1800 |1701 |1800 | 249 |1594k| 12 |6032 | 0.000000e+00 | 4.209250e+05 | Inf
1736.23/1736.28 c 1736s| 2210k| 2209k| 4732k| 2.1 |2195M| 167 | 0 |1800 |1701 |1800 | 277 |1600k| 12 |6051 | 0.000000e+00 | 4.209250e+05 | Inf
1743.73/1743.73 c 1744s| 2220k| 2219k| 4747k| 2.1 |2204M| 167 | 0 |1800 |1701 |1800 | 262 |1605k| 12 |6058 | 0.000000e+00 | 4.209250e+05 | Inf
1751.03/1751.08 c 1751s| 2230k| 2229k| 4758k| 2.1 |2214M| 167 | 0 |1800 |1701 |1800 | 243 |1609k| 12 |6066 | 0.000000e+00 | 4.209250e+05 | Inf
1758.63/1758.66 c 1759s| 2240k| 2239k| 4774k| 2.1 |2224M| 167 | 0 |1800 |1701 |1800 | 259 |1615k| 12 |6081 | 0.000000e+00 | 4.209250e+05 | Inf
1766.13/1766.16 c 1766s| 2250k| 2249k| 4786k| 2.1 |2234M| 167 | 0 |1800 |1701 |1800 | 270 |1619k| 12 |6082 | 0.000000e+00 | 4.209250e+05 | Inf
1773.53/1773.53 c 1774s| 2260k| 2259k| 4796k| 2.1 |2244M| 167 | 0 |1800 |1701 |1800 | 268 |1623k| 12 |6089 | 0.000000e+00 | 4.209250e+05 | Inf
1780.94/1780.92 c 1781s| 2270k| 2269k| 4807k| 2.1 |2254M| 167 | 0 |1800 |1701 |1800 | 268 |1627k| 12 |6098 | 0.000000e+00 | 4.209250e+05 | Inf
1788.23/1788.23 c 1788s| 2280k| 2279k| 4818k| 2.1 |2263M| 167 | 0 |1800 |1700 |1800 | 274 |1631k| 12 |6101 | 0.000000e+00 | 4.209250e+05 | Inf
1790.03/1790.00 c
1790.03/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1790.03/1790.00 c Solving Time (sec) : 1789.99
1790.03/1790.00 c Solving Nodes : 2282355
1790.03/1790.00 c Primal Bound : +4.20925000000000e+05 (100 solutions)
1790.03/1790.00 c Dual Bound : +0.00000000000000e+00
1790.03/1790.00 c Gap : infinite
1790.03/1790.01 s SATISFIABLE
1790.03/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.03/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.03/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.03/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.03/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.03/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.03/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.03/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.03/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.03/1790.01 c Solving Time : 1789.99
1790.03/1790.01 c Original Problem :
1790.03/1790.01 c Problem name : HOME/instance-2705757-1278580129.wbo
1790.03/1790.01 c Variables : 1900 (1050 binary, 0 integer, 850 implicit integer, 0 continuous)
1790.03/1790.01 c Constraints : 1801 initial, 1801 maximal
1790.03/1790.01 c Presolved Problem :
1790.03/1790.01 c Problem name : t_HOME/instance-2705757-1278580129.wbo
1790.03/1790.01 c Variables : 1800 (950 binary, 0 integer, 850 implicit integer, 0 continuous)
1790.03/1790.01 c Constraints : 1700 initial, 1706 maximal
1790.03/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.03/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1790.03/1790.01 c linear : 0.02 0 100 0 850 0 101 0 0
1790.03/1790.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.01 c root node : - 0 - - 0 - - - -
1790.03/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.03/1790.01 c integral : 0 0 0 2530431 0 0 0 0 0 1148092
1790.03/1790.01 c linear : 850 6 2975627 1956385 0 11 730113 1632342 0 0
1790.03/1790.01 c indicator : 850 0 2975616 1956385 0 8 2105139 0 0 0
1790.03/1790.01 c logicor : 0+ 0 73205 0 0 0 6414 0 0 0
1790.03/1790.01 c countsols : 0 0 0 1708289 0 0 0 0 0 0
1790.03/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.03/1790.01 c integral : 9.15 0.00 0.00 9.15 0.00
1790.03/1790.01 c linear : 38.03 0.00 14.11 23.93 0.00
1790.03/1790.01 c indicator : 197.80 0.05 77.41 120.34 0.00
1790.03/1790.01 c logicor : 0.09 0.00 0.09 0.00 0.00
1790.03/1790.01 c countsols : 0.21 0.00 0.00 0.21 0.00
1790.03/1790.01 c Propagators : Time Calls Cutoffs DomReds
1790.03/1790.01 c vbounds : 0.59 2 0 0
1790.03/1790.01 c rootredcost : 0.57 0 0 0
1790.03/1790.01 c pseudoobj : 37.22 2975427 0 0
1790.03/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.03/1790.01 c propagation : 0.00 11 11 11 6.1 0 0.0 -
1790.03/1790.01 c infeasible LP : 0.00 1 1 1 9.0 0 0.0 0
1790.03/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.03/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.03/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.03/1790.01 c applied globally : - - - 12 6.3 - - -
1790.03/1790.01 c applied locally : - - - 0 0.0 - - -
1790.03/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.03/1790.01 c cut pool : 0.00 3 - - 122 - (maximal pool size: 457)
1790.03/1790.01 c redcost : 98.85 2530051 0 0 0 0
1790.03/1790.01 c impliedbounds : 0.00 4 0 0 0 0
1790.03/1790.01 c intobj : 0.00 0 0 0 0 0
1790.03/1790.01 c cgmip : 0.00 0 0 0 0 0
1790.03/1790.01 c gomory : 0.03 4 0 0 109 0
1790.03/1790.01 c strongcg : 0.03 4 0 0 539 0
1790.03/1790.01 c cmir : 0.01 4 0 0 0 0
1790.03/1790.01 c flowcover : 0.02 4 0 0 0 0
1790.03/1790.01 c clique : 0.00 1 0 0 0 0
1790.03/1790.01 c zerohalf : 0.00 0 0 0 0 0
1790.03/1790.01 c mcf : 0.00 1 0 0 0 0
1790.03/1790.01 c rapidlearning : 0.06 1 0 0 0 0
1790.03/1790.01 c Pricers : Time Calls Vars
1790.03/1790.01 c problem variables: 0.00 0 0
1790.03/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.03/1790.01 c relpscost : 8.28 574046 0 0 0 0 1148092
1790.03/1790.01 c pscost : 0.00 0 0 0 0 0 0
1790.03/1790.01 c inference : 229.54 1708289 0 0 0 0 3416578
1790.03/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1790.03/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1790.03/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1790.03/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1790.03/1790.01 c random : 0.00 0 0 0 0 0 0
1790.03/1790.01 c Primal Heuristics : Time Calls Found
1790.03/1790.01 c LP solutions : 0.00 - 0
1790.03/1790.01 c pseudo solutions : 0.00 - 0
1790.03/1790.01 c intshifting : 0.01 0 0
1790.03/1790.01 c feaspump : 0.01 0 0
1790.03/1790.01 c oneopt : 1.04 1 0
1790.03/1790.01 c crossover : 0.71 13 1
1790.03/1790.01 c veclendiving : 19.62 31228 0
1790.03/1790.01 c linesearchdiving : 19.68 31228 0
1790.03/1790.01 c coefdiving : 19.61 31229 0
1790.03/1790.01 c pscostdiving : 19.63 31229 0
1790.03/1790.01 c fracdiving : 19.66 31229 0
1790.03/1790.01 c guideddiving : 19.65 31229 0
1790.03/1790.01 c objpscostdiving : 20.23 31163 0
1790.03/1790.01 c rootsoldiving : 20.48 31163 0
1790.03/1790.01 c trivial : 0.00 2 1
1790.03/1790.01 c simplerounding : 0.97 574042 0
1790.03/1790.01 c zirounding : 0.45 1000 0
1790.03/1790.01 c rounding : 0.64 10756 0
1790.03/1790.01 c shifting : 0.36 3331 0
1790.03/1790.01 c twoopt : 0.00 0 0
1790.03/1790.01 c fixandinfer : 0.00 0 0
1790.03/1790.01 c intdiving : 0.00 0 0
1790.03/1790.01 c actconsdiving : 0.00 0 0
1790.03/1790.01 c octane : 0.00 0 0
1790.03/1790.01 c rens : 0.01 1 0
1790.03/1790.01 c rins : 0.00 0 0
1790.03/1790.01 c localbranching : 0.00 0 0
1790.03/1790.01 c mutation : 0.00 0 0
1790.03/1790.01 c dins : 0.00 0 0
1790.03/1790.01 c undercover : 0.00 0 0
1790.03/1790.01 c nlp : 0.32 0 0
1790.03/1790.01 c trysol : 0.68 31422 98
1790.03/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1790.03/1790.01 c primal LP : 0.00 0 0 0.00 -
1790.03/1790.01 c dual LP : 682.86 907771 4819123 5.31 7057.29
1790.03/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1790.03/1790.01 c barrier LP : 0.00 0 0 0.00 -
1790.03/1790.01 c diving/probing LP: 0.50 1094 2766 2.53 5482.15
1790.03/1790.01 c strong branching : 4.40 6101 70888 11.62 16116.41
1790.03/1790.01 c (at root node) : - 33 2194 66.48 -
1790.03/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1790.03/1790.01 c B&B Tree :
1790.03/1790.01 c number of runs : 1
1790.03/1790.01 c nodes : 2282355
1790.03/1790.01 c nodes (total) : 2282355
1790.03/1790.01 c nodes left : 2282316
1790.03/1790.01 c max depth : 167
1790.03/1790.01 c max depth (total): 167
1790.03/1790.01 c backtracks : 31578 (1.4%)
1790.03/1790.01 c delayed cutoffs : 0
1790.03/1790.01 c repropagations : 53 (64 domain reductions, 0 cutoffs)
1790.03/1790.01 c avg switch length: 2.41
1790.03/1790.01 c switching time : 45.53
1790.03/1790.01 c Solution :
1790.03/1790.01 c Solutions found : 100 (1 improvements)
1790.03/1790.01 c First Solution : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1790.03/1790.01 c Primal Bound : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1790.03/1790.01 c Dual Bound : +0.00000000000000e+00
1790.03/1790.01 c Gap : infinite
1790.03/1790.01 c Root Dual Bound : +0.00000000000000e+00
1790.03/1790.01 c Root Iterations : 299
1794.14/1794.19 c Time complete: 1794.23.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705757-1278580129/watcher-2705757-1278580129 -o /tmp/evaluation-result-2705757-1278580129/solver-2705757-1278580129 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705757-1278580129.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.92 1.98 1.93 4/178 23707
/proc/meminfo: memFree=29625116/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=12328 CPUtime=0
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 1941 0 0 0 0 0 0 0 25 0 1 0 26226450 12623872 1860 4089446400 4194304 10345943 140734960042304 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23707/statm: 3082 1860 429 1502 0 1575 0
[startup+0.0510781 s]
/proc/loadavg: 1.92 1.98 1.93 4/178 23707
/proc/meminfo: memFree=29625116/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=23880 CPUtime=0.04
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 5035 0 0 0 4 0 0 0 25 0 1 0 26226450 24453120 4600 4089446400 4194304 10345943 140734960042304 18446744073709551615 5026474 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23707/statm: 5970 4600 552 1502 0 4463 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23880
[startup+0.101069 s]
/proc/loadavg: 1.92 1.98 1.93 4/178 23707
/proc/meminfo: memFree=29625116/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=40256 CPUtime=0.09
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 8932 0 0 0 8 1 0 0 25 0 1 0 26226450 41222144 8497 4089446400 4194304 10345943 140734960042304 18446744073709551615 4448080 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23707/statm: 10064 8497 636 1502 0 8557 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40256
[startup+0.30109 s]
/proc/loadavg: 1.92 1.98 1.93 4/178 23707
/proc/meminfo: memFree=29625116/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=37052 CPUtime=0.29
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 10411 0 0 0 28 1 0 0 25 0 1 0 26226450 37941248 8118 4089446400 4194304 10345943 140734960042304 18446744073709551615 8160414 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23707/statm: 9263 8118 750 1502 0 7756 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37052
[startup+0.700962 s]
/proc/loadavg: 1.92 1.98 1.93 4/178 23707
/proc/meminfo: memFree=29625116/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=37052 CPUtime=0.69
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 10418 0 0 0 67 2 0 0 25 0 1 0 26226450 37941248 8125 4089446400 4194304 10345943 140734960042304 18446744073709551615 7568286 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23707/statm: 9263 8125 757 1502 0 7756 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37052
[startup+1.50089 s]
/proc/loadavg: 1.92 1.98 1.93 3/179 23708
/proc/meminfo: memFree=29594852/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=37052 CPUtime=1.48
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 10419 0 0 0 146 2 0 0 25 0 1 0 26226450 37941248 8126 4089446400 4194304 10345943 140734960042304 18446744073709551615 6119433 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23707/statm: 9263 8126 758 1502 0 7756 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 37052
[startup+3.10059 s]
/proc/loadavg: 1.92 1.98 1.93 3/179 23708
/proc/meminfo: memFree=29593984/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=39208 CPUtime=3.08
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 15260 0 0 0 304 4 0 0 25 0 1 0 26226450 40148992 8674 4089446400 4194304 10345943 140734960042304 18446744073709551615 4614397 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23707/statm: 9802 8674 760 1502 0 8295 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 39208
[startup+6.30091 s]
/proc/loadavg: 1.93 1.98 1.93 3/179 23708
/proc/meminfo: memFree=29584204/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=48704 CPUtime=6.29
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 17345 0 0 0 623 6 0 0 25 0 1 0 26226450 49872896 10759 4089446400 4194304 10345943 140734960042304 18446744073709551615 6715934 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23707/statm: 12176 10759 760 1502 0 10669 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48704
[startup+12.7008 s]
/proc/loadavg: 1.93 1.98 1.93 3/179 23709
/proc/meminfo: memFree=29576448/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=50412 CPUtime=12.69
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 19222 0 0 0 1260 9 0 0 25 0 1 0 26226450 51621888 11362 4089446400 4194304 10345943 140734960042304 18446744073709551615 6119437 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23707/statm: 12603 11362 761 1502 0 11096 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50412
[startup+25.5005 s]
/proc/loadavg: 1.95 1.98 1.93 3/179 23709
/proc/meminfo: memFree=29539212/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=65516 CPUtime=25.49
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 28117 0 0 0 2536 13 0 0 25 0 1 0 26226450 67088384 15104 4089446400 4194304 10345943 140734960042304 18446744073709551615 8744820 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23707/statm: 16379 15104 764 1502 0 14872 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 65516
[startup+51.101 s]
/proc/loadavg: 1.96 1.98 1.93 3/179 23709
/proc/meminfo: memFree=29472048/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=96364 CPUtime=51.09
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 38235 0 0 0 5086 23 0 0 25 0 1 0 26226450 98676736 22795 4089446400 4194304 10345943 140734960042304 18446744073709551615 5926599 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23707/statm: 24091 22795 764 1502 0 22584 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 96364
[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.93 3/179 23711
/proc/meminfo: memFree=29332080/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=160184 CPUtime=102.29
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 56086 0 0 0 10185 44 0 0 25 0 1 0 26226450 164028416 38415 4089446400 4194304 10345943 140734960042304 18446744073709551615 6362984 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23707/statm: 40046 38415 764 1502 0 38539 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 160184
[startup+162.3 s]
/proc/loadavg: 2.03 2.00 1.94 3/179 23713
/proc/meminfo: memFree=29178752/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=229244 CPUtime=162.29
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 73369 0 0 0 16161 68 0 0 25 0 1 0 26226450 234745856 55698 4089446400 4194304 10345943 140734960042304 18446744073709551615 4688020 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23707/statm: 57311 55698 764 1502 0 55804 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 229244
[startup+222.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/179 23714
/proc/meminfo: memFree=29029168/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=303584 CPUtime=222.29
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 93263 0 0 0 22136 93 0 0 25 0 1 0 26226450 310870016 73439 4089446400 4194304 10345943 140734960042304 18446744073709551615 6003152 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23707/statm: 75896 73439 764 1502 0 74389 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 303584
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23715
/proc/meminfo: memFree=28878344/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=378200 CPUtime=282.29
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 111813 0 0 0 28115 114 0 0 25 0 1 0 26226450 387276800 91989 4089446400 4194304 10345943 140734960042304 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23707/statm: 94550 91989 764 1502 0 93043 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 378200
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23717
/proc/meminfo: memFree=28729872/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=449580 CPUtime=342.29
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 129649 0 0 0 34094 135 0 0 25 0 1 0 26226450 460369920 109824 4089446400 4194304 10345943 140734960042304 18446744073709551615 18446744073699065949 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23707/statm: 112395 109824 764 1502 0 110888 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 449580
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23719
/proc/meminfo: memFree=28587096/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=533548 CPUtime=402.29
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 151021 0 0 0 40073 156 0 0 25 0 1 0 26226450 546353152 129186 4089446400 4194304 10345943 140734960042304 18446744073709551615 6777395 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23707/statm: 133387 129186 764 1502 0 131880 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 533548
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23721
/proc/meminfo: memFree=28504196/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=604972 CPUtime=462.3
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 168964 0 0 0 46054 176 0 0 25 0 1 0 26226450 619491328 147129 4089446400 4194304 10345943 140734960042304 18446744073709551615 18446744073699066117 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23707/statm: 151243 147129 764 1502 0 149736 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 604972
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23722
/proc/meminfo: memFree=28391924/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=680672 CPUtime=522.3
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 187889 0 0 0 52037 193 0 0 25 0 1 0 26226450 697008128 166054 4089446400 4194304 10345943 140734960042304 18446744073709551615 6712071 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23707/statm: 170168 166054 764 1502 0 168661 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 680672
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23723
/proc/meminfo: memFree=28296640/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=754272 CPUtime=582.3
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 205877 0 0 0 58019 211 0 0 25 0 1 0 26226450 772374528 184040 4089446400 4194304 10345943 140734960042304 18446744073709551615 6307534 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23707/statm: 188568 184040 764 1502 0 187061 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 754272
[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23728
/proc/meminfo: memFree=28212652/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=831740 CPUtime=642.31
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 225202 0 0 0 64001 230 0 0 25 0 1 0 26226450 851701760 203365 4089446400 4194304 10345943 140734960042304 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23707/statm: 207935 203365 764 1502 0 206428 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 831740
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=27549504/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=1387388 CPUtime=1062.32
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 362239 0 0 0 105879 353 0 0 25 0 1 0 26226450 1420685312 338312 4089446400 4194304 10345943 140734960042304 18446744073709551615 6802983 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23707/statm: 346847 338312 764 1502 0 345340 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1387388
[startup+1122.3 s]
/proc/loadavg: 1.85 1.97 1.93 2/171 23762
/proc/meminfo: memFree=28254016/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=1463100 CPUtime=1122.31
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 381127 0 0 0 111861 370 0 0 25 0 1 0 26226450 1498214400 357200 4089446400 4194304 10345943 140734960042304 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23707/statm: 365775 357200 764 1502 0 364268 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1463100
[startup+1182.3 s]
/proc/loadavg: 1.31 1.79 1.87 2/171 23763
/proc/meminfo: memFree=28179884/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=1538132 CPUtime=1182.32
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 400015 0 0 0 117846 386 0 0 25 0 1 0 26226450 1575047168 376087 4089446400 4194304 10345943 140734960042304 18446744073709551615 6557938 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23707/statm: 384533 376087 764 1502 0 383026 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1538132
[startup+1242.3 s]
/proc/loadavg: 1.11 1.64 1.81 2/171 23765
/proc/meminfo: memFree=28099960/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=1617840 CPUtime=1242.31
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 419715 0 0 0 123827 404 0 0 25 0 1 0 26226450 1656668160 395786 4089446400 4194304 10345943 140734960042304 18446744073709551615 6119682 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23707/statm: 404460 395786 764 1502 0 402953 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 1617840
[startup+1302.3 s]
/proc/loadavg: 1.04 1.52 1.76 2/171 23767
/proc/meminfo: memFree=28023532/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=1693408 CPUtime=1302.32
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 438611 0 0 0 129812 420 0 0 25 0 1 0 26226450 1734049792 414681 4089446400 4194304 10345943 140734960042304 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23707/statm: 423352 414681 764 1502 0 421845 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1693408
[startup+1362.3 s]
/proc/loadavg: 1.01 1.42 1.71 2/171 23769
/proc/meminfo: memFree=27947844/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=1767544 CPUtime=1362.32
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 459661 0 0 0 135794 438 0 0 25 0 1 0 26226450 1809965056 433638 4089446400 4194304 10345943 140734960042304 18446744073709551615 8160777 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23707/statm: 441886 433638 764 1502 0 440379 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1767544
[startup+1422.31 s]
/proc/loadavg: 1.00 1.34 1.66 2/171 23770
/proc/meminfo: memFree=27869192/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=1846224 CPUtime=1422.32
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 479266 0 0 0 141776 456 0 0 25 0 1 0 26226450 1890533376 453243 4089446400 4194304 10345943 140734960042304 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23707/statm: 461556 453243 765 1502 0 460049 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 1846224
[startup+1482.3 s]
/proc/loadavg: 1.00 1.28 1.62 2/171 23771
/proc/meminfo: memFree=27789400/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=1926352 CPUtime=1482.32
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 499434 0 0 0 147758 474 0 0 25 0 1 0 26226450 1972584448 473411 4089446400 4194304 10345943 140734960042304 18446744073709551615 4447807 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23707/statm: 481588 473411 765 1502 0 480081 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1926352
[startup+1542.3 s]
/proc/loadavg: 1.00 1.23 1.58 2/171 23773
/proc/meminfo: memFree=27709244/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=2005380 CPUtime=1542.32
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 519204 0 0 0 153742 490 0 0 25 0 1 0 26226450 2053509120 493181 4089446400 4194304 10345943 140734960042304 18446744073709551615 6108031 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23707/statm: 501345 493181 765 1502 0 499838 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 2005380
[startup+1602.3 s]
/proc/loadavg: 1.00 1.18 1.54 2/171 23775
/proc/meminfo: memFree=27633180/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=2083428 CPUtime=1602.33
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 538537 0 0 0 159728 505 0 0 25 0 1 0 26226450 2133430272 512511 4089446400 4194304 10345943 140734960042304 18446744073709551615 4447753 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23707/statm: 520857 512511 765 1502 0 519350 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2083428
[startup+1662.3 s]
/proc/loadavg: 1.00 1.15 1.50 2/171 23777
/proc/meminfo: memFree=27552784/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=2194632 CPUtime=1662.33
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 558251 0 0 0 165710 523 0 0 25 0 1 0 26226450 2247303168 532224 4089446400 4194304 10345943 140734960042304 18446744073709551615 4695997 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23707/statm: 548658 532224 765 1502 0 547151 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2194632
[startup+1722.3 s]
/proc/loadavg: 1.00 1.12 1.47 2/171 23778
/proc/meminfo: memFree=27472128/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=2276568 CPUtime=1722.32
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 578767 0 0 0 171693 539 0 0 25 0 1 0 26226450 2331205632 552739 4089446400 4194304 10345943 140734960042304 18446744073709551615 4447818 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23707/statm: 569142 552739 765 1502 0 567635 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 2276568
[startup+1782.3 s]
/proc/loadavg: 1.00 1.09 1.43 2/171 23779
/proc/meminfo: memFree=27391972/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=2355896 CPUtime=1782.33
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 598378 0 0 0 177680 553 0 0 25 0 1 0 26226450 2412437504 572349 4089446400 4194304 10345943 140734960042304 18446744073709551615 6119520 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23707/statm: 588974 572349 765 1502 0 587467 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 2355896
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.09 1.43 2/171 23779
/proc/meminfo: memFree=27387136/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=2360072 CPUtime=1785.53
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 599581 0 0 0 177999 554 0 0 25 0 1 0 26226450 2416713728 573552 4089446400 4194304 10345943 140734960042304 18446744073709551615 9137947 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23707/statm: 590018 573552 765 1502 0 588511 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 2360072
[startup+1788.7 s]
/proc/loadavg: 1.00 1.09 1.43 2/171 23779
/proc/meminfo: memFree=27383660/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=2363660 CPUtime=1788.73
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 600467 0 0 0 178318 555 0 0 25 0 1 0 26226450 2420387840 574438 4089446400 4194304 10345943 140734960042304 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23707/statm: 590915 574438 765 1502 0 589408 0
Current children cumulated CPU time (s) 1788.73
Current children cumulated vsize (KiB) 2363660
[startup+1791.91 s]
/proc/loadavg: 1.00 1.09 1.43 2/171 23780
/proc/meminfo: memFree=27381184/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=2365964 CPUtime=1791.94
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 601058 0 0 0 178639 555 0 0 20 0 1 0 26226450 2422747136 575029 4089446400 4194304 10345943 140734960042304 18446744073709551615 6325130 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/23707/statm: 591491 575029 769 1502 0 589984 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 2365964
[startup+1793.5 s]
/proc/loadavg: 1.00 1.09 1.43 2/171 23780
/proc/meminfo: memFree=27381060/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=2365964 CPUtime=1793.53
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 601058 0 0 0 178798 555 0 0 25 0 1 0 26226450 2422747136 575029 4089446400 4194304 10345943 140734960042304 18446744073709551615 6325130 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/23707/statm: 591491 575029 769 1502 0 589984 0
Current children cumulated CPU time (s) 1793.53
Current children cumulated vsize (KiB) 2365964
[startup+1793.9 s]
/proc/loadavg: 1.00 1.09 1.43 2/171 23780
/proc/meminfo: memFree=27381060/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=2365964 CPUtime=1793.93
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 601058 0 0 0 178838 555 0 0 25 0 1 0 26226450 2422747136 575029 4089446400 4194304 10345943 140734960042304 18446744073709551615 6325586 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/23707/statm: 591491 575029 769 1502 0 589984 0
Current children cumulated CPU time (s) 1793.93
Current children cumulated vsize (KiB) 2365964
[startup+1794.11 s]
/proc/loadavg: 1.00 1.09 1.43 2/171 23780
/proc/meminfo: memFree=27381060/32950928 swapFree=67111528/67111528
[pid=23707] ppid=23705 vsize=2365964 CPUtime=1794.14
/proc/23707/stat : 23707 (pbscip.linux.x8) R 23705 23707 23101 0 -1 4202496 601058 0 0 0 178859 555 0 0 25 0 1 0 26226450 2422747136 575029 4089446400 4194304 10345943 140734960042304 18446744073709551615 4665803 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/23707/statm: 591491 575029 769 1502 0 589984 0
Current children cumulated CPU time (s) 1794.14
Current children cumulated vsize (KiB) 2365964
Child status: 0
Real time (s): 1794.2
CPU time (s): 1794.24
CPU user time (s): 1788.61
CPU system time (s): 5.63514
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2365964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.61
system time used= 5.63514
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 601061
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 1040
runsolver used 2.78758 second user time and 5.38218 second system time
The end
Begin job on node122 at 2010-07-08 11:08:49
IDJOB=2705757
IDBENCH=79421
IDSOLVER=1214
FILE ID=node122/2705757-1278580129
PBS_JOBID= 11240210
Free space on /tmp= 73396 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-jnh07_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-2705757-1278580129/watcher-2705757-1278580129 -o /tmp/evaluation-result-2705757-1278580129/solver-2705757-1278580129 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705757-1278580129.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 124b6775b7bb4e390bc62510a681a702
RANDOM SEED=1676477818
node122.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.839
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.67
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.839
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.16
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.839
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.839
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.81
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.839
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.76
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.839
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.67
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.839
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.839
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 29625644 kB
Buffers: 165616 kB
Cached: 2886108 kB
SwapCached: 0 kB
Active: 1172488 kB
Inactive: 1985368 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 29625644 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 25848 kB
Writeback: 0 kB
AnonPages: 106176 kB
Mapped: 17740 kB
Slab: 103444 kB
PageTables: 4760 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 249048 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= 73396 MiB
End job on node122 at 2010-07-08 11:38:43