| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1802.21 | 1802.63 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LsqHdStrong.ucl.opb |
| MD5SUM | 3764cf8f4e2d3654f46ab0ec56ea8581 |
| Bench Category | DEC-SMALLINT (no 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 | NO |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 168111 |
| Total number of constraints | 487525 |
| Number of constraints which are clauses | 468727 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 18798 |
| 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 | 130 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 512 |
| 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.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-2664027-1276330718.opb>
8.89/8.91 c original problem has 168111 variables (168111 bin, 0 int, 0 impl, 0 cont) and 487525 constraints
8.89/8.91 c problem read
8.89/8.91 c No objective function, only one solution is needed.
8.89/8.93 c presolving settings loaded
8.89/8.93 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
11.49/11.55 c presolving:
21.09/21.19 c (round 1) 6008 del vars, 9423 del conss, 3237 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10333961 impls, 0 clqs
21.99/22.01 c (round 2) 6517 del vars, 17162 del conss, 3539 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10335953 impls, 0 clqs
22.48/22.58 c (round 3) 6521 del vars, 17479 del conss, 3543 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10335953 impls, 0 clqs
23.09/23.15 c (round 4) 6591 del vars, 17554 del conss, 3551 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10336079 impls, 0 clqs
23.69/23.73 c (round 5) 6663 del vars, 17762 del conss, 3562 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10336239 impls, 0 clqs
24.28/24.31 c (round 6) 6738 del vars, 17975 del conss, 3576 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10336941 impls, 0 clqs
24.79/24.89 c (round 7) 6815 del vars, 18195 del conss, 3593 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10337337 impls, 0 clqs
25.39/25.47 c (round 8) 6892 del vars, 18419 del conss, 3610 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10337602 impls, 0 clqs
25.98/26.04 c (round 9) 6970 del vars, 18648 del conss, 3629 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10337788 impls, 0 clqs
26.58/26.62 c (round 10) 7048 del vars, 18873 del conss, 3651 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10338004 impls, 0 clqs
27.09/27.19 c (round 11) 7152 del vars, 19157 del conss, 3700 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10338312 impls, 0 clqs
27.69/27.77 c (round 12) 7270 del vars, 19495 del conss, 3764 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10338856 impls, 0 clqs
28.29/28.35 c (round 13) 7372 del vars, 19790 del conss, 3813 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10339234 impls, 0 clqs
28.88/28.92 c (round 14) 7446 del vars, 20016 del conss, 3835 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10339396 impls, 0 clqs
29.38/29.49 c (round 15) 7514 del vars, 20218 del conss, 3852 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10339538 impls, 0 clqs
29.99/30.06 c (round 16) 7580 del vars, 20419 del conss, 3868 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10339694 impls, 0 clqs
30.58/30.63 c (round 17) 7646 del vars, 20616 del conss, 3885 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10339822 impls, 0 clqs
31.19/31.20 c (round 18) 7712 del vars, 20813 del conss, 3903 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10340020 impls, 0 clqs
31.68/31.77 c (round 19) 7778 del vars, 21010 del conss, 3922 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10340168 impls, 0 clqs
32.28/32.34 c (round 20) 7844 del vars, 21207 del conss, 3942 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10340364 impls, 0 clqs
32.90/32.91 c (round 21) 7910 del vars, 21404 del conss, 3963 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10340492 impls, 0 clqs
33.38/33.48 c (round 22) 7976 del vars, 21601 del conss, 3985 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10340620 impls, 0 clqs
33.99/34.05 c (round 23) 8042 del vars, 21798 del conss, 4008 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10340812 impls, 0 clqs
34.59/34.61 c (round 24) 8108 del vars, 21995 del conss, 4032 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10340940 impls, 0 clqs
35.09/35.18 c (round 25) 8174 del vars, 22192 del conss, 4057 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10341068 impls, 0 clqs
35.68/35.75 c (round 26) 8240 del vars, 22389 del conss, 4083 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10341196 impls, 0 clqs
36.29/36.31 c (round 27) 8306 del vars, 22586 del conss, 4110 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10341364 impls, 0 clqs
36.78/36.88 c (round 28) 8372 del vars, 22783 del conss, 4138 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10341536 impls, 0 clqs
37.38/37.44 c (round 29) 8454 del vars, 22996 del conss, 4167 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10343048 impls, 0 clqs
37.98/38.01 c (round 30) 8536 del vars, 23241 del conss, 4197 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10345752 impls, 0 clqs
38.49/38.58 c (round 31) 8618 del vars, 23486 del conss, 4228 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10348328 impls, 0 clqs
39.08/39.15 c (round 32) 8700 del vars, 23731 del conss, 4260 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10350798 impls, 0 clqs
39.68/39.71 c (round 33) 8766 del vars, 23960 del conss, 4293 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10352498 impls, 0 clqs
40.18/40.28 c (round 34) 8848 del vars, 24173 del conss, 4327 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10355926 impls, 0 clqs
40.79/40.85 c (round 35) 8930 del vars, 24418 del conss, 4362 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10356516 impls, 0 clqs
41.38/41.43 c (round 36) 9012 del vars, 24663 del conss, 4398 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10359546 impls, 0 clqs
41.88/41.99 c (round 37) 9049 del vars, 24844 del conss, 4435 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10359606 impls, 0 clqs
42.48/42.55 c (round 38) 9093 del vars, 24959 del conss, 4475 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10359796 impls, 0 clqs
43.08/43.12 c (round 39) 9148 del vars, 25098 del conss, 4518 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10360300 impls, 0 clqs
43.58/43.68 c (round 40) 9198 del vars, 25251 del conss, 4565 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10360493 impls, 0 clqs
44.18/44.25 c (round 41) 9268 del vars, 25415 del conss, 4617 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10361285 impls, 0 clqs
44.78/44.81 c (round 42) 9350 del vars, 25626 del conss, 4671 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10362483 impls, 0 clqs
45.28/45.38 c (round 43) 9434 del vars, 25868 del conss, 4722 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10363443 impls, 0 clqs
45.88/45.95 c (round 44) 9510 del vars, 26094 del conss, 4771 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10364787 impls, 0 clqs
46.48/46.53 c (round 45) 9576 del vars, 26320 del conss, 4824 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10368127 impls, 0 clqs
46.98/47.09 c (round 46) 9695 del vars, 26601 del conss, 4928 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10369066 impls, 0 clqs
47.58/47.67 c (round 47) 9914 del vars, 27048 del conss, 5038 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10372815 impls, 0 clqs
48.18/48.24 c (round 48) 10047 del vars, 27579 del conss, 5150 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10374641 impls, 0 clqs
48.78/48.80 c (round 49) 10106 del vars, 27850 del conss, 5199 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10375769 impls, 0 clqs
49.28/49.36 c (round 50) 10134 del vars, 27980 del conss, 5227 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10376229 impls, 0 clqs
49.88/49.92 c (round 51) 10155 del vars, 28051 del conss, 5244 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10376709 impls, 0 clqs
50.38/50.47 c (round 52) 10172 del vars, 28107 del conss, 5260 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10377003 impls, 0 clqs
51.38/51.45 c (round 53) 10192 del vars, 28177 del conss, 5278 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10377377 impls, 0 clqs
52.38/52.42 c (round 54) 10208 del vars, 28217 del conss, 5294 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10377489 impls, 0 clqs
53.78/53.81 c (round 55) 10224 del vars, 28265 del conss, 5310 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10377689 impls, 0 clqs
58.29/58.36 c (round 56) 10224 del vars, 28346 del conss, 5310 chg bounds, 9399 chg sides, 19538 chg coeffs, 459162 upgd conss, 10377727 impls, 0 clqs
59.98/60.06 c presolving (57 rounds):
59.98/60.06 c 10224 deleted vars, 28346 deleted constraints, 5310 tightened bounds, 0 added holes, 9399 changed sides, 19538 changed coefficients
59.98/60.06 c 10377727 implications, 0 cliques
59.98/60.06 c presolved problem has 157887 variables (157887 bin, 0 int, 0 impl, 0 cont) and 459179 constraints
59.98/60.06 c 18798 constraints of type <knapsack>
59.98/60.06 c 440381 constraints of type <logicor>
59.98/60.06 c transformed objective value is always integral (scale: 1)
59.98/60.06 c Presolving Time: 35.74
59.98/60.06 c - non default parameters ----------------------------------------------------------------------
59.98/60.06 c # SCIP version 1.2.1.2
59.98/60.06 c
59.98/60.06 c # frequency for displaying node information lines
59.98/60.06 c # [type: int, range: [-1,2147483647], default: 100]
59.98/60.06 c display/freq = 10000
59.98/60.06 c
59.98/60.06 c # maximal time in seconds to run
59.98/60.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
59.98/60.06 c limits/time = 1791.08
59.98/60.06 c
59.98/60.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
59.98/60.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
59.98/60.06 c limits/memory = 1620
59.98/60.06 c
59.98/60.06 c # solving stops, if the given number of solutions were found (-1: no limit)
59.98/60.06 c # [type: int, range: [-1,2147483647], default: -1]
59.98/60.06 c limits/solutions = 1
59.98/60.06 c
59.98/60.06 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
59.98/60.06 c # [type: int, range: [-1,2147483647], default: 1]
59.98/60.06 c lp/solvefreq = -1
59.98/60.06 c
59.98/60.06 c # maximal number of separation rounds per node (-1: unlimited)
59.98/60.06 c # [type: int, range: [-1,2147483647], default: 5]
59.98/60.06 c separating/maxrounds = 1
59.98/60.06 c
59.98/60.06 c # maximal number of separation rounds in the root node (-1: unlimited)
59.98/60.06 c # [type: int, range: [-1,2147483647], default: -1]
59.98/60.06 c separating/maxroundsroot = 5
59.98/60.06 c
59.98/60.06 c # should presolving try to simplify inequalities
59.98/60.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
59.98/60.06 c constraints/linear/simplifyinequalities = TRUE
59.98/60.06 c
59.98/60.06 c # should disaggregation of knapsack constraints be allowed in preprocessing?
59.98/60.06 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
59.98/60.06 c constraints/knapsack/disaggregation = FALSE
59.98/60.06 c
59.98/60.06 c # should presolving try to simplify knapsacks
59.98/60.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
59.98/60.06 c constraints/knapsack/simplifyinequalities = TRUE
59.98/60.06 c
59.98/60.06 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
59.98/60.06 c # [type: int, range: [-1,2147483647], default: -1]
59.98/60.06 c presolving/probing/maxrounds = 0
59.98/60.06 c
59.98/60.06 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
59.98/60.06 c # [type: int, range: [-1,2147483647], default: 10]
59.98/60.06 c heuristics/coefdiving/freq = -1
59.98/60.06 c
59.98/60.06 c # maximal fraction of diving LP iterations compared to node LP iterations
59.98/60.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
59.98/60.06 c heuristics/coefdiving/maxlpiterquot = 0.075
59.98/60.06 c
59.98/60.06 c # additional number of allowed LP iterations
59.98/60.06 c # [type: int, range: [0,2147483647], default: 1000]
59.98/60.06 c heuristics/coefdiving/maxlpiterofs = 1500
59.98/60.06 c
59.98/60.06 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
59.98/60.06 c # [type: int, range: [-1,2147483647], default: 30]
59.98/60.06 c heuristics/crossover/freq = -1
59.98/60.06 c
59.98/60.06 c # number of nodes added to the contingent of the total nodes
59.98/60.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
59.98/60.06 c heuristics/crossover/nodesofs = 750
59.98/60.06 c
59.98/60.06 c # number of nodes without incumbent change that heuristic should wait
59.98/60.06 c # [type: longint, range: [0,9223372036854775807], default: 200]
59.98/60.06 c heuristics/crossover/nwaitingnodes = 100
59.98/60.06 c
59.98/60.06 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
59.98/60.06 c # [type: real, range: [0,1], default: 0.1]
59.98/60.06 c heuristics/crossover/nodesquot = 0.15
59.98/60.06 c
59.98/60.06 c # minimum percentage of integer variables that have to be fixed
59.98/60.06 c # [type: real, range: [0,1], default: 0.666]
59.98/60.06 c heuristics/crossover/minfixingrate = 0.5
59.98/60.06 c
59.98/60.06 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
59.98/60.06 c # [type: int, range: [-1,2147483647], default: 20]
59.98/60.06 c heuristics/feaspump/freq = -1
59.98/60.06 c
59.98/60.06 c # additional number of allowed LP iterations
59.98/60.06 c # [type: int, range: [0,2147483647], default: 1000]
59.98/60.06 c heuristics/feaspump/maxlpiterofs = 2000
59.98/60.06 c
59.98/60.06 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
59.98/60.06 c # [type: int, range: [-1,2147483647], default: 10]
59.98/60.06 c heuristics/fracdiving/freq = -1
59.98/60.06 c
59.98/60.06 c # maximal fraction of diving LP iterations compared to node LP iterations
59.98/60.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
59.98/60.06 c heuristics/fracdiving/maxlpiterquot = 0.075
59.98/60.06 c
59.98/60.06 c # additional number of allowed LP iterations
59.98/60.06 c # [type: int, range: [0,2147483647], default: 1000]
59.98/60.06 c heuristics/fracdiving/maxlpiterofs = 1500
59.98/60.06 c
59.98/60.06 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
59.98/60.06 c # [type: int, range: [-1,2147483647], default: 10]
59.98/60.06 c heuristics/guideddiving/freq = -1
59.98/60.06 c
59.98/60.06 c # maximal fraction of diving LP iterations compared to node LP iterations
59.98/60.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
59.98/60.06 c heuristics/guideddiving/maxlpiterquot = 0.075
59.98/60.06 c
59.98/60.06 c # additional number of allowed LP iterations
59.98/60.06 c # [type: int, range: [0,2147483647], default: 1000]
59.98/60.06 c heuristics/guideddiving/maxlpiterofs = 1500
59.98/60.06 c
59.98/60.06 c # maximal fraction of diving LP iterations compared to node LP iterations
59.98/60.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
59.98/60.06 c heuristics/intdiving/maxlpiterquot = 0.075
59.98/60.06 c
59.98/60.06 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
59.98/60.06 c # [type: int, range: [-1,2147483647], default: 10]
59.98/60.06 c heuristics/intshifting/freq = -1
59.98/60.06 c
59.98/60.06 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
59.98/60.06 c # [type: int, range: [-1,2147483647], default: 10]
59.98/60.06 c heuristics/linesearchdiving/freq = -1
59.98/60.06 c
59.98/60.06 c # maximal fraction of diving LP iterations compared to node LP iterations
59.98/60.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
59.98/60.06 c heuristics/linesearchdiving/maxlpiterquot = 0.075
59.98/60.06 c
59.98/60.06 c # additional number of allowed LP iterations
59.98/60.06 c # [type: int, range: [0,2147483647], default: 1000]
59.98/60.06 c heuristics/linesearchdiving/maxlpiterofs = 1500
59.98/60.06 c
59.98/60.06 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
59.98/60.06 c # [type: int, range: [-1,2147483647], default: 1]
59.98/60.06 c heuristics/nlp/freq = -1
59.98/60.06 c
59.98/60.06 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
59.98/60.06 c # [type: int, range: [-1,2147483647], default: 20]
59.98/60.06 c heuristics/objpscostdiving/freq = -1
59.98/60.06 c
59.98/60.06 c # maximal fraction of diving LP iterations compared to total iteration number
59.98/60.06 c # [type: real, range: [0,1], default: 0.01]
59.98/60.06 c heuristics/objpscostdiving/maxlpiterquot = 0.015
59.98/60.06 c
59.98/60.06 c # additional number of allowed LP iterations
59.98/60.06 c # [type: int, range: [0,2147483647], default: 1000]
59.98/60.06 c heuristics/objpscostdiving/maxlpiterofs = 1500
59.98/60.06 c
59.98/60.06 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
59.98/60.06 c # [type: int, range: [-1,2147483647], default: 1]
59.98/60.06 c heuristics/oneopt/freq = -1
59.98/60.06 c
59.98/60.06 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
59.98/60.06 c # [type: int, range: [-1,2147483647], default: 10]
59.98/60.06 c heuristics/pscostdiving/freq = -1
59.98/60.06 c
59.98/60.06 c # maximal fraction of diving LP iterations compared to node LP iterations
59.98/60.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
59.98/60.06 c heuristics/pscostdiving/maxlpiterquot = 0.075
59.98/60.06 c
59.98/60.06 c # additional number of allowed LP iterations
59.98/60.06 c # [type: int, range: [0,2147483647], default: 1000]
59.98/60.06 c heuristics/pscostdiving/maxlpiterofs = 1500
59.98/60.06 c
59.98/60.06 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
59.98/60.06 c # [type: int, range: [-1,2147483647], default: 0]
59.98/60.06 c heuristics/rens/freq = -1
59.98/60.06 c
59.98/60.06 c # minimum percentage of integer variables that have to be fixable
59.98/60.06 c # [type: real, range: [0,1], default: 0.5]
59.98/60.06 c heuristics/rens/minfixingrate = 0.3
59.98/60.06 c
59.98/60.06 c # number of nodes added to the contingent of the total nodes
59.98/60.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
59.98/60.06 c heuristics/rens/nodesofs = 2000
59.98/60.06 c
59.98/60.06 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
59.98/60.06 c # [type: int, range: [-1,2147483647], default: 20]
59.98/60.06 c heuristics/rootsoldiving/freq = -1
59.98/60.06 c
59.98/60.06 c # maximal fraction of diving LP iterations compared to node LP iterations
59.98/60.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
59.98/60.06 c heuristics/rootsoldiving/maxlpiterquot = 0.015
59.98/60.06 c
59.98/60.06 c # additional number of allowed LP iterations
59.98/60.06 c # [type: int, range: [0,2147483647], default: 1000]
59.98/60.06 c heuristics/rootsoldiving/maxlpiterofs = 1500
59.98/60.06 c
59.98/60.06 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
59.98/60.06 c # [type: int, range: [-1,2147483647], default: 1]
59.98/60.06 c heuristics/rounding/freq = -1
59.98/60.06 c
59.98/60.06 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
59.98/60.06 c # [type: int, range: [-1,2147483647], default: 10]
59.98/60.06 c heuristics/shifting/freq = -1
59.98/60.06 c
59.98/60.06 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
59.98/60.06 c # [type: int, range: [-1,2147483647], default: 1]
59.98/60.06 c heuristics/simplerounding/freq = -1
59.98/60.06 c
59.98/60.06 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
59.98/60.06 c # [type: int, range: [-1,2147483647], default: 0]
59.98/60.06 c heuristics/trivial/freq = -1
59.98/60.06 c
59.98/60.06 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
59.98/60.06 c # [type: int, range: [-1,2147483647], default: 1]
59.98/60.06 c heuristics/trysol/freq = -1
59.98/60.06 c
59.98/60.06 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
59.98/60.06 c # [type: int, range: [-1,2147483647], default: 10]
59.98/60.06 c heuristics/veclendiving/freq = -1
59.98/60.06 c
59.98/60.06 c # maximal fraction of diving LP iterations compared to node LP iterations
59.98/60.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
59.98/60.06 c heuristics/veclendiving/maxlpiterquot = 0.075
59.98/60.06 c
59.98/60.06 c # additional number of allowed LP iterations
59.98/60.06 c # [type: int, range: [0,2147483647], default: 1000]
59.98/60.06 c heuristics/veclendiving/maxlpiterofs = 1500
59.98/60.06 c
59.98/60.06 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
59.98/60.06 c # [type: int, range: [-1,2147483647], default: 1]
59.98/60.06 c heuristics/zirounding/freq = -1
59.98/60.06 c
59.98/60.06 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
59.98/60.06 c # [type: int, range: [-1,2147483647], default: 0]
59.98/60.06 c separating/cmir/freq = -1
59.98/60.06 c
59.98/60.06 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
59.98/60.06 c # [type: int, range: [-1,2147483647], default: 0]
59.98/60.06 c separating/flowcover/freq = -1
59.98/60.06 c
59.98/60.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
59.98/60.06 c # [type: int, range: [-1,2147483647], default: -1]
59.98/60.06 c separating/rapidlearning/freq = 0
59.98/60.06 c
59.98/60.06 c -----------------------------------------------------------------------------------------------
59.98/60.06 c start solving
60.18/60.22 c
60.77/60.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.77/60.83 c 37.7s| 1 | 2 | 0 | - | 977M| 0 | - | 157k| 459k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1800.08/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.19/1800.68 c
1800.19/1800.68 c SCIP Status : solving was interrupted [user interrupt]
1800.19/1800.68 c Solving Time (sec) : 1776.20
1800.19/1800.68 c Solving Nodes : 5831
1800.19/1800.68 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.19/1800.68 c Dual Bound : +0.00000000000000e+00
1800.19/1800.68 c Gap : infinite
1800.19/1800.68 s UNKNOWN
1800.19/1800.68 c SCIP Status : solving was interrupted [user interrupt]
1800.19/1800.68 c Solving Time : 1776.20
1800.19/1800.68 c Original Problem :
1800.19/1800.68 c Problem name : HOME/instance-2664027-1276330718.opb
1800.19/1800.68 c Variables : 168111 (168111 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.19/1800.68 c Constraints : 487525 initial, 487525 maximal
1800.19/1800.68 c Presolved Problem :
1800.19/1800.68 c Problem name : t_HOME/instance-2664027-1276330718.opb
1800.19/1800.68 c Variables : 157887 (157887 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.19/1800.68 c Constraints : 459179 initial, 459366 maximal
1800.19/1800.68 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.19/1800.68 c trivial : 1.78 93 0 0 0 0 0 0 0
1800.19/1800.68 c dualfix : 1.71 0 0 0 0 0 0 0 0
1800.19/1800.68 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.19/1800.68 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.19/1800.68 c implics : 5.28 0 4810 0 0 0 0 0 0
1800.19/1800.68 c probing : 0.00 0 0 0 0 0 0 0 0
1800.19/1800.68 c knapsack : 0.31 0 0 0 0 0 0 0 0
1800.19/1800.68 c linear : 23.82 5303 18 0 5310 0 28346 9399 19538
1800.19/1800.68 c logicor : 1.00 0 0 0 0 0 0 0 0
1800.19/1800.68 c root node : - 2 - - 2 - - - -
1800.19/1800.68 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.19/1800.68 c integral : 0 0 0 0 0 0 0 0 0 0
1800.19/1800.68 c knapsack : 18798 0 68465 0 5781 6 6776 0 0 0
1800.19/1800.68 c logicor : 440381+ 0 65911 0 5781 70 2994941 0 0 0
1800.19/1800.68 c countsols : 0 0 0 0 5780 0 0 0 0 0
1800.19/1800.68 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.19/1800.68 c integral : 0.00 0.00 0.00 0.00 0.00
1800.19/1800.68 c knapsack : 174.84 0.00 174.76 0.00 0.08
1800.19/1800.68 c logicor : 1249.92 0.00 23.70 0.00 1226.22
1800.19/1800.68 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.19/1800.68 c Propagators : Time Calls Cutoffs DomReds
1800.19/1800.68 c vbounds : 0.07 1 0 0
1800.19/1800.68 c rootredcost : 0.08 0 0 0
1800.19/1800.68 c pseudoobj : 0.05 0 0 0
1800.19/1800.68 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.19/1800.68 c propagation : 0.01 76 76 387 39.3 25 11.4 -
1800.19/1800.68 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.19/1800.68 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.19/1800.68 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.19/1800.68 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.19/1800.68 c applied globally : - - - 250 31.3 - - -
1800.19/1800.68 c applied locally : - - - 0 0.0 - - -
1800.19/1800.68 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.19/1800.68 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.19/1800.68 c redcost : 0.00 0 0 0 0 0
1800.19/1800.68 c impliedbounds : 0.00 0 0 0 0 0
1800.19/1800.68 c intobj : 0.00 0 0 0 0 0
1800.19/1800.68 c cgmip : 0.00 0 0 0 0 0
1800.19/1800.68 c gomory : 0.00 0 0 0 0 0
1800.19/1800.68 c strongcg : 0.00 0 0 0 0 0
1800.19/1800.68 c cmir : 0.00 0 0 0 0 0
1800.19/1800.68 c flowcover : 0.00 0 0 0 0 0
1800.19/1800.68 c clique : 0.00 0 0 0 0 0
1800.19/1800.68 c zerohalf : 0.00 0 0 0 0 0
1800.19/1800.68 c mcf : 0.00 0 0 0 0 0
1800.19/1800.68 c rapidlearning : 0.00 0 0 0 0 0
1800.19/1800.68 c Pricers : Time Calls Vars
1800.19/1800.68 c problem variables: 0.00 0 0
1800.19/1800.68 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.19/1800.68 c relpscost : 0.00 0 0 0 0 0 0
1800.19/1800.68 c pscost : 0.00 0 0 0 0 0 0
1800.19/1800.68 c inference : 293.53 5780 0 0 0 0 11560
1800.19/1800.68 c mostinf : 0.00 0 0 0 0 0 0
1800.19/1800.68 c leastinf : 0.00 0 0 0 0 0 0
1800.19/1800.68 c fullstrong : 0.00 0 0 0 0 0 0
1800.19/1800.68 c allfullstrong : 0.00 0 0 0 0 0 0
1800.19/1800.68 c random : 0.00 0 0 0 0 0 0
1800.19/1800.68 c Primal Heuristics : Time Calls Found
1800.19/1800.68 c LP solutions : 0.00 - 0
1800.19/1800.68 c pseudo solutions : 0.00 - 0
1800.19/1800.68 c trivial : 0.36 1 0
1800.19/1800.68 c simplerounding : 0.00 0 0
1800.19/1800.68 c zirounding : 0.00 0 0
1800.19/1800.68 c rounding : 0.00 0 0
1800.19/1800.68 c shifting : 0.00 0 0
1800.19/1800.68 c intshifting : 0.00 0 0
1800.19/1800.68 c oneopt : 0.00 0 0
1800.19/1800.68 c twoopt : 0.00 0 0
1800.19/1800.68 c fixandinfer : 0.00 0 0
1800.19/1800.68 c feaspump : 0.00 0 0
1800.19/1800.68 c coefdiving : 0.00 0 0
1800.19/1800.68 c pscostdiving : 0.00 0 0
1800.19/1800.68 c fracdiving : 0.00 0 0
1800.19/1800.68 c veclendiving : 0.00 0 0
1800.19/1800.68 c intdiving : 0.00 0 0
1800.19/1800.68 c actconsdiving : 0.00 0 0
1800.19/1800.68 c objpscostdiving : 0.00 0 0
1800.19/1800.68 c rootsoldiving : 0.00 0 0
1800.19/1800.68 c linesearchdiving : 0.00 0 0
1800.19/1800.68 c guideddiving : 0.00 0 0
1800.19/1800.68 c octane : 0.00 0 0
1800.19/1800.68 c rens : 0.00 0 0
1800.19/1800.68 c rins : 0.00 0 0
1800.19/1800.68 c localbranching : 0.00 0 0
1800.19/1800.68 c mutation : 0.00 0 0
1800.19/1800.68 c crossover : 0.00 0 0
1800.19/1800.68 c dins : 0.00 0 0
1800.19/1800.68 c undercover : 0.00 0 0
1800.19/1800.68 c nlp : 0.00 0 0
1800.19/1800.68 c trysol : 0.00 0 0
1800.19/1800.68 c LP : Time Calls Iterations Iter/call Iter/sec
1800.19/1800.68 c primal LP : 0.00 0 0 0.00 -
1800.19/1800.68 c dual LP : 0.00 0 0 0.00 -
1800.19/1800.68 c lex dual LP : 0.00 0 0 0.00 -
1800.19/1800.68 c barrier LP : 0.00 0 0 0.00 -
1800.19/1800.68 c diving/probing LP: 0.00 0 0 0.00 -
1800.19/1800.68 c strong branching : 0.00 0 0 0.00 -
1800.19/1800.68 c (at root node) : - 0 0 0.00 -
1800.19/1800.68 c conflict analysis: 0.00 0 0 0.00 -
1800.19/1800.68 c B&B Tree :
1800.19/1800.68 c number of runs : 1
1800.19/1800.68 c nodes : 5831
1800.19/1800.68 c nodes (total) : 5831
1800.19/1800.68 c nodes left : 5608
1800.19/1800.68 c max depth : 638
1800.19/1800.68 c max depth (total): 638
1800.19/1800.68 c backtracks : 44 (0.8%)
1800.19/1800.68 c delayed cutoffs : 122
1800.19/1800.68 c repropagations : 2136 (89555 domain reductions, 25 cutoffs)
1800.19/1800.68 c avg switch length: 2.72
1800.19/1800.68 c switching time : 13.69
1800.19/1800.68 c Solution :
1800.19/1800.68 c Solutions found : 0 (0 improvements)
1800.19/1800.68 c Primal Bound : -
1800.19/1800.68 c Dual Bound : +0.00000000000000e+00
1800.19/1800.68 c Gap : infinite
1800.19/1800.68 c Root Dual Bound : +0.00000000000000e+00
1800.19/1800.68 c Root Iterations : 0
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-2664027-1276330718/watcher-2664027-1276330718 -o /tmp/evaluation-result-2664027-1276330718/solver-2664027-1276330718 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664027-1276330718.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.03 1.03 1.00 3/106 10282 /proc/meminfo: memFree=1830024/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=6584 CPUtime=0 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 970 0 0 0 0 0 0 0 20 0 1 0 6727312 6742016 893 1992294400 4194304 7136930 140734335892992 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10282/statm: 1646 902 254 719 0 925 0 [startup+0.0230309 s] /proc/loadavg: 1.03 1.03 1.00 3/106 10282 /proc/meminfo: memFree=1830024/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=8620 CPUtime=0.01 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 1624 0 0 0 1 0 0 0 20 0 1 0 6727312 8826880 1547 1992294400 4194304 7136930 140734335892992 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10282/statm: 2155 1547 268 719 0 1434 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 8620 [startup+0.102037 s] /proc/loadavg: 1.03 1.03 1.00 3/106 10282 /proc/meminfo: memFree=1830024/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=13888 CPUtime=0.09 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 2936 0 0 0 8 1 0 0 20 0 1 0 6727312 14221312 2859 1992294400 4194304 7136930 140734335892992 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10282/statm: 3472 2859 268 719 0 2751 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13888 [startup+0.301052 s] /proc/loadavg: 1.03 1.03 1.00 3/106 10282 /proc/meminfo: memFree=1830024/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=19712 CPUtime=0.29 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 4403 0 0 0 28 1 0 0 20 0 1 0 6727312 20185088 4326 1992294400 4194304 7136930 140734335892992 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10282/statm: 4928 4326 268 719 0 4207 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19712 [startup+0.701084 s] /proc/loadavg: 1.03 1.03 1.00 3/106 10282 /proc/meminfo: memFree=1830024/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=34972 CPUtime=0.69 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 8227 0 0 0 66 3 0 0 20 0 1 0 6727312 35811328 8150 1992294400 4194304 7136930 140734335892992 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10282/statm: 8743 8150 268 719 0 8022 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 34972 [startup+1.50015 s] /proc/loadavg: 1.03 1.03 1.00 2/107 10283 /proc/meminfo: memFree=1788228/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=62532 CPUtime=1.49 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 15109 0 0 0 144 5 0 0 22 0 1 0 6727312 64032768 15032 1992294400 4194304 7136930 140734335892992 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10282/statm: 15633 15032 268 719 0 14912 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 62532 [startup+3.10128 s] /proc/loadavg: 1.03 1.03 1.00 2/107 10283 /proc/meminfo: memFree=1750532/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=117820 CPUtime=3.09 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 28901 0 0 0 299 10 0 0 25 0 1 0 6727312 120647680 28824 1992294400 4194304 7136930 140734335892992 18446744073709551615 6285791 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10282/statm: 29455 28824 268 719 0 28734 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 117820 [startup+6.30153 s] /proc/loadavg: 1.03 1.03 1.00 2/107 10283 /proc/meminfo: memFree=1639800/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=223640 CPUtime=6.29 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 55319 0 0 0 608 21 0 0 25 0 1 0 6727312 229007360 55242 1992294400 4194304 7136930 140734335892992 18446744073709551615 6285736 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10282/statm: 55910 55242 268 719 0 55189 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 223640 [startup+12.701 s] /proc/loadavg: 1.02 1.03 1.00 2/107 10283 /proc/meminfo: memFree=1067540/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=805104 CPUtime=12.69 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 197856 0 0 0 1192 77 0 0 25 0 1 0 6727312 824426496 197425 1992294400 4194304 7136930 140734335892992 18446744073709551615 4947985 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10282/statm: 201276 197425 346 719 0 200555 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 805104 [startup+25.5011 s] /proc/loadavg: 1.02 1.03 1.00 2/107 10283 /proc/meminfo: memFree=760268/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=1091016 CPUtime=25.49 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 269485 0 0 0 2257 292 0 0 25 0 1 0 6727312 1117200384 266998 1992294400 4194304 7136930 140734335892992 18446744073709551615 5504378 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10282/statm: 272754 266998 347 719 0 272033 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1091016 [startup+51.1011 s] /proc/loadavg: 1.01 1.02 1.00 2/107 10283 /proc/meminfo: memFree=760144/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=1091228 CPUtime=51.08 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 281071 0 0 0 3893 1215 0 0 25 0 1 0 6727312 1117417472 267019 1992294400 4194304 7136930 140734335892992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10282/statm: 272807 267019 347 719 0 272086 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1091228 [startup+102.309 s] /proc/loadavg: 1.00 1.02 1.00 2/107 10285 /proc/meminfo: memFree=588528/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=1281676 CPUtime=102.27 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 373196 0 0 0 8776 1451 0 0 25 0 1 0 6727312 1312436224 310026 1992294400 4194304 7136930 140734335892992 18446744073709551615 4853673 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10282/statm: 320419 310026 389 719 0 319698 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1281676 [startup+162.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 10287 /proc/meminfo: memFree=555916/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=1314568 CPUtime=162.25 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 383596 0 0 0 14767 1458 0 0 25 0 1 0 6727312 1346117632 318151 1992294400 4194304 7136930 140734335892992 18446744073709551615 4414520 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10282/statm: 328642 318151 393 719 0 327921 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 1314568 [startup+222.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 10289 /proc/meminfo: memFree=555544/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=1314856 CPUtime=222.24 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 383668 0 0 0 20766 1458 0 0 25 0 1 0 6727312 1346412544 318223 1992294400 4194304 7136930 140734335892992 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10282/statm: 328714 318223 393 719 0 327993 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 1314856 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10289 /proc/meminfo: memFree=547484/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=1322992 CPUtime=282.23 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 386490 0 0 0 26763 1460 0 0 25 0 1 0 6727312 1354743808 320265 1992294400 4194304 7136930 140734335892992 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10282/statm: 330748 320265 393 719 0 330027 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 1322992 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10291 /proc/meminfo: memFree=544508/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=1325876 CPUtime=342.21 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 387205 0 0 0 32760 1461 0 0 25 0 1 0 6727312 1357697024 320980 1992294400 4194304 7136930 140734335892992 18446744073709551615 4697135 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10282/statm: 331469 320980 393 719 0 330748 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 1325876 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10293 /proc/meminfo: memFree=539920/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=1330480 CPUtime=402.2 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 389243 0 0 0 38758 1462 0 0 25 0 1 0 6727312 1362411520 322108 1992294400 4194304 7136930 140734335892992 18446744073709551615 4854173 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10282/statm: 332620 322108 393 719 0 331899 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 1330480 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10295 /proc/meminfo: memFree=538680/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=1331672 CPUtime=462.18 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 389543 0 0 0 44756 1462 0 0 25 0 1 0 6727312 1363632128 322408 1992294400 4194304 7136930 140734335892992 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10282/statm: 332918 322408 393 719 0 332197 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 1331672 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10297 /proc/meminfo: memFree=535332/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=1335000 CPUtime=522.17 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 391468 0 0 0 50752 1465 0 0 25 0 1 0 6727312 1367040000 323228 1992294400 4194304 7136930 140734335892992 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10282/statm: 333750 323228 393 719 0 333029 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 1335000 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10297 /proc/meminfo: memFree=529876/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=1340388 CPUtime=582.15 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 393221 0 0 0 56749 1466 0 0 25 0 1 0 6727312 1372557312 324591 1992294400 4194304 7136930 140734335892992 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10282/statm: 335097 324591 393 719 0 334376 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 1340388 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10299 /proc/meminfo: memFree=524916/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=1345452 CPUtime=642.15 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 395954 0 0 0 62747 1468 0 0 25 0 1 0 6727312 1377742848 325829 1992294400 4194304 7136930 140734335892992 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10282/statm: 336363 325829 393 719 0 335642 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 1345452 [startup+702.302 s] ################ # More data... # ################ /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 407953 0 0 0 98716 1490 0 0 25 0 1 0 6727312 1416568832 334838 1992294400 4194304 7136930 140734335892992 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10282/statm: 345842 334838 393 719 0 345121 0 Current children cumulated CPU time (s) 1002.06 Current children cumulated vsize (KiB) 1383368 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10311 /proc/meminfo: memFree=485732/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=1386444 CPUtime=1062.04 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 409144 0 0 0 104713 1491 0 0 25 0 1 0 6727312 1419718656 335574 1992294400 4194304 7136930 140734335892992 18446744073709551615 4853690 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10282/statm: 346611 335574 393 719 0 345890 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 1386444 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10313 /proc/meminfo: memFree=477796/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=1394672 CPUtime=1122.02 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 411669 0 0 0 110706 1496 0 0 25 0 1 0 6727312 1428144128 337514 1992294400 4194304 7136930 140734335892992 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10282/statm: 348668 337514 393 719 0 347947 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 1394672 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10315 /proc/meminfo: memFree=470356/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=1402040 CPUtime=1182.01 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 413465 0 0 0 116700 1501 0 0 25 0 1 0 6727312 1435688960 339245 1992294400 4194304 7136930 140734335892992 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10282/statm: 350510 339245 393 719 0 349789 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 1402040 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10318 /proc/meminfo: memFree=464280/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=1408568 CPUtime=1242 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 414938 0 0 0 122695 1505 0 0 25 0 1 0 6727312 1442373632 340718 1992294400 4194304 7136930 140734335892992 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10282/statm: 352142 340718 393 719 0 351421 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 1408568 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10320 /proc/meminfo: memFree=463536/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=1409452 CPUtime=1301.99 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 415139 0 0 0 128692 1507 0 0 25 0 1 0 6727312 1443278848 340919 1992294400 4194304 7136930 140734335892992 18446744073709551615 4853673 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10282/statm: 352363 340919 393 719 0 351642 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 1409452 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10322 /proc/meminfo: memFree=463412/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=1409592 CPUtime=1361.97 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 415188 0 0 0 134689 1508 0 0 25 0 1 0 6727312 1443422208 340968 1992294400 4194304 7136930 140734335892992 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10282/statm: 352398 340968 393 719 0 351677 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 1409592 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10324 /proc/meminfo: memFree=453120/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=1420996 CPUtime=1421.96 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 417943 0 0 0 140684 1512 0 0 25 0 1 0 6727312 1455099904 343528 1992294400 4194304 7136930 140734335892992 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10282/statm: 355249 343528 393 719 0 354528 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 1420996 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10324 /proc/meminfo: memFree=445556/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=1429364 CPUtime=1481.94 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 420016 0 0 0 146677 1517 0 0 25 0 1 0 6727312 1463668736 345471 1992294400 4194304 7136930 140734335892992 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10282/statm: 357341 345471 393 719 0 356620 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 1429364 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10326 /proc/meminfo: memFree=437496/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=1438308 CPUtime=1541.93 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 422011 0 0 0 152671 1522 0 0 25 0 1 0 6727312 1472827392 347466 1992294400 4194304 7136930 140734335892992 18446744073709551615 4853690 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10282/statm: 359577 347466 393 719 0 358856 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 1438308 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10328 /proc/meminfo: memFree=436752/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=1438940 CPUtime=1601.91 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 422183 0 0 0 158667 1524 0 0 25 0 1 0 6727312 1473474560 347638 1992294400 4194304 7136930 140734335892992 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10282/statm: 359735 347638 393 719 0 359014 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 1438940 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10330 /proc/meminfo: memFree=428072/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=1448820 CPUtime=1661.9 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 424627 0 0 0 164661 1529 0 0 25 0 1 0 6727312 1483591680 349822 1992294400 4194304 7136930 140734335892992 18446744073709551615 4740313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10282/statm: 362205 349822 393 719 0 361484 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 1448820 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10332 /proc/meminfo: memFree=416168/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=1461392 CPUtime=1721.88 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 427598 0 0 0 170655 1533 0 0 25 0 1 0 6727312 1496465408 352793 1992294400 4194304 7136930 140734335892992 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10282/statm: 365348 352793 393 719 0 364627 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 1461392 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10332 /proc/meminfo: memFree=400420/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=1477452 CPUtime=1781.87 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 431462 0 0 0 176648 1539 0 0 25 0 1 0 6727312 1512910848 356657 1992294400 4194304 7136930 140734335892992 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10282/statm: 369363 356657 393 719 0 368642 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 1477452 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10334 /proc/meminfo: memFree=396576/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=1481776 CPUtime=1800.08 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 432404 0 0 0 178467 1541 0 0 25 0 1 0 6727312 1517338624 357599 1992294400 4194304 7136930 140734335892992 18446744073709551615 4697020 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10282/statm: 370444 357599 393 719 0 369723 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1481776 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -10282 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10335 /proc/meminfo: memFree=396568/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=1468164 CPUtime=1800.97 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 432547 0 0 0 178556 1541 0 0 25 0 1 0 6727312 1503399936 355133 1992294400 4194304 7136930 140734335892992 18446744073709551615 5957543 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10282/statm: 367041 355133 399 719 0 366320 0 Current children cumulated CPU time (s) 1800.97 Current children cumulated vsize (KiB) 1468164 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10335 /proc/meminfo: memFree=428312/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=1356660 CPUtime=1801.77 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4202496 432547 0 0 0 178635 1542 0 0 25 0 1 0 6727312 1389219840 327441 1992294400 4194304 7136930 140734335892992 18446744073709551615 4698824 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10282/statm: 339165 327441 399 719 0 338444 0 Current children cumulated CPU time (s) 1801.77 Current children cumulated vsize (KiB) 1356660 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10335 /proc/meminfo: memFree=428312/2059040 swapFree=4135896/4192956 [pid=10282] ppid=10280 vsize=0 CPUtime=1802.16 /proc/10282/stat : 10282 (pbscip.linux.x8) R 10280 10282 7191 0 -1 4203524 432547 0 0 0 178665 1551 0 0 25 0 1 0 6727312 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/10282/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.16 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.63 CPU time (s): 1802.21 CPU user time (s): 1786.66 CPU system time (s): 15.5486 CPU usage (%): 99.9765 Max. virtual memory (cumulated for all children) (KiB): 1482296 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.66 system time used= 15.5486 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 432547 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= 5718 runsolver used 2.79157 second user time and 8.70168 second system time The end
Begin job on node026 at 2010-06-12 10:18:39 IDJOB=2664027 IDBENCH=1447 IDSOLVER=1167 FILE ID=node026/2664027-1276330718 PBS_JOBID= 11173158 Free space on /tmp= 62492 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LsqHdStrong.ucl.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-2664027-1276330718/watcher-2664027-1276330718 -o /tmp/evaluation-result-2664027-1276330718/solver-2664027-1276330718 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664027-1276330718.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3764cf8f4e2d3654f46ab0ec56ea8581 RANDOM SEED=1199937878 node026.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.201 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.201 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1830552 kB Buffers: 16212 kB Cached: 122340 kB SwapCached: 23112 kB Active: 118416 kB Inactive: 45436 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1830552 kB SwapTotal: 4192956 kB SwapFree: 4135896 kB Dirty: 20168 kB Writeback: 0 kB AnonPages: 10120 kB Mapped: 8020 kB Slab: 42960 kB PageTables: 3988 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181644 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= 62492 MiB End job on node026 at 2010-06-12 10:48:42