Trace number 4435871

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
pb-oll-rs 2024-07-02SAT (TO)326 3600.15 3610.47

DiagnosticValue
AM1LB0
LOWERBOUND18
NAM1S0
NCORES3
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

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

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
1.48/1.56	c [STEP] solving
1.48/1.56	c #variables 10000 #constraints 656900
1.48/1.56	c SMALL=int, LARGE=long long
1.48/1.56	c bounds - >= 0 @ 1.10986
1.48/1.56	c stratification level: 98
1.68/1.75	c bounds 7166 >= 0 @ 1.285
1.68/1.75	c stratification level: 97
1.68/1.76	c bounds 7149 >= 0 @ 1.29002
1.68/1.76	c stratification level: 96
1.68/1.77	c bounds 6681 >= 0 @ 1.29686
1.68/1.77	c stratification level: 95
1.68/1.78	c bounds 6570 >= 0 @ 1.30247
1.68/1.78	c stratification level: 94
1.88/1.91	c bounds 6552 >= 0 @ 1.42905
1.88/1.91	c stratification level: 93
1.88/1.99	c bounds 6547 >= 0 @ 1.5008
1.88/1.99	c stratification level: 92
1.88/1.99	c bounds 6483 >= 0 @ 1.50615
1.88/1.99	c stratification level: 91
1.88/2.00	c bounds 6417 >= 0 @ 1.51147
1.88/2.00	c stratification level: 90
1.99/2.01	c bounds 6399 >= 0 @ 1.51593
1.99/2.01	c stratification level: 89
1.99/2.01	c bounds 6283 >= 0 @ 1.52017
1.99/2.01	c stratification level: 88
1.99/2.02	c bounds 6247 >= 0 @ 1.5265
1.99/2.02	c stratification level: 87
1.99/2.03	c bounds 6089 >= 0 @ 1.53055
1.99/2.03	c stratification level: 86
1.99/2.04	c bounds 6078 >= 0 @ 1.53672
1.99/2.04	c stratification level: 85
1.99/2.04	c bounds 5919 >= 0 @ 1.54007
1.99/2.04	c stratification level: 84
1.99/2.05	c bounds 5849 >= 0 @ 1.54462
1.99/2.05	c stratification level: 83
1.99/2.06	c bounds 5810 >= 0 @ 1.54992
1.99/2.06	c stratification level: 82
1.99/2.07	c bounds 5548 >= 0 @ 1.55543
1.99/2.07	c stratification level: 81
1.99/2.07	c bounds 5528 >= 0 @ 1.55971
1.99/2.07	c stratification level: 80
1.99/2.08	c bounds 5512 >= 0 @ 1.56504
1.99/2.08	c stratification level: 79
1.99/2.09	c bounds 5065 >= 0 @ 1.56958
1.99/2.09	c stratification level: 78
1.99/2.10	c bounds 4907 >= 0 @ 1.57529
1.99/2.10	c stratification level: 77
2.09/2.18	c bounds 4896 >= 0 @ 1.6517
2.09/2.18	c stratification level: 76
2.09/2.19	c bounds 4718 >= 0 @ 1.65773
2.09/2.19	c stratification level: 75
2.18/2.20	c bounds 4671 >= 0 @ 1.66639
2.18/2.20	c stratification level: 74
2.18/2.21	c bounds 4649 >= 0 @ 1.67899
2.18/2.21	c stratification level: 73
2.18/2.22	c bounds 4604 >= 0 @ 1.68352
2.18/2.22	c stratification level: 72
2.18/2.23	c bounds 4532 >= 0 @ 1.6883
2.18/2.23	c stratification level: 71
2.18/2.24	c bounds 4484 >= 0 @ 1.69282
2.18/2.24	c stratification level: 70
2.18/2.25	c bounds 4318 >= 0 @ 1.69735
2.18/2.25	c stratification level: 69
2.18/2.26	c bounds 4312 >= 0 @ 1.70914
2.18/2.26	c stratification level: 68
2.18/2.27	c bounds 4244 >= 0 @ 1.71284
2.18/2.27	c stratification level: 67
2.18/2.28	c bounds 4190 >= 0 @ 1.71809
2.18/2.28	c stratification level: 66
2.18/2.28	c bounds 4184 >= 0 @ 1.72385
2.18/2.28	c stratification level: 65
2.28/2.30	c bounds 4010 >= 0 @ 1.73817
2.28/2.30	c stratification level: 64
2.28/2.31	c bounds 3981 >= 0 @ 1.74251
2.28/2.31	c stratification level: 63
2.28/2.32	c bounds 3856 >= 0 @ 1.74748
2.28/2.32	c stratification level: 62
2.28/2.33	c bounds 3823 >= 0 @ 1.75454
2.28/2.33	c stratification level: 61
2.28/2.34	c bounds 3804 >= 0 @ 1.7609
2.28/2.34	c stratification level: 60
2.28/2.35	c bounds 3802 >= 0 @ 1.76583
2.28/2.35	c stratification level: 59
2.28/2.36	c bounds 3638 >= 0 @ 1.76984
2.28/2.36	c stratification level: 58
2.28/2.37	c bounds 3552 >= 0 @ 1.77584
2.28/2.37	c stratification level: 57
2.28/2.38	c bounds 3505 >= 0 @ 1.783
2.28/2.38	c stratification level: 56
2.28/2.39	c bounds 3414 >= 0 @ 1.78958
2.28/2.39	c stratification level: 55
2.38/2.40	c bounds 3406 >= 0 @ 1.79872
2.38/2.40	c stratification level: 54
2.38/2.41	c bounds 3335 >= 0 @ 1.80881
2.38/2.41	c stratification level: 53
2.38/2.42	c bounds 3229 >= 0 @ 1.81195
2.38/2.42	c stratification level: 52
2.38/2.43	c bounds 3224 >= 0 @ 1.81617
2.38/2.43	c stratification level: 51
2.38/2.44	c bounds 3193 >= 0 @ 1.82323
2.38/2.44	c stratification level: 50
2.38/2.45	c bounds 2962 >= 0 @ 1.83229
2.38/2.45	c stratification level: 49
2.38/2.48	c bounds 2502 >= 0 @ 1.84788
2.38/2.48	c stratification level: 48
2.38/2.49	c bounds 2388 >= 0 @ 1.85675
2.38/2.49	c stratification level: 47
2.49/2.50	c bounds 2367 >= 0 @ 1.86154
2.49/2.50	c stratification level: 46
2.49/2.51	c bounds 2321 >= 0 @ 1.86651
2.49/2.51	c stratification level: 45
2.49/2.52	c bounds 2291 >= 0 @ 1.87017
2.49/2.52	c stratification level: 44
2.49/2.53	c bounds 2237 >= 0 @ 1.87721
2.49/2.53	c stratification level: 43
2.49/2.54	c bounds 2183 >= 0 @ 1.88389
2.49/2.54	c stratification level: 42
2.49/2.56	c bounds 2158 >= 0 @ 1.89497
2.49/2.56	c stratification level: 41
2.49/2.57	c bounds 2026 >= 0 @ 1.90362
2.49/2.57	c stratification level: 40
2.49/2.58	c bounds 1986 >= 0 @ 1.91076
2.49/2.58	c stratification level: 39
2.49/2.59	c bounds 1983 >= 0 @ 1.91567
2.49/2.59	c stratification level: 38
2.58/2.60	c bounds 1887 >= 0 @ 1.92436
2.58/2.60	c stratification level: 37
2.58/2.62	c bounds 1761 >= 0 @ 1.92878
2.58/2.62	c stratification level: 36
2.58/2.63	c bounds 1750 >= 0 @ 1.93689
2.58/2.63	c stratification level: 35
2.58/2.64	c bounds 1715 >= 0 @ 1.94329
2.58/2.64	c stratification level: 34
2.58/2.65	c bounds 1706 >= 0 @ 1.95316
2.58/2.65	c stratification level: 33
2.58/2.67	c bounds 1640 >= 0 @ 1.96487
2.58/2.67	c stratification level: 32
2.58/2.69	c bounds 1612 >= 0 @ 1.9705
2.58/2.69	c stratification level: 31
2.68/2.70	c bounds 1570 >= 0 @ 1.9771
2.68/2.70	c stratification level: 30
2.68/2.71	c bounds 1533 >= 0 @ 1.98646
2.68/2.71	c stratification level: 29
2.68/2.72	c bounds 1516 >= 0 @ 1.99543
2.68/2.72	c stratification level: 28
2.68/2.74	c bounds 1464 >= 0 @ 2.00431
2.68/2.74	c stratification level: 27
2.68/2.75	c bounds 1459 >= 0 @ 2.01224
2.68/2.75	c stratification level: 26
2.68/2.76	c bounds 1410 >= 0 @ 2.01614
2.68/2.76	c stratification level: 25
2.68/2.77	c bounds 1405 >= 0 @ 2.02283
2.68/2.77	c stratification level: 24
2.68/2.79	c bounds 1256 >= 0 @ 2.02821
2.68/2.79	c stratification level: 23
2.78/2.80	c bounds 1183 >= 0 @ 2.03429
2.78/2.80	c stratification level: 22
2.78/2.81	c bounds 1144 >= 0 @ 2.03946
2.78/2.81	c stratification level: 21
2.78/2.82	c bounds 1062 >= 0 @ 2.04655
2.78/2.82	c stratification level: 20
2.78/2.85	c bounds 1030 >= 0 @ 2.06454
2.78/2.85	c stratification level: 19
2.78/2.86	c bounds 1027 >= 0 @ 2.06896
2.78/2.86	c stratification level: 18
2.78/2.88	c bounds 1026 >= 0 @ 2.07755
2.78/2.88	c stratification level: 17
2.89/2.91	c bounds 1025 >= 0 @ 2.09977
2.89/2.91	c stratification level: 16
2.89/2.92	c bounds 885 >= 0 @ 2.1105
2.89/2.92	c stratification level: 15
2.89/2.94	c bounds 872 >= 0 @ 2.11829
2.89/2.94	c stratification level: 14
2.89/2.98	c bounds 871 >= 0 @ 2.15493
2.89/2.98	c stratification level: 13
2.99/3.03	c bounds 783 >= 0 @ 2.19543
2.99/3.03	c stratification level: 12
2.99/3.10	c #Conflicts:       1000 | #Constraints:     657985
2.99/3.10	c bounds 694 >= 0 @ 2.26095
2.99/3.10	c stratification level: 11
3.09/3.14	c bounds 619 >= 0 @ 2.29466
3.09/3.14	c stratification level: 10
3.18/3.29	c bounds 578 >= 0 @ 2.42062
3.18/3.29	c stratification level: 9
5.57/5.69	c #Conflicts:       2000 | #Constraints:     658988
5.57/5.69	c INPROCESSING
5.57/5.69	c GARBAGE COLLECT
5.57/5.69	c #Conflicts:       3000 | #Constraints:     658907
5.57/5.69	c bounds 529 >= 0 @ 4.71179
5.57/5.69	c stratification level: 8
6.77/6.86	c bounds 529 >= 8 @ 4.71798
6.77/6.86	c #Conflicts:       4000 | #Constraints:     659909
6.77/6.86	c INPROCESSING
6.77/6.86	c GARBAGE COLLECT
6.77/6.86	c #Conflicts:       5000 | #Constraints:     659317
6.77/6.86	c finalizing WCE round: reformulating cores
12.16/12.24	c bounds 415 >= 8 @ 5.82345
12.16/12.24	c #Conflicts:       6000 | #Constraints:     660321
12.16/12.24	c INPROCESSING
12.16/12.24	c GARBAGE COLLECT
12.16/12.24	c #Conflicts:       7000 | #Constraints:     659321
12.16/12.24	c #Conflicts:       8000 | #Constraints:     660321
12.16/12.24	c #Conflicts:       9000 | #Constraints:     661321
12.16/12.24	c INPROCESSING
12.16/12.24	c GARBAGE COLLECT
12.16/12.24	c #Conflicts:      10000 | #Constraints:     660025
12.16/12.24	c bounds 414 >= 8 @ 11.0371
12.16/12.24	c stratification level: 7
89.24/89.58	c #Conflicts:      11000 | #Constraints:     661026
89.24/89.58	c #Conflicts:      12000 | #Constraints:     662026
89.24/89.58	c INPROCESSING
89.24/89.58	c GARBAGE COLLECT
89.24/89.58	c #Conflicts:      13000 | #Constraints:     660476
89.24/89.58	c #Conflicts:      14000 | #Constraints:     661476
89.24/89.58	c #Conflicts:      15000 | #Constraints:     662476
89.24/89.58	c INPROCESSING
89.24/89.58	c GARBAGE COLLECT
89.24/89.58	c #Conflicts:      16000 | #Constraints:     660713
89.24/89.58	c #Conflicts:      17000 | #Constraints:     661713
89.24/89.58	c #Conflicts:      18000 | #Constraints:     662713
89.24/89.58	c INPROCESSING
89.24/89.58	c GARBAGE COLLECT
89.24/89.58	c #Conflicts:      19000 | #Constraints:     660732
89.24/89.58	c #Conflicts:      20000 | #Constraints:     661732
89.24/89.58	c #Conflicts:      21000 | #Constraints:     662732
89.24/89.58	c INPROCESSING
89.24/89.58	c GARBAGE COLLECT
89.24/89.58	c #Conflicts:      22000 | #Constraints:     660534
89.24/89.58	c #Conflicts:      23000 | #Constraints:     661534
89.24/89.58	c #Conflicts:      24000 | #Constraints:     662534
89.24/89.58	c #Conflicts:      25000 | #Constraints:     663534
89.24/89.58	c INPROCESSING
89.24/89.58	c GARBAGE COLLECT
89.24/89.58	c #Conflicts:      26000 | #Constraints:     661142
89.24/89.58	c #Conflicts:      27000 | #Constraints:     662142
89.24/89.58	c #Conflicts:      28000 | #Constraints:     663142
89.24/89.58	c #Conflicts:      29000 | #Constraints:     664142
89.24/89.58	c INPROCESSING
89.24/89.58	c GARBAGE COLLECT
89.24/89.58	c #Conflicts:      30000 | #Constraints:     661540
89.24/89.58	c #Conflicts:      31000 | #Constraints:     662540
89.24/89.58	c #Conflicts:      32000 | #Constraints:     663540
89.24/89.58	c #Conflicts:      33000 | #Constraints:     664540
89.24/89.58	c INPROCESSING
89.24/89.58	c GARBAGE COLLECT
89.24/89.58	c #Conflicts:      34000 | #Constraints:     661742
89.24/89.58	c #Conflicts:      35000 | #Constraints:     662742
89.24/89.58	c #Conflicts:      36000 | #Constraints:     663742
89.24/89.58	c #Conflicts:      37000 | #Constraints:     664742
89.24/89.58	c INPROCESSING
89.24/89.58	c GARBAGE COLLECT
89.24/89.58	c #Conflicts:      38000 | #Constraints:     661755
89.24/89.58	c #Conflicts:      39000 | #Constraints:     662755
89.24/89.58	c #Conflicts:      40000 | #Constraints:     663755
89.24/89.58	c #Conflicts:      41000 | #Constraints:     664755
89.24/89.58	c INPROCESSING
89.24/89.58	c GARBAGE COLLECT
89.24/89.58	c #Conflicts:      42000 | #Constraints:     661553
89.24/89.58	c #Conflicts:      43000 | #Constraints:     662553
89.24/89.58	c #Conflicts:      44000 | #Constraints:     663553
89.24/89.58	c #Conflicts:      45000 | #Constraints:     664553
89.24/89.58	c #Conflicts:      46000 | #Constraints:     665553
89.24/89.58	c INPROCESSING
89.24/89.58	c GARBAGE COLLECT
89.24/89.58	c #Conflicts:      47000 | #Constraints:     662156
89.24/89.58	c #Conflicts:      48000 | #Constraints:     663156
89.24/89.58	c #Conflicts:      49000 | #Constraints:     664156
89.24/89.58	c #Conflicts:      50000 | #Constraints:     665156
89.24/89.58	c #Conflicts:      51000 | #Constraints:     666156
89.24/89.58	c INPROCESSING
89.24/89.58	c GARBAGE COLLECT
89.24/89.58	c #Conflicts:      52000 | #Constraints:     662555
89.24/89.58	c #Conflicts:      53000 | #Constraints:     663555
89.24/89.58	c #Conflicts:      54000 | #Constraints:     664555
89.24/89.58	c #Conflicts:      55000 | #Constraints:     665555
89.24/89.58	c #Conflicts:      56000 | #Constraints:     666555
89.24/89.58	c INPROCESSING
89.24/89.58	c GARBAGE COLLECT
89.24/89.58	c #Conflicts:      57000 | #Constraints:     662752
89.24/89.58	c #Conflicts:      58000 | #Constraints:     663752
89.24/89.58	c #Conflicts:      59000 | #Constraints:     664752
89.24/89.58	c #Conflicts:      60000 | #Constraints:     665752
89.24/89.58	c #Conflicts:      61000 | #Constraints:     666752
89.24/89.58	c INPROCESSING
89.24/89.58	c GARBAGE COLLECT
89.24/89.58	c #Conflicts:      62000 | #Constraints:     662750
89.24/89.58	c #Conflicts:      63000 | #Constraints:     663750
89.24/89.58	c #Conflicts:      64000 | #Constraints:     664750
89.24/89.58	c #Conflicts:      65000 | #Constraints:     665750
89.24/89.58	c #Conflicts:      66000 | #Constraints:     666750
89.24/89.58	c INPROCESSING
89.24/89.58	c GARBAGE COLLECT
89.24/89.58	c #Conflicts:      67000 | #Constraints:     662555
89.24/89.58	c #Conflicts:      68000 | #Constraints:     663555
89.24/89.58	c #Conflicts:      69000 | #Constraints:     664555
89.24/89.58	c #Conflicts:      70000 | #Constraints:     665555
89.24/89.58	c #Conflicts:      71000 | #Constraints:     666555
89.24/89.58	c #Conflicts:      72000 | #Constraints:     667555
89.24/89.58	c INPROCESSING
89.24/89.58	c GARBAGE COLLECT
89.24/89.58	c #Conflicts:      73000 | #Constraints:     663161
89.24/89.58	c #Conflicts:      74000 | #Constraints:     664161
89.24/89.58	c #Conflicts:      75000 | #Constraints:     665161
89.24/89.58	c #Conflicts:      76000 | #Constraints:     666161
89.24/89.58	c #Conflicts:      77000 | #Constraints:     667161
89.24/89.58	c #Conflicts:      78000 | #Constraints:     668161
89.24/89.58	c INPROCESSING
89.24/89.58	c GARBAGE COLLECT
89.24/89.58	c #Conflicts:      79000 | #Constraints:     663563
182.77/183.32	c #Conflicts:      80000 | #Constraints:     664563
182.77/183.32	c #Conflicts:      81000 | #Constraints:     665563
182.77/183.32	c #Conflicts:      82000 | #Constraints:     666563
182.77/183.32	c #Conflicts:      83000 | #Constraints:     667563
182.77/183.32	c #Conflicts:      84000 | #Constraints:     668563
182.77/183.32	c INPROCESSING
182.77/183.32	c GARBAGE COLLECT
182.77/183.32	c #Conflicts:      85000 | #Constraints:     663758
182.77/183.32	c #Conflicts:      86000 | #Constraints:     664758
182.77/183.32	c #Conflicts:      87000 | #Constraints:     665758
182.77/183.32	c #Conflicts:      88000 | #Constraints:     666758
182.77/183.32	c #Conflicts:      89000 | #Constraints:     667758
182.77/183.32	c #Conflicts:      90000 | #Constraints:     668758
182.77/183.32	c INPROCESSING
182.77/183.32	c GARBAGE COLLECT
182.77/183.32	c #Conflicts:      91000 | #Constraints:     663761
182.77/183.32	c #Conflicts:      92000 | #Constraints:     664761
182.77/183.32	c #Conflicts:      93000 | #Constraints:     665761
182.77/183.32	c #Conflicts:      94000 | #Constraints:     666761
182.77/183.32	c #Conflicts:      95000 | #Constraints:     667761
182.77/183.32	c #Conflicts:      96000 | #Constraints:     668761
182.77/183.32	c INPROCESSING
182.77/183.32	c GARBAGE COLLECT
182.77/183.32	c #Conflicts:      97000 | #Constraints:     663566
182.77/183.32	c #Conflicts:      98000 | #Constraints:     664566
182.77/183.32	c #Conflicts:      99000 | #Constraints:     665566
182.77/183.32	c #Conflicts:     100000 | #Constraints:     666566
182.77/183.32	c #Conflicts:     101000 | #Constraints:     667566
182.77/183.32	c #Conflicts:     102000 | #Constraints:     668566
182.77/183.32	c #Conflicts:     103000 | #Constraints:     669566
182.77/183.32	c INPROCESSING
182.77/183.32	c GARBAGE COLLECT
182.77/183.32	c #Conflicts:     104000 | #Constraints:     664166
182.77/183.32	c #Conflicts:     105000 | #Constraints:     665166
182.77/183.32	c #Conflicts:     106000 | #Constraints:     666166
182.77/183.32	c #Conflicts:     107000 | #Constraints:     667166
182.77/183.32	c #Conflicts:     108000 | #Constraints:     668166
182.77/183.32	c #Conflicts:     109000 | #Constraints:     669166
182.77/183.32	c #Conflicts:     110000 | #Constraints:     670166
182.77/183.32	c INPROCESSING
182.77/183.32	c GARBAGE COLLECT
182.77/183.32	c #Conflicts:     111000 | #Constraints:     664567
182.77/183.32	c #Conflicts:     112000 | #Constraints:     665567
182.77/183.32	c #Conflicts:     113000 | #Constraints:     666567
182.77/183.32	c #Conflicts:     114000 | #Constraints:     667567
182.77/183.32	c #Conflicts:     115000 | #Constraints:     668567
182.77/183.32	c #Conflicts:     116000 | #Constraints:     669567
182.77/183.32	c #Conflicts:     117000 | #Constraints:     670567
182.77/183.32	c INPROCESSING
182.77/183.32	c GARBAGE COLLECT
182.77/183.32	c #Conflicts:     118000 | #Constraints:     664773
182.77/183.32	c #Conflicts:     119000 | #Constraints:     665773
182.77/183.32	c #Conflicts:     120000 | #Constraints:     666773
182.77/183.32	c #Conflicts:     121000 | #Constraints:     667773
182.77/183.32	c #Conflicts:     122000 | #Constraints:     668773
182.77/183.32	c #Conflicts:     123000 | #Constraints:     669773
182.77/183.32	c #Conflicts:     124000 | #Constraints:     670773
182.77/183.32	c INPROCESSING
182.77/183.32	c GARBAGE COLLECT
182.77/183.32	c #Conflicts:     125000 | #Constraints:     664773
182.77/183.32	c #Conflicts:     126000 | #Constraints:     665773
182.77/183.32	c #Conflicts:     127000 | #Constraints:     666773
182.77/183.32	c #Conflicts:     128000 | #Constraints:     667773
182.77/183.32	c #Conflicts:     129000 | #Constraints:     668773
182.77/183.32	c #Conflicts:     130000 | #Constraints:     669773
182.77/183.32	c #Conflicts:     131000 | #Constraints:     670773
182.77/183.32	c INPROCESSING
182.77/183.32	c GARBAGE COLLECT
182.77/183.32	c #Conflicts:     132000 | #Constraints:     664574
182.77/183.32	c #Conflicts:     133000 | #Constraints:     665574
182.77/183.32	c #Conflicts:     134000 | #Constraints:     666574
182.77/183.32	c #Conflicts:     135000 | #Constraints:     667574
182.77/183.32	c #Conflicts:     136000 | #Constraints:     668574
182.77/183.32	c #Conflicts:     137000 | #Constraints:     669574
182.77/183.32	c #Conflicts:     138000 | #Constraints:     670574
182.77/183.32	c #Conflicts:     139000 | #Constraints:     671574
182.77/183.32	c INPROCESSING
182.77/183.32	c GARBAGE COLLECT
182.77/183.32	c #Conflicts:     140000 | #Constraints:     665178
182.77/183.32	c #Conflicts:     141000 | #Constraints:     666178
182.77/183.32	c #Conflicts:     142000 | #Constraints:     667178
182.77/183.32	c #Conflicts:     143000 | #Constraints:     668178
182.77/183.32	c #Conflicts:     144000 | #Constraints:     669178
182.77/183.32	c #Conflicts:     145000 | #Constraints:     670178
182.77/183.32	c #Conflicts:     146000 | #Constraints:     671178
182.77/183.32	c #Conflicts:     147000 | #Constraints:     672178
182.77/183.32	c INPROCESSING
182.77/183.32	c GARBAGE COLLECT
182.77/183.32	c #Conflicts:     148000 | #Constraints:     665588
182.77/183.32	c #Conflicts:     149000 | #Constraints:     666588
182.77/183.32	c #Conflicts:     150000 | #Constraints:     667588
182.77/183.32	c #Conflicts:     151000 | #Constraints:     668588
182.77/183.32	c #Conflicts:     152000 | #Constraints:     669588
283.98/284.88	c #Conflicts:     153000 | #Constraints:     670588
283.98/284.88	c #Conflicts:     154000 | #Constraints:     671588
283.98/284.88	c #Conflicts:     155000 | #Constraints:     672588
283.98/284.88	c INPROCESSING
283.98/284.88	c GARBAGE COLLECT
283.98/284.88	c #Conflicts:     156000 | #Constraints:     665780
283.98/284.88	c #Conflicts:     157000 | #Constraints:     666780
283.98/284.88	c #Conflicts:     158000 | #Constraints:     667780
283.98/284.88	c #Conflicts:     159000 | #Constraints:     668780
283.98/284.88	c #Conflicts:     160000 | #Constraints:     669780
283.98/284.88	c #Conflicts:     161000 | #Constraints:     670780
283.98/284.88	c #Conflicts:     162000 | #Constraints:     671780
283.98/284.88	c #Conflicts:     163000 | #Constraints:     672780
283.98/284.88	c INPROCESSING
283.98/284.88	c GARBAGE COLLECT
283.98/284.88	c #Conflicts:     164000 | #Constraints:     665785
283.98/284.88	c #Conflicts:     165000 | #Constraints:     666785
283.98/284.88	c #Conflicts:     166000 | #Constraints:     667785
283.98/284.88	c #Conflicts:     167000 | #Constraints:     668785
283.98/284.88	c #Conflicts:     168000 | #Constraints:     669785
283.98/284.88	c #Conflicts:     169000 | #Constraints:     670785
283.98/284.88	c #Conflicts:     170000 | #Constraints:     671785
283.98/284.88	c #Conflicts:     171000 | #Constraints:     672785
283.98/284.88	c INPROCESSING
283.98/284.88	c GARBAGE COLLECT
283.98/284.88	c #Conflicts:     172000 | #Constraints:     665580
283.98/284.88	c #Conflicts:     173000 | #Constraints:     666580
283.98/284.88	c #Conflicts:     174000 | #Constraints:     667580
283.98/284.88	c #Conflicts:     175000 | #Constraints:     668580
283.98/284.88	c #Conflicts:     176000 | #Constraints:     669580
283.98/284.88	c #Conflicts:     177000 | #Constraints:     670580
283.98/284.88	c #Conflicts:     178000 | #Constraints:     671580
283.98/284.88	c #Conflicts:     179000 | #Constraints:     672580
283.98/284.88	c #Conflicts:     180000 | #Constraints:     673580
283.98/284.88	c INPROCESSING
283.98/284.88	c GARBAGE COLLECT
283.98/284.88	c #Conflicts:     181000 | #Constraints:     666181
283.98/284.88	c #Conflicts:     182000 | #Constraints:     667181
283.98/284.88	c #Conflicts:     183000 | #Constraints:     668181
283.98/284.88	c #Conflicts:     184000 | #Constraints:     669181
283.98/284.88	c #Conflicts:     185000 | #Constraints:     670181
283.98/284.88	c #Conflicts:     186000 | #Constraints:     671181
283.98/284.88	c #Conflicts:     187000 | #Constraints:     672181
283.98/284.88	c #Conflicts:     188000 | #Constraints:     673181
283.98/284.88	c #Conflicts:     189000 | #Constraints:     674181
283.98/284.88	c INPROCESSING
283.98/284.88	c GARBAGE COLLECT
283.98/284.88	c #Conflicts:     190000 | #Constraints:     666589
283.98/284.88	c #Conflicts:     191000 | #Constraints:     667589
283.98/284.88	c #Conflicts:     192000 | #Constraints:     668589
283.98/284.88	c #Conflicts:     193000 | #Constraints:     669589
283.98/284.88	c #Conflicts:     194000 | #Constraints:     670589
283.98/284.88	c #Conflicts:     195000 | #Constraints:     671589
283.98/284.88	c #Conflicts:     196000 | #Constraints:     672589
283.98/284.88	c #Conflicts:     197000 | #Constraints:     673589
283.98/284.88	c #Conflicts:     198000 | #Constraints:     674589
283.98/284.88	c INPROCESSING
283.98/284.88	c GARBAGE COLLECT
283.98/284.88	c #Conflicts:     199000 | #Constraints:     666782
283.98/284.88	c #Conflicts:     200000 | #Constraints:     667782
283.98/284.88	c #Conflicts:     201000 | #Constraints:     668782
283.98/284.88	c #Conflicts:     202000 | #Constraints:     669782
283.98/284.88	c #Conflicts:     203000 | #Constraints:     670782
283.98/284.88	c #Conflicts:     204000 | #Constraints:     671782
283.98/284.88	c #Conflicts:     205000 | #Constraints:     672782
283.98/284.88	c #Conflicts:     206000 | #Constraints:     673782
283.98/284.88	c #Conflicts:     207000 | #Constraints:     674782
283.98/284.88	c INPROCESSING
283.98/284.88	c GARBAGE COLLECT
283.98/284.88	c #Conflicts:     208000 | #Constraints:     666788
283.98/284.88	c #Conflicts:     209000 | #Constraints:     667788
283.98/284.88	c #Conflicts:     210000 | #Constraints:     668788
283.98/284.88	c #Conflicts:     211000 | #Constraints:     669788
283.98/284.88	c #Conflicts:     212000 | #Constraints:     670788
283.98/284.88	c #Conflicts:     213000 | #Constraints:     671788
283.98/284.88	c #Conflicts:     214000 | #Constraints:     672788
283.98/284.88	c #Conflicts:     215000 | #Constraints:     673788
283.98/284.88	c #Conflicts:     216000 | #Constraints:     674788
283.98/284.88	c INPROCESSING
283.98/284.88	c GARBAGE COLLECT
283.98/284.88	c #Conflicts:     217000 | #Constraints:     666590
283.98/284.88	c #Conflicts:     218000 | #Constraints:     667590
283.98/284.88	c #Conflicts:     219000 | #Constraints:     668590
283.98/284.88	c #Conflicts:     220000 | #Constraints:     669590
283.98/284.88	c #Conflicts:     221000 | #Constraints:     670590
283.98/284.88	c #Conflicts:     222000 | #Constraints:     671590
283.98/284.88	c #Conflicts:     223000 | #Constraints:     672590
283.98/284.88	c #Conflicts:     224000 | #Constraints:     673590
283.98/284.88	c #Conflicts:     225000 | #Constraints:     674590
306.92/307.80	c #Conflicts:     226000 | #Constraints:     675590
306.92/307.80	c INPROCESSING
306.92/307.80	c GARBAGE COLLECT
306.92/307.80	c #Conflicts:     227000 | #Constraints:     667196
306.92/307.80	c #Conflicts:     228000 | #Constraints:     668196
306.92/307.80	c #Conflicts:     229000 | #Constraints:     669196
306.92/307.80	c #Conflicts:     230000 | #Constraints:     670196
306.92/307.80	c #Conflicts:     231000 | #Constraints:     671196
306.92/307.80	c #Conflicts:     232000 | #Constraints:     672196
306.92/307.80	c #Conflicts:     233000 | #Constraints:     673196
306.92/307.80	c #Conflicts:     234000 | #Constraints:     674196
306.92/307.80	c #Conflicts:     235000 | #Constraints:     675196
306.92/307.80	c #Conflicts:     236000 | #Constraints:     676196
306.92/307.80	c INPROCESSING
306.92/307.80	c GARBAGE COLLECT
306.92/307.80	c #Conflicts:     237000 | #Constraints:     667590
306.92/307.80	c #Conflicts:     238000 | #Constraints:     668590
306.92/307.80	c #Conflicts:     239000 | #Constraints:     669590
306.92/307.80	c #Conflicts:     240000 | #Constraints:     670590
306.92/307.80	c #Conflicts:     241000 | #Constraints:     671590
306.92/307.80	c #Conflicts:     242000 | #Constraints:     672590
306.92/307.80	c #Conflicts:     243000 | #Constraints:     673590
306.92/307.80	c bounds 410 >= 8 @ 301.102
306.92/307.80	c stratification level: 6
412.01/413.24	c #Conflicts:     244000 | #Constraints:     674591
412.01/413.24	c #Conflicts:     245000 | #Constraints:     675591
412.01/413.24	c #Conflicts:     246000 | #Constraints:     676591
412.01/413.24	c INPROCESSING
412.01/413.24	c GARBAGE COLLECT
412.01/413.24	c #Conflicts:     247000 | #Constraints:     667790
412.01/413.24	c #Conflicts:     248000 | #Constraints:     668790
412.01/413.24	c #Conflicts:     249000 | #Constraints:     669790
412.01/413.24	c #Conflicts:     250000 | #Constraints:     670790
412.01/413.24	c #Conflicts:     251000 | #Constraints:     671790
412.01/413.24	c #Conflicts:     252000 | #Constraints:     672790
412.01/413.24	c #Conflicts:     253000 | #Constraints:     673790
412.01/413.24	c #Conflicts:     254000 | #Constraints:     674790
412.01/413.24	c #Conflicts:     255000 | #Constraints:     675790
412.01/413.24	c #Conflicts:     256000 | #Constraints:     676790
412.01/413.24	c INPROCESSING
412.01/413.24	c GARBAGE COLLECT
412.01/413.24	c #Conflicts:     257000 | #Constraints:     667802
412.01/413.24	c #Conflicts:     258000 | #Constraints:     668802
412.01/413.24	c #Conflicts:     259000 | #Constraints:     669802
412.01/413.24	c #Conflicts:     260000 | #Constraints:     670802
412.01/413.24	c #Conflicts:     261000 | #Constraints:     671802
412.01/413.24	c #Conflicts:     262000 | #Constraints:     672802
412.01/413.24	c #Conflicts:     263000 | #Constraints:     673802
412.01/413.24	c #Conflicts:     264000 | #Constraints:     674802
412.01/413.24	c #Conflicts:     265000 | #Constraints:     675802
412.01/413.24	c #Conflicts:     266000 | #Constraints:     676802
412.01/413.24	c INPROCESSING
412.01/413.24	c GARBAGE COLLECT
412.01/413.24	c #Conflicts:     267000 | #Constraints:     667597
412.01/413.24	c #Conflicts:     268000 | #Constraints:     668597
412.01/413.24	c #Conflicts:     269000 | #Constraints:     669597
412.01/413.24	c #Conflicts:     270000 | #Constraints:     670597
412.01/413.24	c #Conflicts:     271000 | #Constraints:     671597
412.01/413.24	c #Conflicts:     272000 | #Constraints:     672597
412.01/413.24	c #Conflicts:     273000 | #Constraints:     673597
412.01/413.24	c #Conflicts:     274000 | #Constraints:     674597
412.01/413.24	c #Conflicts:     275000 | #Constraints:     675597
412.01/413.24	c #Conflicts:     276000 | #Constraints:     676597
412.01/413.24	c #Conflicts:     277000 | #Constraints:     677597
412.01/413.24	c INPROCESSING
412.01/413.24	c GARBAGE COLLECT
412.01/413.24	c #Conflicts:     278000 | #Constraints:     668209
412.01/413.24	c #Conflicts:     279000 | #Constraints:     669209
412.01/413.24	c #Conflicts:     280000 | #Constraints:     670209
412.01/413.24	c #Conflicts:     281000 | #Constraints:     671209
412.01/413.24	c #Conflicts:     282000 | #Constraints:     672209
412.01/413.24	c #Conflicts:     283000 | #Constraints:     673209
412.01/413.24	c #Conflicts:     284000 | #Constraints:     674209
412.01/413.24	c #Conflicts:     285000 | #Constraints:     675209
412.01/413.24	c #Conflicts:     286000 | #Constraints:     676209
412.01/413.24	c #Conflicts:     287000 | #Constraints:     677209
412.01/413.24	c #Conflicts:     288000 | #Constraints:     678209
412.01/413.24	c INPROCESSING
412.01/413.24	c GARBAGE COLLECT
412.01/413.24	c #Conflicts:     289000 | #Constraints:     668605
412.01/413.24	c #Conflicts:     290000 | #Constraints:     669605
412.01/413.24	c #Conflicts:     291000 | #Constraints:     670605
412.01/413.24	c #Conflicts:     292000 | #Constraints:     671605
412.01/413.24	c #Conflicts:     293000 | #Constraints:     672605
412.01/413.24	c #Conflicts:     294000 | #Constraints:     673605
412.01/413.24	c #Conflicts:     295000 | #Constraints:     674605
412.01/413.24	c #Conflicts:     296000 | #Constraints:     675605
412.01/413.24	c #Conflicts:     297000 | #Constraints:     676605
412.01/413.24	c #Conflicts:     298000 | #Constraints:     677605
412.01/413.24	c #Conflicts:     299000 | #Constraints:     678605
412.01/413.24	c INPROCESSING
412.01/413.24	c GARBAGE COLLECT
412.01/413.24	c #Conflicts:     300000 | #Constraints:     668803
412.01/413.24	c #Conflicts:     301000 | #Constraints:     669803
412.01/413.24	c #Conflicts:     302000 | #Constraints:     670803
412.01/413.24	c #Conflicts:     303000 | #Constraints:     671803
412.01/413.24	c #Conflicts:     304000 | #Constraints:     672803
412.01/413.24	c #Conflicts:     305000 | #Constraints:     673803
412.01/413.24	c #Conflicts:     306000 | #Constraints:     674803
412.01/413.24	c #Conflicts:     307000 | #Constraints:     675803
412.01/413.24	c #Conflicts:     308000 | #Constraints:     676803
412.01/413.24	c #Conflicts:     309000 | #Constraints:     677803
412.01/413.24	c #Conflicts:     310000 | #Constraints:     678803
412.01/413.24	c INPROCESSING
412.01/413.24	c GARBAGE COLLECT
412.01/413.24	c #Conflicts:     311000 | #Constraints:     668796
412.01/413.24	c #Conflicts:     312000 | #Constraints:     669796
412.01/413.24	c #Conflicts:     313000 | #Constraints:     670796
412.01/413.24	c #Conflicts:     314000 | #Constraints:     671796
412.01/413.24	c #Conflicts:     315000 | #Constraints:     672796
412.01/413.24	c #Conflicts:     316000 | #Constraints:     673796
412.01/413.24	c #Conflicts:     317000 | #Constraints:     674796
412.01/413.24	c #Conflicts:     318000 | #Constraints:     675796
522.89/524.40	c #Conflicts:     319000 | #Constraints:     676796
522.89/524.40	c #Conflicts:     320000 | #Constraints:     677796
522.89/524.40	c #Conflicts:     321000 | #Constraints:     678796
522.89/524.40	c INPROCESSING
522.89/524.40	c GARBAGE COLLECT
522.89/524.40	c #Conflicts:     322000 | #Constraints:     668612
522.89/524.40	c #Conflicts:     323000 | #Constraints:     669612
522.89/524.40	c #Conflicts:     324000 | #Constraints:     670612
522.89/524.40	c #Conflicts:     325000 | #Constraints:     671612
522.89/524.40	c #Conflicts:     326000 | #Constraints:     672612
522.89/524.40	c #Conflicts:     327000 | #Constraints:     673612
522.89/524.40	c #Conflicts:     328000 | #Constraints:     674612
522.89/524.40	c #Conflicts:     329000 | #Constraints:     675612
522.89/524.40	c #Conflicts:     330000 | #Constraints:     676612
522.89/524.40	c #Conflicts:     331000 | #Constraints:     677612
522.89/524.40	c #Conflicts:     332000 | #Constraints:     678612
522.89/524.40	c #Conflicts:     333000 | #Constraints:     679612
522.89/524.40	c INPROCESSING
522.89/524.40	c GARBAGE COLLECT
522.89/524.40	c #Conflicts:     334000 | #Constraints:     669208
522.89/524.40	c #Conflicts:     335000 | #Constraints:     670208
522.89/524.40	c #Conflicts:     336000 | #Constraints:     671208
522.89/524.40	c #Conflicts:     337000 | #Constraints:     672208
522.89/524.40	c #Conflicts:     338000 | #Constraints:     673208
522.89/524.40	c #Conflicts:     339000 | #Constraints:     674208
522.89/524.40	c #Conflicts:     340000 | #Constraints:     675208
522.89/524.40	c #Conflicts:     341000 | #Constraints:     676208
522.89/524.40	c #Conflicts:     342000 | #Constraints:     677208
522.89/524.40	c #Conflicts:     343000 | #Constraints:     678208
522.89/524.40	c #Conflicts:     344000 | #Constraints:     679208
522.89/524.40	c #Conflicts:     345000 | #Constraints:     680208
522.89/524.40	c INPROCESSING
522.89/524.40	c GARBAGE COLLECT
522.89/524.40	c #Conflicts:     346000 | #Constraints:     669602
522.89/524.40	c #Conflicts:     347000 | #Constraints:     670602
522.89/524.40	c #Conflicts:     348000 | #Constraints:     671602
522.89/524.40	c #Conflicts:     349000 | #Constraints:     672602
522.89/524.40	c #Conflicts:     350000 | #Constraints:     673602
522.89/524.40	c #Conflicts:     351000 | #Constraints:     674602
522.89/524.40	c #Conflicts:     352000 | #Constraints:     675602
522.89/524.40	c #Conflicts:     353000 | #Constraints:     676602
522.89/524.40	c #Conflicts:     354000 | #Constraints:     677602
522.89/524.40	c #Conflicts:     355000 | #Constraints:     678602
522.89/524.40	c #Conflicts:     356000 | #Constraints:     679602
522.89/524.40	c #Conflicts:     357000 | #Constraints:     680602
522.89/524.40	c INPROCESSING
522.89/524.40	c GARBAGE COLLECT
522.89/524.40	c #Conflicts:     358000 | #Constraints:     669809
522.89/524.40	c #Conflicts:     359000 | #Constraints:     670809
522.89/524.40	c #Conflicts:     360000 | #Constraints:     671809
522.89/524.40	c #Conflicts:     361000 | #Constraints:     672809
522.89/524.40	c #Conflicts:     362000 | #Constraints:     673809
522.89/524.40	c #Conflicts:     363000 | #Constraints:     674809
522.89/524.40	c #Conflicts:     364000 | #Constraints:     675809
522.89/524.40	c #Conflicts:     365000 | #Constraints:     676809
522.89/524.40	c #Conflicts:     366000 | #Constraints:     677809
522.89/524.40	c #Conflicts:     367000 | #Constraints:     678809
522.89/524.40	c #Conflicts:     368000 | #Constraints:     679809
522.89/524.40	c #Conflicts:     369000 | #Constraints:     680809
522.89/524.40	c INPROCESSING
522.89/524.40	c GARBAGE COLLECT
522.89/524.40	c #Conflicts:     370000 | #Constraints:     669812
522.89/524.40	c #Conflicts:     371000 | #Constraints:     670812
522.89/524.40	c #Conflicts:     372000 | #Constraints:     671812
522.89/524.40	c #Conflicts:     373000 | #Constraints:     672812
522.89/524.40	c #Conflicts:     374000 | #Constraints:     673812
522.89/524.40	c #Conflicts:     375000 | #Constraints:     674812
522.89/524.40	c #Conflicts:     376000 | #Constraints:     675812
522.89/524.40	c #Conflicts:     377000 | #Constraints:     676812
522.89/524.40	c #Conflicts:     378000 | #Constraints:     677812
522.89/524.40	c #Conflicts:     379000 | #Constraints:     678812
522.89/524.40	c #Conflicts:     380000 | #Constraints:     679812
522.89/524.40	c #Conflicts:     381000 | #Constraints:     680812
522.89/524.40	c INPROCESSING
522.89/524.40	c GARBAGE COLLECT
522.89/524.40	c #Conflicts:     382000 | #Constraints:     669616
522.89/524.40	c #Conflicts:     383000 | #Constraints:     670616
522.89/524.40	c #Conflicts:     384000 | #Constraints:     671616
522.89/524.40	c #Conflicts:     385000 | #Constraints:     672616
522.89/524.40	c #Conflicts:     386000 | #Constraints:     673616
522.89/524.40	c #Conflicts:     387000 | #Constraints:     674616
522.89/524.40	c #Conflicts:     388000 | #Constraints:     675616
522.89/524.40	c #Conflicts:     389000 | #Constraints:     676616
522.89/524.40	c #Conflicts:     390000 | #Constraints:     677616
522.89/524.40	c #Conflicts:     391000 | #Constraints:     678616
522.89/524.40	c #Conflicts:     392000 | #Constraints:     679616
522.89/524.40	c #Conflicts:     393000 | #Constraints:     680616
529.17/530.77	c #Conflicts:     394000 | #Constraints:     681616
529.17/530.77	c INPROCESSING
529.17/530.77	c GARBAGE COLLECT
529.17/530.77	c #Conflicts:     395000 | #Constraints:     670220
529.17/530.77	c #Conflicts:     396000 | #Constraints:     671220
529.17/530.77	c bounds 326 >= 8 @ 519.999
529.17/530.77	c stratification level: 5
924.77/927.52	c bounds 326 >= 13 @ 520.004
924.77/927.52	c #Conflicts:     397000 | #Constraints:     672223
924.77/927.52	c #Conflicts:     398000 | #Constraints:     673223
924.77/927.52	c #Conflicts:     399000 | #Constraints:     674223
924.77/927.52	c #Conflicts:     400000 | #Constraints:     675223
924.77/927.52	c #Conflicts:     401000 | #Constraints:     676223
924.77/927.52	c #Conflicts:     402000 | #Constraints:     677223
924.77/927.52	c #Conflicts:     403000 | #Constraints:     678223
924.77/927.52	c #Conflicts:     404000 | #Constraints:     679223
924.77/927.52	c #Conflicts:     405000 | #Constraints:     680223
924.77/927.52	c #Conflicts:     406000 | #Constraints:     681223
924.77/927.52	c #Conflicts:     407000 | #Constraints:     682223
924.77/927.52	c INPROCESSING
924.77/927.52	c GARBAGE COLLECT
924.77/927.52	c #Conflicts:     408000 | #Constraints:     670617
924.77/927.52	c #Conflicts:     409000 | #Constraints:     671617
924.77/927.52	c #Conflicts:     410000 | #Constraints:     672617
924.77/927.52	c #Conflicts:     411000 | #Constraints:     673617
924.77/927.52	c #Conflicts:     412000 | #Constraints:     674617
924.77/927.52	c #Conflicts:     413000 | #Constraints:     675617
924.77/927.52	c #Conflicts:     414000 | #Constraints:     676617
924.77/927.52	c #Conflicts:     415000 | #Constraints:     677617
924.77/927.52	c #Conflicts:     416000 | #Constraints:     678617
924.77/927.52	c #Conflicts:     417000 | #Constraints:     679617
924.77/927.52	c #Conflicts:     418000 | #Constraints:     680617
924.77/927.52	c #Conflicts:     419000 | #Constraints:     681617
924.77/927.52	c #Conflicts:     420000 | #Constraints:     682617
924.77/927.52	c INPROCESSING
924.77/927.52	c GARBAGE COLLECT
924.77/927.52	c #Conflicts:     421000 | #Constraints:     670815
924.77/927.52	c #Conflicts:     422000 | #Constraints:     671815
924.77/927.52	c #Conflicts:     423000 | #Constraints:     672815
924.77/927.52	c #Conflicts:     424000 | #Constraints:     673815
924.77/927.52	c #Conflicts:     425000 | #Constraints:     674815
924.77/927.52	c #Conflicts:     426000 | #Constraints:     675815
924.77/927.52	c #Conflicts:     427000 | #Constraints:     676815
924.77/927.52	c #Conflicts:     428000 | #Constraints:     677815
924.77/927.52	c #Conflicts:     429000 | #Constraints:     678815
924.77/927.52	c #Conflicts:     430000 | #Constraints:     679815
924.77/927.52	c #Conflicts:     431000 | #Constraints:     680815
924.77/927.52	c #Conflicts:     432000 | #Constraints:     681815
924.77/927.52	c #Conflicts:     433000 | #Constraints:     682815
924.77/927.52	c INPROCESSING
924.77/927.52	c GARBAGE COLLECT
924.77/927.52	c #Conflicts:     434000 | #Constraints:     670817
924.77/927.52	c bounds 326 >= 18 @ 586.542
924.77/927.52	c #Conflicts:     435000 | #Constraints:     671818
924.77/927.52	c #Conflicts:     436000 | #Constraints:     672818
924.77/927.52	c #Conflicts:     437000 | #Constraints:     673818
924.77/927.52	c #Conflicts:     438000 | #Constraints:     674818
924.77/927.52	c #Conflicts:     439000 | #Constraints:     675818
924.77/927.52	c #Conflicts:     440000 | #Constraints:     676818
924.77/927.52	c #Conflicts:     441000 | #Constraints:     677818
924.77/927.52	c #Conflicts:     442000 | #Constraints:     678818
924.77/927.52	c #Conflicts:     443000 | #Constraints:     679818
924.77/927.52	c #Conflicts:     444000 | #Constraints:     680818
924.77/927.52	c #Conflicts:     445000 | #Constraints:     681818
924.77/927.52	c #Conflicts:     446000 | #Constraints:     682818
924.77/927.52	c INPROCESSING
924.77/927.52	c GARBAGE COLLECT
924.77/927.52	c #Conflicts:     447000 | #Constraints:     670599
924.77/927.52	c #Conflicts:     448000 | #Constraints:     671599
924.77/927.52	c #Conflicts:     449000 | #Constraints:     672599
924.77/927.52	c #Conflicts:     450000 | #Constraints:     673599
924.77/927.52	c #Conflicts:     451000 | #Constraints:     674599
924.77/927.52	c #Conflicts:     452000 | #Constraints:     675599
924.77/927.52	c #Conflicts:     453000 | #Constraints:     676599
924.77/927.52	c #Conflicts:     454000 | #Constraints:     677599
924.77/927.52	c #Conflicts:     455000 | #Constraints:     678599
924.77/927.52	c #Conflicts:     456000 | #Constraints:     679599
924.77/927.52	c #Conflicts:     457000 | #Constraints:     680599
924.77/927.52	c #Conflicts:     458000 | #Constraints:     681599
924.77/927.52	c #Conflicts:     459000 | #Constraints:     682599
924.77/927.52	c #Conflicts:     460000 | #Constraints:     683599
924.77/927.52	c INPROCESSING
924.77/927.52	c GARBAGE COLLECT
924.77/927.52	c #Conflicts:     461000 | #Constraints:     671171
924.77/927.52	c #Conflicts:     462000 | #Constraints:     672171
924.77/927.52	c #Conflicts:     463000 | #Constraints:     673171
924.77/927.52	c #Conflicts:     464000 | #Constraints:     674171
924.77/927.52	c #Conflicts:     465000 | #Constraints:     675171
924.77/927.52	c #Conflicts:     466000 | #Constraints:     676171
924.77/927.52	c #Conflicts:     467000 | #Constraints:     677171
924.77/927.52	c #Conflicts:     468000 | #Constraints:     678171
924.77/927.52	c #Conflicts:     469000 | #Constraints:     679171
924.77/927.52	c #Conflicts:     470000 | #Constraints:     680171
924.77/927.52	c #Conflicts:     471000 | #Constraints:     681171
2044.45/2050.63	c #Conflicts:     472000 | #Constraints:     682171
2044.45/2050.63	c #Conflicts:     473000 | #Constraints:     683171
2044.45/2050.63	c #Conflicts:     474000 | #Constraints:     684171
2044.45/2050.63	c INPROCESSING
2044.45/2050.63	c GARBAGE COLLECT
2044.45/2050.63	c #Conflicts:     475000 | #Constraints:     671566
2044.45/2050.63	c #Conflicts:     476000 | #Constraints:     672566
2044.45/2050.63	c #Conflicts:     477000 | #Constraints:     673566
2044.45/2050.63	c #Conflicts:     478000 | #Constraints:     674566
2044.45/2050.63	c #Conflicts:     479000 | #Constraints:     675566
2044.45/2050.63	c #Conflicts:     480000 | #Constraints:     676566
2044.45/2050.63	c #Conflicts:     481000 | #Constraints:     677566
2044.45/2050.63	c #Conflicts:     482000 | #Constraints:     678566
2044.45/2050.63	c #Conflicts:     483000 | #Constraints:     679566
2044.45/2050.63	c #Conflicts:     484000 | #Constraints:     680566
2044.45/2050.63	c #Conflicts:     485000 | #Constraints:     681566
2044.45/2050.63	c #Conflicts:     486000 | #Constraints:     682566
2044.45/2050.63	c #Conflicts:     487000 | #Constraints:     683566
2044.45/2050.63	c #Conflicts:     488000 | #Constraints:     684566
2044.45/2050.63	c INPROCESSING
2044.45/2050.63	c GARBAGE COLLECT
2044.45/2050.63	c #Conflicts:     489000 | #Constraints:     671766
2044.45/2050.63	c #Conflicts:     490000 | #Constraints:     672766
2044.45/2050.63	c #Conflicts:     491000 | #Constraints:     673766
2044.45/2050.63	c #Conflicts:     492000 | #Constraints:     674766
2044.45/2050.63	c #Conflicts:     493000 | #Constraints:     675766
2044.45/2050.63	c #Conflicts:     494000 | #Constraints:     676766
2044.45/2050.63	c #Conflicts:     495000 | #Constraints:     677766
2044.45/2050.63	c #Conflicts:     496000 | #Constraints:     678766
2044.45/2050.63	c #Conflicts:     497000 | #Constraints:     679766
2044.45/2050.63	c #Conflicts:     498000 | #Constraints:     680766
2044.45/2050.63	c #Conflicts:     499000 | #Constraints:     681766
2044.45/2050.63	c #Conflicts:     500000 | #Constraints:     682766
2044.45/2050.63	c #Conflicts:     501000 | #Constraints:     683766
2044.45/2050.63	c #Conflicts:     502000 | #Constraints:     684766
2044.45/2050.63	c INPROCESSING
2044.45/2050.63	c GARBAGE COLLECT
2044.45/2050.63	c #Conflicts:     503000 | #Constraints:     671765
2044.45/2050.63	c #Conflicts:     504000 | #Constraints:     672765
2044.45/2050.63	c #Conflicts:     505000 | #Constraints:     673765
2044.45/2050.63	c #Conflicts:     506000 | #Constraints:     674765
2044.45/2050.63	c #Conflicts:     507000 | #Constraints:     675765
2044.45/2050.63	c #Conflicts:     508000 | #Constraints:     676765
2044.45/2050.63	c #Conflicts:     509000 | #Constraints:     677765
2044.45/2050.63	c #Conflicts:     510000 | #Constraints:     678765
2044.45/2050.63	c #Conflicts:     511000 | #Constraints:     679765
2044.45/2050.63	c #Conflicts:     512000 | #Constraints:     680765
2044.45/2050.63	c #Conflicts:     513000 | #Constraints:     681765
2044.45/2050.63	c #Conflicts:     514000 | #Constraints:     682765
2044.45/2050.63	c #Conflicts:     515000 | #Constraints:     683765
2044.45/2050.63	c #Conflicts:     516000 | #Constraints:     684765
2044.45/2050.63	c INPROCESSING
2044.45/2050.63	c GARBAGE COLLECT
2044.45/2050.63	c #Conflicts:     517000 | #Constraints:     671545
2044.45/2050.63	c #Conflicts:     518000 | #Constraints:     672545
2044.45/2050.63	c #Conflicts:     519000 | #Constraints:     673545
2044.45/2050.63	c #Conflicts:     520000 | #Constraints:     674545
2044.45/2050.63	c #Conflicts:     521000 | #Constraints:     675545
2044.45/2050.63	c #Conflicts:     522000 | #Constraints:     676545
2044.45/2050.63	c #Conflicts:     523000 | #Constraints:     677545
2044.45/2050.63	c #Conflicts:     524000 | #Constraints:     678545
2044.45/2050.63	c #Conflicts:     525000 | #Constraints:     679545
2044.45/2050.63	c #Conflicts:     526000 | #Constraints:     680545
2044.45/2050.63	c #Conflicts:     527000 | #Constraints:     681545
2044.45/2050.63	c #Conflicts:     528000 | #Constraints:     682545
2044.45/2050.63	c #Conflicts:     529000 | #Constraints:     683545
2044.45/2050.63	c #Conflicts:     530000 | #Constraints:     684545
2044.45/2050.63	c #Conflicts:     531000 | #Constraints:     685545
2044.45/2050.63	c INPROCESSING
2044.45/2050.63	c GARBAGE COLLECT
2044.45/2050.63	c #Conflicts:     532000 | #Constraints:     672138
2044.45/2050.63	c #Conflicts:     533000 | #Constraints:     673138
2044.45/2050.63	c #Conflicts:     534000 | #Constraints:     674138
2044.45/2050.63	c #Conflicts:     535000 | #Constraints:     675138
2044.45/2050.63	c #Conflicts:     536000 | #Constraints:     676138
2044.45/2050.63	c #Conflicts:     537000 | #Constraints:     677138
2044.45/2050.63	c #Conflicts:     538000 | #Constraints:     678138
2044.45/2050.63	c #Conflicts:     539000 | #Constraints:     679138
2044.45/2050.63	c #Conflicts:     540000 | #Constraints:     680138
2044.45/2050.63	c #Conflicts:     541000 | #Constraints:     681138
2044.45/2050.63	c #Conflicts:     542000 | #Constraints:     682138
2044.45/2050.63	c #Conflicts:     543000 | #Constraints:     683138
2044.45/2050.63	c #Conflicts:     544000 | #Constraints:     684138
2044.45/2050.63	c #Conflicts:     545000 | #Constraints:     685138
2044.45/2050.63	c #Conflicts:     546000 | #Constraints:     686138
2044.45/2050.63	c INPROCESSING
3281.47/3291.05	c GARBAGE COLLECT
3281.47/3291.05	c #Conflicts:     547000 | #Constraints:     672532
3281.47/3291.05	c #Conflicts:     548000 | #Constraints:     673532
3281.47/3291.05	c #Conflicts:     549000 | #Constraints:     674532
3281.47/3291.05	c #Conflicts:     550000 | #Constraints:     675532
3281.47/3291.05	c #Conflicts:     551000 | #Constraints:     676532
3281.47/3291.05	c #Conflicts:     552000 | #Constraints:     677532
3281.47/3291.05	c #Conflicts:     553000 | #Constraints:     678532
3281.47/3291.05	c #Conflicts:     554000 | #Constraints:     679532
3281.47/3291.05	c #Conflicts:     555000 | #Constraints:     680532
3281.47/3291.05	c #Conflicts:     556000 | #Constraints:     681532
3281.47/3291.05	c #Conflicts:     557000 | #Constraints:     682532
3281.47/3291.05	c #Conflicts:     558000 | #Constraints:     683532
3281.47/3291.05	c #Conflicts:     559000 | #Constraints:     684532
3281.47/3291.05	c #Conflicts:     560000 | #Constraints:     685532
3281.47/3291.05	c #Conflicts:     561000 | #Constraints:     686532
3281.47/3291.05	c INPROCESSING
3281.47/3291.05	c GARBAGE COLLECT
3281.47/3291.05	c #Conflicts:     562000 | #Constraints:     672721
3281.47/3291.05	c #Conflicts:     563000 | #Constraints:     673721
3281.47/3291.05	c #Conflicts:     564000 | #Constraints:     674721
3281.47/3291.05	c #Conflicts:     565000 | #Constraints:     675721
3281.47/3291.05	c #Conflicts:     566000 | #Constraints:     676721
3281.47/3291.05	c #Conflicts:     567000 | #Constraints:     677721
3281.47/3291.05	c #Conflicts:     568000 | #Constraints:     678721
3281.47/3291.05	c #Conflicts:     569000 | #Constraints:     679721
3281.47/3291.05	c #Conflicts:     570000 | #Constraints:     680721
3281.47/3291.05	c #Conflicts:     571000 | #Constraints:     681721
3281.47/3291.05	c #Conflicts:     572000 | #Constraints:     682721
3281.47/3291.05	c #Conflicts:     573000 | #Constraints:     683721
3281.47/3291.05	c #Conflicts:     574000 | #Constraints:     684721
3281.47/3291.05	c #Conflicts:     575000 | #Constraints:     685721
3281.47/3291.05	c #Conflicts:     576000 | #Constraints:     686721
3281.47/3291.05	c INPROCESSING
3281.47/3291.05	c GARBAGE COLLECT
3281.47/3291.05	c #Conflicts:     577000 | #Constraints:     672723
3281.47/3291.05	c #Conflicts:     578000 | #Constraints:     673723
3281.47/3291.05	c #Conflicts:     579000 | #Constraints:     674723
3281.47/3291.05	c #Conflicts:     580000 | #Constraints:     675723
3281.47/3291.05	c #Conflicts:     581000 | #Constraints:     676723
3281.47/3291.05	c #Conflicts:     582000 | #Constraints:     677723
3281.47/3291.05	c #Conflicts:     583000 | #Constraints:     678723
3281.47/3291.05	c #Conflicts:     584000 | #Constraints:     679723
3281.47/3291.05	c #Conflicts:     585000 | #Constraints:     680723
3281.47/3291.05	c #Conflicts:     586000 | #Constraints:     681723
3281.47/3291.05	c #Conflicts:     587000 | #Constraints:     682723
3281.47/3291.05	c #Conflicts:     588000 | #Constraints:     683723
3281.47/3291.05	c #Conflicts:     589000 | #Constraints:     684723
3281.47/3291.05	c #Conflicts:     590000 | #Constraints:     685723
3281.47/3291.05	c #Conflicts:     591000 | #Constraints:     686723
3281.47/3291.05	c INPROCESSING
3281.47/3291.05	c GARBAGE COLLECT
3281.47/3291.05	c #Conflicts:     592000 | #Constraints:     672522
3281.47/3291.05	c #Conflicts:     593000 | #Constraints:     673522
3281.47/3291.05	c #Conflicts:     594000 | #Constraints:     674522
3281.47/3291.05	c #Conflicts:     595000 | #Constraints:     675522
3281.47/3291.05	c #Conflicts:     596000 | #Constraints:     676522
3281.47/3291.05	c #Conflicts:     597000 | #Constraints:     677522
3281.47/3291.05	c #Conflicts:     598000 | #Constraints:     678522
3281.47/3291.05	c #Conflicts:     599000 | #Constraints:     679522
3281.47/3291.05	c #Conflicts:     600000 | #Constraints:     680522
3281.47/3291.05	c #Conflicts:     601000 | #Constraints:     681522
3281.47/3291.05	c #Conflicts:     602000 | #Constraints:     682522
3281.47/3291.05	c #Conflicts:     603000 | #Constraints:     683522
3281.47/3291.05	c #Conflicts:     604000 | #Constraints:     684522
3281.47/3291.05	c #Conflicts:     605000 | #Constraints:     685522
3281.47/3291.05	c #Conflicts:     606000 | #Constraints:     686522
3281.47/3291.05	c #Conflicts:     607000 | #Constraints:     687522
3281.47/3291.05	c INPROCESSING
3281.47/3291.05	c GARBAGE COLLECT
3281.47/3291.05	c #Conflicts:     608000 | #Constraints:     673133
3281.47/3291.05	c #Conflicts:     609000 | #Constraints:     674133
3281.47/3291.05	c #Conflicts:     610000 | #Constraints:     675133
3281.47/3291.05	c #Conflicts:     611000 | #Constraints:     676133
3281.47/3291.05	c #Conflicts:     612000 | #Constraints:     677133
3281.47/3291.05	c #Conflicts:     613000 | #Constraints:     678133
3281.47/3291.05	c #Conflicts:     614000 | #Constraints:     679133
3281.47/3291.05	c #Conflicts:     615000 | #Constraints:     680133
3281.47/3291.05	c #Conflicts:     616000 | #Constraints:     681133
3281.47/3291.05	c #Conflicts:     617000 | #Constraints:     682133
3281.47/3291.05	c #Conflicts:     618000 | #Constraints:     683133
3281.47/3291.05	c #Conflicts:     619000 | #Constraints:     684133
3281.47/3291.05	c #Conflicts:     620000 | #Constraints:     685133
3281.47/3291.05	c #Conflicts:     621000 | #Constraints:     686133
3281.47/3291.05	c #Conflicts:     622000 | #Constraints:     687133
3600.06/3610.40	c #Conflicts:     623000 | #Constraints:     688133
3600.06/3610.40	c INPROCESSING
3600.06/3610.40	c GARBAGE COLLECT
3600.06/3610.40	c #Conflicts:     624000 | #Constraints:     673532
3600.06/3610.40	c #Conflicts:     625000 | #Constraints:     674532
3600.06/3610.40	c #Conflicts:     626000 | #Constraints:     675532
3600.06/3610.40	c #Conflicts:     627000 | #Constraints:     676532
3600.06/3610.40	c #Conflicts:     628000 | #Constraints:     677532
3600.06/3610.40	c #Conflicts:     629000 | #Constraints:     678532
3600.06/3610.40	c #Conflicts:     630000 | #Constraints:     679532
3600.06/3610.40	c #Conflicts:     631000 | #Constraints:     680532
3600.06/3610.40	c #Conflicts:     632000 | #Constraints:     681532
3600.06/3610.40	c #Conflicts:     633000 | #Constraints:     682532
3600.06/3610.40	c #Conflicts:     634000 | #Constraints:     683532
3600.06/3610.40	c #Conflicts:     635000 | #Constraints:     684532
3600.06/3610.40	c #Conflicts:     636000 | #Constraints:     685532
3600.06/3610.40	c #Conflicts:     637000 | #Constraints:     686532
3600.06/3610.40	c #Conflicts:     638000 | #Constraints:     687532
3600.06/3610.40	c #Conflicts:     639000 | #Constraints:     688532
3600.06/3610.40	c INPROCESSING
3600.06/3610.40	c GARBAGE COLLECT
3600.06/3610.40	c #Conflicts:     640000 | #Constraints:     673727
3600.06/3610.40	c #Conflicts:     641000 | #Constraints:     674727
3600.06/3610.40	c #Conflicts:     642000 | #Constraints:     675727
3600.06/3610.40	c #Conflicts:     643000 | #Constraints:     676727
3600.06/3610.40	c Program interrupted by user.
3600.06/3610.40	c cpu time 3583.05 s
3600.06/3610.40	c deterministic time 684849510923 6.85e+11
3600.06/3610.40	c optimization time 59.5562 s
3600.06/3610.40	c total solve time 3522.39 s
3600.06/3610.40	c core-guided solve time 3522.39 s
3600.06/3610.40	c propagation time 2213.54 s
3600.06/3610.40	c conflict analysis time 1192.38 s
3600.06/3610.40	c propagations 86807922
3600.06/3610.40	c resolve steps 13612373
3600.06/3610.40	c decisions 15692238
3600.06/3610.40	c conflicts 643479
3600.06/3610.40	c restarts 1378
3600.06/3610.40	c inprocessing phases 71
3600.06/3610.40	c input clauses 656900
3600.06/3610.40	c input cardinalities 1
3600.06/3610.40	c input general constraints 99
3600.06/3610.40	c input average constraint length 3.52
3600.06/3610.40	c input average constraint degree 72.16
3600.06/3610.40	c learned clauses 478966
3600.06/3610.40	c learned cardinalities 0
3600.06/3610.40	c learned general constraints 164514
3600.06/3610.40	c learned average constraint length 4080.58
3600.06/3610.40	c learned average constraint degree 8622800.44
3600.06/3610.40	c watched constraints 10184
3600.06/3610.40	c counting constraints 154429
3600.06/3610.40	c gcd simplifications 4540
3600.06/3610.40	c detected cardinalities 0
3600.06/3610.40	c weakened non-implied lits 488892800
3600.06/3610.40	c weakened non-implying lits 138376
3600.06/3610.40	c original variables 10000
3600.06/3610.40	c clausal propagations 58400690
3600.06/3610.40	c cardinality propagations 69021
3600.06/3610.40	c watched propagations 44519
3600.06/3610.40	c counting propagations 27066412
3600.06/3610.40	c watch lookups 21147057397
3600.06/3610.40	c watch backjump lookups 20749407673
3600.06/3610.40	c watch checks 33797969186
3600.06/3610.40	c propagation checks 602810393393
3600.06/3610.40	c constraint additions 6139049090
3600.06/3610.40	c trail pops 103134023
3600.06/3610.40	c formula constraints 656900
3600.06/3610.40	c learned constraints 643480
3600.06/3610.40	c bound constraints 98
3600.06/3610.40	c core-guided constraints 2
3600.06/3610.40	c encountered formula constraints 10427621
3600.06/3610.40	c encountered learned constraints 3813211
3600.06/3610.40	c encountered bound constraints 8055
3600.06/3610.40	c encountered core-guided constraints 6965
3600.06/3610.40	c LP total time 0 s
3600.06/3610.40	c LP solve time 0 s
3600.06/3610.40	c LP constraints added 0
3600.06/3610.40	c LP constraints removed 0
3600.06/3610.40	c LP pivots internal 0
3600.06/3610.40	c LP pivots root 0
3600.06/3610.40	c LP calls 0
3600.06/3610.40	c LP optimalities 0
3600.06/3610.40	c LP no pivot count 0
3600.06/3610.40	c LP infeasibilities 0
3600.06/3610.40	c LP valid Farkas constraints 0
3600.06/3610.40	c LP learned Farkas constraints 0
3600.06/3610.40	c LP basis resets 0
3600.06/3610.40	c LP cycling count 0
3600.06/3610.40	c LP singular count 0
3600.06/3610.40	c LP no primal count 0
3600.06/3610.40	c LP no farkas count 0
3600.06/3610.40	c LP other issue count 0
3600.06/3610.40	c LP Gomory cuts 0
3600.06/3610.40	c LP learned cuts 0
3600.06/3610.40	c LP deleted cuts 0
3600.06/3610.40	c LP encountered Gomory constraints 0
3600.06/3610.40	c LP encountered Farkas constraints 0
3600.06/3610.40	c LP encountered learned Farkas constraints 0
3600.06/3610.40	c CG auxiliary variables introduced 1
3600.06/3610.40	c CG solutions found 94
3600.06/3610.40	c CG cores constructed 3
3600.06/3610.40	c CG core cardinality constraints returned 0
3600.06/3610.40	c CG unit cores 0
3600.06/3610.40	c CG single cores 3
3600.06/3610.40	c CG blocks removed during cardinality reduction 0
3600.06/3610.40	c CG first core best 0
3600.06/3610.40	c CG decision core best 0
3600.06/3610.40	c CG core reduction tie 0
3600.06/3610.40	c CG core degree average 1.00
3600.06/3610.40	c CG core slack average 3288.33
3600.06/3610.40	c CG exhausted 0
3600.06/3610.40	c CG exhaust time 0.00455 s
3600.06/3610.40	c CG trimmed 0
3600.06/3610.40	c CG trim time 0.003687 s
3600.06/3610.40	c CG minimized 0
3600.06/3610.40	c CG minimize time 0 s
3600.06/3610.40	c CG am1 prop time 0.01348 s
3600.06/3610.40	c CG # am1s reformulated 0
3600.06/3610.40	c CG lower bound derived from am1s 0
3600.06/3610.40	c CG # clausal cores 3
3600.06/3610.40	c CG # cardinality cores 0
3600.06/3610.40	c CG # pb cores 0
3600.06/3610.40	c CG # pb reforms 0
3600.06/3610.40	c CG # cores discarded because of pb reform 0
3600.06/3610.40	d LOWERBOUND 18
3600.06/3610.40	d NCORES 3
3600.06/3610.40	d NPBCORES 0
3600.06/3610.40	d NPBREFORM 0
3600.06/3610.40	d NTRIMMED 0
3600.06/3610.40	d NEXHAUSTED 0
3600.06/3610.40	d NAM1S 0
3600.06/3610.40	d AM1LB 0
3600.06/3610.40	o 326
3600.06/3610.40	s SATISFIABLE
3600.06/3610.40	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 x7314 -x7315 -x7316 -x7317 x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000

Verifier Data 

OK	326

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (61781 MiB free)
  memory of node 1: 64510 MiB (63311 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435871-1721101124/watcher-4435871-1721101124 -o /tmp/evaluation-result-4435871-1721101124/solver-4435871-1721101124 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721101137-839793 --watchdog 3760 pb-oll-rs HOME/instance-4435871-1721101124.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=839833, runsolver pid=839826
Current StackSize limit: 8192 KiB


[startup+0.100086 s]*
/proc/loadavg: 1.50 3.10 3.72 6/256 839856
/proc/meminfo: memFree=128069132/131524600 swapFree=131071996/131071996
[pid=839833] ppid=839826 vsize=44704 memory=10164 CPUtime=0.09 cores=4,6
/proc/839833/stat : 839833 (pb-oll-rs) R 839826 839833 839782 0 -1 4194304 1920 0 0 0 7 2 0 0 20 0 1 0 162280709 45776896 2541 134679101440 4194304 5384005 140737390446160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30334976 140737390453783 140737390453860 140737390453860 140737390460875 0
/proc/839833/statm: 11176 2541 1159 291 0 2710 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44704 KiB
Current children cumulated memory: 10164 KiB

[startup+0.206017 s]*
/proc/loadavg: 1.50 3.10 3.72 6/256 839856
/proc/meminfo: memFree=128055920/131524600 swapFree=131071996/131071996
[pid=839833] ppid=839826 vsize=46024 memory=13792 CPUtime=0.2 cores=4,6
/proc/839833/stat : 839833 (pb-oll-rs) R 839826 839833 839782 0 -1 4194304 2372 0 0 0 15 5 0 0 20 0 1 0 162280709 47128576 3448 134679101440 4194304 5384005 140737390446160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30334976 140737390453783 140737390453860 140737390453860 140737390460875 0
/proc/839833/statm: 11506 3448 1159 291 0 3040 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46024 KiB
Current children cumulated memory: 13792 KiB

[startup+0.305394 s]*
/proc/loadavg: 1.50 3.10 3.72 6/256 839856
/proc/meminfo: memFree=128043444/131524600 swapFree=131071996/131071996
[pid=839833] ppid=839826 vsize=49008 memory=17472 CPUtime=0.3 cores=4,6
/proc/839833/stat : 839833 (pb-oll-rs) R 839826 839833 839782 0 -1 4194304 2720 0 0 0 22 8 0 0 20 0 1 0 162280709 50184192 4368 134679101440 4194304 5384005 140737390446160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30334976 140737390453783 140737390453860 140737390453860 140737390460875 0
/proc/839833/statm: 12252 4368 1159 291 0 3786 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49008 KiB
Current children cumulated memory: 17472 KiB

[startup+0.700172 s]
/proc/loadavg: 1.50 3.10 3.72 6/256 839856
/proc/meminfo: memFree=128020320/131524600 swapFree=131071996/131071996
[pid=839833] ppid=839826 vsize=65360 memory=28556 CPUtime=0.69 cores=4,6
/proc/839833/stat : 839833 (pb-oll-rs) R 839826 839833 839782 0 -1 4194304 4979 0 0 0 50 19 0 0 20 0 1 0 162280709 66928640 7139 134679101440 4194304 5384005 140737390446160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30334976 140737390453783 140737390453860 140737390453860 140737390460875 0
/proc/839833/statm: 16340 7139 1159 291 0 7874 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 65360 KiB
Current children cumulated memory: 28556 KiB

[startup+1.50018 s]
/proc/loadavg: 1.50 3.10 3.72 6/256 839856
/proc/meminfo: memFree=127963288/131524600 swapFree=131071996/131071996
[pid=839833] ppid=839826 vsize=85484 memory=50916 CPUtime=1.48 cores=4,6
/proc/839833/stat : 839833 (pb-oll-rs) R 839826 839833 839782 0 -1 4194304 8040 0 0 0 106 42 0 0 20 0 1 0 162280709 87535616 12729 134679101440 4194304 5384005 140737390446160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30334976 140737390453783 140737390453860 140737390453860 140737390460875 0
/proc/839833/statm: 21371 12729 1159 291 0 12905 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 85484 KiB
Current children cumulated memory: 50916 KiB

[startup+3.10592 s]
/proc/loadavg: 1.70 3.12 3.73 6/256 839858
/proc/meminfo: memFree=127770488/131524600 swapFree=131071996/131071996
[pid=839833] ppid=839826 vsize=122164 memory=82200 CPUtime=3.09 cores=4,6
/proc/839833/stat : 839833 (pb-oll-rs) R 839826 839833 839782 0 -1 4194304 13767 0 0 0 226 83 0 0 20 0 1 0 162280709 125095936 20550 134679101440 4194304 5384005 140737390446160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30334976 140737390453783 140737390453860 140737390453860 140737390460875 0
/proc/839833/statm: 30541 20550 1365 291 0 22075 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 122164 KiB
Current children cumulated memory: 82200 KiB

[startup+6.30019 s]
/proc/loadavg: 1.70 3.12 3.73 6/256 839858
/proc/meminfo: memFree=127648676/131524600 swapFree=131071996/131071996
[pid=839833] ppid=839826 vsize=147388 memory=114984 CPUtime=6.27 cores=4,6
/proc/839833/stat : 839833 (pb-oll-rs) R 839826 839833 839782 0 -1 4194304 20409 0 0 0 528 99 0 0 20 0 1 0 162280709 150925312 28746 134679101440 4194304 5384005 140737390446160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30334976 140737390453783 140737390453860 140737390453860 140737390460875 0
/proc/839833/statm: 36847 28746 1439 291 0 28381 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 147388 KiB
Current children cumulated memory: 114984 KiB

[startup+12.7002 s]
/proc/loadavg: 1.89 3.13 3.73 5/256 839859
/proc/meminfo: memFree=127590912/131524600 swapFree=131071996/131071996
[pid=839833] ppid=839826 vsize=179576 memory=123476 CPUtime=12.65 cores=4,6
/proc/839833/stat : 839833 (pb-oll-rs) R 839826 839833 839782 0 -1 4194304 21646 0 0 0 1146 119 0 0 20 0 1 0 162280709 183885824 30869 134679101440 4194304 5384005 140737390446160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30334976 140737390453783 140737390453860 140737390453860 140737390460875 0
/proc/839833/statm: 44894 30869 1439 291 0 36428 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 179576 KiB
Current children cumulated memory: 123476 KiB

[startup+25.5002 s]
/proc/loadavg: 2.43 3.19 3.74 6/256 839861
/proc/meminfo: memFree=127536672/131524600 swapFree=131071996/131071996
[pid=839833] ppid=839826 vsize=179840 memory=140196 CPUtime=25.42 cores=4,6
/proc/839833/stat : 839833 (pb-oll-rs) R 839826 839833 839782 0 -1 4194304 21747 0 0 0 2393 149 0 0 20 0 1 0 162280709 184156160 35049 134679101440 4194304 5384005 140737390446160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30334976 140737390453783 140737390453860 140737390453860 140737390460875 0
/proc/839833/statm: 44960 35049 1439 291 0 36494 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 179840 KiB
Current children cumulated memory: 140196 KiB

[startup+51.1059 s]
/proc/loadavg: 2.97 3.26 3.75 6/256 839864
/proc/meminfo: memFree=127473400/131524600 swapFree=131071996/131071996
[pid=839833] ppid=839826 vsize=185572 memory=154948 CPUtime=50.95 cores=4,6
/proc/839833/stat : 839833 (pb-oll-rs) R 839826 839833 839782 0 -1 4194304 22459 0 0 0 4901 194 0 0 20 0 1 0 162280709 190025728 38737 134679101440 4194304 5384005 140737390446160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30334976 140737390453783 140737390453860 140737390453860 140737390460875 0
/proc/839833/statm: 46393 38737 1439 291 0 37927 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 185572 KiB
Current children cumulated memory: 154948 KiB

[startup+102.3 s]
/proc/loadavg: 3.66 3.40 3.77 6/258 839878
/proc/meminfo: memFree=127388532/131524600 swapFree=131071996/131071996
[pid=839833] ppid=839826 vsize=235660 memory=181952 CPUtime=102.01 cores=4,6
/proc/839833/stat : 839833 (pb-oll-rs) R 839826 839833 839782 0 -1 4194304 23057 0 0 0 9905 296 0 0 20 0 1 0 162280709 241315840 45488 134679101440 4194304 5384005 140737390446160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30334976 140737390453783 140737390453860 140737390453860 140737390460875 0
/proc/839833/statm: 58915 45488 1439 291 0 50449 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 235660 KiB
Current children cumulated memory: 181952 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 3.55 3.80 6/259 839891
/proc/meminfo: memFree=127296724/131524600 swapFree=131071996/131071996
[pid=839833] ppid=839826 vsize=235660 memory=194260 CPUtime=161.83 cores=4,6
/proc/839833/stat : 839833 (pb-oll-rs) R 839826 839833 839782 0 -1 4194304 23097 0 0 0 15783 400 0 0 20 0 1 0 162280709 241315840 48565 134679101440 4194304 5384005 140737390446160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30334976 140737390453783 140737390453860 140737390453860 140737390460875 0
/proc/839833/statm: 58915 48565 1439 291 0 50449 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 235660 KiB
Current children cumulated memory: 194260 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 3.65 3.82 5/259 839903
/proc/meminfo: memFree=126352500/131524600 swapFree=131071996/131071996
[pid=839833] ppid=839826 vsize=317048 memory=210644 CPUtime=221.66 cores=4,6
/proc/839833/stat : 839833 (pb-oll-rs) R 839826 839833 839782 0 -1 4194304 23643 0 0 0 21657 509 0 0 20 0 1 0 162280709 324657152 52661 134679101440 4194304 5384005 140737390446160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30334976 140737390453783 140737390453860 140737390453860 140737390460875 0
/proc/839833/statm: 79262 52661 1439 291 0 70796 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 317048 KiB
Current children cumulated memory: 210644 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 3.74 3.84 5/259 839913
/proc/meminfo: memFree=125674040/131524600 swapFree=131071996/131071996
[pid=839833] ppid=839826 vsize=317048 memory=235220 CPUtime=281.49 cores=4,6
/proc/839833/stat : 839833 (pb-oll-rs) R 839826 839833 839782 0 -1 4194304 23658 0 0 0 27614 535 0 0 20 0 1 0 162280709 324657152 58805 134679101440 4194304 5384005 140737390446160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30334976 140737390453783 140737390453860 140737390453860 140737390460875 0
/proc/839833/statm: 79262 58805 1439 291 0 70796 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 317048 KiB
Current children cumulated memory: 235220 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 3.79 3.85 5/258 839925
/proc/meminfo: memFree=125242260/131524600 swapFree=131071996/131071996
[pid=839833] ppid=839826 vsize=317048 memory=257748 CPUtime=341.32 cores=4,6
/proc/839833/stat : 839833 (pb-oll-rs) R 839826 839833 839782 0 -1 4194304 23707 0 0 0 33488 644 0 0 20 0 1 0 162280709 324657152 64437 134679101440 4194304 5384005 140737390446160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30334976 140737390453783 140737390453860 140737390453860 140737390460875 0
/proc/839833/statm: 79262 64437 1439 291 0 70796 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 317048 KiB
Current children cumulated memory: 257748 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 3.85 3.87 6/256 839935
/proc/meminfo: memFree=125202132/131524600 swapFree=131071996/131071996
[pid=839833] ppid=839826 vsize=317048 memory=257748 CPUtime=401.15 cores=4,6
/proc/839833/stat : 839833 (pb-oll-rs) R 839826 839833 839782 0 -1 4194304 23715 0 0 0 39365 750 0 0 20 0 1 0 162280709 324657152 64437 134679101440 4194304 5384005 140737390446160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30334976 140737390453783 140737390453860 140737390453860 140737390460875 0
/proc/839833/statm: 79262 64437 1439 291 0 70796 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 317048 KiB
Current children cumulated memory: 257748 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.91 3.89 5/255 839945
/proc/meminfo: memFree=125042620/131524600 swapFree=131071996/131071996
[pid=839833] ppid=839826 vsize=317048 memory=265940 CPUtime=460.97 cores=4,6
/proc/839833/stat : 839833 (pb-oll-rs) R 839826 839833 839782 0 -1 4194304 23771 0 0 0 45284 813 0 0 20 0 1 0 162280709 324657152 66485 134679101440 4194304 5384005 140737390446160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30334976 140737390453783 140737390453860 140737390453860 140737390460875 0

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

Current children cumulated memory: 4345416 KiB

[startup+2862.3 s]
/proc/loadavg: 4.19 4.13 4.10 6/258 841345
/proc/meminfo: memFree=118567976/131524600 swapFree=131071996/131071996
[pid=839833] ppid=839826 vsize=5053492 memory=4345464 CPUtime=2853.8 cores=4,6
/proc/839833/stat : 839833 (pb-oll-rs) R 839826 839833 839782 0 -1 4194304 650797 0 0 0 283823 1557 0 0 20 0 1 0 162280709 5174775808 1086366 134679101440 4194304 5384005 140737390446160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30334976 140737390453783 140737390453860 140737390453860 140737390460875 0
/proc/839833/statm: 1263373 1086366 1439 291 0 1254907 0
Current children cumulated CPU time: 2853.8 s
Current children cumulated vsize: 5053492 KiB
Current children cumulated memory: 4345464 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.12 4.09 6/258 841356
/proc/meminfo: memFree=118556364/131524600 swapFree=131071996/131071996
[pid=839833] ppid=839826 vsize=5066548 memory=4356504 CPUtime=2913.65 cores=4,6
/proc/839833/stat : 839833 (pb-oll-rs) R 839826 839833 839782 0 -1 4194304 654971 0 0 0 289801 1564 0 0 20 0 1 0 162280709 5188145152 1089126 134679101440 4194304 5384005 140737390446160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30334976 140737390453783 140737390453860 140737390453860 140737390460875 0
/proc/839833/statm: 1266637 1089126 1439 291 0 1258171 0
Current children cumulated CPU time: 2913.65 s
Current children cumulated vsize: 5066548 KiB
Current children cumulated memory: 4356504 KiB

[startup+2982.3 s]
/proc/loadavg: 4.26 4.15 4.10 6/260 841536
/proc/meminfo: memFree=118434312/131524600 swapFree=131071996/131071996
[pid=839833] ppid=839826 vsize=5079092 memory=4476984 CPUtime=2973.51 cores=4,6
/proc/839833/stat : 839833 (pb-oll-rs) R 839826 839833 839782 0 -1 4194304 668409 0 0 0 295775 1576 0 0 20 0 1 0 162280709 5200990208 1119246 134679101440 4194304 5384005 140737390446160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30334976 140737390453783 140737390453860 140737390453860 140737390460875 0
/proc/839833/statm: 1269773 1119246 1439 291 0 1261307 0
Current children cumulated CPU time: 2973.51 s
Current children cumulated vsize: 5079092 KiB
Current children cumulated memory: 4476984 KiB

[startup+3042.3 s]
/proc/loadavg: 4.92 4.34 4.17 6/259 841546
/proc/meminfo: memFree=118433352/131524600 swapFree=131071996/131071996
[pid=839833] ppid=839826 vsize=5079092 memory=4477120 CPUtime=3033.36 cores=4,6
/proc/839833/stat : 839833 (pb-oll-rs) R 839826 839833 839782 0 -1 4194304 669677 0 0 0 301753 1583 0 0 20 0 1 0 162280709 5200990208 1119280 134679101440 4194304 5384005 140737390446160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30334976 140737390453783 140737390453860 140737390453860 140737390460875 0
/proc/839833/statm: 1269773 1119280 1439 291 0 1261307 0
Current children cumulated CPU time: 3033.36 s
Current children cumulated vsize: 5079092 KiB
Current children cumulated memory: 4477120 KiB

[startup+3102.3 s]
/proc/loadavg: 4.39 4.29 4.16 6/259 841612
/proc/meminfo: memFree=118420048/131524600 swapFree=131071996/131071996
[pid=839833] ppid=839826 vsize=5079092 memory=4477236 CPUtime=3093.22 cores=4,6
/proc/839833/stat : 839833 (pb-oll-rs) R 839826 839833 839782 0 -1 4194304 670921 0 0 0 307734 1588 0 0 20 0 1 0 162280709 5200990208 1119309 134679101440 4194304 5384005 140737390446160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30334976 140737390453783 140737390453860 140737390453860 140737390460875 0
/proc/839833/statm: 1269773 1119309 1439 291 0 1261307 0
Current children cumulated CPU time: 3093.22 s
Current children cumulated vsize: 5079092 KiB
Current children cumulated memory: 4477236 KiB

[startup+3162.3 s]
/proc/loadavg: 4.47 4.32 4.18 6/259 841625
/proc/meminfo: memFree=118412940/131524600 swapFree=131071996/131071996
[pid=839833] ppid=839826 vsize=5079092 memory=4477236 CPUtime=3153.08 cores=4,6
/proc/839833/stat : 839833 (pb-oll-rs) R 839826 839833 839782 0 -1 4194304 672394 0 0 0 313716 1592 0 0 20 0 1 0 162280709 5200990208 1119309 134679101440 4194304 5384005 140737390446160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30334976 140737390453783 140737390453860 140737390453860 140737390460875 0
/proc/839833/statm: 1269773 1119309 1439 291 0 1261307 0
Current children cumulated CPU time: 3153.08 s
Current children cumulated vsize: 5079092 KiB
Current children cumulated memory: 4477236 KiB

[startup+3222.3 s]
/proc/loadavg: 4.61 4.38 4.21 6/259 841636
/proc/meminfo: memFree=118410164/131524600 swapFree=131071996/131071996
[pid=839833] ppid=839826 vsize=5079092 memory=4477236 CPUtime=3212.93 cores=4,6
/proc/839833/stat : 839833 (pb-oll-rs) R 839826 839833 839782 0 -1 4194304 673862 0 0 0 319684 1609 0 0 20 0 1 0 162280709 5200990208 1119309 134679101440 4194304 5384005 140737390446160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30334976 140737390453783 140737390453860 140737390453860 140737390460875 0
/proc/839833/statm: 1269773 1119309 1439 291 0 1261307 0
Current children cumulated CPU time: 3212.93 s
Current children cumulated vsize: 5079092 KiB
Current children cumulated memory: 4477236 KiB

[startup+3282.3 s]
/proc/loadavg: 4.32 4.34 4.20 6/259 841650
/proc/meminfo: memFree=118409084/131524600 swapFree=131071996/131071996
[pid=839833] ppid=839826 vsize=5080116 memory=4477724 CPUtime=3272.78 cores=4,6
/proc/839833/stat : 839833 (pb-oll-rs) R 839826 839833 839782 0 -1 4194304 675794 0 0 0 325656 1622 0 0 20 0 1 0 162280709 5202038784 1119431 134679101440 4194304 5384005 140737390446160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30334976 140737390453783 140737390453860 140737390453860 140737390460875 0
/proc/839833/statm: 1270029 1119431 1439 291 0 1261563 0
Current children cumulated CPU time: 3272.78 s
Current children cumulated vsize: 5080116 KiB
Current children cumulated memory: 4477724 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.31 4.20 6/259 841661
/proc/meminfo: memFree=118393136/131524600 swapFree=131071996/131071996
[pid=839833] ppid=839826 vsize=5080372 memory=4478176 CPUtime=3332.63 cores=4,6
/proc/839833/stat : 839833 (pb-oll-rs) R 839826 839833 839782 0 -1 4194304 679231 0 0 0 331625 1638 0 0 20 0 1 0 162280709 5202300928 1119544 134679101440 4194304 5384005 140737390446160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30334976 140737390453783 140737390453860 140737390453860 140737390460875 0
/proc/839833/statm: 1270093 1119544 1439 291 0 1261627 0
Current children cumulated CPU time: 3332.63 s
Current children cumulated vsize: 5080372 KiB
Current children cumulated memory: 4478176 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.25 4.18 6/258 841671
/proc/meminfo: memFree=118359452/131524600 swapFree=131071996/131071996
[pid=839833] ppid=839826 vsize=5080372 memory=4478276 CPUtime=3392.49 cores=4,6
/proc/839833/stat : 839833 (pb-oll-rs) R 839826 839833 839782 0 -1 4194304 680852 0 0 0 337596 1653 0 0 20 0 1 0 162280709 5202300928 1119569 134679101440 4194304 5384005 140737390446160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30334976 140737390453783 140737390453860 140737390453860 140737390460875 0
/proc/839833/statm: 1270093 1119569 1439 291 0 1261627 0
Current children cumulated CPU time: 3392.49 s
Current children cumulated vsize: 5080372 KiB
Current children cumulated memory: 4478276 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.23 4.18 6/257 841681
/proc/meminfo: memFree=118358224/131524600 swapFree=131071996/131071996
[pid=839833] ppid=839826 vsize=5080372 memory=4478276 CPUtime=3452.34 cores=4,6
/proc/839833/stat : 839833 (pb-oll-rs) R 839826 839833 839782 0 -1 4194304 682604 0 0 0 343575 1659 0 0 20 0 1 0 162280709 5202300928 1119569 134679101440 4194304 5384005 140737390446160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30334976 140737390453783 140737390453860 140737390453860 140737390460875 0
/proc/839833/statm: 1270093 1119569 1439 291 0 1261627 0
Current children cumulated CPU time: 3452.34 s
Current children cumulated vsize: 5080372 KiB
Current children cumulated memory: 4478276 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.20 4.17 6/258 841694
/proc/meminfo: memFree=118302976/131524600 swapFree=131071996/131071996
[pid=839833] ppid=839826 vsize=5080628 memory=4481192 CPUtime=3512.19 cores=4,6
/proc/839833/stat : 839833 (pb-oll-rs) R 839826 839833 839782 0 -1 4194304 684361 0 0 0 349546 1673 0 0 20 0 1 0 162280709 5202563072 1120298 134679101440 4194304 5384005 140737390446160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30334976 140737390453783 140737390453860 140737390453860 140737390460875 0
/proc/839833/statm: 1270157 1120298 1439 291 0 1261691 0
Current children cumulated CPU time: 3512.19 s
Current children cumulated vsize: 5080628 KiB
Current children cumulated memory: 4481192 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.18 4.17 6/256 841704
/proc/meminfo: memFree=118196792/131524600 swapFree=131071996/131071996
[pid=839833] ppid=839826 vsize=5087800 memory=4514764 CPUtime=3572.04 cores=4,6
/proc/839833/stat : 839833 (pb-oll-rs) R 839826 839833 839782 0 -1 4194304 690508 0 0 0 355509 1695 0 0 20 0 1 0 162280709 5209907200 1128691 134679101440 4194304 5384005 140737390446160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30334976 140737390453783 140737390453860 140737390453860 140737390460875 0
/proc/839833/statm: 1271950 1128691 1439 291 0 1263484 0
Current children cumulated CPU time: 3572.04 s
Current children cumulated vsize: 5087800 KiB
Current children cumulated memory: 4514764 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.05 4.16 4.16 5/252 841736
/proc/meminfo: memFree=122952640/131524600 swapFree=131071996/131071996
[pid=839833] ppid=839826 vsize=5087800 memory=4518144 CPUtime=3600.06 cores=4,6
/proc/839833/stat : 839833 (pb-oll-rs) R 839826 839833 839782 0 -1 4194304 691329 0 0 0 358304 1702 0 0 20 0 1 0 162280709 5209907200 1129536 134679101440 4194304 5384005 140737390446160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 30334976 140737390453783 140737390453860 140737390453860 140737390460875 0
/proc/839833/statm: 1271950 1129536 1439 291 0 1263484 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 5087800 KiB
Current children cumulated memory: 4518144 KiB

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

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

# cumulated CPU time of all completed processes:  user=3583.06 s, system=17.0929 s

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

Child status: 0

Real time (s): 3610.47
CPU time (s): 3600.15
CPU user time (s): 3583.06
CPU system time (s): 17.0929
CPU usage (%): 99.714
Max. virtual memory (cumulated for all children) (KiB): 5099800
Max. memory (cumulated for all children) (KiB): 4521964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.06
system time used= 17.0929
maximum resident set size= 4521964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 691345
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= 112
involuntary context switches= 3704


# summary of solver processes directly reported to runsolver:
#   pid: 839833
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3583.06
#   total CPU system time (s): 17.0929

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.80333 second user time and 18.6185 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2024-07-16 05:38:57
IDJOB=4435871
IDBENCH=147558
IDSOLVER=3067
FILE ID=nodeC031/4435871-1721101124
RUNJOBID= nodeC031-1721101137-839793
SLURM_JOB_ID= 7505614
Free space on /tmp= 890020 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435871-1721101124/watcher-4435871-1721101124 -o /tmp/evaluation-result-4435871-1721101124/solver-4435871-1721101124 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721101137-839793 --watchdog 3760  pb-oll-rs HOME/instance-4435871-1721101124.opb

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

MD5SUM BENCH= 9792288b3bfa4387008e61c6fa17d472
RANDOM SEED=790166540

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128095632 kB
MemAvailable:   129706312 kB
Buffers:          371328 kB
Cached:          2063612 kB
SwapCached:            0 kB
Active:           690300 kB
Inactive:        2116492 kB
Active(anon):       1444 kB
Inactive(anon):   408516 kB
Active(file):     688856 kB
Inactive(file):  1707976 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             70780 kB
Writeback:            12 kB
AnonPages:        370592 kB
Mapped:           103592 kB
Shmem:             37720 kB
KReclaimable:     106992 kB
Slab:             214692 kB
SReclaimable:     106992 kB
SUnreclaim:       107700 kB
KernelStack:        3824 kB
PageTables:         9632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     846156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62592 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 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:      185044 kB
DirectMap2M:    16365568 kB
DirectMap1G:    119537664 kB

Free space on /tmp at the end= 890008 MiB
End job on nodeC031 at 2024-07-16 06:39:08