Trace number 2705438

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
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solverOPTIMUM 24.3013 24.3006

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_45_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM6dc14d51c0879b2054c8b72501c6facc
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark0.201968
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3600
Total number of constraints170
Number of soft constraints170
Number of constraints which are clauses90
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint45
Top cost 7974
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 7973
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
Number of bits of the biggest sum of numbers6
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 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
0.00/0.00	c Copyright (c) 2002-2010 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-2705438-1278576554.wbo>
0.00/0.01	c original problem has 3940 variables (3770 bin, 0 int, 170 impl, 0 cont) and 341 constraints
0.00/0.01	c problem read
0.00/0.01	c presolving settings loaded
0.00/0.02	o 7973
0.00/0.02	c feasible solution found by trivial heuristic, objective value  7.973000e+03
0.00/0.02	c presolving:
0.00/0.03	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03	c (round 2) 0 del vars, 1 del conss, 170 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.04	c    (0.0s) probing: 101/3770 (2.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04	c    (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04	c presolving (3 rounds):
0.00/0.04	c  0 deleted vars, 1 deleted constraints, 170 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04	c  260 implications, 0 cliques
0.00/0.04	c presolved problem has 3940 variables (3770 bin, 0 int, 170 impl, 0 cont) and 340 constraints
0.00/0.04	c     170 constraints of type <linear>
0.00/0.04	c     170 constraints of type <indicator>
0.00/0.04	c transformed objective value is always integral (scale: 1)
0.00/0.04	c Presolving Time: 0.02
0.00/0.04	c - non default parameters ----------------------------------------------------------------------
0.00/0.04	c # SCIP version 1.2.1.3
0.00/0.04	c 
0.00/0.04	c # frequency for displaying node information lines
0.00/0.04	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04	c display/freq = 10000
0.00/0.04	c 
0.00/0.04	c # maximal time in seconds to run
0.00/0.04	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04	c limits/time = 1789.99
0.00/0.04	c 
0.00/0.04	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04	c limits/memory = 3420
0.00/0.04	c 
0.00/0.04	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.04	c # [type: int, range: [1,2], default: 1]
0.00/0.04	c timing/clocktype = 2
0.00/0.04	c 
0.00/0.04	c # should presolving try to simplify inequalities
0.00/0.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04	c constraints/linear/simplifyinequalities = TRUE
0.00/0.04	c 
0.00/0.04	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04	c constraints/indicator/addCouplingCons = TRUE
0.00/0.04	c 
0.00/0.04	c # should presolving try to simplify knapsacks
0.00/0.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04	c 
0.00/0.04	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04	c separating/rapidlearning/freq = 0
0.00/0.04	c 
0.00/0.04	c -----------------------------------------------------------------------------------------------
0.00/0.04	c start solving
0.00/0.04	c 
0.00/0.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.05	c t 0.0s|     1 |     0 |     0 |     - |8443k|   0 |   0 |3940 | 340 |3940 |   0 |   0 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.09/0.15	c   0.1s|     1 |     0 |    90 |     - |8912k|   0 |   0 |3940 | 340 |3940 |  90 |  90 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.09/0.15	c   0.1s|     1 |     0 |   178 |     - |8915k|   0 |   0 |3940 | 340 |3940 |  92 |  92 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.09/0.16	c   0.1s|     1 |     0 |   264 |     - |8918k|   0 |   0 |3940 | 340 |3940 |  94 |  94 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.09/0.16	c   0.2s|     1 |     0 |   348 |     - |8921k|   0 |   0 |3940 | 340 |3940 |  96 |  96 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.09/0.17	c   0.2s|     1 |     0 |   430 |     - |8924k|   0 |   0 |3940 | 340 |3940 |  98 |  98 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.09/0.17	c   0.2s|     1 |     0 |   510 |     - |8926k|   0 |   0 |3940 | 340 |3940 | 100 | 100 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.09/0.18	c   0.2s|     1 |     0 |   588 |     - |8929k|   0 |   0 |3940 | 340 |3940 | 102 | 102 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.09/0.18	c   0.2s|     1 |     0 |   664 |     - |8932k|   0 |   0 |3940 | 340 |3940 | 104 | 104 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.09/0.19	c   0.2s|     1 |     0 |   738 |     - |8935k|   0 |   0 |3940 | 340 |3940 | 106 | 106 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.09/0.19	c   0.2s|     1 |     0 |   810 |     - |8938k|   0 |   0 |3940 | 340 |3940 | 108 | 108 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.09/0.20	c   0.2s|     1 |     0 |   880 |     - |8941k|   0 |   0 |3940 | 340 |3940 | 110 | 110 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.19/0.20	c   0.2s|     1 |     0 |   948 |     - |8944k|   0 |   0 |3940 | 340 |3940 | 112 | 112 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.19/0.20	c   0.2s|     1 |     0 |  1014 |     - |8947k|   0 |   0 |3940 | 340 |3940 | 114 | 114 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.19/0.21	c   0.2s|     1 |     0 |  1078 |     - |8950k|   0 |   0 |3940 | 340 |3940 | 116 | 116 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.19/0.21	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.19/0.21	c   0.2s|     1 |     0 |  1140 |     - |8953k|   0 |   0 |3940 | 340 |3940 | 118 | 118 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.19/0.21	c   0.2s|     1 |     0 |  1200 |     - |8955k|   0 |   0 |3940 | 340 |3940 | 120 | 120 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.19/0.22	c   0.2s|     1 |     0 |  1258 |     - |8958k|   0 |   0 |3940 | 340 |3940 | 122 | 122 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.19/0.22	c   0.2s|     1 |     0 |  1314 |     - |8961k|   0 |   0 |3940 | 340 |3940 | 124 | 124 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.19/0.23	c   0.2s|     1 |     0 |  1368 |     - |8964k|   0 |   0 |3940 | 340 |3940 | 126 | 126 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.19/0.23	c   0.2s|     1 |     0 |  1420 |     - |8967k|   0 |   0 |3940 | 340 |3940 | 128 | 128 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.19/0.23	c   0.2s|     1 |     0 |  1470 |     - |8970k|   0 |   0 |3940 | 340 |3940 | 130 | 130 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.19/0.24	c   0.2s|     1 |     0 |  1518 |     - |8973k|   0 |   0 |3940 | 340 |3940 | 132 | 132 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.19/0.24	c   0.2s|     1 |     0 |  1564 |     - |8976k|   0 |   0 |3940 | 340 |3940 | 134 | 134 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.19/0.24	c   0.2s|     1 |     0 |  1608 |     - |8979k|   0 |   0 |3940 | 340 |3940 | 136 | 136 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.19/0.24	c   0.2s|     1 |     0 |  1650 |     - |8981k|   0 |   0 |3940 | 340 |3940 | 138 | 138 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.19/0.25	c   0.2s|     1 |     0 |  1690 |     - |8984k|   0 |   0 |3940 | 340 |3940 | 140 | 140 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.19/0.25	c   0.2s|     1 |     0 |  1728 |     - |8987k|   0 |   0 |3940 | 340 |3940 | 142 | 142 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.19/0.25	c   0.2s|     1 |     0 |  1764 |     - |8990k|   0 |   0 |3940 | 340 |3940 | 144 | 144 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.19/0.25	c   0.2s|     1 |     0 |  1798 |     - |8993k|   0 |   0 |3940 | 340 |3940 | 146 | 146 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.19/0.26	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.19/0.26	c   0.2s|     1 |     0 |  1830 |     - |8996k|   0 |   0 |3940 | 340 |3940 | 148 | 148 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.19/0.26	c   0.2s|     1 |     0 |  1860 |     - |8999k|   0 |   0 |3940 | 340 |3940 | 150 | 150 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.19/0.26	c   0.3s|     1 |     0 |  1888 |     - |9002k|   0 |   0 |3940 | 340 |3940 | 152 | 152 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.19/0.26	c   0.3s|     1 |     0 |  1914 |     - |9005k|   0 |   0 |3940 | 340 |3940 | 154 | 154 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.19/0.27	c   0.3s|     1 |     0 |  1938 |     - |9008k|   0 |   0 |3940 | 340 |3940 | 156 | 156 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.19/0.27	c   0.3s|     1 |     0 |  1960 |     - |9010k|   0 |   0 |3940 | 340 |3940 | 158 | 158 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.19/0.27	c   0.3s|     1 |     0 |  1980 |     - |9013k|   0 |   0 |3940 | 340 |3940 | 160 | 160 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.19/0.27	c   0.3s|     1 |     0 |  1998 |     - |9016k|   0 |   0 |3940 | 340 |3940 | 162 | 162 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.19/0.27	c   0.3s|     1 |     0 |  2014 |     - |9019k|   0 |   0 |3940 | 340 |3940 | 164 | 164 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.19/0.27	c   0.3s|     1 |     0 |  2028 |     - |9022k|   0 |   0 |3940 | 340 |3940 | 166 | 166 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.19/0.28	c   0.3s|     1 |     0 |  2040 |     - |9025k|   0 |   0 |3940 | 340 |3940 | 168 | 168 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.19/0.28	c   0.3s|     1 |     0 |  2121 |     - |9028k|   0 |   0 |3940 | 340 |3940 | 170 | 170 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
0.19/0.28	c   0.3s|     1 |     2 |  2121 |     - |9028k|   0 |   0 |3940 | 340 |3940 | 170 | 170 |   0 |   0 | 0.000000e+00 | 7.973000e+03 |    Inf 
2.29/2.35	o 479
2.29/2.35	c * 2.3s|  2617 |  2614 |  2575 |   0.2 |  14M|1545 |   - |3940 | 350 |3940 | 170 | 170 |  10 |   0 | 0.000000e+00 | 4.790000e+02 |    Inf 
8.70/8.79	c   8.8s| 10000 |  9867 |  5621 |   0.4 |  29M|1545 |   0 |3940 | 453 |3940 | 170 | 170 | 122 |   0 | 0.000000e+00 | 4.790000e+02 |    Inf 
17.09/17.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
17.09/17.18	c  17.2s| 20000 | 19661 |  9478 |   0.4 |  50M|1545 |   0 |3940 | 816 |3940 | 170 | 170 | 693 |   0 | 0.000000e+00 | 4.790000e+02 |    Inf 
18.19/18.22	o 369
18.19/18.22	c *18.2s| 21292 | 20064 |  9875 |   0.4 |  51M|1545 |   - |3940 | 858 |3940 | 170 | 170 | 803 |   0 | 0.000000e+00 | 3.690000e+02 |    Inf 
19.70/19.77	o 273
19.70/19.77	c *19.8s| 22704 | 17743 | 13094 |   0.5 |  47M|1545 |   - |3940 |1074 |3940 | 170 | 170 |1237 |   0 | 0.000000e+00 | 2.730000e+02 |    Inf 
20.40/20.45	o 197
20.40/20.45	c *20.4s| 23312 |  9005 | 15335 |   0.6 |  32M|1545 |   - |3940 |1077 |3940 | 170 | 170 |1331 |   0 | 0.000000e+00 | 1.970000e+02 |    Inf 
20.49/20.51	o 191
20.49/20.51	c *20.5s| 23366 |  9017 | 15639 |   0.6 |  32M|1545 |   - |3940 |1078 |3940 | 170 | 170 |1336 |   0 | 0.000000e+00 | 1.910000e+02 |    Inf 
20.59/20.61	o 155
20.59/20.61	c *20.6s| 23453 |  8165 | 16066 |   0.6 |  30M|1545 |   - |3940 |1071 |3940 | 170 | 170 |1360 |   0 | 0.000000e+00 | 1.550000e+02 |    Inf 
23.29/23.33	o 147
23.29/23.33	c *23.3s| 25703 |  9679 | 25958 |   0.9 |  32M|1545 |   - |3940 | 805 |3940 | 170 | 170 |2636 |   0 | 0.000000e+00 | 1.470000e+02 |    Inf 
23.29/23.38	o 142
23.29/23.38	c *23.4s| 25748 |  9633 | 26115 |   0.9 |  32M|1545 |   - |3940 | 796 |3940 | 170 | 170 |2639 |   0 | 0.000000e+00 | 1.420000e+02 |    Inf 
23.40/23.48	o 104
23.40/23.48	c *23.5s| 25845 |  8704 | 26281 |   0.9 |  30M|1545 |   - |3940 | 796 |3940 | 170 | 170 |2641 |   0 | 0.000000e+00 | 1.040000e+02 |    Inf 
23.50/23.54	o 101
23.50/23.54	c *23.5s| 25900 |  7728 | 26500 |   0.9 |  29M|1545 |   - |3940 | 787 |3940 | 170 | 170 |2641 |   0 | 0.000000e+00 | 1.010000e+02 |    Inf 
23.59/23.65	o 100
23.59/23.65	c *23.6s| 25983 |  7783 | 26930 |   1.0 |  29M|1545 |   - |3940 | 738 |3940 | 170 | 170 |2652 |   0 | 0.000000e+00 | 1.000000e+02 |    Inf 
23.59/23.67	o 87
23.59/23.67	c *23.7s| 25994 |  6984 | 26949 |   1.0 |  28M|1545 |   - |3940 | 738 |3940 | 170 | 170 |2652 |   0 | 0.000000e+00 | 8.700000e+01 |    Inf 
23.69/23.71	o 84
23.69/23.71	c *23.7s| 26028 |  6793 | 27236 |   1.0 |  27M|1545 |   - |3940 | 674 |3940 | 170 | 170 |2654 |   0 | 0.000000e+00 | 8.400000e+01 |    Inf 
23.79/23.82	o 60
23.79/23.82	c *23.8s| 26128 |  5572 | 27492 |   1.0 |  25M|1545 |   - |3940 | 638 |3940 | 170 | 170 |2654 |   0 | 0.000000e+00 | 6.000000e+01 |    Inf 
23.79/23.88	o 59
23.79/23.88	c *23.9s| 26181 |  5587 | 27738 |   1.0 |  25M|1545 |   - |3940 | 591 |3940 | 170 | 170 |2654 |   0 | 0.000000e+00 | 5.900000e+01 |    Inf 
23.79/23.89	o 57
23.79/23.89	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
23.79/23.89	c *23.9s| 26183 |  5500 | 27797 |   1.0 |  25M|1545 |   - |3940 | 574 |3940 | 170 | 170 |2654 |   0 | 0.000000e+00 | 5.700000e+01 |    Inf 
23.89/23.91	o 52
23.89/23.91	c *23.9s| 26197 |  5382 | 27816 |   1.0 |  25M|1545 |   - |3940 | 567 |3940 | 170 | 170 |2654 |   0 | 0.000000e+00 | 5.200000e+01 |    Inf 
23.89/23.91	o 50
23.89/23.91	c *23.9s| 26198 |  5223 | 27820 |   1.0 |  25M|1545 |   - |3940 | 567 |3940 | 170 | 170 |2654 |   0 | 0.000000e+00 | 5.000000e+01 |    Inf 
23.99/24.00	o 37
23.99/24.00	c *24.0s| 26282 |  4338 | 28117 |   1.0 |  23M|1545 |   - |3940 | 548 |3940 | 170 | 170 |2654 |   0 | 0.000000e+00 | 3.700000e+01 |    Inf 
23.99/24.06	o 36
23.99/24.06	c *24.1s| 26333 |  4349 | 28346 |   1.0 |  23M|1545 |   - |3940 | 496 |3940 | 170 | 170 |2654 |   0 | 0.000000e+00 | 3.600000e+01 |    Inf 
23.99/24.09	o 32
23.99/24.09	c *24.1s| 26349 |  3318 | 28396 |   1.0 |  22M|1545 |   - |3940 | 489 |3940 | 170 | 170 |2654 |   0 | 0.000000e+00 | 3.200000e+01 |    Inf 
23.99/24.09	o 30
23.99/24.09	c *24.1s| 26350 |  3228 | 28396 |   1.0 |  22M|1545 |   - |3940 | 489 |3940 | 170 | 170 |2654 |   0 | 0.000000e+00 | 3.000000e+01 |    Inf 
24.10/24.16	o 27
24.10/24.16	c *24.2s| 26400 |  3072 | 28565 |   1.0 |  21M|1545 |   - |3940 | 425 |3940 | 170 | 170 |2664 |   0 | 0.000000e+00 | 2.700000e+01 |    Inf 
24.10/24.18	o 24
24.10/24.18	c *24.2s| 26415 |  2956 | 28582 |   1.0 |  21M|1545 |   - |3940 | 405 |3940 | 170 | 170 |2664 |   0 | 0.000000e+00 | 2.400000e+01 |    Inf 
24.20/24.24	o 5
24.20/24.24	c *24.2s| 26466 |  2040 | 28809 |   1.0 |  20M|1545 |   - |3940 | 379 |3940 | 170 | 170 |2664 |   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
24.20/24.26	o 4
24.20/24.26	c *24.2s| 26475 |  2045 | 28868 |   1.0 |  20M|1545 |   - |3940 | 317 |3940 | 170 | 170 |2664 |   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
24.20/24.28	c 
24.20/24.28	c SCIP Status        : problem is solved [optimal solution found]
24.20/24.28	c Solving Time (sec) : 24.27
24.20/24.28	c Solving Nodes      : 26479
24.20/24.28	c Primal Bound       : +4.00000000000000e+00 (127 solutions)
24.20/24.28	c Dual Bound         : +4.00000000000000e+00
24.20/24.28	c Gap                : 0.00 %
24.20/24.28	s OPTIMUM FOUND
24.20/24.28	v -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 
24.20/24.28	v -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 
24.20/24.28	v -x3564 -x3563 -x3562 x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 
24.20/24.28	v -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 
24.20/24.28	v -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 
24.20/24.28	v -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 x3493 
24.20/24.28	v -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 
24.20/24.28	v -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 
24.20/24.28	v -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 x3442 -x3441 -x3440 -x3439 
24.20/24.28	v -x3438 -x3437 -x3436 x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 
24.20/24.28	v -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 
24.20/24.28	v -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 
24.20/24.28	v -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 
24.20/24.28	v -x3366 -x3365 x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 
24.20/24.28	v -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 
24.20/24.28	v -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 
24.20/24.28	v -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 
24.20/24.28	v -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 x3282 -x3281 -x3280 -x3279 -x3278 
24.20/24.28	v -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 
24.20/24.28	v -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 x3246 -x3245 -x3244 -x3243 -x3242 
24.20/24.28	v -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 
24.20/24.28	v -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 x3207 -x3206 
24.20/24.28	v -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 
24.20/24.28	v -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 
24.20/24.28	v -x3169 x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 
24.20/24.28	v -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 
24.20/24.28	v -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 
24.20/24.28	v -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 
24.20/24.28	v -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 
24.20/24.28	v -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 
24.20/24.28	v -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 x3045 
24.20/24.28	v -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 
24.20/24.28	v -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 x3013 -x3012 -x3011 -x3010 -x3009 
24.20/24.28	v -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 
24.20/24.28	v -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 
24.20/24.28	v -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 
24.20/24.28	v -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 
24.20/24.28	v -x2936 -x2935 -x2934 -x2933 -x2932 x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 
24.20/24.28	v -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 
24.20/24.28	v -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 
24.20/24.28	v -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 
24.20/24.28	v -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 
24.20/24.28	v x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 
24.20/24.28	v -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 
24.20/24.28	v -x2811 -x2810 -x2809 x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 
24.20/24.28	v -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 
24.20/24.28	v -x2775 -x2774 x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 
24.20/24.28	v -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 
24.20/24.28	v -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 
24.20/24.28	v -x2721 -x2720 -x2719 -x2718 x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 
24.20/24.28	v -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 
24.20/24.28	v -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 
24.20/24.28	v -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 x2655 -x2654 -x2653 -x2652 -x2651 -x2650 
24.20/24.28	v -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 
24.20/24.28	v -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 
24.20/24.28	v -x2614 -x2613 -x2612 -x2611 x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 
24.20/24.28	v -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 
24.20/24.28	v -x2578 -x2577 x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 
24.20/24.28	v -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 
24.20/24.28	v -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 
24.20/24.28	v -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 
24.20/24.28	v -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 
24.20/24.28	v -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 
24.20/24.28	v -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 x2458 -x2457 -x2456 -x2455 -x2454 -x2453 
24.20/24.28	v -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 
24.20/24.28	v -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 x2419 -x2418 -x2417 
24.20/24.28	v -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 
24.20/24.28	v -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 
24.20/24.28	v -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 
24.20/24.28	v -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 
24.20/24.28	v -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 x2333 -x2332 -x2331 -x2330 -x2329 -x2328 
24.20/24.28	v -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 
24.20/24.28	v -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 
24.20/24.28	v -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 x2277 -x2276 -x2275 -x2274 
24.20/24.28	v -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 
24.20/24.28	v -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 
24.20/24.28	v -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 x2221 -x2220 
24.20/24.28	v -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 
24.20/24.28	v -x2201 -x2200 -x2199 -x2198 x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 
24.20/24.28	v -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 
24.20/24.28	v -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 
24.20/24.28	v -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 x2136 -x2135 -x2134 -x2133 -x2132 -x2131 
24.20/24.28	v -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 
24.20/24.28	v -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 
24.20/24.28	v -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 
24.20/24.28	v -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 
24.20/24.28	v -x2058 x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 
24.20/24.28	v -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 
24.20/24.28	v -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 
24.20/24.28	v -x2004 x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 
24.20/24.28	v -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 
24.20/24.28	v -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 
24.20/24.28	v -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 
24.20/24.28	v -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 x1917 -x1916 
24.20/24.28	v -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 
24.20/24.28	v -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 
24.20/24.28	v -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 
24.20/24.28	v -x1861 x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 
24.20/24.28	v -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 
24.20/24.28	v x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 
24.20/24.28	v -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 
24.20/24.28	v -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 
24.20/24.28	v -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 
24.20/24.28	v -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 
24.20/24.28	v -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 
24.20/24.28	v -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 x1702 -x1701 
24.20/24.28	v -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 
24.20/24.28	v -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 
24.20/24.28	v -x1664 x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 
24.20/24.28	v -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 
24.20/24.28	v -x1628 -x1627 -x1626 -x1625 x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 
24.20/24.28	v -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 
24.20/24.28	v -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 
24.20/24.28	v -x1574 -x1573 -x1572 -x1571 -x1570 x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 
24.20/24.28	v -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 
24.20/24.28	v -x1538 -x1537 -x1536 -x1535 x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 
24.20/24.28	v -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 x1505 -x1504 -x1503 
24.20/24.28	v -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 
24.20/24.28	v -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 
24.20/24.28	v x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 
24.20/24.28	v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 
24.20/24.28	v -x1431 -x1430 x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 
24.20/24.28	v -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 
24.20/24.28	v -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 
24.20/24.28	v -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 
24.20/24.28	v -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 x1347 -x1346 -x1345 -x1344 -x1343 -x1342 
24.20/24.28	v -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 
24.20/24.28	v -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 
24.20/24.28	v -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 x1290 -x1289 -x1288 
24.20/24.28	v -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 
24.20/24.28	v -x1270 -x1269 x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 
24.20/24.28	v -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 
24.20/24.28	v -x1234 -x1233 -x1232 x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 
24.20/24.28	v -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 
24.20/24.28	v -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 
24.20/24.28	v -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 
24.20/24.28	v -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 x1150 -x1149 -x1148 -x1147 -x1146 -x1145 
24.20/24.28	v -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 
24.20/24.28	v -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 x1111 -x1110 -x1109 
24.20/24.28	v -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 
24.20/24.28	v -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 
24.20/24.28	v x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 
24.20/24.28	v -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 
24.20/24.28	v -x1037 -x1036 -x1035 -x1034 x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 
24.20/24.28	v -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 
24.20/24.28	v -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 
24.20/24.28	v -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 
24.20/24.28	v -x959 -x958 -x957 -x956 -x955 x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 
24.20/24.28	v -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 
24.20/24.28	v -x917 x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 
24.20/24.28	v -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 
24.20/24.28	v -x876 -x875 -x874 x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 
24.20/24.28	v -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 x837 -x836 -x835 
24.20/24.28	v -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 
24.20/24.28	v -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 x794 -x793 
24.20/24.28	v -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 
24.20/24.28	v -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 x757 -x756 -x755 -x754 -x753 -x752 -x751 
24.20/24.28	v -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 
24.20/24.28	v -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 
24.20/24.28	v -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 
24.20/24.28	v -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 
24.20/24.28	v -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 
24.20/24.28	v -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 
24.20/24.28	v -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 
24.20/24.28	v -x604 -x603 -x602 -x601 -x600 -x599 -x598 x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 
24.20/24.28	v -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 
24.20/24.28	v -x562 -x561 -x560 x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 
24.20/24.28	v -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 
24.20/24.28	v -x520 -x519 x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 
24.20/24.28	v -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 x479 
24.20/24.28	v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 
24.20/24.28	v -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 
24.20/24.28	v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 
24.20/24.28	v -x415 -x414 x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 
24.20/24.28	v -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 x375 -x374 
24.20/24.28	v -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 
24.20/24.28	v -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 
24.20/24.28	v -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 
24.20/24.28	v -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 x294 -x293 -x292 -x291 
24.20/24.28	v -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 
24.20/24.28	v -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 
24.20/24.28	v -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 x228 
24.20/24.28	v -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 
24.20/24.28	v -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 
24.20/24.28	v -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 
24.20/24.28	v -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 
24.20/24.28	v x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 
24.20/24.28	v -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 
24.20/24.28	v -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 
24.20/24.28	v -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 
24.20/24.28	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 
24.20/24.28	v -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2 -x1 
24.20/24.28	c SCIP Status        : problem is solved [optimal solution found]
24.20/24.28	c Solving Time       :      24.27
24.20/24.28	c Original Problem   :
24.20/24.28	c   Problem name     : HOME/instance-2705438-1278576554.wbo
24.20/24.28	c   Variables        : 3940 (3770 binary, 0 integer, 170 implicit integer, 0 continuous)
24.20/24.28	c   Constraints      : 341 initial, 341 maximal
24.20/24.28	c Presolved Problem  :
24.20/24.28	c   Problem name     : t_HOME/instance-2705438-1278576554.wbo
24.20/24.28	c   Variables        : 3940 (3770 binary, 0 integer, 170 implicit integer, 0 continuous)
24.20/24.28	c   Constraints      : 340 initial, 1083 maximal
24.20/24.28	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
24.20/24.28	c   trivial          :       0.00          0          0          0          0          0          0          0          0
24.20/24.28	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
24.20/24.28	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
24.20/24.28	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
24.20/24.28	c   implics          :       0.00          0          0          0          0          0          0          0          0
24.20/24.28	c   probing          :       0.01          0          0          0          0          0          0          0          0
24.20/24.28	c   linear           :       0.00          0          0          0        170          0          1          0          0
24.20/24.28	c   indicator        :       0.00          0          0          0          0          0          0          0          0
24.20/24.28	c   logicor          :       0.00          0          0          0          0          0          0          0          0
24.20/24.28	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
24.20/24.28	c   root node        :          -        341          -          -        342          -          -          -          -
24.20/24.28	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
24.20/24.28	c   integral         :          0          0          0      25873          0          0          0          0          0          0
24.20/24.28	c   linear           :        170         42      39669      25871          0          3     136948        170          0          0
24.20/24.28	c   indicator        :        170          0      39437      25862          0         25       9887          0          0          0
24.20/24.28	c   logicor          :          0+         0        238          0          0          2         10          0          0          0
24.20/24.28	c   bounddisjunction :          0+         0       4295          0          0         34       1293          0          0          0
24.20/24.28	c   countsols        :          0          0          0      25873          0          0          0          0          0          0
24.20/24.28	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
24.20/24.28	c   integral         :       0.01       0.00       0.00       0.01       0.00
24.20/24.28	c   linear           :       0.43       0.00       0.38       0.04       0.00
24.20/24.28	c   indicator        :       0.12       0.00       0.05       0.07       0.00
24.20/24.28	c   logicor          :       0.00       0.00       0.00       0.00       0.00
24.20/24.28	c   bounddisjunction :       0.26       0.00       0.26       0.00       0.00
24.20/24.28	c   countsols        :       0.00       0.00       0.00       0.00       0.00
24.20/24.28	c Propagators        :       Time      Calls    Cutoffs    DomReds
24.20/24.28	c   vbounds          :       0.03       2329          0       2404
24.20/24.28	c   rootredcost      :       0.01         26          0        161
24.20/24.28	c   pseudoobj        :       0.16      39488         16       2465
24.20/24.28	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
24.20/24.28	c   propagation      :       0.05         55         55        473      337.3          0        0.0          -
24.20/24.28	c   infeasible LP    :       0.44        547        547       2977      210.0          1       89.0          0
24.20/24.28	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
24.20/24.28	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
24.20/24.28	c   pseudo solution  :       0.01          6          6         61      295.6          0        0.0          -
24.20/24.28	c   applied globally :          -          -          -       2671      186.9          -          -          -
24.20/24.28	c   applied locally  :          -          -          -          1      393.0          -          -          -
24.20/24.28	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
24.20/24.28	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
24.20/24.28	c   redcost          :       1.63      26049          0       1224          0          0
24.20/24.28	c   impliedbounds    :       0.00          0          0          0          0          0
24.20/24.28	c   intobj           :       0.00          0          0          0          0          0
24.20/24.28	c   cgmip            :       0.00          0          0          0          0          0
24.20/24.28	c   gomory           :       0.00          0          0          0          0          0
24.20/24.28	c   strongcg         :       0.00          0          0          0          0          0
24.20/24.28	c   cmir             :       0.00          0          0          0          0          0
24.20/24.28	c   flowcover        :       0.00          0          0          0          0          0
24.20/24.28	c   clique           :       0.00          0          0          0          0          0
24.20/24.28	c   zerohalf         :       0.00          0          0          0          0          0
24.20/24.28	c   mcf              :       0.00          0          0          0          0          0
24.20/24.28	c   rapidlearning    :       0.10          1          0          0          0          0
24.20/24.28	c Pricers            :       Time      Calls       Vars
24.20/24.28	c   problem variables:       0.00          0          0
24.20/24.28	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
24.20/24.28	c   relpscost        :       0.00          0          0          0          0          0          0
24.20/24.28	c   pscost           :       0.00          0          0          0          0          0          0
24.20/24.28	c   inference        :       3.78      25847          0          0          0          0      51694
24.20/24.28	c   mostinf          :       0.00          0          0          0          0          0          0
24.20/24.28	c   leastinf         :       0.00          0          0          0          0          0          0
24.20/24.28	c   fullstrong       :       0.00          0          0          0          0          0          0
24.20/24.28	c   allfullstrong    :       0.00          0          0          0          0          0          0
24.20/24.28	c   random           :       0.00          0          0          0          0          0          0
24.20/24.28	c Primal Heuristics  :       Time      Calls      Found
24.20/24.28	c   LP solutions     :       0.03          -         26
24.20/24.28	c   pseudo solutions :       0.00          -          0
24.20/24.28	c   feaspump         :       0.00          0          0
24.20/24.28	c   oneopt           :       0.07         23          0
24.20/24.28	c   crossover        :       0.25          8          2
24.20/24.28	c   guideddiving     :       0.05         97          0
24.20/24.28	c   linesearchdiving :       0.06        112          0
24.20/24.28	c   fracdiving       :       0.06        113          0
24.20/24.28	c   veclendiving     :       0.06        113          0
24.20/24.28	c   coefdiving       :       0.06        113          0
24.20/24.28	c   pscostdiving     :       0.06        113          0
24.20/24.28	c   objpscostdiving  :       0.06        113          0
24.20/24.28	c   rootsoldiving    :       0.07        113          0
24.20/24.28	c   trivial          :       0.01          2          3
24.20/24.28	c   simplerounding   :       0.01          0          0
24.20/24.28	c   zirounding       :       0.01          0          0
24.20/24.28	c   rounding         :       0.00          0          0
24.20/24.28	c   shifting         :       0.00          0          0
24.20/24.28	c   intshifting      :       0.00          0          0
24.20/24.28	c   twoopt           :       0.00          0          0
24.20/24.28	c   fixandinfer      :       0.00          0          0
24.20/24.28	c   intdiving        :       0.00          0          0
24.20/24.28	c   actconsdiving    :       0.00          0          0
24.20/24.28	c   octane           :       0.00          0          0
24.20/24.28	c   rens             :       0.00          0          0
24.20/24.28	c   rins             :       0.00          0          0
24.20/24.28	c   localbranching   :       0.00          0          0
24.20/24.28	c   mutation         :       0.00          0          0
24.20/24.28	c   dins             :       0.00          0          0
24.20/24.28	c   undercover       :       0.00          0          0
24.20/24.28	c   nlp              :       0.00          0          0
24.20/24.28	c   trysol           :       0.08        140         96
24.20/24.28	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
24.20/24.28	c   primal LP        :       0.00          0          0       0.00          -
24.20/24.28	c   dual LP          :       9.72       2635      28744      10.91    2957.15
24.20/24.28	c   lex dual LP      :       0.00          0          0       0.00          -
24.20/24.28	c   barrier LP       :       0.00          0          0       0.00          -
24.20/24.28	c   diving/probing LP:       0.03         23        261      11.35    9083.63
24.20/24.28	c   strong branching :       0.00          0          0       0.00          -
24.20/24.28	c     (at root node) :          -          0          0       0.00          -
24.20/24.28	c   conflict analysis:       0.00          0          0       0.00          -
24.20/24.28	c B&B Tree           :
24.20/24.28	c   number of runs   :          1
24.20/24.28	c   nodes            :      26479
24.20/24.28	c   nodes (total)    :      26479
24.20/24.28	c   nodes left       :          0
24.20/24.28	c   max depth        :       1545
24.20/24.28	c   max depth (total):       1545
24.20/24.28	c   backtracks       :        303 (1.1%)
24.20/24.28	c   delayed cutoffs  :       2068
24.20/24.28	c   repropagations   :       5175 (5505 domain reductions, 27 cutoffs)
24.20/24.28	c   avg switch length:       4.75
24.20/24.28	c   switching time   :       1.07
24.20/24.28	c Solution           :
24.20/24.28	c   Solutions found  :        127 (27 improvements)
24.20/24.28	c   First Solution   : +7.97300000000000e+03   (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
24.20/24.28	c   Primal Bound     : +4.00000000000000e+00   (in run 1, after 26475 nodes, 24.25 seconds, depth 55, found by <relaxation>)
24.20/24.28	c   Dual Bound       : +4.00000000000000e+00
24.20/24.28	c   Gap              :       0.00 %
24.20/24.28	c   Root Dual Bound  : +0.00000000000000e+00
24.20/24.28	c   Root Iterations  :       2121
24.20/24.30	c Time complete: 24.29.

Verifier Data 

OK	4

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705438-1278576554/watcher-2705438-1278576554 -o /tmp/evaluation-result-2705438-1278576554/solver-2705438-1278576554 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705438-1278576554.wbo -t 1800 -m 3800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 21984
/proc/meminfo: memFree=29824588/32951124 swapFree=67111528/67111528
[pid=21984] ppid=21982 vsize=12824 CPUtime=0
/proc/21984/stat : 21984 (pbscip.linux.x8) R 21982 21984 21566 0 -1 4202496 2040 0 0 0 0 0 0 0 21 0 1 0 25867665 13131776 1959 4089446400 4194304 10345943 140736201027760 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21984/statm: 3206 1959 429 1502 0 1699 0

[startup+0.077567 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 21984
/proc/meminfo: memFree=29824588/32951124 swapFree=67111528/67111528
[pid=21984] ppid=21982 vsize=48160 CPUtime=0.06
/proc/21984/stat : 21984 (pbscip.linux.x8) R 21982 21984 21566 0 -1 4202496 10863 0 0 0 6 0 0 0 21 0 1 0 25867665 49315840 10428 4089446400 4194304 10345943 140736201027760 18446744073709551615 9186026 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21984/statm: 12040 10428 632 1502 0 10533 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 48160

[startup+0.100567 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 21984
/proc/meminfo: memFree=29824588/32951124 swapFree=67111528/67111528
[pid=21984] ppid=21982 vsize=48352 CPUtime=0.09
/proc/21984/stat : 21984 (pbscip.linux.x8) R 21982 21984 21566 0 -1 4202496 10926 0 0 0 8 1 0 0 21 0 1 0 25867665 49512448 10491 4089446400 4194304 10345943 140736201027760 18446744073709551615 9186026 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21984/statm: 12088 10491 632 1502 0 10581 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 48352

[startup+0.300523 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 21984
/proc/meminfo: memFree=29824588/32951124 swapFree=67111528/67111528
[pid=21984] ppid=21982 vsize=44704 CPUtime=0.29
/proc/21984/stat : 21984 (pbscip.linux.x8) R 21982 21984 21566 0 -1 4202496 11073 0 0 0 27 2 0 0 21 0 1 0 25867665 45776896 9959 4089446400 4194304 10345943 140736201027760 18446744073709551615 8160414 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21984/statm: 11176 9959 710 1502 0 9669 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44704

[startup+0.700451 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 21984
/proc/meminfo: memFree=29824588/32951124 swapFree=67111528/67111528
[pid=21984] ppid=21982 vsize=44704 CPUtime=0.69
/proc/21984/stat : 21984 (pbscip.linux.x8) R 21982 21984 21566 0 -1 4202496 11077 0 0 0 67 2 0 0 22 0 1 0 25867665 45776896 9963 4089446400 4194304 10345943 140736201027760 18446744073709551615 6119827 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21984/statm: 11176 9963 711 1502 0 9669 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44704

[startup+1.50031 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 21985
/proc/meminfo: memFree=29786884/32951124 swapFree=67111528/67111528
[pid=21984] ppid=21982 vsize=44704 CPUtime=1.49
/proc/21984/stat : 21984 (pbscip.linux.x8) R 21982 21984 21566 0 -1 4202496 11081 0 0 0 147 2 0 0 25 0 1 0 25867665 45776896 9967 4089446400 4194304 10345943 140736201027760 18446744073709551615 8160417 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21984/statm: 11176 9967 711 1502 0 9669 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44704

[startup+3.10102 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 21985
/proc/meminfo: memFree=29786388/32951124 swapFree=67111528/67111528
[pid=21984] ppid=21982 vsize=45740 CPUtime=3.09
/proc/21984/stat : 21984 (pbscip.linux.x8) R 21982 21984 21566 0 -1 4202496 15491 0 0 0 307 2 0 0 25 0 1 0 25867665 46837760 10265 4089446400 4194304 10345943 140736201027760 18446744073709551615 6557307 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21984/statm: 11435 10265 720 1502 0 9928 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45740

[startup+6.30045 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 21985
/proc/meminfo: memFree=29784436/32951124 swapFree=67111528/67111528
[pid=21984] ppid=21982 vsize=50780 CPUtime=6.29
/proc/21984/stat : 21984 (pbscip.linux.x8) R 21982 21984 21566 0 -1 4202496 19141 0 0 0 625 4 0 0 25 0 1 0 25867665 51998720 11034 4089446400 4194304 10345943 140736201027760 18446744073709551615 6119562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21984/statm: 12695 11034 720 1502 0 11188 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50780

[startup+12.7003 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 21986
/proc/meminfo: memFree=29718188/32951124 swapFree=67111528/67111528
[pid=21984] ppid=21982 vsize=71456 CPUtime=12.69
/proc/21984/stat : 21984 (pbscip.linux.x8) R 21982 21984 21566 0 -1 4202496 24564 0 0 0 1264 5 0 0 25 0 1 0 25867665 73170944 16457 4089446400 4194304 10345943 140736201027760 18446744073709551615 6307558 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21984/statm: 17864 16457 720 1502 0 16357 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 71456

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

[startup+19.1002 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 21986
/proc/meminfo: memFree=29698108/32951124 swapFree=67111528/67111528
[pid=21984] ppid=21982 vsize=83076 CPUtime=19.09
/proc/21984/stat : 21984 (pbscip.linux.x8) R 21982 21984 21566 0 -1 4202496 37301 0 0 0 1901 8 0 0 25 0 1 0 25867665 85069824 19268 4089446400 4194304 10345943 140736201027760 18446744073709551615 6870781 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21984/statm: 20769 19268 720 1502 0 19262 0
Current children cumulated CPU time (s) 19.09
Current children cumulated vsize (KiB) 83076

[startup+22.3006 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 21986
/proc/meminfo: memFree=29688560/32951124 swapFree=67111528/67111528
[pid=21984] ppid=21982 vsize=84752 CPUtime=22.29
/proc/21984/stat : 21984 (pbscip.linux.x8) R 21982 21984 21566 0 -1 4202496 57236 0 0 0 2217 12 0 0 25 0 1 0 25867665 86786048 19893 4089446400 4194304 10345943 140736201027760 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21984/statm: 21188 19893 720 1502 0 19681 0
Current children cumulated CPU time (s) 22.29
Current children cumulated vsize (KiB) 84752

[startup+23.1064 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 21986
/proc/meminfo: memFree=29688188/32951124 swapFree=67111528/67111528
[pid=21984] ppid=21982 vsize=85756 CPUtime=23.09
/proc/21984/stat : 21984 (pbscip.linux.x8) R 21982 21984 21566 0 -1 4202496 57256 0 0 0 2297 12 0 0 25 0 1 0 25867665 87814144 19913 4089446400 4194304 10345943 140736201027760 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21984/statm: 21439 19913 720 1502 0 19932 0
Current children cumulated CPU time (s) 23.09
Current children cumulated vsize (KiB) 85756

[startup+23.9003 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 21986
/proc/meminfo: memFree=29688188/32951124 swapFree=67111528/67111528
[pid=21984] ppid=21982 vsize=86636 CPUtime=23.89
/proc/21984/stat : 21984 (pbscip.linux.x8) R 21982 21984 21566 0 -1 4202496 57424 0 0 0 2376 13 0 0 25 0 1 0 25867665 88715264 20081 4089446400 4194304 10345943 140736201027760 18446744073709551615 5505122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21984/statm: 21659 20081 721 1502 0 20152 0
Current children cumulated CPU time (s) 23.89
Current children cumulated vsize (KiB) 86636

[startup+24.3002 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 21986
/proc/meminfo: memFree=29683760/32951124 swapFree=67111528/67111528
[pid=21984] ppid=21982 vsize=8612 CPUtime=24.29
/proc/21984/stat : 21984 (pbscip.linux.x8) R 21982 21984 21566 0 -1 4202496 57444 0 0 0 2416 13 0 0 18 0 1 0 25867665 8818688 1298 4089446400 4194304 10345943 140736201027760 18446744073709551615 9192112 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21984/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 24.29
Current children cumulated vsize (KiB) 8612

Child status: 0
Real time (s): 24.3006
CPU time (s): 24.3013
CPU user time (s): 24.1623
CPU system time (s): 0.138978
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 95252

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

runsolver used 0.051992 second user time and 0.085986 second system time

The end

Launcher Data 

Begin job on node145 at 2010-07-08 10:09:14
IDJOB=2705438
IDBENCH=79149
IDSOLVER=1214
FILE ID=node145/2705438-1278576554
PBS_JOBID= 11240165
Free space on /tmp= 73596 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705438-1278576554/watcher-2705438-1278576554 -o /tmp/evaluation-result-2705438-1278576554/solver-2705438-1278576554 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705438-1278576554.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 6dc14d51c0879b2054c8b72501c6facc
RANDOM SEED=2178817

node145.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.859
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.859
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.859
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.859
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.859
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.859
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.859
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.859
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29825488 kB
Buffers:        161084 kB
Cached:        2559336 kB
SwapCached:          0 kB
Active:        1650932 kB
Inactive:      1323956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29825488 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           26808 kB
Writeback:           0 kB
AnonPages:      254180 kB
Mapped:          16848 kB
Slab:            86396 kB
PageTables:       5544 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   400180 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73584 MiB
End job on node145 at 2010-07-08 10:09:39