Trace number 1869281

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-31 1795.68 1796.22

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb
MD5SUM7f24dba3f3d4b877b96bd50f5b27c089
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-31
Best CPU time to get the best result obtained on this benchmark1795.64
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -35
Optimality of the best value was proved YES
Number of variables595
Total number of constraints28143
Number of constraints which are clauses28143
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 595
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 595
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 595
Number of bits of the biggest sum of numbers10
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.29/0.38	c SCIP version 1.1.0.7
0.29/0.38	c LP-Solver Clp 1.8.2
0.29/0.38	c user parameter file <scip.set> not found - using default parameters
0.29/0.38	c read problem <HOME/instance-1869281-1245168637.opb>
0.29/0.38	c original problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 28143 constraints
0.39/0.44	c start presolving problem
0.39/0.44	c presolving:
0.69/0.76	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 28143 upgd conss, 56286 impls, 0 clqs
1.39/1.44	c    (1.0s) probing: 101/595 (17.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.39/1.44	c    (1.0s) probing aborted: 100/100 successive totally useless probings
1.39/1.44	c presolving (2 rounds):
1.39/1.44	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.39/1.44	c  56286 implications, 0 cliques
1.39/1.44	c presolved problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 28143 constraints
1.39/1.44	c   28143 constraints of type <logicor>
1.39/1.44	c transformed objective value is always integral (scale: 1)
1.39/1.44	c Presolving Time: 0.92
1.39/1.44	c strange?!, PURESAT with obj
1.39/1.44	c -----------------------------------------------------------------------------------------------
1.39/1.44	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.39/1.44	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.44	c limits/memory = c 1620
1.39/1.44	c # maximal time in seconds to run
1.39/1.44	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.44	c limits/time = c 1791
1.39/1.44	c # frequency for displaying node information lines
1.39/1.44	c # [type: int, range: [-1,2147483647], default: 100]
1.39/1.44	c display/freq = c 10000
1.39/1.44	c -----------------------------------------------------------------------------------------------
1.39/1.44	c start solving problem
1.39/1.44	c 
1.79/1.89	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.79/1.89	c   1.4s|     1 |     0 |   601 |  32M|   0 | 595 | 595 |  28k|  28k| 595 |  28k|   0 |   0 |   0 |-2.975000e+02 |      --      |    Inf 
1.79/1.90	o 0
1.79/1.90	c r 1.4s|     1 |     0 |   601 |  32M|   0 | 595 | 595 |  28k|  28k| 595 |  28k|   0 |   0 |   0 |-2.975000e+02 | 0.000000e+00 | 100.00%
1.89/1.94	o -1
1.89/1.94	c R 1.4s|     1 |     0 |   601 |  32M|   0 | 595 | 595 |  28k|  28k| 595 |  28k|   0 |   0 |   0 |-2.975000e+02 |-1.000000e+00 |  99.66%
4.19/4.21	c   3.7s|     1 |     0 |   899 |  32M|   0 | 549 | 595 |  28k|  28k| 595 |  28k|   7 |   0 |   0 |-2.745000e+02 |-1.000000e+00 |  99.64%
5.99/6.10	c   5.5s|     1 |     0 |  1057 |  32M|   0 | 519 | 595 |  28k|  28k| 595 |  28k|  14 |   0 |   0 |-2.595000e+02 |-1.000000e+00 |  99.61%
7.98/8.06	c   7.5s|     1 |     0 |  1201 |  32M|   0 | 489 | 595 |  28k|  28k| 595 |  28k|  22 |   0 |   0 |-2.433333e+02 |-1.000000e+00 |  99.59%
10.69/10.72	c  10.2s|     1 |     0 |  1449 |  32M|   0 | 457 | 595 |  28k|  28k| 595 |  28k|  30 |   0 |   0 |-2.273333e+02 |-1.000000e+00 |  99.56%
13.29/13.32	c  12.8s|     1 |     0 |  1674 |  32M|   0 | 422 | 595 |  28k|  28k| 595 |  28k|  41 |   0 |   0 |-2.098750e+02 |-1.000000e+00 |  99.52%
16.79/16.89	c  16.3s|     1 |     0 |  2018 |  32M|   0 | 390 | 595 |  28k|  28k| 595 |  28k|  48 |   0 |   0 |-1.942500e+02 |-1.000000e+00 |  99.49%
20.98/21.07	c  20.5s|     1 |     0 |  2545 |  32M|   0 | 352 | 595 |  28k|  28k| 595 |  28k|  54 |   0 |   0 |-1.752500e+02 |-1.000000e+00 |  99.43%
25.29/25.34	c  24.8s|     1 |     0 |  3000 |  32M|   0 | 322 | 595 |  28k|  28k| 595 |  28k|  59 |   0 |   0 |-1.602500e+02 |-1.000000e+00 |  99.38%
29.18/29.21	c  28.6s|     1 |     0 |  3439 |  32M|   0 | 279 | 595 |  28k|  28k| 595 |  28k|  66 |   0 |   0 |-1.387500e+02 |-1.000000e+00 |  99.28%
29.18/29.23	o -2
29.18/29.23	c R28.6s|     1 |     0 |  3439 |  32M|   0 | 279 | 595 |  28k|  28k| 595 |  28k|  66 |   0 |   0 |-1.387500e+02 |-2.000000e+00 |  98.56%
32.28/32.34	c  31.8s|     1 |     0 |  3731 |  32M|   0 | 248 | 595 |  28k|  28k| 595 |  28k|  75 |   0 |   0 |-1.232500e+02 |-2.000000e+00 |  98.38%
34.18/34.25	c  33.6s|     1 |     0 |  4135 |  32M|   0 | 219 | 595 |  28k|  28k| 595 |  28k|  80 |   0 |   0 |-1.087500e+02 |-2.000000e+00 |  98.16%
36.08/36.15	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
36.08/36.15	c  35.5s|     1 |     0 |  4536 |  32M|   0 | 190 | 595 |  28k|  28k| 595 |  28k|  89 |   0 |   0 |-9.425000e+01 |-2.000000e+00 |  97.88%
37.18/37.29	c  36.7s|     1 |     0 |  4788 |  32M|   0 | 159 | 595 |  28k|  28k| 595 |  28k|  94 |   0 |   0 |-7.950000e+01 |-2.000000e+00 |  97.48%
39.68/39.73	c  39.1s|     1 |     0 |  5464 |  32M|   0 | 129 | 595 |  28k|  28k| 595 |  28k|  98 |   0 |   0 |-6.450000e+01 |-2.000000e+00 |  96.90%
40.88/40.92	c  40.3s|     1 |     0 |  5775 |  32M|   0 | 102 | 595 |  28k|  28k| 595 |  28k| 107 |   0 |   0 |-5.100000e+01 |-2.000000e+00 |  96.08%
41.87/41.94	c  41.3s|     1 |     0 |  6023 |  32M|   0 |  88 | 595 |  28k|  28k| 595 |  28k| 116 |   0 |   0 |-4.400000e+01 |-2.000000e+00 |  95.45%
42.88/42.93	c  42.3s|     1 |     0 |  6225 |  32M|   0 |  93 | 595 |  28k|  28k| 595 |  28k| 121 |   0 |   0 |-3.760000e+01 |-2.000000e+00 |  94.68%
43.58/43.60	c  43.0s|     1 |     0 |  6287 |  32M|   0 |  93 | 595 |  28k|  28k| 595 |  28k| 130 |   0 |   0 |-3.500000e+01 |-2.000000e+00 |  94.29%
44.28/44.33	c  43.7s|     1 |     0 |  6362 |  32M|   0 |  97 | 595 |  28k|  28k| 595 |  28k| 142 |   0 |   0 |-3.500000e+01 |-2.000000e+00 |  94.29%
45.08/45.16	c  44.5s|     1 |     0 |  6472 |  32M|   0 |  99 | 595 |  28k|  28k| 595 |  28k| 152 |   0 |   0 |-3.500000e+01 |-2.000000e+00 |  94.29%
45.08/45.18	o -2
45.08/45.18	c s44.6s|     1 |     0 |  6472 |  32M|   0 |  99 | 595 |  28k|  28k| 595 |  28k| 152 |   0 |   0 |-3.500000e+01 |-2.000000e+00 |  94.29%
46.67/46.77	c  46.1s|     1 |     0 |  6573 |  32M|   0 | 105 | 595 |  28k|  28k| 595 |  28k| 163 |   0 |   0 |-3.500000e+01 |-2.000000e+00 |  94.29%
47.38/47.44	c  46.8s|     1 |     0 |  6652 |  32M|   0 | 104 | 595 |  28k|  28k| 595 |  28k| 173 |   0 |   0 |-3.500000e+01 |-2.000000e+00 |  94.29%
48.28/48.31	c  47.7s|     1 |     0 |  6766 |  32M|   0 | 131 | 595 |  28k|  28k| 595 |  28k| 185 |   0 |   0 |-3.500000e+01 |-2.000000e+00 |  94.29%
48.28/48.35	o -25
48.28/48.35	c k47.7s|     1 |     0 |  6766 |  32M|   0 | 131 | 595 |  28k|  28k| 595 |  28k| 185 |   0 |   0 |-3.500000e+01 |-2.500000e+01 |  28.57%
49.97/50.06	c  49.4s|     1 |     0 |  6766 |  32M|   0 | 131 | 595 |  28k|  28k| 595 |  28k| 185 |   0 |   0 |-3.500000e+01 |-2.500000e+01 |  28.57%
57.27/57.36	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
57.27/57.36	c  56.6s|     1 |     0 |  7366 |  33M|   0 | 177 | 595 |  28k|  28k| 595 |  28k| 194 |   0 |   0 |-3.500000e+01 |-2.500000e+01 |  28.57%
91.57/91.65	c  90.9s|     1 |     2 |  7366 |  33M|   0 | 177 | 595 |  28k|  28k| 595 |  28k| 194 |   0 |  33 |-3.500000e+01 |-2.500000e+01 |  28.57%
162.84/162.92	o -26
162.84/162.92	c * 162s|    15 |    14 |  8661 |  33M|  14 |   - | 595 |  28k|  26k| 595 |  28k| 194 |   0 | 344 |-3.500000e+01 |-2.600000e+01 |  25.71%
176.23/176.39	o -27
176.23/176.39	c * 175s|    23 |    18 |  9617 |  33M|  14 |   - | 595 |  28k|  15k| 595 |  28k| 194 |   0 | 517 |-3.500000e+01 |-2.700000e+01 |  22.86%
224.62/224.72	o -28
224.62/224.72	c c 224s|    35 |    29 | 11268 |  34M|  14 |   - | 595 |  28k|  25k| 595 |  28k| 194 |   0 | 730 |-3.500000e+01 |-2.800000e+01 |  20.00%
258.21/258.38	o -29
258.21/258.38	c f 257s|    72 |    53 | 14736 |  34M|  15 |   - | 595 |  28k|  23k| 595 |  28k| 194 |   0 | 978 |-3.500000e+01 |-2.900000e+01 |  17.14%
260.61/260.73	o -30
260.61/260.73	c R 260s|    85 |    57 | 15678 |  34M|  17 |   - | 595 |  28k|  13k| 595 |  28k| 194 |   0 | 987 |-3.500000e+01 |-3.000000e+01 |  14.29%
541.13/541.35	o -31
541.13/541.35	c p 540s|  1778 |   956 |177109 |  42M|  57 |   - | 595 |  28k|  10k| 595 |  28k| 194 |   0 |1432 |-3.500000e+01 |-3.100000e+01 |  11.43%
1778.85/1779.47	c  1775s| 10000 |  5814 |974259 |  83M|  68 |  52 | 595 |  28k|9472 | 595 |  28k| 194 |   0 |2985 |-3.500000e+01 |-3.100000e+01 |  11.43%
1795.45/1796.05	c 
1795.45/1796.05	c SCIP Status        : solving was interrupted [time limit reached]
1795.45/1796.05	c Solving Time (sec) : 1791.00
1795.45/1796.05	c Solving Nodes      : 10170
1795.45/1796.05	c Primal Bound       : -3.10000000000000e+01 (511 solutions)
1795.45/1796.05	c Dual Bound         : -3.50000000000000e+01
1795.45/1796.05	c Gap                : 11.43 %
1795.45/1796.06	c NODE         10170
1795.45/1796.06	c DUAL BOUND   -35
1795.45/1796.06	c PRIMAL BOUND -31
1795.45/1796.06	c GAP          0.114286
1795.45/1796.06	s SATISFIABLE
1795.45/1796.06	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 
1795.45/1796.06	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 
1795.45/1796.06	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 
1795.45/1796.06	v -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 
1795.45/1796.06	v -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 
1795.45/1796.06	v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 
1795.45/1796.06	v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 
1795.45/1796.06	v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 
1795.45/1796.06	v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 
1795.45/1796.06	v -x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 
1795.45/1796.06	v -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 
1795.45/1796.06	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 
1795.45/1796.06	v -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 
1795.45/1796.06	v -x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 
1795.45/1796.06	v -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 
1795.45/1796.06	v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 
1795.45/1796.06	v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 
1795.45/1796.06	v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 
1795.45/1796.06	v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 
1795.45/1796.06	v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 
1795.45/1796.06	v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 
1795.45/1796.06	v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 
1795.45/1796.06	v -x482 x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 
1795.45/1796.06	v -x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 
1795.45/1796.07	v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 
1795.45/1796.07	v -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 
1795.45/1796.07	v -x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 
1795.45/1796.07	v -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 
1795.45/1796.07	c SCIP Status        : solving was interrupted [time limit reached]
1795.45/1796.07	c Solving Time       :    1791.00
1795.45/1796.07	c Original Problem   :
1795.45/1796.07	c   Problem name     : HOME/instance-1869281-1245168637.opb
1795.45/1796.07	c   Variables        : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.45/1796.07	c   Constraints      : 28143 initial, 28143 maximal
1795.45/1796.07	c Presolved Problem  :
1795.45/1796.07	c   Problem name     : t_HOME/instance-1869281-1245168637.opb
1795.45/1796.07	c   Variables        : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.45/1796.07	c   Constraints      : 28143 initial, 28143 maximal
1795.45/1796.07	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1795.45/1796.07	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1795.45/1796.07	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1795.45/1796.07	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1795.45/1796.07	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1795.45/1796.07	c   implics          :       0.00          0          0          0          0          0          0          0          0
1795.45/1796.07	c   probing          :       0.63          0          0          0          0          0          0          0          0
1795.45/1796.07	c   logicor          :       0.09          0          0          0          0          0          0          0          0
1795.45/1796.07	c   root node        :          -          0          -          -          0          -          -          -          -
1795.45/1796.07	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1795.45/1796.07	c   integral         :          0          0          0       8234          0          9        230          0          0      16242
1795.45/1796.07	c   logicor          :      28143         24      14624          2          1          0     231306          0          0          0
1795.45/1796.07	c   countsols        :          0          0          0          2          1          0          0          0          0          0
1795.45/1796.07	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1795.45/1796.07	c   integral         :     373.48       0.00       0.00     373.48       0.00
1795.45/1796.07	c   logicor          :      10.60       0.16      10.44       0.00       0.00
1795.45/1796.07	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1795.45/1796.07	c Propagators        :       Time      Calls    Cutoffs    DomReds
1795.45/1796.07	c   rootredcost      :       0.00          6          0          0
1795.45/1796.07	c   pseudoobj        :       0.94      25988          0          0
1795.45/1796.07	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1795.45/1796.07	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1795.45/1796.07	c   infeasible LP    :       0.55       4231          0          0        0.0          0        0.0          0
1795.45/1796.07	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1795.45/1796.07	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1795.45/1796.07	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1795.45/1796.07	c   applied globally :          -          -          -          0        0.0          -          -          -
1795.45/1796.07	c   applied locally  :          -          -          -          0        0.0          -          -          -
1795.45/1796.07	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1795.45/1796.07	c   cut pool         :       0.01         23          -          -         57          -    (maximal pool size: 639)
1795.45/1796.07	c   redcost          :       0.56       8289          0         42          0          0
1795.45/1796.07	c   impliedbounds    :       0.00         24          0          0          0          0
1795.45/1796.07	c   intobj           :       0.00          0          0          0          0          0
1795.45/1796.07	c   gomory           :      12.81         24          0          0      12000          0
1795.45/1796.07	c   strongcg         :       4.98         20          0          0      10000          0
1795.45/1796.07	c   cmir             :       5.17         10          0          0          0          0
1795.45/1796.07	c   flowcover        :       5.90         10          0          0          0          0
1795.45/1796.07	c   clique           :       0.47         24          0          0        214          0
1795.45/1796.07	c   zerohalf         :       0.00          0          0          0          0          0
1795.45/1796.07	c   mcf              :       0.04          1          0          0          0          0
1795.45/1796.07	c Pricers            :       Time      Calls       Vars
1795.45/1796.07	c   problem variables:       0.00          0          0
1795.45/1796.07	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1795.45/1796.07	c   relpscost        :     373.40       8232          9        230          0          0      16242
1795.45/1796.07	c   pscost           :       0.00          0          0          0          0          0          0
1795.45/1796.07	c   inference        :       0.00          1          0          0          0          0          2
1795.45/1796.07	c   mostinf          :       0.00          0          0          0          0          0          0
1795.45/1796.07	c   leastinf         :       0.00          0          0          0          0          0          0
1795.45/1796.07	c   fullstrong       :       0.00          0          0          0          0          0          0
1795.45/1796.07	c   allfullstrong    :       0.00          0          0          0          0          0          0
1795.45/1796.07	c   random           :       0.00          0          0          0          0          0          0
1795.45/1796.07	c Primal Heuristics  :       Time      Calls      Found
1795.45/1796.07	c   LP solutions     :       0.01          -          2
1795.45/1796.07	c   pseudo solutions :       0.00          -          0
1795.45/1796.07	c   feaspump         :       0.00          0          0
1795.45/1796.07	c   oneopt           :       0.08          7          1
1795.45/1796.07	c   crossover        :       1.78          9          5
1795.45/1796.07	c   coefdiving       :      52.80         73         23
1795.45/1796.07	c   fracdiving       :      62.16         73         17
1795.45/1796.07	c   guideddiving     :      71.92         73          8
1795.45/1796.07	c   pscostdiving     :      28.08         73         20
1795.45/1796.07	c   linesearchdiving :      28.16         73          8
1795.45/1796.07	c   veclendiving     :      45.69         73          2
1795.45/1796.07	c   objpscostdiving  :      22.10         37        118
1795.45/1796.07	c   rootsoldiving    :      23.71         37         75
1795.45/1796.07	c   simplerounding   :       0.83       8257        221
1795.45/1796.07	c   rounding         :      24.01       5828          3
1795.45/1796.07	c   shifting         :       4.46        885          7
1795.45/1796.07	c   intshifting      :       0.00          0          0
1795.45/1796.07	c   fixandinfer      :       0.00          0          0
1795.45/1796.07	c   intdiving        :       0.00          0          0
1795.45/1796.07	c   actconsdiving    :       0.00          0          0
1795.45/1796.07	c   octane           :       0.00          0          0
1795.45/1796.07	c   rens             :       1.63          1          1
1795.45/1796.07	c   rins             :       0.00          0          0
1795.45/1796.07	c   localbranching   :       0.00          0          0
1795.45/1796.07	c   mutation         :       0.00          0          0
1795.45/1796.07	c   dins             :       0.00          0          0
1795.45/1796.07	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1795.45/1796.07	c   primal LP        :       0.45          0          0       0.00       0.00
1795.45/1796.07	c   dual LP          :     936.39      10296     802091      77.90     856.58
1795.45/1796.07	c   barrier LP       :       0.00          0          0       0.00          -
1795.45/1796.07	c   diving/probing LP:     308.21       6226     184007      29.55     597.02
1795.45/1796.07	c   strong branching :     372.90       2987     320003     107.13     858.15
1795.45/1796.07	c     (at root node) :          -         33      11391     345.18          -
1795.45/1796.07	c   conflict analysis:       0.00          0          0       0.00          -
1795.45/1796.07	c B&B Tree           :
1795.45/1796.07	c   number of runs   :          1
1795.45/1796.07	c   nodes            :      10170
1795.45/1796.07	c   nodes (total)    :      10170
1795.45/1796.07	c   nodes left       :       5894
1795.45/1796.07	c   max depth        :         68
1795.45/1796.07	c   max depth (total):         68
1795.45/1796.07	c   backtracks       :       1296 (12.7%)
1795.45/1796.07	c   delayed cutoffs  :          0
1795.45/1796.07	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1795.45/1796.07	c   avg switch length:       5.32
1795.45/1796.07	c   switching time   :       7.68
1795.45/1796.07	c Solution           :
1795.45/1796.07	c   Solutions found  :        511 (11 improvements)
1795.45/1796.07	c   Primal Bound     : -3.10000000000000e+01   (in run 1, after 1778 nodes, 539.74 seconds, depth 39, found by <pscostdiving>)
1795.45/1796.07	c   Dual Bound       : -3.50000000000000e+01
1795.45/1796.07	c   Gap              :      11.43 %
1795.45/1796.07	c   Root Dual Bound  : -3.50000000000000e+01
1795.65/1796.22	c Time complete: 1795.66.

Verifier Data 

OK	-31

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869281-1245168637/watcher-1869281-1245168637 -o /tmp/evaluation-result-1869281-1245168637/solver-1869281-1245168637 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869281-1245168637.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: 0.92 0.98 0.99 3/64 6758
/proc/meminfo: memFree=1845480/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=5812 CPUtime=0
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 515 0 0 0 0 0 0 0 18 0 1 0 184463023 5951488 499 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/6758/statm: 1453 500 332 1256 0 192 0

[startup+0.0606999 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6758
/proc/meminfo: memFree=1845480/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=12324 CPUtime=0.04
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 2053 0 0 0 4 0 0 0 18 0 1 0 184463023 12619776 2037 1992294400 4194304 9342243 548682068736 18446744073709551615 8247758 0 0 4096 0 0 0 0 17 1 0 0
/proc/6758/statm: 3081 2037 378 1256 0 1820 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12324

[startup+0.101706 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6758
/proc/meminfo: memFree=1845480/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=13892 CPUtime=0.09
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 2450 0 0 0 8 1 0 0 18 0 1 0 184463023 14225408 2434 1992294400 4194304 9342243 548682068736 18446744073709551615 8194062 0 0 4096 0 0 0 0 17 1 0 0
/proc/6758/statm: 3473 2434 378 1256 0 2212 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13892

[startup+0.301735 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6758
/proc/meminfo: memFree=1845480/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=19388 CPUtime=0.29
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 3833 0 0 0 28 1 0 0 19 0 1 0 184463023 19853312 3817 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/6758/statm: 4847 3817 378 1256 0 3586 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19388

[startup+0.701796 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6758
/proc/meminfo: memFree=1845480/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=50676 CPUtime=0.69
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 12543 0 0 0 60 9 0 0 22 0 1 0 184463023 51892224 11419 1992294400 4194304 9342243 548682068736 18446744073709551615 5021328 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 12669 11419 463 1256 0 11408 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50676

[startup+1.50192 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 6759
/proc/meminfo: memFree=1798432/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=62448 CPUtime=1.49
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 15574 0 0 0 136 13 0 0 25 0 1 0 184463023 63946752 14412 1992294400 4194304 9342243 548682068736 18446744073709551615 4299038 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 15612 14412 519 1256 0 14351 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 62448

[startup+3.10116 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 6759
/proc/meminfo: memFree=1771232/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=96636 CPUtime=3.09
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 21477 0 0 0 291 18 0 0 25 0 1 0 184463023 98955264 19950 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 24159 19950 644 1256 0 22898 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 96636

[startup+6.30165 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 6759
/proc/meminfo: memFree=1766240/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=97176 CPUtime=6.29
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 22236 0 0 0 610 19 0 0 25 0 1 0 184463023 99508224 20709 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 24294 20709 644 1256 0 23033 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 97176

[startup+12.7016 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 6759
/proc/meminfo: memFree=1761712/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=97176 CPUtime=12.69
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 23131 0 0 0 1248 21 0 0 25 0 1 0 184463023 99508224 21604 1992294400 4194304 9342243 548682068736 18446744073709551615 6960594 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 24294 21604 644 1256 0 23033 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 97176

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6759
/proc/meminfo: memFree=1759152/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=97176 CPUtime=25.49
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 23661 0 0 0 2527 22 0 0 25 0 1 0 184463023 99508224 22134 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 24294 22134 647 1256 0 23033 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 97176

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6759
/proc/meminfo: memFree=1725616/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=129828 CPUtime=51.07
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 32714 0 0 0 5074 33 0 0 25 0 1 0 184463023 132943872 30569 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 32457 30569 689 1256 0 31196 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 129828

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6759
/proc/meminfo: memFree=1723952/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=129828 CPUtime=102.27
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 33107 0 0 0 10188 39 0 0 25 0 1 0 184463023 132943872 30962 1992294400 4194304 9342243 548682068736 18446744073709551615 6938251 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 32457 30962 693 1256 0 31196 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 129828

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6759
/proc/meminfo: memFree=1723952/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=129828 CPUtime=162.24
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 33108 0 0 0 16178 46 0 0 25 0 1 0 184463023 132943872 30963 1992294400 4194304 9342243 548682068736 18446744073709551615 6213642 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 32457 30963 694 1256 0 31196 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 129828

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6759
/proc/meminfo: memFree=1723952/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=129828 CPUtime=222.22
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 33113 0 0 0 22168 54 0 0 25 0 1 0 184463023 132943872 30968 1992294400 4194304 9342243 548682068736 18446744073709551615 7288955 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 32457 30968 694 1256 0 31196 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 129828

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6759
/proc/meminfo: memFree=1723888/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=129828 CPUtime=282.21
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 33141 0 0 0 28158 63 0 0 25 0 1 0 184463023 132943872 30979 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 32457 30979 697 1256 0 31196 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 129828

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6759
/proc/meminfo: memFree=1720880/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=131456 CPUtime=342.18
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 33887 0 0 0 34142 76 0 0 25 0 1 0 184463023 134610944 31725 1992294400 4194304 9342243 548682068736 18446744073709551615 6018244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 32864 31725 697 1256 0 31603 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 131456

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6759
/proc/meminfo: memFree=1720688/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=131456 CPUtime=402.16
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 33911 0 0 0 40130 86 0 0 25 0 1 0 184463023 134610944 31749 1992294400 4194304 9342243 548682068736 18446744073709551615 6037747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 32864 31749 697 1256 0 31603 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 131456

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6759
/proc/meminfo: memFree=1720688/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=131456 CPUtime=462.15
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 33912 0 0 0 46120 95 0 0 25 0 1 0 184463023 134610944 31750 1992294400 4194304 9342243 548682068736 18446744073709551615 4266257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 32864 31750 697 1256 0 31603 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 131456

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6759
/proc/meminfo: memFree=1722288/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=128848 CPUtime=522.13
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 34816 0 0 0 52109 104 0 0 25 0 1 0 184463023 131940352 31318 1992294400 4194304 9342243 548682068736 18446744073709551615 6959716 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 32212 31318 698 1256 0 30951 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 128848

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6759
/proc/meminfo: memFree=1722288/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=128848 CPUtime=582.11
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 34816 0 0 0 58096 115 0 0 25 0 1 0 184463023 131940352 31318 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 32212 31318 698 1256 0 30951 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 128848

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6759
/proc/meminfo: memFree=1722224/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=128848 CPUtime=642.1
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 36829 0 0 0 64083 127 0 0 25 0 1 0 184463023 131940352 31323 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 32212 31323 702 1256 0 30951 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 128848

[startup+702.302 s]

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

/proc/meminfo: memFree=1721712/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=132296 CPUtime=1121.94
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 51682 0 0 0 111969 225 0 0 25 0 1 0 184463023 135471104 31395 1992294400 4194304 9342243 548682068736 18446744073709551615 6223645 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 33074 31395 702 1256 0 31813 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 132296

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6759
/proc/meminfo: memFree=1721648/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=134168 CPUtime=1181.93
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 59161 0 0 0 117951 242 0 0 25 0 1 0 184463023 137388032 31462 1992294400 4194304 9342243 548682068736 18446744073709551615 6235979 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 33542 31462 702 1256 0 32281 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 134168

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6759
/proc/meminfo: memFree=1721840/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=135728 CPUtime=1241.91
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 69496 0 0 0 123931 260 0 0 25 0 1 0 184463023 138985472 31438 1992294400 4194304 9342243 548682068736 18446744073709551615 6911001 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 33932 31438 702 1256 0 32671 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 135728

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6759
/proc/meminfo: memFree=1720112/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=139428 CPUtime=1301.89
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 86713 0 0 0 129905 284 0 0 25 0 1 0 184463023 142774272 31816 1992294400 4194304 9342243 548682068736 18446744073709551615 5990689 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 34857 31816 702 1256 0 33596 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 139428

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6759
/proc/meminfo: memFree=1717360/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=140320 CPUtime=1361.88
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 93209 0 0 0 135889 299 0 0 25 0 1 0 184463023 143687680 32475 1992294400 4194304 9342243 548682068736 18446744073709551615 6224573 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 35080 32475 702 1256 0 33819 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 140320

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6759
/proc/meminfo: memFree=1716016/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=141104 CPUtime=1421.86
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 98642 0 0 0 141875 311 0 0 25 0 1 0 184463023 144490496 32791 1992294400 4194304 9342243 548682068736 18446744073709551615 4266257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 35276 32791 702 1256 0 34015 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 141104

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6759
/proc/meminfo: memFree=1713840/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=153056 CPUtime=1481.84
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 100469 0 0 0 147862 322 0 0 25 0 1 0 184463023 156729344 33396 1992294400 4194304 9342243 548682068736 18446744073709551615 6960563 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 38264 33396 702 1256 0 37003 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 153056

[startup+1542.3 s]
/proc/loadavg: 1.23 1.06 1.02 2/65 6759
/proc/meminfo: memFree=1711472/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=148920 CPUtime=1541.82
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 101706 0 0 0 153848 334 0 0 25 0 1 0 184463023 152494080 33945 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 37230 33945 702 1256 0 35969 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 148920

[startup+1602.3 s]
/proc/loadavg: 1.12 1.06 1.02 2/65 6759
/proc/meminfo: memFree=1709488/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=150696 CPUtime=1601.81
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 106191 0 0 0 159835 346 0 0 25 0 1 0 184463023 154312704 34419 1992294400 4194304 9342243 548682068736 18446744073709551615 6496551 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 37674 34419 702 1256 0 36413 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 150696

[startup+1662.3 s]
/proc/loadavg: 1.04 1.05 1.01 2/65 6759
/proc/meminfo: memFree=1707504/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=152936 CPUtime=1661.79
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 118790 0 0 0 165814 365 0 0 25 0 1 0 184463023 156606464 34921 1992294400 4194304 9342243 548682068736 18446744073709551615 6952930 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 38234 34921 702 1256 0 36973 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 152936

[startup+1722.3 s]
/proc/loadavg: 1.01 1.04 1.00 2/65 6759
/proc/meminfo: memFree=1706224/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=155292 CPUtime=1721.76
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 125021 0 0 0 171796 380 0 0 25 0 1 0 184463023 159019008 35273 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 38823 35273 702 1256 0 37562 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 155292

[startup+1782.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 6759
/proc/meminfo: memFree=1706352/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=153608 CPUtime=1781.75
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 147811 0 0 0 177768 407 0 0 25 0 1 0 184463023 157294592 35233 1992294400 4194304 9342243 548682068736 18446744073709551615 6239086 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 38402 35233 702 1256 0 37141 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 153608

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 6759
/proc/meminfo: memFree=1706288/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=147764 CPUtime=1784.95
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 149658 0 0 0 178086 409 0 0 25 0 1 0 184463023 151310336 35136 1992294400 4194304 9342243 548682068736 18446744073709551615 6896973 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 36941 35136 702 1256 0 35680 0
Current children cumulated CPU time (s) 1784.95
Current children cumulated vsize (KiB) 147764

[startup+1791.9 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 6759
/proc/meminfo: memFree=1706352/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=153796 CPUtime=1791.35
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 154662 0 0 0 178724 411 0 0 25 0 1 0 184463023 157487104 35195 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 38449 35195 702 1256 0 37188 0
Current children cumulated CPU time (s) 1791.35
Current children cumulated vsize (KiB) 153796

[startup+1793.5 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 6759
/proc/meminfo: memFree=1706288/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=153656 CPUtime=1792.94
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 156174 0 0 0 178882 412 0 0 25 0 1 0 184463023 157343744 35189 1992294400 4194304 9342243 548682068736 18446744073709551615 6252324 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 38414 35189 702 1256 0 37153 0
Current children cumulated CPU time (s) 1792.94
Current children cumulated vsize (KiB) 153656

[startup+1795.1 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 6759
/proc/meminfo: memFree=1706160/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=153600 CPUtime=1794.55
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 157137 0 0 0 179042 413 0 0 25 0 1 0 184463023 157286400 35243 1992294400 4194304 9342243 548682068736 18446744073709551615 6888069 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 38400 35243 702 1256 0 37139 0
Current children cumulated CPU time (s) 1794.55
Current children cumulated vsize (KiB) 153600

[startup+1795.9 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 6759
/proc/meminfo: memFree=1706160/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=153632 CPUtime=1795.34
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 157415 0 0 0 179121 413 0 0 25 0 1 0 184463023 157319168 35190 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6758/statm: 38408 35190 702 1256 0 37147 0
Current children cumulated CPU time (s) 1795.34
Current children cumulated vsize (KiB) 153632

[startup+1796.1 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 6759
/proc/meminfo: memFree=1706160/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=153760 CPUtime=1795.55
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 157495 0 0 0 179141 414 0 0 17 0 1 0 184463023 157450240 35215 1992294400 4194304 9342243 548682068736 18446744073709551615 5854288 0 0 4096 0 0 0 0 17 1 0 0
/proc/6758/statm: 38440 35215 703 1256 0 37179 0
Current children cumulated CPU time (s) 1795.55
Current children cumulated vsize (KiB) 153760

[startup+1796.2 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 6759
/proc/meminfo: memFree=1762800/2055920 swapFree=4191900/4192956
[pid=6758] ppid=6756 vsize=84668 CPUtime=1795.65
/proc/6758/stat : 6758 (pbscip.linux.x8) R 6756 6758 6640 0 -1 4194304 157495 0 0 0 179150 415 0 0 17 0 1 0 184463023 86700032 20308 1992294400 4194304 9342243 548682068736 18446744073709551615 8312599 0 0 4096 0 0 0 0 17 1 0 0
/proc/6758/statm: 21167 20308 703 1256 0 19906 0
Current children cumulated CPU time (s) 1795.65
Current children cumulated vsize (KiB) 84668

Child status: 0
Real time (s): 1796.22
CPU time (s): 1795.68
CPU user time (s): 1791.51
CPU system time (s): 4.16837
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 177204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.51
system time used= 4.16837
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157498
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= 2765

runsolver used 1.47378 second user time and 3.59545 second system time

The end

Launcher Data 

Begin job on node34 at 2009-06-16 18:10:37
IDJOB=1869281
IDBENCH=2271
IDSOLVER=684
FILE ID=node34/1869281-1245168637
PBS_JOBID= 9363877
Free space on /tmp= 66252 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/frb35-17-opb/normalized-frb35-17-5.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-1869281-1245168637/watcher-1869281-1245168637 -o /tmp/evaluation-result-1869281-1245168637/solver-1869281-1245168637 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869281-1245168637.opb

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

MD5SUM BENCH= 7f24dba3f3d4b877b96bd50f5b27c089
RANDOM SEED=721217323

node34.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.263
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.263
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:       1845896 kB
Buffers:         35952 kB
Cached:         100604 kB
SwapCached:        260 kB
Active:          53844 kB
Inactive:        95968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1845896 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           12380 kB
Writeback:           0 kB
Mapped:          21816 kB
Slab:            46236 kB
Committed_AS:   171320 kB
PageTables:       1384 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= 66240 MiB
End job on node34 at 2009-06-16 18:40:34