| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? | 1790.48 | 1791 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mzzv11.opb |
| MD5SUM | a74bcf40291587dc368e3a23fd278be9 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -10859 |
| Best CPU time to get the best result obtained on this benchmark | 187.313 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -10639 |
| Optimality of the best value was proved | NO |
| Number of variables | 11247 |
| Total number of constraints | 9744 |
| Number of constraints which are clauses | 77 |
| Number of constraints which are cardinality constraints (but not clauses) | 5755 |
| Number of constraints which are nor clauses,nor cardinality constraints | 3912 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 68 |
| Number of terms in the objective function | 773 |
| Biggest coefficient in the objective function | 1000 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 76861 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 1999 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 76861 |
| Number of bits of the biggest sum of numbers | 17 |
| 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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703772-1278551758.opb>
0.29/0.36 c original problem has 11247 variables (11247 bin, 0 int, 0 impl, 0 cont) and 9744 constraints
0.29/0.36 c problem read
0.29/0.36 c presolving settings loaded
0.49/0.55 c presolving:
0.59/0.68 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 552 chg sides, 580 chg coeffs, 0 upgd conss, 138 impls, 6828 clqs
0.79/0.82 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 552 chg sides, 580 chg coeffs, 7421 upgd conss, 138 impls, 6828 clqs
0.89/0.93 c (round 3) 54 del vars, 13 del conss, 4 chg bounds, 709 chg sides, 1286 chg coeffs, 7421 upgd conss, 1556 impls, 7057 clqs
0.89/0.98 c (round 4) 64 del vars, 52 del conss, 4 chg bounds, 971 chg sides, 1810 chg coeffs, 7449 upgd conss, 1604 impls, 7064 clqs
0.99/1.01 c (round 5) 66 del vars, 118 del conss, 4 chg bounds, 1281 chg sides, 3039 chg coeffs, 7450 upgd conss, 1620 impls, 7304 clqs
0.99/1.06 c (round 6) 66 del vars, 170 del conss, 4 chg bounds, 1341 chg sides, 3128 chg coeffs, 7450 upgd conss, 1620 impls, 7304 clqs
0.99/1.10 c (round 7) 66 del vars, 198 del conss, 4 chg bounds, 1398 chg sides, 3299 chg coeffs, 7450 upgd conss, 1620 impls, 7360 clqs
1.09/1.14 c (round 8) 66 del vars, 198 del conss, 4 chg bounds, 1400 chg sides, 3301 chg coeffs, 7450 upgd conss, 1620 impls, 7360 clqs
6.50/6.55 c (round 9) 121 del vars, 198 del conss, 4 chg bounds, 1400 chg sides, 3301 chg coeffs, 7450 upgd conss, 252134 impls, 7343 clqs
6.50/6.59 c (round 10) 125 del vars, 216 del conss, 4 chg bounds, 1400 chg sides, 3324 chg coeffs, 7450 upgd conss, 252244 impls, 7350 clqs
6.60/6.63 c (round 11) 125 del vars, 216 del conss, 4 chg bounds, 1409 chg sides, 3352 chg coeffs, 7457 upgd conss, 252244 impls, 7355 clqs
6.60/6.67 c (round 12) 125 del vars, 216 del conss, 4 chg bounds, 1410 chg sides, 3357 chg coeffs, 7457 upgd conss, 252244 impls, 7356 clqs
16.28/16.34 c (16.0s) probing: 1000/11181 (8.9%) - 84 fixings, 3 aggregations, 282412 implications, 0 bound changes
29.28/29.39 c (round 13) 176 del vars, 216 del conss, 4 chg bounds, 1410 chg sides, 3361 chg coeffs, 7457 upgd conss, 1026840 impls, 7341 clqs
29.39/29.44 c (round 14) 178 del vars, 235 del conss, 4 chg bounds, 1410 chg sides, 3456 chg coeffs, 7457 upgd conss, 1026846 impls, 7348 clqs
29.49/29.50 c (round 15) 178 del vars, 241 del conss, 4 chg bounds, 1440 chg sides, 3584 chg coeffs, 7464 upgd conss, 1026886 impls, 7416 clqs
29.49/29.56 c (round 16) 178 del vars, 243 del conss, 4 chg bounds, 1444 chg sides, 3630 chg coeffs, 7464 upgd conss, 1026888 impls, 7514 clqs
29.59/29.62 c (round 17) 178 del vars, 254 del conss, 4 chg bounds, 1444 chg sides, 3660 chg coeffs, 7464 upgd conss, 1026888 impls, 7610 clqs
29.59/29.69 c (round 18) 178 del vars, 262 del conss, 4 chg bounds, 1444 chg sides, 3686 chg coeffs, 7464 upgd conss, 1026888 impls, 7706 clqs
29.79/29.82 c (29.5s) probing: 2000/11181 (17.9%) - 99 fixings, 7 aggregations, 491304 implications, 0 bound changes
46.28/46.34 c (46.0s) probing: 3000/11181 (26.8%) - 134 fixings, 8 aggregations, 761829 implications, 0 bound changes
49.57/49.61 c (round 19) 235 del vars, 262 del conss, 4 chg bounds, 1444 chg sides, 3710 chg coeffs, 7464 upgd conss, 1666694 impls, 7733 clqs
49.57/49.69 c (round 20) 238 del vars, 282 del conss, 4 chg bounds, 1458 chg sides, 3828 chg coeffs, 7464 upgd conss, 1667124 impls, 7843 clqs
49.67/49.77 c (round 21) 238 del vars, 283 del conss, 4 chg bounds, 1461 chg sides, 3886 chg coeffs, 7476 upgd conss, 1667124 impls, 7950 clqs
56.78/56.84 c (round 22) 289 del vars, 283 del conss, 4 chg bounds, 1461 chg sides, 3914 chg coeffs, 7476 upgd conss, 1843462 impls, 8028 clqs
56.88/56.92 c (round 23) 290 del vars, 295 del conss, 4 chg bounds, 1463 chg sides, 3965 chg coeffs, 7476 upgd conss, 1843580 impls, 8087 clqs
56.98/57.00 c (round 24) 290 del vars, 298 del conss, 4 chg bounds, 1464 chg sides, 4006 chg coeffs, 7482 upgd conss, 1843580 impls, 8143 clqs
56.98/57.06 c (round 25) 290 del vars, 303 del conss, 4 chg bounds, 1466 chg sides, 4055 chg coeffs, 7482 upgd conss, 1843580 impls, 8193 clqs
59.87/59.99 c (59.6s) probing: 4000/11181 (35.8%) - 216 fixings, 20 aggregations, 907942 implications, 0 bound changes
63.97/64.05 c (round 26) 340 del vars, 303 del conss, 4 chg bounds, 1466 chg sides, 4073 chg coeffs, 7482 upgd conss, 1984061 impls, 8195 clqs
64.07/64.15 c (round 27) 345 del vars, 336 del conss, 4 chg bounds, 1470 chg sides, 4126 chg coeffs, 7482 upgd conss, 1984423 impls, 8214 clqs
64.17/64.22 c (round 28) 347 del vars, 339 del conss, 4 chg bounds, 1472 chg sides, 4162 chg coeffs, 7485 upgd conss, 1984423 impls, 8259 clqs
64.17/64.28 c (round 29) 347 del vars, 340 del conss, 4 chg bounds, 1472 chg sides, 4173 chg coeffs, 7485 upgd conss, 1984423 impls, 8276 clqs
69.87/69.97 c (round 30) 400 del vars, 340 del conss, 4 chg bounds, 1472 chg sides, 4178 chg coeffs, 7485 upgd conss, 2109079 impls, 8280 clqs
69.98/70.06 c (round 31) 400 del vars, 358 del conss, 4 chg bounds, 1476 chg sides, 4205 chg coeffs, 7485 upgd conss, 2109079 impls, 8295 clqs
70.08/70.11 c (round 32) 403 del vars, 360 del conss, 4 chg bounds, 1480 chg sides, 4224 chg coeffs, 7489 upgd conss, 2109079 impls, 8313 clqs
70.08/70.16 c (round 33) 403 del vars, 365 del conss, 4 chg bounds, 1481 chg sides, 4232 chg coeffs, 7489 upgd conss, 2109079 impls, 8341 clqs
72.58/72.67 c (72.3s) probing: 5000/11181 (44.7%) - 300 fixings, 26 aggregations, 1029601 implications, 0 bound changes
81.87/81.95 c (round 34) 453 del vars, 365 del conss, 4 chg bounds, 1481 chg sides, 4239 chg coeffs, 7489 upgd conss, 2331866 impls, 8349 clqs
81.97/82.06 c (round 35) 457 del vars, 389 del conss, 4 chg bounds, 1489 chg sides, 4302 chg coeffs, 7489 upgd conss, 2333738 impls, 8370 clqs
82.07/82.13 c (round 36) 459 del vars, 393 del conss, 4 chg bounds, 1495 chg sides, 4340 chg coeffs, 7496 upgd conss, 2333746 impls, 8409 clqs
82.07/82.19 c (round 37) 459 del vars, 397 del conss, 4 chg bounds, 1495 chg sides, 4349 chg coeffs, 7496 upgd conss, 2333748 impls, 8455 clqs
83.67/83.75 c (83.4s) probing: 6000/11181 (53.7%) - 344 fixings, 37 aggregations, 1128784 implications, 0 bound changes
93.06/93.14 c (round 38) 511 del vars, 397 del conss, 4 chg bounds, 1495 chg sides, 4356 chg coeffs, 7496 upgd conss, 2565646 impls, 8442 clqs
93.17/93.24 c (round 39) 516 del vars, 411 del conss, 4 chg bounds, 1503 chg sides, 4441 chg coeffs, 7496 upgd conss, 2565940 impls, 8454 clqs
93.27/93.31 c (round 40) 516 del vars, 412 del conss, 4 chg bounds, 1507 chg sides, 4480 chg coeffs, 7505 upgd conss, 2565942 impls, 8462 clqs
93.27/93.37 c (round 41) 516 del vars, 418 del conss, 4 chg bounds, 1507 chg sides, 4493 chg coeffs, 7505 upgd conss, 2565942 impls, 8471 clqs
95.47/95.56 c (95.2s) probing: 7000/11181 (62.6%) - 385 fixings, 40 aggregations, 1244987 implications, 0 bound changes
105.36/105.42 c (105.1s) probing: 8000/11181 (71.5%) - 402 fixings, 46 aggregations, 1333705 implications, 0 bound changes
111.56/111.60 c (round 42) 566 del vars, 418 del conss, 4 chg bounds, 1507 chg sides, 4505 chg coeffs, 7505 upgd conss, 2922773 impls, 8477 clqs
111.66/111.71 c (round 43) 570 del vars, 442 del conss, 4 chg bounds, 1520 chg sides, 4702 chg coeffs, 7505 upgd conss, 2922799 impls, 8496 clqs
111.66/111.78 c (round 44) 572 del vars, 453 del conss, 4 chg bounds, 1552 chg sides, 4853 chg coeffs, 7515 upgd conss, 2922817 impls, 8522 clqs
111.76/111.84 c (round 45) 572 del vars, 463 del conss, 4 chg bounds, 1553 chg sides, 4888 chg coeffs, 7515 upgd conss, 2922817 impls, 8523 clqs
111.76/111.88 c (round 46) 572 del vars, 464 del conss, 4 chg bounds, 1553 chg sides, 4909 chg coeffs, 7515 upgd conss, 2922817 impls, 8523 clqs
114.85/114.93 c (114.6s) probing: 9000/11181 (80.5%) - 433 fixings, 51 aggregations, 1412342 implications, 0 bound changes
116.46/116.54 c (round 47) 627 del vars, 464 del conss, 4 chg bounds, 1553 chg sides, 4928 chg coeffs, 7515 upgd conss, 3008014 impls, 8506 clqs
116.56/116.65 c (round 48) 630 del vars, 488 del conss, 4 chg bounds, 1562 chg sides, 5009 chg coeffs, 7515 upgd conss, 3008594 impls, 8521 clqs
116.65/116.73 c (round 49) 630 del vars, 495 del conss, 4 chg bounds, 1577 chg sides, 5072 chg coeffs, 7528 upgd conss, 3008602 impls, 8527 clqs
120.65/120.71 c (round 50) 689 del vars, 495 del conss, 4 chg bounds, 1577 chg sides, 5092 chg coeffs, 7528 upgd conss, 3074382 impls, 8509 clqs
120.76/120.80 c (round 51) 693 del vars, 517 del conss, 4 chg bounds, 1577 chg sides, 5171 chg coeffs, 7528 upgd conss, 3074540 impls, 8514 clqs
120.76/120.86 c (round 52) 693 del vars, 522 del conss, 4 chg bounds, 1592 chg sides, 5234 chg coeffs, 7532 upgd conss, 3074548 impls, 8531 clqs
120.86/120.92 c (round 53) 693 del vars, 546 del conss, 4 chg bounds, 1593 chg sides, 5276 chg coeffs, 7532 upgd conss, 3074548 impls, 8543 clqs
120.86/120.96 c (round 54) 693 del vars, 547 del conss, 4 chg bounds, 1593 chg sides, 5289 chg coeffs, 7532 upgd conss, 3074548 impls, 8544 clqs
124.36/124.48 c (124.1s) probing: 10000/11181 (89.4%) - 560 fixings, 59 aggregations, 1486725 implications, 0 bound changes
124.46/124.57 c (round 55) 746 del vars, 547 del conss, 4 chg bounds, 1593 chg sides, 5297 chg coeffs, 7532 upgd conss, 3140496 impls, 8520 clqs
124.56/124.69 c (round 56) 753 del vars, 574 del conss, 4 chg bounds, 1610 chg sides, 5399 chg coeffs, 7542 upgd conss, 3141556 impls, 8539 clqs
124.66/124.76 c (round 57) 753 del vars, 578 del conss, 4 chg bounds, 1613 chg sides, 5464 chg coeffs, 7542 upgd conss, 3141556 impls, 8561 clqs
124.76/124.81 c (round 58) 753 del vars, 578 del conss, 4 chg bounds, 1615 chg sides, 5517 chg coeffs, 7542 upgd conss, 3141556 impls, 8569 clqs
124.76/124.87 c (round 59) 753 del vars, 586 del conss, 4 chg bounds, 1615 chg sides, 5534 chg coeffs, 7542 upgd conss, 3141556 impls, 8573 clqs
127.15/127.23 c (round 60) 803 del vars, 586 del conss, 4 chg bounds, 1615 chg sides, 5545 chg coeffs, 7542 upgd conss, 3174452 impls, 8552 clqs
127.25/127.34 c (round 61) 810 del vars, 609 del conss, 4 chg bounds, 1639 chg sides, 5692 chg coeffs, 7542 upgd conss, 3175116 impls, 8570 clqs
127.35/127.40 c (round 62) 810 del vars, 610 del conss, 4 chg bounds, 1639 chg sides, 5732 chg coeffs, 7549 upgd conss, 3175116 impls, 8574 clqs
127.35/127.44 c (round 63) 810 del vars, 610 del conss, 4 chg bounds, 1640 chg sides, 5757 chg coeffs, 7549 upgd conss, 3175116 impls, 8580 clqs
131.35/131.45 c (131.1s) probing: 10918/11181 (97.6%) - 643 fixings, 72 aggregations, 1508505 implications, 0 bound changes
131.35/131.45 c (131.1s) probing aborted: 100/100 successive totally useless probings
131.35/131.45 c (round 64) 839 del vars, 610 del conss, 4 chg bounds, 1640 chg sides, 5773 chg coeffs, 7549 upgd conss, 3198138 impls, 8571 clqs
131.45/131.54 c (round 65) 844 del vars, 622 del conss, 4 chg bounds, 1674 chg sides, 5909 chg coeffs, 7549 upgd conss, 3198380 impls, 8590 clqs
131.55/131.60 c (round 66) 844 del vars, 633 del conss, 4 chg bounds, 1677 chg sides, 5959 chg coeffs, 7554 upgd conss, 3198380 impls, 8600 clqs
131.55/131.64 c (round 67) 844 del vars, 633 del conss, 4 chg bounds, 1678 chg sides, 5989 chg coeffs, 7554 upgd conss, 3198380 impls, 8605 clqs
131.55/131.69 c (round 68) 844 del vars, 634 del conss, 4 chg bounds, 1679 chg sides, 6022 chg coeffs, 7554 upgd conss, 3198380 impls, 8613 clqs
131.65/131.77 c (131.4s) probing: 10928/11181 (97.7%) - 643 fixings, 72 aggregations, 1508505 implications, 0 bound changes
131.65/131.77 c (131.4s) probing aborted: 100/100 successive totally useless probings
131.65/131.77 c presolving (69 rounds):
131.65/131.77 c 844 deleted vars, 634 deleted constraints, 4 tightened bounds, 0 added holes, 1679 changed sides, 6036 changed coefficients
131.65/131.77 c 3198380 implications, 8613 cliques
131.65/131.77 c presolved problem has 10403 variables (10403 bin, 0 int, 0 impl, 0 cont) and 9724 constraints
131.65/131.77 c 336 constraints of type <knapsack>
131.65/131.77 c 7172 constraints of type <setppc>
131.65/131.77 c 2147 constraints of type <linear>
131.65/131.77 c 69 constraints of type <logicor>
131.65/131.77 c transformed objective value is always integral (scale: 1)
131.65/131.77 c Presolving Time: 131.29
131.65/131.77 c - non default parameters ----------------------------------------------------------------------
131.65/131.77 c # SCIP version 1.2.1.3
131.65/131.77 c
131.65/131.77 c # frequency for displaying node information lines
131.65/131.77 c # [type: int, range: [-1,2147483647], default: 100]
131.65/131.77 c display/freq = 10000
131.65/131.77 c
131.65/131.77 c # maximal time in seconds to run
131.65/131.77 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
131.65/131.77 c limits/time = 1789.65
131.65/131.77 c
131.65/131.77 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
131.65/131.77 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
131.65/131.77 c limits/memory = 1620
131.65/131.77 c
131.65/131.77 c # default clock type (1: CPU user seconds, 2: wall clock time)
131.65/131.77 c # [type: int, range: [1,2], default: 1]
131.65/131.77 c timing/clocktype = 2
131.65/131.77 c
131.65/131.77 c # should presolving try to simplify inequalities
131.65/131.77 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
131.65/131.77 c constraints/linear/simplifyinequalities = TRUE
131.65/131.77 c
131.65/131.77 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
131.65/131.77 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
131.65/131.77 c constraints/indicator/addCouplingCons = TRUE
131.65/131.77 c
131.65/131.77 c # should presolving try to simplify knapsacks
131.65/131.77 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
131.65/131.77 c constraints/knapsack/simplifyinequalities = TRUE
131.65/131.77 c
131.65/131.77 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
131.65/131.77 c # [type: int, range: [-1,2147483647], default: -1]
131.65/131.77 c separating/rapidlearning/freq = 0
131.65/131.77 c
131.65/131.77 c -----------------------------------------------------------------------------------------------
131.65/131.77 c start solving
131.65/131.78 c
689.29/689.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
689.29/689.58 c 689s| 1 | 0 |137647 | - | 134M| 0 | 817 | 10k|9724 | 10k|9724 | 0 | 0 | 0 |-1.118355e+04 | -- | Inf
1347.70/1348.11 c 1348s| 1 | 0 |243293 | - | 138M| 0 | 878 | 10k|9724 | 10k| 10k| 587 | 0 | 0 |-1.097108e+04 | -- | Inf
1367.49/1367.94 c 1368s| 1 | 0 |248241 | - | 145M| 0 |1072 | 10k|9724 | 10k| 10k| 842 | 0 | 0 |-1.093185e+04 | -- | Inf
1398.19/1398.61 c 1398s| 1 | 0 |255108 | - | 147M| 0 |1051 | 10k|9724 | 10k| 10k| 999 | 0 | 0 |-1.091701e+04 | -- | Inf
1435.57/1436.04 c 1436s| 1 | 0 |263458 | - | 148M| 0 | 971 | 10k|9724 | 10k| 10k|1088 | 0 | 0 |-1.090859e+04 | -- | Inf
1446.67/1447.13 c 1447s| 1 | 0 |266248 | - | 148M| 0 | 982 | 10k|9724 | 10k| 10k|1244 | 0 | 0 |-1.090631e+04 | -- | Inf
1463.16/1463.63 c 1463s| 1 | 0 |268973 | - | 149M| 0 | 970 | 10k|9724 | 10k| 11k|1294 | 0 | 0 |-1.090418e+04 | -- | Inf
1472.16/1472.60 c 1472s| 1 | 0 |270704 | - | 149M| 0 | 976 | 10k|9724 | 10k| 11k|1309 | 0 | 0 |-1.090318e+04 | -- | Inf
1478.66/1479.16 c 1479s| 1 | 0 |271905 | - | 149M| 0 |1000 | 10k|9724 | 10k| 11k|1319 | 0 | 0 |-1.090290e+04 | -- | Inf
1487.06/1487.58 c 1487s| 1 | 0 |272801 | - | 149M| 0 | 975 | 10k|9724 | 10k| 11k|1334 | 0 | 0 |-1.090270e+04 | -- | Inf
1498.05/1498.51 c 1498s| 1 | 0 |274621 | - | 150M| 0 | 990 | 10k|9724 | 10k| 11k|1351 | 0 | 0 |-1.089976e+04 | -- | Inf
1502.55/1503.01 c 1503s| 1 | 0 |275151 | - | 150M| 0 |1033 | 10k|9724 | 10k| 11k|1361 | 0 | 0 |-1.089955e+04 | -- | Inf
1512.15/1512.68 c 1512s| 1 | 0 |276244 | - | 150M| 0 | 999 | 10k|9724 | 10k| 11k|1396 | 0 | 0 |-1.089925e+04 | -- | Inf
1520.15/1520.69 c 1520s| 1 | 0 |276971 | - | 150M| 0 |1024 | 10k|9724 | 10k| 10k|1406 | 0 | 0 |-1.089868e+04 | -- | Inf
1526.75/1527.29 c 1527s| 1 | 0 |278410 | - | 150M| 0 | 975 | 10k|9724 | 10k| 10k|1415 | 0 | 0 |-1.089821e+04 | -- | Inf
1530.24/1530.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1530.24/1530.73 c 1530s| 1 | 0 |278853 | - | 150M| 0 | 962 | 10k|9724 | 10k| 10k|1423 | 0 | 0 |-1.089816e+04 | -- | Inf
1534.85/1535.35 c 1535s| 1 | 0 |279665 | - | 151M| 0 | 932 | 10k|9724 | 10k| 10k|1429 | 0 | 0 |-1.089796e+04 | -- | Inf
1539.94/1540.49 c 1540s| 1 | 0 |280710 | - | 151M| 0 | 983 | 10k|9724 | 10k| 10k|1440 | 0 | 0 |-1.089767e+04 | -- | Inf
1545.54/1546.01 c 1546s| 1 | 0 |281864 | - | 151M| 0 | 971 | 10k|9724 | 10k| 10k|1453 | 0 | 0 |-1.089747e+04 | -- | Inf
1548.25/1548.72 c 1548s| 1 | 0 |282074 | - | 151M| 0 | 991 | 10k|9724 | 10k| 10k|1454 | 0 | 0 |-1.089744e+04 | -- | Inf
1690.11/1690.64 c 1690s| 1 | 2 |282074 | - | 151M| 0 | 991 | 10k|9724 | 10k| 10k|1454 | 0 | 43 |-1.089744e+04 | -- | Inf
1790.18/1790.73 c
1790.18/1790.73 c SCIP Status : solving was interrupted [time limit reached]
1790.18/1790.73 c Solving Time (sec) : 1790.37
1790.18/1790.73 c Solving Nodes : 3
1790.18/1790.73 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.18/1790.73 c Dual Bound : -1.08974409262926e+04
1790.18/1790.73 c Gap : infinite
1790.18/1790.73 s UNKNOWN
1790.18/1790.73 c SCIP Status : solving was interrupted [time limit reached]
1790.18/1790.73 c Solving Time : 1790.37
1790.18/1790.73 c Original Problem :
1790.18/1790.73 c Problem name : HOME/instance-2703772-1278551758.opb
1790.18/1790.73 c Variables : 11247 (11247 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.18/1790.73 c Constraints : 9744 initial, 9744 maximal
1790.18/1790.73 c Presolved Problem :
1790.18/1790.73 c Problem name : t_HOME/instance-2703772-1278551758.opb
1790.18/1790.73 c Variables : 10403 (10403 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.18/1790.73 c Constraints : 9724 initial, 9724 maximal
1790.18/1790.73 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.18/1790.73 c trivial : 0.15 2 0 0 0 0 0 0 0
1790.18/1790.73 c dualfix : 0.14 9 0 0 0 0 0 0 0
1790.18/1790.73 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.18/1790.73 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.18/1790.73 c implics : 0.16 0 38 0 0 0 0 0 0
1790.18/1790.73 c probing : 126.66 643 72 0 0 0 0 0 0
1790.18/1790.73 c knapsack : 1.73 12 0 0 4 0 141 1126 5456
1790.18/1790.73 c setppc : 1.01 11 47 0 0 0 448 1 0
1790.18/1790.73 c linear : 0.78 4 6 0 0 0 43 552 580
1790.18/1790.73 c logicor : 0.01 0 0 0 0 0 2 0 0
1790.18/1790.73 c root node : - 0 - - 0 - - - -
1790.18/1790.73 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.18/1790.73 c integral : 0 0 0 3 0 0 0 0 0 6
1790.18/1790.73 c knapsack : 336 19 68269 0 0 59 0 397 0 0
1790.18/1790.73 c setppc : 7172 19 68210 0 0 32 171 0 0 0
1790.18/1790.73 c linear : 2147 19 68178 0 0 146 240 117 0 0
1790.18/1790.73 c logicor : 69 19 6191 0 0 6 0 0 0 0
1790.18/1790.73 c countsols : 0 0 0 0 0 0 0 0 0 0
1790.18/1790.73 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.18/1790.73 c integral : 227.56 0.00 0.00 227.56 0.00
1790.18/1790.73 c knapsack : 3.66 0.07 3.59 0.00 0.00
1790.18/1790.73 c setppc : 50.62 0.03 50.59 0.00 0.00
1790.18/1790.73 c linear : 28.41 6.24 22.17 0.00 0.00
1790.18/1790.73 c logicor : 0.05 0.00 0.05 0.00 0.00
1790.18/1790.73 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.18/1790.73 c Propagators : Time Calls Cutoffs DomReds
1790.18/1790.73 c vbounds : 0.06 2 0 0
1790.18/1790.73 c rootredcost : 0.04 0 0 0
1790.18/1790.73 c pseudoobj : 0.03 40 0 0
1790.18/1790.73 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.18/1790.73 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1790.18/1790.73 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.18/1790.73 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.18/1790.73 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.18/1790.73 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.18/1790.73 c applied globally : - - - 0 0.0 - - -
1790.18/1790.73 c applied locally : - - - 0 0.0 - - -
1790.18/1790.73 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.18/1790.73 c cut pool : 0.08 18 - - 64 - (maximal pool size: 2611)
1790.18/1790.73 c redcost : 0.04 21 0 0 0 0
1790.18/1790.73 c impliedbounds : 0.32 19 0 0 1346 0
1790.18/1790.73 c intobj : 0.00 0 0 0 0 0
1790.18/1790.73 c cgmip : 0.00 0 0 0 0 0
1790.18/1790.73 c gomory : 26.46 19 0 0 1181 0
1790.18/1790.73 c strongcg : 34.73 19 0 0 1488 0
1790.18/1790.73 c cmir : 3.31 10 0 0 53 0
1790.18/1790.73 c flowcover : 3.15 10 0 0 201 0
1790.18/1790.73 c clique : 13.39 19 0 0 141 0
1790.18/1790.73 c zerohalf : 0.00 0 0 0 0 0
1790.18/1790.73 c mcf : 0.05 1 0 0 0 0
1790.18/1790.73 c rapidlearning : 0.00 0 0 0 0 0
1790.18/1790.73 c Pricers : Time Calls Vars
1790.18/1790.73 c problem variables: 0.00 0 0
1790.18/1790.73 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.18/1790.73 c relpscost : 227.56 3 0 0 0 0 6
1790.18/1790.73 c pscost : 0.00 0 0 0 0 0 0
1790.18/1790.73 c inference : 0.00 0 0 0 0 0 0
1790.18/1790.73 c mostinf : 0.00 0 0 0 0 0 0
1790.18/1790.73 c leastinf : 0.00 0 0 0 0 0 0
1790.18/1790.73 c fullstrong : 0.00 0 0 0 0 0 0
1790.18/1790.73 c allfullstrong : 0.00 0 0 0 0 0 0
1790.18/1790.73 c random : 0.00 0 0 0 0 0 0
1790.18/1790.73 c Primal Heuristics : Time Calls Found
1790.18/1790.73 c LP solutions : 0.00 - 0
1790.18/1790.73 c pseudo solutions : 0.00 - 0
1790.18/1790.73 c oneopt : 0.00 0 0
1790.18/1790.73 c crossover : 0.00 0 0
1790.18/1790.73 c coefdiving : 0.00 0 0
1790.18/1790.73 c pscostdiving : 0.00 0 0
1790.18/1790.73 c trivial : 0.03 2 0
1790.18/1790.73 c simplerounding : 0.00 0 0
1790.18/1790.73 c zirounding : 0.01 3 0
1790.18/1790.73 c rounding : 0.08 22 0
1790.18/1790.73 c shifting : 0.61 20 0
1790.18/1790.73 c intshifting : 0.00 0 0
1790.18/1790.73 c twoopt : 0.00 0 0
1790.18/1790.73 c fixandinfer : 0.00 0 0
1790.18/1790.73 c feaspump : 621.71 1 0
1790.18/1790.73 c fracdiving : 0.00 0 0
1790.18/1790.73 c veclendiving : 0.00 0 0
1790.18/1790.73 c intdiving : 0.00 0 0
1790.18/1790.73 c actconsdiving : 0.00 0 0
1790.18/1790.73 c objpscostdiving : 0.00 0 0
1790.18/1790.73 c rootsoldiving : 0.00 0 0
1790.18/1790.73 c linesearchdiving : 0.00 0 0
1790.18/1790.73 c guideddiving : 0.00 0 0
1790.18/1790.73 c octane : 0.00 0 0
1790.18/1790.73 c rens : 0.42 1 0
1790.18/1790.73 c rins : 0.00 0 0
1790.18/1790.73 c localbranching : 0.00 0 0
1790.18/1790.73 c mutation : 0.00 0 0
1790.18/1790.73 c dins : 0.00 0 0
1790.18/1790.73 c undercover : 0.00 0 0
1790.18/1790.73 c nlp : 0.00 0 0
1790.18/1790.73 c trysol : 0.00 0 0
1790.18/1790.73 c LP : Time Calls Iterations Iter/call Iter/sec
1790.18/1790.73 c primal LP : 0.07 0 0 0.00 0.00
1790.18/1790.73 c dual LP : 719.91 22 188204 8554.73 261.43
1790.18/1790.73 c lex dual LP : 0.00 0 0 0.00 -
1790.18/1790.73 c barrier LP : 0.00 0 0 0.00 -
1790.18/1790.73 c diving/probing LP: 621.29 34 98302 2891.24 158.22
1790.18/1790.73 c strong branching : 227.56 70 64814 925.91 284.83
1790.18/1790.73 c (at root node) : - 43 39501 918.63 -
1790.18/1790.73 c conflict analysis: 0.00 0 0 0.00 -
1790.18/1790.73 c B&B Tree :
1790.18/1790.73 c number of runs : 1
1790.18/1790.73 c nodes : 3
1790.18/1790.73 c nodes (total) : 3
1790.18/1790.73 c nodes left : 4
1790.18/1790.73 c max depth : 2
1790.18/1790.73 c max depth (total): 2
1790.18/1790.73 c backtracks : 0 (0.0%)
1790.18/1790.73 c delayed cutoffs : 0
1790.18/1790.73 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1790.18/1790.73 c avg switch length: 1.00
1790.18/1790.73 c switching time : 0.03
1790.18/1790.73 c Solution :
1790.18/1790.73 c Solutions found : 0 (0 improvements)
1790.18/1790.73 c Primal Bound : -
1790.18/1790.73 c Dual Bound : -1.08974409262926e+04
1790.18/1790.73 c Gap : infinite
1790.18/1790.73 c Root Dual Bound : -1.08974409262926e+04
1790.18/1790.73 c Root Iterations : 282074
1790.37/1791.00 c Time complete: 1790.47.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703772-1278551758/watcher-2703772-1278551758 -o /tmp/evaluation-result-2703772-1278551758/solver-2703772-1278551758 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703772-1278551758.opb -t 1800 -m 1800 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.04 1.05 1.00 3/106 30872 /proc/meminfo: memFree=1553376/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=7904 CPUtime=0 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 1084 0 0 0 0 0 0 0 20 0 1 0 23389450 8093696 997 1992294400 4194304 8395647 140734864111664 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30872/statm: 1976 1005 365 1026 0 946 0 [startup+0.0577891 s] /proc/loadavg: 1.04 1.05 1.00 3/106 30872 /proc/meminfo: memFree=1553376/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=16028 CPUtime=0.05 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 3287 0 0 0 5 0 0 0 20 0 1 0 23389450 16412672 3199 1992294400 4194304 8395647 140734864111664 18446744073709551615 7382051 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30872/statm: 4007 3199 393 1026 0 2977 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 16028 [startup+0.100792 s] /proc/loadavg: 1.04 1.05 1.00 3/106 30872 /proc/meminfo: memFree=1553376/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=20300 CPUtime=0.09 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 4356 0 0 0 9 0 0 0 20 0 1 0 23389450 20787200 4268 1992294400 4194304 8395647 140734864111664 18446744073709551615 7301452 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30872/statm: 5075 4268 393 1026 0 4045 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20300 [startup+0.300811 s] /proc/loadavg: 1.04 1.05 1.00 3/106 30872 /proc/meminfo: memFree=1553376/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=24520 CPUtime=0.29 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 5414 0 0 0 29 0 0 0 20 0 1 0 23389450 25108480 5326 1992294400 4194304 8395647 140734864111664 18446744073709551615 7384752 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30872/statm: 6130 5326 393 1026 0 5100 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24520 [startup+0.700849 s] /proc/loadavg: 1.04 1.05 1.00 3/106 30872 /proc/meminfo: memFree=1553376/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=64256 CPUtime=0.69 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 15266 0 0 0 66 3 0 0 20 0 1 0 23389450 65798144 14824 1992294400 4194304 8395647 140734864111664 18446744073709551615 4982403 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 16064 14824 466 1026 0 15034 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 64256 [startup+1.50093 s] /proc/loadavg: 1.04 1.05 1.00 2/107 30873 /proc/meminfo: memFree=1482688/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=77140 CPUtime=1.49 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 18737 0 0 0 144 5 0 0 23 0 1 0 23389450 78991360 18192 1992294400 4194304 8395647 140734864111664 18446744073709551615 6068933 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 19285 18192 510 1026 0 18255 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 77140 [startup+3.10108 s] /proc/loadavg: 1.04 1.05 1.00 2/107 30873 /proc/meminfo: memFree=1480828/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=81752 CPUtime=3.09 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 19859 0 0 0 304 5 0 0 25 0 1 0 23389450 83714048 19313 1992294400 4194304 8395647 140734864111664 18446744073709551615 4745107 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 20438 19313 509 1026 0 19408 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 81752 [startup+6.30138 s] /proc/loadavg: 1.03 1.05 1.00 3/107 30873 /proc/meminfo: memFree=1475000/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=84948 CPUtime=6.29 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 20615 0 0 0 624 5 0 0 25 0 1 0 23389450 86986752 20069 1992294400 4194304 8395647 140734864111664 18446744073709551615 5031099 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 21237 20069 509 1026 0 20207 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 84948 [startup+12.701 s] /proc/loadavg: 1.03 1.04 1.00 2/107 30873 /proc/meminfo: memFree=1466568/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=93716 CPUtime=12.69 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 22744 0 0 0 1263 6 0 0 25 0 1 0 23389450 95965184 22198 1992294400 4194304 8395647 140734864111664 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 23429 22198 509 1026 0 22399 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 93716 [startup+25.5002 s] /proc/loadavg: 1.02 1.04 1.00 2/107 30873 /proc/meminfo: memFree=1449580/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=111932 CPUtime=25.48 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 27060 0 0 0 2541 7 0 0 25 0 1 0 23389450 114618368 26514 1992294400 4194304 8395647 140734864111664 18446744073709551615 5211845 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 27983 26514 514 1026 0 26953 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 111932 [startup+51.1016 s] /proc/loadavg: 1.01 1.04 1.00 2/107 30875 /proc/meminfo: memFree=1418704/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=141492 CPUtime=51.08 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 34560 0 0 0 5098 10 0 0 25 0 1 0 23389450 144887808 34014 1992294400 4194304 8395647 140734864111664 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 35373 34014 514 1026 0 34343 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 141492 [startup+102.31 s] /proc/loadavg: 1.07 1.04 1.00 2/107 30875 /proc/meminfo: memFree=1394400/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=164932 CPUtime=102.27 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 40578 0 0 0 10215 12 0 0 25 0 1 0 23389450 168890368 40032 1992294400 4194304 8395647 140734864111664 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 41233 40032 514 1026 0 40203 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 164932 [startup+162.301 s] /proc/loadavg: 1.02 1.03 1.00 2/107 30879 /proc/meminfo: memFree=1351000/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=211636 CPUtime=162.24 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 52962 0 0 0 16200 24 0 0 25 0 1 0 23389450 216715264 50845 1992294400 4194304 8395647 140734864111664 18446744073709551615 6666418 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 52909 50845 588 1026 0 51879 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 211636 [startup+222.301 s] /proc/loadavg: 1.01 1.02 1.00 2/107 30882 /proc/meminfo: memFree=1350132/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=211636 CPUtime=222.22 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 53126 0 0 0 22184 38 0 0 25 0 1 0 23389450 216715264 51009 1992294400 4194304 8395647 140734864111664 18446744073709551615 6697978 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 52909 51009 588 1026 0 51879 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 211636 [startup+282.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 30884 /proc/meminfo: memFree=1350132/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=211636 CPUtime=282.21 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 53126 0 0 0 28168 53 0 0 25 0 1 0 23389450 216715264 51009 1992294400 4194304 8395647 140734864111664 18446744073709551615 6697342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 52909 51009 588 1026 0 51879 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 211636 [startup+342.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 30884 /proc/meminfo: memFree=1350132/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=211636 CPUtime=342.19 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 53126 0 0 0 34155 64 0 0 25 0 1 0 23389450 216715264 51009 1992294400 4194304 8395647 140734864111664 18446744073709551615 6670369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 52909 51009 588 1026 0 51879 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 211636 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 30886 /proc/meminfo: memFree=1350008/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=211636 CPUtime=402.18 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 53126 0 0 0 40141 77 0 0 25 0 1 0 23389450 216715264 51009 1992294400 4194304 8395647 140734864111664 18446744073709551615 6702080 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 52909 51009 588 1026 0 51879 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 211636 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30888 /proc/meminfo: memFree=1350008/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=211636 CPUtime=462.16 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 53126 0 0 0 46127 89 0 0 25 0 1 0 23389450 216715264 51009 1992294400 4194304 8395647 140734864111664 18446744073709551615 6698043 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 52909 51009 588 1026 0 51879 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 211636 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30890 /proc/meminfo: memFree=1350008/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=211636 CPUtime=522.13 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 53126 0 0 0 52108 105 0 0 25 0 1 0 23389450 216715264 51009 1992294400 4194304 8395647 140734864111664 18446744073709551615 6693721 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 52909 51009 588 1026 0 51879 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 211636 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30892 /proc/meminfo: memFree=1349884/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=211636 CPUtime=582.12 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 53126 0 0 0 58092 120 0 0 25 0 1 0 23389450 216715264 51009 1992294400 4194304 8395647 140734864111664 18446744073709551615 6702007 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 52909 51009 588 1026 0 51879 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 211636 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30892 /proc/meminfo: memFree=1350008/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=211636 CPUtime=642.11 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 53126 0 0 0 64078 133 0 0 25 0 1 0 23389450 216715264 51009 1992294400 4194304 8395647 140734864111664 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 52909 51009 588 1026 0 51879 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 211636 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=1349884/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=211636 CPUtime=1061.98 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 53173 0 0 0 105992 206 0 0 25 0 1 0 23389450 216715264 51056 1992294400 4194304 8395647 140734864111664 18446744073709551615 6709493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 52909 51056 593 1026 0 51879 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 211636 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30906 /proc/meminfo: memFree=1349760/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=211636 CPUtime=1121.97 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 53173 0 0 0 111980 217 0 0 25 0 1 0 23389450 216715264 51056 1992294400 4194304 8395647 140734864111664 18446744073709551615 6708181 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 52909 51056 593 1026 0 51879 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 211636 [startup+1182.3 s] /proc/loadavg: 1.07 1.02 1.00 2/107 30908 /proc/meminfo: memFree=1347652/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=213920 CPUtime=1181.95 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 53705 0 0 0 117967 228 0 0 25 0 1 0 23389450 219054080 51588 1992294400 4194304 8395647 140734864111664 18446744073709551615 6708218 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 53480 51588 593 1026 0 52450 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 213920 [startup+1242.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 30908 /proc/meminfo: memFree=1347528/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=213920 CPUtime=1241.93 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 53712 0 0 0 123955 238 0 0 25 0 1 0 23389450 219054080 51595 1992294400 4194304 8395647 140734864111664 18446744073709551615 6708317 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 53480 51595 593 1026 0 52450 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 213920 [startup+1302.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 30910 /proc/meminfo: memFree=1347528/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=213920 CPUtime=1301.92 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 53712 0 0 0 129946 246 0 0 25 0 1 0 23389450 219054080 51595 1992294400 4194304 8395647 140734864111664 18446744073709551615 6708393 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 53480 51595 593 1026 0 52450 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 213920 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30912 /proc/meminfo: memFree=1312684/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=250628 CPUtime=1361.89 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 62447 0 0 0 135926 263 0 0 25 0 1 0 23389450 256643072 60321 1992294400 4194304 8395647 140734864111664 18446744073709551615 6670369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 62657 60321 627 1026 0 61627 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 250628 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30914 /proc/meminfo: memFree=1304500/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=258024 CPUtime=1421.88 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 64550 0 0 0 141908 280 0 0 25 0 1 0 23389450 264216576 62380 1992294400 4194304 8395647 140734864111664 18446744073709551615 6697997 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 64506 62380 650 1026 0 63476 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 258024 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30916 /proc/meminfo: memFree=1302268/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=261596 CPUtime=1481.86 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 65120 0 0 0 147891 295 0 0 25 0 1 0 23389450 267874304 62945 1992294400 4194304 8395647 140734864111664 18446744073709551615 6440490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 65399 62945 645 1026 0 64369 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 261596 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30916 /proc/meminfo: memFree=1297928/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=267448 CPUtime=1541.84 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 66191 0 0 0 153873 311 0 0 25 0 1 0 23389450 273866752 64002 1992294400 4194304 8395647 140734864111664 18446744073709551615 6440501 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 66862 64002 631 1026 0 65832 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 267448 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30918 /proc/meminfo: memFree=1298672/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=266416 CPUtime=1601.82 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 78784 0 0 0 159852 330 0 0 25 0 1 0 23389450 272809984 63821 1992294400 4194304 8395647 140734864111664 18446744073709551615 6698055 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 66604 63821 643 1026 0 65574 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 266416 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30920 /proc/meminfo: memFree=1298548/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=266416 CPUtime=1661.8 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 78797 0 0 0 165836 344 0 0 25 0 1 0 23389450 272809984 63834 1992294400 4194304 8395647 140734864111664 18446744073709551615 6663858 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 66604 63834 643 1026 0 65574 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 266416 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30922 /proc/meminfo: memFree=1297680/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=266416 CPUtime=1721.79 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 79017 0 0 0 171818 361 0 0 25 0 1 0 23389450 272809984 64051 1992294400 4194304 8395647 140734864111664 18446744073709551615 6697978 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 66604 64051 641 1026 0 65574 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 266416 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30924 /proc/meminfo: memFree=1297556/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=266416 CPUtime=1781.77 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 79018 0 0 0 177800 377 0 0 25 0 1 0 23389450 272809984 64051 1992294400 4194304 8395647 140734864111664 18446744073709551615 6696896 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 66604 64051 640 1026 0 65574 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 266416 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30924 /proc/meminfo: memFree=1297556/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=266416 CPUtime=1784.97 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 79018 0 0 0 178120 377 0 0 25 0 1 0 23389450 272809984 64051 1992294400 4194304 8395647 140734864111664 18446744073709551615 6698034 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 66604 64051 640 1026 0 65574 0 Current children cumulated CPU time (s) 1784.97 Current children cumulated vsize (KiB) 266416 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30924 /proc/meminfo: memFree=1297556/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=266416 CPUtime=1788.17 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 79018 0 0 0 178439 378 0 0 25 0 1 0 23389450 272809984 64051 1992294400 4194304 8395647 140734864111664 18446744073709551615 6577858 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 66604 64051 640 1026 0 65574 0 Current children cumulated CPU time (s) 1788.17 Current children cumulated vsize (KiB) 266416 [startup+1790.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30924 /proc/meminfo: memFree=1297556/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=266416 CPUtime=1789.77 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 79018 0 0 0 178597 380 0 0 25 0 1 0 23389450 272809984 64051 1992294400 4194304 8395647 140734864111664 18446744073709551615 6636391 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 66604 64051 640 1026 0 65574 0 Current children cumulated CPU time (s) 1789.77 Current children cumulated vsize (KiB) 266416 [startup+1790.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30924 /proc/meminfo: memFree=1297556/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=266416 CPUtime=1790.18 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 79018 0 0 0 178638 380 0 0 25 0 1 0 23389450 272809984 64051 1992294400 4194304 8395647 140734864111664 18446744073709551615 6697246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30872/statm: 66604 64051 640 1026 0 65574 0 Current children cumulated CPU time (s) 1790.18 Current children cumulated vsize (KiB) 266416 [startup+1790.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30924 /proc/meminfo: memFree=1297556/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=254704 CPUtime=1790.37 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202496 79020 0 0 0 178657 380 0 0 25 0 1 0 23389450 260816896 61292 1992294400 4194304 8395647 140734864111664 18446744073709551615 6345887 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30872/statm: 63676 61292 642 1026 0 62646 0 Current children cumulated CPU time (s) 1790.37 Current children cumulated vsize (KiB) 254704 [startup+1791 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30924 /proc/meminfo: memFree=1297556/2059040 swapFree=4192956/4192956 [pid=30872] ppid=30870 vsize=0 CPUtime=1790.47 /proc/30872/stat : 30872 (pbscip.linux.x8) R 30870 30872 29671 0 -1 4202500 79023 0 0 0 178665 382 0 0 25 0 1 0 23389450 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/30872/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1790.47 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1791 CPU time (s): 1790.48 CPU user time (s): 1786.65 CPU system time (s): 3.82842 CPU usage (%): 99.9709 Max. virtual memory (cumulated for all children) (KiB): 311412 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.65 system time used= 3.82842 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 79023 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= 8535 runsolver used 2.98555 second user time and 8.43372 second system time The end
Begin job on node004 at 2010-07-08 03:15:58 IDJOB=2703772 IDBENCH=1875 IDSOLVER=1213 FILE ID=node004/2703772-1278551758 PBS_JOBID= 11239526 Free space on /tmp= 62436 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb 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-2703772-1278551758/watcher-2703772-1278551758 -o /tmp/evaluation-result-2703772-1278551758/solver-2703772-1278551758 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703772-1278551758.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a74bcf40291587dc368e3a23fd278be9 RANDOM SEED=684933519 node004.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.219 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.219 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1553780 kB Buffers: 66544 kB Cached: 288708 kB SwapCached: 0 kB Active: 158200 kB Inactive: 256864 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1553780 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 11728 kB Writeback: 0 kB AnonPages: 59752 kB Mapped: 14412 kB Slab: 68300 kB PageTables: 4104 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182328 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62424 MiB End job on node004 at 2010-07-08 03:45:49