Trace number 4530367

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-NaPS 1.00a2OPT2899749 264.154 264.9

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_1.opb
MD5SUMd01f39fb61de71c60f300d6712f658b6
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 benchmark2899749
Best CPU time to get the best result obtained on this benchmark124.337
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 143877824
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 43040121046
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 143877824
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 43040121046
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

138.76/139.23	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4530367-1752255465.opb
138.76/139.23	c Solving mode: optimization
138.76/139.23	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
138.76/139.23	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
138.76/139.23	c original problem has 5100 variables (5100 bin, 0 int, 0 impl, 0 cont) and 7606 constraints
138.76/139.23	c presolving:
138.76/139.23	c (round 1, fast)       2550 del vars, 4902 del conss, 0 add conss, 100 chg bounds, 1225 chg sides, 1225 chg coeffs, 0 upgd conss, 0 impls, 51 clqs
138.76/139.23	c (round 2, exhaustive) 2550 del vars, 4902 del conss, 0 add conss, 100 chg bounds, 1225 chg sides, 1225 chg coeffs, 2701 upgd conss, 0 impls, 51 clqs
138.76/139.23	c    (0.2s) probing: 51/2550 (2.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
138.76/139.23	c    (0.2s) probing aborted: 50/50 successive totally useless probings
138.76/139.23	c    (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
138.76/139.23	c    (0.2s) no symmetry present (symcode time: 0.00)
138.76/139.23	c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
138.76/139.23	c  2550 deleted vars, 4902 deleted constraints, 0 added constraints, 100 tightened bounds, 0 added holes, 1225 changed sides, 1225 changed coefficients
138.76/139.23	c  0 implications, 51 cliques
138.76/139.23	c presolved problem has 2550 variables (2550 bin, 0 int, 0 impl, 0 cont) and 2704 constraints
138.76/139.23	c    1375 constraints of type <knapsack>
138.76/139.23	c      51 constraints of type <setppc>
138.76/139.23	c       3 constraints of type <linear>
138.76/139.23	c    1275 constraints of type <logicor>
138.76/139.23	c transformed objective value is always integral (scale: 2)
138.76/139.23	c Presolving Time: 0.19
138.76/139.23	c 
138.76/139.23	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
138.76/139.23	c p 0.2s|     1 |     0 |    93 |     - |  clique|   0 |2550 |2704 |2704 |   0 |  0 |   0 |   0 |-3.000000e+00 | 3.060931e+08 |    Inf | unknown
138.76/139.23	c   0.7s|     1 |     0 |  3307 |     - |    55M |   0 |2550 |2704 |2704 |   0 |  0 |   0 |   0 | 1.464011e+06 | 3.060931e+08 |  Large | unknown
138.76/139.23	c   0.9s|     1 |     0 |  4013 |     - |    58M |   0 |2550 |2704 |2723 |  19 |  1 |   0 |   0 | 1.543273e+06 | 3.060931e+08 |  Large | unknown
138.76/139.23	c   1.0s|     1 |     0 |  4489 |     - |    59M |   0 |2550 |2706 |2749 |  45 |  2 |   2 |   0 | 1.581323e+06 | 3.060931e+08 |  Large | unknown
138.76/139.23	c   1.2s|     1 |     0 |  4742 |     - |    60M |   0 |2550 |2707 |2755 |  51 |  3 |   3 |   0 | 1.596346e+06 | 3.060931e+08 |  Large | unknown
138.76/139.23	c   1.3s|     1 |     0 |  5104 |     - |    60M |   0 |2550 |2708 |2763 |  59 |  4 |   4 |   0 | 1.630061e+06 | 3.060931e+08 |  Large | unknown
138.76/139.23	c   1.4s|     1 |     0 |  5253 |     - |    61M |   0 |2550 |2709 |2770 |  66 |  5 |   5 |   0 | 1.649513e+06 | 3.060931e+08 |  Large | unknown
138.76/139.23	c   1.6s|     1 |     0 |  5628 |     - |    61M |   0 |2550 |2709 |2774 |  70 |  6 |   5 |   0 | 1.674118e+06 | 3.060931e+08 |  Large | unknown
138.76/139.23	c   1.7s|     1 |     0 |  5916 |     - |    62M |   0 |2550 |2710 |2780 |  76 |  7 |   6 |   0 | 1.691254e+06 | 3.060931e+08 |  Large | unknown
138.76/139.23	c   1.9s|     1 |     0 |  6161 |     - |    63M |   0 |2550 |2711 |2786 |  82 |  8 |   7 |   0 | 1.704735e+06 | 3.060931e+08 |  Large | unknown
138.76/139.23	c   2.0s|     1 |     0 |  6333 |     - |    64M |   0 |2550 |2712 |2793 |  89 |  9 |   8 |   0 | 1.711875e+06 | 3.060931e+08 |  Large | unknown
138.76/139.23	c   2.2s|     1 |     0 |  6476 |     - |    64M |   0 |2550 |2713 |2794 |  90 | 10 |   9 |   0 | 1.716782e+06 | 3.060931e+08 |  Large | unknown
138.76/139.23	c   2.3s|     1 |     0 |  6665 |     - |    65M |   0 |2550 |2714 |2797 |  93 | 11 |  10 |   0 | 1.728172e+06 | 3.060931e+08 |  Large | unknown
138.76/139.23	c   2.3s|     1 |     0 |  6957 |     - |    66M |   0 |2550 |2715 |2801 |  97 | 12 |  11 |   0 | 1.744477e+06 | 3.060931e+08 |  Large | unknown
138.76/139.23	c   2.4s|     1 |     0 |  7273 |     - |    67M |   0 |2550 |2716 |2804 | 100 | 13 |  12 |   0 | 1.756997e+06 | 3.060931e+08 |  Large | unknown
138.76/139.23	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
138.76/139.23	c   2.5s|     1 |     0 |  7450 |     - |    67M |   0 |2550 |2716 |2808 | 104 | 14 |  12 |   0 | 1.764544e+06 | 3.060931e+08 |  Large | unknown
138.76/139.23	c   2.6s|     1 |     0 |  7593 |     - |    68M |   0 |2550 |2717 |2809 | 105 | 15 |  13 |   0 | 1.768060e+06 | 3.060931e+08 |  Large | unknown
138.76/139.23	c   2.7s|     1 |     0 |  7803 |     - |    69M |   0 |2550 |2718 |2799 | 107 | 16 |  14 |   0 | 1.773698e+06 | 3.060931e+08 |  Large | unknown
138.76/139.23	c   2.8s|     1 |     0 |  8095 |     - |    69M |   0 |2550 |2719 |2807 | 115 | 17 |  15 |   0 | 1.785868e+06 | 3.060931e+08 |  Large | unknown
138.76/139.23	c   2.9s|     1 |     0 |  8380 |     - |    70M |   0 |2550 |2720 |2813 | 121 | 18 |  16 |   0 | 1.791712e+06 | 3.060931e+08 |  Large | unknown
138.76/139.23	c   3.0s|     1 |     0 |  8625 |     - |    70M |   0 |2550 |2721 |2823 | 131 | 19 |  17 |   0 | 1.796124e+06 | 3.060931e+08 |  Large | unknown
138.76/139.23	c   3.0s|     1 |     0 |  8846 |     - |    71M |   0 |2550 |2722 |2827 | 135 | 20 |  18 |   0 | 1.799915e+06 | 3.060931e+08 |  Large | unknown
138.76/139.23	c   3.1s|     1 |     0 |  8861 |     - |    71M |   0 |2550 |2722 |2828 | 136 | 21 |  18 |   0 | 1.799967e+06 | 3.060931e+08 |  Large | unknown
138.76/139.23	c  12.1s|     1 |     2 | 36281 |     - |    73M |   0 |2550 |2733 |2828 | 136 | 22 |  29 |  31 | 1.818516e+06 | 3.060931e+08 |  Large | unknown
138.76/139.23	c d33.8s|    30 |    20 | 59116 |1736.1 |pscostdi|  13 |2550 |2748 |2830 |   0 |  1 |  45 | 266 | 1.818516e+06 | 5.414861e+06 | 197.76%|   0.30%
138.76/139.23	c *37.2s|    59 |    23 | 73367 |1113.8 |strongbr|  14 |2550 |2757 |2833 | 223 |  1 |  57 | 273 | 1.818516e+06 | 5.413817e+06 | 197.71%|   6.98%
138.76/139.23	c  44.9s|   100 |    38 | 99192 | 913.4 |    81M |  24 |2550 |2765 |2827 | 277 |  1 |  68 | 308 | 1.824967e+06 | 5.413817e+06 | 196.65%|   7.21%
138.76/139.23	c  52.7s|   200 |    62 |129891 | 608.7 |    82M |  81 |2550 |2786 |2838 | 290 |  1 |  92 | 340 | 1.824967e+06 | 5.413817e+06 | 196.65%|   7.21%
138.76/139.23	c  57.9s|   300 |    64 |145751 | 458.1 |    85M | 118 |2550 |2915 |2842 | 297 |  2 | 440 | 446 | 1.824967e+06 | 5.413817e+06 | 196.65%|   7.21%
138.76/139.23	c  61.6s|   400 |    72 |156224 | 369.6 |    85M | 118 |2550 |2852 |2841 | 301 |  1 | 504 | 477 | 1.824967e+06 | 5.413817e+06 | 196.65%|   7.21%
138.76/139.23	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
138.76/139.23	c  64.5s|   500 |    78 |165799 | 314.7 |    85M | 127 |2550 |2854 |2842 | 306 |  1 | 537 | 496 | 1.824967e+06 | 5.413817e+06 | 196.65%|   7.21%
138.76/139.23	c *69.5s|   568 |    86 |181514 | 304.7 |    LP  | 137 |2550 |2930 |2822 | 341 |  1 | 617 | 541 | 1.845737e+06 | 5.393889e+06 | 192.24%|   7.27%
138.76/139.23	c  69.7s|   600 |    84 |182262 | 289.6 |    86M | 150 |2550 |2904 |2844 | 342 |  0 | 627 | 541 | 1.845737e+06 | 5.393889e+06 | 192.24%|   7.43%
138.76/139.23	c  75.1s|   700 |    86 |195889 | 267.7 |    87M | 160 |2550 |2889 |   0 | 356 |  0 | 710 | 574 | 1.845737e+06 | 5.393889e+06 | 192.24%|   8.03%
138.76/139.23	c  80.0s|   800 |    92 |214140 | 257.0 |    88M | 160 |2550 |2900 |2840 | 368 |  1 | 820 | 629 | 1.845737e+06 | 5.393889e+06 | 192.24%|   8.51%
138.76/139.23	c  87.1s|   900 |   103 |236028 | 252.8 |    88M | 160 |2550 |2921 |2838 | 403 |  1 | 939 | 733 | 1.852259e+06 | 5.393889e+06 | 191.21%|   9.41%
138.76/139.23	c  92.1s|  1000 |   101 |253273 | 244.7 |    89M | 160 |2550 |2907 |2845 | 425 |  0 |1042 | 792 | 1.852259e+06 | 5.393889e+06 | 191.21%|   9.41%
138.76/139.23	c  98.3s|  1100 |   105 |274009 | 241.3 |    89M | 160 |2550 |2902 |2849 | 460 |  1 |1124 | 853 | 1.852259e+06 | 5.393889e+06 | 191.21%|   9.41%
138.76/139.23	c   108s|  1200 |   125 |307424 | 249.1 |    90M | 160 |2550 |2866 |2852 | 520 |  5 |1206 | 933 | 1.852259e+06 | 5.393889e+06 | 191.21%|   9.41%
138.76/139.23	c   114s|  1300 |   147 |330770 | 247.9 |    90M | 160 |2550 |2916 |2846 | 534 |  3 |1300 | 972 | 1.852259e+06 | 5.393889e+06 | 191.21%|   9.41%
138.76/139.23	c   134s|  1400 |   149 |396061 | 276.8 |    95M | 160 |2550 |2969 |2852 | 746 |  1 |1622 |1206 | 1.854471e+06 | 5.393889e+06 | 190.86%|   9.48%
218.55/219.27	c * 139s|  1452 |   151 |411574 | 277.6 |    LP  | 160 |2550 |2962 |2851 | 818 |  2 |1646 |1230 | 1.858403e+06 | 5.158453e+06 | 177.57%|   9.51%
218.55/219.27	c * 139s|  1464 |   147 |412831 | 276.2 |    LP  | 160 |2550 |2932 |2852 | 820 |  2 |1646 |1230 | 1.858403e+06 | 5.134087e+06 | 176.26%|   9.57%
218.55/219.27	c   142s|  1500 |   149 |424139 | 277.1 |    97M | 160 |2550 |2926 |2868 | 851 |  1 |1652 |1243 | 1.858403e+06 | 5.134087e+06 | 176.26%|   9.59%
218.55/219.27	c   151s|  1600 |   169 |454020 | 278.5 |    98M | 160 |2550 |2858 |2830 | 913 |  0 |1673 |1310 | 1.895189e+06 | 5.134087e+06 | 170.90%|  11.22%
218.55/219.27	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
218.55/219.27	c   156s|  1700 |   189 |473474 | 273.5 |    98M | 160 |2550 |2856 |2849 | 976 |  2 |1732 |1338 | 1.919908e+06 | 5.134087e+06 | 167.41%|  11.45%
218.55/219.27	c   164s|  1800 |   197 |502948 | 274.7 |    99M | 160 |2550 |2792 |2826 |1032 |  3 |1758 |1399 | 1.933308e+06 | 5.134087e+06 | 165.56%|  11.65%
218.55/219.27	c   167s|  1900 |   211 |515450 | 266.8 |    99M | 160 |2550 |2793 |2832 |1050 |  0 |1769 |1447 | 1.933308e+06 | 5.134087e+06 | 165.56%|  11.65%
218.55/219.27	c * 170s|  1987 |   195 |525847 | 260.4 |    LP  | 160 |2550 |2807 |2833 |1091 |  2 |1792 |1458 | 1.933308e+06 | 4.822081e+06 | 149.42%|  11.69%
218.55/219.27	c   172s|  2000 |   198 |527912 | 259.7 |   100M | 160 |2550 |2810 |   0 |1115 |  0 |1795 |1469 | 1.933308e+06 | 4.822081e+06 | 149.42%|  11.74%
218.55/219.27	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
218.55/219.27	c * 172s|  2018 |   190 |530301 | 258.6 |    LP  | 160 |2550 |2778 |2833 |1135 |  2 |1803 |1469 | 1.933308e+06 | 4.717155e+06 | 143.99%|  11.87%
218.55/219.27	c (run 1, node 2018) performing user restart
218.55/219.27	c 
218.55/219.27	c (restart) converted 57 cuts from the global cut pool into linear constraints
218.55/219.27	c 
218.55/219.27	c presolving:
218.55/219.27	c (round 1, fast)       987 del vars, 987 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 98 chg coeffs, 0 upgd conss, 0 impls, 50 clqs
218.55/219.27	c (round 2, medium)     989 del vars, 989 del conss, 4 add conss, 0 chg bounds, 5 chg sides, 101 chg coeffs, 0 upgd conss, 0 impls, 53 clqs
218.55/219.27	c (round 3, fast)       989 del vars, 995 del conss, 6 add conss, 0 chg bounds, 5 chg sides, 102 chg coeffs, 0 upgd conss, 0 impls, 53 clqs
218.55/219.27	c (round 4, exhaustive) 989 del vars, 995 del conss, 6 add conss, 0 chg bounds, 5 chg sides, 102 chg coeffs, 57 upgd conss, 0 impls, 53 clqs
218.55/219.27	c (round 5, medium)     989 del vars, 995 del conss, 6 add conss, 0 chg bounds, 7 chg sides, 104 chg coeffs, 57 upgd conss, 0 impls, 53 clqs
218.55/219.27	c (round 6, exhaustive) 989 del vars, 1000 del conss, 6 add conss, 0 chg bounds, 7 chg sides, 138 chg coeffs, 57 upgd conss, 0 impls, 53 clqs
218.55/219.27	c presolving (7 rounds: 7 fast, 5 medium, 3 exhaustive):
218.55/219.27	c  989 deleted vars, 1000 deleted constraints, 6 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 138 changed coefficients
218.55/219.27	c  0 implications, 53 cliques
218.55/219.27	c presolved problem has 1561 variables (1561 bin, 0 int, 0 impl, 0 cont) and 1841 constraints
218.55/219.27	c     428 constraints of type <knapsack>
218.55/219.27	c      50 constraints of type <setppc>
218.55/219.27	c       5 constraints of type <linear>
218.55/219.27	c    1358 constraints of type <logicor>
218.55/219.27	c transformed objective value is always integral (scale: 2)
218.55/219.27	c Presolving Time: 0.24
218.55/219.27	c transformed 9/10 original solutions to the transformed problem space
218.55/219.27	c 
218.55/219.27	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
218.55/219.27	c   173s|     1 |     0 |537066 |     - |   101M |   0 |1561 |1841 |1772 |   0 |  0 |1803 |1469 | 1.933308e+06 | 4.717155e+06 | 143.99%| unknown
218.55/219.27	c   173s|     1 |     0 |537066 |     - |   101M |   0 |1561 |1842 |1767 |   0 |  0 |1804 |1469 | 1.933308e+06 | 4.717155e+06 | 143.99%| unknown
218.55/219.27	c   173s|     1 |     0 |538026 |     - |   101M |   0 |1561 |1842 |1793 |  26 |  1 |1804 |1469 | 1.933308e+06 | 4.717155e+06 | 143.99%| unknown
218.55/219.27	c   173s|     1 |     0 |538553 |     - |   101M |   0 |1561 |1843 |1807 |  40 |  2 |1805 |1469 | 1.933308e+06 | 4.717155e+06 | 143.99%| unknown
218.55/219.27	c   173s|     1 |     0 |538553 |     - |   101M |   0 |1561 |1844 |1805 |  40 |  2 |1806 |1469 | 1.933308e+06 | 4.717155e+06 | 143.99%| unknown
218.55/219.27	c   173s|     1 |     0 |538897 |     - |   118M |   0 |1561 |1844 |1814 |  49 |  3 |1806 |1469 | 1.933308e+06 | 4.717155e+06 | 143.99%| unknown
218.55/219.27	c   174s|     1 |     0 |539238 |     - |   118M |   0 |1561 |1846 |1821 |  56 |  4 |1808 |1469 | 1.933308e+06 | 4.717155e+06 | 143.99%| unknown
218.55/219.27	c   174s|     1 |     0 |539581 |     - |   119M |   0 |1561 |1847 |1828 |  63 |  5 |1809 |1469 | 1.933308e+06 | 4.717155e+06 | 143.99%| unknown
218.55/219.27	c   174s|     1 |     0 |539844 |     - |   120M |   0 |1561 |1848 |1833 |  68 |  6 |1810 |1469 | 1.933308e+06 | 4.717155e+06 | 143.99%| unknown
218.55/219.27	c   174s|     1 |     0 |540113 |     - |   120M |   0 |1561 |1851 |1837 |  72 |  7 |1813 |1469 | 1.933308e+06 | 4.717155e+06 | 143.99%| unknown
218.55/219.27	c   174s|     1 |     0 |540465 |     - |   120M |   0 |1561 |1852 |1841 |  76 |  8 |1814 |1469 | 1.933308e+06 | 4.717155e+06 | 143.99%| unknown
218.55/219.27	c   174s|     1 |     0 |540756 |     - |   120M |   0 |1561 |1853 |1845 |  80 |  9 |1815 |1469 | 1.933308e+06 | 4.717155e+06 | 143.99%| unknown
218.55/219.27	c   174s|     1 |     0 |541044 |     - |   121M |   0 |1561 |1854 |1848 |  83 | 10 |1816 |1469 | 1.933308e+06 | 4.717155e+06 | 143.99%| unknown
218.55/219.27	c   174s|     1 |     0 |541402 |     - |   122M |   0 |1561 |1855 |1854 |  89 | 11 |1817 |1469 | 1.933308e+06 | 4.717155e+06 | 143.99%| unknown
218.55/219.27	c   175s|     1 |     0 |541605 |     - |   122M |   0 |1561 |1856 |1857 |  92 | 12 |1818 |1469 | 1.933308e+06 | 4.717155e+06 | 143.99%| unknown
218.55/219.27	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
218.55/219.27	c   175s|     1 |     0 |541721 |     - |   122M |   0 |1561 |1857 |1862 |  97 | 13 |1819 |1469 | 1.933308e+06 | 4.717155e+06 | 143.99%| unknown
218.55/219.27	c   175s|     1 |     0 |541944 |     - |   123M |   0 |1561 |1859 |1865 | 100 | 14 |1821 |1469 | 1.933308e+06 | 4.717155e+06 | 143.99%| unknown
218.55/219.27	c   175s|     1 |     0 |542066 |     - |   123M |   0 |1561 |1858 |1850 | 103 | 15 |1822 |1469 | 1.933308e+06 | 4.717155e+06 | 143.99%| unknown
218.55/219.27	c   175s|     1 |     0 |542286 |     - |   123M |   0 |1561 |1854 |1852 | 105 | 16 |1823 |1469 | 1.933308e+06 | 4.717155e+06 | 143.99%| unknown
218.55/219.27	c   175s|     1 |     0 |542382 |     - |   123M |   0 |1561 |1854 |1854 | 107 | 17 |1824 |1469 | 1.933308e+06 | 4.717155e+06 | 143.99%| unknown
218.55/219.27	c   175s|     1 |     0 |542624 |     - |   123M |   0 |1561 |1854 |1857 | 110 | 18 |1824 |1469 | 1.933308e+06 | 4.717155e+06 | 143.99%| unknown
218.55/219.27	c   175s|     1 |     0 |542833 |     - |   123M |   0 |1561 |1854 |1861 | 114 | 19 |1825 |1469 | 1.933308e+06 | 4.717155e+06 | 143.99%| unknown
218.55/219.27	c   175s|     1 |     0 |543053 |     - |   123M |   0 |1561 |1855 |1863 | 116 | 20 |1826 |1469 | 1.933308e+06 | 4.717155e+06 | 143.99%| unknown
218.55/219.27	c   175s|     1 |     0 |543063 |     - |   123M |   0 |1561 |1856 |1848 | 117 | 21 |1827 |1469 | 1.933308e+06 | 4.717155e+06 | 143.99%| unknown
218.55/219.27	c   179s|     1 |     2 |559697 |     - |   124M |   0 |1561 |1849 |1848 | 117 | 22 |1835 |1485 | 1.933308e+06 | 4.717155e+06 | 143.99%| unknown
218.55/219.27	c   203s|   100 |    37 |724074 | 331.9 |   127M |  27 |1561 |1859 |1855 | 177 | 17 |1864 |1599 | 1.933308e+06 | 4.717155e+06 | 143.99%|   2.69%
218.55/219.27	c * 204s|   105 |    34 |731108 | 334.4 |    LP  |  27 |1561 |1859 |1833 | 200 |  1 |1864 |1615 | 1.933308e+06 | 4.140089e+06 | 114.15%|   2.80%
218.55/219.27	c   214s|   200 |    49 |784496 | 344.1 |   132M |  27 |1561 |1889 |1837 | 275 |  1 |1910 |1649 | 1.961321e+06 | 4.140089e+06 | 111.09%|   8.28%
218.55/219.27	c * 214s|   210 |    43 |786382 | 343.4 |    LP  |  28 |1561 |1860 |1837 | 275 |  1 |1910 |1649 | 1.961321e+06 | 3.870323e+06 |  97.33%|   8.36%
218.55/219.27	c * 216s|   256 |    43 |794760 | 340.2 |    LP  |  40 |1561 |1847 |1844 | 293 |  1 |1922 |1669 | 1.961321e+06 | 3.858491e+06 |  96.73%|   9.84%
218.55/219.27	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
264.04/264.84	c   219s|   300 |    43 |811435 | 340.9 |   132M |  40 |1561 |1856 |1839 | 299 |  1 |1938 |1698 | 1.964508e+06 | 3.858491e+06 |  96.41%|  11.77%
264.04/264.84	c * 221s|   321 |    47 |820999 | 341.9 |    LP  |  40 |1561 |1852 |1838 | 306 |  1 |1943 |1714 | 1.972443e+06 | 3.426533e+06 |  73.72%|  12.67%
264.04/264.84	c * 221s|   322 |    46 |821001 | 341.8 |    LP  |  40 |1561 |1839 |1838 | 306 |  2 |1943 |1714 | 1.972443e+06 | 3.425341e+06 |  73.66%|  12.67%
264.04/264.84	c * 221s|   323 |    45 |821199 | 341.7 |    LP  |  40 |1561 |1838 |1838 | 306 |  3 |1943 |1714 | 1.972443e+06 | 3.404179e+06 |  72.59%|  12.67%
264.04/264.84	c * 221s|   329 |    34 |822489 | 341.4 |    LP  |  40 |1561 |1835 |1838 | 306 |  2 |1943 |1714 | 1.972443e+06 | 3.197681e+06 |  62.12%|  13.92%
264.04/264.84	c * 224s|   369 |    39 |832949 | 340.1 |    LP  |  40 |1561 |1837 |1838 | 310 |  2 |1960 |1729 | 1.987931e+06 | 3.184577e+06 |  60.20%|  25.18%
264.04/264.84	c * 224s|   396 |    40 |835833 | 337.5 |    LP  |  40 |1561 |1840 |1839 | 313 |  2 |1963 |1729 | 1.987931e+06 | 3.181195e+06 |  60.03%|  26.39%
264.04/264.84	c   224s|   400 |    40 |836137 | 337.0 |   133M |  40 |1561 |1840 |   0 | 315 |  0 |1963 |1729 | 1.987931e+06 | 3.181195e+06 |  60.03%|  26.42%
264.04/264.84	c * 224s|   408 |    38 |836734 | 336.2 |    LP  |  40 |1561 |1838 |1841 | 315 |  3 |1964 |1729 | 1.987931e+06 | 3.177835e+06 |  59.86%|  26.69%
264.04/264.84	c * 225s|   427 |    39 |839517 | 334.7 |    LP  |  40 |1561 |1838 |1840 | 316 |  2 |1966 |1729 | 1.987931e+06 | 3.171627e+06 |  59.54%|  26.84%
264.04/264.84	c   227s|   500 |    50 |856348 | 331.7 |   133M |  40 |1561 |1834 |1839 | 320 |  1 |1971 |1738 | 1.989286e+06 | 3.171627e+06 |  59.44%|  29.10%
264.04/264.84	c * 231s|   599 |    44 |875340 | 326.4 |strongbr|  40 |1561 |1833 |1839 | 327 |  3 |1982 |1789 | 1.992168e+06 | 2.938357e+06 |  47.50%|  29.11%
264.04/264.84	c   231s|   600 |    43 |875483 | 326.3 |   134M |  40 |1561 |1831 |1839 | 327 |  0 |1982 |1794 | 1.992168e+06 | 2.938357e+06 |  47.50%|  29.15%
264.04/264.84	c * 234s|   639 |    45 |887713 | 326.1 |    LP  |  40 |1561 |1837 |1840 | 330 |  2 |1998 |1810 | 2.025818e+06 | 2.904069e+06 |  43.35%|  31.69%
264.04/264.84	c   237s|   700 |    42 |909019 | 326.6 |   135M |  40 |1561 |1853 |1841 | 362 |  0 |2017 |1835 | 2.043798e+06 | 2.904069e+06 |  42.09%|  41.49%
264.04/264.84	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
264.04/264.84	c * 238s|   714 |    42 |912614 | 326.3 |strongbr|  40 |1561 |1868 |1841 | 379 |  7 |2033 |1847 | 2.043798e+06 | 2.899749e+06 |  41.88%|  43.82%
264.04/264.84	c   243s|   800 |    42 |935025 | 324.3 |   136M |  44 |1561 |1882 |   0 | 425 |  0 |2049 |1879 | 2.081053e+06 | 2.899749e+06 |  39.34%|  52.16%
264.04/264.84	c   250s|   900 |    46 |973420 | 326.3 |   138M |  54 |1561 |1888 |1855 | 470 |  0 |2076 |1946 | 2.205266e+06 | 2.899749e+06 |  31.49%|  52.84%
264.04/264.84	c   254s|  1000 |    50 |992013 | 321.7 |   138M |  60 |1561 |1893 |   0 | 481 |  0 |2082 |1976 | 2.205266e+06 | 2.899749e+06 |  31.49%|  53.20%
264.04/264.84	c   259s|  1100 |    33 |  1020k| 320.6 |   141M |  62 |1561 |1896 |1839 | 526 |  0 |2134 |2027 | 2.205770e+06 | 2.899749e+06 |  31.46%|  72.34%
264.04/264.84	c 
264.04/264.84	c SCIP Status        : problem is solved [optimal solution found]
264.04/264.84	c Solving Time (sec) : 264.61
264.04/264.84	c Solving Nodes      : 1187 (total of 3205 nodes in 2 runs)
264.04/264.84	c Primal Bound       : +2.89974900000000e+06 (24 solutions)
264.04/264.84	c Dual Bound         : +2.89974900000000e+06
264.04/264.84	c Gap                : 0.00 %
264.04/264.84	c All original constraints are satisfied.
264.04/264.84	c SCIP's best solution is verified feasible for the original problem.
264.04/264.84	c SCIP found an optimal solution.
264.04/264.84	o 2899749
264.04/264.84	s OPTIMUM FOUND
264.04/264.84	v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x1101 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1651 -x1652 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x2201 -x2202 -x2203 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2301 -x2302 -x2303 -x2304 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399
264.04/264.84	v -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223
264.04/264.84	v -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613
264.04/264.84	v -x614 -x615 -x616 -x617 -x618 -x619 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 x853 x854 -x855 -x856 x857 -x858 x859 x860 -x861 -x862 -x863 x864 x865 -x866 -x867 x868 -x869 -x870 -x871 -x872 -x873 -x874 -x876 x877 x878 x879 -x880 -x881 x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956
264.04/264.84	v -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304
264.04/264.84	v -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596
264.04/264.84	v -x1597 -x1598 -x1599 -x1600 -x1601 x1602 -x1603 -x1604 -x1605 x1606 -x1607 -x1608 -x1609 -x1610 x1611 -x1612 -x1613 -x1614 -x1615 -x1616 x1617 -x1618 x1619 -x1620 x1621 x1622 -x1623 x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 x1631 -x1632 -x1633 x1634 x1635 -x1636 -x1637 x1638 -x1640 x1641 -x1642 -x1643 x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 -x1790 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 x1939
264.04/264.84	v -x1940 -x1941 -x1942 -x1943 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1996 -x1997 -x1998 -x1999 x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2047 -x2048 -x2049 x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2098 -x2099 x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 x2200 x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 x2258 -x2259 -x2260 -x2261 x2262 x2263 -x2264 -x2265 x2266 -x2267 -x2268 -x2269 x2270 -x2271 -x2272 x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279 x2280 -x2281 -x2282
264.04/264.84	v -x2283 -x2284 -x2285 x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 x2293 -x2294 x2295 x2296 x2297 -x2298 x2299 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 x2600 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3651 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x4201 -x4202 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4751 -x4752 -x4753 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4851 -x4852 -x4853 -x4854 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874
264.04/264.84	v -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2662 -x2663 -x2664 -x2665
264.04/264.84	v -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955
264.04/264.84	v -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296
264.04/264.84	v -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 x3433 -x3434 -x3435 -x3436 -x3437 -x3438 x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587
264.04/264.84	v -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3884 -x3885 -x3886 -x3887 -x3888 x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928
264.04/264.84	v -x3929 -x3930 -x3931 -x3932 -x3933 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 x4200 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270
264.04/264.84	v -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561
264.04/264.84	v -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4750 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 x4833 -x4834 -x4835 -x4836 -x4837 -x4838 x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x551 -x1102 -x1653 -x2204 -x2305 -x2356 -x2407 -x2458 -x2509 -x60 -x111 -x162 -x213 -x264 -x315 -x366 -x417 -x468 -x519
264.04/264.84	v -x620 -x671 -x722 -x773 -x824 -x875 -x926 -x977 -x1028 -x1079 -x1180 -x1231 -x1282 -x1333 -x1384 -x1435 -x1486 -x1537 -x1588 -x1639 -x1740 -x1791 -x1842 -x1893 -x1944 -x1995 -x2046 -x2097 -x2148 -x2199 -x2300 -x3101 -x3652 -x4203 -x4754 -x4855 -x4906 -x4957 -x5008 -x5059 -x2610 -x2661 -x2712 -x2763 -x2814 -x2865 -x2916 -x2967 -x3018 -x3069 -x3170 -x3221 -x3272 -x3323 -x3374 -x3425 -x3476 -x3527 -x3578 -x3629 -x3730 -x3781 -x3832 -x3883 -x3934 -x3985 -x4036 -x4087 -x4138 -x4189 -x4290 -x4341 -x4392 -x4443 -x4494 -x4545 -x4596 -x4647 -x4698 -x4749 -x4850

Verifier Data 

OK	2899749

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: 63708 MiB (60321 MiB free)
  memory of node 1: 64465 MiB (61559 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530367-1752255465/watcher-4530367-1752255465 -o /tmp/evaluation-result-4530367-1752255465/solver-4530367-1752255465 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1752253269-115889 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530367-1752255465.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=116803, runsolver pid=116800

[startup+0.100066 s]*
/proc/loadavg: 4.08 4.08 4.01 5/270 116808
/proc/meminfo: memFree=124801940/131250000 swapFree=33010684/33010684
[pid=116803] ppid=116800 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/116803/stat : 116803 (scip-naps-1.00a) S 116800 116803 115877 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 141169012 4292608 768 18446744073709551615 94191205998592 94191206893125 140736610805200 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94191207132176 94191207179920 94191233794048 140736610814363 140736610814462 140736610814462 140736610820066 0
/proc/116803/statm: 1048 768 704 219 0 110 0
[pid=116808] ppid=116803 vsize=1186976 memory=31964 CPUtime=0.07 cores=1,3
/proc/116808/stat : 116808 (python3) R 116803 116803 115877 0 -1 4194304 3724 0 0 0 6 1 0 0 20 0 1 0 141169014 1215463424 7991 18446744073709551615 94679756505088 94679756505465 140729484084928 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94679756516760 94679756517380 94679756771328 140729484093790 140729484093984 140729484093984 140729484099559 0
/proc/116808/statm: 296744 7991 4895 1 0 268766 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191168 KiB
Current children cumulated memory: 35036 KiB

[startup+0.205803 s]*
/proc/loadavg: 4.08 4.08 4.01 5/270 116808
/proc/meminfo: memFree=124769936/131250000 swapFree=33010684/33010684
[pid=116803] ppid=116800 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/116803/stat : 116803 (scip-naps-1.00a) S 116800 116803 115877 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 141169012 4292608 768 18446744073709551615 94191205998592 94191206893125 140736610805200 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94191207132176 94191207179920 94191233794048 140736610814363 140736610814462 140736610814462 140736610820066 0
/proc/116803/statm: 1048 768 704 219 0 110 0
[pid=116808] ppid=116803 vsize=1223272 memory=75484 CPUtime=0.17 cores=1,3
/proc/116808/stat : 116808 (python3) R 116803 116803 115877 0 -1 4194304 11836 0 0 0 14 3 0 0 20 0 1 0 141169014 1252630528 18871 18446744073709551615 94679756505088 94679756505465 140729484084928 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94679756516760 94679756517380 94679756771328 140729484093790 140729484093984 140729484093984 140729484099559 0
/proc/116808/statm: 305818 18871 7903 1 0 277176 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1227464 KiB
Current children cumulated memory: 78556 KiB

[startup+0.305741 s]*
/proc/loadavg: 4.08 4.08 4.01 5/270 116808
/proc/meminfo: memFree=124761872/131250000 swapFree=33010684/33010684
[pid=116803] ppid=116800 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/116803/stat : 116803 (scip-naps-1.00a) S 116800 116803 115877 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 141169012 4292608 768 18446744073709551615 94191205998592 94191206893125 140736610805200 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94191207132176 94191207179920 94191233794048 140736610814363 140736610814462 140736610814462 140736610820066 0
/proc/116803/statm: 1048 768 704 219 0 110 0
[pid=116808] ppid=116803 vsize=1231504 memory=83932 CPUtime=0.27 cores=1,3
/proc/116808/stat : 116808 (python3) R 116803 116803 115877 0 -1 4194304 13919 0 0 0 24 3 0 0 20 0 1 0 141169014 1261060096 20983 18446744073709551615 94679756505088 94679756505465 140729484084928 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94679756516760 94679756517380 94679756771328 140729484093790 140729484093984 140729484093984 140729484099559 0
/proc/116808/statm: 307876 20983 7967 1 0 279234 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1235696 KiB
Current children cumulated memory: 87004 KiB

[startup+0.70017 s]
/proc/loadavg: 4.08 4.08 4.01 5/270 116808
/proc/meminfo: memFree=124745744/131250000 swapFree=33010684/33010684
[pid=116803] ppid=116800 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/116803/stat : 116803 (scip-naps-1.00a) S 116800 116803 115877 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 141169012 4292608 768 18446744073709551615 94191205998592 94191206893125 140736610805200 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94191207132176 94191207179920 94191233794048 140736610814363 140736610814462 140736610814462 140736610820066 0
/proc/116803/statm: 1048 768 704 219 0 110 0
[pid=116808] ppid=116803 vsize=1258528 memory=105564 CPUtime=0.66 cores=1,3
/proc/116808/stat : 116808 (python3) R 116803 116803 115877 0 -1 4194304 19273 0 0 0 62 4 0 0 20 0 1 0 141169014 1288732672 26391 18446744073709551615 94679756505088 94679756505465 140729484084928 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94679756516760 94679756517380 94679756771328 140729484093790 140729484093984 140729484093984 140729484099559 0
/proc/116808/statm: 314632 26391 8159 1 0 285990 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1262720 KiB
Current children cumulated memory: 108636 KiB

[startup+1.50017 s]
/proc/loadavg: 4.08 4.08 4.01 5/270 116808
/proc/meminfo: memFree=124737952/131250000 swapFree=33010684/33010684
[pid=116803] ppid=116800 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/116803/stat : 116803 (scip-naps-1.00a) S 116800 116803 115877 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 141169012 4292608 768 18446744073709551615 94191205998592 94191206893125 140736610805200 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94191207132176 94191207179920 94191233794048 140736610814363 140736610814462 140736610814462 140736610820066 0
/proc/116803/statm: 1048 768 704 219 0 110 0
[pid=116808] ppid=116803 vsize=1264168 memory=110940 CPUtime=1.45 cores=1,3
/proc/116808/stat : 116808 (python3) R 116803 116803 115877 0 -1 4194304 20594 0 0 0 141 4 0 0 20 0 1 0 141169014 1294508032 27735 18446744073709551615 94679756505088 94679756505465 140729484084928 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94679756516760 94679756517380 94679756771328 140729484093790 140729484093984 140729484093984 140729484099559 0
/proc/116808/statm: 316042 27735 8159 1 0 287400 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1268360 KiB
Current children cumulated memory: 114012 KiB

[startup+3.10555 s]
/proc/loadavg: 4.08 4.08 4.01 5/270 116808
/proc/meminfo: memFree=124734744/131250000 swapFree=33010684/33010684
[pid=116803] ppid=116800 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/116803/stat : 116803 (scip-naps-1.00a) S 116800 116803 115877 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 141169012 4292608 768 18446744073709551615 94191205998592 94191206893125 140736610805200 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94191207132176 94191207179920 94191233794048 140736610814363 140736610814462 140736610814462 140736610820066 0
/proc/116803/statm: 1048 768 704 219 0 110 0
[pid=116808] ppid=116803 vsize=1275824 memory=122588 CPUtime=3.06 cores=1,3
/proc/116808/stat : 116808 (python3) R 116803 116803 115877 0 -1 4194304 23588 0 0 0 301 5 0 0 20 0 1 0 141169014 1306443776 30647 18446744073709551615 94679756505088 94679756505465 140729484084928 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94679756516760 94679756517380 94679756771328 140729484093790 140729484093984 140729484093984 140729484099559 0
/proc/116808/statm: 318956 30647 8159 1 0 290314 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1280016 KiB
Current children cumulated memory: 125660 KiB

[startup+6.30018 s]
/proc/loadavg: 4.08 4.08 4.01 5/270 116809
/proc/meminfo: memFree=124735408/131250000 swapFree=33010684/33010684
[pid=116803] ppid=116800 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/116803/stat : 116803 (scip-naps-1.00a) S 116800 116803 115877 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 141169012 4292608 768 18446744073709551615 94191205998592 94191206893125 140736610805200 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94191207132176 94191207179920 94191233794048 140736610814363 140736610814462 140736610814462 140736610820066 0
/proc/116803/statm: 1048 768 704 219 0 110 0
[pid=116808] ppid=116803 vsize=1277712 memory=124380 CPUtime=6.24 cores=1,3
/proc/116808/stat : 116808 (python3) R 116803 116803 115877 0 -1 4194304 24033 0 0 0 619 5 0 0 20 0 1 0 141169014 1308377088 31095 18446744073709551615 94679756505088 94679756505465 140729484084928 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94679756516760 94679756517380 94679756771328 140729484093790 140729484093984 140729484093984 140729484099559 0
/proc/116808/statm: 319428 31095 8159 1 0 290786 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1281904 KiB
Current children cumulated memory: 127452 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.01 5/270 116809
/proc/meminfo: memFree=124741968/131250000 swapFree=33010684/33010684
[pid=116803] ppid=116800 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/116803/stat : 116803 (scip-naps-1.00a) S 116800 116803 115877 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 141169012 4292608 768 18446744073709551615 94191205998592 94191206893125 140736610805200 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94191207132176 94191207179920 94191233794048 140736610814363 140736610814462 140736610814462 140736610820066 0
/proc/116803/statm: 1048 768 704 219 0 110 0
[pid=116808] ppid=116803 vsize=1293156 memory=139868 CPUtime=12.63 cores=1,3
/proc/116808/stat : 116808 (python3) R 116803 116803 115877 0 -1 4194304 27910 0 0 0 1257 6 0 0 20 0 1 0 141169014 1324191744 34967 18446744073709551615 94679756505088 94679756505465 140729484084928 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94679756516760 94679756517380 94679756771328 140729484093790 140729484093984 140729484093984 140729484099559 0
/proc/116808/statm: 323289 34967 8159 1 0 294647 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1297348 KiB
Current children cumulated memory: 142940 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.09 4.02 5/270 116809
/proc/meminfo: memFree=124722272/131250000 swapFree=33010684/33010684
[pid=116803] ppid=116800 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/116803/stat : 116803 (scip-naps-1.00a) S 116800 116803 115877 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 141169012 4292608 768 18446744073709551615 94191205998592 94191206893125 140736610805200 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94191207132176 94191207179920 94191233794048 140736610814363 140736610814462 140736610814462 140736610820066 0
/proc/116803/statm: 1048 768 704 219 0 110 0
[pid=116808] ppid=116803 vsize=1293156 memory=139868 CPUtime=25.39 cores=1,3
/proc/116808/stat : 116808 (python3) R 116803 116803 115877 0 -1 4194304 27910 0 0 0 2533 6 0 0 20 0 1 0 141169014 1324191744 34967 18446744073709551615 94679756505088 94679756505465 140729484084928 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94679756516760 94679756517380 94679756771328 140729484093790 140729484093984 140729484093984 140729484099559 0
/proc/116808/statm: 323289 34967 8159 1 0 294647 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1297348 KiB
Current children cumulated memory: 142940 KiB

[startup+51.1058 s]
/proc/loadavg: 4.09 4.08 4.01 5/270 116809
/proc/meminfo: memFree=124722944/131250000 swapFree=33010684/33010684
[pid=116803] ppid=116800 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/116803/stat : 116803 (scip-naps-1.00a) S 116800 116803 115877 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 141169012 4292608 768 18446744073709551615 94191205998592 94191206893125 140736610805200 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94191207132176 94191207179920 94191233794048 140736610814363 140736610814462 140736610814462 140736610820066 0
/proc/116803/statm: 1048 768 704 219 0 110 0
[pid=116808] ppid=116803 vsize=1292760 memory=139608 CPUtime=50.91 cores=1,3
/proc/116808/stat : 116808 (python3) R 116803 116803 115877 0 -1 4194304 31292 0 0 0 5085 6 0 0 20 0 1 0 141169014 1323786240 34902 18446744073709551615 94679756505088 94679756505465 140729484084928 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94679756516760 94679756517380 94679756771328 140729484093790 140729484093984 140729484093984 140729484099559 0
/proc/116808/statm: 323190 34902 8159 1 0 294548 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1296952 KiB
Current children cumulated memory: 142680 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/270 116814
/proc/meminfo: memFree=124705724/131250000 swapFree=33010684/33010684
[pid=116803] ppid=116800 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/116803/stat : 116803 (scip-naps-1.00a) S 116800 116803 115877 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 141169012 4292608 768 18446744073709551615 94191205998592 94191206893125 140736610805200 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94191207132176 94191207179920 94191233794048 140736610814363 140736610814462 140736610814462 140736610820066 0
/proc/116803/statm: 1048 768 704 219 0 110 0
[pid=116808] ppid=116803 vsize=1309640 memory=156376 CPUtime=101.95 cores=1,3
/proc/116808/stat : 116808 (python3) R 116803 116803 115877 0 -1 4194304 35507 0 0 0 10188 7 0 0 20 0 1 0 141169014 1341071360 39094 18446744073709551615 94679756505088 94679756505465 140729484084928 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94679756516760 94679756517380 94679756771328 140729484093790 140729484093984 140729484093984 140729484099559 0
/proc/116808/statm: 327410 39094 8159 1 0 298768 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1313832 KiB
Current children cumulated memory: 159448 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/270 116817
/proc/meminfo: memFree=124626740/131250000 swapFree=33010684/33010684
[pid=116803] ppid=116800 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/116803/stat : 116803 (scip-naps-1.00a) S 116800 116803 115877 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 141169012 4292608 768 18446744073709551615 94191205998592 94191206893125 140736610805200 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94191207132176 94191207179920 94191233794048 140736610814363 140736610814462 140736610814462 140736610820066 0
/proc/116803/statm: 1048 768 704 219 0 110 0
[pid=116808] ppid=116803 vsize=1317568 memory=163460 CPUtime=161.8 cores=1,3
/proc/116808/stat : 116808 (python3) R 116803 116803 115877 0 -1 4194304 38129 0 0 0 16172 8 0 0 20 0 1 0 141169014 1349189632 40865 18446744073709551615 94679756505088 94679756505465 140729484084928 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94679756516760 94679756517380 94679756771328 140729484093790 140729484093984 140729484093984 140729484099559 0
/proc/116808/statm: 329392 40865 8255 1 0 300750 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1321760 KiB
Current children cumulated memory: 166532 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/270 116823
/proc/meminfo: memFree=124595872/131250000 swapFree=33010684/33010684
[pid=116803] ppid=116800 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/116803/stat : 116803 (scip-naps-1.00a) S 116800 116803 115877 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 141169012 4292608 768 18446744073709551615 94191205998592 94191206893125 140736610805200 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94191207132176 94191207179920 94191233794048 140736610814363 140736610814462 140736610814462 140736610820066 0
/proc/116803/statm: 1048 768 704 219 0 110 0
[pid=116808] ppid=116803 vsize=1340028 memory=186884 CPUtime=221.64 cores=1,3
/proc/116808/stat : 116808 (python3) R 116803 116803 115877 0 -1 4194304 44013 0 0 0 22156 8 0 0 20 0 1 0 141169014 1372188672 46721 18446744073709551615 94679756505088 94679756505465 140729484084928 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94679756516760 94679756517380 94679756771328 140729484093790 140729484093984 140729484093984 140729484099559 0
/proc/116808/statm: 335007 46721 8255 1 0 306365 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 1344220 KiB
Current children cumulated memory: 189956 KiB

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

# cumulated CPU time of all completed processes:  user=264.047 s, system=0.106804 s

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

[startup+230.4 s]
/proc/loadavg: 4.06 4.08 4.01 5/270 116823
/proc/meminfo: memFree=124595872/131250000 swapFree=33010684/33010684
[pid=116803] ppid=116800 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/116803/stat : 116803 (scip-naps-1.00a) S 116800 116803 115877 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 141169012 4292608 768 18446744073709551615 94191205998592 94191206893125 140736610805200 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94191207132176 94191207179920 94191233794048 140736610814363 140736610814462 140736610814462 140736610820066 0
/proc/116803/statm: 1048 768 704 219 0 110 0
[pid=116808] ppid=116803 vsize=1340028 memory=186884 CPUtime=229.72 cores=1,3
/proc/116808/stat : 116808 (python3) R 116803 116803 115877 0 -1 4194304 44013 0 0 0 22964 8 0 0 20 0 1 0 141169014 1372188672 46721 18446744073709551615 94679756505088 94679756505465 140729484084928 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94679756516760 94679756517380 94679756771328 140729484093790 140729484093984 140729484093984 140729484099559 0
/proc/116808/statm: 335007 46721 8255 1 0 306365 0
Current children cumulated CPU time: 229.72 s
Current children cumulated vsize: 1344220 KiB
Current children cumulated memory: 189956 KiB

[startup+243.2 s]
/proc/loadavg: 4.12 4.09 4.02 5/270 116824
/proc/meminfo: memFree=124595904/131250000 swapFree=33010684/33010684
[pid=116803] ppid=116800 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/116803/stat : 116803 (scip-naps-1.00a) S 116800 116803 115877 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 141169012 4292608 768 18446744073709551615 94191205998592 94191206893125 140736610805200 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94191207132176 94191207179920 94191233794048 140736610814363 140736610814462 140736610814462 140736610820066 0
/proc/116803/statm: 1048 768 704 219 0 110 0
[pid=116808] ppid=116803 vsize=1340628 memory=187140 CPUtime=242.49 cores=1,3
/proc/116808/stat : 116808 (python3) R 116803 116803 115877 0 -1 4194304 44089 0 0 0 24241 8 0 0 20 0 1 0 141169014 1372803072 46785 18446744073709551615 94679756505088 94679756505465 140729484084928 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94679756516760 94679756517380 94679756771328 140729484093790 140729484093984 140729484093984 140729484099559 0
/proc/116808/statm: 335157 46785 8255 1 0 306515 0
Current children cumulated CPU time: 242.49 s
Current children cumulated vsize: 1344820 KiB
Current children cumulated memory: 190212 KiB

[startup+256 s]*
/proc/loadavg: 4.10 4.09 4.02 5/270 116826
/proc/meminfo: memFree=124583572/131250000 swapFree=33010684/33010684
[pid=116803] ppid=116800 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/116803/stat : 116803 (scip-naps-1.00a) S 116800 116803 115877 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 141169012 4292608 768 18446744073709551615 94191205998592 94191206893125 140736610805200 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94191207132176 94191207179920 94191233794048 140736610814363 140736610814462 140736610814462 140736610820066 0
/proc/116803/statm: 1048 768 704 219 0 110 0
[pid=116808] ppid=116803 vsize=1349892 memory=195204 CPUtime=255.27 cores=1,3
/proc/116808/stat : 116808 (python3) R 116803 116803 115877 0 -1 4194304 46112 0 0 0 25518 9 0 0 20 0 1 0 141169014 1382289408 48801 18446744073709551615 94679756505088 94679756505465 140729484084928 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94679756516760 94679756517380 94679756771328 140729484093790 140729484093984 140729484093984 140729484099559 0
/proc/116808/statm: 337473 48801 8255 1 0 308831 0
Current children cumulated CPU time: 255.27 s
Current children cumulated vsize: 1354084 KiB
Current children cumulated memory: 198276 KiB

[startup+259.2 s]
/proc/loadavg: 4.09 4.08 4.02 5/270 116826
/proc/meminfo: memFree=124583572/131250000 swapFree=33010684/33010684
[pid=116803] ppid=116800 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/116803/stat : 116803 (scip-naps-1.00a) S 116800 116803 115877 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 141169012 4292608 768 18446744073709551615 94191205998592 94191206893125 140736610805200 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94191207132176 94191207179920 94191233794048 140736610814363 140736610814462 140736610814462 140736610820066 0
/proc/116803/statm: 1048 768 704 219 0 110 0
[pid=116808] ppid=116803 vsize=1349892 memory=195204 CPUtime=258.46 cores=1,3
/proc/116808/stat : 116808 (python3) R 116803 116803 115877 0 -1 4194304 46112 0 0 0 25837 9 0 0 20 0 1 0 141169014 1382289408 48801 18446744073709551615 94679756505088 94679756505465 140729484084928 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94679756516760 94679756517380 94679756771328 140729484093790 140729484093984 140729484093984 140729484099559 0
/proc/116808/statm: 337473 48801 8255 1 0 308831 0
Current children cumulated CPU time: 258.46 s
Current children cumulated vsize: 1354084 KiB
Current children cumulated memory: 198276 KiB

[startup+262.4 s]
/proc/loadavg: 4.09 4.08 4.02 5/270 116826
/proc/meminfo: memFree=124583804/131250000 swapFree=33010684/33010684
[pid=116803] ppid=116800 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/116803/stat : 116803 (scip-naps-1.00a) S 116800 116803 115877 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 141169012 4292608 768 18446744073709551615 94191205998592 94191206893125 140736610805200 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94191207132176 94191207179920 94191233794048 140736610814363 140736610814462 140736610814462 140736610820066 0
/proc/116803/statm: 1048 768 704 219 0 110 0
[pid=116808] ppid=116803 vsize=1349892 memory=195204 CPUtime=261.65 cores=1,3
/proc/116808/stat : 116808 (python3) R 116803 116803 115877 0 -1 4194304 46117 0 0 0 26156 9 0 0 20 0 1 0 141169014 1382289408 48801 18446744073709551615 94679756505088 94679756505465 140729484084928 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94679756516760 94679756517380 94679756771328 140729484093790 140729484093984 140729484093984 140729484099559 0
/proc/116808/statm: 337473 48801 8255 1 0 308831 0
Current children cumulated CPU time: 261.65 s
Current children cumulated vsize: 1354084 KiB
Current children cumulated memory: 198276 KiB

[startup+264 s]*
/proc/loadavg: 4.09 4.08 4.02 5/270 116826
/proc/meminfo: memFree=124583804/131250000 swapFree=33010684/33010684
[pid=116803] ppid=116800 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/116803/stat : 116803 (scip-naps-1.00a) S 116800 116803 115877 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 141169012 4292608 768 18446744073709551615 94191205998592 94191206893125 140736610805200 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94191207132176 94191207179920 94191233794048 140736610814363 140736610814462 140736610814462 140736610820066 0
/proc/116803/statm: 1048 768 704 219 0 110 0
[pid=116808] ppid=116803 vsize=1349892 memory=195204 CPUtime=263.25 cores=1,3
/proc/116808/stat : 116808 (python3) R 116803 116803 115877 0 -1 4194304 46118 0 0 0 26316 9 0 0 20 0 1 0 141169014 1382289408 48801 18446744073709551615 94679756505088 94679756505465 140729484084928 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94679756516760 94679756517380 94679756771328 140729484093790 140729484093984 140729484093984 140729484099559 0
/proc/116808/statm: 337473 48801 8255 1 0 308831 0
Current children cumulated CPU time: 263.25 s
Current children cumulated vsize: 1354084 KiB
Current children cumulated memory: 198276 KiB

[startup+264.4 s]
/proc/loadavg: 4.09 4.08 4.02 5/270 116826
/proc/meminfo: memFree=124583804/131250000 swapFree=33010684/33010684
[pid=116803] ppid=116800 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/116803/stat : 116803 (scip-naps-1.00a) S 116800 116803 115877 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 141169012 4292608 768 18446744073709551615 94191205998592 94191206893125 140736610805200 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94191207132176 94191207179920 94191233794048 140736610814363 140736610814462 140736610814462 140736610820066 0
/proc/116803/statm: 1048 768 704 219 0 110 0
[pid=116808] ppid=116803 vsize=1349892 memory=195204 CPUtime=263.64 cores=1,3
/proc/116808/stat : 116808 (python3) R 116803 116803 115877 0 -1 4194304 46118 0 0 0 26355 9 0 0 20 0 1 0 141169014 1382289408 48801 18446744073709551615 94679756505088 94679756505465 140729484084928 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94679756516760 94679756517380 94679756771328 140729484093790 140729484093984 140729484093984 140729484099559 0
/proc/116808/statm: 337473 48801 8255 1 0 308831 0
Current children cumulated CPU time: 263.64 s
Current children cumulated vsize: 1354084 KiB
Current children cumulated memory: 198276 KiB

[startup+264.8 s]
/proc/loadavg: 4.09 4.08 4.02 5/270 116826
/proc/meminfo: memFree=124583804/131250000 swapFree=33010684/33010684
[pid=116803] ppid=116800 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/116803/stat : 116803 (scip-naps-1.00a) S 116800 116803 115877 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 141169012 4292608 768 18446744073709551615 94191205998592 94191206893125 140736610805200 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94191207132176 94191207179920 94191233794048 140736610814363 140736610814462 140736610814462 140736610820066 0
/proc/116803/statm: 1048 768 704 219 0 110 0
[pid=116808] ppid=116803 vsize=1352196 memory=197892 CPUtime=264.04 cores=1,3
/proc/116808/stat : 116808 (python3) R 116803 116803 115877 0 -1 4194304 46745 0 0 0 26395 9 0 0 20 0 1 0 141169014 1384648704 49473 18446744073709551615 94679756505088 94679756505465 140729484084928 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94679756516760 94679756517380 94679756771328 140729484093790 140729484093984 140729484093984 140729484099559 0
/proc/116808/statm: 338049 49473 8287 1 0 309407 0
Current children cumulated CPU time: 264.04 s
Current children cumulated vsize: 1356388 KiB
Current children cumulated memory: 200964 KiB

Child status: 0

Real time (s): 264.9
CPU time (s): 264.154
CPU user time (s): 264.047
CPU system time (s): 0.106804
CPU usage (%): 99.7183
Max. virtual memory (cumulated for all children) (KiB): 1356388
Max. memory (cumulated for all children) (KiB): 200964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 264.047
system time used= 0.106804
maximum resident set size= 199044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47646
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 334
involuntary context switches= 449


# summary of solver processes directly reported to runsolver:
#   pid: 116803
#   total CPU time (s): 264.154
#   total CPU user time (s): 264.047
#   total CPU system time (s): 0.106804

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.482048 second user time and 1.20465 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2025-07-11 19:37:45
IDJOB=4530367
IDBENCH=155610
IDSOLVER=3388
FILE ID=nodeC028/4530367-1752255465
RUNJOBID= nodeC028-1752253269-115889
SLURM_JOB_ID= 9682584
Free space on /tmp= 431168 MiB

SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_1.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4530367-1752255465/watcher-4530367-1752255465 -o /tmp/evaluation-result-4530367-1752255465/solver-4530367-1752255465 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1752253269-115889 --watchdog 3760  ./scip-naps-1.00a2.sh HOME/instance-4530367-1752255465.opb

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

MD5SUM BENCH= d01f39fb61de71c60f300d6712f658b6
RANDOM SEED=1315751725

nodeC028 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3600.124
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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		: 3543.426
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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.588
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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.070
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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		: 3600.100
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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		: 3600.167
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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		: 3601.112
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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		: 3579.687
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        124806300 kB
MemAvailable:   127229088 kB
Buffers:            3280 kB
Cached:          3220612 kB
SwapCached:            0 kB
Active:          2813864 kB
Inactive:        2907664 kB
Active(anon):    2515704 kB
Inactive(anon):        0 kB
Active(file):     298160 kB
Inactive(file):  2907664 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6024 kB
Writeback:             0 kB
AnonPages:       2500340 kB
Mapped:           131368 kB
Shmem:             18068 kB
KReclaimable:     112408 kB
Slab:             205532 kB
SReclaimable:     112408 kB
SUnreclaim:        93124 kB
KernelStack:        4352 kB
PageTables:         8776 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    6487992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:    763904 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431156 MiB
End job on nodeC028 at 2025-07-11 19:42:10