Trace number 3717548

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixedMSAT 1796.84 1797.15

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl--soft-33-100-0.wbo
MD5SUM2dda6fbf8d261259c880dca3531a1919
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark5.2832
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4622
Total number of constraints12569
Number of soft constraints8453
Number of constraints which are clauses11753
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints816
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 425712
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 425711
Biggest number in a constraint 36
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 130
Number of bits of the biggest sum of numbers8
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 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00	c Copyright (c) 2002-2012 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-3717548-1338195079.wbo>
0.04/0.05	c original problem has 13075 variables (13075 bin, 0 int, 0 impl, 0 cont) and 12570 constraints
0.04/0.05	c problem read in 0.05
0.08/0.19	c presolving:
0.19/0.27	c (round 1) 30 del vars, 8 del conss, 0 add conss, 2 chg bounds, 408 chg sides, 818 chg coeffs, 0 upgd conss, 10337 impls, 0 clqs
0.19/0.28	c (round 2) 32 del vars, 63 del conss, 0 add conss, 2 chg bounds, 408 chg sides, 818 chg coeffs, 0 upgd conss, 10337 impls, 0 clqs
0.29/0.32	c (round 3) 34 del vars, 65 del conss, 0 add conss, 8453 chg bounds, 408 chg sides, 818 chg coeffs, 0 upgd conss, 10337 impls, 0 clqs
0.39/0.41	c (round 4) 34 del vars, 65 del conss, 0 add conss, 8453 chg bounds, 408 chg sides, 818 chg coeffs, 4057 upgd conss, 10337 impls, 0 clqs
0.79/0.82	c    (0.8s) probing: 92/13043 (0.7%) - 0 fixings, 1 aggregations, 2 implications, 0 bound changes
0.79/0.82	c    (0.8s) probing aborted: 50/50 successive totally useless probings
0.79/0.82	c (round 5) 35 del vars, 473 del conss, 136 add conss, 8453 chg bounds, 408 chg sides, 818 chg coeffs, 4057 upgd conss, 10344 impls, 0 clqs
0.79/0.89	c    (0.9s) probing: 97/13043 (0.7%) - 0 fixings, 1 aggregations, 2 implications, 0 bound changes
0.79/0.89	c    (0.9s) probing aborted: 50/50 successive totally useless probings
0.89/0.91	c presolving (6 rounds):
0.89/0.91	c  35 deleted vars, 475 deleted constraints, 136 added constraints, 8453 tightened bounds, 0 added holes, 408 changed sides, 818 changed coefficients
0.89/0.91	c  18795 implications, 0 cliques
0.89/0.91	c presolved problem has 21493 variables (13042 bin, 0 int, 8451 impl, 0 cont) and 20684 constraints
0.89/0.91	c     270 constraints of type <knapsack>
0.89/0.91	c    2270 constraints of type <setppc>
0.89/0.91	c     136 constraints of type <and>
0.89/0.91	c    8451 constraints of type <linear>
0.89/0.91	c    8451 constraints of type <indicator>
0.89/0.91	c    1106 constraints of type <logicor>
0.89/0.91	c transformed objective value is always integral (scale: 1)
0.89/0.91	c Presolving Time: 0.83
0.89/0.91	c - non default parameters ----------------------------------------------------------------------
0.89/0.91	c # SCIP version 2.1.1.4
0.89/0.91	c 
0.89/0.91	c # maximal time in seconds to run
0.89/0.91	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.91	c limits/time = 1797
0.89/0.91	c 
0.89/0.91	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.91	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.91	c limits/memory = 13950
0.89/0.91	c 
0.89/0.91	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.89/0.91	c # [type: int, range: [1,2], default: 1]
0.89/0.91	c timing/clocktype = 2
0.89/0.91	c 
0.89/0.91	c # belongs reading time to solving time?
0.89/0.91	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.91	c timing/reading = TRUE
0.89/0.91	c 
0.89/0.91	c # force restart if we have a max FS instance and gap is 1?
0.89/0.91	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.91	c constraints/indicator/forcerestart = TRUE
0.89/0.91	c 
0.89/0.91	c # priority of branching rule <inference>
0.89/0.91	c # [type: int, range: [-536870912,536870911], default: 1000]
0.89/0.91	c branching/inference/priority = 1000000
0.89/0.91	c 
0.89/0.91	c # frequency offset for calling primal heuristic <coefdiving>
0.89/0.91	c # [type: int, range: [0,2147483647], default: 1]
0.89/0.91	c heuristics/coefdiving/freqofs = 0
0.89/0.91	c 
0.89/0.91	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.89/0.91	c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.91	c heuristics/shiftandpropagate/freq = -1
0.89/0.91	c 
0.89/0.91	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.89/0.91	c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.91	c heuristics/undercover/freq = -1
0.89/0.91	c 
0.89/0.91	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.89/0.91	c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.91	c separating/rapidlearning/freq = 0
0.89/0.91	c 
0.89/0.91	c # frequency for calling primal heuristic <indrounding> (-1: never, 0: only at depth freqofs)
0.89/0.91	c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.91	c heuristics/indrounding/freq = 1
0.89/0.91	c 
0.89/0.91	c -----------------------------------------------------------------------------------------------
0.89/0.91	c start solving
0.89/0.94	c 
2.58/2.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.58/2.66	c   2.7s|     1 |     0 |  3148 |     - |  76M|   0 |1627 |  21k|  20k|  21k|  20k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
8.99/9.05	c   9.0s|     1 |     0 | 18695 |     - |  78M|   0 |1819 |  21k|  20k|  21k|  20k| 111 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
10.58/10.64	c  10.6s|     1 |     0 | 20676 |     - |  79M|   0 |1980 |  21k|  20k|  21k|  21k| 322 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
13.39/13.40	c  13.4s|     1 |     0 | 23434 |     - |  80M|   0 |1972 |  21k|  20k|  21k|  21k| 543 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
15.79/15.84	c  15.8s|     1 |     0 | 26941 |     - |  81M|   0 |2058 |  21k|  20k|  21k|  21k| 738 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
19.89/19.90	c  19.9s|     1 |     0 | 29918 |     - |  82M|   0 |2037 |  21k|  20k|  21k|  21k| 943 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
21.68/21.71	c  21.7s|     1 |     0 | 31581 |     - |  83M|   0 |2194 |  21k|  20k|  21k|  21k|1129 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
47.78/47.86	o 8316
47.78/47.86	c c47.9s|     1 |     0 | 58475 |     - |  92M|   0 |   - |  21k|  20k|  21k|  21k|1129 |  37 |   0 | 0.000000e+00 | 8.316000e+03 |    Inf 
47.88/47.92	o 8247
47.88/47.92	c c47.9s|     1 |     0 | 58495 |     - |  92M|   0 |   - |  21k|  20k|  21k|  21k|1129 |  37 |   0 | 0.000000e+00 | 8.247000e+03 |    Inf 
47.98/48.04	o 8202
47.98/48.04	c c48.0s|     1 |     0 | 58592 |     - |  93M|   0 |   - |  21k|  20k|  21k|  21k|1129 |  44 |   0 | 0.000000e+00 | 8.202000e+03 |    Inf 
48.18/48.24	o 8198
48.18/48.24	c c48.2s|     1 |     0 | 58626 |     - |  94M|   0 |   - |  21k|  20k|  21k|  21k|1129 |  44 |   0 | 0.000000e+00 | 8.198000e+03 |    Inf 
49.28/49.31	c  49.3s|     1 |     0 | 58862 |     - |  86M|   0 |2194 |  21k|  20k|  21k|  21k|1129 |  44 |   0 | 0.000000e+00 | 8.198000e+03 |    Inf 
51.48/51.60	o 2399
51.48/51.60	c 651.6s|     1 |     0 | 58862 |     - |  87M|   0 |2194 |  21k|  20k|  21k|  21k|1129 |  44 |   0 | 0.000000e+00 | 2.399000e+03 |    Inf 
58.68/58.76	c  58.8s|     1 |     0 | 63115 |     - |  87M|   0 |2149 |  21k|  20k|  21k|  22k|1330 |  44 |   0 | 0.000000e+00 | 2.399000e+03 |    Inf 
59.18/59.30	o 2224
59.18/59.30	c 659.3s|     1 |     0 | 63115 |     - |  88M|   0 |2149 |  21k|  20k|  21k|  22k|1330 |  44 |   0 | 0.000000e+00 | 2.224000e+03 |    Inf 
59.18/59.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
59.18/59.30	c  59.3s|     1 |     2 | 63115 |     - |  88M|   0 |2149 |  21k|  20k|  21k|  22k|1330 |  44 |   0 | 0.000000e+00 | 2.224000e+03 |    Inf 
91.19/91.24	o 1720
91.19/91.24	c v91.2s|    13 |    14 |101572 |5478.2 |  96M|   8 |   - |  21k|  20k|  21k|  21k|1384 | 102 |   0 | 0.000000e+00 | 1.720000e+03 |    Inf 
91.78/91.87	o 1145
91.78/91.87	c 691.9s|    13 |    14 |101599 |5480.4 |  93M|   8 |1578 |  21k|  20k|  21k|  21k|1384 | 102 |   0 | 0.000000e+00 | 1.145000e+03 |    Inf 
91.98/92.05	o 1065
91.98/92.05	c 692.1s|    14 |    13 |101599 |5058.8 |  94M|   8 |   - |  21k|  20k|   0 |   0 |1384 | 102 |   0 | 0.000000e+00 | 1.065000e+03 |    Inf 
224.26/224.35	o 750
224.26/224.35	c g 224s|    17 |    18 |267201 |14460.4 | 100M|   8 |   - |  21k|  20k|  21k|  21k|1394 | 110 |   0 | 0.000000e+00 | 7.500000e+02 |    Inf 
224.65/224.74	o 739
224.65/224.75	c 6 225s|    17 |    18 |267254 |14463.8 |  95M|   8 |1789 |  21k|  20k|  21k|  21k|1394 | 112 |   0 | 0.000000e+00 | 7.390000e+02 |    Inf 
388.42/388.59	c   389s|   100 |   101 |468238 |4367.7 |  97M|  54 |1040 |  21k|  21k|  21k|  21k|1436 | 367 |   0 | 0.000000e+00 | 7.390000e+02 |    Inf 
440.80/440.94	c   441s|   200 |   190 |541806 |2542.6 |  99M| 117 |2124 |  21k|  21k|  21k|  21k|1505 | 412 |   0 | 0.000000e+00 | 7.390000e+02 |    Inf 
504.50/504.64	c   505s|   300 |   217 |612972 |1930.2 | 102M| 117 |  95 |  21k|  21k|  21k|  21k|1574 | 647 |   0 | 0.000000e+00 | 7.390000e+02 |    Inf 
506.09/506.21	o 737
506.09/506.21	c s 506s|   347 |   242 |613223 |1668.8 | 104M| 160 |   - |  21k|  21k|  21k|  21k|1574 | 648 |   0 | 0.000000e+00 | 7.370000e+02 |    Inf 
506.39/506.54	o 166
506.39/506.54	c 6 507s|   347 |   108 |613223 |1668.8 | 102M| 160 |   - |  21k|  21k|  21k|  21k|1574 | 648 |   0 | 0.000000e+00 | 1.660000e+02 |    Inf 
511.99/512.18	c   512s|   400 |   156 |622488 |1470.3 | 102M| 160 | 109 |  21k|  21k|  21k|  21k|1605 | 654 |   0 | 0.000000e+00 | 1.660000e+02 |    Inf 
512.80/513.00	o 165
512.80/513.00	c c 513s|   402 |   147 |622660 |1463.4 | 102M| 160 |   - |  21k|  21k|  21k|  21k|1605 | 666 |   0 | 0.000000e+00 | 1.650000e+02 |    Inf 
513.00/513.14	o 112
513.00/513.14	c 6 513s|   403 |   111 |622660 |1459.8 | 102M| 160 |   - |  21k|  21k|   0 |   0 |1605 | 666 |   0 | 0.000000e+00 | 1.120000e+02 |    Inf 
530.29/530.45	o 110
530.29/530.45	c * 530s|   495 |   133 |643277 |1229.6 | 103M| 160 |   - |  21k|  21k|  21k|  21k|1633 | 757 |   0 | 0.000000e+00 | 1.100000e+02 |    Inf 
530.39/530.54	o 75
530.39/530.54	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
530.39/530.54	c 6 531s|   495 |   112 |643277 |1229.6 | 104M| 160 |   - |  21k|  21k|  21k|  21k|1633 | 757 |   0 | 0.000000e+00 | 7.500000e+01 |    Inf 
531.29/531.45	c   531s|   500 |   117 |644723 |1220.2 | 103M| 160 | 741 |  21k|  19k|  21k|  21k|1634 | 757 |   0 | 0.000000e+00 | 7.500000e+01 |    Inf 
537.99/538.13	o 74
537.99/538.13	c s 538s|   595 |   142 |650315 |1034.5 | 104M| 160 |   - |  21k|  19k|  21k|  21k|1646 | 786 |   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
538.09/538.22	o 54
538.09/538.22	c 6 538s|   595 |    72 |650315 |1034.5 | 104M| 160 |   - |  21k|  19k|  21k|  21k|1646 | 786 |   0 | 0.000000e+00 | 5.400000e+01 |    Inf 
538.89/539.07	c   539s|   600 |    77 |651275 |1027.4 | 101M| 160 |1507 |  21k|  17k|  21k|  21k|1648 | 786 |   0 | 0.000000e+00 | 5.400000e+01 |    Inf 
549.29/549.40	c   549s|   700 |   163 |665470 | 900.8 | 103M| 160 |  32 |  21k|  17k|  21k|  21k|1675 | 819 |   0 | 0.000000e+00 | 5.400000e+01 |    Inf 
549.59/549.72	o 52
549.59/549.72	c s 550s|   710 |   120 |665518 | 888.1 | 103M| 160 |   - |  21k|  17k|  21k|  21k|1675 | 830 |   0 | 0.000000e+00 | 5.200000e+01 |    Inf 
549.69/549.82	o 37
549.69/549.82	c 6 550s|   710 |    96 |665518 | 888.1 | 103M| 160 |   - |  21k|  17k|  21k|  21k|1675 | 830 |   0 | 0.000000e+00 | 3.700000e+01 |    Inf 
574.78/574.93	o 33
574.78/574.93	c s 575s|   799 |   176 |710185 | 845.1 | 105M| 160 |   - |  21k|  15k|  21k|  21k|1766 | 905 |   0 | 0.000000e+00 | 3.300000e+01 |    Inf 
575.89/576.10	o 32
575.89/576.10	c c 576s|   800 |   171 |710611 | 844.5 | 106M| 160 |   - |  21k|  16k|  21k|  21k|1766 | 954 |   0 | 0.000000e+00 | 3.200000e+01 |    Inf 
600.28/600.42	o 31
600.28/600.42	c c 600s|   838 |   203 |744986 | 847.3 | 107M| 160 |   - |  21k|  15k|  21k|  21k|1832 |1049 |   0 | 0.000000e+00 | 3.100000e+01 |    Inf 
601.38/601.56	o 30
601.38/601.56	c c 602s|   849 |   188 |745270 | 836.6 | 106M| 160 |   - |  21k|  15k|  21k|  21k|1832 |1051 |   0 | 0.000000e+00 | 3.000000e+01 |    Inf 
606.38/606.53	o 29
606.38/606.53	c c 607s|   869 |   201 |751920 | 825.0 | 107M| 160 |   - |  21k|  15k|  21k|  21k|1848 |1064 |   0 | 0.000000e+00 | 2.900000e+01 |    Inf 
607.68/607.81	o 28
607.68/607.81	c c 608s|   879 |   206 |752261 | 816.0 | 107M| 160 |   - |  21k|  15k|  21k|  21k|1849 |1065 |   0 | 0.000000e+00 | 2.800000e+01 |    Inf 
628.77/628.91	c   629s|   900 |   223 |786061 | 834.5 | 107M| 160 | 115 |  21k|  15k|  21k|  21k|1891 |1153 |   0 | 0.000000e+00 | 2.800000e+01 |    Inf 
629.58/629.77	o 27
629.58/629.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
629.58/629.77	c c 630s|   907 |   224 |786353 | 828.4 | 109M| 160 |   - |  21k|  15k|  21k|  21k|1891 |1153 |   0 | 0.000000e+00 | 2.700000e+01 |    Inf 
630.58/630.76	o 26
630.58/630.76	c c 631s|   913 |   215 |786588 | 823.2 | 109M| 160 |   - |  21k|  15k|  21k|  21k|1891 |1153 |   0 | 0.000000e+00 | 2.600000e+01 |    Inf 
632.08/632.23	o 24
632.08/632.23	c c 632s|   923 |   201 |787175 | 814.9 | 109M| 160 |   - |  21k|  15k|  21k|  21k|1891 |1175 |   0 | 0.000000e+00 | 2.400000e+01 |    Inf 
633.08/633.26	o 23
633.08/633.26	c c 633s|   933 |   195 |787386 | 806.4 | 109M| 160 |   - |  21k|  15k|  21k|  21k|1891 |1176 |   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
635.37/635.55	o 21
635.37/635.55	c c 636s|   941 |   177 |789706 | 802.0 | 109M| 160 |   - |  21k|  15k|  21k|  21k|1898 |1226 |   0 | 0.000000e+00 | 2.100000e+01 |    Inf 
636.78/636.91	o 20
636.78/636.91	c c 637s|   951 |   175 |790348 | 794.2 | 109M| 160 |   - |  21k|  14k|  21k|  21k|1898 |1230 |   0 | 0.000000e+00 | 2.000000e+01 |    Inf 
637.68/637.88	o 19
637.68/637.88	c c 638s|   961 |   166 |790622 | 786.2 | 109M| 160 |   - |  21k|  14k|  21k|  21k|1898 |1230 |   0 | 0.000000e+00 | 1.900000e+01 |    Inf 
646.38/646.53	o 18
646.38/646.53	c c 647s|   995 |   154 |801118 | 769.9 | 110M| 160 |   - |  21k|  14k|  21k|  21k|1912 |1348 |   0 | 0.000000e+00 | 1.800000e+01 |    Inf 
646.48/646.66	o 17
646.48/646.66	c 6 647s|   996 |   152 |801118 | 769.1 | 109M| 160 |   - |  21k|  14k|   0 |   0 |1912 |1348 |   0 | 0.000000e+00 | 1.700000e+01 |    Inf 
647.68/647.89	o 16
647.68/647.89	c c 648s|   997 |   153 |801692 | 768.9 | 110M| 160 |   - |  21k|  14k|  21k|  21k|1912 |1376 |   0 | 0.000000e+00 | 1.600000e+01 |    Inf 
647.78/647.97	o 15
647.78/647.97	c 6 648s|   998 |   151 |801692 | 768.2 | 110M| 160 |   - |  21k|  14k|   0 |   0 |1912 |1376 |   0 | 0.000000e+00 | 1.500000e+01 |    Inf 
648.08/648.27	c   648s|  1000 |   151 |802001 | 766.9 | 109M| 160 | 169 |  21k|  14k|  21k|  21k|1912 |1378 |   0 | 0.000000e+00 | 1.500000e+01 |    Inf 
649.17/649.37	o 14
649.17/649.37	c c 649s|  1002 |   148 |802399 | 765.8 | 110M| 160 |   - |  21k|  14k|  21k|  21k|1912 |1392 |   0 | 0.000000e+00 | 1.400000e+01 |    Inf 
657.17/657.33	o 12
657.17/657.33	c c 657s|  1040 |   166 |811621 | 746.7 | 111M| 160 |   - |  21k|  14k|  21k|  21k|1924 |1436 |   0 | 0.000000e+00 | 1.200000e+01 |    Inf 
658.17/658.36	o 10
658.17/658.36	c c 658s|  1050 |   176 |811942 | 739.9 | 111M| 160 |   - |  21k|  14k|  21k|  21k|1924 |1436 |   0 | 0.000000e+00 | 1.000000e+01 |    Inf 
658.27/658.43	o 8
658.27/658.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
658.27/658.43	c 6 658s|  1051 |   159 |811942 | 739.2 | 111M| 160 |   - |  21k|  14k|   0 |   0 |1924 |1436 |   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
658.27/658.47	c Forcing restart, since 7606 binary variables among 8451 have been fixed.
658.37/658.53	c (run 1, node 1052) performing user restart
658.37/658.53	c 
658.37/658.56	c (restart) converted 8763 cuts from the global cut pool into linear constraints
658.37/658.56	c 
658.47/658.69	c presolving:
658.97/659.11	c (round 1) 15922 del vars, 8477 del conss, 0 add conss, 440 chg bounds, 23 chg sides, 98 chg coeffs, 0 upgd conss, 135955 impls, 11 clqs
658.97/659.15	c (round 2) 16015 del vars, 9079 del conss, 0 add conss, 456 chg bounds, 23 chg sides, 101 chg coeffs, 2 upgd conss, 146026 impls, 11 clqs
658.97/659.17	c (round 3) 16044 del vars, 9207 del conss, 0 add conss, 459 chg bounds, 23 chg sides, 101 chg coeffs, 2 upgd conss, 146244 impls, 11 clqs
658.97/659.18	c (round 4) 16058 del vars, 9253 del conss, 16 add conss, 460 chg bounds, 23 chg sides, 101 chg coeffs, 2 upgd conss, 147078 impls, 11 clqs
659.08/659.21	c (round 5) 16062 del vars, 9265 del conss, 18 add conss, 460 chg bounds, 23 chg sides, 101 chg coeffs, 2 upgd conss, 147078 impls, 24 clqs
659.17/659.30	c (round 6) 16062 del vars, 9316 del conss, 18 add conss, 460 chg bounds, 23 chg sides, 101 chg coeffs, 8140 upgd conss, 147078 impls, 25 clqs
659.17/659.36	c (round 7) 16062 del vars, 9375 del conss, 26 add conss, 460 chg bounds, 35 chg sides, 140 chg coeffs, 8145 upgd conss, 147084 impls, 26 clqs
659.27/659.40	c (round 8) 16062 del vars, 9377 del conss, 28 add conss, 460 chg bounds, 36 chg sides, 145 chg coeffs, 8145 upgd conss, 147084 impls, 27 clqs
659.27/659.47	c (round 9) 16062 del vars, 18104 del conss, 2920 add conss, 460 chg bounds, 36 chg sides, 145 chg coeffs, 8145 upgd conss, 147084 impls, 27 clqs
659.38/659.52	c (round 10) 16139 del vars, 18362 del conss, 3135 add conss, 460 chg bounds, 37 chg sides, 151 chg coeffs, 8146 upgd conss, 158881 impls, 75 clqs
659.38/659.53	c (round 11) 16148 del vars, 18373 del conss, 3135 add conss, 460 chg bounds, 37 chg sides, 155 chg coeffs, 8146 upgd conss, 158883 impls, 283 clqs
659.38/659.55	c (round 12) 16149 del vars, 18431 del conss, 3192 add conss, 460 chg bounds, 37 chg sides, 155 chg coeffs, 8146 upgd conss, 158919 impls, 283 clqs
659.57/659.75	c (round 13) 16165 del vars, 18474 del conss, 3193 add conss, 460 chg bounds, 40 chg sides, 155 chg coeffs, 8146 upgd conss, 161473 impls, 284 clqs
659.78/659.93	c (round 14) 16167 del vars, 18481 del conss, 3198 add conss, 460 chg bounds, 40 chg sides, 155 chg coeffs, 8146 upgd conss, 162323 impls, 284 clqs
659.97/660.11	c (round 15) 16167 del vars, 18484 del conss, 3198 add conss, 460 chg bounds, 40 chg sides, 155 chg coeffs, 8146 upgd conss, 162323 impls, 288 clqs
660.07/660.29	c presolving (16 rounds):
660.07/660.29	c  16167 deleted vars, 18484 deleted constraints, 3198 added constraints, 460 tightened bounds, 0 added holes, 40 changed sides, 155 changed coefficients
660.07/660.29	c  162323 implications, 288 cliques
660.07/660.29	c presolved problem has 5326 variables (4706 bin, 0 int, 620 impl, 0 cont) and 7624 constraints
660.07/660.29	c     620 constraints of type <varbound>
660.07/660.29	c     914 constraints of type <knapsack>
660.07/660.29	c    1089 constraints of type <setppc>
660.07/660.29	c    2634 constraints of type <and>
660.07/660.29	c     635 constraints of type <linear>
660.07/660.29	c     620 constraints of type <indicator>
660.07/660.29	c     758 constraints of type <logicor>
660.07/660.29	c     354 constraints of type <bounddisjunction>
660.07/660.29	c transformed objective value is always integral (scale: 1)
660.07/660.29	c Presolving Time: 2.50
660.18/660.30	c 
660.27/660.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
660.27/660.47	c   660s|     1 |     0 |812914 |     - |  96M|   0 | 733 |5326 |7624 |5326 |9538 |   0 |1436 |   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
678.87/679.02	c   679s|     1 |     0 |813612 |     - |  97M|   0 | 841 |5326 |8485 |5326 |  10k| 573 |1436 |   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
680.27/680.46	c   680s|     1 |     2 |815246 |     - |  97M|   0 | 841 |5326 |8491 |5326 |  10k| 573 |1442 |   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
695.27/695.43	o 7
695.27/695.43	c v 695s|    37 |    38 |848250 | 745.2 |  99M|  26 |   - |5326 |8605 |5326 |  10k|2250 |1556 |   0 | 0.000000e+00 | 7.000000e+00 |    Inf 
696.86/697.05	o 5
696.86/697.05	c g 697s|    40 |    41 |850532 | 745.2 | 100M|  26 |   - |5326 |8419 |5326 |  10k|2406 |1556 |   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
701.26/701.43	o 4
701.26/701.43	c l 701s|    48 |    43 |859255 | 747.7 |  99M|  28 |   - |5326 |8066 |5326 |  10k|3146 |1580 |   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
703.26/703.46	o 2
703.26/703.46	c v 703s|    56 |    42 |862944 | 745.7 | 100M|  28 |   - |5326 |7890 |5326 |9991 |3244 |1595 |   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
706.08/706.28	o 1
706.08/706.28	c Forcing restart, since the absolute gap is 1.000000.
706.08/706.28	c l 706s|    71 |    56 |867096 | 739.4 | 100M|  30 |   - |5326 |7259 |5326 |  10k|3312 |1619 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
706.17/706.30	c (run 2, node 71) performing user restart
706.17/706.30	c 
706.17/706.31	c (restart) converted 779 cuts from the global cut pool into linear constraints
706.17/706.31	c 
706.17/706.34	c presolving:
706.17/706.37	c (round 1) 1135 del vars, 941 del conss, 0 add conss, 12 chg bounds, 1 chg sides, 16 chg coeffs, 0 upgd conss, 176059 impls, 289 clqs
706.17/706.39	c (round 2) 1175 del vars, 1024 del conss, 0 add conss, 13 chg bounds, 1 chg sides, 28 chg coeffs, 1 upgd conss, 177285 impls, 285 clqs
706.26/706.40	c (round 3) 1184 del vars, 1047 del conss, 0 add conss, 13 chg bounds, 1 chg sides, 29 chg coeffs, 1 upgd conss, 177859 impls, 285 clqs
706.26/706.42	c (round 4) 1203 del vars, 1102 del conss, 45 add conss, 13 chg bounds, 1 chg sides, 29 chg coeffs, 1 upgd conss, 179764 impls, 285 clqs
706.26/706.43	c (round 5) 1222 del vars, 1114 del conss, 45 add conss, 15 chg bounds, 1 chg sides, 31 chg coeffs, 2 upgd conss, 179784 impls, 324 clqs
706.26/706.44	c (round 6) 1238 del vars, 1131 del conss, 45 add conss, 16 chg bounds, 1 chg sides, 34 chg coeffs, 2 upgd conss, 179784 impls, 323 clqs
706.26/706.46	c (round 7) 1244 del vars, 1141 del conss, 45 add conss, 16 chg bounds, 1 chg sides, 36 chg coeffs, 44 upgd conss, 180064 impls, 323 clqs
706.46/706.65	c (round 8) 1244 del vars, 1344 del conss, 51 add conss, 16 chg bounds, 1 chg sides, 36 chg coeffs, 879 upgd conss, 180064 impls, 324 clqs
706.66/706.85	c (round 9) 1244 del vars, 1434 del conss, 51 add conss, 16 chg bounds, 3 chg sides, 44 chg coeffs, 879 upgd conss, 180064 impls, 324 clqs
706.86/707.04	c (round 10) 1244 del vars, 1462 del conss, 51 add conss, 16 chg bounds, 3 chg sides, 44 chg coeffs, 879 upgd conss, 180064 impls, 324 clqs
707.07/707.22	c (round 11) 1244 del vars, 1462 del conss, 51 add conss, 87 chg bounds, 3 chg sides, 44 chg coeffs, 879 upgd conss, 180064 impls, 324 clqs
707.27/707.41	c (round 12) 1393 del vars, 1605 del conss, 51 add conss, 159 chg bounds, 3 chg sides, 44 chg coeffs, 880 upgd conss, 181592 impls, 324 clqs
707.27/707.42	c (round 13) 1394 del vars, 1619 del conss, 51 add conss, 159 chg bounds, 3 chg sides, 45 chg coeffs, 880 upgd conss, 181592 impls, 324 clqs
707.37/707.60	c (round 14) 1394 del vars, 1625 del conss, 57 add conss, 159 chg bounds, 3 chg sides, 45 chg coeffs, 944 upgd conss, 181592 impls, 324 clqs
707.56/707.78	c (round 15) 1394 del vars, 3073 del conss, 538 add conss, 159 chg bounds, 3 chg sides, 45 chg coeffs, 944 upgd conss, 181592 impls, 330 clqs
707.67/707.81	c (round 16) 1410 del vars, 3107 del conss, 570 add conss, 159 chg bounds, 3 chg sides, 45 chg coeffs, 945 upgd conss, 185652 impls, 334 clqs
707.67/707.83	c (round 17) 1414 del vars, 3129 del conss, 589 add conss, 159 chg bounds, 3 chg sides, 45 chg coeffs, 945 upgd conss, 187712 impls, 367 clqs
707.87/708.00	c (round 18) 1422 del vars, 3149 del conss, 593 add conss, 159 chg bounds, 3 chg sides, 45 chg coeffs, 945 upgd conss, 188774 impls, 370 clqs
707.97/708.17	c (round 19) 1425 del vars, 3154 del conss, 594 add conss, 159 chg bounds, 3 chg sides, 45 chg coeffs, 945 upgd conss, 189292 impls, 370 clqs
708.17/708.34	c (round 20) 1426 del vars, 3155 del conss, 594 add conss, 159 chg bounds, 3 chg sides, 45 chg coeffs, 945 upgd conss, 189300 impls, 370 clqs
708.36/708.52	c (round 21) 1427 del vars, 3156 del conss, 594 add conss, 159 chg bounds, 3 chg sides, 45 chg coeffs, 945 upgd conss, 189328 impls, 370 clqs
708.57/708.70	c (round 22) 1428 del vars, 3157 del conss, 594 add conss, 159 chg bounds, 3 chg sides, 45 chg coeffs, 945 upgd conss, 189368 impls, 370 clqs
708.67/708.88	c presolving (23 rounds):
708.67/708.88	c  1428 deleted vars, 3157 deleted constraints, 594 added constraints, 159 tightened bounds, 0 added holes, 3 changed sides, 45 changed coefficients
708.67/708.88	c  189368 implications, 370 cliques
708.67/708.88	c presolved problem has 3898 variables (3898 bin, 0 int, 0 impl, 0 cont) and 5435 constraints
708.67/708.88	c     974 constraints of type <knapsack>
708.67/708.88	c     648 constraints of type <setppc>
708.67/708.88	c    2904 constraints of type <and>
708.67/708.88	c     578 constraints of type <logicor>
708.67/708.88	c     331 constraints of type <bounddisjunction>
708.67/708.88	c transformed objective value is always integral (scale: 1)
708.67/708.88	c Presolving Time: 5.06
708.67/708.88	c 
708.86/709.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
708.86/709.02	c   709s|     1 |     0 |868329 |     - |  96M|   0 | 746 |3898 |5435 |3898 |7481 |   0 |1619 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
709.56/709.72	c   710s|     1 |     0 |870003 |     - |  97M|   0 |1065 |3898 |5435 |3898 |8235 | 754 |1619 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
711.67/711.81	c   712s|     1 |     2 |873973 |     - |  97M|   0 |1065 |3898 |5459 |3898 |8235 | 754 |1643 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
724.87/725.02	c   725s|   100 |    54 |915316 | 716.0 |  98M|  23 | 936 |3898 |5648 |3898 |8781 |3974 |1835 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
734.16/734.30	c   734s|   200 |   135 |932042 | 674.5 |  99M|  60 | 258 |3898 |5983 |3898 |8954 |4519 |2171 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
741.16/741.32	c   741s|   300 |   126 |947290 | 637.8 |  99M|  60 | 361 |3898 |6335 |3898 |9020 |5616 |2642 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
745.76/745.97	c   746s|   400 |   140 |954990 | 600.9 | 100M|  63 | 264 |3898 |6572 |3898 |8998 |5842 |2974 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
749.97/750.17	c   750s|   500 |   140 |960775 | 567.4 | 100M|  63 | 356 |3898 |6746 |3898 |8995 |6146 |3255 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
755.65/755.84	c   756s|   600 |   142 |969761 | 539.7 | 100M|  63 | 396 |3898 |6891 |3898 |9037 |6596 |3574 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
761.55/761.74	c   762s|   700 |   154 |979854 | 515.6 | 100M|  63 | 303 |3898 |6956 |3898 |9005 |6941 |3891 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
766.06/766.29	c   766s|   800 |   189 |987278 | 492.7 | 100M|  63 | 338 |3898 |7111 |3898 |9071 |7207 |4142 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
772.45/772.63	c   773s|   900 |   195 |997886 | 473.5 | 101M|  63 |   - |3898 |7392 |   0 |   0 |7721 |4574 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
775.45/775.68	c   776s|  1000 |   208 |  1002k| 453.5 | 101M|  63 | 416 |3898 |7496 |3898 |9001 |7994 |4864 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
780.55/780.74	c   781s|  1100 |   204 |  1012k| 437.4 | 101M|  63 | 343 |3898 |7633 |3898 |8936 |8481 |5234 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
784.06/784.21	c   784s|  1200 |   211 |  1018k| 421.3 | 101M|  63 |   - |3898 |7710 |   0 |   0 |8933 |5506 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
788.26/788.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
788.26/788.40	c   788s|  1300 |   216 |  1026k| 407.2 | 101M|  63 | 506 |3898 |7802 |3898 |9026 |9459 |5813 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
793.06/793.21	c   793s|  1400 |   224 |  1035k| 394.6 | 102M|  63 | 337 |3898 |7948 |3898 |9031 |  10k|6124 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
796.46/796.65	c   797s|  1500 |   244 |  1041k| 381.9 | 102M|  63 |   - |3898 |8063 |   0 |   0 |  10k|6410 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
799.75/799.97	c   800s|  1600 |   243 |  1047k| 369.9 | 102M|  63 | 428 |3898 |8162 |3898 |8996 |  10k|6729 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
802.86/803.03	c   803s|  1700 |   272 |  1053k| 359.0 | 102M|  63 |   - |3898 |8178 |   0 |   0 |  10k|6953 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
805.65/805.84	c   806s|  1800 |   263 |  1058k| 348.5 | 103M|  63 |   - |3898 |8345 |   0 |   0 |  11k|7238 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
809.65/809.86	c   810s|  1900 |   271 |  1067k| 339.8 | 103M|  63 | 312 |3898 |8309 |3898 |8984 |  11k|7468 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
812.45/812.65	c   813s|  2000 |   255 |  1072k| 330.7 | 103M|  63 | 336 |3898 |8331 |3898 |9043 |  12k|7708 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
815.95/816.19	c   816s|  2100 |   263 |  1079k| 322.4 | 103M|  63 | 361 |3898 |8434 |3898 |9025 |  12k|7959 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
819.55/819.74	c   820s|  2200 |   265 |  1088k| 315.4 | 103M|  63 |   - |3898 |8490 |   0 |   0 |  13k|8245 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
822.66/822.90	c   823s|  2300 |   246 |  1094k| 307.9 | 103M|  63 |   - |3898 |8572 |   0 |   0 |  13k|8534 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
826.44/826.67	c   827s|  2400 |   221 |  1102k| 301.5 | 102M|  63 | 378 |3898 |8554 |3898 |9006 |  14k|8844 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
829.65/829.85	c   830s|  2500 |   207 |  1108k| 294.9 | 102M|  63 | 330 |3898 |8578 |3898 |8978 |  14k|9122 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
834.25/834.43	c   834s|  2600 |   213 |  1118k| 289.7 | 102M|  63 | 395 |3898 |8654 |3898 |9009 |  15k|9370 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
836.95/837.19	c   837s|  2700 |   218 |  1124k| 283.7 | 102M|  63 | 448 |3898 |8693 |3898 |9003 |  15k|9548 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
841.25/841.45	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
841.25/841.45	c   841s|  2800 |   200 |  1133k| 278.7 | 102M|  63 | 512 |3898 |8739 |3898 |9008 |  16k|9806 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
844.85/845.04	c   845s|  2900 |   211 |  1139k| 273.3 | 102M|  63 | 328 |3898 |8881 |3898 |8991 |  16k|  10k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
848.05/848.28	c   848s|  3000 |   211 |  1146k| 268.3 | 102M|  63 | 311 |3898 |9045 |3898 |8976 |  17k|  10k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
851.25/851.45	c   851s|  3100 |   213 |  1152k| 263.4 | 102M|  63 | 270 |3898 |9184 |3898 |8975 |  17k|  10k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
855.14/855.36	c   855s|  3200 |   209 |  1160k| 259.1 | 102M|  63 | 413 |3898 |9300 |3898 |8942 |  18k|  10k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
858.84/859.08	c   859s|  3300 |   225 |  1168k| 255.2 | 103M|  63 | 225 |3898 |9409 |3898 |9006 |  19k|  11k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
862.24/862.44	c   862s|  3400 |   224 |  1176k| 251.3 | 103M|  63 | 423 |3898 |9556 |3898 |8937 |  19k|  11k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
866.14/866.31	c   866s|  3500 |   230 |  1185k| 247.7 | 103M|  63 | 403 |3898 |9591 |3898 |8938 |  20k|  11k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
870.14/870.36	c   870s|  3600 |   244 |  1194k| 244.5 | 103M|  63 | 262 |3898 |9667 |3898 |9033 |  21k|  11k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
873.94/874.14	c   874s|  3700 |   246 |  1202k| 241.0 | 103M|  63 | 212 |3898 |9811 |3898 |8970 |  21k|  12k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
878.44/878.60	c   879s|  3800 |   248 |  1211k| 238.0 | 104M|  63 |   - |3898 |9938 |   0 |   0 |  22k|  12k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
881.95/882.16	c   882s|  3900 |   260 |  1218k| 234.6 | 104M|  63 | 238 |3898 |  10k|3898 |9010 |  23k|  12k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
885.73/885.98	c   886s|  4000 |   246 |  1226k| 231.7 | 104M|  63 | 420 |3898 |  10k|3898 |9051 |  23k|  12k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
890.04/890.24	c   890s|  4100 |   241 |  1235k| 228.9 | 104M|  63 | 328 |3898 |  10k|3898 |9072 |  24k|  13k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
895.33/895.55	c   896s|  4200 |   240 |  1247k| 226.9 | 104M|  63 | 315 |3898 |  10k|3898 |9040 |  25k|  13k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
899.33/899.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
899.33/899.57	c   900s|  4300 |   236 |  1256k| 224.4 | 104M|  63 | 372 |3898 |  10k|3898 |9031 |  26k|  13k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
903.33/903.58	c   904s|  4400 |   235 |  1265k| 221.8 | 104M|  63 | 368 |3898 |  10k|3898 |9055 |  26k|  13k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
907.23/907.48	c   907s|  4500 |   234 |  1274k| 219.5 | 104M|  63 | 316 |3898 |  10k|3898 |8994 |  27k|  13k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
910.53/910.80	c   911s|  4600 |   235 |  1281k| 216.9 | 104M|  63 |   - |3898 |  10k|   0 |   0 |  28k|  14k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
915.13/915.30	c   915s|  4700 |   239 |  1292k| 215.0 | 104M|  63 | 429 |3898 |  10k|3898 |9034 |  28k|  14k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
920.73/920.93	c   921s|  4800 |   250 |  1305k| 213.6 | 104M|  63 | 519 |3898 |  10k|3898 |9052 |  29k|  14k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
925.02/925.23	c   925s|  4900 |   247 |  1316k| 211.8 | 104M|  63 | 454 |3898 |  10k|3898 |8979 |  30k|  14k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
928.52/928.79	c   929s|  5000 |   258 |  1324k| 209.7 | 105M|  63 |   - |3898 |  10k|   0 |   0 |  31k|  15k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
932.82/933.04	c   933s|  5100 |   254 |  1334k| 207.9 | 105M|  63 |   - |3898 |  10k|   0 |   0 |  31k|  15k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
937.22/937.43	c   937s|  5200 |   259 |  1344k| 206.3 | 105M|  63 | 462 |3898 |  10k|3898 |8987 |  32k|  15k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
943.82/944.06	c   944s|  5300 |   282 |  1360k| 205.6 | 105M|  63 |   - |3898 |  10k|   0 |   0 |  33k|  15k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
948.83/949.06	c   949s|  5400 |   283 |  1373k| 204.4 | 105M|  63 | 587 |3898 |  10k|3898 |9046 |  34k|  16k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
953.73/953.93	c   954s|  5500 |   255 |  1385k| 203.2 | 105M|  63 |   - |3898 |  10k|   0 |   0 |  35k|  16k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
957.63/957.89	c   958s|  5600 |   244 |  1394k| 201.5 | 105M|  63 | 386 |3898 |  10k|3898 |8996 |  35k|  16k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
961.72/961.96	c   962s|  5700 |   242 |  1404k| 200.0 | 105M|  63 |   - |3898 |  10k|   0 |   0 |  36k|  16k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
966.63/966.85	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
966.63/966.85	c   967s|  5800 |   226 |  1416k| 198.8 | 104M|  63 | 267 |3898 |  10k|3898 |9034 |  37k|  16k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
970.82/971.06	c   971s|  5900 |   216 |  1426k| 197.4 | 104M|  63 | 824 |3898 |  10k|3898 |9045 |  38k|  16k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
974.42/974.66	c   975s|  6000 |   222 |  1433k| 195.7 | 104M|  63 |   - |3898 |  10k|   0 |   0 |  38k|  17k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
979.52/979.72	c   980s|  6100 |   220 |  1445k| 194.5 | 104M|  63 |   - |3898 |9915 |   0 |   0 |  39k|  17k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
983.71/983.94	c   984s|  6200 |   226 |  1453k| 192.9 | 104M|  63 | 389 |3898 |9841 |3898 |9045 |  39k|  17k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
988.42/988.68	c   989s|  6300 |   234 |  1463k| 191.8 | 104M|  63 | 210 |3898 |9770 |3898 |9014 |  40k|  17k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
991.92/992.12	c   992s|  6400 |   235 |  1471k| 190.3 | 104M|  63 | 225 |3898 |9790 |3898 |9032 |  40k|  17k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
995.51/995.77	c   996s|  6500 |   234 |  1480k| 188.9 | 104M|  63 |   - |3898 |9826 |   0 |   0 |  41k|  18k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
999.92/1000.13	c  1000s|  6600 |   220 |  1491k| 187.9 | 104M|  63 | 570 |3898 |9640 |3898 |9014 |  41k|  18k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1003.21/1003.46	c  1003s|  6700 |   235 |  1498k| 186.5 | 104M|  63 | 261 |3898 |9816 |3898 |9064 |  42k|  18k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1006.71/1006.91	c  1007s|  6800 |   239 |  1506k| 185.0 | 104M|  63 | 312 |3898 |9940 |3898 |9142 |  42k|  18k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1010.01/1010.26	c  1010s|  6900 |   236 |  1512k| 183.5 | 104M|  63 | 340 |3898 |  10k|3898 |9085 |  43k|  18k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1013.92/1014.17	c  1014s|  7000 |   232 |  1522k| 182.5 | 104M|  63 | 263 |3898 |  10k|3898 |9009 |  43k|  18k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1017.42/1017.61	c  1018s|  7100 |   219 |  1529k| 181.1 | 104M|  63 | 571 |3898 |  10k|3898 |9035 |  44k|  19k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1022.51/1022.73	c  1023s|  7200 |   257 |  1539k| 180.1 | 104M|  63 | 726 |3898 |  10k|3898 |8996 |  44k|  19k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1025.41/1025.65	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1025.41/1025.65	c  1026s|  7300 |   236 |  1546k| 178.8 | 104M|  63 |   - |3898 |  10k|   0 |   0 |  45k|  19k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1028.41/1028.67	c  1029s|  7400 |   240 |  1552k| 177.4 | 104M|  63 | 242 |3898 |  10k|3898 |9120 |  45k|  19k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1030.61/1030.86	c  1031s|  7500 |   237 |  1556k| 175.8 | 104M|  63 | 553 |3898 |  10k|3898 |9099 |  45k|  19k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1034.31/1034.50	c  1034s|  7600 |   229 |  1564k| 174.7 | 104M|  63 | 470 |3898 |  10k|3898 |9052 |  46k|  19k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1037.41/1037.61	c  1038s|  7700 |   256 |  1570k| 173.4 | 104M|  63 | 304 |3898 |  10k|3898 |8938 |  46k|  20k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1041.31/1041.57	c  1042s|  7800 |   251 |  1578k| 172.4 | 104M|  63 | 444 |3898 |9978 |3898 |8986 |  47k|  20k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1046.61/1046.81	c  1047s|  7900 |   257 |  1589k| 171.7 | 104M|  63 |   - |3898 |9791 |   0 |   0 |  48k|  20k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1050.51/1050.73	c  1051s|  8000 |   264 |  1597k| 170.7 | 105M|  63 |   - |3898 |9984 |   0 |   0 |  48k|  20k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1055.90/1056.11	c  1056s|  8100 |   266 |  1608k| 170.0 | 105M|  63 | 751 |3898 |  10k|3898 |8879 |  49k|  20k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1061.51/1061.77	c  1062s|  8200 |   325 |  1620k| 169.5 | 105M|  63 | 562 |3898 |  10k|3898 |8938 |  50k|  21k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1068.91/1069.16	c  1069s|  8300 |   337 |  1637k| 169.5 | 106M|  63 | 580 |3898 |  10k|3898 |9087 |  51k|  21k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1074.10/1074.36	c  1074s|  8400 |   344 |  1649k| 168.9 | 106M|  63 | 798 |3898 |  10k|3898 |9091 |  52k|  21k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1079.81/1080.06	c  1080s|  8500 |   348 |  1665k| 168.8 | 106M|  63 | 678 |3898 |  10k|3898 |9020 |  53k|  21k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1085.91/1086.19	c  1086s|  8600 |   329 |  1679k| 168.6 | 106M|  63 | 711 |3898 |  10k|3898 |8999 |  54k|  22k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1089.71/1089.94	c  1090s|  8700 |   346 |  1688k| 167.8 | 106M|  63 | 718 |3898 |  10k|3898 |9033 |  55k|  22k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1094.70/1095.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1094.70/1095.00	c  1095s|  8800 |   343 |  1700k| 167.3 | 106M|  63 | 698 |3898 |  10k|3898 |9000 |  56k|  22k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1099.00/1099.24	c  1099s|  8900 |   352 |  1709k| 166.5 | 106M|  63 | 473 |3898 |  10k|3898 |8943 |  56k|  22k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1102.40/1102.65	c  1103s|  9000 |   347 |  1716k| 165.6 | 106M|  63 | 513 |3898 |  10k|3898 |8932 |  57k|  23k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1105.80/1106.07	c  1106s|  9100 |   358 |  1725k| 164.8 | 107M|  63 | 559 |3898 |  10k|3898 |9001 |  57k|  23k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1110.90/1111.10	c  1111s|  9200 |   345 |  1738k| 164.5 | 106M|  63 | 344 |3898 |  10k|3898 |8972 |  58k|  23k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1115.30/1115.58	c  1116s|  9300 |   345 |  1748k| 163.9 | 106M|  63 |   - |3898 |  10k|   0 |   0 |  59k|  23k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1120.10/1120.39	c  1120s|  9400 |   338 |  1759k| 163.4 | 106M|  63 |   - |3898 |  10k|   0 |   0 |  60k|  23k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1123.80/1124.06	c  1124s|  9500 |   354 |  1767k| 162.6 | 107M|  63 | 402 |3898 |  10k|3898 |8945 |  60k|  23k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1127.59/1127.89	c  1128s|  9600 |   357 |  1776k| 161.9 | 107M|  63 |   - |3898 |  10k|   0 |   0 |  61k|  24k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1131.99/1132.21	c  1132s|  9700 |   379 |  1786k| 161.3 | 107M|  63 |   - |3898 |  10k|   0 |   0 |  62k|  24k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1137.20/1137.49	c  1137s|  9800 |   381 |  1798k| 161.0 | 107M|  63 | 494 |3898 |8857 |3898 |9079 |  63k|  24k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1142.71/1142.91	c  1143s|  9900 |   374 |  1812k| 160.8 | 107M|  63 | 599 |3898 |8700 |3898 |8943 |  64k|  24k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1147.29/1147.53	c  1148s| 10000 |   368 |  1823k| 160.3 | 107M|  63 | 734 |3898 |8455 |3898 |9002 |  65k|  25k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1149.30/1149.59	c  1150s| 10100 |   378 |  1826k| 159.2 | 107M|  79 | 457 |3898 |8257 |3898 |8964 |  65k|  25k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1154.39/1154.60	c  1155s| 10200 |   353 |  1838k| 158.8 | 106M|  79 |   - |3898 |8012 |   0 |   0 |  66k|  25k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1159.29/1159.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1159.29/1159.51	c  1160s| 10300 |   339 |  1851k| 158.5 | 106M|  79 | 425 |3898 |7888 |3898 |8956 |  67k|  25k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1163.60/1163.84	c  1164s| 10400 |   350 |  1862k| 158.2 | 107M|  79 | 374 |3898 |7914 |3898 |9036 |  67k|  25k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1168.09/1168.39	c  1168s| 10500 |   358 |  1873k| 157.7 | 107M|  79 | 357 |3898 |7951 |3898 |9106 |  68k|  25k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1172.40/1172.69	c  1173s| 10600 |   356 |  1883k| 157.2 | 107M|  79 | 582 |3898 |7953 |3898 |9089 |  69k|  26k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1177.99/1178.24	c  1178s| 10700 |   360 |  1898k| 157.2 | 107M|  79 | 344 |3898 |7807 |3898 |9053 |  70k|  26k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1181.98/1182.22	c  1182s| 10800 |   383 |  1906k| 156.6 | 107M|  79 | 239 |3898 |7926 |3898 |9110 |  70k|  26k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1187.08/1187.31	c  1187s| 10900 |   362 |  1919k| 156.3 | 107M|  79 | 521 |3898 |8029 |3898 |9130 |  71k|  26k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1190.99/1191.29	c  1191s| 11000 |   375 |  1928k| 155.7 | 107M|  79 | 500 |3898 |8109 |3898 |9039 |  72k|  26k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1195.79/1196.07	c  1196s| 11100 |   355 |  1941k| 155.5 | 107M|  79 | 584 |3898 |7915 |3898 |9105 |  73k|  27k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1200.19/1200.40	c  1200s| 11200 |   348 |  1950k| 155.1 | 107M|  79 | 477 |3898 |7767 |3898 |8935 |  73k|  27k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1202.88/1203.17	c  1203s| 11300 |   349 |  1956k| 154.2 | 107M|  79 |   - |3898 |7788 |   0 |   0 |  74k|  27k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1207.09/1207.34	c  1207s| 11400 |   353 |  1965k| 153.7 | 107M|  79 | 709 |3898 |7847 |3898 |8984 |  75k|  27k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1211.68/1211.98	c  1212s| 11500 |   354 |  1975k| 153.4 | 108M|  79 | 577 |3898 |7961 |3898 |9010 |  76k|  27k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1217.39/1217.62	c  1218s| 11600 |   351 |  1987k| 153.1 | 108M|  79 | 435 |3898 |7963 |3898 |8945 |  77k|  27k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1223.39/1223.67	c  1224s| 11700 |   355 |  2000k| 152.9 | 108M|  79 |   - |3898 |8009 |   0 |   0 |  77k|  28k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1228.78/1229.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1228.78/1229.06	c  1229s| 11800 |   371 |  2012k| 152.6 | 108M|  79 | 800 |3898 |8065 |3898 |9000 |  78k|  28k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1233.68/1233.92	c  1234s| 11900 |   378 |  2023k| 152.3 | 108M|  79 | 548 |3898 |8172 |3898 |8994 |  79k|  28k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1237.97/1238.24	c  1238s| 12000 |   364 |  2032k| 151.8 | 108M|  79 | 712 |3898 |8164 |3898 |8965 |  80k|  28k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1242.68/1242.98	c  1243s| 12100 |   366 |  2044k| 151.6 | 108M|  79 | 626 |3898 |8224 |3898 |9007 |  81k|  28k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1246.87/1247.10	c  1247s| 12200 |   357 |  2054k| 151.2 | 108M|  79 | 500 |3898 |8136 |3898 |8910 |  82k|  28k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1252.37/1252.62	c  1253s| 12300 |   393 |  2069k| 151.2 | 108M|  79 | 558 |3898 |8046 |3898 |9069 |  82k|  29k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1256.57/1256.89	c  1257s| 12400 |   397 |  2079k| 150.8 | 109M|  79 | 680 |3898 |8187 |3898 |9120 |  83k|  29k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1261.57/1261.88	c  1262s| 12500 |   389 |  2091k| 150.5 | 109M|  79 | 826 |3898 |8317 |3898 |8935 |  84k|  29k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1268.17/1268.43	c  1268s| 12600 |   408 |  2107k| 150.6 | 109M|  79 | 771 |3898 |8355 |3898 |9027 |  85k|  29k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1276.07/1276.33	c  1276s| 12700 |   434 |  2126k| 151.0 | 109M|  79 |   - |3898 |8459 |   0 |   0 |  86k|  29k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1280.47/1280.73	c  1281s| 12800 |   402 |  2138k| 150.7 | 109M|  79 | 800 |3898 |8463 |3898 |8991 |  87k|  30k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1284.86/1285.14	c  1285s| 12900 |   411 |  2149k| 150.4 | 109M|  79 | 530 |3898 |8496 |3898 |9034 |  88k|  30k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1288.56/1288.86	c  1289s| 13000 |   409 |  2156k| 149.9 | 109M|  79 | 630 |3898 |8459 |3898 |9082 |  88k|  30k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1293.56/1293.89	c  1294s| 13100 |   429 |  2169k| 149.7 | 109M|  79 | 279 |3898 |8450 |3898 |9034 |  89k|  30k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1298.16/1298.43	c  1298s| 13200 |   416 |  2180k| 149.4 | 110M|  79 | 511 |3898 |8551 |3898 |9131 |  90k|  30k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1302.26/1302.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1302.26/1302.50	c  1302s| 13300 |   400 |  2189k| 149.0 | 109M|  79 |   - |3898 |8372 |   0 |   0 |  91k|  30k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1306.86/1307.15	c  1307s| 13400 |   376 |  2200k| 148.8 | 109M|  79 | 512 |3898 |8218 |3898 |9020 |  92k|  31k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1312.36/1312.63	c  1313s| 13500 |   371 |  2213k| 148.6 | 109M|  79 |   - |3898 |8144 |   0 |   0 |  93k|  31k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1315.66/1315.92	c  1316s| 13600 |   379 |  2221k| 148.1 | 109M|  79 | 449 |3898 |8300 |3898 |8950 |  93k|  31k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1320.06/1320.33	c  1320s| 13700 |   374 |  2233k| 147.9 | 109M|  79 | 493 |3898 |8355 |3898 |8950 |  94k|  31k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1326.36/1326.68	c  1327s| 13800 |   335 |  2249k| 148.1 | 109M|  79 |   - |3898 |8401 |   0 |   0 |  95k|  31k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1329.66/1329.92	c  1330s| 13900 |   332 |  2257k| 147.6 | 109M|  79 | 425 |3898 |8535 |3898 |9096 |  96k|  31k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1337.46/1337.76	c  1338s| 14000 |   373 |  2275k| 147.8 | 109M|  79 |   - |3898 |8621 |   0 |   0 |  97k|  32k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1343.46/1343.71	c  1344s| 14100 |   404 |  2287k| 147.6 | 109M|  79 | 343 |3898 |8688 |3898 |9091 |  98k|  32k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1346.26/1346.59	c  1347s| 14200 |   425 |  2293k| 147.0 | 110M|  79 | 451 |3898 |8858 |3898 |9139 |  98k|  32k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1350.47/1350.80	c  1351s| 14300 |   430 |  2302k| 146.7 | 110M|  79 | 740 |3898 |9008 |3898 |9065 |  98k|  32k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1355.15/1355.42	c  1355s| 14400 |   451 |  2313k| 146.4 | 110M|  79 | 537 |3898 |9174 |3898 |9118 |  99k|  32k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1361.36/1361.64	c  1362s| 14500 |   429 |  2327k| 146.4 | 110M|  79 | 929 |3898 |9146 |3898 |9062 | 100k|  33k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1366.46/1366.71	c  1367s| 14600 |   462 |  2339k| 146.2 | 110M|  79 | 835 |3898 |9239 |3898 |8945 | 101k|  33k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1374.15/1374.40	c  1374s| 14700 |   478 |  2358k| 146.5 | 111M|  79 |   - |3898 |9217 |   0 |   0 | 102k|  33k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1379.65/1379.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1379.65/1379.92	c  1380s| 14800 |   489 |  2370k| 146.4 | 111M|  79 | 487 |3898 |9327 |3898 |9003 | 103k|  33k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1384.55/1384.89	c  1385s| 14900 |   496 |  2381k| 146.1 | 111M|  79 | 904 |3898 |9426 |3898 |9058 | 103k|  33k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1389.55/1389.88	c  1390s| 15000 |   488 |  2391k| 145.8 | 111M|  79 | 829 |3898 |9541 |3898 |9007 | 104k|  33k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1395.34/1395.65	c  1396s| 15100 |   491 |  2404k| 145.7 | 111M|  79 | 912 |3898 |9537 |3898 |8907 | 105k|  34k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1404.75/1405.03	c  1405s| 15200 |   553 |  2425k| 146.2 | 112M|  79 | 989 |3898 |9685 |3898 |8902 | 106k|  34k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1410.35/1410.68	c  1411s| 15300 |   551 |  2440k| 146.1 | 112M|  79 | 569 |3898 |9735 |3898 |9143 | 107k|  34k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1416.15/1416.40	c  1416s| 15400 |   510 |  2454k| 146.1 | 112M|  79 | 557 |3898 |9784 |3898 |9138 | 108k|  34k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1420.95/1421.29	c  1421s| 15500 |   471 |  2466k| 145.9 | 111M|  79 |   - |3898 |9803 |   0 |   0 | 109k|  34k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1425.95/1426.21	c  1426s| 15600 |   457 |  2478k| 145.8 | 111M|  79 | 536 |3898 |9780 |3898 |9136 | 110k|  34k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1433.44/1433.79	c  1434s| 15700 |   480 |  2499k| 146.2 | 112M|  79 | 835 |3898 |9936 |3898 |9047 | 111k|  35k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1440.15/1440.46	c  1440s| 15800 |   419 |  2514k| 146.2 | 111M|  79 | 651 |3898 |9893 |3898 |9045 | 112k|  35k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1445.34/1445.64	c  1446s| 15900 |   426 |  2529k| 146.2 | 111M|  79 | 466 |3898 |9778 |3898 |8994 | 113k|  35k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1449.94/1450.21	c  1450s| 16000 |   426 |  2541k| 146.1 | 111M|  79 |1192 |3898 |9773 |3898 |8984 | 113k|  35k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1455.94/1456.26	c  1456s| 16100 |   431 |  2558k| 146.2 | 112M|  79 | 842 |3898 |9838 |3898 |9180 | 114k|  35k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1461.14/1461.46	c  1461s| 16200 |   419 |  2573k| 146.2 | 112M|  79 | 603 |3898 |9760 |3898 |8965 | 115k|  36k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1465.54/1465.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1465.54/1465.88	c  1466s| 16300 |   424 |  2586k| 146.1 | 112M|  79 |   - |3898 |9644 |   0 |   0 | 116k|  36k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1471.14/1471.41	c  1471s| 16400 |   407 |  2601k| 146.2 | 111M|  79 | 534 |3898 |9573 |3898 |9037 | 117k|  36k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1476.84/1477.10	c  1477s| 16500 |   415 |  2615k| 146.2 | 111M|  79 | 647 |3898 |9417 |3898 |9198 | 118k|  36k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1481.84/1482.16	c  1482s| 16600 |   437 |  2628k| 146.0 | 111M|  79 |   - |3898 |9266 |   0 |   0 | 119k|  36k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1487.14/1487.49	c  1487s| 16700 |   450 |  2645k| 146.1 | 112M|  79 | 862 |3898 |9330 |3898 |9168 | 120k|  36k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1492.84/1493.11	c  1493s| 16800 |   479 |  2660k| 146.2 | 112M|  79 |   - |3898 |9320 |   0 |   0 | 121k|  37k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1499.64/1499.98	c  1500s| 16900 |   526 |  2680k| 146.5 | 113M|  79 |   - |3898 |9375 |   0 |   0 | 122k|  37k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1506.33/1506.65	c  1507s| 17000 |   532 |  2701k| 146.8 | 114M|  79 | 963 |3898 |9323 |3898 |9213 | 123k|  37k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1512.83/1513.12	c  1513s| 17100 |   529 |  2721k| 147.1 | 114M|  79 | 730 |3898 |9291 |3898 |9208 | 125k|  37k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1519.53/1519.83	c  1520s| 17200 |   526 |  2742k| 147.5 | 114M|  79 | 734 |3898 |9215 |3898 |9163 | 126k|  37k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1522.63/1522.96	c  1523s| 17300 |   507 |  2750k| 147.1 | 114M|  79 |1019 |3898 |9218 |3898 |9156 | 127k|  37k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1527.53/1527.82	c  1528s| 17400 |   460 |  2763k| 147.0 | 113M|  79 | 896 |3898 |9080 |3898 |9026 | 127k|  38k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1532.23/1532.55	c  1533s| 17500 |   455 |  2774k| 146.8 | 113M|  79 | 687 |3898 |9000 |3898 |9072 | 128k|  38k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1537.33/1537.62	c  1538s| 17600 |   459 |  2791k| 147.0 | 113M|  79 |   - |3898 |8900 |   0 |   0 | 129k|  38k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1544.04/1544.38	c  1544s| 17700 |   489 |  2809k| 147.1 | 113M|  79 | 477 |3898 |8973 |3898 |8998 | 130k|  38k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1549.63/1549.94	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1549.63/1549.94	c  1550s| 17800 |   512 |  2824k| 147.1 | 114M|  79 | 660 |3898 |9125 |3898 |9188 | 132k|  38k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1557.72/1558.06	c  1558s| 17900 |   506 |  2847k| 147.6 | 114M|  79 | 679 |3898 |9223 |3898 |9172 | 133k|  39k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1563.33/1563.61	c  1564s| 18000 |   487 |  2862k| 147.6 | 114M|  79 | 701 |3898 |9301 |3898 |9125 | 134k|  39k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1569.23/1569.60	c  1570s| 18100 |   505 |  2878k| 147.7 | 114M|  79 | 384 |3898 |9308 |3898 |9011 | 135k|  39k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1575.22/1575.53	c  1576s| 18200 |   504 |  2895k| 147.8 | 114M|  79 | 650 |3898 |9407 |3898 |9123 | 137k|  39k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1581.72/1582.08	c  1582s| 18300 |   481 |  2914k| 148.0 | 114M|  79 | 836 |3898 |9425 |3898 |9074 | 138k|  39k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1588.92/1589.22	c  1589s| 18400 |   482 |  2936k| 148.3 | 114M|  79 | 773 |3898 |9451 |3898 |9170 | 139k|  39k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1595.41/1595.78	c  1596s| 18500 |   532 |  2952k| 148.4 | 114M|  79 | 729 |3898 |9572 |3898 |9225 | 140k|  40k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1600.42/1600.79	c  1601s| 18600 |   557 |  2966k| 148.4 | 115M|  79 |   - |3898 |9707 |   0 |   0 | 141k|  40k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1604.12/1604.40	c  1604s| 18700 |   526 |  2975k| 148.1 | 114M|  79 | 297 |3898 |9717 |3898 |9168 | 141k|  40k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1609.82/1610.16	c  1610s| 18800 |   522 |  2989k| 148.0 | 115M|  79 | 856 |3898 |9767 |3898 |9114 | 142k|  40k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1615.72/1616.03	c  1616s| 18900 |   530 |  3005k| 148.1 | 115M|  79 |   - |3898 |9865 |   0 |   0 | 144k|  40k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1621.82/1622.17	c  1622s| 19000 |   493 |  3022k| 148.2 | 114M|  79 |   - |3898 |9633 |   0 |   0 | 145k|  40k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1627.62/1627.96	c  1628s| 19100 |   489 |  3038k| 148.3 | 114M|  79 |   - |3898 |9584 |   0 |   0 | 146k|  41k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1634.22/1634.53	c  1635s| 19200 |   503 |  3057k| 148.5 | 114M|  79 | 764 |3898 |9492 |3898 |9133 | 147k|  41k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1640.41/1640.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1640.41/1640.74	c  1641s| 19300 |   509 |  3075k| 148.6 | 114M|  79 | 881 |3898 |9491 |3898 |9124 | 149k|  41k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1647.71/1648.01	c  1648s| 19400 |   508 |  3096k| 148.9 | 114M|  79 | 665 |3898 |9451 |3898 |9189 | 150k|  41k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1654.81/1655.12	c  1655s| 19500 |   555 |  3114k| 149.1 | 115M|  79 | 518 |3898 |9541 |3898 |9193 | 151k|  41k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1662.41/1662.71	c  1663s| 19600 |   536 |  3138k| 149.5 | 115M|  79 | 628 |3898 |9547 |3898 |9194 | 153k|  41k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1666.51/1666.82	c  1667s| 19700 |   536 |  3150k| 149.4 | 115M|  79 |   - |3898 |9587 |   0 |   0 | 154k|  41k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1672.11/1672.43	c  1672s| 19800 |   530 |  3165k| 149.4 | 115M|  79 | 237 |3898 |9569 |3898 |9107 | 155k|  41k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1679.00/1679.37	c  1679s| 19900 |   469 |  3183k| 149.5 | 114M|  79 | 713 |3898 |9488 |3898 |9182 | 156k|  42k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1682.21/1682.50	c  1683s| 20000 |   482 |  3189k| 149.1 | 114M|  79 | 518 |3898 |9655 |3898 |9186 | 156k|  42k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1686.80/1687.15	c  1687s| 20100 |   518 |  3200k| 148.9 | 115M|  79 |   - |3898 |9780 |   0 |   0 | 157k|  42k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1691.31/1691.68	c  1692s| 20200 |   504 |  3211k| 148.7 | 115M|  79 |   - |3898 |9930 |   0 |   0 | 157k|  42k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1697.10/1697.47	c  1697s| 20300 |   511 |  3228k| 148.8 | 115M|  79 | 727 |3898 |9957 |3898 |9178 | 159k|  42k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1701.10/1701.46	c  1701s| 20400 |   511 |  3238k| 148.6 | 115M|  79 | 754 |3898 |  10k|3898 |9200 | 159k|  42k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1705.40/1705.74	c  1706s| 20500 |   508 |  3249k| 148.4 | 115M|  79 |   - |3898 |  10k|   0 |   0 | 160k|  43k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1714.10/1714.45	c  1714s| 20600 |   530 |  3273k| 148.8 | 116M|  79 | 732 |3898 |  10k|3898 |9169 | 162k|  43k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1718.60/1718.98	c  1719s| 20700 |   545 |  3285k| 148.7 | 116M|  79 | 825 |3898 |  10k|3898 |9082 | 163k|  43k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1726.00/1726.33	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1726.00/1726.33	c  1726s| 20800 |   578 |  3303k| 148.9 | 116M|  79 |   - |3898 |  10k|   0 |   0 | 164k|  43k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1730.60/1730.97	c  1731s| 20900 |   579 |  3314k| 148.7 | 117M|  79 | 457 |3898 |  10k|3898 |9111 | 164k|  43k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1734.50/1734.82	c  1735s| 21000 |   598 |  3321k| 148.3 | 117M|  79 | 398 |3898 |  10k|3898 |9056 | 165k|  43k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1736.89/1737.22	c  1737s| 21100 |   581 |  3325k| 147.8 | 117M|  79 |   - |3898 |  10k|   0 |   0 | 165k|  44k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1739.70/1740.00	c  1740s| 21200 |   576 |  3331k| 147.4 | 117M|  79 | 739 |3898 |  10k|3898 |9188 | 165k|  44k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1743.00/1743.33	c  1743s| 21300 |   582 |  3337k| 147.0 | 117M|  79 | 840 |3898 |  10k|3898 |9208 | 166k|  44k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1748.29/1748.66	c  1749s| 21400 |   614 |  3348k| 146.9 | 117M|  79 | 783 |3898 |  10k|3898 |9182 | 166k|  44k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1753.49/1753.84	c  1754s| 21500 |   611 |  3362k| 146.8 | 117M|  79 |1107 |3898 |  10k|3898 |8972 | 167k|  44k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1757.89/1758.25	c  1758s| 21600 |   631 |  3374k| 146.7 | 118M|  79 | 242 |3898 |  10k|3898 |9055 | 168k|  44k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1761.29/1761.68	c  1762s| 21700 |   617 |  3382k| 146.4 | 118M|  79 | 608 |3898 |  10k|3898 |9200 | 169k|  44k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1764.29/1764.63	c  1765s| 21800 |   638 |  3388k| 146.1 | 118M|  79 |   - |3898 |  10k|   0 |   0 | 169k|  44k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1769.39/1769.74	c  1770s| 21900 |   609 |  3402k| 146.0 | 118M|  79 |   - |3898 |  10k|   0 |   0 | 170k|  45k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1774.09/1774.43	c  1774s| 22000 |   643 |  3414k| 145.9 | 118M|  79 |   - |3898 |  10k|   0 |   0 | 171k|  45k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1777.49/1777.84	c  1778s| 22100 |   668 |  3421k| 145.6 | 118M|  79 | 420 |3898 |  10k|3898 |9175 | 171k|  45k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1780.60/1780.97	c  1781s| 22200 |   672 |  3428k| 145.3 | 119M|  79 | 579 |3898 |  10k|3898 |9169 | 172k|  45k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1783.09/1783.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1783.09/1783.44	c  1783s| 22300 |   662 |  3433k| 144.9 | 119M|  79 | 612 |3898 |  10k|3898 |9163 | 172k|  45k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1786.89/1787.21	c  1787s| 22400 |   673 |  3441k| 144.6 | 119M|  79 | 288 |3898 |  10k|3898 |9280 | 173k|  45k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1789.69/1790.00	c  1790s| 22500 |   662 |  3448k| 144.3 | 119M|  79 |   - |3898 |  10k|   0 |   0 | 173k|  45k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1794.19/1794.52	c  1795s| 22600 |   671 |  3458k| 144.1 | 119M|  79 | 864 |3898 |  11k|3898 |9289 | 174k|  46k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1796.69/1797.00	c 
1796.69/1797.00	c SCIP Status        : solving was interrupted [time limit reached]
1796.69/1797.00	c Solving Time (sec) : 1797.00
1796.69/1797.00	c Solving Nodes      : 22681 (total of 23804 nodes in 3 runs)
1796.69/1797.00	c Primal Bound       : +1.00000000000000e+00 (57 solutions)
1796.69/1797.00	c Dual Bound         : +0.00000000000000e+00
1796.69/1797.00	c Gap                : infinite
1796.69/1797.01	s SATISFIABLE
1796.69/1797.01	v -x4622 x4621 x4620 x4619 x4618 x4617 -x4616 -x4615 -x4614 x4613 -x4612 -x4611 -x4610 x4609 x4608 x4607 -x4606 -x4605 -x4604 -x4603 
1796.69/1797.01	v x4602 x4601 x4600 x4599 x4598 -x4597 -x4596 x4595 -x4594 x4593 -x4592 x4591 -x4590 -x4589 x4588 x4587 -x4586 -x4585 x4584 
1796.69/1797.01	v -x4583 -x4582 -x4581 x4580 -x4579 -x4578 x4577 -x4576 x4575 -x4574 -x4573 -x4572 -x4571 x4570 -x4569 -x4568 -x4567 -x4566 -x4565 
1796.69/1797.01	v x4564 -x4563 -x4562 -x4561 -x4560 x4559 -x4558 -x4557 x4556 -x4555 x4554 -x4553 -x4552 -x4551 x4550 x4549 x4548 x4547 -x4546 
1796.69/1797.01	v -x4545 -x4544 x4543 -x4542 -x4541 -x4540 x4539 -x4538 x4537 x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 x4529 -x4528 
1796.69/1797.01	v x4527 x4526 -x4525 x4524 -x4523 -x4522 -x4521 x4520 x4519 x4518 x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 
1796.69/1797.01	v x4508 -x4507 -x4506 x4505 x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 
1796.69/1797.01	v x4490 x4489 x4488 -x4487 -x4486 -x4485 x4484 -x4483 -x4482 -x4481 x4480 x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 x4472 
1796.69/1797.01	v -x4471 x4470 x4469 -x4468 x4467 x4466 x4465 -x4464 x4463 x4462 x4461 -x4460 -x4459 -x4458 -x4457 x4456 x4455 x4454 x4453 x4452 
1796.69/1797.01	v x4451 -x4450 -x4449 -x4448 -x4447 x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 
1796.69/1797.01	v -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 
1796.69/1797.01	v -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 
1796.69/1797.01	v -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 
1796.69/1797.01	v -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 x4366 x4365 x4364 -x4363 -x4362 
1796.69/1797.01	v -x4361 -x4360 x4359 x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 x4349 x4348 -x4347 -x4346 x4345 x4344 x4343 
1796.69/1797.01	v -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 
1796.69/1797.01	v -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 
1796.69/1797.01	v -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 
1796.69/1797.01	v -x4289 -x4288 x4287 x4286 x4285 x4284 -x4283 -x4282 -x4281 -x4280 x4279 x4278 x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 
1796.69/1797.01	v -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 
1796.69/1797.01	v -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 
1796.69/1797.01	v -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 x4220 -x4219 -x4218 -x4217 
1796.69/1797.01	v -x4216 -x4215 -x4214 x4213 -x4212 -x4211 -x4210 -x4209 -x4208 x4207 -x4206 -x4205 -x4204 -x4203 x4202 x4201 x4200 -x4199 -x4198 
1796.69/1797.01	v -x4197 x4196 x4195 x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 x4183 -x4182 -x4181 x4180 
1796.69/1797.01	v -x4179 -x4178 -x4177 -x4176 -x4175 x4174 -x4173 -x4172 -x4171 -x4170 x4169 -x4168 -x4167 x4166 -x4165 -x4164 -x4163 -x4162 
1796.69/1797.01	v -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 
1796.69/1797.01	v -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 
1796.69/1797.01	v -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 
1796.69/1797.01	v -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 x4091 -x4090 
1796.69/1797.01	v -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 
1796.69/1797.01	v -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 x4054 
1796.69/1797.01	v -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 
1796.69/1797.01	v -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 
1796.69/1797.01	v -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 
1796.69/1797.01	v -x4000 x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 
1796.69/1797.01	v -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 
1796.69/1797.01	v -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 x3948 -x3947 
1796.69/1797.01	v -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 
1796.69/1797.01	v -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 
1796.69/1797.01	v -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 
1796.69/1797.01	v -x3892 -x3891 -x3890 x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 
1796.69/1797.01	v -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 
1796.69/1797.01	v -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 
1796.69/1797.01	v x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 
1796.69/1797.01	v -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 
1796.69/1797.01	v -x3802 x3801 -x3800 -x3799 -x3798 x3797 -x3796 x3795 x3794 x3793 x3792 x3791 x3790 x3789 x3788 x3787 x3786 x3785 x3784 x3783 
1796.69/1797.01	v -x3782 -x3781 -x3780 x3779 x3778 x3777 x3776 x3775 x3774 x3773 x3772 x3771 x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 
1796.69/1797.01	v -x3763 -x3762 -x3761 -x3760 -x3759 x3758 x3757 x3756 x3755 x3754 x3753 -x3752 x3751 x3750 x3749 x3748 x3747 x3746 x3745 x3744 
1796.69/1797.01	v x3743 x3742 x3741 x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 x3729 x3728 -x3727 x3726 -x3725 
1796.69/1797.01	v -x3724 x3723 x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 
1796.69/1797.01	v -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 x3698 x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 x3690 x3689 
1796.69/1797.01	v x3688 x3687 x3686 x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 x3675 -x3674 -x3673 -x3672 -x3671 -x3670 
1796.69/1797.01	v -x3669 -x3668 -x3667 -x3666 -x3665 x3664 x3663 x3662 -x3661 -x3660 -x3659 -x3658 x3657 -x3656 -x3655 -x3654 -x3653 -x3652 
1796.69/1797.01	v -x3651 -x3650 x3649 -x3648 -x3647 -x3646 x3645 x3644 x3643 x3642 x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 x3634 -x3633 
1796.69/1797.01	v -x3632 -x3631 x3630 x3629 x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 
1796.69/1797.01	v -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 x3601 x3600 x3599 x3598 -x3597 -x3596 
1796.69/1797.01	v -x3595 -x3594 x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 x3585 -x3584 -x3583 x3582 x3581 x3580 -x3579 -x3578 
1796.69/1797.01	v -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 x3568 -x3567 x3566 -x3565 -x3564 -x3563 x3562 -x3561 -x3560 x3559 
1796.69/1797.01	v x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 x3549 -x3548 -x3547 x3546 x3545 x3544 -x3543 x3542 -x3541 -x3540 
1796.69/1797.01	v -x3539 x3538 -x3537 -x3536 -x3535 -x3534 -x3533 x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 x3522 
1796.69/1797.01	v -x3521 -x3520 -x3519 -x3518 -x3517 x3516 -x3515 -x3514 -x3513 -x3512 x3511 x3510 x3509 -x3508 -x3507 -x3506 -x3505 -x3504 
1796.69/1797.01	v -x3503 -x3502 x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 
1796.69/1797.01	v -x3485 -x3484 -x3483 x3482 -x3481 -x3480 -x3479 x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 
1796.69/1797.01	v -x3467 -x3466 x3465 -x3464 -x3463 -x3462 x3461 -x3460 -x3459 -x3458 x3457 -x3456 -x3455 x3454 -x3453 -x3452 -x3451 x3450 x3449 
1796.69/1797.01	v x3448 -x3447 -x3446 -x3445 -x3444 x3443 x3442 x3441 x3440 x3439 x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 
1796.69/1797.01	v -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 
1796.69/1797.01	v -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 
1796.69/1797.01	v -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 
1796.69/1797.01	v -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 
1796.69/1797.01	v -x3358 -x3357 -x3356 -x3355 -x3354 x3353 -x3352 -x3351 -x3350 -x3349 x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 
1796.69/1797.01	v -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 x3323 x3322 
1796.69/1797.01	v -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 
1796.69/1797.01	v -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 x3291 x3290 x3289 -x3288 -x3287 -x3286 
1796.69/1797.01	v -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 x3269 -x3268 
1796.69/1797.01	v -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 
1796.69/1797.01	v -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 
1796.69/1797.01	v -x3231 x3230 x3229 x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 
1796.69/1797.01	v -x3213 -x3212 -x3211 -x3210 x3209 -x3208 -x3207 x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 x3196 
1796.69/1797.01	v -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 x3188 x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 
1796.69/1797.01	v -x3176 -x3175 -x3174 -x3173 x3172 -x3171 -x3170 -x3169 -x3168 -x3167 x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 
1796.69/1797.01	v -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 x3144 -x3143 -x3142 -x3141 
1796.69/1797.01	v -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 
1796.69/1797.01	v -x3122 x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 
1796.69/1797.01	v -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 x3097 -x3096 -x3095 x3094 x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 
1796.69/1797.01	v -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 x3074 -x3073 -x3072 -x3071 -x3070 -x3069 
1796.69/1797.01	v -x3068 -x3067 x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 
1796.69/1797.01	v -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 x3034 -x3033 
1796.69/1797.01	v -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 x3020 -x3019 -x3018 -x3017 -x3016 -x3015 
1796.69/1797.01	v -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 x3006 x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 
1796.69/1797.01	v -x2996 -x2995 -x2994 -x2993 -x2992 x2991 x2990 -x2989 -x2988 x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 
1796.69/1797.01	v -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 
1796.69/1797.01	v -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 
1796.69/1797.01	v x2942 -x2941 x2940 -x2939 -x2938 -x2937 -x2936 x2935 -x2934 x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 x2926 -x2925 -x2924 
1796.69/1797.01	v -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 
1796.69/1797.01	v -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 
1796.69/1797.01	v x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 x2871 -x2870 
1796.69/1797.01	v -x2869 -x2868 -x2867 -x2866 -x2865 x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 x2857 -x2856 -x2855 -x2854 -x2853 -x2852 
1796.69/1797.01	v -x2851 x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 x2834 
1796.69/1797.01	v x2833 -x2832 -x2831 x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 
1796.69/1797.01	v -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 x2798 
1796.69/1797.01	v -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 x2784 -x2783 -x2782 -x2781 -x2780 
1796.69/1797.01	v -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 x2766 -x2765 -x2764 -x2763 -x2762 
1796.69/1797.01	v -x2761 x2760 -x2759 -x2758 -x2757 -x2756 x2755 -x2754 -x2753 -x2752 -x2751 x2750 -x2749 -x2748 -x2747 -x2746 x2745 -x2744 -x2743 
1796.69/1797.01	v -x2742 -x2741 x2740 -x2739 -x2738 -x2737 x2736 -x2735 -x2734 -x2733 -x2732 -x2731 x2730 -x2729 -x2728 -x2727 -x2726 -x2725 
1796.69/1797.01	v -x2724 -x2723 -x2722 -x2721 -x2720 x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 x2710 -x2709 -x2708 -x2707 
1796.69/1797.01	v -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 x2692 -x2691 -x2690 -x2689 
1796.69/1797.01	v -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 x2676 -x2675 -x2674 -x2673 -x2672 -x2671 
1796.69/1797.01	v x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 x2658 -x2657 -x2656 x2655 -x2654 -x2653 -x2652 
1796.69/1797.01	v -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 x2641 -x2640 -x2639 -x2638 -x2637 x2636 -x2635 -x2634 
1796.69/1797.01	v -x2633 -x2632 -x2631 -x2630 x2629 x2628 -x2627 x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 x2618 -x2617 -x2616 
1796.69/1797.01	v -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 x2599 -x2598 
1796.69/1797.01	v -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 x2586 x2585 x2584 x2583 x2582 x2581 x2580 -x2579 
1796.69/1797.01	v x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 x2565 -x2564 -x2563 -x2562 -x2561 
1796.69/1797.01	v -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 
1796.69/1797.01	v -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 
1796.69/1797.01	v -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 
1796.69/1797.01	v -x2506 -x2505 -x2504 x2503 -x2502 -x2501 -x2500 -x2499 x2498 -x2497 -x2496 -x2495 -x2494 -x2493 x2492 x2491 -x2490 -x2489 
1796.69/1797.01	v -x2488 -x2487 x2486 -x2485 -x2484 -x2483 x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 
1796.69/1797.01	v -x2469 x2468 x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 x2458 -x2457 -x2456 -x2455 -x2454 x2453 x2452 
1796.69/1797.01	v x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 
1796.69/1797.01	v -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 x2427 -x2426 -x2425 x2424 x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 x2416 -x2415 
1796.69/1797.01	v -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 
1796.69/1797.01	v -x2396 -x2395 -x2394 -x2393 -x2392 x2391 x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 x2379 
1796.69/1797.01	v x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 
1796.69/1797.01	v x2360 x2359 -x2358 x2357 -x2356 x2355 x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 
1796.69/1797.01	v -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 x2325 -x2324 
1796.69/1797.01	v -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 
1796.69/1797.01	v -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 
1796.69/1797.01	v -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 
1796.69/1797.01	v -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 
1796.69/1797.01	v -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 x2242 -x2241 -x2240 -x2239 x2238 -x2237 -x2236 -x2235 -x2234 
1796.69/1797.01	v -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 
1796.69/1797.01	v -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 
1796.69/1797.01	v -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 
1796.69/1797.01	v -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 x2167 -x2166 -x2165 -x2164 -x2163 
1796.69/1797.01	v -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 
1796.69/1797.01	v -x2144 -x2143 -x2142 x2141 x2140 -x2139 x2138 -x2137 x2136 x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 
1796.69/1797.01	v -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 
1796.69/1797.01	v -x2107 -x2106 -x2105 -x2104 x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 x2092 -x2091 -x2090 
1796.69/1797.01	v -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 x2075 -x2074 -x2073 -x2072 
1796.69/1797.01	v -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 x2056 -x2055 -x2054 
1796.69/1797.01	v -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 x2042 -x2041 -x2040 -x2039 -x2038 x2037 -x2036 
1796.69/1797.01	v -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 
1796.69/1797.01	v -x2017 -x2016 -x2015 -x2014 -x2013 x2012 -x2011 -x2010 x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 
1796.69/1797.01	v -x1999 -x1998 x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 x1982 
1796.69/1797.01	v -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 x1972 x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 
1796.69/1797.01	v x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 
1796.69/1797.01	v -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 x1931 x1930 -x1929 -x1928 -x1927 
1796.69/1797.01	v -x1926 -x1925 x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 x1917 x1916 -x1915 -x1914 x1913 -x1912 -x1911 -x1910 x1909 
1796.69/1797.01	v x1908 -x1907 x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 x1890 
1796.69/1797.01	v x1889 -x1888 x1887 -x1886 x1885 -x1884 -x1883 -x1882 -x1881 x1880 x1879 -x1878 x1877 -x1876 x1875 -x1874 -x1873 -x1872 -x1871 
1796.69/1797.01	v -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 
1796.69/1797.01	v -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 x1842 -x1841 -x1840 x1839 -x1838 -x1837 -x1836 x1835 
1796.69/1797.01	v -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 x1826 -x1825 -x1824 x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 
1796.69/1797.01	v -x1816 -x1815 x1814 -x1813 -x1812 x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 x1801 -x1800 x1799 
1796.69/1797.01	v -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 x1790 -x1789 -x1788 x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 
1796.69/1797.01	v -x1780 -x1779 x1778 -x1777 -x1776 x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 x1765 -x1764 -x1763 -x1762 
1796.69/1797.01	v -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 x1747 x1746 -x1745 x1744 
1796.69/1797.01	v -x1743 -x1742 x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 
1796.69/1797.01	v -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 x1713 -x1712 -x1711 -x1710 -x1709 -x1708 
1796.69/1797.01	v -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 
1796.69/1797.01	v -x1689 -x1688 -x1687 -x1686 -x1685 x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 
1796.69/1797.01	v -x1671 -x1670 -x1669 -x1668 -x1667 x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 x1658 -x1657 -x1656 -x1655 -x1654 
1796.69/1797.01	v -x1653 -x1652 x1651 -x1650 -x1649 x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 x1641 -x1640 -x1639 x1638 -x1637 -x1636 -x1635 
1796.69/1797.01	v -x1634 -x1633 -x1632 -x1631 x1630 -x1629 x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 x1621 -x1620 -x1619 x1618 -x1617 
1796.69/1797.01	v -x1616 -x1615 -x1614 -x1613 -x1612 x1611 -x1610 -x1609 x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 x1600 -x1599 
1796.69/1797.01	v -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 
1796.69/1797.01	v -x1580 x1579 -x1578 -x1577 -x1576 x1575 x1574 x1573 -x1572 -x1571 x1570 -x1569 -x1568 -x1567 x1566 x1565 x1564 -x1563 -x1562 
1796.69/1797.01	v -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 
1796.69/1797.01	v -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 
1796.69/1797.01	v -x1525 x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 x1509 -x1508 
1796.69/1797.01	v -x1507 -x1506 x1505 -x1504 -x1503 -x1502 -x1501 x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 
1796.69/1797.01	v -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 
1796.69/1797.01	v -x1471 -x1470 -x1469 -x1468 -x1467 x1466 -x1465 -x1464 -x1463 -x1462 x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 x1454 
1796.69/1797.01	v -x1453 -x1452 -x1451 -x1450 x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 x1436 
1796.69/1797.01	v -x1435 -x1434 x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 x1421 -x1420 -x1419 -x1418 -x1417 
1796.69/1797.01	v -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 x1406 -x1405 -x1404 -x1403 x1402 -x1401 -x1400 x1399 
1796.69/1797.01	v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 x1390 -x1389 x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 
1796.69/1797.01	v -x1380 -x1379 -x1378 -x1377 x1376 -x1375 -x1374 -x1373 -x1372 x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 x1364 -x1363 
1796.69/1797.01	v -x1362 -x1361 x1360 -x1359 x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 x1349 -x1348 -x1347 -x1346 -x1345 -x1344 
1796.69/1797.01	v -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 
1796.69/1797.01	v -x1326 x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 x1311 -x1310 -x1309 -x1308 
1796.69/1797.01	v -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 x1293 -x1292 -x1291 -x1290 
1796.69/1797.01	v -x1289 -x1288 x1287 -x1286 -x1285 -x1284 -x1283 x1282 -x1281 -x1280 x1279 -x1278 -x1277 -x1276 -x1275 x1274 -x1273 -x1272 
1796.69/1797.01	v x1271 -x1270 -x1269 -x1268 -x1267 -x1266 x1265 -x1264 x1263 -x1262 -x1261 -x1260 -x1259 x1258 -x1257 -x1256 x1255 -x1254 -x1253 
1796.69/1797.01	v -x1252 -x1251 x1250 -x1249 -x1248 x1247 -x1246 -x1245 -x1244 -x1243 -x1242 x1241 -x1240 -x1239 -x1238 x1237 -x1236 x1235 
1796.69/1797.01	v -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 
1796.69/1797.01	v x1216 x1215 x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 
1796.69/1797.01	v -x1198 -x1197 -x1196 -x1195 x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 x1186 -x1185 -x1184 -x1183 x1182 -x1181 -x1180 
1796.69/1797.01	v x1179 -x1178 -x1177 -x1176 -x1175 x1174 -x1173 -x1172 -x1171 -x1170 x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 x1162 
1796.69/1797.01	v -x1161 -x1160 -x1159 x1158 -x1157 -x1156 -x1155 -x1154 x1153 -x1152 -x1151 x1150 -x1149 -x1148 -x1147 x1146 -x1145 -x1144 -x1143 
1796.69/1797.01	v -x1142 -x1141 -x1140 x1139 -x1138 -x1137 -x1136 x1135 -x1134 -x1133 -x1132 x1131 -x1130 -x1129 -x1128 x1127 -x1126 -x1125 
1796.69/1797.01	v -x1124 -x1123 -x1122 x1121 x1120 -x1119 -x1118 -x1117 x1116 x1115 x1114 -x1113 x1112 x1111 x1110 -x1109 -x1108 x1107 -x1106 
1796.69/1797.01	v x1105 x1104 x1103 x1102 -x1101 x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 x1093 -x1092 -x1091 -x1090 x1089 -x1088 -x1087 
1796.69/1797.01	v -x1086 x1085 x1084 x1083 -x1082 x1081 -x1080 -x1079 -x1078 x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 x1070 -x1069 -x1068 
1796.69/1797.01	v -x1067 x1066 -x1065 -x1064 -x1063 -x1062 x1061 -x1060 -x1059 x1058 -x1057 -x1056 -x1055 -x1054 -x1053 x1052 x1051 -x1050 
1796.69/1797.01	v -x1049 -x1048 x1047 x1046 x1045 -x1044 x1043 x1042 x1041 -x1040 -x1039 x1038 -x1037 x1036 x1035 x1034 x1033 -x1032 -x1031 -x1030 
1796.69/1797.01	v -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 x1016 -x1015 -x1014 -x1013 -x1012 
1796.69/1797.01	v -x1011 -x1010 -x1009 x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 
1796.69/1797.01	v -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 x982 -x981 x980 -x979 -x978 -x977 -x976 -x975 x974 x973 x972 
1796.69/1797.01	v x971 -x970 x969 -x968 -x967 x966 -x965 -x964 x963 -x962 x961 -x960 x959 -x958 -x957 x956 -x955 x954 -x953 -x952 x951 -x950 -x949 
1796.69/1797.01	v x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 
1796.69/1797.01	v x927 -x926 -x925 x924 -x923 x922 -x921 -x920 x919 -x918 x917 -x916 -x915 -x914 -x913 x912 x911 x910 -x909 -x908 -x907 -x906 
1796.69/1797.01	v -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 x886 -x885 
1796.69/1797.01	v -x884 x883 -x882 x881 -x880 -x879 x878 -x877 x876 -x875 -x874 x873 -x872 x871 -x870 -x869 x868 -x867 x866 -x865 -x864 x863 
1796.69/1797.01	v -x862 x861 -x860 -x859 x858 -x857 x856 x855 x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 
1796.69/1797.01	v -x840 x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 
1796.69/1797.01	v x819 -x818 -x817 -x816 -x815 -x814 x813 x812 -x811 -x810 x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 
1796.69/1797.01	v -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 
1796.69/1797.01	v -x777 -x776 -x775 x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 
1796.69/1797.01	v -x756 -x755 -x754 -x753 -x752 x751 -x750 -x749 -x748 -x747 x746 -x745 -x744 -x743 x742 -x741 -x740 -x739 -x738 -x737 x736 -x735 
1796.69/1797.01	v -x734 -x733 -x732 x731 -x730 -x729 x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 x719 -x718 x717 x716 x715 x714 -x713 
1796.69/1797.01	v -x712 x711 -x710 -x709 -x708 x707 -x706 -x705 x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 x694 -x693 -x692 
1796.69/1797.01	v x691 -x690 x689 x688 x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 x678 -x677 x676 x675 -x674 -x673 -x672 -x671 x670 
1796.69/1797.01	v -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 x654 x653 -x652 -x651 x650 -x649 -x648 
1796.69/1797.01	v -x647 -x646 -x645 -x644 x643 x642 -x641 -x640 x639 x638 x637 x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 
1796.69/1797.01	v -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 x615 -x614 x613 -x612 x611 -x610 x609 -x608 x607 -x606 x605 
1796.69/1797.01	v -x604 -x603 -x602 -x601 x600 -x599 -x598 x597 x596 -x595 x594 -x593 -x592 x591 x590 x589 -x588 -x587 x586 x585 x584 x583 -x582 
1796.69/1797.01	v -x581 -x580 -x579 -x578 -x577 x576 -x575 -x574 x573 x572 x571 x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 
1796.69/1797.01	v x559 -x558 -x557 -x556 -x555 -x554 x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 x543 -x542 -x541 -x540 x539 
1796.69/1797.01	v -x538 -x537 -x536 -x535 x534 -x533 -x532 x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 x523 -x522 -x521 -x520 x519 -x518 -x517 
1796.69/1797.01	v -x516 x515 -x514 -x513 -x512 x511 -x510 -x509 x508 x507 -x506 -x505 x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 -x495 
1796.69/1797.01	v -x494 -x493 -x492 x491 -x490 -x489 -x488 x487 -x486 -x485 x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 
1796.69/1797.01	v -x473 -x472 x471 -x470 -x469 -x468 -x467 -x466 x465 -x464 -x463 -x462 -x461 x460 -x459 x458 x457 x456 -x455 -x454 -x453 -x452 
1796.69/1797.01	v -x451 -x450 x449 -x448 -x447 -x446 x445 -x444 -x443 -x442 x441 -x440 -x439 -x438 x437 -x436 -x435 -x434 -x433 x432 x431 x430 
1796.69/1797.01	v x429 x428 x427 -x426 x425 -x424 -x423 x422 -x421 x420 -x419 -x418 x417 x416 x415 x414 -x413 -x412 -x411 -x410 x409 -x408 
1796.69/1797.01	v -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 x397 -x396 -x395 x394 -x393 x392 -x391 x390 -x389 -x388 x387 -x386 
1796.69/1797.01	v -x385 x384 -x383 x382 -x381 -x380 x379 -x378 x377 -x376 x375 -x374 -x373 -x372 -x371 x370 x369 x368 -x367 -x366 x365 x364 -x363 
1796.69/1797.01	v x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 x352 -x351 -x350 x349 -x348 x347 -x346 x345 -x344 -x343 x342 
1796.69/1797.01	v -x341 -x340 x339 -x338 x337 -x336 x335 -x334 -x333 -x332 -x331 x330 x329 x328 -x327 -x326 x325 x324 -x323 -x322 -x321 -x320 x319 
1796.69/1797.01	v -x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 -x310 x309 -x308 -x307 x306 -x305 x304 -x303 -x302 -x301 -x300 x299 x298 x297 
1796.69/1797.01	v x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 x286 -x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 x277 -x276 
1796.69/1797.01	v x275 -x274 -x273 x272 -x271 -x270 -x269 x268 x267 x266 -x265 -x264 x263 -x262 x261 x260 -x259 x258 -x257 -x256 -x255 x254 -x253 
1796.69/1797.01	v -x252 x251 -x250 -x249 -x248 x247 x246 x245 -x244 -x243 -x242 -x241 -x240 x239 -x238 x237 -x236 -x235 -x234 -x233 x232 -x231 
1796.69/1797.01	v x230 x229 x228 x227 -x226 -x225 x224 x223 x222 x221 x220 x219 x218 -x217 x216 x215 x214 x213 x212 -x211 -x210 -x209 -x208 
1796.69/1797.01	v -x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 
1796.69/1797.01	v x185 x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 
1796.69/1797.01	v -x163 -x162 x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 x146 -x145 -x144 x143 
1796.69/1797.01	v -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 x129 -x128 -x127 x126 -x125 x124 -x123 -x122 x121 
1796.69/1797.01	v -x120 x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 x100 -x99 
1796.69/1797.01	v -x98 x97 x96 x95 x94 x93 -x92 -x91 -x90 x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 x76 -x75 -x74 x73 -x72 
1796.69/1797.01	v -x71 x70 -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 
1796.69/1797.01	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 x19 
1796.69/1797.01	v -x18 x17 -x16 x15 -x14 -x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 -x2 -x1 
1796.69/1797.01	c SCIP Status        : solving was interrupted [time limit reached]
1796.69/1797.01	c Total Time         :    1797.00
1796.69/1797.01	c   solving          :    1797.00
1796.69/1797.01	c   presolving       :       5.06 (included in solving)
1796.69/1797.01	c   reading          :       0.05 (included in solving)
1796.69/1797.01	c   copying          :       0.43 (9 #copies) (minimal 0.03, maximal 0.09, average 0.05)
1796.69/1797.01	c Original Problem   :
1796.69/1797.01	c   Problem name     : HOME/instance-3717548-1338195079.wbo
1796.69/1797.01	c   Variables        : 13075 (13075 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01	c   Constraints      : 12570 initial, 12570 maximal
1796.69/1797.01	c   Objective sense  : minimize
1796.69/1797.01	c Presolved Problem  :
1796.69/1797.01	c   Problem name     : t_HOME/instance-3717548-1338195079.wbo
1796.69/1797.01	c   Variables        : 3898 (3898 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01	c   Constraints      : 5435 initial, 11022 maximal
1796.69/1797.01	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.69/1797.01	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.01	c   trivial          :       0.06       0.00      16463          0          0          0          0          0          0          0          0
1796.69/1797.01	c   dualfix          :       0.02       0.00         30          0          0          0          0          0          0          0          0
1796.69/1797.01	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.01	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.01	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.01	c   gateextraction   :       0.06       0.00          0          0          0          0          0      10583       3509          0          0
1796.69/1797.01	c   implics          :       0.04       0.00          0        316          0          0          0          0          0          0          0
1796.69/1797.01	c   components       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.01	c   pseudoobj        :       0.00       0.01          0          0          0         71          0          0          0          0          0
1796.69/1797.01	c   probing          :       0.38       0.00          0          1          0          0          0          0          0          0          0
1796.69/1797.01	c   varbound         :       0.01       0.00          0          0          0         71          0        146          0          0          0
1796.69/1797.01	c   knapsack         :       0.07       0.00          0          0          0          0          0          6         10         15         52
1796.69/1797.01	c   setppc           :       0.16       0.00         22          5          0          0          0        439          0          4          0
1796.69/1797.01	c   and              :       2.96       0.00         62        152          0          0          0        488        409          0         35
1796.69/1797.01	c   linear           :       0.76       0.03        541          8          0       8928          0       9620          0        432        931
1796.69/1797.01	c   indicator        :       0.01       0.01         29          0          0          0          0        472          0          0          0
1796.69/1797.01	c   logicor          :       0.25       0.01          1          0          0          2          0        304          0          0          0
1796.69/1797.01	c   bounddisjunction :       0.02       0.00          0          0          0          0          0         58          0          0          0
1796.69/1797.01	c   root node        :          -          -      16370          -          -      16370          -          -          -          -          -
1796.69/1797.01	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.69/1797.01	c   integral         :          0          0          0          0      18257          0      19633          0          0          0          0          0      36512
1796.69/1797.01	c   knapsack         :        974        974         10     427392          1          1      19628     213473       2097     234539       1572          0          0
1796.69/1797.01	c   setppc           :        648        648         10     425295          1          1        591     461452       1458     354259         18          0          0
1796.69/1797.01	c   and              :       2904       2904      46030     423837          1          1        416    3337949       7109    2182532     180037          0          0
1796.69/1797.01	c   logicor          :        578+      6373         10     215955          1          1        314     260145       3137     185861         86          0          0
1796.69/1797.01	c   bounddisjunction :        331        331          0      27832          0          0          0        320         14       1016          0          0          0
1796.69/1797.01	c   countsols        :          0          0          0          0          1          1        223          0          0          0          0          0          0
1796.69/1797.01	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.69/1797.01	c   integral         :       6.36       0.00       0.00       0.00       1.87       0.00       4.49       0.00
1796.69/1797.01	c   knapsack         :      10.25       0.00       0.02       9.58       0.00       0.00       0.32       0.33
1796.69/1797.01	c   setppc           :       8.38       0.00       0.00       7.46       0.00       0.00       0.33       0.58
1796.69/1797.01	c   and              :      39.73       0.00      16.97      18.69       0.00       0.00       0.03       4.04
1796.69/1797.01	c   logicor          :       6.96       0.01       0.00       6.12       0.00       0.00       0.14       0.68
1796.69/1797.01	c   bounddisjunction :       0.19       0.00       0.00       0.19       0.00       0.00       0.00       0.00
1796.69/1797.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.69/1797.01	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.69/1797.01	c   rootredcost      :         34          0          0       8353
1796.69/1797.01	c   pseudoobj        :      36897       1989         16      77231
1796.69/1797.01	c   vbounds          :        995       2432          0     146802
1796.69/1797.01	c   redcost          :      48605          0          0      50357
1796.69/1797.01	c   probing          :          0          0          0          0
1796.69/1797.01	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.69/1797.01	c   rootredcost      :       0.48       0.00       0.00       0.48       0.00
1796.69/1797.01	c   pseudoobj        :       3.09       0.01       0.00       2.03       1.05
1796.69/1797.01	c   vbounds          :       3.53       0.02       0.00       3.52       0.00
1796.69/1797.01	c   redcost          :       4.71       0.00       0.00       4.71       0.00
1796.69/1797.01	c   probing          :       0.39       0.00       0.38       0.00       0.00
1796.69/1797.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.69/1797.01	c   propagation      :      12.30      14128      14046     166221       74.8       5385       15.9          -
1796.69/1797.01	c   infeasible LP    :       1.74        786        786       1751       19.3        172       14.5          0
1796.69/1797.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.69/1797.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.69/1797.01	c   pseudo solution  :       0.01          4          4         12       14.7          2       18.0          -
1796.69/1797.01	c   applied globally :          -          -          -      46110       41.9          -          -          -
1796.69/1797.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.69/1797.01	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.69/1797.01	c   cut pool         :       0.00                     0          -          -          0          -    (maximal pool size: 1382)
1796.69/1797.01	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.69/1797.01	c   impliedbounds    :       0.02       0.00          9          0          0       1592          0
1796.69/1797.01	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.69/1797.01	c   gomory           :       1.58       0.00          9          0          0        450          0
1796.69/1797.01	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.69/1797.01	c   strongcg         :       7.33       0.00          9          0          0       4332          0
1796.69/1797.01	c   cmir             :       2.36       0.00          9          0          0        798          0
1796.69/1797.01	c   flowcover        :       2.69       0.00          9          0          0       1804          0
1796.69/1797.01	c   clique           :       0.23       0.00          9          0          0         17          0
1796.69/1797.01	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.69/1797.01	c   mcf              :       0.09       0.00          3          0          0          0          0
1796.69/1797.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.69/1797.01	c   rapidlearning    :      17.85       0.00          1          0          5          0        863
1796.69/1797.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.69/1797.01	c   problem variables:       0.00          -          0          0
1796.69/1797.01	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.69/1797.01	c   inference        :       1.79       0.00      18257          0          0          0          0      36514
1796.69/1797.01	c   relpscost        :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.01	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.69/1797.01	c   LP solutions     :       0.00          -          -          1
1796.69/1797.01	c   pseudo solutions :       0.00          -          -          0
1796.69/1797.01	c   intshifting      :       0.00       0.00          0          0
1796.69/1797.01	c   feaspump         :       5.16       0.00          1          0
1796.69/1797.01	c   oneopt           :       0.35       0.00         33          0
1796.69/1797.01	c   objpscostdiving  :     105.02       0.00          2          0
1796.69/1797.01	c   guideddiving     :      54.95       0.00          9          4
1796.69/1797.01	c   crossover        :       1.37       0.00          5          0
1796.69/1797.01	c   rootsoldiving    :      11.05       0.00         14          0
1796.69/1797.01	c   fracdiving       :      55.55       0.00         57          0
1796.69/1797.01	c   pscostdiving     :      47.61       0.00         57          0
1796.69/1797.01	c   linesearchdiving :      42.54       0.00         58          2
1796.69/1797.01	c   veclendiving     :      65.30       0.00         58          3
1796.69/1797.01	c   coefdiving       :     392.89       0.00        754         25
1796.69/1797.01	c   smallcard        :       0.00       0.00          0          0
1796.69/1797.01	c   trivial          :       0.02       0.00          2          0
1796.69/1797.01	c   shiftandpropagate:       0.00       0.00          0          0
1796.69/1797.01	c   simplerounding   :       0.38       0.00      48507          0
1796.69/1797.01	c   zirounding       :       5.40       0.00        965          0
1796.69/1797.01	c   rounding         :       1.78       0.00       3041          0
1796.69/1797.01	c   shifting         :      35.36       0.00       4620          4
1796.69/1797.01	c   twoopt           :       0.00       0.00          0          0
1796.69/1797.01	c   indtwoopt        :       0.00       0.01          0          0
1796.69/1797.01	c   indoneopt        :       7.58       0.01         45         13
1796.69/1797.01	c   fixandinfer      :       0.00       0.00          0          0
1796.69/1797.01	c   clique           :       0.00       0.00          0          0
1796.69/1797.01	c   indcoefdiving    :       0.00       0.00          0          0
1796.69/1797.01	c   indrounding      :      27.55       0.00      18247          3
1796.69/1797.01	c   nlpdiving        :       0.00       0.00          0          0
1796.69/1797.01	c   intdiving        :       0.00       0.00          0          0
1796.69/1797.01	c   actconsdiving    :       0.00       0.00          0          0
1796.69/1797.01	c   octane           :       0.00       0.00          0          0
1796.69/1797.01	c   rens             :       0.74       0.00          1          0
1796.69/1797.01	c   rins             :       0.00       0.00          0          0
1796.69/1797.01	c   localbranching   :       0.00       0.00          0          0
1796.69/1797.01	c   mutation         :       0.00       0.00          0          0
1796.69/1797.01	c   dins             :       0.00       0.00          0          0
1796.69/1797.01	c   vbounds          :       0.00       0.00          0          0
1796.69/1797.01	c   undercover       :       0.00       0.00          0          0
1796.69/1797.01	c   subnlp           :       0.03       0.00          0          0
1796.69/1797.01	c   trysol           :       0.19       0.00          8          2
1796.69/1797.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.69/1797.01	c   primal LP        :       0.02          3          0       0.00       0.00       0.02          3
1796.69/1797.01	c   dual LP          :     716.70      48676    2425173      49.94    3383.79       0.71        117
1796.69/1797.01	c   lex dual LP      :       0.00          0          0       0.00          -
1796.69/1797.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.69/1797.01	c   diving/probing LP:     592.18      48271    1039109      21.53    1754.71
1796.69/1797.01	c   strong branching :       0.00          0          0       0.00          -
1796.69/1797.01	c     (at root node) :          -          0          0       0.00          -
1796.69/1797.01	c   conflict analysis:       0.00          0          0       0.00          -
1796.69/1797.01	c B&B Tree           :
1796.69/1797.01	c   number of runs   :          3
1796.69/1797.01	c   nodes            :      22681
1796.69/1797.01	c   nodes (total)    :      23804
1796.69/1797.01	c   nodes left       :        680
1796.69/1797.01	c   max depth        :         79
1796.69/1797.01	c   max depth (total):        160
1796.69/1797.01	c   backtracks       :       6105 (26.9%)
1796.69/1797.01	c   delayed cutoffs  :      11062
1796.69/1797.01	c   repropagations   :      21084 (1085642 domain reductions, 5492 cutoffs)
1796.69/1797.01	c   avg switch length:       3.55
1796.69/1797.01	c   switching time   :      13.66
1796.69/1797.01	c Solution           :
1796.69/1797.01	c   Solutions found  :         57 (47 improvements)
1796.69/1797.01	c   First Solution   : +8.31600000000000e+03   (in run 1, after 1 nodes, 47.84 seconds, depth 675, found by <coefdiving>)
1796.69/1797.01	c   Primal Bound     : +1.00000000000000e+00   (in run 2, after 71 nodes, 706.28 seconds, depth 142, found by <linesearchdiving>)
1796.69/1797.01	c   Dual Bound       : +0.00000000000000e+00
1796.69/1797.01	c   Gap              :   infinite
1796.69/1797.01	c   Root Dual Bound  : +0.00000000000000e+00
1796.69/1797.01	c   Root Iterations  :      40393
1796.79/1797.14	c Time complete: 1796.84.

Verifier Data 

OK	1

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3717548-1338195079/watcher-3717548-1338195079 -o /tmp/evaluation-result-3717548-1338195079/solver-3717548-1338195079 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717548-1338195079.wbo -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 14994
/proc/meminfo: memFree=30691980/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=10628 CPUtime=0 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 1384 0 0 0 0 0 0 0 20 0 1 0 285632812 10883072 1339 33554432000 4194304 10173063 140736808199024 140736808064200 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 2657 1351 416 1460 0 1188 0

[startup+0.05081 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 14994
/proc/meminfo: memFree=30691980/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=25284 CPUtime=0.04 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 5054 0 0 0 4 0 0 0 20 0 1 0 285632812 25890816 5009 33554432000 4194304 10173063 140736808199024 140736808064200 8985008 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 6321 5009 416 1460 0 4852 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 25284

[startup+0.100376 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 14994
/proc/meminfo: memFree=30691980/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=44316 CPUtime=0.08 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 9862 0 0 0 8 0 0 0 20 0 1 0 285632812 45379584 9781 33554432000 4194304 10173063 140736808199024 140736808064200 5760629 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 11079 9781 499 1460 0 9610 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 44316

[startup+0.300301 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 14994
/proc/meminfo: memFree=30691980/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=85104 CPUtime=0.29 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 19514 0 0 0 23 6 0 0 20 0 1 0 285632812 87146496 19176 33554432000 4194304 10173063 140736808199024 140736808064200 5283955 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 21276 19176 573 1460 0 19807 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85104

[startup+0.700337 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 14994
/proc/meminfo: memFree=30691980/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=91404 CPUtime=0.69 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 21822 0 0 0 58 11 0 0 20 0 1 0 285632812 93597696 20797 33554432000 4194304 10173063 140736808199024 140736808195384 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 22851 20797 635 1460 0 21382 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 91404

[startup+1.50033 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 14995
/proc/meminfo: memFree=30603444/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=100668 CPUtime=1.48 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 24005 0 0 0 135 13 0 0 20 0 1 0 285632812 103084032 22894 33554432000 4194304 10173063 140736808199024 140736808195384 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 25167 22894 671 1460 0 23698 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 100668

[startup+3.10031 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 14995
/proc/meminfo: memFree=30602700/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=149108 CPUtime=3.08 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 36234 0 0 0 292 16 0 0 20 0 1 0 285632812 152686592 34876 33554432000 4194304 10173063 140736808199024 140736808192280 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 37277 34876 805 1460 0 35808 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 149108

[startup+6.3003 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 14995
/proc/meminfo: memFree=30555092/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=149108 CPUtime=6.29 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 36237 0 0 0 611 18 0 0 20 0 1 0 285632812 152686592 34879 33554432000 4194304 10173063 140736808199024 140736808190184 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 37277 34879 805 1460 0 35808 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 149108

[startup+12.7003 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 14995
/proc/meminfo: memFree=30550008/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=157128 CPUtime=12.69 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 38224 0 0 0 1246 23 0 0 20 0 1 0 285632812 160899072 36787 33554432000 4194304 10173063 140736808199024 140736808192664 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 39282 36787 840 1460 0 37813 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 157128

[startup+25.5003 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 14995
/proc/meminfo: memFree=30531848/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=172156 CPUtime=25.48 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 41901 0 0 0 2520 28 0 0 20 0 1 0 285632812 176287744 40804 33554432000 4194304 10173063 140736808199024 140736808191736 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 43039 40804 841 1460 0 41570 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 172156

[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14996
/proc/meminfo: memFree=30522796/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=181076 CPUtime=51.08 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 65325 0 0 0 5062 46 0 0 20 0 1 0 285632812 185421824 43073 33554432000 4194304 10173063 140736808199024 140736808194760 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 45269 43073 870 1460 0 43800 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 181076

[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 14996
/proc/meminfo: memFree=30506304/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=198008 CPUtime=102.28 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 69814 0 0 0 10167 61 0 0 20 0 1 0 285632812 202760192 47246 33554432000 4194304 10173063 140736808199024 140736808191464 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 49502 47246 872 1460 0 48033 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 198008

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14996
/proc/meminfo: memFree=30505188/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=198140 CPUtime=162.27 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 70036 0 0 0 16155 72 0 0 20 0 1 0 285632812 202895360 47464 33554432000 4194304 10173063 140736808199024 140736808192200 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 49535 47464 872 1460 0 48066 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 198140

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14996
/proc/meminfo: memFree=30502504/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=198272 CPUtime=222.26 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 70155 0 0 0 22140 86 0 0 20 0 1 0 285632812 203030528 47583 33554432000 4194304 10173063 140736808199024 140736808191608 7971287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 49568 47583 872 1460 0 48099 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 198272

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14996
/proc/meminfo: memFree=30489904/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=204868 CPUtime=282.25 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 71483 0 0 0 28123 102 0 0 20 0 1 0 285632812 209784832 48823 33554432000 4194304 10173063 140736808199024 140736808193848 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 51217 48823 872 1460 0 49748 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 204868

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14997
/proc/meminfo: memFree=30486392/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=204868 CPUtime=342.24 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 71851 0 0 0 34108 116 0 0 20 0 1 0 285632812 209784832 49679 33554432000 4194304 10173063 140736808199024 140736808193848 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 51217 49679 872 1460 0 49748 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 204868

[startup+402.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 14997
/proc/meminfo: memFree=30487060/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=205208 CPUtime=402.22 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 73143 0 0 0 40090 132 0 0 20 0 1 0 285632812 210132992 49849 33554432000 4194304 10173063 140736808199024 140736808191784 7396628 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 51302 49849 872 1460 0 49833 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 205208

[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 14997
/proc/meminfo: memFree=30479256/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=210672 CPUtime=462.2 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 97488 0 0 0 46062 158 0 0 20 0 1 0 285632812 215728128 51542 33554432000 4194304 10173063 140736808199024 140736808192120 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 52668 51542 880 1460 0 51199 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 210672

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14997
/proc/meminfo: memFree=30465616/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=226148 CPUtime=522.19 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 107256 0 0 0 52037 182 0 0 20 0 1 0 285632812 231575552 55416 33554432000 4194304 10173063 140736808199024 140736808192280 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 56537 55416 880 1460 0 55068 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 226148

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15001
/proc/meminfo: memFree=30460336/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=236096 CPUtime=582.18 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 111380 0 0 0 58014 204 0 0 20 0 1 0 285632812 241762304 58080 33554432000 4194304 10173063 140736808199024 140736808192152 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 59024 58080 881 1460 0 57555 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 236096

[startup+642.3 s]

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

/proc/meminfo: memFree=30677596/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=297784 CPUtime=1062.11 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 166560 0 0 0 104505 1706 0 0 20 0 1 0 285632812 304930816 73352 33554432000 4194304 10173063 140736808199024 140736808192664 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 74446 73352 887 1460 0 72977 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 297784

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15066
/proc/meminfo: memFree=30675212/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=299424 CPUtime=1122.1 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 170458 0 0 0 110396 1814 0 0 20 0 1 0 285632812 306610176 73787 33554432000 4194304 10173063 140736808199024 140736808191960 5122959 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 74856 73787 887 1460 0 73387 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 299424

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15066
/proc/meminfo: memFree=30663680/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=301604 CPUtime=1182.09 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 170978 0 0 0 116290 1919 0 0 20 0 1 0 285632812 308842496 74307 33554432000 4194304 10173063 140736808199024 140736808192664 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 75401 74307 887 1460 0 73932 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 301604

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15066
/proc/meminfo: memFree=30660884/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=304840 CPUtime=1242.07 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 174821 0 0 0 122186 2021 0 0 20 0 1 0 285632812 312156160 75041 33554432000 4194304 10173063 140736808199024 140736808192280 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 76210 75041 887 1460 0 74741 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 304840

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15067
/proc/meminfo: memFree=30655984/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=305656 CPUtime=1302.07 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 175103 0 0 0 128103 2104 0 0 20 0 1 0 285632812 312991744 75323 33554432000 4194304 10173063 140736808199024 140736808191960 7915856 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 76414 75323 887 1460 0 74945 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 305656

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15067
/proc/meminfo: memFree=30642344/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=309480 CPUtime=1362.06 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 176056 0 0 0 134020 2186 0 0 20 0 1 0 285632812 316907520 76276 33554432000 4194304 10173063 140736808199024 140736808193848 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 77370 76276 887 1460 0 75901 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 309480

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15067
/proc/meminfo: memFree=30639096/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=310916 CPUtime=1422.05 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 176415 0 0 0 139948 2257 0 0 20 0 1 0 285632812 318377984 76635 33554432000 4194304 10173063 140736808199024 140736808196392 5123090 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 77729 76635 887 1460 0 76260 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 310916

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15067
/proc/meminfo: memFree=30633268/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=315048 CPUtime=1482.03 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 177448 0 0 0 145864 2339 0 0 20 0 1 0 285632812 322609152 77668 33554432000 4194304 10173063 140736808199024 140736808192696 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 78762 77668 887 1460 0 77293 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 315048

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15067
/proc/meminfo: memFree=30628804/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=319452 CPUtime=1542.03 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 178549 0 0 0 151789 2414 0 0 20 0 1 0 285632812 327118848 78769 33554432000 4194304 10173063 140736808199024 140736808192280 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 79863 78769 887 1460 0 78394 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 319452

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15068
/proc/meminfo: memFree=30617948/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=320408 CPUtime=1602.02 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 187336 0 0 0 157713 2489 0 0 20 0 1 0 285632812 328097792 79016 33554432000 4194304 10173063 140736808199024 140736808192008 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 80102 79016 887 1460 0 78633 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 320408

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15068
/proc/meminfo: memFree=30613220/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=322920 CPUtime=1662.01 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 187952 0 0 0 163646 2555 0 0 20 0 1 0 285632812 330670080 79636 33554432000 4194304 10173063 140736808199024 140736808195848 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 80730 79636 887 1460 0 79261 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 322920

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15068
/proc/meminfo: memFree=30609436/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=324964 CPUtime=1722 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 188463 0 0 0 169576 2624 0 0 20 0 1 0 285632812 332763136 80147 33554432000 4194304 10173063 140736808199024 140736808192328 8033103 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 81241 80147 887 1460 0 79772 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 324964

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15071
/proc/meminfo: memFree=30604708/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=327508 CPUtime=1781.99 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 189099 0 0 0 175502 2697 0 0 20 0 1 0 285632812 335368192 80783 33554432000 4194304 10173063 140736808199024 140736808194360 8886834 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 81877 80783 887 1460 0 80408 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 327508

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15071
/proc/meminfo: memFree=30605708/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=327508 CPUtime=1785.19 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 189099 0 0 0 175818 2701 0 0 20 0 1 0 285632812 335368192 80783 33554432000 4194304 10173063 140736808199024 140736808192648 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 81877 80783 887 1460 0 80408 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 327508

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15071
/proc/meminfo: memFree=30604900/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=328024 CPUtime=1791.59 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 189228 0 0 0 176448 2711 0 0 20 0 1 0 285632812 335896576 80912 33554432000 4194304 10173063 140736808199024 140736808195464 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 82006 80912 887 1460 0 80537 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 328024

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15071
/proc/meminfo: memFree=30604776/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=328216 CPUtime=1794.79 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 189276 0 0 0 176763 2716 0 0 20 0 1 0 285632812 336093184 80960 33554432000 4194304 10173063 140736808199024 140736808192328 6817630 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 82054 80960 887 1460 0 80585 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 328216

[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15071
/proc/meminfo: memFree=30604776/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=328216 CPUtime=1795.59 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 189276 0 0 0 176841 2718 0 0 20 0 1 0 285632812 336093184 80960 33554432000 4194304 10173063 140736808199024 140736808192376 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 82054 80960 887 1460 0 80585 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (KiB) 328216

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15071
/proc/meminfo: memFree=30604776/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=328216 CPUtime=1796.39 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 189276 0 0 0 176920 2719 0 0 20 0 1 0 285632812 336093184 80960 33554432000 4194304 10173063 140736808199024 140736808195512 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 82054 80960 887 1460 0 80585 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 328216

[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15071
/proc/meminfo: memFree=30604776/32873844 swapFree=7112/7112
[pid=14994] ppid=14992 vsize=328608 CPUtime=1796.79 cores=1,3,5,7
/proc/14994/stat : 14994 (scip-2.1.1.4fix) R 14992 14994 10153 0 -1 4202496 189824 0 0 0 176960 2719 0 0 20 0 1 0 285632812 336494592 81067 33554432000 4194304 10173063 140736808199024 140736808195512 4952380 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14994/statm: 82152 81067 889 1460 0 80683 0
Current children cumulated CPU time (s) 1796.79
Current children cumulated vsize (KiB) 328608

Child status: 0
Real time (s): 1797.15
CPU time (s): 1796.84
CPU user time (s): 1769.64
CPU system time (s): 27.2019
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 354584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1769.64
system time used= 27.2019
maximum resident set size= 348172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189826
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= 45
involuntary context switches= 1846

runsolver used 3.06653 second user time and 8.5377 second system time

The end

Launcher Data 

Begin job on node142 at 2012-05-28 10:51:19
IDJOB=3717548
IDBENCH=79025
IDSOLVER=2300
FILE ID=node142/3717548-1338195079
RUNJOBID= node142-1338186086-10170
PBS_JOBID= 14624568
Free space on /tmp= 71680 MiB

SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.3.accl.ucl--soft-33-100-0.wbo
COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3717548-1338195079/watcher-3717548-1338195079 -o /tmp/evaluation-result-3717548-1338195079/solver-3717548-1338195079 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717548-1338195079.wbo -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 2dda6fbf8d261259c880dca3531a1919
RANDOM SEED=264324460

node142.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5391.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30692516 kB
Buffers:          350472 kB
Cached:           429176 kB
SwapCached:            0 kB
Active:          1096596 kB
Inactive:         259764 kB
Active(anon):     567392 kB
Inactive(anon):    11212 kB
Active(file):     529204 kB
Inactive(file):   248552 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             14064 kB
Writeback:             0 kB
AnonPages:        593228 kB
Mapped:            15212 kB
Shmem:               200 kB
Slab:             683892 kB
SReclaimable:     126112 kB
SUnreclaim:       557780 kB
KernelStack:        1480 kB
PageTables:         4848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     698752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    485376 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71668 MiB
End job on node142 at 2012-05-28 11:21:17