| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.08 | 1800.58 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par32-2.opb |
| MD5SUM | 0b8531b64d2ca93b44d439b9cb9fcfaa |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 6352 |
| Total number of constraints | 13429 |
| Number of constraints which are clauses | 13429 |
| 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 | 1 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 6352 |
| 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 | 6352 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 6352 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2663998-1276455816.opb>
0.19/0.25 c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13429 constraints
0.19/0.25 c problem read
0.19/0.25 c presolving settings loaded
0.19/0.25 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.28/0.36 c presolving:
0.39/0.46 c (round 1) 2972 del vars, 502 del conss, 331 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 38894 impls, 0 clqs
0.48/0.52 c (round 2) 3246 del vars, 4518 del conss, 363 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 48820 impls, 0 clqs
0.48/0.55 c (round 3) 3283 del vars, 4951 del conss, 378 chg bounds, 3 chg sides, 6 chg coeffs, 0 upgd conss, 49175 impls, 0 clqs
0.48/0.56 c (round 4) 3318 del vars, 5037 del conss, 392 chg bounds, 6 chg sides, 12 chg coeffs, 0 upgd conss, 49532 impls, 0 clqs
0.48/0.57 c (round 5) 3350 del vars, 5120 del conss, 405 chg bounds, 9 chg sides, 18 chg coeffs, 0 upgd conss, 49951 impls, 0 clqs
0.48/0.58 c (round 6) 3378 del vars, 5193 del conss, 416 chg bounds, 12 chg sides, 24 chg coeffs, 0 upgd conss, 50234 impls, 0 clqs
0.48/0.60 c (round 7) 3402 del vars, 5256 del conss, 425 chg bounds, 15 chg sides, 30 chg coeffs, 0 upgd conss, 50473 impls, 0 clqs
0.59/0.61 c (round 8) 3422 del vars, 5309 del conss, 432 chg bounds, 18 chg sides, 36 chg coeffs, 0 upgd conss, 50788 impls, 0 clqs
0.59/0.62 c (round 9) 3438 del vars, 5353 del conss, 438 chg bounds, 21 chg sides, 42 chg coeffs, 0 upgd conss, 50975 impls, 0 clqs
0.59/0.63 c (round 10) 3454 del vars, 5393 del conss, 444 chg bounds, 24 chg sides, 48 chg coeffs, 0 upgd conss, 51120 impls, 0 clqs
0.59/0.64 c (round 11) 3470 del vars, 5433 del conss, 450 chg bounds, 27 chg sides, 54 chg coeffs, 0 upgd conss, 51375 impls, 0 clqs
0.59/0.65 c (round 12) 3486 del vars, 5473 del conss, 456 chg bounds, 30 chg sides, 60 chg coeffs, 0 upgd conss, 51534 impls, 0 clqs
0.59/0.66 c (round 13) 3502 del vars, 5513 del conss, 462 chg bounds, 33 chg sides, 66 chg coeffs, 0 upgd conss, 51781 impls, 0 clqs
0.59/0.68 c (round 14) 3518 del vars, 5553 del conss, 468 chg bounds, 36 chg sides, 72 chg coeffs, 0 upgd conss, 52022 impls, 0 clqs
0.59/0.69 c (round 15) 3534 del vars, 5593 del conss, 474 chg bounds, 39 chg sides, 78 chg coeffs, 0 upgd conss, 52173 impls, 0 clqs
0.68/0.70 c (round 16) 3551 del vars, 5634 del conss, 481 chg bounds, 42 chg sides, 84 chg coeffs, 0 upgd conss, 52324 impls, 0 clqs
0.68/0.71 c (round 17) 3567 del vars, 5674 del conss, 487 chg bounds, 45 chg sides, 90 chg coeffs, 0 upgd conss, 52479 impls, 0 clqs
0.68/0.72 c (round 18) 3583 del vars, 5714 del conss, 493 chg bounds, 48 chg sides, 96 chg coeffs, 0 upgd conss, 52636 impls, 0 clqs
0.68/0.73 c (round 19) 3599 del vars, 5754 del conss, 499 chg bounds, 51 chg sides, 102 chg coeffs, 0 upgd conss, 52911 impls, 0 clqs
0.68/0.74 c (round 20) 3615 del vars, 5794 del conss, 505 chg bounds, 54 chg sides, 108 chg coeffs, 0 upgd conss, 53110 impls, 0 clqs
0.68/0.75 c (round 21) 3631 del vars, 5834 del conss, 511 chg bounds, 57 chg sides, 114 chg coeffs, 0 upgd conss, 53307 impls, 0 clqs
0.68/0.77 c (round 22) 3647 del vars, 5874 del conss, 517 chg bounds, 60 chg sides, 120 chg coeffs, 0 upgd conss, 53532 impls, 0 clqs
0.68/0.78 c (round 23) 3656 del vars, 5909 del conss, 525 chg bounds, 63 chg sides, 126 chg coeffs, 0 upgd conss, 53572 impls, 0 clqs
0.68/0.79 c (round 24) 3672 del vars, 5943 del conss, 535 chg bounds, 65 chg sides, 130 chg coeffs, 0 upgd conss, 53659 impls, 0 clqs
0.78/0.80 c (round 25) 3687 del vars, 5985 del conss, 544 chg bounds, 66 chg sides, 132 chg coeffs, 0 upgd conss, 53754 impls, 0 clqs
0.78/0.81 c (round 26) 3703 del vars, 6026 del conss, 554 chg bounds, 67 chg sides, 134 chg coeffs, 0 upgd conss, 53865 impls, 0 clqs
0.78/0.82 c (round 27) 3718 del vars, 6064 del conss, 563 chg bounds, 68 chg sides, 136 chg coeffs, 0 upgd conss, 53990 impls, 0 clqs
0.78/0.83 c (round 28) 3734 del vars, 6105 del conss, 574 chg bounds, 69 chg sides, 138 chg coeffs, 0 upgd conss, 54089 impls, 0 clqs
0.78/0.84 c (round 29) 3751 del vars, 6147 del conss, 587 chg bounds, 73 chg sides, 146 chg coeffs, 0 upgd conss, 54185 impls, 0 clqs
0.78/0.85 c (round 30) 3763 del vars, 6182 del conss, 597 chg bounds, 76 chg sides, 152 chg coeffs, 0 upgd conss, 54281 impls, 0 clqs
0.78/0.86 c (round 31) 3778 del vars, 6217 del conss, 608 chg bounds, 79 chg sides, 158 chg coeffs, 0 upgd conss, 54327 impls, 0 clqs
0.78/0.87 c (round 32) 3793 del vars, 6255 del conss, 619 chg bounds, 82 chg sides, 164 chg coeffs, 0 upgd conss, 54408 impls, 0 clqs
0.78/0.88 c (round 33) 3806 del vars, 6293 del conss, 629 chg bounds, 85 chg sides, 168 chg coeffs, 0 upgd conss, 54466 impls, 0 clqs
0.78/0.89 c (round 34) 3824 del vars, 6329 del conss, 640 chg bounds, 86 chg sides, 170 chg coeffs, 0 upgd conss, 54583 impls, 0 clqs
0.89/0.90 c (round 35) 3839 del vars, 6373 del conss, 653 chg bounds, 89 chg sides, 176 chg coeffs, 0 upgd conss, 54645 impls, 0 clqs
0.89/0.91 c (round 36) 3854 del vars, 6410 del conss, 664 chg bounds, 94 chg sides, 186 chg coeffs, 0 upgd conss, 54707 impls, 0 clqs
0.89/0.92 c (round 37) 3874 del vars, 6448 del conss, 678 chg bounds, 96 chg sides, 190 chg coeffs, 0 upgd conss, 54833 impls, 0 clqs
0.89/0.93 c (round 38) 3888 del vars, 6496 del conss, 688 chg bounds, 98 chg sides, 194 chg coeffs, 0 upgd conss, 54911 impls, 0 clqs
0.89/0.94 c (round 39) 3904 del vars, 6525 del conss, 698 chg bounds, 98 chg sides, 194 chg coeffs, 0 upgd conss, 54999 impls, 0 clqs
0.89/0.95 c (round 40) 3921 del vars, 6573 del conss, 713 chg bounds, 101 chg sides, 200 chg coeffs, 0 upgd conss, 55058 impls, 0 clqs
0.89/0.96 c (round 41) 3936 del vars, 6612 del conss, 725 chg bounds, 104 chg sides, 206 chg coeffs, 0 upgd conss, 55109 impls, 0 clqs
0.89/0.97 c (round 42) 3950 del vars, 6649 del conss, 737 chg bounds, 106 chg sides, 210 chg coeffs, 0 upgd conss, 55175 impls, 0 clqs
0.89/0.98 c (round 43) 3968 del vars, 6690 del conss, 752 chg bounds, 108 chg sides, 214 chg coeffs, 0 upgd conss, 55228 impls, 0 clqs
0.89/0.99 c (round 44) 3983 del vars, 6724 del conss, 765 chg bounds, 109 chg sides, 216 chg coeffs, 0 upgd conss, 55305 impls, 0 clqs
1.00/1.00 c (round 45) 3989 del vars, 6755 del conss, 771 chg bounds, 109 chg sides, 216 chg coeffs, 0 upgd conss, 55323 impls, 0 clqs
1.00/1.01 c (round 46) 4008 del vars, 6785 del conss, 785 chg bounds, 110 chg sides, 218 chg coeffs, 0 upgd conss, 55400 impls, 0 clqs
1.00/1.02 c (round 47) 4024 del vars, 6822 del conss, 795 chg bounds, 112 chg sides, 222 chg coeffs, 0 upgd conss, 55506 impls, 0 clqs
1.00/1.03 c (round 48) 4038 del vars, 6865 del conss, 808 chg bounds, 117 chg sides, 232 chg coeffs, 0 upgd conss, 55597 impls, 0 clqs
1.00/1.04 c (round 49) 4053 del vars, 6911 del conss, 821 chg bounds, 122 chg sides, 242 chg coeffs, 0 upgd conss, 55684 impls, 0 clqs
1.00/1.05 c (round 50) 4067 del vars, 6946 del conss, 832 chg bounds, 124 chg sides, 246 chg coeffs, 0 upgd conss, 55751 impls, 0 clqs
1.00/1.06 c (round 51) 4084 del vars, 6979 del conss, 845 chg bounds, 127 chg sides, 252 chg coeffs, 0 upgd conss, 55829 impls, 0 clqs
1.00/1.07 c (round 52) 4101 del vars, 7019 del conss, 857 chg bounds, 131 chg sides, 260 chg coeffs, 0 upgd conss, 55932 impls, 0 clqs
1.00/1.09 c (round 53) 4115 del vars, 7062 del conss, 869 chg bounds, 135 chg sides, 267 chg coeffs, 0 upgd conss, 56002 impls, 0 clqs
1.00/1.09 c (round 54) 4123 del vars, 7095 del conss, 881 chg bounds, 139 chg sides, 275 chg coeffs, 0 upgd conss, 56089 impls, 0 clqs
1.00/1.10 c (round 55) 4141 del vars, 7137 del conss, 895 chg bounds, 141 chg sides, 279 chg coeffs, 0 upgd conss, 56134 impls, 0 clqs
1.10/1.11 c (round 56) 4157 del vars, 7175 del conss, 912 chg bounds, 147 chg sides, 291 chg coeffs, 0 upgd conss, 56163 impls, 0 clqs
1.10/1.12 c (round 57) 4173 del vars, 7214 del conss, 927 chg bounds, 150 chg sides, 297 chg coeffs, 0 upgd conss, 56200 impls, 0 clqs
1.10/1.13 c (round 58) 4187 del vars, 7250 del conss, 939 chg bounds, 154 chg sides, 305 chg coeffs, 0 upgd conss, 56236 impls, 0 clqs
1.10/1.14 c (round 59) 4208 del vars, 7276 del conss, 951 chg bounds, 154 chg sides, 305 chg coeffs, 0 upgd conss, 56396 impls, 0 clqs
1.10/1.15 c (round 60) 4217 del vars, 7327 del conss, 960 chg bounds, 154 chg sides, 305 chg coeffs, 0 upgd conss, 56448 impls, 0 clqs
1.10/1.16 c (round 61) 4223 del vars, 7346 del conss, 969 chg bounds, 157 chg sides, 311 chg coeffs, 0 upgd conss, 56474 impls, 0 clqs
1.10/1.17 c (round 62) 4234 del vars, 7370 del conss, 978 chg bounds, 159 chg sides, 315 chg coeffs, 0 upgd conss, 56507 impls, 0 clqs
1.10/1.18 c (round 63) 4239 del vars, 7384 del conss, 982 chg bounds, 159 chg sides, 315 chg coeffs, 0 upgd conss, 56523 impls, 0 clqs
1.10/1.19 c (round 64) 4245 del vars, 7399 del conss, 989 chg bounds, 160 chg sides, 317 chg coeffs, 0 upgd conss, 56542 impls, 0 clqs
1.10/1.20 c (round 65) 4253 del vars, 7417 del conss, 996 chg bounds, 162 chg sides, 321 chg coeffs, 0 upgd conss, 56567 impls, 0 clqs
1.19/1.20 c (round 66) 4257 del vars, 7430 del conss, 1000 chg bounds, 162 chg sides, 321 chg coeffs, 0 upgd conss, 56623 impls, 0 clqs
1.19/1.21 c (round 67) 4257 del vars, 7431 del conss, 1000 chg bounds, 162 chg sides, 321 chg coeffs, 0 upgd conss, 56643 impls, 0 clqs
1.29/1.34 c (round 68) 4257 del vars, 7440 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 56643 impls, 0 clqs
1.49/1.54 c (round 69) 4307 del vars, 7440 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 110535 impls, 0 clqs
1.49/1.55 c (round 70) 4308 del vars, 7446 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 110593 impls, 0 clqs
1.49/1.58 c (round 71) 4310 del vars, 7446 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 110649 impls, 0 clqs
1.69/1.78 c (round 72) 4360 del vars, 7446 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 113939 impls, 0 clqs
1.79/1.82 c (round 73) 4360 del vars, 7448 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 113939 impls, 0 clqs
1.88/1.95 c (round 74) 4410 del vars, 7448 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 114905 impls, 0 clqs
1.88/1.98 c (round 75) 4410 del vars, 7452 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 114905 impls, 0 clqs
1.99/2.02 c (round 76) 4410 del vars, 7455 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 114905 impls, 0 clqs
1.99/2.09 c (round 77) 4410 del vars, 7465 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 114905 impls, 0 clqs
2.09/2.20 c (1.6s) probing: 834/2095 (39.8%) - 1 fixings, 183 aggregations, 5531 implications, 0 bound changes
2.09/2.20 c (1.6s) probing aborted: 100/100 successive totally useless probings
2.09/2.20 c (round 78) 4444 del vars, 7465 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 115321 impls, 0 clqs
2.20/2.23 c (1.6s) probing: 844/2095 (40.3%) - 1 fixings, 183 aggregations, 5531 implications, 0 bound changes
2.20/2.23 c (1.6s) probing aborted: 100/100 successive totally useless probings
2.20/2.23 c presolving (79 rounds):
2.20/2.23 c 4444 deleted vars, 7465 deleted constraints, 1000 tightened bounds, 0 added holes, 171 changed sides, 321 changed coefficients
2.20/2.23 c 115321 implications, 0 cliques
2.20/2.23 c presolved problem has 1908 variables (1908 bin, 0 int, 0 impl, 0 cont) and 5964 constraints
2.20/2.23 c 5964 constraints of type <logicor>
2.20/2.23 c transformed objective value is always integral (scale: 1)
2.20/2.23 c Presolving Time: 1.57
2.20/2.23 c - non default parameters ----------------------------------------------------------------------
2.20/2.23 c # SCIP version 1.2.1.2
2.20/2.23 c
2.20/2.23 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.20/2.23 c # [type: int, range: [-1,2147483647], default: -1]
2.20/2.23 c conflict/interconss = 0
2.20/2.23 c
2.20/2.23 c # should binary conflicts be preferred?
2.20/2.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.20/2.23 c conflict/preferbinary = TRUE
2.20/2.23 c
2.20/2.23 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.20/2.23 c # [type: int, range: [-1,2147483647], default: 0]
2.20/2.23 c constraints/agelimit = 1
2.20/2.23 c
2.20/2.23 c # should enforcement of pseudo solution be disabled?
2.20/2.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.20/2.23 c constraints/disableenfops = TRUE
2.20/2.23 c
2.20/2.23 c # frequency for displaying node information lines
2.20/2.23 c # [type: int, range: [-1,2147483647], default: 100]
2.20/2.23 c display/freq = 10000
2.20/2.23 c
2.20/2.23 c # maximal time in seconds to run
2.20/2.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.20/2.23 c limits/time = 1799.75
2.20/2.23 c
2.20/2.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.20/2.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.20/2.23 c limits/memory = 1620
2.20/2.23 c
2.20/2.23 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.20/2.23 c # [type: int, range: [-1,2147483647], default: 1]
2.20/2.23 c lp/solvefreq = -1
2.20/2.23 c
2.20/2.23 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
2.20/2.23 c # [type: char, range: {lafpsqd}, default: l]
2.20/2.23 c lp/pricing = a
2.20/2.23 c
2.20/2.23 c # should presolving try to simplify inequalities
2.20/2.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.20/2.23 c constraints/linear/simplifyinequalities = TRUE
2.20/2.23 c
2.20/2.23 c # should presolving try to simplify knapsacks
2.20/2.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.20/2.23 c constraints/knapsack/simplifyinequalities = TRUE
2.20/2.23 c
2.20/2.23 c # priority of node selection rule <dfs> in standard mode
2.20/2.23 c # [type: int, range: [-536870912,536870911], default: 0]
2.20/2.23 c nodeselection/dfs/stdpriority = 1000000
2.20/2.23 c
2.20/2.23 c -----------------------------------------------------------------------------------------------
2.20/2.23 c start solving
2.20/2.23 c
2.20/2.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.20/2.23 c 1.6s| 1 | 2 | 0 | - | 19M| 0 | - |1908 |5964 | 0 | 0 | 0 | 0 | 0 | 2.569000e+03 | -- | Inf
32.38/32.40 c 30.8s| 10000 | 43 | 0 | 0.0 | 20M| 67 | - |1908 |6226 | 0 | 0 | 0 |7450 | 0 | 2.569000e+03 | -- | Inf
61.77/61.84 c 59.3s| 20000 | 44 | 0 | 0.0 | 20M| 67 | - |1908 |6264 | 0 | 0 | 0 | 14k| 0 | 2.569000e+03 | -- | Inf
91.86/91.91 c 88.3s| 30000 | 43 | 0 | 0.0 | 20M| 67 | - |1908 |6289 | 0 | 0 | 0 | 22k| 0 | 2.569000e+03 | -- | Inf
122.06/122.16 c 118s| 40000 | 43 | 0 | 0.0 | 20M| 67 | - |1908 |6364 | 0 | 0 | 0 | 29k| 0 | 2.569000e+03 | -- | Inf
151.25/151.34 c 146s| 50000 | 48 | 0 | 0.0 | 20M| 67 | - |1908 |6342 | 0 | 0 | 0 | 37k| 0 | 2.569000e+03 | -- | Inf
183.64/183.78 c 177s| 60000 | 41 | 0 | 0.0 | 20M| 67 | - |1908 |6393 | 0 | 0 | 0 | 44k| 0 | 2.569000e+03 | -- | Inf
217.43/217.54 c 209s| 70000 | 38 | 0 | 0.0 | 20M| 67 | - |1908 |6433 | 0 | 0 | 0 | 50k| 0 | 2.569000e+03 | -- | Inf
252.21/252.30 c 243s| 80000 | 39 | 0 | 0.0 | 20M| 67 | - |1908 |6452 | 0 | 0 | 0 | 57k| 0 | 2.569000e+03 | -- | Inf
287.51/287.69 c 277s| 90000 | 39 | 0 | 0.0 | 20M| 67 | - |1908 |6446 | 0 | 0 | 0 | 65k| 0 | 2.569000e+03 | -- | Inf
324.20/324.30 c 312s|100000 | 39 | 0 | 0.0 | 20M| 67 | - |1908 |6443 | 0 | 0 | 0 | 72k| 0 | 2.569000e+03 | -- | Inf
368.79/368.96 c 355s|110000 | 41 | 0 | 0.0 | 20M| 67 | - |1908 |6442 | 0 | 0 | 0 | 80k| 0 | 2.569000e+03 | -- | Inf
411.58/411.79 c 396s|120000 | 41 | 0 | 0.0 | 20M| 67 | - |1908 |6493 | 0 | 0 | 0 | 87k| 0 | 2.569000e+03 | -- | Inf
456.86/457.07 c 440s|130000 | 39 | 0 | 0.0 | 20M| 67 | - |1908 |6647 | 0 | 0 | 0 | 93k| 0 | 2.569000e+03 | -- | Inf
499.15/499.35 c 480s|140000 | 43 | 0 | 0.0 | 20M| 67 | - |1908 |6688 | 0 | 0 | 0 | 101k| 0 | 2.569000e+03 | -- | Inf
538.64/538.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
538.64/538.89 c 518s|150000 | 37 | 0 | 0.0 | 20M| 67 | - |1908 |6740 | 0 | 0 | 0 | 109k| 0 | 2.569000e+03 | -- | Inf
578.12/578.34 c 557s|160000 | 40 | 0 | 0.0 | 20M| 67 | - |1908 |6942 | 0 | 0 | 0 | 117k| 0 | 2.569000e+03 | -- | Inf
614.73/614.97 c 592s|170000 | 37 | 0 | 0.0 | 20M| 67 | - |1908 |6873 | 0 | 0 | 0 | 125k| 0 | 2.569000e+03 | -- | Inf
650.01/650.29 c 626s|180000 | 40 | 0 | 0.0 | 20M| 67 | - |1908 |6881 | 0 | 0 | 0 | 133k| 0 | 2.569000e+03 | -- | Inf
687.50/687.79 c 662s|190000 | 41 | 0 | 0.0 | 20M| 67 | - |1908 |6887 | 0 | 0 | 0 | 141k| 0 | 2.569000e+03 | -- | Inf
724.39/724.61 c 698s|200000 | 42 | 0 | 0.0 | 20M| 67 | - |1908 |6920 | 0 | 0 | 0 | 149k| 0 | 2.569000e+03 | -- | Inf
759.28/759.54 c 731s|210000 | 39 | 0 | 0.0 | 20M| 67 | - |1908 |6968 | 0 | 0 | 0 | 157k| 0 | 2.569000e+03 | -- | Inf
799.38/799.70 c 770s|220000 | 39 | 0 | 0.0 | 20M| 67 | - |1908 |6956 | 0 | 0 | 0 | 165k| 0 | 2.569000e+03 | -- | Inf
837.87/838.11 c 807s|230000 | 38 | 0 | 0.0 | 20M| 67 | - |1908 |7025 | 0 | 0 | 0 | 172k| 0 | 2.569000e+03 | -- | Inf
883.95/884.28 c 852s|240000 | 40 | 0 | 0.0 | 20M| 67 | - |1908 |7067 | 0 | 0 | 0 | 180k| 0 | 2.569000e+03 | -- | Inf
932.23/932.53 c 898s|250000 | 37 | 0 | 0.0 | 20M| 67 | - |1908 |7110 | 0 | 0 | 0 | 187k| 0 | 2.569000e+03 | -- | Inf
979.92/980.21 c 944s|260000 | 38 | 0 | 0.0 | 20M| 67 | - |1908 |7123 | 0 | 0 | 0 | 195k| 0 | 2.569000e+03 | -- | Inf
1030.60/1030.98 c 993s|270000 | 41 | 0 | 0.0 | 20M| 67 | - |1908 |7115 | 0 | 0 | 0 | 203k| 0 | 2.569000e+03 | -- | Inf
1079.20/1079.59 c 1040s|280000 | 36 | 0 | 0.0 | 20M| 67 | - |1908 |7148 | 0 | 0 | 0 | 210k| 0 | 2.569000e+03 | -- | Inf
1127.58/1127.97 c 1087s|290000 | 41 | 0 | 0.0 | 20M| 67 | - |1908 |7123 | 0 | 0 | 0 | 218k| 0 | 2.569000e+03 | -- | Inf
1177.26/1177.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1177.26/1177.61 c 1135s|300000 | 36 | 0 | 0.0 | 20M| 67 | - |1908 |7157 | 0 | 0 | 0 | 225k| 0 | 2.569000e+03 | -- | Inf
1225.76/1226.15 c 1181s|310000 | 40 | 0 | 0.0 | 20M| 67 | - |1908 |7145 | 0 | 0 | 0 | 233k| 0 | 2.569000e+03 | -- | Inf
1273.54/1273.94 c 1227s|320000 | 40 | 0 | 0.0 | 20M| 67 | - |1908 |7139 | 0 | 0 | 0 | 240k| 0 | 2.569000e+03 | -- | Inf
1312.53/1312.97 c 1265s|330000 | 43 | 0 | 0.0 | 20M| 67 | - |1908 |7155 | 0 | 0 | 0 | 248k| 0 | 2.569000e+03 | -- | Inf
1351.62/1352.07 c 1303s|340000 | 42 | 0 | 0.0 | 20M| 67 | - |1908 |7187 | 0 | 0 | 0 | 255k| 0 | 2.569000e+03 | -- | Inf
1390.31/1390.71 c 1340s|350000 | 44 | 0 | 0.0 | 20M| 67 | - |1908 |7198 | 0 | 0 | 0 | 263k| 0 | 2.569000e+03 | -- | Inf
1428.00/1428.45 c 1377s|360000 | 39 | 0 | 0.0 | 20M| 67 | - |1908 |7243 | 0 | 0 | 0 | 270k| 0 | 2.569000e+03 | -- | Inf
1465.69/1466.10 c 1413s|370000 | 36 | 0 | 0.0 | 20M| 67 | - |1908 |7277 | 0 | 0 | 0 | 278k| 0 | 2.569000e+03 | -- | Inf
1502.58/1503.04 c 1449s|380000 | 40 | 0 | 0.0 | 20M| 67 | - |1908 |7255 | 0 | 0 | 0 | 285k| 0 | 2.569000e+03 | -- | Inf
1540.47/1541.00 c 1486s|390000 | 42 | 0 | 0.0 | 20M| 67 | - |1908 |7307 | 0 | 0 | 0 | 292k| 0 | 2.569000e+03 | -- | Inf
1579.65/1580.10 c 1523s|400000 | 38 | 0 | 0.0 | 20M| 67 | - |1908 |7332 | 0 | 0 | 0 | 299k| 0 | 2.569000e+03 | -- | Inf
1618.14/1618.69 c 1561s|410000 | 39 | 0 | 0.0 | 20M| 67 | - |1908 |7351 | 0 | 0 | 0 | 307k| 0 | 2.569000e+03 | -- | Inf
1655.94/1656.43 c 1597s|420000 | 38 | 0 | 0.0 | 20M| 67 | - |1908 |7388 | 0 | 0 | 0 | 314k| 0 | 2.569000e+03 | -- | Inf
1693.43/1693.97 c 1633s|430000 | 37 | 0 | 0.0 | 20M| 67 | - |1908 |7422 | 0 | 0 | 0 | 322k| 0 | 2.569000e+03 | -- | Inf
1732.21/1732.77 c 1671s|440000 | 44 | 0 | 0.0 | 20M| 67 | - |1908 |7388 | 0 | 0 | 0 | 329k| 0 | 2.569000e+03 | -- | Inf
1772.01/1772.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1772.01/1772.53 c 1709s|450000 | 40 | 0 | 0.0 | 20M| 67 | - |1908 |7422 | 0 | 0 | 0 | 337k| 0 | 2.569000e+03 | -- | Inf
1800.01/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.50 c
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time (sec) : 1736.31
1800.01/1800.50 c Solving Nodes : 457009
1800.01/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.50 c Dual Bound : +2.56900000000000e+03
1800.01/1800.50 c Gap : infinite
1800.01/1800.50 s UNKNOWN
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time : 1736.31
1800.01/1800.50 c Original Problem :
1800.01/1800.50 c Problem name : HOME/instance-2663998-1276455816.opb
1800.01/1800.50 c Variables : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50 c Constraints : 13429 initial, 13429 maximal
1800.01/1800.50 c Presolved Problem :
1800.01/1800.50 c Problem name : t_HOME/instance-2663998-1276455816.opb
1800.01/1800.50 c Variables : 1908 (1908 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50 c Constraints : 5964 initial, 7487 maximal
1800.01/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.50 c trivial : 0.04 35 0 0 0 0 0 0 0
1800.01/1800.50 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c implics : 0.06 0 3209 0 0 0 0 0 0
1800.01/1800.50 c probing : 0.52 1 183 0 0 0 0 0 0
1800.01/1800.50 c linear : 0.54 965 51 0 1000 0 7440 171 321
1800.01/1800.50 c logicor : 0.30 0 0 0 0 0 25 0 0
1800.01/1800.50 c root node : - 0 - - 0 - - - -
1800.01/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.50 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.50 c logicor : 5964+ 0 11896349 0 0 308570 76799020 0 0 0
1800.01/1800.50 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.50 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.50 c logicor : 522.28 0.00 522.28 0.00 0.00
1800.01/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.50 c vbounds : 5.96 2 0 0
1800.01/1800.50 c rootredcost : 5.23 0 0 0
1800.01/1800.50 c pseudoobj : 703.99 12090038 0 0
1800.01/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.50 c propagation : 109.10 308569 305000 305000 32.1 37477 15.3 -
1800.01/1800.50 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.51 c applied globally : - - - 342475 30.3 - - -
1800.01/1800.51 c applied locally : - - - 0 0.0 - - -
1800.01/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.51 c redcost : 0.00 0 0 0 0 0
1800.01/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.51 c intobj : 0.00 0 0 0 0 0
1800.01/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.51 c gomory : 0.00 0 0 0 0 0
1800.01/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.51 c cmir : 0.00 0 0 0 0 0
1800.01/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.51 c clique : 0.00 0 0 0 0 0
1800.01/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.51 c mcf : 0.00 0 0 0 0 0
1800.01/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.51 c Pricers : Time Calls Vars
1800.01/1800.51 c problem variables: 0.00 0 0
1800.01/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.51 c inference : 97.96 316673 0 0 0 0 633346
1800.01/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c random : 0.00 0 0 0 0 0 0
1800.01/1800.51 c Primal Heuristics : Time Calls Found
1800.01/1800.51 c LP solutions : 0.00 - 0
1800.01/1800.51 c pseudo solutions : 0.00 - 0
1800.01/1800.51 c oneopt : 0.25 0 0
1800.01/1800.51 c trivial : 0.02 2 0
1800.01/1800.51 c simplerounding : 0.00 0 0
1800.01/1800.51 c zirounding : 0.00 0 0
1800.01/1800.51 c rounding : 0.00 0 0
1800.01/1800.51 c shifting : 0.00 0 0
1800.01/1800.51 c intshifting : 0.00 0 0
1800.01/1800.51 c twoopt : 0.00 0 0
1800.01/1800.51 c fixandinfer : 0.00 0 0
1800.01/1800.51 c feaspump : 0.00 0 0
1800.01/1800.51 c coefdiving : 0.00 0 0
1800.01/1800.51 c pscostdiving : 0.00 0 0
1800.01/1800.51 c fracdiving : 0.00 0 0
1800.01/1800.51 c veclendiving : 0.00 0 0
1800.01/1800.51 c intdiving : 0.00 0 0
1800.01/1800.51 c actconsdiving : 0.00 0 0
1800.01/1800.51 c objpscostdiving : 0.00 0 0
1800.01/1800.51 c rootsoldiving : 0.00 0 0
1800.01/1800.51 c linesearchdiving : 0.00 0 0
1800.01/1800.51 c guideddiving : 0.00 0 0
1800.01/1800.51 c octane : 0.00 0 0
1800.01/1800.51 c rens : 0.00 0 0
1800.01/1800.51 c rins : 0.00 0 0
1800.01/1800.51 c localbranching : 0.00 0 0
1800.01/1800.51 c mutation : 0.00 0 0
1800.01/1800.51 c crossover : 0.00 0 0
1800.01/1800.51 c dins : 0.00 0 0
1800.01/1800.51 c undercover : 0.00 0 0
1800.01/1800.51 c nlp : 0.37 0 0
1800.01/1800.51 c trysol : 0.18 0 0
1800.01/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.51 c (at root node) : - 0 0 0.00 -
1800.01/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.51 c B&B Tree :
1800.01/1800.51 c number of runs : 1
1800.01/1800.51 c nodes : 457009
1800.01/1800.51 c nodes (total) : 457009
1800.01/1800.51 c nodes left : 40
1800.01/1800.51 c max depth : 67
1800.01/1800.51 c max depth (total): 67
1800.01/1800.51 c backtracks : 173337 (37.9%)
1800.01/1800.51 c delayed cutoffs : 176298
1800.01/1800.51 c repropagations : 380654 (38602223 domain reductions, 168233 cutoffs)
1800.01/1800.51 c avg switch length: 2.39
1800.01/1800.51 c switching time : 254.80
1800.01/1800.51 c Solution :
1800.01/1800.51 c Solutions found : 0 (0 improvements)
1800.01/1800.51 c Primal Bound : -
1800.01/1800.51 c Dual Bound : +2.56900000000000e+03
1800.01/1800.51 c Gap : infinite
1800.01/1800.51 c Root Dual Bound : +2.56900000000000e+03
1800.01/1800.51 c Root Iterations : 0
1800.01/1800.57 c Time complete: 1800.07.
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-2663998-1276455816/watcher-2663998-1276455816 -o /tmp/evaluation-result-2663998-1276455816/solver-2663998-1276455816 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663998-1276455816.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.00 1.00 1.00 2/106 26107 /proc/meminfo: memFree=1796104/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=3652 CPUtime=0 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 473 0 0 0 0 0 0 0 22 0 1 0 21185270 3739648 395 1992294400 4194304 7136930 140734164725040 18446744073709551615 6350076 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26107/statm: 913 396 224 719 0 192 0 [startup+0.075167 s] /proc/loadavg: 1.00 1.00 1.00 2/106 26107 /proc/meminfo: memFree=1796104/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=13868 CPUtime=0.06 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 2951 0 0 0 6 0 0 0 22 0 1 0 21185270 14200832 2872 1992294400 4194304 7136930 140734164725040 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26107/statm: 3467 2884 271 719 0 2746 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 13868 [startup+0.101169 s] /proc/loadavg: 1.00 1.00 1.00 2/106 26107 /proc/meminfo: memFree=1796104/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=14484 CPUtime=0.08 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 3126 0 0 0 8 0 0 0 22 0 1 0 21185270 14831616 3047 1992294400 4194304 7136930 140734164725040 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26107/statm: 3621 3047 271 719 0 2900 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 14484 [startup+0.301193 s] /proc/loadavg: 1.00 1.00 1.00 2/106 26107 /proc/meminfo: memFree=1796104/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=31832 CPUtime=0.28 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 7849 0 0 0 26 2 0 0 23 0 1 0 21185270 32595968 7416 1992294400 4194304 7136930 140734164725040 18446744073709551615 4409086 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 7958 7416 292 719 0 7237 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 31832 [startup+0.701239 s] /proc/loadavg: 1.00 1.00 1.00 2/106 26107 /proc/meminfo: memFree=1796104/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=38740 CPUtime=0.68 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 13165 0 0 0 58 10 0 0 25 0 1 0 21185270 39669760 8877 1992294400 4194304 7136930 140734164725040 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 9685 8877 348 719 0 8964 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 38740 [startup+1.50133 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26108 /proc/meminfo: memFree=1761128/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=43732 CPUtime=1.49 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 28392 0 0 0 116 33 0 0 25 0 1 0 21185270 44781568 10165 1992294400 4194304 7136930 140734164725040 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 10933 10165 366 719 0 10212 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 43732 [startup+3.10152 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26108 /proc/meminfo: memFree=1755176/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=49012 CPUtime=3.09 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 33561 0 0 0 269 40 0 0 25 0 1 0 21185270 50188288 11476 1992294400 4194304 7136930 140734164725040 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 12253 11476 389 719 0 11532 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49012 [startup+6.30089 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26108 /proc/meminfo: memFree=1744636/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=57652 CPUtime=6.28 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 35704 0 0 0 577 51 0 0 25 0 1 0 21185270 59035648 13619 1992294400 4194304 7136930 140734164725040 18446744073709551615 5955748 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 14413 13619 389 719 0 13692 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 57652 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26108 /proc/meminfo: memFree=1734964/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=65656 CPUtime=12.68 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 37731 0 0 0 1197 71 0 0 25 0 1 0 21185270 67231744 15646 1992294400 4194304 7136930 140734164725040 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 16414 15646 389 719 0 15693 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 65656 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26108 /proc/meminfo: memFree=1725664/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=74548 CPUtime=25.48 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 39922 0 0 0 2438 110 0 0 25 0 1 0 21185270 76337152 17837 1992294400 4194304 7136930 140734164725040 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 18637 17837 389 719 0 17916 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 74548 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26108 /proc/meminfo: memFree=1717356/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=83100 CPUtime=51.07 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 41984 0 0 0 4912 195 0 0 25 0 1 0 21185270 85094400 19899 1992294400 4194304 7136930 140734164725040 18446744073709551615 4349906 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 20775 19899 389 719 0 20054 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 83100 [startup+102.308 s] /proc/loadavg: 1.07 1.02 1.00 2/107 26110 /proc/meminfo: memFree=1709544/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=91012 CPUtime=102.27 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 43912 0 0 0 9867 360 0 0 25 0 1 0 21185270 93196288 21827 1992294400 4194304 7136930 140734164725040 18446744073709551615 4659937 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 22753 21827 389 719 0 22032 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 91012 [startup+162.301 s] /proc/loadavg: 1.03 1.01 1.00 2/107 26112 /proc/meminfo: memFree=1704708/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=96072 CPUtime=162.24 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 45110 0 0 0 15653 571 0 0 25 0 1 0 21185270 98377728 23025 1992294400 4194304 7136930 140734164725040 18446744073709551615 5507728 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 24018 23025 389 719 0 23297 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 96072 [startup+222.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 26114 /proc/meminfo: memFree=1703592/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=97124 CPUtime=222.22 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 45334 0 0 0 21421 801 0 0 25 0 1 0 21185270 99454976 23249 1992294400 4194304 7136930 140734164725040 18446744073709551615 6350076 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 24281 23249 389 719 0 23560 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 97124 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26116 /proc/meminfo: memFree=1702352/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=98628 CPUtime=282.21 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 45667 0 0 0 27187 1034 0 0 25 0 1 0 21185270 100995072 23582 1992294400 4194304 7136930 140734164725040 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 24657 23582 389 719 0 23936 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 98628 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26116 /proc/meminfo: memFree=1701236/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=99580 CPUtime=342.19 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 45913 0 0 0 32950 1269 0 0 25 0 1 0 21185270 101969920 23828 1992294400 4194304 7136930 140734164725040 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 24895 23828 389 719 0 24174 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 99580 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26118 /proc/meminfo: memFree=1700616/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=100440 CPUtime=402.18 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 46062 0 0 0 38721 1497 0 0 25 0 1 0 21185270 102850560 23977 1992294400 4194304 7136930 140734164725040 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 25110 23977 389 719 0 24389 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 100440 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26120 /proc/meminfo: memFree=1700368/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=100740 CPUtime=462.16 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 46116 0 0 0 44475 1741 0 0 25 0 1 0 21185270 103157760 24031 1992294400 4194304 7136930 140734164725040 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 25185 24031 389 719 0 24464 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 100740 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26122 /proc/meminfo: memFree=1699872/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=101148 CPUtime=522.14 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 46209 0 0 0 50267 1947 0 0 25 0 1 0 21185270 103575552 24124 1992294400 4194304 7136930 140734164725040 18446744073709551615 4660016 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 25287 24124 389 719 0 24566 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 101148 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26124 /proc/meminfo: memFree=1699376/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=101888 CPUtime=582.13 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 46340 0 0 0 56059 2154 0 0 25 0 1 0 21185270 104333312 24255 1992294400 4194304 7136930 140734164725040 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 25472 24255 389 719 0 24751 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 101888 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26127 /proc/meminfo: memFree=1698136/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=102584 CPUtime=642.12 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 46467 0 0 0 61850 2362 0 0 25 0 1 0 21185270 105046016 24382 1992294400 4194304 7136930 140734164725040 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 25646 24382 389 719 0 24925 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 102584 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26135 /proc/meminfo: memFree=1697020/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=104308 CPUtime=882.04 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 46775 0 0 0 85015 3189 0 0 25 0 1 0 21185270 106811392 24690 1992294400 4194304 7136930 140734164725040 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 26077 24690 389 719 0 25356 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 104308 [startup+942.301 s] /proc/loadavg: 1.05 1.01 1.00 2/107 26135 /proc/meminfo: memFree=1696896/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=104464 CPUtime=942.03 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 46814 0 0 0 90803 3400 0 0 25 0 1 0 21185270 106971136 24729 1992294400 4194304 7136930 140734164725040 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 26116 24729 389 719 0 25395 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 104464 [startup+1002.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 26137 /proc/meminfo: memFree=1696772/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=104788 CPUtime=1002.02 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 46864 0 0 0 96597 3605 0 0 25 0 1 0 21185270 107302912 24779 1992294400 4194304 7136930 140734164725040 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 26197 24779 389 719 0 25476 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 104788 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26139 /proc/meminfo: memFree=1696400/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=105252 CPUtime=1061.99 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 46963 0 0 0 102380 3819 0 0 25 0 1 0 21185270 107778048 24878 1992294400 4194304 7136930 140734164725040 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 26313 24878 389 719 0 25592 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 105252 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26141 /proc/meminfo: memFree=1696276/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=105416 CPUtime=1121.98 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 46992 0 0 0 108156 4042 0 0 25 0 1 0 21185270 107945984 24907 1992294400 4194304 7136930 140734164725040 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 26354 24907 389 719 0 25633 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 105416 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26143 /proc/meminfo: memFree=1695904/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=105584 CPUtime=1181.97 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 47040 0 0 0 113937 4260 0 0 25 0 1 0 21185270 108118016 24955 1992294400 4194304 7136930 140734164725040 18446744073709551615 6215719 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 26396 24955 389 719 0 25675 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 105584 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26143 /proc/meminfo: memFree=1695780/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=105736 CPUtime=1241.95 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 47070 0 0 0 119713 4482 0 0 25 0 1 0 21185270 108273664 24985 1992294400 4194304 7136930 140734164725040 18446744073709551615 5001222 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 26434 24985 389 719 0 25713 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 105736 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26145 /proc/meminfo: memFree=1695532/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=105888 CPUtime=1301.94 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 47104 0 0 0 125513 4681 0 0 25 0 1 0 21185270 108429312 25019 1992294400 4194304 7136930 140734164725040 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 26472 25019 389 719 0 25751 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 105888 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26147 /proc/meminfo: memFree=1695284/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=106228 CPUtime=1361.92 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 47157 0 0 0 131307 4885 0 0 25 0 1 0 21185270 108777472 25072 1992294400 4194304 7136930 140734164725040 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 26557 25072 389 719 0 25836 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 106228 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26149 /proc/meminfo: memFree=1695036/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=106656 CPUtime=1421.9 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 47232 0 0 0 137103 5087 0 0 25 0 1 0 21185270 109215744 25147 1992294400 4194304 7136930 140734164725040 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 26664 25147 389 719 0 25943 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 106656 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26151 /proc/meminfo: memFree=1694664/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=106812 CPUtime=1481.88 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 47290 0 0 0 142908 5280 0 0 25 0 1 0 21185270 109375488 25205 1992294400 4194304 7136930 140734164725040 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 26703 25205 389 719 0 25982 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 106812 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26151 /proc/meminfo: memFree=1694416/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=107284 CPUtime=1541.87 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 47352 0 0 0 148708 5479 0 0 25 0 1 0 21185270 109858816 25267 1992294400 4194304 7136930 140734164725040 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 26821 25267 389 719 0 26100 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 107284 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26153 /proc/meminfo: memFree=1694292/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=107284 CPUtime=1601.85 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 47373 0 0 0 154509 5676 0 0 25 0 1 0 21185270 109858816 25288 1992294400 4194304 7136930 140734164725040 18446744073709551615 5507003 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 26821 25288 389 719 0 26100 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 107284 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26155 /proc/meminfo: memFree=1694044/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=107616 CPUtime=1661.83 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 47423 0 0 0 160305 5878 0 0 25 0 1 0 21185270 110198784 25338 1992294400 4194304 7136930 140734164725040 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 26904 25338 389 719 0 26183 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 107616 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26157 /proc/meminfo: memFree=1693672/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=107896 CPUtime=1721.81 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 47469 0 0 0 166103 6078 0 0 25 0 1 0 21185270 110485504 25384 1992294400 4194304 7136930 140734164725040 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 26974 25384 389 719 0 26253 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 107896 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26159 /proc/meminfo: memFree=1693300/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=108176 CPUtime=1781.8 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 47511 0 0 0 171896 6284 0 0 25 0 1 0 21185270 110772224 25426 1992294400 4194304 7136930 140734164725040 18446744073709551615 4407859 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 27044 25426 389 719 0 26323 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 108176 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26159 /proc/meminfo: memFree=1693300/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=108316 CPUtime=1800.01 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 47529 0 0 0 173655 6346 0 0 25 0 1 0 21185270 110915584 25444 1992294400 4194304 7136930 140734164725040 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 27079 25444 389 719 0 26358 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 108316 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26159 /proc/meminfo: memFree=1693300/2059040 swapFree=4140112/4192956 [pid=26107] ppid=26105 vsize=108316 CPUtime=1800.01 /proc/26107/stat : 26107 (pbscip.linux.x8) R 26105 26107 25480 0 -1 4202496 47529 0 0 0 173655 6346 0 0 25 0 1 0 21185270 110915584 25444 1992294400 4194304 7136930 140734164725040 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26107/statm: 27079 25444 389 719 0 26358 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 108316 Child status: 0 Real time (s): 1800.58 CPU time (s): 1800.08 CPU user time (s): 1736.6 CPU system time (s): 63.4803 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (KiB): 108316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1736.6 system time used= 63.4803 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47558 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= 5 involuntary context switches= 6601 runsolver used 3.16352 second user time and 8.32373 second system time The end
Begin job on node006 at 2010-06-13 21:03:36 IDJOB=2663998 IDBENCH=2160 IDSOLVER=1167 FILE ID=node006/2663998-1276455816 PBS_JOBID= 11173336 Free space on /tmp= 62472 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-2.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663998-1276455816/watcher-2663998-1276455816 -o /tmp/evaluation-result-2663998-1276455816/solver-2663998-1276455816 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663998-1276455816.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0b8531b64d2ca93b44d439b9cb9fcfaa RANDOM SEED=216786614 node006.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.204 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.40 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.204 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1796508 kB Buffers: 49976 kB Cached: 130884 kB SwapCached: 7136 kB Active: 93044 kB Inactive: 102012 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1796508 kB SwapTotal: 4192956 kB SwapFree: 4140112 kB Dirty: 3628 kB Writeback: 0 kB AnonPages: 11812 kB Mapped: 12884 kB Slab: 45608 kB PageTables: 4028 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182592 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= 62468 MiB End job on node006 at 2010-06-13 21:33:39