Trace number 1869534

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.17 1802.71

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_4.opb
MD5SUMd78f5121f87a7bad7fc74d5d3eacc32f
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
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables71
Total number of constraints17
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 constraints16
Minimum length of a constraint1
Maximum length of a constraint70
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 1881
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5644
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-1869534-1245177369.opb>
0.00/0.01	c original problem has 71 variables (71 bin, 0 int, 0 impl, 0 cont) and 17 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, 9 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03	c presolving (3 rounds):
0.00/0.03	c  1 deleted vars, 9 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03	c  0 implications, 0 cliques
0.00/0.03	c presolved problem has 70 variables (70 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.03	c       8 constraints of type <linear>
0.00/0.03	c transformed objective value is always integral (scale: 1)
0.00/0.03	c Presolving Time: 0.02
0.00/0.03	c OPT-LIN
0.00/0.03	c -----------------------------------------------------------------------------------------------
0.00/0.03	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03	c limits/memory = c 1620
0.00/0.03	c # maximal time in seconds to run
0.00/0.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03	c limits/time = c 1791
0.00/0.03	c # frequency for displaying node information lines
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03	c display/freq = c 10000
0.00/0.03	c -----------------------------------------------------------------------------------------------
0.00/0.03	c start solving problem
0.00/0.03	c 
0.00/0.03	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.03	c   0.0s|     1 |     0 |    44 | 341k|   0 |   8 |  70 |   8 |   8 |  70 |   8 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.04	c   0.0s|     1 |     0 |   179 | 391k|   0 |  14 |  70 |   8 |   8 |  70 |  15 |   7 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.06	c   0.1s|     1 |     0 |   189 | 421k|   0 |  18 |  70 |   8 |   8 |  70 |  18 |  10 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.08	c   0.1s|     1 |     0 |   201 | 439k|   0 |  22 |  70 |   8 |   8 |  70 |  22 |  14 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.10	c   0.1s|     1 |     0 |   213 | 451k|   0 |  23 |  70 |   8 |   8 |  70 |  25 |  17 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.12	c   0.1s|     1 |     0 |   216 | 455k|   0 |  23 |  70 |   8 |   8 |  70 |  26 |  18 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.28	c   0.3s|     1 |     2 |   216 | 456k|   0 |  23 |  70 |   8 |   8 |  70 |  26 |  18 |   0 |  23 | 0.000000e+00 |      --      |    Inf 
5.28/5.31	c   5.0s| 10000 |  3952 | 32920 |4035k|  59 |   8 |  70 |2581 | 940 |  70 |  23 |  18 |3726 | 715 | 0.000000e+00 |      --      |    Inf 
10.19/10.25	c   9.6s| 20000 |  7810 | 66127 |6463k|  61 |   - |  70 |1934 |  62 |  70 |  23 |  18 |7470 | 935 | 0.000000e+00 |      --      |    Inf 
14.88/15.00	c  14.1s| 30000 | 11582 | 98369 |9073k|  61 |   8 |  70 |2323 |  18 |  70 |  23 |  18 |  11k|1094 | 0.000000e+00 |      --      |    Inf 
19.89/19.96	c  18.8s| 40000 | 15008 |130537 |  11M|  61 |   8 |  70 |2993 |  27 |  70 |  23 |  18 |  15k|1246 | 0.000000e+00 |      --      |    Inf 
24.88/24.93	c  23.5s| 50000 | 18556 |162886 |  14M|  61 |   - |  70 |3090 |  43 |  70 |  23 |  18 |  19k|1378 | 0.000000e+00 |      --      |    Inf 
30.08/30.16	c  28.4s| 60000 | 21779 |195569 |  16M|  61 |   - |  70 |3065 |  46 |  70 |  23 |  18 |  23k|1483 | 0.000000e+00 |      --      |    Inf 
35.08/35.12	c  33.1s| 70000 | 25172 |228052 |  19M|  61 |   8 |  70 |3696 | 445 |  70 |  23 |  18 |  27k|1579 | 0.000000e+00 |      --      |    Inf 
40.48/40.53	c  38.2s| 80000 | 28314 |259691 |  21M|  61 |   - |  70 |3826 |  36 |  70 |  23 |  18 |  31k|1670 | 0.000000e+00 |      --      |    Inf 
45.77/45.88	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
45.77/45.88	c  43.3s| 90000 | 31626 |291150 |  24M|  61 |   8 |  70 |3686 |  14 |  70 |  23 |  18 |  35k|1737 | 0.000000e+00 |      --      |    Inf 
51.08/51.13	c  48.3s|100000 | 34806 |323512 |  26M|  62 |   8 |  70 |4160 |  48 |  70 |  23 |  18 |  40k|1812 | 0.000000e+00 |      --      |    Inf 
56.47/56.53	c  53.4s|110000 | 37953 |356012 |  29M|  62 |   8 |  70 |4005 | 140 |  70 |  23 |  18 |  44k|1887 | 0.000000e+00 |      --      |    Inf 
61.78/61.86	c  58.5s|120000 | 41219 |389172 |  31M|  62 |   8 |  70 |4100 | 160 |  70 |  23 |  18 |  48k|1962 | 0.000000e+00 |      --      |    Inf 
67.17/67.20	c  63.5s|130000 | 44460 |421252 |  33M|  62 |   8 |  70 |3996 | 790 |  70 |  23 |  18 |  52k|2023 | 0.000000e+00 |      --      |    Inf 
72.57/72.66	c  68.7s|140000 | 47587 |453262 |  36M|  62 |   8 |  70 |4458 |  17 |  70 |  23 |  18 |  56k|2077 | 0.000000e+00 |      --      |    Inf 
78.18/78.24	c  74.0s|150000 | 50603 |485845 |  39M|  62 |   8 |  70 |4805 |  55 |  70 |  23 |  18 |  61k|2137 | 0.000000e+00 |      --      |    Inf 
83.76/83.86	c  79.3s|160000 | 53723 |518254 |  41M|  62 |   - |  70 |4569 |  50 |  70 |  23 |  18 |  65k|2181 | 0.000000e+00 |      --      |    Inf 
89.46/89.51	c  84.7s|170000 | 56876 |550122 |  43M|  62 |   - |  70 |4280 |  32 |  70 |  23 |  18 |  69k|2229 | 0.000000e+00 |      --      |    Inf 
94.86/94.97	c  89.9s|180000 | 60062 |582647 |  46M|  63 |   8 |  70 |4541 |  26 |  70 |  23 |  18 |  73k|2289 | 0.000000e+00 |      --      |    Inf 
100.46/100.52	c  95.2s|190000 | 63223 |614402 |  48M|  63 |   - |  70 |4854 |  21 |  70 |  23 |  18 |  77k|2342 | 0.000000e+00 |      --      |    Inf 
105.46/105.55	c  99.9s|200000 | 66971 |647676 |  51M|  63 |   8 |  70 |5538 |  24 |  70 |  23 |  18 |  81k|2388 | 0.000000e+00 |      --      |    Inf 
111.06/111.19	c   105s|210000 | 70097 |680096 |  53M|  63 |   - |  70 |5429 |  40 |  70 |  23 |  18 |  85k|2433 | 0.000000e+00 |      --      |    Inf 
116.85/116.99	c   111s|220000 | 73340 |712220 |  56M|  63 |   8 |  70 |5513 |  75 |  70 |  23 |  18 |  89k|2480 | 0.000000e+00 |      --      |    Inf 
123.06/123.12	c   117s|230000 | 76230 |744599 |  58M|  63 |   8 |  70 |4935 | 106 |  70 |  23 |  18 |  94k|2526 | 0.000000e+00 |      --      |    Inf 
128.75/128.84	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
128.75/128.84	c   122s|240000 | 79141 |776162 |  60M|  63 |   8 |  70 |5405 |  29 |  70 |  23 |  18 |  98k|2572 | 0.000000e+00 |      --      |    Inf 
134.75/134.88	c   128s|250000 | 82154 |807389 |  63M|  63 |   - |  70 |5743 | 225 |  70 |  23 |  18 | 102k|2625 | 0.000000e+00 |      --      |    Inf 
140.75/140.81	c   133s|260000 | 85248 |839373 |  65M|  63 |   8 |  70 |5775 |  76 |  70 |  23 |  18 | 107k|2663 | 0.000000e+00 |      --      |    Inf 
146.55/146.64	c   139s|270000 | 88314 |871026 |  68M|  63 |   8 |  70 |6160 |  39 |  70 |  23 |  18 | 111k|2707 | 0.000000e+00 |      --      |    Inf 
152.85/152.97	c   145s|280000 | 91121 |903262 |  70M|  63 |   8 |  70 |5246 |  25 |  70 |  23 |  18 | 115k|2746 | 0.000000e+00 |      --      |    Inf 
158.64/158.77	c   151s|290000 | 94256 |934765 |  73M|  63 |   8 |  70 |5720 |  41 |  70 |  23 |  18 | 120k|2783 | 0.000000e+00 |      --      |    Inf 
164.65/164.71	c   156s|300000 | 97228 |967304 |  75M|  63 |   - |  70 |5519 | 238 |  70 |  23 |  18 | 124k|2821 | 0.000000e+00 |      --      |    Inf 
170.74/170.84	c   162s|310000 |100109 |999318 |  77M|  63 |   - |  70 |5376 |  30 |  70 |  23 |  18 | 128k|2857 | 0.000000e+00 |      --      |    Inf 
177.04/177.16	c   168s|320000 |102778 |  1031k|  79M|  63 |   8 |  70 |5269 |  12 |  70 |  23 |  18 | 133k|2896 | 0.000000e+00 |      --      |    Inf 
183.44/183.53	c   174s|330000 |105412 |  1064k|  82M|  63 |   8 |  70 |5539 |  77 |  70 |  23 |  18 | 137k|2927 | 0.000000e+00 |      --      |    Inf 
189.54/189.65	c   180s|340000 |108253 |  1096k|  84M|  63 |   8 |  70 |5689 |  34 |  70 |  23 |  18 | 141k|2963 | 0.000000e+00 |      --      |    Inf 
195.63/195.78	c   186s|350000 |111095 |  1128k|  87M|  63 |   8 |  70 |6206 |  14 |  70 |  23 |  18 | 146k|3000 | 0.000000e+00 |      --      |    Inf 
201.93/202.07	c   192s|360000 |114054 |  1160k|  89M|  63 |   8 |  70 |5922 |  19 |  70 |  23 |  18 | 150k|3041 | 0.000000e+00 |      --      |    Inf 
208.03/208.16	c   198s|370000 |117022 |  1192k|  92M|  63 |   - |  70 |6534 |  44 |  70 |  23 |  18 | 154k|3084 | 0.000000e+00 |      --      |    Inf 
214.44/214.57	c   204s|380000 |119767 |  1224k|  94M|  63 |   8 |  70 |6733 |  27 |  70 |  23 |  18 | 159k|3134 | 0.000000e+00 |      --      |    Inf 
220.93/221.00	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
220.93/221.00	c   210s|390000 |122611 |  1257k|  96M|  63 |   8 |  70 |6180 | 211 |  70 |  23 |  18 | 163k|3169 | 0.000000e+00 |      --      |    Inf 
227.13/227.24	c   216s|400000 |125441 |  1290k|  99M|  63 |   8 |  70 |6226 | 117 |  70 |  23 |  18 | 167k|3208 | 0.000000e+00 |      --      |    Inf 
233.52/233.67	c   222s|410000 |128342 |  1321k| 101M|  63 |   - |  70 |6001 |  34 |  70 |  23 |  18 | 172k|3244 | 0.000000e+00 |      --      |    Inf 
239.52/239.60	c   228s|420000 |131418 |  1354k| 103M|  63 |   8 |  70 |7072 | 115 |  70 |  23 |  18 | 176k|3285 | 0.000000e+00 |      --      |    Inf 
245.02/245.10	c   233s|430000 |134576 |  1388k| 106M|  63 |   8 |  70 |8557 | 162 |  70 |  23 |  18 | 180k|3309 | 0.000000e+00 |      --      |    Inf 
251.82/251.99	c   239s|440000 |137241 |  1420k| 108M|  63 |   - |  70 |6882 |  63 |  70 |  23 |  18 | 185k|3347 | 0.000000e+00 |      --      |    Inf 
258.42/258.57	c   246s|450000 |140108 |  1452k| 110M|  63 |   8 |  70 |6135 |  47 |  70 |  23 |  18 | 189k|3379 | 0.000000e+00 |      --      |    Inf 
264.72/264.84	c   252s|460000 |143189 |  1483k| 113M|  63 |   8 |  70 |6217 |  78 |  70 |  23 |  18 | 193k|3407 | 0.000000e+00 |      --      |    Inf 
271.01/271.16	c   258s|470000 |145970 |  1515k| 115M|  63 |   - |  70 |6140 |  68 |  70 |  23 |  18 | 198k|3432 | 0.000000e+00 |      --      |    Inf 
277.61/277.70	c   264s|480000 |148826 |  1547k| 117M|  63 |   8 |  70 |6126 | 117 |  70 |  23 |  18 | 202k|3463 | 0.000000e+00 |      --      |    Inf 
283.71/283.82	c   270s|490000 |151744 |  1579k| 120M|  63 |   8 |  70 |6978 |  91 |  70 |  23 |  18 | 207k|3495 | 0.000000e+00 |      --      |    Inf 
290.11/290.23	c   276s|500000 |154765 |  1611k| 122M|  63 |   8 |  70 |7749 |  38 |  70 |  23 |  18 | 211k|3527 | 0.000000e+00 |      --      |    Inf 
297.01/297.17	c   283s|510000 |157631 |  1643k| 125M|  63 |   8 |  70 |7198 | 580 |  70 |  23 |  18 | 215k|3566 | 0.000000e+00 |      --      |    Inf 
303.61/303.74	c   289s|520000 |160637 |  1674k| 127M|  63 |   8 |  70 |7132 |  69 |  70 |  23 |  18 | 219k|3590 | 0.000000e+00 |      --      |    Inf 
310.00/310.13	c   295s|530000 |163627 |  1706k| 129M|  63 |   8 |  70 |7099 |  44 |  70 |  23 |  18 | 224k|3607 | 0.000000e+00 |      --      |    Inf 
315.61/315.78	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
315.61/315.78	c   300s|540000 |167103 |  1740k| 132M|  63 |   8 |  70 |7451 | 183 |  70 |  23 |  18 | 228k|3645 | 0.000000e+00 |      --      |    Inf 
322.01/322.18	c   307s|550000 |170214 |  1772k| 134M|  63 |   8 |  70 |6850 | 111 |  70 |  23 |  18 | 232k|3674 | 0.000000e+00 |      --      |    Inf 
329.00/329.18	c   313s|560000 |173017 |  1804k| 136M|  63 |   8 |  70 |6462 |  44 |  70 |  23 |  18 | 236k|3713 | 0.000000e+00 |      --      |    Inf 
335.60/335.75	c   320s|570000 |175764 |  1837k| 139M|  63 |   - |  70 |6429 |  36 |  70 |  23 |  18 | 241k|3741 | 0.000000e+00 |      --      |    Inf 
341.59/341.74	c   325s|580000 |178814 |  1868k| 141M|  63 |   - |  70 |7646 |  30 |  70 |  23 |  18 | 245k|3773 | 0.000000e+00 |      --      |    Inf 
348.49/348.70	c   332s|590000 |181463 |  1900k| 143M|  63 |   8 |  70 |6684 | 440 |  70 |  23 |  18 | 249k|3792 | 0.000000e+00 |      --      |    Inf 
354.79/354.93	c   338s|600000 |184406 |  1932k| 146M|  63 |   8 |  70 |7611 | 262 |  70 |  23 |  18 | 253k|3832 | 0.000000e+00 |      --      |    Inf 
361.49/361.61	c   344s|610000 |187456 |  1965k| 148M|  63 |   8 |  70 |7452 | 324 |  70 |  23 |  18 | 258k|3864 | 0.000000e+00 |      --      |    Inf 
368.29/368.42	c   351s|620000 |190236 |  1997k| 151M|  63 |   8 |  70 |7610 |  22 |  70 |  23 |  18 | 262k|3900 | 0.000000e+00 |      --      |    Inf 
375.18/375.36	c   357s|630000 |192846 |  2029k| 153M|  63 |   8 |  70 |7269 |  94 |  70 |  23 |  18 | 267k|3920 | 0.000000e+00 |      --      |    Inf 
381.88/382.00	c   364s|640000 |195751 |  2061k| 155M|  63 |   8 |  70 |7255 | 326 |  70 |  23 |  18 | 271k|3936 | 0.000000e+00 |      --      |    Inf 
388.38/388.56	c   370s|650000 |198578 |  2093k| 158M|  63 |   8 |  70 |7443 | 674 |  70 |  23 |  18 | 275k|3956 | 0.000000e+00 |      --      |    Inf 
394.68/394.85	c   376s|660000 |201747 |  2125k| 160M|  63 |   - |  70 |7711 | 206 |  70 |  23 |  18 | 279k|3983 | 0.000000e+00 |      --      |    Inf 
401.48/401.63	c   382s|670000 |204515 |  2158k| 162M|  63 |   - |  70 |7306 |  10 |  70 |  23 |  18 | 284k|4017 | 0.000000e+00 |      --      |    Inf 
408.37/408.51	c   389s|680000 |207418 |  2191k| 164M|  63 |   8 |  70 |6644 | 332 |  70 |  23 |  18 | 288k|4054 | 0.000000e+00 |      --      |    Inf 
414.27/414.44	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
414.27/414.44	c   395s|690000 |210381 |  2224k| 167M|  63 |   8 |  70 |8194 |  38 |  70 |  23 |  18 | 292k|4079 | 0.000000e+00 |      --      |    Inf 
421.28/421.47	c   401s|700000 |213060 |  2257k| 169M|  63 |   - |  70 |7417 |  46 |  70 |  23 |  18 | 297k|4114 | 0.000000e+00 |      --      |    Inf 
427.67/427.86	c   408s|710000 |215957 |  2290k| 172M|  63 |   8 |  70 |8530 |  61 |  70 |  23 |  18 | 301k|4138 | 0.000000e+00 |      --      |    Inf 
434.57/434.77	c   414s|720000 |218831 |  2322k| 174M|  63 |   8 |  70 |8077 |  20 |  70 |  23 |  18 | 305k|4157 | 0.000000e+00 |      --      |    Inf 
441.27/441.45	c   421s|730000 |221832 |  2353k| 176M|  63 |   - |  70 |7721 | 162 |  70 |  23 |  18 | 310k|4180 | 0.000000e+00 |      --      |    Inf 
448.47/448.64	c   427s|740000 |224582 |  2386k| 179M|  63 |   - |  70 |7809 | 145 |  70 |  23 |  18 | 314k|4207 | 0.000000e+00 |      --      |    Inf 
455.26/455.47	c   434s|750000 |227541 |  2416k| 181M|  63 |   - |  70 |7639 |  84 |  70 |  23 |  18 | 318k|4227 | 0.000000e+00 |      --      |    Inf 
462.45/462.63	c   441s|760000 |230345 |  2448k| 183M|  63 |   8 |  70 |7266 | 105 |  70 |  23 |  18 | 323k|4256 | 0.000000e+00 |      --      |    Inf 
467.86/468.09	c   446s|770000 |233979 |  2480k| 186M|  63 |   - |  70 |8553 | 126 |  70 |  23 |  18 | 327k|4287 | 0.000000e+00 |      --      |    Inf 
475.26/475.48	c   453s|780000 |236931 |  2512k| 188M|  63 |   - |  70 |7176 |  81 |  70 |  23 |  18 | 331k|4308 | 0.000000e+00 |      --      |    Inf 
482.26/482.40	c   460s|790000 |239647 |  2544k| 190M|  63 |   8 |  70 |7317 | 111 |  70 |  23 |  18 | 335k|4338 | 0.000000e+00 |      --      |    Inf 
489.55/489.71	c   467s|800000 |242399 |  2576k| 192M|  63 |   8 |  70 |6734 | 127 |  70 |  23 |  18 | 340k|4363 | 0.000000e+00 |      --      |    Inf 
495.85/496.10	c   473s|810000 |245444 |  2608k| 195M|  63 |   - |  70 |6673 | 153 |  70 |  23 |  18 | 344k|4382 | 0.000000e+00 |      --      |    Inf 
501.56/501.79	c   478s|820000 |248729 |  2639k| 197M|  63 |   - |  70 |8167 | 174 |  70 |  23 |  18 | 348k|4402 | 0.000000e+00 |      --      |    Inf 
508.55/508.76	c   485s|830000 |251546 |  2671k| 200M|  63 |   - |  70 |7028 |  30 |  70 |  23 |  18 | 353k|4422 | 0.000000e+00 |      --      |    Inf 
515.95/516.14	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
515.95/516.14	c   492s|840000 |254024 |  2702k| 202M|  63 |   8 |  70 |6495 |  26 |  70 |  23 |  18 | 357k|4442 | 0.000000e+00 |      --      |    Inf 
522.15/522.31	c   498s|850000 |256949 |  2734k| 204M|  63 |   8 |  70 |7763 |  65 |  70 |  23 |  18 | 362k|4472 | 0.000000e+00 |      --      |    Inf 
529.44/529.69	c   505s|860000 |259678 |  2766k| 206M|  63 |   - |  70 |6821 |  17 |  70 |  23 |  18 | 366k|4496 | 0.000000e+00 |      --      |    Inf 
536.65/536.90	c   512s|870000 |262243 |  2798k| 209M|  63 |   8 |  70 |6944 |  34 |  70 |  23 |  18 | 371k|4522 | 0.000000e+00 |      --      |    Inf 
543.64/543.82	c   519s|880000 |264912 |  2830k| 211M|  63 |   8 |  70 |7271 |  28 |  70 |  23 |  18 | 375k|4545 | 0.000000e+00 |      --      |    Inf 
550.43/550.67	c   525s|890000 |267575 |  2862k| 213M|  63 |   8 |  70 |7875 | 113 |  70 |  23 |  18 | 379k|4569 | 0.000000e+00 |      --      |    Inf 
557.24/557.46	c   532s|900000 |270455 |  2893k| 216M|  63 |   8 |  70 |7965 |  54 |  70 |  23 |  18 | 384k|4579 | 0.000000e+00 |      --      |    Inf 
563.93/564.15	c   538s|910000 |273390 |  2924k| 218M|  63 |   - |  70 |7430 |  31 |  70 |  23 |  18 | 388k|4591 | 0.000000e+00 |      --      |    Inf 
570.63/570.81	c   544s|920000 |276115 |  2957k| 220M|  63 |   8 |  70 |7200 |  50 |  70 |  23 |  18 | 393k|4609 | 0.000000e+00 |      --      |    Inf 
577.43/577.66	c   551s|930000 |278859 |  2989k| 222M|  63 |   8 |  70 |7263 |  57 |  70 |  23 |  18 | 397k|4623 | 0.000000e+00 |      --      |    Inf 
583.83/584.10	c   557s|940000 |282028 |  3021k| 225M|  63 |   - |  70 |7846 |  19 |  70 |  23 |  18 | 401k|4653 | 0.000000e+00 |      --      |    Inf 
591.13/591.33	c   564s|950000 |284869 |  3052k| 227M|  63 |   8 |  70 |7275 |  44 |  70 |  23 |  18 | 406k|4663 | 0.000000e+00 |      --      |    Inf 
597.52/597.71	c   570s|960000 |287972 |  3084k| 230M|  63 |   - |  70 |7437 |  15 |  70 |  23 |  18 | 410k|4677 | 0.000000e+00 |      --      |    Inf 
604.62/604.87	c   577s|970000 |290829 |  3115k| 232M|  63 |   8 |  70 |7455 |  22 |  70 |  23 |  18 | 414k|4696 | 0.000000e+00 |      --      |    Inf 
611.42/611.67	c   583s|980000 |293736 |  3148k| 234M|  63 |   8 |  70 |7787 |  27 |  70 |  23 |  18 | 418k|4719 | 0.000000e+00 |      --      |    Inf 
617.42/617.64	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
617.42/617.64	c   589s|990000 |297076 |  3179k| 237M|  63 |   8 |  70 |8517 | 105 |  70 |  23 |  18 | 423k|4732 | 0.000000e+00 |      --      |    Inf 
624.01/624.21	c   595s|  1000k|300048 |  3211k| 239M|  63 |   8 |  70 |8797 | 195 |  70 |  23 |  18 | 427k|4770 | 0.000000e+00 |      --      |    Inf 
630.81/631.06	c   602s|  1010k|302940 |  3243k| 241M|  63 |   - |  70 |8492 |  24 |  70 |  23 |  18 | 431k|4785 | 0.000000e+00 |      --      |    Inf 
638.31/638.50	c   609s|  1020k|305864 |  3275k| 244M|  63 |   - |  70 |7438 |  25 |  70 |  23 |  18 | 435k|4800 | 0.000000e+00 |      --      |    Inf 
643.61/643.86	c   614s|  1030k|309420 |  3307k| 246M|  63 |   8 |  70 |8774 | 105 |  70 |  23 |  18 | 439k|4818 | 0.000000e+00 |      --      |    Inf 
649.91/650.10	c   620s|  1040k|312306 |  3339k| 249M|  63 |   8 |  70 |9002 |  36 |  70 |  23 |  18 | 443k|4831 | 0.000000e+00 |      --      |    Inf 
656.10/656.30	c   626s|  1050k|315750 |  3372k| 251M|  63 |   8 |  70 |9158 |  39 |  70 |  23 |  18 | 448k|4847 | 0.000000e+00 |      --      |    Inf 
662.20/662.44	c   632s|  1060k|319400 |  3404k| 254M|  63 |   8 |  70 |9407 |  66 |  70 |  23 |  18 | 452k|4868 | 0.000000e+00 |      --      |    Inf 
669.40/669.68	c   639s|  1070k|322314 |  3435k| 255M|  63 |   8 |  70 |7135 |  42 |  70 |  23 |  18 | 456k|4889 | 0.000000e+00 |      --      |    Inf 
676.30/676.51	c   645s|  1080k|325049 |  3466k| 258M|  63 |   - |  70 |7560 | 124 |  70 |  23 |  18 | 460k|4902 | 0.000000e+00 |      --      |    Inf 
683.29/683.52	c   652s|  1090k|327789 |  3498k| 260M|  63 |   8 |  70 |7568 | 137 |  70 |  23 |  18 | 465k|4923 | 0.000000e+00 |      --      |    Inf 
690.29/690.58	c   659s|  1100k|330470 |  3531k| 262M|  63 |   - |  70 |7005 |  22 |   0 |   0 |  18 | 469k|4950 | 0.000000e+00 |      --      |    Inf 
697.59/697.88	c   666s|  1110k|333152 |  3564k| 265M|  63 |   8 |  70 |6903 |  41 |  70 |  23 |  18 | 474k|4963 | 0.000000e+00 |      --      |    Inf 
704.49/704.78	c   672s|  1120k|336036 |  3595k| 267M|  63 |   8 |  70 |6561 |  60 |  70 |  23 |  18 | 478k|4979 | 0.000000e+00 |      --      |    Inf 
711.38/711.70	c   679s|  1130k|338666 |  3628k| 269M|  63 |   8 |  70 |7078 |  37 |  70 |  23 |  18 | 482k|4996 | 0.000000e+00 |      --      |    Inf 
718.39/718.62	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
718.39/718.62	c   686s|  1140k|341534 |  3659k| 271M|  63 |   8 |  70 |7131 |  16 |  70 |  23 |  18 | 487k|5014 | 0.000000e+00 |      --      |    Inf 
724.98/725.28	c   692s|  1150k|344320 |  3691k| 274M|  63 |   8 |  70 |7372 |  34 |  70 |  23 |  18 | 491k|5028 | 0.000000e+00 |      --      |    Inf 
732.18/732.41	c   699s|  1160k|347151 |  3723k| 276M|  63 |   8 |  70 |7225 | 246 |  70 |  23 |  18 | 496k|5044 | 0.000000e+00 |      --      |    Inf 
739.08/739.37	c   706s|  1170k|349911 |  3754k| 278M|  63 |   8 |  70 |7438 | 104 |  70 |  23 |  18 | 500k|5057 | 0.000000e+00 |      --      |    Inf 
745.68/745.99	c   712s|  1180k|352784 |  3786k| 281M|  63 |   8 |  70 |7769 | 138 |  70 |  23 |  18 | 504k|5070 | 0.000000e+00 |      --      |    Inf 
752.57/752.88	c   719s|  1190k|355580 |  3818k| 283M|  63 |   - |  70 |7589 |  45 |  70 |  23 |  18 | 509k|5083 | 0.000000e+00 |      --      |    Inf 
759.67/759.91	c   725s|  1200k|358463 |  3850k| 286M|  63 |   - |  70 |7842 |  24 |  70 |  23 |  18 | 513k|5098 | 0.000000e+00 |      --      |    Inf 
767.57/767.85	c   733s|  1210k|360980 |  3883k| 288M|  63 |   8 |  70 |7362 |  31 |  70 |  23 |  18 | 518k|5117 | 0.000000e+00 |      --      |    Inf 
774.56/774.86	c   740s|  1220k|363612 |  3914k| 290M|  63 |   - |  70 |8033 |  55 |  70 |  23 |  18 | 522k|5140 | 0.000000e+00 |      --      |    Inf 
782.57/782.89	c   747s|  1230k|366147 |  3946k| 292M|  63 |   8 |  70 |7400 | 101 |  70 |  23 |  18 | 527k|5154 | 0.000000e+00 |      --      |    Inf 
789.17/789.46	c   754s|  1240k|369140 |  3977k| 295M|  63 |   - |  70 |8061 |  33 |  70 |  23 |  18 | 531k|5177 | 0.000000e+00 |      --      |    Inf 
796.76/797.01	c   761s|  1250k|371762 |  4009k| 297M|  63 |   - |  70 |7693 |  38 |  70 |  23 |  18 | 536k|5197 | 0.000000e+00 |      --      |    Inf 
804.16/804.43	c   768s|  1260k|374287 |  4041k| 299M|  63 |   - |  70 |7660 |  18 |  70 |  23 |  18 | 540k|5213 | 0.000000e+00 |      --      |    Inf 
811.06/811.31	c   775s|  1270k|377176 |  4073k| 301M|  63 |   - |  70 |7729 | 100 |  70 |  23 |  18 | 545k|5227 | 0.000000e+00 |      --      |    Inf 
817.95/818.27	c   781s|  1280k|380203 |  4104k| 304M|  63 |   8 |  70 |7770 | 368 |  70 |  23 |  18 | 549k|5247 | 0.000000e+00 |      --      |    Inf 
824.86/825.12	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
824.86/825.12	c   788s|  1290k|382919 |  4137k| 306M|  63 |   8 |  70 |8099 |1644 |  70 |  23 |  18 | 553k|5260 | 0.000000e+00 |      --      |    Inf 
832.15/832.40	c   795s|  1300k|385525 |  4169k| 308M|  63 |   8 |  70 |7968 |  62 |  70 |  23 |  18 | 558k|5277 | 0.000000e+00 |      --      |    Inf 
839.64/839.98	c   802s|  1310k|388235 |  4200k| 311M|  63 |   8 |  70 |7696 |  93 |  70 |  23 |  18 | 562k|5295 | 0.000000e+00 |      --      |    Inf 
846.04/846.35	c   808s|  1320k|391152 |  4232k| 313M|  63 |   8 |  70 |8234 | 115 |  70 |  23 |  18 | 566k|5315 | 0.000000e+00 |      --      |    Inf 
853.65/853.96	c   816s|  1330k|393654 |  4264k| 315M|  63 |   - |  70 |7788 |  49 |  70 |  23 |  18 | 571k|5332 | 0.000000e+00 |      --      |    Inf 
860.14/860.49	c   822s|  1340k|396747 |  4295k| 318M|  63 |   8 |  70 |8362 |  22 |  70 |  23 |  18 | 575k|5338 | 0.000000e+00 |      --      |    Inf 
867.14/867.48	c   828s|  1350k|399583 |  4326k| 320M|  63 |   8 |  70 |8481 |  58 |  70 |  23 |  18 | 580k|5353 | 0.000000e+00 |      --      |    Inf 
874.84/875.13	c   836s|  1360k|402340 |  4357k| 322M|  63 |   8 |  70 |7350 |  44 |  70 |  23 |  18 | 584k|5374 | 0.000000e+00 |      --      |    Inf 
882.34/882.60	c   843s|  1370k|405004 |  4389k| 324M|  63 |   8 |  70 |7619 |  72 |  70 |  23 |  18 | 588k|5387 | 0.000000e+00 |      --      |    Inf 
889.43/889.70	c   850s|  1380k|407855 |  4421k| 327M|  63 |   8 |  70 |7767 | 177 |  70 |  23 |  18 | 593k|5406 | 0.000000e+00 |      --      |    Inf 
896.93/897.27	c   857s|  1390k|410706 |  4452k| 329M|  63 |   8 |  70 |8024 |  49 |  70 |  23 |  18 | 597k|5417 | 0.000000e+00 |      --      |    Inf 
903.43/903.79	c   863s|  1400k|413523 |  4483k| 332M|  63 |   8 |  70 |8851 | 140 |  70 |  23 |  18 | 602k|5435 | 0.000000e+00 |      --      |    Inf 
910.03/910.34	c   870s|  1410k|416611 |  4515k| 334M|  63 |   - |  70 |8922 | 609 |  70 |  23 |  18 | 606k|5454 | 0.000000e+00 |      --      |    Inf 
917.42/917.74	c   877s|  1420k|419366 |  4547k| 336M|  63 |   8 |  70 |8280 |  52 |  70 |  23 |  18 | 610k|5466 | 0.000000e+00 |      --      |    Inf 
925.42/925.76	c   884s|  1430k|421927 |  4579k| 338M|  63 |   - |  70 |7857 | 292 |  70 |  23 |  18 | 615k|5477 | 0.000000e+00 |      --      |    Inf 
932.02/932.38	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
932.02/932.38	c   891s|  1440k|424673 |  4611k| 341M|  63 |   - |  70 |9050 |  57 |  70 |  23 |  18 | 619k|5489 | 0.000000e+00 |      --      |    Inf 
940.02/940.32	c   898s|  1450k|427369 |  4642k| 343M|  63 |   - |  70 |8378 |  62 |  70 |  23 |  18 | 623k|5508 | 0.000000e+00 |      --      |    Inf 
947.31/947.66	c   905s|  1460k|430220 |  4674k| 345M|  63 |   - |  70 |8656 | 192 |  70 |  23 |  18 | 628k|5528 | 0.000000e+00 |      --      |    Inf 
954.51/954.80	c   912s|  1470k|433185 |  4706k| 348M|  63 |   - |  70 |7965 |  45 |  70 |  23 |  18 | 632k|5536 | 0.000000e+00 |      --      |    Inf 
962.31/962.62	c   920s|  1480k|435840 |  4737k| 350M|  63 |   8 |  70 |7577 |  38 |  70 |  23 |  18 | 637k|5552 | 0.000000e+00 |      --      |    Inf 
968.61/968.97	c   926s|  1490k|438752 |  4768k| 352M|  63 |   8 |  70 |8584 |  94 |  70 |  23 |  18 | 641k|5562 | 0.000000e+00 |      --      |    Inf 
976.41/976.72	c   933s|  1500k|441348 |  4800k| 354M|  63 |   8 |  70 |7827 |  38 |  70 |  23 |  18 | 645k|5575 | 0.000000e+00 |      --      |    Inf 
983.40/983.70	c   940s|  1510k|444050 |  4831k| 357M|  63 |   - |  70 |8337 | 146 |  70 |  23 |  18 | 650k|5590 | 0.000000e+00 |      --      |    Inf 
990.60/990.95	c   947s|  1520k|446918 |  4863k| 359M|  63 |   8 |  70 |8507 |  60 |  70 |  23 |  18 | 654k|5607 | 0.000000e+00 |      --      |    Inf 
998.41/998.79	c   954s|  1530k|449454 |  4894k| 361M|  63 |   - |  70 |7786 |  38 |  70 |  23 |  18 | 659k|5630 | 0.000000e+00 |      --      |    Inf 
1005.40/1005.70	c   961s|  1540k|452229 |  4926k| 364M|  63 |   8 |  70 |8174 |  37 |  70 |  23 |  18 | 663k|5647 | 0.000000e+00 |      --      |    Inf 
1013.50/1013.82	c   969s|  1550k|454702 |  4958k| 366M|  63 |   8 |  70 |7894 |  93 |  70 |  23 |  18 | 668k|5662 | 0.000000e+00 |      --      |    Inf 
1021.29/1021.62	c   976s|  1560k|457281 |  4990k| 368M|  63 |   8 |  70 |8356 |  25 |  70 |  23 |  18 | 672k|5675 | 0.000000e+00 |      --      |    Inf 
1028.80/1029.19	c   984s|  1570k|459897 |  5022k| 370M|  63 |   8 |  70 |8876 |  38 |  70 |  23 |  18 | 677k|5686 | 0.000000e+00 |      --      |    Inf 
1036.59/1036.95	c   991s|  1580k|462591 |  5054k| 373M|  63 |   8 |  70 |8989 | 616 |  70 |  23 |  18 | 681k|5700 | 0.000000e+00 |      --      |    Inf 
1044.59/1044.93	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1044.59/1044.93	c   999s|  1590k|465064 |  5086k| 375M|  63 |   - |  70 |8638 |  49 |  70 |  23 |  18 | 686k|5717 | 0.000000e+00 |      --      |    Inf 
1050.79/1051.19	c  1005s|  1600k|468040 |  5118k| 377M|  63 |   8 |  70 |9534 |2112 |  70 |  23 |  18 | 690k|5734 | 0.000000e+00 |      --      |    Inf 
1058.58/1058.99	c  1012s|  1610k|470815 |  5150k| 379M|  63 |   - |  70 |8833 | 246 |  70 |  23 |  18 | 694k|5749 | 0.000000e+00 |      --      |    Inf 
1066.09/1066.44	c  1019s|  1620k|473691 |  5181k| 382M|  63 |   8 |  70 |8508 |  19 |  70 |  23 |  18 | 699k|5758 | 0.000000e+00 |      --      |    Inf 
1073.39/1073.70	c  1026s|  1630k|476366 |  5213k| 384M|  63 |   - |  70 |8893 |  79 |  70 |  23 |  18 | 703k|5771 | 0.000000e+00 |      --      |    Inf 
1081.18/1081.57	c  1034s|  1640k|479113 |  5244k| 386M|  63 |   8 |  70 |8392 |  24 |  70 |  23 |  18 | 707k|5788 | 0.000000e+00 |      --      |    Inf 
1088.57/1088.93	c  1041s|  1650k|481798 |  5276k| 388M|  63 |   8 |  70 |8350 | 237 |  70 |  23 |  18 | 712k|5808 | 0.000000e+00 |      --      |    Inf 
1095.97/1096.33	c  1048s|  1660k|484535 |  5307k| 391M|  63 |   8 |  70 |8486 | 449 |  70 |  23 |  18 | 716k|5820 | 0.000000e+00 |      --      |    Inf 
1103.97/1104.34	c  1056s|  1670k|487182 |  5339k| 393M|  63 |   8 |  70 |7762 |  27 |  70 |  23 |  18 | 721k|5835 | 0.000000e+00 |      --      |    Inf 
1111.37/1111.75	c  1063s|  1680k|489865 |  5371k| 395M|  63 |   8 |  70 |7565 |  28 |  70 |  23 |  18 | 725k|5852 | 0.000000e+00 |      --      |    Inf 
1118.06/1118.49	c  1069s|  1690k|492719 |  5403k| 397M|  63 |   8 |  70 |8116 | 132 |  70 |  23 |  18 | 730k|5869 | 0.000000e+00 |      --      |    Inf 
1126.27/1126.68	c  1077s|  1700k|495159 |  5435k| 399M|  63 |   8 |  70 |8036 |  26 |  70 |  23 |  18 | 734k|5880 | 0.000000e+00 |      --      |    Inf 
1133.46/1133.82	c  1084s|  1710k|497884 |  5468k| 402M|  63 |   8 |  70 |7894 |  99 |  70 |  23 |  18 | 739k|5897 | 0.000000e+00 |      --      |    Inf 
1139.96/1140.36	c  1091s|  1720k|500764 |  5500k| 404M|  63 |   8 |  70 |8689 |  89 |  70 |  23 |  18 | 743k|5905 | 0.000000e+00 |      --      |    Inf 
1147.16/1147.51	c  1097s|  1730k|503329 |  5531k| 406M|  63 |   - |  70 |8329 |  60 |   0 |   0 |  18 | 748k|5922 | 0.000000e+00 |      --      |    Inf 
1154.26/1154.68	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1154.26/1154.68	c  1104s|  1740k|506234 |  5564k| 409M|  63 |   8 |  70 |7900 |  58 |  70 |  23 |  18 | 752k|5940 | 0.000000e+00 |      --      |    Inf 
1160.96/1161.35	c  1111s|  1750k|509114 |  5595k| 411M|  63 |   8 |  70 |8689 | 209 |  70 |  23 |  18 | 756k|5957 | 0.000000e+00 |      --      |    Inf 
1168.46/1168.89	c  1118s|  1760k|511827 |  5627k| 413M|  63 |   8 |  70 |8253 |  87 |  70 |  23 |  18 | 761k|5976 | 0.000000e+00 |      --      |    Inf 
1176.85/1177.20	c  1126s|  1770k|514295 |  5658k| 415M|  63 |   - |  70 |7669 |  32 |  70 |  23 |  18 | 765k|5994 | 0.000000e+00 |      --      |    Inf 
1183.75/1184.20	c  1133s|  1780k|517253 |  5689k| 418M|  63 |   8 |  70 |8168 |1097 |  70 |  23 |  18 | 770k|6007 | 0.000000e+00 |      --      |    Inf 
1190.04/1190.43	c  1139s|  1790k|520238 |  5722k| 420M|  63 |   - |  70 |9031 |  50 |  70 |  23 |  18 | 774k|6035 | 0.000000e+00 |      --      |    Inf 
1197.05/1197.43	c  1145s|  1800k|523059 |  5753k| 423M|  63 |   8 |  70 |9218 | 462 |  70 |  23 |  18 | 778k|6049 | 0.000000e+00 |      --      |    Inf 
1204.64/1205.04	c  1153s|  1810k|525744 |  5784k| 425M|  63 |   8 |  70 |8934 | 185 |  70 |  23 |  18 | 783k|6058 | 0.000000e+00 |      --      |    Inf 
1212.04/1212.49	c  1160s|  1820k|528449 |  5817k| 427M|  63 |   - |  70 |8514 | 243 |  70 |  23 |  18 | 787k|6076 | 0.000000e+00 |      --      |    Inf 
1219.24/1219.66	c  1167s|  1830k|531313 |  5850k| 429M|  63 |   - |  70 |8574 | 153 |  70 |  23 |  18 | 791k|6089 | 0.000000e+00 |      --      |    Inf 
1227.24/1227.70	c  1174s|  1840k|533839 |  5882k| 431M|  63 |   8 |  70 |8167 |  28 |  70 |  23 |  18 | 796k|6104 | 0.000000e+00 |      --      |    Inf 
1234.83/1235.21	c  1182s|  1850k|536571 |  5913k| 434M|  63 |   8 |  70 |8391 |  30 |  70 |  23 |  18 | 800k|6113 | 0.000000e+00 |      --      |    Inf 
1242.74/1243.11	c  1189s|  1860k|539204 |  5945k| 436M|  63 |   8 |  70 |8285 | 651 |  70 |  23 |  18 | 805k|6122 | 0.000000e+00 |      --      |    Inf 
1250.62/1251.03	c  1197s|  1870k|541771 |  5977k| 438M|  63 |   - |  70 |8494 |  25 |  70 |  23 |  18 | 809k|6135 | 0.000000e+00 |      --      |    Inf 
1258.13/1258.59	c  1204s|  1880k|544456 |  6008k| 441M|  63 |   8 |  70 |8447 |  74 |  70 |  23 |  18 | 814k|6148 | 0.000000e+00 |      --      |    Inf 
1265.93/1266.31	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1265.93/1266.31	c  1211s|  1890k|547086 |  6040k| 443M|  63 |   8 |  70 |8579 |  10 |  70 |  23 |  18 | 818k|6166 | 0.000000e+00 |      --      |    Inf 
1274.12/1274.51	c  1219s|  1900k|549597 |  6072k| 445M|  63 |   8 |  70 |8358 |  30 |  70 |  23 |  18 | 823k|6175 | 0.000000e+00 |      --      |    Inf 
1281.82/1282.25	c  1227s|  1910k|552257 |  6104k| 447M|  63 |   - |  70 |8523 |  24 |  70 |  23 |  18 | 827k|6190 | 0.000000e+00 |      --      |    Inf 
1289.82/1290.20	c  1234s|  1920k|554920 |  6135k| 449M|  63 |   - |  70 |8514 |  30 |  70 |  23 |  18 | 832k|6203 | 0.000000e+00 |      --      |    Inf 
1296.92/1297.37	c  1241s|  1930k|557753 |  6167k| 452M|  63 |   - |  70 |8658 |  70 |  70 |  23 |  18 | 836k|6220 | 0.000000e+00 |      --      |    Inf 
1304.81/1305.25	c  1249s|  1940k|560321 |  6199k| 454M|  63 |   8 |  70 |8735 |  43 |  70 |  23 |  18 | 841k|6231 | 0.000000e+00 |      --      |    Inf 
1311.91/1312.35	c  1256s|  1950k|563005 |  6231k| 457M|  63 |   8 |  70 |9503 | 101 |  70 |  23 |  18 | 845k|6246 | 0.000000e+00 |      --      |    Inf 
1319.61/1320.05	c  1263s|  1960k|565625 |  6261k| 459M|  63 |   8 |  70 |8964 | 841 |  70 |  23 |  18 | 850k|6258 | 0.000000e+00 |      --      |    Inf 
1326.21/1326.62	c  1269s|  1970k|568820 |  6293k| 461M|  63 |   8 |  70 |9341 |1374 |  70 |  23 |  18 | 854k|6267 | 0.000000e+00 |      --      |    Inf 
1333.50/1333.98	c  1277s|  1980k|571609 |  6324k| 463M|  63 |   8 |  70 |9450 |  20 |  70 |  23 |  18 | 858k|6282 | 0.000000e+00 |      --      |    Inf 
1341.61/1342.04	c  1284s|  1990k|574193 |  6357k| 466M|  63 |   8 |  70 |8905 | 109 |  70 |  23 |  18 | 863k|6287 | 0.000000e+00 |      --      |    Inf 
1349.40/1349.84	c  1292s|  2000k|576854 |  6388k| 468M|  63 |   8 |  70 |8621 | 133 |  70 |  23 |  18 | 867k|6287 | 0.000000e+00 |      --      |    Inf 
1357.01/1357.40	c  1299s|  2010k|579487 |  6420k| 470M|  63 |   - |  70 |8658 |  33 |  70 |  23 |  18 | 872k|6311 | 0.000000e+00 |      --      |    Inf 
1364.09/1364.57	c  1306s|  2020k|582407 |  6452k| 472M|  63 |   8 |  70 |8977 | 258 |  70 |  23 |  18 | 876k|6320 | 0.000000e+00 |      --      |    Inf 
1371.29/1371.78	c  1313s|  2030k|585098 |  6483k| 475M|  63 |   8 |  70 |9394 |  79 |  70 |  23 |  18 | 880k|6327 | 0.000000e+00 |      --      |    Inf 
1379.39/1379.83	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1379.39/1379.83	c  1321s|  2040k|587676 |  6515k| 477M|  63 |   - |  70 |8927 |  36 |  70 |  23 |  18 | 885k|6341 | 0.000000e+00 |      --      |    Inf 
1386.79/1387.26	c  1328s|  2050k|590453 |  6548k| 479M|  63 |   8 |  70 |9298 |  97 |  70 |  23 |  18 | 889k|6349 | 0.000000e+00 |      --      |    Inf 
1394.59/1395.02	c  1335s|  2060k|593284 |  6580k| 481M|  63 |   - |  70 |8424 |  90 |  70 |  23 |  18 | 894k|6362 | 0.000000e+00 |      --      |    Inf 
1402.19/1402.64	c  1343s|  2070k|595914 |  6612k| 484M|  63 |   8 |  70 |8892 |  51 |  70 |  23 |  18 | 898k|6374 | 0.000000e+00 |      --      |    Inf 
1409.88/1410.31	c  1350s|  2080k|598521 |  6643k| 486M|  63 |   8 |  70 |8461 |  30 |  70 |  23 |  18 | 903k|6386 | 0.000000e+00 |      --      |    Inf 
1417.38/1417.88	c  1357s|  2090k|601329 |  6675k| 488M|  63 |   - |  70 |8686 |  14 |  70 |  23 |  18 | 907k|6398 | 0.000000e+00 |      --      |    Inf 
1425.38/1425.88	c  1365s|  2100k|603753 |  6707k| 490M|  63 |   8 |  70 |8677 |  36 |  70 |  23 |  18 | 912k|6412 | 0.000000e+00 |      --      |    Inf 
1433.18/1433.62	c  1372s|  2110k|606443 |  6738k| 493M|  63 |   8 |  70 |8392 |  54 |  70 |  23 |  18 | 916k|6427 | 0.000000e+00 |      --      |    Inf 
1440.38/1440.83	c  1379s|  2120k|609389 |  6770k| 495M|  63 |   8 |  70 |9202 |  19 |  70 |  23 |  18 | 920k|6433 | 0.000000e+00 |      --      |    Inf 
1448.87/1449.34	c  1388s|  2130k|611902 |  6800k| 497M|  63 |   8 |  70 |8771 | 300 |  70 |  23 |  18 | 925k|6444 | 0.000000e+00 |      --      |    Inf 
1457.07/1457.56	c  1396s|  2140k|614256 |  6832k| 499M|  63 |   8 |  70 |8675 |  66 |  70 |  23 |  18 | 930k|6457 | 0.000000e+00 |      --      |    Inf 
1464.97/1465.45	c  1403s|  2150k|616878 |  6864k| 502M|  63 |   8 |  70 |9123 |  82 |  70 |  23 |  18 | 934k|6466 | 0.000000e+00 |      --      |    Inf 
1471.46/1471.98	c  1409s|  2160k|619778 |  6896k| 504M|  63 |   8 |  70 |  10k|  69 |  70 |  23 |  18 | 938k|6491 | 0.000000e+00 |      --      |    Inf 
1479.66/1480.18	c  1417s|  2170k|622370 |  6927k| 506M|  63 |   8 |  70 |9302 |  63 |  70 |  23 |  18 | 943k|6505 | 0.000000e+00 |      --      |    Inf 
1488.25/1488.73	c  1426s|  2180k|624824 |  6959k| 508M|  63 |   - |  70 |7921 |  96 |  70 |  23 |  18 | 948k|6516 | 0.000000e+00 |      --      |    Inf 
1495.84/1496.32	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1495.84/1496.32	c  1433s|  2190k|627483 |  6990k| 511M|  63 |   8 |  70 |8511 |  27 |  70 |  23 |  18 | 952k|6524 | 0.000000e+00 |      --      |    Inf 
1503.34/1503.82	c  1440s|  2200k|630115 |  7022k| 513M|  63 |   8 |  70 |8847 | 257 |  70 |  23 |  18 | 956k|6535 | 0.000000e+00 |      --      |    Inf 
1510.14/1510.63	c  1447s|  2210k|633273 |  7053k| 515M|  63 |   8 |  70 |9816 |  14 |  70 |  23 |  18 | 961k|6544 | 0.000000e+00 |      --      |    Inf 
1517.44/1517.95	c  1454s|  2220k|636074 |  7084k| 518M|  63 |   - |  70 |9339 |  17 |  70 |  23 |  18 | 965k|6554 | 0.000000e+00 |      --      |    Inf 
1525.94/1526.40	c  1462s|  2230k|638468 |  7115k| 520M|  63 |   - |  70 |9317 |  69 |  70 |  23 |  18 | 970k|6574 | 0.000000e+00 |      --      |    Inf 
1533.43/1533.98	c  1469s|  2240k|641080 |  7146k| 522M|  63 |   - |  70 |9383 |  40 |  70 |  23 |  18 | 974k|6582 | 0.000000e+00 |      --      |    Inf 
1541.23/1541.78	c  1477s|  2250k|643785 |  7178k| 524M|  63 |   - |  70 |9274 |  45 |  70 |  23 |  18 | 979k|6586 | 0.000000e+00 |      --      |    Inf 
1548.44/1548.94	c  1483s|  2260k|646453 |  7211k| 527M|  63 |   8 |  70 |9919 | 192 |  70 |  23 |  18 | 983k|6590 | 0.000000e+00 |      --      |    Inf 
1556.93/1557.49	c  1492s|  2270k|648886 |  7243k| 529M|  63 |   - |  70 |9086 |  69 |  70 |  23 |  18 | 988k|6598 | 0.000000e+00 |      --      |    Inf 
1565.03/1565.53	c  1499s|  2280k|651446 |  7274k| 531M|  63 |   8 |  70 |9862 | 127 |  70 |  23 |  18 | 992k|6606 | 0.000000e+00 |      --      |    Inf 
1573.73/1574.28	c  1508s|  2290k|654199 |  7305k| 533M|  63 |   8 |  70 |8774 |  16 |  70 |  23 |  18 | 996k|6613 | 0.000000e+00 |      --      |    Inf 
1581.02/1581.50	c  1515s|  2300k|656873 |  7337k| 536M|  63 |   8 |  70 |9679 |  71 |  70 |  23 |  18 |1001k|6622 | 0.000000e+00 |      --      |    Inf 
1589.02/1589.56	c  1523s|  2310k|659297 |  7369k| 538M|  63 |   8 |  70 |9791 |  34 |  70 |  23 |  18 |1005k|6636 | 0.000000e+00 |      --      |    Inf 
1597.02/1597.51	c  1530s|  2320k|662046 |  7400k| 540M|  63 |   - |  70 |  10k|  57 |  70 |  23 |  18 |1010k|6656 | 0.000000e+00 |      --      |    Inf 
1604.42/1604.92	c  1537s|  2330k|664820 |  7432k| 542M|  63 |   - |  70 |9749 |  84 |  70 |  23 |  18 |1014k|6664 | 0.000000e+00 |      --      |    Inf 
1611.42/1611.97	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1611.42/1611.97	c  1544s|  2340k|667509 |  7464k| 545M|  63 |   - |  70 |  10k| 131 |  70 |  23 |  18 |1019k|6676 | 0.000000e+00 |      --      |    Inf 
1618.71/1619.30	c  1551s|  2350k|670453 |  7496k| 547M|  63 |   - |  70 |9603 |  67 |  70 |  23 |  18 |1023k|6682 | 0.000000e+00 |      --      |    Inf 
1626.41/1626.94	c  1558s|  2360k|673277 |  7528k| 549M|  63 |   - |  70 |9266 |  27 |  70 |  23 |  18 |1027k|6688 | 0.000000e+00 |      --      |    Inf 
1634.90/1635.43	c  1567s|  2370k|675737 |  7559k| 551M|  63 |   - |  70 |8754 |  54 |  70 |  23 |  18 |1032k|6695 | 0.000000e+00 |      --      |    Inf 
1643.70/1644.26	c  1575s|  2380k|678083 |  7590k| 553M|  63 |   8 |  70 |8664 | 119 |  70 |  23 |  18 |1037k|6703 | 0.000000e+00 |      --      |    Inf 
1651.30/1651.88	c  1583s|  2390k|680573 |  7622k| 556M|  63 |   - |  70 |9619 |  26 |   0 |   0 |  18 |1041k|6711 | 0.000000e+00 |      --      |    Inf 
1659.40/1659.94	c  1590s|  2400k|683217 |  7654k| 558M|  63 |   - |  70 |9769 | 392 |  70 |  23 |  18 |1046k|6723 | 0.000000e+00 |      --      |    Inf 
1667.50/1668.02	c  1598s|  2410k|685873 |  7686k| 560M|  63 |   8 |  70 |9430 |  48 |  70 |  23 |  18 |1050k|6730 | 0.000000e+00 |      --      |    Inf 
1675.50/1676.00	c  1606s|  2420k|688732 |  7718k| 562M|  63 |   8 |  70 |9515 | 333 |  70 |  23 |  18 |1054k|6743 | 0.000000e+00 |      --      |    Inf 
1683.49/1684.02	c  1614s|  2430k|691464 |  7750k| 565M|  63 |   8 |  70 |9685 |  18 |  70 |  23 |  18 |1059k|6756 | 0.000000e+00 |      --      |    Inf 
1691.99/1692.59	c  1622s|  2440k|693960 |  7782k| 567M|  63 |   8 |  70 |9232 |  57 |  70 |  23 |  18 |1063k|6769 | 0.000000e+00 |      --      |    Inf 
1699.79/1700.39	c  1629s|  2450k|696548 |  7813k| 569M|  63 |   8 |  70 |9255 | 304 |  70 |  23 |  18 |1068k|6775 | 0.000000e+00 |      --      |    Inf 
1708.08/1708.68	c  1637s|  2460k|699264 |  7845k| 571M|  63 |   8 |  70 |9208 |  79 |  70 |  23 |  18 |1072k|6784 | 0.000000e+00 |      --      |    Inf 
1715.88/1716.45	c  1645s|  2470k|702001 |  7877k| 574M|  63 |   - |  70 |9657 |  62 |  70 |  23 |  18 |1077k|6790 | 0.000000e+00 |      --      |    Inf 
1723.48/1724.00	c  1652s|  2480k|704560 |  7909k| 576M|  63 |   8 |  70 |9510 |  89 |  70 |  23 |  18 |1081k|6793 | 0.000000e+00 |      --      |    Inf 
1731.88/1732.44	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1731.88/1732.44	c  1660s|  2490k|707040 |  7941k| 578M|  63 |   - |  70 |9382 | 155 |  70 |  23 |  18 |1086k|6798 | 0.000000e+00 |      --      |    Inf 
1739.68/1740.30	c  1668s|  2500k|709499 |  7973k| 580M|  63 |   8 |  70 |9252 |  49 |  70 |  23 |  18 |1090k|6799 | 0.000000e+00 |      --      |    Inf 
1747.48/1748.03	c  1675s|  2510k|712186 |  8004k| 583M|  63 |   8 |  70 |9470 |  90 |  70 |  23 |  18 |1095k|6800 | 0.000000e+00 |      --      |    Inf 
1755.57/1756.17	c  1683s|  2520k|714585 |  8036k| 585M|  63 |   8 |  70 |9795 | 447 |  70 |  23 |  18 |1099k|6812 | 0.000000e+00 |      --      |    Inf 
1763.77/1764.39	c  1691s|  2530k|717071 |  8068k| 587M|  63 |   8 |  70 |9892 | 155 |  70 |  23 |  18 |1104k|6819 | 0.000000e+00 |      --      |    Inf 
1772.37/1773.00	c  1699s|  2540k|719538 |  8100k| 589M|  63 |   - |  70 |9269 |  87 |  70 |  23 |  18 |1108k|6822 | 0.000000e+00 |      --      |    Inf 
1781.07/1781.65	c  1708s|  2550k|722020 |  8131k| 591M|  63 |   8 |  70 |8490 |   8 |  70 |  23 |  18 |1113k|6826 | 0.000000e+00 |      --      |    Inf 
1788.16/1788.73	c  1715s|  2560k|724840 |  8163k| 594M|  63 |   8 |  70 |9368 |  42 |  70 |  23 |  18 |1117k|6832 | 0.000000e+00 |      --      |    Inf 
1796.36/1796.95	c  1722s|  2570k|727405 |  8194k| 596M|  63 |   8 |  70 |8975 |  37 |  70 |  23 |  18 |1122k|6845 | 0.000000e+00 |      --      |    Inf 
1800.06/1800.60	c 
1800.06/1800.60	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.60	c Solving Time (sec) : 1725.94
1800.06/1800.60	c Solving Nodes      : 2576027
1800.06/1800.60	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.06/1800.60	c Dual Bound         : +0.00000000000000e+00
1800.06/1800.60	c Gap                : infinite
1800.06/1800.60	c NODE         2576027
1800.06/1800.60	c DUAL BOUND   0
1800.06/1800.60	c PRIMAL BOUND 1e+20
1800.06/1800.60	c GAP          1e+20
1800.06/1800.60	s UNKNOWN
1800.06/1800.60	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.60	c Solving Time       :    1725.94
1800.06/1800.60	c Original Problem   :
1800.06/1800.60	c   Problem name     : HOME/instance-1869534-1245177369.opb
1800.06/1800.60	c   Variables        : 71 (71 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.60	c   Constraints      : 17 initial, 17 maximal
1800.06/1800.60	c Presolved Problem  :
1800.06/1800.60	c   Problem name     : t_HOME/instance-1869534-1245177369.opb
1800.06/1800.60	c   Variables        : 70 (70 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.60	c   Constraints      : 8 initial, 10677 maximal
1800.06/1800.60	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.06/1800.60	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.60	c   dualfix          :       0.00          1          0          0          0          0          0          0          0
1800.06/1800.60	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.60	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.60	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.60	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.06/1800.60	c   linear           :       0.01          0          0          0          0          0          9          0          0
1800.06/1800.60	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.60	c   root node        :          -          0          -          -          0          -          -          -          -
1800.06/1800.60	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.60	c   integral         :          0          0          0    1660682          0       1043       3103          0          0    3313362
1800.06/1800.60	c   linear           :          8          6    6048958          0          0      35239    1362470          0          0          0
1800.06/1800.60	c   logicor          :          0+         0    2463415          0          0       2013     854646          0          0          0
1800.06/1800.60	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.06/1800.60	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.06/1800.60	c   integral         :      21.00       0.00       0.00      21.00       0.00
1800.06/1800.60	c   linear           :     357.76       0.00     357.76       0.00       0.00
1800.06/1800.60	c   logicor          :     391.63       0.00     391.63       0.00       0.00
1800.06/1800.60	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.06/1800.60	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.06/1800.60	c   rootredcost      :       1.84          0          0          0
1800.06/1800.60	c   pseudoobj        :       1.35          0          0          0
1800.06/1800.60	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.60	c   propagation      :       7.44      37252      34201     132825       47.9         12       38.4          -
1800.06/1800.60	c   infeasible LP    :      66.60     885079     885041    1708149       31.9      11800       36.3          0
1800.06/1800.60	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.60	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.60	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.06/1800.60	c   applied globally :          -          -          -     933975       25.7          -          -          -
1800.06/1800.60	c   applied locally  :          -          -          -     190639       38.3          -          -          -
1800.06/1800.60	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.60	c   cut pool         :       0.00          5          -          -         11          -    (maximal pool size: 55)
1800.06/1800.60	c   redcost          :       4.41    1660682          0          0          0          0
1800.06/1800.60	c   impliedbounds    :       0.00          6          0          0          0          0
1800.06/1800.60	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.60	c   gomory           :       0.01          6          0          0          0          0
1800.06/1800.60	c   strongcg         :       0.00          6          0          0         22          0
1800.06/1800.60	c   cmir             :       0.05          6          0          0         19          0
1800.06/1800.60	c   flowcover        :       0.04          6          0          0         22          0
1800.06/1800.60	c   clique           :       0.00          1          0          0          0          0
1800.06/1800.60	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.60	c   mcf              :       0.00          1          0          0          0          0
1800.06/1800.60	c Pricers            :       Time      Calls       Vars
1800.06/1800.60	c   problem variables:       0.00          0          0
1800.06/1800.60	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.60	c   relpscost        :      19.51    1660682       1043       3103          0          0    3313362
1800.06/1800.60	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.60	c   inference        :       0.00          0          0          0          0          0          0
1800.06/1800.60	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.60	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.60	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.60	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.60	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.60	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.60	c   LP solutions     :       0.00          -          0
1800.06/1800.60	c   pseudo solutions :       0.00          -          0
1800.06/1800.60	c   oneopt           :       1.02          0          0
1800.06/1800.60	c   crossover        :       0.66          0          0
1800.06/1800.60	c   guideddiving     :       0.13          0          0
1800.06/1800.60	c   coefdiving       :       0.26         95          0
1800.06/1800.60	c   veclendiving     :       0.25         95          0
1800.06/1800.60	c   linesearchdiving :       0.26         95          0
1800.06/1800.61	c   feaspump         :       0.23         48          0
1800.06/1800.61	c   objpscostdiving  :       0.15         48          0
1800.06/1800.61	c   rootsoldiving    :       0.14         48          0
1800.06/1800.61	c   pscostdiving     :       0.16         96          0
1800.06/1800.61	c   fracdiving       :       0.24         96          0
1800.06/1800.61	c   simplerounding   :       0.78          0          0
1800.06/1800.61	c   rounding         :       1.90      18360          0
1800.06/1800.61	c   shifting         :       5.72       5668          0
1800.06/1800.61	c   intshifting      :       0.11          0          0
1800.06/1800.61	c   fixandinfer      :       0.00          0          0
1800.06/1800.61	c   intdiving        :       0.00          0          0
1800.06/1800.61	c   actconsdiving    :       0.00          0          0
1800.06/1800.61	c   octane           :       0.00          0          0
1800.06/1800.61	c   rens             :       0.08          1          0
1800.06/1800.61	c   rins             :       0.00          0          0
1800.06/1800.61	c   localbranching   :       0.00          0          0
1800.06/1800.61	c   mutation         :       0.00          0          0
1800.06/1800.61	c   dins             :       0.00          0          0
1800.06/1800.61	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.61	c   primal LP        :       0.00          0          0       0.00          -
1800.06/1800.61	c   dual LP          :     357.80    2501716    8206826       3.28   22936.91
1800.06/1800.61	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.61	c   diving/probing LP:       0.45       2789       7132       2.56   15848.89
1800.06/1800.61	c   strong branching :       1.90       6847      40092       5.86   21101.05
1800.06/1800.61	c     (at root node) :          -         23       1053      45.78          -
1800.06/1800.61	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.61	c B&B Tree           :
1800.06/1800.61	c   number of runs   :          1
1800.06/1800.61	c   nodes            :    2576027
1800.06/1800.61	c   nodes (total)    :    2576027
1800.06/1800.61	c   nodes left       :     729863
1800.06/1800.61	c   max depth        :         63
1800.06/1800.61	c   max depth (total):         63
1800.06/1800.61	c   backtracks       :     238255 (9.2%)
1800.06/1800.61	c   delayed cutoffs  :       7473
1800.06/1800.61	c   repropagations   :    2503518 (848570 domain reductions, 2874 cutoffs)
1800.06/1800.61	c   avg switch length:       5.83
1800.06/1800.61	c   switching time   :     301.57
1800.06/1800.61	c Solution           :
1800.06/1800.61	c   Solutions found  :          0 (0 improvements)
1800.06/1800.61	c   Primal Bound     :          -
1800.06/1800.61	c   Dual Bound       : +0.00000000000000e+00
1800.06/1800.61	c   Gap              :   infinite
1800.06/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-1869534-1245177369/watcher-1869534-1245177369 -o /tmp/evaluation-result-1869534-1245177369/solver-1869534-1245177369 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869534-1245177369.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.99 0.98 0.99 2/64 5362
/proc/meminfo: memFree=1706760/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=4536 CPUtime=0
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 511 0 0 0 0 0 0 0 20 0 1 0 185336614 4644864 493 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 0 0 0 0 17 1 0 0
/proc/5362/statm: 1525 503 325 886 0 635 0

[startup+0.105103 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 5362
/proc/meminfo: memFree=1706760/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=12960 CPUtime=0.09
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 2796 0 0 0 9 0 0 0 20 0 1 0 185336614 13271040 2424 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 3240 2424 544 886 0 2350 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12960

[startup+0.201112 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 5362
/proc/meminfo: memFree=1706760/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=20236 CPUtime=0.19
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 4302 0 0 0 18 1 0 0 21 0 1 0 185336614 20721664 3930 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 5059 3930 552 886 0 4169 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 20236

[startup+0.301122 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 5362
/proc/meminfo: memFree=1706760/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=15284 CPUtime=0.29
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 4310 0 0 0 27 2 0 0 22 0 1 0 185336614 15650816 3028 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 3821 3028 559 886 0 2931 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15284

[startup+0.701162 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 5362
/proc/meminfo: memFree=1706760/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=15284 CPUtime=0.69
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 4320 0 0 0 64 5 0 0 25 0 1 0 185336614 15650816 3038 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 3821 3038 566 886 0 2931 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15284

[startup+1.50124 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5363
/proc/meminfo: memFree=1696576/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=15284 CPUtime=1.49
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 4321 0 0 0 139 10 0 0 25 0 1 0 185336614 15650816 3039 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 3821 3039 566 886 0 2931 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15284

[startup+3.10141 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5363
/proc/meminfo: memFree=1696448/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=15456 CPUtime=3.09
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 4380 0 0 0 288 21 0 0 25 0 1 0 185336614 15826944 3098 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 3864 3098 566 886 0 2974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15456

[startup+6.30173 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5363
/proc/meminfo: memFree=1693704/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=18736 CPUtime=6.29
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 5193 0 0 0 589 40 0 0 25 0 1 0 185336614 19185664 3911 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 4684 3911 566 886 0 3794 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18736

[startup+12.7014 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5363
/proc/meminfo: memFree=1690056/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=22456 CPUtime=12.69
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 6143 0 0 0 1191 78 0 0 25 0 1 0 185336614 22994944 4861 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 5614 4861 566 886 0 4724 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22456

[startup+25.5017 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5363
/proc/meminfo: memFree=1681480/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=30116 CPUtime=25.48
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 8082 0 0 0 2401 147 0 0 25 0 1 0 185336614 30838784 6800 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 7529 6800 566 886 0 6639 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30116

[startup+51.1013 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5363
/proc/meminfo: memFree=1669064/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=43232 CPUtime=51.08
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 11413 0 0 0 4827 281 0 0 25 0 1 0 185336614 44269568 10131 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 10808 10131 566 886 0 9918 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 43232

[startup+102.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5363
/proc/meminfo: memFree=1641736/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=69288 CPUtime=102.27
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 18012 0 0 0 9683 544 0 0 25 0 1 0 185336614 70950912 16730 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 17322 16730 566 886 0 16432 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 69288

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5363
/proc/meminfo: memFree=1615240/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=97544 CPUtime=162.24
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 24732 0 0 0 15393 831 0 0 25 0 1 0 185336614 99885056 23450 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 24386 23450 566 886 0 23496 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 97544

[startup+222.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5363
/proc/meminfo: memFree=1590344/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=121564 CPUtime=222.23
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 30812 0 0 0 21113 1110 0 0 25 0 1 0 185336614 124481536 29530 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 30391 29530 566 886 0 29501 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 121564

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5363
/proc/meminfo: memFree=1566024/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=145476 CPUtime=282.21
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 36862 0 0 0 26842 1379 0 0 25 0 1 0 185336614 148967424 35580 1992294400 4194304 7823515 548682068736 18446744073709551615 5102336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 36369 35580 566 886 0 35479 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 145476

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5363
/proc/meminfo: memFree=1543752/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=167444 CPUtime=342.19
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 42408 0 0 0 32576 1643 0 0 25 0 1 0 185336614 171462656 41126 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 41861 41126 566 886 0 40971 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 167444

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5363
/proc/meminfo: memFree=1522696/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=192196 CPUtime=402.18
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 47661 0 0 0 38312 1906 0 0 25 0 1 0 185336614 196808704 46379 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 48049 46379 566 886 0 47159 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 192196

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5363
/proc/meminfo: memFree=1499016/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=216076 CPUtime=462.16
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 53650 0 0 0 44052 2164 0 0 25 0 1 0 185336614 221261824 52368 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 54019 52368 566 886 0 53129 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 216076

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5363
/proc/meminfo: memFree=1479112/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=234808 CPUtime=522.15
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 58505 0 0 0 49791 2424 0 0 25 0 1 0 185336614 240443392 57223 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 58702 57223 566 886 0 57812 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 234808

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5363
/proc/meminfo: memFree=1458184/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=256060 CPUtime=582.12
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 63846 0 0 0 55534 2678 0 0 25 0 1 0 185336614 262205440 62564 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 64015 62564 566 886 0 63125 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 256060

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5363
/proc/meminfo: memFree=1432456/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=280824 CPUtime=642.11
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 70184 0 0 0 61272 2939 0 0 25 0 1 0 185336614 287563776 68902 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 70206 68902 566 886 0 69316 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 280824

[startup+702.301 s]

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

/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 99339 0 0 0 95777 4423 0 0 25 0 1 0 185336614 404742144 98057 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 98814 98057 566 886 0 97924 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 395256

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5365
/proc/meminfo: memFree=1293256/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=425360 CPUtime=1061.98
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 104798 0 0 0 101546 4652 0 0 25 0 1 0 185336614 435568640 103516 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 106340 103516 566 886 0 105450 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 425360

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5365
/proc/meminfo: memFree=1280136/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=438312 CPUtime=1121.97
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 108165 0 0 0 107314 4883 0 0 25 0 1 0 185336614 448831488 106883 1992294400 4194304 7823515 548682068736 18446744073709551615 4220501 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 109578 106883 566 886 0 108688 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 438312

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5365
/proc/meminfo: memFree=1259464/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=458036 CPUtime=1181.95
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 113240 0 0 0 113079 5116 0 0 25 0 1 0 185336614 469028864 111958 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 114509 111958 566 886 0 113619 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 458036

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5365
/proc/meminfo: memFree=1241224/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=476828 CPUtime=1241.93
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 117887 0 0 0 118838 5355 0 0 25 0 1 0 185336614 488271872 116605 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 119207 116605 566 886 0 118317 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 476828

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5365
/proc/meminfo: memFree=1223560/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=493692 CPUtime=1301.91
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 122216 0 0 0 124612 5579 0 0 25 0 1 0 185336614 505540608 120934 1992294400 4194304 7823515 548682068736 18446744073709551615 5102375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 123423 120934 566 886 0 122533 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 493692

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5365
/proc/meminfo: memFree=1206920/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=510648 CPUtime=1361.9
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 126593 0 0 0 130381 5809 0 0 25 0 1 0 185336614 522903552 125311 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 127662 125311 566 886 0 126772 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 510648

[startup+1422.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5365
/proc/meminfo: memFree=1189896/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=525896 CPUtime=1421.88
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 130520 0 0 0 136157 6031 0 0 25 0 1 0 185336614 538517504 129238 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 131474 129238 566 886 0 130584 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 525896

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5365
/proc/meminfo: memFree=1168456/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=547364 CPUtime=1481.86
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 135961 0 0 0 141933 6253 0 0 25 0 1 0 185336614 560500736 134679 1992294400 4194304 7823515 548682068736 18446744073709551615 5102336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 136841 134679 566 886 0 135951 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 547364

[startup+1542.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5371
/proc/meminfo: memFree=1149640/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=566004 CPUtime=1541.84
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 140543 0 0 0 147706 6478 0 0 25 0 1 0 185336614 579588096 139261 1992294400 4194304 7823515 548682068736 18446744073709551615 5102406 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 141501 139261 566 886 0 140611 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 566004

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5371
/proc/meminfo: memFree=1135368/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=579796 CPUtime=1601.82
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 144105 0 0 0 153486 6696 0 0 25 0 1 0 185336614 593711104 142823 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 144949 142823 566 886 0 144059 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 579796

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5371
/proc/meminfo: memFree=1116680/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=598296 CPUtime=1661.8
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 148828 0 0 0 159259 6921 0 0 25 0 1 0 185336614 612655104 147546 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 149574 147546 566 886 0 148684 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 598296

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5371
/proc/meminfo: memFree=1098120/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=616124 CPUtime=1721.78
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 153376 0 0 0 165045 7133 0 0 25 0 1 0 185336614 630910976 152094 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 154031 152094 566 886 0 153141 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 616124

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5371
/proc/meminfo: memFree=1081800/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=632036 CPUtime=1781.76
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 157442 0 0 0 170835 7341 0 0 25 0 1 0 185336614 647204864 156160 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 158009 156160 566 886 0 157119 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 632036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5371
/proc/meminfo: memFree=1075400/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=638280 CPUtime=1800.06
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 159041 0 0 0 172594 7412 0 0 25 0 1 0 185336614 653598720 157759 1992294400 4194304 7823515 548682068736 18446744073709551615 5020892 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5362/statm: 159570 157759 566 886 0 158680 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 638280

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -5362

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

[startup+1801.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 5372
/proc/meminfo: memFree=1075328/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=638280 CPUtime=1800.95
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 159043 0 0 0 172683 7412 0 0 25 0 1 0 185336614 653598720 157761 1992294400 4194304 7823515 548682068736 18446744073709551615 5875265 0 0 4096 0 0 0 0 17 1 0 0
/proc/5362/statm: 159570 157761 568 886 0 158680 0
Current children cumulated CPU time (s) 1800.95
Current children cumulated vsize (KiB) 638280

[startup+1802.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 5372
/proc/meminfo: memFree=1075328/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=638280 CPUtime=1801.75
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4194304 159043 0 0 0 172763 7412 0 0 25 0 1 0 185336614 653598720 157761 1992294400 4194304 7823515 548682068736 18446744073709551615 4744272 0 0 4096 0 0 0 0 17 1 0 0
/proc/5362/statm: 159570 157761 568 886 0 158680 0
Current children cumulated CPU time (s) 1801.75
Current children cumulated vsize (KiB) 638280

[startup+1802.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 5372
/proc/meminfo: memFree=1075328/2055920 swapFree=4192812/4192956
[pid=5362] ppid=5360 vsize=0 CPUtime=1802.15
/proc/5362/stat : 5362 (pbscip.linux.x8) R 5360 5362 5072 0 -1 4195332 159043 0 0 0 172794 7421 0 0 25 0 1 0 185336614 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/5362/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.71
CPU time (s): 1802.17
CPU user time (s): 1727.94
CPU system time (s): 74.2277
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 638280

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

runsolver used 1.62675 second user time and 4.96824 second system time

The end

Launcher Data 

Begin job on node27 at 2009-06-16 20:36:09
IDJOB=1869534
IDBENCH=2922
IDSOLVER=683
FILE ID=node27/1869534-1245177369
PBS_JOBID= 9363888
Free space on /tmp= 66288 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_8_70_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-1869534-1245177369/watcher-1869534-1245177369 -o /tmp/evaluation-result-1869534-1245177369/solver-1869534-1245177369 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869534-1245177369.opb

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

MD5SUM BENCH= d78f5121f87a7bad7fc74d5d3eacc32f
RANDOM SEED=1253991185

node27.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		: 2800.234
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	: 5521.40
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		: 2800.234
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:       1707176 kB
Buffers:         54776 kB
Cached:         219128 kB
SwapCached:          0 kB
Active:          62028 kB
Inactive:       226260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1707176 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            9844 kB
Writeback:           0 kB
Mapped:          24228 kB
Slab:            46248 kB
Committed_AS:   158456 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264948 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66280 MiB
End job on node27 at 2009-06-16 21:06:12