Trace number 1869490

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_1.opb
MD5SUM487945ea0e229650aa78cf341d4ff673
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables61
Total number of constraints15
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint1
Maximum length of a constraint59
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 1488
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4465
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-1869490-1245174476.opb>
0.00/0.01	c original problem has 61 variables (61 bin, 0 int, 0 impl, 0 cont) and 15 constraints
0.00/0.01	c start presolving problem
0.00/0.01	c presolving:
0.00/0.01	c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01	c (round 2) 1 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02	c presolving (3 rounds):
0.00/0.02	c  1 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02	c  0 implications, 0 cliques
0.00/0.02	c presolved problem has 60 variables (60 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.02	c       7 constraints of type <linear>
0.00/0.02	c transformed objective value is always integral (scale: 1)
0.00/0.02	c Presolving Time: 0.01
0.00/0.02	c OPT-LIN
0.00/0.02	c -----------------------------------------------------------------------------------------------
0.00/0.02	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02	c limits/memory = c 1620
0.00/0.02	c # maximal time in seconds to run
0.00/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02	c limits/time = c 1791
0.00/0.02	c # frequency for displaying node information lines
0.00/0.02	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02	c display/freq = c 10000
0.00/0.02	c -----------------------------------------------------------------------------------------------
0.00/0.02	c start solving problem
0.00/0.02	c 
0.00/0.02	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.02	c   0.0s|     1 |     0 |    35 | 296k|   0 |   7 |  60 |   7 |   7 |  60 |   7 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.03	c   0.0s|     1 |     0 |   127 | 333k|   0 |  11 |  60 |   7 |   7 |  60 |  12 |   5 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.04	c   0.0s|     1 |     0 |   132 | 364k|   0 |  14 |  60 |   7 |   7 |  60 |  16 |   9 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.05	c   0.0s|     1 |     0 |   144 | 379k|   0 |  14 |  60 |   7 |   7 |  60 |  18 |  11 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.06	c   0.1s|     1 |     0 |   156 | 393k|   0 |  16 |  60 |   7 |   7 |  60 |  21 |  14 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.08	c   0.1s|     1 |     0 |   160 | 413k|   0 |  19 |  60 |   7 |   7 |  60 |  23 |  16 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.09	c   0.1s|     1 |     0 |   181 | 428k|   0 |  18 |  60 |   7 |   7 |  60 |  26 |  19 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.16	c   0.1s|     1 |     2 |   181 | 428k|   0 |  18 |  60 |   7 |   7 |  60 |  26 |  19 |   0 |  18 | 0.000000e+00 |      --      |    Inf 
4.40/4.46	c   4.2s| 10000 |  3407 | 29989 |4034k|  54 |   7 |  60 |2982 | 242 |  60 |  18 |  19 |4738 | 628 | 0.000000e+00 |      --      |    Inf 
8.80/8.86	c   8.3s| 20000 |  6208 | 58628 |5922k|  54 |   - |  60 |1883 |  26 |  60 |  18 |  19 |9884 | 808 | 0.000000e+00 |      --      |    Inf 
12.89/12.97	c  12.1s| 30000 |  9013 | 88016 |8404k|  54 |   7 |  60 |3260 | 234 |  60 |  18 |  19 |  15k| 962 | 0.000000e+00 |      --      |    Inf 
17.18/17.24	c  16.1s| 40000 | 11849 |117109 |  10M|  54 |   - |  60 |2559 |  15 |  60 |  18 |  19 |  20k|1075 | 0.000000e+00 |      --      |    Inf 
21.48/21.55	c  20.2s| 50000 | 14569 |146552 |  12M|  54 |   7 |  60 |2874 |  26 |  60 |  18 |  19 |  25k|1151 | 0.000000e+00 |      --      |    Inf 
25.78/25.88	c  24.3s| 60000 | 17214 |174396 |  14M|  54 |   7 |  60 |2750 |  40 |  60 |  18 |  19 |  30k|1200 | 0.000000e+00 |      --      |    Inf 
30.18/30.27	c  28.4s| 70000 | 19694 |203359 |  16M|  54 |   7 |  60 |2932 |  13 |  60 |  18 |  19 |  36k|1252 | 0.000000e+00 |      --      |    Inf 
34.48/34.53	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
34.48/34.53	c  32.4s| 80000 | 22524 |232089 |  19M|  54 |   - |  60 |4143 | 419 |  60 |  18 |  19 |  41k|1283 | 0.000000e+00 |      --      |    Inf 
39.18/39.29	c  36.9s| 90000 | 24783 |261318 |  21M|  54 |   7 |  60 |2833 | 140 |  60 |  18 |  19 |  47k|1349 | 0.000000e+00 |      --      |    Inf 
43.48/43.58	c  40.9s|100000 | 27370 |290544 |  23M|  54 |   7 |  60 |2998 |  50 |  60 |  18 |  19 |  52k|1396 | 0.000000e+00 |      --      |    Inf 
47.98/48.06	c  45.2s|110000 | 29851 |319283 |  25M|  54 |   - |  60 |2844 | 290 |  60 |  18 |  19 |  57k|1442 | 0.000000e+00 |      --      |    Inf 
52.48/52.56	c  49.4s|120000 | 32250 |346970 |  27M|  54 |   7 |  60 |2796 |  49 |  60 |  18 |  19 |  63k|1494 | 0.000000e+00 |      --      |    Inf 
57.08/57.11	c  53.6s|130000 | 34322 |374656 |  29M|  54 |   7 |  60 |3480 | 281 |  60 |  18 |  19 |  68k|1542 | 0.000000e+00 |      --      |    Inf 
61.48/61.59	c  57.8s|140000 | 36680 |403223 |  31M|  54 |   7 |  60 |3588 |  35 |  60 |  18 |  19 |  74k|1595 | 0.000000e+00 |      --      |    Inf 
66.17/66.23	c  62.2s|150000 | 39266 |431015 |  33M|  54 |   - |  60 |3541 |  47 |  60 |  18 |  19 |  79k|1632 | 0.000000e+00 |      --      |    Inf 
70.97/71.04	c  66.8s|160000 | 41462 |459989 |  35M|  54 |   7 |  60 |3297 | 746 |  60 |  18 |  19 |  85k|1682 | 0.000000e+00 |      --      |    Inf 
75.48/75.55	c  71.0s|170000 | 43875 |488402 |  38M|  54 |   - |  60 |3719 |  18 |  60 |  18 |  19 |  90k|1721 | 0.000000e+00 |      --      |    Inf 
80.07/80.17	c  75.4s|180000 | 46313 |516868 |  40M|  54 |   7 |  60 |3656 |  68 |  60 |  18 |  19 |  96k|1761 | 0.000000e+00 |      --      |    Inf 
84.97/85.03	c  80.0s|190000 | 48518 |544565 |  42M|  54 |   7 |  60 |3471 | 237 |  60 |  18 |  19 | 101k|1805 | 0.000000e+00 |      --      |    Inf 
89.67/89.74	c  84.4s|200000 | 50845 |572698 |  44M|  54 |   - |  60 |3570 |  88 |  60 |  18 |  19 | 107k|1848 | 0.000000e+00 |      --      |    Inf 
94.37/94.44	c  88.8s|210000 | 53058 |601031 |  46M|  54 |   - |  60 |3254 |  89 |  60 |  18 |  19 | 112k|1878 | 0.000000e+00 |      --      |    Inf 
98.87/98.92	c  93.1s|220000 | 55358 |629505 |  48M|  54 |   - |  60 |3305 |  27 |  60 |  18 |  19 | 118k|1909 | 0.000000e+00 |      --      |    Inf 
103.46/103.55	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
103.46/103.55	c  97.4s|230000 | 57642 |657579 |  50M|  54 |   7 |  60 |3996 |  47 |  60 |  18 |  19 | 124k|1941 | 0.000000e+00 |      --      |    Inf 
108.26/108.32	c   102s|240000 | 59929 |685664 |  52M|  54 |   - |  60 |3285 |  34 |  60 |  18 |  19 | 129k|1973 | 0.000000e+00 |      --      |    Inf 
112.86/112.91	c   106s|250000 | 62238 |714039 |  54M|  54 |   7 |  60 |4067 |  24 |  60 |  18 |  19 | 134k|1991 | 0.000000e+00 |      --      |    Inf 
117.57/117.62	c   111s|260000 | 64512 |741746 |  56M|  54 |   - |  60 |3386 | 195 |  60 |  18 |  19 | 140k|2021 | 0.000000e+00 |      --      |    Inf 
122.26/122.33	c   115s|270000 | 66617 |769105 |  58M|  54 |   7 |  60 |3022 |  13 |  60 |  18 |  19 | 146k|2052 | 0.000000e+00 |      --      |    Inf 
127.06/127.16	c   120s|280000 | 68755 |796861 |  60M|  54 |   7 |  60 |3261 |  28 |  60 |  18 |  19 | 151k|2084 | 0.000000e+00 |      --      |    Inf 
131.76/131.82	c   124s|290000 | 71118 |825677 |  62M|  54 |   - |  60 |3559 |  35 |   0 |   0 |  19 | 157k|2104 | 0.000000e+00 |      --      |    Inf 
136.25/136.31	c   128s|300000 | 73579 |853204 |  64M|  54 |   - |  60 |4410 |  29 |  60 |  18 |  19 | 162k|2130 | 0.000000e+00 |      --      |    Inf 
141.06/141.15	c   133s|310000 | 75993 |880669 |  66M|  54 |   7 |  60 |3765 | 169 |  60 |  18 |  19 | 167k|2153 | 0.000000e+00 |      --      |    Inf 
145.85/145.93	c   137s|320000 | 78302 |908512 |  68M|  54 |   - |  60 |4166 | 198 |  60 |  18 |  19 | 173k|2177 | 0.000000e+00 |      --      |    Inf 
150.56/150.67	c   142s|330000 | 80469 |935774 |  70M|  54 |   7 |  60 |4053 |  99 |  60 |  18 |  19 | 179k|2197 | 0.000000e+00 |      --      |    Inf 
155.35/155.48	c   146s|340000 | 82769 |963604 |  72M|  54 |   7 |  60 |3767 | 764 |  60 |  18 |  19 | 184k|2225 | 0.000000e+00 |      --      |    Inf 
160.45/160.52	c   151s|350000 | 84689 |992067 |  74M|  54 |   - |  60 |3421 | 143 |  60 |  18 |  19 | 190k|2262 | 0.000000e+00 |      --      |    Inf 
165.35/165.40	c   156s|360000 | 86988 |  1019k|  76M|  54 |   7 |  60 |3733 |  55 |  60 |  18 |  19 | 195k|2284 | 0.000000e+00 |      --      |    Inf 
170.04/170.12	c   160s|370000 | 89177 |  1046k|  78M|  54 |   - |  60 |4285 |  19 |  60 |  18 |  19 | 201k|2307 | 0.000000e+00 |      --      |    Inf 
174.95/175.00	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
174.95/175.00	c   165s|380000 | 91394 |  1074k|  80M|  54 |   - |  60 |3976 |  25 |   0 |   0 |  19 | 206k|2330 | 0.000000e+00 |      --      |    Inf 
179.65/179.76	c   169s|390000 | 93682 |  1102k|  82M|  54 |   7 |  60 |4243 |  27 |  60 |  18 |  19 | 212k|2347 | 0.000000e+00 |      --      |    Inf 
184.65/184.73	c   174s|400000 | 95788 |  1129k|  84M|  54 |   7 |  60 |3791 |  77 |  60 |  18 |  19 | 217k|2366 | 0.000000e+00 |      --      |    Inf 
189.24/189.35	c   178s|410000 | 98155 |  1158k|  87M|  54 |   7 |  60 |5452 |  27 |  60 |  18 |  19 | 223k|2386 | 0.000000e+00 |      --      |    Inf 
194.34/194.41	c   183s|420000 |100440 |  1185k|  88M|  54 |   7 |  60 |3829 |  30 |  60 |  18 |  19 | 228k|2400 | 0.000000e+00 |      --      |    Inf 
199.13/199.26	c   188s|430000 |102483 |  1213k|  91M|  54 |   7 |  60 |4610 |  31 |  60 |  18 |  19 | 234k|2431 | 0.000000e+00 |      --      |    Inf 
204.44/204.56	c   193s|440000 |104433 |  1241k|  92M|  54 |   - |  60 |3810 |  19 |  60 |  18 |  19 | 240k|2456 | 0.000000e+00 |      --      |    Inf 
209.63/209.72	c   198s|450000 |106442 |  1268k|  94M|  54 |   7 |  60 |3769 |  39 |  60 |  18 |  19 | 246k|2477 | 0.000000e+00 |      --      |    Inf 
214.44/214.58	c   202s|460000 |108643 |  1297k|  97M|  54 |   7 |  60 |4414 |  25 |  60 |  18 |  19 | 251k|2494 | 0.000000e+00 |      --      |    Inf 
219.64/219.79	c   207s|470000 |110705 |  1325k|  98M|  54 |   7 |  60 |4067 |  35 |  60 |  18 |  19 | 257k|2512 | 0.000000e+00 |      --      |    Inf 
224.53/224.70	c   212s|480000 |112907 |  1352k| 101M|  54 |   - |  60 |4971 |  20 |  60 |  18 |  19 | 263k|2532 | 0.000000e+00 |      --      |    Inf 
229.93/230.03	c   217s|490000 |115182 |  1381k| 103M|  54 |   7 |  60 |5318 | 160 |  60 |  18 |  19 | 268k|2557 | 0.000000e+00 |      --      |    Inf 
235.23/235.38	c   222s|500000 |117186 |  1408k| 104M|  54 |   - |  60 |3996 | 176 |  60 |  18 |  19 | 274k|2575 | 0.000000e+00 |      --      |    Inf 
240.32/240.48	c   227s|510000 |119124 |  1436k| 106M|  54 |   - |  60 |3750 |  11 |   0 |   0 |  19 | 280k|2578 | 0.000000e+00 |      --      |    Inf 
245.33/245.42	c   232s|520000 |121273 |  1464k| 108M|  54 |   7 |  60 |3951 | 515 |  60 |  18 |  19 | 285k|2578 | 0.000000e+00 |      --      |    Inf 
250.53/250.63	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
250.53/250.63	c   237s|530000 |123219 |  1491k| 110M|  54 |   7 |  60 |3977 |  52 |  60 |  18 |  19 | 291k|2581 | 0.000000e+00 |      --      |    Inf 
255.22/255.31	c   241s|540000 |125645 |  1519k| 113M|  54 |   - |  60 |5159 | 637 |  60 |  18 |  19 | 296k|2589 | 0.000000e+00 |      --      |    Inf 
260.32/260.41	c   246s|550000 |127801 |  1548k| 114M|  54 |   7 |  60 |4368 | 152 |  60 |  18 |  19 | 302k|2601 | 0.000000e+00 |      --      |    Inf 
265.12/265.21	c   250s|560000 |130253 |  1576k| 117M|  54 |   - |  60 |5373 |  20 |  60 |  18 |  19 | 308k|2608 | 0.000000e+00 |      --      |    Inf 
270.22/270.37	c   255s|570000 |132479 |  1603k| 119M|  54 |   7 |  60 |5789 |  97 |  60 |  18 |  19 | 313k|2626 | 0.000000e+00 |      --      |    Inf 
275.52/275.65	c   260s|580000 |134559 |  1632k| 121M|  54 |   - |  60 |5523 |  21 |  60 |  18 |  19 | 319k|2643 | 0.000000e+00 |      --      |    Inf 
280.61/280.77	c   265s|590000 |136822 |  1660k| 123M|  54 |   - |  60 |5211 |  35 |  60 |  18 |  19 | 324k|2662 | 0.000000e+00 |      --      |    Inf 
285.91/286.08	c   270s|600000 |138806 |  1687k| 125M|  54 |   7 |  60 |5525 | 640 |  60 |  18 |  19 | 330k|2671 | 0.000000e+00 |      --      |    Inf 
291.32/291.48	c   275s|610000 |140843 |  1714k| 126M|  54 |   7 |  60 |3895 | 198 |  60 |  18 |  19 | 335k|2680 | 0.000000e+00 |      --      |    Inf 
295.91/296.08	c   280s|620000 |143672 |  1742k| 129M|  54 |   7 |  60 |5236 |  28 |  60 |  18 |  19 | 341k|2695 | 0.000000e+00 |      --      |    Inf 
300.71/300.80	c   284s|630000 |146679 |  1769k| 131M|  54 |   7 |  60 |5754 |  78 |  60 |  18 |  19 | 345k|2713 | 0.000000e+00 |      --      |    Inf 
306.11/306.27	c   289s|640000 |148858 |  1795k| 133M|  54 |   7 |  60 |4661 |1229 |  60 |  18 |  19 | 351k|2732 | 0.000000e+00 |      --      |    Inf 
311.21/311.39	c   294s|650000 |150994 |  1823k| 135M|  54 |   7 |  60 |4556 |  92 |  60 |  18 |  19 | 356k|2753 | 0.000000e+00 |      --      |    Inf 
316.31/316.45	c   299s|660000 |153135 |  1852k| 137M|  54 |   - |  60 |4259 |  41 |  60 |  18 |  19 | 362k|2770 | 0.000000e+00 |      --      |    Inf 
321.11/321.27	c   304s|670000 |155479 |  1879k| 139M|  54 |   7 |  60 |4819 |  10 |  60 |  18 |  19 | 368k|2792 | 0.000000e+00 |      --      |    Inf 
326.20/326.36	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
326.20/326.36	c   308s|680000 |157714 |  1906k| 141M|  54 |   - |  60 |4600 |  26 |   0 |   0 |  19 | 373k|2804 | 0.000000e+00 |      --      |    Inf 
331.21/331.37	c   313s|690000 |159942 |  1934k| 143M|  54 |   - |  60 |3705 |  40 |  60 |  18 |  19 | 379k|2818 | 0.000000e+00 |      --      |    Inf 
336.10/336.28	c   318s|700000 |161997 |  1961k| 145M|  54 |   - |  60 |3562 |   8 |   0 |   0 |  19 | 384k|2835 | 0.000000e+00 |      --      |    Inf 
341.20/341.40	c   323s|710000 |163715 |  1989k| 146M|  54 |   - |  60 |3647 |  25 |  60 |  18 |  19 | 390k|2849 | 0.000000e+00 |      --      |    Inf 
346.40/346.58	c   328s|720000 |165664 |  2017k| 148M|  54 |   - |  60 |3690 | 264 |  60 |  18 |  19 | 396k|2873 | 0.000000e+00 |      --      |    Inf 
351.30/351.40	c   332s|730000 |168006 |  2044k| 150M|  54 |   7 |  60 |3537 |  70 |  60 |  18 |  19 | 401k|2883 | 0.000000e+00 |      --      |    Inf 
355.90/356.05	c   336s|740000 |170395 |  2073k| 153M|  54 |   7 |  60 |4720 |  78 |  60 |  18 |  19 | 407k|2889 | 0.000000e+00 |      --      |    Inf 
360.90/361.05	c   341s|750000 |172565 |  2101k| 155M|  54 |   - |  60 |4870 |  48 |   0 |   0 |  19 | 412k|2897 | 0.000000e+00 |      --      |    Inf 
365.79/365.96	c   346s|760000 |174810 |  2129k| 157M|  54 |   7 |  60 |5297 |  94 |  60 |  18 |  19 | 418k|2910 | 0.000000e+00 |      --      |    Inf 
371.09/371.29	c   351s|770000 |176819 |  2157k| 159M|  54 |   - |  60 |4731 |  28 |   0 |   0 |  19 | 424k|2930 | 0.000000e+00 |      --      |    Inf 
376.29/376.46	c   356s|780000 |178963 |  2184k| 160M|  54 |   7 |  60 |3973 | 159 |  60 |  18 |  19 | 429k|2944 | 0.000000e+00 |      --      |    Inf 
381.39/381.53	c   361s|790000 |180942 |  2211k| 162M|  54 |   - |  60 |3847 | 274 |  60 |  18 |  19 | 435k|2956 | 0.000000e+00 |      --      |    Inf 
386.39/386.55	c   365s|800000 |183223 |  2239k| 165M|  54 |   7 |  60 |4989 |  71 |  60 |  18 |  19 | 441k|2961 | 0.000000e+00 |      --      |    Inf 
391.58/391.80	c   370s|810000 |185305 |  2267k| 167M|  54 |   7 |  60 |4407 |  50 |  60 |  18 |  19 | 447k|2972 | 0.000000e+00 |      --      |    Inf 
396.89/397.10	c   375s|820000 |187165 |  2295k| 168M|  54 |   7 |  60 |3694 |  15 |  60 |  18 |  19 | 452k|2981 | 0.000000e+00 |      --      |    Inf 
401.88/402.02	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
401.88/402.02	c   380s|830000 |189397 |  2322k| 170M|  54 |   - |  60 |3657 |  69 |  60 |  18 |  19 | 458k|3005 | 0.000000e+00 |      --      |    Inf 
406.89/407.05	c   385s|840000 |191421 |  2350k| 172M|  54 |   7 |  60 |3801 |  36 |  60 |  18 |  19 | 463k|3016 | 0.000000e+00 |      --      |    Inf 
412.08/412.22	c   390s|850000 |193293 |  2377k| 174M|  54 |   - |  60 |3832 |  17 |  60 |  18 |  19 | 469k|3029 | 0.000000e+00 |      --      |    Inf 
416.78/416.91	c   394s|860000 |195585 |  2405k| 177M|  54 |   7 |  60 |4629 |  15 |  60 |  18 |  19 | 475k|3038 | 0.000000e+00 |      --      |    Inf 
421.88/422.08	c   399s|870000 |197689 |  2432k| 178M|  54 |   7 |  60 |3874 |  18 |  60 |  18 |  19 | 480k|3050 | 0.000000e+00 |      --      |    Inf 
426.88/427.01	c   404s|880000 |200023 |  2460k| 180M|  54 |   - |  60 |4274 |  31 |  60 |  18 |  19 | 486k|3057 | 0.000000e+00 |      --      |    Inf 
431.98/432.15	c   409s|890000 |202057 |  2488k| 183M|  54 |   - |  60 |4256 | 431 |  60 |  18 |  19 | 492k|3058 | 0.000000e+00 |      --      |    Inf 
437.18/437.36	c   414s|900000 |203947 |  2515k| 184M|  54 |   7 |  60 |4049 |  53 |  60 |  18 |  19 | 498k|3067 | 0.000000e+00 |      --      |    Inf 
442.38/442.59	c   419s|910000 |205892 |  2543k| 186M|  54 |   - |  60 |3542 |  42 |  60 |  18 |  19 | 503k|3080 | 0.000000e+00 |      --      |    Inf 
447.27/447.47	c   423s|920000 |207956 |  2569k| 189M|  54 |   7 |  60 |4444 |  65 |  60 |  18 |  19 | 509k|3085 | 0.000000e+00 |      --      |    Inf 
452.27/452.47	c   428s|930000 |210279 |  2597k| 191M|  54 |   - |  60 |4301 |  40 |  60 |  18 |  19 | 514k|3093 | 0.000000e+00 |      --      |    Inf 
457.38/457.52	c   433s|940000 |212345 |  2624k| 193M|  54 |   - |  60 |4361 |  23 |  60 |  18 |  19 | 520k|3102 | 0.000000e+00 |      --      |    Inf 
462.57/462.73	c   438s|950000 |214276 |  2651k| 194M|  54 |   7 |  60 |3771 |  26 |  60 |  18 |  19 | 525k|3109 | 0.000000e+00 |      --      |    Inf 
467.67/467.80	c   442s|960000 |216300 |  2678k| 196M|  54 |   7 |  60 |4179 |  29 |  60 |  18 |  19 | 531k|3120 | 0.000000e+00 |      --      |    Inf 
472.67/472.86	c   447s|970000 |218534 |  2705k| 198M|  54 |   7 |  60 |4476 |  94 |  60 |  18 |  19 | 536k|3130 | 0.000000e+00 |      --      |    Inf 
478.06/478.24	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
478.06/478.24	c   452s|980000 |220541 |  2733k| 200M|  54 |   7 |  60 |3444 | 118 |  60 |  18 |  19 | 542k|3138 | 0.000000e+00 |      --      |    Inf 
482.76/482.95	c   457s|990000 |222930 |  2760k| 202M|  54 |   7 |  60 |4211 |  41 |  60 |  18 |  19 | 547k|3141 | 0.000000e+00 |      --      |    Inf 
487.76/487.99	c   462s|  1000k|224908 |  2788k| 204M|  54 |   - |  60 |4057 |  22 |   0 |   0 |  19 | 553k|3151 | 0.000000e+00 |      --      |    Inf 
493.06/493.26	c   467s|  1010k|226780 |  2815k| 206M|  54 |   7 |  60 |3597 |  18 |  60 |  18 |  19 | 559k|3166 | 0.000000e+00 |      --      |    Inf 
498.16/498.39	c   471s|  1020k|228826 |  2843k| 208M|  54 |   7 |  60 |3750 |  24 |  60 |  18 |  19 | 565k|3176 | 0.000000e+00 |      --      |    Inf 
503.25/503.49	c   476s|  1030k|230809 |  2870k| 210M|  54 |   - |  60 |4266 |  38 |  60 |  18 |  19 | 570k|3183 | 0.000000e+00 |      --      |    Inf 
508.35/508.54	c   481s|  1040k|232946 |  2897k| 213M|  54 |   7 |  60 |5225 | 399 |  60 |  18 |  19 | 576k|3184 | 0.000000e+00 |      --      |    Inf 
513.95/514.15	c   486s|  1050k|234807 |  2925k| 214M|  54 |   7 |  60 |4012 |  35 |  60 |  18 |  19 | 582k|3192 | 0.000000e+00 |      --      |    Inf 
519.35/519.53	c   492s|  1060k|236670 |  2953k| 216M|  54 |   - |  60 |3503 |  31 |  60 |  18 |  19 | 588k|3201 | 0.000000e+00 |      --      |    Inf 
524.36/524.55	c   496s|  1070k|238551 |  2980k| 218M|  54 |   7 |  60 |4095 |  29 |  60 |  18 |  19 | 593k|3204 | 0.000000e+00 |      --      |    Inf 
529.05/529.23	c   501s|  1080k|241086 |  3008k| 220M|  54 |   - |  60 |5649 | 124 |  60 |  18 |  19 | 598k|3217 | 0.000000e+00 |      --      |    Inf 
534.45/534.65	c   506s|  1090k|243089 |  3035k| 222M|  54 |   - |  60 |5005 |  22 |  60 |  18 |  19 | 604k|3228 | 0.000000e+00 |      --      |    Inf 
539.95/540.15	c   511s|  1100k|245063 |  3062k| 224M|  54 |   - |  60 |3882 |  66 |  60 |  18 |  19 | 610k|3238 | 0.000000e+00 |      --      |    Inf 
545.15/545.40	c   516s|  1110k|247053 |  3091k| 226M|  54 |   7 |  60 |3800 |  55 |  60 |  18 |  19 | 615k|3242 | 0.000000e+00 |      --      |    Inf 
550.04/550.25	c   521s|  1120k|249328 |  3118k| 228M|  54 |   7 |  60 |4894 | 185 |  60 |  18 |  19 | 621k|3248 | 0.000000e+00 |      --      |    Inf 
555.65/555.81	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
555.65/555.81	c   526s|  1130k|251176 |  3146k| 230M|  54 |   7 |  60 |4244 | 197 |  60 |  18 |  19 | 627k|3257 | 0.000000e+00 |      --      |    Inf 
560.74/560.93	c   531s|  1140k|253211 |  3173k| 232M|  54 |   - |  60 |4571 |  33 |  60 |  18 |  19 | 632k|3266 | 0.000000e+00 |      --      |    Inf 
565.94/566.12	c   536s|  1150k|255083 |  3201k| 234M|  54 |   7 |  60 |4113 |  78 |  60 |  18 |  19 | 638k|3277 | 0.000000e+00 |      --      |    Inf 
570.94/571.14	c   541s|  1160k|257259 |  3229k| 236M|  54 |   - |  60 |4696 |  59 |  60 |  18 |  19 | 644k|3283 | 0.000000e+00 |      --      |    Inf 
576.34/576.57	c   546s|  1170k|259098 |  3256k| 238M|  54 |   7 |  60 |4334 |  79 |  60 |  18 |  19 | 649k|3292 | 0.000000e+00 |      --      |    Inf 
581.74/581.95	c   551s|  1180k|260957 |  3283k| 240M|  54 |   7 |  60 |3928 | 391 |  60 |  18 |  19 | 655k|3300 | 0.000000e+00 |      --      |    Inf 
586.83/587.04	c   556s|  1190k|262874 |  3311k| 241M|  54 |   7 |  60 |4044 | 514 |  60 |  18 |  19 | 661k|3301 | 0.000000e+00 |      --      |    Inf 
591.73/591.90	c   560s|  1200k|265154 |  3339k| 244M|  54 |   - |  60 |5120 |  30 |  60 |  18 |  19 | 666k|3305 | 0.000000e+00 |      --      |    Inf 
597.03/597.27	c   565s|  1210k|267234 |  3366k| 246M|  54 |   - |  60 |4791 |  22 |  60 |  18 |  19 | 672k|3311 | 0.000000e+00 |      --      |    Inf 
602.64/602.84	c   571s|  1220k|269000 |  3394k| 247M|  54 |   7 |  60 |4438 | 244 |  60 |  18 |  19 | 678k|3318 | 0.000000e+00 |      --      |    Inf 
607.43/607.66	c   575s|  1230k|271371 |  3421k| 250M|  54 |   - |  60 |5786 |  22 |  60 |  18 |  19 | 683k|3321 | 0.000000e+00 |      --      |    Inf 
613.03/613.28	c   581s|  1240k|273417 |  3448k| 251M|  54 |   - |  60 |4152 |  71 |  60 |  18 |  19 | 689k|3321 | 0.000000e+00 |      --      |    Inf 
618.43/618.66	c   586s|  1250k|275205 |  3475k| 253M|  54 |   7 |  60 |3917 | 110 |  60 |  18 |  19 | 695k|3325 | 0.000000e+00 |      --      |    Inf 
622.93/623.12	c   590s|  1260k|278008 |  3502k| 256M|  54 |   - |  60 |5829 |  17 |  60 |  18 |  19 | 700k|3333 | 0.000000e+00 |      --      |    Inf 
628.33/628.60	c   595s|  1270k|280041 |  3528k| 257M|  54 |   7 |  60 |5157 | 158 |  60 |  18 |  19 | 705k|3337 | 0.000000e+00 |      --      |    Inf 
633.93/634.18	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
633.93/634.18	c   601s|  1280k|281839 |  3555k| 259M|  54 |   - |  60 |3993 |  15 |  60 |  18 |  19 | 711k|3346 | 0.000000e+00 |      --      |    Inf 
639.02/639.23	c   605s|  1290k|283852 |  3583k| 261M|  54 |   - |  60 |5412 |  98 |  60 |  18 |  19 | 717k|3356 | 0.000000e+00 |      --      |    Inf 
644.92/645.18	c   611s|  1300k|285515 |  3611k| 263M|  54 |   7 |  60 |3479 |  15 |  60 |  18 |  19 | 723k|3366 | 0.000000e+00 |      --      |    Inf 
650.12/650.35	c   616s|  1310k|287332 |  3639k| 265M|  54 |   7 |  60 |3873 |  38 |  60 |  18 |  19 | 728k|3383 | 0.000000e+00 |      --      |    Inf 
655.32/655.60	c   621s|  1320k|289181 |  3666k| 267M|  54 |   - |  60 |3810 | 140 |  60 |  18 |  19 | 734k|3389 | 0.000000e+00 |      --      |    Inf 
660.61/660.88	c   626s|  1330k|291041 |  3693k| 268M|  54 |   7 |  60 |3620 |  35 |  60 |  18 |  19 | 740k|3398 | 0.000000e+00 |      --      |    Inf 
665.81/666.02	c   631s|  1340k|292956 |  3721k| 271M|  54 |   - |  60 |4326 |  32 |   0 |   0 |  19 | 746k|3404 | 0.000000e+00 |      --      |    Inf 
671.01/671.28	c   636s|  1350k|294994 |  3748k| 272M|  54 |   7 |  60 |4119 |  17 |  60 |  18 |  19 | 751k|3407 | 0.000000e+00 |      --      |    Inf 
675.71/675.97	c   640s|  1360k|297545 |  3776k| 275M|  54 |   7 |  60 |5599 |  28 |  60 |  18 |  19 | 756k|3407 | 0.000000e+00 |      --      |    Inf 
681.30/681.58	c   646s|  1370k|299492 |  3803k| 276M|  54 |   7 |  60 |3894 |  40 |  60 |  18 |  19 | 762k|3408 | 0.000000e+00 |      --      |    Inf 
686.21/686.46	c   650s|  1380k|301735 |  3831k| 279M|  54 |   7 |  60 |4878 | 388 |  60 |  18 |  19 | 767k|3408 | 0.000000e+00 |      --      |    Inf 
691.81/692.04	c   655s|  1390k|303739 |  3858k| 280M|  54 |   - |  60 |4033 |  31 |  60 |  18 |  19 | 773k|3408 | 0.000000e+00 |      --      |    Inf 
697.41/697.62	c   661s|  1400k|305363 |  3885k| 282M|  54 |   - |  60 |3413 |  62 |  60 |  18 |  19 | 779k|3414 | 0.000000e+00 |      --      |    Inf 
702.11/702.39	c   665s|  1410k|307625 |  3912k| 284M|  54 |   - |  60 |4332 |  77 |  60 |  18 |  19 | 784k|3424 | 0.000000e+00 |      --      |    Inf 
707.10/707.35	c   670s|  1420k|309767 |  3939k| 286M|  54 |   7 |  60 |4631 | 103 |  60 |  18 |  19 | 790k|3433 | 0.000000e+00 |      --      |    Inf 
712.30/712.51	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
712.30/712.51	c   675s|  1430k|311416 |  3965k| 288M|  54 |   7 |  60 |4291 |  25 |  60 |  18 |  19 | 796k|3439 | 0.000000e+00 |      --      |    Inf 
716.91/717.17	c   679s|  1440k|314247 |  3993k| 290M|  54 |   7 |  60 |5286 |  21 |  60 |  18 |  19 | 801k|3449 | 0.000000e+00 |      --      |    Inf 
721.60/721.87	c   684s|  1450k|317010 |  4018k| 292M|  54 |   7 |  60 |5972 | 153 |  60 |  18 |  19 | 805k|3462 | 0.000000e+00 |      --      |    Inf 
726.80/727.08	c   689s|  1460k|319365 |  4045k| 294M|  54 |   7 |  60 |5732 |  10 |  60 |  18 |  19 | 811k|3471 | 0.000000e+00 |      --      |    Inf 
732.40/732.66	c   694s|  1470k|321416 |  4072k| 296M|  54 |   - |  60 |4674 | 199 |  60 |  18 |  19 | 816k|3491 | 0.000000e+00 |      --      |    Inf 
737.69/737.96	c   699s|  1480k|323572 |  4099k| 298M|  54 |   - |  60 |4285 |  20 |  60 |  18 |  19 | 822k|3502 | 0.000000e+00 |      --      |    Inf 
742.80/743.09	c   704s|  1490k|325596 |  4126k| 300M|  54 |   - |  60 |4544 |  37 |  60 |  18 |  19 | 827k|3512 | 0.000000e+00 |      --      |    Inf 
747.80/748.05	c   709s|  1500k|328159 |  4153k| 302M|  54 |   7 |  60 |4807 |  28 |  60 |  18 |  19 | 832k|3521 | 0.000000e+00 |      --      |    Inf 
753.20/753.44	c   714s|  1510k|330121 |  4180k| 304M|  54 |   7 |  60 |4652 |  30 |  60 |  18 |  19 | 838k|3527 | 0.000000e+00 |      --      |    Inf 
758.39/758.64	c   719s|  1520k|332300 |  4207k| 306M|  54 |   7 |  60 |4321 |  66 |  60 |  18 |  19 | 843k|3533 | 0.000000e+00 |      --      |    Inf 
763.69/763.99	c   724s|  1530k|334378 |  4234k| 308M|  54 |   - |  60 |4377 | 282 |  60 |  18 |  19 | 849k|3539 | 0.000000e+00 |      --      |    Inf 
769.18/769.50	c   729s|  1540k|336295 |  4262k| 310M|  54 |   7 |  60 |4404 |  66 |  60 |  18 |  19 | 854k|3545 | 0.000000e+00 |      --      |    Inf 
774.78/775.07	c   734s|  1550k|338066 |  4290k| 312M|  54 |   - |  60 |4150 |  59 |  60 |  18 |  19 | 860k|3555 | 0.000000e+00 |      --      |    Inf 
779.88/780.18	c   739s|  1560k|340070 |  4319k| 314M|  54 |   - |  60 |5005 |  31 |  60 |  18 |  19 | 866k|3561 | 0.000000e+00 |      --      |    Inf 
785.28/785.53	c   744s|  1570k|342292 |  4347k| 316M|  54 |   7 |  60 |4791 |  29 |  60 |  18 |  19 | 871k|3575 | 0.000000e+00 |      --      |    Inf 
790.28/790.56	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
790.28/790.56	c   749s|  1580k|344666 |  4374k| 318M|  54 |   7 |  60 |5604 |  31 |  60 |  18 |  19 | 877k|3575 | 0.000000e+00 |      --      |    Inf 
795.88/796.12	c   754s|  1590k|346645 |  4401k| 320M|  54 |   - |  60 |4507 | 274 |  60 |  18 |  19 | 882k|3577 | 0.000000e+00 |      --      |    Inf 
801.38/801.67	c   760s|  1600k|348460 |  4427k| 321M|  54 |   7 |  60 |4389 | 100 |  60 |  18 |  19 | 888k|3585 | 0.000000e+00 |      --      |    Inf 
806.67/806.94	c   765s|  1610k|350547 |  4456k| 323M|  54 |   7 |  60 |4294 | 146 |  60 |  18 |  19 | 894k|3592 | 0.000000e+00 |      --      |    Inf 
811.67/811.91	c   769s|  1620k|352817 |  4483k| 326M|  54 |   - |  60 |5449 |  30 |  60 |  18 |  19 | 899k|3598 | 0.000000e+00 |      --      |    Inf 
817.37/817.63	c   775s|  1630k|354726 |  4511k| 327M|  54 |   7 |  60 |4697 |  40 |  60 |  18 |  19 | 905k|3604 | 0.000000e+00 |      --      |    Inf 
823.07/823.39	c   780s|  1640k|356521 |  4538k| 329M|  54 |   7 |  60 |3694 | 109 |  60 |  18 |  19 | 911k|3612 | 0.000000e+00 |      --      |    Inf 
828.07/828.36	c   785s|  1650k|358713 |  4565k| 331M|  54 |   - |  60 |4735 | 171 |  60 |  18 |  19 | 917k|3618 | 0.000000e+00 |      --      |    Inf 
832.97/833.27	c   790s|  1660k|360940 |  4593k| 333M|  54 |   7 |  60 |5201 | 133 |  60 |  18 |  19 | 922k|3627 | 0.000000e+00 |      --      |    Inf 
838.47/838.74	c   795s|  1670k|362856 |  4621k| 335M|  54 |   - |  60 |4193 |  18 |  60 |  18 |  19 | 928k|3632 | 0.000000e+00 |      --      |    Inf 
843.67/843.92	c   800s|  1680k|364972 |  4648k| 337M|  54 |   - |  60 |4447 |  13 |  60 |  18 |  19 | 933k|3639 | 0.000000e+00 |      --      |    Inf 
849.06/849.38	c   805s|  1690k|366831 |  4675k| 339M|  54 |   7 |  60 |3697 |  25 |  60 |  18 |  19 | 939k|3647 | 0.000000e+00 |      --      |    Inf 
854.37/854.66	c   810s|  1700k|368601 |  4702k| 341M|  54 |   - |  60 |4481 |  31 |  60 |  18 |  19 | 945k|3654 | 0.000000e+00 |      --      |    Inf 
859.76/860.09	c   815s|  1710k|370394 |  4729k| 343M|  54 |   7 |  60 |4313 |1308 |  60 |  18 |  19 | 951k|3654 | 0.000000e+00 |      --      |    Inf 
865.37/865.67	c   821s|  1720k|372231 |  4757k| 344M|  54 |   7 |  60 |3875 |  59 |  60 |  18 |  19 | 956k|3654 | 0.000000e+00 |      --      |    Inf 
870.66/870.98	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
870.66/870.98	c   826s|  1730k|374019 |  4785k| 346M|  54 |   7 |  60 |3600 |  27 |  60 |  18 |  19 | 962k|3660 | 0.000000e+00 |      --      |    Inf 
875.75/876.05	c   830s|  1740k|375847 |  4812k| 348M|  54 |   - |  60 |3909 |  46 |  60 |  18 |  19 | 968k|3666 | 0.000000e+00 |      --      |    Inf 
881.26/881.50	c   835s|  1750k|377579 |  4840k| 350M|  54 |   - |  60 |3861 |  11 |  60 |  18 |  19 | 974k|3671 | 0.000000e+00 |      --      |    Inf 
886.45/886.79	c   841s|  1760k|379545 |  4867k| 352M|  54 |   7 |  60 |4314 |  50 |  60 |  18 |  19 | 979k|3672 | 0.000000e+00 |      --      |    Inf 
891.65/891.95	c   845s|  1770k|381656 |  4893k| 354M|  54 |   7 |  60 |4859 |  38 |  60 |  18 |  19 | 985k|3678 | 0.000000e+00 |      --      |    Inf 
897.25/897.57	c   851s|  1780k|383399 |  4921k| 356M|  54 |   7 |  60 |3968 | 144 |  60 |  18 |  19 | 991k|3682 | 0.000000e+00 |      --      |    Inf 
902.64/902.96	c   856s|  1790k|385263 |  4948k| 358M|  54 |   7 |  60 |3841 |  91 |  60 |  18 |  19 | 996k|3691 | 0.000000e+00 |      --      |    Inf 
907.94/908.25	c   861s|  1800k|387143 |  4976k| 360M|  54 |   7 |  60 |4625 | 898 |  60 |  18 |  19 |1002k|3697 | 0.000000e+00 |      --      |    Inf 
913.15/913.46	c   866s|  1810k|389364 |  5004k| 362M|  54 |   - |  60 |5009 |  21 |   0 |   0 |  19 |1008k|3701 | 0.000000e+00 |      --      |    Inf 
918.45/918.77	c   871s|  1820k|391381 |  5031k| 364M|  54 |   - |  60 |5035 | 105 |  60 |  18 |  19 |1013k|3707 | 0.000000e+00 |      --      |    Inf 
924.04/924.33	c   876s|  1830k|393185 |  5059k| 366M|  54 |   7 |  60 |4746 | 177 |  60 |  18 |  19 |1019k|3714 | 0.000000e+00 |      --      |    Inf 
929.34/929.62	c   881s|  1840k|395276 |  5086k| 368M|  54 |   7 |  60 |4948 |  27 |  60 |  18 |  19 |1025k|3718 | 0.000000e+00 |      --      |    Inf 
934.65/934.93	c   886s|  1850k|397213 |  5113k| 370M|  54 |   7 |  60 |5226 |  18 |  60 |  18 |  19 |1030k|3729 | 0.000000e+00 |      --      |    Inf 
940.15/940.42	c   892s|  1860k|399024 |  5139k| 371M|  54 |   - |  60 |4671 |  34 |  60 |  18 |  19 |1036k|3736 | 0.000000e+00 |      --      |    Inf 
945.54/945.84	c   897s|  1870k|400955 |  5167k| 373M|  54 |   7 |  60 |4951 | 193 |  60 |  18 |  19 |1042k|3746 | 0.000000e+00 |      --      |    Inf 
951.54/951.82	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
951.54/951.82	c   902s|  1880k|402661 |  5194k| 375M|  54 |   7 |  60 |3829 |  15 |  60 |  18 |  19 |1048k|3756 | 0.000000e+00 |      --      |    Inf 
956.54/956.85	c   907s|  1890k|404794 |  5221k| 377M|  54 |   7 |  60 |4881 |  16 |  60 |  18 |  19 |1053k|3760 | 0.000000e+00 |      --      |    Inf 
962.33/962.63	c   913s|  1900k|406612 |  5249k| 379M|  54 |   7 |  60 |4309 |  65 |  60 |  18 |  19 |1059k|3767 | 0.000000e+00 |      --      |    Inf 
967.64/967.97	c   918s|  1910k|408613 |  5276k| 381M|  54 |   7 |  60 |4450 | 142 |  60 |  18 |  19 |1064k|3773 | 0.000000e+00 |      --      |    Inf 
973.23/973.52	c   923s|  1920k|410372 |  5304k| 382M|  54 |   7 |  60 |4012 |  79 |  60 |  18 |  19 |1070k|3780 | 0.000000e+00 |      --      |    Inf 
978.43/978.72	c   928s|  1930k|412280 |  5332k| 385M|  54 |   - |  60 |5121 |  14 |   0 |   0 |  19 |1076k|3788 | 0.000000e+00 |      --      |    Inf 
984.03/984.33	c   933s|  1940k|414161 |  5358k| 386M|  54 |   7 |  60 |4395 | 100 |  60 |  18 |  19 |1081k|3792 | 0.000000e+00 |      --      |    Inf 
989.32/989.62	c   938s|  1950k|416280 |  5386k| 388M|  54 |   - |  60 |4978 |  27 |  60 |  18 |  19 |1087k|3792 | 0.000000e+00 |      --      |    Inf 
994.52/994.87	c   943s|  1960k|418155 |  5413k| 390M|  54 |   - |  60 |5427 |  40 |  60 |  18 |  19 |1093k|3796 | 0.000000e+00 |      --      |    Inf 
1000.42/1000.75	c   949s|  1970k|419968 |  5440k| 392M|  54 |   - |  60 |4073 |  12 |  60 |  18 |  19 |1099k|3800 | 0.000000e+00 |      --      |    Inf 
1005.82/1006.13	c   954s|  1980k|421874 |  5467k| 394M|  54 |   7 |  60 |4408 |  93 |  60 |  18 |  19 |1104k|3803 | 0.000000e+00 |      --      |    Inf 
1011.32/1011.68	c   959s|  1990k|423546 |  5495k| 396M|  54 |   7 |  60 |4884 | 366 |  60 |  18 |  19 |1110k|3812 | 0.000000e+00 |      --      |    Inf 
1016.72/1017.06	c   964s|  2000k|425351 |  5523k| 398M|  54 |   7 |  60 |5642 |  15 |  60 |  18 |  19 |1116k|3812 | 0.000000e+00 |      --      |    Inf 
1022.72/1023.02	c   970s|  2010k|427142 |  5550k| 399M|  54 |   7 |  60 |4189 | 241 |  60 |  18 |  19 |1122k|3815 | 0.000000e+00 |      --      |    Inf 
1028.12/1028.41	c   975s|  2020k|429132 |  5577k| 401M|  54 |   - |  60 |4390 | 262 |  60 |  18 |  19 |1127k|3819 | 0.000000e+00 |      --      |    Inf 
1033.62/1033.97	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1033.62/1033.97	c   981s|  2030k|430812 |  5603k| 403M|  54 |   7 |  60 |4157 | 167 |  60 |  18 |  19 |1133k|3823 | 0.000000e+00 |      --      |    Inf 
1038.72/1039.05	c   985s|  2040k|432667 |  5630k| 405M|  54 |   7 |  60 |4883 | 253 |  60 |  18 |  19 |1139k|3830 | 0.000000e+00 |      --      |    Inf 
1044.11/1044.41	c   990s|  2050k|434654 |  5657k| 407M|  54 |   7 |  60 |4521 |  31 |  60 |  18 |  19 |1145k|3833 | 0.000000e+00 |      --      |    Inf 
1049.41/1049.77	c   996s|  2060k|436588 |  5685k| 409M|  54 |   - |  60 |5881 |  95 |   0 |   0 |  19 |1150k|3834 | 0.000000e+00 |      --      |    Inf 
1055.51/1055.87	c  1001s|  2070k|438333 |  5712k| 411M|  54 |   7 |  60 |4549 | 144 |  60 |  18 |  19 |1156k|3841 | 0.000000e+00 |      --      |    Inf 
1060.80/1061.13	c  1006s|  2080k|440405 |  5739k| 413M|  54 |   - |  60 |5471 |  28 |  60 |  18 |  19 |1162k|3849 | 0.000000e+00 |      --      |    Inf 
1066.51/1066.88	c  1012s|  2090k|442262 |  5766k| 415M|  54 |   7 |  60 |4698 |  15 |  60 |  18 |  19 |1168k|3855 | 0.000000e+00 |      --      |    Inf 
1071.80/1072.11	c  1017s|  2100k|444492 |  5794k| 417M|  54 |   - |  60 |6030 |  26 |  60 |  18 |  19 |1173k|3858 | 0.000000e+00 |      --      |    Inf 
1077.40/1077.75	c  1022s|  2110k|446585 |  5824k| 419M|  54 |   7 |  60 |6834 |  14 |  60 |  18 |  19 |1179k|3864 | 0.000000e+00 |      --      |    Inf 
1083.30/1083.60	c  1028s|  2120k|448434 |  5852k| 421M|  54 |   7 |  60 |7286 |  15 |  60 |  18 |  19 |1185k|3869 | 0.000000e+00 |      --      |    Inf 
1089.50/1089.80	c  1034s|  2130k|450284 |  5881k| 423M|  54 |   7 |  60 |7212 |  91 |  60 |  18 |  19 |1191k|3871 | 0.000000e+00 |      --      |    Inf 
1095.80/1096.12	c  1040s|  2140k|451722 |  5910k| 425M|  54 |   - |  60 |8130 |  44 |  60 |  18 |  19 |1197k|3879 | 0.000000e+00 |      --      |    Inf 
1102.09/1102.42	c  1046s|  2150k|453732 |  5937k| 427M|  54 |   7 |  60 |6368 |  18 |  60 |  18 |  19 |1202k|3884 | 0.000000e+00 |      --      |    Inf 
1108.30/1108.67	c  1052s|  2160k|455550 |  5964k| 428M|  54 |   - |  60 |5039 |  18 |  60 |  18 |  19 |1208k|3892 | 0.000000e+00 |      --      |    Inf 
1113.39/1113.77	c  1057s|  2170k|457898 |  5993k| 430M|  54 |   - |  60 |5493 | 190 |  60 |  18 |  19 |1213k|3900 | 0.000000e+00 |      --      |    Inf 
1119.10/1119.41	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1119.10/1119.41	c  1062s|  2180k|459904 |  6020k| 432M|  54 |   - |  60 |4783 | 302 |  60 |  18 |  19 |1219k|3906 | 0.000000e+00 |      --      |    Inf 
1124.09/1124.49	c  1067s|  2190k|462264 |  6046k| 434M|  54 |   - |  60 |5067 |  17 |  60 |  18 |  19 |1224k|3910 | 0.000000e+00 |      --      |    Inf 
1129.99/1130.34	c  1072s|  2200k|463968 |  6074k| 436M|  54 |   7 |  60 |4893 |  58 |  60 |  18 |  19 |1230k|3918 | 0.000000e+00 |      --      |    Inf 
1135.69/1136.00	c  1078s|  2210k|465815 |  6101k| 438M|  54 |   7 |  60 |4226 |  16 |  60 |  18 |  19 |1236k|3924 | 0.000000e+00 |      --      |    Inf 
1140.58/1140.90	c  1083s|  2220k|468187 |  6129k| 440M|  54 |   7 |  60 |5411 |  32 |  60 |  18 |  19 |1241k|3926 | 0.000000e+00 |      --      |    Inf 
1145.79/1146.16	c  1088s|  2230k|470426 |  6156k| 442M|  54 |   7 |  60 |5664 |  16 |  60 |  18 |  19 |1247k|3926 | 0.000000e+00 |      --      |    Inf 
1151.59/1151.96	c  1093s|  2240k|472273 |  6183k| 444M|  54 |   - |  60 |5247 |  19 |   0 |   0 |  19 |1253k|3926 | 0.000000e+00 |      --      |    Inf 
1157.79/1158.15	c  1099s|  2250k|473938 |  6210k| 445M|  54 |   7 |  60 |3820 |  37 |  60 |  18 |  19 |1258k|3929 | 0.000000e+00 |      --      |    Inf 
1163.19/1163.57	c  1104s|  2260k|475901 |  6237k| 447M|  54 |   7 |  60 |4349 | 240 |  60 |  18 |  19 |1264k|3938 | 0.000000e+00 |      --      |    Inf 
1167.88/1168.22	c  1109s|  2270k|478829 |  6265k| 450M|  54 |   - |  60 |6110 | 351 |  60 |  18 |  19 |1269k|3943 | 0.000000e+00 |      --      |    Inf 
1173.08/1173.48	c  1114s|  2280k|481068 |  6292k| 452M|  54 |   - |  60 |6580 |  47 |  60 |  18 |  19 |1274k|3947 | 0.000000e+00 |      --      |    Inf 
1178.58/1178.94	c  1119s|  2290k|483259 |  6319k| 454M|  54 |   - |  60 |6499 |  82 |  60 |  18 |  19 |1280k|3949 | 0.000000e+00 |      --      |    Inf 
1185.18/1185.50	c  1125s|  2300k|484879 |  6346k| 455M|  54 |   - |  60 |5128 |  11 |  60 |  18 |  19 |1285k|3957 | 0.000000e+00 |      --      |    Inf 
1190.97/1191.39	c  1131s|  2310k|486667 |  6373k| 457M|  54 |   - |  60 |4529 | 198 |  60 |  18 |  19 |1291k|3958 | 0.000000e+00 |      --      |    Inf 
1196.87/1197.21	c  1136s|  2320k|488421 |  6400k| 459M|  54 |   - |  60 |4384 | 155 |  60 |  18 |  19 |1297k|3962 | 0.000000e+00 |      --      |    Inf 
1201.88/1202.29	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1201.88/1202.29	c  1141s|  2330k|490558 |  6427k| 461M|  54 |   7 |  60 |4914 |  41 |  60 |  18 |  19 |1302k|3968 | 0.000000e+00 |      --      |    Inf 
1207.37/1207.74	c  1146s|  2340k|492491 |  6454k| 463M|  54 |   - |  60 |5548 |  45 |  60 |  18 |  19 |1308k|3978 | 0.000000e+00 |      --      |    Inf 
1212.77/1213.17	c  1151s|  2350k|494501 |  6481k| 465M|  54 |   - |  60 |5893 |  67 |  60 |  18 |  19 |1314k|3980 | 0.000000e+00 |      --      |    Inf 
1218.76/1219.12	c  1157s|  2360k|496469 |  6509k| 466M|  54 |   7 |  60 |4752 |  22 |  60 |  18 |  19 |1319k|3990 | 0.000000e+00 |      --      |    Inf 
1223.86/1224.23	c  1162s|  2370k|498970 |  6535k| 469M|  54 |   - |  60 |6397 | 239 |  60 |  18 |  19 |1324k|3990 | 0.000000e+00 |      --      |    Inf 
1229.56/1229.97	c  1167s|  2380k|501079 |  6563k| 471M|  54 |   7 |  60 |6881 |  38 |  60 |  18 |  19 |1330k|3990 | 0.000000e+00 |      --      |    Inf 
1235.36/1235.74	c  1173s|  2390k|503138 |  6589k| 473M|  54 |   - |  60 |7210 |  39 |  60 |  18 |  19 |1336k|3990 | 0.000000e+00 |      --      |    Inf 
1241.56/1241.92	c  1179s|  2400k|504839 |  6616k| 475M|  54 |   7 |  60 |6960 | 159 |  60 |  18 |  19 |1341k|3990 | 0.000000e+00 |      --      |    Inf 
1247.46/1247.84	c  1184s|  2410k|506580 |  6642k| 477M|  54 |   - |  60 |7416 | 167 |  60 |  18 |  19 |1347k|3990 | 0.000000e+00 |      --      |    Inf 
1253.66/1254.06	c  1190s|  2420k|508479 |  6668k| 478M|  54 |   - |  60 |5590 | 111 |   0 |   0 |  19 |1353k|3990 | 0.000000e+00 |      --      |    Inf 
1259.26/1259.62	c  1196s|  2430k|510478 |  6696k| 480M|  54 |   7 |  60 |5045 |  19 |  60 |  18 |  19 |1358k|3990 | 0.000000e+00 |      --      |    Inf 
1265.25/1265.61	c  1201s|  2440k|512159 |  6723k| 482M|  54 |   - |  60 |4599 |  95 |  60 |  18 |  19 |1364k|3990 | 0.000000e+00 |      --      |    Inf 
1270.85/1271.25	c  1207s|  2450k|513976 |  6749k| 483M|  54 |   - |  60 |4265 |  36 |  60 |  18 |  19 |1370k|3992 | 0.000000e+00 |      --      |    Inf 
1276.15/1276.57	c  1212s|  2460k|515900 |  6776k| 485M|  54 |   7 |  60 |4498 |  15 |  60 |  18 |  19 |1376k|3995 | 0.000000e+00 |      --      |    Inf 
1281.65/1282.07	c  1217s|  2470k|517775 |  6802k| 487M|  54 |   7 |  60 |4084 |  14 |  60 |  18 |  19 |1381k|4000 | 0.000000e+00 |      --      |    Inf 
1287.05/1287.49	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1287.05/1287.49	c  1222s|  2480k|519691 |  6829k| 489M|  54 |   7 |  60 |4168 |  16 |  60 |  18 |  19 |1387k|4010 | 0.000000e+00 |      --      |    Inf 
1292.65/1293.04	c  1227s|  2490k|521412 |  6856k| 491M|  54 |   - |  60 |4070 |  25 |  60 |  18 |  19 |1392k|4014 | 0.000000e+00 |      --      |    Inf 
1297.84/1298.28	c  1232s|  2500k|523411 |  6884k| 493M|  54 |   - |  60 |5122 | 138 |  60 |  18 |  19 |1398k|4021 | 0.000000e+00 |      --      |    Inf 
1303.65/1304.06	c  1238s|  2510k|525086 |  6911k| 495M|  54 |   7 |  60 |4167 | 657 |  60 |  18 |  19 |1404k|4023 | 0.000000e+00 |      --      |    Inf 
1308.74/1309.14	c  1243s|  2520k|527308 |  6938k| 497M|  54 |   7 |  60 |5307 |  68 |  60 |  18 |  19 |1410k|4023 | 0.000000e+00 |      --      |    Inf 
1314.14/1314.51	c  1248s|  2530k|529119 |  6966k| 499M|  54 |   - |  60 |4966 |  93 |  60 |  18 |  19 |1415k|4023 | 0.000000e+00 |      --      |    Inf 
1319.04/1319.44	c  1253s|  2540k|531166 |  6992k| 501M|  54 |   - |  60 |5886 | 132 |  60 |  18 |  19 |1421k|4023 | 0.000000e+00 |      --      |    Inf 
1324.53/1324.94	c  1258s|  2550k|533134 |  7019k| 502M|  54 |   7 |  60 |5567 |  19 |  60 |  18 |  19 |1427k|4024 | 0.000000e+00 |      --      |    Inf 
1330.03/1330.49	c  1263s|  2560k|535019 |  7047k| 504M|  54 |   - |  60 |5537 |  12 |  60 |  18 |  19 |1432k|4027 | 0.000000e+00 |      --      |    Inf 
1336.24/1336.66	c  1269s|  2570k|536833 |  7074k| 506M|  54 |   7 |  60 |4280 |  23 |  60 |  18 |  19 |1438k|4030 | 0.000000e+00 |      --      |    Inf 
1341.94/1342.31	c  1274s|  2580k|538572 |  7101k| 508M|  54 |   - |  60 |4463 |  98 |  60 |  18 |  19 |1444k|4035 | 0.000000e+00 |      --      |    Inf 
1347.43/1347.89	c  1280s|  2590k|540371 |  7128k| 509M|  54 |   7 |  60 |4240 | 119 |  60 |  18 |  19 |1450k|4041 | 0.000000e+00 |      --      |    Inf 
1353.02/1353.40	c  1285s|  2600k|542343 |  7155k| 511M|  54 |   7 |  60 |3998 |  26 |  60 |  18 |  19 |1455k|4041 | 0.000000e+00 |      --      |    Inf 
1358.43/1358.80	c  1290s|  2610k|544184 |  7182k| 513M|  54 |   7 |  60 |4223 |  32 |  60 |  18 |  19 |1461k|4041 | 0.000000e+00 |      --      |    Inf 
1363.23/1363.69	c  1295s|  2620k|546467 |  7210k| 516M|  54 |   - |  60 |5864 |  21 |  60 |  18 |  19 |1466k|4046 | 0.000000e+00 |      --      |    Inf 
1369.32/1369.75	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1369.32/1369.75	c  1300s|  2630k|548125 |  7237k| 517M|  54 |   - |  60 |5024 |  28 |  60 |  18 |  19 |1472k|4056 | 0.000000e+00 |      --      |    Inf 
1374.83/1375.27	c  1306s|  2640k|550134 |  7265k| 519M|  54 |   7 |  60 |5064 |  12 |  60 |  18 |  19 |1478k|4060 | 0.000000e+00 |      --      |    Inf 
1380.12/1380.56	c  1311s|  2650k|552333 |  7292k| 521M|  54 |   7 |  60 |6526 |  10 |  60 |  18 |  19 |1483k|4066 | 0.000000e+00 |      --      |    Inf 
1386.42/1386.86	c  1317s|  2660k|553924 |  7319k| 523M|  54 |   7 |  60 |5392 | 242 |  60 |  18 |  19 |1489k|4073 | 0.000000e+00 |      --      |    Inf 
1392.02/1392.41	c  1322s|  2670k|556166 |  7347k| 525M|  54 |   - |  60 |5980 |  11 |  60 |  18 |  19 |1495k|4073 | 0.000000e+00 |      --      |    Inf 
1397.82/1398.23	c  1328s|  2680k|557939 |  7374k| 527M|  54 |   7 |  60 |6494 |  53 |  60 |  18 |  19 |1501k|4073 | 0.000000e+00 |      --      |    Inf 
1403.51/1403.99	c  1333s|  2690k|560137 |  7403k| 529M|  54 |   - |  60 |8052 |  49 |  60 |  18 |  19 |1507k|4073 | 0.000000e+00 |      --      |    Inf 
1409.91/1410.34	c  1339s|  2700k|561932 |  7431k| 532M|  54 |   - |  60 |9558 |  29 |  60 |  18 |  19 |1513k|4073 | 0.000000e+00 |      --      |    Inf 
1417.11/1417.52	c  1346s|  2710k|563607 |  7458k| 532M|  54 |   7 |  60 |5324 |  40 |  60 |  18 |  19 |1518k|4073 | 0.000000e+00 |      --      |    Inf 
1422.91/1423.36	c  1352s|  2720k|565579 |  7484k| 534M|  54 |   7 |  60 |4570 |  37 |  60 |  18 |  19 |1524k|4074 | 0.000000e+00 |      --      |    Inf 
1428.51/1428.99	c  1357s|  2730k|567407 |  7511k| 536M|  54 |   7 |  60 |4675 | 108 |  60 |  18 |  19 |1530k|4079 | 0.000000e+00 |      --      |    Inf 
1434.11/1434.55	c  1362s|  2740k|569362 |  7538k| 538M|  54 |   7 |  60 |4843 |  12 |  60 |  18 |  19 |1535k|4086 | 0.000000e+00 |      --      |    Inf 
1440.00/1440.42	c  1368s|  2750k|571023 |  7566k| 540M|  54 |   - |  60 |4672 |  92 |  60 |  18 |  19 |1541k|4090 | 0.000000e+00 |      --      |    Inf 
1445.71/1446.11	c  1373s|  2760k|572648 |  7593k| 542M|  54 |   - |  60 |4817 |  12 |   0 |   0 |  19 |1547k|4096 | 0.000000e+00 |      --      |    Inf 
1451.50/1451.97	c  1379s|  2770k|574313 |  7620k| 543M|  54 |   7 |  60 |4463 |  19 |  60 |  18 |  19 |1553k|4099 | 0.000000e+00 |      --      |    Inf 
1457.11/1457.52	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1457.11/1457.52	c  1384s|  2780k|576204 |  7648k| 545M|  54 |   7 |  60 |4546 |  53 |  60 |  18 |  19 |1558k|4102 | 0.000000e+00 |      --      |    Inf 
1462.90/1463.31	c  1390s|  2790k|577812 |  7675k| 547M|  54 |   7 |  60 |4078 |  64 |  60 |  18 |  19 |1564k|4103 | 0.000000e+00 |      --      |    Inf 
1468.20/1468.68	c  1395s|  2800k|579634 |  7702k| 549M|  54 |   - |  60 |4846 |  50 |  60 |  18 |  19 |1570k|4109 | 0.000000e+00 |      --      |    Inf 
1473.50/1473.95	c  1400s|  2810k|582003 |  7731k| 551M|  54 |   7 |  60 |6329 |  33 |  60 |  18 |  19 |1576k|4113 | 0.000000e+00 |      --      |    Inf 
1479.20/1479.61	c  1405s|  2820k|584122 |  7759k| 553M|  54 |   - |  60 |6678 |  74 |  60 |  18 |  19 |1581k|4116 | 0.000000e+00 |      --      |    Inf 
1485.49/1485.97	c  1411s|  2830k|586002 |  7787k| 555M|  54 |   7 |  60 |5530 |  50 |  60 |  18 |  19 |1587k|4127 | 0.000000e+00 |      --      |    Inf 
1490.99/1491.40	c  1417s|  2840k|588312 |  7814k| 557M|  54 |   7 |  60 |6230 |  60 |  60 |  18 |  19 |1592k|4129 | 0.000000e+00 |      --      |    Inf 
1496.49/1496.93	c  1422s|  2850k|590359 |  7841k| 559M|  54 |   - |  60 |6584 |  14 |  60 |  18 |  19 |1598k|4132 | 0.000000e+00 |      --      |    Inf 
1502.89/1503.37	c  1428s|  2860k|592142 |  7869k| 561M|  54 |   7 |  60 |5571 | 181 |  60 |  18 |  19 |1604k|4132 | 0.000000e+00 |      --      |    Inf 
1509.18/1509.61	c  1434s|  2870k|593656 |  7896k| 562M|  54 |   - |  60 |4395 |  41 |  60 |  18 |  19 |1610k|4132 | 0.000000e+00 |      --      |    Inf 
1514.39/1514.86	c  1439s|  2880k|595942 |  7924k| 565M|  54 |   7 |  60 |6009 |  16 |  60 |  18 |  19 |1616k|4132 | 0.000000e+00 |      --      |    Inf 
1520.19/1520.68	c  1445s|  2890k|598021 |  7951k| 566M|  54 |   - |  60 |5304 | 113 |  60 |  18 |  19 |1621k|4133 | 0.000000e+00 |      --      |    Inf 
1525.08/1525.52	c  1449s|  2900k|601172 |  7978k| 569M|  54 |   7 |  60 |6128 |  57 |  60 |  18 |  19 |1626k|4136 | 0.000000e+00 |      --      |    Inf 
1530.28/1530.76	c  1454s|  2910k|603981 |  8005k| 571M|  54 |   - |  60 |6724 |  15 |   0 |   0 |  19 |1631k|4141 | 0.000000e+00 |      --      |    Inf 
1535.68/1536.16	c  1459s|  2920k|606647 |  8032k| 573M|  54 |   - |  60 |6952 |  20 |  60 |  18 |  19 |1636k|4146 | 0.000000e+00 |      --      |    Inf 
1541.48/1541.96	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1541.48/1541.96	c  1465s|  2930k|608887 |  8060k| 575M|  54 |   - |  60 |6619 |  80 |  60 |  18 |  19 |1641k|4153 | 0.000000e+00 |      --      |    Inf 
1547.28/1547.73	c  1470s|  2940k|611256 |  8087k| 577M|  54 |   7 |  60 |6927 |  94 |  60 |  18 |  19 |1646k|4162 | 0.000000e+00 |      --      |    Inf 
1553.28/1553.73	c  1476s|  2950k|613455 |  8114k| 579M|  54 |   7 |  60 |6047 |  61 |  60 |  18 |  19 |1651k|4170 | 0.000000e+00 |      --      |    Inf 
1559.28/1559.73	c  1482s|  2960k|615261 |  8140k| 580M|  54 |   - |  60 |6304 |  19 |   0 |   0 |  19 |1657k|4177 | 0.000000e+00 |      --      |    Inf 
1565.77/1566.21	c  1488s|  2970k|617200 |  8168k| 582M|  54 |   - |  60 |4863 | 189 |  60 |  18 |  19 |1663k|4184 | 0.000000e+00 |      --      |    Inf 
1571.68/1572.17	c  1494s|  2980k|618898 |  8195k| 584M|  54 |   - |  60 |4232 |  30 |  60 |  18 |  19 |1669k|4195 | 0.000000e+00 |      --      |    Inf 
1577.17/1577.63	c  1499s|  2990k|620686 |  8221k| 585M|  54 |   - |  60 |3608 |  27 |  60 |  18 |  19 |1674k|4198 | 0.000000e+00 |      --      |    Inf 
1582.56/1583.05	c  1504s|  3000k|622469 |  8249k| 588M|  54 |   - |  60 |4823 | 415 |  60 |  18 |  19 |1680k|4201 | 0.000000e+00 |      --      |    Inf 
1588.46/1588.99	c  1510s|  3010k|624091 |  8276k| 589M|  54 |   7 |  60 |4471 |  82 |  60 |  18 |  19 |1686k|4201 | 0.000000e+00 |      --      |    Inf 
1594.57/1595.06	c  1516s|  3020k|625687 |  8303k| 591M|  54 |   7 |  60 |4218 |  57 |  60 |  18 |  19 |1692k|4204 | 0.000000e+00 |      --      |    Inf 
1600.07/1600.56	c  1521s|  3030k|627404 |  8330k| 593M|  54 |   7 |  60 |4454 |  61 |  60 |  18 |  19 |1698k|4214 | 0.000000e+00 |      --      |    Inf 
1605.57/1606.09	c  1526s|  3040k|629018 |  8357k| 595M|  54 |   7 |  60 |4989 |  66 |  60 |  18 |  19 |1704k|4218 | 0.000000e+00 |      --      |    Inf 
1611.36/1611.82	c  1532s|  3050k|630747 |  8385k| 597M|  54 |   7 |  60 |5684 | 173 |  60 |  18 |  19 |1710k|4224 | 0.000000e+00 |      --      |    Inf 
1617.36/1617.81	c  1537s|  3060k|632551 |  8412k| 599M|  54 |   7 |  60 |5055 |  16 |  60 |  18 |  19 |1715k|4231 | 0.000000e+00 |      --      |    Inf 
1623.25/1623.70	c  1543s|  3070k|634421 |  8441k| 601M|  54 |   7 |  60 |5206 | 444 |  60 |  18 |  19 |1721k|4234 | 0.000000e+00 |      --      |    Inf 
1629.26/1629.71	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1629.26/1629.71	c  1549s|  3080k|636105 |  8468k| 602M|  54 |   7 |  60 |4505 | 155 |  60 |  18 |  19 |1727k|4237 | 0.000000e+00 |      --      |    Inf 
1634.95/1635.49	c  1554s|  3090k|637788 |  8495k| 604M|  54 |   - |  60 |4749 | 106 |  60 |  18 |  19 |1733k|4239 | 0.000000e+00 |      --      |    Inf 
1640.66/1641.19	c  1560s|  3100k|639562 |  8522k| 606M|  54 |   7 |  60 |5261 |  98 |  60 |  18 |  19 |1739k|4240 | 0.000000e+00 |      --      |    Inf 
1646.25/1646.74	c  1565s|  3110k|641576 |  8548k| 608M|  54 |   - |  60 |6352 |  79 |  60 |  18 |  19 |1745k|4240 | 0.000000e+00 |      --      |    Inf 
1652.45/1652.96	c  1571s|  3120k|643192 |  8575k| 609M|  54 |   7 |  60 |4337 | 217 |  60 |  18 |  19 |1750k|4243 | 0.000000e+00 |      --      |    Inf 
1658.15/1658.62	c  1576s|  3130k|645059 |  8602k| 611M|  54 |   - |  60 |4186 | 128 |  60 |  18 |  19 |1756k|4246 | 0.000000e+00 |      --      |    Inf 
1663.64/1664.16	c  1581s|  3140k|646832 |  8629k| 613M|  54 |   - |  60 |4726 |  41 |  60 |  18 |  19 |1762k|4255 | 0.000000e+00 |      --      |    Inf 
1669.34/1669.89	c  1587s|  3150k|648541 |  8656k| 615M|  54 |   7 |  60 |4640 |  53 |  60 |  18 |  19 |1768k|4261 | 0.000000e+00 |      --      |    Inf 
1675.25/1675.71	c  1593s|  3160k|650371 |  8683k| 617M|  54 |   7 |  60 |4450 |  53 |  60 |  18 |  19 |1773k|4265 | 0.000000e+00 |      --      |    Inf 
1680.25/1680.76	c  1597s|  3170k|652543 |  8710k| 619M|  54 |   - |  60 |6244 |  26 |  60 |  18 |  19 |1779k|4267 | 0.000000e+00 |      --      |    Inf 
1686.14/1686.68	c  1603s|  3180k|654540 |  8737k| 621M|  54 |   7 |  60 |5725 |  21 |  60 |  18 |  19 |1784k|4267 | 0.000000e+00 |      --      |    Inf 
1692.54/1693.02	c  1609s|  3190k|656131 |  8764k| 623M|  54 |   7 |  60 |4888 | 337 |  60 |  18 |  19 |1790k|4267 | 0.000000e+00 |      --      |    Inf 
1698.13/1698.66	c  1614s|  3200k|657814 |  8791k| 625M|  54 |   - |  60 |4265 |  17 |  60 |  18 |  19 |1796k|4267 | 0.000000e+00 |      --      |    Inf 
1703.74/1704.21	c  1620s|  3210k|659545 |  8818k| 626M|  54 |   7 |  60 |4632 |  36 |  60 |  18 |  19 |1802k|4267 | 0.000000e+00 |      --      |    Inf 
1709.54/1710.03	c  1625s|  3220k|661296 |  8845k| 628M|  54 |   - |  60 |4280 |  75 |  60 |  18 |  19 |1808k|4271 | 0.000000e+00 |      --      |    Inf 
1715.13/1715.66	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1715.13/1715.66	c  1631s|  3230k|663138 |  8872k| 630M|  54 |   7 |  60 |4223 | 111 |  60 |  18 |  19 |1813k|4275 | 0.000000e+00 |      --      |    Inf 
1720.54/1721.03	c  1636s|  3240k|664718 |  8899k| 632M|  54 |   7 |  60 |4423 | 180 |  60 |  18 |  19 |1819k|4285 | 0.000000e+00 |      --      |    Inf 
1725.63/1726.19	c  1641s|  3250k|666653 |  8925k| 634M|  54 |   - |  60 |5227 |  18 |   0 |   0 |  19 |1825k|4289 | 0.000000e+00 |      --      |    Inf 
1731.43/1731.93	c  1646s|  3260k|668516 |  8952k| 636M|  54 |   - |  60 |4760 |  31 |  60 |  18 |  19 |1831k|4292 | 0.000000e+00 |      --      |    Inf 
1737.02/1737.54	c  1652s|  3270k|670274 |  8980k| 638M|  54 |   7 |  60 |4643 |  16 |  60 |  18 |  19 |1836k|4296 | 0.000000e+00 |      --      |    Inf 
1742.63/1743.11	c  1657s|  3280k|672068 |  9007k| 639M|  54 |   7 |  60 |4572 |   8 |  60 |  18 |  19 |1842k|4301 | 0.000000e+00 |      --      |    Inf 
1748.13/1748.67	c  1662s|  3290k|673955 |  9034k| 641M|  54 |   7 |  60 |4248 |  42 |  60 |  18 |  19 |1848k|4304 | 0.000000e+00 |      --      |    Inf 
1753.13/1753.65	c  1667s|  3300k|676273 |  9061k| 643M|  54 |   7 |  60 |5482 |  34 |  60 |  18 |  19 |1853k|4310 | 0.000000e+00 |      --      |    Inf 
1759.02/1759.54	c  1673s|  3310k|678042 |  9088k| 645M|  54 |   7 |  60 |4950 |  14 |  60 |  18 |  19 |1859k|4318 | 0.000000e+00 |      --      |    Inf 
1764.42/1764.91	c  1678s|  3320k|680163 |  9115k| 647M|  54 |   7 |  60 |5248 |  13 |  60 |  18 |  19 |1864k|4321 | 0.000000e+00 |      --      |    Inf 
1770.02/1770.56	c  1683s|  3330k|681957 |  9143k| 649M|  54 |   7 |  60 |4826 |  53 |  60 |  18 |  19 |1870k|4325 | 0.000000e+00 |      --      |    Inf 
1775.72/1776.25	c  1688s|  3340k|683924 |  9170k| 651M|  54 |   - |  60 |4619 |  49 |  60 |  18 |  19 |1875k|4328 | 0.000000e+00 |      --      |    Inf 
1781.72/1782.25	c  1694s|  3350k|685422 |  9197k| 653M|  54 |   7 |  60 |4476 | 164 |  60 |  18 |  19 |1881k|4336 | 0.000000e+00 |      --      |    Inf 
1787.22/1787.78	c  1699s|  3360k|687263 |  9223k| 655M|  54 |   7 |  60 |4864 | 204 |  60 |  18 |  19 |1887k|4342 | 0.000000e+00 |      --      |    Inf 
1792.81/1793.31	c  1705s|  3370k|689038 |  9250k| 656M|  54 |   7 |  60 |5300 |  79 |  60 |  18 |  19 |1893k|4342 | 0.000000e+00 |      --      |    Inf 
1798.41/1798.99	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1798.41/1798.99	c  1710s|  3380k|690922 |  9277k| 658M|  54 |   7 |  60 |5139 | 200 |  60 |  18 |  19 |1898k|4342 | 0.000000e+00 |      --      |    Inf 
1800.01/1800.50	c 
1800.01/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.50	c Solving Time (sec) : 1711.52
1800.01/1800.50	c Solving Nodes      : 3382594
1800.01/1800.50	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.01/1800.50	c Dual Bound         : +0.00000000000000e+00
1800.01/1800.50	c Gap                : infinite
1800.01/1800.50	c NODE         3382594
1800.01/1800.50	c DUAL BOUND   0
1800.01/1800.50	c PRIMAL BOUND 1e+20
1800.01/1800.50	c GAP          1e+20
1800.01/1800.50	s UNKNOWN
1800.01/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.50	c Solving Time       :    1711.52
1800.01/1800.50	c Original Problem   :
1800.01/1800.50	c   Problem name     : HOME/instance-1869490-1245174476.opb
1800.01/1800.50	c   Variables        : 61 (61 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50	c   Constraints      : 15 initial, 15 maximal
1800.01/1800.50	c Presolved Problem  :
1800.01/1800.50	c   Problem name     : t_HOME/instance-1869490-1245174476.opb
1800.01/1800.50	c   Variables        : 60 (60 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50	c   Constraints      : 7 initial, 9595 maximal
1800.01/1800.50	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.01/1800.50	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   dualfix          :       0.00          1          0          0          0          0          0          0          0
1800.01/1800.50	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.01/1800.50	c   linear           :       0.00          0          0          0          0          0          8          0          0
1800.01/1800.50	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   root node        :          -          0          -          -          0          -          -          -          -
1800.01/1800.50	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.50	c   integral         :          0          0          0    2056244          0        515       1772          0          0    4108142
1800.01/1800.50	c   linear           :          7          6    8543418          0          0     170140    4890306          0          0          0
1800.01/1800.50	c   logicor          :          0+         0    3450988          0          0      23676    1282687          0          0          0
1800.01/1800.50	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.01/1800.50	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.01/1800.50	c   integral         :      22.68       0.00       0.00      22.68       0.00
1800.01/1800.50	c   linear           :     382.02       0.00     382.02       0.00       0.00
1800.01/1800.50	c   logicor          :     329.11       0.00     329.11       0.00       0.00
1800.01/1800.50	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.01/1800.50	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.01/1800.50	c   rootredcost      :       2.53          0          0          0
1800.01/1800.50	c   pseudoobj        :       1.96          0          0          0
1800.01/1800.50	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.01/1800.50	c   propagation      :      24.22     193816     179352     644358       41.0         54       35.1          -
1800.01/1800.50	c   infeasible LP    :      84.79    1161396    1161355    2537075       29.2      13147       34.0          0
1800.01/1800.50	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.50	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.50	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.01/1800.50	c   applied globally :          -          -          -    1493672       23.6          -          -          -
1800.01/1800.50	c   applied locally  :          -          -          -     406677       36.7          -          -          -
1800.01/1800.50	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.01/1800.50	c   cut pool         :       0.00          5          -          -         34          -    (maximal pool size: 79)
1800.01/1800.50	c   redcost          :       4.45    2056237          0          0          0          0
1800.01/1800.50	c   impliedbounds    :       0.00          6          0          0          0          0
1800.01/1800.50	c   intobj           :       0.00          0          0          0          0          0
1800.01/1800.50	c   gomory           :       0.02          6          0          0          0          0
1800.01/1800.50	c   strongcg         :       0.00          6          0          0         23          0
1800.01/1800.50	c   cmir             :       0.02          6          0          0         40          0
1800.01/1800.50	c   flowcover        :       0.02          6          0          0         48          0
1800.01/1800.50	c   clique           :       0.00          1          0          0          0          0
1800.01/1800.50	c   zerohalf         :       0.00          0          0          0          0          0
1800.01/1800.50	c   mcf              :       0.00          1          0          0          0          0
1800.01/1800.50	c Pricers            :       Time      Calls       Vars
1800.01/1800.50	c   problem variables:       0.00          0          0
1800.01/1800.50	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.50	c   relpscost        :      20.84    2056244        515       1772          0          0    4108142
1800.01/1800.50	c   pscost           :       0.00          0          0          0          0          0          0
1800.01/1800.50	c   inference        :       0.00          0          0          0          0          0          0
1800.01/1800.50	c   mostinf          :       0.00          0          0          0          0          0          0
1800.01/1800.50	c   leastinf         :       0.00          0          0          0          0          0          0
1800.01/1800.50	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.01/1800.50	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.01/1800.50	c   random           :       0.00          0          0          0          0          0          0
1800.01/1800.50	c Primal Heuristics  :       Time      Calls      Found
1800.01/1800.50	c   LP solutions     :       0.00          -          0
1800.01/1800.50	c   pseudo solutions :       0.00          -          0
1800.01/1800.50	c   oneopt           :       1.42          0          0
1800.01/1800.50	c   crossover        :       0.88          0          0
1800.01/1800.50	c   guideddiving     :       0.07          0          0
1800.01/1800.50	c   pscostdiving     :       0.17         42          0
1800.01/1800.50	c   fracdiving       :       0.14         42          0
1800.01/1800.50	c   coefdiving       :       0.19         43          0
1800.01/1800.50	c   veclendiving     :       0.19         43          0
1800.01/1800.50	c   linesearchdiving :       0.11         43          0
1800.01/1800.50	c   feaspump         :       0.08         22          0
1800.01/1800.50	c   objpscostdiving  :       0.12         22          0
1800.01/1800.50	c   rootsoldiving    :       0.17         22          0
1800.01/1800.50	c   simplerounding   :       0.93          0          0
1800.01/1800.50	c   rounding         :       1.95      20239          0
1800.01/1800.50	c   shifting         :       4.68       6367          0
1800.01/1800.50	c   intshifting      :       0.05          0          0
1800.01/1800.50	c   fixandinfer      :       0.00          0          0
1800.01/1800.50	c   intdiving        :       0.00          0          0
1800.01/1800.50	c   actconsdiving    :       0.00          0          0
1800.01/1800.50	c   octane           :       0.00          0          0
1800.01/1800.50	c   rens             :       0.02          1          0
1800.01/1800.50	c   rins             :       0.00          0          0
1800.01/1800.50	c   localbranching   :       0.00          0          0
1800.01/1800.50	c   mutation         :       0.00          0          0
1800.01/1800.50	c   dins             :       0.00          0          0
1800.01/1800.50	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.01/1800.50	c   primal LP        :       0.00          0          0       0.00          -
1800.01/1800.50	c   dual LP          :     346.25    3135055    9282112       2.96   26807.54
1800.01/1800.50	c   barrier LP       :       0.00          0          0       0.00          -
1800.01/1800.50	c   diving/probing LP:       0.10       1120       2601       2.32   26010.00
1800.01/1800.50	c   strong branching :       1.04       4342      25639       5.90   24652.88
1800.01/1800.50	c     (at root node) :          -         18        684      38.00          -
1800.01/1800.50	c   conflict analysis:       0.00          0          0       0.00          -
1800.01/1800.50	c B&B Tree           :
1800.01/1800.50	c   number of runs   :          1
1800.01/1800.50	c   nodes            :    3382594
1800.01/1800.50	c   nodes (total)    :    3382594
1800.01/1800.50	c   nodes left       :     691494
1800.01/1800.50	c   max depth        :         54
1800.01/1800.50	c   max depth (total):         54
1800.01/1800.50	c   backtracks       :     392466 (11.6%)
1800.01/1800.50	c   delayed cutoffs  :      34055
1800.01/1800.50	c   repropagations   :    3206834 (1578912 domain reductions, 26689 cutoffs)
1800.01/1800.50	c   avg switch length:       5.38
1800.01/1800.50	c   switching time   :     308.42
1800.01/1800.50	c Solution           :
1800.01/1800.50	c   Solutions found  :          0 (0 improvements)
1800.01/1800.50	c   Primal Bound     :          -
1800.01/1800.50	c   Dual Bound       : +0.00000000000000e+00
1800.01/1800.50	c   Gap              :   infinite
1800.01/1800.50	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-1869490-1245174476/watcher-1869490-1245174476 -o /tmp/evaluation-result-1869490-1245174476/solver-1869490-1245174476 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869490-1245174476.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.92 1.06 1.43 3/65 2436
/proc/meminfo: memFree=1837416/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=6100 CPUtime=0
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 564 0 0 0 0 0 0 0 20 0 1 0 185046218 6246400 546 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/2436/statm: 1525 557 325 886 0 635 0

[startup+0.017858 s]
/proc/loadavg: 0.92 1.06 1.43 3/65 2436
/proc/meminfo: memFree=1837416/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=11828 CPUtime=0
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 2379 0 0 0 0 0 0 0 20 0 1 0 185046218 12111872 2007 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 2957 2007 437 886 0 2067 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11828

[startup+0.102868 s]
/proc/loadavg: 0.92 1.06 1.43 3/65 2436
/proc/meminfo: memFree=1837416/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=13956 CPUtime=0.09
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 2855 0 0 0 9 0 0 0 20 0 1 0 185046218 14290944 2483 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 3489 2491 544 886 0 2599 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13956

[startup+0.30189 s]
/proc/loadavg: 0.92 1.06 1.43 3/65 2436
/proc/meminfo: memFree=1837416/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=15076 CPUtime=0.29
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 4474 0 0 0 27 2 0 0 22 0 1 0 185046218 15437824 2979 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 3769 2979 566 886 0 2879 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15076

[startup+0.702936 s]
/proc/loadavg: 0.92 1.06 1.43 3/65 2436
/proc/meminfo: memFree=1837416/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=15076 CPUtime=0.7
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 4477 0 0 0 65 5 0 0 25 0 1 0 185046218 15437824 2982 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 3769 2982 566 886 0 2879 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 15076

[startup+1.50202 s]
/proc/loadavg: 0.93 1.06 1.43 2/66 2437
/proc/meminfo: memFree=1827488/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=15076 CPUtime=1.49
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 4479 0 0 0 140 9 0 0 25 0 1 0 185046218 15437824 2984 1992294400 4194304 7823515 548682068736 18446744073709551615 4560064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 3769 2984 566 886 0 2879 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15076

[startup+3.10121 s]
/proc/loadavg: 0.93 1.06 1.43 2/66 2437
/proc/meminfo: memFree=1827360/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=16372 CPUtime=3.09
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 4827 0 0 0 291 18 0 0 25 0 1 0 185046218 16764928 3332 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 4093 3332 566 886 0 3203 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16372

[startup+6.30157 s]
/proc/loadavg: 0.93 1.06 1.43 2/66 2437
/proc/meminfo: memFree=1824032/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=18764 CPUtime=6.29
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 5400 0 0 0 590 39 0 0 25 0 1 0 185046218 19214336 3905 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 4691 3905 566 886 0 3801 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18764

[startup+12.7013 s]
/proc/loadavg: 0.94 1.06 1.42 2/66 2437
/proc/meminfo: memFree=1820264/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=22828 CPUtime=12.68
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 6454 0 0 0 1188 80 0 0 25 0 1 0 185046218 23375872 4959 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 5707 4959 566 886 0 4817 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22828

[startup+25.5017 s]
/proc/loadavg: 0.95 1.05 1.42 2/66 2437
/proc/meminfo: memFree=1812008/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=30452 CPUtime=25.48
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 8383 0 0 0 2395 153 0 0 25 0 1 0 185046218 31182848 6888 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 7613 6888 566 886 0 6723 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30452

[startup+51.1017 s]
/proc/loadavg: 0.97 1.05 1.40 2/66 2437
/proc/meminfo: memFree=1798312/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=43896 CPUtime=51.07
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 11763 0 0 0 4801 306 0 0 25 0 1 0 185046218 44949504 10268 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 10974 10268 566 886 0 10084 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 43896

[startup+102.305 s]
/proc/loadavg: 0.98 1.04 1.38 2/66 2437
/proc/meminfo: memFree=1772392/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=69404 CPUtime=102.27
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 18231 0 0 0 9625 602 0 0 25 0 1 0 185046218 71069696 16736 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 17351 16736 566 886 0 16461 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 69404

[startup+162.301 s]
/proc/loadavg: 0.99 1.03 1.35 2/66 2437
/proc/meminfo: memFree=1743784/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=99180 CPUtime=162.25
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 25359 0 0 0 15293 932 0 0 25 0 1 0 185046218 101560320 23864 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 24795 23864 566 886 0 23905 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 99180

[startup+222.301 s]
/proc/loadavg: 0.99 1.02 1.33 2/66 2437
/proc/meminfo: memFree=1716072/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=126488 CPUtime=222.23
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 32255 0 0 0 20971 1252 0 0 25 0 1 0 185046218 129523712 30760 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 31622 30760 566 886 0 30732 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 126488

[startup+282.302 s]
/proc/loadavg: 0.99 1.02 1.31 2/66 2439
/proc/meminfo: memFree=1692136/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=149936 CPUtime=282.21
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 38179 0 0 0 26657 1564 0 0 25 0 1 0 185046218 153534464 36684 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 37484 36684 566 886 0 36594 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 149936

[startup+342.302 s]
/proc/loadavg: 0.99 1.01 1.28 2/66 2439
/proc/meminfo: memFree=1666280/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=175556 CPUtime=342.2
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 44654 0 0 0 32346 1874 0 0 25 0 1 0 185046218 179769344 43159 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 43889 43159 566 886 0 42999 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 175556

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 1.26 2/66 2439
/proc/meminfo: memFree=1641704/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=199640 CPUtime=402.18
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 50733 0 0 0 38035 2183 0 0 25 0 1 0 185046218 204431360 49238 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 49910 49238 566 886 0 49020 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 199640

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.25 2/66 2439
/proc/meminfo: memFree=1617128/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=227704 CPUtime=462.17
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 56861 0 0 0 43726 2491 0 0 25 0 1 0 185046218 233168896 55366 1992294400 4194304 7823515 548682068736 18446744073709551615 5102406 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 56926 55366 566 886 0 56036 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 227704

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.23 2/66 2439
/proc/meminfo: memFree=1593576/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=250776 CPUtime=522.15
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 62708 0 0 0 49422 2793 0 0 25 0 1 0 185046218 256794624 61213 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 62694 61213 566 886 0 61804 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 250776

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 1.21 2/66 2439
/proc/meminfo: memFree=1570024/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=274396 CPUtime=582.14
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 68648 0 0 0 55120 3094 0 0 25 0 1 0 185046218 280981504 67153 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 68599 67153 566 886 0 67709 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 274396

[startup+642.303 s]
/proc/loadavg: 0.99 1.00 1.19 2/66 2439
/proc/meminfo: memFree=1549480/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=293988 CPUtime=642.12
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 73684 0 0 0 60823 3389 0 0 25 0 1 0 185046218 301043712 72189 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 73497 72189 566 886 0 72607 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 293988

[startup+702.303 s]

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

/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 107846 0 0 0 95038 5164 0 0 25 0 1 0 185046218 438898688 106351 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 107153 106351 566 886 0 106263 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 428612

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.11 2/66 2445
/proc/meminfo: memFree=1391144/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=450752 CPUtime=1062.01
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 113346 0 0 0 100754 5447 0 0 25 0 1 0 185046218 461570048 111851 1992294400 4194304 7823515 548682068736 18446744073709551615 5062829 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 112688 111851 566 886 0 111798 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 450752

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.09 2/66 2445
/proc/meminfo: memFree=1372456/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=475784 CPUtime=1121.99
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 117676 0 0 0 106483 5716 0 0 25 0 1 0 185046218 487202816 116181 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 118946 116181 566 886 0 118056 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 475784

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.09 2/66 2445
/proc/meminfo: memFree=1352104/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=495516 CPUtime=1181.97
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 122741 0 0 0 112192 6005 0 0 25 0 1 0 185046218 507408384 121246 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 123879 121246 566 886 0 122989 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 495516

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.08 2/66 2445
/proc/meminfo: memFree=1329960/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=516892 CPUtime=1241.96
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 128207 0 0 0 117914 6282 0 0 25 0 1 0 185046218 529297408 126712 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 129223 126712 566 886 0 128333 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 516892

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.08 2/66 2445
/proc/meminfo: memFree=1310824/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=536032 CPUtime=1301.95
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 132965 0 0 0 123629 6566 0 0 25 0 1 0 185046218 548896768 131470 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 134008 131470 566 886 0 133118 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 536032

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.07 2/66 2445
/proc/meminfo: memFree=1289320/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=557400 CPUtime=1361.92
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 138402 0 0 0 129337 6855 0 0 25 0 1 0 185046218 570777600 136907 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 139350 136907 566 886 0 138460 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 557400

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.06 2/66 2445
/proc/meminfo: memFree=1270248/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=575436 CPUtime=1421.91
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 143060 0 0 0 135078 7113 0 0 25 0 1 0 185046218 589246464 141565 1992294400 4194304 7823515 548682068736 18446744073709551615 4243063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 143859 141565 566 886 0 142969 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 575436

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.06 2/66 2445
/proc/meminfo: memFree=1251624/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=594116 CPUtime=1481.89
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 147818 0 0 0 140793 7396 0 0 25 0 1 0 185046218 608374784 146323 1992294400 4194304 7823515 548682068736 18446744073709551615 4209589 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 148529 146323 566 886 0 147639 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 594116

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 1.05 2/66 2445
/proc/meminfo: memFree=1232104/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=613404 CPUtime=1541.88
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 152526 0 0 0 146520 7668 0 0 25 0 1 0 185046218 628125696 151031 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 153351 151031 566 886 0 152461 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 613404

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 1.05 2/66 2445
/proc/meminfo: memFree=1214504/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=630476 CPUtime=1601.87
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 156937 0 0 0 152246 7941 0 0 25 0 1 0 185046218 645607424 155442 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 157619 155442 566 886 0 156729 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 630476

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 1.04 2/66 2445
/proc/meminfo: memFree=1194472/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=649860 CPUtime=1661.85
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 161894 0 0 0 157971 8214 0 0 25 0 1 0 185046218 665456640 160399 1992294400 4194304 7823515 548682068736 18446744073709551615 5102406 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 162465 160399 566 886 0 161575 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 649860

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 1.03 2/66 2445
/proc/meminfo: memFree=1170920/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=672876 CPUtime=1721.83
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 167744 0 0 0 163696 8487 0 0 25 0 1 0 185046218 689025024 166249 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 168219 166249 566 886 0 167329 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 672876

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 1.03 2/66 2445
/proc/meminfo: memFree=1146920/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=696148 CPUtime=1781.81
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 173684 0 0 0 169417 8764 0 0 25 0 1 0 185046218 712855552 172189 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 174037 172189 566 886 0 173147 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 696148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 1.00 1.03 2/66 2445
/proc/meminfo: memFree=1141480/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=701400 CPUtime=1800.01
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 175032 0 0 0 171152 8849 0 0 25 0 1 0 185046218 718233600 173537 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2436/statm: 175350 173537 566 886 0 174460 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 701400

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -2436

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

[startup+1801.4 s]
/proc/loadavg: 0.99 1.00 1.03 2/67 2446
/proc/meminfo: memFree=1141408/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=701400 CPUtime=1800.91
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 175034 0 0 0 171242 8849 0 0 25 0 1 0 185046218 718233600 173539 1992294400 4194304 7823515 548682068736 18446744073709551615 5875265 0 0 4096 0 0 0 0 17 1 0 0
/proc/2436/statm: 175350 173539 568 886 0 174460 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 701400

[startup+1802.2 s]
/proc/loadavg: 0.99 1.00 1.03 2/67 2446
/proc/meminfo: memFree=1141408/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=701400 CPUtime=1801.71
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4194304 175034 0 0 0 171322 8849 0 0 25 0 1 0 185046218 718233600 173539 1992294400 4194304 7823515 548682068736 18446744073709551615 5875265 0 0 4096 0 0 0 0 17 1 0 0
/proc/2436/statm: 175350 173539 568 886 0 174460 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 701400

[startup+1802.6 s]
/proc/loadavg: 0.99 1.00 1.03 2/67 2446
/proc/meminfo: memFree=1141408/2055920 swapFree=4192948/4192956
[pid=2436] ppid=2434 vsize=0 CPUtime=1802.11
/proc/2436/stat : 2436 (pbscip.linux.x8) R 2434 2436 2399 0 -1 4195332 175034 0 0 0 171352 8859 0 0 25 0 1 0 185046218 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/2436/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.61
CPU time (s): 1802.13
CPU user time (s): 1713.53
CPU system time (s): 88.5985
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 701400

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

runsolver used 2.01169 second user time and 4.45332 second system time

The end

Launcher Data

Begin job on node85 at 2009-06-16 19:47:57
IDJOB=1869490
IDBENCH=2900
IDSOLVER=683
FILE ID=node85/1869490-1245174476
PBS_JOBID= 9363922
Free space on /tmp= 126844 MiB

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

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

MD5SUM BENCH= 487945ea0e229650aa78cf341d4ff673
RANDOM SEED=1151203601

node85.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.213
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
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:       1837896 kB
Buffers:         30944 kB
Cached:         104776 kB
SwapCached:          8 kB
Active:          49920 kB
Inactive:        99252 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1837896 kB
SwapTotal:     4192956 kB
SwapFree:      4192948 kB
Dirty:           10012 kB
Writeback:           0 kB
Mapped:          23220 kB
Slab:            54812 kB
Committed_AS:    71164 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 126836 MiB
End job on node85 at 2009-06-16 20:17:59