Trace number 4432574

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 NameAnswerobjective functionCPU timeWall clock time
SCIP 2024-07-07Signal 556.924 559.326

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-railway_8_1_0.opb
MD5SUM881f02ab7f3f3b5ffe74a08302b7945a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark409600
Best CPU time to get the best result obtained on this benchmark42.4087
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19747
Total number of constraints3145
Number of constraints which are clauses426
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2719
Minimum length of a constraint4
Maximum length of a constraint61
Number of terms in the objective function 133
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073847295
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1024000000
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 2147758078
Number of bits of the biggest sum of numbers32
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-4432574-1721065232.opb>
0.00/0.06	c original problem has 19747 variables (19747 bin, 0 int, 0 impl, 0 cont) and 3145 constraints
0.00/0.06	c problem read in 0.06
0.09/0.12	c presolving:
0.09/0.16	c (round 1, fast)       30 del vars, 1 del conss, 0 add conss, 30 chg bounds, 2472 chg sides, 2472 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.20	c    (0.2s) running MILP presolver
0.20/0.23	c    (0.2s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.20/0.24	c (round 2, exhaustive) 30 del vars, 205 del conss, 0 add conss, 30 chg bounds, 2472 chg sides, 2472 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.20/0.27	c (round 3, fast)       3092 del vars, 243 del conss, 166 add conss, 30 chg bounds, 2472 chg sides, 2472 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.20/0.27	c (round 4, fast)       3092 del vars, 243 del conss, 239 add conss, 30 chg bounds, 2472 chg sides, 2472 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.30/0.31	c    (0.3s) running MILP presolver
0.30/0.35	c    (0.3s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.30/0.35	c (round 5, exhaustive) 3092 del vars, 354 del conss, 239 add conss, 30 chg bounds, 2472 chg sides, 2472 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.30/0.39	c (round 6, exhaustive) 3092 del vars, 354 del conss, 239 add conss, 30 chg bounds, 2472 chg sides, 2472 chg coeffs, 2263 upgd conss, 0 impls, 0 clqs
0.40/0.43	c (round 7, medium)     3092 del vars, 354 del conss, 651 add conss, 30 chg bounds, 2884 chg sides, 3296 chg coeffs, 2263 upgd conss, 0 impls, 618 clqs
0.40/0.45	c (round 8, exhaustive) 3092 del vars, 354 del conss, 651 add conss, 30 chg bounds, 2884 chg sides, 3296 chg coeffs, 2864 upgd conss, 0 impls, 618 clqs
0.88/0.99	c    (1.0s) probing: 219/16655 (1.3%) - 0 fixings, 0 aggregations, 24151 implications, 0 bound changes
0.88/0.99	c    (1.0s) probing aborted: 50/50 successive totally useless probings
0.98/1.03	c    (1.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.98/1.08	c    (1.1s) no symmetry present (symcode time: 0.03)
1.09/1.11	c presolving (9 rounds: 9 fast, 6 medium, 5 exhaustive):
1.09/1.11	c  3092 deleted vars, 354 deleted constraints, 651 added constraints, 30 tightened bounds, 0 added holes, 2884 changed sides, 3296 changed coefficients
1.09/1.11	c  0 implications, 24769 cliques
1.09/1.11	c presolved problem has 16655 variables (16655 bin, 0 int, 0 impl, 0 cont) and 3442 constraints
1.09/1.11	c    2272 constraints of type <knapsack>
1.09/1.11	c     412 constraints of type <setppc>
1.09/1.11	c     166 constraints of type <linear>
1.09/1.11	c     592 constraints of type <logicor>
1.09/1.11	c transformed objective value is always integral (scale: 1024)
1.09/1.11	c Presolving Time: 1.00
1.09/1.11	c - non default parameters ----------------------------------------------------------------------
1.09/1.11	c # SCIP version 10.0.0
1.09/1.11	c 
1.09/1.11	c # maximal time in seconds to run
1.09/1.11	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.09/1.11	c limits/time = 3596.998053
1.09/1.11	c 
1.09/1.11	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.09/1.11	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.09/1.11	c limits/memory = 27900
1.09/1.11	c 
1.09/1.11	c # belongs reading time to solving time?
1.09/1.11	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.09/1.11	c timing/reading = TRUE
1.09/1.11	c 
1.09/1.11	c -----------------------------------------------------------------------------------------------
1.09/1.11	c start solving
1.09/1.11	c 
1.28/1.32	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1.28/1.32	c   1.3s|     1 |     0 |  1547 |     - |   187M |   0 |  16k|3443 |3442 |   0 |  0 |   0 |   0 | 4.065280e+05 |      --      |    Inf | unknown
2.08/2.14	c   2.1s|     1 |     0 |  5447 |     - |   197M |   0 |  16k|3444 |3717 | 275 |  1 |   1 |   0 | 4.065280e+05 |      --      |    Inf | unknown
2.27/2.30	c   2.3s|     1 |     0 |  5807 |     - |   197M |   0 |  16k|3444 |3859 | 417 |  2 |   1 |   0 | 4.065280e+05 |      --      |    Inf | unknown
2.47/2.59	c   2.6s|     1 |     0 |  6918 |     - |   200M |   0 |  16k|3445 |3968 | 526 |  3 |   2 |   0 | 4.065280e+05 |      --      |    Inf | unknown
2.67/2.78	c   2.8s|     1 |     0 |  7377 |     - |   202M |   0 |  16k|3445 |4088 | 646 |  4 |   2 |   0 | 4.065280e+05 |      --      |    Inf | unknown
3.17/3.23	c   3.2s|     1 |     0 |  8569 |     - |   207M |   0 |  16k|3445 |4354 | 912 |  5 |   2 |   0 | 4.065280e+05 |      --      |    Inf | unknown
3.47/3.50	c   3.5s|     1 |     0 |  9897 |     - |   210M |   0 |  16k|3445 |4576 |1134 |  6 |   2 |   0 | 4.065280e+05 |      --      |    Inf | unknown
3.87/3.90	c   3.9s|     1 |     0 | 10888 |     - |   211M |   0 |  16k|3447 |4737 |1295 |  7 |   4 |   0 | 4.065280e+05 |      --      |    Inf | unknown
4.37/4.47	c   4.5s|     1 |     0 | 11860 |     - |   214M |   0 |  16k|3447 |4930 |1488 |  8 |   4 |   0 | 4.065280e+05 |      --      |    Inf | unknown
5.07/5.18	c   5.2s|     1 |     0 | 13407 |     - |   215M |   0 |  16k|3449 |5102 |1660 |  9 |   6 |   0 | 4.065280e+05 |      --      |    Inf | unknown
5.46/5.50	c   5.5s|     1 |     0 | 14424 |     - |   222M |   0 |  16k|3451 |5277 |1835 | 10 |   8 |   0 | 4.065280e+05 |      --      |    Inf | unknown
5.66/5.76	c   5.8s|     1 |     0 | 15588 |     - |   224M |   0 |  16k|3451 |5423 |1981 | 11 |   8 |   0 | 4.065280e+05 |      --      |    Inf | unknown
6.65/6.79	c   6.8s|     1 |     2 | 25928 |     - |   225M |   0 |  16k|3462 |5423 |1981 | 11 |  19 |   0 | 4.065280e+05 |      --      |    Inf | unknown
12.33/12.49	c  12.5s|   100 |    39 | 66915 | 518.5 |   230M |  33 |  16k|3678 |5585 |2571 |  1 | 235 |   0 | 4.065280e+05 |      --      |    Inf |   9.57%
15.12/15.22	c  15.2s|   200 |    89 | 70734 | 277.1 |   235M | 108 |  16k|3702 |5649 |2642 |  1 | 265 |   0 | 4.065280e+05 |      --      |    Inf |   9.57%
18.02/18.15	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
18.02/18.15	c  18.2s|   300 |   121 | 79273 | 213.0 |   237M | 119 |  16k|3739 |5573 |2748 |  1 | 311 |   0 | 4.065280e+05 |      --      |    Inf |   9.57%
20.50/20.67	c  20.7s|   400 |   154 | 89162 | 184.4 |   242M | 119 |  16k|3776 |5530 |2930 |  1 | 348 |   0 | 4.065280e+05 |      --      |    Inf |  10.40%
22.09/22.23	c  22.2s|   500 |   206 | 91441 | 152.0 |   243M | 119 |  16k|3815 |5595 |3015 |  1 | 387 |   0 | 4.065280e+05 |      --      |    Inf |  10.40%
24.38/24.59	c  24.6s|   600 |   270 |102823 | 145.6 |   244M | 119 |  16k|3850 |5586 |3053 |  1 | 422 |   0 | 4.065280e+05 |      --      |    Inf |  10.40%
27.17/27.31	o 466944
27.17/27.31	c d27.3s|   665 |   335 |118268 | 154.6 |distribu| 131 |  16k|4029 |5593 |   0 |  1 | 601 |   0 | 4.065280e+05 | 4.669440e+05 |  14.86%|  10.40%
27.37/27.52	o 464896
27.37/27.52	c i27.5s|   668 |   328 |122682 | 160.6 |  oneopt| 131 |  16k|4033 |5576 |3060 |  0 | 605 |   0 | 4.065280e+05 | 4.648960e+05 |  14.36%|   4.58%
28.36/28.53	o 462848
28.36/28.53	c d28.5s|   681 |   343 |133047 | 172.7 |guideddi| 131 |  16k|4033 |5580 |   0 |  1 | 605 |   0 | 4.065280e+05 | 4.628480e+05 |  13.85%|   4.58%
29.06/29.27	c  29.3s|   700 |   337 |139443 | 177.2 |   251M | 131 |  16k|4038 |5500 |3200 |  1 | 612 |   0 | 4.065280e+05 | 4.628480e+05 |  13.85%|   6.97%
34.24/34.41	o 451584
34.24/34.41	c d34.4s|   786 |   389 |190555 | 222.9 |linesear| 131 |  16k|4367 |5583 |   0 |  1 | 957 |   0 | 4.065280e+05 | 4.515840e+05 |  11.08%|  11.20%
34.94/35.19	c  35.2s|   800 |   403 |199632 | 230.3 |   254M | 131 |  16k|4360 |5583 |3313 |  1 | 958 |   0 | 4.065280e+05 | 4.515840e+05 |  11.08%|  11.20%
40.01/40.26	c  40.3s|   900 |   495 |254552 | 265.8 |   256M | 131 |  16k|4443 |5580 |3418 |  1 |1136 |   0 | 4.065280e+05 | 4.515840e+05 |  11.08%|  11.87%
44.19/44.47	o 449536
44.19/44.47	c L44.5s|   986 |   579 |299154 | 287.9 |    rins| 131 |  16k|4462 |5583 |3439 |  1 |1192 |   0 | 4.065280e+05 | 4.495360e+05 |  10.58%|  12.17%
44.80/45.10	c  45.1s|  1000 |   593 |307271 | 292.0 |   258M | 131 |  16k|4465 |5580 |3443 |  1 |1201 |   0 | 4.065280e+05 | 4.495360e+05 |  10.58%|  12.18%
51.06/51.38	c  51.4s|  1100 |   690 |380095 | 331.7 |   259M | 131 |  16k|4596 |5580 |3482 |  1 |1409 |   0 | 4.065280e+05 | 4.495360e+05 |  10.58%|  12.37%
53.05/53.32	o 442368
53.05/53.32	c d53.3s|  1128 |   714 |398027 | 339.3 |linesear| 131 |  16k|4711 |5589 |   0 |  1 |1580 |   0 | 4.065280e+05 | 4.423680e+05 |   8.82%|  13.52%
57.14/57.41	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
57.14/57.41	c  57.4s|  1200 |   780 |431588 | 347.0 |   261M | 131 |  16k|4654 |5533 |3565 |  1 |1620 |   0 | 4.065280e+05 | 4.423680e+05 |   8.82%|  13.52%
66.70/67.06	c  67.1s|  1300 |   866 |513828 | 383.6 |   265M | 131 |  16k|4656 |5508 |3967 |  1 |1815 |   0 | 4.065280e+05 | 4.423680e+05 |   8.82%|  13.75%
69.39/69.74	o 438272
69.39/69.74	c L69.7s|  1328 |   890 |539055 | 394.5 |crossove| 131 |  16k|4782 |5493 |4096 |  1 |2041 |   0 | 4.065280e+05 | 4.382720e+05 |   7.81%|  13.75%
73.17/73.59	c  73.6s|  1400 |   938 |584839 | 406.9 |   269M | 131 |  16k|4706 |5594 |4334 |  1 |2080 |   0 | 4.065280e+05 | 4.382720e+05 |   7.81%|  13.83%
78.84/79.21	c  79.2s|  1500 |  1036 |613242 | 398.7 |   271M | 131 |  16k|4914 |5599 |4512 |  1 |2436 |   0 | 4.065280e+05 | 4.382720e+05 |   7.81%|  13.84%
79.74/80.16	o 437248
79.74/80.16	c L80.2s|  1528 |  1064 |618262 | 394.7 |    rins| 131 |  16k|4857 |5544 |4576 |  1 |2436 |   0 | 4.065280e+05 | 4.372480e+05 |   7.56%|  13.84%
82.42/82.88	c  82.9s|  1600 |  1135 |643367 | 392.6 |   272M | 131 |  16k|4871 |5585 |4644 |  1 |2521 |   0 | 4.065280e+05 | 4.372480e+05 |   7.56%|  13.92%
85.41/85.82	c  85.8s|  1700 |  1234 |660144 | 379.4 |   273M | 131 |  16k|4909 |5591 |4732 |  1 |2644 |   0 | 4.065280e+05 | 4.372480e+05 |   7.56%|  14.55%
86.71/87.18	o 436224
86.71/87.18	c L87.2s|  1728 |  1262 |672270 | 380.2 |crossove| 131 |  16k|4891 |5591 |4771 |  1 |2660 |   0 | 4.065280e+05 | 4.362240e+05 |   7.30%|  14.55%
88.50/88.91	c  88.9s|  1800 |  1334 |679943 | 369.3 |   273M | 131 |  16k|4870 |5604 |4867 |  2 |2660 |   0 | 4.065280e+05 | 4.362240e+05 |   7.30%|  14.55%
92.38/92.81	c  92.8s|  1900 |  1433 |704550 | 362.8 |   275M | 131 |  16k|4955 |5591 |4975 |  1 |2828 |   0 | 4.065280e+05 | 4.362240e+05 |   7.30%|  14.89%
93.87/94.31	o 435200
93.87/94.31	c L94.3s|  1928 |  1461 |706695 | 358.6 |crossove| 131 |  16k|4939 |5630 |5013 |  1 |2828 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%|  14.89%
95.77/96.27	c  96.3s|  2000 |  1530 |714794 | 349.8 |   275M | 131 |  16k|4923 |5604 |5089 |  1 |2849 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%|  17.54%
99.25/99.78	c  99.8s|  2100 |  1629 |733671 | 342.1 |   275M | 131 |  16k|4936 |5604 |5194 |  1 |2913 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%|  19.87%
102.93/103.48	c   103s|  2200 |  1729 |753168 | 335.4 |   277M | 131 |  16k|4922 |5606 |5305 |  1 |2913 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%|  19.87%
107.81/108.38	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
107.81/108.38	c   108s|  2300 |  1823 |787778 | 335.9 |   279M | 131 |  16k|4943 |5622 |5428 |  1 |3135 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%|  22.43%
112.49/113.00	c   113s|  2400 |  1921 |809251 | 330.8 |   283M | 131 |  16k|5233 |5623 |5656 |  1 |3639 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%|  22.47%
117.27/117.88	c   118s|  2500 |  2011 |845910 | 332.3 |   288M | 131 |  16k|5187 |5620 |5896 |  1 |3854 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%|  22.70%
121.05/121.66	c   122s|  2600 |  2098 |866313 | 327.3 |   289M | 131 |  16k|5206 |5610 |6131 |  1 |4066 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%|  22.74%
126.23/126.84	c   127s|  2700 |  2178 |902379 | 328.6 |   291M | 131 |  16k|5196 |5615 |6412 |  1 |4226 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%|  22.93%
129.42/130.09	c   130s|  2800 |  2251 |924056 | 324.6 |   294M | 131 |  16k|5247 |5647 |6679 |  1 |4383 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%|  23.05%
133.40/134.07	c   134s|  2900 |  2339 |951369 | 322.8 |   295M | 131 |  16k|5314 |5637 |6960 |  1 |4580 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%|  23.08%
135.69/136.36	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
135.69/136.36	c (run 1, node 2936) performing user restart
135.69/136.36	c 
135.69/136.37	c (restart) converted 1598 cuts from the global cut pool into linear constraints
135.69/136.37	c 
135.79/136.47	c presolving:
135.79/136.49	c (round 1, fast)       0 del vars, 125 del conss, 167 add conss, 0 chg bounds, 571 chg sides, 3239 chg coeffs, 0 upgd conss, 0 impls, 24830 clqs
135.89/136.52	c (round 2, exhaustive) 0 del vars, 161 del conss, 168 add conss, 0 chg bounds, 572 chg sides, 3241 chg coeffs, 0 upgd conss, 0 impls, 24830 clqs
135.89/136.54	c (round 3, exhaustive) 0 del vars, 161 del conss, 168 add conss, 0 chg bounds, 572 chg sides, 3241 chg coeffs, 1160 upgd conss, 0 impls, 24830 clqs
135.89/136.55	c (round 4, fast)       0 del vars, 331 del conss, 170 add conss, 0 chg bounds, 576 chg sides, 3277 chg coeffs, 1160 upgd conss, 0 impls, 24830 clqs
135.89/136.56	c (round 5, medium)     0 del vars, 332 del conss, 174 add conss, 0 chg bounds, 637 chg sides, 3342 chg coeffs, 1160 upgd conss, 0 impls, 24830 clqs
135.99/136.60	c (round 6, exhaustive) 0 del vars, 444 del conss, 176 add conss, 0 chg bounds, 637 chg sides, 3435 chg coeffs, 1160 upgd conss, 0 impls, 24830 clqs
135.99/136.69	c presolving (7 rounds: 7 fast, 5 medium, 4 exhaustive):
135.99/136.69	c  0 deleted vars, 446 deleted constraints, 176 added constraints, 0 tightened bounds, 0 added holes, 637 changed sides, 3459 changed coefficients
135.99/136.69	c  0 implications, 24830 cliques
135.99/136.69	c presolved problem has 16655 variables (16655 bin, 0 int, 0 impl, 0 cont) and 6721 constraints
135.99/136.69	c    2770 constraints of type <knapsack>
135.99/136.69	c     902 constraints of type <setppc>
135.99/136.69	c     758 constraints of type <linear>
135.99/136.69	c    2291 constraints of type <logicor>
135.99/136.69	c transformed objective value is always integral (scale: 1024)
135.99/136.69	c Presolving Time: 1.28
136.09/136.79	c transformed 11/11 original solutions to the transformed problem space
136.09/136.79	c 
136.49/137.13	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
136.49/137.13	c   137s|     1 |     0 |983485 |     - |   296M |   0 |  16k|6721 |5008 |   0 |  0 |4723 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
136.88/137.58	c   138s|     1 |     0 |984605 |     - |   297M |   0 |  16k|6721 |5170 | 162 |  1 |4723 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
137.58/138.28	c   138s|     1 |     0 |990225 |     - |   297M |   0 |  16k|6722 |5331 | 323 |  2 |4724 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
137.98/138.61	c   139s|     1 |     0 |990909 |     - |   298M |   0 |  16k|6725 |5489 | 481 |  3 |4727 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
138.48/139.13	c   139s|     1 |     0 |991492 |     - |   298M |   0 |  16k|6725 |5666 | 658 |  4 |4727 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
138.88/139.52	c   140s|     1 |     0 |992240 |     - |   300M |   0 |  16k|6726 |5854 | 846 |  5 |4728 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
139.48/140.18	c   140s|     1 |     0 |993036 |     - |   302M |   0 |  16k|6726 |6023 |1015 |  6 |4728 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
139.87/140.54	c   141s|     1 |     0 |993868 |     - |   302M |   0 |  16k|6728 |6176 |1168 |  7 |4730 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
140.57/141.21	c   141s|     1 |     0 |994556 |     - |   304M |   0 |  16k|6731 |6351 |1343 |  8 |4733 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
141.17/141.89	c   142s|     1 |     0 |995339 |     - |   305M |   0 |  16k|6733 |6515 |1507 |  9 |4735 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
142.37/143.05	c   143s|     1 |     0 |997740 |     - |   306M |   0 |  16k|6737 |6692 |1684 | 10 |4739 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
142.56/143.29	c   143s|     1 |     0 |998748 |     - |   308M |   0 |  16k|6741 |6871 |1863 | 11 |4743 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
144.65/145.39	c   145s|     1 |     2 |  1016k|     - |   308M |   0 |  16k|6742 |6871 |1863 | 11 |4745 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
151.82/152.57	c   153s|   100 |    97 |  1086k| 346.6 |   311M |  32 |  16k|6953 |6976 |2756 |  1 |4975 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
153.91/154.63	c   155s|   200 |   195 |  1089k| 336.5 |   313M |  96 |  16k|7014 |6999 |2780 |  1 |5039 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
161.68/162.46	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
161.68/162.46	c   162s|   300 |   291 |  1116k| 334.5 |   315M | 137 |  16k|7036 |6999 |2851 |  1 |5070 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
164.07/164.85	c   165s|   400 |   387 |  1131k| 328.9 |   315M | 149 |  16k|7028 |7000 |3093 |  1 |5078 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
166.36/167.15	c   167s|   500 |   475 |  1139k| 321.5 |   316M | 153 |  16k|7218 |7000 |3094 |  1 |5311 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
169.44/170.20	c   170s|   600 |   569 |  1158k| 318.0 |   319M | 156 |  16k|7335 |7000 |3215 |  1 |5493 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
170.83/171.68	c   172s|   700 |   669 |  1163k| 310.5 |   319M | 157 |  16k|7356 |7000 |3215 |  1 |5547 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
172.33/173.18	c   173s|   800 |   769 |  1166k| 303.1 |   320M | 157 |  16k|7372 |7000 |3215 |  1 |5580 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
174.72/175.57	c   176s|   900 |   853 |  1180k| 298.8 |   321M | 157 |  16k|7390 |7000 |3235 |  1 |5661 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
176.51/177.30	c   177s|  1000 |   943 |  1188k| 293.1 |   322M | 158 |  16k|7383 |7000 |3267 |  1 |5698 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
178.30/179.16	c   179s|  1100 |  1043 |  1195k| 287.7 |   322M | 159 |  16k|7394 |7000 |3267 |  1 |5757 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
181.19/182.10	c   182s|  1200 |  1131 |  1207k| 283.6 |   326M | 163 |  16k|7391 |7026 |3354 |  0 |5853 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
184.87/185.78	c   186s|  1300 |  1229 |  1239k| 284.4 |   326M | 163 |  16k|7392 |7007 |3425 |  1 |5921 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
187.95/188.88	c   189s|  1400 |  1325 |  1250k| 280.5 |   326M | 163 |  16k|7459 |7010 |3475 |  2 |6088 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
190.94/191.82	c   192s|  1500 |  1417 |  1259k| 276.2 |   329M | 163 |  16k|7573 |7010 |3562 |  1 |6393 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
194.32/195.25	c   195s|  1600 |  1517 |  1274k| 273.5 |   332M | 163 |  16k|7583 |7018 |3641 |  1 |6520 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
197.31/198.24	c   198s|  1700 |  1599 |  1288k| 270.6 |   335M | 163 |  16k|7624 |7012 |3749 |  1 |6663 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
200.49/201.44	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
200.49/201.44	c   201s|  1800 |  1689 |  1298k| 266.8 |   337M | 163 |  16k|7790 |7001 |3822 |  1 |6962 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
203.48/204.49	c   204s|  1900 |  1773 |  1311k| 264.1 |   337M | 163 |  16k|7840 |7009 |3917 |  1 |7202 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
206.87/207.83	c   208s|  2000 |  1863 |  1336k| 263.7 |   338M | 163 |  16k|7858 |7011 |4001 |  1 |7404 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
209.85/210.83	c   211s|  2100 |  1951 |  1357k| 262.7 |   340M | 163 |  16k|7893 |7005 |4081 |  2 |7574 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
212.15/213.11	c   213s|  2200 |  2039 |  1366k| 259.3 |   341M | 163 |  16k|8021 |   0 |4167 |  0 |7841 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
214.23/215.20	c   215s|  2300 |  2119 |  1372k| 255.6 |   343M | 163 |  16k|8108 |7013 |4235 |  1 |8024 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
217.02/218.01	c   218s|  2400 |  2219 |  1383k| 252.8 |   345M | 167 |  16k|8401 |7007 |4321 |  1 |8529 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
220.11/221.16	c   221s|  2500 |  2311 |  1396k| 250.6 |   346M | 167 |  16k|9022 |7001 |4401 |  1 |9244 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
223.39/224.44	c   224s|  2600 |  2407 |  1414k| 249.2 |   347M | 167 |  16k|9003 |7000 |4496 |  1 |9387 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
226.08/227.15	c   227s|  2700 |  2505 |  1419k| 245.7 |   349M | 167 |  16k|9152 |7016 |4607 |  1 |9704 |   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
229.36/230.46	c   230s|  2800 |  2591 |  1433k| 243.9 |   349M | 168 |  16k|9291 |7012 |4693 |  3 |  10k|   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
232.54/233.61	c   234s|  2900 |  2689 |  1448k| 242.4 |   349M | 168 |  16k|9333 |7015 |4791 |  1 |  10k|   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
234.73/235.88	c   236s|  3000 |  2781 |  1455k| 239.5 |   352M | 168 |  16k|9509 |7012 |4856 |  1 |  10k|   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
237.92/239.03	c   239s|  3100 |  2879 |  1469k| 237.8 |   352M | 168 |  16k|9608 |7019 |4957 |  1 |  10k|   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
240.60/241.72	c   242s|  3200 |  2979 |  1484k| 236.3 |   353M | 168 |  16k|9844 |7016 |5060 |  1 |  11k|   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
243.29/244.48	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
243.29/244.48	c   244s|  3300 |  3079 |  1496k| 234.5 |   355M | 168 |  16k|9877 |7019 |5165 |  1 |  11k|   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
246.48/247.69	c   248s|  3400 |  3179 |  1504k| 232.0 |   357M | 168 |  16k|9960 |7022 |5301 |  1 |  11k|   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
249.46/250.64	c   251s|  3500 |  3269 |  1510k| 229.3 |   360M | 168 |  16k|  10k|7003 |5397 |  1 |  12k|   0 | 4.065280e+05 | 4.352000e+05 |   7.05%| unknown
250.06/251.25	o 434176
250.06/251.25	c L 251s|  3516 |  3285 |  1511k| 228.9 |crossove| 168 |  16k|  10k|7024 |5422 |  2 |  12k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
252.26/253.44	c   253s|  3600 |  3365 |  1522k| 227.7 |   361M | 168 |  16k|  10k|7018 |5523 |  1 |  12k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
254.35/255.50	c   255s|  3700 |  3457 |  1528k| 225.1 |   361M | 168 |  16k|  10k|7022 |5666 |  1 |  12k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
258.62/259.81	c   260s|  3800 |  3551 |  1539k| 223.4 |   363M | 168 |  16k|  10k|7028 |5787 |  1 |  12k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
261.81/263.05	c   263s|  3900 |  3649 |  1555k| 222.5 |   365M | 168 |  16k|  10k|7027 |5919 |  1 |  12k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
265.09/266.37	c   266s|  4000 |  3747 |  1569k| 221.2 |   367M | 168 |  16k|  10k|7024 |6066 |  1 |  12k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
269.07/270.34	c   270s|  4100 |  3845 |  1588k| 220.8 |   368M | 168 |  16k|  10k|7018 |6200 |  1 |  12k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
271.16/272.43	c   272s|  4200 |  3937 |  1592k| 218.3 |   370M | 168 |  16k|  10k|7004 |6329 |  1 |  13k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
273.36/274.68	c   275s|  4300 |  4037 |  1598k| 216.1 |   371M | 168 |  16k|  10k|7029 |6485 |  1 |  13k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
275.54/276.86	c   277s|  4400 |  4135 |  1603k| 213.9 |   372M | 168 |  16k|  10k|7022 |6644 |  1 |  13k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
278.43/279.73	c   280s|  4500 |  4233 |  1612k| 212.1 |   372M | 168 |  16k|  10k|7030 |6794 |  1 |  13k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
280.92/282.29	c   282s|  4600 |  4331 |  1616k| 210.0 |   374M | 168 |  16k|  10k|7002 |6927 |  1 |  13k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
283.61/284.94	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
283.61/284.94	c   285s|  4700 |  4428 |  1624k| 208.3 |   376M | 168 |  16k|  10k|7002 |7076 |  1 |  13k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
286.59/287.91	c   288s|  4800 |  4524 |  1635k| 206.9 |   377M | 168 |  16k|  10k|7002 |7234 |  1 |  13k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
289.88/291.27	c   291s|  4900 |  4624 |  1650k| 206.3 |   378M | 168 |  16k|  10k|7028 |7392 |  1 |  14k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
292.87/294.27	c   294s|  5000 |  4724 |  1664k| 205.4 |   378M | 168 |  16k|  10k|7026 |7543 |  1 |  14k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
298.65/300.00	c   300s|  5100 |  4824 |  1691k| 206.1 |   379M | 171 |  16k|  10k|7001 |7698 |  1 |  14k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
301.53/302.99	c   303s|  5200 |  4924 |  1697k| 204.3 |   381M | 171 |  16k|  10k|7027 |7878 |  1 |  14k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
305.51/306.95	c   307s|  5300 |  5024 |  1711k| 203.6 |   384M | 171 |  16k|  10k|7032 |8079 |  2 |  15k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
308.50/309.96	c   310s|  5400 |  5124 |  1720k| 202.2 |   386M | 171 |  16k|  10k|7005 |8247 |  1 |  15k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
311.59/313.06	c   313s|  5500 |  5224 |  1732k| 201.2 |   387M | 171 |  16k|  10k|7031 |8452 |  1 |  15k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
314.37/315.81	c   316s|  5600 |  5324 |  1735k| 199.3 |   388M | 172 |  16k|  10k|7037 |8519 |  2 |  15k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
317.56/319.00	c   319s|  5700 |  5424 |  1745k| 198.1 |   390M | 177 |  16k|  10k|7037 |8544 |  1 |  16k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
319.25/320.76	c   321s|  5800 |  5524 |  1746k| 196.0 |   391M | 179 |  16k|  10k|7035 |8555 |  1 |  16k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
321.84/323.35	c   323s|  5900 |  5624 |  1750k| 194.2 |   391M | 181 |  16k|  10k|7035 |8590 |  1 |  16k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
324.82/326.39	c   326s|  6000 |  5724 |  1753k| 192.4 |   394M | 181 |  16k|  10k|7023 |8634 |  1 |  16k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
327.21/328.76	c   329s|  6100 |  5824 |  1761k| 191.1 |   394M | 181 |  16k|  10k|7039 |8657 |  1 |  16k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
329.31/330.87	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
329.31/330.87	c   331s|  6200 |  5924 |  1763k| 189.3 |   396M | 181 |  16k|  10k|7035 |8679 |  1 |  16k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
339.07/340.65	c   341s|  6300 |  6024 |  1776k| 188.6 |   396M | 182 |  16k|  10k|7038 |8710 |  1 |  16k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
340.66/342.26	c   342s|  6400 |  6124 |  1778k| 186.8 |   396M | 184 |  16k|  10k|7039 |8733 |  1 |  16k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
342.06/343.69	c   344s|  6500 |  6224 |  1780k| 185.0 |   397M | 193 |  16k|  10k|7040 |8755 |  1 |  16k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
343.46/345.01	c   345s|  6600 |  6324 |  1782k| 183.3 |   397M | 201 |  16k|  10k|7040 |8755 |  1 |  16k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
344.95/346.52	c   347s|  6700 |  6424 |  1788k| 182.0 |   397M | 206 |  16k|  10k|7041 |8758 |  1 |  16k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
347.24/348.83	c   349s|  6800 |  6524 |  1789k| 180.3 |   398M | 211 |  16k|  10k|7040 |8758 |  1 |  16k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
348.55/350.11	c   350s|  6900 |  6624 |  1791k| 178.6 |   400M | 215 |  16k|  10k|7040 |8758 |  1 |  17k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
349.54/351.13	c   351s|  7000 |  6722 |  1792k| 176.9 |   401M | 217 |  16k|  10k|7040 |8758 |  1 |  17k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
351.23/352.81	c   353s|  7100 |  6822 |  1800k| 176.0 |   401M | 217 |  16k|  10k|7040 |8764 |  1 |  17k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
352.43/354.04	c   354s|  7200 |  6922 |  1802k| 174.4 |   401M | 219 |  16k|  10k|7040 |8769 |  1 |  17k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
353.92/355.52	c   356s|  7300 |  7020 |  1806k| 173.1 |   402M | 226 |  16k|  10k|7040 |8774 |  1 |  17k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
355.22/356.85	c   357s|  7400 |  7120 |  1808k| 171.6 |   402M | 226 |  16k|  10k|7040 |8780 |  1 |  17k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
356.31/357.95	c   358s|  7500 |  7220 |  1809k| 170.0 |   403M | 244 |  16k|  10k|7040 |8780 |  1 |  17k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
358.10/359.79	c   360s|  7600 |  7320 |  1816k| 169.1 |   405M | 244 |  16k|  10k|7040 |8794 |  1 |  17k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
359.50/361.16	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
359.50/361.16	c   361s|  7700 |  7420 |  1822k| 168.1 |   405M | 246 |  16k|  10k|7040 |8794 |  1 |  17k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
360.50/362.18	c   362s|  7800 |  7518 |  1824k| 166.7 |   406M | 260 |  16k|  10k|7040 |8794 |  1 |  17k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
361.79/363.42	c   363s|  7900 |  7618 |  1826k| 165.3 |   406M | 264 |  16k|  10k|7040 |8794 |  1 |  17k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
363.19/364.80	c   365s|  8000 |  7718 |  1829k| 164.1 |   406M | 266 |  16k|  10k|7040 |8794 |  1 |  17k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
364.49/366.17	c   366s|  8100 |  7818 |  1831k| 162.8 |   407M | 266 |  16k|  10k|7040 |8802 |  1 |  17k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
365.98/367.69	c   368s|  8200 |  7918 |  1834k| 161.6 |   408M | 266 |  16k|  10k|7040 |8802 |  1 |  17k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
367.57/369.22	c   369s|  8300 |  8018 |  1836k| 160.4 |   410M | 266 |  16k|  10k|7040 |8802 |  1 |  17k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
369.86/371.57	c   372s|  8400 |  8114 |  1848k| 160.0 |   410M | 266 |  16k|  10k|7040 |8812 |  1 |  17k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
371.96/373.66	c   374s|  8500 |  8214 |  1861k| 159.7 |   410M | 266 |  16k|  10k|7040 |8820 |  1 |  17k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
373.75/375.47	c   375s|  8600 |  8314 |  1867k| 158.8 |   411M | 266 |  16k|  10k|7040 |8820 |  1 |  18k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
375.64/377.39	c   377s|  8700 |  8402 |  1874k| 158.1 |   411M | 266 |  16k|  10k|7040 |8857 |  1 |  18k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
379.02/380.70	c   381s|  8800 |  8496 |  1883k| 157.5 |   412M | 266 |  16k|  10k|7040 |8906 |  1 |  18k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
381.51/383.26	c   383s|  8900 |  8596 |  1896k| 157.3 |   416M | 266 |  16k|  10k|7041 |8951 |  2 |  18k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
384.10/385.83	c   386s|  9000 |  8684 |  1908k| 157.0 |   418M | 266 |  16k|  10k|7053 |9053 |  1 |  18k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
386.50/388.22	c   388s|  9100 |  8784 |  1925k| 157.1 |   420M | 266 |  16k|  10k|7042 |9062 |  1 |  18k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
388.59/390.33	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
388.59/390.33	c   390s|  9200 |  8884 |  1933k| 156.5 |   420M | 266 |  16k|  10k|7042 |9087 |  1 |  18k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
390.98/392.77	c   393s|  9300 |  8980 |  1946k| 156.2 |   421M | 266 |  16k|  10k|7042 |9140 |  1 |  18k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
392.88/394.61	c   395s|  9400 |  9080 |  1955k| 155.7 |   423M | 266 |  16k|  10k|7042 |9140 |  1 |  18k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
394.17/395.97	c   396s|  9500 |  9180 |  1957k| 154.7 |   423M | 266 |  16k|  10k|7042 |9140 |  1 |  18k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
396.56/398.39	c   398s|  9600 |  9277 |  1966k| 154.1 |   425M | 266 |  16k|  10k|7042 |9216 |  1 |  18k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
397.95/399.77	c   400s|  9700 |  9375 |  1970k| 153.2 |   426M | 266 |  16k|  10k|7042 |9216 |  1 |  18k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
399.45/401.23	c   401s|  9800 |  9475 |  1973k| 152.2 |   426M | 266 |  16k|  10k|7042 |9216 |  1 |  18k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
400.74/402.52	c   403s|  9900 |  9575 |  1975k| 151.2 |   428M | 266 |  16k|  10k|7042 |9216 |  1 |  18k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
402.04/403.87	c   404s| 10000 |  9675 |  1979k| 150.3 |   428M | 266 |  16k|  10k|7042 |9216 |  1 |  18k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
403.53/405.32	c   405s| 10100 |  9775 |  1983k| 149.5 |   428M | 266 |  16k|  10k|7042 |9216 |  1 |  18k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
405.63/407.45	c   407s| 10200 |  9875 |  1987k| 148.7 |   431M | 266 |  16k|  10k|7042 |9267 |  1 |  18k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
407.62/409.42	c   409s| 10300 |  9975 |  1997k| 148.3 |   431M | 266 |  16k|  10k|7042 |9267 |  1 |  19k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
408.92/410.76	c   411s| 10400 | 10067 |  1999k| 147.3 |   431M | 266 |  16k|  10k|7042 |9267 |  1 |  19k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
410.81/412.67	c   413s| 10500 | 10165 |  2006k| 146.8 |   432M | 266 |  16k|  10k|7042 |9307 |  1 |  19k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
412.11/413.93	c   414s| 10600 | 10265 |  2008k| 145.8 |   433M | 266 |  16k|  10k|7042 |9307 |  1 |  19k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
413.80/415.60	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
413.80/415.60	c   416s| 10700 | 10363 |  2014k| 145.2 |   434M | 266 |  16k|  10k|7042 |9307 |  1 |  19k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
415.20/417.03	c   417s| 10800 | 10461 |  2018k| 144.5 |   434M | 266 |  16k|  10k|7042 |9307 |  1 |  19k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
418.08/419.94	c   420s| 10900 | 10557 |  2024k| 143.8 |   434M | 266 |  16k|  10k|7042 |9350 |  1 |  19k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
420.68/422.59	c   423s| 11000 | 10651 |  2039k| 143.9 |   436M | 266 |  16k|  10k|7042 |9385 |  1 |  19k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
422.07/423.99	c   424s| 11100 | 10751 |  2043k| 143.1 |   436M | 266 |  16k|  10k|7042 |9385 |  1 |  19k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
423.57/425.46	c   425s| 11200 | 10849 |  2045k| 142.3 |   437M | 266 |  16k|  10k|7042 |9385 |  1 |  19k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
424.86/426.76	c   427s| 11300 | 10943 |  2048k| 141.4 |   438M | 266 |  16k|  10k|7042 |9385 |  1 |  19k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
426.26/428.10	c   428s| 11400 | 11039 |  2051k| 140.7 |   438M | 266 |  16k|  10k|7042 |9385 |  1 |  19k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
428.05/429.99	c   430s| 11500 | 11137 |  2061k| 140.4 |   440M | 266 |  16k|  10k|7042 |9385 |  2 |  19k|   0 | 4.065280e+05 | 4.341760e+05 |   6.80%| unknown
429.74/431.64	o 433152
429.74/431.64	c d 432s| 11587 | 10751 |  2068k| 140.0 |fracdivi| 266 |  16k|  10k|7042 |   0 |  1 |  19k|   0 | 4.065280e+05 | 4.331520e+05 |   6.55%| unknown
429.94/431.89	c   432s| 11600 | 10764 |  2070k| 140.1 |   440M | 266 |  16k|  10k|7042 |9385 |  1 |  19k|   0 | 4.065280e+05 | 4.331520e+05 |   6.55%| unknown
431.54/433.41	c   433s| 11700 | 10864 |  2072k| 139.3 |   440M | 266 |  16k|  10k|7042 |9385 |  1 |  19k|   0 | 4.065280e+05 | 4.331520e+05 |   6.55%| unknown
433.14/435.05	c   435s| 11800 | 10964 |  2076k| 138.6 |   440M | 266 |  16k|  10k|7042 |9385 |  1 |  20k|   0 | 4.065280e+05 | 4.331520e+05 |   6.55%| unknown
434.92/436.87	c   437s| 11900 | 11064 |  2079k| 137.8 |   440M | 266 |  16k|  11k|7042 |9385 |  1 |  20k|   0 | 4.065280e+05 | 4.331520e+05 |   6.55%| unknown
437.22/439.14	c   439s| 12000 | 11164 |  2088k| 137.5 |   441M | 266 |  16k|  10k|7042 |9385 |  1 |  20k|   0 | 4.065280e+05 | 4.331520e+05 |   6.55%| unknown
439.11/441.05	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
439.11/441.05	c   441s| 12100 | 11260 |  2094k| 137.0 |   441M | 266 |  16k|  11k|7042 |9385 |  1 |  20k|   0 | 4.065280e+05 | 4.331520e+05 |   6.55%| unknown
441.00/443.00	c   443s| 12200 | 11360 |  2099k| 136.4 |   442M | 266 |  16k|  11k|7042 |9385 |  1 |  21k|   0 | 4.065280e+05 | 4.331520e+05 |   6.55%| unknown
442.59/444.55	c   445s| 12300 | 11435 |  2103k| 135.8 |   444M | 266 |  16k|  11k|7042 |9413 |  1 |  21k|   0 | 4.065280e+05 | 4.331520e+05 |   6.55%| unknown
444.19/446.13	c   446s| 12400 | 11535 |  2105k| 135.1 |   444M | 266 |  16k|  11k|7042 |9413 |  1 |  21k|   0 | 4.065280e+05 | 4.331520e+05 |   6.55%| unknown
446.38/448.33	c   448s| 12500 | 11633 |  2112k| 134.6 |   445M | 266 |  16k|  11k|7044 |9442 |  1 |  21k|   0 | 4.065280e+05 | 4.331520e+05 |   6.55%| unknown
448.47/450.44	c   450s| 12600 | 11727 |  2120k| 134.2 |   445M | 266 |  16k|  11k|7044 |9450 |  1 |  21k|   0 | 4.065280e+05 | 4.331520e+05 |   6.55%| unknown
450.56/452.58	c   453s| 12700 | 11825 |  2128k| 133.9 |   445M | 266 |  16k|  11k|7044 |9479 |  1 |  21k|   0 | 4.065280e+05 | 4.331520e+05 |   6.55%| unknown
452.36/454.33	c   454s| 12800 | 11923 |  2131k| 133.2 |   447M | 274 |  16k|  11k|7044 |9485 |  1 |  21k|   0 | 4.065280e+05 | 4.331520e+05 |   6.55%| unknown
453.65/455.65	c   456s| 12900 | 12023 |  2133k| 132.5 |   447M | 277 |  16k|  11k|7044 |9485 |  1 |  21k|   0 | 4.065280e+05 | 4.331520e+05 |   6.55%| unknown
455.46/457.47	c   457s| 13000 | 12110 |  2136k| 131.9 |   448M | 277 |  16k|  11k|7044 |9489 |  1 |  21k|   0 | 4.065280e+05 | 4.331520e+05 |   6.55%| unknown
457.65/459.67	c   460s| 13100 | 12210 |  2144k| 131.6 |   449M | 277 |  16k|  11k|7044 |9497 |  1 |  21k|   0 | 4.065280e+05 | 4.331520e+05 |   6.55%| unknown
459.44/461.40	c   461s| 13200 | 12292 |  2149k| 131.1 |   449M | 277 |  16k|  10k|7044 |9547 |  1 |  21k|   0 | 4.065280e+05 | 4.331520e+05 |   6.55%| unknown
461.64/463.61	c   464s| 13300 | 12392 |  2159k| 130.9 |   451M | 277 |  16k|  10k|7044 |9547 |  1 |  21k|   0 | 4.065280e+05 | 4.331520e+05 |   6.55%| unknown
461.93/463.94	o 432128
461.93/463.94	c d 464s| 13302 | 11786 |  2163k| 131.1 |fracdivi| 277 |  16k|  10k|7044 |   0 |  1 |  21k|   0 | 4.065280e+05 | 4.321280e+05 |   6.30%| unknown
463.83/465.89	c   466s| 13400 | 11884 |  2174k| 131.0 |   451M | 277 |  16k|  10k|7044 |9547 |  1 |  21k|   0 | 4.065280e+05 | 4.321280e+05 |   6.30%| unknown
465.62/467.68	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
465.62/467.68	c   468s| 13500 | 11982 |  2178k| 130.4 |   451M | 277 |  16k|  11k|7044 |9547 |  1 |  21k|   0 | 4.065280e+05 | 4.321280e+05 |   6.30%| unknown
469.71/471.75	c   472s| 13600 | 12082 |  2185k| 130.1 |   451M | 277 |  16k|  10k|7028 |9571 |  1 |  22k|   0 | 4.065280e+05 | 4.321280e+05 |   6.30%| unknown
471.70/473.76	c   474s| 13700 | 12166 |  2194k| 129.8 |   451M | 277 |  16k|  11k|7044 |9586 |  1 |  22k|   0 | 4.065280e+05 | 4.321280e+05 |   6.30%| unknown
473.30/475.33	c   475s| 13800 | 12266 |  2198k| 129.3 |   451M | 277 |  16k|  11k|7044 |9586 |  1 |  22k|   0 | 4.065280e+05 | 4.321280e+05 |   6.30%| unknown
475.29/477.31	c   477s| 13900 | 12364 |  2205k| 129.0 |   451M | 277 |  16k|  11k|7044 |9586 |  1 |  22k|   0 | 4.065280e+05 | 4.321280e+05 |   6.30%| unknown
478.88/480.98	c   481s| 14000 | 12464 |  2210k| 128.5 |   452M | 282 |  16k|  11k|7044 |9586 |  1 |  22k|   0 | 4.065280e+05 | 4.321280e+05 |   6.30%| unknown
481.17/483.24	o 431104
481.17/483.24	c d 483s| 14073 | 11889 |  2227k| 128.9 |veclendi| 287 |  16k|  10k|7044 |   0 |  1 |  22k|   0 | 4.065280e+05 | 4.311040e+05 |   6.05%| unknown
481.57/483.61	c   484s| 14100 | 11916 |  2227k| 128.7 |   454M | 287 |  16k|  10k|7044 |9628 |  1 |  22k|   0 | 4.065280e+05 | 4.311040e+05 |   6.05%| unknown
483.46/485.53	c   486s| 14200 | 12016 |  2232k| 128.2 |   454M | 295 |  16k|  10k|7044 |9628 |  1 |  22k|   0 | 4.065280e+05 | 4.311040e+05 |   6.05%| unknown
485.65/487.75	c   488s| 14300 | 12110 |  2239k| 127.9 |   454M | 297 |  16k|  10k|7044 |9687 |  1 |  22k|   0 | 4.065280e+05 | 4.311040e+05 |   6.05%| unknown
487.55/489.61	c   490s| 14400 | 12210 |  2245k| 127.5 |   454M | 299 |  16k|  10k|7044 |9687 |  1 |  22k|   0 | 4.065280e+05 | 4.311040e+05 |   6.05%| unknown
488.54/490.64	o 430080
488.54/490.64	c d 491s| 14450 | 11343 |  2248k| 127.3 |conflict| 302 |  16k|  10k|7044 |   0 |  1 |  23k|   0 | 4.065280e+05 | 4.300800e+05 |   5.79%| unknown
489.44/491.54	c   492s| 14500 | 11379 |  2251k| 127.1 |   455M | 302 |  16k|  10k|7044 |9773 |  1 |  23k|   0 | 4.065280e+05 | 4.300800e+05 |   5.79%| unknown
490.94/493.01	c   493s| 14600 | 11477 |  2253k| 126.5 |   455M | 305 |  16k|  10k|7044 |9773 |  1 |  23k|   0 | 4.065280e+05 | 4.300800e+05 |   5.79%| unknown
492.73/494.88	c   495s| 14700 | 11575 |  2257k| 126.1 |   456M | 311 |  16k|  10k|7044 |9773 |  1 |  23k|   0 | 4.065280e+05 | 4.300800e+05 |   5.79%| unknown
495.42/497.59	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
495.42/497.59	c   498s| 14800 | 11671 |  2275k| 126.3 |   456M | 313 |  16k|  10k|7044 |9799 |  1 |  23k|   0 | 4.065280e+05 | 4.300800e+05 |   5.79%| unknown
496.51/498.66	o 429056
496.51/498.66	c d 499s| 14851 | 10672 |  2277k| 126.1 |veclendi| 316 |  16k|  11k|7044 |   0 |  1 |  23k|   0 | 4.065280e+05 | 4.290560e+05 |   5.54%| unknown
497.11/499.24	c   499s| 14900 | 10717 |  2277k| 125.8 |   456M | 330 |  16k|  11k|7044 |9799 |  1 |  23k|   0 | 4.065280e+05 | 4.290560e+05 |   5.54%| unknown
498.41/500.56	c   501s| 15000 | 10815 |  2280k| 125.2 |   456M | 359 |  16k|  11k|7044 |9799 |  1 |  23k|   0 | 4.065280e+05 | 4.290560e+05 |   5.54%| unknown
499.30/501.49	o 425984
499.30/501.49	c L 501s| 15051 |  7734 |  2281k| 124.9 |crossove| 372 |  16k|  11k|7044 |9799 |  1 |  23k|   0 | 4.065280e+05 | 4.259840e+05 |   4.79%| unknown
500.30/502.49	c   502s| 15100 |  7766 |  2285k| 124.8 |   456M | 372 |  16k|  10k|7044 |9843 |  1 |  23k|   0 | 4.065280e+05 | 4.259840e+05 |   4.79%| unknown
501.10/503.22	o 424960
501.10/503.22	c d 503s| 15130 |  6568 |  2288k| 124.7 |veclendi| 372 |  16k|  10k|7044 |   0 |  1 |  23k|   0 | 4.065280e+05 | 4.249600e+05 |   4.53%| unknown
503.00/505.18	c   505s| 15200 |  6617 |  2295k| 124.7 |   458M | 372 |  16k|  10k|7054 |9941 |  1 |  23k|   0 | 4.065280e+05 | 4.249600e+05 |   4.53%| unknown
504.78/506.92	c   507s| 15300 |  6687 |  2300k| 124.3 |   458M | 372 |  16k|  11k|7043 |9943 |  1 |  23k|   0 | 4.065280e+05 | 4.249600e+05 |   4.53%| unknown
505.78/507.91	c   508s| 15400 |  6720 |  2301k| 123.6 |   458M | 372 |  16k|  11k|7043 |9943 |  1 |  23k|   0 | 4.065280e+05 | 4.249600e+05 |   4.53%| unknown
506.78/508.90	c   509s| 15500 |  6820 |  2301k| 123.0 |   458M | 399 |  16k|  11k|7043 |9943 |  1 |  23k|   0 | 4.065280e+05 | 4.249600e+05 |   4.53%| unknown
507.67/509.84	c   510s| 15600 |  6916 |  2301k| 122.3 |   458M | 497 |  16k|  11k|7043 |9943 |  1 |  23k|   0 | 4.065280e+05 | 4.249600e+05 |   4.53%| unknown
508.57/510.78	c   511s| 15700 |  7014 |  2301k| 121.6 |   458M | 596 |  16k|  11k|7043 |9943 |  1 |  23k|   0 | 4.065280e+05 | 4.249600e+05 |   4.53%| unknown
508.97/511.16	o 423936
508.97/511.16	c d 511s| 15726 |  5671 |  2302k| 121.5 |veclendi| 621 |  16k|  11k|7043 |   0 |  1 |  23k|   0 | 4.065280e+05 | 4.239360e+05 |   4.28%| unknown
510.16/512.37	c   512s| 15800 |  5694 |  2305k| 121.2 |   458M | 621 |  16k|  11k|7062 |9972 |  1 |  23k|   0 | 4.065280e+05 | 4.239360e+05 |   4.28%| unknown
512.45/514.64	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
512.45/514.64	c   515s| 15900 |  5737 |  2314k| 121.0 |   458M | 621 |  16k|  11k|7055 |  10k|  1 |  24k|   0 | 4.065280e+05 | 4.239360e+05 |   4.28%| unknown
515.24/517.41	c   517s| 16000 |  5821 |  2329k| 121.2 |   458M | 621 |  16k|  11k|7034 |  10k|  1 |  24k|   0 | 4.065280e+05 | 4.239360e+05 |   4.28%| unknown
517.63/519.82	c   520s| 16100 |  5863 |  2334k| 120.8 |   459M | 621 |  16k|  11k|   0 |  10k|  0 |  24k|   0 | 4.065280e+05 | 4.239360e+05 |   4.28%| unknown
519.93/522.12	c   522s| 16200 |  5935 |  2345k| 120.8 |   459M | 621 |  16k|  11k|7043 |  10k|  1 |  25k|   0 | 4.065280e+05 | 4.239360e+05 |   4.28%| unknown
522.02/524.23	c   524s| 16300 |  5964 |  2356k| 120.7 |   460M | 621 |  16k|  11k|7052 |  10k|  1 |  25k|   0 | 4.065280e+05 | 4.239360e+05 |   4.28%| unknown
523.82/526.06	c   526s| 16400 |  6050 |  2359k| 120.2 |   460M | 621 |  16k|  11k|7057 |  10k|  1 |  25k|   0 | 4.065280e+05 | 4.239360e+05 |   4.28%| unknown
525.60/527.87	c   528s| 16500 |  6142 |  2361k| 119.7 |   461M | 621 |  16k|  11k|7040 |  10k|  0 |  25k|   0 | 4.065280e+05 | 4.239360e+05 |   4.28%| unknown
527.50/529.78	c   530s| 16600 |  6184 |  2366k| 119.4 |   461M | 621 |  16k|  11k|7040 |  10k|  0 |  25k|   0 | 4.065280e+05 | 4.239360e+05 |   4.28%| unknown
530.09/532.38	c   532s| 16700 |  6236 |  2374k| 119.2 |   461M | 621 |  16k|  11k|7057 |  10k|  1 |  25k|   0 | 4.065280e+05 | 4.239360e+05 |   4.28%| unknown
531.98/534.29	c   534s| 16800 |  6285 |  2378k| 118.7 |   461M | 621 |  16k|  11k|7044 |  10k|  0 |  26k|   0 | 4.065280e+05 | 4.239360e+05 |   4.28%| unknown
533.08/535.34	c   535s| 16900 |  6355 |  2379k| 118.2 |   461M | 621 |  16k|  12k|7044 |  10k|  1 |  26k|   0 | 4.065280e+05 | 4.239360e+05 |   4.28%| unknown
534.17/536.44	c   536s| 17000 |  6449 |  2379k| 117.6 |   461M | 621 |  16k|  12k|7044 |  10k|  1 |  26k|   0 | 4.065280e+05 | 4.239360e+05 |   4.28%| unknown
535.07/537.39	c   537s| 17100 |  6545 |  2379k| 117.1 |   461M | 621 |  16k|  12k|7044 |  10k|  1 |  26k|   0 | 4.065280e+05 | 4.239360e+05 |   4.28%| unknown
536.07/538.39	c   538s| 17200 |  6639 |  2380k| 116.5 |   461M | 621 |  16k|  12k|7044 |  10k|  1 |  26k|   0 | 4.065280e+05 | 4.239360e+05 |   4.28%| unknown
537.06/539.36	c   539s| 17300 |  6739 |  2380k| 115.9 |   462M | 650 |  16k|  12k|7044 |  10k|  1 |  26k|   0 | 4.065280e+05 | 4.239360e+05 |   4.28%| unknown
537.46/539.72	o 422912
537.46/539.72	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
537.46/539.72	c d 540s| 17317 |  5716 |  2381k| 115.9 |guideddi| 666 |  16k|  12k|7044 |   0 |  1 |  26k|   0 | 4.065280e+05 | 4.229120e+05 |   4.03%| unknown
538.56/540.87	c   541s| 17400 |  5789 |  2383k| 115.5 |   463M | 666 |  16k|  12k|7056 |  10k|  1 |  26k|   0 | 4.065280e+05 | 4.229120e+05 |   4.03%| unknown
540.05/542.38	c   542s| 17500 |  5885 |  2385k| 115.0 |   463M | 666 |  16k|  12k|7057 |  10k|  1 |  26k|   0 | 4.065280e+05 | 4.229120e+05 |   4.03%| unknown
541.85/544.16	c   544s| 17600 |  5970 |  2388k| 114.6 |   465M | 666 |  16k|  12k|7062 |  10k|  1 |  26k|   0 | 4.065280e+05 | 4.229120e+05 |   4.03%| unknown
543.54/545.87	c   546s| 17700 |  6058 |  2392k| 114.2 |   467M | 666 |  16k|  12k|7066 |  10k|  1 |  26k|   0 | 4.065280e+05 | 4.229120e+05 |   4.03%| unknown
545.04/547.37	c   547s| 17800 |  6146 |  2395k| 113.9 |   467M | 666 |  16k|  12k|7065 |  10k|  1 |  27k|   0 | 4.065280e+05 | 4.229120e+05 |   4.03%| unknown
546.53/548.84	c   549s| 17900 |  6235 |  2398k| 113.5 |   467M | 666 |  16k|  12k|7062 |  10k|  1 |  27k|   0 | 4.065280e+05 | 4.229120e+05 |   4.03%| unknown
548.52/550.85	c   551s| 18000 |  6325 |  2402k| 113.1 |   469M | 666 |  16k|  12k|7067 |  10k|  1 |  27k|   0 | 4.065280e+05 | 4.229120e+05 |   4.03%| unknown
550.02/552.31	c   552s| 18100 |  6416 |  2403k| 112.6 |   469M | 666 |  16k|  12k|7068 |  10k|  1 |  27k|   0 | 4.065280e+05 | 4.229120e+05 |   4.03%| unknown
551.01/553.35	c   553s| 18200 |  6516 |  2404k| 112.1 |   469M | 666 |  16k|  12k|7068 |  10k|  1 |  27k|   0 | 4.065280e+05 | 4.229120e+05 |   4.03%| unknown
552.01/554.39	c   554s| 18300 |  6608 |  2404k| 111.6 |   469M | 666 |  16k|  12k|7068 |  10k|  1 |  27k|   0 | 4.065280e+05 | 4.229120e+05 |   4.03%| unknown
553.10/555.41	c   555s| 18400 |  6696 |  2404k| 111.1 |   469M | 666 |  16k|  12k|7068 |  10k|  1 |  27k|   0 | 4.065280e+05 | 4.229120e+05 |   4.03%| unknown
554.10/556.42	c   556s| 18500 |  6788 |  2404k| 110.6 |   469M | 666 |  16k|  12k|7068 |  10k|  1 |  27k|   0 | 4.065280e+05 | 4.229120e+05 |   4.03%| unknown
555.10/557.40	c   557s| 18600 |  6886 |  2404k| 110.1 |   469M | 707 |  16k|  12k|7069 |  10k|  1 |  27k|   0 | 4.065280e+05 | 4.229120e+05 |   4.03%| unknown
556.00/558.33	c   558s| 18700 |  6986 |  2405k| 109.6 |   469M | 807 |  16k|  12k|7069 |  10k|  1 |  27k|   0 | 4.065280e+05 | 4.229120e+05 |   4.03%| unknown

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (62031 MiB free)
  memory of node 1: 64473 MiB (62642 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432574-1721065232/watcher-4432574-1721065232 -o /tmp/evaluation-result-4432574-1721065232/solver-4432574-1721065232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721061647-814088 --watchdog 3760 pbscip -f HOME/instance-4432574-1721065232.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=816220, runsolver pid=816217

[startup+0.100258 s]*
/proc/loadavg: 4.13 4.11 4.21 4/255 816231
/proc/meminfo: memFree=127607688/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=110912 memory=71664 CPUtime=0.09 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 14764 0 0 0 7 2 0 0 20 0 1 0 158689424 113573888 17916 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 27728 17916 3543 3540 0 15985 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 110912 KiB
Current children cumulated memory: 71664 KiB

[startup+0.205626 s]*
/proc/loadavg: 4.13 4.11 4.21 4/254 816245
/proc/meminfo: memFree=127578592/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=149080 memory=107288 CPUtime=0.2 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 24681 0 0 0 16 4 0 0 20 0 1 0 158689424 152657920 26822 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 37270 26822 3670 3540 0 25527 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 149080 KiB
Current children cumulated memory: 107288 KiB

[startup+0.305589 s]*
/proc/loadavg: 4.13 4.11 4.21 6/254 816257
/proc/meminfo: memFree=127579660/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=145516 memory=103540 CPUtime=0.3 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 25704 0 0 0 26 4 0 0 20 0 1 0 158689424 149008384 25885 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 36379 25885 3734 3540 0 24636 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 145516 KiB
Current children cumulated memory: 103540 KiB

[startup+0.700212 s]
/proc/loadavg: 4.13 4.11 4.21 5/255 816277
/proc/meminfo: memFree=128442764/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=176324 memory=133908 CPUtime=0.68 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 32251 0 0 0 63 5 0 0 20 0 1 0 158689424 180555776 33477 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 44081 33477 3782 3540 0 32338 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 176324 KiB
Current children cumulated memory: 133908 KiB

[startup+1.50021 s]
/proc/loadavg: 4.13 4.11 4.21 5/257 816323
/proc/meminfo: memFree=128302556/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=259668 memory=192820 CPUtime=1.48 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 50083 0 0 0 140 8 0 0 20 0 1 0 158689424 265900032 48205 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 64917 48205 4044 3540 0 53174 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 259668 KiB
Current children cumulated memory: 192820 KiB

[startup+3.10555 s]
/proc/loadavg: 4.13 4.11 4.21 5/257 816325
/proc/meminfo: memFree=128114040/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=280420 memory=209636 CPUtime=3.08 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 53770 0 0 0 299 9 0 0 20 0 1 0 158689424 287150080 52409 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 70105 52409 4044 3540 0 58362 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 280420 KiB
Current children cumulated memory: 209636 KiB

[startup+6.30018 s]
/proc/loadavg: 4.12 4.11 4.21 5/257 816325
/proc/meminfo: memFree=128083576/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=303936 memory=230952 CPUtime=6.26 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 58617 0 0 0 617 9 0 0 20 0 1 0 158689424 311230464 57738 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 75984 57738 4044 3540 0 64241 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 303936 KiB
Current children cumulated memory: 230952 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.21 5/257 816326
/proc/meminfo: memFree=128001888/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=358448 memory=283160 CPUtime=12.63 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 71374 0 0 0 1252 11 0 0 20 0 1 0 158689424 367050752 70790 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 89612 70790 4170 3540 0 77869 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 358448 KiB
Current children cumulated memory: 283160 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 4.20 5/257 816328
/proc/meminfo: memFree=127941800/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=373596 memory=299616 CPUtime=25.38 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 82778 0 0 0 2525 13 0 0 20 0 1 0 158689424 382562304 74904 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 93399 74904 4170 3540 0 81656 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 373596 KiB
Current children cumulated memory: 299616 KiB

[startup+51.1058 s]
/proc/loadavg: 4.12 4.11 4.20 5/257 816331
/proc/meminfo: memFree=127822888/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=400860 memory=324308 CPUtime=50.87 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 89031 0 0 0 5073 14 0 0 20 0 1 0 158689424 410480640 81077 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 100215 81077 4170 3540 0 88472 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 400860 KiB
Current children cumulated memory: 324308 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.19 6/257 816342
/proc/meminfo: memFree=127719288/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=430204 memory=358888 CPUtime=101.84 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 97664 0 0 0 10168 16 0 0 20 0 1 0 158689424 440528896 89722 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 107551 89722 4186 3540 0 95808 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 430204 KiB
Current children cumulated memory: 358888 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.11 4.19 5/257 816353
/proc/meminfo: memFree=127678372/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=434960 memory=364928 CPUtime=161.58 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 99140 0 0 0 16142 16 0 0 20 0 1 0 158689424 445399040 91232 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 108740 91232 4186 3540 0 96997 0
Current children cumulated CPU time: 161.58 s
Current children cumulated vsize: 434960 KiB
Current children cumulated memory: 364928 KiB

[startup+222.3 s]
/proc/loadavg: 4.21 4.14 4.19 5/257 816365
/proc/meminfo: memFree=127652932/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=434960 memory=364928 CPUtime=221.3 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 99177 0 0 0 22114 16 0 0 20 0 1 0 158689424 445399040 91232 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 108740 91232 4186 3540 0 96997 0
Current children cumulated CPU time: 221.3 s
Current children cumulated vsize: 434960 KiB
Current children cumulated memory: 364928 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.18 5/255 816376
/proc/meminfo: memFree=127514940/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=518960 memory=448720 CPUtime=281.02 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 295710 0 0 0 28017 85 0 0 20 0 1 0 158689424 531415040 112180 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 129740 112180 4186 3540 0 117997 0
Current children cumulated CPU time: 281.02 s
Current children cumulated vsize: 518960 KiB
Current children cumulated memory: 448720 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.13 4.18 5/255 816386
/proc/meminfo: memFree=127425792/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=537752 memory=467820 CPUtime=340.76 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 310217 0 0 0 33988 88 0 0 20 0 1 0 158689424 550658048 116955 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 134438 116955 4186 3540 0 122695 0
Current children cumulated CPU time: 340.76 s
Current children cumulated vsize: 537752 KiB
Current children cumulated memory: 467820 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.12 4.17 5/255 816398
/proc/meminfo: memFree=127355816/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=569956 memory=502412 CPUtime=400.54 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 337462 0 0 0 39960 94 0 0 20 0 1 0 158689424 583634944 125603 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 142489 125603 4186 3540 0 130746 0
Current children cumulated CPU time: 400.54 s
Current children cumulated vsize: 569956 KiB
Current children cumulated memory: 502412 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.17 5/255 816408
/proc/meminfo: memFree=127228316/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=602272 memory=541824 CPUtime=460.34 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 355468 0 0 0 45936 98 0 0 20 0 1 0 158689424 616726528 135456 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 150568 135456 4186 3540 0 138825 0
Current children cumulated CPU time: 460.34 s
Current children cumulated vsize: 602272 KiB
Current children cumulated memory: 541824 KiB

[startup+522.3 s]
/proc/loadavg: 4.18 4.13 4.17 5/255 816418
/proc/meminfo: memFree=127180412/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=615880 memory=556908 CPUtime=520.12 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 368334 0 0 0 51907 105 0 0 20 0 1 0 158689424 630661120 139227 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 153970 139227 4186 3540 0 142227 0
Current children cumulated CPU time: 520.12 s
Current children cumulated vsize: 615880 KiB
Current children cumulated memory: 556908 KiB

[startup+559.326 s]
# the end of solver process 816220 was just reported to runsolver
# Child ended because it received signal 11 (SIGSEGV)
Child dumped core

# cumulated CPU time of all completed processes:  user=555.317 s, system=1.6076 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+537.6 s]
/proc/loadavg: 4.14 4.13 4.17 5/255 816419
/proc/meminfo: memFree=127178184/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=615880 memory=557652 CPUtime=535.37 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 368511 0 0 0 53432 105 0 0 20 0 1 0 158689424 630661120 139413 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 153970 139413 4186 3540 0 142227 0
Current children cumulated CPU time: 535.37 s
Current children cumulated vsize: 615880 KiB
Current children cumulated memory: 557652 KiB

[startup+550.4 s]
/proc/loadavg: 4.19 4.14 4.17 5/255 816422
/proc/meminfo: memFree=127164900/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=617892 memory=558916 CPUtime=548.12 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 368952 0 0 0 54707 105 0 0 20 0 1 0 158689424 632721408 139729 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 154473 139729 4186 3540 0 142730 0
Current children cumulated CPU time: 548.12 s
Current children cumulated vsize: 617892 KiB
Current children cumulated memory: 558916 KiB

[startup+553.6 s]
/proc/loadavg: 4.19 4.14 4.17 5/255 816423
/proc/meminfo: memFree=127153788/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=617892 memory=558916 CPUtime=551.31 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 368954 0 0 0 55026 105 0 0 20 0 1 0 158689424 632721408 139729 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 154473 139729 4186 3540 0 142730 0
Current children cumulated CPU time: 551.31 s
Current children cumulated vsize: 617892 KiB
Current children cumulated memory: 558916 KiB

[startup+556.8 s]
/proc/loadavg: 4.18 4.13 4.17 5/255 816423
/proc/meminfo: memFree=127153144/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=617892 memory=558916 CPUtime=554.5 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 368954 0 0 0 55345 105 0 0 20 0 1 0 158689424 632721408 139729 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 154473 139729 4186 3540 0 142730 0
Current children cumulated CPU time: 554.5 s
Current children cumulated vsize: 617892 KiB
Current children cumulated memory: 558916 KiB

[startup+558.4 s]
/proc/loadavg: 4.18 4.13 4.17 5/255 816423
/proc/meminfo: memFree=127152724/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=617892 memory=558916 CPUtime=556.09 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 368954 0 0 0 55504 105 0 0 20 0 1 0 158689424 632721408 139729 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 154473 139729 4186 3540 0 142730 0
Current children cumulated CPU time: 556.09 s
Current children cumulated vsize: 617892 KiB
Current children cumulated memory: 558916 KiB

[startup+558.8 s]
/proc/loadavg: 4.18 4.13 4.17 5/255 816423
/proc/meminfo: memFree=127152724/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=627956 memory=565544 CPUtime=556.39 cores=5,7
/proc/816220/stat : 816220 (pbscip) D 816217 816220 814075 0 -1 4195840 370651 0 0 0 55531 108 0 0 20 0 1 0 158689424 643026944 141386 134679101440 4194304 18693293 140721047056080 140721047052720 7308797 0 0 0 2 1 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 156989 141386 4186 3540 0 145246 0
Current children cumulated CPU time: 556.39 s
Current children cumulated vsize: 627956 KiB
Current children cumulated memory: 565544 KiB

[startup+559.2 s]
/proc/loadavg: 4.16 4.13 4.17 5/259 816430
/proc/meminfo: memFree=126895752/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=627956 memory=565544 CPUtime=556.79 cores=5,7
/proc/816220/stat : 816220 (pbscip) D 816217 816220 814075 0 -1 4195840 370651 0 0 0 55531 148 0 0 20 0 1 0 158689424 643026944 141386 134679101440 4194304 18693293 140721047056080 140721047052720 7308797 0 0 0 2 1 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 156989 141386 4186 3540 0 145246 0
Current children cumulated CPU time: 556.79 s
Current children cumulated vsize: 627956 KiB
Current children cumulated memory: 565544 KiB

[startup+559.3 s]
/proc/loadavg: 4.16 4.13 4.17 5/259 816430
/proc/meminfo: memFree=126895752/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=627956 memory=565544 CPUtime=556.89 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4195840 370651 0 0 0 55531 158 0 0 20 0 1 0 158689424 643026944 141386 134679101440 4194304 18693293 140721047056080 140721047052720 7308797 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 156989 141386 4186 3540 0 145246 0
Current children cumulated CPU time: 556.89 s
Current children cumulated vsize: 627956 KiB
Current children cumulated memory: 565544 KiB

Child ended because it received signal 11 (SIGSEGV)
Child dumped core

Real time (s): 559.326
CPU time (s): 556.924
CPU user time (s): 555.317
CPU system time (s): 1.6076
CPU usage (%): 99.5707
Max. virtual memory (cumulated for all children) (KiB): 774704
Max. memory (cumulated for all children) (KiB): 679708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 555.317
system time used= 1.6076
maximum resident set size= 693688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 370689
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= 69
involuntary context switches= 407


# summary of solver processes directly reported to runsolver:
#   pid: 816220
#   total CPU time (s): 556.924
#   total CPU user time (s): 555.317
#   total CPU system time (s): 1.6076

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.17304 second user time and 2.46196 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-15 19:40:45
IDJOB=4432574
IDBENCH=146791
IDSOLVER=3059
FILE ID=nodeC026/4432574-1721065232
RUNJOBID= nodeC026-1721061647-814088
SLURM_JOB_ID= 7505513
Free space on /tmp= 890036 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-railway_8_1_0.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432574-1721065232/watcher-4432574-1721065232 -o /tmp/evaluation-result-4432574-1721065232/solver-4432574-1721065232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721061647-814088 --watchdog 3760  pbscip -f HOME/instance-4432574-1721065232.opb -t 3600 -j 2 -m 31000

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 881f02ab7f3f3b5ffe74a08302b7945a
RANDOM SEED=1900422606

nodeC026.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3669.242
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3673.746
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3605.134
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3611.164
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3661.354
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3668.476
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3660.655
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3661.994
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127665992 kB
MemAvailable:   128395112 kB
Buffers:          367948 kB
Cached:          1198132 kB
SwapCached:            0 kB
Active:           638500 kB
Inactive:        2627028 kB
Active(anon):       1532 kB
Inactive(anon):  1735712 kB
Active(file):     636968 kB
Inactive(file):   891316 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             45972 kB
Writeback:             0 kB
AnonPages:       1694348 kB
Mapped:           128016 kB
Shmem:             37720 kB
KReclaimable:      81316 kB
Slab:             185332 kB
SReclaimable:      81316 kB
SUnreclaim:       104016 kB
KernelStack:        4104 kB
PageTables:        12252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1963892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61088 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1406976 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      228052 kB
DirectMap2M:    20516864 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 890004 MiB
End job on nodeC026 at 2024-07-15 19:50:05