Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed | SAT | 189 | 1796.75 | 1797.03 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb |
| MD5SUM | 19bfc1d5b7087888ef5c79946c60f053 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 189 |
| Best CPU time to get the best result obtained on this benchmark | 1796.73 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 183 |
| Optimality of the best value was proved | NO |
| Number of variables | 473 |
| Total number of constraints | 473 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 473 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 17 |
| Number of terms in the objective function | 473 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 473 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 473 |
| Number of bits of the biggest sum of numbers | 9 |
| 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 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3693215-1338029384.opb>
0.00/0.00 c original problem has 473 variables (473 bin, 0 int, 0 impl, 0 cont) and 473 constraints
0.00/0.00 c problem read in 0.00
0.00/0.01 o 473
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.730000e+02
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 31 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
0.00/0.02 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 31 chg coeffs, 473 upgd conss, 2 impls, 0 clqs
0.00/0.02 c (round 3) 0 del vars, 30 del conss, 112 add conss, 0 chg bounds, 154 chg sides, 426 chg coeffs, 473 upgd conss, 168 impls, 0 clqs
0.00/0.02 c (round 4) 0 del vars, 47 del conss, 114 add conss, 0 chg bounds, 186 chg sides, 479 chg coeffs, 473 upgd conss, 168 impls, 0 clqs
0.00/0.02 c (round 5) 0 del vars, 48 del conss, 115 add conss, 0 chg bounds, 187 chg sides, 482 chg coeffs, 473 upgd conss, 168 impls, 0 clqs
0.00/0.02 c (round 6) 0 del vars, 48 del conss, 115 add conss, 0 chg bounds, 188 chg sides, 483 chg coeffs, 473 upgd conss, 168 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 51/473 (10.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.03 c presolving (7 rounds):
0.00/0.03 c 0 deleted vars, 48 deleted constraints, 115 added constraints, 0 tightened bounds, 0 added holes, 188 changed sides, 483 changed coefficients
0.00/0.03 c 168 implications, 0 cliques
0.00/0.03 c presolved problem has 473 variables (473 bin, 0 int, 0 impl, 0 cont) and 540 constraints
0.00/0.03 c 454 constraints of type <knapsack>
0.00/0.03 c 84 constraints of type <setppc>
0.00/0.03 c 2 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 2.1.1.4
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1797
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 13950
0.00/0.03 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.79/0.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.87 c t 0.9s| 1 | 0 | 10444 | - |2679k| 0 | 312 | 473 | 540 | 473 | 540 | 0 | 0 | 0 | 1.473786e+02 | 4.730000e+02 | 220.94%
0.79/0.87 o 324
0.79/0.87 c r 0.9s| 1 | 0 | 10444 | - |2692k| 0 | 312 | 473 | 540 | 473 | 540 | 0 | 0 | 0 | 1.473786e+02 | 3.240000e+02 | 119.84%
0.79/0.87 o 323
0.79/0.87 c R 0.9s| 1 | 0 | 10444 | - |2706k| 0 | 312 | 473 | 540 | 473 | 540 | 0 | 0 | 0 | 1.473786e+02 | 3.230000e+02 | 119.16%
0.79/0.88 o 322
0.79/0.88 c s 0.9s| 1 | 0 | 10444 | - |2719k| 0 | 312 | 473 | 540 | 473 | 540 | 0 | 0 | 0 | 1.473786e+02 | 3.220000e+02 | 118.48%
1.49/1.53 c 1.5s| 1 | 0 | 14600 | - |3027k| 0 | 369 | 473 | 540 | 473 | 760 | 220 | 0 | 0 | 1.544343e+02 | 3.220000e+02 | 108.50%
1.49/1.53 o 212
1.49/1.53 c b 1.5s| 1 | 0 | 14600 | - |3041k| 0 | 369 | 473 | 540 | 473 | 760 | 220 | 0 | 0 | 1.544343e+02 | 2.120000e+02 | 37.28%
2.29/2.34 c 2.3s| 1 | 0 | 18927 | - |3312k| 0 | 397 | 473 | 540 | 473 | 948 | 408 | 0 | 0 | 1.587319e+02 | 2.120000e+02 | 33.56%
2.99/3.00 c 3.0s| 1 | 0 | 21330 | - |3518k| 0 | 420 | 473 | 540 | 473 |1091 | 551 | 0 | 0 | 1.606523e+02 | 2.120000e+02 | 31.96%
3.59/3.67 c 3.7s| 1 | 0 | 23207 | - |3664k| 0 | 422 | 473 | 540 | 473 |1188 | 648 | 0 | 0 | 1.616674e+02 | 2.120000e+02 | 31.13%
4.19/4.25 c 4.2s| 1 | 0 | 24344 | - |3743k| 0 | 434 | 473 | 540 | 473 |1252 | 712 | 0 | 0 | 1.621427e+02 | 2.120000e+02 | 30.75%
4.79/4.83 c 4.8s| 1 | 0 | 25299 | - |3782k| 0 | 440 | 473 | 540 | 473 |1289 | 749 | 0 | 0 | 1.623340e+02 | 2.120000e+02 | 30.59%
5.29/5.35 c 5.4s| 1 | 0 | 25767 | - |3817k| 0 | 435 | 473 | 540 | 473 |1322 | 782 | 0 | 0 | 1.624398e+02 | 2.120000e+02 | 30.51%
5.79/5.86 c 5.9s| 1 | 0 | 26232 | - |3838k| 0 | 431 | 473 | 540 | 473 |1335 | 795 | 0 | 0 | 1.625160e+02 | 2.120000e+02 | 30.45%
6.19/6.26 c 6.3s| 1 | 0 | 26322 | - |3846k| 0 | 427 | 473 | 540 | 473 |1339 | 799 | 0 | 0 | 1.625233e+02 | 2.120000e+02 | 30.44%
9.29/9.39 c 9.4s| 1 | 2 | 26322 | - |3867k| 0 | 427 | 473 | 540 | 473 |1339 | 799 | 0 | 20 | 1.625233e+02 | 2.120000e+02 | 30.44%
30.09/30.15 o 212
30.09/30.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.09/30.15 c p30.2s| 41 | 42 | 52420 | 652.5 |4761k| 27 | - | 473 | 540 | 473 | 962 | 799 | 0 | 227 | 1.626663e+02 | 2.120000e+02 | 30.33%
30.09/30.16 o 211
30.09/30.16 c p30.2s| 41 | 42 | 52425 | 652.6 |4762k| 27 | - | 473 | 540 | 473 | 962 | 799 | 0 | 227 | 1.626663e+02 | 2.110000e+02 | 29.71%
30.09/30.16 o 210
30.09/30.16 c p30.2s| 41 | 42 | 52431 | 652.7 |4763k| 27 | - | 473 | 540 | 473 | 962 | 799 | 0 | 227 | 1.626663e+02 | 2.100000e+02 | 29.10%
30.09/30.16 o 209
30.09/30.16 c p30.2s| 41 | 42 | 52432 | 652.8 |4765k| 27 | - | 473 | 540 | 473 | 962 | 799 | 0 | 227 | 1.626663e+02 | 2.090000e+02 | 28.48%
30.09/30.16 o 207
30.09/30.16 c p30.2s| 41 | 42 | 52451 | 653.2 |4771k| 27 | - | 473 | 540 | 473 | 962 | 799 | 0 | 227 | 1.626663e+02 | 2.070000e+02 | 27.25%
30.09/30.16 o 206
30.09/30.16 c p30.2s| 41 | 42 | 52455 | 653.3 |4774k| 27 | - | 473 | 540 | 473 | 962 | 799 | 0 | 227 | 1.626663e+02 | 2.060000e+02 | 26.64%
30.09/30.16 o 205
30.09/30.16 c p30.2s| 41 | 42 | 52468 | 653.6 |4777k| 27 | - | 473 | 540 | 473 | 962 | 799 | 0 | 227 | 1.626663e+02 | 2.050000e+02 | 26.02%
41.79/41.80 c 41.8s| 100 | 101 |165143 |1402.2 |4757k| 28 | 328 | 473 | 540 | 473 | 962 | 799 | 0 | 240 | 1.627273e+02 | 2.050000e+02 | 25.98%
47.18/47.23 o 204
47.18/47.23 c p47.2s| 149 | 150 |202650 |1191.4 |4965k| 34 | - | 473 | 540 | 473 | 962 | 799 | 0 | 264 | 1.627273e+02 | 2.040000e+02 | 25.36%
47.18/47.23 o 202
47.18/47.23 c p47.2s| 149 | 150 |202679 |1191.6 |4969k| 34 | - | 473 | 540 | 473 | 962 | 799 | 0 | 264 | 1.627273e+02 | 2.020000e+02 | 24.13%
47.18/47.23 o 202
47.18/47.23 c p47.2s| 149 | 150 |202685 |1191.6 |4969k| 34 | - | 473 | 540 | 473 | 962 | 799 | 0 | 264 | 1.627273e+02 | 2.020000e+02 | 24.13%
47.18/47.23 o 201
47.18/47.23 c p47.2s| 149 | 150 |202687 |1191.7 |4970k| 34 | - | 473 | 540 | 473 | 962 | 799 | 0 | 264 | 1.627273e+02 | 2.010000e+02 | 23.52%
47.18/47.23 o 200
47.18/47.23 c p47.2s| 149 | 150 |202688 |1191.7 |4971k| 34 | - | 473 | 540 | 473 | 962 | 799 | 0 | 264 | 1.627273e+02 | 2.000000e+02 | 22.91%
51.19/51.29 c 51.3s| 200 | 201 |232186 |1034.5 |4883k| 35 | 347 | 473 | 540 | 473 | 962 | 799 | 0 | 275 | 1.627273e+02 | 2.000000e+02 | 22.91%
57.98/58.10 o 199
57.98/58.10 c v58.1s| 225 | 226 |286350 |1160.8 |5027k| 35 | - | 473 | 540 | 473 | 962 | 799 | 0 | 286 | 1.627273e+02 | 1.990000e+02 | 22.29%
58.08/58.10 o 199
58.08/58.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.08/58.10 c v58.1s| 225 | 226 |286358 |1160.9 |5029k| 35 | - | 473 | 540 | 473 | 962 | 799 | 0 | 286 | 1.627273e+02 | 1.990000e+02 | 22.29%
58.08/58.10 o 198
58.08/58.10 c v58.1s| 225 | 226 |286363 |1160.9 |5029k| 35 | - | 473 | 540 | 473 | 962 | 799 | 0 | 286 | 1.627273e+02 | 1.980000e+02 | 21.68%
58.08/58.13 o 196
58.08/58.13 c b58.1s| 226 | 227 |286630 |1156.9 |4914k| 35 | 333 | 473 | 540 | 473 | 962 | 799 | 0 | 286 | 1.627273e+02 | 1.960000e+02 | 20.45%
72.08/72.11 c 72.1s| 300 | 301 |390530 |1218.1 |4961k| 35 | 324 | 473 | 540 | 473 | 962 | 799 | 0 | 325 | 1.627273e+02 | 1.960000e+02 | 20.45%
90.08/90.15 c 90.1s| 400 | 401 |527893 |1257.1 |5030k| 38 | 311 | 473 | 540 | 473 | 962 | 799 | 0 | 397 | 1.627273e+02 | 1.960000e+02 | 20.45%
93.68/93.71 o 189
93.68/93.71 c C93.7s| 426 | 427 |554663 |1243.2 |5048k| 39 | 328 | 473 | 540 | 473 | 962 | 799 | 0 | 415 | 1.627273e+02 | 1.890000e+02 | 16.15%
109.27/109.32 c 109s| 500 | 501 |678357 |1306.7 |5098k| 39 | 324 | 473 | 540 | 473 | 962 | 799 | 0 | 470 | 1.627273e+02 | 1.890000e+02 | 16.15%
124.67/124.78 c 125s| 600 | 601 |809555 |1307.6 |5166k| 39 | 335 | 473 | 543 | 473 | 962 | 799 | 3 | 477 | 1.627273e+02 | 1.890000e+02 | 16.15%
138.37/138.45 c 138s| 700 | 701 |921114 |1280.1 |5236k| 39 | 356 | 473 | 543 | 473 | 962 | 799 | 3 | 501 | 1.627273e+02 | 1.890000e+02 | 16.15%
149.57/149.67 c 150s| 800 | 801 | 1002k|1221.6 |5304k| 39 | 289 | 473 | 543 | 473 | 962 | 799 | 3 | 558 | 1.627273e+02 | 1.890000e+02 | 16.15%
158.27/158.31 c 158s| 900 | 901 | 1072k|1163.9 |5376k| 53 | 243 | 473 | 543 | 473 | 962 | 799 | 3 | 570 | 1.628510e+02 | 1.890000e+02 | 16.06%
161.06/161.10 c 161s| 1000 | 1001 | 1095k|1070.6 |5452k| 92 | 153 | 473 | 543 | 473 | 962 | 799 | 3 | 575 | 1.628739e+02 | 1.890000e+02 | 16.04%
173.46/173.57 c 174s| 1100 | 1101 | 1189k|1058.4 |5522k| 92 | 358 | 473 | 543 | 473 | 962 | 799 | 3 | 596 | 1.631151e+02 | 1.890000e+02 | 15.87%
185.06/185.14 c 185s| 1200 | 1201 | 1266k|1034.7 |5591k| 92 | 378 | 473 | 543 | 473 | 962 | 799 | 3 | 658 | 1.632284e+02 | 1.890000e+02 | 15.79%
194.26/194.33 c 194s| 1300 | 1301 | 1339k|1010.9 |5662k| 92 | 367 | 473 | 543 | 473 | 962 | 799 | 3 | 663 | 1.633101e+02 | 1.890000e+02 | 15.73%
205.36/205.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
205.36/205.49 c 205s| 1400 | 1401 | 1425k|1000.4 |5732k| 92 | 379 | 473 | 543 | 473 | 962 | 799 | 3 | 679 | 1.633763e+02 | 1.890000e+02 | 15.68%
218.45/218.59 c 219s| 1500 | 1501 | 1516k| 994.2 |5802k| 92 | 341 | 473 | 543 | 473 | 962 | 799 | 3 | 733 | 1.634415e+02 | 1.890000e+02 | 15.64%
227.35/227.44 c 227s| 1600 | 1601 | 1582k| 973.1 |5872k| 92 | 356 | 473 | 543 | 473 | 962 | 799 | 3 | 756 | 1.634785e+02 | 1.890000e+02 | 15.61%
236.95/237.07 c 237s| 1700 | 1701 | 1658k| 960.5 |5943k| 92 | 357 | 473 | 543 | 473 | 962 | 799 | 3 | 759 | 1.635343e+02 | 1.890000e+02 | 15.57%
248.45/248.58 c 249s| 1800 | 1801 | 1741k| 953.2 |6014k| 92 | 345 | 473 | 543 | 473 | 962 | 799 | 3 | 793 | 1.635721e+02 | 1.890000e+02 | 15.55%
258.05/258.18 c 258s| 1900 | 1901 | 1806k| 937.2 |6085k| 92 | 366 | 473 | 543 | 473 | 962 | 799 | 3 | 840 | 1.635961e+02 | 1.890000e+02 | 15.53%
269.65/269.79 c 270s| 2000 | 2001 | 1898k| 936.5 |6156k| 92 | 364 | 473 | 543 | 473 | 962 | 799 | 3 | 846 | 1.636243e+02 | 1.890000e+02 | 15.51%
277.16/277.23 c 277s| 2100 | 2101 | 1956k| 919.7 |6225k| 92 | 375 | 473 | 543 | 473 | 962 | 799 | 3 | 846 | 1.636585e+02 | 1.890000e+02 | 15.48%
287.65/287.72 c 288s| 2200 | 2201 | 2028k| 910.4 |6294k| 92 | 367 | 473 | 543 | 473 | 962 | 799 | 3 | 888 | 1.636843e+02 | 1.890000e+02 | 15.47%
296.04/296.19 c 296s| 2300 | 2301 | 2084k| 895.3 |6364k| 92 | 366 | 473 | 543 | 473 | 962 | 799 | 3 | 933 | 1.637104e+02 | 1.890000e+02 | 15.45%
307.14/307.26 c 307s| 2400 | 2401 | 2174k| 895.3 |6432k| 92 | 372 | 473 | 543 | 473 | 962 | 799 | 3 | 937 | 1.637348e+02 | 1.890000e+02 | 15.43%
314.24/314.39 c 314s| 2500 | 2501 | 2230k| 882.0 |6503k| 92 | 340 | 473 | 543 | 473 | 962 | 799 | 3 | 938 | 1.637581e+02 | 1.890000e+02 | 15.41%
325.74/325.84 c 326s| 2600 | 2601 | 2313k| 880.0 |6572k| 92 | 363 | 473 | 543 | 473 | 962 | 799 | 3 | 970 | 1.637760e+02 | 1.890000e+02 | 15.40%
333.93/334.03 c 334s| 2700 | 2701 | 2369k| 868.1 |6641k| 92 | 364 | 473 | 543 | 473 | 962 | 799 | 3 |1005 | 1.637942e+02 | 1.890000e+02 | 15.39%
344.54/344.65 c 345s| 2800 | 2801 | 2449k| 865.7 |6711k| 92 | 362 | 473 | 543 | 473 | 962 | 799 | 3 |1031 | 1.638189e+02 | 1.890000e+02 | 15.37%
351.64/351.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
351.64/351.72 c 352s| 2900 | 2901 | 2503k| 854.5 |6781k| 92 | 371 | 473 | 543 | 473 | 962 | 799 | 3 |1035 | 1.638326e+02 | 1.890000e+02 | 15.36%
359.73/359.81 c 360s| 3000 | 3001 | 2567k| 847.5 |6849k| 92 | 381 | 473 | 543 | 473 | 962 | 799 | 3 |1037 | 1.638511e+02 | 1.890000e+02 | 15.35%
368.44/368.58 c 369s| 3100 | 3101 | 2637k| 842.6 |6918k| 92 | 360 | 473 | 543 | 473 | 962 | 799 | 3 |1040 | 1.638665e+02 | 1.890000e+02 | 15.34%
377.13/377.25 c 377s| 3200 | 3201 | 2707k| 838.1 |6988k| 92 | 351 | 473 | 543 | 473 | 962 | 799 | 3 |1040 | 1.638768e+02 | 1.890000e+02 | 15.33%
385.02/385.15 c 385s| 3300 | 3301 | 2769k| 831.5 |7056k| 92 | 348 | 473 | 543 | 473 | 962 | 799 | 3 |1041 | 1.638845e+02 | 1.890000e+02 | 15.33%
393.32/393.42 c 393s| 3400 | 3401 | 2836k| 826.7 |7124k| 92 | 373 | 473 | 543 | 473 | 962 | 799 | 3 |1042 | 1.638989e+02 | 1.890000e+02 | 15.32%
401.33/401.47 c 401s| 3500 | 3501 | 2900k| 821.5 |7193k| 92 | 354 | 473 | 543 | 473 | 962 | 799 | 3 |1042 | 1.639111e+02 | 1.890000e+02 | 15.31%
408.53/408.66 c 409s| 3600 | 3601 | 2957k| 814.3 |7263k| 92 | 365 | 473 | 543 | 473 | 962 | 799 | 3 |1042 | 1.639194e+02 | 1.890000e+02 | 15.30%
416.92/417.01 c 417s| 3700 | 3701 | 3023k| 810.3 |7334k| 92 | 335 | 473 | 543 | 473 | 962 | 799 | 3 |1042 | 1.639277e+02 | 1.890000e+02 | 15.29%
426.63/426.72 c 427s| 3800 | 3801 | 3090k| 806.6 |7404k| 92 | 360 | 473 | 543 | 473 | 962 | 799 | 3 |1085 | 1.639384e+02 | 1.890000e+02 | 15.29%
435.12/435.23 c 435s| 3900 | 3901 | 3154k| 802.3 |7473k| 92 | 342 | 473 | 543 | 473 | 962 | 799 | 3 |1105 | 1.639472e+02 | 1.890000e+02 | 15.28%
441.92/442.01 c 442s| 4000 | 4001 | 3208k| 795.8 |7543k| 92 | 355 | 473 | 543 | 473 | 962 | 799 | 3 |1105 | 1.639537e+02 | 1.890000e+02 | 15.28%
450.71/450.89 c 451s| 4100 | 4101 | 3280k| 793.8 |7613k| 92 | 355 | 473 | 543 | 473 | 962 | 799 | 3 |1106 | 1.639617e+02 | 1.890000e+02 | 15.27%
467.32/467.49 c 467s| 4200 | 4201 | 3435k| 811.8 |7685k| 92 | 351 | 473 | 543 | 473 | 962 | 799 | 3 |1142 | 1.639694e+02 | 1.890000e+02 | 15.27%
476.52/476.68 c 477s| 4300 | 4301 | 3499k| 808.0 |7755k| 92 | 364 | 473 | 543 | 473 | 962 | 799 | 3 |1175 | 1.639750e+02 | 1.890000e+02 | 15.26%
484.31/484.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
484.31/484.45 c 484s| 4400 | 4401 | 3557k| 802.7 |7824k| 92 | 383 | 473 | 543 | 473 | 962 | 799 | 3 |1193 | 1.639795e+02 | 1.890000e+02 | 15.26%
492.11/492.20 c 492s| 4500 | 4501 | 3620k| 798.9 |7893k| 92 | 356 | 473 | 543 | 473 | 962 | 799 | 3 |1194 | 1.639899e+02 | 1.890000e+02 | 15.25%
499.90/500.03 c 500s| 4600 | 4601 | 3682k| 794.9 |7962k| 92 | 351 | 473 | 543 | 473 | 962 | 799 | 3 |1196 | 1.639961e+02 | 1.890000e+02 | 15.25%
506.92/507.09 c 507s| 4700 | 4701 | 3729k| 788.2 |8030k| 92 | 346 | 473 | 543 | 473 | 962 | 799 | 3 |1228 | 1.640031e+02 | 1.890000e+02 | 15.24%
517.11/517.28 c 517s| 4800 | 4801 | 3805k| 787.4 |8099k| 92 | 359 | 473 | 543 | 473 | 962 | 799 | 3 |1259 | 1.640102e+02 | 1.890000e+02 | 15.24%
525.91/526.08 c 526s| 4900 | 4901 | 3869k| 784.6 |8168k| 92 | 377 | 473 | 543 | 473 | 962 | 799 | 3 |1284 | 1.640161e+02 | 1.890000e+02 | 15.23%
532.40/532.55 c 533s| 5000 | 5001 | 3919k| 778.7 |8237k| 92 | 360 | 473 | 543 | 473 | 962 | 799 | 3 |1292 | 1.640228e+02 | 1.890000e+02 | 15.23%
539.00/539.20 c 539s| 5100 | 5101 | 3970k| 773.6 |8304k| 92 | 375 | 473 | 543 | 473 | 962 | 799 | 3 |1293 | 1.640278e+02 | 1.890000e+02 | 15.22%
546.30/546.45 c 546s| 5200 | 5201 | 4028k| 769.8 |8374k| 92 | 349 | 473 | 543 | 473 | 962 | 799 | 3 |1294 | 1.640352e+02 | 1.890000e+02 | 15.22%
556.70/556.82 c 557s| 5300 | 5301 | 4102k| 769.2 |8443k| 92 | 371 | 473 | 543 | 473 | 962 | 799 | 3 |1327 | 1.640424e+02 | 1.890000e+02 | 15.21%
564.10/564.21 c 564s| 5400 | 5401 | 4157k| 765.2 |8515k| 92 | 377 | 473 | 543 | 473 | 962 | 799 | 3 |1339 | 1.640494e+02 | 1.890000e+02 | 15.21%
571.50/571.69 c 572s| 5500 | 5501 | 4207k| 760.4 |8585k| 92 | 357 | 473 | 543 | 473 | 962 | 799 | 3 |1372 | 1.640549e+02 | 1.890000e+02 | 15.21%
579.50/579.68 c 580s| 5600 | 5601 | 4268k| 757.7 |8654k| 92 | 372 | 473 | 543 | 473 | 962 | 799 | 3 |1385 | 1.640588e+02 | 1.890000e+02 | 15.20%
586.99/587.13 c 587s| 5700 | 5701 | 4328k| 754.9 |8725k| 92 | 365 | 473 | 543 | 473 | 962 | 799 | 3 |1386 | 1.640624e+02 | 1.890000e+02 | 15.20%
594.00/594.10 c 594s| 5800 | 5801 | 4383k| 751.4 |8794k| 92 | 355 | 473 | 543 | 473 | 962 | 799 | 3 |1387 | 1.640678e+02 | 1.890000e+02 | 15.20%
601.20/601.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
601.20/601.34 c 601s| 5900 | 5901 | 4437k| 747.7 |8864k| 92 | 370 | 473 | 543 | 473 | 962 | 799 | 3 |1399 | 1.640727e+02 | 1.890000e+02 | 15.19%
609.60/609.73 c 610s| 6000 | 6001 | 4497k| 745.3 |8934k| 92 | 357 | 473 | 543 | 473 | 962 | 799 | 3 |1423 | 1.640777e+02 | 1.890000e+02 | 15.19%
616.59/616.79 c 617s| 6100 | 6101 | 4544k| 740.8 |9004k| 92 | 363 | 473 | 543 | 473 | 962 | 799 | 3 |1454 | 1.640830e+02 | 1.890000e+02 | 15.19%
626.59/626.74 c 627s| 6200 | 6201 | 4619k| 741.0 |9074k| 92 | 365 | 473 | 543 | 473 | 962 | 799 | 3 |1472 | 1.640882e+02 | 1.890000e+02 | 15.18%
633.79/633.96 c 634s| 6300 | 6301 | 4674k| 737.9 |9144k| 92 | 368 | 473 | 543 | 473 | 962 | 799 | 3 |1483 | 1.640927e+02 | 1.890000e+02 | 15.18%
640.19/640.31 c 640s| 6400 | 6401 | 4724k| 734.2 |9215k| 92 | 347 | 473 | 543 | 473 | 962 | 799 | 3 |1484 | 1.641011e+02 | 1.890000e+02 | 15.17%
648.69/648.82 c 649s| 6500 | 6501 | 4792k| 733.4 |9285k| 92 | 380 | 473 | 543 | 473 | 962 | 799 | 3 |1485 | 1.641071e+02 | 1.890000e+02 | 15.17%
655.09/655.26 c 655s| 6600 | 6601 | 4840k| 729.5 |9356k| 92 | 359 | 473 | 543 | 473 | 962 | 799 | 3 |1495 | 1.641113e+02 | 1.890000e+02 | 15.17%
664.09/664.24 c 664s| 6700 | 6701 | 4902k| 727.9 |9426k| 92 | 364 | 473 | 543 | 473 | 962 | 799 | 3 |1522 | 1.641159e+02 | 1.890000e+02 | 15.16%
673.28/673.41 c 673s| 6800 | 6801 | 4969k| 727.1 |9497k| 92 | 367 | 473 | 543 | 473 | 962 | 799 | 3 |1549 | 1.641221e+02 | 1.890000e+02 | 15.16%
680.08/680.21 c 680s| 6900 | 6901 | 5018k| 723.5 |9568k| 92 | 340 | 473 | 543 | 473 | 962 | 799 | 3 |1573 | 1.641285e+02 | 1.890000e+02 | 15.15%
689.08/689.28 c 689s| 7000 | 7001 | 5090k| 723.5 |9639k| 92 | 337 | 473 | 543 | 473 | 962 | 799 | 3 |1582 | 1.641331e+02 | 1.890000e+02 | 15.15%
697.68/697.83 c 698s| 7100 | 7101 | 5159k| 723.1 |9710k| 92 | 349 | 473 | 543 | 473 | 962 | 799 | 3 |1584 | 1.641383e+02 | 1.890000e+02 | 15.15%
704.77/704.97 c 705s| 7200 | 7201 | 5215k| 720.8 |9780k| 92 | 361 | 473 | 543 | 473 | 962 | 799 | 3 |1586 | 1.641409e+02 | 1.890000e+02 | 15.15%
711.58/711.72 c 712s| 7300 | 7301 | 5264k| 717.7 |9850k| 92 | 344 | 473 | 543 | 473 | 962 | 799 | 3 |1599 | 1.641440e+02 | 1.890000e+02 | 15.14%
719.57/719.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
719.57/719.78 c 720s| 7400 | 7401 | 5323k| 716.0 |9919k| 92 | 353 | 473 | 543 | 473 | 962 | 799 | 3 |1619 | 1.641528e+02 | 1.890000e+02 | 15.14%
728.47/728.63 c 729s| 7500 | 7501 | 5387k| 714.9 |9989k| 92 | 343 | 473 | 543 | 473 | 962 | 799 | 3 |1647 | 1.641555e+02 | 1.890000e+02 | 15.13%
736.67/736.81 c 737s| 7600 | 7601 | 5447k| 713.4 | 10M| 92 | 338 | 473 | 543 | 473 | 962 | 799 | 3 |1667 | 1.641594e+02 | 1.890000e+02 | 15.13%
743.27/743.46 c 743s| 7700 | 7701 | 5498k| 710.7 | 10M| 92 | 362 | 473 | 543 | 473 | 962 | 799 | 3 |1679 | 1.641641e+02 | 1.890000e+02 | 15.13%
750.57/750.70 c 751s| 7800 | 7801 | 5555k| 709.0 | 10M| 92 | 346 | 473 | 543 | 473 | 962 | 799 | 3 |1682 | 1.641675e+02 | 1.890000e+02 | 15.13%
758.57/758.71 c 759s| 7900 | 7901 | 5621k| 708.4 | 10M| 92 | 356 | 473 | 543 | 473 | 962 | 799 | 3 |1682 | 1.641723e+02 | 1.890000e+02 | 15.12%
766.26/766.47 c 766s| 8000 | 8001 | 5682k| 707.1 | 10M| 92 | 343 | 473 | 543 | 473 | 962 | 799 | 3 |1691 | 1.641762e+02 | 1.890000e+02 | 15.12%
774.06/774.22 c 774s| 8100 | 8101 | 5739k| 705.4 | 10M| 92 | 343 | 473 | 543 | 473 | 962 | 799 | 3 |1709 | 1.641819e+02 | 1.890000e+02 | 15.12%
780.77/781.00 c 781s| 8200 | 8201 | 5786k| 702.6 | 10M| 92 | 328 | 473 | 543 | 473 | 962 | 799 | 3 |1729 | 1.641853e+02 | 1.890000e+02 | 15.11%
789.87/790.08 c 790s| 8300 | 8301 | 5853k| 702.1 | 10M| 92 | 355 | 473 | 543 | 473 | 962 | 799 | 3 |1755 | 1.641904e+02 | 1.890000e+02 | 15.11%
798.77/798.95 c 799s| 8400 | 8401 | 5923k| 702.2 | 10M| 92 | 352 | 473 | 543 | 473 | 962 | 799 | 3 |1766 | 1.641953e+02 | 1.890000e+02 | 15.11%
805.46/805.69 c 806s| 8500 | 8501 | 5977k| 700.2 | 10M| 92 | 345 | 473 | 543 | 473 | 962 | 799 | 3 |1769 | 1.641988e+02 | 1.890000e+02 | 15.10%
813.16/813.39 c 813s| 8600 | 8601 | 6039k| 699.3 | 10M| 92 | 375 | 473 | 543 | 473 | 962 | 799 | 3 |1769 | 1.642028e+02 | 1.890000e+02 | 15.10%
819.45/819.65 c 820s| 8700 | 8701 | 6089k| 697.0 | 10M| 92 | 348 | 473 | 543 | 473 | 962 | 799 | 3 |1769 | 1.642057e+02 | 1.890000e+02 | 15.10%
829.56/829.70 c 830s| 8800 | 8801 | 6163k| 697.5 | 10M| 92 | 355 | 473 | 543 | 473 | 962 | 799 | 3 |1798 | 1.642102e+02 | 1.890000e+02 | 15.10%
836.55/836.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
836.55/836.77 c 837s| 8900 | 8901 | 6214k| 695.4 | 10M| 92 | 355 | 473 | 543 | 473 | 962 | 799 | 3 |1815 | 1.642142e+02 | 1.890000e+02 | 15.09%
844.26/844.41 c 844s| 9000 | 9001 | 6268k| 693.7 | 11M| 92 | 353 | 473 | 543 | 473 | 962 | 799 | 3 |1840 | 1.642162e+02 | 1.890000e+02 | 15.09%
851.65/851.82 c 852s| 9100 | 9101 | 6325k| 692.3 | 11M| 92 | 370 | 473 | 543 | 473 | 962 | 799 | 3 |1851 | 1.642237e+02 | 1.890000e+02 | 15.09%
859.25/859.48 c 859s| 9200 | 9201 | 6388k| 691.6 | 11M| 92 | 349 | 473 | 543 | 473 | 962 | 799 | 3 |1853 | 1.642256e+02 | 1.890000e+02 | 15.09%
867.36/867.57 c 868s| 9300 | 9301 | 6454k| 691.3 | 11M| 92 | 362 | 473 | 543 | 473 | 962 | 799 | 3 |1853 | 1.642286e+02 | 1.890000e+02 | 15.08%
873.75/873.91 c 874s| 9400 | 9401 | 6505k| 689.3 | 11M| 92 | 370 | 473 | 543 | 473 | 962 | 799 | 3 |1853 | 1.642339e+02 | 1.890000e+02 | 15.08%
882.45/882.64 c 883s| 9500 | 9501 | 6570k| 688.9 | 11M| 92 | 354 | 473 | 543 | 473 | 962 | 799 | 3 |1872 | 1.642370e+02 | 1.890000e+02 | 15.08%
890.35/890.55 c 891s| 9600 | 9601 | 6629k| 687.9 | 11M| 92 | 339 | 473 | 543 | 473 | 962 | 799 | 3 |1888 | 1.642388e+02 | 1.890000e+02 | 15.08%
899.25/899.42 c 899s| 9700 | 9701 | 6692k| 687.3 | 11M| 92 | 350 | 473 | 543 | 473 | 962 | 799 | 3 |1916 | 1.642427e+02 | 1.890000e+02 | 15.07%
907.54/907.78 c 908s| 9800 | 9801 | 6757k| 686.9 | 11M| 92 | 363 | 473 | 543 | 473 | 962 | 799 | 3 |1930 | 1.642455e+02 | 1.890000e+02 | 15.07%
913.65/913.82 c 914s| 9900 | 9901 | 6803k| 684.7 | 11M| 92 | 343 | 473 | 543 | 473 | 962 | 799 | 3 |1935 | 1.642505e+02 | 1.890000e+02 | 15.07%
919.45/919.64 c 920s| 10000 | 10001 | 6849k| 682.4 | 11M| 92 | 323 | 473 | 543 | 473 | 962 | 799 | 3 |1935 | 1.642526e+02 | 1.890000e+02 | 15.07%
926.94/927.18 c 927s| 10100 | 10101 | 6910k| 681.7 | 11M| 92 | 329 | 473 | 543 | 473 | 962 | 799 | 3 |1936 | 1.642560e+02 | 1.890000e+02 | 15.06%
936.14/936.34 c 936s| 10200 | 10201 | 6985k| 682.4 | 11M| 92 | 367 | 473 | 543 | 473 | 962 | 799 | 3 |1936 | 1.642587e+02 | 1.890000e+02 | 15.06%
951.94/952.13 c 952s| 10300 | 10301 | 7130k| 689.8 | 11M| 92 | 339 | 473 | 548 | 473 | 962 | 799 | 8 |1962 | 1.642610e+02 | 1.890000e+02 | 15.06%
957.74/957.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
957.74/957.95 c 958s| 10400 | 10401 | 7172k| 687.2 | 12M| 92 | 350 | 473 | 548 | 473 | 962 | 799 | 8 |1976 | 1.642636e+02 | 1.890000e+02 | 15.06%
967.54/967.73 c 968s| 10500 | 10501 | 7246k| 687.7 | 12M| 92 | 346 | 473 | 556 | 473 | 962 | 799 | 16 |1996 | 1.642661e+02 | 1.890000e+02 | 15.06%
974.24/974.41 c 974s| 10600 | 10601 | 7297k| 686.0 | 12M| 92 | 350 | 473 | 556 | 473 | 962 | 799 | 16 |2009 | 1.642693e+02 | 1.890000e+02 | 15.05%
983.03/983.30 c 983s| 10700 | 10701 | 7370k| 686.4 | 12M| 92 | 353 | 473 | 556 | 473 | 962 | 799 | 16 |2010 | 1.642738e+02 | 1.890000e+02 | 15.05%
989.63/989.80 c 990s| 10800 | 10801 | 7422k| 684.9 | 12M| 92 | 346 | 473 | 556 | 473 | 962 | 799 | 16 |2011 | 1.642764e+02 | 1.890000e+02 | 15.05%
995.93/996.11 c 996s| 10900 | 10901 | 7472k| 683.2 | 12M| 92 | 348 | 473 | 556 | 473 | 962 | 799 | 16 |2012 | 1.642780e+02 | 1.890000e+02 | 15.05%
1003.43/1003.69 c 1004s| 11000 | 11001 | 7527k| 682.0 | 12M| 92 | 334 | 473 | 556 | 473 | 962 | 799 | 16 |2034 | 1.642803e+02 | 1.890000e+02 | 15.05%
1010.53/1010.79 c 1011s| 11100 | 11101 | 7584k| 681.0 | 12M| 92 | 351 | 473 | 556 | 473 | 962 | 799 | 16 |2034 | 1.642823e+02 | 1.890000e+02 | 15.05%
1019.43/1019.61 c 1020s| 11200 | 11201 | 7647k| 680.5 | 12M| 92 | 372 | 473 | 556 | 473 | 962 | 799 | 16 |2055 | 1.642843e+02 | 1.890000e+02 | 15.04%
1026.23/1026.45 c 1026s| 11300 | 11301 | 7697k| 678.9 | 12M| 92 | 331 | 473 | 556 | 473 | 962 | 799 | 16 |2072 | 1.642897e+02 | 1.890000e+02 | 15.04%
1042.93/1043.14 c 1043s| 11400 | 11401 | 7854k| 686.8 | 12M| 92 | 373 | 473 | 556 | 473 | 962 | 799 | 16 |2087 | 1.642921e+02 | 1.890000e+02 | 15.04%
1049.13/1049.37 c 1049s| 11500 | 11501 | 7903k| 685.1 | 12M| 92 | 352 | 473 | 556 | 473 | 962 | 799 | 16 |2091 | 1.642938e+02 | 1.890000e+02 | 15.04%
1056.72/1057.00 c 1057s| 11600 | 11601 | 7965k| 684.5 | 12M| 92 | 358 | 473 | 556 | 473 | 962 | 799 | 16 |2091 | 1.642963e+02 | 1.890000e+02 | 15.04%
1064.12/1064.38 c 1064s| 11700 | 11701 | 8025k| 683.7 | 12M| 92 | 367 | 473 | 556 | 473 | 962 | 799 | 16 |2092 | 1.643017e+02 | 1.890000e+02 | 15.03%
1071.52/1071.72 c 1072s| 11800 | 11801 | 8085k| 683.0 | 13M| 92 | 365 | 473 | 556 | 473 | 962 | 799 | 16 |2092 | 1.643043e+02 | 1.890000e+02 | 15.03%
1078.42/1078.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1078.42/1078.67 c 1079s| 11900 | 11901 | 8134k| 681.4 | 13M| 92 | 344 | 473 | 556 | 473 | 962 | 799 | 16 |2114 | 1.643066e+02 | 1.890000e+02 | 15.03%
1085.12/1085.37 c 1085s| 12000 | 12001 | 8180k| 679.5 | 13M| 92 | 354 | 473 | 556 | 473 | 962 | 799 | 16 |2136 | 1.643094e+02 | 1.890000e+02 | 15.03%
1093.52/1093.73 c 1094s| 12100 | 12101 | 8246k| 679.4 | 13M| 92 | 352 | 473 | 556 | 473 | 962 | 799 | 16 |2147 | 1.643131e+02 | 1.890000e+02 | 15.02%
1103.42/1103.60 c 1104s| 12200 | 12201 | 8323k| 680.1 | 13M| 92 | 367 | 473 | 556 | 473 | 962 | 799 | 16 |2163 | 1.643149e+02 | 1.890000e+02 | 15.02%
1109.92/1110.19 c 1110s| 12300 | 12301 | 8372k| 678.6 | 13M| 92 | 353 | 473 | 556 | 473 | 962 | 799 | 16 |2175 | 1.643182e+02 | 1.890000e+02 | 15.02%
1117.51/1117.71 c 1118s| 12400 | 12401 | 8432k| 678.0 | 13M| 92 | 359 | 473 | 556 | 473 | 962 | 799 | 16 |2178 | 1.643192e+02 | 1.890000e+02 | 15.02%
1124.61/1124.85 c 1125s| 12500 | 12501 | 8490k| 677.2 | 13M| 92 | 355 | 473 | 556 | 473 | 962 | 799 | 16 |2178 | 1.643223e+02 | 1.890000e+02 | 15.02%
1132.61/1132.80 c 1133s| 12600 | 12601 | 8555k| 676.9 | 13M| 92 | 357 | 473 | 556 | 473 | 962 | 799 | 16 |2178 | 1.643244e+02 | 1.890000e+02 | 15.02%
1139.42/1139.65 c 1140s| 12700 | 12701 | 8611k| 676.0 | 13M| 92 | 366 | 473 | 556 | 473 | 962 | 799 | 16 |2178 | 1.643286e+02 | 1.890000e+02 | 15.01%
1146.71/1146.97 c 1147s| 12800 | 12801 | 8657k| 674.4 | 13M| 92 | 363 | 473 | 556 | 473 | 962 | 799 | 16 |2218 | 1.643311e+02 | 1.890000e+02 | 15.01%
1151.71/1151.92 c 1152s| 12900 | 12901 | 8695k| 672.1 | 13M| 92 | 371 | 473 | 556 | 473 | 962 | 799 | 16 |2218 | 1.643336e+02 | 1.890000e+02 | 15.01%
1159.51/1159.71 c 1160s| 13000 | 13001 | 8753k| 671.3 | 13M| 92 | 354 | 473 | 556 | 473 | 962 | 799 | 16 |2235 | 1.643358e+02 | 1.890000e+02 | 15.01%
1166.50/1166.79 c 1167s| 13100 | 13101 | 8806k| 670.3 | 13M| 92 | 367 | 473 | 556 | 473 | 962 | 799 | 16 |2247 | 1.643404e+02 | 1.890000e+02 | 15.01%
1172.90/1173.12 c 1173s| 13200 | 13201 | 8853k| 668.8 | 14M| 92 | 364 | 473 | 556 | 473 | 962 | 799 | 16 |2258 | 1.643422e+02 | 1.890000e+02 | 15.00%
1180.70/1180.91 c 1181s| 13300 | 13301 | 8916k| 668.5 | 14M| 92 | 343 | 473 | 556 | 473 | 962 | 799 | 16 |2260 | 1.643465e+02 | 1.890000e+02 | 15.00%
1186.50/1186.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1186.50/1186.72 c 1187s| 13400 | 13401 | 8962k| 666.9 | 14M| 92 | 366 | 473 | 556 | 473 | 962 | 799 | 16 |2262 | 1.643483e+02 | 1.890000e+02 | 15.00%
1192.60/1192.85 c 1193s| 13500 | 13501 | 9011k| 665.6 | 14M| 92 | 371 | 473 | 556 | 473 | 962 | 799 | 16 |2262 | 1.643507e+02 | 1.890000e+02 | 15.00%
1198.60/1198.86 c 1199s| 13600 | 13601 | 9059k| 664.3 | 14M| 92 | 338 | 473 | 556 | 473 | 962 | 799 | 16 |2263 | 1.643525e+02 | 1.890000e+02 | 15.00%
1208.39/1208.64 c 1209s| 13700 | 13701 | 9135k| 665.0 | 14M| 92 | 370 | 473 | 556 | 473 | 962 | 799 | 16 |2278 | 1.643543e+02 | 1.890000e+02 | 15.00%
1214.89/1215.15 c 1215s| 13800 | 13801 | 9183k| 663.6 | 14M| 92 | 357 | 473 | 556 | 473 | 962 | 799 | 16 |2294 | 1.643577e+02 | 1.890000e+02 | 14.99%
1220.80/1221.05 c 1221s| 13900 | 13901 | 9229k| 662.2 | 14M| 92 | 357 | 473 | 556 | 473 | 962 | 799 | 16 |2294 | 1.643593e+02 | 1.890000e+02 | 14.99%
1228.50/1228.74 c 1229s| 14000 | 14001 | 9285k| 661.4 | 14M| 92 | 370 | 473 | 561 | 473 | 962 | 799 | 21 |2316 | 1.643634e+02 | 1.890000e+02 | 14.99%
1234.40/1234.66 c 1235s| 14100 | 14101 | 9329k| 659.9 | 14M| 92 | 359 | 473 | 561 | 473 | 962 | 799 | 21 |2328 | 1.643658e+02 | 1.890000e+02 | 14.99%
1244.60/1244.80 c 1245s| 14200 | 14201 | 9409k| 660.8 | 14M| 92 | 347 | 473 | 561 | 473 | 962 | 799 | 21 |2340 | 1.643677e+02 | 1.890000e+02 | 14.99%
1249.99/1250.25 c 1250s| 14300 | 14301 | 9450k| 659.1 | 14M| 92 | 364 | 473 | 561 | 473 | 962 | 799 | 21 |2346 | 1.643701e+02 | 1.890000e+02 | 14.98%
1255.19/1255.43 c 1255s| 14400 | 14401 | 9491k| 657.3 | 14M| 92 | 360 | 473 | 561 | 473 | 962 | 799 | 21 |2348 | 1.643732e+02 | 1.890000e+02 | 14.98%
1262.09/1262.35 c 1262s| 14500 | 14501 | 9545k| 656.6 | 14M| 92 | 365 | 473 | 561 | 473 | 962 | 799 | 21 |2350 | 1.643753e+02 | 1.890000e+02 | 14.98%
1267.59/1267.83 c 1268s| 14600 | 14601 | 9588k| 655.0 | 14M| 92 | 362 | 473 | 561 | 473 | 962 | 799 | 21 |2350 | 1.643771e+02 | 1.890000e+02 | 14.98%
1275.88/1276.12 c 1276s| 14700 | 14701 | 9657k| 655.2 | 15M| 92 | 374 | 473 | 561 | 473 | 962 | 799 | 21 |2350 | 1.643787e+02 | 1.890000e+02 | 14.98%
1284.49/1284.71 c 1285s| 14800 | 14801 | 9720k| 655.1 | 15M| 92 | 352 | 473 | 561 | 473 | 962 | 799 | 21 |2363 | 1.643809e+02 | 1.890000e+02 | 14.98%
1291.39/1291.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1291.39/1291.68 c 1292s| 14900 | 14901 | 9771k| 654.1 | 15M| 92 | 358 | 473 | 561 | 473 | 962 | 799 | 21 |2378 | 1.643832e+02 | 1.890000e+02 | 14.98%
1297.89/1298.18 c 1298s| 15000 | 15001 | 9819k| 653.0 | 15M| 92 | 363 | 473 | 561 | 473 | 962 | 799 | 21 |2390 | 1.643848e+02 | 1.890000e+02 | 14.97%
1304.29/1304.56 c 1305s| 15100 | 15101 | 9866k| 651.7 | 15M| 92 | 360 | 473 | 561 | 473 | 962 | 799 | 21 |2402 | 1.643864e+02 | 1.890000e+02 | 14.97%
1312.98/1313.28 c 1313s| 15200 | 15201 | 9934k| 651.9 | 15M| 92 | 357 | 473 | 561 | 473 | 962 | 799 | 21 |2419 | 1.643882e+02 | 1.890000e+02 | 14.97%
1320.18/1320.45 c 1320s| 15300 | 15301 | 9990k| 651.3 | 15M| 92 | 307 | 473 | 561 | 473 | 962 | 799 | 21 |2428 | 1.643891e+02 | 1.890000e+02 | 14.97%
1326.18/1326.42 c 1326s| 15400 | 15401 | 10037k| 650.1 | 15M| 92 | 351 | 473 | 561 | 473 | 962 | 799 | 21 |2429 | 1.643920e+02 | 1.890000e+02 | 14.97%
1330.69/1330.91 c 1331s| 15500 | 15501 | 10071k| 648.1 | 15M| 92 | 336 | 473 | 561 | 473 | 962 | 799 | 21 |2430 | 1.643949e+02 | 1.890000e+02 | 14.97%
1337.29/1337.51 c 1338s| 15600 | 15601 | 10124k| 647.4 | 15M| 92 | 361 | 473 | 561 | 473 | 962 | 799 | 21 |2430 | 1.643969e+02 | 1.890000e+02 | 14.97%
1344.38/1344.68 c 1345s| 15700 | 15701 | 10183k| 647.0 | 15M| 92 | 335 | 473 | 561 | 473 | 962 | 799 | 21 |2430 | 1.644002e+02 | 1.890000e+02 | 14.96%
1353.47/1353.71 c 1354s| 15800 | 15801 | 10252k| 647.2 | 15M| 92 | 355 | 473 | 561 | 473 | 962 | 799 | 21 |2443 | 1.644018e+02 | 1.890000e+02 | 14.96%
1359.67/1359.94 c 1360s| 15900 | 15901 | 10298k| 646.1 | 15M| 92 | 375 | 473 | 561 | 473 | 962 | 799 | 21 |2452 | 1.644036e+02 | 1.890000e+02 | 14.96%
1366.27/1366.57 c 1367s| 16000 | 16001 | 10347k| 645.1 | 15M| 92 | 362 | 473 | 561 | 473 | 962 | 799 | 21 |2463 | 1.644061e+02 | 1.890000e+02 | 14.96%
1373.17/1373.41 c 1373s| 16100 | 16101 | 10399k| 644.3 | 16M| 92 | 361 | 473 | 561 | 473 | 962 | 799 | 21 |2475 | 1.644078e+02 | 1.890000e+02 | 14.96%
1381.97/1382.29 c 1382s| 16200 | 16201 | 10469k| 644.6 | 16M| 92 | 348 | 473 | 565 | 473 | 962 | 799 | 25 |2489 | 1.644099e+02 | 1.890000e+02 | 14.96%
1389.47/1389.78 c 1390s| 16300 | 16301 | 10524k| 644.1 | 16M| 92 | 364 | 473 | 565 | 473 | 962 | 799 | 25 |2504 | 1.644137e+02 | 1.890000e+02 | 14.95%
1394.97/1395.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1394.97/1395.21 c 1395s| 16400 | 16401 | 10565k| 642.7 | 16M| 92 | 370 | 473 | 565 | 473 | 962 | 799 | 25 |2512 | 1.644157e+02 | 1.890000e+02 | 14.95%
1400.87/1401.17 c 1401s| 16500 | 16501 | 10613k| 641.7 | 16M| 92 | 344 | 473 | 565 | 473 | 962 | 799 | 25 |2513 | 1.644176e+02 | 1.890000e+02 | 14.95%
1406.97/1407.28 c 1407s| 16600 | 16601 | 10661k| 640.7 | 16M| 92 | 350 | 473 | 565 | 473 | 962 | 799 | 25 |2513 | 1.644196e+02 | 1.890000e+02 | 14.95%
1415.57/1415.80 c 1416s| 16700 | 16701 | 10734k| 641.3 | 16M| 92 | 347 | 473 | 569 | 473 | 962 | 799 | 29 |2513 | 1.644218e+02 | 1.890000e+02 | 14.95%
1422.66/1422.91 c 1423s| 16800 | 16801 | 10791k| 640.8 | 16M| 92 | 348 | 473 | 569 | 473 | 962 | 799 | 29 |2514 | 1.644235e+02 | 1.890000e+02 | 14.95%
1430.66/1430.94 c 1431s| 16900 | 16901 | 10849k| 640.5 | 16M| 92 | 357 | 473 | 569 | 473 | 962 | 799 | 29 |2534 | 1.644261e+02 | 1.890000e+02 | 14.95%
1435.76/1436.07 c 1436s| 17000 | 17001 | 10889k| 639.1 | 16M| 92 | 370 | 473 | 569 | 473 | 962 | 799 | 29 |2534 | 1.644270e+02 | 1.890000e+02 | 14.94%
1443.26/1443.51 c 1444s| 17100 | 17101 | 10945k| 638.6 | 16M| 92 | 360 | 473 | 569 | 473 | 962 | 799 | 29 |2550 | 1.644294e+02 | 1.890000e+02 | 14.94%
1450.06/1450.38 c 1450s| 17200 | 17201 | 10996k| 637.9 | 16M| 92 | 340 | 473 | 569 | 473 | 962 | 799 | 29 |2559 | 1.644313e+02 | 1.890000e+02 | 14.94%
1456.26/1456.50 c 1457s| 17300 | 17301 | 11041k| 636.7 | 16M| 92 | 356 | 473 | 569 | 473 | 962 | 799 | 29 |2575 | 1.644338e+02 | 1.890000e+02 | 14.94%
1464.06/1464.34 c 1464s| 17400 | 17401 | 11102k| 636.6 | 16M| 92 | 332 | 473 | 569 | 473 | 962 | 799 | 29 |2586 | 1.644355e+02 | 1.890000e+02 | 14.94%
1469.56/1469.80 c 1470s| 17500 | 17501 | 11144k| 635.4 | 17M| 92 | 368 | 473 | 569 | 473 | 962 | 799 | 29 |2590 | 1.644370e+02 | 1.890000e+02 | 14.94%
1475.75/1476.02 c 1476s| 17600 | 17601 | 11193k| 634.5 | 17M| 92 | 354 | 473 | 569 | 473 | 962 | 799 | 29 |2592 | 1.644402e+02 | 1.890000e+02 | 14.94%
1481.86/1482.10 c 1482s| 17700 | 17701 | 11242k| 633.7 | 17M| 92 | 370 | 473 | 569 | 473 | 962 | 799 | 29 |2592 | 1.644425e+02 | 1.890000e+02 | 14.93%
1488.85/1489.14 c 1489s| 17800 | 17801 | 11299k| 633.4 | 17M| 92 | 338 | 473 | 569 | 473 | 962 | 799 | 29 |2592 | 1.644440e+02 | 1.890000e+02 | 14.93%
1495.75/1496.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1495.75/1496.03 c 1496s| 17900 | 17901 | 11355k| 632.9 | 17M| 92 | 342 | 473 | 569 | 473 | 962 | 799 | 29 |2592 | 1.644459e+02 | 1.890000e+02 | 14.93%
1502.65/1502.97 c 1503s| 18000 | 18001 | 11403k| 632.1 | 17M| 92 | 348 | 473 | 569 | 473 | 962 | 799 | 29 |2617 | 1.644476e+02 | 1.890000e+02 | 14.93%
1508.96/1509.24 c 1509s| 18100 | 18101 | 11453k| 631.4 | 17M| 92 | 342 | 473 | 569 | 473 | 962 | 799 | 29 |2618 | 1.644489e+02 | 1.890000e+02 | 14.93%
1514.65/1514.96 c 1515s| 18200 | 18201 | 11499k| 630.4 | 17M| 92 | 349 | 473 | 569 | 473 | 962 | 799 | 29 |2618 | 1.644509e+02 | 1.890000e+02 | 14.93%
1522.45/1522.78 c 1523s| 18300 | 18301 | 11555k| 630.0 | 17M| 92 | 365 | 473 | 569 | 473 | 962 | 799 | 29 |2642 | 1.644527e+02 | 1.890000e+02 | 14.93%
1528.55/1528.90 c 1529s| 18400 | 18401 | 11602k| 629.2 | 17M| 92 | 343 | 473 | 569 | 473 | 962 | 799 | 29 |2650 | 1.644548e+02 | 1.890000e+02 | 14.93%
1535.26/1535.55 c 1536s| 18500 | 18501 | 11653k| 628.5 | 17M| 92 | 350 | 473 | 569 | 473 | 962 | 799 | 29 |2661 | 1.644571e+02 | 1.890000e+02 | 14.92%
1541.95/1542.22 c 1542s| 18600 | 18601 | 11706k| 628.0 | 17M| 92 | 335 | 473 | 569 | 473 | 962 | 799 | 29 |2668 | 1.644586e+02 | 1.890000e+02 | 14.92%
1548.04/1548.38 c 1548s| 18700 | 18701 | 11756k| 627.3 | 17M| 92 | 348 | 473 | 569 | 473 | 962 | 799 | 29 |2669 | 1.644599e+02 | 1.890000e+02 | 14.92%
1555.95/1556.25 c 1556s| 18800 | 18801 | 11821k| 627.4 | 17M| 92 | 343 | 473 | 571 | 473 | 962 | 799 | 31 |2669 | 1.644613e+02 | 1.890000e+02 | 14.92%
1561.94/1562.25 c 1562s| 18900 | 18901 | 11869k| 626.7 | 18M| 92 | 345 | 473 | 571 | 473 | 962 | 799 | 31 |2669 | 1.644626e+02 | 1.890000e+02 | 14.92%
1568.14/1568.49 c 1568s| 19000 | 19001 | 11919k| 626.0 | 18M| 92 | 347 | 473 | 571 | 473 | 962 | 799 | 31 |2670 | 1.644637e+02 | 1.890000e+02 | 14.92%
1575.95/1576.27 c 1576s| 19100 | 19101 | 11983k| 626.0 | 18M| 92 | 344 | 473 | 571 | 473 | 962 | 799 | 31 |2670 | 1.644650e+02 | 1.890000e+02 | 14.92%
1582.64/1582.93 c 1583s| 19200 | 19201 | 12027k| 625.1 | 18M| 92 | 387 | 473 | 571 | 473 | 962 | 799 | 31 |2693 | 1.644677e+02 | 1.890000e+02 | 14.92%
1597.44/1597.71 c 1598s| 19300 | 19301 | 12177k| 629.6 | 18M| 92 | 351 | 473 | 574 | 473 | 962 | 799 | 34 |2693 | 1.644695e+02 | 1.890000e+02 | 14.91%
1603.64/1603.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1603.64/1603.97 c 1604s| 19400 | 19401 | 12223k| 628.7 | 18M| 92 | 357 | 473 | 574 | 473 | 962 | 799 | 34 |2705 | 1.644711e+02 | 1.890000e+02 | 14.91%
1611.34/1611.61 c 1612s| 19500 | 19501 | 12281k| 628.5 | 18M| 92 | 343 | 473 | 574 | 473 | 962 | 799 | 34 |2718 | 1.644734e+02 | 1.890000e+02 | 14.91%
1617.63/1617.96 c 1618s| 19600 | 19601 | 12328k| 627.7 | 18M| 92 | 341 | 473 | 574 | 473 | 962 | 799 | 34 |2732 | 1.644751e+02 | 1.890000e+02 | 14.91%
1623.64/1623.96 c 1624s| 19700 | 19701 | 12372k| 626.7 | 18M| 92 | 344 | 473 | 574 | 473 | 962 | 799 | 34 |2748 | 1.644763e+02 | 1.890000e+02 | 14.91%
1629.64/1629.97 c 1630s| 19800 | 19801 | 12420k| 626.0 | 18M| 92 | 318 | 473 | 574 | 473 | 962 | 799 | 34 |2751 | 1.644772e+02 | 1.890000e+02 | 14.91%
1636.34/1636.63 c 1637s| 19900 | 19901 | 12473k| 625.5 | 18M| 92 | 348 | 473 | 574 | 473 | 962 | 799 | 34 |2751 | 1.644796e+02 | 1.890000e+02 | 14.91%
1642.83/1643.13 c 1643s| 20000 | 20001 | 12526k| 625.0 | 18M| 92 | 351 | 473 | 574 | 473 | 962 | 799 | 34 |2751 | 1.644809e+02 | 1.890000e+02 | 14.91%
1649.53/1649.83 c 1650s| 20100 | 20101 | 12580k| 624.6 | 18M| 92 | 361 | 473 | 574 | 473 | 962 | 799 | 34 |2751 | 1.644833e+02 | 1.890000e+02 | 14.91%
1654.83/1655.14 c 1655s| 20200 | 20201 | 12622k| 623.6 | 18M| 92 | 354 | 473 | 574 | 473 | 962 | 799 | 34 |2751 | 1.644855e+02 | 1.890000e+02 | 14.90%
1661.52/1661.82 c 1662s| 20300 | 20301 | 12676k| 623.2 | 18M| 92 | 356 | 473 | 574 | 473 | 962 | 799 | 34 |2751 | 1.644872e+02 | 1.890000e+02 | 14.90%
1668.53/1668.81 c 1669s| 20400 | 20401 | 12718k| 622.2 | 19M| 92 | 348 | 473 | 574 | 473 | 962 | 799 | 34 |2793 | 1.644882e+02 | 1.890000e+02 | 14.90%
1676.93/1677.24 c 1677s| 20500 | 20501 | 12789k| 622.6 | 19M| 92 | 343 | 473 | 578 | 473 | 962 | 799 | 38 |2793 | 1.644898e+02 | 1.890000e+02 | 14.90%
1682.93/1683.28 c 1683s| 20600 | 20601 | 12838k| 622.0 | 19M| 92 | 361 | 473 | 578 | 473 | 962 | 799 | 38 |2793 | 1.644913e+02 | 1.890000e+02 | 14.90%
1689.82/1690.16 c 1690s| 20700 | 20701 | 12891k| 621.6 | 19M| 92 | 352 | 473 | 584 | 473 | 962 | 799 | 44 |2807 | 1.644937e+02 | 1.890000e+02 | 14.90%
1697.63/1697.92 c 1698s| 20800 | 20801 | 12955k| 621.6 | 19M| 92 | 352 | 473 | 589 | 473 | 962 | 799 | 49 |2814 | 1.644948e+02 | 1.890000e+02 | 14.90%
1703.82/1704.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1703.82/1704.16 c 1704s| 20900 | 20901 | 13000k| 620.8 | 19M| 92 | 354 | 473 | 589 | 473 | 962 | 799 | 49 |2828 | 1.644968e+02 | 1.890000e+02 | 14.90%
1709.03/1709.33 c 1709s| 21000 | 21001 | 13039k| 619.7 | 19M| 92 | 373 | 473 | 589 | 473 | 962 | 799 | 49 |2833 | 1.644979e+02 | 1.890000e+02 | 14.90%
1717.72/1718.02 c 1718s| 21100 | 21101 | 13110k| 620.1 | 19M| 92 | 337 | 473 | 589 | 473 | 962 | 799 | 49 |2835 | 1.644996e+02 | 1.890000e+02 | 14.89%
1722.33/1722.61 c 1723s| 21200 | 21201 | 13146k| 618.9 | 19M| 92 | 354 | 473 | 589 | 473 | 962 | 799 | 49 |2835 | 1.645004e+02 | 1.890000e+02 | 14.89%
1728.72/1729.07 c 1729s| 21300 | 21301 | 13198k| 618.4 | 19M| 92 | 360 | 473 | 589 | 473 | 962 | 799 | 49 |2835 | 1.645019e+02 | 1.890000e+02 | 14.89%
1734.42/1734.75 c 1735s| 21400 | 21401 | 13243k| 617.7 | 19M| 92 | 365 | 473 | 589 | 473 | 962 | 799 | 49 |2835 | 1.645032e+02 | 1.890000e+02 | 14.89%
1740.11/1740.47 c 1740s| 21500 | 21501 | 13289k| 616.9 | 19M| 92 | 340 | 473 | 589 | 473 | 962 | 799 | 49 |2835 | 1.645045e+02 | 1.890000e+02 | 14.89%
1747.21/1747.59 c 1748s| 21600 | 21601 | 13340k| 616.4 | 19M| 92 | 361 | 473 | 589 | 473 | 962 | 799 | 49 |2849 | 1.645060e+02 | 1.890000e+02 | 14.89%
1754.62/1754.97 c 1755s| 21700 | 21701 | 13401k| 616.4 | 19M| 92 | 349 | 473 | 589 | 473 | 962 | 799 | 49 |2851 | 1.645071e+02 | 1.890000e+02 | 14.89%
1763.52/1763.86 c 1764s| 21800 | 21801 | 13466k| 616.6 | 20M| 92 | 344 | 473 | 589 | 473 | 962 | 799 | 49 |2870 | 1.645086e+02 | 1.890000e+02 | 14.89%
1770.81/1771.15 c 1771s| 21900 | 21901 | 13521k| 616.2 | 20M| 92 | 360 | 473 | 589 | 473 | 962 | 799 | 49 |2881 | 1.645114e+02 | 1.890000e+02 | 14.89%
1778.61/1778.90 c 1779s| 22000 | 22001 | 13579k| 616.1 | 20M| 92 | 354 | 473 | 589 | 473 | 962 | 799 | 49 |2894 | 1.645137e+02 | 1.890000e+02 | 14.88%
1787.60/1787.91 c 1788s| 22100 | 22101 | 13651k| 616.5 | 20M| 92 | 323 | 473 | 589 | 473 | 962 | 799 | 49 |2904 | 1.645149e+02 | 1.890000e+02 | 14.88%
1794.11/1794.47 c 1794s| 22200 | 22201 | 13702k| 616.1 | 20M| 92 | 354 | 473 | 589 | 473 | 962 | 799 | 49 |2912 | 1.645166e+02 | 1.890000e+02 | 14.88%
1796.70/1797.00 c
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Solving Time (sec) : 1797.00
1796.70/1797.00 c Solving Nodes : 22243
1796.70/1797.00 c Primal Bound : +1.89000000000000e+02 (735 solutions)
1796.70/1797.00 c Dual Bound : +1.64516735008732e+02
1796.70/1797.00 c Gap : 14.88 %
1796.70/1797.00 s SATISFIABLE
1796.70/1797.00 v -x473 x472 -x471 x470 x469 -x468 -x467 -x466 -x465 -x464 -x463 x462 -x461 x460 -x459 -x458 -x457 x456 -x455 -x454 -x453 x452 -x451
1796.70/1797.00 v -x450 -x449 -x448 x447 x446 -x445 x444 -x443 -x442 -x441 -x440 -x439 x438 x437 x436 -x435 x434 -x433 -x432 x431 -x430 -x429
1796.70/1797.00 v -x428 -x427 x426 -x425 -x424 -x423 -x422 x421 -x420 x419 -x418 -x417 -x416 -x415 -x414 x413 -x412 -x411 x410 x409 -x408 -x407
1796.70/1797.00 v -x406 -x405 x404 -x403 x402 -x401 x400 x399 -x398 -x397 x396 -x395 -x394 -x393 x392 x391 -x390 x389 x388 x387 -x386 -x385
1796.70/1797.00 v -x384 -x383 -x382 x381 x380 -x379 x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 x369 -x368 -x367 -x366 x365 -x364 -x363
1796.70/1797.00 v x362 -x361 -x360 x359 x358 -x357 -x356 -x355 x354 -x353 x352 x351 -x350 x349 x348 -x347 -x346 -x345 x344 x343 x342 -x341 -x340
1796.70/1797.00 v -x339 -x338 -x337 -x336 -x335 x334 x333 -x332 -x331 -x330 x329 -x328 -x327 -x326 -x325 x324 -x323 -x322 -x321 -x320 -x319
1796.70/1797.00 v x318 -x317 -x316 x315 -x314 -x313 x312 -x311 x310 x309 x308 -x307 x306 x305 -x304 x303 x302 -x301 x300 x299 x298 -x297 -x296
1796.70/1797.00 v x295 x294 -x293 x292 x291 -x290 x289 x288 x287 -x286 -x285 -x284 x283 -x282 x281 x280 x279 -x278 -x277 x276 -x275 -x274 x273
1796.70/1797.00 v -x272 -x271 x270 -x269 -x268 x267 -x266 -x265 x264 -x263 x262 -x261 -x260 x259 x258 -x257 -x256 x255 -x254 -x253 -x252 x251
1796.70/1797.00 v -x250 -x249 -x248 -x247 x246 x245 -x244 x243 -x242 -x241 x240 -x239 x238 x237 x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229
1796.70/1797.00 v -x228 x227 -x226 -x225 x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 x214 -x213 -x212 x211 -x210 x209 x208 -x207
1796.70/1797.00 v x206 -x205 x204 x203 -x202 x201 -x200 x199 -x198 -x197 x196 x195 x194 -x193 -x192 -x191 -x190 -x189 x188 -x187 x186 x185 -x184
1796.70/1797.00 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 x174 x173 -x172 -x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 x163 x162
1796.70/1797.00 v x161 x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 x150 x149 x148 -x147 -x146 -x145 -x144 x143 x142 x141 -x140
1796.70/1797.00 v -x139 x138 x137 -x136 -x135 x134 -x133 x132 -x131 x130 -x129 x128 x127 x126 x125 -x124 -x123 -x122 -x121 -x120 x119 x118 x117
1796.70/1797.00 v x116 -x115 -x114 x113 -x112 x111 -x110 -x109 -x108 x107 -x106 x105 x104 -x103 -x102 x101 -x100 -x99 x98 -x97 x96 -x95 x94 x93
1796.70/1797.00 v x92 x91 x90 x89 -x88 -x87 x86 -x85 -x84 x83 -x82 -x81 -x80 x79 -x78 x77 x76 -x75 x74 x73 -x72 -x71 x70 -x69 x68 -x67 x66 -x65
1796.70/1797.00 v -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 x56 -x55 x54 -x53 x52 x51 x50 x49 x48 -x47 -x46 -x45 -x44 x43 -x42 x41 x40 -x39 -x38
1796.70/1797.00 v x37 x36 -x35 x34 x33 -x32 -x31 -x30 x29 x28 x27 x26 -x25 -x24 -x23 -x22 x21 x20 -x19 -x18 x17 x16 -x15 -x14 x13 x12 -x11 -x10
1796.70/1797.00 v -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Total Time : 1797.00
1796.70/1797.00 c solving : 1797.00
1796.70/1797.00 c presolving : 0.02 (included in solving)
1796.70/1797.00 c reading : 0.00 (included in solving)
1796.70/1797.00 c copying : 0.02 (3 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.70/1797.00 c Original Problem :
1796.70/1797.00 c Problem name : HOME/instance-3693215-1338029384.opb
1796.70/1797.00 c Variables : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 473 initial, 473 maximal
1796.70/1797.00 c Objective sense : minimize
1796.70/1797.00 c Presolved Problem :
1796.70/1797.00 c Problem name : t_HOME/instance-3693215-1338029384.opb
1796.70/1797.00 c Variables : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 540 initial, 589 maximal
1796.70/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c knapsack : 0.01 0.00 0 0 0 0 0 16 115 188 452
1796.70/1797.00 c setppc : 0.00 0.00 0 0 0 0 0 32 0 0 0
1796.70/1797.00 c linear : 0.01 0.00 0 0 0 0 0 0 0 0 31
1796.70/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c root node : - - 0 - - 0 - - - - -
1796.70/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c integral : 0 0 0 0 22242 0 740 0 0 0 0 0 44484
1796.70/1797.00 c knapsack : 454 454 10 191262 0 1 735 0 0 6826 824 0 0
1796.70/1797.00 c setppc : 84 84 10 191250 0 1 734 0 0 2888 0 0 0
1796.70/1797.00 c logicor : 2+ 51 10 6234 0 1 734 0 0 4 0 0 0
1796.70/1797.00 c countsols : 0 0 0 0 0 1 738 0 0 0 0 0 0
1796.70/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.00 c integral : 112.20 0.00 0.00 0.00 112.20 0.00 0.00 0.00
1796.70/1797.00 c knapsack : 1.32 0.00 0.03 1.29 0.00 0.00 0.01 0.00
1796.70/1797.00 c setppc : 0.19 0.00 0.00 0.19 0.00 0.00 0.00 0.00
1796.70/1797.00 c logicor : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00
1796.70/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.00 c rootredcost : 15 0 0 0
1796.70/1797.00 c pseudoobj : 213454 0 0 0
1796.70/1797.00 c vbounds : 0 0 0 0
1796.70/1797.00 c redcost : 22252 0 0 6
1796.70/1797.00 c probing : 0 0 0 0
1796.70/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.00 c rootredcost : 0.06 0.00 0.00 0.06 0.00
1796.70/1797.00 c pseudoobj : 0.22 0.00 0.00 0.22 0.00
1796.70/1797.00 c vbounds : 0.05 0.00 0.00 0.05 0.00
1796.70/1797.00 c redcost : 0.20 0.00 0.00 0.20 0.00
1796.70/1797.00 c probing : 0.00 0.00 0.00 0.00 0.00
1796.70/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.00 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.00 c infeasible LP : 0.00 49 49 49 3.9 0 0.0 0
1796.70/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.00 c applied globally : - - - 49 3.9 - - -
1796.70/1797.00 c applied locally : - - - 0 0.0 - - -
1796.70/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.00 c cut pool : 0.00 9 - - 320 - (maximal pool size: 1528)
1796.70/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c impliedbounds : 0.00 0.00 10 0 0 0 0
1796.70/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c gomory : 1.71 0.00 10 0 0 0 0
1796.70/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c strongcg : 1.27 0.00 10 0 0 0 0
1796.70/1797.00 c cmir : 0.23 0.00 10 0 0 931 0
1796.70/1797.00 c flowcover : 0.29 0.00 10 0 0 1072 0
1796.70/1797.00 c clique : 0.00 0.00 1 0 0 0 0
1796.70/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c mcf : 0.00 0.00 1 0 0 0 0
1796.70/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.00 c problem variables: 0.00 - 0 0
1796.70/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c relpscost : 112.18 0.00 22242 0 0 0 0 44484
1796.70/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c inference : 0.00 0.00 1 0 0 0 0 2
1796.70/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.00 c LP solutions : 0.00 - - 0
1796.70/1797.00 c pseudo solutions : 0.00 - - 0
1796.70/1797.00 c oneopt : 0.01 0.00 7 2
1796.70/1797.00 c fracdiving : 53.10 0.00 49 0
1796.70/1797.00 c coefdiving : 58.15 0.00 56 155
1796.70/1797.00 c veclendiving : 150.02 0.00 187 116
1796.70/1797.00 c pscostdiving : 251.14 0.00 316 244
1796.70/1797.00 c smallcard : 0.00 0.00 0 0
1796.70/1797.00 c trivial : 0.00 0.00 2 1
1796.70/1797.00 c shiftandpropagate: 0.00 0.00 0 0
1796.70/1797.00 c simplerounding : 0.63 0.00 22251 37
1796.70/1797.00 c zirounding : 0.64 0.00 1851 37
1796.70/1797.00 c rounding : 15.37 0.00 6710 1
1796.70/1797.00 c shifting : 4.24 0.00 1722 1
1796.70/1797.00 c intshifting : 0.00 0.00 0 0
1796.70/1797.00 c twoopt : 0.00 0.00 0 0
1796.70/1797.00 c indoneopt : 0.01 0.00 0 0
1796.70/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.00 c feaspump : 0.00 0.00 0 0
1796.70/1797.00 c clique : 0.00 0.00 0 0
1796.70/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.00 c indrounding : 0.00 0.00 0 0
1796.70/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.00 c intdiving : 0.00 0.00 0 0
1796.70/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.00 c objpscostdiving : 36.23 0.00 5 113
1796.70/1797.00 c rootsoldiving : 13.41 0.00 14 0
1796.70/1797.00 c linesearchdiving : 63.44 0.00 95 26
1796.70/1797.00 c guideddiving : 53.53 0.00 51 0
1796.70/1797.00 c octane : 0.00 0.00 0 0
1796.70/1797.00 c rens : 0.01 0.00 0 0
1796.70/1797.00 c rins : 0.00 0.00 0 0
1796.70/1797.00 c localbranching : 0.00 0.00 0 0
1796.70/1797.00 c mutation : 0.00 0.00 0 0
1796.70/1797.00 c crossover : 0.13 0.00 2 2
1796.70/1797.00 c dins : 0.00 0.00 0 0
1796.70/1797.00 c vbounds : 0.00 0.00 0 0
1796.70/1797.00 c undercover : 0.00 0.00 0 0
1796.70/1797.00 c subnlp : 0.01 0.00 0 0
1796.70/1797.00 c trysol : 0.01 0.00 0 0
1796.70/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.00 c primal LP : 0.00 1 0 0.00 - 0.00 1
1796.70/1797.00 c dual LP : 976.56 22272 7724558 347.14 7909.93 0.05 20
1796.70/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.00 c diving/probing LP: 657.12 122165 5998463 49.10 9128.42
1796.70/1797.00 c strong branching : 110.51 2912 768759 264.00 6956.78
1796.70/1797.00 c (at root node) : - 20 17397 869.85 -
1796.70/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.00 c B&B Tree :
1796.70/1797.00 c number of runs : 1
1796.70/1797.00 c nodes : 22243
1796.70/1797.00 c nodes (total) : 22243
1796.70/1797.00 c nodes left : 22244
1796.70/1797.00 c max depth : 92
1796.70/1797.00 c max depth (total): 92
1796.70/1797.00 c backtracks : 2312 (10.4%)
1796.70/1797.00 c delayed cutoffs : 0
1796.70/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.70/1797.00 c avg switch length: 3.81
1796.70/1797.00 c switching time : 0.63
1796.70/1797.00 c Solution :
1796.70/1797.00 c Solutions found : 735 (22 improvements)
1796.70/1797.00 c First Solution : +4.73000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1796.70/1797.00 c Primal Bound : +1.89000000000000e+02 (in run 1, after 426 nodes, 93.72 seconds, depth 19, found by <crossover>)
1796.70/1797.00 c Dual Bound : +1.64516735008732e+02
1796.70/1797.00 c Gap : 14.88 %
1796.70/1797.00 c Root Dual Bound : +1.62523282649905e+02
1796.70/1797.00 c Root Iterations : 26322
1796.70/1797.02 c Time complete: 1796.74.
OK 189
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3693215-1338029384/watcher-3693215-1338029384 -o /tmp/evaluation-result-3693215-1338029384/solver-3693215-1338029384 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693215-1338029384.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 1.98 1.91 3/176 32081 /proc/meminfo: memFree=29199512/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=10376 CPUtime=0 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 1362 0 0 0 0 0 0 0 20 0 1 0 269063861 10625024 1316 33554432000 4194304 10169799 140733247970944 140735215095288 8797266 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 2594 1318 412 1459 0 1126 0 [startup+0.0515319 s] /proc/loadavg: 2.00 1.98 1.91 3/176 32081 /proc/meminfo: memFree=29199512/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=24180 CPUtime=0.04 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 5023 0 0 0 4 0 0 0 20 0 1 0 269063861 24760320 4718 33554432000 4194304 10169799 140733247970944 140735215095288 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 6045 4718 752 1459 0 4577 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 24180 [startup+0.10028 s] /proc/loadavg: 2.00 1.98 1.91 3/176 32081 /proc/meminfo: memFree=29199512/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=24180 CPUtime=0.09 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 5029 0 0 0 9 0 0 0 20 0 1 0 269063861 24760320 4724 33554432000 4194304 10169799 140733247970944 140733247965352 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 6045 4724 753 1459 0 4577 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 24180 [startup+0.300205 s] /proc/loadavg: 2.00 1.98 1.91 3/176 32081 /proc/meminfo: memFree=29199512/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=24180 CPUtime=0.29 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 5071 0 0 0 29 0 0 0 20 0 1 0 269063861 24760320 4766 33554432000 4194304 10169799 140733247970944 140733247965352 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 6045 4766 753 1459 0 4577 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24180 [startup+0.700199 s] /proc/loadavg: 2.00 1.98 1.91 3/176 32081 /proc/meminfo: memFree=29199512/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=24472 CPUtime=0.69 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 5137 0 0 0 68 1 0 0 20 0 1 0 269063861 25059328 4832 33554432000 4194304 10169799 140733247970944 140733247965352 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 6118 4832 753 1459 0 4650 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24472 [startup+1.5002 s] /proc/loadavg: 2.00 1.98 1.91 3/177 32082 /proc/meminfo: memFree=29182144/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=25968 CPUtime=1.49 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 5631 0 0 0 148 1 0 0 20 0 1 0 269063861 26591232 5318 33554432000 4194304 10169799 140733247970944 140733247964616 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 6492 5318 802 1459 0 5024 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25968 [startup+3.1002 s] /proc/loadavg: 2.00 1.98 1.91 3/177 32082 /proc/meminfo: memFree=29179540/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=27468 CPUtime=3.09 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 5980 0 0 0 307 2 0 0 20 0 1 0 269063861 28127232 5667 33554432000 4194304 10169799 140733247970944 140733247967016 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 6867 5667 804 1459 0 5399 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27468 [startup+6.3002 s] /proc/loadavg: 2.00 1.98 1.91 3/177 32082 /proc/meminfo: memFree=29177928/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=28732 CPUtime=6.29 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 6273 0 0 0 624 5 0 0 20 0 1 0 269063861 29421568 5960 33554432000 4194304 10169799 140733247970944 140733247967016 5020850 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 7183 5960 804 1459 0 5715 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28732 [startup+12.7002 s] /proc/loadavg: 2.00 1.98 1.91 3/177 32082 /proc/meminfo: memFree=29177448/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=28360 CPUtime=12.68 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 6971 0 0 0 1259 9 0 0 20 0 1 0 269063861 29040640 5945 33554432000 4194304 10169799 140733247970944 140733247965544 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 7090 5945 838 1459 0 5622 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 28360 [startup+25.5002 s] /proc/loadavg: 2.00 1.98 1.91 3/178 32085 /proc/meminfo: memFree=29175680/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=28360 CPUtime=25.48 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 6975 0 0 0 2527 21 0 0 20 0 1 0 269063861 29040640 6365 33554432000 4194304 10169799 140733247970944 140733247965640 8044524 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 7090 6365 839 1459 0 5622 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28360 [startup+51.1002 s] /proc/loadavg: 2.06 1.99 1.91 3/178 32085 /proc/meminfo: memFree=29175944/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=28644 CPUtime=51.08 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 7027 0 0 0 5064 44 0 0 20 0 1 0 269063861 29331456 6417 33554432000 4194304 10169799 140733247970944 140733247965352 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 7161 6417 839 1459 0 5693 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 28644 [startup+102.306 s] /proc/loadavg: 2.02 1.99 1.91 3/177 32085 /proc/meminfo: memFree=29174588/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=28984 CPUtime=102.28 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 10397 0 0 0 10133 95 0 0 20 0 1 0 269063861 29679616 6495 33554432000 4194304 10169799 140733247970944 140733247964696 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 7246 6495 851 1459 0 5778 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 28984 [startup+162.3 s] /proc/loadavg: 2.01 1.99 1.91 3/177 32086 /proc/meminfo: memFree=29173408/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=30208 CPUtime=162.26 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 13811 0 0 0 16077 149 0 0 20 0 1 0 269063861 30932992 6812 33554432000 4194304 10169799 140733247970944 140733247965016 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 7552 6812 855 1459 0 6084 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 30208 [startup+222.3 s] /proc/loadavg: 2.00 1.99 1.91 3/177 32086 /proc/meminfo: memFree=29171236/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=30968 CPUtime=222.25 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 14001 0 0 0 22025 200 0 0 20 0 1 0 269063861 31711232 7001 33554432000 4194304 10169799 140733247970944 140733247964968 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 7742 7001 855 1459 0 6274 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 30968 [startup+282.3 s] /proc/loadavg: 2.00 1.99 1.91 3/177 32086 /proc/meminfo: memFree=29170864/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=31564 CPUtime=282.25 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 14156 0 0 0 27972 253 0 0 20 0 1 0 269063861 32321536 7156 33554432000 4194304 10169799 140733247970944 140733247965416 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 7891 7156 855 1459 0 6423 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 31564 [startup+342.3 s] /proc/loadavg: 2.00 1.99 1.91 3/177 32086 /proc/meminfo: memFree=29168008/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=32508 CPUtime=342.23 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 14376 0 0 0 33913 310 0 0 20 0 1 0 269063861 33288192 7375 33554432000 4194304 10169799 140733247970944 140733247964968 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 8127 7375 855 1459 0 6659 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 32508 [startup+402.3 s] /proc/loadavg: 2.00 1.99 1.91 3/177 32086 /proc/meminfo: memFree=29168132/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=32508 CPUtime=402.22 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 14377 0 0 0 39859 363 0 0 20 0 1 0 269063861 33288192 7376 33554432000 4194304 10169799 140733247970944 140733247965352 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 8127 7376 855 1459 0 6659 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 32508 [startup+462.3 s] /proc/loadavg: 2.00 1.99 1.91 3/177 32125 /proc/meminfo: memFree=29338340/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=32688 CPUtime=462.22 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 14432 0 0 0 45805 417 0 0 20 0 1 0 269063861 33472512 7431 33554432000 4194304 10169799 140733247970944 140733247965320 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 8172 7431 855 1459 0 6704 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 32688 [startup+522.3 s] /proc/loadavg: 2.00 1.99 1.91 3/177 32125 /proc/meminfo: memFree=29313624/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=34684 CPUtime=522.2 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 14951 0 0 0 51749 471 0 0 20 0 1 0 269063861 35516416 7950 33554432000 4194304 10169799 140733247970944 140733247965016 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 8671 7950 855 1459 0 7203 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 34684 [startup+582.3 s] /proc/loadavg: 2.00 1.99 1.91 3/177 32125 /proc/meminfo: memFree=29312692/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=34684 CPUtime=582.19 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 14960 0 0 0 57694 525 0 0 20 0 1 0 269063861 35516416 7958 33554432000 4194304 10169799 140733247970944 140733247968024 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 8671 7958 855 1459 0 7203 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 34684 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=29305120/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=38788 CPUtime=1122.11 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 15966 0 0 0 111213 998 0 0 20 0 1 0 269063861 39718912 8963 33554432000 4194304 10169799 140733247970944 140733247964616 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 9697 8963 855 1459 0 8229 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 38788 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 32153 /proc/meminfo: memFree=29302388/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=39972 CPUtime=1182.1 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 16264 0 0 0 117159 1051 0 0 20 0 1 0 269063861 40931328 9261 33554432000 4194304 10169799 140733247970944 140733247965016 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 9993 9261 855 1459 0 8525 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 39972 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 32156 /proc/meminfo: memFree=29300952/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=41648 CPUtime=1242.09 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 16666 0 0 0 123110 1099 0 0 20 0 1 0 269063861 42647552 9662 33554432000 4194304 10169799 140733247970944 140733247965352 8030333 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 10412 9662 855 1459 0 8944 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 41648 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 32156 /proc/meminfo: memFree=29299904/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=41872 CPUtime=1302.09 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 16723 0 0 0 129055 1154 0 0 20 0 1 0 269063861 42876928 9718 33554432000 4194304 10169799 140733247970944 140733247968360 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 10468 9718 855 1459 0 9000 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 41872 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 32156 /proc/meminfo: memFree=29298664/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=42024 CPUtime=1362.07 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 16771 0 0 0 135001 1206 0 0 20 0 1 0 269063861 43032576 9766 33554432000 4194304 10169799 140733247970944 140733247965448 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 10506 9766 855 1459 0 9038 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 42024 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.93 3/177 32157 /proc/meminfo: memFree=29297856/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=42540 CPUtime=1422.08 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 16878 0 0 0 140949 1259 0 0 20 0 1 0 269063861 43560960 9873 33554432000 4194304 10169799 140733247970944 140733247965080 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 10635 9873 855 1459 0 9167 0 Current children cumulated CPU time (s) 1422.08 Current children cumulated vsize (KiB) 42540 [startup+1482.3 s] /proc/loadavg: 2.05 2.01 1.94 3/177 32157 /proc/meminfo: memFree=29297420/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=42672 CPUtime=1482.06 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 16943 0 0 0 146899 1307 0 0 20 0 1 0 269063861 43696128 9938 33554432000 4194304 10169799 140733247970944 140733247965448 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 10668 9938 855 1459 0 9200 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 42672 [startup+1542.3 s] /proc/loadavg: 2.09 2.02 1.94 3/177 32157 /proc/meminfo: memFree=29293824/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=44680 CPUtime=1542.04 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 17420 0 0 0 152839 1365 0 0 20 0 1 0 269063861 45752320 10415 33554432000 4194304 10169799 140733247970944 140733247965352 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 11170 10415 855 1459 0 9702 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 44680 [startup+1602.3 s] /proc/loadavg: 2.03 2.02 1.94 3/177 32157 /proc/meminfo: memFree=29292332/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=45412 CPUtime=1602.04 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 17603 0 0 0 158781 1423 0 0 20 0 1 0 269063861 46501888 10598 33554432000 4194304 10169799 140733247970944 140733247965032 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 11353 10598 855 1459 0 9885 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 45412 [startup+1662.3 s] /proc/loadavg: 2.01 2.01 1.94 3/177 32157 /proc/meminfo: memFree=29291772/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=45804 CPUtime=1662.03 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 17715 0 0 0 164723 1480 0 0 20 0 1 0 269063861 46903296 10710 33554432000 4194304 10169799 140733247970944 140733247965352 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 11451 10710 855 1459 0 9983 0 Current children cumulated CPU time (s) 1662.03 Current children cumulated vsize (KiB) 45804 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 1.94 3/177 32158 /proc/meminfo: memFree=29290656/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=46600 CPUtime=1722.02 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 17910 0 0 0 170665 1537 0 0 20 0 1 0 269063861 47718400 10905 33554432000 4194304 10169799 140733247970944 140733247965080 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 11650 10905 855 1459 0 10182 0 Current children cumulated CPU time (s) 1722.02 Current children cumulated vsize (KiB) 46600 [startup+1782.3 s] /proc/loadavg: 2.15 2.05 1.96 3/177 32158 /proc/meminfo: memFree=29290036/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=46844 CPUtime=1782.01 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 17975 0 0 0 176610 1591 0 0 20 0 1 0 269063861 47968256 10970 33554432000 4194304 10169799 140733247970944 140733247968344 8030781 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 11711 10970 855 1459 0 10243 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 46844 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.14 2.05 1.96 3/177 32158 /proc/meminfo: memFree=29290160/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=46844 CPUtime=1785.21 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 17975 0 0 0 176927 1594 0 0 20 0 1 0 269063861 47968256 10970 33554432000 4194304 10169799 140733247970944 140733247964968 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 11711 10970 855 1459 0 10243 0 Current children cumulated CPU time (s) 1785.21 Current children cumulated vsize (KiB) 46844 [startup+1791.91 s] /proc/loadavg: 2.13 2.05 1.96 3/177 32158 /proc/meminfo: memFree=29290160/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=46844 CPUtime=1791.61 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 17975 0 0 0 177562 1599 0 0 20 0 1 0 269063861 47968256 10970 33554432000 4194304 10169799 140733247970944 140733247965064 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 11711 10970 855 1459 0 10243 0 Current children cumulated CPU time (s) 1791.61 Current children cumulated vsize (KiB) 46844 [startup+1795.1 s] /proc/loadavg: 2.12 2.04 1.96 3/177 32158 /proc/meminfo: memFree=29290160/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=46844 CPUtime=1794.81 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 17975 0 0 0 177880 1601 0 0 20 0 1 0 269063861 47968256 10970 33554432000 4194304 10169799 140733247970944 140733247965352 8051623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 11711 10970 855 1459 0 10243 0 Current children cumulated CPU time (s) 1794.81 Current children cumulated vsize (KiB) 46844 [startup+1795.9 s] /proc/loadavg: 2.12 2.04 1.96 3/177 32158 /proc/meminfo: memFree=29290160/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=46844 CPUtime=1795.61 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 17975 0 0 0 177959 1602 0 0 20 0 1 0 269063861 47968256 10970 33554432000 4194304 10169799 140733247970944 140733247965352 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 11711 10970 855 1459 0 10243 0 Current children cumulated CPU time (s) 1795.61 Current children cumulated vsize (KiB) 46844 [startup+1796.7 s] /proc/loadavg: 2.12 2.04 1.96 3/177 32158 /proc/meminfo: memFree=29290160/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=46844 CPUtime=1796.4 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 17975 0 0 0 178037 1603 0 0 20 0 1 0 269063861 47968256 10970 33554432000 4194304 10169799 140733247970944 140733247965080 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 11711 10970 855 1459 0 10243 0 Current children cumulated CPU time (s) 1796.4 Current children cumulated vsize (KiB) 46844 [startup+1796.9 s] /proc/loadavg: 2.12 2.04 1.96 3/177 32158 /proc/meminfo: memFree=29290160/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=46844 CPUtime=1796.6 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 17975 0 0 0 178057 1603 0 0 20 0 1 0 269063861 47968256 10970 33554432000 4194304 10169799 140733247970944 140733247965080 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 11711 10970 855 1459 0 10243 0 Current children cumulated CPU time (s) 1796.6 Current children cumulated vsize (KiB) 46844 [startup+1797 s] /proc/loadavg: 2.12 2.04 1.96 3/177 32158 /proc/meminfo: memFree=29290160/32873844 swapFree=7384/7384 [pid=32081] ppid=32079 vsize=46844 CPUtime=1796.7 cores=0,2,4,6 /proc/32081/stat : 32081 (scip-2.1.1.4sfi) R 32079 32081 31024 0 -1 4202496 17975 0 0 0 178067 1603 0 0 20 0 1 0 269063861 47968256 10970 33554432000 4194304 10169799 140733247970944 140733247965080 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/32081/statm: 11711 10970 855 1459 0 10243 0 Current children cumulated CPU time (s) 1796.7 Current children cumulated vsize (KiB) 46844 Child status: 0 Real time (s): 1797.03 CPU time (s): 1796.75 CPU user time (s): 1780.71 CPU system time (s): 16.0406 CPU usage (%): 99.9842 Max. virtual memory (cumulated for all children) (KiB): 46844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1780.71 system time used= 16.0406 maximum resident set size= 43888 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17979 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= 12 involuntary context switches= 1955 runsolver used 7.2399 second user time and 8.61069 second system time The end
Begin job on node136 at 2012-05-26 12:49:44 IDJOB=3693215 IDBENCH=1953 IDSOLVER=2272 FILE ID=node136/3693215-1338029384 RUNJOBID= node136-1338028239-32007 PBS_JOBID= 14624338 Free space on /tmp= 71660 MiB SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb COMMAND LINE= HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3693215-1338029384/watcher-3693215-1338029384 -o /tmp/evaluation-result-3693215-1338029384/solver-3693215-1338029384 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693215-1338029384.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 19bfc1d5b7087888ef5c79946c60f053 RANDOM SEED=401181472 node136.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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 : 2667.247 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29200148 kB Buffers: 316808 kB Cached: 2332488 kB SwapCached: 24460 kB Active: 987744 kB Inactive: 1915332 kB Active(anon): 228592 kB Inactive(anon): 25096 kB Active(file): 759152 kB Inactive(file): 1890236 kB Unevictable: 7384 kB Mlocked: 7384 kB SwapTotal: 67108856 kB SwapFree: 67079072 kB Dirty: 13596 kB Writeback: 0 kB AnonPages: 214896 kB Mapped: 12968 kB Shmem: 0 kB Slab: 632412 kB SReclaimable: 74328 kB SUnreclaim: 558084 kB KernelStack: 1472 kB PageTables: 4196 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 352444 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 167936 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71648 MiB End job on node136 at 2012-05-26 13:19:41