Trace number 1869217

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 NameAnswerobjCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2SAT (TO)-28 1800.23 1800.73

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 benchmark1796.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.19/0.24	c SCIP version 1.1.0.7
0.19/0.24	c LP-Solver Clp 1.8.2
0.19/0.24	c user parameter file <scip.set> not found - using default parameters
0.19/0.24	c read problem <HOME/instance-1869217-1245164269.opb>
0.19/0.24	c original problem has 450 variables (450 bin, 0 int, 0 impl, 0 cont) and 17809 constraints
0.19/0.28	c start presolving problem
0.19/0.28	c presolving:
0.39/0.48	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
0.79/0.88	c    (0.6s) probing: 101/450 (22.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.79/0.88	c    (0.6s) probing aborted: 100/100 successive totally useless probings
0.79/0.88	c presolving (2 rounds):
0.79/0.88	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.79/0.88	c  35618 implications, 0 cliques
0.79/0.88	c presolved problem has 450 variables (450 bin, 0 int, 0 impl, 0 cont) and 17809 constraints
0.79/0.88	c   17809 constraints of type <logicor>
0.79/0.88	c transformed objective value is always integral (scale: 1)
0.79/0.88	c Presolving Time: 0.56
0.79/0.88	c strange?!, PURESAT with obj
0.79/0.88	c -----------------------------------------------------------------------------------------------
0.79/0.88	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.88	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.88	c limits/memory = c 1620
0.79/0.88	c # maximal time in seconds to run
0.79/0.88	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.88	c limits/time = c 1791
0.79/0.88	c # frequency for displaying node information lines
0.79/0.88	c # [type: int, range: [-1,2147483647], default: 100]
0.79/0.88	c display/freq = c 10000
0.79/0.88	c -----------------------------------------------------------------------------------------------
0.79/0.88	c start solving problem
0.79/0.88	c 
1.09/1.11	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.09/1.11	c   0.8s|     1 |     0 |   461 |  20M|   0 | 450 | 450 |  17k|  17k| 450 |  17k|   0 |   0 |   0 |-2.250000e+02 |      --      |    Inf 
1.09/1.11	o 0
1.09/1.11	c r 0.8s|     1 |     0 |   461 |  20M|   0 | 450 | 450 |  17k|  17k| 450 |  17k|   0 |   0 |   0 |-2.250000e+02 | 0.000000e+00 | 100.00%
1.09/1.14	o -1
1.09/1.14	c R 0.8s|     1 |     0 |   461 |  20M|   0 | 450 | 450 |  17k|  17k| 450 |  17k|   0 |   0 |   0 |-2.250000e+02 |-1.000000e+00 |  99.56%
1.09/1.17	o -2
1.09/1.17	c s 0.9s|     1 |     0 |   461 |  20M|   0 | 450 | 450 |  17k|  17k| 450 |  17k|   0 |   0 |   0 |-2.250000e+02 |-2.000000e+00 |  99.11%
1.99/2.00	c   1.7s|     1 |     0 |   616 |  20M|   0 | 407 | 450 |  17k|  17k| 450 |  17k|   9 |   0 |   0 |-2.035000e+02 |-2.000000e+00 |  99.02%
1.99/2.02	o -3
1.99/2.02	c R 1.7s|     1 |     0 |   616 |  20M|   0 | 407 | 450 |  17k|  17k| 450 |  17k|   9 |   0 |   0 |-2.035000e+02 |-3.000000e+00 |  98.53%
2.99/3.08	c   2.7s|     1 |     0 |   762 |  20M|   0 | 383 | 450 |  17k|  17k| 450 |  17k|  14 |   0 |   0 |-1.907500e+02 |-3.000000e+00 |  98.43%
4.19/4.21	c   3.9s|     1 |     0 |   885 |  20M|   0 | 352 | 450 |  17k|  17k| 450 |  17k|  24 |   0 |   0 |-1.752500e+02 |-3.000000e+00 |  98.29%
5.50/5.56	c   5.2s|     1 |     0 |  1077 |  20M|   0 | 326 | 450 |  17k|  17k| 450 |  17k|  32 |   0 |   0 |-1.622500e+02 |-3.000000e+00 |  98.15%
6.79/6.90	c   6.5s|     1 |     0 |  1254 |  20M|   0 | 300 | 450 |  17k|  17k| 450 |  17k|  36 |   0 |   0 |-1.500000e+02 |-3.000000e+00 |  98.00%
8.29/8.35	c   8.0s|     1 |     0 |  1486 |  20M|   0 | 274 | 450 |  17k|  17k| 450 |  17k|  44 |   0 |   0 |-1.370000e+02 |-3.000000e+00 |  97.81%
9.99/10.02	c   9.7s|     1 |     0 |  1779 |  20M|   0 | 243 | 450 |  17k|  17k| 450 |  17k|  54 |   0 |   0 |-1.215000e+02 |-3.000000e+00 |  97.53%
9.99/10.04	o -4
9.99/10.04	c R 9.7s|     1 |     0 |  1779 |  20M|   0 | 243 | 450 |  17k|  17k| 450 |  17k|  54 |   0 |   0 |-1.215000e+02 |-4.000000e+00 |  96.71%
9.99/10.05	o -5
9.99/10.05	c s 9.7s|     1 |     0 |  1779 |  20M|   0 | 243 | 450 |  17k|  17k| 450 |  17k|  54 |   0 |   0 |-1.215000e+02 |-5.000000e+00 |  95.88%
11.88/11.90	c  11.5s|     1 |     0 |  2216 |  20M|   0 | 211 | 450 |  17k|  17k| 450 |  17k|  60 |   0 |   0 |-1.055000e+02 |-5.000000e+00 |  95.26%
11.88/11.91	o -6
11.88/11.91	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
11.88/11.91	c R11.5s|     1 |     0 |  2216 |  20M|   0 | 211 | 450 |  17k|  17k| 450 |  17k|  60 |   0 |   0 |-1.055000e+02 |-6.000000e+00 |  94.31%
11.88/11.93	o -7
11.88/11.93	c s11.6s|     1 |     0 |  2216 |  20M|   0 | 211 | 450 |  17k|  17k| 450 |  17k|  60 |   0 |   0 |-1.055000e+02 |-7.000000e+00 |  93.36%
13.29/13.33	c  13.0s|     1 |     0 |  2478 |  20M|   0 | 186 | 450 |  17k|  17k| 450 |  17k|  68 |   0 |   0 |-9.300000e+01 |-7.000000e+00 |  92.47%
14.59/14.65	c  14.3s|     1 |     0 |  2736 |  20M|   0 | 160 | 450 |  17k|  17k| 450 |  17k|  73 |   0 |   0 |-8.000000e+01 |-7.000000e+00 |  91.25%
15.19/15.21	c  14.8s|     1 |     0 |  2859 |  20M|   0 | 148 | 450 |  17k|  17k| 450 |  17k|  78 |   0 |   0 |-7.400000e+01 |-7.000000e+00 |  90.54%
15.89/15.91	c  15.5s|     1 |     0 |  3065 |  20M|   0 | 122 | 450 |  17k|  17k| 450 |  17k|  86 |   0 |   0 |-6.100000e+01 |-7.000000e+00 |  88.52%
16.49/16.53	c  16.1s|     1 |     0 |  3297 |  20M|   0 | 110 | 450 |  17k|  17k| 450 |  17k|  89 |   0 |   0 |-5.500000e+01 |-7.000000e+00 |  87.27%
17.08/17.12	c  16.7s|     1 |     0 |  3505 |  20M|   0 |  82 | 450 |  17k|  17k| 450 |  17k|  98 |   0 |   0 |-4.200000e+01 |-7.000000e+00 |  83.33%
17.49/17.58	c  17.2s|     1 |     0 |  3631 |  20M|   0 |  75 | 450 |  17k|  17k| 450 |  17k| 104 |   0 |   0 |-3.800000e+01 |-7.000000e+00 |  81.58%
17.98/18.02	c  17.6s|     1 |     0 |  3713 |  20M|   0 |  73 | 450 |  17k|  17k| 450 |  17k| 112 |   0 |   0 |-3.450000e+01 |-7.000000e+00 |  79.71%
18.39/18.48	c  18.1s|     1 |     0 |  3763 |  20M|   0 |  75 | 450 |  17k|  17k| 450 |  17k| 120 |   0 |   0 |-3.200000e+01 |-7.000000e+00 |  78.12%
18.89/18.98	c  18.6s|     1 |     0 |  3871 |  20M|   0 |  83 | 450 |  17k|  17k| 450 |  17k| 129 |   0 |   0 |-3.180000e+01 |-7.000000e+00 |  77.99%
19.49/19.53	c  19.1s|     1 |     0 |  4044 |  20M|   0 | 100 | 450 |  17k|  17k| 450 |  17k| 134 |   0 |   0 |-3.000000e+01 |-7.000000e+00 |  76.67%
20.08/20.20	c  19.8s|     1 |     0 |  4228 |  21M|   0 |  97 | 450 |  17k|  17k| 450 |  17k| 149 |   0 |   0 |-3.000000e+01 |-7.000000e+00 |  76.67%
20.68/20.72	c  20.3s|     1 |     0 |  4419 |  21M|   0 | 145 | 450 |  17k|  17k| 450 |  17k| 156 |   0 |   0 |-3.000000e+01 |-7.000000e+00 |  76.67%
22.79/22.87	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
22.79/22.87	c  22.5s|     1 |     0 |  4840 |  21M|   0 | 177 | 450 |  17k|  17k| 450 |  17k| 167 |   0 |   0 |-3.000000e+01 |-7.000000e+00 |  76.67%
24.58/24.63	c  24.2s|     1 |     0 |  5205 |  21M|   0 | 128 | 450 |  17k|  17k| 450 |  17k| 179 |   0 |   0 |-3.000000e+01 |-7.000000e+00 |  76.67%
25.78/25.84	c  25.4s|     1 |     0 |  5550 |  21M|   0 | 112 | 450 |  17k|  17k| 450 |  17k| 188 |   0 |   0 |-3.000000e+01 |-7.000000e+00 |  76.67%
25.78/25.86	o -23
25.78/25.86	c k25.4s|     1 |     0 |  5550 |  21M|   0 | 112 | 450 |  17k|  17k| 450 |  17k| 188 |   0 |   0 |-3.000000e+01 |-2.300000e+01 |  23.33%
27.09/27.19	c  26.7s|     1 |     0 |  5550 |  21M|   0 | 112 | 450 |  17k|  17k| 450 |  17k| 188 |   0 |   0 |-3.000000e+01 |-2.300000e+01 |  23.33%
27.79/27.88	c  27.4s|     1 |     0 |  5758 |  21M|   0 | 162 | 450 |  17k|  17k| 450 |  17k| 197 |   0 |   0 |-3.000000e+01 |-2.300000e+01 |  23.33%
62.36/62.44	c  61.9s|     1 |     2 |  5758 |  21M|   0 | 162 | 450 |  17k|  17k| 450 |  17k| 197 |   0 |  33 |-3.000000e+01 |-2.300000e+01 |  23.33%
115.35/115.46	o -24
115.35/115.46	c * 115s|    12 |     7 |  6996 |  22M|   9 |   - | 450 |  17k|  13k| 450 |  17k| 197 |   0 | 289 |-3.000000e+01 |-2.400000e+01 |  20.00%
138.45/138.52	o -26
138.45/138.52	c * 138s|    23 |    12 |  8397 |  22M|  10 |   - | 450 |  17k|  12k| 450 |  17k| 197 |   0 | 447 |-3.000000e+01 |-2.600000e+01 |  13.33%
183.73/183.81	o -26
183.73/183.81	c C 183s|   223 |    62 | 20114 |  22M|  25 |   - | 450 |  17k|3503 | 450 |  17k| 197 |   0 | 838 |-3.000000e+01 |-2.600000e+01 |  13.33%
183.73/183.83	o -27
183.73/183.83	c k 183s|   223 |    53 | 20114 |  22M|  25 |   - | 450 |  17k|3503 | 450 |  17k| 197 |   0 | 838 |-3.000000e+01 |-2.700000e+01 |  10.00%
337.98/338.13	o -28
337.98/338.13	c l 336s|  1576 |   396 |146665 |  25M|  47 |   - | 450 |  17k|3842 | 450 |  17k| 197 |   0 |1261 |-3.000000e+01 |-2.800000e+01 |   6.67%
975.00/975.35	c   969s| 10000 |  1718 |742691 |  33M| 109 |   - | 450 |  17k|5062 | 450 |  17k| 197 |   0 |2584 |-3.000000e+01 |-2.800000e+01 |   6.67%
1662.92/1663.42	c  1654s| 20000 |  3230 |  1463k|  44M| 109 |  67 | 450 |  17k|6126 | 450 |  17k| 197 |   0 |3590 |-3.000000e+01 |-2.800000e+01 |   6.67%
1800.09/1800.62	c 
1800.09/1800.62	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.62	c Solving Time (sec) : 1790.30
1800.09/1800.62	c Solving Nodes      : 22211
1800.09/1800.62	c Primal Bound       : -2.80000000000000e+01 (437 solutions)
1800.09/1800.62	c Dual Bound         : -3.00000000000000e+01
1800.09/1800.62	c Gap                : 6.67 %
1800.09/1800.63	c NODE         22211
1800.09/1800.63	c DUAL BOUND   -30
1800.09/1800.63	c PRIMAL BOUND -28
1800.09/1800.63	c GAP          0.0666667
1800.09/1800.63	s SATISFIABLE
1800.09/1800.63	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 
1800.09/1800.63	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 
1800.09/1800.63	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 
1800.09/1800.63	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 
1800.09/1800.63	v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 
1800.09/1800.63	v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 
1800.09/1800.63	v -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 
1800.09/1800.63	v -x167 -x168 -x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 
1800.09/1800.63	v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 
1800.09/1800.63	v -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 
1800.09/1800.63	v -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 
1800.09/1800.63	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 
1800.09/1800.63	v -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 
1800.09/1800.63	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 
1800.09/1800.63	v -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 
1800.09/1800.63	v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 
1800.09/1800.63	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 
1800.09/1800.63	v -x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 
1800.09/1800.63	v -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 
1800.09/1800.63	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 
1800.09/1800.63	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 
1800.09/1800.63	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.63	c Solving Time       :    1790.30
1800.09/1800.63	c Original Problem   :
1800.09/1800.63	c   Problem name     : HOME/instance-1869217-1245164269.opb
1800.09/1800.63	c   Variables        : 450 (450 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.63	c   Constraints      : 17809 initial, 17809 maximal
1800.09/1800.63	c Presolved Problem  :
1800.09/1800.63	c   Problem name     : t_HOME/instance-1869217-1245164269.opb
1800.09/1800.63	c   Variables        : 450 (450 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.63	c   Constraints      : 17809 initial, 17809 maximal
1800.09/1800.63	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.09/1800.63	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.63	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.63	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.63	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.63	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.63	c   probing          :       0.38          0          0          0          0          0          0          0          0
1800.09/1800.63	c   logicor          :       0.05          0          0          0          0          0          0          0          0
1800.09/1800.63	c   root node        :          -          0          -          -          0          -          -          -          -
1800.09/1800.63	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.63	c   integral         :          0          0          0      13597          0         82       1094          0          0      25936
1800.09/1800.63	c   logicor          :      17809         25      23622          2          0          0     353544          0          0          0
1800.09/1800.63	c   countsols        :          0          0          0          2          0          0          0          0          0          0
1800.09/1800.63	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.09/1800.63	c   integral         :     346.90       0.00       0.00     346.90       0.00
1800.09/1800.63	c   logicor          :      10.69       0.10      10.57       0.02       0.00
1800.09/1800.63	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.09/1800.63	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.09/1800.63	c   rootredcost      :       0.05          4          0          0
1800.09/1800.63	c   pseudoobj        :       1.00      37919          0          0
1800.09/1800.63	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.09/1800.63	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.09/1800.63	c   infeasible LP    :       1.19       9822          0          0        0.0          0        0.0          0
1800.09/1800.63	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.63	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.63	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.09/1800.63	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.09/1800.63	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.09/1800.63	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.09/1800.63	c   cut pool         :       0.01         24          -          -         79          -    (maximal pool size: 790)
1800.09/1800.63	c   redcost          :       0.74      13788          0        176          0          0
1800.09/1800.63	c   impliedbounds    :       0.03         25          0          0          0          0
1800.09/1800.63	c   intobj           :       0.00          0          0          0          0          0
1800.09/1800.63	c   gomory           :       5.78         25          0          0      12450          0
1800.09/1800.63	c   strongcg         :       3.16         20          0          0       9950          0
1800.09/1800.63	c   cmir             :       2.27         10          0          0          0          0
1800.09/1800.63	c   flowcover        :       2.41         10          0          0          0          0
1800.09/1800.63	c   clique           :       0.16         25          0          0        224          0
1800.09/1800.63	c   zerohalf         :       0.00          0          0          0          0          0
1800.09/1800.63	c   mcf              :       0.02          1          0          0          0          0
1800.09/1800.63	c Pricers            :       Time      Calls       Vars
1800.09/1800.63	c   problem variables:       0.00          0          0
1800.09/1800.63	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.63	c   relpscost        :     346.89      13595         82       1094          0          0      25936
1800.09/1800.63	c   pscost           :       0.00          0          0          0          0          0          0
1800.09/1800.63	c   inference        :       0.00          0          0          0          0          0          0
1800.09/1800.63	c   mostinf          :       0.00          0          0          0          0          0          0
1800.09/1800.63	c   leastinf         :       0.00          0          0          0          0          0          0
1800.09/1800.63	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.09/1800.63	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.09/1800.63	c   random           :       0.00          0          0          0          0          0          0
1800.09/1800.63	c Primal Heuristics  :       Time      Calls      Found
1800.09/1800.63	c   LP solutions     :       0.00          -          2
1800.09/1800.63	c   pseudo solutions :       0.00          -          0
1800.09/1800.63	c   feaspump         :       0.00          0          0
1800.09/1800.63	c   intshifting      :       0.00          0          0
1800.09/1800.63	c   oneopt           :       0.05          5          2
1800.09/1800.63	c   guideddiving     :      15.95         20          8
1800.09/1800.63	c   linesearchdiving :       3.97         20         16
1800.09/1800.63	c   coefdiving       :      14.53         21          6
1800.09/1800.63	c   pscostdiving     :       5.46         21          7
1800.09/1800.63	c   fracdiving       :      12.05         21          5
1800.09/1800.63	c   veclendiving     :       6.68         21          3
1800.09/1800.63	c   objpscostdiving  :       5.48         11         76
1800.09/1800.63	c   rootsoldiving    :       5.09         11         39
1800.09/1800.63	c   crossover        :       1.07          9          1
1800.09/1800.63	c   simplerounding   :       0.89      13620        258
1800.09/1800.63	c   rounding         :      25.14       8972          4
1800.09/1800.63	c   shifting         :       4.89       1416          9
1800.09/1800.63	c   fixandinfer      :       0.00          0          0
1800.09/1800.63	c   intdiving        :       0.00          0          0
1800.09/1800.63	c   actconsdiving    :       0.00          0          0
1800.09/1800.63	c   octane           :       0.00          0          0
1800.09/1800.63	c   rens             :       1.25          1          1
1800.09/1800.63	c   rins             :       0.00          0          0
1800.09/1800.63	c   localbranching   :       0.00          0          0
1800.09/1800.63	c   mutation         :       0.00          0          0
1800.09/1800.63	c   dins             :       0.00          0          0
1800.09/1800.63	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.09/1800.63	c   primal LP        :       0.37          0          0       0.00       0.00
1800.09/1800.63	c   dual LP          :    1233.80      22781    1553299      68.18    1258.96
1800.09/1800.63	c   barrier LP       :       0.00          0          0       0.00          -
1800.09/1800.63	c   diving/probing LP:      64.56       1648      64957      39.42    1006.15
1800.09/1800.63	c   strong branching :     346.10       3630     437533     120.53    1264.18
1800.09/1800.63	c     (at root node) :          -         33      14004     424.36          -
1800.09/1800.63	c   conflict analysis:       0.00          0          0       0.00          -
1800.09/1800.63	c B&B Tree           :
1800.09/1800.63	c   number of runs   :          1
1800.09/1800.63	c   nodes            :      22211
1800.09/1800.63	c   nodes (total)    :      22211
1800.09/1800.63	c   nodes left       :       3509
1800.09/1800.63	c   max depth        :        109
1800.09/1800.63	c   max depth (total):        109
1800.09/1800.63	c   backtracks       :       2050 (9.2%)
1800.09/1800.63	c   delayed cutoffs  :          0
1800.09/1800.63	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.09/1800.63	c   avg switch length:       3.49
1800.09/1800.63	c   switching time   :       9.62
1800.09/1800.63	c Solution           :
1800.09/1800.63	c   Solutions found  :        437 (14 improvements)
1800.09/1800.63	c   Primal Bound     : -2.80000000000000e+01   (in run 1, after 1576 nodes, 336.29 seconds, depth 18, found by <linesearchdiving>)
1800.09/1800.63	c   Dual Bound       : -3.00000000000000e+01
1800.09/1800.63	c   Gap              :       6.67 %
1800.09/1800.63	c   Root Dual Bound  : -3.00000000000000e+01
1800.19/1800.73	c Time complete: 1800.22.

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-1869217-1245164269/watcher-1869217-1245164269 -o /tmp/evaluation-result-1869217-1245164269/solver-1869217-1245164269 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869217-1245164269.opb 

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 1.00 0.99 3/64 11689
/proc/meminfo: memFree=1847920/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=5812 CPUtime=0
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 519 0 0 0 0 0 0 0 18 0 1 0 69129753 5951488 503 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/11689/statm: 1453 516 345 1256 0 192 0

[startup+0.021711 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 11689
/proc/meminfo: memFree=1847920/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=10892 CPUtime=0.01
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 1691 0 0 0 1 0 0 0 18 0 1 0 69129753 11153408 1675 1992294400 4194304 9342243 548682068736 18446744073709551615 8251083 0 0 4096 0 0 0 0 17 1 0 0
/proc/11689/statm: 2723 1675 378 1256 0 1462 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10892

[startup+0.101721 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 11689
/proc/meminfo: memFree=1847920/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=13760 CPUtime=0.09
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 2409 0 0 0 8 1 0 0 18 0 1 0 69129753 14090240 2393 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/11689/statm: 3440 2393 378 1256 0 2179 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13760

[startup+0.301743 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 11689
/proc/meminfo: memFree=1847920/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=31204 CPUtime=0.29
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 6963 0 0 0 26 3 0 0 19 0 1 0 69129753 31952896 6593 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 7801 6593 459 1256 0 6540 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31204

[startup+0.701789 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 11689
/proc/meminfo: memFree=1847920/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=39264 CPUtime=0.69
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 8986 0 0 0 62 7 0 0 22 0 1 0 69129753 40206336 8616 1992294400 4194304 9342243 548682068736 18446744073709551615 5102406 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 9816 8616 479 1256 0 8555 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39264

[startup+1.50188 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11690
/proc/meminfo: memFree=1800680/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=67564 CPUtime=1.49
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 14033 0 0 0 139 10 0 0 25 0 1 0 69129753 69185536 13148 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 16891 13148 626 1256 0 15630 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67564

[startup+3.10107 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11690
/proc/meminfo: memFree=1794792/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=68524 CPUtime=3.09
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 15105 0 0 0 297 12 0 0 25 0 1 0 69129753 70168576 14220 1992294400 4194304 9342243 548682068736 18446744073709551615 4685941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 17131 14220 644 1256 0 15870 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 68524

[startup+6.30244 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11690
/proc/meminfo: memFree=1790376/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=69208 CPUtime=6.29
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 15858 0 0 0 616 13 0 0 25 0 1 0 69129753 70868992 14973 1992294400 4194304 9342243 548682068736 18446744073709551615 5597699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 17302 14973 646 1256 0 16041 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 69208

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11690
/proc/meminfo: memFree=1787696/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=69208 CPUtime=12.69
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 16471 0 0 0 1254 15 0 0 25 0 1 0 69129753 70868992 15586 1992294400 4194304 9342243 548682068736 18446744073709551615 5597699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 17302 15586 647 1256 0 16041 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 69208

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11690
/proc/meminfo: memFree=1783664/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=78680 CPUtime=25.49
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 18842 0 0 0 2530 19 0 0 25 0 1 0 69129753 80568320 16776 1992294400 4194304 9342243 548682068736 18446744073709551615 6960594 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 19670 16776 661 1256 0 18409 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 78680

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11690
/proc/meminfo: memFree=1782448/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=87460 CPUtime=51.07
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 25777 0 0 0 5078 29 0 0 25 0 1 0 69129753 89559040 16957 1992294400 4194304 9342243 548682068736 18446744073709551615 6960260 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 21865 16957 693 1256 0 20604 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 87460

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11692
/proc/meminfo: memFree=1782704/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=84872 CPUtime=102.25
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 39646 0 0 0 10183 42 0 0 25 0 1 0 69129753 86908928 16895 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 21218 16895 693 1256 0 19957 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 84872

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11692
/proc/meminfo: memFree=1782000/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=82988 CPUtime=162.24
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 70528 0 0 0 16149 75 0 0 25 0 1 0 69129753 84979712 17045 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 20747 17045 697 1256 0 19486 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 82988

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11698
/proc/meminfo: memFree=1782440/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=77476 CPUtime=222.21
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 109213 0 0 0 22114 107 0 0 25 0 1 0 69129753 79335424 16893 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 19369 16893 703 1256 0 18108 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 77476

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11698
/proc/meminfo: memFree=1778728/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=80704 CPUtime=282.2
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 135727 0 0 0 28087 133 0 0 25 0 1 0 69129753 82640896 17793 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 20176 17793 703 1256 0 18915 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 80704

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11698
/proc/meminfo: memFree=1777448/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=81968 CPUtime=342.17
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 143098 0 0 0 34068 149 0 0 25 0 1 0 69129753 83935232 18148 1992294400 4194304 9342243 548682068736 18446744073709551615 6910934 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 20492 18148 703 1256 0 19231 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 81968

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11698
/proc/meminfo: memFree=1777128/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=81952 CPUtime=402.16
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 158529 0 0 0 40044 172 0 0 25 0 1 0 69129753 83918848 18258 1992294400 4194304 9342243 548682068736 18446744073709551615 5888894 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 20488 18258 703 1256 0 19227 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 81952

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11698
/proc/meminfo: memFree=1777704/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=81796 CPUtime=462.15
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 171818 0 0 0 46022 193 0 0 25 0 1 0 69129753 83759104 18111 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 20449 18111 703 1256 0 19188 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 81796

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11698
/proc/meminfo: memFree=1777328/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=82820 CPUtime=522.13
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 198011 0 0 0 51994 219 0 0 25 0 1 0 69129753 84807680 18220 1992294400 4194304 9342243 548682068736 18446744073709551615 6238474 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 20705 18220 703 1256 0 19444 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 82820

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11698
/proc/meminfo: memFree=1777264/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=83000 CPUtime=582.11
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 242743 0 0 0 57950 261 0 0 25 0 1 0 69129753 84992000 18213 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 20750 18213 703 1256 0 19489 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 83000

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11698
/proc/meminfo: memFree=1777136/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=82184 CPUtime=642.1
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 296802 0 0 0 63905 305 0 0 25 0 1 0 69129753 84156416 18236 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 20546 18236 703 1256 0 19285 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 82184

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11698
/proc/meminfo: memFree=1774768/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=86660 CPUtime=882.03
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 614967 0 0 0 87676 527 0 0 25 0 1 0 69129753 88739840 18868 1992294400 4194304 9342243 548682068736 18446744073709551615 7289219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 21665 18868 703 1256 0 20404 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 86660

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11698
/proc/meminfo: memFree=1772272/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=86668 CPUtime=942.02
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 650608 0 0 0 93644 558 0 0 25 0 1 0 69129753 88748032 19385 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 21667 19385 703 1256 0 20406 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 86668

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11698
/proc/meminfo: memFree=1770672/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=88224 CPUtime=1002
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 687561 0 0 0 99612 588 0 0 25 0 1 0 69129753 90341376 19764 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 22056 19764 703 1256 0 20795 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 88224

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11698
/proc/meminfo: memFree=1769520/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=88948 CPUtime=1061.98
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 694869 0 0 0 105595 603 0 0 25 0 1 0 69129753 91082752 20078 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 22237 20078 703 1256 0 20976 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 88948

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11698
/proc/meminfo: memFree=1767152/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=99116 CPUtime=1121.97
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 708527 0 0 0 111578 619 0 0 25 0 1 0 69129753 101494784 20662 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 24779 20662 703 1256 0 23518 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 99116

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11698
/proc/meminfo: memFree=1767344/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=99972 CPUtime=1181.96
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 764692 0 0 0 117537 659 0 0 25 0 1 0 69129753 102371328 20752 1992294400 4194304 9342243 548682068736 18446744073709551615 6983475 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 24993 20752 703 1256 0 23732 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 99972

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11698
/proc/meminfo: memFree=1766192/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=91456 CPUtime=1241.93
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 800228 0 0 0 123506 687 0 0 25 0 1 0 69129753 93650944 20865 1992294400 4194304 9342243 548682068736 18446744073709551615 7288848 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 22864 20865 703 1256 0 21603 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 91456

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11698
/proc/meminfo: memFree=1764976/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=94204 CPUtime=1301.93
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 813555 0 0 0 129487 706 0 0 25 0 1 0 69129753 96464896 21181 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 23551 21181 703 1256 0 22290 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 94204

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11698
/proc/meminfo: memFree=1765488/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=93948 CPUtime=1361.91
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 845801 0 0 0 135458 733 0 0 25 0 1 0 69129753 96202752 21117 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 23487 21117 703 1256 0 22226 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 93948

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11698
/proc/meminfo: memFree=1762160/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=95844 CPUtime=1421.89
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 884466 0 0 0 141425 764 0 0 25 0 1 0 69129753 98144256 21858 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 23961 21858 703 1256 0 22700 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 95844

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11698
/proc/meminfo: memFree=1761008/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=96088 CPUtime=1481.87
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 892218 0 0 0 147408 779 0 0 25 0 1 0 69129753 98394112 22107 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 24022 22107 703 1256 0 22761 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 96088

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11698
/proc/meminfo: memFree=1761648/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=105260 CPUtime=1541.86
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 915022 0 0 0 153383 803 0 0 25 0 1 0 69129753 107786240 22299 1992294400 4194304 9342243 548682068736 18446744073709551615 6018057 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 26315 22299 703 1256 0 25054 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 105260

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11698
/proc/meminfo: memFree=1761392/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=96668 CPUtime=1601.84
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 963739 0 0 0 159346 838 0 0 25 0 1 0 69129753 98988032 22110 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 24167 22110 703 1256 0 22906 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 96668

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11698
/proc/meminfo: memFree=1760752/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=99484 CPUtime=1661.83
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 1017538 0 0 0 165304 879 0 0 25 0 1 0 69129753 101871616 22364 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 24871 22364 703 1256 0 23610 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 99484

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11698
/proc/meminfo: memFree=1760496/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=97840 CPUtime=1721.81
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 1075973 0 0 0 171259 922 0 0 25 0 1 0 69129753 100188160 22407 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 24460 22407 703 1256 0 23199 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 97840

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11698
/proc/meminfo: memFree=1756912/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=102644 CPUtime=1781.8
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 1108397 0 0 0 177228 952 0 0 25 0 1 0 69129753 105107456 23182 1992294400 4194304 9342243 548682068736 18446744073709551615 6242879 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 25661 23182 703 1256 0 24400 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 102644



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11698
/proc/meminfo: memFree=1756912/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=102652 CPUtime=1800.09
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 1114916 0 0 0 179050 959 0 0 25 0 1 0 69129753 105115648 23134 1992294400 4194304 9342243 548682068736 18446744073709551615 6976802 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11689/statm: 25663 23134 703 1256 0 24402 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 102652

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11698
/proc/meminfo: memFree=1756912/2055920 swapFree=4192952/4192956
[pid=11689] ppid=11687 vsize=94900 CPUtime=1800.19
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11328 0 -1 4194304 1114917 0 0 0 179060 959 0 0 17 0 1 0 69129753 97177600 22644 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/11689/statm: 23725 22644 2222 1256 0 22464 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 94900

Child status: 0
Real time (s): 1800.73
CPU time (s): 1800.23
CPU user time (s): 1790.61
CPU system time (s): 9.61554
CPU usage (%): 99.972
Max. virtual memory (cumulated for all children) (KiB): 114048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.61
system time used= 9.61554
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1114920
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 2290

runsolver used 1.40978 second user time and 3.74543 second system time

The end

Launcher Data 

Begin job on node20 at 2009-06-16 16:57:49
IDJOB=1869217
IDBENCH=2239
IDSOLVER=684
FILE ID=node20/1869217-1245164269
PBS_JOBID= 9363802
Free space on /tmp= 66324 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
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-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869217-1245164269/watcher-1869217-1245164269 -o /tmp/evaluation-result-1869217-1245164269/solver-1869217-1245164269 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869217-1245164269.opb

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

MD5SUM BENCH= 8e251d4e151b2868eb3a52cf845e4cf8
RANDOM SEED=173966043

node20.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.234
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.234
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1848336 kB
Buffers:         33452 kB
Cached:          87856 kB
SwapCached:          4 kB
Active:          64868 kB
Inactive:        69840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1848336 kB
SwapTotal:     4192956 kB
SwapFree:      4192952 kB
Dirty:           12140 kB
Writeback:           0 kB
Mapped:          23232 kB
Slab:            58888 kB
Committed_AS:   131908 kB
PageTables:       1400 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66312 MiB
End job on node20 at 2009-06-16 17:27:52