Trace number 3691306

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 fixed? 1796.77 1797.06

General information on the benchmark

Name/OPT-SMALLINT-LIN/
heinz/normalized-bnatt350.opb
MD5SUM9054782dbdf385ef080d3f3a34a113d2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.177972
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3150
Total number of constraints4923
Number of constraints which are clauses1773
Number of constraints which are cardinality constraints (but not clauses)1377
Number of constraints which are nor clauses,nor cardinality constraints1773
Minimum length of a constraint1
Maximum length of a constraint9
Number of terms in the objective function 1
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 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1099
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3098
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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-3691306-1338024485.opb>
0.00/0.02	c original problem has 3150 variables (3150 bin, 0 int, 0 impl, 0 cont) and 4923 constraints
0.00/0.02	c problem read in 0.02
0.00/0.04	c presolving:
0.06/0.08	c (round 1) 1387 del vars, 1377 del conss, 0 add conss, 1377 chg bounds, 1423 chg sides, 1773 chg coeffs, 0 upgd conss, 40 impls, 0 clqs
0.06/0.08	c (round 2) 1387 del vars, 1397 del conss, 0 add conss, 1377 chg bounds, 1423 chg sides, 1773 chg coeffs, 0 upgd conss, 40 impls, 0 clqs
0.09/0.12	c (round 3) 1387 del vars, 1397 del conss, 0 add conss, 1377 chg bounds, 1423 chg sides, 1773 chg coeffs, 3505 upgd conss, 40 impls, 0 clqs
0.09/0.19	c (round 4) 1387 del vars, 3148 del conss, 5077 add conss, 1379 chg bounds, 6252 chg sides, 12226 chg coeffs, 3526 upgd conss, 62624 impls, 250 clqs
0.19/0.22	c (round 5) 1389 del vars, 3429 del conss, 5105 add conss, 1379 chg bounds, 6266 chg sides, 12292 chg coeffs, 3526 upgd conss, 62728 impls, 264 clqs
0.59/0.64	c    (0.6s) probing: 1000/1761 (56.8%) - 2 fixings, 0 aggregations, 5249 implications, 2 bound changes
0.59/0.67	c    (0.7s) probing: 1064/1761 (60.4%) - 2 fixings, 0 aggregations, 5694 implications, 2 bound changes
0.59/0.67	c    (0.7s) probing aborted: 1000/1000 successive useless probings
0.59/0.67	c (round 6) 1391 del vars, 3459 del conss, 5115 add conss, 1381 chg bounds, 6266 chg sides, 12292 chg coeffs, 3526 upgd conss, 77258 impls, 264 clqs
0.59/0.69	c (round 7) 1391 del vars, 3475 del conss, 5125 add conss, 1381 chg bounds, 6266 chg sides, 12292 chg coeffs, 3529 upgd conss, 77258 impls, 264 clqs
0.69/0.71	c (round 8) 1391 del vars, 3476 del conss, 5125 add conss, 1381 chg bounds, 6266 chg sides, 12292 chg coeffs, 3529 upgd conss, 77258 impls, 274 clqs
0.69/0.77	c    (0.8s) probing: 1164/1761 (66.1%) - 2 fixings, 0 aggregations, 6151 implications, 2 bound changes
0.69/0.77	c    (0.8s) probing aborted: 1000/1000 successive useless probings
0.69/0.77	c presolving (9 rounds):
0.69/0.77	c  1391 deleted vars, 3476 deleted constraints, 5125 added constraints, 1381 tightened bounds, 0 added holes, 6266 changed sides, 12292 changed coefficients
0.69/0.77	c  78172 implications, 274 cliques
0.69/0.77	c presolved problem has 1759 variables (1759 bin, 0 int, 0 impl, 0 cont) and 6572 constraints
0.69/0.77	c    4822 constraints of type <setppc>
0.69/0.77	c    1750 constraints of type <logicor>
0.69/0.77	c transformed objective value is always integral (scale: 1)
0.69/0.77	c Presolving Time: 0.74
0.69/0.77	c - non default parameters ----------------------------------------------------------------------
0.69/0.77	c # SCIP version 2.1.1.4
0.69/0.77	c 
0.69/0.77	c # maximal time in seconds to run
0.69/0.77	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.77	c limits/time = 1797
0.69/0.77	c 
0.69/0.77	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.77	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.77	c limits/memory = 13950
0.69/0.77	c 
0.69/0.77	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.69/0.77	c # [type: int, range: [1,2], default: 1]
0.69/0.77	c timing/clocktype = 2
0.69/0.77	c 
0.69/0.77	c # belongs reading time to solving time?
0.69/0.77	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.77	c timing/reading = TRUE
0.69/0.77	c 
0.69/0.77	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.69/0.77	c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.77	c separating/rapidlearning/freq = 0
0.69/0.77	c 
0.69/0.77	c -----------------------------------------------------------------------------------------------
0.69/0.77	c start solving
0.69/0.78	c 
0.89/0.96	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.89/0.96	c   1.0s|     1 |     0 |  1527 |     - |  17M|   0 | 712 |1759 |6585 |1759 |6572 |   0 |  13 |   0 | 0.000000e+00 |      --      |    Inf 
8.80/8.81	c   8.8s|     1 |     0 | 24663 |     - |  19M|   0 | 837 |1759 |7264 |1759 |6695 | 123 |  13 |   0 | 0.000000e+00 |      --      |    Inf 
9.69/9.74	c   9.7s|     1 |     0 | 28699 |     - |  21M|   0 | 804 |1759 |7264 |1759 |6764 | 192 |  13 |   0 | 0.000000e+00 |      --      |    Inf 
9.99/10.06	c  10.1s|     1 |     0 | 29662 |     - |  22M|   0 | 801 |1759 |7264 |1759 |6808 | 236 |  13 |   0 | 0.000000e+00 |      --      |    Inf 
10.99/11.09	c  11.1s|     1 |     0 | 31127 |     - |  22M|   0 | 868 |1759 |7264 |1759 |6838 | 266 |  13 |   0 | 0.000000e+00 |      --      |    Inf 
12.38/12.49	c  12.5s|     1 |     0 | 32052 |     - |  23M|   0 | 866 |1759 |7264 |1759 |6861 | 289 |  13 |   0 | 0.000000e+00 |      --      |    Inf 
13.19/13.21	c  13.2s|     1 |     0 | 32873 |     - |  23M|   0 | 869 |1759 |7264 |1759 |6883 | 311 |  13 |   0 | 0.000000e+00 |      --      |    Inf 
21.38/21.46	c  21.5s|     1 |     2 | 32873 |     - |  23M|   0 | 869 |1759 |7264 |1759 |6883 | 311 |  13 |  41 | 0.000000e+00 |      --      |    Inf 
66.28/66.32	c  66.3s|   100 |    37 | 96590 | 643.6 |  24M|  23 | 687 |1759 |7465 |1759 |6675 | 311 | 214 | 290 | 0.000000e+00 |      --      |    Inf 
82.97/83.00	c  83.0s|   200 |    66 |159691 | 637.3 |  24M|  28 | 593 |1759 |7694 |1759 |6675 | 311 | 444 | 338 | 0.000000e+00 |      --      |    Inf 
94.59/94.65	c  94.6s|   300 |    70 |201113 | 562.7 |  24M|  28 | 604 |1759 |7908 |1759 |6675 | 311 | 738 | 374 | 0.000000e+00 |      --      |    Inf 
110.07/110.14	c   110s|   400 |    86 |259166 | 567.2 |  25M|  28 |   - |1759 |8123 |1759 |6675 | 311 |1036 | 430 | 0.000000e+00 |      --      |    Inf 
130.97/131.07	c   131s|   500 |    99 |335343 | 606.2 |  25M|  28 |   - |1759 |8248 |   0 |   0 | 311 |1288 | 485 | 0.000000e+00 |      --      |    Inf 
148.07/148.15	c   148s|   600 |    98 |398699 | 610.7 |  25M|  28 | 608 |1759 |8359 |1759 |6675 | 311 |1600 | 536 | 0.000000e+00 |      --      |    Inf 
166.17/166.29	c   166s|   700 |   104 |466304 | 620.1 |  25M|  28 | 612 |1759 |8378 |1759 |6675 | 311 |1806 | 583 | 0.000000e+00 |      --      |    Inf 
180.86/180.93	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
180.86/180.93	c   181s|   800 |   115 |523400 | 613.9 |  26M|  28 |   - |1759 |8442 |   0 |   0 | 311 |2057 | 634 | 0.000000e+00 |      --      |    Inf 
198.36/198.45	c   198s|   900 |   125 |590911 | 620.7 |  26M|  28 | 698 |1759 |8421 |1759 |6675 | 311 |2264 | 679 | 0.000000e+00 |      --      |    Inf 
214.46/214.56	c   215s|  1000 |   118 |647901 | 615.6 |  26M|  28 |   - |1759 |8439 |   0 |   0 | 311 |2462 | 739 | 0.000000e+00 |      --      |    Inf 
227.35/227.42	c   227s|  1100 |   135 |701793 | 608.7 |  26M|  28 |   - |1759 |8585 |   0 |   0 | 311 |2711 | 787 | 0.000000e+00 |      --      |    Inf 
247.85/247.90	c   248s|  1200 |   161 |782859 | 625.5 |  27M|  28 | 624 |1759 |8622 |1759 |6675 | 311 |2893 | 850 | 0.000000e+00 |      --      |    Inf 
262.45/262.58	c   263s|  1300 |   177 |838653 | 620.3 |  27M|  28 |   - |1759 |8633 |1759 |6675 | 311 |3065 | 901 | 0.000000e+00 |      --      |    Inf 
279.15/279.21	c   279s|  1400 |   183 |899232 | 619.3 |  27M|  28 | 486 |1759 |8705 |1759 |6675 | 311 |3255 | 956 | 0.000000e+00 |      --      |    Inf 
289.44/289.52	c   290s|  1500 |   191 |938953 | 604.5 |  27M|  28 | 746 |1759 |8831 |1759 |6675 | 311 |3475 |1004 | 0.000000e+00 |      --      |    Inf 
303.24/303.34	c   303s|  1600 |   187 |989803 | 598.5 |  27M|  28 | 624 |1759 |9001 |1759 |6675 | 311 |3759 |1064 | 0.000000e+00 |      --      |    Inf 
314.45/314.50	c   315s|  1700 |   187 |  1029k| 586.5 |  27M|  28 | 595 |1759 |9011 |1759 |6675 | 311 |3953 |1104 | 0.000000e+00 |      --      |    Inf 
329.24/329.30	c   329s|  1800 |   189 |  1082k| 583.4 |  28M|  28 |   - |1759 |9118 |   0 |   0 | 311 |4171 |1160 | 0.000000e+00 |      --      |    Inf 
345.84/345.95	c   346s|  1900 |   182 |  1143k| 585.0 |  27M|  28 |   - |1759 |9022 |1759 |6675 | 311 |4393 |1231 | 0.000000e+00 |      --      |    Inf 
363.44/363.55	c   364s|  2000 |   193 |  1207k| 587.5 |  28M|  28 | 700 |1759 |9075 |1759 |6675 | 311 |4553 |1280 | 0.000000e+00 |      --      |    Inf 
379.93/380.07	c   380s|  2100 |   195 |  1267k| 588.4 |  28M|  28 | 602 |1759 |9163 |1759 |6675 | 311 |4715 |1351 | 0.000000e+00 |      --      |    Inf 
393.33/393.41	c   393s|  2200 |   205 |  1320k| 585.7 |  28M|  28 | 650 |1759 |9293 |1759 |6675 | 311 |4928 |1398 | 0.000000e+00 |      --      |    Inf 
417.33/417.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
417.33/417.48	c   417s|  2300 |   211 |  1404k| 596.4 |  28M|  28 | 800 |1759 |9325 |1759 |6675 | 311 |5078 |1454 | 0.000000e+00 |      --      |    Inf 
428.94/429.03	c   429s|  2400 |   216 |  1447k| 589.7 |  28M|  28 |   - |1759 |9541 |1759 |6675 | 311 |5353 |1507 | 0.000000e+00 |      --      |    Inf 
439.93/440.09	c   440s|  2500 |   224 |  1488k| 582.3 |  29M|  28 |   - |1759 |9706 |   0 |   0 | 311 |5568 |1563 | 0.000000e+00 |      --      |    Inf 
450.02/450.15	c   450s|  2600 |   216 |  1525k| 574.3 |  29M|  28 | 833 |1759 |9791 |1759 |6675 | 311 |5769 |1603 | 0.000000e+00 |      --      |    Inf 
463.92/464.06	c   464s|  2700 |   234 |  1573k| 570.7 |  29M|  28 | 635 |1759 |9797 |1759 |6675 | 311 |5928 |1645 | 0.000000e+00 |      --      |    Inf 
478.42/478.55	c   479s|  2800 |   235 |  1627k| 569.6 |  29M|  28 |   - |1759 |9884 |   0 |   0 | 311 |6130 |1715 | 0.000000e+00 |      --      |    Inf 
491.92/492.09	c   492s|  2900 |   235 |  1681k| 568.6 |  29M|  28 |   - |1759 |9929 |1759 |6675 | 311 |6324 |1779 | 0.000000e+00 |      --      |    Inf 
507.91/508.06	c   508s|  3000 |   248 |  1735k| 567.7 |  29M|  28 | 736 |1759 |9881 |1759 |6675 | 311 |6469 |1843 | 0.000000e+00 |      --      |    Inf 
517.82/517.91	c   518s|  3100 |   243 |  1776k| 562.7 |  29M|  28 |   - |1759 |  10k|1759 |6675 | 311 |6691 |1883 | 0.000000e+00 |      --      |    Inf 
526.31/526.43	c   526s|  3200 |   247 |  1807k| 554.6 |  30M|  28 |   - |1759 |  10k|   0 |   0 | 311 |6885 |1923 | 0.000000e+00 |      --      |    Inf 
536.81/536.96	c   537s|  3300 |   254 |  1848k| 550.4 |  30M|  28 |   - |1759 |  10k|   0 |   0 | 311 |7105 |1969 | 0.000000e+00 |      --      |    Inf 
548.01/548.17	c   548s|  3400 |   256 |  1886k| 545.2 |  30M|  28 | 731 |1759 |  10k|1759 |6675 | 311 |7318 |2021 | 0.000000e+00 |      --      |    Inf 
563.01/563.18	c   563s|  3500 |   259 |  1940k| 545.2 |  30M|  28 | 582 |1759 |  10k|1759 |6675 | 311 |7512 |2077 | 0.000000e+00 |      --      |    Inf 
579.51/579.61	c   580s|  3600 |   257 |  1999k| 546.5 |  30M|  28 |   - |1759 |  10k|1759 |6675 | 311 |7731 |2147 | 0.000000e+00 |      --      |    Inf 
589.41/589.59	c   590s|  3700 |   257 |  2034k| 541.3 |  30M|  28 |   - |1759 |  10k|1759 |6675 | 311 |7923 |2187 | 0.000000e+00 |      --      |    Inf 
601.10/601.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
601.10/601.25	c   601s|  3800 |   255 |  2080k| 539.0 |  30M|  28 | 733 |1759 |  10k|1759 |6675 | 311 |8151 |2235 | 0.000000e+00 |      --      |    Inf 
613.50/613.61	c   614s|  3900 |   256 |  2133k| 538.7 |  30M|  28 | 727 |1759 |  10k|1759 |6675 | 311 |8350 |2270 | 0.000000e+00 |      --      |    Inf 
625.89/626.05	c   626s|  4000 |   259 |  2198k| 541.5 |  30M|  28 | 748 |1759 |  10k|1759 |6675 | 311 |8504 |2279 | 0.000000e+00 |      --      |    Inf 
636.80/636.92	c   637s|  4100 |   274 |  2254k| 542.1 |  30M|  28 |   - |1759 |  10k|   0 |   0 | 311 |8688 |2289 | 0.000000e+00 |      --      |    Inf 
646.29/646.44	c   646s|  4200 |   273 |  2304k| 541.1 |  30M|  28 |   - |1759 |  10k|   0 |   0 | 311 |8844 |2296 | 0.000000e+00 |      --      |    Inf 
652.79/652.98	c   653s|  4300 |   271 |  2340k| 536.8 |  30M|  28 |   - |1759 |  10k|   0 |   0 | 311 |8993 |2297 | 0.000000e+00 |      --      |    Inf 
661.79/661.95	c   662s|  4400 |   262 |  2387k| 535.3 |  30M|  28 |   - |1759 |  10k|1759 |6675 | 311 |9173 |2302 | 0.000000e+00 |      --      |    Inf 
669.29/669.44	c   669s|  4500 |   263 |  2428k| 532.4 |  30M|  28 | 685 |1759 |  10k|1759 |6675 | 311 |9349 |2306 | 0.000000e+00 |      --      |    Inf 
682.90/683.04	c   683s|  4600 |   266 |  2485k| 533.2 |  30M|  28 | 528 |1759 |  10k|1759 |6675 | 311 |9521 |2337 | 0.000000e+00 |      --      |    Inf 
694.48/694.64	c   695s|  4700 |   275 |  2531k| 531.8 |  31M|  28 | 391 |1759 |  10k|1759 |6675 | 311 |9718 |2369 | 0.000000e+00 |      --      |    Inf 
706.58/706.71	c   707s|  4800 |   278 |  2580k| 530.8 |  31M|  28 | 725 |1759 |  10k|1759 |6675 | 311 |9907 |2400 | 0.000000e+00 |      --      |    Inf 
722.18/722.32	c   722s|  4900 |   278 |  2642k| 532.8 |  31M|  28 |   - |1759 |  10k|   0 |   0 | 311 |  10k|2431 | 0.000000e+00 |      --      |    Inf 
735.38/735.58	c   736s|  5000 |   278 |  2692k| 532.1 |  31M|  28 | 699 |1759 |  10k|1759 |6675 | 311 |  10k|2474 | 0.000000e+00 |      --      |    Inf 
743.38/743.51	c   744s|  5100 |   276 |  2722k| 527.5 |  31M|  28 |   - |1759 |  10k|   0 |   0 | 311 |  10k|2498 | 0.000000e+00 |      --      |    Inf 
760.78/760.95	c   761s|  5200 |   270 |  2788k| 530.0 |  30M|  28 | 829 |1759 |  10k|1759 |6675 | 311 |  10k|2548 | 0.000000e+00 |      --      |    Inf 
773.37/773.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
773.37/773.56	c   774s|  5300 |   269 |  2835k| 528.8 |  30M|  28 | 617 |1759 |  10k|1759 |6675 | 311 |  10k|2586 | 0.000000e+00 |      --      |    Inf 
788.37/788.52	c   789s|  5400 |   275 |  2894k| 530.0 |  31M|  28 |   - |1759 |  10k|   0 |   0 | 311 |  10k|2635 | 0.000000e+00 |      --      |    Inf 
801.07/801.29	c   801s|  5500 |   276 |  2939k| 528.5 |  31M|  28 |   - |1759 |  10k|   0 |   0 | 311 |  11k|2683 | 0.000000e+00 |      --      |    Inf 
811.68/811.82	c   812s|  5600 |   275 |  2982k| 526.9 |  31M|  28 | 753 |1759 |  10k|1759 |6675 | 311 |  11k|2715 | 0.000000e+00 |      --      |    Inf 
823.56/823.75	c   824s|  5700 |   287 |  3026k| 525.2 |  31M|  28 | 481 |1759 |  10k|1759 |6675 | 311 |  11k|2756 | 0.000000e+00 |      --      |    Inf 
836.56/836.77	c   837s|  5800 |   277 |  3074k| 524.5 |  31M|  28 | 701 |1759 |  10k|1759 |6675 | 311 |  11k|2806 | 0.000000e+00 |      --      |    Inf 
847.26/847.43	c   847s|  5900 |   278 |  3114k| 522.3 |  31M|  28 | 689 |1759 |  10k|1759 |6675 | 311 |  11k|2843 | 0.000000e+00 |      --      |    Inf 
858.36/858.59	c   859s|  6000 |   271 |  3154k| 520.4 |  31M|  28 | 801 |1759 |  10k|1759 |6675 | 311 |  12k|2883 | 0.000000e+00 |      --      |    Inf 
871.66/871.84	c   872s|  6100 |   276 |  3206k| 520.4 |  31M|  28 |   - |1759 |  10k|   0 |   0 | 311 |  12k|2913 | 0.000000e+00 |      --      |    Inf 
883.66/883.83	c   884s|  6200 |   277 |  3249k| 518.9 |  31M|  28 |   - |1759 |  10k|   0 |   0 | 311 |  12k|2956 | 0.000000e+00 |      --      |    Inf 
897.45/897.69	c   898s|  6300 |   266 |  3298k| 518.4 |  31M|  28 | 539 |1759 |  10k|1759 |6675 | 311 |  12k|3010 | 0.000000e+00 |      --      |    Inf 
905.85/906.07	c   906s|  6400 |   270 |  3332k| 515.6 |  31M|  28 | 537 |1759 |  10k|1759 |6675 | 311 |  12k|3046 | 0.000000e+00 |      --      |    Inf 
919.35/919.57	c   920s|  6500 |   262 |  3387k| 516.1 |  31M|  28 | 736 |1759 |  10k|1759 |6675 | 311 |  12k|3096 | 0.000000e+00 |      --      |    Inf 
930.05/930.22	c   930s|  6600 |   263 |  3429k| 514.7 |  31M|  28 |   - |1759 |  10k|   0 |   0 | 311 |  13k|3132 | 0.000000e+00 |      --      |    Inf 
942.46/942.67	c   943s|  6700 |   267 |  3478k| 514.4 |  31M|  28 |   - |1759 |  10k|   0 |   0 | 311 |  13k|3176 | 0.000000e+00 |      --      |    Inf 
954.74/954.98	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
954.74/954.98	c   955s|  6800 |   265 |  3525k| 513.7 |  31M|  28 | 765 |1759 |  10k|1759 |6675 | 311 |  13k|3232 | 0.000000e+00 |      --      |    Inf 
971.15/971.36	c   971s|  6900 |   277 |  3592k| 516.0 |  31M|  28 |   - |1759 |  11k|1759 |6675 | 311 |  13k|3280 | 0.000000e+00 |      --      |    Inf 
986.84/987.09	c   987s|  7000 |   274 |  3652k| 517.2 |  31M|  28 |   - |1759 |  11k|   0 |   0 | 311 |  14k|3335 | 0.000000e+00 |      --      |    Inf 
1000.54/1000.79	c  1001s|  7100 |   277 |  3708k| 517.8 |  31M|  28 | 728 |1759 |  11k|1759 |6675 | 311 |  14k|3372 | 0.000000e+00 |      --      |    Inf 
1013.53/1013.77	c  1014s|  7200 |   285 |  3758k| 517.5 |  32M|  28 |   - |1759 |  11k|   0 |   0 | 311 |  14k|3420 | 0.000000e+00 |      --      |    Inf 
1028.94/1029.16	c  1029s|  7300 |   289 |  3816k| 518.4 |  32M|  28 | 544 |1759 |  11k|1759 |6675 | 311 |  14k|3472 | 0.000000e+00 |      --      |    Inf 
1042.23/1042.44	c  1042s|  7400 |   289 |  3865k| 517.9 |  32M|  28 | 804 |1759 |  11k|1759 |6675 | 311 |  14k|3514 | 0.000000e+00 |      --      |    Inf 
1053.23/1053.43	c  1053s|  7500 |   282 |  3906k| 516.6 |  32M|  28 | 673 |1759 |  11k|1759 |6675 | 311 |  14k|3559 | 0.000000e+00 |      --      |    Inf 
1068.33/1068.50	c  1069s|  7600 |   285 |  3963k| 517.2 |  32M|  28 | 731 |1759 |  11k|1759 |6675 | 311 |  15k|3610 | 0.000000e+00 |      --      |    Inf 
1079.02/1079.22	c  1079s|  7700 |   287 |  4003k| 515.7 |  32M|  28 | 669 |1759 |  11k|1759 |6675 | 311 |  15k|3660 | 0.000000e+00 |      --      |    Inf 
1091.62/1091.85	c  1092s|  7800 |   274 |  4051k| 515.3 |  32M|  28 |   - |1759 |  11k|   0 |   0 | 311 |  15k|3718 | 0.000000e+00 |      --      |    Inf 
1104.32/1104.53	c  1105s|  7900 |   274 |  4096k| 514.5 |  32M|  28 | 755 |1759 |  11k|1759 |6675 | 311 |  15k|3759 | 0.000000e+00 |      --      |    Inf 
1117.22/1117.45	c  1117s|  8000 |   276 |  4145k| 514.1 |  32M|  28 | 436 |1759 |  11k|1759 |6675 | 311 |  15k|3814 | 0.000000e+00 |      --      |    Inf 
1130.32/1130.57	c  1131s|  8100 |   283 |  4196k| 514.1 |  32M|  28 | 462 |1759 |  11k|1759 |6675 | 311 |  16k|3859 | 0.000000e+00 |      --      |    Inf 
1140.12/1140.38	c  1140s|  8200 |   274 |  4235k| 512.5 |  32M|  28 |   - |1759 |  11k|   0 |   0 | 311 |  16k|3912 | 0.000000e+00 |      --      |    Inf 
1152.31/1152.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1152.31/1152.55	c  1153s|  8300 |   272 |  4284k| 512.3 |  32M|  28 |   - |1759 |  11k|   0 |   0 | 311 |  16k|3957 | 0.000000e+00 |      --      |    Inf 
1162.11/1162.34	c  1162s|  8400 |   269 |  4319k| 510.4 |  32M|  28 |   - |1759 |  11k|1759 |6675 | 311 |  16k|3995 | 0.000000e+00 |      --      |    Inf 
1175.31/1175.54	c  1176s|  8500 |   287 |  4373k| 510.7 |  32M|  28 | 721 |1759 |  11k|1759 |6675 | 311 |  16k|4028 | 0.000000e+00 |      --      |    Inf 
1187.51/1187.74	c  1188s|  8600 |   300 |  4418k| 510.0 |  32M|  28 |   - |1759 |  11k|1759 |6675 | 311 |  16k|4075 | 0.000000e+00 |      --      |    Inf 
1199.92/1200.14	c  1200s|  8700 |   304 |  4461k| 509.1 |  32M|  28 |   - |1759 |  12k|   0 |   0 | 311 |  17k|4114 | 0.000000e+00 |      --      |    Inf 
1210.51/1210.73	c  1211s|  8800 |   302 |  4503k| 508.0 |  32M|  28 | 802 |1759 |  12k|1759 |6675 | 311 |  17k|4161 | 0.000000e+00 |      --      |    Inf 
1219.91/1220.12	c  1220s|  8900 |   307 |  4539k| 506.4 |  32M|  28 | 624 |1759 |  12k|1759 |6675 | 311 |  17k|4210 | 0.000000e+00 |      --      |    Inf 
1232.60/1232.80	c  1233s|  9000 |   309 |  4588k| 506.3 |  32M|  28 |   - |1759 |  12k|   0 |   0 | 311 |  17k|4263 | 0.000000e+00 |      --      |    Inf 
1242.50/1242.77	c  1243s|  9100 |   305 |  4632k| 505.5 |  32M|  28 | 574 |1759 |  12k|1759 |6675 | 311 |  17k|4300 | 0.000000e+00 |      --      |    Inf 
1252.40/1252.64	c  1253s|  9200 |   306 |  4672k| 504.4 |  32M|  28 | 533 |1759 |  12k|1759 |6675 | 311 |  18k|4328 | 0.000000e+00 |      --      |    Inf 
1261.00/1261.21	c  1261s|  9300 |   297 |  4714k| 503.5 |  32M|  28 | 665 |1759 |  12k|1759 |6675 | 311 |  18k|4346 | 0.000000e+00 |      --      |    Inf 
1270.60/1270.87	c  1271s|  9400 |   300 |  4757k| 502.7 |  33M|  28 |   - |1759 |  12k|   0 |   0 | 311 |  18k|4367 | 0.000000e+00 |      --      |    Inf 
1277.90/1278.15	c  1278s|  9500 |   299 |  4797k| 501.6 |  33M|  28 | 646 |1759 |  12k|1759 |6675 | 311 |  18k|4370 | 0.000000e+00 |      --      |    Inf 
1285.30/1285.50	c  1285s|  9600 |   297 |  4837k| 500.6 |  33M|  28 |   - |1759 |  12k|   0 |   0 | 311 |  18k|4375 | 0.000000e+00 |      --      |    Inf 
1297.80/1298.07	c  1298s|  9700 |   302 |  4896k| 501.5 |  33M|  28 | 580 |1759 |  12k|1759 |6675 | 311 |  18k|4377 | 0.000000e+00 |      --      |    Inf 
1304.40/1304.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1304.40/1304.66	c  1305s|  9800 |   305 |  4935k| 500.3 |  33M|  28 | 499 |1759 |  13k|1759 |6675 | 311 |  19k|4378 | 0.000000e+00 |      --      |    Inf 
1309.90/1310.16	c  1310s|  9900 |   303 |  4967k| 498.5 |  33M|  28 | 690 |1759 |  13k|1759 |6675 | 311 |  19k|4378 | 0.000000e+00 |      --      |    Inf 
1316.50/1316.74	c  1317s| 10000 |   305 |  5005k| 497.3 |  33M|  28 |   - |1759 |  13k|   0 |   0 | 311 |  19k|4378 | 0.000000e+00 |      --      |    Inf 
1324.19/1324.48	c  1324s| 10100 |   311 |  5047k| 496.6 |  33M|  28 | 518 |1759 |  13k|1759 |6675 | 311 |  19k|4381 | 0.000000e+00 |      --      |    Inf 
1332.79/1333.09	c  1333s| 10200 |   315 |  5095k| 496.4 |  33M|  28 | 730 |1759 |  13k|1759 |6675 | 311 |  19k|4383 | 0.000000e+00 |      --      |    Inf 
1339.18/1339.43	c  1339s| 10300 |   313 |  5131k| 495.0 |  33M|  28 |   - |1759 |  13k|   0 |   0 | 311 |  20k|4385 | 0.000000e+00 |      --      |    Inf 
1347.19/1347.44	c  1347s| 10400 |   306 |  5178k| 494.9 |  33M|  28 | 791 |1759 |  13k|1759 |6675 | 311 |  20k|4387 | 0.000000e+00 |      --      |    Inf 
1353.99/1354.22	c  1354s| 10500 |   299 |  5218k| 493.9 |  33M|  28 | 669 |1759 |  13k|1759 |6675 | 311 |  20k|4387 | 0.000000e+00 |      --      |    Inf 
1360.19/1360.49	c  1360s| 10600 |   290 |  5252k| 492.5 |  33M|  28 |   - |1759 |  13k|   0 |   0 | 311 |  20k|4388 | 0.000000e+00 |      --      |    Inf 
1365.99/1366.24	c  1366s| 10700 |   298 |  5284k| 490.9 |  33M|  28 | 464 |1759 |  13k|1759 |6675 | 311 |  20k|4389 | 0.000000e+00 |      --      |    Inf 
1373.58/1373.85	c  1374s| 10800 |   289 |  5322k| 489.8 |  33M|  28 |   - |1759 |  13k|   0 |   0 | 311 |  20k|4392 | 0.000000e+00 |      --      |    Inf 
1383.38/1383.62	c  1384s| 10900 |   296 |  5356k| 488.5 |  33M|  28 | 835 |1759 |  13k|1759 |6675 | 311 |  21k|4418 | 0.000000e+00 |      --      |    Inf 
1394.58/1394.81	c  1395s| 11000 |   300 |  5390k| 487.1 |  33M|  28 | 776 |1759 |  13k|1759 |6675 | 311 |  21k|4462 | 0.000000e+00 |      --      |    Inf 
1400.68/1400.93	c  1401s| 11100 |   302 |  5422k| 485.6 |  33M|  28 | 702 |1759 |  13k|1759 |6675 | 311 |  21k|4467 | 0.000000e+00 |      --      |    Inf 
1410.57/1410.87	c  1411s| 11200 |   303 |  5461k| 484.8 |  33M|  28 |   - |1759 |  13k|   0 |   0 | 311 |  21k|4483 | 0.000000e+00 |      --      |    Inf 
1422.87/1423.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1422.87/1423.12	c  1423s| 11300 |   311 |  5506k| 484.4 |  33M|  28 | 801 |1759 |  13k|1759 |6675 | 311 |  21k|4517 | 0.000000e+00 |      --      |    Inf 
1437.57/1437.80	c  1438s| 11400 |   326 |  5570k| 485.8 |  33M|  28 | 698 |1759 |  13k|1759 |6675 | 311 |  21k|4555 | 0.000000e+00 |      --      |    Inf 
1450.57/1450.86	c  1451s| 11500 |   330 |  5621k| 486.0 |  33M|  28 | 668 |1759 |  13k|1759 |6675 | 311 |  22k|4591 | 0.000000e+00 |      --      |    Inf 
1459.87/1460.11	c  1460s| 11600 |   327 |  5654k| 484.6 |  33M|  28 | 880 |1759 |  13k|1759 |6675 | 311 |  22k|4618 | 0.000000e+00 |      --      |    Inf 
1468.97/1469.24	c  1469s| 11700 |   333 |  5689k| 483.5 |  33M|  28 | 701 |1759 |  13k|1759 |6675 | 311 |  22k|4645 | 0.000000e+00 |      --      |    Inf 
1476.27/1476.59	c  1477s| 11800 |   330 |  5717k| 481.8 |  33M|  28 | 801 |1759 |  13k|1759 |6675 | 311 |  22k|4674 | 0.000000e+00 |      --      |    Inf 
1486.16/1486.49	c  1486s| 11900 |   327 |  5753k| 480.8 |  34M|  28 |   - |1759 |  13k|   0 |   0 | 311 |  22k|4705 | 0.000000e+00 |      --      |    Inf 
1496.06/1496.36	c  1496s| 12000 |   332 |  5792k| 480.0 |  34M|  28 | 607 |1759 |  13k|1759 |6675 | 311 |  22k|4733 | 0.000000e+00 |      --      |    Inf 
1507.06/1507.37	c  1507s| 12100 |   326 |  5835k| 479.6 |  33M|  28 | 562 |1759 |  13k|1759 |6675 | 311 |  22k|4771 | 0.000000e+00 |      --      |    Inf 
1517.36/1517.68	c  1518s| 12200 |   334 |  5874k| 478.8 |  34M|  28 | 646 |1759 |  13k|1759 |6675 | 311 |  23k|4799 | 0.000000e+00 |      --      |    Inf 
1528.25/1528.55	c  1529s| 12300 |   334 |  5915k| 478.3 |  34M|  28 | 455 |1759 |  13k|1759 |6675 | 311 |  23k|4838 | 0.000000e+00 |      --      |    Inf 
1538.35/1538.65	c  1539s| 12400 |   331 |  5956k| 477.8 |  34M|  28 | 814 |1759 |  13k|1759 |6675 | 311 |  23k|4873 | 0.000000e+00 |      --      |    Inf 
1550.96/1551.28	c  1551s| 12500 |   330 |  6005k| 477.8 |  34M|  28 | 541 |1759 |  13k|1759 |6675 | 311 |  23k|4912 | 0.000000e+00 |      --      |    Inf 
1562.65/1562.94	c  1563s| 12600 |   339 |  6053k| 477.9 |  34M|  28 | 588 |1759 |  13k|1759 |6675 | 311 |  23k|4955 | 0.000000e+00 |      --      |    Inf 
1576.85/1577.14	c  1577s| 12700 |   349 |  6106k| 478.3 |  34M|  28 |   - |1759 |  13k|   0 |   0 | 311 |  23k|4999 | 0.000000e+00 |      --      |    Inf 
1588.85/1589.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1588.85/1589.15	c  1589s| 12800 |   361 |  6154k| 478.3 |  34M|  28 | 817 |1759 |  13k|1759 |6675 | 311 |  24k|5036 | 0.000000e+00 |      --      |    Inf 
1599.54/1599.89	c  1600s| 12900 |   370 |  6195k| 477.7 |  34M|  28 |   - |1759 |  13k|   0 |   0 | 311 |  24k|5064 | 0.000000e+00 |      --      |    Inf 
1610.05/1610.35	c  1610s| 13000 |   376 |  6232k| 477.0 |  34M|  28 | 691 |1759 |  13k|1759 |6675 | 311 |  24k|5109 | 0.000000e+00 |      --      |    Inf 
1619.85/1620.11	c  1620s| 13100 |   386 |  6270k| 476.2 |  35M|  28 |   - |1759 |  13k|   0 |   0 | 311 |  24k|5142 | 0.000000e+00 |      --      |    Inf 
1632.44/1632.79	c  1633s| 13200 |   400 |  6321k| 476.4 |  35M|  28 | 687 |1759 |  13k|1759 |6675 | 311 |  24k|5169 | 0.000000e+00 |      --      |    Inf 
1645.44/1645.76	c  1646s| 13300 |   412 |  6374k| 476.8 |  35M|  28 |   - |1759 |  13k|   0 |   0 | 311 |  25k|5209 | 0.000000e+00 |      --      |    Inf 
1660.84/1661.19	c  1661s| 13400 |   424 |  6437k| 478.0 |  35M|  28 | 816 |1759 |  13k|1759 |6675 | 311 |  25k|5256 | 0.000000e+00 |      --      |    Inf 
1672.24/1672.57	c  1673s| 13500 |   439 |  6479k| 477.5 |  35M|  28 | 775 |1759 |  13k|1759 |6675 | 311 |  25k|5300 | 0.000000e+00 |      --      |    Inf 
1688.64/1688.98	c  1689s| 13600 |   444 |  6538k| 478.4 |  36M|  28 |   - |1759 |  13k|1759 |6675 | 311 |  25k|5350 | 0.000000e+00 |      --      |    Inf 
1695.84/1696.12	c  1696s| 13700 |   443 |  6569k| 477.2 |  36M|  28 |   - |1759 |  13k|   0 |   0 | 311 |  25k|5360 | 0.000000e+00 |      --      |    Inf 
1706.23/1706.51	c  1707s| 13800 |   443 |  6611k| 476.7 |  36M|  28 | 698 |1759 |  13k|1759 |6675 | 311 |  26k|5399 | 0.000000e+00 |      --      |    Inf 
1715.83/1716.12	c  1716s| 13900 |   442 |  6651k| 476.2 |  36M|  28 |   - |1759 |  13k|   0 |   0 | 311 |  26k|5437 | 0.000000e+00 |      --      |    Inf 
1724.93/1725.29	c  1725s| 14000 |   449 |  6685k| 475.2 |  36M|  28 |   - |1759 |  13k|   0 |   0 | 311 |  26k|5472 | 0.000000e+00 |      --      |    Inf 
1732.92/1733.29	c  1733s| 14100 |   448 |  6719k| 474.2 |  36M|  28 |   - |1759 |  13k|   0 |   0 | 311 |  26k|5503 | 0.000000e+00 |      --      |    Inf 
1743.51/1743.80	c  1744s| 14200 |   449 |  6764k| 474.1 |  36M|  28 |   - |1759 |  13k|   0 |   0 | 311 |  26k|5533 | 0.000000e+00 |      --      |    Inf 
1756.81/1757.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1756.81/1757.13	c  1757s| 14300 |   440 |  6807k| 473.8 |  36M|  28 |   - |1759 |  13k|   0 |   0 | 311 |  26k|5592 | 0.000000e+00 |      --      |    Inf 
1764.91/1765.26	c  1765s| 14400 |   447 |  6849k| 473.4 |  36M|  28 | 785 |1759 |  13k|1759 |6675 | 311 |  27k|5604 | 0.000000e+00 |      --      |    Inf 
1775.41/1775.76	c  1776s| 14500 |   462 |  6889k| 472.9 |  36M|  28 |   - |1759 |  13k|   0 |   0 | 311 |  27k|5647 | 0.000000e+00 |      --      |    Inf 
1785.21/1785.56	c  1786s| 14600 |   469 |  6927k| 472.3 |  36M|  28 | 662 |1759 |  13k|1759 |6675 | 311 |  27k|5674 | 0.000000e+00 |      --      |    Inf 
1793.71/1794.05	c  1794s| 14700 |   469 |  6959k| 471.2 |  36M|  28 |   - |1759 |  13k|   0 |   0 | 311 |  27k|5717 | 0.000000e+00 |      --      |    Inf 
1796.70/1797.00	c 
1796.70/1797.00	c SCIP Status        : solving was interrupted [time limit reached]
1796.70/1797.00	c Solving Time (sec) : 1797.00
1796.70/1797.00	c Solving Nodes      : 14749
1796.70/1797.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.70/1797.00	c Dual Bound         : +0.00000000000000e+00
1796.70/1797.00	c Gap                : infinite
1796.70/1797.00	s UNKNOWN
1796.70/1797.00	c SCIP Status        : solving was interrupted [time limit reached]
1796.70/1797.00	c Total Time         :    1797.00
1796.70/1797.00	c   solving          :    1797.00
1796.70/1797.00	c   presolving       :       0.74 (included in solving)
1796.70/1797.00	c   reading          :       0.02 (included in solving)
1796.70/1797.00	c   copying          :       0.04 (2 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.70/1797.00	c Original Problem   :
1796.70/1797.00	c   Problem name     : HOME/instance-3691306-1338024485.opb
1796.70/1797.00	c   Variables        : 3150 (3150 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00	c   Constraints      : 4923 initial, 4923 maximal
1796.70/1797.00	c   Objective sense  : minimize
1796.70/1797.00	c Presolved Problem  :
1796.70/1797.00	c   Problem name     : t_HOME/instance-3691306-1338024485.opb
1796.70/1797.00	c   Variables        : 1759 (1759 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00	c   Constraints      : 6572 initial, 13927 maximal
1796.70/1797.00	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.70/1797.00	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.00	c   trivial          :       0.00       0.00          2          0          0          0          0          0          0          0          0
1796.70/1797.00	c   dualfix          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.00	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.00	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.00	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.00	c   gateextraction   :       0.01       0.00          0          0          0          0          0         30         10          0          0
1796.70/1797.00	c   implics          :       0.00       0.00          0         10          0          0          0          0          0          0          0
1796.70/1797.00	c   components       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.00	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.00	c   probing          :       0.47       0.00          2          0          0          2          0          0          0          0          0
1796.70/1797.00	c   knapsack         :       0.05       0.00          0          0          0          2          0       1763       5105       4843      10519
1796.70/1797.00	c   setppc           :       0.05       0.00          0          0          0          0          0        276          0          0          0
1796.70/1797.00	c   and              :       0.00       0.00          0          0          0          0          0         10         10          0          0
1796.70/1797.00	c   linear           :       0.06       0.00       1377          0          0       1377          0       1397          0       1423       1773
1796.70/1797.00	c   logicor          :       0.08       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.00	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1796.70/1797.00	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.70/1797.00	c   integral         :          0          0          0          0       9979          0          4          0         75        906          0          0      18764
1796.70/1797.00	c   setppc           :       4822       4822          6     150373          0          1          3     466412       1575    2687106          0          0          0
1796.70/1797.00	c   linear           :          0+       679          6     145457          0          0          0     125522        791     138457        206          0          0
1796.70/1797.00	c   logicor          :       1750+      8790          6     125792          0          1          0     283179       5720     581495         14          0          0
1796.70/1797.00	c   countsols        :          0          0          0          0          0          1          0          0          0          0          0          0          0
1796.70/1797.00	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.70/1797.00	c   integral         :     521.52       0.00       0.00       0.00     521.52       0.00       0.00       0.00
1796.70/1797.00	c   setppc           :      16.74       0.00       0.00      16.21       0.00       0.00       0.00       0.52
1796.70/1797.00	c   linear           :       2.60       0.00       0.00       2.40       0.00       0.00       0.00       0.20
1796.70/1797.00	c   logicor          :      10.54       0.00       0.00      10.04       0.00       0.00       0.00       0.49
1796.70/1797.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.70/1797.00	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.70/1797.00	c   rootredcost      :          0          0          0          0
1796.70/1797.00	c   pseudoobj        :     157295          0          0          0
1796.70/1797.00	c   vbounds          :          0          0          0          0
1796.70/1797.00	c   redcost          :      10053          0          0        198
1796.70/1797.00	c   probing          :          0          0          0          0
1796.70/1797.00	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.70/1797.00	c   rootredcost      :       0.14       0.00       0.00       0.14       0.00
1796.70/1797.00	c   pseudoobj        :       0.24       0.00       0.00       0.24       0.00
1796.70/1797.00	c   vbounds          :       0.13       0.00       0.00       0.13       0.00
1796.70/1797.00	c   redcost          :       0.37       0.00       0.00       0.37       0.00
1796.70/1797.00	c   probing          :       0.47       0.00       0.47       0.00       0.00
1796.70/1797.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.70/1797.00	c   propagation      :       2.11       8086       7912      73286       30.5       2155        7.4          -
1796.70/1797.00	c   infeasible LP    :       0.84        733        733       8824       43.0        215        5.1          0
1796.70/1797.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.70/1797.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.70/1797.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.70/1797.00	c   applied globally :          -          -          -      27745       25.0          -          -          -
1796.70/1797.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.70/1797.00	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.70/1797.00	c   cut pool         :       0.01                     5          -          -         24          -    (maximal pool size: 1254)
1796.70/1797.00	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.70/1797.00	c   impliedbounds    :       0.01       0.00          6          0          0        255          0
1796.70/1797.00	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.70/1797.00	c   gomory           :       0.49       0.00          6          0          0        300          0
1796.70/1797.00	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.70/1797.00	c   strongcg         :       1.97       0.00          6          0          0       2963          0
1796.70/1797.00	c   cmir             :       0.15       0.00          6          0          0          0          0
1796.70/1797.00	c   flowcover        :       0.19       0.00          6          0          0          4          0
1796.70/1797.00	c   clique           :       0.18       0.00          6          0          0         47          0
1796.70/1797.00	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.70/1797.00	c   mcf              :       0.00       0.00          1          0          0          0          0
1796.70/1797.00	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.70/1797.00	c   rapidlearning    :       0.99       0.00          1          0          0          0        679
1796.70/1797.00	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.70/1797.00	c   problem variables:       0.00          -          0          0
1796.70/1797.00	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.70/1797.00	c   relpscost        :     521.47       0.00       9979         75        906          0          0      18764
1796.70/1797.00	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.00	c   inference        :       0.00       0.00          1          0          0          0          0          2
1796.70/1797.00	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.00	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.00	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.00	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.00	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.00	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.70/1797.00	c   LP solutions     :       0.00          -          -          0
1796.70/1797.00	c   pseudo solutions :       0.00          -          -          0
1796.70/1797.00	c   oneopt           :       0.03       0.00          0          0
1796.70/1797.00	c   crossover        :       0.02       0.00          0          0
1796.70/1797.00	c   guideddiving     :       0.00       0.00          0          0
1796.70/1797.00	c   intshifting      :       0.00       0.00          0          0
1796.70/1797.00	c   feaspump         :      38.59       0.00         11          0
1796.70/1797.00	c   coefdiving       :      13.65       0.00         36          0
1796.70/1797.00	c   linesearchdiving :      11.16       0.00         36          0
1796.70/1797.00	c   pscostdiving     :      11.95       0.00         36          0
1796.70/1797.00	c   fracdiving       :      11.76       0.00         36          0
1796.70/1797.00	c   veclendiving     :      11.95       0.00         36          0
1796.70/1797.00	c   smallcard        :       0.00       0.00          0          0
1796.70/1797.00	c   trivial          :       0.00       0.00          2          0
1796.70/1797.00	c   shiftandpropagate:       0.04       0.00          1          0
1796.70/1797.00	c   simplerounding   :       0.01       0.00          0          0
1796.70/1797.00	c   zirounding       :       4.02       0.00          0          0
1796.70/1797.00	c   rounding         :       0.90       0.00       1372          0
1796.70/1797.00	c   shifting         :       0.61       0.00        422          0
1796.70/1797.00	c   twoopt           :       0.00       0.00          0          0
1796.70/1797.00	c   indoneopt        :       0.04       0.00          0          0
1796.70/1797.00	c   indtwoopt        :       0.00       0.00          0          0
1796.70/1797.00	c   fixandinfer      :       0.00       0.00          0          0
1796.70/1797.00	c   clique           :       0.00       0.00          0          0
1796.70/1797.00	c   indcoefdiving    :       0.00       0.00          0          0
1796.70/1797.00	c   indrounding      :       0.00       0.00          0          0
1796.70/1797.00	c   nlpdiving        :       0.00       0.00          0          0
1796.70/1797.00	c   intdiving        :       0.00       0.00          0          0
1796.70/1797.00	c   actconsdiving    :       0.00       0.00          0          0
1796.70/1797.00	c   objpscostdiving  :      10.65       0.00         19          0
1796.70/1797.00	c   rootsoldiving    :      24.87       0.00         16          0
1796.70/1797.00	c   octane           :       0.00       0.00          0          0
1796.70/1797.00	c   rens             :       0.12       0.00          1          0
1796.70/1797.00	c   rins             :       0.00       0.00          0          0
1796.70/1797.00	c   localbranching   :       0.00       0.00          0          0
1796.70/1797.00	c   mutation         :       0.00       0.00          0          0
1796.70/1797.00	c   dins             :       0.00       0.00          0          0
1796.70/1797.00	c   vbounds          :       0.00       0.00          0          0
1796.70/1797.00	c   undercover       :       0.00       0.00          0          0
1796.70/1797.00	c   subnlp           :       0.02       0.00          0          0
1796.70/1797.00	c   trysol           :       0.03       0.00          0          0
1796.70/1797.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.70/1797.00	c   primal LP        :       0.00          1          0       0.00          -       0.00          1
1796.70/1797.00	c   dual LP          :    1075.17      10729    6460493     609.25    6008.79       0.23        125
1796.70/1797.00	c   lex dual LP      :       0.00          0          0       0.00          -
1796.70/1797.00	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.70/1797.00	c   diving/probing LP:     126.85       5552     513609      92.51    4048.87
1796.70/1797.00	c   strong branching :     519.03       5717    2625020     459.16    5057.58
1796.70/1797.00	c     (at root node) :          -         41      32336     788.68          -
1796.70/1797.00	c   conflict analysis:       0.00          0          0       0.00          -
1796.70/1797.00	c B&B Tree           :
1796.70/1797.00	c   number of runs   :          1
1796.70/1797.00	c   nodes            :      14749
1796.70/1797.00	c   nodes (total)    :      14749
1796.70/1797.00	c   nodes left       :        469
1796.70/1797.00	c   max depth        :         28
1796.70/1797.00	c   max depth (total):         28
1796.70/1797.00	c   backtracks       :       4177 (28.3%)
1796.70/1797.00	c   delayed cutoffs  :       3549
1796.70/1797.00	c   repropagations   :      13236 (1291753 domain reductions, 3078 cutoffs)
1796.70/1797.00	c   avg switch length:       3.95
1796.70/1797.00	c   switching time   :      10.30
1796.70/1797.00	c Solution           :
1796.70/1797.00	c   Solutions found  :          0 (0 improvements)
1796.70/1797.00	c   Primal Bound     :          -
1796.70/1797.00	c   Dual Bound       : +0.00000000000000e+00
1796.70/1797.00	c   Gap              :   infinite
1796.70/1797.00	c   Root Dual Bound  : +0.00000000000000e+00
1796.70/1797.00	c   Root Iterations  :      32873
1796.70/1797.05	c Time complete: 1796.76.

Verifier Data 

ERROR: no interpretation found !

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-3691306-1338024485/watcher-3691306-1338024485 -o /tmp/evaluation-result-3691306-1338024485/solver-3691306-1338024485 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691306-1338024485.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: 1.98 1.98 1.99 3/176 2090
/proc/meminfo: memFree=24718640/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=10284 CPUtime=0 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 1311 0 0 0 0 0 0 0 20 0 1 0 268577050 10530816 1265 33554432000 4194304 10173063 140733214569168 140733214434008 8800002 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 2571 1265 416 1460 0 1102 0

[startup+0.068664 s]
/proc/loadavg: 1.98 1.98 1.99 3/176 2090
/proc/meminfo: memFree=24718640/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=29416 CPUtime=0.06 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 5857 0 0 0 5 1 0 0 20 0 1 0 268577050 30121984 5811 33554432000 4194304 10173063 140733214569168 140733214434008 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 7354 5811 560 1460 0 5885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 29416

[startup+0.100395 s]
/proc/loadavg: 1.98 1.98 1.99 3/176 2090
/proc/meminfo: memFree=24718640/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=30452 CPUtime=0.09 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 6387 0 0 0 7 2 0 0 20 0 1 0 268577050 31182848 6084 33554432000 4194304 10173063 140733214569168 140733214434008 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 7613 6084 575 1460 0 6144 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30452

[startup+0.30042 s]
/proc/loadavg: 1.98 1.98 1.99 3/176 2090
/proc/meminfo: memFree=24718640/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=40420 CPUtime=0.29 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 8958 0 0 0 22 7 0 0 20 0 1 0 268577050 41390080 8655 33554432000 4194304 10173063 140733214569168 140733214566408 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 10105 8655 625 1460 0 8636 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40420

[startup+0.700278 s]
/proc/loadavg: 1.98 1.98 1.99 3/176 2090
/proc/meminfo: memFree=24718640/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=42484 CPUtime=0.69 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 9477 0 0 0 59 10 0 0 20 0 1 0 268577050 43503616 9174 33554432000 4194304 10173063 140733214569168 140733214566408 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 10621 9174 628 1460 0 9152 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42484

[startup+1.50024 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 2091
/proc/meminfo: memFree=24670984/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=55600 CPUtime=1.49 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 13274 0 0 0 136 13 0 0 20 0 1 0 268577050 56934400 12708 33554432000 4194304 10173063 140733214569168 140733214560424 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 13900 12708 803 1460 0 12431 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55600

[startup+3.10024 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 2091
/proc/meminfo: memFree=24670488/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=55600 CPUtime=3.09 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 13274 0 0 0 295 14 0 0 20 0 1 0 268577050 56934400 12708 33554432000 4194304 10173063 140733214569168 140733214560328 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 13900 12708 803 1460 0 12431 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55600

[startup+6.30025 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 2091
/proc/meminfo: memFree=24669256/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=55600 CPUtime=6.29 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 13297 0 0 0 614 15 0 0 20 0 1 0 268577050 56934400 12731 33554432000 4194304 10173063 140733214569168 140733214560328 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 13900 12731 806 1460 0 12431 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55600

[startup+12.7002 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 2091
/proc/meminfo: memFree=24632484/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=91100 CPUtime=12.69 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 22225 0 0 0 1228 41 0 0 20 0 1 0 268577050 93286400 21641 33554432000 4194304 10173063 140733214569168 140733214564056 5108269 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 22775 21641 863 1460 0 21306 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 91100

[startup+25.5003 s]
/proc/loadavg: 1.98 1.98 1.99 4/177 2091
/proc/meminfo: memFree=24628632/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=91220 CPUtime=25.48 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 23066 0 0 0 2499 49 0 0 20 0 1 0 268577050 93409280 21775 33554432000 4194304 10173063 140733214569168 140733214562616 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 22805 21775 868 1460 0 21336 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 91220

[startup+51.1002 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 2091
/proc/meminfo: memFree=24596716/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=91220 CPUtime=51.09 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 23066 0 0 0 5046 63 0 0 20 0 1 0 268577050 93409280 21775 33554432000 4194304 10173063 140733214569168 140733214563000 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 22805 21775 868 1460 0 21336 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 91220

[startup+102.307 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 2091
/proc/meminfo: memFree=24516656/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=91220 CPUtime=102.28 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 23070 0 0 0 10127 101 0 0 20 0 1 0 268577050 93409280 21779 33554432000 4194304 10173063 140733214569168 140733214561688 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 22805 21779 871 1460 0 21336 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 91220

[startup+162.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 2094
/proc/meminfo: memFree=24468876/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=91220 CPUtime=162.27 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 23077 0 0 0 16085 142 0 0 20 0 1 0 268577050 93409280 21786 33554432000 4194304 10173063 140733214569168 140733214560984 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 22805 21786 871 1460 0 21336 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 91220

[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 2094
/proc/meminfo: memFree=24421668/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=91220 CPUtime=222.26 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 23077 0 0 0 22039 187 0 0 20 0 1 0 268577050 93409280 21786 33554432000 4194304 10173063 140733214569168 140733214562664 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 22805 21786 871 1460 0 21336 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 91220

[startup+282.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 2095
/proc/meminfo: memFree=24338616/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=91220 CPUtime=282.25 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 23077 0 0 0 27995 230 0 0 20 0 1 0 268577050 93409280 21786 33554432000 4194304 10173063 140733214569168 140733214563000 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 22805 21786 871 1460 0 21336 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 91220

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 2095
/proc/meminfo: memFree=24241820/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=91220 CPUtime=342.24 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 23077 0 0 0 33947 277 0 0 20 0 1 0 268577050 93409280 21786 33554432000 4194304 10173063 140733214569168 140733214562520 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 22805 21786 871 1460 0 21336 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 91220

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2095
/proc/meminfo: memFree=24230820/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=91220 CPUtime=402.23 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 23080 0 0 0 39901 322 0 0 20 0 1 0 268577050 93409280 21789 33554432000 4194304 10173063 140733214569168 140733214563000 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 22805 21789 871 1460 0 21336 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 91220

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2096
/proc/meminfo: memFree=24178636/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=91220 CPUtime=462.22 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 23080 0 0 0 45856 366 0 0 20 0 1 0 268577050 93409280 21789 33554432000 4194304 10173063 140733214569168 140733214562520 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 22805 21789 871 1460 0 21336 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 91220

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2096
/proc/meminfo: memFree=24069428/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=92712 CPUtime=522.21 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 23424 0 0 0 51809 412 0 0 20 0 1 0 268577050 94937088 22133 33554432000 4194304 10173063 140733214569168 140733214563032 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 23178 22133 871 1460 0 21709 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 92712

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2097
/proc/meminfo: memFree=23988856/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=94232 CPUtime=582.21 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 24628 0 0 0 57762 459 0 0 20 0 1 0 268577050 96493568 22459 33554432000 4194304 10173063 140733214569168 140733214562520 8047244 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 23558 22459 871 1460 0 22089 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 94232

[startup+642.3 s]

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

/proc/meminfo: memFree=22983424/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=104308 CPUtime=1122.12 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 52171 0 0 0 111333 879 0 0 20 0 1 0 268577050 106811392 25054 33554432000 4194304 10173063 140733214569168 140733214562424 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 26077 25054 871 1460 0 24608 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 104308

[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 2102
/proc/meminfo: memFree=22983204/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=104652 CPUtime=1182.11 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 53702 0 0 0 117284 927 0 0 20 0 1 0 268577050 107163648 25076 33554432000 4194304 10173063 140733214569168 140733214562424 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 26163 25076 871 1460 0 24694 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 104652

[startup+1242.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 2102
/proc/meminfo: memFree=22981992/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=105504 CPUtime=1242.1 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 54858 0 0 0 123234 976 0 0 20 0 1 0 268577050 108036096 25301 33554432000 4194304 10173063 140733214569168 140733214562616 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 26376 25301 871 1460 0 24907 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 105504

[startup+1302.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 2102
/proc/meminfo: memFree=22980408/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=106372 CPUtime=1302.09 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 55605 0 0 0 129187 1022 0 0 20 0 1 0 268577050 108924928 25571 33554432000 4194304 10173063 140733214569168 140733214562472 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 26593 25571 871 1460 0 25124 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 106372

[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 2105
/proc/meminfo: memFree=22979064/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=107724 CPUtime=1362.08 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 55887 0 0 0 135119 1089 0 0 20 0 1 0 268577050 110309376 25853 33554432000 4194304 10173063 140733214569168 140733214562472 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 26931 25853 871 1460 0 25462 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 107724

[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2105
/proc/meminfo: memFree=22976124/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=110176 CPUtime=1422.08 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 60929 0 0 0 141066 1142 0 0 20 0 1 0 268577050 112820224 26505 33554432000 4194304 10173063 140733214569168 140733214562664 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 27544 26505 871 1460 0 26075 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 110176

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2106
/proc/meminfo: memFree=22975904/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=110700 CPUtime=1482.06 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 62447 0 0 0 147020 1186 0 0 20 0 1 0 268577050 113356800 26636 33554432000 4194304 10173063 140733214569168 140733214562520 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 27675 26636 871 1460 0 26206 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 110700

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2106
/proc/meminfo: memFree=22974072/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=111944 CPUtime=1542.06 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 66224 0 0 0 152971 1235 0 0 20 0 1 0 268577050 114630656 26947 33554432000 4194304 10173063 140733214569168 140733214562520 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 27986 26947 871 1460 0 26517 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 111944

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2106
/proc/meminfo: memFree=22973480/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=112516 CPUtime=1602.04 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 67365 0 0 0 158924 1280 0 0 20 0 1 0 268577050 115216384 27096 33554432000 4194304 10173063 140733214569168 140733214562616 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 28129 27096 871 1460 0 26660 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 112516

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2106
/proc/meminfo: memFree=22973012/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=112808 CPUtime=1662.04 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 69797 0 0 0 164877 1327 0 0 20 0 1 0 268577050 115515392 27165 33554432000 4194304 10173063 140733214569168 140733214562712 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 28202 27165 871 1460 0 26733 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 112808

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2145
/proc/meminfo: memFree=28317944/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=113944 CPUtime=1722.03 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 70989 0 0 0 170830 1373 0 0 20 0 1 0 268577050 116678656 27403 33554432000 4194304 10173063 140733214569168 140733214562808 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 28486 27403 871 1460 0 27017 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 113944

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2146
/proc/meminfo: memFree=28281532/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=114168 CPUtime=1782 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 73997 0 0 0 176781 1419 0 0 20 0 1 0 268577050 116908032 27889 33554432000 4194304 10173063 140733214569168 140733214564536 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 28542 27889 871 1460 0 27073 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 114168

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2146
/proc/meminfo: memFree=28282276/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=114136 CPUtime=1785.21 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 74307 0 0 0 177099 1422 0 0 20 0 1 0 268577050 116875264 27768 33554432000 4194304 10173063 140733214569168 140733214562152 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 28534 27768 871 1460 0 27065 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 114136

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2146
/proc/meminfo: memFree=28282456/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=114200 CPUtime=1791.6 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 76381 0 0 0 177731 1429 0 0 20 0 1 0 268577050 116940800 27740 33554432000 4194304 10173063 140733214569168 140733214562616 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 28550 27740 871 1460 0 27081 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 114200

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2146
/proc/meminfo: memFree=28281588/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=114360 CPUtime=1794.8 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 76999 0 0 0 178048 1432 0 0 20 0 1 0 268577050 117104640 27874 33554432000 4194304 10173063 140733214569168 140733214562472 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 28590 27874 871 1460 0 27121 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 114360

[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2146
/proc/meminfo: memFree=28281588/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=114552 CPUtime=1795.6 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 77046 0 0 0 178127 1433 0 0 20 0 1 0 268577050 117301248 27921 33554432000 4194304 10173063 140733214569168 140733214562520 8033066 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 28638 27921 871 1460 0 27169 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 114552

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2146
/proc/meminfo: memFree=28281216/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=114552 CPUtime=1796.41 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 77054 0 0 0 178207 1434 0 0 20 0 1 0 268577050 117301248 27929 33554432000 4194304 10173063 140733214569168 140733214562472 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 28638 27929 871 1460 0 27169 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 114552

[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2146
/proc/meminfo: memFree=28281216/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=114552 CPUtime=1796.61 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 77054 0 0 0 178227 1434 0 0 20 0 1 0 268577050 117301248 27929 33554432000 4194304 10173063 140733214569168 140733214562472 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 28638 27929 871 1460 0 27169 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (KiB) 114552

[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2146
/proc/meminfo: memFree=28281216/32873844 swapFree=7356/7356
[pid=2090] ppid=2088 vsize=114552 CPUtime=1796.7 cores=1,3,5,7
/proc/2090/stat : 2090 (scip-2.1.1.4fix) R 2088 2090 1047 0 -1 4202496 77054 0 0 0 178236 1434 0 0 20 0 1 0 268577050 117301248 27929 33554432000 4194304 10173063 140733214569168 140733214562472 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2090/statm: 28638 27929 871 1460 0 27169 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 114552

Child status: 0
Real time (s): 1797.06
CPU time (s): 1796.77
CPU user time (s): 1782.42
CPU system time (s): 14.3518
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 114692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.42
system time used= 14.3518
maximum resident set size= 111836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77060
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= 23
involuntary context switches= 1850

runsolver used 5.02324 second user time and 12.3051 second system time

The end

Launcher Data 

Begin job on node109 at 2012-05-26 11:28:05
IDJOB=3691306
IDBENCH=89867
IDSOLVER=2270
FILE ID=node109/3691306-1338024485
RUNJOBID= node109-1338016937-1066
PBS_JOBID= 14624362
Free space on /tmp= 71372 MiB

SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-bnatt350.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-3691306-1338024485/watcher-3691306-1338024485 -o /tmp/evaluation-result-3691306-1338024485/solver-3691306-1338024485 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691306-1338024485.opb -t 1800 -m 15500

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

MD5SUM BENCH= 9054782dbdf385ef080d3f3a34a113d2
RANDOM SEED=1021529490

node109.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.264
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.52
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.264
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.91
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.264
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.264
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.264
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.264
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	: 5331.91
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.264
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.264
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        24718640 kB
Buffers:          236228 kB
Cached:          3386868 kB
SwapCached:            0 kB
Active:          4435380 kB
Inactive:        2935940 kB
Active(anon):    3750940 kB
Inactive(anon):        0 kB
Active(file):     684440 kB
Inactive(file):  2935940 kB
Unevictable:        7356 kB
Mlocked:            7356 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             13592 kB
Writeback:             0 kB
AnonPages:       3847624 kB
Mapped:            16904 kB
Shmem:               200 kB
Slab:             638080 kB
SReclaimable:      80892 kB
SUnreclaim:       557188 kB
KernelStack:        1472 kB
PageTables:        11648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    3949064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 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= 71368 MiB
End job on node109 at 2012-05-26 11:58:02