Trace number 2703752

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
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT-29 1789.65 1790.14

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb
MD5SUM8e251d4e151b2868eb3a52cf845e4cf8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-29
Best CPU time to get the best result obtained on this benchmark1789.65
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved YES
Number of variables450
Total number of constraints17809
Number of constraints which are clauses17809
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 450
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 450
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 450
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703752-1278555522.opb>
0.19/0.26	c original problem has 450 variables (450 bin, 0 int, 0 impl, 0 cont) and 17809 constraints
0.19/0.26	c problem read
0.19/0.26	c presolving settings loaded
0.29/0.31	o 0
0.29/0.31	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.29/0.31	c presolving:
0.39/0.46	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 17809 upgd conss, 35618 impls, 0 clqs
1.39/1.40	c    (1.1s) probing: 101/450 (22.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.39/1.40	c    (1.1s) probing aborted: 100/100 successive totally useless probings
1.39/1.40	c presolving (2 rounds):
1.39/1.40	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.39/1.40	c  35618 implications, 0 cliques
1.39/1.40	c presolved problem has 450 variables (450 bin, 0 int, 0 impl, 0 cont) and 17809 constraints
1.39/1.40	c   17809 constraints of type <setppc>
1.39/1.40	c transformed objective value is always integral (scale: 1)
1.39/1.40	c Presolving Time: 1.10
1.39/1.40	c - non default parameters ----------------------------------------------------------------------
1.39/1.40	c # SCIP version 1.2.1.3
1.39/1.40	c 
1.39/1.40	c # frequency for displaying node information lines
1.39/1.40	c # [type: int, range: [-1,2147483647], default: 100]
1.39/1.40	c display/freq = 10000
1.39/1.40	c 
1.39/1.40	c # maximal time in seconds to run
1.39/1.40	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.40	c limits/time = 1789.75
1.39/1.40	c 
1.39/1.40	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.39/1.40	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.40	c limits/memory = 1620
1.39/1.40	c 
1.39/1.40	c # default clock type (1: CPU user seconds, 2: wall clock time)
1.39/1.40	c # [type: int, range: [1,2], default: 1]
1.39/1.40	c timing/clocktype = 2
1.39/1.40	c 
1.39/1.40	c # should presolving try to simplify inequalities
1.39/1.40	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.40	c constraints/linear/simplifyinequalities = TRUE
1.39/1.40	c 
1.39/1.40	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.39/1.40	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.40	c constraints/indicator/addCouplingCons = TRUE
1.39/1.40	c 
1.39/1.40	c # should presolving try to simplify knapsacks
1.39/1.40	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.40	c constraints/knapsack/simplifyinequalities = TRUE
1.39/1.40	c 
1.39/1.40	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.39/1.40	c # [type: int, range: [-1,2147483647], default: -1]
1.39/1.40	c separating/rapidlearning/freq = 0
1.39/1.40	c 
1.39/1.40	c -----------------------------------------------------------------------------------------------
1.39/1.40	c start solving
1.39/1.40	c 
1.79/1.83	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.79/1.83	c t 1.6s|     1 |     0 |   450 |     - |  20M|   0 | 450 | 450 |  17k| 450 |  17k|   0 |   0 |   0 |-2.250000e+02 | 0.000000e+00 | 100.00%
1.79/1.85	o -1
1.79/1.85	c R 1.6s|     1 |     0 |   450 |     - |  20M|   0 | 450 | 450 |  17k| 450 |  17k|   0 |   0 |   0 |-2.250000e+02 |-1.000000e+00 |  99.56%
1.79/1.88	o -2
1.79/1.88	c s 1.6s|     1 |     0 |   450 |     - |  20M|   0 | 450 | 450 |  17k| 450 |  17k|   0 |   0 |   0 |-2.250000e+02 |-2.000000e+00 |  99.11%
2.59/2.64	c   2.4s|     1 |     0 |   572 |     - |  20M|   0 | 412 | 450 |  17k| 450 |  17k|   4 |   0 |   0 |-2.060000e+02 |-2.000000e+00 |  99.03%
2.59/2.66	o -22
2.59/2.66	c b 2.4s|     1 |     0 |   572 |     - |  20M|   0 | 412 | 450 |  17k| 450 |  17k|   4 |   0 |   0 |-2.060000e+02 |-2.200000e+01 |  89.32%
3.59/3.60	c   3.3s|     1 |     0 |   688 |     - |  20M|   0 | 376 | 450 |  17k| 450 |  17k|  18 |   0 |   0 |-1.880000e+02 |-2.200000e+01 |  88.30%
4.69/4.72	c   4.5s|     1 |     0 |   909 |     - |  20M|   0 | 338 | 450 |  17k| 450 |  17k|  49 |   0 |   0 |-1.682500e+02 |-2.200000e+01 |  86.92%
5.79/5.80	c   5.5s|     1 |     0 |  1050 |     - |  20M|   0 | 312 | 450 |  17k| 450 |  17k|  55 |   0 |   0 |-1.552500e+02 |-2.200000e+01 |  85.83%
6.89/6.99	c   6.7s|     1 |     0 |  1213 |     - |  20M|   0 | 274 | 450 |  17k| 450 |  17k|  65 |   0 |   0 |-1.362500e+02 |-2.200000e+01 |  83.85%
8.09/8.17	c   7.9s|     1 |     0 |  1340 |     - |  20M|   0 | 250 | 450 |  17k| 450 |  17k|  71 |   0 |   0 |-1.242500e+02 |-2.200000e+01 |  82.29%
9.48/9.57	c   9.3s|     1 |     0 |  1594 |     - |  20M|   0 | 233 | 450 |  17k| 450 |  17k|  74 |   0 |   0 |-1.165000e+02 |-2.200000e+01 |  81.12%
11.09/11.15	c  10.9s|     1 |     0 |  1962 |     - |  20M|   0 | 196 | 450 |  17k| 450 |  17k|  84 |   0 |   0 |-9.800000e+01 |-2.200000e+01 |  77.55%
12.49/12.54	c  12.3s|     1 |     0 |  2246 |     - |  20M|   0 | 171 | 450 |  17k| 450 |  17k|  91 |   0 |   0 |-8.550000e+01 |-2.200000e+01 |  74.27%
13.79/13.87	c  13.6s|     1 |     0 |  2554 |     - |  20M|   0 | 146 | 450 |  17k| 450 |  17k|  95 |   0 |   0 |-7.300000e+01 |-2.200000e+01 |  69.86%
14.59/14.61	c  14.4s|     1 |     0 |  2780 |     - |  20M|   0 | 134 | 450 |  17k| 450 |  17k| 104 |   0 |   0 |-6.700000e+01 |-2.200000e+01 |  67.16%
15.29/15.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
15.29/15.37	c  15.1s|     1 |     0 |  2999 |     - |  20M|   0 | 114 | 450 |  17k| 450 |  17k| 111 |   0 |   0 |-5.700000e+01 |-2.200000e+01 |  61.40%
16.08/16.10	c  15.8s|     1 |     0 |  3227 |     - |  20M|   0 |  94 | 450 |  17k| 450 |  17k| 115 |   0 |   0 |-4.700000e+01 |-2.200000e+01 |  53.19%
16.69/16.76	c  16.5s|     1 |     0 |  3400 |     - |  20M|   0 |  75 | 450 |  17k| 450 |  17k| 122 |   0 |   0 |-3.750000e+01 |-2.200000e+01 |  41.33%
17.39/17.45	c  17.2s|     1 |     0 |  3584 |     - |  20M|   0 |  82 | 450 |  17k| 450 |  17k| 127 |   0 |   0 |-3.250000e+01 |-2.200000e+01 |  32.31%
17.89/17.95	c  17.7s|     1 |     0 |  3666 |     - |  20M|   0 |  89 | 450 |  17k| 450 |  17k| 135 |   0 |   0 |-3.000000e+01 |-2.200000e+01 |  26.67%
18.39/18.42	c  18.2s|     1 |     0 |  3707 |     - |  20M|   0 |  88 | 450 |  17k| 450 |  17k| 147 |   0 |   0 |-3.000000e+01 |-2.200000e+01 |  26.67%
18.88/18.96	c  18.7s|     1 |     0 |  3781 |     - |  20M|   0 | 106 | 450 |  17k| 450 |  17k| 160 |   0 |   0 |-3.000000e+01 |-2.200000e+01 |  26.67%
19.69/19.70	c  19.4s|     1 |     0 |  3909 |     - |  20M|   0 | 121 | 450 |  17k| 450 |  17k| 174 |   0 |   0 |-3.000000e+01 |-2.200000e+01 |  26.67%
20.79/20.85	c  20.6s|     1 |     0 |  4188 |     - |  21M|   0 |  54 | 450 |  17k| 450 |  17k| 185 |   0 |   0 |-3.000000e+01 |-2.200000e+01 |  26.67%
21.39/21.45	c  21.2s|     1 |     0 |  4367 |     - |  21M|   0 |  81 | 450 |  17k| 450 |  17k| 194 |   0 |   0 |-3.000000e+01 |-2.200000e+01 |  26.67%
41.68/41.72	c  41.5s|     1 |     2 |  4367 |     - |  21M|   0 |  81 | 450 |  17k| 450 |  17k| 194 |   0 |  33 |-3.000000e+01 |-2.200000e+01 |  26.67%
67.85/67.93	o -23
67.85/67.93	c *67.7s|    15 |     8 |  4929 |  40.1 |  21M|  12 |   - | 450 |  17k| 450 |  17k| 194 |   0 | 271 |-3.000000e+01 |-2.300000e+01 |  23.33%
86.15/86.20	o -24
86.15/86.20	c *85.9s|    26 |    11 |  5424 |  42.3 |  21M|  12 |   - | 450 |  17k| 450 |  17k| 194 |   0 | 496 |-3.000000e+01 |-2.400000e+01 |  20.00%
105.25/105.35	o -25
105.25/105.35	c c 105s|    39 |    17 |  5929 |  41.1 |  22M|  13 |   - | 450 |  17k| 450 |  17k| 194 |   0 | 706 |-3.000000e+01 |-2.500000e+01 |  16.67%
142.13/142.21	o -26
142.13/142.21	c * 142s|    59 |    22 |  6985 |  45.1 |  22M|  13 |   - | 450 |  17k| 450 |  17k| 194 |   0 |1069 |-3.000000e+01 |-2.600000e+01 |  13.33%
261.01/261.20	o -27
261.01/261.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
261.01/261.20	c * 261s|   469 |   145 | 21466 |  36.5 |  24M|  26 |   - | 450 |  17k| 450 |  17k| 194 |   0 |1903 |-3.000000e+01 |-2.700000e+01 |  10.00%
910.83/911.15	c   911s| 10000 |  3232 |347670 |  34.3 |  67M|  67 |  45 | 450 |  17k| 450 |  17k| 194 |   0 |2885 |-3.000000e+01 |-2.700000e+01 |  10.00%
948.93/949.26	o -28
948.93/949.26	c p 949s| 10577 |  1774 |367290 |  34.3 |  51M|  67 |   - | 450 |  17k| 450 |  17k| 194 |   0 |2913 |-3.000000e+01 |-2.800000e+01 |   6.67%
1045.49/1045.87	o -29
1045.49/1045.87	c *1046s| 12250 |   322 |412476 |  33.3 |  30M|  67 |   - | 450 |  17k| 450 |  17k| 194 |   0 |3097 |-3.000000e+01 |-2.900000e+01 |   3.33%
1497.28/1497.70	c  1497s| 20000 |   222 |647918 |  32.2 |  29M|  67 |  62 | 450 |  17k| 450 |  17k| 194 |   0 |3783 |-3.000000e+01 |-2.900000e+01 |   3.33%
1789.50/1790.01	c 
1789.50/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1789.50/1790.01	c Solving Time (sec) : 1789.75
1789.50/1790.01	c Solving Nodes      : 26961
1789.50/1790.01	c Primal Bound       : -2.90000000000000e+01 (453 solutions)
1789.50/1790.01	c Dual Bound         : -3.00000000000000e+01
1789.50/1790.01	c Gap                : 3.33 %
1789.50/1790.02	s SATISFIABLE
1789.50/1790.02	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 
1789.50/1790.02	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 
1789.50/1790.02	v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 
1789.50/1790.02	v -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 
1789.50/1790.02	v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 
1789.50/1790.02	v -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 
1789.50/1790.02	v -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 
1789.50/1790.02	v -x167 -x168 -x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 
1789.50/1790.02	v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 
1789.50/1790.02	v -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 
1789.50/1790.02	v -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 
1789.50/1790.02	v -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 
1789.50/1790.02	v -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 
1789.50/1790.02	v -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 
1789.50/1790.02	v x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 
1789.50/1790.02	v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 
1789.50/1790.02	v -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 
1789.50/1790.02	v -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 
1789.50/1790.02	v -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 
1789.50/1790.02	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 
1789.50/1790.02	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 
1789.50/1790.02	c SCIP Status        : solving was interrupted [time limit reached]
1789.50/1790.02	c Solving Time       :    1789.75
1789.50/1790.02	c Original Problem   :
1789.50/1790.02	c   Problem name     : HOME/instance-2703752-1278555522.opb
1789.50/1790.02	c   Variables        : 450 (450 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.50/1790.02	c   Constraints      : 17809 initial, 17809 maximal
1789.50/1790.02	c Presolved Problem  :
1789.50/1790.02	c   Problem name     : t_HOME/instance-2703752-1278555522.opb
1789.50/1790.02	c   Variables        : 450 (450 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.50/1790.02	c   Constraints      : 17809 initial, 17809 maximal
1789.50/1790.02	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.50/1790.02	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1789.50/1790.02	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1789.50/1790.02	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.50/1790.02	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.50/1790.02	c   implics          :       0.00          0          0          0          0          0          0          0          0
1789.50/1790.02	c   probing          :       0.91          0          0          0          0          0          0          0          0
1789.50/1790.02	c   setppc           :       0.03          0          0          0          0          0          0          0          0
1789.50/1790.02	c   root node        :          -          0          -          -          0          -          -          -          -
1789.50/1790.02	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.50/1790.02	c   integral         :          0          0          0      15790          0         71        807          0          0      30626
1789.50/1790.02	c   setppc           :      17809         21      46035          5          2          0     416550          0          0          0
1789.50/1790.02	c   countsols        :          0          0          0          5          2          0          0          0          0          0
1789.50/1790.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.50/1790.02	c   integral         :     359.77       0.00       0.00     359.77       0.00
1789.50/1790.02	c   setppc           :      16.55       0.08      16.47       0.00       0.00
1789.50/1790.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.50/1790.02	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.50/1790.02	c   vbounds          :       0.03          2          0          0
1789.50/1790.02	c   rootredcost      :       0.05          7          0          0
1789.50/1790.02	c   pseudoobj        :       2.55      45852          0          0
1789.50/1790.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.50/1790.02	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1789.50/1790.02	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1789.50/1790.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.50/1790.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.50/1790.02	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.50/1790.02	c   applied globally :          -          -          -          0        0.0          -          -          -
1789.50/1790.02	c   applied locally  :          -          -          -          0        0.0          -          -          -
1789.50/1790.02	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1789.50/1790.02	c   cut pool         :       0.00         20          -          -         78          -    (maximal pool size: 616)
1789.50/1790.02	c   redcost          :       0.57      15842          0         39          0          0
1789.50/1790.02	c   impliedbounds    :       0.02         21          0          0          0          0
1789.50/1790.02	c   intobj           :       0.00          0          0          0          0          0
1789.50/1790.02	c   cgmip            :       0.00          0          0          0          0          0
1789.50/1790.02	c   gomory           :       3.83         21          0          0      10450          0
1789.50/1790.02	c   strongcg         :       3.57         20          0          0       9950          0
1789.50/1790.02	c   cmir             :       1.91         10          0          0          0          0
1789.50/1790.02	c   flowcover        :       2.14         10          0          0          0          0
1789.50/1790.02	c   clique           :       0.18         21          0          0        183          0
1789.50/1790.02	c   zerohalf         :       0.00          0          0          0          0          0
1789.50/1790.02	c   mcf              :       0.02          1          0          0          0          0
1789.50/1790.02	c   rapidlearning    :       0.00          0          0          0          0          0
1789.50/1790.02	c Pricers            :       Time      Calls       Vars
1789.50/1790.02	c   problem variables:       0.00          0          0
1789.50/1790.02	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1789.50/1790.02	c   relpscost        :     359.72      15785         71        807          0          0      30626
1789.50/1790.02	c   pscost           :       0.00          0          0          0          0          0          0
1789.50/1790.02	c   inference        :       0.00          2          0          0          0          0          4
1789.50/1790.02	c   mostinf          :       0.00          0          0          0          0          0          0
1789.50/1790.02	c   leastinf         :       0.00          0          0          0          0          0          0
1789.50/1790.02	c   fullstrong       :       0.00          0          0          0          0          0          0
1789.50/1790.02	c   allfullstrong    :       0.00          0          0          0          0          0          0
1789.50/1790.02	c   random           :       0.00          0          0          0          0          0          0
1789.50/1790.02	c Primal Heuristics  :       Time      Calls      Found
1789.50/1790.02	c   LP solutions     :       0.06          -          5
1789.50/1790.02	c   pseudo solutions :       0.00          -          0
1789.50/1790.02	c   feaspump         :       0.01          0          0
1789.50/1790.02	c   oneopt           :       0.08          9          1
1789.50/1790.02	c   linesearchdiving :       5.14         34          0
1789.50/1790.02	c   fracdiving       :      14.80         34          1
1789.50/1790.02	c   veclendiving     :       7.48         34          0
1789.50/1790.02	c   guideddiving     :      16.56         34          0
1789.50/1790.02	c   coefdiving       :      12.48         35          2
1789.50/1790.02	c   pscostdiving     :       6.73         35          2
1789.50/1790.02	c   objpscostdiving  :       6.31         18         45
1789.50/1790.02	c   rootsoldiving    :       5.13         18         34
1789.50/1790.02	c   crossover        :       3.02         17          4
1789.50/1790.02	c   trivial          :       0.01          2          3
1789.50/1790.02	c   simplerounding   :       0.58      15806        126
1789.50/1790.02	c   zirounding       :      34.38      11351        227
1789.50/1790.02	c   rounding         :      15.80       5610          1
1789.50/1790.02	c   shifting         :       4.90       1426          1
1789.50/1790.02	c   intshifting      :       0.00          0          0
1789.50/1790.02	c   twoopt           :       0.00          0          0
1789.50/1790.02	c   fixandinfer      :       0.00          0          0
1789.50/1790.02	c   intdiving        :       0.00          0          0
1789.50/1790.02	c   actconsdiving    :       0.00          0          0
1789.50/1790.02	c   octane           :       0.00          0          0
1789.50/1790.02	c   rens             :       0.74          1          1
1789.50/1790.02	c   rins             :       0.00          0          0
1789.50/1790.02	c   localbranching   :       0.00          0          0
1789.50/1790.02	c   mutation         :       0.00          0          0
1789.50/1790.02	c   dins             :       0.00          0          0
1789.50/1790.02	c   undercover       :       0.00          0          0
1789.50/1790.02	c   nlp              :       0.03          0          0
1789.50/1790.02	c   trysol           :       0.02          0          0
1789.50/1790.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1789.50/1790.02	c   primal LP        :       0.03          0          0       0.00       0.00
1789.50/1790.02	c   dual LP          :    1148.02      27382     782541      28.58     681.65
1789.50/1790.02	c   lex dual LP      :       0.00          0          0       0.00          -
1789.50/1790.02	c   barrier LP       :       0.00          0          0       0.00          -
1789.50/1790.02	c   diving/probing LP:      66.35       2562      39906      15.58     601.48
1789.50/1790.02	c   strong branching :     358.87       3814     211177      55.37     588.44
1789.50/1790.02	c     (at root node) :          -         33       9386     284.42          -
1789.50/1790.02	c   conflict analysis:       0.00          0          0       0.00          -
1789.50/1790.02	c B&B Tree           :
1789.50/1790.02	c   number of runs   :          1
1789.50/1790.02	c   nodes            :      26961
1789.50/1790.02	c   nodes (total)    :      26961
1789.50/1790.02	c   nodes left       :        295
1789.50/1790.02	c   max depth        :         77
1789.50/1790.02	c   max depth (total):         77
1789.50/1790.02	c   backtracks       :       3282 (12.2%)
1789.50/1790.02	c   delayed cutoffs  :          0
1789.50/1790.02	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1789.50/1790.02	c   avg switch length:       3.87
1789.50/1790.02	c   switching time   :      16.71
1789.50/1790.02	c Solution           :
1789.50/1790.02	c   Solutions found  :        453 (11 improvements)
1789.50/1790.02	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
1789.50/1790.02	c   Primal Bound     : -2.90000000000000e+01   (in run 1, after 12250 nodes, 1045.56 seconds, depth 17, found by <relaxation>)
1789.50/1790.02	c   Dual Bound       : -3.00000000000000e+01
1789.50/1790.02	c   Gap              :       3.33 %
1789.50/1790.02	c   Root Dual Bound  : -3.00000000000000e+01
1789.50/1790.02	c   Root Iterations  :       4367
1789.60/1790.14	c Time complete: 1789.64.

Verifier Data 

OK	-29

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703752-1278555522/watcher-2703752-1278555522 -o /tmp/evaluation-result-2703752-1278555522/solver-2703752-1278555522 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703752-1278555522.opb -t 1800 -m 1800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 30366
/proc/meminfo: memFree=1711832/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=7904 CPUtime=0
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 1163 0 0 0 0 0 0 0 18 0 1 0 23765347 8093696 1074 1992294400 4194304 8395647 140736512196080 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30366/statm: 1976 1083 365 1026 0 946 0

[startup+0.0486089 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 30366
/proc/meminfo: memFree=1711832/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=12216 CPUtime=0.04
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 2254 0 0 0 4 0 0 0 20 0 1 0 23765347 12509184 2166 1992294400 4194304 8395647 140736512196080 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30366/statm: 3054 2180 393 1026 0 2024 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12216

[startup+0.101614 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 30366
/proc/meminfo: memFree=1711832/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=13944 CPUtime=0.09
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 2778 0 0 0 9 0 0 0 20 0 1 0 23765347 14278656 2689 1992294400 4194304 8395647 140736512196080 18446744073709551615 5753753 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30366/statm: 3486 2689 393 1026 0 2456 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13944

[startup+0.301637 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 30366
/proc/meminfo: memFree=1711832/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=30708 CPUtime=0.29
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 7274 0 0 0 27 2 0 0 20 0 1 0 23765347 31444992 6831 1992294400 4194304 8395647 140736512196080 18446744073709551615 4604689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 7677 6831 430 1026 0 6647 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30708

[startup+0.701683 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 30366
/proc/meminfo: memFree=1711832/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=42356 CPUtime=0.69
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 9997 0 0 0 66 3 0 0 20 0 1 0 23765347 43372544 9554 1992294400 4194304 8395647 140736512196080 18446744073709551615 5210311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 10589 9554 491 1026 0 9559 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42356

[startup+1.50178 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30367
/proc/meminfo: memFree=1675368/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=56176 CPUtime=1.49
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 13560 0 0 0 145 4 0 0 23 0 1 0 23765347 57524224 12856 1992294400 4194304 8395647 140736512196080 18446744073709551615 6585824 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 14044 12856 587 1026 0 13014 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56176

[startup+3.10097 s]
/proc/loadavg: 1.00 0.99 0.91 4/108 30368
/proc/meminfo: memFree=1643988/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=66208 CPUtime=3.09
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 15843 0 0 0 304 5 0 0 25 0 1 0 23765347 67796992 14845 1992294400 4194304 8395647 140736512196080 18446744073709551615 5827833 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 16552 14845 758 1026 0 15522 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66208

[startup+6.30133 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30368
/proc/meminfo: memFree=1652676/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=67236 CPUtime=6.29
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 16380 0 0 0 622 7 0 0 25 0 1 0 23765347 68849664 15358 1992294400 4194304 8395647 140736512196080 18446744073709551615 5827855 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 16809 15358 735 1026 0 15779 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 67236

[startup+12.7011 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30368
/proc/meminfo: memFree=1650196/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=68924 CPUtime=12.69
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 16939 0 0 0 1260 9 0 0 25 0 1 0 23765347 70578176 15856 1992294400 4194304 8395647 140736512196080 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 17231 15856 676 1026 0 16201 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 68924

[startup+25.5016 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30368
/proc/meminfo: memFree=1644120/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=73092 CPUtime=25.49
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 24101 0 0 0 2526 23 0 0 25 0 1 0 23765347 74846208 17212 1992294400 4194304 8395647 140736512196080 18446744073709551615 6635663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 18273 17212 629 1026 0 17243 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 73092

[startup+51.1015 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30368
/proc/meminfo: memFree=1644120/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=73652 CPUtime=51.06
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 24179 0 0 0 5073 33 0 0 25 0 1 0 23765347 75419648 17290 1992294400 4194304 8395647 140736512196080 18446744073709551615 6697262 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 18413 17290 629 1026 0 17383 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 73652

[startup+102.308 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30370
/proc/meminfo: memFree=1644120/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=73652 CPUtime=102.25
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 24180 0 0 0 10171 54 0 0 25 0 1 0 23765347 75419648 17291 1992294400 4194304 8395647 140736512196080 18446744073709551615 7382036 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 18413 17291 630 1026 0 17383 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 73652

[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30372
/proc/meminfo: memFree=1644120/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=73652 CPUtime=162.24
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 24180 0 0 0 16147 77 0 0 25 0 1 0 23765347 75419648 17291 1992294400 4194304 8395647 140736512196080 18446744073709551615 6698377 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 18413 17291 630 1026 0 17383 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 73652

[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30374
/proc/meminfo: memFree=1644120/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=73652 CPUtime=222.22
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 24184 0 0 0 22122 100 0 0 25 0 1 0 23765347 75419648 17295 1992294400 4194304 8395647 140736512196080 18446744073709551615 7382061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 18413 17295 630 1026 0 17383 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 73652

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.91 3/107 30374
/proc/meminfo: memFree=1641392/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=77068 CPUtime=282.2
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 36251 0 0 0 28088 132 0 0 25 0 1 0 23765347 78917632 18001 1992294400 4194304 8395647 140736512196080 18446744073709551615 6652339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 19267 18001 632 1026 0 18237 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 77068

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30376
/proc/meminfo: memFree=1636928/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=81192 CPUtime=342.19
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 43671 0 0 0 34061 158 0 0 25 0 1 0 23765347 83140608 19107 1992294400 4194304 8395647 140736512196080 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 20298 19107 636 1026 0 19268 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 81192

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30378
/proc/meminfo: memFree=1629860/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=88028 CPUtime=402.17
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 51785 0 0 0 40033 184 0 0 25 0 1 0 23765347 90140672 20899 1992294400 4194304 8395647 140736512196080 18446744073709551615 5614817 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 22007 20899 635 1026 0 20977 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 88028

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30380
/proc/meminfo: memFree=1624156/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=93456 CPUtime=462.15
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 53200 0 0 0 46008 207 0 0 25 0 1 0 23765347 95698944 22314 1992294400 4194304 8395647 140736512196080 18446744073709551615 6697983 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 23364 22314 635 1026 0 22334 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 93456

[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30382
/proc/meminfo: memFree=1618576/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=100464 CPUtime=522.14
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 60857 0 0 0 51981 233 0 0 25 0 1 0 23765347 102875136 23731 1992294400 4194304 8395647 140736512196080 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 25116 23731 645 1026 0 24086 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 100464

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30382
/proc/meminfo: memFree=1614608/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=104156 CPUtime=582.12
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 61829 0 0 0 57956 256 0 0 25 0 1 0 23765347 106655744 24692 1992294400 4194304 8395647 140736512196080 18446744073709551615 6698334 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 26039 24692 635 1026 0 25009 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 104156

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30384
/proc/meminfo: memFree=1612624/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=105636 CPUtime=642.11
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 62297 0 0 0 63931 280 0 0 25 0 1 0 23765347 108171264 25160 1992294400 4194304 8395647 140736512196080 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 26409 25160 635 1026 0 25379 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 105636

[startup+702.301 s]

################
# More data... #
################

/proc/meminfo: memFree=1591792/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=125932 CPUtime=1002.01
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 100009 0 0 0 99757 444 0 0 25 0 1 0 23765347 128954368 30338 1992294400 4194304 8395647 140736512196080 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 31483 30338 635 1026 0 30453 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 125932

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30396
/proc/meminfo: memFree=1591420/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=125944 CPUtime=1061.99
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 106504 0 0 0 105729 470 0 0 25 0 1 0 23765347 128966656 30409 1992294400 4194304 8395647 140736512196080 18446744073709551615 6587070 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 31486 30409 635 1026 0 30456 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 125944

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30398
/proc/meminfo: memFree=1591668/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=125912 CPUtime=1121.98
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 118935 0 0 0 111695 503 0 0 25 0 1 0 23765347 128933888 30336 1992294400 4194304 8395647 140736512196080 18446744073709551615 6697974 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 31478 30336 635 1026 0 30448 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 125912

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30398
/proc/meminfo: memFree=1591420/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=125984 CPUtime=1181.96
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 125319 0 0 0 117667 529 0 0 25 0 1 0 23765347 129007616 30389 1992294400 4194304 8395647 140736512196080 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 31496 30389 635 1026 0 30466 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 125984

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30400
/proc/meminfo: memFree=1591792/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=125616 CPUtime=1241.94
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 131542 0 0 0 123638 556 0 0 25 0 1 0 23765347 128630784 30246 1992294400 4194304 8395647 140736512196080 18446744073709551615 6438898 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 31404 30246 635 1026 0 30374 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 125616

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30402
/proc/meminfo: memFree=1591420/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=125928 CPUtime=1301.93
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 131660 0 0 0 129612 581 0 0 25 0 1 0 23765347 128950272 30364 1992294400 4194304 8395647 140736512196080 18446744073709551615 6693501 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 31482 30364 635 1026 0 30452 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 125928

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30404
/proc/meminfo: memFree=1591172/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=126064 CPUtime=1361.91
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 131723 0 0 0 135588 603 0 0 25 0 1 0 23765347 129089536 30427 1992294400 4194304 8395647 140736512196080 18446744073709551615 6693387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 31516 30427 635 1026 0 30486 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 126064

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30406
/proc/meminfo: memFree=1593280/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=125300 CPUtime=1421.9
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 137545 0 0 0 141559 631 0 0 25 0 1 0 23765347 128307200 29910 1992294400 4194304 8395647 140736512196080 18446744073709551615 6752542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 31325 29910 635 1026 0 30295 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 125300

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30406
/proc/meminfo: memFree=1591296/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=125936 CPUtime=1481.87
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 138027 0 0 0 147528 659 0 0 25 0 1 0 23765347 128958464 30392 1992294400 4194304 8395647 140736512196080 18446744073709551615 6108086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 31484 30392 635 1026 0 30454 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 125936

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30408
/proc/meminfo: memFree=1591048/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=125936 CPUtime=1541.86
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 138060 0 0 0 153502 684 0 0 25 0 1 0 23765347 128958464 30425 1992294400 4194304 8395647 140736512196080 18446744073709551615 6108104 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 31484 30425 635 1026 0 30454 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 125936

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30410
/proc/meminfo: memFree=1590924/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=126244 CPUtime=1601.84
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 138091 0 0 0 159480 704 0 0 25 0 1 0 23765347 129273856 30456 1992294400 4194304 8395647 140736512196080 18446744073709551615 6587243 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 31561 30456 635 1026 0 30531 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 126244

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30412
/proc/meminfo: memFree=1590924/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=126244 CPUtime=1661.82
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 138095 0 0 0 165456 726 0 0 25 0 1 0 23765347 129273856 30460 1992294400 4194304 8395647 140736512196080 18446744073709551615 6699260 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 31561 30460 635 1026 0 30531 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 126244

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30414
/proc/meminfo: memFree=1592288/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=125296 CPUtime=1721.82
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 144087 0 0 0 171426 756 0 0 25 0 1 0 23765347 128303104 30100 1992294400 4194304 8395647 140736512196080 18446744073709551615 6697978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 31324 30100 635 1026 0 30294 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 125296

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30414
/proc/meminfo: memFree=1591296/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=125484 CPUtime=1781.8
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 144278 0 0 0 177403 777 0 0 25 0 1 0 23765347 128495616 30291 1992294400 4194304 8395647 140736512196080 18446744073709551615 6585869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 31371 30291 635 1026 0 30341 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 125484

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

[startup+1785.5 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30414
/proc/meminfo: memFree=1591172/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=125484 CPUtime=1785
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 144282 0 0 0 177721 779 0 0 25 0 1 0 23765347 128495616 30295 1992294400 4194304 8395647 140736512196080 18446744073709551615 6698227 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 31371 30295 635 1026 0 30341 0
Current children cumulated CPU time (s) 1785
Current children cumulated vsize (KiB) 125484

[startup+1788.7 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30414
/proc/meminfo: memFree=1591172/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=125484 CPUtime=1788.2
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 144287 0 0 0 178040 780 0 0 25 0 1 0 23765347 128495616 30300 1992294400 4194304 8395647 140736512196080 18446744073709551615 6574244 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 31371 30300 635 1026 0 30341 0
Current children cumulated CPU time (s) 1788.2
Current children cumulated vsize (KiB) 125484

[startup+1789.5 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30414
/proc/meminfo: memFree=1591172/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=125484 CPUtime=1788.99
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 144287 0 0 0 178119 780 0 0 25 0 1 0 23765347 128495616 30300 1992294400 4194304 8395647 140736512196080 18446744073709551615 6585877 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 31371 30300 635 1026 0 30341 0
Current children cumulated CPU time (s) 1788.99
Current children cumulated vsize (KiB) 125484

[startup+1789.9 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30416
/proc/meminfo: memFree=1591172/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=125484 CPUtime=1789.39
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 144287 0 0 0 178159 780 0 0 25 0 1 0 23765347 128495616 30300 1992294400 4194304 8395647 140736512196080 18446744073709551615 6585873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30366/statm: 31371 30300 635 1026 0 30341 0
Current children cumulated CPU time (s) 1789.39
Current children cumulated vsize (KiB) 125484

[startup+1790.1 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30416
/proc/meminfo: memFree=1591172/2059040 swapFree=4138696/4192956
[pid=30366] ppid=30364 vsize=125484 CPUtime=1789.6
/proc/30366/stat : 30366 (pbscip.linux.x8) R 30364 30366 28909 0 -1 4202496 144288 0 0 0 178179 781 0 0 25 0 1 0 23765347 128495616 30301 1992294400 4194304 8395647 140736512196080 18446744073709551615 6345893 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30366/statm: 31371 30301 636 1026 0 30341 0
Current children cumulated CPU time (s) 1789.6
Current children cumulated vsize (KiB) 125484

Child status: 0
Real time (s): 1790.14
CPU time (s): 1789.65
CPU user time (s): 1781.82
CPU system time (s): 7.82581
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 149568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.82
system time used= 7.82581
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144291
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 4176

runsolver used 3.06653 second user time and 8.33973 second system time

The end

Launcher Data 

Begin job on node011 at 2010-07-08 04:18:42
IDJOB=2703752
IDBENCH=2239
IDSOLVER=1213
FILE ID=node011/2703752-1278555522
PBS_JOBID= 11239520
Free space on /tmp= 62492 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703752-1278555522/watcher-2703752-1278555522 -o /tmp/evaluation-result-2703752-1278555522/solver-2703752-1278555522 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703752-1278555522.opb -t 1800 -m 1800

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

MD5SUM BENCH= 8e251d4e151b2868eb3a52cf845e4cf8
RANDOM SEED=355859585

node011.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.212
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.42
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.212
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1712360 kB
Buffers:         67192 kB
Cached:         189700 kB
SwapCached:       7420 kB
Active:         165812 kB
Inactive:       105156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1712360 kB
SwapTotal:     4192956 kB
SwapFree:      4138696 kB
Dirty:           10804 kB
Writeback:           0 kB
AnonPages:       11840 kB
Mapped:          11920 kB
Slab:            53836 kB
PageTables:       4140 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183400 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= 62484 MiB
End job on node011 at 2010-07-08 04:48:32