Trace number 2705756

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.48 1792.42

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh08_wcsp.wbo
MD5SUMf8c09bda9afe7c43c5a568001f4bbb58
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark462
Best CPU time to get the best result obtained on this benchmark1.65975
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-2705756-1278580129.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.02	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.05	c    (0.0s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05	c    (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.05	c presolving (3 rounds):
0.00/0.05	c  100 deleted vars, 101 deleted constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05	c  1900 implications, 0 cliques
0.00/0.05	c presolved problem has 1800 variables (950 bin, 0 int, 850 impl, 0 cont) and 1700 constraints
0.00/0.05	c     850 constraints of type <linear>
0.00/0.05	c     850 constraints of type <indicator>
0.00/0.05	c transformed objective value is always integral (scale: 1)
0.00/0.05	c Presolving Time: 0.03
0.00/0.05	c - non default parameters ----------------------------------------------------------------------
0.00/0.05	c # SCIP version 1.2.1.3
0.00/0.05	c 
0.00/0.05	c # frequency for displaying node information lines
0.00/0.05	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05	c display/freq = 10000
0.00/0.05	c 
0.00/0.05	c # maximal time in seconds to run
0.00/0.05	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05	c limits/time = 1789.99
0.00/0.05	c 
0.00/0.05	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05	c limits/memory = 3420
0.00/0.05	c 
0.00/0.05	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.05	c # [type: int, range: [1,2], default: 1]
0.00/0.05	c timing/clocktype = 2
0.00/0.05	c 
0.00/0.05	c # should presolving try to simplify inequalities
0.00/0.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05	c constraints/linear/simplifyinequalities = TRUE
0.00/0.05	c 
0.00/0.05	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05	c constraints/indicator/addCouplingCons = TRUE
0.00/0.05	c 
0.00/0.05	c # should presolving try to simplify knapsacks
0.00/0.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05	c 
0.00/0.05	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05	c separating/rapidlearning/freq = 0
0.00/0.05	c 
0.00/0.05	c -----------------------------------------------------------------------------------------------
0.00/0.05	c start solving
0.00/0.05	c 
0.00/0.05	o 420925
0.00/0.05	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.05	c t 0.0s|     1 |     0 |     0 |     - |6285k|   0 |   - |1800 |1700 |   0 |   0 |   0 |   0 |   0 |      --      | 4.209250e+05 |    Inf 
0.00/0.06	c   0.0s|     1 |     0 |     0 |     - |6682k|   0 |   0 |1800 |1700 |1800 |   0 |   0 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.09/0.11	c   0.1s|     1 |     0 |    29 |     - |6744k|   0 |   0 |1800 |1700 |1800 |  66 |  66 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.09/0.12	c   0.1s|     1 |     0 |   110 |     - |6769k|   0 |  26 |1800 |1700 |1800 | 111 | 111 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.09/0.13	c   0.1s|     1 |     0 |   170 |     - |6822k|   0 |  57 |1800 |1700 |1800 | 155 | 155 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.09/0.15	c   0.1s|     1 |     0 |   252 |     - |7286k|   0 |  56 |1800 |1700 |1800 | 181 | 181 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.09/0.18	c   0.2s|     1 |     0 |   453 |     - |7344k|   0 |  54 |1800 |1700 |1800 | 196 | 196 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.19/0.20	c   0.2s|     1 |     0 |   539 |     - |7660k|   0 |  58 |1800 |1700 |1800 | 212 | 212 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.39/0.48	c   0.5s|     1 |     2 |   539 |     - |7685k|   0 |  58 |1800 |1700 |1800 | 212 | 212 |   0 |  33 | 0.000000e+00 | 4.209250e+05 |    Inf 
9.29/9.39	c   9.4s| 10000 |  9997 | 22842 |   2.2 |  20M| 539 |   0 |1800 |1702 |1800 | 250 |1747 |   2 | 630 | 0.000000e+00 | 4.209250e+05 |    Inf 
16.30/16.34	c  16.3s| 20000 | 19993 | 35367 |   1.7 |  30M| 549 |   0 |1800 |1704 |1800 | 217 |3032 |   4 | 726 | 0.000000e+00 | 4.209250e+05 |    Inf 
23.19/23.20	c  23.2s| 30000 | 29989 | 45243 |   1.5 |  39M| 549 |   0 |1800 |1707 |1800 | 230 |4209 |   7 | 740 | 0.000000e+00 | 4.209250e+05 |    Inf 
30.10/30.14	c  30.1s| 40000 | 39987 | 54642 |   1.4 |  49M| 549 |   0 |1800 |1709 |1800 | 244 |5497 |   9 | 751 | 0.000000e+00 | 4.209250e+05 |    Inf 
36.69/36.78	c  36.8s| 50000 | 49980 | 61828 |   1.2 |  59M| 607 |   0 |1800 |1714 |1800 | 217 |6509 |  14 | 756 | 0.000000e+00 | 4.209250e+05 |    Inf 
43.49/43.54	c  43.5s| 60000 | 59980 | 69759 |   1.2 |  68M| 607 |   0 |1800 |1714 |1800 | 214 |7515 |  14 | 758 | 0.000000e+00 | 4.209250e+05 |    Inf 
50.29/50.38	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
50.29/50.38	c  50.4s| 70000 | 69980 | 79823 |   1.1 |  78M| 607 |   0 |1800 |1714 |1800 | 232 |8647 |  14 | 759 | 0.000000e+00 | 4.209250e+05 |    Inf 
57.20/57.26	c  57.2s| 80000 | 79980 | 88506 |   1.1 |  88M| 607 |   0 |1800 |1714 |1800 | 263 |  10k|  14 | 760 | 0.000000e+00 | 4.209250e+05 |    Inf 
63.99/64.05	c  64.0s| 90000 | 89980 | 96110 |   1.1 |  97M| 607 |   0 |1800 |1714 |1800 | 243 |  11k|  14 | 760 | 0.000000e+00 | 4.209250e+05 |    Inf 
70.59/70.67	c  70.7s|100000 | 99976 |102894 |   1.0 | 107M| 607 |   0 |1800 |1716 |1800 | 245 |  12k|  16 | 760 | 0.000000e+00 | 4.209250e+05 |    Inf 
77.09/77.18	c  77.2s|110000 |109976 |109088 |   1.0 | 117M| 607 |   0 |1800 |1716 |1800 | 221 |  13k|  16 | 760 | 0.000000e+00 | 4.209250e+05 |    Inf 
83.60/83.66	c  83.7s|120000 |119976 |114345 |   0.9 | 126M| 607 |   0 |1800 |1716 |1800 | 220 |  13k|  16 | 762 | 0.000000e+00 | 4.209250e+05 |    Inf 
90.10/90.15	c  90.1s|130000 |129976 |119992 |   0.9 | 136M| 607 |   0 |1800 |1716 |1800 | 221 |  14k|  16 | 762 | 0.000000e+00 | 4.209250e+05 |    Inf 
96.70/96.70	c  96.7s|140000 |139974 |126632 |   0.9 | 146M| 607 |   0 |1800 |1716 |1800 | 235 |  14k|  16 | 762 | 0.000000e+00 | 4.209250e+05 |    Inf 
103.10/103.18	c   103s|150000 |149974 |132248 |   0.9 | 155M| 607 |   0 |1800 |1716 |1800 | 240 |  15k|  16 | 762 | 0.000000e+00 | 4.209250e+05 |    Inf 
109.79/109.85	c   110s|160000 |159974 |140457 |   0.9 | 165M| 607 |   0 |1800 |1716 |1800 | 234 |  16k|  16 | 764 | 0.000000e+00 | 4.209250e+05 |    Inf 
116.39/116.45	c   116s|170000 |169974 |146989 |   0.9 | 174M| 607 |   0 |1800 |1716 |1800 | 236 |  17k|  16 | 764 | 0.000000e+00 | 4.209250e+05 |    Inf 
122.79/122.88	c   123s|180000 |179974 |152015 |   0.8 | 184M| 607 |   0 |1800 |1716 |1800 | 227 |  17k|  16 | 764 | 0.000000e+00 | 4.209250e+05 |    Inf 
129.29/129.35	c   129s|190000 |189974 |157074 |   0.8 | 194M| 607 |   0 |1800 |1716 |1800 | 233 |  18k|  16 | 766 | 0.000000e+00 | 4.209250e+05 |    Inf 
135.90/135.98	c   136s|200000 |199974 |163594 |   0.8 | 203M| 607 |   0 |1800 |1716 |1800 | 236 |  19k|  16 | 766 | 0.000000e+00 | 4.209250e+05 |    Inf 
142.49/142.55	c   143s|210000 |209974 |170118 |   0.8 | 213M| 607 |   0 |1800 |1716 |1800 | 236 |  20k|  16 | 766 | 0.000000e+00 | 4.209250e+05 |    Inf 
149.10/149.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
149.10/149.15	c   149s|220000 |219974 |176924 |   0.8 | 223M| 607 |   0 |1800 |1716 |1800 | 242 |  20k|  16 | 770 | 0.000000e+00 | 4.209250e+05 |    Inf 
155.69/155.77	c   156s|230000 |229974 |183490 |   0.8 | 232M| 607 |   0 |1800 |1715 |1800 | 248 |  21k|  16 | 786 | 0.000000e+00 | 4.209250e+05 |    Inf 
162.19/162.27	c   162s|240000 |239974 |189449 |   0.8 | 242M| 607 |   2 |1800 |1714 |1800 | 223 |  22k|  16 | 792 | 0.000000e+00 | 4.209250e+05 |    Inf 
168.60/168.60	c   169s|250000 |249974 |194564 |   0.8 | 252M| 607 |   0 |1800 |1714 |1800 | 230 |  22k|  16 | 812 | 0.000000e+00 | 4.209250e+05 |    Inf 
175.09/175.10	c   175s|260000 |259974 |200689 |   0.8 | 261M| 607 |   0 |1800 |1713 |1800 | 227 |  23k|  16 | 827 | 0.000000e+00 | 4.209250e+05 |    Inf 
181.50/181.54	c   182s|270000 |269974 |205040 |   0.8 | 271M| 607 |   0 |1800 |1713 |1800 | 230 |  23k|  16 | 840 | 0.000000e+00 | 4.209250e+05 |    Inf 
188.10/188.13	c   188s|280000 |279974 |212118 |   0.8 | 281M| 607 |   0 |1800 |1713 |1800 | 240 |  24k|  16 | 859 | 0.000000e+00 | 4.209250e+05 |    Inf 
194.60/194.66	c   195s|290000 |289972 |218221 |   0.8 | 290M| 607 |   0 |1800 |1714 |1800 | 228 |  25k|  17 | 868 | 0.000000e+00 | 4.209250e+05 |    Inf 
201.20/201.23	c   201s|300000 |299970 |225164 |   0.7 | 300M| 607 |   0 |1800 |1713 |1800 | 233 |  26k|  18 | 923 | 0.000000e+00 | 4.209250e+05 |    Inf 
207.70/207.72	c   208s|310000 |309968 |231702 |   0.7 | 310M| 607 |   0 |1800 |1714 |1800 | 231 |  27k|  19 | 929 | 0.000000e+00 | 4.209250e+05 |    Inf 
214.00/214.09	c   214s|320000 |319968 |237106 |   0.7 | 319M| 607 |   0 |1800 |1713 |1800 | 231 |  27k|  19 | 942 | 0.000000e+00 | 4.209250e+05 |    Inf 
220.49/220.54	c   221s|330000 |329968 |243087 |   0.7 | 329M| 607 |   0 |1800 |1711 |1800 | 222 |  28k|  19 | 957 | 0.000000e+00 | 4.209250e+05 |    Inf 
227.00/227.00	c   227s|340000 |339968 |248824 |   0.7 | 338M| 607 |   0 |1800 |1711 |1800 | 234 |  28k|  19 | 964 | 0.000000e+00 | 4.209250e+05 |    Inf 
233.39/233.42	c   233s|350000 |349968 |254221 |   0.7 | 348M| 607 |   0 |1800 |1711 |1800 | 223 |  29k|  19 | 989 | 0.000000e+00 | 4.209250e+05 |    Inf 
239.89/239.97	c   240s|360000 |359968 |260700 |   0.7 | 358M| 607 |   0 |1800 |1711 |1800 | 228 |  29k|  19 | 998 | 0.000000e+00 | 4.209250e+05 |    Inf 
246.50/246.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
246.50/246.50	c   246s|370000 |369966 |266517 |   0.7 | 367M| 607 |   0 |1800 |1712 |1800 | 226 |  30k|  20 |1048 | 0.000000e+00 | 4.209250e+05 |    Inf 
252.90/252.93	c   253s|380000 |379966 |271184 |   0.7 | 377M| 607 |   0 |1800 |1712 |1800 | 227 |  31k|  20 |1052 | 0.000000e+00 | 4.209250e+05 |    Inf 
259.20/259.29	c   259s|390000 |389966 |275808 |   0.7 | 387M| 607 |   0 |1800 |1711 |1800 | 223 |  31k|  20 |1058 | 0.000000e+00 | 4.209250e+05 |    Inf 
265.60/265.62	c   266s|400000 |399966 |279713 |   0.7 | 396M| 607 |   0 |1800 |1711 |1800 | 232 |  32k|  20 |1072 | 0.000000e+00 | 4.209250e+05 |    Inf 
271.90/271.95	c   272s|410000 |409966 |283776 |   0.7 | 406M| 607 |   0 |1800 |1711 |1800 | 242 |  32k|  20 |1076 | 0.000000e+00 | 4.209250e+05 |    Inf 
278.20/278.29	c   278s|420000 |419966 |287784 |   0.7 | 415M| 607 |   0 |1800 |1711 |1800 | 232 |  32k|  20 |1077 | 0.000000e+00 | 4.209250e+05 |    Inf 
284.59/284.65	c   285s|430000 |429966 |291627 |   0.7 | 425M| 607 |   0 |1800 |1711 |1800 | 220 |  33k|  20 |1077 | 0.000000e+00 | 4.209250e+05 |    Inf 
291.10/291.16	c   291s|440000 |439966 |297814 |   0.7 | 435M| 607 |   0 |1800 |1711 |1800 | 240 |  34k|  20 |1089 | 0.000000e+00 | 4.209250e+05 |    Inf 
297.50/297.55	c   298s|450000 |449966 |302311 |   0.7 | 444M| 607 |   0 |1800 |1711 |1800 | 229 |  34k|  20 |1096 | 0.000000e+00 | 4.209250e+05 |    Inf 
303.89/303.96	c   304s|460000 |459966 |307356 |   0.7 | 454M| 607 |   0 |1800 |1711 |1800 | 229 |  35k|  20 |1111 | 0.000000e+00 | 4.209250e+05 |    Inf 
310.30/310.34	c   310s|470000 |469966 |311483 |   0.7 | 464M| 607 |   0 |1800 |1711 |1800 | 233 |  35k|  20 |1125 | 0.000000e+00 | 4.209250e+05 |    Inf 
316.70/316.72	c   317s|480000 |479966 |315332 |   0.7 | 473M| 607 |   0 |1800 |1711 |1800 | 221 |  36k|  20 |1130 | 0.000000e+00 | 4.209250e+05 |    Inf 
323.00/323.03	c   323s|490000 |489966 |319345 |   0.7 | 483M| 607 |   0 |1800 |1711 |1800 | 222 |  36k|  20 |1142 | 0.000000e+00 | 4.209250e+05 |    Inf 
329.30/329.33	c   329s|500000 |499966 |322939 |   0.6 | 492M| 607 |   0 |1800 |1711 |1800 | 235 |  37k|  20 |1169 | 0.000000e+00 | 4.209250e+05 |    Inf 
335.70/335.77	c   336s|510000 |509966 |328147 |   0.6 | 502M| 607 |   0 |1800 |1709 |1800 | 239 |  37k|  20 |1219 | 0.000000e+00 | 4.209250e+05 |    Inf 
342.20/342.21	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
342.20/342.21	c   342s|520000 |519966 |333593 |   0.6 | 512M| 799 |   0 |1800 |1707 |1800 | 238 |  38k|  20 |1266 | 0.000000e+00 | 4.209250e+05 |    Inf 
348.40/348.43	c   348s|530000 |529964 |337931 |   0.6 | 521M| 799 |   0 |1800 |1708 |1800 | 215 |  38k|  21 |1288 | 0.000000e+00 | 4.209250e+05 |    Inf 
354.70/354.76	c   355s|540000 |539964 |343307 |   0.6 | 531M| 799 |   0 |1800 |1706 |1800 | 223 |  39k|  21 |1305 | 0.000000e+00 | 4.209250e+05 |    Inf 
360.81/360.85	c   361s|550000 |549962 |347422 |   0.6 | 541M| 799 |   0 |1800 |1706 |1800 | 227 |  40k|  21 |1333 | 0.000000e+00 | 4.209250e+05 |    Inf 
367.10/367.14	c   367s|560000 |559960 |352546 |   0.6 | 550M| 799 |   0 |1800 |1707 |1800 | 234 |  40k|  22 |1368 | 0.000000e+00 | 4.209250e+05 |    Inf 
373.31/373.33	c   373s|570000 |569960 |357347 |   0.6 | 560M| 799 |   0 |1800 |1707 |1800 | 220 |  41k|  22 |1381 | 0.000000e+00 | 4.209250e+05 |    Inf 
379.41/379.43	c   379s|580000 |579960 |360578 |   0.6 | 569M| 799 |   0 |1800 |1707 |1800 | 233 |  41k|  22 |1382 | 0.000000e+00 | 4.209250e+05 |    Inf 
385.50/385.53	c   386s|590000 |589958 |364007 |   0.6 | 579M| 799 |   0 |1800 |1707 |1800 | 255 |  42k|  22 |1393 | 0.000000e+00 | 4.209250e+05 |    Inf 
391.61/391.61	c   392s|600000 |599958 |367998 |   0.6 | 589M| 799 |   0 |1800 |1707 |1800 | 228 |  42k|  22 |1394 | 0.000000e+00 | 4.209250e+05 |    Inf 
397.70/397.79	c   398s|610000 |609956 |371992 |   0.6 | 598M| 799 |   0 |1800 |1708 |1800 | 225 |  42k|  23 |1399 | 0.000000e+00 | 4.209250e+05 |    Inf 
403.90/403.94	c   404s|620000 |619956 |375310 |   0.6 | 608M| 799 |   0 |1800 |1708 |1800 | 221 |  43k|  23 |1402 | 0.000000e+00 | 4.209250e+05 |    Inf 
410.01/410.06	c   410s|630000 |629952 |379206 |   0.6 | 618M| 799 |   0 |1800 |1710 |1800 | 217 |  43k|  25 |1424 | 0.000000e+00 | 4.209250e+05 |    Inf 
416.10/416.10	c   416s|640000 |639952 |382402 |   0.6 | 627M| 799 |   0 |1800 |1710 |1800 | 235 |  43k|  25 |1424 | 0.000000e+00 | 4.209250e+05 |    Inf 
416.51/416.58	o 16423
416.51/416.58	c * 417s|640774 |640664 |382709 |   0.6 | 628M| 799 |   - |1800 |1710 |1800 | 242 |  43k|  25 |1424 | 0.000000e+00 | 1.642300e+04 |    Inf 
423.51/423.54	c   424s|650000 |649888 |393928 |   0.6 | 637M| 799 |   0 |1800 |1711 |1800 | 221 |  45k|  26 |1424 | 0.000000e+00 | 1.642300e+04 |    Inf 
430.91/430.91	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
430.91/430.91	c   431s|660000 |659886 |403490 |   0.6 | 647M| 799 |   0 |1800 |1710 |1800 | 241 |  45k|  26 |1478 | 0.000000e+00 | 1.642300e+04 |    Inf 
438.41/438.41	c   438s|670000 |669886 |414382 |   0.6 | 656M| 799 |   0 |1800 |1709 |1800 | 222 |  47k|  26 |1499 | 0.000000e+00 | 1.642300e+04 |    Inf 
445.70/445.74	c   446s|680000 |679886 |424227 |   0.6 | 666M| 799 |   0 |1800 |1709 |1800 | 223 |  47k|  26 |1570 | 0.000000e+00 | 1.642300e+04 |    Inf 
452.90/452.91	c   453s|690000 |689886 |432786 |   0.6 | 676M| 799 |   0 |1800 |1709 |1800 | 218 |  48k|  26 |1581 | 0.000000e+00 | 1.642300e+04 |    Inf 
460.11/460.14	c   460s|700000 |699886 |441987 |   0.6 | 686M| 799 |   0 |1800 |1709 |1800 | 219 |  49k|  26 |1612 | 0.000000e+00 | 1.642300e+04 |    Inf 
467.41/467.46	c   467s|710000 |709886 |450745 |   0.6 | 695M| 799 |   0 |1800 |1709 |1800 | 224 |  50k|  26 |1616 | 0.000000e+00 | 1.642300e+04 |    Inf 
474.71/474.70	c   475s|720000 |719886 |460361 |   0.6 | 705M| 799 |   0 |1800 |1708 |1800 | 217 |  51k|  26 |1704 | 0.000000e+00 | 1.642300e+04 |    Inf 
482.20/482.25	c   482s|730000 |729886 |472956 |   0.6 | 715M| 799 |   0 |1800 |1707 |1800 | 217 |  52k|  26 |1799 | 0.000000e+00 | 1.642300e+04 |    Inf 
489.80/489.82	c   490s|740000 |739886 |484441 |   0.7 | 725M| 799 |   0 |1800 |1706 |1800 | 215 |  54k|  26 |1801 | 0.000000e+00 | 1.642300e+04 |    Inf 
497.22/497.24	c   497s|750000 |749886 |494181 |   0.7 | 734M| 799 |   0 |1800 |1706 |1800 | 210 |  55k|  26 |1837 | 0.000000e+00 | 1.642300e+04 |    Inf 
504.61/504.63	c   505s|760000 |759886 |504723 |   0.7 | 744M| 799 |   0 |1800 |1706 |1800 | 219 |  56k|  26 |1882 | 0.000000e+00 | 1.642300e+04 |    Inf 
512.01/512.07	c   512s|770000 |769886 |515657 |   0.7 | 754M| 799 |   0 |1800 |1706 |1800 | 224 |  57k|  26 |1896 | 0.000000e+00 | 1.642300e+04 |    Inf 
519.41/519.47	c   519s|780000 |779886 |525966 |   0.7 | 764M| 799 |   0 |1800 |1705 |1800 | 226 |  58k|  26 |1907 | 0.000000e+00 | 1.642300e+04 |    Inf 
526.81/526.87	c   527s|790000 |789886 |535971 |   0.7 | 774M| 799 |   0 |1800 |1705 |1800 | 215 |  59k|  26 |1927 | 0.000000e+00 | 1.642300e+04 |    Inf 
534.20/534.27	c   534s|800000 |799886 |546287 |   0.7 | 784M| 799 |   0 |1800 |1705 |1800 | 226 |  60k|  26 |1951 | 0.000000e+00 | 1.642300e+04 |    Inf 
541.60/541.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
541.60/541.69	c   542s|810000 |809886 |557434 |   0.7 | 793M| 799 |   0 |1800 |1705 |1800 | 214 |  61k|  26 |1979 | 0.000000e+00 | 1.642300e+04 |    Inf 
549.11/549.12	c   549s|820000 |819886 |567745 |   0.7 | 803M| 799 |   0 |1800 |1705 |1800 | 217 |  63k|  26 |2000 | 0.000000e+00 | 1.642300e+04 |    Inf 
556.71/556.71	c   557s|830000 |829886 |579478 |   0.7 | 813M| 799 |   0 |1800 |1705 |1800 | 220 |  64k|  26 |2009 | 0.000000e+00 | 1.642300e+04 |    Inf 
564.00/564.07	c   564s|840000 |839880 |590035 |   0.7 | 823M| 799 |   0 |1800 |1731 |1800 | 219 |  65k|  62 |2086 | 0.000000e+00 | 1.642300e+04 |    Inf 
571.21/571.24	c   571s|850000 |849878 |598125 |   0.7 | 833M| 799 |   0 |1800 |1728 |1800 | 218 |  66k|  63 |2088 | 0.000000e+00 | 1.642300e+04 |    Inf 
578.51/578.51	c   579s|860000 |859878 |607806 |   0.7 | 842M| 799 |   0 |1800 |1720 |1800 | 219 |  67k|  63 |2127 | 0.000000e+00 | 1.642300e+04 |    Inf 
585.81/585.89	c   586s|870000 |869878 |619311 |   0.7 | 852M| 799 |   0 |1800 |1716 |1800 | 227 |  68k|  63 |2168 | 0.000000e+00 | 1.642300e+04 |    Inf 
593.10/593.17	c   593s|880000 |879878 |628748 |   0.7 | 862M| 799 |   0 |1800 |1716 |1800 | 226 |  69k|  63 |2178 | 0.000000e+00 | 1.642300e+04 |    Inf 
600.40/600.49	c   600s|890000 |889878 |637955 |   0.7 | 872M| 799 |   0 |1800 |1715 |1800 | 217 |  70k|  63 |2191 | 0.000000e+00 | 1.642300e+04 |    Inf 
607.80/607.80	c   608s|900000 |899878 |647709 |   0.7 | 881M| 799 |   0 |1800 |1714 |1800 | 223 |  71k|  63 |2206 | 0.000000e+00 | 1.642300e+04 |    Inf 
615.00/615.09	c   615s|910000 |909878 |657634 |   0.7 | 891M| 799 |   0 |1800 |1709 |1800 | 219 |  72k|  63 |2249 | 0.000000e+00 | 1.642300e+04 |    Inf 
622.31/622.34	c   622s|920000 |919878 |665961 |   0.7 | 901M| 799 |   0 |1800 |1705 |1800 | 220 |  73k|  63 |2267 | 0.000000e+00 | 1.642300e+04 |    Inf 
629.41/629.49	c   629s|930000 |929878 |672496 |   0.7 | 911M| 799 |   0 |1800 |1705 |1800 | 223 |  74k|  63 |2268 | 0.000000e+00 | 1.642300e+04 |    Inf 
636.71/636.72	c   637s|940000 |939878 |680523 |   0.7 | 920M| 799 |   0 |1800 |1705 |1800 | 215 |  75k|  63 |2275 | 0.000000e+00 | 1.642300e+04 |    Inf 
643.81/643.85	c   644s|950000 |949878 |687529 |   0.7 | 930M| 799 |   0 |1800 |1705 |1800 | 223 |  75k|  63 |2300 | 0.000000e+00 | 1.642300e+04 |    Inf 
651.11/651.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
651.11/651.14	c   651s|960000 |959878 |696257 |   0.7 | 940M| 799 |   0 |1800 |1705 |1800 | 216 |  76k|  63 |2316 | 0.000000e+00 | 1.642300e+04 |    Inf 
658.21/658.29	c   658s|970000 |969876 |704260 |   0.7 | 949M| 799 |   0 |1800 |1714 |1800 | 222 |  77k|  73 |2325 | 0.000000e+00 | 1.642300e+04 |    Inf 
665.31/665.32	c   665s|980000 |979876 |710353 |   0.7 | 959M| 799 |   0 |1800 |1704 |1800 | 214 |  78k|  73 |2325 | 0.000000e+00 | 1.642300e+04 |    Inf 
672.31/672.34	c   672s|990000 |989876 |716528 |   0.7 | 969M| 799 |   0 |1800 |1704 |1800 | 219 |  78k|  73 |2325 | 0.000000e+00 | 1.642300e+04 |    Inf 
679.41/679.41	c   679s|  1000k|999876 |723237 |   0.7 | 978M| 799 |   0 |1800 |1704 |1800 | 224 |  79k|  73 |2338 | 0.000000e+00 | 1.642300e+04 |    Inf 
686.21/686.22	c   686s|  1010k|  1009k|726985 |   0.7 | 988M| 799 |   0 |1800 |1784 |1800 | 218 |  79k| 162 |2354 | 0.000000e+00 | 1.642300e+04 |    Inf 
693.11/693.11	c   693s|  1020k|  1019k|731229 |   0.7 | 997M| 799 |   0 |1800 |1744 |1800 | 215 |  79k| 162 |2377 | 0.000000e+00 | 1.642300e+04 |    Inf 
700.01/700.03	c   700s|  1030k|  1029k|736517 |   0.7 |1007M| 799 |   0 |1800 |1883 |1800 | 221 |  80k| 341 |2392 | 0.000000e+00 | 1.642300e+04 |    Inf 
705.61/705.64	o 16225
705.61/705.64	c * 706s|  1037k|  1037k|741716 |   0.7 |1016M| 799 |   - |1800 |3223 |1800 | 219 |  80k|2048 |2410 | 0.000000e+00 | 1.622500e+04 |    Inf 
706.51/706.55	o 16095
706.51/706.55	c * 707s|  1039k|  1038k|742335 |   0.7 |1018M| 799 |   - |1800 |3320 |1800 | 221 |  80k|2317 |2414 | 0.000000e+00 | 1.609500e+04 |    Inf 
707.01/707.08	o 15944
707.01/707.08	c * 707s|  1039k|  1038k|742972 |   0.7 |1019M| 799 |   - |1800 |3619 |1800 | 235 |  81k|2736 |2414 | 0.000000e+00 | 1.594400e+04 |    Inf 
707.01/707.09	o 15907
707.01/707.09	c * 707s|  1039k|  1038k|742989 |   0.7 |1018M| 799 |   - |1800 |3619 |1800 | 235 |  81k|2736 |2414 | 0.000000e+00 | 1.590700e+04 |    Inf 
707.11/707.18	c   707s|  1040k|  1038k|743069 |   0.7 |1019M| 799 |   0 |1800 |3619 |1800 | 220 |  81k|2786 |2414 | 0.000000e+00 | 1.590700e+04 |    Inf 
707.71/707.70	o 15716
707.71/707.70	c * 708s|  1040k|  1039k|743404 |   0.7 |1019M| 799 |   - |1800 |3684 |1800 | 227 |  81k|3057 |2414 | 0.000000e+00 | 1.571600e+04 |    Inf 
707.71/707.75	o 15518
707.71/707.75	c * 708s|  1040k|  1039k|743482 |   0.7 |1019M| 799 |   - |1800 |3685 |1800 | 226 |  81k|3067 |2414 | 0.000000e+00 | 1.551800e+04 |    Inf 
710.62/710.63	o 15481
710.62/710.63	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
710.62/710.63	c * 711s|  1044k|  1042k|747127 |   0.7 |1023M| 799 |   - |1800 |4369 |1800 | 233 |  81k|5083 |2422 | 0.000000e+00 | 1.548100e+04 |    Inf 
711.72/711.75	o 15230
711.72/711.75	c * 712s|  1046k|  1043k|748318 |   0.7 |1024M| 799 |   - |1800 |4350 |1800 | 230 |  81k|5625 |2427 | 0.000000e+00 | 1.523000e+04 |    Inf 
713.81/713.84	o 15178
713.81/713.84	c * 714s|  1048k|  1045k|750674 |   0.7 |1028M| 799 |   - |1800 |4462 |1800 | 233 |  81k|6846 |2432 | 0.000000e+00 | 1.517800e+04 |    Inf 
713.81/713.86	o 15135
713.81/713.86	c * 714s|  1048k|  1045k|750678 |   0.7 |1027M| 799 |   - |1800 |4462 |1800 | 233 |  81k|6846 |2432 | 0.000000e+00 | 1.513500e+04 |    Inf 
714.01/714.06	o 15024
714.01/714.06	c * 714s|  1049k|  1045k|750955 |   0.7 |1027M| 799 |   - |1800 |4507 |1800 | 229 |  81k|6932 |2432 | 0.000000e+00 | 1.502400e+04 |    Inf 
714.31/714.34	o 15009
714.31/714.34	c * 714s|  1049k|  1045k|751254 |   0.7 |1028M| 799 |   - |1800 |4455 |1800 | 229 |  81k|6992 |2432 | 0.000000e+00 | 1.500900e+04 |    Inf 
714.61/714.66	c   715s|  1050k|  1046k|751715 |   0.7 |1028M| 799 |   0 |1800 |4209 |1800 | 219 |  81k|7158 |2432 | 0.000000e+00 | 1.500900e+04 |    Inf 
715.81/715.89	o 14870
715.81/715.89	c * 716s|  1051k|  1047k|753383 |   0.7 |1029M| 799 |   - |1800 |4480 |1800 | 238 |  81k|7919 |2434 | 0.000000e+00 | 1.487000e+04 |    Inf 
715.91/715.95	o 14511
715.91/715.95	c * 716s|  1051k|  1046k|753509 |   0.7 |1028M| 799 |   - |1800 |4477 |1800 | 231 |  82k|7939 |2434 | 0.000000e+00 | 1.451100e+04 |    Inf 
718.91/718.97	o 14505
718.91/718.97	c * 719s|  1055k|  1050k|756622 |   0.7 |1032M| 799 |   - |1800 |4735 |1800 | 230 |  82k|9847 |2434 | 0.000000e+00 | 1.450500e+04 |    Inf 
718.91/718.99	o 14371
718.91/718.99	c * 719s|  1055k|  1049k|756643 |   0.7 |1032M| 799 |   - |1800 |4735 |1800 | 230 |  82k|9847 |2434 | 0.000000e+00 | 1.437100e+04 |    Inf 
719.01/719.01	o 14233
719.01/719.01	c * 719s|  1055k|  1049k|756659 |   0.7 |1031M| 799 |   - |1800 |4735 |1800 | 230 |  82k|9847 |2434 | 0.000000e+00 | 1.423300e+04 |    Inf 
719.61/719.68	o 14205
719.61/719.68	c * 720s|  1056k|  1049k|757383 |   0.7 |1032M| 799 |   - |1800 |4695 |1800 | 229 |  82k|  10k|2434 | 0.000000e+00 | 1.420500e+04 |    Inf 
722.01/722.05	c   722s|  1060k|  1052k|759836 |   0.7 |1035M| 799 |   0 |1800 |4256 |1800 | 229 |  82k|  11k|2437 | 0.000000e+00 | 1.420500e+04 |    Inf 
722.91/722.96	o 14113
722.91/722.96	c * 723s|  1061k|  1053k|761200 |   0.7 |1037M| 799 |   - |1800 |4593 |1800 | 231 |  82k|  12k|2439 | 0.000000e+00 | 1.411300e+04 |    Inf 
722.91/722.99	o 14104
722.91/722.99	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
722.91/722.99	c * 723s|  1061k|  1053k|761270 |   0.7 |1036M| 799 |   - |1800 |4601 |1800 | 234 |  82k|  12k|2441 | 0.000000e+00 | 1.410400e+04 |    Inf 
724.71/724.80	o 13985
724.71/724.80	c * 725s|  1063k|  1054k|763588 |   0.7 |1039M| 799 |   - |1800 |5018 |1800 | 234 |  83k|  13k|2441 | 0.000000e+00 | 1.398500e+04 |    Inf 
728.32/728.37	o 13836
728.32/728.37	c * 728s|  1068k|  1058k|767877 |   0.7 |1043M| 799 |   - |1800 |5480 |1800 | 236 |  83k|  16k|2442 | 0.000000e+00 | 1.383600e+04 |    Inf 
729.81/729.87	c   730s|  1070k|  1059k|769772 |   0.7 |1045M| 799 |   0 |1800 |5696 |1800 | 236 |  84k|  17k|2444 | 0.000000e+00 | 1.383600e+04 |    Inf 
731.91/731.92	o 13787
731.91/731.92	c * 732s|  1072k|  1061k|771740 |   0.7 |1048M| 799 |   - |1800 |5837 |1800 | 236 |  84k|  18k|2444 | 0.000000e+00 | 1.378700e+04 |    Inf 
735.82/735.82	o 13701
735.82/735.82	c * 736s|  1077k|  1065k|775606 |   0.7 |1053M| 799 |   - |1800 |5253 |1800 | 236 |  85k|  21k|2444 | 0.000000e+00 | 1.370100e+04 |    Inf 
737.51/737.57	c   738s|  1080k|  1067k|777511 |   0.7 |1056M| 799 |   0 |1800 |5321 |1800 | 233 |  85k|  22k|2444 | 0.000000e+00 | 1.370100e+04 |    Inf 
739.41/739.45	o 13694
739.41/739.45	c * 739s|  1082k|  1069k|779677 |   0.7 |1059M| 799 |   - |1800 |4872 |1800 | 236 |  85k|  23k|2445 | 0.000000e+00 | 1.369400e+04 |    Inf 
739.61/739.62	o 13445
739.61/739.62	c * 740s|  1082k|  1067k|779874 |   0.7 |1056M| 799 |   - |1800 |4903 |1800 | 234 |  85k|  23k|2445 | 0.000000e+00 | 1.344500e+04 |    Inf 
740.11/740.17	o 13337
740.11/740.17	c * 740s|  1083k|  1067k|780656 |   0.7 |1056M| 799 |   - |1800 |4938 |1800 | 233 |  85k|  23k|2447 | 0.000000e+00 | 1.333700e+04 |    Inf 
740.11/740.19	o 12971
740.11/740.19	c * 740s|  1083k|  1063k|780659 |   0.7 |1050M| 799 |   - |1800 |4938 |1800 | 233 |  85k|  23k|2447 | 0.000000e+00 | 1.297100e+04 |    Inf 
740.81/740.84	o 12774
740.81/740.84	c * 741s|  1084k|  1061k|781571 |   0.7 |1047M| 799 |   - |1800 |4877 |1800 | 233 |  85k|  24k|2447 | 0.000000e+00 | 1.277400e+04 |    Inf 
741.61/741.66	o 12684
741.61/741.66	c * 742s|  1085k|  1061k|782792 |   0.7 |1047M| 799 |   - |1800 |4943 |1800 | 242 |  85k|  24k|2447 | 0.000000e+00 | 1.268400e+04 |    Inf 
741.61/741.67	o 12668
741.61/741.67	c * 742s|  1085k|  1060k|782795 |   0.7 |1046M| 799 |   - |1800 |4943 |1800 | 242 |  85k|  24k|2447 | 0.000000e+00 | 1.266800e+04 |    Inf 
744.11/744.13	o 12624
744.11/744.13	c * 744s|  1088k|  1062k|785555 |   0.7 |1049M| 799 |   - |1800 |4686 |1800 | 237 |  86k|  26k|2454 | 0.000000e+00 | 1.262400e+04 |    Inf 
744.21/744.24	o 12474
744.21/744.24	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
744.21/744.24	c * 744s|  1088k|  1060k|785731 |   0.7 |1046M| 799 |   - |1800 |4725 |1800 | 233 |  86k|  26k|2454 | 0.000000e+00 | 1.247400e+04 |    Inf 
745.51/745.50	c   745s|  1090k|  1061k|787253 |   0.7 |1048M| 799 |   0 |1800 |4985 |1800 | 220 |  86k|  27k|2455 | 0.000000e+00 | 1.247400e+04 |    Inf 
746.11/746.19	o 12458
746.11/746.19	c * 746s|  1090k|  1062k|788177 |   0.7 |1049M| 799 |   - |1800 |4661 |1800 | 231 |  86k|  27k|2458 | 0.000000e+00 | 1.245800e+04 |    Inf 
746.21/746.20	o 12362
746.21/746.20	c * 746s|  1090k|  1060k|788178 |   0.7 |1047M| 799 |   - |1800 |4661 |1800 | 231 |  86k|  27k|2458 | 0.000000e+00 | 1.236200e+04 |    Inf 
747.41/747.41	o 12260
747.41/747.41	c * 747s|  1092k|  1060k|789525 |   0.7 |1047M| 799 |   - |1800 |4382 |1800 | 238 |  86k|  28k|2459 | 0.000000e+00 | 1.226000e+04 |    Inf 
747.41/747.49	o 12192
747.41/747.49	c * 747s|  1092k|  1059k|789684 |   0.7 |1045M| 799 |   - |1800 |4378 |1800 | 237 |  86k|  28k|2459 | 0.000000e+00 | 1.219200e+04 |    Inf 
747.51/747.51	o 12169
747.51/747.51	c * 747s|  1092k|  1058k|789689 |   0.7 |1045M| 799 |   - |1800 |4378 |1800 | 237 |  86k|  28k|2459 | 0.000000e+00 | 1.216900e+04 |    Inf 
747.81/747.82	o 12021
747.81/747.82	c * 748s|  1092k|  1055k|790193 |   0.7 |1042M| 799 |   - |1800 |4427 |1800 | 241 |  86k|  28k|2459 | 0.000000e+00 | 1.202100e+04 |    Inf 
747.81/747.83	o 11925
747.81/747.83	c * 748s|  1092k|  1053k|790210 |   0.7 |1040M| 799 |   - |1800 |4427 |1800 | 241 |  86k|  28k|2459 | 0.000000e+00 | 1.192500e+04 |    Inf 
747.91/747.91	o 11896
747.91/747.91	c * 748s|  1092k|  1053k|790358 |   0.7 |1039M| 799 |   - |1800 |4435 |1800 | 241 |  86k|  28k|2459 | 0.000000e+00 | 1.189600e+04 |    Inf 
747.91/747.98	o 11782
747.91/747.98	c * 748s|  1093k|  1050k|790466 |   0.7 |1037M| 799 |   - |1800 |4457 |1800 | 240 |  86k|  28k|2459 | 0.000000e+00 | 1.178200e+04 |    Inf 
747.91/748.00	o 11771
747.91/748.00	c * 748s|  1093k|  1050k|790467 |   0.7 |1037M| 799 |   - |1800 |4457 |1800 | 240 |  86k|  28k|2459 | 0.000000e+00 | 1.177100e+04 |    Inf 
748.32/748.39	o 11745
748.32/748.39	c * 748s|  1093k|  1049k|791072 |   0.7 |1037M| 799 |   - |1800 |4643 |1800 | 245 |  86k|  28k|2459 | 0.000000e+00 | 1.174500e+04 |    Inf 
748.71/748.75	o 11657
748.71/748.75	c * 749s|  1093k|  1048k|791583 |   0.7 |1035M| 799 |   - |1800 |4794 |1800 | 243 |  86k|  28k|2459 | 0.000000e+00 | 1.165700e+04 |    Inf 
748.71/748.76	o 11646
748.71/748.76	c * 749s|  1093k|  1047k|791583 |   0.7 |1035M| 799 |   - |1800 |4794 |1800 | 243 |  86k|  28k|2459 | 0.000000e+00 | 1.164600e+04 |    Inf 
748.81/748.83	o 11449
748.81/748.83	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
748.81/748.83	c * 749s|  1093k|  1042k|791719 |   0.7 |1030M| 799 |   - |1800 |4786 |1800 | 240 |  86k|  28k|2459 | 0.000000e+00 | 1.144900e+04 |    Inf 
748.81/748.85	o 11438
748.81/748.85	c * 749s|  1093k|  1042k|791720 |   0.7 |1029M| 799 |   - |1800 |4786 |1800 | 240 |  86k|  28k|2459 | 0.000000e+00 | 1.143800e+04 |    Inf 
748.91/748.95	o 11414
748.91/748.95	c * 749s|  1094k|  1042k|791872 |   0.7 |1029M| 799 |   - |1800 |4786 |1800 | 241 |  86k|  28k|2459 | 0.000000e+00 | 1.141400e+04 |    Inf 
748.91/748.96	o 11367
748.91/748.96	c * 749s|  1094k|  1040k|791875 |   0.7 |1028M| 799 |   - |1800 |4786 |1800 | 241 |  86k|  28k|2459 | 0.000000e+00 | 1.136700e+04 |    Inf 
749.02/749.04	o 11275
749.02/749.04	c * 749s|  1094k|  1038k|792008 |   0.7 |1025M| 799 |   - |1800 |4779 |1800 | 242 |  87k|  28k|2459 | 0.000000e+00 | 1.127500e+04 |    Inf 
749.02/749.07	o 10989
749.02/749.07	c * 749s|  1094k|  1030k|792021 |   0.7 |1017M| 799 |   - |1800 |4789 |1800 | 242 |  87k|  28k|2459 | 0.000000e+00 | 1.098900e+04 |    Inf 
749.12/749.13	o 10911
749.12/749.13	c * 749s|  1094k|  1028k|792117 |   0.7 |1016M| 799 |   - |1800 |4787 |1800 | 237 |  87k|  28k|2459 | 0.000000e+00 | 1.091100e+04 |    Inf 
749.31/749.33	o 10779
749.31/749.33	c * 749s|  1094k|  1024k|792373 |   0.7 |1012M| 799 |   - |1800 |4855 |1800 | 241 |  87k|  29k|2459 | 0.000000e+00 | 1.077900e+04 |    Inf 
749.31/749.34	o 10768
749.31/749.34	c * 749s|  1094k|  1024k|792375 |   0.7 |1012M| 799 |   - |1800 |4855 |1800 | 241 |  87k|  29k|2459 | 0.000000e+00 | 1.076800e+04 |    Inf 
753.71/753.78	c   754s|  1100k|  1029k|798925 |   0.7 |1018M| 799 |   0 |1800 |4482 |1800 | 227 |  87k|  31k|2467 | 0.000000e+00 | 1.076800e+04 |    Inf 
756.51/756.53	o 10737
756.51/756.53	c * 757s|  1103k|  1030k|803876 |   0.7 |1021M| 799 |   - |1800 |4036 |1800 | 244 |  88k|  33k|2476 | 0.000000e+00 | 1.073700e+04 |    Inf 
761.61/761.64	c   762s|  1110k|  1036k|811873 |   0.7 |1029M| 799 |   0 |1800 |4163 |1800 | 241 |  89k|  36k|2485 | 0.000000e+00 | 1.073700e+04 |    Inf 
764.31/764.30	o 10593
764.31/764.30	c * 764s|  1113k|  1035k|814677 |   0.7 |1028M| 799 |   - |1800 |3676 |1800 | 232 |  89k|  37k|2496 | 0.000000e+00 | 1.059300e+04 |    Inf 
764.31/764.38	o 10592
764.31/764.38	c * 764s|  1113k|  1035k|814838 |   0.7 |1028M| 799 |   - |1800 |3681 |1800 | 233 |  89k|  37k|2496 | 0.000000e+00 | 1.059200e+04 |    Inf 
764.31/764.40	o 10580
764.31/764.40	c * 764s|  1113k|  1034k|814857 |   0.7 |1028M| 799 |   - |1800 |3681 |1800 | 233 |  89k|  37k|2496 | 0.000000e+00 | 1.058000e+04 |    Inf 
765.62/765.60	o 10513
765.62/765.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
765.62/765.60	c * 766s|  1115k|  1033k|816183 |   0.7 |1028M| 799 |   - |1800 |4021 |1800 | 244 |  89k|  38k|2500 | 0.000000e+00 | 1.051300e+04 |    Inf 
769.31/769.30	c   769s|  1120k|  1038k|821819 |   0.7 |1033M| 799 |   0 |1800 |4511 |1800 | 228 |  90k|  40k|2539 | 0.000000e+00 | 1.051300e+04 |    Inf 
769.62/769.61	o 10375
769.62/769.61	c * 770s|  1120k|  1033k|822520 |   0.7 |1029M| 799 |   - |1800 |4535 |1800 | 230 |  90k|  40k|2539 | 0.000000e+00 | 1.037500e+04 |    Inf 
774.32/774.40	o 10281
774.32/774.40	c * 774s|  1126k|  1034k|830520 |   0.7 |1033M| 799 |   - |1800 |4783 |1800 | 228 |  90k|  42k|2563 | 0.000000e+00 | 1.028100e+04 |    Inf 
774.51/774.50	o 10245
774.51/774.50	c * 774s|  1126k|  1033k|830759 |   0.7 |1032M| 799 |   - |1800 |4801 |1800 | 238 |  90k|  42k|2563 | 0.000000e+00 | 1.024500e+04 |    Inf 
777.22/777.25	c   777s|  1130k|  1036k|834838 |   0.7 |1035M| 799 |   - |1800 |4090 |   0 |   0 |  91k|  44k|2572 | 0.000000e+00 | 1.024500e+04 |    Inf 
780.51/780.53	o 9941
780.51/780.53	c * 781s|  1134k|  1025k|841004 |   0.7 |1025M| 799 |   - |1800 |3438 |1800 | 239 |  92k|  45k|2613 | 0.000000e+00 | 9.941000e+03 |    Inf 
785.42/785.45	c   785s|  1140k|  1030k|851498 |   0.7 |1032M| 799 |   0 |1800 |3429 |1800 | 225 |  93k|  48k|2634 | 0.000000e+00 | 9.941000e+03 |    Inf 
788.91/788.92	o 9831
788.91/788.92	c * 789s|  1144k|  1029k|857636 |   0.7 |1031M| 799 |   - |1800 |3840 |1800 | 241 |  94k|  50k|2651 | 0.000000e+00 | 9.831000e+03 |    Inf 
788.91/788.94	o 9774
788.91/788.94	c * 789s|  1144k|  1026k|857671 |   0.7 |1028M| 799 |   - |1800 |3840 |1800 | 241 |  94k|  50k|2654 | 0.000000e+00 | 9.774000e+03 |    Inf 
788.91/788.97	o 9606
788.91/788.97	c * 789s|  1144k|  1017k|857677 |   0.7 |1017M| 799 |   - |1800 |3839 |1800 | 241 |  94k|  50k|2654 | 0.000000e+00 | 9.606000e+03 |    Inf 
789.01/789.04	o 9594
789.01/789.04	c * 789s|  1144k|  1016k|857836 |   0.7 |1016M| 799 |   - |1800 |3832 |1800 | 242 |  94k|  50k|2654 | 0.000000e+00 | 9.594000e+03 |    Inf 
789.01/789.08	o 9390
789.01/789.08	c * 789s|  1144k|  1004k|857837 |   0.7 |1003M| 799 |   - |1800 |3832 |1800 | 242 |  94k|  50k|2654 | 0.000000e+00 | 9.390000e+03 |    Inf 
789.11/789.13	o 9334
789.11/789.13	c * 789s|  1144k|  1001k|857981 |   0.7 |1000M| 799 |   - |1800 |3819 |1800 | 242 |  94k|  50k|2654 | 0.000000e+00 | 9.334000e+03 |    Inf 
793.72/793.74	c   794s|  1150k|  1005k|866180 |   0.8 |1006M| 799 |   0 |1800 |4174 |1800 | 219 |  95k|  53k|2678 | 0.000000e+00 | 9.334000e+03 |    Inf 
801.92/801.93	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
801.92/801.93	c   802s|  1160k|  1014k|882693 |   0.8 |1018M| 799 |   0 |1800 |4256 |1800 | 221 |  97k|  58k|2713 | 0.000000e+00 | 9.334000e+03 |    Inf 
804.71/804.70	o 9198
804.71/804.70	c * 805s|  1163k|  1008k|887812 |   0.8 |1013M| 799 |   - |1800 |5321 |1800 | 233 |  97k|  60k|2716 | 0.000000e+00 | 9.198000e+03 |    Inf 
804.71/804.75	o 8949
804.71/804.75	c * 805s|  1163k|991217 |887815 |   0.8 | 996M| 799 |   - |1800 |5321 |1800 | 233 |  97k|  60k|2716 | 0.000000e+00 | 8.949000e+03 |    Inf 
810.12/810.19	c   810s|  1170k|996950 |898326 |   0.8 |1003M| 799 |   0 |1800 |3615 |1800 | 215 |  98k|  62k|2751 | 0.000000e+00 | 8.949000e+03 |    Inf 
818.31/818.34	c   818s|  1180k|  1005k|915496 |   0.8 |1016M| 799 |   0 |1800 |3394 |1800 | 220 | 100k|  66k|2804 | 0.000000e+00 | 8.949000e+03 |    Inf 
820.62/820.67	o 8910
820.62/820.67	c * 821s|  1182k|  1004k|920554 |   0.8 |1017M| 799 |   - |1800 |3877 |1800 | 236 | 100k|  67k|2813 | 0.000000e+00 | 8.910000e+03 |    Inf 
820.62/820.69	o 8887
820.62/820.69	c * 821s|  1182k|  1003k|920564 |   0.8 |1015M| 799 |   - |1800 |3877 |1800 | 236 | 100k|  67k|2813 | 0.000000e+00 | 8.887000e+03 |    Inf 
820.72/820.75	o 8819
820.72/820.75	c * 821s|  1182k|997754 |920748 |   0.8 |1010M| 799 |   - |1800 |3882 |1800 | 239 | 100k|  67k|2813 | 0.000000e+00 | 8.819000e+03 |    Inf 
820.82/820.81	o 8719
820.82/820.81	c * 821s|  1182k|989491 |920911 |   0.8 |1001M| 799 |   - |1800 |3892 |1800 | 236 | 100k|  67k|2813 | 0.000000e+00 | 8.719000e+03 |    Inf 
820.92/820.91	o 8710
820.92/820.91	c * 821s|  1182k|988867 |921213 |   0.8 |1001M| 799 |   - |1800 |3913 |1800 | 244 | 100k|  67k|2813 | 0.000000e+00 | 8.710000e+03 |    Inf 
820.92/820.97	o 8529
820.92/820.97	c * 821s|  1183k|972727 |921238 |   0.8 | 985M| 799 |   - |1800 |3912 |1800 | 244 | 100k|  67k|2813 | 0.000000e+00 | 8.529000e+03 |    Inf 
821.02/821.00	o 8460
821.02/821.00	c * 821s|  1183k|966282 |921243 |   0.8 | 979M| 799 |   - |1800 |3912 |1800 | 244 | 100k|  67k|2813 | 0.000000e+00 | 8.460000e+03 |    Inf 
821.02/821.05	o 8256
821.02/821.05	c * 821s|  1183k|946032 |921244 |   0.8 | 957M| 799 |   - |1800 |3912 |1800 | 244 | 100k|  67k|2813 | 0.000000e+00 | 8.256000e+03 |    Inf 
826.72/826.74	c   827s|  1190k|952007 |931536 |   0.8 | 966M| 799 |   0 |1800 |4311 |1800 | 226 | 101k|  70k|2821 | 0.000000e+00 | 8.256000e+03 |    Inf 
829.52/829.58	o 8253
829.52/829.58	c * 830s|  1193k|954737 |936699 |   0.8 | 969M| 799 |   - |1800 |3840 |1800 | 230 | 102k|  71k|2839 | 0.000000e+00 | 8.253000e+03 |    Inf 
829.62/829.61	o 8170
829.62/829.61	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
829.62/829.61	c * 830s|  1193k|945931 |936701 |   0.8 | 959M| 799 |   - |1800 |3840 |1800 | 230 | 102k|  71k|2839 | 0.000000e+00 | 8.170000e+03 |    Inf 
832.62/832.68	o 8163
832.62/832.68	c * 833s|  1197k|948281 |942509 |   0.8 | 963M| 799 |   - |1800 |4082 |1800 | 239 | 103k|  72k|2841 | 0.000000e+00 | 8.163000e+03 |    Inf 
833.02/833.08	o 8099
833.02/833.08	c * 833s|  1197k|941665 |943357 |   0.8 | 956M| 799 |   - |1800 |4101 |1800 | 232 | 103k|  72k|2843 | 0.000000e+00 | 8.099000e+03 |    Inf 
833.12/833.13	o 7948
833.12/833.13	c * 833s|  1197k|924936 |943366 |   0.8 | 938M| 799 |   - |1800 |4101 |1800 | 232 | 103k|  72k|2843 | 0.000000e+00 | 7.948000e+03 |    Inf 
833.12/833.17	o 7826
833.12/833.17	c * 833s|  1197k|910699 |943367 |   0.8 | 923M| 799 |   - |1800 |4101 |1800 | 232 | 103k|  72k|2843 | 0.000000e+00 | 7.826000e+03 |    Inf 
833.22/833.27	o 7749
833.22/833.27	c * 833s|  1197k|901714 |943562 |   0.8 | 914M| 799 |   - |1800 |4095 |1800 | 234 | 103k|  72k|2844 | 0.000000e+00 | 7.749000e+03 |    Inf 
834.51/834.55	o 7718
834.51/834.55	c * 835s|  1199k|899337 |945801 |   0.8 | 912M| 799 |   - |1800 |4156 |1800 | 232 | 103k|  73k|2844 | 0.000000e+00 | 7.718000e+03 |    Inf 
834.51/834.58	o 7671
834.51/834.58	c * 835s|  1199k|893870 |945813 |   0.8 | 906M| 799 |   - |1800 |4156 |1800 | 233 | 103k|  73k|2844 | 0.000000e+00 | 7.671000e+03 |    Inf 
835.42/835.46	c   835s|  1200k|894649 |948105 |   0.8 | 907M| 799 |   0 |1800 |4082 |1800 | 215 | 104k|  73k|2844 | 0.000000e+00 | 7.671000e+03 |    Inf 
836.71/836.71	o 7636
836.71/836.71	c * 837s|  1201k|891789 |950262 |   0.8 | 905M| 799 |   - |1800 |3832 |1800 | 224 | 104k|  74k|2846 | 0.000000e+00 | 7.636000e+03 |    Inf 
836.71/836.75	o 7550
836.71/836.75	c * 837s|  1201k|881517 |950330 |   0.8 | 895M| 799 |   - |1800 |3831 |1800 | 225 | 104k|  74k|2846 | 0.000000e+00 | 7.550000e+03 |    Inf 
836.71/836.78	o 7456
836.71/836.78	c * 837s|  1201k|870166 |950334 |   0.8 | 883M| 799 |   - |1800 |3831 |1800 | 225 | 104k|  74k|2846 | 0.000000e+00 | 7.456000e+03 |    Inf 
836.91/836.99	o 7374
836.91/836.99	c * 837s|  1201k|860343 |950784 |   0.8 | 874M| 799 |   - |1800 |3853 |1800 | 236 | 104k|  74k|2846 | 0.000000e+00 | 7.374000e+03 |    Inf 
843.91/843.91	c   844s|  1210k|867126 |965679 |   0.8 | 883M| 799 |   0 |1800 |3701 |1800 | 228 | 105k|  77k|2887 | 0.000000e+00 | 7.374000e+03 |    Inf 
852.42/852.48	c   852s|  1220k|875492 |988031 |   0.8 | 896M| 799 |   0 |1800 |3317 |1800 | 231 | 107k|  80k|2935 | 0.000000e+00 | 7.374000e+03 |    Inf 
860.92/860.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
860.92/860.97	c   861s|  1230k|883843 |  1008k|   0.8 | 908M| 799 |   0 |1800 |3585 |1800 | 219 | 110k|  84k|2976 | 0.000000e+00 | 7.374000e+03 |    Inf 
869.31/869.35	c   869s|  1240k|892049 |  1025k|   0.8 | 921M| 799 |   0 |1800 |3927 |1800 | 225 | 112k|  88k|3010 | 0.000000e+00 | 7.374000e+03 |    Inf 
877.51/877.57	c   878s|  1250k|900369 |  1041k|   0.8 | 932M| 799 |   0 |1800 |3556 |1800 | 224 | 114k|  92k|3035 | 0.000000e+00 | 7.374000e+03 |    Inf 
886.12/886.13	o 7351
886.12/886.13	c * 886s|  1259k|905575 |  1063k|   0.8 | 942M| 799 |   - |1800 |4047 |1800 | 240 | 116k|  95k|3077 | 0.000000e+00 | 7.351000e+03 |    Inf 
886.32/886.39	c   886s|  1260k|905823 |  1063k|   0.8 | 942M| 799 |   - |1800 |3947 |   0 |   0 | 116k|  95k|3077 | 0.000000e+00 | 7.351000e+03 |    Inf 
895.02/895.06	c   895s|  1270k|913890 |  1086k|   0.9 | 956M| 799 |   0 |1800 |3988 |1800 | 224 | 118k| 100k|3136 | 0.000000e+00 | 7.351000e+03 |    Inf 
903.51/903.59	c   904s|  1280k|922019 |  1106k|   0.9 | 968M| 799 |   0 |1800 |4061 |1800 | 232 | 120k| 104k|3158 | 0.000000e+00 | 7.351000e+03 |    Inf 
908.53/908.57	o 7310
908.53/908.57	c * 909s|  1286k|921799 |  1114k|   0.9 | 971M| 799 |   - |1800 |3945 |1800 | 223 | 121k| 106k|3176 | 0.000000e+00 | 7.310000e+03 |    Inf 
911.62/911.65	c   912s|  1290k|925027 |  1119k|   0.9 | 975M| 799 |   0 |1800 |3924 |1800 | 217 | 122k| 107k|3178 | 0.000000e+00 | 7.310000e+03 |    Inf 
920.12/920.19	c   920s|  1300k|933167 |  1138k|   0.9 | 988M| 799 |   0 |1800 |3964 |1800 | 221 | 124k| 112k|3207 | 0.000000e+00 | 7.310000e+03 |    Inf 
921.32/921.31	o 7230
921.32/921.31	c * 921s|  1301k|923626 |  1140k|   0.9 | 978M| 799 |   - |1800 |3788 |1800 | 235 | 124k| 112k|3218 | 0.000000e+00 | 7.230000e+03 |    Inf 
924.12/924.10	o 7229
924.12/924.10	c * 924s|  1304k|926281 |  1145k|   0.9 | 982M| 799 |   - |1800 |3801 |1800 | 236 | 125k| 113k|3222 | 0.000000e+00 | 7.229000e+03 |    Inf 
924.12/924.16	o 7025
924.12/924.16	c * 924s|  1304k|897223 |  1145k|   0.9 | 953M| 799 |   - |1800 |3801 |1800 | 236 | 125k| 113k|3222 | 0.000000e+00 | 7.025000e+03 |    Inf 
924.22/924.25	o 6998
924.22/924.25	c * 924s|  1304k|893320 |  1146k|   0.9 | 949M| 799 |   - |1800 |3799 |1800 | 231 | 125k| 113k|3222 | 0.000000e+00 | 6.998000e+03 |    Inf 
924.82/924.89	o 6980
924.82/924.89	c * 925s|  1305k|891167 |  1147k|   0.9 | 946M| 799 |   - |1800 |4000 |1800 | 244 | 125k| 113k|3226 | 0.000000e+00 | 6.980000e+03 |    Inf 
924.91/924.96	o 6761
924.91/924.96	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
924.91/924.96	c * 925s|  1305k|858062 |  1147k|   0.9 | 912M| 799 |   - |1800 |4000 |1800 | 244 | 125k| 113k|3226 | 0.000000e+00 | 6.761000e+03 |    Inf 
929.12/929.12	c   929s|  1310k|861918 |  1157k|   0.9 | 918M| 799 |   0 |1800 |4463 |1800 | 234 | 126k| 116k|3254 | 0.000000e+00 | 6.761000e+03 |    Inf 
937.72/937.79	c   938s|  1320k|870038 |  1176k|   0.9 | 930M| 799 |   0 |1800 |3381 |1800 | 218 | 128k| 120k|3280 | 0.000000e+00 | 6.761000e+03 |    Inf 
944.11/944.15	o 6723
944.11/944.15	c * 944s|  1327k|869988 |  1191k|   0.9 | 934M| 799 |   - |1800 |3631 |1800 | 241 | 130k| 123k|3311 | 0.000000e+00 | 6.723000e+03 |    Inf 
944.11/944.18	o 6686
944.11/944.18	c * 944s|  1327k|864011 |  1191k|   0.9 | 928M| 799 |   - |1800 |3630 |1800 | 241 | 130k| 123k|3311 | 0.000000e+00 | 6.686000e+03 |    Inf 
946.42/946.45	c   946s|  1330k|866210 |  1196k|   0.9 | 931M| 799 |   - |1800 |3629 |   0 |   0 | 130k| 124k|3313 | 0.000000e+00 | 6.686000e+03 |    Inf 
955.12/955.12	c   955s|  1340k|874599 |  1216k|   0.9 | 945M| 799 |   0 |1800 |3786 |1800 | 254 | 132k| 127k|3354 | 0.000000e+00 | 6.686000e+03 |    Inf 
963.53/963.57	c   964s|  1350k|883017 |  1237k|   0.9 | 957M| 799 |   0 |1800 |3278 |1800 | 218 | 134k| 131k|3425 | 0.000000e+00 | 6.686000e+03 |    Inf 
972.43/972.45	c   972s|  1360k|891482 |  1263k|   0.9 | 971M| 799 |   0 |1800 |3700 |1800 | 229 | 137k| 135k|3480 | 0.000000e+00 | 6.686000e+03 |    Inf 
977.92/977.97	o 6659
977.92/977.97	c * 978s|  1366k|892095 |  1277k|   0.9 | 975M| 799 |   - |1800 |3640 |1800 | 258 | 138k| 137k|3498 | 0.000000e+00 | 6.659000e+03 |    Inf 
981.13/981.17	c   981s|  1370k|895235 |  1283k|   0.9 | 979M| 799 |   0 |1800 |3474 |1800 | 220 | 139k| 139k|3513 | 0.000000e+00 | 6.659000e+03 |    Inf 
989.93/989.95	c   990s|  1380k|903277 |  1305k|   0.9 | 993M| 799 |   0 |1800 |4494 |1800 | 211 | 141k| 143k|3546 | 0.000000e+00 | 6.659000e+03 |    Inf 
998.72/998.71	c   999s|  1390k|911400 |  1327k|   1.0 |1005M| 799 |   0 |1800 |4034 |1800 | 244 | 144k| 147k|3581 | 0.000000e+00 | 6.659000e+03 |    Inf 
1007.12/1007.14	c  1007s|  1400k|919717 |  1346k|   1.0 |1018M| 799 |   0 |1800 |3689 |1800 | 221 | 146k| 151k|3614 | 0.000000e+00 | 6.659000e+03 |    Inf 
1015.72/1015.76	c  1016s|  1410k|927915 |  1367k|   1.0 |1032M| 799 |   - |1800 |3903 |   0 |   0 | 148k| 154k|3647 | 0.000000e+00 | 6.659000e+03 |    Inf 
1024.62/1024.67	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1024.62/1024.67	c  1025s|  1420k|936035 |  1391k|   1.0 |1045M| 799 |   0 |1800 |3324 |1800 | 219 | 150k| 158k|3725 | 0.000000e+00 | 6.659000e+03 |    Inf 
1033.12/1033.12	c  1033s|  1430k|944550 |  1411k|   1.0 |1058M| 799 |   0 |1800 |3961 |1800 | 237 | 153k| 161k|3742 | 0.000000e+00 | 6.659000e+03 |    Inf 
1042.42/1042.48	c  1042s|  1440k|952183 |  1438k|   1.0 |1072M| 799 |   0 |1800 |5144 |1800 | 227 | 155k| 167k|3788 | 0.000000e+00 | 6.659000e+03 |    Inf 
1051.53/1051.53	c  1052s|  1450k|960293 |  1464k|   1.0 |1085M| 799 |   0 |1800 |4240 |1800 | 245 | 159k| 171k|3833 | 0.000000e+00 | 6.659000e+03 |    Inf 
1060.52/1060.52	c  1061s|  1460k|968267 |  1490k|   1.0 |1099M| 799 |   0 |1800 |4743 |1800 | 234 | 161k| 176k|3870 | 0.000000e+00 | 6.659000e+03 |    Inf 
1069.23/1069.24	c  1069s|  1470k|976570 |  1512k|   1.0 |1112M| 799 |   0 |1800 |3536 |1800 | 243 | 164k| 180k|3909 | 0.000000e+00 | 6.659000e+03 |    Inf 
1073.12/1073.13	o 6574
1073.12/1073.13	c *1073s|  1474k|964724 |  1525k|   1.0 |1100M| 799 |   - |1800 |4105 |1800 | 257 | 165k| 182k|3943 | 0.000000e+00 | 6.574000e+03 |    Inf 
1073.12/1073.19	o 6454
1073.12/1073.19	c *1073s|  1474k|942129 |  1525k|   1.0 |1070M| 799 |   - |1800 |4105 |1800 | 257 | 165k| 182k|3943 | 0.000000e+00 | 6.454000e+03 |    Inf 
1077.02/1077.04	o 6396
1077.02/1077.04	c *1077s|  1478k|933618 |  1537k|   1.0 |1060M| 799 |   - |1800 |4161 |1800 | 252 | 166k| 183k|3963 | 0.000000e+00 | 6.396000e+03 |    Inf 
1078.82/1078.88	c  1079s|  1480k|935296 |  1542k|   1.0 |1062M| 799 |   0 |1800 |3873 |1800 | 236 | 167k| 184k|3971 | 0.000000e+00 | 6.396000e+03 |    Inf 
1087.72/1087.80	c  1088s|  1490k|943391 |  1563k|   1.0 |1076M| 799 |   0 |1800 |4091 |1800 | 226 | 169k| 188k|4007 | 0.000000e+00 | 6.396000e+03 |    Inf 
1096.73/1096.77	c  1097s|  1500k|951539 |  1588k|   1.1 |1089M| 799 |   0 |1800 |3842 |1800 | 222 | 171k| 192k|4045 | 0.000000e+00 | 6.396000e+03 |    Inf 
1105.72/1105.71	c  1106s|  1510k|959617 |  1612k|   1.1 |1102M| 799 |   0 |1800 |3919 |1800 | 218 | 174k| 197k|4081 | 0.000000e+00 | 6.396000e+03 |    Inf 
1114.72/1114.77	c  1115s|  1520k|967792 |  1636k|   1.1 |1116M| 799 |   0 |1800 |3839 |1800 | 223 | 177k| 201k|4111 | 0.000000e+00 | 6.396000e+03 |    Inf 
1123.52/1123.50	c  1123s|  1530k|976184 |  1658k|   1.1 |1129M| 799 |   0 |1800 |3567 |1800 | 223 | 179k| 204k|4139 | 0.000000e+00 | 6.396000e+03 |    Inf 
1132.52/1132.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1132.52/1132.50	c  1132s|  1540k|984382 |  1682k|   1.1 |1142M| 799 |   0 |1800 |3777 |1800 | 222 | 181k| 208k|4182 | 0.000000e+00 | 6.396000e+03 |    Inf 
1138.73/1138.76	o 6192
1138.73/1138.76	c *1139s|  1547k|945731 |  1698k|   1.1 |1093M| 799 |   - |1800 |3956 |1800 | 232 | 183k| 211k|4213 | 0.000000e+00 | 6.192000e+03 |    Inf 
1141.32/1141.37	c  1141s|  1550k|948130 |  1707k|   1.1 |1097M| 799 |   0 |1800 |3962 |1800 | 230 | 184k| 212k|4222 | 0.000000e+00 | 6.192000e+03 |    Inf 
1150.43/1150.49	c  1150s|  1560k|956551 |  1735k|   1.1 |1111M| 799 |   - |1800 |4192 |   0 |   0 | 186k| 215k|4263 | 0.000000e+00 | 6.192000e+03 |    Inf 
1155.03/1155.01	o 6109
1155.03/1155.01	c *1155s|  1565k|942373 |  1745k|   1.1 |1094M| 799 |   - |1800 |3827 |1800 | 227 | 187k| 217k|4292 | 0.000000e+00 | 6.109000e+03 |    Inf 
1159.33/1159.31	c  1159s|  1570k|946373 |  1755k|   1.1 |1100M| 799 |   0 |1800 |3860 |1800 | 230 | 188k| 219k|4305 | 0.000000e+00 | 6.109000e+03 |    Inf 
1168.82/1168.82	c  1169s|  1580k|954501 |  1786k|   1.1 |1113M| 799 |   - |1800 |4239 |   0 |   0 | 192k| 222k|4353 | 0.000000e+00 | 6.109000e+03 |    Inf 
1177.62/1177.64	c  1178s|  1590k|962736 |  1808k|   1.1 |1127M| 799 |   0 |1800 |4507 |1800 | 230 | 194k| 226k|4374 | 0.000000e+00 | 6.109000e+03 |    Inf 
1186.83/1186.85	c  1187s|  1600k|970775 |  1832k|   1.1 |1140M| 799 |   0 |1800 |4576 |1800 | 221 | 197k| 231k|4412 | 0.000000e+00 | 6.109000e+03 |    Inf 
1196.02/1196.06	c  1196s|  1610k|978984 |  1862k|   1.2 |1154M| 799 |   0 |1800 |4620 |1800 | 230 | 200k| 234k|4491 | 0.000000e+00 | 6.109000e+03 |    Inf 
1205.23/1205.25	c  1205s|  1620k|986968 |  1887k|   1.2 |1167M| 799 |   0 |1800 |4629 |1800 | 216 | 203k| 238k|4516 | 0.000000e+00 | 6.109000e+03 |    Inf 
1208.22/1208.26	o 5993
1208.22/1208.26	c *1208s|  1623k|962848 |  1895k|   1.2 |1137M| 799 |   - |1800 |4835 |1800 | 231 | 203k| 240k|4533 | 0.000000e+00 | 5.993000e+03 |    Inf 
1214.43/1214.47	c  1214s|  1630k|968479 |  1912k|   1.2 |1146M| 799 |   0 |1800 |5187 |1800 | 222 | 205k| 242k|4571 | 0.000000e+00 | 5.993000e+03 |    Inf 
1223.83/1223.81	c  1224s|  1640k|976512 |  1939k|   1.2 |1159M| 799 |   0 |1800 |5274 |1800 | 232 | 208k| 246k|4601 | 0.000000e+00 | 5.993000e+03 |    Inf 
1233.43/1233.41	c  1233s|  1650k|984521 |  1969k|   1.2 |1173M| 799 |   0 |1800 |4668 |1800 | 216 | 211k| 250k|4641 | 0.000000e+00 | 5.993000e+03 |    Inf 
1242.52/1242.58	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1242.52/1242.58	c  1243s|  1660k|992650 |  1997k|   1.2 |1187M| 799 |   0 |1800 |4113 |1800 | 223 | 214k| 254k|4705 | 0.000000e+00 | 5.993000e+03 |    Inf 
1252.13/1252.10	c  1252s|  1670k|  1000k|  2030k|   1.2 |1201M| 799 |   0 |1800 |3983 |1800 | 226 | 217k| 258k|4763 | 0.000000e+00 | 5.993000e+03 |    Inf 
1253.43/1253.44	o 5938
1253.43/1253.44	c *1253s|  1671k|988681 |  2034k|   1.2 |1185M| 799 |   - |1800 |4228 |1800 | 237 | 218k| 259k|4764 | 0.000000e+00 | 5.938000e+03 |    Inf 
1253.43/1253.49	o 5859
1253.43/1253.49	c *1253s|  1671k|970161 |  2034k|   1.2 |1157M| 799 |   - |1800 |4228 |1800 | 237 | 218k| 259k|4764 | 0.000000e+00 | 5.859000e+03 |    Inf 
1261.53/1261.60	c  1262s|  1680k|976990 |  2058k|   1.2 |1169M| 799 |   0 |1800 |4361 |1800 | 225 | 220k| 262k|4811 | 0.000000e+00 | 5.859000e+03 |    Inf 
1271.03/1271.06	c  1271s|  1690k|984984 |  2084k|   1.2 |1183M| 799 |   0 |1800 |4387 |1800 | 220 | 223k| 267k|4837 | 0.000000e+00 | 5.859000e+03 |    Inf 
1280.13/1280.15	c  1280s|  1700k|993209 |  2110k|   1.2 |1196M| 799 |   0 |1800 |3949 |1800 | 236 | 226k| 271k|4872 | 0.000000e+00 | 5.859000e+03 |    Inf 
1280.33/1280.31	o 5801
1280.33/1280.31	c *1280s|  1700k|979210 |  2110k|   1.2 |1175M| 799 |   - |1800 |3951 |1800 | 234 | 226k| 271k|4878 | 0.000000e+00 | 5.801000e+03 |    Inf 
1289.53/1289.57	c  1290s|  1710k|987254 |  2139k|   1.3 |1188M| 799 |   0 |1800 |3918 |1800 | 231 | 229k| 274k|4921 | 0.000000e+00 | 5.801000e+03 |    Inf 
1298.83/1298.80	c  1299s|  1720k|995350 |  2166k|   1.3 |1201M| 799 |   - |1800 |4148 |   0 |   0 | 232k| 278k|4965 | 0.000000e+00 | 5.801000e+03 |    Inf 
1301.73/1301.72	o 5778
1301.73/1301.72	c *1302s|  1723k|992143 |  2175k|   1.3 |1197M| 799 |   - |1800 |4134 |1800 | 240 | 232k| 280k|4987 | 0.000000e+00 | 5.778000e+03 |    Inf 
1302.43/1302.42	o 5648
1302.43/1302.42	c *1302s|  1723k|959683 |  2177k|   1.3 |1142M| 799 |   - |1800 |4190 |1800 | 229 | 233k| 280k|4987 | 0.000000e+00 | 5.648000e+03 |    Inf 
1308.13/1308.17	c  1308s|  1730k|964753 |  2190k|   1.3 |1150M| 799 |   0 |1800 |4493 |1800 | 227 | 234k| 282k|4997 | 0.000000e+00 | 5.648000e+03 |    Inf 
1317.42/1317.48	c  1317s|  1740k|972842 |  2216k|   1.3 |1164M| 799 |   0 |1800 |3634 |1800 | 217 | 237k| 286k|5038 | 0.000000e+00 | 5.648000e+03 |    Inf 
1327.33/1327.35	c  1327s|  1750k|980789 |  2254k|   1.3 |1178M| 799 |   0 |1800 |4006 |1800 | 243 | 241k| 290k|5093 | 0.000000e+00 | 5.648000e+03 |    Inf 
1336.54/1336.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1336.54/1336.59	c  1337s|  1760k|988900 |  2281k|   1.3 |1192M| 799 |   0 |1800 |4069 |1800 | 218 | 244k| 293k|5125 | 0.000000e+00 | 5.648000e+03 |    Inf 
1345.93/1345.92	c  1346s|  1770k|996965 |  2306k|   1.3 |1206M| 799 |   0 |1800 |4561 |1800 | 214 | 247k| 297k|5160 | 0.000000e+00 | 5.648000e+03 |    Inf 
1348.63/1348.69	o 5545
1348.63/1348.69	c *1349s|  1772k|973062 |  2313k|   1.3 |1168M| 799 |   - |1800 |4417 |1800 | 236 | 248k| 298k|5162 | 0.000000e+00 | 5.545000e+03 |    Inf 
1355.13/1355.12	c  1355s|  1780k|978923 |  2330k|   1.3 |1178M| 799 |   0 |1800 |4117 |1800 | 217 | 249k| 301k|5188 | 0.000000e+00 | 5.545000e+03 |    Inf 
1364.04/1364.09	c  1364s|  1790k|987270 |  2353k|   1.3 |1191M| 799 |   0 |1800 |3619 |1800 | 234 | 252k| 304k|5212 | 0.000000e+00 | 5.545000e+03 |    Inf 
1371.03/1371.02	o 5355
1371.03/1371.02	c *1371s|  1797k|944470 |  2368k|   1.3 |1120M| 799 |   - |1800 |4072 |1800 | 238 | 254k| 306k|5229 | 0.000000e+00 | 5.355000e+03 |    Inf 
1371.13/1371.17	o 5151
1371.13/1371.17	c *1371s|  1797k|892947 |  2368k|   1.3 |1036M| 799 |   - |1800 |4072 |1800 | 238 | 254k| 306k|5229 | 0.000000e+00 | 5.151000e+03 |    Inf 
1373.43/1373.48	c  1373s|  1800k|894976 |  2374k|   1.3 |1039M| 799 |   0 |1800 |4165 |1800 | 223 | 255k| 307k|5233 | 0.000000e+00 | 5.151000e+03 |    Inf 
1382.93/1382.99	c  1383s|  1810k|903163 |  2406k|   1.3 |1053M| 799 |   0 |1800 |3499 |1800 | 240 | 258k| 310k|5303 | 0.000000e+00 | 5.151000e+03 |    Inf 
1392.33/1392.32	c  1392s|  1820k|911104 |  2433k|   1.3 |1067M| 799 |   - |1800 |3977 |   0 |   0 | 261k| 314k|5334 | 0.000000e+00 | 5.151000e+03 |    Inf 
1402.23/1402.29	c  1402s|  1830k|918777 |  2468k|   1.3 |1081M| 799 |   0 |1800 |3780 |1800 | 233 | 264k| 318k|5375 | 0.000000e+00 | 5.151000e+03 |    Inf 
1408.93/1408.98	o 5132
1408.93/1408.98	c *1409s|  1837k|919510 |  2485k|   1.4 |1083M| 799 |   - |1800 |3612 |1800 | 239 | 266k| 320k|5393 | 0.000000e+00 | 5.132000e+03 |    Inf 
1411.43/1411.47	c  1411s|  1840k|921587 |  2491k|   1.4 |1087M| 799 |   0 |1800 |3849 |1800 | 225 | 267k| 322k|5396 | 0.000000e+00 | 5.132000e+03 |    Inf 
1416.13/1416.16	o 5115
1416.13/1416.16	c *1416s|  1844k|920865 |  2504k|   1.4 |1087M| 799 |   - |1800 |3754 |1800 | 241 | 268k| 323k|5438 | 0.000000e+00 | 5.115000e+03 |    Inf 
1416.13/1416.18	o 5104
1416.13/1416.18	c *1416s|  1844k|918044 |  2504k|   1.4 |1082M| 799 |   - |1800 |3754 |1800 | 241 | 268k| 323k|5438 | 0.000000e+00 | 5.104000e+03 |    Inf 
1420.73/1420.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1420.73/1420.79	c  1421s|  1850k|921951 |  2515k|   1.4 |1089M| 799 |   0 |1800 |3688 |1800 | 228 | 270k| 325k|5440 | 0.000000e+00 | 5.104000e+03 |    Inf 
1430.73/1430.76	c  1431s|  1860k|929756 |  2549k|   1.4 |1103M| 799 |   0 |1800 |3504 |1800 | 219 | 273k| 329k|5492 | 0.000000e+00 | 5.104000e+03 |    Inf 
1440.33/1440.39	c  1440s|  1870k|937513 |  2581k|   1.4 |1118M| 799 |   - |1800 |4143 |   0 |   0 | 276k| 333k|5532 | 0.000000e+00 | 5.104000e+03 |    Inf 
1449.93/1449.90	c  1450s|  1880k|945385 |  2610k|   1.4 |1132M| 799 |   0 |1800 |4663 |1800 | 225 | 279k| 337k|5571 | 0.000000e+00 | 5.104000e+03 |    Inf 
1459.74/1459.70	c  1460s|  1890k|953398 |  2643k|   1.4 |1147M| 799 |   0 |1800 |4648 |1800 | 231 | 283k| 341k|5615 | 0.000000e+00 | 5.104000e+03 |    Inf 
1463.93/1464.00	o 5095
1463.93/1464.00	c *1464s|  1894k|954540 |  2657k|   1.4 |1150M| 799 |   - |1800 |3852 |1800 | 243 | 284k| 342k|5643 | 0.000000e+00 | 5.095000e+03 |    Inf 
1469.24/1469.22	c  1469s|  1900k|958912 |  2672k|   1.4 |1157M| 799 |   0 |1800 |3575 |1800 | 214 | 286k| 344k|5651 | 0.000000e+00 | 5.095000e+03 |    Inf 
1478.44/1478.41	c  1478s|  1910k|966718 |  2698k|   1.4 |1170M| 799 |   0 |1800 |3568 |1800 | 233 | 289k| 348k|5687 | 0.000000e+00 | 5.095000e+03 |    Inf 
1482.74/1482.74	o 5033
1482.74/1482.74	c *1483s|  1914k|953679 |  2712k|   1.4 |1151M| 799 |   - |1800 |3503 |1800 | 244 | 290k| 349k|5711 | 0.000000e+00 | 5.033000e+03 |    Inf 
1488.43/1488.48	c  1488s|  1920k|957922 |  2732k|   1.4 |1159M| 799 |   0 |1800 |3672 |1800 | 232 | 292k| 352k|5752 | 0.000000e+00 | 5.033000e+03 |    Inf 
1489.03/1489.05	o 5020
1489.03/1489.05	c *1489s|  1920k|954792 |  2733k|   1.4 |1155M| 799 |   - |1800 |3630 |1800 | 250 | 292k| 352k|5752 | 0.000000e+00 | 5.020000e+03 |    Inf 
1498.03/1498.07	c  1498s|  1930k|961969 |  2757k|   1.4 |1168M| 799 |   0 |1800 |3406 |1800 | 219 | 295k| 356k|5770 | 0.000000e+00 | 5.020000e+03 |    Inf 
1507.63/1507.61	c  1508s|  1940k|969866 |  2792k|   1.4 |1183M| 799 |   0 |1800 |3641 |1800 | 218 | 298k| 359k|5812 | 0.000000e+00 | 5.020000e+03 |    Inf 
1517.04/1517.07	c  1517s|  1950k|977864 |  2821k|   1.4 |1197M| 799 |   0 |1800 |3724 |1800 | 228 | 301k| 362k|5845 | 0.000000e+00 | 5.020000e+03 |    Inf 
1526.43/1526.41	c  1526s|  1960k|985828 |  2849k|   1.5 |1210M| 799 |   - |1800 |3504 |   0 |   0 | 304k| 366k|5876 | 0.000000e+00 | 5.020000e+03 |    Inf 
1535.83/1535.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1535.83/1535.81	c  1536s|  1970k|993784 |  2881k|   1.5 |1225M| 799 |   0 |1800 |3285 |1800 | 222 | 307k| 369k|5910 | 0.000000e+00 | 5.020000e+03 |    Inf 
1544.93/1544.91	c  1545s|  1980k|  1001k|  2907k|   1.5 |1238M| 799 |   0 |1800 |3485 |1800 | 225 | 310k| 373k|5926 | 0.000000e+00 | 5.020000e+03 |    Inf 
1554.44/1554.48	c  1554s|  1990k|  1009k|  2940k|   1.5 |1252M| 799 |   0 |1800 |3426 |1800 | 229 | 314k| 376k|5983 | 0.000000e+00 | 5.020000e+03 |    Inf 
1563.94/1563.90	c  1564s|  2000k|  1017k|  2967k|   1.5 |1267M| 799 |   0 |1800 |3612 |1800 | 224 | 316k| 380k|6005 | 0.000000e+00 | 5.020000e+03 |    Inf 
1572.94/1572.96	c  1573s|  2010k|  1025k|  2991k|   1.5 |1280M| 799 |   0 |1800 |3457 |1800 | 235 | 319k| 383k|6022 | 0.000000e+00 | 5.020000e+03 |    Inf 
1582.33/1582.40	c  1582s|  2020k|  1033k|  3019k|   1.5 |1294M| 799 |   - |1800 |3863 |   0 |   0 | 322k| 387k|6061 | 0.000000e+00 | 5.020000e+03 |    Inf 
1591.64/1591.68	c  1592s|  2030k|  1041k|  3046k|   1.5 |1308M| 799 |   0 |1800 |3734 |1800 | 230 | 325k| 390k|6093 | 0.000000e+00 | 5.020000e+03 |    Inf 
1601.04/1601.03	c  1601s|  2040k|  1049k|  3072k|   1.5 |1322M| 799 |   0 |1800 |3910 |1800 | 225 | 329k| 394k|6115 | 0.000000e+00 | 5.020000e+03 |    Inf 
1610.84/1610.86	c  1611s|  2050k|  1057k|  3104k|   1.5 |1336M| 799 |   0 |1800 |4643 |1800 | 218 | 332k| 398k|6148 | 0.000000e+00 | 5.020000e+03 |    Inf 
1614.84/1614.80	o 4953
1614.84/1614.80	c *1615s|  2054k|  1041k|  3116k|   1.5 |1311M| 799 |   - |1800 |4398 |1800 | 232 | 334k| 399k|6169 | 0.000000e+00 | 4.953000e+03 |    Inf 
1614.84/1614.83	o 4948
1614.84/1614.83	c *1615s|  2054k|  1039k|  3116k|   1.5 |1309M| 799 |   - |1800 |4398 |1800 | 232 | 334k| 399k|6169 | 0.000000e+00 | 4.948000e+03 |    Inf 
1614.94/1614.94	o 4806
1614.94/1614.94	c *1615s|  2054k|998454 |  3116k|   1.5 |1245M| 799 |   - |1800 |4398 |1800 | 232 | 334k| 399k|6169 | 0.000000e+00 | 4.806000e+03 |    Inf 
1621.04/1621.05	c  1621s|  2060k|  1003k|  3138k|   1.5 |1253M| 799 |   0 |1800 |4069 |1800 | 230 | 336k| 401k|6187 | 0.000000e+00 | 4.806000e+03 |    Inf 
1630.94/1630.92	c  1631s|  2070k|  1010k|  3169k|   1.5 |1268M| 799 |   0 |1800 |4452 |1800 | 229 | 340k| 406k|6220 | 0.000000e+00 | 4.806000e+03 |    Inf 
1637.84/1637.87	o 4675
1637.84/1637.87	c *1638s|  2077k|977916 |  3184k|   1.5 |1220M| 799 |   - |1800 |4563 |1800 | 251 | 342k| 409k|6244 | 0.000000e+00 | 4.675000e+03 |    Inf 
1640.44/1640.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1640.44/1640.42	c  1640s|  2080k|979896 |  3191k|   1.5 |1224M| 799 |   0 |1800 |4273 |1800 | 240 | 343k| 410k|6260 | 0.000000e+00 | 4.675000e+03 |    Inf 
1650.34/1650.37	c  1650s|  2090k|987237 |  3220k|   1.5 |1237M| 799 |   0 |1800 |4347 |1800 | 227 | 346k| 414k|6286 | 0.000000e+00 | 4.675000e+03 |    Inf 
1660.13/1660.10	c  1660s|  2100k|994884 |  3248k|   1.5 |1251M| 799 |   0 |1800 |3868 |1800 | 233 | 349k| 417k|6317 | 0.000000e+00 | 4.675000e+03 |    Inf 
1669.75/1669.74	c  1670s|  2110k|  1002k|  3276k|   1.6 |1266M| 799 |   0 |1800 |3788 |1800 | 236 | 352k| 421k|6358 | 0.000000e+00 | 4.675000e+03 |    Inf 
1679.33/1679.35	c  1679s|  2120k|  1010k|  3305k|   1.6 |1280M| 799 |   0 |1800 |4358 |1800 | 227 | 355k| 425k|6406 | 0.000000e+00 | 4.675000e+03 |    Inf 
1689.34/1689.35	c  1689s|  2130k|  1018k|  3344k|   1.6 |1295M| 799 |   0 |1800 |3686 |1800 | 222 | 359k| 428k|6453 | 0.000000e+00 | 4.675000e+03 |    Inf 
1698.94/1698.91	c  1699s|  2140k|  1025k|  3372k|   1.6 |1309M| 799 |   0 |1800 |3859 |1800 | 213 | 362k| 432k|6484 | 0.000000e+00 | 4.675000e+03 |    Inf 
1708.74/1708.70	c  1709s|  2150k|  1033k|  3404k|   1.6 |1323M| 799 |   0 |1800 |3626 |1800 | 231 | 366k| 435k|6515 | 0.000000e+00 | 4.675000e+03 |    Inf 
1718.34/1718.36	c  1718s|  2160k|  1041k|  3436k|   1.6 |1337M| 799 |   0 |1800 |3822 |1800 | 238 | 369k| 438k|6547 | 0.000000e+00 | 4.675000e+03 |    Inf 
1728.24/1728.27	c  1728s|  2170k|  1049k|  3469k|   1.6 |1352M| 799 |   0 |1800 |3809 |1800 | 215 | 373k| 442k|6586 | 0.000000e+00 | 4.675000e+03 |    Inf 
1737.74/1737.73	c  1738s|  2180k|  1056k|  3498k|   1.6 |1366M| 799 |   0 |1800 |3485 |1800 | 233 | 376k| 445k|6633 | 0.000000e+00 | 4.675000e+03 |    Inf 
1744.04/1744.01	o 4639
1744.04/1744.01	c *1744s|  2186k|  1050k|  3518k|   1.6 |1359M| 799 |   - |1800 |3718 |1800 | 223 | 378k| 447k|6645 | 0.000000e+00 | 4.639000e+03 |    Inf 
1747.14/1747.17	c  1747s|  2190k|  1053k|  3526k|   1.6 |1364M| 799 |   - |1800 |3684 |   0 |   0 | 379k| 449k|6648 | 0.000000e+00 | 4.639000e+03 |    Inf 
1756.74/1756.75	c  1757s|  2200k|  1061k|  3553k|   1.6 |1378M| 799 |   0 |1800 |4342 |1800 | 216 | 382k| 453k|6676 | 0.000000e+00 | 4.639000e+03 |    Inf 
1765.94/1765.94	c  1766s|  2210k|  1068k|  3576k|   1.6 |1392M| 799 |   0 |1800 |4286 |1800 | 224 | 385k| 456k|6709 | 0.000000e+00 | 4.639000e+03 |    Inf 
1776.14/1776.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1776.14/1776.10	c  1776s|  2220k|  1076k|  3616k|   1.6 |1406M| 799 |   0 |1800 |3679 |1800 | 217 | 389k| 460k|6753 | 0.000000e+00 | 4.639000e+03 |    Inf 
1785.44/1785.42	c  1785s|  2230k|  1084k|  3642k|   1.6 |1420M| 799 |   0 |1800 |4234 |1800 | 239 | 393k| 463k|6769 | 0.000000e+00 | 4.639000e+03 |    Inf 
1790.04/1790.00	c 
1790.04/1790.00	c SCIP Status        : solving was interrupted [time limit reached]
1790.04/1790.00	c Solving Time (sec) : 1789.99
1790.04/1790.00	c Solving Nodes      : 2234476
1790.04/1790.00	c Primal Bound       : +4.63900000000000e+03 (230 solutions)
1790.04/1790.00	c Dual Bound         : +0.00000000000000e+00
1790.04/1790.00	c Gap                : infinite
1790.04/1790.01	s SATISFIABLE
1790.04/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 
1790.04/1790.01	v x177 -x176 x175 -x174 x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165 -x164 x163 x162 -x161 x160 -x159 x158 -x157 -x156 x155 
1790.04/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.04/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.04/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.04/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.04/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.04/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.04/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1790.04/1790.01	c Solving Time       :    1789.99
1790.04/1790.01	c Original Problem   :
1790.04/1790.01	c   Problem name     : HOME/instance-2705756-1278580129.wbo
1790.04/1790.01	c   Variables        : 1900 (1050 binary, 0 integer, 850 implicit integer, 0 continuous)
1790.04/1790.01	c   Constraints      : 1801 initial, 1801 maximal
1790.04/1790.01	c Presolved Problem  :
1790.04/1790.01	c   Problem name     : t_HOME/instance-2705756-1278580129.wbo
1790.04/1790.01	c   Variables        : 1800 (950 binary, 0 integer, 850 implicit integer, 0 continuous)
1790.04/1790.01	c   Constraints      : 1700 initial, 5924 maximal
1790.04/1790.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.04/1790.01	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   implics          :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   probing          :       0.01          0          0          0          0          0          0          0          0
1790.04/1790.01	c   linear           :       0.02          0        100          0        850          0        101          0          0
1790.04/1790.01	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   root node        :          -          0          -          -          0          -          -          -          -
1790.04/1790.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.04/1790.01	c   integral         :          0          0          0    2305646          0          0         32          0          0      43812
1790.04/1790.01	c   linear           :        850          6    4102650    2283644          1      14054    1882568     394846          0          0
1790.04/1790.01	c   indicator        :        850          0    4089043    2283712          2      14547   27310545          0          0          0
1790.04/1790.01	c   logicor          :          0+         0    1280095          0          0       6539     577624          0          0          0
1790.04/1790.01	c   countsols        :          0          0          0    2116544          1          0          0          0          0          0
1790.04/1790.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.04/1790.01	c   integral         :       6.55       0.00       0.00       6.55       0.00
1790.04/1790.01	c   linear           :      91.51       0.00      34.59      56.92       0.00
1790.04/1790.01	c   indicator        :     254.82       0.05     117.66     137.11       0.00
1790.04/1790.01	c   logicor          :      16.59       0.00      16.59       0.00       0.00
1790.04/1790.01	c   countsols        :       0.28       0.00       0.00       0.28       0.00
1790.04/1790.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.04/1790.01	c   vbounds          :       0.76          2          0          0
1790.04/1790.01	c   rootredcost      :       0.71        130          0          0
1790.04/1790.01	c   pseudoobj        :      75.61    4196595      93696   25020192
1790.04/1790.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.04/1790.01	c   propagation      :       6.11     114289     113471     542962       26.1       1505       12.0          -
1790.04/1790.01	c   infeasible LP    :       0.01         73         73        286       22.6          4       22.2          0
1790.04/1790.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.01	c   pseudo solution  :       0.00         26         26        115       15.0          0        0.0          -
1790.04/1790.01	c   applied globally :          -          -          -     465471       25.0          -          -          -
1790.04/1790.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.04/1790.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.04/1790.01	c   cut pool         :       0.00          3          -          -         30          -    (maximal pool size: 285)
1790.04/1790.01	c   redcost          :      94.69    2329628          0    1579421          0          0
1790.04/1790.01	c   impliedbounds    :       0.00          4          0          0          0          0
1790.04/1790.01	c   intobj           :       0.00          0          0          0          0          0
1790.04/1790.01	c   cgmip            :       0.00          0          0          0          0          0
1790.04/1790.01	c   gomory           :       0.02          4          0          0        351          0
1790.04/1790.01	c   strongcg         :       0.02          4          0          0        366          0
1790.04/1790.01	c   cmir             :       0.01          4          0          0          0          0
1790.04/1790.01	c   flowcover        :       0.02          4          0          0          0          0
1790.04/1790.01	c   clique           :       0.00          1          0          0          0          0
1790.04/1790.01	c   zerohalf         :       0.00          0          0          0          0          0
1790.04/1790.01	c   mcf              :       0.00          1          0          0          0          0
1790.04/1790.01	c   rapidlearning    :       0.06          1          0          0          0          0
1790.04/1790.01	c Pricers            :       Time      Calls       Vars
1790.04/1790.01	c   problem variables:       0.00          0          0
1790.04/1790.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.04/1790.01	c   relpscost        :       5.90      21932          0         32          0          0      43812
1790.04/1790.01	c   pscost           :       0.00          0          0          0          0          0          0
1790.04/1790.01	c   inference        :     265.31    2116415          0          0          0          0    4232830
1790.04/1790.01	c   mostinf          :       0.00          0          0          0          0          0          0
1790.04/1790.01	c   leastinf         :       0.00          0          0          0          0          0          0
1790.04/1790.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.04/1790.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.04/1790.01	c   random           :       0.00          0          0          0          0          0          0
1790.04/1790.01	c Primal Heuristics  :       Time      Calls      Found
1790.04/1790.01	c   LP solutions     :       3.32          -        130
1790.04/1790.01	c   pseudo solutions :       0.00          -          0
1790.04/1790.01	c   feaspump         :       0.01          0          0
1790.04/1790.01	c   intshifting      :       0.01          0          0
1790.04/1790.01	c   oneopt           :       0.81        100          0
1790.04/1790.01	c   crossover        :       4.37        262          2
1790.04/1790.01	c   veclendiving     :       4.40       7023          0
1790.04/1790.01	c   linesearchdiving :       4.37       7023          0
1790.04/1790.01	c   guideddiving     :       4.36       7023          0
1790.04/1790.01	c   coefdiving       :       4.40       7024          0
1790.04/1790.01	c   pscostdiving     :       4.39       7024          0
1790.04/1790.01	c   fracdiving       :       4.38       7024          0
1790.04/1790.01	c   objpscostdiving  :       4.55       7020          0
1790.04/1790.01	c   rootsoldiving    :       4.61       7020          0
1790.04/1790.01	c   trivial          :       0.00          2          1
1790.04/1790.01	c   simplerounding   :       0.69      26064          0
1790.04/1790.01	c   zirounding       :       0.45       1000          0
1790.04/1790.01	c   rounding         :       0.44       2238          0
1790.04/1790.01	c   shifting         :       0.16        690          0
1790.04/1790.01	c   twoopt           :       0.00          0          0
1790.04/1790.01	c   fixandinfer      :       0.00          0          0
1790.04/1790.01	c   intdiving        :       0.00          0          0
1790.04/1790.01	c   actconsdiving    :       0.00          0          0
1790.04/1790.01	c   octane           :       0.00          0          0
1790.04/1790.01	c   rens             :       0.01          1          0
1790.04/1790.01	c   rins             :       0.00          0          0
1790.04/1790.01	c   localbranching   :       0.00          0          0
1790.04/1790.01	c   mutation         :       0.00          0          0
1790.04/1790.01	c   dins             :       0.00          0          0
1790.04/1790.01	c   undercover       :       0.00          0          0
1790.04/1790.01	c   nlp              :       0.32          0          0
1790.04/1790.01	c   trysol           :       0.56       7228         97
1790.04/1790.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.04/1790.01	c   primal LP        :       0.00          0          0       0.00          -
1790.04/1790.01	c   dual LP          :     573.94     441290    3651418       8.27    6361.97
1790.04/1790.01	c   lex dual LP      :       0.00          0          0       0.00          -
1790.04/1790.01	c   barrier LP       :       0.00          0          0       0.00          -
1790.04/1790.01	c   diving/probing LP:       0.13        114       7067      61.99   52973.23
1790.04/1790.01	c   strong branching :       5.74       6792      95967      14.13   16723.26
1790.04/1790.01	c     (at root node) :          -         33       7736     234.42          -
1790.04/1790.01	c   conflict analysis:       0.00          0          0       0.00          -
1790.04/1790.01	c B&B Tree           :
1790.04/1790.01	c   number of runs   :          1
1790.04/1790.01	c   nodes            :    2234476
1790.04/1790.01	c   nodes (total)    :    2234476
1790.04/1790.01	c   nodes left       :    1087910
1790.04/1790.01	c   max depth        :        799
1790.04/1790.01	c   max depth (total):        799
1790.04/1790.01	c   backtracks       :      48414 (2.2%)
1790.04/1790.01	c   delayed cutoffs  :      33171
1790.04/1790.01	c   repropagations   :     193358 (13460835 domain reductions, 32909 cutoffs)
1790.04/1790.01	c   avg switch length:       2.51
1790.04/1790.01	c   switching time   :      89.31
1790.04/1790.01	c Solution           :
1790.04/1790.01	c   Solutions found  :        230 (131 improvements)
1790.04/1790.01	c   First Solution   : +4.20925000000000e+05   (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1790.04/1790.01	c   Primal Bound     : +4.63900000000000e+03   (in run 1, after 2186659 nodes, 1743.97 seconds, depth 85, found by <relaxation>)
1790.04/1790.01	c   Dual Bound       : +0.00000000000000e+00
1790.04/1790.01	c   Gap              :   infinite
1790.04/1790.01	c   Root Dual Bound  : +0.00000000000000e+00
1790.04/1790.01	c   Root Iterations  :        539
1792.44/1792.42	c Time complete: 1792.46.

Verifier Data 

OK	4639

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705756-1278580129/watcher-2705756-1278580129 -o /tmp/evaluation-result-2705756-1278580129/solver-2705756-1278580129 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705756-1278580129.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: 1.92 1.98 1.97 3/178 21303
/proc/meminfo: memFree=29930884/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=12540 CPUtime=0
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 1973 0 0 0 0 0 0 0 21 0 1 0 26225430 12840960 1892 4089446400 4194304 10345943 140734184685648 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21303/statm: 3135 1893 429 1502 0 1628 0

[startup+0.086669 s]
/proc/loadavg: 1.92 1.98 1.97 3/178 21303
/proc/meminfo: memFree=29930884/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=40052 CPUtime=0.07
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 8894 0 0 0 6 1 0 0 21 0 1 0 26225430 41013248 8459 4089446400 4194304 10345943 140734184685648 18446744073709551615 9186026 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 10013 8459 636 1502 0 8506 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 40052

[startup+0.100662 s]
/proc/loadavg: 1.92 1.98 1.97 3/178 21303
/proc/meminfo: memFree=29930884/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=40200 CPUtime=0.09
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 8918 0 0 0 8 1 0 0 21 0 1 0 26225430 41164800 8483 4089446400 4194304 10345943 140734184685648 18446744073709551615 9186026 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 10050 8483 636 1502 0 8543 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40200

[startup+0.300629 s]
/proc/loadavg: 1.92 1.98 1.97 3/178 21303
/proc/meminfo: memFree=29930884/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=43624 CPUtime=0.29
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 10432 0 0 0 27 2 0 0 21 0 1 0 26225430 44670976 9459 4089446400 4194304 10345943 140734184685648 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 10906 9459 750 1502 0 9399 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43624

[startup+0.700549 s]
/proc/loadavg: 1.92 1.98 1.97 3/178 21303
/proc/meminfo: memFree=29930884/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=43624 CPUtime=0.69
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 10439 0 0 0 66 3 0 0 22 0 1 0 26225430 44670976 9466 4089446400 4194304 10345943 140734184685648 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 10906 9466 757 1502 0 9399 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43624

[startup+1.50042 s]
/proc/loadavg: 1.92 1.98 1.97 3/179 21304
/proc/meminfo: memFree=29896184/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=43952 CPUtime=1.49
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 10606 0 0 0 145 4 0 0 25 0 1 0 26225430 45006848 9633 4089446400 4194304 10345943 140734184685648 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 10988 9633 760 1502 0 9481 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43952

[startup+3.10013 s]
/proc/loadavg: 1.92 1.98 1.97 3/179 21304
/proc/meminfo: memFree=29893828/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=42132 CPUtime=3.09
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 11271 0 0 0 304 5 0 0 25 0 1 0 26225430 43143168 9408 4089446400 4194304 10345943 140734184685648 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 10533 9408 760 1502 0 9026 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42132

[startup+6.30054 s]
/proc/loadavg: 1.93 1.98 1.97 3/179 21304
/proc/meminfo: memFree=29895432/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=42132 CPUtime=6.29
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 12600 0 0 0 623 6 0 0 25 0 1 0 26225430 43143168 9424 4089446400 4194304 10345943 140734184685648 18446744073709551615 4601846 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 10533 9424 760 1502 0 9026 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42132

[startup+12.7004 s]
/proc/loadavg: 1.93 1.98 1.97 3/179 21304
/proc/meminfo: memFree=29888512/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=51484 CPUtime=12.69
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 19577 0 0 0 1261 8 0 0 25 0 1 0 26225430 52719616 11401 4089446400 4194304 10345943 140734184685648 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 12871 11401 765 1502 0 11364 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 51484

[startup+25.5011 s]
/proc/loadavg: 1.88 1.97 1.97 3/179 21359
/proc/meminfo: memFree=30095360/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=68328 CPUtime=25.5
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 26601 0 0 0 2538 12 0 0 25 0 1 0 26225430 69967872 15834 4089446400 4194304 10345943 140734184685648 18446744073709551615 6119682 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 17082 15834 765 1502 0 15575 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 68328

[startup+51.1005 s]
/proc/loadavg: 1.92 1.97 1.97 3/179 21360
/proc/meminfo: memFree=30056716/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=110956 CPUtime=51.09
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 39012 0 0 0 5090 19 0 0 25 0 1 0 26225430 113618944 25775 4089446400 4194304 10345943 140734184685648 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 27739 25775 765 1502 0 26232 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 110956

[startup+102.306 s]
/proc/loadavg: 1.96 1.97 1.97 3/179 21361
/proc/meminfo: memFree=29981464/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=183412 CPUtime=102.3
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 59500 0 0 0 10197 33 0 0 25 0 1 0 26225430 187813888 44144 4089446400 4194304 10345943 140734184685648 18446744073709551615 6866087 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 45853 44144 765 1502 0 44346 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 183412

[startup+162.3 s]
/proc/loadavg: 2.02 1.99 1.97 3/179 21362
/proc/meminfo: memFree=29883560/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=276588 CPUtime=162.29
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 84260 0 0 0 16178 51 0 0 25 0 1 0 26225430 283226112 66784 4089446400 4194304 10345943 140734184685648 18446744073709551615 6120611 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 69147 66784 765 1502 0 67640 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 276588

[startup+222.301 s]
/proc/loadavg: 2.00 1.99 1.97 3/179 21364
/proc/meminfo: memFree=29766080/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=366156 CPUtime=222.3
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 106669 0 0 0 22163 67 0 0 25 0 1 0 26225430 374943744 89193 4089446400 4194304 10345943 140734184685648 18446744073709551615 4476309 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 91539 89193 765 1502 0 90032 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 366156

[startup+282.301 s]
/proc/loadavg: 2.00 1.99 1.97 3/179 21366
/proc/meminfo: memFree=29656160/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=455748 CPUtime=282.3
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 131352 0 0 0 28151 79 0 0 25 0 1 0 26225430 466685952 111756 4089446400 4194304 10345943 140734184685648 18446744073709551615 6777152 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 113937 111756 765 1502 0 112430 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 455748

[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.97 3/179 21367
/proc/meminfo: memFree=29543144/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=554132 CPUtime=342.3
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 153677 0 0 0 34137 93 0 0 25 0 1 0 26225430 567431168 134080 4089446400 4194304 10345943 140734184685648 18446744073709551615 6119400 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 138533 134080 765 1502 0 137026 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 554132

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/179 21369
/proc/meminfo: memFree=29423156/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=649144 CPUtime=402.3
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 177752 0 0 0 40123 107 0 0 25 0 1 0 26225430 664723456 158155 4089446400 4194304 10345943 140734184685648 18446744073709551615 6777414 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 162286 158155 765 1502 0 160779 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 649144

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/179 21370
/proc/meminfo: memFree=29323152/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=729884 CPUtime=462.3
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 213909 0 0 0 46102 128 0 0 25 0 1 0 26225430 747401216 178546 4089446400 4194304 10345943 140734184685648 18446744073709551615 4688150 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 182471 178546 765 1502 0 180964 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 729884

[startup+522.301 s]
/proc/loadavg: 2.03 2.00 1.98 3/179 21372
/proc/meminfo: memFree=29223644/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=808624 CPUtime=522.31
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 235544 0 0 0 52084 147 0 0 25 0 1 0 26225430 828030976 198217 4089446400 4194304 10345943 140734184685648 18446744073709551615 6702747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 202156 198217 765 1502 0 200649 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 808624

[startup+582.301 s]
/proc/loadavg: 2.01 2.00 1.98 3/179 21374
/proc/meminfo: memFree=29114600/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=892192 CPUtime=582.31
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 258541 0 0 0 58063 168 0 0 25 0 1 0 26225430 913604608 219047 4089446400 4194304 10345943 140734184685648 18446744073709551615 6328673 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 223048 219047 765 1502 0 221541 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 892192

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 21378
/proc/meminfo: memFree=29014388/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=973156 CPUtime=642.32
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 278694 0 0 0 64049 183 0 0 25 0 1 0 26225430 996511744 239200 4089446400 4194304 10345943 140734184685648 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 243289 239200 765 1502 0 241782 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 973156

[startup+702.301 s]

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

/proc/meminfo: memFree=28562096/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=1323092 CPUtime=1122.32
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 729234 0 0 0 111831 401 0 0 25 0 1 0 26225430 1354846208 320098 4089446400 4194304 10345943 140734184685648 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 330773 320098 765 1502 0 329266 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1323092

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 21393
/proc/meminfo: memFree=28515912/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=1352584 CPUtime=1182.32
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 768396 0 0 0 117803 429 0 0 25 0 1 0 26225430 1385046016 327014 4089446400 4194304 10345943 140734184685648 18446744073709551615 6803347 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 338146 327014 765 1502 0 336639 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1352584

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 21394
/proc/meminfo: memFree=28470716/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=1386332 CPUtime=1242.33
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 794120 0 0 0 123775 458 0 0 25 0 1 0 26225430 1419603968 334221 4089446400 4194304 10345943 140734184685648 18446744073709551615 8159771 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 346583 334221 765 1502 0 345076 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1386332

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 21396
/proc/meminfo: memFree=28425144/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=1418772 CPUtime=1302.33
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 833568 0 0 0 129745 488 0 0 25 0 1 0 26225430 1452822528 341667 4089446400 4194304 10345943 140734184685648 18446744073709551615 5614807 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 354693 341667 765 1502 0 353186 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1418772

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 21397
/proc/meminfo: memFree=28389484/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=1439808 CPUtime=1362.33
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 867533 0 0 0 135717 516 0 0 25 0 1 0 26225430 1474363392 346332 4089446400 4194304 10345943 140734184685648 18446744073709551615 6802995 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 359952 346332 765 1502 0 358445 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1439808

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 21399
/proc/meminfo: memFree=28366724/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=1448160 CPUtime=1422.33
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 908631 0 0 0 141687 546 0 0 25 0 1 0 26225430 1482915840 348028 4089446400 4194304 10345943 140734184685648 18446744073709551615 6713121 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 362040 348028 765 1502 0 360533 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1448160

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 21401
/proc/meminfo: memFree=28338396/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=1464232 CPUtime=1482.34
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 930893 0 0 0 147657 577 0 0 25 0 1 0 26225430 1499373568 351537 4089446400 4194304 10345943 140734184685648 18446744073709551615 4705172 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 366058 351537 765 1502 0 364551 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1464232

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 21402
/proc/meminfo: memFree=28297676/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=1492020 CPUtime=1542.33
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 964019 0 0 0 153627 606 0 0 25 0 1 0 26225430 1527828480 357455 4089446400 4194304 10345943 140734184685648 18446744073709551615 6929822 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 373005 357455 765 1502 0 371498 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1492020

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 21404
/proc/meminfo: memFree=28233632/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=1545080 CPUtime=1602.34
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 977608 0 0 0 159600 634 0 0 25 0 1 0 26225430 1582161920 368815 4089446400 4194304 10345943 140734184685648 18446744073709551615 4881881 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 386270 368815 765 1502 0 384763 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1545080

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 21405
/proc/meminfo: memFree=28191172/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=1571072 CPUtime=1662.34
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 999421 0 0 0 165573 661 0 0 25 0 1 0 26225430 1608777728 375591 4089446400 4194304 10345943 140734184685648 18446744073709551615 5926409 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 392768 375591 765 1502 0 391261 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1571072

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 21407
/proc/meminfo: memFree=28160476/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=1590340 CPUtime=1722.34
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 1006968 0 0 0 171544 690 0 0 25 0 1 0 26225430 1628508160 379808 4089446400 4194304 10345943 140734184685648 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 397585 379808 765 1502 0 396078 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1590340

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 21409
/proc/meminfo: memFree=28092600/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=1649164 CPUtime=1782.34
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 1037760 0 0 0 177512 722 0 0 25 0 1 0 26225430 1688743936 392288 4089446400 4194304 10345943 140734184685648 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 412291 392288 765 1502 0 410784 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1649164

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 21409
/proc/meminfo: memFree=28089000/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=1652500 CPUtime=1785.54
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 1038647 0 0 0 177830 724 0 0 25 0 1 0 26225430 1692160000 393175 4089446400 4194304 10345943 140734184685648 18446744073709551615 6119774 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 413125 393175 765 1502 0 411618 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 1652500

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 21409
/proc/meminfo: memFree=28084412/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=1657364 CPUtime=1788.74
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 1039681 0 0 0 178148 726 0 0 25 0 1 0 26225430 1697140736 394209 4089446400 4194304 10345943 140734184685648 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21303/statm: 414341 394209 765 1502 0 412834 0
Current children cumulated CPU time (s) 1788.74
Current children cumulated vsize (KiB) 1657364

[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 21409
/proc/meminfo: memFree=28083044/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=1659052 CPUtime=1790.34
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 1039896 0 0 0 178307 727 0 0 25 0 1 0 26225430 1698869248 394424 4089446400 4194304 10345943 140734184685648 18446744073709551615 6308176 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21303/statm: 414763 394424 769 1502 0 413256 0
Current children cumulated CPU time (s) 1790.34
Current children cumulated vsize (KiB) 1659052

[startup+1791.1 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 21409
/proc/meminfo: memFree=28082424/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=1659052 CPUtime=1791.14
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 1039896 0 0 0 178387 727 0 0 25 0 1 0 26225430 1698869248 394424 4089446400 4194304 10345943 140734184685648 18446744073709551615 6324989 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21303/statm: 414763 394424 769 1502 0 413256 0
Current children cumulated CPU time (s) 1791.14
Current children cumulated vsize (KiB) 1659052

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 21409
/proc/meminfo: memFree=28082424/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=1659052 CPUtime=1791.95
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 1039896 0 0 0 178468 727 0 0 25 0 1 0 26225430 1698869248 394424 4089446400 4194304 10345943 140734184685648 18446744073709551615 6325008 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21303/statm: 414763 394424 769 1502 0 413256 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 1659052

[startup+1792.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 21409
/proc/meminfo: memFree=28082424/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=1659052 CPUtime=1792.34
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 1039896 0 0 0 178507 727 0 0 25 0 1 0 26225430 1698869248 394424 4089446400 4194304 10345943 140734184685648 18446744073709551615 4723516 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21303/statm: 414763 394424 769 1502 0 413256 0
Current children cumulated CPU time (s) 1792.34
Current children cumulated vsize (KiB) 1659052

[startup+1792.4 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 21409
/proc/meminfo: memFree=28082424/32951124 swapFree=67111528/67111528
[pid=21303] ppid=21301 vsize=699424 CPUtime=1792.44
/proc/21303/stat : 21303 (pbscip.linux.x8) R 21301 21303 20723 0 -1 4202496 1039896 0 0 0 178514 730 0 0 25 0 1 0 26225430 716210176 169559 4089446400 4194304 10345943 140734184685648 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21303/statm: 174856 169559 769 1502 0 173349 0
Current children cumulated CPU time (s) 1792.44
Current children cumulated vsize (KiB) 699424

Child status: 0
Real time (s): 1792.42
CPU time (s): 1792.48
CPU user time (s): 1785.15
CPU system time (s): 7.32888
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1659052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.15
system time used= 7.32888
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1039899
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= 1274

runsolver used 2.92256 second user time and 6.38303 second system time

The end

Launcher Data 

Begin job on node137 at 2010-07-08 11:08:49
IDJOB=2705756
IDBENCH=79420
IDSOLVER=1214
FILE ID=node137/2705756-1278580129
PBS_JOBID= 11240181
Free space on /tmp= 73596 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-jnh08_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-2705756-1278580129/watcher-2705756-1278580129 -o /tmp/evaluation-result-2705756-1278580129/solver-2705756-1278580129 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705756-1278580129.wbo -t 1800 -m 3800

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

MD5SUM BENCH= f8c09bda9afe7c43c5a568001f4bbb58
RANDOM SEED=764370404

node137.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.829
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.65
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.829
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.83
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.829
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	: 5332.75
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.829
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.83
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.829
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.76
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.829
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.829
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.75
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.829
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	: 5246.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29931288 kB
Buffers:        165000 kB
Cached:        2243104 kB
SwapCached:          0 kB
Active:        1582224 kB
Inactive:      1283572 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29931288 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12828 kB
Writeback:           0 kB
AnonPages:      458100 kB
Mapped:          17672 kB
Slab:            87672 kB
PageTables:       5492 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   616144 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73584 MiB
End job on node137 at 2010-07-08 11:38:41