Trace number 4507553

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-log 63f22adSAT 915.276 917.633

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
42.77/42.97	c #Conflicts:       1000 | #Constraints:       8351
42.77/42.97	c #Conflicts:       2000 | #Constraints:       9351
42.77/42.97	c INPROCESSING
42.77/42.97	c GARBAGE COLLECT
42.77/42.97	c #Conflicts:       3000 | #Constraints:       8973
42.77/42.97	c #Conflicts:       4000 | #Constraints:       9973
42.77/42.97	c INPROCESSING
42.77/42.97	c GARBAGE COLLECT
42.77/42.97	c #Conflicts:       5000 | #Constraints:       9430
42.77/42.97	c #Conflicts:       6000 | #Constraints:      10430
42.77/42.97	c INPROCESSING
42.77/42.97	c GARBAGE COLLECT
42.77/42.97	c #Conflicts:       7000 | #Constraints:       9508
42.77/42.97	c #Conflicts:       8000 | #Constraints:      10508
42.77/42.97	c #Conflicts:       9000 | #Constraints:      11508
42.77/42.97	c INPROCESSING
42.77/42.97	c GARBAGE COLLECT
42.77/42.97	c #Conflicts:      10000 | #Constraints:      10265
42.77/42.97	c #Conflicts:      11000 | #Constraints:      11265
42.77/42.97	c #Conflicts:      12000 | #Constraints:      12265
42.77/42.97	c INPROCESSING
42.77/42.97	c GARBAGE COLLECT
42.77/42.97	c #Conflicts:      13000 | #Constraints:      10759
42.77/42.97	c #Conflicts:      14000 | #Constraints:      11759
42.77/42.97	c #Conflicts:      15000 | #Constraints:      12759
42.77/42.97	c INPROCESSING
42.77/42.97	c GARBAGE COLLECT
42.77/42.97	c #Conflicts:      16000 | #Constraints:      11040
42.77/42.97	c #Conflicts:      17000 | #Constraints:      12040
42.77/42.97	c #Conflicts:      18000 | #Constraints:      13040
42.77/42.97	c INPROCESSING
42.77/42.97	c GARBAGE COLLECT
42.77/42.97	c #Conflicts:      19000 | #Constraints:      11077
42.77/42.97	c #Conflicts:      20000 | #Constraints:      12077
42.77/42.97	c #Conflicts:      21000 | #Constraints:      13078
42.77/42.97	c INPROCESSING
42.77/42.97	c GARBAGE COLLECT
42.77/42.97	c #Conflicts:      22000 | #Constraints:      10906
42.77/42.97	c #Conflicts:      23000 | #Constraints:      11906
42.77/42.97	c #Conflicts:      24000 | #Constraints:      12906
42.77/42.97	c #Conflicts:      25000 | #Constraints:      13906
42.77/42.97	c INPROCESSING
42.77/42.97	c GARBAGE COLLECT
42.77/42.97	c #Conflicts:      26000 | #Constraints:      11541
42.77/42.97	c #Conflicts:      27000 | #Constraints:      12541
42.77/42.97	c #Conflicts:      28000 | #Constraints:      13541
42.77/42.97	c #Conflicts:      29000 | #Constraints:      14541
42.77/42.97	c INPROCESSING
42.77/42.97	c GARBAGE COLLECT
42.77/42.97	c #Conflicts:      30000 | #Constraints:      11956
42.77/42.97	c #Conflicts:      31000 | #Constraints:      12956
42.77/42.97	c #Conflicts:      32000 | #Constraints:      13956
42.77/42.97	c #Conflicts:      33000 | #Constraints:      14956
42.77/42.97	c #Conflicts:      34000 | #Constraints:      15956
42.77/42.97	c #Conflicts:      35000 | #Constraints:      16956
42.77/42.97	c #Conflicts:      36000 | #Constraints:      17956
42.77/42.97	c #Conflicts:      37000 | #Constraints:      18956
42.77/42.97	c #Conflicts:      38000 | #Constraints:      19956
42.77/42.97	c #Conflicts:      39000 | #Constraints:      20956
42.77/42.97	c #Conflicts:      40000 | #Constraints:      21956
42.77/42.97	c #Conflicts:      41000 | #Constraints:      22956
42.77/42.97	c #Conflicts:      42000 | #Constraints:      23956
42.77/42.97	c INPROCESSING
42.77/42.97	c GARBAGE COLLECT
42.77/42.97	c #Conflicts:      43000 | #Constraints:      16278
42.77/42.97	c #Conflicts:      44000 | #Constraints:      17278
42.77/42.97	c #Conflicts:      45000 | #Constraints:      18278
42.77/42.97	c #Conflicts:      46000 | #Constraints:      19278
42.77/42.97	c #Conflicts:      47000 | #Constraints:      20278
42.77/42.97	c #Conflicts:      48000 | #Constraints:      21278
42.77/42.97	c INPROCESSING
42.77/42.97	c GARBAGE COLLECT
42.77/42.97	c #Conflicts:      49000 | #Constraints:      15380
42.77/42.97	c #Conflicts:      50000 | #Constraints:      16380
42.77/42.97	c #Conflicts:      51000 | #Constraints:      17380
42.77/42.97	c #Conflicts:      52000 | #Constraints:      18380
42.77/42.97	c #Conflicts:      53000 | #Constraints:      19380
42.77/42.97	c INPROCESSING
42.77/42.97	c GARBAGE COLLECT
42.77/42.97	c #Conflicts:      54000 | #Constraints:      14297
42.77/42.97	c #Conflicts:      55000 | #Constraints:      15297
42.77/42.97	c #Conflicts:      56000 | #Constraints:      16297
42.77/42.97	c #Conflicts:      57000 | #Constraints:      17297
42.77/42.97	c #Conflicts:      58000 | #Constraints:      18297
42.77/42.97	c INPROCESSING
42.77/42.97	c GARBAGE COLLECT
42.77/42.97	c #Conflicts:      59000 | #Constraints:      13526
42.77/42.97	c #Conflicts:      60000 | #Constraints:      14526
42.77/42.97	c #Conflicts:      61000 | #Constraints:      15526
42.77/42.97	c #Conflicts:      62000 | #Constraints:      16526
42.77/42.97	c #Conflicts:      63000 | #Constraints:      17526
42.77/42.97	c #Conflicts:      64000 | #Constraints:      18527
42.77/42.97	c #Conflicts:      65000 | #Constraints:      19527
42.77/42.97	c #Conflicts:      66000 | #Constraints:      20527
42.77/42.97	c #Conflicts:      67000 | #Constraints:      21527
42.77/42.97	c #Conflicts:      68000 | #Constraints:      22527
42.77/42.97	c #Conflicts:      69000 | #Constraints:      23527
42.77/42.97	c #Conflicts:      70000 | #Constraints:      24527
99.12/99.41	c #Conflicts:      71000 | #Constraints:      25527
99.12/99.41	c #Conflicts:      72000 | #Constraints:      26527
99.12/99.41	c #Conflicts:      73000 | #Constraints:      27527
99.12/99.41	c #Conflicts:      74000 | #Constraints:      28527
99.12/99.41	c #Conflicts:      75000 | #Constraints:      29527
99.12/99.41	c #Conflicts:      76000 | #Constraints:      30527
99.12/99.41	c #Conflicts:      77000 | #Constraints:      31527
99.12/99.41	c #Conflicts:      78000 | #Constraints:      32527
99.12/99.41	c INPROCESSING
99.12/99.41	c GARBAGE COLLECT
99.12/99.41	c #Conflicts:      79000 | #Constraints:      21048
99.12/99.41	c #Conflicts:      80000 | #Constraints:      22048
99.12/99.41	c #Conflicts:      81000 | #Constraints:      23048
99.12/99.41	c #Conflicts:      82000 | #Constraints:      24048
99.12/99.41	c #Conflicts:      83000 | #Constraints:      25048
99.12/99.41	c #Conflicts:      84000 | #Constraints:      26048
99.12/99.41	c INPROCESSING
99.12/99.41	c GARBAGE COLLECT
99.12/99.41	c #Conflicts:      85000 | #Constraints:      17441
99.12/99.41	c #Conflicts:      86000 | #Constraints:      18441
99.12/99.41	c #Conflicts:      87000 | #Constraints:      19441
99.12/99.41	c #Conflicts:      88000 | #Constraints:      20441
99.12/99.41	c #Conflicts:      89000 | #Constraints:      21441
99.12/99.41	c #Conflicts:      90000 | #Constraints:      22441
99.12/99.41	c #Conflicts:      91000 | #Constraints:      23441
99.12/99.41	c INPROCESSING
99.12/99.41	c GARBAGE COLLECT
99.12/99.41	c #Conflicts:      92000 | #Constraints:      16158
99.12/99.41	c #Conflicts:      93000 | #Constraints:      17158
99.12/99.41	c #Conflicts:      94000 | #Constraints:      18158
99.12/99.41	c #Conflicts:      95000 | #Constraints:      19158
99.12/99.41	c #Conflicts:      96000 | #Constraints:      20159
99.12/99.41	c #Conflicts:      97000 | #Constraints:      21159
99.12/99.41	c #Conflicts:      98000 | #Constraints:      22159
99.12/99.41	c #Conflicts:      99000 | #Constraints:      23159
99.12/99.41	c INPROCESSING
99.12/99.41	c GARBAGE COLLECT
99.12/99.41	c #Conflicts:     100000 | #Constraints:      16405
99.12/99.41	c #Conflicts:     101000 | #Constraints:      17405
99.12/99.41	c #Conflicts:     102000 | #Constraints:      18405
99.12/99.41	c #Conflicts:     103000 | #Constraints:      19405
99.12/99.41	c #Conflicts:     104000 | #Constraints:      20405
99.12/99.41	c #Conflicts:     105000 | #Constraints:      21405
99.12/99.41	c #Conflicts:     106000 | #Constraints:      22405
99.12/99.41	c #Conflicts:     107000 | #Constraints:      23405
99.12/99.41	c #Conflicts:     108000 | #Constraints:      24405
99.12/99.41	c #Conflicts:     109000 | #Constraints:      25405
99.12/99.41	c #Conflicts:     110000 | #Constraints:      26405
99.12/99.41	c #Conflicts:     111000 | #Constraints:      27405
99.12/99.41	c #Conflicts:     112000 | #Constraints:      28405
99.12/99.41	c #Conflicts:     113000 | #Constraints:      29405
99.12/99.41	c #Conflicts:     114000 | #Constraints:      30405
99.12/99.41	c #Conflicts:     115000 | #Constraints:      31405
99.12/99.41	c #Conflicts:     116000 | #Constraints:      32405
99.12/99.41	c #Conflicts:     117000 | #Constraints:      33405
99.12/99.41	c #Conflicts:     118000 | #Constraints:      34405
99.12/99.41	c #Conflicts:     119000 | #Constraints:      35405
99.12/99.41	c #Conflicts:     120000 | #Constraints:      36405
99.12/99.41	c #Conflicts:     121000 | #Constraints:      37405
99.12/99.41	c #Conflicts:     122000 | #Constraints:      38405
99.12/99.41	c #Conflicts:     123000 | #Constraints:      39405
99.12/99.41	c INPROCESSING
99.12/99.41	c GARBAGE COLLECT
99.12/99.41	c #Conflicts:     124000 | #Constraints:      24313
99.12/99.41	c #Conflicts:     125000 | #Constraints:      25313
99.12/99.41	c #Conflicts:     126000 | #Constraints:      26313
99.12/99.41	c #Conflicts:     127000 | #Constraints:      27313
99.12/99.41	c #Conflicts:     128000 | #Constraints:      28313
99.12/99.41	c #Conflicts:     129000 | #Constraints:      29313
99.12/99.41	c #Conflicts:     130000 | #Constraints:      30313
99.12/99.41	c #Conflicts:     131000 | #Constraints:      31313
99.12/99.41	c #Conflicts:     132000 | #Constraints:      32313
99.12/99.41	c INPROCESSING
99.12/99.41	c GARBAGE COLLECT
99.12/99.41	c rational objective 105
176.03/176.51	c #Conflicts:     133000 | #Constraints:      21027
176.03/176.51	c #Conflicts:     134000 | #Constraints:      22027
176.03/176.51	c #Conflicts:     135000 | #Constraints:      23027
176.03/176.51	c #Conflicts:     136000 | #Constraints:      24027
176.03/176.51	c #Conflicts:     137000 | #Constraints:      25027
176.03/176.51	c #Conflicts:     138000 | #Constraints:      26027
176.03/176.51	c #Conflicts:     139000 | #Constraints:      27027
176.03/176.51	c #Conflicts:     140000 | #Constraints:      28027
176.03/176.51	c INPROCESSING
176.03/176.51	c GARBAGE COLLECT
176.03/176.51	c #Conflicts:     141000 | #Constraints:      18609
176.03/176.51	c #Conflicts:     142000 | #Constraints:      19609
176.03/176.51	c #Conflicts:     143000 | #Constraints:      20609
176.03/176.51	c #Conflicts:     144000 | #Constraints:      21609
176.03/176.51	c #Conflicts:     145000 | #Constraints:      22609
176.03/176.51	c #Conflicts:     146000 | #Constraints:      23609
176.03/176.51	c #Conflicts:     147000 | #Constraints:      24609
176.03/176.51	c #Conflicts:     148000 | #Constraints:      25609
176.03/176.51	c #Conflicts:     149000 | #Constraints:      26609
176.03/176.51	c INPROCESSING
176.03/176.51	c GARBAGE COLLECT
176.03/176.51	c #Conflicts:     150000 | #Constraints:      17932
176.03/176.51	c #Conflicts:     151000 | #Constraints:      18932
176.03/176.51	c #Conflicts:     152000 | #Constraints:      19932
176.03/176.51	c #Conflicts:     153000 | #Constraints:      20932
176.03/176.51	c #Conflicts:     154000 | #Constraints:      21932
176.03/176.51	c #Conflicts:     155000 | #Constraints:      22932
176.03/176.51	c #Conflicts:     156000 | #Constraints:      23932
176.03/176.51	c #Conflicts:     157000 | #Constraints:      24932
176.03/176.51	c #Conflicts:     158000 | #Constraints:      25932
176.03/176.51	c #Conflicts:     159000 | #Constraints:      26932
176.03/176.51	c #Conflicts:     160000 | #Constraints:      27932
176.03/176.51	c #Conflicts:     161000 | #Constraints:      28932
176.03/176.51	c #Conflicts:     162000 | #Constraints:      29932
176.03/176.51	c #Conflicts:     163000 | #Constraints:      30932
176.03/176.51	c #Conflicts:     164000 | #Constraints:      31932
176.03/176.51	c #Conflicts:     165000 | #Constraints:      32932
176.03/176.51	c #Conflicts:     166000 | #Constraints:      33932
176.03/176.51	c #Conflicts:     167000 | #Constraints:      34932
176.03/176.51	c #Conflicts:     168000 | #Constraints:      35932
176.03/176.51	c #Conflicts:     169000 | #Constraints:      36932
176.03/176.51	c #Conflicts:     170000 | #Constraints:      37932
176.03/176.51	c #Conflicts:     171000 | #Constraints:      38932
176.03/176.51	c #Conflicts:     172000 | #Constraints:      39932
176.03/176.51	c #Conflicts:     173000 | #Constraints:      40932
176.03/176.51	c #Conflicts:     174000 | #Constraints:      41932
176.03/176.51	c #Conflicts:     175000 | #Constraints:      42932
176.03/176.51	c #Conflicts:     176000 | #Constraints:      43932
176.03/176.51	c #Conflicts:     177000 | #Constraints:      44932
176.03/176.51	c #Conflicts:     178000 | #Constraints:      45932
176.03/176.51	c #Conflicts:     179000 | #Constraints:      46932
176.03/176.51	c INPROCESSING
176.03/176.51	c GARBAGE COLLECT
176.03/176.51	c #Conflicts:     180000 | #Constraints:      28179
176.03/176.51	c #Conflicts:     181000 | #Constraints:      29179
176.03/176.51	c #Conflicts:     182000 | #Constraints:      30179
176.03/176.51	c #Conflicts:     183000 | #Constraints:      31179
176.03/176.51	c #Conflicts:     184000 | #Constraints:      32179
176.03/176.51	c #Conflicts:     185000 | #Constraints:      33179
176.03/176.51	c #Conflicts:     186000 | #Constraints:      34179
176.03/176.51	c #Conflicts:     187000 | #Constraints:      35179
176.03/176.51	c #Conflicts:     188000 | #Constraints:      36179
176.03/176.51	c #Conflicts:     189000 | #Constraints:      37179
176.03/176.51	c INPROCESSING
176.03/176.51	c GARBAGE COLLECT
176.03/176.51	c #Conflicts:     190000 | #Constraints:      23213
176.03/176.51	c #Conflicts:     191000 | #Constraints:      24213
176.03/176.51	c #Conflicts:     192000 | #Constraints:      25213
176.03/176.51	c #Conflicts:     193000 | #Constraints:      26213
176.03/176.51	c #Conflicts:     194000 | #Constraints:      27213
176.03/176.51	c #Conflicts:     195000 | #Constraints:      28213
176.03/176.51	c #Conflicts:     196000 | #Constraints:      29213
176.03/176.51	c #Conflicts:     197000 | #Constraints:      30213
176.03/176.51	c #Conflicts:     198000 | #Constraints:      31213
176.03/176.51	c #Conflicts:     199000 | #Constraints:      32213
176.03/176.51	c #Conflicts:     200000 | #Constraints:      33213
176.03/176.51	c INPROCESSING
176.03/176.51	c GARBAGE COLLECT
176.03/176.51	c #Conflicts:     201000 | #Constraints:      21637
176.03/176.51	c #Conflicts:     202000 | #Constraints:      22637
176.03/176.51	c #Conflicts:     203000 | #Constraints:      23637
176.03/176.51	c #Conflicts:     204000 | #Constraints:      24637
176.03/176.51	c #Conflicts:     205000 | #Constraints:      25637
176.03/176.51	c #Conflicts:     206000 | #Constraints:      26637
176.03/176.51	c #Conflicts:     207000 | #Constraints:      27637
176.03/176.51	c #Conflicts:     208000 | #Constraints:      28637
178.02/178.57	c #Conflicts:     209000 | #Constraints:      29637
178.02/178.57	c #Conflicts:     210000 | #Constraints:      30637
178.02/178.57	c INPROCESSING
178.02/178.57	c GARBAGE COLLECT
178.02/178.57	c rational objective 105
235.08/235.74	c #Conflicts:     211000 | #Constraints:      19939
235.08/235.74	c #Conflicts:     212000 | #Constraints:      20939
235.08/235.74	c #Conflicts:     213000 | #Constraints:      21939
235.08/235.74	c #Conflicts:     214000 | #Constraints:      22939
235.08/235.74	c #Conflicts:     215000 | #Constraints:      23939
235.08/235.74	c #Conflicts:     216000 | #Constraints:      24939
235.08/235.74	c #Conflicts:     217000 | #Constraints:      25939
235.08/235.74	c #Conflicts:     218000 | #Constraints:      26939
235.08/235.74	c #Conflicts:     219000 | #Constraints:      27939
235.08/235.74	c #Conflicts:     220000 | #Constraints:      28939
235.08/235.74	c #Conflicts:     221000 | #Constraints:      29939
235.08/235.74	c #Conflicts:     222000 | #Constraints:      30939
235.08/235.74	c #Conflicts:     223000 | #Constraints:      31939
235.08/235.74	c #Conflicts:     224000 | #Constraints:      32939
235.08/235.74	c #Conflicts:     225000 | #Constraints:      33939
235.08/235.74	c #Conflicts:     226000 | #Constraints:      34939
235.08/235.74	c #Conflicts:     227000 | #Constraints:      35939
235.08/235.74	c #Conflicts:     228000 | #Constraints:      36939
235.08/235.74	c #Conflicts:     229000 | #Constraints:      37939
235.08/235.74	c #Conflicts:     230000 | #Constraints:      38939
235.08/235.74	c #Conflicts:     231000 | #Constraints:      39939
235.08/235.74	c #Conflicts:     232000 | #Constraints:      40939
235.08/235.74	c #Conflicts:     233000 | #Constraints:      41939
235.08/235.74	c #Conflicts:     234000 | #Constraints:      42939
235.08/235.74	c #Conflicts:     235000 | #Constraints:      43939
235.08/235.74	c #Conflicts:     236000 | #Constraints:      44939
235.08/235.74	c #Conflicts:     237000 | #Constraints:      45939
235.08/235.74	c #Conflicts:     238000 | #Constraints:      46939
235.08/235.74	c #Conflicts:     239000 | #Constraints:      47939
235.08/235.74	c #Conflicts:     240000 | #Constraints:      48939
235.08/235.74	c #Conflicts:     241000 | #Constraints:      49939
235.08/235.74	c #Conflicts:     242000 | #Constraints:      50939
235.08/235.74	c #Conflicts:     243000 | #Constraints:      51939
235.08/235.74	c #Conflicts:     244000 | #Constraints:      52939
235.08/235.74	c #Conflicts:     245000 | #Constraints:      53939
235.08/235.74	c INPROCESSING
235.08/235.74	c GARBAGE COLLECT
235.08/235.74	c rational objective 105
327.84/328.71	c #Conflicts:     246000 | #Constraints:      31552
327.84/328.71	c #Conflicts:     247000 | #Constraints:      32552
327.84/328.71	c #Conflicts:     248000 | #Constraints:      33552
327.84/328.71	c #Conflicts:     249000 | #Constraints:      34553
327.84/328.71	c #Conflicts:     250000 | #Constraints:      35553
327.84/328.71	c #Conflicts:     251000 | #Constraints:      36553
327.84/328.71	c #Conflicts:     252000 | #Constraints:      37553
327.84/328.71	c #Conflicts:     253000 | #Constraints:      38553
327.84/328.71	c #Conflicts:     254000 | #Constraints:      39553
327.84/328.71	c #Conflicts:     255000 | #Constraints:      40553
327.84/328.71	c #Conflicts:     256000 | #Constraints:      41553
327.84/328.71	c #Conflicts:     257000 | #Constraints:      42553
327.84/328.71	c INPROCESSING
327.84/328.71	c GARBAGE COLLECT
327.84/328.71	c #Conflicts:     258000 | #Constraints:      25983
327.84/328.71	c #Conflicts:     259000 | #Constraints:      26983
327.84/328.71	c #Conflicts:     260000 | #Constraints:      27983
327.84/328.71	c #Conflicts:     261000 | #Constraints:      28983
327.84/328.71	c #Conflicts:     262000 | #Constraints:      29983
327.84/328.71	c #Conflicts:     263000 | #Constraints:      30983
327.84/328.71	c #Conflicts:     264000 | #Constraints:      31983
327.84/328.71	c #Conflicts:     265000 | #Constraints:      32983
327.84/328.71	c #Conflicts:     266000 | #Constraints:      33983
327.84/328.71	c #Conflicts:     267000 | #Constraints:      34983
327.84/328.71	c #Conflicts:     268000 | #Constraints:      35983
327.84/328.71	c #Conflicts:     269000 | #Constraints:      36983
327.84/328.71	c INPROCESSING
327.84/328.71	c GARBAGE COLLECT
327.84/328.71	c #Conflicts:     270000 | #Constraints:      23156
327.84/328.71	c #Conflicts:     271000 | #Constraints:      24156
327.84/328.71	c #Conflicts:     272000 | #Constraints:      25156
327.84/328.71	c #Conflicts:     273000 | #Constraints:      26156
327.84/328.71	c #Conflicts:     274000 | #Constraints:      27156
327.84/328.71	c #Conflicts:     275000 | #Constraints:      28156
327.84/328.71	c #Conflicts:     276000 | #Constraints:      29156
327.84/328.71	c #Conflicts:     277000 | #Constraints:      30156
327.84/328.71	c #Conflicts:     278000 | #Constraints:      31156
327.84/328.71	c #Conflicts:     279000 | #Constraints:      32156
327.84/328.71	c #Conflicts:     280000 | #Constraints:      33156
327.84/328.71	c #Conflicts:     281000 | #Constraints:      34156
327.84/328.71	c #Conflicts:     282000 | #Constraints:      35156
327.84/328.71	c INPROCESSING
327.84/328.71	c GARBAGE COLLECT
327.84/328.71	c #Conflicts:     283000 | #Constraints:      22583
327.84/328.71	c #Conflicts:     284000 | #Constraints:      23583
327.84/328.71	c #Conflicts:     285000 | #Constraints:      24583
327.84/328.71	c #Conflicts:     286000 | #Constraints:      25583
327.84/328.71	c #Conflicts:     287000 | #Constraints:      26583
327.84/328.71	c #Conflicts:     288000 | #Constraints:      27583
327.84/328.71	c #Conflicts:     289000 | #Constraints:      28583
327.84/328.71	c #Conflicts:     290000 | #Constraints:      29583
327.84/328.71	c #Conflicts:     291000 | #Constraints:      30583
327.84/328.71	c #Conflicts:     292000 | #Constraints:      31583
327.84/328.71	c #Conflicts:     293000 | #Constraints:      32583
327.84/328.71	c #Conflicts:     294000 | #Constraints:      33583
327.84/328.71	c #Conflicts:     295000 | #Constraints:      34583
327.84/328.71	c #Conflicts:     296000 | #Constraints:      35583
327.84/328.71	c #Conflicts:     297000 | #Constraints:      36583
327.84/328.71	c #Conflicts:     298000 | #Constraints:      37583
327.84/328.71	c #Conflicts:     299000 | #Constraints:      38583
327.84/328.71	c #Conflicts:     300000 | #Constraints:      39583
327.84/328.71	c #Conflicts:     301000 | #Constraints:      40583
327.84/328.71	c #Conflicts:     302000 | #Constraints:      41583
327.84/328.71	c #Conflicts:     303000 | #Constraints:      42583
327.84/328.71	c #Conflicts:     304000 | #Constraints:      43583
327.84/328.71	c #Conflicts:     305000 | #Constraints:      44583
327.84/328.71	c #Conflicts:     306000 | #Constraints:      45583
327.84/328.71	c #Conflicts:     307000 | #Constraints:      46583
327.84/328.71	c #Conflicts:     308000 | #Constraints:      47583
327.84/328.71	c #Conflicts:     309000 | #Constraints:      48583
327.84/328.71	c #Conflicts:     310000 | #Constraints:      49583
327.84/328.71	c #Conflicts:     311000 | #Constraints:      50583
327.84/328.71	c #Conflicts:     312000 | #Constraints:      51583
327.84/328.71	c #Conflicts:     313000 | #Constraints:      52583
327.84/328.71	c #Conflicts:     314000 | #Constraints:      53583
327.84/328.71	c #Conflicts:     315000 | #Constraints:      54583
327.84/328.71	c #Conflicts:     316000 | #Constraints:      55583
327.84/328.71	c #Conflicts:     317000 | #Constraints:      56583
327.84/328.71	c #Conflicts:     318000 | #Constraints:      57583
327.84/328.71	c #Conflicts:     319000 | #Constraints:      58583
327.84/328.71	c #Conflicts:     320000 | #Constraints:      59583
327.84/328.71	c #Conflicts:     321000 | #Constraints:      60583
327.84/328.71	c #Conflicts:     322000 | #Constraints:      61583
381.40/382.49	c INPROCESSING
381.40/382.49	c GARBAGE COLLECT
381.40/382.49	c #Conflicts:     323000 | #Constraints:      35548
381.40/382.49	c #Conflicts:     324000 | #Constraints:      36548
381.40/382.49	c #Conflicts:     325000 | #Constraints:      37548
381.40/382.49	c #Conflicts:     326000 | #Constraints:      38548
381.40/382.49	c #Conflicts:     327000 | #Constraints:      39548
381.40/382.49	c #Conflicts:     328000 | #Constraints:      40548
381.40/382.49	c #Conflicts:     329000 | #Constraints:      41548
381.40/382.49	c #Conflicts:     330000 | #Constraints:      42548
381.40/382.49	c #Conflicts:     331000 | #Constraints:      43548
381.40/382.49	c #Conflicts:     332000 | #Constraints:      44548
381.40/382.49	c #Conflicts:     333000 | #Constraints:      45548
381.40/382.49	c #Conflicts:     334000 | #Constraints:      46548
381.40/382.49	c #Conflicts:     335000 | #Constraints:      47548
381.40/382.49	c #Conflicts:     336000 | #Constraints:      48548
381.40/382.49	c INPROCESSING
381.40/382.49	c GARBAGE COLLECT
381.40/382.49	c #Conflicts:     337000 | #Constraints:      29249
381.40/382.49	c #Conflicts:     338000 | #Constraints:      30249
381.40/382.49	c #Conflicts:     339000 | #Constraints:      31249
381.40/382.49	c #Conflicts:     340000 | #Constraints:      32249
381.40/382.49	c #Conflicts:     341000 | #Constraints:      33249
381.40/382.49	c #Conflicts:     342000 | #Constraints:      34249
381.40/382.49	c #Conflicts:     343000 | #Constraints:      35249
381.40/382.49	c #Conflicts:     344000 | #Constraints:      36249
381.40/382.49	c #Conflicts:     345000 | #Constraints:      37249
381.40/382.49	c #Conflicts:     346000 | #Constraints:      38249
381.40/382.49	c #Conflicts:     347000 | #Constraints:      39249
381.40/382.49	c #Conflicts:     348000 | #Constraints:      40249
381.40/382.49	c #Conflicts:     349000 | #Constraints:      41249
381.40/382.49	c INPROCESSING
381.40/382.49	c GARBAGE COLLECT
381.40/382.49	c #Conflicts:     350000 | #Constraints:      25207
381.40/382.49	c #Conflicts:     351000 | #Constraints:      26207
381.40/382.49	c #Conflicts:     352000 | #Constraints:      27207
381.40/382.49	c #Conflicts:     353000 | #Constraints:      28207
381.40/382.49	c #Conflicts:     354000 | #Constraints:      29207
381.40/382.49	c #Conflicts:     355000 | #Constraints:      30207
381.40/382.49	c #Conflicts:     356000 | #Constraints:      31207
381.40/382.49	c #Conflicts:     357000 | #Constraints:      32207
381.40/382.49	c #Conflicts:     358000 | #Constraints:      33207
381.40/382.49	c #Conflicts:     359000 | #Constraints:      34208
381.40/382.49	c #Conflicts:     360000 | #Constraints:      35208
381.40/382.49	c #Conflicts:     361000 | #Constraints:      36208
381.40/382.49	c #Conflicts:     362000 | #Constraints:      37208
381.40/382.49	c #Conflicts:     363000 | #Constraints:      38208
381.40/382.49	c INPROCESSING
381.40/382.49	c GARBAGE COLLECT
381.40/382.49	c rational objective 105
456.21/457.42	c #Conflicts:     364000 | #Constraints:      23664
456.21/457.42	c #Conflicts:     365000 | #Constraints:      24664
456.21/457.42	c #Conflicts:     366000 | #Constraints:      25664
456.21/457.42	c #Conflicts:     367000 | #Constraints:      26664
456.21/457.42	c #Conflicts:     368000 | #Constraints:      27664
456.21/457.42	c #Conflicts:     369000 | #Constraints:      28664
456.21/457.42	c #Conflicts:     370000 | #Constraints:      29664
456.21/457.42	c #Conflicts:     371000 | #Constraints:      30664
456.21/457.42	c #Conflicts:     372000 | #Constraints:      31664
456.21/457.42	c #Conflicts:     373000 | #Constraints:      32664
456.21/457.42	c #Conflicts:     374000 | #Constraints:      33664
456.21/457.42	c #Conflicts:     375000 | #Constraints:      34664
456.21/457.42	c #Conflicts:     376000 | #Constraints:      35664
456.21/457.42	c #Conflicts:     377000 | #Constraints:      36664
456.21/457.42	c #Conflicts:     378000 | #Constraints:      37664
456.21/457.42	c #Conflicts:     379000 | #Constraints:      38664
456.21/457.42	c #Conflicts:     380000 | #Constraints:      39664
456.21/457.42	c #Conflicts:     381000 | #Constraints:      40664
456.21/457.42	c #Conflicts:     382000 | #Constraints:      41664
456.21/457.42	c #Conflicts:     383000 | #Constraints:      42664
456.21/457.42	c #Conflicts:     384000 | #Constraints:      43664
456.21/457.42	c #Conflicts:     385000 | #Constraints:      44664
456.21/457.42	c #Conflicts:     386000 | #Constraints:      45664
456.21/457.42	c #Conflicts:     387000 | #Constraints:      46664
456.21/457.42	c #Conflicts:     388000 | #Constraints:      47664
456.21/457.42	c #Conflicts:     389000 | #Constraints:      48664
456.21/457.42	c #Conflicts:     390000 | #Constraints:      49664
456.21/457.42	c #Conflicts:     391000 | #Constraints:      50664
456.21/457.42	c #Conflicts:     392000 | #Constraints:      51664
456.21/457.42	c #Conflicts:     393000 | #Constraints:      52664
456.21/457.42	c #Conflicts:     394000 | #Constraints:      53664
456.21/457.42	c #Conflicts:     395000 | #Constraints:      54664
456.21/457.42	c #Conflicts:     396000 | #Constraints:      55665
456.21/457.42	c #Conflicts:     397000 | #Constraints:      56665
456.21/457.42	c #Conflicts:     398000 | #Constraints:      57665
456.21/457.42	c #Conflicts:     399000 | #Constraints:      58665
456.21/457.42	c #Conflicts:     400000 | #Constraints:      59665
456.21/457.42	c #Conflicts:     401000 | #Constraints:      60665
456.21/457.42	c #Conflicts:     402000 | #Constraints:      61665
456.21/457.42	c #Conflicts:     403000 | #Constraints:      62665
456.21/457.42	c #Conflicts:     404000 | #Constraints:      63665
456.21/457.42	c #Conflicts:     405000 | #Constraints:      64665
456.21/457.42	c #Conflicts:     406000 | #Constraints:      65665
456.21/457.42	c #Conflicts:     407000 | #Constraints:      66665
456.21/457.42	c #Conflicts:     408000 | #Constraints:      67665
456.21/457.42	c #Conflicts:     409000 | #Constraints:      68665
456.21/457.42	c INPROCESSING
456.21/457.42	c GARBAGE COLLECT
456.21/457.42	c rational objective 105
480.65/481.99	c #Conflicts:     410000 | #Constraints:      39069
480.65/481.99	c #Conflicts:     411000 | #Constraints:      40069
480.65/481.99	c #Conflicts:     412000 | #Constraints:      41069
480.65/481.99	c #Conflicts:     413000 | #Constraints:      42069
480.65/481.99	c #Conflicts:     414000 | #Constraints:      43069
480.65/481.99	c #Conflicts:     415000 | #Constraints:      44069
480.65/481.99	c #Conflicts:     416000 | #Constraints:      45069
480.65/481.99	c #Conflicts:     417000 | #Constraints:      46069
480.65/481.99	c #Conflicts:     418000 | #Constraints:      47069
480.65/481.99	c #Conflicts:     419000 | #Constraints:      48069
480.65/481.99	c #Conflicts:     420000 | #Constraints:      49069
480.65/481.99	c #Conflicts:     421000 | #Constraints:      50069
480.65/481.99	c #Conflicts:     422000 | #Constraints:      51069
480.65/481.99	c #Conflicts:     423000 | #Constraints:      52069
480.65/481.99	c #Conflicts:     424000 | #Constraints:      53069
480.65/481.99	c INPROCESSING
480.65/481.99	c GARBAGE COLLECT
480.65/481.99	c rational objective 105
511.57/512.99	c #Conflicts:     425000 | #Constraints:      31110
511.57/512.99	c #Conflicts:     426000 | #Constraints:      32110
511.57/512.99	c #Conflicts:     427000 | #Constraints:      33110
511.57/512.99	c #Conflicts:     428000 | #Constraints:      34110
511.57/512.99	c #Conflicts:     429000 | #Constraints:      35110
511.57/512.99	c #Conflicts:     430000 | #Constraints:      36110
511.57/512.99	c #Conflicts:     431000 | #Constraints:      37110
511.57/512.99	c #Conflicts:     432000 | #Constraints:      38110
511.57/512.99	c #Conflicts:     433000 | #Constraints:      39110
511.57/512.99	c #Conflicts:     434000 | #Constraints:      40110
511.57/512.99	c #Conflicts:     435000 | #Constraints:      41110
511.57/512.99	c #Conflicts:     436000 | #Constraints:      42110
511.57/512.99	c #Conflicts:     437000 | #Constraints:      43110
511.57/512.99	c #Conflicts:     438000 | #Constraints:      44110
511.57/512.99	c #Conflicts:     439000 | #Constraints:      45110
511.57/512.99	c #Conflicts:     440000 | #Constraints:      46110
511.57/512.99	c INPROCESSING
511.57/512.99	c GARBAGE COLLECT
511.57/512.99	c rational objective 105
665.49/667.26	c #Conflicts:     441000 | #Constraints:      27978
665.49/667.26	c #Conflicts:     442000 | #Constraints:      28978
665.49/667.26	c #Conflicts:     443000 | #Constraints:      29978
665.49/667.26	c #Conflicts:     444000 | #Constraints:      30978
665.49/667.26	c #Conflicts:     445000 | #Constraints:      31978
665.49/667.26	c #Conflicts:     446000 | #Constraints:      32978
665.49/667.26	c #Conflicts:     447000 | #Constraints:      33978
665.49/667.26	c #Conflicts:     448000 | #Constraints:      34978
665.49/667.26	c #Conflicts:     449000 | #Constraints:      35978
665.49/667.26	c #Conflicts:     450000 | #Constraints:      36978
665.49/667.26	c #Conflicts:     451000 | #Constraints:      37978
665.49/667.26	c #Conflicts:     452000 | #Constraints:      38978
665.49/667.26	c #Conflicts:     453000 | #Constraints:      39978
665.49/667.26	c #Conflicts:     454000 | #Constraints:      40978
665.49/667.26	c #Conflicts:     455000 | #Constraints:      41978
665.49/667.26	c #Conflicts:     456000 | #Constraints:      42978
665.49/667.26	c INPROCESSING
665.49/667.26	c GARBAGE COLLECT
665.49/667.26	c #Conflicts:     457000 | #Constraints:      26416
665.49/667.26	c #Conflicts:     458000 | #Constraints:      27416
665.49/667.26	c #Conflicts:     459000 | #Constraints:      28416
665.49/667.26	c #Conflicts:     460000 | #Constraints:      29416
665.49/667.26	c #Conflicts:     461000 | #Constraints:      30416
665.49/667.26	c #Conflicts:     462000 | #Constraints:      31416
665.49/667.26	c #Conflicts:     463000 | #Constraints:      32416
665.49/667.26	c #Conflicts:     464000 | #Constraints:      33416
665.49/667.26	c #Conflicts:     465000 | #Constraints:      34416
665.49/667.26	c #Conflicts:     466000 | #Constraints:      35416
665.49/667.26	c #Conflicts:     467000 | #Constraints:      36416
665.49/667.26	c #Conflicts:     468000 | #Constraints:      37416
665.49/667.26	c #Conflicts:     469000 | #Constraints:      38416
665.49/667.26	c #Conflicts:     470000 | #Constraints:      39416
665.49/667.26	c #Conflicts:     471000 | #Constraints:      40416
665.49/667.26	c #Conflicts:     472000 | #Constraints:      41416
665.49/667.26	c #Conflicts:     473000 | #Constraints:      42416
665.49/667.26	c #Conflicts:     474000 | #Constraints:      43416
665.49/667.26	c #Conflicts:     475000 | #Constraints:      44416
665.49/667.26	c #Conflicts:     476000 | #Constraints:      45416
665.49/667.26	c #Conflicts:     477000 | #Constraints:      46416
665.49/667.26	c #Conflicts:     478000 | #Constraints:      47416
665.49/667.26	c #Conflicts:     479000 | #Constraints:      48416
665.49/667.26	c #Conflicts:     480000 | #Constraints:      49416
665.49/667.26	c #Conflicts:     481000 | #Constraints:      50416
665.49/667.26	c #Conflicts:     482000 | #Constraints:      51416
665.49/667.26	c #Conflicts:     483000 | #Constraints:      52416
665.49/667.26	c #Conflicts:     484000 | #Constraints:      53416
665.49/667.26	c #Conflicts:     485000 | #Constraints:      54416
665.49/667.26	c #Conflicts:     486000 | #Constraints:      55416
665.49/667.26	c #Conflicts:     487000 | #Constraints:      56416
665.49/667.26	c #Conflicts:     488000 | #Constraints:      57416
665.49/667.26	c #Conflicts:     489000 | #Constraints:      58416
665.49/667.26	c #Conflicts:     490000 | #Constraints:      59416
665.49/667.26	c #Conflicts:     491000 | #Constraints:      60416
665.49/667.26	c #Conflicts:     492000 | #Constraints:      61416
665.49/667.26	c #Conflicts:     493000 | #Constraints:      62416
665.49/667.26	c #Conflicts:     494000 | #Constraints:      63416
665.49/667.26	c #Conflicts:     495000 | #Constraints:      64416
665.49/667.26	c #Conflicts:     496000 | #Constraints:      65416
665.49/667.26	c #Conflicts:     497000 | #Constraints:      66416
665.49/667.26	c #Conflicts:     498000 | #Constraints:      67416
665.49/667.26	c #Conflicts:     499000 | #Constraints:      68416
665.49/667.26	c #Conflicts:     500000 | #Constraints:      69416
665.49/667.26	c #Conflicts:     501000 | #Constraints:      70416
665.49/667.26	c #Conflicts:     502000 | #Constraints:      71416
665.49/667.26	c #Conflicts:     503000 | #Constraints:      72416
665.49/667.26	c #Conflicts:     504000 | #Constraints:      73416
665.49/667.26	c #Conflicts:     505000 | #Constraints:      74416
665.49/667.26	c #Conflicts:     506000 | #Constraints:      75416
665.49/667.26	c #Conflicts:     507000 | #Constraints:      76416
665.49/667.26	c INPROCESSING
665.49/667.26	c GARBAGE COLLECT
665.49/667.26	c #Conflicts:     508000 | #Constraints:      43292
665.49/667.26	c #Conflicts:     509000 | #Constraints:      44292
665.49/667.26	c #Conflicts:     510000 | #Constraints:      45292
665.49/667.26	c #Conflicts:     511000 | #Constraints:      46292
665.49/667.26	c #Conflicts:     512000 | #Constraints:      47292
665.49/667.26	c #Conflicts:     513000 | #Constraints:      48292
665.49/667.26	c #Conflicts:     514000 | #Constraints:      49292
665.49/667.26	c #Conflicts:     515000 | #Constraints:      50292
665.49/667.26	c #Conflicts:     516000 | #Constraints:      51292
665.49/667.26	c #Conflicts:     517000 | #Constraints:      52292
665.49/667.26	c #Conflicts:     518000 | #Constraints:      53292
740.01/741.90	c #Conflicts:     519000 | #Constraints:      54292
740.01/741.90	c #Conflicts:     520000 | #Constraints:      55292
740.01/741.90	c #Conflicts:     521000 | #Constraints:      56293
740.01/741.90	c #Conflicts:     522000 | #Constraints:      57293
740.01/741.90	c #Conflicts:     523000 | #Constraints:      58293
740.01/741.90	c #Conflicts:     524000 | #Constraints:      59293
740.01/741.90	c INPROCESSING
740.01/741.90	c GARBAGE COLLECT
740.01/741.90	c #Conflicts:     525000 | #Constraints:      34673
740.01/741.90	c #Conflicts:     526000 | #Constraints:      35673
740.01/741.90	c #Conflicts:     527000 | #Constraints:      36673
740.01/741.90	c #Conflicts:     528000 | #Constraints:      37673
740.01/741.90	c #Conflicts:     529000 | #Constraints:      38673
740.01/741.90	c #Conflicts:     530000 | #Constraints:      39673
740.01/741.90	c #Conflicts:     531000 | #Constraints:      40673
740.01/741.90	c #Conflicts:     532000 | #Constraints:      41673
740.01/741.90	c #Conflicts:     533000 | #Constraints:      42673
740.01/741.90	c #Conflicts:     534000 | #Constraints:      43673
740.01/741.90	c #Conflicts:     535000 | #Constraints:      44673
740.01/741.90	c #Conflicts:     536000 | #Constraints:      45673
740.01/741.90	c #Conflicts:     537000 | #Constraints:      46673
740.01/741.90	c #Conflicts:     538000 | #Constraints:      47673
740.01/741.90	c #Conflicts:     539000 | #Constraints:      48673
740.01/741.90	c #Conflicts:     540000 | #Constraints:      49673
740.01/741.90	c #Conflicts:     541000 | #Constraints:      50673
740.01/741.90	c INPROCESSING
740.01/741.90	c GARBAGE COLLECT
740.01/741.90	c #Conflicts:     542000 | #Constraints:      30206
740.01/741.90	c #Conflicts:     543000 | #Constraints:      31206
740.01/741.90	c #Conflicts:     544000 | #Constraints:      32206
740.01/741.90	c #Conflicts:     545000 | #Constraints:      33206
740.01/741.90	c #Conflicts:     546000 | #Constraints:      34206
740.01/741.90	c #Conflicts:     547000 | #Constraints:      35206
740.01/741.90	c #Conflicts:     548000 | #Constraints:      36206
740.01/741.90	c #Conflicts:     549000 | #Constraints:      37206
740.01/741.90	c #Conflicts:     550000 | #Constraints:      38206
740.01/741.90	c #Conflicts:     551000 | #Constraints:      39206
740.01/741.90	c #Conflicts:     552000 | #Constraints:      40206
740.01/741.90	c #Conflicts:     553000 | #Constraints:      41206
740.01/741.90	c #Conflicts:     554000 | #Constraints:      42206
740.01/741.90	c #Conflicts:     555000 | #Constraints:      43206
740.01/741.90	c #Conflicts:     556000 | #Constraints:      44206
740.01/741.90	c #Conflicts:     557000 | #Constraints:      45206
740.01/741.90	c #Conflicts:     558000 | #Constraints:      46206
740.01/741.90	c INPROCESSING
740.01/741.90	c GARBAGE COLLECT
740.01/741.90	c #Conflicts:     559000 | #Constraints:      27877
740.01/741.90	c #Conflicts:     560000 | #Constraints:      28877
740.01/741.90	c #Conflicts:     561000 | #Constraints:      29877
740.01/741.90	c #Conflicts:     562000 | #Constraints:      30877
740.01/741.90	c #Conflicts:     563000 | #Constraints:      31877
740.01/741.90	c #Conflicts:     564000 | #Constraints:      32877
740.01/741.90	c #Conflicts:     565000 | #Constraints:      33877
740.01/741.90	c #Conflicts:     566000 | #Constraints:      34877
740.01/741.90	c #Conflicts:     567000 | #Constraints:      35877
740.01/741.90	c #Conflicts:     568000 | #Constraints:      36877
740.01/741.90	c #Conflicts:     569000 | #Constraints:      37877
740.01/741.90	c #Conflicts:     570000 | #Constraints:      38877
740.01/741.90	c #Conflicts:     571000 | #Constraints:      39877
740.01/741.90	c #Conflicts:     572000 | #Constraints:      40877
740.01/741.90	c #Conflicts:     573000 | #Constraints:      41877
740.01/741.90	c #Conflicts:     574000 | #Constraints:      42877
740.01/741.90	c #Conflicts:     575000 | #Constraints:      43877
740.01/741.90	c #Conflicts:     576000 | #Constraints:      44877
740.01/741.90	c INPROCESSING
740.01/741.90	c GARBAGE COLLECT
740.01/741.90	c rational objective 105
881.66/883.91	c #Conflicts:     577000 | #Constraints:      27346
881.66/883.91	c #Conflicts:     578000 | #Constraints:      28346
881.66/883.91	c #Conflicts:     579000 | #Constraints:      29346
881.66/883.91	c #Conflicts:     580000 | #Constraints:      30346
881.66/883.91	c #Conflicts:     581000 | #Constraints:      31346
881.66/883.91	c #Conflicts:     582000 | #Constraints:      32346
881.66/883.91	c #Conflicts:     583000 | #Constraints:      33346
881.66/883.91	c #Conflicts:     584000 | #Constraints:      34346
881.66/883.91	c #Conflicts:     585000 | #Constraints:      35346
881.66/883.91	c #Conflicts:     586000 | #Constraints:      36346
881.66/883.91	c #Conflicts:     587000 | #Constraints:      37346
881.66/883.91	c #Conflicts:     588000 | #Constraints:      38346
881.66/883.91	c #Conflicts:     589000 | #Constraints:      39346
881.66/883.91	c #Conflicts:     590000 | #Constraints:      40346
881.66/883.91	c #Conflicts:     591000 | #Constraints:      41346
881.66/883.91	c #Conflicts:     592000 | #Constraints:      42346
881.66/883.91	c #Conflicts:     593000 | #Constraints:      43346
881.66/883.91	c #Conflicts:     594000 | #Constraints:      44346
881.66/883.91	c #Conflicts:     595000 | #Constraints:      45346
881.66/883.91	c #Conflicts:     596000 | #Constraints:      46346
881.66/883.91	c #Conflicts:     597000 | #Constraints:      47346
881.66/883.91	c #Conflicts:     598000 | #Constraints:      48346
881.66/883.91	c #Conflicts:     599000 | #Constraints:      49346
881.66/883.91	c #Conflicts:     600000 | #Constraints:      50346
881.66/883.91	c #Conflicts:     601000 | #Constraints:      51346
881.66/883.91	c #Conflicts:     602000 | #Constraints:      52346
881.66/883.91	c #Conflicts:     603000 | #Constraints:      53346
881.66/883.91	c #Conflicts:     604000 | #Constraints:      54346
881.66/883.91	c #Conflicts:     605000 | #Constraints:      55346
881.66/883.91	c #Conflicts:     606000 | #Constraints:      56346
881.66/883.91	c #Conflicts:     607000 | #Constraints:      57346
881.66/883.91	c #Conflicts:     608000 | #Constraints:      58346
881.66/883.91	c #Conflicts:     609000 | #Constraints:      59346
881.66/883.91	c #Conflicts:     610000 | #Constraints:      60346
881.66/883.91	c #Conflicts:     611000 | #Constraints:      61346
881.66/883.91	c #Conflicts:     612000 | #Constraints:      62346
881.66/883.91	c #Conflicts:     613000 | #Constraints:      63346
881.66/883.91	c #Conflicts:     614000 | #Constraints:      64346
881.66/883.91	c #Conflicts:     615000 | #Constraints:      65346
881.66/883.91	c #Conflicts:     616000 | #Constraints:      66346
881.66/883.91	c #Conflicts:     617000 | #Constraints:      67346
881.66/883.91	c #Conflicts:     618000 | #Constraints:      68346
881.66/883.91	c #Conflicts:     619000 | #Constraints:      69346
881.66/883.91	c #Conflicts:     620000 | #Constraints:      70346
881.66/883.91	c #Conflicts:     621000 | #Constraints:      71346
881.66/883.91	c #Conflicts:     622000 | #Constraints:      72346
881.66/883.91	c #Conflicts:     623000 | #Constraints:      73346
881.66/883.91	c #Conflicts:     624000 | #Constraints:      74346
881.66/883.91	c #Conflicts:     625000 | #Constraints:      75346
881.66/883.91	c #Conflicts:     626000 | #Constraints:      76346
881.66/883.91	c #Conflicts:     627000 | #Constraints:      77346
881.66/883.91	c #Conflicts:     628000 | #Constraints:      78346
881.66/883.91	c #Conflicts:     629000 | #Constraints:      79346
881.66/883.91	c #Conflicts:     630000 | #Constraints:      80346
881.66/883.91	c #Conflicts:     631000 | #Constraints:      81346
881.66/883.91	c #Conflicts:     632000 | #Constraints:      82346
881.66/883.91	c #Conflicts:     633000 | #Constraints:      83346
881.66/883.91	c INPROCESSING
881.66/883.91	c GARBAGE COLLECT
881.66/883.91	c #Conflicts:     634000 | #Constraints:      46521
881.66/883.91	c #Conflicts:     635000 | #Constraints:      47521
881.66/883.91	c #Conflicts:     636000 | #Constraints:      48521
881.66/883.91	c #Conflicts:     637000 | #Constraints:      49521
881.66/883.91	c #Conflicts:     638000 | #Constraints:      50521
881.66/883.91	c #Conflicts:     639000 | #Constraints:      51521
881.66/883.91	c #Conflicts:     640000 | #Constraints:      52521
881.66/883.91	c #Conflicts:     641000 | #Constraints:      53521
881.66/883.91	c #Conflicts:     642000 | #Constraints:      54521
881.66/883.91	c #Conflicts:     643000 | #Constraints:      55521
881.66/883.91	c #Conflicts:     644000 | #Constraints:      56521
881.66/883.91	c #Conflicts:     645000 | #Constraints:      57521
881.66/883.91	c #Conflicts:     646000 | #Constraints:      58521
881.66/883.91	c #Conflicts:     647000 | #Constraints:      59521
881.66/883.91	c #Conflicts:     648000 | #Constraints:      60521
881.66/883.91	c #Conflicts:     649000 | #Constraints:      61521
881.66/883.91	c #Conflicts:     650000 | #Constraints:      62521
881.66/883.91	c #Conflicts:     651000 | #Constraints:      63521
881.66/883.91	c #Conflicts:     652000 | #Constraints:      64521
881.66/883.91	c INPROCESSING
881.66/883.91	c GARBAGE COLLECT
881.66/883.91	c #Conflicts:     653000 | #Constraints:      37097
881.66/883.91	c #Conflicts:     654000 | #Constraints:      38097
915.18/917.55	c #Conflicts:     655000 | #Constraints:      39097
915.18/917.55	c #Conflicts:     656000 | #Constraints:      40097
915.18/917.55	c #Conflicts:     657000 | #Constraints:      41097
915.18/917.55	c #Conflicts:     658000 | #Constraints:      42097
915.18/917.55	c #Conflicts:     659000 | #Constraints:      43097
915.18/917.55	c #Conflicts:     660000 | #Constraints:      44097
915.18/917.55	c #Conflicts:     661000 | #Constraints:      45097
915.18/917.55	c #Conflicts:     662000 | #Constraints:      46097
915.18/917.55	c #Conflicts:     663000 | #Constraints:      47097
915.18/917.55	c #Conflicts:     664000 | #Constraints:      48097
915.18/917.55	c #Conflicts:     665000 | #Constraints:      49097
915.18/917.55	c #Conflicts:     666000 | #Constraints:      50097
915.18/917.55	c #Conflicts:     667000 | #Constraints:      51097
915.18/917.55	c #Conflicts:     668000 | #Constraints:      52097
915.18/917.55	c #Conflicts:     669000 | #Constraints:      53097
915.18/917.55	c #Conflicts:     670000 | #Constraints:      54097
915.18/917.55	c #Conflicts:     671000 | #Constraints:      55097
915.18/917.55	c INPROCESSING
915.18/917.55	c GARBAGE COLLECT
915.18/917.55	c #Conflicts:     672000 | #Constraints:      32297
915.18/917.55	c #Conflicts:     673000 | #Constraints:      33297
915.18/917.55	c #Conflicts:     674000 | #Constraints:      34297
915.18/917.55	c #Conflicts:     675000 | #Constraints:      35297
915.18/917.55	c #Conflicts:     676000 | #Constraints:      36297
915.18/917.55	c #Conflicts:     677000 | #Constraints:      37297
915.18/917.55	c #Conflicts:     678000 | #Constraints:      38297
915.18/917.55	c #Conflicts:     679000 | #Constraints:      39297
915.18/917.55	c cpu time 905.221 s
915.18/917.55	c deterministic time 62765653840 6.28e+10
915.18/917.55	c optimization time 0.000359 s
915.18/917.55	c total solve time 905.189 s
915.18/917.55	c core-guided solve time 0 s
915.18/917.55	c propagation time 487.472 s
915.18/917.55	c conflict analysis time 345.618 s
915.18/917.55	c propagations 305360548
915.18/917.55	c resolve steps 27072101
915.18/917.55	c decisions 7485182
915.18/917.55	c conflicts 679721
915.18/917.55	c restarts 1467
915.18/917.55	c inprocessing phases 46
915.18/917.55	c garbage collections 46 ,( 100.00 )
915.18/917.55	c input clauses 7247 ,( 98.57 )
915.18/917.55	c input cardinalities 105 ,( 1.43 )
915.18/917.55	c input general constraints 0 ,( 0.00 )
915.18/917.55	c input average constraint length 6.24
915.18/917.55	c input average constraint degree 1.94
915.18/917.55	c learned clauses 486710 ,( 71.60 )
915.18/917.55	c learned cardinalities 18111 ,( 2.66 )
915.18/917.55	c learned general constraints 174914 ,( 25.73 )
915.18/917.55	c learned average constraint length 566.85
915.18/917.55	c learned average constraint degree 7569373.50
915.18/917.55	c watched  CF 32, 64, 128, Arb: 52433 , 0 , 0 , 0
915.18/917.55	c counting CF 32, 64, 128, Arb: 122481 , 0 , 0 , 0
915.18/917.55	c watched   constraints 52433 ,( 29.98 ) 
915.18/917.55	c counting  constraints 122481 ,( 70.02 ) 
915.18/917.55	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 373181129 , 212581079 , 701778878 ,( 46037536 , 655741342 )
915.18/917.55	c gcd simplifications 457
915.18/917.55	c detected cardinalities 1820
915.18/917.55	c weakened non-implied lits 117566115
915.18/917.55	c weakened non-implying lits 79676
915.18/917.55	c original variables 7140
915.18/917.55	c clausal propagations 122425720
915.18/917.55	c cardinality propagations 115205664
915.18/917.55	c watched propagations 1606386
915.18/917.55	c counting propagations 62944807
915.18/917.55	c watch lookups 28159966521
915.18/917.55	c watch backjump lookups 0
915.18/917.55	c watch checks 11049949849
915.18/917.55	c propagation checks 21605302334
915.18/917.55	c constraint additions 1323923685
915.18/917.55	c trail pops 313524957
915.18/917.55	c formula constraints 7352
915.18/917.55	c learned constraints 679714
915.18/917.55	c bound constraints 0
915.18/917.55	c core-guided constraints 0
915.18/917.55	c encountered formula constraints 17248092
915.18/917.55	c encountered learned constraints 10503679
915.18/917.55	c encountered bound constraints 0
915.18/917.55	c encountered core-guided constraints 0
915.18/917.55	c LP total time 62.0503 s
915.18/917.55	c LP solve time 45.78 s
915.18/917.55	c LP constraints added 8005
915.18/917.55	c LP constraints removed 534
915.18/917.55	c LP pivots internal 70735
915.18/917.55	c LP pivots root 70028
915.18/917.55	c LP calls 25
915.18/917.55	c LP optimalities 14
915.18/917.55	c LP no pivot count 1
915.18/917.55	c LP infeasibilities 7
915.18/917.55	c LP valid Farkas constraints 7
915.18/917.55	c LP learned Farkas constraints 7
915.18/917.55	c LP basis resets 0
915.18/917.55	c LP cycling count 0
915.18/917.55	c LP singular count 0
915.18/917.55	c LP no primal count 0
915.18/917.55	c LP no farkas count 0
915.18/917.55	c LP other issue count 0
915.18/917.55	c LP Gomory cuts 7
915.18/917.55	c LP learned cuts 646
915.18/917.55	c LP deleted cuts 534
915.18/917.55	c LP encountered Gomory constraints 10
915.18/917.55	c LP encountered Farkas constraints 26
915.18/917.55	c LP encountered learned Farkas constraints 8
915.18/917.55	c CG auxiliary variables introduced 0
915.18/917.55	c CG solutions found 0
915.18/917.55	c CG cores constructed 0
915.18/917.55	c CG core cardinality constraints returned 0
915.18/917.55	c CG unit cores 0
915.18/917.55	c CG single cores 0
915.18/917.55	c CG blocks removed during cardinality reduction 0
915.18/917.55	c CG first core best 0
915.18/917.55	c CG decision core best 0
915.18/917.55	c CG core reduction tie 0
915.18/917.55	c CG core degree average 0.00
915.18/917.55	c CG core slack average 0.00
915.18/917.55	c CG core upper bound improvements 0
915.18/917.55	c STR number of successful calls 0
915.18/917.55	c STR number of unsuccessful calls 0
915.18/917.55	c STR number of inconclusive calls 0
915.18/917.55	c STR number of successful attempts 0
915.18/917.55	c STR number of unsuccessful attempts 0
915.18/917.55	c STR number of inconclusive attempts 0
915.18/917.55	c STR average degree increase per successful call inf
915.18/917.55	c STR average degree increase per successful attempt inf
915.18/917.55	c STR total number of conflicts for successful attempts 0
915.18/917.55	c STR total number of conflicts for unsuccessful attempts 0
915.18/917.55	c STR total number of conflicts for inconclusive attempts 0
915.18/917.55	c STR average number of conflicts per successful attempt inf
915.18/917.55	c STR average number of conflicts per unsuccessful attempt inf
915.18/917.55	c STR average number of conflicts per inconclusive attempt inf
915.18/917.55	c AVG.sumWPerc 61.47 
915.18/917.55	c bigint constraints 0 
915.18/917.55	s SATISFIABLE
915.18/917.55	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 x265 -x266 x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 x2605 -x2606 x2607 -x2608 -x2609 -x2610 -x2611 -x2612 x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 x2872 -x2873 x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 x3963 -x3964 x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 x4534 -x4535 x4536 -x4537 x4538 -x4539 x4540 -x4541 x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 x4949 -x4950 x4951 -x4952 x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 x5314 -x5315 x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 x5491 -x5492 x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 x6279 -x6280 -x6281 -x6282 x6283 -x6284 -x6285 -x6286 -x6287 -x6288 x6289 -x6290 x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 x6369 -x6370 -x6371 -x6372 x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 x6475 -x6476 x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 x6544 -x6545 x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 x6624 -x6625 x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 x7140

Verifier Data 

OK	0

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (57363 MiB free)
  memory of node 1: 64507 MiB (61278 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507553-1751187942/watcher-4507553-1751187942 -o /tmp/evaluation-result-4507553-1751187942/solver-4507553-1751187942 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751183146-24188 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4507553-1751187942.opb PROOFDIR/proof-4507553-1751187942 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=24789, runsolver pid=24786

[startup+0.100063 s]*
/proc/loadavg: 4.15 4.10 4.09 5/273 24791
/proc/meminfo: memFree=121482500/131250000 swapFree=33010684/33010684
[pid=24789] ppid=24786 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24789/stat : 24789 (run-dec-log.sh) S 24786 24789 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34474451 4292608 736 18446744073709551615 94151526617088 94151527511621 140726580203824 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94151527750672 94151527798416 94151548649472 140726580205857 140726580206052 140726580206052 140726580211654 0
/proc/24789/statm: 1048 736 672 219 0 110 0
[pid=24791] ppid=24789 vsize=72216 memory=25000 CPUtime=0.09 cores=5,7
/proc/24791/stat : 24791 (roundingsat) R 24789 24789 24175 0 -1 4194304 4877 0 0 0 7 2 0 0 20 0 1 0 34474451 73949184 6250 18446744073709551615 4227072 8923433 140733291728384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140733291731303 140733291731496 140733291731496 140733291737066 0
/proc/24791/statm: 18054 6250 2272 1147 0 5481 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 76408 KiB
Current children cumulated memory: 27944 KiB

[startup+0.205665 s]*
/proc/loadavg: 4.15 4.10 4.09 5/273 24791
/proc/meminfo: memFree=121481492/131250000 swapFree=33010684/33010684
[pid=24789] ppid=24786 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24789/stat : 24789 (run-dec-log.sh) S 24786 24789 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34474451 4292608 736 18446744073709551615 94151526617088 94151527511621 140726580203824 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94151527750672 94151527798416 94151548649472 140726580205857 140726580206052 140726580206052 140726580211654 0
/proc/24789/statm: 1048 736 672 219 0 110 0
[pid=24791] ppid=24789 vsize=72864 memory=25896 CPUtime=0.19 cores=5,7
/proc/24791/stat : 24791 (roundingsat) R 24789 24789 24175 0 -1 4194304 5101 0 0 0 17 2 0 0 20 0 1 0 34474451 74612736 6474 18446744073709551615 4227072 8923433 140733291728384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140733291731303 140733291731496 140733291731496 140733291737066 0
/proc/24791/statm: 18216 6474 2272 1147 0 5643 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 77056 KiB
Current children cumulated memory: 28840 KiB

[startup+0.305438 s]*
/proc/loadavg: 4.15 4.10 4.09 5/273 24791
/proc/meminfo: memFree=121479476/131250000 swapFree=33010684/33010684
[pid=24789] ppid=24786 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24789/stat : 24789 (run-dec-log.sh) S 24786 24789 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34474451 4292608 736 18446744073709551615 94151526617088 94151527511621 140726580203824 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94151527750672 94151527798416 94151548649472 140726580205857 140726580206052 140726580206052 140726580211654 0
/proc/24789/statm: 1048 736 672 219 0 110 0
[pid=24791] ppid=24789 vsize=73096 memory=26408 CPUtime=0.29 cores=5,7
/proc/24791/stat : 24791 (roundingsat) R 24789 24789 24175 0 -1 4194304 5216 0 0 0 27 2 0 0 20 0 1 0 34474451 74850304 6602 18446744073709551615 4227072 8923433 140733291728384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140733291731303 140733291731496 140733291731496 140733291737066 0
/proc/24791/statm: 18274 6602 2272 1147 0 5701 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 77288 KiB
Current children cumulated memory: 29352 KiB

[startup+0.700158 s]
/proc/loadavg: 4.15 4.10 4.09 5/273 24791
/proc/meminfo: memFree=121479476/131250000 swapFree=33010684/33010684
[pid=24789] ppid=24786 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24789/stat : 24789 (run-dec-log.sh) S 24786 24789 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34474451 4292608 736 18446744073709551615 94151526617088 94151527511621 140726580203824 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94151527750672 94151527798416 94151548649472 140726580205857 140726580206052 140726580206052 140726580211654 0
/proc/24789/statm: 1048 736 672 219 0 110 0
[pid=24791] ppid=24789 vsize=73748 memory=27048 CPUtime=0.68 cores=5,7
/proc/24791/stat : 24791 (roundingsat) R 24789 24789 24175 0 -1 4194304 5382 0 0 0 65 3 0 0 20 0 1 0 34474451 75517952 6762 18446744073709551615 4227072 8923433 140733291728384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140733291731303 140733291731496 140733291731496 140733291737066 0
/proc/24791/statm: 18437 6762 2272 1147 0 5864 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 77940 KiB
Current children cumulated memory: 29992 KiB

[startup+1.5002 s]
/proc/loadavg: 4.15 4.10 4.09 5/273 24791
/proc/meminfo: memFree=121479476/131250000 swapFree=33010684/33010684
[pid=24789] ppid=24786 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24789/stat : 24789 (run-dec-log.sh) S 24786 24789 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34474451 4292608 736 18446744073709551615 94151526617088 94151527511621 140726580203824 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94151527750672 94151527798416 94151548649472 140726580205857 140726580206052 140726580206052 140726580211654 0
/proc/24789/statm: 1048 736 672 219 0 110 0
[pid=24791] ppid=24789 vsize=76832 memory=34288 CPUtime=1.48 cores=5,7
/proc/24791/stat : 24791 (roundingsat) R 24789 24789 24175 0 -1 4194304 6621 0 0 0 141 7 0 0 20 0 1 0 34474451 78675968 8572 18446744073709551615 4227072 8923433 140733291728384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140733291731303 140733291731496 140733291731496 140733291737066 0
/proc/24791/statm: 19208 8572 2336 1147 0 6635 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 81024 KiB
Current children cumulated memory: 37232 KiB

[startup+3.10543 s]
/proc/loadavg: 4.15 4.10 4.09 5/273 24791
/proc/meminfo: memFree=121439284/131250000 swapFree=33010684/33010684
[pid=24789] ppid=24786 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24789/stat : 24789 (run-dec-log.sh) S 24786 24789 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34474451 4292608 736 18446744073709551615 94151526617088 94151527511621 140726580203824 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94151527750672 94151527798416 94151548649472 140726580205857 140726580206052 140726580206052 140726580211654 0
/proc/24789/statm: 1048 736 672 219 0 110 0
[pid=24791] ppid=24789 vsize=84564 memory=41700 CPUtime=3.08 cores=5,7
/proc/24791/stat : 24791 (roundingsat) R 24789 24789 24175 0 -1 4194304 7968 0 0 0 294 14 0 0 20 0 1 0 34474451 86593536 10425 18446744073709551615 4227072 8923433 140733291728384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140733291731303 140733291731496 140733291731496 140733291737066 0
/proc/24791/statm: 21141 10425 2336 1147 0 8568 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 88756 KiB
Current children cumulated memory: 44644 KiB

[startup+6.30019 s]
/proc/loadavg: 4.13 4.10 4.09 5/273 24791
/proc/meminfo: memFree=121402524/131250000 swapFree=33010684/33010684
[pid=24789] ppid=24786 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24789/stat : 24789 (run-dec-log.sh) S 24786 24789 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34474451 4292608 736 18446744073709551615 94151526617088 94151527511621 140726580203824 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94151527750672 94151527798416 94151548649472 140726580205857 140726580206052 140726580206052 140726580211654 0
/proc/24789/statm: 1048 736 672 219 0 110 0
[pid=24791] ppid=24789 vsize=88284 memory=45156 CPUtime=6.26 cores=5,7
/proc/24791/stat : 24791 (roundingsat) R 24789 24789 24175 0 -1 4194304 8824 0 0 0 602 24 0 0 20 0 1 0 34474451 90402816 11289 18446744073709551615 4227072 8923433 140733291728384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140733291731303 140733291731496 140733291731496 140733291737066 0
/proc/24791/statm: 22071 11289 2336 1147 0 9498 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 92476 KiB
Current children cumulated memory: 48100 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.10 4.09 5/273 24791
/proc/meminfo: memFree=121361824/131250000 swapFree=33010684/33010684
[pid=24789] ppid=24786 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24789/stat : 24789 (run-dec-log.sh) S 24786 24789 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34474451 4292608 736 18446744073709551615 94151526617088 94151527511621 140726580203824 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94151527750672 94151527798416 94151548649472 140726580205857 140726580206052 140726580206052 140726580211654 0
/proc/24789/statm: 1048 736 672 219 0 110 0
[pid=24791] ppid=24789 vsize=90988 memory=48100 CPUtime=12.65 cores=5,7
/proc/24791/stat : 24791 (roundingsat) R 24789 24789 24175 0 -1 4194304 9580 0 0 0 1223 42 0 0 20 0 1 0 34474451 93171712 12025 18446744073709551615 4227072 8923433 140733291728384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140733291731303 140733291731496 140733291731496 140733291737066 0
/proc/24791/statm: 22747 12025 2336 1147 0 10174 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 95180 KiB
Current children cumulated memory: 51044 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 4.09 5/273 24792
/proc/meminfo: memFree=121203212/131250000 swapFree=33010684/33010684
[pid=24789] ppid=24786 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24789/stat : 24789 (run-dec-log.sh) S 24786 24789 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34474451 4292608 736 18446744073709551615 94151526617088 94151527511621 140726580203824 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94151527750672 94151527798416 94151548649472 140726580205857 140726580206052 140726580206052 140726580211654 0
/proc/24789/statm: 1048 736 672 219 0 110 0
[pid=24791] ppid=24789 vsize=132164 memory=89460 CPUtime=25.41 cores=5,7
/proc/24791/stat : 24791 (roundingsat) R 24789 24789 24175 0 -1 4194304 15810 0 0 0 2468 73 0 0 20 0 1 0 34474451 135335936 22365 18446744073709551615 4227072 8923433 140733291728384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140733291731303 140733291731496 140733291731496 140733291737066 0
/proc/24791/statm: 33041 22365 2336 1147 0 20468 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 136356 KiB
Current children cumulated memory: 92404 KiB

[startup+51.1055 s]
/proc/loadavg: 4.12 4.10 4.09 5/273 24792
/proc/meminfo: memFree=120948204/131250000 swapFree=33010684/33010684
[pid=24789] ppid=24786 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24789/stat : 24789 (run-dec-log.sh) S 24786 24789 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34474451 4292608 736 18446744073709551615 94151526617088 94151527511621 140726580203824 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94151527750672 94151527798416 94151548649472 140726580205857 140726580206052 140726580206052 140726580211654 0
/proc/24789/statm: 1048 736 672 219 0 110 0
[pid=24791] ppid=24789 vsize=170888 memory=116644 CPUtime=50.96 cores=5,7
/proc/24791/stat : 24791 (roundingsat) R 24789 24789 24175 0 -1 4194304 20572 0 0 0 4973 123 0 0 20 0 1 0 34474451 174989312 29161 18446744073709551615 4227072 8923433 140733291728384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140733291731303 140733291731496 140733291731496 140733291737066 0
/proc/24791/statm: 42722 29161 2336 1147 0 30149 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 175080 KiB
Current children cumulated memory: 119588 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/273 24794
/proc/meminfo: memFree=120422232/131250000 swapFree=33010684/33010684
[pid=24789] ppid=24786 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24789/stat : 24789 (run-dec-log.sh) S 24786 24789 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34474451 4292608 736 18446744073709551615 94151526617088 94151527511621 140726580203824 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94151527750672 94151527798416 94151548649472 140726580205857 140726580206052 140726580206052 140726580211654 0
/proc/24789/statm: 1048 736 672 219 0 110 0
[pid=24791] ppid=24789 vsize=254172 memory=182124 CPUtime=102.02 cores=5,7
/proc/24791/stat : 24791 (roundingsat) R 24789 24789 24175 0 -1 4194304 32863 0 0 0 9995 207 0 0 20 0 1 0 34474451 260272128 45531 18446744073709551615 4227072 8923433 140733291728384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140733291731303 140733291731496 140733291731496 140733291737066 0
/proc/24791/statm: 63543 45531 2336 1147 0 50970 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 258364 KiB
Current children cumulated memory: 185068 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/273 24798
/proc/meminfo: memFree=119991208/131250000 swapFree=33010684/33010684
[pid=24789] ppid=24786 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24789/stat : 24789 (run-dec-log.sh) S 24786 24789 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34474451 4292608 736 18446744073709551615 94151526617088 94151527511621 140726580203824 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94151527750672 94151527798416 94151548649472 140726580205857 140726580206052 140726580206052 140726580211654 0
/proc/24789/statm: 1048 736 672 219 0 110 0
[pid=24791] ppid=24789 vsize=270700 memory=203872 CPUtime=161.86 cores=5,7
/proc/24791/stat : 24791 (roundingsat) R 24789 24789 24175 0 -1 4194304 36759 0 0 0 15886 300 0 0 20 0 1 0 34474451 277196800 50968 18446744073709551615 4227072 8923433 140733291728384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140733291731303 140733291731496 140733291731496 140733291737066 0
/proc/24791/statm: 67675 50968 2336 1147 0 55102 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 274892 KiB
Current children cumulated memory: 206816 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/272 24803
/proc/meminfo: memFree=119460776/131250000 swapFree=33010684/33010684
[pid=24789] ppid=24786 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24789/stat : 24789 (run-dec-log.sh) S 24786 24789 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34474451 4292608 736 18446744073709551615 94151526617088 94151527511621 140726580203824 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94151527750672 94151527798416 94151548649472 140726580205857 140726580206052 140726580206052 140726580211654 0
/proc/24789/statm: 1048 736 672 219 0 110 0
[pid=24791] ppid=24789 vsize=402680 memory=282500 CPUtime=221.71 cores=5,7
/proc/24791/stat : 24791 (roundingsat) R 24789 24789 24175 0 -1 4194304 38045 0 0 0 21815 356 0 0 20 0 1 0 34474451 412344320 70625 18446744073709551615 4227072 8923433 140733291728384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140733291731303 140733291731496 140733291731496 140733291737066 0

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

/proc/24791/stat : 24791 (roundingsat) R 24789 24789 24175 0 -1 4194304 62681 0 0 0 63327 739 0 0 20 0 1 0 34474451 510988288 111026 18446744073709551615 4227072 8923433 140733291728384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140733291731303 140733291731496 140733291731496 140733291737066 0
/proc/24791/statm: 124753 111026 2336 1147 0 112180 0
Current children cumulated CPU time: 640.66 s
Current children cumulated vsize: 503204 KiB
Current children cumulated memory: 447048 KiB

[startup+702.3 s]
/proc/loadavg: 4.19 4.16 4.11 5/272 24824
/proc/meminfo: memFree=115629380/131250000 swapFree=33010684/33010684
[pid=24789] ppid=24786 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24789/stat : 24789 (run-dec-log.sh) S 24786 24789 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34474451 4292608 736 18446744073709551615 94151526617088 94151527511621 140726580203824 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94151527750672 94151527798416 94151548649472 140726580205857 140726580206052 140726580206052 140726580211654 0
/proc/24789/statm: 1048 736 672 219 0 110 0
[pid=24791] ppid=24789 vsize=632396 memory=455580 CPUtime=700.5 cores=5,7
/proc/24791/stat : 24791 (roundingsat) R 24789 24789 24175 0 -1 4194304 63515 0 0 0 69250 800 0 0 20 0 1 0 34474451 647573504 113895 18446744073709551615 4227072 8923433 140733291728384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140733291731303 140733291731496 140733291731496 140733291737066 0
/proc/24791/statm: 158099 113895 2336 1147 0 145526 0
Current children cumulated CPU time: 700.5 s
Current children cumulated vsize: 636588 KiB
Current children cumulated memory: 458524 KiB

[startup+762.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/272 24828
/proc/meminfo: memFree=115133176/131250000 swapFree=33010684/33010684
[pid=24789] ppid=24786 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24789/stat : 24789 (run-dec-log.sh) S 24786 24789 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34474451 4292608 736 18446744073709551615 94151526617088 94151527511621 140726580203824 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94151527750672 94151527798416 94151548649472 140726580205857 140726580206052 140726580206052 140726580211654 0
/proc/24789/statm: 1048 736 672 219 0 110 0
[pid=24791] ppid=24789 vsize=632528 memory=455836 CPUtime=760.35 cores=5,7
/proc/24791/stat : 24791 (roundingsat) R 24789 24789 24175 0 -1 4194304 63593 0 0 0 75158 877 0 0 20 0 1 0 34474451 647708672 113959 18446744073709551615 4227072 8923433 140733291728384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140733291731303 140733291731496 140733291731496 140733291737066 0
/proc/24791/statm: 158132 113959 2336 1147 0 145559 0
Current children cumulated CPU time: 760.35 s
Current children cumulated vsize: 636720 KiB
Current children cumulated memory: 458780 KiB

[startup+822.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/273 24833
/proc/meminfo: memFree=114722556/131250000 swapFree=33010684/33010684
[pid=24789] ppid=24786 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24789/stat : 24789 (run-dec-log.sh) S 24786 24789 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34474451 4292608 736 18446744073709551615 94151526617088 94151527511621 140726580203824 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94151527750672 94151527798416 94151548649472 140726580205857 140726580206052 140726580206052 140726580211654 0
/proc/24789/statm: 1048 736 672 219 0 110 0
[pid=24791] ppid=24789 vsize=632528 memory=456220 CPUtime=820.21 cores=5,7
/proc/24791/stat : 24791 (roundingsat) R 24789 24789 24175 0 -1 4194304 63686 0 0 0 81103 918 0 0 20 0 1 0 34474451 647708672 114055 18446744073709551615 4227072 8923433 140733291728384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140733291731303 140733291731496 140733291731496 140733291737066 0
/proc/24791/statm: 158132 114055 2336 1147 0 145559 0
Current children cumulated CPU time: 820.21 s
Current children cumulated vsize: 636720 KiB
Current children cumulated memory: 459164 KiB

[startup+882.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/277 24847
/proc/meminfo: memFree=114324692/131250000 swapFree=33010684/33010684
[pid=24789] ppid=24786 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24789/stat : 24789 (run-dec-log.sh) S 24786 24789 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34474451 4292608 736 18446744073709551615 94151526617088 94151527511621 140726580203824 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94151527750672 94151527798416 94151548649472 140726580205857 140726580206052 140726580206052 140726580211654 0
/proc/24789/statm: 1048 736 672 219 0 110 0
[pid=24791] ppid=24789 vsize=640084 memory=462620 CPUtime=880.06 cores=5,7
/proc/24791/stat : 24791 (roundingsat) R 24789 24789 24175 0 -1 4194304 65290 0 0 0 87043 963 0 0 20 0 1 0 34474451 655446016 115655 18446744073709551615 4227072 8923433 140733291728384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140733291731303 140733291731496 140733291731496 140733291737066 0
/proc/24791/statm: 160021 115655 2336 1147 0 147448 0
Current children cumulated CPU time: 880.06 s
Current children cumulated vsize: 644276 KiB
Current children cumulated memory: 465564 KiB

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

# cumulated CPU time of all completed processes:  user=905.233 s, system=10.0436 s

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

[startup+896 s]*
/proc/loadavg: 4.09 4.12 4.10 5/274 24848
/proc/meminfo: memFree=114211616/131250000 swapFree=33010684/33010684
[pid=24789] ppid=24786 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24789/stat : 24789 (run-dec-log.sh) S 24786 24789 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34474451 4292608 736 18446744073709551615 94151526617088 94151527511621 140726580203824 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94151527750672 94151527798416 94151548649472 140726580205857 140726580206052 140726580206052 140726580211654 0
/proc/24789/statm: 1048 736 672 219 0 110 0
[pid=24791] ppid=24789 vsize=640084 memory=462876 CPUtime=893.74 cores=5,7
/proc/24791/stat : 24791 (roundingsat) R 24789 24789 24175 0 -1 4194304 65338 0 0 0 88397 977 0 0 20 0 1 0 34474451 655446016 115719 18446744073709551615 4227072 8923433 140733291728384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140733291731303 140733291731496 140733291731496 140733291737066 0
/proc/24791/statm: 160021 115719 2336 1147 0 147448 0
Current children cumulated CPU time: 893.74 s
Current children cumulated vsize: 644276 KiB
Current children cumulated memory: 465820 KiB

[startup+908.8 s]
/proc/loadavg: 4.07 4.12 4.10 5/274 24849
/proc/meminfo: memFree=114138204/131250000 swapFree=33010684/33010684
[pid=24789] ppid=24786 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24789/stat : 24789 (run-dec-log.sh) S 24786 24789 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34474451 4292608 736 18446744073709551615 94151526617088 94151527511621 140726580203824 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94151527750672 94151527798416 94151548649472 140726580205857 140726580206052 140726580206052 140726580211654 0
/proc/24789/statm: 1048 736 672 219 0 110 0
[pid=24791] ppid=24789 vsize=640084 memory=462876 CPUtime=906.5 cores=5,7
/proc/24791/stat : 24791 (roundingsat) R 24789 24789 24175 0 -1 4194304 65338 0 0 0 89663 987 0 0 20 0 1 0 34474451 655446016 115719 18446744073709551615 4227072 8923433 140733291728384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140733291731303 140733291731496 140733291731496 140733291737066 0
/proc/24791/statm: 160021 115719 2336 1147 0 147448 0
Current children cumulated CPU time: 906.5 s
Current children cumulated vsize: 644276 KiB
Current children cumulated memory: 465820 KiB

[startup+912 s]*
/proc/loadavg: 4.07 4.12 4.10 5/274 24849
/proc/meminfo: memFree=114114548/131250000 swapFree=33010684/33010684
[pid=24789] ppid=24786 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24789/stat : 24789 (run-dec-log.sh) S 24786 24789 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34474451 4292608 736 18446744073709551615 94151526617088 94151527511621 140726580203824 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94151527750672 94151527798416 94151548649472 140726580205857 140726580206052 140726580206052 140726580211654 0
/proc/24789/statm: 1048 736 672 219 0 110 0
[pid=24791] ppid=24789 vsize=640084 memory=462876 CPUtime=909.7 cores=5,7
/proc/24791/stat : 24791 (roundingsat) R 24789 24789 24175 0 -1 4194304 65338 0 0 0 89978 992 0 0 20 0 1 0 34474451 655446016 115719 18446744073709551615 4227072 8923433 140733291728384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140733291731303 140733291731496 140733291731496 140733291737066 0
/proc/24791/statm: 160021 115719 2336 1147 0 147448 0
Current children cumulated CPU time: 909.7 s
Current children cumulated vsize: 644276 KiB
Current children cumulated memory: 465820 KiB

[startup+915.2 s]
/proc/loadavg: 4.06 4.12 4.10 5/274 24849
/proc/meminfo: memFree=114098172/131250000 swapFree=33010684/33010684
[pid=24789] ppid=24786 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24789/stat : 24789 (run-dec-log.sh) S 24786 24789 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34474451 4292608 736 18446744073709551615 94151526617088 94151527511621 140726580203824 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94151527750672 94151527798416 94151548649472 140726580205857 140726580206052 140726580206052 140726580211654 0
/proc/24789/statm: 1048 736 672 219 0 110 0
[pid=24791] ppid=24789 vsize=640084 memory=462876 CPUtime=912.88 cores=5,7
/proc/24791/stat : 24791 (roundingsat) R 24789 24789 24175 0 -1 4194304 65338 0 0 0 90290 998 0 0 20 0 1 0 34474451 655446016 115719 18446744073709551615 4227072 8923433 140733291728384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140733291731303 140733291731496 140733291731496 140733291737066 0
/proc/24791/statm: 160021 115719 2336 1147 0 147448 0
Current children cumulated CPU time: 912.88 s
Current children cumulated vsize: 644276 KiB
Current children cumulated memory: 465820 KiB

[startup+916.8 s]
/proc/loadavg: 4.06 4.12 4.10 5/274 24849
/proc/meminfo: memFree=114082052/131250000 swapFree=33010684/33010684
[pid=24789] ppid=24786 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24789/stat : 24789 (run-dec-log.sh) S 24786 24789 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34474451 4292608 736 18446744073709551615 94151526617088 94151527511621 140726580203824 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94151527750672 94151527798416 94151548649472 140726580205857 140726580206052 140726580206052 140726580211654 0
/proc/24789/statm: 1048 736 672 219 0 110 0
[pid=24791] ppid=24789 vsize=640084 memory=462876 CPUtime=914.48 cores=5,7
/proc/24791/stat : 24791 (roundingsat) R 24789 24789 24175 0 -1 4194304 65338 0 0 0 90447 1001 0 0 20 0 1 0 34474451 655446016 115719 18446744073709551615 4227072 8923433 140733291728384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140733291731303 140733291731496 140733291731496 140733291737066 0
/proc/24791/statm: 160021 115719 2336 1147 0 147448 0
Current children cumulated CPU time: 914.48 s
Current children cumulated vsize: 644276 KiB
Current children cumulated memory: 465820 KiB

[startup+917.2 s]
/proc/loadavg: 4.06 4.12 4.10 5/274 24849
/proc/meminfo: memFree=114074020/131250000 swapFree=33010684/33010684
[pid=24789] ppid=24786 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24789/stat : 24789 (run-dec-log.sh) S 24786 24789 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34474451 4292608 736 18446744073709551615 94151526617088 94151527511621 140726580203824 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94151527750672 94151527798416 94151548649472 140726580205857 140726580206052 140726580206052 140726580211654 0
/proc/24789/statm: 1048 736 672 219 0 110 0
[pid=24791] ppid=24789 vsize=640084 memory=462876 CPUtime=914.87 cores=5,7
/proc/24791/stat : 24791 (roundingsat) R 24789 24789 24175 0 -1 4194304 65338 0 0 0 90486 1001 0 0 20 0 1 0 34474451 655446016 115719 18446744073709551615 4227072 8923433 140733291728384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140733291731303 140733291731496 140733291731496 140733291737066 0
/proc/24791/statm: 160021 115719 2336 1147 0 147448 0
Current children cumulated CPU time: 914.87 s
Current children cumulated vsize: 644276 KiB
Current children cumulated memory: 465820 KiB

[startup+917.6 s]
/proc/loadavg: 4.06 4.12 4.10 5/274 24849
/proc/meminfo: memFree=114074020/131250000 swapFree=33010684/33010684
[pid=24789] ppid=24786 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24789/stat : 24789 (run-dec-log.sh) S 24786 24789 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 34474451 4292608 736 18446744073709551615 94151526617088 94151527511621 140726580203824 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94151527750672 94151527798416 94151548649472 140726580205857 140726580206052 140726580206052 140726580211654 0
/proc/24789/statm: 1048 736 672 219 0 110 0
[pid=24791] ppid=24789 vsize=640084 memory=462876 CPUtime=915.24 cores=5,7
/proc/24791/stat : 24791 (roundingsat) D 24789 24789 24175 0 -1 4194304 65338 0 0 0 90522 1002 0 0 20 0 1 0 34474451 655446016 115719 18446744073709551615 4227072 8923433 140733291728384 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 16375808 140733291731303 140733291731496 140733291731496 140733291737066 0
/proc/24791/statm: 160021 115719 2336 1147 0 147448 0
Current children cumulated CPU time: 915.24 s
Current children cumulated vsize: 644276 KiB
Current children cumulated memory: 465820 KiB

Child status: 0

Real time (s): 917.633
CPU time (s): 915.276
CPU user time (s): 905.233
CPU system time (s): 10.0436
CPU usage (%): 99.7432
Max. virtual memory (cumulated for all children) (KiB): 644276
Max. memory (cumulated for all children) (KiB): 465820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 905.233
system time used= 10.0436
maximum resident set size= 462876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65569
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= 963
involuntary context switches= 1229


# summary of solver processes directly reported to runsolver:
#   pid: 24789
#   total CPU time (s): 915.276
#   total CPU user time (s): 905.233
#   total CPU system time (s): 10.0436

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.95896 second user time and 4.14976 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-06-29 11:05:42
IDJOB=4507553
IDBENCH=158365
IDSOLVER=3352
FILE ID=nodeC013/4507553-1751187942
RUNJOBID= nodeC013-1751183146-24188
SLURM_JOB_ID= 9587568
Free space on /tmp= 433036 MiB

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

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

MD5SUM BENCH= 7361f1d7a542e71300a3f7026fcde645
RANDOM SEED=229063087

nodeC013 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.815
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.67
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.897
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.833
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.67
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		: 3598.890
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.67
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.814
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.67
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		: 3708.364
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.67
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		: 3599.566
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.837
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        121488704 kB
MemAvailable:   128410972 kB
Buffers:            3280 kB
Cached:          7719308 kB
SwapCached:            0 kB
Active:          1660476 kB
Inactive:        7510392 kB
Active(anon):    1461656 kB
Inactive(anon):        0 kB
Active(file):     198820 kB
Inactive(file):  7510392 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             79840 kB
Writeback:             0 kB
AnonPages:       1450396 kB
Mapped:           111472 kB
Shmem:             13284 kB
KReclaimable:     104192 kB
Slab:             192736 kB
SReclaimable:     104192 kB
SUnreclaim:        88544 kB
KernelStack:        4368 kB
PageTables:         6040 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    2057108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    761856 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433028 MiB
End job on nodeC013 at 2025-06-29 11:21:00