Trace number 1870244

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)SAT23 1796.98 1797.64

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_60_5.opb
MD5SUMe079962149860142627e0ca6e79ba5d1
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark1798.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 17
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint61
Maximum length of a constraint112
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)37500
Sum of products size (including duplicates)75000
Number of different products37500
Sum of products size75000

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.29/0.30	c SCIP version 1.1.0.7
0.29/0.30	c LP-Solver SoPlex 1.4.1
0.29/0.30	c user parameter file <scip.set> not found - using default parameters
0.29/0.30	c read problem <HOME/instance-1870244-1245191721.opb>
0.29/0.30	c original problem has 38000 variables (38000 bin, 0 int, 0 impl, 0 cont) and 38000 constraints
0.59/0.63	c start presolving problem
0.59/0.63	c presolving:
6.18/6.23	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 5807644 impls, 0 clqs
8.58/8.63	c    (7.9s) probing: 101/38000 (0.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
8.58/8.63	c    (7.9s) probing aborted: 100/100 successive totally useless probings
8.58/8.63	c presolving (2 rounds):
8.58/8.63	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
8.58/8.63	c  5807644 implications, 0 cliques
8.58/8.63	c presolved problem has 38000 variables (38000 bin, 0 int, 0 impl, 0 cont) and 38000 constraints
8.58/8.63	c   37500 constraints of type <and>
8.58/8.63	c     500 constraints of type <logicor>
8.58/8.63	c transformed objective value is always integral (scale: 1)
8.58/8.63	c Presolving Time: 7.74
8.58/8.65	c OPT-NLC
8.58/8.65	c -----------------------------------------------------------------------------------------------
8.58/8.65	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
8.58/8.65	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.58/8.65	c limits/memory = c 1620
8.58/8.65	c # maximal time in seconds to run
8.58/8.65	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.58/8.65	c limits/time = c 1791
8.58/8.65	c # frequency for displaying node information lines
8.58/8.65	c # [type: int, range: [-1,2147483647], default: 100]
8.58/8.65	c display/freq = c 10000
8.58/8.65	c -----------------------------------------------------------------------------------------------
8.58/8.65	c start solving problem
8.58/8.65	c 
10.18/10.20	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
10.18/10.20	c   9.3s|     1 |     0 |  1000 | 311M|   0 |1000 |  38k|  38k|  38k|  38k|  75k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
10.28/10.36	o 30
10.28/10.36	c s 9.5s|     1 |     0 |  1000 | 312M|   0 |1000 |  38k|  38k|  38k|  38k|  75k|   0 |   0 |   0 | 0.000000e+00 | 3.000000e+01 |    Inf 
50.77/50.83	c  48.2s|     1 |     0 |  2500 | 313M|   0 |1000 |  38k|  38k|  38k|  38k|  76k|1001 |   0 |   0 | 0.000000e+00 | 3.000000e+01 |    Inf 
76.35/76.48	c  73.8s|     1 |     0 |  4000 | 313M|   0 |1000 |  38k|  38k|  38k|  38k|  77k|2001 |   0 |   0 | 0.000000e+00 | 3.000000e+01 |    Inf 
104.05/104.18	c   101s|     1 |     0 |  5500 | 314M|   0 |1000 |  38k|  38k|  38k|  38k|  78k|3001 |   0 |   0 | 0.000000e+00 | 3.000000e+01 |    Inf 
133.33/133.40	c   131s|     1 |     0 |  7000 | 314M|   0 |1000 |  38k|  38k|  38k|  38k|  79k|4001 |   0 |   0 | 0.000000e+00 | 3.000000e+01 |    Inf 
133.43/133.59	o 26
133.43/133.59	c s 131s|     1 |     0 |  7000 | 315M|   0 |1000 |  38k|  38k|  38k|  38k|  79k|4001 |   0 |   0 | 0.000000e+00 | 2.600000e+01 |    Inf 
161.02/161.12	c   158s|     1 |     0 |  8500 | 315M|   0 |1000 |  38k|  38k|  38k|  38k|  80k|5002 |   0 |   0 | 0.000000e+00 | 2.600000e+01 |    Inf 
161.22/161.30	o 23
161.22/161.30	c s 158s|     1 |     0 |  8500 | 316M|   0 |1000 |  38k|  38k|  38k|  38k|  80k|5002 |   0 |   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
189.72/189.82	c   187s|     1 |     0 | 10000 | 316M|   0 |1000 |  38k|  38k|  38k|  38k|  81k|6004 |   0 |   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
221.61/221.76	c   219s|     1 |     2 | 10000 | 316M|   0 |1000 |  38k|  38k|  38k|  38k|  81k|6004 |   0 |  28 | 0.000000e+00 | 2.300000e+01 |    Inf 
1796.22/1796.91	c 
1796.22/1796.91	c SCIP Status        : solving was interrupted [time limit reached]
1796.22/1796.91	c Solving Time (sec) : 1791.02
1796.22/1796.91	c Solving Nodes      : 242
1796.22/1796.91	c Primal Bound       : +2.30000000000000e+01 (3 solutions)
1796.22/1796.91	c Dual Bound         : +1.00000000000000e+00
1796.22/1796.91	c Gap                : 2200.00 %
1796.22/1796.98	c NODE         242
1796.22/1796.98	c DUAL BOUND   1
1796.22/1796.98	c PRIMAL BOUND 23
1796.22/1796.98	c GAP          22
1796.22/1796.98	s SATISFIABLE
1796.22/1796.98	v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 
1796.22/1796.98	v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 
1796.22/1796.98	v -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 
1796.22/1796.98	v -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 
1796.22/1796.98	v -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 
1796.22/1796.98	v -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 
1796.22/1796.98	v -x374 -x373 -x372 -x371 -x370 x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 
1796.22/1796.98	v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 
1796.22/1796.98	v -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 
1796.22/1796.98	v -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 
1796.22/1796.98	v -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 
1796.22/1796.98	v -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 
1796.22/1796.98	v -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 
1796.22/1796.98	v -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 
1796.22/1796.98	v -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 
1796.22/1796.98	v -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 
1796.22/1796.98	v -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 
1796.22/1796.98	v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 
1796.22/1796.98	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 
1796.22/1796.98	v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 
1796.22/1796.98	v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 
1796.22/1796.98	v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 
1796.22/1796.98	v x29 -x28 x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 x17 -x16 x15 x14 x13 x12 x11 x10 x9 -x8 x7 x6 x5 x4 x3 x2 x1 
1796.22/1796.98	c SCIP Status        : solving was interrupted [time limit reached]
1796.22/1796.98	c Solving Time       :    1791.02
1796.22/1796.98	c Original Problem   :
1796.22/1796.98	c   Problem name     : HOME/instance-1870244-1245191721.opb
1796.22/1796.98	c   Variables        : 38000 (38000 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.22/1796.98	c   Constraints      : 38000 initial, 38000 maximal
1796.22/1796.98	c Presolved Problem  :
1796.22/1796.98	c   Problem name     : t_HOME/instance-1870244-1245191721.opb
1796.22/1796.98	c   Variables        : 38000 (38000 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.22/1796.98	c   Constraints      : 38000 initial, 40965 maximal
1796.22/1796.98	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1796.22/1796.98	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1796.22/1796.98	c   dualfix          :       0.01          0          0          0          0          0          0          0          0
1796.22/1796.98	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1796.22/1796.98	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1796.22/1796.98	c   implics          :       0.02          0          0          0          0          0          0          0          0
1796.22/1796.98	c   probing          :       1.59          0          0          0          0          0          0          0          0
1796.22/1796.98	c   and              :       5.87          0          0          0          0          0          0          0          0
1796.22/1796.98	c   logicor          :       0.03          0          0          0          0          0          0          0          0
1796.22/1796.98	c   root node        :          -          0          -          -          0          -          -          -          -
1796.22/1796.98	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1796.22/1796.98	c   integral         :          0          0          0        242          0          0          0          0          0        484
1796.22/1796.98	c   and              :      37500       1211      18638          0          0         31      24334     949321          0          0
1796.22/1796.98	c   logicor          :        500+         6      11492          0          0       1153          0          0          0          0
1796.22/1796.98	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1796.22/1796.98	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1796.22/1796.98	c   integral         :     326.35       0.00       0.00     326.35       0.00
1796.22/1796.98	c   and              :     278.87      65.20     213.67       0.00       0.00
1796.22/1796.98	c   logicor          :       3.91       0.00       3.91       0.00       0.00
1796.22/1796.98	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1796.22/1796.98	c Propagators        :       Time      Calls    Cutoffs    DomReds
1796.22/1796.98	c   rootredcost      :       0.03          1          0          0
1796.22/1796.98	c   pseudoobj        :       9.81      18794        355          0
1796.22/1796.98	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.22/1796.98	c   propagation      :       1.37       1539       1539       6762       37.5          0        0.0          -
1796.22/1796.98	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1796.22/1796.98	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.22/1796.98	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.22/1796.98	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.22/1796.98	c   applied globally :          -          -          -       6729       37.1          -          -          -
1796.22/1796.98	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.22/1796.98	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1796.22/1796.98	c   cut pool         :       0.00          5          -          -          0          -    (maximal pool size: 6004)
1796.22/1796.98	c   redcost          :       5.81       1211          0          0          0          0
1796.22/1796.98	c   impliedbounds    :       0.14          6          0          0       6000          0
1796.22/1796.98	c   intobj           :       0.00          0          0          0          0          0
1796.22/1796.98	c   gomory           :       7.53          6          0          0       3000          0
1796.22/1796.98	c   strongcg         :       7.51          6          0          0       3000          0
1796.22/1796.98	c   cmir             :      92.61          6          0          0       3000          0
1796.22/1796.98	c   flowcover        :      29.04          6          0          0          0          0
1796.22/1796.98	c   clique           :      15.81          6          0          0          4          0
1796.22/1796.98	c   zerohalf         :       0.00          0          0          0          0          0
1796.22/1796.98	c   mcf              :       0.14          1          0          0          0          0
1796.22/1796.98	c Pricers            :       Time      Calls       Vars
1796.22/1796.98	c   problem variables:       0.00          0          0
1796.22/1796.98	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.22/1796.98	c   relpscost        :     326.35        242          0          0          0          0        484
1796.22/1796.98	c   pscost           :       0.00          0          0          0          0          0          0
1796.22/1796.98	c   inference        :       0.00          0          0          0          0          0          0
1796.22/1796.98	c   mostinf          :       0.00          0          0          0          0          0          0
1796.22/1796.98	c   leastinf         :       0.00          0          0          0          0          0          0
1796.22/1796.98	c   fullstrong       :       0.00          0          0          0          0          0          0
1796.22/1796.98	c   allfullstrong    :       0.00          0          0          0          0          0          0
1796.22/1796.98	c   random           :       0.00          0          0          0          0          0          0
1796.22/1796.98	c Primal Heuristics  :       Time      Calls      Found
1796.22/1796.98	c   LP solutions     :       0.00          -          0
1796.22/1796.98	c   pseudo solutions :       0.00          -          0
1796.22/1796.98	c   oneopt           :       0.05          1          0
1796.22/1796.98	c   crossover        :       0.87          1          0
1796.22/1796.98	c   pscostdiving     :      87.19          6          0
1796.22/1796.98	c   fracdiving       :     110.40          6          0
1796.22/1796.98	c   linesearchdiving :     192.69          6          0
1796.22/1796.98	c   guideddiving     :     109.71          6          0
1796.22/1796.98	c   rootsoldiving    :      11.08          3          0
1796.22/1796.98	c   simplerounding   :       0.01          0          0
1796.22/1796.98	c   rounding         :       1.09        496          0
1796.22/1796.98	c   shifting         :      13.04        217          3
1796.22/1796.98	c   intshifting      :       0.00          0          0
1796.22/1796.98	c   fixandinfer      :       0.00          0          0
1796.22/1796.98	c   feaspump         :       0.00          0          0
1796.22/1796.98	c   coefdiving       :     101.94          7          0
1796.22/1796.98	c   veclendiving     :      84.34          6          0
1796.22/1796.98	c   intdiving        :       0.00          0          0
1796.22/1796.98	c   actconsdiving    :       0.00          0          0
1796.22/1796.98	c   objpscostdiving  :     146.55          1          0
1796.22/1796.98	c   octane           :       0.00          0          0
1796.22/1796.98	c   rens             :      13.89          1          0
1796.22/1796.98	c   rins             :       0.00          0          0
1796.22/1796.98	c   localbranching   :       0.00          0          0
1796.22/1796.98	c   mutation         :       0.00          0          0
1796.22/1796.98	c   dins             :       0.00          0          0
1796.22/1796.98	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1796.22/1796.98	c   primal LP        :       2.55          0          0       0.00       0.00
1796.22/1796.98	c   dual LP          :     310.39       1451     220019     151.63     708.85
1796.22/1796.98	c   barrier LP       :       0.00          0          0       0.00          -
1796.22/1796.98	c   diving/probing LP:     392.35       6774      81328      12.01     207.28
1796.22/1796.98	c   strong branching :     326.14       3772      91525      24.26     280.63
1796.22/1796.98	c     (at root node) :          -         28       3447     123.11          -
1796.22/1796.98	c   conflict analysis:       0.00          0          0       0.00          -
1796.22/1796.98	c B&B Tree           :
1796.22/1796.98	c   number of runs   :          1
1796.22/1796.98	c   nodes            :        242
1796.22/1796.98	c   nodes (total)    :        242
1796.22/1796.98	c   nodes left       :        243
1796.22/1796.98	c   max depth        :         14
1796.22/1796.98	c   max depth (total):         14
1796.22/1796.98	c   backtracks       :         40 (16.5%)
1796.22/1796.98	c   delayed cutoffs  :          0
1796.22/1796.98	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1796.22/1796.98	c   avg switch length:       2.48
1796.22/1796.98	c   switching time   :       3.35
1796.22/1796.98	c Solution           :
1796.22/1796.98	c   Solutions found  :          3 (3 improvements)
1796.22/1796.98	c   Primal Bound     : +2.30000000000000e+01   (in run 1, after 1 nodes, 158.27 seconds, depth 0, found by <shifting>)
1796.22/1796.98	c   Dual Bound       : +1.00000000000000e+00
1796.22/1796.98	c   Gap              :    2200.00 %
1796.22/1796.98	c   Root Dual Bound  : +0.00000000000000e+00
1796.93/1797.64	c Time complete: 1796.97.

Verifier Data 

OK	23

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870244-1245191721/watcher-1870244-1245191721 -o /tmp/evaluation-result-1870244-1245191721/solver-1870244-1245191721 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870244-1245191721.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.99 0.97 0.99 3/64 6765
/proc/meminfo: memFree=1806720/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=4324 CPUtime=0
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 465 0 0 0 0 0 0 0 18 0 1 0 186766277 4427776 449 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 0 0 0 0 17 1 0 0
/proc/6765/statm: 1081 463 300 886 0 191 0

[startup+0.094394 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 6765
/proc/meminfo: memFree=1806720/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=22364 CPUtime=0.08
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 4853 0 0 0 7 1 0 0 18 0 1 0 186766277 22900736 4835 1992294400 4194304 7823515 548682068736 18446744073709551615 4807793 0 0 4096 0 0 0 0 17 1 0 0
/proc/6765/statm: 5591 4835 356 886 0 4701 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22364

[startup+0.101395 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 6765
/proc/meminfo: memFree=1806720/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=22536 CPUtime=0.09
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 4896 0 0 0 8 1 0 0 18 0 1 0 186766277 23076864 4878 1992294400 4194304 7823515 548682068736 18446744073709551615 6899788 0 0 4096 0 0 0 0 17 1 0 0
/proc/6765/statm: 5634 4879 356 886 0 4744 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22536

[startup+0.301432 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 6765
/proc/meminfo: memFree=1806720/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=46916 CPUtime=0.29
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 11102 0 0 0 25 4 0 0 19 0 1 0 186766277 48041984 11009 1992294400 4194304 7823515 548682068736 18446744073709551615 4401540 0 0 4096 0 0 0 0 17 1 0 0
/proc/6765/statm: 11729 11009 356 886 0 10839 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46916

[startup+0.701505 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 6765
/proc/meminfo: memFree=1806720/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=100428 CPUtime=0.69
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 24502 0 0 0 60 9 0 0 22 0 1 0 186766277 102838272 24056 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 25107 24056 405 886 0 24217 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 100428

[startup+1.50165 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 6766
/proc/meminfo: memFree=1697656/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=135860 CPUtime=1.49
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 33360 0 0 0 135 14 0 0 25 0 1 0 186766277 139120640 32914 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 33965 32914 405 886 0 33075 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 135860

[startup+3.10194 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 6766
/proc/meminfo: memFree=1649464/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=202512 CPUtime=3.09
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 50023 0 0 0 289 20 0 0 25 0 1 0 186766277 207372288 49577 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 50628 49577 405 886 0 49738 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 202512

[startup+6.30152 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 6766
/proc/meminfo: memFree=1522872/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=311776 CPUtime=6.28
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 78115 0 0 0 589 39 0 0 25 0 1 0 186766277 319258624 76915 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 77944 76915 427 886 0 77054 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 311776

[startup+12.7017 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 6766
/proc/meminfo: memFree=1366656/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=456700 CPUtime=12.68
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 113402 0 0 0 1207 61 0 0 25 0 1 0 186766277 467660800 110262 1992294400 4194304 7823515 548682068736 18446744073709551615 6911799 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 114175 110262 531 886 0 113285 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 456700

[startup+25.502 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 6766
/proc/meminfo: memFree=1365376/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=460076 CPUtime=25.48
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 113721 0 0 0 2485 63 0 0 25 0 1 0 186766277 471117824 110581 1992294400 4194304 7823515 548682068736 18446744073709551615 5573017 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 115019 110581 534 886 0 114129 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 460076

[startup+51.1016 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 6766
/proc/meminfo: memFree=1325504/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=500260 CPUtime=51.07
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 124204 0 0 0 4875 232 0 0 25 0 1 0 186766277 512266240 120562 1992294400 4194304 7823515 548682068736 18446744073709551615 5399588 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 125065 120562 552 886 0 124175 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 500260

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 6766
/proc/meminfo: memFree=1321472/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=507572 CPUtime=102.25
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 125186 0 0 0 9983 242 0 0 25 0 1 0 186766277 519753728 121544 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 126893 121544 552 886 0 126003 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 507572

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 6766
/proc/meminfo: memFree=1313216/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=512732 CPUtime=162.22
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 127237 0 0 0 15967 255 0 0 25 0 1 0 186766277 525037568 123594 1992294400 4194304 7823515 548682068736 18446744073709551615 5965385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 128183 123594 552 886 0 127293 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 512732

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 6766
/proc/meminfo: memFree=1309248/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=515916 CPUtime=222.21
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 163335 0 0 0 21934 287 0 0 25 0 1 0 186766277 528297984 124468 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 128979 124468 562 886 0 128089 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 515916

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 6766
/proc/meminfo: memFree=1304000/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=522260 CPUtime=282.18
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 164709 0 0 0 27922 296 0 0 25 0 1 0 186766277 534794240 125830 1992294400 4194304 7823515 548682068736 18446744073709551615 5734723 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 130565 125830 566 886 0 129675 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 522260

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 6766
/proc/meminfo: memFree=1299776/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=525664 CPUtime=342.17
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 165755 0 0 0 33913 304 0 0 25 0 1 0 186766277 538279936 126876 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 131416 126876 569 886 0 130526 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 525664

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 6766
/proc/meminfo: memFree=1298496/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=526936 CPUtime=402.14
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 166063 0 0 0 39906 308 0 0 25 0 1 0 186766277 539582464 127184 1992294400 4194304 7823515 548682068736 18446744073709551615 6180591 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 131734 127184 569 886 0 130844 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 526936

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 6766
/proc/meminfo: memFree=1298496/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=526936 CPUtime=462.12
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 166065 0 0 0 45898 314 0 0 25 0 1 0 186766277 539582464 127186 1992294400 4194304 7823515 548682068736 18446744073709551615 6208797 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 131734 127186 569 886 0 130844 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 526936

[startup+522.302 s]
/proc/loadavg: 1.07 0.99 0.99 2/65 6766
/proc/meminfo: memFree=1298368/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=526936 CPUtime=522.1
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 166089 0 0 0 51885 325 0 0 25 0 1 0 186766277 539582464 127210 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 131734 127210 569 886 0 130844 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 526936

[startup+582.302 s]
/proc/loadavg: 1.08 1.00 1.00 2/65 6766
/proc/meminfo: memFree=1295936/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=529728 CPUtime=582.08
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 166676 0 0 0 57877 331 0 0 25 0 1 0 186766277 542441472 127797 1992294400 4194304 7823515 548682068736 18446744073709551615 5978952 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 132432 127797 569 886 0 131542 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 529728

[startup+642.302 s]
/proc/loadavg: 1.09 1.01 1.00 2/65 6766
/proc/meminfo: memFree=1292672/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=533316 CPUtime=642.05
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 167502 0 0 0 63867 338 0 0 25 0 1 0 186766277 546115584 128623 1992294400 4194304 7823515 548682068736 18446744073709551615 6110477 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 133329 128623 569 886 0 132439 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 533316

[startup+702.302 s]

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

/proc/meminfo: memFree=1278016/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=547244 CPUtime=1121.88
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 171143 0 0 0 111792 396 0 0 25 0 1 0 186766277 560377856 132264 1992294400 4194304 7823515 548682068736 18446744073709551615 4898473 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 136811 132264 569 886 0 135921 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 547244

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6768
/proc/meminfo: memFree=1277056/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=548268 CPUtime=1181.86
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 171405 0 0 0 117780 406 0 0 25 0 1 0 186766277 561426432 132526 1992294400 4194304 7823515 548682068736 18446744073709551615 6235188 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 137067 132526 569 886 0 136177 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 548268

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6768
/proc/meminfo: memFree=1276096/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=549884 CPUtime=1241.83
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 171631 0 0 0 123769 414 0 0 25 0 1 0 186766277 563081216 132752 1992294400 4194304 7823515 548682068736 18446744073709551615 4788726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 137471 132752 569 886 0 136581 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 549884

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6768
/proc/meminfo: memFree=1276032/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=549884 CPUtime=1301.82
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 171635 0 0 0 129761 421 0 0 25 0 1 0 186766277 563081216 132756 1992294400 4194304 7823515 548682068736 18446744073709551615 6098716 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 137471 132756 569 886 0 136581 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 549884

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6768
/proc/meminfo: memFree=1274880/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=550204 CPUtime=1361.79
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 171904 0 0 0 135749 430 0 0 25 0 1 0 186766277 563408896 133025 1992294400 4194304 7823515 548682068736 18446744073709551615 4903693 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 137551 133025 569 886 0 136661 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 550204

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6768
/proc/meminfo: memFree=1272192/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=553132 CPUtime=1421.78
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 172583 0 0 0 141740 438 0 0 25 0 1 0 186766277 566407168 133700 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 138283 133700 569 886 0 137393 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 553132

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6768
/proc/meminfo: memFree=1271936/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=553132 CPUtime=1481.75
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 172627 0 0 0 147730 445 0 0 25 0 1 0 186766277 566407168 133744 1992294400 4194304 7823515 548682068736 18446744073709551615 6237106 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 138283 133744 569 886 0 137393 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 553132

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6774
/proc/meminfo: memFree=1271672/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=553132 CPUtime=1541.72
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 172627 0 0 0 153718 454 0 0 25 0 1 0 186766277 566407168 133744 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 138283 133744 569 886 0 137393 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 553132

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6774
/proc/meminfo: memFree=1197816/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=627616 CPUtime=1601.7
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 191147 0 0 0 159700 470 0 0 25 0 1 0 186766277 642678784 152251 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 156904 152251 574 886 0 156014 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 627616

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6774
/proc/meminfo: memFree=1197752/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=627616 CPUtime=1661.68
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 191147 0 0 0 165692 476 0 0 25 0 1 0 186766277 642678784 152251 1992294400 4194304 7823515 548682068736 18446744073709551615 4291292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 156904 152251 574 886 0 156014 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 627616

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6774
/proc/meminfo: memFree=1197752/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=627616 CPUtime=1721.65
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 191147 0 0 0 171681 484 0 0 25 0 1 0 186766277 642678784 152251 1992294400 4194304 7823515 548682068736 18446744073709551615 6237308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 156904 152251 574 886 0 156014 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 627616

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6774
/proc/meminfo: memFree=1197880/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=627616 CPUtime=1781.63
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 191147 0 0 0 177669 494 0 0 25 0 1 0 186766277 642678784 152251 1992294400 4194304 7823515 548682068736 18446744073709551615 6110625 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 156904 152251 574 886 0 156014 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 627616

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 6774
/proc/meminfo: memFree=1197880/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=627616 CPUtime=1784.84
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 191147 0 0 0 177989 495 0 0 25 0 1 0 186766277 642678784 152251 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 156904 152251 574 886 0 156014 0
Current children cumulated CPU time (s) 1784.84
Current children cumulated vsize (KiB) 627616

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6774
/proc/meminfo: memFree=1197880/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=627616 CPUtime=1791.24
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 191147 0 0 0 178628 496 0 0 25 0 1 0 186766277 642678784 152251 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 156904 152251 574 886 0 156014 0
Current children cumulated CPU time (s) 1791.24
Current children cumulated vsize (KiB) 627616

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6774
/proc/meminfo: memFree=1197880/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=627616 CPUtime=1794.43
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 191147 0 0 0 178947 496 0 0 25 0 1 0 186766277 642678784 152251 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 156904 152251 574 886 0 156014 0
Current children cumulated CPU time (s) 1794.43
Current children cumulated vsize (KiB) 627616

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6774
/proc/meminfo: memFree=1197880/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=627616 CPUtime=1796.02
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 191147 0 0 0 179106 496 0 0 25 0 1 0 186766277 642678784 152251 1992294400 4194304 7823515 548682068736 18446744073709551615 6180619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6765/statm: 156904 152251 574 886 0 156014 0
Current children cumulated CPU time (s) 1796.02
Current children cumulated vsize (KiB) 627616

[startup+1797.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6774
/proc/meminfo: memFree=1197880/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=603328 CPUtime=1796.43
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 191149 0 0 0 179146 497 0 0 25 0 1 0 186766277 617807872 146779 1992294400 4194304 7823515 548682068736 18446744073709551615 4333688 0 0 4096 0 0 0 0 17 1 0 0
/proc/6765/statm: 150832 146779 576 886 0 149942 0
Current children cumulated CPU time (s) 1796.43
Current children cumulated vsize (KiB) 603328

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6774
/proc/meminfo: memFree=1219576/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=603328 CPUtime=1796.83
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 191149 0 0 0 179186 497 0 0 25 0 1 0 186766277 617807872 146779 1992294400 4194304 7823515 548682068736 18446744073709551615 4401598 0 0 4096 0 0 0 0 17 1 0 0
/proc/6765/statm: 150832 146779 576 886 0 149942 0
Current children cumulated CPU time (s) 1796.83
Current children cumulated vsize (KiB) 603328

[startup+1797.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6774
/proc/meminfo: memFree=1219576/2055920 swapFree=4182476/4192956
[pid=6765] ppid=6763 vsize=418192 CPUtime=1796.93
/proc/6765/stat : 6765 (pbscip.linux.x8) R 6763 6765 6663 0 -1 4194304 191149 0 0 0 179191 502 0 0 25 0 1 0 186766277 428228608 103648 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0
/proc/6765/statm: 104548 103648 38582 886 0 103658 0
Current children cumulated CPU time (s) 1796.93
Current children cumulated vsize (KiB) 418192

Child status: 0
Real time (s): 1797.64
CPU time (s): 1796.98
CPU user time (s): 1791.91
CPU system time (s): 5.06623
CPU usage (%): 99.9631
Max. virtual memory (cumulated for all children) (KiB): 658536

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

runsolver used 1.56476 second user time and 4.06538 second system time

The end

Launcher Data 

Begin job on node67 at 2009-06-17 00:35:21
IDJOB=1870244
IDBENCH=48121
IDSOLVER=683
FILE ID=node67/1870244-1245191721
PBS_JOBID= 9368330
Free space on /tmp= 66428 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_5.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-1870244-1245191721/watcher-1870244-1245191721 -o /tmp/evaluation-result-1870244-1245191721/solver-1870244-1245191721 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870244-1245191721.opb

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

MD5SUM BENCH= e079962149860142627e0ca6e79ba5d1
RANDOM SEED=2024040499

node67.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.272
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.272
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:       1807136 kB
Buffers:         31064 kB
Cached:         154676 kB
SwapCached:       4524 kB
Active:          63328 kB
Inactive:       129944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1807136 kB
SwapTotal:     4192956 kB
SwapFree:      4182476 kB
Dirty:           10336 kB
Writeback:           0 kB
Mapped:          13372 kB
Slab:            41424 kB
Committed_AS:   112072 kB
PageTables:       1440 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= 66420 MiB
End job on node67 at 2009-06-17 01:05:19