Trace number 1869241

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2SAT-39 1794.13 1794.76

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 Clp 1.8.2
0.69/0.78	c user parameter file <scip.set> not found - using default parameters
0.69/0.78	c read problem <HOME/instance-1869241-1245166005.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.88/2.96	c    (2.0s) probing: 101/945 (10.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.88/2.96	c    (2.0s) probing aborted: 100/100 successive totally useless probings
2.88/2.96	c presolving (2 rounds):
2.88/2.96	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.88/2.96	c  117248 implications, 0 cliques
2.88/2.96	c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58624 constraints
2.88/2.96	c   58624 constraints of type <logicor>
2.88/2.96	c transformed objective value is always integral (scale: 1)
2.88/2.96	c Presolving Time: 1.90
2.88/2.97	c strange?!, PURESAT with obj
2.88/2.97	c -----------------------------------------------------------------------------------------------
2.88/2.97	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.88/2.97	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.88/2.97	c limits/memory = c 1620
2.88/2.97	c # maximal time in seconds to run
2.88/2.97	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.88/2.97	c limits/time = c 1791
2.88/2.97	c # frequency for displaying node information lines
2.88/2.97	c # [type: int, range: [-1,2147483647], default: 100]
2.88/2.97	c display/freq = c 10000
2.88/2.97	c -----------------------------------------------------------------------------------------------
2.88/2.97	c start solving problem
2.88/2.97	c 
4.19/4.29	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.19/4.29	c   3.3s|     1 |     0 |   946 |  65M|   0 | 945 | 945 |  58k|  58k| 945 |  58k|   0 |   0 |   0 |-4.725000e+02 |      --      |    Inf 
4.19/4.30	o 0
4.19/4.30	c r 3.3s|     1 |     0 |   946 |  65M|   0 | 945 | 945 |  58k|  58k| 945 |  58k|   0 |   0 |   0 |-4.725000e+02 | 0.000000e+00 | 100.00%
4.39/4.40	o -1
4.39/4.40	c R 3.4s|     1 |     0 |   946 |  65M|   0 | 945 | 945 |  58k|  58k| 945 |  58k|   0 |   0 |   0 |-4.725000e+02 |-1.000000e+00 |  99.79%
4.49/4.54	o -2
4.49/4.54	c s 3.5s|     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.33	c   9.3s|     1 |     0 |  1313 |  65M|   0 | 884 | 945 |  58k|  58k| 945 |  58k|  10 |   0 |   0 |-4.420000e+02 |-2.000000e+00 |  99.55%
17.38/17.40	c  16.3s|     1 |     0 |  1627 |  65M|   0 | 844 | 945 |  58k|  58k| 945 |  58k|  16 |   0 |   0 |-4.220000e+02 |-2.000000e+00 |  99.53%
26.39/26.47	c  25.4s|     1 |     0 |  1994 |  65M|   0 | 801 | 945 |  58k|  58k| 945 |  58k|  25 |   0 |   0 |-4.005000e+02 |-2.000000e+00 |  99.50%
36.47/36.56	c  35.5s|     1 |     0 |  2389 |  65M|   0 | 762 | 945 |  58k|  58k| 945 |  58k|  35 |   0 |   0 |-3.810000e+02 |-2.000000e+00 |  99.48%
47.17/47.24	c  46.1s|     1 |     0 |  2784 |  65M|   0 | 720 | 945 |  58k|  58k| 945 |  58k|  43 |   0 |   0 |-3.600000e+02 |-2.000000e+00 |  99.44%
58.16/58.30	c  57.2s|     1 |     0 |  3157 |  65M|   0 | 683 | 945 |  58k|  58k| 945 |  58k|  49 |   0 |   0 |-3.415000e+02 |-2.000000e+00 |  99.41%
73.05/73.18	c  72.0s|     1 |     0 |  3878 |  65M|   0 | 628 | 945 |  58k|  58k| 945 |  58k|  57 |   0 |   0 |-3.140000e+02 |-2.000000e+00 |  99.36%
84.34/84.42	c  83.3s|     1 |     0 |  4230 |  65M|   0 | 590 | 945 |  58k|  58k| 945 |  58k|  63 |   0 |   0 |-2.950000e+02 |-2.000000e+00 |  99.32%
96.54/96.61	c  95.4s|     1 |     0 |  4715 |  65M|   0 | 548 | 945 |  58k|  58k| 945 |  58k|  72 |   0 |   0 |-2.740000e+02 |-2.000000e+00 |  99.27%
110.04/110.19	c   109s|     1 |     0 |  5418 |  65M|   0 | 508 | 945 |  58k|  58k| 945 |  58k|  83 |   0 |   0 |-2.540000e+02 |-2.000000e+00 |  99.21%
118.83/118.94	c   118s|     1 |     0 |  6236 |  65M|   0 | 453 | 945 |  58k|  58k| 945 |  58k|  91 |   0 |   0 |-2.265000e+02 |-2.000000e+00 |  99.12%
125.44/125.55	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
125.44/125.55	c   124s|     1 |     0 |  6786 |  65M|   0 | 415 | 945 |  58k|  58k| 945 |  58k|  97 |   0 |   0 |-2.075000e+02 |-2.000000e+00 |  99.04%
134.43/134.55	c   133s|     1 |     0 |  7698 |  65M|   0 | 363 | 945 |  58k|  58k| 945 |  58k| 104 |   0 |   0 |-1.815000e+02 |-2.000000e+00 |  98.90%
140.13/140.22	c   139s|     1 |     0 |  8286 |  65M|   0 | 324 | 945 |  58k|  58k| 945 |  58k| 110 |   0 |   0 |-1.620000e+02 |-2.000000e+00 |  98.77%
147.13/147.21	c   146s|     1 |     0 |  9109 |  65M|   0 | 271 | 945 |  58k|  58k| 945 |  58k| 116 |   0 |   0 |-1.355000e+02 |-2.000000e+00 |  98.52%
151.73/151.87	c   151s|     1 |     0 |  9603 |  65M|   0 | 230 | 945 |  58k|  58k| 945 |  58k| 124 |   0 |   0 |-1.150000e+02 |-2.000000e+00 |  98.26%
155.62/155.75	c   154s|     1 |     0 | 10000 |  66M|   0 | 222 | 945 |  58k|  58k| 945 |  58k| 132 |   0 |   0 |-1.050000e+02 |-2.000000e+00 |  98.10%
163.22/163.31	c   162s|     1 |     0 | 10962 |  66M|   0 | 174 | 945 |  58k|  58k| 945 |  58k| 144 |   0 |   0 |-8.700000e+01 |-2.000000e+00 |  97.70%
168.01/168.14	c   167s|     1 |     0 | 11576 |  66M|   0 | 163 | 945 |  58k|  58k| 945 |  58k| 151 |   0 |   0 |-7.000000e+01 |-2.000000e+00 |  97.14%
168.01/168.17	o -3
168.01/168.17	c R 167s|     1 |     0 | 11576 |  66M|   0 | 163 | 945 |  58k|  58k| 945 |  58k| 151 |   0 |   0 |-7.000000e+01 |-3.000000e+00 |  95.71%
168.01/168.20	o -4
168.01/168.20	c s 167s|     1 |     0 | 11576 |  66M|   0 | 163 | 945 |  58k|  58k| 945 |  58k| 151 |   0 |   0 |-7.000000e+01 |-4.000000e+00 |  94.29%
171.62/171.78	c   170s|     1 |     0 | 12025 |  66M|   0 | 158 | 945 |  58k|  58k| 945 |  58k| 160 |   0 |   0 |-5.300000e+01 |-4.000000e+00 |  92.45%
173.02/173.12	c   172s|     1 |     0 | 12236 |  66M|   0 | 149 | 945 |  58k|  58k| 945 |  58k| 169 |   0 |   0 |-4.500000e+01 |-4.000000e+00 |  91.11%
176.62/176.73	c   175s|     1 |     0 | 12364 |  66M|   0 | 147 | 945 |  58k|  58k| 945 |  58k| 181 |   0 |   0 |-4.500000e+01 |-4.000000e+00 |  91.11%
178.32/178.47	c   177s|     1 |     0 | 12428 |  66M|   0 | 146 | 945 |  58k|  58k| 945 |  58k| 195 |   0 |   0 |-4.500000e+01 |-4.000000e+00 |  91.11%
180.22/180.40	c   179s|     1 |     0 | 12616 |  66M|   0 | 228 | 945 |  58k|  58k| 945 |  58k| 207 |   0 |   0 |-4.500000e+01 |-4.000000e+00 |  91.11%
216.80/216.97	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
216.80/216.97	c   216s|     1 |     0 | 12913 |  66M|   0 | 236 | 945 |  58k|  58k| 945 |  58k| 218 |   0 |   0 |-4.500000e+01 |-4.000000e+00 |  91.11%
242.30/242.50	c   241s|     1 |     0 | 13297 |  66M|   0 | 211 | 945 |  58k|  58k| 945 |  58k| 234 |   0 |   0 |-4.500000e+01 |-4.000000e+00 |  91.11%
242.40/242.55	o -4
242.40/242.55	c s 241s|     1 |     0 | 13297 |  66M|   0 | 211 | 945 |  58k|  58k| 945 |  58k| 234 |   0 |   0 |-4.500000e+01 |-4.000000e+00 |  91.11%
242.50/242.60	o -33
242.50/242.60	c k 241s|     1 |     0 | 13297 |  66M|   0 | 211 | 945 |  58k|  58k| 945 |  58k| 234 |   0 |   0 |-4.500000e+01 |-3.300000e+01 |  26.67%
245.70/245.84	c   244s|     1 |     0 | 13297 |  66M|   0 | 211 | 945 |  58k|  58k| 945 |  58k| 234 |   0 |   0 |-4.500000e+01 |-3.300000e+01 |  26.67%
282.78/282.93	c   281s|     1 |     0 | 13854 |  66M|   0 | 317 | 945 |  58k|  58k| 945 |  58k| 239 |   0 |   0 |-4.500000e+01 |-3.300000e+01 |  26.67%
440.23/440.40	c   439s|     1 |     2 | 13854 |  66M|   0 | 317 | 945 |  58k|  58k| 945 |  58k| 239 |   0 |  33 |-4.500000e+01 |-3.300000e+01 |  26.67%
887.88/888.23	o -33
887.88/888.23	c p 886s|    28 |    29 | 18604 |  68M|  17 |   - | 945 |  58k|  30k| 945 |  58k| 239 |   0 | 488 |-4.500000e+01 |-3.300000e+01 |  26.67%
887.98/888.31	o -34
887.98/888.31	c p 886s|    28 |    29 | 18606 |  68M|  17 |   - | 945 |  58k|  30k| 945 |  58k| 239 |   0 | 488 |-4.500000e+01 |-3.400000e+01 |  24.44%
920.66/921.08	o -36
920.66/921.08	c v 919s|    52 |    50 | 25874 |  69M|  17 |   - | 945 |  58k|  55k| 945 |  58k| 239 |   0 | 513 |-4.500000e+01 |-3.600000e+01 |  20.00%
1009.14/1009.57	o -39
1009.14/1009.57	c o1007s|   203 |   195 | 49969 |  71M|  24 |   0 | 945 |  58k|  23k| 945 |  58k| 239 |   0 | 546 |-4.500000e+01 |-3.900000e+01 |  13.33%
1793.76/1794.47	c 
1793.76/1794.47	c SCIP Status        : solving was interrupted [time limit reached]
1793.76/1794.47	c Solving Time (sec) : 1791.00
1793.76/1794.47	c Solving Nodes      : 1262
1793.76/1794.47	c Primal Bound       : -3.90000000000000e+01 (302 solutions)
1793.76/1794.47	c Dual Bound         : -4.49999999999993e+01
1793.76/1794.47	c Gap                : 13.33 %
1793.86/1794.50	c NODE         1262
1793.86/1794.50	c DUAL BOUND   -45
1793.86/1794.50	c PRIMAL BOUND -39
1793.86/1794.50	c GAP          0.133333
1793.86/1794.50	s SATISFIABLE
1793.86/1794.50	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 
1793.86/1794.50	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 
1793.86/1794.50	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 
1793.86/1794.50	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 
1793.86/1794.50	v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 
1793.86/1794.50	v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 
1793.86/1794.50	v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 
1793.86/1794.50	v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 
1793.86/1794.50	v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 
1793.86/1794.50	v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 
1793.86/1794.50	v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 
1793.86/1794.50	v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 
1793.86/1794.50	v -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 
1793.86/1794.50	v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 
1793.86/1794.50	v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 
1793.86/1794.50	v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 
1793.86/1794.50	v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 
1793.86/1794.50	v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 
1793.86/1794.50	v -x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 
1793.86/1794.50	v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 
1793.86/1794.50	v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 
1793.86/1794.50	v x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 
1793.86/1794.50	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 
1793.86/1794.50	v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 
1793.86/1794.50	v -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 
1793.86/1794.50	v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 
1793.86/1794.50	v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 
1793.86/1794.50	v -x586 -x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 
1793.86/1794.50	v -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 
1793.86/1794.50	v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 
1793.86/1794.50	v -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 
1793.86/1794.50	v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 
1793.86/1794.50	v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 
1793.86/1794.50	v x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 
1793.86/1794.50	v -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 
1793.86/1794.50	v -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 
1793.86/1794.50	v -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 -x795 
1793.86/1794.50	v -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 
1793.86/1794.50	v -x817 x818 -x819 -x820 -x821 x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 
1793.86/1794.50	v -x838 -x839 -x840 -x841 -x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 
1793.86/1794.50	v -x859 -x860 -x861 x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 
1793.86/1794.50	v -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 
1793.86/1794.50	v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 x919 -x920 -x921 
1793.86/1794.50	v -x922 -x923 -x924 x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 
1793.86/1794.50	v -x943 -x944 -x945 
1793.86/1794.50	c SCIP Status        : solving was interrupted [time limit reached]
1793.86/1794.50	c Solving Time       :    1791.00
1793.86/1794.50	c Original Problem   :
1793.86/1794.50	c   Problem name     : HOME/instance-1869241-1245166005.opb
1793.86/1794.50	c   Variables        : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.86/1794.50	c   Constraints      : 58624 initial, 58624 maximal
1793.86/1794.50	c Presolved Problem  :
1793.86/1794.50	c   Problem name     : t_HOME/instance-1869241-1245166005.opb
1793.86/1794.50	c   Variables        : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.86/1794.50	c   Constraints      : 58624 initial, 58624 maximal
1793.86/1794.50	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1793.86/1794.50	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1793.86/1794.50	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1793.86/1794.50	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1793.86/1794.50	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1793.86/1794.50	c   implics          :       0.00          0          0          0          0          0          0          0          0
1793.86/1794.50	c   probing          :       1.29          0          0          0          0          0          0          0          0
1793.86/1794.50	c   logicor          :       0.17          0          0          0          0          0          0          0          0
1793.86/1794.50	c   root node        :          -          0          -          -          0          -          -          -          -
1793.86/1794.50	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1793.86/1794.50	c   integral         :          0          0          0       1179          0          1          7          0          0       2350
1793.86/1794.50	c   logicor          :      58624         27       3048          0          0          0      33713          0          0          0
1793.86/1794.50	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1793.86/1794.50	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1793.86/1794.50	c   integral         :     723.55       0.00       0.00     723.55       0.00
1793.86/1794.50	c   logicor          :       3.56       0.25       3.31       0.00       0.00
1793.86/1794.50	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1793.86/1794.50	c Propagators        :       Time      Calls    Cutoffs    DomReds
1793.86/1794.50	c   rootredcost      :       0.00          3          0          0
1793.86/1794.50	c   pseudoobj        :       0.28       5903          0          0
1793.86/1794.50	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1793.86/1794.50	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1793.86/1794.50	c   infeasible LP    :       0.18        798          0          0        0.0          0        0.0          0
1793.86/1794.50	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1793.86/1794.50	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1793.86/1794.50	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1793.86/1794.51	c   applied globally :          -          -          -          0        0.0          -          -          -
1793.86/1794.51	c   applied locally  :          -          -          -          0        0.0          -          -          -
1793.86/1794.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1793.86/1794.51	c   cut pool         :       0.00         26          -          -         77          -    (maximal pool size: 561)
1793.86/1794.51	c   redcost          :       0.17       1205          0          0          0          0
1793.86/1794.51	c   impliedbounds    :       0.07         27          0          0          0          0
1793.86/1794.51	c   intobj           :       0.00          0          0          0          0          0
1793.86/1794.51	c   gomory           :     107.38         27          0          0      12502          0
1793.86/1794.51	c   strongcg         :      10.98         20          0          0      10000          0
1793.86/1794.51	c   cmir             :      20.02         10          0          0          0          0
1793.86/1794.51	c   flowcover        :      22.52         10          0          0          0          0
1793.86/1794.51	c   clique           :       1.64         27          0          0        246          0
1793.86/1794.51	c   zerohalf         :       0.00          0          0          0          0          0
1793.86/1794.51	c   mcf              :       0.10          1          0          0          0          0
1793.86/1794.51	c Pricers            :       Time      Calls       Vars
1793.86/1794.51	c   problem variables:       0.00          0          0
1793.86/1794.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1793.86/1794.51	c   relpscost        :     723.54       1179          1          7          0          0       2350
1793.86/1794.51	c   pscost           :       0.00          0          0          0          0          0          0
1793.86/1794.51	c   inference        :       0.00          0          0          0          0          0          0
1793.86/1794.51	c   mostinf          :       0.00          0          0          0          0          0          0
1793.86/1794.51	c   leastinf         :       0.00          0          0          0          0          0          0
1793.86/1794.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1793.86/1794.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1793.86/1794.51	c   random           :       0.00          0          0          0          0          0          0
1793.86/1794.51	c Primal Heuristics  :       Time      Calls      Found
1793.86/1794.51	c   LP solutions     :       0.00          -          0
1793.86/1794.51	c   pseudo solutions :       0.00          -          0
1793.86/1794.51	c   oneopt           :       0.08          4          1
1793.86/1794.51	c   linesearchdiving :      31.57         17         21
1793.86/1794.51	c   coefdiving       :      52.46         18         15
1793.86/1794.51	c   pscostdiving     :      31.11         18         26
1793.86/1794.51	c   simplerounding   :       0.57       1206        104
1793.86/1794.51	c   rounding         :      10.24       1206          2
1793.86/1794.51	c   shifting         :       2.68        151          8
1793.86/1794.51	c   intshifting      :       0.00          0          0
1793.86/1794.51	c   fixandinfer      :       0.00          0          0
1793.86/1794.51	c   feaspump         :       0.00          0          0
1793.86/1794.51	c   fracdiving       :      79.43         18         17
1793.86/1794.51	c   veclendiving     :      80.61         18         21
1793.86/1794.51	c   intdiving        :       0.00          0          0
1793.86/1794.51	c   actconsdiving    :       0.00          0          0
1793.86/1794.51	c   objpscostdiving  :      12.00          6         49
1793.86/1794.51	c   rootsoldiving    :      11.78          6         30
1793.86/1794.51	c   guideddiving     :      75.86         16          6
1793.86/1794.51	c   octane           :       0.00          0          0
1793.86/1794.51	c   rens             :       3.10          1          1
1793.86/1794.51	c   rins             :       0.00          0          0
1793.86/1794.51	c   localbranching   :       0.00          0          0
1793.86/1794.51	c   mutation         :       0.00          0          0
1793.86/1794.51	c   crossover        :       0.81          2          1
1793.86/1794.51	c   dins             :       0.00          0          0
1793.86/1794.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1793.86/1794.51	c   primal LP        :       1.54          0          0       0.00       0.00
1793.86/1794.51	c   dual LP          :     486.09       1292     167545     129.68     344.68
1793.86/1794.51	c   barrier LP       :       0.00          0          0       0.00          -
1793.86/1794.51	c   diving/probing LP:     352.00       2771      99248      35.82     281.95
1793.86/1794.51	c   strong branching :     723.43        943     204271     216.62     282.36
1793.86/1794.51	c     (at root node) :          -         33      20165     611.06          -
1793.86/1794.51	c   conflict analysis:       0.00          0          0       0.00          -
1793.86/1794.51	c B&B Tree           :
1793.86/1794.51	c   number of runs   :          1
1793.86/1794.51	c   nodes            :       1262
1793.86/1794.51	c   nodes (total)    :       1262
1793.86/1794.51	c   nodes left       :       1061
1793.86/1794.51	c   max depth        :         41
1793.86/1794.51	c   max depth (total):         41
1793.86/1794.51	c   backtracks       :        137 (10.9%)
1793.86/1794.51	c   delayed cutoffs  :          0
1793.86/1794.51	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1793.86/1794.51	c   avg switch length:       3.15
1793.86/1794.51	c   switching time   :       2.56
1793.86/1794.51	c Solution           :
1793.86/1794.51	c   Solutions found  :        302 (11 improvements)
1793.86/1794.51	c   Primal Bound     : -3.90000000000000e+01   (in run 1, after 203 nodes, 1007.15 seconds, depth 16, found by <objpscostdiving>)
1793.86/1794.51	c   Dual Bound       : -4.49999999999993e+01
1793.86/1794.51	c   Gap              :      13.33 %
1793.86/1794.51	c   Root Dual Bound  : -4.50000000000000e+01
1794.06/1794.76	c Time complete: 1794.11.

Verifier Data 

OK	-39

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869241-1245166005/watcher-1869241-1245166005 -o /tmp/evaluation-result-1869241-1245166005/solver-1869241-1245166005 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869241-1245166005.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 11329
/proc/meminfo: memFree=1884872/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=5812 CPUtime=0
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 521 0 0 0 0 0 0 0 18 0 1 0 184200240 5951488 506 1992294400 4194304 9342243 548682068736 18446744073709551615 8143668 0 0 4096 0 0 0 0 17 1 0 0
/proc/11329/statm: 1454 516 345 1256 0 193 0

[startup+0.086518 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 11329
/proc/meminfo: memFree=1884872/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=14204 CPUtime=0.07
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 2517 0 0 0 7 0 0 0 18 0 1 0 184200240 14544896 2501 1992294400 4194304 9342243 548682068736 18446744073709551615 5542232 0 0 4096 0 0 0 0 17 1 0 0
/proc/11329/statm: 3551 2501 378 1256 0 2290 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14204

[startup+0.101518 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 11329
/proc/meminfo: memFree=1884872/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=14204 CPUtime=0.09
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 2519 0 0 0 9 0 0 0 18 0 1 0 184200240 14544896 2503 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/11329/statm: 3551 2503 378 1256 0 2290 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14204

[startup+0.30155 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 11329
/proc/meminfo: memFree=1884872/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=19720 CPUtime=0.29
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 3918 0 0 0 28 1 0 0 19 0 1 0 184200240 20193280 3902 1992294400 4194304 9342243 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 1 0 0
/proc/11329/statm: 4930 3902 378 1256 0 3669 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19720

[startup+0.701613 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 11329
/proc/meminfo: memFree=1884872/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=29588 CPUtime=0.69
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 6389 0 0 0 67 2 0 0 22 0 1 0 184200240 30298112 6373 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/11329/statm: 7397 6373 378 1256 0 6136 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29588

[startup+1.50174 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 11330
/proc/meminfo: memFree=1822848/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=90372 CPUtime=1.49
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 23265 0 0 0 132 17 0 0 25 0 1 0 184200240 92540928 21290 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 22593 21290 465 1256 0 21332 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 90372

[startup+3.10299 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 11330
/proc/meminfo: memFree=1794752/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=106924 CPUtime=3.09
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 27528 0 0 0 287 22 0 0 25 0 1 0 184200240 109490176 25465 1992294400 4194304 9342243 548682068736 18446744073709551615 4306428 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 26731 25465 535 1256 0 25470 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 106924

[startup+6.30151 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 11330
/proc/meminfo: memFree=1742272/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=175876 CPUtime=6.29
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 38300 0 0 0 598 31 0 0 25 0 1 0 184200240 180097024 36155 1992294400 4194304 9342243 548682068736 18446744073709551615 5727891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 43969 36155 636 1256 0 42708 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 175876

[startup+12.7015 s]
/proc/loadavg: 0.87 0.97 0.99 2/65 11330
/proc/meminfo: memFree=1734808/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=178108 CPUtime=12.69
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 40149 0 0 0 1237 32 0 0 25 0 1 0 184200240 182382592 38004 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 44527 38004 644 1256 0 43266 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 178108

[startup+25.5016 s]
/proc/loadavg: 0.90 0.97 0.99 2/65 11330
/proc/meminfo: memFree=1730968/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=178108 CPUtime=25.48
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 41130 0 0 0 2515 33 0 0 25 0 1 0 184200240 182382592 38985 1992294400 4194304 9342243 548682068736 18446744073709551615 5868814 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 44527 38985 644 1256 0 43266 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 178108

[startup+51.1017 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 11330
/proc/meminfo: memFree=1726232/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=178108 CPUtime=51.06
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 42328 0 0 0 5071 35 0 0 25 0 1 0 184200240 182382592 40183 1992294400 4194304 9342243 548682068736 18446744073709551615 5597662 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 44527 40183 645 1256 0 43266 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 178108

[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.99 2/65 11330
/proc/meminfo: memFree=1721880/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=178108 CPUtime=102.24
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 43402 0 0 0 10187 37 0 0 25 0 1 0 184200240 182382592 41257 1992294400 4194304 9342243 548682068736 18446744073709551615 5597697 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 44527 41257 645 1256 0 43266 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 178108

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11330
/proc/meminfo: memFree=1718360/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=178108 CPUtime=162.22
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 44287 0 0 0 16178 44 0 0 25 0 1 0 184200240 182382592 42142 1992294400 4194304 9342243 548682068736 18446744073709551615 5869968 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 44527 42142 661 1256 0 43266 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 178108

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11330
/proc/meminfo: memFree=1717528/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=181164 CPUtime=222.2
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 44481 0 0 0 22166 54 0 0 25 0 1 0 184200240 185511936 42336 1992294400 4194304 9342243 548682068736 18446744073709551615 6939160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 45291 42336 661 1256 0 44030 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 181164

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11330
/proc/meminfo: memFree=1671576/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=225284 CPUtime=282.18
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 55973 0 0 0 28141 77 0 0 25 0 1 0 184200240 230690816 53828 1992294400 4194304 9342243 548682068736 18446744073709551615 6960298 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 56321 53828 689 1256 0 55060 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 225284

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11330
/proc/meminfo: memFree=1671512/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=226492 CPUtime=342.16
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 55978 0 0 0 34136 80 0 0 25 0 1 0 184200240 231927808 53833 1992294400 4194304 9342243 548682068736 18446744073709551615 6960250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 56623 53833 693 1256 0 55362 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 226492

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11330
/proc/meminfo: memFree=1671448/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=226492 CPUtime=402.14
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 55978 0 0 0 40131 83 0 0 25 0 1 0 184200240 231927808 53833 1992294400 4194304 9342243 548682068736 18446744073709551615 5868814 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 56623 53833 693 1256 0 55362 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 226492

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11330
/proc/meminfo: memFree=1671384/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=226492 CPUtime=462.12
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 55979 0 0 0 46126 86 0 0 25 0 1 0 184200240 231927808 53834 1992294400 4194304 9342243 548682068736 18446744073709551615 6960579 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 56623 53834 693 1256 0 55362 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 226492

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11330
/proc/meminfo: memFree=1671384/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=226492 CPUtime=522.1
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 55979 0 0 0 52121 89 0 0 25 0 1 0 184200240 231927808 53834 1992294400 4194304 9342243 548682068736 18446744073709551615 6064753 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 56623 53834 693 1256 0 55362 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 226492

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11330
/proc/meminfo: memFree=1671320/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=226492 CPUtime=582.08
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 55979 0 0 0 58117 91 0 0 25 0 1 0 184200240 231927808 53834 1992294400 4194304 9342243 548682068736 18446744073709551615 5868521 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 56623 53834 693 1256 0 55362 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 226492

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11330
/proc/meminfo: memFree=1671064/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=226492 CPUtime=642.06
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 56041 0 0 0 64111 95 0 0 25 0 1 0 184200240 231927808 53896 1992294400 4194304 9342243 548682068736 18446744073709551615 5874735 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 56623 53896 693 1256 0 55362 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 226492

[startup+702.302 s]

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

/proc/meminfo: memFree=1670488/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=226492 CPUtime=1061.92
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 56154 0 0 0 106056 136 0 0 25 0 1 0 184200240 231927808 53993 1992294400 4194304 9342243 548682068736 18446744073709551615 5391351 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 56623 53993 697 1256 0 55362 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 226492

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11330
/proc/meminfo: memFree=1664280/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=227788 CPUtime=1121.9
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 57699 0 0 0 112043 147 0 0 25 0 1 0 184200240 233254912 55538 1992294400 4194304 9342243 548682068736 18446744073709551615 7289219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 56947 55538 698 1256 0 55686 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 227788

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11330
/proc/meminfo: memFree=1664216/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=227788 CPUtime=1181.87
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 57700 0 0 0 118035 152 0 0 25 0 1 0 184200240 233254912 55539 1992294400 4194304 9342243 548682068736 18446744073709551615 6939160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 56947 55539 698 1256 0 55686 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 227788

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11330
/proc/meminfo: memFree=1664152/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=227788 CPUtime=1241.85
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 57700 0 0 0 124028 157 0 0 25 0 1 0 184200240 233254912 55539 1992294400 4194304 9342243 548682068736 18446744073709551615 5869983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 56947 55539 698 1256 0 55686 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 227788

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11330
/proc/meminfo: memFree=1664088/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=229176 CPUtime=1301.83
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 57704 0 0 0 130022 161 0 0 25 0 1 0 184200240 234676224 55543 1992294400 4194304 9342243 548682068736 18446744073709551615 8247768 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 57294 55543 698 1256 0 56033 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 229176

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11330
/proc/meminfo: memFree=1658904/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=233088 CPUtime=1361.81
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 58993 0 0 0 136010 171 0 0 25 0 1 0 184200240 238682112 56832 1992294400 4194304 9342243 548682068736 18446744073709551615 6038441 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 58272 56832 698 1256 0 57011 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 233088

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11330
/proc/meminfo: memFree=1658904/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=233088 CPUtime=1421.8
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 58993 0 0 0 142004 176 0 0 25 0 1 0 184200240 238682112 56832 1992294400 4194304 9342243 548682068736 18446744073709551615 6059531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 58272 56832 698 1256 0 57011 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 233088

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11332
/proc/meminfo: memFree=1658712/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=233088 CPUtime=1481.77
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 58993 0 0 0 147996 181 0 0 25 0 1 0 184200240 238682112 56832 1992294400 4194304 9342243 548682068736 18446744073709551615 6238478 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 58272 56832 698 1256 0 57011 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 233088

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11332
/proc/meminfo: memFree=1658712/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=233088 CPUtime=1541.75
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 58995 0 0 0 153989 186 0 0 25 0 1 0 184200240 238682112 56834 1992294400 4194304 9342243 548682068736 18446744073709551615 8251528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 58272 56834 698 1256 0 57011 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 233088

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11332
/proc/meminfo: memFree=1658776/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=233088 CPUtime=1601.73
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 58995 0 0 0 159981 192 0 0 25 0 1 0 184200240 238682112 56834 1992294400 4194304 9342243 548682068736 18446744073709551615 6966579 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 58272 56834 698 1256 0 57011 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 233088

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11332
/proc/meminfo: memFree=1658776/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=233088 CPUtime=1661.71
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 58995 0 0 0 165973 198 0 0 25 0 1 0 184200240 238682112 56834 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 58272 56834 698 1256 0 57011 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 233088

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11332
/proc/meminfo: memFree=1658712/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=233088 CPUtime=1721.69
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 58997 0 0 0 171966 203 0 0 25 0 1 0 184200240 238682112 56836 1992294400 4194304 9342243 548682068736 18446744073709551615 6059573 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 58272 56836 698 1256 0 57011 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 233088

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11332
/proc/meminfo: memFree=1658712/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=233088 CPUtime=1781.66
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 58998 0 0 0 177959 207 0 0 25 0 1 0 184200240 238682112 56837 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 58272 56837 698 1256 0 57011 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 233088

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 11332
/proc/meminfo: memFree=1658648/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=233088 CPUtime=1784.87
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 58998 0 0 0 178279 208 0 0 25 0 1 0 184200240 238682112 56837 1992294400 4194304 9342243 548682068736 18446744073709551615 7289224 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 58272 56837 698 1256 0 57011 0
Current children cumulated CPU time (s) 1784.87
Current children cumulated vsize (KiB) 233088

[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11332
/proc/meminfo: memFree=1658648/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=233088 CPUtime=1788.06
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 58998 0 0 0 178598 208 0 0 25 0 1 0 184200240 238682112 56837 1992294400 4194304 9342243 548682068736 18446744073709551615 6951966 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 58272 56837 698 1256 0 57011 0
Current children cumulated CPU time (s) 1788.06
Current children cumulated vsize (KiB) 233088

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11332
/proc/meminfo: memFree=1658648/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=233088 CPUtime=1791.27
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 58998 0 0 0 178918 209 0 0 25 0 1 0 184200240 238682112 56837 1992294400 4194304 9342243 548682068736 18446744073709551615 6959760 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 58272 56837 698 1256 0 57011 0
Current children cumulated CPU time (s) 1791.27
Current children cumulated vsize (KiB) 233088

[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11332
/proc/meminfo: memFree=1658648/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=233088 CPUtime=1792.86
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 58998 0 0 0 179077 209 0 0 25 0 1 0 184200240 238682112 56837 1992294400 4194304 9342243 548682068736 18446744073709551615 4266589 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 58272 56837 698 1256 0 57011 0
Current children cumulated CPU time (s) 1792.86
Current children cumulated vsize (KiB) 233088

[startup+1794.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11332
/proc/meminfo: memFree=1658648/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=233088 CPUtime=1793.66
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 58998 0 0 0 179157 209 0 0 25 0 1 0 184200240 238682112 56837 1992294400 4194304 9342243 548682068736 18446744073709551615 6247177 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11329/statm: 58272 56837 698 1256 0 57011 0
Current children cumulated CPU time (s) 1793.66
Current children cumulated vsize (KiB) 233088

[startup+1794.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11332
/proc/meminfo: memFree=1658648/2055920 swapFree=4192812/4192956
[pid=11329] ppid=11327 vsize=205316 CPUtime=1794.06
/proc/11329/stat : 11329 (pbscip.linux.x8) R 11327 11329 11292 0 -1 4194304 58999 0 0 0 179197 209 0 0 25 0 1 0 184200240 210243584 50293 1992294400 4194304 9342243 548682068736 18446744073709551615 4819811 0 0 4096 0 0 0 0 17 1 0 0
/proc/11329/statm: 51329 50293 699 1256 0 50068 0
Current children cumulated CPU time (s) 1794.06
Current children cumulated vsize (KiB) 205316

Child status: 0
Real time (s): 1794.76
CPU time (s): 1794.13
CPU user time (s): 1792
CPU system time (s): 2.12968
CPU usage (%): 99.9647
Max. virtual memory (cumulated for all children) (KiB): 233088

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

runsolver used 1.83372 second user time and 4.03039 second system time

The end

Launcher Data 

Begin job on node26 at 2009-06-16 17:26:45
IDJOB=1869241
IDBENCH=2251
IDSOLVER=684
FILE ID=node26/1869241-1245166005
PBS_JOBID= 9363880
Free space on /tmp= 66156 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869241-1245166005/watcher-1869241-1245166005 -o /tmp/evaluation-result-1869241-1245166005/solver-1869241-1245166005 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869241-1245166005.opb

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

MD5SUM BENCH= aabc023158e10c9511062af8ac97c515
RANDOM SEED=739103748

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1885288 kB
Buffers:         27560 kB
Cached:          79336 kB
SwapCached:          0 kB
Active:          70996 kB
Inactive:        49756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1885288 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           13272 kB
Writeback:           0 kB
Mapped:          23612 kB
Slab:            35908 kB
Committed_AS:   156268 kB
PageTables:       1372 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= 66144 MiB
End job on node26 at 2009-06-16 17:56:40