Trace number 3717389

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 NameAnswerCPU timeWall clock time
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixedOPTIMUM 29.2486 29.2592

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf7.ucl--soft-0-100-0.wbo
MD5SUMc12b7c7766d333e741516da691aff1b3
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.034994
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1328
Total number of constraints3349
Number of soft constraints3349
Number of constraints which are clauses3165
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints184
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 169122
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 169121
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.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-3717389-1338201243.wbo>
0.00/0.02	c original problem has 4677 variables (4677 bin, 0 int, 0 impl, 0 cont) and 3350 constraints
0.00/0.02	c problem read in 0.02
0.05/0.06	o 169121
0.05/0.06	c feasible solution found by trivial heuristic, objective value  1.691210e+05
0.05/0.06	c presolving:
0.05/0.08	c (round 1) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 92 chg sides, 184 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.05/0.09	c (round 2) 0 del vars, 1 del conss, 0 add conss, 3349 chg bounds, 92 chg sides, 184 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.12	c    (0.1s) probing: 51/4677 (1.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.12	c    (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.12	c presolving (3 rounds):
0.09/0.12	c  0 deleted vars, 1 deleted constraints, 0 added constraints, 3349 tightened bounds, 0 added holes, 92 changed sides, 184 changed coefficients
0.09/0.12	c  3349 implications, 0 cliques
0.09/0.12	c presolved problem has 8026 variables (4677 bin, 0 int, 3349 impl, 0 cont) and 6698 constraints
0.09/0.12	c    3349 constraints of type <linear>
0.09/0.12	c    3349 constraints of type <indicator>
0.09/0.12	c transformed objective value is always integral (scale: 1)
0.09/0.12	c Presolving Time: 0.10
0.09/0.12	c - non default parameters ----------------------------------------------------------------------
0.09/0.12	c # SCIP version 2.1.1.4
0.09/0.12	c 
0.09/0.12	c # maximal time in seconds to run
0.09/0.12	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12	c limits/time = 1797
0.09/0.12	c 
0.09/0.12	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.12	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12	c limits/memory = 13950
0.09/0.12	c 
0.09/0.12	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.12	c # [type: int, range: [1,2], default: 1]
0.09/0.12	c timing/clocktype = 2
0.09/0.12	c 
0.09/0.12	c # belongs reading time to solving time?
0.09/0.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12	c timing/reading = TRUE
0.09/0.12	c 
0.09/0.12	c # force restart if we have a max FS instance and gap is 1?
0.09/0.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12	c constraints/indicator/forcerestart = TRUE
0.09/0.12	c 
0.09/0.12	c # priority of branching rule <inference>
0.09/0.12	c # [type: int, range: [-536870912,536870911], default: 1000]
0.09/0.12	c branching/inference/priority = 1000000
0.09/0.12	c 
0.09/0.12	c # frequency offset for calling primal heuristic <coefdiving>
0.09/0.12	c # [type: int, range: [0,2147483647], default: 1]
0.09/0.12	c heuristics/coefdiving/freqofs = 0
0.09/0.12	c 
0.09/0.12	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.09/0.12	c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.12	c heuristics/shiftandpropagate/freq = -1
0.09/0.12	c 
0.09/0.12	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.09/0.12	c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.12	c heuristics/undercover/freq = -1
0.09/0.12	c 
0.09/0.12	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.12	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.12	c separating/rapidlearning/freq = 0
0.09/0.12	c 
0.09/0.12	c # frequency for calling primal heuristic <indrounding> (-1: never, 0: only at depth freqofs)
0.09/0.12	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.12	c heuristics/indrounding/freq = 1
0.09/0.12	c 
0.09/0.12	c -----------------------------------------------------------------------------------------------
0.09/0.12	c start solving
0.09/0.13	c 
0.09/0.14	o 9592
0.09/0.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.14	c 6 0.1s|     1 |     0 |     0 |     - |  20M|   0 |   - |8026 |6698 |   0 |   0 |   0 |   0 |   0 |      --      | 9.592000e+03 |    Inf 
0.48/0.59	o 1631
0.48/0.59	c 6 0.6s|     1 |     0 |     0 |     - |  20M|   0 |   - |8026 |6698 |   0 |   0 |   0 |   0 |   0 |      --      | 1.631000e+03 |    Inf 
0.58/0.68	c   0.7s|     1 |     0 |  1296 |     - |  26M|   0 | 547 |8026 |6698 |8026 |6698 |   0 |   0 |   0 | 0.000000e+00 | 1.631000e+03 |    Inf 
0.69/0.74	o 1228
0.69/0.74	c 6 0.7s|     1 |     0 |  1296 |     - |  27M|   0 | 547 |8026 |6698 |8026 |6698 |   0 |   0 |   0 | 0.000000e+00 | 1.228000e+03 |    Inf 
2.99/3.01	o 1170
2.99/3.01	c y 3.0s|     1 |     0 |  1296 |     - |  27M|   0 | 547 |8026 |6698 |8026 |6698 |   0 |   0 |   0 | 0.000000e+00 | 1.170000e+03 |    Inf 
2.99/3.08	c   3.1s|     1 |     0 |  1535 |     - |  27M|   0 | 582 |8026 |6698 |8026 |6734 |  36 |   0 |   0 | 0.000000e+00 | 1.170000e+03 |    Inf 
3.08/3.37	c   3.4s|     1 |     0 |  1833 |     - |  27M|   0 | 607 |8026 |6698 |8026 |6785 |  87 |   0 |   0 | 0.000000e+00 | 1.170000e+03 |    Inf 
3.59/3.65	c   3.6s|     1 |     0 |  2031 |     - |  27M|   0 | 616 |8026 |6698 |8026 |6853 | 155 |   0 |   0 | 0.000000e+00 | 1.170000e+03 |    Inf 
3.98/4.00	c   4.0s|     1 |     0 |  2524 |     - |  27M|   0 | 692 |8026 |6698 |8026 |6920 | 222 |   0 |   0 | 0.000000e+00 | 1.170000e+03 |    Inf 
4.49/4.52	c   4.5s|     1 |     0 |  3566 |     - |  28M|   0 | 676 |8026 |6698 |8026 |6987 | 289 |   0 |   0 | 0.000000e+00 | 1.170000e+03 |    Inf 
4.79/4.89	c   4.9s|     1 |     0 |  4000 |     - |  29M|   0 | 690 |8026 |6698 |8026 |7048 | 350 |   0 |   0 | 0.000000e+00 | 1.170000e+03 |    Inf 
7.18/7.28	c   7.3s|     1 |     2 |  8067 |     - |  29M|   0 | 690 |8026 |6698 |8026 |7048 | 350 |   0 |   0 | 0.000000e+00 | 1.170000e+03 |    Inf 
11.98/12.03	o 229
11.98/12.03	c v12.0s|     8 |     9 | 20264 |2323.4 |  33M|   6 |   - |8026 |6708 |8026 |6809 | 350 |  10 |   0 | 0.000000e+00 | 2.290000e+02 |    Inf 
11.98/12.09	o 76
11.98/12.09	c 612.1s|     8 |     9 | 20264 |2323.4 |  34M|   6 | 689 |8026 |6710 |8026 |6809 | 350 |  12 |   0 | 0.000000e+00 | 7.600000e+01 |    Inf 
25.48/25.51	o 54
25.48/25.51	c v25.5s|    53 |    52 | 69434 |1258.3 |  43M|  28 |   - |8026 |5920 |8026 |6809 | 350 |  66 |   0 | 0.000000e+00 | 5.400000e+01 |    Inf 
25.48/25.56	o 12
25.48/25.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
25.48/25.56	c 625.6s|    54 |    17 | 69434 |1234.6 |  43M|  28 |   - |8026 |5181 |   0 |   0 | 350 |  71 |   0 | 0.000000e+00 | 1.200000e+01 |    Inf 
26.08/26.10	o 11
26.08/26.10	c g26.1s|    79 |    42 | 70333 | 850.4 |  43M|  29 |   - |8026 |3781 |8026 |6809 | 350 |  71 |   0 | 0.000000e+00 | 1.100000e+01 |    Inf 
26.28/26.37	o 10
26.28/26.37	c v26.4s|    85 |    48 | 70651 | 793.5 |  43M|  29 |   - |8026 |3743 |8026 |6809 | 350 |  71 |   0 | 0.000000e+00 | 1.000000e+01 |    Inf 
26.28/26.38	c Forcing restart, since 3015 binary variables among 3349 have been fixed.
26.28/26.40	c (run 1, node 86) performing user restart
26.28/26.40	c 
26.39/26.40	c (restart) converted 3460 cuts from the global cut pool into linear constraints
26.39/26.40	c 
26.39/26.43	c presolving:
26.49/26.51	c (round 1) 6247 del vars, 3258 del conss, 0 add conss, 102 chg bounds, 2 chg sides, 55 chg coeffs, 0 upgd conss, 50232 impls, 0 clqs
26.49/26.52	c (round 2) 6272 del vars, 3539 del conss, 0 add conss, 106 chg bounds, 3 chg sides, 57 chg coeffs, 0 upgd conss, 51145 impls, 0 clqs
26.49/26.53	c (round 3) 6284 del vars, 3562 del conss, 0 add conss, 106 chg bounds, 3 chg sides, 57 chg coeffs, 0 upgd conss, 51145 impls, 0 clqs
26.49/26.56	c (round 4) 6284 del vars, 3578 del conss, 0 add conss, 106 chg bounds, 3 chg sides, 57 chg coeffs, 2969 upgd conss, 51145 impls, 0 clqs
26.49/26.58	c (round 5) 6284 del vars, 3581 del conss, 3 add conss, 106 chg bounds, 11 chg sides, 84 chg coeffs, 2969 upgd conss, 51145 impls, 0 clqs
26.49/26.59	c (round 6) 6284 del vars, 5509 del conss, 645 add conss, 106 chg bounds, 11 chg sides, 85 chg coeffs, 2969 upgd conss, 51145 impls, 0 clqs
26.58/26.60	c (round 7) 6306 del vars, 5567 del conss, 703 add conss, 106 chg bounds, 11 chg sides, 85 chg coeffs, 2978 upgd conss, 51481 impls, 1 clqs
26.58/26.60	c (round 8) 6308 del vars, 5597 del conss, 728 add conss, 106 chg bounds, 11 chg sides, 85 chg coeffs, 2978 upgd conss, 51519 impls, 60 clqs
26.68/26.74	c (round 9) 6308 del vars, 5604 del conss, 730 add conss, 106 chg bounds, 11 chg sides, 85 chg coeffs, 2978 upgd conss, 51519 impls, 63 clqs
26.68/26.74	c (round 10) 6308 del vars, 5605 del conss, 730 add conss, 106 chg bounds, 11 chg sides, 85 chg coeffs, 2978 upgd conss, 51519 impls, 63 clqs
26.68/26.74	c presolving (11 rounds):
26.68/26.74	c  6308 deleted vars, 5605 deleted constraints, 730 added constraints, 106 tightened bounds, 0 added holes, 11 changed sides, 85 changed coefficients
26.68/26.74	c  51519 implications, 63 cliques
26.68/26.74	c presolved problem has 1718 variables (1415 bin, 0 int, 303 impl, 0 cont) and 2328 constraints
26.68/26.74	c     303 constraints of type <varbound>
26.68/26.74	c     211 constraints of type <knapsack>
26.68/26.74	c     435 constraints of type <setppc>
26.68/26.74	c     555 constraints of type <and>
26.68/26.74	c     317 constraints of type <linear>
26.68/26.74	c     303 constraints of type <indicator>
26.68/26.74	c     189 constraints of type <logicor>
26.68/26.74	c      15 constraints of type <bounddisjunction>
26.68/26.74	c transformed objective value is always integral (scale: 1)
26.68/26.74	c Presolving Time: 0.43
26.68/26.75	c 
26.68/26.78	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
26.68/26.78	c  26.8s|     1 |     0 | 71033 |     - |  39M|   0 | 268 |1718 |2328 |1718 |2852 |   0 |  71 |   0 | 0.000000e+00 | 1.000000e+01 |    Inf 
26.88/26.93	c  26.9s|     1 |     0 | 71461 |     - |  39M|   0 | 392 |1718 |2328 |1718 |3335 | 483 |  71 |   0 | 0.000000e+00 | 1.000000e+01 |    Inf 
26.88/26.93	c  26.9s|     1 |     2 | 71461 |     - |  39M|   0 | 392 |1718 |2328 |1718 |3335 | 483 |  71 |   0 | 0.000000e+00 | 1.000000e+01 |    Inf 
27.28/27.34	o 9
27.28/27.34	c v27.3s|     8 |     9 | 73704 | 740.8 |  40M|   5 |   - |1718 |2338 |1718 |2702 | 601 |  81 |   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
27.88/27.96	o 2
27.88/27.96	c l28.0s|    67 |    59 | 75863 | 467.5 |  40M|  58 |   - |1718 |2289 |1718 |2801 | 700 | 100 |   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
27.88/27.96	o 1
27.88/27.96	c Forcing restart, since the absolute gap is 1.000000.
27.88/27.96	c 628.0s|    68 |    17 | 75863 | 464.4 |  40M|  58 |   - |1718 |2289 |   0 |   0 | 700 | 100 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
27.88/27.96	c (run 2, node 68) performing user restart
27.88/27.96	c 
27.88/27.97	c (restart) converted 399 cuts from the global cut pool into linear constraints
27.88/27.97	c 
27.88/27.97	c presolving:
27.88/27.98	c (round 1) 74 del vars, 38 del conss, 0 add conss, 11 chg bounds, 0 chg sides, 5 chg coeffs, 10 upgd conss, 55897 impls, 66 clqs
27.88/27.99	c (round 2) 87 del vars, 52 del conss, 0 add conss, 11 chg bounds, 0 chg sides, 5 chg coeffs, 19 upgd conss, 56079 impls, 65 clqs
27.98/28.00	c (round 3) 90 del vars, 53 del conss, 0 add conss, 11 chg bounds, 0 chg sides, 6 chg coeffs, 410 upgd conss, 56079 impls, 65 clqs
27.98/28.01	c (round 4) 92 del vars, 327 del conss, 2 add conss, 11 chg bounds, 6 chg sides, 17 chg coeffs, 410 upgd conss, 56144 impls, 66 clqs
27.98/28.01	c (round 5) 96 del vars, 345 del conss, 19 add conss, 11 chg bounds, 6 chg sides, 17 chg coeffs, 410 upgd conss, 56476 impls, 66 clqs
27.98/28.08	c (round 6) 96 del vars, 360 del conss, 23 add conss, 11 chg bounds, 7 chg sides, 17 chg coeffs, 410 upgd conss, 56476 impls, 81 clqs
27.98/28.09	c (round 7) 96 del vars, 362 del conss, 23 add conss, 11 chg bounds, 7 chg sides, 17 chg coeffs, 410 upgd conss, 56476 impls, 82 clqs
27.98/28.09	c (round 8) 96 del vars, 362 del conss, 23 add conss, 279 chg bounds, 7 chg sides, 17 chg coeffs, 410 upgd conss, 56476 impls, 82 clqs
28.08/28.10	c (round 9) 665 del vars, 915 del conss, 23 add conss, 566 chg bounds, 8 chg sides, 25 chg coeffs, 410 upgd conss, 63282 impls, 82 clqs
28.08/28.10	c (round 10) 696 del vars, 993 del conss, 23 add conss, 567 chg bounds, 8 chg sides, 28 chg coeffs, 413 upgd conss, 63328 impls, 80 clqs
28.08/28.11	c (round 11) 703 del vars, 998 del conss, 23 add conss, 567 chg bounds, 8 chg sides, 29 chg coeffs, 420 upgd conss, 63392 impls, 80 clqs
28.08/28.11	c (round 12) 707 del vars, 1004 del conss, 23 add conss, 567 chg bounds, 8 chg sides, 31 chg coeffs, 660 upgd conss, 63392 impls, 80 clqs
28.08/28.12	c (round 13) 710 del vars, 1008 del conss, 24 add conss, 567 chg bounds, 12 chg sides, 47 chg coeffs, 660 upgd conss, 63392 impls, 80 clqs
28.08/28.12	c (round 14) 711 del vars, 1011 del conss, 24 add conss, 567 chg bounds, 12 chg sides, 50 chg coeffs, 660 upgd conss, 63392 impls, 80 clqs
28.08/28.13	c (round 15) 714 del vars, 1031 del conss, 44 add conss, 567 chg bounds, 12 chg sides, 51 chg coeffs, 660 upgd conss, 63396 impls, 80 clqs
28.08/28.13	c (round 16) 715 del vars, 1038 del conss, 44 add conss, 567 chg bounds, 12 chg sides, 51 chg coeffs, 660 upgd conss, 63396 impls, 98 clqs
28.08/28.14	c (round 17) 716 del vars, 1039 del conss, 44 add conss, 567 chg bounds, 12 chg sides, 51 chg coeffs, 660 upgd conss, 63396 impls, 98 clqs
28.08/28.14	c (round 18) 718 del vars, 1042 del conss, 44 add conss, 567 chg bounds, 12 chg sides, 52 chg coeffs, 660 upgd conss, 63396 impls, 98 clqs
28.18/28.22	c (round 19) 719 del vars, 1045 del conss, 46 add conss, 567 chg bounds, 12 chg sides, 52 chg coeffs, 660 upgd conss, 63402 impls, 98 clqs
28.18/28.23	c (round 20) 719 del vars, 1661 del conss, 250 add conss, 567 chg bounds, 12 chg sides, 52 chg coeffs, 660 upgd conss, 63402 impls, 99 clqs
28.18/28.23	c (round 21) 724 del vars, 1684 del conss, 273 add conss, 567 chg bounds, 12 chg sides, 52 chg coeffs, 661 upgd conss, 63466 impls, 102 clqs
28.18/28.24	c (round 22) 726 del vars, 1689 del conss, 278 add conss, 567 chg bounds, 12 chg sides, 52 chg coeffs, 661 upgd conss, 63532 impls, 126 clqs
28.28/28.37	c (round 23) 730 del vars, 1696 del conss, 280 add conss, 567 chg bounds, 12 chg sides, 52 chg coeffs, 661 upgd conss, 63636 impls, 126 clqs
28.28/28.38	c (round 24) 730 del vars, 1698 del conss, 281 add conss, 567 chg bounds, 12 chg sides, 52 chg coeffs, 661 upgd conss, 63636 impls, 126 clqs
28.38/28.45	c (round 25) 731 del vars, 1699 del conss, 281 add conss, 567 chg bounds, 12 chg sides, 52 chg coeffs, 661 upgd conss, 63652 impls, 126 clqs
28.38/28.45	c presolving (26 rounds):
28.38/28.45	c  731 deleted vars, 1699 deleted constraints, 281 added constraints, 567 tightened bounds, 0 added holes, 12 changed sides, 52 changed coefficients
28.38/28.45	c  63652 implications, 126 cliques
28.38/28.45	c presolved problem has 987 variables (987 bin, 0 int, 0 impl, 0 cont) and 1236 constraints
28.38/28.45	c     250 constraints of type <knapsack>
28.38/28.45	c     266 constraints of type <setppc>
28.38/28.45	c     623 constraints of type <and>
28.38/28.45	c      80 constraints of type <logicor>
28.38/28.45	c      17 constraints of type <bounddisjunction>
28.38/28.45	c transformed objective value is always integral (scale: 1)
28.38/28.45	c Presolving Time: 0.91
28.38/28.46	c 
28.38/28.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
28.38/28.48	c  28.5s|     1 |     0 | 76216 |     - |  38M|   0 | 207 | 987 |1236 | 987 |1810 |   0 | 100 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
28.48/28.58	c  28.6s|     1 |     0 | 76512 |     - |  39M|   0 | 319 | 987 |1236 | 987 |2081 | 271 | 100 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
28.48/28.58	c  28.6s|     1 |     2 | 76512 |     - |  39M|   0 | 319 | 987 |1236 | 987 |2081 | 271 | 100 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
29.18/29.22	c 
29.18/29.22	c SCIP Status        : problem is solved [optimal solution found]
29.18/29.22	c Solving Time (sec) : 29.22
29.18/29.22	c Solving Nodes      : 66 (total of 220 nodes in 3 runs)
29.18/29.22	c Primal Bound       : +1.00000000000000e+00 (83 solutions)
29.18/29.22	c Dual Bound         : +1.00000000000000e+00
29.18/29.22	c Gap                : 0.00 %
29.18/29.23	s OPTIMUM FOUND
29.18/29.23	v x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 x1314 x1313 -x1312 x1311 -x1310 
29.18/29.23	v -x1309 -x1308 x1307 x1306 x1305 x1304 -x1303 -x1302 -x1301 -x1300 x1299 -x1298 -x1297 -x1296 -x1295 x1294 x1293 -x1292 x1291 
29.18/29.23	v -x1290 x1289 x1288 -x1287 -x1286 -x1285 x1284 -x1283 x1282 -x1281 x1280 x1279 x1278 x1277 x1276 -x1275 x1274 x1273 x1272 -x1271 
29.18/29.23	v -x1270 -x1269 -x1268 x1267 -x1266 -x1265 x1264 -x1263 -x1262 -x1261 x1260 x1259 x1258 -x1257 -x1256 -x1255 -x1254 x1253 -x1252 
29.18/29.23	v -x1251 x1250 x1249 -x1248 -x1247 -x1246 x1245 x1244 -x1243 -x1242 -x1241 -x1240 x1239 -x1238 x1237 x1236 -x1235 -x1234 
29.18/29.23	v x1233 -x1232 -x1231 -x1230 x1229 x1228 x1227 -x1226 -x1225 -x1224 -x1223 -x1222 x1221 -x1220 -x1219 x1218 -x1217 -x1216 x1215 
29.18/29.23	v -x1214 -x1213 -x1212 -x1211 -x1210 x1209 x1208 -x1207 x1206 -x1205 -x1204 x1203 -x1202 -x1201 -x1200 x1199 x1198 -x1197 x1196 
29.18/29.23	v -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 x1188 x1187 x1186 x1185 x1184 x1183 x1182 -x1181 x1180 x1179 -x1178 x1177 
29.18/29.23	v x1176 x1175 x1174 -x1173 x1172 -x1171 x1170 x1169 x1168 x1167 x1166 x1165 x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 
29.18/29.23	v -x1156 -x1155 -x1154 -x1153 -x1152 x1151 x1150 x1149 x1148 -x1147 x1146 -x1145 -x1144 -x1143 -x1142 -x1141 x1140 -x1139 -x1138 
29.18/29.23	v -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 x1125 x1124 x1123 x1122 x1121 x1120 
29.18/29.23	v -x1119 x1118 -x1117 -x1116 -x1115 x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 
29.18/29.23	v -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 
29.18/29.23	v -x1083 -x1082 x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 x1067 x1066 x1065 
29.18/29.23	v x1064 -x1063 -x1062 -x1061 -x1060 -x1059 x1058 -x1057 -x1056 x1055 -x1054 x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 
29.18/29.23	v -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 x1039 x1038 -x1037 -x1036 -x1035 x1034 x1033 x1032 x1031 x1030 -x1029 -x1028 
29.18/29.23	v -x1027 x1026 -x1025 -x1024 x1023 -x1022 x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 
29.18/29.23	v -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 x995 -x994 -x993 -x992 x991 x990 
29.18/29.23	v -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 
29.18/29.23	v -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 
29.18/29.23	v -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 
29.18/29.23	v -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 
29.18/29.23	v -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 x888 x887 x886 x885 
29.18/29.23	v x884 x883 x882 x881 x880 x879 x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 x869 -x868 x867 -x866 x865 -x864 x863 -x862 
29.18/29.23	v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 x845 -x844 -x843 -x842 -x841 
29.18/29.23	v -x840 -x839 -x838 -x837 x836 -x835 -x834 x833 x832 x831 x830 -x829 x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 
29.18/29.23	v -x819 -x818 x817 x816 x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 x800 -x799 -x798 
29.18/29.23	v -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 x779 -x778 -x777 
29.18/29.23	v -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 x768 -x767 -x766 -x765 x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 
29.18/29.23	v -x755 x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 
29.18/29.23	v -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 x719 x718 -x717 -x716 -x715 -x714 
29.18/29.23	v -x713 -x712 -x711 -x710 -x709 -x708 x707 -x706 -x705 -x704 -x703 -x702 -x701 x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 
29.18/29.23	v -x691 x690 -x689 x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 x680 -x679 x678 -x677 x676 -x675 -x674 x673 -x672 -x671 
29.18/29.23	v -x670 -x669 -x668 -x667 x666 -x665 -x664 -x663 -x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 x652 -x651 -x650 -x649 
29.18/29.23	v x648 x647 -x646 -x645 -x644 x643 -x642 -x641 -x640 -x639 -x638 x637 -x636 -x635 -x634 x633 x632 x631 x630 -x629 -x628 -x627 
29.18/29.23	v -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 x613 x612 x611 -x610 -x609 -x608 -x607 -x606 
29.18/29.23	v -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 x594 -x593 x592 x591 x590 x589 x588 x587 -x586 x585 -x584 
29.18/29.23	v -x583 -x582 -x581 -x580 x579 -x578 x577 -x576 x575 -x574 -x573 -x572 -x571 -x570 x569 -x568 -x567 x566 x565 x564 x563 x562 -x561 
29.18/29.23	v x560 -x559 -x558 -x557 -x556 x555 -x554 -x553 x552 -x551 x550 -x549 -x548 x547 -x546 -x545 -x544 x543 x542 x541 -x540 -x539 
29.18/29.23	v x538 x537 x536 x535 -x534 x533 -x532 -x531 -x530 -x529 -x528 x527 -x526 -x525 x524 x523 x522 -x521 x520 -x519 -x518 -x517 
29.18/29.23	v -x516 -x515 x514 -x513 -x512 -x511 -x510 -x509 x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 x497 -x496 -x495 
29.18/29.23	v -x494 x493 x492 x491 x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476 -x475 -x474 
29.18/29.23	v x473 -x472 -x471 -x470 -x469 -x468 -x467 x466 -x465 -x464 x463 -x462 x461 x460 x459 x458 -x457 -x456 -x455 -x454 -x453 -x452 
29.18/29.23	v x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 x433 -x432 -x431 -x430 
29.18/29.23	v -x429 -x428 -x427 x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 
29.18/29.23	v -x408 -x407 x406 -x405 -x404 -x403 -x402 x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 
29.18/29.23	v -x387 -x386 -x385 x384 x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 x374 -x373 -x372 -x371 -x370 -x369 x368 -x367 -x366 
29.18/29.23	v -x365 -x364 -x363 -x362 x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 x346 -x345 
29.18/29.23	v x344 -x343 x342 -x341 -x340 -x339 -x338 -x337 -x336 x335 -x334 -x333 -x332 -x331 -x330 x329 -x328 -x327 -x326 -x325 x324 
29.18/29.23	v -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 x312 -x311 -x310 -x309 x308 -x307 x306 -x305 -x304 -x303 -x302 
29.18/29.23	v -x301 -x300 x299 -x298 -x297 -x296 x295 -x294 -x293 -x292 -x291 x290 -x289 -x288 -x287 -x286 -x285 x284 -x283 -x282 -x281 
29.18/29.23	v -x280 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 x261 -x260 x259 
29.18/29.23	v -x258 -x257 -x256 -x255 -x254 x253 -x252 x251 -x250 -x249 x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 x240 x239 x238 -x237 
29.18/29.23	v x236 -x235 -x234 x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 x218 x217 -x216 
29.18/29.23	v -x215 x214 x213 -x212 -x211 x210 x209 -x208 x207 x206 x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 
29.18/29.23	v x193 x192 x191 -x190 x189 x188 -x187 x186 x185 x184 x183 x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 
29.18/29.23	v x170 x169 x168 x167 x166 -x165 -x164 x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 x151 x150 x149 -x148 
29.18/29.23	v -x147 -x146 -x145 x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 
29.18/29.23	v x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 x109 x108 -x107 -x106 -x105 
29.18/29.23	v -x104 -x103 -x102 -x101 x100 -x99 -x98 x97 -x96 -x95 x94 -x93 -x92 -x91 x90 x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 
29.18/29.23	v -x79 -x78 -x77 x76 -x75 -x74 -x73 x72 -x71 -x70 x69 -x68 -x67 x66 -x65 -x64 -x63 x62 -x61 x60 x59 -x58 -x57 x56 -x55 -x54 x53 
29.18/29.23	v x52 x51 x50 x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 x33 x32 x31 x30 x29 x28 x27 -x26 
29.18/29.23	v -x25 x24 x23 x22 -x21 -x20 -x19 -x18 x17 x16 -x15 -x14 -x13 x12 -x11 x10 -x9 x8 -x7 -x6 x5 -x4 -x3 x2 -x1 
29.18/29.23	c SCIP Status        : problem is solved [optimal solution found]
29.18/29.23	c Total Time         :      29.22
29.18/29.23	c   solving          :      29.22
29.18/29.23	c   presolving       :       0.91 (included in solving)
29.18/29.23	c   reading          :       0.02 (included in solving)
29.18/29.23	c   copying          :       0.05 (2 #copies) (minimal 0.02, maximal 0.03, average 0.02)
29.18/29.23	c Original Problem   :
29.18/29.23	c   Problem name     : HOME/instance-3717389-1338201243.wbo
29.18/29.23	c   Variables        : 4677 (4677 binary, 0 integer, 0 implicit integer, 0 continuous)
29.18/29.23	c   Constraints      : 3350 initial, 3350 maximal
29.18/29.23	c   Objective sense  : minimize
29.18/29.23	c Presolved Problem  :
29.18/29.23	c   Problem name     : t_HOME/instance-3717389-1338201243.wbo
29.18/29.23	c   Variables        : 987 (987 binary, 0 integer, 0 implicit integer, 0 continuous)
29.18/29.23	c   Constraints      : 1236 initial, 1275 maximal
29.18/29.23	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
29.18/29.23	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
29.18/29.23	c   trivial          :       0.01       0.00       6394          0          0          0          0          0          0          0          0
29.18/29.23	c   dualfix          :       0.00       0.00         16          0          0          0          0          0          0          0          0
29.18/29.23	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
29.18/29.23	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
29.18/29.23	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
29.18/29.23	c   gateextraction   :       0.01       0.00          0          0          0          0          0       2544        846          0          0
29.18/29.23	c   implics          :       0.01       0.00          0        132          0          0          0          0          0          0          0
29.18/29.23	c   components       :       0.00       0.00          0          0          0          0          0          0          0          0          0
29.18/29.23	c   pseudoobj        :       0.00       0.00          0          0          0        268          0          0          0          0          0
29.18/29.23	c   probing          :       0.01       0.00          0          0          0          0          0          0          0          0          0
29.18/29.23	c   varbound         :       0.01       0.00          0          0          0        268          0        537          0          0          0
29.18/29.23	c   knapsack         :       0.02       0.00          0          0          0          0          0          3          6         18         56
29.18/29.23	c   setppc           :       0.04       0.00          3          3          0          0          0         98          0          1          0
29.18/29.23	c   and              :       0.51       0.00         28         54          0          0          0        176        159          0         11
29.18/29.23	c   linear           :       0.18       0.01        385          9          0       3486          0       3597          0         96        254
29.18/29.23	c   indicator        :       0.00       0.00         15          0          0          0          0        314          0          0          0
29.18/29.23	c   logicor          :       0.03       0.00          0          0          0          0          0         28          0          0          0
29.18/29.23	c   bounddisjunction :       0.00       0.00          0          0          0          0          0          8          0          0          0
29.18/29.23	c   root node        :          -          -       6446          -          -       6446          -          -          -          -          -
29.18/29.23	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
29.18/29.23	c   integral         :          0          0          0          0        208          0        588          0          0          0          0          0        416
29.18/29.23	c   knapsack         :        250        250          2       1899          0          0        204         57         11        127        306          0          0
29.18/29.23	c   setppc           :        266        266          2       1888          0          0          7        184         11        655          2          0          0
29.18/29.23	c   and              :        623        623        216       1877          0          0          5        624         14       2659        864          0          0
29.18/29.23	c   logicor          :         80+       126          2        675          0          0          4         61          5         79          8          0          0
29.18/29.23	c   bounddisjunction :         17         17          0        172          0          0          0          5          1          5          0          0          0
29.18/29.23	c   countsols        :          0          0          0          0          0          0        291          0          0          0          0          0          0
29.18/29.23	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
29.18/29.23	c   integral         :       0.06       0.00       0.00       0.00       0.01       0.00       0.06       0.00
29.18/29.23	c   knapsack         :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00
29.18/29.23	c   setppc           :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00
29.18/29.23	c   and              :       0.04       0.00       0.01       0.02       0.00       0.00       0.00       0.00
29.18/29.23	c   logicor          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
29.18/29.23	c   bounddisjunction :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
29.18/29.23	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
29.18/29.23	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
29.18/29.23	c   rootredcost      :          7          0          0       2329
29.18/29.23	c   pseudoobj        :       3826        112          3        482
29.18/29.23	c   vbounds          :        105        147          0       1928
29.18/29.23	c   redcost          :        324          0          0       1476
29.18/29.23	c   probing          :          0          0          0          0
29.18/29.23	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
29.18/29.23	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00
29.18/29.23	c   pseudoobj        :       0.08       0.00       0.00       0.06       0.02
29.18/29.23	c   vbounds          :       0.09       0.00       0.00       0.08       0.00
29.18/29.23	c   redcost          :       0.03       0.00       0.00       0.03       0.00
29.18/29.23	c   probing          :       0.01       0.00       0.01       0.00       0.00
29.18/29.23	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
29.18/29.23	c   propagation      :       0.03         70         70        124       10.2          5        7.0          -
29.18/29.23	c   infeasible LP    :       0.02         40         40         45        4.0          0        0.0          0
29.18/29.23	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
29.18/29.23	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
29.18/29.23	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
29.18/29.23	c   applied globally :          -          -          -        150        8.1          -          -          -
29.18/29.23	c   applied locally  :          -          -          -          0        0.0          -          -          -
29.18/29.23	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
29.18/29.23	c   cut pool         :       0.00                     0          -          -          0          -    (maximal pool size: 569)
29.18/29.23	c   closecuts        :       0.00       0.00          0          0          0          0          0
29.18/29.23	c   impliedbounds    :       0.00       0.00          8          0          0        961          0
29.18/29.23	c   intobj           :       0.00       0.00          0          0          0          0          0
29.18/29.23	c   gomory           :       0.09       0.00          8          0          0        400          0
29.18/29.23	c   cgmip            :       0.00       0.00          0          0          0          0          0
29.18/29.23	c   strongcg         :       0.44       0.00          8          0          0       4000          0
29.18/29.23	c   cmir             :       0.62       0.00          8          0          0        224          0
29.18/29.23	c   flowcover        :       0.61       0.00          8          0          0       1174          0
29.18/29.23	c   clique           :       0.05       0.00          3          0          0         14          0
29.18/29.23	c   zerohalf         :       0.00       0.00          0          0          0          0          0
29.18/29.23	c   mcf              :       0.01       0.00          3          0          0          0          0
29.18/29.23	c   oddcycle         :       0.00       0.00          0          0          0          0          0
29.18/29.23	c   rapidlearning    :       2.08       0.00          1          0          0          0          0
29.18/29.23	c Pricers            :   ExecTime  SetupTime      Calls       Vars
29.18/29.23	c   problem variables:       0.00          -          0          0
29.18/29.23	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
29.18/29.23	c   inference        :       0.01       0.00        208          0          0          0          0        416
29.18/29.23	c   relpscost        :       0.00       0.00          0          0          0          0          0          0
29.18/29.23	c   pscost           :       0.00       0.00          0          0          0          0          0          0
29.18/29.23	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
29.18/29.23	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
29.18/29.23	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
29.18/29.23	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
29.18/29.23	c   random           :       0.00       0.00          0          0          0          0          0          0
29.18/29.23	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
29.18/29.23	c   LP solutions     :       0.00          -          -          0
29.18/29.23	c   pseudo solutions :       0.00          -          -          0
29.18/29.23	c   crossover        :       0.00       0.00          0          0
29.18/29.23	c   oneopt           :       0.01       0.00          6          0
29.18/29.23	c   rootsoldiving    :       2.04       0.00          1          0
29.18/29.23	c   fracdiving       :       2.72       0.00          4          2
29.18/29.23	c   linesearchdiving :       1.64       0.00          5          1
29.18/29.23	c   veclendiving     :       4.26       0.00          7          4
29.18/29.23	c   smallcard        :       0.00       0.00          0          0
29.18/29.23	c   trivial          :       0.01       0.00          2          1
29.18/29.23	c   shiftandpropagate:       0.00       0.00          0          0
29.18/29.23	c   simplerounding   :       0.00       0.00        312          0
29.18/29.23	c   zirounding       :       0.03       0.00         81          0
29.18/29.23	c   rounding         :       0.04       0.00        206          0
29.18/29.23	c   shifting         :       0.08       0.00         34          0
29.18/29.23	c   intshifting      :       0.00       0.00          0          0
29.18/29.23	c   twoopt           :       0.00       0.00          0          0
29.18/29.23	c   indtwoopt        :       0.00       0.00          0          0
29.18/29.23	c   indoneopt        :       0.60       0.00         12          6
29.18/29.23	c   fixandinfer      :       0.00       0.00          0          0
29.18/29.23	c   feaspump         :       0.00       0.00          0          0
29.18/29.23	c   clique           :       0.00       0.00          0          0
29.18/29.23	c   indcoefdiving    :       0.00       0.00          0          0
29.18/29.23	c   coefdiving       :       2.38       0.00          2          0
29.18/29.23	c   indrounding      :       0.30       0.00        206          7
29.18/29.23	c   pscostdiving     :       2.54       0.00          4          4
29.18/29.23	c   nlpdiving        :       0.00       0.00          0          0
29.18/29.23	c   intdiving        :       0.00       0.00          0          0
29.18/29.23	c   actconsdiving    :       0.00       0.00          0          0
29.18/29.23	c   objpscostdiving  :       4.06       0.00          1         52
29.18/29.23	c   guideddiving     :       0.97       0.00          4          1
29.18/29.23	c   octane           :       0.00       0.00          0          0
29.18/29.23	c   rens             :       0.17       0.00          1          0
29.18/29.23	c   rins             :       0.00       0.00          0          0
29.18/29.23	c   localbranching   :       0.00       0.00          0          0
29.18/29.23	c   mutation         :       0.00       0.00          0          0
29.18/29.23	c   dins             :       0.00       0.00          0          0
29.18/29.23	c   vbounds          :       0.00       0.00          0          0
29.18/29.23	c   undercover       :       0.00       0.00          0          0
29.18/29.23	c   subnlp           :       0.00       0.00          0          0
29.18/29.23	c   trysol           :       0.01       0.00          4          4
29.18/29.23	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
29.18/29.23	c   primal LP        :       0.00          3          0       0.00          -       0.00          3
29.18/29.23	c   dual LP          :       1.98        326      15173      48.63    7662.41       0.03         14
29.18/29.23	c   lex dual LP      :       0.00          0          0       0.00          -
29.18/29.23	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
29.18/29.23	c   diving/probing LP:      16.33       2668      65966      24.72    4040.32
29.18/29.23	c   strong branching :       0.00          0          0       0.00          -
29.18/29.23	c     (at root node) :          -          0          0       0.00          -
29.18/29.23	c   conflict analysis:       0.00          0          0       0.00          -
29.18/29.23	c B&B Tree           :
29.18/29.23	c   number of runs   :          3
29.18/29.23	c   nodes            :         66
29.18/29.23	c   nodes (total)    :        220
29.18/29.23	c   nodes left       :          0
29.18/29.23	c   max depth        :         16
29.18/29.23	c   max depth (total):         58
29.18/29.23	c   backtracks       :         20 (30.3%)
29.18/29.23	c   delayed cutoffs  :         51
29.18/29.23	c   repropagations   :         39 (802 domain reductions, 7 cutoffs)
29.18/29.23	c   avg switch length:       2.88
29.18/29.23	c   switching time   :       0.05
29.18/29.23	c Solution           :
29.18/29.23	c   Solutions found  :         83 (14 improvements)
29.18/29.23	c   First Solution   : +1.69121000000000e+05   (in run 1, after 0 nodes, 0.06 seconds, depth 0, found by <trivial>)
29.18/29.23	c   Primal Bound     : +1.00000000000000e+00   (in run 2, after 68 nodes, 27.96 seconds, depth 53, found by <indoneopt>)
29.18/29.23	c   Dual Bound       : +1.00000000000000e+00
29.18/29.23	c   Gap              :       0.00 %
29.18/29.23	c   Root Dual Bound  : +0.00000000000000e+00
29.18/29.23	c   Root Iterations  :       5456
29.18/29.25	c Time complete: 29.24.

Verifier Data

OK	1

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-3717389-1338201243/watcher-3717389-1338201243 -o /tmp/evaluation-result-3717389-1338201243/solver-3717389-1338201243 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717389-1338201243.wbo -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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.00 2.01 2.00 3/176 2727
/proc/meminfo: memFree=30900516/32873844 swapFree=7620/7620
[pid=2727] ppid=2725 vsize=10196 CPUtime=0 cores=0,2,4,6
/proc/2727/stat : 2727 (scip-2.1.1.4fix) R 2725 2727 1906 0 -1 4202496 1292 0 0 0 0 0 0 0 20 0 1 0 286248628 10440704 1246 33554432000 4194304 10173063 140736629163184 140734173969704 7545739 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2727/statm: 2549 1246 416 1460 0 1080 0

[startup+0.058491 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 2727
/proc/meminfo: memFree=30900516/32873844 swapFree=7620/7620
[pid=2727] ppid=2725 vsize=36236 CPUtime=0.05 cores=0,2,4,6
/proc/2727/stat : 2727 (scip-2.1.1.4fix) R 2725 2727 1906 0 -1 4202496 7601 0 0 0 4 1 0 0 20 0 1 0 286248628 37105664 7555 33554432000 4194304 10173063 140736629163184 140734173969704 7549350 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2727/statm: 9059 7555 524 1460 0 7590 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 36236

[startup+0.100273 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 2727
/proc/meminfo: memFree=30900516/32873844 swapFree=7620/7620
[pid=2727] ppid=2725 vsize=39504 CPUtime=0.09 cores=0,2,4,6
/proc/2727/stat : 2727 (scip-2.1.1.4fix) R 2725 2727 1906 0 -1 4202496 8559 0 0 0 6 3 0 0 20 0 1 0 286248628 40452096 8256 33554432000 4194304 10173063 140736629163184 140734173969704 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2727/statm: 9876 8256 564 1460 0 8407 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39504

[startup+0.300215 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 2727
/proc/meminfo: memFree=30900516/32873844 swapFree=7620/7620
[pid=2727] ppid=2725 vsize=44876 CPUtime=0.28 cores=0,2,4,6
/proc/2727/stat : 2727 (scip-2.1.1.4fix) R 2725 2727 1906 0 -1 4202496 9865 0 0 0 25 3 0 0 20 0 1 0 286248628 45953024 9562 33554432000 4194304 10173063 140736629163184 140736629159464 4502492 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2727/statm: 11219 9562 630 1460 0 9750 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 44876

[startup+0.700227 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 2727
/proc/meminfo: memFree=30900516/32873844 swapFree=7620/7620
[pid=2727] ppid=2725 vsize=61660 CPUtime=0.69 cores=0,2,4,6
/proc/2727/stat : 2727 (scip-2.1.1.4fix) R 2725 2727 1906 0 -1 4202496 14219 0 0 0 65 4 0 0 20 0 1 0 286248628 63139840 13750 33554432000 4194304 10173063 140736629163184 140736629159464 4411993 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2727/statm: 15415 13750 754 1460 0 13946 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 61660

[startup+1.5002 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2728
/proc/meminfo: memFree=30830928/32873844 swapFree=7620/7620
[pid=2727] ppid=2725 vsize=106456 CPUtime=1.49 cores=0,2,4,6
/proc/2727/stat : 2727 (scip-2.1.1.4fix) R 2725 2727 1906 0 -1 4202496 25162 0 0 0 139 10 0 0 20 0 1 0 286248628 109010944 24684 33554432000 4194304 10173063 140736629163184 140736629157032 4412149 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2727/statm: 26614 24684 803 1460 0 25145 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 106456

[startup+3.10021 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2728
/proc/meminfo: memFree=30803764/32873844 swapFree=7620/7620
[pid=2727] ppid=2725 vsize=102484 CPUtime=3.08 cores=0,2,4,6
/proc/2727/stat : 2727 (scip-2.1.1.4fix) R 2725 2727 1906 0 -1 4202496 25904 0 0 0 293 15 0 0 20 0 1 0 286248628 104943616 24142 33554432000 4194304 10173063 140736629163184 140736629159704 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2727/statm: 25621 24144 830 1460 0 24152 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 102484

[startup+6.30023 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2728
/proc/meminfo: memFree=30805996/32873844 swapFree=7620/7620
[pid=2727] ppid=2725 vsize=102484 CPUtime=6.28 cores=0,2,4,6
/proc/2727/stat : 2727 (scip-2.1.1.4fix) R 2725 2727 1906 0 -1 4202496 26080 0 0 0 609 19 0 0 20 0 1 0 286248628 104943616 24275 33554432000 4194304 10173063 140736629163184 140736629158008 8046953 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2727/statm: 25621 24275 833 1460 0 24152 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 102484

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 2729
/proc/meminfo: memFree=30805508/32873844 swapFree=7620/7620
[pid=2727] ppid=2725 vsize=101576 CPUtime=12.68 cores=0,2,4,6
/proc/2727/stat : 2727 (scip-2.1.1.4fix) R 2725 2727 1906 0 -1 4202496 29156 0 0 0 1243 25 0 0 20 0 1 0 286248628 104013824 24159 33554432000 4194304 10173063 140736629163184 140736629156760 5122137 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2727/statm: 25394 24159 846 1460 0 23925 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 101576

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 2729
/proc/meminfo: memFree=30806136/32873844 swapFree=7620/7620
[pid=2727] ppid=2725 vsize=101576 CPUtime=25.48 cores=0,2,4,6
/proc/2727/stat : 2727 (scip-2.1.1.4fix) R 2725 2727 1906 0 -1 4202496 29158 0 0 0 2512 36 0 0 20 0 1 0 286248628 104013824 24161 33554432000 4194304 10173063 140736629163184 140736629156568 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2727/statm: 25394 24161 848 1460 0 23925 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 101576

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

[startup+25.6004 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 2729
/proc/meminfo: memFree=30806136/32873844 swapFree=7620/7620
[pid=2727] ppid=2725 vsize=101576 CPUtime=25.58 cores=0,2,4,6
/proc/2727/stat : 2727 (scip-2.1.1.4fix) R 2725 2727 1906 0 -1 4202496 29158 0 0 0 2522 36 0 0 20 0 1 0 286248628 104013824 24161 33554432000 4194304 10173063 140736629163184 140736629157864 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2727/statm: 25394 24161 848 1460 0 23925 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 101576

[startup+27.2003 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 2729
/proc/meminfo: memFree=30806136/32873844 swapFree=7620/7620
[pid=2727] ppid=2725 vsize=113380 CPUtime=27.18 cores=0,2,4,6
/proc/2727/stat : 2727 (scip-2.1.1.4fix) R 2725 2727 1906 0 -1 4202496 32038 0 0 0 2639 79 0 0 20 0 1 0 286248628 116101120 26763 33554432000 4194304 10173063 140736629163184 140736629156536 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2727/statm: 28345 26763 881 1460 0 26876 0
Current children cumulated CPU time (s) 27.18
Current children cumulated vsize (KiB) 113380

[startup+28.0003 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 2729
/proc/meminfo: memFree=30796464/32873844 swapFree=7620/7620
[pid=2727] ppid=2725 vsize=113380 CPUtime=27.98 cores=0,2,4,6
/proc/2727/stat : 2727 (scip-2.1.1.4fix) R 2725 2727 1906 0 -1 4202496 32120 0 0 0 2708 90 0 0 20 0 1 0 286248628 116101120 26845 33554432000 4194304 10173063 140736629163184 140736629159064 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2727/statm: 28345 26845 881 1460 0 26876 0
Current children cumulated CPU time (s) 27.98
Current children cumulated vsize (KiB) 113380

[startup+28.8003 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 2729
/proc/meminfo: memFree=30794480/32873844 swapFree=7620/7620
[pid=2727] ppid=2725 vsize=113508 CPUtime=28.78 cores=0,2,4,6
/proc/2727/stat : 2727 (scip-2.1.1.4fix) R 2725 2727 1906 0 -1 4202496 32589 0 0 0 2740 138 0 0 20 0 1 0 286248628 116232192 27100 33554432000 4194304 10173063 140736629163184 140736629160264 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2727/statm: 28377 27100 884 1460 0 26908 0
Current children cumulated CPU time (s) 28.78
Current children cumulated vsize (KiB) 113508

[startup+29.2003 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 2729
/proc/meminfo: memFree=30794480/32873844 swapFree=7620/7620
[pid=2727] ppid=2725 vsize=113508 CPUtime=29.18 cores=0,2,4,6
/proc/2727/stat : 2727 (scip-2.1.1.4fix) R 2725 2727 1906 0 -1 4202496 32589 0 0 0 2778 140 0 0 20 0 1 0 286248628 116232192 27100 33554432000 4194304 10173063 140736629163184 140736629159672 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2727/statm: 28377 27100 884 1460 0 26908 0
Current children cumulated CPU time (s) 29.18
Current children cumulated vsize (KiB) 113508

Child status: 0
Real time (s): 29.2592
CPU time (s): 29.2486
CPU user time (s): 27.8348
CPU system time (s): 1.41379
CPU usage (%): 99.9637
Max. virtual memory (cumulated for all children) (KiB): 114292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.8348
system time used= 1.41378
maximum resident set size= 109320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32662
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= 3
involuntary context switches= 98

runsolver used 0.053991 second user time and 0.12798 second system time

The end

Launcher Data

Begin job on node143 at 2012-05-28 12:34:03
IDJOB=3717389
IDBENCH=79319
IDSOLVER=2300
FILE ID=node143/3717389-1338201243
RUNJOBID= node143-1338195608-1922
PBS_JOBID= 14624608
Free space on /tmp= 71648 MiB

SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-elf.rf7.ucl--soft-0-100-0.wbo
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-3717389-1338201243/watcher-3717389-1338201243 -o /tmp/evaluation-result-3717389-1338201243/solver-3717389-1338201243 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717389-1338201243.wbo -t 1800 -m 15500

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

MD5SUM BENCH= c12b7c7766d333e741516da691aff1b3
RANDOM SEED=376456659

node143.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		: 2666.787
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	: 5333.57
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		: 2666.787
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		: 2666.787
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		: 2666.787
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		: 2666.787
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.90
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		: 2666.787
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	: 5298.57
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		: 2666.787
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		: 2666.787
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:        30900524 kB
Buffers:          393368 kB
Cached:           640344 kB
SwapCached:            0 kB
Active:           737324 kB
Inactive:         398820 kB
Active(anon):      93448 kB
Inactive(anon):    11300 kB
Active(file):     643876 kB
Inactive(file):   387520 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             13652 kB
Writeback:             0 kB
AnonPages:        195840 kB
Mapped:            17756 kB
Shmem:               200 kB
Slab:             697844 kB
SReclaimable:     140208 kB
SUnreclaim:       557636 kB
KernelStack:        1472 kB
PageTables:         4420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     217520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    165888 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= 71636 MiB
End job on node143 at 2012-05-28 12:34:32