Trace number 1869508

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.12 1802.61

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_3.opb
MD5SUM0cfcb152e5d64f6fbadc82a2b31230da
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 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 1901
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5704
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-1869508-1245175679.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 |    41 | 299k|   0 |   7 |  60 |   7 |   7 |  60 |   7 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.04	c   0.0s|     1 |     0 |   142 | 343k|   0 |  13 |  60 |   7 |   7 |  60 |  14 |   7 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.05	c   0.0s|     1 |     0 |   147 | 365k|   0 |  14 |  60 |   7 |   7 |  60 |  17 |  10 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.06	c   0.1s|     1 |     0 |   156 | 383k|   0 |  17 |  60 |   7 |   7 |  60 |  20 |  13 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.06/0.08	c   0.1s|     1 |     0 |   165 | 400k|   0 |  20 |  60 |   7 |   7 |  60 |  23 |  16 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.06/0.09	c   0.1s|     1 |     0 |   179 | 417k|   0 |  20 |  60 |   7 |   7 |  60 |  25 |  18 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.11	c   0.1s|     1 |     0 |   186 | 424k|   0 |  23 |  60 |   7 |   7 |  60 |  27 |  20 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.28	c   0.2s|     1 |     2 |   186 | 425k|   0 |  23 |  60 |   7 |   7 |  60 |  27 |  20 |   0 |  23 | 0.000000e+00 |      --      |    Inf 
4.98/5.06	c   4.7s| 10000 |  3308 | 29579 |3958k|  53 |   7 |  60 |2835 |  44 |  60 |  23 |  20 |4813 | 689 | 0.000000e+00 |      --      |    Inf 
9.59/9.66	c   9.1s| 20000 |  6279 | 59008 |6019k|  53 |   - |  60 |2048 |  49 |  60 |  23 |  20 |9947 | 867 | 0.000000e+00 |      --      |    Inf 
14.08/14.10	c  13.2s| 30000 |  9391 | 88014 |8241k|  53 |   - |  60 |2177 | 131 |  60 |  23 |  20 |  14k|1045 | 0.000000e+00 |      --      |    Inf 
18.48/18.60	c  17.5s| 40000 | 12254 |116600 |  10M|  53 |   7 |  60 |2135 |  69 |  60 |  23 |  20 |  19k|1201 | 0.000000e+00 |      --      |    Inf 
22.99/23.03	c  21.6s| 50000 | 15098 |145010 |  12M|  53 |   7 |  60 |2341 | 177 |  60 |  23 |  20 |  24k|1317 | 0.000000e+00 |      --      |    Inf 
27.49/27.55	c  25.9s| 60000 | 17843 |173192 |  14M|  53 |   7 |  60 |2471 | 202 |  60 |  23 |  20 |  30k|1417 | 0.000000e+00 |      --      |    Inf 
31.98/32.06	c  30.1s| 70000 | 20785 |201143 |  16M|  53 |   7 |  60 |2461 | 130 |  60 |  23 |  20 |  35k|1503 | 0.000000e+00 |      --      |    Inf 
36.68/36.75	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
36.68/36.75	c  34.5s| 80000 | 23423 |228647 |  18M|  53 |   7 |  60 |2569 | 241 |  60 |  23 |  20 |  40k|1583 | 0.000000e+00 |      --      |    Inf 
41.18/41.27	c  38.8s| 90000 | 26307 |256931 |  20M|  53 |   - |  60 |2605 |  42 |  60 |  23 |  20 |  45k|1677 | 0.000000e+00 |      --      |    Inf 
45.87/45.94	c  43.2s|100000 | 28831 |285026 |  22M|  53 |   7 |  60 |2524 |  77 |  60 |  23 |  20 |  50k|1761 | 0.000000e+00 |      --      |    Inf 
50.58/50.65	c  47.6s|110000 | 31231 |313178 |  24M|  53 |   7 |  60 |2716 |  25 |  60 |  23 |  20 |  56k|1825 | 0.000000e+00 |      --      |    Inf 
55.28/55.37	c  52.0s|120000 | 33813 |340694 |  27M|  53 |   - |  60 |2810 |  92 |  60 |  23 |  20 |  61k|1890 | 0.000000e+00 |      --      |    Inf 
59.97/60.07	c  56.4s|130000 | 36349 |368396 |  29M|  53 |   7 |  60 |2900 | 162 |  60 |  23 |  20 |  66k|1947 | 0.000000e+00 |      --      |    Inf 
64.67/64.72	c  60.8s|140000 | 38908 |396233 |  31M|  53 |   - |  60 |3149 |  21 |   0 |   0 |  20 |  71k|2000 | 0.000000e+00 |      --      |    Inf 
69.27/69.38	c  65.2s|150000 | 41732 |423499 |  33M|  53 |   7 |  60 |3171 |  20 |  60 |  23 |  20 |  76k|2044 | 0.000000e+00 |      --      |    Inf 
74.17/74.28	c  69.8s|160000 | 44176 |451301 |  35M|  53 |   - |  60 |3165 |  65 |  60 |  23 |  20 |  82k|2113 | 0.000000e+00 |      --      |    Inf 
78.96/79.10	c  74.4s|170000 | 46583 |479114 |  37M|  53 |   7 |  60 |3273 | 189 |  60 |  23 |  20 |  87k|2178 | 0.000000e+00 |      --      |    Inf 
83.86/83.92	c  78.9s|180000 | 49097 |506954 |  39M|  53 |   7 |  60 |3386 | 241 |  60 |  23 |  20 |  92k|2251 | 0.000000e+00 |      --      |    Inf 
88.46/88.51	c  83.3s|190000 | 52043 |535351 |  41M|  53 |   - |  60 |4679 |  41 |  60 |  23 |  20 |  97k|2301 | 0.000000e+00 |      --      |    Inf 
93.76/93.89	c  88.4s|200000 | 54272 |563099 |  43M|  53 |   - |  60 |3359 | 199 |  60 |  23 |  20 | 103k|2342 | 0.000000e+00 |      --      |    Inf 
98.76/98.82	c  93.1s|210000 | 56733 |590380 |  45M|  53 |   7 |  60 |3081 |  16 |  60 |  23 |  20 | 108k|2384 | 0.000000e+00 |      --      |    Inf 
103.56/103.63	c  97.6s|220000 | 59192 |618049 |  47M|  53 |   7 |  60 |3346 |  14 |  60 |  23 |  20 | 113k|2423 | 0.000000e+00 |      --      |    Inf 
108.46/108.58	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
108.46/108.58	c   102s|230000 | 61698 |645932 |  49M|  53 |   7 |  60 |3244 | 445 |  60 |  23 |  20 | 119k|2445 | 0.000000e+00 |      --      |    Inf 
113.56/113.62	c   107s|240000 | 63969 |673692 |  51M|  53 |   7 |  60 |2934 | 404 |  60 |  23 |  20 | 124k|2467 | 0.000000e+00 |      --      |    Inf 
117.85/117.94	c   111s|250000 | 67609 |702310 |  53M|  53 |   7 |  60 |4329 | 251 |  60 |  23 |  20 | 129k|2488 | 0.000000e+00 |      --      |    Inf 
122.45/122.55	c   115s|260000 | 71280 |731697 |  56M|  54 |   7 |  60 |5553 | 268 |  60 |  23 |  20 | 133k|2501 | 0.000000e+00 |      --      |    Inf 
127.56/127.65	c   120s|270000 | 74313 |760451 |  58M|  54 |   7 |  60 |5653 |  19 |  60 |  23 |  20 | 138k|2511 | 0.000000e+00 |      --      |    Inf 
133.25/133.30	c   126s|280000 | 77081 |788719 |  60M|  54 |   - |  60 |3643 |  52 |  60 |  23 |  20 | 143k|2511 | 0.000000e+00 |      --      |    Inf 
138.35/138.41	c   130s|290000 | 79647 |817495 |  62M|  54 |   7 |  60 |3459 |  95 |  60 |  23 |  20 | 148k|2529 | 0.000000e+00 |      --      |    Inf 
143.45/143.51	c   135s|300000 | 82101 |845575 |  64M|  54 |   7 |  60 |3368 | 131 |  60 |  23 |  20 | 153k|2543 | 0.000000e+00 |      --      |    Inf 
148.55/148.62	c   140s|310000 | 84517 |873623 |  66M|  54 |   7 |  60 |3572 | 116 |  60 |  23 |  20 | 158k|2572 | 0.000000e+00 |      --      |    Inf 
153.64/153.70	c   145s|320000 | 87124 |901868 |  68M|  54 |   7 |  60 |3702 |  39 |  60 |  23 |  20 | 164k|2585 | 0.000000e+00 |      --      |    Inf 
158.85/158.94	c   150s|330000 | 89435 |929949 |  70M|  54 |   7 |  60 |4018 |  40 |  60 |  23 |  20 | 169k|2606 | 0.000000e+00 |      --      |    Inf 
163.95/164.01	c   155s|340000 | 92083 |957355 |  72M|  54 |   7 |  60 |3804 |  18 |  60 |  23 |  20 | 174k|2629 | 0.000000e+00 |      --      |    Inf 
169.25/169.33	c   160s|350000 | 94593 |984720 |  74M|  54 |   7 |  60 |3393 |  33 |  60 |  23 |  20 | 179k|2665 | 0.000000e+00 |      --      |    Inf 
174.44/174.52	c   165s|360000 | 96835 |  1012k|  76M|  54 |   7 |  60 |3490 |  87 |  60 |  23 |  20 | 185k|2693 | 0.000000e+00 |      --      |    Inf 
179.54/179.62	c   169s|370000 | 99384 |  1040k|  78M|  54 |   7 |  60 |3248 |  59 |  60 |  23 |  20 | 190k|2720 | 0.000000e+00 |      --      |    Inf 
184.24/184.33	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
184.24/184.33	c   174s|380000 |102131 |  1067k|  80M|  54 |   7 |  60 |4556 |  60 |  60 |  23 |  20 | 195k|2730 | 0.000000e+00 |      --      |    Inf 
189.64/189.76	c   179s|390000 |104553 |  1094k|  82M|  54 |   7 |  60 |3788 |  32 |  60 |  23 |  20 | 200k|2742 | 0.000000e+00 |      --      |    Inf 
194.93/195.04	c   184s|400000 |106959 |  1122k|  84M|  54 |   - |  60 |3590 |  24 |  60 |  23 |  20 | 206k|2760 | 0.000000e+00 |      --      |    Inf 
200.04/200.20	c   189s|410000 |109364 |  1150k|  86M|  54 |   - |  60 |3575 | 196 |  60 |  23 |  20 | 211k|2778 | 0.000000e+00 |      --      |    Inf 
205.13/205.26	c   194s|420000 |111732 |  1177k|  88M|  54 |   7 |  60 |3744 |  40 |  60 |  23 |  20 | 216k|2797 | 0.000000e+00 |      --      |    Inf 
210.13/210.23	c   198s|430000 |114304 |  1205k|  90M|  54 |   7 |  60 |4684 |  39 |  60 |  23 |  20 | 222k|2805 | 0.000000e+00 |      --      |    Inf 
215.63/215.71	c   204s|440000 |116792 |  1232k|  92M|  54 |   7 |  60 |4019 |  73 |  60 |  23 |  20 | 227k|2818 | 0.000000e+00 |      --      |    Inf 
220.93/221.05	c   209s|450000 |119288 |  1259k|  94M|  54 |   7 |  60 |3791 | 186 |  60 |  23 |  20 | 232k|2839 | 0.000000e+00 |      --      |    Inf 
226.13/226.21	c   214s|460000 |121893 |  1288k|  96M|  54 |   7 |  60 |3863 | 943 |  60 |  23 |  20 | 237k|2857 | 0.000000e+00 |      --      |    Inf 
231.42/231.55	c   219s|470000 |124309 |  1315k|  98M|  54 |   7 |  60 |3676 | 110 |  60 |  23 |  20 | 242k|2872 | 0.000000e+00 |      --      |    Inf 
236.72/236.81	c   224s|480000 |126738 |  1343k| 100M|  54 |   7 |  60 |3407 |  59 |  60 |  23 |  20 | 248k|2909 | 0.000000e+00 |      --      |    Inf 
241.52/241.61	c   228s|490000 |129549 |  1370k| 102M|  54 |   7 |  60 |4093 |  77 |  60 |  23 |  20 | 253k|2928 | 0.000000e+00 |      --      |    Inf 
246.52/246.61	c   233s|500000 |132345 |  1398k| 105M|  54 |   - |  60 |4119 |  21 |  60 |  23 |  20 | 258k|2941 | 0.000000e+00 |      --      |    Inf 
251.52/251.63	c   238s|510000 |135182 |  1426k| 107M|  54 |   - |  60 |4586 | 109 |  60 |  23 |  20 | 263k|2952 | 0.000000e+00 |      --      |    Inf 
257.01/257.14	c   243s|520000 |137411 |  1454k| 108M|  54 |   - |  60 |3278 | 136 |  60 |  23 |  20 | 268k|2964 | 0.000000e+00 |      --      |    Inf 
262.32/262.44	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
262.32/262.44	c   248s|530000 |139708 |  1482k| 111M|  54 |   - |  60 |3797 |  13 |   0 |   0 |  20 | 273k|2974 | 0.000000e+00 |      --      |    Inf 
267.12/267.29	c   252s|540000 |142457 |  1509k| 113M|  54 |   7 |  60 |5027 |  98 |  60 |  23 |  20 | 278k|2980 | 0.000000e+00 |      --      |    Inf 
272.42/272.57	c   257s|550000 |145038 |  1536k| 115M|  54 |   7 |  60 |4466 |  16 |  60 |  23 |  20 | 283k|2980 | 0.000000e+00 |      --      |    Inf 
277.82/277.95	c   263s|560000 |147553 |  1563k| 117M|  54 |   - |  60 |3852 |  30 |  60 |  23 |  20 | 289k|2980 | 0.000000e+00 |      --      |    Inf 
282.81/282.93	c   267s|570000 |150090 |  1591k| 119M|  54 |   7 |  60 |4891 | 259 |  60 |  23 |  20 | 294k|2980 | 0.000000e+00 |      --      |    Inf 
288.02/288.18	c   272s|580000 |152824 |  1619k| 121M|  54 |   - |  60 |4465 |  16 |  60 |  23 |  20 | 299k|2991 | 0.000000e+00 |      --      |    Inf 
293.71/293.81	c   278s|590000 |155038 |  1646k| 123M|  54 |   7 |  60 |3865 |  42 |  60 |  23 |  20 | 304k|2991 | 0.000000e+00 |      --      |    Inf 
298.71/298.85	c   282s|600000 |157739 |  1674k| 125M|  54 |   7 |  60 |4823 | 214 |  60 |  23 |  20 | 309k|2991 | 0.000000e+00 |      --      |    Inf 
304.41/304.59	c   288s|610000 |160099 |  1701k| 127M|  54 |   - |  60 |3810 |  27 |  60 |  23 |  20 | 314k|2991 | 0.000000e+00 |      --      |    Inf 
309.90/310.02	c   293s|620000 |162423 |  1729k| 129M|  54 |   7 |  60 |4042 |  42 |  60 |  23 |  20 | 320k|2991 | 0.000000e+00 |      --      |    Inf 
314.90/315.02	c   298s|630000 |165137 |  1756k| 131M|  54 |   7 |  60 |4860 |  55 |  60 |  23 |  20 | 325k|2991 | 0.000000e+00 |      --      |    Inf 
320.60/320.71	c   303s|640000 |167362 |  1784k| 133M|  54 |   7 |  60 |4039 | 224 |  60 |  23 |  20 | 330k|2991 | 0.000000e+00 |      --      |    Inf 
325.80/326.00	c   308s|650000 |169874 |  1811k| 135M|  54 |   7 |  60 |4441 |  56 |  60 |  23 |  20 | 335k|2999 | 0.000000e+00 |      --      |    Inf 
331.60/331.72	c   314s|660000 |172047 |  1838k| 137M|  54 |   - |  60 |3377 |  24 |  60 |  23 |  20 | 341k|3005 | 0.000000e+00 |      --      |    Inf 
337.00/337.11	c   319s|670000 |174357 |  1866k| 139M|  54 |   - |  60 |3557 |  23 |  60 |  23 |  20 | 346k|3007 | 0.000000e+00 |      --      |    Inf 
342.19/342.35	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
342.19/342.35	c   324s|680000 |176713 |  1894k| 141M|  54 |   7 |  60 |4039 |  19 |  60 |  23 |  20 | 352k|3008 | 0.000000e+00 |      --      |    Inf 
347.59/347.76	c   329s|690000 |179050 |  1921k| 143M|  54 |   7 |  60 |3802 |  34 |  60 |  23 |  20 | 357k|3008 | 0.000000e+00 |      --      |    Inf 
352.60/352.78	c   333s|700000 |181766 |  1949k| 145M|  54 |   7 |  60 |5068 |  46 |  60 |  23 |  20 | 362k|3008 | 0.000000e+00 |      --      |    Inf 
358.19/358.30	c   339s|710000 |184113 |  1977k| 147M|  54 |   7 |  60 |4760 |  46 |  60 |  23 |  20 | 367k|3008 | 0.000000e+00 |      --      |    Inf 
363.39/363.56	c   344s|720000 |186573 |  2004k| 149M|  54 |   - |  60 |5448 | 398 |  60 |  23 |  20 | 373k|3008 | 0.000000e+00 |      --      |    Inf 
368.99/369.13	c   349s|730000 |189001 |  2032k| 151M|  54 |   - |  60 |5126 |  11 |  60 |  23 |  20 | 378k|3025 | 0.000000e+00 |      --      |    Inf 
374.79/374.98	c   354s|740000 |191225 |  2060k| 153M|  54 |   - |  60 |3709 |  46 |  60 |  23 |  20 | 383k|3034 | 0.000000e+00 |      --      |    Inf 
380.18/380.35	c   360s|750000 |193651 |  2088k| 155M|  54 |   7 |  60 |3972 |  49 |  60 |  23 |  20 | 388k|3036 | 0.000000e+00 |      --      |    Inf 
385.49/385.60	c   364s|760000 |196085 |  2116k| 157M|  54 |   7 |  60 |4303 | 275 |  60 |  23 |  20 | 394k|3038 | 0.000000e+00 |      --      |    Inf 
390.99/391.15	c   370s|770000 |198351 |  2144k| 159M|  54 |   - |  60 |4116 |  29 |  60 |  23 |  20 | 399k|3039 | 0.000000e+00 |      --      |    Inf 
396.38/396.55	c   375s|780000 |200768 |  2172k| 161M|  54 |   - |  60 |3928 | 170 |  60 |  23 |  20 | 404k|3044 | 0.000000e+00 |      --      |    Inf 
401.68/401.85	c   380s|790000 |203194 |  2199k| 163M|  54 |   7 |  60 |4289 | 207 |  60 |  23 |  20 | 410k|3050 | 0.000000e+00 |      --      |    Inf 
407.28/407.45	c   385s|800000 |205416 |  2227k| 165M|  54 |   7 |  60 |3874 |  84 |  60 |  23 |  20 | 415k|3051 | 0.000000e+00 |      --      |    Inf 
412.77/412.97	c   390s|810000 |207748 |  2254k| 167M|  54 |   7 |  60 |4258 |  46 |  60 |  23 |  20 | 420k|3051 | 0.000000e+00 |      --      |    Inf 
418.37/418.58	c   396s|820000 |210019 |  2283k| 169M|  54 |   7 |  60 |4100 | 355 |  60 |  23 |  20 | 425k|3057 | 0.000000e+00 |      --      |    Inf 
423.68/423.87	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
423.68/423.87	c   401s|830000 |212519 |  2310k| 171M|  54 |   7 |  60 |4669 | 129 |  60 |  23 |  20 | 430k|3066 | 0.000000e+00 |      --      |    Inf 
428.97/429.19	c   406s|840000 |215095 |  2337k| 173M|  54 |   7 |  60 |5108 |  54 |  60 |  23 |  20 | 436k|3066 | 0.000000e+00 |      --      |    Inf 
434.27/434.46	c   411s|850000 |217399 |  2366k| 176M|  54 |   - |  60 |6722 | 114 |  60 |  23 |  20 | 441k|3066 | 0.000000e+00 |      --      |    Inf 
439.97/440.18	c   416s|860000 |220063 |  2393k| 178M|  54 |   7 |  60 |5755 |  17 |  60 |  23 |  20 | 446k|3066 | 0.000000e+00 |      --      |    Inf 
445.87/446.01	c   422s|870000 |222378 |  2420k| 179M|  54 |   7 |  60 |5008 |  24 |  60 |  23 |  20 | 451k|3066 | 0.000000e+00 |      --      |    Inf 
451.66/451.86	c   427s|880000 |224746 |  2448k| 181M|  54 |   - |  60 |4031 |  19 |  60 |  23 |  20 | 456k|3066 | 0.000000e+00 |      --      |    Inf 
457.17/457.35	c   432s|890000 |226931 |  2476k| 183M|  54 |   7 |  60 |3992 | 132 |  60 |  23 |  20 | 462k|3085 | 0.000000e+00 |      --      |    Inf 
462.36/462.57	c   437s|900000 |229139 |  2502k| 185M|  54 |   7 |  60 |4844 |  38 |  60 |  23 |  20 | 467k|3091 | 0.000000e+00 |      --      |    Inf 
467.86/468.10	c   443s|910000 |231542 |  2531k| 187M|  54 |   7 |  60 |4578 |  13 |  60 |  23 |  20 | 473k|3099 | 0.000000e+00 |      --      |    Inf 
473.66/473.86	c   448s|920000 |233815 |  2558k| 189M|  54 |   7 |  60 |4742 | 176 |  60 |  23 |  20 | 478k|3103 | 0.000000e+00 |      --      |    Inf 
479.47/479.62	c   454s|930000 |236105 |  2585k| 191M|  54 |   - |  60 |4328 |  68 |  60 |  23 |  20 | 483k|3116 | 0.000000e+00 |      --      |    Inf 
484.86/485.09	c   459s|940000 |238444 |  2612k| 193M|  54 |   7 |  60 |4472 | 190 |  60 |  23 |  20 | 489k|3129 | 0.000000e+00 |      --      |    Inf 
490.76/490.94	c   464s|950000 |240573 |  2639k| 195M|  54 |   - |  60 |4075 | 380 |  60 |  23 |  20 | 494k|3129 | 0.000000e+00 |      --      |    Inf 
496.06/496.21	c   469s|960000 |243001 |  2667k| 197M|  54 |   - |  60 |4685 |  25 |  60 |  23 |  20 | 499k|3133 | 0.000000e+00 |      --      |    Inf 
501.05/501.30	c   474s|970000 |245734 |  2694k| 199M|  54 |   - |  60 |5857 |  86 |  60 |  23 |  20 | 504k|3147 | 0.000000e+00 |      --      |    Inf 
506.86/507.03	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
506.86/507.03	c   480s|980000 |248377 |  2722k| 201M|  54 |   7 |  60 |4437 | 225 |  60 |  23 |  20 | 509k|3159 | 0.000000e+00 |      --      |    Inf 
511.85/512.08	c   484s|990000 |251386 |  2752k| 204M|  54 |   - |  60 |6121 |  70 |  60 |  23 |  20 | 514k|3181 | 0.000000e+00 |      --      |    Inf 
518.05/518.20	c   490s|  1000k|253601 |  2781k| 205M|  54 |   7 |  60 |4569 | 296 |  60 |  23 |  20 | 520k|3188 | 0.000000e+00 |      --      |    Inf 
523.75/523.93	c   496s|  1010k|255890 |  2808k| 207M|  54 |   7 |  60 |4753 |  27 |  60 |  23 |  20 | 525k|3207 | 0.000000e+00 |      --      |    Inf 
529.55/529.79	c   501s|  1020k|258170 |  2836k| 209M|  54 |   - |  60 |4562 | 386 |  60 |  23 |  20 | 530k|3213 | 0.000000e+00 |      --      |    Inf 
535.24/535.43	c   507s|  1030k|260484 |  2864k| 211M|  54 |   7 |  60 |4696 | 113 |  60 |  23 |  20 | 535k|3224 | 0.000000e+00 |      --      |    Inf 
541.05/541.29	c   512s|  1040k|262809 |  2891k| 213M|  54 |   7 |  60 |4391 |  40 |  60 |  23 |  20 | 541k|3233 | 0.000000e+00 |      --      |    Inf 
546.15/546.34	c   517s|  1050k|265378 |  2919k| 215M|  54 |   7 |  60 |6157 | 174 |  60 |  23 |  20 | 546k|3237 | 0.000000e+00 |      --      |    Inf 
552.14/552.32	c   523s|  1060k|267743 |  2947k| 217M|  54 |   7 |  60 |5404 |  53 |  60 |  23 |  20 | 551k|3255 | 0.000000e+00 |      --      |    Inf 
557.84/558.05	c   528s|  1070k|270353 |  2975k| 219M|  54 |   7 |  60 |4866 |  99 |  60 |  23 |  20 | 556k|3260 | 0.000000e+00 |      --      |    Inf 
563.24/563.48	c   533s|  1080k|273248 |  3003k| 221M|  54 |   7 |  60 |5436 |  49 |  60 |  23 |  20 | 561k|3266 | 0.000000e+00 |      --      |    Inf 
568.94/569.16	c   539s|  1090k|275667 |  3031k| 223M|  54 |   - |  60 |5063 |  46 |  60 |  23 |  20 | 566k|3268 | 0.000000e+00 |      --      |    Inf 
574.63/574.84	c   544s|  1100k|277982 |  3058k| 225M|  54 |   7 |  60 |4498 | 152 |  60 |  23 |  20 | 571k|3286 | 0.000000e+00 |      --      |    Inf 
579.64/579.83	c   549s|  1110k|280985 |  3086k| 228M|  54 |   7 |  60 |6608 |  47 |  60 |  23 |  20 | 576k|3295 | 0.000000e+00 |      --      |    Inf 
585.14/585.30	c   554s|  1120k|283809 |  3114k| 230M|  54 |   7 |  60 |8252 |  57 |  60 |  23 |  20 | 581k|3306 | 0.000000e+00 |      --      |    Inf 
591.93/592.18	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
591.93/592.18	c   560s|  1130k|286014 |  3142k| 232M|  54 |   - |  60 |4392 | 129 |  60 |  23 |  20 | 587k|3323 | 0.000000e+00 |      --      |    Inf 
597.63/597.86	c   566s|  1140k|288359 |  3170k| 234M|  54 |   - |  60 |4456 |  49 |  60 |  23 |  20 | 592k|3332 | 0.000000e+00 |      --      |    Inf 
603.53/603.77	c   572s|  1150k|290468 |  3198k| 235M|  54 |   - |  60 |4644 |  35 |  60 |  23 |  20 | 598k|3336 | 0.000000e+00 |      --      |    Inf 
609.03/609.28	c   577s|  1160k|292829 |  3226k| 238M|  54 |   - |  60 |4971 |  69 |  60 |  23 |  20 | 603k|3346 | 0.000000e+00 |      --      |    Inf 
615.23/615.49	c   583s|  1170k|294765 |  3254k| 239M|  54 |   7 |  60 |4212 |  97 |  60 |  23 |  20 | 608k|3346 | 0.000000e+00 |      --      |    Inf 
620.82/621.08	c   588s|  1180k|297218 |  3282k| 241M|  54 |   7 |  60 |4311 |  79 |  60 |  23 |  20 | 614k|3358 | 0.000000e+00 |      --      |    Inf 
626.33/626.57	c   593s|  1190k|299769 |  3310k| 243M|  54 |   - |  60 |4793 |  38 |  60 |  23 |  20 | 619k|3370 | 0.000000e+00 |      --      |    Inf 
631.92/632.13	c   599s|  1200k|302318 |  3336k| 245M|  54 |   7 |  60 |5039 |  25 |  60 |  23 |  20 | 624k|3378 | 0.000000e+00 |      --      |    Inf 
637.92/638.16	c   604s|  1210k|304508 |  3364k| 247M|  54 |   7 |  60 |4572 | 132 |  60 |  23 |  20 | 629k|3386 | 0.000000e+00 |      --      |    Inf 
643.33/643.59	c   609s|  1220k|306973 |  3392k| 249M|  54 |   7 |  60 |5322 |  42 |  60 |  23 |  20 | 634k|3398 | 0.000000e+00 |      --      |    Inf 
649.52/649.74	c   615s|  1230k|309154 |  3420k| 251M|  54 |   7 |  60 |3761 | 105 |  60 |  23 |  20 | 640k|3402 | 0.000000e+00 |      --      |    Inf 
655.21/655.41	c   621s|  1240k|311403 |  3448k| 253M|  54 |   - |  60 |4258 |  12 |   0 |   0 |  20 | 645k|3409 | 0.000000e+00 |      --      |    Inf 
660.72/660.91	c   626s|  1250k|313583 |  3475k| 255M|  54 |   7 |  60 |4459 |1804 |  60 |  23 |  20 | 650k|3414 | 0.000000e+00 |      --      |    Inf 
665.51/665.80	c   631s|  1260k|316558 |  3503k| 258M|  54 |   7 |  60 |6450 | 120 |  60 |  23 |  20 | 655k|3418 | 0.000000e+00 |      --      |    Inf 
671.51/671.71	c   636s|  1270k|318952 |  3530k| 260M|  54 |   7 |  60 |5512 | 104 |  60 |  23 |  20 | 660k|3424 | 0.000000e+00 |      --      |    Inf 
677.31/677.59	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
677.31/677.59	c   642s|  1280k|321200 |  3557k| 261M|  54 |   7 |  60 |5547 | 167 |  60 |  23 |  20 | 665k|3427 | 0.000000e+00 |      --      |    Inf 
683.21/683.48	c   647s|  1290k|323702 |  3584k| 263M|  54 |   - |  60 |5275 |  71 |  60 |  23 |  20 | 671k|3437 | 0.000000e+00 |      --      |    Inf 
689.61/689.82	c   653s|  1300k|325750 |  3612k| 265M|  54 |   - |  60 |4337 |  28 |  60 |  23 |  20 | 676k|3445 | 0.000000e+00 |      --      |    Inf 
695.00/695.24	c   659s|  1310k|328190 |  3639k| 267M|  54 |   7 |  60 |4959 |  21 |  60 |  23 |  20 | 681k|3459 | 0.000000e+00 |      --      |    Inf 
700.70/700.95	c   664s|  1320k|330565 |  3667k| 269M|  54 |   7 |  60 |4723 |  35 |  60 |  23 |  20 | 686k|3465 | 0.000000e+00 |      --      |    Inf 
706.00/706.26	c   669s|  1330k|333105 |  3694k| 271M|  54 |   - |  60 |5587 |  69 |  60 |  23 |  20 | 691k|3473 | 0.000000e+00 |      --      |    Inf 
711.60/711.86	c   674s|  1340k|335613 |  3722k| 274M|  54 |   - |  60 |6426 |  46 |  60 |  23 |  20 | 697k|3488 | 0.000000e+00 |      --      |    Inf 
717.90/718.14	c   680s|  1350k|337742 |  3749k| 275M|  54 |   7 |  60 |5158 |  29 |  60 |  23 |  20 | 702k|3489 | 0.000000e+00 |      --      |    Inf 
724.00/724.22	c   686s|  1360k|339829 |  3776k| 277M|  54 |   - |  60 |4960 |  91 |  60 |  23 |  20 | 707k|3504 | 0.000000e+00 |      --      |    Inf 
729.50/729.70	c   691s|  1370k|342455 |  3804k| 279M|  54 |   - |  60 |6499 | 209 |  60 |  23 |  20 | 712k|3518 | 0.000000e+00 |      --      |    Inf 
735.70/735.94	c   697s|  1380k|344790 |  3832k| 281M|  54 |   - |  60 |5053 |  34 |  60 |  23 |  20 | 718k|3536 | 0.000000e+00 |      --      |    Inf 
741.69/741.97	c   703s|  1390k|346977 |  3860k| 283M|  54 |   - |  60 |4467 |  60 |  60 |  23 |  20 | 723k|3546 | 0.000000e+00 |      --      |    Inf 
747.49/747.76	c   709s|  1400k|349211 |  3888k| 285M|  54 |   7 |  60 |5084 |  32 |  60 |  23 |  20 | 728k|3554 | 0.000000e+00 |      --      |    Inf 
753.30/753.58	c   714s|  1410k|351620 |  3917k| 287M|  54 |   - |  60 |5378 |  78 |   0 |   0 |  20 | 734k|3562 | 0.000000e+00 |      --      |    Inf 
758.98/759.27	c   720s|  1420k|354092 |  3945k| 289M|  54 |   - |  60 |5895 | 130 |  60 |  23 |  20 | 739k|3566 | 0.000000e+00 |      --      |    Inf 
765.08/765.39	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
765.08/765.39	c   725s|  1430k|356206 |  3973k| 291M|  54 |   7 |  60 |4995 | 114 |  60 |  23 |  20 | 744k|3566 | 0.000000e+00 |      --      |    Inf 
770.68/770.99	c   731s|  1440k|358622 |  4001k| 293M|  54 |   - |  60 |5482 |  18 |  60 |  23 |  20 | 749k|3572 | 0.000000e+00 |      --      |    Inf 
776.98/777.26	c   737s|  1450k|360895 |  4028k| 295M|  54 |   7 |  60 |4688 |  49 |  60 |  23 |  20 | 755k|3584 | 0.000000e+00 |      --      |    Inf 
782.78/783.06	c   742s|  1460k|363095 |  4056k| 296M|  54 |   7 |  60 |4209 |  53 |  60 |  23 |  20 | 760k|3593 | 0.000000e+00 |      --      |    Inf 
788.68/788.92	c   748s|  1470k|365296 |  4084k| 298M|  54 |   7 |  60 |4952 | 202 |  60 |  23 |  20 | 765k|3601 | 0.000000e+00 |      --      |    Inf 
794.68/794.92	c   754s|  1480k|367470 |  4111k| 300M|  54 |   - |  60 |4367 |  10 |   0 |   0 |  20 | 771k|3616 | 0.000000e+00 |      --      |    Inf 
800.18/800.45	c   759s|  1490k|369861 |  4138k| 302M|  54 |   - |  60 |4730 |  74 |  60 |  23 |  20 | 776k|3630 | 0.000000e+00 |      --      |    Inf 
805.27/805.58	c   764s|  1500k|372272 |  4165k| 305M|  54 |   7 |  60 |6065 |  22 |  60 |  23 |  20 | 781k|3638 | 0.000000e+00 |      --      |    Inf 
811.18/811.45	c   769s|  1510k|374551 |  4192k| 306M|  54 |   7 |  60 |5813 | 153 |  60 |  23 |  20 | 786k|3642 | 0.000000e+00 |      --      |    Inf 
817.37/817.66	c   775s|  1520k|376898 |  4221k| 308M|  54 |   7 |  60 |5563 |  62 |  60 |  23 |  20 | 792k|3655 | 0.000000e+00 |      --      |    Inf 
823.17/823.44	c   781s|  1530k|379243 |  4249k| 310M|  54 |   - |  60 |5693 |  93 |  60 |  23 |  20 | 797k|3667 | 0.000000e+00 |      --      |    Inf 
828.77/829.03	c   786s|  1540k|381724 |  4276k| 312M|  54 |   - |  60 |6343 |  55 |   0 |   0 |  20 | 802k|3680 | 0.000000e+00 |      --      |    Inf 
834.67/834.94	c   792s|  1550k|383816 |  4304k| 314M|  54 |   7 |  60 |6213 |  38 |  60 |  23 |  20 | 807k|3680 | 0.000000e+00 |      --      |    Inf 
841.06/841.31	c   798s|  1560k|385882 |  4331k| 316M|  54 |   7 |  60 |5567 | 373 |  60 |  23 |  20 | 813k|3680 | 0.000000e+00 |      --      |    Inf 
846.26/846.56	c   803s|  1570k|388601 |  4360k| 319M|  54 |   7 |  60 |7829 |  93 |  60 |  23 |  20 | 818k|3680 | 0.000000e+00 |      --      |    Inf 
853.37/853.68	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
853.37/853.68	c   809s|  1580k|390552 |  4388k| 320M|  54 |   - |  60 |5715 |  97 |  60 |  23 |  20 | 823k|3684 | 0.000000e+00 |      --      |    Inf 
859.87/860.13	c   816s|  1590k|392669 |  4416k| 322M|  54 |   - |  60 |5455 |  88 |  60 |  23 |  20 | 829k|3700 | 0.000000e+00 |      --      |    Inf 
865.37/865.67	c   821s|  1600k|395221 |  4443k| 324M|  54 |   7 |  60 |6513 |  52 |  60 |  23 |  20 | 834k|3707 | 0.000000e+00 |      --      |    Inf 
871.16/871.47	c   826s|  1610k|397663 |  4471k| 327M|  54 |   - |  60 |7601 |  17 |  60 |  23 |  20 | 839k|3708 | 0.000000e+00 |      --      |    Inf 
878.05/878.33	c   833s|  1620k|399907 |  4498k| 328M|  54 |   7 |  60 |5513 |  17 |  60 |  23 |  20 | 844k|3708 | 0.000000e+00 |      --      |    Inf 
884.36/884.61	c   839s|  1630k|402162 |  4527k| 330M|  54 |   - |  60 |5103 |  24 |  60 |  23 |  20 | 850k|3708 | 0.000000e+00 |      --      |    Inf 
890.26/890.53	c   845s|  1640k|404564 |  4554k| 332M|  54 |   7 |  60 |5615 |  23 |  60 |  23 |  20 | 855k|3710 | 0.000000e+00 |      --      |    Inf 
896.35/896.67	c   850s|  1650k|406748 |  4582k| 334M|  54 |   - |  60 |5132 |  27 |  60 |  23 |  20 | 860k|3715 | 0.000000e+00 |      --      |    Inf 
902.15/902.40	c   856s|  1660k|409023 |  4609k| 336M|  54 |   - |  60 |5628 |  28 |  60 |  23 |  20 | 865k|3719 | 0.000000e+00 |      --      |    Inf 
908.05/908.34	c   862s|  1670k|411440 |  4637k| 338M|  54 |   - |  60 |5077 |  70 |  60 |  23 |  20 | 871k|3727 | 0.000000e+00 |      --      |    Inf 
913.65/913.97	c   867s|  1680k|413914 |  4664k| 340M|  54 |   - |  60 |5762 |  82 |  60 |  23 |  20 | 876k|3740 | 0.000000e+00 |      --      |    Inf 
919.74/920.02	c   873s|  1690k|416186 |  4691k| 342M|  54 |   7 |  60 |5301 | 106 |  60 |  23 |  20 | 881k|3747 | 0.000000e+00 |      --      |    Inf 
925.85/926.14	c   878s|  1700k|418466 |  4720k| 344M|  54 |   7 |  60 |4528 |  46 |  60 |  23 |  20 | 886k|3760 | 0.000000e+00 |      --      |    Inf 
931.84/932.11	c   884s|  1710k|420801 |  4748k| 345M|  54 |   - |  60 |4479 |  22 |  60 |  23 |  20 | 892k|3770 | 0.000000e+00 |      --      |    Inf 
937.44/937.78	c   890s|  1720k|423209 |  4775k| 348M|  54 |   - |  60 |5556 |  34 |  60 |  23 |  20 | 897k|3780 | 0.000000e+00 |      --      |    Inf 
943.64/943.91	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
943.64/943.91	c   895s|  1730k|425449 |  4802k| 350M|  54 |   7 |  60 |4960 | 168 |  60 |  23 |  20 | 902k|3796 | 0.000000e+00 |      --      |    Inf 
949.64/949.99	c   901s|  1740k|427792 |  4830k| 351M|  54 |   7 |  60 |4894 |  27 |  60 |  23 |  20 | 907k|3811 | 0.000000e+00 |      --      |    Inf 
955.84/956.12	c   907s|  1750k|429880 |  4857k| 353M|  54 |   - |  60 |4849 | 193 |  60 |  23 |  20 | 913k|3816 | 0.000000e+00 |      --      |    Inf 
961.74/962.06	c   913s|  1760k|432082 |  4884k| 355M|  54 |   7 |  60 |4886 |  79 |  60 |  23 |  20 | 918k|3825 | 0.000000e+00 |      --      |    Inf 
967.34/967.61	c   918s|  1770k|434072 |  4910k| 357M|  54 |   - |  60 |5833 |  54 |  60 |  23 |  20 | 924k|3833 | 0.000000e+00 |      --      |    Inf 
973.03/973.39	c   924s|  1780k|436761 |  4938k| 359M|  54 |   - |  60 |5369 |  34 |  60 |  23 |  20 | 929k|3836 | 0.000000e+00 |      --      |    Inf 
978.33/978.68	c   929s|  1790k|439612 |  4966k| 362M|  54 |   7 |  60 |7269 | 253 |  60 |  23 |  20 | 934k|3837 | 0.000000e+00 |      --      |    Inf 
984.13/984.48	c   934s|  1800k|442303 |  4993k| 364M|  54 |   7 |  60 |8439 | 133 |  60 |  23 |  20 | 939k|3845 | 0.000000e+00 |      --      |    Inf 
990.03/990.35	c   940s|  1810k|445389 |  5020k| 367M|  54 |   - |  60 |9737 |  38 |  60 |  23 |  20 | 943k|3851 | 0.000000e+00 |      --      |    Inf 
995.83/996.19	c   945s|  1820k|448420 |  5047k| 369M|  54 |   - |  60 |  10k|  24 |  60 |  23 |  20 | 948k|3851 | 0.000000e+00 |      --      |    Inf 
1002.63/1002.97	c   952s|  1830k|451200 |  5075k| 371M|  54 |   - |  60 |  10k|  37 |  60 |  23 |  20 | 952k|3851 | 0.000000e+00 |      --      |    Inf 
1009.62/1009.91	c   958s|  1840k|453663 |  5103k| 373M|  54 |   - |  60 |9481 |  91 |  60 |  23 |  20 | 958k|3851 | 0.000000e+00 |      --      |    Inf 
1016.33/1016.60	c   965s|  1850k|456305 |  5132k| 375M|  54 |   7 |  60 |9746 | 325 |  60 |  23 |  20 | 962k|3861 | 0.000000e+00 |      --      |    Inf 
1023.62/1023.94	c   972s|  1860k|458566 |  5159k| 377M|  54 |   7 |  60 |7108 | 135 |  60 |  23 |  20 | 967k|3866 | 0.000000e+00 |      --      |    Inf 
1029.72/1030.06	c   978s|  1870k|460700 |  5186k| 379M|  54 |   7 |  60 |8732 |  93 |  60 |  23 |  20 | 973k|3877 | 0.000000e+00 |      --      |    Inf 
1037.21/1037.58	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1037.21/1037.58	c   985s|  1880k|462772 |  5214k| 380M|  54 |   7 |  60 |5783 |  30 |  60 |  23 |  20 | 978k|3884 | 0.000000e+00 |      --      |    Inf 
1043.62/1043.91	c   991s|  1890k|465142 |  5241k| 382M|  54 |   - |  60 |5162 |  72 |  60 |  23 |  20 | 983k|3888 | 0.000000e+00 |      --      |    Inf 
1049.41/1049.72	c   996s|  1900k|467614 |  5269k| 384M|  54 |   7 |  60 |5926 |  53 |  60 |  23 |  20 | 989k|3901 | 0.000000e+00 |      --      |    Inf 
1055.51/1055.81	c  1002s|  1910k|469674 |  5297k| 386M|  54 |   7 |  60 |5535 | 120 |  60 |  23 |  20 | 994k|3907 | 0.000000e+00 |      --      |    Inf 
1061.81/1062.17	c  1008s|  1920k|471771 |  5325k| 388M|  54 |   - |  60 |5482 |  37 |  60 |  23 |  20 | 999k|3914 | 0.000000e+00 |      --      |    Inf 
1068.20/1068.51	c  1014s|  1930k|474040 |  5352k| 390M|  54 |   - |  60 |5225 |  40 |  60 |  23 |  20 |1005k|3920 | 0.000000e+00 |      --      |    Inf 
1074.11/1074.40	c  1020s|  1940k|476511 |  5380k| 392M|  54 |   7 |  60 |5467 |  79 |  60 |  23 |  20 |1010k|3922 | 0.000000e+00 |      --      |    Inf 
1080.20/1080.57	c  1026s|  1950k|478820 |  5409k| 394M|  54 |   7 |  60 |5134 |  28 |  60 |  23 |  20 |1015k|3925 | 0.000000e+00 |      --      |    Inf 
1086.70/1087.02	c  1032s|  1960k|481013 |  5437k| 395M|  54 |   7 |  60 |3933 | 416 |  60 |  23 |  20 |1020k|3931 | 0.000000e+00 |      --      |    Inf 
1092.60/1092.95	c  1038s|  1970k|483307 |  5464k| 397M|  54 |   - |  60 |4510 | 104 |   0 |   0 |  20 |1026k|3944 | 0.000000e+00 |      --      |    Inf 
1098.60/1098.94	c  1043s|  1980k|485568 |  5492k| 399M|  54 |   7 |  60 |4625 |  44 |  60 |  23 |  20 |1031k|3953 | 0.000000e+00 |      --      |    Inf 
1104.50/1104.84	c  1049s|  1990k|488008 |  5520k| 401M|  54 |   - |  60 |4410 |  25 |   0 |   0 |  20 |1036k|3953 | 0.000000e+00 |      --      |    Inf 
1109.99/1110.33	c  1054s|  2000k|490465 |  5545k| 404M|  54 |   7 |  60 |5734 |  32 |  60 |  23 |  20 |1042k|3953 | 0.000000e+00 |      --      |    Inf 
1116.10/1116.47	c  1060s|  2010k|492817 |  5572k| 405M|  54 |   - |  60 |4724 |  88 |  60 |  23 |  20 |1047k|3956 | 0.000000e+00 |      --      |    Inf 
1122.50/1122.83	c  1066s|  2020k|494886 |  5600k| 407M|  54 |   7 |  60 |4628 |  12 |  60 |  23 |  20 |1052k|3956 | 0.000000e+00 |      --      |    Inf 
1128.29/1128.65	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1128.29/1128.65	c  1072s|  2030k|497500 |  5627k| 409M|  54 |   7 |  60 |5196 |  30 |  60 |  23 |  20 |1057k|3965 | 0.000000e+00 |      --      |    Inf 
1134.19/1134.51	c  1077s|  2040k|499882 |  5654k| 411M|  54 |   - |  60 |6117 |  33 |  60 |  23 |  20 |1063k|3974 | 0.000000e+00 |      --      |    Inf 
1140.18/1140.56	c  1083s|  2050k|502453 |  5682k| 413M|  54 |   - |  60 |4840 |  12 |  60 |  23 |  20 |1068k|3984 | 0.000000e+00 |      --      |    Inf 
1145.38/1145.76	c  1088s|  2060k|504741 |  5709k| 416M|  54 |   7 |  60 |7055 | 406 |  60 |  23 |  20 |1073k|3990 | 0.000000e+00 |      --      |    Inf 
1151.49/1151.82	c  1094s|  2070k|507075 |  5737k| 417M|  54 |   7 |  60 |7042 |  12 |  60 |  23 |  20 |1078k|3990 | 0.000000e+00 |      --      |    Inf 
1157.99/1158.38	c  1100s|  2080k|509471 |  5764k| 419M|  54 |   7 |  60 |5092 |  87 |  60 |  23 |  20 |1083k|3992 | 0.000000e+00 |      --      |    Inf 
1163.88/1164.25	c  1106s|  2090k|511741 |  5792k| 421M|  54 |   - |  60 |6135 |  42 |  60 |  23 |  20 |1089k|4002 | 0.000000e+00 |      --      |    Inf 
1170.48/1170.87	c  1112s|  2100k|513777 |  5820k| 423M|  54 |   7 |  60 |5536 | 398 |  60 |  23 |  20 |1094k|4011 | 0.000000e+00 |      --      |    Inf 
1176.38/1176.79	c  1118s|  2110k|516272 |  5848k| 425M|  54 |   7 |  60 |5639 |  65 |  60 |  23 |  20 |1099k|4017 | 0.000000e+00 |      --      |    Inf 
1182.38/1182.77	c  1123s|  2120k|518701 |  5875k| 427M|  54 |   7 |  60 |5452 |  49 |  60 |  23 |  20 |1104k|4027 | 0.000000e+00 |      --      |    Inf 
1187.38/1187.78	c  1128s|  2130k|522011 |  5903k| 429M|  54 |   7 |  60 |7732 | 402 |  60 |  23 |  20 |1108k|4032 | 0.000000e+00 |      --      |    Inf 
1193.97/1194.35	c  1134s|  2140k|524439 |  5932k| 431M|  54 |   7 |  60 |6594 |  48 |  60 |  23 |  20 |1114k|4037 | 0.000000e+00 |      --      |    Inf 
1200.37/1200.76	c  1141s|  2150k|526683 |  5960k| 433M|  54 |   7 |  60 |6208 | 410 |  60 |  23 |  20 |1119k|4048 | 0.000000e+00 |      --      |    Inf 
1206.97/1207.34	c  1147s|  2160k|529086 |  5989k| 435M|  54 |   7 |  60 |5336 | 436 |  60 |  23 |  20 |1124k|4057 | 0.000000e+00 |      --      |    Inf 
1213.27/1213.62	c  1153s|  2170k|531417 |  6017k| 437M|  54 |   7 |  60 |5420 |  46 |  60 |  23 |  20 |1129k|4075 | 0.000000e+00 |      --      |    Inf 
1218.97/1219.39	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1218.97/1219.39	c  1158s|  2180k|534071 |  6045k| 439M|  54 |   7 |  60 |6675 |  12 |  60 |  23 |  20 |1134k|4089 | 0.000000e+00 |      --      |    Inf 
1224.56/1224.90	c  1164s|  2190k|536884 |  6072k| 442M|  54 |   7 |  60 |8179 |  39 |  60 |  23 |  20 |1139k|4090 | 0.000000e+00 |      --      |    Inf 
1230.27/1230.69	c  1169s|  2200k|539891 |  6100k| 444M|  54 |   7 |  60 |8975 |  85 |  60 |  23 |  20 |1143k|4094 | 0.000000e+00 |      --      |    Inf 
1236.56/1236.92	c  1175s|  2210k|542579 |  6128k| 446M|  54 |   7 |  60 |9766 |  46 |  60 |  23 |  20 |1148k|4101 | 0.000000e+00 |      --      |    Inf 
1243.46/1243.83	c  1182s|  2220k|544964 |  6155k| 448M|  54 |   7 |  60 |7031 | 223 |  60 |  23 |  20 |1153k|4105 | 0.000000e+00 |      --      |    Inf 
1249.76/1250.15	c  1188s|  2230k|547447 |  6182k| 450M|  54 |   7 |  60 |7197 |  23 |  60 |  23 |  20 |1158k|4105 | 0.000000e+00 |      --      |    Inf 
1256.65/1257.07	c  1194s|  2240k|549772 |  6210k| 451M|  54 |   7 |  60 |5710 |  77 |  60 |  23 |  20 |1164k|4105 | 0.000000e+00 |      --      |    Inf 
1262.46/1262.81	c  1200s|  2250k|552244 |  6237k| 453M|  54 |   7 |  60 |6354 |  42 |  60 |  23 |  20 |1169k|4107 | 0.000000e+00 |      --      |    Inf 
1268.96/1269.31	c  1206s|  2260k|554412 |  6264k| 455M|  54 |   7 |  60 |5930 |  31 |  60 |  23 |  20 |1174k|4114 | 0.000000e+00 |      --      |    Inf 
1275.55/1275.94	c  1212s|  2270k|556812 |  6292k| 457M|  54 |   - |  60 |5111 |  92 |   0 |   0 |  20 |1179k|4136 | 0.000000e+00 |      --      |    Inf 
1281.65/1282.08	c  1218s|  2280k|559139 |  6320k| 459M|  54 |   7 |  60 |5101 | 201 |  60 |  23 |  20 |1184k|4155 | 0.000000e+00 |      --      |    Inf 
1287.65/1288.01	c  1224s|  2290k|561425 |  6349k| 461M|  54 |   7 |  60 |5836 |  62 |  60 |  23 |  20 |1190k|4159 | 0.000000e+00 |      --      |    Inf 
1293.44/1293.89	c  1230s|  2300k|564023 |  6376k| 463M|  54 |   - |  60 |5494 |  45 |  60 |  23 |  20 |1195k|4165 | 0.000000e+00 |      --      |    Inf 
1299.64/1300.03	c  1235s|  2310k|566365 |  6405k| 465M|  54 |   7 |  60 |5709 | 158 |  60 |  23 |  20 |1200k|4168 | 0.000000e+00 |      --      |    Inf 
1305.35/1305.77	c  1241s|  2320k|568998 |  6432k| 467M|  54 |   7 |  60 |6405 |  84 |  60 |  23 |  20 |1205k|4178 | 0.000000e+00 |      --      |    Inf 
1311.54/1311.97	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1311.54/1311.97	c  1247s|  2330k|571470 |  6459k| 469M|  54 |   - |  60 |6004 | 158 |  60 |  23 |  20 |1210k|4188 | 0.000000e+00 |      --      |    Inf 
1318.45/1318.87	c  1253s|  2340k|573506 |  6488k| 471M|  54 |   7 |  60 |5451 |  12 |  60 |  23 |  20 |1215k|4198 | 0.000000e+00 |      --      |    Inf 
1324.94/1325.37	c  1260s|  2350k|575709 |  6516k| 473M|  54 |   7 |  60 |4852 |  75 |  60 |  23 |  20 |1221k|4201 | 0.000000e+00 |      --      |    Inf 
1330.84/1331.22	c  1265s|  2360k|578212 |  6543k| 475M|  54 |   7 |  60 |5948 |  65 |  60 |  23 |  20 |1226k|4205 | 0.000000e+00 |      --      |    Inf 
1337.23/1337.66	c  1271s|  2370k|580628 |  6570k| 477M|  54 |   - |  60 |5751 |  15 |  60 |  23 |  20 |1231k|4212 | 0.000000e+00 |      --      |    Inf 
1343.53/1343.90	c  1277s|  2380k|583044 |  6598k| 479M|  54 |   - |  60 |5283 |  32 |  60 |  23 |  20 |1236k|4223 | 0.000000e+00 |      --      |    Inf 
1350.03/1350.47	c  1284s|  2390k|585271 |  6626k| 480M|  54 |   7 |  60 |5119 |  68 |  60 |  23 |  20 |1241k|4234 | 0.000000e+00 |      --      |    Inf 
1356.03/1356.42	c  1289s|  2400k|587463 |  6654k| 482M|  54 |   7 |  60 |5724 | 113 |  60 |  23 |  20 |1247k|4242 | 0.000000e+00 |      --      |    Inf 
1362.53/1362.96	c  1296s|  2410k|589786 |  6682k| 484M|  54 |   - |  60 |4525 |  62 |  60 |  23 |  20 |1252k|4249 | 0.000000e+00 |      --      |    Inf 
1368.12/1368.51	c  1301s|  2420k|592336 |  6710k| 486M|  54 |   - |  60 |6003 | 250 |  60 |  23 |  20 |1257k|4260 | 0.000000e+00 |      --      |    Inf 
1374.23/1374.68	c  1307s|  2430k|594618 |  6738k| 488M|  54 |   7 |  60 |6433 |  14 |  60 |  23 |  20 |1262k|4265 | 0.000000e+00 |      --      |    Inf 
1380.82/1381.25	c  1313s|  2440k|596751 |  6766k| 490M|  54 |   7 |  60 |4912 | 105 |  60 |  23 |  20 |1268k|4269 | 0.000000e+00 |      --      |    Inf 
1387.02/1387.46	c  1319s|  2450k|599070 |  6795k| 492M|  54 |   7 |  60 |5352 | 278 |  60 |  23 |  20 |1273k|4275 | 0.000000e+00 |      --      |    Inf 
1393.52/1393.93	c  1325s|  2460k|601233 |  6823k| 494M|  54 |   - |  60 |5057 |  16 |  60 |  23 |  20 |1278k|4280 | 0.000000e+00 |      --      |    Inf 
1399.72/1400.13	c  1331s|  2470k|603370 |  6850k| 496M|  54 |   7 |  60 |5472 |  22 |  60 |  23 |  20 |1283k|4288 | 0.000000e+00 |      --      |    Inf 
1406.12/1406.53	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1406.12/1406.53	c  1337s|  2480k|605588 |  6878k| 498M|  54 |   7 |  60 |5468 | 130 |  60 |  23 |  20 |1289k|4291 | 0.000000e+00 |      --      |    Inf 
1412.41/1412.84	c  1343s|  2490k|607704 |  6907k| 500M|  54 |   - |  60 |4959 | 115 |  60 |  23 |  20 |1294k|4301 | 0.000000e+00 |      --      |    Inf 
1418.91/1419.34	c  1349s|  2500k|609838 |  6934k| 501M|  54 |   7 |  60 |4282 |  61 |  60 |  23 |  20 |1299k|4308 | 0.000000e+00 |      --      |    Inf 
1424.71/1425.20	c  1355s|  2510k|612002 |  6962k| 504M|  54 |   7 |  60 |5736 |  13 |  60 |  23 |  20 |1305k|4312 | 0.000000e+00 |      --      |    Inf 
1431.42/1431.88	c  1361s|  2520k|614059 |  6990k| 505M|  54 |   7 |  60 |4610 |  20 |  60 |  23 |  20 |1310k|4319 | 0.000000e+00 |      --      |    Inf 
1437.61/1438.09	c  1367s|  2530k|616182 |  7018k| 507M|  54 |   - |  60 |5218 |  32 |  60 |  23 |  20 |1315k|4322 | 0.000000e+00 |      --      |    Inf 
1444.01/1444.44	c  1373s|  2540k|618312 |  7046k| 509M|  54 |   7 |  60 |5059 |  25 |  60 |  23 |  20 |1321k|4331 | 0.000000e+00 |      --      |    Inf 
1450.10/1450.52	c  1379s|  2550k|620390 |  7074k| 511M|  54 |   7 |  60 |5124 |  68 |  60 |  23 |  20 |1326k|4336 | 0.000000e+00 |      --      |    Inf 
1455.60/1456.02	c  1384s|  2560k|623013 |  7101k| 513M|  54 |   7 |  60 |6509 | 281 |  60 |  23 |  20 |1331k|4339 | 0.000000e+00 |      --      |    Inf 
1462.00/1462.41	c  1390s|  2570k|625219 |  7128k| 515M|  54 |   7 |  60 |5940 |  28 |  60 |  23 |  20 |1336k|4339 | 0.000000e+00 |      --      |    Inf 
1468.10/1468.58	c  1396s|  2580k|627570 |  7155k| 517M|  54 |   - |  60 |5546 |  19 |  60 |  23 |  20 |1341k|4344 | 0.000000e+00 |      --      |    Inf 
1474.40/1474.89	c  1402s|  2590k|629821 |  7183k| 519M|  54 |   7 |  60 |4871 |  34 |  60 |  23 |  20 |1347k|4346 | 0.000000e+00 |      --      |    Inf 
1480.59/1481.06	c  1408s|  2600k|632088 |  7211k| 521M|  54 |   - |  60 |5092 |  37 |  60 |  23 |  20 |1352k|4354 | 0.000000e+00 |      --      |    Inf 
1486.40/1486.86	c  1414s|  2610k|634569 |  7238k| 523M|  54 |   7 |  60 |6173 |  96 |  60 |  23 |  20 |1357k|4359 | 0.000000e+00 |      --      |    Inf 
1491.89/1492.32	c  1419s|  2620k|637430 |  7266k| 525M|  54 |   7 |  60 |7674 |  77 |  60 |  23 |  20 |1362k|4364 | 0.000000e+00 |      --      |    Inf 
1498.59/1499.02	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1498.59/1499.02	c  1425s|  2630k|639774 |  7294k| 527M|  54 |   7 |  60 |5321 | 100 |  60 |  23 |  20 |1367k|4376 | 0.000000e+00 |      --      |    Inf 
1504.49/1504.90	c  1431s|  2640k|642381 |  7322k| 529M|  54 |   7 |  60 |5975 | 138 |  60 |  23 |  20 |1372k|4385 | 0.000000e+00 |      --      |    Inf 
1509.89/1510.37	c  1436s|  2650k|644822 |  7348k| 531M|  54 |   7 |  60 |6992 |  91 |  60 |  23 |  20 |1377k|4389 | 0.000000e+00 |      --      |    Inf 
1516.08/1516.54	c  1442s|  2660k|647167 |  7375k| 533M|  54 |   - |  60 |7120 |  27 |  60 |  23 |  20 |1382k|4395 | 0.000000e+00 |      --      |    Inf 
1522.29/1522.74	c  1448s|  2670k|649584 |  7403k| 535M|  54 |   7 |  60 |6818 |  34 |  60 |  23 |  20 |1387k|4403 | 0.000000e+00 |      --      |    Inf 
1528.59/1529.09	c  1454s|  2680k|651769 |  7431k| 537M|  54 |   7 |  60 |6661 |  17 |  60 |  23 |  20 |1392k|4403 | 0.000000e+00 |      --      |    Inf 
1535.48/1535.98	c  1461s|  2690k|653908 |  7458k| 539M|  54 |   - |  60 |5333 |  43 |  60 |  23 |  20 |1398k|4409 | 0.000000e+00 |      --      |    Inf 
1541.99/1542.49	c  1467s|  2700k|656009 |  7486k| 540M|  54 |   7 |  60 |5185 | 170 |  60 |  23 |  20 |1403k|4419 | 0.000000e+00 |      --      |    Inf 
1548.18/1548.68	c  1473s|  2710k|658385 |  7514k| 542M|  54 |   7 |  60 |5683 | 330 |  60 |  23 |  20 |1408k|4425 | 0.000000e+00 |      --      |    Inf 
1555.18/1555.65	c  1479s|  2720k|660456 |  7542k| 544M|  54 |   7 |  60 |4363 |  65 |  60 |  23 |  20 |1414k|4429 | 0.000000e+00 |      --      |    Inf 
1561.27/1561.74	c  1485s|  2730k|662659 |  7569k| 546M|  54 |   - |  60 |4971 | 266 |  60 |  23 |  20 |1419k|4433 | 0.000000e+00 |      --      |    Inf 
1566.97/1567.46	c  1491s|  2740k|665004 |  7597k| 548M|  54 |   - |  60 |5607 |  12 |  60 |  23 |  20 |1424k|4439 | 0.000000e+00 |      --      |    Inf 
1573.27/1573.78	c  1497s|  2750k|667294 |  7625k| 550M|  54 |   7 |  60 |5606 | 360 |  60 |  23 |  20 |1430k|4444 | 0.000000e+00 |      --      |    Inf 
1579.97/1580.46	c  1503s|  2760k|669445 |  7653k| 552M|  54 |   7 |  60 |5218 | 444 |  60 |  23 |  20 |1435k|4448 | 0.000000e+00 |      --      |    Inf 
1586.67/1587.14	c  1510s|  2770k|671512 |  7681k| 554M|  54 |   - |  60 |4949 |  47 |  60 |  23 |  20 |1440k|4452 | 0.000000e+00 |      --      |    Inf 
1592.37/1592.88	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1592.37/1592.88	c  1515s|  2780k|674065 |  7709k| 556M|  54 |   - |  60 |6536 | 185 |  60 |  23 |  20 |1445k|4458 | 0.000000e+00 |      --      |    Inf 
1599.16/1599.63	c  1521s|  2790k|676055 |  7736k| 558M|  54 |   - |  60 |6490 |  80 |   0 |   0 |  20 |1450k|4465 | 0.000000e+00 |      --      |    Inf 
1605.76/1606.28	c  1528s|  2800k|678162 |  7763k| 560M|  54 |   - |  60 |5712 |  31 |  60 |  23 |  20 |1456k|4470 | 0.000000e+00 |      --      |    Inf 
1612.17/1612.68	c  1534s|  2810k|680377 |  7791k| 562M|  54 |   - |  60 |5665 |  41 |  60 |  23 |  20 |1461k|4474 | 0.000000e+00 |      --      |    Inf 
1618.56/1619.02	c  1540s|  2820k|682640 |  7818k| 564M|  54 |   7 |  60 |5895 |  99 |  60 |  23 |  20 |1466k|4478 | 0.000000e+00 |      --      |    Inf 
1625.05/1625.51	c  1546s|  2830k|684928 |  7846k| 566M|  54 |   - |  60 |5698 | 171 |  60 |  23 |  20 |1471k|4484 | 0.000000e+00 |      --      |    Inf 
1631.05/1631.50	c  1552s|  2840k|687461 |  7875k| 568M|  54 |   7 |  60 |6294 | 163 |  60 |  23 |  20 |1476k|4488 | 0.000000e+00 |      --      |    Inf 
1637.55/1638.07	c  1558s|  2850k|689658 |  7902k| 569M|  54 |   - |  60 |5671 |  21 |  60 |  23 |  20 |1482k|4495 | 0.000000e+00 |      --      |    Inf 
1643.35/1643.80	c  1564s|  2860k|692073 |  7929k| 572M|  54 |   7 |  60 |6308 |  88 |  60 |  23 |  20 |1487k|4500 | 0.000000e+00 |      --      |    Inf 
1649.56/1650.07	c  1570s|  2870k|694685 |  7957k| 573M|  54 |   - |  60 |5607 |  35 |  60 |  23 |  20 |1492k|4512 | 0.000000e+00 |      --      |    Inf 
1655.94/1656.47	c  1576s|  2880k|697028 |  7985k| 575M|  54 |   7 |  60 |5631 |  23 |  60 |  23 |  20 |1497k|4521 | 0.000000e+00 |      --      |    Inf 
1662.05/1662.59	c  1582s|  2890k|699501 |  8012k| 577M|  54 |   - |  60 |5574 |  30 |  60 |  23 |  20 |1502k|4521 | 0.000000e+00 |      --      |    Inf 
1668.94/1669.45	c  1588s|  2900k|701648 |  8041k| 579M|  54 |   - |  60 |4709 |  34 |  60 |  23 |  20 |1508k|4523 | 0.000000e+00 |      --      |    Inf 
1675.14/1675.62	c  1594s|  2910k|703982 |  8068k| 581M|  54 |   - |  60 |5298 |  33 |  60 |  23 |  20 |1513k|4530 | 0.000000e+00 |      --      |    Inf 
1681.64/1682.14	c  1600s|  2920k|706054 |  8096k| 583M|  54 |   - |  60 |5030 |  83 |  60 |  23 |  20 |1518k|4536 | 0.000000e+00 |      --      |    Inf 
1687.94/1688.41	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1687.94/1688.41	c  1606s|  2930k|708329 |  8123k| 585M|  54 |   7 |  60 |4909 |  80 |  60 |  23 |  20 |1523k|4551 | 0.000000e+00 |      --      |    Inf 
1693.54/1694.07	c  1612s|  2940k|710779 |  8152k| 587M|  54 |   7 |  60 |6368 | 161 |  60 |  23 |  20 |1529k|4555 | 0.000000e+00 |      --      |    Inf 
1700.14/1700.62	c  1618s|  2950k|713019 |  8179k| 589M|  54 |   7 |  60 |6238 | 120 |  60 |  23 |  20 |1534k|4559 | 0.000000e+00 |      --      |    Inf 
1706.74/1707.23	c  1624s|  2960k|715276 |  8207k| 591M|  54 |   7 |  60 |5741 |  56 |  60 |  23 |  20 |1539k|4568 | 0.000000e+00 |      --      |    Inf 
1713.13/1713.63	c  1630s|  2970k|717671 |  8234k| 593M|  54 |   7 |  60 |5503 |  14 |  60 |  23 |  20 |1544k|4568 | 0.000000e+00 |      --      |    Inf 
1719.73/1720.29	c  1637s|  2980k|719804 |  8262k| 594M|  54 |   - |  60 |4825 |  29 |  60 |  23 |  20 |1549k|4568 | 0.000000e+00 |      --      |    Inf 
1725.33/1725.83	c  1642s|  2990k|722143 |  8289k| 597M|  54 |   7 |  60 |6639 | 389 |  60 |  23 |  20 |1555k|4568 | 0.000000e+00 |      --      |    Inf 
1731.73/1732.24	c  1648s|  3000k|724546 |  8318k| 599M|  54 |   7 |  60 |6607 | 105 |  60 |  23 |  20 |1560k|4572 | 0.000000e+00 |      --      |    Inf 
1738.73/1739.23	c  1655s|  3010k|726662 |  8346k| 600M|  54 |   - |  60 |5512 | 422 |  60 |  23 |  20 |1565k|4578 | 0.000000e+00 |      --      |    Inf 
1744.63/1745.16	c  1661s|  3020k|729092 |  8373k| 603M|  54 |   7 |  60 |6587 | 152 |  60 |  23 |  20 |1570k|4584 | 0.000000e+00 |      --      |    Inf 
1751.33/1751.80	c  1667s|  3030k|731324 |  8399k| 604M|  54 |   7 |  60 |5351 | 163 |  60 |  23 |  20 |1575k|4593 | 0.000000e+00 |      --      |    Inf 
1757.32/1757.86	c  1673s|  3040k|733682 |  8427k| 606M|  54 |   - |  60 |6127 |  57 |  60 |  23 |  20 |1580k|4601 | 0.000000e+00 |      --      |    Inf 
1763.32/1763.81	c  1678s|  3050k|736075 |  8454k| 609M|  54 |   7 |  60 |6570 |  36 |  60 |  23 |  20 |1586k|4609 | 0.000000e+00 |      --      |    Inf 
1769.82/1770.39	c  1685s|  3060k|738181 |  8481k| 610M|  54 |   7 |  60 |5689 |  43 |  60 |  23 |  20 |1591k|4617 | 0.000000e+00 |      --      |    Inf 
1776.52/1777.01	c  1691s|  3070k|740595 |  8509k| 612M|  54 |   7 |  60 |5246 | 218 |  60 |  23 |  20 |1596k|4624 | 0.000000e+00 |      --      |    Inf 
1782.12/1782.68	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1782.12/1782.68	c  1696s|  3080k|743018 |  8538k| 615M|  54 |   - |  60 |7324 |  51 |  60 |  23 |  20 |1601k|4634 | 0.000000e+00 |      --      |    Inf 
1788.41/1788.94	c  1702s|  3090k|745107 |  8567k| 616M|  54 |   - |  60 |6581 | 371 |  60 |  23 |  20 |1607k|4634 | 0.000000e+00 |      --      |    Inf 
1795.62/1796.19	c  1709s|  3100k|747052 |  8595k| 618M|  54 |   - |  60 |5232 | 253 |  60 |  23 |  20 |1612k|4634 | 0.000000e+00 |      --      |    Inf 
1800.02/1800.50	c 
1800.02/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.50	c Solving Time (sec) : 1713.34
1800.02/1800.50	c Solving Nodes      : 3107234
1800.02/1800.50	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.02/1800.50	c Dual Bound         : +0.00000000000000e+00
1800.02/1800.50	c Gap                : infinite
1800.02/1800.50	c NODE         3107234
1800.02/1800.50	c DUAL BOUND   0
1800.02/1800.50	c PRIMAL BOUND 1e+20
1800.02/1800.50	c GAP          1e+20
1800.02/1800.50	s UNKNOWN
1800.02/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.50	c Solving Time       :    1713.34
1800.02/1800.50	c Original Problem   :
1800.02/1800.50	c   Problem name     : HOME/instance-1869508-1245175679.opb
1800.02/1800.50	c   Variables        : 61 (61 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.50	c   Constraints      : 15 initial, 15 maximal
1800.02/1800.50	c Presolved Problem  :
1800.02/1800.50	c   Problem name     : t_HOME/instance-1869508-1245175679.opb
1800.02/1800.50	c   Variables        : 60 (60 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.50	c   Constraints      : 7 initial, 11063 maximal
1800.02/1800.50	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.02/1800.50	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.50	c   dualfix          :       0.00          1          0          0          0          0          0          0          0
1800.02/1800.50	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.50	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.50	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.50	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.50	c   linear           :       0.00          0          0          0          0          0          8          0          0
1800.02/1800.50	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.50	c   root node        :          -          0          -          -          0          -          -          -          -
1800.02/1800.50	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.50	c   integral         :          0          0          0    1939830          0        742       2188          0          0    3873974
1800.02/1800.50	c   linear           :          7          6    7357471          0          0      81567    2555578          0          0          0
1800.02/1800.50	c   logicor          :          0+         0    3151439          0          0       6590    1117049          0          0          0
1800.02/1800.50	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.02/1800.50	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.02/1800.50	c   integral         :      22.49       0.00       0.00      22.49       0.00
1800.02/1800.50	c   linear           :     346.90       0.00     346.90       0.00       0.00
1800.02/1800.50	c   logicor          :     347.32       0.00     347.32       0.00       0.00
1800.02/1800.50	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.02/1800.50	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.02/1800.50	c   rootredcost      :       2.43          0          0          0
1800.02/1800.50	c   pseudoobj        :       1.97          0          0          0
1800.02/1800.50	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.02/1800.50	c   propagation      :      12.15      88157      80383     294510       41.8         19       33.4          -
1800.02/1800.50	c   infeasible LP    :      75.65    1091810    1091759    2146898       28.1      14880       32.7          0
1800.02/1800.51	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.51	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.51	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.02/1800.51	c   applied globally :          -          -          -    1370885       23.2          -          -          -
1800.02/1800.51	c   applied locally  :          -          -          -     245809       36.6          -          -          -
1800.02/1800.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.02/1800.51	c   cut pool         :       0.00          5          -          -         16          -    (maximal pool size: 72)
1800.02/1800.51	c   redcost          :       4.25    1939830          0          0          0          0
1800.02/1800.51	c   impliedbounds    :       0.00          6          0          0          0          0
1800.02/1800.51	c   intobj           :       0.00          0          0          0          0          0
1800.02/1800.51	c   gomory           :       0.00          6          0          0          1          0
1800.02/1800.51	c   strongcg         :       0.00          6          0          0         25          0
1800.02/1800.51	c   cmir             :       0.03          6          0          0         26          0
1800.02/1800.51	c   flowcover        :       0.03          6          0          0         36          0
1800.02/1800.51	c   clique           :       0.00          1          0          0          0          0
1800.02/1800.51	c   zerohalf         :       0.00          0          0          0          0          0
1800.02/1800.51	c   mcf              :       0.00          1          0          0          0          0
1800.02/1800.51	c Pricers            :       Time      Calls       Vars
1800.02/1800.51	c   problem variables:       0.00          0          0
1800.02/1800.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.51	c   relpscost        :      20.82    1939830        742       2188          0          0    3873974
1800.02/1800.51	c   pscost           :       0.00          0          0          0          0          0          0
1800.02/1800.51	c   inference        :       0.00          0          0          0          0          0          0
1800.02/1800.51	c   mostinf          :       0.00          0          0          0          0          0          0
1800.02/1800.51	c   leastinf         :       0.00          0          0          0          0          0          0
1800.02/1800.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.02/1800.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.02/1800.51	c   random           :       0.00          0          0          0          0          0          0
1800.02/1800.51	c Primal Heuristics  :       Time      Calls      Found
1800.02/1800.51	c   LP solutions     :       0.00          -          0
1800.02/1800.51	c   pseudo solutions :       0.00          -          0
1800.02/1800.51	c   oneopt           :       1.20          0          0
1800.02/1800.51	c   crossover        :       0.70          0          0
1800.02/1800.51	c   guideddiving     :       0.14          0          0
1800.02/1800.51	c   rootsoldiving    :       0.11         37          0
1800.02/1800.51	c   coefdiving       :       0.16         74          0
1800.02/1800.51	c   pscostdiving     :       0.11         74          0
1800.02/1800.51	c   linesearchdiving :       0.13         74          0
1800.02/1800.51	c   veclendiving     :       0.20         74          0
1800.02/1800.51	c   fracdiving       :       0.21         74          0
1800.02/1800.51	c   feaspump         :       0.13         38          0
1800.02/1800.51	c   objpscostdiving  :       0.08         38          0
1800.02/1800.51	c   simplerounding   :       0.91          0          0
1800.02/1800.51	c   rounding         :       1.94      19671          0
1800.02/1800.51	c   shifting         :       5.45       6111          0
1800.02/1800.51	c   intshifting      :       0.14          0          0
1800.02/1800.51	c   fixandinfer      :       0.00          0          0
1800.02/1800.51	c   intdiving        :       0.00          0          0
1800.02/1800.51	c   actconsdiving    :       0.00          0          0
1800.02/1800.51	c   octane           :       0.00          0          0
1800.02/1800.51	c   rens             :       0.10          1          0
1800.02/1800.51	c   rins             :       0.00          0          0
1800.02/1800.51	c   localbranching   :       0.00          0          0
1800.02/1800.51	c   mutation         :       0.00          0          0
1800.02/1800.51	c   dins             :       0.00          0          0
1800.02/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.02/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.02/1800.51	c   dual LP          :     368.18    2961428    8610567       2.91   23386.84
1800.02/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.02/1800.51	c   diving/probing LP:       0.22       1965       4380       2.23   19909.09
1800.02/1800.51	c   strong branching :       1.29       4634      23412       5.05   18148.84
1800.02/1800.51	c     (at root node) :          -         23        977      42.48          -
1800.02/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.02/1800.51	c B&B Tree           :
1800.02/1800.51	c   number of runs   :          1
1800.02/1800.51	c   nodes            :    3107234
1800.02/1800.51	c   nodes (total)    :    3107234
1800.02/1800.51	c   nodes left       :     748643
1800.02/1800.51	c   max depth        :         54
1800.02/1800.51	c   max depth (total):         54
1800.02/1800.51	c   backtracks       :     362956 (11.7%)
1800.02/1800.51	c   delayed cutoffs  :      18098
1800.02/1800.51	c   repropagations   :    2840806 (1182360 domain reductions, 9574 cutoffs)
1800.02/1800.51	c   avg switch length:       5.57
1800.02/1800.51	c   switching time   :     312.83
1800.02/1800.51	c Solution           :
1800.02/1800.51	c   Solutions found  :          0 (0 improvements)
1800.02/1800.51	c   Primal Bound     :          -
1800.02/1800.51	c   Dual Bound       : +0.00000000000000e+00
1800.02/1800.51	c   Gap              :   infinite
1800.02/1800.51	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-1869508-1245175679/watcher-1869508-1245175679 -o /tmp/evaluation-result-1869508-1245175679/solver-1869508-1245175679 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869508-1245175679.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: 1.00 1.00 1.00 3/64 3996
/proc/meminfo: memFree=1908392/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=4648 CPUtime=0
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 501 0 0 0 0 0 0 0 18 0 1 0 185168088 4759552 485 1992294400 4194304 7823515 548682068736 18446744073709551615 6962503 0 0 4096 0 0 0 0 17 1 0 0
/proc/3996/statm: 1082 485 320 886 0 192 0

[startup+0.0707031 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3996
/proc/meminfo: memFree=1908392/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=12848 CPUtime=0.06
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 2757 0 0 0 6 0 0 0 18 0 1 0 185168088 13156352 2385 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 3212 2385 544 886 0 2322 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12848

[startup+0.101705 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3996
/proc/meminfo: memFree=1908392/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=12848 CPUtime=0.09
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 2767 0 0 0 9 0 0 0 18 0 1 0 185168088 13156352 2395 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 3212 2395 544 886 0 2322 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12848

[startup+0.301724 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3996
/proc/meminfo: memFree=1908392/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=15080 CPUtime=0.29
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 4265 0 0 0 26 3 0 0 19 0 1 0 185168088 15441920 2977 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 3770 2977 559 886 0 2880 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15080

[startup+0.701763 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3996
/proc/meminfo: memFree=1908392/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=15080 CPUtime=0.69
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 4272 0 0 0 63 6 0 0 22 0 1 0 185168088 15441920 2984 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 3770 2984 566 886 0 2880 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15080

[startup+1.50184 s]
/proc/loadavg: 1.08 1.02 1.01 2/65 3997
/proc/meminfo: memFree=1898400/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=15080 CPUtime=1.49
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 4276 0 0 0 138 11 0 0 25 0 1 0 185168088 15441920 2988 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 3770 2988 566 886 0 2880 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15080

[startup+3.10199 s]
/proc/loadavg: 1.08 1.02 1.01 2/65 3997
/proc/meminfo: memFree=1898336/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=16172 CPUtime=3.09
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 4548 0 0 0 288 21 0 0 25 0 1 0 185168088 16560128 3260 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 4043 3260 566 886 0 3153 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16172

[startup+6.3013 s]
/proc/loadavg: 1.08 1.02 1.01 2/65 3997
/proc/meminfo: memFree=1895328/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=18704 CPUtime=6.29
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 5209 0 0 0 592 37 0 0 25 0 1 0 185168088 19152896 3921 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 4676 3921 566 886 0 3786 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18704

[startup+12.7019 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 3997
/proc/meminfo: memFree=1891496/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=21964 CPUtime=12.68
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 6028 0 0 0 1192 76 0 0 25 0 1 0 185168088 22491136 4740 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 5491 4740 566 886 0 4601 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21964

[startup+25.5011 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 3997
/proc/meminfo: memFree=1884328/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=29124 CPUtime=25.49
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 7829 0 0 0 2394 155 0 0 25 0 1 0 185168088 29822976 6541 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 7281 6541 566 886 0 6391 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 29124

[startup+51.1016 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 3997
/proc/meminfo: memFree=1870504/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=42672 CPUtime=51.07
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 11258 0 0 0 4799 308 0 0 25 0 1 0 185168088 43696128 9970 1992294400 4194304 7823515 548682068736 18446744073709551615 5102375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 10668 9970 566 886 0 9778 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 42672

[startup+102.306 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 3997
/proc/meminfo: memFree=1848488/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=64028 CPUtime=102.26
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 16748 0 0 0 9634 592 0 0 25 0 1 0 185168088 65564672 15460 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 16007 15460 566 886 0 15117 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 64028

[startup+162.301 s]
/proc/loadavg: 1.04 1.02 1.00 2/65 3997
/proc/meminfo: memFree=1819560/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=94208 CPUtime=162.24
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 23941 0 0 0 15296 928 0 0 25 0 1 0 185168088 96468992 22653 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 23552 22653 566 886 0 22662 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 94208

[startup+222.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 3997
/proc/meminfo: memFree=1793448/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=119760 CPUtime=222.23
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 30459 0 0 0 20980 1243 0 0 25 0 1 0 185168088 122634240 29171 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 29940 29171 566 886 0 29050 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 119760

[startup+282.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 3997
/proc/meminfo: memFree=1769128/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=143556 CPUtime=282.21
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 36473 0 0 0 26665 1556 0 0 25 0 1 0 185168088 147001344 35185 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 35889 35185 566 886 0 34999 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 143556

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3997
/proc/meminfo: memFree=1747176/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=165008 CPUtime=342.19
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 41915 0 0 0 32349 1870 0 0 25 0 1 0 185168088 168968192 40627 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 41252 40627 566 886 0 40362 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 165008

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3997
/proc/meminfo: memFree=1722152/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=193704 CPUtime=402.18
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 48170 0 0 0 38032 2186 0 0 25 0 1 0 185168088 198352896 46882 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 48426 46882 566 886 0 47536 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 193704

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3997
/proc/meminfo: memFree=1698856/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=216596 CPUtime=462.17
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 53937 0 0 0 43718 2499 0 0 25 0 1 0 185168088 221794304 52649 1992294400 4194304 7823515 548682068736 18446744073709551615 5102336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 54149 52649 566 886 0 53259 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 216596

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3997
/proc/meminfo: memFree=1676328/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=239096 CPUtime=522.15
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 59612 0 0 0 49412 2803 0 0 25 0 1 0 185168088 244834304 58324 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 59774 58324 566 886 0 58884 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 239096

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3997
/proc/meminfo: memFree=1655976/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=259104 CPUtime=582.14
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 64744 0 0 0 55105 3109 0 0 25 0 1 0 185168088 265322496 63456 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 64776 63456 566 886 0 63886 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 259104

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3997
/proc/meminfo: memFree=1631720/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=282544 CPUtime=642.12
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 70637 0 0 0 60819 3393 0 0 25 0 1 0 185168088 289325056 69349 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 70636 69349 566 886 0 69746 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 282544

[startup+702.301 s]

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

/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 101264 0 0 0 95107 5095 0 0 25 0 1 0 185168088 412532736 99976 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 100716 99976 566 886 0 99826 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 402864

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3997
/proc/meminfo: memFree=1491624/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=428764 CPUtime=1062
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 105763 0 0 0 100850 5350 0 0 25 0 1 0 185168088 439054336 104475 1992294400 4194304 7823515 548682068736 18446744073709551615 5813911 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 107191 104475 566 886 0 106301 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 428764

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3997
/proc/meminfo: memFree=1471272/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=447096 CPUtime=1121.99
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 110473 0 0 0 106573 5626 0 0 25 0 1 0 185168088 457826304 109185 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 111774 109185 566 886 0 110884 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 447096

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3997
/proc/meminfo: memFree=1449064/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=470256 CPUtime=1181.98
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 116235 0 0 0 112296 5902 0 0 25 0 1 0 185168088 481542144 114947 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 117564 114947 566 886 0 116674 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 470256

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3997
/proc/meminfo: memFree=1428008/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=489640 CPUtime=1241.96
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 121182 0 0 0 118027 6169 0 0 25 0 1 0 185168088 501391360 119894 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 122410 119894 566 886 0 121520 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 489640

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3997
/proc/meminfo: memFree=1411432/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=505704 CPUtime=1301.94
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 125292 0 0 0 123758 6436 0 0 25 0 1 0 185168088 517840896 124004 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 126426 124004 566 886 0 125536 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 505704

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3997
/proc/meminfo: memFree=1394920/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=521644 CPUtime=1361.93
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 129415 0 0 0 129492 6701 0 0 25 0 1 0 185168088 534163456 128127 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 130411 128127 566 886 0 129521 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 521644

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3997
/proc/meminfo: memFree=1377448/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=539236 CPUtime=1421.92
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 133728 0 0 0 135219 6973 0 0 25 0 1 0 185168088 552177664 132440 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 134809 132440 566 886 0 133919 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 539236

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3997
/proc/meminfo: memFree=1356264/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=559780 CPUtime=1481.9
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 138985 0 0 0 140938 7252 0 0 25 0 1 0 185168088 573214720 137697 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 139945 137697 566 886 0 139055 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 559780

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3997
/proc/meminfo: memFree=1335720/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=579688 CPUtime=1541.88
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 144122 0 0 0 146666 7522 0 0 25 0 1 0 185168088 593600512 142834 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 144922 142834 566 886 0 144032 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 579688

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3997
/proc/meminfo: memFree=1316392/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=598496 CPUtime=1601.86
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 148909 0 0 0 152396 7790 0 0 25 0 1 0 185168088 612859904 147621 1992294400 4194304 7823515 548682068736 18446744073709551615 4240344 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 149624 147621 566 886 0 148734 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 598496

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3997
/proc/meminfo: memFree=1297256/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=616832 CPUtime=1661.85
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 153651 0 0 0 158128 8057 0 0 25 0 1 0 185168088 631635968 152363 1992294400 4194304 7823515 548682068736 18446744073709551615 5813900 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 154208 152363 566 886 0 153318 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 616832

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3997
/proc/meminfo: memFree=1281384/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=632916 CPUtime=1721.83
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 157755 0 0 0 163871 8312 0 0 25 0 1 0 185168088 648105984 156467 1992294400 4194304 7823515 548682068736 18446744073709551615 4207845 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 158229 156467 566 886 0 157339 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 632916

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3997
/proc/meminfo: memFree=1260392/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=653480 CPUtime=1781.82
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 162795 0 0 0 169597 8585 0 0 25 0 1 0 185168088 669163520 161507 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 163370 161507 566 886 0 162480 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 653480



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3997
/proc/meminfo: memFree=1254312/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=659364 CPUtime=1800.02
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 164302 0 0 0 171334 8668 0 0 25 0 1 0 185168088 675188736 163014 1992294400 4194304 7823515 548682068736 18446744073709551615 5102375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3996/statm: 164841 163014 566 886 0 163951 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 659364

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -3996

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3998
/proc/meminfo: memFree=1254304/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=659364 CPUtime=1800.91
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 164304 0 0 0 171423 8668 0 0 25 0 1 0 185168088 675188736 163016 1992294400 4194304 7823515 548682068736 18446744073709551615 4733223 0 0 4096 0 0 0 0 17 1 0 0
/proc/3996/statm: 164841 163016 568 886 0 163951 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 659364

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3998
/proc/meminfo: memFree=1254304/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=659364 CPUtime=1801.71
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4194304 164304 0 0 0 171503 8668 0 0 25 0 1 0 185168088 675188736 163016 1992294400 4194304 7823515 548682068736 18446744073709551615 5875162 0 0 4096 0 0 0 0 17 1 0 0
/proc/3996/statm: 164841 163016 568 886 0 163951 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 659364

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3998
/proc/meminfo: memFree=1254304/2055920 swapFree=4181652/4192956
[pid=3996] ppid=3994 vsize=0 CPUtime=1802.1
/proc/3996/stat : 3996 (pbscip.linux.x8) R 3994 3996 3959 0 -1 4195332 164304 0 0 0 171533 8677 0 0 25 0 1 0 185168088 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/3996/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.1
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.61
CPU time (s): 1802.12
CPU user time (s): 1715.34
CPU system time (s): 86.7858
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 659364

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

runsolver used 1.27581 second user time and 3.9694 second system time

The end

Launcher Data 

Begin job on node18 at 2009-06-16 20:07:59
IDJOB=1869508
IDBENCH=2909
IDSOLVER=683
FILE ID=node18/1869508-1245175679
PBS_JOBID= 9363939
Free space on /tmp= 66172 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_3.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-1869508-1245175679/watcher-1869508-1245175679 -o /tmp/evaluation-result-1869508-1245175679/solver-1869508-1245175679 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869508-1245175679.opb

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

MD5SUM BENCH= 0cfcb152e5d64f6fbadc82a2b31230da
RANDOM SEED=1733724441

node18.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.236
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.236
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:       1908808 kB
Buffers:         36256 kB
Cached:          66596 kB
SwapCached:       5540 kB
Active:          55268 kB
Inactive:        55332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1908808 kB
SwapTotal:     4192956 kB
SwapFree:      4181652 kB
Dirty:            9964 kB
Writeback:           0 kB
Mapped:          12796 kB
Slab:            22572 kB
Committed_AS:   152292 kB
PageTables:       1376 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= 66164 MiB
End job on node18 at 2009-06-16 20:38:02