Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed | SAT | -44 | 1797.14 | 1797.43 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb |
| MD5SUM | 29f577041bedcbf69a98210424b233be |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -48 |
| Best CPU time to get the best result obtained on this benchmark | 1800.05 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -49 |
| Optimality of the best value was proved | NO |
| Number of variables | 1150 |
| Total number of constraints | 81068 |
| Number of constraints which are clauses | 81068 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 1150 |
| 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 | 1150 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1150 |
| Number of bits of the biggest sum of numbers | 11 |
| 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-3690944-1338018856.opb>
0.09/0.16 c original problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 81068 constraints
0.09/0.16 c problem read in 0.16
0.28/0.38 o 0
0.28/0.39 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.28/0.39 c presolving:
1.00/1.09 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 81068 upgd conss, 162136 impls, 0 clqs
1.59/1.69 c (1.7s) probing: 51/1150 (4.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.59/1.69 c (1.7s) probing aborted: 50/50 successive totally useless probings
1.69/1.72 c presolving (2 rounds):
1.69/1.72 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.69/1.72 c 162136 implications, 0 cliques
1.69/1.72 c presolved problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 81068 constraints
1.69/1.72 c 81068 constraints of type <setppc>
1.69/1.72 c transformed objective value is always integral (scale: 1)
1.69/1.72 c Presolving Time: 1.50
1.69/1.72 c - non default parameters ----------------------------------------------------------------------
1.69/1.72 c # SCIP version 2.1.1.4
1.69/1.72 c
1.69/1.72 c # maximal time in seconds to run
1.69/1.72 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.69/1.72 c limits/time = 1797
1.69/1.72 c
1.69/1.72 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.69/1.72 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.69/1.72 c limits/memory = 13950
1.69/1.72 c
1.69/1.72 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.69/1.72 c # [type: int, range: [1,2], default: 1]
1.69/1.72 c timing/clocktype = 2
1.69/1.72 c
1.69/1.72 c # belongs reading time to solving time?
1.69/1.72 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.72 c timing/reading = TRUE
1.69/1.72 c
1.69/1.72 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: -1]
1.69/1.72 c separating/rapidlearning/freq = 0
1.69/1.72 c
1.69/1.72 c -----------------------------------------------------------------------------------------------
1.69/1.72 c start solving
1.69/1.74 c
2.89/2.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.89/2.93 c t 2.9s| 1 | 0 | 1152 | - | 96M| 0 |1150 |1150 | 81k|1150 | 81k| 0 | 0 | 0 |-5.750000e+02 | 0.000000e+00 | Inf
2.89/2.99 o -1
2.89/2.99 c R 3.0s| 1 | 0 | 1152 | - | 96M| 0 |1150 |1150 | 81k|1150 | 81k| 0 | 0 | 0 |-5.750000e+02 |-1.000000e+00 | Large
4.49/4.56 c 4.6s| 1 | 0 | 1380 | - | 96M| 0 |1085 |1150 | 81k|1150 | 81k| 8 | 0 | 0 |-5.425000e+02 |-1.000000e+00 | Large
4.69/4.77 o -36
4.69/4.77 c b 4.6s| 1 | 0 | 1380 | - | 97M| 0 |1085 |1150 | 81k|1150 | 81k| 8 | 0 | 0 |-5.425000e+02 |-3.600000e+01 |1406.94%
6.29/6.37 c 6.4s| 1 | 0 | 1518 | - | 97M| 0 |1040 |1150 | 81k|1150 | 81k| 14 | 0 | 0 |-5.200000e+02 |-3.600000e+01 |1344.44%
9.09/9.11 c 9.1s| 1 | 0 | 1963 | - | 97M| 0 | 995 |1150 | 81k|1150 | 81k| 21 | 0 | 0 |-4.975000e+02 |-3.600000e+01 |1281.94%
11.79/11.88 c 11.9s| 1 | 0 | 2160 | - | 97M| 0 | 952 |1150 | 81k|1150 | 81k| 28 | 0 | 0 |-4.760000e+02 |-3.600000e+01 |1222.22%
14.88/14.92 c 14.9s| 1 | 0 | 2351 | - | 97M| 0 | 899 |1150 | 81k|1150 | 81k| 38 | 0 | 0 |-4.495000e+02 |-3.600000e+01 |1148.61%
18.49/18.52 c 18.5s| 1 | 0 | 2631 | - | 97M| 0 | 852 |1150 | 81k|1150 | 81k| 53 | 0 | 0 |-4.260000e+02 |-3.600000e+01 |1083.33%
22.38/22.47 c 22.5s| 1 | 0 | 3061 | - | 97M| 0 | 818 |1150 | 81k|1150 | 81k| 69 | 0 | 0 |-4.090000e+02 |-3.600000e+01 |1036.11%
26.49/26.58 c 26.6s| 1 | 0 | 3477 | - | 97M| 0 | 753 |1150 | 81k|1150 | 81k| 108 | 0 | 0 |-3.755000e+02 |-3.600000e+01 | 943.06%
30.19/30.29 c 30.3s| 1 | 0 | 3667 | - | 97M| 0 | 709 |1150 | 81k|1150 | 81k| 122 | 0 | 0 |-3.525000e+02 |-3.600000e+01 | 879.17%
34.48/34.52 c 34.5s| 1 | 0 | 4216 | - | 97M| 0 | 661 |1150 | 81k|1150 | 81k| 141 | 0 | 0 |-3.287500e+02 |-3.600000e+01 | 813.19%
35.28/35.33 c 35.3s| 1 | 0 | 4493 | - | 97M| 0 | 611 |1150 | 81k|1150 | 81k| 154 | 0 | 0 |-3.045000e+02 |-3.600000e+01 | 745.83%
36.98/37.05 c 37.0s| 1 | 0 | 5692 | - | 97M| 0 | 568 |1150 | 81k|1150 | 81k| 167 | 0 | 0 |-2.820000e+02 |-3.600000e+01 | 683.33%
37.78/37.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.78/37.89 c 37.9s| 1 | 0 | 5998 | - | 97M| 0 | 525 |1150 | 81k|1150 | 81k| 182 | 0 | 0 |-2.605000e+02 |-3.600000e+01 | 623.61%
41.08/41.10 c 41.1s| 1 | 0 | 8431 | - | 97M| 0 | 482 |1150 | 81k|1150 | 81k| 200 | 0 | 0 |-2.400000e+02 |-3.600000e+01 | 566.67%
41.98/42.01 c 42.0s| 1 | 0 | 8834 | - | 97M| 0 | 449 |1150 | 81k|1150 | 81k| 210 | 0 | 0 |-2.230000e+02 |-3.600000e+01 | 519.44%
45.28/45.37 c 45.4s| 1 | 0 | 11246 | - | 97M| 0 | 428 |1150 | 81k|1150 | 81k| 223 | 0 | 0 |-2.125000e+02 |-3.600000e+01 | 490.28%
48.98/49.01 c 49.0s| 1 | 0 | 13708 | - | 97M| 0 | 366 |1150 | 81k|1150 | 81k| 238 | 0 | 0 |-1.820000e+02 |-3.600000e+01 | 405.56%
52.18/52.29 c 52.3s| 1 | 0 | 15906 | - | 97M| 0 | 316 |1150 | 81k|1150 | 81k| 247 | 0 | 0 |-1.570000e+02 |-3.600000e+01 | 336.11%
54.28/54.34 c 54.3s| 1 | 0 | 17622 | - | 97M| 0 | 279 |1150 | 81k|1150 | 81k| 255 | 0 | 0 |-1.385000e+02 |-3.600000e+01 | 284.72%
55.28/55.39 c 55.4s| 1 | 0 | 18448 | - | 97M| 0 | 242 |1150 | 81k|1150 | 81k| 267 | 0 | 0 |-1.200000e+02 |-3.600000e+01 | 233.33%
55.68/55.77 c 55.8s| 1 | 0 | 18701 | - | 97M| 0 | 208 |1150 | 81k|1150 | 81k| 270 | 0 | 0 |-1.030000e+02 |-3.600000e+01 | 186.11%
55.99/56.09 c 56.1s| 1 | 0 | 19066 | - | 97M| 0 | 169 |1150 | 81k|1150 | 81k| 278 | 0 | 0 |-8.550000e+01 |-3.600000e+01 | 137.50%
56.48/56.54 c 56.5s| 1 | 0 | 19562 | - | 97M| 0 | 135 |1150 | 81k|1150 | 81k| 283 | 0 | 0 |-6.850000e+01 |-3.600000e+01 | 90.28%
56.68/56.74 c 56.7s| 1 | 0 | 19684 | - | 97M| 0 | 128 |1150 | 81k|1150 | 81k| 287 | 0 | 0 |-6.000000e+01 |-3.600000e+01 | 66.67%
56.88/56.93 c 56.9s| 1 | 0 | 19830 | - | 97M| 0 | 136 |1150 | 81k|1150 | 81k| 290 | 0 | 0 |-5.500000e+01 |-3.600000e+01 | 52.78%
57.09/57.15 c 57.2s| 1 | 0 | 19942 | - | 97M| 0 | 146 |1150 | 81k|1150 | 81k| 294 | 0 | 0 |-5.150000e+01 |-3.600000e+01 | 43.06%
57.28/57.38 c 57.4s| 1 | 0 | 20116 | - | 97M| 0 | 155 |1150 | 81k|1150 | 81k| 302 | 0 | 0 |-5.137500e+01 |-3.600000e+01 | 42.71%
57.48/57.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.48/57.53 c 57.5s| 1 | 0 | 20214 | - | 97M| 0 | 148 |1150 | 81k|1150 | 81k| 312 | 0 | 0 |-5.083333e+01 |-3.600000e+01 | 41.20%
57.58/57.64 c 57.6s| 1 | 0 | 20227 | - | 97M| 0 | 146 |1150 | 81k|1150 | 81k| 319 | 0 | 0 |-5.083333e+01 |-3.600000e+01 | 41.20%
57.68/57.75 c 57.7s| 1 | 0 | 20268 | - | 97M| 0 | 157 |1150 | 81k|1150 | 81k| 331 | 0 | 0 |-5.083333e+01 |-3.600000e+01 | 41.20%
57.88/57.91 c 57.9s| 1 | 0 | 20345 | - | 97M| 0 | 165 |1150 | 81k|1150 | 81k| 343 | 0 | 0 |-5.083333e+01 |-3.600000e+01 | 41.20%
57.98/58.04 c 58.0s| 1 | 0 | 20396 | - | 97M| 0 | 165 |1150 | 81k|1150 | 81k| 349 | 0 | 0 |-5.083333e+01 |-3.600000e+01 | 41.20%
58.08/58.15 c 58.1s| 1 | 0 | 20432 | - | 97M| 0 | 169 |1150 | 81k|1150 | 81k| 360 | 0 | 0 |-5.083333e+01 |-3.600000e+01 | 41.20%
64.68/64.77 c 64.8s| 1 | 2 | 20432 | - | 97M| 0 | 169 |1150 | 81k|1150 | 81k| 360 | 0 | 18 |-5.083333e+01 |-3.600000e+01 | 41.20%
110.88/110.94 o -37
110.88/110.94 c c 111s| 17 | 18 | 21739 | 81.7 | 100M| 16 | - |1150 | 81k|1150 | 81k| 360 | 0 | 325 |-5.033333e+01 |-3.700000e+01 | 36.04%
143.86/143.98 o -41
143.86/143.98 c p 144s| 30 | 31 | 22646 | 76.3 | 101M| 22 | - |1150 | 81k|1150 | 81k| 360 | 0 | 541 |-5.033333e+01 |-4.100000e+01 | 22.76%
254.23/254.33 c 254s| 100 | 101 | 28447 | 81.0 | 106M| 24 | 86 |1150 | 81k|1150 | 81k| 360 | 0 |1265 |-5.033333e+01 |-4.100000e+01 | 22.76%
268.14/268.28 c 268s| 200 | 189 | 34442 | 70.4 | 110M| 27 | 62 |1150 | 81k|1150 | 81k| 360 | 0 |1285 |-5.033333e+01 |-4.100000e+01 | 22.76%
283.13/283.22 c 283s| 300 | 269 | 39274 | 63.0 | 112M| 34 | 113 |1150 | 81k|1150 | 81k| 360 | 0 |1316 |-5.000000e+01 |-4.100000e+01 | 21.95%
292.83/292.93 c 293s| 400 | 329 | 43343 | 57.4 | 114M| 39 | 56 |1150 | 81k|1150 | 81k| 360 | 0 |1341 |-5.000000e+01 |-4.100000e+01 | 21.95%
303.84/303.96 c 304s| 500 | 397 | 48231 | 55.7 | 117M| 42 | - |1150 | 81k|1150 | 81k| 360 | 0 |1360 |-5.000000e+01 |-4.100000e+01 | 21.95%
318.73/318.87 c 319s| 600 | 475 | 54095 | 56.2 | 120M| 48 | 57 |1150 | 81k|1150 | 81k| 360 | 0 |1406 |-5.000000e+01 |-4.100000e+01 | 21.95%
327.33/327.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
327.33/327.40 c 327s| 700 | 525 | 57737 | 53.4 | 121M| 52 | 89 |1150 | 81k|1150 | 81k| 360 | 0 |1424 |-5.000000e+01 |-4.100000e+01 | 21.95%
340.33/340.41 c 340s| 800 | 599 | 62366 | 52.5 | 124M| 52 | 130 |1150 | 81k|1150 | 81k| 360 | 0 |1461 |-5.000000e+01 |-4.100000e+01 | 21.95%
352.12/352.20 c 352s| 900 | 671 | 66958 | 51.8 | 127M| 52 | 98 |1150 | 81k|1150 | 81k| 360 | 0 |1498 |-5.000000e+01 |-4.100000e+01 | 21.95%
363.33/363.45 c 363s| 1000 | 743 | 71359 | 51.0 | 129M| 52 | 78 |1150 | 81k|1150 | 81k| 360 | 0 |1528 |-5.000000e+01 |-4.100000e+01 | 21.95%
374.52/374.66 c 375s| 1100 | 807 | 75535 | 50.1 | 131M| 52 | 102 |1150 | 81k|1150 | 81k| 360 | 0 |1550 |-5.000000e+01 |-4.100000e+01 | 21.95%
389.11/389.26 c 389s| 1200 | 903 | 81820 | 51.2 | 134M| 52 | 114 |1150 | 81k|1150 | 81k| 360 | 0 |1577 |-5.000000e+01 |-4.100000e+01 | 21.95%
403.02/403.17 c 403s| 1300 | 1003 | 86475 | 50.8 | 136M| 52 | 116 |1150 | 81k|1150 | 81k| 360 | 0 |1604 |-5.000000e+01 |-4.100000e+01 | 21.95%
419.41/419.59 c 420s| 1400 | 1103 | 93030 | 51.9 | 139M| 54 | 100 |1150 | 81k|1150 | 81k| 360 | 0 |1627 |-5.000000e+01 |-4.100000e+01 | 21.95%
443.41/443.58 c 444s| 1500 | 1203 |102054 | 54.5 | 142M| 54 | 175 |1150 | 81k|1150 | 81k| 360 | 0 |1663 |-5.000000e+01 |-4.100000e+01 | 21.95%
465.91/466.08 c 466s| 1600 | 1303 |110631 | 56.4 | 146M| 54 | 159 |1150 | 81k|1150 | 81k| 360 | 0 |1707 |-5.000000e+01 |-4.100000e+01 | 21.95%
485.50/485.65 c 486s| 1700 | 1399 |118989 | 58.0 | 149M| 54 | 73 |1150 | 81k|1150 | 81k| 360 | 0 |1733 |-5.000000e+01 |-4.100000e+01 | 21.95%
504.00/504.18 c 504s| 1800 | 1499 |125436 | 58.4 | 152M| 54 | 111 |1150 | 81k|1150 | 81k| 360 | 0 |1769 |-5.000000e+01 |-4.100000e+01 | 21.95%
526.70/526.88 c 527s| 1900 | 1599 |135336 | 60.5 | 155M| 54 | 94 |1150 | 81k|1150 | 81k| 360 | 0 |1805 |-5.000000e+01 |-4.100000e+01 | 21.95%
553.40/553.58 c 554s| 2000 | 1699 |147213 | 63.4 | 159M| 54 | 101 |1150 | 81k|1150 | 81k| 360 | 0 |1841 |-5.000000e+01 |-4.100000e+01 | 21.95%
584.19/584.35 c 584s| 2100 | 1799 |157527 | 65.3 | 163M| 54 | 112 |1150 | 81k|1150 | 81k| 360 | 0 |1893 |-5.000000e+01 |-4.100000e+01 | 21.95%
607.68/607.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
607.68/607.81 c 608s| 2200 | 1899 |169090 | 67.6 | 167M| 54 | 98 |1150 | 81k|1150 | 81k| 360 | 0 |1929 |-5.000000e+01 |-4.100000e+01 | 21.95%
628.59/628.78 o -42
628.59/628.78 c p 629s| 2288 | 1913 |178493 | 69.1 | 168M| 54 | - |1150 | 81k|1150 | 81k| 360 | 0 |1968 |-5.000000e+01 |-4.200000e+01 | 19.05%
631.78/631.98 c 632s| 2300 | 1925 |179663 | 69.3 | 168M| 54 | 113 |1150 | 81k|1150 | 81k| 360 | 0 |1977 |-5.000000e+01 |-4.200000e+01 | 19.05%
665.18/665.39 c 665s| 2400 | 2025 |194108 | 72.4 | 172M| 54 | 85 |1150 | 81k|1150 | 81k| 360 | 0 |2027 |-5.000000e+01 |-4.200000e+01 | 19.05%
694.98/695.13 c 695s| 2500 | 2123 |206921 | 74.6 | 175M| 54 | 85 |1150 | 81k|1150 | 81k| 360 | 0 |2076 |-5.000000e+01 |-4.200000e+01 | 19.05%
700.87/701.00 o -43
700.87/701.00 c l 701s| 2525 | 2072 |209603 | 74.9 | 175M| 54 | - |1150 | 81k|1150 | 81k| 360 | 0 |2085 |-5.000000e+01 |-4.300000e+01 | 16.28%
722.27/722.47 c 722s| 2600 | 2147 |219059 | 76.4 | 177M| 54 | 89 |1150 | 81k|1150 | 81k| 360 | 0 |2126 |-5.000000e+01 |-4.300000e+01 | 16.28%
751.76/751.90 c 752s| 2700 | 2245 |231884 | 78.3 | 181M| 54 | 86 |1150 | 81k|1150 | 81k| 360 | 0 |2187 |-5.000000e+01 |-4.300000e+01 | 16.28%
777.06/777.22 c 777s| 2800 | 2343 |244813 | 80.2 | 184M| 54 | 70 |1150 | 81k|1150 | 81k| 360 | 0 |2224 |-5.000000e+01 |-4.300000e+01 | 16.28%
801.35/801.56 c 802s| 2900 | 2437 |257661 | 81.8 | 187M| 54 | 98 |1150 | 81k|1150 | 81k| 360 | 0 |2251 |-5.000000e+01 |-4.300000e+01 | 16.28%
825.75/825.90 c 826s| 3000 | 2535 |269725 | 83.1 | 190M| 54 | 74 |1150 | 81k|1150 | 81k| 360 | 0 |2274 |-5.000000e+01 |-4.300000e+01 | 16.28%
852.75/852.97 c 853s| 3100 | 2633 |284201 | 85.1 | 195M| 54 | 71 |1150 | 81k|1150 | 81k| 360 | 0 |2304 |-5.000000e+01 |-4.300000e+01 | 16.28%
891.14/891.31 c 891s| 3200 | 2731 |301324 | 87.8 | 199M| 54 | 103 |1150 | 81k|1150 | 81k| 360 | 0 |2319 |-5.000000e+01 |-4.300000e+01 | 16.28%
914.34/914.55 c 915s| 3300 | 2829 |312810 | 88.6 | 202M| 54 | 89 |1150 | 81k|1150 | 81k| 360 | 0 |2328 |-5.000000e+01 |-4.300000e+01 | 16.28%
939.54/939.77 c 940s| 3400 | 2925 |326430 | 90.0 | 205M| 54 | 103 |1150 | 81k|1150 | 81k| 360 | 0 |2344 |-5.000000e+01 |-4.300000e+01 | 16.28%
961.24/961.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
961.24/961.49 c 961s| 3500 | 3023 |338750 | 91.0 | 208M| 54 | 91 |1150 | 81k|1150 | 81k| 360 | 0 |2352 |-5.000000e+01 |-4.300000e+01 | 16.28%
980.83/981.04 c 981s| 3600 | 3119 |350197 | 91.6 | 211M| 54 | 78 |1150 | 81k|1150 | 81k| 360 | 0 |2358 |-5.000000e+01 |-4.300000e+01 | 16.28%
1006.13/1006.31 c 1006s| 3700 | 3215 |365585 | 93.3 | 215M| 54 | 106 |1150 | 81k|1150 | 81k| 360 | 0 |2363 |-5.000000e+01 |-4.300000e+01 | 16.28%
1029.52/1029.74 c 1030s| 3800 | 3307 |377482 | 94.0 | 219M| 54 | 117 |1150 | 81k|1150 | 81k| 360 | 0 |2365 |-5.000000e+01 |-4.300000e+01 | 16.28%
1036.72/1036.93 o -44
1036.72/1036.93 c p1037s| 3837 | 3217 |380872 | 94.0 | 218M| 54 | - |1150 | 81k|1150 | 81k| 360 | 0 |2379 |-5.000000e+01 |-4.400000e+01 | 13.64%
1052.32/1052.57 c 1053s| 3900 | 3278 |388129 | 94.3 | 220M| 54 | 134 |1150 | 81k|1150 | 81k| 360 | 0 |2401 |-5.000000e+01 |-4.400000e+01 | 13.64%
1083.81/1084.09 c 1084s| 4000 | 3372 |402924 | 95.6 | 224M| 54 | 88 |1150 | 81k|1150 | 81k| 360 | 0 |2457 |-5.000000e+01 |-4.400000e+01 | 13.64%
1106.81/1107.02 c 1107s| 4100 | 3464 |413748 | 96.0 | 228M| 54 | 73 |1150 | 81k|1150 | 81k| 360 | 0 |2506 |-5.000000e+01 |-4.400000e+01 | 13.64%
1135.51/1135.76 c 1136s| 4200 | 3552 |424572 | 96.2 | 232M| 54 | 73 |1150 | 81k|1150 | 81k| 360 | 0 |2554 |-5.000000e+01 |-4.400000e+01 | 13.64%
1157.60/1157.87 c 1158s| 4300 | 3634 |435264 | 96.5 | 235M| 54 | 105 |1150 | 81k|1150 | 81k| 360 | 0 |2586 |-5.000000e+01 |-4.400000e+01 | 13.64%
1186.71/1186.96 c 1187s| 4400 | 3732 |449266 | 97.5 | 239M| 54 | 89 |1150 | 81k|1150 | 81k| 360 | 0 |2642 |-5.000000e+01 |-4.400000e+01 | 13.64%
1212.20/1212.49 c 1212s| 4500 | 3826 |460562 | 97.8 | 242M| 54 | 99 |1150 | 81k|1150 | 81k| 360 | 0 |2687 |-5.000000e+01 |-4.400000e+01 | 13.64%
1243.29/1243.58 c 1244s| 4600 | 3914 |476397 | 99.1 | 246M| 54 | - |1150 | 81k|1150 | 81k| 360 | 0 |2749 |-5.000000e+01 |-4.400000e+01 | 13.64%
1272.59/1272.88 c 1273s| 4700 | 4010 |489827 | 99.9 | 249M| 54 | 74 |1150 | 81k|1150 | 81k| 360 | 0 |2791 |-5.000000e+01 |-4.400000e+01 | 13.64%
1293.09/1293.35 c 1293s| 4800 | 4106 |499206 | 99.8 | 252M| 54 | 89 |1150 | 81k|1150 | 81k| 360 | 0 |2833 |-5.000000e+01 |-4.400000e+01 | 13.64%
1312.58/1312.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1312.58/1312.80 c 1313s| 4900 | 4192 |509688 | 99.9 | 254M| 54 | 103 |1150 | 81k|1150 | 81k| 360 | 0 |2865 |-5.000000e+01 |-4.400000e+01 | 13.64%
1336.88/1337.12 c 1337s| 5000 | 4282 |520117 | 100.0 | 257M| 54 | 104 |1150 | 81k|1150 | 81k| 360 | 0 |2912 |-5.000000e+01 |-4.400000e+01 | 13.64%
1356.48/1356.78 c 1357s| 5100 | 4374 |529682 | 99.9 | 260M| 54 | 80 |1150 | 81k|1150 | 81k| 360 | 0 |2947 |-5.000000e+01 |-4.400000e+01 | 13.64%
1381.07/1381.39 c 1381s| 5200 | 4470 |542167 | 100.4 | 264M| 54 | 67 |1150 | 81k|1150 | 81k| 360 | 0 |2970 |-5.000000e+01 |-4.400000e+01 | 13.64%
1400.66/1400.91 c 1401s| 5300 | 4554 |553618 | 100.6 | 267M| 54 | 99 |1150 | 81k|1150 | 81k| 360 | 0 |2978 |-5.000000e+01 |-4.400000e+01 | 13.64%
1416.57/1416.84 c 1417s| 5400 | 4632 |561983 | 100.3 | 269M| 54 | 73 |1150 | 81k|1150 | 81k| 360 | 0 |2983 |-5.000000e+01 |-4.400000e+01 | 13.64%
1434.17/1434.41 c 1434s| 5500 | 4708 |572243 | 100.3 | 272M| 54 | 89 |1150 | 81k|1150 | 81k| 360 | 0 |2986 |-5.000000e+01 |-4.400000e+01 | 13.64%
1455.26/1455.58 c 1456s| 5600 | 4798 |584189 | 100.7 | 275M| 54 | 79 |1150 | 81k|1150 | 81k| 360 | 0 |2990 |-5.000000e+01 |-4.400000e+01 | 13.64%
1472.45/1472.78 c 1473s| 5700 | 4878 |591829 | 100.3 | 278M| 54 | 91 |1150 | 81k|1150 | 81k| 360 | 0 |2994 |-5.000000e+01 |-4.400000e+01 | 13.64%
1490.65/1490.99 c 1491s| 5800 | 4958 |601074 | 100.1 | 280M| 54 | 103 |1150 | 81k|1150 | 81k| 360 | 0 |2998 |-5.000000e+01 |-4.400000e+01 | 13.64%
1505.85/1506.19 c 1506s| 5900 | 5030 |610159 | 100.0 | 283M| 54 | 116 |1150 | 81k|1150 | 81k| 360 | 0 |3002 |-5.000000e+01 |-4.400000e+01 | 13.64%
1522.74/1523.07 c 1523s| 6000 | 5110 |619220 | 99.8 | 285M| 54 | 92 |1150 | 81k|1150 | 81k| 360 | 0 |3009 |-5.000000e+01 |-4.400000e+01 | 13.64%
1543.35/1543.62 c 1544s| 6100 | 5194 |629559 | 99.9 | 288M| 54 | 68 |1150 | 81k|1150 | 81k| 360 | 0 |3011 |-5.000000e+01 |-4.400000e+01 | 13.64%
1559.35/1559.64 c 1560s| 6200 | 5272 |639077 | 99.8 | 291M| 54 | 68 |1150 | 81k|1150 | 81k| 360 | 0 |3012 |-5.000000e+01 |-4.400000e+01 | 13.64%
1578.54/1578.81 c 1579s| 6300 | 5356 |649382 | 99.8 | 294M| 54 | 134 |1150 | 81k|1150 | 81k| 360 | 0 |3013 |-5.000000e+01 |-4.400000e+01 | 13.64%
1600.44/1600.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1600.44/1600.75 c 1601s| 6400 | 5436 |659203 | 99.8 | 297M| 54 | 65 |1150 | 81k|1150 | 81k| 360 | 0 |3030 |-5.000000e+01 |-4.400000e+01 | 13.64%
1620.83/1621.11 c 1621s| 6500 | 5526 |669304 | 99.8 | 301M| 54 | 90 |1150 | 81k|1150 | 81k| 360 | 0 |3070 |-5.000000e+01 |-4.400000e+01 | 13.64%
1645.33/1645.65 c 1646s| 6600 | 5624 |680494 | 100.0 | 304M| 54 | 78 |1150 | 81k|1150 | 81k| 360 | 0 |3117 |-5.000000e+01 |-4.400000e+01 | 13.64%
1666.23/1666.59 c 1667s| 6700 | 5704 |691161 | 100.1 | 307M| 54 | 164 |1150 | 81k|1150 | 81k| 360 | 0 |3151 |-5.000000e+01 |-4.400000e+01 | 13.64%
1691.42/1691.77 c 1692s| 6800 | 5778 |702918 | 100.4 | 310M| 54 | 80 |1150 | 81k|1150 | 81k| 360 | 0 |3200 |-5.000000e+01 |-4.400000e+01 | 13.64%
1708.42/1708.76 c 1709s| 6900 | 5852 |710143 | 100.0 | 312M| 54 | 71 |1150 | 81k|1150 | 81k| 360 | 0 |3238 |-5.000000e+01 |-4.400000e+01 | 13.64%
1728.83/1729.17 c 1729s| 7000 | 5922 |719693 | 99.9 | 315M| 54 | 85 |1150 | 81k|1150 | 81k| 360 | 0 |3268 |-5.000000e+01 |-4.400000e+01 | 13.64%
1746.72/1747.08 c 1747s| 7100 | 5992 |726944 | 99.5 | 317M| 54 | 98 |1150 | 81k|1150 | 81k| 360 | 0 |3302 |-5.000000e+01 |-4.400000e+01 | 13.64%
1764.02/1764.36 c 1764s| 7200 | 6068 |734932 | 99.2 | 319M| 54 | 77 |1150 | 81k|1150 | 81k| 360 | 0 |3345 |-5.000000e+01 |-4.400000e+01 | 13.64%
1778.10/1778.44 c 1778s| 7300 | 6132 |741813 | 98.8 | 321M| 54 | 83 |1150 | 81k|1150 | 81k| 360 | 0 |3370 |-5.000000e+01 |-4.400000e+01 | 13.64%
1794.01/1794.31 c 1794s| 7400 | 6196 |749395 | 98.5 | 323M| 54 | 122 |1150 | 81k|1150 | 81k| 360 | 0 |3399 |-5.000000e+01 |-4.400000e+01 | 13.64%
1796.70/1797.06 c
1796.70/1797.06 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.06 c Solving Time (sec) : 1797.06
1796.70/1797.06 c Solving Nodes : 7406
1796.70/1797.06 c Primal Bound : -4.40000000000000e+01 (592 solutions)
1796.70/1797.06 c Dual Bound : -5.00000000000000e+01
1796.70/1797.06 c Gap : 13.64 %
1796.70/1797.08 s SATISFIABLE
1796.70/1797.08 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1796.70/1797.08 v -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53
1796.70/1797.08 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78
1796.70/1797.08 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
1796.70/1797.08 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1796.70/1797.08 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
1796.70/1797.08 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
1796.70/1797.08 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186
1796.70/1797.08 v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207
1796.70/1797.08 v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228
1796.70/1797.08 v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249
1796.70/1797.08 v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
1796.70/1797.08 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291
1796.70/1797.08 v -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312
1796.70/1797.08 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333
1796.70/1797.08 v x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354
1796.70/1797.08 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
1796.70/1797.08 v -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
1796.70/1797.08 v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
1796.70/1797.08 v -x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438
1796.70/1797.08 v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459
1796.70/1797.08 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480
1796.70/1797.08 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
1796.70/1797.08 v x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 x517 -x518 -x519 -x520 -x521 -x522
1796.70/1797.08 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543
1796.70/1797.08 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563
1796.70/1797.08 v -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584
1796.70/1797.08 v -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605
1796.70/1797.08 v -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 x621 x622 -x623 -x624 -x625 -x626 -x627
1796.70/1797.08 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648
1796.70/1797.08 v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668
1796.70/1797.08 v -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 x687 -x688 -x689
1796.70/1797.08 v -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
1796.70/1797.08 v -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731
1796.70/1797.08 v -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752
1796.70/1797.08 v -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773
1796.70/1797.08 v -x774 -x775 -x776 -x777 -x778 x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794
1796.70/1797.08 v -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815
1796.70/1797.08 v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836
1796.70/1797.08 v -x837 -x838 -x839 -x840 -x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 -x856 -x857
1796.70/1797.08 v -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878
1796.70/1797.08 v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 x894 -x895 -x896 -x897 -x898 -x899
1796.70/1797.08 v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 -x918 -x919 -x920
1796.70/1797.08 v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941
1796.70/1797.08 v -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962
1796.70/1797.08 v -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983
1796.70/1797.08 v -x984 x985 -x986 -x987 -x988 -x989 -x990 x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004
1796.70/1797.08 v -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 x1020 -x1021 -x1022
1796.70/1797.08 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 -x1040
1796.70/1797.08 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057
1796.70/1797.08 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075
1796.70/1797.08 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093
1796.70/1797.08 v -x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111
1796.70/1797.08 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 -x1128 -x1129
1796.70/1797.08 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147
1796.70/1797.08 v -x1148 -x1149 -x1150
1796.70/1797.08 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.08 c Total Time : 1797.06
1796.70/1797.08 c solving : 1797.06
1796.70/1797.08 c presolving : 1.50 (included in solving)
1796.70/1797.08 c reading : 0.16 (included in solving)
1796.70/1797.08 c copying : 1.17 (9 #copies) (minimal 0.13, maximal 0.14, average 0.13)
1796.70/1797.08 c Original Problem :
1796.70/1797.08 c Problem name : HOME/instance-3690944-1338018856.opb
1796.70/1797.08 c Variables : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.08 c Constraints : 81068 initial, 81068 maximal
1796.70/1797.08 c Objective sense : minimize
1796.70/1797.08 c Presolved Problem :
1796.70/1797.08 c Problem name : t_HOME/instance-3690944-1338018856.opb
1796.70/1797.08 c Variables : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.08 c Constraints : 81068 initial, 81068 maximal
1796.70/1797.08 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.08 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c components : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c pseudoobj : 0.00 0.02 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c probing : 0.42 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c setppc : 0.18 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c linear : 0.65 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c root node : - - 0 - - 0 - - - - -
1796.70/1797.08 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.08 c integral : 0 0 0 0 6970 0 597 0 3 58 0 0 13880
1796.70/1797.08 c setppc : 81068 81068 33 34767 0 0 592 0 0 234583 0 0 0
1796.70/1797.08 c countsols : 0 0 0 0 0 0 595 0 0 0 0 0 0
1796.70/1797.08 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.08 c integral : 394.14 0.00 0.00 0.00 394.11 0.00 0.03 0.00
1796.70/1797.08 c setppc : 14.78 0.00 0.25 12.83 0.00 0.00 1.71 0.00
1796.70/1797.08 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.08 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.08 c rootredcost : 6 0 0 0
1796.70/1797.08 c pseudoobj : 41687 0 0 0
1796.70/1797.08 c vbounds : 0 0 0 0
1796.70/1797.08 c redcost : 7006 0 0 3
1796.70/1797.08 c probing : 0 0 0 0
1796.70/1797.08 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.08 c rootredcost : 0.06 0.00 0.00 0.06 0.00
1796.70/1797.08 c pseudoobj : 6.26 0.02 0.00 6.23 0.00
1796.70/1797.08 c vbounds : 0.04 0.00 0.00 0.04 0.00
1796.70/1797.08 c redcost : 0.19 0.00 0.00 0.19 0.00
1796.70/1797.08 c probing : 0.42 0.00 0.42 0.00 0.00
1796.70/1797.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.08 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.08 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.08 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.08 c applied globally : - - - 0 0.0 - - -
1796.70/1797.08 c applied locally : - - - 0 0.0 - - -
1796.70/1797.08 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.08 c cut pool : 0.00 32 - - 90 - (maximal pool size: 749)
1796.70/1797.08 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.08 c impliedbounds : 0.04 0.00 33 0 0 0 0
1796.70/1797.08 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.08 c gomory : 0.35 0.00 10 0 0 500 0
1796.70/1797.08 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.08 c strongcg : 5.44 0.00 20 0 0 10000 0
1796.70/1797.08 c cmir : 10.32 0.00 10 0 0 0 0
1796.70/1797.08 c flowcover : 11.02 0.00 10 0 0 0 0
1796.70/1797.08 c clique : 1.54 0.00 33 0 0 299 0
1796.70/1797.08 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.08 c mcf : 0.06 0.00 1 0 0 0 0
1796.70/1797.08 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.08 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.70/1797.08 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.08 c problem variables: 0.00 - 0 0
1796.70/1797.08 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.08 c relpscost : 394.07 0.00 6970 3 58 0 0 13880
1796.70/1797.08 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.08 c inference : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.08 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.08 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.08 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.08 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.08 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.08 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.08 c LP solutions : 0.00 - - 0
1796.70/1797.08 c pseudo solutions : 0.00 - - 0
1796.70/1797.08 c oneopt : 0.11 0.00 7 1
1796.70/1797.08 c crossover : 5.06 0.00 8 2
1796.70/1797.08 c guideddiving : 59.14 0.00 59 10
1796.70/1797.08 c objpscostdiving : 72.17 0.00 46 112
1796.70/1797.08 c coefdiving : 90.26 0.00 118 30
1796.70/1797.08 c pscostdiving : 83.05 0.00 166 26
1796.70/1797.08 c linesearchdiving : 80.48 0.00 166 14
1796.70/1797.08 c rootsoldiving : 53.39 0.00 84 90
1796.70/1797.08 c smallcard : 0.00 0.00 0 0
1796.70/1797.08 c trivial : 0.01 0.00 2 1
1796.70/1797.08 c shiftandpropagate: 0.00 0.00 0 0
1796.70/1797.08 c simplerounding : 0.37 0.00 7003 72
1796.70/1797.08 c zirounding : 46.90 0.00 6942 223
1796.70/1797.08 c rounding : 18.37 0.00 3531 1
1796.70/1797.08 c shifting : 2.79 0.00 430 1
1796.70/1797.08 c intshifting : 0.00 0.00 0 0
1796.70/1797.08 c twoopt : 0.00 0.00 0 0
1796.70/1797.08 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.08 c indoneopt : 0.03 0.00 0 0
1796.70/1797.08 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.08 c feaspump : 0.00 0.00 0 0
1796.70/1797.08 c clique : 0.00 0.00 0 0
1796.70/1797.08 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.08 c indrounding : 0.00 0.00 0 0
1796.70/1797.08 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.08 c fracdiving : 59.91 0.00 60 6
1796.70/1797.08 c veclendiving : 171.19 0.00 82 2
1796.70/1797.08 c intdiving : 0.00 0.00 0 0
1796.70/1797.08 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.08 c octane : 0.00 0.00 0 0
1796.70/1797.08 c rens : 2.45 0.00 1 1
1796.70/1797.08 c rins : 0.00 0.00 0 0
1796.70/1797.08 c localbranching : 0.00 0.00 0 0
1796.70/1797.08 c mutation : 0.00 0.00 0 0
1796.70/1797.08 c dins : 0.00 0.00 0 0
1796.70/1797.08 c vbounds : 0.00 0.00 0 0
1796.70/1797.08 c undercover : 0.00 0.00 0 0
1796.70/1797.08 c subnlp : 0.01 0.00 0 0
1796.70/1797.08 c trysol : 0.02 0.00 0 0
1796.70/1797.08 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.08 c primal LP : 0.10 5 0 0.00 0.00 0.10 5
1796.70/1797.08 c dual LP : 522.83 7599 438530 58.74 838.76 2.45 133
1796.70/1797.08 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.08 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.08 c diving/probing LP: 533.99 17081 311575 18.24 583.48
1796.70/1797.08 c strong branching : 392.01 3409 250425 73.46 638.82
1796.70/1797.08 c (at root node) : - 18 2025 112.50 -
1796.70/1797.08 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.08 c B&B Tree :
1796.70/1797.08 c number of runs : 1
1796.70/1797.08 c nodes : 7406
1796.70/1797.08 c nodes (total) : 7406
1796.70/1797.08 c nodes left : 6202
1796.70/1797.08 c max depth : 54
1796.70/1797.08 c max depth (total): 54
1796.70/1797.08 c backtracks : 991 (13.4%)
1796.70/1797.08 c delayed cutoffs : 0
1796.70/1797.08 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.70/1797.08 c avg switch length: 5.53
1796.70/1797.08 c switching time : 21.39
1796.70/1797.08 c Solution :
1796.70/1797.08 c Solutions found : 592 (8 improvements)
1796.70/1797.08 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.37 seconds, depth 0, found by <trivial>)
1796.70/1797.08 c Primal Bound : -4.40000000000000e+01 (in run 1, after 3837 nodes, 1036.93 seconds, depth 38, found by <pscostdiving>)
1796.70/1797.08 c Dual Bound : -5.00000000000000e+01
1796.70/1797.08 c Gap : 13.64 %
1796.70/1797.08 c Root Dual Bound : -5.08333333333333e+01
1796.70/1797.08 c Root Iterations : 20432
1797.11/1797.42 c Time complete: 1797.13.
OK -44
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-3690944-1338018856/watcher-3690944-1338018856 -o /tmp/evaluation-result-3690944-1338018856/solver-3690944-1338018856 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690944-1338018856.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 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 2.00 1.84 3/176 5981 /proc/meminfo: memFree=28983352/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=11140 CPUtime=0 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 1543 0 0 0 0 0 0 0 20 0 1 0 268011193 11407360 1498 33554432000 4194304 10173063 140737366986304 140735786418888 8800002 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 2785 1501 416 1460 0 1316 0 [startup+0.060215 s] /proc/loadavg: 2.00 2.00 1.84 3/176 5981 /proc/meminfo: memFree=28983352/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=20220 CPUtime=0.05 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 3784 0 0 0 5 0 0 0 20 0 1 0 268011193 20705280 3740 33554432000 4194304 10173063 140737366986304 140737366850808 8801789 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 5055 3770 416 1460 0 3586 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 20220 [startup+0.100349 s] /proc/loadavg: 2.00 2.00 1.84 3/176 5981 /proc/meminfo: memFree=28983352/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=25128 CPUtime=0.09 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 5038 0 0 0 9 0 0 0 20 0 1 0 268011193 25731072 4993 33554432000 4194304 10173063 140737366986304 140737366850808 5479875 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 6282 4993 416 1460 0 4813 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 25128 [startup+0.300301 s] /proc/loadavg: 2.00 2.00 1.84 3/176 5981 /proc/meminfo: memFree=28983352/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=97324 CPUtime=0.28 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 22544 0 0 0 26 2 0 0 20 0 1 0 268011193 99659776 22472 33554432000 4194304 10173063 140737366986304 140737366850808 7545739 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 24331 22472 511 1460 0 22862 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 97324 [startup+0.700323 s] /proc/loadavg: 2.00 2.00 1.84 3/176 5981 /proc/meminfo: memFree=28983352/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=110864 CPUtime=0.69 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 28856 0 0 0 49 20 0 0 20 0 1 0 268011193 113524736 25820 33554432000 4194304 10173063 140737366986304 140737366850808 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 27716 25820 551 1460 0 26247 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 110864 [startup+1.50032 s] /proc/loadavg: 2.00 2.00 1.84 3/177 5982 /proc/meminfo: memFree=28854368/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=130604 CPUtime=1.49 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 38266 0 0 0 105 44 0 0 20 0 1 0 268011193 133738496 30722 33554432000 4194304 10173063 140737366986304 140737366983304 4926699 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 32651 30722 585 1460 0 31182 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 130604 [startup+3.10032 s] /proc/loadavg: 2.00 2.00 1.84 3/177 5982 /proc/meminfo: memFree=28768848/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=256308 CPUtime=3.09 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 64012 0 0 0 258 51 0 0 20 0 1 0 268011193 262459392 60336 33554432000 4194304 10173063 140737366986304 140737366979560 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 64077 60336 744 1460 0 62608 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 256308 [startup+6.30033 s] /proc/loadavg: 2.00 2.00 1.84 3/177 5982 /proc/meminfo: memFree=28754520/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=250588 CPUtime=6.29 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 65321 0 0 0 561 68 0 0 20 0 1 0 268011193 256602112 58074 33554432000 4194304 10173063 140737366986304 140737366981464 7910525 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 62647 58074 778 1460 0 61178 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 250588 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 1.84 3/177 5982 /proc/meminfo: memFree=28720480/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=254000 CPUtime=12.68 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 67148 0 0 0 1198 70 0 0 20 0 1 0 268011193 260096000 60347 33554432000 4194304 10173063 140737366986304 140737366979560 7274109 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 63500 60347 780 1460 0 62031 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 254000 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 1.84 3/177 5982 /proc/meminfo: memFree=28715632/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=258600 CPUtime=25.49 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 68527 0 0 0 2477 72 0 0 20 0 1 0 268011193 264806400 61726 33554432000 4194304 10173063 140737366986304 140737366981464 7283389 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 64650 61726 780 1460 0 63181 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 258600 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 1.84 3/177 5982 /proc/meminfo: memFree=28708020/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=265292 CPUtime=51.08 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 69312 0 0 0 5032 76 0 0 20 0 1 0 268011193 271659008 63533 33554432000 4194304 10173063 140737366986304 140737366979944 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 66323 63533 780 1460 0 64854 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 265292 [startup+102.307 s] /proc/loadavg: 2.07 2.02 1.85 3/177 5982 /proc/meminfo: memFree=28646068/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=322552 CPUtime=102.28 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 84470 0 0 0 10119 109 0 0 20 0 1 0 268011193 330293248 78684 33554432000 4194304 10173063 140737366986304 140737366979480 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 80638 78684 831 1460 0 79169 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 322552 [startup+162.3 s] /proc/loadavg: 2.09 2.03 1.87 3/177 5982 /proc/meminfo: memFree=28645120/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=322552 CPUtime=162.26 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 84477 0 0 0 16109 117 0 0 20 0 1 0 268011193 330293248 78860 33554432000 4194304 10173063 140737366986304 140737366979576 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 80638 78860 832 1460 0 79169 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 322552 [startup+222.3 s] /proc/loadavg: 2.03 2.02 1.87 3/177 5983 /proc/meminfo: memFree=28654660/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=322552 CPUtime=222.25 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 84486 0 0 0 22098 127 0 0 20 0 1 0 268011193 330293248 78979 33554432000 4194304 10173063 140737366986304 140737366979752 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 80638 78979 832 1460 0 79169 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 322552 [startup+282.3 s] /proc/loadavg: 2.01 2.01 1.88 3/177 5983 /proc/meminfo: memFree=28647368/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=310952 CPUtime=282.23 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 87601 0 0 0 28067 156 0 0 20 0 1 0 268011193 318414848 76443 33554432000 4194304 10173063 140737366986304 140737366979752 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 77738 76443 837 1460 0 76269 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 310952 [startup+342.3 s] /proc/loadavg: 2.00 2.01 1.88 3/177 5983 /proc/meminfo: memFree=28601736/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=349416 CPUtime=342.22 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 96837 0 0 0 34036 186 0 0 20 0 1 0 268011193 357801984 85679 33554432000 4194304 10173063 140737366986304 140737366980136 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 87354 85679 837 1460 0 85885 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 349416 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.89 3/178 5986 /proc/meminfo: memFree=28593884/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=349416 CPUtime=402.22 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 96837 0 0 0 40023 199 0 0 20 0 1 0 268011193 357801984 85679 33554432000 4194304 10173063 140737366986304 140737366981272 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 87354 85679 837 1460 0 85885 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 349416 [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.90 3/178 6009 /proc/meminfo: memFree=28578260/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=347640 CPUtime=462.21 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 104215 0 0 0 45993 228 0 0 20 0 1 0 268011193 355983360 85620 33554432000 4194304 10173063 140737366986304 140737366979432 8033078 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 86910 85620 838 1460 0 85441 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 347640 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.90 3/177 6010 /proc/meminfo: memFree=28569216/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=347640 CPUtime=522.2 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 104216 0 0 0 51982 238 0 0 20 0 1 0 268011193 355983360 85621 33554432000 4194304 10173063 140737366986304 140737366979944 7934860 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 86910 85621 838 1460 0 85441 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 347640 [startup+582.3 s] /proc/loadavg: 2.07 2.02 1.91 3/177 6010 /proc/meminfo: memFree=28560128/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=347640 CPUtime=582.19 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 104216 0 0 0 57970 249 0 0 20 0 1 0 268011193 355983360 85621 33554432000 4194304 10173063 140737366986304 140737366980024 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 86910 85621 838 1460 0 85441 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 347640 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=28433272/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=387620 CPUtime=1122.1 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 146704 0 0 0 111821 389 0 0 20 0 1 0 268011193 396922880 94135 33554432000 4194304 10173063 140737366986304 140737366979688 5123085 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 96905 94135 838 1460 0 95436 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 387620 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.92 3/177 6015 /proc/meminfo: memFree=28420748/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=394620 CPUtime=1182.1 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 170627 0 0 0 117787 423 0 0 20 0 1 0 268011193 404090880 96023 33554432000 4194304 10173063 140737366986304 140737366982776 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 98655 96023 838 1460 0 97186 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 394620 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.92 3/177 6015 /proc/meminfo: memFree=28398924/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=405580 CPUtime=1242.09 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 172826 0 0 0 123775 434 0 0 20 0 1 0 268011193 415313920 98218 33554432000 4194304 10173063 140737366986304 140737366979784 6868652 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 101395 98218 838 1460 0 99926 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 405580 [startup+1302.3 s] /proc/loadavg: 2.04 2.01 1.92 3/177 6015 /proc/meminfo: memFree=28381244/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=408084 CPUtime=1302.09 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 173952 0 0 0 129763 446 0 0 20 0 1 0 268011193 417878016 99344 33554432000 4194304 10173063 140737366986304 140737366980136 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 102021 99344 838 1460 0 100552 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 408084 [startup+1362.3 s] /proc/loadavg: 2.01 2.01 1.92 3/177 6015 /proc/meminfo: memFree=28358764/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=417544 CPUtime=1362.07 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 175805 0 0 0 135749 458 0 0 20 0 1 0 268011193 427565056 102095 33554432000 4194304 10173063 140737366986304 140737366979944 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 104386 102095 838 1460 0 102917 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 417544 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.92 3/177 6015 /proc/meminfo: memFree=28338304/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=428640 CPUtime=1422.07 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 197274 0 0 0 141715 492 0 0 20 0 1 0 268011193 438927360 105065 33554432000 4194304 10173063 140737366986304 140737366979480 7684008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 107160 105065 838 1460 0 105691 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 428640 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.92 3/177 6016 /proc/meminfo: memFree=28324044/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=436532 CPUtime=1482.05 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 198829 0 0 0 147699 506 0 0 20 0 1 0 268011193 447008768 106620 33554432000 4194304 10173063 140737366986304 140737366979944 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 109133 106620 838 1460 0 107664 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 436532 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.92 3/177 6016 /proc/meminfo: memFree=28305008/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=443836 CPUtime=1542.04 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 200679 0 0 0 153684 520 0 0 20 0 1 0 268011193 454488064 108465 33554432000 4194304 10173063 140737366986304 140737366981336 7911886 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 110959 108465 838 1460 0 109490 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 443836 [startup+1602.3 s] /proc/loadavg: 2.08 2.02 1.93 3/178 6019 /proc/meminfo: memFree=28282596/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=455268 CPUtime=1602.03 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 224567 0 0 0 159649 554 0 0 20 0 1 0 268011193 466194432 111145 33554432000 4194304 10173063 140737366986304 140737366980024 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 113817 111145 838 1460 0 112348 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 455268 [startup+1662.3 s] /proc/loadavg: 2.03 2.01 1.93 3/177 6019 /proc/meminfo: memFree=28266608/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=462708 CPUtime=1662.03 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 226695 0 0 0 165639 564 0 0 20 0 1 0 268011193 473812992 113272 33554432000 4194304 10173063 140737366986304 140737366979240 8012051 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 115677 113272 838 1460 0 114208 0 Current children cumulated CPU time (s) 1662.03 Current children cumulated vsize (KiB) 462708 [startup+1722.3 s] /proc/loadavg: 2.01 2.00 1.93 3/177 6019 /proc/meminfo: memFree=28244660/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=474640 CPUtime=1722.01 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 228761 0 0 0 171625 576 0 0 20 0 1 0 268011193 486031360 115309 33554432000 4194304 10173063 140737366986304 140737366978968 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 118660 115309 838 1460 0 117191 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 474640 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 6058 /proc/meminfo: memFree=28579640/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=476828 CPUtime=1782.01 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 230160 0 0 0 177614 587 0 0 20 0 1 0 268011193 488271872 116708 33554432000 4194304 10173063 140737366986304 140737366979560 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 119207 116708 838 1460 0 117738 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 476828 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.93 3/177 6058 /proc/meminfo: memFree=28576664/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=478496 CPUtime=1785.2 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 230333 0 0 0 177933 587 0 0 20 0 1 0 268011193 489979904 116877 33554432000 4194304 10173063 140737366986304 140737366979560 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 119624 116877 838 1460 0 118155 0 Current children cumulated CPU time (s) 1785.2 Current children cumulated vsize (KiB) 478496 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.93 3/177 6096 /proc/meminfo: memFree=28598968/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=478496 CPUtime=1791.61 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 230428 0 0 0 178572 589 0 0 20 0 1 0 268011193 489979904 116972 33554432000 4194304 10173063 140737366986304 140737366981672 8038416 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 119624 116972 838 1460 0 118155 0 Current children cumulated CPU time (s) 1791.61 Current children cumulated vsize (KiB) 478496 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.93 3/177 6096 /proc/meminfo: memFree=28599092/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=478496 CPUtime=1794.81 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 230483 0 0 0 178891 590 0 0 20 0 1 0 268011193 489979904 117027 33554432000 4194304 10173063 140737366986304 140737366981336 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 119624 117027 838 1460 0 118155 0 Current children cumulated CPU time (s) 1794.81 Current children cumulated vsize (KiB) 478496 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 1.93 3/177 6096 /proc/meminfo: memFree=28598408/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=479232 CPUtime=1796.4 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 230589 0 0 0 179050 590 0 0 20 0 1 0 268011193 490733568 117133 33554432000 4194304 10173063 140737366986304 140737366979640 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 119808 117133 838 1460 0 118339 0 Current children cumulated CPU time (s) 1796.4 Current children cumulated vsize (KiB) 479232 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 1.93 3/177 6096 /proc/meminfo: memFree=28598408/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=479232 CPUtime=1796.8 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 230618 0 0 0 179090 590 0 0 20 0 1 0 268011193 490733568 117162 33554432000 4194304 10173063 140737366986304 140737366979752 4953292 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 119808 117162 840 1460 0 118339 0 Current children cumulated CPU time (s) 1796.8 Current children cumulated vsize (KiB) 479232 [startup+1797.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 6096 /proc/meminfo: memFree=28600268/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=475912 CPUtime=1797.02 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 230618 0 0 0 179111 591 0 0 20 0 1 0 268011193 487333888 116332 33554432000 4194304 10173063 140737366986304 140737366979752 8992599 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 118978 116332 840 1460 0 117509 0 Current children cumulated CPU time (s) 1797.02 Current children cumulated vsize (KiB) 475912 [startup+1797.41 s] /proc/loadavg: 2.00 2.00 1.93 3/177 6096 /proc/meminfo: memFree=28600268/32873844 swapFree=7616/7616 [pid=5981] ppid=5979 vsize=448388 CPUtime=1797.11 cores=1,3,5,7 /proc/5981/stat : 5981 (scip-2.1.1.4fix) R 5979 5981 5654 0 -1 4202496 230618 0 0 0 179120 591 0 0 20 0 1 0 268011193 459149312 109709 33554432000 4194304 10173063 140737366986304 140737366979752 7550179 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/5981/statm: 112097 109709 840 1460 0 110628 0 Current children cumulated CPU time (s) 1797.11 Current children cumulated vsize (KiB) 448388 Child status: 0 Real time (s): 1797.43 CPU time (s): 1797.14 CPU user time (s): 1791.22 CPU system time (s): 5.9221 CPU usage (%): 99.9841 Max. virtual memory (cumulated for all children) (KiB): 525556 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.22 system time used= 5.9221 maximum resident set size= 519956 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 230620 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= 20 involuntary context switches= 1949 runsolver used 3.00654 second user time and 8.96764 second system time The end
Begin job on node130 at 2012-05-26 09:54:16 IDJOB=3690944 IDBENCH=2261 IDSOLVER=2270 FILE ID=node130/3690944-1338018856 RUNJOBID= node130-1338016923-5672 PBS_JOBID= 14624341 Free space on /tmp= 71388 MiB SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690944-1338018856/watcher-3690944-1338018856 -o /tmp/evaluation-result-3690944-1338018856/solver-3690944-1338018856 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690944-1338018856.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 29f577041bedcbf69a98210424b233be RANDOM SEED=975455876 node130.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 : 2666.875 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 : 5333.75 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 : 2666.875 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 : 2666.875 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.91 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 : 2666.875 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.86 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 : 2666.875 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.91 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 : 2666.875 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.92 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 : 2666.875 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 : 2666.875 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 : 5228.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28983732 kB Buffers: 228864 kB Cached: 2681812 kB SwapCached: 0 kB Active: 1004472 kB Inactive: 2106872 kB Active(anon): 202968 kB Inactive(anon): 0 kB Active(file): 801504 kB Inactive(file): 2106872 kB Unevictable: 7616 kB Mlocked: 7616 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 30848 kB Writeback: 0 kB AnonPages: 209668 kB Mapped: 17428 kB Shmem: 200 kB Slab: 637820 kB SReclaimable: 79984 kB SUnreclaim: 557836 kB KernelStack: 1456 kB PageTables: 4512 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 320104 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 30720 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= 71372 MiB End job on node130 at 2012-05-26 10:24:13