Trace number 4432929

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-07OPT2312 2994.21 3003.05

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_clique-50.lin.opb
MD5SUM11852bf7a05815ba1c78428ce5d4534c
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 benchmark2312
Best CPU time to get the best result obtained on this benchmark2994.21
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3825
Total number of constraints7400
Number of constraints which are clauses3675
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints3675
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 3675
Biggest coefficient in the objective function 49
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 62475
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 49
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 62475
Number of bits of the biggest sum of numbers16
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-4432929-1721168395.opb>
0.00/0.02	c original problem has 3825 variables (3825 bin, 0 int, 0 impl, 0 cont) and 7400 constraints
0.00/0.02	c problem read in 0.02
0.00/0.03	c presolving:
0.00/0.05	c    (0.0s) running MILP presolver
0.00/0.08	c    (0.1s) MILP presolver found nothing
0.00/0.09	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3725 upgd conss, 0 impls, 50 clqs
0.09/0.10	c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 7400 upgd conss, 0 impls, 50 clqs
0.09/0.13	c (round 3, medium)     0 del vars, 3675 del conss, 7350 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 7400 upgd conss, 0 impls, 7400 clqs
0.09/0.15	c (round 4, exhaustive) 0 del vars, 14700 del conss, 11025 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 7400 upgd conss, 0 impls, 7400 clqs
0.59/0.67	c    (0.7s) probing: 1000/3825 (26.1%) - 0 fixings, 0 aggregations, 179358 implications, 0 bound changes
0.59/0.67	c    (0.7s) probing: 1001/3825 (26.2%) - 0 fixings, 0 aggregations, 179551 implications, 0 bound changes
0.59/0.67	c    (0.7s) probing aborted: 1000/1000 successive useless probings
0.59/0.67	c    (0.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.59/0.68	c    (0.7s) symmetry computation finished: 3 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
0.59/0.69	c dynamic symmetry handling statistics:
0.59/0.69	c    orbitopal reduction:       no components
0.59/0.69	c    orbital reduction:          1 components of sizes 3
0.59/0.69	c    lexicographic reduction:    3 permutations with support sizes 2550, 2550, 3750
0.59/0.69	c handled 1 out of 1 symmetry components
0.59/0.69	c presolving (5 rounds: 5 fast, 5 medium, 4 exhaustive):
0.59/0.69	c  0 deleted vars, 14700 deleted constraints, 11025 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.69	c  0 implications, 22175 cliques
0.59/0.69	c presolved problem has 3825 variables (3825 bin, 0 int, 0 impl, 0 cont) and 3725 constraints
0.59/0.69	c      50 constraints of type <setppc>
0.59/0.69	c    3675 constraints of type <and>
0.59/0.69	c transformed objective value is always integral (scale: 1)
0.59/0.69	c Presolving Time: 0.66
0.59/0.69	c - non default parameters ----------------------------------------------------------------------
0.59/0.69	c # SCIP version 10.0.0
0.59/0.69	c 
0.59/0.69	c # maximal time in seconds to run
0.59/0.69	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.59/0.69	c limits/time = 3596.998006
0.59/0.69	c 
0.59/0.69	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.69	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.59/0.69	c limits/memory = 27900
0.59/0.69	c 
0.59/0.69	c # belongs reading time to solving time?
0.59/0.69	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.59/0.69	c timing/reading = TRUE
0.59/0.69	c 
0.59/0.69	c -----------------------------------------------------------------------------------------------
0.59/0.69	c start solving
0.59/0.69	c 
0.69/0.73	o 20825
0.69/0.73	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
0.69/0.73	c p 0.7s|     1 |     0 |     0 |     - |  clique|   0 |3825 |3725 |7400 |   0 |  0 |   0 |   0 | 0.000000e+00 | 2.082500e+04 |    Inf | unknown
0.69/0.75	o 18424
0.69/0.75	c p 0.8s|     1 |     0 |     0 |     - | vbounds|   0 |3825 |3725 |7400 |   0 |  0 |   0 |   0 | 0.000000e+00 | 1.842400e+04 |    Inf | unknown
0.79/0.80	c   0.8s|     1 |     0 |   100 |     - |    85M |   0 |3825 |3725 |7400 |   0 |  0 |   0 |   0 | 0.000000e+00 | 1.842400e+04 |    Inf | unknown
0.89/0.99	c   1.0s|     1 |     0 |   120 |     - |    88M |   0 |3825 |3725 |7406 |   6 |  1 |   0 |   0 | 0.000000e+00 | 1.842400e+04 |    Inf | unknown
2.28/2.38	c   2.4s|     1 |     0 |   258 |     - |   189M |   0 |3825 |3725 |7448 |  48 |  2 |   0 |   0 | 0.000000e+00 | 1.842400e+04 |    Inf | unknown
3.38/3.48	c   3.5s|     1 |     0 |   402 |     - |   191M |   0 |3825 |3725 |7489 |  89 |  3 |   0 |   0 | 0.000000e+00 | 1.842400e+04 |    Inf | unknown
5.27/5.31	c   5.3s|     1 |     0 |   517 |     - |   207M |   0 |3825 |3725 |7516 | 116 |  4 |   0 |   0 | 0.000000e+00 | 1.842400e+04 |    Inf | unknown
7.17/7.26	c   7.3s|     1 |     0 |   839 |     - |   215M |   0 |3825 |3725 |7546 | 146 |  5 |   0 |   0 | 1.354713e+00 | 1.842400e+04 |  Large | unknown
9.27/9.31	c   9.3s|     1 |     0 |  1244 |     - |   223M |   0 |3825 |3725 |7569 | 169 |  6 |   0 |   0 | 1.134130e+01 | 1.842400e+04 |  Large | unknown
11.36/11.46	c  11.5s|     1 |     0 |  1576 |     - |   229M |   0 |3825 |3725 |7598 | 198 |  7 |   0 |   0 | 2.289701e+01 | 1.842400e+04 |  Large | unknown
13.56/13.65	c  13.7s|     1 |     0 |  1965 |     - |   234M |   0 |3825 |3725 |7624 | 224 |  8 |   0 |   0 | 3.234467e+01 | 1.842400e+04 |  Large | unknown
15.75/15.89	c  15.9s|     1 |     0 |  2288 |     - |   242M |   0 |3825 |3725 |7652 | 252 |  9 |   0 |   0 | 4.183101e+01 | 1.842400e+04 |  Large | unknown
18.05/18.15	c  18.2s|     1 |     0 |  2558 |     - |   253M |   0 |3825 |3725 |7679 | 279 | 10 |   0 |   0 | 5.140429e+01 | 1.842400e+04 |  Large | unknown
18.14/18.23	c  18.2s|     1 |     0 |  2727 |     - |   254M |   0 |3825 |3725 |7692 | 296 | 11 |   0 |   0 | 5.567502e+01 | 1.842400e+04 |  Large | unknown
18.14/18.28	c  18.3s|     1 |     0 |  2773 |     - |   254M |   0 |3825 |3725 |7699 | 303 | 12 |   0 |   0 | 5.634968e+01 | 1.842400e+04 |  Large | unknown
18.24/18.33	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
18.24/18.33	c  18.3s|     1 |     0 |  2855 |     - |   255M |   0 |3825 |3725 |7704 | 308 | 13 |   0 |   0 | 5.749955e+01 | 1.842400e+04 |  Large | unknown
18.24/18.38	c  18.4s|     1 |     0 |  2902 |     - |   256M |   0 |3825 |3725 |7706 | 310 | 14 |   0 |   0 | 5.816298e+01 | 1.842400e+04 |  Large | unknown
18.34/18.43	c  18.4s|     1 |     0 |  2978 |     - |   257M |   0 |3825 |3725 |7707 | 311 | 15 |   0 |   0 | 5.979832e+01 | 1.842400e+04 |  Large | unknown
18.34/18.49	c  18.5s|     1 |     0 |  3076 |     - |   258M |   0 |3825 |3725 |7712 | 316 | 16 |   0 |   0 | 6.085308e+01 | 1.842400e+04 |  Large | unknown
18.44/18.53	c  18.5s|     1 |     0 |  3144 |     - |   259M |   0 |3825 |3726 |7689 | 319 | 17 |   1 |   0 | 6.163607e+01 | 1.842400e+04 |  Large | unknown
18.44/18.58	c  18.6s|     1 |     0 |  3201 |     - |   260M |   0 |3825 |3726 |7692 | 322 | 18 |   1 |   0 | 6.187850e+01 | 1.842400e+04 |  Large | unknown
18.54/18.62	c  18.6s|     1 |     0 |  3226 |     - |   260M |   0 |3825 |3726 |7697 | 327 | 19 |   1 |   0 | 6.191967e+01 | 1.842400e+04 |  Large | unknown
18.54/18.67	c  18.7s|     1 |     0 |  3300 |     - |   261M |   0 |3825 |3727 |7699 | 329 | 20 |   2 |   0 | 6.265244e+01 | 1.842400e+04 |  Large | unknown
18.64/18.70	c  18.7s|     1 |     0 |  3332 |     - |   261M |   0 |3825 |3727 |7702 | 332 | 21 |   2 |   0 | 6.270825e+01 | 1.842400e+04 |  Large | unknown
21.54/21.67	o 7111
21.54/21.67	c d21.7s|     1 |     0 | 12792 |     - |conflict|   0 |3825 |3732 |7702 |   0 | 22 |   7 |   0 | 6.270825e+01 | 7.111000e+03 |  Large | unknown
22.13/22.25	c  22.3s|     1 |     0 | 12792 |     - |   264M |   0 |3825 |3732 |7702 | 332 | 22 |   7 |   0 | 6.270825e+01 | 7.111000e+03 |  Large | unknown
30.71/30.83	c  30.8s|     1 |     2 | 12792 |     - |   264M |   0 |3825 |3732 |7702 | 332 | 23 |   7 |  47 | 6.979991e+01 | 7.111000e+03 |  Large | unknown
53.64/53.86	o 4056
53.64/53.86	c d53.9s|    14 |    15 | 19597 |1251.2 |pscostdi|  13 |3825 |3732 |7742 |   0 |  1 |   7 | 324 | 6.979991e+01 | 4.056000e+03 |5710.90%| unknown
79.89/80.19	c  80.2s|   100 |    99 | 79230 | 766.6 |   301M |  17 |3825 |3640 |7929 |1472 |  2 |  14 | 384 | 5.017500e+02 | 4.056000e+03 | 708.37%|  19.40%
121.68/122.09	o 3599
121.68/122.09	c d 122s|   162 |   146 |212066 |1296.5 |linesear|  18 |3825 |3631 |7845 |   0 |  1 |  69 | 436 | 7.015671e+02 | 3.599000e+03 | 412.99%|  20.30%
154.68/155.18	o 3504
154.68/155.18	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
154.68/155.18	c d 155s|   200 |   177 |304620 |1514.0 |linesear|  18 |3825 |3706 |7734 |   0 |  2 | 144 | 472 | 7.447500e+02 | 3.504000e+03 | 370.49%|  21.13%
181.91/182.48	o 3079
181.91/182.48	c d 182s|   242 |   201 |375933 |1546.1 |linesear|  18 |3825 |3633 |7953 |   0 |  2 | 185 | 510 | 8.260000e+02 | 3.079000e+03 | 272.76%|  22.10%
276.87/277.61	c   278s|   300 |   257 |572985 |1905.2 |   869M |  18 |3825 |3751 |8423 |  11k| 19 | 303 | 607 | 8.445000e+02 | 3.079000e+03 | 264.59%|  23.83%
441.16/442.36	c   442s|   400 |   335 |936922 |2339.8 |  1153M |  18 |3825 |3887 |8580 |  20k|  3 | 441 | 780 | 9.586557e+02 | 3.079000e+03 | 221.18%|  26.74%
555.86/557.35	o 3014
555.86/557.35	c L 557s|   442 |   363 |  1174k|2655.7 |    rins|  18 |3825 |3941 |8748 |  25k|  3 | 495 | 896 | 9.637727e+02 | 3.014000e+03 | 212.73%|  27.91%
829.24/831.58	c   832s|   500 |   411 |  1593k|3186.8 |  1445M |  18 |3825 |3982 |9566 |  33k|  2 | 536 |1090 | 9.977500e+02 | 3.014000e+03 | 202.08%|  29.24%
908.40/910.91	o 2951
908.40/910.91	c d 911s|   521 |   422 |  1723k|3308.8 |linesear|  18 |3825 |3982 |9418 |   0 |  2 | 536 |1169 | 1.004500e+03 | 2.951000e+03 | 193.78%|  29.79%
974.70/977.49	c   977s|   600 |   455 |  1889k|3149.4 |  1790M |  25 |3825 |4031 |9484 |  37k|  0 | 586 |1233 | 1.033417e+03 | 2.951000e+03 | 185.56%|  30.07%
1012.28/1015.18	o 2705
1012.28/1015.18	c *1015s|   644 |   397 |  1955k|3035.9 |    LP  |  25 |3825 |3670 |9456 |  38k|  1 | 597 |1266 | 1.039964e+03 | 2.705000e+03 | 160.11%|  30.56%
1124.43/1127.67	c  1128s|   700 |   419 |  2148k|3068.4 |  1818M |  25 |3825 |3724 |9381 |  41k|  2 | 651 |1378 | 1.088000e+03 | 2.705000e+03 | 148.62%|  31.18%
1253.12/1256.71	c  1257s|   800 |   447 |  2496k|3119.8 |  1906M |  25 |3825 |3842 |9607 |  44k|  0 | 769 |1511 | 1.099750e+03 | 2.705000e+03 | 145.96%|  31.62%
1321.82/1325.69	o 2372
1321.82/1325.69	c *1326s|   832 |   352 |  2613k|3141.0 |    LP  |  25 |3825 |3711 |9691 |  45k|  1 | 828 |1593 | 1.177250e+03 | 2.372000e+03 | 101.49%|  32.77%
1322.71/1326.54	o 2312
1322.71/1326.54	c *1327s|   836 |   328 |  2616k|3129.2 |strongbr|  25 |3825 |3711 |9722 |  45k|  4 | 828 |1593 | 1.177250e+03 | 2.312000e+03 |  96.39%|  33.21%
1461.80/1466.07	c  1466s|   900 |   324 |  2846k|3162.6 |  1940M |  25 |3825 |3857 |9194 |  48k|  2 | 974 |1764 | 1.186750e+03 | 2.312000e+03 |  94.82%|  36.58%
1687.80/1692.73	c  1693s|  1000 |   313 |  3223k|3222.9 |  1975M |  25 |3825 |4004 |9892 |  53k|  9 |1121 |2000 | 1.223975e+03 | 2.312000e+03 |  88.89%|  41.46%
1931.08/1936.79	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1931.08/1936.79	c  1937s|  1100 |   281 |  3665k|3332.6 |  1999M |  25 |3825 |4127 |9598 |  57k|  5 |1246 |2264 | 1.227625e+03 | 2.312000e+03 |  88.33%|  49.98%
2129.78/2136.04	c  2136s|  1200 |   239 |  4052k|3376.7 |  2012M |  25 |3825 |4292 |  10k|  60k|  0 |1414 |2502 | 1.265417e+03 | 2.312000e+03 |  82.71%|  59.00%
2327.48/2334.37	c  2334s|  1300 |   195 |  4458k|3429.9 |  2028M |  25 |3825 |4367 |  10k|  63k|  0 |1491 |2614 | 1.293750e+03 | 2.312000e+03 |  78.71%|  65.18%
2552.00/2559.50	c  2560s|  1400 |   163 |  4843k|3459.8 |  2042M |  25 |3825 |4597 |9268 |  66k|  5 |1726 |2967 | 1.321590e+03 | 2.312000e+03 |  74.94%|  71.28%
2758.48/2766.61	c  2767s|  1500 |   121 |  5214k|3476.4 |  2059M |  25 |3825 |4779 |9362 |  69k|  4 |1911 |3201 | 1.451750e+03 | 2.312000e+03 |  59.26%|  78.74%
2902.63/2911.20	c  2911s|  1600 |    79 |  5532k|3458.1 |  2065M |  25 |3825 |4991 |  12k|  72k|  0 |2131 |3413 | 1.468250e+03 | 2.312000e+03 |  57.47%|  87.26%
2992.06/3000.98	c  3001s|  1700 |     3 |  5745k|3379.6 |  2067M |  25 |3825 |4430 |8460 |  73k|  2 |2196 |3465 | 2.145031e+03 | 2.312000e+03 |   7.78%|  99.91%
2994.05/3002.97	c 
2994.05/3002.97	c SCIP Status        : problem is solved [optimal solution found]
2994.05/3002.97	c Solving Time (sec) : 3002.97
2994.05/3002.97	c Solving Nodes      : 1708
2994.05/3002.97	c Primal Bound       : +2.31200000000000e+03 (20 solutions)
2994.05/3002.97	c Dual Bound         : +2.31200000000000e+03
2994.05/3002.97	c Gap                : 0.00 %
2994.05/3002.98	s OPTIMUM FOUND
2994.05/3002.98	v -x150 x149 -x148 -x147 x146 -x145 -x144 x143 -x142 -x141 x140 -x139 -x138 x137 -x136 -x135 x134 -x133 -x132 x131 -x130 -x129 x128 
2994.05/3002.98	v -x127 -x126 x125 -x124 -x123 x122 -x121 -x120 x119 -x118 -x117 x116 -x115 -x114 x113 -x112 -x111 x110 -x109 -x108 x107 -x106 
2994.05/3002.98	v -x105 x104 -x103 x102 -x101 -x100 x99 -x98 -x97 x96 -x95 -x94 x93 -x92 -x91 x90 -x89 -x88 x87 -x86 -x85 x84 -x83 -x82 x81 
2994.05/3002.98	v -x80 -x79 x78 -x77 -x76 x75 -x74 -x73 x72 -x71 -x70 x69 -x68 -x67 x66 -x65 -x64 x63 -x62 -x61 x60 -x59 -x58 x57 -x56 -x55 x54 
2994.05/3002.98	v -x53 -x52 -x51 -x50 x49 -x48 -x47 x46 -x45 -x44 x43 -x42 -x41 x40 -x39 -x38 x37 -x36 -x35 x34 -x33 -x32 x31 -x30 -x29 x28 -x27 
2994.05/3002.98	v -x26 x25 -x24 -x23 x22 -x21 -x20 x19 -x18 -x17 x16 -x15 -x14 x13 -x12 -x11 x10 -x9 -x8 x7 -x6 -x5 x4 -x3 -x2 x1 -x3825 x3824 
2994.05/3002.98	v -x3823 -x3822 -x3821 x3820 x3819 -x3818 -x3817 -x3816 -x3815 -x3814 x3813 x3812 x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 
2994.05/3002.98	v -x3804 x3803 x3802 x3801 x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 x3790 x3789 x3788 x3787 x3786 
2994.05/3002.98	v -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 x3774 x3773 x3772 x3771 x3770 x3769 -x3768 
2994.05/3002.98	v -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 x3755 x3754 x3753 x3752 x3751 x3750 x3749 
2994.05/3002.98	v -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 x3733 x3732 x3731 x3730 
2994.05/3002.98	v x3729 x3728 x3727 x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 
2994.05/3002.98	v -x3711 -x3710 -x3709 x3708 x3707 x3706 x3705 x3704 x3703 x3702 x3701 x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 
2994.05/3002.98	v -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 x3680 x3679 x3678 x3677 x3676 x3675 x3674 
2994.05/3002.98	v x3673 x3672 x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 
2994.05/3002.98	v -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 x3649 x3648 x3647 x3646 x3645 x3644 x3643 x3642 x3641 x3640 x3639 -x3638 -x3637 -x3636 
2994.05/3002.98	v -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 
2994.05/3002.98	v -x3617 -x3616 x3615 x3614 x3613 x3612 x3611 x3610 x3609 x3608 x3607 x3606 x3605 x3604 -x3603 -x3602 -x3601 -x3600 -x3599 
2994.05/3002.98	v -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 
2994.05/3002.98	v -x3580 -x3579 x3578 x3577 x3576 x3575 x3574 x3573 x3572 x3571 x3570 x3569 x3568 x3567 x3566 -x3565 -x3564 -x3563 -x3562 -x3561 
2994.05/3002.98	v -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 
2994.05/3002.98	v -x3542 -x3541 -x3540 -x3539 x3538 x3537 x3536 x3535 x3534 x3533 x3532 x3531 x3530 x3529 x3528 x3527 x3526 x3525 -x3524 -x3523 
2994.05/3002.98	v -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 
2994.05/3002.98	v -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 x3495 x3494 x3493 x3492 x3491 x3490 x3489 x3488 x3487 x3486 
2994.05/3002.98	v x3485 x3484 x3483 x3482 x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 
2994.05/3002.98	v -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 
2994.05/3002.98	v -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 
2994.05/3002.98	v -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 
2994.05/3002.98	v -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 x3401 -x3400 -x3399 -x3398 -x3397 -x3396 
2994.05/3002.98	v -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 
2994.05/3002.98	v -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 
2994.05/3002.98	v -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 x3350 x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 
2994.05/3002.98	v -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 
2994.05/3002.98	v -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 
2994.05/3002.98	v -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 x3296 x3295 x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 
2994.05/3002.98	v -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 
2994.05/3002.98	v -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 
2994.05/3002.98	v -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 x3239 x3238 x3237 x3236 -x3235 -x3234 
2994.05/3002.98	v -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 
2994.05/3002.98	v -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 
2994.05/3002.98	v -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 
2994.05/3002.98	v -x3180 x3179 x3178 x3177 x3176 x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 
2994.05/3002.98	v -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 
2994.05/3002.98	v -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 
2994.05/3002.98	v -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 x3116 x3115 x3114 x3113 x3112 x3111 -x3110 -x3109 -x3108 
2994.05/3002.98	v -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 
2994.05/3002.98	v -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 
2994.05/3002.98	v -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 
2994.05/3002.98	v -x3053 -x3052 -x3051 x3050 x3049 x3048 x3047 x3046 x3045 x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 
2994.05/3002.98	v -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 
2994.05/3002.98	v -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 
2994.05/3002.98	v -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 
2994.05/3002.98	v x2981 x2980 x2979 x2978 x2977 x2976 x2975 x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 
2994.05/3002.98	v -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 
2994.05/3002.98	v -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 
2994.05/3002.98	v -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 x2909 
2994.05/3002.98	v x2908 x2907 x2906 x2905 x2904 x2903 x2902 x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 
2994.05/3002.98	v -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 
2994.05/3002.98	v -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 
2994.05/3002.98	v -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 
2994.05/3002.98	v -x2835 x2834 x2833 x2832 x2831 x2830 x2829 x2828 x2827 x2826 x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 
2994.05/3002.98	v -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 
2994.05/3002.98	v -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 
2994.05/3002.98	v -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 
2994.05/3002.98	v -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 x2756 x2755 x2754 x2753 x2752 x2751 x2750 x2749 x2748 x2747 x2746 -x2745 -x2744 
2994.05/3002.98	v -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 
2994.05/3002.98	v -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 
2994.05/3002.98	v -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 
2994.05/3002.98	v -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 x2675 x2674 x2673 x2672 
2994.05/3002.98	v x2671 x2670 x2669 x2668 x2667 x2666 x2665 x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 
2994.05/3002.98	v -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 
2994.05/3002.98	v -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 
2994.05/3002.98	v -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 
2994.05/3002.98	v -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 x2591 x2590 x2589 x2588 x2587 x2586 x2585 x2584 x2583 x2582 x2581 x2580 
2994.05/3002.98	v x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 
2994.05/3002.98	v -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 
2994.05/3002.98	v -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 
2994.05/3002.98	v -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 
2994.05/3002.98	v -x2507 -x2506 -x2505 x2504 x2503 x2502 x2501 x2500 x2499 x2498 x2497 x2496 x2495 x2494 x2493 x2492 x2491 -x2490 -x2489 -x2488 
2994.05/3002.98	v -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 
2994.05/3002.98	v -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 
2994.05/3002.98	v -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 
2994.05/3002.98	v -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 
2994.05/3002.98	v -x2416 -x2415 x2414 x2413 x2412 x2411 x2410 x2409 x2408 x2407 x2406 x2405 x2404 x2403 x2402 x2401 x2400 -x2399 -x2398 -x2397 
2994.05/3002.98	v -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 
2994.05/3002.98	v -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 
2994.05/3002.98	v -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 
2994.05/3002.98	v -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 
2994.05/3002.98	v -x2325 -x2324 -x2323 -x2322 x2321 x2320 x2319 x2318 x2317 x2316 x2315 x2314 x2313 x2312 x2311 x2310 x2309 x2308 x2307 x2306 -x2305 
2994.05/3002.98	v -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 
2994.05/3002.98	v -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 
2994.05/3002.98	v -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 
2994.05/3002.98	v -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 
2994.05/3002.98	v -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 
2994.05/3002.98	v -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 
2994.05/3002.98	v -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 
2994.05/3002.98	v -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 
2994.05/3002.98	v -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 
2994.05/3002.98	v -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 
2994.05/3002.98	v -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 
2994.05/3002.98	v -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 
2994.05/3002.98	v -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 
2994.05/3002.98	v -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 
2994.05/3002.98	v -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 x2041 -x2040 -x2039 -x2038 -x2037 
2994.05/3002.98	v -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 
2994.05/3002.98	v -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 
2994.05/3002.98	v -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 
2994.05/3002.98	v -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 
2994.05/3002.98	v -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 
2994.05/3002.98	v -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 x1937 x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 
2994.05/3002.98	v -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 
2994.05/3002.98	v -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 
2994.05/3002.98	v -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 
2994.05/3002.98	v -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 
2994.05/3002.98	v -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 
2994.05/3002.98	v -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 x1830 x1829 x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 
2994.05/3002.98	v -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 
2994.05/3002.98	v -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 
2994.05/3002.98	v -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 
2994.05/3002.98	v -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 
2994.05/3002.98	v -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 
2994.05/3002.98	v -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 x1720 x1719 x1718 x1717 -x1716 -x1715 
2994.05/3002.98	v -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 
2994.05/3002.98	v -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 
2994.05/3002.98	v -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 
2994.05/3002.98	v -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 
2994.05/3002.98	v -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 
2994.05/3002.98	v -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 
2994.05/3002.98	v x1607 x1606 x1605 x1604 x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 
2994.05/3002.98	v -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 
2994.05/3002.98	v -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 
2994.05/3002.98	v -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 
2994.05/3002.98	v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 
2994.05/3002.98	v -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 
2994.05/3002.98	v -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 x1491 x1490 x1489 x1488 x1487 x1486 -x1485 -x1484 -x1483 -x1482 -x1481 
2994.05/3002.98	v -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 
2994.05/3002.98	v -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 
2994.05/3002.98	v -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 
2994.05/3002.98	v -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 
2994.05/3002.98	v -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 
2994.05/3002.98	v -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 
2994.05/3002.98	v -x1373 x1372 x1371 x1370 x1369 x1368 x1367 x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 
2994.05/3002.98	v -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 
2994.05/3002.98	v -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 
2994.05/3002.98	v -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 
2994.05/3002.98	v -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 
2994.05/3002.98	v -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 
2994.05/3002.98	v -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 x1250 x1249 x1248 x1247 
2994.05/3002.98	v x1246 x1245 x1244 x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 
2994.05/3002.98	v -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 
2994.05/3002.98	v -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 
2994.05/3002.98	v -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 
2994.05/3002.98	v -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 
2994.05/3002.98	v -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 
2994.05/3002.98	v -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 x1125 x1124 x1123 x1122 x1121 
2994.05/3002.98	v x1120 x1119 x1118 x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 
2994.05/3002.98	v -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 
2994.05/3002.98	v -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 
2994.05/3002.98	v -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 
2994.05/3002.98	v -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 
2994.05/3002.98	v -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 
2994.05/3002.98	v -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 x997 x996 x995 x994 
2994.05/3002.98	v x993 x992 x991 x990 x989 x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 
2994.05/3002.98	v -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 
2994.05/3002.98	v -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 
2994.05/3002.98	v -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 
2994.05/3002.98	v -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 
2994.05/3002.98	v -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 
2994.05/3002.98	v -x867 x866 x865 x864 x863 x862 x861 x860 x859 x858 x857 x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 
2994.05/3002.98	v -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 
2994.05/3002.98	v -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 
2994.05/3002.98	v -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 
2994.05/3002.98	v -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 
2994.05/3002.98	v -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 
2994.05/3002.98	v -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 x732 x731 x730 x729 x728 x727 x726 x725 x724 x723 x722 x721 -x720 -x719 -x718 
2994.05/3002.98	v -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 
2994.05/3002.98	v -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 
2994.05/3002.98	v -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 
2994.05/3002.98	v -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 
2994.05/3002.98	v -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 
2994.05/3002.98	v -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 x595 x594 x593 
2994.05/3002.98	v x592 x591 x590 x589 x588 x587 x586 x585 x584 x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 
2994.05/3002.98	v -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 
2994.05/3002.98	v -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 
2994.05/3002.98	v -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 
2994.05/3002.98	v -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 
2994.05/3002.98	v -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 
2994.05/3002.98	v -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 x455 x454 x453 x452 x451 x450 x449 x448 x447 x446 x445 x444 x443 
2994.05/3002.98	v x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 
2994.05/3002.98	v -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 
2994.05/3002.98	v -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 
2994.05/3002.98	v -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 
2994.05/3002.98	v -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 
2994.05/3002.98	v -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 
2994.05/3002.98	v -x317 -x316 -x315 -x314 -x313 x312 x311 x310 x309 x308 x307 x306 x305 x304 x303 x302 x301 x300 x299 x298 -x297 -x296 -x295 
2994.05/3002.98	v -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 
2994.05/3002.98	v -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 
2994.05/3002.98	v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 
2994.05/3002.98	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 
2994.05/3002.98	v -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 
2994.05/3002.98	v -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 
2994.05/3002.98	v -x169 -x168 -x167 x166 x165 x164 x163 x162 x161 x160 x159 x158 x157 x156 x155 x154 x153 x152 x151 
2994.05/3002.98	c SCIP Status        : problem is solved [optimal solution found]
2994.05/3002.98	c Total Time         :    3002.97
2994.05/3002.98	c   solving          :    3002.97
2994.05/3002.98	c   presolving       :       0.66 (included in solving)
2994.05/3002.98	c   reading          :       0.02 (included in solving)
2994.05/3002.98	c   copying          :       0.08 (10 #copies) (minimal 0.01, maximal 0.01, average 0.01)
2994.05/3002.98	c Original Problem   :
2994.05/3002.98	c   Problem name     : HOME/instance-4432929-1721168395.opb
2994.05/3002.98	c   Variables        : 3825 (3825 binary, 0 integer, 0 implicit integer, 0 continuous)
2994.05/3002.98	c   Constraints      : 7400 initial, 7400 maximal
2994.05/3002.98	c   Objective        : minimize, 3675 non-zeros (abs.min = 1, abs.max = 49)
2994.05/3002.98	c Presolved Problem  :
2994.05/3002.98	c   Problem name     : t_HOME/instance-4432929-1721168395.opb
2994.05/3002.98	c   Variables        : 3825 (3825 binary, 0 integer, 0 implicit integer, 0 continuous)
2994.05/3002.98	c   Constraints      : 3725 initial, 5034 maximal
2994.05/3002.98	c   Objective        : minimize, 3675 non-zeros (abs.min = 1, abs.max = 49)
2994.05/3002.98	c   Nonzeros         : 11175 constraint, 42925 clique table
2994.05/3002.98	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
2994.05/3002.98	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   domcol           :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   gateextraction   :       0.02       0.00      2          0          0          0          0          0      11025       3675          0          0
2994.05/3002.98	c   implics          :       0.00       0.00      5          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   milp             :       0.04       0.00      1          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   trivial          :       0.00       0.00      5          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   dualfix          :       0.00       0.00      5          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   probing          :       0.51       0.00      1          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   symmetry         :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   vbounds          :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   knapsack         :       0.02       0.00      2          0          0          0          0          0       3675       7350          0          0
2994.05/3002.98	c   setppc           :       0.01       0.00     10          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   and              :       0.01       0.00      2          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   linear           :       0.03       0.00      4          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   logicor          :       0.00       0.00      6          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   components       :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   root node        :          -          -      -       2537          -          -       2537          -          -          -          -          -
2994.05/3002.98	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
2994.05/3002.98	c   benderslp        :          0          0          0          0       1223          0          0        182          0          0          0          0          0          0          0
2994.05/3002.98	c   integral         :          0          0          0          0       1223          0          0        182          0          0       2429          0          0       1129       1976
2994.05/3002.98	c   knapsack         :          0+         1          0       6611          0          0          0          0          0          1          0          0          0          0          0
2994.05/3002.98	c   setppc           :         50+      1481         23      44503          2          0          0        176       5221         63       2616          0          0          0          0
2994.05/3002.98	c   and              :       3675       3675       3499      44440          2          0          0         34      24565        100     178473      27050      15197          0          0
2994.05/3002.98	c   linear           :          0+         3          0      12057          0          0          0          3          1          1          0          0          0          0          0
2994.05/3002.98	c   logicor          :          0+      1428          4      10624          0          0          0          0        236         21        133          0          0          0          0
2994.05/3002.98	c   benders          :          0          0          0          0          2          0          0         20          0          0          0          0          0          0          0
2994.05/3002.98	c   fixedvar         :          0          0          0          0          2          0          0         20          0          0          0          0          0          0          0
2994.05/3002.98	c   countsols        :          0          0          0          0          2          0          0         20          0          0          0          0          0          0          0
2994.05/3002.98	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
2994.05/3002.98	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
2994.05/3002.98	c   integral         :     749.85       0.00       0.00       0.00     749.85       0.00       0.00       0.00       0.00       0.00
2994.05/3002.98	c   knapsack         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
2994.05/3002.98	c   setppc           :       0.05       0.00       0.00       0.02       0.00       0.00       0.00       0.00       0.00       0.03
2994.05/3002.98	c   and              :       6.77       0.00       3.42       1.57       0.00       0.00       0.00       0.01       0.01       1.76
2994.05/3002.98	c   linear           :       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
2994.05/3002.98	c   logicor          :       0.09       0.00       0.00       0.05       0.00       0.00       0.00       0.00       0.00       0.03
2994.05/3002.98	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
2994.05/3002.98	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
2994.05/3002.98	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
2994.05/3002.98	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
2994.05/3002.98	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
2994.05/3002.98	c   dualfix          :          3          0          0          0
2994.05/3002.98	c   genvbounds       :          0          0          0          0
2994.05/3002.98	c   nlobbt           :          0          0          0          0
2994.05/3002.98	c   obbt             :          0          0          0          0
2994.05/3002.98	c   probing          :          0          0          0          0
2994.05/3002.98	c   pseudoobj        :       6078          0          0          0
2994.05/3002.98	c   redcost          :       3080          0          0     146756
2994.05/3002.98	c   rootredcost      :         10          0          0          0
2994.05/3002.98	c   symmetry         :      37675          0          0        263
2994.05/3002.98	c   vbounds          :      23232          0          0          0
2994.05/3002.98	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
2994.05/3002.98	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
2994.05/3002.98	c   genvbounds       :       0.01       0.00       0.00       0.01       0.00       0.00
2994.05/3002.98	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
2994.05/3002.98	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
2994.05/3002.98	c   probing          :       0.51       0.00       0.51       0.00       0.00       0.00
2994.05/3002.98	c   pseudoobj        :       0.02       0.00       0.00       0.02       0.00       0.00
2994.05/3002.98	c   redcost          :       0.34       0.00       0.00       0.34       0.00       0.00
2994.05/3002.98	c   rootredcost      :       0.01       0.00       0.00       0.00       0.00       0.00
2994.05/3002.98	c   symmetry         :       0.51       0.00       0.02       0.37       0.00       0.12
2994.05/3002.98	c   vbounds          :       0.03       0.00       0.00       0.02       0.00       0.01
2994.05/3002.98	c Symmetry           :
2994.05/3002.98	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
2994.05/3002.98	c   orbital reduction:        247 reductions applied,          0 cutoffs
2994.05/3002.98	c   lexicographic red:        118 reductions applied,          0 cutoffs
2994.05/3002.98	c   shadow tree time :       0.01 s
2994.05/3002.98	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
2994.05/3002.98	c   propagation      :       0.00        185        182          -        291       16.3          0        0.0          -          -          -
2994.05/3002.98	c   infeasible LP    :       0.00          4          4          -          5      156.2          0        0.0          4      139.2          0
2994.05/3002.98	c   bound exceed. LP :       3.30       1004        405          -       4631       50.3          0        0.0          1      374.0       5989
2994.05/3002.98	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
2994.05/3002.98	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
2994.05/3002.98	c   applied globally :       0.05          -          -          0       2201       30.4          -          -          5          -          -
2994.05/3002.98	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
2994.05/3002.98	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
2994.05/3002.98	c   cut pool         :       5.00          -       2707         43          -          -      33131     293870          -          -          -          -          -    (maximal pool size:       4283)
2994.05/3002.98	c   aggregation      :      10.47       0.00       1162         23          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
2994.05/3002.98	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
2994.05/3002.98	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
2994.05/3002.98	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   clique           :       0.06       0.00         23         23          0          0         28         28          0          3          3          0          0
2994.05/3002.98	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   gomory           :     248.69       0.00        578         10          0          0      21846      35874          0       1366       1366          0          0
2994.05/3002.98	c   > gomorymi       :          -          -          -          -          -          -          -      13653          0        173        173          0          -
2994.05/3002.98	c   > strongcg       :          -          -          -          -          -          -          -      22221          0       1193       1193          0          -
2994.05/3002.98	c   impliedbounds    :       1.05       0.00       1162         23          0          0       4146      13120          0       4706       4706          0          0
2994.05/3002.98	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   mcf              :       0.00       0.00          1          1          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   multilinear      :       0.00       0.00        131         23          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   rapidlearning    :       0.04       0.00          0          0          0          0          0          0          0          0          0          0          0
2994.05/3002.98	c   rlt              :     184.98       0.00        133         10          0          0       5239     188195          0      43420      43420          0          0
2994.05/3002.98	c   zerohalf         :      11.37       0.00        588         20          0          0       1872      56653          0       8635       8635          0          0
2994.05/3002.98	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
2994.05/3002.98	c   hybrid           :       0.48       0.00       3359         21      73327          0     247593        332          0       1785
2994.05/3002.98	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
2994.05/3002.98	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
2994.05/3002.98	c Pricers            :   ExecTime  SetupTime      Calls       Vars
2994.05/3002.98	c   problem variables:       0.00          -          0          0
2994.05/3002.98	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
2994.05/3002.98	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
2994.05/3002.98	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
2994.05/3002.98	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
2994.05/3002.98	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
2994.05/3002.98	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
2994.05/3002.98	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
2994.05/3002.98	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
2994.05/3002.98	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
2994.05/3002.98	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
2994.05/3002.98	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
2994.05/3002.98	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
2994.05/3002.98	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
2994.05/3002.98	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
2994.05/3002.98	c   relpscost        :     749.85       0.00       1221          0          0          0       2429          0       1134       1976
2994.05/3002.98	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
2994.05/3002.98	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
2994.05/3002.98	c   LP solutions     :       0.01          -          -          2          2
2994.05/3002.98	c   relax solutions  :       0.00          -          -          0          0
2994.05/3002.98	c   pseudo solutions :       0.00          -          -          0          0
2994.05/3002.98	c   strong branching :       0.01          -          -          1          1
2994.05/3002.98	c   actconsdiving    :       0.00       0.00          0          0          0
2994.05/3002.98	c   adaptivediving   :       8.27       0.00         13          0          0
2994.05/3002.98	c   alns             :       0.13       0.00          5          0          0
2994.05/3002.98	c   bound            :       0.00       0.00          0          0          0
2994.05/3002.98	c   clique           :       0.03       0.00          1          1          1
2994.05/3002.98	c   coefdiving       :       0.00       0.00          0          0          0
2994.05/3002.98	c   completesol      :       0.00       0.00          0          0          0
2994.05/3002.98	c   conflictdiving   :      12.99       0.00         19          1          1
2994.05/3002.98	c   crossover        :       0.03       0.00          1          0          0
2994.05/3002.98	c   dins             :       0.00       0.00          0          0          0
2994.05/3002.98	c   distributiondivin:      12.13       0.00         15          0          0
2994.05/3002.98	c   dps              :       0.00       0.00          0          0          0
2994.05/3002.98	c   dualval          :       0.00       0.00          0          0          0
2994.05/3002.98	c   farkasdiving     :       1.72       0.00          1          0          0
2994.05/3002.98	c   feasjump         :       0.00       0.00          0          0          0
2994.05/3002.98	c   feaspump         :       0.55       0.00          1          0          0
2994.05/3002.98	c   fixandinfer      :       0.00       0.00          0          0          0
2994.05/3002.98	c   fracdiving       :       6.96       0.00         16          0          0
2994.05/3002.98	c   gins             :       0.01       0.00          0          0          0
2994.05/3002.98	c   guideddiving     :       8.70       0.00         19          0          0
2994.05/3002.98	c   indcoefdiving    :       0.00       0.00          0          0          0
2994.05/3002.98	c   indicator        :       0.00       0.00          0          0          0
2994.05/3002.98	c   indicatordiving  :       0.00       0.00          0          0          0
2994.05/3002.98	c   indoneopt        :       0.00       0.00          0          0          0
2994.05/3002.98	c   indrounding      :       0.00       0.00          0          0          0
2994.05/3002.98	c   indtwoopt        :       0.00       0.00          0          0          0
2994.05/3002.98	c   intdiving        :       0.00       0.00          0          0          0
2994.05/3002.98	c   intshifting      :       0.00       0.00          0          0          0
2994.05/3002.98	c   linesearchdiving :       9.87       0.00         16          4          4
2994.05/3002.98	c   localbranching   :       0.00       0.00          0          0          0
2994.05/3002.98	c   locks            :       0.01       0.00          1          0          0
2994.05/3002.98	c   lpface           :       0.00       0.00          0          0          0
2994.05/3002.98	c   mpec             :       0.00       0.00          0          0          0
2994.05/3002.98	c   multistart       :       0.00       0.00          0          0          0
2994.05/3002.98	c   mutation         :       0.00       0.00          0          0          0
2994.05/3002.98	c   nlpdiving        :       0.00       0.00          0          0          0
2994.05/3002.98	c   objpscostdiving  :      43.76       0.00          5          2          0
2994.05/3002.98	c   octane           :       0.00       0.00          0          0          0
2994.05/3002.98	c   ofins            :       0.00       0.00          0          0          0
2994.05/3002.98	c   oneopt           :       0.02       0.00         11          0          0
2994.05/3002.98	c   padm             :       0.00       0.00          0          0          0
2994.05/3002.98	c   proximity        :       0.00       0.00          0          0          0
2994.05/3002.98	c   pscostdiving     :       8.13       0.00         18          1          1
2994.05/3002.98	c   randrounding     :       0.22       0.00        157          0          0
2994.05/3002.98	c   rens             :       0.55       0.00          1          0          0
2994.05/3002.98	c   reoptsols        :       0.00       0.00          0          0          0
2994.05/3002.98	c   repair           :       0.00       0.00          0          0          0
2994.05/3002.98	c   rins             :       0.13       0.00          2          1          1
2994.05/3002.98	c   rootsoldiving    :      11.50       0.00          6          6          0
2994.05/3002.98	c   rounding         :       0.29       0.00        882          0          0
2994.05/3002.98	c   scheduler        :       0.00       0.00          0          0          0
2994.05/3002.98	c   shiftandpropagate:       0.00       0.00          0          0          0
2994.05/3002.98	c   shifting         :       1.48       0.00        519          0          0
2994.05/3002.98	c   simplerounding   :       0.00       0.00          0          0          0
2994.05/3002.98	c   smallcard        :       0.00       0.00          0          0          0
2994.05/3002.98	c   subnlp           :       0.00       0.00          0          0          0
2994.05/3002.98	c   trivial          :       0.00       0.00          2          0          0
2994.05/3002.98	c   trivialnegation  :       0.00       0.00          0          0          0
2994.05/3002.98	c   trustregion      :       0.00       0.00          0          0          0
2994.05/3002.98	c   trysol           :       0.00       0.00          0          0          0
2994.05/3002.98	c   twoopt           :       0.00       0.00          0          0          0
2994.05/3002.98	c   undercover       :       0.08       0.00          1          0          0
2994.05/3002.98	c   vbounds          :       0.05       0.00          1          1          1
2994.05/3002.98	c   veclendiving     :       7.59       0.00         16          0          0
2994.05/3002.98	c   zeroobj          :       0.00       0.00          0          0          0
2994.05/3002.98	c   zirounding       :       0.22       0.00        988          0          0
2994.05/3002.98	c   other solutions  :          -          -          -          0          -
2994.05/3002.98	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
2994.05/3002.98	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
2994.05/3002.98	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
2994.05/3002.98	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
2994.05/3002.98	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
2994.05/3002.98	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
2994.05/3002.98	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
2994.05/3002.98	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
2994.05/3002.98	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
2994.05/3002.98	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
2994.05/3002.98	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
2994.05/3002.98	c   primal LP        :       0.93        494          0       0.00       0.00       0.93        494
2994.05/3002.98	c   dual LP          :    1638.59       5887    5193744     981.80    3169.63       1.22        597
2994.05/3002.98	c   lex dual LP      :       0.00          0          0       0.00          -
2994.05/3002.98	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
2994.05/3002.98	c   resolve instable :       0.00          0          0       0.00          -
2994.05/3002.98	c   diving/probing LP:     125.98       3753     558180     148.73    4430.53
2994.05/3002.98	c   strong branching :     737.32       3471    2382589     686.43    3231.42          -          -       3812
2994.05/3002.98	c     (at root node) :          -         47      31336     666.72          -
2994.05/3002.98	c   conflict analysis:       2.15        600       5989       9.98    2781.77
2994.05/3002.98	c B&B Tree           :
2994.05/3002.98	c   number of runs   :          1
2994.05/3002.98	c   nodes            :       1708 (988 internal, 720 leaves)
2994.05/3002.98	c   feasible leaves  :          2
2994.05/3002.98	c   infeas. leaves   :         26
2994.05/3002.98	c   objective leaves :        692
2994.05/3002.98	c   nodes (total)    :       1708 (988 internal, 720 leaves)
2994.05/3002.98	c   nodes left       :          0
2994.05/3002.98	c   max depth        :         25
2994.05/3002.98	c   max depth (total):         25
2994.05/3002.98	c   backtracks       :        721 (42.2%)
2994.05/3002.98	c   early backtracks :          0 (0.0%)
2994.05/3002.98	c   nodes exc. ref.  :          0 (0.0%)
2994.05/3002.98	c   delayed cutoffs  :          2
2994.05/3002.98	c   repropagations   :         63 (3766 domain reductions, 2 cutoffs)
2994.05/3002.98	c   avg switch length:       6.86
2994.05/3002.98	c   switching time   :       1.63
2994.05/3002.98	c Root Node          :
2994.05/3002.98	c   First LP value   : +0.00000000000000e+00
2994.05/3002.98	c   First LP Iters   :        100 (14768.87 Iter/sec)
2994.05/3002.98	c   First LP Time    :       0.01
2994.05/3002.98	c   Final Dual Bound : +2.31200000000000e+03
2994.05/3002.98	c   Final Root Iters :       3332
2994.05/3002.98	c   Root LP Estimate : +6.68472326848561e+03
2994.05/3002.98	c Solution           :
2994.05/3002.98	c   Solutions found  :         20 (12 improvements)
2994.05/3002.98	c   First Solution   : +2.08250000000000e+04   (in run 1, after 1 nodes, 0.72 seconds, depth 52, found by <clique>)
2994.05/3002.98	c   Gap First Sol.   :   infinite
2994.05/3002.98	c   Gap Last Sol.    :      96.39 %
2994.05/3002.98	c   Primal Bound     : +2.31200000000000e+03   (in run 1, after 836 nodes, 1326.54 seconds, depth 22, found by <relaxation>)
2994.05/3002.98	c   Dual Bound       : +2.31200000000000e+03
2994.05/3002.98	c   Gap              :       0.00 %
2994.05/3002.98	c Integrals          :      Total       Avg%
2994.05/3002.98	c   primal-dual      :  164660.51      54.83
2994.05/3002.98	c   primal-ref       :          -          - (not evaluated)
2994.05/3002.98	c   dual-ref         :          -          - (not evaluated)
2994.15/3003.03	c Time complete: 2994.2.

Verifier Data

OK	2312

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: 63931 MiB (61705 MiB free)
  memory of node 1: 64510 MiB (58269 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
solver pid=904069, runsolver pid=904066
Current StackSize limit: 8192 KiB


[startup+0.100087 s]*
/proc/loadavg: 4.07 4.13 4.09 5/254 904070
/proc/meminfo: memFree=122823820/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=81852 memory=42744 CPUtime=0.09 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 8184 0 0 0 9 0 0 0 20 0 1 0 169001348 83816448 10686 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 20463 10686 3760 3540 0 8720 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 81852 KiB
Current children cumulated memory: 42744 KiB

[startup+0.205463 s]*
/proc/loadavg: 4.07 4.13 4.09 5/254 904070
/proc/meminfo: memFree=122809884/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=93792 memory=55068 CPUtime=0.2 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 11206 0 0 0 19 1 0 0 20 0 1 0 169001348 96043008 13767 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 23448 13767 3808 3540 0 11705 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 93792 KiB
Current children cumulated memory: 55068 KiB

[startup+0.305422 s]*
/proc/loadavg: 4.07 4.13 4.09 5/254 904070
/proc/meminfo: memFree=122807652/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=95640 memory=56916 CPUtime=0.3 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 11665 0 0 0 29 1 0 0 20 0 1 0 169001348 97935360 14229 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 23910 14229 3808 3540 0 12167 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 95640 KiB
Current children cumulated memory: 56916 KiB

[startup+0.700174 s]
/proc/loadavg: 4.07 4.13 4.09 5/254 904070
/proc/meminfo: memFree=122807652/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=131224 memory=78096 CPUtime=0.69 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 16934 0 0 0 67 2 0 0 20 0 1 0 169001348 134373376 19524 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 32806 19524 3824 3540 0 21063 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 131224 KiB
Current children cumulated memory: 78096 KiB

[startup+1.50022 s]
/proc/loadavg: 4.07 4.13 4.09 6/251 904087
/proc/meminfo: memFree=123094872/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=205436 memory=151068 CPUtime=1.48 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 37079 0 0 0 142 6 0 0 20 0 1 0 169001348 210366464 37767 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 51359 37767 4000 3540 0 39616 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 205436 KiB
Current children cumulated memory: 151068 KiB

[startup+3.10534 s]
/proc/loadavg: 4.07 4.13 4.09 5/254 904116
/proc/meminfo: memFree=122689928/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=262344 memory=205736 CPUtime=3.09 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 50800 0 0 0 301 8 0 0 20 0 1 0 169001348 268640256 51434 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 65586 51434 4000 3540 0 53843 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 262344 KiB
Current children cumulated memory: 205736 KiB

[startup+6.30021 s]
/proc/loadavg: 4.06 4.12 4.09 5/256 904121
/proc/meminfo: memFree=122620804/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=271076 memory=213920 CPUtime=6.27 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 52873 0 0 0 619 8 0 0 20 0 1 0 169001348 277581824 53480 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 67769 53480 4000 3540 0 56026 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 271076 KiB
Current children cumulated memory: 213920 KiB

[startup+12.7002 s]
/proc/loadavg: 4.06 4.12 4.09 5/256 904213
/proc/meminfo: memFree=123091880/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=291692 memory=231012 CPUtime=12.65 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 57162 0 0 0 1256 9 0 0 20 0 1 0 169001348 298692608 57753 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 72923 57753 4000 3540 0 61180 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 291692 KiB
Current children cumulated memory: 231012 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.13 4.09 5/256 904216
/proc/meminfo: memFree=122039288/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=350168 memory=278748 CPUtime=25.42 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 69139 0 0 0 2530 12 0 0 20 0 1 0 169001348 358572032 69687 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 87542 69687 4000 3540 0 75799 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 350168 KiB
Current children cumulated memory: 278748 KiB

[startup+51.1054 s]
/proc/loadavg: 4.08 4.12 4.09 5/256 904220
/proc/meminfo: memFree=121271864/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=350168 memory=281024 CPUtime=50.96 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 69348 0 0 0 5083 13 0 0 20 0 1 0 169001348 358572032 70256 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 87542 70256 4000 3540 0 75799 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 350168 KiB
Current children cumulated memory: 281024 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 904230
/proc/meminfo: memFree=120974124/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=580568 memory=476652 CPUtime=102.02 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 76864 0 0 0 10184 18 0 0 20 0 1 0 169001348 594501632 119163 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 145142 119163 4015 3540 0 133399 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 580568 KiB
Current children cumulated memory: 476652 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 904240
/proc/meminfo: memFree=120328512/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=617144 memory=509584 CPUtime=161.86 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 81280 0 0 0 16167 19 0 0 20 0 1 0 169001348 631955456 127396 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 154286 127396 4015 3540 0 142543 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 617144 KiB
Current children cumulated memory: 509584 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 904250
/proc/meminfo: memFree=120014384/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=752828 memory=660552 CPUtime=221.71 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 92476 0 0 0 22148 23 0 0 20 0 1 0 169001348 770895872 165138 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 188207 165138 4015 3540 0 176464 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 752828 KiB
Current children cumulated memory: 660552 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/257 904262
/proc/meminfo: memFree=119084712/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=918192 memory=852976 CPUtime=281.55 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 100804 0 0 0 28129 26 0 0 20 0 1 0 169001348 940228608 213244 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 229548 213244 4015 3540 0 217805 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 918192 KiB
Current children cumulated memory: 852976 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 904657
/proc/meminfo: memFree=118744092/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=979988 memory=893924 CPUtime=341.41 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 107008 0 0 0 34113 28 0 0 20 0 1 0 169001348 1003507712 223481 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 244997 223481 4015 3540 0 233254 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 979988 KiB
Current children cumulated memory: 893924 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 904667
/proc/meminfo: memFree=118476352/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=1104764 memory=994144 CPUtime=401.27 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 114357 0 0 0 40097 30 0 0 20 0 1 0 169001348 1131278336 248536 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 276191 248536 4015 3540 0 264448 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 1104764 KiB
Current children cumulated memory: 994144 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/256 904678
/proc/meminfo: memFree=118389396/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=1205932 memory=1040508 CPUtime=461.12 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 121202 0 0 0 46080 32 0 0 20 0 1 0 169001348 1234874368 260127 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 301483 260127 4015 3540 0 289740 0

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

/proc/loadavg: 4.07 4.11 4.13 5/259 905866
/proc/meminfo: memFree=116769460/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=2069360 memory=1700032 CPUtime=2554.79 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 185446 0 0 0 255417 62 0 0 20 0 1 0 169001348 2119024640 425008 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 517340 425008 4031 3540 0 505597 0
Current children cumulated CPU time: 2554.79 s
Current children cumulated vsize: 2069360 KiB
Current children cumulated memory: 1700032 KiB

[startup+2622.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/258 905876
/proc/meminfo: memFree=116766008/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=2082616 memory=1703180 CPUtime=2614.62 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 186618 0 0 0 261399 63 0 0 20 0 1 0 169001348 2132598784 425795 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 520654 425795 4031 3540 0 508911 0
Current children cumulated CPU time: 2614.62 s
Current children cumulated vsize: 2082616 KiB
Current children cumulated memory: 1703180 KiB

[startup+2682.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/258 905888
/proc/meminfo: memFree=116759856/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=2087688 memory=1708428 CPUtime=2674.43 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 188812 0 0 0 267380 63 0 0 20 0 1 0 169001348 2137792512 427107 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 521922 427107 4031 3540 0 510179 0
Current children cumulated CPU time: 2674.43 s
Current children cumulated vsize: 2087688 KiB
Current children cumulated memory: 1708428 KiB

[startup+2742.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/255 905898
/proc/meminfo: memFree=116755944/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=2087688 memory=1708428 CPUtime=2734.25 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 189220 0 0 0 273361 64 0 0 20 0 1 0 169001348 2137792512 427107 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 521922 427107 4031 3540 0 510179 0
Current children cumulated CPU time: 2734.25 s
Current children cumulated vsize: 2087688 KiB
Current children cumulated memory: 1708428 KiB

[startup+2802.3 s]
/proc/loadavg: 4.60 4.24 4.16 5/254 905908
/proc/meminfo: memFree=116704524/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=2087928 memory=1708712 CPUtime=2794.07 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 189707 0 0 0 279342 65 0 0 20 0 1 0 169001348 2138038272 427178 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 521982 427178 4031 3540 0 510239 0
Current children cumulated CPU time: 2794.07 s
Current children cumulated vsize: 2087928 KiB
Current children cumulated memory: 1708712 KiB

[startup+2862.3 s]
/proc/loadavg: 4.34 4.23 4.16 5/255 905920
/proc/meminfo: memFree=116699556/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=2089744 memory=1710480 CPUtime=2853.88 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 190622 0 0 0 285323 65 0 0 20 0 1 0 169001348 2139897856 427620 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 522436 427620 4031 3540 0 510693 0
Current children cumulated CPU time: 2853.88 s
Current children cumulated vsize: 2089744 KiB
Current children cumulated memory: 1710480 KiB

[startup+2922.3 s]
/proc/loadavg: 4.24 4.21 4.16 5/255 905930
/proc/meminfo: memFree=116677812/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=2093068 memory=1712752 CPUtime=2913.69 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 191610 0 0 0 291304 65 0 0 20 0 1 0 169001348 2143301632 428188 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 523267 428188 4031 3540 0 511524 0
Current children cumulated CPU time: 2913.69 s
Current children cumulated vsize: 2093068 KiB
Current children cumulated memory: 1712752 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.19 4.15 6/255 905940
/proc/meminfo: memFree=116676664/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=2093392 memory=1712856 CPUtime=2973.51 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 192054 0 0 0 297285 66 0 0 20 0 1 0 169001348 2143633408 428214 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 523348 428214 4031 3540 0 511605 0
Current children cumulated CPU time: 2973.51 s
Current children cumulated vsize: 2093392 KiB
Current children cumulated memory: 1712856 KiB

[startup+3003.05 s]
# the end of solver process 904069 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=2993.52 s, system=0.693884 s

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

[startup+2982.4 s]
/proc/loadavg: 4.14 4.19 4.15 6/255 905940
/proc/meminfo: memFree=116676664/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=2093392 memory=1712856 CPUtime=2973.61 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 192055 0 0 0 297295 66 0 0 20 0 1 0 169001348 2143633408 428214 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 523348 428214 4031 3540 0 511605 0
Current children cumulated CPU time: 2973.61 s
Current children cumulated vsize: 2093392 KiB
Current children cumulated memory: 1712856 KiB

[startup+2995.2 s]
/proc/loadavg: 4.11 4.18 4.15 5/255 905943
/proc/meminfo: memFree=116676120/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=2093788 memory=1713300 CPUtime=2986.37 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 192277 0 0 0 298571 66 0 0 20 0 1 0 169001348 2144038912 428325 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 523447 428325 4031 3540 0 511704 0
Current children cumulated CPU time: 2986.37 s
Current children cumulated vsize: 2093788 KiB
Current children cumulated memory: 1713300 KiB

[startup+2998.4 s]
/proc/loadavg: 4.18 4.19 4.16 5/255 905943
/proc/meminfo: memFree=116675708/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=2093984 memory=1713564 CPUtime=2989.57 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 192343 0 0 0 298891 66 0 0 20 0 1 0 169001348 2144239616 428391 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 523496 428391 4031 3540 0 511753 0
Current children cumulated CPU time: 2989.57 s
Current children cumulated vsize: 2093984 KiB
Current children cumulated memory: 1713564 KiB

[startup+3001.6 s]
/proc/loadavg: 4.17 4.19 4.16 5/255 905943
/proc/meminfo: memFree=116675656/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=2094176 memory=1713660 CPUtime=2992.75 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 192445 0 0 0 299209 66 0 0 20 0 1 0 169001348 2144436224 428415 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 523544 428415 4031 3540 0 511801 0
Current children cumulated CPU time: 2992.75 s
Current children cumulated vsize: 2094176 KiB
Current children cumulated memory: 1713660 KiB

[startup+3002.4 s]
/proc/loadavg: 4.17 4.19 4.16 5/255 905943
/proc/meminfo: memFree=116675572/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=2094368 memory=1713900 CPUtime=2993.55 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 192494 0 0 0 299289 66 0 0 20 0 1 0 169001348 2144632832 428475 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 523592 428475 4031 3540 0 511849 0
Current children cumulated CPU time: 2993.55 s
Current children cumulated vsize: 2094368 KiB
Current children cumulated memory: 1713900 KiB

[startup+3002.8 s]
/proc/loadavg: 4.17 4.19 4.16 5/255 905943
/proc/meminfo: memFree=116675572/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=2094368 memory=1713900 CPUtime=2993.95 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 192496 0 0 0 299329 66 0 0 20 0 1 0 169001348 2144632832 428475 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 523592 428475 4031 3540 0 511849 0
Current children cumulated CPU time: 2993.95 s
Current children cumulated vsize: 2094368 KiB
Current children cumulated memory: 1713900 KiB

[startup+3003 s]*
/proc/loadavg: 4.17 4.19 4.16 5/255 905943
/proc/meminfo: memFree=116675376/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=2091380 memory=1711056 CPUtime=2994.15 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 192496 0 0 0 299349 66 0 0 20 0 1 0 169001348 2141573120 427764 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 522845 427764 4031 3540 0 511102 0
Current children cumulated CPU time: 2994.15 s
Current children cumulated vsize: 2091380 KiB
Current children cumulated memory: 1711056 KiB

Child status: 0

Real time (s): 3003.05
CPU time (s): 2994.21
CPU user time (s): 2993.52
CPU system time (s): 0.693884
CPU usage (%): 99.7057
Max. virtual memory (cumulated for all children) (KiB): 2094368
Max. memory (cumulated for all children) (KiB): 1713900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2993.52
system time used= 0.693884
maximum resident set size= 1713900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192544
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= 48
involuntary context switches= 3562


# summary of solver processes directly reported to runsolver:
#   pid: 904069
#   total CPU time (s): 2994.21
#   total CPU user time (s): 2993.52
#   total CPU system time (s): 0.693884

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.58827 second user time and 13.4129 second system time

The end

Launcher Data

Begin job on nodeC017 at 2024-07-17 00:20:07
IDJOB=4432929
IDBENCH=158576
IDSOLVER=3059
FILE ID=nodeC017/4432929-1721168395
RUNJOBID= nodeC017-1721164808-900913
SLURM_JOB_ID= 7505785
Free space on /tmp= 890016 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-50.lin.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-4432929-1721168395/watcher-4432929-1721168395 -o /tmp/evaluation-result-4432929-1721168395/solver-4432929-1721168395 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721164808-900913 --watchdog 3760  pbscip -f HOME/instance-4432929-1721168395.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 11852bf7a05815ba1c78428ce5d4534c
RANDOM SEED=817372733

nodeC017.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		: 3661.216
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.46
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		: 3685.456
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	: 7006.99
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		: 3599.781
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.46
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		: 3600.125
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	: 7006.99
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		: 3659.524
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.46
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		: 3685.440
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	: 7006.99
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		: 3657.165
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.46
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		: 3600.084
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	: 7006.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122854844 kB
MemAvailable:   127543304 kB
Buffers:          440176 kB
Cached:          5036076 kB
SwapCached:            0 kB
Active:          1017496 kB
Inactive:        6944892 kB
Active(anon):       1520 kB
Inactive(anon):  2522328 kB
Active(file):    1015976 kB
Inactive(file):  4422564 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             37448 kB
Writeback:             0 kB
AnonPages:       2486144 kB
Mapped:           139488 kB
Shmem:             37720 kB
KReclaimable:     179136 kB
Slab:             295172 kB
SReclaimable:     179136 kB
SUnreclaim:       116036 kB
KernelStack:        4064 kB
PageTables:        14560 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3019704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62880 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2111488 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:      246484 kB
DirectMap2M:    33081344 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 889992 MiB
End job on nodeC017 at 2024-07-17 01:10:11