Trace number 3691449

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 NameAnswerobjective functionCPU timeWall clock time
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixedSAT11 1796.79 1797.11

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_3.opb
MD5SUM0e507441d4bf529adaad354902c51a54
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark11
Best CPU time to get the best result obtained on this benchmark1789.78
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
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 constraints200
Minimum length of a constraint26
Maximum length of a constraint46
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6216
Sum of products size (including duplicates)12432
Number of different products6216
Sum of products size12432

Quality of the solution as a function of time


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

Solver Data

0.00/0.00	c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00	c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3691449-1338020822.opb>
0.00/0.00	c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.00/0.00	c problem read in 0.01
0.00/0.04	o 200
0.00/0.04	c feasible solution found by trivial heuristic, objective value  2.000000e+02
0.00/0.04	c presolving:
0.19/0.21	c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 413032 impls, 0 clqs
0.19/0.29	c    (0.3s) probing: 51/6416 (0.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.29	c    (0.3s) probing aborted: 50/50 successive totally useless probings
0.29/0.30	c presolving (2 rounds):
0.29/0.30	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.30	c  413032 implications, 0 cliques
0.29/0.30	c presolved problem has 6416 variables (6416 bin, 0 int, 0 impl, 0 cont) and 6416 constraints
0.29/0.30	c    6216 constraints of type <and>
0.29/0.30	c     200 constraints of type <logicor>
0.29/0.30	c transformed objective value is always integral (scale: 1)
0.29/0.30	c Presolving Time: 0.29
0.29/0.30	c - non default parameters ----------------------------------------------------------------------
0.29/0.30	c # SCIP version 2.1.1.4
0.29/0.30	c 
0.29/0.30	c # maximal time in seconds to run
0.29/0.30	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.30	c limits/time = 1797
0.29/0.30	c 
0.29/0.30	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.30	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.30	c limits/memory = 13950
0.29/0.30	c 
0.29/0.30	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.30	c # [type: int, range: [1,2], default: 1]
0.29/0.30	c timing/clocktype = 2
0.29/0.30	c 
0.29/0.30	c # belongs reading time to solving time?
0.29/0.30	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.30	c timing/reading = TRUE
0.29/0.30	c 
0.29/0.30	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.30	c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.30	c separating/rapidlearning/freq = 0
0.29/0.30	c 
0.29/0.30	c -----------------------------------------------------------------------------------------------
0.29/0.30	c start solving
0.29/0.31	c 
0.39/0.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.39/0.40	c t 0.4s|     1 |     0 |   400 |     - |  36M|   0 | 400 |6416 |6416 |6416 |  12k|   0 |   0 |   0 | 0.000000e+00 | 2.000000e+02 |    Inf 
0.39/0.41	o 26
0.39/0.41	c s 0.4s|     1 |     0 |   400 |     - |  37M|   0 | 400 |6416 |6416 |6416 |  12k|   0 |   0 |   0 | 0.000000e+00 | 2.600000e+01 |    Inf 
1.29/1.37	c   1.4s|     1 |     0 |  1000 |     - |  37M|   0 | 400 |6416 |6416 |6416 |  13k| 401 |   0 |   0 | 0.000000e+00 | 2.600000e+01 |    Inf 
1.78/1.82	c   1.8s|     1 |     0 |  1600 |     - |  37M|   0 | 400 |6416 |6416 |6416 |  13k| 802 |   0 |   0 | 0.000000e+00 | 2.600000e+01 |    Inf 
2.20/2.29	c   2.3s|     1 |     0 |  2201 |     - |  37M|   0 | 400 |6416 |6416 |6416 |  13k|1206 |   0 |   0 | 0.000000e+00 | 2.600000e+01 |    Inf 
2.69/2.78	c   2.8s|     1 |     0 |  2802 |     - |  37M|   0 | 400 |6416 |6416 |6416 |  14k|1609 |   0 |   0 | 0.000000e+00 | 2.600000e+01 |    Inf 
3.19/3.30	c   3.3s|     1 |     0 |  3402 |     - |  38M|   0 | 400 |6416 |6416 |6416 |  14k|2012 |   0 |   0 | 0.000000e+00 | 2.600000e+01 |    Inf 
3.30/3.31	o 18
3.30/3.31	c s 3.3s|     1 |     0 |  3402 |     - |  38M|   0 | 400 |6416 |6416 |6416 |  14k|2012 |   0 |   0 | 0.000000e+00 | 1.800000e+01 |    Inf 
3.79/3.83	c   3.8s|     1 |     0 |  4003 |     - |  38M|   0 | 400 |6416 |6416 |6416 |  15k|2417 |   0 |   0 | 0.000000e+00 | 1.800000e+01 |    Inf 
3.89/3.93	c   3.9s|     1 |     2 |  4003 |     - |  38M|   0 | 400 |6416 |6416 |6416 |  15k|2417 |   0 |   0 | 0.000000e+00 | 1.800000e+01 |    Inf 
93.88/93.94	c  93.9s|   100 |   101 |169557 |1672.3 |  38M|  16 |1073 |6416 |6416 |6416 |5269 |  39k|   0 | 555 | 5.545999e+00 | 1.800000e+01 | 224.56%
169.66/169.76	c   170s|   200 |   201 |337822 |1677.5 |  39M|  16 |2314 |6416 |6421 |6416 |6623 |  67k|   5 | 688 | 6.360642e+00 | 1.800000e+01 | 182.99%
241.54/241.69	c   242s|   300 |   301 |487192 |1616.0 |  39M|  25 |2121 |6416 |6421 |6416 |6590 |  75k|   5 | 727 | 6.401317e+00 | 1.800000e+01 | 181.19%
296.73/296.87	c   297s|   400 |   401 |590250 |1469.3 |  40M|  25 |2504 |6416 |6421 |6416 |6070 |  84k|   5 | 825 | 6.593136e+00 | 1.800000e+01 | 173.01%
325.53/325.69	o 15
325.53/325.69	c f 326s|   477 |   478 |645948 |1348.6 |  42M|  38 |   - |6416 |6425 |6416 |6701 |  89k|   9 | 850 | 6.601692e+00 | 1.500000e+01 | 127.21%
336.83/336.98	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
336.83/336.98	c   337s|   500 |   501 |668605 |1331.9 |  41M|  38 |1516 |6416 |6425 |6416 |6016 |  92k|   9 | 885 | 6.601692e+00 | 1.500000e+01 | 127.21%
375.92/376.03	c   376s|   600 |   601 |751234 |1247.5 |  41M|  38 |1943 |6416 |6427 |6416 |6289 | 103k|  11 | 956 | 6.601692e+00 | 1.500000e+01 | 127.21%
419.31/419.44	c   419s|   700 |   701 |839481 |1195.2 |  42M|  38 |1175 |6416 |6428 |6416 |5923 | 111k|  12 |1028 | 6.601692e+00 | 1.500000e+01 | 127.21%
431.31/431.40	o 14
431.31/431.40	c c 431s|   725 |   726 |863031 |1186.5 |  43M|  38 |   - |6416 |6428 |6416 |6283 | 113k|  12 |1049 | 6.601692e+00 | 1.400000e+01 | 112.07%
465.60/465.78	c   466s|   800 |   801 |936591 |1167.2 |  43M|  38 |1678 |6416 |6428 |6416 |5946 | 119k|  12 |1083 | 6.724862e+00 | 1.400000e+01 | 108.18%
506.50/506.65	c   507s|   900 |   901 |  1015k|1124.6 |  43M|  38 |1933 |6416 |6427 |6416 |6645 | 125k|  12 |1120 | 6.724862e+00 | 1.400000e+01 | 108.18%
550.39/550.55	c   551s|  1000 |  1001 |  1094k|1091.5 |  44M|  43 | 979 |6416 |6426 |6416 |6075 | 129k|  14 |1209 | 6.724862e+00 | 1.400000e+01 | 108.18%
582.38/582.52	c   583s|  1100 |  1101 |  1157k|1049.8 |  44M|  43 |1594 |6416 |6427 |6416 |6759 | 133k|  15 |1213 | 6.724862e+00 | 1.400000e+01 | 108.18%
591.78/591.94	o 11
591.78/591.94	c c 592s|  1131 |   922 |  1177k|1038.9 |  44M|  43 |   - |6416 |6427 |6416 |6710 | 135k|  15 |1213 | 6.724862e+00 | 1.100000e+01 |  63.57%
604.08/604.25	c   604s|  1200 |   961 |  1203k|1000.5 |  45M|  43 |1813 |6416 |6427 |6416 |6776 | 138k|  15 |1214 | 6.813873e+00 | 1.100000e+01 |  61.44%
623.38/623.60	c   624s|  1300 |  1011 |  1243k| 953.8 |  46M|  43 |2486 |6416 |6427 |6416 |6653 | 142k|  15 |1214 | 6.885624e+00 | 1.100000e+01 |  59.75%
641.47/641.64	c   642s|  1400 |  1065 |  1279k| 911.9 |  47M|  43 |1471 |6416 |6427 |6416 |6584 | 145k|  15 |1214 | 6.999376e+00 | 1.100000e+01 |  57.16%
658.57/658.78	c   659s|  1500 |  1115 |  1313k| 873.5 |  48M|  43 |1408 |6416 |6426 |6416 |6627 | 149k|  15 |1214 | 7.031509e+00 | 1.100000e+01 |  56.44%
674.07/674.23	c   674s|  1600 |  1155 |  1344k| 838.3 |  49M|  43 |   - |6416 |6425 |6416 |6013 | 152k|  15 |1214 | 7.046183e+00 | 1.100000e+01 |  56.11%
691.17/691.39	c   691s|  1700 |  1203 |  1379k| 809.5 |  50M|  43 |1816 |6416 |6424 |6416 |6816 | 156k|  15 |1214 | 7.098461e+00 | 1.100000e+01 |  54.96%
723.16/723.33	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
723.16/723.33	c   723s|  1800 |  1291 |  1429k| 792.6 |  51M|  52 |1643 |6416 |6423 |6416 |6301 | 159k|  15 |1248 | 7.206959e+00 | 1.100000e+01 |  52.63%
739.26/739.42	c   739s|  1900 |  1331 |  1457k| 765.5 |  52M|  52 |1614 |6416 |6423 |6416 |5827 | 162k|  15 |1311 | 7.217232e+00 | 1.100000e+01 |  52.41%
753.65/753.87	c   754s|  2000 |  1371 |  1482k| 739.7 |  53M|  52 |1835 |6416 |6423 |6416 |6748 | 164k|  15 |1347 | 7.238843e+00 | 1.100000e+01 |  51.96%
765.65/765.87	c   766s|  2100 |  1405 |  1506k| 715.9 |  54M|  52 |   - |6416 |6423 |6416 |6090 | 167k|  15 |1352 | 7.244330e+00 | 1.100000e+01 |  51.84%
778.45/778.69	c   779s|  2200 |  1447 |  1531k| 694.6 |  56M|  52 |2445 |6416 |6423 |6416 |6515 | 169k|  15 |1354 | 7.264926e+00 | 1.100000e+01 |  51.41%
791.95/792.13	c   792s|  2300 |  1489 |  1557k| 675.7 |  57M|  52 |   - |6416 |6423 |6416 |6402 | 172k|  15 |1374 | 7.264926e+00 | 1.100000e+01 |  51.41%
807.05/807.27	c   807s|  2400 |  1523 |  1585k| 659.3 |  59M|  52 |   - |6416 |6423 |6416 |6613 | 175k|  15 |1410 | 7.269163e+00 | 1.100000e+01 |  51.32%
823.84/824.06	c   824s|  2500 |  1571 |  1611k| 643.3 |  60M|  55 |   - |6416 |6423 |6416 |6777 | 177k|  15 |1461 | 7.280293e+00 | 1.100000e+01 |  51.09%
842.24/842.47	c   842s|  2600 |  1625 |  1644k| 631.1 |  61M|  55 |1706 |6416 |6423 |6416 |6838 | 179k|  15 |1495 | 7.291077e+00 | 1.100000e+01 |  50.87%
857.94/858.20	c   858s|  2700 |  1669 |  1674k| 618.8 |  62M|  57 |2237 |6416 |6423 |6416 |6478 | 181k|  15 |1504 | 7.308386e+00 | 1.100000e+01 |  50.51%
872.34/872.57	c   873s|  2800 |  1717 |  1702k| 606.9 |  63M|  57 |1551 |6416 |6423 |6416 |6325 | 183k|  15 |1505 | 7.313377e+00 | 1.100000e+01 |  50.41%
887.63/887.88	c   888s|  2900 |  1763 |  1730k| 595.4 |  64M|  57 |2053 |6416 |6423 |6416 |6824 | 186k|  15 |1530 | 7.313535e+00 | 1.100000e+01 |  50.41%
899.64/899.89	c   900s|  3000 |  1795 |  1749k| 582.1 |  65M|  58 |   - |6416 |6423 |6416 |5691 | 187k|  15 |1554 | 7.321457e+00 | 1.100000e+01 |  50.24%
911.33/911.50	c   912s|  3100 |  1819 |  1768k| 569.4 |  66M|  58 |2350 |6416 |6423 |6416 |6773 | 189k|  15 |1592 | 7.321457e+00 | 1.100000e+01 |  50.24%
924.73/924.99	c   925s|  3200 |  1859 |  1789k| 558.2 |  66M|  58 |2141 |6416 |6423 |6416 |6793 | 190k|  15 |1628 | 7.327277e+00 | 1.100000e+01 |  50.12%
935.53/935.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
935.53/935.77	c   936s|  3300 |  1889 |  1805k| 546.0 |  67M|  66 |   - |6416 |6423 |6416 |6655 | 191k|  15 |1655 | 7.328389e+00 | 1.100000e+01 |  50.10%
946.83/947.10	c   947s|  3400 |  1917 |  1827k| 536.4 |  68M|  66 |   - |6416 |6423 |6416 |6727 | 192k|  15 |1665 | 7.330886e+00 | 1.100000e+01 |  50.05%
957.42/957.64	c   958s|  3500 |  1953 |  1847k| 526.9 |  69M|  66 |1968 |6416 |6423 |6416 |6548 | 194k|  15 |1666 | 7.338815e+00 | 1.100000e+01 |  49.89%
968.42/968.62	c   969s|  3600 |  1979 |  1872k| 519.1 |  69M|  66 |   - |6416 |6423 |6416 |6272 | 195k|  15 |1668 | 7.343618e+00 | 1.100000e+01 |  49.79%
977.22/977.48	c   977s|  3700 |  2001 |  1888k| 509.4 |  70M|  66 |   - |6416 |6423 |6416 |5565 | 197k|  15 |1668 | 7.353078e+00 | 1.100000e+01 |  49.60%
988.92/989.19	c   989s|  3800 |  2027 |  1907k| 501.1 |  71M|  66 |1464 |6416 |6423 |6416 |6678 | 198k|  15 |1696 | 7.359792e+00 | 1.100000e+01 |  49.46%
1000.51/1000.77	c  1001s|  3900 |  2053 |  1924k| 492.7 |  72M|  66 |2626 |6416 |6423 |6416 |6773 | 199k|  15 |1727 | 7.359792e+00 | 1.100000e+01 |  49.46%
1010.51/1010.75	c  1011s|  4000 |  2075 |  1941k| 484.5 |  72M|  66 |1412 |6416 |6423 |6416 |6621 | 200k|  15 |1739 | 7.359792e+00 | 1.100000e+01 |  49.46%
1020.01/1020.27	c  1020s|  4100 |  2091 |  1956k| 476.4 |  73M|  66 |1413 |6416 |6423 |6416 |5819 | 201k|  15 |1773 | 7.359792e+00 | 1.100000e+01 |  49.46%
1031.21/1031.48	c  1031s|  4200 |  2117 |  1974k| 469.3 |  74M|  66 |   - |6416 |6423 |6416 |6816 | 202k|  15 |1808 | 7.360713e+00 | 1.100000e+01 |  49.44%
1040.31/1040.57	c  1041s|  4300 |  2133 |  1989k| 461.8 |  75M|  66 |2375 |6416 |6423 |6416 |6727 | 203k|  15 |1832 | 7.360713e+00 | 1.100000e+01 |  49.44%
1051.80/1052.10	c  1052s|  4400 |  2167 |  2010k| 456.2 |  76M|  66 | 865 |6416 |6423 |6416 |6118 | 205k|  15 |1842 | 7.372747e+00 | 1.100000e+01 |  49.20%
1058.80/1059.01	c  1059s|  4500 |  2179 |  2024k| 449.0 |  76M|  66 |2648 |6416 |6423 |6416 |6741 | 206k|  15 |1842 | 7.372747e+00 | 1.100000e+01 |  49.20%
1067.70/1067.97	c  1068s|  4600 |  2205 |  2040k| 442.7 |  77M|  66 |1789 |6416 |6423 |6416 |6811 | 206k|  15 |1842 | 7.373793e+00 | 1.100000e+01 |  49.18%
1076.40/1076.62	c  1077s|  4700 |  2223 |  2056k| 436.7 |  77M|  66 |   - |6416 |6423 |6416 |6776 | 208k|  15 |1843 | 7.380693e+00 | 1.100000e+01 |  49.04%
1084.60/1084.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1084.60/1084.84	c  1085s|  4800 |  2243 |  2071k| 430.9 |  78M|  66 |   - |6416 |6423 |6416 |6827 | 209k|  15 |1843 | 7.380693e+00 | 1.100000e+01 |  49.04%
1095.00/1095.24	c  1095s|  4900 |  2265 |  2090k| 425.9 |  79M|  66 |1542 |6416 |6423 |6416 |6548 | 210k|  15 |1861 | 7.382192e+00 | 1.100000e+01 |  49.01%
1106.10/1106.30	c  1106s|  5000 |  2289 |  2108k| 421.0 |  80M|  66 |2047 |6416 |6423 |6416 |6826 | 211k|  15 |1886 | 7.382192e+00 | 1.100000e+01 |  49.01%
1117.10/1117.35	c  1117s|  5100 |  2317 |  2127k| 416.4 |  80M|  67 |1536 |6416 |6423 |6416 |6751 | 212k|  15 |1907 | 7.389175e+00 | 1.100000e+01 |  48.87%
1126.29/1126.52	c  1127s|  5200 |  2333 |  2142k| 411.3 |  81M|  67 |   - |6416 |6423 |6416 |6114 | 213k|  15 |1936 | 7.389175e+00 | 1.100000e+01 |  48.87%
1136.49/1136.73	c  1137s|  5300 |  2355 |  2158k| 406.7 |  82M|  67 |2088 |6416 |6423 |6416 |6795 | 214k|  15 |1961 | 7.391198e+00 | 1.100000e+01 |  48.83%
1146.99/1147.30	c  1147s|  5400 |  2377 |  2179k| 402.9 |  83M|  67 |   - |6416 |6423 |6416 |6571 | 215k|  15 |1985 | 7.391198e+00 | 1.100000e+01 |  48.83%
1158.18/1158.49	c  1158s|  5500 |  2407 |  2204k| 400.2 |  83M|  67 |   - |6416 |6423 |6416 |6593 | 217k|  15 |1997 | 7.391198e+00 | 1.100000e+01 |  48.83%
1166.98/1167.23	c  1167s|  5600 |  2429 |  2223k| 396.4 |  84M|  67 |   - |6416 |6423 |6416 |6828 | 218k|  15 |2004 | 7.391198e+00 | 1.100000e+01 |  48.83%
1176.28/1176.57	c  1177s|  5700 |  2455 |  2241k| 392.6 |  85M|  67 |   - |6416 |6423 |6416 |6706 | 219k|  15 |2005 | 7.395374e+00 | 1.100000e+01 |  48.74%
1187.88/1188.18	c  1188s|  5800 |  2491 |  2265k| 389.9 |  86M|  67 |   - |6416 |6423 |6416 |6707 | 220k|  15 |2005 | 7.399801e+00 | 1.100000e+01 |  48.65%
1196.68/1196.94	c  1197s|  5900 |  2517 |  2282k| 386.3 |  87M|  67 |   - |6416 |6423 |6416 |6695 | 221k|  15 |2005 | 7.406942e+00 | 1.100000e+01 |  48.51%
1206.88/1207.19	c  1207s|  6000 |  2543 |  2299k| 382.7 |  88M|  67 |   - |6416 |6423 |6416 |6727 | 222k|  15 |2031 | 7.408929e+00 | 1.100000e+01 |  48.47%
1216.18/1216.44	c  1216s|  6100 |  2565 |  2315k| 379.0 |  88M|  67 |2737 |6416 |6423 |6416 |6746 | 223k|  15 |2051 | 7.414234e+00 | 1.100000e+01 |  48.36%
1228.57/1228.88	c  1229s|  6200 |  2595 |  2336k| 376.2 |  89M|  67 |1833 |6416 |6423 |6416 |6791 | 224k|  15 |2072 | 7.415498e+00 | 1.100000e+01 |  48.34%
1240.68/1241.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1240.68/1241.00	c  1241s|  6300 |  2621 |  2355k| 373.4 |  90M|  67 |   - |6416 |6423 |6416 |6697 | 225k|  15 |2107 | 7.428222e+00 | 1.100000e+01 |  48.08%
1249.47/1249.75	c  1250s|  6400 |  2643 |  2371k| 369.9 |  91M|  67 |1857 |6416 |6423 |6416 |6781 | 226k|  15 |2122 | 7.428222e+00 | 1.100000e+01 |  48.08%
1263.37/1263.68	c  1264s|  6500 |  2677 |  2396k| 368.1 |  92M|  67 |1760 |6416 |6423 |6416 |6681 | 228k|  15 |2164 | 7.431998e+00 | 1.100000e+01 |  48.01%
1274.16/1274.41	c  1274s|  6600 |  2705 |  2412k| 364.9 |  93M|  67 |2211 |6416 |6423 |6416 |6811 | 229k|  15 |2191 | 7.431998e+00 | 1.100000e+01 |  48.01%
1282.37/1282.65	c  1283s|  6700 |  2723 |  2425k| 361.4 |  93M|  67 |1628 |6416 |6423 |6416 |6815 | 229k|  15 |2204 | 7.431998e+00 | 1.100000e+01 |  48.01%
1292.26/1292.54	c  1293s|  6800 |  2741 |  2445k| 359.1 |  94M|  67 |   - |6416 |6423 |6416 |6817 | 231k|  15 |2213 | 7.431998e+00 | 1.100000e+01 |  48.01%
1300.06/1300.33	c  1300s|  6900 |  2765 |  2459k| 355.9 |  95M|  67 |1931 |6416 |6423 |6416 |6813 | 231k|  15 |2214 | 7.437198e+00 | 1.100000e+01 |  47.91%
1306.85/1307.11	c  1307s|  7000 |  2781 |  2472k| 352.7 |  95M|  68 |2094 |6416 |6423 |6416 |6814 | 232k|  15 |2214 | 7.437198e+00 | 1.100000e+01 |  47.91%
1315.96/1316.21	c  1316s|  7100 |  2799 |  2491k| 350.5 |  96M|  68 |1904 |6416 |6423 |6416 |6255 | 234k|  15 |2215 | 7.438527e+00 | 1.100000e+01 |  47.88%
1323.35/1323.66	c  1324s|  7200 |  2817 |  2506k| 347.6 |  97M|  68 |   - |6416 |6423 |6416 |6691 | 235k|  15 |2215 | 7.438527e+00 | 1.100000e+01 |  47.88%
1330.45/1330.72	c  1331s|  7300 |  2835 |  2519k| 344.6 |  97M|  68 |1722 |6416 |6423 |6416 |6822 | 235k|  15 |2215 | 7.439078e+00 | 1.100000e+01 |  47.87%
1338.56/1338.86	c  1339s|  7400 |  2851 |  2532k| 341.7 |  98M|  68 |2367 |6416 |6423 |6416 |6801 | 236k|  15 |2237 | 7.439078e+00 | 1.100000e+01 |  47.87%
1345.76/1346.08	c  1346s|  7500 |  2867 |  2547k| 339.1 |  99M|  68 |1057 |6416 |6423 |6416 |5704 | 237k|  15 |2237 | 7.439078e+00 | 1.100000e+01 |  47.87%
1355.16/1355.46	c  1355s|  7600 |  2879 |  2562k| 336.7 |  99M|  68 |   - |6416 |6423 |6416 |6809 | 238k|  15 |2258 | 7.439078e+00 | 1.100000e+01 |  47.87%
1365.55/1365.88	c  1366s|  7700 |  2901 |  2582k| 334.9 | 100M|  68 |   - |6416 |6423 |6416 |6599 | 239k|  15 |2275 | 7.439604e+00 | 1.100000e+01 |  47.86%
1374.25/1374.52	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1374.25/1374.52	c  1375s|  7800 |  2923 |  2597k| 332.5 | 101M|  68 |   - |6416 |6423 |6416 |6797 | 240k|  15 |2290 | 7.439604e+00 | 1.100000e+01 |  47.86%
1383.55/1383.85	c  1384s|  7900 |  2941 |  2612k| 330.2 | 102M|  68 |   - |6416 |6423 |6416 |6539 | 241k|  15 |2310 | 7.440434e+00 | 1.100000e+01 |  47.84%
1392.74/1393.09	c  1393s|  8000 |  2959 |  2627k| 328.0 | 102M|  68 |1804 |6416 |6423 |6416 |6558 | 241k|  15 |2329 | 7.451605e+00 | 1.100000e+01 |  47.62%
1402.25/1402.59	c  1403s|  8100 |  2975 |  2643k| 325.9 | 103M|  68 |   - |6416 |6423 |6416 |6583 | 242k|  15 |2350 | 7.457764e+00 | 1.100000e+01 |  47.50%
1410.04/1410.38	c  1410s|  8200 |  2991 |  2654k| 323.3 | 104M|  68 |   - |6416 |6423 |6416 |6765 | 243k|  15 |2369 | 7.457764e+00 | 1.100000e+01 |  47.50%
1418.24/1418.51	c  1419s|  8300 |  3007 |  2669k| 321.2 | 104M|  68 |   - |6416 |6423 |6416 |6816 | 244k|  15 |2377 | 7.457922e+00 | 1.100000e+01 |  47.49%
1426.84/1427.15	c  1427s|  8400 |  3027 |  2687k| 319.4 | 105M|  68 |   - |6416 |6423 |6416 |6761 | 244k|  15 |2378 | 7.459164e+00 | 1.100000e+01 |  47.47%
1435.84/1436.15	c  1436s|  8500 |  3045 |  2705k| 317.8 | 106M|  68 |2210 |6416 |6422 |6416 |6766 | 246k|  15 |2378 | 7.468206e+00 | 1.100000e+01 |  47.29%
1445.44/1445.72	c  1446s|  8600 |  3071 |  2724k| 316.4 | 106M|  68 |1836 |6416 |6422 |6416 |6791 | 246k|  15 |2378 | 7.470911e+00 | 1.100000e+01 |  47.24%
1453.44/1453.72	c  1454s|  8700 |  3089 |  2739k| 314.5 | 107M|  68 |1863 |6416 |6422 |6416 |6598 | 247k|  15 |2378 | 7.470911e+00 | 1.100000e+01 |  47.24%
1462.13/1462.48	c  1462s|  8800 |  3109 |  2758k| 313.1 | 108M|  68 |2144 |6416 |6422 |6416 |6485 | 249k|  15 |2379 | 7.471723e+00 | 1.100000e+01 |  47.22%
1470.03/1470.31	c  1470s|  8900 |  3121 |  2772k| 311.1 | 108M|  68 |   - |6416 |6422 |6416 |6828 | 249k|  15 |2394 | 7.471723e+00 | 1.100000e+01 |  47.22%
1479.73/1480.01	c  1480s|  9000 |  3143 |  2789k| 309.5 | 109M|  68 |   - |6416 |6422 |6416 |6827 | 250k|  15 |2404 | 7.476718e+00 | 1.100000e+01 |  47.12%
1486.73/1487.00	c  1487s|  9100 |  3157 |  2801k| 307.4 | 109M|  68 |1825 |6416 |6422 |6416 |6820 | 251k|  15 |2417 | 7.476718e+00 | 1.100000e+01 |  47.12%
1495.23/1495.58	c  1496s|  9200 |  3171 |  2813k| 305.4 | 110M|  75 |2982 |6416 |6421 |6416 |6693 | 251k|  15 |2441 | 7.484060e+00 | 1.100000e+01 |  46.98%
1505.23/1505.53	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1505.23/1505.53	c  1506s|  9300 |  3193 |  2830k| 303.9 | 110M|  75 |1698 |6416 |6421 |6416 |6718 | 252k|  15 |2452 | 7.498704e+00 | 1.100000e+01 |  46.69%
1513.72/1514.07	c  1514s|  9400 |  3207 |  2845k| 302.3 | 111M|  75 |2247 |6416 |6421 |6416 |6793 | 253k|  15 |2466 | 7.502202e+00 | 1.100000e+01 |  46.62%
1523.43/1523.77	c  1524s|  9500 |  3223 |  2862k| 300.9 | 111M|  75 |   - |6416 |6421 |6416 |6790 | 254k|  15 |2486 | 7.503879e+00 | 1.100000e+01 |  46.59%
1534.42/1534.70	c  1535s|  9600 |  3239 |  2882k| 299.9 | 112M|  75 |2346 |6416 |6421 |6416 |6723 | 255k|  15 |2505 | 7.505544e+00 | 1.100000e+01 |  46.56%
1541.73/1542.05	c  1542s|  9700 |  3253 |  2894k| 298.1 | 112M|  75 |2091 |6416 |6421 |6416 |6802 | 255k|  15 |2520 | 7.507146e+00 | 1.100000e+01 |  46.53%
1550.52/1550.81	c  1551s|  9800 |  3277 |  2908k| 296.4 | 113M|  75 |   - |6416 |6421 |6416 |6808 | 256k|  15 |2535 | 7.509362e+00 | 1.100000e+01 |  46.48%
1558.82/1559.11	c  1559s|  9900 |  3291 |  2923k| 294.9 | 113M|  75 |   - |6416 |6421 |6416 |6812 | 257k|  15 |2543 | 7.513235e+00 | 1.100000e+01 |  46.41%
1567.82/1568.12	c  1568s| 10000 |  3319 |  2939k| 293.5 | 114M|  75 |   - |6416 |6421 |6416 |6781 | 258k|  15 |2544 | 7.513235e+00 | 1.100000e+01 |  46.41%
1575.71/1576.03	c  1576s| 10100 |  3343 |  2953k| 292.1 | 114M|  75 |1761 |6416 |6421 |6416 |6762 | 259k|  15 |2544 | 7.513235e+00 | 1.100000e+01 |  46.41%
1582.62/1582.91	c  1583s| 10200 |  3361 |  2965k| 290.4 | 115M|  75 |1902 |6416 |6421 |6416 |6805 | 259k|  15 |2544 | 7.514226e+00 | 1.100000e+01 |  46.39%
1590.11/1590.43	c  1590s| 10300 |  3375 |  2979k| 288.9 | 115M|  75 |   - |6416 |6421 |6416 |6778 | 260k|  15 |2544 | 7.520429e+00 | 1.100000e+01 |  46.27%
1598.51/1598.85	c  1599s| 10400 |  3397 |  2994k| 287.6 | 116M|  75 |2037 |6416 |6421 |6416 |6790 | 260k|  15 |2544 | 7.529485e+00 | 1.100000e+01 |  46.09%
1604.40/1604.80	c  1605s| 10500 |  3409 |  3004k| 285.8 | 116M|  75 |1880 |6416 |6421 |6416 |6798 | 261k|  15 |2544 | 7.531269e+00 | 1.100000e+01 |  46.06%
1609.91/1610.20	c  1610s| 10600 |  3417 |  3013k| 283.9 | 117M|  75 |   - |6416 |6421 |6416 |6816 | 261k|  15 |2544 | 7.533073e+00 | 1.100000e+01 |  46.02%
1617.10/1617.45	c  1617s| 10700 |  3433 |  3027k| 282.6 | 117M|  75 |   - |6416 |6421 |6416 |6800 | 262k|  15 |2544 | 7.542950e+00 | 1.100000e+01 |  45.83%
1627.50/1627.89	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1627.50/1627.89	c  1628s| 10800 |  3451 |  3045k| 281.7 | 118M|  75 |   - |6416 |6421 |6416 |6760 | 263k|  15 |2562 | 7.550953e+00 | 1.100000e+01 |  45.68%
1635.20/1635.55	c  1636s| 10900 |  3463 |  3056k| 280.1 | 118M|  75 |1778 |6416 |6421 |6416 |6728 | 264k|  15 |2584 | 7.554223e+00 | 1.100000e+01 |  45.61%
1642.90/1643.25	c  1643s| 11000 |  3473 |  3068k| 278.7 | 119M|  75 |   - |6416 |6421 |6416 |6802 | 264k|  15 |2601 | 7.559419e+00 | 1.100000e+01 |  45.51%
1648.90/1649.21	c  1649s| 11100 |  3485 |  3080k| 277.2 | 119M|  75 |1745 |6416 |6421 |6416 |6809 | 265k|  15 |2601 | 7.559419e+00 | 1.100000e+01 |  45.51%
1658.50/1658.89	c  1659s| 11200 |  3499 |  3098k| 276.3 | 119M|  75 |   - |6416 |6421 |6416 |6780 | 266k|  15 |2622 | 7.559835e+00 | 1.100000e+01 |  45.51%
1668.50/1668.89	c  1669s| 11300 |  3515 |  3113k| 275.2 | 120M|  75 |2452 |6416 |6421 |6416 |6031 | 266k|  15 |2649 | 7.562166e+00 | 1.100000e+01 |  45.46%
1677.79/1678.19	c  1678s| 11400 |  3533 |  3129k| 274.2 | 120M|  75 |   - |6416 |6421 |6416 |6798 | 267k|  15 |2675 | 7.565073e+00 | 1.100000e+01 |  45.41%
1685.30/1685.61	c  1686s| 11500 |  3545 |  3140k| 272.8 | 121M|  75 |   - |6416 |6421 |6416 |6806 | 268k|  15 |2686 | 7.574296e+00 | 1.100000e+01 |  45.23%
1692.29/1692.66	c  1693s| 11600 |  3563 |  3151k| 271.3 | 121M|  77 |1829 |6416 |6421 |6416 |6740 | 268k|  15 |2702 | 7.574296e+00 | 1.100000e+01 |  45.23%
1699.90/1700.23	c  1700s| 11700 |  3579 |  3166k| 270.3 | 122M|  77 |2228 |6416 |6421 |6416 |6717 | 269k|  15 |2712 | 7.574633e+00 | 1.100000e+01 |  45.22%
1707.39/1707.71	c  1708s| 11800 |  3593 |  3180k| 269.2 | 122M|  77 |   - |6416 |6421 |6416 |6743 | 270k|  15 |2715 | 7.574633e+00 | 1.100000e+01 |  45.22%
1714.89/1715.27	c  1715s| 11900 |  3609 |  3197k| 268.4 | 123M|  77 |   - |6416 |6421 |6416 |6621 | 270k|  15 |2716 | 7.574957e+00 | 1.100000e+01 |  45.22%
1722.09/1722.47	c  1722s| 12000 |  3627 |  3211k| 267.3 | 124M|  77 |1870 |6416 |6421 |6416 |6805 | 271k|  15 |2717 | 7.577495e+00 | 1.100000e+01 |  45.17%
1729.38/1729.77	c  1730s| 12100 |  3637 |  3226k| 266.4 | 124M|  77 |   - |6416 |6421 |6416 |6816 | 272k|  15 |2717 | 7.577495e+00 | 1.100000e+01 |  45.17%
1735.19/1735.50	c  1736s| 12200 |  3647 |  3237k| 265.0 | 125M|  77 |2023 |6416 |6421 |6416 |6768 | 272k|  15 |2717 | 7.577548e+00 | 1.100000e+01 |  45.17%
1743.28/1743.65	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1743.28/1743.65	c  1744s| 12300 |  3663 |  3251k| 264.1 | 125M|  77 |   - |6416 |6421 |6416 |6838 | 273k|  15 |2717 | 7.578987e+00 | 1.100000e+01 |  45.14%
1748.79/1749.17	c  1749s| 12400 |  3671 |  3261k| 262.7 | 125M|  77 |   - |6416 |6421 |6416 |6833 | 274k|  15 |2717 | 7.578987e+00 | 1.100000e+01 |  45.14%
1756.28/1756.70	c  1757s| 12500 |  3681 |  3278k| 262.0 | 126M|  77 |   - |6416 |6421 |6416 |6840 | 274k|  15 |2718 | 7.578987e+00 | 1.100000e+01 |  45.14%
1763.99/1764.40	c  1764s| 12600 |  3699 |  3290k| 260.8 | 126M|  77 |1684 |6416 |6421 |6416 |6727 | 275k|  15 |2735 | 7.583511e+00 | 1.100000e+01 |  45.05%
1770.28/1770.62	c  1771s| 12700 |  3709 |  3299k| 259.5 | 127M|  77 |2102 |6416 |6421 |6416 |6806 | 275k|  15 |2749 | 7.586608e+00 | 1.100000e+01 |  44.99%
1779.17/1779.51	c  1780s| 12800 |  3725 |  3315k| 258.7 | 127M|  77 |   - |6416 |6421 |6416 |6776 | 276k|  15 |2759 | 7.591305e+00 | 1.100000e+01 |  44.90%
1788.07/1788.50	c  1788s| 12900 |  3743 |  3329k| 257.8 | 128M|  77 |1533 |6416 |6421 |6416 |6303 | 277k|  15 |2781 | 7.593122e+00 | 1.100000e+01 |  44.87%
1795.77/1796.14	c  1796s| 13000 |  3751 |  3342k| 256.8 | 128M|  77 |1904 |6416 |6421 |6416 |6701 | 277k|  15 |2797 | 7.593189e+00 | 1.100000e+01 |  44.87%
1796.67/1797.00	c 
1796.67/1797.00	c SCIP Status        : solving was interrupted [time limit reached]
1796.67/1797.00	c Solving Time (sec) : 1797.00
1796.67/1797.00	c Solving Nodes      : 13008
1796.67/1797.00	c Primal Bound       : +1.10000000000000e+01 (6 solutions)
1796.67/1797.00	c Dual Bound         : +7.59318933259110e+00
1796.67/1797.00	c Gap                : 44.87 %
1796.67/1797.00	s SATISFIABLE
1796.67/1797.00	v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 
1796.67/1797.00	v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 
1796.67/1797.00	v -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 
1796.67/1797.00	v -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 
1796.67/1797.00	v -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 
1796.67/1797.00	v -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 
1796.67/1797.00	v -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 x49 -x48 -x47 -x46 -x45 
1796.67/1797.00	v -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 
1796.67/1797.00	v -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 x10 x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1 
1796.67/1797.00	c SCIP Status        : solving was interrupted [time limit reached]
1796.67/1797.00	c Total Time         :    1797.00
1796.67/1797.00	c   solving          :    1797.00
1796.67/1797.00	c   presolving       :       0.29 (included in solving)
1796.67/1797.00	c   reading          :       0.01 (included in solving)
1796.67/1797.00	c   copying          :       0.18 (10 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.67/1797.00	c Original Problem   :
1796.67/1797.00	c   Problem name     : HOME/instance-3691449-1338020822.opb
1796.67/1797.00	c   Variables        : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1797.00	c   Constraints      : 200 initial, 200 maximal
1796.67/1797.00	c   Objective sense  : minimize
1796.67/1797.00	c Presolved Problem  :
1796.67/1797.00	c   Problem name     : t_HOME/instance-3691449-1338020822.opb
1796.67/1797.00	c   Variables        : 6416 (6416 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1797.00	c   Constraints      : 6416 initial, 6429 maximal
1796.67/1797.00	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.67/1797.00	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c   trivial          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c   dualfix          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c   gateextraction   :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c   implics          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c   components       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c   pseudoobj        :       0.00       0.01          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c   probing          :       0.03       0.00          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c   and              :       0.22       0.00          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c   linear           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c   logicor          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1796.67/1797.00	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.67/1797.00	c   integral         :          0          0          0          0       8636          0        228          0          6        388          0          0      16968
1796.67/1797.00	c   and              :       6216       6216      29068      80264          0          1        223        435          6    4115099     319913          0          0
1796.67/1797.00	c   logicor          :        200+       213          6      27380          0          1          6          6          5          0          0          0          0
1796.67/1797.00	c   countsols        :          0          0          0          0          0          1          9          0          0          0          0          0          0
1796.67/1797.00	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.67/1797.00	c   integral         :     160.84       0.00       0.00       0.00     160.83       0.00       0.00       0.00
1796.67/1797.00	c   and              :     106.62       0.00      89.53      17.06       0.00       0.00       0.03       0.00
1796.67/1797.00	c   logicor          :       0.46       0.00       0.00       0.46       0.00       0.00       0.00       0.00
1796.67/1797.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.67/1797.00	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.67/1797.00	c   rootredcost      :          4          0          0          0
1796.67/1797.00	c   pseudoobj        :      88803        100          2          0
1796.67/1797.00	c   vbounds          :          0          0          0          0
1796.67/1797.00	c   redcost          :      38181          0          0      76566
1796.67/1797.00	c   probing          :          0          0          0          0
1796.67/1797.00	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.67/1797.00	c   rootredcost      :       0.05       0.00       0.00       0.05       0.00
1796.67/1797.00	c   pseudoobj        :       0.21       0.01       0.00       0.20       0.01
1796.67/1797.00	c   vbounds          :       0.04       0.00       0.00       0.04       0.00
1796.67/1797.00	c   redcost          :       3.25       0.00       0.00       3.25       0.00
1796.67/1797.00	c   probing          :       0.03       0.00       0.03       0.00       0.00
1796.67/1797.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.67/1797.00	c   propagation      :       0.01         13         13         15       27.3          0        0.0          -
1796.67/1797.00	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1796.67/1797.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.67/1797.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.67/1797.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.67/1797.00	c   applied globally :          -          -          -         15       27.3          -          -          -
1796.67/1797.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.67/1797.00	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.67/1797.00	c   cut pool         :       0.00                     5          -          -          0          -    (maximal pool size: 2417)
1796.67/1797.00	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.67/1797.00	c   impliedbounds    :       0.01       0.00          6          0          0       2400          0
1796.67/1797.00	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.67/1797.00	c   gomory           :       0.04       0.00          6          0          0        300          0
1796.67/1797.00	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.67/1797.00	c   strongcg         :       0.34       0.00          6          0          0       3000          0
1796.67/1797.00	c   cmir             :       1.65       0.00          6          0          0       2400          0
1796.67/1797.00	c   flowcover        :       0.43       0.00          6          0          0          0          0
1796.67/1797.00	c   clique           :       0.14       0.00          6          0          0         17          0
1796.67/1797.00	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.67/1797.00	c   mcf              :       0.01       0.00          1          0          0          0          0
1796.67/1797.00	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.67/1797.00	c   rapidlearning    :       0.28       0.00          1          0          0          0          0
1796.67/1797.00	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.67/1797.00	c   problem variables:       0.00          -          0          0
1796.67/1797.00	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.67/1797.00	c   relpscost        :     160.81       0.00       8628          6        388          0          0      16952
1796.67/1797.00	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.67/1797.00	c   inference        :       0.00       0.00          9          0          0          0          0         18
1796.67/1797.00	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.67/1797.00	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.67/1797.00	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.67/1797.00	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.67/1797.00	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.67/1797.00	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.67/1797.00	c   LP solutions     :       0.00          -          -          0
1796.67/1797.00	c   pseudo solutions :       0.00          -          -          0
1796.67/1797.00	c   feaspump         :       0.00       0.00          0          0
1796.67/1797.00	c   intshifting      :       0.00       0.00          0          0
1796.67/1797.00	c   oneopt           :       0.03       0.00          5          0
1796.67/1797.00	c   objpscostdiving  :      28.61       0.00          5          0
1796.67/1797.00	c   crossover        :       0.93       0.00          5          0
1796.67/1797.00	c   rootsoldiving    :       8.90       0.00         19          0
1796.67/1797.00	c   guideddiving     :      44.73       0.00         41          0
1796.67/1797.00	c   veclendiving     :      15.40       0.00         42          0
1796.67/1797.00	c   pscostdiving     :      37.73       0.00         42          0
1796.67/1797.00	c   linesearchdiving :      41.93       0.00         42          0
1796.67/1797.00	c   fracdiving       :      66.65       0.00         48          1
1796.67/1797.00	c   coefdiving       :      34.68       0.00         49          2
1796.67/1797.00	c   smallcard        :       0.00       0.00          0          0
1796.67/1797.00	c   trivial          :       0.00       0.00          2          1
1796.67/1797.00	c   shiftandpropagate:       0.00       0.00          0          0
1796.67/1797.00	c   simplerounding   :       0.03       0.00          0          0
1796.67/1797.00	c   zirounding       :       0.97       0.00       1000          0
1796.67/1797.00	c   rounding         :       3.38       0.00       2439          0
1796.67/1797.00	c   shifting         :       4.95       0.00       2920          2
1796.67/1797.00	c   twoopt           :       0.00       0.00          0          0
1796.67/1797.00	c   indoneopt        :       0.03       0.00          0          0
1796.67/1797.00	c   indtwoopt        :       0.00       0.00          0          0
1796.67/1797.00	c   fixandinfer      :       0.00       0.00          0          0
1796.67/1797.00	c   clique           :       0.00       0.00          0          0
1796.67/1797.00	c   indcoefdiving    :       0.00       0.00          0          0
1796.67/1797.00	c   indrounding      :       0.00       0.00          0          0
1796.67/1797.00	c   nlpdiving        :       0.00       0.00          0          0
1796.67/1797.00	c   intdiving        :       0.00       0.00          0          0
1796.67/1797.00	c   actconsdiving    :       0.00       0.00          0          0
1796.67/1797.00	c   octane           :       0.00       0.00          0          0
1796.67/1797.00	c   rens             :       0.08       0.00          1          0
1796.67/1797.00	c   rins             :       0.00       0.00          0          0
1796.67/1797.00	c   localbranching   :       0.00       0.00          0          0
1796.67/1797.00	c   mutation         :       0.00       0.00          0          0
1796.67/1797.00	c   dins             :       0.00       0.00          0          0
1796.67/1797.00	c   vbounds          :       0.00       0.00          0          0
1796.67/1797.00	c   undercover       :       0.13       0.00          1          0
1796.67/1797.00	c   subnlp           :       0.01       0.00          0          0
1796.67/1797.00	c   trysol           :       0.02       0.00          0          0
1796.67/1797.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.67/1797.00	c   primal LP        :      21.10       3905          0       0.00       0.00      21.10       3905
1796.67/1797.00	c   dual LP          :    1126.45      42723    2807574      76.17    2492.42      11.69       5865
1796.67/1797.00	c   lex dual LP      :       0.00          0          0       0.00          -
1796.67/1797.00	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.67/1797.00	c   diving/probing LP:     222.55      25228     537119      21.29    2413.45
1796.67/1797.00	c   strong branching :     160.27       2797     428858     153.33    2675.82
1796.67/1797.00	c     (at root node) :          -          0          0       0.00          -
1796.67/1797.00	c   conflict analysis:       0.00          0          0       0.00          -
1796.67/1797.00	c B&B Tree           :
1796.67/1797.00	c   number of runs   :          1
1796.67/1797.00	c   nodes            :      13008
1796.67/1797.00	c   nodes (total)    :      13008
1796.67/1797.00	c   nodes left       :       3753
1796.67/1797.00	c   max depth        :         77
1796.67/1797.00	c   max depth (total):         77
1796.67/1797.00	c   backtracks       :       1626 (12.5%)
1796.67/1797.00	c   delayed cutoffs  :          0
1796.67/1797.00	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1796.67/1797.00	c   avg switch length:       5.05
1796.67/1797.00	c   switching time   :      29.57
1796.67/1797.00	c Solution           :
1796.67/1797.00	c   Solutions found  :          6 (6 improvements)
1796.67/1797.00	c   First Solution   : +2.00000000000000e+02   (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
1796.67/1797.00	c   Primal Bound     : +1.10000000000000e+01   (in run 1, after 1131 nodes, 591.94 seconds, depth 57, found by <coefdiving>)
1796.67/1797.00	c   Dual Bound       : +7.59318933259110e+00
1796.67/1797.00	c   Gap              :      44.87 %
1796.67/1797.00	c   Root Dual Bound  : +0.00000000000000e+00
1796.67/1797.00	c   Root Iterations  :       4003
1796.77/1797.11	c Time complete: 1796.78.

Verifier Data

OK	11

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3691449-1338020822/watcher-3691449-1338020822 -o /tmp/evaluation-result-3691449-1338020822/solver-3691449-1338020822 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691449-1338020822.opb -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.06 2.03 1.95 3/177 29540
/proc/meminfo: memFree=29156276/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=10280 CPUtime=0 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 1336 0 0 0 0 0 0 0 20 0 1 0 268210727 10526720 1290 33554432000 4194304 10173063 140735103315696 140733858880408 7171394 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 2570 1290 417 1460 0 1101 0

[startup+0.0130601 s]
/proc/loadavg: 2.06 2.03 1.95 3/177 29540
/proc/meminfo: memFree=29156276/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=16592 CPUtime=0 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 2474 0 0 0 0 0 0 0 20 0 1 0 268210727 16990208 2429 33554432000 4194304 10173063 140735103315696 140733858880408 8846909 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 4148 2442 508 1460 0 2679 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16592

[startup+0.100236 s]
/proc/loadavg: 2.06 2.03 1.95 3/177 29540
/proc/meminfo: memFree=29156276/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=40076 CPUtime=0.09 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 8437 0 0 0 8 1 0 0 20 0 1 0 268210727 41037824 8391 33554432000 4194304 10173063 140735103315696 140733858880408 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 10019 8391 550 1460 0 8550 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40076

[startup+0.300289 s]
/proc/loadavg: 2.06 2.03 1.95 3/177 29540
/proc/meminfo: memFree=29156276/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=49268 CPUtime=0.29 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 11144 0 0 0 23 6 0 0 20 0 1 0 268210727 50450432 10841 33554432000 4194304 10173063 140735103315696 140733858880408 5929904 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 12317 10841 597 1460 0 10848 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49268

[startup+0.700311 s]
/proc/loadavg: 2.06 2.03 1.95 3/177 29540
/proc/meminfo: memFree=29156276/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=79232 CPUtime=0.69 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 27005 0 0 0 60 9 0 0 20 0 1 0 268210727 81133568 18510 33554432000 4194304 10173063 140735103315696 140735103311624 5099032 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 19808 18510 803 1460 0 18339 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 79232

[startup+1.50031 s]
/proc/loadavg: 2.06 2.03 1.95 3/177 29541
/proc/meminfo: memFree=29084960/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=101624 CPUtime=1.48 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 38589 0 0 0 134 14 0 0 20 0 1 0 268210727 104062976 24205 33554432000 4194304 10173063 140735103315696 140735103310584 7269800 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 25406 24205 831 1460 0 23937 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 101624

[startup+3.10028 s]
/proc/loadavg: 2.06 2.03 1.95 3/177 29541
/proc/meminfo: memFree=29062516/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=101624 CPUtime=3.08 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 38620 0 0 0 293 15 0 0 20 0 1 0 268210727 104062976 24236 33554432000 4194304 10173063 140735103315696 140735103311080 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 25406 24236 831 1460 0 23937 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 101624

[startup+6.30033 s]
/proc/loadavg: 2.06 2.03 1.95 3/177 29541
/proc/meminfo: memFree=29061772/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=101624 CPUtime=6.29 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 41745 0 0 0 610 19 0 0 20 0 1 0 268210727 104062976 24339 33554432000 4194304 10173063 140735103315696 140735103309560 8047338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 25406 24339 838 1460 0 23937 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 101624

[startup+12.7003 s]
/proc/loadavg: 2.05 2.03 1.95 3/177 29541
/proc/meminfo: memFree=29061144/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=101624 CPUtime=12.69 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 41745 0 0 0 1247 22 0 0 20 0 1 0 268210727 104062976 24339 33554432000 4194304 10173063 140735103315696 140735103309240 7910648 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 25406 24339 838 1460 0 23937 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 101624

[startup+25.5002 s]
/proc/loadavg: 2.11 2.04 1.95 3/177 29541
/proc/meminfo: memFree=29061268/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=101624 CPUtime=25.49 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 41750 0 0 0 2519 30 0 0 20 0 1 0 268210727 104062976 24344 33554432000 4194304 10173063 140735103315696 140735103309720 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 25406 24344 841 1460 0 23937 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 101624

[startup+51.1003 s]
/proc/loadavg: 2.07 2.04 1.95 3/177 29541
/proc/meminfo: memFree=29058128/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=101624 CPUtime=51.08 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 41753 0 0 0 5071 37 0 0 20 0 1 0 268210727 104062976 24347 33554432000 4194304 10173063 140735103315696 140735103309240 5084148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 25406 24347 841 1460 0 23937 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 101624

[startup+102.307 s]
/proc/loadavg: 2.03 2.03 1.95 3/177 29541
/proc/meminfo: memFree=29044396/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=101624 CPUtime=102.28 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 41754 0 0 0 10170 58 0 0 20 0 1 0 268210727 104062976 24348 33554432000 4194304 10173063 140735103315696 140735103308280 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 25406 24348 842 1460 0 23937 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 101624

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/177 29541
/proc/meminfo: memFree=29042584/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=103448 CPUtime=162.26 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 42128 0 0 0 16151 75 0 0 20 0 1 0 268210727 105930752 24745 33554432000 4194304 10173063 140735103315696 140735103308648 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 25862 24745 842 1460 0 24393 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 103448

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/178 29544
/proc/meminfo: memFree=29039388/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=104744 CPUtime=222.25 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 52411 0 0 0 22128 97 0 0 20 0 1 0 268210727 107257856 25502 33554432000 4194304 10173063 140735103315696 140735103308568 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 26186 25502 849 1460 0 24717 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 104744

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/177 29545
/proc/meminfo: memFree=29036296/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=107852 CPUtime=282.23 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 53190 0 0 0 28109 114 0 0 20 0 1 0 268210727 110440448 26281 33554432000 4194304 10173063 140735103315696 140735103308456 6126957 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 26963 26281 849 1460 0 25494 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 107852

[startup+342.3 s]
/proc/loadavg: 2.04 2.02 1.96 3/177 29545
/proc/meminfo: memFree=29034436/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=109884 CPUtime=342.22 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 53696 0 0 0 34089 133 0 0 20 0 1 0 268210727 112521216 26787 33554432000 4194304 10173063 140735103315696 140735103308872 5084126 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 27471 26787 849 1460 0 26002 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 109884

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/177 29545
/proc/meminfo: memFree=29033196/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=111116 CPUtime=402.21 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 54015 0 0 0 40069 152 0 0 20 0 1 0 268210727 113782784 27106 33554432000 4194304 10173063 140735103315696 140735103308824 8046716 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 27779 27106 849 1460 0 26310 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 111116

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/177 29545
/proc/meminfo: memFree=29029776/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=114348 CPUtime=462.2 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 57506 0 0 0 46047 173 0 0 20 0 1 0 268210727 117092352 27903 33554432000 4194304 10173063 140735103315696 140735103309336 5122160 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 28587 27903 849 1460 0 27118 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 114348

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 29545
/proc/meminfo: memFree=29029404/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=115152 CPUtime=522.19 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 57651 0 0 0 52027 192 0 0 20 0 1 0 268210727 117915648 28048 33554432000 4194304 10173063 140735103315696 140735103311624 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 28788 28048 849 1460 0 27319 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 115152

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 29546
/proc/meminfo: memFree=29027668/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=117400 CPUtime=582.18 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 58172 0 0 0 58004 214 0 0 20 0 1 0 268210727 120217600 28569 33554432000 4194304 10173063 140735103315696 140735103309000 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 29350 28569 849 1460 0 27881 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 117400

[startup+642.3 s]

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

/proc/meminfo: memFree=28988516/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=154972 CPUtime=1062.1 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 94527 0 0 0 105847 363 0 0 20 0 1 0 268210727 158691328 37987 33554432000 4194304 10173063 140735103315696 140735103309000 7980756 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 38743 37987 854 1460 0 37274 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 154972

[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/177 29550
/proc/meminfo: memFree=28983308/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=159328 CPUtime=1122.09 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 96668 0 0 0 111829 380 0 0 20 0 1 0 268210727 163151872 39153 33554432000 4194304 10173063 140735103315696 140735103309336 7986109 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 39832 39153 854 1460 0 38363 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 159328

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/177 29551
/proc/meminfo: memFree=28975308/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=166876 CPUtime=1182.08 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 98566 0 0 0 117812 396 0 0 20 0 1 0 268210727 170881024 41046 33554432000 4194304 10173063 140735103315696 140735103308920 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 41719 41046 854 1460 0 40250 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 166876

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/177 29551
/proc/meminfo: memFree=28969600/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=172804 CPUtime=1242.07 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 100053 0 0 0 123793 414 0 0 20 0 1 0 268210727 176951296 42533 33554432000 4194304 10173063 140735103315696 140735103312168 8033157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 43201 42533 854 1460 0 41732 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 172804

[startup+1302.3 s]
/proc/loadavg: 2.08 2.02 1.98 3/177 29551
/proc/meminfo: memFree=28962756/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=179328 CPUtime=1302.06 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 101679 0 0 0 129774 432 0 0 20 0 1 0 268210727 183631872 44153 33554432000 4194304 10173063 140735103315696 140735103309048 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 44832 44153 854 1460 0 43363 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 179328

[startup+1362.3 s]
/proc/loadavg: 2.11 2.03 1.99 3/177 29551
/proc/meminfo: memFree=28956804/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=185464 CPUtime=1362.05 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 103215 0 0 0 135754 451 0 0 20 0 1 0 268210727 189915136 45689 33554432000 4194304 10173063 140735103315696 140735103309192 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 46366 45689 854 1460 0 44897 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 185464

[startup+1422.31 s]
/proc/loadavg: 2.04 2.02 1.99 3/178 29554
/proc/meminfo: memFree=28948364/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=193940 CPUtime=1422.05 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 112667 0 0 0 141735 470 0 0 20 0 1 0 268210727 198594560 47739 33554432000 4194304 10173063 140735103315696 140735103309048 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 48485 47739 854 1460 0 47016 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 193940

[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/177 29554
/proc/meminfo: memFree=28939444/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=199876 CPUtime=1482.03 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 114108 0 0 0 147716 487 0 0 20 0 1 0 268210727 204673024 49180 33554432000 4194304 10173063 140735103315696 140735103309336 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 49969 49180 854 1460 0 48500 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 199876

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/177 29555
/proc/meminfo: memFree=28933740/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=205748 CPUtime=1542.03 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 115599 0 0 0 153699 504 0 0 20 0 1 0 268210727 210685952 50671 33554432000 4194304 10173063 140735103315696 140735103309144 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 51437 50671 854 1460 0 49968 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 205748

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/177 29555
/proc/meminfo: memFree=28926080/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=212076 CPUtime=1602.01 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 117184 0 0 0 159681 520 0 0 20 0 1 0 268210727 217165824 52248 33554432000 4194304 10173063 140735103315696 140735103309048 7910525 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 53019 52248 854 1460 0 51550 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 212076

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 29593
/proc/meminfo: memFree=29249484/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=217856 CPUtime=1662 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 118640 0 0 0 165662 538 0 0 20 0 1 0 268210727 223084544 53704 33554432000 4194304 10173063 140735103315696 140735103308952 8047331 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 54464 53704 854 1460 0 52995 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 217856

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 29593
/proc/meminfo: memFree=29238944/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=223504 CPUtime=1721.99 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 120162 0 0 0 171643 556 0 0 20 0 1 0 268210727 228868096 55226 33554432000 4194304 10173063 140735103315696 140735103308680 8056069 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 55876 55226 854 1460 0 54407 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 223504

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 29593
/proc/meminfo: memFree=29225132/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=233416 CPUtime=1781.97 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 122538 0 0 0 177619 578 0 0 20 0 1 0 268210727 239017984 57595 33554432000 4194304 10173063 140735103315696 140735103312136 7911532 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 58354 57595 854 1460 0 56885 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 233416

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 29593
/proc/meminfo: memFree=29224140/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=234452 CPUtime=1785.18 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 122763 0 0 0 177938 580 0 0 20 0 1 0 268210727 240078848 57820 33554432000 4194304 10173063 140735103315696 140735103308680 7986093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 58613 57820 854 1460 0 57144 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 234452

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.99 3/176 29593
/proc/meminfo: memFree=29222472/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=234452 CPUtime=1791.58 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 122784 0 0 0 178576 582 0 0 20 0 1 0 268210727 240078848 57841 33554432000 4194304 10173063 140735103315696 140735103309416 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 58613 57841 854 1460 0 57144 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 234452

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 29594
/proc/meminfo: memFree=29222224/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=234452 CPUtime=1794.78 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 122838 0 0 0 178895 583 0 0 20 0 1 0 268210727 240078848 57895 33554432000 4194304 10173063 140735103315696 140735103309144 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 58613 57895 854 1460 0 57144 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 234452

[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 29594
/proc/meminfo: memFree=29222224/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=234452 CPUtime=1795.57 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 122838 0 0 0 178974 583 0 0 20 0 1 0 268210727 240078848 57895 33554432000 4194304 10173063 140735103315696 140735103308216 7649893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 58613 57895 854 1460 0 57144 0
Current children cumulated CPU time (s) 1795.57
Current children cumulated vsize (KiB) 234452

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 29594
/proc/meminfo: memFree=29221596/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=234452 CPUtime=1796.37 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 122839 0 0 0 179054 583 0 0 20 0 1 0 268210727 240078848 57896 33554432000 4194304 10173063 140735103315696 140735103309000 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 58613 57896 854 1460 0 57144 0
Current children cumulated CPU time (s) 1796.37
Current children cumulated vsize (KiB) 234452

[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 29594
/proc/meminfo: memFree=29221596/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=232524 CPUtime=1796.77 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 122842 0 0 0 179094 583 0 0 20 0 1 0 268210727 238104576 57417 33554432000 4194304 10173063 140735103315696 140735103309000 7550044 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 58131 57417 857 1460 0 56662 0
Current children cumulated CPU time (s) 1796.77
Current children cumulated vsize (KiB) 232524

Child status: 0
Real time (s): 1797.11
CPU time (s): 1796.79
CPU user time (s): 1790.95
CPU system time (s): 5.84311
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 234452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.95
system time used= 5.84311
maximum resident set size= 231596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122844
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= 59
involuntary context switches= 1845

runsolver used 4.56731 second user time and 18.6682 second system time

The end

Launcher Data

Begin job on node102 at 2012-05-26 10:27:02
IDJOB=3691449
IDBENCH=48158
IDSOLVER=2270
FILE ID=node102/3691449-1338020822
RUNJOBID= node102-1338016939-29038
PBS_JOBID= 14624369
Free space on /tmp= 71548 MiB

SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_3.opb
COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3691449-1338020822/watcher-3691449-1338020822 -o /tmp/evaluation-result-3691449-1338020822/solver-3691449-1338020822 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691449-1338020822.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 0e507441d4bf529adaad354902c51a54
RANDOM SEED=265146288

node102.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29156912 kB
Buffers:          227496 kB
Cached:          2375132 kB
SwapCached:            0 kB
Active:          1208808 kB
Inactive:        1738732 kB
Active(anon):     347260 kB
Inactive(anon):        0 kB
Active(file):     861548 kB
Inactive(file):  1738732 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             13608 kB
Writeback:             0 kB
AnonPages:        380344 kB
Mapped:            17792 kB
Shmem:               200 kB
Slab:             630012 kB
SReclaimable:      72596 kB
SUnreclaim:       557416 kB
KernelStack:        1480 kB
PageTables:         4804 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     460500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     88064 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71536 MiB
End job on node102 at 2012-05-26 10:56:59