Trace number 2699973

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.2 with Clp 1.11.1 (Release Version) as LP solverOPTIMUM 1388.9 1388.86

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh14_wcsp.wbo
MD5SUMa9c1b78c2cafd61259a4392acdb09fa2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark101
Best CPU time to get the best result obtained on this benchmark1.3028
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.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2699973-1278533864.wbo>
0.00/0.01	c original problem has 1900 variables (1050 bin, 0 int, 0 impl, 850 cont) and 1801 constraints
0.00/0.01	c problem read
0.00/0.01	c presolving settings loaded
0.00/0.02	c presolving:
0.00/0.03	c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 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, 1050 impls, 0 clqs
0.00/0.06	c    (0.0s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06	c    (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.06	c presolving (3 rounds):
0.00/0.06	c  100 deleted vars, 101 deleted constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06	c  1050 implications, 0 cliques
0.00/0.06	c presolved problem has 1800 variables (950 bin, 0 int, 0 impl, 850 cont) and 1700 constraints
0.00/0.06	c     850 constraints of type <indicator>
0.00/0.06	c     850 constraints of type <linear>
0.00/0.06	c transformed objective value is always integral (scale: 1)
0.00/0.06	c Presolving Time: 0.03
0.00/0.06	c - non default parameters ----------------------------------------------------------------------
0.00/0.06	c # SCIP version 1.2.1.2
0.00/0.06	c 
0.00/0.06	c # frequency for displaying node information lines
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06	c display/freq = 10000
0.00/0.06	c 
0.00/0.06	c # maximal time in seconds to run
0.00/0.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06	c limits/time = 1799.99
0.00/0.06	c 
0.00/0.06	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06	c limits/memory = 3420
0.00/0.06	c 
0.00/0.06	c # should presolving try to simplify inequalities
0.00/0.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06	c constraints/linear/simplifyinequalities = TRUE
0.00/0.06	c 
0.00/0.06	c # should presolving try to simplify knapsacks
0.00/0.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.06	c 
0.00/0.06	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06	c separating/rapidlearning/freq = 0
0.00/0.06	c 
0.00/0.06	c -----------------------------------------------------------------------------------------------
0.00/0.06	c start solving
0.00/0.06	c 
0.00/0.06	o 420925
0.00/0.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.06	c t 0.0s|     1 |     0 |     0 |     - |6130k|   0 |   - |1800 |1700 |   0 |   0 |   0 |   0 |   0 |      --      | 4.209250e+05 |    Inf 
0.00/0.06	c   0.0s|     1 |     0 |     0 |     - |6527k|   0 |   0 |1800 |1700 |1800 |   0 |   0 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.00/0.06	c   0.0s|     1 |     0 |    48 |     - |6570k|   0 |   3 |1800 |1700 |1800 |  73 |  73 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.00/0.07	c   0.0s|     1 |     0 |   141 |     - |6623k|   0 |  39 |1800 |1700 |1800 | 121 | 121 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.00/0.08	c   0.1s|     1 |     0 |   200 |     - |6775k|   0 |  46 |1800 |1700 |1800 | 170 | 170 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.00/0.09	c   0.1s|     1 |     0 |   249 |     - |6892k|   0 |  49 |1800 |1700 |1800 | 189 | 189 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.10/0.11	c   0.1s|     1 |     0 |   269 |     - |6922k|   0 |  50 |1800 |1700 |1800 | 200 | 200 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.10/0.12	c   0.1s|     1 |     0 |   270 |     - |6947k|   0 |  50 |1800 |1700 |1800 | 201 | 201 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.19/0.29	c   0.2s|     1 |     2 |   395 |     - |6975k|   0 |  50 |1800 |1700 |1800 | 201 | 201 |   0 |  33 | 0.000000e+00 | 4.209250e+05 |    Inf 
6.70/6.76	o 15519
6.70/6.76	c * 6.3s|  8163 |  8113 | 14241 |   1.7 |  17M| 669 |   - |1800 |1719 |1800 | 259 |1290 |  19 | 736 | 0.000000e+00 | 1.551900e+04 |    Inf 
7.99/8.03	c   7.5s| 10000 |  9948 | 17503 |   1.7 |  19M| 669 |   0 |1800 |1722 |1800 | 228 |1567 |  22 | 750 | 0.000000e+00 | 1.551900e+04 |    Inf 
14.79/14.88	c  14.0s| 20000 | 19937 | 34398 |   1.7 |  29M| 669 |   0 |1800 |1740 |1800 | 214 |3531 |  40 | 775 | 0.000000e+00 | 1.551900e+04 |    Inf 
21.69/21.71	c  20.5s| 30000 | 29929 | 51175 |   1.7 |  39M| 669 |   0 |1800 |1761 |1800 | 214 |5301 |  61 | 780 | 0.000000e+00 | 1.551900e+04 |    Inf 
29.39/29.44	c  28.1s| 40000 | 39929 | 73100 |   1.8 |  49M| 669 |   0 |1800 |1761 |1800 | 208 |7750 |  61 | 780 | 0.000000e+00 | 1.551900e+04 |    Inf 
36.59/36.68	c  35.1s| 50000 | 49927 | 91185 |   1.8 |  59M| 669 |   0 |1800 |1762 |1800 | 230 |9670 |  62 | 781 | 0.000000e+00 | 1.551900e+04 |    Inf 
43.79/43.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
43.79/43.81	c  42.1s| 60000 | 59927 |105640 |   1.8 |  69M| 669 |   0 |1800 |1761 |1800 | 223 |  11k|  62 | 781 | 0.000000e+00 | 1.551900e+04 |    Inf 
51.59/51.68	c  49.7s| 70000 | 69927 |125005 |   1.8 |  79M| 669 |   0 |1800 |1759 |1800 | 218 |  13k|  62 | 783 | 0.000000e+00 | 1.551900e+04 |    Inf 
59.09/59.17	c  57.0s| 80000 | 79927 |141355 |   1.8 |  89M| 669 |   0 |1800 |1749 |1800 | 215 |  15k|  62 | 787 | 0.000000e+00 | 1.551900e+04 |    Inf 
66.70/66.80	c  64.5s| 90000 | 89927 |158992 |   1.8 |  99M| 669 |   0 |1800 |1742 |1800 | 211 |  17k|  62 | 787 | 0.000000e+00 | 1.551900e+04 |    Inf 
74.49/74.57	c  72.0s|100000 | 99927 |176957 |   1.8 | 109M| 669 |   0 |1800 |1740 |1800 | 223 |  19k|  62 | 789 | 0.000000e+00 | 1.551900e+04 |    Inf 
81.99/82.04	c  79.3s|110000 |109927 |193292 |   1.8 | 119M| 669 |   0 |1800 |1736 |1800 | 234 |  21k|  62 | 809 | 0.000000e+00 | 1.551900e+04 |    Inf 
89.69/89.74	c  86.8s|120000 |119927 |211394 |   1.8 | 129M| 669 |   0 |1800 |1734 |1800 | 216 |  23k|  62 | 837 | 0.000000e+00 | 1.551900e+04 |    Inf 
96.80/96.82	c  93.7s|130000 |129927 |226990 |   1.7 | 139M| 669 |   0 |1800 |1728 |1800 | 204 |  25k|  62 | 948 | 0.000000e+00 | 1.551900e+04 |    Inf 
104.50/104.55	c   101s|140000 |139927 |246721 |   1.8 | 149M| 669 |   0 |1800 |1726 |1800 | 230 |  26k|  62 |1000 | 0.000000e+00 | 1.551900e+04 |    Inf 
112.09/112.16	c   109s|150000 |149927 |265145 |   1.8 | 159M| 669 |   0 |1800 |1725 |1800 | 219 |  28k|  62 |1110 | 0.000000e+00 | 1.551900e+04 |    Inf 
119.79/119.83	c   116s|160000 |159927 |284131 |   1.8 | 169M| 669 |   0 |1800 |1720 |1800 | 224 |  30k|  62 |1256 | 0.000000e+00 | 1.551900e+04 |    Inf 
127.40/127.40	c   123s|170000 |169923 |303191 |   1.8 | 179M| 669 |   0 |1800 |1725 |1800 | 216 |  32k|  69 |1481 | 0.000000e+00 | 1.551900e+04 |    Inf 
134.49/134.50	c   130s|180000 |179918 |318128 |   1.8 | 189M| 669 |   0 |1800 |1732 |1800 | 216 |  34k|  77 |1526 | 0.000000e+00 | 1.551900e+04 |    Inf 
141.39/141.49	c   137s|190000 |189918 |329912 |   1.7 | 199M| 669 |   0 |1800 |1724 |1800 | 237 |  35k|  77 |1567 | 0.000000e+00 | 1.551900e+04 |    Inf 
148.39/148.44	c   144s|200000 |199918 |341538 |   1.7 | 209M| 669 |   0 |1800 |1721 |1800 | 218 |  37k|  77 |1594 | 0.000000e+00 | 1.551900e+04 |    Inf 
155.59/155.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
155.59/155.62	c   151s|210000 |209918 |355517 |   1.7 | 219M| 669 |   0 |1800 |1721 |1800 | 234 |  38k|  77 |1643 | 0.000000e+00 | 1.551900e+04 |    Inf 
163.00/163.00	c   158s|220000 |219918 |369920 |   1.7 | 229M| 669 |   0 |1800 |1721 |1800 | 240 |  40k|  77 |1666 | 0.000000e+00 | 1.551900e+04 |    Inf 
170.10/170.15	c   165s|230000 |229918 |383738 |   1.7 | 239M| 669 |   0 |1800 |1719 |1800 | 226 |  41k|  77 |1760 | 0.000000e+00 | 1.551900e+04 |    Inf 
177.39/177.42	c   172s|240000 |239918 |397163 |   1.7 | 249M| 669 |   0 |1800 |1719 |1800 | 223 |  43k|  77 |1778 | 0.000000e+00 | 1.551900e+04 |    Inf 
184.60/184.67	c   179s|250000 |249918 |411265 |   1.6 | 259M| 669 |   0 |1800 |1719 |1800 | 217 |  44k|  77 |1781 | 0.000000e+00 | 1.551900e+04 |    Inf 
191.69/191.71	c   186s|260000 |259918 |423441 |   1.6 | 269M| 669 |   0 |1800 |1718 |1800 | 249 |  46k|  77 |1816 | 0.000000e+00 | 1.551900e+04 |    Inf 
198.69/198.73	c   193s|270000 |269918 |435242 |   1.6 | 279M| 669 |   0 |1800 |1717 |1800 | 219 |  47k|  77 |1852 | 0.000000e+00 | 1.551900e+04 |    Inf 
205.90/205.96	c   200s|280000 |279918 |449058 |   1.6 | 289M| 669 |   0 |1800 |1716 |1800 | 215 |  49k|  77 |1870 | 0.000000e+00 | 1.551900e+04 |    Inf 
212.50/212.56	c   206s|290000 |289918 |457517 |   1.6 | 299M| 669 |   0 |1800 |1715 |1800 | 227 |  50k|  77 |1900 | 0.000000e+00 | 1.551900e+04 |    Inf 
219.59/219.64	c   213s|300000 |299918 |470513 |   1.6 | 309M| 669 |   0 |1800 |1715 |1800 | 218 |  51k|  77 |1991 | 0.000000e+00 | 1.551900e+04 |    Inf 
226.79/226.86	c   220s|310000 |309918 |483994 |   1.6 | 319M| 669 |   0 |1800 |1715 |1800 | 218 |  53k|  77 |2006 | 0.000000e+00 | 1.551900e+04 |    Inf 
233.99/234.00	c   227s|320000 |319918 |496218 |   1.5 | 329M| 669 |   0 |1800 |1715 |1800 | 214 |  54k|  77 |2021 | 0.000000e+00 | 1.551900e+04 |    Inf 
241.00/241.02	c   234s|330000 |329918 |508553 |   1.5 | 338M| 669 |   0 |1800 |1715 |1800 | 221 |  55k|  77 |2044 | 0.000000e+00 | 1.551900e+04 |    Inf 
248.09/248.10	c   241s|340000 |339918 |521053 |   1.5 | 348M| 669 |   0 |1800 |1715 |1800 | 216 |  57k|  77 |2085 | 0.000000e+00 | 1.551900e+04 |    Inf 
255.39/255.43	c   248s|350000 |349918 |535082 |   1.5 | 358M| 669 |   0 |1800 |1715 |1800 | 216 |  58k|  77 |2103 | 0.000000e+00 | 1.551900e+04 |    Inf 
262.49/262.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
262.49/262.55	c   255s|360000 |359918 |548136 |   1.5 | 368M| 669 |   0 |1800 |1714 |1800 | 215 |  60k|  77 |2158 | 0.000000e+00 | 1.551900e+04 |    Inf 
269.61/269.68	c   262s|370000 |369918 |560506 |   1.5 | 378M| 669 |   0 |1800 |1714 |1800 | 212 |  61k|  77 |2191 | 0.000000e+00 | 1.551900e+04 |    Inf 
276.69/276.72	c   269s|380000 |379918 |573869 |   1.5 | 388M| 669 |   0 |1800 |1714 |1800 | 222 |  62k|  77 |2212 | 0.000000e+00 | 1.551900e+04 |    Inf 
284.10/284.13	c   276s|390000 |389918 |587503 |   1.5 | 398M| 669 |   0 |1800 |1714 |1800 | 226 |  64k|  77 |2225 | 0.000000e+00 | 1.551900e+04 |    Inf 
291.40/291.41	c   283s|400000 |399918 |601076 |   1.5 | 408M| 669 |   0 |1800 |1714 |1800 | 232 |  65k|  77 |2242 | 0.000000e+00 | 1.551900e+04 |    Inf 
298.80/298.87	c   291s|410000 |409918 |615580 |   1.5 | 418M| 669 |   0 |1800 |1714 |1800 | 218 |  67k|  77 |2248 | 0.000000e+00 | 1.551900e+04 |    Inf 
306.20/306.24	c   298s|420000 |419918 |629569 |   1.5 | 428M| 669 |   0 |1800 |1714 |1800 | 213 |  69k|  77 |2254 | 0.000000e+00 | 1.551900e+04 |    Inf 
313.20/313.26	c   305s|430000 |429918 |640926 |   1.5 | 438M| 669 |   0 |1800 |1714 |1800 | 252 |  70k|  77 |2318 | 0.000000e+00 | 1.551900e+04 |    Inf 
320.30/320.30	c   312s|440000 |439918 |653361 |   1.5 | 448M| 669 |   0 |1800 |1714 |1800 | 219 |  72k|  77 |2335 | 0.000000e+00 | 1.551900e+04 |    Inf 
327.30/327.36	c   319s|450000 |449918 |665737 |   1.5 | 458M| 669 |   0 |1800 |1714 |1800 | 220 |  73k|  77 |2345 | 0.000000e+00 | 1.551900e+04 |    Inf 
334.40/334.43	c   325s|460000 |459918 |676912 |   1.5 | 467M| 669 |   0 |1800 |1714 |1800 | 219 |  74k|  77 |2351 | 0.000000e+00 | 1.551900e+04 |    Inf 
341.40/341.46	c   332s|470000 |469918 |688075 |   1.5 | 477M| 669 |   0 |1800 |1714 |1800 | 228 |  75k|  77 |2361 | 0.000000e+00 | 1.551900e+04 |    Inf 
348.30/348.38	c   339s|480000 |479918 |698535 |   1.5 | 487M| 669 |   0 |1800 |1714 |1800 | 227 |  76k|  77 |2362 | 0.000000e+00 | 1.551900e+04 |    Inf 
355.10/355.15	c   346s|490000 |489916 |707180 |   1.4 | 497M| 669 |   0 |1800 |1720 |1800 | 214 |  77k|  83 |2422 | 0.000000e+00 | 1.551900e+04 |    Inf 
362.10/362.12	c   352s|500000 |499912 |716880 |   1.4 | 507M| 669 |   0 |1800 |1722 |1800 | 234 |  79k|  87 |2468 | 0.000000e+00 | 1.551900e+04 |    Inf 
369.10/369.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
369.10/369.10	c   359s|510000 |509912 |726690 |   1.4 | 517M| 669 |   0 |1800 |1721 |1800 | 219 |  80k|  87 |2490 | 0.000000e+00 | 1.551900e+04 |    Inf 
376.10/376.20	c   366s|520000 |519912 |736899 |   1.4 | 527M| 669 |   0 |1800 |1718 |1800 | 235 |  81k|  87 |2500 | 0.000000e+00 | 1.551900e+04 |    Inf 
383.10/383.19	c   373s|530000 |529912 |746286 |   1.4 | 537M| 669 |   0 |1800 |1717 |1800 | 227 |  82k|  87 |2500 | 0.000000e+00 | 1.551900e+04 |    Inf 
390.30/390.35	c   380s|540000 |539912 |757556 |   1.4 | 547M| 669 |   0 |1800 |1716 |1800 | 215 |  83k|  87 |2501 | 0.000000e+00 | 1.551900e+04 |    Inf 
397.50/397.56	c   387s|550000 |549912 |768108 |   1.4 | 557M| 669 |   0 |1800 |1716 |1800 | 242 |  84k|  87 |2507 | 0.000000e+00 | 1.551900e+04 |    Inf 
404.50/404.54	c   394s|560000 |559912 |777453 |   1.4 | 566M| 669 |   0 |1800 |1716 |1800 | 241 |  86k|  87 |2549 | 0.000000e+00 | 1.551900e+04 |    Inf 
411.51/411.55	c   401s|570000 |569912 |786556 |   1.4 | 576M| 669 |   0 |1800 |1716 |1800 | 237 |  87k|  87 |2571 | 0.000000e+00 | 1.551900e+04 |    Inf 
418.80/418.80	c   408s|580000 |579912 |797336 |   1.4 | 586M| 669 |   0 |1800 |1716 |1800 | 239 |  88k|  87 |2577 | 0.000000e+00 | 1.551900e+04 |    Inf 
426.11/426.18	c   415s|590000 |589912 |810326 |   1.4 | 596M| 669 |   0 |1800 |1716 |1800 | 203 |  90k|  87 |2578 | 0.000000e+00 | 1.551900e+04 |    Inf 
433.20/433.23	c   422s|600000 |599912 |819914 |   1.4 | 606M| 669 |   0 |1800 |1716 |1800 | 239 |  92k|  87 |2682 | 0.000000e+00 | 1.551900e+04 |    Inf 
440.51/440.52	c   429s|610000 |609912 |831226 |   1.4 | 616M| 669 |   0 |1800 |1716 |1800 | 242 |  93k|  87 |2685 | 0.000000e+00 | 1.551900e+04 |    Inf 
447.61/447.66	c   436s|620000 |619912 |842241 |   1.4 | 626M| 669 |   0 |1800 |1716 |1800 | 218 |  94k|  87 |2690 | 0.000000e+00 | 1.551900e+04 |    Inf 
454.50/454.59	c   443s|630000 |629912 |852153 |   1.4 | 636M| 669 |   0 |1800 |1716 |1800 | 244 |  96k|  87 |2796 | 0.000000e+00 | 1.551900e+04 |    Inf 
461.70/461.72	c   450s|640000 |639912 |863307 |   1.3 | 646M| 669 |   0 |1800 |1716 |1800 | 231 |  97k|  87 |2861 | 0.000000e+00 | 1.551900e+04 |    Inf 
468.51/468.52	c   456s|650000 |649910 |872645 |   1.3 | 656M| 669 |   0 |1800 |1718 |1800 | 216 |  98k|  89 |2864 | 0.000000e+00 | 1.551900e+04 |    Inf 
475.21/475.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
475.21/475.30	c   463s|660000 |659910 |881173 |   1.3 | 666M| 669 |   0 |1800 |1717 |1800 | 226 |  99k|  89 |2870 | 0.000000e+00 | 1.551900e+04 |    Inf 
482.11/482.15	c   470s|670000 |669910 |889965 |   1.3 | 676M| 669 |   0 |1800 |1716 |1800 | 223 | 100k|  89 |2881 | 0.000000e+00 | 1.551900e+04 |    Inf 
489.11/489.17	c   476s|680000 |679910 |899523 |   1.3 | 685M| 669 |   0 |1800 |1716 |1800 | 233 | 101k|  89 |2886 | 0.000000e+00 | 1.551900e+04 |    Inf 
496.01/496.10	c   483s|690000 |689910 |908102 |   1.3 | 695M| 669 |   0 |1800 |1716 |1800 | 220 | 102k|  89 |2887 | 0.000000e+00 | 1.551900e+04 |    Inf 
503.10/503.11	c   490s|700000 |699910 |918313 |   1.3 | 705M| 669 |   0 |1800 |1716 |1800 | 235 | 103k|  89 |2887 | 0.000000e+00 | 1.551900e+04 |    Inf 
510.10/510.12	c   497s|710000 |709910 |927953 |   1.3 | 715M| 669 |   0 |1800 |1716 |1800 | 218 | 105k|  89 |2938 | 0.000000e+00 | 1.551900e+04 |    Inf 
517.11/517.12	c   504s|720000 |719910 |938836 |   1.3 | 725M| 669 |   0 |1800 |1715 |1800 | 206 | 106k|  89 |3018 | 0.000000e+00 | 1.551900e+04 |    Inf 
524.10/524.18	c   511s|730000 |729910 |950393 |   1.3 | 735M| 669 |   0 |1800 |1715 |1800 | 213 | 107k|  89 |3034 | 0.000000e+00 | 1.551900e+04 |    Inf 
530.91/530.98	c   517s|740000 |739910 |959668 |   1.3 | 745M| 669 |   0 |1800 |1715 |1800 | 243 | 108k|  89 |3039 | 0.000000e+00 | 1.551900e+04 |    Inf 
537.91/537.95	c   524s|750000 |749910 |969475 |   1.3 | 755M| 669 |   0 |1800 |1715 |1800 | 248 | 109k|  89 |3091 | 0.000000e+00 | 1.551900e+04 |    Inf 
545.00/545.00	c   531s|760000 |759896 |983584 |   1.3 | 765M| 669 |   0 |1800 |1755 |1800 | 245 | 111k| 130 |3115 | 0.000000e+00 | 1.551900e+04 |    Inf 
551.61/551.65	c   537s|770000 |769896 |991495 |   1.3 | 774M| 669 |   0 |1800 |1744 |1800 | 217 | 112k| 130 |3120 | 0.000000e+00 | 1.551900e+04 |    Inf 
558.21/558.28	c   544s|780000 |779896 |999525 |   1.3 | 784M| 669 |   0 |1800 |1739 |1800 | 231 | 112k| 130 |3122 | 0.000000e+00 | 1.551900e+04 |    Inf 
564.80/564.81	c   550s|790000 |789896 |  1006k|   1.3 | 794M| 669 |   0 |1800 |1736 |1800 | 223 | 113k| 130 |3124 | 0.000000e+00 | 1.551900e+04 |    Inf 
571.30/571.31	c   557s|800000 |799896 |  1014k|   1.3 | 804M| 669 |   0 |1800 |1735 |1800 | 215 | 114k| 130 |3127 | 0.000000e+00 | 1.551900e+04 |    Inf 
577.90/577.94	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
577.90/577.94	c   563s|810000 |809896 |  1020k|   1.3 | 813M| 669 |   0 |1800 |1733 |1800 | 222 | 115k| 130 |3139 | 0.000000e+00 | 1.551900e+04 |    Inf 
584.41/584.47	c   569s|820000 |819896 |  1026k|   1.3 | 823M| 669 |   0 |1800 |1732 |1800 | 247 | 116k| 130 |3139 | 0.000000e+00 | 1.551900e+04 |    Inf 
591.11/591.14	c   576s|830000 |829886 |  1035k|   1.2 | 833M| 669 |   0 |1800 |1760 |1800 | 223 | 117k| 158 |3140 | 0.000000e+00 | 1.551900e+04 |    Inf 
597.81/597.85	c   583s|840000 |839695 |  1043k|   1.2 | 843M| 669 |   0 |1800 |2390 |1800 | 236 | 118k| 955 |3160 | 0.000000e+00 | 1.551900e+04 |    Inf 
604.40/604.44	c   589s|850000 |849188 |  1050k|   1.2 | 854M| 669 |   0 |1800 |3475 |1800 | 228 | 118k|3121 |3164 | 0.000000e+00 | 1.551900e+04 |    Inf 
609.11/609.13	o 15443
609.11/609.13	c * 594s|857257 |856275 |  1055k|   1.2 | 861M| 669 |   - |1800 |3165 |1800 | 220 | 119k|3636 |3182 | 0.000000e+00 | 1.544300e+04 |    Inf 
609.21/609.20	o 15383
609.21/609.20	c * 594s|857322 |856292 |  1055k|   1.2 | 862M| 669 |   - |1800 |3162 |1800 | 223 | 119k|3646 |3182 | 0.000000e+00 | 1.538300e+04 |    Inf 
609.21/609.22	o 15332
609.21/609.22	c * 594s|857328 |856250 |  1055k|   1.2 | 861M| 669 |   - |1800 |3162 |1800 | 223 | 119k|3646 |3182 | 0.000000e+00 | 1.533200e+04 |    Inf 
609.21/609.23	o 15163
609.21/609.23	c * 594s|857329 |856109 |  1055k|   1.2 | 861M| 669 |   - |1800 |3162 |1800 | 223 | 119k|3646 |3182 | 0.000000e+00 | 1.516300e+04 |    Inf 
609.71/609.72	o 14996
609.71/609.72	c * 594s|857989 |856562 |  1056k|   1.2 | 862M| 669 |   - |1800 |3323 |1800 | 218 | 119k|3880 |3182 | 0.000000e+00 | 1.499600e+04 |    Inf 
610.61/610.61	o 14792
610.61/610.61	c * 595s|859287 |857515 |  1056k|   1.2 | 863M| 669 |   - |1800 |3479 |1800 | 222 | 119k|4249 |3198 | 0.000000e+00 | 1.479200e+04 |    Inf 
611.11/611.12	c   596s|860000 |858167 |  1057k|   1.2 | 864M| 669 |   0 |1800 |3618 |1800 | 226 | 119k|4542 |3198 | 0.000000e+00 | 1.479200e+04 |    Inf 
617.91/617.97	c   602s|870000 |867256 |  1066k|   1.2 | 875M| 669 |   0 |1800 |5135 |1800 | 205 | 120k|9025 |3206 | 0.000000e+00 | 1.479200e+04 |    Inf 
619.01/619.08	o 14726
619.01/619.08	c * 603s|871558 |868606 |  1068k|   1.2 | 877M| 669 |   - |1800 |5158 |1800 | 217 | 120k|9473 |3207 | 0.000000e+00 | 1.472600e+04 |    Inf 
619.11/619.13	o 14718
619.11/619.13	c * 603s|871613 |868643 |  1068k|   1.2 | 877M| 669 |   - |1800 |5160 |1800 | 219 | 120k|9493 |3207 | 0.000000e+00 | 1.471800e+04 |    Inf 
619.11/619.14	o 14683
619.11/619.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
619.11/619.14	c * 603s|871614 |868588 |  1068k|   1.2 | 877M| 669 |   - |1800 |5160 |1800 | 219 | 120k|9493 |3207 | 0.000000e+00 | 1.468300e+04 |    Inf 
623.61/623.67	o 14614
623.61/623.67	c * 608s|877733 |874206 |  1076k|   1.2 | 883M| 669 |   - |1800 |5440 |1800 | 216 | 121k|  10k|3213 | 0.000000e+00 | 1.461400e+04 |    Inf 
624.30/624.38	o 14558
624.30/624.38	c * 608s|878682 |874940 |  1077k|   1.2 | 884M| 669 |   - |1800 |5574 |1800 | 208 | 121k|  11k|3213 | 0.000000e+00 | 1.455800e+04 |    Inf 
624.41/624.40	o 14461
624.41/624.40	c * 608s|878683 |874642 |  1077k|   1.2 | 883M| 669 |   - |1800 |5574 |1800 | 208 | 121k|  11k|3213 | 0.000000e+00 | 1.446100e+04 |    Inf 
625.21/625.29	o 14436
625.21/625.29	c * 609s|879886 |875702 |  1078k|   1.2 | 884M| 669 |   - |1800 |5728 |1800 | 212 | 121k|  11k|3213 | 0.000000e+00 | 1.443600e+04 |    Inf 
625.31/625.30	o 14435
625.31/625.30	c * 609s|879887 |875698 |  1078k|   1.2 | 884M| 669 |   - |1800 |5728 |1800 | 212 | 121k|  11k|3213 | 0.000000e+00 | 1.443500e+04 |    Inf 
625.31/625.38	c   609s|880000 |875809 |  1078k|   1.2 | 884M| 669 |   0 |1800 |5700 |1800 | 215 | 121k|  11k|3213 | 0.000000e+00 | 1.443500e+04 |    Inf 
625.41/625.45	o 14188
625.41/625.45	c * 609s|880071 |874996 |  1078k|   1.2 | 883M| 669 |   - |1800 |5724 |1800 | 223 | 121k|  11k|3213 | 0.000000e+00 | 1.418800e+04 |    Inf 
625.51/625.54	o 14183
625.51/625.54	c * 610s|880162 |875071 |  1078k|   1.2 | 883M| 669 |   - |1800 |5724 |1800 | 220 | 121k|  11k|3213 | 0.000000e+00 | 1.418300e+04 |    Inf 
626.02/626.04	o 14181
626.02/626.04	c * 610s|880813 |875698 |  1079k|   1.2 | 884M| 669 |   - |1800 |5567 |1800 | 221 | 121k|  11k|3213 | 0.000000e+00 | 1.418100e+04 |    Inf 
626.11/626.12	o 14124
626.11/626.12	c * 610s|880884 |875564 |  1079k|   1.2 | 884M| 669 |   - |1800 |5569 |1800 | 215 | 121k|  11k|3213 | 0.000000e+00 | 1.412400e+04 |    Inf 
626.41/626.40	o 13968
626.41/626.40	c * 610s|881218 |875316 |  1080k|   1.2 | 883M| 669 |   - |1800 |5590 |1800 | 217 | 121k|  11k|3213 | 0.000000e+00 | 1.396800e+04 |    Inf 
626.71/626.76	o 13946
626.71/626.76	c * 611s|881641 |875640 |  1080k|   1.2 | 884M| 669 |   - |1800 |5568 |1800 | 228 | 121k|  11k|3213 | 0.000000e+00 | 1.394600e+04 |    Inf 
626.71/626.77	o 13902
626.71/626.77	c * 611s|881642 |875446 |  1080k|   1.2 | 883M| 669 |   - |1800 |5568 |1800 | 228 | 121k|  11k|3213 | 0.000000e+00 | 1.390200e+04 |    Inf 
626.81/626.84	o 13850
626.81/626.84	c * 611s|881698 |875278 |  1080k|   1.2 | 883M| 669 |   - |1800 |5571 |1800 | 225 | 121k|  11k|3213 | 0.000000e+00 | 1.385000e+04 |    Inf 
626.81/626.85	o 13718
626.81/626.85	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
626.81/626.85	c * 611s|881699 |874734 |  1080k|   1.2 | 882M| 669 |   - |1800 |5571 |1800 | 225 | 121k|  11k|3213 | 0.000000e+00 | 1.371800e+04 |    Inf 
628.21/628.25	o 13713
628.21/628.25	c * 612s|883694 |876553 |  1082k|   1.2 | 884M| 669 |   - |1800 |5585 |1800 | 223 | 121k|  12k|3213 | 0.000000e+00 | 1.371300e+04 |    Inf 
628.21/628.26	o 13662
628.21/628.26	c * 612s|883695 |876337 |  1082k|   1.2 | 884M| 669 |   - |1800 |5585 |1800 | 223 | 121k|  12k|3213 | 0.000000e+00 | 1.366200e+04 |    Inf 
632.31/632.34	c   616s|890000 |882409 |  1087k|   1.2 | 889M| 669 |   0 |1800 |3959 |1800 | 239 | 122k|  13k|3217 | 0.000000e+00 | 1.366200e+04 |    Inf 
637.71/637.77	o 13640
637.71/637.77	c * 621s|898241 |890186 |  1093k|   1.2 | 898M| 669 |   - |1800 |3769 |1800 | 225 | 122k|  15k|3229 | 0.000000e+00 | 1.364000e+04 |    Inf 
639.01/639.00	c   623s|900000 |891823 |  1095k|   1.2 | 899M| 669 |   0 |1800 |3837 |1800 | 220 | 122k|  16k|3230 | 0.000000e+00 | 1.364000e+04 |    Inf 
645.50/645.56	c   629s|910000 |901440 |  1103k|   1.2 | 910M| 669 |   0 |1800 |3682 |1800 | 240 | 123k|  18k|3269 | 0.000000e+00 | 1.364000e+04 |    Inf 
649.40/649.42	o 13606
649.40/649.42	c * 633s|915569 |906229 |  1108k|   1.2 | 916M| 669 |   - |1800 |5522 |1800 | 225 | 124k|  21k|3277 | 0.000000e+00 | 1.360600e+04 |    Inf 
649.40/649.44	o 13409
649.40/649.44	c * 633s|915570 |905163 |  1108k|   1.2 | 915M| 669 |   - |1800 |5522 |1800 | 225 | 124k|  21k|3277 | 0.000000e+00 | 1.340900e+04 |    Inf 
652.11/652.15	o 13145
652.11/652.15	c * 636s|919372 |907376 |  1112k|   1.2 | 916M| 669 |   - |1800 |4855 |1800 | 226 | 124k|  22k|3278 | 0.000000e+00 | 1.314500e+04 |    Inf 
652.51/652.58	c   636s|920000 |907973 |  1113k|   1.2 | 917M| 669 |   0 |1800 |4631 |1800 | 248 | 124k|  22k|3278 | 0.000000e+00 | 1.314500e+04 |    Inf 
657.81/657.86	o 13038
657.81/657.86	c * 641s|927758 |914524 |  1120k|   1.2 | 924M| 669 |   - |1800 |4826 |1800 | 239 | 125k|  24k|3294 | 0.000000e+00 | 1.303800e+04 |    Inf 
657.92/657.91	o 13037
657.92/657.91	c * 641s|927815 |914571 |  1120k|   1.2 | 924M| 669 |   - |1800 |4823 |1800 | 247 | 125k|  24k|3294 | 0.000000e+00 | 1.303700e+04 |    Inf 
657.92/657.99	o 13013
657.92/657.99	c * 641s|927923 |914531 |  1120k|   1.2 | 924M| 669 |   - |1800 |4857 |1800 | 243 | 125k|  24k|3294 | 0.000000e+00 | 1.301300e+04 |    Inf 
658.11/658.15	o 12642
658.11/658.15	c * 641s|928123 |912099 |  1121k|   1.2 | 921M| 669 |   - |1800 |4892 |1800 | 243 | 125k|  24k|3294 | 0.000000e+00 | 1.264200e+04 |    Inf 
658.21/658.20	o 12610
658.21/658.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
658.21/658.20	c * 641s|928181 |911867 |  1121k|   1.2 | 921M| 669 |   - |1800 |4901 |1800 | 245 | 125k|  24k|3294 | 0.000000e+00 | 1.261000e+04 |    Inf 
658.21/658.22	o 12049
658.21/658.22	c * 641s|928182 |906671 |  1121k|   1.2 | 914M| 669 |   - |1800 |4901 |1800 | 245 | 125k|  24k|3294 | 0.000000e+00 | 1.204900e+04 |    Inf 
658.21/658.28	o 11849
658.21/658.28	c * 641s|928244 |904623 |  1121k|   1.2 | 912M| 669 |   - |1800 |4918 |1800 | 250 | 125k|  24k|3294 | 0.000000e+00 | 1.184900e+04 |    Inf 
658.41/658.42	o 11847
658.41/658.42	c * 642s|928433 |904778 |  1121k|   1.2 | 912M| 669 |   - |1800 |4955 |1800 | 250 | 125k|  24k|3294 | 0.000000e+00 | 1.184700e+04 |    Inf 
658.41/658.47	o 11843
658.41/658.47	c * 642s|928490 |904787 |  1121k|   1.2 | 912M| 669 |   - |1800 |4959 |1800 | 237 | 125k|  24k|3294 | 0.000000e+00 | 1.184300e+04 |    Inf 
658.41/658.49	o 11822
658.41/658.49	c * 642s|928501 |904538 |  1121k|   1.2 | 912M| 669 |   - |1800 |4958 |1800 | 238 | 125k|  24k|3294 | 0.000000e+00 | 1.182200e+04 |    Inf 
658.51/658.56	o 11562
658.51/658.56	c * 642s|928567 |901362 |  1121k|   1.2 | 909M| 669 |   - |1800 |4968 |1800 | 243 | 125k|  25k|3294 | 0.000000e+00 | 1.156200e+04 |    Inf 
658.61/658.62	o 11487
658.61/658.62	c * 642s|928628 |900482 |  1121k|   1.2 | 908M| 669 |   - |1800 |4974 |1800 | 242 | 125k|  25k|3294 | 0.000000e+00 | 1.148700e+04 |    Inf 
658.81/658.85	o 11190
658.81/658.85	c * 642s|928903 |896397 |  1121k|   1.2 | 905M| 669 |   - |1800 |5021 |1800 | 242 | 125k|  25k|3294 | 0.000000e+00 | 1.119000e+04 |    Inf 
658.91/658.91	o 11154
658.91/658.91	c * 642s|928986 |895878 |  1122k|   1.2 | 904M| 669 |   - |1800 |5033 |1800 | 245 | 125k|  25k|3294 | 0.000000e+00 | 1.115400e+04 |    Inf 
658.91/658.97	o 11143
658.91/658.97	c * 642s|929050 |895768 |  1122k|   1.2 | 904M| 669 |   - |1800 |5044 |1800 | 251 | 125k|  25k|3294 | 0.000000e+00 | 1.114300e+04 |    Inf 
658.91/658.99	o 10943
658.91/658.99	c * 642s|929051 |892295 |  1122k|   1.2 | 901M| 669 |   - |1800 |5044 |1800 | 251 | 125k|  25k|3294 | 0.000000e+00 | 1.094300e+04 |    Inf 
659.01/659.06	o 10478
659.01/659.06	c * 642s|929108 |882472 |  1122k|   1.2 | 892M| 669 |   - |1800 |5048 |1800 | 250 | 125k|  25k|3294 | 0.000000e+00 | 1.047800e+04 |    Inf 
659.11/659.10	o 10475
659.11/659.10	c * 642s|929149 |882434 |  1122k|   1.2 | 892M| 669 |   - |1800 |5063 |1800 | 242 | 125k|  25k|3294 | 0.000000e+00 | 1.047500e+04 |    Inf 
659.11/659.12	o 10424
659.11/659.12	c * 642s|929150 |881223 |  1122k|   1.2 | 891M| 669 |   - |1800 |5063 |1800 | 242 | 125k|  25k|3294 | 0.000000e+00 | 1.042400e+04 |    Inf 
659.71/659.70	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
659.71/659.70	c   643s|930000 |881990 |  1122k|   1.2 | 892M| 669 |   0 |1800 |5149 |1800 | 221 | 125k|  25k|3299 | 0.000000e+00 | 1.042400e+04 |    Inf 
659.91/659.98	o 10402
659.91/659.98	c * 643s|930364 |881741 |  1123k|   1.2 | 892M| 669 |   - |1800 |5266 |1800 | 266 | 125k|  25k|3314 | 0.000000e+00 | 1.040200e+04 |    Inf 
660.01/660.08	o 10278
660.01/660.08	c * 643s|930461 |878590 |  1123k|   1.2 | 890M| 669 |   - |1800 |5285 |1800 | 267 | 125k|  25k|3320 | 0.000000e+00 | 1.027800e+04 |    Inf 
660.12/660.13	o 9707
660.12/660.13	c * 643s|930477 |861087 |  1123k|   1.2 | 874M| 669 |   - |1800 |5305 |1800 | 272 | 125k|  25k|3320 | 0.000000e+00 | 9.707000e+03 |    Inf 
660.31/660.38	o 9446
660.31/660.38	c * 644s|930755 |851862 |  1123k|   1.2 | 865M| 669 |   - |1800 |5383 |1800 | 266 | 125k|  26k|3322 | 0.000000e+00 | 9.446000e+03 |    Inf 
660.41/660.40	o 9349
660.41/660.40	c * 644s|930756 |847973 |  1123k|   1.2 | 862M| 669 |   - |1800 |5383 |1800 | 266 | 125k|  26k|3322 | 0.000000e+00 | 9.349000e+03 |    Inf 
666.81/666.88	o 9311
666.81/666.88	c * 650s|939410 |854099 |  1135k|   1.2 | 870M| 669 |   - |1800 |6846 |1800 | 236 | 127k|  30k|3347 | 0.000000e+00 | 9.311000e+03 |    Inf 
667.31/667.34	c   650s|940000 |854630 |  1136k|   1.2 | 871M| 669 |   0 |1800 |6924 |1800 | 258 | 127k|  31k|3364 | 0.000000e+00 | 9.311000e+03 |    Inf 
668.61/668.66	o 9301
668.61/668.66	c * 652s|941709 |855742 |  1139k|   1.2 | 873M| 669 |   - |1800 |7232 |1800 | 251 | 127k|  32k|3379 | 0.000000e+00 | 9.301000e+03 |    Inf 
668.71/668.75	o 9280
668.71/668.75	c * 652s|941799 |854970 |  1139k|   1.2 | 872M| 669 |   - |1800 |7169 |1800 | 255 | 127k|  32k|3379 | 0.000000e+00 | 9.280000e+03 |    Inf 
668.91/668.93	o 9206
668.91/668.93	c * 652s|942027 |852008 |  1139k|   1.2 | 869M| 669 |   - |1800 |7134 |1800 | 255 | 127k|  32k|3379 | 0.000000e+00 | 9.206000e+03 |    Inf 
668.91/668.95	o 9200
668.91/668.95	c * 652s|942028 |851755 |  1139k|   1.2 | 869M| 669 |   - |1800 |7134 |1800 | 255 | 127k|  32k|3379 | 0.000000e+00 | 9.200000e+03 |    Inf 
669.01/669.02	o 9004
669.01/669.02	c * 652s|942094 |843204 |  1139k|   1.2 | 861M| 669 |   - |1800 |7117 |1800 | 248 | 127k|  32k|3379 | 0.000000e+00 | 9.004000e+03 |    Inf 
669.01/669.06	o 8770
669.01/669.06	c * 652s|942099 |831933 |  1139k|   1.2 | 850M| 669 |   - |1800 |7117 |1800 | 250 | 127k|  32k|3379 | 0.000000e+00 | 8.770000e+03 |    Inf 
669.51/669.52	o 8748
669.51/669.52	c * 652s|942676 |831281 |  1140k|   1.2 | 850M| 669 |   - |1800 |7104 |1800 | 251 | 127k|  32k|3384 | 0.000000e+00 | 8.748000e+03 |    Inf 
669.51/669.54	o 8697
669.51/669.54	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
669.51/669.54	c * 652s|942677 |828612 |  1140k|   1.2 | 847M| 669 |   - |1800 |7104 |1800 | 251 | 127k|  32k|3384 | 0.000000e+00 | 8.697000e+03 |    Inf 
669.81/669.82	o 8617
669.81/669.82	c * 653s|942997 |824659 |  1141k|   1.2 | 844M| 669 |   - |1800 |7073 |1800 | 254 | 127k|  32k|3384 | 0.000000e+00 | 8.617000e+03 |    Inf 
669.81/669.85	o 8549
669.81/669.85	c * 653s|943008 |820857 |  1141k|   1.2 | 841M| 669 |   - |1800 |7073 |1800 | 254 | 127k|  32k|3384 | 0.000000e+00 | 8.549000e+03 |    Inf 
669.81/669.88	o 8335
669.81/669.88	c * 653s|943009 |808165 |  1141k|   1.2 | 829M| 669 |   - |1800 |7073 |1800 | 254 | 127k|  32k|3384 | 0.000000e+00 | 8.335000e+03 |    Inf 
670.21/670.25	o 8295
670.21/670.25	c * 653s|943442 |806005 |  1142k|   1.2 | 827M| 669 |   - |1800 |7230 |1800 | 237 | 128k|  32k|3396 | 0.000000e+00 | 8.295000e+03 |    Inf 
670.31/670.33	o 7877
670.31/670.33	c * 653s|943461 |777527 |  1142k|   1.2 | 800M| 669 |   - |1800 |7228 |1800 | 237 | 128k|  32k|3396 | 0.000000e+00 | 7.877000e+03 |    Inf 
670.41/670.47	o 7689
670.41/670.47	c * 653s|943597 |763545 |  1142k|   1.2 | 787M| 669 |   - |1800 |7239 |1800 | 240 | 128k|  33k|3396 | 0.000000e+00 | 7.689000e+03 |    Inf 
670.51/670.56	o 7613
670.51/670.56	c * 653s|943671 |757553 |  1142k|   1.2 | 781M| 669 |   - |1800 |7240 |1800 | 238 | 128k|  33k|3396 | 0.000000e+00 | 7.613000e+03 |    Inf 
670.61/670.67	o 7509
670.61/670.67	c * 654s|943764 |749280 |  1142k|   1.2 | 773M| 669 |   - |1800 |7303 |1800 | 249 | 128k|  33k|3396 | 0.000000e+00 | 7.509000e+03 |    Inf 
670.71/670.76	o 7367
670.71/670.76	c * 654s|943828 |737490 |  1143k|   1.2 | 763M| 669 |   - |1800 |7335 |1800 | 245 | 128k|  33k|3396 | 0.000000e+00 | 7.367000e+03 |    Inf 
670.81/670.82	o 7176
670.81/670.82	c * 654s|943841 |720583 |  1143k|   1.2 | 746M| 669 |   - |1800 |7335 |1800 | 244 | 128k|  33k|3396 | 0.000000e+00 | 7.176000e+03 |    Inf 
670.91/670.96	o 7075
670.91/670.96	c * 654s|943974 |711254 |  1143k|   1.2 | 738M| 669 |   - |1800 |7421 |1800 | 247 | 128k|  33k|3396 | 0.000000e+00 | 7.075000e+03 |    Inf 
675.61/675.69	c   658s|950000 |716513 |  1152k|   1.2 | 744M| 669 |   0 |1800 |6298 |1800 | 222 | 129k|  36k|3443 | 0.000000e+00 | 7.075000e+03 |    Inf 
683.71/683.74	c   666s|960000 |724669 |  1168k|   1.2 | 756M| 669 |   0 |1800 |7541 |1800 | 227 | 131k|  44k|3494 | 0.000000e+00 | 7.075000e+03 |    Inf 
689.82/689.82	o 7070
689.82/689.82	c * 672s|967527 |730390 |  1180k|   1.2 | 764M| 669 |   - |1800 |7554 |1800 | 225 | 132k|  49k|3545 | 0.000000e+00 | 7.070000e+03 |    Inf 
689.91/689.97	o 7043
689.91/689.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
689.91/689.97	c * 672s|967687 |727944 |  1180k|   1.2 | 762M| 669 |   - |1800 |7535 |1800 | 228 | 132k|  49k|3545 | 0.000000e+00 | 7.043000e+03 |    Inf 
690.21/690.27	o 6801
690.21/690.27	c * 673s|967977 |704984 |  1180k|   1.2 | 740M| 669 |   - |1800 |7590 |1800 | 226 | 132k|  49k|3545 | 0.000000e+00 | 6.801000e+03 |    Inf 
690.61/690.69	o 6648
690.61/690.69	c * 673s|968436 |689894 |  1181k|   1.2 | 725M| 669 |   - |1800 |7602 |1800 | 226 | 132k|  50k|3545 | 0.000000e+00 | 6.648000e+03 |    Inf 
690.82/690.84	o 6223
690.82/690.84	c * 673s|968503 |645820 |  1181k|   1.2 | 681M| 669 |   - |1800 |7620 |1800 | 227 | 132k|  50k|3545 | 0.000000e+00 | 6.223000e+03 |    Inf 
690.82/690.90	o 6026
690.82/690.90	c * 673s|968504 |624995 |  1181k|   1.2 | 659M| 669 |   - |1800 |7620 |1800 | 227 | 132k|  50k|3545 | 0.000000e+00 | 6.026000e+03 |    Inf 
690.92/690.95	o 5982
690.92/690.95	c * 673s|968533 |620386 |  1181k|   1.2 | 654M| 669 |   - |1800 |7612 |1800 | 228 | 132k|  50k|3545 | 0.000000e+00 | 5.982000e+03 |    Inf 
690.92/691.00	o 5808
690.92/691.00	c * 673s|968534 |602329 |  1181k|   1.2 | 635M| 669 |   - |1800 |7612 |1800 | 228 | 132k|  50k|3545 | 0.000000e+00 | 5.808000e+03 |    Inf 
691.52/691.58	o 5707
691.52/691.58	c * 674s|969111 |592431 |  1182k|   1.2 | 624M| 669 |   - |1800 |8042 |1800 | 231 | 132k|  50k|3545 | 0.000000e+00 | 5.707000e+03 |    Inf 
692.41/692.47	c   675s|970000 |593099 |  1184k|   1.2 | 626M| 669 |   0 |1800 |8633 |1800 | 222 | 132k|  51k|3548 | 0.000000e+00 | 5.707000e+03 |    Inf 
701.21/701.23	c   683s|980000 |601507 |  1207k|   1.2 | 638M| 669 |   0 |1800 |7144 |1800 | 240 | 135k|  57k|3649 | 0.000000e+00 | 5.707000e+03 |    Inf 
709.71/709.74	c   692s|990000 |609909 |  1229k|   1.2 | 651M| 669 |   0 |1800 |8008 |1800 | 248 | 137k|  63k|3745 | 0.000000e+00 | 5.707000e+03 |    Inf 
714.82/714.81	o 5680
714.82/714.81	c * 697s|995961 |611868 |  1240k|   1.2 | 655M| 669 |   - |1800 |7749 |1800 | 225 | 138k|  66k|3765 | 0.000000e+00 | 5.680000e+03 |    Inf 
716.61/716.69	o 5559
716.61/716.69	c * 698s|997906 |600765 |  1245k|   1.2 | 643M| 669 |   - |1800 |8096 |1800 | 226 | 139k|  68k|3774 | 0.000000e+00 | 5.559000e+03 |    Inf 
718.51/718.57	c   700s|  1000k|602539 |  1250k|   1.3 | 646M| 669 |   0 |1800 |7217 |1800 | 240 | 139k|  69k|3793 | 0.000000e+00 | 5.559000e+03 |    Inf 
727.02/727.01	c   708s|  1010k|610746 |  1273k|   1.3 | 658M| 669 |   0 |1800 |7149 |1800 | 230 | 141k|  75k|3926 | 0.000000e+00 | 5.559000e+03 |    Inf 
735.81/735.87	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
735.81/735.87	c   717s|  1020k|618592 |  1293k|   1.3 | 670M| 669 |   0 |1800 |8111 |1800 | 219 | 144k|  83k|3939 | 0.000000e+00 | 5.559000e+03 |    Inf 
744.41/744.40	c   725s|  1030k|627110 |  1319k|   1.3 | 682M| 669 |   0 |1800 |6718 |1800 | 237 | 146k|  89k|4067 | 0.000000e+00 | 5.559000e+03 |    Inf 
750.11/750.17	o 5431
750.11/750.17	c * 731s|  1036k|618843 |  1331k|   1.3 | 676M| 669 |   - |1800 |7378 |1800 | 228 | 148k|  93k|4081 | 0.000000e+00 | 5.431000e+03 |    Inf 
752.92/752.92	c   734s|  1040k|621485 |  1338k|   1.3 | 679M| 669 |   - |1800 |6826 |1800 | 224 | 148k|  95k|4114 | 0.000000e+00 | 5.431000e+03 |    Inf 
761.41/761.40	c   742s|  1050k|629970 |  1360k|   1.3 | 691M| 669 |   0 |1800 |7088 |1800 | 224 | 151k| 101k|4157 | 0.000000e+00 | 5.431000e+03 |    Inf 
763.52/763.55	o 5409
763.52/763.55	c * 744s|  1052k|629681 |  1364k|   1.3 | 692M| 669 |   - |1800 |6834 |1800 | 232 | 151k| 102k|4164 | 0.000000e+00 | 5.409000e+03 |    Inf 
766.51/766.60	o 5243
766.51/766.60	c * 747s|  1056k|614801 |  1370k|   1.3 | 677M| 669 |   - |1800 |6747 |1800 | 242 | 152k| 104k|4194 | 0.000000e+00 | 5.243000e+03 |    Inf 
768.22/768.25	o 5215
768.22/768.25	c * 749s|  1058k|613287 |  1374k|   1.3 | 676M| 669 |   - |1800 |6624 |1800 | 218 | 152k| 106k|4203 | 0.000000e+00 | 5.215000e+03 |    Inf 
770.02/770.01	c   750s|  1060k|614838 |  1378k|   1.3 | 678M| 669 |   0 |1800 |6628 |1800 | 235 | 153k| 107k|4207 | 0.000000e+00 | 5.215000e+03 |    Inf 
778.21/778.27	c   758s|  1070k|623241 |  1397k|   1.3 | 691M| 669 |   0 |1800 |5895 |1800 | 222 | 155k| 112k|4213 | 0.000000e+00 | 5.215000e+03 |    Inf 
787.11/787.19	c   767s|  1080k|631314 |  1417k|   1.3 | 705M| 669 |   0 |1800 |7558 |1800 | 224 | 157k| 117k|4238 | 0.000000e+00 | 5.215000e+03 |    Inf 
791.31/791.30	o 5193
791.31/791.30	c * 771s|  1084k|632622 |  1428k|   1.3 | 707M| 669 |   - |1800 |6610 |1800 | 233 | 159k| 120k|4313 | 0.000000e+00 | 5.193000e+03 |    Inf 
791.42/791.49	o 5034
791.42/791.49	c * 771s|  1084k|614852 |  1429k|   1.3 | 687M| 669 |   - |1800 |6514 |1800 | 243 | 159k| 120k|4314 | 0.000000e+00 | 5.034000e+03 |    Inf 
791.51/791.56	o 4884
791.51/791.56	c * 771s|  1084k|598159 |  1429k|   1.3 | 668M| 669 |   - |1800 |6519 |1800 | 234 | 159k| 120k|4314 | 0.000000e+00 | 4.884000e+03 |    Inf 
796.32/796.39	c   776s|  1090k|602156 |  1438k|   1.3 | 675M| 669 |   0 |1800 |7289 |1800 | 218 | 160k| 124k|4315 | 0.000000e+00 | 4.884000e+03 |    Inf 
798.81/798.86	o 4738
798.81/798.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
798.81/798.86	c * 778s|  1092k|587709 |  1444k|   1.3 | 657M| 669 |   - |1800 |6892 |1800 | 228 | 160k| 125k|4316 | 0.000000e+00 | 4.738000e+03 |    Inf 
805.12/805.19	c   785s|  1100k|593544 |  1458k|   1.3 | 665M| 669 |   0 |1800 |6043 |1800 | 229 | 162k| 129k|4344 | 0.000000e+00 | 4.738000e+03 |    Inf 
813.92/813.91	c   793s|  1110k|601508 |  1477k|   1.3 | 678M| 669 |   0 |1800 |6055 |1800 | 226 | 164k| 135k|4369 | 0.000000e+00 | 4.738000e+03 |    Inf 
823.01/823.00	c   802s|  1120k|609797 |  1501k|   1.3 | 690M| 669 |   0 |1800 |6121 |1800 | 221 | 167k| 140k|4436 | 0.000000e+00 | 4.738000e+03 |    Inf 
831.82/831.81	c   811s|  1130k|617996 |  1524k|   1.3 | 702M| 669 |   0 |1800 |6065 |1800 | 228 | 170k| 145k|4482 | 0.000000e+00 | 4.738000e+03 |    Inf 
840.12/840.12	c   819s|  1140k|626282 |  1544k|   1.4 | 714M| 669 |   0 |1800 |5696 |1800 | 218 | 172k| 151k|4534 | 0.000000e+00 | 4.738000e+03 |    Inf 
848.42/848.47	c   827s|  1150k|634364 |  1561k|   1.4 | 726M| 669 |   0 |1800 |5761 |1800 | 209 | 174k| 156k|4555 | 0.000000e+00 | 4.738000e+03 |    Inf 
857.51/857.51	c   836s|  1160k|642267 |  1586k|   1.4 | 738M| 669 |   0 |1800 |6225 |1800 | 237 | 177k| 162k|4589 | 0.000000e+00 | 4.738000e+03 |    Inf 
861.82/861.86	o 4623
861.82/861.86	c * 840s|  1164k|630844 |  1598k|   1.4 | 723M| 669 |   - |1800 |6195 |1800 | 239 | 178k| 165k|4605 | 0.000000e+00 | 4.623000e+03 |    Inf 
861.92/861.94	o 4592
861.92/861.94	c * 840s|  1164k|626673 |  1598k|   1.4 | 718M| 669 |   - |1800 |6248 |1800 | 241 | 178k| 165k|4606 | 0.000000e+00 | 4.592000e+03 |    Inf 
861.92/861.99	o 4476
861.92/861.99	c * 840s|  1164k|610388 |  1598k|   1.4 | 696M| 669 |   - |1800 |6248 |1800 | 241 | 178k| 165k|4606 | 0.000000e+00 | 4.476000e+03 |    Inf 
867.01/867.04	c   845s|  1170k|614430 |  1619k|   1.4 | 702M| 669 |   - |1800 |6167 |   0 |   0 | 180k| 169k|4708 | 0.000000e+00 | 4.476000e+03 |    Inf 
873.72/873.73	o 4441
873.72/873.73	c * 851s|  1177k|615334 |  1638k|   1.4 | 704M| 669 |   - |1800 |5923 |1800 | 243 | 182k| 172k|4731 | 0.000000e+00 | 4.441000e+03 |    Inf 
876.02/876.08	c   854s|  1180k|617616 |  1645k|   1.4 | 707M| 669 |   0 |1800 |5449 |1800 | 216 | 183k| 174k|4762 | 0.000000e+00 | 4.441000e+03 |    Inf 
884.52/884.56	o 4421
884.52/884.56	c * 862s|  1189k|622330 |  1667k|   1.4 | 715M| 669 |   - |1800 |6365 |1800 | 229 | 185k| 180k|4797 | 0.000000e+00 | 4.421000e+03 |    Inf 
884.52/884.58	o 4386
884.52/884.58	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
884.52/884.58	c * 862s|  1189k|617135 |  1667k|   1.4 | 709M| 669 |   - |1800 |6365 |1800 | 229 | 185k| 180k|4797 | 0.000000e+00 | 4.386000e+03 |    Inf 
884.82/884.81	c   862s|  1190k|617281 |  1667k|   1.4 | 709M| 669 |   - |1800 |6412 |   0 |   0 | 185k| 180k|4797 | 0.000000e+00 | 4.386000e+03 |    Inf 
886.82/886.89	o 4382
886.82/886.89	c * 864s|  1192k|618778 |  1672k|   1.4 | 711M| 669 |   - |1800 |5808 |1800 | 232 | 186k| 181k|4804 | 0.000000e+00 | 4.382000e+03 |    Inf 
893.42/893.48	c   871s|  1200k|624854 |  1686k|   1.4 | 720M| 669 |   0 |1800 |5717 |1800 | 225 | 187k| 185k|4826 | 0.000000e+00 | 4.382000e+03 |    Inf 
902.92/902.95	c   880s|  1210k|632472 |  1711k|   1.4 | 733M| 669 |   0 |1800 |7422 |1800 | 230 | 190k| 192k|4883 | 0.000000e+00 | 4.382000e+03 |    Inf 
911.92/911.99	c   889s|  1220k|640476 |  1733k|   1.4 | 745M| 669 |   0 |1800 |5892 |1800 | 222 | 193k| 198k|4908 | 0.000000e+00 | 4.382000e+03 |    Inf 
920.32/920.38	c   897s|  1230k|648591 |  1752k|   1.4 | 757M| 669 |   0 |1800 |5723 |1800 | 216 | 195k| 204k|4943 | 0.000000e+00 | 4.382000e+03 |    Inf 
923.03/923.00	o 4372
923.03/923.00	c * 899s|  1232k|649223 |  1758k|   1.4 | 758M| 669 |   - |1800 |5497 |1800 | 236 | 196k| 205k|4950 | 0.000000e+00 | 4.372000e+03 |    Inf 
923.03/923.04	o 4314
923.03/923.04	c * 899s|  1232k|640029 |  1758k|   1.4 | 746M| 669 |   - |1800 |5497 |1800 | 236 | 196k| 205k|4950 | 0.000000e+00 | 4.314000e+03 |    Inf 
924.22/924.29	o 4247
924.22/924.29	c * 901s|  1234k|630235 |  1761k|   1.4 | 734M| 669 |   - |1800 |5648 |1800 | 242 | 196k| 206k|4953 | 0.000000e+00 | 4.247000e+03 |    Inf 
924.32/924.32	o 4212
924.32/924.32	c * 901s|  1234k|624559 |  1761k|   1.4 | 727M| 669 |   - |1800 |5648 |1800 | 242 | 196k| 206k|4953 | 0.000000e+00 | 4.212000e+03 |    Inf 
929.32/929.38	c   906s|  1240k|629049 |  1772k|   1.4 | 734M| 669 |   0 |1800 |5591 |1800 | 233 | 197k| 210k|4960 | 0.000000e+00 | 4.212000e+03 |    Inf 
938.42/938.48	c   914s|  1250k|636831 |  1797k|   1.4 | 747M| 669 |   0 |1800 |5617 |1800 | 232 | 199k| 217k|5022 | 0.000000e+00 | 4.212000e+03 |    Inf 
947.52/947.59	c   923s|  1260k|644601 |  1821k|   1.4 | 760M| 669 |   0 |1800 |6445 |1800 | 230 | 202k| 223k|5062 | 0.000000e+00 | 4.212000e+03 |    Inf 
956.62/956.61	c   932s|  1270k|652333 |  1845k|   1.5 | 772M| 669 |   0 |1800 |5649 |1800 | 234 | 204k| 229k|5104 | 0.000000e+00 | 4.212000e+03 |    Inf 
965.42/965.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
965.42/965.42	c   941s|  1280k|660197 |  1867k|   1.5 | 785M| 669 |   0 |1800 |5399 |1800 | 222 | 207k| 235k|5139 | 0.000000e+00 | 4.212000e+03 |    Inf 
967.72/967.70	o 4101
967.72/967.70	c * 943s|  1282k|644027 |  1873k|   1.5 | 765M| 669 |   - |1800 |6478 |1800 | 238 | 208k| 237k|5150 | 0.000000e+00 | 4.101000e+03 |    Inf 
967.72/967.72	o 4091
967.72/967.72	c * 943s|  1282k|642349 |  1873k|   1.5 | 763M| 669 |   - |1800 |6478 |1800 | 238 | 208k| 237k|5150 | 0.000000e+00 | 4.091000e+03 |    Inf 
967.82/967.83	o 3974
967.82/967.83	c * 943s|  1282k|623231 |  1873k|   1.5 | 739M| 669 |   - |1800 |6513 |1800 | 241 | 208k| 237k|5150 | 0.000000e+00 | 3.974000e+03 |    Inf 
967.82/967.84	o 3964
967.82/967.84	c * 943s|  1282k|621553 |  1873k|   1.5 | 736M| 669 |   - |1800 |6513 |1800 | 241 | 208k| 237k|5150 | 0.000000e+00 | 3.964000e+03 |    Inf 
974.92/974.96	c   950s|  1290k|627468 |  1893k|   1.5 | 746M| 669 |   0 |1800 |6951 |1800 | 240 | 210k| 243k|5190 | 0.000000e+00 | 3.964000e+03 |    Inf 
984.22/984.21	c   959s|  1300k|635245 |  1918k|   1.5 | 759M| 669 |   0 |1800 |6312 |1800 | 217 | 212k| 249k|5218 | 0.000000e+00 | 3.964000e+03 |    Inf 
992.92/992.90	c   968s|  1310k|643173 |  1936k|   1.5 | 771M| 669 |   0 |1800 |5600 |1800 | 219 | 214k| 255k|5242 | 0.000000e+00 | 3.964000e+03 |    Inf 
994.22/994.28	o 3936
994.22/994.28	c * 969s|  1311k|639474 |  1940k|   1.5 | 767M| 669 |   - |1800 |5597 |1800 | 233 | 215k| 256k|5258 | 0.000000e+00 | 3.936000e+03 |    Inf 
994.32/994.31	o 3912
994.32/994.31	c * 969s|  1311k|635458 |  1940k|   1.5 | 762M| 669 |   - |1800 |5596 |1800 | 234 | 215k| 256k|5258 | 0.000000e+00 | 3.912000e+03 |    Inf 
994.32/994.35	o 3849
994.32/994.35	c * 969s|  1311k|624828 |  1940k|   1.5 | 747M| 669 |   - |1800 |5596 |1800 | 234 | 215k| 256k|5258 | 0.000000e+00 | 3.849000e+03 |    Inf 
1002.63/1002.69	c   977s|  1320k|631259 |  1963k|   1.5 | 759M| 669 |   0 |1800 |6591 |1800 | 219 | 217k| 262k|5288 | 0.000000e+00 | 3.849000e+03 |    Inf 
1003.52/1003.52	o 3831
1003.52/1003.52	c * 978s|  1320k|628958 |  1966k|   1.5 | 756M| 669 |   - |1800 |6613 |1800 | 246 | 217k| 262k|5301 | 0.000000e+00 | 3.831000e+03 |    Inf 
1011.72/1011.75	o 3746
1011.72/1011.75	c * 986s|  1329k|621290 |  1988k|   1.5 | 746M| 669 |   - |1800 |7206 |1800 | 253 | 219k| 268k|5317 | 0.000000e+00 | 3.746000e+03 |    Inf 
1011.72/1011.79	o 3687
1011.72/1011.79	c * 986s|  1329k|610978 |  1988k|   1.5 | 730M| 669 |   - |1800 |7206 |1800 | 253 | 219k| 268k|5317 | 0.000000e+00 | 3.687000e+03 |    Inf 
1012.33/1012.31	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1012.33/1012.31	c   986s|  1330k|611432 |  1989k|   1.5 | 731M| 669 |   0 |1800 |6877 |1800 | 228 | 219k| 268k|5318 | 0.000000e+00 | 3.687000e+03 |    Inf 
1021.72/1021.70	c   996s|  1340k|619147 |  2015k|   1.5 | 743M| 669 |   0 |1800 |6259 |1800 | 215 | 222k| 275k|5371 | 0.000000e+00 | 3.687000e+03 |    Inf 
1031.12/1031.14	c  1005s|  1350k|626829 |  2044k|   1.5 | 756M| 669 |   0 |1800 |6142 |1800 | 248 | 225k| 281k|5427 | 0.000000e+00 | 3.687000e+03 |    Inf 
1040.23/1040.26	c  1014s|  1360k|634864 |  2068k|   1.5 | 769M| 669 |   0 |1800 |6012 |1800 | 214 | 227k| 287k|5451 | 0.000000e+00 | 3.687000e+03 |    Inf 
1049.43/1049.48	c  1023s|  1370k|642595 |  2095k|   1.5 | 783M| 669 |   0 |1800 |6874 |1800 | 239 | 230k| 293k|5486 | 0.000000e+00 | 3.687000e+03 |    Inf 
1055.32/1055.35	o 3424
1055.32/1055.35	c *1028s|  1375k|600855 |  2114k|   1.5 | 722M| 669 |   - |1800 |6782 |1800 | 227 | 233k| 297k|5526 | 0.000000e+00 | 3.424000e+03 |    Inf 
1060.53/1060.57	c  1033s|  1380k|604061 |  2130k|   1.5 | 729M| 669 |   0 |1800 |7109 |1800 | 224 | 235k| 300k|5541 | 0.000000e+00 | 3.424000e+03 |    Inf 
1071.62/1071.63	c  1044s|  1390k|610927 |  2159k|   1.6 | 743M| 669 |   0 |1800 |8024 |1800 | 232 | 239k| 307k|5560 | 0.000000e+00 | 3.424000e+03 |    Inf 
1081.43/1081.41	c  1054s|  1400k|618721 |  2189k|   1.6 | 757M| 669 |   0 |1800 |6864 |1800 | 236 | 242k| 314k|5635 | 0.000000e+00 | 3.424000e+03 |    Inf 
1083.22/1083.21	o 3351
1083.22/1083.21	c *1055s|  1401k|606722 |  2193k|   1.6 | 739M| 669 |   - |1800 |6766 |1800 | 237 | 242k| 315k|5639 | 0.000000e+00 | 3.351000e+03 |    Inf 
1083.32/1083.30	o 3191
1083.32/1083.30	c *1056s|  1401k|578265 |  2193k|   1.6 | 695M| 669 |   - |1800 |6766 |1800 | 237 | 242k| 315k|5639 | 0.000000e+00 | 3.191000e+03 |    Inf 
1088.82/1088.85	o 3147
1088.82/1088.85	c *1061s|  1407k|574980 |  2213k|   1.6 | 690M| 669 |   - |1800 |5689 |1800 | 231 | 244k| 317k|5730 | 0.000000e+00 | 3.147000e+03 |    Inf 
1091.43/1091.49	c  1064s|  1410k|577026 |  2226k|   1.6 | 694M| 669 |   - |1800 |5432 |   0 |   0 | 245k| 318k|5799 | 0.000000e+00 | 3.147000e+03 |    Inf 
1095.63/1095.68	o 3101
1095.63/1095.68	c *1068s|  1414k|572294 |  2245k|   1.6 | 688M| 669 |   - |1800 |5027 |1800 | 259 | 247k| 320k|5871 | 0.000000e+00 | 3.101000e+03 |    Inf 
1095.73/1095.71	o 3079
1095.73/1095.71	c *1068s|  1414k|568303 |  2245k|   1.6 | 682M| 669 |   - |1800 |5027 |1800 | 259 | 247k| 320k|5871 | 0.000000e+00 | 3.079000e+03 |    Inf 
1095.73/1095.73	o 3062
1095.73/1095.73	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1095.73/1095.73	c *1068s|  1414k|565080 |  2245k|   1.6 | 677M| 669 |   - |1800 |5027 |1800 | 259 | 247k| 320k|5871 | 0.000000e+00 | 3.062000e+03 |    Inf 
1101.53/1101.55	c  1073s|  1420k|569893 |  2265k|   1.6 | 685M| 669 |   0 |1800 |5752 |1800 | 212 | 249k| 323k|5883 | 0.000000e+00 | 3.062000e+03 |    Inf 
1107.42/1107.42	o 2952
1107.42/1107.42	c *1079s|  1426k|554419 |  2281k|   1.6 | 663M| 669 |   - |1800 |5845 |1800 | 240 | 251k| 327k|5887 | 0.000000e+00 | 2.952000e+03 |    Inf 
1110.33/1110.35	o 2882
1110.33/1110.35	c *1082s|  1429k|543727 |  2290k|   1.6 | 648M| 669 |   - |1800 |5696 |1800 | 230 | 252k| 329k|5901 | 0.000000e+00 | 2.882000e+03 |    Inf 
1111.22/1111.29	c  1083s|  1430k|544483 |  2293k|   1.6 | 649M| 669 |   0 |1800 |5703 |1800 | 265 | 252k| 329k|5902 | 0.000000e+00 | 2.882000e+03 |    Inf 
1111.82/1111.82	o 2824
1111.82/1111.82	c *1083s|  1430k|534506 |  2294k|   1.6 | 634M| 669 |   - |1800 |5644 |1800 | 238 | 252k| 329k|5902 | 0.000000e+00 | 2.824000e+03 |    Inf 
1111.82/1111.85	o 2797
1111.82/1111.85	c *1083s|  1430k|529460 |  2294k|   1.6 | 626M| 669 |   - |1800 |5644 |1800 | 238 | 252k| 329k|5902 | 0.000000e+00 | 2.797000e+03 |    Inf 
1111.92/1111.94	o 2650
1111.92/1111.94	c *1083s|  1430k|503296 |  2294k|   1.6 | 585M| 669 |   - |1800 |5644 |1800 | 238 | 252k| 329k|5902 | 0.000000e+00 | 2.650000e+03 |    Inf 
1121.33/1121.37	c  1093s|  1440k|510099 |  2323k|   1.6 | 598M| 669 |   - |1800 |5607 |   0 |   0 | 255k| 336k|5927 | 0.000000e+00 | 2.650000e+03 |    Inf 
1122.33/1122.31	o 2606
1122.33/1122.31	c *1094s|  1440k|502837 |  2326k|   1.6 | 588M| 669 |   - |1800 |5128 |1800 | 243 | 256k| 336k|5940 | 0.000000e+00 | 2.606000e+03 |    Inf 
1122.33/1122.35	o 2577
1122.33/1122.35	c *1094s|  1440k|497228 |  2326k|   1.6 | 580M| 669 |   - |1800 |5133 |1800 | 243 | 256k| 336k|5940 | 0.000000e+00 | 2.577000e+03 |    Inf 
1122.33/1122.39	o 2542
1122.33/1122.39	c *1094s|  1440k|491143 |  2326k|   1.6 | 571M| 669 |   - |1800 |5140 |1800 | 243 | 256k| 336k|5940 | 0.000000e+00 | 2.542000e+03 |    Inf 
1122.43/1122.43	o 2467
1122.43/1122.43	c *1094s|  1440k|478391 |  2326k|   1.6 | 553M| 669 |   - |1800 |5139 |1800 | 243 | 256k| 336k|5940 | 0.000000e+00 | 2.467000e+03 |    Inf 
1130.73/1130.78	o 2432
1130.73/1130.78	c *1102s|  1449k|477957 |  2352k|   1.6 | 555M| 669 |   - |1800 |5006 |1800 | 228 | 258k| 341k|5963 | 0.000000e+00 | 2.432000e+03 |    Inf 
1130.73/1130.80	o 2422
1130.73/1130.80	c *1102s|  1449k|476184 |  2352k|   1.6 | 553M| 669 |   - |1800 |5006 |1800 | 229 | 258k| 341k|5963 | 0.000000e+00 | 2.422000e+03 |    Inf 
1130.83/1130.81	o 2421
1130.83/1130.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1130.83/1130.81	c *1102s|  1449k|475967 |  2352k|   1.6 | 553M| 669 |   - |1800 |5006 |1800 | 229 | 258k| 341k|5963 | 0.000000e+00 | 2.421000e+03 |    Inf 
1131.62/1131.62	c  1103s|  1450k|476597 |  2354k|   1.6 | 554M| 669 |   0 |1800 |4948 |1800 | 222 | 258k| 341k|5963 | 0.000000e+00 | 2.421000e+03 |    Inf 
1141.83/1141.85	c  1113s|  1460k|483951 |  2391k|   1.6 | 569M| 669 |   0 |1800 |5159 |1800 | 233 | 262k| 347k|6008 | 0.000000e+00 | 2.421000e+03 |    Inf 
1147.82/1147.88	o 2387
1147.82/1147.88	c *1118s|  1465k|481923 |  2411k|   1.6 | 570M| 669 |   - |1800 |5292 |1800 | 239 | 264k| 351k|6043 | 0.000000e+00 | 2.387000e+03 |    Inf 
1147.92/1147.98	o 2386
1147.92/1147.98	c *1119s|  1465k|481766 |  2411k|   1.6 | 570M| 669 |   - |1800 |5368 |1800 | 241 | 264k| 351k|6046 | 0.000000e+00 | 2.386000e+03 |    Inf 
1152.13/1152.15	c  1123s|  1470k|484845 |  2428k|   1.7 | 576M| 669 |   0 |1800 |4988 |1800 | 238 | 265k| 353k|6057 | 0.000000e+00 | 2.386000e+03 |    Inf 
1162.53/1162.52	c  1133s|  1480k|491962 |  2466k|   1.7 | 591M| 669 |   0 |1800 |5304 |1800 | 228 | 269k| 359k|6089 | 0.000000e+00 | 2.386000e+03 |    Inf 
1167.03/1167.08	o 2336
1167.03/1167.08	c *1137s|  1484k|486270 |  2483k|   1.7 | 586M| 669 |   - |1800 |4569 |1800 | 233 | 271k| 361k|6121 | 0.000000e+00 | 2.336000e+03 |    Inf 
1167.13/1167.16	o 2208
1167.13/1167.16	c *1137s|  1484k|462037 |  2483k|   1.7 | 554M| 669 |   - |1800 |4569 |1800 | 233 | 271k| 361k|6121 | 0.000000e+00 | 2.208000e+03 |    Inf 
1172.93/1172.92	c  1143s|  1490k|466012 |  2501k|   1.7 | 563M| 669 |   0 |1800 |4734 |1800 | 234 | 273k| 365k|6124 | 0.000000e+00 | 2.208000e+03 |    Inf 
1183.33/1183.40	c  1153s|  1500k|473152 |  2545k|   1.7 | 578M| 669 |   0 |1800 |4543 |1800 | 247 | 277k| 370k|6159 | 0.000000e+00 | 2.208000e+03 |    Inf 
1186.43/1186.45	o 2158
1186.43/1186.45	c *1156s|  1502k|465602 |  2556k|   1.7 | 571M| 669 |   - |1800 |4719 |1800 | 252 | 278k| 372k|6178 | 0.000000e+00 | 2.158000e+03 |    Inf 
1186.43/1186.46	o 2147
1186.43/1186.46	c *1156s|  1502k|463718 |  2556k|   1.7 | 568M| 669 |   - |1800 |4719 |1800 | 252 | 278k| 372k|6178 | 0.000000e+00 | 2.147000e+03 |    Inf 
1194.63/1194.61	c  1164s|  1510k|468592 |  2591k|   1.7 | 580M| 669 |   0 |1800 |5383 |1800 | 234 | 281k| 377k|6212 | 0.000000e+00 | 2.147000e+03 |    Inf 
1201.43/1201.42	o 2083
1201.43/1201.42	c *1171s|  1516k|459947 |  2615k|   1.7 | 574M| 669 |   - |1800 |5229 |1800 | 232 | 283k| 381k|6228 | 0.000000e+00 | 2.083000e+03 |    Inf 
1205.43/1205.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1205.43/1205.40	c  1174s|  1520k|462422 |  2631k|   1.7 | 579M| 669 |   0 |1800 |5182 |1800 | 210 | 285k| 383k|6254 | 0.000000e+00 | 2.083000e+03 |    Inf 
1215.93/1215.90	c  1185s|  1530k|469275 |  2667k|   1.7 | 595M| 669 |   0 |1800 |4899 |1800 | 224 | 288k| 389k|6283 | 0.000000e+00 | 2.083000e+03 |    Inf 
1226.73/1226.71	c  1195s|  1540k|476090 |  2710k|   1.8 | 611M| 669 |   0 |1800 |4837 |1800 | 244 | 292k| 395k|6323 | 0.000000e+00 | 2.083000e+03 |    Inf 
1237.33/1237.35	c  1206s|  1550k|483039 |  2753k|   1.8 | 627M| 669 |   3 |1800 |4789 |1800 | 222 | 296k| 400k|6360 | 0.000000e+00 | 2.083000e+03 |    Inf 
1247.93/1247.90	c  1216s|  1560k|489793 |  2793k|   1.8 | 642M| 669 |   0 |1800 |4634 |1800 | 232 | 300k| 406k|6397 | 0.000000e+00 | 2.083000e+03 |    Inf 
1249.53/1249.57	o 2017
1249.53/1249.57	c *1217s|  1561k|477363 |  2799k|   1.8 | 628M| 669 |   - |1800 |4878 |1800 | 235 | 300k| 407k|6400 | 0.000000e+00 | 2.017000e+03 |    Inf 
1253.04/1253.00	o 2009
1253.04/1253.00	c *1221s|  1564k|477513 |  2816k|   1.8 | 630M| 669 |   - |1800 |4927 |1800 | 248 | 302k| 409k|6423 | 0.000000e+00 | 2.009000e+03 |    Inf 
1259.33/1259.38	c  1227s|  1570k|480851 |  2838k|   1.8 | 639M| 669 |   0 |1800 |5461 |1800 | 234 | 304k| 413k|6436 | 0.000000e+00 | 2.009000e+03 |    Inf 
1270.43/1270.42	c  1238s|  1580k|487222 |  2879k|   1.8 | 654M| 669 |   0 |1800 |5455 |1800 | 231 | 308k| 420k|6467 | 0.000000e+00 | 2.009000e+03 |    Inf 
1274.13/1274.18	o 1993
1274.13/1274.18	c *1241s|  1583k|486377 |  2894k|   1.8 | 655M| 669 |   - |1800 |5544 |1800 | 218 | 309k| 423k|6496 | 0.000000e+00 | 1.993000e+03 |    Inf 
1276.43/1276.49	o 1860
1276.43/1276.49	c *1244s|  1585k|460665 |  2902k|   1.8 | 624M| 669 |   - |1800 |5442 |1800 | 244 | 310k| 424k|6499 | 0.000000e+00 | 1.860000e+03 |    Inf 
1281.64/1281.67	o 1859
1281.64/1281.67	c *1249s|  1589k|463249 |  2921k|   1.8 | 631M| 669 |   - |1800 |5962 |1800 | 226 | 312k| 427k|6503 | 0.000000e+00 | 1.859000e+03 |    Inf 
1282.03/1282.05	c  1249s|  1590k|463452 |  2922k|   1.8 | 631M| 669 |   0 |1800 |5902 |1800 | 222 | 312k| 428k|6504 | 0.000000e+00 | 1.859000e+03 |    Inf 
1283.74/1283.75	o 1788
1283.74/1283.75	c *1251s|  1591k|449003 |  2929k|   1.8 | 614M| 669 |   - |1800 |5676 |1800 | 233 | 312k| 429k|6530 | 0.000000e+00 | 1.788000e+03 |    Inf 
1283.74/1283.78	o 1753
1283.74/1283.78	c *1251s|  1591k|441823 |  2929k|   1.8 | 605M| 669 |   - |1800 |5676 |1800 | 233 | 312k| 429k|6530 | 0.000000e+00 | 1.753000e+03 |    Inf 
1287.73/1287.77	o 1744
1287.73/1287.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1287.73/1287.77	c *1255s|  1594k|441745 |  2946k|   1.8 | 607M| 669 |   - |1800 |5360 |1800 | 231 | 314k| 431k|6544 | 0.000000e+00 | 1.744000e+03 |    Inf 
1294.43/1294.41	c  1261s|  1600k|444980 |  2977k|   1.9 | 616M| 669 |   - |1800 |5828 |   0 |   0 | 316k| 435k|6563 | 0.000000e+00 | 1.744000e+03 |    Inf 
1296.43/1296.46	o 1720
1296.43/1296.46	c *1263s|  1601k|441198 |  2984k|   1.9 | 612M| 669 |   - |1800 |5882 |1800 | 244 | 317k| 437k|6573 | 0.000000e+00 | 1.720000e+03 |    Inf 
1303.33/1303.34	o 1700
1303.33/1303.34	c *1270s|  1607k|440565 |  3011k|   1.9 | 616M| 669 |   - |1800 |5388 |1800 | 242 | 319k| 440k|6602 | 0.000000e+00 | 1.700000e+03 |    Inf 
1303.33/1303.39	o 1670
1303.33/1303.39	c *1270s|  1607k|434063 |  3012k|   1.9 | 607M| 669 |   - |1800 |5395 |1800 | 249 | 319k| 440k|6605 | 0.000000e+00 | 1.670000e+03 |    Inf 
1303.43/1303.42	o 1637
1303.43/1303.42	c *1270s|  1607k|427120 |  3012k|   1.9 | 597M| 669 |   - |1800 |5395 |1800 | 249 | 319k| 440k|6605 | 0.000000e+00 | 1.637000e+03 |    Inf 
1306.43/1306.49	c  1273s|  1610k|428649 |  3024k|   1.9 | 602M| 669 |   0 |1800 |5034 |1800 | 232 | 320k| 442k|6622 | 0.000000e+00 | 1.637000e+03 |    Inf 
1318.73/1318.75	c  1285s|  1620k|434994 |  3084k|   1.9 | 619M| 669 |   0 |1800 |4701 |1800 | 231 | 326k| 449k|6678 | 0.000000e+00 | 1.637000e+03 |    Inf 
1322.63/1322.69	o 1633
1322.63/1322.69	c *1288s|  1623k|436151 |  3105k|   1.9 | 624M| 669 |   - |1800 |4597 |1800 | 246 | 327k| 451k|6708 | 0.000000e+00 | 1.633000e+03 |    Inf 
1331.23/1331.21	c  1297s|  1630k|439719 |  3141k|   1.9 | 637M| 669 |   - |1800 |5279 |   0 |   0 | 330k| 456k|6729 | 0.000000e+00 | 1.633000e+03 |    Inf 
1339.43/1339.42	o 1620
1339.43/1339.42	c *1305s|  1636k|440647 |  3177k|   1.9 | 645M| 669 |   - |1800 |6369 |1800 | 245 | 334k| 461k|6760 | 0.000000e+00 | 1.620000e+03 |    Inf 
1339.43/1339.47	o 1580
1339.43/1339.47	c *1305s|  1636k|432145 |  3177k|   1.9 | 632M| 669 |   - |1800 |6372 |1800 | 248 | 334k| 461k|6760 | 0.000000e+00 | 1.580000e+03 |    Inf 
1344.34/1344.32	c  1309s|  1640k|433744 |  3201k|   2.0 | 638M| 669 |   0 |1800 |5205 |1800 | 224 | 336k| 464k|6796 | 0.000000e+00 | 1.580000e+03 |    Inf 
1349.23/1349.26	o 1507
1349.23/1349.26	c *1314s|  1643k|418305 |  3230k|   2.0 | 620M| 669 |   - |1800 |5574 |1800 | 239 | 339k| 467k|6813 | 0.000000e+00 | 1.507000e+03 |    Inf 
1349.44/1349.48	o 1370
1349.44/1349.48	c *1315s|  1643k|387155 |  3231k|   2.0 | 571M| 669 |   - |1800 |5648 |1800 | 240 | 339k| 467k|6813 | 0.000000e+00 | 1.370000e+03 |    Inf 
1354.83/1354.85	o 1291
1354.83/1354.85	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1354.83/1354.85	c *1320s|  1647k|367994 |  3254k|   2.0 | 545M| 669 |   - |1800 |5082 |1800 | 250 | 341k| 470k|6836 | 0.000000e+00 | 1.291000e+03 |    Inf 
1358.54/1358.57	c  1323s|  1650k|369533 |  3274k|   2.0 | 551M| 669 |   7 |1800 |4875 |1800 | 224 | 343k| 472k|6855 | 0.000000e+00 | 1.291000e+03 |    Inf 
1368.03/1368.05	o 1265
1368.03/1368.05	c *1333s|  1656k|365893 |  3325k|   2.0 | 553M| 669 |   - |1800 |5657 |1800 | 236 | 347k| 478k|6890 | 0.000000e+00 | 1.265000e+03 |    Inf 
1368.13/1368.11	o 1195
1368.13/1368.11	c *1333s|  1656k|346223 |  3325k|   2.0 | 521M| 669 |   - |1800 |5657 |1800 | 236 | 347k| 478k|6890 | 0.000000e+00 | 1.195000e+03 |    Inf 
1368.23/1368.22	o 1185
1368.23/1368.22	c *1333s|  1656k|343922 |  3326k|   2.0 | 517M| 669 |   - |1800 |5700 |1800 | 243 | 348k| 478k|6890 | 0.000000e+00 | 1.185000e+03 |    Inf 
1368.23/1368.25	o 1174
1368.23/1368.25	c *1333s|  1656k|340757 |  3326k|   2.0 | 512M| 669 |   - |1800 |5700 |1800 | 243 | 348k| 478k|6890 | 0.000000e+00 | 1.174000e+03 |    Inf 
1368.33/1368.33	o 1134
1368.33/1368.33	c *1333s|  1656k|329310 |  3326k|   2.0 | 493M| 669 |   - |1800 |5700 |1800 | 246 | 348k| 478k|6890 | 0.000000e+00 | 1.134000e+03 |    Inf 
1368.33/1368.39	o 1108
1368.33/1368.39	c *1333s|  1656k|321966 |  3326k|   2.0 | 481M| 669 |   - |1800 |5702 |1800 | 240 | 348k| 478k|6890 | 0.000000e+00 | 1.108000e+03 |    Inf 
1368.43/1368.48	o 1015
1368.43/1368.48	c *1333s|  1656k|295920 |  3326k|   2.0 | 438M| 669 |   - |1800 |5702 |1800 | 240 | 348k| 478k|6890 | 0.000000e+00 | 1.015000e+03 |    Inf 
1368.54/1368.52	o 980
1368.54/1368.52	c *1333s|  1656k|284530 |  3326k|   2.0 | 420M| 669 |   - |1800 |5702 |1800 | 240 | 348k| 478k|6890 | 0.000000e+00 | 9.800000e+02 |    Inf 
1368.64/1368.66	o 909
1368.64/1368.66	c *1333s|  1656k|259769 |  3327k|   2.0 | 382M| 669 |   - |1800 |5575 |1800 | 229 | 348k| 478k|6890 | 0.000000e+00 | 9.090000e+02 |    Inf 
1368.73/1368.78	o 811
1368.73/1368.78	c *1333s|  1656k|232312 |  3327k|   2.0 | 339M| 669 |   - |1800 |5428 |1800 | 237 | 348k| 478k|6890 | 0.000000e+00 | 8.110000e+02 |    Inf 
1368.83/1368.81	o 788
1368.83/1368.81	c *1333s|  1656k|226810 |  3327k|   2.0 | 330M| 669 |   - |1800 |5428 |1800 | 237 | 348k| 478k|6890 | 0.000000e+00 | 7.880000e+02 |    Inf 
1369.03/1369.04	o 569
1369.03/1369.04	c *1334s|  1656k|169283 |  3327k|   2.0 | 240M| 669 |   - |1800 |5232 |1800 | 234 | 348k| 478k|6890 | 0.000000e+00 | 5.690000e+02 |    Inf 
1369.13/1369.13	o 533
1369.13/1369.13	c *1334s|  1656k|161238 |  3327k|   2.0 | 227M| 669 |   - |1800 |4883 |1800 | 229 | 348k| 478k|6890 | 0.000000e+00 | 5.330000e+02 |    Inf 
1369.23/1369.27	o 489
1369.23/1369.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1369.23/1369.27	c *1334s|  1656k|151770 |  3328k|   2.0 | 213M| 669 |   - |1800 |4692 |1800 | 243 | 348k| 478k|6891 | 0.000000e+00 | 4.890000e+02 |    Inf 
1376.24/1376.26	o 485
1376.24/1376.26	c *1341s|  1658k|147833 |  3414k|   2.1 | 223M| 669 |   - |1800 |2811 |1800 | 263 | 354k| 482k|6996 | 0.000000e+00 | 4.850000e+02 |    Inf 
1376.33/1376.36	o 373
1376.33/1376.36	c *1341s|  1658k|119698 |  3414k|   2.1 | 186M| 669 |   - |1800 |2721 |1800 | 263 | 354k| 482k|6996 | 0.000000e+00 | 3.730000e+02 |    Inf 
1376.33/1376.39	o 340
1376.33/1376.39	c *1341s|  1658k|111771 |  3414k|   2.1 | 175M| 669 |   - |1800 |2721 |1800 | 263 | 354k| 482k|6996 | 0.000000e+00 | 3.400000e+02 |    Inf 
1380.43/1380.49	c  1345s|  1660k| 92195 |  3467k|   2.1 | 164M| 669 |   - |1800 |2451 |   0 |   0 | 357k| 485k|7028 | 0.000000e+00 | 3.400000e+02 |    Inf 
1382.84/1382.85	o 327
1382.84/1382.85	c *1347s|  1660k| 73249 |  3499k|   2.1 | 146M| 669 |   - |1800 |2598 |1800 | 263 | 359k| 486k|7061 | 0.000000e+00 | 3.270000e+02 |    Inf 
1383.84/1383.87	o 317
1383.84/1383.87	c *1348s|  1661k| 55703 |  3510k|   2.1 | 127M| 669 |   - |1800 |2271 |1800 | 244 | 360k| 487k|7061 | 0.000000e+00 | 3.170000e+02 |    Inf 
1385.43/1385.44	o 314
1385.43/1385.44	c *1349s|  1661k| 43837 |  3528k|   2.1 | 114M| 669 |   - |1800 |2325 |1800 | 230 | 361k| 488k|7066 | 0.000000e+00 | 3.140000e+02 |    Inf 
1386.13/1386.18	o 283
1386.13/1386.18	c *1350s|  1661k| 23799 |  3533k|   2.1 |  82M| 669 |   - |1800 |2226 |1800 | 232 | 361k| 488k|7077 | 0.000000e+00 | 2.830000e+02 |    Inf 
1386.74/1386.76	o 269
1386.74/1386.76	c *1351s|  1662k| 18885 |  3540k|   2.1 |  74M| 669 |   - |1800 |2186 |1800 | 229 | 362k| 488k|7086 | 0.000000e+00 | 2.690000e+02 |    Inf 
1387.03/1387.03	o 246
1387.03/1387.03	c *1351s|  1662k| 17947 |  3544k|   2.1 |  71M| 669 |   - |1800 |2216 |1800 | 229 | 362k| 489k|7086 | 0.000000e+00 | 2.460000e+02 |    Inf 
1387.03/1387.05	o 178
1387.03/1387.05	c *1351s|  1662k| 15422 |  3544k|   2.1 |  64M| 669 |   - |1800 |2216 |1800 | 229 | 362k| 489k|7086 | 0.000000e+00 | 1.780000e+02 |    Inf 
1388.34/1388.38	o 101
1388.34/1388.38	c *1352s|  1662k|  3404 |  3557k|   2.1 |  34M| 669 |   - |1800 |2364 |1800 | 218 | 363k| 489k|7096 | 0.000000e+00 | 1.010000e+02 |    Inf 
1388.83/1388.81	c 
1388.83/1388.81	c SCIP Status        : problem is solved [optimal solution found]
1388.83/1388.81	c Solving Time (sec) : 1352.73
1388.83/1388.81	c Solving Nodes      : 1663157
1388.83/1388.81	c Primal Bound       : +1.01000000000000e+02 (282 solutions)
1388.83/1388.81	c Dual Bound         : +1.01000000000000e+02
1388.83/1388.81	c Gap                : 0.00 %
1388.83/1388.81	s OPTIMUM FOUND
1388.83/1388.81	v x200 -x199 -x198 x197 x196 -x195 -x194 x193 x192 -x191 x190 -x189 -x188 x187 -x186 x185 x184 -x183 x182 -x181 x180 -x179 x178 -x177 
1388.83/1388.81	v x176 -x175 x174 -x173 x172 -x171 x170 -x169 x168 -x167 -x166 x165 x164 -x163 x162 -x161 x160 -x159 -x158 x157 -x156 x155 
1388.83/1388.81	v x154 -x153 x152 -x151 -x150 x149 x148 -x147 x146 -x145 x144 -x143 -x142 x141 x140 -x139 x138 -x137 x136 -x135 -x134 x133 x132 
1388.83/1388.81	v -x131 -x130 x129 -x128 x127 x126 -x125 x124 -x123 x122 -x121 -x120 x119 -x118 x117 -x116 x115 x114 -x113 x112 -x111 -x110 x109 
1388.83/1388.81	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 
1388.83/1388.81	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 
1388.83/1388.81	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 
1388.83/1388.81	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 
1388.83/1388.81	c SCIP Status        : problem is solved [optimal solution found]
1388.83/1388.81	c Solving Time       :    1352.73
1388.83/1388.81	c Original Problem   :
1388.83/1388.81	c   Problem name     : HOME/instance-2699973-1278533864.wbo
1388.83/1388.81	c   Variables        : 1900 (1050 binary, 0 integer, 0 implicit integer, 850 continuous)
1388.83/1388.81	c   Constraints      : 1801 initial, 1801 maximal
1388.83/1388.81	c Presolved Problem  :
1388.83/1388.81	c   Problem name     : t_HOME/instance-2699973-1278533864.wbo
1388.83/1388.81	c   Variables        : 1800 (950 binary, 0 integer, 0 implicit integer, 850 continuous)
1388.83/1388.81	c   Constraints      : 1700 initial, 9168 maximal
1388.83/1388.81	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1388.83/1388.81	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1388.83/1388.81	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1388.83/1388.81	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1388.83/1388.81	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1388.83/1388.81	c   implics          :       0.00          0          0          0          0          0          0          0          0
1388.83/1388.81	c   probing          :       0.01          0          0          0          0          0          0          0          0
1388.83/1388.81	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1388.83/1388.81	c   linear           :       0.02          0        100          0        850          0        101          0          0
1388.83/1388.81	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1388.83/1388.81	c   root node        :          -        766          -          -       1532          -          -          -          -
1388.83/1388.81	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1388.83/1388.81	c   integral         :          0          0          0    1752274          0          0        102          0          0      29062
1388.83/1388.81	c   indicator        :        850          0    3274138    1737648          0       2221   20809429          0          0          0
1388.83/1388.81	c   linear           :        850          6    3271487    1737559          0      21222    2138818     364122          0          0
1388.83/1388.81	c   logicor          :          0+         0    1301710          0          0       3536     821229          0          0          0
1388.83/1388.81	c   countsols        :          0          0          0    1567319          0          0          0          0          0          0
1388.83/1388.81	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1388.83/1388.81	c   integral         :       6.59       0.00       0.00       6.59       0.00
1388.83/1388.81	c   indicator        :     143.67       0.02      49.76      93.89       0.00
1388.83/1388.81	c   linear           :      74.14       0.00      35.92      38.22       0.00
1388.83/1388.81	c   logicor          :      23.68       0.00      23.68       0.00       0.00
1388.83/1388.81	c   countsols        :       0.44       0.00       0.00       0.44       0.00
1388.83/1388.81	c Propagators        :       Time      Calls    Cutoffs    DomReds
1388.83/1388.81	c   vbounds          :       0.80          2          0          0
1388.83/1388.81	c   rootredcost      :       0.80        183          0        766
1388.83/1388.81	c   pseudoobj        :      73.84    3355478      81532   16489246
1388.83/1388.81	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1388.83/1388.81	c   propagation      :       6.36     106290     105967     393365       26.5     177515        3.7          -
1388.83/1388.81	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1388.83/1388.81	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1388.83/1388.81	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1388.83/1388.81	c   pseudo solution  :       0.02        306        306       1662       28.2        759        4.0          -
1388.83/1388.81	c   applied globally :          -          -          -     490184       17.0          -          -          -
1388.83/1388.81	c   applied locally  :          -          -          -          0        0.0          -          -          -
1388.83/1388.81	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1388.83/1388.81	c   cut pool         :       0.00          4          -          -          5          -    (maximal pool size: 67)
1388.83/1388.81	c   redcost          :      65.28    1781481          0    3246649          0          0
1388.83/1388.81	c   impliedbounds    :       0.00          5          0          0          0          0
1388.83/1388.81	c   intobj           :       0.00          0          0          0          0          0
1388.83/1388.81	c   cgmip            :       0.00          0          0          0          0          0
1388.83/1388.81	c   gomory           :       0.01          5          0          0         69          0
1388.83/1388.81	c   strongcg         :       0.00          5          0          0          0          0
1388.83/1388.81	c   cmir             :       0.00          5          0          0          0          0
1388.83/1388.81	c   flowcover        :       0.03          5          0          0          0          0
1388.83/1388.81	c   clique           :       0.00          1          0          0          0          0
1388.83/1388.81	c   zerohalf         :       0.00          0          0          0          0          0
1388.83/1388.81	c   mcf              :       0.00          1          0          0          0          0
1388.83/1388.81	c   rapidlearning    :       0.00          0          0          0          0          0
1388.83/1388.81	c Pricers            :       Time      Calls       Vars
1388.83/1388.81	c   problem variables:       0.00          0          0
1388.83/1388.81	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1388.83/1388.81	c   relpscost        :       6.01      14618          0        102          0          0      29062
1388.83/1388.81	c   pscost           :       0.00          0          0          0          0          0          0
1388.83/1388.81	c   inference        :     112.71    1567136          0          0          0          0    3134272
1388.83/1388.81	c   mostinf          :       0.00          0          0          0          0          0          0
1388.83/1388.81	c   leastinf         :       0.00          0          0          0          0          0          0
1388.83/1388.81	c   fullstrong       :       0.00          0          0          0          0          0          0
1388.83/1388.81	c   allfullstrong    :       0.00          0          0          0          0          0          0
1388.83/1388.81	c   random           :       0.00          0          0          0          0          0          0
1388.83/1388.81	c Primal Heuristics  :       Time      Calls      Found
1388.83/1388.81	c   LP solutions     :       5.18          -        183
1388.83/1388.81	c   pseudo solutions :       0.00          -          0
1388.83/1388.81	c   feaspump         :       0.00          0          0
1388.83/1388.81	c   intshifting      :       0.01          2          0
1388.83/1388.81	c   oneopt           :       0.76        144          0
1388.83/1388.81	c   guideddiving     :       5.76      12031          0
1388.83/1388.81	c   veclendiving     :       5.89      12031          0
1388.83/1388.81	c   coefdiving       :       5.88      12032          0
1388.83/1388.81	c   pscostdiving     :       6.42      12032          0
1388.83/1388.81	c   fracdiving       :       5.86      12032          0
1388.83/1388.81	c   linesearchdiving :       5.68      12032          0
1388.83/1388.81	c   objpscostdiving  :       6.96      12031          0
1388.83/1388.81	c   rootsoldiving    :       6.44      12031          0
1388.83/1388.81	c   trivial          :       0.00          2          1
1388.83/1388.81	c   simplerounding   :       0.88      16501          0
1388.83/1388.81	c   zirounding       :       0.48       1000          0
1388.83/1388.81	c   rounding         :       0.42       1778          0
1388.83/1388.81	c   shifting         :       0.38        512          0
1388.83/1388.81	c   twoopt           :       0.00          0          0
1388.83/1388.81	c   fixandinfer      :       0.00          0          0
1388.83/1388.81	c   intdiving        :       0.00          0          0
1388.83/1388.81	c   actconsdiving    :       0.00          0          0
1388.83/1388.81	c   octane           :       0.00          0          0
1388.83/1388.81	c   rens             :       0.02          1          0
1388.83/1388.81	c   rins             :       0.00          0          0
1388.83/1388.81	c   localbranching   :       0.00          0          0
1388.83/1388.81	c   mutation         :       0.00          0          0
1388.83/1388.81	c   crossover        :       3.81        288          5
1388.83/1388.81	c   dins             :       0.00          0          0
1388.83/1388.81	c   undercover       :       0.00          0          0
1388.83/1388.81	c   nlp              :       0.37          0          0
1388.83/1388.81	c   trysol           :       0.79      13048         93
1388.83/1388.81	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1388.83/1388.81	c   primal LP        :       0.00          0          0       0.00          -
1388.83/1388.81	c   dual LP          :     494.89     457912    3551674       7.76    7176.69
1388.83/1388.81	c   lex dual LP      :       0.00          0          0       0.00          -
1388.83/1388.81	c   barrier LP       :       0.00          0          0       0.00          -
1388.83/1388.81	c   diving/probing LP:       0.18        150      10729      71.53   59605.56
1388.83/1388.81	c   strong branching :       5.81       7096      98348      13.86   16927.37
1388.83/1388.81	c     (at root node) :          -         33       4222     127.94          -
1388.83/1388.81	c   conflict analysis:       0.00          0          0       0.00          -
1388.83/1388.81	c B&B Tree           :
1388.83/1388.81	c   number of runs   :          1
1388.83/1388.81	c   nodes            :    1663157
1388.83/1388.81	c   nodes (total)    :    1663157
1388.83/1388.81	c   nodes left       :          0
1388.83/1388.81	c   max depth        :        669
1388.83/1388.81	c   max depth (total):        669
1388.83/1388.81	c   backtracks       :      47944 (2.9%)
1388.83/1388.81	c   delayed cutoffs  :     113574
1388.83/1388.81	c   repropagations   :     182023 (9598965 domain reductions, 27510 cutoffs)
1388.83/1388.81	c   avg switch length:       3.11
1388.83/1388.81	c   switching time   :      79.22
1388.83/1388.81	c Solution           :
1388.83/1388.81	c   Solutions found  :        282 (184 improvements)
1388.83/1388.81	c   First Solution   : +4.20925000000000e+05   (in run 1, after 1 nodes, 0.03 seconds, depth 0, found by <trivial>)
1388.83/1388.81	c   Primal Bound     : +1.01000000000000e+02   (in run 1, after 1662981 nodes, 1352.31 seconds, depth 15, found by <relaxation>)
1388.83/1388.81	c   Dual Bound       : +1.01000000000000e+02
1388.83/1388.81	c   Gap              :       0.00 %
1388.83/1388.81	c   Root Dual Bound  : +0.00000000000000e+00
1388.83/1388.81	c   Root Iterations  :        270
1388.83/1388.86	c Time complete: 1388.89.

Verifier Data 

OK	101

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699973-1278533864/watcher-2699973-1278533864 -o /tmp/evaluation-result-2699973-1278533864/solver-2699973-1278533864 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2699973-1278533864.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: 0.81 0.23 0.08 2/173 17306
/proc/meminfo: memFree=30757704/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=10844 CPUtime=0
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 1663 0 0 0 0 0 0 0 21 0 1 0 21598731 11104256 1584 4089446400 4194304 9819077 140736598364912 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17306/statm: 2711 1584 392 1374 0 1332 0

[startup+0.103398 s]
/proc/loadavg: 0.81 0.23 0.08 2/173 17306
/proc/meminfo: memFree=30757704/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=26032 CPUtime=0.1
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 6342 0 0 0 8 2 0 0 18 0 1 0 21598731 26656768 5080 4089446400 4194304 9819077 140736598364912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17306/statm: 6508 5080 673 1374 0 5129 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 26032

[startup+0.200378 s]
/proc/loadavg: 0.81 0.23 0.08 2/173 17306
/proc/meminfo: memFree=30757704/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=27340 CPUtime=0.19
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 10236 0 0 0 16 3 0 0 18 0 1 0 21598731 27996160 5183 4089446400 4194304 9819077 140736598364912 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17306/statm: 6835 5183 694 1374 0 5456 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27340

[startup+0.300356 s]
/proc/loadavg: 0.81 0.23 0.08 2/173 17306
/proc/meminfo: memFree=30757704/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=26168 CPUtime=0.29
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 11443 0 0 0 25 4 0 0 18 0 1 0 21598731 26796032 5163 4089446400 4194304 9819077 140736598364912 18446744073709551615 4561440 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17306/statm: 6542 5163 699 1374 0 5163 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26168

[startup+0.700296 s]
/proc/loadavg: 0.81 0.23 0.08 2/173 17306
/proc/meminfo: memFree=30757704/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=27376 CPUtime=0.69
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 17073 0 0 0 63 6 0 0 18 0 1 0 21598731 28033024 5187 4089446400 4194304 9819077 140736598364912 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17306/statm: 6844 5187 699 1374 0 5465 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27376

[startup+1.50108 s]
/proc/loadavg: 0.81 0.23 0.08 2/174 17307
/proc/meminfo: memFree=30738848/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=29660 CPUtime=1.49
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 30962 0 0 0 137 12 0 0 20 0 1 0 21598731 30371840 6288 4089446400 4194304 9819077 140736598364912 18446744073709551615 6519587 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17306/statm: 7415 6288 702 1374 0 6036 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29660

[startup+3.1008 s]
/proc/loadavg: 0.81 0.23 0.08 2/174 17353
/proc/meminfo: memFree=30732400/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=31340 CPUtime=3.09
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 34528 0 0 0 288 21 0 0 25 0 1 0 21598731 32092160 6674 4089446400 4194304 9819077 140736598364912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17306/statm: 7835 6674 702 1374 0 6456 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31340

[startup+6.30024 s]
/proc/loadavg: 0.99 0.28 0.09 3/179 17363
/proc/meminfo: memFree=30694548/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=39288 CPUtime=6.29
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 48808 0 0 0 591 38 0 0 25 0 1 0 21598731 40230912 8594 4089446400 4194304 9819077 140736598364912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17306/statm: 9822 8594 706 1374 0 8443 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39288

[startup+12.7011 s]
/proc/loadavg: 1.15 0.33 0.11 3/179 17364
/proc/meminfo: memFree=30663776/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=47628 CPUtime=12.69
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 69372 0 0 0 1195 74 0 0 25 0 1 0 21598731 48771072 10793 4089446400 4194304 9819077 140736598364912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17306/statm: 11907 10793 706 1374 0 10528 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47628

[startup+25.5007 s]
/proc/loadavg: 1.33 0.41 0.14 3/179 17391
/proc/meminfo: memFree=30654100/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=67136 CPUtime=25.49
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 103896 0 0 0 2421 128 0 0 25 0 1 0 21598731 68747264 15480 4089446400 4194304 9819077 140736598364912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17306/statm: 16784 15480 706 1374 0 15405 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 67136

[startup+51.101 s]
/proc/loadavg: 1.56 0.53 0.18 3/179 17465
/proc/meminfo: memFree=30629684/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=102712 CPUtime=51.1
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 185154 0 0 0 4917 193 0 0 25 0 1 0 21598731 105177088 23967 4089446400 4194304 9819077 140736598364912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17306/statm: 25678 23967 706 1374 0 24299 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 102712

[startup+102.301 s]
/proc/loadavg: 1.86 0.77 0.28 3/179 17469
/proc/meminfo: memFree=30514852/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=170936 CPUtime=102.3
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 369370 0 0 0 9901 329 0 0 25 0 1 0 21598731 175038464 41313 4089446400 4194304 9819077 140736598364912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17306/statm: 42734 41313 706 1374 0 41355 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 170936

[startup+162.3 s]
/proc/loadavg: 1.95 0.99 0.39 3/179 17471
/proc/meminfo: memFree=30400084/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=255540 CPUtime=162.29
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 573375 0 0 0 15741 488 0 0 25 0 1 0 21598731 261672960 61746 4089446400 4194304 9819077 140736598364912 18446744073709551615 6670352 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17306/statm: 63885 61746 706 1374 0 62506 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 255540

[startup+222.306 s]
/proc/loadavg: 1.98 1.17 0.48 3/179 17472
/proc/meminfo: memFree=30271656/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=337820 CPUtime=222.3
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 750801 0 0 0 21595 635 0 0 25 0 1 0 21598731 345927680 82638 4089446400 4194304 9819077 140736598364912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17306/statm: 84455 82638 706 1374 0 83076 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 337820

[startup+282.3 s]
/proc/loadavg: 2.06 1.34 0.58 3/179 17474
/proc/meminfo: memFree=30143644/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=421712 CPUtime=282.3
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 925349 0 0 0 27453 777 0 0 25 0 1 0 21598731 431833088 103941 4089446400 4194304 9819077 140736598364912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17306/statm: 105428 103941 706 1374 0 104049 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 421712

[startup+342.3 s]
/proc/loadavg: 2.02 1.46 0.67 3/179 17475
/proc/meminfo: memFree=30029884/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=509728 CPUtime=342.29
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 1103551 0 0 0 33308 921 0 0 25 0 1 0 21598731 521961472 124224 4089446400 4194304 9819077 140736598364912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17306/statm: 127432 124224 706 1374 0 126053 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 509728

[startup+402.3 s]
/proc/loadavg: 2.01 1.55 0.75 3/179 17477
/proc/meminfo: memFree=29910416/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=593400 CPUtime=402.3
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 1264475 0 0 0 39170 1060 0 0 25 0 1 0 21598731 607641600 145442 4089446400 4194304 9819077 140736598364912 18446744073709551615 4561040 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17306/statm: 148350 145442 706 1374 0 146971 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 593400

[startup+462.301 s]
/proc/loadavg: 2.08 1.65 0.83 3/179 17479
/proc/meminfo: memFree=29784512/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=675180 CPUtime=462.3
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 1444384 0 0 0 45020 1210 0 0 25 0 1 0 21598731 691384320 166259 4089446400 4194304 9819077 140736598364912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17306/statm: 168795 166259 706 1374 0 167416 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 675180

[startup+522.301 s]
/proc/loadavg: 2.03 1.71 0.90 3/179 17480
/proc/meminfo: memFree=29662564/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=761672 CPUtime=522.3
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 1603084 0 0 0 50871 1359 0 0 25 0 1 0 21598731 779952128 188220 4089446400 4194304 9819077 140736598364912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17306/statm: 190418 188220 706 1374 0 189039 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 761672

[startup+582.301 s]
/proc/loadavg: 2.01 1.76 0.97 3/179 17482
/proc/meminfo: memFree=29525588/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=846440 CPUtime=582.3
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 1739013 0 0 0 56733 1497 0 0 25 0 1 0 21598731 866754560 209748 4089446400 4194304 9819077 140736598364912 18446744073709551615 6590692 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17306/statm: 211610 209748 706 1374 0 210231 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 846440

[startup+642.301 s]
/proc/loadavg: 2.00 1.80 1.03 3/179 17483
/proc/meminfo: memFree=29395460/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=940588 CPUtime=642.31
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 1947398 0 0 0 62588 1643 0 0 25 0 1 0 21598731 963162112 233545 4089446400 4194304 9819077 140736598364912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17306/statm: 235147 233545 706 1374 0 233768 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 940588

[startup+702.301 s]

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

/proc/meminfo: memFree=29325348/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=975604 CPUtime=702.31
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 2201993 0 0 0 68437 1794 0 0 25 0 1 0 21598731 999018496 242178 4089446400 4194304 9819077 140736598364912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17306/statm: 243901 242178 706 1374 0 242522 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 975604

[startup+762.301 s]
/proc/loadavg: 2.00 1.86 1.14 3/179 17487
/proc/meminfo: memFree=29258448/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=1003420 CPUtime=762.32
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 2445217 0 0 0 74284 1948 0 0 25 0 1 0 21598731 1027502080 248439 4089446400 4194304 9819077 140736598364912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17306/statm: 250855 248439 706 1374 0 249476 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 1003420

[startup+822.301 s]
/proc/loadavg: 2.00 1.88 1.19 3/179 17488
/proc/meminfo: memFree=29197140/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=1036968 CPUtime=822.31
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 2702699 0 0 0 80127 2104 0 0 25 0 1 0 21598731 1061855232 255446 4089446400 4194304 9819077 140736598364912 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17306/statm: 259242 255448 706 1374 0 257863 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 1036968

[startup+882.307 s]
/proc/loadavg: 2.00 1.90 1.24 3/179 17490
/proc/meminfo: memFree=29136824/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=1064052 CPUtime=882.32
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 2939957 0 0 0 85977 2255 0 0 25 0 1 0 21598731 1089589248 260941 4089446400 4194304 9819077 140736598364912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17306/statm: 266013 260941 706 1374 0 264634 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 1064052

[startup+942.301 s]
/proc/loadavg: 2.00 1.92 1.28 3/179 17491
/proc/meminfo: memFree=29081356/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=1086988 CPUtime=942.32
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 3180580 0 0 0 91825 2407 0 0 25 0 1 0 21598731 1113075712 265906 4089446400 4194304 9819077 140736598364912 18446744073709551615 5955769 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17306/statm: 271747 265906 706 1374 0 270368 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 1086988

[startup+1002.3 s]
/proc/loadavg: 2.00 1.93 1.32 3/179 17493
/proc/meminfo: memFree=29028596/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=1113008 CPUtime=1002.33
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 3411544 0 0 0 97668 2565 0 0 25 0 1 0 21598731 1139720192 271235 4089446400 4194304 9819077 140736598364912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17306/statm: 278252 271235 706 1374 0 276873 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 1113008

[startup+1062.3 s]
/proc/loadavg: 2.04 1.95 1.37 3/179 17495
/proc/meminfo: memFree=28985148/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=1135324 CPUtime=1062.32
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 3664617 0 0 0 103509 2723 0 0 25 0 1 0 21598731 1162571776 275771 4089446400 4194304 9819077 140736598364912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17306/statm: 283831 275771 706 1374 0 282452 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1135324

[startup+1122.3 s]
/proc/loadavg: 2.01 1.96 1.41 3/179 17496
/proc/meminfo: memFree=28940084/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=1147496 CPUtime=1122.33
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 3949353 0 0 0 109352 2881 0 0 25 0 1 0 21598731 1175035904 278092 4089446400 4194304 9819077 140736598364912 18446744073709551615 4670079 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17306/statm: 286874 278092 706 1374 0 285495 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1147496

[startup+1182.3 s]
/proc/loadavg: 2.00 1.96 1.44 3/179 17498
/proc/meminfo: memFree=28902952/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=1156080 CPUtime=1182.33
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 4217261 0 0 0 115198 3035 0 0 25 0 1 0 21598731 1183825920 279920 4089446400 4194304 9819077 140736598364912 18446744073709551615 5957371 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17306/statm: 289020 279920 706 1374 0 287641 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1156080

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.47 3/179 17499
/proc/meminfo: memFree=28868436/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=1175984 CPUtime=1242.33
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 4467206 0 0 0 121034 3199 0 0 25 0 1 0 21598731 1204207616 283736 4089446400 4194304 9819077 140736598364912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17306/statm: 293996 283736 706 1374 0 292617 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1175984

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.50 3/179 17501
/proc/meminfo: memFree=28813432/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=1209992 CPUtime=1302.33
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 4779349 0 0 0 126863 3370 0 0 25 0 1 0 21598731 1239031808 290219 4089446400 4194304 9819077 140736598364912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17306/statm: 302498 290219 706 1374 0 301119 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1209992

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.53 3/179 17503
/proc/meminfo: memFree=28725332/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=1244384 CPUtime=1362.33
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 5090040 0 0 0 132704 3529 0 0 25 0 1 0 21598731 1274249216 296970 4089446400 4194304 9819077 140736598364912 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17306/statm: 311096 296970 706 1374 0 309717 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1244384

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

[startup+1369.61 s]
/proc/loadavg: 2.00 1.97 1.54 3/179 17503
/proc/meminfo: memFree=28723208/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=1245752 CPUtime=1369.64
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 5121443 0 0 0 133417 3547 0 0 25 0 1 0 21598731 1275650048 297471 4089446400 4194304 9819077 140736598364912 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17306/statm: 311438 297471 706 1374 0 310059 0
Current children cumulated CPU time (s) 1369.64
Current children cumulated vsize (KiB) 1245752

[startup+1382.4 s]
/proc/loadavg: 2.00 1.97 1.54 3/179 17503
/proc/meminfo: memFree=28722576/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=1245728 CPUtime=1382.43
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 5212487 0 0 0 134655 3588 0 0 25 0 1 0 21598731 1275625472 297493 4089446400 4194304 9819077 140736598364912 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17306/statm: 311432 297493 707 1374 0 310053 0
Current children cumulated CPU time (s) 1382.43
Current children cumulated vsize (KiB) 1245728

[startup+1385.6 s]
/proc/loadavg: 2.00 1.97 1.54 3/179 17503
/proc/meminfo: memFree=28723688/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=1244956 CPUtime=1385.63
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 5236765 0 0 0 134964 3599 0 0 25 0 1 0 21598731 1274834944 297297 4089446400 4194304 9819077 140736598364912 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17306/statm: 311239 297297 707 1374 0 309860 0
Current children cumulated CPU time (s) 1385.63
Current children cumulated vsize (KiB) 1244956

[startup+1387.21 s]
/proc/loadavg: 2.00 1.97 1.54 3/179 17503
/proc/meminfo: memFree=28727652/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=1240092 CPUtime=1387.24
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 5246944 0 0 0 135119 3605 0 0 25 0 1 0 21598731 1269854208 296082 4089446400 4194304 9819077 140736598364912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17306/statm: 310023 296082 707 1374 0 308644 0
Current children cumulated CPU time (s) 1387.24
Current children cumulated vsize (KiB) 1240092

[startup+1388 s]
/proc/loadavg: 2.00 1.97 1.54 3/179 17503
/proc/meminfo: memFree=28727652/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=1217268 CPUtime=1388.03
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 5250761 0 0 0 135196 3607 0 0 25 0 1 0 21598731 1246482432 290382 4089446400 4194304 9819077 140736598364912 18446744073709551615 7816372 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17306/statm: 304317 290382 707 1374 0 302938 0
Current children cumulated CPU time (s) 1388.03
Current children cumulated vsize (KiB) 1217268

[startup+1388.4 s]
/proc/loadavg: 2.00 1.97 1.55 3/179 17503
/proc/meminfo: memFree=28751336/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=1202912 CPUtime=1388.44
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 5253190 0 0 0 135235 3609 0 0 25 0 1 0 21598731 1231781888 286795 4089446400 4194304 9819077 140736598364912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17306/statm: 300728 286795 707 1374 0 299349 0
Current children cumulated CPU time (s) 1388.44
Current children cumulated vsize (KiB) 1202912

[startup+1388.8 s]
/proc/loadavg: 2.00 1.97 1.55 3/179 17503
/proc/meminfo: memFree=28751336/32951124 swapFree=67111528/67111528
[pid=17306] ppid=17304 vsize=961960 CPUtime=1388.83
/proc/17306/stat : 17306 (pbscip.linux.x8) R 17304 17306 16791 0 -1 4202496 5254941 0 0 0 135273 3610 0 0 25 0 1 0 21598731 985047040 226640 4089446400 4194304 9819077 140736598364912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17306/statm: 240490 226640 707 1374 0 239111 0
Current children cumulated CPU time (s) 1388.83
Current children cumulated vsize (KiB) 961960

Child status: 0
Real time (s): 1388.86
CPU time (s): 1388.9
CPU user time (s): 1352.76
CPU system time (s): 36.1395
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1254692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1352.76
system time used= 36.1395
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5254948
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= 4
involuntary context switches= 918

runsolver used 2.02069 second user time and 4.31334 second system time

The end

Launcher Data 

Begin job on node147 at 2010-07-07 22:17:45
IDJOB=2699973
IDBENCH=79389
IDSOLVER=1205
FILE ID=node147/2699973-1278533864
PBS_JOBID= 11239184
Free space on /tmp= 73828 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh14_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-2699973-1278533864/watcher-2699973-1278533864 -o /tmp/evaluation-result-2699973-1278533864/solver-2699973-1278533864 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2699973-1278533864.wbo -t 1800 -m 3800

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

MD5SUM BENCH= a9c1b78c2cafd61259a4392acdb09fa2
RANDOM SEED=374595457

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30758232 kB
Buffers:        131968 kB
Cached:        1861336 kB
SwapCached:          0 kB
Active:         854992 kB
Inactive:      1200340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30758232 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6492 kB
Writeback:           0 kB
AnonPages:       61912 kB
Mapped:          14420 kB
Slab:            73344 kB
PageTables:       4500 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   180324 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= 73820 MiB
End job on node147 at 2010-07-07 22:40:53