Trace number 4435690

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
mixed-bag 2024-07-02SAT (TO)4219117 3600.12 3611.72

DiagnosticValue
AM1LB0
LOWERBOUND606706
NAM1S0
NCORES2
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_5.opb
MD5SUM90cf94310e57120d5401aeddd838603e
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4219117
Best CPU time to get the best result obtained on this benchmark1168.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9940
Total number of constraints14846
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints14700
Minimum length of a constraint2
Maximum length of a constraint2415
Number of terms in the objective function 9730
Biggest coefficient in the objective function 160103007
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 89969826346
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 160103007
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 89969826346
Number of bits of the biggest sum of numbers37
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c with Papilo
0.00/0.00	c with SCIP
0.00/0.00	c [STEP] parsing instance
0.00/0.06	c [STEP] preprocessing with Papilo
0.00/0.09	c [STEP] solving with SCIP
299.02/300.13	c [STEP] preprocessing done, loading into solver
299.02/300.15	c [STEP] solving
299.02/300.15	c #variables 4971 #constraints 5188
299.02/300.15	c SMALL=int, LARGE=long long
299.02/300.15	c bounds - >= -70 @ 298.978
299.02/300.15	c stratification level: 5606442
299.30/300.43	c bounds 5457003 >= -70 @ 299.25
299.30/300.43	c stratification level: 5371238
299.30/300.44	c bounds 5454783 >= -70 @ 299.253
299.30/300.44	c stratification level: 5256144
299.30/300.44	c bounds 5451927 >= -70 @ 299.258
299.30/300.44	c stratification level: 5142706
299.30/300.45	c bounds 5424481 >= -70 @ 299.264
299.30/300.45	c stratification level: 5030912
299.30/300.46	c bounds 5415993 >= -70 @ 299.279
299.30/300.46	c stratification level: 4920750
299.30/300.47	c bounds 5399187 >= -70 @ 299.282
299.30/300.47	c stratification level: 4812208
299.30/300.47	c bounds 5372321 >= -70 @ 299.288
299.30/300.47	c stratification level: 4705274
299.30/300.48	c bounds 5359233 >= -70 @ 299.293
299.30/300.48	c stratification level: 4599936
299.30/300.48	c bounds 5355623 >= -70 @ 299.298
299.30/300.48	c stratification level: 4496182
299.41/300.50	c bounds 5341089 >= -70 @ 299.314
299.41/300.50	c stratification level: 4394000
299.41/300.51	c bounds 5339265 >= -70 @ 299.322
299.41/300.51	c stratification level: 4293378
299.41/300.51	c bounds 5328779 >= -70 @ 299.326
299.41/300.51	c stratification level: 4194304
299.41/300.52	c bounds 5327383 >= -70 @ 299.33
299.41/300.52	c stratification level: 4096766
299.41/300.58	c bounds 5327091 >= -70 @ 299.39
299.41/300.58	c stratification level: 4000752
299.41/300.59	c bounds 5326193 >= -70 @ 299.399
299.41/300.59	c stratification level: 3906250
299.51/300.60	c bounds 5322033 >= -70 @ 299.403
299.51/300.60	c stratification level: 3813248
299.51/300.61	c bounds 5253403 >= -70 @ 299.411
299.51/300.61	c stratification level: 3721734
299.51/300.62	c bounds 5252971 >= -70 @ 299.427
299.51/300.62	c stratification level: 3631696
299.51/300.63	c bounds 5250251 >= -70 @ 299.433
299.51/300.63	c stratification level: 3543122
299.51/300.64	c bounds 5249547 >= -70 @ 299.439
299.51/300.64	c stratification level: 3456000
299.51/300.64	c bounds 5246739 >= -70 @ 299.443
299.51/300.64	c stratification level: 3370318
299.51/300.65	c bounds 5243821 >= -70 @ 299.45
299.51/300.65	c stratification level: 3286064
299.51/300.66	c bounds 5242637 >= -70 @ 299.457
299.51/300.66	c stratification level: 3203226
299.51/300.67	c bounds 5237821 >= -70 @ 299.466
299.51/300.67	c stratification level: 3121792
299.51/300.68	c bounds 5217245 >= -70 @ 299.473
299.51/300.68	c stratification level: 3041750
299.51/300.68	c bounds 5206291 >= -70 @ 299.479
299.51/300.68	c stratification level: 2963088
299.61/300.70	c bounds 5196931 >= -70 @ 299.494
299.61/300.70	c stratification level: 2885794
299.61/300.71	c bounds 5186781 >= -70 @ 299.504
299.61/300.71	c stratification level: 2809856
299.61/300.74	c bounds 5172285 >= -70 @ 299.533
299.61/300.74	c stratification level: 2735262
299.61/300.75	c bounds 5166885 >= -70 @ 299.539
299.61/300.75	c stratification level: 2662000
299.61/300.75	c bounds 5158553 >= -70 @ 299.545
299.61/300.75	c stratification level: 2590058
299.70/300.80	c bounds 5156929 >= -70 @ 299.594
299.70/300.80	c stratification level: 2519424
299.70/300.81	c bounds 5150285 >= -70 @ 299.603
299.70/300.81	c stratification level: 2450086
299.81/300.90	c bounds 5148527 >= -70 @ 299.689
299.81/300.90	c stratification level: 2382032
299.81/300.91	c bounds 5147203 >= -70 @ 299.696
299.81/300.91	c stratification level: 2315250
299.92/301.06	c #Conflicts:       1000 | #Constraints:       6223
299.92/301.06	c bounds 5141975 >= -70 @ 299.847
299.92/301.06	c stratification level: 2249728
300.02/301.13	c bounds 5125953 >= -70 @ 299.914
300.02/301.13	c stratification level: 2185454
300.11/301.21	c bounds 5123989 >= -70 @ 299.992
300.11/301.21	c stratification level: 2122416
300.11/301.23	c bounds 5121529 >= -70 @ 300.017
300.11/301.23	c stratification level: 2060602
300.11/301.25	c bounds 5116615 >= -70 @ 300.027
300.11/301.25	c stratification level: 2000000
300.11/301.27	c bounds 4961421 >= -70 @ 300.051
300.11/301.27	c stratification level: 1940598
300.21/301.30	c bounds 4956111 >= -70 @ 300.078
300.21/301.30	c stratification level: 1882384
300.21/301.31	c bounds 4953347 >= -70 @ 300.088
300.21/301.31	c stratification level: 1825346
300.21/301.37	c bounds 4953095 >= -70 @ 300.14
300.21/301.37	c stratification level: 1769472
300.21/301.38	c bounds 4952399 >= -70 @ 300.152
300.21/301.38	c stratification level: 1714750
300.30/301.40	c bounds 4951379 >= -70 @ 300.168
300.30/301.40	c stratification level: 1661168
300.30/301.43	c bounds 4946781 >= -70 @ 300.2
300.30/301.43	c stratification level: 1608714
300.30/301.47	c bounds 4937321 >= -70 @ 300.234
300.30/301.47	c stratification level: 1557376
300.40/301.52	c bounds 4921345 >= -70 @ 300.28
300.40/301.52	c stratification level: 1507142
300.40/301.53	c bounds 4916149 >= -70 @ 300.291
300.40/301.53	c stratification level: 1458000
300.40/301.55	c bounds 4914625 >= -70 @ 300.305
300.40/301.55	c stratification level: 1409938
300.40/301.56	c bounds 4914299 >= -70 @ 300.318
300.40/301.56	c stratification level: 1362944
300.40/301.57	c bounds 4910937 >= -70 @ 300.33
300.40/301.57	c stratification level: 1317006
301.70/302.86	c #Conflicts:       2000 | #Constraints:       7241
301.70/302.86	c INPROCESSING
301.70/302.86	c GARBAGE COLLECT
301.70/302.86	c bounds 4820277 >= -70 @ 301.59
301.70/302.86	c stratification level: 1272112
301.70/302.88	c bounds 4819803 >= -70 @ 301.612
301.70/302.88	c stratification level: 1228250
302.29/303.42	c bounds 4818805 >= -70 @ 302.146
302.29/303.42	c stratification level: 1185408
302.40/303.54	c bounds 4806451 >= -70 @ 302.252
302.40/303.54	c stratification level: 1143574
302.40/303.58	c bounds 4799749 >= -70 @ 302.293
302.40/303.58	c stratification level: 1102736
336.58/337.80	c #Conflicts:       3000 | #Constraints:       5361
336.58/337.80	c #Conflicts:       4000 | #Constraints:       6361
336.58/337.80	c INPROCESSING
336.58/337.80	c GARBAGE COLLECT
336.58/337.80	c #Conflicts:       5000 | #Constraints:       5752
336.58/337.80	c #Conflicts:       6000 | #Constraints:       6752
336.58/337.80	c INPROCESSING
336.58/337.80	c GARBAGE COLLECT
336.58/337.80	c #Conflicts:       7000 | #Constraints:       5772
336.58/337.80	c #Conflicts:       8000 | #Constraints:       6772
336.58/337.80	c #Conflicts:       9000 | #Constraints:       7772
336.58/337.80	c bounds 4797247 >= -70 @ 336.235
336.58/337.80	c stratification level: 1062882
395.96/397.48	c INPROCESSING
395.96/397.48	c GARBAGE COLLECT
395.96/397.48	c #Conflicts:      10000 | #Constraints:       6476
395.96/397.48	c #Conflicts:      11000 | #Constraints:       7476
395.96/397.48	c #Conflicts:      12000 | #Constraints:       8476
395.96/397.48	c INPROCESSING
395.96/397.48	c GARBAGE COLLECT
395.96/397.48	c #Conflicts:      13000 | #Constraints:       6938
395.96/397.48	c #Conflicts:      14000 | #Constraints:       7938
395.96/397.48	c bounds 4790915 >= -70 @ 395.474
395.96/397.48	c stratification level: 1024000
396.16/397.67	c bounds 4745147 >= -70 @ 395.657
396.16/397.67	c stratification level: 986078
396.36/397.87	c bounds 4740329 >= -70 @ 395.858
396.36/397.87	c stratification level: 949104
396.57/398.05	c bounds 4735949 >= -70 @ 396.038
396.57/398.05	c stratification level: 913066
396.85/398.38	c bounds 4734075 >= -70 @ 396.357
396.85/398.38	c stratification level: 877952
397.06/398.57	c bounds 4725445 >= -70 @ 396.551
397.06/398.57	c stratification level: 843750
397.26/398.75	c bounds 4714935 >= -70 @ 396.729
397.26/398.75	c stratification level: 810448
397.45/398.95	c bounds 4699917 >= -70 @ 396.92
397.45/398.95	c stratification level: 778034
397.66/399.19	c bounds 4697821 >= -70 @ 397.155
397.66/399.19	c stratification level: 746496
466.62/468.35	c #Conflicts:      15000 | #Constraints:       8947
466.62/468.35	c INPROCESSING
466.62/468.35	c GARBAGE COLLECT
466.62/468.35	c #Conflicts:      16000 | #Constraints:       7148
466.62/468.35	c #Conflicts:      17000 | #Constraints:       8148
466.62/468.35	c #Conflicts:      18000 | #Constraints:       9148
466.62/468.35	c INPROCESSING
466.62/468.35	c GARBAGE COLLECT
466.62/468.35	c #Conflicts:      19000 | #Constraints:       7174
466.62/468.35	c #Conflicts:      20000 | #Constraints:       8174
466.62/468.35	c #Conflicts:      21000 | #Constraints:       9174
466.62/468.35	c INPROCESSING
466.62/468.35	c GARBAGE COLLECT
466.62/468.35	c #Conflicts:      22000 | #Constraints:       6986
466.62/468.35	c #Conflicts:      23000 | #Constraints:       7986
466.62/468.35	c bounds 4696289 >= -70 @ 465.887
466.62/468.35	c stratification level: 715822
466.82/468.50	c bounds 4695073 >= -70 @ 466.03
466.82/468.50	c stratification level: 686000
466.91/468.64	c bounds 4694945 >= -70 @ 466.173
466.91/468.64	c stratification level: 657018
467.11/468.81	c bounds 4694401 >= -70 @ 466.343
467.11/468.81	c stratification level: 628864
468.01/469.75	c bounds 4692581 >= -70 @ 467.272
468.01/469.75	c stratification level: 601526
468.21/469.94	c bounds 4692517 >= -70 @ 467.461
468.21/469.94	c stratification level: 589698
468.32/470.09	c bounds 4691301 >= -70 @ 467.604
468.32/470.09	c stratification level: 574992
480.67/482.44	c #Conflicts:      24000 | #Constraints:       8993
480.67/482.44	c #Conflicts:      25000 | #Constraints:       9993
480.67/482.44	c bounds 4591781 >= -70 @ 479.886
480.67/482.44	c stratification level: 566048
480.97/482.73	c bounds 4590795 >= -70 @ 480.174
480.97/482.73	c stratification level: 549250
481.67/483.48	c bounds 4590693 >= -70 @ 480.918
481.67/483.48	c stratification level: 528392
481.97/483.72	c bounds 4587821 >= -70 @ 481.16
481.97/483.72	c stratification level: 524288
482.16/483.93	c bounds 4587611 >= -70 @ 481.357
482.16/483.93	c stratification level: 500094
482.37/484.14	c bounds 4587237 >= -70 @ 481.572
482.37/484.14	c stratification level: 500000
482.56/484.34	c bounds 4587235 >= -70 @ 481.77
482.56/484.34	c stratification level: 480200
482.77/484.54	c bounds 4586373 >= -70 @ 481.968
482.77/484.54	c stratification level: 476656
488.84/490.66	c INPROCESSING
488.84/490.66	c GARBAGE COLLECT
488.84/490.66	c #Conflicts:      26000 | #Constraints:       7564
488.84/490.66	c bounds 4585621 >= -70 @ 488.059
488.84/490.66	c stratification level: 470450
494.12/495.95	c bounds 4581661 >= -70 @ 493.315
494.12/495.95	c stratification level: 468512
494.34/496.15	c bounds 4581485 >= -70 @ 493.514
494.34/496.15	c stratification level: 460800
552.05/554.07	c #Conflicts:      27000 | #Constraints:       8567
552.05/554.07	c #Conflicts:      28000 | #Constraints:       9567
552.05/554.07	c #Conflicts:      29000 | #Constraints:      10567
552.05/554.07	c INPROCESSING
552.05/554.07	c GARBAGE COLLECT
552.05/554.07	c #Conflicts:      30000 | #Constraints:       7969
552.05/554.07	c #Conflicts:      31000 | #Constraints:       8969
552.05/554.07	c #Conflicts:      32000 | #Constraints:       9969
552.05/554.07	c #Conflicts:      33000 | #Constraints:      10969
552.05/554.07	c INPROCESSING
552.05/554.07	c GARBAGE COLLECT
552.05/554.07	c bounds 4569127 >= -70 @ 551.111
552.05/554.07	c stratification level: 456968
552.34/554.31	c bounds 4566587 >= -70 @ 551.346
552.34/554.31	c stratification level: 455058
552.44/554.45	c bounds 4566451 >= -70 @ 551.484
552.44/554.45	c stratification level: 453962
552.74/554.73	c bounds 4565749 >= -70 @ 551.763
552.74/554.73	c stratification level: 451250
552.84/554.85	c bounds 4565055 >= -70 @ 551.886
552.84/554.85	c stratification level: 449352
552.93/555.00	c bounds 4563067 >= -70 @ 552.029
552.93/555.00	c stratification level: 438048
553.14/555.11	c bounds 4562373 >= -70 @ 552.141
553.14/555.11	c stratification level: 436178
553.23/555.26	c bounds 4562237 >= -70 @ 552.288
553.23/555.26	c stratification level: 432000
555.53/557.56	c bounds 4559231 >= -70 @ 554.584
555.53/557.56	c stratification level: 415872
555.93/557.96	c bounds 4552215 >= -70 @ 554.972
555.93/557.96	c stratification level: 414050
556.33/558.37	c bounds 4550855 >= -70 @ 555.382
556.33/558.37	c stratification level: 412232
557.72/559.75	c bounds 4550175 >= -70 @ 556.757
557.72/559.75	c stratification level: 410758
558.03/560.04	c bounds 4549891 >= -70 @ 557.046
558.03/560.04	c stratification level: 406802
559.02/561.06	c #Conflicts:      34000 | #Constraints:       8188
559.02/561.06	c bounds 4538071 >= -70 @ 558.064
559.02/561.06	c stratification level: 403202
560.52/562.55	c bounds 4534915 >= -70 @ 559.546
560.52/562.55	c stratification level: 401408
562.21/564.29	c bounds 4533575 >= -70 @ 561.278
562.21/564.29	c stratification level: 399618
563.20/565.23	c bounds 4523149 >= -70 @ 562.212
563.20/565.23	c stratification level: 397832
563.50/565.55	c bounds 4522313 >= -70 @ 562.523
563.50/565.55	c stratification level: 396050
563.80/565.84	c bounds 4517251 >= -70 @ 562.811
563.80/565.84	c stratification level: 394272
564.21/566.23	c bounds 4515561 >= -70 @ 563.202
564.21/566.23	c stratification level: 392498
564.90/566.94	c bounds 4514515 >= -70 @ 563.91
564.90/566.94	c stratification level: 390728
565.30/567.33	c bounds 4510493 >= -70 @ 564.292
565.30/567.33	c stratification level: 390224
565.40/567.49	c bounds 4509657 >= -70 @ 564.456
565.40/567.49	c stratification level: 388962
568.48/570.54	c #Conflicts:      35000 | #Constraints:       9198
568.48/570.54	c bounds 4509191 >= -70 @ 567.487
568.48/570.54	c stratification level: 387200
568.78/570.80	c bounds 4508355 >= -70 @ 567.753
568.78/570.80	c stratification level: 385442
568.89/570.97	c bounds 4504333 >= -70 @ 567.918
568.89/570.97	c stratification level: 383688
569.78/571.80	c bounds 4488331 >= -70 @ 568.744
569.78/571.80	c stratification level: 381938
576.86/578.92	c bounds 4480321 >= -70 @ 575.824
576.86/578.92	c stratification level: 380192
580.85/582.95	c #Conflicts:      36000 | #Constraints:      10203
580.85/582.95	c bounds 4472537 >= -70 @ 579.843
580.85/582.95	c stratification level: 378450
581.25/583.33	c bounds 4468477 >= -70 @ 580.213
581.25/583.33	c stratification level: 374978
583.44/585.51	c bounds 4464159 >= -70 @ 582.392
583.44/585.51	c stratification level: 373248
584.54/586.68	c bounds 4460889 >= -70 @ 583.55
584.54/586.68	c stratification level: 371522
584.95/587.02	c bounds 4460195 >= -70 @ 583.889
584.95/587.02	c stratification level: 370386
650.84/653.13	c #Conflicts:      37000 | #Constraints:      11208
650.84/653.13	c INPROCESSING
650.84/653.13	c GARBAGE COLLECT
650.84/653.13	c #Conflicts:      38000 | #Constraints:       8178
650.84/653.13	c #Conflicts:      39000 | #Constraints:       9178
650.84/653.13	c #Conflicts:      40000 | #Constraints:      10178
650.84/653.13	c #Conflicts:      41000 | #Constraints:      11178
650.84/653.13	c INPROCESSING
650.84/653.13	c GARBAGE COLLECT
650.84/653.13	c #Conflicts:      42000 | #Constraints:       7960
650.84/653.13	c bounds 4459637 >= -70 @ 649.67
650.84/653.13	c stratification level: 369800
650.93/653.27	c bounds 4458587 >= -70 @ 649.81
650.93/653.27	c stratification level: 368082
651.23/653.53	c bounds 4433087 >= -70 @ 650.067
651.23/653.53	c stratification level: 366368
651.92/654.20	c bounds 4431141 >= -70 @ 650.733
651.92/654.20	c stratification level: 362952
652.22/654.56	c bounds 4430463 >= -70 @ 651.093
652.22/654.56	c stratification level: 361250
652.52/654.84	c bounds 4429161 >= -70 @ 651.367
652.52/654.84	c stratification level: 359552
653.02/655.34	c bounds 4398787 >= -70 @ 651.861
653.02/655.34	c stratification level: 356168
653.73/656.10	c bounds 4398289 >= -70 @ 652.621
653.73/656.10	c stratification level: 354482
654.12/656.48	c bounds 4393189 >= -70 @ 652.995
654.12/656.48	c stratification level: 352800
654.52/656.88	c bounds 4384141 >= -70 @ 653.388
654.52/656.88	c stratification level: 351232
654.83/657.18	c bounds 4381421 >= -70 @ 653.688
654.83/657.18	c stratification level: 351122
655.01/657.33	c bounds 4373533 >= -70 @ 653.839
655.01/657.33	c stratification level: 349448
655.21/657.59	c bounds 4369879 >= -70 @ 654.094
655.21/657.59	c stratification level: 347778
655.61/657.91	c bounds 4351043 >= -70 @ 654.42
655.61/657.91	c stratification level: 346112
656.11/658.49	c bounds 4349795 >= -70 @ 654.994
656.11/658.49	c stratification level: 344450
656.72/659.04	c bounds 4349157 >= -70 @ 655.544
656.72/659.04	c stratification level: 342792
658.50/660.86	c #Conflicts:      43000 | #Constraints:       8976
658.50/660.86	c bounds 4329189 >= -70 @ 657.355
658.50/660.86	c stratification level: 341138
659.40/661.73	c bounds 4315793 >= -70 @ 658.213
659.40/661.73	c stratification level: 337842
660.00/662.32	c bounds 4310931 >= -70 @ 658.804
660.00/662.32	c stratification level: 336200
660.19/662.53	c bounds 4305309 >= -70 @ 659.015
660.19/662.53	c stratification level: 334562
660.59/662.90	c bounds 4301655 >= -70 @ 659.386
660.59/662.90	c stratification level: 332928
661.39/663.75	c bounds 4301401 >= -70 @ 660.227
661.39/663.75	c stratification level: 332750
661.59/663.91	c bounds 4301349 >= -70 @ 660.386
661.59/663.91	c stratification level: 331298
662.00/664.35	c bounds 4299725 >= -70 @ 660.82
662.00/664.35	c stratification level: 329672
662.10/664.49	c bounds 4298477 >= -70 @ 660.967
662.10/664.49	c stratification level: 328050
662.29/664.66	c bounds 4296573 >= -70 @ 661.133
662.29/664.66	c stratification level: 324818
662.59/664.93	c bounds 4292743 >= -70 @ 661.398
662.59/664.93	c stratification level: 323208
663.09/665.42	c bounds 4288661 >= -70 @ 661.885
663.09/665.42	c stratification level: 321602
663.29/665.63	c bounds 4282277 >= -70 @ 662.092
663.29/665.63	c stratification level: 320000
664.49/666.90	c bounds 4279075 >= -70 @ 663.351
664.49/666.90	c stratification level: 318402
664.70/667.06	c bounds 4278445 >= -70 @ 663.515
664.70/667.06	c stratification level: 316808
666.58/668.91	c bounds 4278273 >= -70 @ 665.351
666.58/668.91	c stratification level: 315218
809.54/812.31	c #Conflicts:      44000 | #Constraints:       9992
809.54/812.31	c #Conflicts:      45000 | #Constraints:      10992
809.54/812.31	c #Conflicts:      46000 | #Constraints:      11992
809.54/812.31	c INPROCESSING
809.54/812.31	c GARBAGE COLLECT
809.54/812.31	c #Conflicts:      47000 | #Constraints:       8544
809.54/812.31	c #Conflicts:      48000 | #Constraints:       9544
809.54/812.31	c #Conflicts:      49000 | #Constraints:      10544
809.54/812.31	c #Conflicts:      50000 | #Constraints:      11544
809.54/812.31	c #Conflicts:      51000 | #Constraints:      12544
809.54/812.31	c INPROCESSING
809.54/812.31	c GARBAGE COLLECT
809.54/812.31	c #Conflicts:      52000 | #Constraints:       8950
809.54/812.31	c #Conflicts:      53000 | #Constraints:       9950
809.54/812.31	c #Conflicts:      54000 | #Constraints:      10950
809.54/812.31	c #Conflicts:      55000 | #Constraints:      11950
809.54/812.31	c #Conflicts:      56000 | #Constraints:      12950
809.54/812.31	c INPROCESSING
809.54/812.31	c GARBAGE COLLECT
809.54/812.31	c bounds 4276613 >= -70 @ 808.087
809.54/812.31	c stratification level: 314928
1098.96/1102.66	c #Conflicts:      57000 | #Constraints:       9159
1098.96/1102.66	c #Conflicts:      58000 | #Constraints:      10159
1098.96/1102.66	c #Conflicts:      59000 | #Constraints:      11159
1098.96/1102.66	c #Conflicts:      60000 | #Constraints:      12159
1098.96/1102.66	c #Conflicts:      61000 | #Constraints:      13159
1098.96/1102.66	c INPROCESSING
1098.96/1102.66	c GARBAGE COLLECT
1098.96/1102.66	c #Conflicts:      62000 | #Constraints:       9156
1098.96/1102.66	c #Conflicts:      63000 | #Constraints:      10156
1098.96/1102.66	c #Conflicts:      64000 | #Constraints:      11156
1098.96/1102.66	c #Conflicts:      65000 | #Constraints:      12156
1098.96/1102.66	c #Conflicts:      66000 | #Constraints:      13156
1098.96/1102.66	c INPROCESSING
1098.96/1102.66	c GARBAGE COLLECT
1098.96/1102.66	c #Conflicts:      67000 | #Constraints:       8965
1098.96/1102.66	c #Conflicts:      68000 | #Constraints:       9965
1098.96/1102.66	c #Conflicts:      69000 | #Constraints:      10965
1098.96/1102.66	c #Conflicts:      70000 | #Constraints:      11965
1098.96/1102.66	c #Conflicts:      71000 | #Constraints:      12965
1098.96/1102.66	c #Conflicts:      72000 | #Constraints:      13965
1098.96/1102.66	c INPROCESSING
1098.96/1102.66	c GARBAGE COLLECT
1098.96/1102.66	c #Conflicts:      73000 | #Constraints:       9570
1098.96/1102.66	c #Conflicts:      74000 | #Constraints:      10570
1098.96/1102.66	c #Conflicts:      75000 | #Constraints:      11570
1098.96/1102.66	c #Conflicts:      76000 | #Constraints:      12570
1098.96/1102.66	c #Conflicts:      77000 | #Constraints:      13570
1098.96/1102.66	c bounds 4276613 >= 314858 @ 1074.99
1098.96/1102.66	c #Conflicts:      78000 | #Constraints:      14571
1098.96/1102.66	c INPROCESSING
1098.96/1102.66	c GARBAGE COLLECT
1098.96/1102.66	c finalizing WCE round: reformulating cores
1099.75/1103.42	c bounds 4265903 >= 314858 @ 1097.79
1099.75/1103.42	c bounds 4264879 >= 314858 @ 1097.92
1099.75/1103.42	c stratification level: 313936
1100.95/1104.63	c bounds 4263599 >= 314858 @ 1099.13
1100.95/1104.63	c stratification level: 313632
1103.05/1106.77	c bounds 4248433 >= 314858 @ 1101.26
1103.05/1106.77	c stratification level: 312050
1106.45/1110.14	c bounds 4248371 >= 314858 @ 1104.6
1106.45/1110.14	c stratification level: 310472
1106.54/1110.29	c bounds 4245131 >= 314858 @ 1104.76
1106.54/1110.29	c stratification level: 308898
1106.74/1110.45	c bounds 4243883 >= 314858 @ 1104.91
1106.74/1110.45	c stratification level: 307328
1264.25/1268.40	c #Conflicts:      79000 | #Constraints:       9980
1264.25/1268.40	c #Conflicts:      80000 | #Constraints:      10980
1264.25/1268.40	c #Conflicts:      81000 | #Constraints:      11980
1264.25/1268.40	c #Conflicts:      82000 | #Constraints:      12980
1264.25/1268.40	c #Conflicts:      83000 | #Constraints:      13980
1264.25/1268.40	c #Conflicts:      84000 | #Constraints:      14980
1264.25/1268.40	c INPROCESSING
1264.25/1268.40	c GARBAGE COLLECT
1264.25/1268.40	c #Conflicts:      85000 | #Constraints:      10192
1264.25/1268.40	c #Conflicts:      86000 | #Constraints:      11192
1264.25/1268.40	c #Conflicts:      87000 | #Constraints:      12192
1264.25/1268.40	c bounds 4243189 >= 314858 @ 1262.22
1264.25/1268.40	c stratification level: 305762
1264.44/1268.62	c bounds 4239813 >= 314858 @ 1262.43
1264.44/1268.62	c stratification level: 304200
1264.74/1269.00	c bounds 4238195 >= 314858 @ 1262.81
1264.74/1269.00	c stratification level: 302642
1265.15/1269.34	c bounds 4235721 >= 314858 @ 1263.15
1265.15/1269.34	c stratification level: 301088
1265.35/1269.57	c bounds 4233707 >= 314858 @ 1263.38
1265.35/1269.57	c stratification level: 299538
1266.64/1270.90	c bounds 4233489 >= 314858 @ 1264.69
1266.64/1270.90	c stratification level: 297992
1275.62/1279.82	c bounds 4227327 >= 314858 @ 1273.59
1275.62/1279.82	c stratification level: 297754
1275.83/1280.07	c bounds 4226825 >= 314858 @ 1273.84
1275.83/1280.07	c stratification level: 296450
1284.98/1289.25	c #Conflicts:      88000 | #Constraints:      13200
1284.98/1289.25	c bounds 4225461 >= 314858 @ 1282.97
1284.98/1289.25	c stratification level: 294912
1286.58/1290.82	c bounds 4219619 >= 314858 @ 1284.53
1286.58/1290.82	c stratification level: 293378
1286.80/1291.08	c bounds 4219117 >= 314858 @ 1284.79
1286.80/1291.08	c stratification level: 291848
3188.73/3199.01	c #Conflicts:      89000 | #Constraints:      14203
3188.73/3199.01	c #Conflicts:      90000 | #Constraints:      15203
3188.73/3199.01	c INPROCESSING
3188.73/3199.01	c GARBAGE COLLECT
3188.73/3199.01	c #Conflicts:      91000 | #Constraints:      10210
3188.73/3199.01	c #Conflicts:      92000 | #Constraints:      11210
3188.73/3199.01	c #Conflicts:      93000 | #Constraints:      12210
3188.73/3199.01	c #Conflicts:      94000 | #Constraints:      13210
3188.73/3199.01	c #Conflicts:      95000 | #Constraints:      14210
3188.73/3199.01	c bounds 4219117 >= 606706 @ 1401.68
3188.73/3199.01	c #Conflicts:      96000 | #Constraints:      15211
3188.73/3199.01	c INPROCESSING
3188.73/3199.01	c GARBAGE COLLECT
3188.73/3199.01	c #Conflicts:      97000 | #Constraints:      10004
3188.73/3199.01	c #Conflicts:      98000 | #Constraints:      11004
3188.73/3199.01	c #Conflicts:      99000 | #Constraints:      12004
3188.73/3199.01	c #Conflicts:     100000 | #Constraints:      13004
3188.73/3199.01	c #Conflicts:     101000 | #Constraints:      14004
3188.73/3199.01	c #Conflicts:     102000 | #Constraints:      15004
3188.73/3199.01	c #Conflicts:     103000 | #Constraints:      16004
3188.73/3199.01	c INPROCESSING
3188.73/3199.01	c GARBAGE COLLECT
3188.73/3199.01	c #Conflicts:     104000 | #Constraints:      10615
3188.73/3199.01	c #Conflicts:     105000 | #Constraints:      11615
3188.73/3199.01	c #Conflicts:     106000 | #Constraints:      12615
3188.73/3199.01	c #Conflicts:     107000 | #Constraints:      13615
3188.73/3199.01	c #Conflicts:     108000 | #Constraints:      14615
3188.73/3199.01	c #Conflicts:     109000 | #Constraints:      15615
3188.73/3199.01	c #Conflicts:     110000 | #Constraints:      16615
3188.73/3199.01	c INPROCESSING
3188.73/3199.01	c GARBAGE COLLECT
3188.73/3199.01	c #Conflicts:     111000 | #Constraints:      11017
3188.73/3199.01	c #Conflicts:     112000 | #Constraints:      12017
3188.73/3199.01	c #Conflicts:     113000 | #Constraints:      13017
3188.73/3199.01	c #Conflicts:     114000 | #Constraints:      14017
3188.73/3199.01	c #Conflicts:     115000 | #Constraints:      15017
3188.73/3199.01	c #Conflicts:     116000 | #Constraints:      16017
3188.73/3199.01	c #Conflicts:     117000 | #Constraints:      17017
3188.73/3199.01	c INPROCESSING
3188.73/3199.01	c GARBAGE COLLECT
3188.73/3199.01	c #Conflicts:     118000 | #Constraints:      11221
3188.73/3199.01	c #Conflicts:     119000 | #Constraints:      12221
3188.73/3199.01	c #Conflicts:     120000 | #Constraints:      13221
3188.73/3199.01	c #Conflicts:     121000 | #Constraints:      14221
3188.73/3199.01	c #Conflicts:     122000 | #Constraints:      15221
3188.73/3199.01	c #Conflicts:     123000 | #Constraints:      16221
3188.73/3199.01	c #Conflicts:     124000 | #Constraints:      17221
3188.73/3199.01	c INPROCESSING
3188.73/3199.01	c GARBAGE COLLECT
3188.73/3199.01	c #Conflicts:     125000 | #Constraints:      11203
3188.73/3199.01	c #Conflicts:     126000 | #Constraints:      12203
3188.73/3199.01	c #Conflicts:     127000 | #Constraints:      13203
3188.73/3199.01	c #Conflicts:     128000 | #Constraints:      14203
3188.73/3199.01	c #Conflicts:     129000 | #Constraints:      15203
3188.73/3199.01	c #Conflicts:     130000 | #Constraints:      16203
3188.73/3199.01	c #Conflicts:     131000 | #Constraints:      17203
3188.73/3199.01	c INPROCESSING
3188.73/3199.01	c GARBAGE COLLECT
3188.73/3199.01	c #Conflicts:     132000 | #Constraints:      11000
3188.73/3199.01	c #Conflicts:     133000 | #Constraints:      12000
3188.73/3199.01	c #Conflicts:     134000 | #Constraints:      13000
3188.73/3199.01	c #Conflicts:     135000 | #Constraints:      14000
3188.73/3199.01	c #Conflicts:     136000 | #Constraints:      15000
3188.73/3199.01	c #Conflicts:     137000 | #Constraints:      16000
3188.73/3199.01	c #Conflicts:     138000 | #Constraints:      17000
3188.73/3199.01	c #Conflicts:     139000 | #Constraints:      18000
3188.73/3199.01	c INPROCESSING
3188.73/3199.01	c GARBAGE COLLECT
3188.73/3199.01	c #Conflicts:     140000 | #Constraints:      11588
3188.73/3199.01	c #Conflicts:     141000 | #Constraints:      12588
3188.73/3199.01	c #Conflicts:     142000 | #Constraints:      13588
3188.73/3199.01	c #Conflicts:     143000 | #Constraints:      14588
3188.73/3199.01	c #Conflicts:     144000 | #Constraints:      15588
3188.73/3199.01	c #Conflicts:     145000 | #Constraints:      16588
3188.73/3199.01	c #Conflicts:     146000 | #Constraints:      17588
3188.73/3199.01	c #Conflicts:     147000 | #Constraints:      18588
3188.73/3199.01	c INPROCESSING
3188.73/3199.01	c GARBAGE COLLECT
3188.73/3199.01	c #Conflicts:     148000 | #Constraints:      12003
3188.73/3199.01	c #Conflicts:     149000 | #Constraints:      13003
3188.73/3199.01	c #Conflicts:     150000 | #Constraints:      14003
3188.73/3199.01	c #Conflicts:     151000 | #Constraints:      15003
3188.73/3199.01	c #Conflicts:     152000 | #Constraints:      16003
3188.73/3199.01	c #Conflicts:     153000 | #Constraints:      17003
3188.73/3199.01	c #Conflicts:     154000 | #Constraints:      18003
3188.73/3199.01	c #Conflicts:     155000 | #Constraints:      19003
3188.73/3199.01	c INPROCESSING
3188.73/3199.01	c GARBAGE COLLECT
3188.73/3199.01	c #Conflicts:     156000 | #Constraints:      12220
3188.73/3199.01	c #Conflicts:     157000 | #Constraints:      13220
3188.73/3199.01	c #Conflicts:     158000 | #Constraints:      14220
3188.73/3199.01	c #Conflicts:     159000 | #Constraints:      15220
3188.73/3199.01	c #Conflicts:     160000 | #Constraints:      16220
3600.09/3611.71	c #Conflicts:     161000 | #Constraints:      17220
3600.09/3611.71	c #Conflicts:     162000 | #Constraints:      18220
3600.09/3611.71	c #Conflicts:     163000 | #Constraints:      19220
3600.09/3611.71	c INPROCESSING
3600.09/3611.71	c GARBAGE COLLECT
3600.09/3611.71	c #Conflicts:     164000 | #Constraints:      12197
3600.09/3611.71	c #Conflicts:     165000 | #Constraints:      13197
3600.09/3611.71	c #Conflicts:     166000 | #Constraints:      14197
3600.09/3611.71	c #Conflicts:     167000 | #Constraints:      15197
3600.09/3611.71	c #Conflicts:     168000 | #Constraints:      16197
3600.09/3611.71	c #Conflicts:     169000 | #Constraints:      17197
3600.09/3611.71	c #Conflicts:     170000 | #Constraints:      18197
3600.09/3611.71	c #Conflicts:     171000 | #Constraints:      19197
3600.09/3611.71	c INPROCESSING
3600.09/3611.71	c GARBAGE COLLECT
3600.09/3611.71	c #Conflicts:     172000 | #Constraints:      11993
3600.09/3611.71	c #Conflicts:     173000 | #Constraints:      12993
3600.09/3611.71	c Program interrupted by user.
3600.09/3611.71	c cpu time 3596.21 s
3600.09/3611.71	c deterministic time 379038722635 3.79e+11
3600.09/3611.71	c optimization time 42.4964 s
3600.09/3611.71	c total solve time 3254.73 s
3600.09/3611.71	c core-guided solve time 3254.73 s
3600.09/3611.71	c propagation time 2598.79 s
3600.09/3611.71	c conflict analysis time 643.639 s
3600.09/3611.71	c propagations 40452607
3600.09/3611.71	c resolve steps 4138503
3600.09/3611.71	c decisions 2365059
3600.09/3611.71	c conflicts 173615
3600.09/3611.71	c restarts 475
3600.09/3611.71	c inprocessing phases 33
3600.09/3611.71	c input clauses 2556
3600.09/3611.71	c input cardinalities 8
3600.09/3611.71	c input general constraints 2800
3600.09/3611.71	c input average constraint length 108.35
3600.09/3611.71	c input average constraint degree 56446244.20
3600.09/3611.71	c learned clauses 23904
3600.09/3611.71	c learned cardinalities 88
3600.09/3611.71	c learned general constraints 149622
3600.09/3611.71	c learned average constraint length 2085.61
3600.09/3611.71	c learned average constraint degree 1912971443.02
3600.09/3611.71	c watched constraints 30673
3600.09/3611.71	c counting constraints 121749
3600.09/3611.71	c gcd simplifications 2553
3600.09/3611.71	c detected cardinalities 1
3600.09/3611.71	c weakened non-implied lits 12054729
3600.09/3611.71	c weakened non-implying lits 85525
3600.09/3611.71	c original variables 9940
3600.09/3611.71	c clausal propagations 28425862
3600.09/3611.71	c cardinality propagations 289244
3600.09/3611.71	c watched propagations 838005
3600.09/3611.71	c counting propagations 10805087
3600.09/3611.71	c watch lookups 46610849876
3600.09/3611.71	c watch backjump lookups 45953310189
3600.09/3611.71	c watch checks 162037155772
3600.09/3611.71	c propagation checks 123455485001
3600.09/3611.71	c constraint additions 896117811
3600.09/3611.71	c trail pops 42986319
3600.09/3611.71	c formula constraints 5188
3600.09/3611.71	c learned constraints 173614
3600.09/3611.71	c bound constraints 174
3600.09/3611.71	c core-guided constraints 2
3600.09/3611.71	c encountered formula constraints 3663702
3600.09/3611.71	c encountered learned constraints 646595
3600.09/3611.71	c encountered bound constraints 781
3600.09/3611.71	c encountered core-guided constraints 1040
3600.09/3611.71	c LP total time 0 s
3600.09/3611.71	c LP solve time 0 s
3600.09/3611.71	c LP constraints added 0
3600.09/3611.71	c LP constraints removed 0
3600.09/3611.71	c LP pivots internal 0
3600.09/3611.71	c LP pivots root 0
3600.09/3611.71	c LP calls 0
3600.09/3611.71	c LP optimalities 0
3600.09/3611.71	c LP no pivot count 0
3600.09/3611.71	c LP infeasibilities 0
3600.09/3611.71	c LP valid Farkas constraints 0
3600.09/3611.71	c LP learned Farkas constraints 0
3600.09/3611.71	c LP basis resets 0
3600.09/3611.71	c LP cycling count 0
3600.09/3611.71	c LP singular count 0
3600.09/3611.71	c LP no primal count 0
3600.09/3611.71	c LP no farkas count 0
3600.09/3611.71	c LP other issue count 0
3600.09/3611.71	c LP Gomory cuts 0
3600.09/3611.71	c LP learned cuts 0
3600.09/3611.71	c LP deleted cuts 0
3600.09/3611.71	c LP encountered Gomory constraints 0
3600.09/3611.71	c LP encountered Farkas constraints 0
3600.09/3611.71	c LP encountered learned Farkas constraints 0
3600.09/3611.71	c CG auxiliary variables introduced 1
3600.09/3611.71	c CG solutions found 170
3600.09/3611.71	c CG cores constructed 2
3600.09/3611.71	c CG core cardinality constraints returned 0
3600.09/3611.71	c CG unit cores 0
3600.09/3611.71	c CG single cores 2
3600.09/3611.71	c CG blocks removed during cardinality reduction 0
3600.09/3611.71	c CG first core best 0
3600.09/3611.71	c CG decision core best 0
3600.09/3611.71	c CG core reduction tie 0
3600.09/3611.71	c CG core degree average 1.00
3600.09/3611.71	c CG core slack average 474.00
3600.09/3611.71	c CG exhausted 0
3600.09/3611.71	c CG exhaust time 0.620831 s
3600.09/3611.71	c CG trimmed 0
3600.09/3611.71	c CG trim time 0.067267 s
3600.09/3611.71	c CG minimized 0
3600.09/3611.71	c CG minimize time 0 s
3600.09/3611.71	c CG am1 prop time 0.001972 s
3600.09/3611.71	c CG # am1s reformulated 0
3600.09/3611.71	c CG lower bound derived from am1s 0
3600.09/3611.71	c CG # clausal cores 2
3600.09/3611.71	c CG # cardinality cores 0
3600.09/3611.71	c CG # pb cores 0
3600.09/3611.71	c CG # pb reforms 0
3600.09/3611.71	c CG # cores discarded because of pb reform 0
3600.09/3611.71	d LOWERBOUND 606706
3600.09/3611.71	d NCORES 2
3600.09/3611.71	d NPBCORES 0
3600.09/3611.71	d NPBREFORM 0
3600.09/3611.71	d NTRIMMED 0
3600.09/3611.71	d NEXHAUSTED 0
3600.09/3611.71	d NAM1S 0
3600.09/3611.71	d AM1LB 0
3600.09/3611.71	c [STEP] postprocessing with Papilo
3600.09/3611.71	o 4219117
3600.09/3611.71	s SATISFIABLE
3600.09/3611.71	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

Verifier Data 

OK	4219117

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: 64059 MiB (61687 MiB free)
  memory of node 1: 64510 MiB (58170 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435690-1721133493/watcher-4435690-1721133493 -o /tmp/evaluation-result-4435690-1721133493/solver-4435690-1721133493 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721129892-842639 --watchdog 3760 mixed-bag HOME/instance-4435690-1721133493.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=844720, runsolver pid=844717

[startup+0.100107 s]*
/proc/loadavg: 4.10 4.10 4.09 5/241 844721
/proc/meminfo: memFree=122707096/131655788 swapFree=131071996/131071996
[pid=844720] ppid=844717 vsize=115680 memory=49416 CPUtime=0.1 cores=0,2
/proc/844720/stat : 844720 (mixed-bag) R 844717 844720 842629 0 -1 4194304 11274 0 0 0 9 1 0 0 20 0 1 0 165508900 118456320 12354 134679101440 4194304 16487941 140730419078560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27660288 140730419082263 140730419082340 140730419082340 140730419089355 0
/proc/844720/statm: 28920 12354 3755 3002 0 12671 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 115680 KiB
Current children cumulated memory: 49416 KiB

[startup+0.212705 s]*
/proc/loadavg: 4.10 4.10 4.09 5/241 844721
/proc/meminfo: memFree=122676352/131655788 swapFree=131071996/131071996
[pid=844720] ppid=844717 vsize=133868 memory=66528 CPUtime=0.21 cores=0,2
/proc/844720/stat : 844720 (mixed-bag) R 844717 844720 842629 0 -1 4194304 15432 0 0 0 20 1 0 0 20 0 1 0 165508900 137080832 16632 134679101440 4194304 16487941 140730419078560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27660288 140730419082263 140730419082340 140730419082340 140730419089355 0
/proc/844720/statm: 33467 16632 3883 3002 0 17218 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 133868 KiB
Current children cumulated memory: 66528 KiB

[startup+0.312737 s]*
/proc/loadavg: 4.10 4.10 4.09 5/241 844721
/proc/meminfo: memFree=122673860/131655788 swapFree=131071996/131071996
[pid=844720] ppid=844717 vsize=134672 memory=67056 CPUtime=0.31 cores=0,2
/proc/844720/stat : 844720 (mixed-bag) R 844717 844720 842629 0 -1 4194304 15597 0 0 0 30 1 0 0 20 0 1 0 165508900 137904128 16764 134679101440 4194304 16487941 140730419078560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27660288 140730419082263 140730419082340 140730419082340 140730419089355 0
/proc/844720/statm: 33668 16764 3883 3002 0 17419 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 134672 KiB
Current children cumulated memory: 67056 KiB

[startup+0.700258 s]
/proc/loadavg: 4.10 4.10 4.09 5/241 844721
/proc/meminfo: memFree=122638356/131655788 swapFree=131071996/131071996
[pid=844720] ppid=844717 vsize=179172 memory=101388 CPUtime=0.68 cores=0,2
/proc/844720/stat : 844720 (mixed-bag) R 844717 844720 842629 0 -1 4194304 24711 0 0 0 65 3 0 0 20 0 1 0 165508900 183472128 25347 134679101440 4194304 16487941 140730419078560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27660288 140730419082263 140730419082340 140730419082340 140730419089355 0
/proc/844720/statm: 44793 25347 4075 3002 0 28544 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 179172 KiB
Current children cumulated memory: 101388 KiB

[startup+1.50027 s]
/proc/loadavg: 4.10 4.10 4.09 5/241 844721
/proc/meminfo: memFree=122636408/131655788 swapFree=131071996/131071996
[pid=844720] ppid=844717 vsize=181000 memory=102960 CPUtime=1.48 cores=0,2
/proc/844720/stat : 844720 (mixed-bag) R 844717 844720 842629 0 -1 4194304 25109 0 0 0 145 3 0 0 20 0 1 0 165508900 185344000 25740 134679101440 4194304 16487941 140730419078560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27660288 140730419082263 140730419082340 140730419082340 140730419089355 0
/proc/844720/statm: 45250 25740 4075 3002 0 29001 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 181000 KiB
Current children cumulated memory: 102960 KiB

[startup+3.11226 s]
/proc/loadavg: 4.09 4.10 4.09 5/241 844723
/proc/meminfo: memFree=122610924/131655788 swapFree=131071996/131071996
[pid=844720] ppid=844717 vsize=205856 memory=126972 CPUtime=3.09 cores=0,2
/proc/844720/stat : 844720 (mixed-bag) R 844717 844720 842629 0 -1 4194304 31137 0 0 0 305 4 0 0 20 0 1 0 165508900 210796544 31743 134679101440 4194304 16487941 140730419078560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27660288 140730419082263 140730419082340 140730419082340 140730419089355 0
/proc/844720/statm: 51464 31743 4075 3002 0 35215 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 205856 KiB
Current children cumulated memory: 126972 KiB

[startup+6.3003 s]
/proc/loadavg: 4.09 4.10 4.09 5/241 844769
/proc/meminfo: memFree=127821508/131655788 swapFree=131071996/131071996
[pid=844720] ppid=844717 vsize=214584 memory=135672 CPUtime=6.26 cores=0,2
/proc/844720/stat : 844720 (mixed-bag) R 844717 844720 842629 0 -1 4194304 33327 0 0 0 622 4 0 0 20 0 1 0 165508900 219734016 33918 134679101440 4194304 16487941 140730419078560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27660288 140730419082263 140730419082340 140730419082340 140730419089355 0
/proc/844720/statm: 53646 33918 4075 3002 0 37397 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 214584 KiB
Current children cumulated memory: 135672 KiB

[startup+12.7003 s]
/proc/loadavg: 4.07 4.09 4.09 5/241 844769
/proc/meminfo: memFree=127793880/131655788 swapFree=131071996/131071996
[pid=844720] ppid=844717 vsize=221168 memory=142400 CPUtime=12.64 cores=0,2
/proc/844720/stat : 844720 (mixed-bag) R 844717 844720 842629 0 -1 4194304 35025 0 0 0 1260 4 0 0 20 0 1 0 165508900 226476032 35600 134679101440 4194304 16487941 140730419078560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27660288 140730419082263 140730419082340 140730419082340 140730419089355 0
/proc/844720/statm: 55292 35600 4075 3002 0 39043 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 221168 KiB
Current children cumulated memory: 142400 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.10 4.09 5/241 844772
/proc/meminfo: memFree=127704948/131655788 swapFree=131071996/131071996
[pid=844720] ppid=844717 vsize=249664 memory=170504 CPUtime=25.41 cores=0,2
/proc/844720/stat : 844720 (mixed-bag) R 844717 844720 842629 0 -1 4194304 42685 0 0 0 2535 6 0 0 20 0 1 0 165508900 255655936 42626 134679101440 4194304 16487941 140730419078560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27660288 140730419082263 140730419082340 140730419082340 140730419089355 0
/proc/844720/statm: 62416 42626 4114 3002 0 46167 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 249664 KiB
Current children cumulated memory: 170504 KiB

[startup+51.1121 s]
/proc/loadavg: 4.09 4.10 4.09 5/241 844776
/proc/meminfo: memFree=127628096/131655788 swapFree=131071996/131071996
[pid=844720] ppid=844717 vsize=249664 memory=170504 CPUtime=50.94 cores=0,2
/proc/844720/stat : 844720 (mixed-bag) R 844717 844720 842629 0 -1 4194304 42689 0 0 0 5088 6 0 0 20 0 1 0 165508900 255655936 42626 134679101440 4194304 16487941 140730419078560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27660288 140730419082263 140730419082340 140730419082340 140730419089355 0
/proc/844720/statm: 62416 42626 4114 3002 0 46167 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 249664 KiB
Current children cumulated memory: 170504 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/241 844784
/proc/meminfo: memFree=127570784/131655788 swapFree=131071996/131071996
[pid=844720] ppid=844717 vsize=249664 memory=170644 CPUtime=101.96 cores=0,2
/proc/844720/stat : 844720 (mixed-bag) R 844717 844720 842629 0 -1 4194304 43302 0 0 0 10190 6 0 0 20 0 1 0 165508900 255655936 42661 134679101440 4194304 16487941 140730419078560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27660288 140730419082263 140730419082340 140730419082340 140730419089355 0
/proc/844720/statm: 62416 42661 4114 3002 0 46167 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 249664 KiB
Current children cumulated memory: 170644 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.10 4.09 5/244 844799
/proc/meminfo: memFree=127546140/131655788 swapFree=131071996/131071996
[pid=844720] ppid=844717 vsize=256188 memory=177744 CPUtime=161.73 cores=0,2
/proc/844720/stat : 844720 (mixed-bag) R 844717 844720 842629 0 -1 4194304 45134 0 0 0 16166 7 0 0 20 0 1 0 165508900 262336512 44436 134679101440 4194304 16487941 140730419078560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27660288 140730419082263 140730419082340 140730419082340 140730419089355 0
/proc/844720/statm: 64047 44436 4114 3002 0 47798 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 256188 KiB
Current children cumulated memory: 177744 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/244 844809
/proc/meminfo: memFree=127524280/131655788 swapFree=131071996/131071996
[pid=844720] ppid=844717 vsize=256804 memory=178116 CPUtime=221.51 cores=0,2
/proc/844720/stat : 844720 (mixed-bag) R 844717 844720 842629 0 -1 4194304 45295 0 0 0 22144 7 0 0 20 0 1 0 165508900 262967296 44529 134679101440 4194304 16487941 140730419078560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27660288 140730419082263 140730419082340 140730419082340 140730419089355 0
/proc/844720/statm: 64201 44529 4114 3002 0 47952 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 256804 KiB
Current children cumulated memory: 178116 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/244 844820
/proc/meminfo: memFree=127495624/131655788 swapFree=131071996/131071996
[pid=844720] ppid=844717 vsize=274516 memory=195924 CPUtime=281.28 cores=0,2
/proc/844720/stat : 844720 (mixed-bag) R 844717 844720 842629 0 -1 4194304 50314 0 0 0 28120 8 0 0 20 0 1 0 165508900 281104384 48981 134679101440 4194304 16487941 140730419078560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27660288 140730419082263 140730419082340 140730419082340 140730419089355 0
/proc/844720/statm: 68629 48981 4114 3002 0 52380 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 274516 KiB
Current children cumulated memory: 195924 KiB

[startup+342.3 s]
/proc/loadavg: 4.59 4.23 4.14 5/244 844876
/proc/meminfo: memFree=127341536/131655788 swapFree=131071996/131071996
[pid=844720] ppid=844717 vsize=378316 memory=272764 CPUtime=341.06 cores=0,2
/proc/844720/stat : 844720 (mixed-bag) R 844717 844720 842629 0 -1 4194304 54964 0 0 0 34069 37 0 0 20 0 1 0 165508900 387395584 68191 134679101440 4194304 16487941 140730419078560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27660288 140730419082263 140730419082340 140730419082340 140730419089355 0
/proc/844720/statm: 94579 68191 4225 3002 0 78330 0
Current children cumulated CPU time: 341.06 s
Current children cumulated vsize: 378316 KiB
Current children cumulated memory: 272764 KiB

[startup+402.3 s]
/proc/loadavg: 4.37 4.25 4.15 5/244 844887
/proc/meminfo: memFree=127205312/131655788 swapFree=131071996/131071996
[pid=844720] ppid=844717 vsize=387524 memory=300840 CPUtime=400.84 cores=0,2
/proc/844720/stat : 844720 (mixed-bag) R 844717 844720 842629 0 -1 4194304 56455 0 0 0 40024 60 0 0 20 0 1 0 165508900 396824576 75210 134679101440 4194304 16487941 140730419078560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27660288 140730419082263 140730419082340 140730419082340 140730419089355 0
/proc/844720/statm: 96881 75210 4225 3002 0 80632 0
Current children cumulated CPU time: 400.84 s
Current children cumulated vsize: 387524 KiB
Current children cumulated memory: 300840 KiB

[startup+462.3 s]
/proc/loadavg: 4.28 4.24 4.15 5/241 844899
/proc/meminfo: memFree=127131004/131655788 swapFree=131071996/131071996
[pid=844720] ppid=844717 vsize=425744 memory=341044 CPUtime=460.63 cores=0,2
/proc/844720/stat : 844720 (mixed-bag) R 844717 844720 842629 0 -1 4194304 62480 0 0 0 45986 77 0 0 20 0 1 0 165508900 435961856 85261 134679101440 4194304 16487941 140730419078560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27660288 140730419082263 140730419082340 140730419082340 140730419089355 0
/proc/844720/statm: 106436 85261 4225 3002 0 90187 0

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

Current children cumulated memory: 608416 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.17 4.18 5/243 846294
/proc/meminfo: memFree=125916808/131655788 swapFree=131071996/131071996
[pid=844720] ppid=844717 vsize=802136 memory=608416 CPUtime=2912.9 cores=0,2
/proc/844720/stat : 844720 (mixed-bag) R 844717 844720 842629 0 -1 4194304 102659 0 0 0 290954 336 0 0 20 0 1 0 165508900 821387264 152104 134679101440 4194304 16487941 140730419078560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27660288 140730419082263 140730419082340 140730419082340 140730419089355 0
/proc/844720/statm: 200534 152104 4241 3002 0 184285 0
Current children cumulated CPU time: 2912.9 s
Current children cumulated vsize: 802136 KiB
Current children cumulated memory: 608416 KiB

[startup+2982.3 s]
/proc/loadavg: 4.04 4.13 4.17 5/243 846304
/proc/meminfo: memFree=125916092/131655788 swapFree=131071996/131071996
[pid=844720] ppid=844717 vsize=802136 memory=608416 CPUtime=2972.7 cores=0,2
/proc/844720/stat : 844720 (mixed-bag) R 844717 844720 842629 0 -1 4194304 102962 0 0 0 296931 339 0 0 20 0 1 0 165508900 821387264 152104 134679101440 4194304 16487941 140730419078560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27660288 140730419082263 140730419082340 140730419082340 140730419089355 0
/proc/844720/statm: 200534 152104 4241 3002 0 184285 0
Current children cumulated CPU time: 2972.7 s
Current children cumulated vsize: 802136 KiB
Current children cumulated memory: 608416 KiB

[startup+3042.3 s]
/proc/loadavg: 4.19 4.16 4.17 5/243 846484
/proc/meminfo: memFree=125915308/131655788 swapFree=131071996/131071996
[pid=844720] ppid=844717 vsize=802136 memory=608416 CPUtime=3032.51 cores=0,2
/proc/844720/stat : 844720 (mixed-bag) R 844717 844720 842629 0 -1 4194304 103184 0 0 0 302908 343 0 0 20 0 1 0 165508900 821387264 152104 134679101440 4194304 16487941 140730419078560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27660288 140730419082263 140730419082340 140730419082340 140730419089355 0
/proc/844720/statm: 200534 152104 4241 3002 0 184285 0
Current children cumulated CPU time: 3032.51 s
Current children cumulated vsize: 802136 KiB
Current children cumulated memory: 608416 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.14 4.17 5/243 846494
/proc/meminfo: memFree=125914872/131655788 swapFree=131071996/131071996
[pid=844720] ppid=844717 vsize=802392 memory=608612 CPUtime=3092.32 cores=0,2
/proc/844720/stat : 844720 (mixed-bag) R 844717 844720 842629 0 -1 4194304 103536 0 0 0 308884 348 0 0 20 0 1 0 165508900 821649408 152153 134679101440 4194304 16487941 140730419078560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27660288 140730419082263 140730419082340 140730419082340 140730419089355 0
/proc/844720/statm: 200598 152153 4241 3002 0 184349 0
Current children cumulated CPU time: 3092.32 s
Current children cumulated vsize: 802392 KiB
Current children cumulated memory: 608612 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.13 4.16 5/245 846563
/proc/meminfo: memFree=125914412/131655788 swapFree=131071996/131071996
[pid=844720] ppid=844717 vsize=802392 memory=608612 CPUtime=3152.14 cores=0,2
/proc/844720/stat : 844720 (mixed-bag) R 844717 844720 842629 0 -1 4194304 103758 0 0 0 314860 354 0 0 20 0 1 0 165508900 821649408 152153 134679101440 4194304 16487941 140730419078560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27660288 140730419082263 140730419082340 140730419082340 140730419089355 0
/proc/844720/statm: 200598 152153 4241 3002 0 184349 0
Current children cumulated CPU time: 3152.14 s
Current children cumulated vsize: 802392 KiB
Current children cumulated memory: 608612 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.12 4.16 5/245 846573
/proc/meminfo: memFree=125913844/131655788 swapFree=131071996/131071996
[pid=844720] ppid=844717 vsize=802392 memory=608612 CPUtime=3211.94 cores=0,2
/proc/844720/stat : 844720 (mixed-bag) R 844717 844720 842629 0 -1 4194304 104061 0 0 0 320837 357 0 0 20 0 1 0 165508900 821649408 152153 134679101440 4194304 16487941 140730419078560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27660288 140730419082263 140730419082340 140730419082340 140730419089355 0
/proc/844720/statm: 200598 152153 4241 3002 0 184349 0
Current children cumulated CPU time: 3211.94 s
Current children cumulated vsize: 802392 KiB
Current children cumulated memory: 608612 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.15 5/245 846584
/proc/meminfo: memFree=125911044/131655788 swapFree=131071996/131071996
[pid=844720] ppid=844717 vsize=802392 memory=608612 CPUtime=3271.76 cores=0,2
/proc/844720/stat : 844720 (mixed-bag) R 844717 844720 842629 0 -1 4194304 104283 0 0 0 326811 365 0 0 20 0 1 0 165508900 821649408 152153 134679101440 4194304 16487941 140730419078560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27660288 140730419082263 140730419082340 140730419082340 140730419089355 0
/proc/844720/statm: 200598 152153 4241 3002 0 184349 0
Current children cumulated CPU time: 3271.76 s
Current children cumulated vsize: 802392 KiB
Current children cumulated memory: 608612 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.15 5/244 846594
/proc/meminfo: memFree=125890724/131655788 swapFree=131071996/131071996
[pid=844720] ppid=844717 vsize=814808 memory=627916 CPUtime=3331.57 cores=0,2
/proc/844720/stat : 844720 (mixed-bag) R 844717 844720 842629 0 -1 4194304 106286 0 0 0 332787 370 0 0 20 0 1 0 165508900 834363392 156979 134679101440 4194304 16487941 140730419078560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27660288 140730419082263 140730419082340 140730419082340 140730419089355 0
/proc/844720/statm: 203702 156979 4241 3002 0 187453 0
Current children cumulated CPU time: 3331.57 s
Current children cumulated vsize: 814808 KiB
Current children cumulated memory: 627916 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.10 4.14 5/244 846605
/proc/meminfo: memFree=125890376/131655788 swapFree=131071996/131071996
[pid=844720] ppid=844717 vsize=814808 memory=628160 CPUtime=3391.38 cores=0,2
/proc/844720/stat : 844720 (mixed-bag) R 844717 844720 842629 0 -1 4194304 106461 0 0 0 338762 376 0 0 20 0 1 0 165508900 834363392 157040 134679101440 4194304 16487941 140730419078560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27660288 140730419082263 140730419082340 140730419082340 140730419089355 0
/proc/844720/statm: 203702 157040 4241 3002 0 187453 0
Current children cumulated CPU time: 3391.38 s
Current children cumulated vsize: 814808 KiB
Current children cumulated memory: 628160 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.09 4.13 5/241 846616
/proc/meminfo: memFree=125890136/131655788 swapFree=131071996/131071996
[pid=844720] ppid=844717 vsize=814808 memory=628160 CPUtime=3451.19 cores=0,2
/proc/844720/stat : 844720 (mixed-bag) R 844717 844720 842629 0 -1 4194304 106764 0 0 0 344739 380 0 0 20 0 1 0 165508900 834363392 157040 134679101440 4194304 16487941 140730419078560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27660288 140730419082263 140730419082340 140730419082340 140730419089355 0
/proc/844720/statm: 203702 157040 4241 3002 0 187453 0
Current children cumulated CPU time: 3451.19 s
Current children cumulated vsize: 814808 KiB
Current children cumulated memory: 628160 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.13 5/241 846626
/proc/meminfo: memFree=125873452/131655788 swapFree=131071996/131071996
[pid=844720] ppid=844717 vsize=814808 memory=642536 CPUtime=3510.99 cores=0,2
/proc/844720/stat : 844720 (mixed-bag) R 844717 844720 842629 0 -1 4194304 107016 0 0 0 350715 384 0 0 20 0 1 0 165508900 834363392 160634 134679101440 4194304 16487941 140730419078560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27660288 140730419082263 140730419082340 140730419082340 140730419089355 0
/proc/844720/statm: 203702 160634 4241 3002 0 187453 0
Current children cumulated CPU time: 3510.99 s
Current children cumulated vsize: 814808 KiB
Current children cumulated memory: 642536 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.11 4.13 5/241 846636
/proc/meminfo: memFree=125872984/131655788 swapFree=131071996/131071996
[pid=844720] ppid=844717 vsize=815064 memory=642732 CPUtime=3570.77 cores=0,2
/proc/844720/stat : 844720 (mixed-bag) R 844717 844720 842629 0 -1 4194304 107339 0 0 0 356689 388 0 0 20 0 1 0 165508900 834625536 160683 134679101440 4194304 16487941 140730419078560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27660288 140730419082263 140730419082340 140730419082340 140730419089355 0
/proc/844720/statm: 203766 160683 4241 3002 0 187517 0
Current children cumulated CPU time: 3570.77 s
Current children cumulated vsize: 815064 KiB
Current children cumulated memory: 642732 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.7 s]
/proc/loadavg: 4.24 4.13 4.14 5/241 846686
/proc/meminfo: memFree=126239380/131655788 swapFree=131071996/131071996
[pid=844720] ppid=844717 vsize=815064 memory=642732 CPUtime=3600.09 cores=0,2
/proc/844720/stat : 844720 (mixed-bag) R 844717 844720 842629 0 -1 4194304 107356 0 0 0 359619 390 0 0 20 0 1 0 165508900 834625536 160683 134679101440 4194304 16487941 140730419078560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27660288 140730419082263 140730419082340 140730419082340 140730419089355 0
/proc/844720/statm: 203766 160683 4241 3002 0 187517 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 815064 KiB
Current children cumulated memory: 642732 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.21 s, system=3.90545 s

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

[startup+3611.7 s]
/proc/loadavg: 4.24 4.13 4.14 5/241 846686
/proc/meminfo: memFree=126239380/131655788 swapFree=131071996/131071996
[pid=844720] ppid=844717 vsize=815064 memory=642732 CPUtime=3600.09 cores=0,2
/proc/844720/stat : 844720 (mixed-bag) R 844717 844720 842629 0 -1 4194304 107356 0 0 0 359619 390 0 0 20 0 1 0 165508900 834625536 160683 134679101440 4194304 16487941 140730419078560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27660288 140730419082263 140730419082340 140730419082340 140730419089355 0
/proc/844720/statm: 203766 160683 4241 3002 0 187517 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 815064 KiB
Current children cumulated memory: 642732 KiB

Child status: 0

Real time (s): 3611.72
CPU time (s): 3600.12
CPU user time (s): 3596.21
CPU system time (s): 3.90545
CPU usage (%): 99.6788
Max. virtual memory (cumulated for all children) (KiB): 815064
Max. memory (cumulated for all children) (KiB): 642732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.21
system time used= 3.90545
maximum resident set size= 645444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107962
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 161
involuntary context switches= 24645


# summary of solver processes directly reported to runsolver:
#   pid: 844720
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3596.21
#   total CPU system time (s): 3.90545

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8027 second user time and 33.3408 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-16 14:38:25
IDJOB=4435690
IDBENCH=155605
IDSOLVER=3066
FILE ID=nodeC009/4435690-1721133493
RUNJOBID= nodeC009-1721129892-842639
SLURM_JOB_ID= 7505696
Free space on /tmp= 723672 MiB

SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_5.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435690-1721133493/watcher-4435690-1721133493 -o /tmp/evaluation-result-4435690-1721133493/solver-4435690-1721133493 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721129892-842639 --watchdog 3760  mixed-bag HOME/instance-4435690-1721133493.opb

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

MD5SUM BENCH= 90cf94310e57120d5401aeddd838603e
RANDOM SEED=516559132

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3296.075
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.34
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	: 0xb00001f
cpu MHz		: 3557.229
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.27
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	: 0xb00001f
cpu MHz		: 1197.317
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.34
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	: 0xb00001f
cpu MHz		: 1197.455
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.27
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	: 0xb00001f
cpu MHz		: 3467.280
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.34
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	: 0xb00001f
cpu MHz		: 3583.756
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.27
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	: 0xb00001f
cpu MHz		: 1197.329
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.34
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	: 0xb00001f
cpu MHz		: 1197.476
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.27
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        122734376 kB
MemAvailable:   124364020 kB
Buffers:          418316 kB
Cached:          2037088 kB
SwapCached:            0 kB
Active:           778348 kB
Inactive:        7569504 kB
Active(anon):       1452 kB
Inactive(anon):  5928692 kB
Active(file):     776896 kB
Inactive(file):  1640812 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             51544 kB
Writeback:            64 kB
AnonPages:       5892492 kB
Mapped:           137584 kB
Shmem:             37700 kB
KReclaimable:     103932 kB
Slab:             202476 kB
SReclaimable:     103932 kB
SUnreclaim:        98544 kB
KernelStack:        3840 kB
PageTables:        22560 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7322980 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52992 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2973696 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187208 kB
DirectMap2M:    19640320 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723680 MiB
End job on nodeC009 at 2024-07-16 15:38:37