Trace number 1869480

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 NameAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)SAT (TO)15 1802.17 1802.8

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_2.opb
MD5SUM1d334f36842eecbe8db395477b7c6bcb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark1802.17
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 38
Optimality of the best value was proved NO
Number of variables198
Total number of constraints16
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint85
Maximum length of a constraint86
Number of terms in the objective function 128
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1943
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6340
Number of bits of the biggest sum of numbers13
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.01	c SCIP version 1.1.0.7
0.00/0.01	c LP-Solver SoPlex 1.4.1
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c read problem <HOME/instance-1869480-1245174109.opb>
0.00/0.01	c original problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 16 constraints
0.00/0.01	c start presolving problem
0.00/0.01	c presolving:
0.00/0.01	c (round 1) 0 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02	c (round 2) 8 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03	c    (0.0s) probing: 101/190 (53.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03	c    (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03	c presolving (3 rounds):
0.00/0.03	c  8 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03	c  0 implications, 0 cliques
0.00/0.03	c presolved problem has 190 variables (190 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.03	c       8 constraints of type <linear>
0.00/0.03	c transformed objective value is always integral (scale: 1)
0.00/0.03	c Presolving Time: 0.02
0.00/0.04	c OPT-LIN
0.00/0.04	c -----------------------------------------------------------------------------------------------
0.00/0.04	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04	c limits/memory = c 1620
0.00/0.04	c # maximal time in seconds to run
0.00/0.04	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04	c limits/time = c 1791
0.00/0.04	c # frequency for displaying node information lines
0.00/0.04	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04	c display/freq = c 10000
0.00/0.04	c -----------------------------------------------------------------------------------------------
0.00/0.04	c start solving problem
0.00/0.04	c 
0.00/0.04	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.04	c   0.0s|     1 |     0 |   133 | 611k|   0 |   8 | 190 |   8 |   8 | 190 |   8 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.06	c   0.0s|     1 |     0 |   204 | 728k|   0 |  11 | 190 |   8 |   8 | 190 |  15 |   7 |   0 |   0 | 1.818989e-12 |      --      |    Inf 
0.00/0.07	c   0.1s|     1 |     0 |   213 | 800k|   0 |  13 | 190 |   8 |   8 | 190 |  20 |  12 |   0 |   0 | 1.818989e-12 |      --      |    Inf 
0.00/0.10	c   0.1s|     1 |     0 |   223 | 850k|   0 |  16 | 190 |   8 |   8 | 190 |  22 |  14 |   0 |   0 | 1.818989e-12 |      --      |    Inf 
0.09/0.12	c   0.1s|     1 |     0 |   233 | 862k|   0 |  17 | 190 |   8 |   8 | 190 |  24 |  16 |   0 |   0 | 1.818989e-12 |      --      |    Inf 
0.09/0.15	c   0.1s|     1 |     0 |   236 | 868k|   0 |  19 | 190 |   8 |   8 | 190 |  25 |  17 |   0 |   0 | 1.818989e-12 |      --      |    Inf 
0.09/0.19	c   0.2s|     1 |     0 |   245 | 874k|   0 |  19 | 190 |   8 |   8 | 190 |  26 |  18 |   0 |   0 | 1.818989e-12 |      --      |    Inf 
0.19/0.26	c   0.2s|     1 |     2 |   245 | 874k|   0 |  19 | 190 |   8 |   8 | 190 |  26 |  18 |   0 |  19 | 1.818989e-12 |      --      |    Inf 
0.39/0.48	o 1045
0.39/0.48	c c 0.4s|    58 |    58 |   515 | 945k|  57 |   - | 190 |   8 |   3 | 190 |  19 |  18 |   0 | 390 | 1.818989e-12 | 1.045000e+03 |    Inf 
0.49/0.55	o 546
0.49/0.55	c p 0.5s|    90 |    77 |   647 | 958k|  62 |   - | 190 |   8 |   4 | 190 |  19 |  18 |   0 | 515 | 1.818989e-12 | 5.460000e+02 |    Inf 
0.79/0.85	o 545
0.79/0.85	c * 0.8s|   302 |   287 |  1963 |1073k|  62 |   - | 190 |   8 |   0 | 190 |  19 |  18 |   2 | 809 | 1.818989e-12 | 5.450000e+02 |    Inf 
0.89/0.96	o 543
0.89/0.96	c * 0.9s|   419 |   402 |  2653 |1145k|  62 |   - | 190 |   8 |   0 | 190 |  19 |  18 |   5 | 853 | 1.818989e-12 | 5.430000e+02 |    Inf 
1.79/1.81	o 482
1.79/1.81	c p 1.7s|  1148 |  1121 |  7797 |1457k|  62 |   - | 190 |   8 |   3 | 190 |  19 |  18 |  23 | 872 | 1.818989e-12 | 4.820000e+02 |    Inf 
2.99/3.03	o 281
2.99/3.03	c f 2.8s|  2541 |  2459 | 17890 |1967k|  66 |   - | 190 |   8 |   4 | 190 |  19 |  18 |  75 | 894 | 1.818989e-12 | 2.810000e+02 |    Inf 
3.89/3.94	o 172
3.89/3.94	c g 3.7s|  3499 |  3278 | 25168 |2309k|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 | 108 | 900 | 1.818989e-12 | 1.720000e+02 |    Inf 
7.79/7.86	o 171
7.79/7.86	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
7.79/7.86	c l 7.4s|  7119 |  6871 | 54281 |3835k|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 | 250 | 940 | 1.818989e-12 | 1.710000e+02 |    Inf 
9.69/9.73	o 169
9.69/9.73	c f 9.2s|  8723 |  8458 | 67886 |4538k|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 | 334 |1002 | 1.818989e-12 | 1.690000e+02 |    Inf 
9.69/9.74	o 167
9.69/9.74	c l 9.2s|  8723 |  8450 | 67887 |4540k|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 | 336 |1002 | 1.818989e-12 | 1.670000e+02 |    Inf 
11.09/11.17	c  10.5s| 10000 |  9727 | 78298 |5073k|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 | 388 |1044 | 1.818989e-12 | 1.670000e+02 |    Inf 
13.58/13.61	o 165
13.58/13.61	c l12.8s| 12374 | 12074 | 96482 |6102k|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 | 470 |1154 | 1.818989e-12 | 1.650000e+02 |    Inf 
17.79/17.83	o 163
17.79/17.83	c l16.8s| 17019 | 16672 |129129 |8166k|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 | 562 |1410 | 1.818989e-12 | 1.630000e+02 |    Inf 
18.58/18.65	o 88
18.58/18.65	c g17.6s| 17844 | 16583 |135339 |8079k|  66 |   - | 190 |   8 |   3 | 190 |  19 |  18 | 575 |1435 | 1.818989e-12 | 8.800000e+01 |    Inf 
20.78/20.85	c  19.7s| 20000 | 18511 |151050 |9069k|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 | 646 |1611 | 1.818989e-12 | 8.800000e+01 |    Inf 
29.48/29.57	c  27.9s| 30000 | 26919 |215982 |  13M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 | 933 |2228 | 1.818989e-12 | 8.800000e+01 |    Inf 
30.48/30.51	o 87
30.48/30.51	c *28.8s| 31025 | 27750 |222433 |  14M|  66 |   - | 190 |   9 |   0 | 190 |  19 |  18 | 971 |2309 | 1.818989e-12 | 8.700000e+01 |    Inf 
33.58/33.66	o 86
33.58/33.66	c *31.8s| 34682 | 30696 |245275 |  16M|  66 |   - | 190 |   9 |   0 | 190 |  19 |  18 |1088 |2504 | 1.818989e-12 | 8.600000e+01 |    Inf 
38.28/38.31	c  36.2s| 40000 | 35045 |280007 |  18M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |1246 |2765 | 1.818989e-12 | 8.600000e+01 |    Inf 
41.98/42.03	o 85
41.98/42.03	c l39.7s| 44423 | 38465 |307648 |  20M|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 |1393 |2993 | 1.818989e-12 | 8.500000e+01 |    Inf 
42.38/42.47	o 83
42.38/42.47	c *40.1s| 44853 | 38702 |310724 |  21M|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 |1408 |3028 | 1.818989e-12 | 8.300000e+01 |    Inf 
44.67/44.71	o 81
44.67/44.71	c *42.3s| 47303 | 40450 |327414 |  22M|  66 |   - | 190 |   9 |   0 | 190 |  19 |  18 |1498 |3134 | 1.818989e-12 | 8.100000e+01 |    Inf 
46.97/47.02	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
46.97/47.02	c  44.4s| 50000 | 42507 |344840 |  23M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |1588 |3228 | 1.818989e-12 | 8.100000e+01 |    Inf 
47.58/47.63	o 79
47.58/47.63	c *45.0s| 50717 | 42874 |349367 |  23M|  66 |   - | 190 |   9 |   0 | 190 |  19 |  18 |1606 |3249 | 1.818989e-12 | 7.900000e+01 |    Inf 
48.77/48.85	o 78
48.77/48.85	c c46.2s| 52052 | 43697 |358681 |  24M|  66 |   - | 190 |   9 |   1 | 190 |  19 |  18 |1676 |3325 | 1.818989e-12 | 7.800000e+01 |    Inf 
50.17/50.25	o 76
50.17/50.25	c *47.5s| 53345 | 44352 |368451 |  24M|  66 |   - | 190 |   9 |   0 | 190 |  19 |  18 |1733 |3395 | 1.818989e-12 | 7.600000e+01 |    Inf 
50.17/50.26	o 74
50.17/50.26	c *47.5s| 53346 | 44072 |368452 |  24M|  66 |   - | 190 |   9 |   0 | 190 |  19 |  18 |1733 |3397 | 1.818989e-12 | 7.400000e+01 |    Inf 
58.77/58.80	c  55.5s| 60000 | 48821 |412782 |  27M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |2023 |3651 | 1.818989e-12 | 7.400000e+01 |    Inf 
64.67/64.72	o 72
64.67/64.72	c *61.2s| 67125 | 53689 |456917 |  30M|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 |2273 |3902 | 1.818989e-12 | 7.200000e+01 |    Inf 
64.67/64.73	o 70
64.67/64.73	c *61.2s| 67127 | 53343 |456922 |  30M|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 |2273 |3911 | 1.818989e-12 | 7.000000e+01 |    Inf 
64.67/64.73	o 68
64.67/64.73	c *61.2s| 67129 | 52991 |456925 |  29M|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 |2273 |3915 | 1.818989e-12 | 6.800000e+01 |    Inf 
64.67/64.74	o 66
64.67/64.74	c *61.2s| 67130 | 52625 |456927 |  29M|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 |2273 |3915 | 1.818989e-12 | 6.600000e+01 |    Inf 
69.37/69.46	c  65.6s| 70000 | 54528 |474472 |  30M|  66 |   - | 190 |   8 |   8 |   0 |   0 |  18 |2375 |4003 | 1.818989e-12 | 6.600000e+01 |    Inf 
73.36/73.45	o 64
73.36/73.45	c *69.4s| 74858 | 57210 |504027 |  32M|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 |2495 |4178 | 1.818989e-12 | 6.400000e+01 |    Inf 
77.46/77.54	o 62
77.46/77.54	c *73.3s| 79723 | 60154 |536517 |  34M|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 |2666 |4355 | 1.818989e-12 | 6.200000e+01 |    Inf 
77.46/77.55	o 60
77.46/77.55	c *73.3s| 79724 | 59700 |536518 |  33M|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 |2666 |4355 | 1.818989e-12 | 6.000000e+01 |    Inf 
77.66/77.77	c  73.5s| 80000 | 59892 |538040 |  33M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |2675 |4367 | 1.818989e-12 | 6.000000e+01 |    Inf 
85.77/85.85	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
85.77/85.85	c  81.1s| 90000 | 67377 |601072 |  38M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |2950 |4671 | 1.818989e-12 | 6.000000e+01 |    Inf 
93.66/93.79	c  88.7s|100000 | 74831 |661856 |  42M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |3241 |4965 | 1.818989e-12 | 6.000000e+01 |    Inf 
101.76/101.86	c  96.3s|110000 | 81732 |725126 |  47M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |3610 |5252 | 1.818989e-12 | 6.000000e+01 |    Inf 
109.95/110.09	c   104s|120000 | 88247 |791121 |  52M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |3995 |5553 | 1.818989e-12 | 6.000000e+01 |    Inf 
118.35/118.40	c   112s|130000 | 95023 |857595 |  57M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |4356 |5810 | 1.818989e-12 | 6.000000e+01 |    Inf 
126.25/126.30	c   120s|140000 |102242 |919095 |  61M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |4684 |6049 | 1.818989e-12 | 6.000000e+01 |    Inf 
134.44/134.52	c   127s|150000 |109073 |983202 |  66M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |5038 |6271 | 1.818989e-12 | 6.000000e+01 |    Inf 
140.45/140.56	o 59
140.45/140.56	c p 133s|157523 |114259 |  1030k|  68M|  66 |   - | 190 |  13 |   0 | 190 |  19 |  18 |5262 |6443 | 1.818989e-12 | 5.900000e+01 |    Inf 
142.75/142.89	c   135s|160000 |115978 |  1048k|  70M|  66 |   8 | 190 |  13 |   8 | 190 |  19 |  18 |5390 |6490 | 1.818989e-12 | 5.900000e+01 |    Inf 
151.14/151.21	c   143s|170000 |122556 |  1113k|  74M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |5808 |6726 | 1.818989e-12 | 5.900000e+01 |    Inf 
159.54/159.62	c   151s|180000 |129071 |  1180k|  78M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |6265 |6930 | 1.818989e-12 | 5.900000e+01 |    Inf 
162.14/162.26	o 57
162.14/162.26	c * 154s|183315 |130271 |  1200k|  78M|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 |6359 |7007 | 1.818989e-12 | 5.700000e+01 |    Inf 
167.43/167.55	c   159s|190000 |134236 |  1241k|  81M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |6666 |7128 | 1.818989e-12 | 5.700000e+01 |    Inf 
169.13/169.22	o 55
169.13/169.22	c * 160s|191998 |134166 |  1254k|  80M|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 |6749 |7186 | 1.818989e-12 | 5.500000e+01 |    Inf 
169.13/169.24	o 53
169.13/169.24	c * 160s|192000 |132594 |  1254k|  78M|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 |6749 |7190 | 1.818989e-12 | 5.300000e+01 |    Inf 
169.13/169.25	o 51
169.13/169.25	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
169.13/169.25	c * 160s|192001 |130846 |  1254k|  76M|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 |6749 |7192 | 1.818989e-12 | 5.100000e+01 |    Inf 
172.93/173.01	o 49
172.93/173.01	c * 164s|196872 |131607 |  1283k|  76M|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 |6922 |7281 | 1.818989e-12 | 4.900000e+01 |    Inf 
178.73/178.82	o 47
178.73/178.82	c * 169s|199217 |130181 |  1298k|  75M|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 |7031 |7355 | 1.818989e-12 | 4.700000e+01 |    Inf 
179.34/179.45	c   170s|200000 |130639 |  1303k|  75M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |7058 |7366 | 1.818989e-12 | 4.700000e+01 |    Inf 
187.04/187.11	c   177s|210000 |135839 |  1362k|  79M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |7398 |7562 | 1.818989e-12 | 4.700000e+01 |    Inf 
196.93/197.07	o 45
196.93/197.07	c * 186s|219842 |139342 |  1421k|  81M|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 |7735 |7736 | 1.818989e-12 | 4.500000e+01 |    Inf 
196.93/197.08	o 43
196.93/197.08	c * 186s|219843 |137286 |  1421k|  79M|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 |7735 |7736 | 1.818989e-12 | 4.300000e+01 |    Inf 
197.02/197.18	c   187s|220000 |137349 |  1422k|  79M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |7740 |7748 | 1.818989e-12 | 4.300000e+01 |    Inf 
206.22/206.33	c   195s|230000 |142400 |  1481k|  83M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |8055 |7921 | 1.818989e-12 | 4.300000e+01 |    Inf 
213.72/213.88	c   202s|240000 |147309 |  1540k|  87M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |8342 |8133 | 1.818989e-12 | 4.300000e+01 |    Inf 
221.32/221.49	c   210s|250000 |152334 |  1598k|  90M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |8676 |8301 | 1.818989e-12 | 4.300000e+01 |    Inf 
228.72/228.83	c   217s|260000 |157066 |  1656k|  94M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |8967 |8458 | 1.818989e-12 | 4.300000e+01 |    Inf 
236.31/236.42	c   224s|270000 |162140 |  1714k|  98M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |9226 |8644 | 1.818989e-12 | 4.300000e+01 |    Inf 
243.51/243.68	c   231s|280000 |167031 |  1771k| 102M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |9500 |8789 | 1.818989e-12 | 4.300000e+01 |    Inf 
250.81/250.93	c   238s|290000 |171713 |  1828k| 106M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |9797 |8981 | 1.818989e-12 | 4.300000e+01 |    Inf 
258.61/258.72	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
258.61/258.72	c   245s|300000 |176916 |  1887k| 109M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  10k|9104 | 1.818989e-12 | 4.300000e+01 |    Inf 
265.90/266.04	c   252s|310000 |182135 |  1943k| 113M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  10k|9260 | 1.818989e-12 | 4.300000e+01 |    Inf 
273.20/273.38	c   259s|320000 |186850 |  2000k| 117M|  66 |   8 | 190 |  10 |   8 | 190 |  19 |  18 |  10k|9418 | 1.818989e-12 | 4.300000e+01 |    Inf 
280.69/280.90	c   266s|330000 |192049 |  2057k| 121M|  66 |   8 | 190 |  10 |   8 | 190 |  19 |  18 |  10k|9544 | 1.818989e-12 | 4.300000e+01 |    Inf 
288.30/288.46	c   273s|340000 |197272 |  2114k| 124M|  66 |   8 | 190 |  10 |   8 | 190 |  19 |  18 |  11k|9670 | 1.818989e-12 | 4.300000e+01 |    Inf 
295.59/295.75	c   280s|350000 |202149 |  2170k| 128M|  66 |   - | 190 |  11 |   8 | 190 |  19 |  18 |  11k|9824 | 1.818989e-12 | 4.300000e+01 |    Inf 
302.79/303.00	c   287s|360000 |206771 |  2226k| 132M|  66 |   - | 190 |  10 |   8 | 190 |  19 |  18 |  11k|9976 | 1.818989e-12 | 4.300000e+01 |    Inf 
303.28/303.48	o 41
303.28/303.48	c * 287s|360549 |204533 |  2229k| 129M|  66 |   - | 190 |  10 |   0 | 190 |  19 |  18 |  11k|9984 | 1.818989e-12 | 4.100000e+01 |    Inf 
314.09/314.29	c   297s|370000 |208770 |  2281k| 132M|  66 |   8 | 190 |  10 |   8 | 190 |  19 |  18 |  11k|  10k| 1.818989e-12 | 4.100000e+01 |    Inf 
321.58/321.74	c   305s|380000 |213665 |  2338k| 136M|  66 |   8 | 190 |  10 |   8 | 190 |  19 |  18 |  12k|  10k| 1.818989e-12 | 4.100000e+01 |    Inf 
328.47/328.66	c   311s|390000 |218197 |  2392k| 139M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  12k|  10k| 1.818989e-12 | 4.100000e+01 |    Inf 
335.87/336.00	c   318s|400000 |222879 |  2449k| 143M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  12k|  10k| 1.818989e-12 | 4.100000e+01 |    Inf 
343.28/343.42	c   325s|410000 |227729 |  2506k| 147M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  12k|  10k| 1.818989e-12 | 4.100000e+01 |    Inf 
350.57/350.74	c   332s|420000 |232564 |  2562k| 151M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  13k|  10k| 1.818989e-12 | 4.100000e+01 |    Inf 
358.17/358.33	c   339s|430000 |237952 |  2618k| 154M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  13k|  10k| 1.818989e-12 | 4.100000e+01 |    Inf 
365.17/365.39	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
365.17/365.39	c   346s|440000 |242383 |  2674k| 158M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  13k|  11k| 1.818989e-12 | 4.100000e+01 |    Inf 
365.47/365.62	o 40
365.47/365.62	c * 346s|440288 |241052 |  2676k| 156M|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 |  13k|  11k| 1.818989e-12 | 4.000000e+01 |    Inf 
365.76/365.92	o 38
365.76/365.92	c * 346s|440711 |237816 |  2678k| 152M|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 |  13k|  11k| 1.818989e-12 | 3.800000e+01 |    Inf 
369.47/369.63	o 36
369.47/369.63	c * 350s|445946 |236633 |  2706k| 150M|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 |  13k|  11k| 1.818989e-12 | 3.600000e+01 |    Inf 
369.47/369.65	o 34
369.47/369.65	c * 350s|445950 |232720 |  2706k| 146M|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 |  13k|  11k| 1.818989e-12 | 3.400000e+01 |    Inf 
369.47/369.70	o 32
369.47/369.70	c * 350s|445952 |220672 |  2706k| 136M|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 |  13k|  11k| 1.818989e-12 | 3.200000e+01 |    Inf 
369.57/369.72	o 30
369.57/369.72	c * 350s|445953 |216655 |  2706k| 132M|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 |  13k|  11k| 1.818989e-12 | 3.000000e+01 |    Inf 
373.87/374.08	c   354s|450000 |218282 |  2729k| 133M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  13k|  11k| 1.818989e-12 | 3.000000e+01 |    Inf 
380.86/381.01	c   361s|460000 |222440 |  2786k| 136M|  66 |   8 | 190 |  10 |   9 | 190 |  19 |  18 |  14k|  11k| 1.818989e-12 | 3.000000e+01 |    Inf 
387.46/387.67	c   367s|470000 |226241 |  2842k| 139M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  14k|  11k| 1.818989e-12 | 3.000000e+01 |    Inf 
390.26/390.49	o 29
390.26/390.49	c p 370s|474143 |225591 |  2865k| 138M|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 |  14k|  11k| 1.818989e-12 | 2.900000e+01 |    Inf 
394.55/394.71	c   374s|480000 |228291 |  2899k| 140M|  66 |   8 | 190 |  10 |   8 | 190 |  19 |  18 |  14k|  11k| 1.818989e-12 | 2.900000e+01 |    Inf 
403.16/403.36	c   382s|490000 |232668 |  2954k| 143M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  14k|  11k| 1.818989e-12 | 2.900000e+01 |    Inf 
409.65/409.89	c   388s|500000 |236294 |  3009k| 145M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  15k|  11k| 1.818989e-12 | 2.900000e+01 |    Inf 
416.95/417.14	c   395s|510000 |241243 |  3065k| 148M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  15k|  11k| 1.818989e-12 | 2.900000e+01 |    Inf 
423.85/424.05	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
423.85/424.05	c   401s|520000 |246115 |  3120k| 151M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  15k|  12k| 1.818989e-12 | 2.900000e+01 |    Inf 
430.05/430.25	o 28
430.05/430.25	c * 407s|529021 |247923 |  3171k| 151M|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 |  15k|  12k| 1.818989e-12 | 2.800000e+01 |    Inf 
430.05/430.28	o 26
430.05/430.28	c * 407s|529022 |242894 |  3171k| 146M|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 |  15k|  12k| 1.818989e-12 | 2.600000e+01 |    Inf 
430.74/430.94	c   408s|530000 |243270 |  3176k| 146M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  15k|  12k| 1.818989e-12 | 2.600000e+01 |    Inf 
441.74/441.96	c   418s|540000 |247412 |  3228k| 149M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  15k|  12k| 1.818989e-12 | 2.600000e+01 |    Inf 
448.54/448.71	c   425s|550000 |251473 |  3282k| 152M|  66 |   - | 190 |   9 |   8 | 190 |  19 |  18 |  16k|  12k| 1.818989e-12 | 2.600000e+01 |    Inf 
455.03/455.29	c   431s|560000 |255120 |  3335k| 154M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  16k|  12k| 1.818989e-12 | 2.600000e+01 |    Inf 
461.23/461.44	c   437s|570000 |258115 |  3386k| 157M|  66 |   - | 190 |   9 |   8 |   0 |   0 |  18 |  16k|  12k| 1.818989e-12 | 2.600000e+01 |    Inf 
467.53/467.73	c   442s|580000 |261297 |  3440k| 159M|  66 |   - | 190 |   9 |   8 | 190 |  19 |  18 |  16k|  12k| 1.818989e-12 | 2.600000e+01 |    Inf 
473.52/473.77	c   448s|590000 |263967 |  3490k| 162M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  16k|  12k| 1.818989e-12 | 2.600000e+01 |    Inf 
479.53/479.75	c   454s|600000 |266424 |  3541k| 164M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  17k|  12k| 1.818989e-12 | 2.600000e+01 |    Inf 
480.93/481.14	o 25
480.93/481.14	c * 455s|602307 |264277 |  3552k| 162M|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 |  17k|  13k| 1.818989e-12 | 2.500000e+01 |    Inf 
486.62/486.86	c   461s|610000 |266110 |  3590k| 163M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  17k|  13k| 1.818989e-12 | 2.500000e+01 |    Inf 
492.62/492.86	c   466s|620000 |268812 |  3639k| 166M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  17k|  13k| 1.818989e-12 | 2.500000e+01 |    Inf 
498.52/498.72	c   472s|630000 |271240 |  3687k| 168M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  17k|  13k| 1.818989e-12 | 2.500000e+01 |    Inf 
504.52/504.71	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
504.52/504.71	c   478s|640000 |273854 |  3738k| 170M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  17k|  13k| 1.818989e-12 | 2.500000e+01 |    Inf 
510.42/510.67	c   483s|650000 |276294 |  3787k| 172M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  17k|  13k| 1.818989e-12 | 2.500000e+01 |    Inf 
516.51/516.77	c   489s|660000 |278985 |  3837k| 174M|  66 |   - | 190 |   9 |   8 | 190 |  19 |  18 |  17k|  13k| 1.818989e-12 | 2.500000e+01 |    Inf 
522.61/522.81	c   495s|670000 |281487 |  3887k| 176M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  18k|  13k| 1.818989e-12 | 2.500000e+01 |    Inf 
528.70/528.90	c   500s|680000 |284279 |  3937k| 179M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  18k|  13k| 1.818989e-12 | 2.500000e+01 |    Inf 
534.71/534.92	c   506s|690000 |286781 |  3987k| 181M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  18k|  13k| 1.818989e-12 | 2.500000e+01 |    Inf 
540.61/540.85	c   512s|700000 |289005 |  4036k| 183M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  18k|  14k| 1.818989e-12 | 2.500000e+01 |    Inf 
546.51/546.78	c   517s|710000 |291496 |  4086k| 185M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  18k|  14k| 1.818989e-12 | 2.500000e+01 |    Inf 
552.50/552.72	c   523s|720000 |293765 |  4135k| 187M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  18k|  14k| 1.818989e-12 | 2.500000e+01 |    Inf 
558.40/558.69	c   529s|730000 |296238 |  4184k| 189M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  18k|  14k| 1.818989e-12 | 2.500000e+01 |    Inf 
564.40/564.70	c   534s|740000 |299027 |  4235k| 192M|  66 |   - | 190 |   8 |   8 |   0 |   0 |  18 |  19k|  14k| 1.818989e-12 | 2.500000e+01 |    Inf 
570.39/570.67	c   540s|750000 |301517 |  4284k| 194M|  66 |   - | 190 |   9 |   8 | 190 |  19 |  18 |  19k|  14k| 1.818989e-12 | 2.500000e+01 |    Inf 
576.39/576.69	c   546s|760000 |304205 |  4334k| 196M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  19k|  14k| 1.818989e-12 | 2.500000e+01 |    Inf 
582.29/582.56	c   551s|770000 |306581 |  4383k| 198M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  19k|  14k| 1.818989e-12 | 2.500000e+01 |    Inf 
588.18/588.42	c   557s|780000 |308908 |  4431k| 200M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  19k|  14k| 1.818989e-12 | 2.500000e+01 |    Inf 
594.38/594.69	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
594.38/594.69	c   563s|790000 |312202 |  4482k| 203M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  19k|  14k| 1.818989e-12 | 2.500000e+01 |    Inf 
600.48/600.73	c   569s|800000 |315258 |  4532k| 205M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  19k|  15k| 1.818989e-12 | 2.500000e+01 |    Inf 
606.49/606.70	c   574s|810000 |317548 |  4583k| 207M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  20k|  15k| 1.818989e-12 | 2.500000e+01 |    Inf 
612.28/612.59	c   580s|820000 |319939 |  4631k| 209M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  20k|  15k| 1.818989e-12 | 2.500000e+01 |    Inf 
618.68/618.96	c   586s|830000 |322789 |  4684k| 211M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  20k|  15k| 1.818989e-12 | 2.500000e+01 |    Inf 
624.58/624.89	c   591s|840000 |325186 |  4735k| 213M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  20k|  15k| 1.818989e-12 | 2.500000e+01 |    Inf 
630.47/630.79	c   597s|850000 |327385 |  4785k| 215M|  66 |   - | 190 |   8 |   8 |   0 |   0 |  18 |  20k|  15k| 1.818989e-12 | 2.500000e+01 |    Inf 
636.47/636.70	c   603s|860000 |329566 |  4834k| 217M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  20k|  15k| 1.818989e-12 | 2.500000e+01 |    Inf 
642.37/642.64	c   608s|870000 |331786 |  4884k| 220M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  20k|  15k| 1.818989e-12 | 2.500000e+01 |    Inf 
648.27/648.58	c   614s|880000 |333807 |  4935k| 222M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  20k|  15k| 1.818989e-12 | 2.500000e+01 |    Inf 
654.17/654.45	c   620s|890000 |335621 |  4984k| 223M|  66 |   8 | 190 |  10 |   8 | 190 |  19 |  18 |  21k|  15k| 1.818989e-12 | 2.500000e+01 |    Inf 
659.96/660.24	c   625s|900000 |337653 |  5032k| 225M|  66 |   - | 190 |   9 |   8 | 190 |  19 |  18 |  21k|  16k| 1.818989e-12 | 2.500000e+01 |    Inf 
665.76/666.00	c   630s|910000 |339762 |  5081k| 227M|  66 |   - | 190 |   9 |   8 |   0 |   0 |  18 |  21k|  16k| 1.818989e-12 | 2.500000e+01 |    Inf 
671.66/671.96	c   636s|920000 |342406 |  5131k| 229M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  21k|  16k| 1.818989e-12 | 2.500000e+01 |    Inf 
677.56/677.85	c   642s|930000 |344419 |  5180k| 231M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  21k|  16k| 1.818989e-12 | 2.500000e+01 |    Inf 
683.36/683.64	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
683.36/683.64	c   647s|940000 |346261 |  5231k| 233M|  66 |   8 | 190 |  10 |   8 | 190 |  19 |  18 |  21k|  16k| 1.818989e-12 | 2.500000e+01 |    Inf 
689.15/689.42	c   653s|950000 |348087 |  5280k| 235M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  21k|  16k| 1.818989e-12 | 2.500000e+01 |    Inf 
694.95/695.25	c   658s|960000 |349933 |  5329k| 237M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  21k|  16k| 1.818989e-12 | 2.500000e+01 |    Inf 
700.75/701.08	c   664s|970000 |351741 |  5378k| 239M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  21k|  16k| 1.818989e-12 | 2.500000e+01 |    Inf 
706.75/707.01	c   669s|980000 |354370 |  5427k| 241M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  22k|  16k| 1.818989e-12 | 2.500000e+01 |    Inf 
712.65/712.99	c   675s|990000 |356635 |  5479k| 243M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  22k|  16k| 1.818989e-12 | 2.500000e+01 |    Inf 
718.44/718.75	c   680s|  1000k|358192 |  5528k| 244M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  22k|  17k| 1.818989e-12 | 2.500000e+01 |    Inf 
724.24/724.52	c   686s|  1010k|359815 |  5576k| 246M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  22k|  17k| 1.818989e-12 | 2.500000e+01 |    Inf 
730.24/730.52	c   692s|  1020k|362435 |  5626k| 248M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  22k|  17k| 1.818989e-12 | 2.500000e+01 |    Inf 
736.23/736.51	c   697s|  1030k|364811 |  5677k| 250M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  22k|  17k| 1.818989e-12 | 2.500000e+01 |    Inf 
742.03/742.34	c   703s|  1040k|366532 |  5726k| 252M|  66 |   - | 190 |   8 |   9 |   0 |   0 |  18 |  22k|  17k| 1.818989e-12 | 2.500000e+01 |    Inf 
748.13/748.45	c   709s|  1050k|369062 |  5777k| 254M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  23k|  17k| 1.818989e-12 | 2.500000e+01 |    Inf 
754.63/755.00	c   715s|  1060k|372555 |  5829k| 257M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  23k|  17k| 1.818989e-12 | 2.500000e+01 |    Inf 
760.93/761.21	c   721s|  1070k|376153 |  5880k| 259M|  66 |   8 | 190 |  10 |   8 | 190 |  19 |  18 |  23k|  17k| 1.818989e-12 | 2.500000e+01 |    Inf 
768.03/768.35	c   727s|  1080k|380529 |  5935k| 262M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  23k|  17k| 1.818989e-12 | 2.500000e+01 |    Inf 
774.93/775.25	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
774.93/775.25	c   734s|  1090k|384704 |  5989k| 265M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  23k|  17k| 1.818989e-12 | 2.500000e+01 |    Inf 
781.62/781.99	c   740s|  1100k|388866 |  6042k| 267M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  23k|  17k| 1.818989e-12 | 2.500000e+01 |    Inf 
788.32/788.65	c   747s|  1110k|392590 |  6096k| 270M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  24k|  17k| 1.818989e-12 | 2.500000e+01 |    Inf 
795.22/795.50	c   753s|  1120k|396448 |  6150k| 273M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  24k|  18k| 1.818989e-12 | 2.500000e+01 |    Inf 
801.81/802.18	c   760s|  1130k|400516 |  6203k| 275M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  24k|  18k| 1.818989e-12 | 2.500000e+01 |    Inf 
808.51/808.89	c   766s|  1140k|404540 |  6257k| 278M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  24k|  18k| 1.818989e-12 | 2.500000e+01 |    Inf 
815.51/815.83	c   772s|  1150k|408874 |  6310k| 281M|  66 |   8 | 190 |  10 |   9 | 190 |  19 |  18 |  24k|  18k| 1.818989e-12 | 2.500000e+01 |    Inf 
821.81/822.18	c   778s|  1160k|412309 |  6362k| 283M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  25k|  18k| 1.818989e-12 | 2.500000e+01 |    Inf 
828.21/828.51	c   784s|  1170k|415689 |  6413k| 286M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  25k|  18k| 1.818989e-12 | 2.500000e+01 |    Inf 
834.61/835.00	c   791s|  1180k|419294 |  6465k| 288M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  25k|  18k| 1.818989e-12 | 2.500000e+01 |    Inf 
841.21/841.58	c   797s|  1190k|423099 |  6518k| 291M|  66 |   - | 190 |  10 |   8 | 190 |  19 |  18 |  25k|  18k| 1.818989e-12 | 2.500000e+01 |    Inf 
847.50/847.84	c   803s|  1200k|426408 |  6570k| 293M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  25k|  18k| 1.818989e-12 | 2.500000e+01 |    Inf 
853.90/854.22	c   809s|  1210k|429960 |  6621k| 296M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  25k|  18k| 1.818989e-12 | 2.500000e+01 |    Inf 
860.60/860.92	c   815s|  1220k|433801 |  6674k| 298M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  26k|  18k| 1.818989e-12 | 2.500000e+01 |    Inf 
866.60/866.97	c   821s|  1230k|436656 |  6724k| 300M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  26k|  18k| 1.818989e-12 | 2.500000e+01 |    Inf 
873.49/873.87	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
873.49/873.87	c   828s|  1240k|440577 |  6779k| 303M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  26k|  19k| 1.818989e-12 | 2.500000e+01 |    Inf 
880.18/880.54	c   834s|  1250k|444459 |  6832k| 306M|  66 |   - | 190 |   9 |   8 | 190 |  19 |  18 |  26k|  19k| 1.818989e-12 | 2.500000e+01 |    Inf 
887.18/887.53	c   841s|  1260k|448506 |  6889k| 308M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  26k|  19k| 1.818989e-12 | 2.500000e+01 |    Inf 
893.98/894.36	c   847s|  1270k|452262 |  6945k| 311M|  66 |   - | 190 |   8 |   7 |   0 |   0 |  18 |  26k|  19k| 1.818989e-12 | 2.500000e+01 |    Inf 
900.28/900.68	c   853s|  1280k|455588 |  6997k| 314M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  26k|  19k| 1.818989e-12 | 2.500000e+01 |    Inf 
906.57/906.94	c   859s|  1290k|458924 |  7049k| 316M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  27k|  19k| 1.818989e-12 | 2.500000e+01 |    Inf 
913.58/913.93	c   866s|  1300k|462756 |  7104k| 319M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  27k|  19k| 1.818989e-12 | 2.500000e+01 |    Inf 
920.48/920.89	c   872s|  1310k|467199 |  7159k| 322M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  27k|  19k| 1.818989e-12 | 2.500000e+01 |    Inf 
927.27/927.61	c   879s|  1320k|471548 |  7213k| 324M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  27k|  19k| 1.818989e-12 | 2.500000e+01 |    Inf 
933.77/934.17	c   885s|  1330k|475341 |  7266k| 327M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  27k|  19k| 1.818989e-12 | 2.500000e+01 |    Inf 
939.97/940.34	c   891s|  1340k|478372 |  7317k| 329M|  66 |   - | 190 |   9 |   9 |   0 |   0 |  18 |  27k|  19k| 1.818989e-12 | 2.500000e+01 |    Inf 
946.26/946.68	c   897s|  1350k|481851 |  7369k| 332M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  28k|  19k| 1.818989e-12 | 2.500000e+01 |    Inf 
952.76/953.12	c   903s|  1360k|485137 |  7421k| 334M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  28k|  19k| 1.818989e-12 | 2.500000e+01 |    Inf 
959.46/959.81	c   909s|  1370k|489332 |  7473k| 337M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  28k|  20k| 1.818989e-12 | 2.500000e+01 |    Inf 
965.56/965.94	c   915s|  1380k|492275 |  7524k| 339M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  28k|  20k| 1.818989e-12 | 2.500000e+01 |    Inf 
971.86/972.21	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
971.86/972.21	c   921s|  1390k|495514 |  7574k| 342M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  28k|  20k| 1.818989e-12 | 2.500000e+01 |    Inf 
978.25/978.62	c   927s|  1400k|498848 |  7627k| 344M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  28k|  20k| 1.818989e-12 | 2.500000e+01 |    Inf 
984.45/984.84	c   933s|  1410k|502149 |  7679k| 347M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  29k|  20k| 1.818989e-12 | 2.500000e+01 |    Inf 
990.45/990.89	c   939s|  1420k|504880 |  7729k| 349M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  29k|  20k| 1.818989e-12 | 2.500000e+01 |    Inf 
996.74/997.15	c   945s|  1430k|508109 |  7781k| 352M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  29k|  20k| 1.818989e-12 | 2.500000e+01 |    Inf 
1003.35/1003.70	c   951s|  1440k|511887 |  7835k| 354M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  29k|  20k| 1.818989e-12 | 2.500000e+01 |    Inf 
1009.85/1010.25	c   957s|  1450k|515521 |  7888k| 357M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  29k|  20k| 1.818989e-12 | 2.500000e+01 |    Inf 
1016.34/1016.72	c   963s|  1460k|519048 |  7940k| 359M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  29k|  20k| 1.818989e-12 | 2.500000e+01 |    Inf 
1022.54/1022.99	c   969s|  1470k|522385 |  7991k| 362M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  30k|  20k| 1.818989e-12 | 2.500000e+01 |    Inf 
1028.63/1029.03	c   975s|  1480k|525114 |  8041k| 364M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  30k|  20k| 1.818989e-12 | 2.500000e+01 |    Inf 
1034.74/1035.13	c   981s|  1490k|527862 |  8091k| 366M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  30k|  20k| 1.818989e-12 | 2.500000e+01 |    Inf 
1040.74/1041.12	c   986s|  1500k|530518 |  8141k| 368M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  30k|  21k| 1.818989e-12 | 2.500000e+01 |    Inf 
1046.73/1047.19	c   992s|  1510k|533539 |  8192k| 371M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  30k|  21k| 1.818989e-12 | 2.500000e+01 |    Inf 
1053.03/1053.44	c   998s|  1520k|536470 |  8243k| 373M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  30k|  21k| 1.818989e-12 | 2.500000e+01 |    Inf 
1058.93/1059.37	c  1004s|  1530k|539015 |  8294k| 375M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  30k|  21k| 1.818989e-12 | 2.500000e+01 |    Inf 
1065.02/1065.46	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1065.02/1065.46	c  1009s|  1540k|541866 |  8344k| 377M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  31k|  21k| 1.818989e-12 | 2.500000e+01 |    Inf 
1071.13/1071.50	c  1015s|  1550k|544639 |  8394k| 380M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  31k|  21k| 1.818989e-12 | 2.500000e+01 |    Inf 
1077.12/1077.56	c  1021s|  1560k|547256 |  8443k| 382M|  66 |   - | 190 |   9 |   8 | 190 |  19 |  18 |  31k|  21k| 1.818989e-12 | 2.500000e+01 |    Inf 
1083.22/1083.62	c  1027s|  1570k|550179 |  8493k| 384M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  31k|  21k| 1.818989e-12 | 2.500000e+01 |    Inf 
1089.22/1089.68	c  1032s|  1580k|552678 |  8545k| 386M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  31k|  21k| 1.818989e-12 | 2.500000e+01 |    Inf 
1095.32/1095.70	c  1038s|  1590k|555310 |  8595k| 388M|  66 |   8 | 190 |  10 |   8 | 190 |  19 |  18 |  31k|  21k| 1.818989e-12 | 2.500000e+01 |    Inf 
1101.31/1101.79	c  1044s|  1600k|558137 |  8645k| 390M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  32k|  21k| 1.818989e-12 | 2.500000e+01 |    Inf 
1107.21/1107.68	c  1049s|  1610k|560682 |  8695k| 393M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  32k|  21k| 1.818989e-12 | 2.500000e+01 |    Inf 
1113.51/1113.91	c  1055s|  1620k|563503 |  8746k| 395M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  32k|  21k| 1.818989e-12 | 2.500000e+01 |    Inf 
1119.51/1119.93	c  1061s|  1630k|566163 |  8797k| 397M|  66 |   - | 190 |   9 |   8 | 190 |  19 |  18 |  32k|  21k| 1.818989e-12 | 2.500000e+01 |    Inf 
1125.41/1125.89	c  1067s|  1640k|568582 |  8847k| 399M|  66 |   - | 190 |   8 |   8 |   0 |   0 |  18 |  32k|  22k| 1.818989e-12 | 2.500000e+01 |    Inf 
1131.51/1131.92	c  1072s|  1650k|571101 |  8898k| 401M|  66 |   - | 190 |   9 |   8 | 190 |  19 |  18 |  32k|  22k| 1.818989e-12 | 2.500000e+01 |    Inf 
1134.80/1135.27	o 23
1134.80/1135.27	c *1076s|  1655k|564903 |  8926k| 392M|  66 |   - | 190 |   9 |   0 | 190 |  19 |  18 |  32k|  22k| 1.818989e-12 | 2.300000e+01 |    Inf 
1134.91/1135.34	o 21
1134.91/1135.34	c *1076s|  1655k|555726 |  8926k| 380M|  66 |   - | 190 |   9 |   0 | 190 |  19 |  18 |  32k|  22k| 1.818989e-12 | 2.100000e+01 |    Inf 
1139.50/1139.99	c  1080s|  1660k|556791 |  8947k| 381M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  32k|  22k| 1.818989e-12 | 2.100000e+01 |    Inf 
1145.60/1146.05	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1145.60/1146.05	c  1086s|  1670k|559982 |  8995k| 383M|  66 |   - | 190 |   9 |   8 | 190 |  19 |  18 |  33k|  22k| 1.818989e-12 | 2.100000e+01 |    Inf 
1151.39/1151.81	c  1091s|  1680k|563109 |  9040k| 385M|  66 |   - | 190 |   9 |   9 |   0 |   0 |  18 |  33k|  22k| 1.818989e-12 | 2.100000e+01 |    Inf 
1157.08/1157.55	c  1097s|  1690k|565420 |  9087k| 387M|  66 |   - | 190 |   8 |   7 | 190 |  19 |  18 |  33k|  22k| 1.818989e-12 | 2.100000e+01 |    Inf 
1162.88/1163.37	c  1102s|  1700k|567494 |  9135k| 389M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  33k|  22k| 1.818989e-12 | 2.100000e+01 |    Inf 
1168.68/1169.14	c  1108s|  1710k|569727 |  9182k| 391M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  33k|  22k| 1.818989e-12 | 2.100000e+01 |    Inf 
1174.49/1174.90	c  1113s|  1720k|571738 |  9228k| 392M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  33k|  22k| 1.818989e-12 | 2.100000e+01 |    Inf 
1180.18/1180.67	c  1119s|  1730k|574116 |  9275k| 394M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  33k|  22k| 1.818989e-12 | 2.100000e+01 |    Inf 
1186.17/1186.61	c  1124s|  1740k|577056 |  9323k| 397M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  33k|  22k| 1.818989e-12 | 2.100000e+01 |    Inf 
1191.97/1192.45	c  1130s|  1750k|579213 |  9372k| 398M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  34k|  22k| 1.818989e-12 | 2.100000e+01 |    Inf 
1197.97/1198.45	c  1135s|  1760k|581960 |  9419k| 400M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  34k|  22k| 1.818989e-12 | 2.100000e+01 |    Inf 
1203.87/1204.33	c  1141s|  1770k|584609 |  9466k| 403M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  34k|  22k| 1.818989e-12 | 2.100000e+01 |    Inf 
1209.67/1210.19	c  1147s|  1780k|586718 |  9515k| 404M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  34k|  23k| 1.818989e-12 | 2.100000e+01 |    Inf 
1215.47/1215.95	c  1152s|  1790k|588592 |  9562k| 406M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  34k|  23k| 1.818989e-12 | 2.100000e+01 |    Inf 
1221.16/1221.64	c  1157s|  1800k|590674 |  9608k| 408M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  34k|  23k| 1.818989e-12 | 2.100000e+01 |    Inf 
1227.06/1227.52	c  1163s|  1810k|593578 |  9656k| 410M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  34k|  23k| 1.818989e-12 | 2.100000e+01 |    Inf 
1232.96/1233.43	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1232.96/1233.43	c  1169s|  1820k|596215 |  9702k| 412M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  35k|  23k| 1.818989e-12 | 2.100000e+01 |    Inf 
1238.86/1239.30	c  1174s|  1830k|598676 |  9750k| 414M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  35k|  23k| 1.818989e-12 | 2.100000e+01 |    Inf 
1244.55/1245.06	c  1180s|  1840k|600606 |  9797k| 416M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  35k|  23k| 1.818989e-12 | 2.100000e+01 |    Inf 
1250.36/1250.87	c  1185s|  1850k|602769 |  9844k| 418M|  66 |   8 | 190 |   9 |   9 | 190 |  19 |  18 |  35k|  23k| 1.818989e-12 | 2.100000e+01 |    Inf 
1256.25/1256.71	c  1191s|  1860k|604758 |  9893k| 420M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  35k|  23k| 1.818989e-12 | 2.100000e+01 |    Inf 
1261.95/1262.48	c  1196s|  1870k|606927 |  9940k| 421M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  35k|  23k| 1.818989e-12 | 2.100000e+01 |    Inf 
1267.65/1268.12	c  1202s|  1880k|608739 |  9987k| 423M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  35k|  23k| 1.818989e-12 | 2.100000e+01 |    Inf 
1273.45/1273.98	c  1207s|  1890k|610926 | 10035k| 425M|  66 |   8 | 190 |  10 |   8 | 190 |  19 |  18 |  35k|  23k| 1.818989e-12 | 2.100000e+01 |    Inf 
1279.24/1279.70	c  1212s|  1900k|612788 | 10083k| 427M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  36k|  23k| 1.818989e-12 | 2.100000e+01 |    Inf 
1285.04/1285.50	c  1218s|  1910k|615030 | 10132k| 429M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  36k|  23k| 1.818989e-12 | 2.100000e+01 |    Inf 
1290.74/1291.23	c  1223s|  1920k|616606 | 10179k| 430M|  66 |   - | 190 |   9 |   8 | 190 |  19 |  18 |  36k|  24k| 1.818989e-12 | 2.100000e+01 |    Inf 
1296.55/1297.07	c  1229s|  1930k|618554 | 10228k| 432M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  36k|  24k| 1.818989e-12 | 2.100000e+01 |    Inf 
1302.24/1302.80	c  1234s|  1940k|620379 | 10276k| 434M|  66 |   8 | 190 |   9 |   9 | 190 |  19 |  18 |  36k|  24k| 1.818989e-12 | 2.100000e+01 |    Inf 
1308.33/1308.80	c  1240s|  1950k|623156 | 10324k| 436M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  36k|  24k| 1.818989e-12 | 2.100000e+01 |    Inf 
1314.03/1314.58	c  1246s|  1960k|625297 | 10371k| 438M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  36k|  24k| 1.818989e-12 | 2.100000e+01 |    Inf 
1319.83/1320.37	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1319.83/1320.37	c  1251s|  1970k|627058 | 10419k| 439M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  36k|  24k| 1.818989e-12 | 2.100000e+01 |    Inf 
1325.43/1325.99	c  1256s|  1980k|628952 | 10466k| 441M|  66 |   - | 190 |   8 |   9 |   0 |   0 |  18 |  37k|  24k| 1.818989e-12 | 2.100000e+01 |    Inf 
1327.42/1327.97	o 19
1327.42/1327.97	c *1258s|  1983k|618134 | 10481k| 426M|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 |  37k|  24k| 1.818989e-12 | 1.900000e+01 |    Inf 
1327.52/1328.05	o 17
1327.52/1328.05	c *1258s|  1983k|603850 | 10481k| 408M|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 |  37k|  24k| 1.818989e-12 | 1.700000e+01 |    Inf 
1327.72/1328.21	o 15
1327.72/1328.21	c *1258s|  1983k|584240 | 10481k| 386M|  66 |   - | 190 |   8 |   0 | 190 |  19 |  18 |  37k|  24k| 1.818989e-12 | 1.500000e+01 |    Inf 
1331.53/1332.03	c  1262s|  1990k|585467 | 10513k| 387M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  37k|  24k| 1.818989e-12 | 1.500000e+01 |    Inf 
1337.13/1337.70	c  1267s|  2000k|587533 | 10560k| 388M|  66 |   - | 190 |   9 |   8 | 190 |  19 |  18 |  37k|  24k| 1.818989e-12 | 1.500000e+01 |    Inf 
1344.73/1345.21	c  1275s|  2010k|589217 | 10607k| 389M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  37k|  24k| 1.818989e-12 | 1.500000e+01 |    Inf 
1350.22/1350.77	c  1280s|  2020k|591026 | 10654k| 390M|  66 |   8 | 190 |  10 |   8 | 190 |  19 |  18 |  37k|  24k| 1.818989e-12 | 1.500000e+01 |    Inf 
1355.92/1356.41	c  1285s|  2030k|592944 | 10702k| 392M|  66 |   8 | 190 |  10 |   8 | 190 |  19 |  18 |  37k|  25k| 1.818989e-12 | 1.500000e+01 |    Inf 
1361.61/1362.14	c  1291s|  2040k|595190 | 10751k| 393M|  66 |   8 | 190 |  10 |   8 | 190 |  19 |  18 |  37k|  25k| 1.818989e-12 | 1.500000e+01 |    Inf 
1367.11/1367.68	c  1296s|  2050k|596823 | 10799k| 395M|  66 |   - | 190 |  11 |  10 | 190 |  19 |  18 |  37k|  25k| 1.818989e-12 | 1.500000e+01 |    Inf 
1372.72/1373.25	c  1301s|  2060k|598000 | 10846k| 396M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  37k|  25k| 1.818989e-12 | 1.500000e+01 |    Inf 
1378.31/1378.85	c  1306s|  2070k|599227 | 10894k| 397M|  66 |   - | 190 |   9 |   8 | 190 |  19 |  18 |  38k|  25k| 1.818989e-12 | 1.500000e+01 |    Inf 
1383.81/1384.32	c  1312s|  2080k|601034 | 10940k| 398M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  38k|  25k| 1.818989e-12 | 1.500000e+01 |    Inf 
1389.80/1390.34	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1389.80/1390.34	c  1317s|  2090k|604321 | 10988k| 400M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  38k|  25k| 1.818989e-12 | 1.500000e+01 |    Inf 
1395.61/1396.14	c  1323s|  2100k|607019 | 11036k| 401M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  38k|  25k| 1.818989e-12 | 1.500000e+01 |    Inf 
1401.30/1401.84	c  1328s|  2110k|609324 | 11083k| 403M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  38k|  25k| 1.818989e-12 | 1.500000e+01 |    Inf 
1406.90/1407.46	c  1334s|  2120k|611441 | 11130k| 404M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  38k|  25k| 1.818989e-12 | 1.500000e+01 |    Inf 
1412.60/1413.13	c  1339s|  2130k|613313 | 11176k| 406M|  66 |   - | 190 |   9 |   8 | 190 |  19 |  18 |  38k|  26k| 1.818989e-12 | 1.500000e+01 |    Inf 
1418.09/1418.66	c  1344s|  2140k|614981 | 11223k| 407M|  66 |   - | 190 |  10 |   8 | 190 |  19 |  18 |  38k|  26k| 1.818989e-12 | 1.500000e+01 |    Inf 
1423.59/1424.18	c  1349s|  2150k|616545 | 11269k| 408M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  39k|  26k| 1.818989e-12 | 1.500000e+01 |    Inf 
1429.19/1429.76	c  1355s|  2160k|618380 | 11315k| 410M|  66 |   - | 190 |   9 |   8 |   0 |   0 |  18 |  39k|  26k| 1.818989e-12 | 1.500000e+01 |    Inf 
1434.79/1435.33	c  1360s|  2170k|620236 | 11360k| 411M|  66 |   - | 190 |   9 |   8 | 190 |  19 |  18 |  39k|  26k| 1.818989e-12 | 1.500000e+01 |    Inf 
1440.19/1440.77	c  1365s|  2180k|621734 | 11406k| 412M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  39k|  26k| 1.818989e-12 | 1.500000e+01 |    Inf 
1445.69/1446.25	c  1370s|  2190k|623498 | 11452k| 413M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  39k|  26k| 1.818989e-12 | 1.500000e+01 |    Inf 
1451.28/1451.81	c  1376s|  2200k|624855 | 11499k| 414M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  39k|  26k| 1.818989e-12 | 1.500000e+01 |    Inf 
1456.99/1457.53	c  1381s|  2210k|626966 | 11545k| 416M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  39k|  26k| 1.818989e-12 | 1.500000e+01 |    Inf 
1462.69/1463.27	c  1386s|  2220k|629640 | 11593k| 417M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  39k|  26k| 1.818989e-12 | 1.500000e+01 |    Inf 
1468.18/1468.74	c  1392s|  2230k|631526 | 11640k| 419M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  39k|  26k| 1.818989e-12 | 1.500000e+01 |    Inf 
1473.78/1474.30	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1473.78/1474.30	c  1397s|  2240k|633513 | 11686k| 420M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  39k|  26k| 1.818989e-12 | 1.500000e+01 |    Inf 
1479.17/1479.79	c  1402s|  2250k|635537 | 11731k| 421M|  66 |   - | 190 |   9 |   8 | 190 |  19 |  18 |  40k|  26k| 1.818989e-12 | 1.500000e+01 |    Inf 
1484.87/1485.46	c  1408s|  2260k|637446 | 11780k| 423M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  40k|  26k| 1.818989e-12 | 1.500000e+01 |    Inf 
1490.38/1490.94	c  1413s|  2270k|639212 | 11825k| 424M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  40k|  27k| 1.818989e-12 | 1.500000e+01 |    Inf 
1496.07/1496.63	c  1418s|  2280k|640755 | 11873k| 425M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  40k|  27k| 1.818989e-12 | 1.500000e+01 |    Inf 
1501.57/1502.13	c  1423s|  2290k|642413 | 11922k| 427M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  40k|  27k| 1.818989e-12 | 1.500000e+01 |    Inf 
1507.07/1507.64	c  1429s|  2300k|643519 | 11972k| 428M|  66 |   - | 190 |   8 |   9 |   0 |   0 |  18 |  40k|  27k| 1.818989e-12 | 1.500000e+01 |    Inf 
1512.56/1513.16	c  1434s|  2310k|644465 | 12020k| 429M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  40k|  27k| 1.818989e-12 | 1.500000e+01 |    Inf 
1518.06/1518.65	c  1439s|  2320k|645446 | 12066k| 430M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  40k|  27k| 1.818989e-12 | 1.500000e+01 |    Inf 
1523.46/1524.09	c  1444s|  2330k|646704 | 12112k| 431M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  40k|  27k| 1.818989e-12 | 1.500000e+01 |    Inf 
1529.06/1529.66	c  1449s|  2340k|647781 | 12160k| 431M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  41k|  27k| 1.818989e-12 | 1.500000e+01 |    Inf 
1534.55/1535.13	c  1455s|  2350k|648648 | 12208k| 432M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  41k|  27k| 1.818989e-12 | 1.500000e+01 |    Inf 
1539.95/1540.54	c  1460s|  2360k|649711 | 12254k| 433M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  41k|  27k| 1.818989e-12 | 1.500000e+01 |    Inf 
1545.55/1546.12	c  1465s|  2370k|651900 | 12301k| 435M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  41k|  27k| 1.818989e-12 | 1.500000e+01 |    Inf 
1551.05/1551.61	c  1470s|  2380k|653011 | 12348k| 436M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  41k|  27k| 1.818989e-12 | 1.500000e+01 |    Inf 
1556.55/1557.12	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1556.55/1557.12	c  1476s|  2390k|654263 | 12394k| 437M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  41k|  27k| 1.818989e-12 | 1.500000e+01 |    Inf 
1561.95/1562.60	c  1481s|  2400k|656082 | 12440k| 438M|  66 |   8 | 190 |  10 |   8 | 190 |  19 |  18 |  41k|  27k| 1.818989e-12 | 1.500000e+01 |    Inf 
1567.44/1568.01	c  1486s|  2410k|657583 | 12485k| 439M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  41k|  27k| 1.818989e-12 | 1.500000e+01 |    Inf 
1572.94/1573.57	c  1491s|  2420k|659012 | 12531k| 440M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  41k|  27k| 1.818989e-12 | 1.500000e+01 |    Inf 
1578.54/1579.12	c  1496s|  2430k|660892 | 12577k| 442M|  66 |   - | 190 |   9 |   8 | 190 |  19 |  18 |  42k|  27k| 1.818989e-12 | 1.500000e+01 |    Inf 
1584.04/1584.66	c  1502s|  2440k|662643 | 12622k| 443M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  42k|  28k| 1.818989e-12 | 1.500000e+01 |    Inf 
1589.64/1590.27	c  1507s|  2450k|664646 | 12669k| 444M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  42k|  28k| 1.818989e-12 | 1.500000e+01 |    Inf 
1595.34/1595.98	c  1512s|  2460k|666082 | 12718k| 446M|  66 |   - | 190 |   8 |   8 |   0 |   0 |  18 |  42k|  28k| 1.818989e-12 | 1.500000e+01 |    Inf 
1600.94/1601.50	c  1518s|  2470k|667053 | 12764k| 447M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  42k|  28k| 1.818989e-12 | 1.500000e+01 |    Inf 
1606.33/1606.94	c  1523s|  2480k|668195 | 12810k| 448M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  42k|  28k| 1.818989e-12 | 1.500000e+01 |    Inf 
1611.93/1612.57	c  1528s|  2490k|669982 | 12857k| 449M|  66 |   - | 190 |   9 |   8 |   0 |   0 |  18 |  42k|  28k| 1.818989e-12 | 1.500000e+01 |    Inf 
1617.63/1618.28	c  1533s|  2500k|673001 | 12902k| 450M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  42k|  28k| 1.818989e-12 | 1.500000e+01 |    Inf 
1623.33/1623.96	c  1539s|  2510k|675768 | 12948k| 452M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  42k|  28k| 1.818989e-12 | 1.500000e+01 |    Inf 
1628.83/1629.47	c  1544s|  2520k|678136 | 12993k| 454M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  43k|  28k| 1.818989e-12 | 1.500000e+01 |    Inf 
1634.43/1635.04	c  1549s|  2530k|680234 | 13037k| 455M|  66 |   8 | 190 |  11 |   8 | 190 |  19 |  18 |  43k|  28k| 1.818989e-12 | 1.500000e+01 |    Inf 
1640.12/1640.77	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1640.12/1640.77	c  1555s|  2540k|683073 | 13084k| 457M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  43k|  28k| 1.818989e-12 | 1.500000e+01 |    Inf 
1645.82/1646.43	c  1560s|  2550k|685618 | 13131k| 458M|  66 |   - | 190 |   9 |   8 | 190 |  19 |  18 |  43k|  28k| 1.818989e-12 | 1.500000e+01 |    Inf 
1651.31/1651.98	c  1565s|  2560k|687537 | 13176k| 460M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  43k|  28k| 1.818989e-12 | 1.500000e+01 |    Inf 
1657.02/1657.62	c  1571s|  2570k|689883 | 13221k| 461M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  43k|  28k| 1.818989e-12 | 1.500000e+01 |    Inf 
1662.51/1663.19	c  1576s|  2580k|691737 | 13268k| 462M|  66 |   - | 190 |  12 |  11 | 190 |  19 |  18 |  43k|  28k| 1.818989e-12 | 1.500000e+01 |    Inf 
1668.01/1668.68	c  1581s|  2590k|694065 | 13313k| 464M|  66 |   8 | 190 |  10 |   8 | 190 |  19 |  18 |  43k|  28k| 1.818989e-12 | 1.500000e+01 |    Inf 
1673.41/1674.08	c  1586s|  2600k|696171 | 13357k| 465M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  44k|  28k| 1.818989e-12 | 1.500000e+01 |    Inf 
1678.91/1679.59	c  1592s|  2610k|698205 | 13401k| 467M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  44k|  28k| 1.818989e-12 | 1.500000e+01 |    Inf 
1684.31/1684.97	c  1597s|  2620k|699938 | 13445k| 468M|  66 |   - | 190 |   8 |   8 |   0 |   0 |  18 |  44k|  29k| 1.818989e-12 | 1.500000e+01 |    Inf 
1689.70/1690.38	c  1602s|  2630k|701609 | 13488k| 469M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  44k|  29k| 1.818989e-12 | 1.500000e+01 |    Inf 
1695.20/1695.87	c  1607s|  2640k|703245 | 13532k| 470M|  66 |   - | 190 |   9 |   8 | 190 |  19 |  18 |  44k|  29k| 1.818989e-12 | 1.500000e+01 |    Inf 
1700.59/1701.25	c  1612s|  2650k|704976 | 13575k| 471M|  66 |   - | 190 |   9 |   8 |   0 |   0 |  18 |  44k|  29k| 1.818989e-12 | 1.500000e+01 |    Inf 
1706.10/1706.75	c  1617s|  2660k|706722 | 13620k| 473M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  44k|  29k| 1.818989e-12 | 1.500000e+01 |    Inf 
1711.60/1712.26	c  1623s|  2670k|708256 | 13664k| 474M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  44k|  29k| 1.818989e-12 | 1.500000e+01 |    Inf 
1717.09/1717.77	c  1628s|  2680k|710393 | 13710k| 475M|  66 |   - | 190 |   9 |   8 | 190 |  19 |  18 |  44k|  29k| 1.818989e-12 | 1.500000e+01 |    Inf 
1722.59/1723.20	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1722.59/1723.20	c  1633s|  2690k|711927 | 13755k| 476M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  45k|  29k| 1.818989e-12 | 1.500000e+01 |    Inf 
1728.09/1728.70	c  1638s|  2700k|713189 | 13802k| 478M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  45k|  29k| 1.818989e-12 | 1.500000e+01 |    Inf 
1733.59/1734.22	c  1643s|  2710k|714825 | 13847k| 479M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  45k|  29k| 1.818989e-12 | 1.500000e+01 |    Inf 
1739.09/1739.73	c  1649s|  2720k|716531 | 13891k| 480M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  45k|  29k| 1.818989e-12 | 1.500000e+01 |    Inf 
1744.49/1745.12	c  1654s|  2730k|717751 | 13934k| 481M|  66 |   - | 190 |   8 |   8 | 190 |  19 |  18 |  45k|  29k| 1.818989e-12 | 1.500000e+01 |    Inf 
1749.88/1750.56	c  1659s|  2740k|719364 | 13978k| 482M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  45k|  29k| 1.818989e-12 | 1.500000e+01 |    Inf 
1755.68/1756.33	c  1664s|  2750k|721993 | 14023k| 484M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  45k|  29k| 1.818989e-12 | 1.500000e+01 |    Inf 
1761.17/1761.81	c  1670s|  2760k|724250 | 14066k| 485M|  66 |   8 | 190 |  11 |   8 | 190 |  19 |  18 |  45k|  29k| 1.818989e-12 | 1.500000e+01 |    Inf 
1766.78/1767.42	c  1675s|  2770k|726181 | 14113k| 487M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  46k|  29k| 1.818989e-12 | 1.500000e+01 |    Inf 
1772.38/1773.03	c  1680s|  2780k|727761 | 14159k| 488M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  46k|  29k| 1.818989e-12 | 1.500000e+01 |    Inf 
1777.78/1778.48	c  1685s|  2790k|729484 | 14203k| 489M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  46k|  29k| 1.818989e-12 | 1.500000e+01 |    Inf 
1783.27/1783.92	c  1690s|  2800k|730863 | 14248k| 490M|  66 |   8 | 190 |   8 |   8 | 190 |  19 |  18 |  46k|  29k| 1.818989e-12 | 1.500000e+01 |    Inf 
1788.67/1789.36	c  1696s|  2810k|732275 | 14292k| 491M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  46k|  29k| 1.818989e-12 | 1.500000e+01 |    Inf 
1794.07/1794.76	c  1701s|  2820k|733585 | 14335k| 492M|  66 |   8 | 190 |   9 |   8 | 190 |  19 |  18 |  46k|  29k| 1.818989e-12 | 1.500000e+01 |    Inf 
1799.46/1800.18	c  1706s|  2830k|734941 | 14380k| 493M|  66 |   - | 190 |   8 |   8 |   0 |   0 |  18 |  46k|  30k| 1.818989e-12 | 1.500000e+01 |    Inf 
1800.07/1800.71	c 
1800.07/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.71	c Solving Time (sec) : 1706.42
1800.07/1800.71	c Solving Nodes      : 2830968
1800.07/1800.71	c Primal Bound       : +1.50000000000000e+01 (57 solutions)
1800.07/1800.71	c Dual Bound         : +1.81898940354586e-12
1800.07/1800.71	c Gap                : infinite
1800.07/1800.71	c NODE         2830968
1800.07/1800.71	c DUAL BOUND   1.81899e-12
1800.07/1800.71	c PRIMAL BOUND 15
1800.07/1800.71	c GAP          1e+20
1800.07/1800.71	s SATISFIABLE
1800.07/1800.71	v x198 -x197 -x196 -x195 x194 x193 x192 x191 x190 x189 -x188 x187 x186 -x185 x184 -x183 x182 -x181 -x180 -x179 x178 x177 -x176 x175 
1800.07/1800.71	v -x174 x173 x172 -x171 x170 -x169 x168 x167 x166 -x165 x164 -x163 x162 -x161 -x160 -x159 x158 -x157 x156 x155 -x154 -x153 -x152 
1800.07/1800.71	v x151 x150 -x149 -x148 x147 x146 -x145 x144 -x143 x142 -x141 x140 -x139 x138 -x137 -x136 -x135 x134 x133 -x132 -x131 -x130 
1800.07/1800.71	v -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 
1800.07/1800.71	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 
1800.07/1800.71	v -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 
1800.07/1800.71	v -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 
1800.07/1800.71	v -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 
1800.07/1800.71	v x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1800.07/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.71	c Solving Time       :    1706.42
1800.07/1800.71	c Original Problem   :
1800.07/1800.71	c   Problem name     : HOME/instance-1869480-1245174109.opb
1800.07/1800.71	c   Variables        : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.71	c   Constraints      : 16 initial, 16 maximal
1800.07/1800.71	c Presolved Problem  :
1800.07/1800.71	c   Problem name     : t_HOME/instance-1869480-1245174109.opb
1800.07/1800.71	c   Variables        : 190 (190 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.71	c   Constraints      : 8 initial, 16 maximal
1800.07/1800.71	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.07/1800.71	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.71	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.71	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.71	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.71	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.71	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.07/1800.71	c   linear           :       0.00          0          8          0          0          0          8          0          0
1800.07/1800.71	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.71	c   root node        :          -         64          -          -         64          -          -          -          -
1800.07/1800.71	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.71	c   integral         :          0          0          0    1854380          0         75       6079          0          0    3697020
1800.07/1800.71	c   linear           :          8          6    4656488          0          0     255427    1840602         11          0          0
1800.07/1800.71	c   logicor          :          0+         0      94994          0          0       2038      11676          0          0          0
1800.07/1800.71	c   countsols        :          0          0          0         39          0          0          0          0          0          0
1800.07/1800.71	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.07/1800.71	c   integral         :      30.15       0.00       0.00      30.15       0.00
1800.07/1800.71	c   linear           :     437.52       0.00     437.52       0.00       0.00
1800.07/1800.71	c   logicor          :       0.35       0.00       0.35       0.00       0.00
1800.07/1800.71	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.07/1800.71	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.07/1800.71	c   rootredcost      :       1.65         54          0         64
1800.07/1800.71	c   pseudoobj        :      46.11    4666418      10043      25881
1800.07/1800.71	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.07/1800.71	c   propagation      :      23.88     265470      44919      54358       71.8          0        0.0          -
1800.07/1800.71	c   infeasible LP    :       0.22       3444       3366       3464       37.8          0        0.0          0
1800.07/1800.71	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.71	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.71	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.07/1800.71	c   applied globally :          -          -          -        536       28.5          -          -          -
1800.07/1800.71	c   applied locally  :          -          -          -      46254       70.7          -          -          -
1800.07/1800.71	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.07/1800.71	c   cut pool         :       0.00          5          -          -          6          -    (maximal pool size: 55)
1800.07/1800.71	c   redcost          :      62.38    2702987          0   16872477          0          0
1800.07/1800.71	c   impliedbounds    :       0.00          6          0          0          0          0
1800.07/1800.71	c   intobj           :       0.00          0          0          0          0          0
1800.07/1800.71	c   gomory           :       0.01          6          0          0          0          0
1800.07/1800.71	c   strongcg         :       0.04          6          0          0         23          0
1800.07/1800.71	c   cmir             :       0.02          6          0          0         10          0
1800.07/1800.71	c   flowcover        :       0.07          6          0          0         13          0
1800.07/1800.71	c   clique           :       0.00          1          0          0          0          0
1800.07/1800.71	c   zerohalf         :       0.00          0          0          0          0          0
1800.07/1800.71	c   mcf              :       0.00          1          0          0          0          0
1800.07/1800.71	c Pricers            :       Time      Calls       Vars
1800.07/1800.71	c   problem variables:       0.00          0          0
1800.07/1800.71	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.71	c   relpscost        :      27.98    1854341         75       6079          0          0    3697020
1800.07/1800.71	c   pscost           :       0.00          0          0          0          0          0          0
1800.07/1800.71	c   inference        :       0.00          0          0          0          0          0          0
1800.07/1800.71	c   mostinf          :       0.00          0          0          0          0          0          0
1800.07/1800.71	c   leastinf         :       0.00          0          0          0          0          0          0
1800.07/1800.71	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.07/1800.71	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.07/1800.71	c   random           :       0.00          0          0          0          0          0          0
1800.07/1800.71	c Primal Heuristics  :       Time      Calls      Found
1800.07/1800.71	c   LP solutions     :       0.79          -         39
1800.07/1800.71	c   pseudo solutions :       0.00          -          0
1800.07/1800.71	c   intshifting      :       0.05          0          0
1800.07/1800.71	c   oneopt           :       1.37         53          0
1800.07/1800.71	c   crossover        :      28.82         17          0
1800.07/1800.71	c   rootsoldiving    :       5.75        597          2
1800.07/1800.71	c   coefdiving       :      45.52       6232          2
1800.07/1800.71	c   linesearchdiving :      22.55       6232          5
1800.07/1800.71	c   pscostdiving     :      33.93       6232          4
1800.07/1800.71	c   fracdiving       :      33.23       6232          2
1800.07/1800.71	c   guideddiving     :      24.20       6232          2
1800.07/1800.71	c   veclendiving     :      22.38       6232          0
1800.07/1800.71	c   objpscostdiving  :       7.59       3117          1
1800.07/1800.71	c   simplerounding   :       1.18          0          0
1800.07/1800.71	c   rounding         :       2.35      19762          0
1800.07/1800.71	c   shifting         :       7.28       6244          0
1800.07/1800.71	c   fixandinfer      :       0.00          0          0
1800.07/1800.71	c   feaspump         :       0.10          1          0
1800.07/1800.71	c   intdiving        :       0.00          0          0
1800.07/1800.71	c   actconsdiving    :       0.00          0          0
1800.07/1800.71	c   octane           :       0.00          0          0
1800.07/1800.71	c   rens             :       0.02          1          0
1800.07/1800.71	c   rins             :       0.00          0          0
1800.07/1800.71	c   localbranching   :       0.00          0          0
1800.07/1800.71	c   mutation         :       0.00          0          0
1800.07/1800.71	c   dins             :       0.00          0          0
1800.07/1800.71	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.07/1800.71	c   primal LP        :       0.00          0          0       0.00          -
1800.07/1800.71	c   dual LP          :     650.99    2693657   12923614       4.80   19852.25
1800.07/1800.71	c   barrier LP       :       0.00          0          0       0.00          -
1800.07/1800.71	c   diving/probing LP:      99.84     721903    1461107       2.02   14634.49
1800.07/1800.71	c   strong branching :       8.51      30041     105176       3.50   12359.11
1800.07/1800.71	c     (at root node) :          -         19        545      28.68          -
1800.07/1800.71	c   conflict analysis:       0.00          0          0       0.00          -
1800.07/1800.71	c B&B Tree           :
1800.07/1800.71	c   number of runs   :          1
1800.07/1800.71	c   nodes            :    2830968
1800.07/1800.71	c   nodes (total)    :    2830968
1800.07/1800.71	c   nodes left       :     735048
1800.07/1800.71	c   max depth        :         66
1800.07/1800.71	c   max depth (total):         66
1800.07/1800.71	c   backtracks       :     466987 (16.5%)
1800.07/1800.71	c   delayed cutoffs  :       5580
1800.07/1800.71	c   repropagations   :      12620 (41390 domain reductions, 5580 cutoffs)
1800.07/1800.71	c   avg switch length:       5.84
1800.07/1800.71	c   switching time   :      97.33
1800.07/1800.71	c Solution           :
1800.07/1800.71	c   Solutions found  :         57 (54 improvements)
1800.07/1800.71	c   Primal Bound     : +1.50000000000000e+01   (in run 1, after 1983239 nodes, 1258.31 seconds, depth 56, found by <relaxation>)
1800.07/1800.71	c   Dual Bound       : +1.81898940354586e-12
1800.07/1800.71	c   Gap              :   infinite
1800.07/1800.71	c   Root Dual Bound  : +1.81898940354586e-12

Verifier Data 

OK	15

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869480-1245174109/watcher-1869480-1245174109 -o /tmp/evaluation-result-1869480-1245174109/solver-1869480-1245174109 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869480-1245174109.opb 

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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 3842
/proc/meminfo: memFree=1841792/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=4648 CPUtime=0
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 500 0 0 0 0 0 0 0 18 0 1 0 185011816 4759552 484 1992294400 4194304 7823515 548682068736 18446744073709551615 6109072 0 0 4096 0 0 0 0 17 1 0 0
/proc/3842/statm: 1082 485 320 886 0 192 0

[startup+0.103461 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 3842
/proc/meminfo: memFree=1841792/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=13176 CPUtime=0.09
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 2869 0 0 0 8 1 0 0 18 0 1 0 185011816 13492224 2497 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 3294 2497 551 886 0 2404 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13176

[startup+0.201479 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 3842
/proc/meminfo: memFree=1841792/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=18652 CPUtime=0.19
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 4186 0 0 0 18 1 0 0 18 0 1 0 185011816 19099648 3813 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 4663 3815 551 886 0 3773 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18652

[startup+0.301498 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 3842
/proc/meminfo: memFree=1841792/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=16144 CPUtime=0.29
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 4608 0 0 0 27 2 0 0 19 0 1 0 185011816 16531456 3267 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 4036 3267 565 886 0 3146 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16144

[startup+0.701575 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 3842
/proc/meminfo: memFree=1841792/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=16144 CPUtime=0.69
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 4612 0 0 0 65 4 0 0 22 0 1 0 185011816 16531456 3271 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 4036 3271 569 886 0 3146 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16144

[startup+1.50173 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 3843
/proc/meminfo: memFree=1830712/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=21776 CPUtime=1.49
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 5723 0 0 0 140 9 0 0 25 0 1 0 185011816 22298624 4382 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 5444 4382 571 886 0 4554 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21776

[startup+3.10104 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 3843
/proc/meminfo: memFree=1832568/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=14692 CPUtime=3.09
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 5896 0 0 0 290 19 0 0 25 0 1 0 185011816 15044608 2926 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 3673 2926 571 886 0 2783 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14692

[startup+6.30165 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 3843
/proc/meminfo: memFree=1830272/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=16116 CPUtime=6.29
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 8268 0 0 0 592 37 0 0 25 0 1 0 185011816 16502784 3316 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 4029 3316 571 886 0 3139 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16116

[startup+12.7029 s]
/proc/loadavg: 0.88 0.97 0.99 2/65 3843
/proc/meminfo: memFree=1827968/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=18760 CPUtime=12.69
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 13556 0 0 0 1198 71 0 0 25 0 1 0 185011816 19210240 3981 1992294400 4194304 7823515 548682068736 18446744073709551615 6036306 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 4690 3981 571 886 0 3800 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18760

[startup+25.5013 s]
/proc/loadavg: 0.90 0.97 0.99 2/65 3843
/proc/meminfo: memFree=1820800/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=25772 CPUtime=25.49
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 21255 0 0 0 2409 140 0 0 25 0 1 0 185011816 26390528 5769 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 6443 5769 571 886 0 5553 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25772

[startup+51.1012 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 3843
/proc/meminfo: memFree=1804608/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=41600 CPUtime=51.07
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 38985 0 0 0 4831 276 0 0 25 0 1 0 185011816 42598400 9841 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 10400 9841 571 886 0 9510 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 41600

[startup+102.301 s]
/proc/loadavg: 0.97 0.97 0.99 2/65 3843
/proc/meminfo: memFree=1778432/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=68704 CPUtime=102.26
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 58137 0 0 0 9674 552 0 0 25 0 1 0 185011816 70352896 16328 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 17176 16328 571 886 0 16286 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 68704

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3843
/proc/meminfo: memFree=1739840/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=107076 CPUtime=162.24
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 71760 0 0 0 15373 851 0 0 25 0 1 0 185011816 109645824 26088 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 26769 26088 571 886 0 25879 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 107076

[startup+222.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3843
/proc/meminfo: memFree=1728000/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=118032 CPUtime=222.22
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 89471 0 0 0 21029 1193 0 0 25 0 1 0 185011816 120864768 28899 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 29508 28899 571 886 0 28618 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 118032

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3843
/proc/meminfo: memFree=1694336/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=151076 CPUtime=282.19
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 99753 0 0 0 26726 1493 0 0 25 0 1 0 185011816 154701824 37245 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 37769 37245 571 886 0 36879 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 151076

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3843
/proc/meminfo: memFree=1669312/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=180516 CPUtime=342.18
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 111567 0 0 0 32405 1813 0 0 25 0 1 0 185011816 184848384 43708 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 45129 43708 571 886 0 44239 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 180516

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3843
/proc/meminfo: memFree=1657216/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=191172 CPUtime=402.16
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 126919 0 0 0 38061 2155 0 0 25 0 1 0 185011816 195760128 46466 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 47793 46466 573 886 0 46903 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 191172

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3843
/proc/meminfo: memFree=1647680/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=200908 CPUtime=462.13
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 137614 0 0 0 43739 2474 0 0 25 0 1 0 185011816 205729792 48932 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 50227 48932 574 886 0 49337 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 200908

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3843
/proc/meminfo: memFree=1633472/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=214540 CPUtime=522.11
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 145391 0 0 0 49423 2788 0 0 25 0 1 0 185011816 219688960 52429 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 53635 52429 574 886 0 52745 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 214540

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3843
/proc/meminfo: memFree=1615616/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=231816 CPUtime=582.09
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 149841 0 0 0 55109 3100 0 0 25 0 1 0 185011816 237379584 56879 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 57954 56879 574 886 0 57064 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 231816

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3845
/proc/meminfo: memFree=1593536/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=253900 CPUtime=642.06
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 156072 0 0 0 60797 3409 0 0 25 0 1 0 185011816 259993600 62465 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 63475 62465 574 886 0 62585 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 253900

[startup+702.301 s]

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

/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 197233 0 0 0 100644 5548 0 0 25 0 1 0 185011816 428351488 102335 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 104578 102335 574 886 0 103688 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 418312

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3845
/proc/meminfo: memFree=1413504/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=437212 CPUtime=1121.91
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 202062 0 0 0 106332 5859 0 0 25 0 1 0 185011816 447705088 107164 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 109303 107164 574 886 0 108413 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 437212

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3851
/proc/meminfo: memFree=1402496/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=447920 CPUtime=1181.88
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 210009 0 0 0 112012 6176 0 0 25 0 1 0 185011816 458670080 109872 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 111980 109872 574 886 0 111090 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 447920

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3851
/proc/meminfo: memFree=1386496/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=463476 CPUtime=1241.86
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 214639 0 0 0 117702 6484 0 0 25 0 1 0 185011816 474599424 113858 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 115869 113858 574 886 0 114979 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 463476

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3851
/proc/meminfo: memFree=1369728/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=479684 CPUtime=1301.83
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 219414 0 0 0 123385 6798 0 0 25 0 1 0 185011816 491196416 117990 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 119921 117990 574 886 0 119031 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 479684

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3851
/proc/meminfo: memFree=1363392/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=485624 CPUtime=1361.81
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 226840 0 0 0 129074 7107 0 0 25 0 1 0 185011816 497278976 119538 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 121406 119538 574 886 0 120516 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 485624

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3851
/proc/meminfo: memFree=1363136/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=485996 CPUtime=1421.8
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 227553 0 0 0 134763 7417 0 0 25 0 1 0 185011816 497659904 119607 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 121499 119607 574 886 0 120609 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 485996

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3851
/proc/meminfo: memFree=1353792/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=495024 CPUtime=1481.77
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 230510 0 0 0 140451 7726 0 0 25 0 1 0 185011816 506904576 121920 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 123756 121920 574 886 0 122866 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 495024

[startup+1542.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3851
/proc/meminfo: memFree=1345600/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=503088 CPUtime=1541.76
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 232550 0 0 0 146145 8031 0 0 25 0 1 0 185011816 515162112 123960 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 125772 123960 574 886 0 124882 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 503088

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3851
/proc/meminfo: memFree=1336576/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=511796 CPUtime=1601.74
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 235438 0 0 0 151825 8349 0 0 25 0 1 0 185011816 524079104 126203 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 127949 126203 574 886 0 127059 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 511796

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3851
/proc/meminfo: memFree=1324800/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=523140 CPUtime=1661.72
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 238368 0 0 0 157519 8653 0 0 25 0 1 0 185011816 535695360 129133 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 130785 129133 574 886 0 129895 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 523140

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3851
/proc/meminfo: memFree=1314496/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=533124 CPUtime=1721.7
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 240976 0 0 0 163206 8964 0 0 25 0 1 0 185011816 545918976 131741 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 133281 131741 574 886 0 132391 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 533124

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3851
/proc/meminfo: memFree=1300160/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=546892 CPUtime=1781.67
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 244460 0 0 0 168896 9271 0 0 25 0 1 0 185011816 560017408 135225 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 136723 135225 574 886 0 135833 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 546892



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3851
/proc/meminfo: memFree=1296832/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=550156 CPUtime=1800.07
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 245936 0 0 0 170642 9365 0 0 25 0 1 0 185011816 563359744 136056 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 137539 136056 574 886 0 136649 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 550156

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -3842

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

[startup+1801.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3851
/proc/meminfo: memFree=1296832/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=550156 CPUtime=1800.86
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 245938 0 0 0 170721 9365 0 0 25 0 1 0 185011816 563359744 136058 1992294400 4194304 7823515 548682068736 18446744073709551615 4744276 0 0 4096 0 0 0 0 17 1 0 0
/proc/3842/statm: 137539 136058 576 886 0 136649 0
Current children cumulated CPU time (s) 1800.86
Current children cumulated vsize (KiB) 550156

[startup+1802.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 3852
/proc/meminfo: memFree=1296824/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=550156 CPUtime=1801.66
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 245938 0 0 0 170801 9365 0 0 25 0 1 0 185011816 563359744 136058 1992294400 4194304 7823515 548682068736 18446744073709551615 5875265 0 0 4096 0 0 0 0 17 1 0 0
/proc/3842/statm: 137539 136058 576 886 0 136649 0
Current children cumulated CPU time (s) 1801.66
Current children cumulated vsize (KiB) 550156

[startup+1802.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 3852
/proc/meminfo: memFree=1296824/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=550156 CPUtime=1802.06
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 245938 0 0 0 170841 9365 0 0 25 0 1 0 185011816 563359744 136058 1992294400 4194304 7823515 548682068736 18446744073709551615 4745004 0 0 4096 0 0 0 0 17 1 0 0
/proc/3842/statm: 137539 136058 576 886 0 136649 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 550156

[startup+1802.8 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 3852
/proc/meminfo: memFree=1296824/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=0 CPUtime=1802.16
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4195332 245938 0 0 0 170842 9374 0 0 25 0 1 0 185011816 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/3842/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.16
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.8
CPU time (s): 1802.17
CPU user time (s): 1708.43
CPU system time (s): 93.7477
CPU usage (%): 99.9652
Max. virtual memory (cumulated for all children) (KiB): 550156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1708.43
system time used= 93.7477
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245938
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= 2
involuntary context switches= 1925

runsolver used 1.23081 second user time and 3.85641 second system time

The end

Launcher Data 

Begin job on node5 at 2009-06-16 19:41:49
IDJOB=1869480
IDBENCH=2895
IDSOLVER=683
FILE ID=node5/1869480-1245174109
PBS_JOBID= 9363916
Free space on /tmp= 66256 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869480-1245174109/watcher-1869480-1245174109 -o /tmp/evaluation-result-1869480-1245174109/solver-1869480-1245174109 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869480-1245174109.opb

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

MD5SUM BENCH= 1d334f36842eecbe8db395477b7c6bcb
RANDOM SEED=1395879126

node5.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1842208 kB
Buffers:         45208 kB
Cached:          88944 kB
SwapCached:       3684 kB
Active:          54080 kB
Inactive:        87852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1842208 kB
SwapTotal:     4192956 kB
SwapFree:      4183064 kB
Dirty:            9980 kB
Writeback:           0 kB
Mapped:          14456 kB
Slab:            57776 kB
Committed_AS:   152156 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66248 MiB
End job on node5 at 2009-06-16 20:11:52