Trace number 4507552

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
roundingsat 63f22adSAT 862.14 864.567

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K105.opb
MD5SUM7361f1d7a542e71300a3f7026fcde645
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 benchmark2.52945
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7140
Total number of constraints7352
Number of constraints which are clauses7247
Number of constraints which are cardinality constraints (but not clauses)105
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint105
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 106
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 

0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.08/0.13	c #variables 7140 #constraints 7352
41.16/41.31	c #Conflicts:       1000 | #Constraints:       8351
41.16/41.31	c #Conflicts:       2000 | #Constraints:       9351
41.16/41.31	c INPROCESSING
41.16/41.31	c GARBAGE COLLECT
41.16/41.31	c #Conflicts:       3000 | #Constraints:       8973
41.16/41.31	c #Conflicts:       4000 | #Constraints:       9973
41.16/41.31	c INPROCESSING
41.16/41.31	c GARBAGE COLLECT
41.16/41.31	c #Conflicts:       5000 | #Constraints:       9430
41.16/41.31	c #Conflicts:       6000 | #Constraints:      10430
41.16/41.31	c INPROCESSING
41.16/41.31	c GARBAGE COLLECT
41.16/41.31	c #Conflicts:       7000 | #Constraints:       9508
41.16/41.31	c #Conflicts:       8000 | #Constraints:      10508
41.16/41.31	c #Conflicts:       9000 | #Constraints:      11508
41.16/41.31	c INPROCESSING
41.16/41.31	c GARBAGE COLLECT
41.16/41.31	c #Conflicts:      10000 | #Constraints:      10265
41.16/41.31	c #Conflicts:      11000 | #Constraints:      11265
41.16/41.31	c #Conflicts:      12000 | #Constraints:      12265
41.16/41.31	c INPROCESSING
41.16/41.31	c GARBAGE COLLECT
41.16/41.31	c #Conflicts:      13000 | #Constraints:      10759
41.16/41.31	c #Conflicts:      14000 | #Constraints:      11759
41.16/41.31	c #Conflicts:      15000 | #Constraints:      12759
41.16/41.31	c INPROCESSING
41.16/41.31	c GARBAGE COLLECT
41.16/41.31	c #Conflicts:      16000 | #Constraints:      11040
41.16/41.31	c #Conflicts:      17000 | #Constraints:      12040
41.16/41.31	c #Conflicts:      18000 | #Constraints:      13040
41.16/41.31	c INPROCESSING
41.16/41.31	c GARBAGE COLLECT
41.16/41.31	c #Conflicts:      19000 | #Constraints:      11077
41.16/41.31	c #Conflicts:      20000 | #Constraints:      12077
41.16/41.31	c #Conflicts:      21000 | #Constraints:      13078
41.16/41.31	c INPROCESSING
41.16/41.31	c GARBAGE COLLECT
41.16/41.31	c #Conflicts:      22000 | #Constraints:      10906
41.16/41.31	c #Conflicts:      23000 | #Constraints:      11906
41.16/41.31	c #Conflicts:      24000 | #Constraints:      12906
41.16/41.31	c #Conflicts:      25000 | #Constraints:      13906
41.16/41.31	c INPROCESSING
41.16/41.31	c GARBAGE COLLECT
41.16/41.31	c #Conflicts:      26000 | #Constraints:      11541
41.16/41.31	c #Conflicts:      27000 | #Constraints:      12541
41.16/41.31	c #Conflicts:      28000 | #Constraints:      13541
41.16/41.31	c #Conflicts:      29000 | #Constraints:      14541
41.16/41.31	c INPROCESSING
41.16/41.31	c GARBAGE COLLECT
41.16/41.31	c #Conflicts:      30000 | #Constraints:      11956
41.16/41.31	c #Conflicts:      31000 | #Constraints:      12956
41.16/41.31	c #Conflicts:      32000 | #Constraints:      13956
41.16/41.31	c #Conflicts:      33000 | #Constraints:      14956
41.16/41.31	c #Conflicts:      34000 | #Constraints:      15956
41.16/41.31	c #Conflicts:      35000 | #Constraints:      16956
41.16/41.31	c #Conflicts:      36000 | #Constraints:      17956
41.16/41.31	c #Conflicts:      37000 | #Constraints:      18956
41.16/41.31	c #Conflicts:      38000 | #Constraints:      19956
41.16/41.31	c #Conflicts:      39000 | #Constraints:      20956
41.16/41.31	c #Conflicts:      40000 | #Constraints:      21956
41.16/41.31	c #Conflicts:      41000 | #Constraints:      22956
41.16/41.31	c #Conflicts:      42000 | #Constraints:      23956
41.16/41.31	c INPROCESSING
41.16/41.31	c GARBAGE COLLECT
41.16/41.31	c #Conflicts:      43000 | #Constraints:      16278
41.16/41.31	c #Conflicts:      44000 | #Constraints:      17278
41.16/41.31	c #Conflicts:      45000 | #Constraints:      18278
41.16/41.31	c #Conflicts:      46000 | #Constraints:      19278
41.16/41.31	c #Conflicts:      47000 | #Constraints:      20278
41.16/41.31	c #Conflicts:      48000 | #Constraints:      21278
41.16/41.31	c INPROCESSING
41.16/41.31	c GARBAGE COLLECT
41.16/41.31	c #Conflicts:      49000 | #Constraints:      15380
41.16/41.31	c #Conflicts:      50000 | #Constraints:      16380
41.16/41.31	c #Conflicts:      51000 | #Constraints:      17380
41.16/41.31	c #Conflicts:      52000 | #Constraints:      18380
41.16/41.31	c #Conflicts:      53000 | #Constraints:      19380
41.16/41.31	c INPROCESSING
41.16/41.31	c GARBAGE COLLECT
41.16/41.31	c #Conflicts:      54000 | #Constraints:      14297
41.16/41.31	c #Conflicts:      55000 | #Constraints:      15297
41.16/41.31	c #Conflicts:      56000 | #Constraints:      16297
41.16/41.31	c #Conflicts:      57000 | #Constraints:      17297
41.16/41.31	c #Conflicts:      58000 | #Constraints:      18297
41.16/41.31	c INPROCESSING
41.16/41.31	c GARBAGE COLLECT
41.16/41.31	c #Conflicts:      59000 | #Constraints:      13526
41.16/41.31	c #Conflicts:      60000 | #Constraints:      14526
41.16/41.31	c #Conflicts:      61000 | #Constraints:      15526
41.16/41.31	c #Conflicts:      62000 | #Constraints:      16526
41.16/41.31	c #Conflicts:      63000 | #Constraints:      17526
41.16/41.31	c #Conflicts:      64000 | #Constraints:      18527
41.16/41.31	c #Conflicts:      65000 | #Constraints:      19527
41.16/41.31	c #Conflicts:      66000 | #Constraints:      20527
41.16/41.31	c #Conflicts:      67000 | #Constraints:      21527
41.16/41.31	c #Conflicts:      68000 | #Constraints:      22527
41.16/41.31	c #Conflicts:      69000 | #Constraints:      23527
41.16/41.31	c #Conflicts:      70000 | #Constraints:      24527
94.21/94.50	c #Conflicts:      71000 | #Constraints:      25527
94.21/94.50	c #Conflicts:      72000 | #Constraints:      26527
94.21/94.50	c #Conflicts:      73000 | #Constraints:      27527
94.21/94.50	c #Conflicts:      74000 | #Constraints:      28527
94.21/94.50	c #Conflicts:      75000 | #Constraints:      29527
94.21/94.50	c #Conflicts:      76000 | #Constraints:      30527
94.21/94.50	c #Conflicts:      77000 | #Constraints:      31527
94.21/94.50	c #Conflicts:      78000 | #Constraints:      32527
94.21/94.50	c INPROCESSING
94.21/94.50	c GARBAGE COLLECT
94.21/94.50	c #Conflicts:      79000 | #Constraints:      21048
94.21/94.50	c #Conflicts:      80000 | #Constraints:      22048
94.21/94.50	c #Conflicts:      81000 | #Constraints:      23048
94.21/94.50	c #Conflicts:      82000 | #Constraints:      24048
94.21/94.50	c #Conflicts:      83000 | #Constraints:      25048
94.21/94.50	c #Conflicts:      84000 | #Constraints:      26048
94.21/94.50	c INPROCESSING
94.21/94.50	c GARBAGE COLLECT
94.21/94.50	c #Conflicts:      85000 | #Constraints:      17441
94.21/94.50	c #Conflicts:      86000 | #Constraints:      18441
94.21/94.50	c #Conflicts:      87000 | #Constraints:      19441
94.21/94.50	c #Conflicts:      88000 | #Constraints:      20441
94.21/94.50	c #Conflicts:      89000 | #Constraints:      21441
94.21/94.50	c #Conflicts:      90000 | #Constraints:      22441
94.21/94.50	c #Conflicts:      91000 | #Constraints:      23441
94.21/94.50	c INPROCESSING
94.21/94.50	c GARBAGE COLLECT
94.21/94.50	c #Conflicts:      92000 | #Constraints:      16158
94.21/94.50	c #Conflicts:      93000 | #Constraints:      17158
94.21/94.50	c #Conflicts:      94000 | #Constraints:      18158
94.21/94.50	c #Conflicts:      95000 | #Constraints:      19158
94.21/94.50	c #Conflicts:      96000 | #Constraints:      20159
94.21/94.50	c #Conflicts:      97000 | #Constraints:      21159
94.21/94.50	c #Conflicts:      98000 | #Constraints:      22159
94.21/94.50	c #Conflicts:      99000 | #Constraints:      23159
94.21/94.50	c INPROCESSING
94.21/94.50	c GARBAGE COLLECT
94.21/94.50	c #Conflicts:     100000 | #Constraints:      16405
94.21/94.50	c #Conflicts:     101000 | #Constraints:      17405
94.21/94.50	c #Conflicts:     102000 | #Constraints:      18405
94.21/94.50	c #Conflicts:     103000 | #Constraints:      19405
94.21/94.50	c #Conflicts:     104000 | #Constraints:      20405
94.21/94.50	c #Conflicts:     105000 | #Constraints:      21405
94.21/94.50	c #Conflicts:     106000 | #Constraints:      22405
94.21/94.50	c #Conflicts:     107000 | #Constraints:      23405
94.21/94.50	c #Conflicts:     108000 | #Constraints:      24405
94.21/94.50	c #Conflicts:     109000 | #Constraints:      25405
94.21/94.50	c #Conflicts:     110000 | #Constraints:      26405
94.21/94.50	c #Conflicts:     111000 | #Constraints:      27405
94.21/94.50	c #Conflicts:     112000 | #Constraints:      28405
94.21/94.50	c #Conflicts:     113000 | #Constraints:      29405
94.21/94.50	c #Conflicts:     114000 | #Constraints:      30405
94.21/94.50	c #Conflicts:     115000 | #Constraints:      31405
94.21/94.50	c #Conflicts:     116000 | #Constraints:      32405
94.21/94.50	c #Conflicts:     117000 | #Constraints:      33405
94.21/94.50	c #Conflicts:     118000 | #Constraints:      34405
94.21/94.50	c #Conflicts:     119000 | #Constraints:      35405
94.21/94.50	c #Conflicts:     120000 | #Constraints:      36405
94.21/94.50	c #Conflicts:     121000 | #Constraints:      37405
94.21/94.50	c #Conflicts:     122000 | #Constraints:      38405
94.21/94.50	c #Conflicts:     123000 | #Constraints:      39405
94.21/94.50	c INPROCESSING
94.21/94.50	c GARBAGE COLLECT
94.21/94.50	c #Conflicts:     124000 | #Constraints:      24313
94.21/94.50	c #Conflicts:     125000 | #Constraints:      25313
94.21/94.50	c #Conflicts:     126000 | #Constraints:      26313
94.21/94.50	c #Conflicts:     127000 | #Constraints:      27313
94.21/94.50	c #Conflicts:     128000 | #Constraints:      28313
94.21/94.50	c #Conflicts:     129000 | #Constraints:      29313
94.21/94.50	c #Conflicts:     130000 | #Constraints:      30313
94.21/94.50	c #Conflicts:     131000 | #Constraints:      31313
94.21/94.50	c #Conflicts:     132000 | #Constraints:      32313
94.21/94.50	c INPROCESSING
94.21/94.50	c GARBAGE COLLECT
94.21/94.50	c rational objective 105
163.63/164.18	c #Conflicts:     133000 | #Constraints:      21027
163.63/164.18	c #Conflicts:     134000 | #Constraints:      22027
163.63/164.18	c #Conflicts:     135000 | #Constraints:      23027
163.63/164.18	c #Conflicts:     136000 | #Constraints:      24027
163.63/164.18	c #Conflicts:     137000 | #Constraints:      25027
163.63/164.18	c #Conflicts:     138000 | #Constraints:      26027
163.63/164.18	c #Conflicts:     139000 | #Constraints:      27027
163.63/164.18	c #Conflicts:     140000 | #Constraints:      28027
163.63/164.18	c INPROCESSING
163.63/164.18	c GARBAGE COLLECT
163.63/164.18	c #Conflicts:     141000 | #Constraints:      18609
163.63/164.18	c #Conflicts:     142000 | #Constraints:      19609
163.63/164.18	c #Conflicts:     143000 | #Constraints:      20609
163.63/164.18	c #Conflicts:     144000 | #Constraints:      21609
163.63/164.18	c #Conflicts:     145000 | #Constraints:      22609
163.63/164.18	c #Conflicts:     146000 | #Constraints:      23609
163.63/164.18	c #Conflicts:     147000 | #Constraints:      24609
163.63/164.18	c #Conflicts:     148000 | #Constraints:      25609
163.63/164.18	c #Conflicts:     149000 | #Constraints:      26609
163.63/164.18	c INPROCESSING
163.63/164.18	c GARBAGE COLLECT
163.63/164.18	c #Conflicts:     150000 | #Constraints:      17932
163.63/164.18	c #Conflicts:     151000 | #Constraints:      18932
163.63/164.18	c #Conflicts:     152000 | #Constraints:      19932
163.63/164.18	c #Conflicts:     153000 | #Constraints:      20932
163.63/164.18	c #Conflicts:     154000 | #Constraints:      21932
163.63/164.18	c #Conflicts:     155000 | #Constraints:      22932
163.63/164.18	c #Conflicts:     156000 | #Constraints:      23932
163.63/164.18	c #Conflicts:     157000 | #Constraints:      24932
163.63/164.18	c #Conflicts:     158000 | #Constraints:      25932
163.63/164.18	c #Conflicts:     159000 | #Constraints:      26932
163.63/164.18	c #Conflicts:     160000 | #Constraints:      27932
163.63/164.18	c #Conflicts:     161000 | #Constraints:      28932
163.63/164.18	c #Conflicts:     162000 | #Constraints:      29932
163.63/164.18	c #Conflicts:     163000 | #Constraints:      30932
163.63/164.18	c #Conflicts:     164000 | #Constraints:      31932
163.63/164.18	c #Conflicts:     165000 | #Constraints:      32932
163.63/164.18	c #Conflicts:     166000 | #Constraints:      33932
163.63/164.18	c #Conflicts:     167000 | #Constraints:      34932
163.63/164.18	c #Conflicts:     168000 | #Constraints:      35932
163.63/164.18	c #Conflicts:     169000 | #Constraints:      36932
163.63/164.18	c #Conflicts:     170000 | #Constraints:      37932
163.63/164.18	c #Conflicts:     171000 | #Constraints:      38932
163.63/164.18	c #Conflicts:     172000 | #Constraints:      39932
163.63/164.18	c #Conflicts:     173000 | #Constraints:      40932
163.63/164.18	c #Conflicts:     174000 | #Constraints:      41932
163.63/164.18	c #Conflicts:     175000 | #Constraints:      42932
163.63/164.18	c #Conflicts:     176000 | #Constraints:      43932
163.63/164.18	c #Conflicts:     177000 | #Constraints:      44932
163.63/164.18	c #Conflicts:     178000 | #Constraints:      45932
163.63/164.18	c #Conflicts:     179000 | #Constraints:      46932
163.63/164.18	c INPROCESSING
163.63/164.18	c GARBAGE COLLECT
163.63/164.18	c #Conflicts:     180000 | #Constraints:      28179
163.63/164.18	c #Conflicts:     181000 | #Constraints:      29179
163.63/164.18	c #Conflicts:     182000 | #Constraints:      30179
163.63/164.18	c #Conflicts:     183000 | #Constraints:      31179
163.63/164.18	c #Conflicts:     184000 | #Constraints:      32179
163.63/164.18	c #Conflicts:     185000 | #Constraints:      33179
163.63/164.18	c #Conflicts:     186000 | #Constraints:      34179
163.63/164.18	c #Conflicts:     187000 | #Constraints:      35179
163.63/164.18	c #Conflicts:     188000 | #Constraints:      36179
163.63/164.18	c #Conflicts:     189000 | #Constraints:      37179
163.63/164.18	c INPROCESSING
163.63/164.18	c GARBAGE COLLECT
163.63/164.18	c #Conflicts:     190000 | #Constraints:      23213
163.63/164.18	c #Conflicts:     191000 | #Constraints:      24213
163.63/164.18	c #Conflicts:     192000 | #Constraints:      25213
163.63/164.18	c #Conflicts:     193000 | #Constraints:      26213
163.63/164.18	c #Conflicts:     194000 | #Constraints:      27213
163.63/164.18	c #Conflicts:     195000 | #Constraints:      28213
163.63/164.18	c #Conflicts:     196000 | #Constraints:      29213
163.63/164.18	c #Conflicts:     197000 | #Constraints:      30213
163.63/164.18	c #Conflicts:     198000 | #Constraints:      31213
163.63/164.18	c #Conflicts:     199000 | #Constraints:      32213
163.63/164.18	c #Conflicts:     200000 | #Constraints:      33213
163.63/164.18	c INPROCESSING
163.63/164.18	c GARBAGE COLLECT
163.63/164.18	c #Conflicts:     201000 | #Constraints:      21637
163.63/164.18	c #Conflicts:     202000 | #Constraints:      22637
163.63/164.18	c #Conflicts:     203000 | #Constraints:      23637
163.63/164.18	c #Conflicts:     204000 | #Constraints:      24637
163.63/164.18	c #Conflicts:     205000 | #Constraints:      25637
163.63/164.18	c #Conflicts:     206000 | #Constraints:      26637
163.63/164.18	c #Conflicts:     207000 | #Constraints:      27637
163.63/164.18	c #Conflicts:     208000 | #Constraints:      28637
165.53/166.02	c #Conflicts:     209000 | #Constraints:      29637
165.53/166.02	c #Conflicts:     210000 | #Constraints:      30637
165.53/166.02	c INPROCESSING
165.53/166.02	c GARBAGE COLLECT
165.53/166.02	c rational objective 105
217.57/218.25	c #Conflicts:     211000 | #Constraints:      19939
217.57/218.25	c #Conflicts:     212000 | #Constraints:      20939
217.57/218.25	c #Conflicts:     213000 | #Constraints:      21939
217.57/218.25	c #Conflicts:     214000 | #Constraints:      22939
217.57/218.25	c #Conflicts:     215000 | #Constraints:      23939
217.57/218.25	c #Conflicts:     216000 | #Constraints:      24939
217.57/218.25	c #Conflicts:     217000 | #Constraints:      25939
217.57/218.25	c #Conflicts:     218000 | #Constraints:      26939
217.57/218.25	c #Conflicts:     219000 | #Constraints:      27939
217.57/218.25	c #Conflicts:     220000 | #Constraints:      28939
217.57/218.25	c #Conflicts:     221000 | #Constraints:      29939
217.57/218.25	c #Conflicts:     222000 | #Constraints:      30939
217.57/218.25	c #Conflicts:     223000 | #Constraints:      31939
217.57/218.25	c #Conflicts:     224000 | #Constraints:      32939
217.57/218.25	c #Conflicts:     225000 | #Constraints:      33939
217.57/218.25	c #Conflicts:     226000 | #Constraints:      34939
217.57/218.25	c #Conflicts:     227000 | #Constraints:      35939
217.57/218.25	c #Conflicts:     228000 | #Constraints:      36939
217.57/218.25	c #Conflicts:     229000 | #Constraints:      37939
217.57/218.25	c #Conflicts:     230000 | #Constraints:      38939
217.57/218.25	c #Conflicts:     231000 | #Constraints:      39939
217.57/218.25	c #Conflicts:     232000 | #Constraints:      40939
217.57/218.25	c #Conflicts:     233000 | #Constraints:      41939
217.57/218.25	c #Conflicts:     234000 | #Constraints:      42939
217.57/218.25	c #Conflicts:     235000 | #Constraints:      43939
217.57/218.25	c #Conflicts:     236000 | #Constraints:      44939
217.57/218.25	c #Conflicts:     237000 | #Constraints:      45939
217.57/218.25	c #Conflicts:     238000 | #Constraints:      46939
217.57/218.25	c #Conflicts:     239000 | #Constraints:      47939
217.57/218.25	c #Conflicts:     240000 | #Constraints:      48939
217.57/218.25	c #Conflicts:     241000 | #Constraints:      49939
217.57/218.25	c #Conflicts:     242000 | #Constraints:      50939
217.57/218.25	c #Conflicts:     243000 | #Constraints:      51939
217.57/218.25	c #Conflicts:     244000 | #Constraints:      52939
217.57/218.25	c #Conflicts:     245000 | #Constraints:      53939
217.57/218.25	c INPROCESSING
217.57/218.25	c GARBAGE COLLECT
217.57/218.25	c rational objective 105
304.84/305.70	c #Conflicts:     246000 | #Constraints:      31552
304.84/305.70	c #Conflicts:     247000 | #Constraints:      32552
304.84/305.70	c #Conflicts:     248000 | #Constraints:      33552
304.84/305.70	c #Conflicts:     249000 | #Constraints:      34553
304.84/305.70	c #Conflicts:     250000 | #Constraints:      35553
304.84/305.70	c #Conflicts:     251000 | #Constraints:      36553
304.84/305.70	c #Conflicts:     252000 | #Constraints:      37553
304.84/305.70	c #Conflicts:     253000 | #Constraints:      38553
304.84/305.70	c #Conflicts:     254000 | #Constraints:      39553
304.84/305.70	c #Conflicts:     255000 | #Constraints:      40553
304.84/305.70	c #Conflicts:     256000 | #Constraints:      41553
304.84/305.70	c #Conflicts:     257000 | #Constraints:      42553
304.84/305.70	c INPROCESSING
304.84/305.70	c GARBAGE COLLECT
304.84/305.70	c #Conflicts:     258000 | #Constraints:      25983
304.84/305.70	c #Conflicts:     259000 | #Constraints:      26983
304.84/305.70	c #Conflicts:     260000 | #Constraints:      27983
304.84/305.70	c #Conflicts:     261000 | #Constraints:      28983
304.84/305.70	c #Conflicts:     262000 | #Constraints:      29983
304.84/305.70	c #Conflicts:     263000 | #Constraints:      30983
304.84/305.70	c #Conflicts:     264000 | #Constraints:      31983
304.84/305.70	c #Conflicts:     265000 | #Constraints:      32983
304.84/305.70	c #Conflicts:     266000 | #Constraints:      33983
304.84/305.70	c #Conflicts:     267000 | #Constraints:      34983
304.84/305.70	c #Conflicts:     268000 | #Constraints:      35983
304.84/305.70	c #Conflicts:     269000 | #Constraints:      36983
304.84/305.70	c INPROCESSING
304.84/305.70	c GARBAGE COLLECT
304.84/305.70	c #Conflicts:     270000 | #Constraints:      23156
304.84/305.70	c #Conflicts:     271000 | #Constraints:      24156
304.84/305.70	c #Conflicts:     272000 | #Constraints:      25156
304.84/305.70	c #Conflicts:     273000 | #Constraints:      26156
304.84/305.70	c #Conflicts:     274000 | #Constraints:      27156
304.84/305.70	c #Conflicts:     275000 | #Constraints:      28156
304.84/305.70	c #Conflicts:     276000 | #Constraints:      29156
304.84/305.70	c #Conflicts:     277000 | #Constraints:      30156
304.84/305.70	c #Conflicts:     278000 | #Constraints:      31156
304.84/305.70	c #Conflicts:     279000 | #Constraints:      32156
304.84/305.70	c #Conflicts:     280000 | #Constraints:      33156
304.84/305.70	c #Conflicts:     281000 | #Constraints:      34156
304.84/305.70	c #Conflicts:     282000 | #Constraints:      35156
304.84/305.70	c INPROCESSING
304.84/305.70	c GARBAGE COLLECT
304.84/305.70	c #Conflicts:     283000 | #Constraints:      22583
304.84/305.70	c #Conflicts:     284000 | #Constraints:      23583
304.84/305.70	c #Conflicts:     285000 | #Constraints:      24583
304.84/305.70	c #Conflicts:     286000 | #Constraints:      25583
304.84/305.70	c #Conflicts:     287000 | #Constraints:      26583
304.84/305.70	c #Conflicts:     288000 | #Constraints:      27583
304.84/305.70	c #Conflicts:     289000 | #Constraints:      28583
304.84/305.70	c #Conflicts:     290000 | #Constraints:      29583
304.84/305.70	c #Conflicts:     291000 | #Constraints:      30583
304.84/305.70	c #Conflicts:     292000 | #Constraints:      31583
304.84/305.70	c #Conflicts:     293000 | #Constraints:      32583
304.84/305.70	c #Conflicts:     294000 | #Constraints:      33583
304.84/305.70	c #Conflicts:     295000 | #Constraints:      34583
304.84/305.70	c #Conflicts:     296000 | #Constraints:      35583
304.84/305.70	c #Conflicts:     297000 | #Constraints:      36583
304.84/305.70	c #Conflicts:     298000 | #Constraints:      37583
304.84/305.70	c #Conflicts:     299000 | #Constraints:      38583
304.84/305.70	c #Conflicts:     300000 | #Constraints:      39583
304.84/305.70	c #Conflicts:     301000 | #Constraints:      40583
304.84/305.70	c #Conflicts:     302000 | #Constraints:      41583
304.84/305.70	c #Conflicts:     303000 | #Constraints:      42583
304.84/305.70	c #Conflicts:     304000 | #Constraints:      43583
304.84/305.70	c #Conflicts:     305000 | #Constraints:      44583
304.84/305.70	c #Conflicts:     306000 | #Constraints:      45583
304.84/305.70	c #Conflicts:     307000 | #Constraints:      46583
304.84/305.70	c #Conflicts:     308000 | #Constraints:      47583
304.84/305.70	c #Conflicts:     309000 | #Constraints:      48583
304.84/305.70	c #Conflicts:     310000 | #Constraints:      49583
304.84/305.70	c #Conflicts:     311000 | #Constraints:      50583
304.84/305.70	c #Conflicts:     312000 | #Constraints:      51583
304.84/305.70	c #Conflicts:     313000 | #Constraints:      52583
304.84/305.70	c #Conflicts:     314000 | #Constraints:      53583
304.84/305.70	c #Conflicts:     315000 | #Constraints:      54583
304.84/305.70	c #Conflicts:     316000 | #Constraints:      55583
304.84/305.70	c #Conflicts:     317000 | #Constraints:      56583
304.84/305.70	c #Conflicts:     318000 | #Constraints:      57583
304.84/305.70	c #Conflicts:     319000 | #Constraints:      58583
304.84/305.70	c #Conflicts:     320000 | #Constraints:      59583
304.84/305.70	c #Conflicts:     321000 | #Constraints:      60583
304.84/305.70	c #Conflicts:     322000 | #Constraints:      61583
356.11/357.11	c INPROCESSING
356.11/357.11	c GARBAGE COLLECT
356.11/357.11	c #Conflicts:     323000 | #Constraints:      35548
356.11/357.11	c #Conflicts:     324000 | #Constraints:      36548
356.11/357.11	c #Conflicts:     325000 | #Constraints:      37548
356.11/357.11	c #Conflicts:     326000 | #Constraints:      38548
356.11/357.11	c #Conflicts:     327000 | #Constraints:      39548
356.11/357.11	c #Conflicts:     328000 | #Constraints:      40548
356.11/357.11	c #Conflicts:     329000 | #Constraints:      41548
356.11/357.11	c #Conflicts:     330000 | #Constraints:      42548
356.11/357.11	c #Conflicts:     331000 | #Constraints:      43548
356.11/357.11	c #Conflicts:     332000 | #Constraints:      44548
356.11/357.11	c #Conflicts:     333000 | #Constraints:      45548
356.11/357.11	c #Conflicts:     334000 | #Constraints:      46548
356.11/357.11	c #Conflicts:     335000 | #Constraints:      47548
356.11/357.11	c #Conflicts:     336000 | #Constraints:      48548
356.11/357.11	c INPROCESSING
356.11/357.11	c GARBAGE COLLECT
356.11/357.11	c #Conflicts:     337000 | #Constraints:      29249
356.11/357.11	c #Conflicts:     338000 | #Constraints:      30249
356.11/357.11	c #Conflicts:     339000 | #Constraints:      31249
356.11/357.11	c #Conflicts:     340000 | #Constraints:      32249
356.11/357.11	c #Conflicts:     341000 | #Constraints:      33249
356.11/357.11	c #Conflicts:     342000 | #Constraints:      34249
356.11/357.11	c #Conflicts:     343000 | #Constraints:      35249
356.11/357.11	c #Conflicts:     344000 | #Constraints:      36249
356.11/357.11	c #Conflicts:     345000 | #Constraints:      37249
356.11/357.11	c #Conflicts:     346000 | #Constraints:      38249
356.11/357.11	c #Conflicts:     347000 | #Constraints:      39249
356.11/357.11	c #Conflicts:     348000 | #Constraints:      40249
356.11/357.11	c #Conflicts:     349000 | #Constraints:      41249
356.11/357.11	c INPROCESSING
356.11/357.11	c GARBAGE COLLECT
356.11/357.11	c #Conflicts:     350000 | #Constraints:      25207
356.11/357.11	c #Conflicts:     351000 | #Constraints:      26207
356.11/357.11	c #Conflicts:     352000 | #Constraints:      27207
356.11/357.11	c #Conflicts:     353000 | #Constraints:      28207
356.11/357.11	c #Conflicts:     354000 | #Constraints:      29207
356.11/357.11	c #Conflicts:     355000 | #Constraints:      30207
356.11/357.11	c #Conflicts:     356000 | #Constraints:      31207
356.11/357.11	c #Conflicts:     357000 | #Constraints:      32207
356.11/357.11	c #Conflicts:     358000 | #Constraints:      33207
356.11/357.11	c #Conflicts:     359000 | #Constraints:      34208
356.11/357.11	c #Conflicts:     360000 | #Constraints:      35208
356.11/357.11	c #Conflicts:     361000 | #Constraints:      36208
356.11/357.11	c #Conflicts:     362000 | #Constraints:      37208
356.11/357.11	c #Conflicts:     363000 | #Constraints:      38208
356.11/357.11	c INPROCESSING
356.11/357.11	c GARBAGE COLLECT
356.11/357.11	c rational objective 105
428.80/430.05	c #Conflicts:     364000 | #Constraints:      23664
428.80/430.05	c #Conflicts:     365000 | #Constraints:      24664
428.80/430.05	c #Conflicts:     366000 | #Constraints:      25664
428.80/430.05	c #Conflicts:     367000 | #Constraints:      26664
428.80/430.05	c #Conflicts:     368000 | #Constraints:      27664
428.80/430.05	c #Conflicts:     369000 | #Constraints:      28664
428.80/430.05	c #Conflicts:     370000 | #Constraints:      29664
428.80/430.05	c #Conflicts:     371000 | #Constraints:      30664
428.80/430.05	c #Conflicts:     372000 | #Constraints:      31664
428.80/430.05	c #Conflicts:     373000 | #Constraints:      32664
428.80/430.05	c #Conflicts:     374000 | #Constraints:      33664
428.80/430.05	c #Conflicts:     375000 | #Constraints:      34664
428.80/430.05	c #Conflicts:     376000 | #Constraints:      35664
428.80/430.05	c #Conflicts:     377000 | #Constraints:      36664
428.80/430.05	c #Conflicts:     378000 | #Constraints:      37664
428.80/430.05	c #Conflicts:     379000 | #Constraints:      38664
428.80/430.05	c #Conflicts:     380000 | #Constraints:      39664
428.80/430.05	c #Conflicts:     381000 | #Constraints:      40664
428.80/430.05	c #Conflicts:     382000 | #Constraints:      41664
428.80/430.05	c #Conflicts:     383000 | #Constraints:      42664
428.80/430.05	c #Conflicts:     384000 | #Constraints:      43664
428.80/430.05	c #Conflicts:     385000 | #Constraints:      44664
428.80/430.05	c #Conflicts:     386000 | #Constraints:      45664
428.80/430.05	c #Conflicts:     387000 | #Constraints:      46664
428.80/430.05	c #Conflicts:     388000 | #Constraints:      47664
428.80/430.05	c #Conflicts:     389000 | #Constraints:      48664
428.80/430.05	c #Conflicts:     390000 | #Constraints:      49664
428.80/430.05	c #Conflicts:     391000 | #Constraints:      50664
428.80/430.05	c #Conflicts:     392000 | #Constraints:      51664
428.80/430.05	c #Conflicts:     393000 | #Constraints:      52664
428.80/430.05	c #Conflicts:     394000 | #Constraints:      53664
428.80/430.05	c #Conflicts:     395000 | #Constraints:      54664
428.80/430.05	c #Conflicts:     396000 | #Constraints:      55665
428.80/430.05	c #Conflicts:     397000 | #Constraints:      56665
428.80/430.05	c #Conflicts:     398000 | #Constraints:      57665
428.80/430.05	c #Conflicts:     399000 | #Constraints:      58665
428.80/430.05	c #Conflicts:     400000 | #Constraints:      59665
428.80/430.05	c #Conflicts:     401000 | #Constraints:      60665
428.80/430.05	c #Conflicts:     402000 | #Constraints:      61665
428.80/430.05	c #Conflicts:     403000 | #Constraints:      62665
428.80/430.05	c #Conflicts:     404000 | #Constraints:      63665
428.80/430.05	c #Conflicts:     405000 | #Constraints:      64665
428.80/430.05	c #Conflicts:     406000 | #Constraints:      65665
428.80/430.05	c #Conflicts:     407000 | #Constraints:      66665
428.80/430.05	c #Conflicts:     408000 | #Constraints:      67665
428.80/430.05	c #Conflicts:     409000 | #Constraints:      68665
428.80/430.05	c INPROCESSING
428.80/430.05	c GARBAGE COLLECT
428.80/430.05	c rational objective 105
451.53/452.82	c #Conflicts:     410000 | #Constraints:      39069
451.53/452.82	c #Conflicts:     411000 | #Constraints:      40069
451.53/452.82	c #Conflicts:     412000 | #Constraints:      41069
451.53/452.82	c #Conflicts:     413000 | #Constraints:      42069
451.53/452.82	c #Conflicts:     414000 | #Constraints:      43069
451.53/452.82	c #Conflicts:     415000 | #Constraints:      44069
451.53/452.82	c #Conflicts:     416000 | #Constraints:      45069
451.53/452.82	c #Conflicts:     417000 | #Constraints:      46069
451.53/452.82	c #Conflicts:     418000 | #Constraints:      47069
451.53/452.82	c #Conflicts:     419000 | #Constraints:      48069
451.53/452.82	c #Conflicts:     420000 | #Constraints:      49069
451.53/452.82	c #Conflicts:     421000 | #Constraints:      50069
451.53/452.82	c #Conflicts:     422000 | #Constraints:      51069
451.53/452.82	c #Conflicts:     423000 | #Constraints:      52069
451.53/452.82	c #Conflicts:     424000 | #Constraints:      53069
451.53/452.82	c INPROCESSING
451.53/452.82	c GARBAGE COLLECT
451.53/452.82	c rational objective 105
479.76/481.14	c #Conflicts:     425000 | #Constraints:      31110
479.76/481.14	c #Conflicts:     426000 | #Constraints:      32110
479.76/481.14	c #Conflicts:     427000 | #Constraints:      33110
479.76/481.14	c #Conflicts:     428000 | #Constraints:      34110
479.76/481.14	c #Conflicts:     429000 | #Constraints:      35110
479.76/481.14	c #Conflicts:     430000 | #Constraints:      36110
479.76/481.14	c #Conflicts:     431000 | #Constraints:      37110
479.76/481.14	c #Conflicts:     432000 | #Constraints:      38110
479.76/481.14	c #Conflicts:     433000 | #Constraints:      39110
479.76/481.14	c #Conflicts:     434000 | #Constraints:      40110
479.76/481.14	c #Conflicts:     435000 | #Constraints:      41110
479.76/481.14	c #Conflicts:     436000 | #Constraints:      42110
479.76/481.14	c #Conflicts:     437000 | #Constraints:      43110
479.76/481.14	c #Conflicts:     438000 | #Constraints:      44110
479.76/481.14	c #Conflicts:     439000 | #Constraints:      45110
479.76/481.14	c #Conflicts:     440000 | #Constraints:      46110
479.76/481.14	c INPROCESSING
479.76/481.14	c GARBAGE COLLECT
479.76/481.14	c rational objective 105
623.36/625.20	c #Conflicts:     441000 | #Constraints:      27978
623.36/625.20	c #Conflicts:     442000 | #Constraints:      28978
623.36/625.20	c #Conflicts:     443000 | #Constraints:      29978
623.36/625.20	c #Conflicts:     444000 | #Constraints:      30978
623.36/625.20	c #Conflicts:     445000 | #Constraints:      31978
623.36/625.20	c #Conflicts:     446000 | #Constraints:      32978
623.36/625.20	c #Conflicts:     447000 | #Constraints:      33978
623.36/625.20	c #Conflicts:     448000 | #Constraints:      34978
623.36/625.20	c #Conflicts:     449000 | #Constraints:      35978
623.36/625.20	c #Conflicts:     450000 | #Constraints:      36978
623.36/625.20	c #Conflicts:     451000 | #Constraints:      37978
623.36/625.20	c #Conflicts:     452000 | #Constraints:      38978
623.36/625.20	c #Conflicts:     453000 | #Constraints:      39978
623.36/625.20	c #Conflicts:     454000 | #Constraints:      40978
623.36/625.20	c #Conflicts:     455000 | #Constraints:      41978
623.36/625.20	c #Conflicts:     456000 | #Constraints:      42978
623.36/625.20	c INPROCESSING
623.36/625.20	c GARBAGE COLLECT
623.36/625.20	c #Conflicts:     457000 | #Constraints:      26416
623.36/625.20	c #Conflicts:     458000 | #Constraints:      27416
623.36/625.20	c #Conflicts:     459000 | #Constraints:      28416
623.36/625.20	c #Conflicts:     460000 | #Constraints:      29416
623.36/625.20	c #Conflicts:     461000 | #Constraints:      30416
623.36/625.20	c #Conflicts:     462000 | #Constraints:      31416
623.36/625.20	c #Conflicts:     463000 | #Constraints:      32416
623.36/625.20	c #Conflicts:     464000 | #Constraints:      33416
623.36/625.20	c #Conflicts:     465000 | #Constraints:      34416
623.36/625.20	c #Conflicts:     466000 | #Constraints:      35416
623.36/625.20	c #Conflicts:     467000 | #Constraints:      36416
623.36/625.20	c #Conflicts:     468000 | #Constraints:      37416
623.36/625.20	c #Conflicts:     469000 | #Constraints:      38416
623.36/625.20	c #Conflicts:     470000 | #Constraints:      39416
623.36/625.20	c #Conflicts:     471000 | #Constraints:      40416
623.36/625.20	c #Conflicts:     472000 | #Constraints:      41416
623.36/625.20	c #Conflicts:     473000 | #Constraints:      42416
623.36/625.20	c #Conflicts:     474000 | #Constraints:      43416
623.36/625.20	c #Conflicts:     475000 | #Constraints:      44416
623.36/625.20	c #Conflicts:     476000 | #Constraints:      45416
623.36/625.20	c #Conflicts:     477000 | #Constraints:      46416
623.36/625.20	c #Conflicts:     478000 | #Constraints:      47416
623.36/625.20	c #Conflicts:     479000 | #Constraints:      48416
623.36/625.20	c #Conflicts:     480000 | #Constraints:      49416
623.36/625.20	c #Conflicts:     481000 | #Constraints:      50416
623.36/625.20	c #Conflicts:     482000 | #Constraints:      51416
623.36/625.20	c #Conflicts:     483000 | #Constraints:      52416
623.36/625.20	c #Conflicts:     484000 | #Constraints:      53416
623.36/625.20	c #Conflicts:     485000 | #Constraints:      54416
623.36/625.20	c #Conflicts:     486000 | #Constraints:      55416
623.36/625.20	c #Conflicts:     487000 | #Constraints:      56416
623.36/625.20	c #Conflicts:     488000 | #Constraints:      57416
623.36/625.20	c #Conflicts:     489000 | #Constraints:      58416
623.36/625.20	c #Conflicts:     490000 | #Constraints:      59416
623.36/625.20	c #Conflicts:     491000 | #Constraints:      60416
623.36/625.20	c #Conflicts:     492000 | #Constraints:      61416
623.36/625.20	c #Conflicts:     493000 | #Constraints:      62416
623.36/625.20	c #Conflicts:     494000 | #Constraints:      63416
623.36/625.20	c #Conflicts:     495000 | #Constraints:      64416
623.36/625.20	c #Conflicts:     496000 | #Constraints:      65416
623.36/625.20	c #Conflicts:     497000 | #Constraints:      66416
623.36/625.20	c #Conflicts:     498000 | #Constraints:      67416
623.36/625.20	c #Conflicts:     499000 | #Constraints:      68416
623.36/625.20	c #Conflicts:     500000 | #Constraints:      69416
623.36/625.20	c #Conflicts:     501000 | #Constraints:      70416
623.36/625.20	c #Conflicts:     502000 | #Constraints:      71416
623.36/625.20	c #Conflicts:     503000 | #Constraints:      72416
623.36/625.20	c #Conflicts:     504000 | #Constraints:      73416
623.36/625.20	c #Conflicts:     505000 | #Constraints:      74416
623.36/625.20	c #Conflicts:     506000 | #Constraints:      75416
623.36/625.20	c #Conflicts:     507000 | #Constraints:      76416
623.36/625.20	c INPROCESSING
623.36/625.20	c GARBAGE COLLECT
623.36/625.20	c #Conflicts:     508000 | #Constraints:      43292
623.36/625.20	c #Conflicts:     509000 | #Constraints:      44292
623.36/625.20	c #Conflicts:     510000 | #Constraints:      45292
623.36/625.20	c #Conflicts:     511000 | #Constraints:      46292
623.36/625.20	c #Conflicts:     512000 | #Constraints:      47292
623.36/625.20	c #Conflicts:     513000 | #Constraints:      48292
623.36/625.20	c #Conflicts:     514000 | #Constraints:      49292
623.36/625.20	c #Conflicts:     515000 | #Constraints:      50292
623.36/625.20	c #Conflicts:     516000 | #Constraints:      51292
623.36/625.20	c #Conflicts:     517000 | #Constraints:      52292
623.36/625.20	c #Conflicts:     518000 | #Constraints:      53292
693.26/695.22	c #Conflicts:     519000 | #Constraints:      54292
693.26/695.22	c #Conflicts:     520000 | #Constraints:      55292
693.26/695.22	c #Conflicts:     521000 | #Constraints:      56293
693.26/695.22	c #Conflicts:     522000 | #Constraints:      57293
693.26/695.22	c #Conflicts:     523000 | #Constraints:      58293
693.26/695.22	c #Conflicts:     524000 | #Constraints:      59293
693.26/695.22	c INPROCESSING
693.26/695.22	c GARBAGE COLLECT
693.26/695.22	c #Conflicts:     525000 | #Constraints:      34673
693.26/695.22	c #Conflicts:     526000 | #Constraints:      35673
693.26/695.22	c #Conflicts:     527000 | #Constraints:      36673
693.26/695.22	c #Conflicts:     528000 | #Constraints:      37673
693.26/695.22	c #Conflicts:     529000 | #Constraints:      38673
693.26/695.22	c #Conflicts:     530000 | #Constraints:      39673
693.26/695.22	c #Conflicts:     531000 | #Constraints:      40673
693.26/695.22	c #Conflicts:     532000 | #Constraints:      41673
693.26/695.22	c #Conflicts:     533000 | #Constraints:      42673
693.26/695.22	c #Conflicts:     534000 | #Constraints:      43673
693.26/695.22	c #Conflicts:     535000 | #Constraints:      44673
693.26/695.22	c #Conflicts:     536000 | #Constraints:      45673
693.26/695.22	c #Conflicts:     537000 | #Constraints:      46673
693.26/695.22	c #Conflicts:     538000 | #Constraints:      47673
693.26/695.22	c #Conflicts:     539000 | #Constraints:      48673
693.26/695.22	c #Conflicts:     540000 | #Constraints:      49673
693.26/695.22	c #Conflicts:     541000 | #Constraints:      50673
693.26/695.22	c INPROCESSING
693.26/695.22	c GARBAGE COLLECT
693.26/695.22	c #Conflicts:     542000 | #Constraints:      30206
693.26/695.22	c #Conflicts:     543000 | #Constraints:      31206
693.26/695.22	c #Conflicts:     544000 | #Constraints:      32206
693.26/695.22	c #Conflicts:     545000 | #Constraints:      33206
693.26/695.22	c #Conflicts:     546000 | #Constraints:      34206
693.26/695.22	c #Conflicts:     547000 | #Constraints:      35206
693.26/695.22	c #Conflicts:     548000 | #Constraints:      36206
693.26/695.22	c #Conflicts:     549000 | #Constraints:      37206
693.26/695.22	c #Conflicts:     550000 | #Constraints:      38206
693.26/695.22	c #Conflicts:     551000 | #Constraints:      39206
693.26/695.22	c #Conflicts:     552000 | #Constraints:      40206
693.26/695.22	c #Conflicts:     553000 | #Constraints:      41206
693.26/695.22	c #Conflicts:     554000 | #Constraints:      42206
693.26/695.22	c #Conflicts:     555000 | #Constraints:      43206
693.26/695.22	c #Conflicts:     556000 | #Constraints:      44206
693.26/695.22	c #Conflicts:     557000 | #Constraints:      45206
693.26/695.22	c #Conflicts:     558000 | #Constraints:      46206
693.26/695.22	c INPROCESSING
693.26/695.22	c GARBAGE COLLECT
693.26/695.22	c #Conflicts:     559000 | #Constraints:      27877
693.26/695.22	c #Conflicts:     560000 | #Constraints:      28877
693.26/695.22	c #Conflicts:     561000 | #Constraints:      29877
693.26/695.22	c #Conflicts:     562000 | #Constraints:      30877
693.26/695.22	c #Conflicts:     563000 | #Constraints:      31877
693.26/695.22	c #Conflicts:     564000 | #Constraints:      32877
693.26/695.22	c #Conflicts:     565000 | #Constraints:      33877
693.26/695.22	c #Conflicts:     566000 | #Constraints:      34877
693.26/695.22	c #Conflicts:     567000 | #Constraints:      35877
693.26/695.22	c #Conflicts:     568000 | #Constraints:      36877
693.26/695.22	c #Conflicts:     569000 | #Constraints:      37877
693.26/695.22	c #Conflicts:     570000 | #Constraints:      38877
693.26/695.22	c #Conflicts:     571000 | #Constraints:      39877
693.26/695.22	c #Conflicts:     572000 | #Constraints:      40877
693.26/695.22	c #Conflicts:     573000 | #Constraints:      41877
693.26/695.22	c #Conflicts:     574000 | #Constraints:      42877
693.26/695.22	c #Conflicts:     575000 | #Constraints:      43877
693.26/695.22	c #Conflicts:     576000 | #Constraints:      44877
693.26/695.22	c INPROCESSING
693.26/695.22	c GARBAGE COLLECT
693.26/695.22	c rational objective 105
830.07/832.41	c #Conflicts:     577000 | #Constraints:      27346
830.07/832.41	c #Conflicts:     578000 | #Constraints:      28346
830.07/832.41	c #Conflicts:     579000 | #Constraints:      29346
830.07/832.41	c #Conflicts:     580000 | #Constraints:      30346
830.07/832.41	c #Conflicts:     581000 | #Constraints:      31346
830.07/832.41	c #Conflicts:     582000 | #Constraints:      32346
830.07/832.41	c #Conflicts:     583000 | #Constraints:      33346
830.07/832.41	c #Conflicts:     584000 | #Constraints:      34346
830.07/832.41	c #Conflicts:     585000 | #Constraints:      35346
830.07/832.41	c #Conflicts:     586000 | #Constraints:      36346
830.07/832.41	c #Conflicts:     587000 | #Constraints:      37346
830.07/832.41	c #Conflicts:     588000 | #Constraints:      38346
830.07/832.41	c #Conflicts:     589000 | #Constraints:      39346
830.07/832.41	c #Conflicts:     590000 | #Constraints:      40346
830.07/832.41	c #Conflicts:     591000 | #Constraints:      41346
830.07/832.41	c #Conflicts:     592000 | #Constraints:      42346
830.07/832.41	c #Conflicts:     593000 | #Constraints:      43346
830.07/832.41	c #Conflicts:     594000 | #Constraints:      44346
830.07/832.41	c #Conflicts:     595000 | #Constraints:      45346
830.07/832.41	c #Conflicts:     596000 | #Constraints:      46346
830.07/832.41	c #Conflicts:     597000 | #Constraints:      47346
830.07/832.41	c #Conflicts:     598000 | #Constraints:      48346
830.07/832.41	c #Conflicts:     599000 | #Constraints:      49346
830.07/832.41	c #Conflicts:     600000 | #Constraints:      50346
830.07/832.41	c #Conflicts:     601000 | #Constraints:      51346
830.07/832.41	c #Conflicts:     602000 | #Constraints:      52346
830.07/832.41	c #Conflicts:     603000 | #Constraints:      53346
830.07/832.41	c #Conflicts:     604000 | #Constraints:      54346
830.07/832.41	c #Conflicts:     605000 | #Constraints:      55346
830.07/832.41	c #Conflicts:     606000 | #Constraints:      56346
830.07/832.41	c #Conflicts:     607000 | #Constraints:      57346
830.07/832.41	c #Conflicts:     608000 | #Constraints:      58346
830.07/832.41	c #Conflicts:     609000 | #Constraints:      59346
830.07/832.41	c #Conflicts:     610000 | #Constraints:      60346
830.07/832.41	c #Conflicts:     611000 | #Constraints:      61346
830.07/832.41	c #Conflicts:     612000 | #Constraints:      62346
830.07/832.41	c #Conflicts:     613000 | #Constraints:      63346
830.07/832.41	c #Conflicts:     614000 | #Constraints:      64346
830.07/832.41	c #Conflicts:     615000 | #Constraints:      65346
830.07/832.41	c #Conflicts:     616000 | #Constraints:      66346
830.07/832.41	c #Conflicts:     617000 | #Constraints:      67346
830.07/832.41	c #Conflicts:     618000 | #Constraints:      68346
830.07/832.41	c #Conflicts:     619000 | #Constraints:      69346
830.07/832.41	c #Conflicts:     620000 | #Constraints:      70346
830.07/832.41	c #Conflicts:     621000 | #Constraints:      71346
830.07/832.41	c #Conflicts:     622000 | #Constraints:      72346
830.07/832.41	c #Conflicts:     623000 | #Constraints:      73346
830.07/832.41	c #Conflicts:     624000 | #Constraints:      74346
830.07/832.41	c #Conflicts:     625000 | #Constraints:      75346
830.07/832.41	c #Conflicts:     626000 | #Constraints:      76346
830.07/832.41	c #Conflicts:     627000 | #Constraints:      77346
830.07/832.41	c #Conflicts:     628000 | #Constraints:      78346
830.07/832.41	c #Conflicts:     629000 | #Constraints:      79346
830.07/832.41	c #Conflicts:     630000 | #Constraints:      80346
830.07/832.41	c #Conflicts:     631000 | #Constraints:      81346
830.07/832.41	c #Conflicts:     632000 | #Constraints:      82346
830.07/832.41	c #Conflicts:     633000 | #Constraints:      83346
830.07/832.41	c INPROCESSING
830.07/832.41	c GARBAGE COLLECT
830.07/832.41	c #Conflicts:     634000 | #Constraints:      46521
830.07/832.41	c #Conflicts:     635000 | #Constraints:      47521
830.07/832.41	c #Conflicts:     636000 | #Constraints:      48521
830.07/832.41	c #Conflicts:     637000 | #Constraints:      49521
830.07/832.41	c #Conflicts:     638000 | #Constraints:      50521
830.07/832.41	c #Conflicts:     639000 | #Constraints:      51521
830.07/832.41	c #Conflicts:     640000 | #Constraints:      52521
830.07/832.41	c #Conflicts:     641000 | #Constraints:      53521
830.07/832.41	c #Conflicts:     642000 | #Constraints:      54521
830.07/832.41	c #Conflicts:     643000 | #Constraints:      55521
830.07/832.41	c #Conflicts:     644000 | #Constraints:      56521
830.07/832.41	c #Conflicts:     645000 | #Constraints:      57521
830.07/832.41	c #Conflicts:     646000 | #Constraints:      58521
830.07/832.41	c #Conflicts:     647000 | #Constraints:      59521
830.07/832.41	c #Conflicts:     648000 | #Constraints:      60521
830.07/832.41	c #Conflicts:     649000 | #Constraints:      61521
830.07/832.41	c #Conflicts:     650000 | #Constraints:      62521
830.07/832.41	c #Conflicts:     651000 | #Constraints:      63521
830.07/832.41	c #Conflicts:     652000 | #Constraints:      64521
830.07/832.41	c INPROCESSING
830.07/832.41	c GARBAGE COLLECT
830.07/832.41	c #Conflicts:     653000 | #Constraints:      37097
830.07/832.41	c #Conflicts:     654000 | #Constraints:      38097
862.06/864.55	c #Conflicts:     655000 | #Constraints:      39097
862.06/864.55	c #Conflicts:     656000 | #Constraints:      40097
862.06/864.55	c #Conflicts:     657000 | #Constraints:      41097
862.06/864.55	c #Conflicts:     658000 | #Constraints:      42097
862.06/864.55	c #Conflicts:     659000 | #Constraints:      43097
862.06/864.55	c #Conflicts:     660000 | #Constraints:      44097
862.06/864.55	c #Conflicts:     661000 | #Constraints:      45097
862.06/864.55	c #Conflicts:     662000 | #Constraints:      46097
862.06/864.55	c #Conflicts:     663000 | #Constraints:      47097
862.06/864.55	c #Conflicts:     664000 | #Constraints:      48097
862.06/864.55	c #Conflicts:     665000 | #Constraints:      49097
862.06/864.55	c #Conflicts:     666000 | #Constraints:      50097
862.06/864.55	c #Conflicts:     667000 | #Constraints:      51097
862.06/864.55	c #Conflicts:     668000 | #Constraints:      52097
862.06/864.55	c #Conflicts:     669000 | #Constraints:      53097
862.06/864.55	c #Conflicts:     670000 | #Constraints:      54097
862.06/864.55	c #Conflicts:     671000 | #Constraints:      55097
862.06/864.55	c INPROCESSING
862.06/864.55	c GARBAGE COLLECT
862.06/864.55	c #Conflicts:     672000 | #Constraints:      32297
862.06/864.55	c #Conflicts:     673000 | #Constraints:      33297
862.06/864.55	c #Conflicts:     674000 | #Constraints:      34297
862.06/864.55	c #Conflicts:     675000 | #Constraints:      35297
862.06/864.55	c #Conflicts:     676000 | #Constraints:      36297
862.06/864.55	c #Conflicts:     677000 | #Constraints:      37297
862.06/864.55	c #Conflicts:     678000 | #Constraints:      38297
862.06/864.55	c #Conflicts:     679000 | #Constraints:      39297
862.06/864.55	c cpu time 854.081 s
862.06/864.55	c deterministic time 62765653840 6.28e+10
862.06/864.55	c optimization time 7.7e-05 s
862.06/864.55	c total solve time 853.999 s
862.06/864.55	c core-guided solve time 0 s
862.06/864.55	c propagation time 477.211 s
862.06/864.55	c conflict analysis time 313.727 s
862.06/864.55	c propagations 305360548
862.06/864.55	c resolve steps 27072101
862.06/864.55	c decisions 7485182
862.06/864.55	c conflicts 679721
862.06/864.55	c restarts 1467
862.06/864.55	c inprocessing phases 46
862.06/864.55	c garbage collections 46 ,( 100.00 )
862.06/864.55	c input clauses 7247 ,( 98.57 )
862.06/864.55	c input cardinalities 105 ,( 1.43 )
862.06/864.55	c input general constraints 0 ,( 0.00 )
862.06/864.55	c input average constraint length 6.24
862.06/864.55	c input average constraint degree 1.94
862.06/864.55	c learned clauses 486710 ,( 71.60 )
862.06/864.55	c learned cardinalities 18111 ,( 2.66 )
862.06/864.55	c learned general constraints 174914 ,( 25.73 )
862.06/864.55	c learned average constraint length 566.85
862.06/864.55	c learned average constraint degree 7569373.50
862.06/864.55	c watched  CF 32, 64, 128, Arb: 52433 , 0 , 0 , 0
862.06/864.55	c counting CF 32, 64, 128, Arb: 122481 , 0 , 0 , 0
862.06/864.55	c watched   constraints 52433 ,( 29.98 ) 
862.06/864.55	c counting  constraints 122481 ,( 70.02 ) 
862.06/864.55	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 373181129 , 212581079 , 701778878 ,( 46037536 , 655741342 )
862.06/864.55	c gcd simplifications 457
862.06/864.55	c detected cardinalities 1820
862.06/864.55	c weakened non-implied lits 117566115
862.06/864.55	c weakened non-implying lits 79676
862.06/864.55	c original variables 7140
862.06/864.55	c clausal propagations 122425720
862.06/864.55	c cardinality propagations 115205664
862.06/864.55	c watched propagations 1606386
862.06/864.55	c counting propagations 62944807
862.06/864.55	c watch lookups 28159966521
862.06/864.55	c watch backjump lookups 0
862.06/864.55	c watch checks 11049949849
862.06/864.55	c propagation checks 21605302334
862.06/864.55	c constraint additions 1323923685
862.06/864.55	c trail pops 313524957
862.06/864.55	c formula constraints 7352
862.06/864.55	c learned constraints 679714
862.06/864.55	c bound constraints 0
862.06/864.55	c core-guided constraints 0
862.06/864.55	c encountered formula constraints 17248092
862.06/864.55	c encountered learned constraints 10503679
862.06/864.55	c encountered bound constraints 0
862.06/864.55	c encountered core-guided constraints 0
862.06/864.55	c LP total time 54.4898 s
862.06/864.55	c LP solve time 47.03 s
862.06/864.55	c LP constraints added 8005
862.06/864.55	c LP constraints removed 534
862.06/864.55	c LP pivots internal 70735
862.06/864.55	c LP pivots root 70028
862.06/864.55	c LP calls 25
862.06/864.55	c LP optimalities 14
862.06/864.55	c LP no pivot count 1
862.06/864.55	c LP infeasibilities 7
862.06/864.55	c LP valid Farkas constraints 7
862.06/864.55	c LP learned Farkas constraints 7
862.06/864.55	c LP basis resets 0
862.06/864.55	c LP cycling count 0
862.06/864.55	c LP singular count 0
862.06/864.55	c LP no primal count 0
862.06/864.55	c LP no farkas count 0
862.06/864.55	c LP other issue count 0
862.06/864.55	c LP Gomory cuts 7
862.06/864.55	c LP learned cuts 646
862.06/864.55	c LP deleted cuts 534
862.06/864.55	c LP encountered Gomory constraints 10
862.06/864.55	c LP encountered Farkas constraints 26
862.06/864.55	c LP encountered learned Farkas constraints 8
862.06/864.55	c CG auxiliary variables introduced 0
862.06/864.55	c CG solutions found 0
862.06/864.55	c CG cores constructed 0
862.06/864.55	c CG core cardinality constraints returned 0
862.06/864.55	c CG unit cores 0
862.06/864.55	c CG single cores 0
862.06/864.55	c CG blocks removed during cardinality reduction 0
862.06/864.55	c CG first core best 0
862.06/864.55	c CG decision core best 0
862.06/864.55	c CG core reduction tie 0
862.06/864.55	c CG core degree average 0.00
862.06/864.55	c CG core slack average 0.00
862.06/864.55	c CG core upper bound improvements 0
862.06/864.55	c STR number of successful calls 0
862.06/864.55	c STR number of unsuccessful calls 0
862.06/864.55	c STR number of inconclusive calls 0
862.06/864.55	c STR number of successful attempts 0
862.06/864.55	c STR number of unsuccessful attempts 0
862.06/864.55	c STR number of inconclusive attempts 0
862.06/864.55	c STR average degree increase per successful call inf
862.06/864.55	c STR average degree increase per successful attempt inf
862.06/864.55	c STR total number of conflicts for successful attempts 0
862.06/864.55	c STR total number of conflicts for unsuccessful attempts 0
862.06/864.55	c STR total number of conflicts for inconclusive attempts 0
862.06/864.55	c STR average number of conflicts per successful attempt inf
862.06/864.55	c STR average number of conflicts per unsuccessful attempt inf
862.06/864.55	c STR average number of conflicts per inconclusive attempt inf
862.06/864.55	c AVG.sumWPerc 61.47 
862.06/864.55	c bigint constraints 0 
862.06/864.55	s SATISFIABLE
862.06/864.55	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 -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 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 x3963 -x3964 x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 x4534 -x4535 x4536 -x4537 x4538 -x4539 x4540 -x4541 x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 x4949 -x4950 x4951 -x4952 x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 x5314 -x5315 x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 x5491 -x5492 x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 x6279 -x6280 -x6281 -x6282 x6283 -x6284 -x6285 -x6286 -x6287 -x6288 x6289 -x6290 x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 x6369 -x6370 -x6371 -x6372 x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 x6475 -x6476 x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 x6544 -x6545 x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 x6624 -x6625 x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 x7140

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: 63794 MiB (62898 MiB free)
  memory of node 1: 64507 MiB (63065 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507552-1751188683/watcher-4507552-1751188683 -o /tmp/evaluation-result-4507552-1751188683/solver-4507552-1751188683 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751180326-22848 --watchdog 3760 run-dec.sh HOME/instance-4507552-1751188683.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 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=23804, runsolver pid=23801

[startup+0.100102 s]*
/proc/loadavg: 4.11 4.12 4.14 5/255 23806
/proc/meminfo: memFree=128982848/131382116 swapFree=33010684/33010684
[pid=23804] ppid=23801 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23804/stat : 23804 (run-dec.sh) S 23801 23804 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34547992 4292608 768 18446744073709551615 94856797446144 94856798340677 140732677565168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856798579728 94856798627472 94856824008704 140732677568877 140732677569000 140732677569000 140732677574602 0
/proc/23804/statm: 1048 768 704 219 0 110 0
[pid=23806] ppid=23804 vsize=61660 memory=15344 CPUtime=0.08 cores=0,2
/proc/23806/stat : 23806 (roundingsat) R 23804 23804 22838 0 -1 4194304 2377 0 0 0 6 2 0 0 20 0 1 0 34547993 63139840 3836 18446744073709551615 4227072 8923433 140724324350320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12787712 140724324354487 140724324354600 140724324354600 140724324360170 0
/proc/23806/statm: 15415 3836 2240 1147 0 2842 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 65852 KiB
Current children cumulated memory: 18416 KiB

[startup+0.21378 s]*
/proc/loadavg: 4.11 4.12 4.14 5/255 23806
/proc/meminfo: memFree=128978816/131382116 swapFree=33010684/33010684
[pid=23804] ppid=23801 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23804/stat : 23804 (run-dec.sh) S 23801 23804 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34547992 4292608 768 18446744073709551615 94856797446144 94856798340677 140732677565168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856798579728 94856798627472 94856824008704 140732677568877 140732677569000 140732677569000 140732677574602 0
/proc/23804/statm: 1048 768 704 219 0 110 0
[pid=23806] ppid=23804 vsize=71836 memory=24504 CPUtime=0.2 cores=0,2
/proc/23806/stat : 23806 (roundingsat) R 23804 23804 22838 0 -1 4194304 4759 0 0 0 16 4 0 0 20 0 1 0 34547993 73560064 6126 18446744073709551615 4227072 8923433 140724324350320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12787712 140724324354487 140724324354600 140724324354600 140724324360170 0
/proc/23806/statm: 17959 6126 2240 1147 0 5386 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 76028 KiB
Current children cumulated memory: 27576 KiB

[startup+0.313721 s]*
/proc/loadavg: 4.11 4.12 4.14 5/255 23806
/proc/meminfo: memFree=128978816/131382116 swapFree=33010684/33010684
[pid=23804] ppid=23801 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23804/stat : 23804 (run-dec.sh) S 23801 23804 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34547992 4292608 768 18446744073709551615 94856797446144 94856798340677 140732677565168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856798579728 94856798627472 94856824008704 140732677568877 140732677569000 140732677569000 140732677574602 0
/proc/23804/statm: 1048 768 704 219 0 110 0
[pid=23806] ppid=23804 vsize=72012 memory=25016 CPUtime=0.3 cores=0,2
/proc/23806/stat : 23806 (roundingsat) R 23804 23804 22838 0 -1 4194304 4890 0 0 0 26 4 0 0 20 0 1 0 34547993 73740288 6254 18446744073709551615 4227072 8923433 140724324350320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12787712 140724324354487 140724324354600 140724324354600 140724324360170 0
/proc/23806/statm: 18003 6254 2240 1147 0 5430 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 76204 KiB
Current children cumulated memory: 28088 KiB

[startup+0.700386 s]
/proc/loadavg: 4.11 4.12 4.14 5/255 23806
/proc/meminfo: memFree=128978816/131382116 swapFree=33010684/33010684
[pid=23804] ppid=23801 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23804/stat : 23804 (run-dec.sh) S 23801 23804 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34547992 4292608 768 18446744073709551615 94856797446144 94856798340677 140732677565168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856798579728 94856798627472 94856824008704 140732677568877 140732677569000 140732677569000 140732677574602 0
/proc/23804/statm: 1048 768 704 219 0 110 0
[pid=23806] ppid=23804 vsize=72716 memory=26040 CPUtime=0.67 cores=0,2
/proc/23806/stat : 23806 (roundingsat) R 23804 23804 22838 0 -1 4194304 5124 0 0 0 63 4 0 0 20 0 1 0 34547993 74461184 6510 18446744073709551615 4227072 8923433 140724324350320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12787712 140724324354487 140724324354600 140724324354600 140724324360170 0
/proc/23806/statm: 18179 6510 2272 1147 0 5606 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 76908 KiB
Current children cumulated memory: 29112 KiB

[startup+1.50037 s]
/proc/loadavg: 4.11 4.12 4.14 5/255 23806
/proc/meminfo: memFree=128975036/131382116 swapFree=33010684/33010684
[pid=23804] ppid=23801 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23804/stat : 23804 (run-dec.sh) S 23801 23804 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34547992 4292608 768 18446744073709551615 94856797446144 94856798340677 140732677565168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856798579728 94856798627472 94856824008704 140732677568877 140732677569000 140732677569000 140732677574602 0
/proc/23804/statm: 1048 768 704 219 0 110 0
[pid=23806] ppid=23804 vsize=73752 memory=26936 CPUtime=1.47 cores=0,2
/proc/23806/stat : 23806 (roundingsat) R 23804 23804 22838 0 -1 4194304 5349 0 0 0 142 5 0 0 20 0 1 0 34547993 75522048 6734 18446744073709551615 4227072 8923433 140724324350320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12787712 140724324354487 140724324354600 140724324354600 140724324360170 0
/proc/23806/statm: 18438 6734 2272 1147 0 5865 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 77944 KiB
Current children cumulated memory: 30008 KiB

[startup+3.11345 s]
/proc/loadavg: 4.11 4.12 4.14 5/255 23806
/proc/meminfo: memFree=128954936/131382116 swapFree=33010684/33010684
[pid=23804] ppid=23801 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23804/stat : 23804 (run-dec.sh) S 23801 23804 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34547992 4292608 768 18446744073709551615 94856797446144 94856798340677 140732677565168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856798579728 94856798627472 94856824008704 140732677568877 140732677569000 140732677569000 140732677574602 0
/proc/23804/statm: 1048 768 704 219 0 110 0
[pid=23806] ppid=23804 vsize=78576 memory=36084 CPUtime=3.08 cores=0,2
/proc/23806/stat : 23806 (roundingsat) R 23804 23804 22838 0 -1 4194304 7058 0 0 0 295 13 0 0 20 0 1 0 34547993 80461824 9021 18446744073709551615 4227072 8923433 140724324350320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12787712 140724324354487 140724324354600 140724324354600 140724324360170 0
/proc/23806/statm: 19644 9021 2336 1147 0 7071 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 82768 KiB
Current children cumulated memory: 39156 KiB

[startup+6.30036 s]
/proc/loadavg: 4.10 4.12 4.14 5/255 23806
/proc/meminfo: memFree=128953424/131382116 swapFree=33010684/33010684
[pid=23804] ppid=23801 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23804/stat : 23804 (run-dec.sh) S 23801 23804 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34547992 4292608 768 18446744073709551615 94856797446144 94856798340677 140732677565168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856798579728 94856798627472 94856824008704 140732677568877 140732677569000 140732677569000 140732677574602 0
/proc/23804/statm: 1048 768 704 219 0 110 0
[pid=23806] ppid=23804 vsize=87088 memory=41972 CPUtime=6.25 cores=0,2
/proc/23806/stat : 23806 (roundingsat) R 23804 23804 22838 0 -1 4194304 8548 0 0 0 602 23 0 0 20 0 1 0 34547993 89178112 10493 18446744073709551615 4227072 8923433 140724324350320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12787712 140724324354487 140724324354600 140724324354600 140724324360170 0
/proc/23806/statm: 21772 10493 2336 1147 0 9199 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 91280 KiB
Current children cumulated memory: 45044 KiB

[startup+12.7004 s]
/proc/loadavg: 4.17 4.13 4.15 5/255 23806
/proc/meminfo: memFree=128947628/131382116 swapFree=33010684/33010684
[pid=23804] ppid=23801 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23804/stat : 23804 (run-dec.sh) S 23801 23804 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34547992 4292608 768 18446744073709551615 94856797446144 94856798340677 140732677565168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856798579728 94856798627472 94856824008704 140732677568877 140732677569000 140732677569000 140732677574602 0
/proc/23804/statm: 1048 768 704 219 0 110 0
[pid=23806] ppid=23804 vsize=89240 memory=46324 CPUtime=12.64 cores=0,2
/proc/23806/stat : 23806 (roundingsat) R 23804 23804 22838 0 -1 4194304 9645 0 0 0 1223 41 0 0 20 0 1 0 34547993 91381760 11581 18446744073709551615 4227072 8923433 140724324350320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12787712 140724324354487 140724324354600 140724324354600 140724324360170 0
/proc/23806/statm: 22310 11581 2336 1147 0 9737 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 93432 KiB
Current children cumulated memory: 49396 KiB

[startup+25.5004 s]
/proc/loadavg: 4.13 4.13 4.15 5/255 23806
/proc/meminfo: memFree=128908220/131382116 swapFree=33010684/33010684
[pid=23804] ppid=23801 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23804/stat : 23804 (run-dec.sh) S 23801 23804 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34547992 4292608 768 18446744073709551615 94856797446144 94856798340677 140732677565168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856798579728 94856798627472 94856824008704 140732677568877 140732677569000 140732677569000 140732677574602 0
/proc/23804/statm: 1048 768 704 219 0 110 0
[pid=23806] ppid=23804 vsize=130328 memory=87604 CPUtime=25.4 cores=0,2
/proc/23806/stat : 23806 (roundingsat) R 23804 23804 22838 0 -1 4194304 15876 0 0 0 2470 70 0 0 20 0 1 0 34547993 133455872 21901 18446744073709551615 4227072 8923433 140724324350320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12787712 140724324354487 140724324354600 140724324354600 140724324360170 0
/proc/23806/statm: 32582 21901 2336 1147 0 20009 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 134520 KiB
Current children cumulated memory: 90676 KiB

[startup+51.1137 s]
/proc/loadavg: 4.09 4.12 4.14 5/255 23807
/proc/meminfo: memFree=128860664/131382116 swapFree=33010684/33010684
[pid=23804] ppid=23801 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23804/stat : 23804 (run-dec.sh) S 23801 23804 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34547992 4292608 768 18446744073709551615 94856797446144 94856798340677 140732677565168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856798579728 94856798627472 94856824008704 140732677568877 140732677569000 140732677569000 140732677574602 0
/proc/23804/statm: 1048 768 704 219 0 110 0
[pid=23806] ppid=23804 vsize=169856 memory=116332 CPUtime=50.95 cores=0,2
/proc/23806/stat : 23806 (roundingsat) R 23804 23804 22838 0 -1 4194304 21020 0 0 0 4980 115 0 0 20 0 1 0 34547993 173932544 29083 18446744073709551615 4227072 8923433 140724324350320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12787712 140724324354487 140724324354600 140724324354600 140724324360170 0
/proc/23806/statm: 42464 29083 2336 1147 0 29891 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 174048 KiB
Current children cumulated memory: 119404 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.14 5/254 23809
/proc/meminfo: memFree=128801440/131382116 swapFree=33010684/33010684
[pid=23804] ppid=23801 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23804/stat : 23804 (run-dec.sh) S 23801 23804 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34547992 4292608 768 18446744073709551615 94856797446144 94856798340677 140732677565168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856798579728 94856798627472 94856824008704 140732677568877 140732677569000 140732677569000 140732677574602 0
/proc/23804/statm: 1048 768 704 219 0 110 0
[pid=23806] ppid=23804 vsize=234404 memory=166760 CPUtime=101.99 cores=0,2
/proc/23806/stat : 23806 (roundingsat) R 23804 23804 22838 0 -1 4194304 29523 0 0 0 10009 190 0 0 20 0 1 0 34547993 240029696 41690 18446744073709551615 4227072 8923433 140724324350320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12787712 140724324354487 140724324354600 140724324354600 140724324360170 0
/proc/23806/statm: 58601 41690 2336 1147 0 46028 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 238596 KiB
Current children cumulated memory: 169832 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/259 23824
/proc/meminfo: memFree=128768156/131382116 swapFree=33010684/33010684
[pid=23804] ppid=23801 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23804/stat : 23804 (run-dec.sh) S 23801 23804 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34547992 4292608 768 18446744073709551615 94856797446144 94856798340677 140732677565168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856798579728 94856798627472 94856824008704 140732677568877 140732677569000 140732677569000 140732677574602 0
/proc/23804/statm: 1048 768 704 219 0 110 0
[pid=23806] ppid=23804 vsize=251024 memory=188216 CPUtime=161.83 cores=0,2
/proc/23806/stat : 23806 (roundingsat) R 23804 23804 22838 0 -1 4194304 33368 0 0 0 15922 261 0 0 20 0 1 0 34547993 257048576 47054 18446744073709551615 4227072 8923433 140724324350320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12787712 140724324354487 140724324354600 140724324354600 140724324360170 0
/proc/23806/statm: 62756 47054 2336 1147 0 50183 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 255216 KiB
Current children cumulated memory: 191288 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/256 23827
/proc/meminfo: memFree=128616504/131382116 swapFree=33010684/33010684
[pid=23804] ppid=23801 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23804/stat : 23804 (run-dec.sh) S 23801 23804 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34547992 4292608 768 18446744073709551615 94856797446144 94856798340677 140732677565168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856798579728 94856798627472 94856824008704 140732677568877 140732677569000 140732677569000 140732677574602 0
/proc/23804/statm: 1048 768 704 219 0 110 0
[pid=23806] ppid=23804 vsize=397340 memory=289564 CPUtime=221.66 cores=0,2
/proc/23806/stat : 23806 (roundingsat) R 23804 23804 22838 0 -1 4194304 38275 0 0 0 21853 313 0 0 20 0 1 0 34547993 406876160 72391 18446744073709551615 4227072 8923433 140724324350320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12787712 140724324354487 140724324354600 140724324354600 140724324360170 0
/proc/23806/statm: 99335 72391 2336 1147 0 86762 0

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

/proc/23806/stat : 23806 (roundingsat) R 23804 23804 22838 0 -1 4194304 53912 0 0 0 63423 628 0 0 20 0 1 0 34547993 610156544 102778 18446744073709551615 4227072 8923433 140724324350320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12787712 140724324354487 140724324354600 140724324354600 140724324360170 0
/proc/23806/statm: 148964 102778 2336 1147 0 136391 0
Current children cumulated CPU time: 640.51 s
Current children cumulated vsize: 600048 KiB
Current children cumulated memory: 414184 KiB

[startup+702.3 s]
/proc/loadavg: 4.11 4.20 4.17 5/256 23850
/proc/meminfo: memFree=128057316/131382116 swapFree=33010684/33010684
[pid=23804] ppid=23801 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23804/stat : 23804 (run-dec.sh) S 23801 23804 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34547992 4292608 768 18446744073709551615 94856797446144 94856798340677 140732677565168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856798579728 94856798627472 94856824008704 140732677568877 140732677569000 140732677569000 140732677574602 0
/proc/23804/statm: 1048 768 704 219 0 110 0
[pid=23806] ppid=23804 vsize=596056 memory=411368 CPUtime=700.34 cores=0,2
/proc/23806/stat : 23806 (roundingsat) R 23804 23804 22838 0 -1 4194304 53968 0 0 0 69339 695 0 0 20 0 1 0 34547993 610361344 102842 18446744073709551615 4227072 8923433 140724324350320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12787712 140724324354487 140724324354600 140724324354600 140724324360170 0
/proc/23806/statm: 149014 102842 2336 1147 0 136441 0
Current children cumulated CPU time: 700.34 s
Current children cumulated vsize: 600248 KiB
Current children cumulated memory: 414440 KiB

[startup+762.3 s]
/proc/loadavg: 4.09 4.18 4.17 5/255 23853
/proc/meminfo: memFree=128060880/131382116 swapFree=33010684/33010684
[pid=23804] ppid=23801 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23804/stat : 23804 (run-dec.sh) S 23801 23804 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34547992 4292608 768 18446744073709551615 94856797446144 94856798340677 140732677565168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856798579728 94856798627472 94856824008704 140732677568877 140732677569000 140732677569000 140732677574602 0
/proc/23804/statm: 1048 768 704 219 0 110 0
[pid=23806] ppid=23804 vsize=598480 memory=414184 CPUtime=760.18 cores=0,2
/proc/23806/stat : 23806 (roundingsat) R 23804 23804 22838 0 -1 4194304 54691 0 0 0 75284 734 0 0 20 0 1 0 34547993 612843520 103546 18446744073709551615 4227072 8923433 140724324350320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12787712 140724324354487 140724324354600 140724324354600 140724324360170 0
/proc/23806/statm: 149620 103546 2336 1147 0 137047 0
Current children cumulated CPU time: 760.18 s
Current children cumulated vsize: 602672 KiB
Current children cumulated memory: 417256 KiB

[startup+822.3 s]
/proc/loadavg: 4.14 4.18 4.17 5/255 23858
/proc/meminfo: memFree=128030104/131382116 swapFree=33010684/33010684
[pid=23804] ppid=23801 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23804/stat : 23804 (run-dec.sh) S 23801 23804 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34547992 4292608 768 18446744073709551615 94856797446144 94856798340677 140732677565168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856798579728 94856798627472 94856824008704 140732677568877 140732677569000 140732677569000 140732677574602 0
/proc/23804/statm: 1048 768 704 219 0 110 0
[pid=23806] ppid=23804 vsize=609964 memory=424808 CPUtime=820.01 cores=0,2
/proc/23806/stat : 23806 (roundingsat) R 23804 23804 22838 0 -1 4194304 57354 0 0 0 81233 768 0 0 20 0 1 0 34547993 624603136 106202 18446744073709551615 4227072 8923433 140724324350320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12787712 140724324354487 140724324354600 140724324354600 140724324360170 0
/proc/23806/statm: 152491 106202 2336 1147 0 139918 0
Current children cumulated CPU time: 820.01 s
Current children cumulated vsize: 614156 KiB
Current children cumulated memory: 427880 KiB

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

# cumulated CPU time of all completed processes:  user=854.088 s, system=8.0523 s

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

[startup+844.8 s]
/proc/loadavg: 4.16 4.18 4.17 5/256 23861
/proc/meminfo: memFree=128028200/131382116 swapFree=33010684/33010684
[pid=23804] ppid=23801 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23804/stat : 23804 (run-dec.sh) S 23801 23804 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34547992 4292608 768 18446744073709551615 94856797446144 94856798340677 140732677565168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856798579728 94856798627472 94856824008704 140732677568877 140732677569000 140732677569000 140732677574602 0
/proc/23804/statm: 1048 768 704 219 0 110 0
[pid=23806] ppid=23804 vsize=609964 memory=425704 CPUtime=842.44 cores=0,2
/proc/23806/stat : 23806 (roundingsat) R 23804 23804 22838 0 -1 4194304 57414 0 0 0 83460 784 0 0 20 0 1 0 34547993 624603136 106426 18446744073709551615 4227072 8923433 140724324350320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12787712 140724324354487 140724324354600 140724324354600 140724324360170 0
/proc/23806/statm: 152491 106426 2336 1147 0 139918 0
Current children cumulated CPU time: 842.44 s
Current children cumulated vsize: 614156 KiB
Current children cumulated memory: 428776 KiB

[startup+857.6 s]
/proc/loadavg: 4.12 4.17 4.16 5/256 23861
/proc/meminfo: memFree=128017956/131382116 swapFree=33010684/33010684
[pid=23804] ppid=23801 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23804/stat : 23804 (run-dec.sh) S 23801 23804 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34547992 4292608 768 18446744073709551615 94856797446144 94856798340677 140732677565168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856798579728 94856798627472 94856824008704 140732677568877 140732677569000 140732677569000 140732677574602 0
/proc/23804/statm: 1048 768 704 219 0 110 0
[pid=23806] ppid=23804 vsize=609964 memory=425704 CPUtime=855.19 cores=0,2
/proc/23806/stat : 23806 (roundingsat) R 23804 23804 22838 0 -1 4194304 57422 0 0 0 84726 793 0 0 20 0 1 0 34547993 624603136 106426 18446744073709551615 4227072 8923433 140724324350320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12787712 140724324354487 140724324354600 140724324354600 140724324360170 0
/proc/23806/statm: 152491 106426 2336 1147 0 139918 0
Current children cumulated CPU time: 855.19 s
Current children cumulated vsize: 614156 KiB
Current children cumulated memory: 428776 KiB

[startup+860.8 s]
/proc/loadavg: 4.11 4.17 4.16 5/256 23861
/proc/meminfo: memFree=128019764/131382116 swapFree=33010684/33010684
[pid=23804] ppid=23801 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23804/stat : 23804 (run-dec.sh) S 23801 23804 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34547992 4292608 768 18446744073709551615 94856797446144 94856798340677 140732677565168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856798579728 94856798627472 94856824008704 140732677568877 140732677569000 140732677569000 140732677574602 0
/proc/23804/statm: 1048 768 704 219 0 110 0
[pid=23806] ppid=23804 vsize=609964 memory=425704 CPUtime=858.36 cores=0,2
/proc/23806/stat : 23806 (roundingsat) R 23804 23804 22838 0 -1 4194304 57430 0 0 0 85039 797 0 0 20 0 1 0 34547993 624603136 106426 18446744073709551615 4227072 8923433 140724324350320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12787712 140724324354487 140724324354600 140724324354600 140724324360170 0
/proc/23806/statm: 152491 106426 2336 1147 0 139918 0
Current children cumulated CPU time: 858.36 s
Current children cumulated vsize: 614156 KiB
Current children cumulated memory: 428776 KiB

[startup+862.4 s]
/proc/loadavg: 4.11 4.17 4.16 5/256 23861
/proc/meminfo: memFree=128020016/131382116 swapFree=33010684/33010684
[pid=23804] ppid=23801 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23804/stat : 23804 (run-dec.sh) S 23801 23804 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34547992 4292608 768 18446744073709551615 94856797446144 94856798340677 140732677565168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856798579728 94856798627472 94856824008704 140732677568877 140732677569000 140732677569000 140732677574602 0
/proc/23804/statm: 1048 768 704 219 0 110 0
[pid=23806] ppid=23804 vsize=609964 memory=425704 CPUtime=859.96 cores=0,2
/proc/23806/stat : 23806 (roundingsat) R 23804 23804 22838 0 -1 4194304 57430 0 0 0 85195 801 0 0 20 0 1 0 34547993 624603136 106426 18446744073709551615 4227072 8923433 140724324350320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12787712 140724324354487 140724324354600 140724324354600 140724324360170 0
/proc/23806/statm: 152491 106426 2336 1147 0 139918 0
Current children cumulated CPU time: 859.96 s
Current children cumulated vsize: 614156 KiB
Current children cumulated memory: 428776 KiB

[startup+863.2 s]
/proc/loadavg: 4.11 4.17 4.16 5/256 23861
/proc/meminfo: memFree=128020016/131382116 swapFree=33010684/33010684
[pid=23804] ppid=23801 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23804/stat : 23804 (run-dec.sh) S 23801 23804 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34547992 4292608 768 18446744073709551615 94856797446144 94856798340677 140732677565168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856798579728 94856798627472 94856824008704 140732677568877 140732677569000 140732677569000 140732677574602 0
/proc/23804/statm: 1048 768 704 219 0 110 0
[pid=23806] ppid=23804 vsize=609964 memory=425704 CPUtime=860.76 cores=0,2
/proc/23806/stat : 23806 (roundingsat) R 23804 23804 22838 0 -1 4194304 57430 0 0 0 85274 802 0 0 20 0 1 0 34547993 624603136 106426 18446744073709551615 4227072 8923433 140724324350320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12787712 140724324354487 140724324354600 140724324354600 140724324360170 0
/proc/23806/statm: 152491 106426 2336 1147 0 139918 0
Current children cumulated CPU time: 860.76 s
Current children cumulated vsize: 614156 KiB
Current children cumulated memory: 428776 KiB

[startup+864 s]*
/proc/loadavg: 4.11 4.17 4.16 5/256 23861
/proc/meminfo: memFree=128020016/131382116 swapFree=33010684/33010684
[pid=23804] ppid=23801 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23804/stat : 23804 (run-dec.sh) S 23801 23804 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34547992 4292608 768 18446744073709551615 94856797446144 94856798340677 140732677565168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856798579728 94856798627472 94856824008704 140732677568877 140732677569000 140732677569000 140732677574602 0
/proc/23804/statm: 1048 768 704 219 0 110 0
[pid=23806] ppid=23804 vsize=609964 memory=425704 CPUtime=861.58 cores=0,2
/proc/23806/stat : 23806 (roundingsat) R 23804 23804 22838 0 -1 4194304 57430 0 0 0 85355 803 0 0 20 0 1 0 34547993 624603136 106426 18446744073709551615 4227072 8923433 140724324350320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12787712 140724324354487 140724324354600 140724324354600 140724324360170 0
/proc/23806/statm: 152491 106426 2336 1147 0 139918 0
Current children cumulated CPU time: 861.58 s
Current children cumulated vsize: 614156 KiB
Current children cumulated memory: 428776 KiB

[startup+864.4 s]
/proc/loadavg: 4.11 4.17 4.16 5/256 23861
/proc/meminfo: memFree=128020016/131382116 swapFree=33010684/33010684
[pid=23804] ppid=23801 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23804/stat : 23804 (run-dec.sh) S 23801 23804 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34547992 4292608 768 18446744073709551615 94856797446144 94856798340677 140732677565168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856798579728 94856798627472 94856824008704 140732677568877 140732677569000 140732677569000 140732677574602 0
/proc/23804/statm: 1048 768 704 219 0 110 0
[pid=23806] ppid=23804 vsize=609964 memory=425704 CPUtime=861.96 cores=0,2
/proc/23806/stat : 23806 (roundingsat) R 23804 23804 22838 0 -1 4194304 57430 0 0 0 85393 803 0 0 20 0 1 0 34547993 624603136 106426 18446744073709551615 4227072 8923433 140724324350320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12787712 140724324354487 140724324354600 140724324354600 140724324360170 0
/proc/23806/statm: 152491 106426 2336 1147 0 139918 0
Current children cumulated CPU time: 861.96 s
Current children cumulated vsize: 614156 KiB
Current children cumulated memory: 428776 KiB

[startup+864.5 s]
/proc/loadavg: 4.11 4.17 4.16 5/256 23861
/proc/meminfo: memFree=128020016/131382116 swapFree=33010684/33010684
[pid=23804] ppid=23801 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23804/stat : 23804 (run-dec.sh) S 23801 23804 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34547992 4292608 768 18446744073709551615 94856797446144 94856798340677 140732677565168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856798579728 94856798627472 94856824008704 140732677568877 140732677569000 140732677569000 140732677574602 0
/proc/23804/statm: 1048 768 704 219 0 110 0
[pid=23806] ppid=23804 vsize=609964 memory=425704 CPUtime=862.06 cores=0,2
/proc/23806/stat : 23806 (roundingsat) R 23804 23804 22838 0 -1 4194304 57430 0 0 0 85403 803 0 0 20 0 1 0 34547993 624603136 106426 18446744073709551615 4227072 8923433 140724324350320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12787712 140724324354487 140724324354600 140724324354600 140724324360170 0
/proc/23806/statm: 152491 106426 2336 1147 0 139918 0
Current children cumulated CPU time: 862.06 s
Current children cumulated vsize: 614156 KiB
Current children cumulated memory: 428776 KiB

Child status: 0

Real time (s): 864.567
CPU time (s): 862.14
CPU user time (s): 854.088
CPU system time (s): 8.0523
CPU usage (%): 99.7193
Max. virtual memory (cumulated for all children) (KiB): 614156
Max. memory (cumulated for all children) (KiB): 428776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 854.088
system time used= 8.0523
maximum resident set size= 425704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57661
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 173
involuntary context switches= 1939


# summary of solver processes directly reported to runsolver:
#   pid: 23804
#   total CPU time (s): 862.14
#   total CPU user time (s): 854.088
#   total CPU system time (s): 8.0523

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.67614 second user time and 9.05536 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-06-29 11:18:03
IDJOB=4507552
IDBENCH=158365
IDSOLVER=3349
FILE ID=nodeC011/4507552-1751188683
RUNJOBID= nodeC011-1751180326-22848
SLURM_JOB_ID= 9587547
Free space on /tmp= 433032 MiB

SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K105.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507552-1751188683/watcher-4507552-1751188683 -o /tmp/evaluation-result-4507552-1751188683/solver-4507552-1751188683 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751180326-22848 --watchdog 3760  run-dec.sh HOME/instance-4507552-1751188683.opb

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

MD5SUM BENCH= 7361f1d7a542e71300a3f7026fcde645
RANDOM SEED=1041019944

nodeC011 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	: 0xb00001f
cpu MHz		: 1197.702
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 3691.651
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 1197.290
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 1197.549
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 3662.486
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 3691.608
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 1198.012
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        128986608 kB
MemAvailable:   128649828 kB
Buffers:            3280 kB
Cached:           474500 kB
SwapCached:            0 kB
Active:          1596188 kB
Inactive:         226640 kB
Active(anon):    1363060 kB
Inactive(anon):        0 kB
Active(file):     233128 kB
Inactive(file):   226640 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7848 kB
Writeback:             0 kB
AnonPages:       1345828 kB
Mapped:           115092 kB
Shmem:             17960 kB
KReclaimable:      85776 kB
Slab:             165528 kB
SReclaimable:      85776 kB
SUnreclaim:        79752 kB
KernelStack:        4096 kB
PageTables:         5872 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    1952768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    960512 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:      191304 kB
DirectMap2M:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433024 MiB
End job on nodeC011 at 2025-06-29 11:32:27