Trace number 2666183

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverSAT (TO)122 1800.12 1800.77

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-bench1.r.opb
MD5SUMcb09f183d3805e6536d629586026461f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark121
Best CPU time to get the best result obtained on this benchmark2.72159
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 121
Optimality of the best value was proved YES
Number of variables4688
Total number of constraints403
Number of constraints which are clauses403
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 constraint80
Number of terms in the objective function 4688
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 4688
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4688
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2666183-1276589854.opb>
0.04/0.05	c original problem has 4688 variables (4688 bin, 0 int, 0 impl, 0 cont) and 403 constraints
0.04/0.05	c problem read
0.04/0.05	c presolving settings loaded
0.09/0.10	o 4688
0.09/0.10	c feasible solution found by trivial heuristic, objective value  4.688000e+03
0.09/0.10	c presolving:
0.09/0.12	c (round 1) 0 del vars, 5 del conss, 0 chg bounds, 5 chg sides, 0 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
0.09/0.12	c (round 2) 13 del vars, 6 del conss, 0 chg bounds, 5 chg sides, 0 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
0.09/0.14	c (round 3) 14 del vars, 6 del conss, 0 chg bounds, 5 chg sides, 0 chg coeffs, 397 upgd conss, 2 impls, 0 clqs
0.09/0.19	c    (0.1s) probing: 101/4674 (2.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19	c presolving (4 rounds):
0.09/0.19	c  14 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 5 changed sides, 0 changed coefficients
0.09/0.19	c  2 implications, 0 cliques
0.09/0.19	c presolved problem has 4674 variables (4674 bin, 0 int, 0 impl, 0 cont) and 397 constraints
0.09/0.19	c     397 constraints of type <logicor>
0.09/0.19	c transformed objective value is always integral (scale: 1)
0.09/0.19	c Presolving Time: 0.11
0.09/0.19	c - non default parameters ----------------------------------------------------------------------
0.09/0.19	c # SCIP version 1.2.1.2
0.09/0.19	c 
0.09/0.19	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.19	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19	c conflict/interconss = 0
0.09/0.19	c 
0.09/0.19	c # should binary conflicts be preferred?
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c conflict/preferbinary = TRUE
0.09/0.19	c 
0.09/0.19	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.19	c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.19	c constraints/agelimit = 1
0.09/0.19	c 
0.09/0.19	c # should enforcement of pseudo solution be disabled?
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c constraints/disableenfops = TRUE
0.09/0.19	c 
0.09/0.19	c # frequency for displaying node information lines
0.09/0.19	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19	c display/freq = 10000
0.09/0.19	c 
0.09/0.19	c # maximal time in seconds to run
0.09/0.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19	c limits/time = 1799.96
0.09/0.19	c 
0.09/0.19	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19	c limits/memory = 1620
0.09/0.19	c 
0.09/0.19	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.19	c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.19	c lp/solvefreq = 0
0.09/0.19	c 
0.09/0.19	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)
0.09/0.19	c # [type: char, range: {lafpsqd}, default: l]
0.09/0.19	c lp/pricing = a
0.09/0.19	c 
0.09/0.19	c # should presolving try to simplify inequalities
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c constraints/linear/simplifyinequalities = TRUE
0.09/0.19	c 
0.09/0.19	c # should presolving try to simplify knapsacks
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19	c 
0.09/0.19	c # priority of node selection rule <dfs> in standard mode
0.09/0.19	c # [type: int, range: [-536870912,536870911], default: 0]
0.09/0.19	c nodeselection/dfs/stdpriority = 1000000
0.09/0.19	c 
0.09/0.19	c -----------------------------------------------------------------------------------------------
0.09/0.19	c start solving
0.19/0.20	c 
0.19/0.20	o 4675
0.19/0.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.19/0.20	c t 0.1s|     1 |     0 |     0 |     - |8260k|   0 |   - |4674 | 397 |   0 |   0 |   0 |   0 |   0 |      --      | 4.675000e+03 |    Inf 
0.19/0.22	o 261
0.19/0.22	c b 0.2s|     1 |     0 |     0 |     - |  10M|   0 |   - |4674 | 397 |4674 | 397 |   0 |   0 |   0 |      --      | 2.610000e+02 |    Inf 
0.39/0.41	c   0.3s|     1 |     0 |   863 |     - |  10M|   0 | 187 |4674 | 397 |4674 | 397 |   0 |   0 |   0 | 1.198598e+02 | 2.610000e+02 | 117.75%
0.39/0.41	o 232
0.39/0.41	c r 0.3s|     1 |     0 |   863 |     - |  10M|   0 | 187 |4674 | 397 |4674 | 397 |   0 |   0 |   0 | 1.198598e+02 | 2.320000e+02 |  93.56%
0.39/0.42	o 231
0.39/0.42	c R 0.3s|     1 |     0 |   863 |     - |  10M|   0 | 187 |4674 | 397 |4674 | 397 |   0 |   0 |   0 | 1.198598e+02 | 2.310000e+02 |  92.73%
0.39/0.42	o 230
0.39/0.42	c s 0.4s|     1 |     0 |   863 |     - |  10M|   0 | 187 |4674 | 397 |4674 | 397 |   0 |   0 |   0 | 1.198598e+02 | 2.300000e+02 |  91.89%
0.39/0.43	o 134
0.39/0.43	c b 0.4s|     1 |     0 |   863 |     - |  10M|   0 | 187 |4674 | 397 |4674 | 397 |   0 |   0 |   0 | 1.198598e+02 | 1.340000e+02 |  11.80%
1.39/1.43	c   1.4s|     1 |     0 |   927 |     - |  17M|   0 | 210 |4674 | 397 |4674 | 398 |   1 |   0 |   0 | 1.198986e+02 | 1.340000e+02 |  11.76%
1.49/1.59	c   1.5s|     1 |     0 |  1011 |     - |  17M|   0 | 216 |4674 | 397 |4674 | 399 |   2 |   0 |   0 | 1.199629e+02 | 1.340000e+02 |  11.70%
1.69/1.73	c   1.6s|     1 |     0 |  1059 |     - |  17M|   0 | 209 |4674 | 397 |4674 | 400 |   3 |   0 |   0 | 1.199830e+02 | 1.340000e+02 |  11.68%
2.20/2.22	o 122
2.20/2.22	c E 2.1s|     1 |     0 |  1059 |     - |  18M|   0 | 209 |4674 | 397 |4674 | 400 |   3 |   0 |   0 | 1.199830e+02 | 1.220000e+02 |   1.68%
2.20/2.25	c   2.1s|     1 |     0 |  1059 |     - |  18M|   0 | 209 |4674 | 397 |4674 | 400 |   3 |   0 |   0 | 1.199830e+02 | 1.220000e+02 |   1.68%
3.49/3.59	c   3.4s|     1 |     2 |  1059 |     - |  18M|   0 | 209 |4674 | 397 |4674 | 400 |   3 |   0 |  24 | 1.199830e+02 | 1.220000e+02 |   1.68%
28.88/28.93	c  28.5s| 10000 |  3873 |  1059 |   0.0 |  20M|3935 |   - |4674 | 398 |   0 |   0 |   3 |3289 |  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
60.17/60.20	c  59.5s| 20000 |  3854 |  1059 |   0.0 |  20M|3935 |   - |4674 | 400 |   0 |   0 |   3 |8292 |  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
85.56/85.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
85.56/85.60	c  84.7s| 30000 |  3838 |  1059 |   0.0 |  20M|3935 |   - |4674 | 397 |   0 |   0 |   3 |  12k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
111.25/111.35	c   110s| 40000 |  3826 |  1059 |   0.0 |  20M|3935 |   - |4674 | 397 |   0 |   0 |   3 |  16k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
142.74/142.90	c   141s| 50000 |  3812 |  1059 |   0.0 |  20M|3935 |   - |4674 | 400 |   0 |   0 |   3 |  21k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
169.82/169.97	c   168s| 60000 |  3810 |  1059 |   0.0 |  20M|3935 |   - |4674 | 398 |   0 |   0 |   3 |  26k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
204.71/204.82	c   203s| 70000 |  3807 |  1059 |   0.0 |  20M|3935 |   - |4674 | 397 |   0 |   0 |   3 |  32k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
238.70/238.84	c   237s| 80000 |  3805 |  1059 |   0.0 |  20M|3935 |   - |4674 | 397 |   0 |   0 |   3 |  37k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
265.59/265.74	c   263s| 90000 |  3802 |  1059 |   0.0 |  20M|3935 |   - |4674 | 404 |   0 |   0 |   3 |  42k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
292.78/292.92	c   290s|100000 |  3797 |  1059 |   0.0 |  20M|3935 |   - |4674 | 404 |   0 |   0 |   3 |  47k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
321.77/321.92	c   319s|110000 |  3796 |  1059 |   0.0 |  20M|3935 |   - |4674 | 399 |   0 |   0 |   3 |  52k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
350.26/350.49	c   347s|120000 |  3793 |  1059 |   0.0 |  20M|3935 |   - |4674 | 401 |   0 |   0 |   3 |  56k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
382.66/382.90	c   379s|130000 |  3794 |  1059 |   0.0 |  20M|3935 |   - |4674 | 405 |   0 |   0 |   3 |  62k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
415.04/415.21	c   411s|140000 |  3793 |  1059 |   0.0 |  20M|3935 |   - |4674 | 397 |   0 |   0 |   3 |  67k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
446.73/446.97	c   443s|150000 |  3788 |  1059 |   0.0 |  20M|3935 |   - |4674 | 397 |   0 |   0 |   3 |  73k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
480.01/480.24	c   476s|160000 |  3788 |  1059 |   0.0 |  20M|3935 |   - |4674 | 397 |   0 |   0 |   3 |  78k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
510.00/510.27	c   506s|170000 |  3788 |  1059 |   0.0 |  20M|3935 |   - |4674 | 400 |   0 |   0 |   3 |  83k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
540.40/540.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
540.40/540.69	c   536s|180000 |  3787 |  1059 |   0.0 |  20M|3935 |   - |4674 | 397 |   0 |   0 |   3 |  88k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
576.28/576.53	c   571s|190000 |  3790 |  1059 |   0.0 |  20M|3935 |   - |4674 | 401 |   0 |   0 |   3 |  94k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
603.77/604.01	c   598s|200000 |  3789 |  1059 |   0.0 |  20M|3935 |   - |4674 | 400 |   0 |   0 |   3 |  99k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
634.37/634.70	c   629s|210000 |  3788 |  1059 |   0.0 |  20M|3935 |   - |4674 | 400 |   0 |   0 |   3 | 104k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
664.85/665.10	c   659s|220000 |  3787 |  1059 |   0.0 |  20M|3935 |   - |4674 | 397 |   0 |   0 |   3 | 110k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
692.54/692.85	c   687s|230000 |  3785 |  1059 |   0.0 |  20M|3935 |   - |4674 | 397 |   0 |   0 |   3 | 114k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
717.83/718.19	c   712s|240000 |  3788 |  1059 |   0.0 |  20M|3935 |   - |4674 | 398 |   0 |   0 |   3 | 119k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
750.72/751.02	c   744s|250000 |  3788 |  1059 |   0.0 |  20M|3935 |   - |4674 | 400 |   0 |   0 |   3 | 124k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
785.60/785.94	c   779s|260000 |  3791 |  1059 |   0.0 |  20M|3935 |   - |4674 | 403 |   0 |   0 |   3 | 130k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
819.30/819.63	c   812s|270000 |  3786 |  1059 |   0.0 |  20M|3935 |   - |4674 | 402 |   0 |   0 |   3 | 136k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
850.78/851.11	c   843s|280000 |  3786 |  1059 |   0.0 |  20M|3935 |   - |4674 | 399 |   0 |   0 |   3 | 142k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
879.87/880.27	c   872s|290000 |  3781 |  1059 |   0.0 |  20M|3935 |   - |4674 | 400 |   0 |   0 |   3 | 146k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
908.67/909.06	c   901s|300000 |  3790 |  1059 |   0.0 |  20M|3935 |   - |4674 | 400 |   0 |   0 |   3 | 151k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
939.96/940.33	c   932s|310000 |  3783 |  1059 |   0.0 |  20M|3935 |   - |4674 | 409 |   0 |   0 |   3 | 157k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
970.95/971.39	c   963s|320000 |  3783 |  1059 |   0.0 |  20M|3935 |   - |4674 | 402 |   0 |   0 |   3 | 162k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
1005.13/1005.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1005.13/1005.50	c   996s|330000 |  3784 |  1059 |   0.0 |  20M|3935 |   - |4674 | 397 |   0 |   0 |   3 | 168k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
1033.82/1034.27	c  1025s|340000 |  3785 |  1059 |   0.0 |  20M|3935 |   - |4674 | 403 |   0 |   0 |   3 | 173k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
1064.51/1064.92	c  1055s|350000 |  3787 |  1059 |   0.0 |  20M|3935 |   - |4674 | 397 |   0 |   0 |   3 | 178k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
1097.20/1097.65	c  1088s|360000 |  3780 |  1059 |   0.0 |  20M|3935 |   - |4674 | 398 |   0 |   0 |   3 | 184k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
1125.78/1126.24	c  1116s|370000 |  3784 |  1059 |   0.0 |  20M|3935 |   - |4674 | 405 |   0 |   0 |   3 | 188k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
1154.17/1154.69	c  1144s|380000 |  3788 |  1059 |   0.0 |  20M|3935 |   - |4674 | 406 |   0 |   0 |   3 | 193k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
1184.87/1185.39	c  1175s|390000 |  3786 |  1059 |   0.0 |  20M|3935 |   - |4674 | 400 |   0 |   0 |   3 | 198k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
1214.85/1215.36	c  1204s|400000 |  3787 |  1059 |   0.0 |  20M|3935 |   - |4674 | 406 |   0 |   0 |   3 | 204k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
1240.94/1241.44	c  1230s|410000 |  3784 |  1059 |   0.0 |  20M|3935 |   - |4674 | 405 |   0 |   0 |   3 | 208k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
1269.43/1269.96	c  1259s|420000 |  3785 |  1059 |   0.0 |  20M|3935 |   - |4674 | 398 |   0 |   0 |   3 | 213k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
1300.22/1300.79	c  1289s|430000 |  3781 |  1059 |   0.0 |  20M|3935 |   - |4674 | 408 |   0 |   0 |   3 | 218k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
1328.92/1329.47	c  1318s|440000 |  3779 |  1059 |   0.0 |  20M|3935 |   - |4674 | 398 |   0 |   0 |   3 | 223k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
1356.70/1357.27	c  1345s|450000 |  3786 |  1059 |   0.0 |  20M|3935 |   - |4674 | 398 |   0 |   0 |   3 | 228k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
1388.50/1389.08	c  1377s|460000 |  3787 |  1059 |   0.0 |  20M|3935 |   - |4674 | 403 |   0 |   0 |   3 | 233k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
1421.58/1422.15	c  1409s|470000 |  3781 |  1059 |   0.0 |  20M|3935 |   - |4674 | 397 |   0 |   0 |   3 | 239k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
1450.97/1451.52	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1450.97/1451.52	c  1439s|480000 |  3783 |  1059 |   0.0 |  20M|3935 |   - |4674 | 402 |   0 |   0 |   3 | 244k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
1479.76/1480.36	c  1467s|490000 |  3785 |  1059 |   0.0 |  20M|3935 |   - |4674 | 400 |   0 |   0 |   3 | 249k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
1510.54/1511.12	c  1498s|500000 |  3784 |  1059 |   0.0 |  20M|3935 |   - |4674 | 402 |   0 |   0 |   3 | 254k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
1541.74/1542.32	c  1529s|510000 |  3783 |  1059 |   0.0 |  20M|3935 |   - |4674 | 397 |   0 |   0 |   3 | 259k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
1570.93/1571.50	c  1557s|520000 |  3778 |  1059 |   0.0 |  20M|3935 |   - |4674 | 412 |   0 |   0 |   3 | 264k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
1600.51/1601.15	c  1587s|530000 |  3786 |  1059 |   0.0 |  20M|3935 |   - |4674 | 405 |   0 |   0 |   3 | 269k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
1631.20/1631.83	c  1617s|540000 |  3783 |  1059 |   0.0 |  20M|3935 |   - |4674 | 400 |   0 |   0 |   3 | 274k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
1657.50/1658.19	c  1643s|550000 |  3779 |  1059 |   0.0 |  20M|3935 |   - |4674 | 403 |   0 |   0 |   3 | 279k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
1690.78/1691.40	c  1676s|560000 |  3780 |  1059 |   0.0 |  20M|3935 |   - |4674 | 398 |   0 |   0 |   3 | 284k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
1721.17/1721.86	c  1706s|570000 |  3784 |  1059 |   0.0 |  20M|3935 |   - |4674 | 400 |   0 |   0 |   3 | 290k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
1749.96/1750.61	c  1735s|580000 |  3787 |  1059 |   0.0 |  20M|3935 |   - |4674 | 397 |   0 |   0 |   3 | 294k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
1783.25/1783.99	c  1768s|590000 |  3782 |  1059 |   0.0 |  20M|3935 |   - |4674 | 397 |   0 |   0 |   3 | 300k|  24 | 1.200537e+02 | 1.220000e+02 |   1.62%
1800.06/1800.71	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.71	c 
1800.06/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.71	c Solving Time (sec) : 1784.63
1800.06/1800.71	c Solving Nodes      : 595952
1800.06/1800.71	c Primal Bound       : +1.22000000000000e+02 (13 solutions)
1800.06/1800.71	c Dual Bound         : +1.20053702881076e+02
1800.06/1800.71	c Gap                : 1.62 %
1800.06/1800.72	s SATISFIABLE
1800.06/1800.72	v -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 
1800.06/1800.72	v -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 
1800.06/1800.72	v -x4651 -x4650 -x4649 -x4648 -x4647 x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 
1800.06/1800.72	v -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 
1800.06/1800.72	v -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 
1800.06/1800.72	v -x4598 -x4597 -x4596 -x4595 x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 
1800.06/1800.72	v -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 
1800.06/1800.72	v -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 
1800.06/1800.72	v -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 
1800.06/1800.72	v -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 
1800.06/1800.72	v -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 
1800.06/1800.72	v -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 
1800.06/1800.72	v -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 
1800.06/1800.72	v -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 
1800.06/1800.72	v -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 
1800.06/1800.72	v -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 
1800.06/1800.72	v -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 
1800.06/1800.72	v -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 
1800.06/1800.72	v -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 
1800.06/1800.72	v -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 
1800.06/1800.72	v -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 x4314 -x4313 
1800.06/1800.72	v -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 
1800.06/1800.72	v -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 
1800.06/1800.72	v -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 
1800.06/1800.72	v -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 
1800.06/1800.72	v -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 
1800.06/1800.72	v -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 
1800.06/1800.72	v -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 
1800.06/1800.72	v -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 
1800.06/1800.72	v -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 
1800.06/1800.72	v -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 
1800.06/1800.72	v -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 x4119 -x4118 -x4117 -x4116 
1800.06/1800.72	v -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 
1800.06/1800.72	v -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 
1800.06/1800.72	v -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 
1800.06/1800.72	v -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 
1800.06/1800.72	v -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 
1800.06/1800.72	v -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 
1800.06/1800.72	v -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 
1800.06/1800.72	v -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 
1800.06/1800.72	v -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 
1800.06/1800.72	v -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 
1800.06/1800.72	v -x3936 -x3935 -x3934 x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 
1800.06/1800.72	v -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 
1800.06/1800.72	v -x3900 -x3899 -x3898 -x3897 x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 
1800.06/1800.72	v -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 
1800.06/1800.72	v -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 
1800.06/1800.72	v -x3847 -x3846 -x3845 x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 
1800.06/1800.72	v -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 x3817 -x3816 -x3815 -x3814 -x3813 -x3812 
1800.06/1800.72	v -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 
1800.06/1800.72	v -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 
1800.06/1800.72	v x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 
1800.06/1800.72	v -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 
1800.06/1800.72	v -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 
1800.06/1800.72	v -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 
1800.06/1800.72	v -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 x3686 
1800.06/1800.72	v -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 
1800.06/1800.72	v -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 
1800.06/1800.72	v -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 
1800.06/1800.72	v -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 
1800.06/1800.72	v -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 
1800.06/1800.72	v -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 
1800.06/1800.72	v -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 
1800.06/1800.72	v -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 
1800.06/1800.72	v -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 
1800.06/1800.72	v -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 
1800.06/1800.72	v -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 
1800.06/1800.72	v -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 
1800.06/1800.72	v -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 x3458 -x3457 -x3456 -x3455 -x3454 
1800.06/1800.72	v -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 
1800.06/1800.72	v -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 
1800.06/1800.72	v -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 
1800.06/1800.72	v x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 
1800.06/1800.72	v -x3381 -x3380 x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 
1800.06/1800.72	v -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 x3346 
1800.06/1800.72	v -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 
1800.06/1800.72	v -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 x3310 
1800.06/1800.72	v -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 
1800.06/1800.72	v -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 
1800.06/1800.72	v -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 
1800.06/1800.72	v -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 
1800.06/1800.72	v -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 
1800.06/1800.72	v -x3220 x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 
1800.06/1800.72	v -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 x3185 
1800.06/1800.72	v -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 
1800.06/1800.72	v -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 x3154 -x3153 -x3152 -x3151 -x3150 -x3149 
1800.06/1800.72	v -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 
1800.06/1800.72	v -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 
1800.06/1800.72	v -x3112 -x3111 -x3110 -x3109 x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 
1800.06/1800.72	v -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 
1800.06/1800.72	v -x3076 -x3075 -x3074 -x3073 x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 
1800.06/1800.72	v -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 
1800.06/1800.72	v -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 
1800.06/1800.72	v -x3023 -x3022 x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 
1800.06/1800.72	v -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 
1800.06/1800.72	v -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 x2971 -x2970 
1800.06/1800.72	v -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 x2957 -x2956 -x2955 -x2954 -x2953 -x2952 
1800.06/1800.72	v -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 
1800.06/1800.72	v -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 x2917 -x2916 
1800.06/1800.72	v -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 x2900 -x2899 -x2898 
1800.06/1800.72	v -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 
1800.06/1800.72	v -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 
1800.06/1800.72	v -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 x2847 -x2846 -x2845 -x2844 
1800.06/1800.72	v -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 x2827 -x2826 
1800.06/1800.72	v -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 
1800.06/1800.72	v -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 
1800.06/1800.72	v -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 
1800.06/1800.72	v -x2771 x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 
1800.06/1800.72	v -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 
1800.06/1800.72	v -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 
1800.06/1800.72	v -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 
1800.06/1800.72	v -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 
1800.06/1800.72	v -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 
1800.06/1800.72	v -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 
1800.06/1800.72	v -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 
1800.06/1800.72	v -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 
1800.06/1800.72	v -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 
1800.06/1800.72	v -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 x2581 -x2580 -x2579 -x2578 -x2577 -x2576 
1800.06/1800.72	v -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 
1800.06/1800.72	v -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 
1800.06/1800.72	v -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 
1800.06/1800.72	v -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 x2507 -x2506 -x2505 -x2504 
1800.06/1800.72	v -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 
1800.06/1800.72	v -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 
1800.06/1800.72	v -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 x2450 
1800.06/1800.72	v -x2449 -x2448 -x2447 -x2446 -x2445 x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 
1800.06/1800.72	v -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 
1800.06/1800.72	v x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 
1800.06/1800.72	v -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 
1800.06/1800.72	v -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 
1800.06/1800.72	v -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 
1800.06/1800.72	v x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 
1800.06/1800.72	v -x2324 x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 x2307 -x2306 
1800.06/1800.72	v -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 
1800.06/1800.72	v -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 x2276 -x2275 -x2274 -x2273 -x2272 -x2271 
1800.06/1800.72	v -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 
1800.06/1800.72	v -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 
1800.06/1800.72	v -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 
1800.06/1800.72	v -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 
1800.06/1800.72	v -x2198 x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 
1800.06/1800.72	v -x2180 x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 
1800.06/1800.72	v -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 
1800.06/1800.72	v -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 
1800.06/1800.72	v -x2126 -x2125 -x2124 -x2123 x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 
1800.06/1800.72	v -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 x2093 -x2092 -x2091 
1800.06/1800.72	v -x2090 -x2089 -x2088 -x2087 -x2086 x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 
1800.06/1800.72	v -x2072 -x2071 -x2070 -x2069 x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 
1800.06/1800.72	v -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 
1800.06/1800.72	v -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 
1800.06/1800.72	v -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 
1800.06/1800.72	v -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 
1800.06/1800.72	v -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 
1800.06/1800.72	v x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 
1800.06/1800.72	v -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 
1800.06/1800.72	v -x1929 -x1928 -x1927 -x1926 x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 x1915 -x1914 -x1913 -x1912 
1800.06/1800.72	v -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 
1800.06/1800.72	v -x1893 x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 
1800.06/1800.72	v -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 
1800.06/1800.72	v -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 
1800.06/1800.72	v -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 
1800.06/1800.72	v -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 
1800.06/1800.72	v -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 x1786 
1800.06/1800.72	v -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 
1800.06/1800.72	v -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 x1753 -x1752 -x1751 -x1750 
1800.06/1800.72	v -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 
1800.06/1800.72	v -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 
1800.06/1800.72	v -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 
1800.06/1800.72	v -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 
1800.06/1800.72	v -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 
1800.06/1800.72	v -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 
1800.06/1800.72	v -x1642 -x1641 -x1640 -x1639 -x1638 x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 
1800.06/1800.72	v -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 
1800.06/1800.72	v -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 x1591 -x1590 x1589 
1800.06/1800.72	v -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 x1572 -x1571 
1800.06/1800.72	v -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 
1800.06/1800.72	v -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 
1800.06/1800.72	v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 
1800.06/1800.72	v -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 
1800.06/1800.72	v -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 
1800.06/1800.72	v -x1481 -x1480 -x1479 -x1478 -x1477 x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 
1800.06/1800.72	v -x1463 -x1462 -x1461 -x1460 x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 
1800.06/1800.72	v -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 
1800.06/1800.72	v -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 
1800.06/1800.72	v -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 
1800.06/1800.72	v x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 
1800.06/1800.72	v -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 x1360 -x1359 -x1358 -x1357 -x1356 
1800.06/1800.72	v -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 
1800.06/1800.72	v -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 
1800.06/1800.72	v -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 
1800.06/1800.72	v -x1301 -x1300 -x1299 x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 x1287 -x1286 -x1285 -x1284 
1800.06/1800.72	v -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 
1800.06/1800.72	v -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 
1800.06/1800.72	v -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 
1800.06/1800.72	v x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 
1800.06/1800.72	v -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 x1199 -x1198 -x1197 -x1196 -x1195 -x1194 
1800.06/1800.72	v -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 x1181 -x1180 -x1179 -x1178 -x1177 -x1176 
1800.06/1800.72	v -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 
1800.06/1800.72	v -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 
1800.06/1800.72	v -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 x1125 -x1124 -x1123 
1800.06/1800.72	v -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 
1800.06/1800.72	v -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 
1800.06/1800.72	v -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 
1800.06/1800.72	v -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 
1800.06/1800.72	v -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 
1800.06/1800.72	v -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 x1016 -x1015 
1800.06/1800.72	v -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 x1002 -x1001 -x1000 -x999 -x998 -x997 
1800.06/1800.72	v -x996 -x995 -x994 -x993 x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 
1800.06/1800.72	v -x975 -x974 -x973 -x972 -x971 x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 
1800.06/1800.72	v -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 
1800.06/1800.72	v -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 
1800.06/1800.72	v -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 
1800.06/1800.72	v x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 
1800.06/1800.72	v -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 
1800.06/1800.72	v -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 
1800.06/1800.72	v -x828 x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 
1800.06/1800.72	v -x807 -x806 x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 
1800.06/1800.72	v -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 
1800.06/1800.72	v -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 
1800.06/1800.72	v -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 x731 -x730 -x729 -x728 -x727 x726 -x725 -x724 
1800.06/1800.72	v -x723 -x722 -x721 -x720 -x719 -x718 x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 
1800.06/1800.72	v -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 
1800.06/1800.72	v -x681 x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 
1800.06/1800.72	v -x660 -x659 -x658 -x657 x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 
1800.06/1800.72	v -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 
1800.06/1800.72	v -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 
1800.06/1800.72	v -x598 x597 -x596 x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 
1800.06/1800.72	v -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 x561 -x560 -x559 -x558 -x557 
1800.06/1800.72	v -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 
1800.06/1800.72	v -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 
1800.06/1800.72	v -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 
1800.06/1800.72	v -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 x474 -x473 
1800.06/1800.72	v -x472 -x471 x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 x452 
1800.06/1800.72	v -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 
1800.06/1800.72	v -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 
1800.06/1800.72	v -x409 -x408 -x407 -x406 -x405 -x404 x403 -x402 -x401 -x400 -x399 -x398 -x397 x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 
1800.06/1800.72	v -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 
1800.06/1800.72	v -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 x350 -x349 -x348 -x347 
1800.06/1800.72	v -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 x330 -x329 -x328 -x327 -x326 
1800.06/1800.72	v -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 
1800.06/1800.72	v -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 
1800.06/1800.72	v -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 x274 x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 
1800.06/1800.72	v -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 
1800.06/1800.72	v -x241 -x240 x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 
1800.06/1800.72	v -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 
1800.06/1800.72	v -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 
1800.06/1800.72	v -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 
1800.06/1800.72	v -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 
1800.06/1800.72	v -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 
1800.06/1800.72	v -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 
1800.06/1800.72	v -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 
1800.06/1800.72	v -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 
1800.06/1800.72	v -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 
1800.06/1800.72	v -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1 
1800.06/1800.72	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.72	c Solving Time       :    1784.63
1800.06/1800.72	c Original Problem   :
1800.06/1800.72	c   Problem name     : HOME/instance-2666183-1276589854.opb
1800.06/1800.72	c   Variables        : 4688 (4688 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.72	c   Constraints      : 403 initial, 403 maximal
1800.06/1800.72	c Presolved Problem  :
1800.06/1800.72	c   Problem name     : t_HOME/instance-2666183-1276589854.opb
1800.06/1800.72	c   Variables        : 4674 (4674 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.72	c   Constraints      : 397 initial, 430 maximal
1800.06/1800.72	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.06/1800.72	c   trivial          :       0.02          0          0          0          0          0          0          0          0
1800.06/1800.72	c   dualfix          :       0.00         13          0          0          0          0          0          0          0
1800.06/1800.72	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.72	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.72	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.72	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.06/1800.72	c   linear           :       0.01          0          1          0          0          0          6          5          0
1800.06/1800.72	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.06/1800.72	c   root node        :          -          0          -          -          0          -          -          -          -
1800.06/1800.72	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.72	c   integral         :          0          0          0          1          0          0          0          0          0          2
1800.06/1800.72	c   logicor          :        397+         4     771931          0          0      75346     773918          0          0          0
1800.06/1800.72	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.06/1800.72	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.06/1800.72	c   integral         :       1.23       0.00       0.00       1.23       0.00
1800.06/1800.72	c   logicor          :     308.33       0.00     308.33       0.00       0.00
1800.06/1800.72	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.06/1800.72	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.06/1800.72	c   vbounds          :       0.87          2          0          0
1800.06/1800.72	c   rootredcost      :       0.98          0          0          0
1800.06/1800.72	c   pseudoobj        :    1238.28    1663221     227540    6390300
1800.06/1800.72	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.72	c   propagation      :     654.07     302886     302886     302886      480.5        230      456.4          -
1800.06/1800.72	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.72	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.72	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.72	c   pseudo solution  :       0.13         59         59         59      365.4          0        0.0          -
1800.06/1800.72	c   applied globally :          -          -          -     155090      340.9          -          -          -
1800.06/1800.72	c   applied locally  :          -          -          -     148006      626.7          -          -          -
1800.06/1800.72	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.72	c   cut pool         :       0.01          3          -          -          1          -    (maximal pool size: 87)
1800.06/1800.72	c   redcost          :       0.00          5          0          0          0          0
1800.06/1800.72	c   impliedbounds    :       0.00          5          0          0          0          0
1800.06/1800.72	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.72	c   cgmip            :       0.00          0          0          0          0          0
1800.06/1800.72	c   gomory           :       0.09          5          0          0         19          0
1800.06/1800.72	c   strongcg         :       0.86          5          0          0        225          0
1800.06/1800.72	c   cmir             :       0.20          5          0          0          0          0
1800.06/1800.72	c   flowcover        :       0.18          5          0          0          0          0
1800.06/1800.72	c   clique           :       0.00          1          0          0          0          0
1800.06/1800.72	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.72	c   mcf              :       0.01          1          0          0          0          0
1800.06/1800.72	c   rapidlearning    :       0.00          0          0          0          0          0
1800.06/1800.72	c Pricers            :       Time      Calls       Vars
1800.06/1800.72	c   problem variables:       0.00          0          0
1800.06/1800.72	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.72	c   relpscost        :       1.23          1          0          0          0          0          2
1800.06/1800.72	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.72	c   inference        :     147.38     443894          0          0          0          0     887788
1800.06/1800.72	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.72	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.72	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.72	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.72	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.72	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.72	c   LP solutions     :       0.00          -          0
1800.06/1800.72	c   pseudo solutions :       0.00          -          0
1800.06/1800.72	c   crossover        :       0.00          0          0
1800.06/1800.72	c   oneopt           :       0.73          4          2
1800.06/1800.72	c   trivial          :       0.02          2          3
1800.06/1800.72	c   simplerounding   :       0.01          4          4
1800.06/1800.72	c   zirounding       :       0.01          1          1
1800.06/1800.72	c   rounding         :       0.01          4          1
1800.06/1800.72	c   shifting         :       0.01          4          1
1800.06/1800.72	c   intshifting      :       0.00          0          0
1800.06/1800.72	c   twoopt           :       0.00          0          0
1800.06/1800.72	c   fixandinfer      :       0.00          0          0
1800.06/1800.72	c   feaspump         :       0.00          0          0
1800.06/1800.72	c   coefdiving       :       0.00          0          0
1800.06/1800.72	c   pscostdiving     :       0.00          0          0
1800.06/1800.72	c   fracdiving       :       0.00          0          0
1800.06/1800.72	c   veclendiving     :       0.00          0          0
1800.06/1800.72	c   intdiving        :       0.00          0          0
1800.06/1800.72	c   actconsdiving    :       0.00          0          0
1800.06/1800.72	c   objpscostdiving  :       0.00          0          0
1800.06/1800.72	c   rootsoldiving    :       0.00          0          0
1800.06/1800.72	c   linesearchdiving :       0.00          0          0
1800.06/1800.72	c   guideddiving     :       0.00          0          0
1800.06/1800.72	c   octane           :       0.00          0          0
1800.06/1800.72	c   rens             :       0.35          1          1
1800.06/1800.72	c   rins             :       0.00          0          0
1800.06/1800.73	c   localbranching   :       0.00          0          0
1800.06/1800.73	c   mutation         :       0.00          0          0
1800.06/1800.73	c   dins             :       0.00          0          0
1800.06/1800.73	c   undercover       :       0.00          0          0
1800.06/1800.73	c   nlp              :       0.60          0          0
1800.06/1800.73	c   trysol           :       0.41          0          0
1800.06/1800.73	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.73	c   primal LP        :       0.01          0          0       0.00       0.00
1800.06/1800.73	c   dual LP          :       0.28          4       1059     264.75    3782.14
1800.06/1800.73	c   lex dual LP      :       0.00          0          0       0.00          -
1800.06/1800.73	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.73	c   diving/probing LP:       0.00          0          0       0.00          -
1800.06/1800.73	c   strong branching :       1.23         24       2912     121.33    2367.48
1800.06/1800.73	c     (at root node) :          -         24       2912     121.33          -
1800.06/1800.73	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.73	c B&B Tree           :
1800.06/1800.73	c   number of runs   :          1
1800.06/1800.73	c   nodes            :     595952
1800.06/1800.73	c   nodes (total)    :     595952
1800.06/1800.73	c   nodes left       :       3783
1800.06/1800.73	c   max depth        :       3935
1800.06/1800.73	c   max depth (total):       3935
1800.06/1800.73	c   backtracks       :     155522 (26.1%)
1800.06/1800.73	c   delayed cutoffs  :     164176
1800.06/1800.73	c   repropagations   :     353144 (3893680 domain reductions, 150888 cutoffs)
1800.06/1800.73	c   avg switch length:       2.31
1800.06/1800.73	c   switching time   :      20.02
1800.06/1800.73	c Solution           :
1800.06/1800.73	c   Solutions found  :         13 (8 improvements)
1800.06/1800.73	c   First Solution   : +4.68800000000000e+03   (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.06/1800.73	c   Primal Bound     : +1.22000000000000e+02   (in run 1, after 1 nodes, 2.08 seconds, depth 0, found by <rens>)
1800.06/1800.73	c   Dual Bound       : +1.20053702881076e+02
1800.06/1800.73	c   Gap              :       1.62 %
1800.06/1800.73	c   Root Dual Bound  : +1.19982956650611e+02
1800.06/1800.73	c   Root Iterations  :       1059
1800.06/1800.77	c Time complete: 1800.11.

Verifier Data 

OK	122

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666183-1276589854/watcher-2666183-1276589854 -o /tmp/evaluation-result-2666183-1276589854/solver-2666183-1276589854 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2666183-1276589854.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.09 1.08 0.89 3/107 2494
/proc/meminfo: memFree=1679152/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=8260 CPUtime=0
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 1010 0 0 0 0 0 0 0 18 0 1 0 276443 8458240 931 1992294400 4194304 9819077 140735430897408 18446744073709551615 8718976 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2494/statm: 2065 931 366 1374 0 686 0

[startup+0.0506479 s]
/proc/loadavg: 1.09 1.08 0.89 3/107 2494
/proc/meminfo: memFree=1679152/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=15708 CPUtime=0.04
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 2880 0 0 0 3 1 0 0 20 0 1 0 276443 16084992 2799 1992294400 4194304 9819077 140735430897408 18446744073709551615 4333569 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2494/statm: 3927 2799 389 1374 0 2548 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15708

[startup+0.100662 s]
/proc/loadavg: 1.09 1.08 0.89 3/107 2494
/proc/meminfo: memFree=1679152/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=25356 CPUtime=0.09
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 5424 0 0 0 7 2 0 0 20 0 1 0 276443 25964544 4990 1992294400 4194304 9819077 140735430897408 18446744073709551615 4414543 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 6339 4990 463 1374 0 4960 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25356

[startup+0.300698 s]
/proc/loadavg: 1.09 1.08 0.89 3/107 2494
/proc/meminfo: memFree=1679152/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=33216 CPUtime=0.29
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 8291 0 0 0 26 3 0 0 20 0 1 0 276443 34013184 6699 1992294400 4194304 9819077 140735430897408 18446744073709551615 6190588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 8304 6699 634 1374 0 6925 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33216

[startup+0.700778 s]
/proc/loadavg: 1.09 1.08 0.89 3/107 2494
/proc/meminfo: memFree=1679152/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=39636 CPUtime=0.69
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 9776 0 0 0 65 4 0 0 21 0 1 0 276443 40587264 8019 1992294400 4194304 9819077 140735430897408 18446744073709551615 6031688 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 9909 8020 651 1374 0 8530 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39636

[startup+1.50094 s]
/proc/loadavg: 1.08 1.08 0.89 2/108 2495
/proc/meminfo: memFree=1643556/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=52744 CPUtime=1.49
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 12956 0 0 0 144 5 0 0 23 0 1 0 276443 54009856 11154 1992294400 4194304 9819077 140735430897408 18446744073709551615 5716590 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 13186 11154 670 1374 0 11807 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52744

[startup+3.10127 s]
/proc/loadavg: 1.08 1.08 0.89 2/108 2495
/proc/meminfo: memFree=1611812/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=55904 CPUtime=3.09
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 24661 0 0 0 298 11 0 0 25 0 1 0 276443 57245696 11535 1992294400 4194304 9819077 140735430897408 18446744073709551615 6394661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 13976 11535 708 1374 0 12597 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55904

[startup+6.3009 s]
/proc/loadavg: 1.08 1.08 0.89 2/108 2495
/proc/meminfo: memFree=1634504/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=55612 CPUtime=6.29
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 25863 0 0 0 615 14 0 0 25 0 1 0 276443 56946688 11860 1992294400 4194304 9819077 140735430897408 18446744073709551615 5892363 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 13903 11860 708 1374 0 12524 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55612

[startup+12.7012 s]
/proc/loadavg: 1.07 1.07 0.89 2/108 2495
/proc/meminfo: memFree=1630668/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=59468 CPUtime=12.69
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 26822 0 0 0 1248 21 0 0 25 0 1 0 276443 60895232 12819 1992294400 4194304 9819077 140735430897408 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 14867 12819 712 1374 0 13488 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 59468

[startup+25.5007 s]
/proc/loadavg: 1.06 1.07 0.89 2/108 2495
/proc/meminfo: memFree=1626328/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=63524 CPUtime=25.48
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 27802 0 0 0 2517 31 0 0 25 0 1 0 276443 65048576 13799 1992294400 4194304 9819077 140735430897408 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 15881 13799 712 1374 0 14502 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 63524

[startup+51.1006 s]
/proc/loadavg: 1.03 1.06 0.89 2/108 2495
/proc/meminfo: memFree=1622360/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=67576 CPUtime=51.07
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 28779 0 0 0 5052 55 0 0 25 0 1 0 276443 69197824 14776 1992294400 4194304 9819077 140735430897408 18446744073709551615 5924919 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 16894 14776 712 1374 0 15515 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 67576

[startup+102.309 s]
/proc/loadavg: 1.01 1.05 0.90 2/108 2497
/proc/meminfo: memFree=1620252/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=69764 CPUtime=102.26
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 29295 0 0 0 10124 102 0 0 25 0 1 0 276443 71438336 15292 1992294400 4194304 9819077 140735430897408 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 17441 15292 712 1374 0 16062 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 69764

[startup+162.301 s]
/proc/loadavg: 1.00 1.04 0.90 2/108 2499
/proc/meminfo: memFree=1619136/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=70872 CPUtime=162.22
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 29568 0 0 0 16069 153 0 0 25 0 1 0 276443 72572928 15565 1992294400 4194304 9819077 140735430897408 18446744073709551615 4703869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 17718 15565 712 1374 0 16339 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 70872

[startup+222.301 s]
/proc/loadavg: 1.00 1.03 0.91 2/108 2501
/proc/meminfo: memFree=1617028/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=73196 CPUtime=222.2
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 30087 0 0 0 22020 200 0 0 25 0 1 0 276443 74952704 16084 1992294400 4194304 9819077 140735430897408 18446744073709551615 5506155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 18299 16084 712 1374 0 16920 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 73196

[startup+282.301 s]
/proc/loadavg: 1.00 1.02 0.91 2/108 2501
/proc/meminfo: memFree=1616656/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=73484 CPUtime=282.18
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 30182 0 0 0 27966 252 0 0 25 0 1 0 276443 75247616 16179 1992294400 4194304 9819077 140735430897408 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 18371 16179 712 1374 0 16992 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 73484

[startup+342.301 s]
/proc/loadavg: 1.00 1.02 0.91 2/108 2503
/proc/meminfo: memFree=1616408/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=73776 CPUtime=342.17
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 30235 0 0 0 33913 304 0 0 25 0 1 0 276443 75546624 16232 1992294400 4194304 9819077 140735430897408 18446744073709551615 4681508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 18444 16232 712 1374 0 17065 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 73776

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 0.91 2/108 2505
/proc/meminfo: memFree=1615664/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=74440 CPUtime=402.15
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 30393 0 0 0 39858 357 0 0 25 0 1 0 276443 76226560 16390 1992294400 4194304 9819077 140735430897408 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 18610 16390 712 1374 0 17231 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 74440

[startup+462.301 s]
/proc/loadavg: 1.00 1.01 0.91 2/108 2507
/proc/meminfo: memFree=1614672/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=75428 CPUtime=462.12
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 30629 0 0 0 45804 408 0 0 25 0 1 0 276443 77238272 16626 1992294400 4194304 9819077 140735430897408 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 18857 16626 712 1374 0 17478 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 75428

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 2509
/proc/meminfo: memFree=1614300/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=75852 CPUtime=522.1
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 30726 0 0 0 51752 458 0 0 25 0 1 0 276443 77672448 16723 1992294400 4194304 9819077 140735430897408 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 18963 16723 712 1374 0 17584 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 75852

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 2509
/proc/meminfo: memFree=1612688/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=77680 CPUtime=582.08
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 31138 0 0 0 57700 508 0 0 25 0 1 0 276443 79544320 17135 1992294400 4194304 9819077 140735430897408 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 19420 17135 712 1374 0 18041 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 77680

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 2511
/proc/meminfo: memFree=1611820/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=78532 CPUtime=642.06
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 31323 0 0 0 63647 559 0 0 25 0 1 0 276443 80416768 17320 1992294400 4194304 9819077 140735430897408 18446744073709551615 5918634 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 19633 17320 712 1374 0 18254 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 78532

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 2517
/proc/meminfo: memFree=1606240/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=84488 CPUtime=881.97
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 32644 0 0 0 87431 766 0 0 25 0 1 0 276443 86515712 18641 1992294400 4194304 9819077 140735430897408 18446744073709551615 4703869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 21122 18641 712 1374 0 19743 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 84488

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 2519
/proc/meminfo: memFree=1606116/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=84632 CPUtime=941.95
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 32698 0 0 0 93381 814 0 0 25 0 1 0 276443 86663168 18695 1992294400 4194304 9819077 140735430897408 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 21158 18695 712 1374 0 19779 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 84632

[startup+1002.3 s]
/proc/loadavg: 1.07 1.02 0.91 2/108 2524
/proc/meminfo: memFree=1571760/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=84632 CPUtime=1001.93
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 32712 0 0 0 99328 865 0 0 25 0 1 0 276443 86663168 18709 1992294400 4194304 9819077 140735430897408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 21158 18709 712 1374 0 19779 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 84632

[startup+1062.3 s]
/proc/loadavg: 1.02 1.01 0.91 3/108 2526
/proc/meminfo: memFree=1571760/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=84772 CPUtime=1061.91
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 32742 0 0 0 105277 914 0 0 25 0 1 0 276443 86806528 18739 1992294400 4194304 9819077 140735430897408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 21193 18739 712 1374 0 19814 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 84772

[startup+1122.3 s]
/proc/loadavg: 1.01 1.00 0.91 2/108 2528
/proc/meminfo: memFree=1571512/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=84936 CPUtime=1121.88
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 32790 0 0 0 111222 966 0 0 25 0 1 0 276443 86974464 18787 1992294400 4194304 9819077 140735430897408 18446744073709551615 5506140 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 21234 18787 712 1374 0 19855 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 84936

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 2528
/proc/meminfo: memFree=1571512/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=84936 CPUtime=1181.87
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 32796 0 0 0 117170 1017 0 0 25 0 1 0 276443 86974464 18793 1992294400 4194304 9819077 140735430897408 18446744073709551615 4703869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 21234 18793 712 1374 0 19855 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 84936

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 2530
/proc/meminfo: memFree=1571388/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=85072 CPUtime=1241.85
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 32827 0 0 0 123116 1069 0 0 25 0 1 0 276443 87113728 18824 1992294400 4194304 9819077 140735430897408 18446744073709551615 4740369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 21268 18824 712 1374 0 19889 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 85072

[startup+1302.3 s]
/proc/loadavg: 1.29 1.06 0.94 2/108 2747
/proc/meminfo: memFree=1526984/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=85072 CPUtime=1301.83
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 32843 0 0 0 129064 1119 0 0 25 0 1 0 276443 87113728 18840 1992294400 4194304 9819077 140735430897408 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 21268 18840 712 1374 0 19889 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 85072

[startup+1362.3 s]
/proc/loadavg: 1.11 1.05 0.94 2/108 2749
/proc/meminfo: memFree=1527132/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=85208 CPUtime=1361.8
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 32869 0 0 0 135011 1169 0 0 25 0 1 0 276443 87252992 18866 1992294400 4194304 9819077 140735430897408 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 21302 18866 712 1374 0 19923 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 85208

[startup+1422.31 s]
/proc/loadavg: 1.04 1.04 0.94 2/108 2751
/proc/meminfo: memFree=1527132/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=85504 CPUtime=1421.78
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 32921 0 0 0 140958 1220 0 0 25 0 1 0 276443 87556096 18918 1992294400 4194304 9819077 140735430897408 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 21376 18918 712 1374 0 19997 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 85504

[startup+1482.3 s]
/proc/loadavg: 1.01 1.03 0.94 2/108 2751
/proc/meminfo: memFree=1527132/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=85504 CPUtime=1481.76
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 32924 0 0 0 146903 1273 0 0 25 0 1 0 276443 87556096 18921 1992294400 4194304 9819077 140735430897408 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 21376 18921 712 1374 0 19997 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 85504

[startup+1542.3 s]
/proc/loadavg: 1.00 1.02 0.94 2/108 2753
/proc/meminfo: memFree=1527132/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=85504 CPUtime=1541.74
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 32941 0 0 0 152852 1322 0 0 25 0 1 0 276443 87556096 18938 1992294400 4194304 9819077 140735430897408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 21376 18938 712 1374 0 19997 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 85504

[startup+1602.3 s]
/proc/loadavg: 1.29 1.08 0.96 3/113 5641
/proc/meminfo: memFree=1520916/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=85504 CPUtime=1601.71
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 32943 0 0 0 158794 1377 0 0 25 0 1 0 276443 87556096 18940 1992294400 4194304 9819077 140735430897408 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 21376 18940 712 1374 0 19997 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 85504

[startup+1662.3 s]
/proc/loadavg: 1.95 1.29 1.04 4/113 20336
/proc/meminfo: memFree=1506364/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=85648 CPUtime=1661.7
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 32955 0 0 0 164740 1430 0 0 25 0 1 0 276443 87703552 18952 1992294400 4194304 9819077 140735430897408 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 21412 18952 712 1374 0 20033 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 85648

[startup+1722.3 s]
/proc/loadavg: 2.27 1.51 1.12 4/114 3463
/proc/meminfo: memFree=1494456/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=85648 CPUtime=1721.67
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 32976 0 0 0 170690 1477 0 0 25 0 1 0 276443 87703552 18973 1992294400 4194304 9819077 140735430897408 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 21412 18973 712 1374 0 20033 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 85648

[startup+1782.3 s]
/proc/loadavg: 1.68 1.50 1.14 2/107 8751
/proc/meminfo: memFree=1488448/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=85648 CPUtime=1781.65
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 32988 0 0 0 176640 1525 0 0 25 0 1 0 276443 87703552 18985 1992294400 4194304 9819077 140735430897408 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 21412 18985 712 1374 0 20033 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 85648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.49 1.47 1.14 2/107 8753
/proc/meminfo: memFree=1488572/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=85648 CPUtime=1800.06
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 32988 0 0 0 178466 1540 0 0 25 0 1 0 276443 87703552 18985 1992294400 4194304 9819077 140735430897408 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 21412 18985 712 1374 0 20033 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 85648

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

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

[startup+1800.71 s]
/proc/loadavg: 1.49 1.47 1.14 2/107 8753
/proc/meminfo: memFree=1488572/2059040 swapFree=4192956/4192956
[pid=2494] ppid=2492 vsize=85648 CPUtime=1800.06
/proc/2494/stat : 2494 (pbscip.linux.x8) R 2492 2494 2330 0 -1 4202496 32988 0 0 0 178466 1540 0 0 25 0 1 0 276443 87703552 18985 1992294400 4194304 9819077 140735430897408 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2494/statm: 21412 18985 712 1374 0 20033 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 85648

Child status: 0
Real time (s): 1800.77
CPU time (s): 1800.12
CPU user time (s): 1784.71
CPU system time (s): 15.4097
CPU usage (%): 99.9639
Max. virtual memory (cumulated for all children) (KiB): 85648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.71
system time used= 15.4097
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33153
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 5274

runsolver used 3.12052 second user time and 8.5307 second system time

The end

Launcher Data 

Begin job on node052 at 2010-06-15 10:17:34
IDJOB=2666183
IDBENCH=2837
IDSOLVER=1168
FILE ID=node052/2666183-1276589854
PBS_JOBID= 11173560
Free space on /tmp= 62372 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bench1.r.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666183-1276589854/watcher-2666183-1276589854 -o /tmp/evaluation-result-2666183-1276589854/solver-2666183-1276589854 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2666183-1276589854.opb -t 1800 -m 1800

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

MD5SUM BENCH= cb09f183d3805e6536d629586026461f
RANDOM SEED=763134212

node052.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.262
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.52
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.262
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1679680 kB
Buffers:         16152 kB
Cached:         257876 kB
SwapCached:          0 kB
Active:         106700 kB
Inactive:       226344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1679680 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            6336 kB
Writeback:           0 kB
AnonPages:       59028 kB
Mapped:          15340 kB
Slab:            24404 kB
PageTables:       4028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181804 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= 62500 MiB
End job on node052 at 2010-06-15 10:47:37