Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | MSAT (TO) | 1802.1 | 1802.05 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh11_wcsp.wbo |
| MD5SUM | 540e5098c207f1245411172896d943a2 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 172 |
| Best CPU time to get the best result obtained on this benchmark | 1.47578 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 200 |
| Total number of constraints | 950 |
| Number of soft constraints | 850 |
| Number of constraints which are clauses | 850 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 11 |
| Top cost | 420926 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 420925 |
| Biggest number in a constraint | 10 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 21 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2700176-1278534274.wbo>
0.00/0.01 c original problem has 1900 variables (1050 bin, 0 int, 0 impl, 850 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, 1050 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, 1050 impls, 0 clqs
0.00/0.06 c (0.0s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.06 c presolving (3 rounds):
0.00/0.06 c 100 deleted vars, 101 deleted constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 1050 implications, 0 cliques
0.00/0.06 c presolved problem has 1800 variables (950 bin, 0 int, 0 impl, 850 cont) and 1700 constraints
0.00/0.06 c 850 constraints of type <indicator>
0.00/0.06 c 850 constraints of type <linear>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.04
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 1.2.1.2
0.00/0.06 c
0.00/0.06 c # frequency for displaying node information lines
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06 c display/freq = 10000
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/time = 1799.99
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/memory = 3420
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify inequalities
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/linear/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify knapsacks
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/rapidlearning/freq = 0
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 c
0.00/0.06 o 420925
0.00/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.00/0.06 c t 0.0s| 1 | 0 | 0 | - |6127k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | -- | 4.209250e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 0 | - |6525k| 0 | 0 |1800 |1700 |1800 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.00/0.06 c 0.1s| 1 | 0 | 39 | - |6567k| 0 | 0 |1800 |1700 |1800 | 72 | 72 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.00/0.07 c 0.1s| 1 | 0 | 108 | - |6609k| 0 | 22 |1800 |1700 |1800 | 106 | 106 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.00/0.07 c 0.1s| 1 | 0 | 154 | - |6704k| 0 | 79 |1800 |1700 |1800 | 152 | 152 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.00/0.09 c 0.1s| 1 | 0 | 175 | - |6759k| 0 | 83 |1800 |1700 |1800 | 166 | 166 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 183 | - |6795k| 0 | 83 |1800 |1700 |1800 | 171 | 171 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 195 | - |6822k| 0 | 81 |1800 |1700 |1800 | 174 | 174 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.19/0.21 c 0.2s| 1 | 2 | 320 | - |6874k| 0 | 81 |1800 |1700 |1800 | 174 | 174 | 0 | 33 | 0.000000e+00 | 4.209250e+05 | Inf
10.89/10.93 c 10.7s| 10000 | 10001 | 55507 | 5.5 | 19M| 99 | 5 |1800 |1700 |1800 | 288 | 15k| 0 | 791 | 0.000000e+00 | 4.209250e+05 | Inf
19.19/19.21 c 18.8s| 20000 | 20001 | 92051 | 4.6 | 29M| 113 | 36 |1800 |1700 |1800 | 189 | 26k| 0 | 791 | 0.000000e+00 | 4.209250e+05 | Inf
27.49/27.54 c 27.0s| 30000 | 30001 |131502 | 4.4 | 40M| 113 | 18 |1800 |1700 |1800 | 233 | 38k| 0 | 801 | 0.000000e+00 | 4.209250e+05 | Inf
35.79/35.85 c 35.1s| 40000 | 40001 |169328 | 4.2 | 50M| 113 | 0 |1800 |1700 |1800 | 282 | 49k| 0 | 892 | 0.000000e+00 | 4.209250e+05 | Inf
43.90/43.93 c 43.0s| 50000 | 50001 |198382 | 4.0 | 60M| 117 | 3 |1800 |1700 |1800 | 255 | 58k| 0 | 963 | 0.000000e+00 | 4.209250e+05 | Inf
51.99/52.00 c 51.0s| 60000 | 60001 |225838 | 3.8 | 70M| 129 | 0 |1800 |1700 |1800 | 295 | 66k| 0 |1052 | 0.000000e+00 | 4.209250e+05 | Inf
59.89/59.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.89/59.99 c 58.8s| 70000 | 70001 |254514 | 3.6 | 80M| 143 | 0 |1800 |1700 |1800 | 274 | 75k| 0 |1120 | 0.000000e+00 | 4.209250e+05 | Inf
67.69/67.74 c 66.4s| 80000 | 80001 |277266 | 3.5 | 90M| 143 | 0 |1800 |1700 |1800 | 263 | 82k| 0 |1192 | 0.000000e+00 | 4.209250e+05 | Inf
75.69/75.71 c 74.2s| 90000 | 90001 |304699 | 3.4 | 100M| 143 | 0 |1800 |1700 |1800 | 288 | 90k| 0 |1292 | 0.000000e+00 | 4.209250e+05 | Inf
83.39/83.43 c 81.8s|100000 |100001 |324571 | 3.2 | 110M| 153 | 0 |1800 |1700 |1800 | 301 | 96k| 0 |1325 | 0.000000e+00 | 4.209250e+05 | Inf
91.29/91.32 c 89.1s|110000 |110001 |349720 | 3.2 | 120M| 153 | 0 |1800 |1700 |1800 | 295 | 104k| 0 |1398 | 0.000000e+00 | 4.209250e+05 | Inf
98.79/98.89 c 96.2s|120000 |120001 |367831 | 3.1 | 130M| 165 | 0 |1800 |1700 |1800 | 270 | 109k| 0 |1465 | 0.000000e+00 | 4.209250e+05 | Inf
106.48/106.55 c 103s|130000 |130001 |389443 | 3.0 | 140M| 165 | 0 |1800 |1700 |1800 | 318 | 116k| 0 |1500 | 0.000000e+00 | 4.209250e+05 | Inf
114.09/114.14 c 110s|140000 |140001 |409536 | 2.9 | 150M| 165 | 0 |1800 |1700 |1800 | 272 | 122k| 0 |1555 | 0.000000e+00 | 4.209250e+05 | Inf
121.69/121.70 c 118s|150000 |150001 |428936 | 2.9 | 160M| 165 | 0 |1800 |1700 |1800 | 294 | 127k| 0 |1596 | 0.000000e+00 | 4.209250e+05 | Inf
129.29/129.33 c 125s|160000 |160001 |447898 | 2.8 | 170M| 165 | 0 |1800 |1700 |1800 | 303 | 133k| 0 |1645 | 0.000000e+00 | 4.209250e+05 | Inf
136.98/137.08 c 132s|170000 |170001 |472215 | 2.8 | 180M| 165 | 0 |1800 |1700 |1800 | 305 | 140k| 0 |1707 | 0.000000e+00 | 4.209250e+05 | Inf
144.89/144.96 c 139s|180000 |180001 |499828 | 2.8 | 190M| 165 | 0 |1800 |1700 |1800 | 282 | 149k| 0 |1774 | 0.000000e+00 | 4.209250e+05 | Inf
152.69/152.75 c 147s|190000 |190001 |525622 | 2.8 | 200M| 165 | 0 |1800 |1700 |1800 | 242 | 157k| 0 |1830 | 0.000000e+00 | 4.209250e+05 | Inf
160.19/160.20 c 154s|200000 |200001 |540998 | 2.7 | 210M| 165 | 0 |1800 |1700 |1800 | 259 | 161k| 0 |1864 | 0.000000e+00 | 4.209250e+05 | Inf
167.79/167.85 c 161s|210000 |210001 |563433 | 2.7 | 220M| 165 | 0 |1800 |1700 |1800 | 276 | 167k| 0 |1911 | 0.000000e+00 | 4.209250e+05 | Inf
175.49/175.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
175.49/175.59 c 168s|220000 |220001 |586117 | 2.7 | 230M| 165 | 0 |1800 |1700 |1800 | 270 | 174k| 0 |1967 | 0.000000e+00 | 4.209250e+05 | Inf
183.09/183.12 c 175s|230000 |230001 |603105 | 2.6 | 240M| 165 | 0 |1800 |1700 |1800 | 266 | 178k| 0 |2005 | 0.000000e+00 | 4.209250e+05 | Inf
190.69/190.75 c 182s|240000 |240001 |624293 | 2.6 | 250M| 165 | 0 |1800 |1700 |1800 | 260 | 184k| 0 |2033 | 0.000000e+00 | 4.209250e+05 | Inf
198.29/198.33 c 189s|250000 |250001 |643747 | 2.6 | 260M| 165 | 0 |1800 |1700 |1800 | 251 | 190k| 0 |2085 | 0.000000e+00 | 4.209250e+05 | Inf
206.09/206.11 c 196s|260000 |260001 |669828 | 2.6 | 270M| 165 | 0 |1800 |1700 |1800 | 277 | 198k| 0 |2126 | 0.000000e+00 | 4.209250e+05 | Inf
213.79/213.82 c 204s|270000 |270001 |691471 | 2.6 | 280M| 165 | 0 |1800 |1700 |1800 | 257 | 205k| 0 |2189 | 0.000000e+00 | 4.209250e+05 | Inf
221.29/221.38 c 211s|280000 |280001 |710544 | 2.5 | 290M| 165 | 0 |1800 |1700 |1800 | 295 | 211k| 0 |2221 | 0.000000e+00 | 4.209250e+05 | Inf
229.00/229.09 c 218s|290000 |290001 |732801 | 2.5 | 300M| 165 | 0 |1800 |1700 |1800 | 292 | 217k| 0 |2247 | 0.000000e+00 | 4.209250e+05 | Inf
236.60/236.67 c 225s|300000 |300001 |751246 | 2.5 | 310M| 165 | 0 |1800 |1700 |1800 | 283 | 223k| 0 |2294 | 0.000000e+00 | 4.209250e+05 | Inf
244.29/244.35 c 232s|310000 |310001 |772710 | 2.5 | 320M| 165 | 15 |1800 |1700 |1800 | 220 | 229k| 0 |2338 | 0.000000e+00 | 4.209250e+05 | Inf
251.99/252.02 c 239s|320000 |320001 |792145 | 2.5 | 330M| 165 | 0 |1800 |1700 |1800 | 321 | 235k| 0 |2363 | 0.000000e+00 | 4.209250e+05 | Inf
259.60/259.63 c 246s|330000 |330001 |812181 | 2.5 | 340M| 165 | 0 |1800 |1700 |1800 | 287 | 241k| 0 |2402 | 0.000000e+00 | 4.209250e+05 | Inf
267.39/267.44 c 254s|340000 |340001 |837166 | 2.5 | 350M| 165 | 0 |1800 |1700 |1800 | 294 | 249k| 0 |2444 | 0.000000e+00 | 4.209250e+05 | Inf
275.09/275.15 c 261s|350000 |350001 |859882 | 2.5 | 360M| 165 | 0 |1800 |1700 |1800 | 278 | 256k| 0 |2489 | 0.000000e+00 | 4.209250e+05 | Inf
282.79/282.86 c 268s|360000 |360001 |880487 | 2.4 | 370M| 165 | 0 |1800 |1700 |1800 | 298 | 262k| 0 |2521 | 0.000000e+00 | 4.209250e+05 | Inf
290.40/290.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
290.40/290.41 c 275s|370000 |370001 |899118 | 2.4 | 380M| 165 | 0 |1800 |1700 |1800 | 286 | 268k| 0 |2553 | 0.000000e+00 | 4.209250e+05 | Inf
298.00/298.04 c 282s|380000 |380001 |918798 | 2.4 | 390M| 165 | 0 |1800 |1700 |1800 | 288 | 274k| 0 |2578 | 0.000000e+00 | 4.209250e+05 | Inf
305.70/305.74 c 290s|390000 |390001 |941693 | 2.4 | 400M| 165 | 0 |1800 |1700 |1800 | 253 | 281k| 0 |2630 | 0.000000e+00 | 4.209250e+05 | Inf
313.29/313.39 c 297s|400000 |400001 |963249 | 2.4 | 410M| 165 | 0 |1800 |1700 |1800 | 272 | 287k| 0 |2656 | 0.000000e+00 | 4.209250e+05 | Inf
320.99/321.06 c 304s|410000 |410001 |983409 | 2.4 | 420M| 165 | 3 |1800 |1700 |1800 | 285 | 293k| 0 |2682 | 0.000000e+00 | 4.209250e+05 | Inf
328.70/328.72 c 311s|420000 |420001 | 1003k| 2.4 | 430M| 165 | 15 |1800 |1700 |1800 | 225 | 299k| 0 |2724 | 0.000000e+00 | 4.209250e+05 | Inf
336.19/336.27 c 318s|430000 |430001 | 1022k| 2.4 | 440M| 165 | 0 |1800 |1700 |1800 | 296 | 305k| 0 |2753 | 0.000000e+00 | 4.209250e+05 | Inf
343.70/343.78 c 325s|440000 |440001 | 1039k| 2.4 | 450M| 165 | 0 |1800 |1700 |1800 | 272 | 310k| 0 |2779 | 0.000000e+00 | 4.209250e+05 | Inf
351.40/351.42 c 332s|450000 |450001 | 1059k| 2.4 | 461M| 165 | 9 |1800 |1700 |1800 | 290 | 315k| 0 |2804 | 0.000000e+00 | 4.209250e+05 | Inf
359.30/359.37 c 340s|460000 |460001 | 1088k| 2.4 | 471M| 165 | 5 |1800 |1700 |1800 | 274 | 324k| 0 |2854 | 0.000000e+00 | 4.209250e+05 | Inf
367.10/367.11 c 347s|470000 |470001 | 1113k| 2.4 | 481M| 165 | 0 |1800 |1700 |1800 | 293 | 331k| 0 |2884 | 0.000000e+00 | 4.209250e+05 | Inf
374.50/374.56 c 354s|480000 |480001 | 1127k| 2.3 | 491M| 165 | 0 |1800 |1700 |1800 | 289 | 335k| 0 |2907 | 0.000000e+00 | 4.209250e+05 | Inf
382.10/382.15 c 361s|490000 |490001 | 1147k| 2.3 | 501M| 165 | 15 |1800 |1700 |1800 | 247 | 341k| 0 |2935 | 0.000000e+00 | 4.209250e+05 | Inf
389.70/389.72 c 368s|500000 |500001 | 1165k| 2.3 | 511M| 165 | 0 |1800 |1700 |1800 | 268 | 347k| 0 |2960 | 0.000000e+00 | 4.209250e+05 | Inf
397.30/397.33 c 375s|510000 |510001 | 1185k| 2.3 | 521M| 165 | 0 |1800 |1700 |1800 | 284 | 352k| 0 |2984 | 0.000000e+00 | 4.209250e+05 | Inf
405.00/405.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
405.00/405.02 c 382s|520000 |520001 | 1206k| 2.3 | 531M| 165 | 0 |1800 |1700 |1800 | 264 | 358k| 0 |3006 | 0.000000e+00 | 4.209250e+05 | Inf
412.60/412.66 c 390s|530000 |530001 | 1226k| 2.3 | 541M| 165 | 18 |1800 |1700 |1800 | 280 | 364k| 0 |3035 | 0.000000e+00 | 4.209250e+05 | Inf
420.30/420.39 c 397s|540000 |539999 | 1248k| 2.3 | 551M| 165 | 0 |1800 |1705 |1800 | 249 | 370k| 5 |3068 | 0.000000e+00 | 4.209250e+05 | Inf
427.90/427.91 c 404s|550000 |549999 | 1264k| 2.3 | 561M| 165 | 0 |1800 |1705 |1800 | 294 | 375k| 5 |3090 | 0.000000e+00 | 4.209250e+05 | Inf
435.80/435.81 c 412s|560000 |559999 | 1293k| 2.3 | 571M| 165 | 0 |1800 |1705 |1800 | 261 | 383k| 5 |3119 | 0.000000e+00 | 4.209250e+05 | Inf
443.40/443.48 c 419s|570000 |569999 | 1315k| 2.3 | 581M| 165 | 0 |1800 |1705 |1800 | 272 | 390k| 5 |3168 | 0.000000e+00 | 4.209250e+05 | Inf
451.10/451.19 c 427s|580000 |579999 | 1337k| 2.3 | 591M| 165 | 0 |1800 |1705 |1800 | 281 | 396k| 5 |3202 | 0.000000e+00 | 4.209250e+05 | Inf
458.70/458.79 c 434s|590000 |589999 | 1356k| 2.3 | 601M| 165 | 0 |1800 |1705 |1800 | 268 | 402k| 5 |3231 | 0.000000e+00 | 4.209250e+05 | Inf
465.80/465.82 c 441s|600000 |599999 | 1363k| 2.3 | 611M| 165 | 0 |1800 |1705 |1800 | 248 | 403k| 5 |3231 | 0.000000e+00 | 4.209250e+05 | Inf
473.10/473.18 c 449s|610000 |609999 | 1375k| 2.3 | 621M| 165 | 0 |1800 |1705 |1800 | 316 | 407k| 5 |3251 | 0.000000e+00 | 4.209250e+05 | Inf
480.70/480.77 c 456s|620000 |619999 | 1393k| 2.2 | 631M| 165 | 0 |1800 |1705 |1800 | 282 | 412k| 5 |3272 | 0.000000e+00 | 4.209250e+05 | Inf
488.31/488.35 c 464s|630000 |629999 | 1412k| 2.2 | 641M| 165 | 0 |1800 |1705 |1800 | 259 | 418k| 5 |3293 | 0.000000e+00 | 4.209250e+05 | Inf
495.80/495.82 c 471s|640000 |639999 | 1427k| 2.2 | 651M| 165 | 0 |1800 |1705 |1800 | 260 | 422k| 5 |3313 | 0.000000e+00 | 4.209250e+05 | Inf
503.10/503.19 c 478s|650000 |649999 | 1441k| 2.2 | 661M| 165 | 0 |1800 |1705 |1800 | 304 | 426k| 5 |3321 | 0.000000e+00 | 4.209250e+05 | Inf
510.80/510.85 c 486s|660000 |659999 | 1460k| 2.2 | 671M| 165 | 3 |1800 |1705 |1800 | 261 | 432k| 5 |3344 | 0.000000e+00 | 4.209250e+05 | Inf
518.30/518.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
518.30/518.39 c 493s|670000 |669999 | 1479k| 2.2 | 681M| 165 | 0 |1800 |1704 |1800 | 278 | 437k| 5 |3369 | 0.000000e+00 | 4.209250e+05 | Inf
525.90/525.98 c 500s|680000 |679999 | 1495k| 2.2 | 691M| 165 | 0 |1800 |1704 |1800 | 291 | 442k| 5 |3385 | 0.000000e+00 | 4.209250e+05 | Inf
533.60/533.61 c 508s|690000 |689999 | 1514k| 2.2 | 701M| 165 | 14 |1800 |1704 |1800 | 287 | 448k| 5 |3409 | 0.000000e+00 | 4.209250e+05 | Inf
541.10/541.16 c 515s|700000 |699999 | 1529k| 2.2 | 711M| 165 | 0 |1800 |1704 |1800 | 278 | 453k| 5 |3418 | 0.000000e+00 | 4.209250e+05 | Inf
548.60/548.66 c 523s|710000 |709999 | 1546k| 2.2 | 721M| 165 | 0 |1800 |1704 |1800 | 291 | 457k| 5 |3432 | 0.000000e+00 | 4.209250e+05 | Inf
556.11/556.10 c 530s|720000 |719999 | 1563k| 2.2 | 731M| 165 | 0 |1800 |1704 |1800 | 281 | 462k| 5 |3443 | 0.000000e+00 | 4.209250e+05 | Inf
563.50/563.56 c 537s|730000 |729999 | 1579k| 2.2 | 741M| 165 | 14 |1800 |1704 |1800 | 254 | 467k| 5 |3460 | 0.000000e+00 | 4.209250e+05 | Inf
571.30/571.31 c 545s|740000 |739999 | 1600k| 2.2 | 751M| 165 | 0 |1800 |1704 |1800 | 269 | 472k| 5 |3489 | 0.000000e+00 | 4.209250e+05 | Inf
578.90/578.98 c 552s|750000 |749999 | 1621k| 2.2 | 761M| 165 | 0 |1800 |1704 |1800 | 307 | 479k| 5 |3509 | 0.000000e+00 | 4.209250e+05 | Inf
586.51/586.56 c 560s|760000 |759999 | 1640k| 2.2 | 771M| 165 | 3 |1800 |1704 |1800 | 259 | 484k| 5 |3533 | 0.000000e+00 | 4.209250e+05 | Inf
594.00/594.07 c 567s|770000 |769999 | 1656k| 2.2 | 781M| 165 | 6 |1800 |1704 |1800 | 279 | 489k| 5 |3548 | 0.000000e+00 | 4.209250e+05 | Inf
601.71/601.72 c 575s|780000 |779999 | 1677k| 2.2 | 791M| 165 | 0 |1800 |1704 |1800 | 278 | 495k| 5 |3571 | 0.000000e+00 | 4.209250e+05 | Inf
609.41/609.42 c 582s|790000 |789999 | 1700k| 2.2 | 801M| 165 | 3 |1800 |1704 |1800 | 269 | 502k| 5 |3593 | 0.000000e+00 | 4.209250e+05 | Inf
616.90/616.99 c 590s|800000 |799999 | 1717k| 2.1 | 811M| 165 | 0 |1800 |1704 |1800 | 267 | 507k| 5 |3615 | 0.000000e+00 | 4.209250e+05 | Inf
624.41/624.44 c 597s|810000 |809999 | 1732k| 2.1 | 820M| 165 | 0 |1800 |1704 |1800 | 255 | 511k| 5 |3626 | 0.000000e+00 | 4.209250e+05 | Inf
632.10/632.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
632.10/632.13 c 605s|820000 |819999 | 1754k| 2.1 | 831M| 165 | 0 |1800 |1704 |1800 | 281 | 518k| 5 |3652 | 0.000000e+00 | 4.209250e+05 | Inf
639.70/639.70 c 612s|830000 |829999 | 1773k| 2.1 | 841M| 165 | 0 |1800 |1704 |1800 | 307 | 523k| 5 |3674 | 0.000000e+00 | 4.209250e+05 | Inf
647.20/647.22 c 619s|840000 |839999 | 1790k| 2.1 | 850M| 165 | 2 |1800 |1703 |1800 | 231 | 528k| 5 |3682 | 0.000000e+00 | 4.209250e+05 | Inf
654.60/654.60 c 627s|850000 |849999 | 1804k| 2.1 | 860M| 165 | 0 |1800 |1703 |1800 | 253 | 532k| 5 |3694 | 0.000000e+00 | 4.209250e+05 | Inf
662.21/662.20 c 634s|860000 |859999 | 1823k| 2.1 | 870M| 165 | 17 |1800 |1703 |1800 | 259 | 537k| 5 |3712 | 0.000000e+00 | 4.209250e+05 | Inf
669.51/669.56 c 641s|870000 |869999 | 1836k| 2.1 | 880M| 165 | 4 |1800 |1703 |1800 | 195 | 541k| 5 |3733 | 0.000000e+00 | 4.209250e+05 | Inf
677.01/677.06 c 649s|880000 |879999 | 1852k| 2.1 | 890M| 165 | 0 |1800 |1703 |1800 | 273 | 546k| 5 |3752 | 0.000000e+00 | 4.209250e+05 | Inf
684.51/684.53 c 656s|890000 |889999 | 1867k| 2.1 | 900M| 165 | 0 |1800 |1703 |1800 | 262 | 550k| 5 |3769 | 0.000000e+00 | 4.209250e+05 | Inf
692.11/692.14 c 663s|900000 |899999 | 1887k| 2.1 | 910M| 165 | 0 |1800 |1703 |1800 | 286 | 556k| 5 |3790 | 0.000000e+00 | 4.209250e+05 | Inf
699.70/699.77 c 671s|910000 |909999 | 1907k| 2.1 | 920M| 165 | 26 |1800 |1703 |1800 | 210 | 563k| 5 |3811 | 0.000000e+00 | 4.209250e+05 | Inf
707.11/707.16 c 678s|920000 |919999 | 1921k| 2.1 | 930M| 165 | 0 |1800 |1703 |1800 | 283 | 567k| 5 |3817 | 0.000000e+00 | 4.209250e+05 | Inf
714.70/714.70 c 686s|930000 |929999 | 1939k| 2.1 | 940M| 165 | 0 |1800 |1703 |1800 | 252 | 572k| 5 |3831 | 0.000000e+00 | 4.209250e+05 | Inf
722.31/722.30 c 693s|940000 |939999 | 1957k| 2.1 | 950M| 165 | 0 |1800 |1703 |1800 | 292 | 578k| 5 |3857 | 0.000000e+00 | 4.209250e+05 | Inf
729.91/729.95 c 701s|950000 |949999 | 1978k| 2.1 | 960M| 165 | 0 |1800 |1703 |1800 | 308 | 583k| 5 |3869 | 0.000000e+00 | 4.209250e+05 | Inf
737.50/737.50 c 708s|960000 |959999 | 1996k| 2.1 | 970M| 165 | 30 |1800 |1703 |1800 | 224 | 588k| 5 |3889 | 0.000000e+00 | 4.209250e+05 | Inf
745.00/745.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
745.00/745.01 c 715s|970000 |969999 | 2012k| 2.1 | 980M| 165 | 0 |1800 |1703 |1800 | 271 | 593k| 5 |3908 | 0.000000e+00 | 4.209250e+05 | Inf
752.60/752.63 c 723s|980000 |979999 | 2033k| 2.1 | 990M| 165 | 0 |1800 |1703 |1800 | 254 | 599k| 5 |3924 | 0.000000e+00 | 4.209250e+05 | Inf
760.02/760.05 c 730s|990000 |989999 | 2048k| 2.1 |1000M| 227 | 0 |1800 |1703 |1800 | 268 | 604k| 5 |3943 | 0.000000e+00 | 4.209250e+05 | Inf
767.21/767.20 c 737s| 1000k|999999 | 2061k| 2.1 |1010M| 227 | 0 |1800 |1703 |1800 | 272 | 608k| 5 |3959 | 0.000000e+00 | 4.209250e+05 | Inf
774.21/774.26 c 744s| 1010k| 1009k| 2072k| 2.1 |1020M| 227 | 0 |1800 |1703 |1800 | 264 | 611k| 5 |3961 | 0.000000e+00 | 4.209250e+05 | Inf
781.30/781.32 c 751s| 1020k| 1019k| 2084k| 2.0 |1030M| 227 | 0 |1800 |1703 |1800 | 289 | 614k| 5 |3976 | 0.000000e+00 | 4.209250e+05 | Inf
788.41/788.48 c 758s| 1030k| 1029k| 2096k| 2.0 |1040M| 227 | 0 |1800 |1703 |1800 | 287 | 617k| 5 |3982 | 0.000000e+00 | 4.209250e+05 | Inf
795.61/795.60 c 765s| 1040k| 1039k| 2107k| 2.0 |1050M| 227 | 0 |1800 |1703 |1800 | 321 | 620k| 5 |3995 | 0.000000e+00 | 4.209250e+05 | Inf
803.01/803.04 c 772s| 1050k| 1049k| 2128k| 2.0 |1060M| 227 | 0 |1800 |1703 |1800 | 297 | 626k| 5 |4013 | 0.000000e+00 | 4.209250e+05 | Inf
810.41/810.49 c 780s| 1060k| 1059k| 2146k| 2.0 |1070M| 227 | 0 |1800 |1703 |1800 | 289 | 632k| 5 |4033 | 0.000000e+00 | 4.209250e+05 | Inf
817.61/817.62 c 787s| 1070k| 1069k| 2158k| 2.0 |1080M| 227 | 9 |1800 |1703 |1800 | 255 | 635k| 5 |4048 | 0.000000e+00 | 4.209250e+05 | Inf
824.71/824.79 c 794s| 1080k| 1079k| 2170k| 2.0 |1090M| 227 | 0 |1800 |1703 |1800 | 303 | 639k| 5 |4050 | 0.000000e+00 | 4.209250e+05 | Inf
832.02/832.05 c 801s| 1090k| 1089k| 2185k| 2.0 |1100M| 227 | 0 |1800 |1703 |1800 | 276 | 643k| 5 |4069 | 0.000000e+00 | 4.209250e+05 | Inf
839.11/839.18 c 808s| 1100k| 1099k| 2196k| 2.0 |1110M| 227 | 0 |1800 |1703 |1800 | 253 | 647k| 5 |4077 | 0.000000e+00 | 4.209250e+05 | Inf
846.42/846.44 c 815s| 1110k| 1109k| 2210k| 2.0 |1120M| 227 | 0 |1800 |1703 |1800 | 275 | 651k| 5 |4088 | 0.000000e+00 | 4.209250e+05 | Inf
853.52/853.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
853.52/853.59 c 822s| 1120k| 1119k| 2221k| 2.0 |1130M| 227 | 0 |1800 |1703 |1800 | 299 | 654k| 5 |4107 | 0.000000e+00 | 4.209250e+05 | Inf
860.71/860.70 c 829s| 1130k| 1129k| 2232k| 2.0 |1140M| 227 | 3 |1800 |1703 |1800 | 245 | 657k| 5 |4107 | 0.000000e+00 | 4.209250e+05 | Inf
867.92/867.92 c 836s| 1140k| 1139k| 2248k| 2.0 |1150M| 227 | 0 |1800 |1703 |1800 | 282 | 662k| 5 |4123 | 0.000000e+00 | 4.209250e+05 | Inf
875.21/875.26 c 843s| 1150k| 1149k| 2262k| 2.0 |1160M| 227 | 0 |1800 |1703 |1800 | 271 | 666k| 5 |4138 | 0.000000e+00 | 4.209250e+05 | Inf
882.51/882.57 c 850s| 1160k| 1159k| 2276k| 2.0 |1170M| 227 | 14 |1800 |1703 |1800 | 257 | 670k| 5 |4155 | 0.000000e+00 | 4.209250e+05 | Inf
889.72/889.78 c 857s| 1170k| 1169k| 2287k| 2.0 |1180M| 227 | 0 |1800 |1703 |1800 | 281 | 673k| 5 |4156 | 0.000000e+00 | 4.209250e+05 | Inf
897.01/897.02 c 865s| 1180k| 1179k| 2300k| 1.9 |1190M| 227 | 0 |1800 |1703 |1800 | 283 | 677k| 5 |4175 | 0.000000e+00 | 4.209250e+05 | Inf
904.12/904.19 c 872s| 1190k| 1189k| 2313k| 1.9 |1200M| 227 | 0 |1800 |1703 |1800 | 248 | 680k| 5 |4186 | 0.000000e+00 | 4.209250e+05 | Inf
911.32/911.34 c 879s| 1200k| 1199k| 2325k| 1.9 |1210M| 227 | 0 |1800 |1703 |1800 | 299 | 684k| 5 |4193 | 0.000000e+00 | 4.209250e+05 | Inf
918.52/918.51 c 886s| 1210k| 1209k| 2338k| 1.9 |1219M| 227 | 0 |1800 |1703 |1800 | 312 | 688k| 5 |4209 | 0.000000e+00 | 4.209250e+05 | Inf
925.61/925.64 c 893s| 1220k| 1219k| 2350k| 1.9 |1229M| 227 | 0 |1800 |1703 |1800 | 279 | 692k| 5 |4216 | 0.000000e+00 | 4.209250e+05 | Inf
932.91/932.91 c 900s| 1230k| 1229k| 2365k| 1.9 |1239M| 227 | 0 |1800 |1703 |1800 | 275 | 696k| 5 |4225 | 0.000000e+00 | 4.209250e+05 | Inf
940.01/940.02 c 907s| 1240k| 1239k| 2374k| 1.9 |1249M| 227 | 0 |1800 |1703 |1800 | 272 | 698k| 5 |4239 | 0.000000e+00 | 4.209250e+05 | Inf
947.21/947.24 c 914s| 1250k| 1249k| 2387k| 1.9 |1259M| 227 | 0 |1800 |1703 |1800 | 257 | 702k| 5 |4241 | 0.000000e+00 | 4.209250e+05 | Inf
954.51/954.51 c 921s| 1260k| 1259k| 2401k| 1.9 |1269M| 227 | 0 |1800 |1703 |1800 | 314 | 706k| 5 |4257 | 0.000000e+00 | 4.209250e+05 | Inf
961.62/961.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
961.62/961.69 c 928s| 1270k| 1269k| 2414k| 1.9 |1279M| 227 | 0 |1800 |1703 |1800 | 299 | 710k| 5 |4269 | 0.000000e+00 | 4.209250e+05 | Inf
968.92/968.92 c 935s| 1280k| 1279k| 2429k| 1.9 |1289M| 227 | 0 |1800 |1703 |1800 | 282 | 714k| 5 |4274 | 0.000000e+00 | 4.209250e+05 | Inf
976.01/976.02 c 942s| 1290k| 1289k| 2440k| 1.9 |1299M| 227 | 0 |1800 |1707 |1800 | 272 | 718k| 9 |4287 | 0.000000e+00 | 4.209250e+05 | Inf
983.01/983.00 c 949s| 1300k| 1299k| 2447k| 1.9 |1309M| 227 | 0 |1800 |1706 |1800 | 290 | 720k| 9 |4288 | 0.000000e+00 | 4.209250e+05 | Inf
990.12/990.16 c 956s| 1310k| 1309k| 2461k| 1.9 |1319M| 227 | 0 |1800 |1705 |1800 | 283 | 724k| 9 |4308 | 0.000000e+00 | 4.209250e+05 | Inf
997.12/997.14 c 963s| 1320k| 1319k| 2472k| 1.9 |1329M| 227 | 0 |1800 |1704 |1800 | 281 | 727k| 9 |4308 | 0.000000e+00 | 4.209250e+05 | Inf
1004.22/1004.21 c 970s| 1330k| 1329k| 2484k| 1.9 |1339M| 227 | 0 |1800 |1704 |1800 | 294 | 730k| 9 |4326 | 0.000000e+00 | 4.209250e+05 | Inf
1011.32/1011.38 c 977s| 1340k| 1339k| 2498k| 1.9 |1348M| 227 | 0 |1800 |1704 |1800 | 259 | 734k| 9 |4340 | 0.000000e+00 | 4.209250e+05 | Inf
1018.52/1018.53 c 984s| 1350k| 1349k| 2510k| 1.9 |1358M| 227 | 0 |1800 |1704 |1800 | 274 | 737k| 9 |4345 | 0.000000e+00 | 4.209250e+05 | Inf
1025.72/1025.70 c 991s| 1360k| 1359k| 2524k| 1.9 |1368M| 227 | 0 |1800 |1704 |1800 | 305 | 741k| 9 |4364 | 0.000000e+00 | 4.209250e+05 | Inf
1032.82/1032.90 c 998s| 1370k| 1369k| 2538k| 1.9 |1378M| 227 | 0 |1800 |1704 |1800 | 282 | 745k| 9 |4364 | 0.000000e+00 | 4.209250e+05 | Inf
1040.01/1040.08 c 1005s| 1380k| 1379k| 2550k| 1.8 |1388M| 227 | 0 |1800 |1704 |1800 | 305 | 748k| 9 |4382 | 0.000000e+00 | 4.209250e+05 | Inf
1047.32/1047.32 c 1012s| 1390k| 1389k| 2564k| 1.8 |1398M| 227 | 0 |1800 |1704 |1800 | 276 | 752k| 9 |4388 | 0.000000e+00 | 4.209250e+05 | Inf
1054.52/1054.58 c 1019s| 1400k| 1399k| 2577k| 1.8 |1408M| 227 | 0 |1800 |1704 |1800 | 294 | 756k| 9 |4397 | 0.000000e+00 | 4.209250e+05 | Inf
1061.82/1061.86 c 1026s| 1410k| 1409k| 2590k| 1.8 |1418M| 227 | 0 |1800 |1704 |1800 | 286 | 759k| 9 |4411 | 0.000000e+00 | 4.209250e+05 | Inf
1069.02/1069.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1069.02/1069.10 c 1033s| 1420k| 1419k| 2602k| 1.8 |1428M| 227 | 0 |1800 |1704 |1800 | 283 | 763k| 9 |4413 | 0.000000e+00 | 4.209250e+05 | Inf
1076.12/1076.10 c 1040s| 1430k| 1429k| 2610k| 1.8 |1438M| 227 | 0 |1800 |1704 |1800 | 250 | 765k| 9 |4435 | 0.000000e+00 | 4.209250e+05 | Inf
1083.22/1083.29 c 1047s| 1440k| 1439k| 2622k| 1.8 |1448M| 227 | 0 |1800 |1704 |1800 | 278 | 768k| 9 |4438 | 0.000000e+00 | 4.209250e+05 | Inf
1090.42/1090.49 c 1054s| 1450k| 1449k| 2635k| 1.8 |1458M| 227 | 0 |1800 |1704 |1800 | 311 | 772k| 9 |4451 | 0.000000e+00 | 4.209250e+05 | Inf
1097.73/1097.72 c 1061s| 1460k| 1459k| 2647k| 1.8 |1468M| 227 | 0 |1800 |1704 |1800 | 278 | 776k| 9 |4464 | 0.000000e+00 | 4.209250e+05 | Inf
1104.82/1104.85 c 1068s| 1470k| 1469k| 2660k| 1.8 |1478M| 227 | 0 |1800 |1704 |1800 | 292 | 779k| 9 |4468 | 0.000000e+00 | 4.209250e+05 | Inf
1112.12/1112.11 c 1076s| 1480k| 1479k| 2673k| 1.8 |1488M| 227 | 0 |1800 |1704 |1800 | 284 | 783k| 9 |4484 | 0.000000e+00 | 4.209250e+05 | Inf
1119.32/1119.34 c 1083s| 1490k| 1489k| 2688k| 1.8 |1498M| 227 | 0 |1800 |1704 |1800 | 270 | 787k| 9 |4495 | 0.000000e+00 | 4.209250e+05 | Inf
1126.52/1126.57 c 1090s| 1500k| 1499k| 2703k| 1.8 |1508M| 227 | 0 |1800 |1704 |1800 | 279 | 792k| 9 |4500 | 0.000000e+00 | 4.209250e+05 | Inf
1133.82/1133.84 c 1097s| 1510k| 1509k| 2718k| 1.8 |1518M| 227 | 0 |1800 |1704 |1800 | 281 | 796k| 9 |4517 | 0.000000e+00 | 4.209250e+05 | Inf
1141.12/1141.10 c 1104s| 1520k| 1519k| 2730k| 1.8 |1527M| 227 | 0 |1800 |1704 |1800 | 279 | 799k| 9 |4531 | 0.000000e+00 | 4.209250e+05 | Inf
1148.22/1148.20 c 1111s| 1530k| 1529k| 2739k| 1.8 |1537M| 227 | 0 |1800 |1704 |1800 | 270 | 802k| 9 |4534 | 0.000000e+00 | 4.209250e+05 | Inf
1155.12/1155.17 c 1118s| 1540k| 1539k| 2746k| 1.8 |1547M| 227 | 0 |1800 |1704 |1800 | 281 | 804k| 9 |4535 | 0.000000e+00 | 4.209250e+05 | Inf
1162.13/1162.15 c 1125s| 1550k| 1549k| 2753k| 1.8 |1557M| 227 | 0 |1800 |1704 |1800 | 274 | 806k| 9 |4550 | 0.000000e+00 | 4.209250e+05 | Inf
1169.13/1169.16 c 1131s| 1560k| 1559k| 2761k| 1.8 |1567M| 227 | 0 |1800 |1704 |1800 | 266 | 808k| 9 |4551 | 0.000000e+00 | 4.209250e+05 | Inf
1176.12/1176.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1176.12/1176.11 c 1138s| 1570k| 1569k| 2767k| 1.8 |1577M| 227 | 0 |1800 |1704 |1800 | 268 | 810k| 9 |4555 | 0.000000e+00 | 4.209250e+05 | Inf
1183.02/1183.03 c 1145s| 1580k| 1579k| 2774k| 1.8 |1587M| 227 | 0 |1800 |1703 |1800 | 270 | 812k| 9 |4564 | 0.000000e+00 | 4.209250e+05 | Inf
1190.02/1190.03 c 1152s| 1590k| 1589k| 2780k| 1.7 |1597M| 227 | 0 |1800 |1703 |1800 | 290 | 814k| 9 |4564 | 0.000000e+00 | 4.209250e+05 | Inf
1197.02/1197.06 c 1159s| 1600k| 1599k| 2787k| 1.7 |1606M| 227 | 0 |1800 |1703 |1800 | 281 | 816k| 9 |4571 | 0.000000e+00 | 4.209250e+05 | Inf
1204.22/1204.20 c 1166s| 1610k| 1609k| 2798k| 1.7 |1616M| 227 | 0 |1800 |1703 |1800 | 263 | 820k| 9 |4577 | 0.000000e+00 | 4.209250e+05 | Inf
1211.22/1211.21 c 1173s| 1620k| 1619k| 2806k| 1.7 |1626M| 227 | 0 |1800 |1703 |1800 | 262 | 822k| 9 |4582 | 0.000000e+00 | 4.209250e+05 | Inf
1218.33/1218.38 c 1180s| 1630k| 1629k| 2818k| 1.7 |1636M| 227 | 0 |1800 |1703 |1800 | 283 | 825k| 9 |4590 | 0.000000e+00 | 4.209250e+05 | Inf
1225.43/1225.44 c 1187s| 1640k| 1639k| 2827k| 1.7 |1646M| 227 | 0 |1800 |1703 |1800 | 282 | 828k| 9 |4600 | 0.000000e+00 | 4.209250e+05 | Inf
1232.73/1232.70 c 1194s| 1650k| 1649k| 2841k| 1.7 |1656M| 227 | 11 |1800 |1703 |1800 | 278 | 832k| 9 |4609 | 0.000000e+00 | 4.209250e+05 | Inf
1239.82/1239.88 c 1201s| 1660k| 1659k| 2854k| 1.7 |1666M| 227 | 0 |1800 |1703 |1800 | 275 | 836k| 9 |4626 | 0.000000e+00 | 4.209250e+05 | Inf
1246.92/1246.93 c 1208s| 1670k| 1669k| 2863k| 1.7 |1676M| 227 | 0 |1800 |1703 |1800 | 274 | 838k| 9 |4627 | 0.000000e+00 | 4.209250e+05 | Inf
1254.12/1254.17 c 1215s| 1680k| 1679k| 2879k| 1.7 |1686M| 227 | 0 |1800 |1703 |1800 | 257 | 843k| 9 |4641 | 0.000000e+00 | 4.209250e+05 | Inf
1261.22/1261.28 c 1222s| 1690k| 1689k| 2890k| 1.7 |1696M| 227 | 0 |1800 |1703 |1800 | 264 | 846k| 9 |4644 | 0.000000e+00 | 4.209250e+05 | Inf
1268.12/1268.18 c 1229s| 1700k| 1699k| 2898k| 1.7 |1706M| 227 | 0 |1800 |1703 |1800 | 249 | 848k| 9 |4655 | 0.000000e+00 | 4.209250e+05 | Inf
1275.42/1275.43 c 1236s| 1710k| 1709k| 2913k| 1.7 |1716M| 227 | 0 |1800 |1703 |1800 | 271 | 853k| 9 |4665 | 0.000000e+00 | 4.209250e+05 | Inf
1282.53/1282.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1282.53/1282.57 c 1243s| 1720k| 1719k| 2926k| 1.7 |1726M| 227 | 0 |1800 |1703 |1800 | 271 | 857k| 9 |4668 | 0.000000e+00 | 4.209250e+05 | Inf
1289.62/1289.65 c 1250s| 1730k| 1729k| 2937k| 1.7 |1735M| 227 | 0 |1800 |1703 |1800 | 253 | 860k| 9 |4677 | 0.000000e+00 | 4.209250e+05 | Inf
1296.63/1296.63 c 1257s| 1740k| 1739k| 2946k| 1.7 |1745M| 227 | 16 |1800 |1703 |1800 | 243 | 862k| 9 |4682 | 0.000000e+00 | 4.209250e+05 | Inf
1303.73/1303.72 c 1264s| 1750k| 1749k| 2957k| 1.7 |1755M| 227 | 24 |1800 |1703 |1800 | 241 | 865k| 9 |4688 | 0.000000e+00 | 4.209250e+05 | Inf
1310.83/1310.82 c 1270s| 1760k| 1759k| 2969k| 1.7 |1765M| 227 | 0 |1800 |1703 |1800 | 247 | 868k| 9 |4694 | 0.000000e+00 | 4.209250e+05 | Inf
1317.83/1317.87 c 1277s| 1770k| 1769k| 2979k| 1.7 |1775M| 227 | 0 |1800 |1703 |1800 | 273 | 871k| 9 |4702 | 0.000000e+00 | 4.209250e+05 | Inf
1325.02/1325.08 c 1285s| 1780k| 1779k| 2992k| 1.7 |1785M| 227 | 0 |1800 |1703 |1800 | 270 | 875k| 9 |4706 | 0.000000e+00 | 4.209250e+05 | Inf
1332.13/1332.15 c 1291s| 1790k| 1789k| 3004k| 1.7 |1795M| 227 | 0 |1800 |1703 |1800 | 304 | 879k| 9 |4720 | 0.000000e+00 | 4.209250e+05 | Inf
1339.33/1339.38 c 1299s| 1800k| 1799k| 3019k| 1.7 |1805M| 227 | 0 |1800 |1703 |1800 | 284 | 883k| 9 |4725 | 0.000000e+00 | 4.209250e+05 | Inf
1346.53/1346.58 c 1306s| 1810k| 1809k| 3032k| 1.7 |1815M| 227 | 0 |1800 |1703 |1800 | 274 | 887k| 9 |4734 | 0.000000e+00 | 4.209250e+05 | Inf
1353.72/1353.73 c 1313s| 1820k| 1819k| 3044k| 1.7 |1825M| 227 | 0 |1800 |1703 |1800 | 276 | 890k| 9 |4745 | 0.000000e+00 | 4.209250e+05 | Inf
1360.83/1360.87 c 1320s| 1830k| 1829k| 3056k| 1.7 |1835M| 227 | 0 |1800 |1703 |1800 | 285 | 893k| 9 |4748 | 0.000000e+00 | 4.209250e+05 | Inf
1368.02/1368.06 c 1327s| 1840k| 1839k| 3070k| 1.7 |1845M| 227 | 0 |1800 |1703 |1800 | 253 | 897k| 9 |4762 | 0.000000e+00 | 4.209250e+05 | Inf
1375.13/1375.19 c 1334s| 1850k| 1849k| 3082k| 1.7 |1855M| 227 | 0 |1800 |1703 |1800 | 281 | 901k| 9 |4769 | 0.000000e+00 | 4.209250e+05 | Inf
1382.33/1382.33 c 1341s| 1860k| 1859k| 3094k| 1.7 |1865M| 227 | 0 |1800 |1703 |1800 | 261 | 904k| 9 |4777 | 0.000000e+00 | 4.209250e+05 | Inf
1389.43/1389.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1389.43/1389.42 c 1348s| 1870k| 1869k| 3104k| 1.7 |1875M| 227 | 0 |1800 |1703 |1800 | 281 | 907k| 9 |4783 | 0.000000e+00 | 4.209250e+05 | Inf
1396.63/1396.61 c 1355s| 1880k| 1879k| 3119k| 1.7 |1884M| 227 | 0 |1800 |1703 |1800 | 278 | 911k| 9 |4791 | 0.000000e+00 | 4.209250e+05 | Inf
1403.72/1403.72 c 1362s| 1890k| 1889k| 3131k| 1.7 |1894M| 227 | 0 |1800 |1703 |1800 | 294 | 915k| 9 |4805 | 0.000000e+00 | 4.209250e+05 | Inf
1410.82/1410.85 c 1369s| 1900k| 1899k| 3142k| 1.7 |1904M| 227 | 0 |1800 |1703 |1800 | 279 | 918k| 9 |4805 | 0.000000e+00 | 4.209250e+05 | Inf
1418.03/1418.03 c 1376s| 1910k| 1909k| 3155k| 1.7 |1914M| 227 | 0 |1800 |1703 |1800 | 306 | 922k| 9 |4819 | 0.000000e+00 | 4.209250e+05 | Inf
1425.13/1425.10 c 1383s| 1920k| 1919k| 3165k| 1.6 |1924M| 227 | 0 |1800 |1703 |1800 | 299 | 925k| 9 |4822 | 0.000000e+00 | 4.209250e+05 | Inf
1432.24/1432.28 c 1390s| 1930k| 1929k| 3177k| 1.6 |1934M| 227 | 0 |1800 |1703 |1800 | 261 | 929k| 9 |4832 | 0.000000e+00 | 4.209250e+05 | Inf
1439.23/1439.27 c 1396s| 1940k| 1939k| 3184k| 1.6 |1944M| 227 | 0 |1800 |1703 |1800 | 263 | 931k| 9 |4833 | 0.000000e+00 | 4.209250e+05 | Inf
1446.23/1446.26 c 1403s| 1950k| 1949k| 3192k| 1.6 |1954M| 227 | 0 |1800 |1703 |1800 | 272 | 933k| 9 |4846 | 0.000000e+00 | 4.209250e+05 | Inf
1453.23/1453.24 c 1410s| 1960k| 1959k| 3200k| 1.6 |1964M| 227 | 0 |1800 |1703 |1800 | 256 | 935k| 9 |4847 | 0.000000e+00 | 4.209250e+05 | Inf
1460.23/1460.21 c 1417s| 1970k| 1969k| 3207k| 1.6 |1974M| 227 | 0 |1800 |1703 |1800 | 267 | 937k| 9 |4855 | 0.000000e+00 | 4.209250e+05 | Inf
1467.03/1467.08 c 1424s| 1980k| 1979k| 3213k| 1.6 |1984M| 227 | 11 |1800 |1703 |1800 | 257 | 939k| 9 |4859 | 0.000000e+00 | 4.209250e+05 | Inf
1474.13/1474.13 c 1431s| 1990k| 1989k| 3225k| 1.6 |1993M| 227 | 0 |1800 |1703 |1800 | 305 | 942k| 9 |4861 | 0.000000e+00 | 4.209250e+05 | Inf
1481.53/1481.52 c 1438s| 2000k| 1999k| 3244k| 1.6 |2004M| 227 | 3 |1800 |1703 |1800 | 241 | 948k| 9 |4874 | 0.000000e+00 | 4.209250e+05 | Inf
1488.63/1488.66 c 1445s| 2010k| 2009k| 3256k| 1.6 |2013M| 227 | 0 |1800 |1703 |1800 | 271 | 952k| 9 |4884 | 0.000000e+00 | 4.209250e+05 | Inf
1495.64/1495.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1495.64/1495.65 c 1452s| 2020k| 2019k| 3265k| 1.6 |2023M| 227 | 0 |1800 |1703 |1800 | 275 | 954k| 9 |4887 | 0.000000e+00 | 4.209250e+05 | Inf
1502.64/1502.62 c 1459s| 2030k| 2029k| 3273k| 1.6 |2033M| 227 | 0 |1800 |1703 |1800 | 271 | 957k| 9 |4887 | 0.000000e+00 | 4.209250e+05 | Inf
1509.53/1509.54 c 1465s| 2040k| 2039k| 3279k| 1.6 |2043M| 227 | 0 |1800 |1703 |1800 | 291 | 958k| 9 |4900 | 0.000000e+00 | 4.209250e+05 | Inf
1516.63/1516.60 c 1472s| 2050k| 2049k| 3287k| 1.6 |2053M| 227 | 0 |1800 |1703 |1800 | 293 | 960k| 9 |4900 | 0.000000e+00 | 4.209250e+05 | Inf
1523.73/1523.70 c 1479s| 2060k| 2059k| 3297k| 1.6 |2063M| 227 | 0 |1800 |1703 |1800 | 322 | 963k| 9 |4907 | 0.000000e+00 | 4.209250e+05 | Inf
1530.94/1530.93 c 1486s| 2070k| 2069k| 3313k| 1.6 |2073M| 227 | 0 |1800 |1703 |1800 | 322 | 968k| 9 |4913 | 0.000000e+00 | 4.209250e+05 | Inf
1538.14/1538.11 c 1493s| 2080k| 2079k| 3325k| 1.6 |2083M| 227 | 8 |1800 |1703 |1800 | 203 | 972k| 9 |4928 | 0.000000e+00 | 4.209250e+05 | Inf
1545.33/1545.39 c 1501s| 2090k| 2089k| 3341k| 1.6 |2093M| 227 | 0 |1800 |1703 |1800 | 273 | 976k| 9 |4942 | 0.000000e+00 | 4.209250e+05 | Inf
1552.33/1552.38 c 1507s| 2100k| 2099k| 3350k| 1.6 |2103M| 227 | 0 |1800 |1703 |1800 | 291 | 979k| 9 |4943 | 0.000000e+00 | 4.209250e+05 | Inf
1559.53/1559.54 c 1514s| 2110k| 2109k| 3362k| 1.6 |2113M| 227 | 0 |1800 |1703 |1800 | 288 | 983k| 9 |4955 | 0.000000e+00 | 4.209250e+05 | Inf
1566.73/1566.78 c 1522s| 2120k| 2119k| 3375k| 1.6 |2123M| 227 | 0 |1800 |1703 |1800 | 292 | 986k| 9 |4957 | 0.000000e+00 | 4.209250e+05 | Inf
1574.14/1574.13 c 1529s| 2130k| 2129k| 3391k| 1.6 |2133M| 227 | 0 |1800 |1703 |1800 | 286 | 991k| 9 |4970 | 0.000000e+00 | 4.209250e+05 | Inf
1581.13/1581.12 c 1536s| 2140k| 2139k| 3400k| 1.6 |2143M| 227 | 0 |1800 |1703 |1800 | 265 | 994k| 9 |4976 | 0.000000e+00 | 4.209250e+05 | Inf
1587.93/1587.96 c 1542s| 2150k| 2149k| 3405k| 1.6 |2152M| 227 | 0 |1800 |1703 |1800 | 266 | 995k| 9 |4983 | 0.000000e+00 | 4.209250e+05 | Inf
1594.94/1594.96 c 1549s| 2160k| 2159k| 3414k| 1.6 |2162M| 227 | 0 |1800 |1703 |1800 | 292 | 998k| 9 |4984 | 0.000000e+00 | 4.209250e+05 | Inf
1602.04/1602.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1602.04/1602.01 c 1556s| 2170k| 2169k| 3423k| 1.6 |2172M| 227 | 0 |1800 |1703 |1800 | 276 |1000k| 9 |4996 | 0.000000e+00 | 4.209250e+05 | Inf
1609.24/1609.23 c 1563s| 2180k| 2179k| 3437k| 1.6 |2182M| 227 | 0 |1800 |1707 |1800 | 285 |1004k| 14 |5001 | 0.000000e+00 | 4.209250e+05 | Inf
1616.33/1616.35 c 1570s| 2190k| 2189k| 3447k| 1.6 |2192M| 227 | 0 |1800 |1706 |1800 | 292 |1007k| 14 |5015 | 0.000000e+00 | 4.209250e+05 | Inf
1623.44/1623.45 c 1577s| 2200k| 2199k| 3458k| 1.6 |2202M| 227 | 0 |1800 |1706 |1800 | 301 |1010k| 14 |5017 | 0.000000e+00 | 4.209250e+05 | Inf
1630.43/1630.49 c 1584s| 2210k| 2209k| 3466k| 1.6 |2212M| 227 | 17 |1800 |1706 |1800 | 274 |1013k| 14 |5019 | 0.000000e+00 | 4.209250e+05 | Inf
1637.54/1637.60 c 1591s| 2220k| 2219k| 3476k| 1.6 |2222M| 227 | 0 |1800 |1705 |1800 | 284 |1016k| 14 |5032 | 0.000000e+00 | 4.209250e+05 | Inf
1644.74/1644.75 c 1598s| 2230k| 2229k| 3488k| 1.6 |2232M| 227 | 0 |1800 |1705 |1800 | 309 |1019k| 14 |5033 | 0.000000e+00 | 4.209250e+05 | Inf
1652.03/1652.04 c 1605s| 2240k| 2239k| 3504k| 1.6 |2242M| 227 | 0 |1800 |1705 |1800 | 267 |1024k| 14 |5046 | 0.000000e+00 | 4.209250e+05 | Inf
1659.34/1659.31 c 1612s| 2250k| 2249k| 3518k| 1.6 |2252M| 227 | 0 |1800 |1705 |1800 | 277 |1029k| 14 |5059 | 0.000000e+00 | 4.209250e+05 | Inf
1666.54/1666.54 c 1619s| 2260k| 2259k| 3533k| 1.6 |2262M| 227 | 0 |1800 |1705 |1800 | 314 |1033k| 14 |5065 | 0.000000e+00 | 4.209250e+05 | Inf
1673.53/1673.54 c 1626s| 2270k| 2269k| 3542k| 1.6 |2272M| 227 | 0 |1800 |1705 |1800 | 281 |1036k| 14 |5077 | 0.000000e+00 | 4.209250e+05 | Inf
1680.43/1680.40 c 1633s| 2280k| 2279k| 3547k| 1.6 |2282M| 227 | 0 |1800 |1705 |1800 | 278 |1037k| 14 |5077 | 0.000000e+00 | 4.209250e+05 | Inf
1687.44/1687.42 c 1640s| 2290k| 2289k| 3556k| 1.6 |2292M| 227 | 0 |1800 |1705 |1800 | 268 |1040k| 14 |5084 | 0.000000e+00 | 4.209250e+05 | Inf
1694.44/1694.46 c 1647s| 2300k| 2299k| 3565k| 1.6 |2301M| 227 | 0 |1800 |1705 |1800 | 267 |1042k| 14 |5091 | 0.000000e+00 | 4.209250e+05 | Inf
1701.33/1701.33 c 1654s| 2310k| 2309k| 3571k| 1.5 |2311M| 227 | 0 |1800 |1705 |1800 | 260 |1044k| 14 |5091 | 0.000000e+00 | 4.209250e+05 | Inf
1708.43/1708.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1708.43/1708.48 c 1661s| 2320k| 2319k| 3581k| 1.5 |2321M| 227 | 0 |1800 |1705 |1800 | 270 |1047k| 14 |5106 | 0.000000e+00 | 4.209250e+05 | Inf
1715.53/1715.54 c 1668s| 2330k| 2329k| 3590k| 1.5 |2331M| 227 | 0 |1800 |1705 |1800 | 276 |1049k| 14 |5108 | 0.000000e+00 | 4.209250e+05 | Inf
1722.54/1722.58 c 1674s| 2340k| 2339k| 3600k| 1.5 |2341M| 227 | 0 |1800 |1705 |1800 | 279 |1052k| 14 |5111 | 0.000000e+00 | 4.209250e+05 | Inf
1729.64/1729.67 c 1681s| 2350k| 2349k| 3609k| 1.5 |2351M| 227 | 0 |1800 |1705 |1800 | 277 |1055k| 14 |5123 | 0.000000e+00 | 4.209250e+05 | Inf
1736.84/1736.86 c 1688s| 2360k| 2359k| 3625k| 1.5 |2361M| 227 | 0 |1800 |1705 |1800 | 297 |1059k| 14 |5129 | 0.000000e+00 | 4.209250e+05 | Inf
1744.14/1744.18 c 1696s| 2370k| 2369k| 3641k| 1.5 |2371M| 227 | 0 |1800 |1705 |1800 | 312 |1064k| 14 |5137 | 0.000000e+00 | 4.209250e+05 | Inf
1751.54/1751.52 c 1703s| 2380k| 2379k| 3659k| 1.5 |2381M| 227 | 0 |1800 |1705 |1800 | 283 |1070k| 14 |5150 | 0.000000e+00 | 4.209250e+05 | Inf
1758.74/1758.73 c 1710s| 2390k| 2389k| 3670k| 1.5 |2391M| 227 | 19 |1800 |1705 |1800 | 245 |1073k| 14 |5152 | 0.000000e+00 | 4.209250e+05 | Inf
1765.84/1765.83 c 1717s| 2400k| 2399k| 3679k| 1.5 |2401M| 227 | 0 |1800 |1705 |1800 | 282 |1076k| 14 |5165 | 0.000000e+00 | 4.209250e+05 | Inf
1772.94/1772.93 c 1724s| 2410k| 2409k| 3689k| 1.5 |2411M| 227 | 0 |1800 |1705 |1800 | 258 |1078k| 14 |5167 | 0.000000e+00 | 4.209250e+05 | Inf
1779.54/1779.57 o 5306
1779.54/1779.57 c *1730s| 2412k|587955 | 3693k| 1.5 | 634M| 227 | - |1800 |1705 |1800 | 256 |1080k| 14 |5167 | 0.000000e+00 | 5.306000e+03 | Inf
1786.53/1786.59 c 1737s| 2420k|593490 | 3723k| 1.5 | 643M| 227 | 26 |1800 |3424 |1800 | 245 |1089k|3968 |5192 | 0.000000e+00 | 5.306000e+03 | Inf
1795.94/1795.90 c 1746s| 2430k|601418 | 3767k| 1.6 | 653M| 227 | 0 |1800 |3957 |1800 | 261 |1102k|8986 |5210 | 0.000000e+00 | 5.306000e+03 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1750.45
1800.05/1800.00 c Solving Nodes : 2434386
1800.05/1800.00 c Primal Bound : +5.30600000000000e+03 (101 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.01 s SATISFIABLE
1800.05/1800.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
1800.05/1800.01 v x177 x176 -x175 x174 -x173 x172 -x171 -x170 x169 x168 -x167 -x166 x165 -x164 x163 x162 -x161 -x160 x159 -x158 x157 x156 -x155
1800.05/1800.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
1800.05/1800.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
1800.05/1800.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
1800.05/1800.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
1800.05/1800.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
1800.05/1800.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
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time : 1750.45
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-2700176-1278534274.wbo
1800.05/1800.01 c Variables : 1900 (1050 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.05/1800.01 c Constraints : 1801 initial, 1801 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-2700176-1278534274.wbo
1800.05/1800.01 c Variables : 1800 (950 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.05/1800.01 c Constraints : 1700 initial, 4171 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c linear : 0.02 0 100 0 850 0 101 0 0
1800.05/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c root node : - 0 - - 0 - - - -
1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c integral : 0 0 0 2675405 0 0 0 0 0 776878
1800.05/1800.01 c indicator : 850 0 3384693 2286966 0 61 2904780 0 0 0
1800.05/1800.01 c linear : 850 6 3384632 2286966 0 476 1028647 1108227 0 0
1800.05/1800.01 c logicor : 0+ 0 69040 0 0 47 30120 0 0 0
1800.05/1800.01 c countsols : 0 0 0 2043891 0 0 0 0 0 0
1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.01 c integral : 8.23 0.00 0.00 8.23 0.00
1800.05/1800.01 c indicator : 159.35 0.06 34.13 125.16 0.00
1800.05/1800.01 c linear : 31.66 0.00 13.15 18.51 0.00
1800.05/1800.01 c logicor : 0.31 0.00 0.31 0.00 0.00
1800.05/1800.01 c countsols : 0.40 0.00 0.00 0.40 0.00
1800.05/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.01 c vbounds : 0.64 2 0 0
1800.05/1800.01 c rootredcost : 0.73 1 0 0
1800.05/1800.01 c pseudoobj : 53.77 3386545 2052 271388
1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.01 c propagation : 0.11 2575 2574 9989 26.4 2081 3.8 -
1800.05/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c pseudo solution : 0.00 15 15 62 16.5 19 4.1 -
1800.05/1800.01 c applied globally : - - - 10806 21.1 - - -
1800.05/1800.01 c applied locally : - - - 0 0.0 - - -
1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.01 c cut pool : 0.00 3 - - 6 - (maximal pool size: 26)
1800.05/1800.01 c redcost : 92.19 2675774 0 114818 0 0
1800.05/1800.01 c impliedbounds : 0.00 4 0 0 0 0
1800.05/1800.01 c intobj : 0.00 0 0 0 0 0
1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.01 c gomory : 0.01 4 0 0 28 0
1800.05/1800.01 c strongcg : 0.01 4 0 0 0 0
1800.05/1800.01 c cmir : 0.01 4 0 0 0 0
1800.05/1800.01 c flowcover : 0.02 4 0 0 0 0
1800.05/1800.01 c clique : 0.01 1 0 0 0 0
1800.05/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.01 c mcf : 0.00 1 0 0 0 0
1800.05/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.01 c Pricers : Time Calls Vars
1800.05/1800.01 c problem variables: 0.00 0 0
1800.05/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c relpscost : 7.56 388439 0 0 0 0 776878
1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c inference : 138.28 2043890 0 0 0 0 4087780
1800.05/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c random : 0.00 0 0 0 0 0 0
1800.05/1800.01 c Primal Heuristics : Time Calls Found
1800.05/1800.01 c LP solutions : 4.72 - 1
1800.05/1800.01 c pseudo solutions : 0.00 - 0
1800.05/1800.01 c feaspump : 0.00 0 0
1800.05/1800.01 c oneopt : 1.31 2 0
1800.05/1800.01 c intshifting : 0.08 24 0
1800.05/1800.01 c crossover : 0.81 19 0
1800.05/1800.01 c veclendiving : 13.13 24635 0
1800.05/1800.01 c linesearchdiving : 13.07 24635 0
1800.05/1800.01 c guideddiving : 13.50 24635 0
1800.05/1800.01 c coefdiving : 12.69 24636 0
1800.05/1800.01 c pscostdiving : 13.18 24636 0
1800.05/1800.01 c fracdiving : 12.53 24636 0
1800.05/1800.01 c objpscostdiving : 12.98 24604 0
1800.05/1800.01 c rootsoldiving : 13.66 24604 0
1800.05/1800.01 c trivial : 0.01 2 1
1800.05/1800.01 c simplerounding : 1.09 388577 0
1800.05/1800.01 c zirounding : 0.49 1000 0
1800.05/1800.01 c rounding : 0.83 8798 0
1800.05/1800.01 c shifting : 1.52 2776 0
1800.05/1800.01 c twoopt : 0.00 0 0
1800.05/1800.01 c fixandinfer : 0.00 0 0
1800.05/1800.01 c intdiving : 0.00 0 0
1800.05/1800.01 c actconsdiving : 0.00 0 0
1800.05/1800.01 c octane : 0.00 0 0
1800.05/1800.01 c rens : 0.01 1 0
1800.05/1800.01 c rins : 0.00 0 0
1800.05/1800.01 c localbranching : 0.00 0 0
1800.05/1800.01 c mutation : 0.00 0 0
1800.05/1800.01 c dins : 0.00 0 0
1800.05/1800.01 c undercover : 0.00 0 0
1800.05/1800.01 c nlp : 0.62 0 0
1800.05/1800.01 c trysol : 0.69 28025 99
1800.05/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.01 c dual LP : 696.59 781415 3784536 4.84 5432.95
1800.05/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.01 c diving/probing LP: 0.31 623 1843 2.96 5945.16
1800.05/1800.01 c strong branching : 4.76 5219 60470 11.59 12703.78
1800.05/1800.01 c (at root node) : - 33 1029 31.18 -
1800.05/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.01 c B&B Tree :
1800.05/1800.01 c number of runs : 1
1800.05/1800.01 c nodes : 2434386
1800.05/1800.01 c nodes (total) : 2434386
1800.05/1800.01 c nodes left : 605041
1800.05/1800.01 c max depth : 227
1800.05/1800.01 c max depth (total): 227
1800.05/1800.01 c backtracks : 25615 (1.1%)
1800.05/1800.01 c delayed cutoffs : 530
1800.05/1800.01 c repropagations : 2728 (136863 domain reductions, 530 cutoffs)
1800.05/1800.01 c avg switch length: 2.32
1800.05/1800.01 c switching time : 73.95
1800.05/1800.01 c Solution :
1800.05/1800.01 c Solutions found : 101 (2 improvements)
1800.05/1800.01 c First Solution : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.05/1800.01 c Primal Bound : +5.30600000000000e+03 (in run 1, after 2412664 nodes, 1725.72 seconds, depth 157, found by <relaxation>)
1800.05/1800.01 c Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Gap : infinite
1800.05/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Root Iterations : 195
OK 5306
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700176-1278534274/watcher-2700176-1278534274 -o /tmp/evaluation-result-2700176-1278534274/solver-2700176-1278534274 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700176-1278534274.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.01 1.59 0.78 4/178 17817 /proc/meminfo: memFree=29135252/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=9412 CPUtime=0 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 1655 0 0 0 0 0 0 0 24 0 1 0 21640347 9637888 1575 4089446400 4194304 8223781 140735746472432 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/17817/statm: 2353 1575 369 984 0 1366 0 [startup+0.0989089 s] /proc/loadavg: 2.01 1.59 0.78 4/178 17817 /proc/meminfo: memFree=29135252/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=23460 CPUtime=0.09 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 6146 0 0 0 9 0 0 0 24 0 1 0 21640347 24023040 4921 4089446400 4194304 8223781 140735746472432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17817/statm: 5865 4921 563 984 0 4878 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23460 [startup+0.100908 s] /proc/loadavg: 2.01 1.59 0.78 4/178 17817 /proc/meminfo: memFree=29135252/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=23460 CPUtime=0.09 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 6146 0 0 0 9 0 0 0 24 0 1 0 21640347 24023040 4921 4089446400 4194304 8223781 140735746472432 18446744073709551615 6047301 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17817/statm: 5865 4921 563 984 0 4878 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23460 [startup+0.300875 s] /proc/loadavg: 2.01 1.59 0.78 4/178 17817 /proc/meminfo: memFree=29135252/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=24444 CPUtime=0.29 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 9521 0 0 0 28 1 0 0 25 0 1 0 21640347 25030656 5210 4089446400 4194304 8223781 140735746472432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17817/statm: 6111 5210 578 984 0 5124 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24444 [startup+0.700776 s] /proc/loadavg: 2.01 1.59 0.78 4/178 17817 /proc/meminfo: memFree=29135252/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=24444 CPUtime=0.69 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 9521 0 0 0 67 2 0 0 25 0 1 0 21640347 25030656 5210 4089446400 4194304 8223781 140735746472432 18446744073709551615 6448652 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17817/statm: 6111 5210 578 984 0 5124 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24444 [startup+1.50063 s] /proc/loadavg: 2.01 1.59 0.78 3/179 17845 /proc/meminfo: memFree=29511584/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=24864 CPUtime=1.49 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 9592 0 0 0 146 3 0 0 25 0 1 0 21640347 25460736 5281 4089446400 4194304 8223781 140735746472432 18446744073709551615 6371946 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17817/statm: 6216 5281 580 984 0 5229 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24864 [startup+3.10033 s] /proc/loadavg: 2.00 1.59 0.79 3/179 17845 /proc/meminfo: memFree=29505632/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=29288 CPUtime=3.09 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 16910 0 0 0 302 7 0 0 25 0 1 0 21640347 29990912 6355 4089446400 4194304 8223781 140735746472432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17817/statm: 7322 6355 584 984 0 6335 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 29288 [startup+6.30075 s] /proc/loadavg: 2.00 1.59 0.79 3/179 17845 /proc/meminfo: memFree=29490272/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=33668 CPUtime=6.29 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 24233 0 0 0 614 15 0 0 25 0 1 0 21640347 34476032 7445 4089446400 4194304 8223781 140735746472432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17817/statm: 8417 7445 584 984 0 7430 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33668 [startup+12.7006 s] /proc/loadavg: 2.00 1.61 0.80 3/179 17845 /proc/meminfo: memFree=29462616/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=42300 CPUtime=12.69 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 29550 0 0 0 1241 28 0 0 25 0 1 0 21640347 43315200 9646 4089446400 4194304 8223781 140735746472432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17817/statm: 10575 9646 584 984 0 9588 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 42300 [startup+25.5003 s] /proc/loadavg: 2.00 1.62 0.82 3/179 17846 /proc/meminfo: memFree=29408456/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=58712 CPUtime=25.49 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 39935 0 0 0 2496 53 0 0 25 0 1 0 21640347 60121088 13814 4089446400 4194304 8223781 140735746472432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17817/statm: 14678 13814 584 984 0 13691 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 58712 [startup+51.1006 s] /proc/loadavg: 2.06 1.66 0.85 3/179 17846 /proc/meminfo: memFree=29322440/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=89580 CPUtime=51.09 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 50891 0 0 0 5008 101 0 0 25 0 1 0 21640347 91729920 21641 4089446400 4194304 8223781 140735746472432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17817/statm: 22395 21641 584 984 0 21408 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 89580 [startup+102.306 s] /proc/loadavg: 2.02 1.72 0.91 3/179 17924 /proc/meminfo: memFree=29392848/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=155428 CPUtime=102.3 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 70208 0 0 0 9938 292 0 0 25 0 1 0 21640347 159158272 37846 4089446400 4194304 8223781 140735746472432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17817/statm: 38857 37846 584 984 0 37870 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 155428 [startup+162.3 s] /proc/loadavg: 2.01 1.76 0.97 3/179 17925 /proc/meminfo: memFree=29313304/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=238800 CPUtime=162.29 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 90341 0 0 0 15553 676 0 0 25 0 1 0 21640347 244531200 57979 4089446400 4194304 8223781 140735746472432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17817/statm: 59700 57979 584 984 0 58713 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 238800 [startup+222.3 s] /proc/loadavg: 2.00 1.81 1.04 3/179 17927 /proc/meminfo: memFree=29234480/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=314504 CPUtime=222.29 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 112692 0 0 0 21151 1078 0 0 25 0 1 0 21640347 322052096 77207 4089446400 4194304 8223781 140735746472432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17817/statm: 78626 77207 584 984 0 77639 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 314504 [startup+282.3 s] /proc/loadavg: 2.00 1.84 1.09 3/179 17928 /proc/meminfo: memFree=29154564/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=393028 CPUtime=282.29 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 132627 0 0 0 26761 1468 0 0 25 0 1 0 21640347 402460672 97142 4089446400 4194304 8223781 140735746472432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17817/statm: 98257 97142 584 984 0 97270 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 393028 [startup+342.3 s] /proc/loadavg: 2.00 1.87 1.15 3/179 17930 /proc/meminfo: memFree=29074872/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=471084 CPUtime=342.29 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 155537 0 0 0 32370 1859 0 0 25 0 1 0 21640347 482390016 116953 4089446400 4194304 8223781 140735746472432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17817/statm: 117771 116953 584 984 0 116784 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 471084 [startup+402.3 s] /proc/loadavg: 2.00 1.89 1.20 3/179 17932 /proc/meminfo: memFree=28997548/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=557096 CPUtime=402.29 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 175309 0 0 0 37987 2242 0 0 25 0 1 0 21640347 570466304 136725 4089446400 4194304 8223781 140735746472432 18446744073709551615 4902885 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17817/statm: 139274 136725 584 984 0 138287 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 557096 [startup+462.3 s] /proc/loadavg: 2.00 1.90 1.25 3/179 18060 /proc/meminfo: memFree=28848084/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=634108 CPUtime=462.29 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 194854 0 0 0 43793 2436 0 0 25 0 1 0 21640347 649326592 156270 4089446400 4194304 8223781 140735746472432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17817/statm: 158527 156270 588 984 0 157540 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 634108 [startup+522.3 s] /proc/loadavg: 2.00 1.92 1.29 3/179 18062 /proc/meminfo: memFree=28687444/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=713724 CPUtime=522.3 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 215088 0 0 0 49681 2549 0 0 25 0 1 0 21640347 730853376 176504 4089446400 4194304 8223781 140735746472432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17817/statm: 178431 176504 588 984 0 177444 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 713724 [startup+582.3 s] /proc/loadavg: 2.00 1.93 1.33 3/179 18063 /proc/meminfo: memFree=28521708/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=790992 CPUtime=582.3 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 234708 0 0 0 55567 2663 0 0 25 0 1 0 21640347 809975808 196121 4089446400 4194304 8223781 140735746472432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17817/statm: 197748 196121 588 984 0 196761 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 790992 [startup+642.3 s] /proc/loadavg: 2.07 1.96 1.38 3/179 18065 /proc/meminfo: memFree=28356092/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=868684 CPUtime=642.31 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 257585 0 0 0 61453 2778 0 0 25 0 1 0 21640347 889532416 215871 4089446400 4194304 8223781 140735746472432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17817/statm: 217171 215871 588 984 0 216184 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 868684 [startup+702.3 s] ################ # More data... # ################ /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 380280 0 0 0 96777 3454 0 0 25 0 1 0 21640347 1401065472 338566 4089446400 4194304 8223781 140735746472432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17817/statm: 342057 338566 588 984 0 341070 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1368228 [startup+1062.3 s] /proc/loadavg: 2.00 1.97 1.58 3/179 18076 /proc/meminfo: memFree=27172248/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=1450516 CPUtime=1062.32 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 401175 0 0 0 102666 3566 0 0 25 0 1 0 21640347 1485328384 359461 4089446400 4194304 8223781 140735746472432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17817/statm: 362629 359461 588 984 0 361642 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1450516 [startup+1122.3 s] /proc/loadavg: 2.00 1.97 1.61 3/179 18078 /proc/meminfo: memFree=27003064/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=1531696 CPUtime=1122.32 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 421816 0 0 0 108553 3679 0 0 25 0 1 0 21640347 1568456704 380102 4089446400 4194304 8223781 140735746472432 18446744073709551615 6446812 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17817/statm: 382924 380102 588 984 0 381937 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1531696 [startup+1182.3 s] /proc/loadavg: 2.00 1.97 1.63 3/179 18079 /proc/meminfo: memFree=26832740/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=1614736 CPUtime=1182.32 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 442906 0 0 0 114439 3793 0 0 25 0 1 0 21640347 1653489664 401192 4089446400 4194304 8223781 140735746472432 18446744073709551615 6003575 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17817/statm: 403684 401192 588 984 0 402697 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1614736 [startup+1242.3 s] /proc/loadavg: 2.00 1.97 1.65 3/179 18081 /proc/meminfo: memFree=26660700/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=1697008 CPUtime=1242.33 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 466903 0 0 0 120325 3908 0 0 25 0 1 0 21640347 1737736192 422074 4089446400 4194304 8223781 140735746472432 18446744073709551615 6447002 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17817/statm: 424252 422074 588 984 0 423265 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1697008 [startup+1302.3 s] /proc/loadavg: 2.00 1.97 1.67 3/179 18083 /proc/meminfo: memFree=26488024/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=1779908 CPUtime=1302.33 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 487949 0 0 0 126216 4017 0 0 25 0 1 0 21640347 1822625792 443120 4089446400 4194304 8223781 140735746472432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17817/statm: 444977 443120 588 984 0 443990 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1779908 [startup+1362.3 s] /proc/loadavg: 2.00 1.97 1.69 3/179 18084 /proc/meminfo: memFree=26318976/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=1860736 CPUtime=1362.33 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 508489 0 0 0 132102 4131 0 0 25 0 1 0 21640347 1905393664 463660 4089446400 4194304 8223781 140735746472432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17817/statm: 465184 463660 588 984 0 464197 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1860736 [startup+1422.31 s] /proc/loadavg: 2.00 1.97 1.70 3/179 18086 /proc/meminfo: memFree=26150528/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=1940812 CPUtime=1422.33 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 528852 0 0 0 137987 4246 0 0 25 0 1 0 21640347 1987391488 484023 4089446400 4194304 8223781 140735746472432 18446744073709551615 6456009 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17817/statm: 485203 484023 588 984 0 484216 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1940812 [startup+1482.3 s] /proc/loadavg: 2.00 1.97 1.72 3/179 18087 /proc/meminfo: memFree=25976500/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=2025852 CPUtime=1482.33 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 550450 0 0 0 143869 4364 0 0 25 0 1 0 21640347 2074472448 505621 4089446400 4194304 8223781 140735746472432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17817/statm: 506463 505621 588 984 0 505476 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2025852 [startup+1542.3 s] /proc/loadavg: 2.00 1.97 1.74 3/179 18089 /proc/meminfo: memFree=25801344/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=2142008 CPUtime=1542.33 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 571621 0 0 0 149755 4478 0 0 25 0 1 0 21640347 2193416192 526791 4089446400 4194304 8223781 140735746472432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17817/statm: 535502 526791 588 984 0 534515 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 2142008 [startup+1602.3 s] /proc/loadavg: 2.00 1.97 1.75 3/179 18091 /proc/meminfo: memFree=25633648/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=2223352 CPUtime=1602.34 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 592291 0 0 0 155644 4590 0 0 25 0 1 0 21640347 2276712448 547461 4089446400 4194304 8223781 140735746472432 18446744073709551615 6439843 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17817/statm: 555838 547461 588 984 0 554851 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 2223352 [startup+1662.3 s] /proc/loadavg: 2.07 1.99 1.76 3/179 18092 /proc/meminfo: memFree=25460120/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=2306824 CPUtime=1662.33 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 613486 0 0 0 161532 4701 0 0 25 0 1 0 21640347 2362187776 568656 4089446400 4194304 8223781 140735746472432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17817/statm: 576706 568656 588 984 0 575719 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 2306824 [startup+1722.3 s] /proc/loadavg: 2.03 1.99 1.78 3/179 18094 /proc/meminfo: memFree=25289568/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=2388744 CPUtime=1722.33 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 634284 0 0 0 167418 4815 0 0 25 0 1 0 21640347 2446073856 589454 4089446400 4194304 8223781 140735746472432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17817/statm: 597186 589454 588 984 0 596199 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 2388744 [startup+1782.3 s] /proc/loadavg: 2.01 1.99 1.79 3/179 18095 /proc/meminfo: memFree=25123096/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=2464200 CPUtime=1782.34 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 662403 0 0 0 173312 4922 0 0 25 0 1 0 21640347 2523340800 608613 4089446400 4194304 8223781 140735746472432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17817/statm: 616050 608613 588 984 0 615063 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 2464200 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 1.99 1.79 3/179 18096 /proc/meminfo: memFree=25088728/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=2472380 CPUtime=1800.05 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 673698 0 0 0 175046 4959 0 0 25 0 1 0 21640347 2531717120 610595 4089446400 4194304 8223781 140735746472432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17817/statm: 618095 610595 588 984 0 617108 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 2472380 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -17817 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 1.99 1.79 3/180 18097 /proc/meminfo: memFree=25088720/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=2371688 CPUtime=1801.44 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 673700 0 0 0 175185 4959 0 0 19 0 1 0 21640347 2428608512 585424 4089446400 4194304 8223781 140735746472432 18446744073709551615 6206658 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/17817/statm: 592922 585424 590 984 0 591935 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 2371688 [startup+1801.81 s] /proc/loadavg: 2.00 1.99 1.79 3/180 18097 /proc/meminfo: memFree=25553596/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=1731044 CPUtime=1801.84 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 673700 0 0 0 175223 4961 0 0 20 0 1 0 21640347 1772589056 425263 4089446400 4194304 8223781 140735746472432 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/17817/statm: 432761 425263 590 984 0 431774 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 1731044 [startup+1802 s] /proc/loadavg: 2.00 1.99 1.79 3/180 18097 /proc/meminfo: memFree=25553596/32951124 swapFree=67111528/67111528 [pid=17817] ppid=17815 vsize=1104280 CPUtime=1802.04 /proc/17817/stat : 17817 (pbscip.linux.x8) R 17815 17817 17545 0 -1 4202496 673700 0 0 0 175241 4963 0 0 21 0 1 0 21640347 1130782720 268572 4089446400 4194304 8223781 140735746472432 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/17817/statm: 276070 268572 590 984 0 275083 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 1104280 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.05 CPU time (s): 1802.1 CPU user time (s): 1752.42 CPU system time (s): 49.6774 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2473328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1752.42 system time used= 49.6774 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 673700 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= 943 runsolver used 2.51962 second user time and 5.76912 second system time The end
Begin job on node142 at 2010-07-07 22:24:34 IDJOB=2700176 IDBENCH=79406 IDSOLVER=1204 FILE ID=node142/2700176-1278534274 PBS_JOBID= 11239194 Free space on /tmp= 73328 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) 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.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700176-1278534274/watcher-2700176-1278534274 -o /tmp/evaluation-result-2700176-1278534274/solver-2700176-1278534274 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700176-1278534274.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 540e5098c207f1245411172896d943a2 RANDOM SEED=374595457 node142.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.874 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.74 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.874 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.874 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.874 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.79 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.874 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 : 5311.06 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.874 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.874 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.874 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29135780 kB Buffers: 133876 kB Cached: 3051016 kB SwapCached: 0 kB Active: 1371216 kB Inactive: 2289336 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29135780 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4680 kB Writeback: 0 kB AnonPages: 476216 kB Mapped: 16304 kB Slab: 89808 kB PageTables: 5840 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 666692 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= 73324 MiB End job on node142 at 2010-07-07 22:54:36