Trace number 1869240

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-38 1795.34 1795.78

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb
MD5SUMaabc023158e10c9511062af8ac97c515
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-38
Best CPU time to get the best result obtained on this benchmark1795.34
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -44
Optimality of the best value was proved NO
Number of variables945
Total number of constraints58624
Number of constraints which are clauses58624
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 945
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 945
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 945
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.69/0.78	c SCIP version 1.1.0.7
0.69/0.78	c LP-Solver SoPlex 1.4.1
0.69/0.78	c user parameter file <scip.set> not found - using default parameters
0.69/0.78	c read problem <HOME/instance-1869240-1245166000.opb>
0.69/0.78	c original problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58624 constraints
0.89/0.90	c start presolving problem
0.89/0.90	c presolving:
1.49/1.58	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 58624 upgd conss, 117248 impls, 0 clqs
2.89/2.96	c    (2.0s) probing: 101/945 (10.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.89/2.96	c    (2.0s) probing aborted: 100/100 successive totally useless probings
2.89/2.96	c presolving (2 rounds):
2.89/2.96	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.89/2.96	c  117248 implications, 0 cliques
2.89/2.96	c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58624 constraints
2.89/2.96	c   58624 constraints of type <logicor>
2.89/2.96	c transformed objective value is always integral (scale: 1)
2.89/2.96	c Presolving Time: 1.92
2.89/2.97	c strange?!, PURESAT with obj
2.89/2.97	c -----------------------------------------------------------------------------------------------
2.89/2.97	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.89/2.97	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.89/2.97	c limits/memory = c 1620
2.89/2.97	c # maximal time in seconds to run
2.89/2.97	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.89/2.97	c limits/time = c 1791
2.89/2.97	c # frequency for displaying node information lines
2.89/2.97	c # [type: int, range: [-1,2147483647], default: 100]
2.89/2.97	c display/freq = c 10000
2.89/2.97	c -----------------------------------------------------------------------------------------------
2.89/2.97	c start solving problem
2.89/2.97	c 
5.79/5.81	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
5.79/5.81	c   4.8s|     1 |     0 |   946 |  65M|   0 | 945 | 945 |  58k|  58k| 945 |  58k|   0 |   0 |   0 |-4.725000e+02 |      --      |    Inf 
5.79/5.82	o 0
5.79/5.82	c r 4.8s|     1 |     0 |   946 |  65M|   0 | 945 | 945 |  58k|  58k| 945 |  58k|   0 |   0 |   0 |-4.725000e+02 | 0.000000e+00 | 100.00%
5.89/5.93	o -1
5.89/5.93	c R 4.9s|     1 |     0 |   946 |  65M|   0 | 945 | 945 |  58k|  58k| 945 |  58k|   0 |   0 |   0 |-4.725000e+02 |-1.000000e+00 |  99.79%
5.99/6.06	o -2
5.99/6.06	c s 5.0s|     1 |     0 |   946 |  65M|   0 | 945 | 945 |  58k|  58k| 945 |  58k|   0 |   0 |   0 |-4.725000e+02 |-2.000000e+00 |  99.58%
10.29/10.34	c   9.3s|     1 |     0 |  1234 |  65M|   0 | 888 | 945 |  58k|  58k| 945 |  58k|   5 |   0 |   0 |-4.440000e+02 |-2.000000e+00 |  99.55%
15.59/15.65	c  14.6s|     1 |     0 |  1504 |  65M|   0 | 839 | 945 |  58k|  58k| 945 |  58k|  20 |   0 |   0 |-4.195000e+02 |-2.000000e+00 |  99.52%
21.39/21.41	c  20.3s|     1 |     0 |  1653 |  65M|   0 | 798 | 945 |  58k|  58k| 945 |  58k|  26 |   0 |   0 |-3.990000e+02 |-2.000000e+00 |  99.50%
28.38/28.42	c  27.3s|     1 |     0 |  1865 |  65M|   0 | 755 | 945 |  58k|  58k| 945 |  58k|  37 |   0 |   0 |-3.775000e+02 |-2.000000e+00 |  99.47%
36.48/36.51	c  35.4s|     1 |     0 |  2120 |  65M|   0 | 713 | 945 |  58k|  58k| 945 |  58k|  49 |   0 |   0 |-3.565000e+02 |-2.000000e+00 |  99.44%
44.98/45.08	c  43.9s|     1 |     0 |  2407 |  65M|   0 | 655 | 945 |  58k|  58k| 945 |  58k|  60 |   0 |   0 |-3.275000e+02 |-2.000000e+00 |  99.39%
54.27/54.34	c  53.2s|     1 |     0 |  2657 |  65M|   0 | 620 | 945 |  58k|  58k| 945 |  58k|  65 |   0 |   0 |-3.100000e+02 |-2.000000e+00 |  99.35%
63.97/64.04	c  62.9s|     1 |     0 |  2973 |  65M|   0 | 581 | 945 |  58k|  58k| 945 |  58k|  72 |   0 |   0 |-2.905000e+02 |-2.000000e+00 |  99.31%
73.57/73.65	c  72.5s|     1 |     0 |  3323 |  65M|   0 | 525 | 945 |  58k|  58k| 945 |  58k|  78 |   0 |   0 |-2.625000e+02 |-2.000000e+00 |  99.24%
83.26/83.36	c  82.2s|     1 |     0 |  3652 |  65M|   0 | 485 | 945 |  58k|  58k| 945 |  58k|  88 |   0 |   0 |-2.425000e+02 |-2.000000e+00 |  99.18%
85.96/86.02	c  84.8s|     1 |     0 |  3830 |  65M|   0 | 449 | 945 |  58k|  58k| 945 |  58k|  95 |   0 |   0 |-2.245000e+02 |-2.000000e+00 |  99.11%
89.66/89.76	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
89.66/89.76	c  88.6s|     1 |     0 |  4203 |  65M|   0 | 393 | 945 |  58k|  58k| 945 |  58k| 106 |   0 |   0 |-1.965000e+02 |-2.000000e+00 |  98.98%
93.16/93.21	c  92.0s|     1 |     0 |  4497 |  65M|   0 | 357 | 945 |  58k|  58k| 945 |  58k| 110 |   0 |   0 |-1.785000e+02 |-2.000000e+00 |  98.88%
96.96/97.01	c  95.8s|     1 |     0 |  4887 |  65M|   0 | 316 | 945 |  58k|  58k| 945 |  58k| 116 |   0 |   0 |-1.580000e+02 |-2.000000e+00 |  98.73%
101.16/101.21	c   100s|     1 |     0 |  5323 |  65M|   0 | 277 | 945 |  58k|  58k| 945 |  58k| 119 |   0 |   0 |-1.385000e+02 |-2.000000e+00 |  98.56%
104.16/104.25	c   103s|     1 |     0 |  5600 |  65M|   0 | 258 | 945 |  58k|  58k| 945 |  58k| 124 |   0 |   0 |-1.290000e+02 |-2.000000e+00 |  98.45%
108.66/108.73	c   108s|     1 |     0 |  6148 |  65M|   0 | 220 | 945 |  58k|  58k| 945 |  58k| 130 |   0 |   0 |-1.100000e+02 |-2.000000e+00 |  98.18%
112.55/112.66	c   111s|     1 |     0 |  6550 |  66M|   0 | 185 | 945 |  58k|  58k| 945 |  58k| 135 |   0 |   0 |-9.250000e+01 |-2.000000e+00 |  97.84%
116.85/116.96	c   116s|     1 |     0 |  7191 |  66M|   0 | 149 | 945 |  58k|  58k| 945 |  58k| 142 |   0 |   0 |-7.450000e+01 |-2.000000e+00 |  97.32%
119.36/119.42	c   118s|     1 |     0 |  7393 |  66M|   0 | 142 | 945 |  58k|  58k| 945 |  58k| 146 |   0 |   0 |-6.550000e+01 |-2.000000e+00 |  96.95%
121.55/121.62	c   120s|     1 |     0 |  7688 |  66M|   0 | 114 | 945 |  58k|  58k| 945 |  58k| 154 |   0 |   0 |-5.150000e+01 |-2.000000e+00 |  96.12%
121.55/121.65	o -3
121.55/121.65	c R 120s|     1 |     0 |  7688 |  66M|   0 | 114 | 945 |  58k|  58k| 945 |  58k| 154 |   0 |   0 |-5.150000e+01 |-3.000000e+00 |  94.17%
121.55/121.68	o -4
121.55/121.68	c s 120s|     1 |     0 |  7688 |  66M|   0 | 114 | 945 |  58k|  58k| 945 |  58k| 154 |   0 |   0 |-5.150000e+01 |-4.000000e+00 |  92.23%
124.05/124.11	c   123s|     1 |     0 |  8002 |  66M|   0 | 157 | 945 |  58k|  58k| 945 |  58k| 161 |   0 |   0 |-4.500000e+01 |-4.000000e+00 |  91.11%
138.65/138.75	c   137s|     1 |     0 |  8106 |  66M|   0 | 160 | 945 |  58k|  58k| 945 |  58k| 169 |   0 |   0 |-4.500000e+01 |-4.000000e+00 |  91.11%
153.85/153.97	c   153s|     1 |     0 |  8240 |  66M|   0 | 163 | 945 |  58k|  58k| 945 |  58k| 182 |   0 |   0 |-4.500000e+01 |-4.000000e+00 |  91.11%
158.25/158.35	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
158.25/158.35	c   157s|     1 |     0 |  8441 |  66M|   0 | 170 | 945 |  58k|  58k| 945 |  58k| 194 |   0 |   0 |-4.500000e+01 |-4.000000e+00 |  91.11%
163.14/163.29	c   162s|     1 |     0 |  8531 |  66M|   0 | 198 | 945 |  58k|  58k| 945 |  58k| 205 |   0 |   0 |-4.500000e+01 |-4.000000e+00 |  91.11%
204.23/204.35	c   203s|     1 |     0 |  8726 |  66M|   0 | 190 | 945 |  58k|  58k| 945 |  58k| 218 |   0 |   0 |-4.500000e+01 |-4.000000e+00 |  91.11%
204.33/204.43	o -29
204.33/204.43	c k 203s|     1 |     0 |  8726 |  66M|   0 | 190 | 945 |  58k|  58k| 945 |  58k| 218 |   0 |   0 |-4.500000e+01 |-2.900000e+01 |  35.56%
207.23/207.38	c   206s|     1 |     0 |  8726 |  66M|   0 | 190 | 945 |  58k|  58k| 945 |  58k| 218 |   0 |   0 |-4.500000e+01 |-2.900000e+01 |  35.56%
222.43/222.50	c   221s|     1 |     0 |  9059 |  66M|   0 | 181 | 945 |  58k|  58k| 945 |  58k| 229 |   0 |   0 |-4.500000e+01 |-2.900000e+01 |  35.56%
291.61/291.71	c   290s|     1 |     2 |  9059 |  66M|   0 | 181 | 945 |  58k|  58k| 945 |  58k| 229 |   0 |  18 |-4.500000e+01 |-2.900000e+01 |  35.56%
744.61/744.89	o -33
744.61/744.89	c c 743s|    15 |    16 | 11721 |  67M|  14 |   - | 945 |  58k|  56k| 945 |  58k| 229 |   0 | 357 |-4.500000e+01 |-3.300000e+01 |  26.67%
1011.04/1011.35	o -38
1011.04/1011.35	c p1009s|    28 |    26 | 16655 |  68M|  14 |   - | 945 |  58k|  54k| 945 |  58k| 229 |   0 | 472 |-4.500000e+01 |-3.800000e+01 |  15.56%
1794.96/1795.49	c 
1794.96/1795.49	c SCIP Status        : solving was interrupted [time limit reached]
1794.96/1795.49	c Solving Time (sec) : 1791.57
1794.96/1795.49	c Solving Nodes      : 1410
1794.96/1795.49	c Primal Bound       : -3.80000000000000e+01 (374 solutions)
1794.96/1795.49	c Dual Bound         : -4.49999999999999e+01
1794.96/1795.49	c Gap                : 15.56 %
1795.06/1795.52	c NODE         1410
1795.06/1795.52	c DUAL BOUND   -45
1795.06/1795.52	c PRIMAL BOUND -38
1795.06/1795.52	c GAP          0.155556
1795.06/1795.52	s SATISFIABLE
1795.06/1795.52	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.06/1795.52	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.06/1795.52	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.06/1795.52	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.06/1795.52	v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 
1795.06/1795.52	v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 
1795.06/1795.52	v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 
1795.06/1795.52	v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 
1795.06/1795.52	v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 
1795.06/1795.52	v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 
1795.06/1795.52	v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 
1795.06/1795.52	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 
1795.06/1795.52	v -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 
1795.06/1795.52	v x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 
1795.06/1795.52	v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 
1795.06/1795.52	v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 
1795.06/1795.52	v x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 
1795.06/1795.52	v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 x392 -x393 -x394 -x395 -x396 
1795.06/1795.52	v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 
1795.06/1795.52	v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 
1795.06/1795.52	v -x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 
1795.06/1795.52	v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 
1795.06/1795.52	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 
1795.06/1795.52	v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 
1795.06/1795.52	v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 
1795.06/1795.52	v -x544 -x545 x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 x563 -x564 
1795.06/1795.52	v -x565 -x566 -x567 x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 
1795.06/1795.52	v -x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 
1795.06/1795.52	v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 
1795.06/1795.52	v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 
1795.06/1795.52	v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 
1795.06/1795.52	v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 -x689 -x690 
1795.06/1795.52	v -x691 -x692 -x693 x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 
1795.06/1795.52	v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 
1795.06/1795.52	v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 
1795.06/1795.52	v -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 
1795.06/1795.52	v -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 x790 -x791 -x792 -x793 -x794 -x795 
1795.06/1795.52	v -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 
1795.06/1795.52	v -x817 -x818 -x819 -x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 
1795.06/1795.52	v -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 
1795.06/1795.52	v -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 
1795.06/1795.52	v -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 
1795.06/1795.52	v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 -x921 
1795.06/1795.52	v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 
1795.06/1795.52	v -x943 -x944 -x945 
1795.06/1795.52	c SCIP Status        : solving was interrupted [time limit reached]
1795.06/1795.52	c Solving Time       :    1791.57
1795.06/1795.52	c Original Problem   :
1795.06/1795.52	c   Problem name     : HOME/instance-1869240-1245166000.opb
1795.06/1795.52	c   Variables        : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.06/1795.52	c   Constraints      : 58624 initial, 58624 maximal
1795.06/1795.52	c Presolved Problem  :
1795.06/1795.52	c   Problem name     : t_HOME/instance-1869240-1245166000.opb
1795.06/1795.52	c   Variables        : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.06/1795.52	c   Constraints      : 58624 initial, 58624 maximal
1795.06/1795.52	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1795.06/1795.52	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1795.06/1795.52	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1795.06/1795.52	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1795.06/1795.52	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1795.06/1795.52	c   implics          :       0.00          0          0          0          0          0          0          0          0
1795.06/1795.52	c   probing          :       1.29          0          0          0          0          0          0          0          0
1795.06/1795.52	c   logicor          :       0.17          0          0          0          0          0          0          0          0
1795.06/1795.52	c   root node        :          -          0          -          -          0          -          -          -          -
1795.06/1795.52	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1795.06/1795.52	c   integral         :          0          0          0       1133          0          1         26          0          0       2250
1795.06/1795.52	c   logicor          :      58624         28       1997          0          0          0      28633          0          0          0
1795.06/1795.52	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1795.06/1795.52	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1795.06/1795.52	c   integral         :     978.53       0.00       0.00     978.53       0.00
1795.06/1795.52	c   logicor          :       2.53       0.28       2.25       0.00       0.00
1795.06/1795.52	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1795.06/1795.52	c Propagators        :       Time      Calls    Cutoffs    DomReds
1795.06/1795.52	c   rootredcost      :       0.01          2          0          0
1795.06/1795.52	c   pseudoobj        :       0.34       3408          0          0
1795.06/1795.52	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1795.06/1795.52	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1795.06/1795.52	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1795.06/1795.52	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1795.06/1795.52	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1795.06/1795.52	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1795.06/1795.52	c   applied globally :          -          -          -          0        0.0          -          -          -
1795.06/1795.52	c   applied locally  :          -          -          -          0        0.0          -          -          -
1795.06/1795.52	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1795.06/1795.52	c   cut pool         :       0.00         27          -          -         49          -    (maximal pool size: 472)
1795.06/1795.52	c   redcost          :       0.16       1163          0          3          0          0
1795.06/1795.52	c   impliedbounds    :       0.07         28          0          0          0          0
1795.06/1795.52	c   intobj           :       0.00          0          0          0          0          0
1795.06/1795.52	c   gomory           :     101.86         28          0          0      13511          0
1795.06/1795.52	c   strongcg         :      13.26         20          0          0      10000          0
1795.06/1795.52	c   cmir             :      20.05         10          0          0          0          0
1795.06/1795.52	c   flowcover        :      23.20         10          0          0          0          0
1795.06/1795.52	c   clique           :       1.55         28          0          0        261          0
1795.06/1795.52	c   zerohalf         :       0.00          0          0          0          0          0
1795.06/1795.52	c   mcf              :       0.09          1          0          0          0          0
1795.06/1795.52	c Pricers            :       Time      Calls       Vars
1795.06/1795.52	c   problem variables:       0.00          0          0
1795.06/1795.52	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1795.06/1795.52	c   relpscost        :     978.52       1133          1         26          0          0       2250
1795.06/1795.52	c   pscost           :       0.00          0          0          0          0          0          0
1795.06/1795.52	c   inference        :       0.00          0          0          0          0          0          0
1795.06/1795.52	c   mostinf          :       0.00          0          0          0          0          0          0
1795.06/1795.52	c   leastinf         :       0.00          0          0          0          0          0          0
1795.06/1795.52	c   fullstrong       :       0.00          0          0          0          0          0          0
1795.06/1795.52	c   allfullstrong    :       0.00          0          0          0          0          0          0
1795.06/1795.52	c   random           :       0.00          0          0          0          0          0          0
1795.06/1795.52	c Primal Heuristics  :       Time      Calls      Found
1795.06/1795.52	c   LP solutions     :       0.00          -          0
1795.06/1795.52	c   pseudo solutions :       0.00          -          0
1795.06/1795.52	c   intshifting      :       0.00          0          0
1795.06/1795.52	c   oneopt           :       0.07          3          1
1795.06/1795.52	c   objpscostdiving  :      13.29          3         22
1795.06/1795.52	c   rootsoldiving    :       4.99          3         11
1795.06/1795.52	c   coefdiving       :       9.50          6         21
1795.06/1795.52	c   fracdiving       :      21.01          6          7
1795.06/1795.52	c   pscostdiving     :       9.95          6         31
1795.06/1795.52	c   veclendiving     :      13.84          6          6
1795.06/1795.52	c   guideddiving     :      13.33          6          7
1795.06/1795.52	c   simplerounding   :       1.42       1161        248
1795.06/1795.52	c   rounding         :      10.20       1161          2
1795.06/1795.52	c   shifting         :       2.59        143          6
1795.06/1795.52	c   fixandinfer      :       0.00          0          0
1795.06/1795.52	c   feaspump         :       0.00          0          0
1795.06/1795.52	c   intdiving        :       0.00          0          0
1795.06/1795.52	c   actconsdiving    :       0.00          0          0
1795.06/1795.52	c   linesearchdiving :       6.79          6         10
1795.06/1795.52	c   octane           :       0.00          0          0
1795.06/1795.52	c   rens             :       2.79          1          1
1795.06/1795.52	c   rins             :       0.00          0          0
1795.06/1795.52	c   localbranching   :       0.00          0          0
1795.06/1795.52	c   mutation         :       0.00          0          0
1795.06/1795.52	c   crossover        :       0.86          2          1
1795.06/1795.52	c   dins             :       0.00          0          0
1795.06/1795.52	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1795.06/1795.52	c   primal LP        :       0.14          0          0       0.00       0.00
1795.06/1795.52	c   dual LP          :     513.52       1445      93419      64.65     181.92
1795.06/1795.52	c   barrier LP       :       0.00          0          0       0.00          -
1795.06/1795.52	c   diving/probing LP:      83.70        707      13229      18.71     158.05
1795.06/1795.52	c   strong branching :     978.38        845     158335     187.38     161.83
1795.06/1795.52	c     (at root node) :          -         18      10750     597.22          -
1795.06/1795.52	c   conflict analysis:       0.00          0          0       0.00          -
1795.06/1795.52	c B&B Tree           :
1795.06/1795.52	c   number of runs   :          1
1795.06/1795.52	c   nodes            :       1410
1795.06/1795.52	c   nodes (total)    :       1410
1795.06/1795.52	c   nodes left       :        838
1795.06/1795.52	c   max depth        :         44
1795.06/1795.52	c   max depth (total):         44
1795.06/1795.52	c   backtracks       :        107 (7.6%)
1795.06/1795.52	c   delayed cutoffs  :          0
1795.06/1795.52	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1795.06/1795.52	c   avg switch length:       2.65
1795.06/1795.52	c   switching time   :       1.54
1795.06/1795.52	c Solution           :
1795.06/1795.52	c   Solutions found  :        374 (8 improvements)
1795.06/1795.52	c   Primal Bound     : -3.80000000000000e+01   (in run 1, after 28 nodes, 1008.61 seconds, depth 31, found by <pscostdiving>)
1795.06/1795.52	c   Dual Bound       : -4.49999999999999e+01
1795.06/1795.52	c   Gap              :      15.56 %
1795.06/1795.52	c   Root Dual Bound  : -4.49999999999999e+01
1795.26/1795.77	c Time complete: 1795.33.

Verifier Data 

OK	-38

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869240-1245166000/watcher-1869240-1245166000 -o /tmp/evaluation-result-1869240-1245166000/solver-1869240-1245166000 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869240-1245166000.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 1234
/proc/meminfo: memFree=1745768/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=4648 CPUtime=0
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 493 0 0 0 0 0 0 0 18 0 1 0 184201006 4759552 478 1992294400 4194304 7823515 548682068736 18446744073709551615 5898624 0 0 4096 0 0 0 0 17 1 0 0
/proc/1234/statm: 1162 484 318 886 0 272 0

[startup+0.071292 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 1234
/proc/meminfo: memFree=1745768/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=11216 CPUtime=0.06
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 2125 0 0 0 6 0 0 0 18 0 1 0 184201006 11485184 2107 1992294400 4194304 7823515 548682068736 18446744073709551615 6908077 0 0 4096 0 0 0 0 17 1 0 0
/proc/1234/statm: 2804 2107 354 886 0 1914 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11216

[startup+0.101294 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 1234
/proc/meminfo: memFree=1745768/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=12652 CPUtime=0.1
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 2488 0 0 0 9 1 0 0 18 0 1 0 184201006 12955648 2470 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/1234/statm: 3163 2470 354 886 0 2273 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 12652

[startup+0.30131 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 1234
/proc/meminfo: memFree=1745768/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=18420 CPUtime=0.29
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 3910 0 0 0 28 1 0 0 19 0 1 0 184201006 18862080 3892 1992294400 4194304 7823515 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 1 0 0
/proc/1234/statm: 4605 3892 354 886 0 3715 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18420

[startup+0.701343 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 1234
/proc/meminfo: memFree=1745768/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=28092 CPUtime=0.69
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 6362 0 0 0 67 2 0 0 22 0 1 0 184201006 28766208 6344 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/1234/statm: 7023 6344 354 886 0 6133 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28092

[startup+1.50141 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 1235
/proc/meminfo: memFree=1683744/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=88208 CPUtime=1.49
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 22990 0 0 0 133 16 0 0 25 0 1 0 184201006 90324992 21013 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 22052 21013 423 886 0 21162 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 88208

[startup+3.10154 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 1235
/proc/meminfo: memFree=1656544/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=105908 CPUtime=3.09
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 27544 0 0 0 288 21 0 0 25 0 1 0 184201006 108449792 25457 1992294400 4194304 7823515 548682068736 18446744073709551615 6190640 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 26477 25457 481 886 0 25587 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 105908

[startup+6.3028 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 1235
/proc/meminfo: memFree=1604064/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=162888 CPUtime=6.29
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 40881 0 0 0 602 27 0 0 25 0 1 0 184201006 166797312 36974 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 40722 36974 525 886 0 39832 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 162888

[startup+12.7013 s]
/proc/loadavg: 0.87 0.97 0.99 2/65 1235
/proc/meminfo: memFree=1594856/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=168840 CPUtime=12.69
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 42185 0 0 0 1236 33 0 0 25 0 1 0 184201006 172892160 38110 1992294400 4194304 7823515 548682068736 18446744073709551615 5575805 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 42210 38110 547 886 0 41320 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 168840

[startup+25.5014 s]
/proc/loadavg: 0.90 0.97 0.99 2/65 1235
/proc/meminfo: memFree=1586600/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=171892 CPUtime=25.49
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 44282 0 0 0 2513 36 0 0 25 0 1 0 184201006 176017408 40207 1992294400 4194304 7823515 548682068736 18446744073709551615 5597697 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 42973 40207 547 886 0 42083 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 171892

[startup+51.1015 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 1235
/proc/meminfo: memFree=1585704/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=171892 CPUtime=51.07
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 44493 0 0 0 5069 38 0 0 25 0 1 0 184201006 176017408 40418 1992294400 4194304 7823515 548682068736 18446744073709551615 5597699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 42973 40418 548 886 0 42083 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 171892

[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.99 2/65 1235
/proc/meminfo: memFree=1585256/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=171892 CPUtime=102.26
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 44604 0 0 0 10183 43 0 0 25 0 1 0 184201006 176017408 40529 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 42973 40529 548 886 0 42083 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 171892

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1235
/proc/meminfo: memFree=1585256/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=171892 CPUtime=162.24
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 44615 0 0 0 16168 56 0 0 25 0 1 0 184201006 176017408 40538 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 42973 40538 548 886 0 42083 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 171892

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1235
/proc/meminfo: memFree=1540968/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=214416 CPUtime=222.23
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 55679 0 0 0 22135 88 0 0 25 0 1 0 184201006 219561984 51602 1992294400 4194304 7823515 548682068736 18446744073709551615 6212422 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 53604 51602 569 886 0 52714 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 214416

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1235
/proc/meminfo: memFree=1540968/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=214416 CPUtime=282.22
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 55680 0 0 0 28129 93 0 0 25 0 1 0 184201006 219561984 51603 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 53604 51603 570 886 0 52714 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 214416

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1235
/proc/meminfo: memFree=1540904/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=214416 CPUtime=342.2
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 55680 0 0 0 34121 99 0 0 25 0 1 0 184201006 219561984 51603 1992294400 4194304 7823515 548682068736 18446744073709551615 5924546 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 53604 51603 570 886 0 52714 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 214416

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1235
/proc/meminfo: memFree=1540904/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=214416 CPUtime=402.18
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 55680 0 0 0 40114 104 0 0 25 0 1 0 184201006 219561984 51603 1992294400 4194304 7823515 548682068736 18446744073709551615 6211327 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 53604 51603 570 886 0 52714 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 214416

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1235
/proc/meminfo: memFree=1540904/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=214416 CPUtime=462.18
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 55680 0 0 0 46107 111 0 0 25 0 1 0 184201006 219561984 51603 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 53604 51603 570 886 0 52714 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 214416

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1235
/proc/meminfo: memFree=1540840/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=214416 CPUtime=522.16
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 55680 0 0 0 52098 118 0 0 25 0 1 0 184201006 219561984 51603 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 53604 51603 570 886 0 52714 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 214416

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1235
/proc/meminfo: memFree=1540840/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=214416 CPUtime=582.15
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 55680 0 0 0 58091 124 0 0 25 0 1 0 184201006 219561984 51603 1992294400 4194304 7823515 548682068736 18446744073709551615 5925260 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 53604 51603 570 886 0 52714 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 214416

[startup+642.302 s]
/proc/loadavg: 1.05 0.99 0.99 2/65 1235
/proc/meminfo: memFree=1540840/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=214416 CPUtime=642.14
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 55680 0 0 0 64083 131 0 0 25 0 1 0 184201006 219561984 51603 1992294400 4194304 7823515 548682068736 18446744073709551615 6211728 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 53604 51603 570 886 0 52714 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 214416

[startup+702.302 s]

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

/proc/meminfo: memFree=1540712/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=214416 CPUtime=1062.03
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 55697 0 0 0 106025 178 0 0 25 0 1 0 184201006 219561984 51604 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 53604 51604 571 886 0 52714 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 214416

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1235
/proc/meminfo: memFree=1540648/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=214416 CPUtime=1122.02
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 55703 0 0 0 112015 187 0 0 25 0 1 0 184201006 219561984 51610 1992294400 4194304 7823515 548682068736 18446744073709551615 6908057 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 53604 51610 571 886 0 52714 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 214416

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1235
/proc/meminfo: memFree=1536808/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=218028 CPUtime=1182.01
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 56670 0 0 0 118000 201 0 0 25 0 1 0 184201006 223260672 52577 1992294400 4194304 7823515 548682068736 18446744073709551615 6211057 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 54507 52577 576 886 0 53617 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 218028

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1235
/proc/meminfo: memFree=1536552/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=218028 CPUtime=1241.99
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 56722 0 0 0 123992 207 0 0 25 0 1 0 184201006 223260672 52629 1992294400 4194304 7823515 548682068736 18446744073709551615 6211142 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 54507 52629 576 886 0 53617 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 218028

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1235
/proc/meminfo: memFree=1532200/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=222324 CPUtime=1301.98
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 57796 0 0 0 129979 219 0 0 25 0 1 0 184201006 227659776 53703 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 55581 53703 576 886 0 54691 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 222324

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1235
/proc/meminfo: memFree=1532264/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=222324 CPUtime=1361.96
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 57797 0 0 0 135970 226 0 0 25 0 1 0 184201006 227659776 53704 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 55581 53704 576 886 0 54691 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 222324

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1235
/proc/meminfo: memFree=1532264/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=222324 CPUtime=1421.95
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 57797 0 0 0 141962 233 0 0 25 0 1 0 184201006 227659776 53704 1992294400 4194304 7823515 548682068736 18446744073709551615 5978312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 55581 53704 576 886 0 54691 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 222324

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1237
/proc/meminfo: memFree=1532008/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=222324 CPUtime=1481.93
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 57797 0 0 0 147953 240 0 0 25 0 1 0 184201006 227659776 53704 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 55581 53704 576 886 0 54691 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 222324

[startup+1542.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 1237
/proc/meminfo: memFree=1532008/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=222324 CPUtime=1541.92
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 57797 0 0 0 153946 246 0 0 25 0 1 0 184201006 227659776 53704 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 55581 53704 576 886 0 54691 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 222324

[startup+1602.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 1237
/proc/meminfo: memFree=1532008/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=222324 CPUtime=1601.9
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 57797 0 0 0 159937 253 0 0 25 0 1 0 184201006 227659776 53704 1992294400 4194304 7823515 548682068736 18446744073709551615 6212000 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 55581 53704 576 886 0 54691 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 222324

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1237
/proc/meminfo: memFree=1532008/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=222324 CPUtime=1661.89
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 57799 0 0 0 165929 260 0 0 25 0 1 0 184201006 227659776 53706 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 55581 53706 576 886 0 54691 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 222324

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1237
/proc/meminfo: memFree=1532008/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=222324 CPUtime=1721.88
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 57799 0 0 0 171922 266 0 0 25 0 1 0 184201006 227659776 53706 1992294400 4194304 7823515 548682068736 18446744073709551615 6212100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 55581 53706 576 886 0 54691 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 222324

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1237
/proc/meminfo: memFree=1532008/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=222324 CPUtime=1781.86
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 57799 0 0 0 177914 272 0 0 25 0 1 0 184201006 227659776 53706 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 55581 53706 576 886 0 54691 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 222324

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1237
/proc/meminfo: memFree=1532008/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=222324 CPUtime=1785.06
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 57799 0 0 0 178234 272 0 0 25 0 1 0 184201006 227659776 53706 1992294400 4194304 7823515 548682068736 18446744073709551615 6211142 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 55581 53706 576 886 0 54691 0
Current children cumulated CPU time (s) 1785.06
Current children cumulated vsize (KiB) 222324

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1237
/proc/meminfo: memFree=1532008/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=222324 CPUtime=1791.47
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 57799 0 0 0 178874 273 0 0 25 0 1 0 184201006 227659776 53706 1992294400 4194304 7823515 548682068736 18446744073709551615 6110644 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 55581 53706 576 886 0 54691 0
Current children cumulated CPU time (s) 1791.47
Current children cumulated vsize (KiB) 222324

[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1237
/proc/meminfo: memFree=1532008/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=222324 CPUtime=1793.06
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 57799 0 0 0 179033 273 0 0 25 0 1 0 184201006 227659776 53706 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 55581 53706 576 886 0 54691 0
Current children cumulated CPU time (s) 1793.06
Current children cumulated vsize (KiB) 222324

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1237
/proc/meminfo: memFree=1532008/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=222324 CPUtime=1794.66
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 57799 0 0 0 179193 273 0 0 25 0 1 0 184201006 227659776 53706 1992294400 4194304 7823515 548682068736 18446744073709551615 6212327 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1234/statm: 55581 53706 576 886 0 54691 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 222324

[startup+1795.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1237
/proc/meminfo: memFree=1532008/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=222324 CPUtime=1795.06
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 57799 0 0 0 179232 274 0 0 25 0 1 0 184201006 227659776 53706 1992294400 4194304 7823515 548682068736 18446744073709551615 5030125 0 0 4096 0 0 0 0 17 1 0 0
/proc/1234/statm: 55581 53706 576 886 0 54691 0
Current children cumulated CPU time (s) 1795.06
Current children cumulated vsize (KiB) 222324

[startup+1795.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1237
/proc/meminfo: memFree=1532008/2055920 swapFree=4191900/4192956
[pid=1234] ppid=1232 vsize=222324 CPUtime=1795.26
/proc/1234/stat : 1234 (pbscip.linux.x8) R 1232 1234 1197 0 -1 4194304 57801 0 0 0 179252 274 0 0 18 0 1 0 184201006 227659776 53708 1992294400 4194304 7823515 548682068736 18446744073709551615 5875722 0 0 4096 0 0 0 0 17 1 0 0
/proc/1234/statm: 55581 53708 578 886 0 54691 0
Current children cumulated CPU time (s) 1795.26
Current children cumulated vsize (KiB) 222324

Child status: 0
Real time (s): 1795.78
CPU time (s): 1795.34
CPU user time (s): 1792.57
CPU system time (s): 2.77658
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (KiB): 222324

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

runsolver used 1.9467 second user time and 4.08138 second system time

The end

Launcher Data 

Begin job on node3 at 2009-06-16 17:26:40
IDJOB=1869240
IDBENCH=2251
IDSOLVER=683
FILE ID=node3/1869240-1245166000
PBS_JOBID= 9363879
Free space on /tmp= 66316 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/frb45-21-opb/normalized-frb45-21-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-1869240-1245166000/watcher-1869240-1245166000 -o /tmp/evaluation-result-1869240-1245166000/solver-1869240-1245166000 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869240-1245166000.opb

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

MD5SUM BENCH= aabc023158e10c9511062af8ac97c515
RANDOM SEED=1171683983

node3.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.236
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.236
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:       1746184 kB
Buffers:         41668 kB
Cached:         196820 kB
SwapCached:        260 kB
Active:          58380 kB
Inactive:       193264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1746184 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           11324 kB
Writeback:           0 kB
Mapped:          21660 kB
Slab:            44112 kB
Committed_AS:   153012 kB
PageTables:       1376 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= 66308 MiB
End job on node3 at 2009-06-16 17:56:36