Trace number 4460269

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
RoundingSat log (2)SAT (TO)23 3600.06 3612.71

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
MD5SUM529ae296d86301d65a8fd4e36abb4ed9
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark90.3129
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6076
Total number of constraints21401
Number of constraints which are clauses21392
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint1
Maximum length of a constraint666
Number of terms in the objective function 666
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 666
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 697
Number of bits of the biggest sum of numbers10
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.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.04/3.02	c #variables 6076 #constraints 21401
23.17/26.25	c bounds - >= 0 @ 0.050533
23.17/26.25	c bounds 31 >= 0 @ 0.16089
23.17/26.25	c bounds 31 >= 5 @ 0.161168
23.17/26.25	c bounds 31 >= 6 @ 0.207001
23.17/26.25	c bounds 31 >= 7 @ 0.207338
23.17/26.25	c bounds 30 >= 7 @ 0.208368
23.17/26.25	c bounds 30 >= 8 @ 0.209226
23.17/26.25	c bounds 29 >= 8 @ 0.212056
23.17/26.25	c bounds 29 >= 9 @ 0.212356
23.17/26.25	c bounds 29 >= 10 @ 0.213128
23.17/26.25	c bounds 29 >= 11 @ 0.214157
23.17/26.25	c bounds 28 >= 11 @ 0.216272
23.17/26.25	c bounds 28 >= 12 @ 0.218876
23.17/26.25	c #Conflicts:       1000 | #Constraints:      22432
23.17/26.25	c #Conflicts:       2000 | #Constraints:      23432
23.17/26.25	c INPROCESSING
23.17/26.25	c GARBAGE COLLECT
23.17/26.25	c bounds 28 >= 13 @ 1.78136
23.17/26.25	c bounds 28 >= 14 @ 3.24544
23.17/26.25	c #Conflicts:       3000 | #Constraints:      23451
23.17/26.25	c #Conflicts:       4000 | #Constraints:      24451
23.17/26.25	c INPROCESSING
23.17/26.25	c GARBAGE COLLECT
23.17/26.25	c #Conflicts:       5000 | #Constraints:      23904
23.17/26.25	c #Conflicts:       6000 | #Constraints:      24904
23.17/26.25	c INPROCESSING
23.17/26.25	c GARBAGE COLLECT
23.17/26.25	c #Conflicts:       7000 | #Constraints:      23877
23.17/26.25	c bounds 27 >= 14 @ 11.1327
23.17/26.25	c bounds 27 >= 15 @ 11.1402
23.17/26.25	c bounds 27 >= 16 @ 11.157
23.17/26.25	c #Conflicts:       8000 | #Constraints:      24899
23.17/26.25	c bounds 27 >= 17 @ 11.5208
23.17/26.25	c #Conflicts:       9000 | #Constraints:      25911
23.17/26.25	c INPROCESSING
23.17/26.25	c GARBAGE COLLECT
23.17/26.25	c #Conflicts:      10000 | #Constraints:      24625
23.17/26.25	c #Conflicts:      11000 | #Constraints:      25625
23.17/26.25	c #Conflicts:      12000 | #Constraints:      26625
23.17/26.25	c INPROCESSING
23.17/26.25	c GARBAGE COLLECT
23.17/26.25	c #Conflicts:      13000 | #Constraints:      25150
23.17/26.25	c #Conflicts:      14000 | #Constraints:      26150
23.17/26.25	c #Conflicts:      15000 | #Constraints:      27150
23.17/26.25	c INPROCESSING
23.17/26.25	c GARBAGE COLLECT
23.17/26.25	c rational objective 17
26.66/29.71	c #Conflicts:      16000 | #Constraints:      25333
26.66/29.71	c #Conflicts:      17000 | #Constraints:      26333
26.66/29.71	c #Conflicts:      18000 | #Constraints:      27333
26.66/29.71	c INPROCESSING
26.66/29.71	c GARBAGE COLLECT
26.66/29.71	c rational objective 17
32.85/35.92	c #Conflicts:      19000 | #Constraints:      25334
32.85/35.92	c #Conflicts:      20000 | #Constraints:      26334
32.85/35.92	c #Conflicts:      21000 | #Constraints:      27334
32.85/35.92	c INPROCESSING
32.85/35.92	c GARBAGE COLLECT
32.85/35.92	c rational objective 17
46.31/49.41	c #Conflicts:      22000 | #Constraints:      25130
46.31/49.41	c #Conflicts:      23000 | #Constraints:      26130
46.31/49.41	c #Conflicts:      24000 | #Constraints:      27130
46.31/49.41	c #Conflicts:      25000 | #Constraints:      28130
46.31/49.41	c INPROCESSING
46.31/49.41	c GARBAGE COLLECT
46.31/49.41	c rational objective 17
50.60/53.76	c #Conflicts:      26000 | #Constraints:      25819
50.60/53.76	c bounds 26 >= 17 @ 46.2087
50.60/53.76	c #Conflicts:      27000 | #Constraints:      26821
50.60/53.76	c #Conflicts:      28000 | #Constraints:      27821
50.60/53.76	c #Conflicts:      29000 | #Constraints:      28821
50.60/53.76	c INPROCESSING
50.60/53.76	c GARBAGE COLLECT
50.60/53.76	c rational objective 17
57.38/60.51	c #Conflicts:      30000 | #Constraints:      26171
57.38/60.51	c #Conflicts:      31000 | #Constraints:      27171
57.38/60.51	c #Conflicts:      32000 | #Constraints:      28171
57.38/60.51	c #Conflicts:      33000 | #Constraints:      29172
57.38/60.51	c INPROCESSING
57.38/60.51	c GARBAGE COLLECT
57.38/60.51	c rational objective 17
67.56/70.77	c #Conflicts:      34000 | #Constraints:      26355
67.56/70.77	c #Conflicts:      35000 | #Constraints:      27355
67.56/70.77	c #Conflicts:      36000 | #Constraints:      28355
67.56/70.77	c #Conflicts:      37000 | #Constraints:      29356
67.56/70.77	c INPROCESSING
67.56/70.77	c GARBAGE COLLECT
67.56/70.77	c #Conflicts:      38000 | #Constraints:      26344
67.56/70.77	c #Conflicts:      39000 | #Constraints:      27345
67.56/70.77	c #Conflicts:      40000 | #Constraints:      28345
67.56/70.77	c #Conflicts:      41000 | #Constraints:      29345
67.56/70.77	c INPROCESSING
67.56/70.77	c GARBAGE COLLECT
67.56/70.77	c #Conflicts:      42000 | #Constraints:      26141
67.56/70.77	c #Conflicts:      43000 | #Constraints:      27141
67.56/70.77	c #Conflicts:      44000 | #Constraints:      28141
67.56/70.77	c #Conflicts:      45000 | #Constraints:      29141
67.56/70.77	c #Conflicts:      46000 | #Constraints:      30141
67.56/70.77	c INPROCESSING
67.56/70.77	c GARBAGE COLLECT
67.56/70.77	c rational objective 17
75.74/78.99	c #Conflicts:      47000 | #Constraints:      26741
75.74/78.99	c #Conflicts:      48000 | #Constraints:      27741
75.74/78.99	c #Conflicts:      49000 | #Constraints:      28741
75.74/78.99	c #Conflicts:      50000 | #Constraints:      29741
75.74/78.99	c #Conflicts:      51000 | #Constraints:      30741
75.74/78.99	c INPROCESSING
75.74/78.99	c GARBAGE COLLECT
75.74/78.99	c rational objective 17
88.70/92.00	c #Conflicts:      52000 | #Constraints:      27195
88.70/92.00	c #Conflicts:      53000 | #Constraints:      28195
88.70/92.00	c #Conflicts:      54000 | #Constraints:      29195
88.70/92.00	c #Conflicts:      55000 | #Constraints:      30195
88.70/92.00	c #Conflicts:      56000 | #Constraints:      31195
88.70/92.00	c INPROCESSING
88.70/92.00	c GARBAGE COLLECT
88.70/92.00	c rational objective 17
94.80/98.03	c #Conflicts:      57000 | #Constraints:      27544
94.80/98.03	c #Conflicts:      58000 | #Constraints:      28544
94.80/98.03	c #Conflicts:      59000 | #Constraints:      29544
94.80/98.03	c bounds 25 >= 17 @ 89.519
94.80/98.03	c #Conflicts:      60000 | #Constraints:      30545
94.80/98.03	c #Conflicts:      61000 | #Constraints:      31546
94.80/98.03	c INPROCESSING
94.80/98.03	c GARBAGE COLLECT
94.80/98.03	c rational objective 17
101.58/104.80	c #Conflicts:      62000 | #Constraints:      27435
101.58/104.80	c #Conflicts:      63000 | #Constraints:      28435
101.58/104.80	c #Conflicts:      64000 | #Constraints:      29435
101.58/104.80	c #Conflicts:      65000 | #Constraints:      30436
101.58/104.80	c #Conflicts:      66000 | #Constraints:      31436
101.58/104.80	c INPROCESSING
101.58/104.80	c GARBAGE COLLECT
101.58/104.80	c rational objective 17
143.58/146.99	c #Conflicts:      67000 | #Constraints:      27189
143.58/146.99	c #Conflicts:      68000 | #Constraints:      28189
143.58/146.99	c #Conflicts:      69000 | #Constraints:      29189
143.58/146.99	c #Conflicts:      70000 | #Constraints:      30189
143.58/146.99	c #Conflicts:      71000 | #Constraints:      31189
143.58/146.99	c #Conflicts:      72000 | #Constraints:      32189
143.58/146.99	c INPROCESSING
143.58/146.99	c GARBAGE COLLECT
143.58/146.99	c #Conflicts:      73000 | #Constraints:      27760
143.58/146.99	c #Conflicts:      74000 | #Constraints:      28760
143.58/146.99	c #Conflicts:      75000 | #Constraints:      29760
143.58/146.99	c #Conflicts:      76000 | #Constraints:      30760
143.58/146.99	c #Conflicts:      77000 | #Constraints:      31760
143.58/146.99	c #Conflicts:      78000 | #Constraints:      32760
143.58/146.99	c INPROCESSING
143.58/146.99	c GARBAGE COLLECT
143.58/146.99	c rational objective 17
154.15/157.52	c #Conflicts:      79000 | #Constraints:      28307
154.15/157.52	c #Conflicts:      80000 | #Constraints:      29307
154.15/157.52	c #Conflicts:      81000 | #Constraints:      30310
154.15/157.52	c #Conflicts:      82000 | #Constraints:      31310
154.15/157.52	c #Conflicts:      83000 | #Constraints:      32311
154.15/157.52	c #Conflicts:      84000 | #Constraints:      33313
154.15/157.52	c INPROCESSING
154.15/157.52	c GARBAGE COLLECT
154.15/157.52	c rational objective 17
160.34/163.73	c bounds 24 >= 17 @ 151.686
160.34/163.73	c #Conflicts:      85000 | #Constraints:      28433
160.34/163.73	c #Conflicts:      86000 | #Constraints:      29433
160.34/163.73	c #Conflicts:      87000 | #Constraints:      30433
160.34/163.73	c #Conflicts:      88000 | #Constraints:      31433
160.34/163.73	c #Conflicts:      89000 | #Constraints:      32433
160.34/163.73	c #Conflicts:      90000 | #Constraints:      33433
160.34/163.73	c INPROCESSING
160.34/163.73	c GARBAGE COLLECT
160.34/163.73	c rational objective 17
167.53/170.95	c #Conflicts:      91000 | #Constraints:      28407
167.53/170.95	c #Conflicts:      92000 | #Constraints:      29407
167.53/170.95	c #Conflicts:      93000 | #Constraints:      30407
167.53/170.95	c #Conflicts:      94000 | #Constraints:      31407
167.53/170.95	c #Conflicts:      95000 | #Constraints:      32407
167.53/170.95	c #Conflicts:      96000 | #Constraints:      33408
167.53/170.95	c INPROCESSING
167.53/170.95	c GARBAGE COLLECT
167.53/170.95	c rational objective 17
178.89/182.31	c #Conflicts:      97000 | #Constraints:      28203
178.89/182.31	c #Conflicts:      98000 | #Constraints:      29203
178.89/182.31	c #Conflicts:      99000 | #Constraints:      30203
178.89/182.31	c #Conflicts:     100000 | #Constraints:      31203
178.89/182.31	c #Conflicts:     101000 | #Constraints:      32203
178.89/182.31	c #Conflicts:     102000 | #Constraints:      33203
178.89/182.31	c #Conflicts:     103000 | #Constraints:      34203
178.89/182.31	c INPROCESSING
178.89/182.31	c GARBAGE COLLECT
178.89/182.31	c rational objective 17
189.78/193.22	c #Conflicts:     104000 | #Constraints:      28777
189.78/193.22	c #Conflicts:     105000 | #Constraints:      29777
189.78/193.22	c #Conflicts:     106000 | #Constraints:      30778
189.78/193.22	c #Conflicts:     107000 | #Constraints:      31779
189.78/193.22	c #Conflicts:     108000 | #Constraints:      32780
189.78/193.22	c #Conflicts:     109000 | #Constraints:      33780
189.78/193.22	c #Conflicts:     110000 | #Constraints:      34780
189.78/193.22	c INPROCESSING
189.78/193.22	c GARBAGE COLLECT
189.78/193.22	c rational objective 17
204.73/208.23	c #Conflicts:     111000 | #Constraints:      29181
204.73/208.23	c #Conflicts:     112000 | #Constraints:      30181
204.73/208.23	c #Conflicts:     113000 | #Constraints:      31181
204.73/208.23	c #Conflicts:     114000 | #Constraints:      32181
204.73/208.23	c #Conflicts:     115000 | #Constraints:      33181
204.73/208.23	c #Conflicts:     116000 | #Constraints:      34181
204.73/208.23	c #Conflicts:     117000 | #Constraints:      35181
204.73/208.23	c INPROCESSING
204.73/208.23	c GARBAGE COLLECT
204.73/208.23	c rational objective 17
277.96/281.67	c #Conflicts:     118000 | #Constraints:      29402
277.96/281.67	c #Conflicts:     119000 | #Constraints:      30402
277.96/281.67	c #Conflicts:     120000 | #Constraints:      31402
277.96/281.67	c #Conflicts:     121000 | #Constraints:      32402
277.96/281.67	c #Conflicts:     122000 | #Constraints:      33402
277.96/281.67	c #Conflicts:     123000 | #Constraints:      34402
277.96/281.67	c bounds 24 >= 18 @ 272.575
277.96/281.67	c #Conflicts:     124000 | #Constraints:      35429
277.96/281.67	c INPROCESSING
277.96/281.67	c GARBAGE COLLECT
277.96/281.67	c rational objective 18
294.33/298.06	c #Conflicts:     125000 | #Constraints:      29456
294.33/298.06	c #Conflicts:     126000 | #Constraints:      30456
294.33/298.06	c #Conflicts:     127000 | #Constraints:      31456
294.33/298.06	c #Conflicts:     128000 | #Constraints:      32456
294.33/298.06	c #Conflicts:     129000 | #Constraints:      33456
294.33/298.06	c #Conflicts:     130000 | #Constraints:      34456
294.33/298.06	c #Conflicts:     131000 | #Constraints:      35456
294.33/298.06	c INPROCESSING
294.33/298.06	c GARBAGE COLLECT
294.33/298.06	c rational objective 18
318.96/322.79	c #Conflicts:     132000 | #Constraints:      29282
318.96/322.79	c #Conflicts:     133000 | #Constraints:      30282
318.96/322.79	c #Conflicts:     134000 | #Constraints:      31282
318.96/322.79	c #Conflicts:     135000 | #Constraints:      32282
318.96/322.79	c #Conflicts:     136000 | #Constraints:      33282
318.96/322.79	c #Conflicts:     137000 | #Constraints:      34282
318.96/322.79	c #Conflicts:     138000 | #Constraints:      35282
318.96/322.79	c #Conflicts:     139000 | #Constraints:      36282
318.96/322.79	c INPROCESSING
318.96/322.79	c GARBAGE COLLECT
318.96/322.79	c rational objective 18
332.43/336.21	c #Conflicts:     140000 | #Constraints:      29885
332.43/336.21	c #Conflicts:     141000 | #Constraints:      30885
332.43/336.21	c #Conflicts:     142000 | #Constraints:      31885
332.43/336.21	c #Conflicts:     143000 | #Constraints:      32885
332.43/336.21	c #Conflicts:     144000 | #Constraints:      33885
332.43/336.21	c #Conflicts:     145000 | #Constraints:      34885
332.43/336.21	c #Conflicts:     146000 | #Constraints:      35885
332.43/336.21	c #Conflicts:     147000 | #Constraints:      36885
332.43/336.21	c INPROCESSING
332.43/336.21	c GARBAGE COLLECT
332.43/336.21	c rational objective 18
349.89/353.79	c #Conflicts:     148000 | #Constraints:      30294
349.89/353.79	c #Conflicts:     149000 | #Constraints:      31294
349.89/353.79	c #Conflicts:     150000 | #Constraints:      32294
349.89/353.79	c #Conflicts:     151000 | #Constraints:      33294
349.89/353.79	c #Conflicts:     152000 | #Constraints:      34294
349.89/353.79	c bounds 23 >= 18 @ 337.144
349.89/353.79	c #Conflicts:     153000 | #Constraints:      35295
349.89/353.79	c #Conflicts:     154000 | #Constraints:      36295
349.89/353.79	c #Conflicts:     155000 | #Constraints:      37295
349.89/353.79	c INPROCESSING
349.89/353.79	c GARBAGE COLLECT
349.89/353.79	c rational objective 18
373.33/377.24	c #Conflicts:     156000 | #Constraints:      30591
373.33/377.24	c #Conflicts:     157000 | #Constraints:      31591
373.33/377.24	c #Conflicts:     158000 | #Constraints:      32591
373.33/377.24	c #Conflicts:     159000 | #Constraints:      33592
373.33/377.24	c #Conflicts:     160000 | #Constraints:      34592
373.33/377.24	c #Conflicts:     161000 | #Constraints:      35592
373.33/377.24	c #Conflicts:     162000 | #Constraints:      36592
373.33/377.24	c #Conflicts:     163000 | #Constraints:      37592
373.33/377.24	c INPROCESSING
373.33/377.24	c GARBAGE COLLECT
373.33/377.24	c rational objective 18
426.60/430.68	c #Conflicts:     164000 | #Constraints:      30553
426.60/430.68	c #Conflicts:     165000 | #Constraints:      31553
426.60/430.68	c #Conflicts:     166000 | #Constraints:      32553
426.60/430.68	c #Conflicts:     167000 | #Constraints:      33553
426.60/430.68	c #Conflicts:     168000 | #Constraints:      34553
426.60/430.68	c #Conflicts:     169000 | #Constraints:      35553
426.60/430.68	c #Conflicts:     170000 | #Constraints:      36553
426.60/430.68	c #Conflicts:     171000 | #Constraints:      37553
426.60/430.68	c INPROCESSING
426.60/430.68	c GARBAGE COLLECT
426.60/430.68	c rational objective 18
451.73/455.82	c #Conflicts:     172000 | #Constraints:      30390
451.73/455.82	c #Conflicts:     173000 | #Constraints:      31391
451.73/455.82	c #Conflicts:     174000 | #Constraints:      32391
451.73/455.82	c #Conflicts:     175000 | #Constraints:      33391
451.73/455.82	c #Conflicts:     176000 | #Constraints:      34391
451.73/455.82	c #Conflicts:     177000 | #Constraints:      35392
451.73/455.82	c #Conflicts:     178000 | #Constraints:      36392
451.73/455.82	c #Conflicts:     179000 | #Constraints:      37392
451.73/455.82	c #Conflicts:     180000 | #Constraints:      38392
451.73/455.82	c INPROCESSING
451.73/455.82	c GARBAGE COLLECT
451.73/455.82	c rational objective 18
469.39/473.55	c #Conflicts:     181000 | #Constraints:      31001
469.39/473.55	c #Conflicts:     182000 | #Constraints:      32001
469.39/473.55	c #Conflicts:     183000 | #Constraints:      33001
469.39/473.55	c #Conflicts:     184000 | #Constraints:      34001
469.39/473.55	c #Conflicts:     185000 | #Constraints:      35001
469.39/473.55	c #Conflicts:     186000 | #Constraints:      36001
469.39/473.55	c #Conflicts:     187000 | #Constraints:      37001
469.39/473.55	c #Conflicts:     188000 | #Constraints:      38001
469.39/473.55	c #Conflicts:     189000 | #Constraints:      39001
469.39/473.55	c INPROCESSING
469.39/473.55	c GARBAGE COLLECT
469.39/473.55	c rational objective 18
514.18/518.44	c #Conflicts:     190000 | #Constraints:      31359
514.18/518.44	c #Conflicts:     191000 | #Constraints:      32359
514.18/518.44	c #Conflicts:     192000 | #Constraints:      33359
514.18/518.44	c #Conflicts:     193000 | #Constraints:      34359
514.18/518.44	c #Conflicts:     194000 | #Constraints:      35359
514.18/518.44	c #Conflicts:     195000 | #Constraints:      36359
514.18/518.44	c #Conflicts:     196000 | #Constraints:      37359
514.18/518.44	c #Conflicts:     197000 | #Constraints:      38359
514.18/518.44	c #Conflicts:     198000 | #Constraints:      39359
514.18/518.44	c INPROCESSING
514.18/518.44	c GARBAGE COLLECT
514.18/518.44	c rational objective 18
527.15/531.41	c #Conflicts:     199000 | #Constraints:      31649
527.15/531.41	c #Conflicts:     200000 | #Constraints:      32649
527.15/531.41	c #Conflicts:     201000 | #Constraints:      33649
527.15/531.41	c #Conflicts:     202000 | #Constraints:      34650
527.15/531.41	c #Conflicts:     203000 | #Constraints:      35650
527.15/531.41	c #Conflicts:     204000 | #Constraints:      36651
527.15/531.41	c #Conflicts:     205000 | #Constraints:      37651
527.15/531.41	c #Conflicts:     206000 | #Constraints:      38651
527.15/531.41	c #Conflicts:     207000 | #Constraints:      39651
527.15/531.41	c INPROCESSING
527.15/531.41	c GARBAGE COLLECT
527.15/531.41	c rational objective 18
553.29/557.66	c #Conflicts:     208000 | #Constraints:      31564
553.29/557.66	c #Conflicts:     209000 | #Constraints:      32564
553.29/557.66	c #Conflicts:     210000 | #Constraints:      33564
553.29/557.66	c #Conflicts:     211000 | #Constraints:      34565
553.29/557.66	c #Conflicts:     212000 | #Constraints:      35565
553.29/557.66	c #Conflicts:     213000 | #Constraints:      36565
553.29/557.66	c #Conflicts:     214000 | #Constraints:      37565
553.29/557.66	c #Conflicts:     215000 | #Constraints:      38565
553.29/557.66	c #Conflicts:     216000 | #Constraints:      39565
553.29/557.66	c INPROCESSING
553.29/557.66	c GARBAGE COLLECT
553.29/557.66	c rational objective 18
651.33/655.96	c #Conflicts:     217000 | #Constraints:      31310
651.33/655.96	c #Conflicts:     218000 | #Constraints:      32310
651.33/655.96	c #Conflicts:     219000 | #Constraints:      33310
651.33/655.96	c #Conflicts:     220000 | #Constraints:      34310
651.33/655.96	c #Conflicts:     221000 | #Constraints:      35310
651.33/655.96	c #Conflicts:     222000 | #Constraints:      36310
651.33/655.96	c #Conflicts:     223000 | #Constraints:      37310
651.33/655.96	c #Conflicts:     224000 | #Constraints:      38310
651.33/655.96	c #Conflicts:     225000 | #Constraints:      39310
651.33/655.96	c #Conflicts:     226000 | #Constraints:      40310
651.33/655.96	c INPROCESSING
651.33/655.96	c GARBAGE COLLECT
651.33/655.96	c rational objective 18
944.19/949.59	c #Conflicts:     227000 | #Constraints:      32051
944.19/949.59	c #Conflicts:     228000 | #Constraints:      33051
944.19/949.59	c #Conflicts:     229000 | #Constraints:      34051
944.19/949.59	c #Conflicts:     230000 | #Constraints:      35051
944.19/949.59	c #Conflicts:     231000 | #Constraints:      36052
944.19/949.59	c #Conflicts:     232000 | #Constraints:      37052
944.19/949.59	c #Conflicts:     233000 | #Constraints:      38052
944.19/949.59	c #Conflicts:     234000 | #Constraints:      39052
944.19/949.59	c #Conflicts:     235000 | #Constraints:      40052
944.19/949.59	c #Conflicts:     236000 | #Constraints:      41052
944.19/949.59	c #Conflicts:     237000 | #Constraints:      42052
944.19/949.59	c #Conflicts:     238000 | #Constraints:      43052
944.19/949.59	c #Conflicts:     239000 | #Constraints:      44052
944.19/949.59	c #Conflicts:     240000 | #Constraints:      45052
944.19/949.59	c #Conflicts:     241000 | #Constraints:      46052
944.19/949.59	c #Conflicts:     242000 | #Constraints:      47052
944.19/949.59	c #Conflicts:     243000 | #Constraints:      48052
944.19/949.59	c #Conflicts:     244000 | #Constraints:      49052
944.19/949.59	c #Conflicts:     245000 | #Constraints:      50052
944.19/949.59	c #Conflicts:     246000 | #Constraints:      51052
944.19/949.59	c #Conflicts:     247000 | #Constraints:      52052
944.19/949.59	c #Conflicts:     248000 | #Constraints:      53052
944.19/949.59	c #Conflicts:     249000 | #Constraints:      54052
944.19/949.59	c #Conflicts:     250000 | #Constraints:      55052
944.19/949.59	c #Conflicts:     251000 | #Constraints:      56052
944.19/949.59	c #Conflicts:     252000 | #Constraints:      57052
944.19/949.59	c #Conflicts:     253000 | #Constraints:      58052
944.19/949.59	c #Conflicts:     254000 | #Constraints:      59052
944.19/949.59	c #Conflicts:     255000 | #Constraints:      60052
944.19/949.59	c #Conflicts:     256000 | #Constraints:      61052
944.19/949.59	c #Conflicts:     257000 | #Constraints:      62052
944.19/949.59	c #Conflicts:     258000 | #Constraints:      63052
944.19/949.59	c #Conflicts:     259000 | #Constraints:      64052
944.19/949.59	c #Conflicts:     260000 | #Constraints:      65052
944.19/949.59	c #Conflicts:     261000 | #Constraints:      66052
944.19/949.59	c #Conflicts:     262000 | #Constraints:      67052
944.19/949.59	c #Conflicts:     263000 | #Constraints:      68052
944.19/949.59	c #Conflicts:     264000 | #Constraints:      69052
944.19/949.59	c #Conflicts:     265000 | #Constraints:      70052
944.19/949.59	c #Conflicts:     266000 | #Constraints:      71052
944.19/949.59	c #Conflicts:     267000 | #Constraints:      72052
944.19/949.59	c #Conflicts:     268000 | #Constraints:      73052
944.19/949.59	c #Conflicts:     269000 | #Constraints:      74052
944.19/949.59	c #Conflicts:     270000 | #Constraints:      75052
944.19/949.59	c #Conflicts:     271000 | #Constraints:      76052
944.19/949.59	c #Conflicts:     272000 | #Constraints:      77052
944.19/949.59	c INPROCESSING
944.19/949.59	c GARBAGE COLLECT
944.19/949.59	c rational objective 18
1080.55/1086.29	c #Conflicts:     273000 | #Constraints:      50439
1080.55/1086.29	c #Conflicts:     274000 | #Constraints:      51439
1080.55/1086.29	c #Conflicts:     275000 | #Constraints:      52439
1080.55/1086.29	c #Conflicts:     276000 | #Constraints:      53439
1080.55/1086.29	c #Conflicts:     277000 | #Constraints:      54439
1080.55/1086.29	c #Conflicts:     278000 | #Constraints:      55439
1080.55/1086.29	c #Conflicts:     279000 | #Constraints:      56439
1080.55/1086.29	c #Conflicts:     280000 | #Constraints:      57439
1080.55/1086.29	c #Conflicts:     281000 | #Constraints:      58439
1080.55/1086.29	c #Conflicts:     282000 | #Constraints:      59439
1080.55/1086.29	c INPROCESSING
1080.55/1086.29	c GARBAGE COLLECT
1080.55/1086.29	c rational objective 18
1205.74/1211.74	c #Conflicts:     283000 | #Constraints:      41321
1205.74/1211.74	c #Conflicts:     284000 | #Constraints:      42321
1205.74/1211.74	c #Conflicts:     285000 | #Constraints:      43321
1205.74/1211.74	c #Conflicts:     286000 | #Constraints:      44321
1205.74/1211.74	c #Conflicts:     287000 | #Constraints:      45321
1205.74/1211.74	c #Conflicts:     288000 | #Constraints:      46321
1205.74/1211.74	c #Conflicts:     289000 | #Constraints:      47321
1205.74/1211.74	c #Conflicts:     290000 | #Constraints:      48321
1205.74/1211.74	c #Conflicts:     291000 | #Constraints:      49321
1205.74/1211.74	c #Conflicts:     292000 | #Constraints:      50321
1205.74/1211.74	c #Conflicts:     293000 | #Constraints:      51321
1205.74/1211.74	c #Conflicts:     294000 | #Constraints:      52321
1205.74/1211.74	c INPROCESSING
1205.74/1211.74	c GARBAGE COLLECT
1205.74/1211.74	c rational objective 18
1260.02/1266.13	c #Conflicts:     295000 | #Constraints:      38230
1260.02/1266.13	c #Conflicts:     296000 | #Constraints:      39230
1260.02/1266.13	c #Conflicts:     297000 | #Constraints:      40230
1260.02/1266.13	c #Conflicts:     298000 | #Constraints:      41230
1260.02/1266.13	c #Conflicts:     299000 | #Constraints:      42230
1260.02/1266.13	c #Conflicts:     300000 | #Constraints:      43230
1260.02/1266.13	c #Conflicts:     301000 | #Constraints:      44230
1260.02/1266.13	c #Conflicts:     302000 | #Constraints:      45230
1260.02/1266.13	c #Conflicts:     303000 | #Constraints:      46230
1260.02/1266.13	c #Conflicts:     304000 | #Constraints:      47230
1260.02/1266.13	c #Conflicts:     305000 | #Constraints:      48230
1260.02/1266.13	c INPROCESSING
1260.02/1266.13	c GARBAGE COLLECT
1260.02/1266.13	c rational objective 18
2286.82/2295.79	c #Conflicts:     306000 | #Constraints:      35879
2286.82/2295.79	c #Conflicts:     307000 | #Constraints:      36879
2286.82/2295.79	c #Conflicts:     308000 | #Constraints:      37879
2286.82/2295.79	c #Conflicts:     309000 | #Constraints:      38879
2286.82/2295.79	c #Conflicts:     310000 | #Constraints:      39879
2286.82/2295.79	c #Conflicts:     311000 | #Constraints:      40879
2286.82/2295.79	c #Conflicts:     312000 | #Constraints:      41879
2286.82/2295.79	c #Conflicts:     313000 | #Constraints:      42879
2286.82/2295.79	c #Conflicts:     314000 | #Constraints:      43879
2286.82/2295.79	c #Conflicts:     315000 | #Constraints:      44879
2286.82/2295.79	c #Conflicts:     316000 | #Constraints:      45879
2286.82/2295.79	c #Conflicts:     317000 | #Constraints:      46879
2286.82/2295.79	c #Conflicts:     318000 | #Constraints:      47879
2286.82/2295.79	c #Conflicts:     319000 | #Constraints:      48879
2286.82/2295.79	c #Conflicts:     320000 | #Constraints:      49879
2286.82/2295.79	c #Conflicts:     321000 | #Constraints:      50879
2286.82/2295.79	c #Conflicts:     322000 | #Constraints:      51879
2286.82/2295.79	c #Conflicts:     323000 | #Constraints:      52879
2286.82/2295.79	c #Conflicts:     324000 | #Constraints:      53879
2286.82/2295.79	c #Conflicts:     325000 | #Constraints:      54879
2286.82/2295.79	c #Conflicts:     326000 | #Constraints:      55879
2286.82/2295.79	c #Conflicts:     327000 | #Constraints:      56879
2286.82/2295.79	c #Conflicts:     328000 | #Constraints:      57879
2286.82/2295.79	c #Conflicts:     329000 | #Constraints:      58879
2286.82/2295.79	c #Conflicts:     330000 | #Constraints:      59879
2286.82/2295.79	c #Conflicts:     331000 | #Constraints:      60879
2286.82/2295.79	c #Conflicts:     332000 | #Constraints:      61879
2286.82/2295.79	c #Conflicts:     333000 | #Constraints:      62879
2286.82/2295.79	c #Conflicts:     334000 | #Constraints:      63879
2286.82/2295.79	c #Conflicts:     335000 | #Constraints:      64879
2286.82/2295.79	c #Conflicts:     336000 | #Constraints:      65879
2286.82/2295.79	c #Conflicts:     337000 | #Constraints:      66879
2286.82/2295.79	c #Conflicts:     338000 | #Constraints:      67879
2286.82/2295.79	c bounds 23 >= 19 @ 1956.86
2286.82/2295.79	c #Conflicts:     339000 | #Constraints:      68900
2286.82/2295.79	c #Conflicts:     340000 | #Constraints:      69900
2286.82/2295.79	c #Conflicts:     341000 | #Constraints:      70900
2286.82/2295.79	c #Conflicts:     342000 | #Constraints:      71900
2286.82/2295.79	c #Conflicts:     343000 | #Constraints:      72900
2286.82/2295.79	c #Conflicts:     344000 | #Constraints:      73900
2286.82/2295.79	c #Conflicts:     345000 | #Constraints:      74900
2286.82/2295.79	c #Conflicts:     346000 | #Constraints:      75900
2286.82/2295.79	c #Conflicts:     347000 | #Constraints:      76900
2286.82/2295.79	c #Conflicts:     348000 | #Constraints:      77900
2286.82/2295.79	c #Conflicts:     349000 | #Constraints:      78900
2286.82/2295.79	c #Conflicts:     350000 | #Constraints:      79900
2286.82/2295.79	c #Conflicts:     351000 | #Constraints:      80900
2286.82/2295.79	c #Conflicts:     352000 | #Constraints:      81900
2286.82/2295.79	c #Conflicts:     353000 | #Constraints:      82900
2286.82/2295.79	c #Conflicts:     354000 | #Constraints:      83900
2286.82/2295.79	c #Conflicts:     355000 | #Constraints:      84900
2286.82/2295.79	c #Conflicts:     356000 | #Constraints:      85900
2286.82/2295.79	c INPROCESSING
2286.82/2295.79	c GARBAGE COLLECT
2286.82/2295.79	c rational objective 19
2394.01/2403.27	c #Conflicts:     357000 | #Constraints:      54704
2394.01/2403.27	c #Conflicts:     358000 | #Constraints:      55704
2394.01/2403.27	c #Conflicts:     359000 | #Constraints:      56704
2394.01/2403.27	c #Conflicts:     360000 | #Constraints:      57704
2394.01/2403.27	c #Conflicts:     361000 | #Constraints:      58704
2394.01/2403.27	c #Conflicts:     362000 | #Constraints:      59704
2394.01/2403.27	c #Conflicts:     363000 | #Constraints:      60704
2394.01/2403.27	c #Conflicts:     364000 | #Constraints:      61704
2394.01/2403.27	c #Conflicts:     365000 | #Constraints:      62704
2394.01/2403.27	c #Conflicts:     366000 | #Constraints:      63704
2394.01/2403.27	c #Conflicts:     367000 | #Constraints:      64704
2394.01/2403.27	c #Conflicts:     368000 | #Constraints:      65704
2394.01/2403.27	c #Conflicts:     369000 | #Constraints:      66704
2394.01/2403.27	c INPROCESSING
2394.01/2403.27	c GARBAGE COLLECT
2394.01/2403.27	c rational objective 19
2561.65/2571.35	c #Conflicts:     370000 | #Constraints:      45282
2561.65/2571.35	c #Conflicts:     371000 | #Constraints:      46282
2561.65/2571.35	c #Conflicts:     372000 | #Constraints:      47282
2561.65/2571.35	c #Conflicts:     373000 | #Constraints:      48282
2561.65/2571.35	c #Conflicts:     374000 | #Constraints:      49282
2561.65/2571.35	c #Conflicts:     375000 | #Constraints:      50282
2561.65/2571.35	c #Conflicts:     376000 | #Constraints:      51282
2561.65/2571.35	c #Conflicts:     377000 | #Constraints:      52282
2561.65/2571.35	c #Conflicts:     378000 | #Constraints:      53282
2561.65/2571.35	c #Conflicts:     379000 | #Constraints:      54282
2561.65/2571.35	c #Conflicts:     380000 | #Constraints:      55282
2561.65/2571.35	c #Conflicts:     381000 | #Constraints:      56282
2561.65/2571.35	c INPROCESSING
2561.65/2571.35	c GARBAGE COLLECT
2561.65/2571.35	c rational objective 19
2658.09/2668.01	c #Conflicts:     382000 | #Constraints:      39768
2658.09/2668.01	c #Conflicts:     383000 | #Constraints:      40768
2658.09/2668.01	c #Conflicts:     384000 | #Constraints:      41768
2658.09/2668.01	c #Conflicts:     385000 | #Constraints:      42768
2658.09/2668.01	c #Conflicts:     386000 | #Constraints:      43768
2658.09/2668.01	c #Conflicts:     387000 | #Constraints:      44768
2658.09/2668.01	c #Conflicts:     388000 | #Constraints:      45768
2658.09/2668.01	c #Conflicts:     389000 | #Constraints:      46768
2658.09/2668.01	c #Conflicts:     390000 | #Constraints:      47768
2658.09/2668.01	c #Conflicts:     391000 | #Constraints:      48768
2658.09/2668.01	c #Conflicts:     392000 | #Constraints:      49768
2658.09/2668.01	c #Conflicts:     393000 | #Constraints:      50768
2658.09/2668.01	c #Conflicts:     394000 | #Constraints:      51768
2658.09/2668.01	c INPROCESSING
2658.09/2668.01	c GARBAGE COLLECT
2658.09/2668.01	c rational objective 19
3211.43/3222.92	c #Conflicts:     395000 | #Constraints:      37727
3211.43/3222.92	c #Conflicts:     396000 | #Constraints:      38727
3211.43/3222.92	c #Conflicts:     397000 | #Constraints:      39727
3211.43/3222.92	c #Conflicts:     398000 | #Constraints:      40728
3211.43/3222.92	c #Conflicts:     399000 | #Constraints:      41728
3211.43/3222.92	c #Conflicts:     400000 | #Constraints:      42728
3211.43/3222.92	c #Conflicts:     401000 | #Constraints:      43728
3211.43/3222.92	c #Conflicts:     402000 | #Constraints:      44728
3211.43/3222.92	c #Conflicts:     403000 | #Constraints:      45728
3211.43/3222.92	c #Conflicts:     404000 | #Constraints:      46728
3211.43/3222.92	c #Conflicts:     405000 | #Constraints:      47728
3211.43/3222.92	c #Conflicts:     406000 | #Constraints:      48728
3211.43/3222.92	c #Conflicts:     407000 | #Constraints:      49728
3211.43/3222.92	c #Conflicts:     408000 | #Constraints:      50728
3211.43/3222.92	c #Conflicts:     409000 | #Constraints:      51728
3211.43/3222.92	c #Conflicts:     410000 | #Constraints:      52728
3211.43/3222.92	c #Conflicts:     411000 | #Constraints:      53728
3211.43/3222.92	c #Conflicts:     412000 | #Constraints:      54728
3211.43/3222.92	c #Conflicts:     413000 | #Constraints:      55728
3211.43/3222.92	c #Conflicts:     414000 | #Constraints:      56728
3211.43/3222.92	c #Conflicts:     415000 | #Constraints:      57728
3211.43/3222.92	c #Conflicts:     416000 | #Constraints:      58728
3211.43/3222.92	c #Conflicts:     417000 | #Constraints:      59728
3211.43/3222.92	c #Conflicts:     418000 | #Constraints:      60728
3211.43/3222.92	c #Conflicts:     419000 | #Constraints:      61728
3211.43/3222.92	c #Conflicts:     420000 | #Constraints:      62728
3211.43/3222.92	c #Conflicts:     421000 | #Constraints:      63728
3211.43/3222.92	c #Conflicts:     422000 | #Constraints:      64728
3211.43/3222.92	c #Conflicts:     423000 | #Constraints:      65728
3211.43/3222.92	c #Conflicts:     424000 | #Constraints:      66728
3211.43/3222.92	c #Conflicts:     425000 | #Constraints:      67728
3211.43/3222.92	c #Conflicts:     426000 | #Constraints:      68728
3211.43/3222.92	c #Conflicts:     427000 | #Constraints:      69728
3211.43/3222.92	c #Conflicts:     428000 | #Constraints:      70728
3211.43/3222.92	c #Conflicts:     429000 | #Constraints:      71728
3211.43/3222.92	c #Conflicts:     430000 | #Constraints:      72728
3211.43/3222.92	c #Conflicts:     431000 | #Constraints:      73729
3211.43/3222.92	c #Conflicts:     432000 | #Constraints:      74729
3211.43/3222.92	c #Conflicts:     433000 | #Constraints:      75729
3211.43/3222.92	c #Conflicts:     434000 | #Constraints:      76729
3211.43/3222.92	c #Conflicts:     435000 | #Constraints:      77729
3211.43/3222.92	c #Conflicts:     436000 | #Constraints:      78729
3211.43/3222.92	c #Conflicts:     437000 | #Constraints:      79730
3211.43/3222.92	c #Conflicts:     438000 | #Constraints:      80730
3211.43/3222.92	c #Conflicts:     439000 | #Constraints:      81730
3211.43/3222.92	c #Conflicts:     440000 | #Constraints:      82730
3211.43/3222.92	c #Conflicts:     441000 | #Constraints:      83730
3211.43/3222.92	c #Conflicts:     442000 | #Constraints:      84730
3211.43/3222.92	c #Conflicts:     443000 | #Constraints:      85730
3211.43/3222.92	c #Conflicts:     444000 | #Constraints:      86730
3211.43/3222.92	c #Conflicts:     445000 | #Constraints:      87730
3211.43/3222.92	c #Conflicts:     446000 | #Constraints:      88730
3211.43/3222.92	c #Conflicts:     447000 | #Constraints:      89730
3211.43/3222.92	c #Conflicts:     448000 | #Constraints:      90730
3211.43/3222.92	c #Conflicts:     449000 | #Constraints:      91730
3211.43/3222.92	c #Conflicts:     450000 | #Constraints:      92730
3211.43/3222.92	c #Conflicts:     451000 | #Constraints:      93731
3211.43/3222.92	c INPROCESSING
3211.43/3222.92	c GARBAGE COLLECT
3211.43/3222.92	c rational objective 19
3410.15/3422.29	c #Conflicts:     452000 | #Constraints:      58731
3410.15/3422.29	c #Conflicts:     453000 | #Constraints:      59731
3410.15/3422.29	c #Conflicts:     454000 | #Constraints:      60731
3410.15/3422.29	c #Conflicts:     455000 | #Constraints:      61731
3410.15/3422.29	c #Conflicts:     456000 | #Constraints:      62731
3410.15/3422.29	c #Conflicts:     457000 | #Constraints:      63731
3410.15/3422.29	c #Conflicts:     458000 | #Constraints:      64731
3410.15/3422.29	c #Conflicts:     459000 | #Constraints:      65731
3410.15/3422.29	c #Conflicts:     460000 | #Constraints:      66731
3410.15/3422.29	c #Conflicts:     461000 | #Constraints:      67731
3410.15/3422.29	c #Conflicts:     462000 | #Constraints:      68731
3410.15/3422.29	c #Conflicts:     463000 | #Constraints:      69731
3410.15/3422.29	c #Conflicts:     464000 | #Constraints:      70731
3410.15/3422.29	c #Conflicts:     465000 | #Constraints:      71731
3410.15/3422.29	c INPROCESSING
3410.15/3422.29	c GARBAGE COLLECT
3410.15/3422.29	c rational objective 19
3563.20/3575.73	c #Conflicts:     466000 | #Constraints:      47742
3563.20/3575.73	c #Conflicts:     467000 | #Constraints:      48742
3563.20/3575.73	c #Conflicts:     468000 | #Constraints:      49742
3563.20/3575.73	c #Conflicts:     469000 | #Constraints:      50742
3563.20/3575.73	c #Conflicts:     470000 | #Constraints:      51742
3563.20/3575.73	c #Conflicts:     471000 | #Constraints:      52742
3563.20/3575.73	c #Conflicts:     472000 | #Constraints:      53742
3563.20/3575.73	c #Conflicts:     473000 | #Constraints:      54742
3563.20/3575.73	c #Conflicts:     474000 | #Constraints:      55742
3563.20/3575.73	c #Conflicts:     475000 | #Constraints:      56742
3563.20/3575.73	c #Conflicts:     476000 | #Constraints:      57742
3563.20/3575.73	c #Conflicts:     477000 | #Constraints:      58742
3563.20/3575.73	c #Conflicts:     478000 | #Constraints:      59742
3563.20/3575.73	c #Conflicts:     479000 | #Constraints:      60742
3563.20/3575.73	c #Conflicts:     480000 | #Constraints:      61742
3563.20/3575.73	c INPROCESSING
3563.20/3575.73	c GARBAGE COLLECT
3563.20/3575.73	c rational objective 19
3600.00/3612.63	c #Conflicts:     481000 | #Constraints:      43020
3600.00/3612.63	c #Conflicts:     482000 | #Constraints:      44020
3600.00/3612.63	c #Conflicts:     483000 | #Constraints:      45020
3600.00/3612.63	c #Conflicts:     484000 | #Constraints:      46020
3600.00/3612.63	c #Conflicts:     485000 | #Constraints:      47020
3600.00/3612.63	c #Conflicts:     486000 | #Constraints:      48020
3600.00/3612.63	c Program interrupted by user.
3600.00/3612.63	c cpu time 3580.07 s
3600.00/3612.63	c deterministic time 409198964719 4.09e+11
3600.00/3612.63	c optimization time 36.4815 s
3600.00/3612.63	c total solve time 3543.54 s
3600.00/3612.63	c core-guided solve time 1765.97 s
3600.00/3612.63	c propagation time 2934 s
3600.00/3612.63	c conflict analysis time 573.205 s
3600.00/3612.63	c propagations 355727885
3600.00/3612.63	c resolve steps 26447358
3600.00/3612.63	c decisions 7362445
3600.00/3612.63	c conflicts 486214
3600.00/3612.63	c restarts 1022
3600.00/3612.63	c inprocessing phases 50
3600.00/3612.63	c input clauses 21430
3600.00/3612.63	c input cardinalities 37
3600.00/3612.63	c input general constraints 66
3600.00/3612.63	c input average constraint length 3.47
3600.00/3612.63	c input average constraint degree 1.41
3600.00/3612.63	c learned clauses 230234
3600.00/3612.63	c learned cardinalities 4177
3600.00/3612.63	c learned general constraints 251838
3600.00/3612.63	c learned average constraint length 785.07
3600.00/3612.63	c learned average constraint degree 17740341.92
3600.00/3612.63	c watched constraints 186408
3600.00/3612.63	c counting constraints 65496
3600.00/3612.63	c gcd simplifications 1648
3600.00/3612.63	c detected cardinalities 11
3600.00/3612.63	c weakened non-implied lits 48568408
3600.00/3612.63	c weakened non-implying lits 57159
3600.00/3612.63	c original variables 6076
3600.00/3612.63	c clausal propagations 284951130
3600.00/3612.63	c cardinality propagations 4240851
3600.00/3612.63	c watched propagations 7562258
3600.00/3612.63	c counting propagations 56875763
3600.00/3612.63	c watch lookups 47733532244
3600.00/3612.63	c watch backjump lookups 39783330400
3600.00/3612.63	c watch checks 305530200351
3600.00/3612.63	c propagation checks 14288815899
3600.00/3612.63	c constraint additions 1135779839
3600.00/3612.63	c trail pops 363572844
3600.00/3612.63	c formula constraints 21401
3600.00/3612.63	c learned constraints 486187
3600.00/3612.63	c bound constraints 23
3600.00/3612.63	c core-guided constraints 109
3600.00/3612.63	c encountered formula constraints 22230191
3600.00/3612.63	c encountered learned constraints 4566800
3600.00/3612.63	c encountered bound constraints 288
3600.00/3612.63	c encountered core-guided constraints 135749
3600.00/3612.63	c LP total time 137.066 s
3600.00/3612.63	c LP solve time 136.47 s
3600.00/3612.63	c LP constraints added 21607
3600.00/3612.63	c LP constraints removed 202
3600.00/3612.63	c LP pivots internal 487148
3600.00/3612.63	c LP pivots root 155663
3600.00/3612.63	c LP calls 433
3600.00/3612.63	c LP optimalities 398
3600.00/3612.63	c LP no pivot count 46
3600.00/3612.63	c LP infeasibilities 31
3600.00/3612.63	c LP valid Farkas constraints 31
3600.00/3612.63	c LP learned Farkas constraints 31
3600.00/3612.63	c LP basis resets 0
3600.00/3612.63	c LP cycling count 0
3600.00/3612.63	c LP singular count 0
3600.00/3612.63	c LP no primal count 0
3600.00/3612.63	c LP no farkas count 0
3600.00/3612.63	c LP other issue count 0
3600.00/3612.63	c LP Gomory cuts 0
3600.00/3612.63	c LP learned cuts 206
3600.00/3612.63	c LP deleted cuts 202
3600.00/3612.63	c LP encountered Gomory constraints 0
3600.00/3612.63	c LP encountered Farkas constraints 435
3600.00/3612.63	c LP encountered learned Farkas constraints 78
3600.00/3612.63	c CG auxiliary variables introduced 41
3600.00/3612.63	c CG solutions found 9
3600.00/3612.63	c CG cores constructed 15
3600.00/3612.63	c CG core cardinality constraints returned 0
3600.00/3612.63	c CG unit cores 1
3600.00/3612.63	c CG single cores 14
3600.00/3612.63	c CG blocks removed during cardinality reduction 0
3600.00/3612.63	c CG first core best 0
3600.00/3612.63	c CG decision core best 0
3600.00/3612.63	c CG core reduction tie 0
3600.00/3612.63	c CG core degree average 1.00
3600.00/3612.63	c CG core slack average 48.29
3600.00/3612.63	s SATISFIABLE
3600.00/3612.63	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

Verifier Data 

OK	23

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: 63968 MiB (58284 MiB free)
  memory of node 1: 64473 MiB (60045 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460269-1722068453/watcher-4460269-1722068453 -o /tmp/evaluation-result-4460269-1722068453/solver-4460269-1722068453 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722064836-323091 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460269-1722068453 --lp-cut-gomory=0 HOME/instance-4460269-1722068453.opb 

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 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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=325238, runsolver pid=325235

[startup+0.100081 s]*
/proc/loadavg: 4.12 4.15 4.07 2/247 325239
/proc/meminfo: memFree=121168684/131524600 swapFree=131057124/131071996
[pid=325238] ppid=325235 vsize=37376 memory=2480 CPUtime=0 cores=5,7
/proc/325238/stat : 325238 (roundingsat) D 325235 325238 323074 0 -1 4194304 214 0 0 0 0 0 0 0 20 0 1 0 43374329 38273024 620 134679101440 4194304 8254357 140724259408240 0 0 0 0 0 8404994 1 0 0 17 7 0 0 0 0 0 9037040 9046032 15007744 140724259414875 140724259415137 140724259415137 140724259422153 0
/proc/325238/statm: 9344 620 564 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2480 KiB

[startup+0.205165 s]*
/proc/loadavg: 4.12 4.15 4.07 2/247 325239
/proc/meminfo: memFree=121168684/131524600 swapFree=131057124/131071996
[pid=325238] ppid=325235 vsize=37376 memory=2480 CPUtime=0 cores=5,7
/proc/325238/stat : 325238 (roundingsat) D 325235 325238 323074 0 -1 4194304 214 0 0 0 0 0 0 0 20 0 1 0 43374329 38273024 620 134679101440 4194304 8254357 140724259408240 0 0 0 0 0 8404994 1 0 0 17 7 0 0 0 0 0 9037040 9046032 15007744 140724259414875 140724259415137 140724259415137 140724259422153 0
/proc/325238/statm: 9344 620 564 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2480 KiB

[startup+0.304362 s]*
/proc/loadavg: 4.12 4.15 4.07 2/247 325239
/proc/meminfo: memFree=121168348/131524600 swapFree=131057124/131071996
[pid=325238] ppid=325235 vsize=37376 memory=2480 CPUtime=0 cores=5,7
/proc/325238/stat : 325238 (roundingsat) D 325235 325238 323074 0 -1 4194304 214 0 0 0 0 0 0 0 20 0 1 0 43374329 38273024 620 134679101440 4194304 8254357 140724259408240 0 0 0 0 0 8404994 1 0 0 17 7 0 0 0 0 0 9037040 9046032 15007744 140724259414875 140724259415137 140724259415137 140724259422153 0
/proc/325238/statm: 9344 620 564 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2480 KiB

[startup+0.700155 s]
/proc/loadavg: 4.12 4.15 4.07 2/247 325244
/proc/meminfo: memFree=123609752/131524600 swapFree=131057124/131071996
[pid=325238] ppid=325235 vsize=37376 memory=2480 CPUtime=0 cores=5,7
/proc/325238/stat : 325238 (roundingsat) D 325235 325238 323074 0 -1 4194304 214 0 0 0 0 0 0 0 20 0 1 0 43374329 38273024 620 134679101440 4194304 8254357 140724259408240 0 0 0 0 0 8404994 1 0 0 17 7 0 0 0 0 0 9037040 9046032 15007744 140724259414875 140724259415137 140724259415137 140724259422153 0
/proc/325238/statm: 9344 620 564 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2480 KiB

[startup+1.50014 s]
/proc/loadavg: 4.12 4.15 4.07 2/253 325264
/proc/meminfo: memFree=125066448/131524600 swapFree=131057124/131071996
[pid=325238] ppid=325235 vsize=37376 memory=2480 CPUtime=0 cores=5,7
/proc/325238/stat : 325238 (roundingsat) D 325235 325238 323074 0 -1 1077936128 214 0 0 0 0 0 0 0 20 0 1 0 43374329 38273024 620 134679101440 4194304 8254357 140724259408240 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 15007744 140724259414875 140724259415137 140724259415137 140724259422153 0
/proc/325238/statm: 9344 620 564 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2480 KiB

[startup+3.10466 s]
/proc/loadavg: 4.12 4.15 4.07 3/259 325281
/proc/meminfo: memFree=125054652/131524600 swapFree=131057124/131071996
[pid=325238] ppid=325235 vsize=52452 memory=22024 CPUtime=0.14 cores=5,7
/proc/325238/stat : 325238 (roundingsat) R 325235 325238 323074 0 -1 4194304 4733 0 0 0 11 3 0 0 20 0 1 0 43374329 53710848 5506 134679101440 4194304 8254357 140724259408240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15007744 140724259414875 140724259415137 140724259415137 140724259422153 0
/proc/325238/statm: 13113 5506 1765 992 0 4971 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 52452 KiB
Current children cumulated memory: 22024 KiB
heavy processes:

[startup+6.30019 s]
/proc/loadavg: 4.19 4.16 4.07 4/260 325282
/proc/meminfo: memFree=124746984/131524600 swapFree=131057124/131071996
[pid=325238] ppid=325235 vsize=69988 memory=40956 CPUtime=3.33 cores=5,7
/proc/325238/stat : 325238 (roundingsat) R 325235 325238 323074 0 -1 4194304 8507 0 0 0 318 15 0 0 20 0 1 0 43374329 71667712 10239 134679101440 4194304 8254357 140724259408240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15007744 140724259414875 140724259415137 140724259415137 140724259422153 0
/proc/325238/statm: 17497 10239 1876 992 0 9355 0
Current children cumulated CPU time: 3.33 s
Current children cumulated vsize: 69988 KiB
Current children cumulated memory: 40956 KiB
heavy processes:

[startup+12.7002 s]
/proc/loadavg: 4.17 4.16 4.07 4/255 325310
/proc/meminfo: memFree=124375564/131524600 swapFree=131057124/131071996
[pid=325238] ppid=325235 vsize=83948 memory=56048 CPUtime=9.71 cores=5,7
/proc/325238/stat : 325238 (roundingsat) R 325235 325238 323074 0 -1 4194304 10739 0 0 0 942 29 0 0 20 0 1 0 43374329 85962752 14012 134679101440 4194304 8254357 140724259408240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15007744 140724259414875 140724259415137 140724259415137 140724259422153 0
/proc/325238/statm: 20987 14012 1876 992 0 12845 0
Current children cumulated CPU time: 9.71 s
Current children cumulated vsize: 83948 KiB
Current children cumulated memory: 56048 KiB
heavy processes:

[startup+25.5002 s]
/proc/loadavg: 4.20 4.17 4.08 4/255 325406
/proc/meminfo: memFree=125916416/131524600 swapFree=131057124/131071996
[pid=325238] ppid=325235 vsize=104024 memory=70296 CPUtime=22.47 cores=5,7
/proc/325238/stat : 325238 (roundingsat) R 325235 325238 323074 0 -1 4194304 13322 0 0 0 2192 55 0 0 20 0 1 0 43374329 106520576 17574 134679101440 4194304 8254357 140724259408240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15007744 140724259414875 140724259415137 140724259415137 140724259422153 0
/proc/325238/statm: 26006 17574 1892 992 0 17864 0
Current children cumulated CPU time: 22.47 s
Current children cumulated vsize: 104024 KiB
Current children cumulated memory: 70296 KiB

[startup+51.1058 s]
/proc/loadavg: 4.34 4.20 4.09 5/260 325476
/proc/meminfo: memFree=121621100/131524600 swapFree=131057124/131071996
[pid=325238] ppid=325235 vsize=116272 memory=84564 CPUtime=48.01 cores=5,7
/proc/325238/stat : 325238 (roundingsat) R 325235 325238 323074 0 -1 4194304 15883 0 0 0 4701 100 0 0 20 0 1 0 43374329 119062528 21141 134679101440 4194304 8254357 140724259408240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15007744 140724259414875 140724259415137 140724259415137 140724259422153 0
/proc/325238/statm: 29068 21141 1892 992 0 20926 0
Current children cumulated CPU time: 48.01 s
Current children cumulated vsize: 116272 KiB
Current children cumulated memory: 84564 KiB

[startup+102.3 s]
/proc/loadavg: 4.41 4.24 4.11 8/259 325487
/proc/meminfo: memFree=118746636/131524600 swapFree=131057124/131071996
[pid=325238] ppid=325235 vsize=126440 memory=98812 CPUtime=99.08 cores=5,7
/proc/325238/stat : 325238 (roundingsat) R 325235 325238 323074 0 -1 4194304 18534 0 0 0 9702 206 0 0 20 0 1 0 43374329 129474560 24703 134679101440 4194304 8254357 140724259408240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15007744 140724259414875 140724259415137 140724259415137 140724259422153 0
/proc/325238/statm: 31610 24703 1892 992 0 23468 0
Current children cumulated CPU time: 99.08 s
Current children cumulated vsize: 126440 KiB
Current children cumulated memory: 98812 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.20 4.10 5/261 325532
/proc/meminfo: memFree=116742564/131524600 swapFree=131057124/131071996
[pid=325238] ppid=325235 vsize=165388 memory=131388 CPUtime=158.94 cores=5,7
/proc/325238/stat : 325238 (roundingsat) R 325235 325238 323074 0 -1 4194304 23648 0 0 0 15612 282 0 0 20 0 1 0 43374329 169357312 32847 134679101440 4194304 8254357 140724259408240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15007744 140724259414875 140724259415137 140724259415137 140724259422153 0
/proc/325238/statm: 41347 32847 1892 992 0 33205 0
Current children cumulated CPU time: 158.94 s
Current children cumulated vsize: 165388 KiB
Current children cumulated memory: 131388 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.19 4.10 5/266 325561
/proc/meminfo: memFree=114047684/131524600 swapFree=131057124/131071996
[pid=325238] ppid=325235 vsize=198956 memory=142564 CPUtime=218.8 cores=5,7
/proc/325238/stat : 325238 (roundingsat) R 325235 325238 323074 0 -1 4194304 24975 0 0 0 21508 372 0 0 20 0 1 0 43374329 203730944 35641 134679101440 4194304 8254357 140724259408240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15007744 140724259414875 140724259415137 140724259415137 140724259422153 0
/proc/325238/statm: 49739 35641 1892 992 0 41597 0
Current children cumulated CPU time: 218.8 s
Current children cumulated vsize: 198956 KiB
Current children cumulated memory: 142564 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.17 4.09 5/272 325960
/proc/meminfo: memFree=110380032/131524600 swapFree=131057124/131071996
[pid=325238] ppid=325235 vsize=212820 memory=165360 CPUtime=278.65 cores=5,7
/proc/325238/stat : 325238 (roundingsat) R 325235 325238 323074 0 -1 4194304 28101 0 0 0 27457 408 0 0 20 0 1 0 43374329 217927680 41340 134679101440 4194304 8254357 140724259408240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15007744 140724259414875 140724259415137 140724259415137 140724259422153 0
/proc/325238/statm: 53205 41340 1892 992 0 45063 0
Current children cumulated CPU time: 278.65 s
Current children cumulated vsize: 212820 KiB
Current children cumulated memory: 165360 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.15 4.09 5/270 325971
/proc/meminfo: memFree=108836940/131524600 swapFree=131057124/131071996
[pid=325238] ppid=325235 vsize=214348 memory=166644 CPUtime=338.51 cores=5,7
/proc/325238/stat : 325238 (roundingsat) R 325235 325238 323074 0 -1 4194304 28445 0 0 0 33362 489 0 0 20 0 1 0 43374329 219492352 41661 134679101440 4194304 8254357 140724259408240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15007744 140724259414875 140724259415137 140724259415137 140724259422153 0
/proc/325238/statm: 53587 41661 1892 992 0 45445 0
Current children cumulated CPU time: 338.51 s
Current children cumulated vsize: 214348 KiB
Current children cumulated memory: 166644 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.17 4.10 5/270 325982
/proc/meminfo: memFree=106896328/131524600 swapFree=131057124/131071996
[pid=325238] ppid=325235 vsize=217468 memory=169660 CPUtime=398.37 cores=5,7
/proc/325238/stat : 325238 (roundingsat) R 325235 325238 323074 0 -1 4194304 29210 0 0 0 39277 560 0 0 20 0 1 0 43374329 222687232 42415 134679101440 4194304 8254357 140724259408240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15007744 140724259414875 140724259415137 140724259415137 140724259422153 0
/proc/325238/statm: 54367 42415 1892 992 0 46225 0
Current children cumulated CPU time: 398.37 s
Current children cumulated vsize: 217468 KiB
Current children cumulated memory: 169660 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.15 4.09 5/272 326162
/proc/meminfo: memFree=105469276/131524600 swapFree=131057124/131071996

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

/proc/325238/statm: 161870 127362 1892 992 0 153728 0
Current children cumulated CPU time: 2851.84 s
Current children cumulated vsize: 647480 KiB
Current children cumulated memory: 509448 KiB

[startup+2922.3 s]
/proc/loadavg: 4.25 4.19 4.13 5/262 327278
/proc/meminfo: memFree=18707128/131524600 swapFree=131057124/131071996
[pid=325238] ppid=325235 vsize=648740 memory=543200 CPUtime=2911.68 cores=5,7
/proc/325238/stat : 325238 (roundingsat) R 325235 325238 323074 0 -1 4194304 122153 0 0 0 289446 1722 0 0 20 0 1 0 43374329 664309760 135800 134679101440 4194304 8254357 140724259408240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15007744 140724259414875 140724259415137 140724259415137 140724259422153 0
/proc/325238/statm: 162185 135800 1892 992 0 154043 0
Current children cumulated CPU time: 2911.68 s
Current children cumulated vsize: 648740 KiB
Current children cumulated memory: 543200 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.17 4.13 5/262 327294
/proc/meminfo: memFree=16007324/131524600 swapFree=131057124/131071996
[pid=325238] ppid=325235 vsize=656740 memory=584344 CPUtime=2971.51 cores=5,7
/proc/325238/stat : 325238 (roundingsat) R 325235 325238 323074 0 -1 4194304 137268 0 0 0 295409 1742 0 0 20 0 1 0 43374329 672501760 146086 134679101440 4194304 8254357 140724259408240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15007744 140724259414875 140724259415137 140724259415137 140724259422153 0
/proc/325238/statm: 164185 146086 1892 992 0 156043 0
Current children cumulated CPU time: 2971.51 s
Current children cumulated vsize: 656740 KiB
Current children cumulated memory: 584344 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.15 4.12 5/263 327307
/proc/meminfo: memFree=10939000/131524600 swapFree=131057124/131071996
[pid=325238] ppid=325235 vsize=879424 memory=615652 CPUtime=3031.34 cores=5,7
/proc/325238/stat : 325238 (roundingsat) R 325235 325238 323074 0 -1 4194304 157667 0 0 0 301375 1759 0 0 20 0 1 0 43374329 900530176 153913 134679101440 4194304 8254357 140724259408240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15007744 140724259414875 140724259415137 140724259415137 140724259422153 0
/proc/325238/statm: 219856 153913 1892 992 0 211714 0
Current children cumulated CPU time: 3031.34 s
Current children cumulated vsize: 879424 KiB
Current children cumulated memory: 615652 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.15 4.12 5/269 327323
/proc/meminfo: memFree=563744/131524600 swapFree=131057124/131071996
[pid=325238] ppid=325235 vsize=881836 memory=651940 CPUtime=3091.17 cores=5,7
/proc/325238/stat : 325238 (roundingsat) R 325235 325238 323074 0 -1 4194304 188752 0 0 0 307341 1776 0 0 20 0 1 0 43374329 903000064 162985 134679101440 4194304 8254357 140724259408240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15007744 140724259414875 140724259415137 140724259415137 140724259422153 0
/proc/325238/statm: 220459 162985 1892 992 0 212317 0
Current children cumulated CPU time: 3091.17 s
Current children cumulated vsize: 881836 KiB
Current children cumulated memory: 651940 KiB

[startup+3162.3 s]
/proc/loadavg: 4.26 4.18 4.13 5/274 327340
/proc/meminfo: memFree=554472/131524600 swapFree=131057124/131071996
[pid=325238] ppid=325235 vsize=887788 memory=685660 CPUtime=3150.99 cores=5,7
/proc/325238/stat : 325238 (roundingsat) R 325235 325238 323074 0 -1 4194304 200754 0 0 0 313309 1790 0 0 20 0 1 0 43374329 909094912 171415 134679101440 4194304 8254357 140724259408240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15007744 140724259414875 140724259415137 140724259415137 140724259422153 0
/proc/325238/statm: 221947 171415 1892 992 0 213805 0
Current children cumulated CPU time: 3150.99 s
Current children cumulated vsize: 887788 KiB
Current children cumulated memory: 685660 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.16 4.13 5/273 327351
/proc/meminfo: memFree=486416/131524600 swapFree=131057124/131071996
[pid=325238] ppid=325235 vsize=898320 memory=718320 CPUtime=3210.83 cores=5,7
/proc/325238/stat : 325238 (roundingsat) R 325235 325238 323074 0 -1 4194304 236370 0 0 0 319275 1808 0 0 20 0 1 0 43374329 919879680 179580 134679101440 4194304 8254357 140724259408240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15007744 140724259414875 140724259415137 140724259415137 140724259422153 0
/proc/325238/statm: 224580 179580 1892 992 0 216438 0
Current children cumulated CPU time: 3210.83 s
Current children cumulated vsize: 898320 KiB
Current children cumulated memory: 718320 KiB

[startup+3282.3 s]
/proc/loadavg: 4.58 4.27 4.16 5/273 327362
/proc/meminfo: memFree=501844/131524600 swapFree=131057124/131071996
[pid=325238] ppid=325235 vsize=900888 memory=720736 CPUtime=3270.66 cores=5,7
/proc/325238/stat : 325238 (roundingsat) R 325235 325238 323074 0 -1 4194304 247047 0 0 0 325225 1841 0 0 20 0 1 0 43374329 922509312 180184 134679101440 4194304 8254357 140724259408240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15007744 140724259414875 140724259415137 140724259415137 140724259422153 0
/proc/325238/statm: 225222 180184 1892 992 0 217080 0
Current children cumulated CPU time: 3270.66 s
Current children cumulated vsize: 900888 KiB
Current children cumulated memory: 720736 KiB

[startup+3342.3 s]
/proc/loadavg: 4.31 4.25 4.16 5/272 327373
/proc/meminfo: memFree=611028/131524600 swapFree=131057124/131071996
[pid=325238] ppid=325235 vsize=900888 memory=720888 CPUtime=3330.48 cores=5,7
/proc/325238/stat : 325238 (roundingsat) R 325235 325238 323074 0 -1 4194304 248267 0 0 0 331185 1863 0 0 20 0 1 0 43374329 922509312 180222 134679101440 4194304 8254357 140724259408240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15007744 140724259414875 140724259415137 140724259415137 140724259422153 0
/proc/325238/statm: 225222 180222 1892 992 0 217080 0
Current children cumulated CPU time: 3330.48 s
Current children cumulated vsize: 900888 KiB
Current children cumulated memory: 720888 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.22 4.16 5/273 327387
/proc/meminfo: memFree=641276/131524600 swapFree=131057124/131071996
[pid=325238] ppid=325235 vsize=900888 memory=720956 CPUtime=3390.31 cores=5,7
/proc/325238/stat : 325238 (roundingsat) R 325235 325238 323074 0 -1 4194304 249605 0 0 0 337145 1886 0 0 20 0 1 0 43374329 922509312 180239 134679101440 4194304 8254357 140724259408240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15007744 140724259414875 140724259415137 140724259415137 140724259422153 0
/proc/325238/statm: 225222 180239 1892 992 0 217080 0
Current children cumulated CPU time: 3390.31 s
Current children cumulated vsize: 900888 KiB
Current children cumulated memory: 720956 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.19 4.15 5/269 327427
/proc/meminfo: memFree=532660/131524600 swapFree=131057124/131071996
[pid=325238] ppid=325235 vsize=900888 memory=721052 CPUtime=3450.13 cores=5,7
/proc/325238/stat : 325238 (roundingsat) R 325235 325238 323074 0 -1 4194304 250605 0 0 0 343098 1915 0 0 20 0 1 0 43374329 922509312 180263 134679101440 4194304 8254357 140724259408240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15007744 140724259414875 140724259415137 140724259415137 140724259422153 0
/proc/325238/statm: 225222 180263 1892 992 0 217080 0
Current children cumulated CPU time: 3450.13 s
Current children cumulated vsize: 900888 KiB
Current children cumulated memory: 721052 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.17 4.15 5/269 327438
/proc/meminfo: memFree=612224/131524600 swapFree=131056612/131071996
[pid=325238] ppid=325235 vsize=900888 memory=721052 CPUtime=3509.95 cores=5,7
/proc/325238/stat : 325238 (roundingsat) R 325235 325238 323074 0 -1 4194304 251263 0 0 0 349052 1943 0 0 20 0 1 0 43374329 922509312 180263 134679101440 4194304 8254357 140724259408240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15007744 140724259414875 140724259415137 140724259415137 140724259422153 0
/proc/325238/statm: 225222 180263 1892 992 0 217080 0
Current children cumulated CPU time: 3509.95 s
Current children cumulated vsize: 900888 KiB
Current children cumulated memory: 721052 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.17 4.15 5/269 327449
/proc/meminfo: memFree=561056/131524600 swapFree=131056612/131071996
[pid=325238] ppid=325235 vsize=900888 memory=721052 CPUtime=3569.79 cores=5,7
/proc/325238/stat : 325238 (roundingsat) R 325235 325238 323074 0 -1 4194304 252205 0 0 0 355008 1971 0 0 20 0 1 0 43374329 922509312 180263 134679101440 4194304 8254357 140724259408240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15007744 140724259414875 140724259415137 140724259415137 140724259422153 0
/proc/325238/statm: 225222 180263 1892 992 0 217080 0
Current children cumulated CPU time: 3569.79 s
Current children cumulated vsize: 900888 KiB
Current children cumulated memory: 721052 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.6 s]
/proc/loadavg: 4.15 4.17 4.15 5/271 327458
/proc/meminfo: memFree=566000/131524600 swapFree=131056612/131071996
[pid=325238] ppid=325235 vsize=900888 memory=720940 CPUtime=3600 cores=5,7
/proc/325238/stat : 325238 (roundingsat) R 325235 325238 323074 0 -1 4194304 252450 0 0 0 358006 1994 0 0 20 0 1 0 43374329 922509312 180235 134679101440 4194304 8254357 140724259408240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15007744 140724259414875 140724259415137 140724259415137 140724259422153 0
/proc/325238/statm: 225222 180235 1864 992 0 217080 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 900888 KiB
Current children cumulated memory: 720940 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3580.07 s, system=19.9812 s

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

[startup+3612.7 s]*
/proc/loadavg: 4.15 4.17 4.15 6/271 327458
/proc/meminfo: memFree=1151896/131524600 swapFree=131056612/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3612.71
CPU time (s): 3600.06
CPU user time (s): 3580.07
CPU system time (s): 19.9812
CPU usage (%): 99.6498
Max. virtual memory (cumulated for all children) (KiB): 900888
Max. memory (cumulated for all children) (KiB): 721052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.07
system time used= 19.9812
maximum resident set size= 721052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252468
page faults= 1
swaps= 0
block input operations= 4224
block output operations= 7073968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 958
involuntary context switches= 4837


# summary of solver processes directly reported to runsolver:
#   pid: 325238
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3580.07
#   total CPU system time (s): 19.9812

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.19685 second user time and 16.3054 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2024-07-27 10:20:53
IDJOB=4460269
IDBENCH=148194
IDSOLVER=3086
FILE ID=nodeC025/4460269-1722068453
RUNJOBID= nodeC025-1722064836-323091
SLURM_JOB_ID= 8248094
Free space on /tmp= 890060 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460269-1722068453/watcher-4460269-1722068453 -o /tmp/evaluation-result-4460269-1722068453/solver-4460269-1722068453 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722064836-323091 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460269-1722068453 --lp-cut-gomory=0 HOME/instance-4460269-1722068453.opb

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

MD5SUM BENCH= 529ae296d86301d65a8fd4e36abb4ed9
RANDOM SEED=1859590444

nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3615.698
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 2839.027
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.49
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		: 3651.929
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 2338.894
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.49
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		: 3691.651
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3518.169
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.49
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		: 3677.360
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3583.881
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        121169128 kB
MemAvailable:   129185180 kB
Buffers:          377464 kB
Cached:          8448736 kB
SwapCached:          236 kB
Active:          2611812 kB
Inactive:        7101696 kB
Active(anon):       4372 kB
Inactive(anon):   935492 kB
Active(file):    2607440 kB
Inactive(file):  6166204 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131057124 kB
Dirty:             20396 kB
Writeback:             0 kB
AnonPages:        885060 kB
Mapped:           114572 kB
Shmem:             52872 kB
KReclaimable:     164460 kB
Slab:             288524 kB
SReclaimable:     164460 kB
SUnreclaim:       124064 kB
KernelStack:        3968 kB
PageTables:        10848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1404500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17376 kB
HardwareCorrupted:     0 kB
AnonHugePages:    741376 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      379604 kB
DirectMap2M:    40288256 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 890008 MiB
End job on nodeC025 at 2024-07-27 11:21:06