Trace number 4429512

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 nolog (1)SAT (TO)21 3600.04 3610.31

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb
MD5SUM9def910af6a1ee27abcf25feff61a445
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 benchmark20
Best CPU time to get the best result obtained on this benchmark71.6563
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6027
Total number of constraints21278
Number of constraints which are clauses21267
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint1
Maximum length of a constraint650
Number of terms in the objective function 650
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 650
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 681
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.00/0.06	c #variables 6027 #constraints 21278
5.57/5.63	c bounds 651 >= 5 @ 0.044215
5.57/5.63	c bounds 26 >= 5 @ 0.174311
5.57/5.63	c bounds 26 >= 6 @ 0.177746
5.57/5.63	c bounds 26 >= 7 @ 0.178326
5.57/5.63	c bounds 26 >= 8 @ 0.178959
5.57/5.63	c bounds 25 >= 8 @ 0.181475
5.57/5.63	c bounds 25 >= 9 @ 0.182434
5.57/5.63	c bounds 25 >= 10 @ 0.183204
5.57/5.63	c bounds 25 >= 11 @ 0.184085
5.57/5.63	c bounds 25 >= 12 @ 0.196879
5.57/5.63	c bounds 24 >= 12 @ 0.19794
5.57/5.63	c bounds 23 >= 12 @ 0.198941
5.57/5.63	c bounds 22 >= 12 @ 0.199831
5.57/5.63	c bounds 21 >= 12 @ 0.219031
5.57/5.63	c bounds 21 >= 13 @ 0.484505
5.57/5.63	c #Conflicts:       1000 | #Constraints:      22332
5.57/5.63	c #Conflicts:       2000 | #Constraints:      23332
5.57/5.63	c INPROCESSING
5.57/5.63	c GARBAGE COLLECT
5.57/5.63	c bounds 21 >= 14 @ 1.34282
5.57/5.63	c #Conflicts:       3000 | #Constraints:      23328
5.57/5.63	c bounds 21 >= 15 @ 3.2038
5.57/5.63	c #Conflicts:       4000 | #Constraints:      24346
5.57/5.63	c INPROCESSING
5.57/5.63	c GARBAGE COLLECT
5.57/5.63	c #Conflicts:       5000 | #Constraints:      23750
5.57/5.63	c #Conflicts:       6000 | #Constraints:      24750
5.57/5.63	c INPROCESSING
5.57/5.63	c GARBAGE COLLECT
5.57/5.63	c rational objective 15
11.06/11.15	c #Conflicts:       7000 | #Constraints:      23758
11.06/11.15	c #Conflicts:       8000 | #Constraints:      24758
11.06/11.15	c #Conflicts:       9000 | #Constraints:      25758
11.06/11.15	c bounds 21 >= 16 @ 10.1155
11.06/11.15	c INPROCESSING
11.06/11.15	c GARBAGE COLLECT
11.06/11.15	c rational objective 16
14.15/14.28	c #Conflicts:      10000 | #Constraints:      24490
14.15/14.28	c #Conflicts:      11000 | #Constraints:      25491
14.15/14.28	c #Conflicts:      12000 | #Constraints:      26494
14.15/14.28	c INPROCESSING
14.15/14.28	c GARBAGE COLLECT
14.15/14.28	c rational objective 16
23.62/23.70	c #Conflicts:      13000 | #Constraints:      24937
23.62/23.70	c #Conflicts:      14000 | #Constraints:      25937
23.62/23.70	c #Conflicts:      15000 | #Constraints:      26937
23.62/23.70	c INPROCESSING
23.62/23.70	c GARBAGE COLLECT
23.62/23.70	c #Conflicts:      16000 | #Constraints:      25178
23.62/23.70	c #Conflicts:      17000 | #Constraints:      26178
23.62/23.70	c #Conflicts:      18000 | #Constraints:      27178
23.62/23.70	c INPROCESSING
23.62/23.70	c GARBAGE COLLECT
23.62/23.70	c rational objective 16
27.71/27.84	c #Conflicts:      19000 | #Constraints:      25216
27.71/27.84	c #Conflicts:      20000 | #Constraints:      26217
27.71/27.84	c #Conflicts:      21000 | #Constraints:      27217
27.71/27.84	c INPROCESSING
27.71/27.84	c GARBAGE COLLECT
27.71/27.84	c rational objective 16
31.70/31.89	c #Conflicts:      22000 | #Constraints:      25009
31.70/31.89	c #Conflicts:      23000 | #Constraints:      26010
31.70/31.89	c #Conflicts:      24000 | #Constraints:      27010
31.70/31.89	c #Conflicts:      25000 | #Constraints:      28010
31.70/31.89	c INPROCESSING
31.70/31.89	c GARBAGE COLLECT
31.70/31.89	c rational objective 16
40.57/40.78	c #Conflicts:      26000 | #Constraints:      25612
40.57/40.78	c #Conflicts:      27000 | #Constraints:      26612
40.57/40.78	c #Conflicts:      28000 | #Constraints:      27612
40.57/40.78	c #Conflicts:      29000 | #Constraints:      28612
40.57/40.78	c INPROCESSING
40.57/40.78	c GARBAGE COLLECT
40.57/40.78	c rational objective 16
56.62/56.84	c #Conflicts:      30000 | #Constraints:      26080
56.62/56.84	c #Conflicts:      31000 | #Constraints:      27083
56.62/56.84	c #Conflicts:      32000 | #Constraints:      28085
56.62/56.84	c #Conflicts:      33000 | #Constraints:      29088
56.62/56.84	c INPROCESSING
56.62/56.84	c GARBAGE COLLECT
56.62/56.84	c #Conflicts:      34000 | #Constraints:      26238
56.62/56.84	c #Conflicts:      35000 | #Constraints:      27238
56.62/56.84	c #Conflicts:      36000 | #Constraints:      28238
56.62/56.84	c #Conflicts:      37000 | #Constraints:      29238
56.62/56.84	c INPROCESSING
56.62/56.84	c GARBAGE COLLECT
56.62/56.84	c rational objective 16
69.79/70.01	c #Conflicts:      38000 | #Constraints:      26262
69.79/70.01	c #Conflicts:      39000 | #Constraints:      27262
69.79/70.01	c #Conflicts:      40000 | #Constraints:      28262
69.79/70.01	c bounds 21 >= 17 @ 66.1756
69.79/70.01	c #Conflicts:      41000 | #Constraints:      29289
69.79/70.01	c INPROCESSING
69.79/70.01	c GARBAGE COLLECT
69.79/70.01	c rational objective 17
77.17/77.42	c #Conflicts:      42000 | #Constraints:      26096
77.17/77.42	c #Conflicts:      43000 | #Constraints:      27096
77.17/77.42	c #Conflicts:      44000 | #Constraints:      28096
77.17/77.42	c #Conflicts:      45000 | #Constraints:      29096
77.17/77.42	c #Conflicts:      46000 | #Constraints:      30096
77.17/77.42	c INPROCESSING
77.17/77.42	c GARBAGE COLLECT
77.17/77.42	c rational objective 17
89.83/90.12	c #Conflicts:      47000 | #Constraints:      26688
89.83/90.12	c #Conflicts:      48000 | #Constraints:      27688
89.83/90.12	c #Conflicts:      49000 | #Constraints:      28688
89.83/90.12	c #Conflicts:      50000 | #Constraints:      29688
89.83/90.12	c #Conflicts:      51000 | #Constraints:      30688
89.83/90.12	c INPROCESSING
89.83/90.12	c GARBAGE COLLECT
89.83/90.12	c rational objective 17
98.71/99.05	c #Conflicts:      52000 | #Constraints:      27147
98.71/99.05	c #Conflicts:      53000 | #Constraints:      28147
98.71/99.05	c #Conflicts:      54000 | #Constraints:      29148
98.71/99.05	c #Conflicts:      55000 | #Constraints:      30148
98.71/99.05	c #Conflicts:      56000 | #Constraints:      31150
98.71/99.05	c INPROCESSING
98.71/99.05	c GARBAGE COLLECT
98.71/99.05	c rational objective 17
107.58/107.97	c #Conflicts:      57000 | #Constraints:      27334
107.58/107.97	c #Conflicts:      58000 | #Constraints:      28334
107.58/107.97	c #Conflicts:      59000 | #Constraints:      29334
107.58/107.97	c #Conflicts:      60000 | #Constraints:      30334
107.58/107.97	c #Conflicts:      61000 | #Constraints:      31334
107.58/107.97	c INPROCESSING
107.58/107.97	c GARBAGE COLLECT
107.58/107.97	c rational objective 17
123.93/124.37	c #Conflicts:      62000 | #Constraints:      27329
123.93/124.37	c #Conflicts:      63000 | #Constraints:      28329
123.93/124.37	c #Conflicts:      64000 | #Constraints:      29329
123.93/124.37	c #Conflicts:      65000 | #Constraints:      30329
123.93/124.37	c #Conflicts:      66000 | #Constraints:      31329
123.93/124.37	c INPROCESSING
123.93/124.37	c GARBAGE COLLECT
123.93/124.37	c rational objective 17
130.80/131.27	c #Conflicts:      67000 | #Constraints:      27188
130.80/131.27	c #Conflicts:      68000 | #Constraints:      28188
130.80/131.27	c #Conflicts:      69000 | #Constraints:      29188
130.80/131.27	c #Conflicts:      70000 | #Constraints:      30188
130.80/131.27	c #Conflicts:      71000 | #Constraints:      31188
130.80/131.27	c #Conflicts:      72000 | #Constraints:      32188
130.80/131.27	c INPROCESSING
130.80/131.27	c GARBAGE COLLECT
130.80/131.27	c rational objective 17
138.69/139.13	c #Conflicts:      73000 | #Constraints:      27732
138.69/139.13	c #Conflicts:      74000 | #Constraints:      28732
138.69/139.13	c #Conflicts:      75000 | #Constraints:      29732
138.69/139.13	c #Conflicts:      76000 | #Constraints:      30732
138.69/139.13	c #Conflicts:      77000 | #Constraints:      31732
138.69/139.13	c #Conflicts:      78000 | #Constraints:      32732
138.69/139.13	c INPROCESSING
138.69/139.13	c GARBAGE COLLECT
138.69/139.13	c rational objective 17
161.22/161.79	c #Conflicts:      79000 | #Constraints:      28111
161.22/161.79	c #Conflicts:      80000 | #Constraints:      29111
161.22/161.79	c #Conflicts:      81000 | #Constraints:      30111
161.22/161.79	c #Conflicts:      82000 | #Constraints:      31111
161.22/161.79	c #Conflicts:      83000 | #Constraints:      32111
161.22/161.79	c #Conflicts:      84000 | #Constraints:      33111
161.22/161.79	c INPROCESSING
161.22/161.79	c GARBAGE COLLECT
161.22/161.79	c rational objective 17
175.58/176.15	c #Conflicts:      85000 | #Constraints:      28395
175.58/176.15	c #Conflicts:      86000 | #Constraints:      29395
175.58/176.15	c #Conflicts:      87000 | #Constraints:      30395
175.58/176.15	c #Conflicts:      88000 | #Constraints:      31395
175.58/176.15	c #Conflicts:      89000 | #Constraints:      32395
175.58/176.15	c #Conflicts:      90000 | #Constraints:      33395
175.58/176.15	c INPROCESSING
175.58/176.15	c GARBAGE COLLECT
175.58/176.15	c rational objective 17
200.51/201.14	c #Conflicts:      91000 | #Constraints:      28396
200.51/201.14	c #Conflicts:      92000 | #Constraints:      29396
200.51/201.14	c #Conflicts:      93000 | #Constraints:      30396
200.51/201.14	c #Conflicts:      94000 | #Constraints:      31396
200.51/201.14	c #Conflicts:      95000 | #Constraints:      32396
200.51/201.14	c #Conflicts:      96000 | #Constraints:      33396
200.51/201.14	c INPROCESSING
200.51/201.14	c GARBAGE COLLECT
200.51/201.14	c rational objective 17
209.17/209.81	c #Conflicts:      97000 | #Constraints:      28220
209.17/209.81	c #Conflicts:      98000 | #Constraints:      29220
209.17/209.81	c #Conflicts:      99000 | #Constraints:      30220
209.17/209.81	c #Conflicts:     100000 | #Constraints:      31221
209.17/209.81	c #Conflicts:     101000 | #Constraints:      32221
209.17/209.81	c #Conflicts:     102000 | #Constraints:      33221
209.17/209.81	c #Conflicts:     103000 | #Constraints:      34221
209.17/209.81	c INPROCESSING
209.17/209.81	c GARBAGE COLLECT
209.17/209.81	c rational objective 17
239.39/240.19	c #Conflicts:     104000 | #Constraints:      28728
239.39/240.19	c #Conflicts:     105000 | #Constraints:      29728
239.39/240.19	c #Conflicts:     106000 | #Constraints:      30728
239.39/240.19	c #Conflicts:     107000 | #Constraints:      31728
239.39/240.19	c #Conflicts:     108000 | #Constraints:      32728
239.39/240.19	c #Conflicts:     109000 | #Constraints:      33728
239.39/240.19	c #Conflicts:     110000 | #Constraints:      34728
239.39/240.19	c INPROCESSING
239.39/240.19	c GARBAGE COLLECT
239.39/240.19	c rational objective 17
255.34/256.18	c #Conflicts:     111000 | #Constraints:      29188
255.34/256.18	c #Conflicts:     112000 | #Constraints:      30190
255.34/256.18	c #Conflicts:     113000 | #Constraints:      31190
255.34/256.18	c #Conflicts:     114000 | #Constraints:      32190
255.34/256.18	c #Conflicts:     115000 | #Constraints:      33190
255.34/256.18	c #Conflicts:     116000 | #Constraints:      34190
255.34/256.18	c #Conflicts:     117000 | #Constraints:      35190
255.34/256.18	c INPROCESSING
255.34/256.18	c GARBAGE COLLECT
255.34/256.18	c rational objective 17
269.20/270.07	c #Conflicts:     118000 | #Constraints:      29414
269.20/270.07	c #Conflicts:     119000 | #Constraints:      30414
269.20/270.07	c #Conflicts:     120000 | #Constraints:      31414
269.20/270.07	c #Conflicts:     121000 | #Constraints:      32414
269.20/270.07	c #Conflicts:     122000 | #Constraints:      33414
269.20/270.07	c #Conflicts:     123000 | #Constraints:      34414
269.20/270.07	c #Conflicts:     124000 | #Constraints:      35414
269.20/270.07	c INPROCESSING
269.20/270.07	c GARBAGE COLLECT
269.20/270.07	c rational objective 17
301.69/302.65	c #Conflicts:     125000 | #Constraints:      29415
301.69/302.65	c #Conflicts:     126000 | #Constraints:      30415
301.69/302.65	c #Conflicts:     127000 | #Constraints:      31415
301.69/302.65	c #Conflicts:     128000 | #Constraints:      32415
301.69/302.65	c #Conflicts:     129000 | #Constraints:      33415
301.69/302.65	c #Conflicts:     130000 | #Constraints:      34415
301.69/302.65	c #Conflicts:     131000 | #Constraints:      35415
301.69/302.65	c INPROCESSING
301.69/302.65	c GARBAGE COLLECT
301.69/302.65	c rational objective 17
317.45/318.47	c #Conflicts:     132000 | #Constraints:      29291
317.45/318.47	c #Conflicts:     133000 | #Constraints:      30291
317.45/318.47	c #Conflicts:     134000 | #Constraints:      31291
317.45/318.47	c #Conflicts:     135000 | #Constraints:      32291
317.45/318.47	c #Conflicts:     136000 | #Constraints:      33294
317.45/318.47	c #Conflicts:     137000 | #Constraints:      34294
317.45/318.47	c #Conflicts:     138000 | #Constraints:      35296
317.45/318.47	c #Conflicts:     139000 | #Constraints:      36296
317.45/318.47	c INPROCESSING
317.45/318.47	c GARBAGE COLLECT
317.45/318.47	c rational objective 17
331.71/332.77	c #Conflicts:     140000 | #Constraints:      29834
331.71/332.77	c #Conflicts:     141000 | #Constraints:      30834
331.71/332.77	c #Conflicts:     142000 | #Constraints:      31834
331.71/332.77	c #Conflicts:     143000 | #Constraints:      32834
331.71/332.77	c #Conflicts:     144000 | #Constraints:      33835
331.71/332.77	c #Conflicts:     145000 | #Constraints:      34835
331.71/332.77	c #Conflicts:     146000 | #Constraints:      35836
331.71/332.77	c #Conflicts:     147000 | #Constraints:      36836
331.71/332.77	c INPROCESSING
331.71/332.77	c GARBAGE COLLECT
331.71/332.77	c rational objective 17
373.68/374.83	c #Conflicts:     148000 | #Constraints:      30205
373.68/374.83	c #Conflicts:     149000 | #Constraints:      31205
373.68/374.83	c #Conflicts:     150000 | #Constraints:      32205
373.68/374.83	c #Conflicts:     151000 | #Constraints:      33205
373.68/374.83	c #Conflicts:     152000 | #Constraints:      34205
373.68/374.83	c #Conflicts:     153000 | #Constraints:      35205
373.68/374.83	c #Conflicts:     154000 | #Constraints:      36205
373.68/374.83	c #Conflicts:     155000 | #Constraints:      37205
373.68/374.83	c INPROCESSING
373.68/374.83	c GARBAGE COLLECT
373.68/374.83	c rational objective 17
392.83/394.10	c #Conflicts:     156000 | #Constraints:      30492
392.83/394.10	c #Conflicts:     157000 | #Constraints:      31492
392.83/394.10	c #Conflicts:     158000 | #Constraints:      32492
392.83/394.10	c #Conflicts:     159000 | #Constraints:      33492
392.83/394.10	c #Conflicts:     160000 | #Constraints:      34492
392.83/394.10	c #Conflicts:     161000 | #Constraints:      35492
392.83/394.10	c #Conflicts:     162000 | #Constraints:      36492
392.83/394.10	c #Conflicts:     163000 | #Constraints:      37492
392.83/394.10	c INPROCESSING
392.83/394.10	c GARBAGE COLLECT
392.83/394.10	c rational objective 17
439.18/440.58	c #Conflicts:     164000 | #Constraints:      30459
439.18/440.58	c #Conflicts:     165000 | #Constraints:      31459
439.18/440.58	c #Conflicts:     166000 | #Constraints:      32459
439.18/440.58	c #Conflicts:     167000 | #Constraints:      33459
439.18/440.58	c #Conflicts:     168000 | #Constraints:      34459
439.18/440.58	c #Conflicts:     169000 | #Constraints:      35459
439.18/440.58	c #Conflicts:     170000 | #Constraints:      36459
439.18/440.58	c #Conflicts:     171000 | #Constraints:      37459
439.18/440.58	c INPROCESSING
439.18/440.58	c GARBAGE COLLECT
439.18/440.58	c rational objective 17
464.71/466.15	c #Conflicts:     172000 | #Constraints:      30320
464.71/466.15	c #Conflicts:     173000 | #Constraints:      31320
464.71/466.15	c #Conflicts:     174000 | #Constraints:      32321
464.71/466.15	c #Conflicts:     175000 | #Constraints:      33321
464.71/466.15	c #Conflicts:     176000 | #Constraints:      34321
464.71/466.15	c #Conflicts:     177000 | #Constraints:      35321
464.71/466.15	c #Conflicts:     178000 | #Constraints:      36321
464.71/466.15	c #Conflicts:     179000 | #Constraints:      37321
464.71/466.15	c #Conflicts:     180000 | #Constraints:      38321
464.71/466.15	c INPROCESSING
464.71/466.15	c GARBAGE COLLECT
464.71/466.15	c rational objective 17
509.17/510.72	c #Conflicts:     181000 | #Constraints:      30840
509.17/510.72	c #Conflicts:     182000 | #Constraints:      31840
509.17/510.72	c #Conflicts:     183000 | #Constraints:      32840
509.17/510.72	c #Conflicts:     184000 | #Constraints:      33840
509.17/510.72	c #Conflicts:     185000 | #Constraints:      34840
509.17/510.72	c #Conflicts:     186000 | #Constraints:      35840
509.17/510.72	c #Conflicts:     187000 | #Constraints:      36840
509.17/510.72	c #Conflicts:     188000 | #Constraints:      37840
509.17/510.72	c #Conflicts:     189000 | #Constraints:      38840
509.17/510.72	c INPROCESSING
509.17/510.72	c GARBAGE COLLECT
509.17/510.72	c rational objective 17
658.12/660.11	c #Conflicts:     190000 | #Constraints:      31337
658.12/660.11	c #Conflicts:     191000 | #Constraints:      32337
658.12/660.11	c #Conflicts:     192000 | #Constraints:      33337
658.12/660.11	c #Conflicts:     193000 | #Constraints:      34337
658.12/660.11	c #Conflicts:     194000 | #Constraints:      35337
658.12/660.11	c #Conflicts:     195000 | #Constraints:      36337
658.12/660.11	c #Conflicts:     196000 | #Constraints:      37338
658.12/660.11	c #Conflicts:     197000 | #Constraints:      38338
658.12/660.11	c #Conflicts:     198000 | #Constraints:      39340
658.12/660.11	c #Conflicts:     199000 | #Constraints:      40340
658.12/660.11	c #Conflicts:     200000 | #Constraints:      41340
658.12/660.11	c #Conflicts:     201000 | #Constraints:      42340
658.12/660.11	c #Conflicts:     202000 | #Constraints:      43340
658.12/660.11	c #Conflicts:     203000 | #Constraints:      44340
658.12/660.11	c #Conflicts:     204000 | #Constraints:      45340
658.12/660.11	c #Conflicts:     205000 | #Constraints:      46340
658.12/660.11	c #Conflicts:     206000 | #Constraints:      47340
658.12/660.11	c #Conflicts:     207000 | #Constraints:      48340
658.12/660.11	c #Conflicts:     208000 | #Constraints:      49340
658.12/660.11	c #Conflicts:     209000 | #Constraints:      50340
658.12/660.11	c #Conflicts:     210000 | #Constraints:      51340
658.12/660.11	c #Conflicts:     211000 | #Constraints:      52340
658.12/660.11	c #Conflicts:     212000 | #Constraints:      53340
658.12/660.11	c #Conflicts:     213000 | #Constraints:      54341
658.12/660.11	c #Conflicts:     214000 | #Constraints:      55341
658.12/660.11	c #Conflicts:     215000 | #Constraints:      56341
658.12/660.11	c #Conflicts:     216000 | #Constraints:      57341
658.12/660.11	c #Conflicts:     217000 | #Constraints:      58341
658.12/660.11	c #Conflicts:     218000 | #Constraints:      59341
658.12/660.11	c #Conflicts:     219000 | #Constraints:      60341
658.12/660.11	c #Conflicts:     220000 | #Constraints:      61341
658.12/660.11	c #Conflicts:     221000 | #Constraints:      62341
658.12/660.11	c #Conflicts:     222000 | #Constraints:      63341
658.12/660.11	c #Conflicts:     223000 | #Constraints:      64342
658.12/660.11	c #Conflicts:     224000 | #Constraints:      65342
658.12/660.11	c #Conflicts:     225000 | #Constraints:      66342
658.12/660.11	c #Conflicts:     226000 | #Constraints:      67342
658.12/660.11	c #Conflicts:     227000 | #Constraints:      68342
658.12/660.11	c #Conflicts:     228000 | #Constraints:      69342
658.12/660.11	c #Conflicts:     229000 | #Constraints:      70342
658.12/660.11	c #Conflicts:     230000 | #Constraints:      71343
658.12/660.11	c INPROCESSING
658.12/660.11	c GARBAGE COLLECT
658.12/660.11	c rational objective 17
757.61/759.97	c #Conflicts:     231000 | #Constraints:      47329
757.61/759.97	c #Conflicts:     232000 | #Constraints:      48329
757.61/759.97	c #Conflicts:     233000 | #Constraints:      49329
757.61/759.97	c #Conflicts:     234000 | #Constraints:      50329
757.61/759.97	c #Conflicts:     235000 | #Constraints:      51329
757.61/759.97	c #Conflicts:     236000 | #Constraints:      52329
757.61/759.97	c #Conflicts:     237000 | #Constraints:      53329
757.61/759.97	c #Conflicts:     238000 | #Constraints:      54329
757.61/759.97	c #Conflicts:     239000 | #Constraints:      55329
757.61/759.97	c #Conflicts:     240000 | #Constraints:      56329
757.61/759.97	c INPROCESSING
757.61/759.97	c GARBAGE COLLECT
757.61/759.97	c rational objective 17
844.46/847.10	c #Conflicts:     241000 | #Constraints:      39886
844.46/847.10	c #Conflicts:     242000 | #Constraints:      40886
844.46/847.10	c #Conflicts:     243000 | #Constraints:      41886
844.46/847.10	c #Conflicts:     244000 | #Constraints:      42886
844.46/847.10	c #Conflicts:     245000 | #Constraints:      43886
844.46/847.10	c #Conflicts:     246000 | #Constraints:      44886
844.46/847.10	c #Conflicts:     247000 | #Constraints:      45886
844.46/847.10	c #Conflicts:     248000 | #Constraints:      46886
844.46/847.10	c #Conflicts:     249000 | #Constraints:      47886
844.46/847.10	c #Conflicts:     250000 | #Constraints:      48886
844.46/847.10	c INPROCESSING
844.46/847.10	c GARBAGE COLLECT
844.46/847.10	c rational objective 17
918.33/921.11	c #Conflicts:     251000 | #Constraints:      36017
918.33/921.11	c #Conflicts:     252000 | #Constraints:      37017
918.33/921.11	c #Conflicts:     253000 | #Constraints:      38017
918.33/921.11	c #Conflicts:     254000 | #Constraints:      39017
918.33/921.11	c #Conflicts:     255000 | #Constraints:      40017
918.33/921.11	c #Conflicts:     256000 | #Constraints:      41017
918.33/921.11	c #Conflicts:     257000 | #Constraints:      42017
918.33/921.11	c #Conflicts:     258000 | #Constraints:      43017
918.33/921.11	c #Conflicts:     259000 | #Constraints:      44017
918.33/921.11	c #Conflicts:     260000 | #Constraints:      45017
918.33/921.11	c #Conflicts:     261000 | #Constraints:      46017
918.33/921.11	c INPROCESSING
918.33/921.11	c GARBAGE COLLECT
918.33/921.11	c rational objective 17
951.42/954.37	c #Conflicts:     262000 | #Constraints:      34879
951.42/954.37	c bounds 21 >= 18 @ 916.916
951.42/954.37	c #Conflicts:     263000 | #Constraints:      35900
951.42/954.37	c #Conflicts:     264000 | #Constraints:      36900
951.42/954.37	c #Conflicts:     265000 | #Constraints:      37900
951.42/954.37	c #Conflicts:     266000 | #Constraints:      38900
951.42/954.37	c #Conflicts:     267000 | #Constraints:      39901
951.42/954.37	c #Conflicts:     268000 | #Constraints:      40901
951.42/954.37	c #Conflicts:     269000 | #Constraints:      41901
951.42/954.37	c #Conflicts:     270000 | #Constraints:      42901
951.42/954.37	c #Conflicts:     271000 | #Constraints:      43902
951.42/954.37	c #Conflicts:     272000 | #Constraints:      44902
951.42/954.37	c INPROCESSING
951.42/954.37	c GARBAGE COLLECT
951.42/954.37	c rational objective 18
1030.77/1033.92	c #Conflicts:     273000 | #Constraints:      34289
1030.77/1033.92	c #Conflicts:     274000 | #Constraints:      35289
1030.77/1033.92	c #Conflicts:     275000 | #Constraints:      36289
1030.77/1033.92	c #Conflicts:     276000 | #Constraints:      37289
1030.77/1033.92	c #Conflicts:     277000 | #Constraints:      38289
1030.77/1033.92	c #Conflicts:     278000 | #Constraints:      39289
1030.77/1033.92	c #Conflicts:     279000 | #Constraints:      40289
1030.77/1033.92	c #Conflicts:     280000 | #Constraints:      41289
1030.77/1033.92	c #Conflicts:     281000 | #Constraints:      42289
1030.77/1033.92	c #Conflicts:     282000 | #Constraints:      43289
1030.77/1033.92	c INPROCESSING
1030.77/1033.92	c GARBAGE COLLECT
1030.77/1033.92	c rational objective 18
1403.41/1407.70	c #Conflicts:     283000 | #Constraints:      33210
1403.41/1407.70	c #Conflicts:     284000 | #Constraints:      34210
1403.41/1407.70	c #Conflicts:     285000 | #Constraints:      35210
1403.41/1407.70	c #Conflicts:     286000 | #Constraints:      36210
1403.41/1407.70	c #Conflicts:     287000 | #Constraints:      37210
1403.41/1407.70	c #Conflicts:     288000 | #Constraints:      38210
1403.41/1407.70	c #Conflicts:     289000 | #Constraints:      39210
1403.41/1407.70	c #Conflicts:     290000 | #Constraints:      40210
1403.41/1407.70	c #Conflicts:     291000 | #Constraints:      41210
1403.41/1407.70	c #Conflicts:     292000 | #Constraints:      42210
1403.41/1407.70	c #Conflicts:     293000 | #Constraints:      43210
1403.41/1407.70	c #Conflicts:     294000 | #Constraints:      44210
1403.41/1407.70	c #Conflicts:     295000 | #Constraints:      45210
1403.41/1407.70	c #Conflicts:     296000 | #Constraints:      46210
1403.41/1407.70	c #Conflicts:     297000 | #Constraints:      47210
1403.41/1407.70	c #Conflicts:     298000 | #Constraints:      48210
1403.41/1407.70	c #Conflicts:     299000 | #Constraints:      49210
1403.41/1407.70	c #Conflicts:     300000 | #Constraints:      50210
1403.41/1407.70	c #Conflicts:     301000 | #Constraints:      51210
1403.41/1407.70	c #Conflicts:     302000 | #Constraints:      52210
1403.41/1407.70	c #Conflicts:     303000 | #Constraints:      53210
1403.41/1407.70	c #Conflicts:     304000 | #Constraints:      54210
1403.41/1407.70	c #Conflicts:     305000 | #Constraints:      55210
1403.41/1407.70	c #Conflicts:     306000 | #Constraints:      56210
1403.41/1407.70	c #Conflicts:     307000 | #Constraints:      57210
1403.41/1407.70	c #Conflicts:     308000 | #Constraints:      58210
1403.41/1407.70	c #Conflicts:     309000 | #Constraints:      59210
1403.41/1407.70	c #Conflicts:     310000 | #Constraints:      60210
1403.41/1407.70	c #Conflicts:     311000 | #Constraints:      61210
1403.41/1407.70	c #Conflicts:     312000 | #Constraints:      62210
1403.41/1407.70	c #Conflicts:     313000 | #Constraints:      63210
1403.41/1407.70	c #Conflicts:     314000 | #Constraints:      64210
1403.41/1407.70	c #Conflicts:     315000 | #Constraints:      65210
1403.41/1407.70	c #Conflicts:     316000 | #Constraints:      66210
1403.41/1407.70	c #Conflicts:     317000 | #Constraints:      67210
1403.41/1407.70	c #Conflicts:     318000 | #Constraints:      68210
1403.41/1407.70	c #Conflicts:     319000 | #Constraints:      69210
1403.41/1407.70	c #Conflicts:     320000 | #Constraints:      70210
1403.41/1407.70	c #Conflicts:     321000 | #Constraints:      71210
1403.41/1407.70	c #Conflicts:     322000 | #Constraints:      72210
1403.41/1407.70	c #Conflicts:     323000 | #Constraints:      73210
1403.41/1407.70	c #Conflicts:     324000 | #Constraints:      74210
1403.41/1407.70	c #Conflicts:     325000 | #Constraints:      75210
1403.41/1407.70	c #Conflicts:     326000 | #Constraints:      76210
1403.41/1407.70	c #Conflicts:     327000 | #Constraints:      77210
1403.41/1407.70	c #Conflicts:     328000 | #Constraints:      78210
1403.41/1407.70	c #Conflicts:     329000 | #Constraints:      79210
1403.41/1407.70	c #Conflicts:     330000 | #Constraints:      80210
1403.41/1407.70	c #Conflicts:     331000 | #Constraints:      81210
1403.41/1407.70	c INPROCESSING
1403.41/1407.70	c GARBAGE COLLECT
1403.41/1407.70	c rational objective 18
1546.86/1551.61	c #Conflicts:     332000 | #Constraints:      52142
1546.86/1551.61	c #Conflicts:     333000 | #Constraints:      53142
1546.86/1551.61	c #Conflicts:     334000 | #Constraints:      54142
1546.86/1551.61	c #Conflicts:     335000 | #Constraints:      55142
1546.86/1551.61	c #Conflicts:     336000 | #Constraints:      56142
1546.86/1551.61	c #Conflicts:     337000 | #Constraints:      57142
1546.86/1551.61	c #Conflicts:     338000 | #Constraints:      58142
1546.86/1551.61	c #Conflicts:     339000 | #Constraints:      59142
1546.86/1551.61	c #Conflicts:     340000 | #Constraints:      60142
1546.86/1551.61	c #Conflicts:     341000 | #Constraints:      61142
1546.86/1551.61	c #Conflicts:     342000 | #Constraints:      62142
1546.86/1551.61	c #Conflicts:     343000 | #Constraints:      63142
1546.86/1551.61	c #Conflicts:     344000 | #Constraints:      64142
1546.86/1551.61	c INPROCESSING
1546.86/1551.61	c GARBAGE COLLECT
1546.86/1551.61	c rational objective 18
1652.45/1657.54	c #Conflicts:     345000 | #Constraints:      44009
1652.45/1657.54	c #Conflicts:     346000 | #Constraints:      45009
1652.45/1657.54	c #Conflicts:     347000 | #Constraints:      46009
1652.45/1657.54	c #Conflicts:     348000 | #Constraints:      47009
1652.45/1657.54	c #Conflicts:     349000 | #Constraints:      48009
1652.45/1657.54	c #Conflicts:     350000 | #Constraints:      49009
1652.45/1657.54	c #Conflicts:     351000 | #Constraints:      50009
1652.45/1657.54	c #Conflicts:     352000 | #Constraints:      51009
1652.45/1657.54	c #Conflicts:     353000 | #Constraints:      52009
1652.45/1657.54	c #Conflicts:     354000 | #Constraints:      53009
1652.45/1657.54	c #Conflicts:     355000 | #Constraints:      54009
1652.45/1657.54	c #Conflicts:     356000 | #Constraints:      55009
1652.45/1657.54	c INPROCESSING
1652.45/1657.54	c GARBAGE COLLECT
1652.45/1657.54	c rational objective 18
1754.53/1759.94	c #Conflicts:     357000 | #Constraints:      39329
1754.53/1759.94	c #Conflicts:     358000 | #Constraints:      40329
1754.53/1759.94	c #Conflicts:     359000 | #Constraints:      41329
1754.53/1759.94	c #Conflicts:     360000 | #Constraints:      42329
1754.53/1759.94	c #Conflicts:     361000 | #Constraints:      43329
1754.53/1759.94	c #Conflicts:     362000 | #Constraints:      44329
1754.53/1759.94	c #Conflicts:     363000 | #Constraints:      45329
1754.53/1759.94	c #Conflicts:     364000 | #Constraints:      46329
1754.53/1759.94	c #Conflicts:     365000 | #Constraints:      47329
1754.53/1759.94	c #Conflicts:     366000 | #Constraints:      48329
1754.53/1759.94	c #Conflicts:     367000 | #Constraints:      49329
1754.53/1759.94	c #Conflicts:     368000 | #Constraints:      50329
1754.53/1759.94	c #Conflicts:     369000 | #Constraints:      51329
1754.53/1759.94	c INPROCESSING
1754.53/1759.94	c GARBAGE COLLECT
1754.53/1759.94	c rational objective 18
2578.13/2586.04	c #Conflicts:     370000 | #Constraints:      37727
2578.13/2586.04	c #Conflicts:     371000 | #Constraints:      38727
2578.13/2586.04	c #Conflicts:     372000 | #Constraints:      39727
2578.13/2586.04	c #Conflicts:     373000 | #Constraints:      40727
2578.13/2586.04	c #Conflicts:     374000 | #Constraints:      41727
2578.13/2586.04	c #Conflicts:     375000 | #Constraints:      42727
2578.13/2586.04	c #Conflicts:     376000 | #Constraints:      43727
2578.13/2586.04	c #Conflicts:     377000 | #Constraints:      44727
2578.13/2586.04	c #Conflicts:     378000 | #Constraints:      45727
2578.13/2586.04	c #Conflicts:     379000 | #Constraints:      46727
2578.13/2586.04	c #Conflicts:     380000 | #Constraints:      47727
2578.13/2586.04	c #Conflicts:     381000 | #Constraints:      48727
2578.13/2586.04	c #Conflicts:     382000 | #Constraints:      49727
2578.13/2586.04	c #Conflicts:     383000 | #Constraints:      50727
2578.13/2586.04	c #Conflicts:     384000 | #Constraints:      51727
2578.13/2586.04	c #Conflicts:     385000 | #Constraints:      52727
2578.13/2586.04	c #Conflicts:     386000 | #Constraints:      53727
2578.13/2586.04	c #Conflicts:     387000 | #Constraints:      54727
2578.13/2586.04	c #Conflicts:     388000 | #Constraints:      55727
2578.13/2586.04	c #Conflicts:     389000 | #Constraints:      56727
2578.13/2586.04	c #Conflicts:     390000 | #Constraints:      57727
2578.13/2586.04	c #Conflicts:     391000 | #Constraints:      58727
2578.13/2586.04	c #Conflicts:     392000 | #Constraints:      59727
2578.13/2586.04	c #Conflicts:     393000 | #Constraints:      60727
2578.13/2586.04	c #Conflicts:     394000 | #Constraints:      61727
2578.13/2586.04	c #Conflicts:     395000 | #Constraints:      62727
2578.13/2586.04	c #Conflicts:     396000 | #Constraints:      63727
2578.13/2586.04	c #Conflicts:     397000 | #Constraints:      64727
2578.13/2586.04	c #Conflicts:     398000 | #Constraints:      65727
2578.13/2586.04	c #Conflicts:     399000 | #Constraints:      66727
2578.13/2586.04	c #Conflicts:     400000 | #Constraints:      67727
2578.13/2586.04	c #Conflicts:     401000 | #Constraints:      68727
2578.13/2586.04	c #Conflicts:     402000 | #Constraints:      69727
2578.13/2586.04	c #Conflicts:     403000 | #Constraints:      70727
2578.13/2586.04	c #Conflicts:     404000 | #Constraints:      71727
2578.13/2586.04	c #Conflicts:     405000 | #Constraints:      72727
2578.13/2586.04	c #Conflicts:     406000 | #Constraints:      73727
2578.13/2586.04	c #Conflicts:     407000 | #Constraints:      74727
2578.13/2586.04	c #Conflicts:     408000 | #Constraints:      75727
2578.13/2586.04	c #Conflicts:     409000 | #Constraints:      76727
2578.13/2586.04	c #Conflicts:     410000 | #Constraints:      77727
2578.13/2586.04	c #Conflicts:     411000 | #Constraints:      78727
2578.13/2586.04	c #Conflicts:     412000 | #Constraints:      79727
2578.13/2586.04	c #Conflicts:     413000 | #Constraints:      80727
2578.13/2586.04	c #Conflicts:     414000 | #Constraints:      81727
2578.13/2586.04	c #Conflicts:     415000 | #Constraints:      82727
2578.13/2586.04	c #Conflicts:     416000 | #Constraints:      83727
2578.13/2586.04	c #Conflicts:     417000 | #Constraints:      84727
2578.13/2586.04	c #Conflicts:     418000 | #Constraints:      85727
2578.13/2586.04	c #Conflicts:     419000 | #Constraints:      86727
2578.13/2586.04	c #Conflicts:     420000 | #Constraints:      87727
2578.13/2586.04	c #Conflicts:     421000 | #Constraints:      88727
2578.13/2586.04	c #Conflicts:     422000 | #Constraints:      89727
2578.13/2586.04	c #Conflicts:     423000 | #Constraints:      90727
2578.13/2586.04	c INPROCESSING
2578.13/2586.04	c GARBAGE COLLECT
2578.13/2586.04	c rational objective 18
2642.78/2650.81	c #Conflicts:     424000 | #Constraints:      57266
2642.78/2650.81	c #Conflicts:     425000 | #Constraints:      58266
2642.78/2650.81	c #Conflicts:     426000 | #Constraints:      59266
2642.78/2650.81	c #Conflicts:     427000 | #Constraints:      60266
2642.78/2650.81	c #Conflicts:     428000 | #Constraints:      61266
2642.78/2650.81	c #Conflicts:     429000 | #Constraints:      62266
2642.78/2650.81	c #Conflicts:     430000 | #Constraints:      63266
2642.78/2650.81	c #Conflicts:     431000 | #Constraints:      64266
2642.78/2650.81	c #Conflicts:     432000 | #Constraints:      65266
2642.78/2650.81	c #Conflicts:     433000 | #Constraints:      66266
2642.78/2650.81	c #Conflicts:     434000 | #Constraints:      67267
2642.78/2650.81	c #Conflicts:     435000 | #Constraints:      68267
2642.78/2650.81	c #Conflicts:     436000 | #Constraints:      69267
2642.78/2650.81	c #Conflicts:     437000 | #Constraints:      70267
2642.78/2650.81	c INPROCESSING
2642.78/2650.81	c GARBAGE COLLECT
2642.78/2650.81	c rational objective 18
2687.28/2695.43	c #Conflicts:     438000 | #Constraints:      46972
2687.28/2695.43	c #Conflicts:     439000 | #Constraints:      47972
2687.28/2695.43	c #Conflicts:     440000 | #Constraints:      48974
2687.28/2695.43	c #Conflicts:     441000 | #Constraints:      49974
2687.28/2695.43	c #Conflicts:     442000 | #Constraints:      50975
2687.28/2695.43	c #Conflicts:     443000 | #Constraints:      51975
2687.28/2695.43	c #Conflicts:     444000 | #Constraints:      52975
2687.28/2695.43	c #Conflicts:     445000 | #Constraints:      53975
2687.28/2695.43	c #Conflicts:     446000 | #Constraints:      54975
2687.28/2695.43	c #Conflicts:     447000 | #Constraints:      55975
2687.28/2695.43	c #Conflicts:     448000 | #Constraints:      56975
2687.28/2695.43	c #Conflicts:     449000 | #Constraints:      57975
2687.28/2695.43	c #Conflicts:     450000 | #Constraints:      58975
2687.28/2695.43	c #Conflicts:     451000 | #Constraints:      59975
2687.28/2695.43	c INPROCESSING
2687.28/2695.43	c GARBAGE COLLECT
2687.28/2695.43	c rational objective 18
2762.81/2771.16	c #Conflicts:     452000 | #Constraints:      41901
2762.81/2771.16	c #Conflicts:     453000 | #Constraints:      42901
2762.81/2771.16	c #Conflicts:     454000 | #Constraints:      43901
2762.81/2771.16	c #Conflicts:     455000 | #Constraints:      44901
2762.81/2771.16	c #Conflicts:     456000 | #Constraints:      45901
2762.81/2771.16	c #Conflicts:     457000 | #Constraints:      46902
2762.81/2771.16	c #Conflicts:     458000 | #Constraints:      47902
2762.81/2771.16	c #Conflicts:     459000 | #Constraints:      48904
2762.81/2771.16	c #Conflicts:     460000 | #Constraints:      49905
2762.81/2771.16	c #Conflicts:     461000 | #Constraints:      50905
2762.81/2771.16	c #Conflicts:     462000 | #Constraints:      51905
2762.81/2771.16	c #Conflicts:     463000 | #Constraints:      52905
2762.81/2771.16	c #Conflicts:     464000 | #Constraints:      53905
2762.81/2771.16	c #Conflicts:     465000 | #Constraints:      54905
2762.81/2771.16	c INPROCESSING
2762.81/2771.16	c GARBAGE COLLECT
2762.81/2771.16	c rational objective 18
3234.89/3244.39	c #Conflicts:     466000 | #Constraints:      39116
3234.89/3244.39	c #Conflicts:     467000 | #Constraints:      40116
3234.89/3244.39	c #Conflicts:     468000 | #Constraints:      41116
3234.89/3244.39	c #Conflicts:     469000 | #Constraints:      42116
3234.89/3244.39	c #Conflicts:     470000 | #Constraints:      43116
3234.89/3244.39	c #Conflicts:     471000 | #Constraints:      44116
3234.89/3244.39	c #Conflicts:     472000 | #Constraints:      45116
3234.89/3244.39	c #Conflicts:     473000 | #Constraints:      46116
3234.89/3244.39	c #Conflicts:     474000 | #Constraints:      47116
3234.89/3244.39	c #Conflicts:     475000 | #Constraints:      48116
3234.89/3244.39	c #Conflicts:     476000 | #Constraints:      49116
3234.89/3244.39	c #Conflicts:     477000 | #Constraints:      50116
3234.89/3244.39	c #Conflicts:     478000 | #Constraints:      51116
3234.89/3244.39	c #Conflicts:     479000 | #Constraints:      52116
3234.89/3244.39	c #Conflicts:     480000 | #Constraints:      53116
3234.89/3244.39	c #Conflicts:     481000 | #Constraints:      54116
3234.89/3244.39	c #Conflicts:     482000 | #Constraints:      55116
3234.89/3244.39	c #Conflicts:     483000 | #Constraints:      56116
3234.89/3244.39	c #Conflicts:     484000 | #Constraints:      57116
3234.89/3244.39	c #Conflicts:     485000 | #Constraints:      58116
3234.89/3244.39	c #Conflicts:     486000 | #Constraints:      59116
3234.89/3244.39	c #Conflicts:     487000 | #Constraints:      60116
3234.89/3244.39	c #Conflicts:     488000 | #Constraints:      61116
3234.89/3244.39	c #Conflicts:     489000 | #Constraints:      62116
3234.89/3244.39	c #Conflicts:     490000 | #Constraints:      63116
3234.89/3244.39	c #Conflicts:     491000 | #Constraints:      64116
3234.89/3244.39	c #Conflicts:     492000 | #Constraints:      65116
3234.89/3244.39	c #Conflicts:     493000 | #Constraints:      66116
3234.89/3244.39	c #Conflicts:     494000 | #Constraints:      67116
3234.89/3244.39	c #Conflicts:     495000 | #Constraints:      68116
3234.89/3244.39	c #Conflicts:     496000 | #Constraints:      69116
3234.89/3244.39	c #Conflicts:     497000 | #Constraints:      70116
3234.89/3244.39	c #Conflicts:     498000 | #Constraints:      71116
3234.89/3244.39	c #Conflicts:     499000 | #Constraints:      72116
3234.89/3244.39	c #Conflicts:     500000 | #Constraints:      73116
3234.89/3244.39	c #Conflicts:     501000 | #Constraints:      74116
3234.89/3244.39	c #Conflicts:     502000 | #Constraints:      75116
3234.89/3244.39	c #Conflicts:     503000 | #Constraints:      76116
3234.89/3244.39	c #Conflicts:     504000 | #Constraints:      77116
3234.89/3244.39	c #Conflicts:     505000 | #Constraints:      78116
3234.89/3244.39	c #Conflicts:     506000 | #Constraints:      79116
3234.89/3244.39	c #Conflicts:     507000 | #Constraints:      80116
3234.89/3244.39	c #Conflicts:     508000 | #Constraints:      81116
3234.89/3244.39	c #Conflicts:     509000 | #Constraints:      82116
3234.89/3244.39	c #Conflicts:     510000 | #Constraints:      83116
3234.89/3244.39	c #Conflicts:     511000 | #Constraints:      84116
3234.89/3244.39	c #Conflicts:     512000 | #Constraints:      85116
3234.89/3244.39	c #Conflicts:     513000 | #Constraints:      86116
3234.89/3244.39	c #Conflicts:     514000 | #Constraints:      87117
3234.89/3244.39	c #Conflicts:     515000 | #Constraints:      88117
3234.89/3244.39	c #Conflicts:     516000 | #Constraints:      89117
3234.89/3244.39	c #Conflicts:     517000 | #Constraints:      90117
3234.89/3244.39	c #Conflicts:     518000 | #Constraints:      91117
3234.89/3244.39	c #Conflicts:     519000 | #Constraints:      92117
3234.89/3244.39	c #Conflicts:     520000 | #Constraints:      93117
3234.89/3244.39	c #Conflicts:     521000 | #Constraints:      94117
3234.89/3244.39	c #Conflicts:     522000 | #Constraints:      95117
3234.89/3244.39	c #Conflicts:     523000 | #Constraints:      96117
3234.89/3244.39	c #Conflicts:     524000 | #Constraints:      97117
3234.89/3244.39	c #Conflicts:     525000 | #Constraints:      98117
3234.89/3244.39	c INPROCESSING
3234.89/3244.39	c GARBAGE COLLECT
3234.89/3244.39	c rational objective 18
3399.01/3408.89	c #Conflicts:     526000 | #Constraints:      61216
3399.01/3408.89	c #Conflicts:     527000 | #Constraints:      62216
3399.01/3408.89	c #Conflicts:     528000 | #Constraints:      63216
3399.01/3408.89	c #Conflicts:     529000 | #Constraints:      64216
3399.01/3408.89	c #Conflicts:     530000 | #Constraints:      65216
3399.01/3408.89	c #Conflicts:     531000 | #Constraints:      66216
3399.01/3408.89	c #Conflicts:     532000 | #Constraints:      67216
3399.01/3408.89	c #Conflicts:     533000 | #Constraints:      68216
3399.01/3408.89	c #Conflicts:     534000 | #Constraints:      69216
3399.01/3408.89	c #Conflicts:     535000 | #Constraints:      70216
3399.01/3408.89	c #Conflicts:     536000 | #Constraints:      71216
3399.01/3408.89	c #Conflicts:     537000 | #Constraints:      72216
3399.01/3408.89	c #Conflicts:     538000 | #Constraints:      73216
3399.01/3408.89	c #Conflicts:     539000 | #Constraints:      74216
3399.01/3408.89	c #Conflicts:     540000 | #Constraints:      75216
3399.01/3408.89	c INPROCESSING
3399.01/3408.89	c GARBAGE COLLECT
3399.01/3408.89	c rational objective 18
3563.51/3573.79	c #Conflicts:     541000 | #Constraints:      49465
3563.51/3573.79	c #Conflicts:     542000 | #Constraints:      50465
3563.51/3573.79	c #Conflicts:     543000 | #Constraints:      51465
3563.51/3573.79	c #Conflicts:     544000 | #Constraints:      52465
3563.51/3573.79	c #Conflicts:     545000 | #Constraints:      53465
3563.51/3573.79	c #Conflicts:     546000 | #Constraints:      54465
3563.51/3573.79	c #Conflicts:     547000 | #Constraints:      55465
3563.51/3573.79	c #Conflicts:     548000 | #Constraints:      56465
3563.51/3573.79	c #Conflicts:     549000 | #Constraints:      57465
3563.51/3573.79	c #Conflicts:     550000 | #Constraints:      58465
3563.51/3573.79	c #Conflicts:     551000 | #Constraints:      59465
3563.51/3573.79	c #Conflicts:     552000 | #Constraints:      60465
3563.51/3573.79	c #Conflicts:     553000 | #Constraints:      61465
3563.51/3573.79	c #Conflicts:     554000 | #Constraints:      62465
3563.51/3573.79	c #Conflicts:     555000 | #Constraints:      63465
3563.51/3573.79	c #Conflicts:     556000 | #Constraints:      64465
3563.51/3573.79	c INPROCESSING
3563.51/3573.79	c GARBAGE COLLECT
3563.51/3573.79	c rational objective 18
3600.03/3610.30	c
3600.03/3610.30	s SATISFIABLE
3600.03/3610.30	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
3600.03/3610.30	c #Conflicts:     557000 | #Constraints:      44092
3600.03/3610.30	c #Conflicts:     558000 | #Constraints:      45092
3600.03/3610.30	c #Conflicts:     559000 | #Constraints:      46092
3600.03/3610.30	c #Conflicts:     560000 | #Constraints:      47092
3600.03/3610.30	c #Conflicts:     561000 | #Constraints:      48092

Verifier Data 

OK	21

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: 63931 MiB (61823 MiB free)
  memory of node 1: 64510 MiB (63275 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429512-1721049000/watcher-4429512-1721049000 -o /tmp/evaluation-result-4429512-1721049000/solver-4429512-1721049000 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721049012-808656 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429512-1721049000.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=808799, runsolver pid=808796
Current StackSize limit: 8192 KiB


[startup+0.100948 s]*
/proc/loadavg: 1.15 2.54 3.52 5/260 808811
/proc/meminfo: memFree=128063268/131524600 swapFree=131071996/131071996
[pid=808799] ppid=808796 vsize=51336 memory=21304 CPUtime=0.09 cores=1,3
/proc/808799/stat : 808799 (roundingsat) R 808796 808799 808644 0 -1 4194304 4810 0 0 0 7 2 0 0 20 0 1 0 157068276 52568064 5326 134679101440 4194304 7968869 140723657188720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11370496 140723657192382 140723657192546 140723657192546 140723657199561 0
/proc/808799/statm: 12834 5326 1707 922 0 4786 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51336 KiB
Current children cumulated memory: 21304 KiB

[startup+0.205524 s]*
/proc/loadavg: 1.15 2.54 3.52 5/260 808811
/proc/meminfo: memFree=128054892/131524600 swapFree=131071996/131071996
[pid=808799] ppid=808796 vsize=52588 memory=22356 CPUtime=0.2 cores=1,3
/proc/808799/stat : 808799 (roundingsat) R 808796 808799 808644 0 -1 4194304 5078 0 0 0 17 3 0 0 20 0 1 0 157068276 53850112 5589 134679101440 4194304 7968869 140723657188720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11370496 140723657192382 140723657192546 140723657192546 140723657199561 0
/proc/808799/statm: 13147 5589 1707 922 0 5099 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 52588 KiB
Current children cumulated memory: 22356 KiB

[startup+0.305182 s]*
/proc/loadavg: 1.15 2.54 3.52 5/260 808811
/proc/meminfo: memFree=128041168/131524600 swapFree=131071996/131071996
[pid=808799] ppid=808796 vsize=52588 memory=23268 CPUtime=0.3 cores=1,3
/proc/808799/stat : 808799 (roundingsat) R 808796 808799 808644 0 -1 4194304 5263 0 0 0 26 4 0 0 20 0 1 0 157068276 53850112 5817 134679101440 4194304 7968869 140723657188720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11370496 140723657192382 140723657192546 140723657192546 140723657199561 0
/proc/808799/statm: 13147 5817 1739 922 0 5099 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 52588 KiB
Current children cumulated memory: 23268 KiB

[startup+0.700242 s]
/proc/loadavg: 1.15 2.54 3.52 5/260 808811
/proc/meminfo: memFree=127935488/131524600 swapFree=131071996/131071996
[pid=808799] ppid=808796 vsize=58224 memory=29372 CPUtime=0.68 cores=1,3
/proc/808799/stat : 808799 (roundingsat) R 808796 808799 808644 0 -1 4194304 6255 0 0 0 63 5 0 0 20 0 1 0 157068276 59621376 7343 134679101440 4194304 7968869 140723657188720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11370496 140723657192382 140723657192546 140723657192546 140723657199561 0
/proc/808799/statm: 14556 7343 1739 922 0 6508 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 58224 KiB
Current children cumulated memory: 29372 KiB

[startup+1.50022 s]
/proc/loadavg: 1.15 2.54 3.52 5/260 808811
/proc/meminfo: memFree=127901732/131524600 swapFree=131071996/131071996
[pid=808799] ppid=808796 vsize=63004 memory=36748 CPUtime=1.48 cores=1,3
/proc/808799/stat : 808799 (roundingsat) R 808796 808799 808644 0 -1 4194304 8296 0 0 0 140 8 0 0 20 0 1 0 157068276 64516096 9187 134679101440 4194304 7968869 140723657188720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11370496 140723657192382 140723657192546 140723657192546 140723657199561 0
/proc/808799/statm: 15751 9187 1816 922 0 7703 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 63004 KiB
Current children cumulated memory: 36748 KiB

[startup+3.10598 s]
/proc/loadavg: 1.38 2.56 3.52 5/260 808811
/proc/meminfo: memFree=127537420/131524600 swapFree=131071996/131071996
[pid=808799] ppid=808796 vsize=63544 memory=37540 CPUtime=3.08 cores=1,3
/proc/808799/stat : 808799 (roundingsat) R 808796 808799 808644 0 -1 4194304 8438 0 0 0 297 11 0 0 20 0 1 0 157068276 65069056 9385 134679101440 4194304 7968869 140723657188720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11370496 140723657192382 140723657192546 140723657192546 140723657199561 0
/proc/808799/statm: 15886 9385 1816 922 0 7838 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 63544 KiB
Current children cumulated memory: 37540 KiB

[startup+6.30017 s]
/proc/loadavg: 1.38 2.56 3.52 5/260 808811
/proc/meminfo: memFree=127330840/131524600 swapFree=131071996/131071996
[pid=808799] ppid=808796 vsize=84724 memory=54872 CPUtime=6.27 cores=1,3
/proc/808799/stat : 808799 (roundingsat) R 808796 808799 808644 0 -1 4194304 11262 0 0 0 610 17 0 0 20 0 1 0 157068276 86757376 13718 134679101440 4194304 7968869 140723657188720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11370496 140723657192382 140723657192546 140723657192546 140723657199561 0
/proc/808799/statm: 21181 13718 1816 922 0 13133 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 84724 KiB
Current children cumulated memory: 54872 KiB

[startup+12.7002 s]
/proc/loadavg: 1.93 2.64 3.54 5/260 808859
/proc/meminfo: memFree=127361724/131524600 swapFree=131071996/131071996
[pid=808799] ppid=808796 vsize=90104 memory=58824 CPUtime=12.65 cores=1,3
/proc/808799/stat : 808799 (roundingsat) R 808796 808799 808644 0 -1 4194304 12284 0 0 0 1234 31 0 0 20 0 1 0 157068276 92266496 14706 134679101440 4194304 7968869 140723657188720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11370496 140723657192382 140723657192546 140723657192546 140723657199561 0
/proc/808799/statm: 22526 14706 1816 922 0 14478 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 90104 KiB
Current children cumulated memory: 58824 KiB

[startup+25.5002 s]
/proc/loadavg: 2.25 2.69 3.54 5/260 808860
/proc/meminfo: memFree=127246124/131524600 swapFree=131071996/131071996
[pid=808799] ppid=808796 vsize=96132 memory=66380 CPUtime=25.42 cores=1,3
/proc/808799/stat : 808799 (roundingsat) R 808796 808799 808644 0 -1 4194304 13676 0 0 0 2488 54 0 0 20 0 1 0 157068276 98439168 16595 134679101440 4194304 7968869 140723657188720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11370496 140723657192382 140723657192546 140723657192546 140723657199561 0
/proc/808799/statm: 24033 16595 1816 922 0 15985 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 96132 KiB
Current children cumulated memory: 66380 KiB

[startup+51.1057 s]
/proc/loadavg: 2.90 2.81 3.56 5/260 808865
/proc/meminfo: memFree=126477220/131524600 swapFree=131071996/131071996
[pid=808799] ppid=808796 vsize=114252 memory=78276 CPUtime=50.95 cores=1,3
/proc/808799/stat : 808799 (roundingsat) R 808796 808799 808644 0 -1 4194304 15585 0 0 0 4989 106 0 0 20 0 1 0 157068276 116994048 19569 134679101440 4194304 7968869 140723657188720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11370496 140723657192382 140723657192546 140723657192546 140723657199561 0
/proc/808799/statm: 28563 19569 1816 922 0 20515 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 114252 KiB
Current children cumulated memory: 78276 KiB

[startup+102.3 s]
/proc/loadavg: 3.67 3.04 3.60 5/260 808873
/proc/meminfo: memFree=126345584/131524600 swapFree=131071996/131071996
[pid=808799] ppid=808796 vsize=148420 memory=105316 CPUtime=101.99 cores=1,3
/proc/808799/stat : 808799 (roundingsat) R 808796 808799 808644 0 -1 4194304 19801 0 0 0 10019 180 0 0 20 0 1 0 157068276 151982080 26329 134679101440 4194304 7968869 140723657188720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11370496 140723657192382 140723657192546 140723657192546 140723657199561 0
/proc/808799/statm: 37105 26329 1816 922 0 29057 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 148420 KiB
Current children cumulated memory: 105316 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 3.24 3.63 5/260 808886
/proc/meminfo: memFree=126241620/131524600 swapFree=131071996/131071996
[pid=808799] ppid=808796 vsize=152096 memory=109492 CPUtime=161.81 cores=1,3
/proc/808799/stat : 808799 (roundingsat) R 808796 808799 808644 0 -1 4194304 20863 0 0 0 15931 250 0 0 20 0 1 0 157068276 155746304 27373 134679101440 4194304 7968869 140723657188720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11370496 140723657192382 140723657192546 140723657192546 140723657199561 0
/proc/808799/statm: 38024 27373 1816 922 0 29976 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 152096 KiB
Current children cumulated memory: 109492 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 3.41 3.67 5/260 808897
/proc/meminfo: memFree=124228472/131524600 swapFree=131071996/131071996
[pid=808799] ppid=808796 vsize=197900 memory=157268 CPUtime=221.64 cores=1,3
/proc/808799/stat : 808799 (roundingsat) R 808796 808799 808644 0 -1 4194304 24624 0 0 0 21859 305 0 0 20 0 1 0 157068276 202649600 39317 134679101440 4194304 7968869 140723657188720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11370496 140723657192382 140723657192546 140723657192546 140723657199561 0
/proc/808799/statm: 49475 39317 1816 922 0 41427 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 197900 KiB
Current children cumulated memory: 157268 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 3.55 3.70 5/260 808907
/proc/meminfo: memFree=124193348/131524600 swapFree=131071996/131071996
[pid=808799] ppid=808796 vsize=199452 memory=158852 CPUtime=281.46 cores=1,3
/proc/808799/stat : 808799 (roundingsat) R 808796 808799 808644 0 -1 4194304 25079 0 0 0 27775 371 0 0 20 0 1 0 157068276 204238848 39713 134679101440 4194304 7968869 140723657188720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11370496 140723657192382 140723657192546 140723657192546 140723657199561 0
/proc/808799/statm: 49863 39713 1816 922 0 41815 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 199452 KiB
Current children cumulated memory: 158852 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 3.66 3.73 5/255 808919
/proc/meminfo: memFree=124159532/131524600 swapFree=131071996/131071996
[pid=808799] ppid=808796 vsize=254240 memory=177432 CPUtime=341.28 cores=1,3
/proc/808799/stat : 808799 (roundingsat) R 808796 808799 808644 0 -1 4194304 27183 0 0 0 33699 429 0 0 20 0 1 0 157068276 260341760 44358 134679101440 4194304 7968869 140723657188720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11370496 140723657192382 140723657192546 140723657192546 140723657199561 0
/proc/808799/statm: 63560 44358 1816 922 0 55512 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 254240 KiB
Current children cumulated memory: 177432 KiB

[startup+402.3 s]
/proc/loadavg: 4.05 3.73 3.75 5/255 808930
/proc/meminfo: memFree=124108556/131524600 swapFree=131071996/131071996
[pid=808799] ppid=808796 vsize=255988 memory=179276 CPUtime=401.09 cores=1,3
/proc/808799/stat : 808799 (roundingsat) R 808796 808799 808644 0 -1 4194304 27626 0 0 0 39633 476 0 0 20 0 1 0 157068276 262131712 44819 134679101440 4194304 7968869 140723657188720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11370496 140723657192382 140723657192546 140723657192546 140723657199561 0
/proc/808799/statm: 63997 44819 1816 922 0 55949 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 255988 KiB
Current children cumulated memory: 179276 KiB

[startup+462.3 s]
/proc/loadavg: 4.21 3.83 3.79 5/255 808942
/proc/meminfo: memFree=124089240/131524600 swapFree=131071996/131071996
[pid=808799] ppid=808796 vsize=256688 memory=180596 CPUtime=460.91 cores=1,3
/proc/808799/stat : 808799 (roundingsat) R 808796 808799 808644 0 -1 4194304 27931 0 0 0 45563 528 0 0 20 0 1 0 157068276 262848512 45149 134679101440 4194304 7968869 140723657188720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11370496 140723657192382 140723657192546 140723657192546 140723657199561 0
/proc/808799/statm: 64172 45149 1816 922 0 56124 0

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

Current children cumulated memory: 570836 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/257 810728
/proc/meminfo: memFree=124836100/131524600 swapFree=131071996/131071996
[pid=808799] ppid=808796 vsize=614340 memory=570844 CPUtime=2913.66 cores=1,3
/proc/808799/stat : 808799 (roundingsat) R 808796 808799 808644 0 -1 4194304 63185 0 0 0 289981 1385 0 0 20 0 1 0 157068276 629084160 142711 134679101440 4194304 7968869 140723657188720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11370496 140723657192382 140723657192546 140723657192546 140723657199561 0
/proc/808799/statm: 153585 142711 1816 922 0 145537 0
Current children cumulated CPU time: 2913.66 s
Current children cumulated vsize: 614340 KiB
Current children cumulated memory: 570844 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/257 810739
/proc/meminfo: memFree=124820296/131524600 swapFree=131071996/131071996
[pid=808799] ppid=808796 vsize=617496 memory=573604 CPUtime=2973.51 cores=1,3
/proc/808799/stat : 808799 (roundingsat) R 808796 808799 808644 0 -1 4194304 64143 0 0 0 295953 1398 0 0 20 0 1 0 157068276 632315904 143401 134679101440 4194304 7968869 140723657188720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11370496 140723657192382 140723657192546 140723657192546 140723657199561 0
/proc/808799/statm: 154374 143401 1816 922 0 146326 0
Current children cumulated CPU time: 2973.51 s
Current children cumulated vsize: 617496 KiB
Current children cumulated memory: 573604 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 810753
/proc/meminfo: memFree=124791352/131524600 swapFree=131071996/131071996
[pid=808799] ppid=808796 vsize=622748 memory=578344 CPUtime=3033.37 cores=1,3
/proc/808799/stat : 808799 (roundingsat) R 808796 808799 808644 0 -1 4194304 65628 0 0 0 301924 1413 0 0 20 0 1 0 157068276 637693952 144586 134679101440 4194304 7968869 140723657188720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11370496 140723657192382 140723657192546 140723657192546 140723657199561 0
/proc/808799/statm: 155687 144586 1816 922 0 147639 0
Current children cumulated CPU time: 3033.37 s
Current children cumulated vsize: 622748 KiB
Current children cumulated memory: 578344 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 810774
/proc/meminfo: memFree=124705944/131524600 swapFree=131071996/131071996
[pid=808799] ppid=808796 vsize=626308 memory=587576 CPUtime=3093.23 cores=1,3
/proc/808799/stat : 808799 (roundingsat) R 808796 808799 808644 0 -1 4194304 66662 0 0 0 307897 1426 0 0 20 0 1 0 157068276 641339392 146894 134679101440 4194304 7968869 140723657188720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11370496 140723657192382 140723657192546 140723657192546 140723657199561 0
/proc/808799/statm: 156577 146894 1816 922 0 148529 0
Current children cumulated CPU time: 3093.23 s
Current children cumulated vsize: 626308 KiB
Current children cumulated memory: 587576 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 810785
/proc/meminfo: memFree=124670256/131524600 swapFree=131071996/131071996
[pid=808799] ppid=808796 vsize=849192 memory=620488 CPUtime=3153.08 cores=1,3
/proc/808799/stat : 808799 (roundingsat) R 808796 808799 808644 0 -1 4194304 69060 0 0 0 313866 1442 0 0 20 0 1 0 157068276 869572608 155122 134679101440 4194304 7968869 140723657188720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11370496 140723657192382 140723657192546 140723657192546 140723657199561 0
/proc/808799/statm: 212298 155122 1816 922 0 204250 0
Current children cumulated CPU time: 3153.08 s
Current children cumulated vsize: 849192 KiB
Current children cumulated memory: 620488 KiB

[startup+3222.3 s]
/proc/loadavg: 4.31 4.18 4.11 5/256 810796
/proc/meminfo: memFree=124593572/131524600 swapFree=131071996/131071996
[pid=808799] ppid=808796 vsize=855388 memory=652444 CPUtime=3212.94 cores=1,3
/proc/808799/stat : 808799 (roundingsat) R 808796 808799 808644 0 -1 4194304 70590 0 0 0 319837 1457 0 0 20 0 1 0 157068276 875917312 163111 134679101440 4194304 7968869 140723657188720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11370496 140723657192382 140723657192546 140723657192546 140723657199561 0
/proc/808799/statm: 213847 163111 1816 922 0 205799 0
Current children cumulated CPU time: 3212.94 s
Current children cumulated vsize: 855388 KiB
Current children cumulated memory: 652444 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/256 810807
/proc/meminfo: memFree=124577780/131524600 swapFree=131071996/131071996
[pid=808799] ppid=808796 vsize=858816 memory=665616 CPUtime=3272.81 cores=1,3
/proc/808799/stat : 808799 (roundingsat) R 808796 808799 808644 0 -1 4194304 71492 0 0 0 325809 1472 0 0 20 0 1 0 157068276 879427584 166404 134679101440 4194304 7968869 140723657188720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11370496 140723657192382 140723657192546 140723657192546 140723657199561 0
/proc/808799/statm: 214704 166404 1816 922 0 206656 0
Current children cumulated CPU time: 3272.81 s
Current children cumulated vsize: 858816 KiB
Current children cumulated memory: 665616 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.17 4.11 5/255 810818
/proc/meminfo: memFree=124523476/131524600 swapFree=131071996/131071996
[pid=808799] ppid=808796 vsize=858816 memory=665616 CPUtime=3332.66 cores=1,3
/proc/808799/stat : 808799 (roundingsat) R 808796 808799 808644 0 -1 4194304 71558 0 0 0 331781 1485 0 0 20 0 1 0 157068276 879427584 166404 134679101440 4194304 7968869 140723657188720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11370496 140723657192382 140723657192546 140723657192546 140723657199561 0
/proc/808799/statm: 214704 166404 1816 922 0 206656 0
Current children cumulated CPU time: 3332.66 s
Current children cumulated vsize: 858816 KiB
Current children cumulated memory: 665616 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/255 810829
/proc/meminfo: memFree=124522236/131524600 swapFree=131071996/131071996
[pid=808799] ppid=808796 vsize=858816 memory=665624 CPUtime=3392.52 cores=1,3
/proc/808799/stat : 808799 (roundingsat) R 808796 808799 808644 0 -1 4194304 71745 0 0 0 337755 1497 0 0 20 0 1 0 157068276 879427584 166406 134679101440 4194304 7968869 140723657188720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11370496 140723657192382 140723657192546 140723657192546 140723657199561 0
/proc/808799/statm: 214704 166406 1816 922 0 206656 0
Current children cumulated CPU time: 3392.52 s
Current children cumulated vsize: 858816 KiB
Current children cumulated memory: 665624 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/256 810841
/proc/meminfo: memFree=124501464/131524600 swapFree=131071996/131071996
[pid=808799] ppid=808796 vsize=858976 memory=665780 CPUtime=3452.38 cores=1,3
/proc/808799/stat : 808799 (roundingsat) R 808796 808799 808644 0 -1 4194304 72131 0 0 0 343723 1515 0 0 20 0 1 0 157068276 879591424 166445 134679101440 4194304 7968869 140723657188720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11370496 140723657192382 140723657192546 140723657192546 140723657199561 0
/proc/808799/statm: 214744 166445 1816 922 0 206696 0
Current children cumulated CPU time: 3452.38 s
Current children cumulated vsize: 858976 KiB
Current children cumulated memory: 665780 KiB

[startup+3522.3 s]
/proc/loadavg: 4.35 4.22 4.13 5/256 810852
/proc/meminfo: memFree=124478388/131524600 swapFree=131071996/131071996
[pid=808799] ppid=808796 vsize=859436 memory=666100 CPUtime=3512.24 cores=1,3
/proc/808799/stat : 808799 (roundingsat) R 808796 808799 808644 0 -1 4194304 72383 0 0 0 349695 1529 0 0 20 0 1 0 157068276 880062464 166525 134679101440 4194304 7968869 140723657188720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11370496 140723657192382 140723657192546 140723657192546 140723657199561 0
/proc/808799/statm: 214859 166525 1816 922 0 206811 0
Current children cumulated CPU time: 3512.24 s
Current children cumulated vsize: 859436 KiB
Current children cumulated memory: 666100 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.19 4.12 5/256 810862
/proc/meminfo: memFree=124475048/131524600 swapFree=131071996/131071996
[pid=808799] ppid=808796 vsize=859872 memory=666508 CPUtime=3572.09 cores=1,3
/proc/808799/stat : 808799 (roundingsat) R 808796 808799 808644 0 -1 4194304 72669 0 0 0 355668 1541 0 0 20 0 1 0 157068276 880508928 166627 134679101440 4194304 7968869 140723657188720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11370496 140723657192382 140723657192546 140723657192546 140723657199561 0
/proc/808799/statm: 214968 166627 1816 922 0 206920 0
Current children cumulated CPU time: 3572.09 s
Current children cumulated vsize: 859872 KiB
Current children cumulated memory: 666508 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.18 4.19 4.12 5/257 810887
/proc/meminfo: memFree=125318908/131524600 swapFree=131071996/131071996
[pid=808799] ppid=808796 vsize=859872 memory=666676 CPUtime=3600.03 cores=1,3
/proc/808799/stat : 808799 (roundingsat) R 808796 808799 808644 0 -1 4194304 72777 0 0 0 358452 1551 0 0 20 0 1 0 157068276 880508928 166669 134679101440 4194304 7968869 140723657188720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11370496 140723657192382 140723657192546 140723657192546 140723657199561 0
/proc/808799/statm: 214968 166669 1816 922 0 206920 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 859872 KiB
Current children cumulated memory: 666676 KiB

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

[startup+3610.31 s]
# the end of solver process 808799 was just reported to runsolver
# Child status: 1

# cumulated CPU time of all completed processes:  user=3584.53 s, system=15.5143 s

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

[startup+3610.3 s]
/proc/loadavg: 4.18 4.19 4.12 5/257 810887
/proc/meminfo: memFree=125318908/131524600 swapFree=131071996/131071996
[pid=808799] ppid=808796 vsize=859872 memory=666676 CPUtime=3600.03 cores=1,3
/proc/808799/stat : 808799 (roundingsat) R 808796 808799 808644 0 -1 4194304 72777 0 0 0 358452 1551 0 0 20 0 1 0 157068276 880508928 166669 134679101440 4194304 7968869 140723657188720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11370496 140723657192382 140723657192546 140723657192546 140723657199561 0
/proc/808799/statm: 214968 166669 1816 922 0 206920 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 859872 KiB
Current children cumulated memory: 666676 KiB

Child status: 1

Real time (s): 3610.31
CPU time (s): 3600.04
CPU user time (s): 3584.53
CPU system time (s): 15.5143
CPU usage (%): 99.7158
Max. virtual memory (cumulated for all children) (KiB): 859872
Max. memory (cumulated for all children) (KiB): 666676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.53
system time used= 15.5143
maximum resident set size= 666676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72785
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 183
involuntary context switches= 2990


# summary of solver processes directly reported to runsolver:
#   pid: 808799
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3584.53
#   total CPU system time (s): 15.5143

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.12182 second user time and 16.991 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2024-07-15 15:10:13
IDJOB=4429512
IDBENCH=148185
IDSOLVER=3051
FILE ID=nodeC031/4429512-1721049000
RUNJOBID= nodeC031-1721049012-808656
SLURM_JOB_ID= 7505473
Free space on /tmp= 890056 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429512-1721049000/watcher-4429512-1721049000 -o /tmp/evaluation-result-4429512-1721049000/solver-4429512-1721049000 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721049012-808656 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429512-1721049000.opb

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

MD5SUM BENCH= 9def910af6a1ee27abcf25feff61a445
RANDOM SEED=370851524

nodeC031.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		: 3647.336
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.55
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		: 3614.199
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	: 7006.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128105416 kB
MemAvailable:   129652156 kB
Buffers:          350852 kB
Cached:          2021080 kB
SwapCached:            0 kB
Active:           608752 kB
Inactive:        2193472 kB
Active(anon):       1536 kB
Inactive(anon):   466492 kB
Active(file):     607216 kB
Inactive(file):  1726980 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             36720 kB
Writeback:             0 kB
AnonPages:        428372 kB
Mapped:           107612 kB
Shmem:             37720 kB
KReclaimable:     104380 kB
Slab:             211096 kB
SReclaimable:     104380 kB
SUnreclaim:       106716 kB
KernelStack:        4128 kB
PageTables:        10132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     806208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61664 kB
HardwareCorrupted:     0 kB
AnonHugePages:    262144 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:      178900 kB
DirectMap2M:    14274560 kB
DirectMap1G:    121634816 kB

Free space on /tmp at the end= 890012 MiB
End job on nodeC031 at 2024-07-15 16:10:23