Trace number 1869286

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
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)SAT-32 1795.47 1795.91

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.38	c SCIP version 1.1.0.7
0.29/0.38	c LP-Solver SoPlex 1.4.1
0.29/0.38	c user parameter file <scip.set> not found - using default parameters
0.29/0.38	c read problem <HOME/instance-1869286-1245168865.opb>
0.29/0.38	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.39/1.41	c    (0.9s) probing: 101/595 (17.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.39/1.41	c    (0.9s) probing aborted: 100/100 successive totally useless probings
1.39/1.41	c presolving (2 rounds):
1.39/1.41	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.39/1.41	c  55694 implications, 0 cliques
1.39/1.41	c presolved problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 27847 constraints
1.39/1.41	c   27847 constraints of type <logicor>
1.39/1.41	c transformed objective value is always integral (scale: 1)
1.39/1.41	c Presolving Time: 0.90
1.39/1.42	c strange?!, PURESAT with obj
1.39/1.42	c -----------------------------------------------------------------------------------------------
1.39/1.42	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.39/1.42	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.42	c limits/memory = c 1620
1.39/1.42	c # maximal time in seconds to run
1.39/1.42	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.42	c limits/time = c 1791
1.39/1.42	c # frequency for displaying node information lines
1.39/1.42	c # [type: int, range: [-1,2147483647], default: 100]
1.39/1.42	c display/freq = c 10000
1.39/1.42	c -----------------------------------------------------------------------------------------------
1.39/1.42	c start solving problem
1.39/1.42	c 
2.20/2.29	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.20/2.29	c   1.8s|     1 |     0 |   598 |  31M|   0 | 595 | 595 |  27k|  27k| 595 |  27k|   0 |   0 |   0 |-2.975000e+02 |      --      |    Inf 
2.20/2.30	o 0
2.20/2.30	c r 1.8s|     1 |     0 |   598 |  31M|   0 | 595 | 595 |  27k|  27k| 595 |  27k|   0 |   0 |   0 |-2.975000e+02 | 0.000000e+00 | 100.00%
2.29/2.34	o -1
2.29/2.34	c R 1.8s|     1 |     0 |   598 |  31M|   0 | 595 | 595 |  27k|  27k| 595 |  27k|   0 |   0 |   0 |-2.975000e+02 |-1.000000e+00 |  99.66%
3.89/3.93	c   3.4s|     1 |     0 |   765 |  31M|   0 | 549 | 595 |  27k|  27k| 595 |  27k|   5 |   0 |   0 |-2.745000e+02 |-1.000000e+00 |  99.64%
5.39/5.43	c   4.9s|     1 |     0 |   843 |  31M|   0 | 518 | 595 |  27k|  27k| 595 |  27k|  11 |   0 |   0 |-2.590000e+02 |-1.000000e+00 |  99.61%
7.39/7.42	c   6.9s|     1 |     0 |   945 |  31M|   0 | 485 | 595 |  27k|  27k| 595 |  27k|  20 |   0 |   0 |-2.417500e+02 |-1.000000e+00 |  99.59%
9.49/9.50	c   8.9s|     1 |     0 |  1013 |  31M|   0 | 469 | 595 |  27k|  27k| 595 |  27k|  26 |   0 |   0 |-2.337500e+02 |-1.000000e+00 |  99.57%
11.79/11.83	c  11.3s|     1 |     0 |  1152 |  31M|   0 | 451 | 595 |  27k|  27k| 595 |  27k|  35 |   0 |   0 |-2.247500e+02 |-1.000000e+00 |  99.56%
14.39/14.42	c  13.8s|     1 |     0 |  1355 |  31M|   0 | 420 | 595 |  27k|  27k| 595 |  27k|  42 |   0 |   0 |-2.092500e+02 |-1.000000e+00 |  99.52%
17.09/17.11	c  16.5s|     1 |     0 |  1529 |  31M|   0 | 392 | 595 |  27k|  27k| 595 |  27k|  46 |   0 |   0 |-1.952500e+02 |-1.000000e+00 |  99.49%
19.49/19.54	c  19.0s|     1 |     0 |  1663 |  31M|   0 | 362 | 595 |  27k|  27k| 595 |  27k|  53 |   0 |   0 |-1.802500e+02 |-1.000000e+00 |  99.45%
21.99/22.05	c  21.5s|     1 |     0 |  1820 |  31M|   0 | 341 | 595 |  27k|  27k| 595 |  27k|  63 |   0 |   0 |-1.697500e+02 |-1.000000e+00 |  99.41%
24.99/25.06	c  24.5s|     1 |     0 |  2088 |  31M|   0 | 311 | 595 |  27k|  27k| 595 |  27k|  69 |   0 |   0 |-1.547500e+02 |-1.000000e+00 |  99.35%
26.39/26.46	c  25.9s|     1 |     0 |  2320 |  31M|   0 | 282 | 595 |  27k|  27k| 595 |  27k|  75 |   0 |   0 |-1.402500e+02 |-1.000000e+00 |  99.29%
27.98/28.03	c  27.4s|     1 |     0 |  2613 |  31M|   0 | 254 | 595 |  27k|  27k| 595 |  27k|  85 |   0 |   0 |-1.257500e+02 |-1.000000e+00 |  99.20%
28.99/29.03	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
28.99/29.03	c  28.4s|     1 |     0 |  2764 |  31M|   0 | 224 | 595 |  27k|  27k| 595 |  27k|  94 |   0 |   0 |-1.107500e+02 |-1.000000e+00 |  99.10%
30.38/30.45	c  29.9s|     1 |     0 |  3041 |  31M|   0 | 191 | 595 |  27k|  27k| 595 |  27k| 101 |   0 |   0 |-9.475000e+01 |-1.000000e+00 |  98.94%
32.28/32.34	c  31.7s|     1 |     0 |  3533 |  31M|   0 | 166 | 595 |  27k|  27k| 595 |  27k| 108 |   0 |   0 |-8.225000e+01 |-1.000000e+00 |  98.78%
33.28/33.37	c  32.8s|     1 |     0 |  3698 |  31M|   0 | 138 | 595 |  27k|  27k| 595 |  27k| 115 |   0 |   0 |-6.825000e+01 |-1.000000e+00 |  98.53%
34.68/34.72	c  34.1s|     1 |     0 |  3975 |  31M|   0 | 114 | 595 |  27k|  27k| 595 |  27k| 124 |   0 |   0 |-5.400000e+01 |-1.000000e+00 |  98.15%
35.58/35.62	c  35.0s|     1 |     0 |  4118 |  31M|   0 | 104 | 595 |  27k|  27k| 595 |  27k| 131 |   0 |   0 |-4.150000e+01 |-1.000000e+00 |  97.59%
35.58/35.64	o -1
35.58/35.64	c s35.0s|     1 |     0 |  4118 |  31M|   0 | 104 | 595 |  27k|  27k| 595 |  27k| 131 |   0 |   0 |-4.150000e+01 |-1.000000e+00 |  97.59%
36.58/36.62	c  36.0s|     1 |     0 |  4266 |  31M|   0 |  90 | 595 |  27k|  27k| 595 |  27k| 141 |   0 |   0 |-3.500000e+01 |-1.000000e+00 |  97.14%
37.28/37.37	c  36.7s|     1 |     0 |  4322 |  31M|   0 | 115 | 595 |  27k|  27k| 595 |  27k| 146 |   0 |   0 |-3.500000e+01 |-1.000000e+00 |  97.14%
37.77/37.88	c  37.2s|     1 |     0 |  4383 |  32M|   0 | 118 | 595 |  27k|  27k| 595 |  27k| 158 |   0 |   0 |-3.500000e+01 |-1.000000e+00 |  97.14%
38.77/38.80	c  38.2s|     1 |     0 |  4569 |  32M|   0 | 124 | 595 |  27k|  27k| 595 |  27k| 169 |   0 |   0 |-3.500000e+01 |-1.000000e+00 |  97.14%
46.27/46.35	c  45.7s|     1 |     0 |  4807 |  32M|   0 | 126 | 595 |  27k|  27k| 595 |  27k| 181 |   0 |   0 |-3.500000e+01 |-1.000000e+00 |  97.14%
47.27/47.38	c  46.7s|     1 |     0 |  4987 |  32M|   0 | 100 | 595 |  27k|  27k| 595 |  27k| 190 |   0 |   0 |-3.500000e+01 |-1.000000e+00 |  97.14%
47.27/47.39	o -2
47.27/47.39	c r46.7s|     1 |     0 |  4987 |  32M|   0 | 100 | 595 |  27k|  27k| 595 |  27k| 190 |   0 |   0 |-3.500000e+01 |-2.000000e+00 |  94.29%
47.27/47.40	o -3
47.27/47.40	c R46.7s|     1 |     0 |  4987 |  32M|   0 | 100 | 595 |  27k|  27k| 595 |  27k| 190 |   0 |   0 |-3.500000e+01 |-3.000000e+00 |  91.43%
47.37/47.41	o -4
47.37/47.41	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
47.37/47.41	c s46.7s|     1 |     0 |  4987 |  32M|   0 | 100 | 595 |  27k|  27k| 595 |  27k| 190 |   0 |   0 |-3.500000e+01 |-4.000000e+00 |  88.57%
47.37/47.43	o -24
47.37/47.43	c k46.8s|     1 |     0 |  4987 |  32M|   0 | 100 | 595 |  27k|  27k| 595 |  27k| 190 |   0 |   0 |-3.500000e+01 |-2.400000e+01 |  31.43%
48.47/48.50	c  47.7s|     1 |     0 |  4987 |  32M|   0 | 100 | 595 |  27k|  27k| 595 |  27k| 190 |   0 |   0 |-3.500000e+01 |-2.400000e+01 |  31.43%
49.17/49.27	c  48.5s|     1 |     0 |  5119 |  32M|   0 | 132 | 595 |  27k|  27k| 595 |  28k| 204 |   0 |   0 |-3.500000e+01 |-2.400000e+01 |  31.43%
88.46/88.54	c  87.7s|     1 |     2 |  5119 |  32M|   0 | 132 | 595 |  27k|  27k| 595 |  28k| 204 |   0 |  33 |-3.500000e+01 |-2.400000e+01 |  31.43%
194.74/194.89	o -25
194.74/194.89	c c 194s|    15 |    13 |  6372 |  32M|  14 |   - | 595 |  27k|  26k| 595 |  27k| 204 |   0 | 339 |-3.500000e+01 |-2.500000e+01 |  28.57%
262.42/262.56	o -26
262.42/262.56	c * 261s|    27 |    21 |  7340 |  32M|  14 |   - | 595 |  27k|  22k| 595 |  27k| 204 |   0 | 570 |-3.500000e+01 |-2.600000e+01 |  25.71%
326.20/326.31	o -27
326.20/326.31	c p 325s|    39 |    31 |  8251 |  33M|  14 |   - | 595 |  27k|  21k| 595 |  27k| 204 |   0 | 757 |-3.500000e+01 |-2.700000e+01 |  22.86%
432.78/432.91	o -28
432.78/432.91	c g 431s|   160 |   114 | 14043 |  34M|  26 |   - | 595 |  27k|7743 | 595 |  27k| 204 |   0 |1083 |-3.500000e+01 |-2.800000e+01 |  20.00%
459.87/460.07	o -29
459.87/460.07	c * 458s|   306 |   167 | 19907 |  34M|  33 |   - | 595 |  27k|  10k| 595 |  27k| 204 |   0 |1116 |-3.500000e+01 |-2.900000e+01 |  17.14%
551.85/552.02	o -30
551.85/552.02	c * 550s|  1004 |   382 | 39608 |  36M|  61 |   - | 595 |  27k|9609 | 595 |  27k| 204 |   0 |1268 |-3.500000e+01 |-3.000000e+01 |  14.29%
631.33/631.58	o -31
631.33/631.58	c * 630s|  1898 |   510 | 60095 |  37M|  70 |   - | 595 |  27k|7796 | 595 |  27k| 204 |   0 |1355 |-3.500000e+01 |-3.100000e+01 |  11.43%
909.16/909.41	o -32
909.16/909.41	c c 907s|  4070 |   923 |136965 |  41M|  73 |   - | 595 |  27k|6336 | 595 |  27k| 204 |   0 |1696 |-3.500000e+01 |-3.200000e+01 |   8.57%
1731.06/1731.56	c  1727s| 10000 |  2761 |369873 |  57M|  99 |  77 | 595 |  27k|6263 | 595 |  27k| 204 |   0 |2527 |-3.500000e+01 |-3.200000e+01 |   8.57%
1795.25/1795.76	c 
1795.25/1795.76	c SCIP Status        : solving was interrupted [time limit reached]
1795.25/1795.76	c Solving Time (sec) : 1791.02
1795.25/1795.76	c Solving Nodes      : 10461
1795.25/1795.76	c Primal Bound       : -3.20000000000000e+01 (341 solutions)
1795.25/1795.76	c Dual Bound         : -3.50000000000000e+01
1795.25/1795.76	c Gap                : 8.57 %
1795.25/1795.77	c NODE         10461
1795.25/1795.77	c DUAL BOUND   -35
1795.25/1795.77	c PRIMAL BOUND -32
1795.25/1795.77	c GAP          0.0857143
1795.25/1795.77	s SATISFIABLE
1795.25/1795.77	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.25/1795.77	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.25/1795.77	v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 
1795.25/1795.77	v -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 
1795.25/1795.77	v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 
1795.25/1795.77	v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 
1795.25/1795.77	v -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 
1795.25/1795.77	v -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 
1795.25/1795.77	v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 
1795.25/1795.77	v -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 
1795.25/1795.77	v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 
1795.25/1795.77	v -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 
1795.25/1795.77	v -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 
1795.25/1795.77	v -x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 
1795.25/1795.77	v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 
1795.25/1795.77	v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 
1795.25/1795.77	v -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 
1795.25/1795.77	v -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 
1795.25/1795.77	v x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 
1795.25/1795.77	v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 
1795.25/1795.77	v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 
1795.25/1795.77	v -x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 
1795.25/1795.77	v -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 
1795.25/1795.77	v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 
1795.25/1795.77	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 
1795.25/1795.77	v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 
1795.25/1795.77	v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 
1795.25/1795.77	v -x587 -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595 
1795.25/1795.77	c SCIP Status        : solving was interrupted [time limit reached]
1795.25/1795.77	c Solving Time       :    1791.02
1795.25/1795.77	c Original Problem   :
1795.25/1795.77	c   Problem name     : HOME/instance-1869286-1245168865.opb
1795.25/1795.77	c   Variables        : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.25/1795.77	c   Constraints      : 27847 initial, 27847 maximal
1795.25/1795.77	c Presolved Problem  :
1795.25/1795.77	c   Problem name     : t_HOME/instance-1869286-1245168865.opb
1795.25/1795.77	c   Variables        : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.25/1795.77	c   Constraints      : 27847 initial, 27847 maximal
1795.25/1795.77	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1795.25/1795.77	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1795.25/1795.77	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1795.25/1795.77	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1795.25/1795.77	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1795.25/1795.77	c   implics          :       0.00          0          0          0          0          0          0          0          0
1795.25/1795.77	c   probing          :       0.62          0          0          0          0          0          0          0          0
1795.25/1795.77	c   logicor          :       0.07          0          0          0          0          0          0          0          0
1795.25/1795.77	c   root node        :          -          0          -          -          0          -          -          -          -
1795.25/1795.77	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1795.25/1795.77	c   integral         :          0          0          0       7197          0         14        289          0          0      14004
1795.25/1795.77	c   logicor          :      27847         25      11763          4          0          0     180048          0          0          0
1795.25/1795.77	c   countsols        :          0          0          0          4          0          0          0          0          0          0
1795.25/1795.77	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1795.25/1795.77	c   integral         :     616.85       0.00       0.00     616.85       0.00
1795.25/1795.77	c   logicor          :       7.22       0.12       7.10       0.00       0.00
1795.25/1795.77	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1795.25/1795.77	c Propagators        :       Time      Calls    Cutoffs    DomReds
1795.25/1795.77	c   rootredcost      :       0.00          8          0          0
1795.25/1795.77	c   pseudoobj        :       0.78      19600          0          0
1795.25/1795.77	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1795.25/1795.77	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1795.25/1795.77	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1795.25/1795.77	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1795.25/1795.77	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1795.25/1795.77	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1795.25/1795.77	c   applied globally :          -          -          -          0        0.0          -          -          -
1795.25/1795.77	c   applied locally  :          -          -          -          0        0.0          -          -          -
1795.25/1795.77	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1795.25/1795.77	c   cut pool         :       0.00         24          -          -         58          -    (maximal pool size: 483)
1795.25/1795.77	c   redcost          :       0.46       7239          0         23          0          0
1795.25/1795.77	c   impliedbounds    :       0.03         25          0          0          0          0
1795.25/1795.77	c   intobj           :       0.00          0          0          0          0          0
1795.25/1795.77	c   gomory           :      13.20         25          0          0      12344          0
1795.25/1795.77	c   strongcg         :       5.30         20          0          0      10000          0
1795.25/1795.77	c   cmir             :       5.47         10          0          0          0          0
1795.25/1795.77	c   flowcover        :       5.89         10          0          0          0          0
1795.25/1795.77	c   clique           :       0.52         25          0          0        221          0
1795.25/1795.77	c   zerohalf         :       0.00          0          0          0          0          0
1795.25/1795.77	c   mcf              :       0.04          1          0          0          0          0
1795.25/1795.77	c Pricers            :       Time      Calls       Vars
1795.25/1795.77	c   problem variables:       0.00          0          0
1795.25/1795.77	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1795.25/1795.77	c   relpscost        :     616.85       7193         14        289          0          0      14004
1795.25/1795.77	c   pscost           :       0.00          0          0          0          0          0          0
1795.25/1795.77	c   inference        :       0.00          0          0          0          0          0          0
1795.25/1795.77	c   mostinf          :       0.00          0          0          0          0          0          0
1795.25/1795.77	c   leastinf         :       0.00          0          0          0          0          0          0
1795.25/1795.77	c   fullstrong       :       0.00          0          0          0          0          0          0
1795.25/1795.77	c   allfullstrong    :       0.00          0          0          0          0          0          0
1795.25/1795.77	c   random           :       0.00          0          0          0          0          0          0
1795.25/1795.77	c Primal Heuristics  :       Time      Calls      Found
1795.25/1795.77	c   LP solutions     :       0.01          -          4
1795.25/1795.77	c   pseudo solutions :       0.00          -          0
1795.25/1795.77	c   feaspump         :       0.00          0          0
1795.25/1795.77	c   oneopt           :       0.09          9          1
1795.25/1795.77	c   veclendiving     :       9.21         17          6
1795.25/1795.77	c   objpscostdiving  :       4.88          9         38
1795.25/1795.77	c   rootsoldiving    :       5.22          9         36
1795.25/1795.77	c   coefdiving       :      11.88         18          4
1795.25/1795.77	c   fracdiving       :      13.67         18          6
1795.25/1795.77	c   pscostdiving     :       6.58         18         14
1795.25/1795.77	c   linesearchdiving :       4.86         18          4
1795.25/1795.77	c   guideddiving     :      14.97         18          5
1795.25/1795.77	c   crossover        :       1.71          9          1
1795.25/1795.77	c   simplerounding   :       0.63       7218        215
1795.25/1795.77	c   rounding         :      19.87       4710          2
1795.25/1795.77	c   shifting         :       3.94        731          4
1795.25/1795.77	c   intshifting      :       0.00          0          0
1795.25/1795.77	c   fixandinfer      :       0.00          0          0
1795.25/1795.77	c   intdiving        :       0.00          0          0
1795.25/1795.77	c   actconsdiving    :       0.00          0          0
1795.25/1795.77	c   octane           :       0.00          0          0
1795.25/1795.77	c   rens             :       0.98          1          1
1795.25/1795.77	c   rins             :       0.00          0          0
1795.25/1795.77	c   localbranching   :       0.00          0          0
1795.25/1795.77	c   mutation         :       0.00          0          0
1795.25/1795.77	c   dins             :       0.00          0          0
1795.25/1795.77	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1795.25/1795.77	c   primal LP        :       0.06          0          0       0.00       0.00
1795.25/1795.77	c   dual LP          :     956.51      10663     366382      34.36     383.04
1795.25/1795.77	c   barrier LP       :       0.00          0          0       0.00          -
1795.25/1795.77	c   diving/probing LP:      62.56       1593      19943      12.52     318.78
1795.25/1795.77	c   strong branching :     616.14       2627     206547      78.62     335.23
1795.25/1795.77	c     (at root node) :          -         33      11643     352.82          -
1795.25/1795.77	c   conflict analysis:       0.00          0          0       0.00          -
1795.25/1795.77	c B&B Tree           :
1795.25/1795.77	c   number of runs   :          1
1795.25/1795.77	c   nodes            :      10461
1795.25/1795.77	c   nodes (total)    :      10461
1795.25/1795.77	c   nodes left       :       2894
1795.25/1795.77	c   max depth        :         99
1795.25/1795.77	c   max depth (total):         99
1795.25/1795.77	c   backtracks       :       1001 (9.6%)
1795.25/1795.77	c   delayed cutoffs  :          0
1795.25/1795.77	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1795.25/1795.77	c   avg switch length:       3.69
1795.25/1795.77	c   switching time   :       7.29
1795.25/1795.77	c Solution           :
1795.25/1795.77	c   Solutions found  :        341 (15 improvements)
1795.25/1795.77	c   Primal Bound     : -3.20000000000000e+01   (in run 1, after 4070 nodes, 906.70 seconds, depth 23, found by <coefdiving>)
1795.25/1795.77	c   Dual Bound       : -3.50000000000000e+01
1795.25/1795.77	c   Gap              :       8.57 %
1795.25/1795.77	c   Root Dual Bound  : -3.50000000000000e+01
1795.45/1795.90	c Time complete: 1795.45.

Verifier Data 

OK	-32

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869286-1245168865/watcher-1869286-1245168865 -o /tmp/evaluation-result-1869286-1245168865/solver-1869286-1245168865 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869286-1245168865.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.93 3/67 9402
/proc/meminfo: memFree=1298008/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=6100 CPUtime=0
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 514 0 0 0 0 0 0 0 18 0 1 0 173375854 6246400 496 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 1525 507 325 886 0 635 0

[startup+0.0562049 s]
/proc/loadavg: 1.00 1.00 0.93 3/67 9402
/proc/meminfo: memFree=1298008/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=10812 CPUtime=0.04
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 2009 0 0 0 4 0 0 0 18 0 1 0 173375854 11071488 1991 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 2703 1997 354 886 0 1813 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10812

[startup+0.101207 s]
/proc/loadavg: 1.00 1.00 0.93 3/67 9402
/proc/meminfo: memFree=1298008/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=12408 CPUtime=0.09
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 2427 0 0 0 8 1 0 0 18 0 1 0 173375854 12705792 2409 1992294400 4194304 7823515 548682068736 18446744073709551615 6908089 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 3102 2409 354 886 0 2212 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12408

[startup+0.301225 s]
/proc/loadavg: 1.00 1.00 0.93 3/67 9402
/proc/meminfo: memFree=1298008/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=18120 CPUtime=0.29
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 3834 0 0 0 28 1 0 0 19 0 1 0 173375854 18554880 3816 1992294400 4194304 7823515 548682068736 18446744073709551615 6908072 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 4530 3816 354 886 0 3640 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18120

[startup+0.70126 s]
/proc/loadavg: 1.00 1.00 0.93 3/67 9402
/proc/meminfo: memFree=1298008/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=49584 CPUtime=0.69
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 12524 0 0 0 61 8 0 0 22 0 1 0 173375854 50774016 11398 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 12396 11398 423 886 0 11506 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49584

[startup+1.50133 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1250896/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=65864 CPUtime=1.49
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 15798 0 0 0 137 12 0 0 25 0 1 0 173375854 67444736 14567 1992294400 4194304 7823515 548682068736 18446744073709551615 6191479 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 16466 14569 483 886 0 15576 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65864

[startup+3.10148 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1227024/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=85764 CPUtime=3.09
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 21515 0 0 0 292 17 0 0 25 0 1 0 173375854 87822336 19450 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 21441 19450 528 886 0 20551 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85764

[startup+6.30176 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1216656/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=91864 CPUtime=6.29
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 23016 0 0 0 609 20 0 0 25 0 1 0 173375854 94068736 20848 1992294400 4194304 7823515 548682068736 18446744073709551615 5575805 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 22966 20848 546 886 0 22076 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 91864

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1213976/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=92388 CPUtime=12.69
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 23640 0 0 0 1249 20 0 0 25 0 1 0 173375854 94605312 21472 1992294400 4194304 7823515 548682068736 18446744073709551615 5575805 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 23097 21472 547 886 0 22207 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 92388

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1213272/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=92668 CPUtime=25.49
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 23839 0 0 0 2527 22 0 0 25 0 1 0 173375854 94892032 21671 1992294400 4194304 7823515 548682068736 18446744073709551615 5965831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 23167 21671 547 886 0 22277 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 92668

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1182936/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=122888 CPUtime=51.07
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 31454 0 0 0 5068 39 0 0 25 0 1 0 173375854 125837312 29276 1992294400 4194304 7823515 548682068736 18446744073709551615 6211594 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30722 29276 570 886 0 29832 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 122888

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1182744/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=122888 CPUtime=102.26
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 31506 0 0 0 10179 47 0 0 25 0 1 0 173375854 125837312 29328 1992294400 4194304 7823515 548682068736 18446744073709551615 6263358 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30722 29328 570 886 0 29832 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 122888

[startup+162.303 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1182744/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=122888 CPUtime=162.24
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 31506 0 0 0 16167 57 0 0 25 0 1 0 173375854 125837312 29328 1992294400 4194304 7823515 548682068736 18446744073709551615 4266257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30722 29328 570 886 0 29832 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 122888

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1182744/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=122888 CPUtime=222.23
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 31507 0 0 0 22156 67 0 0 25 0 1 0 173375854 125837312 29329 1992294400 4194304 7823515 548682068736 18446744073709551615 6212558 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30722 29329 571 886 0 29832 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 122888

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1182744/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=122888 CPUtime=282.21
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 31507 0 0 0 28144 77 0 0 25 0 1 0 173375854 125837312 29329 1992294400 4194304 7823515 548682068736 18446744073709551615 6151351 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30722 29329 571 886 0 29832 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 122888

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1182680/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=122888 CPUtime=342.2
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 31507 0 0 0 34128 92 0 0 25 0 1 0 173375854 125837312 29329 1992294400 4194304 7823515 548682068736 18446744073709551615 6212325 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30722 29329 571 886 0 29832 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 122888

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1182680/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=122888 CPUtime=402.19
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 31507 0 0 0 40114 105 0 0 25 0 1 0 173375854 125837312 29329 1992294400 4194304 7823515 548682068736 18446744073709551615 6212443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30722 29329 571 886 0 29832 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 122888

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1182168/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=122888 CPUtime=462.17
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 31655 0 0 0 46102 115 0 0 25 0 1 0 173375854 125837312 29460 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30722 29460 571 886 0 29832 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 122888

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1179864/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=125688 CPUtime=522.15
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 32225 0 0 0 52086 129 0 0 25 0 1 0 173375854 128704512 30030 1992294400 4194304 7823515 548682068736 18446744073709551615 6211018 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 31422 30030 572 886 0 30532 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 125688

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1177560/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=127124 CPUtime=582.14
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 32804 0 0 0 58071 143 0 0 25 0 1 0 173375854 130174976 30609 1992294400 4194304 7823515 548682068736 18446744073709551615 6212724 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 31781 30609 572 886 0 30891 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 127124

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1176088/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=129240 CPUtime=642.13
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 33165 0 0 0 64056 157 0 0 25 0 1 0 173375854 132341760 30970 1992294400 4194304 7823515 548682068736 18446744073709551615 6109391 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 32310 30970 572 886 0 31420 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 129240

[startup+702.302 s]

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

/proc/meminfo: memFree=1181144/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=122940 CPUtime=1062.02
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 40412 0 0 0 105955 247 0 0 25 0 1 0 173375854 125890560 29648 1992294400 4194304 7823515 548682068736 18446744073709551615 6110794 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30735 29648 576 886 0 29845 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 122940

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1181144/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=122940 CPUtime=1122.01
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 40414 0 0 0 111941 260 0 0 25 0 1 0 173375854 125890560 29650 1992294400 4194304 7823515 548682068736 18446744073709551615 6234864 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30735 29650 576 886 0 29845 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 122940

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1181208/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=122940 CPUtime=1182
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 40414 0 0 0 117931 269 0 0 25 0 1 0 173375854 125890560 29650 1992294400 4194304 7823515 548682068736 18446744073709551615 6158131 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30735 29650 576 886 0 29845 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 122940

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1181080/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=122940 CPUtime=1241.99
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 43823 0 0 0 123916 283 0 0 25 0 1 0 173375854 125890560 29650 1992294400 4194304 7823515 548682068736 18446744073709551615 6109354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30735 29650 576 886 0 29845 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 122940

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1181080/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=122940 CPUtime=1301.97
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 43824 0 0 0 129903 294 0 0 25 0 1 0 173375854 125890560 29651 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30735 29651 576 886 0 29845 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 122940

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1181080/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=122940 CPUtime=1361.95
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 43824 0 0 0 135890 305 0 0 25 0 1 0 173375854 125890560 29651 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30735 29651 576 886 0 29845 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 122940

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1180696/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=123244 CPUtime=1421.95
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 48376 0 0 0 141874 321 0 0 25 0 1 0 173375854 126201856 29727 1992294400 4194304 7823515 548682068736 18446744073709551615 6099671 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30811 29727 576 886 0 29921 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 123244

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1180696/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=123244 CPUtime=1481.92
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 48376 0 0 0 147860 332 0 0 25 0 1 0 173375854 126201856 29727 1992294400 4194304 7823515 548682068736 18446744073709551615 6099077 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30811 29727 576 886 0 29921 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 123244

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1180696/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=123244 CPUtime=1541.91
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 48377 0 0 0 153845 346 0 0 25 0 1 0 173375854 126201856 29728 1992294400 4194304 7823515 548682068736 18446744073709551615 5994915 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30811 29728 576 886 0 29921 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 123244

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1180696/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=123244 CPUtime=1601.9
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 48379 0 0 0 159833 357 0 0 25 0 1 0 173375854 126201856 29730 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30811 29730 576 886 0 29921 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 123244

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1180696/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=123244 CPUtime=1661.88
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 48379 0 0 0 165821 367 0 0 25 0 1 0 173375854 126201856 29730 1992294400 4194304 7823515 548682068736 18446744073709551615 6234857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30811 29730 576 886 0 29921 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 123244

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9405
/proc/meminfo: memFree=1180632/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=123244 CPUtime=1721.87
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 48379 0 0 0 171808 379 0 0 25 0 1 0 173375854 126201856 29730 1992294400 4194304 7823515 548682068736 18446744073709551615 6211398 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30811 29730 576 886 0 29921 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 123244

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9405
/proc/meminfo: memFree=1180760/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=123244 CPUtime=1781.85
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 48380 0 0 0 177795 390 0 0 25 0 1 0 173375854 126201856 29731 1992294400 4194304 7823515 548682068736 18446744073709551615 6212774 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30811 29731 576 886 0 29921 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 123244

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9405
/proc/meminfo: memFree=1180760/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=123244 CPUtime=1785.05
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 48380 0 0 0 178114 391 0 0 25 0 1 0 173375854 126201856 29731 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30811 29731 576 886 0 29921 0
Current children cumulated CPU time (s) 1785.05
Current children cumulated vsize (KiB) 123244

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9405
/proc/meminfo: memFree=1180760/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=123244 CPUtime=1791.45
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 48380 0 0 0 178752 393 0 0 25 0 1 0 173375854 126201856 29731 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30811 29731 576 886 0 29921 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (KiB) 123244

[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9405
/proc/meminfo: memFree=1180760/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=123244 CPUtime=1793.05
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 48380 0 0 0 178912 393 0 0 25 0 1 0 173375854 126201856 29731 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30811 29731 576 886 0 29921 0
Current children cumulated CPU time (s) 1793.05
Current children cumulated vsize (KiB) 123244

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9405
/proc/meminfo: memFree=1180760/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=123244 CPUtime=1794.65
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 48380 0 0 0 179072 393 0 0 25 0 1 0 173375854 126201856 29731 1992294400 4194304 7823515 548682068736 18446744073709551615 6237784 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30811 29731 576 886 0 29921 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (KiB) 123244

[startup+1795.5 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9405
/proc/meminfo: memFree=1180760/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=123244 CPUtime=1795.04
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 48380 0 0 0 179111 393 0 0 25 0 1 0 173375854 126201856 29731 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30811 29731 576 886 0 29921 0
Current children cumulated CPU time (s) 1795.04
Current children cumulated vsize (KiB) 123244

[startup+1795.9 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9405
/proc/meminfo: memFree=1180760/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=66876 CPUtime=1795.45
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 48382 0 0 0 179150 395 0 0 17 0 1 0 173375854 68481024 15743 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 16719 15743 5132 886 0 15829 0
Current children cumulated CPU time (s) 1795.45
Current children cumulated vsize (KiB) 66876

Child status: 0
Real time (s): 1795.91
CPU time (s): 1795.47
CPU user time (s): 1791.51
CPU system time (s): 3.9584
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 141316

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

runsolver used 1.69274 second user time and 4.84626 second system time

The end

Launcher Data 

Begin job on node68 at 2009-06-16 18:14:25
IDJOB=1869286
IDBENCH=2274
IDSOLVER=683
FILE ID=node68/1869286-1245168865
PBS_JOBID= 9363870
Free space on /tmp= 66472 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
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.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869286-1245168865/watcher-1869286-1245168865 -o /tmp/evaluation-result-1869286-1245168865/solver-1869286-1245168865 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869286-1245168865.opb

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

MD5SUM BENCH= 907943cf03e4e0f899b19858f5690e6e
RANDOM SEED=391869200

node68.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.238
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.238
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:       1298424 kB
Buffers:         68444 kB
Cached:         592312 kB
SwapCached:          0 kB
Active:         321044 kB
Inactive:       356120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1298424 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           10480 kB
Writeback:           0 kB
Mapped:          26464 kB
Slab:            65896 kB
Committed_AS:    81812 kB
PageTables:       1564 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66464 MiB
End job on node68 at 2009-06-16 18:44:21