Trace number 2663604

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solverOPT3 116.787 116.82

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=97-P1=11-P2=73-P3=43-P4=127-P5=127-P6=37-P7=127-P8=5-B.opb
MD5SUM44a2a8c9706392fba8f7dee35869ba61
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark13.7469
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables168
Total number of constraints17
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint7
Maximum length of a constraint63
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 32512
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)392
Sum of products size (including duplicates)784
Number of different products392
Sum of products size784

Solver Data 

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-2663604-1276648033.opb>
0.00/0.01	c original problem has 560 variables (560 bin, 0 int, 0 impl, 0 cont) and 409 constraints
0.00/0.01	c problem read
0.00/0.01	c presolving settings loaded
0.00/0.01	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.02	c presolving:
0.00/0.08	c (round 1) 8 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 45 chg coeffs, 0 upgd conss, 2464 impls, 0 clqs
0.00/0.09	c (round 2) 22 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 57 chg coeffs, 9 upgd conss, 3640 impls, 0 clqs
0.00/0.09	c (round 3) 36 del vars, 24 del conss, 0 chg bounds, 0 chg sides, 69 chg coeffs, 9 upgd conss, 4648 impls, 0 clqs
0.00/0.10	c (round 4) 50 del vars, 36 del conss, 0 chg bounds, 0 chg sides, 81 chg coeffs, 9 upgd conss, 5488 impls, 0 clqs
0.00/0.10	c (round 5) 64 del vars, 48 del conss, 0 chg bounds, 0 chg sides, 93 chg coeffs, 9 upgd conss, 6160 impls, 0 clqs
0.09/0.10	c (round 6) 78 del vars, 60 del conss, 0 chg bounds, 0 chg sides, 105 chg coeffs, 9 upgd conss, 6664 impls, 0 clqs
0.09/0.11	c (round 7) 92 del vars, 72 del conss, 0 chg bounds, 0 chg sides, 117 chg coeffs, 9 upgd conss, 7000 impls, 0 clqs
0.09/0.11	c (round 8) 106 del vars, 84 del conss, 0 chg bounds, 0 chg sides, 129 chg coeffs, 9 upgd conss, 7168 impls, 0 clqs
0.09/0.12	c (round 9) 120 del vars, 96 del conss, 0 chg bounds, 0 chg sides, 141 chg coeffs, 9 upgd conss, 7168 impls, 0 clqs
0.09/0.14	c    (0.1s) probing: 192/440 (43.6%) - 0 fixings, 0 aggregations, 16 implications, 0 bound changes
0.09/0.14	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14	c presolving (10 rounds):
0.09/0.14	c  120 deleted vars, 96 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 141 changed coefficients
0.09/0.14	c  7200 implications, 0 cliques
0.09/0.14	c presolved problem has 440 variables (440 bin, 0 int, 0 impl, 0 cont) and 305 constraints
0.09/0.14	c     288 constraints of type <and>
0.09/0.14	c       8 constraints of type <linear>
0.09/0.14	c       9 constraints of type <logicor>
0.09/0.14	c transformed objective value is always integral (scale: 2)
0.09/0.14	c Presolving Time: 0.06
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.99
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 # 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 # 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 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 # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.09/0.14	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14	c heuristics/undercover/freq = 0
0.09/0.14	c 
0.09/0.14	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14	c separating/rapidlearning/freq = 0
0.09/0.14	c 
0.09/0.14	c -----------------------------------------------------------------------------------------------
0.09/0.14	c start solving
0.09/0.14	c 
0.09/0.14	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.14	c   0.1s|     1 |     2 |     0 |     - |1484k|   0 |   - | 440 | 305 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
2.20/2.20	c   1.9s| 10000 |  8198 |     0 |   0.0 |7316k| 238 |   - | 440 | 621 |   0 |   0 |   0 |1279 |   0 | 1.000000e+00 |      --      |    Inf 
4.29/4.38	c   3.8s| 20000 | 16002 |     0 |   0.0 |  12M| 238 |   - | 440 | 688 |   0 |   0 |   0 |2829 |   0 | 1.000000e+00 |      --      |    Inf 
6.60/6.64	c   5.8s| 30000 | 23645 |     0 |   0.0 |  18M| 238 |   - | 440 | 820 |   0 |   0 |   0 |4570 |   0 | 1.000000e+00 |      --      |    Inf 
8.79/8.89	c   7.8s| 40000 | 31164 |     0 |   0.0 |  23M| 238 |   - | 440 |1024 |   0 |   0 |   0 |6290 |   0 | 1.000000e+00 |      --      |    Inf 
11.38/11.47	c  10.2s| 50000 | 37455 |     0 |   0.0 |  28M| 238 |   - | 440 |1161 |   0 |   0 |   0 |8541 |   0 | 1.000000e+00 |      --      |    Inf 
13.89/13.92	c  12.4s| 60000 | 44488 |     0 |   0.0 |  34M| 238 |   - | 440 | 863 |   0 |   0 |   0 |  10k|   0 | 1.000000e+00 |      --      |    Inf 
16.18/16.22	c  14.4s| 70000 | 52304 |     0 |   0.0 |  39M| 238 |   - | 440 | 983 |   0 |   0 |   0 |  11k|   0 | 1.000000e+00 |      --      |    Inf 
18.39/18.44	c  16.4s| 80000 | 60421 |     0 |   0.0 |  45M| 238 |   - | 440 | 923 |   0 |   0 |   0 |  13k|   0 | 1.000000e+00 |      --      |    Inf 
20.69/20.76	c  18.5s| 90000 | 68155 |     0 |   0.0 |  50M| 238 |   - | 440 | 935 |   0 |   0 |   0 |  14k|   0 | 1.000000e+00 |      --      |    Inf 
23.19/23.22	c  20.8s|100000 | 75594 |     0 |   0.0 |  56M| 238 |   - | 440 |1086 |   0 |   0 |   0 |  16k|   0 | 1.000000e+00 |      --      |    Inf 
25.48/25.59	c  22.9s|110000 | 83437 |     0 |   0.0 |  61M| 238 |   - | 440 |1066 |   0 |   0 |   0 |  18k|   0 | 1.000000e+00 |      --      |    Inf 
28.08/28.13	c  25.2s|120000 | 90811 |     0 |   0.0 |  66M| 238 |   - | 440 |1318 |   0 |   0 |   0 |  20k|   0 | 1.000000e+00 |      --      |    Inf 
30.58/30.64	c  27.5s|130000 | 98229 |     0 |   0.0 |  72M| 238 |   - | 440 |1266 |   0 |   0 |   0 |  21k|   0 | 1.000000e+00 |      --      |    Inf 
33.18/33.23	c  29.9s|140000 |105555 |     0 |   0.0 |  77M| 238 |   - | 440 |1350 |   0 |   0 |   0 |  23k|   0 | 1.000000e+00 |      --      |    Inf 
35.88/35.90	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
35.88/35.90	c  32.3s|150000 |112603 |     0 |   0.0 |  82M| 238 |   - | 440 |1265 |   0 |   0 |   0 |  26k|   0 | 1.000000e+00 |      --      |    Inf 
38.49/38.53	c  34.7s|160000 |119800 |     0 |   0.0 |  87M| 238 |   - | 440 |1253 |   0 |   0 |   0 |  28k|   0 | 1.000000e+00 |      --      |    Inf 
41.09/41.16	c  37.1s|170000 |126776 |     0 |   0.0 |  92M| 238 |   - | 440 |1053 |   0 |   0 |   0 |  30k|   0 | 1.000000e+00 |      --      |    Inf 
43.68/43.78	c  39.4s|180000 |133523 |     0 |   0.0 |  97M| 238 |   - | 440 | 932 |   0 |   0 |   0 |  32k|   0 | 1.000000e+00 |      --      |    Inf 
46.38/46.49	c  41.9s|190000 |140166 |     0 |   0.0 | 102M| 238 |   - | 440 | 984 |   0 |   0 |   0 |  35k|   0 | 1.000000e+00 |      --      |    Inf 
49.18/49.20	c  44.4s|200000 |146661 |     0 |   0.0 | 106M| 238 |   - | 440 | 944 |   0 |   0 |   0 |  37k|   0 | 1.000000e+00 |      --      |    Inf 
51.88/51.96	c  46.9s|210000 |152982 |     0 |   0.0 | 111M| 238 |   - | 440 |1146 |   0 |   0 |   0 |  40k|   0 | 1.000000e+00 |      --      |    Inf 
54.78/54.80	c  49.5s|220000 |159412 |     0 |   0.0 | 116M| 238 |   - | 440 |1062 |   0 |   0 |   0 |  43k|   0 | 1.000000e+00 |      --      |    Inf 
57.47/57.54	c  51.9s|230000 |165973 |     0 |   0.0 | 121M| 238 |   - | 440 |1053 |   0 |   0 |   0 |  45k|   0 | 1.000000e+00 |      --      |    Inf 
60.27/60.35	c  54.5s|240000 |172387 |     0 |   0.0 | 126M| 238 |   - | 440 |1111 |   0 |   0 |   0 |  47k|   0 | 1.000000e+00 |      --      |    Inf 
63.07/63.20	c  57.1s|250000 |178692 |     0 |   0.0 | 131M| 238 |   - | 440 |1284 |   0 |   0 |   0 |  50k|   0 | 1.000000e+00 |      --      |    Inf 
65.98/66.05	c  59.7s|260000 |185230 |     0 |   0.0 | 136M| 238 |   - | 440 |1115 |   0 |   0 |   0 |  53k|   0 | 1.000000e+00 |      --      |    Inf 
68.67/68.77	c  62.2s|270000 |192003 |     0 |   0.0 | 141M| 238 |   - | 440 |1195 |   0 |   0 |   0 |  55k|   0 | 1.000000e+00 |      --      |    Inf 
71.37/71.42	c  64.6s|280000 |198773 |     0 |   0.0 | 145M| 238 |   - | 440 |1240 |   0 |   0 |   0 |  58k|   0 | 1.000000e+00 |      --      |    Inf 
74.07/74.18	c  67.1s|290000 |205437 |     0 |   0.0 | 150M| 238 |   - | 440 |1367 |   0 |   0 |   0 |  60k|   0 | 1.000000e+00 |      --      |    Inf 
76.86/76.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
76.86/76.92	c  69.6s|300000 |212184 |     0 |   0.0 | 155M| 238 |   - | 440 |1433 |   0 |   0 |   0 |  63k|   0 | 1.000000e+00 |      --      |    Inf 
79.67/79.77	c  72.2s|310000 |218633 |     0 |   0.0 | 160M| 238 |   - | 440 |1472 |   0 |   0 |   0 |  65k|   0 | 1.000000e+00 |      --      |    Inf 
82.48/82.57	c  74.8s|320000 |225266 |     0 |   0.0 | 165M| 238 |   - | 440 |1458 |   0 |   0 |   0 |  68k|   0 | 1.000000e+00 |      --      |    Inf 
85.37/85.49	c  77.4s|330000 |231405 |     0 |   0.0 | 170M| 238 |   - | 440 |1539 |   0 |   0 |   0 |  70k|   0 | 1.000000e+00 |      --      |    Inf 
88.27/88.38	c  80.1s|340000 |237400 |     0 |   0.0 | 175M| 238 |   - | 440 |1577 |   0 |   0 |   0 |  73k|   0 | 1.000000e+00 |      --      |    Inf 
91.16/91.22	c  82.7s|350000 |243754 |     0 |   0.0 | 180M| 238 |   - | 440 |1554 |   0 |   0 |   0 |  75k|   0 | 1.000000e+00 |      --      |    Inf 
94.36/94.48	c  85.6s|360000 |249069 |     0 |   0.0 | 185M| 238 |   - | 440 |1623 |   0 |   0 |   0 |  78k|   0 | 1.000000e+00 |      --      |    Inf 
97.98/98.04	c  89.0s|370000 |253751 |     0 |   0.0 | 190M| 238 |   - | 440 |1714 |   0 |   0 |   0 |  81k|   0 | 1.000000e+00 |      --      |    Inf 
101.37/101.41	c  92.1s|380000 |258743 |     0 |   0.0 | 195M| 238 |   - | 440 |2039 |   0 |   0 |   0 |  84k|   0 | 1.000000e+00 |      --      |    Inf 
105.06/105.18	c  95.5s|390000 |263076 |     0 |   0.0 | 199M| 238 |   - | 440 |1337 |   0 |   0 |   0 |  88k|   0 | 1.000000e+00 |      --      |    Inf 
107.37/107.41	c  97.5s|400000 |271343 |     0 |   0.0 | 205M| 238 |   - | 440 | 638 |   0 |   0 |   0 |  89k|   0 | 1.000000e+00 |      --      |    Inf 
109.76/109.81	c  99.7s|410000 |278894 |     0 |   0.0 | 210M| 238 |   - | 440 | 762 |   0 |   0 |   0 |  91k|   0 | 1.000000e+00 |      --      |    Inf 
112.46/112.59	c   102s|420000 |285523 |     0 |   0.0 | 215M| 238 |   - | 440 |1122 |   0 |   0 |   0 |  93k|   0 | 1.000000e+00 |      --      |    Inf 
113.86/113.90	o 3
113.86/113.90	c * 103s|423990 |259413 |     0 |   0.0 | 197M| 238 |   - | 440 |1057 |   0 |   0 |   0 |  94k|   0 | 1.000000e+00 | 3.000000e+00 | 200.00%
116.66/116.78	c 
116.66/116.78	c SCIP Status        : problem is solved [optimal solution found]
116.66/116.78	c Solving Time (sec) : 106.05
116.66/116.78	c Solving Nodes      : 423991
116.66/116.78	c Primal Bound       : +3.00000000000000e+00 (1 solutions)
116.66/116.78	c Dual Bound         : +3.00000000000000e+00
116.66/116.78	c Gap                : 0.00 %
116.66/116.78	s OPTIMUM FOUND
116.66/116.78	v -x168 -x167 -x166 x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x112 x111 -x110 -x109 -x108 -x107 x106 -x154 
116.66/116.78	v -x153 -x152 -x151 x150 -x149 -x148 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x98 -x97 
116.66/116.78	v x96 x95 -x94 x93 x92 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x91 -x90 -x89 x88 -x87 -x86 x85 -x133 -x132 -x131 -x130 -x129 
116.66/116.78	v -x128 x127 -x84 -x83 -x82 -x81 -x80 -x79 x78 -x126 -x125 -x124 -x123 -x122 -x121 x120 -x77 x76 -x75 x74 -x73 x72 x71 -x119 
116.66/116.78	v -x118 -x117 -x116 -x115 -x114 -x113 -x70 -x69 -x68 x67 -x66 -x65 x64 -x63 x62 -x61 -x60 x59 x58 x57 -x56 x55 -x54 -x53 -x52 
116.66/116.78	v -x51 x50 -x49 -x48 x47 -x46 -x45 x44 x43 -x42 -x41 -x40 -x39 -x38 x37 x36 -x35 -x34 -x33 x32 -x31 -x30 x29 -x28 -x27 -x26 -x25 
116.66/116.78	v -x24 x23 x22 -x21 -x20 x19 -x18 -x17 x16 x15 -x14 -x13 -x12 -x11 -x10 x9 x8 -x7 -x6 -x5 -x4 -x3 x2 x1 
116.66/116.78	c SCIP Status        : problem is solved [optimal solution found]
116.66/116.78	c Solving Time       :     106.05
116.66/116.78	c Original Problem   :
116.66/116.78	c   Problem name     : HOME/instance-2663604-1276648033.opb
116.66/116.78	c   Variables        : 560 (560 binary, 0 integer, 0 implicit integer, 0 continuous)
116.66/116.78	c   Constraints      : 409 initial, 409 maximal
116.66/116.78	c Presolved Problem  :
116.66/116.78	c   Problem name     : t_HOME/instance-2663604-1276648033.opb
116.66/116.78	c   Variables        : 440 (440 binary, 0 integer, 0 implicit integer, 0 continuous)
116.66/116.78	c   Constraints      : 305 initial, 2169 maximal
116.66/116.78	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
116.66/116.78	c   trivial          :       0.00          0          0          0          0          0          0          0          0
116.66/116.78	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
116.66/116.78	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
116.66/116.78	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
116.66/116.78	c   implics          :       0.00          0          0          0          0          0          0          0          0
116.66/116.78	c   probing          :       0.02          0          0          0          0          0          0          0          0
116.66/116.78	c   and              :       0.03         16         96          0          0          0         96          0         96
116.66/116.78	c   linear           :       0.00          1          7          0          0          0          0          0         45
116.66/116.78	c   logicor          :       0.01          0          0          0          0          0          0          0          0
116.66/116.78	c   root node        :          -         50          -          -         50          -          -          -          -
116.66/116.78	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
116.66/116.78	c   integral         :          0          0          0          0          0          0          0          0          0          0
116.66/116.78	c   and              :        288          0    1039573          0     375096      13997    1719675          0          0          0
116.66/116.78	c   linear           :          8          0    1025576          0     375096      59243     812593          0          0          0
116.66/116.78	c   logicor          :          9+         0     460325          0     375084       4889     137015          0          0          0
116.66/116.78	c   countsols        :          0          0          0          0     375096          0          0          0          0          0
116.66/116.78	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
116.66/116.78	c   integral         :       0.00       0.00       0.00       0.00       0.00
116.66/116.78	c   and              :      15.04       0.00      10.09       0.00       4.95
116.66/116.78	c   linear           :      26.53       0.00      26.10       0.00       0.43
116.66/116.78	c   logicor          :       8.69       0.00       7.93       0.00       0.76
116.66/116.78	c   countsols        :       0.18       0.00       0.00       0.00       0.18
116.66/116.78	c Propagators        :       Time      Calls    Cutoffs    DomReds
116.66/116.78	c   vbounds          :       0.45          2          0          0
116.66/116.78	c   rootredcost      :       0.37          0          0          0
116.66/116.78	c   pseudoobj        :       1.19    1039175          0         12
116.66/116.78	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
116.66/116.78	c   propagation      :      12.05      78129      77568     720858       47.1       5243       41.8          -
116.66/116.78	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
116.66/116.78	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
116.66/116.78	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
116.66/116.78	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
116.66/116.78	c   applied globally :          -          -          -      86078       24.2          -          -          -
116.66/116.78	c   applied locally  :          -          -          -       8772       54.9          -          -          -
116.66/116.78	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
116.66/116.78	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
116.66/116.78	c   redcost          :       0.00          0          0          0          0          0
116.66/116.78	c   impliedbounds    :       0.00          0          0          0          0          0
116.66/116.78	c   intobj           :       0.00          0          0          0          0          0
116.66/116.78	c   cgmip            :       0.00          0          0          0          0          0
116.66/116.78	c   gomory           :       0.00          0          0          0          0          0
116.66/116.78	c   strongcg         :       0.00          0          0          0          0          0
116.66/116.78	c   cmir             :       0.00          0          0          0          0          0
116.66/116.78	c   flowcover        :       0.00          0          0          0          0          0
116.66/116.78	c   clique           :       0.00          0          0          0          0          0
116.66/116.78	c   zerohalf         :       0.00          0          0          0          0          0
116.66/116.78	c   mcf              :       0.00          0          0          0          0          0
116.66/116.78	c   rapidlearning    :       0.00          0          0          0          0          0
116.66/116.78	c Pricers            :       Time      Calls       Vars
116.66/116.78	c   problem variables:       0.00          0          0
116.66/116.78	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
116.66/116.78	c   relpscost        :       0.00          0          0          0          0          0          0
116.66/116.78	c   pscost           :       0.00          0          0          0          0          0          0
116.66/116.78	c   inference        :      15.09     375095          0          0          0          0     750190
116.66/116.78	c   mostinf          :       0.00          0          0          0          0          0          0
116.66/116.78	c   leastinf         :       0.00          0          0          0          0          0          0
116.66/116.78	c   fullstrong       :       0.00          0          0          0          0          0          0
116.66/116.78	c   allfullstrong    :       0.00          0          0          0          0          0          0
116.66/116.78	c   random           :       0.00          0          0          0          0          0          0
116.66/116.78	c Primal Heuristics  :       Time      Calls      Found
116.66/116.78	c   LP solutions     :       0.00          -          0
116.66/116.78	c   pseudo solutions :       0.08          -          1
116.66/116.78	c   oneopt           :       0.20          0          0
116.66/116.78	c   trivial          :       0.00          2          0
116.66/116.78	c   simplerounding   :       0.00          0          0
116.66/116.78	c   zirounding       :       0.00          0          0
116.66/116.78	c   rounding         :       0.00          0          0
116.66/116.78	c   shifting         :       0.00          0          0
116.66/116.78	c   intshifting      :       0.00          0          0
116.66/116.78	c   twoopt           :       0.00          0          0
116.66/116.78	c   fixandinfer      :       0.00          0          0
116.66/116.78	c   feaspump         :       0.00          0          0
116.66/116.78	c   coefdiving       :       0.00          0          0
116.66/116.78	c   pscostdiving     :       0.00          0          0
116.66/116.78	c   fracdiving       :       0.00          0          0
116.66/116.78	c   veclendiving     :       0.00          0          0
116.66/116.78	c   intdiving        :       0.00          0          0
116.66/116.78	c   actconsdiving    :       0.00          0          0
116.66/116.78	c   objpscostdiving  :       0.00          0          0
116.66/116.78	c   rootsoldiving    :       0.00          0          0
116.66/116.78	c   linesearchdiving :       0.00          0          0
116.66/116.78	c   guideddiving     :       0.00          0          0
116.66/116.78	c   octane           :       0.00          0          0
116.66/116.78	c   rens             :       0.00          0          0
116.66/116.78	c   rins             :       0.00          0          0
116.66/116.78	c   localbranching   :       0.00          0          0
116.66/116.78	c   mutation         :       0.00          0          0
116.66/116.78	c   crossover        :       0.00          0          0
116.66/116.78	c   dins             :       0.00          0          0
116.66/116.78	c   undercover       :       0.00          0          0
116.66/116.78	c   nlp              :       0.15          0          0
116.66/116.78	c   trysol           :       0.17          0          0
116.66/116.78	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
116.66/116.78	c   primal LP        :       0.00          0          0       0.00          -
116.66/116.78	c   dual LP          :       0.00          0          0       0.00          -
116.66/116.78	c   lex dual LP      :       0.00          0          0       0.00          -
116.66/116.78	c   barrier LP       :       0.00          0          0       0.00          -
116.66/116.78	c   diving/probing LP:       0.00          0          0       0.00          -
116.66/116.78	c   strong branching :       0.00          0          0       0.00          -
116.66/116.78	c     (at root node) :          -          0          0       0.00          -
116.66/116.78	c   conflict analysis:       0.00          0          0       0.00          -
116.66/116.78	c B&B Tree           :
116.66/116.78	c   number of runs   :          1
116.66/116.78	c   nodes            :     423991
116.66/116.78	c   nodes (total)    :     423991
116.66/116.78	c   nodes left       :          0
116.66/116.78	c   max depth        :        238
116.66/116.78	c   max depth (total):        238
116.66/116.78	c   backtracks       :      32557 (7.7%)
116.66/116.78	c   delayed cutoffs  :     297572
116.66/116.78	c   repropagations   :      90175 (319871 domain reductions, 29234 cutoffs)
116.66/116.78	c   avg switch length:       5.71
116.66/116.78	c   switching time   :      22.01
116.66/116.78	c Solution           :
116.66/116.78	c   Solutions found  :          1 (1 improvements)
116.66/116.78	c   First Solution   : +3.00000000000000e+00   (in run 1, after 423990 nodes, 103.38 seconds, depth 96, found by <relaxation>)
116.66/116.78	c   Primal Bound     : +3.00000000000000e+00   (in run 1, after 423990 nodes, 103.38 seconds, depth 96, found by <relaxation>)
116.66/116.78	c   Dual Bound       : +3.00000000000000e+00
116.66/116.78	c   Gap              :       0.00 %
116.66/116.78	c   Root Dual Bound  : +1.00000000000000e+00
116.66/116.78	c   Root Iterations  :          0
116.75/116.81	c Time complete: 116.78.

Verifier Data 

OK	3

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663604-1276648033/watcher-2663604-1276648033 -o /tmp/evaluation-result-2663604-1276648033/solver-2663604-1276648033 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663604-1276648033.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: 0.92 0.98 0.99 3/105 13908
/proc/meminfo: memFree=1788540/2059040 swapFree=4192956/4192956
[pid=13908] ppid=13906 vsize=6584 CPUtime=0
/proc/13908/stat : 13908 (pbscip.linux.x8) R 13906 13908 13634 0 -1 4202496 1077 0 0 0 0 0 0 0 25 0 1 0 6097119 6742016 999 1992294400 4194304 7136930 140733871973168 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13908/statm: 1646 1008 254 719 0 925 0

[startup+0.107927 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 13908
/proc/meminfo: memFree=1788540/2059040 swapFree=4192956/4192956
[pid=13908] ppid=13906 vsize=13148 CPUtime=0.09
/proc/13908/stat : 13908 (pbscip.linux.x8) R 13906 13908 13634 0 -1 4202496 5775 0 0 0 4 5 0 0 25 0 1 0 6097119 13463552 2517 1992294400 4194304 7136930 140733871973168 18446744073709551615 4333616 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13908/statm: 3287 2517 360 719 0 2566 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13148

[startup+0.200937 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 13908
/proc/meminfo: memFree=1788540/2059040 swapFree=4192956/4192956
[pid=13908] ppid=13906 vsize=13532 CPUtime=0.19
/proc/13908/stat : 13908 (pbscip.linux.x8) R 13906 13908 13634 0 -1 4202496 7994 0 0 0 12 7 0 0 25 0 1 0 6097119 13856768 2680 1992294400 4194304 7136930 140733871973168 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13908/statm: 3383 2681 394 719 0 2662 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13532

[startup+0.300948 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 13908
/proc/meminfo: memFree=1788540/2059040 swapFree=4192956/4192956
[pid=13908] ppid=13906 vsize=13972 CPUtime=0.29
/proc/13908/stat : 13908 (pbscip.linux.x8) R 13906 13908 13634 0 -1 4202496 8100 0 0 0 21 8 0 0 25 0 1 0 6097119 14307328 2786 1992294400 4194304 7136930 140733871973168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13908/statm: 3493 2786 394 719 0 2772 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13972

[startup+0.700993 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 13908
/proc/meminfo: memFree=1788540/2059040 swapFree=4192956/4192956
[pid=13908] ppid=13906 vsize=15404 CPUtime=0.69
/proc/13908/stat : 13908 (pbscip.linux.x8) R 13906 13908 13634 0 -1 4202496 8452 0 0 0 55 14 0 0 25 0 1 0 6097119 15773696 3138 1992294400 4194304 7136930 140733871973168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13908/statm: 3851 3138 394 719 0 3130 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15404

[startup+1.50108 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 13909
/proc/meminfo: memFree=1775512/2059040 swapFree=4192956/4192956
[pid=13908] ppid=13906 vsize=19008 CPUtime=1.49
/proc/13908/stat : 13908 (pbscip.linux.x8) R 13906 13908 13634 0 -1 4202496 9352 0 0 0 126 23 0 0 25 0 1 0 6097119 19464192 4038 1992294400 4194304 7136930 140733871973168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13908/statm: 4752 4038 394 719 0 4031 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19008

[startup+3.10126 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 13909
/proc/meminfo: memFree=1771792/2059040 swapFree=4192956/4192956
[pid=13908] ppid=13906 vsize=24616 CPUtime=3.09
/proc/13908/stat : 13908 (pbscip.linux.x8) R 13906 13908 13634 0 -1 4202496 10770 0 0 0 269 40 0 0 25 0 1 0 6097119 25206784 5456 1992294400 4194304 7136930 140733871973168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13908/statm: 6154 5456 394 719 0 5433 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24616

[startup+6.30162 s]
/proc/loadavg: 0.93 0.98 0.99 2/106 13909
/proc/meminfo: memFree=1761128/2059040 swapFree=4192956/4192956
[pid=13908] ppid=13906 vsize=32552 CPUtime=6.29
/proc/13908/stat : 13908 (pbscip.linux.x8) R 13906 13908 13634 0 -1 4202496 12818 0 0 0 554 75 0 0 25 0 1 0 6097119 33333248 7504 1992294400 4194304 7136930 140733871973168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13908/statm: 8138 7504 394 719 0 7417 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32552

[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.99 2/106 13909
/proc/meminfo: memFree=1743644/2059040 swapFree=4192956/4192956
[pid=13908] ppid=13906 vsize=50132 CPUtime=12.69
/proc/13908/stat : 13908 (pbscip.linux.x8) R 13906 13908 13634 0 -1 4202496 17271 0 0 0 1127 142 0 0 25 0 1 0 6097119 51335168 11957 1992294400 4194304 7136930 140733871973168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13908/statm: 12533 11957 394 719 0 11812 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50132

[startup+25.5008 s]
/proc/loadavg: 0.95 0.98 0.99 2/106 13911
/proc/meminfo: memFree=1707436/2059040 swapFree=4192956/4192956
[pid=13908] ppid=13906 vsize=85652 CPUtime=25.48
/proc/13908/stat : 13908 (pbscip.linux.x8) R 13906 13908 13634 0 -1 4202496 25786 0 0 0 2286 262 0 0 25 0 1 0 6097119 87707648 20472 1992294400 4194304 7136930 140733871973168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13908/statm: 21413 20472 394 719 0 20692 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85652

[startup+51.1007 s]
/proc/loadavg: 0.96 0.98 0.99 2/106 13911
/proc/meminfo: memFree=1658084/2059040 swapFree=4192956/4192956
[pid=13908] ppid=13906 vsize=136296 CPUtime=51.08
/proc/13908/stat : 13908 (pbscip.linux.x8) R 13906 13908 13634 0 -1 4202496 38718 0 0 0 4608 500 0 0 25 0 1 0 6097119 139567104 33404 1992294400 4194304 7136930 140733871973168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13908/statm: 34074 33404 394 719 0 33353 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 136296

[startup+102.301 s]
/proc/loadavg: 0.98 0.98 0.99 2/106 13913
/proc/meminfo: memFree=1562356/2059040 swapFree=4192956/4192956
[pid=13908] ppid=13906 vsize=231660 CPUtime=102.27
/proc/13908/stat : 13908 (pbscip.linux.x8) R 13906 13908 13634 0 -1 4202496 61930 0 0 0 9289 938 0 0 25 0 1 0 6097119 237219840 56616 1992294400 4194304 7136930 140733871973168 18446744073709551615 4624432 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13908/statm: 57915 56616 394 719 0 57194 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 231660

Solver just ended. Dumping a history of the last processes samples

[startup+102.408 s]
/proc/loadavg: 0.98 0.98 0.99 2/106 13913
/proc/meminfo: memFree=1562356/2059040 swapFree=4192956/4192956
[pid=13908] ppid=13906 vsize=232176 CPUtime=102.37
/proc/13908/stat : 13908 (pbscip.linux.x8) R 13906 13908 13634 0 -1 4202496 62059 0 0 0 9299 938 0 0 25 0 1 0 6097119 237748224 56745 1992294400 4194304 7136930 140733871973168 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13908/statm: 58044 56745 394 719 0 57323 0
Current children cumulated CPU time (s) 102.37
Current children cumulated vsize (KiB) 232176

[startup+108.801 s]
/proc/loadavg: 0.98 0.98 0.99 2/106 13913
/proc/meminfo: memFree=1551568/2059040 swapFree=4192956/4192956
[pid=13908] ppid=13906 vsize=248056 CPUtime=108.76
/proc/13908/stat : 13908 (pbscip.linux.x8) R 13906 13908 13634 0 -1 4202496 66112 0 0 0 9878 998 0 0 25 0 1 0 6097119 254009344 60798 1992294400 4194304 7136930 140733871973168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13908/statm: 62014 60798 394 719 0 61293 0
Current children cumulated CPU time (s) 108.76
Current children cumulated vsize (KiB) 248056

[startup+112.001 s]
/proc/loadavg: 0.98 0.98 0.99 2/106 13913
/proc/meminfo: memFree=1542640/2059040 swapFree=4192956/4192956
[pid=13908] ppid=13906 vsize=251760 CPUtime=111.96
/proc/13908/stat : 13908 (pbscip.linux.x8) R 13906 13908 13634 0 -1 4202496 67070 0 0 0 10171 1025 0 0 25 0 1 0 6097119 257802240 61756 1992294400 4194304 7136930 140733871973168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13908/statm: 62940 61756 394 719 0 62219 0
Current children cumulated CPU time (s) 111.96
Current children cumulated vsize (KiB) 251760

[startup+115.201 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 13913
/proc/meminfo: memFree=1538424/2059040 swapFree=4192956/4192956
[pid=13908] ppid=13906 vsize=255104 CPUtime=115.16
/proc/13908/stat : 13908 (pbscip.linux.x8) R 13906 13908 13634 0 -1 4202496 67923 0 0 0 10463 1053 0 0 25 0 1 0 6097119 261226496 62609 1992294400 4194304 7136930 140733871973168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13908/statm: 63776 62609 394 719 0 63055 0
Current children cumulated CPU time (s) 115.16
Current children cumulated vsize (KiB) 255104

[startup+116.001 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 13913
/proc/meminfo: memFree=1538424/2059040 swapFree=4192956/4192956
[pid=13908] ppid=13906 vsize=255104 CPUtime=115.96
/proc/13908/stat : 13908 (pbscip.linux.x8) R 13906 13908 13634 0 -1 4202496 67923 0 0 0 10534 1062 0 0 25 0 1 0 6097119 261226496 62609 1992294400 4194304 7136930 140733871973168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13908/statm: 63776 62609 394 719 0 63055 0
Current children cumulated CPU time (s) 115.96
Current children cumulated vsize (KiB) 255104

[startup+116.401 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 13913
/proc/meminfo: memFree=1538424/2059040 swapFree=4192956/4192956
[pid=13908] ppid=13906 vsize=255104 CPUtime=116.36
/proc/13908/stat : 13908 (pbscip.linux.x8) R 13906 13908 13634 0 -1 4202496 67923 0 0 0 10571 1065 0 0 25 0 1 0 6097119 261226496 62609 1992294400 4194304 7136930 140733871973168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13908/statm: 63776 62609 394 719 0 63055 0
Current children cumulated CPU time (s) 116.36
Current children cumulated vsize (KiB) 255104

[startup+116.801 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 13913
/proc/meminfo: memFree=1538424/2059040 swapFree=4192956/4192956
[pid=13908] ppid=13906 vsize=134164 CPUtime=116.75
/proc/13908/stat : 13908 (pbscip.linux.x8) R 13906 13908 13634 0 -1 4202496 67929 0 0 0 10606 1069 0 0 18 0 1 0 6097119 137383936 32359 1992294400 4194304 7136930 140733871973168 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13908/statm: 33412 32252 400 719 0 32691 0
Current children cumulated CPU time (s) 116.75
Current children cumulated vsize (KiB) 134164

Child status: 0
Real time (s): 116.82
CPU time (s): 116.787
CPU user time (s): 106.076
CPU system time (s): 10.7114
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 255104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 106.076
system time used= 10.7114
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67935
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= 2
involuntary context switches= 88

runsolver used 0.19197 second user time and 0.569913 second system time

The end

Launcher Data 

Begin job on node085 at 2010-06-16 02:27:13
IDJOB=2663604
IDBENCH=47977
IDSOLVER=1167
FILE ID=node085/2663604-1276648033
PBS_JOBID= 11172412
Free space on /tmp= 121872 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=97-P1=11-P2=73-P3=43-P4=127-P5=127-P6=37-P7=127-P8=5-B.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-2663604-1276648033/watcher-2663604-1276648033 -o /tmp/evaluation-result-2663604-1276648033/solver-2663604-1276648033 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663604-1276648033.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 44a2a8c9706392fba8f7dee35869ba61
RANDOM SEED=1081584645

node085.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.221
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.44
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.221
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	: 5999.51
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1788944 kB
Buffers:         24704 kB
Cached:         110660 kB
SwapCached:          0 kB
Active:         113960 kB
Inactive:        80880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1788944 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3248 kB
Writeback:           0 kB
AnonPages:       59452 kB
Mapped:          15432 kB
Slab:            53524 kB
PageTables:       3948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180556 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= 121868 MiB
End job on node085 at 2010-06-16 02:29:10