Trace number 3717392

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/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl--soft-0-100-0.wbo
MD5SUM65e5bfc23cfeb9f0d41691b20b2e7f01
Bench CategorySOFT-SMALLINT-LIN (only soft 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.62214
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 constraints12569
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 636317
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 636316
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-3717392-1338201413.wbo>
0.02/0.05	c original problem has 17191 variables (17191 bin, 0 int, 0 impl, 0 cont) and 12570 constraints
0.02/0.05	c problem read in 0.06
0.19/0.21	o 636316
0.19/0.22	c feasible solution found by trivial heuristic, objective value  6.363160e+05
0.19/0.22	c presolving:
0.19/0.26	c (round 1) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 408 chg sides, 816 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.19/0.28	c (round 2) 0 del vars, 1 del conss, 0 add conss, 12569 chg bounds, 408 chg sides, 816 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.29/0.37	c    (0.4s) probing: 51/17191 (0.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.37	c    (0.4s) probing aborted: 50/50 successive totally useless probings
0.29/0.38	c presolving (3 rounds):
0.29/0.38	c  0 deleted vars, 1 deleted constraints, 0 added constraints, 12569 tightened bounds, 0 added holes, 408 changed sides, 816 changed coefficients
0.29/0.38	c  12569 implications, 0 cliques
0.29/0.38	c presolved problem has 29760 variables (17191 bin, 0 int, 12569 impl, 0 cont) and 25138 constraints
0.29/0.38	c   12569 constraints of type <linear>
0.29/0.38	c   12569 constraints of type <indicator>
0.29/0.38	c transformed objective value is always integral (scale: 1)
0.29/0.38	c Presolving Time: 0.30
0.29/0.38	c - non default parameters ----------------------------------------------------------------------
0.29/0.38	c # SCIP version 2.1.1.4
0.29/0.38	c 
0.29/0.38	c # maximal time in seconds to run
0.29/0.38	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.38	c limits/time = 1797
0.29/0.38	c 
0.29/0.38	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.38	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.38	c limits/memory = 13950
0.29/0.38	c 
0.29/0.38	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.38	c # [type: int, range: [1,2], default: 1]
0.29/0.38	c timing/clocktype = 2
0.29/0.38	c 
0.29/0.38	c # belongs reading time to solving time?
0.29/0.38	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.38	c timing/reading = TRUE
0.29/0.38	c 
0.29/0.38	c # force restart if we have a max FS instance and gap is 1?
0.29/0.38	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.38	c constraints/indicator/forcerestart = TRUE
0.29/0.38	c 
0.29/0.38	c # priority of branching rule <inference>
0.29/0.38	c # [type: int, range: [-536870912,536870911], default: 1000]
0.29/0.38	c branching/inference/priority = 1000000
0.29/0.38	c 
0.29/0.38	c # frequency offset for calling primal heuristic <coefdiving>
0.29/0.38	c # [type: int, range: [0,2147483647], default: 1]
0.29/0.38	c heuristics/coefdiving/freqofs = 0
0.29/0.38	c 
0.29/0.38	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.29/0.38	c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.38	c heuristics/shiftandpropagate/freq = -1
0.29/0.38	c 
0.29/0.38	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.29/0.38	c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.38	c heuristics/undercover/freq = -1
0.29/0.38	c 
0.29/0.38	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.38	c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.38	c separating/rapidlearning/freq = 0
0.29/0.38	c 
0.29/0.38	c # frequency for calling primal heuristic <indrounding> (-1: never, 0: only at depth freqofs)
0.29/0.38	c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.38	c heuristics/indrounding/freq = 1
0.29/0.38	c 
0.29/0.38	c -----------------------------------------------------------------------------------------------
0.29/0.38	c start solving
0.39/0.42	c 
0.39/0.46	o 29736
0.39/0.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.39/0.46	c 6 0.5s|     1 |     0 |     0 |     - |  75M|   0 |   - |  29k|  25k|   0 |   0 |   0 |   0 |   0 |      --      | 2.973600e+04 |    Inf 
7.78/7.87	o 5178
7.78/7.87	c 6 7.9s|     1 |     0 |     0 |     - |  75M|   0 |   - |  29k|  25k|   0 |   0 |   0 |   0 |   0 |      --      | 5.178000e+03 |    Inf 
8.49/8.52	c   8.5s|     1 |     0 |  4337 |     - |  98M|   0 |1659 |  29k|  25k|  29k|  25k|   0 |   0 |   0 | 0.000000e+00 | 5.178000e+03 |    Inf 
8.99/9.09	o 4426
8.99/9.09	c 6 9.1s|     1 |     0 |  4337 |     - | 100M|   0 |1659 |  29k|  25k|  29k|  25k|   0 |   0 |   0 | 0.000000e+00 | 4.426000e+03 |    Inf 
10.59/10.62	c  10.6s|     1 |     0 |  4913 |     - | 100M|   0 |1726 |  29k|  25k|  29k|  25k|  43 |   0 |   0 | 0.000000e+00 | 4.426000e+03 |    Inf 
10.69/10.76	o 4347
10.69/10.76	c 610.8s|     1 |     0 |  4913 |     - | 101M|   0 |1726 |  29k|  25k|  29k|  25k|  43 |   0 |   0 | 0.000000e+00 | 4.347000e+03 |    Inf 
12.69/12.75	c  12.8s|     1 |     0 |  6857 |     - | 101M|   0 |1827 |  29k|  25k|  29k|  25k| 186 |   0 |   0 | 0.000000e+00 | 4.347000e+03 |    Inf 
14.98/15.05	c  15.0s|     1 |     0 |  9431 |     - | 101M|   0 |1899 |  29k|  25k|  29k|  25k| 331 |   0 |   0 | 0.000000e+00 | 4.347000e+03 |    Inf 
18.29/18.35	c  18.3s|     1 |     0 | 13198 |     - | 102M|   0 |2148 |  29k|  25k|  29k|  25k| 483 |   0 |   0 | 0.000000e+00 | 4.347000e+03 |    Inf 
24.09/24.20	c  24.2s|     1 |     0 | 17279 |     - | 102M|   0 |2129 |  29k|  25k|  29k|  25k| 648 |   0 |   0 | 0.000000e+00 | 4.347000e+03 |    Inf 
27.58/27.60	c  27.6s|     1 |     0 | 21079 |     - | 102M|   0 |2166 |  29k|  25k|  29k|  25k| 812 |   0 |   0 | 0.000000e+00 | 4.347000e+03 |    Inf 
56.18/56.29	c  56.3s|     1 |     2 | 44697 |     - | 109M|   0 |2166 |  29k|  25k|  29k|  25k| 812 |  30 |   0 | 0.000000e+00 | 4.347000e+03 |    Inf 
92.98/93.04	o 2005
92.98/93.04	c v93.0s|    42 |    43 | 85844 |1579.6 | 142M|  33 |   - |  29k|  25k|  29k|  25k| 812 |  62 |   0 | 0.000000e+00 | 2.005000e+03 |    Inf 
94.07/94.13	o 1137
94.07/94.13	c 694.1s|    42 |    43 | 86081 |1585.4 | 140M|  33 | 760 |  29k|  25k|  29k|  25k| 812 |  62 |   0 | 0.000000e+00 | 1.137000e+03 |    Inf 
94.17/94.23	o 1117
94.17/94.23	c 694.2s|    43 |    42 | 86081 |1547.7 | 140M|  33 |   - |  29k|  25k|   0 |   0 | 812 |  62 |   0 | 0.000000e+00 | 1.117000e+03 |    Inf 
254.03/254.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
254.03/254.18	c   254s|   100 |   101 |258380 |2397.0 | 165M|  36 | 793 |  29k|  25k|  29k|  25k| 812 |  83 |   0 | 0.000000e+00 | 1.117000e+03 |    Inf 
290.03/290.14	c   290s|   200 |   201 |294169 |1372.3 | 167M|  87 | 392 |  29k|  25k|  29k|  25k| 812 |  83 |   0 | 0.000000e+00 | 1.117000e+03 |    Inf 
299.13/299.22	c   299s|   300 |   280 |300243 | 933.7 | 170M| 133 |2036 |  29k|  25k|  29k|  25k| 812 | 129 |   0 | 0.000000e+00 | 1.117000e+03 |    Inf 
338.02/338.16	c   338s|   400 |   301 |349597 | 823.4 | 171M| 133 |   - |  29k|  25k|   0 |   0 | 812 | 235 |   0 | 0.000000e+00 | 1.117000e+03 |    Inf 
358.82/358.97	c   359s|   500 |   322 |364989 | 689.2 | 172M| 133 |   - |  29k|  25k|   0 |   0 | 812 | 334 |   0 | 0.000000e+00 | 1.117000e+03 |    Inf 
383.01/383.18	c   383s|   600 |   334 |383427 | 604.9 | 170M| 133 | 313 |  29k|  25k|  29k|  25k| 812 | 436 |   0 | 0.000000e+00 | 1.117000e+03 |    Inf 
418.41/418.50	c   419s|   700 |   397 |427877 | 582.0 | 171M| 133 | 344 |  29k|  25k|  29k|  25k| 812 | 454 |   0 | 0.000000e+00 | 1.117000e+03 |    Inf 
430.60/430.73	c   431s|   800 |   497 |446849 | 532.9 | 173M| 133 |1540 |  29k|  25k|  29k|  25k| 812 | 459 |   0 | 0.000000e+00 | 1.117000e+03 |    Inf 
477.30/477.45	c   477s|   900 |   597 |513810 | 548.1 | 174M| 133 | 331 |  29k|  25k|  29k|  25k| 812 | 465 |   0 | 0.000000e+00 | 1.117000e+03 |    Inf 
484.70/484.81	c   485s|  1000 |   697 |519687 | 499.1 | 176M| 133 | 336 |  29k|  25k|  29k|  25k| 812 | 469 |   0 | 0.000000e+00 | 1.117000e+03 |    Inf 
493.19/493.37	c   493s|  1100 |   779 |526157 | 459.6 | 178M| 143 |  59 |  29k|  25k|  29k|  25k| 812 | 488 |   0 | 0.000000e+00 | 1.117000e+03 |    Inf 
494.69/494.87	o 1115
494.69/494.87	c s 495s|  1128 |   756 |526267 | 448.3 | 179M| 170 |   - |  29k|  25k|  29k|  25k| 812 | 495 |   0 | 0.000000e+00 | 1.115000e+03 |    Inf 
495.09/495.26	o 309
495.09/495.26	c 6 495s|  1128 |   278 |526267 | 448.3 | 172M| 170 |   - |  29k|  25k|  29k|  25k| 812 | 495 |   0 | 0.000000e+00 | 3.090000e+02 |    Inf 
495.29/495.40	o 301
495.29/495.40	c 6 495s|  1129 |   277 |526267 | 447.9 | 170M| 170 |   - |  29k|  25k|   0 |   0 | 812 | 495 |   0 | 0.000000e+00 | 3.010000e+02 |    Inf 
501.50/501.64	c   502s|  1200 |   336 |532454 | 426.5 | 172M| 170 |2120 |  29k|  25k|  29k|  25k| 812 | 509 |   0 | 0.000000e+00 | 3.010000e+02 |    Inf 
547.89/548.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
547.89/548.02	c   548s|  1300 |   404 |603861 | 448.6 | 173M| 170 |1517 |  29k|  25k|  29k|  25k| 812 | 547 |   0 | 0.000000e+00 | 3.010000e+02 |    Inf 
594.58/594.77	c   595s|  1400 |   482 |676781 | 468.7 | 174M| 170 |1827 |  29k|  25k|  29k|  25k| 812 | 613 |   0 | 0.000000e+00 | 3.010000e+02 |    Inf 
622.88/623.05	c   623s|  1500 |   543 |708188 | 458.4 | 176M| 170 | 201 |  29k|  25k|  29k|  25k| 812 | 715 |   0 | 0.000000e+00 | 3.010000e+02 |    Inf 
623.87/624.02	o 300
623.87/624.02	c s 624s|  1519 |   539 |708330 | 452.7 | 176M| 170 |   - |  29k|  25k|  29k|  25k| 812 | 725 |   0 | 0.000000e+00 | 3.000000e+02 |    Inf 
624.07/624.20	o 62
624.07/624.20	c 6 624s|  1519 |   376 |708330 | 452.7 | 174M| 170 |   - |  29k|  25k|  29k|  25k| 812 | 725 |   0 | 0.000000e+00 | 6.200000e+01 |    Inf 
624.17/624.35	o 52
624.17/624.35	c 6 624s|  1520 |   350 |708330 | 452.4 | 172M| 170 |   - |  29k|  25k|   0 |   0 | 812 | 725 |   0 | 0.000000e+00 | 5.200000e+01 |    Inf 
633.17/633.38	c   633s|  1600 |   408 |723179 | 439.1 | 171M| 170 |   - |  29k|  19k|   0 |   0 | 812 | 762 |   0 | 0.000000e+00 | 5.200000e+01 |    Inf 
643.37/643.52	c   644s|  1700 |   460 |731779 | 418.3 | 172M| 170 |  18 |  29k|  19k|  29k|  25k| 812 | 856 |   0 | 0.000000e+00 | 5.200000e+01 |    Inf 
643.87/644.07	o 51
643.87/644.07	c * 644s|  1714 |   416 |731805 | 414.9 | 171M| 170 |   - |  29k|  19k|  29k|  25k| 812 | 856 |   0 | 0.000000e+00 | 5.100000e+01 |    Inf 
646.68/646.81	o 50
646.68/646.81	c * 647s|  1770 |   416 |732305 | 402.0 | 171M| 170 |   - |  29k|  19k|  29k|  25k| 812 | 856 |   0 | 0.000000e+00 | 5.000000e+01 |    Inf 
646.77/646.92	o 45
646.77/646.92	c 6 647s|  1770 |   398 |732305 | 402.0 | 172M| 170 |   - |  29k|  19k|  29k|  25k| 812 | 856 |   0 | 0.000000e+00 | 4.500000e+01 |    Inf 
657.87/658.00	c   658s|  1800 |   425 |752925 | 406.8 | 171M| 170 |1714 |  29k|  18k|  29k|  25k| 812 | 878 |   0 | 0.000000e+00 | 4.500000e+01 |    Inf 
666.17/666.32	o 44
666.17/666.32	c * 666s|  1886 |   462 |758802 | 391.4 | 173M| 170 |   - |  29k|  18k|  29k|  25k| 812 | 898 |   0 | 0.000000e+00 | 4.400000e+01 |    Inf 
666.27/666.40	o 36
666.27/666.40	c 6 666s|  1886 |   425 |758802 | 391.4 | 173M| 170 |   - |  29k|  18k|  29k|  25k| 812 | 898 |   0 | 0.000000e+00 | 3.600000e+01 |    Inf 
667.17/667.33	c   667s|  1900 |   435 |759176 | 388.7 | 172M| 170 | 114 |  29k|  17k|  29k|  25k| 812 | 902 |   0 | 0.000000e+00 | 3.600000e+01 |    Inf 
668.97/669.18	o 35
668.97/669.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
668.97/669.18	c * 669s|  1949 |   441 |759391 | 379.0 | 172M| 170 |   - |  29k|  17k|  29k|  25k| 812 | 906 |   0 | 0.000000e+00 | 3.500000e+01 |    Inf 
670.66/670.80	o 34
670.66/670.80	c s 671s|  1986 |   439 |759535 | 372.0 | 173M| 170 |   - |  29k|  17k|  29k|  25k| 812 | 906 |   0 | 0.000000e+00 | 3.400000e+01 |    Inf 
671.36/671.53	c   672s|  2000 |   453 |759639 | 369.5 | 172M| 170 |  51 |  29k|  17k|  29k|  25k| 812 | 906 |   0 | 0.000000e+00 | 3.400000e+01 |    Inf 
672.37/672.57	o 32
672.37/672.57	c * 673s|  2027 |   412 |759727 | 364.6 | 172M| 170 |   - |  29k|  17k|  29k|  25k| 812 | 906 |   0 | 0.000000e+00 | 3.200000e+01 |    Inf 
675.18/675.35	o 30
675.18/675.35	c * 675s|  2087 |   461 |760443 | 354.4 | 172M| 170 |   - |  29k|  17k|  29k|  25k| 812 | 908 |   0 | 0.000000e+00 | 3.000000e+01 |    Inf 
675.28/675.42	o 28
675.28/675.42	c 6 675s|  2087 |   407 |760443 | 354.4 | 171M| 170 |   - |  29k|  17k|  29k|  25k| 812 | 908 |   0 | 0.000000e+00 | 2.800000e+01 |    Inf 
675.97/676.13	c   676s|  2100 |   420 |760645 | 352.3 | 171M| 170 |  94 |  29k|  16k|  29k|  25k| 812 | 908 |   0 | 0.000000e+00 | 2.800000e+01 |    Inf 
677.66/677.88	o 27
677.66/677.88	c * 678s|  2144 |   423 |760901 | 345.2 | 171M| 170 |   - |  29k|  16k|  29k|  25k| 812 | 910 |   0 | 0.000000e+00 | 2.700000e+01 |    Inf 
679.37/679.50	o 26
679.37/679.50	c * 679s|  2182 |   389 |761058 | 339.3 | 171M| 170 |   - |  29k|  16k|  29k|  25k| 812 | 910 |   0 | 0.000000e+00 | 2.600000e+01 |    Inf 
680.26/680.47	c   680s|  2200 |   397 |761691 | 336.8 | 170M| 170 |   - |  29k|  16k|   0 |   0 | 812 | 921 |   0 | 0.000000e+00 | 2.600000e+01 |    Inf 
688.47/688.61	o 24
688.47/688.61	c s 689s|  2291 |   465 |771122 | 327.5 | 172M| 170 |   - |  29k|  16k|  29k|  25k| 812 | 939 |   0 | 0.000000e+00 | 2.400000e+01 |    Inf 
688.87/689.02	o 23
688.87/689.02	c s 689s|  2298 |   400 |771148 | 326.5 | 171M| 170 |   - |  29k|  15k|  29k|  25k| 812 | 939 |   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
689.17/689.31	c   689s|  2300 |   402 |771359 | 326.4 | 171M| 170 | 630 |  29k|  15k|  29k|  25k| 812 | 939 |   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
691.46/691.68	o 22
691.46/691.68	c s 692s|  2355 |   440 |772580 | 319.2 | 172M| 170 |   - |  29k|  15k|  29k|  25k| 812 | 941 |   0 | 0.000000e+00 | 2.200000e+01 |    Inf 
692.16/692.30	o 21
692.16/692.30	c s 692s|  2368 |   434 |772657 | 317.5 | 172M| 170 |   - |  29k|  15k|  29k|  25k| 812 | 941 |   0 | 0.000000e+00 | 2.100000e+01 |    Inf 
693.47/693.65	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
693.47/693.65	c   694s|  2400 |   438 |773277 | 313.5 | 172M| 170 | 127 |  29k|  15k|  29k|  25k| 812 | 956 |   0 | 0.000000e+00 | 2.100000e+01 |    Inf 
694.46/694.61	o 20
694.46/694.61	c s 695s|  2430 |   433 |773417 | 309.7 | 171M| 170 |   - |  29k|  15k|  29k|  25k| 812 | 959 |   0 | 0.000000e+00 | 2.000000e+01 |    Inf 
701.16/701.34	o 19
701.16/701.34	c s 701s|  2476 |   359 |783958 | 308.2 | 170M| 170 |   - |  29k|  15k|  29k|  25k| 812 | 966 |   0 | 0.000000e+00 | 1.900000e+01 |    Inf 
708.36/708.52	c   709s|  2500 |   383 |798732 | 311.2 | 169M| 170 |1941 |  29k|  15k|  29k|  25k| 812 | 986 |   0 | 0.000000e+00 | 1.900000e+01 |    Inf 
731.16/731.37	o 18
731.16/731.37	c s 731s|  2597 |   440 |831336 | 312.1 | 171M| 170 |   - |  29k|  15k|  29k|  25k| 812 |1109 |   0 | 0.000000e+00 | 1.800000e+01 |    Inf 
731.56/731.71	c   732s|  2600 |   443 |831632 | 311.9 | 171M| 170 | 133 |  29k|  15k|  29k|  25k| 812 |1109 |   0 | 0.000000e+00 | 1.800000e+01 |    Inf 
731.66/731.82	o 17
731.66/731.82	c s 732s|  2603 |   436 |831683 | 311.5 | 171M| 170 |   - |  29k|  15k|  29k|  25k| 812 |1109 |   0 | 0.000000e+00 | 1.700000e+01 |    Inf 
733.26/733.46	o 16
733.26/733.46	c s 733s|  2641 |   446 |832437 | 307.3 | 171M| 170 |   - |  29k|  15k|  29k|  25k| 812 |1159 |   0 | 0.000000e+00 | 1.600000e+01 |    Inf 
733.75/733.98	o 15
733.75/733.98	c s 734s|  2654 |   436 |832480 | 305.8 | 171M| 170 |   - |  29k|  15k|  29k|  25k| 812 |1159 |   0 | 0.000000e+00 | 1.500000e+01 |    Inf 
738.46/738.64	c   739s|  2700 |   437 |840469 | 303.6 | 170M| 170 |   - |  29k|  15k|   0 |   0 | 812 |1195 |   0 | 0.000000e+00 | 1.500000e+01 |    Inf 
747.05/747.22	o 14
747.05/747.22	c s 747s|  2792 |   466 |850708 | 297.3 | 171M| 170 |   - |  29k|  15k|  29k|  25k| 812 |1243 |   0 | 0.000000e+00 | 1.400000e+01 |    Inf 
747.55/747.73	c   748s|  2800 |   472 |851005 | 296.5 | 171M| 170 | 200 |  29k|  14k|  29k|  25k| 812 |1251 |   0 | 0.000000e+00 | 1.400000e+01 |    Inf 
748.55/748.76	o 13
748.55/748.76	c s 749s|  2832 |   440 |851243 | 293.2 | 171M| 170 |   - |  29k|  14k|  29k|  25k| 812 |1251 |   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
751.35/751.53	c   752s|  2900 |   499 |852474 | 286.8 | 171M| 170 |  33 |  29k|  14k|  29k|  25k| 812 |1271 |   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
751.45/751.69	o 12
751.45/751.69	c s 752s|  2905 |   453 |852489 | 286.3 | 171M| 170 |   - |  29k|  14k|  29k|  25k| 812 |1271 |   0 | 0.000000e+00 | 1.200000e+01 |    Inf 
751.55/751.74	o 8
751.55/751.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
751.55/751.74	c 6 752s|  2905 |   431 |852489 | 286.3 | 171M| 170 |   - |  29k|  14k|  29k|  25k| 812 |1271 |   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
751.55/751.79	c Forcing restart, since 11313 binary variables among 12569 have been fixed.
751.65/751.86	c (run 1, node 2906) performing user restart
751.65/751.86	c 
751.75/751.90	c (restart) converted 12804 cuts from the global cut pool into linear constraints
751.75/751.90	c 
751.95/752.13	c presolving:
752.65/752.87	c (round 1) 23760 del vars, 12889 del conss, 0 add conss, 629 chg bounds, 10 chg sides, 86 chg coeffs, 0 upgd conss, 189119 impls, 5 clqs
752.76/752.90	c (round 2) 23830 del vars, 13527 del conss, 0 add conss, 646 chg bounds, 10 chg sides, 88 chg coeffs, 3 upgd conss, 202383 impls, 5 clqs
752.76/752.90	c (round 3) 23842 del vars, 13587 del conss, 0 add conss, 646 chg bounds, 10 chg sides, 88 chg coeffs, 3 upgd conss, 202387 impls, 5 clqs
752.76/752.99	c (round 4) 23842 del vars, 13602 del conss, 0 add conss, 646 chg bounds, 10 chg sides, 88 chg coeffs, 11890 upgd conss, 202387 impls, 5 clqs
752.86/753.03	c (round 5) 23842 del vars, 13603 del conss, 1 add conss, 646 chg bounds, 13 chg sides, 97 chg coeffs, 11905 upgd conss, 202387 impls, 5 clqs
752.86/753.05	c (round 6) 23843 del vars, 13605 del conss, 1 add conss, 646 chg bounds, 13 chg sides, 97 chg coeffs, 11905 upgd conss, 202387 impls, 5 clqs
752.86/753.08	c (round 7) 23845 del vars, 13611 del conss, 1 add conss, 646 chg bounds, 13 chg sides, 97 chg coeffs, 11905 upgd conss, 202387 impls, 5 clqs
752.96/753.13	c (round 8) 23845 del vars, 22295 del conss, 2884 add conss, 646 chg bounds, 13 chg sides, 97 chg coeffs, 11905 upgd conss, 202387 impls, 5 clqs
752.96/753.16	c (round 9) 23882 del vars, 22538 del conss, 3127 add conss, 646 chg bounds, 13 chg sides, 97 chg coeffs, 11905 upgd conss, 202682 impls, 39 clqs
752.96/753.18	c (round 10) 23890 del vars, 22539 del conss, 3127 add conss, 646 chg bounds, 13 chg sides, 97 chg coeffs, 11907 upgd conss, 202712 impls, 282 clqs
752.96/753.19	c (round 11) 23894 del vars, 22578 del conss, 3165 add conss, 646 chg bounds, 13 chg sides, 97 chg coeffs, 11907 upgd conss, 202766 impls, 283 clqs
753.05/753.25	c (round 12) 23895 del vars, 22595 del conss, 3169 add conss, 646 chg bounds, 13 chg sides, 97 chg coeffs, 11907 upgd conss, 202770 impls, 284 clqs
753.15/753.31	c presolving (13 rounds):
753.15/753.31	c  23895 deleted vars, 22595 deleted constraints, 3169 added constraints, 646 tightened bounds, 0 added holes, 13 changed sides, 97 changed coefficients
753.15/753.31	c  202770 implications, 284 cliques
753.15/753.31	c presolved problem has 5865 variables (5031 bin, 0 int, 834 impl, 0 cont) and 8184 constraints
753.15/753.31	c     834 constraints of type <varbound>
753.15/753.31	c     884 constraints of type <knapsack>
753.15/753.31	c    1344 constraints of type <setppc>
753.15/753.31	c    2554 constraints of type <and>
753.15/753.31	c     856 constraints of type <linear>
753.15/753.31	c     834 constraints of type <indicator>
753.15/753.31	c     643 constraints of type <logicor>
753.15/753.31	c     235 constraints of type <bounddisjunction>
753.15/753.31	c transformed objective value is always integral (scale: 1)
753.15/753.31	c Presolving Time: 1.65
753.15/753.32	c 
753.26/753.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
753.26/753.50	c   753s|     1 |     0 |853726 |     - | 160M|   0 | 770 |5865 |8184 |5865 |  10k|   0 |1271 |   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
763.65/763.87	c   764s|     1 |     0 |855503 |     - | 162M|   0 |1064 |5865 |9830 |5865 |  10k| 685 |1271 |   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
766.35/766.50	c   767s|     1 |     2 |858268 |     - | 162M|   0 |1064 |5865 |9848 |5865 |  10k| 685 |1289 |   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
771.35/771.58	o 6
771.35/771.58	c v 772s|    24 |    25 |872032 | 289.5 | 163M|  18 |   - |5865 |9863 |5865 |  10k|2224 |1304 |   0 | 0.000000e+00 | 6.000000e+00 |    Inf 
782.15/782.33	o 4
782.15/782.33	c v 782s|    79 |    58 |896116 | 292.3 | 163M|  29 |   - |5865 |8881 |5865 |  10k|3353 |1459 |   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
783.85/784.05	c   784s|   100 |    77 |900450 | 291.7 | 163M|  31 | 659 |5865 |8311 |5865 |  10k|3572 |1494 |   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
789.85/790.05	o 2
789.85/790.05	c v 790s|   154 |    26 |913540 | 290.8 | 162M|  33 |   - |5865 |8399 |5865 |  10k|4310 |1582 |   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
793.85/794.03	o 1
793.85/794.03	c Forcing restart, since the absolute gap is 1.000000.
793.85/794.03	c l 794s|   173 |    38 |925917 | 293.0 | 161M|  33 |   - |5865 |7985 |5865 |  10k|4996 |1619 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
793.85/794.04	c (run 2, node 173) performing user restart
793.85/794.04	c 
793.85/794.05	c (restart) converted 1016 cuts from the global cut pool into linear constraints
793.85/794.05	c 
793.85/794.08	c presolving:
793.95/794.11	c (round 1) 1491 del vars, 1039 del conss, 0 add conss, 20 chg bounds, 0 chg sides, 17 chg coeffs, 0 upgd conss, 219222 impls, 285 clqs
793.95/794.12	c (round 2) 1518 del vars, 1132 del conss, 0 add conss, 20 chg bounds, 0 chg sides, 19 chg coeffs, 6 upgd conss, 220272 impls, 281 clqs
793.95/794.17	c (round 3) 1523 del vars, 1214 del conss, 0 add conss, 20 chg bounds, 0 chg sides, 24 chg coeffs, 1239 upgd conss, 220272 impls, 281 clqs
793.95/794.20	c (round 4) 1551 del vars, 1408 del conss, 56 add conss, 20 chg bounds, 6 chg sides, 50 chg coeffs, 1239 upgd conss, 234975 impls, 279 clqs
794.05/794.21	c (round 5) 1577 del vars, 1435 del conss, 56 add conss, 20 chg bounds, 6 chg sides, 60 chg coeffs, 1244 upgd conss, 234975 impls, 331 clqs
794.05/794.25	c (round 6) 1586 del vars, 1474 del conss, 80 add conss, 20 chg bounds, 7 chg sides, 62 chg coeffs, 1249 upgd conss, 236923 impls, 331 clqs
794.05/794.27	c (round 7) 1589 del vars, 1489 del conss, 80 add conss, 20 chg bounds, 7 chg sides, 64 chg coeffs, 1249 upgd conss, 236939 impls, 335 clqs
794.05/794.28	c (round 8) 1590 del vars, 1493 del conss, 80 add conss, 20 chg bounds, 7 chg sides, 66 chg coeffs, 1249 upgd conss, 236939 impls, 335 clqs
794.15/794.34	c (round 9) 1599 del vars, 1510 del conss, 88 add conss, 20 chg bounds, 7 chg sides, 67 chg coeffs, 1249 upgd conss, 237853 impls, 335 clqs
794.24/794.41	c (round 10) 1604 del vars, 1523 del conss, 90 add conss, 20 chg bounds, 7 chg sides, 68 chg coeffs, 1249 upgd conss, 238393 impls, 335 clqs
794.24/794.47	c (round 11) 1605 del vars, 1529 del conss, 90 add conss, 20 chg bounds, 7 chg sides, 68 chg coeffs, 1249 upgd conss, 238459 impls, 336 clqs
794.34/794.53	c (round 12) 1605 del vars, 1535 del conss, 90 add conss, 20 chg bounds, 7 chg sides, 68 chg coeffs, 1249 upgd conss, 238459 impls, 336 clqs
794.34/794.59	c (round 13) 1605 del vars, 1535 del conss, 90 add conss, 147 chg bounds, 7 chg sides, 68 chg coeffs, 1249 upgd conss, 238459 impls, 336 clqs
794.45/794.66	c (round 14) 1868 del vars, 1824 del conss, 90 add conss, 282 chg bounds, 8 chg sides, 70 chg coeffs, 1249 upgd conss, 240914 impls, 336 clqs
794.45/794.66	c (round 15) 1880 del vars, 1848 del conss, 90 add conss, 282 chg bounds, 8 chg sides, 71 chg coeffs, 1251 upgd conss, 241086 impls, 336 clqs
794.45/794.69	c (round 16) 1885 del vars, 1851 del conss, 90 add conss, 282 chg bounds, 8 chg sides, 74 chg coeffs, 1384 upgd conss, 241086 impls, 335 clqs
794.55/794.70	c (round 17) 1887 del vars, 1853 del conss, 90 add conss, 282 chg bounds, 8 chg sides, 75 chg coeffs, 1384 upgd conss, 241508 impls, 336 clqs
794.55/794.73	c (round 18) 1890 del vars, 1863 del conss, 96 add conss, 282 chg bounds, 8 chg sides, 75 chg coeffs, 1388 upgd conss, 242637 impls, 336 clqs
794.55/794.75	c (round 19) 1892 del vars, 1869 del conss, 99 add conss, 282 chg bounds, 8 chg sides, 75 chg coeffs, 1388 upgd conss, 242813 impls, 342 clqs
794.55/794.77	c (round 20) 1894 del vars, 1874 del conss, 100 add conss, 282 chg bounds, 8 chg sides, 75 chg coeffs, 1388 upgd conss, 243835 impls, 342 clqs
794.65/794.82	c (round 21) 1896 del vars, 1878 del conss, 102 add conss, 282 chg bounds, 8 chg sides, 75 chg coeffs, 1388 upgd conss, 243875 impls, 342 clqs
794.65/794.87	c (round 22) 1896 del vars, 1879 del conss, 102 add conss, 282 chg bounds, 8 chg sides, 75 chg coeffs, 1388 upgd conss, 243875 impls, 342 clqs
794.74/794.93	c (round 23) 1896 del vars, 3863 del conss, 760 add conss, 282 chg bounds, 8 chg sides, 75 chg coeffs, 1388 upgd conss, 243875 impls, 342 clqs
794.74/794.94	c (round 24) 1907 del vars, 3931 del conss, 828 add conss, 282 chg bounds, 8 chg sides, 75 chg coeffs, 1388 upgd conss, 244481 impls, 351 clqs
794.85/795.00	c (round 25) 1920 del vars, 3955 del conss, 839 add conss, 282 chg bounds, 8 chg sides, 75 chg coeffs, 1388 upgd conss, 245525 impls, 419 clqs
794.85/795.05	c (round 26) 1921 del vars, 3965 del conss, 844 add conss, 282 chg bounds, 8 chg sides, 75 chg coeffs, 1388 upgd conss, 245587 impls, 420 clqs
794.94/795.10	c (round 27) 1922 del vars, 3966 del conss, 844 add conss, 282 chg bounds, 8 chg sides, 75 chg coeffs, 1388 upgd conss, 245647 impls, 424 clqs
794.94/795.15	c presolving (28 rounds):
794.94/795.15	c  1922 deleted vars, 3966 deleted constraints, 844 added constraints, 282 tightened bounds, 0 added holes, 8 changed sides, 75 changed coefficients
794.94/795.15	c  245647 implications, 424 cliques
794.94/795.15	c presolved problem has 3943 variables (3943 bin, 0 int, 0 impl, 0 cont) and 5845 constraints
794.94/795.15	c     969 constraints of type <knapsack>
794.94/795.15	c     674 constraints of type <setppc>
794.94/795.15	c    2894 constraints of type <and>
794.94/795.15	c     622 constraints of type <logicor>
794.94/795.15	c     686 constraints of type <bounddisjunction>
794.94/795.15	c transformed objective value is always integral (scale: 1)
794.94/795.15	c Presolving Time: 2.73
794.94/795.16	c 
795.05/795.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
795.05/795.25	c   795s|     1 |     0 |926800 |     - | 158M|   0 | 574 |3943 |5845 |3943 |7486 |   0 |1619 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
795.65/795.84	c   796s|     1 |     0 |928642 |     - | 158M|   0 | 952 |3943 |5845 |3943 |7980 | 494 |1619 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
796.65/796.89	c   797s|     1 |     2 |930736 |     - | 158M|   0 | 952 |3943 |5849 |3943 |7980 | 494 |1623 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
802.75/803.00	c   803s|   100 |    13 |953743 | 291.7 | 159M|  23 | 584 |3943 |5947 |3943 |8545 |2974 |1721 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
812.85/813.04	c   813s|   200 |    66 |988172 | 293.3 | 160M|  55 | 372 |3943 |6128 |3943 |8929 |5559 |1902 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
816.95/817.18	c   817s|   300 |    66 |  1000k| 288.1 | 160M|  55 |   - |3943 |6339 |   0 |   0 |6330 |2123 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
821.04/821.28	c   821s|   400 |    98 |  1008k| 282.4 | 161M|  56 | 251 |3943 |6396 |3943 |8982 |7014 |2198 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
823.44/823.63	c   824s|   500 |    81 |  1013k| 275.8 | 161M|  67 | 471 |3943 |6528 |3943 |8571 |7173 |2343 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
825.74/826.00	c   826s|   600 |    79 |  1018k| 269.5 | 161M|  67 | 564 |3943 |6624 |3943 |8951 |7375 |2461 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
828.74/828.97	c   829s|   700 |    93 |  1025k| 264.4 | 161M|  67 | 553 |3943 |6782 |3943 |9017 |7882 |2639 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
832.35/832.58	c   833s|   800 |   108 |  1035k| 260.1 | 161M|  67 |   - |3943 |6877 |   0 |   0 |8584 |2782 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
836.14/836.39	c   836s|   900 |    77 |  1045k| 256.1 | 161M|  67 | 665 |3943 |6886 |3943 |8929 |9300 |2928 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
842.44/842.67	c   843s|  1000 |    88 |  1063k| 254.3 | 161M|  67 | 737 |3943 |6914 |3943 |8979 |  10k|3033 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
846.24/846.43	c   846s|  1100 |    82 |  1073k| 250.4 | 161M|  67 |   - |3943 |6972 |   0 |   0 |  11k|3166 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
850.14/850.38	c   850s|  1200 |    82 |  1084k| 247.3 | 162M|  67 | 619 |3943 |6954 |3943 |8905 |  12k|3257 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
857.13/857.35	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
857.13/857.35	c   857s|  1300 |   112 |  1105k| 246.4 | 162M|  67 |   - |3943 |6980 |   0 |   0 |  14k|3377 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
860.54/860.70	c   861s|  1400 |   103 |  1116k| 243.3 | 162M|  67 | 925 |3943 |7026 |3943 |8822 |  15k|3478 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
865.04/865.29	c   865s|  1500 |    81 |  1130k| 241.1 | 162M|  67 | 780 |3943 |7099 |3943 |8991 |  16k|3605 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
870.44/870.62	c   871s|  1600 |    84 |  1149k| 240.0 | 163M|  67 | 778 |3943 |7095 |3943 |8990 |  18k|3706 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
883.74/883.97	c   884s|  1700 |    73 |  1195k| 244.7 | 162M|  67 | 944 |3943 |7006 |3943 |8991 |  23k|3852 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
890.43/890.65	c   891s|  1800 |   107 |  1215k| 243.7 | 162M|  67 |   - |3943 |7053 |   0 |   0 |  25k|3924 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
893.33/893.53	c   894s|  1900 |   105 |  1223k| 240.5 | 162M|  67 | 873 |3943 |7223 |3943 |9347 |  25k|4116 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
897.73/897.93	c   898s|  2000 |   135 |  1234k| 237.9 | 162M|  67 | 495 |3943 |7288 |3943 |9427 |  25k|4220 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
902.33/902.55	c   903s|  2100 |   139 |  1250k| 236.3 | 163M|  67 | 853 |3943 |7402 |3943 |9395 |  26k|4367 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
903.73/903.97	c   904s|  2200 |   152 |  1252k| 232.3 | 163M|  67 | 541 |3943 |7561 |3943 |9415 |  26k|4530 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
908.03/908.28	c   908s|  2300 |   169 |  1263k| 230.0 | 163M|  67 | 679 |3943 |7651 |3943 |9346 |  27k|4696 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
912.23/912.46	c   912s|  2400 |   186 |  1273k| 227.6 | 163M|  67 | 665 |3943 |7693 |3943 |9359 |  27k|4825 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
917.33/917.51	c   918s|  2500 |   220 |  1285k| 225.7 | 164M|  67 | 830 |3943 |7735 |3943 |9188 |  28k|4919 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
921.73/921.93	c   922s|  2600 |   237 |  1297k| 223.9 | 164M|  67 | 505 |3943 |7714 |3943 |9237 |  28k|4993 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
925.63/925.84	c   926s|  2700 |   219 |  1308k| 221.7 | 164M|  67 |   - |3943 |7786 |   0 |   0 |  29k|5151 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
929.83/930.07	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
929.83/930.07	c   930s|  2800 |   229 |  1320k| 220.1 | 164M|  67 | 517 |3943 |7903 |3943 |9377 |  30k|5369 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
933.93/934.15	c   934s|  2900 |   237 |  1332k| 218.3 | 164M|  67 |   - |3943 |7841 |   0 |   0 |  31k|5523 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
939.13/939.39	c   939s|  3000 |   255 |  1346k| 217.2 | 164M|  67 | 710 |3943 |7843 |3943 |9221 |  32k|5687 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
944.53/944.80	c   945s|  3100 |   281 |  1363k| 216.4 | 165M|  67 | 469 |3943 |7814 |3943 |9386 |  32k|5803 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
948.83/949.04	c   949s|  3200 |   282 |  1375k| 214.8 | 165M|  67 |   - |3943 |7983 |   0 |   0 |  33k|6002 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
953.43/953.62	c   954s|  3300 |   260 |  1388k| 213.5 | 165M|  67 | 547 |3943 |7908 |3943 |9250 |  34k|6109 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
958.12/958.33	c   958s|  3400 |   252 |  1403k| 212.5 | 165M|  67 | 650 |3943 |7916 |3943 |9341 |  35k|6244 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
962.52/962.70	c   963s|  3500 |   220 |  1415k| 211.2 | 165M|  67 | 447 |3943 |7939 |3943 |9367 |  36k|6383 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
969.93/970.14	c   970s|  3600 |   184 |  1440k| 211.7 | 165M|  67 | 709 |3943 |7934 |3943 |9425 |  38k|6516 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
972.92/973.10	c   973s|  3700 |   187 |  1448k| 209.8 | 165M|  67 | 666 |3943 |8055 |3943 |9429 |  38k|6662 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
980.12/980.33	c   980s|  3800 |   211 |  1470k| 210.0 | 165M|  67 | 556 |3943 |8148 |3943 |9273 |  39k|6821 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
985.02/985.26	c   985s|  3900 |   222 |  1484k| 208.9 | 165M|  67 | 513 |3943 |8208 |3943 |8962 |  40k|6959 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
989.22/989.49	c   989s|  4000 |   204 |  1496k| 207.6 | 165M|  67 | 661 |3943 |8276 |3943 |8956 |  41k|7080 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
995.33/995.58	c   996s|  4100 |   206 |  1516k| 207.5 | 166M|  67 | 542 |3943 |8290 |3943 |9020 |  43k|7178 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
999.21/999.47	c   999s|  4200 |   205 |  1527k| 206.2 | 166M|  67 | 447 |3943 |8317 |3943 |8842 |  44k|7269 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1002.72/1002.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1002.72/1002.92	c  1003s|  4300 |   192 |  1537k| 204.7 | 165M|  67 | 606 |3943 |8354 |3943 |8961 |  45k|7354 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1008.91/1009.16	c  1009s|  4400 |   203 |  1556k| 204.6 | 166M|  67 | 840 |3943 |8329 |3943 |9068 |  46k|7438 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1014.21/1014.41	c  1014s|  4500 |   197 |  1574k| 204.2 | 166M|  67 | 965 |3943 |8320 |3943 |8423 |  48k|7514 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1020.81/1021.05	c  1021s|  4600 |   232 |  1593k| 204.0 | 166M|  67 | 360 |3943 |8314 |3943 |9068 |  50k|7644 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1024.51/1024.74	c  1025s|  4700 |   228 |  1603k| 202.7 | 166M|  67 | 586 |3943 |8420 |3943 |9002 |  50k|7787 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1029.32/1029.57	c  1030s|  4800 |   225 |  1614k| 201.5 | 167M|  67 | 683 |3943 |8561 |3943 |9080 |  51k|7959 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1034.41/1034.66	c  1035s|  4900 |   219 |  1631k| 201.1 | 167M|  67 | 465 |3943 |8573 |3943 |9074 |  53k|8107 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1038.71/1038.92	c  1039s|  5000 |   253 |  1643k| 200.1 | 167M|  67 | 818 |3943 |8671 |3943 |9124 |  53k|8219 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1043.41/1043.69	c  1044s|  5100 |   209 |  1658k| 199.5 | 167M|  67 | 548 |3943 |8694 |3943 |9022 |  54k|8366 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1047.51/1047.73	c  1048s|  5200 |   211 |  1670k| 198.6 | 167M|  67 |   - |3943 |8765 |   0 |   0 |  55k|8499 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1053.11/1053.35	c  1053s|  5300 |   216 |  1685k| 197.9 | 167M|  67 | 738 |3943 |8917 |3943 |9122 |  56k|8738 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1057.81/1058.05	c  1058s|  5400 |   217 |  1699k| 197.3 | 167M|  67 |   - |3943 |8977 |   0 |   0 |  57k|8875 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1063.30/1063.51	c  1064s|  5500 |   200 |  1715k| 196.9 | 167M|  67 | 735 |3943 |8985 |3943 |8583 |  58k|8987 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1066.61/1066.82	c  1067s|  5600 |   220 |  1724k| 195.7 | 167M|  67 | 536 |3943 |8991 |3943 |8767 |  59k|9085 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1071.90/1072.19	c  1072s|  5700 |   222 |  1739k| 195.1 | 167M|  67 |   - |3943 |9078 |   0 |   0 |  61k|9282 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1074.91/1075.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1074.91/1075.18	c  1075s|  5800 |   219 |  1747k| 193.8 | 167M|  67 | 607 |3943 |9159 |3943 |8704 |  61k|9393 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1078.81/1079.05	c  1079s|  5900 |   218 |  1759k| 193.0 | 167M|  67 | 654 |3943 |9239 |3943 |8664 |  62k|9562 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1082.91/1083.14	c  1083s|  6000 |   219 |  1772k| 192.3 | 167M|  67 |   - |3943 |9264 |   0 |   0 |  63k|9682 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1087.80/1088.06	c  1088s|  6100 |   210 |  1787k| 191.9 | 167M|  67 | 712 |3943 |9228 |3943 |8846 |  65k|9812 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1091.40/1091.68	c  1092s|  6200 |   206 |  1797k| 190.9 | 167M|  67 |   - |3943 |9315 |   0 |   0 |  66k|9963 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1095.00/1095.24	c  1095s|  6300 |   197 |  1807k| 189.9 | 167M|  67 |   - |3943 |9406 |   0 |   0 |  66k|  10k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1101.20/1101.40	c  1101s|  6400 |   188 |  1827k| 189.9 | 167M|  67 | 805 |3943 |9467 |3943 |9020 |  68k|  10k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1105.10/1105.33	c  1105s|  6500 |   225 |  1839k| 189.3 | 167M|  67 | 253 |3943 |9448 |3943 |8949 |  69k|  10k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1107.69/1107.93	c  1108s|  6600 |   186 |  1845k| 188.0 | 167M|  67 | 431 |3943 |9569 |3943 |8886 |  69k|  10k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1110.90/1111.10	c  1111s|  6700 |   213 |  1854k| 187.0 | 167M|  67 | 507 |3943 |9608 |3943 |8973 |  70k|  10k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1113.10/1113.38	c  1113s|  6800 |   231 |  1861k| 185.7 | 167M|  67 | 205 |3943 |9656 |3943 |8912 |  70k|  10k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1114.20/1114.49	c  1114s|  6900 |   213 |  1863k| 184.1 | 167M|  72 | 383 |3943 |9719 |3943 |8938 |  70k|  10k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1116.79/1117.06	c  1117s|  7000 |   205 |  1871k| 183.0 | 167M|  72 |   - |3943 |9801 |   0 |   0 |  70k|  10k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1119.00/1119.22	c  1119s|  7100 |   205 |  1876k| 181.7 | 167M|  72 | 426 |3943 |9795 |3943 |8976 |  71k|  11k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1121.40/1121.60	c  1122s|  7200 |   199 |  1882k| 180.5 | 167M|  72 | 481 |3943 |9870 |3943 |8911 |  71k|  11k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1124.29/1124.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1124.29/1124.56	c  1125s|  7300 |   202 |  1890k| 179.6 | 167M|  72 | 420 |3943 |9954 |3943 |8969 |  72k|  11k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1126.10/1126.39	c  1126s|  7400 |   202 |  1894k| 178.2 | 167M|  72 | 696 |3943 |9989 |3943 |8930 |  72k|  11k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1128.99/1129.24	c  1129s|  7500 |   219 |  1901k| 177.2 | 167M|  72 | 605 |3943 |  10k|3943 |8942 |  72k|  11k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1131.29/1131.58	c  1132s|  7600 |   233 |  1906k| 176.1 | 168M|  72 | 553 |3943 |  10k|3943 |9014 |  73k|  11k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1134.38/1134.68	c  1135s|  7700 |   225 |  1915k| 175.2 | 168M|  72 | 544 |3943 |  10k|3943 |8938 |  73k|  11k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1137.88/1138.19	c  1138s|  7800 |   236 |  1924k| 174.5 | 168M|  72 | 499 |3943 |  10k|3943 |8934 |  74k|  12k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1140.99/1141.23	c  1141s|  7900 |   227 |  1933k| 173.7 | 168M|  72 | 549 |3943 |  10k|3943 |8967 |  74k|  12k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1144.49/1144.72	c  1145s|  8000 |   242 |  1943k| 173.0 | 168M|  72 | 617 |3943 |  10k|3943 |8910 |  75k|  12k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1147.59/1147.81	c  1148s|  8100 |   233 |  1950k| 172.1 | 168M|  72 | 597 |3943 |  10k|3943 |8885 |  76k|  12k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1151.68/1151.91	c  1152s|  8200 |   235 |  1962k| 171.7 | 168M|  72 | 619 |3943 |  10k|3943 |8929 |  77k|  12k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1156.18/1156.40	c  1156s|  8300 |   240 |  1975k| 171.3 | 169M|  72 | 500 |3943 |  10k|3943 |9009 |  78k|  12k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1159.19/1159.47	c  1159s|  8400 |   256 |  1986k| 170.7 | 169M|  72 | 475 |3943 |  10k|3943 |9020 |  78k|  12k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1162.58/1162.89	c  1163s|  8500 |   273 |  1995k| 170.0 | 169M|  72 | 612 |3943 |  10k|3943 |9092 |  79k|  13k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1164.58/1164.85	c  1165s|  8600 |   326 |  1998k| 168.8 | 169M|  72 | 336 |3943 |  10k|3943 |9093 |  79k|  13k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1167.08/1167.31	c  1167s|  8700 |   251 |  2005k| 168.0 | 169M|  72 | 647 |3943 |  10k|3943 |9095 |  79k|  13k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1171.18/1171.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1171.18/1171.47	c  1171s|  8800 |   178 |  2015k| 167.4 | 167M|  72 |   - |3943 |9977 |   0 |   0 |  80k|  13k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1173.98/1174.27	c  1174s|  8900 |   174 |  2022k| 166.7 | 167M|  72 |   - |3943 |9962 |   0 |   0 |  81k|  13k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1177.28/1177.50	c  1178s|  9000 |   175 |  2031k| 166.0 | 167M|  72 | 474 |3943 |  10k|3943 |8924 |  81k|  13k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1181.88/1182.18	c  1182s|  9100 |   172 |  2044k| 165.7 | 167M|  72 | 539 |3943 |  10k|3943 |8986 |  82k|  13k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1189.08/1189.39	c  1189s|  9200 |   173 |  2067k| 166.2 | 167M|  72 |1321 |3943 |9871 |3943 |8888 |  84k|  13k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1193.68/1193.92	c  1194s|  9300 |   204 |  2078k| 165.7 | 167M|  72 | 306 |3943 |9943 |3943 |9153 |  85k|  13k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1195.87/1196.19	c  1196s|  9400 |   201 |  2084k| 164.9 | 167M|  72 | 452 |3943 |  10k|3943 |9137 |  85k|  14k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1198.78/1199.08	c  1199s|  9500 |   208 |  2092k| 164.2 | 168M|  72 | 681 |3943 |  10k|3943 |9101 |  86k|  14k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1202.08/1202.37	c  1202s|  9600 |   212 |  2100k| 163.6 | 168M|  72 |   - |3943 |  10k|   0 |   0 |  86k|  14k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1206.58/1206.81	c  1207s|  9700 |   237 |  2110k| 163.0 | 168M|  72 | 205 |3943 |  10k|3943 |9110 |  87k|  14k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1209.37/1209.69	c  1210s|  9800 |   220 |  2116k| 162.3 | 168M|  72 |   - |3943 |  10k|   0 |   0 |  87k|  14k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1212.77/1213.03	c  1213s|  9900 |   233 |  2125k| 161.7 | 168M|  72 | 526 |3943 |  10k|3943 |9071 |  88k|  14k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1217.58/1217.83	c  1218s| 10000 |   261 |  2138k| 161.5 | 169M|  72 | 467 |3943 |  10k|3943 |9225 |  89k|  14k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1221.97/1222.29	c  1222s| 10100 |   239 |  2151k| 161.3 | 169M|  72 | 457 |3943 |  10k|3943 |9172 |  89k|  15k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1224.77/1225.04	c  1225s| 10200 |   240 |  2160k| 160.7 | 169M|  72 |   - |3943 |  10k|   0 |   0 |  90k|  15k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1228.77/1229.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1228.77/1229.00	c  1229s| 10300 |   241 |  2170k| 160.3 | 169M|  72 | 676 |3943 |  10k|3943 |9145 |  90k|  15k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1233.57/1233.87	c  1234s| 10400 |   219 |  2182k| 160.0 | 168M|  72 |1329 |3943 |  10k|3943 |8907 |  91k|  15k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1238.07/1238.31	c  1238s| 10500 |   226 |  2195k| 159.7 | 169M|  72 |   - |3943 |  10k|   0 |   0 |  92k|  15k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1243.17/1243.47	c  1243s| 10600 |   227 |  2208k| 159.5 | 169M|  72 | 634 |3943 |  10k|3943 |9313 |  93k|  15k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1246.77/1247.02	c  1247s| 10700 |   229 |  2217k| 159.0 | 169M|  72 |   - |3943 |  10k|   0 |   0 |  93k|  16k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1252.26/1252.56	c  1253s| 10800 |   220 |  2235k| 159.1 | 169M|  72 |   - |3943 |  10k|   0 |   0 |  94k|  16k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1257.17/1257.46	c  1257s| 10900 |   223 |  2250k| 159.1 | 169M|  72 | 542 |3943 |  10k|3943 |9339 |  95k|  16k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1261.48/1261.74	c  1262s| 11000 |   222 |  2262k| 158.8 | 169M|  72 |1275 |3943 |  10k|3943 |9174 |  96k|  16k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1266.37/1266.66	c  1267s| 11100 |   223 |  2279k| 158.9 | 169M|  72 | 780 |3943 |  10k|3943 |9257 |  97k|  16k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1270.27/1270.51	c  1271s| 11200 |   226 |  2289k| 158.4 | 169M|  72 | 892 |3943 |  10k|3943 |9172 |  97k|  16k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1276.27/1276.56	c  1277s| 11300 |   221 |  2307k| 158.6 | 169M|  72 | 565 |3943 |  10k|3943 |8770 |  98k|  16k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1281.37/1281.69	c  1282s| 11400 |   206 |  2322k| 158.6 | 169M|  72 | 466 |3943 |  10k|3943 |8792 | 100k|  17k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1287.87/1288.12	c  1288s| 11500 |   252 |  2340k| 158.7 | 170M|  72 | 697 |3943 |  10k|3943 |8696 | 101k|  17k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1292.67/1292.94	c  1293s| 11600 |   306 |  2352k| 158.4 | 170M|  72 |   - |3943 |  10k|   0 |   0 | 102k|  17k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1296.06/1296.32	c  1296s| 11700 |   312 |  2362k| 158.0 | 170M|  72 | 565 |3943 |  10k|3943 |8812 | 102k|  17k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1299.76/1300.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1299.76/1300.05	c  1300s| 11800 |   330 |  2371k| 157.6 | 171M|  72 | 515 |3943 |  10k|3943 |8817 | 103k|  17k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1302.46/1302.71	c  1303s| 11900 |   334 |  2379k| 157.0 | 171M|  72 | 816 |3943 |  10k|3943 |8768 | 103k|  17k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1306.16/1306.49	c  1306s| 12000 |   331 |  2391k| 156.8 | 171M|  72 |   - |3943 |  10k|   0 |   0 | 104k|  17k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1308.96/1309.26	c  1309s| 12100 |   325 |  2399k| 156.3 | 171M|  72 | 572 |3943 |  10k|3943 |9073 | 104k|  18k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1312.96/1313.21	c  1313s| 12200 |   344 |  2409k| 156.0 | 171M|  72 | 444 |3943 |  10k|3943 |8860 | 105k|  18k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1315.96/1316.29	c  1316s| 12300 |   341 |  2417k| 155.5 | 171M|  72 | 910 |3943 |  11k|3943 |8835 | 105k|  18k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1320.36/1320.69	c  1321s| 12400 |   346 |  2429k| 155.2 | 172M|  72 | 487 |3943 |  11k|3943 |8861 | 105k|  18k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1324.76/1325.08	c  1325s| 12500 |   351 |  2442k| 155.1 | 172M|  72 | 504 |3943 |  11k|3943 |8944 | 106k|  18k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1329.66/1329.92	c  1330s| 12600 |   252 |  2455k| 154.9 | 171M|  72 | 467 |3943 |  10k|3943 |9076 | 107k|  18k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1331.76/1332.04	c  1332s| 12700 |   249 |  2460k| 154.2 | 171M|  72 | 313 |3943 |  10k|3943 |9086 | 107k|  19k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1334.45/1334.79	c  1335s| 12800 |   255 |  2466k| 153.7 | 171M|  72 | 574 |3943 |  11k|3943 |9075 | 108k|  19k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1338.26/1338.52	c  1339s| 12900 |   263 |  2476k| 153.3 | 171M|  72 | 479 |3943 |  11k|3943 |9157 | 109k|  19k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1340.67/1340.91	c  1341s| 13000 |   256 |  2482k| 152.8 | 171M|  72 | 582 |3943 |  11k|3943 |9149 | 109k|  19k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1344.75/1345.05	c  1345s| 13100 |   282 |  2491k| 152.4 | 171M|  72 | 577 |3943 |  11k|3943 |9163 | 109k|  19k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1347.75/1348.01	c  1348s| 13200 |   273 |  2499k| 151.9 | 171M|  72 |   - |3943 |  11k|   0 |   0 | 110k|  19k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1352.85/1353.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1352.85/1353.19	c  1353s| 13300 |   284 |  2515k| 152.0 | 172M|  72 |   - |3943 |  11k|   0 |   0 | 111k|  19k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1355.96/1356.26	c  1356s| 13400 |   291 |  2524k| 151.6 | 172M|  72 |1103 |3943 |  11k|3943 |9105 | 112k|  19k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1359.55/1359.86	c  1360s| 13500 |   280 |  2534k| 151.2 | 172M|  72 |1031 |3943 |  11k|3943 |9140 | 112k|  20k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1364.55/1364.80	c  1365s| 13600 |   281 |  2548k| 151.2 | 172M|  72 | 586 |3943 |  11k|3943 |8970 | 113k|  20k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1366.25/1366.54	c  1367s| 13700 |   293 |  2552k| 150.5 | 172M|  72 |   - |3943 |  11k|   0 |   0 | 113k|  20k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1368.15/1368.49	c  1368s| 13800 |   296 |  2557k| 149.9 | 172M|  72 | 398 |3943 |  11k|3943 |8995 | 113k|  20k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1370.55/1370.86	c  1371s| 13900 |   286 |  2563k| 149.4 | 172M|  72 |   - |3943 |  11k|   0 |   0 | 113k|  20k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1373.95/1374.24	c  1374s| 14000 |   291 |  2573k| 149.1 | 172M|  72 | 332 |3943 |  11k|3943 |9128 | 114k|  20k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1379.35/1379.63	c  1380s| 14100 |   296 |  2589k| 149.2 | 172M|  72 | 556 |3943 |  12k|3943 |9212 | 115k|  20k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1384.04/1384.32	c  1384s| 14200 |   303 |  2602k| 149.1 | 173M|  72 |   - |3943 |  12k|   0 |   0 | 116k|  21k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1387.75/1388.09	c  1388s| 14300 |   300 |  2613k| 148.8 | 173M|  72 | 612 |3943 |  12k|3943 |9059 | 116k|  21k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1392.05/1392.30	c  1392s| 14400 |   295 |  2625k| 148.7 | 173M|  72 | 606 |3943 |  12k|3943 |9079 | 117k|  21k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1397.35/1397.66	c  1398s| 14500 |   294 |  2642k| 148.8 | 173M|  72 | 377 |3943 |  12k|3943 |8921 | 118k|  21k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1399.95/1400.22	c  1400s| 14600 |   295 |  2649k| 148.4 | 173M|  72 | 378 |3943 |  12k|3943 |8987 | 118k|  21k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1403.26/1403.58	c  1404s| 14700 |   256 |  2659k| 148.1 | 172M|  72 | 359 |3943 |  12k|3943 |9030 | 119k|  21k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1411.05/1411.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1411.05/1411.36	c  1411s| 14800 |   260 |  2684k| 148.7 | 171M|  72 | 422 |3943 |  11k|3943 |9223 | 121k|  21k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1414.25/1414.57	c  1415s| 14900 |   259 |  2693k| 148.3 | 171M|  72 | 427 |3943 |  12k|3943 |9254 | 122k|  22k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1419.35/1419.69	c  1420s| 15000 |   265 |  2707k| 148.3 | 172M|  72 | 600 |3943 |  12k|3943 |9250 | 123k|  22k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1423.85/1424.13	c  1424s| 15100 |   265 |  2719k| 148.2 | 172M|  72 | 571 |3943 |  12k|3943 |8994 | 124k|  22k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1429.25/1429.58	c  1430s| 15200 |   275 |  2734k| 148.2 | 172M|  72 | 469 |3943 |  12k|3943 |9308 | 125k|  22k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1433.74/1434.00	c  1434s| 15300 |   275 |  2745k| 147.9 | 172M|  72 |   - |3943 |  12k|   0 |   0 | 125k|  22k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1436.94/1437.24	c  1437s| 15400 |   283 |  2752k| 147.5 | 172M|  72 | 583 |3943 |  12k|3943 |9289 | 126k|  22k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1440.54/1440.83	c  1441s| 15500 |   281 |  2761k| 147.2 | 172M|  72 | 431 |3943 |  12k|3943 |9289 | 126k|  22k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1444.05/1444.37	c  1444s| 15600 |   282 |  2769k| 146.9 | 172M|  72 | 521 |3943 |  12k|3943 |9224 | 126k|  23k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1451.64/1451.95	c  1452s| 15700 |   278 |  2794k| 147.4 | 172M|  72 |   - |3943 |  12k|   0 |   0 | 128k|  23k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1455.14/1455.48	c  1455s| 15800 |   307 |  2805k| 147.2 | 173M|  72 | 453 |3943 |  12k|3943 |9424 | 129k|  23k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1457.34/1457.69	c  1458s| 15900 |   308 |  2810k| 146.7 | 173M|  72 | 637 |3943 |  12k|3943 |9301 | 129k|  23k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1460.14/1460.45	c  1460s| 16000 |   315 |  2817k| 146.3 | 173M|  72 |   - |3943 |  12k|   0 |   0 | 129k|  23k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1463.74/1464.02	c  1464s| 16100 |   313 |  2828k| 146.1 | 173M|  72 |   - |3943 |  12k|   0 |   0 | 130k|  24k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1467.53/1467.80	c  1468s| 16200 |   316 |  2839k| 145.9 | 173M|  72 | 549 |3943 |  12k|3943 |9320 | 130k|  24k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1470.23/1470.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1470.23/1470.50	c  1470s| 16300 |   326 |  2846k| 145.5 | 173M|  72 | 519 |3943 |  12k|3943 |9289 | 130k|  24k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1474.03/1474.36	c  1474s| 16400 |   351 |  2857k| 145.3 | 174M|  72 |   - |3943 |  13k|   0 |   0 | 131k|  24k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1478.14/1478.42	c  1478s| 16500 |   314 |  2869k| 145.2 | 174M|  72 | 752 |3943 |  13k|3943 |9315 | 131k|  24k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1483.03/1483.38	c  1483s| 16600 |   294 |  2882k| 145.1 | 173M|  72 | 824 |3943 |  13k|3943 |9347 | 132k|  24k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1488.83/1489.12	c  1489s| 16700 |   309 |  2898k| 145.2 | 173M|  72 |   - |3943 |  13k|   0 |   0 | 133k|  24k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1492.83/1493.16	c  1493s| 16800 |   310 |  2909k| 145.0 | 174M|  72 | 637 |3943 |  13k|3943 |9330 | 134k|  25k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1496.03/1496.39	c  1496s| 16900 |   316 |  2918k| 144.7 | 174M|  72 | 464 |3943 |  13k|3943 |9281 | 134k|  25k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1500.53/1500.80	c  1501s| 17000 |   315 |  2931k| 144.7 | 174M|  72 | 510 |3943 |  13k|3943 |9329 | 135k|  25k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1505.33/1505.61	c  1506s| 17100 |   329 |  2943k| 144.6 | 174M|  72 | 501 |3943 |  13k|3943 |9309 | 136k|  25k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1510.93/1511.27	c  1511s| 17200 |   327 |  2960k| 144.7 | 174M|  72 | 506 |3943 |  13k|3943 |9322 | 137k|  25k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1515.54/1515.85	c  1516s| 17300 |   342 |  2973k| 144.6 | 174M|  72 |   - |3943 |  13k|   0 |   0 | 138k|  25k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1519.83/1520.16	c  1520s| 17400 |   354 |  2985k| 144.5 | 175M|  72 |   - |3943 |  13k|   0 |   0 | 139k|  26k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1523.93/1524.26	c  1524s| 17500 |   342 |  2997k| 144.4 | 175M|  72 | 787 |3943 |  13k|3943 |9179 | 139k|  26k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1529.03/1529.32	c  1529s| 17600 |   340 |  3012k| 144.4 | 175M|  72 | 655 |3943 |  13k|3943 |9214 | 140k|  26k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1535.12/1535.48	c  1535s| 17700 |   304 |  3034k| 144.8 | 174M|  72 | 423 |3943 |  12k|3943 |9124 | 142k|  26k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1537.22/1537.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1537.22/1537.51	c  1538s| 17800 |   321 |  3038k| 144.2 | 174M|  72 | 469 |3943 |  13k|3943 |9220 | 142k|  26k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1539.52/1539.87	c  1540s| 17900 |   325 |  3044k| 143.9 | 174M|  72 |   - |3943 |  13k|   0 |   0 | 142k|  26k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1542.22/1542.55	c  1543s| 18000 |   309 |  3052k| 143.5 | 174M|  72 | 368 |3943 |  13k|3943 |9104 | 143k|  26k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1544.62/1544.93	c  1545s| 18100 |   306 |  3057k| 143.1 | 174M|  72 | 584 |3943 |  13k|3943 |9108 | 143k|  27k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1548.33/1548.63	c  1549s| 18200 |   326 |  3066k| 142.8 | 174M|  72 | 549 |3943 |  13k|3943 |9151 | 143k|  27k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1550.92/1551.29	c  1551s| 18300 |   331 |  3071k| 142.4 | 175M|  72 | 611 |3943 |  13k|3943 |9129 | 143k|  27k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1553.92/1554.30	c  1554s| 18400 |   325 |  3080k| 142.2 | 175M|  72 | 431 |3943 |  13k|3943 |9095 | 144k|  27k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1556.92/1557.28	c  1557s| 18500 |   319 |  3088k| 141.9 | 174M|  72 | 476 |3943 |  13k|3943 |9060 | 144k|  27k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1559.22/1559.51	c  1560s| 18600 |   319 |  3094k| 141.5 | 175M|  72 | 602 |3943 |  13k|3943 |9058 | 144k|  27k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1563.72/1564.01	c  1564s| 18700 |   295 |  3108k| 141.5 | 174M|  72 | 529 |3943 |  13k|3943 |9329 | 145k|  27k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1566.02/1566.35	c  1566s| 18800 |   292 |  3114k| 141.1 | 174M|  72 |   - |3943 |  13k|   0 |   0 | 146k|  28k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1569.92/1570.22	c  1570s| 18900 |   290 |  3127k| 141.1 | 174M|  72 | 398 |3943 |  13k|3943 |9261 | 146k|  28k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1574.83/1575.15	c  1575s| 19000 |   270 |  3143k| 141.2 | 173M|  72 | 840 |3943 |  13k|3943 |9003 | 148k|  28k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1576.82/1577.13	c  1577s| 19100 |   286 |  3146k| 140.7 | 173M|  72 | 652 |3943 |  13k|3943 |8985 | 148k|  28k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1579.33/1579.68	c  1580s| 19200 |   297 |  3151k| 140.3 | 173M|  72 | 520 |3943 |  13k|3943 |9036 | 148k|  28k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1581.02/1581.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1581.02/1581.37	c  1581s| 19300 |   293 |  3155k| 139.8 | 173M|  72 | 528 |3943 |  13k|3943 |9027 | 148k|  28k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1583.02/1583.38	c  1583s| 19400 |   286 |  3159k| 139.3 | 173M|  72 | 527 |3943 |  13k|3943 |9040 | 149k|  28k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1586.51/1586.82	c  1587s| 19500 |   296 |  3166k| 139.1 | 173M|  72 | 546 |3943 |  13k|3943 |9036 | 149k|  28k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1589.92/1590.26	c  1590s| 19600 |   313 |  3173k| 138.8 | 173M|  72 | 719 |3943 |  14k|3943 |9035 | 149k|  29k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1592.52/1592.86	c  1593s| 19700 |   290 |  3180k| 138.4 | 173M|  72 | 791 |3943 |  14k|3943 |8962 | 150k|  29k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1595.21/1595.53	c  1596s| 19800 |   310 |  3185k| 138.1 | 174M|  72 | 609 |3943 |  14k|3943 |8989 | 150k|  29k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1598.31/1598.62	c  1599s| 19900 |   331 |  3192k| 137.8 | 174M|  72 | 475 |3943 |  14k|3943 |9043 | 151k|  29k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1601.12/1601.47	c  1601s| 20000 |   308 |  3199k| 137.5 | 174M|  72 | 463 |3943 |  14k|3943 |8995 | 151k|  29k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1604.91/1605.20	c  1605s| 20100 |   288 |  3209k| 137.3 | 174M|  72 | 541 |3943 |  14k|3943 |8971 | 152k|  29k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1608.51/1608.83	c  1609s| 20200 |   293 |  3217k| 137.1 | 174M|  72 |   - |3943 |  14k|   0 |   0 | 152k|  30k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1612.12/1612.43	c  1612s| 20300 |   294 |  3227k| 136.9 | 174M|  72 |   - |3943 |  14k|   0 |   0 | 153k|  30k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1617.51/1617.86	c  1618s| 20400 |   284 |  3241k| 136.9 | 174M|  72 | 623 |3943 |  14k|3943 |9184 | 154k|  30k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1620.31/1620.67	c  1621s| 20500 |   296 |  3247k| 136.6 | 174M|  72 | 494 |3943 |  14k|3943 |9225 | 155k|  30k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1624.11/1624.49	c  1624s| 20600 |   291 |  3257k| 136.4 | 174M|  72 | 600 |3943 |  14k|3943 |9201 | 155k|  30k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1629.01/1629.32	c  1629s| 20700 |   284 |  3271k| 136.5 | 174M|  72 |   - |3943 |  14k|   0 |   0 | 157k|  30k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1633.81/1634.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1633.81/1634.17	c  1634s| 20800 |   285 |  3285k| 136.5 | 174M|  72 | 609 |3943 |  14k|3943 |9042 | 158k|  30k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1638.72/1639.08	c  1639s| 20900 |   337 |  3298k| 136.4 | 174M|  72 | 446 |3943 |  14k|3943 |9123 | 159k|  31k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1643.21/1643.51	c  1644s| 21000 |   313 |  3308k| 136.3 | 174M|  72 |   - |3943 |  14k|   0 |   0 | 160k|  31k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1648.71/1649.02	c  1649s| 21100 |   304 |  3324k| 136.4 | 174M|  72 | 655 |3943 |  14k|3943 |8938 | 161k|  31k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1653.31/1653.60	c  1654s| 21200 |   296 |  3338k| 136.4 | 174M|  72 | 580 |3943 |  14k|3943 |9014 | 162k|  31k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1656.80/1657.16	c  1657s| 21300 |   326 |  3348k| 136.3 | 175M|  72 |   - |3943 |  14k|   0 |   0 | 163k|  31k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1659.30/1659.60	c  1660s| 21400 |   338 |  3354k| 135.9 | 175M|  72 | 452 |3943 |  14k|3943 |9181 | 163k|  31k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1664.21/1664.52	c  1665s| 21500 |   329 |  3368k| 136.0 | 175M|  72 | 849 |3943 |  14k|3943 |9105 | 164k|  31k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1670.61/1670.90	c  1671s| 21600 |   323 |  3387k| 136.2 | 175M|  72 |   - |3943 |  14k|   0 |   0 | 166k|  32k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1674.21/1674.53	c  1675s| 21700 |   350 |  3395k| 136.0 | 175M|  72 | 465 |3943 |  14k|3943 |9140 | 166k|  32k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1676.00/1676.34	c  1676s| 21800 |   340 |  3398k| 135.5 | 175M|  72 | 503 |3943 |  14k|3943 |9075 | 167k|  32k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1678.21/1678.59	c  1679s| 21900 |   341 |  3403k| 135.2 | 175M|  72 |   - |3943 |  14k|   0 |   0 | 167k|  32k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1680.51/1680.84	c  1681s| 22000 |   344 |  3408k| 134.9 | 176M|  72 |   - |3943 |  15k|   0 |   0 | 167k|  32k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1683.30/1683.67	c  1684s| 22100 |   349 |  3414k| 134.6 | 176M|  72 | 698 |3943 |  15k|3943 |8917 | 168k|  32k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1685.40/1685.70	c  1686s| 22200 |   353 |  3418k| 134.2 | 176M|  72 | 422 |3943 |  15k|3943 |8956 | 168k|  32k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1687.60/1687.93	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1687.60/1687.93	c  1688s| 22300 |   358 |  3424k| 133.9 | 176M|  72 |   - |3943 |  15k|   0 |   0 | 168k|  33k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1691.51/1691.88	c  1692s| 22400 |   351 |  3432k| 133.7 | 176M|  72 | 828 |3943 |  15k|3943 |8901 | 169k|  33k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1693.61/1693.97	c  1694s| 22500 |   349 |  3437k| 133.3 | 176M|  72 | 711 |3943 |  15k|3943 |8930 | 169k|  33k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1697.00/1697.36	c  1697s| 22600 |   388 |  3446k| 133.2 | 176M|  72 |   - |3943 |  15k|3943 |8906 | 170k|  33k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1698.80/1699.16	c  1699s| 22700 |   398 |  3449k| 132.8 | 176M|  72 | 649 |3943 |  15k|3943 |8908 | 170k|  33k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1701.19/1701.54	c  1702s| 22800 |   401 |  3453k| 132.4 | 176M|  72 | 551 |3943 |  15k|3943 |8941 | 170k|  33k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1703.20/1703.52	c  1704s| 22900 |   372 |  3457k| 132.1 | 176M|  72 | 759 |3943 |  15k|3943 |8902 | 171k|  33k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1704.90/1705.27	c  1705s| 23000 |   391 |  3460k| 131.7 | 176M|  72 | 670 |3943 |  15k|3943 |8915 | 171k|  33k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1707.10/1707.42	c  1707s| 23100 |   344 |  3465k| 131.4 | 176M|  72 |   - |3943 |  15k|   0 |   0 | 171k|  34k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1709.50/1709.80	c  1710s| 23200 |   342 |  3471k| 131.1 | 176M|  72 |   - |3943 |  15k|   0 |   0 | 172k|  34k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1712.70/1713.06	c  1713s| 23300 |   359 |  3479k| 130.9 | 176M|  72 |   - |3943 |  15k|   0 |   0 | 172k|  34k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1715.30/1715.61	c  1716s| 23400 |   360 |  3485k| 130.6 | 176M|  72 | 560 |3943 |  15k|3943 |8916 | 173k|  34k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1718.30/1718.63	c  1719s| 23500 |   351 |  3493k| 130.4 | 176M|  72 | 418 |3943 |  15k|3943 |8922 | 174k|  34k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1720.70/1721.07	c  1721s| 23600 |   341 |  3498k| 130.1 | 176M|  72 | 577 |3943 |  15k|3943 |9150 | 174k|  34k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1723.09/1723.47	c  1723s| 23700 |   344 |  3503k| 129.8 | 176M|  72 | 236 |3943 |  15k|3943 |8919 | 174k|  35k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1726.39/1726.73	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1726.39/1726.73	c  1727s| 23800 |   330 |  3511k| 129.6 | 176M|  72 | 753 |3943 |  15k|3943 |8829 | 175k|  35k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1729.19/1729.58	c  1730s| 23900 |   335 |  3518k| 129.4 | 176M|  72 | 691 |3943 |  15k|3943 |8870 | 176k|  35k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1732.49/1732.80	c  1733s| 24000 |   345 |  3525k| 129.2 | 176M|  72 | 693 |3943 |  15k|3943 |8885 | 176k|  35k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1735.29/1735.67	c  1736s| 24100 |   359 |  3532k| 129.0 | 176M|  72 | 606 |3943 |  15k|3943 |8953 | 177k|  35k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1738.39/1738.72	c  1739s| 24200 |   353 |  3539k| 128.8 | 176M|  72 | 557 |3943 |  15k|3943 |8964 | 178k|  35k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1741.79/1742.10	c  1742s| 24300 |   353 |  3547k| 128.6 | 176M|  72 | 467 |3943 |  15k|3943 |8899 | 179k|  36k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1745.19/1745.53	c  1746s| 24400 |   357 |  3556k| 128.5 | 176M|  72 | 618 |3943 |  15k|3943 |8977 | 179k|  36k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1747.49/1747.90	c  1748s| 24500 |   356 |  3561k| 128.2 | 177M|  72 | 498 |3943 |  15k|3943 |8913 | 180k|  36k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1750.79/1751.15	c  1751s| 24600 |   341 |  3569k| 128.0 | 176M|  72 | 897 |3943 |  15k|3943 |8898 | 181k|  36k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1754.79/1755.12	c  1755s| 24700 |   336 |  3579k| 127.9 | 176M|  72 |   - |3943 |  15k|   0 |   0 | 182k|  36k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1757.29/1757.62	c  1758s| 24800 |   344 |  3584k| 127.6 | 176M|  72 | 595 |3943 |  15k|3943 |9039 | 182k|  36k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1759.99/1760.31	c  1760s| 24900 |   359 |  3590k| 127.4 | 176M|  72 | 368 |3943 |  15k|3943 |9118 | 183k|  36k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1762.39/1762.70	c  1763s| 25000 |   342 |  3595k| 127.1 | 176M|  72 | 456 |3943 |  15k|3943 |9097 | 183k|  37k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1764.68/1765.05	c  1765s| 25100 |   339 |  3601k| 126.9 | 176M|  72 | 589 |3943 |  15k|3943 |9075 | 183k|  37k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1767.99/1768.34	c  1768s| 25200 |   326 |  3609k| 126.7 | 176M|  72 | 509 |3943 |  15k|3943 |8862 | 184k|  37k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1770.79/1771.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1770.79/1771.13	c  1771s| 25300 |   330 |  3616k| 126.5 | 176M|  72 | 487 |3943 |  15k|3943 |8889 | 184k|  37k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1773.09/1773.46	c  1773s| 25400 |   332 |  3621k| 126.2 | 176M|  72 | 520 |3943 |  15k|3943 |8851 | 185k|  37k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1775.69/1776.05	c  1776s| 25500 |   350 |  3627k| 126.0 | 177M|  72 | 334 |3943 |  15k|3943 |8991 | 185k|  37k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1778.18/1778.53	c  1779s| 25600 |   339 |  3633k| 125.8 | 177M|  72 | 470 |3943 |  15k|3943 |8914 | 185k|  37k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1781.39/1781.71	c  1782s| 25700 |   330 |  3640k| 125.6 | 177M|  72 |   - |3943 |  15k|   0 |   0 | 186k|  37k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1784.78/1785.16	c  1785s| 25800 |   332 |  3648k| 125.4 | 177M|  72 | 582 |3943 |  15k|3943 |8942 | 187k|  37k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1787.38/1787.74	c  1788s| 25900 |   324 |  3654k| 125.2 | 176M|  72 |   - |3943 |  15k|   0 |   0 | 187k|  38k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1789.59/1789.90	c  1790s| 26000 |   328 |  3660k| 124.9 | 176M|  72 | 422 |3943 |  15k|3943 |9094 | 187k|  38k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1792.49/1792.87	c  1793s| 26100 |   312 |  3667k| 124.8 | 176M|  72 | 670 |3943 |  15k|3943 |9080 | 188k|  38k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1796.18/1796.53	c  1797s| 26200 |   304 |  3677k| 124.7 | 176M|  72 | 522 |3943 |  15k|3943 |9188 | 189k|  38k|   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1796.68/1797.00	c 
1796.68/1797.00	c SCIP Status        : solving was interrupted [time limit reached]
1796.68/1797.00	c Solving Time (sec) : 1797.00
1796.68/1797.00	c Solving Nodes      : 26221 (total of 29300 nodes in 3 runs)
1796.68/1797.00	c Primal Bound       : +1.00000000000000e+00 (466 solutions)
1796.68/1797.00	c Dual Bound         : +0.00000000000000e+00
1796.68/1797.00	c Gap                : infinite
1796.68/1797.01	s SATISFIABLE
1796.68/1797.01	v x4622 -x4621 x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 
1796.68/1797.01	v -x4603 x4602 -x4601 x4600 x4599 -x4598 -x4597 -x4596 x4595 -x4594 x4593 x4592 x4591 -x4590 x4589 x4588 x4587 -x4586 -x4585 
1796.68/1797.01	v x4584 x4583 x4582 -x4581 x4580 x4579 x4578 x4577 x4576 x4575 x4574 x4573 x4572 -x4571 x4570 -x4569 x4568 x4567 -x4566 x4565 
1796.68/1797.01	v x4564 -x4563 x4562 x4561 x4560 x4559 x4558 x4557 x4556 x4555 x4554 x4553 x4552 -x4551 x4550 x4549 x4548 -x4547 -x4546 -x4545 
1796.68/1797.01	v x4544 x4543 x4542 -x4541 -x4540 -x4539 -x4538 x4537 -x4536 -x4535 x4534 x4533 -x4532 x4531 -x4530 -x4529 x4528 -x4527 x4526 
1796.68/1797.01	v -x4525 x4524 -x4523 x4522 x4521 x4520 x4519 -x4518 x4517 -x4516 x4515 x4514 -x4513 x4512 -x4511 x4510 x4509 x4508 x4507 x4506 
1796.68/1797.01	v -x4505 x4504 x4503 x4502 x4501 x4500 x4499 -x4498 x4497 x4496 x4495 x4494 x4493 x4492 -x4491 x4490 x4489 x4488 x4487 x4486 x4485 
1796.68/1797.01	v x4484 x4483 -x4482 x4481 x4480 x4479 x4478 x4477 x4476 x4475 x4474 -x4473 -x4472 x4471 x4470 -x4469 x4468 x4467 -x4466 x4465 
1796.68/1797.01	v x4464 x4463 x4462 -x4461 x4460 x4459 x4458 x4457 x4456 x4455 x4454 x4453 x4452 -x4451 x4450 x4449 x4448 x4447 x4446 -x4445 
1796.68/1797.01	v -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 
1796.68/1797.01	v -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 
1796.68/1797.01	v -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 
1796.68/1797.01	v -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 
1796.68/1797.01	v -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 x4366 x4365 x4364 -x4363 -x4362 -x4361 -x4360 x4359 x4358 -x4357 -x4356 -x4355 
1796.68/1797.01	v -x4354 -x4353 -x4352 -x4351 -x4350 x4349 x4348 -x4347 -x4346 x4345 x4344 x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 
1796.68/1797.01	v -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 
1796.68/1797.01	v -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 
1796.68/1797.01	v -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 
1796.68/1797.01	v -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 
1796.68/1797.01	v -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 
1796.68/1797.01	v -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 
1796.68/1797.01	v -x4228 -x4227 -x4226 -x4225 -x4224 x4223 x4222 x4221 x4220 -x4219 -x4218 -x4217 -x4216 x4215 x4214 x4213 -x4212 -x4211 -x4210 
1796.68/1797.01	v -x4209 -x4208 x4207 -x4206 -x4205 -x4204 x4203 x4202 x4201 x4200 -x4199 -x4198 -x4197 x4196 x4195 x4194 -x4193 -x4192 -x4191 
1796.68/1797.01	v -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 x4183 -x4182 -x4181 x4180 -x4179 -x4178 -x4177 -x4176 -x4175 x4174 -x4173 
1796.68/1797.01	v -x4172 -x4171 -x4170 x4169 -x4168 -x4167 x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 
1796.68/1797.01	v -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 
1796.68/1797.01	v -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 
1796.68/1797.01	v -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 
1796.68/1797.01	v -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 
1796.68/1797.01	v -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 
1796.68/1797.01	v -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 
1796.68/1797.01	v -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 
1796.68/1797.01	v -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 
1796.68/1797.01	v -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 
1796.68/1797.01	v -x3993 x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 
1796.68/1797.01	v -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 
1796.68/1797.01	v -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 
1796.68/1797.01	v -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 
1796.68/1797.01	v -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 
1796.68/1797.01	v -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 x3889 -x3888 -x3887 -x3886 
1796.68/1797.01	v -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 
1796.68/1797.01	v x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 
1796.68/1797.01	v -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 x3838 -x3837 -x3836 -x3835 -x3834 -x3833 
1796.68/1797.01	v -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 
1796.68/1797.01	v -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 
1796.68/1797.01	v -x3796 -x3795 -x3794 -x3793 x3792 x3791 x3790 x3789 x3788 x3787 x3786 x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 
1796.68/1797.01	v -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 
1796.68/1797.01	v -x3759 x3758 x3757 x3756 x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 
1796.68/1797.01	v -x3740 -x3739 x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 x3729 x3728 -x3727 x3726 -x3725 -x3724 -x3723 
1796.68/1797.01	v x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 
1796.68/1797.01	v -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 x3698 x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 x3687 
1796.68/1797.01	v x3686 x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 
1796.68/1797.01	v -x3667 -x3666 -x3665 -x3664 -x3663 x3662 -x3661 -x3660 -x3659 -x3658 x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 
1796.68/1797.01	v x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 x3642 x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 x3634 -x3633 x3632 
1796.68/1797.01	v x3631 x3630 x3629 x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 
1796.68/1797.01	v -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 x3601 x3600 x3599 x3598 -x3597 -x3596 -x3595 
1796.68/1797.01	v -x3594 x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 
1796.68/1797.01	v -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 x3566 -x3565 -x3564 -x3563 x3562 -x3561 -x3560 -x3559 
1796.68/1797.01	v -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 x3550 -x3549 -x3548 -x3547 x3546 -x3545 -x3544 -x3543 x3542 -x3541 -x3540 
1796.68/1797.01	v -x3539 x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 x3530 x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 x3522 
1796.68/1797.01	v -x3521 -x3520 -x3519 -x3518 -x3517 x3516 -x3515 -x3514 -x3513 x3512 x3511 x3510 x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 
1796.68/1797.01	v -x3502 x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 
1796.68/1797.01	v -x3484 -x3483 -x3482 x3481 -x3480 -x3479 x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 
1796.68/1797.01	v x3466 -x3465 -x3464 -x3463 x3462 -x3461 -x3460 -x3459 x3458 -x3457 -x3456 -x3455 x3454 -x3453 -x3452 -x3451 -x3450 x3449 
1796.68/1797.01	v -x3448 -x3447 -x3446 -x3445 -x3444 x3443 x3442 x3441 x3440 x3439 x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 
1796.68/1797.01	v -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 
1796.68/1797.01	v -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 
1796.68/1797.01	v -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 
1796.68/1797.01	v -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 
1796.68/1797.01	v -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 
1796.68/1797.01	v -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 x3323 x3322 
1796.68/1797.01	v -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 
1796.68/1797.01	v -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 x3290 x3289 -x3288 -x3287 -x3286 
1796.68/1797.01	v -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 
1796.68/1797.01	v -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 
1796.68/1797.01	v -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 
1796.68/1797.01	v -x3231 x3230 x3229 x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 
1796.68/1797.01	v -x3213 -x3212 -x3211 -x3210 x3209 -x3208 -x3207 x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 x3196 
1796.68/1797.01	v -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 x3188 x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 
1796.68/1797.01	v -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 x3171 -x3170 -x3169 -x3168 -x3167 -x3166 x3165 -x3164 -x3163 -x3162 -x3161 -x3160 
1796.68/1797.01	v -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 x3145 -x3144 -x3143 -x3142 
1796.68/1797.01	v -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 
1796.68/1797.01	v -x3123 x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 
1796.68/1797.01	v -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 x3094 x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 
1796.68/1797.01	v -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 x3073 -x3072 -x3071 -x3070 -x3069 
1796.68/1797.01	v -x3068 -x3067 -x3066 x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 
1796.68/1797.01	v -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 
1796.68/1797.01	v x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 x3019 -x3018 -x3017 -x3016 -x3015 
1796.68/1797.01	v -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 x3006 x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 
1796.68/1797.01	v -x2996 -x2995 -x2994 -x2993 -x2992 x2991 x2990 -x2989 -x2988 -x2987 x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 
1796.68/1797.01	v -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 x2962 -x2961 
1796.68/1797.01	v -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 
1796.68/1797.01	v x2942 -x2941 x2940 -x2939 -x2938 -x2937 -x2936 x2935 -x2934 x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 x2926 -x2925 -x2924 
1796.68/1797.01	v -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 
1796.68/1797.01	v -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 
1796.68/1797.01	v -x2888 x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 x2871 -x2870 
1796.68/1797.01	v -x2869 -x2868 -x2867 -x2866 -x2865 x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 x2855 x2854 x2853 -x2852 
1796.68/1797.01	v -x2851 x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 x2834 
1796.68/1797.01	v x2833 -x2832 -x2831 x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 
1796.68/1797.01	v -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 x2798 
1796.68/1797.01	v -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 
1796.68/1797.01	v -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 x2766 -x2765 -x2764 -x2763 -x2762 
1796.68/1797.01	v -x2761 x2760 -x2759 -x2758 -x2757 -x2756 x2755 -x2754 -x2753 -x2752 -x2751 x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 x2743 
1796.68/1797.01	v x2742 -x2741 x2740 -x2739 -x2738 -x2737 x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 
1796.68/1797.01	v -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 x2711 -x2710 -x2709 -x2708 -x2707 
1796.68/1797.01	v -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 x2690 -x2689 
1796.68/1797.01	v -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 x2675 -x2674 -x2673 -x2672 -x2671 
1796.68/1797.01	v x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 x2658 -x2657 -x2656 -x2655 x2654 -x2653 -x2652 
1796.68/1797.01	v -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 x2641 -x2640 -x2639 -x2638 -x2637 x2636 -x2635 -x2634 
1796.68/1797.01	v -x2633 -x2632 -x2631 -x2630 x2629 x2628 -x2627 x2626 -x2625 -x2624 -x2623 -x2622 -x2621 x2620 -x2619 x2618 -x2617 -x2616 
1796.68/1797.01	v -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 x2599 -x2598 
1796.68/1797.01	v -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 x2586 x2585 x2584 x2583 x2582 x2581 x2580 -x2579 
1796.68/1797.01	v x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 x2565 -x2564 -x2563 -x2562 -x2561 
1796.68/1797.01	v -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 
1796.68/1797.01	v -x2542 -x2541 x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 
1796.68/1797.01	v -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 
1796.68/1797.01	v -x2506 -x2505 -x2504 x2503 -x2502 -x2501 -x2500 -x2499 x2498 -x2497 -x2496 -x2495 -x2494 -x2493 x2492 x2491 -x2490 -x2489 -x2488 
1796.68/1797.01	v -x2487 x2486 -x2485 -x2484 -x2483 x2482 -x2481 -x2480 -x2479 -x2478 x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 
1796.68/1797.01	v -x2469 x2468 x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 x2458 -x2457 -x2456 -x2455 -x2454 x2453 x2452 
1796.68/1797.01	v x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 
1796.68/1797.01	v -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 x2427 -x2426 -x2425 -x2424 x2423 -x2422 x2421 x2420 -x2419 -x2418 -x2417 x2416 -x2415 
1796.68/1797.01	v -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 
1796.68/1797.01	v -x2396 -x2395 -x2394 -x2393 -x2392 x2391 x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 
1796.68/1797.01	v -x2378 -x2377 -x2376 -x2375 -x2374 x2373 -x2372 x2371 -x2370 x2369 x2368 x2367 x2366 x2365 x2364 x2363 x2362 x2361 x2360 x2359 
1796.68/1797.01	v -x2358 x2357 -x2356 x2355 x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 
1796.68/1797.01	v -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 x2325 -x2324 -x2323 
1796.68/1797.01	v -x2322 -x2321 -x2320 -x2319 -x2318 x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 
1796.68/1797.01	v -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 
1796.68/1797.01	v -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 
1796.68/1797.01	v -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 
1796.68/1797.01	v -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 x2241 -x2240 -x2239 -x2238 x2237 -x2236 -x2235 -x2234 -x2233 
1796.68/1797.01	v -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 
1796.68/1797.01	v -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 
1796.68/1797.01	v -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 
1796.68/1797.01	v -x2178 -x2177 -x2176 -x2175 x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 
1796.68/1797.01	v -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 x2146 x2145 x2144 x2143 
1796.68/1797.01	v x2142 x2141 x2140 -x2139 x2138 -x2137 x2136 x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 
1796.68/1797.01	v -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 
1796.68/1797.01	v -x2105 -x2104 -x2103 x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 x2091 -x2090 -x2089 -x2088 
1796.68/1797.01	v -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 x2075 -x2074 -x2073 -x2072 -x2071 -x2070 
1796.68/1797.01	v -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 x2055 -x2054 -x2053 -x2052 
1796.68/1797.01	v -x2051 x2050 x2049 x2048 -x2047 -x2046 -x2045 -x2044 -x2043 x2042 x2041 x2040 -x2039 -x2038 -x2037 x2036 -x2035 -x2034 -x2033 
1796.68/1797.01	v -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 
1796.68/1797.01	v x2014 x2013 x2012 -x2011 -x2010 x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 
1796.68/1797.01	v x1996 x1995 x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 x1981 -x1980 -x1979 -x1978 
1796.68/1797.01	v -x1977 -x1976 -x1975 -x1974 -x1973 x1972 x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 x1962 x1961 x1960 
1796.68/1797.01	v -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 x1945 -x1944 -x1943 x1942 -x1941 
1796.68/1797.01	v -x1940 -x1939 -x1938 -x1937 x1936 -x1935 -x1934 -x1933 x1932 x1931 x1930 -x1929 -x1928 -x1927 -x1926 -x1925 x1924 -x1923 
1796.68/1797.01	v -x1922 -x1921 -x1920 -x1919 -x1918 x1917 x1916 -x1915 -x1914 x1913 -x1912 -x1911 -x1910 x1909 x1908 -x1907 -x1906 x1905 -x1904 
1796.68/1797.01	v -x1903 -x1902 -x1901 -x1900 -x1899 x1898 -x1897 x1896 x1895 x1894 x1893 x1892 x1891 x1890 x1889 -x1888 x1887 -x1886 x1885 
1796.68/1797.01	v x1884 x1883 x1882 x1881 x1880 x1879 -x1878 x1877 -x1876 x1875 x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 
1796.68/1797.01	v -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 
1796.68/1797.01	v -x1847 -x1846 -x1845 -x1844 -x1843 x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 x1835 -x1834 -x1833 -x1832 -x1831 -x1830 
1796.68/1797.01	v -x1829 -x1828 -x1827 -x1826 x1825 -x1824 x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 x1813 -x1812 x1811 
1796.68/1797.01	v -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 x1801 -x1800 x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 
1796.68/1797.01	v -x1792 -x1791 -x1790 x1789 -x1788 x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 x1777 -x1776 x1775 
1796.68/1797.01	v -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 x1765 -x1764 -x1763 x1762 x1761 x1760 -x1759 x1758 -x1757 -x1756 
1796.68/1797.01	v x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 x1747 x1746 -x1745 x1744 -x1743 -x1742 x1741 -x1740 -x1739 -x1738 -x1737 
1796.68/1797.01	v -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 
1796.68/1797.01	v -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 
1796.68/1797.01	v -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 
1796.68/1797.01	v -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 
1796.68/1797.01	v -x1665 x1664 x1663 -x1662 x1661 -x1660 -x1659 x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 x1650 -x1649 x1648 -x1647 
1796.68/1797.01	v -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 x1640 -x1639 x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 x1630 -x1629 
1796.68/1797.01	v x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 x1620 -x1619 x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 x1610 
1796.68/1797.01	v -x1609 x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 
1796.68/1797.01	v -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 x1579 -x1578 -x1577 -x1576 x1575 x1574 
1796.68/1797.01	v x1573 -x1572 -x1571 -x1570 x1569 -x1568 -x1567 -x1566 x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 
1796.68/1797.01	v -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 
1796.68/1797.01	v -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 x1524 -x1523 -x1522 -x1521 -x1520 
1796.68/1797.01	v -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 x1510 x1509 x1508 -x1507 -x1506 x1505 -x1504 -x1503 -x1502 -x1501 
1796.68/1797.01	v x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 
1796.68/1797.01	v -x1482 x1481 -x1480 -x1479 -x1478 x1477 x1476 x1475 -x1474 x1473 x1472 x1471 -x1470 -x1469 -x1468 -x1467 -x1466 x1465 -x1464 
1796.68/1797.01	v -x1463 -x1462 -x1461 x1460 -x1459 -x1458 -x1457 -x1456 -x1455 x1454 -x1453 -x1452 -x1451 -x1450 x1449 x1448 x1447 -x1446 
1796.68/1797.01	v -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 x1438 x1437 x1436 -x1435 -x1434 x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 
1796.68/1797.01	v -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 x1420 x1419 x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 
1796.68/1797.01	v -x1408 -x1407 x1406 -x1405 -x1404 -x1403 x1402 -x1401 x1400 x1399 x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 x1390 
1796.68/1797.01	v -x1389 -x1388 x1387 x1386 x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 x1376 -x1375 -x1374 -x1373 -x1372 
1796.68/1797.01	v -x1371 -x1370 x1369 x1368 -x1367 x1366 -x1365 x1364 -x1363 -x1362 x1361 x1360 -x1359 x1358 -x1357 -x1356 -x1355 -x1354 -x1353 
1796.68/1797.01	v -x1352 -x1351 x1350 x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 
1796.68/1797.01	v -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 x1317 
1796.68/1797.01	v -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 
1796.68/1797.01	v -x1298 -x1297 -x1296 -x1295 -x1294 x1293 -x1292 -x1291 -x1290 -x1289 -x1288 x1287 -x1286 -x1285 -x1284 -x1283 -x1282 x1281 
1796.68/1797.01	v -x1280 x1279 -x1278 -x1277 -x1276 -x1275 -x1274 x1273 -x1272 x1271 -x1270 -x1269 -x1268 -x1267 -x1266 x1265 -x1264 -x1263 -x1262 
1796.68/1797.01	v x1261 x1260 -x1259 -x1258 x1257 -x1256 x1255 -x1254 -x1253 -x1252 -x1251 -x1250 x1249 -x1248 x1247 -x1246 -x1245 -x1244 -x1243 
1796.68/1797.01	v -x1242 x1241 -x1240 -x1239 x1238 x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 x1226 -x1225 
1796.68/1797.01	v -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 x1215 x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 
1796.68/1797.01	v -x1206 x1205 x1204 x1203 x1202 x1201 x1200 x1199 x1198 x1197 x1196 x1195 x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 
1796.68/1797.01	v x1186 -x1185 -x1184 x1183 x1182 x1181 -x1180 x1179 x1178 x1177 -x1176 x1175 x1174 x1173 -x1172 -x1171 -x1170 x1169 -x1168 
1796.68/1797.01	v -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 x1161 -x1160 -x1159 -x1158 x1157 -x1156 -x1155 -x1154 x1153 -x1152 -x1151 -x1150 
1796.68/1797.01	v x1149 -x1148 -x1147 x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 x1139 -x1138 -x1137 -x1136 -x1135 x1134 -x1133 -x1132 -x1131 
1796.68/1797.01	v x1130 -x1129 -x1128 -x1127 x1126 -x1125 -x1124 -x1123 -x1122 x1121 x1120 x1119 x1118 x1117 x1116 x1115 x1114 -x1113 -x1112 
1796.68/1797.01	v x1111 -x1110 -x1109 -x1108 x1107 -x1106 -x1105 -x1104 x1103 -x1102 -x1101 x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 x1093 
1796.68/1797.01	v -x1092 -x1091 -x1090 -x1089 x1088 -x1087 -x1086 -x1085 x1084 -x1083 -x1082 -x1081 x1080 -x1079 -x1078 x1077 -x1076 -x1075 
1796.68/1797.01	v -x1074 -x1073 -x1072 -x1071 x1070 -x1069 -x1068 -x1067 -x1066 x1065 -x1064 -x1063 -x1062 x1061 -x1060 -x1059 -x1058 x1057 -x1056 
1796.68/1797.01	v -x1055 x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 x1047 -x1046 -x1045 -x1044 -x1043 x1042 -x1041 -x1040 -x1039 x1038 
1796.68/1797.01	v -x1037 -x1036 -x1035 x1034 -x1033 -x1032 x1031 x1030 -x1029 x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 
1796.68/1797.01	v -x1019 -x1018 -x1017 -x1016 x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 x1008 -x1007 -x1006 -x1005 -x1004 -x1003 x1002 -x1001 
1796.68/1797.01	v x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 
1796.68/1797.01	v x980 x979 x978 -x977 x976 -x975 -x974 x973 -x972 x971 -x970 -x969 x968 -x967 x966 -x965 -x964 x963 -x962 x961 -x960 -x959 x958 
1796.68/1797.01	v -x957 x956 -x955 -x954 x953 -x952 x951 -x950 -x949 x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 
1796.68/1797.01	v -x935 x934 x933 x932 -x931 -x930 -x929 -x928 x927 -x926 x925 -x924 -x923 -x922 x921 x920 x919 x918 x917 -x916 -x915 -x914 
1796.68/1797.01	v -x913 x912 x911 x910 -x909 -x908 -x907 -x906 -x905 x904 x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 
1796.68/1797.01	v -x891 -x890 -x889 -x888 -x887 x886 -x885 -x884 x883 -x882 x881 -x880 -x879 x878 -x877 x876 -x875 -x874 x873 -x872 x871 -x870 
1796.68/1797.01	v -x869 x868 -x867 x866 -x865 -x864 x863 -x862 x861 -x860 -x859 x858 -x857 x856 x855 x854 -x853 -x852 -x851 -x850 -x849 -x848 
1796.68/1797.01	v -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 
1796.68/1797.01	v -x826 -x825 -x824 -x823 -x822 -x821 -x820 x819 -x818 -x817 -x816 -x815 -x814 x813 x812 -x811 -x810 x809 -x808 -x807 -x806 
1796.68/1797.01	v -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 
1796.68/1797.01	v -x784 -x783 -x782 -x781 x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 
1796.68/1797.01	v -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 x751 -x750 -x749 -x748 -x747 x746 -x745 -x744 -x743 
1796.68/1797.01	v -x742 x741 -x740 -x739 -x738 -x737 x736 -x735 -x734 -x733 -x732 x731 -x730 -x729 x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 
1796.68/1797.01	v -x720 x719 -x718 -x717 -x716 x715 x714 -x713 -x712 x711 -x710 -x709 -x708 -x707 -x706 -x705 x704 -x703 x702 x701 x700 x699 
1796.68/1797.01	v -x698 x697 -x696 -x695 -x694 x693 -x692 x691 -x690 x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 x678 -x677 
1796.68/1797.01	v x676 x675 -x674 -x673 -x672 -x671 x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 
1796.68/1797.01	v -x655 x654 x653 -x652 -x651 x650 -x649 -x648 -x647 -x646 -x645 -x644 x643 x642 -x641 -x640 x639 x638 x637 x636 -x635 -x634 -x633 
1796.68/1797.01	v -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 x615 -x614 x613 -x612 
1796.68/1797.01	v x611 -x610 -x609 -x608 x607 -x606 x605 -x604 -x603 -x602 -x601 x600 -x599 -x598 x597 x596 -x595 x594 -x593 -x592 x591 x590 
1796.68/1797.01	v x589 -x588 -x587 x586 x585 x584 x583 -x582 x581 x580 x579 x578 x577 x576 x575 x574 x573 x572 x571 x570 -x569 -x568 -x567 -x566 
1796.68/1797.01	v -x565 -x564 -x563 -x562 -x561 -x560 x559 -x558 -x557 -x556 -x555 -x554 x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 
1796.68/1797.01	v -x544 x543 -x542 -x541 x540 x539 x538 -x537 -x536 -x535 x534 -x533 -x532 x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 x523 
1796.68/1797.01	v -x522 -x521 x520 x519 x518 -x517 x516 x515 x514 -x513 x512 x511 x510 -x509 x508 x507 x506 x505 x504 x503 -x502 -x501 -x500 
1796.68/1797.01	v -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 x491 -x490 -x489 x488 -x487 -x486 -x485 x484 -x483 -x482 -x481 -x480 -x479 -x478 
1796.68/1797.01	v -x477 -x476 -x475 -x474 x473 x472 x471 x470 -x469 -x468 -x467 -x466 x465 -x464 -x463 -x462 -x461 -x460 -x459 x458 x457 x456 
1796.68/1797.01	v x455 x454 x453 x452 x451 x450 x449 -x448 -x447 -x446 x445 -x444 -x443 -x442 x441 -x440 -x439 -x438 x437 -x436 -x435 -x434 
1796.68/1797.01	v x433 -x432 -x431 -x430 x429 -x428 -x427 -x426 x425 -x424 -x423 x422 -x421 x420 -x419 -x418 x417 x416 x415 x414 -x413 x412 x411 
1796.68/1797.01	v -x410 x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 x397 -x396 -x395 x394 -x393 x392 -x391 -x390 
1796.68/1797.01	v x389 -x388 x387 -x386 -x385 x384 -x383 x382 -x381 -x380 x379 -x378 x377 -x376 -x375 x374 -x373 x372 -x371 -x370 -x369 -x368 x367 
1796.68/1797.01	v -x366 -x365 -x364 -x363 x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 x352 -x351 -x350 x349 -x348 x347 -x346 
1796.68/1797.01	v -x345 x344 -x343 x342 -x341 x340 -x339 -x338 -x337 -x336 x335 x334 x333 x332 -x331 -x330 -x329 -x328 x327 -x326 x325 x324 -x323 
1796.68/1797.01	v -x322 -x321 -x320 x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 -x310 x309 -x308 -x307 x306 -x305 x304 -x303 -x302 
1796.68/1797.01	v x301 -x300 x299 -x298 -x297 x296 -x295 -x294 -x293 -x292 x291 -x290 x289 x288 x287 x286 -x285 -x284 -x283 -x282 -x281 x280 -x279 
1796.68/1797.01	v -x278 x277 -x276 x275 -x274 -x273 x272 -x271 x270 x269 -x268 x267 x266 x265 x264 x263 -x262 -x261 -x260 -x259 x258 -x257 
1796.68/1797.01	v -x256 -x255 x254 -x253 -x252 x251 -x250 x249 -x248 -x247 -x246 -x245 x244 -x243 x242 x241 -x240 x239 -x238 x237 -x236 -x235 -x234 
1796.68/1797.01	v -x233 x232 -x231 x230 x229 x228 x227 -x226 -x225 x224 x223 x222 x221 x220 x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 
1796.68/1797.01	v -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 
1796.68/1797.01	v -x189 -x188 -x187 -x186 x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 
1796.68/1797.01	v -x168 -x167 x166 -x165 -x164 -x163 -x162 x161 x160 x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 
1796.68/1797.01	v x146 -x145 -x144 x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 x129 -x128 -x127 x126 -x125 
1796.68/1797.01	v -x124 x123 -x122 x121 -x120 x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 x109 x108 x107 x106 x105 x104 x103 -x102 
1796.68/1797.01	v x101 x100 x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 
1796.68/1797.01	v x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 x62 -x61 x60 -x59 -x58 -x57 x56 -x55 -x54 -x53 -x52 x51 x50 
1796.68/1797.01	v x49 x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 x36 -x35 -x34 -x33 x32 x31 x30 -x29 -x28 x27 x26 x25 x24 -x23 
1796.68/1797.01	v -x22 -x21 x20 -x19 -x18 x17 -x16 x15 -x14 x13 x12 -x11 -x10 x9 -x8 -x7 -x6 x5 x4 x3 -x2 -x1 
1796.68/1797.01	c SCIP Status        : solving was interrupted [time limit reached]
1796.68/1797.01	c Total Time         :    1797.00
1796.68/1797.01	c   solving          :    1797.00
1796.68/1797.01	c   presolving       :       2.73 (included in solving)
1796.68/1797.01	c   reading          :       0.06 (included in solving)
1796.68/1797.01	c   copying          :       0.58 (11 #copies) (minimal 0.02, maximal 0.10, average 0.05)
1796.68/1797.01	c Original Problem   :
1796.68/1797.01	c   Problem name     : HOME/instance-3717392-1338201413.wbo
1796.68/1797.01	c   Variables        : 17191 (17191 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01	c   Constraints      : 12570 initial, 12570 maximal
1796.68/1797.01	c   Objective sense  : minimize
1796.68/1797.01	c Presolved Problem  :
1796.68/1797.01	c   Problem name     : t_HOME/instance-3717392-1338201413.wbo
1796.68/1797.01	c   Variables        : 3943 (3943 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01	c   Constraints      : 5845 initial, 15938 maximal
1796.68/1797.01	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.68/1797.01	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   trivial          :       0.07       0.00      24508          0          0          0          0          0          0          0          0
1796.68/1797.01	c   dualfix          :       0.02       0.00         26          0          0          0          0          0          0          0          0
1796.68/1797.01	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   gateextraction   :       0.04       0.00          0          0          0          0          0      10668       3541          0          0
1796.68/1797.01	c   implics          :       0.04       0.00          0        299          0          0          0          0          0          0          0
1796.68/1797.01	c   components       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   pseudoobj        :       0.00       0.02          0          0          0        127          0          0          0          0          0
1796.68/1797.01	c   probing          :       0.05       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   varbound         :       0.01       0.00          0          0          0        127          0        256          0          0          0
1796.68/1797.01	c   knapsack         :       0.04       0.00          0          0          0          0          0          4          1          9         44
1796.68/1797.01	c   setppc           :       0.13       0.00          0          8          0          0          0        186          0          1          0
1796.68/1797.01	c   and              :       0.78       0.00         20        149          0          0          0        537        471          0         30
1796.68/1797.01	c   linear           :       0.89       0.03        770         16          0      13242          0      13594          0        419        914
1796.68/1797.01	c   indicator        :       0.00       0.01         21          0          0          0          0        713          0          0          0
1796.68/1797.01	c   logicor          :       0.27       0.01          0          0          0          1          0        518          0          0          0
1796.68/1797.01	c   bounddisjunction :       0.02       0.00          0          0          0          0          0         86          0          0          0
1796.68/1797.01	c   root node        :          -          -      24328          -          -      24328          -          -          -          -          -
1796.68/1797.01	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.68/1797.01	c   integral         :          0          0          0          0      23055          0      23004          0          0          0          0          0      46094
1796.68/1797.01	c   knapsack         :        969        969          3     319472          0          1      20534     147390       3355     270557        600          0          0
1796.68/1797.01	c   setppc           :        674        674          3     316117          0          1         17     325155       1377     315172          4          0          0
1796.68/1797.01	c   and              :       2894       2894      46716     314740          0          1         12    1997395       5659    1848340     195414          0          0
1796.68/1797.01	c   logicor          :        622+     11094          3     166296          0          0          4     229407       2737     130035          8          0          0
1796.68/1797.01	c   bounddisjunction :        686        686          0      29294          0          0          0        442         16       1562          0          0          0
1796.68/1797.01	c   countsols        :          0          0          0          0          8          1       1094          0          0          0          0          0          0
1796.68/1797.01	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.68/1797.01	c   integral         :       7.98       0.00       0.00       0.00       2.11       0.00       5.87       0.00
1796.68/1797.01	c   knapsack         :       8.15       0.00       0.01       7.94       0.00       0.00       0.08       0.13
1796.68/1797.01	c   setppc           :       3.54       0.00       0.00       3.33       0.00       0.00       0.00       0.21
1796.68/1797.01	c   and              :      29.83       0.00      18.31      10.38       0.00       0.00       0.01       1.14
1796.68/1797.01	c   logicor          :       4.56       0.01       0.00       4.20       0.00       0.00       0.00       0.35
1796.68/1797.01	c   bounddisjunction :       0.27       0.00       0.00       0.27       0.00       0.00       0.00       0.00
1796.68/1797.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.68/1797.01	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.68/1797.01	c   rootredcost      :         29          0          0      12420
1796.68/1797.01	c   pseudoobj        :      38353       2911         24     259150
1796.68/1797.01	c   vbounds          :       1501       5175          3     747642
1796.68/1797.01	c   redcost          :      51214          0          0     280391
1796.68/1797.01	c   probing          :          0          0          0          0
1796.68/1797.01	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.68/1797.01	c   rootredcost      :       0.19       0.00       0.00       0.19       0.00
1796.68/1797.01	c   pseudoobj        :       4.56       0.02       0.00       1.80       2.74
1796.68/1797.01	c   vbounds          :       6.02       0.02       0.00       6.00       0.00
1796.68/1797.01	c   redcost          :       8.41       0.00       0.00       8.41       0.00
1796.68/1797.01	c   probing          :       0.06       0.00       0.05       0.00       0.00
1796.68/1797.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.68/1797.01	c   propagation      :       6.14      13475      13084     113054       41.5       2887       21.4          -
1796.68/1797.01	c   infeasible LP    :       0.92        602        602       1753       28.0        144       13.0          0
1796.68/1797.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.68/1797.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.68/1797.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.68/1797.01	c   applied globally :          -          -          -      38663       28.2          -          -          -
1796.68/1797.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.68/1797.01	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.68/1797.01	c   cut pool         :       0.00                     0          -          -          0          -    (maximal pool size: 1023)
1796.68/1797.01	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.68/1797.01	c   impliedbounds    :       0.01       0.00          8          0          0       1199          0
1796.68/1797.01	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.68/1797.01	c   gomory           :       0.83       0.00          8          0          0        400          0
1796.68/1797.01	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.68/1797.01	c   strongcg         :       4.32       0.00          8          0          0       3994          0
1796.68/1797.01	c   cmir             :       5.27       0.00          8          0          0        722          0
1796.68/1797.01	c   flowcover        :       2.91       0.00          8          0          0       1603          0
1796.68/1797.01	c   clique           :       0.17       0.00          3          0          0         15          0
1796.68/1797.01	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.68/1797.01	c   mcf              :       0.09       0.00          3          0          0          0          0
1796.68/1797.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.68/1797.01	c   rapidlearning    :       9.51       0.00          1          0         16          0       1667
1796.68/1797.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.68/1797.01	c   problem variables:       0.00          -          0          0
1796.68/1797.01	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.68/1797.01	c   inference        :       2.07       0.00      23048          0          0          0          0      46096
1796.68/1797.01	c   relpscost        :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.01	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.68/1797.01	c   LP solutions     :       0.03          -          -          8
1796.68/1797.01	c   pseudo solutions :       0.00          -          -          0
1796.68/1797.01	c   feaspump         :       0.00       0.00          0          0
1796.68/1797.01	c   intshifting      :       0.00       0.00          0          0
1796.68/1797.01	c   oneopt           :       0.33       0.00         30          0
1796.68/1797.01	c   guideddiving     :      51.66       0.00          8          0
1796.68/1797.01	c   objpscostdiving  :      43.94       0.00         11          0
1796.68/1797.01	c   rootsoldiving    :      12.72       0.00         13          0
1796.68/1797.01	c   crossover        :       3.30       0.00          9          0
1796.68/1797.01	c   fracdiving       :      89.53       0.00         76          9
1796.68/1797.01	c   linesearchdiving :      63.64       0.00         76          1
1796.68/1797.01	c   veclendiving     :     120.05       0.00         76          9
1796.68/1797.01	c   pscostdiving     :      81.30       0.00         77          2
1796.68/1797.01	c   smallcard        :       0.00       0.00          0          0
1796.68/1797.01	c   trivial          :       0.04       0.00          2          1
1796.68/1797.01	c   shiftandpropagate:       0.00       0.00          0          0
1796.68/1797.01	c   simplerounding   :       0.54       0.00      50946          0
1796.68/1797.01	c   zirounding       :       1.60       0.00       1000          0
1796.68/1797.01	c   rounding         :       2.06       0.00       3175          0
1796.68/1797.01	c   shifting         :      35.79       0.00       5405         17
1796.68/1797.01	c   twoopt           :       0.00       0.00          0          0
1796.68/1797.01	c   indoneopt        :      10.66       0.01         43         14
1796.68/1797.01	c   indtwoopt        :       0.00       0.01          0          0
1796.68/1797.01	c   fixandinfer      :       0.00       0.00          0          0
1796.68/1797.01	c   clique           :       0.00       0.00          0          0
1796.68/1797.01	c   coefdiving       :     133.59       0.00        178          8
1796.68/1797.01	c   indrounding      :      61.89       0.00      23045        385
1796.68/1797.01	c   indcoefdiving    :       0.00       0.00          0          0
1796.68/1797.01	c   nlpdiving        :       0.00       0.00          0          0
1796.68/1797.01	c   intdiving        :       0.00       0.00          0          0
1796.68/1797.01	c   actconsdiving    :       0.00       0.00          0          0
1796.68/1797.01	c   octane           :       0.00       0.00          0          0
1796.68/1797.01	c   rens             :       0.80       0.00          1          0
1796.68/1797.01	c   rins             :       0.00       0.00          0          0
1796.68/1797.01	c   localbranching   :       0.00       0.00          0          0
1796.68/1797.01	c   mutation         :       0.00       0.00          0          0
1796.68/1797.01	c   dins             :       0.00       0.00          0          0
1796.68/1797.01	c   vbounds          :       0.00       0.00          0          0
1796.68/1797.01	c   undercover       :       0.00       0.00          0          0
1796.68/1797.01	c   subnlp           :       0.01       0.00          0          0
1796.68/1797.01	c   trysol           :       0.25       0.00         12         12
1796.68/1797.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.68/1797.01	c   primal LP        :       0.02          3          0       0.00       0.00       0.02          3
1796.68/1797.01	c   dual LP          :     853.37      51419    2941792      57.55    3447.28       2.18        300
1796.68/1797.01	c   lex dual LP      :       0.00          0          0       0.00          -
1796.68/1797.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.68/1797.01	c   diving/probing LP:     444.59      29533     737025      24.96    1657.78
1796.68/1797.01	c   strong branching :       0.00          0          0       0.00          -
1796.68/1797.01	c     (at root node) :          -          0          0       0.00          -
1796.68/1797.01	c   conflict analysis:       0.00          0          0       0.00          -
1796.68/1797.01	c B&B Tree           :
1796.68/1797.01	c   number of runs   :          3
1796.68/1797.01	c   nodes            :      26221
1796.68/1797.01	c   nodes (total)    :      29300
1796.68/1797.01	c   nodes left       :        318
1796.68/1797.01	c   max depth        :         72
1796.68/1797.01	c   max depth (total):        170
1796.68/1797.01	c   backtracks       :       6359 (24.3%)
1796.68/1797.01	c   delayed cutoffs  :      13964
1796.68/1797.01	c   repropagations   :      22831 (892624 domain reductions, 5593 cutoffs)
1796.68/1797.01	c   avg switch length:       3.21
1796.68/1797.01	c   switching time   :      18.57
1796.68/1797.01	c Solution           :
1796.68/1797.01	c   Solutions found  :        466 (44 improvements)
1796.68/1797.01	c   First Solution   : +6.36316000000000e+05   (in run 1, after 0 nodes, 0.20 seconds, depth 0, found by <trivial>)
1796.68/1797.01	c   Primal Bound     : +1.00000000000000e+00   (in run 2, after 173 nodes, 794.03 seconds, depth 120, found by <linesearchdiving>)
1796.68/1797.01	c   Dual Bound       : +0.00000000000000e+00
1796.68/1797.01	c   Gap              :   infinite
1796.68/1797.01	c   Root Dual Bound  : +0.00000000000000e+00
1796.68/1797.01	c   Root Iterations  :      26761
1796.78/1797.14	c Time complete: 1796.83.

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-3717392-1338201413/watcher-3717392-1338201413 -o /tmp/evaluation-result-3717392-1338201413/solver-3717392-1338201413 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717392-1338201413.wbo -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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: 1.94 2.01 1.99 2/176 4312
/proc/meminfo: memFree=27610344/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=10188 CPUtime=0 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 1292 0 0 0 0 0 0 0 20 0 1 0 286266763 10432512 1246 33554432000 4194304 10173063 140733514841680 140736786201160 7545739 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 2547 1247 416 1460 0 1078 0

[startup+0.0347961 s]
/proc/loadavg: 1.94 2.01 1.99 2/176 4312
/proc/meminfo: memFree=27610344/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=20832 CPUtime=0.02 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 3945 0 0 0 2 0 0 0 20 0 1 0 286266763 21331968 3899 33554432000 4194304 10173063 140733514841680 140736786201160 8985008 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 5208 3899 416 1460 0 3739 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 20832

[startup+0.100291 s]
/proc/loadavg: 1.94 2.01 1.99 2/176 4312
/proc/meminfo: memFree=27610344/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=52436 CPUtime=0.09 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 11834 0 0 0 7 2 0 0 20 0 1 0 286266763 53694464 11752 33554432000 4194304 10173063 140733514841680 140733514835608 5760629 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 13109 11752 499 1460 0 11640 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 52436

[startup+0.300186 s]
/proc/loadavg: 1.94 2.01 1.99 2/176 4312
/proc/meminfo: memFree=27610344/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=102772 CPUtime=0.29 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 23926 0 0 0 24 5 0 0 20 0 1 0 286266763 105238528 23455 33554432000 4194304 10173063 140733514841680 140733514835608 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 25693 23455 564 1460 0 24224 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 102772

[startup+0.700181 s]
/proc/loadavg: 1.94 2.01 1.99 2/176 4312
/proc/meminfo: memFree=27610344/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=116640 CPUtime=0.69 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 27053 0 0 0 64 5 0 0 20 0 1 0 286266763 119439360 26432 33554432000 4194304 10173063 140733514841680 140733514837960 5760629 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 29160 26432 630 1460 0 27691 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 116640

[startup+1.50017 s]
/proc/loadavg: 1.94 2.01 1.99 3/177 4313
/proc/meminfo: memFree=27507076/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=116640 CPUtime=1.48 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 27053 0 0 0 143 5 0 0 20 0 1 0 286266763 119439360 26432 33554432000 4194304 10173063 140733514841680 140733514837960 4502492 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 29160 26432 630 1460 0 27691 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 116640

[startup+3.10017 s]
/proc/loadavg: 1.94 2.01 1.99 3/177 4313
/proc/meminfo: memFree=27506828/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=116640 CPUtime=3.08 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 27053 0 0 0 303 5 0 0 20 0 1 0 286266763 119439360 26432 33554432000 4194304 10173063 140733514841680 140733514837960 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 29160 26432 630 1460 0 27691 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 116640

[startup+6.30024 s]
/proc/loadavg: 1.94 2.01 1.99 3/177 4313
/proc/meminfo: memFree=27501668/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=116640 CPUtime=6.28 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 27053 0 0 0 623 5 0 0 20 0 1 0 286266763 119439360 26432 33554432000 4194304 10173063 140733514841680 140733514837960 5643168 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 29160 26432 630 1460 0 27691 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 116640

[startup+12.7002 s]
/proc/loadavg: 1.95 2.01 1.99 3/177 4313
/proc/meminfo: memFree=27422796/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=185752 CPUtime=12.69 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 43902 0 0 0 1260 9 0 0 20 0 1 0 286266763 190210048 43331 33554432000 4194304 10173063 140733514841680 140733514835032 7984376 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 46438 43331 787 1460 0 44969 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 185752

[startup+25.5001 s]
/proc/loadavg: 1.96 2.01 1.99 3/177 4313
/proc/meminfo: memFree=27375844/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=195632 CPUtime=25.48 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 46193 0 0 0 2535 13 0 0 20 0 1 0 286266763 200327168 46118 33554432000 4194304 10173063 140733514841680 140733514837064 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 48908 46118 787 1460 0 47439 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 195632

[startup+51.1002 s]
/proc/loadavg: 1.97 2.01 1.99 3/177 4313
/proc/meminfo: memFree=27358348/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=208052 CPUtime=51.08 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 48495 0 0 0 5090 18 0 0 20 0 1 0 286266763 213045248 48931 33554432000 4194304 10173063 140733514841680 140733514836504 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 52013 48931 790 1460 0 50544 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 208052

[startup+102.306 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 4313
/proc/meminfo: memFree=27299004/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=252620 CPUtime=102.28 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 88205 0 0 0 10193 35 0 0 20 0 1 0 286266763 258682880 60297 33554432000 4194304 10173063 140733514841680 140733514834856 7981112 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 63155 60297 839 1460 0 61686 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 252620

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 4313
/proc/meminfo: memFree=27282176/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=255448 CPUtime=162.26 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 90771 0 0 0 16181 45 0 0 20 0 1 0 286266763 261578752 61613 33554432000 4194304 10173063 140733514841680 140733514834936 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 63862 61613 839 1460 0 62393 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 255448

[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/178 4316
/proc/meminfo: memFree=27262740/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=268984 CPUtime=222.24 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 94122 0 0 0 22169 55 0 0 20 0 1 0 286266763 275439616 65311 33554432000 4194304 10173063 140733514841680 140733514834328 7902055 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 67246 65311 839 1460 0 65777 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 268984

[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 4317
/proc/meminfo: memFree=27252580/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=280340 CPUtime=282.23 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 96766 0 0 0 28156 67 0 0 20 0 1 0 286266763 287068160 68502 33554432000 4194304 10173063 140733514841680 140733514834776 8038495 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 70085 68502 839 1460 0 68616 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 280340

[startup+342.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 4317
/proc/meminfo: memFree=27235908/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=287744 CPUtime=342.22 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 127342 0 0 0 34140 82 0 0 20 0 1 0 286266763 294649856 70738 33554432000 4194304 10173063 140733514841680 140733514834920 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 71936 70738 851 1460 0 70467 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 287744

[startup+402.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 4317
/proc/meminfo: memFree=27172668/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=324988 CPUtime=402.2 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 166803 0 0 0 40125 95 0 0 20 0 1 0 286266763 332787712 79970 33554432000 4194304 10173063 140733514841680 140733514835032 7706056 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 81247 79970 851 1460 0 79778 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 324988

[startup+462.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 4317
/proc/meminfo: memFree=27165784/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=327556 CPUtime=462.2 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 167496 0 0 0 46113 107 0 0 20 0 1 0 286266763 335417344 80663 33554432000 4194304 10173063 140733514841680 140733514835320 8012302 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 81889 80663 851 1460 0 80420 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 327556

[startup+522.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 4317
/proc/meminfo: memFree=27160704/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=331044 CPUtime=522.19 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 168449 0 0 0 52102 117 0 0 20 0 1 0 286266763 338989056 81613 33554432000 4194304 10173063 140733514841680 140733514833880 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 82761 81613 851 1460 0 81292 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 331044

[startup+582.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 4318
/proc/meminfo: memFree=27155744/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=332624 CPUtime=582.18 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 201625 0 0 0 58083 135 0 0 20 0 1 0 286266763 340606976 82208 33554432000 4194304 10173063 140733514841680 140733514834984 7984421 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 83156 82208 876 1460 0 81687 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 332624

[startup+642.3 s]

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

/proc/meminfo: memFree=26982892/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=493960 CPUtime=1062.11 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242126 0 0 0 105805 406 0 0 20 0 1 0 286266763 505815040 122488 33554432000 4194304 10173063 140733514841680 140733514835320 7722896 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 123490 122488 887 1460 0 122021 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 493960

[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 4322
/proc/meminfo: memFree=26986372/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=493960 CPUtime=1122.1 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242128 0 0 0 111770 440 0 0 20 0 1 0 286266763 505815040 122488 33554432000 4194304 10173063 140733514841680 140733514835400 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 123490 122488 887 1460 0 122021 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 493960

[startup+1182.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 4323
/proc/meminfo: memFree=26984292/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=493960 CPUtime=1182.08 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242136 0 0 0 117735 473 0 0 20 0 1 0 286266763 505815040 122616 33554432000 4194304 10173063 140733514841680 140733514835320 7934953 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 123490 122616 887 1460 0 122021 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 493960

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 4323
/proc/meminfo: memFree=26981576/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=493960 CPUtime=1242.07 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242136 0 0 0 123698 509 0 0 20 0 1 0 286266763 505815040 122631 33554432000 4194304 10173063 140733514841680 140733514835320 7396683 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 123490 122631 887 1460 0 122021 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 493960

[startup+1302.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 4323
/proc/meminfo: memFree=26982444/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=493960 CPUtime=1302.06 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242136 0 0 0 129667 539 0 0 20 0 1 0 286266763 505815040 122631 33554432000 4194304 10173063 140733514841680 140733514837048 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 123490 122631 887 1460 0 122021 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 493960

[startup+1362.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/177 4323
/proc/meminfo: memFree=26984304/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=493960 CPUtime=1362.05 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242136 0 0 0 135636 569 0 0 20 0 1 0 286266763 505815040 122631 33554432000 4194304 10173063 140733514841680 140733514837048 8032937 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 123490 122631 887 1460 0 122021 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 493960

[startup+1422.31 s]
/proc/loadavg: 2.11 2.05 2.01 3/178 4326
/proc/meminfo: memFree=26986340/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=497472 CPUtime=1422.05 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242730 0 0 0 141603 602 0 0 20 0 1 0 286266763 509411328 123225 33554432000 4194304 10173063 140733514841680 140733514835032 7911564 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 124368 123225 887 1460 0 122899 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 497472

[startup+1482.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/178 4349
/proc/meminfo: memFree=26974592/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=497472 CPUtime=1482.04 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242730 0 0 0 147569 635 0 0 20 0 1 0 286266763 509411328 123225 33554432000 4194304 10173063 140733514841680 140733514838168 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 124368 123225 887 1460 0 122899 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 497472

[startup+1542.3 s]
/proc/loadavg: 2.15 2.09 2.02 3/177 4349
/proc/meminfo: memFree=26977456/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=497472 CPUtime=1542.02 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242730 0 0 0 153536 666 0 0 20 0 1 0 286266763 509411328 123225 33554432000 4194304 10173063 140733514841680 140733514835400 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 124368 123225 887 1460 0 122899 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 497472

[startup+1602.3 s]
/proc/loadavg: 2.17 2.10 2.02 3/177 4349
/proc/meminfo: memFree=26974108/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=497472 CPUtime=1602.01 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242730 0 0 0 159503 698 0 0 20 0 1 0 286266763 509411328 123225 33554432000 4194304 10173063 140733514841680 140733514837608 8007064 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 124368 123225 887 1460 0 122899 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 497472

[startup+1662.3 s]
/proc/loadavg: 2.06 2.08 2.02 3/177 4349
/proc/meminfo: memFree=26975100/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=497472 CPUtime=1662.01 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242730 0 0 0 165473 728 0 0 20 0 1 0 286266763 509411328 123225 33554432000 4194304 10173063 140733514841680 140733514834936 7396628 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 124368 123225 887 1460 0 122899 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 497472

[startup+1722.3 s]
/proc/loadavg: 2.07 2.08 2.02 3/177 4387
/proc/meminfo: memFree=27122980/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=497472 CPUtime=1722 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242730 0 0 0 171444 756 0 0 20 0 1 0 286266763 509411328 123492 33554432000 4194304 10173063 140733514841680 140733514835352 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 124368 123492 887 1460 0 122899 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 497472

[startup+1782.3 s]
/proc/loadavg: 1.94 2.04 2.01 3/177 4426
/proc/meminfo: memFree=27376164/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=497472 CPUtime=1781.98 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242730 0 0 0 177411 787 0 0 20 0 1 0 286266763 509411328 123492 33554432000 4194304 10173063 140733514841680 140733514837608 8033045 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 124368 123492 887 1460 0 122899 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 497472

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

[startup+1785.5 s]
/proc/loadavg: 1.95 2.04 2.01 3/177 4426
/proc/meminfo: memFree=27376200/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=497472 CPUtime=1785.18 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242730 0 0 0 177730 788 0 0 20 0 1 0 286266763 509411328 123492 33554432000 4194304 10173063 140733514841680 140733514835032 7911677 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 124368 123492 887 1460 0 122899 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 497472

[startup+1791.91 s]
/proc/loadavg: 1.95 2.04 2.01 3/177 4426
/proc/meminfo: memFree=27372048/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=497472 CPUtime=1791.59 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242730 0 0 0 178367 792 0 0 20 0 1 0 286266763 509411328 123492 33554432000 4194304 10173063 140733514841680 140733514834616 5084148 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 124368 123492 887 1460 0 122899 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 497472

[startup+1795.1 s]
/proc/loadavg: 1.95 2.04 2.01 3/177 4426
/proc/meminfo: memFree=27368336/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=497472 CPUtime=1794.79 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242730 0 0 0 178685 794 0 0 20 0 1 0 286266763 509411328 123492 33554432000 4194304 10173063 140733514841680 140733514835320 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 124368 123492 887 1460 0 122899 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 497472

[startup+1795.9 s]
/proc/loadavg: 1.95 2.04 2.01 3/177 4426
/proc/meminfo: memFree=27368336/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=497472 CPUtime=1795.59 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242730 0 0 0 178764 795 0 0 20 0 1 0 286266763 509411328 123492 33554432000 4194304 10173063 140733514841680 140733514835320 6126936 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 124368 123492 887 1460 0 122899 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (KiB) 497472

[startup+1796.7 s]
/proc/loadavg: 1.96 2.04 2.00 3/177 4426
/proc/meminfo: memFree=27367600/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=497472 CPUtime=1796.38 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242730 0 0 0 178843 795 0 0 20 0 1 0 286266763 509411328 123492 33554432000 4194304 10173063 140733514841680 140733514835320 6816349 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 124368 123492 887 1460 0 122899 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 497472

[startup+1797.1 s]
/proc/loadavg: 1.96 2.04 2.00 3/177 4426
/proc/meminfo: memFree=27367600/32873648 swapFree=7104/7104
[pid=4312] ppid=4310 vsize=495428 CPUtime=1796.78 cores=0,2,4,6
/proc/4312/stat : 4312 (scip-2.1.1.4fix) R 4310 4312 32675 0 -1 4202496 242732 0 0 0 178883 795 0 0 20 0 1 0 286266763 507318272 122994 33554432000 4194304 10173063 140733514841680 140733514841000 7550192 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4312/statm: 123857 122994 889 1460 0 122388 0
Current children cumulated CPU time (s) 1796.78
Current children cumulated vsize (KiB) 495428

Child status: 0
Real time (s): 1797.15
CPU time (s): 1796.84
CPU user time (s): 1788.87
CPU system time (s): 7.96879
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 497472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.87
system time used= 7.96879
maximum resident set size= 493976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242734
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= 43
involuntary context switches= 2434

runsolver used 3.42848 second user time and 8.70368 second system time

The end

Launcher Data

Begin job on node127 at 2012-05-28 12:36:53
IDJOB=3717392
IDBENCH=79332
IDSOLVER=2300
FILE ID=node127/3717392-1338201413
RUNJOBID= node127-1338192865-32691
PBS_JOBID= 14624582
Free space on /tmp= 71156 MiB

SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.3.accl.ucl--soft-0-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-3717392-1338201413/watcher-3717392-1338201413 -o /tmp/evaluation-result-3717392-1338201413/solver-3717392-1338201413 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717392-1338201413.wbo -t 1800 -m 15500

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

MD5SUM BENCH= 65e5bfc23cfeb9f0d41691b20b2e7f01
RANDOM SEED=1623384540

node127.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.348
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	: 5332.69
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.348
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.348
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	: 5331.94
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.348
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.91
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.348
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.91
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.348
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.348
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.348
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:       32873648 kB
MemFree:        27610616 kB
Buffers:          489360 kB
Cached:          3582244 kB
SwapCached:            0 kB
Active:          1567908 kB
Inactive:        2809696 kB
Active(anon):     307740 kB
Inactive(anon):        0 kB
Active(file):    1260168 kB
Inactive(file):  2809696 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             14036 kB
Writeback:             0 kB
AnonPages:        394200 kB
Mapped:            17584 kB
Shmem:               200 kB
Slab:             745676 kB
SReclaimable:     189972 kB
SUnreclaim:       555704 kB
KernelStack:        1472 kB
PageTables:         4420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     422300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    212992 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71144 MiB
End job on node127 at 2012-05-28 13:06:50