Trace number 1869287

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.8 1796.49

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb
MD5SUM907943cf03e4e0f899b19858f5690e6e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-32
Best CPU time to get the best result obtained on this benchmark1795.47
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -35
Optimality of the best value was proved NO
Number of variables595
Total number of constraints27847
Number of constraints which are clauses27847
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.37	c SCIP version 1.1.0.7
0.29/0.37	c LP-Solver Clp 1.8.2
0.29/0.37	c user parameter file <scip.set> not found - using default parameters
0.29/0.37	c read problem <HOME/instance-1869287-1245168874.opb>
0.29/0.37	c original problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 27847 constraints
0.39/0.44	c start presolving problem
0.39/0.44	c presolving:
0.69/0.75	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 27847 upgd conss, 55694 impls, 0 clqs
1.29/1.39	c    (0.9s) probing: 101/595 (17.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.29/1.40	c    (0.9s) probing aborted: 100/100 successive totally useless probings
1.29/1.40	c presolving (2 rounds):
1.29/1.40	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.29/1.40	c  55694 implications, 0 cliques
1.29/1.40	c presolved problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 27847 constraints
1.29/1.40	c   27847 constraints of type <logicor>
1.29/1.40	c transformed objective value is always integral (scale: 1)
1.29/1.40	c Presolving Time: 0.91
1.39/1.40	c strange?!, PURESAT with obj
1.39/1.40	c -----------------------------------------------------------------------------------------------
1.39/1.40	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.39/1.40	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.40	c limits/memory = c 1620
1.39/1.40	c # maximal time in seconds to run
1.39/1.40	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.40	c limits/time = c 1791
1.39/1.40	c # frequency for displaying node information lines
1.39/1.40	c # [type: int, range: [-1,2147483647], default: 100]
1.39/1.40	c display/freq = c 10000
1.39/1.40	c -----------------------------------------------------------------------------------------------
1.39/1.40	c start solving problem
1.39/1.40	c 
1.79/1.84	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.79/1.84	c   1.4s|     1 |     0 |   615 |  31M|   0 | 595 | 595 |  27k|  27k| 595 |  27k|   0 |   0 |   0 |-2.975000e+02 |      --      |    Inf 
1.79/1.85	o 0
1.79/1.85	c r 1.4s|     1 |     0 |   615 |  31M|   0 | 595 | 595 |  27k|  27k| 595 |  27k|   0 |   0 |   0 |-2.975000e+02 | 0.000000e+00 | 100.00%
1.79/1.89	o -1
1.79/1.89	c R 1.4s|     1 |     0 |   615 |  31M|   0 | 595 | 595 |  27k|  27k| 595 |  27k|   0 |   0 |   0 |-2.975000e+02 |-1.000000e+00 |  99.66%
3.69/3.77	c   3.3s|     1 |     0 |   846 |  31M|   0 | 550 | 595 |  27k|  27k| 595 |  27k|   5 |   0 |   0 |-2.750000e+02 |-1.000000e+00 |  99.64%
5.88/5.92	c   5.4s|     1 |     0 |  1059 |  31M|   0 | 518 | 595 |  27k|  27k| 595 |  27k|  11 |   0 |   0 |-2.590000e+02 |-1.000000e+00 |  99.61%
8.19/8.27	c   7.7s|     1 |     0 |  1287 |  31M|   0 | 483 | 595 |  27k|  27k| 595 |  27k|  21 |   0 |   0 |-2.415000e+02 |-1.000000e+00 |  99.59%
10.69/10.79	c  10.3s|     1 |     0 |  1480 |  31M|   0 | 453 | 595 |  27k|  27k| 595 |  27k|  29 |   0 |   0 |-2.257500e+02 |-1.000000e+00 |  99.56%
13.09/13.20	c  12.7s|     1 |     0 |  1670 |  31M|   0 | 418 | 595 |  27k|  27k| 595 |  27k|  41 |   0 |   0 |-2.082500e+02 |-1.000000e+00 |  99.52%
15.98/16.02	c  15.5s|     1 |     0 |  1947 |  31M|   0 | 391 | 595 |  27k|  27k| 595 |  27k|  49 |   0 |   0 |-1.947500e+02 |-1.000000e+00 |  99.49%
18.77/18.87	c  18.3s|     1 |     0 |  2203 |  31M|   0 | 360 | 595 |  27k|  27k| 595 |  27k|  56 |   0 |   0 |-1.792500e+02 |-1.000000e+00 |  99.44%
22.18/22.23	c  21.7s|     1 |     0 |  2547 |  31M|   0 | 327 | 595 |  27k|  27k| 595 |  27k|  66 |   0 |   0 |-1.627500e+02 |-1.000000e+00 |  99.39%
25.28/25.35	c  24.8s|     1 |     0 |  2855 |  31M|   0 | 298 | 595 |  27k|  27k| 595 |  27k|  73 |   0 |   0 |-1.482500e+02 |-1.000000e+00 |  99.33%
28.78/28.83	c  28.3s|     1 |     0 |  3277 |  31M|   0 | 270 | 595 |  27k|  27k| 595 |  27k|  78 |   0 |   0 |-1.342500e+02 |-1.000000e+00 |  99.26%
30.38/30.40	c  29.8s|     1 |     0 |  3574 |  31M|   0 | 241 | 595 |  27k|  27k| 595 |  27k|  83 |   0 |   0 |-1.197500e+02 |-1.000000e+00 |  99.16%
32.17/32.28	c  31.7s|     1 |     0 |  3964 |  31M|   0 | 198 | 595 |  27k|  27k| 595 |  27k|  93 |   0 |   0 |-9.825000e+01 |-1.000000e+00 |  98.98%
33.07/33.16	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
33.07/33.16	c  32.6s|     1 |     0 |  4125 |  31M|   0 | 169 | 595 |  27k|  27k| 595 |  27k| 101 |   0 |   0 |-8.375000e+01 |-1.000000e+00 |  98.81%
33.88/34.00	c  33.4s|     1 |     0 |  4239 |  31M|   0 | 153 | 595 |  27k|  27k| 595 |  27k| 107 |   0 |   0 |-7.575000e+01 |-1.000000e+00 |  98.68%
35.08/35.16	c  34.6s|     1 |     0 |  4529 |  31M|   0 | 123 | 595 |  27k|  27k| 595 |  27k| 111 |   0 |   0 |-6.150000e+01 |-1.000000e+00 |  98.37%
36.77/36.89	c  36.3s|     1 |     0 |  5060 |  31M|   0 | 104 | 595 |  27k|  27k| 595 |  27k| 116 |   0 |   0 |-4.800000e+01 |-1.000000e+00 |  97.92%
37.57/37.66	c  37.1s|     1 |     0 |  5158 |  31M|   0 |  84 | 595 |  27k|  27k| 595 |  27k| 123 |   0 |   0 |-4.200000e+01 |-1.000000e+00 |  97.62%
38.38/38.47	c  37.9s|     1 |     0 |  5345 |  31M|   0 |  97 | 595 |  27k|  27k| 595 |  27k| 131 |   0 |   0 |-3.500000e+01 |-1.000000e+00 |  97.14%
39.17/39.25	c  38.7s|     1 |     0 |  5459 |  32M|   0 |  99 | 595 |  27k|  27k| 595 |  27k| 145 |   0 |   0 |-3.500000e+01 |-1.000000e+00 |  97.14%
39.87/39.98	c  39.4s|     1 |     0 |  5562 |  32M|   0 | 107 | 595 |  27k|  27k| 595 |  27k| 161 |   0 |   0 |-3.500000e+01 |-1.000000e+00 |  97.14%
39.97/40.00	o -1
39.97/40.00	c s39.4s|     1 |     0 |  5562 |  32M|   0 | 107 | 595 |  27k|  27k| 595 |  27k| 161 |   0 |   0 |-3.500000e+01 |-1.000000e+00 |  97.14%
40.77/40.84	c  40.2s|     1 |     0 |  5842 |  32M|   0 | 133 | 595 |  27k|  27k| 595 |  27k| 172 |   0 |   0 |-3.500000e+01 |-1.000000e+00 |  97.14%
41.37/41.44	c  40.9s|     1 |     0 |  5973 |  32M|   0 |  99 | 595 |  27k|  27k| 595 |  28k| 179 |   0 |   0 |-3.500000e+01 |-1.000000e+00 |  97.14%
41.37/41.45	o -2
41.37/41.45	c R40.9s|     1 |     0 |  5973 |  32M|   0 |  99 | 595 |  27k|  27k| 595 |  28k| 179 |   0 |   0 |-3.500000e+01 |-2.000000e+00 |  94.29%
41.37/41.47	o -3
41.37/41.47	c s40.9s|     1 |     0 |  5973 |  32M|   0 |  99 | 595 |  27k|  27k| 595 |  28k| 179 |   0 |   0 |-3.500000e+01 |-3.000000e+00 |  91.43%
42.67/42.75	c  42.1s|     1 |     0 |  6133 |  32M|   0 | 139 | 595 |  27k|  27k| 595 |  27k| 188 |   0 |   0 |-3.500000e+01 |-3.000000e+00 |  91.43%
42.67/42.77	o -3
42.67/42.77	c s42.2s|     1 |     0 |  6133 |  32M|   0 | 139 | 595 |  27k|  27k| 595 |  27k| 188 |   0 |   0 |-3.500000e+01 |-3.000000e+00 |  91.43%
42.67/42.79	o -24
42.67/42.79	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
42.67/42.79	c k42.2s|     1 |     0 |  6133 |  32M|   0 | 139 | 595 |  27k|  27k| 595 |  27k| 188 |   0 |   0 |-3.500000e+01 |-2.400000e+01 |  31.43%
44.47/44.55	c  43.9s|     1 |     0 |  6133 |  32M|   0 | 139 | 595 |  27k|  27k| 595 |  27k| 188 |   0 |   0 |-3.500000e+01 |-2.400000e+01 |  31.43%
46.08/46.14	c  45.4s|     1 |     0 |  6417 |  32M|   0 | 164 | 595 |  27k|  27k| 595 |  27k| 200 |   0 |   0 |-3.500000e+01 |-2.400000e+01 |  31.43%
92.95/93.07	c  92.3s|     1 |     2 |  6417 |  32M|   0 | 164 | 595 |  27k|  27k| 595 |  27k| 200 |   0 |  33 |-3.500000e+01 |-2.400000e+01 |  31.43%
140.53/140.60	o -26
140.53/140.60	c * 140s|    14 |    13 |  8074 |  32M|  13 |   - | 595 |  27k|  26k| 595 |  27k| 200 |   0 | 249 |-3.500000e+01 |-2.600000e+01 |  25.71%
140.74/140.84	o -27
140.74/140.84	c * 140s|    15 |    12 |  8078 |  32M|  13 |   - | 595 |  27k|  25k| 595 |  27k| 200 |   0 | 254 |-3.500000e+01 |-2.700000e+01 |  22.86%
164.12/164.20	o -28
164.12/164.20	c * 163s|    27 |    17 |  9184 |  33M|  13 |   - | 595 |  27k|  14k| 595 |  27k| 200 |   0 | 481 |-3.500000e+01 |-2.800000e+01 |  20.00%
225.70/225.82	o -29
225.70/225.82	c p 225s|    51 |    35 | 12171 |  33M|  14 |   - | 595 |  27k|  19k| 595 |  27k| 200 |   0 | 791 |-3.500000e+01 |-2.900000e+01 |  17.14%
258.89/259.05	o -30
258.89/259.05	c * 258s|   370 |   153 | 28584 |  34M|  32 |   - | 595 |  27k|  13k| 595 |  27k| 200 |   0 | 870 |-3.500000e+01 |-3.000000e+01 |  14.29%
261.29/261.47	o -31
261.29/261.47	c * 260s|   389 |   132 | 29953 |  34M|  32 |   - | 595 |  27k|  10k| 595 |  27k| 200 |   0 | 880 |-3.500000e+01 |-3.100000e+01 |  11.43%
1795.62/1796.33	c 
1795.62/1796.33	c SCIP Status        : solving was interrupted [time limit reached]
1795.62/1796.33	c Solving Time (sec) : 1791.01
1795.62/1796.33	c Solving Nodes      : 8619
1795.62/1796.33	c Primal Bound       : -3.10000000000000e+01 (486 solutions)
1795.62/1796.33	c Dual Bound         : -3.49999999999999e+01
1795.62/1796.33	c Gap                : 11.43 %
1795.62/1796.34	c NODE         8619
1795.62/1796.34	c DUAL BOUND   -35
1795.62/1796.34	c PRIMAL BOUND -31
1795.62/1796.34	c GAP          0.114286
1795.62/1796.34	s SATISFIABLE
1795.62/1796.34	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.62/1796.34	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.62/1796.34	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.62/1796.34	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.62/1796.34	v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 
1795.62/1796.34	v -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 
1795.62/1796.34	v -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 
1795.62/1796.34	v -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 
1795.62/1796.34	v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 
1795.62/1796.34	v -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 
1795.62/1796.34	v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 
1795.62/1796.34	v -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 
1795.62/1796.34	v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 
1795.62/1796.34	v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 
1795.62/1796.34	v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 
1795.62/1796.34	v -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 
1795.62/1796.34	v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 
1795.62/1796.34	v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 
1795.62/1796.34	v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 
1795.62/1796.34	v -x419 -x420 -x421 -x422 -x423 x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 
1795.62/1796.34	v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 
1795.62/1796.34	v -x461 -x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 
1795.62/1796.34	v -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 x501 -x502 
1795.62/1796.34	v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 
1795.62/1796.34	v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 
1795.62/1796.34	v -x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 
1795.62/1796.34	v -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 
1795.62/1796.34	v -x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 -x595 
1795.62/1796.34	c SCIP Status        : solving was interrupted [time limit reached]
1795.62/1796.34	c Solving Time       :    1791.01
1795.62/1796.34	c Original Problem   :
1795.62/1796.34	c   Problem name     : HOME/instance-1869287-1245168874.opb
1795.62/1796.34	c   Variables        : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.62/1796.34	c   Constraints      : 27847 initial, 27847 maximal
1795.62/1796.34	c Presolved Problem  :
1795.62/1796.34	c   Problem name     : t_HOME/instance-1869287-1245168874.opb
1795.62/1796.34	c   Variables        : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.62/1796.34	c   Constraints      : 27847 initial, 27847 maximal
1795.62/1796.34	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1795.62/1796.34	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1795.62/1796.34	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1795.62/1796.34	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1795.62/1796.34	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1795.62/1796.34	c   implics          :       0.00          0          0          0          0          0          0          0          0
1795.62/1796.34	c   probing          :       0.60          0          0          0          0          0          0          0          0
1795.62/1796.34	c   logicor          :       0.09          0          0          0          0          0          0          0          0
1795.62/1796.34	c   root node        :          -          0          -          -          0          -          -          -          -
1795.62/1796.34	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1795.62/1796.34	c   integral         :          0          0          0       6838          0         15        326          0          0      13304
1795.62/1796.34	c   logicor          :      27847         24      13818          5          1          0     161351          0          0          0
1795.62/1796.34	c   countsols        :          0          0          0          5          1          0          0          0          0          0
1795.62/1796.34	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1795.62/1796.34	c   integral         :     368.06       0.00       0.00     368.06       0.00
1795.62/1796.34	c   logicor          :       8.95       0.09       8.82       0.04       0.00
1795.62/1796.34	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1795.62/1796.34	c Propagators        :       Time      Calls    Cutoffs    DomReds
1795.62/1796.34	c   rootredcost      :       0.03          6          0          0
1795.62/1796.34	c   pseudoobj        :       1.01      24553          0          0
1795.62/1796.34	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1795.62/1796.34	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1795.62/1796.34	c   infeasible LP    :       0.77       4455          0          0        0.0          0        0.0          0
1795.62/1796.34	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1795.62/1796.34	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1795.62/1796.34	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1795.62/1796.34	c   applied globally :          -          -          -          0        0.0          -          -          -
1795.62/1796.34	c   applied locally  :          -          -          -          0        0.0          -          -          -
1795.62/1796.34	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1795.62/1796.34	c   cut pool         :       0.01         23          -          -         61          -    (maximal pool size: 536)
1795.62/1796.34	c   redcost          :       0.45       6888          0         28          0          0
1795.62/1796.34	c   impliedbounds    :       0.04         24          0          0          0          0
1795.62/1796.34	c   intobj           :       0.00          0          0          0          0          0
1795.62/1796.35	c   gomory           :       7.24         24          0          0      12000          0
1795.62/1796.35	c   strongcg         :       5.18         20          0          0      10000          0
1795.62/1796.35	c   cmir             :       4.79         10          0          0          0          0
1795.62/1796.35	c   flowcover        :       5.28         10          0          0          0          0
1795.62/1796.35	c   clique           :       0.51         24          0          0        210          0
1795.62/1796.35	c   zerohalf         :       0.00          0          0          0          0          0
1795.62/1796.35	c   mcf              :       0.04          1          0          0          0          0
1795.62/1796.35	c Pricers            :       Time      Calls       Vars
1795.62/1796.35	c   problem variables:       0.00          0          0
1795.62/1796.35	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1795.62/1796.35	c   relpscost        :     368.03       6833         15        326          0          0      13304
1795.62/1796.35	c   pscost           :       0.00          0          0          0          0          0          0
1795.62/1796.35	c   inference        :       0.00          1          0          0          0          0          2
1795.62/1796.35	c   mostinf          :       0.00          0          0          0          0          0          0
1795.62/1796.35	c   leastinf         :       0.00          0          0          0          0          0          0
1795.62/1796.35	c   fullstrong       :       0.00          0          0          0          0          0          0
1795.62/1796.35	c   allfullstrong    :       0.00          0          0          0          0          0          0
1795.62/1796.35	c   random           :       0.00          0          0          0          0          0          0
1795.62/1796.35	c Primal Heuristics  :       Time      Calls      Found
1795.62/1796.35	c   LP solutions     :       0.00          -          5
1795.62/1796.35	c   pseudo solutions :       0.00          -          0
1795.62/1796.35	c   oneopt           :       0.06          7          1
1795.62/1796.35	c   crossover        :       1.10          6          1
1795.62/1796.35	c   guideddiving     :      71.46         57          4
1795.62/1796.35	c   pscostdiving     :      44.78         92         29
1795.62/1796.35	c   linesearchdiving :      45.11         92          7
1795.62/1796.35	c   veclendiving     :      67.16         93          0
1795.62/1796.35	c   objpscostdiving  :      32.55         47        127
1795.62/1796.35	c   rootsoldiving    :      36.11         47         88
1795.62/1796.35	c   simplerounding   :       0.82       6857        209
1795.62/1796.35	c   rounding         :      18.23       4555          2
1795.62/1796.35	c   shifting         :       4.54        767          7
1795.62/1796.35	c   intshifting      :       0.00          0          0
1795.62/1796.35	c   fixandinfer      :       0.00          0          0
1795.62/1796.35	c   feaspump         :       0.00          0          0
1795.62/1796.35	c   coefdiving       :      72.33         81          2
1795.62/1796.35	c   fracdiving       :      77.76         60          3
1795.62/1796.35	c   intdiving        :       0.00          0          0
1795.62/1796.35	c   actconsdiving    :       0.00          0          0
1795.62/1796.35	c   octane           :       0.00          0          0
1795.62/1796.35	c   rens             :       1.67          1          1
1795.62/1796.35	c   rins             :       0.00          0          0
1795.62/1796.35	c   localbranching   :       0.00          0          0
1795.62/1796.35	c   mutation         :       0.00          0          0
1795.62/1796.35	c   dins             :       0.00          0          0
1795.62/1796.35	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1795.62/1796.35	c   primal LP        :       0.50          0          0       0.00       0.00
1795.62/1796.35	c   dual LP          :     857.88       8809     717759      81.48     836.67
1795.62/1796.35	c   barrier LP       :       0.00          0          0       0.00          -
1795.62/1796.35	c   diving/probing LP:     415.95       7557     241589      31.97     580.81
1795.62/1796.35	c   strong branching :     367.66       2707     325133     120.11     884.33
1795.62/1796.35	c     (at root node) :          -         33      14791     448.21          -
1795.62/1796.35	c   conflict analysis:       0.00          0          0       0.00          -
1795.62/1796.35	c B&B Tree           :
1795.62/1796.35	c   number of runs   :          1
1795.62/1796.35	c   nodes            :       8619
1795.62/1796.35	c   nodes (total)    :       8619
1795.62/1796.35	c   nodes left       :       4620
1795.62/1796.35	c   max depth        :         66
1795.62/1796.35	c   max depth (total):         66
1795.62/1796.35	c   backtracks       :       1369 (15.9%)
1795.62/1796.35	c   delayed cutoffs  :          0
1795.62/1796.35	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1795.62/1796.35	c   avg switch length:       5.94
1795.62/1796.35	c   switching time   :       6.76
1795.62/1796.35	c Solution           :
1795.62/1796.35	c   Solutions found  :        486 (13 improvements)
1795.62/1796.35	c   Primal Bound     : -3.10000000000000e+01   (in run 1, after 389 nodes, 260.39 seconds, depth 24, found by <relaxation>)
1795.62/1796.35	c   Dual Bound       : -3.49999999999999e+01
1795.62/1796.35	c   Gap              :      11.43 %
1795.62/1796.35	c   Root Dual Bound  : -3.50000000000000e+01
1795.71/1796.48	c Time complete: 1795.79.

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-1869287-1245168874/watcher-1869287-1245168874 -o /tmp/evaluation-result-1869287-1245168874/solver-1869287-1245168874 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869287-1245168874.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 4921
/proc/meminfo: memFree=1840464/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=5812 CPUtime=0
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 519 0 0 0 0 0 0 0 18 0 1 0 184488251 5951488 503 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/4921/statm: 1453 510 339 1256 0 192 0

[startup+0.061475 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 4921
/proc/meminfo: memFree=1840464/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=12456 CPUtime=0.05
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 2086 0 0 0 5 0 0 0 18 0 1 0 184488251 12754944 2070 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/4921/statm: 3114 2070 378 1256 0 1853 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12456

[startup+0.101482 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 4921
/proc/meminfo: memFree=1840464/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=13892 CPUtime=0.09
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 2450 0 0 0 9 0 0 0 18 0 1 0 184488251 14225408 2434 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/4921/statm: 3473 2434 378 1256 0 2212 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13892

[startup+0.301521 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 4921
/proc/meminfo: memFree=1840464/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=19388 CPUtime=0.29
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 3834 0 0 0 28 1 0 0 19 0 1 0 184488251 19853312 3818 1992294400 4194304 9342243 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 1 0 0
/proc/4921/statm: 4847 3818 378 1256 0 3586 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19388

[startup+0.7016 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 4921
/proc/meminfo: memFree=1840464/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=50680 CPUtime=0.69
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 12543 0 0 0 63 6 0 0 22 0 1 0 184488251 51896320 11419 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 12670 11419 465 1256 0 11409 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50680

[startup+1.50176 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1793480/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=65264 CPUtime=1.49
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 16366 0 0 0 140 9 0 0 25 0 1 0 184488251 66830336 15133 1992294400 4194304 9342243 548682068736 18446744073709551615 7289235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 16316 15141 555 1256 0 15055 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65264

[startup+3.10108 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1766664/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=96196 CPUtime=3.09
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 21391 0 0 0 295 14 0 0 25 0 1 0 184488251 98504704 19881 1992294400 4194304 9342243 548682068736 18446744073709551615 6496599 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4921/statm: 24049 19881 644 1256 0 22788 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 96196

[startup+6.3017 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1762384/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=96196 CPUtime=6.28
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 21788 0 0 0 614 14 0 0 25 0 1 0 184488251 98504704 20278 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 24049 20278 644 1256 0 22788 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 96196

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1759248/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=96196 CPUtime=12.68
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 22482 0 0 0 1252 16 0 0 25 0 1 0 184488251 98504704 20972 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 24049 20972 644 1256 0 22788 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 96196

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1756688/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=96196 CPUtime=25.47
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 23022 0 0 0 2530 17 0 0 25 0 1 0 184488251 98504704 21511 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 24049 21511 648 1256 0 22788 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 96196

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1724496/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=127796 CPUtime=51.06
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 31483 0 0 0 5075 31 0 0 25 0 1 0 184488251 130863104 29593 1992294400 4194304 9342243 548682068736 18446744073709551615 6960752 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 31949 29593 693 1256 0 30688 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 127796

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1723728/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=127796 CPUtime=102.25
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 31664 0 0 0 10190 35 0 0 25 0 1 0 184488251 130863104 29774 1992294400 4194304 9342243 548682068736 18446744073709551615 5868814 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 31949 29774 693 1256 0 30688 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 127796

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1723152/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=127796 CPUtime=162.22
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 31798 0 0 0 16178 44 0 0 25 0 1 0 184488251 130863104 29908 1992294400 4194304 9342243 548682068736 18446744073709551615 5990719 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 31949 29908 694 1256 0 30688 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 127796

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1722960/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=127796 CPUtime=222.2
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 31844 0 0 0 22168 52 0 0 25 0 1 0 184488251 130863104 29954 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 31949 29954 697 1256 0 30688 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 127796

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1718800/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=128728 CPUtime=282.17
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 32866 0 0 0 28154 63 0 0 25 0 1 0 184488251 131817472 30976 1992294400 4194304 9342243 548682068736 18446744073709551615 6959733 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 32182 30976 698 1256 0 30921 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 128728

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1717840/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=129348 CPUtime=342.16
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 33117 0 0 0 34141 75 0 0 25 0 1 0 184488251 132452352 31210 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 32337 31210 702 1256 0 31076 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 129348

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1717840/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=129348 CPUtime=402.13
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 33122 0 0 0 40130 83 0 0 25 0 1 0 184488251 132452352 31215 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 32337 31215 702 1256 0 31076 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 129348

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1719248/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=126832 CPUtime=462.11
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 33750 0 0 0 46115 96 0 0 25 0 1 0 184488251 129875968 30815 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 31708 30815 702 1256 0 30447 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 126832

[startup+522.303 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1719312/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=126832 CPUtime=522.09
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 33750 0 0 0 52103 106 0 0 25 0 1 0 184488251 129875968 30815 1992294400 4194304 9342243 548682068736 18446744073709551615 5875953 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 31708 30815 702 1256 0 30447 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 126832

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1719184/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=126832 CPUtime=582.07
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 35635 0 0 0 58088 119 0 0 25 0 1 0 184488251 129875968 30818 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 31708 30818 702 1256 0 30447 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 126832

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1719248/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=126832 CPUtime=642.05
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 35635 0 0 0 64076 129 0 0 25 0 1 0 184488251 129875968 30818 1992294400 4194304 9342243 548682068736 18446744073709551615 6350716 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 31708 30818 702 1256 0 30447 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 126832

[startup+702.301 s]

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

/proc/meminfo: memFree=1719184/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=131924 CPUtime=1121.87
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 39409 0 0 0 111974 213 0 0 25 0 1 0 184488251 135090176 30826 1992294400 4194304 9342243 548682068736 18446744073709551615 6238468 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 32981 30826 702 1256 0 31720 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 131924

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1719184/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=126832 CPUtime=1181.84
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 41395 0 0 0 117961 223 0 0 25 0 1 0 184488251 129875968 30823 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 31708 30823 702 1256 0 30447 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 126832

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1719056/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=126832 CPUtime=1241.82
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 43656 0 0 0 123947 235 0 0 25 0 1 0 184488251 129875968 30823 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 31708 30823 702 1256 0 30447 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 126832

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1718992/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=128652 CPUtime=1301.8
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 46576 0 0 0 129936 244 0 0 25 0 1 0 184488251 131739648 30828 1992294400 4194304 9342243 548682068736 18446744073709551615 8251382 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 32163 30828 702 1256 0 30902 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 128652

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1718992/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=132500 CPUtime=1361.77
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 51313 0 0 0 135922 255 0 0 25 0 1 0 184488251 135680000 30917 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 33125 30917 702 1256 0 31864 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 132500

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1718928/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=132184 CPUtime=1421.76
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 53262 0 0 0 141910 266 0 0 25 0 1 0 184488251 135356416 30877 1992294400 4194304 9342243 548682068736 18446744073709551615 8237184 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 33046 30877 702 1256 0 31785 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 132184

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1718544/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=135724 CPUtime=1481.73
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 70263 0 0 0 147886 287 0 0 25 0 1 0 184488251 138981376 30909 1992294400 4194304 9342243 548682068736 18446744073709551615 6959716 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 33931 30909 702 1256 0 32670 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 135724

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1718800/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=135328 CPUtime=1541.71
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 101702 0 0 0 153853 318 0 0 25 0 1 0 184488251 138575872 30945 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 33832 30945 702 1256 0 32571 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 135328

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1718736/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=132760 CPUtime=1601.68
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 138056 0 0 0 159817 351 0 0 25 0 1 0 184488251 135946240 30842 1992294400 4194304 9342243 548682068736 18446744073709551615 8251083 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 33190 30842 702 1256 0 31929 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 132760

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1716112/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=136480 CPUtime=1661.66
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 163695 0 0 0 165790 376 0 0 25 0 1 0 184488251 139755520 31520 1992294400 4194304 9342243 548682068736 18446744073709551615 7289246 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 34120 31520 702 1256 0 32859 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 136480

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1715472/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=150668 CPUtime=1721.64
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 171024 0 0 0 171771 393 0 0 25 0 1 0 184488251 154284032 31794 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 37667 31794 702 1256 0 36406 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 150668

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1714576/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=139516 CPUtime=1781.62
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 196884 0 0 0 177741 421 0 0 25 0 1 0 184488251 142864384 31896 1992294400 4194304 9342243 548682068736 18446744073709551615 6887664 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 34879 31896 702 1256 0 33618 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 139516

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1714576/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=136440 CPUtime=1784.82
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 198663 0 0 0 178059 423 0 0 25 0 1 0 184488251 139714560 31851 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 34110 31851 702 1256 0 32849 0
Current children cumulated CPU time (s) 1784.82
Current children cumulated vsize (KiB) 136440

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1714512/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=140836 CPUtime=1791.22
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 201026 0 0 0 178696 426 0 0 25 0 1 0 184488251 144216064 31935 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 35209 31935 702 1256 0 33948 0
Current children cumulated CPU time (s) 1791.22
Current children cumulated vsize (KiB) 140836

[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1714064/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=140756 CPUtime=1792.81
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 201569 0 0 0 178855 426 0 0 25 0 1 0 184488251 144134144 31928 1992294400 4194304 9342243 548682068736 18446744073709551615 6959735 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 35189 31928 702 1256 0 33928 0
Current children cumulated CPU time (s) 1792.81
Current children cumulated vsize (KiB) 140756

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1714064/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=140908 CPUtime=1794.42
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 202397 0 0 0 179015 427 0 0 25 0 1 0 184488251 144289792 31999 1992294400 4194304 9342243 548682068736 18446744073709551615 6238478 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 35227 31999 702 1256 0 33966 0
Current children cumulated CPU time (s) 1794.42
Current children cumulated vsize (KiB) 140908

[startup+1795.9 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1714064/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=140796 CPUtime=1795.22
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 203174 0 0 0 179094 428 0 0 25 0 1 0 184488251 144175104 31941 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 35199 31941 702 1256 0 33938 0
Current children cumulated CPU time (s) 1795.22
Current children cumulated vsize (KiB) 140796

[startup+1796.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1714384/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=142744 CPUtime=1795.62
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 203566 0 0 0 179134 428 0 0 25 0 1 0 184488251 146169856 31953 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4921/statm: 35686 31953 702 1256 0 34425 0
Current children cumulated CPU time (s) 1795.62
Current children cumulated vsize (KiB) 142744

[startup+1796.4 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4922
/proc/meminfo: memFree=1714384/2055924 swapFree=4191900/4192956
[pid=4921] ppid=4919 vsize=142744 CPUtime=1795.71
/proc/4921/stat : 4921 (pbscip.linux.x8) R 4919 4921 4633 0 -1 4194304 203576 0 0 0 179143 428 0 0 25 0 1 0 184488251 146169856 31963 1992294400 4194304 9342243 548682068736 18446744073709551615 4301917 0 0 4096 0 0 0 0 17 0 0 0
/proc/4921/statm: 35686 31963 703 1256 0 34425 0
Current children cumulated CPU time (s) 1795.71
Current children cumulated vsize (KiB) 142744

Child status: 0
Real time (s): 1796.49
CPU time (s): 1795.8
CPU user time (s): 1791.5
CPU system time (s): 4.30435
CPU usage (%): 99.9621
Max. virtual memory (cumulated for all children) (KiB): 156928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.5
system time used= 4.30434
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203579
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 1575

runsolver used 1.43178 second user time and 4.00239 second system time

The end

Launcher Data 

Begin job on node6 at 2009-06-16 18:14:34
IDJOB=1869287
IDBENCH=2274
IDSOLVER=684
FILE ID=node6/1869287-1245168874
PBS_JOBID= 9363858
Free space on /tmp= 66240 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-2.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-1869287-1245168874/watcher-1869287-1245168874 -o /tmp/evaluation-result-1869287-1245168874/solver-1869287-1245168874 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869287-1245168874.opb

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

MD5SUM BENCH= 907943cf03e4e0f899b19858f5690e6e
RANDOM SEED=752386739

node6.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.265
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.265
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:      2055924 kB
MemFree:       1840944 kB
Buffers:         37932 kB
Cached:         105696 kB
SwapCached:        260 kB
Active:          50848 kB
Inactive:       106068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1840944 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           12372 kB
Writeback:           0 kB
Mapped:          21808 kB
Slab:            44032 kB
Committed_AS:   161140 kB
PageTables:       1456 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= 66228 MiB
End job on node6 at 2009-06-16 18:44:31