Trace number 1869524

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)? (TO) 1802.22 1802.73

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_4.opb
MD5SUMdc0116cc9dd2d87e5a6934d46be3ef43
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables61
Total number of constraints15
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint1
Maximum length of a constraint60
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1531
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4594
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

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-1869524-1245176467.opb>
0.00/0.01	c original problem has 61 variables (61 bin, 0 int, 0 impl, 0 cont) and 15 constraints
0.00/0.01	c start presolving problem
0.00/0.01	c presolving:
0.00/0.01	c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01	c (round 2) 1 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 presolving (3 rounds):
0.00/0.02	c  1 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02	c  0 implications, 0 cliques
0.00/0.02	c presolved problem has 60 variables (60 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.02	c       7 constraints of type <linear>
0.00/0.02	c transformed objective value is always integral (scale: 1)
0.00/0.02	c Presolving Time: 0.01
0.00/0.02	c OPT-LIN
0.00/0.02	c -----------------------------------------------------------------------------------------------
0.00/0.02	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02	c limits/memory = c 1620
0.00/0.02	c # maximal time in seconds to run
0.00/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02	c limits/time = c 1791
0.00/0.02	c # frequency for displaying node information lines
0.00/0.02	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02	c display/freq = c 10000
0.00/0.02	c -----------------------------------------------------------------------------------------------
0.00/0.02	c start solving problem
0.00/0.02	c 
0.00/0.02	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.02	c   0.0s|     1 |     0 |    40 | 299k|   0 |   7 |  60 |   7 |   7 |  60 |   7 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.03	c   0.0s|     1 |     0 |   142 | 339k|   0 |  11 |  60 |   7 |   7 |  60 |  13 |   6 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.05	c   0.0s|     1 |     0 |   151 | 365k|   0 |  12 |  60 |   7 |   7 |  60 |  16 |   9 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.06	c   0.1s|     1 |     0 |   158 | 384k|   0 |  15 |  60 |   7 |   7 |  60 |  19 |  12 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.07	c   0.1s|     1 |     0 |   167 | 402k|   0 |  16 |  60 |   7 |   7 |  60 |  21 |  14 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.08/0.09	c   0.1s|     1 |     0 |   171 | 416k|   0 |  18 |  60 |   7 |   7 |  60 |  23 |  16 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.10	c   0.1s|     1 |     0 |   182 | 424k|   0 |  17 |  60 |   7 |   7 |  60 |  25 |  18 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.16	c   0.1s|     1 |     2 |   182 | 425k|   0 |  17 |  60 |   7 |   7 |  60 |  25 |  18 |   0 |  17 | 0.000000e+00 |      --      |    Inf 
4.59/4.62	c   4.3s| 10000 |  3532 | 29877 |3897k|  51 |   7 |  60 |2802 | 175 |  60 |  17 |  18 |4504 | 733 | 0.000000e+00 |      --      |    Inf 
8.99/9.04	c   8.4s| 20000 |  6677 | 59060 |5863k|  51 |   7 |  60 |1791 | 602 |  60 |  17 |  18 |9287 | 991 | 0.000000e+00 |      --      |    Inf 
13.20/13.28	c  12.3s| 30000 |  9786 | 88473 |8115k|  52 |   7 |  60 |1942 | 101 |  60 |  17 |  18 |  14k|1170 | 0.000000e+00 |      --      |    Inf 
17.38/17.50	c  16.3s| 40000 | 12888 |117980 |  10M|  52 |   7 |  60 |2088 | 190 |  60 |  17 |  18 |  18k|1320 | 0.000000e+00 |      --      |    Inf 
21.68/21.71	c  20.2s| 50000 | 15928 |146600 |  12M|  52 |   7 |  60 |1881 | 165 |  60 |  17 |  18 |  23k|1445 | 0.000000e+00 |      --      |    Inf 
25.88/25.95	c  24.1s| 60000 | 18938 |175746 |  14M|  52 |   7 |  60 |1901 |  67 |  60 |  17 |  18 |  28k|1561 | 0.000000e+00 |      --      |    Inf 
30.09/30.17	c  28.1s| 70000 | 22001 |204701 |  16M|  52 |   7 |  60 |2102 | 236 |  60 |  17 |  18 |  33k|1652 | 0.000000e+00 |      --      |    Inf 
34.38/34.45	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
34.38/34.45	c  32.1s| 80000 | 24928 |233203 |  18M|  52 |   7 |  60 |2205 | 118 |  60 |  17 |  18 |  38k|1744 | 0.000000e+00 |      --      |    Inf 
38.67/38.78	c  36.2s| 90000 | 27677 |261815 |  21M|  52 |   - |  60 |2262 |  35 |   0 |   0 |  18 |  43k|1817 | 0.000000e+00 |      --      |    Inf 
43.07/43.10	c  40.2s|100000 | 30434 |290602 |  23M|  53 |   - |  60 |2429 |  38 |  60 |  17 |  18 |  48k|1896 | 0.000000e+00 |      --      |    Inf 
47.27/47.31	c  44.2s|110000 | 33442 |318847 |  25M|  53 |   7 |  60 |3099 |  50 |  60 |  17 |  18 |  53k|1977 | 0.000000e+00 |      --      |    Inf 
51.67/51.79	c  48.4s|120000 | 36223 |347752 |  27M|  53 |   7 |  60 |2673 | 422 |  60 |  17 |  18 |  58k|2053 | 0.000000e+00 |      --      |    Inf 
56.17/56.27	c  52.6s|130000 | 38861 |376763 |  29M|  54 |   - |  60 |2284 |  27 |   0 |   0 |  18 |  63k|2125 | 0.000000e+00 |      --      |    Inf 
60.67/60.77	c  56.8s|140000 | 41321 |405795 |  31M|  54 |   7 |  60 |2259 | 294 |  60 |  17 |  18 |  68k|2191 | 0.000000e+00 |      --      |    Inf 
64.97/65.02	c  60.8s|150000 | 44196 |433986 |  33M|  54 |   - |  60 |3038 | 290 |  60 |  17 |  18 |  73k|2258 | 0.000000e+00 |      --      |    Inf 
69.57/69.63	c  65.1s|160000 | 46903 |463116 |  35M|  54 |   - |  60 |2294 | 496 |  60 |  17 |  18 |  78k|2310 | 0.000000e+00 |      --      |    Inf 
73.96/74.05	c  69.3s|170000 | 49495 |491240 |  37M|  54 |   - |  60 |2304 |  22 |  60 |  17 |  18 |  83k|2372 | 0.000000e+00 |      --      |    Inf 
78.26/78.33	c  73.3s|180000 | 52360 |519916 |  39M|  54 |   - |  60 |2848 |  22 |  60 |  17 |  18 |  88k|2437 | 0.000000e+00 |      --      |    Inf 
82.86/82.91	c  77.6s|190000 | 55063 |548539 |  41M|  54 |   7 |  60 |2660 |  78 |  60 |  17 |  18 |  94k|2483 | 0.000000e+00 |      --      |    Inf 
87.35/87.48	c  81.9s|200000 | 57598 |576408 |  43M|  54 |   - |  60 |2761 |  46 |  60 |  17 |  18 |  99k|2520 | 0.000000e+00 |      --      |    Inf 
91.96/92.05	c  86.2s|210000 | 60211 |605418 |  45M|  54 |   - |  60 |2652 | 286 |  60 |  17 |  18 | 104k|2565 | 0.000000e+00 |      --      |    Inf 
96.35/96.50	c  90.3s|220000 | 62946 |633692 |  47M|  54 |   - |  60 |2827 |  60 |  60 |  17 |  18 | 109k|2601 | 0.000000e+00 |      --      |    Inf 
100.85/100.94	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
100.85/100.94	c  94.5s|230000 | 65605 |662156 |  49M|  54 |   - |  60 |2951 | 139 |  60 |  17 |  18 | 114k|2640 | 0.000000e+00 |      --      |    Inf 
105.05/105.15	c  98.5s|240000 | 68831 |690761 |  52M|  54 |   7 |  60 |3706 | 243 |  60 |  17 |  18 | 118k|2672 | 0.000000e+00 |      --      |    Inf 
109.76/109.86	c   103s|250000 | 71381 |718743 |  54M|  54 |   7 |  60 |3369 | 365 |  60 |  17 |  18 | 124k|2686 | 0.000000e+00 |      --      |    Inf 
114.45/114.52	c   107s|260000 | 73999 |747000 |  56M|  54 |   - |  60 |3121 |  40 |  60 |  17 |  18 | 129k|2721 | 0.000000e+00 |      --      |    Inf 
118.95/119.07	c   112s|270000 | 76646 |775082 |  58M|  54 |   7 |  60 |2769 |  18 |  60 |  17 |  18 | 134k|2757 | 0.000000e+00 |      --      |    Inf 
123.55/123.65	c   116s|280000 | 79421 |804114 |  60M|  54 |   7 |  60 |2667 |  18 |  60 |  17 |  18 | 139k|2792 | 0.000000e+00 |      --      |    Inf 
127.95/128.00	c   120s|290000 | 82212 |833177 |  62M|  54 |   - |  60 |3638 |  35 |  60 |  17 |  18 | 144k|2836 | 0.000000e+00 |      --      |    Inf 
132.35/132.43	c   124s|300000 | 85170 |860531 |  64M|  54 |   7 |  60 |3854 | 155 |  60 |  17 |  18 | 148k|2888 | 0.000000e+00 |      --      |    Inf 
137.04/137.15	c   128s|310000 | 87754 |889607 |  66M|  54 |   - |  60 |2975 |  17 |  60 |  17 |  18 | 153k|2928 | 0.000000e+00 |      --      |    Inf 
141.54/141.69	c   133s|320000 | 90615 |918804 |  68M|  54 |   7 |  60 |2990 |  74 |  60 |  17 |  18 | 158k|2955 | 0.000000e+00 |      --      |    Inf 
145.95/146.06	c   137s|330000 | 93581 |947352 |  70M|  54 |   - |  60 |2859 |  41 |  60 |  17 |  18 | 163k|2985 | 0.000000e+00 |      --      |    Inf 
150.44/150.59	c   141s|340000 | 96227 |975475 |  73M|  54 |   7 |  60 |2946 | 192 |  60 |  17 |  18 | 168k|3002 | 0.000000e+00 |      --      |    Inf 
155.04/155.18	c   145s|350000 | 98795 |  1004k|  75M|  54 |   7 |  60 |2980 |  53 |  60 |  17 |  18 | 173k|3023 | 0.000000e+00 |      --      |    Inf 
159.64/159.71	c   150s|360000 |101549 |  1032k|  77M|  54 |   7 |  60 |2869 |  26 |  60 |  17 |  18 | 178k|3052 | 0.000000e+00 |      --      |    Inf 
164.14/164.28	c   154s|370000 |104296 |  1060k|  79M|  54 |   7 |  60 |3480 | 489 |  60 |  17 |  18 | 183k|3076 | 0.000000e+00 |      --      |    Inf 
168.93/169.04	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
168.93/169.04	c   158s|380000 |106874 |  1088k|  81M|  54 |   - |  60 |3576 | 160 |  60 |  17 |  18 | 188k|3103 | 0.000000e+00 |      --      |    Inf 
173.74/173.81	c   163s|390000 |109414 |  1117k|  83M|  54 |   - |  60 |3065 |  10 |  60 |  17 |  18 | 193k|3127 | 0.000000e+00 |      --      |    Inf 
178.44/178.56	c   167s|400000 |111874 |  1145k|  85M|  54 |   7 |  60 |3261 | 209 |  60 |  17 |  18 | 198k|3146 | 0.000000e+00 |      --      |    Inf 
183.13/183.26	c   172s|410000 |114546 |  1173k|  87M|  54 |   7 |  60 |2715 |  12 |  60 |  17 |  18 | 203k|3169 | 0.000000e+00 |      --      |    Inf 
187.73/187.87	c   176s|420000 |117073 |  1201k|  89M|  54 |   7 |  60 |3149 |  54 |  60 |  17 |  18 | 208k|3186 | 0.000000e+00 |      --      |    Inf 
192.53/192.68	c   181s|430000 |119575 |  1229k|  91M|  54 |   - |  60 |3362 |  24 |  60 |  17 |  18 | 214k|3192 | 0.000000e+00 |      --      |    Inf 
196.93/197.01	c   185s|440000 |123101 |  1255k|  93M|  54 |   7 |  60 |4043 | 599 |  60 |  17 |  18 | 218k|3200 | 0.000000e+00 |      --      |    Inf 
201.82/201.91	c   189s|450000 |125419 |  1283k|  95M|  54 |   7 |  60 |3024 |  36 |  60 |  17 |  18 | 223k|3221 | 0.000000e+00 |      --      |    Inf 
206.43/206.55	c   194s|460000 |127950 |  1312k|  97M|  54 |   - |  60 |3801 | 212 |  60 |  17 |  18 | 228k|3235 | 0.000000e+00 |      --      |    Inf 
211.22/211.30	c   198s|470000 |130512 |  1340k|  99M|  54 |   - |  60 |3557 |  12 |  60 |  17 |  18 | 233k|3250 | 0.000000e+00 |      --      |    Inf 
216.12/216.27	c   203s|480000 |132926 |  1368k| 101M|  54 |   7 |  60 |2752 |  28 |  60 |  17 |  18 | 239k|3269 | 0.000000e+00 |      --      |    Inf 
220.82/220.93	c   207s|490000 |135467 |  1396k| 103M|  54 |   - |  60 |2965 | 300 |  60 |  17 |  18 | 244k|3278 | 0.000000e+00 |      --      |    Inf 
225.42/225.56	c   212s|500000 |137956 |  1424k| 105M|  54 |   - |  60 |3165 | 130 |  60 |  17 |  18 | 249k|3296 | 0.000000e+00 |      --      |    Inf 
230.22/230.30	c   216s|510000 |140435 |  1453k| 107M|  54 |   - |  60 |3592 |  31 |  60 |  17 |  18 | 254k|3307 | 0.000000e+00 |      --      |    Inf 
235.22/235.31	c   221s|520000 |143031 |  1481k| 109M|  54 |   7 |  60 |3284 | 391 |  60 |  17 |  18 | 259k|3315 | 0.000000e+00 |      --      |    Inf 
239.82/239.98	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
239.82/239.98	c   225s|530000 |145736 |  1510k| 112M|  54 |   - |  60 |3922 |  52 |  60 |  17 |  18 | 264k|3325 | 0.000000e+00 |      --      |    Inf 
244.71/244.82	c   230s|540000 |148308 |  1538k| 113M|  54 |   7 |  60 |3380 |  96 |  60 |  17 |  18 | 269k|3348 | 0.000000e+00 |      --      |    Inf 
249.52/249.61	c   234s|550000 |150761 |  1566k| 116M|  54 |   7 |  60 |3231 | 283 |  60 |  17 |  18 | 274k|3359 | 0.000000e+00 |      --      |    Inf 
254.41/254.53	c   239s|560000 |153099 |  1595k| 118M|  54 |   7 |  60 |3742 | 720 |  60 |  17 |  18 | 280k|3361 | 0.000000e+00 |      --      |    Inf 
259.11/259.24	c   243s|570000 |155709 |  1623k| 120M|  54 |   - |  60 |3720 |  21 |  60 |  17 |  18 | 285k|3378 | 0.000000e+00 |      --      |    Inf 
264.11/264.22	c   248s|580000 |158032 |  1651k| 121M|  54 |   7 |  60 |3115 | 179 |  60 |  17 |  18 | 290k|3391 | 0.000000e+00 |      --      |    Inf 
268.71/268.89	c   252s|590000 |160809 |  1679k| 124M|  54 |   7 |  60 |3341 |  88 |  60 |  17 |  18 | 295k|3398 | 0.000000e+00 |      --      |    Inf 
273.50/273.61	c   257s|600000 |163384 |  1707k| 126M|  54 |   - |  60 |3556 | 103 |  60 |  17 |  18 | 300k|3408 | 0.000000e+00 |      --      |    Inf 
278.11/278.25	c   261s|610000 |166145 |  1735k| 128M|  54 |   7 |  60 |3839 |  52 |  60 |  17 |  18 | 305k|3422 | 0.000000e+00 |      --      |    Inf 
283.01/283.14	c   266s|620000 |168634 |  1764k| 130M|  54 |   7 |  60 |3275 |  89 |  60 |  17 |  18 | 310k|3444 | 0.000000e+00 |      --      |    Inf 
287.80/287.94	c   270s|630000 |171066 |  1792k| 132M|  54 |   - |  60 |2731 |  87 |  60 |  17 |  18 | 315k|3452 | 0.000000e+00 |      --      |    Inf 
292.30/292.42	c   275s|640000 |173987 |  1821k| 134M|  54 |   - |  60 |3694 |  41 |  60 |  17 |  18 | 320k|3464 | 0.000000e+00 |      --      |    Inf 
297.10/297.27	c   279s|650000 |176666 |  1850k| 136M|  54 |   7 |  60 |3535 |  16 |  60 |  17 |  18 | 325k|3479 | 0.000000e+00 |      --      |    Inf 
301.80/301.99	c   284s|660000 |179194 |  1879k| 138M|  54 |   7 |  60 |3519 |  74 |  60 |  17 |  18 | 330k|3492 | 0.000000e+00 |      --      |    Inf 
306.71/306.87	c   288s|670000 |181654 |  1908k| 140M|  54 |   - |  60 |3240 |  60 |  60 |  17 |  18 | 335k|3503 | 0.000000e+00 |      --      |    Inf 
311.50/311.66	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
311.50/311.66	c   293s|680000 |184194 |  1936k| 142M|  54 |   7 |  60 |3196 |  16 |  60 |  17 |  18 | 341k|3513 | 0.000000e+00 |      --      |    Inf 
316.39/316.56	c   297s|690000 |186652 |  1965k| 144M|  54 |   7 |  60 |3383 |  71 |  60 |  17 |  18 | 346k|3525 | 0.000000e+00 |      --      |    Inf 
321.20/321.38	c   302s|700000 |189039 |  1993k| 146M|  54 |   7 |  60 |3692 | 102 |  60 |  17 |  18 | 351k|3551 | 0.000000e+00 |      --      |    Inf 
326.19/326.32	c   307s|710000 |191393 |  2021k| 148M|  54 |   7 |  60 |3500 | 109 |  60 |  17 |  18 | 356k|3569 | 0.000000e+00 |      --      |    Inf 
330.99/331.19	c   311s|720000 |193984 |  2049k| 150M|  54 |   - |  60 |2823 |  65 |   0 |   0 |  18 | 361k|3576 | 0.000000e+00 |      --      |    Inf 
335.89/336.05	c   316s|730000 |196200 |  2077k| 152M|  54 |   7 |  60 |3273 | 132 |  60 |  17 |  18 | 367k|3587 | 0.000000e+00 |      --      |    Inf 
340.79/340.96	c   320s|740000 |198562 |  2106k| 154M|  54 |   - |  60 |3181 | 101 |  60 |  17 |  18 | 372k|3594 | 0.000000e+00 |      --      |    Inf 
345.48/345.60	c   325s|750000 |201056 |  2134k| 156M|  54 |   - |  60 |3746 |  27 |  60 |  17 |  18 | 377k|3617 | 0.000000e+00 |      --      |    Inf 
350.49/350.60	c   329s|760000 |203260 |  2161k| 158M|  54 |   - |  60 |3327 |  13 |  60 |  17 |  18 | 382k|3619 | 0.000000e+00 |      --      |    Inf 
355.29/355.43	c   334s|770000 |205736 |  2188k| 160M|  54 |   7 |  60 |3739 |  12 |  60 |  17 |  18 | 387k|3619 | 0.000000e+00 |      --      |    Inf 
360.09/360.28	c   339s|780000 |208164 |  2215k| 162M|  54 |   7 |  60 |3881 | 241 |  60 |  17 |  18 | 392k|3619 | 0.000000e+00 |      --      |    Inf 
364.88/365.04	c   343s|790000 |210862 |  2244k| 164M|  54 |   - |  60 |4061 |  78 |  60 |  17 |  18 | 397k|3624 | 0.000000e+00 |      --      |    Inf 
369.98/370.19	c   348s|800000 |213298 |  2271k| 166M|  54 |   - |  60 |3383 | 139 |  60 |  17 |  18 | 403k|3626 | 0.000000e+00 |      --      |    Inf 
374.78/374.90	c   352s|810000 |216258 |  2299k| 168M|  54 |   7 |  60 |3820 |  55 |  60 |  17 |  18 | 407k|3634 | 0.000000e+00 |      --      |    Inf 
379.39/379.53	c   357s|820000 |219100 |  2328k| 170M|  54 |   - |  60 |4154 |  65 |  60 |  17 |  18 | 412k|3638 | 0.000000e+00 |      --      |    Inf 
384.18/384.36	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
384.18/384.36	c   361s|830000 |221615 |  2355k| 172M|  54 |   - |  60 |4321 |  48 |  60 |  17 |  18 | 417k|3638 | 0.000000e+00 |      --      |    Inf 
388.98/389.16	c   366s|840000 |224330 |  2382k| 174M|  54 |   7 |  60 |4306 |  41 |  60 |  17 |  18 | 422k|3643 | 0.000000e+00 |      --      |    Inf 
394.07/394.27	c   371s|850000 |226446 |  2408k| 176M|  54 |   7 |  60 |4246 |1024 |  60 |  17 |  18 | 428k|3645 | 0.000000e+00 |      --      |    Inf 
399.28/399.45	c   376s|860000 |228873 |  2436k| 178M|  54 |   7 |  60 |3511 |  65 |  60 |  17 |  18 | 433k|3659 | 0.000000e+00 |      --      |    Inf 
404.37/404.57	c   380s|870000 |231108 |  2465k| 180M|  54 |   7 |  60 |3357 |  29 |  60 |  17 |  18 | 438k|3672 | 0.000000e+00 |      --      |    Inf 
408.98/409.18	c   385s|880000 |234063 |  2494k| 182M|  54 |   7 |  60 |4341 |  28 |  60 |  17 |  18 | 443k|3684 | 0.000000e+00 |      --      |    Inf 
414.07/414.22	c   390s|890000 |236736 |  2523k| 184M|  54 |   7 |  60 |4218 |  26 |  60 |  17 |  18 | 448k|3695 | 0.000000e+00 |      --      |    Inf 
418.67/418.85	c   394s|900000 |239773 |  2551k| 187M|  54 |   7 |  60 |4640 |  42 |  60 |  17 |  18 | 453k|3706 | 0.000000e+00 |      --      |    Inf 
423.07/423.29	c   398s|910000 |243183 |  2578k| 189M|  54 |   - |  60 |6526 |  40 |   0 |   0 |  18 | 457k|3706 | 0.000000e+00 |      --      |    Inf 
428.57/428.76	c   403s|920000 |246149 |  2605k| 191M|  54 |   7 |  60 |6008 | 430 |  60 |  17 |  18 | 462k|3706 | 0.000000e+00 |      --      |    Inf 
434.17/434.32	c   409s|930000 |248592 |  2633k| 193M|  54 |   - |  60 |3680 | 151 |  60 |  17 |  18 | 467k|3706 | 0.000000e+00 |      --      |    Inf 
439.26/439.47	c   413s|940000 |250950 |  2661k| 195M|  54 |   - |  60 |2960 |  20 |  60 |  17 |  18 | 472k|3706 | 0.000000e+00 |      --      |    Inf 
444.37/444.51	c   418s|950000 |253264 |  2689k| 197M|  54 |   - |  60 |3046 |  24 |   0 |   0 |  18 | 477k|3706 | 0.000000e+00 |      --      |    Inf 
449.26/449.47	c   423s|960000 |255501 |  2716k| 198M|  54 |   - |  60 |2919 |  20 |  60 |  17 |  18 | 482k|3706 | 0.000000e+00 |      --      |    Inf 
453.86/454.08	c   427s|970000 |258233 |  2743k| 201M|  54 |   7 |  60 |3220 | 457 |  60 |  17 |  18 | 487k|3706 | 0.000000e+00 |      --      |    Inf 
458.76/458.95	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
458.76/458.95	c   432s|980000 |260738 |  2772k| 203M|  54 |   7 |  60 |3116 | 128 |  60 |  17 |  18 | 492k|3706 | 0.000000e+00 |      --      |    Inf 
463.75/463.90	c   436s|990000 |263091 |  2799k| 205M|  54 |   7 |  60 |3256 |  44 |  60 |  17 |  18 | 498k|3706 | 0.000000e+00 |      --      |    Inf 
468.46/468.64	c   441s|  1000k|266000 |  2827k| 207M|  54 |   - |  60 |3896 | 148 |  60 |  17 |  18 | 502k|3706 | 0.000000e+00 |      --      |    Inf 
473.56/473.72	c   446s|  1010k|268586 |  2855k| 209M|  54 |   - |  60 |3792 | 490 |  60 |  17 |  18 | 508k|3706 | 0.000000e+00 |      --      |    Inf 
478.36/478.51	c   450s|  1020k|271394 |  2883k| 211M|  54 |   - |  60 |3990 |  44 |  60 |  17 |  18 | 513k|3706 | 0.000000e+00 |      --      |    Inf 
483.25/483.48	c   455s|  1030k|273861 |  2911k| 213M|  54 |   7 |  60 |4328 |  61 |  60 |  17 |  18 | 518k|3706 | 0.000000e+00 |      --      |    Inf 
488.55/488.71	c   460s|  1040k|276395 |  2938k| 215M|  54 |   - |  60 |3302 | 332 |  60 |  17 |  18 | 523k|3706 | 0.000000e+00 |      --      |    Inf 
493.55/493.71	c   465s|  1050k|278788 |  2966k| 217M|  54 |   - |  60 |3623 |  20 |  60 |  17 |  18 | 528k|3706 | 0.000000e+00 |      --      |    Inf 
498.25/498.42	c   469s|  1060k|281560 |  2994k| 219M|  54 |   7 |  60 |4050 |  74 |  60 |  17 |  18 | 533k|3706 | 0.000000e+00 |      --      |    Inf 
503.34/503.53	c   474s|  1070k|284092 |  3022k| 221M|  54 |   7 |  60 |3861 | 788 |  60 |  17 |  18 | 538k|3706 | 0.000000e+00 |      --      |    Inf 
508.45/508.60	c   479s|  1080k|286555 |  3051k| 223M|  54 |   7 |  60 |3264 |  17 |  60 |  17 |  18 | 543k|3706 | 0.000000e+00 |      --      |    Inf 
513.15/513.36	c   483s|  1090k|289235 |  3078k| 225M|  54 |   7 |  60 |4383 |  19 |  60 |  17 |  18 | 548k|3706 | 0.000000e+00 |      --      |    Inf 
518.44/518.68	c   488s|  1100k|291589 |  3106k| 227M|  54 |   7 |  60 |3516 | 238 |  60 |  17 |  18 | 553k|3706 | 0.000000e+00 |      --      |    Inf 
523.45/523.61	c   493s|  1110k|293941 |  3135k| 229M|  54 |   - |  60 |3727 | 553 |  60 |  17 |  18 | 558k|3706 | 0.000000e+00 |      --      |    Inf 
528.55/528.74	c   498s|  1120k|296243 |  3162k| 231M|  54 |   7 |  60 |3255 |  42 |  60 |  17 |  18 | 564k|3706 | 0.000000e+00 |      --      |    Inf 
533.64/533.83	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
533.64/533.83	c   503s|  1130k|298661 |  3190k| 233M|  54 |   7 |  60 |3948 | 108 |  60 |  17 |  18 | 569k|3706 | 0.000000e+00 |      --      |    Inf 
538.75/538.91	c   507s|  1140k|301106 |  3219k| 235M|  54 |   7 |  60 |3581 |  49 |  60 |  17 |  18 | 574k|3706 | 0.000000e+00 |      --      |    Inf 
543.74/543.91	c   512s|  1150k|303670 |  3247k| 237M|  54 |   - |  60 |3697 |  46 |  60 |  17 |  18 | 579k|3706 | 0.000000e+00 |      --      |    Inf 
548.94/549.11	c   517s|  1160k|305939 |  3275k| 239M|  54 |   7 |  60 |3402 |  61 |  60 |  17 |  18 | 584k|3706 | 0.000000e+00 |      --      |    Inf 
553.54/553.78	c   521s|  1170k|308751 |  3304k| 242M|  54 |   7 |  60 |4831 |  53 |  60 |  17 |  18 | 589k|3708 | 0.000000e+00 |      --      |    Inf 
559.03/559.22	c   527s|  1180k|311111 |  3332k| 243M|  54 |   7 |  60 |4073 |  55 |  60 |  17 |  18 | 595k|3713 | 0.000000e+00 |      --      |    Inf 
564.23/564.41	c   532s|  1190k|313383 |  3360k| 245M|  54 |   7 |  60 |4315 |  88 |  60 |  17 |  18 | 600k|3714 | 0.000000e+00 |      --      |    Inf 
569.33/569.59	c   536s|  1200k|316096 |  3387k| 248M|  54 |   - |  60 |4296 | 118 |  60 |  17 |  18 | 605k|3725 | 0.000000e+00 |      --      |    Inf 
574.63/574.80	c   541s|  1210k|318485 |  3415k| 249M|  54 |   - |  60 |3834 | 170 |  60 |  17 |  18 | 610k|3730 | 0.000000e+00 |      --      |    Inf 
579.83/580.00	c   546s|  1220k|320882 |  3442k| 251M|  54 |   7 |  60 |3945 | 154 |  60 |  17 |  18 | 615k|3733 | 0.000000e+00 |      --      |    Inf 
584.93/585.19	c   551s|  1230k|323063 |  3470k| 253M|  54 |   - |  60 |3679 |  36 |  60 |  17 |  18 | 620k|3741 | 0.000000e+00 |      --      |    Inf 
590.02/590.20	c   556s|  1240k|325385 |  3498k| 255M|  54 |   7 |  60 |3495 |  34 |  60 |  17 |  18 | 626k|3748 | 0.000000e+00 |      --      |    Inf 
595.02/595.28	c   561s|  1250k|327858 |  3526k| 257M|  54 |   - |  60 |3530 | 102 |  60 |  17 |  18 | 631k|3753 | 0.000000e+00 |      --      |    Inf 
599.92/600.16	c   565s|  1260k|330200 |  3554k| 259M|  54 |   - |  60 |4548 | 189 |  60 |  17 |  18 | 636k|3761 | 0.000000e+00 |      --      |    Inf 
605.12/605.35	c   570s|  1270k|332620 |  3582k| 261M|  54 |   7 |  60 |3894 | 141 |  60 |  17 |  18 | 641k|3770 | 0.000000e+00 |      --      |    Inf 
610.42/610.61	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
610.42/610.61	c   575s|  1280k|335004 |  3610k| 263M|  54 |   7 |  60 |3148 |  42 |  60 |  17 |  18 | 646k|3783 | 0.000000e+00 |      --      |    Inf 
615.22/615.48	c   580s|  1290k|337512 |  3637k| 265M|  54 |   7 |  60 |3185 | 248 |  60 |  17 |  18 | 651k|3791 | 0.000000e+00 |      --      |    Inf 
620.12/620.35	c   584s|  1300k|339989 |  3665k| 267M|  54 |   7 |  60 |3754 |1212 |  60 |  17 |  18 | 656k|3799 | 0.000000e+00 |      --      |    Inf 
625.02/625.22	c   589s|  1310k|342735 |  3693k| 269M|  54 |   - |  60 |3934 |  20 |  60 |  17 |  18 | 661k|3803 | 0.000000e+00 |      --      |    Inf 
630.32/630.58	c   594s|  1320k|345109 |  3721k| 271M|  54 |   7 |  60 |3730 |  22 |  60 |  17 |  18 | 666k|3803 | 0.000000e+00 |      --      |    Inf 
635.51/635.76	c   599s|  1330k|347484 |  3748k| 273M|  54 |   7 |  60 |3664 | 129 |  60 |  17 |  18 | 671k|3813 | 0.000000e+00 |      --      |    Inf 
640.32/640.50	c   603s|  1340k|350381 |  3776k| 275M|  54 |   7 |  60 |3716 | 441 |  60 |  17 |  18 | 676k|3820 | 0.000000e+00 |      --      |    Inf 
644.91/645.16	c   608s|  1350k|353453 |  3805k| 278M|  54 |   - |  60 |4842 |  16 |  60 |  17 |  18 | 681k|3827 | 0.000000e+00 |      --      |    Inf 
650.01/650.23	c   613s|  1360k|356222 |  3834k| 280M|  54 |   7 |  60 |5138 | 135 |  60 |  17 |  18 | 686k|3835 | 0.000000e+00 |      --      |    Inf 
655.61/655.86	c   618s|  1370k|358466 |  3862k| 282M|  54 |   7 |  60 |4534 |  22 |  60 |  17 |  18 | 691k|3843 | 0.000000e+00 |      --      |    Inf 
660.81/661.04	c   623s|  1380k|360890 |  3890k| 284M|  54 |   - |  60 |3784 |  84 |  60 |  17 |  18 | 697k|3845 | 0.000000e+00 |      --      |    Inf 
665.90/666.16	c   628s|  1390k|363316 |  3918k| 286M|  54 |   7 |  60 |3573 | 560 |  60 |  17 |  18 | 702k|3845 | 0.000000e+00 |      --      |    Inf 
671.21/671.43	c   633s|  1400k|365550 |  3946k| 288M|  54 |   - |  60 |3783 |  10 |  60 |  17 |  18 | 707k|3845 | 0.000000e+00 |      --      |    Inf 
676.51/676.78	c   638s|  1410k|367740 |  3974k| 290M|  54 |   7 |  60 |3766 |  25 |  60 |  17 |  18 | 712k|3845 | 0.000000e+00 |      --      |    Inf 
681.50/681.70	c   642s|  1420k|370354 |  4002k| 292M|  54 |   7 |  60 |4234 |  29 |  60 |  17 |  18 | 717k|3845 | 0.000000e+00 |      --      |    Inf 
686.40/686.64	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
686.40/686.64	c   647s|  1430k|373400 |  4029k| 294M|  54 |   - |  60 |4028 |  78 |  60 |  17 |  18 | 722k|3845 | 0.000000e+00 |      --      |    Inf 
691.50/691.77	c   652s|  1440k|376077 |  4057k| 296M|  54 |   7 |  60 |3713 | 264 |  60 |  17 |  18 | 727k|3845 | 0.000000e+00 |      --      |    Inf 
696.79/697.03	c   657s|  1450k|378478 |  4085k| 298M|  54 |   7 |  60 |3282 | 230 |  60 |  17 |  18 | 732k|3845 | 0.000000e+00 |      --      |    Inf 
701.79/702.05	c   662s|  1460k|380904 |  4114k| 300M|  54 |   7 |  60 |4081 | 208 |  60 |  17 |  18 | 737k|3845 | 0.000000e+00 |      --      |    Inf 
707.10/707.32	c   667s|  1470k|383114 |  4142k| 302M|  54 |   7 |  60 |3215 | 633 |  60 |  17 |  18 | 742k|3847 | 0.000000e+00 |      --      |    Inf 
712.09/712.31	c   671s|  1480k|385495 |  4169k| 304M|  54 |   - |  60 |4234 |  12 |  60 |  17 |  18 | 747k|3849 | 0.000000e+00 |      --      |    Inf 
717.39/717.62	c   676s|  1490k|387803 |  4197k| 306M|  54 |   7 |  60 |3727 |  38 |  60 |  17 |  18 | 752k|3856 | 0.000000e+00 |      --      |    Inf 
722.39/722.64	c   681s|  1500k|390372 |  4225k| 308M|  54 |   - |  60 |4355 |  26 |  60 |  17 |  18 | 758k|3866 | 0.000000e+00 |      --      |    Inf 
727.79/728.03	c   686s|  1510k|392665 |  4253k| 310M|  54 |   7 |  60 |4334 | 112 |  60 |  17 |  18 | 763k|3869 | 0.000000e+00 |      --      |    Inf 
733.09/733.38	c   691s|  1520k|395153 |  4281k| 312M|  54 |   - |  60 |3586 |  20 |  60 |  17 |  18 | 768k|3872 | 0.000000e+00 |      --      |    Inf 
738.19/738.41	c   696s|  1530k|397677 |  4309k| 314M|  54 |   - |  60 |3821 |  47 |  60 |  17 |  18 | 773k|3880 | 0.000000e+00 |      --      |    Inf 
743.19/743.49	c   701s|  1540k|400274 |  4338k| 316M|  54 |   - |  60 |3880 |  72 |  60 |  17 |  18 | 778k|3896 | 0.000000e+00 |      --      |    Inf 
748.38/748.69	c   706s|  1550k|402557 |  4365k| 318M|  54 |   7 |  60 |3624 | 246 |  60 |  17 |  18 | 783k|3900 | 0.000000e+00 |      --      |    Inf 
753.28/753.51	c   710s|  1560k|405301 |  4393k| 320M|  54 |   - |  60 |4789 |  43 |  60 |  17 |  18 | 788k|3905 | 0.000000e+00 |      --      |    Inf 
758.58/758.85	c   715s|  1570k|407798 |  4420k| 322M|  54 |   - |  60 |3680 |  89 |  60 |  17 |  18 | 793k|3910 | 0.000000e+00 |      --      |    Inf 
763.48/763.76	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
763.48/763.76	c   720s|  1580k|410773 |  4448k| 324M|  54 |   - |  60 |4106 | 242 |  60 |  17 |  18 | 798k|3917 | 0.000000e+00 |      --      |    Inf 
768.88/769.11	c   725s|  1590k|413064 |  4476k| 326M|  54 |   - |  60 |3752 |  48 |  60 |  17 |  18 | 803k|3925 | 0.000000e+00 |      --      |    Inf 
773.88/774.18	c   730s|  1600k|415661 |  4504k| 328M|  54 |   7 |  60 |4105 | 117 |  60 |  17 |  18 | 808k|3932 | 0.000000e+00 |      --      |    Inf 
779.18/779.41	c   735s|  1610k|417961 |  4532k| 330M|  54 |   - |  60 |3791 |  23 |   0 |   0 |  18 | 813k|3938 | 0.000000e+00 |      --      |    Inf 
784.57/784.80	c   740s|  1620k|420164 |  4559k| 332M|  54 |   7 |  60 |3568 |  55 |  60 |  17 |  18 | 818k|3942 | 0.000000e+00 |      --      |    Inf 
789.87/790.16	c   745s|  1630k|422374 |  4587k| 334M|  54 |   7 |  60 |3547 | 161 |  60 |  17 |  18 | 824k|3948 | 0.000000e+00 |      --      |    Inf 
794.77/795.04	c   750s|  1640k|425101 |  4615k| 336M|  54 |   - |  60 |4582 | 222 |  60 |  17 |  18 | 829k|3953 | 0.000000e+00 |      --      |    Inf 
800.17/800.48	c   755s|  1650k|427551 |  4643k| 338M|  54 |   7 |  60 |3696 |  25 |  60 |  17 |  18 | 834k|3955 | 0.000000e+00 |      --      |    Inf 
805.27/805.54	c   760s|  1660k|430041 |  4671k| 340M|  54 |   7 |  60 |4118 |  55 |  60 |  17 |  18 | 839k|3969 | 0.000000e+00 |      --      |    Inf 
810.56/810.85	c   765s|  1670k|432651 |  4699k| 342M|  54 |   7 |  60 |4023 |  43 |  60 |  17 |  18 | 844k|3977 | 0.000000e+00 |      --      |    Inf 
815.87/816.10	c   770s|  1680k|435152 |  4727k| 344M|  54 |   - |  60 |3749 |  66 |  60 |  17 |  18 | 849k|3983 | 0.000000e+00 |      --      |    Inf 
820.97/821.25	c   774s|  1690k|437358 |  4756k| 346M|  54 |   7 |  60 |4482 | 148 |  60 |  17 |  18 | 854k|3985 | 0.000000e+00 |      --      |    Inf 
825.96/826.29	c   779s|  1700k|439917 |  4783k| 348M|  54 |   7 |  60 |5189 |  90 |  60 |  17 |  18 | 859k|3988 | 0.000000e+00 |      --      |    Inf 
831.37/831.65	c   784s|  1710k|442354 |  4811k| 350M|  54 |   7 |  60 |4722 |  37 |  60 |  17 |  18 | 864k|3996 | 0.000000e+00 |      --      |    Inf 
836.86/837.19	c   790s|  1720k|444571 |  4838k| 352M|  54 |   7 |  60 |3571 | 426 |  60 |  17 |  18 | 869k|3996 | 0.000000e+00 |      --      |    Inf 
841.66/841.94	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
841.66/841.94	c   794s|  1730k|447117 |  4866k| 354M|  54 |   - |  60 |4953 | 126 |  60 |  17 |  18 | 874k|3997 | 0.000000e+00 |      --      |    Inf 
847.26/847.59	c   799s|  1740k|449329 |  4894k| 356M|  54 |   7 |  60 |3654 |  21 |  60 |  17 |  18 | 880k|4002 | 0.000000e+00 |      --      |    Inf 
852.36/852.62	c   804s|  1750k|451723 |  4923k| 358M|  54 |   - |  60 |4434 |  22 |  60 |  17 |  18 | 885k|4008 | 0.000000e+00 |      --      |    Inf 
857.56/857.80	c   809s|  1760k|454274 |  4951k| 360M|  54 |   - |  60 |4747 |  23 |  60 |  17 |  18 | 890k|4019 | 0.000000e+00 |      --      |    Inf 
862.85/863.16	c   814s|  1770k|456634 |  4980k| 362M|  54 |   7 |  60 |4011 |  10 |  60 |  17 |  18 | 895k|4028 | 0.000000e+00 |      --      |    Inf 
868.15/868.40	c   819s|  1780k|458901 |  5008k| 364M|  54 |   7 |  60 |4073 |   9 |  60 |  17 |  18 | 900k|4030 | 0.000000e+00 |      --      |    Inf 
873.05/873.31	c   824s|  1790k|461520 |  5036k| 366M|  54 |   - |  60 |4810 | 149 |  60 |  17 |  18 | 905k|4031 | 0.000000e+00 |      --      |    Inf 
878.35/878.68	c   829s|  1800k|464079 |  5063k| 368M|  54 |   7 |  60 |4328 |  46 |  60 |  17 |  18 | 911k|4031 | 0.000000e+00 |      --      |    Inf 
883.64/883.98	c   834s|  1810k|466505 |  5092k| 370M|  54 |   7 |  60 |4043 | 163 |  60 |  17 |  18 | 916k|4031 | 0.000000e+00 |      --      |    Inf 
888.94/889.21	c   839s|  1820k|468969 |  5119k| 372M|  54 |   - |  60 |4305 | 105 |  60 |  17 |  18 | 921k|4031 | 0.000000e+00 |      --      |    Inf 
894.54/894.83	c   844s|  1830k|471066 |  5147k| 374M|  54 |   - |  60 |3419 | 134 |  60 |  17 |  18 | 926k|4031 | 0.000000e+00 |      --      |    Inf 
899.34/899.63	c   849s|  1840k|473705 |  5176k| 376M|  54 |   7 |  60 |4832 |  79 |  60 |  17 |  18 | 931k|4031 | 0.000000e+00 |      --      |    Inf 
904.25/904.54	c   853s|  1850k|476621 |  5204k| 379M|  54 |   7 |  60 |6024 | 171 |  60 |  17 |  18 | 936k|4031 | 0.000000e+00 |      --      |    Inf 
909.34/909.70	c   858s|  1860k|479786 |  5233k| 381M|  54 |   7 |  60 |7770 | 205 |  60 |  17 |  18 | 940k|4031 | 0.000000e+00 |      --      |    Inf 
915.34/915.63	c   864s|  1870k|482705 |  5262k| 383M|  54 |   7 |  60 |7597 | 182 |  60 |  17 |  18 | 945k|4031 | 0.000000e+00 |      --      |    Inf 
921.44/921.74	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
921.44/921.74	c   870s|  1880k|485295 |  5291k| 385M|  54 |   - |  60 |6302 |  19 |  60 |  17 |  18 | 950k|4031 | 0.000000e+00 |      --      |    Inf 
926.74/927.06	c   875s|  1890k|488140 |  5320k| 388M|  54 |   - |  60 |7753 | 252 |  60 |  17 |  18 | 955k|4031 | 0.000000e+00 |      --      |    Inf 
932.94/933.26	c   881s|  1900k|490536 |  5348k| 389M|  54 |   7 |  60 |4477 |  70 |  60 |  17 |  18 | 960k|4031 | 0.000000e+00 |      --      |    Inf 
938.74/939.00	c   886s|  1910k|492781 |  5376k| 391M|  54 |   - |  60 |3594 | 265 |  60 |  17 |  18 | 965k|4031 | 0.000000e+00 |      --      |    Inf 
943.93/944.21	c   891s|  1920k|495209 |  5405k| 393M|  54 |   7 |  60 |4014 | 278 |  60 |  17 |  18 | 970k|4039 | 0.000000e+00 |      --      |    Inf 
949.13/949.45	c   896s|  1930k|498100 |  5434k| 395M|  54 |   7 |  60 |3979 |  34 |  60 |  17 |  18 | 975k|4047 | 0.000000e+00 |      --      |    Inf 
953.83/954.15	c   900s|  1940k|501422 |  5461k| 398M|  54 |   7 |  60 |6113 |  89 |  60 |  17 |  18 | 979k|4055 | 0.000000e+00 |      --      |    Inf 
959.83/960.13	c   906s|  1950k|503947 |  5490k| 399M|  54 |   - |  60 |4467 |  33 |  60 |  17 |  18 | 984k|4063 | 0.000000e+00 |      --      |    Inf 
965.13/965.47	c   911s|  1960k|506313 |  5517k| 401M|  54 |   - |  60 |4189 | 120 |  60 |  17 |  18 | 989k|4070 | 0.000000e+00 |      --      |    Inf 
970.52/970.81	c   916s|  1970k|508982 |  5546k| 403M|  54 |   7 |  60 |3966 |  63 |  60 |  17 |  18 | 994k|4077 | 0.000000e+00 |      --      |    Inf 
975.62/975.93	c   921s|  1980k|511703 |  5572k| 405M|  54 |   - |  60 |4006 |  20 |  60 |  17 |  18 | 999k|4085 | 0.000000e+00 |      --      |    Inf 
980.62/980.92	c   926s|  1990k|514216 |  5600k| 408M|  54 |   7 |  60 |5198 | 116 |  60 |  17 |  18 |1004k|4091 | 0.000000e+00 |      --      |    Inf 
985.92/986.23	c   931s|  2000k|516903 |  5628k| 410M|  54 |   - |  60 |5098 |  58 |  60 |  17 |  18 |1009k|4105 | 0.000000e+00 |      --      |    Inf 
991.52/991.83	c   936s|  2010k|519278 |  5656k| 412M|  54 |   7 |  60 |4625 | 116 |  60 |  17 |  18 |1015k|4111 | 0.000000e+00 |      --      |    Inf 
996.42/996.72	c   941s|  2020k|522033 |  5684k| 414M|  54 |   7 |  60 |5783 |  53 |  60 |  17 |  18 |1019k|4112 | 0.000000e+00 |      --      |    Inf 
1002.22/1002.52	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1002.22/1002.52	c   946s|  2030k|524540 |  5712k| 415M|  54 |   7 |  60 |3997 | 236 |  60 |  17 |  18 |1024k|4112 | 0.000000e+00 |      --      |    Inf 
1007.12/1007.50	c   951s|  2040k|527255 |  5740k| 418M|  54 |   - |  60 |5084 |  39 |   0 |   0 |  18 |1029k|4112 | 0.000000e+00 |      --      |    Inf 
1012.02/1012.36	c   956s|  2050k|530856 |  5768k| 420M|  54 |   - |  60 |5721 |  45 |  60 |  17 |  18 |1034k|4112 | 0.000000e+00 |      --      |    Inf 
1017.01/1017.35	c   960s|  2060k|534324 |  5796k| 423M|  54 |   7 |  60 |6697 |  87 |  60 |  17 |  18 |1038k|4116 | 0.000000e+00 |      --      |    Inf 
1022.31/1022.63	c   965s|  2070k|537573 |  5823k| 425M|  54 |   - |  60 |6825 | 316 |  60 |  17 |  18 |1043k|4121 | 0.000000e+00 |      --      |    Inf 
1027.51/1027.85	c   970s|  2080k|540647 |  5851k| 427M|  54 |   7 |  60 |7554 |  31 |  60 |  17 |  18 |1047k|4129 | 0.000000e+00 |      --      |    Inf 
1033.61/1033.91	c   976s|  2090k|543315 |  5880k| 429M|  54 |   7 |  60 |6905 |  22 |  60 |  17 |  18 |1052k|4137 | 0.000000e+00 |      --      |    Inf 
1039.81/1040.10	c   982s|  2100k|545847 |  5907k| 431M|  54 |   7 |  60 |4672 | 132 |  60 |  17 |  18 |1057k|4144 | 0.000000e+00 |      --      |    Inf 
1045.40/1045.70	c   987s|  2110k|548338 |  5935k| 433M|  54 |   - |  60 |3774 |  64 |  60 |  17 |  18 |1062k|4150 | 0.000000e+00 |      --      |    Inf 
1050.71/1051.03	c   993s|  2120k|550859 |  5963k| 435M|  54 |   7 |  60 |3654 | 170 |  60 |  17 |  18 |1067k|4160 | 0.000000e+00 |      --      |    Inf 
1055.90/1056.29	c   997s|  2130k|553357 |  5990k| 436M|  54 |   - |  60 |3472 | 196 |  60 |  17 |  18 |1072k|4164 | 0.000000e+00 |      --      |    Inf 
1061.20/1061.56	c  1002s|  2140k|555766 |  6018k| 439M|  54 |   - |  60 |3763 | 226 |  60 |  17 |  18 |1077k|4173 | 0.000000e+00 |      --      |    Inf 
1066.30/1066.64	c  1007s|  2150k|558195 |  6045k| 441M|  54 |   7 |  60 |4213 |  15 |  60 |  17 |  18 |1082k|4184 | 0.000000e+00 |      --      |    Inf 
1071.39/1071.71	c  1012s|  2160k|560712 |  6074k| 443M|  54 |   7 |  60 |4493 |  98 |  60 |  17 |  18 |1087k|4190 | 0.000000e+00 |      --      |    Inf 
1076.80/1077.15	c  1017s|  2170k|562933 |  6102k| 445M|  54 |   7 |  60 |3638 |  44 |  60 |  17 |  18 |1092k|4201 | 0.000000e+00 |      --      |    Inf 
1081.99/1082.33	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1081.99/1082.33	c  1022s|  2180k|565480 |  6130k| 447M|  54 |   7 |  60 |4209 |  46 |  60 |  17 |  18 |1097k|4207 | 0.000000e+00 |      --      |    Inf 
1087.30/1087.64	c  1027s|  2190k|567925 |  6158k| 449M|  54 |   - |  60 |4028 |  49 |  60 |  17 |  18 |1103k|4220 | 0.000000e+00 |      --      |    Inf 
1092.59/1092.96	c  1032s|  2200k|570233 |  6186k| 451M|  54 |   - |  60 |4560 |  20 |  60 |  17 |  18 |1108k|4224 | 0.000000e+00 |      --      |    Inf 
1098.19/1098.53	c  1037s|  2210k|572527 |  6214k| 453M|  54 |   7 |  60 |4520 | 506 |  60 |  17 |  18 |1113k|4231 | 0.000000e+00 |      --      |    Inf 
1103.69/1104.03	c  1043s|  2220k|575005 |  6242k| 454M|  54 |   - |  60 |4339 |  16 |  60 |  17 |  18 |1118k|4237 | 0.000000e+00 |      --      |    Inf 
1109.09/1109.41	c  1048s|  2230k|577374 |  6270k| 457M|  54 |   7 |  60 |4633 |  33 |  60 |  17 |  18 |1123k|4240 | 0.000000e+00 |      --      |    Inf 
1114.28/1114.65	c  1053s|  2240k|579891 |  6297k| 458M|  54 |   7 |  60 |4271 | 171 |  60 |  17 |  18 |1128k|4240 | 0.000000e+00 |      --      |    Inf 
1119.49/1119.81	c  1058s|  2250k|582581 |  6325k| 460M|  54 |   7 |  60 |3680 | 132 |  60 |  17 |  18 |1133k|4244 | 0.000000e+00 |      --      |    Inf 
1124.68/1125.09	c  1063s|  2260k|585001 |  6353k| 462M|  54 |   - |  60 |3900 |  12 |  60 |  17 |  18 |1138k|4249 | 0.000000e+00 |      --      |    Inf 
1130.19/1130.57	c  1068s|  2270k|587207 |  6381k| 464M|  54 |   7 |  60 |3456 | 280 |  60 |  17 |  18 |1143k|4258 | 0.000000e+00 |      --      |    Inf 
1135.28/1135.69	c  1073s|  2280k|589589 |  6408k| 466M|  54 |   7 |  60 |4006 |  60 |  60 |  17 |  18 |1148k|4264 | 0.000000e+00 |      --      |    Inf 
1140.78/1141.11	c  1078s|  2290k|591828 |  6436k| 468M|  54 |   7 |  60 |3784 |  46 |  60 |  17 |  18 |1153k|4276 | 0.000000e+00 |      --      |    Inf 
1146.17/1146.56	c  1083s|  2300k|594090 |  6464k| 470M|  54 |   7 |  60 |3834 | 115 |  60 |  17 |  18 |1159k|4283 | 0.000000e+00 |      --      |    Inf 
1151.57/1151.93	c  1088s|  2310k|596310 |  6492k| 472M|  54 |   7 |  60 |4255 |  61 |  60 |  17 |  18 |1164k|4289 | 0.000000e+00 |      --      |    Inf 
1157.08/1157.42	c  1093s|  2320k|598650 |  6520k| 474M|  54 |   - |  60 |4056 |  19 |  60 |  17 |  18 |1169k|4293 | 0.000000e+00 |      --      |    Inf 
1162.57/1162.94	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1162.57/1162.94	c  1098s|  2330k|601009 |  6547k| 476M|  54 |   7 |  60 |3626 | 128 |  60 |  17 |  18 |1174k|4300 | 0.000000e+00 |      --      |    Inf 
1167.87/1168.24	c  1103s|  2340k|603262 |  6575k| 478M|  54 |   - |  60 |2841 |  40 |  60 |  17 |  18 |1179k|4303 | 0.000000e+00 |      --      |    Inf 
1172.67/1173.02	c  1108s|  2350k|605914 |  6603k| 480M|  54 |   - |  60 |4348 | 171 |  60 |  17 |  18 |1184k|4310 | 0.000000e+00 |      --      |    Inf 
1178.37/1178.75	c  1113s|  2360k|608017 |  6631k| 482M|  54 |   - |  60 |3437 |  73 |  60 |  17 |  18 |1190k|4314 | 0.000000e+00 |      --      |    Inf 
1183.66/1184.07	c  1118s|  2370k|610213 |  6659k| 484M|  54 |   7 |  60 |3907 |  19 |  60 |  17 |  18 |1195k|4322 | 0.000000e+00 |      --      |    Inf 
1188.56/1188.97	c  1123s|  2380k|613218 |  6687k| 486M|  54 |   7 |  60 |5233 | 496 |  60 |  17 |  18 |1200k|4324 | 0.000000e+00 |      --      |    Inf 
1194.57/1194.93	c  1129s|  2390k|615608 |  6715k| 488M|  54 |   - |  60 |3709 |  80 |  60 |  17 |  18 |1205k|4328 | 0.000000e+00 |      --      |    Inf 
1199.86/1200.30	c  1134s|  2400k|618025 |  6743k| 490M|  54 |   7 |  60 |3831 |  72 |  60 |  17 |  18 |1210k|4333 | 0.000000e+00 |      --      |    Inf 
1205.27/1205.66	c  1139s|  2410k|620356 |  6771k| 492M|  54 |   7 |  60 |3395 | 236 |  60 |  17 |  18 |1215k|4335 | 0.000000e+00 |      --      |    Inf 
1210.77/1211.11	c  1144s|  2420k|622493 |  6799k| 494M|  54 |   - |  60 |3728 |  48 |   0 |   0 |  18 |1220k|4342 | 0.000000e+00 |      --      |    Inf 
1215.86/1216.23	c  1149s|  2430k|625048 |  6826k| 496M|  54 |   - |  60 |4547 |  11 |   0 |   0 |  18 |1225k|4347 | 0.000000e+00 |      --      |    Inf 
1221.45/1221.84	c  1154s|  2440k|627404 |  6854k| 498M|  54 |   - |  60 |3819 | 172 |  60 |  17 |  18 |1230k|4354 | 0.000000e+00 |      --      |    Inf 
1226.76/1227.12	c  1159s|  2450k|629774 |  6882k| 500M|  54 |   7 |  60 |4036 |  37 |  60 |  17 |  18 |1235k|4358 | 0.000000e+00 |      --      |    Inf 
1232.45/1232.84	c  1165s|  2460k|631981 |  6910k| 502M|  54 |   7 |  60 |3291 |   7 |  60 |  17 |  18 |1241k|4362 | 0.000000e+00 |      --      |    Inf 
1237.56/1237.95	c  1170s|  2470k|634555 |  6937k| 504M|  54 |   - |  60 |4144 | 323 |  60 |  17 |  18 |1246k|4376 | 0.000000e+00 |      --      |    Inf 
1242.85/1243.22	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1242.85/1243.22	c  1174s|  2480k|636942 |  6965k| 506M|  54 |   7 |  60 |4646 |  42 |  60 |  17 |  18 |1251k|4384 | 0.000000e+00 |      --      |    Inf 
1248.35/1248.78	c  1180s|  2490k|639282 |  6993k| 508M|  54 |   7 |  60 |4246 | 361 |  60 |  17 |  18 |1256k|4391 | 0.000000e+00 |      --      |    Inf 
1253.95/1254.30	c  1185s|  2500k|641604 |  7021k| 510M|  54 |   - |  60 |3669 |  35 |  60 |  17 |  18 |1261k|4397 | 0.000000e+00 |      --      |    Inf 
1259.05/1259.48	c  1190s|  2510k|644102 |  7049k| 512M|  54 |   7 |  60 |4352 |  26 |  60 |  17 |  18 |1266k|4401 | 0.000000e+00 |      --      |    Inf 
1264.45/1264.83	c  1195s|  2520k|646513 |  7077k| 514M|  54 |   7 |  60 |4400 | 208 |  60 |  17 |  18 |1271k|4403 | 0.000000e+00 |      --      |    Inf 
1269.94/1270.31	c  1200s|  2530k|648860 |  7104k| 516M|  54 |   7 |  60 |3473 |  21 |  60 |  17 |  18 |1277k|4405 | 0.000000e+00 |      --      |    Inf 
1275.34/1275.79	c  1205s|  2540k|651131 |  7133k| 518M|  54 |   - |  60 |3648 |  42 |  60 |  17 |  18 |1282k|4410 | 0.000000e+00 |      --      |    Inf 
1280.74/1281.14	c  1210s|  2550k|653220 |  7161k| 520M|  54 |   7 |  60 |3895 | 308 |  60 |  17 |  18 |1287k|4412 | 0.000000e+00 |      --      |    Inf 
1286.34/1286.77	c  1216s|  2560k|655538 |  7188k| 522M|  54 |   7 |  60 |3628 | 243 |  60 |  17 |  18 |1292k|4414 | 0.000000e+00 |      --      |    Inf 
1291.34/1291.76	c  1221s|  2570k|658083 |  7215k| 524M|  54 |   7 |  60 |4542 |  10 |  60 |  17 |  18 |1297k|4419 | 0.000000e+00 |      --      |    Inf 
1296.94/1297.35	c  1226s|  2580k|660327 |  7242k| 526M|  54 |   7 |  60 |4487 | 185 |  60 |  17 |  18 |1303k|4422 | 0.000000e+00 |      --      |    Inf 
1302.53/1302.97	c  1231s|  2590k|662683 |  7270k| 528M|  54 |   7 |  60 |3721 | 151 |  60 |  17 |  18 |1308k|4429 | 0.000000e+00 |      --      |    Inf 
1307.93/1308.36	c  1236s|  2600k|665011 |  7298k| 530M|  54 |   7 |  60 |3661 |  62 |  60 |  17 |  18 |1313k|4433 | 0.000000e+00 |      --      |    Inf 
1313.13/1313.58	c  1241s|  2610k|667486 |  7326k| 532M|  54 |   - |  60 |4542 |  40 |  60 |  17 |  18 |1318k|4437 | 0.000000e+00 |      --      |    Inf 
1318.83/1319.28	c  1247s|  2620k|669864 |  7354k| 534M|  54 |   7 |  60 |3953 |  53 |  60 |  17 |  18 |1323k|4446 | 0.000000e+00 |      --      |    Inf 
1324.23/1324.63	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1324.23/1324.63	c  1252s|  2630k|672020 |  7382k| 536M|  54 |   - |  60 |3485 | 423 |  60 |  17 |  18 |1328k|4453 | 0.000000e+00 |      --      |    Inf 
1329.33/1329.71	c  1257s|  2640k|674422 |  7409k| 538M|  54 |   7 |  60 |4119 | 126 |  60 |  17 |  18 |1333k|4458 | 0.000000e+00 |      --      |    Inf 
1334.72/1335.18	c  1262s|  2650k|676793 |  7436k| 540M|  54 |   - |  60 |3773 |  37 |  60 |  17 |  18 |1339k|4462 | 0.000000e+00 |      --      |    Inf 
1339.22/1339.61	c  1266s|  2660k|680258 |  7463k| 542M|  54 |   - |  60 |5750 |  22 |  60 |  17 |  18 |1343k|4465 | 0.000000e+00 |      --      |    Inf 
1344.42/1344.89	c  1271s|  2670k|683049 |  7491k| 544M|  54 |   7 |  60 |6066 |  38 |  60 |  17 |  18 |1348k|4466 | 0.000000e+00 |      --      |    Inf 
1349.72/1350.11	c  1276s|  2680k|685990 |  7518k| 547M|  54 |   7 |  60 |6593 | 284 |  60 |  17 |  18 |1352k|4470 | 0.000000e+00 |      --      |    Inf 
1355.52/1355.99	c  1282s|  2690k|688632 |  7544k| 548M|  54 |   7 |  60 |4977 |  92 |  60 |  17 |  18 |1357k|4471 | 0.000000e+00 |      --      |    Inf 
1361.42/1361.87	c  1287s|  2700k|690724 |  7571k| 550M|  54 |   - |  60 |4033 |  37 |  60 |  17 |  18 |1363k|4471 | 0.000000e+00 |      --      |    Inf 
1366.92/1367.33	c  1292s|  2710k|693088 |  7600k| 552M|  54 |   7 |  60 |5123 | 241 |  60 |  17 |  18 |1368k|4477 | 0.000000e+00 |      --      |    Inf 
1372.71/1373.18	c  1298s|  2720k|695286 |  7628k| 554M|  54 |   - |  60 |4308 |  38 |   0 |   0 |  18 |1373k|4483 | 0.000000e+00 |      --      |    Inf 
1378.01/1378.43	c  1303s|  2730k|697806 |  7656k| 556M|  54 |   - |  60 |4266 | 184 |  60 |  17 |  18 |1378k|4488 | 0.000000e+00 |      --      |    Inf 
1383.50/1383.93	c  1308s|  2740k|699999 |  7684k| 558M|  54 |   7 |  60 |4043 | 198 |  60 |  17 |  18 |1383k|4491 | 0.000000e+00 |      --      |    Inf 
1388.71/1389.19	c  1313s|  2750k|702428 |  7711k| 560M|  54 |   - |  60 |4617 |  40 |  60 |  17 |  18 |1388k|4492 | 0.000000e+00 |      --      |    Inf 
1394.51/1394.96	c  1318s|  2760k|704584 |  7739k| 562M|  54 |   - |  60 |3774 | 162 |  60 |  17 |  18 |1393k|4496 | 0.000000e+00 |      --      |    Inf 
1400.10/1400.51	c  1324s|  2770k|706786 |  7767k| 564M|  54 |   7 |  60 |3894 | 137 |  60 |  17 |  18 |1399k|4507 | 0.000000e+00 |      --      |    Inf 
1405.60/1406.07	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1405.60/1406.07	c  1329s|  2780k|708838 |  7795k| 566M|  54 |   - |  60 |3817 | 215 |  60 |  17 |  18 |1404k|4511 | 0.000000e+00 |      --      |    Inf 
1411.00/1411.45	c  1334s|  2790k|711232 |  7823k| 568M|  54 |   - |  60 |3631 |  61 |  60 |  17 |  18 |1409k|4518 | 0.000000e+00 |      --      |    Inf 
1416.31/1416.75	c  1339s|  2800k|713545 |  7851k| 570M|  54 |   7 |  60 |3886 |  29 |  60 |  17 |  18 |1414k|4518 | 0.000000e+00 |      --      |    Inf 
1421.69/1422.13	c  1344s|  2810k|715886 |  7881k| 572M|  54 |   - |  60 |3612 |  79 |  60 |  17 |  18 |1419k|4522 | 0.000000e+00 |      --      |    Inf 
1426.80/1427.29	c  1349s|  2820k|718335 |  7908k| 574M|  54 |   - |  60 |4036 | 198 |  60 |  17 |  18 |1424k|4527 | 0.000000e+00 |      --      |    Inf 
1431.99/1432.46	c  1354s|  2830k|720677 |  7935k| 576M|  54 |   7 |  60 |4557 | 820 |  60 |  17 |  18 |1429k|4528 | 0.000000e+00 |      --      |    Inf 
1437.50/1437.91	c  1359s|  2840k|723072 |  7963k| 578M|  54 |   7 |  60 |4274 |  35 |  60 |  17 |  18 |1434k|4528 | 0.000000e+00 |      --      |    Inf 
1442.99/1443.49	c  1364s|  2850k|725315 |  7991k| 580M|  54 |   - |  60 |4025 | 150 |  60 |  17 |  18 |1440k|4531 | 0.000000e+00 |      --      |    Inf 
1448.30/1448.73	c  1369s|  2860k|727793 |  8018k| 582M|  54 |   7 |  60 |5404 |  47 |  60 |  17 |  18 |1445k|4533 | 0.000000e+00 |      --      |    Inf 
1454.19/1454.64	c  1375s|  2870k|730042 |  8045k| 584M|  54 |   7 |  60 |4728 | 150 |  60 |  17 |  18 |1450k|4543 | 0.000000e+00 |      --      |    Inf 
1459.89/1460.33	c  1380s|  2880k|732474 |  8073k| 585M|  54 |   7 |  60 |3902 |  47 |  60 |  17 |  18 |1455k|4555 | 0.000000e+00 |      --      |    Inf 
1464.69/1465.16	c  1385s|  2890k|735537 |  8100k| 588M|  54 |   - |  60 |5434 |  33 |  60 |  17 |  18 |1460k|4560 | 0.000000e+00 |      --      |    Inf 
1470.19/1470.62	c  1390s|  2900k|738245 |  8128k| 590M|  54 |   7 |  60 |6228 |  14 |  60 |  17 |  18 |1465k|4564 | 0.000000e+00 |      --      |    Inf 
1475.58/1476.03	c  1395s|  2910k|741204 |  8156k| 593M|  54 |   7 |  60 |6588 | 179 |  60 |  17 |  18 |1469k|4568 | 0.000000e+00 |      --      |    Inf 
1481.88/1482.36	c  1401s|  2920k|743464 |  8184k| 594M|  54 |   - |  60 |4494 |  42 |  60 |  17 |  18 |1475k|4573 | 0.000000e+00 |      --      |    Inf 
1487.58/1488.06	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1487.58/1488.06	c  1407s|  2930k|745879 |  8212k| 596M|  54 |   - |  60 |4200 |  15 |  60 |  17 |  18 |1480k|4581 | 0.000000e+00 |      --      |    Inf 
1492.78/1493.28	c  1412s|  2940k|748317 |  8240k| 598M|  54 |   - |  60 |4732 |  22 |  60 |  17 |  18 |1485k|4592 | 0.000000e+00 |      --      |    Inf 
1498.38/1498.80	c  1417s|  2950k|750837 |  8267k| 600M|  54 |   7 |  60 |4250 |  90 |  60 |  17 |  18 |1490k|4598 | 0.000000e+00 |      --      |    Inf 
1504.07/1504.53	c  1422s|  2960k|753042 |  8295k| 602M|  54 |   7 |  60 |3818 |  20 |  60 |  17 |  18 |1495k|4604 | 0.000000e+00 |      --      |    Inf 
1509.47/1509.94	c  1427s|  2970k|755530 |  8323k| 604M|  54 |   7 |  60 |4111 |  89 |  60 |  17 |  18 |1500k|4612 | 0.000000e+00 |      --      |    Inf 
1514.57/1515.05	c  1432s|  2980k|758173 |  8350k| 606M|  54 |   - |  60 |4672 |  73 |  60 |  17 |  18 |1505k|4614 | 0.000000e+00 |      --      |    Inf 
1519.97/1520.49	c  1438s|  2990k|760534 |  8377k| 608M|  54 |   7 |  60 |4270 |  14 |  60 |  17 |  18 |1510k|4620 | 0.000000e+00 |      --      |    Inf 
1525.47/1525.98	c  1443s|  3000k|762778 |  8404k| 610M|  54 |   7 |  60 |4071 | 188 |  60 |  17 |  18 |1515k|4621 | 0.000000e+00 |      --      |    Inf 
1530.96/1531.41	c  1448s|  3010k|765140 |  8433k| 612M|  54 |   - |  60 |4527 |  20 |  60 |  17 |  18 |1520k|4626 | 0.000000e+00 |      --      |    Inf 
1536.37/1536.89	c  1453s|  3020k|767597 |  8461k| 614M|  54 |   - |  60 |4350 |  19 |  60 |  17 |  18 |1525k|4634 | 0.000000e+00 |      --      |    Inf 
1541.97/1542.45	c  1458s|  3030k|769784 |  8489k| 616M|  54 |   7 |  60 |4239 |  61 |  60 |  17 |  18 |1531k|4639 | 0.000000e+00 |      --      |    Inf 
1547.36/1547.85	c  1463s|  3040k|772056 |  8516k| 618M|  54 |   7 |  60 |4168 | 102 |  60 |  17 |  18 |1536k|4648 | 0.000000e+00 |      --      |    Inf 
1552.95/1553.48	c  1469s|  3050k|774318 |  8544k| 620M|  54 |   7 |  60 |3970 | 105 |  60 |  17 |  18 |1541k|4653 | 0.000000e+00 |      --      |    Inf 
1558.45/1558.94	c  1474s|  3060k|776739 |  8572k| 622M|  54 |   7 |  60 |4440 |  20 |  60 |  17 |  18 |1546k|4655 | 0.000000e+00 |      --      |    Inf 
1563.66/1564.19	c  1479s|  3070k|779272 |  8599k| 624M|  54 |   7 |  60 |5346 |  35 |  60 |  17 |  18 |1551k|4663 | 0.000000e+00 |      --      |    Inf 
1569.55/1570.00	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1569.55/1570.00	c  1484s|  3080k|781688 |  8627k| 626M|  54 |   - |  60 |4397 |  77 |  60 |  17 |  18 |1556k|4668 | 0.000000e+00 |      --      |    Inf 
1575.25/1575.73	c  1490s|  3090k|783934 |  8655k| 628M|  54 |   7 |  60 |3908 |  38 |  60 |  17 |  18 |1561k|4677 | 0.000000e+00 |      --      |    Inf 
1580.05/1580.50	c  1494s|  3100k|787221 |  8682k| 630M|  54 |   7 |  60 |5669 |  82 |  60 |  17 |  18 |1566k|4681 | 0.000000e+00 |      --      |    Inf 
1585.25/1585.71	c  1499s|  3110k|790141 |  8709k| 632M|  54 |   - |  60 |5901 |  11 |  60 |  17 |  18 |1570k|4686 | 0.000000e+00 |      --      |    Inf 
1590.55/1591.05	c  1504s|  3120k|793189 |  8736k| 635M|  54 |   7 |  60 |6474 | 323 |  60 |  17 |  18 |1575k|4687 | 0.000000e+00 |      --      |    Inf 
1596.25/1596.78	c  1510s|  3130k|795752 |  8762k| 637M|  54 |   7 |  60 |6787 |  83 |  60 |  17 |  18 |1580k|4693 | 0.000000e+00 |      --      |    Inf 
1602.05/1602.54	c  1515s|  3140k|798449 |  8789k| 639M|  54 |   7 |  60 |7185 | 517 |  60 |  17 |  18 |1585k|4696 | 0.000000e+00 |      --      |    Inf 
1608.34/1608.87	c  1521s|  3150k|800678 |  8816k| 640M|  54 |   7 |  60 |4930 |  68 |  60 |  17 |  18 |1590k|4696 | 0.000000e+00 |      --      |    Inf 
1614.64/1615.10	c  1527s|  3160k|802780 |  8844k| 642M|  54 |   7 |  60 |4279 | 204 |  60 |  17 |  18 |1595k|4696 | 0.000000e+00 |      --      |    Inf 
1620.24/1620.72	c  1533s|  3170k|804978 |  8872k| 644M|  54 |   - |  60 |4335 | 356 |  60 |  17 |  18 |1600k|4696 | 0.000000e+00 |      --      |    Inf 
1625.94/1626.49	c  1538s|  3180k|807280 |  8900k| 646M|  54 |   - |  60 |4133 |  15 |  60 |  17 |  18 |1606k|4696 | 0.000000e+00 |      --      |    Inf 
1631.63/1632.14	c  1544s|  3190k|809377 |  8927k| 648M|  54 |   7 |  60 |4504 | 222 |  60 |  17 |  18 |1611k|4696 | 0.000000e+00 |      --      |    Inf 
1636.93/1637.42	c  1549s|  3200k|811856 |  8954k| 650M|  54 |   - |  60 |5493 | 209 |  60 |  17 |  18 |1616k|4697 | 0.000000e+00 |      --      |    Inf 
1642.63/1643.13	c  1554s|  3210k|814128 |  8982k| 652M|  54 |   7 |  60 |4280 |  42 |  60 |  17 |  18 |1621k|4702 | 0.000000e+00 |      --      |    Inf 
1648.63/1649.14	c  1560s|  3220k|816282 |  9010k| 654M|  54 |   - |  60 |3971 |  53 |  60 |  17 |  18 |1626k|4716 | 0.000000e+00 |      --      |    Inf 
1654.13/1654.63	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1654.13/1654.63	c  1565s|  3230k|818670 |  9038k| 656M|  54 |   - |  60 |4471 |  34 |  60 |  17 |  18 |1631k|4727 | 0.000000e+00 |      --      |    Inf 
1659.33/1659.86	c  1570s|  3240k|821178 |  9065k| 658M|  54 |   - |  60 |5767 |  59 |  60 |  17 |  18 |1637k|4729 | 0.000000e+00 |      --      |    Inf 
1665.32/1665.82	c  1576s|  3250k|823369 |  9093k| 660M|  54 |   - |  60 |3914 |  55 |  60 |  17 |  18 |1642k|4735 | 0.000000e+00 |      --      |    Inf 
1670.73/1671.20	c  1581s|  3260k|825775 |  9122k| 662M|  54 |   - |  60 |4586 |  19 |  60 |  17 |  18 |1647k|4742 | 0.000000e+00 |      --      |    Inf 
1675.82/1676.39	c  1586s|  3270k|828413 |  9150k| 664M|  54 |   7 |  60 |5105 |  55 |  60 |  17 |  18 |1652k|4746 | 0.000000e+00 |      --      |    Inf 
1681.12/1681.69	c  1591s|  3280k|830982 |  9178k| 666M|  54 |   7 |  60 |5404 | 262 |  60 |  17 |  18 |1657k|4752 | 0.000000e+00 |      --      |    Inf 
1687.02/1687.56	c  1596s|  3290k|833063 |  9207k| 668M|  54 |   7 |  60 |4985 | 147 |  60 |  17 |  18 |1663k|4762 | 0.000000e+00 |      --      |    Inf 
1692.72/1693.27	c  1602s|  3300k|835492 |  9233k| 670M|  54 |   - |  60 |5167 |  67 |  60 |  17 |  18 |1668k|4763 | 0.000000e+00 |      --      |    Inf 
1698.32/1698.83	c  1607s|  3310k|837882 |  9260k| 672M|  54 |   7 |  60 |5165 |  15 |  60 |  17 |  18 |1673k|4764 | 0.000000e+00 |      --      |    Inf 
1703.92/1704.46	c  1612s|  3320k|840314 |  9288k| 674M|  54 |   7 |  60 |4468 |  52 |  60 |  17 |  18 |1678k|4774 | 0.000000e+00 |      --      |    Inf 
1709.32/1709.80	c  1617s|  3330k|842989 |  9318k| 676M|  54 |   - |  60 |5917 |  16 |  60 |  17 |  18 |1683k|4776 | 0.000000e+00 |      --      |    Inf 
1714.71/1715.28	c  1622s|  3340k|845769 |  9346k| 679M|  54 |   7 |  60 |7271 |  37 |  60 |  17 |  18 |1687k|4781 | 0.000000e+00 |      --      |    Inf 
1721.21/1721.75	c  1629s|  3350k|848090 |  9374k| 680M|  54 |   7 |  60 |4919 |  25 |  60 |  17 |  18 |1693k|4781 | 0.000000e+00 |      --      |    Inf 
1727.10/1727.66	c  1634s|  3360k|850158 |  9401k| 682M|  54 |   7 |  60 |4712 |  99 |  60 |  17 |  18 |1698k|4781 | 0.000000e+00 |      --      |    Inf 
1732.70/1733.22	c  1640s|  3370k|852457 |  9429k| 684M|  54 |   7 |  60 |5696 | 193 |  60 |  17 |  18 |1703k|4784 | 0.000000e+00 |      --      |    Inf 
1738.51/1739.01	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1738.51/1739.01	c  1645s|  3380k|854922 |  9457k| 686M|  54 |   7 |  60 |5192 | 136 |  60 |  17 |  18 |1708k|4787 | 0.000000e+00 |      --      |    Inf 
1744.30/1744.87	c  1651s|  3390k|857176 |  9484k| 688M|  54 |   - |  60 |4257 |  40 |   0 |   0 |  18 |1713k|4794 | 0.000000e+00 |      --      |    Inf 
1749.90/1750.48	c  1656s|  3400k|859277 |  9512k| 690M|  54 |   7 |  60 |4071 |  38 |  60 |  17 |  18 |1718k|4795 | 0.000000e+00 |      --      |    Inf 
1755.60/1756.17	c  1661s|  3410k|861509 |  9539k| 692M|  54 |   7 |  60 |3618 | 136 |  60 |  17 |  18 |1724k|4795 | 0.000000e+00 |      --      |    Inf 
1760.90/1761.42	c  1666s|  3420k|864019 |  9567k| 694M|  54 |   7 |  60 |4461 |  35 |  60 |  17 |  18 |1729k|4800 | 0.000000e+00 |      --      |    Inf 
1766.59/1767.13	c  1672s|  3430k|866264 |  9595k| 696M|  54 |   - |  60 |4189 |  63 |  60 |  17 |  18 |1734k|4805 | 0.000000e+00 |      --      |    Inf 
1772.29/1772.82	c  1677s|  3440k|868419 |  9622k| 698M|  54 |   7 |  60 |4571 | 252 |  60 |  17 |  18 |1739k|4813 | 0.000000e+00 |      --      |    Inf 
1777.89/1778.43	c  1683s|  3450k|870885 |  9650k| 700M|  54 |   7 |  60 |4399 | 305 |  60 |  17 |  18 |1744k|4819 | 0.000000e+00 |      --      |    Inf 
1783.19/1783.78	c  1688s|  3460k|873293 |  9677k| 702M|  54 |   7 |  60 |5134 |  62 |  60 |  17 |  18 |1749k|4824 | 0.000000e+00 |      --      |    Inf 
1788.59/1789.15	c  1693s|  3470k|875972 |  9706k| 704M|  54 |   - |  60 |6032 |  10 |  60 |  17 |  18 |1754k|4834 | 0.000000e+00 |      --      |    Inf 
1794.49/1795.07	c  1698s|  3480k|878490 |  9734k| 706M|  54 |   7 |  60 |5879 |  38 |  60 |  17 |  18 |1759k|4841 | 0.000000e+00 |      --      |    Inf 
1800.09/1800.61	c 
1800.09/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.61	c Solving Time (sec) : 1703.65
1800.09/1800.61	c Solving Nodes      : 3489122
1800.09/1800.61	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.09/1800.61	c Dual Bound         : +0.00000000000000e+00
1800.09/1800.61	c Gap                : infinite
1800.09/1800.61	c NODE         3489122
1800.09/1800.61	c DUAL BOUND   0
1800.09/1800.61	c PRIMAL BOUND 1e+20
1800.09/1800.61	c GAP          1e+20
1800.09/1800.61	s UNKNOWN
1800.09/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.61	c Solving Time       :    1703.65
1800.09/1800.61	c Original Problem   :
1800.09/1800.61	c   Problem name     : HOME/instance-1869524-1245176467.opb
1800.09/1800.61	c   Variables        : 61 (61 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.61	c   Constraints      : 15 initial, 15 maximal
1800.09/1800.61	c Presolved Problem  :
1800.09/1800.61	c   Problem name     : t_HOME/instance-1869524-1245176467.opb
1800.09/1800.61	c   Variables        : 60 (60 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.61	c   Constraints      : 7 initial, 8372 maximal
1800.09/1800.61	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.09/1800.61	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.61	c   dualfix          :       0.00          1          0          0          0          0          0          0          0
1800.09/1800.61	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.61	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.61	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.61	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.09/1800.61	c   linear           :       0.00          0          0          0          0          0          8          0          0
1800.09/1800.61	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.61	c   root node        :          -          0          -          -          0          -          -          -          -
1800.09/1800.61	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.61	c   integral         :          0          0          0    2194848          0        626       2212          0          0    4384204
1800.09/1800.61	c   linear           :          7          6    8124138          0          0     109096    2938606          0          0          0
1800.09/1800.61	c   logicor          :          0+         0    3472898          0          0       4787    1228005          0          0          0
1800.09/1800.61	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.09/1800.61	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.09/1800.61	c   integral         :      25.42       0.00       0.00      25.42       0.00
1800.09/1800.61	c   linear           :     383.84       0.00     383.84       0.00       0.00
1800.09/1800.61	c   logicor          :     299.90       0.00     299.90       0.00       0.00
1800.09/1800.61	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.09/1800.61	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.09/1800.61	c   rootredcost      :       2.87          0          0          0
1800.09/1800.61	c   pseudoobj        :       2.06          0          0          0
1800.09/1800.61	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.09/1800.61	c   propagation      :      16.02     113883     102912     386890       42.2         19       34.4          -
1800.09/1800.61	c   infeasible LP    :      81.31    1191954    1191912    2338562       28.1      15890       32.7          0
1800.09/1800.61	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.61	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.61	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.09/1800.61	c   applied globally :          -          -          -    1484665       23.1          -          -          -
1800.09/1800.61	c   applied locally  :          -          -          -     279740       37.0          -          -          -
1800.09/1800.61	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.09/1800.61	c   cut pool         :       0.00          5          -          -          9          -    (maximal pool size: 71)
1800.09/1800.61	c   redcost          :       5.21    2194852          0          0          0          0
1800.09/1800.61	c   impliedbounds    :       0.00          6          0          0          0          0
1800.09/1800.61	c   intobj           :       0.00          0          0          0          0          0
1800.09/1800.61	c   gomory           :       0.01          6          0          0          0          0
1800.09/1800.61	c   strongcg         :       0.00          6          0          0         34          0
1800.09/1800.61	c   cmir             :       0.01          6          0          0         20          0
1800.09/1800.61	c   flowcover        :       0.03          6          0          0         28          0
1800.09/1800.61	c   clique           :       0.00          1          0          0          0          0
1800.09/1800.61	c   zerohalf         :       0.00          0          0          0          0          0
1800.09/1800.61	c   mcf              :       0.00          1          0          0          0          0
1800.09/1800.61	c Pricers            :       Time      Calls       Vars
1800.09/1800.61	c   problem variables:       0.00          0          0
1800.09/1800.61	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.61	c   relpscost        :      23.31    2194848        626       2212          0          0    4384204
1800.09/1800.61	c   pscost           :       0.00          0          0          0          0          0          0
1800.09/1800.61	c   inference        :       0.00          0          0          0          0          0          0
1800.09/1800.61	c   mostinf          :       0.00          0          0          0          0          0          0
1800.09/1800.61	c   leastinf         :       0.00          0          0          0          0          0          0
1800.09/1800.61	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.09/1800.61	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.09/1800.61	c   random           :       0.00          0          0          0          0          0          0
1800.09/1800.61	c Primal Heuristics  :       Time      Calls      Found
1800.09/1800.61	c   LP solutions     :       0.00          -          0
1800.09/1800.61	c   pseudo solutions :       0.00          -          0
1800.09/1800.61	c   oneopt           :       1.61          0          0
1800.09/1800.61	c   crossover        :       0.83          0          0
1800.09/1800.61	c   guideddiving     :       0.12          0          0
1800.09/1800.61	c   objpscostdiving  :       0.17         32          0
1800.09/1800.61	c   rootsoldiving    :       0.18         32          0
1800.09/1800.61	c   coefdiving       :       0.13         64          0
1800.09/1800.61	c   pscostdiving     :       0.13         64          0
1800.09/1800.61	c   fracdiving       :       0.21         64          0
1800.09/1800.61	c   veclendiving     :       0.13         64          0
1800.09/1800.61	c   linesearchdiving :       0.21         64          0
1800.09/1800.61	c   feaspump         :       0.13         33          0
1800.09/1800.61	c   simplerounding   :       0.98          0          0
1800.09/1800.61	c   rounding         :       2.29      20874          0
1800.09/1800.61	c   shifting         :       5.22       6596          0
1800.09/1800.61	c   intshifting      :       0.13          0          0
1800.09/1800.61	c   fixandinfer      :       0.00          0          0
1800.09/1800.61	c   intdiving        :       0.00          0          0
1800.09/1800.61	c   actconsdiving    :       0.00          0          0
1800.09/1800.61	c   octane           :       0.00          0          0
1800.09/1800.61	c   rens             :       0.03          1          0
1800.09/1800.61	c   rins             :       0.00          0          0
1800.09/1800.61	c   localbranching   :       0.00          0          0
1800.09/1800.61	c   mutation         :       0.00          0          0
1800.09/1800.61	c   dins             :       0.00          0          0
1800.09/1800.61	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.09/1800.61	c   primal LP        :       0.00          0          0       0.00          -
1800.09/1800.61	c   dual LP          :     375.82    3318475    9755846       2.94   25958.83
1800.09/1800.61	c   barrier LP       :       0.00          0          0       0.00          -
1800.09/1800.61	c   diving/probing LP:       0.16       1711       3568       2.09   22300.00
1800.09/1800.61	c   strong branching :       1.17       4845      24133       4.98   20626.50
1800.09/1800.61	c     (at root node) :          -         17        517      30.41          -
1800.09/1800.61	c   conflict analysis:       0.00          0          0       0.00          -
1800.09/1800.61	c B&B Tree           :
1800.09/1800.61	c   number of runs   :          1
1800.09/1800.61	c   nodes            :    3489122
1800.09/1800.61	c   nodes (total)    :    3489122
1800.09/1800.61	c   nodes left       :     880592
1800.09/1800.61	c   max depth        :         54
1800.09/1800.61	c   max depth (total):         54
1800.09/1800.61	c   backtracks       :     370549 (10.6%)
1800.09/1800.61	c   delayed cutoffs  :      14491
1800.09/1800.61	c   repropagations   :    3139619 (1244254 domain reductions, 8666 cutoffs)
1800.09/1800.61	c   avg switch length:       5.47
1800.09/1800.61	c   switching time   :     295.86
1800.09/1800.61	c Solution           :
1800.09/1800.61	c   Solutions found  :          0 (0 improvements)
1800.09/1800.61	c   Primal Bound     :          -
1800.09/1800.61	c   Dual Bound       : +0.00000000000000e+00
1800.09/1800.61	c   Gap              :   infinite
1800.09/1800.61	c   Root Dual Bound  : +0.00000000000000e+00

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869524-1245176467/watcher-1869524-1245176467 -o /tmp/evaluation-result-1869524-1245176467/solver-1869524-1245176467 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869524-1245176467.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 10989
/proc/meminfo: memFree=1850800/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=4648 CPUtime=0
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 499 0 0 0 0 0 0 0 18 0 1 0 185242834 4759552 483 1992294400 4194304 7823515 548682068736 18446744073709551615 5976930 0 0 4096 0 0 0 0 17 1 0 0
/proc/10989/statm: 1082 485 320 886 0 192 0

[startup+0.085656 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 10989
/proc/meminfo: memFree=1850800/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=12848 CPUtime=0.08
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 2761 0 0 0 7 1 0 0 18 0 1 0 185242834 13156352 2389 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 3212 2389 544 886 0 2322 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12848

[startup+0.101658 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 10989
/proc/meminfo: memFree=1850800/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=12848 CPUtime=0.09
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 2765 0 0 0 8 1 0 0 18 0 1 0 185242834 13156352 2393 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 3212 2393 544 886 0 2322 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12848

[startup+0.301675 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 10989
/proc/meminfo: memFree=1850800/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=15028 CPUtime=0.29
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 4239 0 0 0 26 3 0 0 19 0 1 0 185242834 15388672 2968 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 3757 2968 566 886 0 2867 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15028

[startup+0.701711 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 10989
/proc/meminfo: memFree=1850800/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=15028 CPUtime=0.69
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 4240 0 0 0 63 6 0 0 22 0 1 0 185242834 15388672 2969 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 3757 2969 566 886 0 2867 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15028

[startup+1.50178 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 10990
/proc/meminfo: memFree=1840936/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=15028 CPUtime=1.49
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 4243 0 0 0 137 12 0 0 25 0 1 0 185242834 15388672 2972 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 3757 2972 566 886 0 2867 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15028

[startup+3.10192 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 10990
/proc/meminfo: memFree=1840744/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=15968 CPUtime=3.09
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 4508 0 0 0 287 22 0 0 25 0 1 0 185242834 16351232 3237 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 3992 3237 566 886 0 3102 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15968

[startup+6.3012 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 10990
/proc/meminfo: memFree=1837680/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=18604 CPUtime=6.29
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 5161 0 0 0 584 45 0 0 25 0 1 0 185242834 19050496 3890 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 4651 3890 566 886 0 3761 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18604

[startup+12.7028 s]
/proc/loadavg: 0.87 0.97 0.99 2/65 10990
/proc/meminfo: memFree=1834160/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=22548 CPUtime=12.68
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 6136 0 0 0 1178 90 0 0 25 0 1 0 185242834 23089152 4865 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 5637 4865 566 886 0 4747 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22548

[startup+25.5019 s]
/proc/loadavg: 0.90 0.97 0.99 2/65 10990
/proc/meminfo: memFree=1826232/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=29764 CPUtime=25.48
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 7981 0 0 0 2374 174 0 0 25 0 1 0 185242834 30478336 6710 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 7441 6710 566 886 0 6551 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29764

[startup+51.1011 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 10990
/proc/meminfo: memFree=1812600/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=42976 CPUtime=51.07
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 11383 0 0 0 4775 332 0 0 25 0 1 0 185242834 44007424 10112 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 10744 10112 566 886 0 9854 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 42976

[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.99 2/65 10990
/proc/meminfo: memFree=1784952/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=71536 CPUtime=102.26
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 18219 0 0 0 9576 650 0 0 25 0 1 0 185242834 73252864 16948 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 17884 16948 566 886 0 16994 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 71536

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10990
/proc/meminfo: memFree=1756536/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=99928 CPUtime=162.24
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 25396 0 0 0 15209 1015 0 0 25 0 1 0 185242834 102326272 24125 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 24982 24125 566 886 0 24092 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 99928

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10990
/proc/meminfo: memFree=1726840/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=128884 CPUtime=222.22
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 32691 0 0 0 20859 1363 0 0 25 0 1 0 185242834 131977216 31420 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 32221 31420 566 886 0 31331 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 128884

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10990
/proc/meminfo: memFree=1700920/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=154272 CPUtime=282.21
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 39139 0 0 0 26512 1709 0 0 25 0 1 0 185242834 157974528 37868 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 38568 37868 566 886 0 37678 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 154272

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10990
/proc/meminfo: memFree=1674680/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=184204 CPUtime=342.19
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 45683 0 0 0 32160 2059 0 0 25 0 1 0 185242834 188624896 44412 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 46051 44412 566 886 0 45161 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 184204

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10990
/proc/meminfo: memFree=1649592/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=208816 CPUtime=402.18
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 51937 0 0 0 37827 2391 0 0 25 0 1 0 185242834 213827584 50666 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 52204 50666 566 886 0 51314 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 208816

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10990
/proc/meminfo: memFree=1621496/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=236164 CPUtime=462.15
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 58915 0 0 0 43494 2721 0 0 25 0 1 0 185242834 241831936 57644 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 59041 57644 566 886 0 58151 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 236164

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10990
/proc/meminfo: memFree=1597176/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=260284 CPUtime=522.14
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 65036 0 0 0 49168 3046 0 0 25 0 1 0 185242834 266530816 63765 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 65071 63765 566 886 0 64181 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 260284

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10990
/proc/meminfo: memFree=1571064/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=287280 CPUtime=582.13
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 71852 0 0 0 54843 3370 0 0 25 0 1 0 185242834 294174720 70581 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 71820 70581 566 886 0 70930 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 287280

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10990
/proc/meminfo: memFree=1549304/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=306628 CPUtime=642.11
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 76868 0 0 0 60510 3701 0 0 25 0 1 0 185242834 313987072 75597 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 76657 75597 566 886 0 75767 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 306628

[startup+702.301 s]

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

/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 118258 0 0 0 100318 5882 0 0 25 0 1 0 185242834 489185280 116987 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 119430 116987 566 886 0 118540 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 477720

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10990
/proc/meminfo: memFree=1358328/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=501660 CPUtime=1121.98
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 124390 0 0 0 105996 6202 0 0 25 0 1 0 185242834 513699840 123119 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 125415 123119 566 886 0 124525 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 501660

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10990
/proc/meminfo: memFree=1336632/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=522256 CPUtime=1181.96
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 129686 0 0 0 111681 6515 0 0 25 0 1 0 185242834 534790144 128415 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 130564 128415 566 886 0 129674 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 522256

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10990
/proc/meminfo: memFree=1312824/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=545260 CPUtime=1241.95
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 135617 0 0 0 117362 6833 0 0 25 0 1 0 185242834 558346240 134346 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 136315 134346 566 886 0 135425 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 545260

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10990
/proc/meminfo: memFree=1292280/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=565808 CPUtime=1301.93
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 140707 0 0 0 123060 7133 0 0 25 0 1 0 185242834 579387392 139436 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 141452 139436 566 886 0 140562 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 565808

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10990
/proc/meminfo: memFree=1269880/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=587520 CPUtime=1361.92
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 146271 0 0 0 128748 7444 0 0 25 0 1 0 185242834 601620480 145000 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 146880 145000 566 886 0 145990 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 587520

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10990
/proc/meminfo: memFree=1247224/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=609476 CPUtime=1421.91
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 151902 0 0 0 134434 7757 0 0 25 0 1 0 185242834 624103424 150631 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 152369 150631 566 886 0 151479 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 609476

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10990
/proc/meminfo: memFree=1224440/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=631868 CPUtime=1481.88
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 157656 0 0 0 140127 8061 0 0 25 0 1 0 185242834 647032832 156385 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 157967 156385 566 886 0 157077 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 631868

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10990
/proc/meminfo: memFree=1201272/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=654704 CPUtime=1541.86
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 163299 0 0 0 145820 8366 0 0 25 0 1 0 185242834 670416896 162028 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 163676 162028 566 886 0 162786 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 654704

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10990
/proc/meminfo: memFree=1181560/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=673724 CPUtime=1601.84
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 168199 0 0 0 151517 8667 0 0 25 0 1 0 185242834 689893376 166928 1992294400 4194304 7823515 548682068736 18446744073709551615 4539774 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 168431 166928 566 886 0 167541 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 673724

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10990
/proc/meminfo: memFree=1158520/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=696200 CPUtime=1661.82
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 173923 0 0 0 157218 8964 0 0 25 0 1 0 185242834 712908800 172652 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 174050 172652 566 886 0 173160 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 696200

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10990
/proc/meminfo: memFree=1135032/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=718988 CPUtime=1721.8
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 179774 0 0 0 162920 9260 0 0 25 0 1 0 185242834 736243712 178503 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 179747 178503 566 886 0 178857 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 718988

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10990
/proc/meminfo: memFree=1113976/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=739296 CPUtime=1781.79
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 185021 0 0 0 168621 9558 0 0 25 0 1 0 185242834 757039104 183750 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 184824 183750 566 886 0 183934 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 739296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10990
/proc/meminfo: memFree=1108536/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=744544 CPUtime=1800.09
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 186341 0 0 0 170365 9644 0 0 25 0 1 0 185242834 762413056 185070 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10989/statm: 186136 185070 566 886 0 185246 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 744544

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -10989

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

[startup+1801.4 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10990
/proc/meminfo: memFree=1108536/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=744544 CPUtime=1800.88
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 186343 0 0 0 170444 9644 0 0 25 0 1 0 185242834 762413056 185072 1992294400 4194304 7823515 548682068736 18446744073709551615 4745004 0 0 4096 0 0 0 0 17 0 0 0
/proc/10989/statm: 186136 185072 568 886 0 185246 0
Current children cumulated CPU time (s) 1800.88
Current children cumulated vsize (KiB) 744544

[startup+1802.2 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 10991
/proc/meminfo: memFree=1108528/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=744544 CPUtime=1801.67
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 186343 0 0 0 170523 9644 0 0 25 0 1 0 185242834 762413056 185072 1992294400 4194304 7823515 548682068736 18446744073709551615 5875714 0 0 4096 0 0 0 0 17 1 0 0
/proc/10989/statm: 186136 185072 568 886 0 185246 0
Current children cumulated CPU time (s) 1801.67
Current children cumulated vsize (KiB) 744544

[startup+1802.6 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 10991
/proc/meminfo: memFree=1108528/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=744544 CPUtime=1802.07
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4194304 186343 0 0 0 170563 9644 0 0 25 0 1 0 185242834 762413056 185072 1992294400 4194304 7823515 548682068736 18446744073709551615 5875265 0 0 4096 0 0 0 0 17 1 0 0
/proc/10989/statm: 186136 185072 568 886 0 185246 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 744544

[startup+1802.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 10991
/proc/meminfo: memFree=1108528/2055920 swapFree=4182220/4192956
[pid=10989] ppid=10987 vsize=0 CPUtime=1802.17
/proc/10989/stat : 10989 (pbscip.linux.x8) R 10987 10989 10952 0 -1 4195332 186343 0 0 0 170564 9653 0 0 25 0 1 0 185242834 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/10989/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.17
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.73
CPU time (s): 1802.22
CPU user time (s): 1705.65
CPU system time (s): 96.5703
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 744544

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

runsolver used 1.45778 second user time and 3.72543 second system time

The end

Launcher Data 

Begin job on node50 at 2009-06-16 20:21:07
IDJOB=1869524
IDBENCH=2917
IDSOLVER=683
FILE ID=node50/1869524-1245176467
PBS_JOBID= 9368273
Free space on /tmp= 66424 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-market-split_7_60_4.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-1869524-1245176467/watcher-1869524-1245176467 -o /tmp/evaluation-result-1869524-1245176467/solver-1869524-1245176467 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869524-1245176467.opb

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

MD5SUM BENCH= dc0116cc9dd2d87e5a6934d46be3ef43
RANDOM SEED=1220275739

node50.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.211
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	: 5914.62
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.211
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:       1851280 kB
Buffers:         16320 kB
Cached:         114148 kB
SwapCached:       4580 kB
Active:          29860 kB
Inactive:       107904 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1851280 kB
SwapTotal:     4192956 kB
SwapFree:      4182220 kB
Dirty:            9964 kB
Writeback:           0 kB
Mapped:          13296 kB
Slab:            52812 kB
Committed_AS:   108920 kB
PageTables:       1452 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= 66416 MiB
End job on node50 at 2009-06-16 20:51:10