Trace number 2666946

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT (TO)35 1800.23 1800.71

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-bw.b.opb
MD5SUMacd1698068c8e97cbd0c7cd62fe047fc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark119.812
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved NO
Number of variables2847
Total number of constraints4902
Number of constraints which are clauses4902
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 constraint2
Maximum length of a constraint860
Number of terms in the objective function 2847
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 2847
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 2847
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: SoPlex 1.4.2] [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-2666946-1276597208.opb>
0.49/0.54	c original problem has 2847 variables (2847 bin, 0 int, 0 impl, 0 cont) and 4902 constraints
0.49/0.54	c problem read
0.49/0.54	c presolving settings loaded
0.69/0.76	o 2847
0.69/0.76	o 2814
0.69/0.76	c feasible solution found by trivial heuristic, objective value  2.814000e+03
0.69/0.76	c presolving:
1.29/1.36	c (round 1) 0 del vars, 194 del conss, 0 chg bounds, 17 chg sides, 0 chg coeffs, 4875 upgd conss, 6 impls, 0 clqs
1.39/1.46	c    (0.8s) probing: 101/2847 (3.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.39/1.46	c    (0.8s) probing aborted: 100/100 successive totally useless probings
1.39/1.46	c presolving (2 rounds):
1.39/1.46	c  0 deleted vars, 194 deleted constraints, 0 tightened bounds, 0 added holes, 17 changed sides, 0 changed coefficients
1.39/1.46	c  6 implications, 0 cliques
1.39/1.46	c presolved problem has 2847 variables (2847 bin, 0 int, 0 impl, 0 cont) and 4708 constraints
1.39/1.46	c    4708 constraints of type <logicor>
1.39/1.46	c transformed objective value is always integral (scale: 1)
1.39/1.46	c Presolving Time: 0.69
1.39/1.46	c - non default parameters ----------------------------------------------------------------------
1.39/1.46	c # SCIP version 1.2.1.2
1.39/1.46	c 
1.39/1.46	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.39/1.46	c # [type: int, range: [-1,2147483647], default: -1]
1.39/1.46	c conflict/interconss = 0
1.39/1.46	c 
1.39/1.46	c # should binary conflicts be preferred?
1.39/1.46	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.46	c conflict/preferbinary = TRUE
1.39/1.46	c 
1.39/1.46	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.39/1.46	c # [type: int, range: [-1,2147483647], default: 0]
1.39/1.46	c constraints/agelimit = 1
1.39/1.46	c 
1.39/1.46	c # should enforcement of pseudo solution be disabled?
1.39/1.46	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.46	c constraints/disableenfops = TRUE
1.39/1.46	c 
1.39/1.46	c # frequency for displaying node information lines
1.39/1.46	c # [type: int, range: [-1,2147483647], default: 100]
1.39/1.46	c display/freq = 10000
1.39/1.46	c 
1.39/1.46	c # maximal time in seconds to run
1.39/1.46	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.46	c limits/time = 1799.46
1.39/1.46	c 
1.39/1.46	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.39/1.46	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.46	c limits/memory = 1620
1.39/1.46	c 
1.39/1.46	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.39/1.46	c # [type: int, range: [-1,2147483647], default: 1]
1.39/1.46	c lp/solvefreq = 0
1.39/1.46	c 
1.39/1.46	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.39/1.46	c # [type: char, range: {lafpsqd}, default: l]
1.39/1.46	c lp/pricing = a
1.39/1.46	c 
1.39/1.46	c # should presolving try to simplify inequalities
1.39/1.46	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.46	c constraints/linear/simplifyinequalities = TRUE
1.39/1.46	c 
1.39/1.46	c # should presolving try to simplify knapsacks
1.39/1.46	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.46	c constraints/knapsack/simplifyinequalities = TRUE
1.39/1.46	c 
1.39/1.46	c # priority of node selection rule <dfs> in standard mode
1.39/1.46	c # [type: int, range: [-536870912,536870911], default: 0]
1.39/1.46	c nodeselection/dfs/stdpriority = 1000000
1.39/1.46	c 
1.39/1.46	c -----------------------------------------------------------------------------------------------
1.39/1.46	c start solving
1.39/1.46	c 
1.39/1.47	o 2763
1.39/1.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.39/1.47	c t 0.8s|     1 |     0 |     0 |     - |  24M|   0 |   - |2847 |4708 |   0 |   0 |   0 |   0 |   0 |      --      | 2.763000e+03 |    Inf 
1.69/1.76	o 47
1.69/1.76	c b 1.1s|     1 |     0 |     0 |     - |  41M|   0 |   - |2847 |4708 |2847 |4708 |   0 |   0 |   0 |      --      | 4.700000e+01 |    Inf 
2.58/2.69	c   2.0s|     1 |     0 |  1443 |     - |  41M|   0 | 146 |2847 |4708 |2847 |4708 |   0 |   0 |   0 | 2.167221e+01 | 4.700000e+01 | 116.87%
4.08/4.10	c   3.4s|     1 |     0 |  1787 |     - |  41M|   0 | 138 |2847 |4708 |2847 |4711 |   3 |   0 |   0 | 2.201692e+01 | 4.700000e+01 | 113.47%
7.38/7.46	c   6.7s|     1 |     0 |  1927 |     - |  42M|   0 | 135 |2847 |4708 |2847 |4712 |   4 |   0 |   0 | 2.211299e+01 | 4.700000e+01 | 112.54%
9.68/9.76	o 35
9.68/9.76	c E 8.8s|     1 |     0 |  1927 |     - |  42M|   0 | 135 |2847 |4708 |2847 |4712 |   4 |   0 |   0 | 2.211299e+01 | 3.500000e+01 |  58.28%
9.68/9.78	c   8.8s|     1 |     0 |  1927 |     - |  42M|   0 | 135 |2847 |4708 |2847 |4712 |   4 |   0 |   0 | 2.211299e+01 | 3.500000e+01 |  58.28%
19.38/19.44	c  18.3s|     1 |     2 |  1927 |     - |  42M|   0 | 135 |2847 |4708 |2847 |4712 |   4 |   0 |  33 | 2.211299e+01 | 3.500000e+01 |  58.28%
28.97/29.08	c  27.8s| 10000 |  2670 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 |4005 |  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
38.68/38.71	c  37.2s| 20000 |  2649 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 |8699 |  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
47.67/47.76	c  46.0s| 30000 |  2636 |  1927 |   0.0 |  43M|2733 |   - |2847 |4709 |   0 |   0 |   4 |  13k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
56.57/56.60	c  54.6s| 40000 |  2625 |  1927 |   0.0 |  43M|2733 |   - |2847 |4709 |   0 |   0 |   4 |  17k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
66.56/66.62	c  64.5s| 50000 |  2623 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 |  22k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
75.56/75.62	c  73.3s| 60000 |  2622 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 |  26k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
85.96/86.09	c  83.5s| 70000 |  2624 |  1927 |   0.0 |  43M|2733 |   - |2847 |4712 |   0 |   0 |   4 |  31k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
95.46/95.54	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
95.46/95.54	c  92.8s| 80000 |  2621 |  1927 |   0.0 |  43M|2733 |   - |2847 |4709 |   0 |   0 |   4 |  35k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
104.47/104.58	c   102s| 90000 |  2620 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 |  40k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
112.95/113.07	c   110s|100000 |  2621 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 |  44k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
121.55/121.60	c   118s|110000 |  2618 |  1927 |   0.0 |  43M|2733 |   - |2847 |4712 |   0 |   0 |   4 |  49k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
130.05/130.19	c   127s|120000 |  2621 |  1927 |   0.0 |  43M|2733 |   - |2847 |4709 |   0 |   0 |   4 |  53k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
139.74/139.85	c   136s|130000 |  2624 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 |  57k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
148.95/149.02	c   145s|140000 |  2617 |  1927 |   0.0 |  43M|2733 |   - |2847 |4709 |   0 |   0 |   4 |  62k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
157.74/157.83	c   154s|150000 |  2617 |  1927 |   0.0 |  43M|2733 |   - |2847 |4711 |   0 |   0 |   4 |  66k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
166.84/166.98	c   163s|160000 |  2616 |  1927 |   0.0 |  43M|2733 |   - |2847 |4752 |   0 |   0 |   4 |  71k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
176.44/176.57	c   172s|170000 |  2616 |  1927 |   0.0 |  43M|2733 |   - |2847 |4711 |   0 |   0 |   4 |  76k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
185.03/185.19	c   181s|180000 |  2620 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 |  80k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
193.73/193.86	c   189s|190000 |  2614 |  1927 |   0.0 |  43M|2733 |   - |2847 |4710 |   0 |   0 |   4 |  85k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
203.03/203.19	c   198s|200000 |  2613 |  1927 |   0.0 |  43M|2733 |   - |2847 |4712 |   0 |   0 |   4 |  89k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
211.82/211.94	c   207s|210000 |  2612 |  1927 |   0.0 |  43M|2733 |   - |2847 |4711 |   0 |   0 |   4 |  94k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
220.62/220.78	c   215s|220000 |  2608 |  1927 |   0.0 |  43M|2733 |   - |2847 |4709 |   0 |   0 |   4 |  98k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
229.62/229.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
229.62/229.79	c   224s|230000 |  2613 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 102k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
238.53/238.68	c   233s|240000 |  2611 |  1927 |   0.0 |  43M|2733 |   - |2847 |4710 |   0 |   0 |   4 | 106k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
248.02/248.17	c   242s|250000 |  2616 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 111k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
256.72/256.89	c   251s|260000 |  2609 |  1927 |   0.0 |  43M|2733 |   - |2847 |4713 |   0 |   0 |   4 | 116k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
265.51/265.61	c   259s|270000 |  2612 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 120k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
274.32/274.49	c   268s|280000 |  2609 |  1927 |   0.0 |  43M|2733 |   - |2847 |4711 |   0 |   0 |   4 | 124k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
283.41/283.55	c   277s|290000 |  2605 |  1927 |   0.0 |  43M|2733 |   - |2847 |4711 |   0 |   0 |   4 | 128k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
292.10/292.20	c   285s|300000 |  2606 |  1927 |   0.0 |  43M|2733 |   - |2847 |4711 |   0 |   0 |   4 | 132k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
301.60/301.72	c   295s|310000 |  2606 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 136k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
310.61/310.77	c   303s|320000 |  2610 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 141k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
319.80/319.97	c   312s|330000 |  2605 |  1927 |   0.0 |  43M|2733 |   - |2847 |4710 |   0 |   0 |   4 | 145k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
329.10/329.21	c   321s|340000 |  2602 |  1927 |   0.0 |  46M|2733 |   - |2847 |5854 |   0 |   0 |   4 | 150k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
337.90/338.00	c   330s|350000 |  2602 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 154k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
346.90/347.00	c   339s|360000 |  2608 |  1927 |   0.0 |  43M|2733 |   - |2847 |4710 |   0 |   0 |   4 | 158k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
355.89/356.05	c   348s|370000 |  2607 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 163k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
364.59/364.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
364.59/364.74	c   356s|380000 |  2604 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 167k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
373.80/374.00	c   365s|390000 |  2600 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 171k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
382.59/382.78	c   374s|400000 |  2601 |  1927 |   0.0 |  43M|2733 |   - |2847 |4710 |   0 |   0 |   4 | 175k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
391.38/391.52	c   382s|410000 |  2601 |  1927 |   0.0 |  43M|2733 |   - |2847 |4714 |   0 |   0 |   4 | 179k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
400.08/400.23	c   391s|420000 |  2597 |  1927 |   0.0 |  44M|2733 |   - |2847 |5115 |   0 |   0 |   4 | 184k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
409.17/409.37	c   400s|430000 |  2594 |  1927 |   0.0 |  43M|2733 |   - |2847 |4716 |   0 |   0 |   4 | 189k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
418.38/418.58	c   409s|440000 |  2600 |  1927 |   0.0 |  44M|2733 |   - |2847 |4859 |   0 |   0 |   4 | 194k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
428.78/428.95	c   419s|450000 |  2595 |  1927 |   0.0 |  43M|2733 |   - |2847 |4714 |   0 |   0 |   4 | 199k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
438.17/438.37	c   428s|460000 |  2591 |  1927 |   0.0 |  43M|2733 |   - |2847 |4711 |   0 |   0 |   4 | 204k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
448.07/448.21	c   438s|470000 |  2598 |  1927 |   0.0 |  43M|2733 |   - |2847 |4711 |   0 |   0 |   4 | 208k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
456.87/457.07	c   447s|480000 |  2601 |  1927 |   0.0 |  45M|2733 |   - |2847 |5321 |   0 |   0 |   4 | 214k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
466.27/466.40	c   456s|490000 |  2592 |  1927 |   0.0 |  49M|2733 |   - |2847 |6963 |   0 |   0 |   4 | 220k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
475.26/475.46	c   465s|500000 |  2593 |  1927 |   0.0 |  43M|2733 |   - |2847 |4711 |   0 |   0 |   4 | 224k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
484.75/484.99	c   474s|510000 |  2596 |  1927 |   0.0 |  43M|2733 |   - |2847 |4711 |   0 |   0 |   4 | 230k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
493.96/494.18	c   483s|520000 |  2595 |  1927 |   0.0 |  43M|2733 |   - |2847 |4710 |   0 |   0 |   4 | 234k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
503.36/503.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
503.36/503.51	c   492s|530000 |  2594 |  1927 |   0.0 |  43M|2733 |   - |2847 |4711 |   0 |   0 |   4 | 238k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
513.25/513.42	c   502s|540000 |  2590 |  1927 |   0.0 |  44M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 242k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
522.45/522.62	c   511s|550000 |  2595 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 246k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
531.44/531.60	c   520s|560000 |  2594 |  1927 |   0.0 |  43M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 250k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
540.14/540.36	c   528s|570000 |  2592 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 254k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
549.14/549.36	c   537s|580000 |  2588 |  1927 |   0.0 |  43M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 258k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
558.43/558.66	c   546s|590000 |  2591 |  1927 |   0.0 |  43M|2733 |   - |2847 |4713 |   0 |   0 |   4 | 263k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
568.44/568.63	c   556s|600000 |  2597 |  1927 |   0.0 |  44M|2733 |   - |2847 |4715 |   0 |   0 |   4 | 267k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
577.43/577.63	c   565s|610000 |  2594 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 271k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
586.63/586.89	c   574s|620000 |  2590 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 276k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
595.53/595.75	c   582s|630000 |  2593 |  1927 |   0.0 |  43M|2733 |   - |2847 |4711 |   0 |   0 |   4 | 281k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
604.33/604.51	c   591s|640000 |  2589 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 285k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
613.42/613.62	c   600s|650000 |  2591 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 289k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
622.92/623.11	c   609s|660000 |  2587 |  1927 |   0.0 |  43M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 293k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
631.32/631.58	c   617s|670000 |  2590 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 297k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
639.61/639.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
639.61/639.82	c   625s|680000 |  2589 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 300k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
648.01/648.22	c   634s|690000 |  2593 |  1927 |   0.0 |  43M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 304k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
656.91/657.13	c   642s|700000 |  2588 |  1927 |   0.0 |  44M|2733 |   - |2847 |4713 |   0 |   0 |   4 | 308k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
664.91/665.17	c   650s|710000 |  2587 |  1927 |   0.0 |  43M|2733 |   - |2847 |4710 |   0 |   0 |   4 | 312k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
673.71/673.90	c   659s|720000 |  2590 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 316k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
682.01/682.23	c   667s|730000 |  2587 |  1927 |   0.0 |  44M|2733 |   - |2847 |4711 |   0 |   0 |   4 | 321k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
690.10/690.34	c   675s|740000 |  2588 |  1927 |   0.0 |  43M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 325k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
699.20/699.49	c   684s|750000 |  2590 |  1927 |   0.0 |  43M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 329k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
708.40/708.62	c   693s|760000 |  2581 |  1927 |   0.0 |  43M|2733 |   - |2847 |4710 |   0 |   0 |   4 | 333k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
716.91/717.10	c   701s|770000 |  2587 |  1927 |   0.0 |  44M|2733 |   - |2847 |4710 |   0 |   0 |   4 | 338k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
725.80/726.02	c   710s|780000 |  2586 |  1927 |   0.0 |  43M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 342k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
735.60/735.89	c   719s|790000 |  2582 |  1927 |   0.0 |  43M|2733 |   - |2847 |4710 |   0 |   0 |   4 | 348k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
744.68/744.92	c   728s|800000 |  2583 |  1927 |   0.0 |  44M|2733 |   - |2847 |4718 |   0 |   0 |   4 | 354k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
753.19/753.46	c   737s|810000 |  2585 |  1927 |   0.0 |  44M|2733 |   - |2847 |4722 |   0 |   0 |   4 | 359k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
761.78/762.09	c   745s|820000 |  2583 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 363k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
769.98/770.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
769.98/770.28	c   753s|830000 |  2584 |  1927 |   0.0 |  44M|2733 |   - |2847 |4728 |   0 |   0 |   4 | 368k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
778.77/779.00	c   762s|840000 |  2580 |  1927 |   0.0 |  44M|2733 |   - |2847 |4743 |   0 |   0 |   4 | 373k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
787.28/787.53	c   770s|850000 |  2587 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 377k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
796.07/796.31	c   778s|860000 |  2581 |  1927 |   0.0 |  43M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 381k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
805.06/805.37	c   787s|870000 |  2582 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 385k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
814.17/814.44	c   796s|880000 |  2583 |  1927 |   0.0 |  44M|2733 |   - |2847 |4803 |   0 |   0 |   4 | 390k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
822.76/823.06	c   805s|890000 |  2583 |  1927 |   0.0 |  44M|2733 |   - |2847 |4761 |   0 |   0 |   4 | 395k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
831.37/831.68	c   813s|900000 |  2583 |  1927 |   0.0 |  44M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 399k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
841.46/841.70	c   823s|910000 |  2581 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 404k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
849.85/850.11	c   831s|920000 |  2577 |  1927 |   0.0 |  44M|2733 |   - |2847 |4710 |   0 |   0 |   4 | 408k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
858.35/858.63	c   839s|930000 |  2575 |  1927 |   0.0 |  44M|2733 |   - |2847 |4713 |   0 |   0 |   4 | 412k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
865.85/866.17	c   847s|940000 |  2577 |  1927 |   0.0 |  43M|2733 |   - |2847 |4712 |   0 |   0 |   4 | 415k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
873.85/874.18	c   855s|950000 |  2585 |  1927 |   0.0 |  45M|2733 |   - |2847 |5273 |   0 |   0 |   4 | 419k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
881.54/881.87	c   862s|960000 |  2580 |  1927 |   0.0 |  43M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 423k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
889.55/889.86	c   870s|970000 |  2579 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 427k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
896.94/897.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
896.94/897.25	c   877s|980000 |  2575 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 430k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
904.74/905.09	c   885s|990000 |  2577 |  1927 |   0.0 |  43M|2733 |   - |2847 |4711 |   0 |   0 |   4 | 433k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
912.75/913.09	c   893s|  1000k|  2581 |  1927 |   0.0 |  44M|2733 |   - |2847 |4857 |   0 |   0 |   4 | 438k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
920.54/920.85	c   900s|  1010k|  2581 |  1927 |   0.0 |  44M|2733 |   - |2847 |4712 |   0 |   0 |   4 | 442k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
928.73/929.05	c   908s|  1020k|  2583 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 446k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
936.43/936.79	c   916s|  1030k|  2581 |  1927 |   0.0 |  43M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 450k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
943.83/944.13	c   923s|  1040k|  2571 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 453k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
951.83/952.16	c   931s|  1050k|  2577 |  1927 |   0.0 |  44M|2733 |   - |2847 |4723 |   0 |   0 |   4 | 457k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
959.53/959.86	c   938s|  1060k|  2579 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 461k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
967.12/967.48	c   946s|  1070k|  2578 |  1927 |   0.0 |  43M|2733 |   - |2847 |4710 |   0 |   0 |   4 | 465k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
974.72/975.00	c   953s|  1080k|  2579 |  1927 |   0.0 |  43M|2733 |   - |2847 |4710 |   0 |   0 |   4 | 468k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
982.12/982.40	c   960s|  1090k|  2584 |  1927 |   0.0 |  43M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 472k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
989.52/989.82	c   968s|  1100k|  2581 |  1927 |   0.0 |  43M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 477k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
997.92/998.22	c   976s|  1110k|  2577 |  1927 |   0.0 |  43M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 482k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1006.42/1006.72	c   984s|  1120k|  2579 |  1927 |   0.0 |  44M|2733 |   - |2847 |4711 |   0 |   0 |   4 | 486k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1014.51/1014.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1014.51/1014.84	c   992s|  1130k|  2576 |  1927 |   0.0 |  43M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 490k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1022.91/1023.25	c  1000s|  1140k|  2583 |  1927 |   0.0 |  43M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 495k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1031.00/1031.34	c  1008s|  1150k|  2576 |  1927 |   0.0 |  44M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 499k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1038.61/1038.98	c  1016s|  1160k|  2583 |  1927 |   0.0 |  44M|2733 |   - |2847 |4766 |   0 |   0 |   4 | 503k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1046.41/1046.71	c  1023s|  1170k|  2579 |  1927 |   0.0 |  44M|2733 |   - |2847 |4851 |   0 |   0 |   4 | 507k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1054.30/1054.69	c  1031s|  1180k|  2576 |  1927 |   0.0 |  46M|2733 |   - |2847 |5633 |   0 |   0 |   4 | 512k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1062.79/1063.14	c  1039s|  1190k|  2582 |  1927 |   0.0 |  52M|2733 |   - |2847 |8447 |   0 |   0 |   4 | 519k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1072.20/1072.58	c  1049s|  1200k|  2578 |  1927 |   0.0 |  44M|2733 |   - |2847 |4712 |   0 |   0 |   4 | 523k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1080.00/1080.32	c  1056s|  1210k|  2587 |  1927 |   0.0 |  44M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 526k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1088.19/1088.58	c  1064s|  1220k|  2580 |  1927 |   0.0 |  44M|2733 |   - |2847 |4714 |   0 |   0 |   4 | 530k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1096.29/1096.67	c  1072s|  1230k|  2579 |  1927 |   0.0 |  44M|2733 |   - |2847 |4710 |   0 |   0 |   4 | 534k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1103.99/1104.33	c  1080s|  1240k|  2576 |  1927 |   0.0 |  44M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 537k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1111.88/1112.29	c  1087s|  1250k|  2587 |  1927 |   0.0 |  44M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 541k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1119.88/1120.29	c  1095s|  1260k|  2582 |  1927 |   0.0 |  44M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 544k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1127.99/1128.38	c  1103s|  1270k|  2580 |  1927 |   0.0 |  44M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 548k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1135.98/1136.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1135.98/1136.32	c  1111s|  1280k|  2581 |  1927 |   0.0 |  44M|2733 |   - |2847 |4711 |   0 |   0 |   4 | 551k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1144.38/1144.75	c  1119s|  1290k|  2578 |  1927 |   0.0 |  44M|2733 |   - |2847 |4710 |   0 |   0 |   4 | 556k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1152.58/1152.98	c  1127s|  1300k|  2578 |  1927 |   0.0 |  44M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 560k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1161.57/1161.94	c  1136s|  1310k|  2581 |  1927 |   0.0 |  44M|2733 |   - |2847 |4712 |   0 |   0 |   4 | 564k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1169.87/1170.23	c  1144s|  1320k|  2583 |  1927 |   0.0 |  44M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 568k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1178.17/1178.50	c  1152s|  1330k|  2575 |  1927 |   0.0 |  44M|2733 |   - |2847 |4714 |   0 |   0 |   4 | 572k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1186.37/1186.77	c  1160s|  1340k|  2580 |  1927 |   0.0 |  44M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 576k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1194.67/1195.08	c  1168s|  1350k|  2577 |  1927 |   0.0 |  44M|2733 |   - |2847 |4710 |   0 |   0 |   4 | 580k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1202.77/1203.13	c  1176s|  1360k|  2576 |  1927 |   0.0 |  44M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 584k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1210.46/1210.81	c  1184s|  1370k|  2574 |  1927 |   0.0 |  44M|2733 |   - |2847 |4710 |   0 |   0 |   4 | 587k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1218.15/1218.57	c  1191s|  1380k|  2575 |  1927 |   0.0 |  44M|2733 |   - |2847 |4711 |   0 |   0 |   4 | 591k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1227.27/1227.70	c  1200s|  1390k|  2578 |  1927 |   0.0 |  44M|2733 |   - |2847 |4713 |   0 |   0 |   4 | 595k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1236.75/1237.14	c  1209s|  1400k|  2576 |  1927 |   0.0 |  44M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 599k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1245.55/1245.94	c  1218s|  1410k|  2575 |  1927 |   0.0 |  44M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 604k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1254.95/1255.34	c  1227s|  1420k|  2574 |  1927 |   0.0 |  44M|2733 |   - |2847 |4713 |   0 |   0 |   4 | 608k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1264.44/1264.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1264.44/1264.84	c  1236s|  1430k|  2577 |  1927 |   0.0 |  44M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 613k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1272.75/1273.11	c  1245s|  1440k|  2575 |  1927 |   0.0 |  44M|2733 |   - |2847 |4710 |   0 |   0 |   4 | 617k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1281.44/1281.81	c  1253s|  1450k|  2574 |  1927 |   0.0 |  44M|2733 |   - |2847 |4712 |   0 |   0 |   4 | 621k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1290.14/1290.58	c  1262s|  1460k|  2571 |  1927 |   0.0 |  44M|2733 |   - |2847 |4710 |   0 |   0 |   4 | 625k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1298.93/1299.36	c  1270s|  1470k|  2577 |  1927 |   0.0 |  44M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 629k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1306.93/1307.37	c  1278s|  1480k|  2576 |  1927 |   0.0 |  44M|2733 |   - |2847 |4710 |   0 |   0 |   4 | 633k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1314.53/1315.00	c  1286s|  1490k|  2578 |  1927 |   0.0 |  44M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 636k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1322.44/1322.82	c  1293s|  1500k|  2578 |  1927 |   0.0 |  44M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 640k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1330.33/1330.71	c  1301s|  1510k|  2576 |  1927 |   0.0 |  44M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 644k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1338.52/1338.94	c  1309s|  1520k|  2574 |  1927 |   0.0 |  44M|2733 |   - |2847 |4713 |   0 |   0 |   4 | 648k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1346.32/1346.78	c  1317s|  1530k|  2573 |  1927 |   0.0 |  44M|2733 |   - |2847 |4711 |   0 |   0 |   4 | 652k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1355.93/1356.31	c  1326s|  1540k|  2583 |  1927 |   0.0 |  44M|2733 |   - |2847 |4712 |   0 |   0 |   4 | 656k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1365.52/1365.92	c  1335s|  1550k|  2579 |  1927 |   0.0 |  44M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 660k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1374.52/1374.98	c  1344s|  1560k|  2585 |  1927 |   0.0 |  44M|2733 |   - |2847 |4715 |   0 |   0 |   4 | 664k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1382.62/1383.02	c  1352s|  1570k|  2578 |  1927 |   0.0 |  44M|2733 |   - |2847 |4710 |   0 |   0 |   4 | 668k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1390.11/1390.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1390.11/1390.57	c  1359s|  1580k|  2572 |  1927 |   0.0 |  44M|2733 |   - |2847 |4713 |   0 |   0 |   4 | 671k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1398.82/1399.21	c  1368s|  1590k|  2575 |  1927 |   0.0 |  44M|2733 |   - |2847 |4711 |   0 |   0 |   4 | 676k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1407.62/1408.06	c  1377s|  1600k|  2579 |  1927 |   0.0 |  44M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 680k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1416.11/1416.54	c  1385s|  1610k|  2575 |  1927 |   0.0 |  44M|2733 |   - |2847 |4713 |   0 |   0 |   4 | 684k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1425.50/1425.94	c  1394s|  1620k|  2576 |  1927 |   0.0 |  44M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 688k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1434.20/1434.62	c  1403s|  1630k|  2576 |  1927 |   0.0 |  44M|2733 |   - |2847 |4714 |   0 |   0 |   4 | 693k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1442.40/1442.85	c  1411s|  1640k|  2578 |  1927 |   0.0 |  44M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 696k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1451.20/1451.65	c  1419s|  1650k|  2574 |  1927 |   0.0 |  44M|2733 |   - |2847 |4716 |   0 |   0 |   4 | 700k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1459.59/1460.00	c  1427s|  1660k|  2576 |  1927 |   0.0 |  44M|2733 |   - |2847 |4710 |   0 |   0 |   4 | 704k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1467.30/1467.74	c  1435s|  1670k|  2574 |  1927 |   0.0 |  44M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 707k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1475.19/1475.69	c  1443s|  1680k|  2580 |  1927 |   0.0 |  44M|2733 |   - |2847 |4711 |   0 |   0 |   4 | 711k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1483.50/1483.91	c  1451s|  1690k|  2579 |  1927 |   0.0 |  44M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 715k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1492.29/1492.71	c  1460s|  1700k|  2577 |  1927 |   0.0 |  44M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 719k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1501.39/1501.85	c  1468s|  1710k|  2571 |  1927 |   0.0 |  44M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 724k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1509.98/1510.43	c  1477s|  1720k|  2576 |  1927 |   0.0 |  44M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 729k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1519.18/1519.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1519.18/1519.69	c  1486s|  1730k|  2576 |  1927 |   0.0 |  44M|2733 |   - |2847 |4716 |   0 |   0 |   4 | 735k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1527.07/1527.58	c  1494s|  1740k|  2579 |  1927 |   0.0 |  44M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 739k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1535.47/1535.94	c  1502s|  1750k|  2574 |  1927 |   0.0 |  44M|2733 |   - |2847 |4710 |   0 |   0 |   4 | 743k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1544.37/1544.87	c  1511s|  1760k|  2577 |  1927 |   0.0 |  44M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 747k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1552.87/1553.34	c  1519s|  1770k|  2574 |  1927 |   0.0 |  44M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 752k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1561.58/1562.09	c  1527s|  1780k|  2576 |  1927 |   0.0 |  44M|2733 |   - |2847 |4717 |   0 |   0 |   4 | 757k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1569.67/1570.14	c  1535s|  1790k|  2577 |  1927 |   0.0 |  44M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 760k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1578.07/1578.54	c  1543s|  1800k|  2572 |  1927 |   0.0 |  44M|2733 |   - |2847 |4712 |   0 |   0 |   4 | 765k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1586.66/1587.19	c  1552s|  1810k|  2572 |  1927 |   0.0 |  44M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 769k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1595.47/1595.92	c  1560s|  1820k|  2574 |  1927 |   0.0 |  44M|2733 |   - |2847 |4711 |   0 |   0 |   4 | 773k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1604.37/1604.86	c  1569s|  1830k|  2575 |  1927 |   0.0 |  44M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 778k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1612.86/1613.39	c  1578s|  1840k|  2575 |  1927 |   0.0 |  44M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 782k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1621.46/1621.93	c  1586s|  1850k|  2569 |  1927 |   0.0 |  44M|2733 |   - |2847 |4710 |   0 |   0 |   4 | 786k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1630.46/1630.96	c  1595s|  1860k|  2577 |  1927 |   0.0 |  44M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 790k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1640.76/1641.27	c  1605s|  1870k|  2573 |  1927 |   0.0 |  44M|2733 |   - |2847 |4711 |   0 |   0 |   4 | 796k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1649.64/1650.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1649.64/1650.14	c  1614s|  1880k|  2573 |  1927 |   0.0 |  44M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 800k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1658.45/1658.99	c  1622s|  1890k|  2587 |  1927 |   0.0 |  44M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 804k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1666.24/1666.73	c  1630s|  1900k|  2573 |  1927 |   0.0 |  44M|2733 |   - |2847 |4710 |   0 |   0 |   4 | 807k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1674.25/1674.70	c  1638s|  1910k|  2572 |  1927 |   0.0 |  44M|2733 |   - |2847 |4710 |   0 |   0 |   4 | 811k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1682.74/1683.23	c  1646s|  1920k|  2578 |  1927 |   0.0 |  44M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 815k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1691.04/1691.54	c  1654s|  1930k|  2575 |  1927 |   0.0 |  44M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 819k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1699.84/1700.38	c  1663s|  1940k|  2578 |  1927 |   0.0 |  44M|2733 |   - |2847 |4710 |   0 |   0 |   4 | 824k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1708.64/1709.15	c  1671s|  1950k|  2577 |  1927 |   0.0 |  44M|2733 |   - |2847 |4710 |   0 |   0 |   4 | 828k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1716.13/1716.69	c  1679s|  1960k|  2573 |  1927 |   0.0 |  44M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 831k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1724.24/1724.77	c  1686s|  1970k|  2574 |  1927 |   0.0 |  44M|2733 |   - |2847 |4709 |   0 |   0 |   4 | 835k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1732.63/1733.16	c  1695s|  1980k|  2578 |  1927 |   0.0 |  44M|2733 |   - |2847 |4711 |   0 |   0 |   4 | 840k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1741.03/1741.52	c  1703s|  1990k|  2569 |  1927 |   0.0 |  44M|2733 |   - |2847 |4712 |   0 |   0 |   4 | 844k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1749.42/1749.99	c  1711s|  2000k|  2570 |  1927 |   0.0 |  44M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 848k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1756.82/1757.36	c  1718s|  2010k|  2571 |  1927 |   0.0 |  44M|2733 |   - |2847 |4710 |   0 |   0 |   4 | 852k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1765.32/1765.88	c  1727s|  2020k|  2574 |  1927 |   0.0 |  44M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 856k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1774.52/1775.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1774.52/1775.01	c  1736s|  2030k|  2575 |  1927 |   0.0 |  44M|2733 |   - |2847 |4712 |   0 |   0 |   4 | 860k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1783.41/1783.94	c  1744s|  2040k|  2571 |  1927 |   0.0 |  44M|2733 |   - |2847 |4713 |   0 |   0 |   4 | 865k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1792.31/1792.85	c  1753s|  2050k|  2567 |  1927 |   0.0 |  44M|2733 |   - |2847 |4708 |   0 |   0 |   4 | 869k|  33 | 2.215256e+01 | 3.500000e+01 |  58.00%
1800.02/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.51	c 
1800.02/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.51	c Solving Time (sec) : 1760.54
1800.02/1800.51	c Solving Nodes      : 2059104
1800.02/1800.51	c Primal Bound       : +3.50000000000000e+01 (6 solutions)
1800.02/1800.51	c Dual Bound         : +2.21525611125508e+01
1800.02/1800.51	c Gap                : 58.00 %
1800.02/1800.55	s SATISFIABLE
1800.02/1800.55	v -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 
1800.02/1800.55	v -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 
1800.02/1800.55	v -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 
1800.02/1800.55	v -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 
1800.02/1800.55	v -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 x2763 -x2762 -x2761 -x2760 -x2759 -x2758 
1800.02/1800.55	v -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 
1800.02/1800.55	v -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 
1800.02/1800.55	v -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 
1800.02/1800.55	v -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 
1800.02/1800.55	v -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 
1800.02/1800.55	v -x2668 -x2667 x2666 -x2665 x2664 -x2663 -x2662 x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 
1800.02/1800.55	v -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 
1800.02/1800.55	v -x2631 -x2630 -x2629 x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 
1800.02/1800.55	v -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 
1800.02/1800.55	v -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 
1800.02/1800.55	v -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 
1800.02/1800.55	v -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 x2548 -x2547 -x2546 -x2545 -x2544 -x2543 
1800.02/1800.55	v -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 
1800.02/1800.55	v -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 
1800.02/1800.55	v -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 
1800.02/1800.55	v -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 x2474 -x2473 -x2472 -x2471 
1800.02/1800.55	v -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 
1800.02/1800.55	v -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 
1800.02/1800.55	v -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 
1800.02/1800.55	v -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 
1800.02/1800.55	v -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 
1800.02/1800.55	v -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 
1800.02/1800.55	v -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 
1800.02/1800.55	v -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 
1800.02/1800.55	v -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 
1800.02/1800.55	v -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 
1800.02/1800.55	v -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 
1800.02/1800.55	v -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 
1800.02/1800.55	v -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 
1800.02/1800.55	v -x2238 -x2237 x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 
1800.02/1800.55	v -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 
1800.02/1800.55	v -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 
1800.02/1800.55	v -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 
1800.02/1800.55	v -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 
1800.02/1800.55	v -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 
1800.02/1800.55	v -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 
1800.02/1800.55	v -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 
1800.02/1800.55	v -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 
1800.02/1800.55	v -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 
1800.02/1800.55	v -x2059 -x2058 -x2057 -x2056 x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 
1800.02/1800.55	v -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 
1800.02/1800.55	v -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 
1800.02/1800.55	v -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 
1800.02/1800.56	v -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 
1800.02/1800.56	v -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 
1800.02/1800.56	v -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 
1800.02/1800.56	v -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 
1800.02/1800.56	v -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 
1800.02/1800.56	v -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 
1800.02/1800.56	v -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 
1800.02/1800.56	v -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 
1800.02/1800.56	v -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 
1800.02/1800.56	v -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 
1800.02/1800.56	v -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 
1800.02/1800.56	v -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 
1800.02/1800.56	v -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 
1800.02/1800.56	v -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 
1800.02/1800.56	v -x1737 x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 
1800.02/1800.56	v -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 
1800.02/1800.56	v -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 
1800.02/1800.56	v -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 
1800.02/1800.56	v -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 
1800.02/1800.56	v -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 
1800.02/1800.56	v -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 
1800.02/1800.56	v -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 
1800.02/1800.56	v -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 
1800.02/1800.56	v -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 
1800.02/1800.56	v -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 
1800.02/1800.56	v -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 x1529 -x1528 -x1527 -x1526 -x1525 -x1524 
1800.02/1800.56	v -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 
1800.02/1800.56	v -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 
1800.02/1800.56	v -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 
1800.02/1800.56	v -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 
1800.02/1800.56	v -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 
1800.02/1800.56	v -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 
1800.02/1800.56	v -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 
1800.02/1800.56	v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 
1800.02/1800.56	v -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 
1800.02/1800.56	v -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 
1800.02/1800.56	v -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 
1800.02/1800.56	v -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 
1800.02/1800.56	v -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 
1800.02/1800.56	v -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 
1800.02/1800.56	v -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 x1260 -x1259 -x1258 -x1257 -x1256 
1800.02/1800.56	v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 
1800.02/1800.56	v -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 
1800.02/1800.56	v -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 
1800.02/1800.56	v -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 
1800.02/1800.56	v -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 
1800.02/1800.56	v -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 
1800.02/1800.56	v -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 
1800.02/1800.56	v -x1130 -x1129 -x1128 -x1127 x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 
1800.02/1800.56	v -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 
1800.02/1800.56	v -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 
1800.02/1800.56	v -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 
1800.02/1800.56	v -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 
1800.02/1800.56	v -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 
1800.02/1800.56	v -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 
1800.02/1800.56	v -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 
1800.02/1800.56	v -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 
1800.02/1800.56	v -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 x949 -x948 -x947 -x946 -x945 -x944 
1800.02/1800.56	v -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 
1800.02/1800.56	v -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 x905 -x904 -x903 -x902 
1800.02/1800.56	v -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 
1800.02/1800.56	v -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 
1800.02/1800.56	v -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 
1800.02/1800.56	v -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 
1800.02/1800.56	v -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 
1800.02/1800.56	v -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 
1800.02/1800.56	v -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 
1800.02/1800.56	v -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 
1800.02/1800.56	v -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 
1800.02/1800.56	v -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 
1800.02/1800.56	v -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 
1800.02/1800.56	v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 
1800.02/1800.56	v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 
1800.02/1800.56	v -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 
1800.02/1800.56	v -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 
1800.02/1800.56	v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 x573 -x572 -x571 -x570 -x569 -x568 
1800.02/1800.56	v -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 
1800.02/1800.56	v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 
1800.02/1800.56	v -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 
1800.02/1800.56	v -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 
1800.02/1800.56	v -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 
1800.02/1800.56	v -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 
1800.02/1800.56	v -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 
1800.02/1800.56	v -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 
1800.02/1800.56	v -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 
1800.02/1800.56	v -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 
1800.02/1800.56	v -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 
1800.02/1800.56	v -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 
1800.02/1800.56	v -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 
1800.02/1800.56	v -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 
1800.02/1800.56	v -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 
1800.02/1800.56	v -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 
1800.02/1800.56	v -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 
1800.02/1800.56	v -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 
1800.02/1800.56	v -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 
1800.02/1800.56	v -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 
1800.02/1800.56	v -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 
1800.02/1800.56	v -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 
1800.02/1800.56	v -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 
1800.02/1800.56	v -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 
1800.02/1800.56	v -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 x39 -x38 x37 x36 
1800.02/1800.56	v -x35 -x34 x33 -x32 -x31 -x30 x29 x28 x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 
1800.02/1800.56	v -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1800.02/1800.56	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.56	c Solving Time       :    1760.54
1800.02/1800.56	c Original Problem   :
1800.02/1800.56	c   Problem name     : HOME/instance-2666946-1276597208.opb
1800.02/1800.56	c   Variables        : 2847 (2847 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.56	c   Constraints      : 4902 initial, 4902 maximal
1800.02/1800.56	c Presolved Problem  :
1800.02/1800.56	c   Problem name     : t_HOME/instance-2666946-1276597208.opb
1800.02/1800.56	c   Variables        : 2847 (2847 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.56	c   Constraints      : 4708 initial, 8467 maximal
1800.02/1800.56	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.02/1800.56	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.56	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.56	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.56	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.56	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.56	c   probing          :       0.05          0          0          0          0          0          0          0          0
1800.02/1800.56	c   linear           :       0.33          0          0          0          0          0         27         17          0
1800.02/1800.56	c   logicor          :       0.22          0          0          0          0          0        167          0          0
1800.02/1800.56	c   root node        :          -          0          -          -          0          -          -          -          -
1800.02/1800.56	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.56	c   integral         :          0          0          0          1          0          0          0          0          0          2
1800.02/1800.56	c   logicor          :       4708+         3    2669581          0          0     233510    2884033          0          0          0
1800.02/1800.56	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.02/1800.56	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.02/1800.56	c   integral         :       8.70       0.00       0.00       8.70       0.00
1800.02/1800.56	c   logicor          :     305.00       0.00     305.00       0.00       0.00
1800.02/1800.56	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.02/1800.56	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.02/1800.56	c   vbounds          :       2.41          2          0          0
1800.02/1800.56	c   rootredcost      :       2.49          0          0          0
1800.02/1800.56	c   pseudoobj        :    1151.30    5502289     573262   24648118
1800.02/1800.56	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.02/1800.56	c   propagation      :     665.07     805369     805369     805369      289.3      52666      267.4          -
1800.02/1800.56	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.56	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.56	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.56	c   pseudo solution  :      19.30      17766      17766      17766      218.6       1316      276.0          -
1800.02/1800.56	c   applied globally :          -          -          -     591096      183.5          -          -          -
1800.02/1800.56	c   applied locally  :          -          -          -     283308      499.1          -          -          -
1800.02/1800.56	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.02/1800.56	c   cut pool         :       0.00          2          -          -          0          -    (maximal pool size: 13)
1800.02/1800.56	c   redcost          :       0.01          4          0          0          0          0
1800.02/1800.56	c   impliedbounds    :       0.00          4          0          0          0          0
1800.02/1800.56	c   intobj           :       0.00          0          0          0          0          0
1800.02/1800.56	c   cgmip            :       0.00          0          0          0          0          0
1800.02/1800.56	c   gomory           :       1.79          4          0          0        500          0
1800.02/1800.56	c   strongcg         :       3.42          4          0          0       1000          0
1800.02/1800.56	c   cmir             :       0.23          4          0          0          0          0
1800.02/1800.56	c   flowcover        :       0.27          4          0          0          0          0
1800.02/1800.56	c   clique           :       0.00          1          0          0          0          0
1800.02/1800.56	c   zerohalf         :       0.00          0          0          0          0          0
1800.02/1800.56	c   mcf              :       0.03          1          0          0          0          0
1800.02/1800.56	c   rapidlearning    :       0.00          0          0          0          0          0
1800.02/1800.56	c Pricers            :       Time      Calls       Vars
1800.02/1800.56	c   problem variables:       0.00          0          0
1800.02/1800.56	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.56	c   relpscost        :       8.70          1          0          0          0          0          2
1800.02/1800.56	c   pscost           :       0.00          0          0          0          0          0          0
1800.02/1800.56	c   inference        :      74.17    1635308          0          0          0          0    3270616
1800.02/1800.56	c   mostinf          :       0.00          0          0          0          0          0          0
1800.02/1800.56	c   leastinf         :       0.00          0          0          0          0          0          0
1800.02/1800.56	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.02/1800.56	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.02/1800.56	c   random           :       0.00          0          0          0          0          0          0
1800.02/1800.56	c Primal Heuristics  :       Time      Calls      Found
1800.02/1800.56	c   LP solutions     :       0.00          -          0
1800.02/1800.56	c   pseudo solutions :       0.00          -          0
1800.02/1800.56	c   crossover        :       0.00          0          0
1800.02/1800.56	c   oneopt           :       1.80          3          1
1800.02/1800.56	c   trivial          :       0.03          2          4
1800.02/1800.56	c   simplerounding   :       0.00          3          0
1800.02/1800.56	c   zirounding       :       0.00          1          0
1800.02/1800.56	c   rounding         :       0.01          3          0
1800.02/1800.56	c   shifting         :       0.00          3          0
1800.02/1800.56	c   intshifting      :       0.00          0          0
1800.02/1800.56	c   twoopt           :       0.00          0          0
1800.02/1800.56	c   fixandinfer      :       0.00          0          0
1800.02/1800.56	c   feaspump         :       0.00          0          0
1800.02/1800.56	c   coefdiving       :       0.00          0          0
1800.02/1800.56	c   pscostdiving     :       0.00          0          0
1800.02/1800.56	c   fracdiving       :       0.00          0          0
1800.02/1800.56	c   veclendiving     :       0.00          0          0
1800.02/1800.56	c   intdiving        :       0.00          0          0
1800.02/1800.56	c   actconsdiving    :       0.00          0          0
1800.02/1800.56	c   objpscostdiving  :       0.00          0          0
1800.02/1800.56	c   rootsoldiving    :       0.00          0          0
1800.02/1800.56	c   linesearchdiving :       0.00          0          0
1800.02/1800.56	c   guideddiving     :       0.00          0          0
1800.02/1800.56	c   octane           :       0.00          0          0
1800.02/1800.56	c   rens             :       1.38          1          1
1800.02/1800.56	c   rins             :       0.00          0          0
1800.02/1800.56	c   localbranching   :       0.00          0          0
1800.02/1800.56	c   mutation         :       0.00          0          0
1800.02/1800.56	c   dins             :       0.00          0          0
1800.02/1800.56	c   undercover       :       0.00          0          0
1800.02/1800.56	c   nlp              :       1.51          0          0
1800.02/1800.56	c   trysol           :       0.92          0          0
1800.02/1800.56	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.02/1800.56	c   primal LP        :       0.01          0          0       0.00       0.00
1800.02/1800.56	c   dual LP          :       1.33          3       1927     642.33    1448.87
1800.02/1800.56	c   lex dual LP      :       0.00          0          0       0.00          -
1800.02/1800.56	c   barrier LP       :       0.00          0          0       0.00          -
1800.02/1800.56	c   diving/probing LP:       0.00          0          0       0.00          -
1800.02/1800.56	c   strong branching :       8.70         33      10347     313.55    1189.31
1800.02/1800.56	c     (at root node) :          -         33      10347     313.55          -
1800.02/1800.56	c   conflict analysis:       0.00          0          0       0.00          -
1800.02/1800.56	c B&B Tree           :
1800.02/1800.56	c   number of runs   :          1
1800.02/1800.56	c   nodes            :    2059104
1800.02/1800.56	c   nodes (total)    :    2059104
1800.02/1800.56	c   nodes left       :       2573
1800.02/1800.56	c   max depth        :       2733
1800.02/1800.56	c   max depth (total):       2733
1800.02/1800.56	c   backtracks       :     458485 (22.3%)
1800.02/1800.56	c   delayed cutoffs  :     441565
1800.02/1800.56	c   repropagations   :     965805 (10649332 domain reductions, 400743 cutoffs)
1800.02/1800.56	c   avg switch length:       2.35
1800.02/1800.56	c   switching time   :      73.91
1800.02/1800.56	c Solution           :
1800.02/1800.56	c   Solutions found  :          6 (5 improvements)
1800.02/1800.56	c   First Solution   : +2.84700000000000e+03   (in run 1, after 0 nodes, 0.15 seconds, depth 0, found by <trivial>)
1800.02/1800.56	c   Primal Bound     : +3.50000000000000e+01   (in run 1, after 1 nodes, 8.82 seconds, depth 0, found by <rens>)
1800.02/1800.56	c   Dual Bound       : +2.21525611125508e+01
1800.02/1800.56	c   Gap              :      58.00 %
1800.02/1800.56	c   Root Dual Bound  : +2.21129905277402e+01
1800.02/1800.56	c   Root Iterations  :       1927
1800.22/1800.70	c Time complete: 1800.22.

Verifier Data 

OK	35

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666946-1276597208/watcher-2666946-1276597208 -o /tmp/evaluation-result-2666946-1276597208/solver-2666946-1276597208 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666946-1276597208.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.06 1.04 1.00 3/105 9066
/proc/meminfo: memFree=1550948/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=7724 CPUtime=0
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 1126 0 0 0 0 0 0 0 23 0 1 0 1014394 7909376 1044 1992294400 4194304 8223781 140735029896736 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9066/statm: 1931 1053 348 984 0 944 0

[startup+0.0777811 s]
/proc/loadavg: 1.06 1.04 1.00 3/105 9066
/proc/meminfo: memFree=1550948/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=12636 CPUtime=0.06
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 2476 0 0 0 6 0 0 0 25 0 1 0 1014394 12939264 2394 1992294400 4194304 8223781 140735029896736 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9066/statm: 3159 2394 365 984 0 2172 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12636

[startup+0.100782 s]
/proc/loadavg: 1.06 1.04 1.00 3/105 9066
/proc/meminfo: memFree=1550948/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=12924 CPUtime=0.09
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 2555 0 0 0 8 1 0 0 25 0 1 0 1014394 13234176 2473 1992294400 4194304 8223781 140735029896736 18446744073709551615 5652610 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9066/statm: 3231 2473 365 984 0 2244 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12924

[startup+0.300804 s]
/proc/loadavg: 1.06 1.04 1.00 3/105 9066
/proc/meminfo: memFree=1550948/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=17072 CPUtime=0.29
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 3569 0 0 0 28 1 0 0 25 0 1 0 1014394 17481728 3487 1992294400 4194304 8223781 140735029896736 18446744073709551615 4640689 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9066/statm: 4268 3487 365 984 0 3281 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17072

[startup+0.70085 s]
/proc/loadavg: 1.06 1.04 1.00 3/105 9066
/proc/meminfo: memFree=1550948/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=56908 CPUtime=0.69
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 13695 0 0 0 64 5 0 0 25 0 1 0 1014394 58273792 13249 1992294400 4194304 8223781 140735029896736 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 14227 13262 390 984 0 13240 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56908

[startup+1.50195 s]
/proc/loadavg: 1.06 1.04 1.00 2/106 9067
/proc/meminfo: memFree=1491172/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=72048 CPUtime=1.49
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 19262 0 0 0 139 10 0 0 25 0 1 0 1014394 73777152 16918 1992294400 4194304 8223781 140735029896736 18446744073709551615 4355481 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9066/statm: 18012 16918 488 984 0 17025 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 72048

[startup+3.10112 s]
/proc/loadavg: 1.06 1.04 1.00 2/106 9067
/proc/meminfo: memFree=1449632/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=121904 CPUtime=3.08
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 32575 0 0 0 292 16 0 0 25 0 1 0 1014394 124829696 27797 1992294400 4194304 8223781 140735029896736 18446744073709551615 6054136 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 30476 27797 540 984 0 29489 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 121904

[startup+6.30047 s]
/proc/loadavg: 1.06 1.04 1.00 2/106 9067
/proc/meminfo: memFree=1423220/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=152220 CPUtime=6.28
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 42413 0 0 0 607 21 0 0 25 0 1 0 1014394 155873280 34899 1992294400 4194304 8223781 140735029896736 18446744073709551615 6054219 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 38055 34899 558 984 0 37068 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 152220

[startup+12.7002 s]
/proc/loadavg: 1.05 1.04 1.00 2/106 9067
/proc/meminfo: memFree=1412804/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=151568 CPUtime=12.68
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 68926 0 0 0 1223 45 0 0 25 0 1 0 1014394 155205632 34707 1992294400 4194304 8223781 140735029896736 18446744073709551615 6520867 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 37892 34707 589 984 0 36905 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 151568

[startup+25.5016 s]
/proc/loadavg: 1.04 1.03 1.00 2/106 9067
/proc/meminfo: memFree=1404868/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=161864 CPUtime=25.48
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 85340 0 0 0 2479 69 0 0 25 0 1 0 1014394 165748736 37010 1992294400 4194304 8223781 140735029896736 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 40466 37010 591 984 0 39479 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 161864

[startup+51.1014 s]
/proc/loadavg: 1.02 1.03 1.00 2/106 9067
/proc/meminfo: memFree=1399660/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=167400 CPUtime=51.07
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 86569 0 0 0 4980 127 0 0 25 0 1 0 1014394 171417600 38239 1992294400 4194304 8223781 140735029896736 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 41850 38239 591 984 0 40863 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 167400

[startup+102.308 s]
/proc/loadavg: 1.01 1.02 1.00 2/106 9069
/proc/meminfo: memFree=1392344/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=175028 CPUtime=102.26
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 88337 0 0 0 9993 233 0 0 25 0 1 0 1014394 179228672 40007 1992294400 4194304 8223781 140735029896736 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 43757 40007 591 984 0 42770 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 175028

[startup+162.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 9071
/proc/meminfo: memFree=1388128/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=179784 CPUtime=162.25
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 89378 0 0 0 15864 361 0 0 25 0 1 0 1014394 184098816 41048 1992294400 4194304 8223781 140735029896736 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 44946 41048 591 984 0 43959 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 179784

[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 9073
/proc/meminfo: memFree=1384780/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=183528 CPUtime=222.23
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 90197 0 0 0 21731 492 0 0 25 0 1 0 1014394 187932672 41867 1992294400 4194304 8223781 140735029896736 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 45882 41867 591 984 0 44895 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 183528

[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 9075
/proc/meminfo: memFree=1383292/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=185144 CPUtime=282.21
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 90565 0 0 0 27602 619 0 0 25 0 1 0 1014394 189587456 42235 1992294400 4194304 8223781 140735029896736 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 46286 42235 591 984 0 45299 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 185144

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9075
/proc/meminfo: memFree=1380316/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=187900 CPUtime=342.19
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 91668 0 0 0 33479 740 0 0 25 0 1 0 1014394 192409600 42847 1992294400 4194304 8223781 140735029896736 18446744073709551615 4648638 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 46975 42847 591 984 0 45988 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 187900

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9077
/proc/meminfo: memFree=1379448/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=189216 CPUtime=402.18
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 91969 0 0 0 39351 867 0 0 25 0 1 0 1014394 193757184 43148 1992294400 4194304 8223781 140735029896736 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 47304 43148 591 984 0 46317 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 189216

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9079
/proc/meminfo: memFree=1373868/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=194876 CPUtime=462.16
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 93341 0 0 0 45222 994 0 0 25 0 1 0 1014394 199553024 44520 1992294400 4194304 8223781 140735029896736 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 48719 44520 591 984 0 47732 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 194876

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9081
/proc/meminfo: memFree=1372504/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=196308 CPUtime=522.15
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 93670 0 0 0 51098 1117 0 0 25 0 1 0 1014394 201019392 44849 1992294400 4194304 8223781 140735029896736 18446744073709551615 5507352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 49077 44849 591 984 0 48090 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 196308

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9083
/proc/meminfo: memFree=1371264/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=197776 CPUtime=582.13
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 93961 0 0 0 56968 1245 0 0 25 0 1 0 1014394 202522624 45140 1992294400 4194304 8223781 140735029896736 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 49444 45140 591 984 0 48457 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 197776

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9083
/proc/meminfo: memFree=1370768/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=198064 CPUtime=642.13
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 94044 0 0 0 62838 1375 0 0 25 0 1 0 1014394 202817536 45223 1992294400 4194304 8223781 140735029896736 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 49516 45223 591 984 0 48529 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 198064

[startup+702.301 s]

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

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9094
/proc/meminfo: memFree=1368040/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=200516 CPUtime=942.03
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 94587 0 0 0 92166 2037 0 0 25 0 1 0 1014394 205328384 45766 1992294400 4194304 8223781 140735029896736 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 50129 45766 591 984 0 49142 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 200516

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9096
/proc/meminfo: memFree=1367792/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=200788 CPUtime=1002.02
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 94648 0 0 0 98032 2170 0 0 25 0 1 0 1014394 205606912 45827 1992294400 4194304 8223781 140735029896736 18446744073709551615 5507169 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 50197 45827 591 984 0 49210 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 200788

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9098
/proc/meminfo: memFree=1364320/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=204436 CPUtime=1062
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 95551 0 0 0 103901 2299 0 0 25 0 1 0 1014394 209342464 46730 1992294400 4194304 8223781 140735029896736 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 51109 46730 591 984 0 50122 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 204436

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9100
/proc/meminfo: memFree=1363824/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=204572 CPUtime=1121.98
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 95593 0 0 0 109769 2429 0 0 25 0 1 0 1014394 209481728 46772 1992294400 4194304 8223781 140735029896736 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 51143 46772 591 984 0 50156 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 204572

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9100
/proc/meminfo: memFree=1363576/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=204708 CPUtime=1181.97
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 95621 0 0 0 115630 2567 0 0 25 0 1 0 1014394 209620992 46800 1992294400 4194304 8223781 140735029896736 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 51177 46800 591 984 0 50190 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 204708

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9102
/proc/meminfo: memFree=1363328/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=204708 CPUtime=1241.96
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 95638 0 0 0 121487 2709 0 0 25 0 1 0 1014394 209620992 46817 1992294400 4194304 8223781 140735029896736 18446744073709551615 4208236 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 51177 46817 591 984 0 50190 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 204708

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9104
/proc/meminfo: memFree=1363080/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=204844 CPUtime=1301.95
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 95656 0 0 0 127365 2830 0 0 25 0 1 0 1014394 209760256 46835 1992294400 4194304 8223781 140735029896736 18446744073709551615 5506134 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 51211 46835 591 984 0 50224 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 204844

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9106
/proc/meminfo: memFree=1362956/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=204980 CPUtime=1361.92
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 95709 0 0 0 133231 2961 0 0 25 0 1 0 1014394 209899520 46888 1992294400 4194304 8223781 140735029896736 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 51245 46888 591 984 0 50258 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 204980

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9108
/proc/meminfo: memFree=1362460/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=205424 CPUtime=1421.91
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 95820 0 0 0 139104 3087 0 0 25 0 1 0 1014394 210354176 46999 1992294400 4194304 8223781 140735029896736 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 51356 46999 591 984 0 50369 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 205424

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9110
/proc/meminfo: memFree=1361716/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=206172 CPUtime=1481.89
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 95978 0 0 0 144979 3210 0 0 25 0 1 0 1014394 211120128 47157 1992294400 4194304 8223781 140735029896736 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 51543 47157 591 984 0 50556 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 206172

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9110
/proc/meminfo: memFree=1360476/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=207408 CPUtime=1541.88
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 96300 0 0 0 150857 3331 0 0 25 0 1 0 1014394 212385792 47479 1992294400 4194304 8223781 140735029896736 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 51852 47479 591 984 0 50865 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 207408

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9112
/proc/meminfo: memFree=1359856/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=207836 CPUtime=1601.86
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 96394 0 0 0 156723 3463 0 0 25 0 1 0 1014394 212824064 47573 1992294400 4194304 8223781 140735029896736 18446744073709551615 5507861 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 51959 47573 591 984 0 50972 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 207836

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9114
/proc/meminfo: memFree=1359608/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=207976 CPUtime=1661.85
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 96449 0 0 0 162597 3588 0 0 25 0 1 0 1014394 212967424 47628 1992294400 4194304 8223781 140735029896736 18446744073709551615 4704769 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 51994 47628 591 984 0 51007 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 207976

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9116
/proc/meminfo: memFree=1359236/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=208284 CPUtime=1721.83
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 96524 0 0 0 168460 3723 0 0 25 0 1 0 1014394 213282816 47703 1992294400 4194304 8223781 140735029896736 18446744073709551615 4642112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 52071 47703 591 984 0 51084 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 208284

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9118
/proc/meminfo: memFree=1358864/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=208284 CPUtime=1781.81
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 96527 0 0 0 174324 3857 0 0 25 0 1 0 1014394 213282816 47706 1992294400 4194304 8223781 140735029896736 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 52071 47706 591 984 0 51084 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 208284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9118
/proc/meminfo: memFree=1358740/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=208284 CPUtime=1800.02
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 96528 0 0 0 176106 3896 0 0 25 0 1 0 1014394 213282816 47707 1992294400 4194304 8223781 140735029896736 18446744073709551615 5921712 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9066/statm: 52071 47707 591 984 0 51084 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 208284

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/107 9119
/proc/meminfo: memFree=1363940/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=202460 CPUtime=1800.13
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 96554 0 0 0 176117 3896 0 0 25 0 1 0 1014394 207319040 46277 1992294400 4194304 8223781 140735029896736 18446744073709551615 6027274 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9066/statm: 50615 46277 593 984 0 49628 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 202460

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9119
/proc/meminfo: memFree=1363940/2059040 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=15684 CPUtime=1800.22
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 2316 0 -1 4202496 96554 0 0 0 176124 3898 0 0 25 0 1 0 1014394 16060416 3464 1992294400 4194304 8223781 140735029896736 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9066/statm: 3862 3405 593 984 0 2875 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 15684

Child status: 0
Real time (s): 1800.71
CPU time (s): 1800.23
CPU user time (s): 1761.25
CPU system time (s): 38.9821
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 213276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1761.25
system time used= 38.9821
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96558
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= 2934

runsolver used 3.01954 second user time and 8.47971 second system time

The end

Launcher Data 

Begin job on node088 at 2010-06-15 12:20:08
IDJOB=2666946
IDBENCH=2888
IDSOLVER=1169
FILE ID=node088/2666946-1276597208
PBS_JOBID= 11173546
Free space on /tmp= 62560 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bw.b.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666946-1276597208/watcher-2666946-1276597208 -o /tmp/evaluation-result-2666946-1276597208/solver-2666946-1276597208 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666946-1276597208.opb -t 1800 -m 1800

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

MD5SUM BENCH= acd1698068c8e97cbd0c7cd62fe047fc
RANDOM SEED=1110289273

node088.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.217
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.217
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	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1551476 kB
Buffers:         45600 kB
Cached:         335808 kB
SwapCached:          0 kB
Active:         191344 kB
Inactive:       250008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1551476 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            7244 kB
Writeback:           0 kB
AnonPages:       59792 kB
Mapped:          15596 kB
Slab:            44516 kB
PageTables:       3972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180788 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= 62556 MiB
End job on node088 at 2010-06-15 12:50:11