| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | ? | 1799.89 | 1800.39 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-43s.smv.opb |
| MD5SUM | 9da797f3e3b73aa39825ce2ab436589f |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.264959 |
| Has Objective Function | NO |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 3655 |
| Total number of constraints | 8686 |
| Number of constraints which are clauses | 7982 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 704 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 15 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 158 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 539 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.09/0.14 c SCIP version 1.1.0.7
0.09/0.14 c LP-Solver SoPlex 1.4.1
0.09/0.14 c user parameter file <scip.set> not found - using default parameters
0.09/0.14 c read problem <HOME/instance-1868602-1245129057.opb>
0.09/0.14 c original problem has 3655 variables (3655 bin, 0 int, 0 impl, 0 cont) and 8686 constraints
0.09/0.19 c No objective function, only one solution is needed.
0.09/0.19 c start presolving problem
0.09/0.19 c presolving:
0.29/0.32 c (round 1) 403 del vars, 245 del conss, 81 chg bounds, 352 chg sides, 754 chg coeffs, 0 upgd conss, 150967 impls, 0 clqs
0.29/0.34 c (round 2) 404 del vars, 905 del conss, 82 chg bounds, 352 chg sides, 754 chg coeffs, 0 upgd conss, 150967 impls, 0 clqs
0.29/0.35 c (round 3) 408 del vars, 913 del conss, 86 chg bounds, 352 chg sides, 754 chg coeffs, 0 upgd conss, 150973 impls, 0 clqs
0.29/0.36 c (round 4) 412 del vars, 919 del conss, 90 chg bounds, 352 chg sides, 754 chg coeffs, 0 upgd conss, 150973 impls, 0 clqs
0.29/0.36 c (round 5) 419 del vars, 929 del conss, 94 chg bounds, 352 chg sides, 754 chg coeffs, 0 upgd conss, 151045 impls, 0 clqs
0.29/0.37 c (round 6) 426 del vars, 946 del conss, 98 chg bounds, 352 chg sides, 754 chg coeffs, 0 upgd conss, 151147 impls, 0 clqs
0.29/0.38 c (round 7) 444 del vars, 983 del conss, 106 chg bounds, 352 chg sides, 754 chg coeffs, 0 upgd conss, 151617 impls, 0 clqs
0.29/0.39 c (round 8) 451 del vars, 1014 del conss, 110 chg bounds, 352 chg sides, 754 chg coeffs, 0 upgd conss, 151657 impls, 0 clqs
0.39/0.40 c (round 9) 460 del vars, 1033 del conss, 114 chg bounds, 352 chg sides, 754 chg coeffs, 0 upgd conss, 151861 impls, 0 clqs
0.39/0.41 c (round 10) 471 del vars, 1054 del conss, 118 chg bounds, 356 chg sides, 758 chg coeffs, 0 upgd conss, 152197 impls, 0 clqs
0.39/0.41 c (round 11) 481 del vars, 1089 del conss, 123 chg bounds, 356 chg sides, 758 chg coeffs, 0 upgd conss, 152454 impls, 0 clqs
0.39/0.42 c (round 12) 490 del vars, 1110 del conss, 127 chg bounds, 358 chg sides, 760 chg coeffs, 0 upgd conss, 152724 impls, 0 clqs
0.39/0.43 c (round 13) 501 del vars, 1142 del conss, 133 chg bounds, 358 chg sides, 760 chg coeffs, 0 upgd conss, 152981 impls, 0 clqs
0.39/0.44 c (round 14) 511 del vars, 1164 del conss, 137 chg bounds, 360 chg sides, 762 chg coeffs, 0 upgd conss, 153259 impls, 0 clqs
0.39/0.45 c (round 15) 518 del vars, 1189 del conss, 141 chg bounds, 360 chg sides, 762 chg coeffs, 0 upgd conss, 153283 impls, 0 clqs
0.39/0.46 c (round 16) 524 del vars, 1207 del conss, 147 chg bounds, 360 chg sides, 762 chg coeffs, 0 upgd conss, 153285 impls, 0 clqs
0.39/0.46 c (round 17) 530 del vars, 1220 del conss, 153 chg bounds, 360 chg sides, 762 chg coeffs, 0 upgd conss, 153287 impls, 0 clqs
0.39/0.47 c (round 18) 536 del vars, 1233 del conss, 159 chg bounds, 360 chg sides, 762 chg coeffs, 0 upgd conss, 153289 impls, 0 clqs
0.39/0.48 c (round 19) 543 del vars, 1249 del conss, 165 chg bounds, 360 chg sides, 762 chg coeffs, 0 upgd conss, 153341 impls, 0 clqs
0.39/0.49 c (round 20) 550 del vars, 1261 del conss, 169 chg bounds, 360 chg sides, 762 chg coeffs, 0 upgd conss, 153381 impls, 0 clqs
0.39/0.49 c (round 21) 564 del vars, 1295 del conss, 178 chg bounds, 360 chg sides, 762 chg coeffs, 0 upgd conss, 153483 impls, 0 clqs
0.49/0.50 c (round 22) 570 del vars, 1316 del conss, 184 chg bounds, 360 chg sides, 762 chg coeffs, 0 upgd conss, 153485 impls, 0 clqs
0.49/0.51 c (round 23) 579 del vars, 1335 del conss, 191 chg bounds, 360 chg sides, 762 chg coeffs, 0 upgd conss, 153736 impls, 0 clqs
0.49/0.52 c (round 24) 588 del vars, 1354 del conss, 197 chg bounds, 362 chg sides, 764 chg coeffs, 0 upgd conss, 154030 impls, 0 clqs
0.49/0.53 c (round 25) 604 del vars, 1394 del conss, 208 chg bounds, 362 chg sides, 764 chg coeffs, 0 upgd conss, 154252 impls, 0 clqs
0.49/0.54 c (round 26) 629 del vars, 1445 del conss, 232 chg bounds, 362 chg sides, 764 chg coeffs, 0 upgd conss, 154284 impls, 0 clqs
0.49/0.55 c (round 27) 682 del vars, 1522 del conss, 260 chg bounds, 362 chg sides, 764 chg coeffs, 0 upgd conss, 155583 impls, 0 clqs
0.49/0.56 c (round 28) 730 del vars, 1671 del conss, 285 chg bounds, 364 chg sides, 766 chg coeffs, 0 upgd conss, 156493 impls, 0 clqs
0.49/0.57 c (round 29) 737 del vars, 1730 del conss, 287 chg bounds, 366 chg sides, 768 chg coeffs, 0 upgd conss, 156677 impls, 0 clqs
0.49/0.57 c (round 30) 758 del vars, 1784 del conss, 306 chg bounds, 366 chg sides, 768 chg coeffs, 0 upgd conss, 156748 impls, 0 clqs
0.49/0.58 c (round 31) 781 del vars, 1831 del conss, 317 chg bounds, 366 chg sides, 768 chg coeffs, 0 upgd conss, 156985 impls, 0 clqs
0.49/0.59 c (round 32) 787 del vars, 1865 del conss, 322 chg bounds, 366 chg sides, 768 chg coeffs, 0 upgd conss, 157006 impls, 0 clqs
0.59/0.60 c (round 33) 795 del vars, 1884 del conss, 328 chg bounds, 366 chg sides, 768 chg coeffs, 0 upgd conss, 157114 impls, 0 clqs
0.59/0.61 c (round 34) 803 del vars, 1904 del conss, 334 chg bounds, 366 chg sides, 768 chg coeffs, 0 upgd conss, 157236 impls, 0 clqs
0.59/0.61 c (round 35) 807 del vars, 1918 del conss, 338 chg bounds, 366 chg sides, 768 chg coeffs, 0 upgd conss, 157340 impls, 0 clqs
0.59/0.62 c (round 36) 819 del vars, 1940 del conss, 346 chg bounds, 366 chg sides, 768 chg coeffs, 0 upgd conss, 158170 impls, 0 clqs
0.59/0.64 c (round 37) 904 del vars, 2109 del conss, 393 chg bounds, 366 chg sides, 768 chg coeffs, 0 upgd conss, 159539 impls, 0 clqs
0.59/0.65 c (round 38) 965 del vars, 2325 del conss, 429 chg bounds, 366 chg sides, 768 chg coeffs, 0 upgd conss, 163901 impls, 0 clqs
0.59/0.66 c (round 39) 971 del vars, 2386 del conss, 435 chg bounds, 366 chg sides, 768 chg coeffs, 0 upgd conss, 163901 impls, 0 clqs
0.59/0.67 c (round 40) 997 del vars, 2441 del conss, 449 chg bounds, 366 chg sides, 768 chg coeffs, 0 upgd conss, 165552 impls, 0 clqs
0.59/0.68 c (round 41) 1016 del vars, 2504 del conss, 459 chg bounds, 366 chg sides, 768 chg coeffs, 0 upgd conss, 165750 impls, 0 clqs
0.59/0.69 c (round 42) 1026 del vars, 2548 del conss, 468 chg bounds, 366 chg sides, 768 chg coeffs, 0 upgd conss, 165786 impls, 0 clqs
0.59/0.69 c (round 43) 1040 del vars, 2586 del conss, 477 chg bounds, 366 chg sides, 768 chg coeffs, 0 upgd conss, 166002 impls, 0 clqs
0.69/0.70 c (round 44) 1048 del vars, 2612 del conss, 482 chg bounds, 366 chg sides, 768 chg coeffs, 0 upgd conss, 166036 impls, 0 clqs
0.69/0.71 c (round 45) 1061 del vars, 2640 del conss, 489 chg bounds, 366 chg sides, 768 chg coeffs, 0 upgd conss, 166196 impls, 0 clqs
0.69/0.72 c (round 46) 1074 del vars, 2678 del conss, 496 chg bounds, 366 chg sides, 768 chg coeffs, 0 upgd conss, 166210 impls, 0 clqs
0.69/0.72 c (round 47) 1078 del vars, 2708 del conss, 499 chg bounds, 366 chg sides, 768 chg coeffs, 0 upgd conss, 166214 impls, 0 clqs
0.69/0.73 c (round 48) 1081 del vars, 2716 del conss, 501 chg bounds, 366 chg sides, 768 chg coeffs, 0 upgd conss, 166220 impls, 0 clqs
0.69/0.74 c (round 49) 1089 del vars, 2733 del conss, 507 chg bounds, 366 chg sides, 768 chg coeffs, 0 upgd conss, 166364 impls, 0 clqs
0.69/0.74 c (round 50) 1102 del vars, 2768 del conss, 514 chg bounds, 366 chg sides, 768 chg coeffs, 0 upgd conss, 166552 impls, 0 clqs
0.69/0.75 c (round 51) 1108 del vars, 2793 del conss, 516 chg bounds, 366 chg sides, 768 chg coeffs, 0 upgd conss, 166692 impls, 0 clqs
0.69/0.76 c (round 52) 1117 del vars, 2820 del conss, 521 chg bounds, 366 chg sides, 768 chg coeffs, 0 upgd conss, 166835 impls, 0 clqs
0.69/0.76 c (round 53) 1121 del vars, 2839 del conss, 524 chg bounds, 366 chg sides, 768 chg coeffs, 0 upgd conss, 166845 impls, 0 clqs
0.69/0.77 c (round 54) 1127 del vars, 2850 del conss, 528 chg bounds, 366 chg sides, 768 chg coeffs, 0 upgd conss, 166855 impls, 0 clqs
0.69/0.78 c (round 55) 1135 del vars, 2873 del conss, 532 chg bounds, 367 chg sides, 769 chg coeffs, 0 upgd conss, 167017 impls, 0 clqs
0.69/0.78 c (round 56) 1139 del vars, 2891 del conss, 534 chg bounds, 368 chg sides, 771 chg coeffs, 0 upgd conss, 167029 impls, 0 clqs
0.69/0.79 c (round 57) 1155 del vars, 2922 del conss, 541 chg bounds, 369 chg sides, 773 chg coeffs, 0 upgd conss, 167296 impls, 0 clqs
0.79/0.80 c (round 58) 1166 del vars, 2959 del conss, 544 chg bounds, 369 chg sides, 773 chg coeffs, 0 upgd conss, 167473 impls, 0 clqs
0.79/0.80 c (round 59) 1174 del vars, 2986 del conss, 546 chg bounds, 372 chg sides, 776 chg coeffs, 0 upgd conss, 167589 impls, 0 clqs
0.79/0.81 c (round 60) 1178 del vars, 3002 del conss, 546 chg bounds, 374 chg sides, 780 chg coeffs, 0 upgd conss, 167613 impls, 0 clqs
0.79/0.82 c (round 61) 1179 del vars, 3014 del conss, 546 chg bounds, 375 chg sides, 781 chg coeffs, 0 upgd conss, 167623 impls, 0 clqs
0.79/0.82 c (round 62) 1180 del vars, 3017 del conss, 546 chg bounds, 376 chg sides, 782 chg coeffs, 0 upgd conss, 167633 impls, 0 clqs
0.79/0.83 c (round 63) 1180 del vars, 3020 del conss, 546 chg bounds, 376 chg sides, 782 chg coeffs, 0 upgd conss, 167633 impls, 0 clqs
0.89/0.91 c (round 64) 1180 del vars, 3047 del conss, 546 chg bounds, 376 chg sides, 782 chg coeffs, 5620 upgd conss, 167633 impls, 0 clqs
0.89/0.95 c (round 65) 1313 del vars, 3066 del conss, 546 chg bounds, 376 chg sides, 782 chg coeffs, 5620 upgd conss, 167633 impls, 0 clqs
0.89/0.97 c (round 66) 1316 del vars, 3073 del conss, 546 chg bounds, 376 chg sides, 782 chg coeffs, 5620 upgd conss, 167633 impls, 0 clqs
0.89/1.00 c presolving (67 rounds):
0.89/1.00 c 1316 deleted vars, 3073 deleted constraints, 546 tightened bounds, 0 added holes, 376 changed sides, 782 changed coefficients
0.89/1.00 c 167633 implications, 0 cliques
0.89/1.00 c presolved problem has 2338 variables (2338 bin, 0 int, 0 impl, 0 cont) and 5613 constraints
0.89/1.00 c 624 constraints of type <knapsack>
0.89/1.00 c 4989 constraints of type <logicor>
0.89/1.00 c transformed objective value is always integral (scale: 1)
0.89/1.00 c Presolving Time: 0.63
0.89/1.00 c SATUNSAT-LIN
0.89/1.00 c -----------------------------------------------------------------------------------------------
0.89/1.00 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.89/1.00 c # [type: int, range: [-1,2147483647], default: 0]
0.89/1.00 c separating/flowcover/freq = c -1
0.89/1.00 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.89/1.00 c # [type: int, range: [-1,2147483647], default: 0]
0.89/1.00 c separating/cmir/freq = c -1
0.89/1.00 c # additional number of allowed LP iterations
0.89/1.00 c # [type: int, range: [0,2147483647], default: 1000]
0.89/1.00 c heuristics/veclendiving/maxlpiterofs = c 1500
0.89/1.00 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/1.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/1.00 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.89/1.00 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.89/1.00 c # [type: int, range: [-1,2147483647], default: 10]
0.89/1.00 c heuristics/veclendiving/freq = c -1
0.89/1.00 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.89/1.00 c # [type: int, range: [-1,2147483647], default: 1]
0.89/1.00 c heuristics/simplerounding/freq = c -1
0.89/1.00 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.89/1.00 c # [type: int, range: [-1,2147483647], default: 10]
0.89/1.00 c heuristics/shifting/freq = c -1
0.89/1.00 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.89/1.00 c # [type: int, range: [-1,2147483647], default: 1]
0.89/1.00 c heuristics/rounding/freq = c -1
0.89/1.00 c # additional number of allowed LP iterations
0.89/1.00 c # [type: int, range: [0,2147483647], default: 1000]
0.89/1.00 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.89/1.00 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/1.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.89/1.00 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.89/1.00 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.89/1.00 c # [type: int, range: [-1,2147483647], default: 20]
0.89/1.00 c heuristics/rootsoldiving/freq = c -1
0.89/1.00 c # number of nodes added to the contingent of the total nodes
0.89/1.00 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.89/1.00 c heuristics/rens/nodesofs = c 2000
0.89/1.00 c # minimum percentage of integer variables that have to be fixable
0.89/1.00 c # [type: real, range: [0,1], default: 0.5]
0.89/1.00 c heuristics/rens/minfixingrate = c 0.3
0.89/1.00 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.89/1.00 c # [type: int, range: [-1,2147483647], default: 0]
0.89/1.00 c heuristics/rens/freq = c -1
0.89/1.00 c # additional number of allowed LP iterations
0.89/1.00 c # [type: int, range: [0,2147483647], default: 1000]
0.89/1.00 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.89/1.00 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/1.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/1.00 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.89/1.00 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.89/1.00 c # [type: int, range: [-1,2147483647], default: 10]
0.89/1.00 c heuristics/pscostdiving/freq = c -1
0.89/1.00 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.89/1.00 c # [type: int, range: [-1,2147483647], default: 1]
0.89/1.00 c heuristics/oneopt/freq = c -1
0.89/1.00 c # additional number of allowed LP iterations
0.89/1.00 c # [type: int, range: [0,2147483647], default: 1000]
0.89/1.00 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.89/1.00 c # maximal fraction of diving LP iterations compared to total iteration number
0.89/1.00 c # [type: real, range: [0,1], default: 0.01]
0.89/1.00 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.89/1.00 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.89/1.00 c # [type: int, range: [-1,2147483647], default: 20]
0.89/1.00 c heuristics/objpscostdiving/freq = c -1
0.89/1.00 c # additional number of allowed LP iterations
0.89/1.00 c # [type: int, range: [0,2147483647], default: 1000]
0.89/1.00 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.89/1.00 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/1.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/1.00 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.89/1.00 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.89/1.00 c # [type: int, range: [-1,2147483647], default: 10]
0.89/1.00 c heuristics/linesearchdiving/freq = c -1
0.89/1.00 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.89/1.00 c # [type: int, range: [-1,2147483647], default: 10]
0.89/1.00 c heuristics/intshifting/freq = c -1
0.89/1.00 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/1.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/1.00 c heuristics/intdiving/maxlpiterquot = c 0.075
0.89/1.00 c # additional number of allowed LP iterations
0.89/1.00 c # [type: int, range: [0,2147483647], default: 1000]
0.89/1.00 c heuristics/guideddiving/maxlpiterofs = c 1500
0.89/1.00 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/1.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/1.00 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.89/1.00 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.89/1.00 c # [type: int, range: [-1,2147483647], default: 10]
0.89/1.00 c heuristics/guideddiving/freq = c -1
0.89/1.00 c # additional number of allowed LP iterations
0.89/1.00 c # [type: int, range: [0,2147483647], default: 1000]
0.89/1.00 c heuristics/fracdiving/maxlpiterofs = c 1500
0.89/1.00 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/1.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/1.00 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.89/1.00 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.89/1.00 c # [type: int, range: [-1,2147483647], default: 10]
0.89/1.00 c heuristics/fracdiving/freq = c -1
0.89/1.00 c # additional number of allowed LP iterations
0.89/1.00 c # [type: int, range: [0,2147483647], default: 1000]
0.89/1.00 c heuristics/feaspump/maxlpiterofs = c 2000
0.89/1.00 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.89/1.00 c # [type: int, range: [-1,2147483647], default: 20]
0.89/1.00 c heuristics/feaspump/freq = c -1
0.89/1.00 c # minimum percentage of integer variables that have to be fixed
0.89/1.00 c # [type: real, range: [0,1], default: 0.666]
0.89/1.00 c heuristics/crossover/minfixingrate = c 0.5
0.89/1.00 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.89/1.00 c # [type: real, range: [0,1], default: 0.1]
0.89/1.00 c heuristics/crossover/nodesquot = c 0.15
0.89/1.00 c # number of nodes without incumbent change that heuristic should wait
0.89/1.00 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.89/1.00 c heuristics/crossover/nwaitingnodes = c 100
0.89/1.00 c # number of nodes added to the contingent of the total nodes
0.89/1.00 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.89/1.00 c heuristics/crossover/nodesofs = c 750
0.89/1.00 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.89/1.00 c # [type: int, range: [-1,2147483647], default: 30]
0.89/1.00 c heuristics/crossover/freq = c -1
0.89/1.00 c # additional number of allowed LP iterations
0.89/1.00 c # [type: int, range: [0,2147483647], default: 1000]
0.89/1.00 c heuristics/coefdiving/maxlpiterofs = c 1500
0.89/1.00 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/1.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/1.00 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.89/1.00 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.89/1.00 c # [type: int, range: [-1,2147483647], default: 10]
0.89/1.00 c heuristics/coefdiving/freq = c -1
0.89/1.00 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.89/1.00 c # [type: int, range: [-1,2147483647], default: -1]
0.89/1.00 c presolving/probing/maxrounds = c 0
0.89/1.00 c # should presolving try to simplify knapsacks
0.89/1.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/1.00 c constraints/knapsack/simplifyinequalities = c TRUE
0.89/1.00 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.89/1.00 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.89/1.00 c constraints/knapsack/disaggregation = c FALSE
0.89/1.00 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.89/1.00 c # [type: int, range: [-1,2147483647], default: -1]
0.89/1.00 c constraints/knapsack/maxnumcardlift = c 0
0.89/1.00 c # should presolving try to simplify inequalities
1.00/1.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.00 c constraints/linear/simplifyinequalities = c TRUE
1.00/1.00 c # maximal number of separation rounds in the root node (-1: unlimited)
1.00/1.00 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.00 c separating/maxroundsroot = c 5
1.00/1.00 c # maximal number of separation rounds per node (-1: unlimited)
1.00/1.00 c # [type: int, range: [-1,2147483647], default: 5]
1.00/1.00 c separating/maxrounds = c 1
1.00/1.00 c # solving stops, if the given number of solutions were found (-1: no limit)
1.00/1.00 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.00 c limits/solutions = c 1
1.00/1.00 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.00/1.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.00 c limits/memory = c 1620
1.00/1.00 c # maximal time in seconds to run
1.00/1.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.00 c limits/time = c 1791
1.00/1.00 c # frequency for displaying node information lines
1.00/1.00 c # [type: int, range: [-1,2147483647], default: 100]
1.00/1.00 c display/freq = c 10000
1.00/1.00 c -----------------------------------------------------------------------------------------------
1.00/1.00 c start solving problem
1.00/1.00 c
1.09/1.13 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.09/1.13 c 0.8s| 1 | 0 | 608 | 19M| 0 | 449 |2338 |5613 |5613 |2338 |5613 | 0 | 0 | 0 | 5.539541e+02 | -- | Inf
1.49/1.53 c 1.2s| 1 | 0 | 828 | 19M| 0 | 396 |2338 |5613 |5613 |2338 |5676 | 63 | 0 | 0 | 6.038402e+02 | -- | Inf
1.79/1.87 c 1.5s| 1 | 0 | 1133 | 19M| 0 | 495 |2338 |5613 |5613 |2338 |5749 | 136 | 0 | 0 | 6.331494e+02 | -- | Inf
2.19/2.24 c 1.9s| 1 | 0 | 1398 | 19M| 0 | 546 |2338 |5613 |5613 |2338 |5880 | 267 | 0 | 0 | 6.428544e+02 | -- | Inf
2.59/2.66 c 2.3s| 1 | 0 | 1651 | 19M| 0 | 568 |2338 |5613 |5613 |2338 |5999 | 386 | 0 | 0 | 6.507765e+02 | -- | Inf
3.09/3.11 c 2.7s| 1 | 0 | 1951 | 19M| 0 | 595 |2338 |5613 |5613 |2338 |6062 | 449 | 0 | 0 | 6.542561e+02 | -- | Inf
4.39/4.41 c 4.0s| 1 | 2 | 1951 | 19M| 0 | 595 |2338 |5613 |5613 |2338 |6062 | 449 | 0 | 17 | 6.542561e+02 | -- | Inf
517.14/517.31 c 515s| 10000 | 9325 |440144 | 48M| 72 | 289 |2338 |5889 |1796 |2338 |6030 | 449 | 425 |4358 | 6.933394e+02 | -- | Inf
814.46/814.70 c 811s| 20000 | 18907 |777747 | 74M| 83 | 224 |2338 |5951 |1862 |2338 |6030 | 449 | 791 |6471 | 7.080180e+02 | -- | Inf
1118.58/1118.93 c 1113s| 30000 | 28609 | 1128k| 100M| 83 | 235 |2338 |5963 |1652 |2338 |6030 | 449 |1057 |8644 | 7.135061e+02 | -- | Inf
1381.21/1381.61 c 1375s| 40000 | 38224 | 1451k| 126M| 88 | 265 |2338 |6015 |1725 |2338 |6030 | 449 |1412 | 10k| 7.195300e+02 | -- | Inf
1629.04/1629.51 c 1621s| 50000 | 47970 | 1758k| 152M| 88 | 208 |2338 |5975 |1564 |2338 |6030 | 449 |1643 | 11k| 7.225061e+02 | -- | Inf
1799.60/1800.15 c
1799.60/1800.15 c SCIP Status : solving was interrupted [time limit reached]
1799.60/1800.15 c Solving Time (sec) : 1791.00
1799.60/1800.15 c Solving Nodes : 56781
1799.60/1800.15 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1799.60/1800.15 c Dual Bound : +7.28771229565246e+02
1799.60/1800.15 c Gap : infinite
1799.60/1800.15 c NODE 56781
1799.60/1800.15 c DUAL BOUND 728.771
1799.60/1800.15 c PRIMAL BOUND 1e+20
1799.60/1800.15 c GAP 1e+20
1799.60/1800.15 s UNKNOWN
1799.60/1800.15 c SCIP Status : solving was interrupted [time limit reached]
1799.60/1800.15 c Solving Time : 1791.00
1799.60/1800.15 c Original Problem :
1799.60/1800.15 c Problem name : HOME/instance-1868602-1245129057.opb
1799.60/1800.15 c Variables : 3655 (3655 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.60/1800.15 c Constraints : 8686 initial, 8686 maximal
1799.60/1800.15 c Presolved Problem :
1799.60/1800.15 c Problem name : t_HOME/instance-1868602-1245129057.opb
1799.60/1800.15 c Variables : 2338 (2338 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.60/1800.15 c Constraints : 5613 initial, 6046 maximal
1799.60/1800.15 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1799.60/1800.15 c trivial : 0.05 7 0 0 0 0 0 0 0
1799.60/1800.15 c dualfix : 0.01 1 0 0 0 0 0 0 0
1799.60/1800.15 c boundshift : 0.00 0 0 0 0 0 0 0 0
1799.60/1800.15 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1799.60/1800.15 c implics : 0.11 0 613 0 0 0 0 0 0
1799.60/1800.15 c probing : 0.00 0 0 0 0 0 0 0 0
1799.60/1800.15 c knapsack : 0.04 2 0 0 0 0 4 0 0
1799.60/1800.15 c linear : 0.32 541 151 0 546 0 3066 376 782
1799.60/1800.15 c logicor : 0.05 1 0 0 0 0 3 0 0
1799.60/1800.15 c root node : - 9 - - 9 - - - -
1799.60/1800.15 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1799.60/1800.15 c integral : 0 0 0 57135 0 34 2687 0 0 111562
1799.60/1800.15 c knapsack : 624 5 179517 0 1 632 177141 927 0 0
1799.60/1800.15 c logicor : 4989+ 5 149548 0 1 149 360447 0 0 0
1799.60/1800.15 c countsols : 0 0 0 0 1 0 0 0 0 0
1799.60/1800.15 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1799.60/1800.15 c integral : 456.89 0.00 0.00 456.89 0.00
1799.60/1800.15 c knapsack : 9.95 0.00 9.95 0.00 0.00
1799.60/1800.15 c logicor : 3.43 0.02 3.41 0.00 0.00
1799.60/1800.15 c countsols : 0.00 0.00 0.00 0.00 0.00
1799.60/1800.15 c Propagators : Time Calls Cutoffs DomReds
1799.60/1800.15 c rootredcost : 0.19 0 0 0
1799.60/1800.15 c pseudoobj : 22.14 179781 0 0
1799.60/1800.15 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.60/1800.15 c propagation : 0.03 781 781 2279 11.9 103 5.1 -
1799.60/1800.15 c infeasible LP : 0.37 209 209 263 4.8 8 3.2 0
1799.60/1800.15 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.60/1800.15 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.60/1800.15 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.60/1800.15 c applied globally : - - - 1864 9.6 - - -
1799.60/1800.15 c applied locally : - - - 0 0.0 - - -
1799.60/1800.15 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.60/1800.15 c cut pool : 0.00 4 - - 301 - (maximal pool size: 1067)
1799.60/1800.15 c redcost : 8.95 55834 0 0 0 0
1799.60/1800.15 c impliedbounds : 0.01 5 0 0 0 0
1799.60/1800.15 c intobj : 0.00 0 0 0 0 0
1799.60/1800.15 c gomory : 0.55 5 0 0 2500 0
1799.60/1800.15 c strongcg : 0.55 5 0 0 2500 0
1799.60/1800.15 c cmir : 0.00 0 0 0 0 0
1799.60/1800.15 c flowcover : 0.00 0 0 0 0 0
1799.60/1800.15 c clique : 0.08 5 0 0 30 0
1799.60/1800.15 c zerohalf : 0.00 0 0 0 0 0
1799.60/1800.15 c mcf : 0.02 1 0 0 0 0
1799.60/1800.15 c Pricers : Time Calls Vars
1799.60/1800.15 c problem variables: 0.00 0 0
1799.60/1800.15 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.60/1800.15 c relpscost : 456.71 57135 34 2687 0 0 111562
1799.60/1800.15 c pscost : 0.00 0 0 0 0 0 0
1799.60/1800.15 c inference : 0.00 1 0 0 0 0 2
1799.60/1800.15 c mostinf : 0.00 0 0 0 0 0 0
1799.60/1800.15 c leastinf : 0.00 0 0 0 0 0 0
1799.60/1800.15 c fullstrong : 0.00 0 0 0 0 0 0
1799.60/1800.15 c allfullstrong : 0.00 0 0 0 0 0 0
1799.60/1800.15 c random : 0.00 0 0 0 0 0 0
1799.60/1800.15 c Primal Heuristics : Time Calls Found
1799.60/1800.15 c LP solutions : 0.00 - 0
1799.60/1800.15 c pseudo solutions : 0.00 - 0
1799.60/1800.15 c simplerounding : 0.00 0 0
1799.60/1800.15 c rounding : 0.00 0 0
1799.60/1800.15 c shifting : 0.00 0 0
1799.60/1800.15 c intshifting : 0.00 0 0
1799.60/1800.15 c oneopt : 0.00 0 0
1799.60/1800.15 c fixandinfer : 0.00 0 0
1799.60/1800.15 c feaspump : 0.00 0 0
1799.60/1800.15 c coefdiving : 0.00 0 0
1799.60/1800.15 c pscostdiving : 0.00 0 0
1799.60/1800.15 c fracdiving : 0.00 0 0
1799.60/1800.15 c veclendiving : 0.00 0 0
1799.60/1800.15 c intdiving : 0.00 0 0
1799.60/1800.15 c actconsdiving : 0.00 0 0
1799.60/1800.15 c objpscostdiving : 0.00 0 0
1799.60/1800.15 c rootsoldiving : 0.00 0 0
1799.60/1800.15 c linesearchdiving : 0.00 0 0
1799.60/1800.15 c guideddiving : 0.00 0 0
1799.60/1800.15 c octane : 0.00 0 0
1799.60/1800.15 c rens : 0.00 0 0
1799.60/1800.15 c rins : 0.00 0 0
1799.60/1800.15 c localbranching : 0.00 0 0
1799.60/1800.15 c mutation : 0.00 0 0
1799.60/1800.15 c crossover : 0.00 0 0
1799.60/1800.15 c dins : 0.00 0 0
1799.60/1800.15 c LP : Time Calls Iterations Iter/call Iter/sec
1799.60/1800.15 c primal LP : 0.00 0 0 0.00 -
1799.60/1800.15 c dual LP : 1095.57 57119 1978583 34.64 1805.99
1799.60/1800.15 c barrier LP : 0.00 0 0 0.00 -
1799.60/1800.15 c diving/probing LP: 0.00 0 0 0.00 -
1799.60/1800.15 c strong branching : 445.01 11924 531296 44.56 1193.90
1799.60/1800.15 c (at root node) : - 17 2074 122.00 -
1799.60/1800.15 c conflict analysis: 0.00 0 0 0.00 -
1799.60/1800.15 c B&B Tree :
1799.60/1800.15 c number of runs : 1
1799.60/1800.15 c nodes : 56781
1799.60/1800.15 c nodes (total) : 56781
1799.60/1800.15 c nodes left : 54510
1799.60/1800.15 c max depth : 91
1799.60/1800.15 c max depth (total): 91
1799.60/1800.15 c backtracks : 3028 (5.3%)
1799.60/1800.15 c delayed cutoffs : 274
1799.60/1800.15 c repropagations : 6403 (16075 domain reductions, 25 cutoffs)
1799.60/1800.15 c avg switch length: 3.58
1799.60/1800.15 c switching time : 17.49
1799.60/1800.15 c Solution :
1799.60/1800.15 c Solutions found : 0 (0 improvements)
1799.60/1800.15 c Primal Bound : -
1799.60/1800.15 c Dual Bound : +7.28771229565246e+02
1799.60/1800.15 c Gap : infinite
1799.60/1800.15 c Root Dual Bound : +6.54256078050094e+02
1799.80/1800.38 c Time complete: 1799.87.
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-1868602-1245129057/watcher-1868602-1245129057 -o /tmp/evaluation-result-1868602-1245129057/solver-1868602-1245129057 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868602-1245129057.opb 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: 0.94 0.96 0.97 3/65 2038 /proc/meminfo: memFree=1734872/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=6100 CPUtime=0 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 532 0 0 0 0 0 0 0 20 0 1 0 169432200 6246400 514 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0 /proc/2038/statm: 1525 525 325 886 0 635 0 [startup+0.038862 s] /proc/loadavg: 0.94 0.96 0.97 3/65 2038 /proc/meminfo: memFree=1734872/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=10220 CPUtime=0.03 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 1872 0 0 0 3 0 0 0 20 0 1 0 169432200 10465280 1854 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0 /proc/2038/statm: 2555 1854 351 886 0 1665 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10220 [startup+0.101867 s] /proc/loadavg: 0.94 0.96 0.97 3/65 2038 /proc/meminfo: memFree=1734872/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=14420 CPUtime=0.09 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 2940 0 0 0 8 1 0 0 20 0 1 0 169432200 14766080 2922 1992294400 4194304 7823515 548682068736 18446744073709551615 6289466 0 0 4096 0 0 0 0 17 1 0 0 /proc/2038/statm: 3605 2922 351 886 0 2715 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14420 [startup+0.301886 s] /proc/loadavg: 0.94 0.96 0.97 3/65 2038 /proc/meminfo: memFree=1734872/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=34316 CPUtime=0.29 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 7991 0 0 0 26 3 0 0 22 0 1 0 169432200 35139584 7619 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 8579 7619 432 886 0 7689 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 34316 [startup+0.701924 s] /proc/loadavg: 0.94 0.96 0.97 3/65 2038 /proc/meminfo: memFree=1734872/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=35608 CPUtime=0.69 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 8320 0 0 0 54 15 0 0 25 0 1 0 169432200 36462592 7948 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 8902 7948 432 886 0 8012 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 35608 [startup+1.502 s] /proc/loadavg: 0.94 0.96 0.97 3/66 2039 /proc/meminfo: memFree=1702736/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=47744 CPUtime=1.49 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 11519 0 0 0 126 23 0 0 20 0 1 0 169432200 48889856 11002 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 11936 11002 552 886 0 11046 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 47744 [startup+3.10115 s] /proc/loadavg: 0.94 0.96 0.97 2/66 2039 /proc/meminfo: memFree=1691280/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=51544 CPUtime=3.09 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 12696 0 0 0 284 25 0 0 25 0 1 0 169432200 52781056 12074 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 12886 12074 552 886 0 11996 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 51544 [startup+6.30145 s] /proc/loadavg: 0.95 0.96 0.97 2/66 2039 /proc/meminfo: memFree=1687960/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=52452 CPUtime=6.29 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 12992 0 0 0 602 27 0 0 25 0 1 0 169432200 53710848 12362 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 13113 12362 557 886 0 12223 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 52452 [startup+12.701 s] /proc/loadavg: 0.95 0.96 0.97 2/66 2039 /proc/meminfo: memFree=1687520/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=52452 CPUtime=12.69 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 13017 0 0 0 1240 29 0 0 25 0 1 0 169432200 53710848 12387 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 13113 12387 557 886 0 12223 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52452 [startup+25.5012 s] /proc/loadavg: 0.96 0.96 0.97 2/66 2039 /proc/meminfo: memFree=1687520/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=52452 CPUtime=25.48 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 13018 0 0 0 2516 32 0 0 25 0 1 0 169432200 53710848 12388 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 13113 12388 557 886 0 12223 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 52452 [startup+51.1016 s] /proc/loadavg: 0.97 0.96 0.97 2/66 2039 /proc/meminfo: memFree=1687520/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=52452 CPUtime=51.07 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 13018 0 0 0 5067 40 0 0 25 0 1 0 169432200 53710848 12388 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 13113 12388 557 886 0 12223 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 52452 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.97 2/66 2039 /proc/meminfo: memFree=1684768/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=55472 CPUtime=102.26 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 13748 0 0 0 10167 59 0 0 25 0 1 0 169432200 56803328 13087 1992294400 4194304 7823515 548682068736 18446744073709551615 4266419 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 13868 13087 564 886 0 12978 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 55472 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.97 2/66 2039 /proc/meminfo: memFree=1681248/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=58896 CPUtime=162.24 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 14625 0 0 0 16139 85 0 0 25 0 1 0 169432200 60309504 13964 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 14724 13964 564 886 0 13834 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 58896 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.97 2/66 2039 /proc/meminfo: memFree=1678176/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=61980 CPUtime=222.22 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 15366 0 0 0 22113 109 0 0 25 0 1 0 169432200 63467520 14704 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 15495 14704 564 886 0 14605 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 61980 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.97 2/66 2039 /proc/meminfo: memFree=1676064/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=63856 CPUtime=282.2 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 15895 0 0 0 28085 135 0 0 25 0 1 0 169432200 65388544 15233 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 15964 15233 564 886 0 15074 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 63856 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/66 2039 /proc/meminfo: memFree=1670368/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=69760 CPUtime=342.19 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 17319 0 0 0 34057 162 0 0 25 0 1 0 169432200 71434240 16649 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 17440 16649 564 886 0 16550 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 69760 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/66 2039 /proc/meminfo: memFree=1665824/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=74120 CPUtime=402.18 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 18491 0 0 0 40029 189 0 0 25 0 1 0 169432200 75898880 17821 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 18530 17821 564 886 0 17640 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 74120 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/66 2039 /proc/meminfo: memFree=1661344/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=78688 CPUtime=462.15 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 19599 0 0 0 46001 214 0 0 25 0 1 0 169432200 80576512 18926 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 19672 18926 564 886 0 18782 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 78688 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/66 2039 /proc/meminfo: memFree=1657696/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=82112 CPUtime=522.14 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 20526 0 0 0 51973 241 0 0 25 0 1 0 169432200 84082688 19841 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 20528 19841 564 886 0 19638 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 82112 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.97 2/66 2039 /proc/meminfo: memFree=1650336/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=89592 CPUtime=582.12 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 22339 0 0 0 57942 270 0 0 25 0 1 0 169432200 91742208 21649 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 22398 21649 564 886 0 21508 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 89592 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.97 2/66 2039 /proc/meminfo: memFree=1646112/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=93536 CPUtime=642.11 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 23389 0 0 0 63915 296 0 0 25 0 1 0 169432200 95780864 22694 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 23384 22694 564 886 0 22494 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 93536 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1604064/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=135444 CPUtime=1061.99 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 34044 0 0 0 105700 499 0 0 25 0 1 0 169432200 138694656 33185 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 33861 33185 564 886 0 32971 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 135444 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/66 2039 /proc/meminfo: memFree=1600928/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=138364 CPUtime=1121.98 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 34799 0 0 0 111670 528 0 0 25 0 1 0 169432200 141684736 33940 1992294400 4194304 7823515 548682068736 18446744073709551615 6237379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 34591 33940 564 886 0 33701 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 138364 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/66 2039 /proc/meminfo: memFree=1594528/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=144872 CPUtime=1181.96 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 36467 0 0 0 117639 557 0 0 25 0 1 0 169432200 148348928 35558 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 36218 35558 564 886 0 35328 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 144872 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/66 2039 /proc/meminfo: memFree=1586144/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=152916 CPUtime=1241.95 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 38631 0 0 0 123609 586 0 0 25 0 1 0 169432200 156585984 37622 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 38229 37622 564 886 0 37339 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 152916 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/66 2039 /proc/meminfo: memFree=1581792/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=157368 CPUtime=1301.93 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 39707 0 0 0 129578 615 0 0 25 0 1 0 169432200 161144832 38698 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 39342 38698 564 886 0 38452 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 157368 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/66 2039 /proc/meminfo: memFree=1575136/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=163956 CPUtime=1361.91 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 41387 0 0 0 135547 644 0 0 25 0 1 0 169432200 167890944 40345 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 40989 40345 564 886 0 40099 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 163956 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/66 2039 /proc/meminfo: memFree=1567968/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=170968 CPUtime=1421.9 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 43173 0 0 0 141516 674 0 0 25 0 1 0 169432200 175071232 42112 1992294400 4194304 7823515 548682068736 18446744073709551615 6135975 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 42742 42112 564 886 0 41852 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 170968 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/66 2039 /proc/meminfo: memFree=1562400/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=176328 CPUtime=1481.88 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 44623 0 0 0 147486 702 0 0 25 0 1 0 169432200 180559872 43508 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 44082 43508 564 886 0 43192 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 176328 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/66 2039 /proc/meminfo: memFree=1557472/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=181504 CPUtime=1541.86 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 45826 0 0 0 153454 732 0 0 25 0 1 0 169432200 185860096 44711 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 45376 44711 564 886 0 44486 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 181504 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/66 2041 /proc/meminfo: memFree=1549344/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=189192 CPUtime=1601.85 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 47875 0 0 0 159423 762 0 0 25 0 1 0 169432200 193732608 46748 1992294400 4194304 7823515 548682068736 18446744073709551615 4266570 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 47298 46748 564 886 0 46408 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 189192 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/66 2041 /proc/meminfo: memFree=1544800/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=193724 CPUtime=1661.83 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 49011 0 0 0 165392 791 0 0 25 0 1 0 169432200 198373376 47884 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 48431 47884 564 886 0 47541 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 193724 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/66 2041 /proc/meminfo: memFree=1538016/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=200444 CPUtime=1721.81 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 50798 0 0 0 171364 817 0 0 25 0 1 0 169432200 205254656 49565 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 50111 49565 564 886 0 49221 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 200444 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/66 2041 /proc/meminfo: memFree=1528608/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=209752 CPUtime=1781.8 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 53236 0 0 0 177335 845 0 0 25 0 1 0 169432200 214786048 51909 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 52438 51909 564 886 0 51548 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 209752 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.97 0.97 2/66 2041 /proc/meminfo: memFree=1528352/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=210276 CPUtime=1791.39 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 53311 0 0 0 178291 848 0 0 25 0 1 0 169432200 215322624 51984 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 52569 51984 564 886 0 51679 0 Current children cumulated CPU time (s) 1791.39 Current children cumulated vsize (KiB) 210276 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.97 2/66 2041 /proc/meminfo: memFree=1527072/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=211264 CPUtime=1794.59 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 53619 0 0 0 178609 850 0 0 25 0 1 0 169432200 216334336 52292 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 52816 52292 564 886 0 51926 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (KiB) 211264 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.97 2/66 2041 /proc/meminfo: memFree=1526624/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=211824 CPUtime=1797.79 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 53745 0 0 0 178927 852 0 0 25 0 1 0 169432200 216907776 52415 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 52956 52415 564 886 0 52066 0 Current children cumulated CPU time (s) 1797.79 Current children cumulated vsize (KiB) 211824 [startup+1799.1 s] /proc/loadavg: 0.99 0.97 0.97 2/66 2041 /proc/meminfo: memFree=1526560/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=211824 CPUtime=1798.59 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 53745 0 0 0 179007 852 0 0 25 0 1 0 169432200 216907776 52415 1992294400 4194304 7823515 548682068736 18446744073709551615 6135967 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 52956 52415 564 886 0 52066 0 Current children cumulated CPU time (s) 1798.59 Current children cumulated vsize (KiB) 211824 [startup+1799.9 s] /proc/loadavg: 0.99 0.97 0.97 2/66 2041 /proc/meminfo: memFree=1526560/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=211824 CPUtime=1799.4 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 53745 0 0 0 179087 853 0 0 25 0 1 0 169432200 216907776 52415 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2038/statm: 52956 52415 564 886 0 52066 0 Current children cumulated CPU time (s) 1799.4 Current children cumulated vsize (KiB) 211824 [startup+1800.3 s] /proc/loadavg: 0.99 0.97 0.97 2/66 2041 /proc/meminfo: memFree=1526560/2055920 swapFree=4192812/4192956 [pid=2038] ppid=2034 vsize=211824 CPUtime=1799.8 /proc/2038/stat : 2038 (pbscip.linux.x8) R 2034 2038 1941 0 -1 4194304 53749 0 0 0 179127 853 0 0 25 0 1 0 169432200 216907776 52419 1992294400 4194304 7823515 548682068736 18446744073709551615 4745372 0 0 4096 0 0 0 0 17 1 0 0 /proc/2038/statm: 52956 52419 568 886 0 52066 0 Current children cumulated CPU time (s) 1799.8 Current children cumulated vsize (KiB) 211824 Child status: 0 Real time (s): 1800.39 CPU time (s): 1799.89 CPU user time (s): 1791.32 CPU system time (s): 8.5677 CPU usage (%): 99.9723 Max. virtual memory (cumulated for all children) (KiB): 211824 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.32 system time used= 8.5677 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 53754 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= 6 involuntary context switches= 3542 runsolver used 1.9657 second user time and 4.35834 second system time The end
Begin job on node8 at 2009-06-16 07:10:57 IDJOB=1868602 IDBENCH=1468 IDSOLVER=683 FILE ID=node8/1868602-1245129057 PBS_JOBID= 9363715 Free space on /tmp= 66316 MiB SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-43s.smv.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1868602-1245129057/watcher-1868602-1245129057 -o /tmp/evaluation-result-1868602-1245129057/solver-1868602-1245129057 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868602-1245129057.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9da797f3e3b73aa39825ce2ab436589f RANDOM SEED=896394797 node8.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.234 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.234 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1735352 kB Buffers: 44036 kB Cached: 188864 kB SwapCached: 0 kB Active: 71364 kB Inactive: 176280 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1735352 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 10152 kB Writeback: 0 kB Mapped: 24560 kB Slab: 58772 kB Committed_AS: 166640 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66304 MiB End job on node8 at 2009-06-16 07:40:58