Trace number 4529823

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 NameAnswerCPU timeWall clock time
SCIP-NaPS 1.00a2SAT 519.024 520.428

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K69.opb
MD5SUM7a41f646f8fb7a1c0e5845075c21504b
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark8.08757
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3795
Total number of constraints3935
Number of constraints which are clauses3866
Number of constraints which are cardinality constraints (but not clauses)69
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint69
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 70
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

16.81/16.94	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4529823-1752259076.opb
16.81/16.94	c Solving mode: decision
16.81/16.94	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
16.81/16.94	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
16.81/16.94	c original problem has 3795 variables (3795 bin, 0 int, 0 impl, 0 cont) and 3935 constraints
16.81/16.94	c presolving:
16.81/16.94	c (round 1, fast)       174 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 716 clqs
16.81/16.94	c (round 2, fast)       434 del vars, 190 del conss, 0 add conss, 60 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 703 clqs
16.81/16.94	c (round 3, fast)       551 del vars, 276 del conss, 0 add conss, 116 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 700 clqs
16.81/16.94	c (round 4, fast)       644 del vars, 352 del conss, 0 add conss, 160 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 713 clqs
16.81/16.94	c (round 5, fast)       695 del vars, 391 del conss, 0 add conss, 182 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 735 clqs
16.81/16.94	c (round 6, fast)       717 del vars, 410 del conss, 0 add conss, 189 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 751 clqs
16.81/16.94	c (round 7, fast)       721 del vars, 414 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 760 clqs
16.81/16.94	c (round 8, exhaustive) 721 del vars, 479 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 761 clqs
16.81/16.94	c (round 9, exhaustive) 721 del vars, 479 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 0 chg coeffs, 3456 upgd conss, 0 impls, 761 clqs
16.81/16.94	c (round 10, exhaustive) 773 del vars, 479 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 49 chg coeffs, 3456 upgd conss, 0 impls, 751 clqs
16.81/16.94	c (round 11, fast)       825 del vars, 531 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 49 chg coeffs, 3456 upgd conss, 0 impls, 751 clqs
16.81/16.94	c (round 12, exhaustive) 851 del vars, 532 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 49 chg coeffs, 3456 upgd conss, 0 impls, 21649 clqs
16.81/16.94	c (round 13, fast)       852 del vars, 558 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 79 chg coeffs, 3456 upgd conss, 0 impls, 21657 clqs
16.81/16.94	c (round 14, exhaustive) 877 del vars, 558 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 81 chg coeffs, 3456 upgd conss, 0 impls, 22042 clqs
16.81/16.94	c (round 15, fast)       877 del vars, 583 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 138 chg coeffs, 3456 upgd conss, 0 impls, 22055 clqs
16.81/16.94	c (round 16, exhaustive) 904 del vars, 583 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 140 chg coeffs, 3456 upgd conss, 0 impls, 22047 clqs
16.81/16.94	c (round 17, fast)       904 del vars, 610 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 199 chg coeffs, 3456 upgd conss, 0 impls, 22062 clqs
16.81/16.94	c (round 18, exhaustive) 929 del vars, 610 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 199 chg coeffs, 3456 upgd conss, 0 impls, 21983 clqs
16.81/16.94	c (round 19, fast)       929 del vars, 635 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 223 chg coeffs, 3456 upgd conss, 0 impls, 21989 clqs
16.81/16.94	c (round 20, exhaustive) 955 del vars, 635 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 223 chg coeffs, 3456 upgd conss, 0 impls, 22066 clqs
16.81/16.94	c (round 21, fast)       956 del vars, 661 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 283 chg coeffs, 3456 upgd conss, 0 impls, 22077 clqs
16.81/16.94	c (round 22, exhaustive) 981 del vars, 661 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 284 chg coeffs, 3456 upgd conss, 0 impls, 21979 clqs
16.81/16.94	c (round 23, fast)       981 del vars, 686 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 296 chg coeffs, 3456 upgd conss, 0 impls, 21980 clqs
16.81/16.94	c (round 24, exhaustive) 1006 del vars, 686 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 296 chg coeffs, 3456 upgd conss, 0 impls, 21825 clqs
16.81/16.94	c (round 25, fast)       1006 del vars, 711 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 303 chg coeffs, 3456 upgd conss, 0 impls, 21825 clqs
16.81/16.94	c (round 26, exhaustive) 1031 del vars, 711 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 303 chg coeffs, 3456 upgd conss, 0 impls, 21666 clqs
16.81/16.94	c (round 27, fast)       1031 del vars, 736 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 309 chg coeffs, 3456 upgd conss, 0 impls, 21666 clqs
16.81/16.94	c (round 28, exhaustive) 1056 del vars, 736 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 309 chg coeffs, 3456 upgd conss, 0 impls, 21723 clqs
16.81/16.94	c (round 29, fast)       1056 del vars, 761 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 342 chg coeffs, 3456 upgd conss, 0 impls, 21724 clqs
16.81/16.94	c    (1.0s) probing: 1000/3287 (30.4%) - 228 fixings, 6 aggregations, 317687 implications, 0 bound changes
16.81/16.94	c (round 30, exhaustive) 1081 del vars, 761 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 343 chg coeffs, 3456 upgd conss, 0 impls, 22129 clqs
16.81/16.94	c (round 31, fast)       1082 del vars, 787 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 392 chg coeffs, 3456 upgd conss, 0 impls, 22139 clqs
16.81/16.94	c (round 32, exhaustive) 1108 del vars, 787 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 395 chg coeffs, 3456 upgd conss, 0 impls, 19748 clqs
16.81/16.94	c (round 33, fast)       1108 del vars, 812 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 434 chg coeffs, 3456 upgd conss, 0 impls, 19750 clqs
16.81/16.94	c    (1.8s) probing: 2000/3287 (60.8%) - 280 fixings, 6 aggregations, 643592 implications, 0 bound changes
16.81/16.94	c    (2.5s) probing: 3000/3287 (91.3%) - 281 fixings, 6 aggregations, 962591 implications, 0 bound changes
16.81/16.94	c    (2.6s) probing: 3160/3287 (96.1%) - 281 fixings, 6 aggregations, 1007978 implications, 0 bound changes
16.81/16.94	c    (2.6s) probing aborted: 1000/1000 successive useless probings
16.81/16.94	c (round 34, exhaustive) 1119 del vars, 812 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 436 chg coeffs, 3456 upgd conss, 0 impls, 22156 clqs
16.81/16.94	c (round 35, fast)       1119 del vars, 822 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 445 chg coeffs, 3456 upgd conss, 0 impls, 22156 clqs
16.81/16.94	c    (2.7s) probing cycle finished: starting next cycle
16.81/16.94	c    (2.7s) probing: 25/2997 (0.8%) - 281 fixings, 6 aggregations, 1036198 implications, 0 bound changes
16.81/16.94	c    (2.7s) probing aborted: 1000/1000 successive useless probings
16.81/16.94	c    (2.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
16.81/16.94	c    (2.7s) symmetry computation finished: 3 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
16.81/16.94	c dynamic symmetry handling statistics:
16.81/16.94	c    orbitopal reduction:       no components
16.81/16.94	c    orbital reduction:         no components
16.81/16.94	c    lexicographic reduction:    3 permutations with support sizes 300, 118, 112
16.81/16.94	c handled 3 out of 3 symmetry components
16.81/16.94	c presolving (36 rounds: 36 fast, 16 medium, 16 exhaustive):
16.81/16.94	c  1119 deleted vars, 822 deleted constraints, 0 added constraints, 190 tightened bounds, 0 added holes, 0 changed sides, 445 changed coefficients
16.81/16.94	c  0 implications, 22191 cliques
16.81/16.94	c presolved problem has 2997 variables (2997 bin, 0 int, 0 impl, 0 cont) and 3113 constraints
16.81/16.94	c     641 constraints of type <setppc>
16.81/16.94	c    2472 constraints of type <logicor>
16.81/16.94	c transformed objective value is always integral (scale: 1)
16.81/16.94	c Presolving Time: 2.69
16.81/16.94	c 
16.81/16.94	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
16.81/16.94	c   4.0s|     1 |     0 |  6544 |     - |    68M |   0 |2997 |3287 |3113 |   0 |  0 | 173 |   0 | 0.000000e+00 |      --      |    Inf | unknown
16.81/16.94	c  14.5s|     1 |     0 | 41510 |     - |    73M |   0 |2997 |3488 |3121 |   8 |  1 | 174 |   0 | 0.000000e+00 |      --      |    Inf | unknown
16.81/16.94	c  15.3s|     1 |     0 | 43660 |     - |    75M |   0 |2997 |3492 |3126 |  13 |  2 | 178 |   0 | 0.000000e+00 |      --      |    Inf | unknown
16.81/16.94	c  16.0s|     1 |     0 | 46025 |     - |    75M |   0 |2997 |3493 |3136 |  23 |  3 | 179 |   0 | 0.000000e+00 |      --      |    Inf | unknown
389.93/391.07	c  16.8s|     1 |     0 | 48054 |     - |    76M |   0 |2997 |3497 |3145 |  32 |  4 | 183 |   0 | 0.000000e+00 |      --      |    Inf | unknown
389.93/391.07	c  17.5s|     1 |     0 | 49877 |     - |    76M |   0 |2997 |3505 |3155 |  42 |  5 | 191 |   0 | 0.000000e+00 |      --      |    Inf | unknown
389.93/391.07	c  18.7s|     1 |     0 | 53394 |     - |    77M |   0 |2997 |3500 |3165 |  52 |  6 | 192 |   0 | 0.000000e+00 |      --      |    Inf | unknown
389.93/391.07	c  19.5s|     1 |     0 | 55533 |     - |    78M |   0 |2997 |3496 |3172 |  59 |  7 | 193 |   0 | 0.000000e+00 |      --      |    Inf | unknown
389.93/391.07	c  20.4s|     1 |     0 | 57517 |     - |    79M |   0 |2997 |3494 |3176 |  63 |  8 | 195 |   0 | 0.000000e+00 |      --      |    Inf | unknown
389.93/391.07	c  21.3s|     1 |     0 | 59937 |     - |    80M |   0 |2997 |3495 |3184 |  71 |  9 | 196 |   0 | 0.000000e+00 |      --      |    Inf | unknown
389.93/391.07	c  22.5s|     1 |     0 | 63261 |     - |    80M |   0 |2997 |3497 |3195 |  82 | 10 | 199 |   0 | 0.000000e+00 |      --      |    Inf | unknown
389.93/391.07	c  23.2s|     1 |     0 | 65191 |     - |    82M |   0 |2997 |3494 |3206 |  93 | 11 | 201 |   0 | 0.000000e+00 |      --      |    Inf | unknown
389.93/391.07	c  42.8s|     1 |     2 |108102 |     - |    83M |   0 |2997 |3450 |3206 |  93 | 11 | 234 |  11 | 0.000000e+00 |      --      |    Inf | unknown
389.93/391.07	c  81.5s|   100 |    17 |231505 |1679.9 |    89M |  28 |2997 |3488 |3174 | 165 |  0 | 313 |  11 | 0.000000e+00 |      --      |    Inf | unknown
389.93/391.07	c   101s|   200 |    21 |316447 |1262.6 |    93M |  40 |2997 |3520 |3174 | 168 |  0 | 366 |  11 | 0.000000e+00 |      --      |    Inf | unknown
389.93/391.07	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
389.93/391.07	c   119s|   300 |    34 |396377 |1107.6 |    94M |  40 |2997 |3545 |3169 | 174 |  0 | 417 |  11 | 0.000000e+00 |      --      |    Inf |   1.07%
389.93/391.07	c   131s|   400 |    34 |454231 | 975.0 |    94M |  40 |2997 |3592 |3174 | 182 |  2 | 471 |  11 | 0.000000e+00 |      --      |    Inf |   1.07%
389.93/391.07	c   141s|   500 |    34 |498717 | 868.8 |    94M |  70 |2997 |3668 |3170 | 184 |  0 | 557 |  11 | 0.000000e+00 |      --      |    Inf |   1.07%
389.93/391.07	c   154s|   600 |    32 |558972 | 824.3 |    96M |  70 |2997 |3700 |   0 | 222 |  0 | 597 |  11 | 0.000000e+00 |      --      |    Inf |   1.27%
389.93/391.07	c   166s|   700 |    40 |614845 | 786.3 |    97M |  70 |2997 |3750 |3169 | 230 |  0 | 677 |  11 | 0.000000e+00 |      --      |    Inf |   1.27%
389.93/391.07	c   176s|   800 |    41 |666927 | 753.1 |    98M |  70 |2997 |3817 |3168 | 234 |  0 | 751 |  11 | 0.000000e+00 |      --      |    Inf |   1.27%
389.93/391.07	c   189s|   900 |    41 |729546 | 739.0 |    98M |  70 |2997 |3879 |3170 | 252 |  1 | 820 |  11 | 0.000000e+00 |      --      |    Inf |   1.27%
389.93/391.07	c   202s|  1000 |    45 |789342 | 724.9 |    99M |  70 |2997 |3895 |3169 | 279 |  1 | 890 |  11 | 0.000000e+00 |      --      |    Inf |   1.37%
389.93/391.07	c   212s|  1100 |    45 |839719 | 704.8 |    99M |  70 |2997 |3951 |3177 | 298 |  1 | 951 |  11 | 0.000000e+00 |      --      |    Inf |   1.37%
389.93/391.07	c   221s|  1200 |    45 |879406 | 679.1 |    99M |  70 |2997 |4018 |3171 | 306 |  0 |1026 |  11 | 0.000000e+00 |      --      |    Inf |   1.37%
389.93/391.07	c   231s|  1300 |    45 |927925 | 664.2 |   100M |  70 |2997 |4039 |3168 | 315 |  1 |1103 |  11 | 0.000000e+00 |      --      |    Inf |   1.37%
389.93/391.07	c   243s|  1400 |    47 |981783 | 655.2 |   101M |  70 |2997 |4050 |3181 | 336 |  2 |1152 |  11 | 0.000000e+00 |      --      |    Inf |   1.44%
389.93/391.07	c   265s|  1500 |    57 |  1085k| 680.7 |   102M |  70 |2997 |4118 |3169 | 359 |  1 |1282 |  11 | 0.000000e+00 |      --      |    Inf |   1.44%
389.93/391.07	c   276s|  1600 |    65 |  1136k| 669.9 |   103M |  70 |2997 |4251 |3168 | 364 |  1 |1491 |  11 | 0.000000e+00 |      --      |    Inf |   1.45%
389.93/391.07	c   286s|  1700 |    63 |  1186k| 660.1 |   104M |  70 |2997 |4239 |3169 | 370 |  0 |1565 |  11 | 0.000000e+00 |      --      |    Inf |   1.45%
389.93/391.07	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
389.93/391.07	c   298s|  1800 |    63 |  1242k| 654.7 |   104M |  70 |2997 |4163 |3169 | 374 |  0 |1638 |  11 | 0.000000e+00 |      --      |    Inf |   1.45%
389.93/391.07	c   312s|  1900 |    69 |  1305k| 653.2 |   105M |  70 |2997 |4148 |3163 | 390 |  1 |1692 |  11 | 0.000000e+00 |      --      |    Inf |   1.62%
389.93/391.07	c   324s|  2000 |    73 |  1361k| 648.3 |   105M |  70 |2997 |4126 |3168 | 407 |  0 |1752 |  11 | 0.000000e+00 |      --      |    Inf |   1.75%
389.93/391.07	c   344s|  2100 |    86 |  1454k| 661.7 |   106M |  70 |2997 |4027 |3169 | 428 |  0 |1824 |  11 | 0.000000e+00 |      --      |    Inf |   1.75%
389.93/391.07	c   355s|  2200 |    88 |  1506k| 655.6 |   106M |  70 |2997 |4039 |3171 | 438 |  1 |1885 |  11 | 0.000000e+00 |      --      |    Inf |   1.75%
389.93/391.07	c   365s|  2300 |    84 |  1559k| 650.0 |   106M |  70 |2997 |4091 |3168 | 445 |  0 |1947 |  11 | 0.000000e+00 |      --      |    Inf |   1.75%
389.93/391.07	c   376s|  2400 |    90 |  1612k| 645.0 |   107M |  70 |2997 |4032 |3165 | 472 |  1 |2004 |  11 | 0.000000e+00 |      --      |    Inf |   1.75%
389.93/391.07	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
389.93/391.07	c (run 1, node 2449) performing user restart
389.93/391.07	c 
389.93/391.07	c (restart) converted 40 cuts from the global cut pool into linear constraints
389.93/391.07	c 
389.93/391.07	c presolving:
389.93/391.07	c (round 1, fast)       0 del vars, 21 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 19 chg coeffs, 0 upgd conss, 0 impls, 22191 clqs
389.93/391.07	c (round 2, exhaustive) 0 del vars, 25 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 19 chg coeffs, 0 upgd conss, 0 impls, 22191 clqs
389.93/391.07	c (round 3, exhaustive) 0 del vars, 28 del conss, 2 add conss, 0 chg bounds, 1 chg sides, 19 chg coeffs, 0 upgd conss, 0 impls, 22191 clqs
389.93/391.07	c (round 4, exhaustive) 0 del vars, 28 del conss, 2 add conss, 0 chg bounds, 1 chg sides, 19 chg coeffs, 240 upgd conss, 0 impls, 22191 clqs
389.93/391.07	c (round 5, medium)     0 del vars, 34 del conss, 11 add conss, 0 chg bounds, 21 chg sides, 52 chg coeffs, 240 upgd conss, 0 impls, 22191 clqs
389.93/391.07	c (round 6, exhaustive) 0 del vars, 40 del conss, 11 add conss, 0 chg bounds, 21 chg sides, 81 chg coeffs, 240 upgd conss, 0 impls, 22191 clqs
389.93/391.07	c (round 7, exhaustive) 0 del vars, 141 del conss, 11 add conss, 0 chg bounds, 21 chg sides, 584 chg coeffs, 240 upgd conss, 0 impls, 22191 clqs
389.93/391.07	c presolving (8 rounds: 8 fast, 7 medium, 6 exhaustive):
389.93/391.07	c  0 deleted vars, 143 deleted constraints, 11 added constraints, 0 tightened bounds, 0 added holes, 21 changed sides, 615 changed coefficients
389.93/391.07	c  0 implications, 22191 cliques
389.93/391.07	c presolved problem has 2997 variables (2997 bin, 0 int, 0 impl, 0 cont) and 3899 constraints
389.93/391.07	c      28 constraints of type <knapsack>
389.93/391.07	c     858 constraints of type <setppc>
389.93/391.07	c       3 constraints of type <linear>
389.93/391.07	c    3010 constraints of type <logicor>
389.93/391.07	c transformed objective value is always integral (scale: 1)
389.93/391.07	c Presolving Time: 2.81
389.93/391.07	c 
389.93/391.07	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
389.93/391.07	c   384s|     1 |     0 |  1647k|     - |   108M |   0 |2997 |3957 |3149 |   0 |  0 |2092 |  11 | 0.000000e+00 |      --      |    Inf | unknown
389.93/391.07	c   384s|     1 |     0 |  1649k|     - |   109M |   0 |2997 |3960 |3159 |  10 |  1 |2095 |  11 | 0.000000e+00 |      --      |    Inf | unknown
389.93/391.07	c   385s|     1 |     0 |  1650k|     - |   109M |   0 |2997 |3959 |3171 |  22 |  2 |2096 |  11 | 0.000000e+00 |      --      |    Inf | unknown
389.93/391.07	c   386s|     1 |     0 |  1652k|     - |   110M |   0 |2997 |3958 |3177 |  28 |  3 |2097 |  11 | 0.000000e+00 |      --      |    Inf | unknown
389.93/391.07	c   386s|     1 |     0 |  1654k|     - |   111M |   0 |2997 |3962 |3191 |  42 |  4 |2101 |  11 | 0.000000e+00 |      --      |    Inf | unknown
389.93/391.07	c   388s|     1 |     0 |  1658k|     - |   111M |   0 |2997 |3960 |3202 |  53 |  5 |2102 |  11 | 0.000000e+00 |      --      |    Inf | unknown
389.93/391.07	c   389s|     1 |     0 |  1661k|     - |   111M |   0 |2997 |3963 |3213 |  64 |  6 |2107 |  11 | 0.000000e+00 |      --      |    Inf | unknown
389.93/391.07	c   390s|     1 |     0 |  1663k|     - |   112M |   0 |2997 |3958 |3223 |  74 |  7 |2108 |  11 | 0.000000e+00 |      --      |    Inf | unknown
498.75/500.17	c   391s|     1 |     0 |  1666k|     - |   112M |   0 |2997 |3961 |3231 |  82 |  8 |2114 |  11 | 0.000000e+00 |      --      |    Inf | unknown
498.75/500.17	c   392s|     1 |     0 |  1669k|     - |   112M |   0 |2997 |3956 |3237 |  88 |  9 |2116 |  11 | 0.000000e+00 |      --      |    Inf | unknown
498.75/500.17	c   393s|     1 |     0 |  1672k|     - |   113M |   0 |2997 |3951 |3246 |  97 | 10 |2118 |  11 | 0.000000e+00 |      --      |    Inf | unknown
498.75/500.17	c   394s|     1 |     0 |  1675k|     - |   113M |   0 |2997 |3942 |3256 | 107 | 11 |2119 |  11 | 0.000000e+00 |      --      |    Inf | unknown
498.75/500.17	c   414s|     1 |     2 |  1700k|     - |   113M |   0 |2997 |3898 |3256 | 107 | 11 |2122 |  22 | 0.000000e+00 |      --      |    Inf | unknown
498.75/500.17	c   450s|   100 |    27 |  1851k| 686.0 |   114M |  25 |2997 |3917 |3180 | 136 |  1 |2176 |  22 | 0.000000e+00 |      --      |    Inf |   4.54%
498.75/500.17	c   464s|   200 |    29 |  1915k| 684.1 |   114M |  40 |2997 |3980 |3184 | 140 |  1 |2251 |  22 | 0.000000e+00 |      --      |    Inf |   4.55%
498.75/500.17	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
498.75/500.17	c   478s|   300 |    31 |  1984k| 684.3 |   115M |  40 |2997 |4002 |3180 | 147 |  1 |2300 |  22 | 0.000000e+00 |      --      |    Inf |   4.85%
498.75/500.17	c   493s|   400 |    29 |  2051k| 684.0 |   115M |  40 |2997 |4052 |3180 | 147 |  0 |2358 |  22 | 0.000000e+00 |      --      |    Inf |   4.89%
498.75/500.17	c 
498.75/500.17	c SCIP Status        : solving was interrupted [time limit reached]
498.75/500.17	c Solving Time (sec) : 500.00
498.75/500.17	c Solving Nodes      : 436 (total of 2885 nodes in 2 runs)
498.75/500.17	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
498.75/500.17	c Dual Bound         : +0.00000000000000e+00
498.75/500.17	c Gap                : infinite
498.75/500.17	c ----------------------------------------------------------------------
498.75/500.17	c dual bound: 0.0 -> 0
498.75/500.17	c primal bound: 1e+20 -> 100000000000000000000
498.75/500.17	c scip-goal-lb: 0
498.75/500.17	c scip-goal-ub: 100000000000000000000
498.75/500.17	c writing output to: HOME/tmpb_s4he12.opb
498.75/500.17	c appending fixed variable constraints
498.75/500.17	c scip-fixed vars: 26.39% (791/2997)
498.75/500.17	c ----------------------------------------------------------------------
498.75/500.17	c executing external solver: HOME/naps-1.03a6
498.75/500.17	c ----------------------------------------------------------------------
498.75/500.17	c command: HOME/naps-1.03a6 HOME/tmpb_s4he12.opb
498.75/500.18	c NaPS 1.03a6.
498.75/500.18	c Input file name: HOME/tmpb_s4he12.opb
518.87/520.36	c s SATISFIABLE
518.87/520.36	c _____________________________________________________________________________
518.87/520.36	c std/band forms        : 69,0
518.87/520.36	c 2cl/3cl ITE-codings   : 0,0
518.87/520.36	c BDD/srt/adr Max costs : 0,914,0
518.87/520.36	c BDDraw/bin/mul/srt/adr: 0,0,0,69,0
518.87/520.36	c BDD nodes             : 0
518.87/520.36	c Es1/CC detections     : 0,0
518.87/520.36	c CC sort               : 69
518.87/520.36	c SAT/UNSAT calls       : 1,0
518.87/520.36	c regenrated variables  : 0
518.87/520.36	c eliminated fixed lits : 910
518.87/520.36	c goal lit flips        : 0
518.87/520.36	c goal stages           : 0
518.87/520.36	c goal shrink           : 0
518.87/520.36	c goal coeff separations: 0
518.87/520.36	c restarts              : 5222
518.87/520.36	c conflicts             : 215526         (10727 /sec)
518.87/520.36	c decisions             : 1157566        (57614 /sec)
518.87/520.36	c propagations          : 156093681      (7768989 /sec)
518.87/520.36	c inspects              : 0              (0 /sec)
518.87/520.36	c CPU time (solving tm) : 20.09 s        (20.02 s, SAT 20.02 s, UNSAT 0 s)
518.87/520.36	c Time for Opt-base     : 0.000745 s
518.87/520.36	c Steps for Opt-base    : 0
518.87/520.36	c Time for BDD coding   : 0 s
518.87/520.36	c Time for srt coding   : 0.005771 s
518.87/520.36	c _____________________________________________________________________________
518.87/520.36	c v 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 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -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 -x111 -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 -x162 -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 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -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 -x264 -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 -x315 -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 -x366 -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 -x417 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 -x468 -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 -x519 -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 -x551 -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 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -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 -x671 -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 -x722 -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 -x773 -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 -x824 -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 -x875 -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 -x926 -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 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -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 x1028 -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 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 x1102 -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 -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 -x1180 -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 -x1231 -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 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -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 -x1333 -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 -x1384 -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 -x1435 -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 -x1486 -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 -x1537 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 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -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 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -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 -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 -x1740 -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 -x1791 -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 -x1842 -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 -x1893 -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 -x1940 -x1941 -x1942 -x1943 -x1944 -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 -x1995 -x1996 -x1997 -x1998 -x1999
518.87/520.36	c v -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 -x2046 -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 -x2097 -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 -x2148 -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 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -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 -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 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -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 -x2356 -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 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -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 -x2458 -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 -x2509 -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 -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 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -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 -x2661 -x2662 -x2663 -x2664 -x2665 -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 -x2712 -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 -x2763 -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 -x2814 -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 -x2865 -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 -x2916 -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 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -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 -x3018 -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 -x3069 -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 -x3101 -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 -x3151 -x3152 -x3153 -x3154 x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -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 -x3221 -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 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 x3295 -x3296 -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 -x3323 -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 -x3374 -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 x3425 -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 -x3476 -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 -x3527 -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 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -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 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -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 -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 -x3730 -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 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 x3795
518.87/520.36	s SATISFIABLE
518.87/520.36	v 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 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -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 -x111 -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 -x162 -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 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -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 -x264 -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 -x315 -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 -x366 -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 -x417 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 -x468 -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 -x519 -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 -x551 -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 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -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 -x671 -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 -x722 -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 -x773 -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 -x824 -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 -x875 -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 -x926 -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 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -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 x1028 -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 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 x1102 -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 -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 -x1180 -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 -x1231 -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 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -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 -x1333 -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 -x1384 -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 -x1435 -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 -x1486 -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 -x1537 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 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -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 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -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 -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 -x1740 -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 -x1791 -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 -x1842 -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 -x1893 -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 -x1940 -x1941 -x1942 -x1943 -x1944 -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 -x1995 -x1996 -x1997 -x1998 -x1999
518.87/520.36	v -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 -x2046 -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 -x2097 -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 -x2148 -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 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -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 -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 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -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 -x2356 -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 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -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 -x2458 -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 -x2509 -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 -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 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -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 -x2661 -x2662 -x2663 -x2664 -x2665 -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 -x2712 -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 -x2763 -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 -x2814 -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 -x2865 -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 -x2916 -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 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -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 -x3018 -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 -x3069 -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 -x3101 -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 -x3151 -x3152 -x3153 -x3154 x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -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 -x3221 -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 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 x3295 -x3296 -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 -x3323 -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 -x3374 -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 x3425 -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 -x3476 -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 -x3527 -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 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -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 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -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 -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 -x3730 -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 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 x3795

Verifier Data 

OK	0

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529823-1752259076/watcher-4529823-1752259076 -o /tmp/evaluation-result-4529823-1752259076/solver-4529823-1752259076 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1752253388-109750 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529823-1752259076.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=111811, runsolver pid=111808

[startup+0.100066 s]*
/proc/loadavg: 4.13 4.10 4.09 5/268 111816
/proc/meminfo: memFree=105556224/131250000 swapFree=33010672/33010684
[pid=111811] ppid=111808 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/111811/stat : 111811 (scip-naps-1.00a) S 111808 111811 109737 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 141586263 4292608 736 18446744073709551615 94482745827328 94482746721861 140720602803536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482746960912 94482747008656 94482757804032 140720602806683 140720602806782 140720602806782 140720602812386 0
/proc/111811/statm: 1048 736 672 219 0 110 0
[pid=111816] ppid=111811 vsize=1186972 memory=31972 CPUtime=0.07 cores=5,7
/proc/111816/stat : 111816 (python3) R 111811 111811 109737 0 -1 4194304 3739 0 0 0 6 1 0 0 20 0 1 0 141586265 1215459328 7993 18446744073709551615 94334484447232 94334484447609 140728243007664 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94334484458904 94334484459524 94334504157184 140728243013967 140728243014176 140728243014176 140728243019751 0
/proc/111816/statm: 296743 7993 4896 1 0 268765 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191164 KiB
Current children cumulated memory: 34916 KiB

[startup+0.205679 s]*
/proc/loadavg: 4.13 4.10 4.09 5/268 111816
/proc/meminfo: memFree=105525124/131250000 swapFree=33010672/33010684
[pid=111811] ppid=111808 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/111811/stat : 111811 (scip-naps-1.00a) S 111808 111811 109737 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 141586263 4292608 736 18446744073709551615 94482745827328 94482746721861 140720602803536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482746960912 94482747008656 94482757804032 140720602806683 140720602806782 140720602806782 140720602812386 0
/proc/111811/statm: 1048 736 672 219 0 110 0
[pid=111816] ppid=111811 vsize=1221144 memory=73060 CPUtime=0.17 cores=5,7
/proc/111816/stat : 111816 (python3) R 111811 111811 109737 0 -1 4194304 11290 0 0 0 15 2 0 0 20 0 1 0 141586265 1250451456 18265 18446744073709551615 94334484447232 94334484447609 140728243007664 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94334484458904 94334484459524 94334504157184 140728243013967 140728243014176 140728243014176 140728243019751 0
/proc/111816/statm: 305286 18265 7872 1 0 276644 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1225336 KiB
Current children cumulated memory: 76004 KiB

[startup+0.305753 s]*
/proc/loadavg: 4.13 4.10 4.09 5/268 111816
/proc/meminfo: memFree=105517060/131250000 swapFree=33010672/33010684
[pid=111811] ppid=111808 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/111811/stat : 111811 (scip-naps-1.00a) S 111808 111811 109737 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 141586263 4292608 736 18446744073709551615 94482745827328 94482746721861 140720602803536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482746960912 94482747008656 94482757804032 140720602806683 140720602806782 140720602806782 140720602812386 0
/proc/111811/statm: 1048 736 672 219 0 110 0
[pid=111816] ppid=111811 vsize=1233000 memory=83812 CPUtime=0.27 cores=5,7
/proc/111816/stat : 111816 (python3) R 111811 111811 109737 0 -1 4194304 13997 0 0 0 25 2 0 0 20 0 1 0 141586265 1262592000 20953 18446744073709551615 94334484447232 94334484447609 140728243007664 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94334484458904 94334484459524 94334504157184 140728243013967 140728243014176 140728243014176 140728243019751 0
/proc/111816/statm: 308250 20953 7936 1 0 279608 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1237192 KiB
Current children cumulated memory: 86756 KiB

[startup+0.700206 s]
/proc/loadavg: 4.13 4.10 4.09 5/268 111816
/proc/meminfo: memFree=105508996/131250000 swapFree=33010672/33010684
[pid=111811] ppid=111808 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/111811/stat : 111811 (scip-naps-1.00a) S 111808 111811 109737 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 141586263 4292608 736 18446744073709551615 94482745827328 94482746721861 140720602803536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482746960912 94482747008656 94482757804032 140720602806683 140720602806782 140720602806782 140720602812386 0
/proc/111811/statm: 1048 736 672 219 0 110 0
[pid=111816] ppid=111811 vsize=1233696 memory=84452 CPUtime=0.65 cores=5,7
/proc/111816/stat : 111816 (python3) R 111811 111811 109737 0 -1 4194304 14147 0 0 0 63 2 0 0 20 0 1 0 141586265 1263304704 21113 18446744073709551615 94334484447232 94334484447609 140728243007664 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94334484458904 94334484459524 94334504157184 140728243013967 140728243014176 140728243014176 140728243019751 0
/proc/111816/statm: 308424 21113 7936 1 0 279782 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1237888 KiB
Current children cumulated memory: 87396 KiB

[startup+1.50021 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 111816
/proc/meminfo: memFree=105508996/131250000 swapFree=33010672/33010684
[pid=111811] ppid=111808 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/111811/stat : 111811 (scip-naps-1.00a) S 111808 111811 109737 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 141586263 4292608 736 18446744073709551615 94482745827328 94482746721861 140720602803536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482746960912 94482747008656 94482757804032 140720602806683 140720602806782 140720602806782 140720602812386 0
/proc/111811/statm: 1048 736 672 219 0 110 0
[pid=111816] ppid=111811 vsize=1235300 memory=85988 CPUtime=1.45 cores=5,7
/proc/111816/stat : 111816 (python3) R 111811 111811 109737 0 -1 4194304 14481 0 0 0 143 2 0 0 20 0 1 0 141586265 1264947200 21497 18446744073709551615 94334484447232 94334484447609 140728243007664 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94334484458904 94334484459524 94334504157184 140728243013967 140728243014176 140728243014176 140728243019751 0
/proc/111816/statm: 308825 21497 7968 1 0 280183 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1239492 KiB
Current children cumulated memory: 88932 KiB

[startup+3.10551 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 111816
/proc/meminfo: memFree=105485332/131250000 swapFree=33010672/33010684
[pid=111811] ppid=111808 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/111811/stat : 111811 (scip-naps-1.00a) S 111808 111811 109737 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 141586263 4292608 736 18446744073709551615 94482745827328 94482746721861 140720602803536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482746960912 94482747008656 94482757804032 140720602806683 140720602806782 140720602806782 140720602812386 0
/proc/111811/statm: 1048 736 672 219 0 110 0
[pid=111816] ppid=111811 vsize=1269796 memory=111076 CPUtime=3.05 cores=5,7
/proc/111816/stat : 111816 (python3) R 111811 111811 109737 0 -1 4194304 20626 0 0 0 302 3 0 0 20 0 1 0 141586265 1300271104 27769 18446744073709551615 94334484447232 94334484447609 140728243007664 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94334484458904 94334484459524 94334504157184 140728243013967 140728243014176 140728243014176 140728243019751 0
/proc/111816/statm: 317449 27769 8160 1 0 288807 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1273988 KiB
Current children cumulated memory: 114020 KiB

[startup+6.30019 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 111816
/proc/meminfo: memFree=105485584/131250000 swapFree=33010672/33010684
[pid=111811] ppid=111808 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/111811/stat : 111811 (scip-naps-1.00a) S 111808 111811 109737 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 141586263 4292608 736 18446744073709551615 94482745827328 94482746721861 140720602803536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482746960912 94482747008656 94482757804032 140720602806683 140720602806782 140720602806782 140720602812386 0
/proc/111811/statm: 1048 736 672 219 0 110 0
[pid=111816] ppid=111811 vsize=1271480 memory=112868 CPUtime=6.24 cores=5,7
/proc/111816/stat : 111816 (python3) R 111811 111811 109737 0 -1 4194304 21060 0 0 0 621 3 0 0 20 0 1 0 141586265 1301995520 28217 18446744073709551615 94334484447232 94334484447609 140728243007664 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94334484458904 94334484459524 94334504157184 140728243013967 140728243014176 140728243014176 140728243019751 0
/proc/111816/statm: 317870 28217 8160 1 0 289228 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1275672 KiB
Current children cumulated memory: 115812 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.10 4.09 5/268 111816
/proc/meminfo: memFree=105486088/131250000 swapFree=33010672/33010684
[pid=111811] ppid=111808 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/111811/stat : 111811 (scip-naps-1.00a) S 111808 111811 109737 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 141586263 4292608 736 18446744073709551615 94482745827328 94482746721861 140720602803536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482746960912 94482747008656 94482757804032 140720602806683 140720602806782 140720602806782 140720602812386 0
/proc/111811/statm: 1048 736 672 219 0 110 0
[pid=111816] ppid=111811 vsize=1304740 memory=144228 CPUtime=12.63 cores=5,7
/proc/111816/stat : 111816 (python3) R 111811 111811 109737 0 -1 4194304 28908 0 0 0 1258 5 0 0 20 0 1 0 141586265 1336053760 36057 18446744073709551615 94334484447232 94334484447609 140728243007664 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94334484458904 94334484459524 94334504157184 140728243013967 140728243014176 140728243014176 140728243019751 0
/proc/111816/statm: 326185 36057 8160 1 0 297543 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1308932 KiB
Current children cumulated memory: 147172 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 111816
/proc/meminfo: memFree=105446264/131250000 swapFree=33010672/33010684
[pid=111811] ppid=111808 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/111811/stat : 111811 (scip-naps-1.00a) S 111808 111811 109737 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 141586263 4292608 736 18446744073709551615 94482745827328 94482746721861 140720602803536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482746960912 94482747008656 94482757804032 140720602806683 140720602806782 140720602806782 140720602812386 0
/proc/111811/statm: 1048 736 672 219 0 110 0
[pid=111816] ppid=111811 vsize=1315208 memory=154852 CPUtime=25.39 cores=5,7
/proc/111816/stat : 111816 (python3) R 111811 111811 109737 0 -1 4194304 31563 0 0 0 2534 5 0 0 20 0 1 0 141586265 1346772992 38713 18446744073709551615 94334484447232 94334484447609 140728243007664 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94334484458904 94334484459524 94334504157184 140728243013967 140728243014176 140728243014176 140728243019751 0
/proc/111816/statm: 328802 38713 8160 1 0 300160 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1319400 KiB
Current children cumulated memory: 157796 KiB

[startup+51.1056 s]
/proc/loadavg: 4.10 4.10 4.09 5/268 111817
/proc/meminfo: memFree=105435548/131250000 swapFree=33010672/33010684
[pid=111811] ppid=111808 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/111811/stat : 111811 (scip-naps-1.00a) S 111808 111811 109737 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 141586263 4292608 736 18446744073709551615 94482745827328 94482746721861 140720602803536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482746960912 94482747008656 94482757804032 140720602806683 140720602806782 140720602806782 140720602812386 0
/proc/111811/statm: 1048 736 672 219 0 110 0
[pid=111816] ppid=111811 vsize=1315296 memory=156848 CPUtime=50.93 cores=5,7
/proc/111816/stat : 111816 (python3) R 111811 111811 109737 0 -1 4194304 34604 0 0 0 5087 6 0 0 20 0 1 0 141586265 1346863104 39212 18446744073709551615 94334484447232 94334484447609 140728243007664 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94334484458904 94334484459524 94334504157184 140728243013967 140728243014176 140728243014176 140728243019751 0
/proc/111816/statm: 328824 39212 8160 1 0 300182 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1319488 KiB
Current children cumulated memory: 159792 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 111819
/proc/meminfo: memFree=105435292/131250000 swapFree=33010672/33010684
[pid=111811] ppid=111808 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/111811/stat : 111811 (scip-naps-1.00a) S 111808 111811 109737 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 141586263 4292608 736 18446744073709551615 94482745827328 94482746721861 140720602803536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482746960912 94482747008656 94482757804032 140720602806683 140720602806782 140720602806782 140720602812386 0
/proc/111811/statm: 1048 736 672 219 0 110 0
[pid=111816] ppid=111811 vsize=1319352 memory=160964 CPUtime=101.98 cores=5,7
/proc/111816/stat : 111816 (python3) R 111811 111811 109737 0 -1 4194304 39801 0 0 0 10190 8 0 0 20 0 1 0 141586265 1351016448 40241 18446744073709551615 94334484447232 94334484447609 140728243007664 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94334484458904 94334484459524 94334504157184 140728243013967 140728243014176 140728243014176 140728243019751 0
/proc/111816/statm: 329838 40241 8160 1 0 301196 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1323544 KiB
Current children cumulated memory: 163908 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/268 111871
/proc/meminfo: memFree=112894644/131250000 swapFree=33010672/33010684
[pid=111811] ppid=111808 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/111811/stat : 111811 (scip-naps-1.00a) S 111808 111811 109737 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 141586263 4292608 736 18446744073709551615 94482745827328 94482746721861 140720602803536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482746960912 94482747008656 94482757804032 140720602806683 140720602806782 140720602806782 140720602812386 0
/proc/111811/statm: 1048 736 672 219 0 110 0
[pid=111816] ppid=111811 vsize=1319352 memory=160964 CPUtime=161.82 cores=5,7
/proc/111816/stat : 111816 (python3) R 111811 111811 109737 0 -1 4194304 43352 0 0 0 16173 9 0 0 20 0 1 0 141586265 1351016448 40241 18446744073709551615 94334484447232 94334484447609 140728243007664 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94334484458904 94334484459524 94334504157184 140728243013967 140728243014176 140728243014176 140728243019751 0
/proc/111816/statm: 329838 40241 8160 1 0 301196 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1323544 KiB
Current children cumulated memory: 163908 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 111924
/proc/meminfo: memFree=114727724/131250000 swapFree=33010672/33010684
[pid=111811] ppid=111808 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/111811/stat : 111811 (scip-naps-1.00a) S 111808 111811 109737 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 141586263 4292608 736 18446744073709551615 94482745827328 94482746721861 140720602803536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482746960912 94482747008656 94482757804032 140720602806683 140720602806782 140720602806782 140720602812386 0
/proc/111811/statm: 1048 736 672 219 0 110 0
[pid=111816] ppid=111811 vsize=1321964 memory=163576 CPUtime=221.66 cores=5,7
/proc/111816/stat : 111816 (python3) R 111811 111811 109737 0 -1 4194304 45685 0 0 0 22157 9 0 0 20 0 1 0 141586265 1353691136 40894 18446744073709551615 94334484447232 94334484447609 140728243007664 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94334484458904 94334484459524 94334504157184 140728243013967 140728243014176 140728243014176 140728243019751 0
/proc/111816/statm: 330491 40894 8160 1 0 301849 0
Current children cumulated CPU time: 221.66 s

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

Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 1336912 KiB
Current children cumulated memory: 177180 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/270 111937
/proc/meminfo: memFree=114711136/131250000 swapFree=33010672/33010684
[pid=111811] ppid=111808 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/111811/stat : 111811 (scip-naps-1.00a) S 111808 111811 109737 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 141586263 4292608 736 18446744073709551615 94482745827328 94482746721861 140720602803536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482746960912 94482747008656 94482757804032 140720602806683 140720602806782 140720602806782 140720602812386 0
/proc/111811/statm: 1048 736 672 219 0 110 0
[pid=111816] ppid=111811 vsize=1344064 memory=185176 CPUtime=401.19 cores=5,7
/proc/111816/stat : 111816 (python3) R 111811 111811 109737 0 -1 4194304 72012 0 0 0 40105 14 0 0 20 0 1 0 141586265 1376321536 46294 18446744073709551615 94334484447232 94334484447609 140728243007664 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94334484458904 94334484459524 94334504157184 140728243013967 140728243014176 140728243014176 140728243019751 0
/proc/111816/statm: 336016 46294 8160 1 0 307374 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 1348256 KiB
Current children cumulated memory: 188120 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/270 111939
/proc/meminfo: memFree=114707208/131250000 swapFree=33010672/33010684
[pid=111811] ppid=111808 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/111811/stat : 111811 (scip-naps-1.00a) S 111808 111811 109737 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 141586263 4292608 736 18446744073709551615 94482745827328 94482746721861 140720602803536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482746960912 94482747008656 94482757804032 140720602806683 140720602806782 140720602806782 140720602812386 0
/proc/111811/statm: 1048 736 672 219 0 110 0
[pid=111816] ppid=111811 vsize=1345864 memory=187352 CPUtime=461.04 cores=5,7
/proc/111816/stat : 111816 (python3) R 111811 111811 109737 0 -1 4194304 72551 0 0 0 46090 14 0 0 20 0 1 0 141586265 1378164736 46838 18446744073709551615 94334484447232 94334484447609 140728243007664 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94334484458904 94334484459524 94334504157184 140728243013967 140728243014176 140728243014176 140728243019751 0
/proc/111816/statm: 336466 46838 8160 1 0 307824 0
Current children cumulated CPU time: 461.04 s
Current children cumulated vsize: 1350056 KiB
Current children cumulated memory: 190296 KiB

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

# cumulated CPU time of all completed processes:  user=518.823 s, system=0.201918 s

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

[startup+486.4 s]
/proc/loadavg: 4.09 4.10 4.09 5/270 111940
/proc/meminfo: memFree=114707080/131250000 swapFree=33010672/33010684
[pid=111811] ppid=111808 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/111811/stat : 111811 (scip-naps-1.00a) S 111808 111811 109737 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 141586263 4292608 736 18446744073709551615 94482745827328 94482746721861 140720602803536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482746960912 94482747008656 94482757804032 140720602806683 140720602806782 140720602806782 140720602812386 0
/proc/111811/statm: 1048 736 672 219 0 110 0
[pid=111816] ppid=111811 vsize=1345864 memory=187352 CPUtime=485.08 cores=5,7
/proc/111816/stat : 111816 (python3) R 111811 111811 109737 0 -1 4194304 72551 0 0 0 48494 14 0 0 20 0 1 0 141586265 1378164736 46838 18446744073709551615 94334484447232 94334484447609 140728243007664 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94334484458904 94334484459524 94334504157184 140728243013967 140728243014176 140728243014176 140728243019751 0
/proc/111816/statm: 336466 46838 8160 1 0 307824 0
Current children cumulated CPU time: 485.08 s
Current children cumulated vsize: 1350056 KiB
Current children cumulated memory: 190296 KiB

[startup+499.2 s]
/proc/loadavg: 4.08 4.09 4.09 5/270 111940
/proc/meminfo: memFree=114707088/131250000 swapFree=33010672/33010684
[pid=111811] ppid=111808 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/111811/stat : 111811 (scip-naps-1.00a) S 111808 111811 109737 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 141586263 4292608 736 18446744073709551615 94482745827328 94482746721861 140720602803536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482746960912 94482747008656 94482757804032 140720602806683 140720602806782 140720602806782 140720602812386 0
/proc/111811/statm: 1048 736 672 219 0 110 0
[pid=111816] ppid=111811 vsize=1345864 memory=187864 CPUtime=497.85 cores=5,7
/proc/111816/stat : 111816 (python3) R 111811 111811 109737 0 -1 4194304 72561 0 0 0 49771 14 0 0 20 0 1 0 141586265 1378164736 46966 18446744073709551615 94334484447232 94334484447609 140728243007664 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94334484458904 94334484459524 94334504157184 140728243013967 140728243014176 140728243014176 140728243019751 0
/proc/111816/statm: 336466 46966 8288 1 0 307824 0
Current children cumulated CPU time: 497.85 s
Current children cumulated vsize: 1350056 KiB
Current children cumulated memory: 190808 KiB

[startup+512 s]*
/proc/loadavg: 4.13 4.10 4.09 5/270 111941
/proc/meminfo: memFree=114677296/131250000 swapFree=33010672/33010684
[pid=111811] ppid=111808 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/111811/stat : 111811 (scip-naps-1.00a) S 111808 111811 109737 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 141586263 4292608 736 18446744073709551615 94482745827328 94482746721861 140720602803536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482746960912 94482747008656 94482757804032 140720602806683 140720602806782 140720602806782 140720602812386 0
/proc/111811/statm: 1048 736 672 219 0 110 0
[pid=111816] ppid=111811 vsize=1347912 memory=190040 CPUtime=498.84 cores=5,7
/proc/111816/stat : 111816 (python3) S 111811 111811 109737 0 -1 4194304 73261 0 0 0 49869 15 0 0 20 0 1 0 141586265 1380261888 47510 18446744073709551615 94334484447232 94334484447609 140728243007664 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94334484458904 94334484459524 94334504157184 140728243013967 140728243014176 140728243014176 140728243019751 0
/proc/111816/statm: 336978 47510 8320 1 0 308336 0
[pid=111941] ppid=111816 vsize=25528 memory=22196 CPUtime=11.76 cores=5,7
/proc/111941/stat : 111941 (naps-1.03a6) R 111816 111941 111941 0 -1 4194304 11109 0 0 0 1175 1 0 0 20 0 1 0 141636281 26140672 5549 18446744073709551615 4198400 7047149 140733445049248 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 37863424 140733445052815 140733445052913 140733445052913 140733445058505 0
/proc/111941/statm: 6382 5549 544 696 0 5543 0
Current children cumulated CPU time: 510.6 s
Current children cumulated vsize: 1377632 KiB
Current children cumulated memory: 215180 KiB

[startup+515.2 s]
/proc/loadavg: 4.13 4.10 4.09 5/270 111941
/proc/meminfo: memFree=114677296/131250000 swapFree=33010672/33010684
[pid=111811] ppid=111808 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/111811/stat : 111811 (scip-naps-1.00a) S 111808 111811 109737 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 141586263 4292608 736 18446744073709551615 94482745827328 94482746721861 140720602803536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482746960912 94482747008656 94482757804032 140720602806683 140720602806782 140720602806782 140720602812386 0
/proc/111811/statm: 1048 736 672 219 0 110 0
[pid=111816] ppid=111811 vsize=1347912 memory=190040 CPUtime=498.84 cores=5,7
/proc/111816/stat : 111816 (python3) S 111811 111811 109737 0 -1 4194304 73261 0 0 0 49869 15 0 0 20 0 1 0 141586265 1380261888 47510 18446744073709551615 94334484447232 94334484447609 140728243007664 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94334484458904 94334484459524 94334504157184 140728243013967 140728243014176 140728243014176 140728243019751 0
/proc/111816/statm: 336978 47510 8320 1 0 308336 0
[pid=111941] ppid=111816 vsize=29624 memory=24828 CPUtime=14.95 cores=5,7
/proc/111941/stat : 111941 (naps-1.03a6) R 111816 111941 111941 0 -1 4194304 11246 0 0 0 1494 1 0 0 20 0 1 0 141636281 30334976 6207 18446744073709551615 4198400 7047149 140733445049248 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 37863424 140733445052815 140733445052913 140733445052913 140733445058505 0
/proc/111941/statm: 7406 6207 544 696 0 6567 0
Current children cumulated CPU time: 513.79 s
Current children cumulated vsize: 1381728 KiB
Current children cumulated memory: 217812 KiB

[startup+518.4 s]
/proc/loadavg: 4.12 4.10 4.09 5/270 111941
/proc/meminfo: memFree=114677296/131250000 swapFree=33010672/33010684
[pid=111811] ppid=111808 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/111811/stat : 111811 (scip-naps-1.00a) S 111808 111811 109737 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 141586263 4292608 736 18446744073709551615 94482745827328 94482746721861 140720602803536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482746960912 94482747008656 94482757804032 140720602806683 140720602806782 140720602806782 140720602812386 0
/proc/111811/statm: 1048 736 672 219 0 110 0
[pid=111816] ppid=111811 vsize=1347912 memory=190040 CPUtime=498.84 cores=5,7
/proc/111816/stat : 111816 (python3) S 111811 111811 109737 0 -1 4194304 73261 0 0 0 49869 15 0 0 20 0 1 0 141586265 1380261888 47510 18446744073709551615 94334484447232 94334484447609 140728243007664 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94334484458904 94334484459524 94334504157184 140728243013967 140728243014176 140728243014176 140728243019751 0
/proc/111816/statm: 336978 47510 8320 1 0 308336 0
[pid=111941] ppid=111816 vsize=25508 memory=21968 CPUtime=18.14 cores=5,7
/proc/111941/stat : 111941 (naps-1.03a6) R 111816 111941 111941 0 -1 4194304 11670 0 0 0 1813 1 0 0 20 0 1 0 141636281 26120192 5492 18446744073709551615 4198400 7047149 140733445049248 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 37863424 140733445052815 140733445052913 140733445052913 140733445058505 0
/proc/111941/statm: 6377 5492 544 696 0 5538 0
Current children cumulated CPU time: 516.98 s
Current children cumulated vsize: 1377612 KiB
Current children cumulated memory: 214952 KiB

[startup+519.2 s]
/proc/loadavg: 4.12 4.10 4.09 5/270 111941
/proc/meminfo: memFree=114677296/131250000 swapFree=33010672/33010684
[pid=111811] ppid=111808 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/111811/stat : 111811 (scip-naps-1.00a) S 111808 111811 109737 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 141586263 4292608 736 18446744073709551615 94482745827328 94482746721861 140720602803536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482746960912 94482747008656 94482757804032 140720602806683 140720602806782 140720602806782 140720602812386 0
/proc/111811/statm: 1048 736 672 219 0 110 0
[pid=111816] ppid=111811 vsize=1347912 memory=190040 CPUtime=498.84 cores=5,7
/proc/111816/stat : 111816 (python3) S 111811 111811 109737 0 -1 4194304 73261 0 0 0 49869 15 0 0 20 0 1 0 141586265 1380261888 47510 18446744073709551615 94334484447232 94334484447609 140728243007664 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94334484458904 94334484459524 94334504157184 140728243013967 140728243014176 140728243014176 140728243019751 0
/proc/111816/statm: 336978 47510 8320 1 0 308336 0
[pid=111941] ppid=111816 vsize=25508 memory=22096 CPUtime=18.94 cores=5,7
/proc/111941/stat : 111941 (naps-1.03a6) R 111816 111941 111941 0 -1 4194304 11686 0 0 0 1893 1 0 0 20 0 1 0 141636281 26120192 5524 18446744073709551615 4198400 7047149 140733445049248 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 37863424 140733445052815 140733445052913 140733445052913 140733445058505 0
/proc/111941/statm: 6377 5524 544 696 0 5538 0
Current children cumulated CPU time: 517.78 s
Current children cumulated vsize: 1377612 KiB
Current children cumulated memory: 215080 KiB

[startup+520 s]*
/proc/loadavg: 4.12 4.10 4.09 5/270 111941
/proc/meminfo: memFree=114677296/131250000 swapFree=33010672/33010684
[pid=111811] ppid=111808 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/111811/stat : 111811 (scip-naps-1.00a) S 111808 111811 109737 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 141586263 4292608 736 18446744073709551615 94482745827328 94482746721861 140720602803536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482746960912 94482747008656 94482757804032 140720602806683 140720602806782 140720602806782 140720602812386 0
/proc/111811/statm: 1048 736 672 219 0 110 0
[pid=111816] ppid=111811 vsize=1347912 memory=190040 CPUtime=498.84 cores=5,7
/proc/111816/stat : 111816 (python3) S 111811 111811 109737 0 -1 4194304 73261 0 0 0 49869 15 0 0 20 0 1 0 141586265 1380261888 47510 18446744073709551615 94334484447232 94334484447609 140728243007664 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94334484458904 94334484459524 94334504157184 140728243013967 140728243014176 140728243014176 140728243019751 0
/proc/111816/statm: 336978 47510 8320 1 0 308336 0
[pid=111941] ppid=111816 vsize=25508 memory=22096 CPUtime=19.74 cores=5,7
/proc/111941/stat : 111941 (naps-1.03a6) R 111816 111941 111941 0 -1 4194304 11688 0 0 0 1973 1 0 0 20 0 1 0 141636281 26120192 5524 18446744073709551615 4198400 7047149 140733445049248 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 37863424 140733445052815 140733445052913 140733445052913 140733445058505 0
/proc/111941/statm: 6377 5524 544 696 0 5538 0
Current children cumulated CPU time: 518.58 s
Current children cumulated vsize: 1377612 KiB
Current children cumulated memory: 215080 KiB

[startup+520.4 s]
/proc/loadavg: 4.12 4.10 4.09 5/270 111941
/proc/meminfo: memFree=114677296/131250000 swapFree=33010672/33010684
[pid=111811] ppid=111808 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/111811/stat : 111811 (scip-naps-1.00a) S 111808 111811 109737 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 141586263 4292608 736 18446744073709551615 94482745827328 94482746721861 140720602803536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482746960912 94482747008656 94482757804032 140720602806683 140720602806782 140720602806782 140720602812386 0
/proc/111811/statm: 1048 736 672 219 0 110 0
[pid=111816] ppid=111811 vsize=1347912 memory=187336 CPUtime=518.97 cores=5,7
/proc/111816/stat : 111816 (python3) R 111811 111811 109737 0 -1 4194304 86912 11712 0 0 49871 16 2009 1 20 0 1 0 141586265 1380261888 46834 18446744073709551615 94334484447232 94334484447609 140728243007664 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94334484458904 94334484459524 94334504157184 140728243013967 140728243014176 140728243014176 140728243019751 0
/proc/111816/statm: 336978 46834 8320 1 0 308336 0
Current children cumulated CPU time: 518.97 s
Current children cumulated vsize: 1352104 KiB
Current children cumulated memory: 190280 KiB

Child status: 0

Real time (s): 520.428
CPU time (s): 519.024
CPU user time (s): 518.823
CPU system time (s): 0.201918
CPU usage (%): 99.7302
Max. virtual memory (cumulated for all children) (KiB): 1381728
Max. memory (cumulated for all children) (KiB): 217812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 518.823
system time used= 0.201918
maximum resident set size= 190040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104526
page faults= 0
swaps= 0
block input operations= 0
block output operations= 488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 359
involuntary context switches= 490


# summary of solver processes directly reported to runsolver:
#   pid: 111811
#   total CPU time (s): 519.024
#   total CPU user time (s): 518.823
#   total CPU system time (s): 0.201918

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.989981 second user time and 2.09429 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-07-11 20:37:56
IDJOB=4529823
IDBENCH=158377
IDSOLVER=3388
FILE ID=nodeC026/4529823-1752259076
RUNJOBID= nodeC026-1752253388-109750
SLURM_JOB_ID= 9682587
Free space on /tmp= 429756 MiB

SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K69.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529823-1752259076/watcher-4529823-1752259076 -o /tmp/evaluation-result-4529823-1752259076/solver-4529823-1752259076 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1752253388-109750 --watchdog 3760  ./scip-naps-1.00a2.sh HOME/instance-4529823-1752259076.opb

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

MD5SUM BENCH= 7a41f646f8fb7a1c0e5845075c21504b
RANDOM SEED=1217186097

nodeC026 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		: 3599.689
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	: 6999.59
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		: 3599.705
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	: 6999.59
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		: 3597.660
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	: 6999.59
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		: 3570.311
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	: 6999.59
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		: 3599.786
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	: 6999.59
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.302
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	: 6999.59
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		: 3670.136
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	: 6999.59
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		: 3599.812
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	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        105558000 kB
MemAvailable:   108895664 kB
Buffers:            2128 kB
Cached:          3960340 kB
SwapCached:            4 kB
Active:         21299356 kB
Inactive:        3286472 kB
Active(anon):   20631752 kB
Inactive(anon):     9684 kB
Active(file):     667604 kB
Inactive(file):  3276788 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5520 kB
Writeback:            16 kB
AnonPages:      20626484 kB
Mapped:           134156 kB
Shmem:             18076 kB
KReclaimable:     454072 kB
Slab:             557592 kB
SReclaimable:     454072 kB
SUnreclaim:       103520 kB
KernelStack:        4368 kB
PageTables:        44556 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   26721108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150632 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8611840 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:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 429768 MiB
End job on nodeC026 at 2025-07-11 20:46:37