Trace number 2663949

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
SCIPnone SCIP 1.2.1.2 without any LP solverSAT (TO)11 1800.12 1800.58

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir03_area_delay.opb
MD5SUM2b747b2caed6577698c928a521fdc3c2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark1.17082
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10
Optimality of the best value was proved YES
Number of variables3540
Total number of constraints9890
Number of constraints which are clauses9890
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 1681
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 1681
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1681
Number of bits of the biggest sum of numbers11
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: NONE] [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-2663949-1276637764.opb>
0.09/0.18	c original problem has 3540 variables (3540 bin, 0 int, 0 impl, 0 cont) and 9890 constraints
0.09/0.18	c problem read
0.09/0.18	c presolving settings loaded
0.09/0.18	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.19/0.24	c presolving:
0.29/0.34	c (round 1) 1791 del vars, 3439 del conss, 132 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22656 impls, 0 clqs
0.29/0.35	c (round 2) 1792 del vars, 4252 del conss, 133 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22656 impls, 0 clqs
0.39/0.43	c (round 3) 1792 del vars, 4274 del conss, 133 chg bounds, 0 chg sides, 0 chg coeffs, 5595 upgd conss, 22656 impls, 0 clqs
0.39/0.45	c (round 4) 1792 del vars, 4274 del conss, 133 chg bounds, 0 chg sides, 0 chg coeffs, 5616 upgd conss, 22656 impls, 0 clqs
0.49/0.58	c    (0.3s) probing: 265/1748 (15.2%) - 0 fixings, 11 aggregations, 868 implications, 0 bound changes
0.49/0.58	c    (0.3s) probing aborted: 100/100 successive totally useless probings
0.49/0.58	c (round 5) 1803 del vars, 4274 del conss, 133 chg bounds, 0 chg sides, 0 chg coeffs, 5616 upgd conss, 23630 impls, 0 clqs
0.59/0.61	c    (0.4s) probing: 275/1748 (15.7%) - 0 fixings, 11 aggregations, 868 implications, 0 bound changes
0.59/0.61	c    (0.4s) probing aborted: 100/100 successive totally useless probings
0.59/0.61	c presolving (6 rounds):
0.59/0.61	c  1803 deleted vars, 4274 deleted constraints, 133 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.61	c  23630 implications, 0 cliques
0.59/0.61	c presolved problem has 1737 variables (1737 bin, 0 int, 0 impl, 0 cont) and 5616 constraints
0.59/0.61	c    5616 constraints of type <logicor>
0.59/0.61	c transformed objective value is always integral (scale: 1)
0.59/0.61	c Presolving Time: 0.35
0.59/0.61	c - non default parameters ----------------------------------------------------------------------
0.59/0.61	c # SCIP version 1.2.1.2
0.59/0.61	c 
0.59/0.61	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.59/0.61	c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.61	c conflict/interconss = 0
0.59/0.61	c 
0.59/0.61	c # should binary conflicts be preferred?
0.59/0.61	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.61	c conflict/preferbinary = TRUE
0.59/0.61	c 
0.59/0.61	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.59/0.61	c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.61	c constraints/agelimit = 1
0.59/0.61	c 
0.59/0.61	c # should enforcement of pseudo solution be disabled?
0.59/0.61	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.61	c constraints/disableenfops = TRUE
0.59/0.61	c 
0.59/0.61	c # frequency for displaying node information lines
0.59/0.61	c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.61	c display/freq = 10000
0.59/0.61	c 
0.59/0.61	c # maximal time in seconds to run
0.59/0.61	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.61	c limits/time = 1799.82
0.59/0.61	c 
0.59/0.61	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.61	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.61	c limits/memory = 1620
0.59/0.61	c 
0.59/0.61	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.59/0.61	c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.61	c lp/solvefreq = -1
0.59/0.61	c 
0.59/0.61	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.59/0.61	c # [type: char, range: {lafpsqd}, default: l]
0.59/0.61	c lp/pricing = a
0.59/0.61	c 
0.59/0.61	c # should presolving try to simplify inequalities
0.59/0.61	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.61	c constraints/linear/simplifyinequalities = TRUE
0.59/0.61	c 
0.59/0.61	c # should presolving try to simplify knapsacks
0.59/0.61	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.61	c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.61	c 
0.59/0.61	c # priority of node selection rule <dfs> in standard mode
0.59/0.61	c # [type: int, range: [-536870912,536870911], default: 0]
0.59/0.61	c nodeselection/dfs/stdpriority = 1000000
0.59/0.61	c 
0.59/0.61	c -----------------------------------------------------------------------------------------------
0.59/0.61	c start solving
0.59/0.61	c 
0.59/0.61	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.59/0.61	c   0.4s|     1 |     2 |     0 |     - |  13M|   0 |   - |1737 |5616 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
0.89/0.95	o 12
0.89/0.95	c * 0.7s|  1023 |  1018 |     0 |   0.0 |  13M|1021 |   - |1737 |5617 |   0 |   0 |   0 |   1 |   0 | 1.000000e+00 | 1.200000e+01 |1100.00%
0.89/0.95	o 11
0.89/0.95	c * 0.7s|  1035 |  1017 |     0 |   0.0 |  13M|1023 |   - |1737 |5618 |   0 |   0 |   0 |   6 |   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
14.59/14.64	c  13.9s| 10000 |   659 |     0 |   0.0 |  13M|1023 |   - |1737 |5625 |   0 |   0 |   0 |7229 |   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
32.28/32.38	c  31.2s| 20000 |   556 |     0 |   0.0 |  13M|1023 |   - |1737 |5641 |   0 |   0 |   0 |  15k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
51.69/51.71	c  50.1s| 30000 |   519 |     0 |   0.0 |  13M|1023 |   - |1737 |5707 |   0 |   0 |   0 |  23k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
71.47/71.52	c  69.5s| 40000 |   474 |     0 |   0.0 |  13M|1023 |   - |1737 |5865 |   0 |   0 |   0 |  30k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
90.26/90.38	c  88.0s| 50000 |   435 |     0 |   0.0 |  13M|1023 |   - |1737 |5839 |   0 |   0 |   0 |  38k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
111.66/111.78	c   109s| 60000 |   377 |     0 |   0.0 |  13M|1023 |   - |1737 |5880 |   0 |   0 |   0 |  45k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
131.25/131.31	c   128s| 70000 |   342 |     0 |   0.0 |  13M|1023 |   - |1737 |5960 |   0 |   0 |   0 |  52k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
150.66/150.73	c   147s| 80000 |   321 |     0 |   0.0 |  13M|1023 |   - |1737 |6161 |   0 |   0 |   0 |  59k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
172.05/172.16	c   168s| 90000 |   320 |     0 |   0.0 |  13M|1023 |   - |1737 |6395 |   0 |   0 |   0 |  65k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
193.35/193.47	c   189s|100000 |   335 |     0 |   0.0 |  13M|1023 |   - |1737 |6639 |   0 |   0 |   0 |  71k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
213.04/213.12	c   208s|110000 |   322 |     0 |   0.0 |  13M|1023 |   - |1737 |6705 |   0 |   0 |   0 |  77k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
234.53/234.60	c   229s|120000 |   322 |     0 |   0.0 |  14M|1023 |   - |1737 |6800 |   0 |   0 |   0 |  83k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
255.73/255.85	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
255.73/255.85	c   250s|130000 |   326 |     0 |   0.0 |  14M|1023 |   - |1737 |6910 |   0 |   0 |   0 |  89k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
275.72/275.83	c   270s|140000 |   330 |     0 |   0.0 |  14M|1023 |   - |1737 |7036 |   0 |   0 |   0 |  95k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
296.42/296.58	c   290s|150000 |   318 |     0 |   0.0 |  14M|1023 |   - |1737 |7100 |   0 |   0 |   0 | 101k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
316.61/316.78	c   310s|160000 |   315 |     0 |   0.0 |  14M|1023 |   - |1737 |7130 |   0 |   0 |   0 | 108k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
335.01/335.10	c   328s|170000 |   319 |     0 |   0.0 |  14M|1023 |   - |1737 |7218 |   0 |   0 |   0 | 114k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
353.60/353.71	c   346s|180000 |   319 |     0 |   0.0 |  14M|1023 |   - |1737 |7299 |   0 |   0 |   0 | 120k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
372.80/372.97	c   365s|190000 |   303 |     0 |   0.0 |  14M|1023 |   - |1737 |7324 |   0 |   0 |   0 | 126k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
392.79/392.91	c   384s|200000 |   313 |     0 |   0.0 |  14M|1023 |   - |1737 |7409 |   0 |   0 |   0 | 132k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
413.89/414.08	c   405s|210000 |   310 |     0 |   0.0 |  14M|1023 |   - |1737 |7632 |   0 |   0 |   0 | 138k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
434.28/434.41	c   425s|220000 |   300 |     0 |   0.0 |  14M|1023 |   - |1737 |7685 |   0 |   0 |   0 | 144k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
451.99/452.17	c   442s|230000 |   304 |     0 |   0.0 |  14M|1023 |   - |1737 |7759 |   0 |   0 |   0 | 150k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
474.07/474.29	c   464s|240000 |   296 |     0 |   0.0 |  14M|1023 |   - |1737 |7848 |   0 |   0 |   0 | 157k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
495.76/495.94	c   485s|250000 |   287 |     0 |   0.0 |  14M|1023 |   - |1737 |7927 |   0 |   0 |   0 | 164k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
518.66/518.84	c   508s|260000 |   289 |     0 |   0.0 |  14M|1023 |   - |1737 |7978 |   0 |   0 |   0 | 170k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
541.55/541.75	c   530s|270000 |   304 |     0 |   0.0 |  14M|1023 |   - |1737 |7985 |   0 |   0 |   0 | 177k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
562.45/562.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
562.45/562.66	c   550s|280000 |   291 |     0 |   0.0 |  14M|1023 |   - |1737 |8029 |   0 |   0 |   0 | 183k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
583.64/583.84	c   571s|290000 |   297 |     0 |   0.0 |  14M|1023 |   - |1737 |8078 |   0 |   0 |   0 | 189k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
604.54/604.75	c   592s|300000 |   293 |     0 |   0.0 |  14M|1023 |   - |1737 |8406 |   0 |   0 |   0 | 195k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
626.63/626.88	c   613s|310000 |   299 |     0 |   0.0 |  14M|1023 |   - |1737 |8561 |   0 |   0 |   0 | 201k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
649.13/649.34	c   636s|320000 |   281 |     0 |   0.0 |  14M|1023 |   - |1737 |8717 |   0 |   0 |   0 | 208k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
670.03/670.21	c   656s|330000 |   287 |     0 |   0.0 |  14M|1023 |   - |1737 |8789 |   0 |   0 |   0 | 214k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
692.92/693.20	c   678s|340000 |   275 |     0 |   0.0 |  14M|1023 |   - |1737 |9053 |   0 |   0 |   0 | 220k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
716.51/716.76	c   702s|350000 |   271 |     0 |   0.0 |  14M|1023 |   - |1737 |9067 |   0 |   0 |   0 | 226k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
738.60/738.88	c   723s|360000 |   279 |     0 |   0.0 |  14M|1023 |   - |1737 |9213 |   0 |   0 |   0 | 233k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
761.00/761.27	c   745s|370000 |   276 |     0 |   0.0 |  14M|1023 |   - |1737 |9426 |   0 |   0 |   0 | 238k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
782.90/783.19	c   767s|380000 |   268 |     0 |   0.0 |  14M|1023 |   - |1737 |9506 |   0 |   0 |   0 | 244k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
805.38/805.68	c   789s|390000 |   285 |     0 |   0.0 |  14M|1023 |   - |1737 |9686 |   0 |   0 |   0 | 250k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
829.38/829.67	c   812s|400000 |   271 |     0 |   0.0 |  14M|1023 |   - |1737 |9739 |   0 |   0 |   0 | 257k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
851.38/851.63	c   834s|410000 |   275 |     0 |   0.0 |  14M|1023 |   - |1737 |9791 |   0 |   0 |   0 | 263k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
875.28/875.54	c   857s|420000 |   273 |     0 |   0.0 |  14M|1023 |   - |1737 |  10k|   0 |   0 |   0 | 270k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
897.86/898.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
897.86/898.11	c   879s|430000 |   261 |     0 |   0.0 |  14M|1023 |   - |1737 |  10k|   0 |   0 |   0 | 276k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
921.06/921.33	c   902s|440000 |   273 |     0 |   0.0 |  14M|1023 |   - |1737 |  10k|   0 |   0 |   0 | 282k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
945.15/945.44	c   926s|450000 |   271 |     0 |   0.0 |  14M|1023 |   - |1737 |  10k|   0 |   0 |   0 | 289k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
970.45/970.75	c   951s|460000 |   255 |     0 |   0.0 |  14M|1023 |   - |1737 |  10k|   0 |   0 |   0 | 295k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
994.54/994.89	c   974s|470000 |   262 |     0 |   0.0 |  14M|1023 |   - |1737 |  10k|   0 |   0 |   0 | 300k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1017.34/1017.62	c   996s|480000 |   262 |     0 |   0.0 |  14M|1023 |   - |1737 |  10k|   0 |   0 |   0 | 307k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1040.34/1040.66	c  1019s|490000 |   266 |     0 |   0.0 |  14M|1023 |   - |1737 |  10k|   0 |   0 |   0 | 313k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1064.53/1064.86	c  1043s|500000 |   261 |     0 |   0.0 |  14M|1023 |   - |1737 |  10k|   0 |   0 |   0 | 319k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1089.72/1090.00	c  1068s|510000 |   261 |     0 |   0.0 |  15M|1023 |   - |1737 |  11k|   0 |   0 |   0 | 326k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1117.51/1117.89	c  1095s|520000 |   254 |     0 |   0.0 |  15M|1023 |   - |1737 |  11k|   0 |   0 |   0 | 331k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1142.90/1143.25	c  1120s|530000 |   264 |     0 |   0.0 |  15M|1023 |   - |1737 |  11k|   0 |   0 |   0 | 338k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1168.00/1168.38	c  1145s|540000 |   264 |     0 |   0.0 |  15M|1023 |   - |1737 |  11k|   0 |   0 |   0 | 344k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1192.29/1192.63	c  1168s|550000 |   256 |     0 |   0.0 |  15M|1023 |   - |1737 |  11k|   0 |   0 |   0 | 349k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1218.18/1218.52	c  1194s|560000 |   252 |     0 |   0.0 |  15M|1023 |   - |1737 |  11k|   0 |   0 |   0 | 355k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1249.58/1249.91	c  1225s|570000 |   262 |     0 |   0.0 |  15M|1023 |   - |1737 |  11k|   0 |   0 |   0 | 361k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1274.37/1274.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1274.37/1274.79	c  1249s|580000 |   260 |     0 |   0.0 |  15M|1023 |   - |1737 |  12k|   0 |   0 |   0 | 368k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1301.77/1302.19	c  1276s|590000 |   256 |     0 |   0.0 |  15M|1023 |   - |1737 |  12k|   0 |   0 |   0 | 374k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1327.27/1327.67	c  1301s|600000 |   254 |     0 |   0.0 |  15M|1023 |   - |1737 |  12k|   0 |   0 |   0 | 381k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1354.65/1355.00	c  1328s|610000 |   258 |     0 |   0.0 |  15M|1023 |   - |1737 |  12k|   0 |   0 |   0 | 388k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1381.85/1382.25	c  1355s|620000 |   242 |     0 |   0.0 |  15M|1023 |   - |1737 |  12k|   0 |   0 |   0 | 394k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1406.24/1406.69	c  1379s|630000 |   254 |     0 |   0.0 |  15M|1023 |   - |1737 |  12k|   0 |   0 |   0 | 401k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1434.04/1434.43	c  1406s|640000 |   248 |     0 |   0.0 |  15M|1023 |   - |1737 |  12k|   0 |   0 |   0 | 408k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1459.43/1459.85	c  1431s|650000 |   238 |     0 |   0.0 |  15M|1023 |   - |1737 |  13k|   0 |   0 |   0 | 415k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1487.32/1487.74	c  1458s|660000 |   240 |     0 |   0.0 |  15M|1023 |   - |1737 |  13k|   0 |   0 |   0 | 422k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1512.90/1513.31	c  1483s|670000 |   251 |     0 |   0.0 |  15M|1023 |   - |1737 |  13k|   0 |   0 |   0 | 428k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1537.49/1537.94	c  1508s|680000 |   248 |     0 |   0.0 |  15M|1023 |   - |1737 |  13k|   0 |   0 |   0 | 435k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1564.69/1565.12	c  1534s|690000 |   257 |     0 |   0.0 |  15M|1023 |   - |1737 |  13k|   0 |   0 |   0 | 441k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1586.39/1586.80	c  1556s|700000 |   239 |     0 |   0.0 |  15M|1023 |   - |1737 |  13k|   0 |   0 |   0 | 447k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1607.28/1607.75	c  1576s|710000 |   245 |     0 |   0.0 |  15M|1023 |   - |1737 |  13k|   0 |   0 |   0 | 453k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1632.57/1633.07	c  1601s|720000 |   248 |     0 |   0.0 |  15M|1023 |   - |1737 |  13k|   0 |   0 |   0 | 459k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1658.77/1659.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1658.77/1659.27	c  1627s|730000 |   250 |     0 |   0.0 |  15M|1023 |   - |1737 |  13k|   0 |   0 |   0 | 465k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1685.06/1685.59	c  1652s|740000 |   237 |     0 |   0.0 |  15M|1023 |   - |1737 |  14k|   0 |   0 |   0 | 472k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1710.75/1711.28	c  1678s|750000 |   244 |     0 |   0.0 |  15M|1023 |   - |1737 |  14k|   0 |   0 |   0 | 478k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1733.75/1734.23	c  1700s|760000 |   242 |     0 |   0.0 |  15M|1023 |   - |1737 |  14k|   0 |   0 |   0 | 484k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1758.24/1758.75	c  1724s|770000 |   240 |     0 |   0.0 |  15M|1023 |   - |1737 |  14k|   0 |   0 |   0 | 491k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1787.93/1788.45	c  1753s|780000 |   230 |     0 |   0.0 |  15M|1023 |   - |1737 |  14k|   0 |   0 |   0 | 497k|   0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1800.04/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.50	c 
1800.04/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.50	c Solving Time (sec) : 1765.19
1800.04/1800.50	c Solving Nodes      : 783740
1800.04/1800.50	c Primal Bound       : +1.10000000000000e+01 (2 solutions)
1800.04/1800.50	c Dual Bound         : +1.00000000000000e+00
1800.04/1800.50	c Gap                : 1000.00 %
1800.04/1800.52	s SATISFIABLE
1800.04/1800.52	v x206 x205 x204 x203 -x202 -x201 x200 -x199 -x198 -x197 x196 x195 -x194 -x193 -x192 -x191 x190 -x189 x188 x187 -x186 -x3539 -x185 
1800.04/1800.52	v -x184 -x183 -x182 -x3537 -x3535 -x3533 -x3531 x3529 -x3527 x181 x180 -x179 -x178 -x177 x176 -x175 -x3525 -x174 -x173 x172 -x171 
1800.04/1800.52	v -x170 -x3523 -x169 -x168 -x3521 -x3519 -x3517 -x3515 -x3513 -x3511 -x3509 -x3507 -x3505 -x3503 -x3501 -x3499 -x167 x166 
1800.04/1800.52	v x165 x164 -x163 x162 -x3497 -x161 -x160 -x3495 -x3493 -x3491 -x3489 -x3487 -x3485 -x3483 -x3481 -x3479 -x3477 -x3475 -x159 -x158 
1800.04/1800.52	v -x3473 -x157 x156 x155 -x154 -x153 -x152 x151 x150 -x3471 x149 -x148 -x147 -x146 -x3469 -x145 -x144 -x143 x142 -x3467 -x3465 
1800.04/1800.52	v -x3463 -x3461 -x3459 -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 -x141 -x140 -x139 x138 -x3445 -x137 -x136 -x135 -x3443 -x3441 
1800.04/1800.52	v -x3438 -x3436 -x3434 -x3432 -x3430 -x3428 -x3426 -x134 -x3423 x133 -x3421 -x3419 -x132 -x3416 -x3414 -x3412 -x131 -x3410 
1800.04/1800.52	v -x3408 -x3406 -x3404 -x3402 -x3400 -x3398 -x3396 -x3394 -x130 -x3392 -x3390 -x129 -x3388 -x3386 -x3384 -x3382 -x3380 -x3378 -x3376 
1800.04/1800.52	v -x3374 -x3372 -x3370 -x3368 -x3366 -x3364 -x128 -x3361 -x3359 -x3357 -x3355 -x3353 -x3351 -x3349 -x3347 -x3345 -x3343 -x3341 
1800.04/1800.52	v -x3339 -x3337 -x3335 -x127 -x3333 -x3331 -x3329 -x3327 -x3325 -x3323 -x3321 -x3319 -x3317 -x3315 -x3313 -x3311 -x3309 -x3307 
1800.04/1800.52	v -x3305 -x3303 -x3301 -x3299 -x3297 -x3295 -x3293 -x3291 -x3289 -x3287 -x3284 -x3282 -x3280 -x3278 -x3276 -x3274 -x3272 
1800.04/1800.52	v -x3270 -x3268 -x3266 -x3264 -x3262 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 -x3242 -x3240 -x126 -x3238 
1800.04/1800.52	v x125 -x124 -x123 -x3236 -x3234 -x122 -x3232 -x121 -x3230 -x3227 -x120 -x3225 -x3223 -x3221 x119 -x3219 -x3217 -x3215 -x3213 -x3211 
1800.04/1800.52	v -x3209 -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x3191 -x118 -x3188 x117 -x3186 -x116 -x3183 -x3181 -x115 
1800.04/1800.52	v -x3178 -x3176 -x3174 -x3172 -x3170 -x3168 -x3166 -x3164 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 -x3150 -x3148 -x3146 -x3144 
1800.04/1800.52	v -x114 -x3142 -x3140 -x113 -x3138 -x3136 -x3134 -x3132 -x3130 -x3128 -x3126 -x3124 -x3122 -x3119 -x3117 -x3115 -x112 -x3113 
1800.04/1800.52	v -x3110 -x3108 -x3106 -x3104 -x3102 -x3100 -x3098 -x3096 -x3094 -x3092 -x3090 -x3088 -x3086 -x3084 -x3082 -x111 -x3080 -x3078 
1800.04/1800.52	v -x3076 -x3074 -x3072 -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x3051 -x3049 -x3047 -x3045 -x3043 -x3041 
1800.04/1800.52	v -x3039 -x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 -x3015 -x3013 -x3011 -x3009 -x3007 -x3005 
1800.04/1800.52	v -x3003 -x3001 -x2999 -x2997 -x2995 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981 -x2979 -x2977 -x2975 -x2973 -x2971 -x110 
1800.04/1800.52	v -x2969 -x2967 -x2965 -x109 -x2963 -x2961 -x2959 -x2957 -x2955 -x108 -x2953 -x2951 -x2949 -x2947 -x2945 -x2943 -x2941 -x2939 
1800.04/1800.52	v -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x107 x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x2921 -x2919 
1800.04/1800.52	v -x97 -x96 -x2917 -x2915 -x2913 -x2911 -x95 x2909 -x94 -x2907 -x93 -x92 -x91 -x2904 -x90 -x2902 -x2900 -x89 x88 -x2898 -x2896 
1800.04/1800.52	v -x87 -x2894 -x2892 -x2890 -x86 -x2888 -x2886 -x2884 -x2882 -x2880 -x2878 -x2876 -x2874 -x2872 -x2870 -x2868 -x85 -x2865 x84 
1800.04/1800.52	v -x83 -x2861 -x2858 -x82 -x2856 -x2854 -x2852 -x2850 -x2848 -x81 -x2846 -x80 -x2844 -x79 -x2842 -x2840 -x2838 -x2836 -x2834 
1800.04/1800.52	v -x78 -x2832 -x2830 -x2828 -x2826 -x2824 -x2822 -x2820 -x77 -x2818 -x2816 -x2814 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802 -x2800 
1800.04/1800.52	v -x2798 -x2796 -x2794 -x2792 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x2776 -x2774 -x2772 -x2770 -x76 -x2768 -x2765 
1800.04/1800.52	v -x75 -x2763 -x2761 -x2759 -x2757 -x2755 -x2753 -x2751 -x2749 -x74 -x2747 -x2745 -x2743 -x2741 -x2739 -x2737 -x2735 -x2733 
1800.04/1800.52	v -x73 -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x2707 -x2705 -x2703 -x2701 -x2699 -x72 
1800.04/1800.52	v -x2697 -x2695 -x2693 -x2691 -x71 -x2689 -x2687 -x2685 -x2683 -x2681 -x2679 -x70 -x2677 -x2675 -x2673 -x2671 -x2669 -x2667 
1800.04/1800.52	v -x2665 -x2663 -x2661 -x69 -x2659 -x2657 -x2655 -x2653 -x2651 -x2649 -x2647 -x2645 x2643 -x2641 -x2639 -x2637 -x2635 -x2633 -x2631 
1800.04/1800.52	v -x2629 -x2627 x68 -x2625 -x2623 -x2621 -x2619 -x2617 -x2615 -x2612 -x2610 -x2608 -x67 -x2606 -x2604 -x2602 -x2600 -x2598 
1800.04/1800.52	v -x2595 -x2593 -x2591 -x2589 -x2587 -x2585 -x2583 -x2581 -x2579 -x2577 -x2575 -x2573 -x2571 -x2569 -x2567 -x2565 -x2563 -x2561 
1800.04/1800.52	v -x2559 -x66 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x2543 -x2541 -x2539 -x2537 -x2535 -x2533 -x2531 -x2529 -x2527 
1800.04/1800.52	v -x2525 -x2523 -x2521 -x2519 -x2517 -x2515 -x2513 -x65 -x2511 -x2509 -x2507 -x2505 -x2503 -x2501 -x2499 -x2497 -x2495 -x2493 
1800.04/1800.52	v -x2491 -x2489 -x2487 -x2485 -x2483 -x2481 -x2479 -x2477 -x2475 -x2473 -x2471 -x2469 -x2465 -x2463 -x2461 -x2459 -x2457 -x2455 
1800.04/1800.52	v -x2453 -x2451 -x2449 -x2447 -x2445 -x2443 -x2441 -x2439 -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 -x2419 
1800.04/1800.52	v -x2417 -x2415 -x2413 -x2411 -x2409 -x2407 -x64 -x2405 x63 -x62 -x61 -x2402 -x2400 x60 -x59 -x2398 -x2396 x58 -x2394 -x2392 
1800.04/1800.52	v -x57 -x2390 -x2388 -x2386 -x2384 -x2382 -x2380 -x2378 -x56 -x2376 -x55 -x2374 -x54 -x2372 -x2370 -x2368 -x53 -x2366 -x2364 -x2362 
1800.04/1800.52	v -x2360 -x52 -x2358 -x2356 -x2354 -x51 -x2352 x2350 -x2348 -x2346 -x2344 x50 -x2342 -x2340 -x2338 -x2336 -x2334 -x2332 -x2330 
1800.04/1800.52	v -x49 -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 -x2314 -x2312 -x2310 -x2308 -x2306 -x2304 -x2302 -x2300 -x2298 -x2296 
1800.04/1800.52	v -x2294 -x2292 -x48 -x2290 -x47 -x2288 -x2286 -x2284 -x46 -x2282 -x2280 -x2278 -x2276 -x45 -x2274 -x2272 -x2270 -x2268 -x2266 
1800.04/1800.52	v -x2264 -x44 -x2262 -x2260 x2258 x43 -x2256 -x2254 -x2252 -x2250 -x2248 -x42 -x2246 -x2244 -x2242 -x2240 -x2238 -x2236 -x2234 
1800.04/1800.52	v -x41 -x2232 -x2230 -x2228 -x2226 -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202 -x2200 
1800.04/1800.52	v -x40 -x2198 -x2196 -x2194 x2192 x39 -x2190 -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x2176 -x38 -x2174 -x2172 -x2170 -x2168 
1800.04/1800.52	v -x2166 -x2164 -x2162 -x2160 -x37 -x2158 -x2156 -x2154 -x2152 -x2150 -x2148 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 
1800.04/1800.52	v -x2132 -x2130 -x36 -x2128 -x2126 -x2124 -x2122 -x2120 -x2118 -x2116 -x2114 -x2112 -x2110 -x35 -x2108 -x2106 -x2104 -x2102 
1800.04/1800.52	v -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x2082 -x2080 -x2078 -x2076 -x2074 -x2072 -x2070 -x34 -x2068 -x2066 
1800.04/1800.52	v -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052 -x2050 -x2048 -x2046 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 
1800.04/1800.52	v -x2030 -x2028 -x2026 -x2024 -x33 -x2022 -x2020 -x2018 -x2016 -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 
1800.04/1800.52	v -x1994 -x1992 -x1990 -x1988 -x1986 -x1984 -x1982 -x1980 -x1978 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 
1800.04/1800.52	v -x1960 -x1958 -x1956 -x1954 -x1952 -x1950 -x1948 -x1946 -x1944 -x1942 -x1940 -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 
1800.04/1800.52	v -x1924 -x1922 -x32 -x1920 -x1918 -x31 -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x30 -x1903 -x1901 -x1899 -x1897 -x1895 -x1893 
1800.04/1800.52	v -x29 -x1891 -x1889 -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 -x1875 -x1873 -x1871 -x1869 -x28 -x1867 -x1865 -x1863 -x1861 
1800.04/1800.52	v -x1859 -x1857 -x27 -x1855 -x1853 -x1850 -x1848 -x1846 -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x1832 -x26 -x1830 -x1828 -x1826 
1800.04/1800.52	v -x1824 -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1810 -x1808 -x25 -x1806 -x1804 -x1802 -x1800 -x1798 -x1796 -x1794 -x1792 
1800.04/1800.52	v -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x24 -x1762 -x1760 -x1758 
1800.04/1800.52	v -x1756 -x1754 -x1752 -x23 -x1750 -x1748 -x1746 -x1744 -x1742 -x1740 -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x22 -x1726 -x1724 
1800.04/1800.52	v -x1722 -x1719 -x1717 -x1715 -x1713 -x1711 -x1709 -x1707 -x1705 -x21 -x1703 -x1701 -x1699 -x1697 -x1695 -x1693 -x1691 -x1689 
1800.04/1800.52	v -x1687 -x1685 -x1683 -x1681 -x1679 -x1677 -x1675 -x1673 -x1671 -x1669 -x1667 -x1665 -x1663 -x1661 -x1659 -x1657 -x1655 -x20 
1800.04/1800.52	v -x1653 -x1651 -x1649 -x1647 -x1645 -x1643 -x1641 -x1639 -x1637 -x1635 -x1633 -x19 -x1631 -x1629 -x1627 -x1625 -x1623 -x1621 
1800.04/1800.52	v -x1619 -x1617 -x1615 -x1613 -x1611 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597 -x1595 -x1593 -x1590 -x1588 -x1586 -x18 
1800.04/1800.52	v -x1584 -x1582 -x1580 -x1578 -x1576 -x1574 -x1572 -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x1554 -x1552 -x1550 
1800.04/1800.52	v -x1548 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x17 -x1532 -x1530 -x1528 -x1526 -x1524 -x1522 -x1520 -x1518 -x1516 
1800.04/1800.52	v -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 -x1488 -x1486 -x1484 -x1482 -x1480 
1800.04/1800.52	v -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 -x1456 -x1454 -x1452 -x1450 -x1448 -x1446 -x1444 
1800.04/1800.52	v -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x16 -x1424 -x1422 -x1419 -x1417 -x1415 -x1413 -x15 -x1411 
1800.04/1800.52	v -x1409 -x1407 -x1405 -x1403 -x1401 -x1399 -x1397 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385 -x14 -x1383 -x1381 -x1379 -x1377 
1800.04/1800.52	v -x1375 -x1373 -x1371 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x13 -x1355 -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 -x1341 
1800.04/1800.52	v -x1339 -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321 -x1319 -x1317 -x1315 -x1313 -x1311 -x1309 -x1307 
1800.04/1800.52	v -x1305 -x1303 -x1301 -x12 -x1299 -x1297 -x1295 -x1293 -x1291 -x1289 -x1287 -x1285 -x1283 -x1281 -x1279 -x1277 -x1275 -x1273 -x1271 
1800.04/1800.52	v -x11 -x1269 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 -x1245 -x1243 -x1241 -x1239 -x1237 
1800.04/1800.52	v -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 -x10 -x1215 -x1213 -x1211 -x1209 -x1207 -x1205 -x1203 
1800.04/1800.52	v -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 -x1175 -x1173 -x1171 -x1169 -x1167 
1800.04/1800.52	v -x1165 -x1163 -x1161 -x9 -x1159 -x1157 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 -x1139 -x1137 -x1135 -x1133 
1800.04/1800.52	v -x1131 -x1129 -x1127 -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 -x1103 -x1101 -x1099 -x1097 
1800.04/1800.52	v -x1095 -x1093 -x1091 -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x1067 -x1065 -x1063 -x1061 
1800.04/1800.52	v -x1059 -x1057 -x1055 -x1053 -x1051 -x1049 -x1047 -x1045 -x8 -x1043 -x1041 -x1039 -x1037 -x1035 -x1033 -x1031 -x1029 -x1027 
1800.04/1800.52	v -x1025 -x1023 -x1021 -x1019 -x1017 -x1015 -x7 -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 -x995 -x993 -x991 
1800.04/1800.52	v -x989 -x987 -x985 -x983 -x981 -x979 -x977 -x975 -x973 -x971 -x969 -x967 -x965 -x963 -x961 -x959 -x957 -x955 -x6 -x953 -x951 
1800.04/1800.52	v -x949 -x947 -x945 -x943 -x941 -x939 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x913 -x911 -x909 
1800.04/1800.52	v -x907 -x905 -x903 -x901 -x899 -x897 -x895 -x5 -x893 -x891 -x889 -x887 -x885 -x883 -x881 -x879 -x877 -x875 -x873 -x871 -x869 
1800.04/1800.52	v -x867 -x865 -x863 -x861 -x859 -x857 -x855 -x853 -x851 -x849 -x847 -x845 -x843 -x841 -x839 -x837 -x835 -x833 -x831 -x829 -x827 
1800.04/1800.52	v -x825 -x823 -x821 -x819 -x817 -x815 -x813 -x811 -x809 -x807 -x805 -x803 -x801 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 
1800.04/1800.52	v -x783 -x781 -x779 -x777 -x775 -x4 -x773 -x771 -x769 -x767 -x765 -x763 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 
1800.04/1800.52	v -x743 -x741 -x739 -x737 -x735 -x733 -x731 -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x3 -x711 -x709 -x707 -x705 
1800.04/1800.52	v -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x689 -x687 -x685 -x683 -x681 -x679 -x677 -x675 -x673 -x671 -x669 -x667 -x665 -x663 
1800.04/1800.52	v -x661 -x659 -x657 -x655 -x653 -x651 -x649 -x647 -x645 -x643 -x641 -x639 -x637 -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x621 
1800.04/1800.52	v -x619 -x617 -x615 -x613 -x611 -x609 -x607 -x605 -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x2 -x587 -x585 -x583 -x581 
1800.04/1800.52	v -x579 -x577 -x575 -x573 -x571 -x569 -x567 -x565 -x563 -x561 -x559 -x557 -x555 -x553 -x551 -x549 -x547 -x545 -x543 -x541 -x539 
1800.04/1800.52	v -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517 -x515 -x513 -x511 -x509 -x507 -x505 -x503 -x501 -x499 -x497 
1800.04/1800.52	v -x495 -x493 -x491 -x489 -x487 -x485 -x483 -x481 -x479 -x477 -x475 -x473 -x471 -x469 -x467 -x465 -x463 -x1 -x461 -x459 -x457 
1800.04/1800.52	v -x455 -x453 -x451 -x449 -x447 -x445 -x443 -x441 -x439 -x437 -x435 -x433 -x431 -x429 -x427 -x425 -x423 -x421 -x419 -x417 -x415 
1800.04/1800.52	v -x413 -x411 -x409 -x407 -x405 -x403 -x401 -x399 -x397 -x395 -x393 -x391 -x389 -x387 -x385 -x383 -x381 -x379 -x377 -x375 
1800.04/1800.52	v -x373 -x371 x369 -x367 -x365 -x363 -x361 -x359 -x357 -x355 -x353 -x351 -x349 -x347 -x345 -x343 -x341 -x339 -x337 -x335 -x333 
1800.04/1800.52	v -x331 -x329 -x327 -x325 -x323 -x321 -x319 -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x301 -x299 -x297 -x295 -x293 -x291 
1800.04/1800.52	v -x289 -x287 -x285 -x283 -x281 -x279 -x277 -x275 -x273 -x271 -x269 -x267 -x265 -x263 -x261 -x259 -x257 -x255 -x253 -x251 -x249 
1800.04/1800.52	v -x247 -x245 -x243 -x241 -x239 -x237 -x235 -x233 -x231 -x229 -x227 -x225 -x223 -x221 -x219 -x217 -x215 -x213 -x211 -x209 -x207 
1800.04/1800.52	v -x3540 -x3538 -x3536 -x3534 -x3532 x3530 -x3528 -x3526 -x3524 -x3522 -x3520 -x3518 -x3516 -x3514 -x3512 -x3510 -x3508 -x3506 
1800.04/1800.52	v -x3504 -x3502 -x3500 -x3498 -x3496 -x3494 -x3492 -x3490 -x3488 -x3486 -x3484 -x3482 -x3480 -x3478 -x3476 -x3474 -x3472 -x3470 
1800.04/1800.52	v -x3468 -x3466 -x3464 -x3462 -x3460 -x3458 -x3456 -x3454 -x3452 -x3450 -x3448 -x3446 -x3444 -x3442 -x3440 -x3439 -x3437 -x3435 
1800.04/1800.52	v -x3433 -x3431 -x3429 -x3427 -x3425 -x3424 -x3422 -x3420 -x3418 -x3417 -x3415 -x3413 -x3411 -x3409 -x3407 -x3405 -x3403 -x3401 
1800.04/1800.52	v -x3399 -x3397 -x3395 -x3393 -x3391 -x3389 -x3387 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 -x3373 -x3371 -x3369 -x3367 
1800.04/1800.52	v -x3365 -x3363 -x3362 -x3360 -x3358 -x3356 -x3354 -x3352 -x3350 -x3348 -x3346 -x3344 -x3342 -x3340 -x3338 -x3336 -x3334 -x3332 
1800.04/1800.52	v -x3330 -x3328 -x3326 -x3324 -x3322 -x3320 -x3318 -x3316 -x3314 -x3312 -x3310 -x3308 -x3306 -x3304 -x3302 -x3300 -x3298 -x3296 
1800.04/1800.52	v -x3294 -x3292 -x3290 -x3288 -x3286 -x3285 -x3283 -x3281 -x3279 -x3277 -x3275 -x3273 -x3271 -x3269 -x3267 -x3265 -x3263 -x3261 
1800.04/1800.52	v -x3259 -x3257 -x3255 -x3253 -x3251 -x3249 -x3247 -x3245 -x3243 -x3241 -x3239 -x3237 -x3235 -x3233 -x3231 -x3229 -x3228 -x3226 
1800.04/1800.52	v -x3224 -x3222 -x3220 -x3218 -x3216 -x3214 -x3212 -x3210 -x3208 -x3206 -x3204 -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x3190 
1800.04/1800.52	v -x3189 -x3187 -x3185 -x3184 -x3182 -x3180 -x3179 -x3177 -x3175 -x3173 -x3171 -x3169 -x3167 -x3165 -x3163 -x3161 -x3159 -x3157 
1800.04/1800.52	v -x3155 -x3153 -x3151 -x3149 -x3147 -x3145 -x3143 -x3141 -x3139 -x3137 -x3135 -x3133 -x3131 -x3129 -x3127 -x3125 -x3123 
1800.04/1800.52	v -x3121 -x3120 -x3118 -x3116 -x3114 -x3112 -x3111 -x3109 -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 
1800.04/1800.52	v -x3087 -x3085 -x3083 -x3081 -x3079 -x3077 -x3075 -x3073 x3071 -x3070 -x3068 -x3066 -x3064 -x3062 -x3060 -x3058 -x3056 -x3054 
1800.04/1800.52	v -x3052 -x3050 -x3048 -x3046 -x3044 -x3042 -x3040 -x3038 -x3036 -x3034 -x3032 -x3030 -x3028 -x3026 -x3024 -x3022 -x3020 -x3018 
1800.04/1800.52	v -x3016 -x3014 -x3012 -x3010 -x3008 -x3006 -x3004 -x3002 -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 -x2988 -x2986 -x2984 -x2982 
1800.04/1800.52	v -x2980 -x2978 -x2976 -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 -x2958 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946 
1800.04/1800.52	v -x2944 -x2942 -x2940 -x2938 -x2936 -x2934 -x2932 -x2930 -x2928 -x2926 -x2924 -x2922 -x2920 -x2918 -x2916 -x2914 -x2912 x2910 
1800.04/1800.52	v -x2908 x2906 -x2905 -x2903 -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x2885 -x2883 -x2881 -x2879 -x2877 -x2875 
1800.04/1800.52	v -x2873 -x2871 -x2869 -x2867 -x2866 x2864 -x2863 -x2862 -x2860 -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 -x2845 -x2843 
1800.04/1800.52	v -x2841 -x2839 -x2837 -x2835 -x2833 -x2831 -x2829 -x2827 -x2825 -x2823 -x2821 -x2819 -x2817 -x2815 -x2813 -x2811 -x2809 -x2807 
1800.04/1800.52	v -x2805 -x2803 -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x2783 -x2781 -x2779 -x2777 -x2775 -x2773 -x2771 
1800.04/1800.52	v -x2769 -x2767 -x2766 -x2764 -x2762 -x2760 -x2758 -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 
1800.04/1800.52	v -x2736 -x2734 -x2732 -x2730 -x2728 -x2726 -x2724 -x2722 -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 
1800.04/1800.52	v -x2700 -x2698 -x2696 -x2694 -x2692 -x2690 -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 
1800.04/1800.52	v -x2664 -x2662 -x2660 -x2658 -x2656 -x2654 -x2652 -x2650 -x2648 -x2646 x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 
1800.04/1800.52	v -x2628 -x2626 -x2624 -x2622 -x2620 -x2618 -x2616 -x2614 -x2613 -x2611 -x2609 -x2607 -x2605 -x2603 -x2601 -x2599 -x2597 -x2596 
1800.04/1800.52	v -x2594 -x2592 -x2590 -x2588 -x2586 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560 
1800.04/1800.52	v -x2558 -x2556 -x2554 -x2552 -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524 
1800.04/1800.52	v -x2522 -x2520 -x2518 -x2516 -x2514 -x2512 -x2510 -x2508 -x2506 -x2504 -x2502 -x2500 -x2498 -x2496 -x2494 -x2492 -x2490 -x2488 
1800.04/1800.52	v -x2486 -x2484 -x2482 -x2480 -x2478 -x2476 -x2474 -x2472 -x2470 -x2468 -x2467 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 
1800.04/1800.52	v -x2454 -x2452 -x2450 -x2448 -x2446 -x2444 -x2442 -x2440 -x2438 -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420 
1800.04/1800.52	v -x2418 -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 x2404 -x2403 -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x2389 -x2387 -x2385 
1800.04/1800.52	v -x2383 -x2381 -x2379 -x2377 -x2375 -x2373 -x2371 -x2369 -x2367 -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 x2351 -x2349 
1800.04/1800.52	v -x2347 -x2345 -x2343 -x2341 -x2339 -x2337 -x2335 -x2333 -x2331 -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313 
1800.04/1800.52	v -x2311 -x2309 -x2307 -x2305 -x2303 -x2301 -x2299 -x2297 -x2295 -x2293 -x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 
1800.04/1800.52	v -x2275 -x2273 -x2271 -x2269 -x2267 -x2265 -x2263 -x2261 x2259 -x2257 -x2255 -x2253 -x2251 -x2249 -x2247 -x2245 -x2243 -x2241 
1800.04/1800.52	v -x2239 -x2237 -x2235 -x2233 -x2231 -x2229 -x2227 -x2225 -x2223 -x2221 -x2219 -x2217 -x2215 -x2213 -x2211 -x2209 -x2207 -x2205 
1800.04/1800.52	v -x2203 -x2201 -x2199 -x2197 -x2195 x2193 -x2191 -x2189 -x2187 -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x2171 -x2169 
1800.04/1800.52	v -x2167 -x2165 -x2163 -x2161 -x2159 -x2157 -x2155 -x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x2137 -x2135 -x2133 
1800.04/1800.52	v -x2131 -x2129 -x2127 -x2125 -x2123 -x2121 -x2119 -x2117 -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099 -x2097 
1800.04/1800.52	v -x2095 -x2093 -x2091 -x2089 -x2087 -x2085 -x2083 -x2081 -x2079 -x2077 -x2075 -x2073 -x2071 -x2069 -x2067 -x2065 -x2063 
1800.04/1800.52	v -x2061 -x2059 -x2057 -x2055 -x2053 -x2051 -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 -x2031 -x2029 -x2027 
1800.04/1800.52	v -x2025 -x2023 -x2021 -x2019 -x2017 -x2015 -x2013 -x2011 -x2009 -x2007 -x2005 -x2003 -x2001 -x1999 -x1997 -x1995 -x1993 -x1991 
1800.04/1800.52	v -x1989 -x1987 -x1985 -x1983 -x1981 -x1979 -x1977 -x1975 -x1973 -x1971 -x1969 -x1967 -x1965 -x1963 -x1961 -x1959 -x1957 -x1955 
1800.04/1800.52	v -x1953 -x1951 -x1949 -x1947 -x1945 -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x1931 -x1929 -x1927 -x1925 -x1923 -x1921 -x1919 
1800.04/1800.52	v -x1917 -x1916 -x1914 -x1912 -x1910 -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 
1800.04/1800.52	v -x1882 -x1880 -x1878 -x1876 -x1874 -x1872 -x1870 -x1868 -x1866 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1851 -x1849 
1800.04/1800.52	v -x1847 -x1845 -x1843 -x1841 -x1839 -x1837 -x1835 -x1833 -x1831 -x1829 -x1827 -x1825 -x1823 -x1821 -x1819 -x1817 -x1815 
1800.04/1800.52	v -x1813 -x1811 -x1809 -x1807 -x1805 -x1803 -x1801 -x1799 -x1797 -x1795 -x1793 -x1791 -x1789 -x1787 -x1785 -x1783 -x1781 -x1779 
1800.04/1800.52	v -x1777 -x1775 -x1773 -x1771 -x1769 -x1767 -x1765 -x1763 -x1761 -x1759 -x1757 -x1755 -x1753 -x1751 -x1749 -x1747 -x1745 -x1743 
1800.04/1800.52	v -x1741 -x1739 -x1737 -x1735 -x1733 -x1731 -x1729 -x1727 -x1725 -x1723 -x1721 -x1720 -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 
1800.04/1800.52	v -x1706 -x1704 -x1702 -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 
1800.04/1800.52	v -x1670 -x1668 -x1666 -x1664 -x1662 -x1660 -x1658 -x1656 -x1654 -x1652 -x1650 -x1648 -x1646 -x1644 -x1642 -x1640 -x1638 -x1636 
1800.04/1800.52	v -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608 -x1606 -x1604 -x1602 -x1600 
1800.04/1800.52	v -x1598 -x1596 -x1594 -x1592 -x1591 -x1589 -x1587 -x1585 -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x1567 
1800.04/1800.52	v -x1565 -x1563 -x1561 -x1559 -x1557 -x1555 -x1553 -x1551 -x1549 -x1547 -x1545 -x1543 -x1541 -x1539 -x1537 -x1535 -x1533 -x1531 
1800.04/1800.52	v -x1529 -x1527 -x1525 -x1523 -x1521 -x1519 -x1517 -x1515 -x1513 -x1511 -x1509 -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 
1800.04/1800.52	v -x1493 -x1491 -x1489 -x1487 -x1485 -x1483 -x1481 -x1479 -x1477 -x1475 -x1473 -x1471 -x1469 -x1467 -x1465 -x1463 -x1461 -x1459 
1800.04/1800.52	v -x1457 -x1455 -x1453 -x1451 -x1449 -x1447 -x1445 -x1443 -x1441 -x1439 -x1437 -x1435 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 
1800.04/1800.52	v -x1421 -x1420 -x1418 -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 
1800.04/1800.52	v -x1386 -x1384 -x1382 -x1380 -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 -x1366 -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 
1800.04/1800.52	v -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x1330 -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 
1800.04/1800.52	v -x1316 -x1314 -x1312 -x1310 -x1308 -x1306 -x1304 -x1302 -x1300 -x1298 -x1296 -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 
1800.04/1800.52	v -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268 -x1266 -x1264 -x1262 -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 
1800.04/1800.52	v -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 -x1230 -x1228 -x1226 -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 
1800.04/1800.52	v -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 -x1194 -x1192 -x1190 -x1188 -x1186 -x1184 -x1182 -x1180 -x1178 -x1176 -x1174 
1800.04/1800.52	v -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160 -x1158 -x1156 -x1154 -x1152 -x1150 -x1148 -x1146 -x1144 -x1142 -x1140 -x1138 
1800.04/1800.52	v -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 -x1120 -x1118 -x1116 -x1114 -x1112 -x1110 -x1108 -x1106 -x1104 -x1102 
1800.04/1800.52	v -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086 -x1084 -x1082 -x1080 -x1078 -x1076 -x1074 -x1072 -x1070 -x1068 
1800.04/1800.52	v -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046 -x1044 -x1042 -x1040 -x1038 -x1036 -x1034 -x1032 
1800.04/1800.52	v -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 -x1012 -x1010 -x1008 -x1006 -x1004 -x1002 -x1000 -x998 -x996 
1800.04/1800.52	v -x994 -x992 -x990 -x988 -x986 -x984 -x982 -x980 -x978 -x976 -x974 -x972 -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956 -x954 
1800.04/1800.52	v -x952 -x950 -x948 -x946 -x944 -x942 -x940 -x938 -x936 -x934 -x932 -x930 -x928 -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 
1800.04/1800.52	v -x910 -x908 -x906 -x904 -x902 -x900 -x898 -x896 -x894 -x892 -x890 -x888 -x886 -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 
1800.04/1800.52	v -x868 -x866 -x864 -x862 -x860 -x858 -x856 -x854 -x852 -x850 -x848 -x846 -x844 -x842 -x840 -x838 -x836 -x834 -x832 -x830 -x828 
1800.04/1800.52	v -x826 -x824 -x822 -x820 -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800 -x798 -x796 -x794 -x792 -x790 -x788 -x786 
1800.04/1800.52	v -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764 -x762 -x760 -x758 -x756 -x754 -x752 -x750 -x748 -x746 
1800.04/1800.52	v -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722 -x720 -x718 -x716 -x714 -x712 -x710 -x708 -x706 -x704 
1800.04/1800.52	v -x702 -x700 -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x676 -x674 -x672 -x670 -x668 -x666 -x664 -x662 
1800.04/1800.52	v -x660 -x658 -x656 -x654 -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638 -x636 -x634 -x632 -x630 -x628 -x626 -x624 -x622 -x620 
1800.04/1800.52	v -x618 -x616 -x614 -x612 -x610 -x608 -x606 -x604 -x602 -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578 
1800.04/1800.52	v -x576 -x574 -x572 -x570 -x568 -x566 -x564 -x562 -x560 -x558 -x556 -x554 -x552 -x550 -x548 -x546 -x544 -x542 -x540 -x538 -x536 
1800.04/1800.52	v -x534 -x532 -x530 -x528 -x526 -x524 -x522 -x520 -x518 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 
1800.04/1800.52	v -x494 -x492 -x490 -x488 -x486 -x484 -x482 -x480 -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 
1800.04/1800.52	v -x452 -x450 -x448 -x446 -x444 -x442 -x440 -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 
1800.04/1800.52	v -x410 -x408 -x406 -x404 -x402 -x400 -x398 -x396 -x394 -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 x370 
1800.04/1800.52	v -x368 -x366 -x364 -x362 -x360 -x358 -x356 -x354 -x352 -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 
1800.04/1800.52	v -x326 -x324 -x322 -x320 -x318 -x316 -x314 -x312 -x310 -x308 -x306 -x304 -x302 -x300 -x298 -x296 -x294 -x292 -x290 -x288 -x286 
1800.04/1800.52	v -x284 -x282 -x280 -x278 -x276 -x274 -x272 -x270 -x268 -x266 -x264 -x262 -x260 -x258 -x256 -x254 -x252 -x250 -x248 -x246 -x244 
1800.04/1800.52	v -x242 -x240 -x238 -x236 -x234 -x232 -x230 -x228 -x226 -x224 -x222 -x220 -x218 -x216 -x214 -x212 -x210 -x208 
1800.04/1800.52	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.52	c Solving Time       :    1765.19
1800.04/1800.52	c Original Problem   :
1800.04/1800.52	c   Problem name     : HOME/instance-2663949-1276637764.opb
1800.04/1800.52	c   Variables        : 3540 (3540 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.52	c   Constraints      : 9890 initial, 9890 maximal
1800.04/1800.52	c Presolved Problem  :
1800.04/1800.52	c   Problem name     : t_HOME/instance-2663949-1276637764.opb
1800.04/1800.52	c   Variables        : 1737 (1737 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.52	c   Constraints      : 5616 initial, 14763 maximal
1800.04/1800.52	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.52	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.52	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.52	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.52	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.52	c   implics          :       0.00          0          6          0          0          0          0          0          0
1800.04/1800.52	c   probing          :       0.11          0         11          0          0          0          0          0          0
1800.04/1800.52	c   linear           :       0.14        133       1653          0        133          0       4274          0          0
1800.04/1800.52	c   logicor          :       0.07          0          0          0          0          0          0          0          0
1800.04/1800.52	c   root node        :          -          0          -          -          0          -          -          -          -
1800.04/1800.52	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.52	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.04/1800.52	c   logicor          :       5616+         0    3673705          0          2     107040   23034640          0          0          0
1800.04/1800.52	c   countsols        :          0          0          0          0          2          0          0          0          0          0
1800.04/1800.52	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.52	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.52	c   logicor          :     374.39       0.00     374.39       0.00       0.00
1800.04/1800.52	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.52	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.52	c   vbounds          :       2.67          2          0          0
1800.04/1800.52	c   rootredcost      :       2.63          0          0          0
1800.04/1800.52	c   pseudoobj        :     720.26    5668257     354547  110212425
1800.04/1800.52	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.52	c   propagation      :     110.11     461587     461587     461587       42.8      38766       45.0          -
1800.04/1800.52	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.52	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.52	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.52	c   pseudo solution  :       0.00          2          2          2       33.5          0        0.0          -
1800.04/1800.52	c   applied globally :          -          -          -     500355       43.0          -          -          -
1800.04/1800.52	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.52	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.52	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.04/1800.52	c   redcost          :       0.00          0          0          0          0          0
1800.04/1800.52	c   impliedbounds    :       0.00          0          0          0          0          0
1800.04/1800.52	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.52	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.52	c   gomory           :       0.00          0          0          0          0          0
1800.04/1800.52	c   strongcg         :       0.00          0          0          0          0          0
1800.04/1800.52	c   cmir             :       0.00          0          0          0          0          0
1800.04/1800.52	c   flowcover        :       0.00          0          0          0          0          0
1800.04/1800.52	c   clique           :       0.00          0          0          0          0          0
1800.04/1800.52	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.52	c   mcf              :       0.00          0          0          0          0          0
1800.04/1800.52	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.52	c Pricers            :       Time      Calls       Vars
1800.04/1800.52	c   problem variables:       0.00          0          0
1800.04/1800.52	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.52	c   relpscost        :       0.00          0          0          0          0          0          0
1800.04/1800.52	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.52	c   inference        :     162.50     644127          0          0          0          0    1288254
1800.04/1800.52	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.52	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.52	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.52	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.52	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.52	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.52	c   LP solutions     :       0.00          -          0
1800.04/1800.52	c   pseudo solutions :       0.00          -          2
1800.04/1800.52	c   oneopt           :       0.72          0          0
1800.04/1800.52	c   trivial          :       0.01          2          0
1800.04/1800.52	c   simplerounding   :       0.00          0          0
1800.04/1800.52	c   zirounding       :       0.00          0          0
1800.04/1800.52	c   rounding         :       0.00          0          0
1800.04/1800.52	c   shifting         :       0.00          0          0
1800.04/1800.52	c   intshifting      :       0.00          0          0
1800.04/1800.52	c   twoopt           :       0.00          0          0
1800.04/1800.52	c   fixandinfer      :       0.00          0          0
1800.04/1800.52	c   feaspump         :       0.00          0          0
1800.04/1800.52	c   coefdiving       :       0.00          0          0
1800.04/1800.52	c   pscostdiving     :       0.00          0          0
1800.04/1800.52	c   fracdiving       :       0.00          0          0
1800.04/1800.52	c   veclendiving     :       0.00          0          0
1800.04/1800.52	c   intdiving        :       0.00          0          0
1800.04/1800.52	c   actconsdiving    :       0.00          0          0
1800.04/1800.52	c   objpscostdiving  :       0.00          0          0
1800.04/1800.52	c   rootsoldiving    :       0.00          0          0
1800.04/1800.52	c   linesearchdiving :       0.00          0          0
1800.04/1800.52	c   guideddiving     :       0.00          0          0
1800.04/1800.52	c   octane           :       0.00          0          0
1800.04/1800.52	c   rens             :       0.00          0          0
1800.04/1800.52	c   rins             :       0.00          0          0
1800.04/1800.52	c   localbranching   :       0.00          0          0
1800.04/1800.52	c   mutation         :       0.00          0          0
1800.04/1800.52	c   crossover        :       0.00          0          0
1800.04/1800.52	c   dins             :       0.00          0          0
1800.04/1800.52	c   undercover       :       0.00          0          0
1800.04/1800.52	c   nlp              :       0.44          0          0
1800.04/1800.52	c   trysol           :       0.50          0          0
1800.04/1800.52	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.52	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.52	c   dual LP          :       0.00          0          0       0.00          -
1800.04/1800.52	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.52	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.52	c   diving/probing LP:       0.00          0          0       0.00          -
1800.04/1800.52	c   strong branching :       0.00          0          0       0.00          -
1800.04/1800.52	c     (at root node) :          -          0          0       0.00          -
1800.04/1800.52	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.52	c B&B Tree           :
1800.04/1800.52	c   number of runs   :          1
1800.04/1800.52	c   nodes            :     783740
1800.04/1800.52	c   nodes (total)    :     783740
1800.04/1800.52	c   nodes left       :        246
1800.04/1800.52	c   max depth        :       1023
1800.04/1800.52	c   max depth (total):       1023
1800.04/1800.52	c   backtracks       :     366051 (46.7%)
1800.04/1800.52	c   delayed cutoffs  :     504264
1800.04/1800.52	c   repropagations   :    1855462 (92328927 domain reductions, 321978 cutoffs)
1800.04/1800.52	c   avg switch length:       5.63
1800.04/1800.52	c   switching time   :     381.33
1800.04/1800.52	c Solution           :
1800.04/1800.52	c   Solutions found  :          2 (2 improvements)
1800.04/1800.52	c   First Solution   : +1.20000000000000e+01   (in run 1, after 1023 nodes, 0.70 seconds, depth 1021, found by <relaxation>)
1800.04/1800.52	c   Primal Bound     : +1.10000000000000e+01   (in run 1, after 1035 nodes, 0.70 seconds, depth 1023, found by <relaxation>)
1800.04/1800.52	c   Dual Bound       : +1.00000000000000e+00
1800.04/1800.52	c   Gap              :    1000.00 %
1800.04/1800.52	c   Root Dual Bound  : +1.00000000000000e+00
1800.04/1800.52	c   Root Iterations  :          0
1800.04/1800.57	c Time complete: 1800.11.

Verifier Data 

OK	11

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663949-1276637764/watcher-2663949-1276637764 -o /tmp/evaluation-result-2663949-1276637764/solver-2663949-1276637764 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663949-1276637764.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.00 1.00 1.00 3/106 6807
/proc/meminfo: memFree=1817484/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=5556 CPUtime=0
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 884 0 0 0 0 0 0 0 20 0 1 0 39377696 5689344 807 1992294400 4194304 7136930 140734148119456 18446744073709551615 6349764 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6807/statm: 1389 807 249 719 0 668 0

[startup+0.049029 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 6807
/proc/meminfo: memFree=1817484/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=11348 CPUtime=0.04
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 2330 0 0 0 4 0 0 0 20 0 1 0 39377696 11620352 2253 1992294400 4194304 7136930 140734148119456 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6807/statm: 2837 2253 271 719 0 2116 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11348

[startup+0.101033 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 6807
/proc/meminfo: memFree=1817484/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=12836 CPUtime=0.09
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 2701 0 0 0 9 0 0 0 20 0 1 0 39377696 13144064 2624 1992294400 4194304 7136930 140734148119456 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6807/statm: 3209 2624 271 719 0 2488 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12836

[startup+0.301051 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 6807
/proc/meminfo: memFree=1817484/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=29776 CPUtime=0.29
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 7079 0 0 0 27 2 0 0 20 0 1 0 39377696 30490624 6648 1992294400 4194304 7136930 140734148119456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 7444 6648 347 719 0 6723 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29776

[startup+0.701089 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 6807
/proc/meminfo: memFree=1817484/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=33724 CPUtime=0.69
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 10428 0 0 0 62 7 0 0 18 0 1 0 39377696 34533376 7681 1992294400 4194304 7136930 140734148119456 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 8431 7681 384 719 0 7710 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33724

[startup+1.50116 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6808
/proc/meminfo: memFree=1787592/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=34508 CPUtime=1.49
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 10633 0 0 0 139 10 0 0 18 0 1 0 39377696 35336192 7886 1992294400 4194304 7136930 140734148119456 18446744073709551615 5507373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 8627 7886 390 719 0 7906 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34508

[startup+3.10032 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6808
/proc/meminfo: memFree=1786848/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=35036 CPUtime=3.09
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 10751 0 0 0 292 17 0 0 21 0 1 0 39377696 35876864 8004 1992294400 4194304 7136930 140734148119456 18446744073709551615 4648306 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 8759 8004 390 719 0 8038 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35036

[startup+6.30061 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6808
/proc/meminfo: memFree=1785856/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=35704 CPUtime=6.29
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 10935 0 0 0 599 30 0 0 25 0 1 0 39377696 36560896 8188 1992294400 4194304 7136930 140734148119456 18446744073709551615 5506875 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 8926 8188 390 719 0 8205 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35704

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6808
/proc/meminfo: memFree=1783500/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=38076 CPUtime=12.69
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 11500 0 0 0 1221 48 0 0 25 0 1 0 39377696 38989824 8753 1992294400 4194304 7136930 140734148119456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 9519 8753 390 719 0 8798 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38076

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6808
/proc/meminfo: memFree=1782136/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=39280 CPUtime=25.49
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 11793 0 0 0 2470 79 0 0 25 0 1 0 39377696 40222720 9046 1992294400 4194304 7136930 140734148119456 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 9820 9046 390 719 0 9099 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 39280

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6810
/proc/meminfo: memFree=1779284/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=42220 CPUtime=51.08
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 12502 0 0 0 4970 138 0 0 25 0 1 0 39377696 43233280 9755 1992294400 4194304 7136930 140734148119456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 10555 9755 390 719 0 9834 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 42220

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6810
/proc/meminfo: memFree=1771844/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=49952 CPUtime=102.27
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 14343 0 0 0 9978 249 0 0 25 0 1 0 39377696 51150848 11596 1992294400 4194304 7136930 140734148119456 18446744073709551615 5506150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 12488 11596 390 719 0 11767 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49952

[startup+162.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 6812
/proc/meminfo: memFree=1763784/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=58028 CPUtime=162.25
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 16335 0 0 0 15849 376 0 0 25 0 1 0 39377696 59420672 13588 1992294400 4194304 7136930 140734148119456 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 14507 13588 390 719 0 13786 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 58028

[startup+222.302 s]
/proc/loadavg: 1.14 1.04 1.01 2/107 6814
/proc/meminfo: memFree=1761056/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=60720 CPUtime=222.23
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 16988 0 0 0 21732 491 0 0 25 0 1 0 39377696 62177280 14241 1992294400 4194304 7136930 140734148119456 18446744073709551615 4436495 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 15180 14241 390 719 0 14459 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 60720

[startup+282.301 s]
/proc/loadavg: 1.10 1.05 1.01 2/107 6816
/proc/meminfo: memFree=1760188/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=61796 CPUtime=282.22
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 17199 0 0 0 27615 607 0 0 25 0 1 0 39377696 63279104 14452 1992294400 4194304 7136930 140734148119456 18446744073709551615 4704769 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 15449 14452 390 719 0 14728 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 61796

[startup+342.301 s]
/proc/loadavg: 1.08 1.05 1.01 2/107 6818
/proc/meminfo: memFree=1759444/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=62708 CPUtime=342.21
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 17382 0 0 0 33487 734 0 0 25 0 1 0 39377696 64212992 14635 1992294400 4194304 7136930 140734148119456 18446744073709551615 4676271 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 15677 14635 390 719 0 14956 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 62708

[startup+402.302 s]
/proc/loadavg: 1.07 1.05 1.01 2/107 6818
/proc/meminfo: memFree=1758700/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=63332 CPUtime=402.19
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 17521 0 0 0 39362 857 0 0 25 0 1 0 39377696 64851968 14774 1992294400 4194304 7136930 140734148119456 18446744073709551615 4210031 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 15833 14774 390 719 0 15112 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 63332

[startup+462.301 s]
/proc/loadavg: 1.10 1.07 1.01 2/107 6820
/proc/meminfo: memFree=1758204/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=63812 CPUtime=462.17
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 17636 0 0 0 45235 982 0 0 25 0 1 0 39377696 65343488 14889 1992294400 4194304 7136930 140734148119456 18446744073709551615 4660874 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 15953 14889 390 719 0 15232 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 63812

[startup+522.302 s]
/proc/loadavg: 1.03 1.05 1.01 2/107 6822
/proc/meminfo: memFree=1757584/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=64556 CPUtime=522.16
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 17794 0 0 0 51107 1109 0 0 25 0 1 0 39377696 66105344 15047 1992294400 4194304 7136930 140734148119456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 16139 15047 390 719 0 15418 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 64556

[startup+582.301 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 6824
/proc/meminfo: memFree=1756964/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=65336 CPUtime=582.15
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 17937 0 0 0 56991 1224 0 0 25 0 1 0 39377696 66904064 15190 1992294400 4194304 7136930 140734148119456 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 16334 15190 390 719 0 15613 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 65336

[startup+642.301 s]
/proc/loadavg: 1.03 1.05 1.00 2/107 6826
/proc/meminfo: memFree=1755848/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=66440 CPUtime=642.13
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 18194 0 0 0 62877 1336 0 0 25 0 1 0 39377696 68034560 15447 1992294400 4194304 7136930 140734148119456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 16610 15447 390 719 0 15889 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 66440

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 6832
/proc/meminfo: memFree=1753120/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=69676 CPUtime=882.07
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 18798 0 0 0 86390 1817 0 0 25 0 1 0 39377696 71348224 16051 1992294400 4194304 7136930 140734148119456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 17419 16051 390 719 0 16698 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 69676

[startup+942.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 6834
/proc/meminfo: memFree=1751880/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=71144 CPUtime=942.06
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 19084 0 0 0 92273 1933 0 0 25 0 1 0 39377696 72851456 16337 1992294400 4194304 7136930 140734148119456 18446744073709551615 5507866 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 17786 16337 390 719 0 17065 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 71144

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6834
/proc/meminfo: memFree=1750640/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=72604 CPUtime=1002.04
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 19390 0 0 0 98167 2037 0 0 25 0 1 0 39377696 74346496 16643 1992294400 4194304 7136930 140734148119456 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 18151 16643 390 719 0 17430 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 72604

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6836
/proc/meminfo: memFree=1749896/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=73404 CPUtime=1062.03
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 19560 0 0 0 104051 2152 0 0 25 0 1 0 39377696 75165696 16813 1992294400 4194304 7136930 140734148119456 18446744073709551615 4660874 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 18351 16813 390 719 0 17630 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 73404

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6838
/proc/meminfo: memFree=1748160/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=75060 CPUtime=1122.01
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 19942 0 0 0 109949 2252 0 0 25 0 1 0 39377696 76861440 17195 1992294400 4194304 7136930 140734148119456 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 18765 17195 390 719 0 18044 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 75060

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6840
/proc/meminfo: memFree=1747540/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=76012 CPUtime=1182
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 20141 0 0 0 115841 2359 0 0 25 0 1 0 39377696 77836288 17394 1992294400 4194304 7136930 140734148119456 18446744073709551615 4660050 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 19003 17394 390 719 0 18282 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 76012

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6842
/proc/meminfo: memFree=1746424/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=77124 CPUtime=1241.98
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 20355 0 0 0 121743 2455 0 0 25 0 1 0 39377696 78974976 17608 1992294400 4194304 7136930 140734148119456 18446744073709551615 5508238 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 19281 17608 390 719 0 18560 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 77124

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 6842
/proc/meminfo: memFree=1745432/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=78080 CPUtime=1301.97
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 20582 0 0 0 127639 2558 0 0 25 0 1 0 39377696 79953920 17835 1992294400 4194304 7136930 140734148119456 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 19520 17835 390 719 0 18799 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 78080

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6844
/proc/meminfo: memFree=1744936/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=78864 CPUtime=1361.95
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 20714 0 0 0 133536 2659 0 0 25 0 1 0 39377696 80756736 17967 1992294400 4194304 7136930 140734148119456 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 19716 17967 390 719 0 18995 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 78864

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6846
/proc/meminfo: memFree=1744688/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=79008 CPUtime=1421.95
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 20759 0 0 0 139432 2763 0 0 25 0 1 0 39377696 80904192 18012 1992294400 4194304 7136930 140734148119456 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 19752 18012 390 719 0 19031 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 79008

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6848
/proc/meminfo: memFree=1744192/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=79776 CPUtime=1481.92
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 20892 0 0 0 145320 2872 0 0 25 0 1 0 39377696 81690624 18145 1992294400 4194304 7136930 140734148119456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 19944 18145 390 719 0 19223 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 79776

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6859
/proc/meminfo: memFree=1742828/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=80256 CPUtime=1541.9
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 20989 0 0 0 151205 2985 0 0 25 0 1 0 39377696 82182144 18242 1992294400 4194304 7136930 140734148119456 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 20064 18242 390 719 0 19343 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 80256

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6859
/proc/meminfo: memFree=1742828/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=80708 CPUtime=1601.88
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 21048 0 0 0 157093 3095 0 0 25 0 1 0 39377696 82644992 18301 1992294400 4194304 7136930 140734148119456 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 20177 18301 390 719 0 19456 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 80708

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6861
/proc/meminfo: memFree=1742704/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=81348 CPUtime=1661.86
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 21164 0 0 0 162974 3212 0 0 25 0 1 0 39377696 83300352 18417 1992294400 4194304 7136930 140734148119456 18446744073709551615 5506192 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 20337 18417 390 719 0 19616 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 81348

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6863
/proc/meminfo: memFree=1741340/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=82932 CPUtime=1721.85
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 21504 0 0 0 168866 3319 0 0 25 0 1 0 39377696 84922368 18757 1992294400 4194304 7136930 140734148119456 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 20733 18757 390 719 0 20012 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 82932

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6865
/proc/meminfo: memFree=1740844/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=83232 CPUtime=1781.83
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 21569 0 0 0 174751 3432 0 0 25 0 1 0 39377696 85229568 18822 1992294400 4194304 7136930 140734148119456 18446744073709551615 5955584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 20808 18822 390 719 0 20087 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 83232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6865
/proc/meminfo: memFree=1740596/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=83736 CPUtime=1800.04
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 21635 0 0 0 176536 3468 0 0 25 0 1 0 39377696 85745664 18888 1992294400 4194304 7136930 140734148119456 18446744073709551615 4660974 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 20934 18888 390 719 0 20213 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 83736

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6865
/proc/meminfo: memFree=1740596/2059040 swapFree=4135932/4192956
[pid=6807] ppid=6805 vsize=83736 CPUtime=1800.04
/proc/6807/stat : 6807 (pbscip.linux.x8) R 6805 6807 6382 0 -1 4202496 21635 0 0 0 176536 3468 0 0 25 0 1 0 39377696 85745664 18888 1992294400 4194304 7136930 140734148119456 18446744073709551615 4660974 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6807/statm: 20934 18888 390 719 0 20213 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 83736

Child status: 0
Real time (s): 1800.58
CPU time (s): 1800.12
CPU user time (s): 1765.42
CPU system time (s): 34.6977
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 83736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1765.42
system time used= 34.6977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21721
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= 6
involuntary context switches= 2815

runsolver used 3.17752 second user time and 8.31074 second system time

The end

Launcher Data 

Begin job on node015 at 2010-06-15 23:36:04
IDJOB=2663949
IDBENCH=25004
IDSOLVER=1167
FILE ID=node015/2663949-1276637764
PBS_JOBID= 11172371
Free space on /tmp= 62584 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir03_area_delay.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663949-1276637764/watcher-2663949-1276637764 -o /tmp/evaluation-result-2663949-1276637764/solver-2663949-1276637764 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663949-1276637764.opb -t 1800 -m 1800

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

MD5SUM BENCH= 2b747b2caed6577698c928a521fdc3c2
RANDOM SEED=327650273

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1817888 kB
Buffers:         60420 kB
Cached:         101000 kB
SwapCached:      10856 kB
Active:          98520 kB
Inactive:        77196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1817888 kB
SwapTotal:     4192956 kB
SwapFree:      4135932 kB
Dirty:            3500 kB
Writeback:           0 kB
AnonPages:       12760 kB
Mapped:           9324 kB
Slab:            43420 kB
PageTables:       4052 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180804 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= 62580 MiB
End job on node015 at 2010-06-16 00:06:06