Trace number 1869476

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.15 1802.62

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_3.opb
MD5SUMdc0a3aac3e055af09a2312e5ef9f2aef
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables71
Total number of constraints17
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint1
Maximum length of a constraint70
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1782
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5346
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-1869476-1245173890.opb>
0.00/0.01	c original problem has 71 variables (71 bin, 0 int, 0 impl, 0 cont) and 17 constraints
0.00/0.01	c start presolving problem
0.00/0.01	c presolving:
0.00/0.01	c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01	c (round 2) 1 del vars, 9 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02	c presolving (3 rounds):
0.00/0.02	c  1 deleted vars, 9 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 70 variables (70 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.02	c       8 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.03	c OPT-LIN
0.00/0.03	c -----------------------------------------------------------------------------------------------
0.00/0.03	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03	c limits/memory = c 1620
0.00/0.03	c # maximal time in seconds to run
0.00/0.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03	c limits/time = c 1791
0.00/0.03	c # frequency for displaying node information lines
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03	c display/freq = c 10000
0.00/0.03	c -----------------------------------------------------------------------------------------------
0.00/0.03	c start solving problem
0.00/0.03	c 
0.00/0.03	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.03	c   0.0s|     1 |     0 |    43 | 341k|   0 |   8 |  70 |   8 |   8 |  70 |   8 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.04	c   0.0s|     1 |     0 |   147 | 388k|   0 |  15 |  70 |   8 |   8 |  70 |  17 |   9 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.05	c   0.0s|     1 |     0 |   158 | 413k|   0 |  16 |  70 |   8 |   8 |  70 |  20 |  12 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.07	c   0.1s|     1 |     0 |   163 | 433k|   0 |  16 |  70 |   8 |   8 |  70 |  23 |  15 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.09	c   0.1s|     1 |     0 |   176 | 436k|   0 |  16 |  70 |   8 |   8 |  70 |  24 |  16 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.11	c   0.1s|     1 |     0 |   178 | 441k|   0 |  17 |  70 |   8 |   8 |  70 |  26 |  18 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.13	c   0.1s|     1 |     0 |   180 | 442k|   0 |  19 |  70 |   8 |   8 |  70 |  27 |  19 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.20	c   0.2s|     1 |     2 |   180 | 443k|   0 |  19 |  70 |   8 |   8 |  70 |  27 |  19 |   0 |  19 | 0.000000e+00 |      --      |    Inf 
4.79/4.85	c   4.5s| 10000 |  4207 | 32508 |4015k|  58 |   8 |  70 |2443 | 552 |  70 |  19 |  19 |3708 | 805 | 0.000000e+00 |      --      |    Inf 
9.29/9.38	c   8.8s| 20000 |  8134 | 65102 |6298k|  58 |   8 |  70 |1401 |  58 |  70 |  19 |  19 |7536 |1057 | 0.000000e+00 |      --      |    Inf 
13.69/13.79	c  12.9s| 30000 | 11546 | 98251 |8747k|  61 |   - |  70 |1706 |  39 |  70 |  19 |  19 |  11k|1290 | 0.000000e+00 |      --      |    Inf 
18.18/18.28	c  17.2s| 40000 | 14922 |131358 |  11M|  61 |   8 |  70 |1808 | 212 |  70 |  19 |  19 |  15k|1468 | 0.000000e+00 |      --      |    Inf 
22.69/22.77	c  21.4s| 50000 | 18609 |164365 |  13M|  62 |   8 |  70 |1895 |  31 |  70 |  19 |  19 |  19k|1630 | 0.000000e+00 |      --      |    Inf 
27.18/27.27	c  25.6s| 60000 | 22070 |197246 |  16M|  62 |   8 |  70 |2000 |  41 |  70 |  19 |  19 |  24k|1757 | 0.000000e+00 |      --      |    Inf 
31.68/31.76	c  29.9s| 70000 | 25451 |229505 |  18M|  62 |   8 |  70 |2035 | 200 |  70 |  19 |  19 |  28k|1886 | 0.000000e+00 |      --      |    Inf 
36.19/36.26	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
36.19/36.26	c  34.1s| 80000 | 28894 |262503 |  20M|  62 |   - |  70 |2228 |  23 |  70 |  19 |  19 |  32k|2020 | 0.000000e+00 |      --      |    Inf 
40.88/40.91	c  38.5s| 90000 | 32185 |295165 |  23M|  62 |   8 |  70 |2402 | 135 |  70 |  19 |  19 |  36k|2135 | 0.000000e+00 |      --      |    Inf 
45.47/45.59	c  42.9s|100000 | 35472 |327162 |  25M|  62 |   8 |  70 |2396 |  33 |  70 |  19 |  19 |  40k|2221 | 0.000000e+00 |      --      |    Inf 
50.28/50.34	c  47.4s|110000 | 38611 |359919 |  27M|  62 |   8 |  70 |2267 |  69 |  70 |  19 |  19 |  45k|2324 | 0.000000e+00 |      --      |    Inf 
55.08/55.11	c  51.9s|120000 | 41809 |392870 |  30M|  62 |   8 |  70 |2315 | 909 |  70 |  19 |  19 |  49k|2408 | 0.000000e+00 |      --      |    Inf 
59.57/59.66	c  56.2s|130000 | 45360 |425066 |  32M|  62 |   - |  70 |2727 |  24 |  70 |  19 |  19 |  53k|2480 | 0.000000e+00 |      --      |    Inf 
64.38/64.49	c  60.8s|140000 | 48671 |457626 |  35M|  62 |   8 |  70 |2758 | 142 |  70 |  19 |  19 |  57k|2559 | 0.000000e+00 |      --      |    Inf 
69.28/69.33	c  65.4s|150000 | 51864 |489901 |  37M|  62 |   - |  70 |2855 |  22 |  70 |  19 |  19 |  62k|2628 | 0.000000e+00 |      --      |    Inf 
74.07/74.15	c  70.0s|160000 | 55013 |522184 |  39M|  62 |   - |  70 |2659 |  85 |  70 |  19 |  19 |  66k|2703 | 0.000000e+00 |      --      |    Inf 
79.08/79.12	c  74.7s|170000 | 57999 |554627 |  42M|  62 |   - |  70 |2681 |  70 |  70 |  19 |  19 |  70k|2777 | 0.000000e+00 |      --      |    Inf 
83.87/83.93	c  79.2s|180000 | 61195 |586409 |  44M|  62 |   8 |  70 |2669 |  92 |  70 |  19 |  19 |  75k|2846 | 0.000000e+00 |      --      |    Inf 
88.77/88.83	c  83.8s|190000 | 64088 |619637 |  46M|  62 |   8 |  70 |2925 | 143 |  70 |  19 |  19 |  79k|2932 | 0.000000e+00 |      --      |    Inf 
93.57/93.62	c  88.4s|200000 | 67359 |652327 |  49M|  62 |   8 |  70 |2536 | 242 |  70 |  19 |  19 |  83k|2999 | 0.000000e+00 |      --      |    Inf 
98.46/98.55	c  93.0s|210000 | 70361 |685283 |  51M|  62 |   8 |  70 |2805 | 143 |  70 |  19 |  19 |  88k|3062 | 0.000000e+00 |      --      |    Inf 
103.56/103.65	c  97.9s|220000 | 73216 |717641 |  53M|  62 |   8 |  70 |2513 | 239 |  70 |  19 |  19 |  92k|3139 | 0.000000e+00 |      --      |    Inf 
108.37/108.41	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
108.37/108.41	c   102s|230000 | 76160 |750239 |  56M|  62 |   8 |  70 |3089 | 571 |  70 |  19 |  19 |  97k|3206 | 0.000000e+00 |      --      |    Inf 
113.16/113.28	c   107s|240000 | 79112 |782963 |  58M|  62 |   - |  70 |2883 |  19 |  70 |  19 |  19 | 101k|3264 | 0.000000e+00 |      --      |    Inf 
118.06/118.14	c   112s|250000 | 82138 |815305 |  60M|  62 |   - |  70 |3155 |  39 |  70 |  19 |  19 | 106k|3340 | 0.000000e+00 |      --      |    Inf 
122.96/123.07	c   116s|260000 | 85198 |847725 |  62M|  62 |   8 |  70 |3212 |  28 |  70 |  19 |  19 | 110k|3391 | 0.000000e+00 |      --      |    Inf 
127.95/128.04	c   121s|270000 | 88197 |880696 |  65M|  62 |   8 |  70 |2980 |  57 |  70 |  19 |  19 | 114k|3437 | 0.000000e+00 |      --      |    Inf 
132.96/133.03	c   126s|280000 | 91050 |913755 |  67M|  62 |   8 |  70 |2944 | 151 |  70 |  19 |  19 | 119k|3483 | 0.000000e+00 |      --      |    Inf 
138.06/138.15	c   130s|290000 | 93881 |946633 |  69M|  62 |   8 |  70 |3070 | 366 |  70 |  19 |  19 | 124k|3544 | 0.000000e+00 |      --      |    Inf 
142.85/142.96	c   135s|300000 | 97041 |979423 |  72M|  62 |   8 |  70 |3110 |  77 |  70 |  19 |  19 | 128k|3585 | 0.000000e+00 |      --      |    Inf 
147.75/147.83	c   140s|310000 |100095 |  1012k|  74M|  62 |   8 |  70 |3936 |  30 |  70 |  19 |  19 | 132k|3649 | 0.000000e+00 |      --      |    Inf 
152.95/153.05	c   145s|320000 |102957 |  1045k|  76M|  62 |   - |  70 |2733 |  52 |  70 |  19 |  19 | 137k|3699 | 0.000000e+00 |      --      |    Inf 
157.95/158.03	c   149s|330000 |105840 |  1078k|  78M|  62 |   - |  70 |3040 |  94 |  70 |  19 |  19 | 141k|3751 | 0.000000e+00 |      --      |    Inf 
162.95/163.05	c   154s|340000 |108820 |  1111k|  81M|  62 |   8 |  70 |2814 |  15 |  70 |  19 |  19 | 146k|3796 | 0.000000e+00 |      --      |    Inf 
167.85/167.93	c   159s|350000 |111834 |  1143k|  83M|  62 |   8 |  70 |3083 |  23 |  70 |  19 |  19 | 150k|3840 | 0.000000e+00 |      --      |    Inf 
172.75/172.82	c   163s|360000 |114744 |  1176k|  85M|  62 |   - |  70 |2966 | 119 |  70 |  19 |  19 | 155k|3881 | 0.000000e+00 |      --      |    Inf 
177.74/177.88	c   168s|370000 |117652 |  1209k|  87M|  62 |   8 |  70 |2827 |  58 |  70 |  19 |  19 | 159k|3929 | 0.000000e+00 |      --      |    Inf 
182.64/182.79	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
182.64/182.79	c   173s|380000 |120663 |  1241k|  90M|  62 |   - |  70 |3061 |  21 |  70 |  19 |  19 | 164k|3969 | 0.000000e+00 |      --      |    Inf 
187.64/187.73	c   177s|390000 |123509 |  1275k|  92M|  62 |   - |  70 |3075 |  36 |  70 |  19 |  19 | 168k|3994 | 0.000000e+00 |      --      |    Inf 
192.64/192.78	c   182s|400000 |126245 |  1308k|  94M|  62 |   - |  70 |2837 |  92 |  70 |  19 |  19 | 173k|4046 | 0.000000e+00 |      --      |    Inf 
197.34/197.45	c   187s|410000 |129328 |  1339k|  97M|  62 |   - |  70 |3868 |  54 |  70 |  19 |  19 | 177k|4080 | 0.000000e+00 |      --      |    Inf 
202.63/202.76	c   192s|420000 |131995 |  1372k|  99M|  62 |   8 |  70 |3258 |  47 |  70 |  19 |  19 | 182k|4115 | 0.000000e+00 |      --      |    Inf 
207.74/207.82	c   196s|430000 |134778 |  1405k| 101M|  62 |   8 |  70 |3213 | 158 |  70 |  19 |  19 | 186k|4162 | 0.000000e+00 |      --      |    Inf 
212.84/212.96	c   201s|440000 |137546 |  1438k| 103M|  62 |   - |  70 |3009 |  61 |  70 |  19 |  19 | 191k|4197 | 0.000000e+00 |      --      |    Inf 
217.93/218.09	c   206s|450000 |140238 |  1471k| 106M|  62 |   - |  70 |3361 |  12 |  70 |  19 |  19 | 195k|4234 | 0.000000e+00 |      --      |    Inf 
223.03/223.17	c   211s|460000 |142911 |  1504k| 108M|  62 |   - |  70 |3461 |  32 |  70 |  19 |  19 | 200k|4263 | 0.000000e+00 |      --      |    Inf 
228.33/228.48	c   216s|470000 |145617 |  1537k| 110M|  62 |   8 |  70 |3049 | 158 |  70 |  19 |  19 | 204k|4301 | 0.000000e+00 |      --      |    Inf 
233.33/233.48	c   221s|480000 |148481 |  1569k| 112M|  62 |   8 |  70 |3299 | 248 |  70 |  19 |  19 | 209k|4329 | 0.000000e+00 |      --      |    Inf 
238.03/238.16	c   225s|490000 |151664 |  1601k| 115M|  62 |   8 |  70 |4469 | 147 |  70 |  19 |  19 | 213k|4373 | 0.000000e+00 |      --      |    Inf 
243.33/243.40	c   230s|500000 |154208 |  1634k| 117M|  62 |   - |  70 |3646 |  16 |  70 |  19 |  19 | 218k|4406 | 0.000000e+00 |      --      |    Inf 
248.63/248.74	c   235s|510000 |156940 |  1667k| 119M|  62 |   - |  70 |3070 | 110 |   0 |   0 |  19 | 222k|4449 | 0.000000e+00 |      --      |    Inf 
253.43/253.55	c   240s|520000 |159958 |  1700k| 122M|  62 |   8 |  70 |3800 |  35 |  70 |  19 |  19 | 227k|4478 | 0.000000e+00 |      --      |    Inf 
258.72/258.82	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
258.72/258.82	c   245s|530000 |162811 |  1733k| 124M|  62 |   8 |  70 |3654 | 382 |  70 |  19 |  19 | 231k|4502 | 0.000000e+00 |      --      |    Inf 
263.92/264.01	c   250s|540000 |165822 |  1765k| 126M|  62 |   - |  70 |3129 |  63 |  70 |  19 |  19 | 236k|4524 | 0.000000e+00 |      --      |    Inf 
269.02/269.13	c   255s|550000 |168647 |  1798k| 128M|  62 |   8 |  70 |3133 |  51 |  70 |  19 |  19 | 240k|4562 | 0.000000e+00 |      --      |    Inf 
273.82/273.96	c   259s|560000 |171484 |  1831k| 131M|  62 |   - |  70 |3837 |  14 |  70 |  19 |  19 | 245k|4595 | 0.000000e+00 |      --      |    Inf 
279.22/279.32	c   264s|570000 |174196 |  1864k| 133M|  62 |   8 |  70 |3060 |  95 |  70 |  19 |  19 | 249k|4622 | 0.000000e+00 |      --      |    Inf 
284.12/284.24	c   269s|580000 |177174 |  1896k| 135M|  62 |   - |  70 |3861 | 117 |  70 |  19 |  19 | 254k|4653 | 0.000000e+00 |      --      |    Inf 
288.82/288.90	c   273s|590000 |180359 |  1928k| 138M|  62 |   8 |  70 |4967 |  80 |  70 |  19 |  19 | 258k|4678 | 0.000000e+00 |      --      |    Inf 
294.11/294.24	c   278s|600000 |183115 |  1960k| 140M|  62 |   8 |  70 |3835 |  90 |  70 |  19 |  19 | 263k|4695 | 0.000000e+00 |      --      |    Inf 
299.61/299.70	c   284s|610000 |185651 |  1992k| 142M|  62 |   8 |  70 |2908 | 160 |  70 |  19 |  19 | 267k|4718 | 0.000000e+00 |      --      |    Inf 
304.62/304.77	c   288s|620000 |188511 |  2025k| 144M|  62 |   8 |  70 |3616 |  20 |  70 |  19 |  19 | 272k|4740 | 0.000000e+00 |      --      |    Inf 
309.81/309.98	c   293s|630000 |191301 |  2057k| 146M|  62 |   8 |  70 |3356 |  28 |  70 |  19 |  19 | 276k|4763 | 0.000000e+00 |      --      |    Inf 
314.61/314.70	c   298s|640000 |194306 |  2090k| 149M|  63 |   8 |  70 |5186 |  23 |  70 |  19 |  19 | 281k|4793 | 0.000000e+00 |      --      |    Inf 
320.11/320.26	c   303s|650000 |196868 |  2122k| 151M|  63 |   - |  70 |4046 |  13 |  70 |  19 |  19 | 285k|4813 | 0.000000e+00 |      --      |    Inf 
325.51/325.67	c   308s|660000 |199671 |  2155k| 153M|  63 |   - |  70 |3644 |  54 |  70 |  19 |  19 | 290k|4829 | 0.000000e+00 |      --      |    Inf 
330.91/331.03	c   313s|670000 |202602 |  2187k| 155M|  63 |   8 |  70 |3181 |  36 |  70 |  19 |  19 | 294k|4849 | 0.000000e+00 |      --      |    Inf 
335.70/335.85	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
335.70/335.85	c   318s|680000 |205590 |  2219k| 158M|  63 |   8 |  70 |4258 | 128 |  70 |  19 |  19 | 299k|4866 | 0.000000e+00 |      --      |    Inf 
340.81/340.99	c   323s|690000 |208458 |  2252k| 160M|  63 |   - |  70 |4141 | 213 |  70 |  19 |  19 | 303k|4882 | 0.000000e+00 |      --      |    Inf 
346.30/346.49	c   328s|700000 |211222 |  2285k| 162M|  63 |   - |  70 |3453 | 284 |  70 |  19 |  19 | 308k|4902 | 0.000000e+00 |      --      |    Inf 
351.40/351.53	c   333s|710000 |213943 |  2318k| 165M|  63 |   - |  70 |4376 |  84 |  70 |  19 |  19 | 312k|4922 | 0.000000e+00 |      --      |    Inf 
356.80/356.93	c   338s|720000 |216737 |  2351k| 167M|  63 |   - |  70 |3964 | 403 |  70 |  19 |  19 | 317k|4934 | 0.000000e+00 |      --      |    Inf 
361.90/362.05	c   343s|730000 |219742 |  2384k| 169M|  63 |   8 |  70 |4386 |  30 |  70 |  19 |  19 | 321k|4946 | 0.000000e+00 |      --      |    Inf 
367.30/367.41	c   348s|740000 |222427 |  2417k| 172M|  63 |   - |  70 |4235 | 135 |  70 |  19 |  19 | 326k|4962 | 0.000000e+00 |      --      |    Inf 
372.70/372.83	c   353s|750000 |225240 |  2450k| 174M|  63 |   - |  70 |3538 |  43 |  70 |  19 |  19 | 330k|4980 | 0.000000e+00 |      --      |    Inf 
377.99/378.11	c   358s|760000 |227972 |  2483k| 176M|  63 |   8 |  70 |3691 | 152 |  70 |  19 |  19 | 335k|4993 | 0.000000e+00 |      --      |    Inf 
383.29/383.49	c   363s|770000 |230561 |  2516k| 178M|  63 |   8 |  70 |3614 |  28 |  70 |  19 |  19 | 339k|5011 | 0.000000e+00 |      --      |    Inf 
388.79/388.93	c   368s|780000 |233227 |  2549k| 180M|  63 |   - |  70 |3538 | 151 |  70 |  19 |  19 | 344k|5027 | 0.000000e+00 |      --      |    Inf 
394.09/394.24	c   373s|790000 |235820 |  2583k| 182M|  63 |   8 |  70 |3243 |  56 |  70 |  19 |  19 | 349k|5050 | 0.000000e+00 |      --      |    Inf 
399.29/399.49	c   378s|800000 |238641 |  2616k| 185M|  63 |   8 |  70 |3709 |  96 |  70 |  19 |  19 | 353k|5072 | 0.000000e+00 |      --      |    Inf 
404.68/404.85	c   383s|810000 |241329 |  2648k| 187M|  63 |   - |  70 |3241 |  92 |  70 |  19 |  19 | 358k|5088 | 0.000000e+00 |      --      |    Inf 
409.58/409.78	c   388s|820000 |244436 |  2682k| 189M|  63 |   8 |  70 |3949 | 258 |  70 |  19 |  19 | 362k|5105 | 0.000000e+00 |      --      |    Inf 
414.38/414.59	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
414.38/414.59	c   392s|830000 |247768 |  2714k| 192M|  63 |   8 |  70 |5518 |  35 |  70 |  19 |  19 | 366k|5122 | 0.000000e+00 |      --      |    Inf 
420.08/420.27	c   398s|840000 |250552 |  2747k| 194M|  63 |   - |  70 |3953 |  45 |  70 |  19 |  19 | 371k|5137 | 0.000000e+00 |      --      |    Inf 
425.38/425.53	c   403s|850000 |253421 |  2780k| 196M|  63 |   - |  70 |3607 | 361 |  70 |  19 |  19 | 375k|5154 | 0.000000e+00 |      --      |    Inf 
430.77/430.92	c   408s|860000 |256142 |  2813k| 198M|  63 |   - |  70 |3043 | 146 |  70 |  19 |  19 | 380k|5173 | 0.000000e+00 |      --      |    Inf 
435.98/436.15	c   413s|870000 |259104 |  2846k| 201M|  63 |   8 |  70 |3336 | 162 |  70 |  19 |  19 | 384k|5191 | 0.000000e+00 |      --      |    Inf 
441.28/441.47	c   418s|880000 |261840 |  2878k| 203M|  63 |   - |  70 |3417 | 166 |  70 |  19 |  19 | 389k|5213 | 0.000000e+00 |      --      |    Inf 
446.67/446.88	c   423s|890000 |264522 |  2912k| 205M|  63 |   - |  70 |3198 |  24 |  70 |  19 |  19 | 393k|5229 | 0.000000e+00 |      --      |    Inf 
452.18/452.33	c   428s|900000 |267135 |  2945k| 207M|  63 |   - |  70 |3188 |  42 |  70 |  19 |  19 | 398k|5247 | 0.000000e+00 |      --      |    Inf 
457.48/457.60	c   433s|910000 |269789 |  2978k| 210M|  63 |   8 |  70 |3497 |1375 |  70 |  19 |  19 | 403k|5267 | 0.000000e+00 |      --      |    Inf 
462.17/462.31	c   438s|920000 |272964 |  3009k| 212M|  63 |   8 |  70 |4727 |  83 |  70 |  19 |  19 | 407k|5274 | 0.000000e+00 |      --      |    Inf 
467.47/467.63	c   443s|930000 |275941 |  3041k| 214M|  63 |   8 |  70 |3418 |  17 |  70 |  19 |  19 | 411k|5291 | 0.000000e+00 |      --      |    Inf 
472.97/473.13	c   448s|940000 |278479 |  3074k| 216M|  63 |   - |  70 |3204 |  32 |  70 |  19 |  19 | 416k|5309 | 0.000000e+00 |      --      |    Inf 
478.27/478.44	c   453s|950000 |281114 |  3106k| 219M|  63 |   8 |  70 |3157 | 306 |  70 |  19 |  19 | 421k|5320 | 0.000000e+00 |      --      |    Inf 
483.56/483.74	c   458s|960000 |283871 |  3140k| 221M|  63 |   8 |  70 |3117 |  28 |  70 |  19 |  19 | 425k|5342 | 0.000000e+00 |      --      |    Inf 
488.77/488.93	c   463s|970000 |286483 |  3173k| 223M|  63 |   - |  70 |3692 | 368 |  70 |  19 |  19 | 430k|5355 | 0.000000e+00 |      --      |    Inf 
494.16/494.38	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
494.16/494.38	c   468s|980000 |289102 |  3205k| 225M|  63 |   8 |  70 |3573 | 603 |  70 |  19 |  19 | 434k|5372 | 0.000000e+00 |      --      |    Inf 
499.66/499.82	c   473s|990000 |291889 |  3239k| 227M|  63 |   - |  70 |3056 | 239 |  70 |  19 |  19 | 439k|5389 | 0.000000e+00 |      --      |    Inf 
504.76/504.90	c   478s|  1000k|294733 |  3271k| 230M|  63 |   8 |  70 |3426 |  51 |  70 |  19 |  19 | 443k|5399 | 0.000000e+00 |      --      |    Inf 
509.66/509.83	c   483s|  1010k|297439 |  3304k| 232M|  63 |   8 |  70 |4437 | 228 |  70 |  19 |  19 | 448k|5420 | 0.000000e+00 |      --      |    Inf 
515.06/515.25	c   488s|  1020k|300210 |  3337k| 234M|  63 |   - |  70 |3718 | 124 |  70 |  19 |  19 | 452k|5432 | 0.000000e+00 |      --      |    Inf 
520.46/520.67	c   493s|  1030k|302948 |  3369k| 236M|  63 |   8 |  70 |3194 | 241 |  70 |  19 |  19 | 457k|5455 | 0.000000e+00 |      --      |    Inf 
525.66/525.83	c   498s|  1040k|305568 |  3403k| 239M|  63 |   8 |  70 |3491 |  73 |  70 |  19 |  19 | 462k|5473 | 0.000000e+00 |      --      |    Inf 
531.15/531.38	c   503s|  1050k|308078 |  3436k| 241M|  63 |   - |  70 |3484 |  33 |  70 |  19 |  19 | 466k|5489 | 0.000000e+00 |      --      |    Inf 
536.66/536.87	c   509s|  1060k|310596 |  3470k| 243M|  63 |   8 |  70 |3292 | 692 |  70 |  19 |  19 | 471k|5509 | 0.000000e+00 |      --      |    Inf 
542.05/542.25	c   514s|  1070k|313338 |  3503k| 245M|  63 |   8 |  70 |3658 |  50 |  70 |  19 |  19 | 476k|5526 | 0.000000e+00 |      --      |    Inf 
547.15/547.37	c   519s|  1080k|316465 |  3535k| 247M|  63 |   8 |  70 |3977 |  35 |  70 |  19 |  19 | 480k|5547 | 0.000000e+00 |      --      |    Inf 
552.45/552.68	c   524s|  1090k|319164 |  3567k| 250M|  63 |   8 |  70 |3783 | 323 |  70 |  19 |  19 | 484k|5567 | 0.000000e+00 |      --      |    Inf 
557.95/558.13	c   529s|  1100k|321983 |  3600k| 252M|  63 |   - |  70 |3271 | 127 |  70 |  19 |  19 | 489k|5578 | 0.000000e+00 |      --      |    Inf 
563.45/563.61	c   534s|  1110k|324611 |  3633k| 254M|  63 |   8 |  70 |3357 |  72 |  70 |  19 |  19 | 493k|5600 | 0.000000e+00 |      --      |    Inf 
568.45/568.66	c   539s|  1120k|327524 |  3665k| 256M|  63 |   8 |  70 |3505 |  45 |  70 |  19 |  19 | 498k|5612 | 0.000000e+00 |      --      |    Inf 
573.84/574.01	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
573.84/574.01	c   544s|  1130k|330178 |  3698k| 259M|  63 |   8 |  70 |3558 |  40 |  70 |  19 |  19 | 503k|5628 | 0.000000e+00 |      --      |    Inf 
578.84/579.08	c   549s|  1140k|333121 |  3730k| 261M|  63 |   - |  70 |4000 |   9 |  70 |  19 |  19 | 507k|5646 | 0.000000e+00 |      --      |    Inf 
584.44/584.65	c   554s|  1150k|335688 |  3763k| 263M|  63 |   8 |  70 |4279 | 171 |  70 |  19 |  19 | 512k|5665 | 0.000000e+00 |      --      |    Inf 
589.93/590.13	c   559s|  1160k|338257 |  3796k| 265M|  63 |   - |  70 |4098 |  16 |  70 |  19 |  19 | 516k|5684 | 0.000000e+00 |      --      |    Inf 
595.24/595.47	c   564s|  1170k|340825 |  3829k| 268M|  63 |   - |  70 |3935 | 113 |  70 |  19 |  19 | 521k|5690 | 0.000000e+00 |      --      |    Inf 
600.34/600.52	c   569s|  1180k|343968 |  3861k| 270M|  63 |   8 |  70 |4507 |  66 |  70 |  19 |  19 | 525k|5710 | 0.000000e+00 |      --      |    Inf 
606.03/606.27	c   574s|  1190k|346566 |  3894k| 272M|  63 |   8 |  70 |3100 | 359 |  70 |  19 |  19 | 530k|5720 | 0.000000e+00 |      --      |    Inf 
611.43/611.60	c   579s|  1200k|349167 |  3927k| 274M|  63 |   8 |  70 |3683 |  10 |  70 |  19 |  19 | 534k|5734 | 0.000000e+00 |      --      |    Inf 
617.02/617.24	c   585s|  1210k|351749 |  3959k| 277M|  63 |   - |  70 |3909 |  20 |  70 |  19 |  19 | 539k|5751 | 0.000000e+00 |      --      |    Inf 
622.52/622.78	c   590s|  1220k|354402 |  3993k| 279M|  63 |   8 |  70 |3772 | 179 |  70 |  19 |  19 | 544k|5774 | 0.000000e+00 |      --      |    Inf 
628.03/628.25	c   595s|  1230k|357276 |  4026k| 281M|  63 |   - |  70 |3771 |  48 |  70 |  19 |  19 | 548k|5784 | 0.000000e+00 |      --      |    Inf 
633.02/633.28	c   600s|  1240k|360398 |  4058k| 284M|  63 |   8 |  70 |4776 | 206 |  70 |  19 |  19 | 552k|5799 | 0.000000e+00 |      --      |    Inf 
638.72/638.95	c   605s|  1250k|363229 |  4090k| 286M|  63 |   8 |  70 |4408 |  45 |  70 |  19 |  19 | 557k|5813 | 0.000000e+00 |      --      |    Inf 
644.02/644.27	c   611s|  1260k|366213 |  4123k| 288M|  63 |   8 |  70 |4453 |  25 |  70 |  19 |  19 | 561k|5832 | 0.000000e+00 |      --      |    Inf 
649.32/649.52	c   616s|  1270k|369098 |  4155k| 291M|  63 |   8 |  70 |5323 |  62 |  70 |  19 |  19 | 565k|5851 | 0.000000e+00 |      --      |    Inf 
654.91/655.14	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
654.91/655.14	c   621s|  1280k|371751 |  4189k| 292M|  63 |   8 |  70 |3652 | 128 |  70 |  19 |  19 | 570k|5871 | 0.000000e+00 |      --      |    Inf 
660.31/660.57	c   626s|  1290k|374479 |  4222k| 295M|  63 |   8 |  70 |3498 |  59 |  70 |  19 |  19 | 575k|5890 | 0.000000e+00 |      --      |    Inf 
665.72/665.96	c   631s|  1300k|377084 |  4255k| 297M|  63 |   8 |  70 |3129 |  37 |  70 |  19 |  19 | 579k|5911 | 0.000000e+00 |      --      |    Inf 
671.11/671.31	c   636s|  1310k|379755 |  4288k| 299M|  63 |   - |  70 |3614 |  90 |  70 |  19 |  19 | 584k|5925 | 0.000000e+00 |      --      |    Inf 
676.31/676.50	c   641s|  1320k|382551 |  4321k| 301M|  63 |   8 |  70 |3775 |  20 |  70 |  19 |  19 | 588k|5945 | 0.000000e+00 |      --      |    Inf 
681.82/682.08	c   646s|  1330k|385112 |  4354k| 303M|  63 |   - |  70 |3383 |  49 |  70 |  19 |  19 | 593k|5958 | 0.000000e+00 |      --      |    Inf 
687.01/687.26	c   651s|  1340k|387893 |  4387k| 306M|  63 |   8 |  70 |4389 |  43 |  70 |  19 |  19 | 597k|5976 | 0.000000e+00 |      --      |    Inf 
692.71/692.99	c   657s|  1350k|390297 |  4421k| 308M|  63 |   8 |  70 |3690 | 185 |  70 |  19 |  19 | 602k|5991 | 0.000000e+00 |      --      |    Inf 
698.00/698.23	c   662s|  1360k|393096 |  4454k| 310M|  63 |   8 |  70 |4155 |  24 |  70 |  19 |  19 | 607k|6010 | 0.000000e+00 |      --      |    Inf 
703.50/703.72	c   667s|  1370k|395682 |  4487k| 312M|  63 |   8 |  70 |4215 |  30 |  70 |  19 |  19 | 611k|6024 | 0.000000e+00 |      --      |    Inf 
708.90/709.14	c   672s|  1380k|398542 |  4519k| 315M|  63 |   8 |  70 |4064 |  30 |  70 |  19 |  19 | 616k|6043 | 0.000000e+00 |      --      |    Inf 
714.31/714.59	c   677s|  1390k|401283 |  4552k| 317M|  63 |   8 |  70 |3980 | 194 |  70 |  19 |  19 | 620k|6054 | 0.000000e+00 |      --      |    Inf 
719.81/720.07	c   682s|  1400k|403991 |  4585k| 319M|  63 |   - |  70 |4041 |  86 |  70 |  19 |  19 | 625k|6068 | 0.000000e+00 |      --      |    Inf 
725.40/725.69	c   688s|  1410k|406679 |  4618k| 321M|  63 |   - |  70 |3443 |  31 |  70 |  19 |  19 | 629k|6092 | 0.000000e+00 |      --      |    Inf 
730.70/730.97	c   693s|  1420k|409293 |  4650k| 323M|  63 |   8 |  70 |3629 |  49 |  70 |  19 |  19 | 634k|6112 | 0.000000e+00 |      --      |    Inf 
736.09/736.35	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
736.09/736.35	c   698s|  1430k|411993 |  4683k| 326M|  63 |   - |  70 |3568 |  31 |  70 |  19 |  19 | 638k|6122 | 0.000000e+00 |      --      |    Inf 
741.60/741.89	c   703s|  1440k|414673 |  4716k| 328M|  63 |   8 |  70 |3610 |  27 |  70 |  19 |  19 | 643k|6135 | 0.000000e+00 |      --      |    Inf 
746.90/747.12	c   708s|  1450k|417469 |  4749k| 330M|  63 |   8 |  70 |4062 | 440 |  70 |  19 |  19 | 647k|6144 | 0.000000e+00 |      --      |    Inf 
752.49/752.73	c   713s|  1460k|420036 |  4783k| 332M|  63 |   - |  70 |4444 |  57 |  70 |  19 |  19 | 652k|6165 | 0.000000e+00 |      --      |    Inf 
758.29/758.53	c   719s|  1470k|422434 |  4815k| 334M|  63 |   - |  70 |3902 | 380 |  70 |  19 |  19 | 657k|6184 | 0.000000e+00 |      --      |    Inf 
763.29/763.50	c   724s|  1480k|425509 |  4846k| 337M|  63 |   - |  70 |4564 | 190 |  70 |  19 |  19 | 661k|6202 | 0.000000e+00 |      --      |    Inf 
768.89/769.13	c   729s|  1490k|428131 |  4878k| 339M|  63 |   8 |  70 |3652 | 109 |  70 |  19 |  19 | 666k|6213 | 0.000000e+00 |      --      |    Inf 
774.39/774.68	c   734s|  1500k|430625 |  4911k| 341M|  63 |   8 |  70 |3595 |  23 |  70 |  19 |  19 | 670k|6230 | 0.000000e+00 |      --      |    Inf 
779.69/779.94	c   739s|  1510k|433574 |  4945k| 343M|  63 |   8 |  70 |3763 |  48 |  70 |  19 |  19 | 675k|6243 | 0.000000e+00 |      --      |    Inf 
784.99/785.26	c   744s|  1520k|436415 |  4978k| 346M|  63 |   8 |  70 |3859 | 425 |  70 |  19 |  19 | 679k|6257 | 0.000000e+00 |      --      |    Inf 
789.89/790.20	c   749s|  1530k|439386 |  5011k| 348M|  63 |   8 |  70 |4474 | 140 |  70 |  19 |  19 | 684k|6264 | 0.000000e+00 |      --      |    Inf 
795.48/795.75	c   754s|  1540k|442149 |  5045k| 350M|  63 |   8 |  70 |3399 |  34 |  70 |  19 |  19 | 688k|6275 | 0.000000e+00 |      --      |    Inf 
800.68/800.94	c   759s|  1550k|445014 |  5078k| 352M|  63 |   8 |  70 |4080 |  48 |  70 |  19 |  19 | 692k|6284 | 0.000000e+00 |      --      |    Inf 
806.27/806.55	c   765s|  1560k|447666 |  5111k| 355M|  63 |   8 |  70 |3792 | 304 |  70 |  19 |  19 | 697k|6295 | 0.000000e+00 |      --      |    Inf 
811.98/812.27	c   770s|  1570k|450083 |  5144k| 357M|  63 |   8 |  70 |3389 |  69 |  70 |  19 |  19 | 702k|6315 | 0.000000e+00 |      --      |    Inf 
817.47/817.72	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
817.47/817.72	c   775s|  1580k|452617 |  5177k| 359M|  63 |   8 |  70 |3640 |  28 |  70 |  19 |  19 | 706k|6328 | 0.000000e+00 |      --      |    Inf 
823.07/823.33	c   781s|  1590k|454900 |  5210k| 361M|  63 |   8 |  70 |3666 |  95 |  70 |  19 |  19 | 711k|6337 | 0.000000e+00 |      --      |    Inf 
828.27/828.54	c   786s|  1600k|457755 |  5242k| 363M|  63 |   8 |  70 |3780 | 348 |  70 |  19 |  19 | 716k|6344 | 0.000000e+00 |      --      |    Inf 
833.17/833.44	c   790s|  1610k|460618 |  5274k| 366M|  63 |   - |  70 |4587 | 331 |  70 |  19 |  19 | 720k|6355 | 0.000000e+00 |      --      |    Inf 
838.47/838.71	c   795s|  1620k|463565 |  5307k| 368M|  63 |   - |  70 |4631 |  26 |  70 |  19 |  19 | 724k|6363 | 0.000000e+00 |      --      |    Inf 
843.87/844.13	c   800s|  1630k|466089 |  5339k| 370M|  63 |   8 |  70 |5316 | 117 |  70 |  19 |  19 | 729k|6375 | 0.000000e+00 |      --      |    Inf 
849.36/849.68	c   806s|  1640k|468800 |  5371k| 372M|  63 |   8 |  70 |3529 |  70 |  70 |  19 |  19 | 734k|6392 | 0.000000e+00 |      --      |    Inf 
855.06/855.36	c   811s|  1650k|471350 |  5404k| 374M|  63 |   - |  70 |3584 |  65 |  70 |  19 |  19 | 738k|6405 | 0.000000e+00 |      --      |    Inf 
860.56/860.88	c   816s|  1660k|473974 |  5437k| 376M|  63 |   8 |  70 |3419 |  65 |  70 |  19 |  19 | 743k|6409 | 0.000000e+00 |      --      |    Inf 
865.86/866.11	c   821s|  1670k|476678 |  5470k| 379M|  63 |   8 |  70 |3932 |  33 |  70 |  19 |  19 | 747k|6417 | 0.000000e+00 |      --      |    Inf 
871.46/871.72	c   827s|  1680k|479281 |  5502k| 381M|  63 |   8 |  70 |3829 | 119 |  70 |  19 |  19 | 752k|6434 | 0.000000e+00 |      --      |    Inf 
876.76/877.07	c   832s|  1690k|482122 |  5535k| 383M|  63 |   8 |  70 |3765 | 101 |  70 |  19 |  19 | 756k|6445 | 0.000000e+00 |      --      |    Inf 
881.96/882.28	c   837s|  1700k|484882 |  5567k| 385M|  63 |   - |  70 |3918 |  35 |  70 |  19 |  19 | 761k|6456 | 0.000000e+00 |      --      |    Inf 
887.85/888.19	c   842s|  1710k|487072 |  5599k| 387M|  63 |   - |  70 |3489 |  72 |  70 |  19 |  19 | 766k|6471 | 0.000000e+00 |      --      |    Inf 
893.76/894.06	c   848s|  1720k|489408 |  5632k| 390M|  63 |   8 |  70 |3592 | 197 |  70 |  19 |  19 | 770k|6484 | 0.000000e+00 |      --      |    Inf 
898.95/899.26	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
898.95/899.26	c   853s|  1730k|492244 |  5665k| 392M|  63 |   8 |  70 |4224 |  96 |  70 |  19 |  19 | 775k|6497 | 0.000000e+00 |      --      |    Inf 
904.65/904.99	c   858s|  1740k|494683 |  5697k| 394M|  63 |   - |  70 |3635 |  26 |  70 |  19 |  19 | 779k|6519 | 0.000000e+00 |      --      |    Inf 
910.15/910.48	c   863s|  1750k|497133 |  5730k| 396M|  63 |   8 |  70 |4050 | 251 |  70 |  19 |  19 | 784k|6530 | 0.000000e+00 |      --      |    Inf 
915.75/916.05	c   869s|  1760k|499722 |  5762k| 398M|  63 |   8 |  70 |4158 | 388 |  70 |  19 |  19 | 789k|6540 | 0.000000e+00 |      --      |    Inf 
921.45/921.71	c   874s|  1770k|502344 |  5795k| 400M|  63 |   - |  70 |3965 |  28 |  70 |  19 |  19 | 793k|6553 | 0.000000e+00 |      --      |    Inf 
927.15/927.42	c   880s|  1780k|504748 |  5827k| 403M|  63 |   - |  70 |3480 |  26 |  70 |  19 |  19 | 798k|6568 | 0.000000e+00 |      --      |    Inf 
931.85/932.13	c   884s|  1790k|507920 |  5859k| 405M|  63 |   8 |  70 |4815 |  14 |  70 |  19 |  19 | 802k|6575 | 0.000000e+00 |      --      |    Inf 
937.15/937.46	c   889s|  1800k|510633 |  5891k| 407M|  63 |   - |  70 |4489 |  37 |   0 |   0 |  19 | 807k|6586 | 0.000000e+00 |      --      |    Inf 
943.04/943.36	c   895s|  1810k|513123 |  5924k| 409M|  63 |   - |  70 |3873 |  27 |  70 |  19 |  19 | 812k|6597 | 0.000000e+00 |      --      |    Inf 
948.24/948.57	c   900s|  1820k|515823 |  5956k| 412M|  63 |   8 |  70 |4328 |  91 |  70 |  19 |  19 | 816k|6606 | 0.000000e+00 |      --      |    Inf 
953.84/954.14	c   905s|  1830k|518462 |  5988k| 414M|  63 |   8 |  70 |3678 | 241 |  70 |  19 |  19 | 821k|6614 | 0.000000e+00 |      --      |    Inf 
959.33/959.67	c   910s|  1840k|520885 |  6021k| 416M|  63 |   8 |  70 |3793 |  73 |  70 |  19 |  19 | 825k|6625 | 0.000000e+00 |      --      |    Inf 
965.14/965.45	c   916s|  1850k|523323 |  6054k| 418M|  63 |   8 |  70 |3547 |  42 |  70 |  19 |  19 | 830k|6632 | 0.000000e+00 |      --      |    Inf 
970.44/970.73	c   921s|  1860k|525880 |  6086k| 420M|  63 |   8 |  70 |3362 | 191 |  70 |  19 |  19 | 835k|6645 | 0.000000e+00 |      --      |    Inf 
975.83/976.18	c   926s|  1870k|528494 |  6118k| 422M|  63 |   - |  70 |3536 |  11 |  70 |  19 |  19 | 839k|6652 | 0.000000e+00 |      --      |    Inf 
981.44/981.71	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
981.44/981.71	c   931s|  1880k|531141 |  6151k| 425M|  63 |   8 |  70 |3872 |  27 |  70 |  19 |  19 | 844k|6662 | 0.000000e+00 |      --      |    Inf 
987.14/987.40	c   936s|  1890k|533700 |  6185k| 427M|  63 |   8 |  70 |3570 | 113 |  70 |  19 |  19 | 849k|6670 | 0.000000e+00 |      --      |    Inf 
992.53/992.81	c   941s|  1900k|536258 |  6218k| 429M|  63 |   8 |  70 |3778 |  59 |  70 |  19 |  19 | 853k|6681 | 0.000000e+00 |      --      |    Inf 
998.02/998.37	c   947s|  1910k|538944 |  6251k| 431M|  63 |   8 |  70 |3934 |  71 |  70 |  19 |  19 | 858k|6692 | 0.000000e+00 |      --      |    Inf 
1003.43/1003.77	c   952s|  1920k|541613 |  6284k| 433M|  63 |   - |  70 |4053 |  81 |  70 |  19 |  19 | 862k|6700 | 0.000000e+00 |      --      |    Inf 
1008.83/1009.17	c   957s|  1930k|544270 |  6316k| 436M|  63 |   8 |  70 |4052 | 521 |  70 |  19 |  19 | 867k|6707 | 0.000000e+00 |      --      |    Inf 
1014.32/1014.68	c   962s|  1940k|546812 |  6349k| 438M|  63 |   8 |  70 |4419 |  97 |  70 |  19 |  19 | 872k|6720 | 0.000000e+00 |      --      |    Inf 
1019.72/1020.05	c   967s|  1950k|549711 |  6382k| 440M|  63 |   - |  70 |4390 |  18 |  70 |  19 |  19 | 876k|6731 | 0.000000e+00 |      --      |    Inf 
1025.03/1025.34	c   972s|  1960k|552559 |  6414k| 442M|  63 |   8 |  70 |4101 |  55 |  70 |  19 |  19 | 881k|6738 | 0.000000e+00 |      --      |    Inf 
1030.71/1031.06	c   978s|  1970k|555158 |  6447k| 444M|  63 |   - |  70 |3499 |  66 |  70 |  19 |  19 | 885k|6748 | 0.000000e+00 |      --      |    Inf 
1036.02/1036.39	c   983s|  1980k|557899 |  6479k| 447M|  63 |   8 |  70 |4106 |  52 |  70 |  19 |  19 | 890k|6754 | 0.000000e+00 |      --      |    Inf 
1041.71/1042.08	c   988s|  1990k|560467 |  6511k| 449M|  63 |   8 |  70 |3929 |  24 |  70 |  19 |  19 | 894k|6760 | 0.000000e+00 |      --      |    Inf 
1046.92/1047.22	c   993s|  2000k|563028 |  6544k| 451M|  63 |   - |  70 |5196 |  72 |  70 |  19 |  19 | 899k|6776 | 0.000000e+00 |      --      |    Inf 
1052.62/1052.90	c   999s|  2010k|565502 |  6577k| 453M|  63 |   8 |  70 |4513 |  43 |  70 |  19 |  19 | 904k|6788 | 0.000000e+00 |      --      |    Inf 
1058.61/1058.90	c  1004s|  2020k|567961 |  6611k| 455M|  63 |   8 |  70 |4112 | 248 |  70 |  19 |  19 | 908k|6799 | 0.000000e+00 |      --      |    Inf 
1064.31/1064.66	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1064.31/1064.66	c  1010s|  2030k|570311 |  6644k| 458M|  63 |   - |  70 |3782 |  46 |  70 |  19 |  19 | 913k|6814 | 0.000000e+00 |      --      |    Inf 
1070.11/1070.41	c  1015s|  2040k|572785 |  6677k| 460M|  63 |   8 |  70 |3530 |  53 |  70 |  19 |  19 | 918k|6822 | 0.000000e+00 |      --      |    Inf 
1075.71/1076.00	c  1021s|  2050k|575356 |  6710k| 462M|  63 |   - |  70 |3823 | 169 |  70 |  19 |  19 | 922k|6838 | 0.000000e+00 |      --      |    Inf 
1081.51/1081.86	c  1026s|  2060k|577713 |  6743k| 464M|  63 |   8 |  70 |3852 |  33 |  70 |  19 |  19 | 927k|6848 | 0.000000e+00 |      --      |    Inf 
1086.71/1087.03	c  1031s|  2070k|580382 |  6776k| 466M|  63 |   8 |  70 |4566 | 159 |  70 |  19 |  19 | 932k|6857 | 0.000000e+00 |      --      |    Inf 
1092.50/1092.87	c  1037s|  2080k|583072 |  6808k| 468M|  63 |   8 |  70 |3922 | 241 |  70 |  19 |  19 | 936k|6866 | 0.000000e+00 |      --      |    Inf 
1098.40/1098.73	c  1042s|  2090k|585509 |  6840k| 470M|  63 |   - |  70 |3818 |  35 |  70 |  19 |  19 | 941k|6873 | 0.000000e+00 |      --      |    Inf 
1104.20/1104.58	c  1048s|  2100k|587913 |  6873k| 473M|  63 |   - |  70 |3902 |  47 |  70 |  19 |  19 | 946k|6882 | 0.000000e+00 |      --      |    Inf 
1109.80/1110.13	c  1053s|  2110k|590472 |  6906k| 475M|  63 |   8 |  70 |3953 |  61 |  70 |  19 |  19 | 950k|6894 | 0.000000e+00 |      --      |    Inf 
1115.29/1115.65	c  1058s|  2120k|593076 |  6939k| 477M|  63 |   - |  70 |4022 |  38 |  70 |  19 |  19 | 955k|6903 | 0.000000e+00 |      --      |    Inf 
1120.60/1120.96	c  1063s|  2130k|596090 |  6972k| 479M|  63 |   - |  70 |4556 |  34 |  70 |  19 |  19 | 959k|6912 | 0.000000e+00 |      --      |    Inf 
1125.39/1125.79	c  1068s|  2140k|599543 |  7002k| 482M|  63 |   - |  70 |5593 | 106 |  70 |  19 |  19 | 963k|6923 | 0.000000e+00 |      --      |    Inf 
1130.80/1131.19	c  1073s|  2150k|602269 |  7034k| 484M|  63 |   - |  70 |6025 |  27 |  70 |  19 |  19 | 968k|6927 | 0.000000e+00 |      --      |    Inf 
1136.50/1136.85	c  1079s|  2160k|605103 |  7066k| 486M|  63 |   - |  70 |4690 |  19 |  70 |  19 |  19 | 972k|6932 | 0.000000e+00 |      --      |    Inf 
1142.40/1142.73	c  1084s|  2170k|607334 |  7099k| 488M|  63 |   - |  70 |4274 |  62 |  70 |  19 |  19 | 977k|6942 | 0.000000e+00 |      --      |    Inf 
1147.39/1147.79	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1147.39/1147.79	c  1089s|  2180k|610348 |  7131k| 491M|  63 |   8 |  70 |5554 |  54 |  70 |  19 |  19 | 981k|6945 | 0.000000e+00 |      --      |    Inf 
1152.89/1153.24	c  1094s|  2190k|613262 |  7163k| 493M|  63 |   - |  70 |5390 |  57 |  70 |  19 |  19 | 986k|6954 | 0.000000e+00 |      --      |    Inf 
1158.49/1158.86	c  1100s|  2200k|616223 |  7195k| 495M|  63 |   8 |  70 |4981 |  19 |  70 |  19 |  19 | 990k|6960 | 0.000000e+00 |      --      |    Inf 
1164.58/1164.90	c  1105s|  2210k|618645 |  7227k| 497M|  63 |   8 |  70 |3987 | 133 |  70 |  19 |  19 | 995k|6972 | 0.000000e+00 |      --      |    Inf 
1170.19/1170.51	c  1111s|  2220k|621248 |  7260k| 499M|  63 |   8 |  70 |3744 | 195 |  70 |  19 |  19 | 999k|6979 | 0.000000e+00 |      --      |    Inf 
1175.38/1175.74	c  1116s|  2230k|624129 |  7292k| 502M|  63 |   - |  70 |3912 | 418 |  70 |  19 |  19 |1004k|6992 | 0.000000e+00 |      --      |    Inf 
1180.78/1181.11	c  1121s|  2240k|626941 |  7324k| 504M|  63 |   - |  70 |4212 |  41 |  70 |  19 |  19 |1008k|7019 | 0.000000e+00 |      --      |    Inf 
1186.28/1186.64	c  1126s|  2250k|629510 |  7357k| 506M|  63 |   - |  70 |4634 | 174 |  70 |  19 |  19 |1013k|7026 | 0.000000e+00 |      --      |    Inf 
1191.99/1192.40	c  1131s|  2260k|632022 |  7389k| 508M|  63 |   8 |  70 |4028 | 161 |  70 |  19 |  19 |1017k|7044 | 0.000000e+00 |      --      |    Inf 
1197.88/1198.25	c  1137s|  2270k|634390 |  7422k| 510M|  63 |   8 |  70 |3536 |  21 |  70 |  19 |  19 |1022k|7059 | 0.000000e+00 |      --      |    Inf 
1203.47/1203.87	c  1142s|  2280k|636762 |  7455k| 513M|  63 |   8 |  70 |3893 |  28 |  70 |  19 |  19 |1027k|7068 | 0.000000e+00 |      --      |    Inf 
1208.87/1209.22	c  1147s|  2290k|639287 |  7487k| 515M|  63 |   8 |  70 |4478 |  31 |  70 |  19 |  19 |1031k|7077 | 0.000000e+00 |      --      |    Inf 
1213.87/1214.25	c  1152s|  2300k|641984 |  7518k| 517M|  63 |   8 |  70 |5824 | 463 |  70 |  19 |  19 |1036k|7085 | 0.000000e+00 |      --      |    Inf 
1219.27/1219.60	c  1157s|  2310k|644790 |  7550k| 520M|  63 |   8 |  70 |6315 |  79 |  70 |  19 |  19 |1040k|7091 | 0.000000e+00 |      --      |    Inf 
1225.27/1225.63	c  1163s|  2320k|647459 |  7582k| 522M|  63 |   8 |  70 |4904 | 198 |  70 |  19 |  19 |1045k|7097 | 0.000000e+00 |      --      |    Inf 
1230.87/1231.23	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1230.87/1231.23	c  1168s|  2330k|650205 |  7614k| 524M|  63 |   - |  70 |5015 | 126 |  70 |  19 |  19 |1049k|7104 | 0.000000e+00 |      --      |    Inf 
1236.86/1237.23	c  1174s|  2340k|652694 |  7646k| 526M|  63 |   - |  70 |4908 |  30 |  70 |  19 |  19 |1054k|7112 | 0.000000e+00 |      --      |    Inf 
1242.77/1243.10	c  1180s|  2350k|655283 |  7678k| 528M|  63 |   - |  70 |4544 |  18 |   0 |   0 |  19 |1059k|7120 | 0.000000e+00 |      --      |    Inf 
1248.86/1249.23	c  1185s|  2360k|657588 |  7711k| 530M|  63 |   - |  70 |4156 |  97 |  70 |  19 |  19 |1064k|7130 | 0.000000e+00 |      --      |    Inf 
1254.56/1254.93	c  1191s|  2370k|660007 |  7744k| 532M|  63 |   - |  70 |4374 |  72 |  70 |  19 |  19 |1068k|7137 | 0.000000e+00 |      --      |    Inf 
1260.66/1261.05	c  1197s|  2380k|662396 |  7777k| 534M|  63 |   8 |  70 |3579 | 127 |  70 |  19 |  19 |1073k|7146 | 0.000000e+00 |      --      |    Inf 
1266.36/1266.76	c  1202s|  2390k|664727 |  7810k| 537M|  63 |   - |  70 |3967 |  36 |   0 |   0 |  19 |1078k|7155 | 0.000000e+00 |      --      |    Inf 
1272.05/1272.48	c  1208s|  2400k|667165 |  7843k| 539M|  63 |   8 |  70 |3965 | 144 |  70 |  19 |  19 |1083k|7165 | 0.000000e+00 |      --      |    Inf 
1277.75/1278.18	c  1213s|  2410k|669717 |  7874k| 541M|  63 |   8 |  70 |3714 | 196 |  70 |  19 |  19 |1087k|7180 | 0.000000e+00 |      --      |    Inf 
1283.36/1283.75	c  1218s|  2420k|672353 |  7907k| 543M|  63 |   8 |  70 |3615 | 184 |  70 |  19 |  19 |1092k|7189 | 0.000000e+00 |      --      |    Inf 
1288.55/1288.98	c  1223s|  2430k|675085 |  7939k| 545M|  63 |   8 |  70 |4658 |  48 |  70 |  19 |  19 |1096k|7199 | 0.000000e+00 |      --      |    Inf 
1294.15/1294.52	c  1228s|  2440k|677865 |  7971k| 547M|  63 |   8 |  70 |4284 |  91 |  70 |  19 |  19 |1101k|7204 | 0.000000e+00 |      --      |    Inf 
1299.65/1300.06	c  1234s|  2450k|680526 |  8005k| 550M|  63 |   - |  70 |4436 |  17 |  70 |  19 |  19 |1105k|7208 | 0.000000e+00 |      --      |    Inf 
1305.74/1306.11	c  1240s|  2460k|682794 |  8038k| 552M|  63 |   - |  70 |3735 |  35 |  70 |  19 |  19 |1110k|7213 | 0.000000e+00 |      --      |    Inf 
1311.45/1311.82	c  1245s|  2470k|685252 |  8070k| 554M|  63 |   8 |  70 |3844 |  35 |  70 |  19 |  19 |1115k|7223 | 0.000000e+00 |      --      |    Inf 
1317.24/1317.61	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1317.24/1317.61	c  1250s|  2480k|687660 |  8103k| 556M|  63 |   8 |  70 |3827 |  41 |  70 |  19 |  19 |1119k|7228 | 0.000000e+00 |      --      |    Inf 
1323.05/1323.45	c  1256s|  2490k|690191 |  8135k| 558M|  63 |   8 |  70 |3586 | 198 |  70 |  19 |  19 |1124k|7235 | 0.000000e+00 |      --      |    Inf 
1328.34/1328.74	c  1261s|  2500k|692669 |  8171k| 560M|  63 |   8 |  70 |4318 | 717 |  70 |  19 |  19 |1129k|7243 | 0.000000e+00 |      --      |    Inf 
1334.34/1334.71	c  1267s|  2510k|695063 |  8204k| 562M|  63 |   8 |  70 |4032 | 128 |  70 |  19 |  19 |1134k|7250 | 0.000000e+00 |      --      |    Inf 
1340.13/1340.52	c  1272s|  2520k|697617 |  8237k| 564M|  63 |   - |  70 |3460 |  60 |  70 |  19 |  19 |1138k|7264 | 0.000000e+00 |      --      |    Inf 
1345.54/1345.93	c  1277s|  2530k|700283 |  8269k| 567M|  63 |   8 |  70 |4357 |  87 |  70 |  19 |  19 |1143k|7270 | 0.000000e+00 |      --      |    Inf 
1351.24/1351.61	c  1283s|  2540k|702885 |  8302k| 569M|  63 |   8 |  70 |3890 | 234 |  70 |  19 |  19 |1147k|7276 | 0.000000e+00 |      --      |    Inf 
1356.94/1357.37	c  1288s|  2550k|705476 |  8334k| 571M|  63 |   - |  70 |3898 |  46 |  70 |  19 |  19 |1152k|7281 | 0.000000e+00 |      --      |    Inf 
1362.13/1362.58	c  1293s|  2560k|708508 |  8367k| 573M|  63 |   - |  70 |4608 |  18 |  70 |  19 |  19 |1156k|7293 | 0.000000e+00 |      --      |    Inf 
1367.93/1368.33	c  1299s|  2570k|711171 |  8401k| 575M|  63 |   - |  70 |3555 |  48 |  70 |  19 |  19 |1161k|7308 | 0.000000e+00 |      --      |    Inf 
1373.43/1373.82	c  1304s|  2580k|713663 |  8433k| 578M|  63 |   8 |  70 |4147 | 152 |  70 |  19 |  19 |1165k|7314 | 0.000000e+00 |      --      |    Inf 
1378.73/1379.17	c  1309s|  2590k|716003 |  8467k| 580M|  63 |   8 |  70 |4094 |  96 |  70 |  19 |  19 |1170k|7319 | 0.000000e+00 |      --      |    Inf 
1383.83/1384.28	c  1314s|  2600k|718614 |  8500k| 582M|  63 |   8 |  70 |5576 |  70 |  70 |  19 |  19 |1175k|7326 | 0.000000e+00 |      --      |    Inf 
1389.62/1390.01	c  1319s|  2610k|721021 |  8532k| 584M|  63 |   - |  70 |4705 |  48 |  70 |  19 |  19 |1180k|7334 | 0.000000e+00 |      --      |    Inf 
1395.22/1395.68	c  1325s|  2620k|723642 |  8565k| 587M|  63 |   8 |  70 |4812 |  47 |  70 |  19 |  19 |1184k|7340 | 0.000000e+00 |      --      |    Inf 
1401.12/1401.51	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1401.12/1401.51	c  1330s|  2630k|726075 |  8598k| 588M|  63 |   8 |  70 |4142 |  50 |  70 |  19 |  19 |1189k|7350 | 0.000000e+00 |      --      |    Inf 
1406.53/1406.99	c  1335s|  2640k|728809 |  8630k| 591M|  63 |   8 |  70 |4409 | 201 |  70 |  19 |  19 |1193k|7362 | 0.000000e+00 |      --      |    Inf 
1412.02/1412.49	c  1341s|  2650k|731702 |  8663k| 593M|  63 |   - |  70 |4207 | 124 |  70 |  19 |  19 |1198k|7370 | 0.000000e+00 |      --      |    Inf 
1417.72/1418.12	c  1346s|  2660k|734187 |  8696k| 595M|  63 |   8 |  70 |4142 |  19 |  70 |  19 |  19 |1202k|7373 | 0.000000e+00 |      --      |    Inf 
1423.31/1423.76	c  1351s|  2670k|736792 |  8728k| 597M|  63 |   8 |  70 |3785 | 161 |  70 |  19 |  19 |1207k|7377 | 0.000000e+00 |      --      |    Inf 
1428.91/1429.39	c  1357s|  2680k|739185 |  8760k| 599M|  63 |   - |  70 |3797 | 248 |  70 |  19 |  19 |1212k|7386 | 0.000000e+00 |      --      |    Inf 
1434.61/1435.09	c  1362s|  2690k|741461 |  8794k| 602M|  63 |   8 |  70 |3818 |  22 |  70 |  19 |  19 |1216k|7394 | 0.000000e+00 |      --      |    Inf 
1439.81/1440.22	c  1367s|  2700k|744189 |  8826k| 604M|  63 |   8 |  70 |4512 |  91 |  70 |  19 |  19 |1221k|7399 | 0.000000e+00 |      --      |    Inf 
1445.21/1445.61	c  1372s|  2710k|747020 |  8857k| 606M|  63 |   8 |  70 |5615 |  62 |  70 |  19 |  19 |1225k|7405 | 0.000000e+00 |      --      |    Inf 
1450.51/1450.95	c  1377s|  2720k|749809 |  8887k| 609M|  63 |   8 |  70 |6530 | 251 |  70 |  19 |  19 |1230k|7419 | 0.000000e+00 |      --      |    Inf 
1457.20/1457.61	c  1384s|  2730k|751946 |  8920k| 610M|  63 |   8 |  70 |4222 |  56 |  70 |  19 |  19 |1235k|7428 | 0.000000e+00 |      --      |    Inf 
1463.11/1463.52	c  1389s|  2740k|754425 |  8953k| 612M|  63 |   - |  70 |3962 |  31 |   0 |   0 |  19 |1239k|7433 | 0.000000e+00 |      --      |    Inf 
1468.61/1469.05	c  1394s|  2750k|756819 |  8986k| 615M|  63 |   - |  70 |4645 |  29 |   0 |   0 |  19 |1244k|7440 | 0.000000e+00 |      --      |    Inf 
1474.61/1475.07	c  1400s|  2760k|759032 |  9019k| 617M|  63 |   8 |  70 |4553 | 427 |  70 |  19 |  19 |1249k|7445 | 0.000000e+00 |      --      |    Inf 
1480.50/1480.92	c  1406s|  2770k|761578 |  9052k| 619M|  63 |   8 |  70 |4007 |  12 |  70 |  19 |  19 |1253k|7455 | 0.000000e+00 |      --      |    Inf 
1486.20/1486.65	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1486.20/1486.65	c  1411s|  2780k|764059 |  9086k| 621M|  63 |   8 |  70 |4243 |  23 |  70 |  19 |  19 |1258k|7462 | 0.000000e+00 |      --      |    Inf 
1491.39/1491.88	c  1416s|  2790k|766950 |  9119k| 623M|  63 |   - |  70 |4828 |  46 |  70 |  19 |  19 |1263k|7470 | 0.000000e+00 |      --      |    Inf 
1497.20/1497.62	c  1422s|  2800k|769602 |  9152k| 625M|  63 |   8 |  70 |4011 |  89 |  70 |  19 |  19 |1267k|7478 | 0.000000e+00 |      --      |    Inf 
1502.79/1503.26	c  1427s|  2810k|772173 |  9184k| 628M|  63 |   8 |  70 |4132 | 220 |  70 |  19 |  19 |1272k|7483 | 0.000000e+00 |      --      |    Inf 
1508.80/1509.22	c  1433s|  2820k|774668 |  9216k| 630M|  63 |   8 |  70 |3833 |  67 |  70 |  19 |  19 |1277k|7493 | 0.000000e+00 |      --      |    Inf 
1514.59/1515.05	c  1438s|  2830k|777151 |  9249k| 632M|  63 |   8 |  70 |3726 |  76 |  70 |  19 |  19 |1281k|7500 | 0.000000e+00 |      --      |    Inf 
1520.29/1520.72	c  1444s|  2840k|779576 |  9282k| 634M|  63 |   - |  70 |4259 | 121 |  70 |  19 |  19 |1286k|7504 | 0.000000e+00 |      --      |    Inf 
1525.68/1526.10	c  1449s|  2850k|782258 |  9315k| 637M|  63 |   8 |  70 |5456 |  70 |  70 |  19 |  19 |1291k|7513 | 0.000000e+00 |      --      |    Inf 
1531.58/1532.01	c  1454s|  2860k|784809 |  9347k| 638M|  63 |   8 |  70 |3851 | 200 |  70 |  19 |  19 |1295k|7520 | 0.000000e+00 |      --      |    Inf 
1536.48/1536.98	c  1459s|  2870k|787722 |  9378k| 641M|  63 |   - |  70 |5706 |  30 |  70 |  19 |  19 |1300k|7529 | 0.000000e+00 |      --      |    Inf 
1542.58/1543.02	c  1465s|  2880k|790197 |  9410k| 643M|  63 |   - |  70 |4417 |  16 |  70 |  19 |  19 |1304k|7535 | 0.000000e+00 |      --      |    Inf 
1548.29/1548.78	c  1470s|  2890k|792948 |  9442k| 645M|  63 |   8 |  70 |4791 |  25 |  70 |  19 |  19 |1309k|7542 | 0.000000e+00 |      --      |    Inf 
1554.38/1554.84	c  1476s|  2900k|795404 |  9475k| 647M|  63 |   8 |  70 |4412 |  97 |  70 |  19 |  19 |1313k|7552 | 0.000000e+00 |      --      |    Inf 
1560.08/1560.56	c  1482s|  2910k|797954 |  9509k| 649M|  63 |   - |  70 |5190 |  21 |   0 |   0 |  19 |1318k|7557 | 0.000000e+00 |      --      |    Inf 
1566.37/1566.82	c  1488s|  2920k|800399 |  9541k| 651M|  63 |   8 |  70 |4092 |  47 |  70 |  19 |  19 |1323k|7567 | 0.000000e+00 |      --      |    Inf 
1572.07/1572.56	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1572.07/1572.56	c  1493s|  2930k|802836 |  9574k| 654M|  63 |   8 |  70 |3965 | 112 |  70 |  19 |  19 |1327k|7572 | 0.000000e+00 |      --      |    Inf 
1577.37/1577.85	c  1498s|  2940k|805476 |  9607k| 656M|  63 |   8 |  70 |5362 |  79 |  70 |  19 |  19 |1332k|7594 | 0.000000e+00 |      --      |    Inf 
1582.87/1583.37	c  1503s|  2950k|807863 |  9640k| 658M|  63 |   - |  70 |6010 | 142 |  70 |  19 |  19 |1337k|7599 | 0.000000e+00 |      --      |    Inf 
1588.67/1589.13	c  1509s|  2960k|810483 |  9673k| 660M|  63 |   8 |  70 |5592 |  22 |  70 |  19 |  19 |1341k|7601 | 0.000000e+00 |      --      |    Inf 
1594.77/1595.21	c  1515s|  2970k|812924 |  9706k| 662M|  63 |   8 |  70 |5021 |  35 |  70 |  19 |  19 |1346k|7608 | 0.000000e+00 |      --      |    Inf 
1601.07/1601.55	c  1521s|  2980k|815283 |  9738k| 664M|  63 |   8 |  70 |4126 | 210 |  70 |  19 |  19 |1351k|7615 | 0.000000e+00 |      --      |    Inf 
1606.77/1607.23	c  1526s|  2990k|817905 |  9770k| 667M|  63 |   8 |  70 |4048 |  20 |  70 |  19 |  19 |1355k|7624 | 0.000000e+00 |      --      |    Inf 
1612.47/1613.00	c  1532s|  3000k|820425 |  9802k| 669M|  63 |   - |  70 |4117 |  23 |  70 |  19 |  19 |1360k|7640 | 0.000000e+00 |      --      |    Inf 
1617.96/1618.43	c  1537s|  3010k|823165 |  9835k| 671M|  63 |   8 |  70 |4815 |  64 |  70 |  19 |  19 |1364k|7647 | 0.000000e+00 |      --      |    Inf 
1624.06/1624.58	c  1543s|  3020k|825635 |  9868k| 673M|  63 |   8 |  70 |4159 |  64 |  70 |  19 |  19 |1369k|7655 | 0.000000e+00 |      --      |    Inf 
1629.56/1630.01	c  1548s|  3030k|828569 |  9900k| 675M|  63 |   8 |  70 |4713 |  64 |  70 |  19 |  19 |1373k|7661 | 0.000000e+00 |      --      |    Inf 
1635.56/1636.07	c  1554s|  3040k|830997 |  9933k| 677M|  63 |   8 |  70 |3797 |  10 |  70 |  19 |  19 |1378k|7668 | 0.000000e+00 |      --      |    Inf 
1641.16/1641.69	c  1559s|  3050k|833589 |  9965k| 680M|  63 |   8 |  70 |4343 | 353 |  70 |  19 |  19 |1383k|7677 | 0.000000e+00 |      --      |    Inf 
1647.05/1647.52	c  1564s|  3060k|835953 |  9998k| 682M|  63 |   8 |  70 |4541 |  26 |  70 |  19 |  19 |1387k|7689 | 0.000000e+00 |      --      |    Inf 
1652.86/1653.30	c  1570s|  3070k|838580 | 10031k| 684M|  63 |   - |  70 |4320 |  28 |  70 |  19 |  19 |1392k|7696 | 0.000000e+00 |      --      |    Inf 
1658.56/1659.04	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1658.56/1659.04	c  1575s|  3080k|841266 | 10064k| 686M|  63 |   8 |  70 |4779 |  90 |  70 |  19 |  19 |1396k|7703 | 0.000000e+00 |      --      |    Inf 
1663.85/1664.31	c  1580s|  3090k|844218 | 10095k| 689M|  63 |   - |  70 |5429 | 106 |  70 |  19 |  19 |1401k|7707 | 0.000000e+00 |      --      |    Inf 
1669.45/1669.94	c  1586s|  3100k|846662 | 10128k| 691M|  63 |   8 |  70 |4750 | 136 |  70 |  19 |  19 |1405k|7712 | 0.000000e+00 |      --      |    Inf 
1675.35/1675.83	c  1591s|  3110k|849145 | 10161k| 693M|  63 |   8 |  70 |4132 |  54 |  70 |  19 |  19 |1410k|7716 | 0.000000e+00 |      --      |    Inf 
1681.25/1681.75	c  1597s|  3120k|851543 | 10193k| 695M|  63 |   8 |  70 |4079 |  53 |  70 |  19 |  19 |1415k|7723 | 0.000000e+00 |      --      |    Inf 
1687.04/1687.58	c  1602s|  3130k|853899 | 10226k| 697M|  63 |   - |  70 |3732 | 100 |  70 |  19 |  19 |1419k|7727 | 0.000000e+00 |      --      |    Inf 
1692.54/1693.05	c  1608s|  3140k|856668 | 10259k| 699M|  63 |   - |  70 |4398 |  37 |  70 |  19 |  19 |1424k|7737 | 0.000000e+00 |      --      |    Inf 
1698.34/1698.84	c  1613s|  3150k|859127 | 10293k| 701M|  63 |   8 |  70 |4632 |  73 |  70 |  19 |  19 |1428k|7743 | 0.000000e+00 |      --      |    Inf 
1704.24/1704.72	c  1619s|  3160k|861489 | 10326k| 703M|  63 |   8 |  70 |4453 |  52 |  70 |  19 |  19 |1433k|7747 | 0.000000e+00 |      --      |    Inf 
1709.94/1710.43	c  1624s|  3170k|864053 | 10359k| 706M|  63 |   8 |  70 |4409 |  20 |  70 |  19 |  19 |1438k|7754 | 0.000000e+00 |      --      |    Inf 
1715.44/1715.97	c  1630s|  3180k|866781 | 10392k| 708M|  63 |   8 |  70 |4710 |  30 |  70 |  19 |  19 |1442k|7761 | 0.000000e+00 |      --      |    Inf 
1721.74/1722.26	c  1636s|  3190k|869033 | 10425k| 710M|  63 |   - |  70 |4301 | 116 |  70 |  19 |  19 |1447k|7765 | 0.000000e+00 |      --      |    Inf 
1726.93/1727.48	c  1640s|  3200k|871740 | 10457k| 712M|  63 |   - |  70 |5034 |  24 |  70 |  19 |  19 |1451k|7773 | 0.000000e+00 |      --      |    Inf 
1732.84/1733.35	c  1646s|  3210k|874222 | 10490k| 714M|  63 |   8 |  70 |4056 |  33 |  70 |  19 |  19 |1456k|7782 | 0.000000e+00 |      --      |    Inf 
1738.93/1739.43	c  1652s|  3220k|876530 | 10522k| 716M|  63 |   - |  70 |3516 | 143 |  70 |  19 |  19 |1461k|7789 | 0.000000e+00 |      --      |    Inf 
1744.73/1745.24	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1744.73/1745.24	c  1657s|  3230k|878954 | 10556k| 718M|  63 |   8 |  70 |3541 |  19 |  70 |  19 |  19 |1465k|7803 | 0.000000e+00 |      --      |    Inf 
1750.33/1750.83	c  1663s|  3240k|881503 | 10588k| 721M|  63 |   8 |  70 |3740 |  56 |  70 |  19 |  19 |1470k|7813 | 0.000000e+00 |      --      |    Inf 
1756.23/1756.74	c  1668s|  3250k|883888 | 10621k| 723M|  63 |   8 |  70 |3544 |  17 |  70 |  19 |  19 |1475k|7818 | 0.000000e+00 |      --      |    Inf 
1762.03/1762.50	c  1674s|  3260k|886341 | 10655k| 725M|  63 |   8 |  70 |3871 |  58 |  70 |  19 |  19 |1479k|7825 | 0.000000e+00 |      --      |    Inf 
1767.03/1767.54	c  1679s|  3270k|889510 | 10687k| 727M|  63 |   8 |  70 |4345 |  19 |  70 |  19 |  19 |1484k|7830 | 0.000000e+00 |      --      |    Inf 
1772.22/1772.74	c  1683s|  3280k|892168 | 10721k| 730M|  63 |   - |  70 |4832 |  31 |  70 |  19 |  19 |1488k|7846 | 0.000000e+00 |      --      |    Inf 
1777.42/1777.96	c  1688s|  3290k|894812 | 10754k| 732M|  63 |   8 |  70 |5352 | 237 |  70 |  19 |  19 |1493k|7850 | 0.000000e+00 |      --      |    Inf 
1783.52/1784.02	c  1694s|  3300k|897077 | 10788k| 734M|  63 |   - |  70 |4394 | 168 |  70 |  19 |  19 |1498k|7855 | 0.000000e+00 |      --      |    Inf 
1789.12/1789.63	c  1700s|  3310k|899858 | 10821k| 736M|  63 |   8 |  70 |5361 | 135 |  70 |  19 |  19 |1502k|7861 | 0.000000e+00 |      --      |    Inf 
1795.72/1796.24	c  1706s|  3320k|902147 | 10854k| 738M|  63 |   8 |  70 |3734 | 237 |  70 |  19 |  19 |1507k|7866 | 0.000000e+00 |      --      |    Inf 
1800.02/1800.51	c 
1800.02/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.51	c Solving Time (sec) : 1709.97
1800.02/1800.51	c Solving Nodes      : 3327568
1800.02/1800.51	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.02/1800.51	c Dual Bound         : +0.00000000000000e+00
1800.02/1800.51	c Gap                : infinite
1800.02/1800.51	c NODE         3327568
1800.02/1800.51	c DUAL BOUND   0
1800.02/1800.51	c PRIMAL BOUND 1e+20
1800.02/1800.51	c GAP          1e+20
1800.02/1800.51	s UNKNOWN
1800.02/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.51	c Solving Time       :    1709.97
1800.02/1800.51	c Original Problem   :
1800.02/1800.51	c   Problem name     : HOME/instance-1869476-1245173890.opb
1800.02/1800.51	c   Variables        : 71 (71 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51	c   Constraints      : 17 initial, 17 maximal
1800.02/1800.51	c Presolved Problem  :
1800.02/1800.51	c   Problem name     : t_HOME/instance-1869476-1245173890.opb
1800.02/1800.51	c   Variables        : 70 (70 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51	c   Constraints      : 8 initial, 7132 maximal
1800.02/1800.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.02/1800.51	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.51	c   dualfix          :       0.00          1          0          0          0          0          0          0          0
1800.02/1800.51	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.51	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.51	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.51	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.02/1800.51	c   linear           :       0.00          0          0          0          0          0          9          0          0
1800.02/1800.51	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.51	c   root node        :          -          0          -          -          0          -          -          -          -
1800.02/1800.51	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.51	c   integral         :          0          0          0    2127094          0        925       3351          0          0    4246222
1800.02/1800.51	c   linear           :          8          6    7875384          0          0      60101    2486173          0          0          0
1800.02/1800.51	c   logicor          :          0+         0    3273217          0          0       3497    1118061          0          0          0
1800.02/1800.51	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.02/1800.51	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.02/1800.51	c   integral         :      25.85       0.00       0.00      25.85       0.00
1800.02/1800.51	c   linear           :     435.23       0.00     435.23       0.00       0.00
1800.02/1800.51	c   logicor          :     258.81       0.00     258.81       0.00       0.00
1800.02/1800.51	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.02/1800.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.02/1800.51	c   rootredcost      :       2.40          0          0          0
1800.02/1800.51	c   pseudoobj        :       1.74          0          0          0
1800.02/1800.51	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.02/1800.51	c   propagation      :      10.44      63598      60136     239536       47.7         17       38.7          -
1800.02/1800.51	c   infeasible LP    :      81.36    1146597    1146561    2296128       32.1      16471       36.4          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 :          -          -          -    1228308       25.6          -          -          -
1800.02/1800.51	c   applied locally  :          -          -          -     282705       38.9          -          -          -
1800.02/1800.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.02/1800.51	c   cut pool         :       0.00          5          -          -          2          -    (maximal pool size: 45)
1800.02/1800.51	c   redcost          :       5.05    2127098          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          0          0
1800.02/1800.51	c   strongcg         :       0.00          6          0          0         20          0
1800.02/1800.51	c   cmir             :       0.05          6          0          0         10          0
1800.02/1800.51	c   flowcover        :       0.05          6          0          0         17          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        :      23.82    2127094        925       3351          0          0    4246222
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.43          0          0
1800.02/1800.51	c   crossover        :       0.94          0          0
1800.02/1800.51	c   guideddiving     :       0.18          0          0
1800.02/1800.51	c   pscostdiving     :       0.19         83          0
1800.02/1800.51	c   fracdiving       :       0.26         83          0
1800.02/1800.51	c   veclendiving     :       0.24         83          0
1800.02/1800.51	c   feaspump         :       0.18         42          0
1800.02/1800.51	c   objpscostdiving  :       0.08         42          0
1800.02/1800.51	c   rootsoldiving    :       0.11         42          0
1800.02/1800.51	c   linesearchdiving :       0.20         84          0
1800.02/1800.51	c   coefdiving       :       0.24         84          0
1800.02/1800.51	c   simplerounding   :       1.00          0          0
1800.02/1800.51	c   rounding         :       2.11      20616          0
1800.02/1800.51	c   shifting         :       5.55       6441          0
1800.02/1800.51	c   intshifting      :       0.11          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.02          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          :     421.49    3222631   10872226       3.37   25794.74
1800.02/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.02/1800.51	c   diving/probing LP:       0.31       2745       6812       2.48   21974.19
1800.02/1800.51	c   strong branching :       2.20       7869      47608       6.05   21640.00
1800.02/1800.51	c     (at root node) :          -         19        674      35.47          -
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            :    3327568
1800.02/1800.51	c   nodes (total)    :    3327568
1800.02/1800.51	c   nodes left       :     903886
1800.02/1800.51	c   max depth        :         63
1800.02/1800.51	c   max depth (total):         63
1800.02/1800.51	c   backtracks       :     351879 (10.6%)
1800.02/1800.51	c   delayed cutoffs  :      14769
1800.02/1800.51	c   repropagations   :    3169472 (1164667 domain reductions, 5633 cutoffs)
1800.02/1800.51	c   avg switch length:       6.02
1800.02/1800.51	c   switching time   :     262.41
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-1869476-1245173890/watcher-1869476-1245173890 -o /tmp/evaluation-result-1869476-1245173890/solver-1869476-1245173890 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869476-1245173890.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.95 1.67 1.92 3/65 10443
/proc/meminfo: memFree=1845536/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=6100 CPUtime=0
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 565 0 0 0 0 0 0 0 20 0 1 0 184987010 6246400 548 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/10443/statm: 1525 559 325 886 0 635 0

[startup+0.01454 s]
/proc/loadavg: 0.95 1.67 1.92 3/65 10443
/proc/meminfo: memFree=1845536/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=9680 CPUtime=0
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 2043 0 0 0 0 0 0 0 20 0 1 0 184987010 9912320 1671 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 2420 1675 375 886 0 1530 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9680

[startup+0.101549 s]
/proc/loadavg: 0.95 1.67 1.92 3/65 10443
/proc/meminfo: memFree=1845536/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=12956 CPUtime=0.09
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 2796 0 0 0 8 1 0 0 20 0 1 0 184987010 13266944 2424 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 3239 2424 544 886 0 2349 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12956

[startup+0.30157 s]
/proc/loadavg: 0.95 1.67 1.92 3/65 10443
/proc/meminfo: memFree=1845536/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=15160 CPUtime=0.29
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 4296 0 0 0 27 2 0 0 23 0 1 0 184987010 15523840 3009 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 3790 3009 566 886 0 2900 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15160

[startup+0.701616 s]
/proc/loadavg: 0.95 1.67 1.92 3/65 10443
/proc/meminfo: memFree=1845536/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=15160 CPUtime=0.69
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 4297 0 0 0 65 4 0 0 25 0 1 0 184987010 15523840 3010 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 3790 3010 566 886 0 2900 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15160

[startup+1.5017 s]
/proc/loadavg: 0.95 1.67 1.92 3/66 10444
/proc/meminfo: memFree=1835480/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=15160 CPUtime=1.49
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 4300 0 0 0 139 10 0 0 25 0 1 0 184987010 15523840 3013 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 3790 3013 566 886 0 2900 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15160

[startup+3.10188 s]
/proc/loadavg: 0.95 1.67 1.92 2/66 10444
/proc/meminfo: memFree=1835352/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=15720 CPUtime=3.09
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 4464 0 0 0 290 19 0 0 25 0 1 0 184987010 16097280 3177 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 3930 3177 566 886 0 3040 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15720

[startup+6.30124 s]
/proc/loadavg: 0.95 1.66 1.91 2/66 10444
/proc/meminfo: memFree=1831960/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=18560 CPUtime=6.29
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 5172 0 0 0 590 39 0 0 25 0 1 0 184987010 19005440 3885 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 4640 3885 566 886 0 3750 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18560

[startup+12.702 s]
/proc/loadavg: 0.96 1.65 1.91 2/66 10444
/proc/meminfo: memFree=1828072/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=22788 CPUtime=12.69
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 6234 0 0 0 1193 76 0 0 25 0 1 0 184987010 23334912 4947 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 5697 4947 566 886 0 4807 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22788

[startup+25.5014 s]
/proc/loadavg: 0.96 1.61 1.89 2/66 10444
/proc/meminfo: memFree=1820072/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=30248 CPUtime=25.48
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 8133 0 0 0 2397 151 0 0 25 0 1 0 184987010 30973952 6846 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 7562 6846 566 886 0 6672 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30248

[startup+51.1012 s]
/proc/loadavg: 0.98 1.56 1.87 2/66 10444
/proc/meminfo: memFree=1805544/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=45048 CPUtime=51.08
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 11898 0 0 0 4814 294 0 0 25 0 1 0 184987010 46129152 10611 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 11262 10611 566 886 0 10372 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 45048

[startup+102.306 s]
/proc/loadavg: 0.99 1.47 1.82 2/66 10444
/proc/meminfo: memFree=1776040/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=75032 CPUtime=102.27
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 19128 0 0 0 9659 568 0 0 25 0 1 0 184987010 76832768 17841 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 18758 17841 566 886 0 17868 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 75032

[startup+162.302 s]
/proc/loadavg: 0.99 1.39 1.76 2/66 10444
/proc/meminfo: memFree=1747240/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=103564 CPUtime=162.25
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 26356 0 0 0 15334 891 0 0 25 0 1 0 184987010 106049536 25069 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 25891 25069 566 886 0 25001 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 103564

[startup+222.301 s]
/proc/loadavg: 0.99 1.31 1.71 2/66 10444
/proc/meminfo: memFree=1717224/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=132896 CPUtime=222.23
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 33783 0 0 0 21016 1207 0 0 25 0 1 0 184987010 136085504 32496 1992294400 4194304 7823515 548682068736 18446744073709551615 4559809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 33224 32496 566 886 0 32334 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 132896

[startup+282.302 s]
/proc/loadavg: 0.99 1.25 1.67 2/66 10444
/proc/meminfo: memFree=1691048/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=159604 CPUtime=282.22
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 40509 0 0 0 26704 1518 0 0 25 0 1 0 184987010 163434496 39222 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 39901 39222 566 886 0 39011 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 159604

[startup+342.302 s]
/proc/loadavg: 0.99 1.20 1.62 2/66 10444
/proc/meminfo: memFree=1664048/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=189288 CPUtime=342.2
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 47012 0 0 0 32391 1829 0 0 25 0 1 0 184987010 193830912 45725 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 47322 45725 566 886 0 46432 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 189288

[startup+402.301 s]
/proc/loadavg: 0.99 1.16 1.58 2/66 10444
/proc/meminfo: memFree=1637104/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=216144 CPUtime=402.19
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 53827 0 0 0 38088 2131 0 0 25 0 1 0 184987010 221331456 52540 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 54036 52540 566 886 0 53146 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 216144

[startup+462.302 s]
/proc/loadavg: 0.99 1.13 1.54 2/66 10444
/proc/meminfo: memFree=1608176/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=243896 CPUtime=462.17
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 60921 0 0 0 43777 2440 0 0 25 0 1 0 184987010 249749504 59634 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 60974 59634 566 886 0 60084 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 243896

[startup+522.302 s]
/proc/loadavg: 0.99 1.11 1.50 2/66 10444
/proc/meminfo: memFree=1583024/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=269452 CPUtime=522.16
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 67401 0 0 0 49470 2746 0 0 25 0 1 0 184987010 275918848 66114 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 67363 66114 566 886 0 66473 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 269452

[startup+582.301 s]
/proc/loadavg: 0.99 1.08 1.47 2/66 10444
/proc/meminfo: memFree=1555504/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=295928 CPUtime=582.13
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 74093 0 0 0 55164 3049 0 0 25 0 1 0 184987010 303030272 72806 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 73982 72806 566 886 0 73092 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 295928

[startup+642.301 s]
/proc/loadavg: 0.99 1.07 1.44 2/66 10444
/proc/meminfo: memFree=1530480/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=319860 CPUtime=642.12
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 80217 0 0 0 60867 3345 0 0 25 0 1 0 184987010 327536640 78930 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 79965 78930 566 886 0 79075 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 319860

[startup+702.302 s]

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

/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 117133 0 0 0 95047 5156 0 0 25 0 1 0 184987010 484204544 115846 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 118214 115846 566 886 0 117324 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 472856

[startup+1062.3 s]
/proc/loadavg: 0.99 1.01 1.26 2/66 10446
/proc/meminfo: memFree=1360048/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=494748 CPUtime=1062.01
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 122574 0 0 0 100756 5445 0 0 25 0 1 0 184987010 506621952 121287 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 123687 121287 566 886 0 122797 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 494748

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.24 2/66 10446
/proc/meminfo: memFree=1332080/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=522108 CPUtime=1122
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 129566 0 0 0 106475 5725 0 0 25 0 1 0 184987010 534638592 128279 1992294400 4194304 7823515 548682068736 18446744073709551615 5813911 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 130527 128279 566 886 0 129637 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 522108

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.23 2/66 10446
/proc/meminfo: memFree=1310000/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=544656 CPUtime=1181.98
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 135366 0 0 0 112181 6017 0 0 25 0 1 0 184987010 557727744 134079 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 136164 134079 566 886 0 135274 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 544656

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.21 2/66 10446
/proc/meminfo: memFree=1282608/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=569864 CPUtime=1241.96
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 141821 0 0 0 117884 6312 0 0 25 0 1 0 184987010 583540736 140534 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 142466 140534 566 886 0 141576 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 569864

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.19 2/66 10446
/proc/meminfo: memFree=1262320/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=590160 CPUtime=1301.95
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 146853 0 0 0 123591 6604 0 0 25 0 1 0 184987010 604323840 145566 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 147540 145566 566 886 0 146650 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 590160

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.18 2/66 10446
/proc/meminfo: memFree=1239536/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=612304 CPUtime=1361.93
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 152536 0 0 0 129294 6899 0 0 25 0 1 0 184987010 626999296 151249 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 153076 151249 566 886 0 152186 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 612304

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.16 2/66 10452
/proc/meminfo: memFree=1218032/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=632952 CPUtime=1421.92
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 157850 0 0 0 134999 7193 0 0 25 0 1 0 184987010 648142848 156563 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 158238 156563 566 886 0 157348 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 632952

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.15 2/66 10452
/proc/meminfo: memFree=1193136/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=657208 CPUtime=1481.89
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 164051 0 0 0 140708 7481 0 0 25 0 1 0 184987010 672980992 162764 1992294400 4194304 7823515 548682068736 18446744073709551615 5102614 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 164302 162764 566 886 0 163412 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 657208

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 1.14 2/66 10452
/proc/meminfo: memFree=1172080/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=678612 CPUtime=1541.88
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 169301 0 0 0 146422 7766 0 0 25 0 1 0 184987010 694898688 168014 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 169653 168014 566 886 0 168763 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 678612

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 1.13 2/66 10452
/proc/meminfo: memFree=1148144/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=702332 CPUtime=1601.87
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 175372 0 0 0 152138 8049 0 0 25 0 1 0 184987010 719187968 174085 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 175583 174085 566 886 0 174693 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 702332

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 1.12 2/66 10452
/proc/meminfo: memFree=1124464/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=724820 CPUtime=1661.85
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 181144 0 0 0 157849 8336 0 0 25 0 1 0 184987010 742215680 179857 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 181205 179857 566 886 0 180315 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 724820

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 1.11 2/66 10452
/proc/meminfo: memFree=1102128/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=747228 CPUtime=1721.83
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 186888 0 0 0 163554 8629 0 0 25 0 1 0 184987010 765161472 185601 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 186807 185601 566 886 0 185917 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 747228

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 1.09 2/66 10452
/proc/meminfo: memFree=1076720/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=770948 CPUtime=1781.82
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 192970 0 0 0 169259 8923 0 0 25 0 1 0 184987010 789450752 191683 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 192737 191683 566 886 0 191847 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 770948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 1.00 1.09 2/66 10452
/proc/meminfo: memFree=1070128/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=777348 CPUtime=1800.02
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 194611 0 0 0 170996 9006 0 0 25 0 1 0 184987010 796004352 193324 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10443/statm: 194337 193324 566 886 0 193447 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 777348

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -10443

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

[startup+1801.4 s]
/proc/loadavg: 0.99 1.00 1.09 2/67 10453
/proc/meminfo: memFree=1070120/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=777348 CPUtime=1800.91
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 194613 0 0 0 171085 9006 0 0 25 0 1 0 184987010 796004352 193326 1992294400 4194304 7823515 548682068736 18446744073709551615 5875821 0 0 4096 0 0 0 0 17 1 0 0
/proc/10443/statm: 194337 193326 568 886 0 193447 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 777348

[startup+1802.2 s]
/proc/loadavg: 0.99 1.00 1.09 2/67 10453
/proc/meminfo: memFree=1070120/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=777348 CPUtime=1801.71
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4194304 194613 0 0 0 171165 9006 0 0 25 0 1 0 184987010 796004352 193326 1992294400 4194304 7823515 548682068736 18446744073709551615 5875825 0 0 4096 0 0 0 0 17 1 0 0
/proc/10443/statm: 194337 193326 568 886 0 193447 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 777348

[startup+1802.6 s]
/proc/loadavg: 0.99 1.00 1.09 2/67 10453
/proc/meminfo: memFree=1070120/2055920 swapFree=4180892/4192956
[pid=10443] ppid=10441 vsize=0 CPUtime=1802.11
/proc/10443/stat : 10443 (pbscip.linux.x8) R 10441 10443 10406 0 -1 4195332 194613 0 0 0 171196 9015 0 0 25 0 1 0 184987010 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/10443/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.11
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.62
CPU time (s): 1802.15
CPU user time (s): 1711.97
CPU system time (s): 90.1783
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 777348

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

runsolver used 2.01969 second user time and 4.50831 second system time

The end

Launcher Data 

Begin job on node87 at 2009-06-16 19:38:10
IDJOB=1869476
IDBENCH=2893
IDSOLVER=683
FILE ID=node87/1869476-1245173890
PBS_JOBID= 9363913
Free space on /tmp= 66540 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_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-1869476-1245173890/watcher-1869476-1245173890 -o /tmp/evaluation-result-1869476-1245173890/solver-1869476-1245173890 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869476-1245173890.opb

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

MD5SUM BENCH= dc0a3aac3e055af09a2312e5ef9f2aef
RANDOM SEED=353538047

node87.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.235
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.235
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1846016 kB
Buffers:         41496 kB
Cached:         102472 kB
SwapCached:       6176 kB
Active:          64644 kB
Inactive:        87872 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1846016 kB
SwapTotal:     4192956 kB
SwapFree:      4180892 kB
Dirty:            9908 kB
Writeback:           0 kB
Mapped:          14296 kB
Slab:            43276 kB
Committed_AS:    77792 kB
PageTables:       1460 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= 66528 MiB
End job on node87 at 2009-06-16 20:08:13