Trace number 2703634

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-28 1789.79 1790.24

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb
MD5SUM65bafde3eb06761afc4fe90b6aa8c264
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-28
Best CPU time to get the best result obtained on this benchmark1789.79
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 constraints17827
Number of constraints which are clauses17827
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-2703634-1278555476.opb>
0.19/0.24	c original problem has 450 variables (450 bin, 0 int, 0 impl, 0 cont) and 17827 constraints
0.19/0.24	c problem read
0.19/0.24	c presolving settings loaded
0.19/0.29	o 0
0.19/0.29	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.19/0.29	c presolving:
0.39/0.43	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 17827 upgd conss, 35654 impls, 0 clqs
1.29/1.33	c    (1.1s) probing: 101/450 (22.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.29/1.33	c    (1.1s) probing aborted: 100/100 successive totally useless probings
1.29/1.33	c presolving (2 rounds):
1.29/1.33	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.29/1.33	c  35654 implications, 0 cliques
1.29/1.33	c presolved problem has 450 variables (450 bin, 0 int, 0 impl, 0 cont) and 17827 constraints
1.29/1.33	c   17827 constraints of type <setppc>
1.29/1.33	c transformed objective value is always integral (scale: 1)
1.29/1.33	c Presolving Time: 1.05
1.29/1.33	c - non default parameters ----------------------------------------------------------------------
1.29/1.33	c # SCIP version 1.2.1.3
1.29/1.33	c 
1.29/1.33	c # frequency for displaying node information lines
1.29/1.33	c # [type: int, range: [-1,2147483647], default: 100]
1.29/1.33	c display/freq = 10000
1.29/1.33	c 
1.29/1.33	c # maximal time in seconds to run
1.29/1.33	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.29/1.33	c limits/time = 1789.77
1.29/1.33	c 
1.29/1.33	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.29/1.33	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.29/1.33	c limits/memory = 1620
1.29/1.33	c 
1.29/1.33	c # default clock type (1: CPU user seconds, 2: wall clock time)
1.29/1.33	c # [type: int, range: [1,2], default: 1]
1.29/1.33	c timing/clocktype = 2
1.29/1.33	c 
1.29/1.33	c # should presolving try to simplify inequalities
1.29/1.33	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.29/1.33	c constraints/linear/simplifyinequalities = TRUE
1.29/1.33	c 
1.29/1.33	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.29/1.33	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.29/1.33	c constraints/indicator/addCouplingCons = TRUE
1.29/1.33	c 
1.29/1.33	c # should presolving try to simplify knapsacks
1.29/1.33	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.29/1.33	c constraints/knapsack/simplifyinequalities = TRUE
1.29/1.33	c 
1.29/1.33	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.29/1.33	c # [type: int, range: [-1,2147483647], default: -1]
1.29/1.33	c separating/rapidlearning/freq = 0
1.29/1.33	c 
1.29/1.33	c -----------------------------------------------------------------------------------------------
1.29/1.33	c start solving
1.29/1.33	c 
1.69/1.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.69/1.77	c t 1.5s|     1 |     0 |   450 |     - |  20M|   0 | 450 | 450 |  17k| 450 |  17k|   0 |   0 |   0 |-2.250000e+02 | 0.000000e+00 | 100.00%
1.69/1.79	o -1
1.69/1.79	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%
2.59/2.67	c   2.4s|     1 |     0 |   628 |     - |  20M|   0 | 412 | 450 |  17k| 450 |  17k|   4 |   0 |   0 |-2.060000e+02 |-1.000000e+00 |  99.51%
2.59/2.69	o -19
2.59/2.69	c b 2.4s|     1 |     0 |   628 |     - |  20M|   0 | 412 | 450 |  17k| 450 |  17k|   4 |   0 |   0 |-2.060000e+02 |-1.900000e+01 |  90.78%
3.49/3.52	c   3.3s|     1 |     0 |   717 |     - |  20M|   0 | 382 | 450 |  17k| 450 |  17k|  12 |   0 |   0 |-1.910000e+02 |-1.900000e+01 |  90.05%
4.40/4.45	c   4.2s|     1 |     0 |   820 |     - |  20M|   0 | 351 | 450 |  17k| 450 |  17k|  21 |   0 |   0 |-1.755000e+02 |-1.900000e+01 |  89.17%
5.49/5.54	c   5.3s|     1 |     0 |   990 |     - |  20M|   0 | 310 | 450 |  17k| 450 |  17k|  31 |   0 |   0 |-1.550000e+02 |-1.900000e+01 |  87.74%
6.69/6.75	c   6.5s|     1 |     0 |  1140 |     - |  20M|   0 | 282 | 450 |  17k| 450 |  17k|  39 |   0 |   0 |-1.410000e+02 |-1.900000e+01 |  86.52%
7.89/7.94	c   7.7s|     1 |     0 |  1289 |     - |  20M|   0 | 259 | 450 |  17k| 450 |  17k|  48 |   0 |   0 |-1.295000e+02 |-1.900000e+01 |  85.33%
9.09/9.11	c   8.9s|     1 |     0 |  1426 |     - |  20M|   0 | 232 | 450 |  17k| 450 |  17k|  56 |   0 |   0 |-1.160000e+02 |-1.900000e+01 |  83.62%
10.39/10.49	c  10.2s|     1 |     0 |  1666 |     - |  20M|   0 | 205 | 450 |  17k| 450 |  17k|  66 |   0 |   0 |-1.025000e+02 |-1.900000e+01 |  81.46%
11.79/11.87	c  11.6s|     1 |     0 |  1939 |     - |  20M|   0 | 172 | 450 |  17k| 450 |  17k|  78 |   0 |   0 |-8.600000e+01 |-1.900000e+01 |  77.91%
13.10/13.11	c  12.9s|     1 |     0 |  2201 |     - |  20M|   0 | 145 | 450 |  17k| 450 |  17k|  87 |   0 |   0 |-7.250000e+01 |-1.900000e+01 |  73.79%
13.79/13.86	c  13.6s|     1 |     0 |  2433 |     - |  20M|   0 | 121 | 450 |  17k| 450 |  17k|  93 |   0 |   0 |-6.050000e+01 |-1.900000e+01 |  68.60%
14.38/14.42	c  14.2s|     1 |     0 |  2589 |     - |  20M|   0 | 105 | 450 |  17k| 450 |  17k| 100 |   0 |   0 |-4.850000e+01 |-1.900000e+01 |  60.82%
14.99/15.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
14.99/15.06	c  14.8s|     1 |     0 |  2758 |     - |  20M|   0 |  75 | 450 |  17k| 450 |  17k| 111 |   0 |   0 |-3.850000e+01 |-1.900000e+01 |  50.65%
15.69/15.76	c  15.5s|     1 |     0 |  2952 |     - |  20M|   0 | 115 | 450 |  17k| 450 |  17k| 116 |   0 |   0 |-3.000000e+01 |-1.900000e+01 |  36.67%
16.19/16.26	c  16.0s|     1 |     0 |  2986 |     - |  20M|   0 |  97 | 450 |  17k| 450 |  17k| 128 |   0 |   0 |-3.000000e+01 |-1.900000e+01 |  36.67%
16.78/16.89	c  16.7s|     1 |     0 |  3082 |     - |  20M|   0 |  96 | 450 |  17k| 450 |  17k| 139 |   0 |   0 |-3.000000e+01 |-1.900000e+01 |  36.67%
18.98/19.04	c  18.8s|     1 |     0 |  3202 |     - |  20M|   0 | 116 | 450 |  17k| 450 |  17k| 151 |   0 |   0 |-3.000000e+01 |-1.900000e+01 |  36.67%
24.88/24.96	c  24.7s|     1 |     0 |  3241 |     - |  21M|   0 | 121 | 450 |  17k| 450 |  17k| 160 |   0 |   0 |-3.000000e+01 |-1.900000e+01 |  36.67%
32.28/32.38	c  32.1s|     1 |     0 |  3312 |     - |  21M|   0 | 122 | 450 |  17k| 450 |  17k| 170 |   0 |   0 |-3.000000e+01 |-1.900000e+01 |  36.67%
39.99/40.04	c  39.8s|     1 |     0 |  3453 |     - |  21M|   0 | 128 | 450 |  17k| 450 |  17k| 178 |   0 |   0 |-3.000000e+01 |-1.900000e+01 |  36.67%
66.77/66.83	c  66.6s|     1 |     2 |  3453 |     - |  21M|   0 | 128 | 450 |  17k| 450 |  17k| 178 |   0 |  33 |-3.000000e+01 |-1.900000e+01 |  36.67%
111.16/111.20	o -20
111.16/111.20	c * 111s|    12 |     9 |  4470 |  92.5 |  21M|  11 |   - | 450 |  17k| 450 |  17k| 178 |   0 | 227 |-3.000000e+01 |-2.000000e+01 |  33.33%
152.15/152.27	o -21
152.15/152.27	c * 152s|    23 |    18 |  5419 |  89.4 |  21M|  12 |   - | 450 |  17k| 450 |  17k| 178 |   0 | 399 |-3.000000e+01 |-2.100000e+01 |  30.00%
153.05/153.17	o -22
153.05/153.17	c * 153s|    25 |    15 |  5435 |  82.6 |  21M|  13 |   - | 450 |  17k| 450 |  17k| 178 |   0 | 422 |-3.000000e+01 |-2.200000e+01 |  26.67%
163.45/163.57	o -23
163.45/163.57	c * 163s|    34 |    22 |  5782 |  70.6 |  21M|  14 |   - | 450 |  17k| 450 |  17k| 178 |   0 | 548 |-3.000000e+01 |-2.300000e+01 |  23.33%
164.15/164.26	o -24
164.15/164.26	c * 164s|    35 |    17 |  5808 |  69.3 |  21M|  14 |   - | 450 |  17k| 450 |  17k| 178 |   0 | 568 |-3.000000e+01 |-2.400000e+01 |  20.00%
263.33/263.48	o -25
263.33/263.48	c c 263s|    88 |    45 |  9100 |  64.9 |  22M|  16 |   - | 450 |  17k| 450 |  17k| 178 |   0 |1049 |-3.000000e+01 |-2.500000e+01 |  16.67%
274.72/274.83	o -26
274.72/274.83	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
274.72/274.83	c * 275s|   146 |    65 | 11815 |  57.7 |  23M|  18 |   - | 450 |  17k| 450 |  17k| 178 |   0 |1080 |-3.000000e+01 |-2.600000e+01 |  13.33%
298.31/298.49	o -27
298.31/298.49	c * 298s|   443 |   137 | 21429 |  40.7 |  24M|  29 |   - | 450 |  17k| 450 |  17k| 178 |   0 |1136 |-3.000000e+01 |-2.700000e+01 |  10.00%
937.16/937.42	c   937s| 10000 |  2722 |321922 |  31.9 |  58M|  79 |   - | 450 |  17k| 450 |  17k| 178 |   0 |2262 |-3.000000e+01 |-2.700000e+01 |  10.00%
1373.15/1373.56	o -28
1373.15/1373.56	c *1373s| 17492 |  2362 |540549 |  30.7 |  59M|  80 |   - | 450 |  17k| 450 |  17k| 178 |   0 |2927 |-3.000000e+01 |-2.800000e+01 |   6.67%
1487.52/1487.92	c  1488s| 20000 |  2604 |602996 |  30.0 |  63M|  80 |  50 | 450 |  17k| 450 |  17k| 178 |   0 |2969 |-3.000000e+01 |-2.800000e+01 |   6.67%
1789.54/1790.01	c 
1789.54/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1789.54/1790.01	c Solving Time (sec) : 1789.77
1789.54/1790.01	c Solving Nodes      : 26091
1789.54/1790.01	c Primal Bound       : -2.80000000000000e+01 (410 solutions)
1789.54/1790.01	c Dual Bound         : -3.00000000000000e+01
1789.54/1790.01	c Gap                : 6.67 %
1789.54/1790.02	s SATISFIABLE
1789.54/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.54/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.54/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.54/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.54/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.54/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.54/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.54/1790.02	v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 
1789.54/1790.02	v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 
1789.54/1790.02	v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 
1789.54/1790.02	v -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 
1789.54/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.54/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.54/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.54/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.54/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.54/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.54/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.54/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.54/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.54/1790.02	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 
1789.54/1790.02	c SCIP Status        : solving was interrupted [time limit reached]
1789.54/1790.02	c Solving Time       :    1789.77
1789.54/1790.02	c Original Problem   :
1789.54/1790.02	c   Problem name     : HOME/instance-2703634-1278555476.opb
1789.54/1790.02	c   Variables        : 450 (450 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.54/1790.02	c   Constraints      : 17827 initial, 17827 maximal
1789.54/1790.02	c Presolved Problem  :
1789.54/1790.02	c   Problem name     : t_HOME/instance-2703634-1278555476.opb
1789.54/1790.02	c   Variables        : 450 (450 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.54/1790.02	c   Constraints      : 17827 initial, 17827 maximal
1789.54/1790.02	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.54/1790.02	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1789.54/1790.02	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1789.54/1790.02	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.54/1790.02	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.54/1790.02	c   implics          :       0.00          0          0          0          0          0          0          0          0
1789.54/1790.02	c   probing          :       0.87          0          0          0          0          0          0          0          0
1789.54/1790.02	c   setppc           :       0.03          0          0          0          0          0          0          0          0
1789.54/1790.02	c   root node        :          -          0          -          -          0          -          -          -          -
1789.54/1790.02	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.54/1790.02	c   integral         :          0          0          0      16145          0         47        564          0          0      31612
1789.54/1790.02	c   setppc           :      17827         20      44578          8          1          0     363520          0          0          0
1789.54/1790.02	c   countsols        :          0          0          0          8          1          0          0          0          0          0
1789.54/1790.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.54/1790.02	c   integral         :     415.58       0.00       0.00     415.58       0.00
1789.54/1790.02	c   setppc           :      13.03       0.08      12.95       0.00       0.00
1789.54/1790.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.54/1790.02	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.54/1790.02	c   vbounds          :       0.03          2          0          0
1789.54/1790.02	c   rootredcost      :       0.04          9          0          0
1789.54/1790.02	c   pseudoobj        :       2.37      44393          0          0
1789.54/1790.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.54/1790.02	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1789.54/1790.02	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1789.54/1790.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.54/1790.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.54/1790.02	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.54/1790.02	c   applied globally :          -          -          -          0        0.0          -          -          -
1789.54/1790.02	c   applied locally  :          -          -          -          0        0.0          -          -          -
1789.54/1790.02	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1789.54/1790.02	c   cut pool         :       0.00         19          -          -         92          -    (maximal pool size: 546)
1789.54/1790.02	c   redcost          :       0.52      16243          0         92          0          0
1789.54/1790.02	c   impliedbounds    :       0.02         20          0          0          0          0
1789.54/1790.02	c   intobj           :       0.00          0          0          0          0          0
1789.54/1790.02	c   cgmip            :       0.00          0          0          0          0          0
1789.54/1790.02	c   gomory           :      14.52         20          0          0       8451          0
1789.54/1790.02	c   strongcg         :      13.12         20          0          0       8939          0
1789.54/1790.02	c   cmir             :       2.02         10          0          0          0          0
1789.54/1790.02	c   flowcover        :       2.32         10          0          0          0          0
1789.54/1790.02	c   clique           :       0.26         20          0          0        175          0
1789.54/1790.02	c   zerohalf         :       0.00          0          0          0          0          0
1789.54/1790.02	c   mcf              :       0.02          1          0          0          0          0
1789.54/1790.02	c   rapidlearning    :       0.00          0          0          0          0          0
1789.54/1790.02	c Pricers            :       Time      Calls       Vars
1789.54/1790.02	c   problem variables:       0.00          0          0
1789.54/1790.02	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1789.54/1790.02	c   relpscost        :     415.53      16137         47        564          0          0      31612
1789.54/1790.02	c   pscost           :       0.00          0          0          0          0          0          0
1789.54/1790.02	c   inference        :       0.00          1          0          0          0          0          2
1789.54/1790.02	c   mostinf          :       0.00          0          0          0          0          0          0
1789.54/1790.02	c   leastinf         :       0.00          0          0          0          0          0          0
1789.54/1790.02	c   fullstrong       :       0.00          0          0          0          0          0          0
1789.54/1790.02	c   allfullstrong    :       0.00          0          0          0          0          0          0
1789.54/1790.02	c   random           :       0.00          0          0          0          0          0          0
1789.54/1790.02	c Primal Heuristics  :       Time      Calls      Found
1789.54/1790.02	c   LP solutions     :       0.05          -          8
1789.54/1790.02	c   pseudo solutions :       0.00          -          0
1789.54/1790.02	c   feaspump         :       0.00          0          0
1789.54/1790.02	c   oneopt           :       0.10         11          1
1789.54/1790.02	c   fracdiving       :       8.46         24          1
1789.54/1790.02	c   veclendiving     :       3.54         24          0
1789.54/1790.02	c   linesearchdiving :       3.85         24          0
1789.54/1790.02	c   guideddiving     :       9.13         24          0
1789.54/1790.02	c   coefdiving       :       9.47         25          4
1789.54/1790.02	c   pscostdiving     :       3.30         25          1
1789.54/1790.02	c   objpscostdiving  :       4.60         13         34
1789.54/1790.02	c   rootsoldiving    :       3.22         13         24
1789.54/1790.02	c   crossover        :       1.94         12          4
1789.54/1790.02	c   trivial          :       0.01          2          3
1789.54/1790.02	c   simplerounding   :       0.52      16157         92
1789.54/1790.02	c   zirounding       :      37.48      11751        235
1789.54/1790.02	c   rounding         :      16.87       5646          1
1789.54/1790.02	c   shifting         :       2.56        707          1
1789.54/1790.02	c   intshifting      :       0.00          0          0
1789.54/1790.02	c   twoopt           :       0.00          0          0
1789.54/1790.02	c   fixandinfer      :       0.00          0          0
1789.54/1790.02	c   intdiving        :       0.00          0          0
1789.54/1790.02	c   actconsdiving    :       0.00          0          0
1789.54/1790.02	c   octane           :       0.00          0          0
1789.54/1790.02	c   rens             :       1.46          1          1
1789.54/1790.02	c   rins             :       0.00          0          0
1789.54/1790.02	c   localbranching   :       0.00          0          0
1789.54/1790.02	c   mutation         :       0.00          0          0
1789.54/1790.02	c   dins             :       0.00          0          0
1789.54/1790.02	c   undercover       :       0.00          0          0
1789.54/1790.02	c   nlp              :       0.02          0          0
1789.54/1790.02	c   trysol           :       0.02          0          0
1789.54/1790.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1789.54/1790.02	c   primal LP        :       0.03          0          0       0.00       0.00
1789.54/1790.02	c   dual LP          :    1109.42      26395     735561      27.87     663.02
1789.54/1790.02	c   lex dual LP      :       0.00          0          0       0.00          -
1789.54/1790.02	c   barrier LP       :       0.00          0          0       0.00          -
1789.54/1790.02	c   diving/probing LP:      40.39       1716      23737      13.83     587.69
1789.54/1790.02	c   strong branching :     414.65       3368     237297      70.46     572.29
1789.54/1790.02	c     (at root node) :          -         33      12445     377.12          -
1789.54/1790.02	c   conflict analysis:       0.00          0          0       0.00          -
1789.54/1790.02	c B&B Tree           :
1789.54/1790.02	c   number of runs   :          1
1789.54/1790.02	c   nodes            :      26091
1789.54/1790.02	c   nodes (total)    :      26091
1789.54/1790.02	c   nodes left       :       3137
1789.54/1790.02	c   max depth        :        101
1789.54/1790.02	c   max depth (total):        101
1789.54/1790.02	c   backtracks       :       2683 (10.3%)
1789.54/1790.02	c   delayed cutoffs  :          0
1789.54/1790.02	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1789.54/1790.02	c   avg switch length:       4.35
1789.54/1790.02	c   switching time   :      15.35
1789.54/1790.02	c Solution           :
1789.54/1790.02	c   Solutions found  :        410 (12 improvements)
1789.54/1790.02	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
1789.54/1790.02	c   Primal Bound     : -2.80000000000000e+01   (in run 1, after 17492 nodes, 1373.27 seconds, depth 36, found by <relaxation>)
1789.54/1790.02	c   Dual Bound       : -3.00000000000000e+01
1789.54/1790.02	c   Gap              :       6.67 %
1789.54/1790.02	c   Root Dual Bound  : -3.00000000000000e+01
1789.54/1790.02	c   Root Iterations  :       3453
1789.74/1790.24	c Time complete: 1789.78.

Verifier Data 

OK	-28

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703634-1278555476/watcher-2703634-1278555476 -o /tmp/evaluation-result-2703634-1278555476/solver-2703634-1278555476 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703634-1278555476.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.06 1.03 1.01 3/105 27036
/proc/meminfo: memFree=1684492/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=7904 CPUtime=0
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 1130 0 0 0 0 0 0 0 21 0 1 0 23755957 8093696 1042 1992294400 4194304 8395647 140733209053776 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27036/statm: 1976 1051 365 1026 0 946 0

[startup+0.0480379 s]
/proc/loadavg: 1.06 1.03 1.01 3/105 27036
/proc/meminfo: memFree=1684492/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=12216 CPUtime=0.04
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 2363 0 0 0 4 0 0 0 23 0 1 0 23755957 12509184 2275 1992294400 4194304 8395647 140733209053776 18446744073709551615 7301477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27036/statm: 3054 2275 393 1026 0 2024 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12216

[startup+0.101043 s]
/proc/loadavg: 1.06 1.03 1.01 3/105 27036
/proc/meminfo: memFree=1684492/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=13944 CPUtime=0.09
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 2778 0 0 0 9 0 0 0 23 0 1 0 23755957 14278656 2690 1992294400 4194304 8395647 140733209053776 18446744073709551615 7382031 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27036/statm: 3486 2690 393 1026 0 2456 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13944

[startup+0.301062 s]
/proc/loadavg: 1.06 1.03 1.01 3/105 27036
/proc/meminfo: memFree=1684492/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=32276 CPUtime=0.29
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 7458 0 0 0 27 2 0 0 24 0 1 0 23755957 33050624 7016 1992294400 4194304 8395647 140733209053776 18446744073709551615 5026845 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 8069 7016 470 1026 0 7039 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32276

[startup+0.701101 s]
/proc/loadavg: 1.06 1.03 1.01 3/105 27036
/proc/meminfo: memFree=1684492/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=42104 CPUtime=0.69
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 9933 0 0 0 66 3 0 0 25 0 1 0 23755957 43114496 9491 1992294400 4194304 8395647 140733209053776 18446744073709551615 4230937 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 10526 9491 491 1026 0 9496 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42104

[startup+1.50118 s]
/proc/loadavg: 1.06 1.03 1.00 2/106 27037
/proc/meminfo: memFree=1648276/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=56840 CPUtime=1.49
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 13606 0 0 0 144 5 0 0 25 0 1 0 23755957 58204160 12901 1992294400 4194304 8395647 140733209053776 18446744073709551615 6696934 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 14210 12901 586 1026 0 13180 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56840

[startup+3.10134 s]
/proc/loadavg: 1.06 1.03 1.00 2/106 27037
/proc/meminfo: memFree=1629676/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=65552 CPUtime=3.09
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 15802 0 0 0 303 6 0 0 25 0 1 0 23755957 67125248 14653 1992294400 4194304 8395647 140733209053776 18446744073709551615 5827855 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 16388 14653 623 1026 0 15358 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65552

[startup+6.30065 s]
/proc/loadavg: 1.06 1.03 1.00 2/106 27037
/proc/meminfo: memFree=1624964/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=67220 CPUtime=6.29
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 16462 0 0 0 622 7 0 0 25 0 1 0 23755957 68833280 15307 1992294400 4194304 8395647 140733209053776 18446744073709551615 5849644 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 16805 15307 617 1026 0 15775 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 67220

[startup+12.7013 s]
/proc/loadavg: 1.05 1.02 1.00 2/106 27039
/proc/meminfo: memFree=1624344/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=67220 CPUtime=12.69
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 16636 0 0 0 1261 8 0 0 25 0 1 0 23755957 68833280 15470 1992294400 4194304 8395647 140733209053776 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 16805 15470 621 1026 0 15775 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 67220

[startup+25.5005 s]
/proc/loadavg: 1.04 1.02 1.00 2/106 27039
/proc/meminfo: memFree=1620376/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=71280 CPUtime=25.49
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 17656 0 0 0 2534 15 0 0 25 0 1 0 23755957 72990720 16483 1992294400 4194304 8395647 140733209053776 18446744073709551615 4270478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 17820 16483 615 1026 0 16790 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 71280

[startup+51.101 s]
/proc/loadavg: 1.02 1.02 1.00 2/106 27039
/proc/meminfo: memFree=1591608/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=99456 CPUtime=51.07
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 25098 0 0 0 5072 35 0 0 25 0 1 0 23755957 101842944 23673 1992294400 4194304 8395647 140733209053776 18446744073709551615 6723650 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 24864 23673 631 1026 0 23834 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 99456

[startup+102.308 s]
/proc/loadavg: 1.01 1.02 1.00 2/106 27041
/proc/meminfo: memFree=1591608/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=99456 CPUtime=102.27
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 25098 0 0 0 10175 52 0 0 25 0 1 0 23755957 101842944 23673 1992294400 4194304 8395647 140733209053776 18446744073709551615 6697271 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 24864 23673 631 1026 0 23834 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 99456

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 27046
/proc/meminfo: memFree=1590988/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=99456 CPUtime=162.25
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 25099 0 0 0 16152 73 0 0 25 0 1 0 23755957 101842944 23674 1992294400 4194304 8395647 140733209053776 18446744073709551615 6697714 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 24864 23674 632 1026 0 23834 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 99456

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27046
/proc/meminfo: memFree=1590988/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=99456 CPUtime=222.24
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 25099 0 0 0 22131 93 0 0 25 0 1 0 23755957 101842944 23674 1992294400 4194304 8395647 140733209053776 18446744073709551615 6698068 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 24864 23674 632 1026 0 23834 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 99456

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27048
/proc/meminfo: memFree=1590988/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=99456 CPUtime=282.22
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 25099 0 0 0 28110 112 0 0 25 0 1 0 23755957 101842944 23674 1992294400 4194304 8395647 140733209053776 18446744073709551615 6636342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 24864 23674 632 1026 0 23834 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 99456

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27050
/proc/meminfo: memFree=1589996/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=99456 CPUtime=342.2
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 25402 0 0 0 34084 136 0 0 25 0 1 0 23755957 101842944 23976 1992294400 4194304 8395647 140733209053776 18446744073709551615 6472099 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 24864 23976 637 1026 0 23834 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 99456

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27052
/proc/meminfo: memFree=1591112/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=97516 CPUtime=402.19
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 26284 0 0 0 40062 157 0 0 25 0 1 0 23755957 99856384 23528 1992294400 4194304 8395647 140733209053776 18446744073709551615 6656357 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 24379 23528 638 1026 0 23349 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 97516

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27054
/proc/meminfo: memFree=1591236/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=97516 CPUtime=462.18
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 26286 0 0 0 46041 177 0 0 25 0 1 0 23755957 99856384 23530 1992294400 4194304 8395647 140733209053776 18446744073709551615 6636363 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 24379 23530 638 1026 0 23349 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 97516

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27054
/proc/meminfo: memFree=1591236/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=97516 CPUtime=522.16
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 29366 0 0 0 52014 202 0 0 25 0 1 0 23755957 99856384 23531 1992294400 4194304 8395647 140733209053776 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 24379 23531 638 1026 0 23349 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 97516

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27056
/proc/meminfo: memFree=1591236/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=97516 CPUtime=582.14
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 29366 0 0 0 57993 221 0 0 25 0 1 0 23755957 99856384 23531 1992294400 4194304 8395647 140733209053776 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 24379 23531 638 1026 0 23349 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 97516

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27058
/proc/meminfo: memFree=1591236/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=97516 CPUtime=642.13
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 29367 0 0 0 63975 238 0 0 25 0 1 0 23755957 99856384 23532 1992294400 4194304 8395647 140733209053776 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 24379 23532 638 1026 0 23349 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 97516

[startup+702.301 s]

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

/proc/meminfo: memFree=1567924/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=123504 CPUtime=1062.03
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 48050 0 0 0 105810 393 0 0 25 0 1 0 23755957 126468096 29607 1992294400 4194304 8395647 140733209053776 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 30876 29607 638 1026 0 29846 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 123504

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27070
/proc/meminfo: memFree=1563212/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=127440 CPUtime=1122.01
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 49139 0 0 0 111789 412 0 0 25 0 1 0 23755957 130498560 30696 1992294400 4194304 8395647 140733209053776 18446744073709551615 6445799 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 31860 30696 650 1026 0 30830 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 127440

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27072
/proc/meminfo: memFree=1557508/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=132836 CPUtime=1182
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 50504 0 0 0 117766 434 0 0 25 0 1 0 23755957 136024064 32049 1992294400 4194304 8395647 140733209053776 18446744073709551615 6644481 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 33209 32049 638 1026 0 32179 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 132836

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27074
/proc/meminfo: memFree=1553416/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=136412 CPUtime=1241.98
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 51498 0 0 0 123742 456 0 0 25 0 1 0 23755957 139685888 33043 1992294400 4194304 8395647 140733209053776 18446744073709551615 6697949 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 34103 33043 638 1026 0 33073 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 136412

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27076
/proc/meminfo: memFree=1551308/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=138848 CPUtime=1301.98
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 52006 0 0 0 129721 477 0 0 25 0 1 0 23755957 142180352 33551 1992294400 4194304 8395647 140733209053776 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 34712 33551 638 1026 0 33682 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 138848

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27078
/proc/meminfo: memFree=1547712/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=142044 CPUtime=1361.95
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 52901 0 0 0 135697 498 0 0 25 0 1 0 23755957 145453056 34446 1992294400 4194304 8395647 140733209053776 18446744073709551615 6108104 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 35511 34446 638 1026 0 34481 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 142044

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27078
/proc/meminfo: memFree=1547216/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=142780 CPUtime=1421.94
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 65568 0 0 0 141669 525 0 0 25 0 1 0 23755957 146206720 34588 1992294400 4194304 8395647 140733209053776 18446744073709551615 6138935 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 35695 34588 638 1026 0 34665 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 142780

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27080
/proc/meminfo: memFree=1546720/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=142916 CPUtime=1481.93
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 71824 0 0 0 147644 549 0 0 25 0 1 0 23755957 146345984 34670 1992294400 4194304 8395647 140733209053776 18446744073709551615 6652339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 35729 34670 638 1026 0 34699 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 142916

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27082
/proc/meminfo: memFree=1546596/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=143368 CPUtime=1541.91
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 78039 0 0 0 153618 573 0 0 25 0 1 0 23755957 146808832 34697 1992294400 4194304 8395647 140733209053776 18446744073709551615 6698349 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 35842 34697 638 1026 0 34812 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 143368

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27084
/proc/meminfo: memFree=1546224/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=143872 CPUtime=1601.9
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 78133 0 0 0 159595 595 0 0 25 0 1 0 23755957 147324928 34791 1992294400 4194304 8395647 140733209053776 18446744073709551615 6723058 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 35968 34791 638 1026 0 34938 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 143872

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27086
/proc/meminfo: memFree=1546224/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=143872 CPUtime=1661.88
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 78160 0 0 0 165573 615 0 0 25 0 1 0 23755957 147324928 34818 1992294400 4194304 8395647 140733209053776 18446744073709551615 6391382 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 35968 34818 638 1026 0 34938 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 143872

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27086
/proc/meminfo: memFree=1546968/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=142848 CPUtime=1721.86
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 84142 0 0 0 171545 641 0 0 25 0 1 0 23755957 146276352 34626 1992294400 4194304 8395647 140733209053776 18446744073709551615 5614200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 35712 34626 638 1026 0 34682 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 142848

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27088
/proc/meminfo: memFree=1546596/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=142848 CPUtime=1781.85
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 84180 0 0 0 177521 664 0 0 25 0 1 0 23755957 146276352 34664 1992294400 4194304 8395647 140733209053776 18446744073709551615 6644506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 35712 34664 638 1026 0 34682 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 142848

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27088
/proc/meminfo: memFree=1546596/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=142848 CPUtime=1785.04
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 84190 0 0 0 177839 665 0 0 25 0 1 0 23755957 146276352 34674 1992294400 4194304 8395647 140733209053776 18446744073709551615 6644410 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 35712 34674 638 1026 0 34682 0
Current children cumulated CPU time (s) 1785.04
Current children cumulated vsize (KiB) 142848

[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27088
/proc/meminfo: memFree=1546596/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=142848 CPUtime=1788.24
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 84190 0 0 0 178158 666 0 0 25 0 1 0 23755957 146276352 34674 1992294400 4194304 8395647 140733209053776 18446744073709551615 6585820 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 35712 34674 638 1026 0 34682 0
Current children cumulated CPU time (s) 1788.24
Current children cumulated vsize (KiB) 142848

[startup+1789.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27088
/proc/meminfo: memFree=1546596/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=142848 CPUtime=1789.04
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 84190 0 0 0 178238 666 0 0 25 0 1 0 23755957 146276352 34674 1992294400 4194304 8395647 140733209053776 18446744073709551615 7382051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 35712 34674 638 1026 0 34682 0
Current children cumulated CPU time (s) 1789.04
Current children cumulated vsize (KiB) 142848

[startup+1789.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27088
/proc/meminfo: memFree=1546596/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=142848 CPUtime=1789.44
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 84190 0 0 0 178278 666 0 0 25 0 1 0 23755957 146276352 34674 1992294400 4194304 8395647 140733209053776 18446744073709551615 6583252 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27036/statm: 35712 34674 638 1026 0 34682 0
Current children cumulated CPU time (s) 1789.44
Current children cumulated vsize (KiB) 142848

[startup+1790.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27088
/proc/meminfo: memFree=1546596/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=142848 CPUtime=1789.64
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 84192 0 0 0 178298 666 0 0 25 0 1 0 23755957 146276352 34675 1992294400 4194304 8395647 140733209053776 18446744073709551615 4220157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27036/statm: 35712 34675 638 1026 0 34682 0
Current children cumulated CPU time (s) 1789.64
Current children cumulated vsize (KiB) 142848

[startup+1790.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27088
/proc/meminfo: memFree=1546596/2059040 swapFree=4143936/4192956
[pid=27036] ppid=27034 vsize=142848 CPUtime=1789.74
/proc/27036/stat : 27036 (pbscip.linux.x8) R 27034 27036 25566 0 -1 4202496 84192 0 0 0 178308 666 0 0 25 0 1 0 23755957 146276352 34675 1992294400 4194304 8395647 140733209053776 18446744073709551615 6063832 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27036/statm: 35712 34675 638 1026 0 34682 0
Current children cumulated CPU time (s) 1789.74
Current children cumulated vsize (KiB) 142848

Child status: 0
Real time (s): 1790.24
CPU time (s): 1789.79
CPU user time (s): 1783.11
CPU system time (s): 6.68498
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 165480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.11
system time used= 6.68498
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84195
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= 3
involuntary context switches= 2768

runsolver used 2.89956 second user time and 8.51271 second system time

The end

Launcher Data 

Begin job on node089 at 2010-07-08 04:17:56
IDJOB=2703634
IDBENCH=2236
IDSOLVER=1213
FILE ID=node089/2703634-1278555476
PBS_JOBID= 11239474
Free space on /tmp= 62556 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-1.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-2703634-1278555476/watcher-2703634-1278555476 -o /tmp/evaluation-result-2703634-1278555476/solver-2703634-1278555476 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703634-1278555476.opb -t 1800 -m 1800

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

MD5SUM BENCH= 65bafde3eb06761afc4fe90b6aa8c264
RANDOM SEED=562600197

node089.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.244
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
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.39
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1685020 kB
Buffers:         52852 kB
Cached:         194680 kB
SwapCached:      40860 kB
Active:         152056 kB
Inactive:       147912 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1685020 kB
SwapTotal:     4192956 kB
SwapFree:      4143936 kB
Dirty:           11060 kB
Writeback:           0 kB
AnonPages:       14648 kB
Mapped:          12008 kB
Slab:            52272 kB
PageTables:       4132 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182408 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= 62548 MiB
End job on node089 at 2010-07-08 04:47:47