Trace number 4507555

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-ls-log 63f22adSAT 909.903 912.428

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.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.00/0.06	c #variables 7140 #constraints 7352
48.15/48.38	c #Conflicts:       1000 | #Constraints:       8351
48.15/48.38	c #Conflicts:       2000 | #Constraints:       9351
48.15/48.38	c INPROCESSING
48.15/48.38	c GARBAGE COLLECT
48.15/48.38	c #Conflicts:       3000 | #Constraints:       8973
48.15/48.38	c #Conflicts:       4000 | #Constraints:       9973
48.15/48.38	c INPROCESSING
48.15/48.38	c GARBAGE COLLECT
48.15/48.38	c #Conflicts:       5000 | #Constraints:       9430
48.15/48.38	c #Conflicts:       6000 | #Constraints:      10430
48.15/48.38	c INPROCESSING
48.15/48.38	c GARBAGE COLLECT
48.15/48.38	c #Conflicts:       7000 | #Constraints:       9508
48.15/48.38	c #Conflicts:       8000 | #Constraints:      10508
48.15/48.38	c #Conflicts:       9000 | #Constraints:      11508
48.15/48.38	c INPROCESSING
48.15/48.38	c GARBAGE COLLECT
48.15/48.38	c #Conflicts:      10000 | #Constraints:      10265
48.15/48.38	c #Conflicts:      11000 | #Constraints:      11265
48.15/48.38	c #Conflicts:      12000 | #Constraints:      12265
48.15/48.38	c INPROCESSING
48.15/48.38	c GARBAGE COLLECT
48.15/48.38	c #Conflicts:      13000 | #Constraints:      10759
48.15/48.38	c #Conflicts:      14000 | #Constraints:      11759
48.15/48.38	c #Conflicts:      15000 | #Constraints:      12759
48.15/48.38	c INPROCESSING
48.15/48.38	c GARBAGE COLLECT
48.15/48.38	c #Conflicts:      16000 | #Constraints:      11040
48.15/48.38	c #Conflicts:      17000 | #Constraints:      12040
48.15/48.38	c #Conflicts:      18000 | #Constraints:      13040
48.15/48.38	c INPROCESSING
48.15/48.38	c GARBAGE COLLECT
48.15/48.38	c #Conflicts:      19000 | #Constraints:      11077
48.15/48.38	c #Conflicts:      20000 | #Constraints:      12077
48.15/48.38	c #Conflicts:      21000 | #Constraints:      13078
48.15/48.38	c INPROCESSING
48.15/48.38	c GARBAGE COLLECT
48.15/48.38	c #Conflicts:      22000 | #Constraints:      10906
48.15/48.38	c #Conflicts:      23000 | #Constraints:      11906
48.15/48.38	c #Conflicts:      24000 | #Constraints:      12906
48.15/48.38	c #Conflicts:      25000 | #Constraints:      13906
48.15/48.38	c INPROCESSING
48.15/48.38	c GARBAGE COLLECT
48.15/48.38	c #Conflicts:      26000 | #Constraints:      11541
48.15/48.38	c #Conflicts:      27000 | #Constraints:      12541
48.15/48.38	c #Conflicts:      28000 | #Constraints:      13541
48.15/48.38	c #Conflicts:      29000 | #Constraints:      14541
48.15/48.38	c INPROCESSING
48.15/48.38	c GARBAGE COLLECT
48.15/48.38	c #Conflicts:      30000 | #Constraints:      11956
48.15/48.38	c #Conflicts:      31000 | #Constraints:      12956
48.15/48.38	c #Conflicts:      32000 | #Constraints:      13956
48.15/48.38	c #Conflicts:      33000 | #Constraints:      14956
48.15/48.38	c #Conflicts:      34000 | #Constraints:      15956
48.15/48.38	c #Conflicts:      35000 | #Constraints:      16956
48.15/48.38	c #Conflicts:      36000 | #Constraints:      17956
48.15/48.38	c #Conflicts:      37000 | #Constraints:      18956
48.15/48.38	c #Conflicts:      38000 | #Constraints:      19956
48.15/48.38	c #Conflicts:      39000 | #Constraints:      20956
48.15/48.38	c #Conflicts:      40000 | #Constraints:      21956
48.15/48.38	c #Conflicts:      41000 | #Constraints:      22956
48.15/48.38	c #Conflicts:      42000 | #Constraints:      23956
48.15/48.38	c INPROCESSING
48.15/48.38	c GARBAGE COLLECT
48.15/48.38	c #Conflicts:      43000 | #Constraints:      16278
48.15/48.38	c #Conflicts:      44000 | #Constraints:      17278
48.15/48.38	c #Conflicts:      45000 | #Constraints:      18278
48.15/48.38	c #Conflicts:      46000 | #Constraints:      19278
48.15/48.38	c #Conflicts:      47000 | #Constraints:      20278
48.15/48.38	c #Conflicts:      48000 | #Constraints:      21278
48.15/48.38	c INPROCESSING
48.15/48.38	c GARBAGE COLLECT
48.15/48.38	c #Conflicts:      49000 | #Constraints:      15380
48.15/48.38	c #Conflicts:      50000 | #Constraints:      16380
48.15/48.38	c #Conflicts:      51000 | #Constraints:      17380
48.15/48.38	c #Conflicts:      52000 | #Constraints:      18380
48.15/48.38	c #Conflicts:      53000 | #Constraints:      19380
48.15/48.38	c INPROCESSING
48.15/48.38	c GARBAGE COLLECT
48.15/48.38	c #Conflicts:      54000 | #Constraints:      14297
48.15/48.38	c #Conflicts:      55000 | #Constraints:      15297
48.15/48.38	c #Conflicts:      56000 | #Constraints:      16297
48.15/48.38	c #Conflicts:      57000 | #Constraints:      17297
48.15/48.38	c #Conflicts:      58000 | #Constraints:      18297
48.15/48.38	c INPROCESSING
48.15/48.38	c GARBAGE COLLECT
48.15/48.38	c #Conflicts:      59000 | #Constraints:      13526
48.15/48.38	c #Conflicts:      60000 | #Constraints:      14526
48.15/48.38	c #Conflicts:      61000 | #Constraints:      15526
48.15/48.38	c #Conflicts:      62000 | #Constraints:      16526
48.15/48.38	c #Conflicts:      63000 | #Constraints:      17526
48.15/48.38	c #Conflicts:      64000 | #Constraints:      18527
48.15/48.38	c #Conflicts:      65000 | #Constraints:      19527
48.15/48.38	c #Conflicts:      66000 | #Constraints:      20527
48.15/48.38	c #Conflicts:      67000 | #Constraints:      21527
48.15/48.38	c #Conflicts:      68000 | #Constraints:      22527
48.15/48.38	c #Conflicts:      69000 | #Constraints:      23527
48.15/48.38	c #Conflicts:      70000 | #Constraints:      24527
105.61/105.90	c #Conflicts:      71000 | #Constraints:      25527
105.61/105.90	c #Conflicts:      72000 | #Constraints:      26527
105.61/105.90	c #Conflicts:      73000 | #Constraints:      27527
105.61/105.90	c #Conflicts:      74000 | #Constraints:      28527
105.61/105.90	c #Conflicts:      75000 | #Constraints:      29527
105.61/105.90	c #Conflicts:      76000 | #Constraints:      30527
105.61/105.90	c #Conflicts:      77000 | #Constraints:      31527
105.61/105.90	c #Conflicts:      78000 | #Constraints:      32527
105.61/105.90	c INPROCESSING
105.61/105.90	c GARBAGE COLLECT
105.61/105.90	c #Conflicts:      79000 | #Constraints:      21048
105.61/105.90	c #Conflicts:      80000 | #Constraints:      22048
105.61/105.90	c #Conflicts:      81000 | #Constraints:      23048
105.61/105.90	c #Conflicts:      82000 | #Constraints:      24048
105.61/105.90	c #Conflicts:      83000 | #Constraints:      25048
105.61/105.90	c #Conflicts:      84000 | #Constraints:      26048
105.61/105.90	c INPROCESSING
105.61/105.90	c GARBAGE COLLECT
105.61/105.90	c #Conflicts:      85000 | #Constraints:      17441
105.61/105.90	c #Conflicts:      86000 | #Constraints:      18441
105.61/105.90	c #Conflicts:      87000 | #Constraints:      19441
105.61/105.90	c #Conflicts:      88000 | #Constraints:      20441
105.61/105.90	c #Conflicts:      89000 | #Constraints:      21441
105.61/105.90	c #Conflicts:      90000 | #Constraints:      22441
105.61/105.90	c #Conflicts:      91000 | #Constraints:      23441
105.61/105.90	c INPROCESSING
105.61/105.90	c GARBAGE COLLECT
105.61/105.90	c #Conflicts:      92000 | #Constraints:      16158
105.61/105.90	c #Conflicts:      93000 | #Constraints:      17158
105.61/105.90	c #Conflicts:      94000 | #Constraints:      18158
105.61/105.90	c #Conflicts:      95000 | #Constraints:      19158
105.61/105.90	c #Conflicts:      96000 | #Constraints:      20159
105.61/105.90	c #Conflicts:      97000 | #Constraints:      21159
105.61/105.90	c #Conflicts:      98000 | #Constraints:      22159
105.61/105.90	c #Conflicts:      99000 | #Constraints:      23159
105.61/105.90	c INPROCESSING
105.61/105.90	c GARBAGE COLLECT
105.61/105.90	c #Conflicts:     100000 | #Constraints:      16405
105.61/105.90	c #Conflicts:     101000 | #Constraints:      17405
105.61/105.90	c #Conflicts:     102000 | #Constraints:      18405
105.61/105.90	c #Conflicts:     103000 | #Constraints:      19405
105.61/105.90	c #Conflicts:     104000 | #Constraints:      20405
105.61/105.90	c #Conflicts:     105000 | #Constraints:      21405
105.61/105.90	c #Conflicts:     106000 | #Constraints:      22405
105.61/105.90	c #Conflicts:     107000 | #Constraints:      23405
105.61/105.90	c #Conflicts:     108000 | #Constraints:      24405
105.61/105.90	c #Conflicts:     109000 | #Constraints:      25405
105.61/105.90	c #Conflicts:     110000 | #Constraints:      26405
105.61/105.90	c #Conflicts:     111000 | #Constraints:      27405
105.61/105.90	c #Conflicts:     112000 | #Constraints:      28405
105.61/105.90	c #Conflicts:     113000 | #Constraints:      29405
105.61/105.90	c #Conflicts:     114000 | #Constraints:      30405
105.61/105.90	c #Conflicts:     115000 | #Constraints:      31405
105.61/105.90	c #Conflicts:     116000 | #Constraints:      32405
105.61/105.90	c #Conflicts:     117000 | #Constraints:      33405
105.61/105.90	c #Conflicts:     118000 | #Constraints:      34405
105.61/105.90	c #Conflicts:     119000 | #Constraints:      35405
105.61/105.90	c #Conflicts:     120000 | #Constraints:      36405
105.61/105.90	c #Conflicts:     121000 | #Constraints:      37405
105.61/105.90	c #Conflicts:     122000 | #Constraints:      38405
105.61/105.90	c #Conflicts:     123000 | #Constraints:      39405
105.61/105.90	c INPROCESSING
105.61/105.90	c GARBAGE COLLECT
105.61/105.90	c #Conflicts:     124000 | #Constraints:      24313
105.61/105.90	c #Conflicts:     125000 | #Constraints:      25313
105.61/105.90	c #Conflicts:     126000 | #Constraints:      26313
105.61/105.90	c #Conflicts:     127000 | #Constraints:      27313
105.61/105.90	c #Conflicts:     128000 | #Constraints:      28313
105.61/105.90	c #Conflicts:     129000 | #Constraints:      29313
105.61/105.90	c #Conflicts:     130000 | #Constraints:      30313
105.61/105.90	c #Conflicts:     131000 | #Constraints:      31313
105.61/105.90	c #Conflicts:     132000 | #Constraints:      32313
105.61/105.90	c INPROCESSING
105.61/105.90	c GARBAGE COLLECT
105.61/105.90	c rational objective 105
181.71/182.25	c #Conflicts:     133000 | #Constraints:      21027
181.71/182.25	c #Conflicts:     134000 | #Constraints:      22027
181.71/182.25	c #Conflicts:     135000 | #Constraints:      23027
181.71/182.25	c #Conflicts:     136000 | #Constraints:      24027
181.71/182.25	c #Conflicts:     137000 | #Constraints:      25027
181.71/182.25	c #Conflicts:     138000 | #Constraints:      26027
181.71/182.25	c #Conflicts:     139000 | #Constraints:      27027
181.71/182.25	c #Conflicts:     140000 | #Constraints:      28027
181.71/182.25	c INPROCESSING
181.71/182.25	c GARBAGE COLLECT
181.71/182.25	c #Conflicts:     141000 | #Constraints:      18609
181.71/182.25	c #Conflicts:     142000 | #Constraints:      19609
181.71/182.25	c #Conflicts:     143000 | #Constraints:      20609
181.71/182.25	c #Conflicts:     144000 | #Constraints:      21609
181.71/182.25	c #Conflicts:     145000 | #Constraints:      22609
181.71/182.25	c #Conflicts:     146000 | #Constraints:      23609
181.71/182.25	c #Conflicts:     147000 | #Constraints:      24609
181.71/182.25	c #Conflicts:     148000 | #Constraints:      25609
181.71/182.25	c #Conflicts:     149000 | #Constraints:      26609
181.71/182.25	c INPROCESSING
181.71/182.25	c GARBAGE COLLECT
181.71/182.25	c #Conflicts:     150000 | #Constraints:      17932
181.71/182.25	c #Conflicts:     151000 | #Constraints:      18932
181.71/182.25	c #Conflicts:     152000 | #Constraints:      19932
181.71/182.25	c #Conflicts:     153000 | #Constraints:      20932
181.71/182.25	c #Conflicts:     154000 | #Constraints:      21932
181.71/182.25	c #Conflicts:     155000 | #Constraints:      22932
181.71/182.25	c #Conflicts:     156000 | #Constraints:      23932
181.71/182.25	c #Conflicts:     157000 | #Constraints:      24932
181.71/182.25	c #Conflicts:     158000 | #Constraints:      25932
181.71/182.25	c #Conflicts:     159000 | #Constraints:      26932
181.71/182.25	c #Conflicts:     160000 | #Constraints:      27932
181.71/182.25	c #Conflicts:     161000 | #Constraints:      28932
181.71/182.25	c #Conflicts:     162000 | #Constraints:      29932
181.71/182.25	c #Conflicts:     163000 | #Constraints:      30932
181.71/182.25	c #Conflicts:     164000 | #Constraints:      31932
181.71/182.25	c #Conflicts:     165000 | #Constraints:      32932
181.71/182.25	c #Conflicts:     166000 | #Constraints:      33932
181.71/182.25	c #Conflicts:     167000 | #Constraints:      34932
181.71/182.25	c #Conflicts:     168000 | #Constraints:      35932
181.71/182.25	c #Conflicts:     169000 | #Constraints:      36932
181.71/182.25	c #Conflicts:     170000 | #Constraints:      37932
181.71/182.25	c #Conflicts:     171000 | #Constraints:      38932
181.71/182.25	c #Conflicts:     172000 | #Constraints:      39932
181.71/182.25	c #Conflicts:     173000 | #Constraints:      40932
181.71/182.25	c #Conflicts:     174000 | #Constraints:      41932
181.71/182.25	c #Conflicts:     175000 | #Constraints:      42932
181.71/182.25	c #Conflicts:     176000 | #Constraints:      43932
181.71/182.25	c #Conflicts:     177000 | #Constraints:      44932
181.71/182.25	c #Conflicts:     178000 | #Constraints:      45932
181.71/182.25	c #Conflicts:     179000 | #Constraints:      46932
181.71/182.25	c INPROCESSING
181.71/182.25	c GARBAGE COLLECT
181.71/182.25	c #Conflicts:     180000 | #Constraints:      28179
181.71/182.25	c #Conflicts:     181000 | #Constraints:      29179
181.71/182.25	c #Conflicts:     182000 | #Constraints:      30179
181.71/182.25	c #Conflicts:     183000 | #Constraints:      31179
181.71/182.25	c #Conflicts:     184000 | #Constraints:      32179
181.71/182.25	c #Conflicts:     185000 | #Constraints:      33179
181.71/182.25	c #Conflicts:     186000 | #Constraints:      34179
181.71/182.25	c #Conflicts:     187000 | #Constraints:      35179
181.71/182.25	c #Conflicts:     188000 | #Constraints:      36179
181.71/182.25	c #Conflicts:     189000 | #Constraints:      37179
181.71/182.25	c INPROCESSING
181.71/182.25	c GARBAGE COLLECT
181.71/182.25	c #Conflicts:     190000 | #Constraints:      23213
181.71/182.25	c #Conflicts:     191000 | #Constraints:      24213
181.71/182.25	c #Conflicts:     192000 | #Constraints:      25213
181.71/182.25	c #Conflicts:     193000 | #Constraints:      26213
181.71/182.25	c #Conflicts:     194000 | #Constraints:      27213
181.71/182.25	c #Conflicts:     195000 | #Constraints:      28213
181.71/182.25	c #Conflicts:     196000 | #Constraints:      29213
181.71/182.25	c #Conflicts:     197000 | #Constraints:      30213
181.71/182.25	c #Conflicts:     198000 | #Constraints:      31213
181.71/182.25	c #Conflicts:     199000 | #Constraints:      32213
181.71/182.25	c #Conflicts:     200000 | #Constraints:      33213
181.71/182.25	c INPROCESSING
181.71/182.25	c GARBAGE COLLECT
181.71/182.25	c #Conflicts:     201000 | #Constraints:      21637
181.71/182.25	c #Conflicts:     202000 | #Constraints:      22637
181.71/182.25	c #Conflicts:     203000 | #Constraints:      23637
181.71/182.25	c #Conflicts:     204000 | #Constraints:      24637
181.71/182.25	c #Conflicts:     205000 | #Constraints:      25637
181.71/182.25	c #Conflicts:     206000 | #Constraints:      26637
181.71/182.25	c #Conflicts:     207000 | #Constraints:      27637
181.71/182.25	c #Conflicts:     208000 | #Constraints:      28637
183.71/184.23	c #Conflicts:     209000 | #Constraints:      29637
183.71/184.23	c #Conflicts:     210000 | #Constraints:      30637
183.71/184.23	c INPROCESSING
183.71/184.23	c GARBAGE COLLECT
183.71/184.23	c rational objective 105
238.37/239.06	c #Conflicts:     211000 | #Constraints:      19939
238.37/239.06	c #Conflicts:     212000 | #Constraints:      20939
238.37/239.06	c #Conflicts:     213000 | #Constraints:      21939
238.37/239.06	c #Conflicts:     214000 | #Constraints:      22939
238.37/239.06	c #Conflicts:     215000 | #Constraints:      23939
238.37/239.06	c #Conflicts:     216000 | #Constraints:      24939
238.37/239.06	c #Conflicts:     217000 | #Constraints:      25939
238.37/239.06	c #Conflicts:     218000 | #Constraints:      26939
238.37/239.06	c #Conflicts:     219000 | #Constraints:      27939
238.37/239.06	c #Conflicts:     220000 | #Constraints:      28939
238.37/239.06	c #Conflicts:     221000 | #Constraints:      29939
238.37/239.06	c #Conflicts:     222000 | #Constraints:      30939
238.37/239.06	c #Conflicts:     223000 | #Constraints:      31939
238.37/239.06	c #Conflicts:     224000 | #Constraints:      32939
238.37/239.06	c #Conflicts:     225000 | #Constraints:      33939
238.37/239.06	c #Conflicts:     226000 | #Constraints:      34939
238.37/239.06	c #Conflicts:     227000 | #Constraints:      35939
238.37/239.06	c #Conflicts:     228000 | #Constraints:      36939
238.37/239.06	c #Conflicts:     229000 | #Constraints:      37939
238.37/239.06	c #Conflicts:     230000 | #Constraints:      38939
238.37/239.06	c #Conflicts:     231000 | #Constraints:      39939
238.37/239.06	c #Conflicts:     232000 | #Constraints:      40939
238.37/239.06	c #Conflicts:     233000 | #Constraints:      41939
238.37/239.06	c #Conflicts:     234000 | #Constraints:      42939
238.37/239.06	c #Conflicts:     235000 | #Constraints:      43939
238.37/239.06	c #Conflicts:     236000 | #Constraints:      44939
238.37/239.06	c #Conflicts:     237000 | #Constraints:      45939
238.37/239.06	c #Conflicts:     238000 | #Constraints:      46939
238.37/239.06	c #Conflicts:     239000 | #Constraints:      47939
238.37/239.06	c #Conflicts:     240000 | #Constraints:      48939
238.37/239.06	c #Conflicts:     241000 | #Constraints:      49939
238.37/239.06	c #Conflicts:     242000 | #Constraints:      50939
238.37/239.06	c #Conflicts:     243000 | #Constraints:      51939
238.37/239.06	c #Conflicts:     244000 | #Constraints:      52939
238.37/239.06	c #Conflicts:     245000 | #Constraints:      53939
238.37/239.06	c INPROCESSING
238.37/239.06	c GARBAGE COLLECT
238.37/239.06	c rational objective 105
332.03/332.96	c #Conflicts:     246000 | #Constraints:      31552
332.03/332.96	c #Conflicts:     247000 | #Constraints:      32552
332.03/332.96	c #Conflicts:     248000 | #Constraints:      33552
332.03/332.96	c #Conflicts:     249000 | #Constraints:      34553
332.03/332.96	c #Conflicts:     250000 | #Constraints:      35553
332.03/332.96	c #Conflicts:     251000 | #Constraints:      36553
332.03/332.96	c #Conflicts:     252000 | #Constraints:      37553
332.03/332.96	c #Conflicts:     253000 | #Constraints:      38553
332.03/332.96	c #Conflicts:     254000 | #Constraints:      39553
332.03/332.96	c #Conflicts:     255000 | #Constraints:      40553
332.03/332.96	c #Conflicts:     256000 | #Constraints:      41553
332.03/332.96	c #Conflicts:     257000 | #Constraints:      42553
332.03/332.96	c INPROCESSING
332.03/332.96	c GARBAGE COLLECT
332.03/332.96	c #Conflicts:     258000 | #Constraints:      25983
332.03/332.96	c #Conflicts:     259000 | #Constraints:      26983
332.03/332.96	c #Conflicts:     260000 | #Constraints:      27983
332.03/332.96	c #Conflicts:     261000 | #Constraints:      28983
332.03/332.96	c #Conflicts:     262000 | #Constraints:      29983
332.03/332.96	c #Conflicts:     263000 | #Constraints:      30983
332.03/332.96	c #Conflicts:     264000 | #Constraints:      31983
332.03/332.96	c #Conflicts:     265000 | #Constraints:      32983
332.03/332.96	c #Conflicts:     266000 | #Constraints:      33983
332.03/332.96	c #Conflicts:     267000 | #Constraints:      34983
332.03/332.96	c #Conflicts:     268000 | #Constraints:      35983
332.03/332.96	c #Conflicts:     269000 | #Constraints:      36983
332.03/332.96	c INPROCESSING
332.03/332.96	c GARBAGE COLLECT
332.03/332.96	c #Conflicts:     270000 | #Constraints:      23156
332.03/332.96	c #Conflicts:     271000 | #Constraints:      24156
332.03/332.96	c #Conflicts:     272000 | #Constraints:      25156
332.03/332.96	c #Conflicts:     273000 | #Constraints:      26156
332.03/332.96	c #Conflicts:     274000 | #Constraints:      27156
332.03/332.96	c #Conflicts:     275000 | #Constraints:      28156
332.03/332.96	c #Conflicts:     276000 | #Constraints:      29156
332.03/332.96	c #Conflicts:     277000 | #Constraints:      30156
332.03/332.96	c #Conflicts:     278000 | #Constraints:      31156
332.03/332.96	c #Conflicts:     279000 | #Constraints:      32156
332.03/332.96	c #Conflicts:     280000 | #Constraints:      33156
332.03/332.96	c #Conflicts:     281000 | #Constraints:      34156
332.03/332.96	c #Conflicts:     282000 | #Constraints:      35156
332.03/332.96	c INPROCESSING
332.03/332.96	c GARBAGE COLLECT
332.03/332.96	c #Conflicts:     283000 | #Constraints:      22583
332.03/332.96	c #Conflicts:     284000 | #Constraints:      23583
332.03/332.96	c #Conflicts:     285000 | #Constraints:      24583
332.03/332.96	c #Conflicts:     286000 | #Constraints:      25583
332.03/332.96	c #Conflicts:     287000 | #Constraints:      26583
332.03/332.96	c #Conflicts:     288000 | #Constraints:      27583
332.03/332.96	c #Conflicts:     289000 | #Constraints:      28583
332.03/332.96	c #Conflicts:     290000 | #Constraints:      29583
332.03/332.96	c #Conflicts:     291000 | #Constraints:      30583
332.03/332.96	c #Conflicts:     292000 | #Constraints:      31583
332.03/332.96	c #Conflicts:     293000 | #Constraints:      32583
332.03/332.96	c #Conflicts:     294000 | #Constraints:      33583
332.03/332.96	c #Conflicts:     295000 | #Constraints:      34583
332.03/332.96	c #Conflicts:     296000 | #Constraints:      35583
332.03/332.96	c #Conflicts:     297000 | #Constraints:      36583
332.03/332.96	c #Conflicts:     298000 | #Constraints:      37583
332.03/332.96	c #Conflicts:     299000 | #Constraints:      38583
332.03/332.96	c #Conflicts:     300000 | #Constraints:      39583
332.03/332.96	c #Conflicts:     301000 | #Constraints:      40583
332.03/332.96	c #Conflicts:     302000 | #Constraints:      41583
332.03/332.96	c #Conflicts:     303000 | #Constraints:      42583
332.03/332.96	c #Conflicts:     304000 | #Constraints:      43583
332.03/332.96	c #Conflicts:     305000 | #Constraints:      44583
332.03/332.96	c #Conflicts:     306000 | #Constraints:      45583
332.03/332.96	c #Conflicts:     307000 | #Constraints:      46583
332.03/332.96	c #Conflicts:     308000 | #Constraints:      47583
332.03/332.96	c #Conflicts:     309000 | #Constraints:      48583
332.03/332.96	c #Conflicts:     310000 | #Constraints:      49583
332.03/332.96	c #Conflicts:     311000 | #Constraints:      50583
332.03/332.96	c #Conflicts:     312000 | #Constraints:      51583
332.03/332.96	c #Conflicts:     313000 | #Constraints:      52583
332.03/332.96	c #Conflicts:     314000 | #Constraints:      53583
332.03/332.96	c #Conflicts:     315000 | #Constraints:      54583
332.03/332.96	c #Conflicts:     316000 | #Constraints:      55583
332.03/332.96	c #Conflicts:     317000 | #Constraints:      56583
332.03/332.96	c #Conflicts:     318000 | #Constraints:      57583
332.03/332.96	c #Conflicts:     319000 | #Constraints:      58583
332.03/332.96	c #Conflicts:     320000 | #Constraints:      59583
332.03/332.96	c #Conflicts:     321000 | #Constraints:      60583
332.03/332.96	c #Conflicts:     322000 | #Constraints:      61583
386.59/387.64	c INPROCESSING
386.59/387.64	c GARBAGE COLLECT
386.59/387.64	c #Conflicts:     323000 | #Constraints:      35548
386.59/387.64	c #Conflicts:     324000 | #Constraints:      36548
386.59/387.64	c #Conflicts:     325000 | #Constraints:      37548
386.59/387.64	c #Conflicts:     326000 | #Constraints:      38548
386.59/387.64	c #Conflicts:     327000 | #Constraints:      39548
386.59/387.64	c #Conflicts:     328000 | #Constraints:      40548
386.59/387.64	c #Conflicts:     329000 | #Constraints:      41548
386.59/387.64	c #Conflicts:     330000 | #Constraints:      42548
386.59/387.64	c #Conflicts:     331000 | #Constraints:      43548
386.59/387.64	c #Conflicts:     332000 | #Constraints:      44548
386.59/387.64	c #Conflicts:     333000 | #Constraints:      45548
386.59/387.64	c #Conflicts:     334000 | #Constraints:      46548
386.59/387.64	c #Conflicts:     335000 | #Constraints:      47548
386.59/387.64	c #Conflicts:     336000 | #Constraints:      48548
386.59/387.64	c INPROCESSING
386.59/387.64	c GARBAGE COLLECT
386.59/387.64	c #Conflicts:     337000 | #Constraints:      29249
386.59/387.64	c #Conflicts:     338000 | #Constraints:      30249
386.59/387.64	c #Conflicts:     339000 | #Constraints:      31249
386.59/387.64	c #Conflicts:     340000 | #Constraints:      32249
386.59/387.64	c #Conflicts:     341000 | #Constraints:      33249
386.59/387.64	c #Conflicts:     342000 | #Constraints:      34249
386.59/387.64	c #Conflicts:     343000 | #Constraints:      35249
386.59/387.64	c #Conflicts:     344000 | #Constraints:      36249
386.59/387.64	c #Conflicts:     345000 | #Constraints:      37249
386.59/387.64	c #Conflicts:     346000 | #Constraints:      38249
386.59/387.64	c #Conflicts:     347000 | #Constraints:      39249
386.59/387.64	c #Conflicts:     348000 | #Constraints:      40249
386.59/387.64	c #Conflicts:     349000 | #Constraints:      41249
386.59/387.64	c INPROCESSING
386.59/387.64	c GARBAGE COLLECT
386.59/387.64	c #Conflicts:     350000 | #Constraints:      25207
386.59/387.64	c #Conflicts:     351000 | #Constraints:      26207
386.59/387.64	c #Conflicts:     352000 | #Constraints:      27207
386.59/387.64	c #Conflicts:     353000 | #Constraints:      28207
386.59/387.64	c #Conflicts:     354000 | #Constraints:      29207
386.59/387.64	c #Conflicts:     355000 | #Constraints:      30207
386.59/387.64	c #Conflicts:     356000 | #Constraints:      31207
386.59/387.64	c #Conflicts:     357000 | #Constraints:      32207
386.59/387.64	c #Conflicts:     358000 | #Constraints:      33207
386.59/387.64	c #Conflicts:     359000 | #Constraints:      34208
386.59/387.64	c #Conflicts:     360000 | #Constraints:      35208
386.59/387.64	c #Conflicts:     361000 | #Constraints:      36208
386.59/387.64	c #Conflicts:     362000 | #Constraints:      37208
386.59/387.64	c #Conflicts:     363000 | #Constraints:      38208
386.59/387.64	c INPROCESSING
386.59/387.64	c GARBAGE COLLECT
386.59/387.64	c rational objective 105
461.00/462.27	c #Conflicts:     364000 | #Constraints:      23664
461.00/462.27	c #Conflicts:     365000 | #Constraints:      24664
461.00/462.27	c #Conflicts:     366000 | #Constraints:      25664
461.00/462.27	c #Conflicts:     367000 | #Constraints:      26664
461.00/462.27	c #Conflicts:     368000 | #Constraints:      27664
461.00/462.27	c #Conflicts:     369000 | #Constraints:      28664
461.00/462.27	c #Conflicts:     370000 | #Constraints:      29664
461.00/462.27	c #Conflicts:     371000 | #Constraints:      30664
461.00/462.27	c #Conflicts:     372000 | #Constraints:      31664
461.00/462.27	c #Conflicts:     373000 | #Constraints:      32664
461.00/462.27	c #Conflicts:     374000 | #Constraints:      33664
461.00/462.27	c #Conflicts:     375000 | #Constraints:      34664
461.00/462.27	c #Conflicts:     376000 | #Constraints:      35664
461.00/462.27	c #Conflicts:     377000 | #Constraints:      36664
461.00/462.27	c #Conflicts:     378000 | #Constraints:      37664
461.00/462.27	c #Conflicts:     379000 | #Constraints:      38664
461.00/462.27	c #Conflicts:     380000 | #Constraints:      39664
461.00/462.27	c #Conflicts:     381000 | #Constraints:      40664
461.00/462.27	c #Conflicts:     382000 | #Constraints:      41664
461.00/462.27	c #Conflicts:     383000 | #Constraints:      42664
461.00/462.27	c #Conflicts:     384000 | #Constraints:      43664
461.00/462.27	c #Conflicts:     385000 | #Constraints:      44664
461.00/462.27	c #Conflicts:     386000 | #Constraints:      45664
461.00/462.27	c #Conflicts:     387000 | #Constraints:      46664
461.00/462.27	c #Conflicts:     388000 | #Constraints:      47664
461.00/462.27	c #Conflicts:     389000 | #Constraints:      48664
461.00/462.27	c #Conflicts:     390000 | #Constraints:      49664
461.00/462.27	c #Conflicts:     391000 | #Constraints:      50664
461.00/462.27	c #Conflicts:     392000 | #Constraints:      51664
461.00/462.27	c #Conflicts:     393000 | #Constraints:      52664
461.00/462.27	c #Conflicts:     394000 | #Constraints:      53664
461.00/462.27	c #Conflicts:     395000 | #Constraints:      54664
461.00/462.27	c #Conflicts:     396000 | #Constraints:      55665
461.00/462.27	c #Conflicts:     397000 | #Constraints:      56665
461.00/462.27	c #Conflicts:     398000 | #Constraints:      57665
461.00/462.27	c #Conflicts:     399000 | #Constraints:      58665
461.00/462.27	c #Conflicts:     400000 | #Constraints:      59665
461.00/462.27	c #Conflicts:     401000 | #Constraints:      60665
461.00/462.27	c #Conflicts:     402000 | #Constraints:      61665
461.00/462.27	c #Conflicts:     403000 | #Constraints:      62665
461.00/462.27	c #Conflicts:     404000 | #Constraints:      63665
461.00/462.27	c #Conflicts:     405000 | #Constraints:      64665
461.00/462.27	c #Conflicts:     406000 | #Constraints:      65665
461.00/462.27	c #Conflicts:     407000 | #Constraints:      66665
461.00/462.27	c #Conflicts:     408000 | #Constraints:      67665
461.00/462.27	c #Conflicts:     409000 | #Constraints:      68665
461.00/462.27	c INPROCESSING
461.00/462.27	c GARBAGE COLLECT
461.00/462.27	c rational objective 105
485.52/486.88	c #Conflicts:     410000 | #Constraints:      39069
485.52/486.88	c #Conflicts:     411000 | #Constraints:      40069
485.52/486.88	c #Conflicts:     412000 | #Constraints:      41069
485.52/486.88	c #Conflicts:     413000 | #Constraints:      42069
485.52/486.88	c #Conflicts:     414000 | #Constraints:      43069
485.52/486.88	c #Conflicts:     415000 | #Constraints:      44069
485.52/486.88	c #Conflicts:     416000 | #Constraints:      45069
485.52/486.88	c #Conflicts:     417000 | #Constraints:      46069
485.52/486.88	c #Conflicts:     418000 | #Constraints:      47069
485.52/486.88	c #Conflicts:     419000 | #Constraints:      48069
485.52/486.88	c #Conflicts:     420000 | #Constraints:      49069
485.52/486.88	c #Conflicts:     421000 | #Constraints:      50069
485.52/486.88	c #Conflicts:     422000 | #Constraints:      51069
485.52/486.88	c #Conflicts:     423000 | #Constraints:      52069
485.52/486.88	c #Conflicts:     424000 | #Constraints:      53069
485.52/486.88	c INPROCESSING
485.52/486.88	c GARBAGE COLLECT
485.52/486.88	c rational objective 105
516.24/517.63	c #Conflicts:     425000 | #Constraints:      31110
516.24/517.63	c #Conflicts:     426000 | #Constraints:      32110
516.24/517.63	c #Conflicts:     427000 | #Constraints:      33110
516.24/517.63	c #Conflicts:     428000 | #Constraints:      34110
516.24/517.63	c #Conflicts:     429000 | #Constraints:      35110
516.24/517.63	c #Conflicts:     430000 | #Constraints:      36110
516.24/517.63	c #Conflicts:     431000 | #Constraints:      37110
516.24/517.63	c #Conflicts:     432000 | #Constraints:      38110
516.24/517.63	c #Conflicts:     433000 | #Constraints:      39110
516.24/517.63	c #Conflicts:     434000 | #Constraints:      40110
516.24/517.63	c #Conflicts:     435000 | #Constraints:      41110
516.24/517.63	c #Conflicts:     436000 | #Constraints:      42110
516.24/517.63	c #Conflicts:     437000 | #Constraints:      43110
516.24/517.63	c #Conflicts:     438000 | #Constraints:      44110
516.24/517.63	c #Conflicts:     439000 | #Constraints:      45110
516.24/517.63	c #Conflicts:     440000 | #Constraints:      46110
516.24/517.63	c INPROCESSING
516.24/517.63	c GARBAGE COLLECT
516.24/517.63	c rational objective 105
665.40/667.21	c #Conflicts:     441000 | #Constraints:      27978
665.40/667.21	c #Conflicts:     442000 | #Constraints:      28978
665.40/667.21	c #Conflicts:     443000 | #Constraints:      29978
665.40/667.21	c #Conflicts:     444000 | #Constraints:      30978
665.40/667.21	c #Conflicts:     445000 | #Constraints:      31978
665.40/667.21	c #Conflicts:     446000 | #Constraints:      32978
665.40/667.21	c #Conflicts:     447000 | #Constraints:      33978
665.40/667.21	c #Conflicts:     448000 | #Constraints:      34978
665.40/667.21	c #Conflicts:     449000 | #Constraints:      35978
665.40/667.21	c #Conflicts:     450000 | #Constraints:      36978
665.40/667.21	c #Conflicts:     451000 | #Constraints:      37978
665.40/667.21	c #Conflicts:     452000 | #Constraints:      38978
665.40/667.21	c #Conflicts:     453000 | #Constraints:      39978
665.40/667.21	c #Conflicts:     454000 | #Constraints:      40978
665.40/667.21	c #Conflicts:     455000 | #Constraints:      41978
665.40/667.21	c #Conflicts:     456000 | #Constraints:      42978
665.40/667.21	c INPROCESSING
665.40/667.21	c GARBAGE COLLECT
665.40/667.21	c #Conflicts:     457000 | #Constraints:      26416
665.40/667.21	c #Conflicts:     458000 | #Constraints:      27416
665.40/667.21	c #Conflicts:     459000 | #Constraints:      28416
665.40/667.21	c #Conflicts:     460000 | #Constraints:      29416
665.40/667.21	c #Conflicts:     461000 | #Constraints:      30416
665.40/667.21	c #Conflicts:     462000 | #Constraints:      31416
665.40/667.21	c #Conflicts:     463000 | #Constraints:      32416
665.40/667.21	c #Conflicts:     464000 | #Constraints:      33416
665.40/667.21	c #Conflicts:     465000 | #Constraints:      34416
665.40/667.21	c #Conflicts:     466000 | #Constraints:      35416
665.40/667.21	c #Conflicts:     467000 | #Constraints:      36416
665.40/667.21	c #Conflicts:     468000 | #Constraints:      37416
665.40/667.21	c #Conflicts:     469000 | #Constraints:      38416
665.40/667.21	c #Conflicts:     470000 | #Constraints:      39416
665.40/667.21	c #Conflicts:     471000 | #Constraints:      40416
665.40/667.21	c #Conflicts:     472000 | #Constraints:      41416
665.40/667.21	c #Conflicts:     473000 | #Constraints:      42416
665.40/667.21	c #Conflicts:     474000 | #Constraints:      43416
665.40/667.21	c #Conflicts:     475000 | #Constraints:      44416
665.40/667.21	c #Conflicts:     476000 | #Constraints:      45416
665.40/667.21	c #Conflicts:     477000 | #Constraints:      46416
665.40/667.21	c #Conflicts:     478000 | #Constraints:      47416
665.40/667.21	c #Conflicts:     479000 | #Constraints:      48416
665.40/667.21	c #Conflicts:     480000 | #Constraints:      49416
665.40/667.21	c #Conflicts:     481000 | #Constraints:      50416
665.40/667.21	c #Conflicts:     482000 | #Constraints:      51416
665.40/667.21	c #Conflicts:     483000 | #Constraints:      52416
665.40/667.21	c #Conflicts:     484000 | #Constraints:      53416
665.40/667.21	c #Conflicts:     485000 | #Constraints:      54416
665.40/667.21	c #Conflicts:     486000 | #Constraints:      55416
665.40/667.21	c #Conflicts:     487000 | #Constraints:      56416
665.40/667.21	c #Conflicts:     488000 | #Constraints:      57416
665.40/667.21	c #Conflicts:     489000 | #Constraints:      58416
665.40/667.21	c #Conflicts:     490000 | #Constraints:      59416
665.40/667.21	c #Conflicts:     491000 | #Constraints:      60416
665.40/667.21	c #Conflicts:     492000 | #Constraints:      61416
665.40/667.21	c #Conflicts:     493000 | #Constraints:      62416
665.40/667.21	c #Conflicts:     494000 | #Constraints:      63416
665.40/667.21	c #Conflicts:     495000 | #Constraints:      64416
665.40/667.21	c #Conflicts:     496000 | #Constraints:      65416
665.40/667.21	c #Conflicts:     497000 | #Constraints:      66416
665.40/667.21	c #Conflicts:     498000 | #Constraints:      67416
665.40/667.21	c #Conflicts:     499000 | #Constraints:      68416
665.40/667.21	c #Conflicts:     500000 | #Constraints:      69416
665.40/667.21	c #Conflicts:     501000 | #Constraints:      70416
665.40/667.21	c #Conflicts:     502000 | #Constraints:      71416
665.40/667.21	c #Conflicts:     503000 | #Constraints:      72416
665.40/667.21	c #Conflicts:     504000 | #Constraints:      73416
665.40/667.21	c #Conflicts:     505000 | #Constraints:      74416
665.40/667.21	c #Conflicts:     506000 | #Constraints:      75416
665.40/667.21	c #Conflicts:     507000 | #Constraints:      76416
665.40/667.21	c INPROCESSING
665.40/667.21	c GARBAGE COLLECT
665.40/667.21	c #Conflicts:     508000 | #Constraints:      43292
665.40/667.21	c #Conflicts:     509000 | #Constraints:      44292
665.40/667.21	c #Conflicts:     510000 | #Constraints:      45292
665.40/667.21	c #Conflicts:     511000 | #Constraints:      46292
665.40/667.21	c #Conflicts:     512000 | #Constraints:      47292
665.40/667.21	c #Conflicts:     513000 | #Constraints:      48292
665.40/667.21	c #Conflicts:     514000 | #Constraints:      49292
665.40/667.21	c #Conflicts:     515000 | #Constraints:      50292
665.40/667.21	c #Conflicts:     516000 | #Constraints:      51292
665.40/667.21	c #Conflicts:     517000 | #Constraints:      52292
665.40/667.21	c #Conflicts:     518000 | #Constraints:      53292
739.08/741.16	c #Conflicts:     519000 | #Constraints:      54292
739.08/741.16	c #Conflicts:     520000 | #Constraints:      55292
739.08/741.16	c #Conflicts:     521000 | #Constraints:      56293
739.08/741.16	c #Conflicts:     522000 | #Constraints:      57293
739.08/741.16	c #Conflicts:     523000 | #Constraints:      58293
739.08/741.16	c #Conflicts:     524000 | #Constraints:      59293
739.08/741.16	c INPROCESSING
739.08/741.16	c GARBAGE COLLECT
739.08/741.16	c #Conflicts:     525000 | #Constraints:      34673
739.08/741.16	c #Conflicts:     526000 | #Constraints:      35673
739.08/741.16	c #Conflicts:     527000 | #Constraints:      36673
739.08/741.16	c #Conflicts:     528000 | #Constraints:      37673
739.08/741.16	c #Conflicts:     529000 | #Constraints:      38673
739.08/741.16	c #Conflicts:     530000 | #Constraints:      39673
739.08/741.16	c #Conflicts:     531000 | #Constraints:      40673
739.08/741.16	c #Conflicts:     532000 | #Constraints:      41673
739.08/741.16	c #Conflicts:     533000 | #Constraints:      42673
739.08/741.16	c #Conflicts:     534000 | #Constraints:      43673
739.08/741.16	c #Conflicts:     535000 | #Constraints:      44673
739.08/741.16	c #Conflicts:     536000 | #Constraints:      45673
739.08/741.16	c #Conflicts:     537000 | #Constraints:      46673
739.08/741.16	c #Conflicts:     538000 | #Constraints:      47673
739.08/741.16	c #Conflicts:     539000 | #Constraints:      48673
739.08/741.16	c #Conflicts:     540000 | #Constraints:      49673
739.08/741.16	c #Conflicts:     541000 | #Constraints:      50673
739.08/741.16	c INPROCESSING
739.08/741.16	c GARBAGE COLLECT
739.08/741.16	c #Conflicts:     542000 | #Constraints:      30206
739.08/741.16	c #Conflicts:     543000 | #Constraints:      31206
739.08/741.16	c #Conflicts:     544000 | #Constraints:      32206
739.08/741.16	c #Conflicts:     545000 | #Constraints:      33206
739.08/741.16	c #Conflicts:     546000 | #Constraints:      34206
739.08/741.16	c #Conflicts:     547000 | #Constraints:      35206
739.08/741.16	c #Conflicts:     548000 | #Constraints:      36206
739.08/741.16	c #Conflicts:     549000 | #Constraints:      37206
739.08/741.16	c #Conflicts:     550000 | #Constraints:      38206
739.08/741.16	c #Conflicts:     551000 | #Constraints:      39206
739.08/741.16	c #Conflicts:     552000 | #Constraints:      40206
739.08/741.16	c #Conflicts:     553000 | #Constraints:      41206
739.08/741.16	c #Conflicts:     554000 | #Constraints:      42206
739.08/741.16	c #Conflicts:     555000 | #Constraints:      43206
739.08/741.16	c #Conflicts:     556000 | #Constraints:      44206
739.08/741.16	c #Conflicts:     557000 | #Constraints:      45206
739.08/741.16	c #Conflicts:     558000 | #Constraints:      46206
739.08/741.16	c INPROCESSING
739.08/741.16	c GARBAGE COLLECT
739.08/741.16	c #Conflicts:     559000 | #Constraints:      27877
739.08/741.16	c #Conflicts:     560000 | #Constraints:      28877
739.08/741.16	c #Conflicts:     561000 | #Constraints:      29877
739.08/741.16	c #Conflicts:     562000 | #Constraints:      30877
739.08/741.16	c #Conflicts:     563000 | #Constraints:      31877
739.08/741.16	c #Conflicts:     564000 | #Constraints:      32877
739.08/741.16	c #Conflicts:     565000 | #Constraints:      33877
739.08/741.16	c #Conflicts:     566000 | #Constraints:      34877
739.08/741.16	c #Conflicts:     567000 | #Constraints:      35877
739.08/741.16	c #Conflicts:     568000 | #Constraints:      36877
739.08/741.16	c #Conflicts:     569000 | #Constraints:      37877
739.08/741.16	c #Conflicts:     570000 | #Constraints:      38877
739.08/741.16	c #Conflicts:     571000 | #Constraints:      39877
739.08/741.16	c #Conflicts:     572000 | #Constraints:      40877
739.08/741.16	c #Conflicts:     573000 | #Constraints:      41877
739.08/741.16	c #Conflicts:     574000 | #Constraints:      42877
739.08/741.16	c #Conflicts:     575000 | #Constraints:      43877
739.08/741.16	c #Conflicts:     576000 | #Constraints:      44877
739.08/741.16	c INPROCESSING
739.08/741.16	c GARBAGE COLLECT
739.08/741.16	c rational objective 105
877.79/880.24	c #Conflicts:     577000 | #Constraints:      27346
877.79/880.24	c #Conflicts:     578000 | #Constraints:      28346
877.79/880.24	c #Conflicts:     579000 | #Constraints:      29346
877.79/880.24	c #Conflicts:     580000 | #Constraints:      30346
877.79/880.24	c #Conflicts:     581000 | #Constraints:      31346
877.79/880.24	c #Conflicts:     582000 | #Constraints:      32346
877.79/880.24	c #Conflicts:     583000 | #Constraints:      33346
877.79/880.24	c #Conflicts:     584000 | #Constraints:      34346
877.79/880.24	c #Conflicts:     585000 | #Constraints:      35346
877.79/880.24	c #Conflicts:     586000 | #Constraints:      36346
877.79/880.24	c #Conflicts:     587000 | #Constraints:      37346
877.79/880.24	c #Conflicts:     588000 | #Constraints:      38346
877.79/880.24	c #Conflicts:     589000 | #Constraints:      39346
877.79/880.24	c #Conflicts:     590000 | #Constraints:      40346
877.79/880.24	c #Conflicts:     591000 | #Constraints:      41346
877.79/880.24	c #Conflicts:     592000 | #Constraints:      42346
877.79/880.24	c #Conflicts:     593000 | #Constraints:      43346
877.79/880.24	c #Conflicts:     594000 | #Constraints:      44346
877.79/880.24	c #Conflicts:     595000 | #Constraints:      45346
877.79/880.24	c #Conflicts:     596000 | #Constraints:      46346
877.79/880.24	c #Conflicts:     597000 | #Constraints:      47346
877.79/880.24	c #Conflicts:     598000 | #Constraints:      48346
877.79/880.24	c #Conflicts:     599000 | #Constraints:      49346
877.79/880.24	c #Conflicts:     600000 | #Constraints:      50346
877.79/880.24	c #Conflicts:     601000 | #Constraints:      51346
877.79/880.24	c #Conflicts:     602000 | #Constraints:      52346
877.79/880.24	c #Conflicts:     603000 | #Constraints:      53346
877.79/880.24	c #Conflicts:     604000 | #Constraints:      54346
877.79/880.24	c #Conflicts:     605000 | #Constraints:      55346
877.79/880.24	c #Conflicts:     606000 | #Constraints:      56346
877.79/880.24	c #Conflicts:     607000 | #Constraints:      57346
877.79/880.24	c #Conflicts:     608000 | #Constraints:      58346
877.79/880.24	c #Conflicts:     609000 | #Constraints:      59346
877.79/880.24	c #Conflicts:     610000 | #Constraints:      60346
877.79/880.24	c #Conflicts:     611000 | #Constraints:      61346
877.79/880.24	c #Conflicts:     612000 | #Constraints:      62346
877.79/880.24	c #Conflicts:     613000 | #Constraints:      63346
877.79/880.24	c #Conflicts:     614000 | #Constraints:      64346
877.79/880.24	c #Conflicts:     615000 | #Constraints:      65346
877.79/880.24	c #Conflicts:     616000 | #Constraints:      66346
877.79/880.24	c #Conflicts:     617000 | #Constraints:      67346
877.79/880.24	c #Conflicts:     618000 | #Constraints:      68346
877.79/880.24	c #Conflicts:     619000 | #Constraints:      69346
877.79/880.24	c #Conflicts:     620000 | #Constraints:      70346
877.79/880.24	c #Conflicts:     621000 | #Constraints:      71346
877.79/880.24	c #Conflicts:     622000 | #Constraints:      72346
877.79/880.24	c #Conflicts:     623000 | #Constraints:      73346
877.79/880.24	c #Conflicts:     624000 | #Constraints:      74346
877.79/880.24	c #Conflicts:     625000 | #Constraints:      75346
877.79/880.24	c #Conflicts:     626000 | #Constraints:      76346
877.79/880.24	c #Conflicts:     627000 | #Constraints:      77346
877.79/880.24	c #Conflicts:     628000 | #Constraints:      78346
877.79/880.24	c #Conflicts:     629000 | #Constraints:      79346
877.79/880.24	c #Conflicts:     630000 | #Constraints:      80346
877.79/880.24	c #Conflicts:     631000 | #Constraints:      81346
877.79/880.24	c #Conflicts:     632000 | #Constraints:      82346
877.79/880.24	c #Conflicts:     633000 | #Constraints:      83346
877.79/880.24	c INPROCESSING
877.79/880.24	c GARBAGE COLLECT
877.79/880.24	c #Conflicts:     634000 | #Constraints:      46521
877.79/880.24	c #Conflicts:     635000 | #Constraints:      47521
877.79/880.24	c #Conflicts:     636000 | #Constraints:      48521
877.79/880.24	c #Conflicts:     637000 | #Constraints:      49521
877.79/880.24	c #Conflicts:     638000 | #Constraints:      50521
877.79/880.24	c #Conflicts:     639000 | #Constraints:      51521
877.79/880.24	c #Conflicts:     640000 | #Constraints:      52521
877.79/880.24	c #Conflicts:     641000 | #Constraints:      53521
877.79/880.24	c #Conflicts:     642000 | #Constraints:      54521
877.79/880.24	c #Conflicts:     643000 | #Constraints:      55521
877.79/880.24	c #Conflicts:     644000 | #Constraints:      56521
877.79/880.24	c #Conflicts:     645000 | #Constraints:      57521
877.79/880.24	c #Conflicts:     646000 | #Constraints:      58521
877.79/880.24	c #Conflicts:     647000 | #Constraints:      59521
877.79/880.24	c #Conflicts:     648000 | #Constraints:      60521
877.79/880.24	c #Conflicts:     649000 | #Constraints:      61521
877.79/880.24	c #Conflicts:     650000 | #Constraints:      62521
877.79/880.24	c #Conflicts:     651000 | #Constraints:      63521
877.79/880.24	c #Conflicts:     652000 | #Constraints:      64521
877.79/880.24	c INPROCESSING
877.79/880.24	c GARBAGE COLLECT
877.79/880.24	c #Conflicts:     653000 | #Constraints:      37097
877.79/880.24	c #Conflicts:     654000 | #Constraints:      38097
909.80/912.37	c #Conflicts:     655000 | #Constraints:      39097
909.80/912.37	c #Conflicts:     656000 | #Constraints:      40097
909.80/912.37	c #Conflicts:     657000 | #Constraints:      41097
909.80/912.37	c #Conflicts:     658000 | #Constraints:      42097
909.80/912.37	c #Conflicts:     659000 | #Constraints:      43097
909.80/912.37	c #Conflicts:     660000 | #Constraints:      44097
909.80/912.37	c #Conflicts:     661000 | #Constraints:      45097
909.80/912.37	c #Conflicts:     662000 | #Constraints:      46097
909.80/912.37	c #Conflicts:     663000 | #Constraints:      47097
909.80/912.37	c #Conflicts:     664000 | #Constraints:      48097
909.80/912.37	c #Conflicts:     665000 | #Constraints:      49097
909.80/912.37	c #Conflicts:     666000 | #Constraints:      50097
909.80/912.37	c #Conflicts:     667000 | #Constraints:      51097
909.80/912.37	c #Conflicts:     668000 | #Constraints:      52097
909.80/912.37	c #Conflicts:     669000 | #Constraints:      53097
909.80/912.37	c #Conflicts:     670000 | #Constraints:      54097
909.80/912.37	c #Conflicts:     671000 | #Constraints:      55097
909.80/912.37	c INPROCESSING
909.80/912.37	c GARBAGE COLLECT
909.80/912.37	c #Conflicts:     672000 | #Constraints:      32297
909.80/912.37	c #Conflicts:     673000 | #Constraints:      33297
909.80/912.37	c #Conflicts:     674000 | #Constraints:      34297
909.80/912.37	c #Conflicts:     675000 | #Constraints:      35297
909.80/912.37	c #Conflicts:     676000 | #Constraints:      36297
909.80/912.37	c #Conflicts:     677000 | #Constraints:      37297
909.80/912.37	c #Conflicts:     678000 | #Constraints:      38297
909.80/912.37	c #Conflicts:     679000 | #Constraints:      39297
909.80/912.37	c cpu time 899.971 s
909.80/912.37	c deterministic time 62765653840 6.28e+10
909.80/912.37	c optimization time 0.000377 s
909.80/912.37	c total solve time 899.936 s
909.80/912.37	c core-guided solve time 0 s
909.80/912.37	c propagation time 480.793 s
909.80/912.37	c conflict analysis time 330.747 s
909.80/912.37	c propagations 305360548
909.80/912.37	c resolve steps 27072101
909.80/912.37	c decisions 7485182
909.80/912.37	c conflicts 679721
909.80/912.37	c restarts 1467
909.80/912.37	c inprocessing phases 46
909.80/912.37	c garbage collections 46 ,( 100.00 )
909.80/912.37	c input clauses 7247 ,( 98.57 )
909.80/912.37	c input cardinalities 105 ,( 1.43 )
909.80/912.37	c input general constraints 0 ,( 0.00 )
909.80/912.37	c input average constraint length 6.24
909.80/912.37	c input average constraint degree 1.94
909.80/912.37	c learned clauses 486710 ,( 71.60 )
909.80/912.37	c learned cardinalities 18111 ,( 2.66 )
909.80/912.37	c learned general constraints 174914 ,( 25.73 )
909.80/912.37	c learned average constraint length 566.85
909.80/912.37	c learned average constraint degree 7569373.50
909.80/912.37	c watched  CF 32, 64, 128, Arb: 52433 , 0 , 0 , 0
909.80/912.37	c counting CF 32, 64, 128, Arb: 122481 , 0 , 0 , 0
909.80/912.37	c watched   constraints 52433 ,( 29.98 ) 
909.80/912.37	c counting  constraints 122481 ,( 70.02 ) 
909.80/912.37	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 373181129 , 212581079 , 701778878 ,( 46037536 , 655741342 )
909.80/912.37	c gcd simplifications 457
909.80/912.37	c detected cardinalities 1820
909.80/912.37	c weakened non-implied lits 117566115
909.80/912.37	c weakened non-implying lits 79676
909.80/912.37	c original variables 7140
909.80/912.37	c clausal propagations 122425720
909.80/912.37	c cardinality propagations 115205664
909.80/912.37	c watched propagations 1606386
909.80/912.37	c counting propagations 62944807
909.80/912.37	c watch lookups 28159966521
909.80/912.37	c watch backjump lookups 0
909.80/912.37	c watch checks 11049949849
909.80/912.37	c propagation checks 21605302334
909.80/912.37	c constraint additions 1323923685
909.80/912.37	c trail pops 313524957
909.80/912.37	c formula constraints 7352
909.80/912.37	c learned constraints 679714
909.80/912.37	c bound constraints 0
909.80/912.37	c core-guided constraints 0
909.80/912.37	c encountered formula constraints 17248092
909.80/912.37	c encountered learned constraints 10503679
909.80/912.37	c encountered bound constraints 0
909.80/912.37	c encountered core-guided constraints 0
909.80/912.37	c LP total time 62.0199 s
909.80/912.37	c LP solve time 45.81 s
909.80/912.37	c LP constraints added 8005
909.80/912.37	c LP constraints removed 534
909.80/912.37	c LP pivots internal 70735
909.80/912.37	c LP pivots root 70028
909.80/912.37	c LP calls 25
909.80/912.37	c LP optimalities 14
909.80/912.37	c LP no pivot count 1
909.80/912.37	c LP infeasibilities 7
909.80/912.37	c LP valid Farkas constraints 7
909.80/912.37	c LP learned Farkas constraints 7
909.80/912.37	c LP basis resets 0
909.80/912.37	c LP cycling count 0
909.80/912.37	c LP singular count 0
909.80/912.37	c LP no primal count 0
909.80/912.37	c LP no farkas count 0
909.80/912.37	c LP other issue count 0
909.80/912.37	c LP Gomory cuts 7
909.80/912.37	c LP learned cuts 646
909.80/912.37	c LP deleted cuts 534
909.80/912.37	c LP encountered Gomory constraints 10
909.80/912.37	c LP encountered Farkas constraints 26
909.80/912.37	c LP encountered learned Farkas constraints 8
909.80/912.37	c CG auxiliary variables introduced 0
909.80/912.37	c CG solutions found 0
909.80/912.37	c CG cores constructed 0
909.80/912.37	c CG core cardinality constraints returned 0
909.80/912.37	c CG unit cores 0
909.80/912.37	c CG single cores 0
909.80/912.37	c CG blocks removed during cardinality reduction 0
909.80/912.37	c CG first core best 0
909.80/912.37	c CG decision core best 0
909.80/912.37	c CG core reduction tie 0
909.80/912.37	c CG core degree average 0.00
909.80/912.37	c CG core slack average 0.00
909.80/912.37	c CG core upper bound improvements 0
909.80/912.37	c STR number of successful calls 0
909.80/912.37	c STR number of unsuccessful calls 0
909.80/912.37	c STR number of inconclusive calls 0
909.80/912.37	c STR number of successful attempts 0
909.80/912.37	c STR number of unsuccessful attempts 0
909.80/912.37	c STR number of inconclusive attempts 0
909.80/912.37	c STR average degree increase per successful call inf
909.80/912.37	c STR average degree increase per successful attempt inf
909.80/912.37	c STR total number of conflicts for successful attempts 0
909.80/912.37	c STR total number of conflicts for unsuccessful attempts 0
909.80/912.37	c STR total number of conflicts for inconclusive attempts 0
909.80/912.37	c STR average number of conflicts per successful attempt inf
909.80/912.37	c STR average number of conflicts per unsuccessful attempt inf
909.80/912.37	c STR average number of conflicts per inconclusive attempt inf
909.80/912.37	c AVG.sumWPerc 61.47 
909.80/912.37	c bigint constraints 0 
909.80/912.37	s SATISFIABLE
909.80/912.37	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: 63708 MiB (60676 MiB free)
  memory of node 1: 64465 MiB (57867 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507555-1751179387/watcher-4507555-1751179387 -o /tmp/evaluation-result-4507555-1751179387/solver-4507555-1751179387 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751170667-20844 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4507555-1751179387.opb PROOFDIR/proof-4507555-1751179387 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=22100, runsolver pid=22097
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 4.16 4.15 4.10 5/273 22102
/proc/meminfo: memFree=121373168/131249992 swapFree=33010672/33010684
[pid=22100] ppid=22097 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22100/stat : 22100 (run-dec-ls-log.) S 22097 22100 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33613196 4292608 704 18446744073709551615 94050621239296 94050622133829 140736044687248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050622372880 94050622420624 94050635681792 140736044693787 140736044693985 140736044693985 140736044699587 0
/proc/22100/statm: 1048 704 672 219 0 110 0
[pid=22102] ppid=22100 vsize=75016 memory=27768 CPUtime=0.08 cores=4,6
/proc/22102/stat : 22102 (roundingsat) R 22100 22100 20833 0 -1 4194304 5565 0 0 0 6 2 0 0 20 0 1 0 33613197 76816384 6942 18446744073709551615 4227072 8923433 140720344604848 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 39964672 140720344607056 140720344607272 140720344607272 140720344612842 0
/proc/22102/statm: 18754 6942 2272 1147 0 6181 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 79208 KiB
Current children cumulated memory: 30584 KiB

[startup+0.205285 s]*
/proc/loadavg: 4.16 4.15 4.10 5/273 22102
/proc/meminfo: memFree=121371404/131249992 swapFree=33010672/33010684
[pid=22100] ppid=22097 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22100/stat : 22100 (run-dec-ls-log.) S 22097 22100 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33613196 4292608 704 18446744073709551615 94050621239296 94050622133829 140736044687248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050622372880 94050622420624 94050635681792 140736044693787 140736044693985 140736044693985 140736044699587 0
/proc/22100/statm: 1048 704 672 219 0 110 0
[pid=22102] ppid=22100 vsize=75896 memory=28792 CPUtime=0.18 cores=4,6
/proc/22102/stat : 22102 (roundingsat) R 22100 22100 20833 0 -1 4194304 5822 0 0 0 16 2 0 0 20 0 1 0 33613197 77717504 7198 18446744073709551615 4227072 8923433 140720344604848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140720344607056 140720344607272 140720344607272 140720344612842 0
/proc/22102/statm: 18974 7198 2272 1147 0 6401 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 80088 KiB
Current children cumulated memory: 31608 KiB

[startup+0.30557 s]*
/proc/loadavg: 4.16 4.15 4.10 5/273 22102
/proc/meminfo: memFree=121371404/131249992 swapFree=33010672/33010684
[pid=22100] ppid=22097 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22100/stat : 22100 (run-dec-ls-log.) S 22097 22100 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33613196 4292608 704 18446744073709551615 94050621239296 94050622133829 140736044687248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050622372880 94050622420624 94050635681792 140736044693787 140736044693985 140736044693985 140736044699587 0
/proc/22100/statm: 1048 704 672 219 0 110 0
[pid=22102] ppid=22100 vsize=75896 memory=29048 CPUtime=0.28 cores=4,6
/proc/22102/stat : 22102 (roundingsat) R 22100 22100 20833 0 -1 4194304 5847 0 0 0 26 2 0 0 20 0 1 0 33613197 77717504 7262 18446744073709551615 4227072 8923433 140720344604848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140720344607056 140720344607272 140720344607272 140720344612842 0
/proc/22102/statm: 18974 7262 2304 1147 0 6401 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 80088 KiB
Current children cumulated memory: 31864 KiB

[startup+0.700213 s]
/proc/loadavg: 4.15 4.14 4.10 5/273 22102
/proc/meminfo: memFree=121371404/131249992 swapFree=33010672/33010684
[pid=22100] ppid=22097 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22100/stat : 22100 (run-dec-ls-log.) S 22097 22100 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33613196 4292608 704 18446744073709551615 94050621239296 94050622133829 140736044687248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050622372880 94050622420624 94050635681792 140736044693787 140736044693985 140736044693985 140736044699587 0
/proc/22100/statm: 1048 704 672 219 0 110 0
[pid=22102] ppid=22100 vsize=76516 memory=29816 CPUtime=0.67 cores=4,6
/proc/22102/stat : 22102 (roundingsat) R 22100 22100 20833 0 -1 4194304 6058 0 0 0 65 2 0 0 20 0 1 0 33613197 78352384 7454 18446744073709551615 4227072 8923433 140720344604848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140720344607056 140720344607272 140720344607272 140720344612842 0
/proc/22102/statm: 19129 7454 2304 1147 0 6556 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 80708 KiB
Current children cumulated memory: 32632 KiB

[startup+1.50019 s]
/proc/loadavg: 4.15 4.14 4.10 5/273 22102
/proc/meminfo: memFree=121363340/131249992 swapFree=33010672/33010684
[pid=22100] ppid=22097 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22100/stat : 22100 (run-dec-ls-log.) S 22097 22100 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33613196 4292608 704 18446744073709551615 94050621239296 94050622133829 140736044687248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050622372880 94050622420624 94050635681792 140736044693787 140736044693985 140736044693985 140736044699587 0
/proc/22100/statm: 1048 704 672 219 0 110 0
[pid=22102] ppid=22100 vsize=77788 memory=32248 CPUtime=1.47 cores=4,6
/proc/22102/stat : 22102 (roundingsat) R 22100 22100 20833 0 -1 4194304 6619 0 0 0 145 2 0 0 20 0 1 0 33613197 79654912 8062 18446744073709551615 4227072 8923433 140720344604848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140720344607056 140720344607272 140720344607272 140720344612842 0
/proc/22102/statm: 19447 8062 2336 1147 0 6874 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 81980 KiB
Current children cumulated memory: 35064 KiB

[startup+3.10551 s]
/proc/loadavg: 4.15 4.14 4.10 6/273 22102
/proc/meminfo: memFree=121341872/131249992 swapFree=33010672/33010684
[pid=22100] ppid=22097 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22100/stat : 22100 (run-dec-ls-log.) S 22097 22100 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33613196 4292608 704 18446744073709551615 94050621239296 94050622133829 140736044687248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050622372880 94050622420624 94050635681792 140736044693787 140736044693985 140736044693985 140736044699587 0
/proc/22100/statm: 1048 704 672 219 0 110 0
[pid=22102] ppid=22100 vsize=82912 memory=40340 CPUtime=3.07 cores=4,6
/proc/22102/stat : 22102 (roundingsat) R 22100 22100 20833 0 -1 4194304 8146 0 0 0 298 9 0 0 20 0 1 0 33613197 84901888 10085 18446744073709551615 4227072 8923433 140720344604848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140720344607056 140720344607272 140720344607272 140720344612842 0
/proc/22102/statm: 20728 10085 2336 1147 0 8155 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 87104 KiB
Current children cumulated memory: 43156 KiB

[startup+6.30015 s]
/proc/loadavg: 4.14 4.14 4.10 5/273 22102
/proc/meminfo: memFree=121312644/131249992 swapFree=33010672/33010684
[pid=22100] ppid=22097 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22100/stat : 22100 (run-dec-ls-log.) S 22097 22100 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33613196 4292608 704 18446744073709551615 94050621239296 94050622133829 140736044687248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050622372880 94050622420624 94050635681792 140736044693787 140736044693985 140736044693985 140736044699587 0
/proc/22100/statm: 1048 704 672 219 0 110 0
[pid=22102] ppid=22100 vsize=88892 memory=45788 CPUtime=6.25 cores=4,6
/proc/22102/stat : 22102 (roundingsat) R 22100 22100 20833 0 -1 4194304 8984 0 0 0 606 19 0 0 20 0 1 0 33613197 91025408 11447 18446744073709551615 4227072 8923433 140720344604848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140720344607056 140720344607272 140720344607272 140720344612842 0
/proc/22102/statm: 22223 11447 2336 1147 0 9650 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 93084 KiB
Current children cumulated memory: 48604 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.14 4.10 5/273 22102
/proc/meminfo: memFree=121256048/131249992 swapFree=33010672/33010684
[pid=22100] ppid=22097 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22100/stat : 22100 (run-dec-ls-log.) S 22097 22100 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33613196 4292608 704 18446744073709551615 94050621239296 94050622133829 140736044687248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050622372880 94050622420624 94050635681792 140736044693787 140736044693985 140736044693985 140736044699587 0
/proc/22100/statm: 1048 704 672 219 0 110 0
[pid=22102] ppid=22100 vsize=93032 memory=50012 CPUtime=12.65 cores=4,6
/proc/22102/stat : 22102 (roundingsat) R 22100 22100 20833 0 -1 4194304 10058 0 0 0 1230 35 0 0 20 0 1 0 33613197 95264768 12503 18446744073709551615 4227072 8923433 140720344604848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140720344607056 140720344607272 140720344607272 140720344612842 0
/proc/22102/statm: 23258 12503 2336 1147 0 10685 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 97224 KiB
Current children cumulated memory: 52828 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.14 4.10 5/273 22102
/proc/meminfo: memFree=121069544/131249992 swapFree=33010672/33010684
[pid=22100] ppid=22097 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22100/stat : 22100 (run-dec-ls-log.) S 22097 22100 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33613196 4292608 704 18446744073709551615 94050621239296 94050622133829 140736044687248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050622372880 94050622420624 94050635681792 140736044693787 140736044693985 140736044693985 140736044699587 0
/proc/22100/statm: 1048 704 672 219 0 110 0
[pid=22102] ppid=22100 vsize=131844 memory=85480 CPUtime=25.41 cores=4,6
/proc/22102/stat : 22102 (roundingsat) R 22100 22100 20833 0 -1 4194304 15325 0 0 0 2473 68 0 0 20 0 1 0 33613197 135008256 21370 18446744073709551615 4227072 8923433 140720344604848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140720344607056 140720344607272 140720344607272 140720344612842 0
/proc/22102/statm: 32961 21370 2368 1147 0 20388 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 136036 KiB
Current children cumulated memory: 88296 KiB

[startup+51.1056 s]
/proc/loadavg: 4.12 4.14 4.10 5/273 22103
/proc/meminfo: memFree=120803168/131249992 swapFree=33010672/33010684
[pid=22100] ppid=22097 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22100/stat : 22100 (run-dec-ls-log.) S 22097 22100 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33613196 4292608 704 18446744073709551615 94050621239296 94050622133829 140736044687248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050622372880 94050622420624 94050635681792 140736044693787 140736044693985 140736044693985 140736044699587 0
/proc/22100/statm: 1048 704 672 219 0 110 0
[pid=22102] ppid=22100 vsize=148496 memory=104564 CPUtime=50.94 cores=4,6
/proc/22102/stat : 22102 (roundingsat) R 22100 22100 20833 0 -1 4194304 19587 0 0 0 4979 115 0 0 20 0 1 0 33613197 152059904 26141 18446744073709551615 4227072 8923433 140720344604848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140720344607056 140720344607272 140720344607272 140720344612842 0
/proc/22102/statm: 37124 26141 2368 1147 0 24551 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 152688 KiB
Current children cumulated memory: 107380 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/272 22105
/proc/meminfo: memFree=120224440/131249992 swapFree=33010672/33010684
[pid=22100] ppid=22097 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22100/stat : 22100 (run-dec-ls-log.) S 22097 22100 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33613196 4292608 704 18446744073709551615 94050621239296 94050622133829 140736044687248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050622372880 94050622420624 94050635681792 140736044693787 140736044693985 140736044693985 140736044699587 0
/proc/22100/statm: 1048 704 672 219 0 110 0
[pid=22102] ppid=22100 vsize=221844 memory=155588 CPUtime=102.01 cores=4,6
/proc/22102/stat : 22102 (roundingsat) R 22100 22100 20833 0 -1 4194304 25700 0 0 0 10000 201 0 0 20 0 1 0 33613197 227168256 38897 18446744073709551615 4227072 8923433 140720344604848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140720344607056 140720344607272 140720344607272 140720344612842 0
/proc/22102/statm: 55461 38897 2368 1147 0 42888 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 226036 KiB
Current children cumulated memory: 158404 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/271 22109
/proc/meminfo: memFree=119548696/131249992 swapFree=33010672/33010684
[pid=22100] ppid=22097 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22100/stat : 22100 (run-dec-ls-log.) S 22097 22100 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33613196 4292608 704 18446744073709551615 94050621239296 94050622133829 140736044687248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050622372880 94050622420624 94050635681792 140736044693787 140736044693985 140736044693985 140736044699587 0
/proc/22100/statm: 1048 704 672 219 0 110 0
[pid=22102] ppid=22100 vsize=273980 memory=207072 CPUtime=161.86 cores=4,6
/proc/22102/stat : 22102 (roundingsat) R 22100 22100 20833 0 -1 4194304 37545 0 0 0 15897 289 0 0 20 0 1 0 33613197 280555520 51768 18446744073709551615 4227072 8923433 140720344604848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140720344607056 140720344607272 140720344607272 140720344612842 0
/proc/22102/statm: 68495 51768 2368 1147 0 55922 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 278172 KiB
Current children cumulated memory: 209888 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/272 22118
/proc/meminfo: memFree=118928952/131249992 swapFree=33010672/33010684
[pid=22100] ppid=22097 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22100/stat : 22100 (run-dec-ls-log.) S 22097 22100 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33613196 4292608 704 18446744073709551615 94050621239296 94050622133829 140736044687248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050622372880 94050622420624 94050635681792 140736044693787 140736044693985 140736044693985 140736044699587 0
/proc/22100/statm: 1048 704 672 219 0 110 0
[pid=22102] ppid=22100 vsize=406048 memory=282056 CPUtime=221.71 cores=4,6
/proc/22102/stat : 22102 (roundingsat) R 22100 22100 20833 0 -1 4194304 38934 0 0 0 21825 346 0 0 20 0 1 0 33613197 415793152 70514 18446744073709551615 4227072 8923433 140720344604848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140720344607056 140720344607272 140720344607272 140720344612842 0
/proc/22102/statm: 101512 70514 2368 1147 0 88939 0

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

/proc/22102/stat : 22102 (roundingsat) R 22100 22100 20833 0 -1 4194304 63627 0 0 0 63324 733 0 0 20 0 1 0 33613197 514895872 111994 18446744073709551615 4227072 8923433 140720344604848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140720344607056 140720344607272 140720344607272 140720344612842 0
/proc/22102/statm: 125707 111994 2368 1147 0 113134 0
Current children cumulated CPU time: 640.57 s
Current children cumulated vsize: 507020 KiB
Current children cumulated memory: 450792 KiB

[startup+702.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 22137
/proc/meminfo: memFree=115008748/131249992 swapFree=33010672/33010684
[pid=22100] ppid=22097 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22100/stat : 22100 (run-dec-ls-log.) S 22097 22100 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33613196 4292608 704 18446744073709551615 94050621239296 94050622133829 140736044687248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050622372880 94050622420624 94050635681792 140736044693787 140736044693985 140736044693985 140736044699587 0
/proc/22100/statm: 1048 704 672 219 0 110 0
[pid=22102] ppid=22100 vsize=635516 memory=458976 CPUtime=700.4 cores=4,6
/proc/22102/stat : 22102 (roundingsat) R 22100 22100 20833 0 -1 4194304 64360 0 0 0 69248 792 0 0 20 0 1 0 33613197 650768384 114744 18446744073709551615 4227072 8923433 140720344604848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140720344607056 140720344607272 140720344607272 140720344612842 0
/proc/22102/statm: 158879 114744 2368 1147 0 146306 0
Current children cumulated CPU time: 700.4 s
Current children cumulated vsize: 639708 KiB
Current children cumulated memory: 461792 KiB

[startup+762.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/273 22142
/proc/meminfo: memFree=114570132/131249992 swapFree=33010672/33010684
[pid=22100] ppid=22097 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22100/stat : 22100 (run-dec-ls-log.) S 22097 22100 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33613196 4292608 704 18446744073709551615 94050621239296 94050622133829 140736044687248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050622372880 94050622420624 94050635681792 140736044693787 140736044693985 140736044693985 140736044699587 0
/proc/22100/statm: 1048 704 672 219 0 110 0
[pid=22102] ppid=22100 vsize=635728 memory=460000 CPUtime=760.22 cores=4,6
/proc/22102/stat : 22102 (roundingsat) R 22100 22100 20833 0 -1 4194304 64475 0 0 0 75151 871 0 0 20 0 1 0 33613197 650985472 115000 18446744073709551615 4227072 8923433 140720344604848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140720344607056 140720344607272 140720344607272 140720344612842 0
/proc/22102/statm: 158932 115000 2368 1147 0 146359 0
Current children cumulated CPU time: 760.22 s
Current children cumulated vsize: 639920 KiB
Current children cumulated memory: 462816 KiB

[startup+822.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/273 22148
/proc/meminfo: memFree=114241560/131249992 swapFree=33010672/33010684
[pid=22100] ppid=22097 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22100/stat : 22100 (run-dec-ls-log.) S 22097 22100 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33613196 4292608 704 18446744073709551615 94050621239296 94050622133829 140736044687248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050622372880 94050622420624 94050635681792 140736044693787 140736044693985 140736044693985 140736044699587 0
/proc/22100/statm: 1048 704 672 219 0 110 0
[pid=22102] ppid=22100 vsize=635728 memory=461280 CPUtime=820.05 cores=4,6
/proc/22102/stat : 22102 (roundingsat) R 22100 22100 20833 0 -1 4194304 64600 0 0 0 81093 912 0 0 20 0 1 0 33613197 650985472 115320 18446744073709551615 4227072 8923433 140720344604848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140720344607056 140720344607272 140720344607272 140720344612842 0
/proc/22102/statm: 158932 115320 2368 1147 0 146359 0
Current children cumulated CPU time: 820.05 s
Current children cumulated vsize: 639920 KiB
Current children cumulated memory: 464096 KiB

[startup+882.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/273 22152
/proc/meminfo: memFree=113816372/131249992 swapFree=33010672/33010684
[pid=22100] ppid=22097 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22100/stat : 22100 (run-dec-ls-log.) S 22097 22100 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33613196 4292608 704 18446744073709551615 94050621239296 94050622133829 140736044687248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050622372880 94050622420624 94050635681792 140736044693787 140736044693985 140736044693985 140736044699587 0
/proc/22100/statm: 1048 704 672 219 0 110 0
[pid=22102] ppid=22100 vsize=643040 memory=471392 CPUtime=879.88 cores=4,6
/proc/22102/stat : 22102 (roundingsat) R 22100 22100 20833 0 -1 4194304 66093 0 0 0 87027 961 0 0 20 0 1 0 33613197 658472960 117848 18446744073709551615 4227072 8923433 140720344604848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140720344607056 140720344607272 140720344607272 140720344612842 0
/proc/22102/statm: 160760 117848 2368 1147 0 148187 0
Current children cumulated CPU time: 879.88 s
Current children cumulated vsize: 647232 KiB
Current children cumulated memory: 474208 KiB

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

# cumulated CPU time of all completed processes:  user=899.978 s, system=9.92478 s

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

[startup+896 s]*
/proc/loadavg: 4.12 4.09 4.09 5/273 22154
/proc/meminfo: memFree=113700440/131249992 swapFree=33010672/33010684
[pid=22100] ppid=22097 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22100/stat : 22100 (run-dec-ls-log.) S 22097 22100 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33613196 4292608 704 18446744073709551615 94050621239296 94050622133829 140736044687248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050622372880 94050622420624 94050635681792 140736044693787 140736044693985 140736044693985 140736044699587 0
/proc/22100/statm: 1048 704 672 219 0 110 0
[pid=22102] ppid=22100 vsize=643040 memory=471392 CPUtime=893.55 cores=4,6
/proc/22102/stat : 22102 (roundingsat) R 22100 22100 20833 0 -1 4194304 66097 0 0 0 88382 973 0 0 20 0 1 0 33613197 658472960 117848 18446744073709551615 4227072 8923433 140720344604848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140720344607056 140720344607272 140720344607272 140720344612842 0
/proc/22102/statm: 160760 117848 2368 1147 0 148187 0
Current children cumulated CPU time: 893.55 s
Current children cumulated vsize: 647232 KiB
Current children cumulated memory: 474208 KiB

[startup+902.4 s]
/proc/loadavg: 4.11 4.09 4.09 5/273 22155
/proc/meminfo: memFree=113637228/131249992 swapFree=33010672/33010684
[pid=22100] ppid=22097 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22100/stat : 22100 (run-dec-ls-log.) S 22097 22100 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33613196 4292608 704 18446744073709551615 94050621239296 94050622133829 140736044687248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050622372880 94050622420624 94050635681792 140736044693787 140736044693985 140736044693985 140736044699587 0
/proc/22100/statm: 1048 704 672 219 0 110 0
[pid=22102] ppid=22100 vsize=643040 memory=471392 CPUtime=899.93 cores=4,6
/proc/22102/stat : 22102 (roundingsat) R 22100 22100 20833 0 -1 4194304 66104 0 0 0 89016 977 0 0 20 0 1 0 33613197 658472960 117848 18446744073709551615 4227072 8923433 140720344604848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140720344607056 140720344607272 140720344607272 140720344612842 0
/proc/22102/statm: 160760 117848 2368 1147 0 148187 0
Current children cumulated CPU time: 899.93 s
Current children cumulated vsize: 647232 KiB
Current children cumulated memory: 474208 KiB

[startup+908.8 s]
/proc/loadavg: 4.10 4.09 4.09 5/273 22155
/proc/meminfo: memFree=113596924/131249992 swapFree=33010672/33010684
[pid=22100] ppid=22097 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22100/stat : 22100 (run-dec-ls-log.) S 22097 22100 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33613196 4292608 704 18446744073709551615 94050621239296 94050622133829 140736044687248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050622372880 94050622420624 94050635681792 140736044693787 140736044693985 140736044693985 140736044699587 0
/proc/22100/statm: 1048 704 672 219 0 110 0
[pid=22102] ppid=22100 vsize=643040 memory=471392 CPUtime=906.31 cores=4,6
/proc/22102/stat : 22102 (roundingsat) R 22100 22100 20833 0 -1 4194304 66104 0 0 0 89645 986 0 0 20 0 1 0 33613197 658472960 117848 18446744073709551615 4227072 8923433 140720344604848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140720344607056 140720344607272 140720344607272 140720344612842 0
/proc/22102/statm: 160760 117848 2368 1147 0 148187 0
Current children cumulated CPU time: 906.31 s
Current children cumulated vsize: 647232 KiB
Current children cumulated memory: 474208 KiB

[startup+910.4 s]
/proc/loadavg: 4.10 4.09 4.09 5/273 22155
/proc/meminfo: memFree=113576964/131249992 swapFree=33010672/33010684
[pid=22100] ppid=22097 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22100/stat : 22100 (run-dec-ls-log.) S 22097 22100 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33613196 4292608 704 18446744073709551615 94050621239296 94050622133829 140736044687248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050622372880 94050622420624 94050635681792 140736044693787 140736044693985 140736044693985 140736044699587 0
/proc/22100/statm: 1048 704 672 219 0 110 0
[pid=22102] ppid=22100 vsize=643040 memory=471392 CPUtime=907.91 cores=4,6
/proc/22102/stat : 22102 (roundingsat) R 22100 22100 20833 0 -1 4194304 66104 0 0 0 89802 989 0 0 20 0 1 0 33613197 658472960 117848 18446744073709551615 4227072 8923433 140720344604848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140720344607056 140720344607272 140720344607272 140720344612842 0
/proc/22102/statm: 160760 117848 2368 1147 0 148187 0
Current children cumulated CPU time: 907.91 s
Current children cumulated vsize: 647232 KiB
Current children cumulated memory: 474208 KiB

[startup+911.2 s]
/proc/loadavg: 4.09 4.09 4.09 5/273 22155
/proc/meminfo: memFree=113568652/131249992 swapFree=33010672/33010684
[pid=22100] ppid=22097 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22100/stat : 22100 (run-dec-ls-log.) S 22097 22100 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33613196 4292608 704 18446744073709551615 94050621239296 94050622133829 140736044687248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050622372880 94050622420624 94050635681792 140736044693787 140736044693985 140736044693985 140736044699587 0
/proc/22100/statm: 1048 704 672 219 0 110 0
[pid=22102] ppid=22100 vsize=643040 memory=471392 CPUtime=908.7 cores=4,6
/proc/22102/stat : 22102 (roundingsat) R 22100 22100 20833 0 -1 4194304 66104 0 0 0 89880 990 0 0 20 0 1 0 33613197 658472960 117848 18446744073709551615 4227072 8923433 140720344604848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140720344607056 140720344607272 140720344607272 140720344612842 0
/proc/22102/statm: 160760 117848 2368 1147 0 148187 0
Current children cumulated CPU time: 908.7 s
Current children cumulated vsize: 647232 KiB
Current children cumulated memory: 474208 KiB

[startup+912 s]*
/proc/loadavg: 4.09 4.09 4.09 5/273 22155
/proc/meminfo: memFree=113569240/131249992 swapFree=33010672/33010684
[pid=22100] ppid=22097 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22100/stat : 22100 (run-dec-ls-log.) S 22097 22100 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33613196 4292608 704 18446744073709551615 94050621239296 94050622133829 140736044687248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050622372880 94050622420624 94050635681792 140736044693787 140736044693985 140736044693985 140736044699587 0
/proc/22100/statm: 1048 704 672 219 0 110 0
[pid=22102] ppid=22100 vsize=643040 memory=471392 CPUtime=909.51 cores=4,6
/proc/22102/stat : 22102 (roundingsat) R 22100 22100 20833 0 -1 4194304 66104 0 0 0 89960 991 0 0 20 0 1 0 33613197 658472960 117848 18446744073709551615 4227072 8923433 140720344604848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140720344607056 140720344607272 140720344607272 140720344612842 0
/proc/22102/statm: 160760 117848 2368 1147 0 148187 0
Current children cumulated CPU time: 909.51 s
Current children cumulated vsize: 647232 KiB
Current children cumulated memory: 474208 KiB

[startup+912.4 s]
/proc/loadavg: 4.09 4.09 4.09 5/273 22155
/proc/meminfo: memFree=113569240/131249992 swapFree=33010672/33010684
[pid=22100] ppid=22097 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22100/stat : 22100 (run-dec-ls-log.) S 22097 22100 20833 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33613196 4292608 704 18446744073709551615 94050621239296 94050622133829 140736044687248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94050622372880 94050622420624 94050635681792 140736044693787 140736044693985 140736044693985 140736044699587 0
/proc/22100/statm: 1048 704 672 219 0 110 0
[pid=22102] ppid=22100 vsize=643040 memory=471392 CPUtime=909.88 cores=4,6
/proc/22102/stat : 22102 (roundingsat) D 22100 22100 20833 0 -1 4194304 66104 0 0 0 89997 991 0 0 20 0 1 0 33613197 658472960 117848 18446744073709551615 4227072 8923433 140720344604848 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 39964672 140720344607056 140720344607272 140720344607272 140720344612842 0
/proc/22102/statm: 160760 117848 2368 1147 0 148187 0
Current children cumulated CPU time: 909.88 s
Current children cumulated vsize: 647232 KiB
Current children cumulated memory: 474208 KiB

Child status: 0

Real time (s): 912.428
CPU time (s): 909.903
CPU user time (s): 899.978
CPU system time (s): 9.92478
CPU usage (%): 99.7233
Max. virtual memory (cumulated for all children) (KiB): 647232
Max. memory (cumulated for all children) (KiB): 474208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 899.978
system time used= 9.92478
maximum resident set size= 471392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66338
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3801880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 817
involuntary context switches= 1301


# summary of solver processes directly reported to runsolver:
#   pid: 22100
#   total CPU time (s): 909.903
#   total CPU user time (s): 899.978
#   total CPU system time (s): 9.92478

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.64949 second user time and 4.12886 second system time

The end

Launcher Data

Begin job on nodeC035 at 2025-06-29 08:43:07
IDJOB=4507555
IDBENCH=158365
IDSOLVER=3354
FILE ID=nodeC035/4507555-1751179387
RUNJOBID= nodeC035-1751170667-20844
SLURM_JOB_ID= 9587529
Free space on /tmp= 433040 MiB

SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K105.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507555-1751179387/watcher-4507555-1751179387 -o /tmp/evaluation-result-4507555-1751179387/solver-4507555-1751179387 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751170667-20844 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4507555-1751179387.opb PROOFDIR/proof-4507555-1751179387

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

MD5SUM BENCH= 7361f1d7a542e71300a3f7026fcde645
RANDOM SEED=1245032886

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.777
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.737
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.347
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.767
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.749
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.738
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.096
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3594.286
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        121389548 kB
MemAvailable:   128732404 kB
Buffers:            2352 kB
Cached:          8137764 kB
SwapCached:            8 kB
Active:          1303000 kB
Inactive:        7938460 kB
Active(anon):    1113468 kB
Inactive(anon):     6040 kB
Active(file):     189532 kB
Inactive(file):  7932420 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            103980 kB
Writeback:             8 kB
AnonPages:       1103324 kB
Mapped:           116332 kB
Shmem:             18056 kB
KReclaimable:     120288 kB
Slab:             209572 kB
SReclaimable:     120288 kB
SUnreclaim:        89284 kB
KernelStack:        4336 kB
PageTables:         5360 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1545848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    694272 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433032 MiB
End job on nodeC035 at 2025-06-29 08:58:19