Trace number 2665477

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverSAT (TO)138 1800.25 1800.69

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-apex6.b.opb
MD5SUM06ffce7cc6d5515cfd76def90ae69d59
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark136
Best CPU time to get the best result obtained on this benchmark94.9286
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 136
Optimality of the best value was proved NO
Number of variables3098
Total number of constraints6012
Number of constraints which are clauses6012
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint386
Number of terms in the objective function 3098
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 3098
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 3098
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
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-2665477-1276591230.opb>
0.49/0.54	c original problem has 3098 variables (3098 bin, 0 int, 0 impl, 0 cont) and 6012 constraints
0.49/0.54	c problem read
0.49/0.54	c presolving settings loaded
0.69/0.72	o 3098
0.69/0.72	c feasible solution found by trivial heuristic, objective value  3.098000e+03
0.69/0.72	c presolving:
0.80/0.88	c (round 1) 26 del vars, 291 del conss, 26 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 24 impls, 0 clqs
1.40/1.45	c (round 2) 26 del vars, 1056 del conss, 26 chg bounds, 9 chg sides, 0 chg coeffs, 5531 upgd conss, 24 impls, 0 clqs
1.69/1.71	c (round 3) 31 del vars, 1209 del conss, 26 chg bounds, 9 chg sides, 0 chg coeffs, 5531 upgd conss, 24 impls, 0 clqs
1.69/1.73	c (round 4) 34 del vars, 1242 del conss, 26 chg bounds, 9 chg sides, 0 chg coeffs, 5531 upgd conss, 24 impls, 0 clqs
1.69/1.75	c (round 5) 36 del vars, 1243 del conss, 26 chg bounds, 9 chg sides, 0 chg coeffs, 5556 upgd conss, 24 impls, 0 clqs
1.79/1.87	c (round 6) 36 del vars, 1267 del conss, 26 chg bounds, 9 chg sides, 0 chg coeffs, 5569 upgd conss, 24 impls, 0 clqs
1.89/1.95	c    (1.3s) probing: 101/3062 (3.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.89/1.95	c    (1.3s) probing aborted: 100/100 successive totally useless probings
1.89/1.95	c presolving (7 rounds):
1.89/1.95	c  36 deleted vars, 1267 deleted constraints, 26 tightened bounds, 0 added holes, 9 changed sides, 0 changed coefficients
1.89/1.95	c  24 implications, 0 cliques
1.89/1.95	c presolved problem has 3062 variables (3062 bin, 0 int, 0 impl, 0 cont) and 4745 constraints
1.89/1.95	c    4745 constraints of type <logicor>
1.89/1.95	c transformed objective value is always integral (scale: 1)
1.89/1.95	c Presolving Time: 1.21
1.89/1.95	c - non default parameters ----------------------------------------------------------------------
1.89/1.95	c # SCIP version 1.2.1.2
1.89/1.95	c 
1.89/1.95	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.89/1.95	c # [type: int, range: [-1,2147483647], default: -1]
1.89/1.95	c conflict/interconss = 0
1.89/1.95	c 
1.89/1.95	c # should binary conflicts be preferred?
1.89/1.95	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.89/1.95	c conflict/preferbinary = TRUE
1.89/1.95	c 
1.89/1.95	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.89/1.95	c # [type: int, range: [-1,2147483647], default: 0]
1.89/1.95	c constraints/agelimit = 1
1.89/1.95	c 
1.89/1.95	c # should enforcement of pseudo solution be disabled?
1.89/1.95	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.89/1.95	c constraints/disableenfops = TRUE
1.89/1.95	c 
1.89/1.95	c # frequency for displaying node information lines
1.89/1.95	c # [type: int, range: [-1,2147483647], default: 100]
1.89/1.95	c display/freq = 10000
1.89/1.95	c 
1.89/1.95	c # maximal time in seconds to run
1.89/1.95	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.89/1.95	c limits/time = 1799.46
1.89/1.95	c 
1.89/1.95	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.89/1.95	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.89/1.95	c limits/memory = 1620
1.89/1.95	c 
1.89/1.95	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.89/1.95	c # [type: int, range: [-1,2147483647], default: 1]
1.89/1.95	c lp/solvefreq = 0
1.89/1.95	c 
1.89/1.95	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
1.89/1.95	c # [type: char, range: {lafpsqd}, default: l]
1.89/1.95	c lp/pricing = a
1.89/1.95	c 
1.89/1.95	c # should presolving try to simplify inequalities
1.89/1.95	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.89/1.95	c constraints/linear/simplifyinequalities = TRUE
1.89/1.95	c 
1.89/1.95	c # should presolving try to simplify knapsacks
1.89/1.95	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.89/1.95	c constraints/knapsack/simplifyinequalities = TRUE
1.89/1.95	c 
1.89/1.95	c # priority of node selection rule <dfs> in standard mode
1.89/1.95	c # [type: int, range: [-536870912,536870911], default: 0]
1.89/1.95	c nodeselection/dfs/stdpriority = 1000000
1.89/1.95	c 
1.89/1.95	c -----------------------------------------------------------------------------------------------
1.89/1.95	c start solving
1.89/1.95	c 
1.89/1.96	o 3091
1.89/1.96	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.89/1.96	c t 1.3s|     1 |     0 |     0 |     - |  23M|   0 |   - |3062 |4745 |   0 |   0 |   0 |   0 |   0 |      --      | 3.091000e+03 |    Inf 
2.10/2.16	o 164
2.10/2.16	c b 1.5s|     1 |     0 |     0 |     - |  36M|   0 |   - |3062 |4745 |3062 |4745 |   0 |   0 |   0 |      --      | 1.640000e+02 |    Inf 
2.40/2.48	c   1.8s|     1 |     0 |  1023 |     - |  36M|   0 | 506 |3062 |4745 |3062 |4745 |   0 |   0 |   0 | 1.328978e+02 | 1.640000e+02 |  23.40%
3.19/3.23	c   2.5s|     1 |     0 |  1174 |     - |  37M|   0 | 272 |3062 |4745 |3062 |4750 |   5 |   0 |   0 | 1.339292e+02 | 1.640000e+02 |  22.45%
4.40/4.47	c   3.8s|     1 |     0 |  1410 |     - |  38M|   0 | 379 |3062 |4745 |3062 |4753 |   8 |   0 |   0 | 1.340230e+02 | 1.640000e+02 |  22.37%
5.69/5.75	c   5.0s|     1 |     0 |  1467 |     - |  38M|   0 | 392 |3062 |4745 |3062 |4756 |  11 |   0 |   0 | 1.340230e+02 | 1.640000e+02 |  22.37%
6.89/6.97	c   6.2s|     1 |     0 |  1622 |     - |  38M|   0 | 249 |3062 |4745 |3062 |4759 |  14 |   0 |   0 | 1.340643e+02 | 1.640000e+02 |  22.33%
7.89/7.98	c   7.2s|     1 |     0 |  1761 |     - |  39M|   0 | 260 |3062 |4745 |3062 |4763 |  18 |   0 |   0 | 1.340809e+02 | 1.640000e+02 |  22.31%
9.59/9.64	c   8.8s|     1 |     0 |  2074 |     - |  39M|   0 | 435 |3062 |4745 |3062 |4767 |  22 |   0 |   0 | 1.341115e+02 | 1.640000e+02 |  22.29%
10.79/10.82	c  10.0s|     1 |     0 |  2127 |     - |  39M|   0 | 426 |3062 |4745 |3062 |4768 |  23 |   0 |   0 | 1.341187e+02 | 1.640000e+02 |  22.28%
12.00/12.07	c  11.2s|     1 |     0 |  2156 |     - |  39M|   0 | 427 |3062 |4745 |3062 |4769 |  24 |   0 |   0 | 1.341187e+02 | 1.640000e+02 |  22.28%
13.29/13.36	c  12.5s|     1 |     0 |  2268 |     - |  39M|   0 | 430 |3062 |4745 |3062 |4770 |  25 |   0 |   0 | 1.341372e+02 | 1.640000e+02 |  22.26%
14.69/14.80	c  13.9s|     1 |     0 |  2618 |     - |  39M|   0 | 433 |3062 |4745 |3062 |4771 |  26 |   0 |   0 | 1.343233e+02 | 1.640000e+02 |  22.09%
15.89/15.94	c  15.0s|     1 |     0 |  2790 |     - |  40M|   0 | 439 |3062 |4745 |3062 |4773 |  29 |   0 |   0 | 1.344304e+02 | 1.640000e+02 |  22.00%
17.29/17.34	c  16.4s|     1 |     0 |  3060 |     - |  40M|   0 | 427 |3062 |4745 |3062 |4775 |  31 |   0 |   0 | 1.344304e+02 | 1.640000e+02 |  22.00%
18.29/18.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
18.29/18.34	c  17.4s|     1 |     0 |  3244 |     - |  40M|   0 | 273 |3062 |4745 |3062 |4776 |  32 |   0 |   0 | 1.344320e+02 | 1.640000e+02 |  21.99%
19.69/19.80	c  18.8s|     1 |     0 |  3645 |     - |  40M|   0 | 346 |3062 |4745 |3062 |4778 |  34 |   0 |   0 | 1.344349e+02 | 1.640000e+02 |  21.99%
21.29/21.31	c  20.3s|     1 |     0 |  3799 |     - |  40M|   0 | 345 |3062 |4745 |3062 |4780 |  36 |   0 |   0 | 1.344395e+02 | 1.640000e+02 |  21.99%
22.39/22.48	c  21.5s|     1 |     0 |  3928 |     - |  41M|   0 | 349 |3062 |4745 |3062 |4782 |  38 |   0 |   0 | 1.344456e+02 | 1.640000e+02 |  21.98%
26.69/26.77	o 138
26.69/26.77	c E25.5s|     1 |     0 |  3928 |     - |  41M|   0 | 349 |3062 |4745 |3062 |4782 |  38 |   0 |   0 | 1.344456e+02 | 1.380000e+02 |   2.64%
26.69/26.79	c  25.5s|     1 |     0 |  3928 |     - |  41M|   0 | 349 |3062 |4745 |3062 |4782 |  38 |   0 |   0 | 1.344456e+02 | 1.380000e+02 |   2.64%
32.69/32.72	c  31.1s|     1 |     2 |  3928 |     - |  41M|   0 | 349 |3062 |4745 |3062 |4782 |  38 |   0 |  35 | 1.344456e+02 | 1.380000e+02 |   2.64%
47.68/47.76	c  45.9s| 10000 |  2610 |  3928 |   0.0 |  42M|2633 |   - |3062 |4747 |   0 |   0 |  38 |3595 |  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
65.07/65.10	c  63.0s| 20000 |  2611 |  3928 |   0.0 |  42M|2646 |   - |3062 |4750 |   0 |   0 |  38 |8407 |  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
83.28/83.32	c  81.0s| 30000 |  2608 |  3928 |   0.0 |  42M|2646 |   - |3062 |4754 |   0 |   0 |  38 |  13k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
101.67/101.77	c  99.1s| 40000 |  2610 |  3928 |   0.0 |  42M|2646 |   - |3062 |4752 |   0 |   0 |  38 |  18k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
117.87/117.94	c   115s| 50000 |  2606 |  3928 |   0.0 |  42M|2646 |   - |3062 |4751 |   0 |   0 |  38 |  22k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
134.86/134.95	c   132s| 60000 |  2606 |  3928 |   0.0 |  42M|2646 |   - |3062 |4747 |   0 |   0 |  38 |  26k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
151.66/151.76	c   148s| 70000 |  2608 |  3928 |   0.0 |  42M|2646 |   - |3062 |4750 |   0 |   0 |  38 |  31k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
171.05/171.19	c   167s| 80000 |  2611 |  3928 |   0.0 |  42M|2646 |   - |3062 |4747 |   0 |   0 |  38 |  36k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
191.45/191.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
191.45/191.55	c   188s| 90000 |  2607 |  3928 |   0.0 |  42M|2646 |   - |3062 |4753 |   0 |   0 |  38 |  42k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
210.14/210.23	c   206s|100000 |  2611 |  3928 |   0.0 |  42M|2646 |   - |3062 |4747 |   0 |   0 |  38 |  47k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
229.04/229.15	c   225s|110000 |  2614 |  3928 |   0.0 |  42M|2646 |   - |3062 |4748 |   0 |   0 |  38 |  52k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
248.44/248.50	c   244s|120000 |  2607 |  3928 |   0.0 |  42M|2646 |   - |3062 |4748 |   0 |   0 |  38 |  58k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
265.83/265.92	c   261s|130000 |  2611 |  3928 |   0.0 |  42M|2646 |   - |3062 |4747 |   0 |   0 |  38 |  62k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
281.63/281.79	c   277s|140000 |  2609 |  3928 |   0.0 |  42M|2646 |   - |3062 |4747 |   0 |   0 |  38 |  66k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
299.33/299.45	c   294s|150000 |  2609 |  3928 |   0.0 |  42M|2646 |   - |3062 |4750 |   0 |   0 |  38 |  71k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
318.93/319.07	c   313s|160000 |  2606 |  3928 |   0.0 |  42M|2646 |   - |3062 |4747 |   0 |   0 |  38 |  77k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
337.52/337.68	c   332s|170000 |  2605 |  3928 |   0.0 |  42M|2646 |   - |3062 |4750 |   0 |   0 |  38 |  82k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
356.61/356.70	c   350s|180000 |  2607 |  3928 |   0.0 |  42M|2646 |   - |3062 |4747 |   0 |   0 |  38 |  87k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
375.11/375.23	c   369s|190000 |  2609 |  3928 |   0.0 |  42M|2646 |   - |3062 |4750 |   0 |   0 |  38 |  92k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
392.30/392.49	c   386s|200000 |  2605 |  3928 |   0.0 |  42M|2646 |   - |3062 |4750 |   0 |   0 |  38 |  97k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
408.59/408.74	c   402s|210000 |  2608 |  3928 |   0.0 |  42M|2646 |   - |3062 |4749 |   0 |   0 |  38 | 102k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
425.99/426.14	c   419s|220000 |  2607 |  3928 |   0.0 |  42M|2646 |   - |3062 |4751 |   0 |   0 |  38 | 106k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
442.69/442.83	c   435s|230000 |  2607 |  3928 |   0.0 |  42M|2646 |   - |3062 |4754 |   0 |   0 |  38 | 111k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
458.69/458.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
458.69/458.86	c   451s|240000 |  2606 |  3928 |   0.0 |  42M|2646 |   - |3062 |4757 |   0 |   0 |  38 | 116k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
476.38/476.58	c   468s|250000 |  2605 |  3928 |   0.0 |  42M|2646 |   - |3062 |4748 |   0 |   0 |  38 | 120k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
494.57/494.79	c   486s|260000 |  2606 |  3928 |   0.0 |  42M|2646 |   - |3062 |4753 |   0 |   0 |  38 | 126k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
513.07/513.29	c   505s|270000 |  2606 |  3928 |   0.0 |  42M|2646 |   - |3062 |4751 |   0 |   0 |  38 | 131k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
530.67/530.80	c   522s|280000 |  2610 |  3928 |   0.0 |  42M|2646 |   - |3062 |4749 |   0 |   0 |  38 | 136k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
546.76/546.90	c   538s|290000 |  2607 |  3928 |   0.0 |  42M|2646 |   - |3062 |4750 |   0 |   0 |  38 | 140k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
564.66/564.81	c   555s|300000 |  2605 |  3928 |   0.0 |  42M|2646 |   - |3062 |4752 |   0 |   0 |  38 | 145k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
581.15/581.32	c   572s|310000 |  2610 |  3928 |   0.0 |  42M|2646 |   - |3062 |4752 |   0 |   0 |  38 | 150k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
597.65/597.86	c   588s|320000 |  2613 |  3928 |   0.0 |  42M|2646 |   - |3062 |4749 |   0 |   0 |  38 | 154k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
615.85/616.08	c   606s|330000 |  2607 |  3928 |   0.0 |  42M|2646 |   - |3062 |4747 |   0 |   0 |  38 | 159k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
633.45/633.61	c   623s|340000 |  2604 |  3928 |   0.0 |  42M|2646 |   - |3062 |4749 |   0 |   0 |  38 | 164k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
651.54/651.77	c   641s|350000 |  2605 |  3928 |   0.0 |  42M|2646 |   - |3062 |4752 |   0 |   0 |  38 | 169k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
668.14/668.30	c   657s|360000 |  2604 |  3928 |   0.0 |  42M|2646 |   - |3062 |4751 |   0 |   0 |  38 | 174k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
684.73/684.95	c   674s|370000 |  2604 |  3928 |   0.0 |  42M|2646 |   - |3062 |4753 |   0 |   0 |  38 | 179k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
702.63/702.87	c   691s|380000 |  2604 |  3928 |   0.0 |  42M|2646 |   - |3062 |4747 |   0 |   0 |  38 | 184k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
719.43/719.65	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
719.43/719.65	c   708s|390000 |  2605 |  3928 |   0.0 |  42M|2646 |   - |3062 |4749 |   0 |   0 |  38 | 189k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
737.42/737.65	c   725s|400000 |  2610 |  3928 |   0.0 |  42M|2646 |   - |3062 |4747 |   0 |   0 |  38 | 194k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
756.81/757.06	c   745s|410000 |  2608 |  3928 |   0.0 |  42M|2646 |   - |3062 |4747 |   0 |   0 |  38 | 199k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
776.31/776.54	c   764s|420000 |  2613 |  3928 |   0.0 |  42M|2646 |   - |3062 |4749 |   0 |   0 |  38 | 205k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
794.61/794.80	c   782s|430000 |  2608 |  3928 |   0.0 |  42M|2646 |   - |3062 |4754 |   0 |   0 |  38 | 210k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
813.80/814.05	c   801s|440000 |  2610 |  3928 |   0.0 |  42M|2646 |   - |3062 |4748 |   0 |   0 |  38 | 215k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
832.30/832.53	c   819s|450000 |  2609 |  3928 |   0.0 |  42M|2646 |   - |3062 |4753 |   0 |   0 |  38 | 220k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
852.49/852.73	c   839s|460000 |  2606 |  3928 |   0.0 |  42M|2646 |   - |3062 |4753 |   0 |   0 |  38 | 226k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
872.69/872.91	c   859s|470000 |  2610 |  3928 |   0.0 |  42M|2646 |   - |3062 |4747 |   0 |   0 |  38 | 232k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
891.68/891.99	c   878s|480000 |  2604 |  3928 |   0.0 |  42M|2646 |   - |3062 |4749 |   0 |   0 |  38 | 237k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
911.08/911.33	c   897s|490000 |  2602 |  3928 |   0.0 |  42M|2646 |   - |3062 |4760 |   0 |   0 |  38 | 243k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
927.87/928.14	c   913s|500000 |  2609 |  3928 |   0.0 |  42M|2646 |   - |3062 |4751 |   0 |   0 |  38 | 247k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
944.97/945.28	c   930s|510000 |  2605 |  3928 |   0.0 |  42M|2646 |   - |3062 |4749 |   0 |   0 |  38 | 252k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
961.76/962.00	c   946s|520000 |  2609 |  3928 |   0.0 |  42M|2646 |   - |3062 |4757 |   0 |   0 |  38 | 256k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
979.66/979.91	c   964s|530000 |  2604 |  3928 |   0.0 |  42M|2646 |   - |3062 |4749 |   0 |   0 |  38 | 261k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
996.55/996.85	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
996.55/996.85	c   981s|540000 |  2608 |  3928 |   0.0 |  42M|2646 |   - |3062 |4750 |   0 |   0 |  38 | 266k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1013.65/1013.97	c   998s|550000 |  2604 |  3928 |   0.0 |  42M|2646 |   - |3062 |4748 |   0 |   0 |  38 | 271k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1029.05/1029.38	c  1013s|560000 |  2628 |  3928 |   0.0 |  42M|2718 |   - |3062 |4750 |   0 |   0 |  38 | 274k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1045.04/1045.30	c  1028s|570000 |  2604 |  3928 |   0.0 |  42M|2718 |   - |3062 |4757 |   0 |   0 |  38 | 278k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1061.85/1062.13	c  1045s|580000 |  2608 |  3928 |   0.0 |  42M|2718 |   - |3062 |4752 |   0 |   0 |  38 | 282k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1078.03/1078.34	c  1061s|590000 |  2601 |  3928 |   0.0 |  42M|2718 |   - |3062 |4748 |   0 |   0 |  38 | 286k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1094.03/1094.31	c  1077s|600000 |  2607 |  3928 |   0.0 |  42M|2718 |   - |3062 |4747 |   0 |   0 |  38 | 290k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1111.03/1111.31	c  1093s|610000 |  2604 |  3928 |   0.0 |  42M|2718 |   - |3062 |4747 |   0 |   0 |  38 | 294k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1130.03/1130.32	c  1112s|620000 |  2610 |  3928 |   0.0 |  42M|2718 |   - |3062 |4747 |   0 |   0 |  38 | 300k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1145.82/1146.12	c  1128s|630000 |  2608 |  3928 |   0.0 |  42M|2718 |   - |3062 |4750 |   0 |   0 |  38 | 303k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1160.32/1160.67	c  1142s|640000 |  2607 |  3928 |   0.0 |  42M|2718 |   - |3062 |4751 |   0 |   0 |  38 | 306k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1178.72/1179.01	c  1160s|650000 |  2606 |  3928 |   0.0 |  42M|2718 |   - |3062 |4749 |   0 |   0 |  38 | 311k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1197.40/1197.78	c  1179s|660000 |  2605 |  3928 |   0.0 |  42M|2718 |   - |3062 |4750 |   0 |   0 |  38 | 316k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1216.01/1216.35	c  1197s|670000 |  2602 |  3928 |   0.0 |  42M|2718 |   - |3062 |4747 |   0 |   0 |  38 | 321k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1233.80/1234.20	c  1215s|680000 |  2606 |  3928 |   0.0 |  42M|2718 |   - |3062 |4747 |   0 |   0 |  38 | 326k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1251.19/1251.54	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1251.19/1251.54	c  1232s|690000 |  2605 |  3928 |   0.0 |  42M|2718 |   - |3062 |4752 |   0 |   0 |  38 | 331k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1268.79/1269.19	c  1249s|700000 |  2601 |  3928 |   0.0 |  42M|2718 |   - |3062 |4747 |   0 |   0 |  38 | 336k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1286.98/1287.37	c  1267s|710000 |  2598 |  3928 |   0.0 |  42M|2718 |   - |3062 |4750 |   0 |   0 |  38 | 341k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1304.19/1304.54	c  1284s|720000 |  2601 |  3928 |   0.0 |  42M|2718 |   - |3062 |4758 |   0 |   0 |  38 | 346k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1321.17/1321.56	c  1300s|730000 |  2609 |  3928 |   0.0 |  42M|2718 |   - |3062 |4749 |   0 |   0 |  38 | 350k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1337.87/1338.22	c  1317s|740000 |  2610 |  3928 |   0.0 |  42M|2718 |   - |3062 |4750 |   0 |   0 |  38 | 355k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1354.97/1355.30	c  1334s|750000 |  2608 |  3928 |   0.0 |  42M|2718 |   - |3062 |4747 |   0 |   0 |  38 | 359k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1373.57/1373.91	c  1352s|760000 |  2604 |  3928 |   0.0 |  42M|2718 |   - |3062 |4748 |   0 |   0 |  38 | 364k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1390.75/1391.18	c  1369s|770000 |  2604 |  3928 |   0.0 |  42M|2718 |   - |3062 |4747 |   0 |   0 |  38 | 369k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1408.06/1408.46	c  1386s|780000 |  2625 |  3928 |   0.0 |  42M|2718 |   - |3062 |4750 |   0 |   0 |  38 | 373k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1423.65/1424.03	c  1401s|790000 |  2603 |  3928 |   0.0 |  42M|2718 |   - |3062 |4751 |   0 |   0 |  38 | 377k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1439.64/1440.08	c  1417s|800000 |  2608 |  3928 |   0.0 |  42M|2718 |   - |3062 |4751 |   0 |   0 |  38 | 381k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1455.75/1456.16	c  1433s|810000 |  2609 |  3928 |   0.0 |  42M|2718 |   - |3062 |4751 |   0 |   0 |  38 | 385k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1473.64/1474.09	c  1451s|820000 |  2610 |  3928 |   0.0 |  42M|2718 |   - |3062 |4747 |   0 |   0 |  38 | 390k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1491.03/1491.42	c  1468s|830000 |  2610 |  3928 |   0.0 |  42M|2718 |   - |3062 |4752 |   0 |   0 |  38 | 395k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1507.53/1507.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1507.53/1507.95	c  1484s|840000 |  2606 |  3928 |   0.0 |  42M|2718 |   - |3062 |4747 |   0 |   0 |  38 | 399k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1524.73/1525.11	c  1501s|850000 |  2603 |  3928 |   0.0 |  42M|2718 |   - |3062 |4752 |   0 |   0 |  38 | 404k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1541.73/1542.11	c  1518s|860000 |  2602 |  3928 |   0.0 |  42M|2718 |   - |3062 |4749 |   0 |   0 |  38 | 409k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1557.23/1557.69	c  1533s|870000 |  2615 |  3928 |   0.0 |  42M|2718 |   - |3062 |4755 |   0 |   0 |  38 | 413k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1576.22/1576.60	c  1552s|880000 |  2613 |  3928 |   0.0 |  42M|2718 |   - |3062 |4747 |   0 |   0 |  38 | 418k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1595.91/1596.34	c  1571s|890000 |  2603 |  3928 |   0.0 |  42M|2718 |   - |3062 |4748 |   0 |   0 |  38 | 424k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1614.01/1614.40	c  1589s|900000 |  2606 |  3928 |   0.0 |  42M|2718 |   - |3062 |4747 |   0 |   0 |  38 | 429k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1632.10/1632.55	c  1607s|910000 |  2608 |  3928 |   0.0 |  42M|2718 |   - |3062 |4749 |   0 |   0 |  38 | 433k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1649.51/1649.91	c  1624s|920000 |  2608 |  3928 |   0.0 |  42M|2718 |   - |3062 |4750 |   0 |   0 |  38 | 438k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1668.20/1668.68	c  1642s|930000 |  2605 |  3928 |   0.0 |  42M|2718 |   - |3062 |4751 |   0 |   0 |  38 | 443k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1684.69/1685.12	c  1658s|940000 |  2609 |  3928 |   0.0 |  42M|2718 |   - |3062 |4752 |   0 |   0 |  38 | 448k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1701.09/1701.58	c  1675s|950000 |  2613 |  3928 |   0.0 |  42M|2718 |   - |3062 |4747 |   0 |   0 |  38 | 452k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1719.38/1719.80	c  1693s|960000 |  2605 |  3928 |   0.0 |  42M|2718 |   - |3062 |4754 |   0 |   0 |  38 | 457k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1737.58/1738.05	c  1711s|970000 |  2609 |  3928 |   0.0 |  42M|2718 |   - |3062 |4748 |   0 |   0 |  38 | 462k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1757.17/1757.65	c  1730s|980000 |  2606 |  3928 |   0.0 |  42M|2718 |   - |3062 |4747 |   0 |   0 |  38 | 468k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1777.97/1778.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1777.97/1778.40	c  1750s|990000 |  2604 |  3928 |   0.0 |  42M|2718 |   - |3062 |4754 |   0 |   0 |  38 | 474k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1796.26/1796.71	c  1768s|  1000k|  2603 |  3928 |   0.0 |  42M|2718 |   - |3062 |4749 |   0 |   0 |  38 | 479k|  35 | 1.344562e+02 | 1.380000e+02 |   2.64%
1800.06/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.51	c 
1800.06/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.51	c Solving Time (sec) : 1772.10
1800.06/1800.51	c Solving Nodes      : 1002168
1800.06/1800.51	c Primal Bound       : +1.38000000000000e+02 (4 solutions)
1800.06/1800.51	c Dual Bound         : +1.34456234560753e+02
1800.06/1800.51	c Gap                : 2.64 %
1800.06/1800.55	s SATISFIABLE
1800.06/1800.55	v x3098 -x3097 -x3096 -x3095 x3094 -x3093 -x3092 -x3091 x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 
1800.06/1800.55	v -x3079 -x3078 -x3077 -x3076 -x3075 x3074 -x3073 -x3072 -x3071 -x3070 -x3069 x3068 -x3067 x3066 -x3065 -x3064 -x3063 -x3062 
1800.06/1800.55	v -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 
1800.06/1800.55	v -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 
1800.06/1800.55	v -x3025 -x3024 -x3023 -x3022 x3021 -x3020 -x3019 -x3018 -x3017 -x3016 x3015 -x3014 x3013 -x3012 -x3011 -x3010 -x3009 -x3008 
1800.06/1800.55	v -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 x3000 -x2999 x2998 -x2997 -x2996 -x2995 -x2994 -x2993 x2992 -x2991 -x2990 -x2989 
1800.06/1800.55	v -x2988 -x2987 -x2986 x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 x2978 -x2977 x2976 -x2975 -x2974 -x2973 -x2972 -x2971 
1800.06/1800.55	v -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 
1800.06/1800.55	v -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 
1800.06/1800.55	v -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 x2922 -x2921 -x2920 -x2919 -x2918 x2917 
1800.06/1800.55	v -x2916 -x2915 -x2914 -x2913 -x2912 x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 
1800.06/1800.55	v x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 
1800.06/1800.55	v -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 x2866 -x2865 -x2864 -x2863 
1800.06/1800.55	v -x2862 x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 
1800.06/1800.55	v x2844 -x2843 x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 
1800.06/1800.55	v -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 x2819 -x2818 -x2817 -x2816 -x2815 -x2814 x2813 -x2812 -x2811 -x2810 -x2809 
1800.06/1800.55	v -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 
1800.06/1800.55	v -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 
1800.06/1800.55	v -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 
1800.06/1800.55	v -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 
1800.06/1800.55	v -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 x2724 x2723 -x2722 -x2721 -x2720 -x2719 
1800.06/1800.55	v -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 
1800.06/1800.55	v -x2700 -x2699 -x2698 -x2697 -x2696 x2695 x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 x2686 -x2685 x2684 -x2683 
1800.06/1800.55	v x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 x2665 -x2664 
1800.06/1800.55	v -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 
1800.06/1800.55	v -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 x2637 x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 
1800.06/1800.55	v -x2627 x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 
1800.06/1800.55	v -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 
1800.06/1800.55	v -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 x2579 -x2578 -x2577 -x2576 -x2575 
1800.06/1800.55	v x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 x2560 -x2559 -x2558 -x2557 -x2556 
1800.06/1800.55	v -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 
1800.06/1800.55	v -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 
1800.06/1800.55	v -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 
1800.06/1800.55	v -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 
1800.06/1800.55	v -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 
1800.06/1800.55	v -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 
1800.06/1800.55	v -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 
1800.06/1800.55	v -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 
1800.06/1800.55	v -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 
1800.06/1800.55	v -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 
1800.06/1800.55	v -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 
1800.06/1800.55	v -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 x2342 
1800.06/1800.55	v -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 
1800.06/1800.55	v -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 
1800.06/1800.55	v -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 x2291 -x2290 -x2289 -x2288 
1800.06/1800.55	v -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 x2272 -x2271 -x2270 
1800.06/1800.55	v -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 
1800.06/1800.55	v x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 
1800.06/1800.55	v -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 
1800.06/1800.55	v -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 
1800.06/1800.55	v -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 
1800.06/1800.55	v -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 
1800.06/1800.55	v -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 
1800.06/1800.55	v -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 
1800.06/1800.55	v -x2126 x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 
1800.06/1800.55	v -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 
1800.06/1800.55	v -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 
1800.06/1800.55	v -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 
1800.06/1800.55	v -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 x2037 
1800.06/1800.55	v -x2036 x2035 -x2034 x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 
1800.06/1800.55	v -x2018 -x2017 -x2016 x2015 x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 x2006 -x2005 -x2004 x2003 -x2002 x2001 
1800.06/1800.55	v -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 
1800.06/1800.55	v -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 
1800.06/1800.55	v -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 
1800.06/1800.55	v -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 
1800.06/1800.55	v -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 
1800.06/1800.55	v -x1910 -x1909 -x1908 x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 
1800.06/1800.55	v -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 
1800.06/1800.55	v -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 
1800.06/1800.55	v -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 
1800.06/1800.55	v -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 
1800.06/1800.55	v -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 
1800.06/1800.55	v x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 
1800.06/1800.55	v -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 
1800.06/1800.55	v -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 
1800.06/1800.55	v -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 
1800.06/1800.55	v -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 
1800.06/1800.55	v -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 
1800.06/1800.55	v -x1696 -x1695 -x1694 x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 
1800.06/1800.55	v -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 
1800.06/1800.55	v -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 
1800.06/1800.55	v -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 
1800.06/1800.55	v -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 
1800.06/1800.55	v -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 x1595 -x1594 -x1593 -x1592 -x1591 x1590 -x1589 
1800.06/1800.55	v -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 
1800.06/1800.55	v -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 
1800.06/1800.55	v x1552 -x1551 -x1550 -x1549 x1548 x1547 -x1546 -x1545 -x1544 x1543 -x1542 -x1541 -x1540 -x1539 -x1538 x1537 -x1536 -x1535 
1800.06/1800.55	v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 
1800.06/1800.55	v -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 
1800.06/1800.55	v -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 
1800.06/1800.55	v -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 
1800.06/1800.55	v -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 
1800.06/1800.55	v -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 
1800.06/1800.55	v -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 
1800.06/1800.55	v -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 
1800.06/1800.55	v -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 
1800.06/1800.55	v -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 
1800.06/1800.55	v -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 
1800.06/1800.55	v -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 
1800.06/1800.55	v -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 
1800.06/1800.55	v -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 
1800.06/1800.55	v -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 
1800.06/1800.55	v -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 
1800.06/1800.55	v -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 
1800.06/1800.55	v -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 
1800.06/1800.55	v -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 
1800.06/1800.55	v -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 x1182 -x1181 x1180 -x1179 x1178 -x1177 
1800.06/1800.55	v x1176 -x1175 x1174 -x1173 x1172 -x1171 x1170 -x1169 x1168 -x1167 x1166 -x1165 x1164 -x1163 x1162 -x1161 x1160 -x1159 x1158 
1800.06/1800.55	v -x1157 x1156 -x1155 x1154 -x1153 x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 
1800.06/1800.55	v -x1139 -x1138 x1137 -x1136 -x1135 -x1134 -x1133 x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 
1800.06/1800.55	v -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 
1800.06/1800.55	v -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 
1800.06/1800.55	v -x1085 -x1084 -x1083 x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 
1800.06/1800.55	v -x1067 -x1066 -x1065 -x1064 -x1063 x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 
1800.06/1800.55	v -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 x1035 -x1034 -x1033 -x1032 
1800.06/1800.55	v -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 
1800.06/1800.55	v -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 
1800.06/1800.55	v -x995 -x994 x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 
1800.06/1800.55	v -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 
1800.06/1800.55	v -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 x935 -x934 -x933 
1800.06/1800.55	v -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 
1800.06/1800.55	v -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 
1800.06/1800.55	v -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 
1800.06/1800.55	v -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 x855 -x854 -x853 -x852 -x851 -x850 -x849 
1800.06/1800.55	v -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 
1800.06/1800.55	v -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 
1800.06/1800.55	v -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 
1800.06/1800.55	v -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 
1800.06/1800.55	v -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 
1800.06/1800.55	v -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 
1800.06/1800.55	v -x723 -x722 -x721 x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 
1800.06/1800.55	v -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 
1800.06/1800.55	v -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 
1800.06/1800.55	v -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 x646 -x645 -x644 -x643 -x642 -x641 
1800.06/1800.55	v -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 
1800.06/1800.55	v -x619 -x618 -x617 -x616 -x615 -x614 x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 
1800.06/1800.55	v -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 
1800.06/1800.55	v -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 
1800.06/1800.55	v -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 
1800.06/1800.55	v -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 
1800.06/1800.55	v -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 
1800.06/1800.55	v -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 
1800.06/1800.55	v -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 
1800.06/1800.55	v -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 
1800.06/1800.55	v -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 
1800.06/1800.55	v -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 
1800.06/1800.55	v -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 
1800.06/1800.55	v -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 x349 
1800.06/1800.55	v -x348 -x347 x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 x334 -x333 -x332 -x331 x330 -x329 -x328 -x327 
1800.06/1800.55	v x326 -x325 -x324 -x323 x322 -x321 -x320 -x319 x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 
1800.06/1800.55	v -x305 -x304 -x303 x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 x290 -x289 -x288 -x287 -x286 -x285 
1800.06/1800.55	v -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 
1800.06/1800.55	v -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 
1800.06/1800.55	v -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 
1800.06/1800.55	v -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 
1800.06/1800.55	v -x200 -x199 -x198 x197 x196 -x195 x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 
1800.06/1800.55	v -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 x160 -x159 -x158 
1800.06/1800.55	v -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 
1800.06/1800.55	v -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 
1800.06/1800.55	v -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 
1800.06/1800.55	v -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 
1800.06/1800.55	v -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 x53 -x52 -x51 -x50 x49 -x48 x47 x46 x45 x44 x43 
1800.06/1800.55	v x42 x41 x40 -x39 x38 x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 x24 x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 
1800.06/1800.55	v x15 x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1800.06/1800.55	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.55	c Solving Time       :    1772.10
1800.06/1800.55	c Original Problem   :
1800.06/1800.55	c   Problem name     : HOME/instance-2665477-1276591230.opb
1800.06/1800.55	c   Variables        : 3098 (3098 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.55	c   Constraints      : 6012 initial, 6012 maximal
1800.06/1800.55	c Presolved Problem  :
1800.06/1800.55	c   Problem name     : t_HOME/instance-2665477-1276591230.opb
1800.06/1800.55	c   Variables        : 3062 (3062 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.55	c   Constraints      : 4745 initial, 4799 maximal
1800.06/1800.55	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.06/1800.55	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1800.06/1800.55	c   dualfix          :       0.00          6          0          0          0          0          0          0          0
1800.06/1800.55	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.55	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.55	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.55	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.06/1800.55	c   linear           :       0.28         26          4          0         26          0        443          9          0
1800.06/1800.55	c   logicor          :       0.78          0          0          0          0          0        824          0          0
1800.06/1800.55	c   root node        :          -          0          -          -          0          -          -          -          -
1800.06/1800.55	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.55	c   integral         :          0          0          0          1          0          0          0          0          0          2
1800.06/1800.55	c   logicor          :       4745+        17    1506615          0          0     147360    1180681          0          0          0
1800.06/1800.55	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.06/1800.55	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.06/1800.55	c   integral         :       4.71       0.00       0.00       4.71       0.00
1800.06/1800.55	c   logicor          :     353.16       0.01     353.15       0.00       0.00
1800.06/1800.55	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.06/1800.55	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.06/1800.55	c   vbounds          :       1.87          2          0          0
1800.06/1800.55	c   rootredcost      :       1.64          0          0          0
1800.06/1800.55	c   pseudoobj        :    1173.92    3464772     328347   16526534
1800.06/1800.55	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.55	c   propagation      :     752.65     475706     475706     475706      267.1       1446      271.1          -
1800.06/1800.55	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.55	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.55	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.55	c   pseudo solution  :       7.49       3749       3749       3749      210.8         20      234.1          -
1800.06/1800.55	c   applied globally :          -          -          -     335479      213.1          -          -          -
1800.06/1800.55	c   applied locally  :          -          -          -     145126      390.3          -          -          -
1800.06/1800.55	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.55	c   cut pool         :       0.01         16          -          -         30          -    (maximal pool size: 277)
1800.06/1800.55	c   redcost          :       0.01         18          0          0          0          0
1800.06/1800.55	c   impliedbounds    :       0.00         18          0          0          0          0
1800.06/1800.55	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.55	c   cgmip            :       0.00          0          0          0          0          0
1800.06/1800.55	c   gomory           :       9.19         18          0          0       5081          0
1800.06/1800.55	c   strongcg         :       8.14         18          0          0       5396          0
1800.06/1800.55	c   cmir             :       0.54         10          0          0          0          0
1800.06/1800.55	c   flowcover        :       0.89         10          0          0          0          0
1800.06/1800.55	c   clique           :       0.00          1          0          0          0          0
1800.06/1800.55	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.55	c   mcf              :       0.04          1          0          0          0          0
1800.06/1800.55	c   rapidlearning    :       0.00          0          0          0          0          0
1800.06/1800.55	c Pricers            :       Time      Calls       Vars
1800.06/1800.55	c   problem variables:       0.00          0          0
1800.06/1800.55	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.55	c   relpscost        :       4.71          1          0          0          0          0          2
1800.06/1800.55	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.55	c   inference        :      72.52     753566          0          0          0          0    1507132
1800.06/1800.55	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.55	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.55	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.55	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.55	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.55	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.55	c   LP solutions     :       0.00          -          0
1800.06/1800.55	c   pseudo solutions :       0.00          -          0
1800.06/1800.55	c   crossover        :       0.00          0          0
1800.06/1800.55	c   oneopt           :       1.14          3          1
1800.06/1800.55	c   trivial          :       0.01          2          2
1800.06/1800.55	c   simplerounding   :       0.00         16          0
1800.06/1800.55	c   zirounding       :       0.00          1          0
1800.06/1800.55	c   rounding         :       0.13         17          0
1800.06/1800.55	c   shifting         :       0.07         17          0
1800.06/1800.55	c   intshifting      :       0.00          0          0
1800.06/1800.55	c   twoopt           :       0.00          0          0
1800.06/1800.55	c   fixandinfer      :       0.00          0          0
1800.06/1800.55	c   feaspump         :       0.00          0          0
1800.06/1800.55	c   coefdiving       :       0.00          0          0
1800.06/1800.55	c   pscostdiving     :       0.00          0          0
1800.06/1800.55	c   fracdiving       :       0.00          0          0
1800.06/1800.55	c   veclendiving     :       0.00          0          0
1800.06/1800.55	c   intdiving        :       0.00          0          0
1800.06/1800.55	c   actconsdiving    :       0.00          0          0
1800.06/1800.55	c   objpscostdiving  :       0.00          0          0
1800.06/1800.55	c   rootsoldiving    :       0.00          0          0
1800.06/1800.55	c   linesearchdiving :       0.00          0          0
1800.06/1800.55	c   guideddiving     :       0.00          0          0
1800.06/1800.55	c   octane           :       0.00          0          0
1800.06/1800.55	c   rens             :       3.08          1          1
1800.06/1800.55	c   rins             :       0.00          0          0
1800.06/1800.55	c   localbranching   :       0.00          0          0
1800.06/1800.55	c   mutation         :       0.00          0          0
1800.06/1800.55	c   dins             :       0.00          0          0
1800.06/1800.55	c   undercover       :       0.00          0          0
1800.06/1800.55	c   nlp              :       1.00          0          0
1800.06/1800.55	c   trysol           :       0.44          0          0
1800.06/1800.55	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.55	c   primal LP        :       0.06          0          0       0.00       0.00
1800.06/1800.55	c   dual LP          :       2.61         17       3928     231.06    1504.98
1800.06/1800.55	c   lex dual LP      :       0.00          0          0       0.00          -
1800.06/1800.55	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.55	c   diving/probing LP:       0.00          0          0       0.00          -
1800.06/1800.55	c   strong branching :       4.71         35       6195     177.00    1315.29
1800.06/1800.55	c     (at root node) :          -         35       6195     177.00          -
1800.06/1800.55	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.55	c B&B Tree           :
1800.06/1800.55	c   number of runs   :          1
1800.06/1800.55	c   nodes            :    1002168
1800.06/1800.55	c   nodes (total)    :    1002168
1800.06/1800.55	c   nodes left       :       2605
1800.06/1800.55	c   max depth        :       2718
1800.06/1800.55	c   max depth (total):       2718
1800.06/1800.55	c   backtracks       :     260186 (26.0%)
1800.06/1800.55	c   delayed cutoffs  :     256249
1800.06/1800.55	c   repropagations   :     538062 (8330193 domain reductions, 230855 cutoffs)
1800.06/1800.55	c   avg switch length:       2.29
1800.06/1800.55	c   switching time   :      46.07
1800.06/1800.55	c Solution           :
1800.06/1800.55	c   Solutions found  :          4 (4 improvements)
1800.06/1800.55	c   First Solution   : +3.09800000000000e+03   (in run 1, after 0 nodes, 0.13 seconds, depth 0, found by <trivial>)
1800.06/1800.55	c   Primal Bound     : +1.38000000000000e+02   (in run 1, after 1 nodes, 25.47 seconds, depth 0, found by <rens>)
1800.06/1800.55	c   Dual Bound       : +1.34456234560753e+02
1800.06/1800.55	c   Gap              :       2.64 %
1800.06/1800.55	c   Root Dual Bound  : +1.34445574062958e+02
1800.06/1800.55	c   Root Iterations  :       3928
1800.17/1800.68	c Time complete: 1800.24.

Verifier Data 

OK	138

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.02 1.05 0.94 3/107 2791
/proc/meminfo: memFree=1842868/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=9288 CPUtime=0
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 1051 0 0 0 0 0 0 0 18 0 1 0 414673 9510912 970 1992294400 4194304 9819077 140735777144960 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2791/statm: 2322 978 371 1374 0 943 0

[startup+0.030201 s]
/proc/loadavg: 1.02 1.05 0.94 3/107 2791
/proc/meminfo: memFree=1842868/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=13244 CPUtime=0.02
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 2272 0 0 0 2 0 0 0 20 0 1 0 414673 13561856 2191 1992294400 4194304 9819077 140735777144960 18446744073709551615 8631955 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2791/statm: 3311 2191 388 1374 0 1932 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13244

[startup+0.101207 s]
/proc/loadavg: 1.02 1.05 0.94 3/107 2791
/proc/meminfo: memFree=1842868/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=14640 CPUtime=0.09
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 2592 0 0 0 8 1 0 0 20 0 1 0 414673 14991360 2511 1992294400 4194304 9819077 140735777144960 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2791/statm: 3660 2511 388 1374 0 2281 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14640

[startup+0.301223 s]
/proc/loadavg: 1.02 1.05 0.94 3/107 2791
/proc/meminfo: memFree=1842868/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=17828 CPUtime=0.29
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 3387 0 0 0 28 1 0 0 20 0 1 0 414673 18255872 3306 1992294400 4194304 9819077 140735777144960 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2791/statm: 4457 3306 388 1374 0 3078 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17828

[startup+0.701257 s]
/proc/loadavg: 1.02 1.05 0.94 3/107 2791
/proc/meminfo: memFree=1842868/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=58420 CPUtime=0.69
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 13920 0 0 0 64 5 0 0 21 0 1 0 414673 59822080 13485 1992294400 4194304 9819077 140735777144960 18446744073709551615 4561481 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 14605 13485 449 1374 0 13226 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 58420

[startup+1.50132 s]
/proc/loadavg: 1.02 1.05 0.94 2/108 2792
/proc/meminfo: memFree=1787556/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=66588 CPUtime=1.49
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 17074 0 0 0 140 9 0 0 23 0 1 0 414673 68186112 15320 1992294400 4194304 9819077 140735777144960 18446744073709551615 5008735 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 16647 15320 504 1374 0 15268 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 66588

[startup+3.10046 s]
/proc/loadavg: 1.02 1.05 0.94 2/108 2792
/proc/meminfo: memFree=1762136/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=115476 CPUtime=3.09
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 30855 0 0 0 294 15 0 0 25 0 1 0 414673 118247424 25824 1992294400 4194304 9819077 140735777144960 18446744073709551615 6093246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 28869 25824 672 1374 0 27490 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 115476

[startup+6.30073 s]
/proc/loadavg: 1.02 1.05 0.94 2/108 2792
/proc/meminfo: memFree=1726060/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=130784 CPUtime=6.29
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 42000 0 0 0 609 20 0 0 25 0 1 0 414673 133922816 29700 1992294400 4194304 9819077 140735777144960 18446744073709551615 5755255 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 32696 29700 673 1374 0 31317 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 130784

[startup+12.7003 s]
/proc/loadavg: 1.01 1.05 0.94 2/108 2792
/proc/meminfo: memFree=1697416/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=159868 CPUtime=12.69
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 60178 0 0 0 1237 32 0 0 25 0 1 0 414673 163704832 36850 1992294400 4194304 9819077 140735777144960 18446744073709551615 6059666 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 39967 36850 673 1374 0 38588 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 159868

[startup+25.5013 s]
/proc/loadavg: 1.01 1.05 0.94 2/108 2792
/proc/meminfo: memFree=1643352/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=218212 CPUtime=25.48
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 112052 0 0 0 2483 65 0 0 25 0 1 0 414673 223449088 50368 1992294400 4194304 9819077 140735777144960 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 54553 50368 702 1374 0 53174 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 218212

[startup+51.1014 s]
/proc/loadavg: 1.01 1.04 0.94 2/108 2794
/proc/meminfo: memFree=1688736/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=170212 CPUtime=51.08
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 203265 0 0 0 4974 134 0 0 25 0 1 0 414673 174297088 39092 1992294400 4194304 9819077 140735777144960 18446744073709551615 5954172 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 42553 39092 721 1374 0 41174 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 170212

[startup+102.309 s]
/proc/loadavg: 1.00 1.03 0.94 2/108 2794
/proc/meminfo: memFree=1686504/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=172368 CPUtime=102.28
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 203803 0 0 0 10017 211 0 0 25 0 1 0 414673 176504832 39630 1992294400 4194304 9819077 140735777144960 18446744073709551615 5507400 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 43092 39630 721 1374 0 41713 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 172368

[startup+162.301 s]
/proc/loadavg: 1.76 1.24 1.02 2/114 15464
/proc/meminfo: memFree=1667012/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=173872 CPUtime=162.26
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 204168 0 0 0 15926 300 0 0 25 0 1 0 414673 178044928 39995 1992294400 4194304 9819077 140735777144960 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 43468 39995 721 1374 0 42089 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 173872

[startup+222.301 s]
/proc/loadavg: 2.27 1.49 1.12 5/115 31007
/proc/meminfo: memFree=1653568/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=174704 CPUtime=222.24
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 204359 0 0 0 21839 385 0 0 25 0 1 0 414673 178896896 40186 1992294400 4194304 9819077 140735777144960 18446744073709551615 5507155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 43676 40186 721 1374 0 42297 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 174704

[startup+282.301 s]
/proc/loadavg: 1.81 1.52 1.15 2/107 8792
/proc/meminfo: memFree=1644380/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=174704 CPUtime=282.23
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 204381 0 0 0 27753 470 0 0 25 0 1 0 414673 178896896 40208 1992294400 4194304 9819077 140735777144960 18446744073709551615 4434065 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 43676 40208 721 1374 0 42297 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 174704

[startup+342.302 s]
/proc/loadavg: 1.30 1.42 1.13 2/107 8794
/proc/meminfo: memFree=1644132/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=175116 CPUtime=342.21
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 204459 0 0 0 33666 555 0 0 25 0 1 0 414673 179318784 40286 1992294400 4194304 9819077 140735777144960 18446744073709551615 5905982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 43779 40286 721 1374 0 42400 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 175116

[startup+402.302 s]
/proc/loadavg: 1.11 1.34 1.12 2/107 8794
/proc/meminfo: memFree=1644008/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=175252 CPUtime=402.19
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 204507 0 0 0 39578 641 0 0 25 0 1 0 414673 179458048 40334 1992294400 4194304 9819077 140735777144960 18446744073709551615 5507728 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 43813 40334 721 1374 0 42434 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 175252

[startup+462.301 s]
/proc/loadavg: 1.04 1.28 1.11 2/107 8796
/proc/meminfo: memFree=1644008/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=175388 CPUtime=462.18
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 204532 0 0 0 45488 730 0 0 25 0 1 0 414673 179597312 40359 1992294400 4194304 9819077 140735777144960 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 43847 40359 721 1374 0 42468 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 175388

[startup+522.301 s]
/proc/loadavg: 1.01 1.22 1.10 2/107 8798
/proc/meminfo: memFree=1643760/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=175668 CPUtime=522.17
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 204598 0 0 0 51398 819 0 0 25 0 1 0 414673 179884032 40425 1992294400 4194304 9819077 140735777144960 18446744073709551615 5925718 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 43917 40425 721 1374 0 42538 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 175668

[startup+582.302 s]
/proc/loadavg: 1.00 1.18 1.09 2/107 8800
/proc/meminfo: memFree=1643760/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=175668 CPUtime=582.15
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 204608 0 0 0 57306 909 0 0 25 0 1 0 414673 179884032 40435 1992294400 4194304 9819077 140735777144960 18446744073709551615 4648638 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 43917 40435 721 1374 0 42538 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 175668

[startup+642.302 s]
/proc/loadavg: 1.11 1.18 1.09 2/107 8802
/proc/meminfo: memFree=1643636/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=175808 CPUtime=642.15
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 204639 0 0 0 63216 999 0 0 25 0 1 0 414673 180027392 40466 1992294400 4194304 9819077 140735777144960 18446744073709551615 5917627 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 43952 40466 721 1374 0 42573 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 175808

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 1.19 1.18 1.10 2/107 8808
/proc/meminfo: memFree=1643140/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=176088 CPUtime=882.08
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 204719 0 0 0 86856 1352 0 0 25 0 1 0 414673 180314112 40546 1992294400 4194304 9819077 140735777144960 18446744073709551615 4434049 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 44022 40546 721 1374 0 42643 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 176088

[startup+942.301 s]
/proc/loadavg: 1.07 1.14 1.09 2/107 8810
/proc/meminfo: memFree=1643016/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=176220 CPUtime=942.07
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 204736 0 0 0 92761 1446 0 0 25 0 1 0 414673 180449280 40563 1992294400 4194304 9819077 140735777144960 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 44055 40563 721 1374 0 42676 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 176220

[startup+1002.3 s]
/proc/loadavg: 1.02 1.11 1.08 2/107 8810
/proc/meminfo: memFree=1642768/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=176356 CPUtime=1002.05
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 204770 0 0 0 98668 1537 0 0 25 0 1 0 414673 180588544 40597 1992294400 4194304 9819077 140735777144960 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 44089 40597 721 1374 0 42710 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 176356

[startup+1062.3 s]
/proc/loadavg: 1.01 1.09 1.08 2/107 8812
/proc/meminfo: memFree=1642644/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=176356 CPUtime=1062.04
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 204798 0 0 0 104570 1634 0 0 25 0 1 0 414673 180588544 40625 1992294400 4194304 9819077 140735777144960 18446744073709551615 4652809 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 44089 40625 721 1374 0 42710 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 176356

[startup+1122.3 s]
/proc/loadavg: 1.00 1.07 1.07 2/107 8814
/proc/meminfo: memFree=1642520/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=176500 CPUtime=1122.02
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 204829 0 0 0 110474 1728 0 0 25 0 1 0 414673 180736000 40656 1992294400 4194304 9819077 140735777144960 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 44125 40656 721 1374 0 42746 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 176500

[startup+1182.3 s]
/proc/loadavg: 1.00 1.06 1.07 2/107 8816
/proc/meminfo: memFree=1642272/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=176644 CPUtime=1182.01
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 204872 0 0 0 116385 1816 0 0 25 0 1 0 414673 180883456 40699 1992294400 4194304 9819077 140735777144960 18446744073709551615 5507327 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 44161 40699 721 1374 0 42782 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 176644

[startup+1242.3 s]
/proc/loadavg: 1.00 1.04 1.06 2/107 8827
/proc/meminfo: memFree=1640920/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=176776 CPUtime=1242
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 204894 0 0 0 122300 1900 0 0 25 0 1 0 414673 181018624 40721 1992294400 4194304 9819077 140735777144960 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 44194 40721 721 1374 0 42815 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 176776

[startup+1302.3 s]
/proc/loadavg: 1.00 1.03 1.05 2/107 8827
/proc/meminfo: memFree=1640920/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=177060 CPUtime=1301.98
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 204966 0 0 0 128206 1992 0 0 25 0 1 0 414673 181309440 40793 1992294400 4194304 9819077 140735777144960 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 44265 40793 721 1374 0 42886 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 177060

[startup+1362.3 s]
/proc/loadavg: 1.00 1.02 1.05 2/107 8829
/proc/meminfo: memFree=1640796/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=177196 CPUtime=1361.97
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 204980 0 0 0 134114 2083 0 0 25 0 1 0 414673 181448704 40807 1992294400 4194304 9819077 140735777144960 18446744073709551615 4703875 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 44299 40807 721 1374 0 42920 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 177196

[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 1.04 2/107 8831
/proc/meminfo: memFree=1640672/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=177344 CPUtime=1421.95
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 205016 0 0 0 140019 2176 0 0 25 0 1 0 414673 181600256 40843 1992294400 4194304 9819077 140735777144960 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 44336 40843 721 1374 0 42957 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 177344

[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.04 2/107 8833
/proc/meminfo: memFree=1640672/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=177344 CPUtime=1481.94
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 205026 0 0 0 145928 2266 0 0 25 0 1 0 414673 181600256 40853 1992294400 4194304 9819077 140735777144960 18446744073709551615 5004001 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 44336 40853 721 1374 0 42957 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 177344

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.03 2/107 8835
/proc/meminfo: memFree=1640672/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=177480 CPUtime=1541.92
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 205049 0 0 0 151833 2359 0 0 25 0 1 0 414673 181739520 40876 1992294400 4194304 9819077 140735777144960 18446744073709551615 5917829 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 44370 40876 721 1374 0 42991 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 177480

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 8835
/proc/meminfo: memFree=1640424/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=177616 CPUtime=1601.9
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 205077 0 0 0 157740 2450 0 0 25 0 1 0 414673 181878784 40904 1992294400 4194304 9819077 140735777144960 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 44404 40904 721 1374 0 43025 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 177616

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 8837
/proc/meminfo: memFree=1640176/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=177752 CPUtime=1661.89
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 205127 0 0 0 163647 2542 0 0 25 0 1 0 414673 182018048 40954 1992294400 4194304 9819077 140735777144960 18446744073709551615 4648306 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 44438 40954 721 1374 0 43059 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 177752

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 8839
/proc/meminfo: memFree=1639928/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=177884 CPUtime=1721.88
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 205163 0 0 0 169558 2630 0 0 25 0 1 0 414673 182153216 40990 1992294400 4194304 9819077 140735777144960 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 44471 40990 721 1374 0 43092 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 177884

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 8841
/proc/meminfo: memFree=1639184/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=178412 CPUtime=1781.86
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 205293 0 0 0 175469 2717 0 0 25 0 1 0 414673 182693888 41120 1992294400 4194304 9819077 140735777144960 18446744073709551615 5909708 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 44603 41120 721 1374 0 43224 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 178412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8841
/proc/meminfo: memFree=1639184/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=178412 CPUtime=1800.06
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 205297 0 0 0 177262 2744 0 0 25 0 1 0 414673 182693888 41124 1992294400 4194304 9819077 140735777144960 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2791/statm: 44603 41124 721 1374 0 43224 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 178412

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 8842
/proc/meminfo: memFree=1649096/2059040 swapFree=4165012/4192956
[pid=2791] ppid=2789 vsize=167732 CPUtime=1800.17
/proc/2791/stat : 2791 (pbscip.linux.x8) R 2789 2791 2335 0 -1 4202496 205322 0 0 0 177273 2744 0 0 25 0 1 0 414673 171757568 38502 1992294400 4194304 9819077 140735777144960 18446744073709551615 6027643 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2791/statm: 41933 38502 722 1374 0 40554 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 167732

Child status: 0
Real time (s): 1800.69
CPU time (s): 1800.25
CPU user time (s): 1772.79
CPU system time (s): 27.4678
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (KiB): 218420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1772.79
system time used= 27.4678
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205326
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= 4
involuntary context switches= 2498

runsolver used 2.96055 second user time and 8.67068 second system time

The end

Launcher Data 

Begin job on node050 at 2010-06-15 10:40:31
IDJOB=2665477
IDBENCH=2848
IDSOLVER=1168
FILE ID=node050/2665477-1276591230
PBS_JOBID= 11173562
Free space on /tmp= 62572 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-apex6.b.opb
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-2665477-1276591230/watcher-2665477-1276591230 -o /tmp/evaluation-result-2665477-1276591230/solver-2665477-1276591230 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665477-1276591230.opb -t 1800 -m 1800

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

MD5SUM BENCH= 06ffce7cc6d5515cfd76def90ae69d59
RANDOM SEED=1462299425

node050.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.215
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.215
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1843332 kB
Buffers:         14240 kB
Cached:          92660 kB
SwapCached:        952 kB
Active:          19040 kB
Inactive:       120316 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1843332 kB
SwapTotal:     4192956 kB
SwapFree:      4165012 kB
Dirty:            8576 kB
Writeback:           0 kB
AnonPages:       31336 kB
Mapped:          15452 kB
Slab:            54420 kB
PageTables:       4080 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181604 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62564 MiB
End job on node050 at 2010-06-15 11:10:33