| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.95 | 1801.5 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900669797.opb |
| MD5SUM | a7f9415d82387c85347e0216376f3dfd |
| 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 | 47.1258 |
| 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 | 231 |
| Total number of constraints | 2707 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| 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 | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 695 |
| 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-2664036-1276295658.opb>
0.00/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.05 c problem read
0.00/0.05 c No objective function, only one solution is needed.
0.00/0.05 c presolving settings loaded
0.00/0.05 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.07 c presolving:
0.09/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.09/0.14 c presolving (3 rounds):
0.09/0.14 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.14 c 242 implications, 22 cliques
0.09/0.14 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints
0.09/0.14 c 1 constraints of type <knapsack>
0.09/0.14 c 22 constraints of type <setppc>
0.09/0.14 c 2541 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.07
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1799.95
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 1620
0.09/0.14 c
0.09/0.14 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c limits/solutions = 1
0.09/0.14 c
0.09/0.14 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c lp/solvefreq = -1
0.09/0.14 c
0.09/0.14 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.14 c separating/maxrounds = 1
0.09/0.14 c
0.09/0.14 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c separating/maxroundsroot = 5
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify inequalities
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/linear/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.14 c constraints/knapsack/disaggregation = FALSE
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify knapsacks
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c presolving/probing/maxrounds = 0
0.09/0.14 c
0.09/0.14 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.14 c heuristics/coefdiving/freq = -1
0.09/0.14 c
0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.14 c heuristics/coefdiving/maxlpiterquot = 0.075
0.09/0.14 c
0.09/0.14 c # additional number of allowed LP iterations
0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.14 c heuristics/coefdiving/maxlpiterofs = 1500
0.09/0.14 c
0.09/0.14 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.14 c heuristics/crossover/freq = -1
0.09/0.14 c
0.09/0.14 c # number of nodes added to the contingent of the total nodes
0.09/0.14 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.14 c heuristics/crossover/nodesofs = 750
0.09/0.15 c
0.09/0.15 c # number of nodes without incumbent change that heuristic should wait
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.15 c heuristics/crossover/nwaitingnodes = 100
0.09/0.15 c
0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.15 c # [type: real, range: [0,1], default: 0.1]
0.09/0.15 c heuristics/crossover/nodesquot = 0.15
0.09/0.15 c
0.09/0.15 c # minimum percentage of integer variables that have to be fixed
0.09/0.15 c # [type: real, range: [0,1], default: 0.666]
0.09/0.15 c heuristics/crossover/minfixingrate = 0.5
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/feaspump/freq = -1
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/fracdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/guideddiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/intshifting/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/linesearchdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/nlp/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/objpscostdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.15 c # [type: real, range: [0,1], default: 0.01]
0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/oneopt/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/pscostdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c heuristics/rens/freq = -1
0.09/0.15 c
0.09/0.15 c # minimum percentage of integer variables that have to be fixable
0.09/0.15 c # [type: real, range: [0,1], default: 0.5]
0.09/0.15 c heuristics/rens/minfixingrate = 0.3
0.09/0.15 c
0.09/0.15 c # number of nodes added to the contingent of the total nodes
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.15 c heuristics/rens/nodesofs = 2000
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/rootsoldiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/rounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/shifting/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/simplerounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c heuristics/trivial/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/trysol/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/veclendiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/zirounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c separating/cmir/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c separating/flowcover/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.15 c 0.1s| 1 | 2 | 0 | - |2396k| 0 | - | 231 |2564 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
4.09/4.17 c 3.9s| 10000 | 8022 | 0 | 0.0 |7138k| 104 | - | 231 |4501 | 0 | 0 | 0 |2653 | 0 | 0.000000e+00 | -- | Inf
9.79/9.85 c 9.3s| 20000 | 14774 | 0 | 0.0 | 11M| 104 | - | 231 |5571 | 0 | 0 | 0 |6638 | 0 | 0.000000e+00 | -- | Inf
15.89/15.93 c 15.2s| 30000 | 21829 | 0 | 0.0 | 16M| 104 | - | 231 |6818 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
23.48/23.50 c 22.5s| 40000 | 28328 | 0 | 0.0 | 21M| 104 | - | 231 |8172 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
32.78/32.80 c 31.5s| 50000 | 34172 | 0 | 0.0 | 27M| 104 | - | 231 |9638 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
43.99/44.03 c 42.4s| 60000 | 39460 | 0 | 0.0 | 32M| 104 | - | 231 | 11k| 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
57.77/57.86 c 56.0s| 70000 | 43941 | 0 | 0.0 | 37M| 104 | - | 231 | 12k| 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
74.87/74.91 c 72.7s| 80000 | 47379 | 0 | 0.0 | 42M| 104 | - | 231 | 13k| 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
91.36/91.46 c 88.9s| 90000 | 51600 | 0 | 0.0 | 46M| 104 | - | 231 | 12k| 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
103.26/103.39 c 101s|100000 | 58283 | 0 | 0.0 | 51M| 104 | - | 231 | 13k| 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
116.06/116.15 c 113s|110000 | 64663 | 0 | 0.0 | 56M| 104 | - | 231 | 13k| 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
129.25/129.34 c 126s|120000 | 70910 | 0 | 0.0 | 60M| 104 | - | 231 | 13k| 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
143.55/143.60 c 140s|130000 | 76893 | 0 | 0.0 | 65M| 104 | - | 231 | 14k| 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
158.36/158.41 c 155s|140000 | 82731 | 0 | 0.0 | 70M| 104 | - | 231 | 14k| 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
173.65/173.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.65/173.77 c 170s|150000 | 88449 | 0 | 0.0 | 74M| 104 | - | 231 | 15k| 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
189.14/189.27 c 185s|160000 | 94203 | 0 | 0.0 | 79M| 104 | - | 231 | 15k| 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
205.64/205.71 c 201s|170000 | 99752 | 0 | 0.0 | 83M| 104 | - | 231 | 16k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
228.63/228.78 c 224s|180000 |103441 | 0 | 0.0 | 89M| 104 | - | 231 | 17k| 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
255.32/255.41 c 250s|190000 |106480 | 0 | 0.0 | 94M| 104 | - | 231 | 19k| 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
283.80/283.97 c 278s|200000 |109419 | 0 | 0.0 | 99M| 104 | - | 231 | 20k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
312.80/312.99 c 307s|210000 |112382 | 0 | 0.0 | 104M| 104 | - | 231 | 21k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
343.89/344.04 c 338s|220000 |114990 | 0 | 0.0 | 109M| 104 | - | 231 | 22k| 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
376.48/376.69 c 370s|230000 |117411 | 0 | 0.0 | 113M| 104 | - | 231 | 22k| 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
410.36/410.56 c 404s|240000 |119637 | 0 | 0.0 | 118M| 104 | - | 231 | 23k| 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
448.75/448.99 c 442s|250000 |120814 | 0 | 0.0 | 122M| 104 | - | 231 | 23k| 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
485.55/485.75 c 478s|260000 |122289 | 0 | 0.0 | 126M| 104 | - | 231 | 23k| 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
526.03/526.26 c 518s|270000 |123070 | 0 | 0.0 | 129M| 104 | - | 231 | 23k| 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
569.02/569.25 c 561s|280000 |123420 | 0 | 0.0 | 132M| 104 | - | 231 | 23k| 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
617.01/617.25 c 608s|290000 |122757 | 0 | 0.0 | 134M| 104 | - | 231 | 24k| 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
652.01/652.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
652.01/652.20 c 643s|300000 |125785 | 0 | 0.0 | 137M| 104 | - | 231 | 24k| 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
680.89/681.15 c 671s|310000 |130660 | 0 | 0.0 | 142M| 104 | - | 231 | 23k| 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
709.79/710.08 c 700s|320000 |135403 | 0 | 0.0 | 146M| 104 | - | 231 | 23k| 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
744.08/744.39 c 734s|330000 |138908 | 0 | 0.0 | 151M| 104 | - | 231 | 23k| 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
784.16/784.43 c 774s|340000 |141481 | 0 | 0.0 | 156M| 104 | - | 231 | 24k| 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
827.85/828.13 c 817s|350000 |143645 | 0 | 0.0 | 161M| 104 | - | 231 | 26k| 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
875.04/875.35 c 864s|360000 |145380 | 0 | 0.0 | 166M| 104 | - | 231 | 27k| 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | -- | Inf
921.12/921.40 c 909s|370000 |147397 | 0 | 0.0 | 171M| 104 | - | 231 | 28k| 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
971.90/972.22 c 960s|380000 |148737 | 0 | 0.0 | 176M| 104 | - | 231 | 29k| 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
1029.39/1029.76 c 1017s|390000 |149271 | 0 | 0.0 | 180M| 104 | - | 231 | 30k| 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | -- | Inf
1080.27/1080.61 c 1067s|400000 |150896 | 0 | 0.0 | 185M| 104 | - | 231 | 31k| 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | -- | Inf
1142.85/1143.22 c 1130s|410000 |151054 | 0 | 0.0 | 189M| 104 | - | 231 | 33k| 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
1201.03/1201.49 c 1187s|420000 |151882 | 0 | 0.0 | 194M| 104 | - | 231 | 34k| 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | -- | Inf
1268.93/1269.33 c 1255s|430000 |151806 | 0 | 0.0 | 198M| 104 | - | 231 | 35k| 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | -- | Inf
1332.90/1333.33 c 1318s|440000 |152153 | 0 | 0.0 | 203M| 104 | - | 231 | 36k| 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | -- | Inf
1402.58/1403.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1402.58/1403.00 c 1388s|450000 |152056 | 0 | 0.0 | 206M| 104 | - | 231 | 37k| 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | -- | Inf
1467.17/1467.64 c 1452s|460000 |152613 | 0 | 0.0 | 210M| 104 | - | 231 | 38k| 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | -- | Inf
1540.44/1540.95 c 1525s|470000 |152298 | 0 | 0.0 | 212M| 104 | - | 231 | 39k| 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | -- | Inf
1616.29/1616.82 c 1600s|480000 |151798 | 0 | 0.0 | 215M| 104 | - | 231 | 41k| 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | -- | Inf
1687.37/1687.97 c 1671s|490000 |151994 | 0 | 0.0 | 219M| 104 | - | 231 | 42k| 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | -- | Inf
1771.85/1772.44 c 1755s|500000 |150716 | 0 | 0.0 | 221M| 104 | - | 231 | 43k| 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | -- | Inf
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.62 c
1800.05/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.62 c Solving Time (sec) : 1782.81
1800.05/1800.62 c Solving Nodes : 503843
1800.05/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.62 c Dual Bound : +0.00000000000000e+00
1800.05/1800.62 c Gap : infinite
1800.05/1800.62 s UNKNOWN
1800.05/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.62 c Solving Time : 1782.81
1800.05/1800.62 c Original Problem :
1800.05/1800.62 c Problem name : HOME/instance-2664036-1276295658.opb
1800.05/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.62 c Constraints : 2707 initial, 2707 maximal
1800.05/1800.62 c Presolved Problem :
1800.05/1800.62 c Problem name : t_HOME/instance-2664036-1276295658.opb
1800.05/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.62 c Constraints : 2564 initial, 43507 maximal
1800.05/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c probing : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c linear : 0.02 0 0 0 0 0 143 0 0
1800.05/1800.62 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.62 c root node : - 0 - - 0 - - - -
1800.05/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.62 c knapsack : 1 0 1796650 0 375023 67162 5706460 0 0 0
1800.05/1800.62 c setppc : 22 0 1740397 0 375023 71795 2337861 0 0 0
1800.05/1800.62 c logicor : 2541+ 0 1354713 0 375019 72537 5920423 0 0 0
1800.05/1800.62 c countsols : 0 0 0 0 375001 0 0 0 0 0
1800.05/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.62 c knapsack : 45.01 0.00 42.72 0.00 2.29
1800.05/1800.62 c setppc : 31.75 0.00 26.86 0.00 4.89
1800.05/1800.62 c logicor : 944.96 0.00 896.89 0.00 48.07
1800.05/1800.62 c countsols : 0.17 0.00 0.00 0.00 0.17
1800.05/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.62 c vbounds : 0.95 1 0 0
1800.05/1800.62 c rootredcost : 0.80 0 0 0
1800.05/1800.62 c pseudoobj : 0.85 0 0 0
1800.05/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.62 c propagation : 12.81 211494 211459 982913 16.6 4354 18.1 -
1800.05/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.62 c applied globally : - - - 468651 13.6 - - -
1800.05/1800.62 c applied locally : - - - 1476 35.1 - - -
1800.05/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.62 c redcost : 0.00 0 0 0 0 0
1800.05/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.62 c intobj : 0.00 0 0 0 0 0
1800.05/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.62 c gomory : 0.00 0 0 0 0 0
1800.05/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.62 c cmir : 0.00 0 0 0 0 0
1800.05/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.62 c clique : 0.00 0 0 0 0 0
1800.05/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.62 c mcf : 0.00 0 0 0 0 0
1800.05/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.62 c Pricers : Time Calls Vars
1800.05/1800.62 c problem variables: 0.00 0 0
1800.05/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.62 c inference : 10.12 375001 0 0 0 0 750002
1800.05/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.62 c random : 0.00 0 0 0 0 0 0
1800.05/1800.62 c Primal Heuristics : Time Calls Found
1800.05/1800.62 c LP solutions : 0.00 - 0
1800.05/1800.62 c pseudo solutions : 0.00 - 0
1800.05/1800.62 c trivial : 0.01 1 0
1800.05/1800.62 c simplerounding : 0.00 0 0
1800.05/1800.62 c zirounding : 0.00 0 0
1800.05/1800.62 c rounding : 0.00 0 0
1800.05/1800.62 c shifting : 0.00 0 0
1800.05/1800.62 c intshifting : 0.00 0 0
1800.05/1800.62 c oneopt : 0.00 0 0
1800.05/1800.62 c twoopt : 0.00 0 0
1800.05/1800.62 c fixandinfer : 0.00 0 0
1800.05/1800.62 c feaspump : 0.00 0 0
1800.05/1800.62 c coefdiving : 0.00 0 0
1800.05/1800.62 c pscostdiving : 0.00 0 0
1800.05/1800.62 c fracdiving : 0.00 0 0
1800.05/1800.62 c veclendiving : 0.00 0 0
1800.05/1800.62 c intdiving : 0.00 0 0
1800.05/1800.62 c actconsdiving : 0.00 0 0
1800.05/1800.62 c objpscostdiving : 0.00 0 0
1800.05/1800.62 c rootsoldiving : 0.00 0 0
1800.05/1800.62 c linesearchdiving : 0.00 0 0
1800.05/1800.62 c guideddiving : 0.00 0 0
1800.05/1800.62 c octane : 0.00 0 0
1800.05/1800.62 c rens : 0.00 0 0
1800.05/1800.62 c rins : 0.00 0 0
1800.05/1800.62 c localbranching : 0.00 0 0
1800.05/1800.62 c mutation : 0.00 0 0
1800.05/1800.62 c crossover : 0.00 0 0
1800.05/1800.62 c dins : 0.00 0 0
1800.05/1800.62 c undercover : 0.00 0 0
1800.05/1800.62 c nlp : 0.00 0 0
1800.05/1800.62 c trysol : 0.00 0 0
1800.05/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.62 c (at root node) : - 0 0 0.00 -
1800.05/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.62 c B&B Tree :
1800.05/1800.62 c number of runs : 1
1800.05/1800.62 c nodes : 503843
1800.05/1800.62 c nodes (total) : 503843
1800.05/1800.62 c nodes left : 150710
1800.05/1800.62 c max depth : 104
1800.05/1800.62 c max depth (total): 104
1800.05/1800.62 c backtracks : 132495 (26.3%)
1800.05/1800.62 c delayed cutoffs : 95450
1800.05/1800.62 c repropagations : 433961 (4553318 domain reductions, 82652 cutoffs)
1800.05/1800.62 c avg switch length: 14.37
1800.05/1800.62 c switching time : 482.06
1800.05/1800.62 c Solution :
1800.05/1800.62 c Solutions found : 0 (0 improvements)
1800.05/1800.62 c Primal Bound : -
1800.05/1800.62 c Dual Bound : +0.00000000000000e+00
1800.05/1800.62 c Gap : infinite
1800.05/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.62 c Root Iterations : 0
1800.84/1801.49 c Time complete: 1800.94.
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-2664036-1276295658/watcher-2664036-1276295658 -o /tmp/evaluation-result-2664036-1276295658/solver-2664036-1276295658 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664036-1276295658.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.10 1.07 1.02 3/107 5527 /proc/meminfo: memFree=1519924/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=6584 CPUtime=0 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 1018 0 0 0 0 0 0 0 24 0 1 0 3221495 6742016 940 1992294400 4194304 7136930 140736328846064 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5527/statm: 1646 949 254 719 0 925 0 [startup+0.0840901 s] /proc/loadavg: 1.10 1.07 1.02 3/107 5527 /proc/meminfo: memFree=1519924/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=15500 CPUtime=0.08 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 3526 0 0 0 6 2 0 0 24 0 1 0 3221495 15872000 3094 1992294400 4194304 7136930 140736328846064 18446744073709551615 4914172 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 3875 3094 341 719 0 3154 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 15500 [startup+0.101092 s] /proc/loadavg: 1.10 1.07 1.02 3/107 5527 /proc/meminfo: memFree=1519924/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=14912 CPUtime=0.09 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 3661 0 0 0 7 2 0 0 24 0 1 0 3221495 15269888 2972 1992294400 4194304 7136930 140736328846064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 3728 2972 345 719 0 3007 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14912 [startup+0.30111 s] /proc/loadavg: 1.10 1.07 1.02 3/107 5527 /proc/meminfo: memFree=1519924/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=17076 CPUtime=0.29 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 6814 0 0 0 25 4 0 0 25 0 1 0 3221495 17485824 3555 1992294400 4194304 7136930 140736328846064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 4269 3555 391 719 0 3548 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17076 [startup+0.701146 s] /proc/loadavg: 1.10 1.07 1.02 3/107 5527 /proc/meminfo: memFree=1519924/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=17740 CPUtime=0.69 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 6957 0 0 0 63 6 0 0 25 0 1 0 3221495 18165760 3698 1992294400 4194304 7136930 140736328846064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 4435 3698 391 719 0 3714 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17740 [startup+1.50122 s] /proc/loadavg: 1.10 1.07 1.02 2/108 5528 /proc/meminfo: memFree=1505656/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=19076 CPUtime=1.49 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 7308 0 0 0 138 11 0 0 25 0 1 0 3221495 19533824 4049 1992294400 4194304 7136930 140736328846064 18446744073709551615 4697665 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 4769 4049 391 719 0 4048 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19076 [startup+3.10136 s] /proc/loadavg: 1.10 1.07 1.02 2/108 5528 /proc/meminfo: memFree=1503424/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=21320 CPUtime=3.09 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 7899 0 0 0 291 18 0 0 25 0 1 0 3221495 21831680 4640 1992294400 4194304 7136930 140736328846064 18446744073709551615 4223878 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 5330 4640 391 719 0 4609 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21320 [startup+6.30166 s] /proc/loadavg: 1.09 1.07 1.02 2/108 5528 /proc/meminfo: memFree=1498712/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=25600 CPUtime=6.29 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 8950 0 0 0 597 32 0 0 25 0 1 0 3221495 26214400 5691 1992294400 4194304 7136930 140736328846064 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 6400 5691 391 719 0 5679 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25600 [startup+12.7012 s] /proc/loadavg: 1.08 1.06 1.02 2/108 5528 /proc/meminfo: memFree=1492388/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=31600 CPUtime=12.69 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 10497 0 0 0 1210 59 0 0 25 0 1 0 3221495 32358400 7238 1992294400 4194304 7136930 140736328846064 18446744073709551615 4414763 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 7900 7238 391 719 0 7179 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31600 [startup+25.5004 s] /proc/loadavg: 1.06 1.06 1.02 2/108 5530 /proc/meminfo: memFree=1480484/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=42924 CPUtime=25.48 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 13341 0 0 0 2444 104 0 0 25 0 1 0 3221495 43954176 10082 1992294400 4194304 7136930 140736328846064 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 10731 10082 391 719 0 10010 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 42924 [startup+51.1007 s] /proc/loadavg: 1.04 1.05 1.01 2/108 5530 /proc/meminfo: memFree=1466100/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=57536 CPUtime=51.08 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 17002 0 0 0 4938 170 0 0 25 0 1 0 3221495 58916864 13743 1992294400 4194304 7136930 140736328846064 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 14384 13743 391 719 0 13663 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 57536 [startup+102.308 s] /proc/loadavg: 1.02 1.04 1.01 2/108 5532 /proc/meminfo: memFree=1444028/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=78920 CPUtime=102.27 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 22377 0 0 0 9959 268 0 0 25 0 1 0 3221495 80814080 19118 1992294400 4194304 7136930 140736328846064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 19730 19118 391 719 0 19009 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 78920 [startup+162.301 s] /proc/loadavg: 1.00 1.03 1.00 2/108 5532 /proc/meminfo: memFree=1420220/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=104384 CPUtime=162.25 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 28308 0 0 0 15842 383 0 0 25 0 1 0 3221495 106889216 25049 1992294400 4194304 7136930 140736328846064 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 26096 25049 391 719 0 25375 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 104384 [startup+222.301 s] /proc/loadavg: 1.00 1.03 1.00 2/108 5534 /proc/meminfo: memFree=1400504/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=123872 CPUtime=222.23 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 33193 0 0 0 21744 479 0 0 25 0 1 0 3221495 126844928 29934 1992294400 4194304 7136930 140736328846064 18446744073709551615 4999886 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 30968 29934 391 719 0 30247 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 123872 [startup+282.301 s] /proc/loadavg: 1.00 1.02 1.00 2/108 5539 /proc/meminfo: memFree=1386492/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=137508 CPUtime=282.21 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 36559 0 0 0 27670 551 0 0 25 0 1 0 3221495 140808192 33300 1992294400 4194304 7136930 140736328846064 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 34377 33300 391 719 0 33656 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 137508 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/108 5541 /proc/meminfo: memFree=1373968/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=149932 CPUtime=342.19 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 39697 0 0 0 33602 617 0 0 25 0 1 0 3221495 153530368 36438 1992294400 4194304 7136930 140736328846064 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 37483 36438 391 719 0 36762 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 149932 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/108 5543 /proc/meminfo: memFree=1363924/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=161568 CPUtime=402.17 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 42576 0 0 0 39538 679 0 0 25 0 1 0 3221495 165445632 39317 1992294400 4194304 7136930 140736328846064 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 40392 39317 391 719 0 39671 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 161568 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5543 /proc/meminfo: memFree=1354748/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=169084 CPUtime=462.15 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 44484 0 0 0 45474 741 0 0 25 0 1 0 3221495 173142016 41225 1992294400 4194304 7136930 140736328846064 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 42271 41225 391 719 0 41550 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 169084 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5545 /proc/meminfo: memFree=1348424/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=176264 CPUtime=522.13 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 46164 0 0 0 51416 797 0 0 25 0 1 0 3221495 180494336 42905 1992294400 4194304 7136930 140736328846064 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 44066 42905 391 719 0 43345 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 176264 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5547 /proc/meminfo: memFree=1341976/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=182288 CPUtime=582.12 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 47646 0 0 0 57362 850 0 0 25 0 1 0 3221495 186662912 44387 1992294400 4194304 7136930 140736328846064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 45572 44387 391 719 0 44851 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 182288 [startup+642.3 s] /proc/loadavg: 1.07 1.02 1.00 2/108 5549 /proc/meminfo: memFree=1339000/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=185452 CPUtime=642.11 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 48389 0 0 0 63303 908 0 0 25 0 1 0 3221495 189902848 45130 1992294400 4194304 7136930 140736328846064 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 46363 45130 391 719 0 45642 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 185452 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.06 1.05 1.00 2/108 5557 /proc/meminfo: memFree=1295228/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=228976 CPUtime=942.01 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 59294 0 0 0 93021 1180 0 0 25 0 1 0 3221495 234471424 56035 1992294400 4194304 7136930 140736328846064 18446744073709551615 4679120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 57244 56035 391 719 0 56523 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 228976 [startup+1002.3 s] /proc/loadavg: 1.02 1.04 1.00 2/108 5559 /proc/meminfo: memFree=1288408/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=235956 CPUtime=1001.99 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 60970 0 0 0 98972 1227 0 0 25 0 1 0 3221495 241618944 57711 1992294400 4194304 7136930 140736328846064 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 58989 57711 391 719 0 58268 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 235956 [startup+1062.3 s] /proc/loadavg: 1.00 1.03 1.00 2/108 5559 /proc/meminfo: memFree=1282952/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=241456 CPUtime=1061.98 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 62338 0 0 0 104925 1273 0 0 25 0 1 0 3221495 247250944 59079 1992294400 4194304 7136930 140736328846064 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 60364 59079 391 719 0 59643 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 241456 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.00 2/108 5561 /proc/meminfo: memFree=1278364/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=245992 CPUtime=1121.96 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 63471 0 0 0 110884 1312 0 0 25 0 1 0 3221495 251895808 60212 1992294400 4194304 7136930 140736328846064 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 61498 60212 391 719 0 60777 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 245992 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.00 2/108 5563 /proc/meminfo: memFree=1273156/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=251124 CPUtime=1181.94 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 64754 0 0 0 116838 1356 0 0 25 0 1 0 3221495 257150976 61495 1992294400 4194304 7136930 140736328846064 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 62781 61495 391 719 0 62060 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 251124 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.00 2/108 5565 /proc/meminfo: memFree=1266956/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=257480 CPUtime=1241.93 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 66252 0 0 0 122802 1391 0 0 25 0 1 0 3221495 263659520 62993 1992294400 4194304 7136930 140736328846064 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 64370 62993 391 719 0 63649 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 257480 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5567 /proc/meminfo: memFree=1265964/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=258352 CPUtime=1301.92 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 66472 0 0 0 128760 1432 0 0 25 0 1 0 3221495 264552448 63213 1992294400 4194304 7136930 140736328846064 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 64588 63213 391 719 0 63867 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 258352 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5567 /proc/meminfo: memFree=1263236/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=261192 CPUtime=1361.89 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 67136 0 0 0 134722 1467 0 0 25 0 1 0 3221495 267460608 63877 1992294400 4194304 7136930 140736328846064 18446744073709551615 4223909 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 65298 63877 391 719 0 64577 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 261192 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5569 /proc/meminfo: memFree=1258152/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=266588 CPUtime=1421.88 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 68414 0 0 0 140683 1505 0 0 25 0 1 0 3221495 272986112 65155 1992294400 4194304 7136930 140736328846064 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 66647 65155 391 719 0 65926 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 266588 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5571 /proc/meminfo: memFree=1253440/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=271104 CPUtime=1481.86 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 69572 0 0 0 146646 1540 0 0 25 0 1 0 3221495 277610496 66313 1992294400 4194304 7136930 140736328846064 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 67776 66313 391 719 0 67055 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 271104 [startup+1542.3 s] /proc/loadavg: 1.04 1.01 1.00 2/108 5573 /proc/meminfo: memFree=1251332/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=273128 CPUtime=1541.84 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 70078 0 0 0 152607 1577 0 0 25 0 1 0 3221495 279683072 66819 1992294400 4194304 7136930 140736328846064 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 68282 66819 391 719 0 67561 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 273128 [startup+1602.3 s] /proc/loadavg: 1.01 1.01 1.00 2/108 5575 /proc/meminfo: memFree=1245752/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=278924 CPUtime=1601.82 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 71459 0 0 0 158572 1610 0 0 25 0 1 0 3221495 285618176 68200 1992294400 4194304 7136930 140736328846064 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 69731 68200 391 719 0 69010 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 278924 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5584 /proc/meminfo: memFree=1243396/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=281080 CPUtime=1661.78 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 72002 0 0 0 164532 1646 0 0 25 0 1 0 3221495 287825920 68743 1992294400 4194304 7136930 140736328846064 18446744073709551615 4431494 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 70270 68743 391 719 0 69549 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 281080 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5586 /proc/meminfo: memFree=1240296/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=284076 CPUtime=1721.76 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 72747 0 0 0 170497 1679 0 0 25 0 1 0 3221495 290893824 69488 1992294400 4194304 7136930 140736328846064 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 71019 69488 391 719 0 70298 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 284076 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5588 /proc/meminfo: memFree=1236948/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=287468 CPUtime=1781.75 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 73592 0 0 0 176463 1712 0 0 25 0 1 0 3221495 294367232 70333 1992294400 4194304 7136930 140736328846064 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 71867 70333 391 719 0 71146 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 287468 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5588 /proc/meminfo: memFree=1236080/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=288304 CPUtime=1800.05 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 73807 0 0 0 178284 1721 0 0 25 0 1 0 3221495 295223296 70548 1992294400 4194304 7136930 140736328846064 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5527/statm: 72076 70548 391 719 0 71355 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 288304 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5588 /proc/meminfo: memFree=1236080/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=288520 CPUtime=1800.44 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 73868 0 0 0 178323 1721 0 0 25 0 1 0 3221495 295444480 70609 1992294400 4194304 7136930 140736328846064 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5527/statm: 72130 70609 396 719 0 71409 0 Current children cumulated CPU time (s) 1800.44 Current children cumulated vsize (KiB) 288520 [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5588 /proc/meminfo: memFree=1236080/2059040 swapFree=4192956/4192956 [pid=5527] ppid=5525 vsize=282692 CPUtime=1800.84 /proc/5527/stat : 5527 (pbscip.linux.x8) R 5525 5527 5414 0 -1 4202496 73868 0 0 0 178362 1722 0 0 25 0 1 0 3221495 289476608 69152 1992294400 4194304 7136930 140736328846064 18446744073709551615 4332879 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5527/statm: 70673 69152 396 719 0 69952 0 Current children cumulated CPU time (s) 1800.84 Current children cumulated vsize (KiB) 282692 Child status: 0 Real time (s): 1801.5 CPU time (s): 1800.95 CPU user time (s): 1783.69 CPU system time (s): 17.2534 CPU usage (%): 99.9695 Max. virtual memory (cumulated for all children) (KiB): 288520 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1783.69 system time used= 17.2534 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 73875 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= 4 involuntary context switches= 21168 runsolver used 2.85857 second user time and 8.64169 second system time The end
Begin job on node025 at 2010-06-12 00:34:18 IDJOB=2664036 IDBENCH=1312 IDSOLVER=1167 FILE ID=node025/2664036-1276295658 PBS_JOBID= 11173126 Free space on /tmp= 62540 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900669797.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-2664036-1276295658/watcher-2664036-1276295658 -o /tmp/evaluation-result-2664036-1276295658/solver-2664036-1276295658 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664036-1276295658.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a7f9415d82387c85347e0216376f3dfd RANDOM SEED=598734802 node025.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.242 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.48 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.242 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1520328 kB Buffers: 67500 kB Cached: 331784 kB SwapCached: 0 kB Active: 172596 kB Inactive: 286032 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1520328 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3272 kB Writeback: 0 kB AnonPages: 59172 kB Mapped: 15400 kB Slab: 58268 kB PageTables: 4104 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183252 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= 62536 MiB End job on node025 at 2010-06-12 01:04:20