Trace number 4489647

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-ls+pbsuma-log 63f22adSAT (TO)326 3600.71 3615.79

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
MD5SUM37dc22c6a12cddf588c55f8d6ee6d8c2
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark240
Best CPU time to get the best result obtained on this benchmark3586.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 492823
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 492823
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4489647-1751357690.opb'
0.28/0.34	c 	read 17.23MB  (325.25ms)
0.28/0.34	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.28/0.34	c output proof to 'PROOFDIR/proof-4489647-1751357690'
0.28/0.34	c 
0.28/0.34	c make graph and approximate orbits
0.58/0.69	c	 [group: #orbits ~= 0] (351.85ms)
0.58/0.69	c 
0.58/0.69	c detect special group actions
0.58/0.69	c 	probe for Johnson action (limit=64)
0.58/0.69	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.67/0.70	c 	probe for row symmetry (limit=64, splits=16.78M)
0.67/0.71	c 	 (21.82ms)
0.67/0.71	c 
0.67/0.71	c detect symmetries on remainder
0.67/0.71	c 	[graph: #vertices 706685 #edges 2766368]
0.67/0.72	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.67/0.76	c 	 [group: #symmetries 1.00*10^0 #generators 0] (48.88ms)
0.67/0.76	c 
0.67/0.76	c finalize break order and special generators
0.67/0.76	c 
0.67/0.76	c generation finished
0.67/0.76	c 	[sbp: #constraints 0 #add_vars 0]
0.67/0.76	c 
0.67/0.76	c write result to 'HOME/instance-4489647-1751357690.opb.pre'
0.77/0.80	c 	wrote 17.23MB (35.72ms)
0.77/0.80	c ------------------------------------------------------------------
0.77/0.80	c                 351.85ms 44.68% approx_orbits
0.77/0.80	c                 325.25ms 41.30% parse
0.77/0.80	c                  48.88ms  6.21% detect_generic
0.77/0.80	c                  35.72ms  4.54% output
0.77/0.80	c                  21.82ms  2.77% detect_special
0.77/0.80	c                   3.54ms  0.45% other
0.77/0.80	c                   0.39ms  0.05% finalize_order
0.77/0.80	c         ───────────────────────────────────────────────
0.77/0.80	c                 787.45ms   100% total
0.77/0.80	c ------------------------------------------------------------------
0.87/0.93	c RoundingSat 2
0.87/0.93	c branch pb25
0.87/0.93	c commit 63f22ad
4.55/4.64	c #variables 10000 #constraints 656900
4.55/4.64	c objective is ce32 
5.45/5.50	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
5.45/5.50	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
5.45/5.50	c bounds 5722 >= 0 @ 3.85434
7.14/7.25	c rational objective 165.925
11.23/11.33	c bounds 5653 >= 0 @ 9.54162
11.23/11.34	c bounds 5387 >= 0 @ 9.55045
11.23/11.37	c bounds 5386 >= 0 @ 9.5833
11.23/11.39	c bounds 5379 >= 0 @ 9.60325
11.33/11.41	c bounds 5337 >= 0 @ 9.61535
11.33/11.44	c bounds 5310 >= 0 @ 9.64735
11.33/11.45	c bounds 5305 >= 0 @ 9.65562
11.33/11.46	c bounds 5272 >= 0 @ 9.66608
11.33/11.48	c bounds 5190 >= 0 @ 9.6774
11.33/11.48	c bounds 5187 >= 0 @ 9.6829
11.43/11.51	c bounds 5142 >= 0 @ 9.70491
11.52/11.63	c bounds 5133 >= 0 @ 9.82165
11.52/11.64	c bounds 5084 >= 0 @ 9.82635
11.52/11.64	c bounds 5072 >= 0 @ 9.83123
11.52/11.65	c bounds 4989 >= 0 @ 9.83553
11.52/11.69	c bounds 4976 >= 0 @ 9.8741
11.52/11.70	c bounds 4921 >= 0 @ 9.87965
11.63/11.70	c bounds 4860 >= 0 @ 9.88496
11.63/11.72	c bounds 4850 >= 0 @ 9.90195
11.63/11.73	c bounds 4849 >= 0 @ 9.90813
11.63/11.73	c bounds 4838 >= 0 @ 9.91217
11.63/11.74	c bounds 4764 >= 0 @ 9.9173
11.63/11.74	c bounds 4754 >= 0 @ 9.92144
11.73/11.82	c bounds 4691 >= 0 @ 9.98958
11.73/11.85	c bounds 4665 >= 0 @ 10.0218
11.73/11.86	c bounds 4588 >= 0 @ 10.0266
11.73/11.87	c bounds 4573 >= 0 @ 10.0373
11.73/11.88	c bounds 4559 >= 0 @ 10.0413
11.82/11.93	c bounds 4557 >= 0 @ 10.0913
11.82/11.94	c bounds 4525 >= 0 @ 10.0975
11.82/11.94	c bounds 4472 >= 0 @ 10.1023
11.82/11.95	c bounds 4396 >= 0 @ 10.1072
11.82/11.96	c bounds 4279 >= 0 @ 10.1111
11.82/11.96	c bounds 4277 >= 0 @ 10.114
11.82/11.97	c bounds 4254 >= 0 @ 10.1201
11.93/12.06	c bounds 4251 >= 0 @ 10.2042
11.93/12.07	c bounds 4233 >= 0 @ 10.2129
11.93/12.10	c bounds 4220 >= 0 @ 10.2348
12.03/12.10	c bounds 4217 >= 0 @ 10.239
12.03/12.12	c bounds 4200 >= 0 @ 10.2523
12.03/12.19	c bounds 4184 >= 0 @ 10.3227
12.12/12.20	c bounds 4135 >= 0 @ 10.3313
12.23/12.30	c bounds 4056 >= 0 @ 10.4291
12.23/12.32	c bounds 4003 >= 0 @ 10.4439
12.23/12.33	c bounds 3971 >= 0 @ 10.4559
12.32/12.46	c bounds 3959 >= 0 @ 10.5737
12.32/12.46	c bounds 3838 >= 0 @ 10.5805
12.43/12.56	c bounds 3835 >= 0 @ 10.6763
12.52/12.60	c bounds 3827 >= 0 @ 10.7091
12.52/12.60	c bounds 3801 >= 0 @ 10.7156
12.52/12.63	c bounds 3759 >= 0 @ 10.7446
12.63/12.72	c bounds 3706 >= 0 @ 10.8271
12.63/12.73	c bounds 3648 >= 0 @ 10.8319
12.63/12.74	c bounds 3635 >= 0 @ 10.8404
12.72/12.83	c bounds 3589 >= 0 @ 10.9301
12.82/12.93	c bounds 3583 >= 0 @ 11.0321
12.93/13.07	c bounds 3556 >= 0 @ 11.1606
13.03/13.17	c bounds 3501 >= 0 @ 11.2661
13.03/13.18	c bounds 3429 >= 0 @ 11.2722
13.12/13.21	c bounds 3422 >= 0 @ 11.2966
13.22/13.32	c bounds 3405 >= 0 @ 11.4055
13.22/13.33	c bounds 3401 >= 0 @ 11.4118
13.22/13.34	c bounds 3328 >= 0 @ 11.419
13.32/13.43	c bounds 3298 >= 0 @ 11.5068
14.12/14.20	c bounds 3264 >= 0 @ 12.2708
14.12/14.24	c bounds 3240 >= 0 @ 12.3063
14.22/14.36	c bounds 3239 >= 0 @ 12.4197
14.22/14.36	c bounds 3232 >= 0 @ 12.4272
14.22/14.37	c bounds 3221 >= 0 @ 12.4341
14.22/14.38	c bounds 3175 >= 0 @ 12.4381
14.22/14.39	c bounds 3120 >= 0 @ 12.4441
14.32/14.40	c bounds 3114 >= 0 @ 12.4492
14.32/14.41	c bounds 3080 >= 0 @ 12.4564
14.32/14.43	c bounds 3040 >= 0 @ 12.4699
14.32/14.44	c bounds 3021 >= 0 @ 12.4752
14.32/14.45	c bounds 3012 >= 0 @ 12.4839
14.32/14.45	c bounds 2963 >= 0 @ 12.4903
14.32/14.49	c bounds 2952 >= 0 @ 12.5231
14.42/14.50	c bounds 2877 >= 0 @ 12.5307
14.42/14.52	c bounds 2874 >= 0 @ 12.5454
14.42/14.52	c bounds 2827 >= 0 @ 12.5531
14.42/14.53	c bounds 2826 >= 0 @ 12.5597
14.42/14.54	c bounds 2824 >= 0 @ 12.5698
14.42/14.55	c bounds 2791 >= 0 @ 12.5764
14.42/14.56	c bounds 2790 >= 0 @ 12.5835
14.42/14.59	c bounds 2778 >= 0 @ 12.6055
14.52/14.60	c bounds 2773 >= 0 @ 12.6176
14.52/14.61	c bounds 2771 >= 0 @ 12.6233
14.52/14.62	c bounds 2687 >= 0 @ 12.6332
14.52/14.64	c bounds 2673 >= 0 @ 12.6481
14.52/14.65	c bounds 2632 >= 0 @ 12.6548
14.52/14.66	c bounds 2597 >= 0 @ 12.6611
14.62/14.72	c bounds 2582 >= 0 @ 12.7218
14.62/14.74	c bounds 2578 >= 0 @ 12.7364
14.62/14.75	c bounds 2526 >= 0 @ 12.7416
14.62/14.77	c bounds 2482 >= 0 @ 12.7521
14.62/14.79	c bounds 2471 >= 0 @ 12.7743
14.72/14.80	c bounds 2468 >= 0 @ 12.7808
14.72/14.82	c bounds 2360 >= 0 @ 12.7872
14.72/14.83	c bounds 2359 >= 0 @ 12.804
14.72/14.84	c bounds 2303 >= 0 @ 12.8142
14.72/14.86	c bounds 2300 >= 0 @ 12.823
14.72/14.87	c bounds 2286 >= 0 @ 12.8317
14.72/14.89	c bounds 2255 >= 0 @ 12.8527
14.82/14.96	c bounds 2236 >= 0 @ 12.9222
14.82/14.98	c bounds 2206 >= 0 @ 12.9298
14.82/14.99	c bounds 2048 >= 0 @ 12.9424
14.92/15.00	c bounds 1865 >= 0 @ 12.9482
14.92/15.02	c bounds 1688 >= 0 @ 12.9565
14.92/15.03	c bounds 1627 >= 0 @ 12.9647
14.92/15.04	c bounds 1609 >= 0 @ 12.9776
14.92/15.07	c bounds 1473 >= 0 @ 12.9971
14.92/15.08	c bounds 1467 >= 0 @ 13.0038
14.92/15.10	c bounds 1445 >= 0 @ 13.0212
15.03/15.12	c bounds 1327 >= 0 @ 13.0354
15.03/15.13	c bounds 1318 >= 0 @ 13.0437
15.03/15.14	c bounds 1244 >= 0 @ 13.053
15.03/15.16	c bounds 1180 >= 0 @ 13.062
15.03/15.19	c bounds 1176 >= 0 @ 13.0887
15.12/15.20	c bounds 1112 >= 0 @ 13.098
15.12/15.22	c bounds 1076 >= 0 @ 13.1056
15.12/15.22	c bounds 1075 >= 0 @ 13.1134
15.12/15.24	c bounds 1020 >= 0 @ 13.1242
15.12/15.25	c bounds 1016 >= 0 @ 13.1283
15.12/15.27	c bounds 1002 >= 0 @ 13.1415
15.31/15.47	c bounds 921 >= 0 @ 13.3295
15.31/15.48	c bounds 906 >= 0 @ 13.3373
15.51/15.61	c bounds 897 >= 0 @ 13.4606
15.51/15.63	c bounds 886 >= 0 @ 13.4711
17.12/17.29	c #Conflicts:       1000 | #Constraints:     658035
17.12/17.29	c bounds 878 >= 0 @ 15.0804
17.22/17.31	c bounds 873 >= 0 @ 15.0916
17.22/17.33	c bounds 867 >= 0 @ 15.1096
17.22/17.36	c bounds 853 >= 0 @ 15.1324
17.22/17.38	c bounds 782 >= 0 @ 15.1446
17.31/17.40	c bounds 734 >= 0 @ 15.1598
17.31/17.42	c bounds 668 >= 0 @ 15.1759
17.51/17.69	c bounds 665 >= 0 @ 15.4344
17.71/17.83	c bounds 644 >= 0 @ 15.5611
18.81/18.90	c bounds 573 >= 0 @ 16.5985
36.61/37.09	c #Conflicts:       2000 | #Constraints:     659045
36.61/37.09	c INPROCESSING
36.61/37.09	c GARBAGE COLLECT
36.61/37.09	c #Conflicts:       3000 | #Constraints:     658909
36.61/37.09	c #Conflicts:       4000 | #Constraints:     659909
36.61/37.09	c INPROCESSING
36.61/37.09	c GARBAGE COLLECT
36.61/37.09	c #Conflicts:       5000 | #Constraints:     659315
36.61/37.09	c #Conflicts:       6000 | #Constraints:     660315
36.61/37.09	c INPROCESSING
36.61/37.09	c GARBAGE COLLECT
36.61/37.09	c bounds 569 >= 0 @ 34.2495
49.86/50.30	c #Conflicts:       7000 | #Constraints:     659321
49.86/50.30	c #Conflicts:       8000 | #Constraints:     660321
49.86/50.30	c #Conflicts:       9000 | #Constraints:     661321
49.86/50.30	c INPROCESSING
49.86/50.30	c GARBAGE COLLECT
49.86/50.30	c rational objective 167.467
54.35/54.81	c bounds 441 >= 0 @ 51.8014
59.64/60.15	c #Conflicts:      10000 | #Constraints:     660023
59.64/60.15	c #Conflicts:      11000 | #Constraints:     661023
59.64/60.15	c #Conflicts:      12000 | #Constraints:     662023
59.64/60.15	c INPROCESSING
59.64/60.15	c GARBAGE COLLECT
59.64/60.15	c bounds 435 >= 0 @ 57.023
59.84/60.34	c bounds 434 >= 0 @ 57.2079
59.84/60.36	c bounds 432 >= 0 @ 57.218
59.94/60.41	c bounds 426 >= 0 @ 57.2634
61.43/61.99	c bounds 423 >= 0 @ 58.8187
61.54/62.01	c bounds 423 >= 6 @ 58.8262
73.53/74.14	c #Conflicts:      13000 | #Constraints:     660485
73.53/74.14	c #Conflicts:      14000 | #Constraints:     661485
73.53/74.14	c #Conflicts:      15000 | #Constraints:     662485
73.53/74.14	c INPROCESSING
73.53/74.14	c GARBAGE COLLECT
73.53/74.14	c rational objective 169.5
77.11/77.75	c bounds 421 >= 6 @ 74.3325
77.11/77.76	c bounds 421 >= 11 @ 74.3405
77.11/77.79	c bounds 421 >= 16 @ 74.3632
80.20/80.87	c #Conflicts:      16000 | #Constraints:     660727
80.20/80.87	c bounds 421 >= 21 @ 77.4062
81.11/81.71	c bounds 420 >= 21 @ 78.2231
120.02/121.07	c #Conflicts:      17000 | #Constraints:     661744
120.02/121.07	c #Conflicts:      18000 | #Constraints:     662755
120.02/121.07	c INPROCESSING
120.02/121.07	c rational objective 171
165.15/166.57	c #Conflicts:      19000 | #Constraints:     660751
165.15/166.57	c #Conflicts:      20000 | #Constraints:     661751
165.15/166.57	c #Conflicts:      21000 | #Constraints:     662751
165.15/166.57	c INPROCESSING
165.15/166.57	c GARBAGE COLLECT
165.15/166.57	c #Conflicts:      22000 | #Constraints:     660551
165.15/166.57	c #Conflicts:      23000 | #Constraints:     661551
165.15/166.57	c #Conflicts:      24000 | #Constraints:     662551
165.15/166.57	c #Conflicts:      25000 | #Constraints:     663551
165.15/166.57	c INPROCESSING
165.15/166.57	c GARBAGE COLLECT
165.15/166.57	c rational objective 171.9
193.63/195.21	c #Conflicts:      26000 | #Constraints:     661163
193.63/195.21	c #Conflicts:      27000 | #Constraints:     662163
193.63/195.21	c #Conflicts:      28000 | #Constraints:     663163
193.63/195.21	c #Conflicts:      29000 | #Constraints:     664163
193.63/195.21	c INPROCESSING
193.63/195.21	c GARBAGE COLLECT
193.63/195.21	c rational objective 172.045
221.48/223.30	c #Conflicts:      30000 | #Constraints:     661570
221.48/223.30	c #Conflicts:      31000 | #Constraints:     662570
221.48/223.30	c #Conflicts:      32000 | #Constraints:     663570
221.48/223.30	c #Conflicts:      33000 | #Constraints:     664570
221.48/223.30	c INPROCESSING
221.48/223.30	c GARBAGE COLLECT
221.48/223.30	c rational objective 172.928
253.73/255.81	c #Conflicts:      34000 | #Constraints:     661779
253.73/255.81	c #Conflicts:      35000 | #Constraints:     662779
253.73/255.81	c #Conflicts:      36000 | #Constraints:     663779
253.73/255.81	c #Conflicts:      37000 | #Constraints:     664779
253.73/255.81	c INPROCESSING
253.73/255.81	c GARBAGE COLLECT
253.73/255.81	c rational objective 173.23
258.22/260.30	c bounds 419 >= 21 @ 253.608
267.00/269.17	c #Conflicts:      38000 | #Constraints:     661791
267.00/269.17	c bounds 412 >= 21 @ 262.299
267.00/269.20	c bounds 412 >= 25 @ 262.322
287.26/289.56	c #Conflicts:      39000 | #Constraints:     662800
287.26/289.56	c #Conflicts:      40000 | #Constraints:     663800
287.26/289.56	c #Conflicts:      41000 | #Constraints:     664800
287.26/289.56	c INPROCESSING
287.26/289.56	c GARBAGE COLLECT
287.26/289.56	c rational objective 174
313.57/315.92	c #Conflicts:      42000 | #Constraints:     661580
313.57/315.92	c #Conflicts:      43000 | #Constraints:     662580
313.57/315.92	c #Conflicts:      44000 | #Constraints:     663580
313.57/315.92	c #Conflicts:      45000 | #Constraints:     664580
313.57/315.92	c #Conflicts:      46000 | #Constraints:     665580
313.57/315.92	c INPROCESSING
313.57/315.92	c GARBAGE COLLECT
313.57/315.92	c rational objective 175
340.10/342.56	c #Conflicts:      47000 | #Constraints:     662167
340.10/342.56	c #Conflicts:      48000 | #Constraints:     663167
340.10/342.56	c #Conflicts:      49000 | #Constraints:     664167
340.10/342.56	c #Conflicts:      50000 | #Constraints:     665167
340.10/342.56	c #Conflicts:      51000 | #Constraints:     666167
340.10/342.56	c INPROCESSING
340.10/342.56	c rational objective 175.5
344.19/346.60	c bounds 403 >= 25 @ 338.83
344.19/346.63	c bounds 396 >= 25 @ 338.854
345.00/347.50	c bounds 393 >= 25 @ 339.708
345.09/347.51	c bounds 393 >= 28 @ 339.722
365.14/367.67	c #Conflicts:      52000 | #Constraints:     662574
365.14/367.67	c #Conflicts:      53000 | #Constraints:     663576
365.14/367.67	c #Conflicts:      54000 | #Constraints:     664577
365.14/367.67	c #Conflicts:      55000 | #Constraints:     665578
365.14/367.67	c #Conflicts:      56000 | #Constraints:     666578
365.14/367.67	c INPROCESSING
365.14/367.67	c GARBAGE COLLECT
365.14/367.67	c rational objective 175.5
369.96/372.51	c bounds 392 >= 28 @ 364.376
370.47/373.04	c bounds 391 >= 28 @ 364.891
370.97/373.53	c bounds 387 >= 28 @ 365.37
371.76/374.30	c bounds 386 >= 28 @ 366.119
372.26/374.81	c bounds 385 >= 28 @ 366.623
372.26/374.85	c bounds 381 >= 28 @ 366.653
372.36/374.95	c bounds 380 >= 28 @ 366.748
372.66/375.29	c bounds 373 >= 28 @ 367.084
374.25/376.84	c bounds 370 >= 28 @ 368.605
374.25/376.86	c bounds 370 >= 30 @ 368.613
374.25/376.87	c bounds 370 >= 32 @ 368.621
374.36/376.90	c bounds 370 >= 34 @ 368.636
375.16/377.74	c bounds 370 >= 36 @ 369.455
394.00/396.68	c #Conflicts:      57000 | #Constraints:     662816
394.00/396.68	c #Conflicts:      58000 | #Constraints:     663816
394.00/396.68	c #Conflicts:      59000 | #Constraints:     664816
394.00/396.68	c #Conflicts:      60000 | #Constraints:     665816
394.00/396.68	c bounds 370 >= 38 @ 388.154
398.09/400.73	c bounds 369 >= 38 @ 392.126
404.08/406.70	c #Conflicts:      61000 | #Constraints:     666832
404.08/406.70	c INPROCESSING
404.08/406.70	c GARBAGE COLLECT
404.08/406.70	c rational objective 175.5
410.26/412.91	c bounds 366 >= 38 @ 404.217
444.96/447.76	c #Conflicts:      62000 | #Constraints:     662798
444.96/447.76	c #Conflicts:      63000 | #Constraints:     663798
444.96/447.76	c #Conflicts:      64000 | #Constraints:     664798
444.96/447.76	c #Conflicts:      65000 | #Constraints:     665798
444.96/447.76	c #Conflicts:      66000 | #Constraints:     666798
444.96/447.76	c INPROCESSING
444.96/447.76	c GARBAGE COLLECT
444.96/447.76	c rational objective 176.203
452.94/455.74	c #Conflicts:      67000 | #Constraints:     662599
452.94/455.74	c bounds 365 >= 38 @ 446.502
453.14/455.90	c bounds 363 >= 38 @ 446.652
456.42/459.25	c bounds 361 >= 38 @ 449.957
456.42/459.28	c bounds 360 >= 38 @ 449.979
461.41/464.29	c bounds 359 >= 38 @ 454.887
461.52/464.31	c bounds 359 >= 39 @ 454.903
461.52/464.33	c bounds 359 >= 40 @ 454.915
461.52/464.35	c bounds 359 >= 41 @ 454.932
461.52/464.37	c bounds 359 >= 42 @ 454.947
461.52/464.39	c bounds 359 >= 43 @ 454.957
461.62/464.41	c bounds 359 >= 44 @ 454.972
461.62/464.43	c bounds 359 >= 45 @ 454.984
461.62/464.45	c bounds 359 >= 46 @ 454.997
461.62/464.48	c bounds 359 >= 47 @ 455.015
461.71/464.50	c bounds 359 >= 48 @ 455.028
461.71/464.53	c bounds 359 >= 49 @ 455.047
461.71/464.55	c bounds 359 >= 50 @ 455.067
461.71/464.58	c bounds 359 >= 51 @ 455.087
461.81/464.61	c bounds 359 >= 52 @ 455.116
465.70/468.59	c bounds 359 >= 53 @ 459.051
465.80/468.62	c bounds 359 >= 54 @ 459.082
465.80/468.70	c bounds 359 >= 55 @ 459.146
465.90/468.75	c bounds 359 >= 56 @ 459.193
466.10/468.91	c bounds 359 >= 57 @ 459.342
466.10/468.97	c bounds 359 >= 58 @ 459.397
466.31/469.19	c #Conflicts:      68000 | #Constraints:     663767
466.31/469.19	c bounds 359 >= 59 @ 459.603
466.90/469.79	c bounds 359 >= 60 @ 460.179
467.69/470.54	c bounds 359 >= 61 @ 460.909
468.89/471.70	c bounds 359 >= 62 @ 462.03
468.99/471.83	c bounds 359 >= 63 @ 462.15
469.79/472.60	c bounds 359 >= 64 @ 462.881
471.20/474.01	c #Conflicts:      69000 | #Constraints:     664908
471.20/474.01	c bounds 359 >= 65 @ 464.236
472.58/475.43	c bounds 359 >= 66 @ 465.62
487.85/490.79	c #Conflicts:      70000 | #Constraints:     665953
487.85/490.79	c #Conflicts:      71000 | #Constraints:     666957
487.85/490.79	c #Conflicts:      72000 | #Constraints:     667960
487.85/490.79	c bounds 357 >= 66 @ 480.701
494.32/497.29	c INPROCESSING
494.32/497.29	c GARBAGE COLLECT
494.32/497.29	c rational objective 176.46
498.32/501.29	c bounds 357 >= 67 @ 491.109
498.81/501.70	c bounds 357 >= 68 @ 491.497
499.81/502.73	c bounds 357 >= 69 @ 492.493
502.00/504.96	c #Conflicts:      73000 | #Constraints:     663510
502.00/504.96	c bounds 357 >= 70 @ 494.647
505.20/508.19	c #Conflicts:      74000 | #Constraints:     664561
505.20/508.19	c bounds 357 >= 71 @ 497.761
507.98/510.98	c #Conflicts:      75000 | #Constraints:     665594
507.98/510.98	c bounds 357 >= 72 @ 500.485
522.65/525.66	c #Conflicts:      76000 | #Constraints:     666615
522.65/525.66	c bounds 357 >= 73 @ 514.974
528.13/531.12	c #Conflicts:      77000 | #Constraints:     667651
528.13/531.12	c bounds 357 >= 74 @ 520.272
612.27/615.51	c #Conflicts:      78000 | #Constraints:     668684
612.27/615.51	c INPROCESSING
612.27/615.51	c GARBAGE COLLECT
612.27/615.51	c #Conflicts:      79000 | #Constraints:     663969
612.27/615.51	c #Conflicts:      80000 | #Constraints:     664969
612.27/615.51	c bounds 357 >= 75 @ 604.039
626.83/630.23	c #Conflicts:      81000 | #Constraints:     666014
626.83/630.23	c #Conflicts:      82000 | #Constraints:     667014
626.83/630.23	c #Conflicts:      83000 | #Constraints:     668014
626.83/630.23	c bounds 357 >= 76 @ 618.329
770.08/773.93	c #Conflicts:      84000 | #Constraints:     669053
770.08/773.93	c INPROCESSING
770.08/773.93	c GARBAGE COLLECT
770.08/773.93	c rational objective 176.708
773.38/777.21	c bounds 356 >= 76 @ 764.704
803.19/807.17	c #Conflicts:      85000 | #Constraints:     664201
803.19/807.17	c #Conflicts:      86000 | #Constraints:     665201
803.19/807.17	c #Conflicts:      87000 | #Constraints:     666201
803.19/807.17	c bounds 355 >= 76 @ 794.241
823.05/827.20	c #Conflicts:      88000 | #Constraints:     667203
823.05/827.20	c #Conflicts:      89000 | #Constraints:     668203
823.05/827.20	c #Conflicts:      90000 | #Constraints:     669203
823.05/827.20	c INPROCESSING
823.05/827.20	c GARBAGE COLLECT
823.05/827.20	c rational objective 177.406
841.49/845.77	c #Conflicts:      91000 | #Constraints:     664166
841.49/845.77	c #Conflicts:      92000 | #Constraints:     665166
841.49/845.77	c bounds 355 >= 77 @ 832.069
868.22/872.58	c #Conflicts:      93000 | #Constraints:     666229
868.22/872.58	c #Conflicts:      94000 | #Constraints:     667229
868.22/872.58	c #Conflicts:      95000 | #Constraints:     668229
868.22/872.58	c #Conflicts:      96000 | #Constraints:     669229
868.22/872.58	c bounds 355 >= 78 @ 858.448
872.90/877.20	c INPROCESSING
872.90/877.20	c GARBAGE COLLECT
872.90/877.20	c rational objective 177.535
987.06/991.76	c #Conflicts:      97000 | #Constraints:     664014
987.06/991.76	c #Conflicts:      98000 | #Constraints:     665015
987.06/991.76	c #Conflicts:      99000 | #Constraints:     666015
987.06/991.76	c #Conflicts:     100000 | #Constraints:     667015
987.06/991.76	c #Conflicts:     101000 | #Constraints:     668015
987.06/991.76	c #Conflicts:     102000 | #Constraints:     669015
987.06/991.76	c #Conflicts:     103000 | #Constraints:     670015
987.06/991.76	c INPROCESSING
987.06/991.76	c GARBAGE COLLECT
987.06/991.76	c rational objective 177.766
1034.52/1039.35	c #Conflicts:     104000 | #Constraints:     664594
1034.52/1039.35	c #Conflicts:     105000 | #Constraints:     665594
1034.52/1039.35	c #Conflicts:     106000 | #Constraints:     666595
1034.52/1039.35	c #Conflicts:     107000 | #Constraints:     667596
1034.52/1039.35	c #Conflicts:     108000 | #Constraints:     668597
1034.52/1039.35	c bounds 355 >= 79 @ 1023.21
1074.11/1079.01	c #Conflicts:     109000 | #Constraints:     669651
1074.11/1079.01	c #Conflicts:     110000 | #Constraints:     670651
1074.11/1079.01	c INPROCESSING
1074.11/1079.01	c GARBAGE COLLECT
1074.11/1079.01	c rational objective 178.501
1137.71/1142.80	c #Conflicts:     111000 | #Constraints:     665012
1137.71/1142.80	c #Conflicts:     112000 | #Constraints:     666014
1137.71/1142.80	c #Conflicts:     113000 | #Constraints:     667014
1137.71/1142.80	c #Conflicts:     114000 | #Constraints:     668015
1137.71/1142.80	c #Conflicts:     115000 | #Constraints:     669015
1137.71/1142.80	c bounds 355 >= 80 @ 1125.4
1157.24/1162.40	c #Conflicts:     116000 | #Constraints:     670063
1157.24/1162.40	c #Conflicts:     117000 | #Constraints:     671064
1157.24/1162.40	c INPROCESSING
1157.24/1162.40	c GARBAGE COLLECT
1157.24/1162.40	c rational objective 178.527
1214.58/1219.99	c #Conflicts:     118000 | #Constraints:     665248
1214.58/1219.99	c #Conflicts:     119000 | #Constraints:     666249
1214.58/1219.99	c #Conflicts:     120000 | #Constraints:     667250
1214.58/1219.99	c #Conflicts:     121000 | #Constraints:     668251
1214.58/1219.99	c #Conflicts:     122000 | #Constraints:     669251
1214.58/1219.99	c #Conflicts:     123000 | #Constraints:     670252
1214.58/1219.99	c bounds 355 >= 81 @ 1201.42
1434.95/1440.92	c #Conflicts:     124000 | #Constraints:     671303
1434.95/1440.92	c INPROCESSING
1434.95/1440.92	c GARBAGE COLLECT
1434.95/1440.92	c #Conflicts:     125000 | #Constraints:     665260
1434.95/1440.92	c #Conflicts:     126000 | #Constraints:     666262
1434.95/1440.92	c #Conflicts:     127000 | #Constraints:     667263
1434.95/1440.92	c #Conflicts:     128000 | #Constraints:     668263
1434.95/1440.92	c #Conflicts:     129000 | #Constraints:     669263
1434.95/1440.92	c #Conflicts:     130000 | #Constraints:     670264
1434.95/1440.92	c #Conflicts:     131000 | #Constraints:     671264
1434.95/1440.92	c INPROCESSING
1434.95/1440.92	c GARBAGE COLLECT
1434.95/1440.92	c rational objective 178.532
1501.26/1507.48	c #Conflicts:     132000 | #Constraints:     665049
1501.26/1507.48	c #Conflicts:     133000 | #Constraints:     666051
1501.26/1507.48	c #Conflicts:     134000 | #Constraints:     667052
1501.26/1507.48	c #Conflicts:     135000 | #Constraints:     668052
1501.26/1507.48	c #Conflicts:     136000 | #Constraints:     669052
1501.26/1507.48	c #Conflicts:     137000 | #Constraints:     670052
1501.26/1507.48	c #Conflicts:     138000 | #Constraints:     671052
1501.26/1507.48	c bounds 355 >= 82 @ 1486.08
1604.92/1611.41	c #Conflicts:     139000 | #Constraints:     672133
1604.92/1611.41	c INPROCESSING
1604.92/1611.41	c GARBAGE COLLECT
1604.92/1611.41	c rational objective 178.533
1693.07/1699.84	c #Conflicts:     140000 | #Constraints:     665693
1693.07/1699.84	c #Conflicts:     141000 | #Constraints:     666696
1693.07/1699.84	c #Conflicts:     142000 | #Constraints:     667737
1693.07/1699.84	c #Conflicts:     143000 | #Constraints:     668737
1693.07/1699.84	c #Conflicts:     144000 | #Constraints:     669737
1693.07/1699.84	c #Conflicts:     145000 | #Constraints:     670738
1693.07/1699.84	c #Conflicts:     146000 | #Constraints:     671738
1693.07/1699.84	c #Conflicts:     147000 | #Constraints:     672794
1693.07/1699.84	c INPROCESSING
1693.07/1699.84	c GARBAGE COLLECT
1693.07/1699.84	c rational objective 179.692
1700.95/1707.76	c bounds 355 >= 83 @ 1684.61
1789.00/1796.06	c #Conflicts:     148000 | #Constraints:     666234
1789.00/1796.06	c #Conflicts:     149000 | #Constraints:     667234
1789.00/1796.06	c #Conflicts:     150000 | #Constraints:     668234
1789.00/1796.06	c #Conflicts:     151000 | #Constraints:     669234
1789.00/1796.06	c #Conflicts:     152000 | #Constraints:     670234
1789.00/1796.06	c #Conflicts:     153000 | #Constraints:     671234
1789.00/1796.06	c #Conflicts:     154000 | #Constraints:     672234
1789.00/1796.06	c #Conflicts:     155000 | #Constraints:     673235
1789.00/1796.06	c INPROCESSING
1789.00/1796.06	c GARBAGE COLLECT
1789.00/1796.06	c rational objective 179.692
1895.78/1903.19	c #Conflicts:     156000 | #Constraints:     666388
1895.78/1903.19	c #Conflicts:     157000 | #Constraints:     667388
1895.78/1903.19	c #Conflicts:     158000 | #Constraints:     668388
1895.78/1903.19	c #Conflicts:     159000 | #Constraints:     669390
1895.78/1903.19	c #Conflicts:     160000 | #Constraints:     670392
1895.78/1903.19	c #Conflicts:     161000 | #Constraints:     671393
1895.78/1903.19	c #Conflicts:     162000 | #Constraints:     672400
1895.78/1903.19	c #Conflicts:     163000 | #Constraints:     673401
1895.78/1903.19	c INPROCESSING
1895.78/1903.19	c GARBAGE COLLECT
1895.78/1903.19	c rational objective 181.306
2108.81/2116.86	c #Conflicts:     164000 | #Constraints:     666361
2108.81/2116.86	c #Conflicts:     165000 | #Constraints:     667361
2108.81/2116.86	c #Conflicts:     166000 | #Constraints:     668361
2108.81/2116.86	c #Conflicts:     167000 | #Constraints:     669361
2108.81/2116.86	c #Conflicts:     168000 | #Constraints:     670363
2108.81/2116.86	c #Conflicts:     169000 | #Constraints:     671363
2108.81/2116.86	c #Conflicts:     170000 | #Constraints:     672366
2108.81/2116.86	c #Conflicts:     171000 | #Constraints:     673367
2108.81/2116.86	c INPROCESSING
2108.81/2116.86	c GARBAGE COLLECT
2108.81/2116.86	c rational objective 181.306
2115.59/2123.64	c bounds 353 >= 83 @ 2095.5
2116.59/2124.65	c bounds 352 >= 83 @ 2096.49
2119.99/2128.05	c #Conflicts:     172000 | #Constraints:     666140
2119.99/2128.05	c bounds 350 >= 83 @ 2099.83
2136.23/2144.38	c #Conflicts:     173000 | #Constraints:     667178
2136.23/2144.38	c bounds 349 >= 83 @ 2115.9
2232.78/2241.16	c #Conflicts:     174000 | #Constraints:     668216
2232.78/2241.16	c #Conflicts:     175000 | #Constraints:     669217
2232.78/2241.16	c #Conflicts:     176000 | #Constraints:     670218
2232.78/2241.16	c #Conflicts:     177000 | #Constraints:     671218
2232.78/2241.16	c #Conflicts:     178000 | #Constraints:     672222
2232.78/2241.16	c #Conflicts:     179000 | #Constraints:     673222
2232.78/2241.16	c #Conflicts:     180000 | #Constraints:     674223
2232.78/2241.16	c INPROCESSING
2232.78/2241.16	c GARBAGE COLLECT
2232.78/2241.16	c rational objective 181.306
2238.85/2247.28	c bounds 348 >= 83 @ 2217.45
2238.95/2247.31	c bounds 347 >= 83 @ 2217.48
2238.95/2247.33	c bounds 343 >= 83 @ 2217.49
2238.95/2247.35	c bounds 340 >= 83 @ 2217.5
2238.95/2247.37	c bounds 339 >= 83 @ 2217.52
2239.55/2247.95	c bounds 332 >= 83 @ 2218.09
2239.75/2248.10	c bounds 330 >= 83 @ 2218.23
2244.54/2252.92	c #Conflicts:     181000 | #Constraints:     666779
2244.54/2252.92	c bounds 329 >= 83 @ 2222.96
2443.64/2452.63	c #Conflicts:     182000 | #Constraints:     667780
2443.64/2452.63	c #Conflicts:     183000 | #Constraints:     668780
2443.64/2452.63	c #Conflicts:     184000 | #Constraints:     669780
2443.64/2452.63	c #Conflicts:     185000 | #Constraints:     670781
2443.64/2452.63	c #Conflicts:     186000 | #Constraints:     671781
2443.64/2452.63	c #Conflicts:     187000 | #Constraints:     672781
2443.64/2452.63	c #Conflicts:     188000 | #Constraints:     673781
2443.64/2452.63	c #Conflicts:     189000 | #Constraints:     674792
2443.64/2452.63	c INPROCESSING
2443.64/2452.63	c GARBAGE COLLECT
2443.64/2452.63	c rational objective 181.306
2499.30/2508.42	c #Conflicts:     190000 | #Constraints:     667159
2499.30/2508.42	c #Conflicts:     191000 | #Constraints:     668200
2499.30/2508.42	c #Conflicts:     192000 | #Constraints:     669274
2499.30/2508.42	c #Conflicts:     193000 | #Constraints:     670280
2499.30/2508.42	c bounds 328 >= 83 @ 2476.17
2535.91/2545.19	c #Conflicts:     194000 | #Constraints:     671286
2535.91/2545.19	c #Conflicts:     195000 | #Constraints:     672286
2535.91/2545.19	c #Conflicts:     196000 | #Constraints:     673286
2535.91/2545.19	c #Conflicts:     197000 | #Constraints:     674286
2535.91/2545.19	c #Conflicts:     198000 | #Constraints:     675286
2535.91/2545.19	c INPROCESSING
2535.91/2545.19	c GARBAGE COLLECT
2535.91/2545.19	c rational objective 177.508
2575.10/2584.47	c #Conflicts:     199000 | #Constraints:     667401
2575.10/2584.47	c #Conflicts:     200000 | #Constraints:     668401
2575.10/2584.47	c #Conflicts:     201000 | #Constraints:     669401
2575.10/2584.47	c #Conflicts:     202000 | #Constraints:     670401
2575.10/2584.47	c bounds 328 >= 84 @ 2550.86
2603.52/2612.92	c #Conflicts:     203000 | #Constraints:     671494
2603.52/2612.92	c #Conflicts:     204000 | #Constraints:     672494
2603.52/2612.92	c #Conflicts:     205000 | #Constraints:     673494
2603.52/2612.92	c #Conflicts:     206000 | #Constraints:     674494
2603.52/2612.92	c #Conflicts:     207000 | #Constraints:     675494
2603.52/2612.92	c INPROCESSING
2603.52/2612.92	c GARBAGE COLLECT
2603.52/2612.92	c rational objective 178.379
2762.88/2772.75	c #Conflicts:     208000 | #Constraints:     667422
2762.88/2772.75	c #Conflicts:     209000 | #Constraints:     668422
2762.88/2772.75	c #Conflicts:     210000 | #Constraints:     669422
2762.88/2772.75	c #Conflicts:     211000 | #Constraints:     670422
2762.88/2772.75	c #Conflicts:     212000 | #Constraints:     671422
2762.88/2772.75	c #Conflicts:     213000 | #Constraints:     672423
2762.88/2772.75	c #Conflicts:     214000 | #Constraints:     673423
2762.88/2772.75	c #Conflicts:     215000 | #Constraints:     674423
2762.88/2772.75	c #Conflicts:     216000 | #Constraints:     675425
2762.88/2772.75	c INPROCESSING
2762.88/2772.75	c GARBAGE COLLECT
2762.88/2772.75	c rational objective 178.417
2802.47/2812.49	c #Conflicts:     217000 | #Constraints:     667184
2802.47/2812.49	c #Conflicts:     218000 | #Constraints:     668186
2802.47/2812.49	c bounds 328 >= 85 @ 2776.26
2870.56/2880.75	c #Conflicts:     219000 | #Constraints:     669246
2870.56/2880.75	c #Conflicts:     220000 | #Constraints:     670246
2870.56/2880.75	c #Conflicts:     221000 | #Constraints:     671246
2870.56/2880.75	c #Conflicts:     222000 | #Constraints:     672246
2870.56/2880.75	c #Conflicts:     223000 | #Constraints:     673246
2870.56/2880.75	c #Conflicts:     224000 | #Constraints:     674246
2870.56/2880.75	c #Conflicts:     225000 | #Constraints:     675247
2870.56/2880.75	c #Conflicts:     226000 | #Constraints:     676248
2870.56/2880.75	c INPROCESSING
2870.56/2880.75	c GARBAGE COLLECT
2870.56/2880.75	c rational objective 178.418
2975.17/2985.61	c #Conflicts:     227000 | #Constraints:     667816
2975.17/2985.61	c #Conflicts:     228000 | #Constraints:     668817
2975.17/2985.61	c #Conflicts:     229000 | #Constraints:     669817
2975.17/2985.61	c #Conflicts:     230000 | #Constraints:     670818
2975.17/2985.61	c #Conflicts:     231000 | #Constraints:     671818
2975.17/2985.61	c #Conflicts:     232000 | #Constraints:     672818
2975.17/2985.61	c #Conflicts:     233000 | #Constraints:     673818
2975.17/2985.61	c #Conflicts:     234000 | #Constraints:     674819
2975.17/2985.61	c #Conflicts:     235000 | #Constraints:     675819
2975.17/2985.61	c #Conflicts:     236000 | #Constraints:     676819
2975.17/2985.61	c INPROCESSING
2975.17/2985.61	c GARBAGE COLLECT
2975.17/2985.61	c rational objective 178.472
3007.08/3017.64	c #Conflicts:     237000 | #Constraints:     668198
3007.08/3017.64	c #Conflicts:     238000 | #Constraints:     669198
3007.08/3017.64	c bounds 326 >= 85 @ 2978.19
3079.19/3089.99	c #Conflicts:     239000 | #Constraints:     670204
3079.19/3089.99	c #Conflicts:     240000 | #Constraints:     671204
3079.19/3089.99	c #Conflicts:     241000 | #Constraints:     672204
3079.19/3089.99	c #Conflicts:     242000 | #Constraints:     673204
3079.19/3089.99	c #Conflicts:     243000 | #Constraints:     674204
3079.19/3089.99	c #Conflicts:     244000 | #Constraints:     675204
3079.19/3089.99	c #Conflicts:     245000 | #Constraints:     676204
3079.19/3089.99	c #Conflicts:     246000 | #Constraints:     677205
3079.19/3089.99	c INPROCESSING
3079.19/3089.99	c GARBAGE COLLECT
3079.19/3089.99	c rational objective 178.472
3206.74/3217.85	c #Conflicts:     247000 | #Constraints:     668403
3206.74/3217.85	c #Conflicts:     248000 | #Constraints:     669404
3206.74/3217.85	c #Conflicts:     249000 | #Constraints:     670404
3206.74/3217.85	c #Conflicts:     250000 | #Constraints:     671405
3206.74/3217.85	c #Conflicts:     251000 | #Constraints:     672406
3206.74/3217.85	c #Conflicts:     252000 | #Constraints:     673406
3206.74/3217.85	c #Conflicts:     253000 | #Constraints:     674406
3206.74/3217.85	c #Conflicts:     254000 | #Constraints:     675406
3206.74/3217.85	c #Conflicts:     255000 | #Constraints:     676407
3206.74/3217.85	c #Conflicts:     256000 | #Constraints:     677408
3206.74/3217.85	c bounds 326 >= 86 @ 3175.06
3354.20/3365.71	c INPROCESSING
3354.20/3365.71	c GARBAGE COLLECT
3354.20/3365.71	c rational objective 178.472
3458.23/3470.00	c #Conflicts:     257000 | #Constraints:     668444
3458.23/3470.00	c #Conflicts:     258000 | #Constraints:     669444
3458.23/3470.00	c #Conflicts:     259000 | #Constraints:     670444
3458.23/3470.00	c #Conflicts:     260000 | #Constraints:     671445
3458.23/3470.00	c #Conflicts:     261000 | #Constraints:     672445
3458.23/3470.00	c #Conflicts:     262000 | #Constraints:     673446
3458.23/3470.00	c #Conflicts:     263000 | #Constraints:     674446
3458.23/3470.00	c #Conflicts:     264000 | #Constraints:     675446
3458.23/3470.00	c #Conflicts:     265000 | #Constraints:     676446
3458.23/3470.00	c #Conflicts:     266000 | #Constraints:     677447
3458.23/3470.00	c INPROCESSING
3458.23/3470.00	c GARBAGE COLLECT
3458.23/3470.00	c rational objective 178.472
3564.62/3576.77	c #Conflicts:     267000 | #Constraints:     668242
3564.62/3576.77	c #Conflicts:     268000 | #Constraints:     669242
3564.62/3576.77	c #Conflicts:     269000 | #Constraints:     670242
3564.62/3576.77	c #Conflicts:     270000 | #Constraints:     671242
3564.62/3576.77	c #Conflicts:     271000 | #Constraints:     672243
3564.62/3576.77	c #Conflicts:     272000 | #Constraints:     673244
3564.62/3576.77	c #Conflicts:     273000 | #Constraints:     674246
3564.62/3576.77	c #Conflicts:     274000 | #Constraints:     675246
3564.62/3576.77	c #Conflicts:     275000 | #Constraints:     676246
3564.62/3576.77	c #Conflicts:     276000 | #Constraints:     677246
3564.62/3576.77	c #Conflicts:     277000 | #Constraints:     678246
3564.62/3576.77	c INPROCESSING
3564.62/3576.77	c GARBAGE COLLECT
3564.62/3576.77	c rational objective 178.479
3600.02/3612.23	c #Conflicts:     278000 | #Constraints:     668825
3600.02/3612.23	c #Conflicts:     279000 | #Constraints:     669845
3600.02/3612.23	c cpu time 3564.63 s
3600.02/3612.23	c deterministic time 74665767847 7.47e+10
3600.02/3612.23	c optimization time 30.9763 s
3600.02/3612.23	c total solve time 3530.65 s
3600.02/3612.23	c core-guided solve time 3139.55 s
3600.02/3612.23	c propagation time 1214.98 s
3600.02/3612.23	c conflict analysis time 868.783 s
3600.02/3612.23	c propagations 96665636
3600.02/3612.23	c resolve steps 4601390
3600.02/3612.23	c decisions 10039504
3600.02/3612.23	c conflicts 279810
3600.02/3612.23	c restarts 659
3600.02/3612.23	c inprocessing phases 44
3600.02/3612.23	c garbage collections 42 ,( 95.45 )
3600.02/3612.23	c input clauses 657287 ,( 99.83 )
3600.02/3612.23	c input cardinalities 448 ,( 0.07 )
3600.02/3612.23	c input general constraints 690 ,( 0.10 )
3600.02/3612.23	c input average constraint length 6.90
3600.02/3612.23	c input average constraint degree 140.84
3600.02/3612.23	c learned clauses 197739 ,( 70.52 )
3600.02/3612.23	c learned cardinalities 44 ,( 0.02 )
3600.02/3612.23	c learned general constraints 82604 ,( 29.46 )
3600.02/3612.23	c learned average constraint length 1478.28
3600.02/3612.23	c learned average constraint degree 15131285035.12
3600.02/3612.23	c watched  CF 32, 64, 128, Arb: 2804 , 0 , 0 , 0
3600.02/3612.23	c counting CF 32, 64, 128, Arb: 80491 , 0 , 0 , 0
3600.02/3612.23	c watched   constraints 2804 ,( 3.37 ) 
3600.02/3612.23	c counting  constraints 80490 ,( 96.63 ) 
3600.02/3612.23	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 56625398 , 3162411 , 1060464088 ,( 20236241 , 1040227847 )
3600.02/3612.23	c gcd simplifications 10090
3600.02/3612.23	c detected cardinalities 1
3600.02/3612.23	c weakened non-implied lits 938369768
3600.02/3612.23	c weakened non-implying lits 165784
3600.02/3612.23	c original variables 10000
3600.02/3612.23	c clausal propagations 16652524
3600.02/3612.23	c cardinality propagations 815060
3600.02/3612.23	c watched propagations 59432
3600.02/3612.23	c counting propagations 76338440
3600.02/3612.23	c watch lookups 5468829493
3600.02/3612.23	c watch backjump lookups 0
3600.02/3612.23	c watch checks 3276598445
3600.02/3612.23	c propagation checks 61285016359
3600.02/3612.23	c constraint additions 4421164155
3600.02/3612.23	c trail pops 106974513
3600.02/3612.23	c formula constraints 656900
3600.02/3612.23	c learned constraints 279700
3600.02/3612.23	c bound constraints 246
3600.02/3612.23	c core-guided constraints 1279
3600.02/3612.23	c encountered formula constraints 1710533
3600.02/3612.23	c encountered learned constraints 1836637
3600.02/3612.23	c encountered bound constraints 6496
3600.02/3612.23	c encountered core-guided constraints 1317155
3600.02/3612.23	c LP total time 2138.16 s
3600.02/3612.23	c LP solve time 1948.21 s
3600.02/3612.23	c LP constraints added 656985
3600.02/3612.23	c LP constraints removed 50
3600.02/3612.23	c LP pivots internal 279885
3600.02/3612.23	c LP pivots root 199856
3600.02/3612.23	c LP calls 799
3600.02/3612.23	c LP optimalities 256
3600.02/3612.23	c LP no pivot count 33
3600.02/3612.23	c LP infeasibilities 524
3600.02/3612.23	c LP valid Farkas constraints 520
3600.02/3612.23	c LP learned Farkas constraints 114
3600.02/3612.23	c LP basis resets 18
3600.02/3612.23	c LP cycling count 8
3600.02/3612.23	c LP singular count 4
3600.02/3612.23	c LP no primal count 0
3600.02/3612.23	c LP no farkas count 4
3600.02/3612.23	c LP other issue count 2
3600.02/3612.23	c LP Gomory cuts 53
3600.02/3612.23	c LP learned cuts 32
3600.02/3612.23	c LP deleted cuts 50
3600.02/3612.23	c LP encountered Gomory constraints 156
3600.02/3612.23	c LP encountered Farkas constraints 10040
3600.02/3612.23	c LP encountered learned Farkas constraints 69
3600.02/3612.23	c CG auxiliary variables introduced 446
3600.02/3612.23	c CG solutions found 186
3600.02/3612.23	c CG cores constructed 59
3600.02/3612.23	c CG core cardinality constraints returned 0
3600.02/3612.23	c CG unit cores 0
3600.02/3612.23	c CG single cores 59
3600.02/3612.23	c CG blocks removed during cardinality reduction 0
3600.02/3612.23	c CG first core best 0
3600.02/3612.23	c CG decision core best 0
3600.02/3612.23	c CG core reduction tie 0
3600.02/3612.23	c CG core degree average 1.00
3600.02/3612.23	c CG core slack average 867.39
3600.02/3612.23	c CG core upper bound improvements 72
3600.02/3612.23	c STR number of successful calls 0
3600.02/3612.23	c STR number of unsuccessful calls 0
3600.02/3612.23	c STR number of inconclusive calls 0
3600.02/3612.23	c STR number of successful attempts 0
3600.02/3612.23	c STR number of unsuccessful attempts 0
3600.02/3612.23	c STR number of inconclusive attempts 0
3600.02/3612.23	c STR average degree increase per successful call inf
3600.02/3612.23	c STR average degree increase per successful attempt inf
3600.02/3612.23	c STR total number of conflicts for successful attempts 0
3600.02/3612.23	c STR total number of conflicts for unsuccessful attempts 0
3600.02/3612.23	c STR total number of conflicts for inconclusive attempts 0
3600.02/3612.23	c STR average number of conflicts per successful attempt inf
3600.02/3612.23	c STR average number of conflicts per unsuccessful attempt inf
3600.02/3612.23	c STR average number of conflicts per inconclusive attempt inf
3600.02/3612.23	c AVG.sumWPerc 93.14 
3600.02/3612.23	c bigint constraints 0 
3600.02/3612.23	o 326
3600.02/3612.23	s SATISFIABLE
3600.02/3612.23	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 x3388 -x3389 x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000
3600.02/3612.23	c Program interrupted by user.

Verifier Data 

OK	326

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (61882 MiB free)
  memory of node 1: 64465 MiB (62914 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489647-1751357690/watcher-4489647-1751357690 -o /tmp/evaluation-result-4489647-1751357690/solver-4489647-1751357690 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751350437-48858 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4489647-1751357690.opb PROOFDIR/proof-4489647-1751357690 

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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=49726, runsolver pid=49722
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 4.36 4.20 4.14 5/277 49728
/proc/meminfo: memFree=127650424/131249996 swapFree=33010684/33010684
[pid=49726] ppid=49722 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/49726/stat : 49726 (run-opt-ls-log.) S 49722 49726 48846 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51447445 4292608 768 18446744073709551615 94106056318976 94106057213509 140722369962032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94106057452560 94106057500304 94106073624576 140722369964315 140722369964513 140722369964513 140722369970115 0
/proc/49726/statm: 1048 768 704 219 0 110 0
[pid=49728] ppid=49726 vsize=165352 memory=147636 CPUtime=0.08 cores=1,3
/proc/49728/stat : 49728 (pbsuma) R 49726 49726 48846 0 -1 4194304 4513 0 0 0 5 3 0 0 20 0 1 0 51447446 169320448 36909 18446744073709551615 4210688 4653049 140733988227312 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 6246400 140733988231395 140733988231730 140733988231730 140733988237295 0
/proc/49728/statm: 41338 36909 928 108 0 38746 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 169544 KiB
Current children cumulated memory: 150708 KiB

[startup+0.205877 s]*
/proc/loadavg: 4.36 4.20 4.14 5/277 49728
/proc/meminfo: memFree=127626104/131249996 swapFree=33010684/33010684
[pid=49726] ppid=49722 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/49726/stat : 49726 (run-opt-ls-log.) S 49722 49726 48846 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51447445 4292608 768 18446744073709551615 94106056318976 94106057213509 140722369962032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94106057452560 94106057500304 94106073624576 140722369964315 140722369964513 140722369964513 140722369970115 0
/proc/49726/statm: 1048 768 704 219 0 110 0
[pid=49728] ppid=49726 vsize=181448 memory=167676 CPUtime=0.18 cores=1,3
/proc/49728/stat : 49728 (pbsuma) R 49726 49726 48846 0 -1 4194304 8949 0 0 0 14 4 0 0 20 0 1 0 51447446 185802752 41919 18446744073709551615 4210688 4653049 140733988227312 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 6246400 140733988231395 140733988231730 140733988231730 140733988237295 0
/proc/49728/statm: 45362 41919 928 108 0 42770 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 185640 KiB
Current children cumulated memory: 170748 KiB

[startup+0.305831 s]*
/proc/loadavg: 4.36 4.20 4.14 5/277 49728
/proc/meminfo: memFree=127590444/131249996 swapFree=33010684/33010684
[pid=49726] ppid=49722 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/49726/stat : 49726 (run-opt-ls-log.) S 49722 49726 48846 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51447445 4292608 768 18446744073709551615 94106056318976 94106057213509 140722369962032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94106057452560 94106057500304 94106073624576 140722369964315 140722369964513 140722369964513 140722369970115 0
/proc/49726/statm: 1048 768 704 219 0 110 0
[pid=49728] ppid=49726 vsize=195180 memory=184496 CPUtime=0.28 cores=1,3
/proc/49728/stat : 49728 (pbsuma) R 49726 49726 48846 0 -1 4194304 12138 0 0 0 23 5 0 0 20 0 1 0 51447446 199864320 46124 18446744073709551615 4210688 4653049 140733988227312 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 6246400 140733988231395 140733988231730 140733988231730 140733988237295 0
/proc/49728/statm: 48795 46124 928 108 0 46203 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 199372 KiB
Current children cumulated memory: 187568 KiB

[startup+0.700172 s]
/proc/loadavg: 4.36 4.20 4.14 5/277 49728
/proc/meminfo: memFree=127494820/131249996 swapFree=33010684/33010684
[pid=49726] ppid=49722 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/49726/stat : 49726 (run-opt-ls-log.) S 49722 49726 48846 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51447445 4292608 768 18446744073709551615 94106056318976 94106057213509 140722369962032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94106057452560 94106057500304 94106073624576 140722369964315 140722369964513 140722369964513 140722369970115 0
/proc/49726/statm: 1048 768 704 219 0 110 0
[pid=49728] ppid=49726 vsize=313688 memory=268568 CPUtime=0.67 cores=1,3
/proc/49728/stat : 49728 (pbsuma) R 49726 49726 48846 0 -1 4194304 24248 0 0 0 59 8 0 0 20 0 1 0 51447446 321216512 67142 18446744073709551615 4210688 4653049 140733988227312 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 6246400 140733988231395 140733988231730 140733988231730 140733988237295 0
/proc/49728/statm: 78422 67142 1024 108 0 75830 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 317880 KiB
Current children cumulated memory: 271640 KiB

[startup+1.50016 s]
/proc/loadavg: 4.36 4.20 4.14 5/277 49729
/proc/meminfo: memFree=127600652/131249996 swapFree=33010684/33010684
[pid=49726] ppid=49722 vsize=4192 memory=3072 CPUtime=0.9 cores=1,3
/proc/49726/stat : 49726 (run-opt-ls-log.) S 49722 49726 48846 0 -1 4194304 240 28232 0 0 0 0 79 11 20 0 1 0 51447445 4292608 768 18446744073709551615 94106056318976 94106057213509 140722369962032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106057452560 94106057500304 94106073624576 140722369964315 140722369964513 140722369964513 140722369970115 0
/proc/49726/statm: 1048 768 704 219 0 110 0
[pid=49729] ppid=49726 vsize=108516 memory=63556 CPUtime=0.56 cores=1,3
/proc/49729/stat : 49729 (roundingsat) R 49726 49726 48846 0 -1 4194304 13600 0 0 0 44 12 0 0 20 0 1 0 51447538 111120384 15889 18446744073709551615 4227072 8923433 140735710099616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42586112 140735710103798 140735710104104 140735710104104 140735710109674 0
/proc/49729/statm: 27129 15889 2048 1147 0 14556 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 112708 KiB
Current children cumulated memory: 66628 KiB

[startup+3.10564 s]
/proc/loadavg: 4.36 4.20 4.14 5/277 49729
/proc/meminfo: memFree=126959812/131249996 swapFree=33010684/33010684
[pid=49726] ppid=49722 vsize=4192 memory=3072 CPUtime=0.9 cores=1,3
/proc/49726/stat : 49726 (run-opt-ls-log.) S 49722 49726 48846 0 -1 4194304 240 28232 0 0 0 0 79 11 20 0 1 0 51447445 4292608 768 18446744073709551615 94106056318976 94106057213509 140722369962032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106057452560 94106057500304 94106073624576 140722369964315 140722369964513 140722369964513 140722369970115 0
/proc/49726/statm: 1048 768 704 219 0 110 0
[pid=49729] ppid=49726 vsize=264240 memory=203076 CPUtime=2.15 cores=1,3
/proc/49729/stat : 49729 (roundingsat) R 49726 49726 48846 0 -1 4194304 45267 0 0 0 170 45 0 0 20 0 1 0 51447538 270581760 50769 18446744073709551615 4227072 8923433 140735710099616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42586112 140735710103798 140735710104104 140735710104104 140735710109674 0
/proc/49729/statm: 66060 50769 2048 1147 0 53487 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 268432 KiB
Current children cumulated memory: 206148 KiB

[startup+6.30018 s]
/proc/loadavg: 4.41 4.22 4.15 5/277 49729
/proc/meminfo: memFree=125725476/131249996 swapFree=33010684/33010684
[pid=49726] ppid=49722 vsize=4192 memory=3072 CPUtime=0.9 cores=1,3
/proc/49726/stat : 49726 (run-opt-ls-log.) S 49722 49726 48846 0 -1 4194304 240 28232 0 0 0 0 79 11 20 0 1 0 51447445 4292608 768 18446744073709551615 94106056318976 94106057213509 140722369962032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106057452560 94106057500304 94106073624576 140722369964315 140722369964513 140722369964513 140722369970115 0
/proc/49726/statm: 1048 768 704 219 0 110 0
[pid=49729] ppid=49726 vsize=1067536 memory=807204 CPUtime=5.34 cores=1,3
/proc/49729/stat : 49729 (roundingsat) R 49726 49726 48846 0 -1 4194304 90206 0 0 0 456 78 0 0 20 0 1 0 51447538 1093156864 201801 18446744073709551615 4227072 8923433 140735710099616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42586112 140735710103798 140735710104104 140735710104104 140735710109674 0
/proc/49729/statm: 266884 201801 2368 1147 0 254311 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1071728 KiB
Current children cumulated memory: 810276 KiB

[startup+12.7001 s]
/proc/loadavg: 4.46 4.23 4.15 5/277 49729
/proc/meminfo: memFree=125423320/131249996 swapFree=33010684/33010684
[pid=49726] ppid=49722 vsize=4192 memory=3072 CPUtime=0.9 cores=1,3
/proc/49726/stat : 49726 (run-opt-ls-log.) S 49722 49726 48846 0 -1 4194304 240 28232 0 0 0 0 79 11 20 0 1 0 51447445 4292608 768 18446744073709551615 94106056318976 94106057213509 140722369962032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106057452560 94106057500304 94106073624576 140722369964315 140722369964513 140722369964513 140722369970115 0
/proc/49726/statm: 1048 768 704 219 0 110 0
[pid=49729] ppid=49726 vsize=1245648 memory=936052 CPUtime=11.73 cores=1,3
/proc/49729/stat : 49729 (roundingsat) R 49726 49726 48846 0 -1 4194304 104168 0 0 0 1080 93 0 0 20 0 1 0 51447538 1275543552 234013 18446744073709551615 4227072 8923433 140735710099616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42586112 140735710103798 140735710104104 140735710104104 140735710109674 0
/proc/49729/statm: 311412 234013 2432 1147 0 298839 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1249840 KiB
Current children cumulated memory: 939124 KiB

[startup+25.5002 s]
/proc/loadavg: 4.66 4.28 4.17 5/277 49729
/proc/meminfo: memFree=124933016/131249996 swapFree=33010684/33010684
[pid=49726] ppid=49722 vsize=4192 memory=3072 CPUtime=0.9 cores=1,3
/proc/49726/stat : 49726 (run-opt-ls-log.) S 49722 49726 48846 0 -1 4194304 240 28232 0 0 0 0 79 11 20 0 1 0 51447445 4292608 768 18446744073709551615 94106056318976 94106057213509 140722369962032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106057452560 94106057500304 94106073624576 140722369964315 140722369964513 140722369964513 140722369970115 0
/proc/49726/statm: 1048 768 704 219 0 110 0
[pid=49729] ppid=49726 vsize=1354096 memory=1037688 CPUtime=24.49 cores=1,3
/proc/49729/stat : 49729 (roundingsat) R 49726 49726 48846 0 -1 4194304 117324 0 0 0 2307 142 0 0 20 0 1 0 51447538 1386594304 259422 18446744073709551615 4227072 8923433 140735710099616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42586112 140735710103798 140735710104104 140735710104104 140735710109674 0
/proc/49729/statm: 338524 259422 2432 1147 0 325951 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1358288 KiB
Current children cumulated memory: 1040760 KiB

[startup+51.1057 s]
/proc/loadavg: 4.68 4.32 4.19 5/277 49730
/proc/meminfo: memFree=124349484/131249996 swapFree=33010684/33010684
[pid=49726] ppid=49722 vsize=4192 memory=3072 CPUtime=0.9 cores=1,3
/proc/49726/stat : 49726 (run-opt-ls-log.) S 49722 49726 48846 0 -1 4194304 240 28232 0 0 0 0 79 11 20 0 1 0 51447445 4292608 768 18446744073709551615 94106056318976 94106057213509 140722369962032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106057452560 94106057500304 94106073624576 140722369964315 140722369964513 140722369964513 140722369970115 0
/proc/49726/statm: 1048 768 704 219 0 110 0
[pid=49729] ppid=49726 vsize=1359232 memory=1052332 CPUtime=49.76 cores=1,3
/proc/49729/stat : 49729 (roundingsat) R 49726 49726 48846 0 -1 4194304 117381 0 0 0 4812 164 0 0 20 0 1 0 51447538 1391853568 263083 18446744073709551615 4227072 8923433 140735710099616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42586112 140735710103798 140735710104104 140735710104104 140735710109674 0
/proc/49729/statm: 339808 263083 2432 1147 0 327235 0
Current children cumulated CPU time: 50.66 s
Current children cumulated vsize: 1363424 KiB
Current children cumulated memory: 1055404 KiB

[startup+102.3 s]
/proc/loadavg: 4.34 4.29 4.18 5/276 49731
/proc/meminfo: memFree=122367280/131249996 swapFree=33010684/33010684
[pid=49726] ppid=49722 vsize=4192 memory=3072 CPUtime=0.9 cores=1,3
/proc/49726/stat : 49726 (run-opt-ls-log.) S 49722 49726 48846 0 -1 4194304 240 28232 0 0 0 0 79 11 20 0 1 0 51447445 4292608 768 18446744073709551615 94106056318976 94106057213509 140722369962032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106057452560 94106057500304 94106073624576 140722369964315 140722369964513 140722369964513 140722369970115 0
/proc/49726/statm: 1048 768 704 219 0 110 0
[pid=49729] ppid=49726 vsize=1828060 memory=1460948 CPUtime=100.46 cores=1,3
/proc/49729/stat : 49729 (roundingsat) R 49726 49726 48846 0 -1 4194304 175422 0 0 0 9800 246 0 0 20 0 1 0 51447538 1871933440 365237 18446744073709551615 4227072 8923433 140735710099616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42586112 140735710103798 140735710104104 140735710104104 140735710109674 0
/proc/49729/statm: 457015 365237 2464 1147 0 444442 0
Current children cumulated CPU time: 101.36 s
Current children cumulated vsize: 1832252 KiB
Current children cumulated memory: 1464020 KiB

[startup+162.3 s]
/proc/loadavg: 4.24 4.26 4.18 5/276 49733
/proc/meminfo: memFree=120569188/131249996 swapFree=33010684/33010684
[pid=49726] ppid=49722 vsize=4192 memory=3072 CPUtime=0.9 cores=1,3
/proc/49726/stat : 49726 (run-opt-ls-log.) S 49722 49726 48846 0 -1 4194304 240 28232 0 0 0 0 79 11 20 0 1 0 51447445 4292608 768 18446744073709551615 94106056318976 94106057213509 140722369962032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106057452560 94106057500304 94106073624576 140722369964315 140722369964513 140722369964513 140722369970115 0
/proc/49726/statm: 1048 768 704 219 0 110 0
[pid=49729] ppid=49726 vsize=2004468 memory=1553076 CPUtime=160.07 cores=1,3
/proc/49729/stat : 49729 (roundingsat) R 49726 49726 48846 0 -1 4194304 183236 0 0 0 15708 299 0 0 20 0 1 0 51447538 2052575232 388269 18446744073709551615 4227072 8923433 140735710099616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42586112 140735710103798 140735710104104 140735710104104 140735710109674 0
/proc/49729/statm: 501117 388269 2464 1147 0 488544 0
Current children cumulated CPU time: 160.97 s
Current children cumulated vsize: 2008660 KiB
Current children cumulated memory: 1556148 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.21 4.17 5/275 49735
/proc/meminfo: memFree=119168456/131249996 swapFree=33010684/33010684
[pid=49726] ppid=49722 vsize=4192 memory=3072 CPUtime=0.9 cores=1,3
/proc/49726/stat : 49726 (run-opt-ls-log.) S 49722 49726 48846 0 -1 4194304 240 28232 0 0 0 0 79 11 20 0 1 0 51447445 4292608 768 18446744073709551615 94106056318976 94106057213509 140722369962032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106057452560 94106057500304 94106073624576 140722369964315 140722369964513 140722369964513 140722369970115 0
/proc/49726/statm: 1048 768 704 219 0 110 0
[pid=49729] ppid=49726 vsize=2031420 memory=1574844 CPUtime=219.59 cores=1,3
/proc/49729/stat : 49729 (roundingsat) R 49726 49726 48846 0 -1 4194304 186428 0 0 0 21606 353 0 0 20 0 1 0 51447538 2080174080 393711 18446744073709551615 4227072 8923433 140735710099616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42586112 140735710103798 140735710104104 140735710104104 140735710109674 0

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

Current children cumulated memory: 2126768 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/274 49906
/proc/meminfo: memFree=5623464/131249996 swapFree=33010684/33010684
[pid=49726] ppid=49722 vsize=4192 memory=3072 CPUtime=0.9 cores=1,3
/proc/49726/stat : 49726 (run-opt-ls-log.) S 49722 49726 48846 0 -1 4194304 240 28232 0 0 0 0 79 11 20 0 1 0 51447445 4292608 768 18446744073709551615 94106056318976 94106057213509 140722369962032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106057452560 94106057500304 94106073624576 140722369964315 140722369964513 140722369964513 140722369970115 0
/proc/49726/statm: 1048 768 704 219 0 110 0
[pid=49729] ppid=49726 vsize=2528572 memory=2123696 CPUtime=3329.97 cores=1,3
/proc/49729/stat : 49729 (roundingsat) R 49726 49726 48846 0 -1 4194304 262387 0 0 0 329899 3098 0 0 20 0 1 0 51447538 2589257728 530924 18446744073709551615 4227072 8923433 140735710099616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42586112 140735710103798 140735710104104 140735710104104 140735710109674 0
/proc/49729/statm: 632143 530924 2560 1147 0 619570 0
Current children cumulated CPU time: 3330.87 s
Current children cumulated vsize: 2532764 KiB
Current children cumulated memory: 2126768 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.15 4.12 5/275 49915
/proc/meminfo: memFree=2929904/131249996 swapFree=33010684/33010684
[pid=49726] ppid=49722 vsize=4192 memory=3072 CPUtime=0.9 cores=1,3
/proc/49726/stat : 49726 (run-opt-ls-log.) S 49722 49726 48846 0 -1 4194304 240 28232 0 0 0 0 79 11 20 0 1 0 51447445 4292608 768 18446744073709551615 94106056318976 94106057213509 140722369962032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106057452560 94106057500304 94106073624576 140722369964315 140722369964513 140722369964513 140722369970115 0
/proc/49726/statm: 1048 768 704 219 0 110 0
[pid=49729] ppid=49726 vsize=2528572 memory=2123696 CPUtime=3389.8 cores=1,3
/proc/49729/stat : 49729 (roundingsat) R 49726 49726 48846 0 -1 4194304 262520 0 0 0 335814 3166 0 0 20 0 1 0 51447538 2589257728 530924 18446744073709551615 4227072 8923433 140735710099616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42586112 140735710103798 140735710104104 140735710104104 140735710109674 0
/proc/49729/statm: 632143 530924 2560 1147 0 619570 0
Current children cumulated CPU time: 3390.7 s
Current children cumulated vsize: 2532764 KiB
Current children cumulated memory: 2126768 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.15 4.12 5/276 49918
/proc/meminfo: memFree=807968/131249996 swapFree=33010160/33010684
[pid=49726] ppid=49722 vsize=4192 memory=3072 CPUtime=0.9 cores=1,3
/proc/49726/stat : 49726 (run-opt-ls-log.) S 49722 49726 48846 0 -1 4194304 240 28232 0 0 0 0 79 11 20 0 1 0 51447445 4292608 768 18446744073709551615 94106056318976 94106057213509 140722369962032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106057452560 94106057500304 94106073624576 140722369964315 140722369964513 140722369964513 140722369970115 0
/proc/49726/statm: 1048 768 704 219 0 110 0
[pid=49729] ppid=49726 vsize=2528572 memory=2123700 CPUtime=3449.65 cores=1,3
/proc/49729/stat : 49729 (roundingsat) R 49726 49726 48846 0 -1 4194304 264181 0 0 0 341718 3247 0 0 20 0 1 0 51447538 2589257728 530925 18446744073709551615 4227072 8923433 140735710099616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42586112 140735710103798 140735710104104 140735710104104 140735710109674 0
/proc/49729/statm: 632143 530925 2560 1147 0 619570 0
Current children cumulated CPU time: 3450.55 s
Current children cumulated vsize: 2532764 KiB
Current children cumulated memory: 2126772 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/276 49920
/proc/meminfo: memFree=852660/131249996 swapFree=33010160/33010684
[pid=49726] ppid=49722 vsize=4192 memory=3072 CPUtime=0.9 cores=1,3
/proc/49726/stat : 49726 (run-opt-ls-log.) S 49722 49726 48846 0 -1 4194304 240 28232 0 0 0 0 79 11 20 0 1 0 51447445 4292608 768 18446744073709551615 94106056318976 94106057213509 140722369962032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106057452560 94106057500304 94106073624576 140722369964315 140722369964513 140722369964513 140722369970115 0
/proc/49726/statm: 1048 768 704 219 0 110 0
[pid=49729] ppid=49726 vsize=2528572 memory=2123700 CPUtime=3509.47 cores=1,3
/proc/49729/stat : 49729 (roundingsat) R 49726 49726 48846 0 -1 4194304 264383 0 0 0 347600 3347 0 0 20 0 1 0 51447538 2589257728 530925 18446744073709551615 4227072 8923433 140735710099616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42586112 140735710103798 140735710104104 140735710104104 140735710109674 0
/proc/49729/statm: 632143 530925 2560 1147 0 619570 0
Current children cumulated CPU time: 3510.37 s
Current children cumulated vsize: 2532764 KiB
Current children cumulated memory: 2126772 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/275 49922
/proc/meminfo: memFree=795556/131249996 swapFree=33010160/33010684
[pid=49726] ppid=49722 vsize=4192 memory=3072 CPUtime=0.9 cores=1,3
/proc/49726/stat : 49726 (run-opt-ls-log.) S 49722 49726 48846 0 -1 4194304 240 28232 0 0 0 0 79 11 20 0 1 0 51447445 4292608 768 18446744073709551615 94106056318976 94106057213509 140722369962032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106057452560 94106057500304 94106073624576 140722369964315 140722369964513 140722369964513 140722369970115 0
/proc/49726/statm: 1048 768 704 219 0 110 0
[pid=49729] ppid=49726 vsize=2528572 memory=2123700 CPUtime=3569.3 cores=1,3
/proc/49729/stat : 49729 (roundingsat) R 49726 49726 48846 0 -1 4194304 264416 0 0 0 353508 3422 0 0 20 0 1 0 51447538 2589257728 530925 18446744073709551615 4227072 8923433 140735710099616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42586112 140735710103798 140735710104104 140735710104104 140735710109674 0
/proc/49729/statm: 632143 530925 2560 1147 0 619570 0
Current children cumulated CPU time: 3570.2 s
Current children cumulated vsize: 2532764 KiB
Current children cumulated memory: 2126772 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.2 s]
/proc/loadavg: 4.13 4.13 4.11 4/269 49947
/proc/meminfo: memFree=6603196/131249996 swapFree=33010160/33010684
[pid=49726] ppid=49722 vsize=4192 memory=3072 CPUtime=0.9 cores=1,3
/proc/49726/stat : 49726 (run-opt-ls-log.) S 49722 49726 48846 0 -1 4194304 240 28232 0 0 0 0 79 11 20 0 1 0 51447445 4292608 768 18446744073709551615 94106056318976 94106057213509 140722369962032 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106057452560 94106057500304 94106073624576 140722369964315 140722369964513 140722369964513 140722369970115 0
/proc/49726/statm: 1048 768 704 219 0 110 0
[pid=49729] ppid=49726 vsize=2528572 memory=2123700 CPUtime=3599.12 cores=1,3
/proc/49729/stat : 49729 (roundingsat) R 49726 49726 48846 0 -1 4194304 264418 0 0 0 356462 3450 0 0 20 0 1 0 51447538 2589257728 530925 18446744073709551615 4227072 8923433 140735710099616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42586112 140735710103798 140735710104104 140735710104104 140735710109674 0
/proc/49729/statm: 632143 530925 2560 1147 0 619570 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2532764 KiB
Current children cumulated memory: 2126772 KiB

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

[startup+3612.2 s]
# the end of solver process 49726 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.795252 s, system=0.114506 s

Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:

[startup+0 s]*
/proc/loadavg: 4.13 4.13 4.11 5/265 49968
/proc/meminfo: memFree=6594492/131249996 swapFree=33010160/33010684
[pid=49729] ppid=49722 vsize=2528572 memory=2123828 CPUtime=3599.54 cores=1,3
/proc/49729/stat : 49729 (roundingsat) D 49722 49726 48846 0 -1 4194304 264419 0 2 0 356464 3490 0 0 20 0 1 0 51447538 2589257728 530957 18446744073709551615 4227072 8923433 140735710099616 0 0 256 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 42586112 140735710103798 140735710104104 140735710104104 140735710109674 9
/proc/49729/statm: 632143 530957 2592 1147 0 619570 0
??? kill 49729 sig 9
??? end of watcher thread

[startup+3615.79 s]
# the end of solver process 49729 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3565.44 s, system=35.2736 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
Dumping a history of the last processes samples

[startup+3612.8 s]
/proc/loadavg: 4.13 4.13 4.11 6/271 49953
/proc/meminfo: memFree=6622940/131249996 swapFree=33010160/33010684
[pid=49729] ppid=49722 vsize=2528572 memory=2123828 CPUtime=3599.46 cores=1,3
/proc/49729/stat : 49729 (roundingsat) D 49722 49726 48846 0 -1 4194304 264419 0 2 0 356463 3483 0 0 20 0 1 0 51447538 2589257728 530957 18446744073709551615 4227072 8923433 140735710099616 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 42586112 140735710103798 140735710104104 140735710104104 140735710109674 0
/proc/49729/statm: 632143 530957 2592 1147 0 619570 0
Current cumulated CPU time of completed processes: 0.909758 s
Current children cumulated CPU time: 3599.46 s
Current children cumulated vsize: 2528572 KiB
Current children cumulated memory: 2123828 KiB

[startup+3613.6 s]
/proc/loadavg: 4.13 4.13 4.11 4/271 49953
/proc/meminfo: memFree=6617180/131249996 swapFree=33010160/33010684
[pid=49729] ppid=49722 vsize=2528572 memory=2123828 CPUtime=3599.51 cores=1,3
/proc/49729/stat : 49729 (roundingsat) D 49722 49726 48846 0 -1 4194304 264419 0 2 0 356463 3488 0 0 20 0 1 0 51447538 2589257728 530957 18446744073709551615 4227072 8923433 140735710099616 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 42586112 140735710103798 140735710104104 140735710104104 140735710109674 0
/proc/49729/statm: 632143 530957 2592 1147 0 619570 0
Current cumulated CPU time of completed processes: 0.909758 s
Current children cumulated CPU time: 3599.51 s
Current children cumulated vsize: 2528572 KiB
Current children cumulated memory: 2123828 KiB

[startup+3614 s]*
/proc/loadavg: 4.13 4.13 4.11 2/266 49965
/proc/meminfo: memFree=6588008/131249996 swapFree=33010160/33010684
[pid=49729] ppid=49722 vsize=2528572 memory=2123828 CPUtime=3599.53 cores=1,3
/proc/49729/stat : 49729 (roundingsat) D 49722 49726 48846 0 -1 4194304 264419 0 2 0 356463 3490 0 0 20 0 1 0 51447538 2589257728 530957 18446744073709551615 4227072 8923433 140735710099616 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 42586112 140735710103798 140735710104104 140735710104104 140735710109674 0
/proc/49729/statm: 632143 530957 2592 1147 0 619570 0
Current cumulated CPU time of completed processes: 0.909758 s
Current children cumulated CPU time: 3599.53 s
Current children cumulated vsize: 2528572 KiB
Current children cumulated memory: 2123828 KiB

[startup+3614.2 s]
/proc/loadavg: 4.13 4.13 4.11 2/266 49965
/proc/meminfo: memFree=6588008/131249996 swapFree=33010160/33010684
[pid=49729] ppid=49722 vsize=2528572 memory=2123828 CPUtime=3599.54 cores=1,3
/proc/49729/stat : 49729 (roundingsat) D 49722 49726 48846 0 -1 4194304 264419 0 2 0 356464 3490 0 0 20 0 1 0 51447538 2589257728 530957 18446744073709551615 4227072 8923433 140735710099616 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 42586112 140735710103798 140735710104104 140735710104104 140735710109674 0
/proc/49729/statm: 632143 530957 2592 1147 0 619570 0
Current cumulated CPU time of completed processes: 0.909758 s
Current children cumulated CPU time: 3599.54 s
Current children cumulated vsize: 2528572 KiB
Current children cumulated memory: 2123828 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3615.79
CPU time (s): 3600.71
CPU user time (s): 3565.44
CPU system time (s): 35.2736
CPU usage (%): 99.5829
Max. virtual memory (cumulated for all children) (KiB): 2568116
Max. memory (cumulated for all children) (KiB): 2162016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.44
system time used= 35.2736
maximum resident set size= 2158968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 292891
page faults= 2
swaps= 0
block input operations= 3272
block output operations= 68934968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62762
involuntary context switches= 4426


# summary of solver processes directly reported to runsolver:
#   pid: 49726,49729
#   total CPU time (s): 3600.71
#   total CPU user time (s): 3565.44
#   total CPU system time (s): 35.2736

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.37487 second user time and 16.5506 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-07-01 10:14:50
IDJOB=4489647
IDBENCH=147559
IDSOLVER=3356
FILE ID=nodeC029/4489647-1751357690
RUNJOBID= nodeC029-1751350437-48858
SLURM_JOB_ID= 9598138
Free space on /tmp= 432924 MiB

SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489647-1751357690/watcher-4489647-1751357690 -o /tmp/evaluation-result-4489647-1751357690/solver-4489647-1751357690 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751350437-48858 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4489647-1751357690.opb PROOFDIR/proof-4489647-1751357690

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

MD5SUM BENCH= 37dc22c6a12cddf588c55f8d6ee6d8c2
RANDOM SEED=1450135855

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        127691108 kB
MemAvailable:   127775296 kB
Buffers:            3280 kB
Cached:           891232 kB
SwapCached:            0 kB
Active:          2054576 kB
Inactive:         633872 kB
Active(anon):    1812076 kB
Inactive(anon):        0 kB
Active(file):     242500 kB
Inactive(file):   633872 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            130700 kB
Writeback:             0 kB
AnonPages:       1797076 kB
Mapped:           113356 kB
Shmem:             18060 kB
KReclaimable:      94112 kB
Slab:             185012 kB
SReclaimable:      94112 kB
SUnreclaim:        90900 kB
KernelStack:        4480 kB
PageTables:         6916 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    2587772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150696 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1067008 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432900 MiB
End job on nodeC029 at 2025-07-01 11:15:06