Trace number 2705750

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
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solverMSAT 1792.51 1792.45

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh17_wcsp.wbo
MD5SUM57d73bec44a40d3308f5eb2ba913b45c
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.269958
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints950
Number of soft constraints850
Number of constraints which are clauses850
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2705750-1278580128.wbo>
0.00/0.01	c original problem has 1900 variables (1050 bin, 0 int, 850 impl, 0 cont) and 1801 constraints
0.00/0.01	c problem read
0.00/0.01	c presolving settings loaded
0.00/0.02	c presolving:
0.00/0.03	c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 0 clqs
0.00/0.03	c (round 2) 100 del vars, 101 del conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 0 clqs
0.00/0.06	c    (0.0s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06	c    (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.06	c presolving (3 rounds):
0.00/0.06	c  100 deleted vars, 101 deleted constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06	c  1900 implications, 0 cliques
0.00/0.06	c presolved problem has 1800 variables (950 bin, 0 int, 850 impl, 0 cont) and 1700 constraints
0.00/0.06	c     850 constraints of type <linear>
0.00/0.06	c     850 constraints of type <indicator>
0.00/0.06	c transformed objective value is always integral (scale: 1)
0.00/0.06	c Presolving Time: 0.04
0.00/0.06	c - non default parameters ----------------------------------------------------------------------
0.00/0.06	c # SCIP version 1.2.1.3
0.00/0.06	c 
0.00/0.06	c # frequency for displaying node information lines
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06	c display/freq = 10000
0.00/0.06	c 
0.00/0.06	c # maximal time in seconds to run
0.00/0.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06	c limits/time = 1789.99
0.00/0.06	c 
0.00/0.06	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06	c limits/memory = 3420
0.00/0.06	c 
0.00/0.06	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.06	c # [type: int, range: [1,2], default: 1]
0.00/0.06	c timing/clocktype = 2
0.00/0.06	c 
0.00/0.06	c # should presolving try to simplify inequalities
0.00/0.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06	c constraints/linear/simplifyinequalities = TRUE
0.00/0.06	c 
0.00/0.06	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06	c constraints/indicator/addCouplingCons = TRUE
0.00/0.06	c 
0.00/0.06	c # should presolving try to simplify knapsacks
0.00/0.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.06	c 
0.00/0.06	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06	c separating/rapidlearning/freq = 0
0.00/0.06	c 
0.00/0.06	c -----------------------------------------------------------------------------------------------
0.00/0.06	c start solving
0.00/0.06	c 
0.00/0.06	o 420925
0.00/0.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.06	c t 0.0s|     1 |     0 |     0 |     - |6281k|   0 |   - |1800 |1700 |   0 |   0 |   0 |   0 |   0 |      --      | 4.209250e+05 |    Inf 
0.00/0.06	c   0.0s|     1 |     0 |     0 |     - |6679k|   0 |   0 |1800 |1700 |1800 |   0 |   0 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.09/0.12	c   0.1s|     1 |     0 |    43 |     - |6744k|   0 |   0 |1800 |1700 |1800 |  71 |  71 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.09/0.13	c   0.1s|     1 |     0 |   149 |     - |6777k|   0 |  55 |1800 |1700 |1800 | 128 | 128 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.09/0.15	c   0.1s|     1 |     0 |   188 |     - |7170k|   0 |  56 |1800 |1700 |1800 | 165 | 165 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.09/0.17	c   0.2s|     1 |     0 |   224 |     - |7359k|   0 |  63 |1800 |1700 |1800 | 181 | 181 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.09/0.19	c   0.2s|     1 |     0 |   253 |     - |7603k|   0 |  72 |1800 |1700 |1800 | 190 | 190 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.19/0.22	c   0.2s|     1 |     0 |   306 |     - |7716k|   0 |  64 |1800 |1700 |1800 | 195 | 195 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.39/0.40	c   0.4s|     1 |     2 |   306 |     - |7741k|   0 |  64 |1800 |1700 |1800 | 195 | 195 |   0 |  33 | 0.000000e+00 | 4.209250e+05 |    Inf 
10.49/10.56	c  10.6s| 10000 |  9995 | 30976 |   3.1 |  20M| 559 |   0 |1800 |1710 |1800 | 214 |1948 |  10 | 786 | 0.000000e+00 | 4.209250e+05 |    Inf 
17.79/17.84	c  17.8s| 20000 | 19991 | 42893 |   2.1 |  30M| 559 |   0 |1800 |1712 |1800 | 269 |3085 |  12 | 793 | 0.000000e+00 | 4.209250e+05 |    Inf 
23.99/24.06	o 10869
23.99/24.06	c *24.0s| 29240 | 28918 | 52485 |   1.8 |  38M| 559 |   - |1800 |1714 |1800 | 282 |3981 |  14 | 793 | 0.000000e+00 | 1.086900e+04 |    Inf 
24.60/24.60	c  24.6s| 30000 | 29678 | 53191 |   1.8 |  39M| 559 |   0 |1800 |1714 |1800 | 226 |4064 |  14 | 793 | 0.000000e+00 | 1.086900e+04 |    Inf 
31.29/31.35	c  31.3s| 40000 | 39678 | 59102 |   1.5 |  49M| 559 |   0 |1800 |1714 |1800 | 215 |4648 |  14 | 793 | 0.000000e+00 | 1.086900e+04 |    Inf 
38.69/38.73	c  38.7s| 50000 | 49676 | 68148 |   1.4 |  59M| 559 |   0 |1800 |1714 |1800 | 213 |5448 |  14 | 793 | 0.000000e+00 | 1.086900e+04 |    Inf 
46.20/46.24	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
46.20/46.24	c  46.2s| 60000 | 59674 | 77190 |   1.3 |  68M| 559 |   0 |1800 |1711 |1800 | 228 |6193 |  14 | 793 | 0.000000e+00 | 1.086900e+04 |    Inf 
53.49/53.50	c  53.5s| 70000 | 69674 | 84068 |   1.2 |  78M| 559 |   0 |1800 |1711 |1800 | 221 |6783 |  14 | 793 | 0.000000e+00 | 1.086900e+04 |    Inf 
60.79/60.85	c  60.8s| 80000 | 79674 | 92069 |   1.1 |  88M| 559 |   0 |1800 |1711 |1800 | 219 |7453 |  14 | 793 | 0.000000e+00 | 1.086900e+04 |    Inf 
68.29/68.37	c  68.4s| 90000 | 89674 |100197 |   1.1 |  98M| 559 |   0 |1800 |1711 |1800 | 227 |8422 |  14 | 793 | 0.000000e+00 | 1.086900e+04 |    Inf 
75.69/75.79	c  75.8s|100000 | 99672 |107966 |   1.1 | 107M| 559 |   0 |1800 |1712 |1800 | 221 |9132 |  15 | 793 | 0.000000e+00 | 1.086900e+04 |    Inf 
82.99/83.00	c  83.0s|110000 |109672 |116964 |   1.1 | 117M| 559 |   0 |1800 |1712 |1800 | 242 |  10k|  15 | 793 | 0.000000e+00 | 1.086900e+04 |    Inf 
90.70/90.71	c  90.7s|120000 |119672 |126242 |   1.0 | 127M| 559 |   0 |1800 |1710 |1800 | 224 |  11k|  15 | 793 | 0.000000e+00 | 1.086900e+04 |    Inf 
98.39/98.45	c  98.4s|130000 |129672 |133383 |   1.0 | 137M| 559 |   0 |1800 |1708 |1800 | 218 |  11k|  15 | 793 | 0.000000e+00 | 1.086900e+04 |    Inf 
105.90/105.93	c   106s|140000 |139672 |139924 |   1.0 | 146M| 559 |   0 |1800 |1707 |1800 | 218 |  12k|  15 | 793 | 0.000000e+00 | 1.086900e+04 |    Inf 
113.50/113.51	c   113s|150000 |149672 |147230 |   1.0 | 156M| 559 |   0 |1800 |1706 |1800 | 226 |  12k|  15 | 793 | 0.000000e+00 | 1.086900e+04 |    Inf 
119.80/119.85	o 10719
119.80/119.85	c * 120s|158577 |157757 |153601 |   1.0 | 166M| 559 |   - |1800 |3311 |1800 | 273 |  13k|1620 | 793 | 0.000000e+00 | 1.071900e+04 |    Inf 
119.90/119.92	o 10714
119.90/119.92	c * 120s|158648 |157817 |153865 |   1.0 | 166M| 559 |   - |1800 |3336 |1800 | 271 |  13k|1645 | 793 | 0.000000e+00 | 1.071400e+04 |    Inf 
121.00/121.01	c   121s|160000 |158983 |155504 |   1.0 | 168M| 559 |   0 |1800 |4065 |1800 | 219 |  13k|2375 | 793 | 0.000000e+00 | 1.071400e+04 |    Inf 
129.00/129.03	c   129s|170000 |167868 |169825 |   1.0 | 181M| 559 |   0 |1800 |6339 |1800 | 228 |  15k|6178 | 793 | 0.000000e+00 | 1.071400e+04 |    Inf 
134.49/134.57	o 10608
134.49/134.57	c * 135s|176842 |173922 |178299 |   1.0 | 189M| 559 |   - |1800 |5933 |1800 | 220 |  16k|8670 | 793 | 0.000000e+00 | 1.060800e+04 |    Inf 
134.49/134.58	o 10448
134.49/134.58	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
134.49/134.58	c * 135s|176843 |173674 |178301 |   1.0 | 188M| 559 |   - |1800 |5933 |1800 | 220 |  16k|8670 | 793 | 0.000000e+00 | 1.044800e+04 |    Inf 
137.10/137.11	c   137s|180000 |176512 |181261 |   1.0 | 192M| 559 |   0 |1800 |5738 |1800 | 223 |  16k|9975 | 794 | 0.000000e+00 | 1.044800e+04 |    Inf 
145.00/145.10	c   145s|190000 |185332 |190971 |   1.0 | 203M| 559 |   0 |1800 |5926 |1800 | 223 |  17k|  14k| 804 | 0.000000e+00 | 1.044800e+04 |    Inf 
152.80/152.88	c   153s|200000 |194369 |202013 |   1.0 | 213M| 559 |   0 |1800 |4136 |1800 | 219 |  19k|  17k| 819 | 0.000000e+00 | 1.044800e+04 |    Inf 
160.89/160.95	c   161s|210000 |203203 |215448 |   1.0 | 224M| 559 |   0 |1800 |3874 |1800 | 226 |  20k|  22k| 834 | 0.000000e+00 | 1.044800e+04 |    Inf 
168.80/168.89	c   169s|220000 |212237 |228929 |   1.0 | 235M| 559 |   0 |1800 |3544 |1800 | 209 |  22k|  26k| 874 | 0.000000e+00 | 1.044800e+04 |    Inf 
176.90/176.94	c   177s|230000 |221274 |241684 |   1.0 | 246M| 559 |   0 |1800 |3465 |1800 | 226 |  23k|  29k| 891 | 0.000000e+00 | 1.044800e+04 |    Inf 
184.71/184.77	c   185s|240000 |230324 |251985 |   1.0 | 257M| 559 |   0 |1800 |3526 |1800 | 259 |  24k|  33k| 908 | 0.000000e+00 | 1.044800e+04 |    Inf 
192.40/192.41	c   192s|250000 |239460 |261609 |   1.0 | 268M| 559 |   0 |1800 |3322 |1800 | 218 |  25k|  36k| 931 | 0.000000e+00 | 1.044800e+04 |    Inf 
200.00/200.07	c   200s|260000 |248672 |270503 |   1.0 | 279M| 559 |   0 |1800 |3242 |1800 | 225 |  27k|  39k| 945 | 0.000000e+00 | 1.044800e+04 |    Inf 
208.00/208.06	c   208s|270000 |257624 |282273 |   1.0 | 290M| 559 |   0 |1800 |3632 |1800 | 222 |  28k|  43k| 968 | 0.000000e+00 | 1.044800e+04 |    Inf 
212.50/212.51	o 10424
212.50/212.51	c * 213s|275792 |262673 |287531 |   1.0 | 297M| 559 |   - |1800 |3756 |1800 | 223 |  29k|  46k| 968 | 0.000000e+00 | 1.042400e+04 |    Inf 
215.80/215.82	c   216s|280000 |266493 |290862 |   1.0 | 302M| 559 |   0 |1800 |3927 |1800 | 225 |  29k|  47k| 971 | 0.000000e+00 | 1.042400e+04 |    Inf 
222.30/222.38	o 10265
222.30/222.38	c * 222s|288155 |272785 |300276 |   1.0 | 310M| 559 |   - |1800 |4404 |1800 | 233 |  30k|  51k| 998 | 0.000000e+00 | 1.026500e+04 |    Inf 
223.80/223.89	c   224s|290000 |274407 |302385 |   1.0 | 312M| 559 |   0 |1800 |4652 |1800 | 215 |  30k|  51k| 998 | 0.000000e+00 | 1.026500e+04 |    Inf 
231.70/231.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
231.70/231.71	c   232s|300000 |283475 |311676 |   1.0 | 324M| 559 |   0 |1800 |4644 |1800 | 216 |  32k|  55k|1008 | 0.000000e+00 | 1.026500e+04 |    Inf 
237.40/237.44	o 10194
237.40/237.44	c * 237s|307087 |289193 |320515 |   1.0 | 331M| 559 |   - |1800 |4266 |1800 | 269 |  33k|  58k|1024 | 0.000000e+00 | 1.019400e+04 |    Inf 
239.81/239.80	c   240s|310000 |291861 |324380 |   1.0 | 334M| 559 |   0 |1800 |4423 |1800 | 215 |  33k|  59k|1030 | 0.000000e+00 | 1.019400e+04 |    Inf 
248.20/248.26	c   248s|320000 |300681 |339576 |   1.1 | 345M| 559 |   0 |1800 |3643 |1800 | 212 |  35k|  63k|1081 | 0.000000e+00 | 1.019400e+04 |    Inf 
256.30/256.31	c   256s|330000 |309655 |351539 |   1.1 | 356M| 559 |   0 |1800 |3897 |1800 | 217 |  36k|  67k|1124 | 0.000000e+00 | 1.019400e+04 |    Inf 
264.20/264.25	c   264s|340000 |318687 |363720 |   1.1 | 368M| 559 |   0 |1800 |3982 |1800 | 224 |  38k|  71k|1158 | 0.000000e+00 | 1.019400e+04 |    Inf 
272.50/272.52	c   273s|350000 |327455 |379027 |   1.1 | 379M| 559 |   0 |1800 |4374 |1800 | 226 |  39k|  75k|1186 | 0.000000e+00 | 1.019400e+04 |    Inf 
280.90/280.94	c   281s|360000 |336250 |393924 |   1.1 | 391M| 559 |   0 |1800 |4447 |1800 | 228 |  41k|  80k|1221 | 0.000000e+00 | 1.019400e+04 |    Inf 
288.80/288.88	c   289s|370000 |345056 |405076 |   1.1 | 403M| 559 |   0 |1800 |4187 |1800 | 213 |  42k|  85k|1259 | 0.000000e+00 | 1.019400e+04 |    Inf 
296.91/296.99	c   297s|380000 |353964 |417533 |   1.1 | 414M| 559 |   0 |1800 |3726 |1800 | 225 |  44k|  88k|1305 | 0.000000e+00 | 1.019400e+04 |    Inf 
304.50/304.52	o 10110
304.50/304.52	c * 305s|389146 |361026 |431384 |   1.1 | 423M| 559 |   - |1800 |3678 |1800 | 236 |  45k|  92k|1340 | 0.000000e+00 | 1.011000e+04 |    Inf 
304.71/304.79	o 10092
304.71/304.79	c * 305s|389452 |361082 |431932 |   1.1 | 423M| 559 |   - |1800 |3672 |1800 | 223 |  46k|  92k|1340 | 0.000000e+00 | 1.009200e+04 |    Inf 
305.20/305.28	c   305s|390000 |361588 |432935 |   1.1 | 423M| 559 |   0 |1800 |3689 |1800 | 220 |  46k|  92k|1340 | 0.000000e+00 | 1.009200e+04 |    Inf 
313.41/313.48	c   313s|400000 |370570 |445648 |   1.1 | 435M| 559 |   0 |1800 |3915 |1800 | 234 |  47k|  96k|1373 | 0.000000e+00 | 1.009200e+04 |    Inf 
321.60/321.64	c   322s|410000 |379539 |459357 |   1.1 | 446M| 559 |   0 |1800 |4470 |1800 | 225 |  49k|  99k|1403 | 0.000000e+00 | 1.009200e+04 |    Inf 
330.00/330.07	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
330.00/330.07	c   330s|420000 |388368 |475109 |   1.1 | 458M| 559 |   0 |1800 |4964 |1800 | 226 |  51k| 103k|1435 | 0.000000e+00 | 1.009200e+04 |    Inf 
338.60/338.67	c   339s|430000 |397302 |491996 |   1.1 | 470M| 559 |   0 |1800 |5122 |1800 | 211 |  53k| 107k|1465 | 0.000000e+00 | 1.009200e+04 |    Inf 
347.30/347.39	c   347s|440000 |406095 |511298 |   1.2 | 482M| 559 |   0 |1800 |4646 |1800 | 234 |  55k| 111k|1520 | 0.000000e+00 | 1.009200e+04 |    Inf 
356.01/356.08	c   356s|450000 |414896 |528453 |   1.2 | 495M| 559 |   0 |1800 |5201 |1800 | 236 |  57k| 116k|1544 | 0.000000e+00 | 1.009200e+04 |    Inf 
356.51/356.50	o 10022
356.51/356.50	c * 356s|450451 |414168 |529580 |   1.2 | 493M| 559 |   - |1800 |5221 |1800 | 248 |  57k| 116k|1551 | 0.000000e+00 | 1.002200e+04 |    Inf 
357.20/357.24	o 9865
357.20/357.24	c * 357s|451206 |412062 |531639 |   1.2 | 488M| 559 |   - |1800 |5303 |1800 | 241 |  58k| 116k|1557 | 0.000000e+00 | 9.865000e+03 |    Inf 
364.51/364.54	o 9749
364.51/364.54	c * 365s|459603 |417207 |543915 |   1.2 | 493M| 559 |   - |1800 |4352 |1800 | 270 |  59k| 120k|1626 | 0.000000e+00 | 9.749000e+03 |    Inf 
364.51/364.55	o 9640
364.51/364.55	c * 365s|459604 |414770 |543919 |   1.2 | 487M| 559 |   - |1800 |4352 |1800 | 270 |  59k| 120k|1626 | 0.000000e+00 | 9.640000e+03 |    Inf 
364.80/364.88	c   365s|460000 |415120 |544280 |   1.2 | 487M| 559 |   0 |1800 |4295 |1800 | 220 |  59k| 120k|1626 | 0.000000e+00 | 9.640000e+03 |    Inf 
372.91/372.96	c   373s|470000 |424131 |554633 |   1.2 | 498M| 559 |   0 |1800 |3914 |1800 | 227 |  61k| 123k|1644 | 0.000000e+00 | 9.640000e+03 |    Inf 
381.51/381.52	c   382s|480000 |432979 |571095 |   1.2 | 510M| 559 |   0 |1800 |4423 |1800 | 224 |  63k| 127k|1687 | 0.000000e+00 | 9.640000e+03 |    Inf 
386.40/386.43	o 9549
386.40/386.43	c * 386s|485723 |435678 |581075 |   1.2 | 510M| 559 |   - |1800 |4590 |1800 | 240 |  64k| 129k|1697 | 0.000000e+00 | 9.549000e+03 |    Inf 
390.10/390.16	c   390s|490000 |439525 |588174 |   1.2 | 515M| 559 |   0 |1800 |4859 |1800 | 236 |  65k| 131k|1698 | 0.000000e+00 | 9.549000e+03 |    Inf 
398.60/398.65	c   399s|500000 |448405 |602654 |   1.2 | 526M| 559 |   0 |1800 |4594 |1800 | 227 |  67k| 135k|1721 | 0.000000e+00 | 9.549000e+03 |    Inf 
406.91/406.92	c   407s|510000 |457259 |616365 |   1.2 | 538M| 559 |   0 |1800 |4518 |1800 | 220 |  69k| 139k|1748 | 0.000000e+00 | 9.549000e+03 |    Inf 
415.01/415.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
415.01/415.10	c   415s|520000 |466292 |628700 |   1.2 | 549M| 559 |   0 |1800 |4699 |1800 | 228 |  71k| 142k|1758 | 0.000000e+00 | 9.549000e+03 |    Inf 
423.10/423.15	c   423s|530000 |475152 |640484 |   1.2 | 561M| 559 |   0 |1800 |4487 |1800 | 229 |  72k| 146k|1793 | 0.000000e+00 | 9.549000e+03 |    Inf 
431.30/431.35	c   431s|540000 |484051 |652890 |   1.2 | 572M| 559 |   0 |1800 |4239 |1800 | 220 |  74k| 150k|1830 | 0.000000e+00 | 9.549000e+03 |    Inf 
439.40/439.43	c   439s|550000 |493084 |664600 |   1.2 | 584M| 559 |   0 |1800 |4862 |1800 | 223 |  75k| 153k|1883 | 0.000000e+00 | 9.549000e+03 |    Inf 
447.51/447.53	c   448s|560000 |502145 |676451 |   1.2 | 595M| 559 |   0 |1800 |4833 |1800 | 235 |  77k| 157k|1900 | 0.000000e+00 | 9.549000e+03 |    Inf 
455.50/455.58	c   456s|570000 |511045 |687512 |   1.2 | 607M| 559 |   0 |1800 |5462 |1800 | 241 |  79k| 161k|1923 | 0.000000e+00 | 9.549000e+03 |    Inf 
463.60/463.67	c   464s|580000 |519935 |699917 |   1.2 | 618M| 559 |   0 |1800 |5631 |1800 | 221 |  81k| 165k|1947 | 0.000000e+00 | 9.549000e+03 |    Inf 
469.41/469.46	o 9290
469.41/469.46	c * 469s|587166 |517129 |707230 |   1.2 | 601M| 559 |   - |1800 |5874 |1800 | 231 |  82k| 168k|1968 | 0.000000e+00 | 9.290000e+03 |    Inf 
469.51/469.58	o 9017
469.51/469.58	c * 470s|587279 |504942 |707352 |   1.2 | 568M| 559 |   - |1800 |5906 |1800 | 232 |  82k| 168k|1968 | 0.000000e+00 | 9.017000e+03 |    Inf 
469.71/469.71	o 8842
469.71/469.71	c * 470s|587394 |497336 |707601 |   1.2 | 551M| 559 |   - |1800 |5912 |1800 | 236 |  82k| 168k|1968 | 0.000000e+00 | 8.842000e+03 |    Inf 
469.71/469.73	o 8772
469.71/469.73	c * 470s|587395 |494215 |707602 |   1.2 | 544M| 559 |   - |1800 |5912 |1800 | 236 |  82k| 168k|1968 | 0.000000e+00 | 8.772000e+03 |    Inf 
471.92/471.91	c   472s|590000 |496467 |710326 |   1.2 | 548M| 559 |   0 |1800 |6155 |1800 | 210 |  82k| 169k|1974 | 0.000000e+00 | 8.772000e+03 |    Inf 
472.91/472.90	o 8770
472.91/472.90	c * 473s|591255 |497544 |711495 |   1.2 | 549M| 559 |   - |1800 |5972 |1800 | 219 |  82k| 170k|1976 | 0.000000e+00 | 8.770000e+03 |    Inf 
472.91/472.91	o 8744
472.91/472.91	c * 473s|591256 |496515 |711498 |   1.2 | 547M| 559 |   - |1800 |5972 |1800 | 219 |  82k| 170k|1976 | 0.000000e+00 | 8.744000e+03 |    Inf 
480.31/480.35	c   480s|600000 |504046 |723273 |   1.2 | 556M| 559 |   0 |1800 |4766 |1800 | 226 |  84k| 173k|2018 | 0.000000e+00 | 8.744000e+03 |    Inf 
488.50/488.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
488.50/488.55	c   489s|610000 |512444 |735269 |   1.2 | 568M| 559 |   0 |1800 |4829 |1800 | 225 |  85k| 178k|2042 | 0.000000e+00 | 8.744000e+03 |    Inf 
497.11/497.12	c   497s|620000 |521109 |749857 |   1.2 | 580M| 559 |   0 |1800 |4008 |1800 | 206 |  87k| 182k|2070 | 0.000000e+00 | 8.744000e+03 |    Inf 
505.30/505.31	c   505s|630000 |529916 |762723 |   1.2 | 591M| 559 |   0 |1800 |3901 |1800 | 215 |  89k| 185k|2101 | 0.000000e+00 | 8.744000e+03 |    Inf 
513.51/513.54	c   514s|640000 |538617 |775027 |   1.2 | 602M| 559 |   0 |1800 |4509 |1800 | 219 |  91k| 189k|2120 | 0.000000e+00 | 8.744000e+03 |    Inf 
521.91/521.98	c   522s|650000 |547308 |789402 |   1.2 | 613M| 559 |   0 |1800 |4487 |1800 | 230 |  92k| 193k|2151 | 0.000000e+00 | 8.744000e+03 |    Inf 
530.41/530.44	c   530s|660000 |556101 |805494 |   1.2 | 625M| 559 |   0 |1800 |3713 |1800 | 225 |  94k| 196k|2178 | 0.000000e+00 | 8.744000e+03 |    Inf 
539.02/539.02	c   539s|670000 |564893 |821745 |   1.2 | 637M| 559 |   0 |1800 |4686 |1800 | 256 |  97k| 200k|2202 | 0.000000e+00 | 8.744000e+03 |    Inf 
546.51/546.58	o 8743
546.51/546.58	c * 547s|678954 |572792 |835147 |   1.2 | 647M| 559 |   - |1800 |4470 |1800 | 242 |  98k| 203k|2235 | 0.000000e+00 | 8.743000e+03 |    Inf 
546.51/546.60	o 8670
546.51/546.60	c * 547s|678962 |569243 |835165 |   1.2 | 640M| 559 |   - |1800 |4470 |1800 | 242 |  98k| 203k|2235 | 0.000000e+00 | 8.670000e+03 |    Inf 
547.41/547.48	c   547s|680000 |570166 |836450 |   1.2 | 642M| 559 |   0 |1800 |4728 |1800 | 226 |  99k| 203k|2235 | 0.000000e+00 | 8.670000e+03 |    Inf 
555.91/555.96	c   556s|690000 |578814 |850178 |   1.2 | 654M| 559 |   - |1800 |5213 |   0 |   0 | 101k| 208k|2264 | 0.000000e+00 | 8.670000e+03 |    Inf 
562.80/562.88	o 8611
562.80/562.88	c * 563s|698486 |583165 |859443 |   1.2 | 657M| 559 |   - |1800 |4961 |1800 | 243 | 102k| 211k|2282 | 0.000000e+00 | 8.611000e+03 |    Inf 
562.90/562.90	o 8488
562.90/562.90	c * 563s|698487 |576423 |859455 |   1.2 | 643M| 559 |   - |1800 |4961 |1800 | 243 | 102k| 211k|2282 | 0.000000e+00 | 8.488000e+03 |    Inf 
564.11/564.13	c   564s|700000 |577726 |861293 |   1.2 | 645M| 559 |   0 |1800 |5222 |1800 | 219 | 102k| 212k|2282 | 0.000000e+00 | 8.488000e+03 |    Inf 
572.71/572.77	c   573s|710000 |586290 |875525 |   1.2 | 658M| 559 |   0 |1800 |5439 |1800 | 219 | 104k| 216k|2304 | 0.000000e+00 | 8.488000e+03 |    Inf 
580.91/580.90	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
580.91/580.90	c   581s|720000 |595162 |887566 |   1.2 | 669M| 559 |   0 |1800 |4936 |1800 | 223 | 106k| 220k|2353 | 0.000000e+00 | 8.488000e+03 |    Inf 
589.21/589.28	c   589s|730000 |604083 |902595 |   1.2 | 680M| 559 |   0 |1800 |3618 |1800 | 233 | 107k| 223k|2403 | 0.000000e+00 | 8.488000e+03 |    Inf 
595.81/595.82	o 8466
595.81/595.82	c * 596s|737557 |609606 |915128 |   1.2 | 687M| 559 |   - |1800 |4314 |1800 | 219 | 109k| 225k|2415 | 0.000000e+00 | 8.466000e+03 |    Inf 
597.91/597.97	c   598s|740000 |611690 |918761 |   1.2 | 690M| 559 |   0 |1800 |5024 |1800 | 236 | 110k| 226k|2430 | 0.000000e+00 | 8.466000e+03 |    Inf 
599.11/599.19	o 8394
599.11/599.19	c * 599s|741447 |608700 |920684 |   1.2 | 684M| 559 |   - |1800 |4898 |1800 | 222 | 110k| 226k|2433 | 0.000000e+00 | 8.394000e+03 |    Inf 
600.01/600.06	o 8360
600.01/600.06	c * 600s|742471 |607598 |922005 |   1.2 | 682M| 559 |   - |1800 |4955 |1800 | 222 | 110k| 227k|2434 | 0.000000e+00 | 8.360000e+03 |    Inf 
600.01/600.08	o 8170
600.01/600.08	c * 600s|742472 |596553 |922008 |   1.2 | 664M| 559 |   - |1800 |4955 |1800 | 222 | 110k| 227k|2434 | 0.000000e+00 | 8.170000e+03 |    Inf 
606.52/606.56	c   607s|750000 |603259 |935557 |   1.2 | 673M| 559 |   0 |1800 |3854 |1800 | 220 | 112k| 229k|2478 | 0.000000e+00 | 8.170000e+03 |    Inf 
615.01/615.05	c   615s|760000 |612225 |953513 |   1.3 | 684M| 559 |   - |1800 |3920 |   0 |   0 | 113k| 232k|2511 | 0.000000e+00 | 8.170000e+03 |    Inf 
623.42/623.40	c   623s|770000 |620941 |968942 |   1.3 | 696M| 559 |   0 |1800 |4358 |1800 | 215 | 115k| 236k|2525 | 0.000000e+00 | 8.170000e+03 |    Inf 
631.32/631.35	o 8169
631.32/631.35	c * 631s|779494 |629317 |981865 |   1.3 | 708M| 559 |   - |1800 |5035 |1800 | 226 | 116k| 239k|2553 | 0.000000e+00 | 8.169000e+03 |    Inf 
631.71/631.79	c   632s|780000 |629787 |982645 |   1.3 | 708M| 559 |   0 |1800 |5049 |1800 | 227 | 116k| 239k|2553 | 0.000000e+00 | 8.169000e+03 |    Inf 
640.22/640.25	c   640s|790000 |638721 |998285 |   1.3 | 720M| 559 |   0 |1800 |3963 |1800 | 210 | 118k| 242k|2596 | 0.000000e+00 | 8.169000e+03 |    Inf 
649.02/649.01	c   649s|800000 |647200 |  1016k|   1.3 | 733M| 559 |   - |1800 |4123 |   0 |   0 | 120k| 246k|2647 | 0.000000e+00 | 8.169000e+03 |    Inf 
657.31/657.36	c   657s|810000 |656165 |  1031k|   1.3 | 744M| 559 |   0 |1800 |3773 |1800 | 241 | 122k| 249k|2678 | 0.000000e+00 | 8.169000e+03 |    Inf 
665.11/665.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
665.11/665.19	c   665s|820000 |665028 |  1040k|   1.3 | 756M| 559 |   0 |1800 |4891 |1800 | 236 | 123k| 253k|2696 | 0.000000e+00 | 8.169000e+03 |    Inf 
673.71/673.75	c   674s|830000 |673680 |  1054k|   1.3 | 769M| 559 |   0 |1800 |5766 |1800 | 266 | 126k| 258k|2721 | 0.000000e+00 | 8.169000e+03 |    Inf 
681.81/681.87	c   682s|840000 |682173 |  1066k|   1.3 | 780M| 559 |   0 |1800 |4569 |1800 | 227 | 127k| 262k|2746 | 0.000000e+00 | 8.169000e+03 |    Inf 
690.41/690.43	c   690s|850000 |690723 |  1082k|   1.3 | 792M| 559 |   0 |1800 |4591 |1800 | 229 | 129k| 266k|2770 | 0.000000e+00 | 8.169000e+03 |    Inf 
698.71/698.73	c   699s|860000 |699183 |  1095k|   1.3 | 804M| 559 |   0 |1800 |4711 |1800 | 213 | 130k| 270k|2804 | 0.000000e+00 | 8.169000e+03 |    Inf 
706.91/706.95	c   707s|870000 |707442 |  1106k|   1.3 | 816M| 559 |   0 |1800 |4892 |1800 | 228 | 132k| 275k|2839 | 0.000000e+00 | 8.169000e+03 |    Inf 
715.32/715.39	c   715s|880000 |715930 |  1120k|   1.3 | 828M| 559 |   0 |1800 |4101 |1800 | 235 | 133k| 279k|2870 | 0.000000e+00 | 8.169000e+03 |    Inf 
720.12/720.19	o 8108
720.12/720.19	c * 720s|886074 |717549 |  1126k|   1.3 | 829M| 559 |   - |1800 |4630 |1800 | 225 | 134k| 281k|2873 | 0.000000e+00 | 8.108000e+03 |    Inf 
720.22/720.20	o 8078
720.22/720.20	c * 720s|886075 |715515 |  1126k|   1.3 | 826M| 559 |   - |1800 |4630 |1800 | 225 | 134k| 281k|2873 | 0.000000e+00 | 8.078000e+03 |    Inf 
723.72/723.75	c   724s|890000 |718814 |  1133k|   1.3 | 831M| 559 |   0 |1800 |5028 |1800 | 228 | 135k| 283k|2877 | 0.000000e+00 | 8.078000e+03 |    Inf 
732.02/732.07	c   732s|900000 |727423 |  1145k|   1.3 | 843M| 559 |   - |1800 |4627 |   0 |   0 | 136k| 287k|2911 | 0.000000e+00 | 8.078000e+03 |    Inf 
740.12/740.17	c   740s|910000 |736079 |  1157k|   1.3 | 854M| 559 |   0 |1800 |4561 |1800 | 212 | 138k| 290k|2936 | 0.000000e+00 | 8.078000e+03 |    Inf 
748.51/748.55	c   749s|920000 |745118 |  1172k|   1.3 | 866M| 559 |   0 |1800 |4350 |1800 | 226 | 139k| 293k|2955 | 0.000000e+00 | 8.078000e+03 |    Inf 
756.82/756.88	c   757s|930000 |753678 |  1186k|   1.3 | 878M| 559 |   0 |1800 |4589 |1800 | 221 | 141k| 297k|2981 | 0.000000e+00 | 8.078000e+03 |    Inf 
764.72/764.75	c   765s|940000 |762354 |  1196k|   1.3 | 889M| 559 |   0 |1800 |4584 |1800 | 221 | 142k| 301k|2993 | 0.000000e+00 | 8.078000e+03 |    Inf 
773.12/773.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
773.12/773.11	c   773s|950000 |770831 |  1211k|   1.3 | 901M| 559 |   0 |1800 |4644 |1800 | 234 | 144k| 305k|3043 | 0.000000e+00 | 8.078000e+03 |    Inf 
781.31/781.35	c   781s|960000 |779356 |  1224k|   1.3 | 913M| 559 |   0 |1800 |4691 |1800 | 233 | 146k| 309k|3056 | 0.000000e+00 | 8.078000e+03 |    Inf 
789.62/789.70	c   790s|970000 |787868 |  1237k|   1.3 | 925M| 559 |   0 |1800 |4227 |1800 | 221 | 148k| 314k|3083 | 0.000000e+00 | 8.078000e+03 |    Inf 
797.71/797.70	c   798s|980000 |796621 |  1248k|   1.3 | 936M| 559 |   - |1800 |4748 |   0 |   0 | 149k| 317k|3108 | 0.000000e+00 | 8.078000e+03 |    Inf 
806.01/806.08	c   806s|990000 |805520 |  1262k|   1.3 | 948M| 559 |   0 |1800 |3861 |1800 | 215 | 151k| 320k|3144 | 0.000000e+00 | 8.078000e+03 |    Inf 
814.71/814.78	c   815s|  1000k|814138 |  1278k|   1.3 | 959M| 559 |   0 |1800 |3817 |1800 | 224 | 153k| 323k|3170 | 0.000000e+00 | 8.078000e+03 |    Inf 
822.92/822.91	c   823s|  1010k|822993 |  1289k|   1.3 | 972M| 559 |   0 |1800 |4654 |1800 | 217 | 154k| 327k|3180 | 0.000000e+00 | 8.078000e+03 |    Inf 
831.02/831.02	c   831s|  1020k|831519 |  1298k|   1.3 | 983M| 559 |   0 |1800 |4670 |1800 | 224 | 156k| 332k|3189 | 0.000000e+00 | 8.078000e+03 |    Inf 
839.23/839.20	c   839s|  1030k|840151 |  1310k|   1.3 | 994M| 559 |   0 |1800 |4687 |1800 | 231 | 157k| 336k|3208 | 0.000000e+00 | 8.078000e+03 |    Inf 
847.42/847.48	c   847s|  1040k|848727 |  1323k|   1.3 |1006M| 559 |   0 |1800 |5171 |1800 | 228 | 159k| 340k|3233 | 0.000000e+00 | 8.078000e+03 |    Inf 
855.83/855.86	c   856s|  1050k|857225 |  1336k|   1.3 |1018M| 559 |   0 |1800 |3995 |1800 | 278 | 161k| 345k|3267 | 0.000000e+00 | 8.078000e+03 |    Inf 
864.22/864.25	c   864s|  1060k|865741 |  1349k|   1.3 |1030M| 559 |   0 |1800 |3974 |1800 | 222 | 163k| 349k|3291 | 0.000000e+00 | 8.078000e+03 |    Inf 
872.82/872.88	c   873s|  1070k|874127 |  1364k|   1.3 |1042M| 559 |   0 |1800 |4212 |1800 | 231 | 165k| 353k|3307 | 0.000000e+00 | 8.078000e+03 |    Inf 
881.22/881.26	c   881s|  1080k|882746 |  1377k|   1.3 |1053M| 559 |   0 |1800 |4632 |1800 | 225 | 166k| 357k|3345 | 0.000000e+00 | 8.078000e+03 |    Inf 
889.72/889.79	c   890s|  1090k|891237 |  1391k|   1.3 |1065M| 559 |   0 |1800 |5361 |1800 | 233 | 169k| 361k|3361 | 0.000000e+00 | 8.078000e+03 |    Inf 
898.02/898.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
898.02/898.05	c   898s|  1100k|899822 |  1403k|   1.3 |1077M| 559 |   - |1800 |5242 |   0 |   0 | 170k| 365k|3386 | 0.000000e+00 | 8.078000e+03 |    Inf 
906.12/906.19	c   906s|  1110k|908497 |  1414k|   1.3 |1089M| 559 |   0 |1800 |5339 |1800 | 228 | 172k| 369k|3401 | 0.000000e+00 | 8.078000e+03 |    Inf 
914.42/914.44	c   914s|  1120k|916905 |  1426k|   1.3 |1100M| 559 |   0 |1800 |5019 |1800 | 233 | 173k| 374k|3422 | 0.000000e+00 | 8.078000e+03 |    Inf 
922.33/922.39	o 7823
922.33/922.39	c * 922s|  1129k|903558 |  1436k|   1.3 |1075M| 559 |   - |1800 |4788 |1800 | 222 | 174k| 378k|3428 | 0.000000e+00 | 7.823000e+03 |    Inf 
922.72/922.77	c   923s|  1130k|903939 |  1437k|   1.3 |1076M| 559 |   0 |1800 |4809 |1800 | 221 | 175k| 378k|3428 | 0.000000e+00 | 7.823000e+03 |    Inf 
922.93/922.91	o 7814
922.93/922.91	c * 923s|  1130k|903281 |  1437k|   1.3 |1074M| 559 |   - |1800 |4849 |1800 | 224 | 175k| 378k|3428 | 0.000000e+00 | 7.814000e+03 |    Inf 
922.93/922.93	o 7803
922.93/922.93	c * 923s|  1130k|902290 |  1437k|   1.3 |1073M| 559 |   - |1800 |4849 |1800 | 224 | 175k| 378k|3428 | 0.000000e+00 | 7.803000e+03 |    Inf 
931.22/931.27	c   931s|  1140k|910671 |  1450k|   1.3 |1084M| 559 |   0 |1800 |4579 |1800 | 230 | 176k| 382k|3450 | 0.000000e+00 | 7.803000e+03 |    Inf 
939.82/939.87	c   940s|  1150k|919119 |  1464k|   1.3 |1095M| 559 |   0 |1800 |4873 |1800 | 223 | 178k| 387k|3491 | 0.000000e+00 | 7.803000e+03 |    Inf 
948.43/948.43	c   948s|  1160k|927623 |  1479k|   1.3 |1108M| 559 |   0 |1800 |5373 |1800 | 224 | 180k| 391k|3515 | 0.000000e+00 | 7.803000e+03 |    Inf 
957.32/957.37	c   957s|  1170k|936093 |  1498k|   1.3 |1119M| 559 |   0 |1800 |4680 |1800 | 215 | 182k| 395k|3546 | 0.000000e+00 | 7.803000e+03 |    Inf 
965.83/965.86	c   966s|  1180k|944694 |  1512k|   1.3 |1131M| 559 |   0 |1800 |4598 |1800 | 237 | 184k| 399k|3558 | 0.000000e+00 | 7.803000e+03 |    Inf 
974.32/974.34	c   974s|  1190k|953198 |  1526k|   1.3 |1143M| 559 |   0 |1800 |4361 |1800 | 211 | 186k| 404k|3591 | 0.000000e+00 | 7.803000e+03 |    Inf 
982.52/982.55	c   983s|  1200k|961784 |  1538k|   1.3 |1154M| 559 |   0 |1800 |3912 |1800 | 234 | 187k| 408k|3610 | 0.000000e+00 | 7.803000e+03 |    Inf 
990.72/990.78	c   991s|  1210k|970294 |  1551k|   1.3 |1165M| 559 |   0 |1800 |3981 |1800 | 233 | 189k| 412k|3627 | 0.000000e+00 | 7.803000e+03 |    Inf 
998.92/998.99	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
998.92/998.99	c   999s|  1220k|978757 |  1562k|   1.3 |1177M| 559 |   0 |1800 |4128 |1800 | 233 | 190k| 416k|3638 | 0.000000e+00 | 7.803000e+03 |    Inf 
1001.12/1001.16	o 7728
1001.12/1001.16	c *1001s|  1222k|973906 |  1565k|   1.3 |1166M| 559 |   - |1800 |3697 |1800 | 245 | 191k| 417k|3644 | 0.000000e+00 | 7.728000e+03 |    Inf 
1004.53/1004.51	o 7674
1004.53/1004.51	c *1005s|  1226k|972015 |  1570k|   1.3 |1161M| 559 |   - |1800 |3683 |1800 | 234 | 191k| 418k|3647 | 0.000000e+00 | 7.674000e+03 |    Inf 
1007.22/1007.29	c  1007s|  1230k|974966 |  1573k|   1.3 |1166M| 559 |   0 |1800 |3929 |1800 | 245 | 192k| 419k|3651 | 0.000000e+00 | 7.674000e+03 |    Inf 
1009.43/1009.43	o 7668
1009.43/1009.43	c *1009s|  1232k|976522 |  1577k|   1.3 |1167M| 559 |   - |1800 |3698 |1800 | 242 | 192k| 420k|3655 | 0.000000e+00 | 7.668000e+03 |    Inf 
1009.43/1009.46	o 7563
1009.43/1009.46	c *1009s|  1232k|965828 |  1577k|   1.3 |1147M| 559 |   - |1800 |3698 |1800 | 242 | 192k| 420k|3655 | 0.000000e+00 | 7.563000e+03 |    Inf 
1012.62/1012.66	o 7504
1012.62/1012.66	c *1013s|  1236k|962573 |  1583k|   1.3 |1140M| 559 |   - |1800 |4354 |1800 | 230 | 193k| 422k|3662 | 0.000000e+00 | 7.504000e+03 |    Inf 
1012.62/1012.68	o 7485
1012.62/1012.68	c *1013s|  1236k|960556 |  1583k|   1.3 |1136M| 559 |   - |1800 |4354 |1800 | 230 | 193k| 422k|3662 | 0.000000e+00 | 7.485000e+03 |    Inf 
1012.72/1012.71	o 7413
1012.72/1012.71	c *1013s|  1236k|952802 |  1583k|   1.3 |1121M| 559 |   - |1800 |4354 |1800 | 230 | 193k| 422k|3662 | 0.000000e+00 | 7.413000e+03 |    Inf 
1016.13/1016.12	c  1016s|  1240k|956065 |  1588k|   1.3 |1126M| 559 |   0 |1800 |4501 |1800 | 233 | 194k| 424k|3679 | 0.000000e+00 | 7.413000e+03 |    Inf 
1024.83/1024.81	c  1025s|  1250k|964569 |  1605k|   1.3 |1138M| 559 |   0 |1800 |4055 |1800 | 231 | 196k| 428k|3703 | 0.000000e+00 | 7.413000e+03 |    Inf 
1033.22/1033.21	c  1033s|  1260k|972961 |  1617k|   1.3 |1150M| 559 |   0 |1800 |4130 |1800 | 216 | 197k| 432k|3736 | 0.000000e+00 | 7.413000e+03 |    Inf 
1041.63/1041.61	c  1042s|  1270k|981625 |  1631k|   1.3 |1162M| 559 |   0 |1800 |4084 |1800 | 204 | 199k| 435k|3752 | 0.000000e+00 | 7.413000e+03 |    Inf 
1050.02/1050.09	c  1050s|  1280k|990115 |  1646k|   1.3 |1173M| 559 |   0 |1800 |3804 |1800 | 225 | 201k| 439k|3775 | 0.000000e+00 | 7.413000e+03 |    Inf 
1055.33/1055.30	o 7384
1055.33/1055.30	c *1055s|  1286k|991942 |  1655k|   1.3 |1175M| 559 |   - |1800 |4320 |1800 | 238 | 202k| 441k|3791 | 0.000000e+00 | 7.384000e+03 |    Inf 
1058.73/1058.75	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1058.73/1058.75	c  1059s|  1290k|995167 |  1661k|   1.3 |1180M| 559 |   0 |1800 |4475 |1800 | 220 | 203k| 443k|3804 | 0.000000e+00 | 7.384000e+03 |    Inf 
1064.03/1064.06	o 7363
1064.03/1064.06	c *1064s|  1296k|998084 |  1669k|   1.3 |1182M| 559 |   - |1800 |4845 |1800 | 253 | 204k| 446k|3816 | 0.000000e+00 | 7.363000e+03 |    Inf 
1064.03/1064.08	o 7333
1064.03/1064.08	c *1064s|  1296k|994905 |  1669k|   1.3 |1176M| 559 |   - |1800 |4845 |1800 | 253 | 204k| 446k|3816 | 0.000000e+00 | 7.333000e+03 |    Inf 
1067.33/1067.31	c  1067s|  1300k|998121 |  1675k|   1.3 |1180M| 559 |   0 |1800 |4286 |1800 | 220 | 205k| 447k|3817 | 0.000000e+00 | 7.333000e+03 |    Inf 
1075.63/1075.68	c  1076s|  1310k|  1006k|  1688k|   1.3 |1191M| 559 |   0 |1800 |4336 |1800 | 231 | 206k| 451k|3838 | 0.000000e+00 | 7.333000e+03 |    Inf 
1084.43/1084.45	c  1084s|  1320k|  1015k|  1702k|   1.3 |1204M| 559 |   0 |1800 |4777 |1800 | 216 | 209k| 455k|3866 | 0.000000e+00 | 7.333000e+03 |    Inf 
1092.83/1092.80	c  1093s|  1330k|  1023k|  1714k|   1.3 |1216M| 559 |   0 |1800 |4434 |1800 | 230 | 210k| 459k|3900 | 0.000000e+00 | 7.333000e+03 |    Inf 
1101.22/1101.22	c  1101s|  1340k|  1031k|  1727k|   1.3 |1228M| 559 |   0 |1800 |4748 |1800 | 217 | 212k| 463k|3919 | 0.000000e+00 | 7.333000e+03 |    Inf 
1106.54/1106.52	o 7289
1106.54/1106.52	c *1107s|  1346k|  1032k|  1736k|   1.3 |1226M| 559 |   - |1800 |4781 |1800 | 226 | 213k| 466k|3932 | 0.000000e+00 | 7.289000e+03 |    Inf 
1110.43/1110.40	c  1110s|  1350k|  1035k|  1746k|   1.3 |1232M| 559 |   0 |1800 |5016 |1800 | 229 | 214k| 468k|3973 | 0.000000e+00 | 7.289000e+03 |    Inf 
1115.93/1115.96	o 7270
1115.93/1115.96	c *1116s|  1356k|  1038k|  1754k|   1.3 |1236M| 559 |   - |1800 |4733 |1800 | 252 | 215k| 471k|3998 | 0.000000e+00 | 7.270000e+03 |    Inf 
1118.92/1118.95	c  1119s|  1360k|  1041k|  1759k|   1.3 |1240M| 559 |   0 |1800 |4148 |1800 | 221 | 216k| 472k|4000 | 0.000000e+00 | 7.270000e+03 |    Inf 
1127.44/1127.46	c  1127s|  1370k|  1050k|  1773k|   1.3 |1252M| 559 |   0 |1800 |4676 |1800 | 232 | 218k| 476k|4025 | 0.000000e+00 | 7.270000e+03 |    Inf 
1135.93/1135.91	c  1136s|  1380k|  1058k|  1785k|   1.3 |1264M| 559 |   0 |1800 |4534 |1800 | 227 | 219k| 480k|4048 | 0.000000e+00 | 7.270000e+03 |    Inf 
1144.32/1144.32	c  1144s|  1390k|  1067k|  1799k|   1.3 |1277M| 559 |   0 |1800 |4978 |1800 | 226 | 221k| 484k|4061 | 0.000000e+00 | 7.270000e+03 |    Inf 
1152.63/1152.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1152.63/1152.69	c  1153s|  1400k|  1075k|  1810k|   1.3 |1288M| 559 |   0 |1800 |4715 |1800 | 212 | 223k| 489k|4086 | 0.000000e+00 | 7.270000e+03 |    Inf 
1161.54/1161.59	c  1162s|  1410k|  1084k|  1827k|   1.3 |1301M| 559 |   0 |1800 |4945 |1800 | 238 | 225k| 493k|4120 | 0.000000e+00 | 7.270000e+03 |    Inf 
1170.43/1170.49	c  1170s|  1420k|  1092k|  1843k|   1.3 |1314M| 559 |   0 |1800 |5337 |1800 | 223 | 227k| 498k|4133 | 0.000000e+00 | 7.270000e+03 |    Inf 
1178.93/1178.96	c  1179s|  1430k|  1101k|  1857k|   1.3 |1325M| 559 |   0 |1800 |4669 |1800 | 227 | 229k| 502k|4170 | 0.000000e+00 | 7.270000e+03 |    Inf 
1187.53/1187.52	c  1188s|  1440k|  1109k|  1871k|   1.3 |1337M| 559 |   0 |1800 |4599 |1800 | 218 | 231k| 505k|4191 | 0.000000e+00 | 7.270000e+03 |    Inf 
1196.13/1196.15	c  1196s|  1450k|  1117k|  1887k|   1.3 |1349M| 559 |   0 |1800 |4619 |1800 | 233 | 233k| 509k|4213 | 0.000000e+00 | 7.270000e+03 |    Inf 
1204.54/1204.56	c  1205s|  1460k|  1126k|  1900k|   1.3 |1361M| 559 |   0 |1800 |4985 |1800 | 234 | 235k| 513k|4218 | 0.000000e+00 | 7.270000e+03 |    Inf 
1213.14/1213.12	c  1213s|  1470k|  1134k|  1914k|   1.3 |1374M| 559 |   0 |1800 |5262 |1800 | 226 | 237k| 517k|4250 | 0.000000e+00 | 7.270000e+03 |    Inf 
1216.73/1216.73	o 7169
1216.73/1216.73	c *1217s|  1474k|  1125k|  1919k|   1.3 |1351M| 559 |   - |1800 |5521 |1800 | 221 | 238k| 519k|4254 | 0.000000e+00 | 7.169000e+03 |    Inf 
1216.73/1216.76	o 7099
1216.73/1216.76	c *1217s|  1474k|  1116k|  1919k|   1.3 |1329M| 559 |   - |1800 |5521 |1800 | 221 | 238k| 519k|4254 | 0.000000e+00 | 7.099000e+03 |    Inf 
1222.03/1222.01	c  1222s|  1480k|  1120k|  1928k|   1.3 |1336M| 559 |   0 |1800 |5720 |1800 | 234 | 239k| 522k|4266 | 0.000000e+00 | 7.099000e+03 |    Inf 
1231.13/1231.19	c  1231s|  1490k|  1129k|  1947k|   1.3 |1348M| 559 |   0 |1800 |3644 |1800 | 226 | 241k| 526k|4302 | 0.000000e+00 | 7.099000e+03 |    Inf 
1239.43/1239.46	c  1239s|  1500k|  1138k|  1958k|   1.3 |1359M| 559 |   0 |1800 |4481 |1800 | 233 | 243k| 529k|4317 | 0.000000e+00 | 7.099000e+03 |    Inf 
1241.84/1241.81	o 7068
1241.84/1241.81	c *1242s|  1502k|  1135k|  1962k|   1.3 |1350M| 559 |   - |1800 |4296 |1800 | 234 | 243k| 530k|4317 | 0.000000e+00 | 7.068000e+03 |    Inf 
1241.84/1241.85	o 6984
1241.84/1241.85	c *1242s|  1502k|  1122k|  1962k|   1.3 |1321M| 559 |   - |1800 |4296 |1800 | 234 | 243k| 530k|4317 | 0.000000e+00 | 6.984000e+03 |    Inf 
1248.44/1248.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1248.44/1248.47	c  1248s|  1510k|  1128k|  1974k|   1.3 |1331M| 559 |   - |1800 |4646 |   0 |   0 | 245k| 534k|4336 | 0.000000e+00 | 6.984000e+03 |    Inf 
1257.34/1257.32	c  1257s|  1520k|  1137k|  1990k|   1.3 |1343M| 559 |   0 |1800 |4420 |1800 | 225 | 247k| 538k|4346 | 0.000000e+00 | 6.984000e+03 |    Inf 
1265.93/1265.98	c  1266s|  1530k|  1145k|  2005k|   1.3 |1355M| 559 |   0 |1800 |5047 |1800 | 233 | 249k| 542k|4382 | 0.000000e+00 | 6.984000e+03 |    Inf 
1274.23/1274.25	c  1274s|  1540k|  1153k|  2017k|   1.3 |1367M| 559 |   0 |1800 |4295 |1800 | 232 | 250k| 546k|4396 | 0.000000e+00 | 6.984000e+03 |    Inf 
1282.73/1282.76	c  1283s|  1550k|  1162k|  2031k|   1.3 |1379M| 559 |   0 |1800 |5098 |1800 | 229 | 252k| 550k|4414 | 0.000000e+00 | 6.984000e+03 |    Inf 
1291.34/1291.33	c  1291s|  1560k|  1170k|  2045k|   1.3 |1391M| 559 |   0 |1800 |4133 |1800 | 243 | 254k| 554k|4437 | 0.000000e+00 | 6.984000e+03 |    Inf 
1295.34/1295.38	o 6937
1295.34/1295.38	c *1295s|  1564k|  1167k|  2052k|   1.3 |1381M| 559 |   - |1800 |4518 |1800 | 241 | 255k| 555k|4444 | 0.000000e+00 | 6.937000e+03 |    Inf 
1295.44/1295.47	o 6858
1295.44/1295.47	c *1295s|  1564k|  1154k|  2053k|   1.3 |1356M| 559 |   - |1800 |4516 |1800 | 236 | 255k| 555k|4444 | 0.000000e+00 | 6.858000e+03 |    Inf 
1295.54/1295.50	o 6820
1295.54/1295.50	c *1295s|  1564k|  1149k|  2053k|   1.3 |1345M| 559 |   - |1800 |4516 |1800 | 236 | 255k| 555k|4444 | 0.000000e+00 | 6.820000e+03 |    Inf 
1295.54/1295.56	o 6700
1295.54/1295.56	c *1296s|  1564k|  1130k|  2053k|   1.3 |1309M| 559 |   - |1800 |4516 |1800 | 236 | 255k| 555k|4444 | 0.000000e+00 | 6.700000e+03 |    Inf 
1296.33/1296.32	o 6669
1296.33/1296.32	c *1296s|  1565k|  1126k|  2054k|   1.3 |1300M| 559 |   - |1800 |4515 |1800 | 236 | 255k| 556k|4449 | 0.000000e+00 | 6.669000e+03 |    Inf 
1296.33/1296.36	o 6623
1296.33/1296.36	c *1296s|  1565k|  1119k|  2054k|   1.3 |1287M| 559 |   - |1800 |4515 |1800 | 236 | 255k| 556k|4449 | 0.000000e+00 | 6.623000e+03 |    Inf 
1296.43/1296.44	o 6552
1296.43/1296.44	c *1296s|  1565k|  1108k|  2055k|   1.3 |1268M| 559 |   - |1800 |4505 |1800 | 239 | 255k| 556k|4449 | 0.000000e+00 | 6.552000e+03 |    Inf 
1296.43/1296.47	o 6506
1296.43/1296.47	c *1296s|  1565k|  1101k|  2055k|   1.3 |1254M| 559 |   - |1800 |4505 |1800 | 239 | 255k| 556k|4449 | 0.000000e+00 | 6.506000e+03 |    Inf 
1296.53/1296.54	o 6479
1296.53/1296.54	c *1297s|  1565k|  1097k|  2055k|   1.3 |1246M| 559 |   - |1800 |4507 |1800 | 234 | 255k| 556k|4449 | 0.000000e+00 | 6.479000e+03 |    Inf 
1296.63/1296.68	o 6438
1296.63/1296.68	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1296.63/1296.68	c *1297s|  1565k|  1091k|  2055k|   1.3 |1234M| 559 |   - |1800 |4494 |1800 | 243 | 255k| 556k|4449 | 0.000000e+00 | 6.438000e+03 |    Inf 
1296.73/1296.71	o 6396
1296.73/1296.71	c *1297s|  1565k|  1084k|  2055k|   1.3 |1221M| 559 |   - |1800 |4494 |1800 | 243 | 255k| 556k|4449 | 0.000000e+00 | 6.396000e+03 |    Inf 
1300.74/1300.72	c  1301s|  1570k|  1088k|  2064k|   1.3 |1226M| 559 |   0 |1800 |4597 |1800 | 233 | 257k| 557k|4461 | 0.000000e+00 | 6.396000e+03 |    Inf 
1309.84/1309.81	c  1310s|  1580k|  1096k|  2082k|   1.3 |1238M| 559 |   0 |1800 |4317 |1800 | 230 | 259k| 561k|4487 | 0.000000e+00 | 6.396000e+03 |    Inf 
1318.84/1318.80	c  1319s|  1590k|  1104k|  2099k|   1.3 |1250M| 559 |   0 |1800 |4467 |1800 | 227 | 261k| 565k|4519 | 0.000000e+00 | 6.396000e+03 |    Inf 
1327.64/1327.64	c  1328s|  1600k|  1112k|  2113k|   1.3 |1263M| 559 |   0 |1800 |4717 |1800 | 238 | 263k| 570k|4537 | 0.000000e+00 | 6.396000e+03 |    Inf 
1336.73/1336.72	c  1337s|  1610k|  1121k|  2130k|   1.3 |1275M| 559 |   0 |1800 |4662 |1800 | 221 | 266k| 574k|4555 | 0.000000e+00 | 6.396000e+03 |    Inf 
1345.04/1345.03	o 6338
1345.04/1345.03	c *1345s|  1619k|  1119k|  2146k|   1.3 |1268M| 559 |   - |1800 |4600 |1800 | 248 | 268k| 577k|4574 | 0.000000e+00 | 6.338000e+03 |    Inf 
1345.04/1345.05	o 6330
1345.04/1345.05	c *1345s|  1619k|  1118k|  2146k|   1.3 |1265M| 559 |   - |1800 |4600 |1800 | 249 | 268k| 577k|4574 | 0.000000e+00 | 6.330000e+03 |    Inf 
1345.13/1345.12	o 6219
1345.13/1345.12	c *1345s|  1619k|  1099k|  2146k|   1.3 |1229M| 559 |   - |1800 |4600 |1800 | 249 | 268k| 577k|4574 | 0.000000e+00 | 6.219000e+03 |    Inf 
1345.83/1345.86	c  1346s|  1620k|  1100k|  2147k|   1.3 |1230M| 559 |   0 |1800 |4768 |1800 | 227 | 268k| 577k|4587 | 0.000000e+00 | 6.219000e+03 |    Inf 
1347.34/1347.32	o 6199
1347.34/1347.32	c *1347s|  1621k|  1098k|  2149k|   1.3 |1225M| 559 |   - |1800 |4865 |1800 | 231 | 269k| 578k|4587 | 0.000000e+00 | 6.199000e+03 |    Inf 
1347.34/1347.36	o 6147
1347.34/1347.36	c *1347s|  1621k|  1089k|  2149k|   1.3 |1210M| 559 |   - |1800 |4865 |1800 | 231 | 269k| 578k|4587 | 0.000000e+00 | 6.147000e+03 |    Inf 
1355.14/1355.11	c  1355s|  1630k|  1096k|  2165k|   1.3 |1221M| 559 |   0 |1800 |4728 |1800 | 229 | 271k| 581k|4605 | 0.000000e+00 | 6.147000e+03 |    Inf 
1364.14/1364.17	c  1364s|  1640k|  1104k|  2181k|   1.3 |1233M| 559 |   - |1800 |4562 |1800 | 228 | 273k| 585k|4632 | 0.000000e+00 | 6.147000e+03 |    Inf 
1373.13/1373.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1373.13/1373.10	c  1373s|  1650k|  1113k|  2196k|   1.3 |1246M| 559 |   0 |1800 |4805 |1800 | 215 | 275k| 589k|4660 | 0.000000e+00 | 6.147000e+03 |    Inf 
1381.93/1381.93	c  1382s|  1660k|  1121k|  2213k|   1.3 |1258M| 559 |   0 |1800 |4113 |1800 | 237 | 277k| 593k|4669 | 0.000000e+00 | 6.147000e+03 |    Inf 
1390.84/1390.84	c  1391s|  1670k|  1129k|  2232k|   1.3 |1271M| 559 |   0 |1800 |3733 |1800 | 225 | 279k| 596k|4705 | 0.000000e+00 | 6.147000e+03 |    Inf 
1393.84/1393.80	o 6128
1393.84/1393.80	c *1394s|  1673k|  1129k|  2237k|   1.3 |1269M| 559 |   - |1800 |3827 |1800 | 249 | 280k| 597k|4707 | 0.000000e+00 | 6.128000e+03 |    Inf 
1396.14/1396.13	o 6112
1396.14/1396.13	c *1396s|  1675k|  1128k|  2241k|   1.3 |1268M| 559 |   - |1800 |4303 |1800 | 238 | 280k| 599k|4709 | 0.000000e+00 | 6.112000e+03 |    Inf 
1400.14/1400.16	c  1400s|  1680k|  1131k|  2249k|   1.3 |1274M| 559 |   0 |1800 |4260 |1800 | 219 | 281k| 601k|4727 | 0.000000e+00 | 6.112000e+03 |    Inf 
1409.54/1409.54	c  1410s|  1690k|  1140k|  2269k|   1.3 |1287M| 559 |   0 |1800 |4300 |1800 | 239 | 284k| 604k|4748 | 0.000000e+00 | 6.112000e+03 |    Inf 
1412.64/1412.60	o 6063
1412.64/1412.60	c *1413s|  1693k|  1134k|  2276k|   1.3 |1277M| 559 |   - |1800 |4401 |1800 | 233 | 285k| 605k|4762 | 0.000000e+00 | 6.063000e+03 |    Inf 
1412.64/1412.63	o 6037
1412.64/1412.63	c *1413s|  1693k|  1129k|  2276k|   1.3 |1269M| 559 |   - |1800 |4401 |1800 | 233 | 285k| 605k|4762 | 0.000000e+00 | 6.037000e+03 |    Inf 
1418.84/1418.90	c  1419s|  1700k|  1135k|  2289k|   1.3 |1278M| 559 |   - |1800 |4649 |   0 |   0 | 286k| 608k|4776 | 0.000000e+00 | 6.037000e+03 |    Inf 
1427.63/1427.62	o 5975
1427.63/1427.62	c *1428s|  1709k|  1131k|  2306k|   1.3 |1272M| 559 |   - |1800 |4924 |1800 | 262 | 289k| 612k|4804 | 0.000000e+00 | 5.975000e+03 |    Inf 
1428.34/1428.32	c  1428s|  1710k|  1132k|  2308k|   1.3 |1273M| 559 |   0 |1800 |4878 |1800 | 241 | 289k| 613k|4807 | 0.000000e+00 | 5.975000e+03 |    Inf 
1428.44/1428.45	o 5881
1428.44/1428.45	c *1428s|  1710k|  1116k|  2308k|   1.3 |1247M| 559 |   - |1800 |4908 |1800 | 250 | 289k| 613k|4807 | 0.000000e+00 | 5.881000e+03 |    Inf 
1428.73/1428.80	o 5830
1428.73/1428.80	c *1429s|  1710k|  1107k|  2308k|   1.3 |1235M| 559 |   - |1800 |4976 |1800 | 239 | 289k| 613k|4807 | 0.000000e+00 | 5.830000e+03 |    Inf 
1431.64/1431.66	o 5797
1431.64/1431.66	c *1432s|  1713k|  1104k|  2314k|   1.4 |1231M| 559 |   - |1800 |5002 |1800 | 245 | 290k| 615k|4815 | 0.000000e+00 | 5.797000e+03 |    Inf 
1431.74/1431.71	o 5750
1431.74/1431.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1431.74/1431.71	c *1432s|  1713k|  1096k|  2314k|   1.4 |1220M| 559 |   - |1800 |5002 |1800 | 245 | 290k| 615k|4815 | 0.000000e+00 | 5.750000e+03 |    Inf 
1435.04/1435.09	o 5718
1435.04/1435.09	c *1435s|  1716k|  1093k|  2322k|   1.4 |1216M| 559 |   - |1800 |4217 |1800 | 239 | 291k| 616k|4833 | 0.000000e+00 | 5.718000e+03 |    Inf 
1435.14/1435.12	o 5683
1435.14/1435.12	c *1435s|  1716k|  1087k|  2322k|   1.4 |1208M| 559 |   - |1800 |4217 |1800 | 239 | 291k| 616k|4833 | 0.000000e+00 | 5.683000e+03 |    Inf 
1438.04/1438.09	c  1438s|  1720k|  1090k|  2328k|   1.4 |1213M| 559 |   0 |1800 |4270 |1800 | 226 | 291k| 618k|4836 | 0.000000e+00 | 5.683000e+03 |    Inf 
1447.34/1447.30	c  1447s|  1730k|  1098k|  2346k|   1.4 |1226M| 559 |   0 |1800 |3886 |1800 | 226 | 294k| 621k|4868 | 0.000000e+00 | 5.683000e+03 |    Inf 
1456.14/1456.18	c  1456s|  1740k|  1106k|  2362k|   1.4 |1239M| 559 |   0 |1800 |4453 |1800 | 224 | 296k| 625k|4883 | 0.000000e+00 | 5.683000e+03 |    Inf 
1463.23/1463.25	o 5631
1463.23/1463.25	c *1463s|  1747k|  1104k|  2375k|   1.4 |1237M| 559 |   - |1800 |4455 |1800 | 235 | 297k| 628k|4898 | 0.000000e+00 | 5.631000e+03 |    Inf 
1463.33/1463.32	o 5513
1463.33/1463.32	c *1463s|  1747k|  1084k|  2375k|   1.4 |1210M| 559 |   - |1800 |4465 |1800 | 237 | 297k| 628k|4898 | 0.000000e+00 | 5.513000e+03 |    Inf 
1465.44/1465.43	c  1465s|  1750k|  1086k|  2379k|   1.4 |1213M| 559 |   0 |1800 |4475 |1800 | 216 | 298k| 629k|4903 | 0.000000e+00 | 5.513000e+03 |    Inf 
1474.64/1474.67	c  1475s|  1760k|  1094k|  2396k|   1.4 |1226M| 559 |   0 |1800 |4830 |1800 | 221 | 301k| 633k|4922 | 0.000000e+00 | 5.513000e+03 |    Inf 
1483.74/1483.74	c  1484s|  1770k|  1102k|  2414k|   1.4 |1239M| 559 |   0 |1800 |4538 |1800 | 236 | 303k| 636k|4943 | 0.000000e+00 | 5.513000e+03 |    Inf 
1493.04/1493.05	c  1493s|  1780k|  1110k|  2433k|   1.4 |1252M| 559 |   0 |1800 |4198 |1800 | 229 | 306k| 641k|4974 | 0.000000e+00 | 5.513000e+03 |    Inf 
1498.44/1498.40	o 5140
1498.44/1498.40	c *1498s|  1785k|  1049k|  2444k|   1.4 |1163M| 559 |   - |1800 |4337 |1800 | 265 | 307k| 643k|4986 | 0.000000e+00 | 5.140000e+03 |    Inf 
1498.54/1498.50	o 5021
1498.54/1498.50	c *1498s|  1785k|  1027k|  2444k|   1.4 |1130M| 559 |   - |1800 |4328 |1800 | 263 | 307k| 643k|4986 | 0.000000e+00 | 5.021000e+03 |    Inf 
1502.64/1502.60	c  1503s|  1790k|  1030k|  2452k|   1.4 |1136M| 559 |   0 |1800 |4432 |1800 | 247 | 308k| 645k|4993 | 0.000000e+00 | 5.021000e+03 |    Inf 
1512.34/1512.31	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1512.34/1512.31	c  1512s|  1800k|  1038k|  2474k|   1.4 |1150M| 559 |   0 |1800 |4051 |1800 | 229 | 311k| 649k|5044 | 0.000000e+00 | 5.021000e+03 |    Inf 
1521.35/1521.30	c  1521s|  1810k|  1046k|  2490k|   1.4 |1162M| 559 |   0 |1800 |3753 |1800 | 236 | 313k| 652k|5046 | 0.000000e+00 | 5.021000e+03 |    Inf 
1530.44/1530.42	c  1530s|  1820k|  1054k|  2509k|   1.4 |1175M| 559 |   0 |1800 |3850 |1800 | 229 | 316k| 656k|5075 | 0.000000e+00 | 5.021000e+03 |    Inf 
1530.94/1530.98	o 4984
1530.94/1530.98	c *1531s|  1820k|  1048k|  2511k|   1.4 |1166M| 559 |   - |1800 |3947 |1800 | 256 | 316k| 656k|5075 | 0.000000e+00 | 4.984000e+03 |    Inf 
1531.04/1531.02	o 4946
1531.04/1531.02	c *1531s|  1820k|  1041k|  2511k|   1.4 |1156M| 559 |   - |1800 |3947 |1800 | 256 | 316k| 656k|5075 | 0.000000e+00 | 4.946000e+03 |    Inf 
1531.04/1531.06	o 4903
1531.04/1531.06	c *1531s|  1820k|  1033k|  2511k|   1.4 |1146M| 559 |   - |1800 |3947 |1800 | 256 | 316k| 656k|5075 | 0.000000e+00 | 4.903000e+03 |    Inf 
1533.54/1533.51	o 4890
1533.54/1533.51	c *1533s|  1822k|  1033k|  2517k|   1.4 |1146M| 559 |   - |1800 |4158 |1800 | 256 | 317k| 657k|5076 | 0.000000e+00 | 4.890000e+03 |    Inf 
1534.45/1534.44	o 4843
1534.45/1534.44	c *1534s|  1823k|  1025k|  2519k|   1.4 |1136M| 559 |   - |1800 |4078 |1800 | 265 | 317k| 657k|5076 | 0.000000e+00 | 4.843000e+03 |    Inf 
1534.64/1534.62	o 4806
1534.64/1534.62	c *1535s|  1824k|  1018k|  2520k|   1.4 |1126M| 559 |   - |1800 |4085 |1800 | 249 | 317k| 657k|5076 | 0.000000e+00 | 4.806000e+03 |    Inf 
1534.64/1534.66	o 4799
1534.64/1534.66	c *1535s|  1824k|  1017k|  2520k|   1.4 |1125M| 559 |   - |1800 |4083 |1800 | 256 | 317k| 657k|5076 | 0.000000e+00 | 4.799000e+03 |    Inf 
1534.74/1534.73	o 4688
1534.74/1534.73	c *1535s|  1824k|996722 |  2520k|   1.4 |1098M| 559 |   - |1800 |4083 |1800 | 256 | 317k| 657k|5076 | 0.000000e+00 | 4.688000e+03 |    Inf 
1534.94/1534.99	o 4553
1534.94/1534.99	c *1535s|  1824k|971608 |  2520k|   1.4 |1065M| 559 |   - |1800 |4116 |1800 | 264 | 317k| 657k|5076 | 0.000000e+00 | 4.553000e+03 |    Inf 
1535.04/1535.07	o 4408
1535.04/1535.07	c *1535s|  1824k|943891 |  2520k|   1.4 |1028M| 559 |   - |1800 |4116 |1800 | 264 | 317k| 657k|5076 | 0.000000e+00 | 4.408000e+03 |    Inf 
1535.75/1535.72	o 4389
1535.75/1535.72	c *1536s|  1824k|940809 |  2522k|   1.4 |1024M| 559 |   - |1800 |4028 |1800 | 246 | 317k| 658k|5079 | 0.000000e+00 | 4.389000e+03 |    Inf 
1535.75/1535.76	o 4337
1535.75/1535.76	c *1536s|  1824k|931042 |  2522k|   1.4 |1012M| 559 |   - |1800 |4028 |1800 | 246 | 317k| 658k|5079 | 0.000000e+00 | 4.337000e+03 |    Inf 
1536.65/1536.63	o 4308
1536.65/1536.63	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1536.65/1536.63	c *1537s|  1825k|926004 |  2525k|   1.4 |1006M| 559 |   - |1800 |3866 |1800 | 256 | 318k| 658k|5079 | 0.000000e+00 | 4.308000e+03 |    Inf 
1541.04/1541.00	c  1541s|  1830k|929324 |  2534k|   1.4 |1012M| 559 |   0 |1800 |3562 |1800 | 227 | 319k| 660k|5108 | 0.000000e+00 | 4.308000e+03 |    Inf 
1542.35/1542.33	o 4247
1542.35/1542.33	c *1542s|  1831k|918195 |  2537k|   1.4 |1000M| 559 |   - |1800 |3693 |1800 | 220 | 319k| 660k|5110 | 0.000000e+00 | 4.247000e+03 |    Inf 
1550.74/1550.76	c  1551s|  1840k|924852 |  2558k|   1.4 |1011M| 559 |   0 |1800 |3398 |1800 | 231 | 322k| 663k|5138 | 0.000000e+00 | 4.247000e+03 |    Inf 
1557.74/1557.71	o 4198
1557.74/1557.71	c *1558s|  1847k|921283 |  2573k|   1.4 |1010M| 559 |   - |1800 |3880 |1800 | 243 | 324k| 665k|5149 | 0.000000e+00 | 4.198000e+03 |    Inf 
1560.44/1560.44	c  1560s|  1850k|923252 |  2581k|   1.4 |1013M| 559 |   - |1800 |4018 |   0 |   0 | 325k| 667k|5153 | 0.000000e+00 | 4.198000e+03 |    Inf 
1569.85/1569.85	c  1570s|  1860k|930978 |  2600k|   1.4 |1026M| 559 |   0 |1800 |4040 |1800 | 238 | 328k| 670k|5182 | 0.000000e+00 | 4.198000e+03 |    Inf 
1579.75/1579.74	c  1580s|  1870k|938695 |  2624k|   1.4 |1040M| 559 |   0 |1800 |3942 |1800 | 212 | 331k| 674k|5218 | 0.000000e+00 | 4.198000e+03 |    Inf 
1589.35/1589.37	c  1589s|  1880k|946483 |  2647k|   1.4 |1053M| 559 |   0 |1800 |4148 |1800 | 232 | 334k| 677k|5232 | 0.000000e+00 | 4.198000e+03 |    Inf 
1598.84/1598.81	c  1599s|  1890k|954213 |  2666k|   1.4 |1066M| 559 |   4 |1800 |4034 |1800 | 229 | 337k| 681k|5257 | 0.000000e+00 | 4.198000e+03 |    Inf 
1608.84/1608.80	c  1609s|  1900k|961671 |  2690k|   1.4 |1081M| 559 |   0 |1800 |4117 |1800 | 216 | 341k| 685k|5298 | 0.000000e+00 | 4.198000e+03 |    Inf 
1618.45/1618.46	c  1618s|  1910k|969389 |  2712k|   1.4 |1094M| 559 |   0 |1800 |3351 |1800 | 218 | 343k| 688k|5314 | 0.000000e+00 | 4.198000e+03 |    Inf 
1628.05/1628.04	c  1628s|  1920k|977118 |  2733k|   1.4 |1108M| 559 |   0 |1800 |3668 |1800 | 217 | 346k| 691k|5334 | 0.000000e+00 | 4.198000e+03 |    Inf 
1637.85/1637.87	c  1638s|  1930k|984691 |  2758k|   1.4 |1122M| 559 |   0 |1800 |3861 |1800 | 221 | 350k| 695k|5371 | 0.000000e+00 | 4.198000e+03 |    Inf 
1647.05/1647.06	c  1647s|  1940k|992786 |  2776k|   1.4 |1135M| 559 |   0 |1800 |4030 |1800 | 221 | 352k| 698k|5382 | 0.000000e+00 | 4.198000e+03 |    Inf 
1656.55/1656.54	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1656.55/1656.54	c  1657s|  1950k|  1000k|  2794k|   1.4 |1149M| 559 |   0 |1800 |4185 |1800 | 234 | 355k| 702k|5418 | 0.000000e+00 | 4.198000e+03 |    Inf 
1666.35/1666.31	c  1666s|  1960k|  1007k|  2816k|   1.4 |1163M| 559 |   0 |1800 |3866 |1800 | 220 | 358k| 706k|5438 | 0.000000e+00 | 4.198000e+03 |    Inf 
1675.75/1675.70	c  1676s|  1970k|  1015k|  2836k|   1.4 |1177M| 559 |   0 |1800 |3749 |1800 | 228 | 360k| 709k|5463 | 0.000000e+00 | 4.198000e+03 |    Inf 
1685.15/1685.11	c  1685s|  1980k|  1023k|  2856k|   1.4 |1189M| 559 |   0 |1800 |4068 |1800 | 235 | 363k| 713k|5492 | 0.000000e+00 | 4.198000e+03 |    Inf 
1694.64/1694.67	c  1695s|  1990k|  1031k|  2878k|   1.4 |1203M| 559 |   0 |1800 |4401 |1800 | 223 | 366k| 716k|5510 | 0.000000e+00 | 4.198000e+03 |    Inf 
1704.05/1704.07	c  1704s|  2000k|  1039k|  2896k|   1.4 |1217M| 559 |   0 |1800 |4188 |1800 | 218 | 368k| 720k|5540 | 0.000000e+00 | 4.198000e+03 |    Inf 
1713.45/1713.45	c  1713s|  2010k|  1046k|  2917k|   1.5 |1230M| 559 |   0 |1800 |3832 |1800 | 222 | 371k| 723k|5569 | 0.000000e+00 | 4.198000e+03 |    Inf 
1723.55/1723.60	c  1724s|  2020k|  1054k|  2943k|   1.5 |1245M| 559 |   0 |1800 |3893 |1800 | 250 | 375k| 727k|5601 | 0.000000e+00 | 4.198000e+03 |    Inf 
1733.66/1733.64	c  1734s|  2030k|  1061k|  2970k|   1.5 |1259M| 559 |   - |1800 |3853 |1800 | 212 | 378k| 731k|5641 | 0.000000e+00 | 4.198000e+03 |    Inf 
1743.34/1743.31	c  1743s|  2040k|  1069k|  2993k|   1.5 |1273M| 559 |   0 |1800 |3703 |1800 | 248 | 381k| 734k|5657 | 0.000000e+00 | 4.198000e+03 |    Inf 
1753.05/1753.04	c  1753s|  2050k|  1077k|  3015k|   1.5 |1287M| 559 |   0 |1800 |4085 |1800 | 236 | 384k| 738k|5683 | 0.000000e+00 | 4.198000e+03 |    Inf 
1763.26/1763.21	c  1763s|  2060k|  1084k|  3045k|   1.5 |1302M| 559 |   0 |1800 |3456 |1800 | 231 | 388k| 742k|5730 | 0.000000e+00 | 4.198000e+03 |    Inf 
1773.35/1773.37	c  1773s|  2070k|  1092k|  3077k|   1.5 |1316M| 559 |   0 |1800 |3651 |1800 | 225 | 392k| 745k|5764 | 0.000000e+00 | 4.198000e+03 |    Inf 
1778.05/1778.05	o 4172
1778.05/1778.05	c *1778s|  2074k|  1090k|  3088k|   1.5 |1315M| 559 |   - |1800 |3938 |1800 | 238 | 394k| 746k|5765 | 0.000000e+00 | 4.172000e+03 |    Inf 
1778.05/1778.07	o 4163
1778.05/1778.07	c *1778s|  2074k|  1089k|  3088k|   1.5 |1313M| 559 |   - |1800 |3938 |1800 | 238 | 394k| 746k|5765 | 0.000000e+00 | 4.163000e+03 |    Inf 
1778.85/1778.86	o 4161
1778.85/1778.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1778.85/1778.86	c *1779s|  2075k|  1089k|  3090k|   1.5 |1314M| 559 |   - |1800 |4213 |1800 | 242 | 394k| 747k|5765 | 0.000000e+00 | 4.161000e+03 |    Inf 
1780.05/1780.06	o 4095
1780.05/1780.06	c *1780s|  2076k|  1075k|  3093k|   1.5 |1299M| 559 |   - |1800 |4530 |1800 | 259 | 395k| 747k|5765 | 0.000000e+00 | 4.095000e+03 |    Inf 
1783.45/1783.46	c  1783s|  2080k|  1078k|  3100k|   1.5 |1303M| 559 |   0 |1800 |4053 |1800 | 221 | 396k| 749k|5772 | 0.000000e+00 | 4.095000e+03 |    Inf 
1790.05/1790.00	c 
1790.05/1790.00	c SCIP Status        : solving was interrupted [time limit reached]
1790.05/1790.00	c Solving Time (sec) : 1789.99
1790.05/1790.00	c Solving Nodes      : 2086544
1790.05/1790.00	c Primal Bound       : +4.09500000000000e+03 (201 solutions)
1790.05/1790.00	c Dual Bound         : +0.00000000000000e+00
1790.05/1790.00	c Gap                : infinite
1790.05/1790.01	s SATISFIABLE
1790.05/1790.01	v -x200 x199 x198 -x197 x196 -x195 x194 -x193 -x192 x191 x190 -x189 x188 -x187 x186 -x185 x184 -x183 x182 -x181 x180 -x179 x178 -x177 
1790.05/1790.01	v x176 -x175 x174 -x173 x172 -x171 -x170 x169 x168 -x167 x166 -x165 x164 -x163 -x162 x161 x160 -x159 x158 -x157 x156 -x155 
1790.05/1790.01	v x154 -x153 -x152 x151 -x150 x149 x148 -x147 -x146 x145 -x144 x143 x142 -x141 x140 -x139 x138 -x137 x136 -x135 -x134 x133 x132 
1790.05/1790.01	v -x131 x130 -x129 x128 -x127 -x126 x125 x124 -x123 -x122 x121 -x120 x119 x118 -x117 x116 -x115 x114 -x113 x112 -x111 x110 -x109 
1790.05/1790.01	v -x108 x107 x106 -x105 -x104 x103 x102 -x101 -x100 x99 x98 -x97 x96 -x95 -x94 x93 x92 -x91 x90 -x89 x88 -x87 -x86 x85 x84 
1790.05/1790.01	v -x83 -x82 x81 -x80 x79 x78 -x77 x76 -x75 x74 -x73 x72 -x71 x70 -x69 -x68 x67 -x66 x65 -x64 x63 x62 -x61 x60 -x59 x58 -x57 -x56 
1790.05/1790.01	v x55 -x54 x53 -x52 x51 -x50 x49 -x48 x47 x46 -x45 x44 -x43 x42 -x41 x40 -x39 x38 -x37 -x36 x35 x34 -x33 -x32 x31 x30 -x29 -x28 
1790.05/1790.01	v x27 -x26 x25 -x24 x23 x22 -x21 -x20 x19 x18 -x17 x16 -x15 x14 -x13 x12 -x11 -x10 x9 -x8 x7 x6 -x5 x4 -x3 x2 -x1 
1790.05/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1790.05/1790.01	c Solving Time       :    1789.99
1790.05/1790.01	c Original Problem   :
1790.05/1790.01	c   Problem name     : HOME/instance-2705750-1278580128.wbo
1790.05/1790.01	c   Variables        : 1900 (1050 binary, 0 integer, 850 implicit integer, 0 continuous)
1790.05/1790.01	c   Constraints      : 1801 initial, 1801 maximal
1790.05/1790.01	c Presolved Problem  :
1790.05/1790.01	c   Problem name     : t_HOME/instance-2705750-1278580128.wbo
1790.05/1790.01	c   Variables        : 1800 (950 binary, 0 integer, 850 implicit integer, 0 continuous)
1790.05/1790.01	c   Constraints      : 1700 initial, 6652 maximal
1790.05/1790.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.05/1790.01	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1790.05/1790.01	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1790.05/1790.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.05/1790.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.05/1790.01	c   implics          :       0.00          0          0          0          0          0          0          0          0
1790.05/1790.01	c   probing          :       0.02          0          0          0          0          0          0          0          0
1790.05/1790.01	c   linear           :       0.02          0        100          0        850          0        101          0          0
1790.05/1790.01	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1790.05/1790.01	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1790.05/1790.01	c   root node        :          -          0          -          -          0          -          -          -          -
1790.05/1790.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.05/1790.01	c   integral         :          0          0          0    2145004          0          0         47          0          0      21416
1790.05/1790.01	c   linear           :        850          6    4297782    2134144          1      20000    2494190     398344          0          0
1790.05/1790.01	c   indicator        :        850          0    4278218    2134248          1      19252   31812191          0          0          0
1790.05/1790.01	c   logicor          :          0+         0    1770788          0          0       7738     614344          0          0          0
1790.05/1790.01	c   countsols        :          0          0          0    1951930          1          0          0          0          0          0
1790.05/1790.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.05/1790.01	c   integral         :       5.75       0.00       0.00       5.75       0.00
1790.05/1790.01	c   linear           :     103.53       0.00      42.55      60.98       0.00
1790.05/1790.01	c   indicator        :     266.15       0.04     131.32     134.79       0.00
1790.05/1790.01	c   logicor          :      24.20       0.00      24.20       0.00       0.00
1790.05/1790.01	c   countsols        :       0.27       0.00       0.00       0.27       0.00
1790.05/1790.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.05/1790.01	c   vbounds          :       0.79          2          0          0
1790.05/1790.01	c   rootredcost      :       0.76        101          0          0
1790.05/1790.01	c   pseudoobj        :      90.25    4420598     122577   31466160
1790.05/1790.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.05/1790.01	c   propagation      :       9.19     150315     149721     858823       31.0       2341       11.3          -
1790.05/1790.01	c   infeasible LP    :       0.02        126        126        441       20.3          5       27.6          0
1790.05/1790.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.05/1790.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.05/1790.01	c   pseudo solution  :       0.00         47         47        188       14.7          1        3.0          -
1790.05/1790.01	c   applied globally :          -          -          -     751399       29.9          -          -          -
1790.05/1790.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.05/1790.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.05/1790.01	c   cut pool         :       0.00          3          -          -         52          -    (maximal pool size: 252)
1790.05/1790.01	c   redcost          :      87.23    2174317          0    1311909          0          0
1790.05/1790.01	c   impliedbounds    :       0.00          4          0          0          0          0
1790.05/1790.01	c   intobj           :       0.00          0          0          0          0          0
1790.05/1790.01	c   cgmip            :       0.00          0          0          0          0          0
1790.05/1790.01	c   gomory           :       0.03          4          0          0        133          0
1790.05/1790.01	c   strongcg         :       0.03          4          0          0        270          0
1790.05/1790.01	c   cmir             :       0.01          4          0          0          0          0
1790.05/1790.01	c   flowcover        :       0.02          4          0          0          0          0
1790.05/1790.01	c   clique           :       0.00          1          0          0          0          0
1790.05/1790.01	c   zerohalf         :       0.00          0          0          0          0          0
1790.05/1790.01	c   mcf              :       0.00          1          0          0          0          0
1790.05/1790.01	c   rapidlearning    :       0.06          1          0          0          0          0
1790.05/1790.01	c Pricers            :       Time      Calls       Vars
1790.05/1790.01	c   problem variables:       0.00          0          0
1790.05/1790.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.05/1790.01	c   relpscost        :       5.14      10754          0         47          0          0      21416
1790.05/1790.01	c   pscost           :       0.00          0          0          0          0          0          0
1790.05/1790.01	c   inference        :     265.25    1951830          0          0          0          0    3903660
1790.05/1790.01	c   mostinf          :       0.00          0          0          0          0          0          0
1790.05/1790.01	c   leastinf         :       0.00          0          0          0          0          0          0
1790.05/1790.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.05/1790.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.05/1790.01	c   random           :       0.00          0          0          0          0          0          0
1790.05/1790.01	c Primal Heuristics  :       Time      Calls      Found
1790.05/1790.01	c   LP solutions     :       2.74          -        101
1790.05/1790.01	c   pseudo solutions :       0.00          -          0
1790.05/1790.01	c   intshifting      :       0.01          0          0
1790.05/1790.01	c   feaspump         :       0.01          0          0
1790.05/1790.01	c   oneopt           :       0.59         76          0
1790.05/1790.01	c   fracdiving       :       3.38       5347          0
1790.05/1790.01	c   guideddiving     :       3.49       5347          0
1790.05/1790.01	c   coefdiving       :       3.48       5347          0
1790.05/1790.01	c   pscostdiving     :       3.39       5347          0
1790.05/1790.01	c   veclendiving     :       3.36       5348          0
1790.05/1790.01	c   linesearchdiving :       3.36       5348          0
1790.05/1790.01	c   rootsoldiving    :       3.54       5342          0
1790.05/1790.01	c   objpscostdiving  :       3.50       5343          0
1790.05/1790.01	c   trivial          :       0.00          2          1
1790.05/1790.01	c   simplerounding   :       0.66      11565          0
1790.05/1790.01	c   zirounding       :       0.42       1000          0
1790.05/1790.01	c   rounding         :       0.38       1472          0
1790.05/1790.01	c   shifting         :       0.12        424          0
1790.05/1790.01	c   twoopt           :       0.00          0          0
1790.05/1790.01	c   fixandinfer      :       0.00          0          0
1790.05/1790.01	c   intdiving        :       0.00          0          0
1790.05/1790.01	c   actconsdiving    :       0.00          0          0
1790.05/1790.01	c   octane           :       0.00          0          0
1790.05/1790.01	c   rens             :       0.01          1          0
1790.05/1790.01	c   rins             :       0.00          0          0
1790.05/1790.01	c   localbranching   :       0.00          0          0
1790.05/1790.01	c   mutation         :       0.00          0          0
1790.05/1790.01	c   crossover        :       3.56        176          3
1790.05/1790.01	c   dins             :       0.00          0          0
1790.05/1790.01	c   undercover       :       0.00          0          0
1790.05/1790.01	c   nlp              :       0.29          0          0
1790.05/1790.01	c   trysol           :       0.54       5523         96
1790.05/1790.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.05/1790.01	c   primal LP        :       0.00          0          0       0.00          -
1790.05/1790.01	c   dual LP          :     545.01     464810    3111690       6.69    5709.41
1790.05/1790.01	c   lex dual LP      :       0.00          0          0       0.00          -
1790.05/1790.01	c   barrier LP       :       0.00          0          0       0.00          -
1790.05/1790.01	c   diving/probing LP:       0.13        120       6054      50.45   47942.98
1790.05/1790.01	c   strong branching :       5.05       5800      80407      13.86   15927.75
1790.05/1790.01	c     (at root node) :          -         33       4276     129.58          -
1790.05/1790.01	c   conflict analysis:       0.00          0          0       0.00          -
1790.05/1790.01	c B&B Tree           :
1790.05/1790.01	c   number of runs   :          1
1790.05/1790.01	c   nodes            :    2086544
1790.05/1790.01	c   nodes (total)    :    2086544
1790.05/1790.01	c   nodes left       :    1083215
1790.05/1790.01	c   max depth        :        559
1790.05/1790.01	c   max depth (total):        559
1790.05/1790.01	c   backtracks       :      62087 (3.0%)
1790.05/1790.01	c   delayed cutoffs  :      46110
1790.05/1790.01	c   repropagations   :     219616 (16613233 domain reductions, 45822 cutoffs)
1790.05/1790.01	c   avg switch length:       2.97
1790.05/1790.01	c   switching time   :     101.77
1790.05/1790.01	c Solution           :
1790.05/1790.01	c   Solutions found  :        201 (102 improvements)
1790.05/1790.01	c   First Solution   : +4.20925000000000e+05   (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1790.05/1790.01	c   Primal Bound     : +4.09500000000000e+03   (in run 1, after 2076553 nodes, 1780.00 seconds, depth 113, found by <relaxation>)
1790.05/1790.01	c   Dual Bound       : +0.00000000000000e+00
1790.05/1790.01	c   Gap              :   infinite
1790.05/1790.01	c   Root Dual Bound  : +0.00000000000000e+00
1790.05/1790.01	c   Root Iterations  :        306
1792.45/1792.45	c Time complete: 1792.5.

Verifier Data 

OK	4056

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705750-1278580128/watcher-2705750-1278580128 -o /tmp/evaluation-result-2705750-1278580128/solver-2705750-1278580128 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705750-1278580128.wbo -t 1800 -m 3800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.03 2.00 4/182 24192
/proc/meminfo: memFree=28573480/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=12332 CPUtime=0
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 1924 0 0 0 0 0 0 0 21 0 1 0 26225507 12627968 1843 4089446400 4194304 10345943 140733554484576 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24192/statm: 3083 1857 429 1502 0 1576 0

[startup+0.0998241 s]
/proc/loadavg: 2.02 2.03 2.00 4/182 24192
/proc/meminfo: memFree=28573480/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=40128 CPUtime=0.09
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 8916 0 0 0 8 1 0 0 21 0 1 0 26225507 41091072 8481 4089446400 4194304 10345943 140733554484576 18446744073709551615 9186026 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24192/statm: 10032 8481 636 1502 0 8525 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40128

[startup+0.100824 s]
/proc/loadavg: 2.02 2.03 2.00 4/182 24192
/proc/meminfo: memFree=28573480/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=40128 CPUtime=0.09
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 8916 0 0 0 8 1 0 0 21 0 1 0 26225507 41091072 8481 4089446400 4194304 10345943 140733554484576 18446744073709551615 4243640 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24192/statm: 10032 8481 636 1502 0 8525 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40128

[startup+0.300788 s]
/proc/loadavg: 2.02 2.03 2.00 4/182 24192
/proc/meminfo: memFree=28573480/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=39464 CPUtime=0.29
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 10109 0 0 0 28 1 0 0 21 0 1 0 26225507 40411136 8720 4089446400 4194304 10345943 140733554484576 18446744073709551615 6566428 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24192/statm: 9866 8720 750 1502 0 8359 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39464

[startup+0.700715 s]
/proc/loadavg: 2.02 2.03 2.00 4/182 24192
/proc/meminfo: memFree=28573480/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=39464 CPUtime=0.69
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 10109 0 0 0 67 2 0 0 22 0 1 0 26225507 40411136 8720 4089446400 4194304 10345943 140733554484576 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24192/statm: 9866 8720 750 1502 0 8359 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39464

[startup+1.50057 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 24193
/proc/meminfo: memFree=28540612/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=37044 CPUtime=1.49
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 10680 0 0 0 147 2 0 0 25 0 1 0 26225507 37933056 8122 4089446400 4194304 10345943 140733554484576 18446744073709551615 6566439 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24192/statm: 9261 8122 756 1502 0 7754 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37044

[startup+3.10027 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 24193
/proc/meminfo: memFree=28542968/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=37548 CPUtime=3.09
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 13462 0 0 0 306 3 0 0 25 0 1 0 26225507 38449152 8254 4089446400 4194304 10345943 140733554484576 18446744073709551615 5012568 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24192/statm: 9387 8254 756 1502 0 7880 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37548

[startup+6.30068 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 24193
/proc/meminfo: memFree=28542488/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=41028 CPUtime=6.29
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 15996 0 0 0 624 5 0 0 25 0 1 0 26225507 42012672 8548 4089446400 4194304 10345943 140733554484576 18446744073709551615 6365152 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24192/statm: 10257 8548 757 1502 0 8750 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41028

[startup+12.7005 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 24194
/proc/meminfo: memFree=28535336/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=48748 CPUtime=12.7
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 23297 0 0 0 1263 7 0 0 25 0 1 0 26225507 49917952 10847 4089446400 4194304 10345943 140733554484576 18446744073709551615 5012673 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24192/statm: 12187 10847 761 1502 0 10680 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 48748

[startup+25.5001 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 24221
/proc/meminfo: memFree=28848528/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=66128 CPUtime=25.49
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 37435 0 0 0 2537 12 0 0 25 0 1 0 26225507 67715072 15349 4089446400 4194304 10345943 140733554484576 18446744073709551615 6002332 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24192/statm: 16532 15349 761 1502 0 15025 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 66128

[startup+51.1004 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 24222
/proc/meminfo: memFree=28794616/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=104240 CPUtime=51.09
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 54970 0 0 0 5089 20 0 0 25 0 1 0 26225507 106741760 24390 4089446400 4194304 10345943 140733554484576 18446744073709551615 6551120 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24192/statm: 26060 24390 761 1502 0 24553 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 104240

[startup+102.307 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 24223
/proc/meminfo: memFree=28667520/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=172280 CPUtime=102.3
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 76476 0 0 0 10200 30 0 0 25 0 1 0 26225507 176414720 41489 4089446400 4194304 10345943 140733554484576 18446744073709551615 5614325 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24192/statm: 43070 41489 761 1502 0 41563 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 172280

[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 24225
/proc/meminfo: memFree=28512040/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=270232 CPUtime=162.3
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 132485 0 0 0 16185 45 0 0 25 0 1 0 26225507 276717568 64839 4089446400 4194304 10345943 140733554484576 18446744073709551615 6519440 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24192/statm: 67558 64839 761 1502 0 66051 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 270232

[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 24226
/proc/meminfo: memFree=28354244/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=362908 CPUtime=222.3
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 168857 0 0 0 22167 63 0 0 25 0 1 0 26225507 371617792 87809 4089446400 4194304 10345943 140733554484576 18446744073709551615 6929854 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24192/statm: 90727 87809 761 1502 0 89220 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 362908

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24228
/proc/meminfo: memFree=28203152/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=451720 CPUtime=282.3
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 218392 0 0 0 28150 80 0 0 25 0 1 0 26225507 462561280 109681 4089446400 4194304 10345943 140733554484576 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24192/statm: 112930 109681 761 1502 0 111423 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 451720

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24229
/proc/meminfo: memFree=28048332/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=540212 CPUtime=342.3
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 252285 0 0 0 34133 97 0 0 25 0 1 0 26225507 553177088 130934 4089446400 4194304 10345943 140733554484576 18446744073709551615 8160422 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24192/statm: 135053 130934 761 1502 0 133546 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 540212

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24231
/proc/meminfo: memFree=27909764/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=610784 CPUtime=402.31
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 299916 0 0 0 40113 118 0 0 25 0 1 0 26225507 625442816 148492 4089446400 4194304 10345943 140733554484576 18446744073709551615 4601757 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24192/statm: 152696 148492 761 1502 0 151189 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 610784

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24233
/proc/meminfo: memFree=27761136/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=704836 CPUtime=462.3
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 322649 0 0 0 46100 130 0 0 25 0 1 0 26225507 721752064 169202 4089446400 4194304 10345943 140733554484576 18446744073709551615 4900920 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24192/statm: 176209 169202 761 1502 0 174702 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 704836

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24234
/proc/meminfo: memFree=27657784/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=743540 CPUtime=522.31
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 353201 0 0 0 52087 144 0 0 25 0 1 0 26225507 761384960 179035 4089446400 4194304 10345943 140733554484576 18446744073709551615 4476294 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24192/statm: 185885 179035 761 1502 0 184378 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 743540

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24236
/proc/meminfo: memFree=27535212/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=799276 CPUtime=582.31
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 384803 0 0 0 58069 162 0 0 25 0 1 0 26225507 818458624 192994 4089446400 4194304 10345943 140733554484576 18446744073709551615 6853993 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24192/statm: 199819 192994 761 1502 0 198312 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 799276

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24240
/proc/meminfo: memFree=27411992/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=851188 CPUtime=642.32
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 427137 0 0 0 64052 180 0 0 25 0 1 0 26225507 871616512 205991 4089446400 4194304 10345943 140733554484576 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24192/statm: 212797 205991 761 1502 0 211290 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 851188

[startup+702.301 s]

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

/proc/meminfo: memFree=26354748/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=1413912 CPUtime=1122.32
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 663171 0 0 0 111925 307 0 0 25 0 1 0 26225507 1447845888 337255 4089446400 4194304 10345943 140733554484576 18446744073709551615 6519508 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24192/statm: 353478 337255 761 1502 0 351971 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1413912

[startup+1182.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/183 24255
/proc/meminfo: memFree=26212580/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=1493752 CPUtime=1182.33
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 686058 0 0 0 117911 322 0 0 25 0 1 0 26225507 1529602048 355797 4089446400 4194304 10345943 140733554484576 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24192/statm: 373438 355797 761 1502 0 371931 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1493752

[startup+1242.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 24256
/proc/meminfo: memFree=26090252/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=1548724 CPUtime=1242.33
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 710747 0 0 0 123897 336 0 0 25 0 1 0 26225507 1585893376 369892 4089446400 4194304 10345943 140733554484576 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24192/statm: 387181 369892 761 1502 0 385674 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1548724

[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 24258
/proc/meminfo: memFree=25982200/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=1590668 CPUtime=1302.34
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 741109 0 0 0 129881 353 0 0 25 0 1 0 26225507 1628844032 380206 4089446400 4194304 10345943 140733554484576 18446744073709551615 6777399 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24192/statm: 397667 380206 761 1502 0 396160 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1590668

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 24260
/proc/meminfo: memFree=25915924/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=1591332 CPUtime=1362.33
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 768232 0 0 0 135864 369 0 0 25 0 1 0 26225507 1629523968 380471 4089446400 4194304 10345943 140733554484576 18446744073709551615 4632112 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24192/statm: 397833 380471 761 1502 0 396326 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1591332

[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 24261
/proc/meminfo: memFree=25844324/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=1594776 CPUtime=1422.34
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 799868 0 0 0 141846 388 0 0 25 0 1 0 26225507 1633050624 381376 4089446400 4194304 10345943 140733554484576 18446744073709551615 4701023 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24192/statm: 398694 381376 761 1502 0 397187 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1594776

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24263
/proc/meminfo: memFree=25780040/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=1595976 CPUtime=1482.34
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 844668 0 0 0 147827 407 0 0 25 0 1 0 26225507 1634279424 381702 4089446400 4194304 10345943 140733554484576 18446744073709551615 6068889 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24192/statm: 398994 381702 761 1502 0 397487 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1595976

[startup+1542.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/183 24264
/proc/meminfo: memFree=25710660/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=1598088 CPUtime=1542.35
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 884464 0 0 0 153811 424 0 0 25 0 1 0 26225507 1636442112 382271 4089446400 4194304 10345943 140733554484576 18446744073709551615 4665344 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24192/statm: 399522 382271 761 1502 0 398015 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 1598088

[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 24266
/proc/meminfo: memFree=25641296/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=1599344 CPUtime=1602.34
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 912614 0 0 0 159796 438 0 0 25 0 1 0 26225507 1637728256 382586 4089446400 4194304 10345943 140733554484576 18446744073709551615 6003051 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24192/statm: 399836 382586 761 1502 0 398329 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1599344

[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 24268
/proc/meminfo: memFree=25574032/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=1600504 CPUtime=1662.34
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 917613 0 0 0 165783 451 0 0 25 0 1 0 26225507 1638916096 382883 4089446400 4194304 10345943 140733554484576 18446744073709551615 4706109 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24192/statm: 400126 382883 761 1502 0 398619 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1600504

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 24269
/proc/meminfo: memFree=25504780/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=1607888 CPUtime=1722.34
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 918943 0 0 0 171767 467 0 0 25 0 1 0 26225507 1646477312 384213 4089446400 4194304 10345943 140733554484576 18446744073709551615 4447843 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24192/statm: 401972 384213 761 1502 0 400465 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1607888

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24271
/proc/meminfo: memFree=25425240/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=1624940 CPUtime=1782.35
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 932794 0 0 0 177752 483 0 0 25 0 1 0 26225507 1663938560 387905 4089446400 4194304 10345943 140733554484576 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24192/statm: 406235 387905 775 1502 0 404728 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1624940

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24271
/proc/meminfo: memFree=25420772/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=1625084 CPUtime=1785.55
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 932876 0 0 0 178071 484 0 0 25 0 1 0 26225507 1664086016 387987 4089446400 4194304 10345943 140733554484576 18446744073709551615 6071294 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24192/statm: 406271 387987 775 1502 0 404764 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 1625084

[startup+1788.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24271
/proc/meminfo: memFree=25415440/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=1626892 CPUtime=1788.75
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 933112 0 0 0 178390 485 0 0 25 0 1 0 26225507 1665937408 388223 4089446400 4194304 10345943 140733554484576 18446744073709551615 6138982 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24192/statm: 406723 388223 775 1502 0 405216 0
Current children cumulated CPU time (s) 1788.75
Current children cumulated vsize (KiB) 1626892

[startup+1790.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24271
/proc/meminfo: memFree=25414572/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=1626892 CPUtime=1790.35
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 933171 0 0 0 178550 485 0 0 25 0 1 0 26225507 1665937408 388282 4089446400 4194304 10345943 140733554484576 18446744073709551615 4653781 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24192/statm: 406723 388282 779 1502 0 405216 0
Current children cumulated CPU time (s) 1790.35
Current children cumulated vsize (KiB) 1626892

[startup+1791.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24271
/proc/meminfo: memFree=25412584/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=1626892 CPUtime=1791.15
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 933171 0 0 0 178630 485 0 0 25 0 1 0 26225507 1665937408 388282 4089446400 4194304 10345943 140733554484576 18446744073709551615 6325586 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24192/statm: 406723 388282 779 1502 0 405216 0
Current children cumulated CPU time (s) 1791.15
Current children cumulated vsize (KiB) 1626892

[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24271
/proc/meminfo: memFree=25410600/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=1626892 CPUtime=1791.96
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 933171 0 0 0 178711 485 0 0 25 0 1 0 26225507 1665937408 388282 4089446400 4194304 10345943 140733554484576 18446744073709551615 4723491 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24192/statm: 406723 388282 779 1502 0 405216 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 1626892

[startup+1792.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24271
/proc/meminfo: memFree=25410600/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=1626892 CPUtime=1792.35
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 933171 0 0 0 178750 485 0 0 25 0 1 0 26225507 1665937408 388282 4089446400 4194304 10345943 140733554484576 18446744073709551615 6325582 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24192/statm: 406723 388282 779 1502 0 405216 0
Current children cumulated CPU time (s) 1792.35
Current children cumulated vsize (KiB) 1626892

[startup+1792.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24271
/proc/meminfo: memFree=25410600/32951124 swapFree=67111528/67111528
[pid=24192] ppid=24190 vsize=1428564 CPUtime=1792.45
/proc/24192/stat : 24192 (pbscip.linux.x8) R 24190 24192 23625 0 -1 4202496 933171 0 0 0 178760 485 0 0 25 0 1 0 26225507 1462849536 342475 4089446400 4194304 10345943 140733554484576 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24192/statm: 357141 342006 779 1502 0 355634 0
Current children cumulated CPU time (s) 1792.45
Current children cumulated vsize (KiB) 1428564

Child status: 0
Real time (s): 1792.45
CPU time (s): 1792.51
CPU user time (s): 1787.6
CPU system time (s): 4.90725
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1633624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.6
system time used= 4.90725
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 933174
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= 1
involuntary context switches= 1119

runsolver used 2.91856 second user time and 6.84496 second system time

The end

Launcher Data 

Begin job on node135 at 2010-07-08 11:08:48
IDJOB=2705750
IDBENCH=79414
IDSOLVER=1214
FILE ID=node135/2705750-1278580128
PBS_JOBID= 11240184
Free space on /tmp= 73744 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh17_wcsp.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705750-1278580128/watcher-2705750-1278580128 -o /tmp/evaluation-result-2705750-1278580128/solver-2705750-1278580128 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705750-1278580128.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 57d73bec44a40d3308f5eb2ba913b45c
RANDOM SEED=936565015

node135.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.839
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.839
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 7358.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.839
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.839
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.839
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.839
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.839
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28574380 kB
Buffers:        145052 kB
Cached:        3635144 kB
SwapCached:          0 kB
Active:        2355676 kB
Inactive:      1862664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28574380 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12820 kB
Writeback:           0 kB
AnonPages:      438168 kB
Mapped:          17696 kB
Slab:            95384 kB
PageTables:       5144 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   585148 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73732 MiB
End job on node135 at 2010-07-08 11:38:40