Trace number 4503832

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 2025-05-06SAT (TO)4813635 3600.03 3610.92

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED

General information on the benchmark

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

Solver Data 

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c [STEP] parsing instance
0.00/0.07	c [STEP] solving
0.00/0.07	c #variables 9940 #constraints 24510
0.00/0.07	c SMALL=int, LARGE=long long
0.00/0.07	c bounds - >= -70 @ 0.047256
0.00/0.07	c stratification level: 150568768
0.88/0.99	c bounds 360004735 >= -70 @ 0.963335
0.88/0.99	c stratification level: 135796744
0.88/1.00	c bounds 266357503 >= -70 @ 0.97053
0.88/1.00	c stratification level: 125000000
0.99/1.03	c bounds 266323851 >= -70 @ 1.00426
0.99/1.03	c stratification level: 117649000
1.09/1.13	c bounds 204637753 >= -70 @ 1.10245
1.09/1.13	c stratification level: 114084125
1.09/1.14	c bounds 159671865 >= -70 @ 1.10947
1.09/1.14	c stratification level: 113379904
1.09/1.15	c bounds 110990521 >= -70 @ 1.11746
1.09/1.15	c stratification level: 110592000
1.09/1.17	c bounds 99465221 >= -70 @ 1.1379
1.09/1.17	c stratification level: 94818816
1.09/1.18	c bounds 98418985 >= -70 @ 1.14721
1.09/1.18	c stratification level: 94196375
1.18/1.20	c bounds 98396481 >= -70 @ 1.16588
1.18/1.20	c stratification level: 93576664
2.28/2.31	c bounds 98395059 >= -70 @ 2.2558
2.28/2.31	c stratification level: 91733851
2.47/2.55	c bounds 98334477 >= -70 @ 2.49155
2.47/2.55	c stratification level: 90518849
8.96/9.06	c #Conflicts:       1000 | #Constraints:      25520
8.96/9.06	c bounds 96230833 >= -70 @ 8.90547
8.96/9.06	c stratification level: 89915392
9.15/9.21	c bounds 96110813 >= -70 @ 9.04968
9.15/9.21	c stratification level: 89314623
9.66/9.71	c bounds 96107729 >= -70 @ 9.55077
9.66/9.71	c stratification level: 88716536
9.76/9.81	c bounds 96100955 >= -70 @ 9.64482
9.76/9.81	c stratification level: 88121125
9.76/9.87	c bounds 96099647 >= -70 @ 9.70217
9.76/9.87	c stratification level: 87528384
9.85/9.94	c bounds 96098749 >= -70 @ 9.77012
9.85/9.94	c stratification level: 86938307
9.96/10.00	c bounds 96090591 >= -70 @ 9.83269
9.96/10.00	c stratification level: 86350888
11.06/11.11	c bounds 88579857 >= -70 @ 10.9302
11.06/11.11	c stratification level: 85766121
11.06/11.18	c bounds 88528775 >= -70 @ 10.9985
11.06/11.18	c stratification level: 85184000
11.15/11.28	c bounds 88383797 >= -70 @ 11.0957
11.15/11.28	c stratification level: 84604519
11.25/11.36	c bounds 88302789 >= -70 @ 11.1801
11.25/11.36	c stratification level: 84027672
11.44/11.53	c bounds 88274029 >= -70 @ 11.3432
11.44/11.53	c stratification level: 83453453
11.54/11.63	c bounds 88034535 >= -70 @ 11.4421
11.54/11.63	c stratification level: 82881856
11.54/11.69	c bounds 87973069 >= -70 @ 11.5007
11.54/11.69	c stratification level: 82312875
11.75/11.84	c bounds 87902181 >= -70 @ 11.6481
11.75/11.84	c stratification level: 81182737
12.05/12.10	c bounds 45538779 >= -70 @ 11.9062
12.05/12.10	c stratification level: 45499293
12.05/12.16	c bounds 45485731 >= -70 @ 11.9616
12.05/12.16	c stratification level: 45118016
12.14/12.28	c bounds 45441301 >= -70 @ 12.0847
12.14/12.28	c stratification level: 44738875
12.75/12.84	c bounds 45364303 >= -70 @ 12.6271
12.75/12.84	c stratification level: 44361864
12.85/12.97	c bounds 44607665 >= -70 @ 12.7583
12.85/12.97	c stratification level: 43986977
12.95/13.05	c bounds 44602237 >= -70 @ 12.8352
12.95/13.05	c stratification level: 43614208
13.05/13.13	c bounds 44556511 >= -70 @ 12.9073
13.05/13.13	c stratification level: 43243551
13.24/13.37	c bounds 43323141 >= -70 @ 13.1434
13.24/13.37	c stratification level: 42875000
13.55/13.65	c bounds 38421933 >= -70 @ 13.4245
13.55/13.65	c stratification level: 38272753
13.65/13.73	c bounds 38382843 >= -70 @ 13.5004
13.65/13.73	c stratification level: 37933056
14.04/14.12	c bounds 38222227 >= -70 @ 13.8851
14.04/14.12	c stratification level: 37595375
14.64/14.72	c bounds 21706355 >= -70 @ 14.4742
14.64/14.72	c stratification level: 21484952
14.64/14.79	c bounds 21698899 >= -70 @ 14.5461
14.64/14.79	c stratification level: 21253933
14.84/14.94	c bounds 20530515 >= -70 @ 14.6851
14.84/14.94	c stratification level: 20346417
15.04/15.18	c bounds 20515511 >= -70 @ 14.9293
15.04/15.18	c stratification level: 20123648
15.14/15.28	c bounds 20512875 >= -70 @ 15.0231
15.14/15.28	c stratification level: 19902511
15.33/15.43	c bounds 20384381 >= -70 @ 15.1719
15.33/15.43	c stratification level: 19683000
15.43/15.54	c bounds 20375619 >= -70 @ 15.2853
15.43/15.54	c stratification level: 19465109
16.04/16.11	c bounds 20169219 >= -70 @ 15.8532
16.04/16.11	c stratification level: 19248832
16.14/16.21	c bounds 20103707 >= -70 @ 15.9443
16.14/16.21	c stratification level: 19034163
16.24/16.35	c bounds 20099581 >= -70 @ 16.0879
16.24/16.35	c stratification level: 18821096
16.34/16.43	c bounds 20097175 >= -70 @ 16.167
16.34/16.43	c stratification level: 18609625
18.13/18.26	c #Conflicts:       2000 | #Constraints:      26557
18.13/18.26	c INPROCESSING
18.13/18.26	c GARBAGE COLLECT
18.13/18.26	c bounds 20079285 >= -70 @ 17.9669
18.13/18.26	c stratification level: 18399744
18.23/18.38	c bounds 20066345 >= -70 @ 18.0859
18.23/18.38	c stratification level: 18191447
18.33/18.43	c bounds 20056917 >= -70 @ 18.138
18.33/18.43	c stratification level: 17984728
18.43/18.52	c bounds 20050731 >= -70 @ 18.2264
18.43/18.52	c stratification level: 17779581
18.53/18.66	c bounds 20013479 >= -70 @ 18.3642
18.53/18.66	c stratification level: 17576000
18.63/18.72	c bounds 20009721 >= -70 @ 18.423
18.63/18.72	c stratification level: 17373979
18.72/18.83	c bounds 19999247 >= -70 @ 18.5277
18.72/18.83	c stratification level: 17173512
29.50/29.60	c #Conflicts:       3000 | #Constraints:      22484
29.50/29.60	c bounds 19030811 >= -70 @ 29.1859
29.50/29.60	c stratification level: 16974593
29.50/29.69	c bounds 19020897 >= -70 @ 29.2773
29.50/29.69	c stratification level: 16777216
30.00/30.11	c bounds 19018695 >= -70 @ 29.6969
30.00/30.11	c stratification level: 16581375
32.89/33.07	c bounds 18899737 >= -70 @ 32.6294
32.89/33.07	c stratification level: 16387064
34.08/34.20	c bounds 18893733 >= -70 @ 33.7439
34.08/34.20	c stratification level: 16194277
34.48/34.62	c bounds 18845147 >= -70 @ 34.1644
34.48/34.62	c stratification level: 16003008
34.58/34.74	c bounds 18843455 >= -70 @ 34.279
34.58/34.74	c stratification level: 15813251
58.11/58.33	c #Conflicts:       4000 | #Constraints:      23491
58.11/58.33	c INPROCESSING
58.11/58.33	c GARBAGE COLLECT
58.11/58.33	c #Conflicts:       5000 | #Constraints:      22684
58.11/58.33	c bounds 18643473 >= -70 @ 57.709
58.11/58.33	c stratification level: 15625000
58.41/58.61	c bounds 18571447 >= -70 @ 57.9899
58.41/58.61	c stratification level: 15438249
58.71/58.96	c bounds 18557029 >= -70 @ 58.334
58.71/58.96	c stratification level: 15252992
58.92/59.18	c bounds 18535387 >= -70 @ 58.5475
58.92/59.18	c stratification level: 15069223
59.11/59.38	c bounds 18535285 >= -70 @ 58.7449
59.11/59.38	c stratification level: 14886936
59.40/59.65	c bounds 18509461 >= -70 @ 59.0135
59.40/59.65	c stratification level: 14706125
60.01/60.20	c bounds 18503663 >= -70 @ 59.5562
60.01/60.20	c stratification level: 14526784
126.71/127.15	c #Conflicts:       6000 | #Constraints:      23691
126.71/127.15	c INPROCESSING
126.71/127.15	c GARBAGE COLLECT
126.71/127.15	c #Conflicts:       7000 | #Constraints:      22661
126.71/127.15	c #Conflicts:       8000 | #Constraints:      23661
126.71/127.15	c #Conflicts:       9000 | #Constraints:      24661
126.71/127.15	c INPROCESSING
126.71/127.15	c GARBAGE COLLECT
126.71/127.15	c bounds 18352513 >= -70 @ 126.078
126.71/127.15	c stratification level: 14348907
126.90/127.33	c bounds 18333065 >= -70 @ 126.253
126.90/127.33	c stratification level: 14172488
127.10/127.50	c bounds 18305531 >= -70 @ 126.423
127.10/127.50	c stratification level: 13997521
127.30/127.77	c bounds 18273841 >= -70 @ 126.688
127.30/127.77	c stratification level: 13824000
127.50/127.91	c bounds 18264353 >= -70 @ 126.833
127.50/127.91	c stratification level: 13651919
127.60/128.08	c bounds 18237777 >= -70 @ 127.001
127.60/128.08	c stratification level: 13481272
127.80/128.24	c bounds 18157185 >= -70 @ 127.151
127.80/128.24	c stratification level: 13312053
128.00/128.48	c bounds 18108111 >= -70 @ 127.386
128.00/128.48	c stratification level: 13144256
128.20/128.63	c bounds 18081535 >= -70 @ 127.534
128.20/128.63	c stratification level: 12977875
128.39/128.89	c bounds 18066145 >= -70 @ 127.79
128.39/128.89	c stratification level: 12812904
128.60/129.04	c bounds 17706375 >= -70 @ 127.94
128.60/129.04	c stratification level: 12649337
129.70/130.17	c bounds 17689659 >= -70 @ 129.062
129.70/130.17	c stratification level: 12487168
131.48/131.99	c bounds 17677861 >= -70 @ 130.876
131.48/131.99	c stratification level: 12326391
131.79/132.23	c bounds 17661517 >= -70 @ 131.105
131.79/132.23	c stratification level: 12167000
132.69/133.11	c bounds 17328073 >= -70 @ 131.989
132.69/133.11	c stratification level: 12008989
133.18/133.66	c bounds 17315723 >= -70 @ 132.525
133.18/133.66	c stratification level: 11852352
133.38/133.88	c bounds 17314501 >= -70 @ 132.746
133.38/133.88	c stratification level: 11697083
133.68/134.10	c bounds 17311669 >= -70 @ 132.971
133.68/134.10	c stratification level: 11543176
134.38/134.81	c bounds 17310129 >= -70 @ 133.681
134.38/134.81	c stratification level: 11390625
134.58/135.08	c bounds 17299771 >= -70 @ 133.945
134.58/135.08	c stratification level: 11239424
134.88/135.30	c bounds 17293689 >= -70 @ 134.168
134.88/135.30	c stratification level: 11089567
136.17/136.61	c bounds 17292881 >= -70 @ 135.466
136.17/136.61	c stratification level: 10941048
137.08/137.51	c bounds 17281329 >= -70 @ 136.366
137.08/137.51	c stratification level: 10793861
137.37/137.81	c bounds 17234121 >= -70 @ 136.66
137.37/137.81	c stratification level: 10648000
137.77/138.20	c bounds 17221293 >= -70 @ 137.051
137.77/138.20	c stratification level: 10503459
137.97/138.44	c bounds 17153973 >= -70 @ 137.295
137.97/138.44	c stratification level: 10360232
138.17/138.69	c bounds 17143613 >= -70 @ 137.542
138.17/138.69	c stratification level: 10218313
138.57/139.02	c bounds 17135341 >= -70 @ 137.865
138.57/139.02	c stratification level: 10077696
138.77/139.26	c bounds 17099575 >= -70 @ 138.11
138.77/139.26	c stratification level: 9938375
139.06/139.53	c bounds 17085547 >= -70 @ 138.375
139.06/139.53	c stratification level: 9800344
139.46/139.96	c bounds 17083901 >= -70 @ 138.802
139.46/139.96	c stratification level: 9663597
139.67/140.18	c bounds 17078235 >= -70 @ 139.023
139.67/140.18	c stratification level: 9528128
140.06/140.57	c #Conflicts:      10000 | #Constraints:      23407
140.06/140.57	c bounds 17057947 >= -70 @ 139.409
140.06/140.57	c stratification level: 9393931
140.36/140.82	c bounds 17048181 >= -70 @ 139.654
140.36/140.82	c stratification level: 9261000
140.57/141.04	c bounds 16939765 >= -70 @ 139.874
140.57/141.04	c stratification level: 9129329
140.86/141.32	c bounds 16931193 >= -70 @ 140.15
140.86/141.32	c stratification level: 8998912
141.06/141.59	c bounds 16893827 >= -70 @ 140.416
141.06/141.59	c stratification level: 8869743
141.46/141.90	c bounds 16862921 >= -70 @ 140.727
141.46/141.90	c stratification level: 8741816
141.75/142.22	c bounds 16862357 >= -70 @ 141.041
141.75/142.22	c stratification level: 8615125
141.96/142.48	c bounds 16749089 >= -70 @ 141.297
141.96/142.48	c stratification level: 8489664
142.45/142.98	c bounds 16727409 >= -70 @ 141.788
142.45/142.98	c stratification level: 8365427
142.76/143.21	c bounds 16679193 >= -70 @ 142.018
142.76/143.21	c stratification level: 8242408
143.05/143.50	c bounds 16616531 >= -70 @ 142.298
143.05/143.50	c stratification level: 8120601
143.25/143.77	c bounds 16615047 >= -70 @ 142.57
143.25/143.77	c stratification level: 8000000
143.55/144.01	c bounds 16613727 >= -70 @ 142.801
143.55/144.01	c stratification level: 7880599
143.85/144.36	c bounds 10168741 >= -70 @ 143.152
143.85/144.36	c stratification level: 7762392
144.05/144.57	c bounds 10165523 >= -70 @ 143.364
144.05/144.57	c stratification level: 7645373
144.25/144.79	c bounds 10164203 >= -70 @ 143.583
144.25/144.79	c stratification level: 7529536
163.89/164.44	c #Conflicts:      11000 | #Constraints:      24423
163.89/164.44	c bounds 9599251 >= -70 @ 163.116
163.89/164.44	c stratification level: 7414875
164.39/164.98	c bounds 9582213 >= -70 @ 163.648
164.39/164.98	c stratification level: 7301384
179.94/180.58	c #Conflicts:      12000 | #Constraints:      25425
179.94/180.58	c INPROCESSING
179.94/180.58	c GARBAGE COLLECT
179.94/180.58	c bounds 8416817 >= -70 @ 179.145
179.94/180.58	c stratification level: 7189057
180.34/180.95	c bounds 8381087 >= -70 @ 179.517
180.34/180.95	c stratification level: 7077888
180.54/181.13	c bounds 8375421 >= -70 @ 179.696
180.54/181.13	c stratification level: 6967871
466.27/467.78	c #Conflicts:      13000 | #Constraints:      21643
466.27/467.78	c #Conflicts:      14000 | #Constraints:      22643
466.27/467.78	c #Conflicts:      15000 | #Constraints:      23643
466.27/467.78	c INPROCESSING
466.27/467.78	c GARBAGE COLLECT
466.27/467.78	c #Conflicts:      16000 | #Constraints:      21620
466.27/467.78	c #Conflicts:      17000 | #Constraints:      22620
466.27/467.78	c #Conflicts:      18000 | #Constraints:      23620
466.27/467.78	c INPROCESSING
466.27/467.78	c GARBAGE COLLECT
466.27/467.78	c #Conflicts:      19000 | #Constraints:      21594
466.27/467.78	c #Conflicts:      20000 | #Constraints:      22594
466.27/467.78	c #Conflicts:      21000 | #Constraints:      23594
466.27/467.78	c INPROCESSING
466.27/467.78	c GARBAGE COLLECT
466.27/467.78	c #Conflicts:      22000 | #Constraints:      21385
466.27/467.78	c #Conflicts:      23000 | #Constraints:      22385
466.27/467.78	c #Conflicts:      24000 | #Constraints:      23385
466.27/467.78	c #Conflicts:      25000 | #Constraints:      24385
466.27/467.78	c INPROCESSING
466.27/467.78	c GARBAGE COLLECT
466.27/467.78	c #Conflicts:      26000 | #Constraints:      21986
466.27/467.78	c #Conflicts:      27000 | #Constraints:      22986
466.27/467.78	c #Conflicts:      28000 | #Constraints:      23986
466.27/467.78	c #Conflicts:      29000 | #Constraints:      24986
466.27/467.78	c INPROCESSING
466.27/467.78	c GARBAGE COLLECT
466.27/467.78	c #Conflicts:      30000 | #Constraints:      22373
466.27/467.78	c #Conflicts:      31000 | #Constraints:      23373
466.27/467.78	c bounds 8039073 >= -70 @ 464.996
466.27/467.78	c stratification level: 6859000
469.17/470.61	c bounds 6994143 >= -70 @ 467.818
469.17/470.61	c stratification level: 6751269
469.57/471.03	c bounds 6988399 >= -70 @ 468.233
469.57/471.03	c stratification level: 6644672
470.26/471.70	c bounds 6981903 >= -70 @ 468.903
470.26/471.70	c stratification level: 6539203
470.97/472.45	c bounds 6970347 >= -70 @ 469.649
470.97/472.45	c stratification level: 6434856
473.25/474.72	c bounds 6433199 >= -70 @ 471.903
473.25/474.72	c stratification level: 6331625
474.05/475.54	c bounds 6405871 >= -70 @ 472.715
474.05/475.54	c stratification level: 6229504
474.75/476.22	c bounds 6384763 >= -70 @ 473.395
474.75/476.22	c stratification level: 6128487
475.14/476.65	c bounds 6366563 >= -70 @ 473.819
475.14/476.65	c stratification level: 6028568
666.47/668.57	c #Conflicts:      32000 | #Constraints:      24382
666.47/668.57	c #Conflicts:      33000 | #Constraints:      25382
666.47/668.57	c INPROCESSING
666.47/668.57	c GARBAGE COLLECT
666.47/668.57	c #Conflicts:      34000 | #Constraints:      21794
666.47/668.57	c #Conflicts:      35000 | #Constraints:      22794
666.47/668.57	c #Conflicts:      36000 | #Constraints:      23794
666.47/668.57	c #Conflicts:      37000 | #Constraints:      24794
666.47/668.57	c INPROCESSING
666.47/668.57	c GARBAGE COLLECT
666.47/668.57	c #Conflicts:      38000 | #Constraints:      21843
666.47/668.57	c #Conflicts:      39000 | #Constraints:      22843
666.47/668.57	c #Conflicts:      40000 | #Constraints:      23843
666.47/668.57	c #Conflicts:      41000 | #Constraints:      24843
666.47/668.57	c INPROCESSING
666.47/668.57	c GARBAGE COLLECT
666.47/668.57	c #Conflicts:      42000 | #Constraints:      21622
666.47/668.57	c bounds 6345221 >= -70 @ 664.842
666.47/668.57	c stratification level: 5929741
667.07/669.19	c bounds 6344389 >= -70 @ 665.461
667.07/669.19	c stratification level: 5832000
671.56/673.64	c #Conflicts:      43000 | #Constraints:      22624
671.56/673.64	c bounds 6341987 >= -70 @ 669.879
671.56/673.64	c stratification level: 5735339
813.42/815.91	c #Conflicts:      44000 | #Constraints:      23625
813.42/815.91	c #Conflicts:      45000 | #Constraints:      24625
813.42/815.91	c #Conflicts:      46000 | #Constraints:      25625
813.42/815.91	c INPROCESSING
813.42/815.91	c GARBAGE COLLECT
813.42/815.91	c #Conflicts:      47000 | #Constraints:      22290
813.42/815.91	c #Conflicts:      48000 | #Constraints:      23290
813.42/815.91	c #Conflicts:      49000 | #Constraints:      24290
813.42/815.91	c #Conflicts:      50000 | #Constraints:      25290
813.42/815.91	c bounds 6337929 >= -70 @ 811.492
813.42/815.91	c stratification level: 5639752
813.82/816.38	c bounds 6305287 >= -70 @ 811.957
813.82/816.38	c stratification level: 5545233
814.32/816.81	c bounds 6291497 >= -70 @ 812.381
814.32/816.81	c stratification level: 5451776
815.42/817.98	c bounds 6286641 >= -70 @ 813.547
815.42/817.98	c stratification level: 5359375
815.91/818.48	c bounds 6280385 >= -70 @ 814.046
815.91/818.48	c stratification level: 5268024
816.41/818.98	c bounds 6278429 >= -70 @ 814.542
816.41/818.98	c stratification level: 5177717
817.11/819.69	c bounds 6272709 >= -70 @ 815.249
817.11/819.69	c stratification level: 5088448
817.61/820.19	c bounds 6253253 >= -70 @ 815.744
817.61/820.19	c stratification level: 5000211
1109.12/1112.59	c #Conflicts:      51000 | #Constraints:      26298
1109.12/1112.59	c INPROCESSING
1109.12/1112.59	c GARBAGE COLLECT
1109.12/1112.59	c #Conflicts:      52000 | #Constraints:      22711
1109.12/1112.59	c #Conflicts:      53000 | #Constraints:      23711
1109.12/1112.59	c #Conflicts:      54000 | #Constraints:      24711
1109.12/1112.59	c #Conflicts:      55000 | #Constraints:      25711
1109.12/1112.59	c #Conflicts:      56000 | #Constraints:      26711
1109.12/1112.59	c INPROCESSING
1109.12/1112.59	c GARBAGE COLLECT
1109.12/1112.59	c #Conflicts:      57000 | #Constraints:      22886
1109.12/1112.59	c #Conflicts:      58000 | #Constraints:      23886
1109.12/1112.59	c #Conflicts:      59000 | #Constraints:      24886
1109.12/1112.59	c #Conflicts:      60000 | #Constraints:      25886
1109.12/1112.59	c #Conflicts:      61000 | #Constraints:      26886
1109.12/1112.59	c INPROCESSING
1109.12/1112.59	c GARBAGE COLLECT
1109.12/1112.59	c #Conflicts:      62000 | #Constraints:      22928
1109.12/1112.59	c #Conflicts:      63000 | #Constraints:      23928
1109.12/1112.59	c #Conflicts:      64000 | #Constraints:      24928
1109.12/1112.59	c #Conflicts:      65000 | #Constraints:      25928
1109.12/1112.59	c #Conflicts:      66000 | #Constraints:      26928
1109.12/1112.59	c bounds 6033175 >= -70 @ 1106.76
1109.12/1112.59	c stratification level: 4913000
1109.63/1113.10	c bounds 6021227 >= -70 @ 1107.26
1109.63/1113.10	c stratification level: 4826809
1110.22/1113.64	c bounds 6012233 >= -70 @ 1107.81
1110.22/1113.64	c stratification level: 4741632
1110.92/1114.38	c bounds 6004695 >= -70 @ 1108.54
1110.92/1114.38	c stratification level: 4657463
1111.41/1114.87	c bounds 5993221 >= -70 @ 1109.04
1111.41/1114.87	c stratification level: 4574296
1111.91/1115.37	c bounds 5991359 >= -70 @ 1109.53
1111.91/1115.37	c stratification level: 4492125
1112.41/1115.88	c bounds 5991047 >= -70 @ 1110.04
1112.41/1115.88	c stratification level: 4410944
1113.01/1116.48	c bounds 5982023 >= -70 @ 1110.63
1113.01/1116.48	c stratification level: 4330747
1113.62/1117.03	c bounds 5980087 >= -70 @ 1111.18
1113.62/1117.03	c stratification level: 4251528
1114.21/1117.62	c bounds 5953755 >= -70 @ 1111.77
1114.21/1117.62	c stratification level: 4173281
1114.71/1118.12	c bounds 5934675 >= -70 @ 1112.26
1114.71/1118.12	c stratification level: 4096000
1115.30/1118.70	c bounds 5933933 >= -70 @ 1112.84
1115.30/1118.70	c stratification level: 4019679
1126.18/1129.62	c INPROCESSING
1126.18/1129.62	c GARBAGE COLLECT
1126.18/1129.62	c #Conflicts:      67000 | #Constraints:      22606
1126.18/1129.62	c bounds 5798123 >= -70 @ 1123.71
1126.18/1129.62	c stratification level: 3944312
1126.38/1129.85	c bounds 5792573 >= -70 @ 1123.95
1126.38/1129.85	c stratification level: 3869893
1132.46/1135.92	c bounds 5784365 >= -70 @ 1129.98
1132.46/1135.92	c stratification level: 3796416
1132.76/1136.20	c bounds 5764493 >= -70 @ 1130.26
1132.76/1136.20	c stratification level: 3723875
1134.15/1137.61	c bounds 5658319 >= -70 @ 1131.65
1134.15/1137.61	c stratification level: 3652264
1134.45/1137.92	c bounds 5657039 >= -70 @ 1131.96
1134.45/1137.92	c stratification level: 3581577
1134.85/1138.30	c #Conflicts:      68000 | #Constraints:      23612
1134.85/1138.30	c bounds 5644669 >= -70 @ 1132.34
1134.85/1138.30	c stratification level: 3511808
1135.05/1138.57	c bounds 5640739 >= -70 @ 1132.61
1135.05/1138.57	c stratification level: 3442951
1135.35/1138.85	c bounds 5632739 >= -70 @ 1132.88
1135.35/1138.85	c stratification level: 3375000
1136.04/1139.58	c bounds 5618749 >= -70 @ 1133.61
1136.04/1139.58	c stratification level: 3307949
1893.57/1899.36	c #Conflicts:      69000 | #Constraints:      24616
1893.57/1899.36	c #Conflicts:      70000 | #Constraints:      25616
1893.57/1899.36	c #Conflicts:      71000 | #Constraints:      26616
1893.57/1899.36	c #Conflicts:      72000 | #Constraints:      27616
1893.57/1899.36	c INPROCESSING
1893.57/1899.36	c GARBAGE COLLECT
1893.57/1899.36	c #Conflicts:      73000 | #Constraints:      23066
1893.57/1899.36	c #Conflicts:      74000 | #Constraints:      24066
1893.57/1899.36	c #Conflicts:      75000 | #Constraints:      25066
1893.57/1899.36	c #Conflicts:      76000 | #Constraints:      26066
1893.57/1899.36	c #Conflicts:      77000 | #Constraints:      27066
1893.57/1899.36	c #Conflicts:      78000 | #Constraints:      28066
1893.57/1899.36	c INPROCESSING
1893.57/1899.36	c GARBAGE COLLECT
1893.57/1899.36	c #Conflicts:      79000 | #Constraints:      23471
1893.57/1899.36	c #Conflicts:      80000 | #Constraints:      24471
1893.57/1899.36	c #Conflicts:      81000 | #Constraints:      25471
1893.57/1899.36	c #Conflicts:      82000 | #Constraints:      26471
1893.57/1899.36	c #Conflicts:      83000 | #Constraints:      27471
1893.57/1899.36	c #Conflicts:      84000 | #Constraints:      28471
1893.57/1899.36	c INPROCESSING
1893.57/1899.36	c GARBAGE COLLECT
1893.57/1899.36	c #Conflicts:      85000 | #Constraints:      23639
1893.57/1899.36	c #Conflicts:      86000 | #Constraints:      24639
1893.57/1899.36	c #Conflicts:      87000 | #Constraints:      25639
1893.57/1899.36	c #Conflicts:      88000 | #Constraints:      26639
1893.57/1899.36	c #Conflicts:      89000 | #Constraints:      27639
1893.57/1899.36	c #Conflicts:      90000 | #Constraints:      28639
1893.57/1899.36	c INPROCESSING
1893.57/1899.36	c GARBAGE COLLECT
1893.57/1899.36	c #Conflicts:      91000 | #Constraints:      23602
1893.57/1899.36	c #Conflicts:      92000 | #Constraints:      24602
1893.57/1899.36	c #Conflicts:      93000 | #Constraints:      25602
1893.57/1899.36	c #Conflicts:      94000 | #Constraints:      26602
1893.57/1899.36	c #Conflicts:      95000 | #Constraints:      27602
1893.57/1899.36	c #Conflicts:      96000 | #Constraints:      28602
1893.57/1899.36	c INPROCESSING
1893.57/1899.36	c GARBAGE COLLECT
1893.57/1899.36	c #Conflicts:      97000 | #Constraints:      23479
1893.57/1899.36	c #Conflicts:      98000 | #Constraints:      24479
1893.57/1899.36	c #Conflicts:      99000 | #Constraints:      25479
1893.57/1899.36	c #Conflicts:     100000 | #Constraints:      26479
1893.57/1899.36	c #Conflicts:     101000 | #Constraints:      27479
1893.57/1899.36	c #Conflicts:     102000 | #Constraints:      28479
1893.57/1899.36	c #Conflicts:     103000 | #Constraints:      29479
1893.57/1899.36	c INPROCESSING
1893.57/1899.36	c GARBAGE COLLECT
1893.57/1899.36	c #Conflicts:     104000 | #Constraints:      24107
1893.57/1899.36	c #Conflicts:     105000 | #Constraints:      25107
1893.57/1899.36	c #Conflicts:     106000 | #Constraints:      26107
1893.57/1899.36	c #Conflicts:     107000 | #Constraints:      27107
1893.57/1899.36	c #Conflicts:     108000 | #Constraints:      28107
1893.57/1899.36	c #Conflicts:     109000 | #Constraints:      29107
1893.57/1899.36	c #Conflicts:     110000 | #Constraints:      30107
1893.57/1899.36	c INPROCESSING
1893.57/1899.36	c GARBAGE COLLECT
1893.57/1899.36	c #Conflicts:     111000 | #Constraints:      24393
1893.57/1899.36	c #Conflicts:     112000 | #Constraints:      25393
1893.57/1899.36	c #Conflicts:     113000 | #Constraints:      26393
1893.57/1899.36	c #Conflicts:     114000 | #Constraints:      27393
1893.57/1899.36	c #Conflicts:     115000 | #Constraints:      28393
1893.57/1899.36	c #Conflicts:     116000 | #Constraints:      29393
1893.57/1899.36	c #Conflicts:     117000 | #Constraints:      30393
1893.57/1899.36	c INPROCESSING
1893.57/1899.36	c GARBAGE COLLECT
1893.57/1899.36	c #Conflicts:     118000 | #Constraints:      24618
1893.57/1899.36	c #Conflicts:     119000 | #Constraints:      25618
1893.57/1899.36	c #Conflicts:     120000 | #Constraints:      26618
1893.57/1899.36	c bounds 5581241 >= -70 @ 1890.22
1893.57/1899.36	c stratification level: 3241792
1893.96/1899.76	c bounds 5579157 >= -70 @ 1890.62
1893.96/1899.76	c stratification level: 3176523
1894.37/1900.17	c bounds 5576283 >= -70 @ 1891.02
1894.37/1900.17	c stratification level: 3112136
1894.76/1900.58	c bounds 5574577 >= -70 @ 1891.43
1894.76/1900.58	c stratification level: 3048625
1900.25/1906.05	c bounds 5573529 >= -70 @ 1896.88
1900.25/1906.05	c stratification level: 2985984
1948.49/1954.43	c #Conflicts:     121000 | #Constraints:      27623
1948.49/1954.43	c #Conflicts:     122000 | #Constraints:      28623
1948.49/1954.43	c bounds 5566645 >= -70 @ 1945.03
1948.49/1954.43	c stratification level: 2924207
3284.72/3294.72	c #Conflicts:     123000 | #Constraints:      29624
3284.72/3294.72	c #Conflicts:     124000 | #Constraints:      30624
3284.72/3294.72	c INPROCESSING
3284.72/3294.72	c GARBAGE COLLECT
3284.72/3294.72	c #Conflicts:     125000 | #Constraints:      24524
3284.72/3294.72	c #Conflicts:     126000 | #Constraints:      25524
3284.72/3294.72	c #Conflicts:     127000 | #Constraints:      26524
3284.72/3294.72	c #Conflicts:     128000 | #Constraints:      27524
3284.72/3294.72	c #Conflicts:     129000 | #Constraints:      28524
3284.72/3294.72	c #Conflicts:     130000 | #Constraints:      29524
3284.72/3294.72	c #Conflicts:     131000 | #Constraints:      30524
3284.72/3294.72	c INPROCESSING
3284.72/3294.72	c GARBAGE COLLECT
3284.72/3294.72	c #Conflicts:     132000 | #Constraints:      24278
3284.72/3294.72	c #Conflicts:     133000 | #Constraints:      25278
3284.72/3294.72	c #Conflicts:     134000 | #Constraints:      26278
3284.72/3294.72	c #Conflicts:     135000 | #Constraints:      27278
3284.72/3294.72	c #Conflicts:     136000 | #Constraints:      28278
3284.72/3294.72	c #Conflicts:     137000 | #Constraints:      29278
3284.72/3294.72	c #Conflicts:     138000 | #Constraints:      30278
3284.72/3294.72	c #Conflicts:     139000 | #Constraints:      31278
3284.72/3294.72	c INPROCESSING
3284.72/3294.72	c GARBAGE COLLECT
3284.72/3294.72	c #Conflicts:     140000 | #Constraints:      24992
3284.72/3294.73	c #Conflicts:     141000 | #Constraints:      25992
3284.72/3294.73	c #Conflicts:     142000 | #Constraints:      26992
3284.72/3294.73	c #Conflicts:     143000 | #Constraints:      27992
3284.72/3294.73	c #Conflicts:     144000 | #Constraints:      28992
3284.72/3294.73	c #Conflicts:     145000 | #Constraints:      29992
3284.72/3294.73	c #Conflicts:     146000 | #Constraints:      30992
3284.72/3294.73	c #Conflicts:     147000 | #Constraints:      31992
3284.72/3294.73	c INPROCESSING
3284.72/3294.73	c GARBAGE COLLECT
3284.72/3294.73	c #Conflicts:     148000 | #Constraints:      25352
3284.72/3294.73	c #Conflicts:     149000 | #Constraints:      26352
3284.72/3294.73	c #Conflicts:     150000 | #Constraints:      27352
3284.72/3294.73	c #Conflicts:     151000 | #Constraints:      28352
3284.72/3294.73	c #Conflicts:     152000 | #Constraints:      29352
3284.72/3294.73	c #Conflicts:     153000 | #Constraints:      30352
3284.72/3294.73	c #Conflicts:     154000 | #Constraints:      31352
3284.72/3294.73	c #Conflicts:     155000 | #Constraints:      32352
3284.72/3294.73	c INPROCESSING
3284.72/3294.73	c GARBAGE COLLECT
3284.72/3294.73	c #Conflicts:     156000 | #Constraints:      25554
3284.72/3294.73	c #Conflicts:     157000 | #Constraints:      26554
3284.72/3294.73	c #Conflicts:     158000 | #Constraints:      27554
3284.72/3294.73	c #Conflicts:     159000 | #Constraints:      28554
3284.72/3294.73	c #Conflicts:     160000 | #Constraints:      29554
3284.72/3294.73	c #Conflicts:     161000 | #Constraints:      30554
3284.72/3294.73	c #Conflicts:     162000 | #Constraints:      31554
3284.72/3294.73	c #Conflicts:     163000 | #Constraints:      32554
3284.72/3294.73	c INPROCESSING
3284.72/3294.73	c GARBAGE COLLECT
3284.72/3294.73	c #Conflicts:     164000 | #Constraints:      25611
3284.72/3294.73	c #Conflicts:     165000 | #Constraints:      26611
3284.72/3294.73	c #Conflicts:     166000 | #Constraints:      27611
3284.72/3294.73	c #Conflicts:     167000 | #Constraints:      28611
3284.72/3294.73	c #Conflicts:     168000 | #Constraints:      29611
3284.72/3294.73	c #Conflicts:     169000 | #Constraints:      30611
3284.72/3294.73	c #Conflicts:     170000 | #Constraints:      31611
3284.72/3294.73	c #Conflicts:     171000 | #Constraints:      32611
3284.72/3294.73	c INPROCESSING
3284.72/3294.73	c GARBAGE COLLECT
3284.72/3294.73	c bounds 5540009 >= -70 @ 3279.91
3284.72/3294.73	c stratification level: 2863288
3284.92/3294.97	c bounds 5536393 >= -70 @ 3280.15
3284.92/3294.97	c stratification level: 2803221
3285.22/3295.24	c bounds 5533997 >= -70 @ 3280.43
3285.22/3295.24	c stratification level: 2744000
3285.41/3295.49	c bounds 5518571 >= -70 @ 3280.67
3285.41/3295.49	c stratification level: 2685619
3285.81/3295.80	c bounds 5501867 >= -70 @ 3280.98
3285.81/3295.80	c stratification level: 2628072
3286.02/3296.04	c bounds 5496651 >= -70 @ 3281.22
3286.02/3296.04	c stratification level: 2571353
3286.21/3296.27	c bounds 5467447 >= -70 @ 3281.45
3286.21/3296.27	c stratification level: 2515456
3286.52/3296.50	c bounds 5458193 >= -70 @ 3281.68
3286.52/3296.50	c stratification level: 2460375
3286.72/3296.74	c bounds 5450983 >= -70 @ 3281.92
3286.72/3296.74	c stratification level: 2406104
3286.91/3296.99	c bounds 5428013 >= -70 @ 3282.16
3286.91/3296.99	c stratification level: 2352637
3287.21/3297.21	c bounds 5416855 >= -70 @ 3282.39
3287.21/3297.21	c stratification level: 2299968
3287.51/3297.55	c bounds 5414195 >= -70 @ 3282.72
3287.51/3297.55	c stratification level: 2248091
3287.71/3297.80	c bounds 5352851 >= -70 @ 3282.96
3287.71/3297.80	c stratification level: 2197000
3288.01/3298.06	c bounds 5347645 >= -70 @ 3283.23
3288.01/3298.06	c stratification level: 2146689
3288.31/3298.31	c bounds 5341237 >= -70 @ 3283.48
3288.31/3298.31	c stratification level: 2097152
3288.51/3298.55	c bounds 5339025 >= -70 @ 3283.72
3288.51/3298.55	c stratification level: 2048383
3288.91/3298.90	c bounds 5336461 >= -70 @ 3284.06
3288.91/3298.90	c stratification level: 2000376
3289.30/3299.31	c bounds 5023083 >= -70 @ 3284.47
3289.30/3299.31	c stratification level: 1953125
3289.80/3299.82	c bounds 5016277 >= -70 @ 3284.98
3289.80/3299.82	c stratification level: 1906624
3290.11/3300.12	c bounds 5011855 >= -70 @ 3285.28
3290.11/3300.12	c stratification level: 1860867
3290.40/3300.48	c bounds 5009597 >= -70 @ 3285.64
3290.40/3300.48	c stratification level: 1815848
3290.70/3300.75	c bounds 4940535 >= -70 @ 3285.9
3290.70/3300.75	c stratification level: 1771561
3292.90/3302.98	c bounds 4930875 >= -70 @ 3288.12
3292.90/3302.98	c stratification level: 1728000
3293.19/3303.22	c bounds 4924337 >= -70 @ 3288.36
3293.19/3303.22	c stratification level: 1685159
3521.93/3532.61	c #Conflicts:     172000 | #Constraints:      25492
3521.93/3532.61	c #Conflicts:     173000 | #Constraints:      26492
3521.93/3532.61	c #Conflicts:     174000 | #Constraints:      27492
3521.93/3532.61	c #Conflicts:     175000 | #Constraints:      28492
3521.93/3532.61	c #Conflicts:     176000 | #Constraints:      29492
3521.93/3532.61	c #Conflicts:     177000 | #Constraints:      30492
3521.93/3532.61	c #Conflicts:     178000 | #Constraints:      31492
3521.93/3532.61	c bounds 4815153 >= -70 @ 3516.7
3521.93/3532.61	c stratification level: 1643032
3522.62/3533.36	c bounds 4815089 >= -70 @ 3517.45
3522.62/3533.36	c stratification level: 1601613
3523.42/3534.12	c bounds 4813635 >= -70 @ 3518.2
3523.42/3534.12	c stratification level: 1560896
3600.00/3610.90	c #Conflicts:     179000 | #Constraints:      32495
3600.00/3610.90	c #Conflicts:     180000 | #Constraints:      33495
3600.00/3610.90	c Program interrupted by user.
3600.00/3610.90	c cpu time 3594.62 s
3600.00/3610.90	c deterministic time 395533511210 3.96e+11
3600.00/3610.90	c optimization time 76.8122 s
3600.00/3610.90	c total solve time 3517.76 s
3600.00/3610.90	c core-guided solve time 3517.76 s
3600.00/3610.90	c propagation time 2669.12 s
3600.00/3610.90	c conflict analysis time 797.194 s
3600.00/3610.90	c propagations 63846132
3600.00/3610.90	c resolve steps 3573808
3600.00/3610.90	c decisions 2640941
3600.00/3610.90	c conflicts 180198
3600.00/3610.90	c restarts 505
3600.00/3610.90	c inprocessing phases 33
3600.00/3610.90	c input clauses 21876
3600.00/3610.90	c input cardinalities 9
3600.00/3610.90	c input general constraints 2822
3600.00/3610.90	c input average constraint length 65.25
3600.00/3610.90	c input average constraint degree 190326620.41
3600.00/3610.90	c learned clauses 17914
3600.00/3610.90	c learned cardinalities 298
3600.00/3610.90	c learned general constraints 161986
3600.00/3610.90	c learned average constraint length 4206.71
3600.00/3610.90	c learned average constraint degree 4197753554.06
3600.00/3610.90	c watched constraints 20541
3600.00/3610.90	c counting constraints 144267
3600.00/3610.90	c gcd simplifications 2644
3600.00/3610.90	c detected cardinalities 18
3600.00/3610.90	c weakened non-implied lits 83291817
3600.00/3610.90	c weakened non-implying lits 587903
3600.00/3610.90	c original variables 9940
3600.00/3610.90	c clausal propagations 39247241
3600.00/3610.90	c cardinality propagations 585899
3600.00/3610.90	c watched propagations 643825
3600.00/3610.90	c counting propagations 23253594
3600.00/3610.90	c watch lookups 48326651374
3600.00/3610.90	c watch backjump lookups 48221150302
3600.00/3610.90	c watch checks 32132868485
3600.00/3610.90	c propagation checks 264843866461
3600.00/3610.90	c constraint additions 1875829946
3600.00/3610.90	c trail pops 66657568
3600.00/3610.90	c formula constraints 24510
3600.00/3610.90	c learned constraints 180198
3600.00/3610.90	c bound constraints 197
3600.00/3610.90	c core-guided constraints 0
3600.00/3610.90	c encountered formula constraints 3237378
3600.00/3610.90	c encountered learned constraints 515313
3600.00/3610.90	c encountered bound constraints 1315
3600.00/3610.90	c encountered core-guided constraints 0
3600.00/3610.90	c LP total time 0 s
3600.00/3610.90	c LP solve time 0 s
3600.00/3610.90	c LP constraints added 0
3600.00/3610.90	c LP constraints removed 0
3600.00/3610.90	c LP pivots internal 0
3600.00/3610.90	c LP pivots root 0
3600.00/3610.90	c LP calls 0
3600.00/3610.90	c LP optimalities 0
3600.00/3610.90	c LP no pivot count 0
3600.00/3610.90	c LP infeasibilities 0
3600.00/3610.90	c LP valid Farkas constraints 0
3600.00/3610.90	c LP learned Farkas constraints 0
3600.00/3610.90	c LP basis resets 0
3600.00/3610.90	c LP cycling count 0
3600.00/3610.90	c LP singular count 0
3600.00/3610.90	c LP no primal count 0
3600.00/3610.90	c LP no farkas count 0
3600.00/3610.90	c LP other issue count 0
3600.00/3610.90	c LP Gomory cuts 0
3600.00/3610.90	c LP learned cuts 0
3600.00/3610.90	c LP deleted cuts 0
3600.00/3610.90	c LP encountered Gomory constraints 0
3600.00/3610.90	c LP encountered Farkas constraints 0
3600.00/3610.90	c LP encountered learned Farkas constraints 0
3600.00/3610.90	c CG auxiliary variables introduced 0
3600.00/3610.90	c CG solutions found 197
3600.00/3610.90	c CG cores constructed 0
3600.00/3610.90	c CG core cardinality constraints returned 0
3600.00/3610.90	c CG unit cores 0
3600.00/3610.90	c CG single cores 0
3600.00/3610.90	c CG blocks removed during cardinality reduction 0
3600.00/3610.90	c CG first core best 0
3600.00/3610.90	c CG decision core best 0
3600.00/3610.90	c CG core reduction tie 0
3600.00/3610.90	c CG core degree average 0.00
3600.00/3610.90	c CG core slack average 0.00
3600.00/3610.90	c CG exhausted 0
3600.00/3610.90	c CG exhaust time 0 s
3600.00/3610.90	c CG trimmed 0
3600.00/3610.90	c CG trim time 0 s
3600.00/3610.90	c CG minimized 0
3600.00/3610.90	c CG minimize time 0 s
3600.00/3610.90	c CG am1 prop time 0.006644 s
3600.00/3610.90	c CG # am1s reformulated 0
3600.00/3610.90	c CG lower bound derived from am1s 0
3600.00/3610.90	c CG # clausal cores 0
3600.00/3610.90	c CG # cardinality cores 0
3600.00/3610.90	c CG # pb cores 0
3600.00/3610.90	c CG # pb reforms 0
3600.00/3610.90	c CG # cores discarded because of pb reform 0
3600.00/3610.90	d LOWERBOUND -70
3600.00/3610.90	d NCORES 0
3600.00/3610.90	d NPBCORES 0
3600.00/3610.90	d NPBREFORM 0
3600.00/3610.90	d NTRIMMED 0
3600.00/3610.90	d NEXHAUSTED 0
3600.00/3610.90	d NAM1S 0
3600.00/3610.90	d AM1LB 0
3600.00/3610.90	o 4813635
3600.00/3610.90	s SATISFIABLE
3600.00/3610.90	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 x1052 -x1053 -x1054 -x1055 x1056 -x1057 -x1058 -x1059 -x1060 x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 x1081 -x1082 x1083 -x1084 -x1085 -x1086 -x1087 x1088 x1089 -x1090 -x1091 -x1092 x1093 -x1094 x1095 x1096 -x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 x1104 x1105 x1106 x1107 -x1108 x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 x1117 -x1118 x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 x4763 -x4764 x4765 -x4766 -x4767 -x4768 x4769 -x4770 -x4771 x4772 -x4773 -x4774 x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 x4782 -x4783 -x4784 x4785 -x4786 -x4787 x4788 -x4789 -x4790 -x4791 x4792 -x4793 x4794 -x4795 x4796 x4797 -x4798 -x4799 x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 x4808 -x4809 -x4810 -x4811 x4812 -x4813 -x4814 -x4815 -x4816 -x4817 x4818 -x4819 x4820 x4821 -x4822 -x4823 x4824 x4825 -x4826 -x4827 x4828 -x4829 x4830 -x4831 -x4832 -x4833 x4834 -x4835 -x4836 -x4837 -x4838 -x4839 x4840 -x4841 -x4842 x4843 x4844 -x4845 x4846 x4847 -x4848 -x4849 x4850 x4851 -x4852 -x4853 x4854 -x4855 x4856 x4857 -x4858 x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 x4871 x4872 -x4873 x4874 -x4875 -x4876 x4877 -x4878 -x4879 x4880 x4881 -x4882 x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 x4892 x4893 -x4894 -x4895 x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 x4977 x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 x6937 x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940

Verifier Data 

OK	4813635

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: 63665 MiB (59204 MiB free)
  memory of node 1: 64507 MiB (60712 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503832-1751431452/watcher-4503832-1751431452 -o /tmp/evaluation-result-4503832-1751431452/solver-4503832-1751431452 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751424222-64437 --watchdog 3760 pb-oll-rs HOME/instance-4503832-1751431452.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=65444, runsolver pid=65441

[startup+0.100066 s]*
/proc/loadavg: 4.08 4.12 4.09 5/264 65445
/proc/meminfo: memFree=122790740/131249996 swapFree=33010684/33010684
[pid=65444] ppid=65441 vsize=24720 memory=12636 CPUtime=0.09 cores=5,7
/proc/65444/stat : 65444 (pb-oll-rs) R 65441 65444 64424 0 -1 4194304 1958 0 0 0 7 2 0 0 20 0 1 0 58822971 25313280 3159 18446744073709551615 4218880 5211445 140731957151920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 27766784 140731957156252 140731957156329 140731957156329 140731957161931 0
/proc/65444/statm: 6180 3159 1312 243 0 2429 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24720 KiB
Current children cumulated memory: 12636 KiB

[startup+0.205697 s]*
/proc/loadavg: 4.08 4.12 4.09 5/264 65445
/proc/meminfo: memFree=122781792/131249996 swapFree=33010684/33010684
[pid=65444] ppid=65441 vsize=24720 memory=12636 CPUtime=0.19 cores=5,7
/proc/65444/stat : 65444 (pb-oll-rs) R 65441 65444 64424 0 -1 4194304 1965 0 0 0 17 2 0 0 20 0 1 0 58822971 25313280 3159 18446744073709551615 4218880 5211445 140731957151920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 27766784 140731957156252 140731957156329 140731957156329 140731957161931 0
/proc/65444/statm: 6180 3159 1312 243 0 2429 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 24720 KiB
Current children cumulated memory: 12636 KiB

[startup+0.305557 s]*
/proc/loadavg: 4.08 4.12 4.09 5/264 65445
/proc/meminfo: memFree=122781792/131249996 swapFree=33010684/33010684
[pid=65444] ppid=65441 vsize=24720 memory=12636 CPUtime=0.29 cores=5,7
/proc/65444/stat : 65444 (pb-oll-rs) R 65441 65444 64424 0 -1 4194304 1965 0 0 0 27 2 0 0 20 0 1 0 58822971 25313280 3159 18446744073709551615 4218880 5211445 140731957151920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 27766784 140731957156252 140731957156329 140731957156329 140731957161931 0
/proc/65444/statm: 6180 3159 1312 243 0 2429 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 24720 KiB
Current children cumulated memory: 12636 KiB

[startup+0.700179 s]
/proc/loadavg: 4.08 4.12 4.09 5/264 65445
/proc/meminfo: memFree=122769632/131249996 swapFree=33010684/33010684
[pid=65444] ppid=65441 vsize=24720 memory=12636 CPUtime=0.68 cores=5,7
/proc/65444/stat : 65444 (pb-oll-rs) R 65441 65444 64424 0 -1 4194304 1968 0 0 0 66 2 0 0 20 0 1 0 58822971 25313280 3159 18446744073709551615 4218880 5211445 140731957151920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 27766784 140731957156252 140731957156329 140731957156329 140731957161931 0
/proc/65444/statm: 6180 3159 1312 243 0 2429 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 24720 KiB
Current children cumulated memory: 12636 KiB

[startup+1.50018 s]
/proc/loadavg: 4.08 4.12 4.09 5/264 65445
/proc/meminfo: memFree=122680800/131249996 swapFree=33010684/33010684
[pid=65444] ppid=65441 vsize=32360 memory=20672 CPUtime=1.47 cores=5,7
/proc/65444/stat : 65444 (pb-oll-rs) R 65441 65444 64424 0 -1 4194304 3481 0 0 0 145 2 0 0 20 0 1 0 58822971 33136640 5168 18446744073709551615 4218880 5211445 140731957151920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 27766784 140731957156252 140731957156329 140731957156329 140731957161931 0
/proc/65444/statm: 8090 5168 1312 243 0 4339 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 32360 KiB
Current children cumulated memory: 20672 KiB

[startup+3.10549 s]
/proc/loadavg: 4.07 4.12 4.09 5/264 65445
/proc/meminfo: memFree=122538668/131249996 swapFree=33010684/33010684
[pid=65444] ppid=65441 vsize=83576 memory=67340 CPUtime=3.08 cores=5,7
/proc/65444/stat : 65444 (pb-oll-rs) R 65441 65444 64424 0 -1 4194304 12076 0 0 0 303 5 0 0 20 0 1 0 58822971 85581824 16835 18446744073709551615 4218880 5211445 140731957151920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 27766784 140731957156252 140731957156329 140731957156329 140731957161931 0
/proc/65444/statm: 20894 16835 1312 243 0 17143 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 83576 KiB
Current children cumulated memory: 67340 KiB

[startup+6.30017 s]
/proc/loadavg: 4.07 4.12 4.09 5/264 65445
/proc/meminfo: memFree=122388804/131249996 swapFree=33010684/33010684
[pid=65444] ppid=65441 vsize=173184 memory=135992 CPUtime=6.27 cores=5,7
/proc/65444/stat : 65444 (pb-oll-rs) R 65441 65444 64424 0 -1 4194304 22596 0 0 0 617 10 0 0 20 0 1 0 58822971 177340416 33998 18446744073709551615 4218880 5211445 140731957151920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 27766784 140731957156252 140731957156329 140731957156329 140731957161931 0
/proc/65444/statm: 43296 33998 1312 243 0 39545 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 173184 KiB
Current children cumulated memory: 135992 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.13 4.10 5/264 65446
/proc/meminfo: memFree=122288184/131249996 swapFree=33010684/33010684
[pid=65444] ppid=65441 vsize=278396 memory=214176 CPUtime=12.64 cores=5,7
/proc/65444/stat : 65444 (pb-oll-rs) R 65441 65444 64424 0 -1 4194304 34992 0 0 0 1248 16 0 0 20 0 1 0 58822971 285077504 53544 18446744073709551615 4218880 5211445 140731957151920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 27766784 140731957156252 140731957156329 140731957156329 140731957161931 0
/proc/65444/statm: 69599 53544 1312 243 0 65848 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 278396 KiB
Current children cumulated memory: 214176 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.13 4.09 5/265 65447
/proc/meminfo: memFree=121803800/131249996 swapFree=33010684/33010684
[pid=65444] ppid=65441 vsize=314780 memory=279896 CPUtime=25.41 cores=5,7
/proc/65444/stat : 65444 (pb-oll-rs) R 65441 65444 64424 0 -1 4194304 45299 0 0 0 2513 28 0 0 20 0 1 0 58822971 322334720 69974 18446744073709551615 4218880 5211445 140731957151920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 27766784 140731957156252 140731957156329 140731957156329 140731957161931 0
/proc/65444/statm: 78695 69974 1312 243 0 74944 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 314780 KiB
Current children cumulated memory: 279896 KiB

[startup+51.1056 s]
/proc/loadavg: 4.07 4.12 4.09 5/265 65447
/proc/meminfo: memFree=121258876/131249996 swapFree=33010684/33010684
[pid=65444] ppid=65441 vsize=508884 memory=442668 CPUtime=50.94 cores=5,7
/proc/65444/stat : 65444 (pb-oll-rs) R 65441 65444 64424 0 -1 4194304 70672 0 0 0 5052 42 0 0 20 0 1 0 58822971 521097216 110667 18446744073709551615 4218880 5211445 140731957151920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 27766784 140731957156252 140731957156329 140731957156329 140731957161931 0
/proc/65444/statm: 127221 110667 1312 243 0 123470 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 508884 KiB
Current children cumulated memory: 442668 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 65449
/proc/meminfo: memFree=120866828/131249996 swapFree=33010684/33010684
[pid=65444] ppid=65441 vsize=550424 memory=530076 CPUtime=101.98 cores=5,7
/proc/65444/stat : 65444 (pb-oll-rs) R 65441 65444 64424 0 -1 4194304 82852 0 0 0 10140 58 0 0 20 0 1 0 58822971 563634176 132519 18446744073709551615 4218880 5211445 140731957151920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 27766784 140731957156252 140731957156329 140731957156329 140731957161931 0
/proc/65444/statm: 137606 132519 1312 243 0 133855 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 550424 KiB
Current children cumulated memory: 530076 KiB

[startup+162.3 s]
/proc/loadavg: 4.33 4.18 4.11 5/264 65451
/proc/meminfo: memFree=120707388/131249996 swapFree=33010684/33010684
[pid=65444] ppid=65441 vsize=821200 memory=652444 CPUtime=161.79 cores=5,7
/proc/65444/stat : 65444 (pb-oll-rs) R 65441 65444 64424 0 -1 4194304 106290 0 0 0 16097 82 0 0 20 0 1 0 58822971 840908800 163111 18446744073709551615 4218880 5211445 140731957151920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 27766784 140731957156252 140731957156329 140731957156329 140731957161931 0
/proc/65444/statm: 205300 163111 1312 243 0 201549 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 821200 KiB
Current children cumulated memory: 652444 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/264 65453
/proc/meminfo: memFree=120518444/131249996 swapFree=33010684/33010684
[pid=65444] ppid=65441 vsize=889244 memory=721188 CPUtime=221.61 cores=5,7
/proc/65444/stat : 65444 (pb-oll-rs) R 65441 65444 64424 0 -1 4194304 120946 0 0 0 22062 99 0 0 20 0 1 0 58822971 910585856 180297 18446744073709551615 4218880 5211445 140731957151920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 27766784 140731957156252 140731957156329 140731957156329 140731957161931 0
/proc/65444/statm: 222311 180297 1312 243 0 218560 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 889244 KiB
Current children cumulated memory: 721188 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/264 65455
/proc/meminfo: memFree=120484868/131249996 swapFree=33010684/33010684
[pid=65444] ppid=65441 vsize=889572 memory=721572 CPUtime=281.43 cores=5,7
/proc/65444/stat : 65444 (pb-oll-rs) R 65441 65444 64424 0 -1 4194304 121028 0 0 0 28038 105 0 0 20 0 1 0 58822971 910921728 180393 18446744073709551615 4218880 5211445 140731957151920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 27766784 140731957156252 140731957156329 140731957156329 140731957161931 0
/proc/65444/statm: 222393 180393 1312 243 0 218642 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 889572 KiB
Current children cumulated memory: 721572 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/264 65463
/proc/meminfo: memFree=120388616/131249996 swapFree=33010684/33010684
[pid=65444] ppid=65441 vsize=920528 memory=747172 CPUtime=341.26 cores=5,7
/proc/65444/stat : 65444 (pb-oll-rs) R 65441 65444 64424 0 -1 4194304 127442 0 0 0 34008 118 0 0 20 0 1 0 58822971 942620672 186793 18446744073709551615 4218880 5211445 140731957151920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 27766784 140731957156252 140731957156329 140731957156329 140731957161931 0
/proc/65444/statm: 230132 186793 1312 243 0 226381 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 920528 KiB
Current children cumulated memory: 747172 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/264 65466
/proc/meminfo: memFree=120347852/131249996 swapFree=33010684/33010684
[pid=65444] ppid=65441 vsize=920528 memory=747172 CPUtime=401.07 cores=5,7
/proc/65444/stat : 65444 (pb-oll-rs) R 65441 65444 64424 0 -1 4194304 127449 0 0 0 39979 128 0 0 20 0 1 0 58822971 942620672 186793 18446744073709551615 4218880 5211445 140731957151920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 27766784 140731957156252 140731957156329 140731957156329 140731957161931 0
/proc/65444/statm: 230132 186793 1312 243 0 226381 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 920528 KiB
Current children cumulated memory: 747172 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/264 65513
/proc/meminfo: memFree=123420176/131249996 swapFree=33010684/33010684
[pid=65444] ppid=65441 vsize=932372 memory=760612 CPUtime=460.89 cores=5,7
/proc/65444/stat : 65444 (pb-oll-rs) R 65441 65444 64424 0 -1 4194304 130821 0 0 0 45953 136 0 0 20 0 1 0 58822971 954748928 190153 18446744073709551615 4218880 5211445 140731957151920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 27766784 140731957156252 140731957156329 140731957156329 140731957161931 0
/proc/65444/statm: 233093 190153 1312 243 0 229342 0
Current children cumulated CPU time: 460.89 s

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

Current children cumulated memory: 1452744 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 65696
/proc/meminfo: memFree=119654560/131249996 swapFree=33010684/33010684
[pid=65444] ppid=65441 vsize=1575712 memory=1452744 CPUtime=2913.45 cores=5,7
/proc/65444/stat : 65444 (pb-oll-rs) R 65441 65444 64424 0 -1 4194304 218165 0 0 0 290880 465 0 0 20 0 1 0 58822971 1613529088 363186 18446744073709551615 4218880 5211445 140731957151920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 27766784 140731957156252 140731957156329 140731957156329 140731957161931 0
/proc/65444/statm: 393928 363186 1312 243 0 390177 0
Current children cumulated CPU time: 2913.45 s
Current children cumulated vsize: 1575712 KiB
Current children cumulated memory: 1452744 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/265 65700
/proc/meminfo: memFree=119596628/131249996 swapFree=33010684/33010684
[pid=65444] ppid=65441 vsize=1575712 memory=1452744 CPUtime=2973.27 cores=5,7
/proc/65444/stat : 65444 (pb-oll-rs) R 65441 65444 64424 0 -1 4194304 218178 0 0 0 296860 467 0 0 20 0 1 0 58822971 1613529088 363186 18446744073709551615 4218880 5211445 140731957151920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 27766784 140731957156252 140731957156329 140731957156329 140731957161931 0
/proc/65444/statm: 393928 363186 1312 243 0 390177 0
Current children cumulated CPU time: 2973.27 s
Current children cumulated vsize: 1575712 KiB
Current children cumulated memory: 1452744 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 65702
/proc/meminfo: memFree=119553860/131249996 swapFree=33010684/33010684
[pid=65444] ppid=65441 vsize=1578144 memory=1454152 CPUtime=3033.09 cores=5,7
/proc/65444/stat : 65444 (pb-oll-rs) R 65441 65444 64424 0 -1 4194304 218602 0 0 0 302836 473 0 0 20 0 1 0 58822971 1616019456 363538 18446744073709551615 4218880 5211445 140731957151920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 27766784 140731957156252 140731957156329 140731957156329 140731957161931 0
/proc/65444/statm: 394536 363538 1312 243 0 390785 0
Current children cumulated CPU time: 3033.09 s
Current children cumulated vsize: 1578144 KiB
Current children cumulated memory: 1454152 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 65705
/proc/meminfo: memFree=119496372/131249996 swapFree=33010684/33010684
[pid=65444] ppid=65441 vsize=1578144 memory=1454152 CPUtime=3092.91 cores=5,7
/proc/65444/stat : 65444 (pb-oll-rs) R 65441 65444 64424 0 -1 4194304 218602 0 0 0 308816 475 0 0 20 0 1 0 58822971 1616019456 363538 18446744073709551615 4218880 5211445 140731957151920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 27766784 140731957156252 140731957156329 140731957156329 140731957161931 0
/proc/65444/statm: 394536 363538 1312 243 0 390785 0
Current children cumulated CPU time: 3092.91 s
Current children cumulated vsize: 1578144 KiB
Current children cumulated memory: 1454152 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 65707
/proc/meminfo: memFree=119389484/131249996 swapFree=33010684/33010684
[pid=65444] ppid=65441 vsize=1578144 memory=1454152 CPUtime=3152.72 cores=5,7
/proc/65444/stat : 65444 (pb-oll-rs) R 65441 65444 64424 0 -1 4194304 218706 0 0 0 314795 477 0 0 20 0 1 0 58822971 1616019456 363538 18446744073709551615 4218880 5211445 140731957151920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 27766784 140731957156252 140731957156329 140731957156329 140731957161931 0
/proc/65444/statm: 394536 363538 1312 243 0 390785 0
Current children cumulated CPU time: 3152.72 s
Current children cumulated vsize: 1578144 KiB
Current children cumulated memory: 1454152 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 65709
/proc/meminfo: memFree=119392872/131249996 swapFree=33010684/33010684
[pid=65444] ppid=65441 vsize=1578144 memory=1454152 CPUtime=3212.54 cores=5,7
/proc/65444/stat : 65444 (pb-oll-rs) R 65441 65444 64424 0 -1 4194304 218729 0 0 0 320774 480 0 0 20 0 1 0 58822971 1616019456 363538 18446744073709551615 4218880 5211445 140731957151920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 27766784 140731957156252 140731957156329 140731957156329 140731957161931 0
/proc/65444/statm: 394536 363538 1312 243 0 390785 0
Current children cumulated CPU time: 3212.54 s
Current children cumulated vsize: 1578144 KiB
Current children cumulated memory: 1454152 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/263 65711
/proc/meminfo: memFree=119412340/131249996 swapFree=33010684/33010684
[pid=65444] ppid=65441 vsize=1578144 memory=1454280 CPUtime=3272.35 cores=5,7
/proc/65444/stat : 65444 (pb-oll-rs) R 65441 65444 64424 0 -1 4194304 218760 0 0 0 326752 483 0 0 20 0 1 0 58822971 1616019456 363570 18446744073709551615 4218880 5211445 140731957151920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 27766784 140731957156252 140731957156329 140731957156329 140731957161931 0
/proc/65444/statm: 394536 363570 1312 243 0 390785 0
Current children cumulated CPU time: 3272.35 s
Current children cumulated vsize: 1578144 KiB
Current children cumulated memory: 1454280 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 65714
/proc/meminfo: memFree=119389896/131249996 swapFree=33010684/33010684
[pid=65444] ppid=65441 vsize=1578144 memory=1454280 CPUtime=3332.18 cores=5,7
/proc/65444/stat : 65444 (pb-oll-rs) R 65441 65444 64424 0 -1 4194304 218765 0 0 0 332726 492 0 0 20 0 1 0 58822971 1616019456 363570 18446744073709551615 4218880 5211445 140731957151920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 27766784 140731957156252 140731957156329 140731957156329 140731957161931 0
/proc/65444/statm: 394536 363570 1312 243 0 390785 0
Current children cumulated CPU time: 3332.18 s
Current children cumulated vsize: 1578144 KiB
Current children cumulated memory: 1454280 KiB

[startup+3402.3 s]
/proc/loadavg: 4.28 4.16 4.11 5/264 65721
/proc/meminfo: memFree=119407676/131249996 swapFree=33010684/33010684
[pid=65444] ppid=65441 vsize=1585208 memory=1458248 CPUtime=3392.01 cores=5,7
/proc/65444/stat : 65444 (pb-oll-rs) R 65441 65444 64424 0 -1 4194304 219916 0 0 0 338699 502 0 0 20 0 1 0 58822971 1623252992 364562 18446744073709551615 4218880 5211445 140731957151920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 27766784 140731957156252 140731957156329 140731957156329 140731957161931 0
/proc/65444/statm: 396302 364562 1312 243 0 392551 0
Current children cumulated CPU time: 3392.01 s
Current children cumulated vsize: 1585208 KiB
Current children cumulated memory: 1458248 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.16 4.11 5/264 65723
/proc/meminfo: memFree=119401144/131249996 swapFree=33010684/33010684
[pid=65444] ppid=65441 vsize=1603324 memory=1470280 CPUtime=3451.83 cores=5,7
/proc/65444/stat : 65444 (pb-oll-rs) R 65441 65444 64424 0 -1 4194304 223020 0 0 0 344671 512 0 0 20 0 1 0 58822971 1641803776 367570 18446744073709551615 4218880 5211445 140731957151920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 27766784 140731957156252 140731957156329 140731957156329 140731957161931 0
/proc/65444/statm: 400831 367570 1312 243 0 397080 0
Current children cumulated CPU time: 3451.83 s
Current children cumulated vsize: 1603324 KiB
Current children cumulated memory: 1470280 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/264 65725
/proc/meminfo: memFree=119320116/131249996 swapFree=33010684/33010684
[pid=65444] ppid=65441 vsize=1678340 memory=1539324 CPUtime=3511.66 cores=5,7
/proc/65444/stat : 65444 (pb-oll-rs) R 65441 65444 64424 0 -1 4194304 234152 0 0 0 350642 524 0 0 20 0 1 0 58822971 1718620160 384831 18446744073709551615 4218880 5211445 140731957151920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 27766784 140731957156252 140731957156329 140731957156329 140731957161931 0
/proc/65444/statm: 419585 384831 1312 243 0 415834 0
Current children cumulated CPU time: 3511.66 s
Current children cumulated vsize: 1678340 KiB
Current children cumulated memory: 1539324 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/264 65729
/proc/meminfo: memFree=119211692/131249996 swapFree=33010684/33010684
[pid=65444] ppid=65441 vsize=1740300 memory=1622060 CPUtime=3571.48 cores=5,7
/proc/65444/stat : 65444 (pb-oll-rs) R 65441 65444 64424 0 -1 4194304 244086 0 0 0 356616 532 0 0 20 0 1 0 58822971 1782067200 405515 18446744073709551615 4218880 5211445 140731957151920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 27766784 140731957156252 140731957156329 140731957156329 140731957161931 0
/proc/65444/statm: 435075 405515 1312 243 0 431324 0
Current children cumulated CPU time: 3571.48 s
Current children cumulated vsize: 1740300 KiB
Current children cumulated memory: 1622060 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.9 s]
/proc/loadavg: 4.07 4.11 4.09 4/258 65760
/proc/meminfo: memFree=121940524/131249996 swapFree=33010684/33010684
[pid=65444] ppid=65441 vsize=1769744 memory=1660584 CPUtime=3600 cores=5,7
/proc/65444/stat : 65444 (pb-oll-rs) R 65441 65444 64424 0 -1 4194304 249141 0 0 0 359461 539 0 0 20 0 1 0 58822971 1812217856 415146 18446744073709551615 4218880 5211445 140731957151920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 27766784 140731957156252 140731957156329 140731957156329 140731957161931 0
/proc/65444/statm: 442436 415146 1312 243 0 438685 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1769744 KiB
Current children cumulated memory: 1660584 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.62 s, system=5.40387 s

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

[startup+3610.9 s]
/proc/loadavg: 4.07 4.11 4.09 4/258 65760
/proc/meminfo: memFree=121940524/131249996 swapFree=33010684/33010684
[pid=65444] ppid=65441 vsize=1769744 memory=1660584 CPUtime=3600 cores=5,7
/proc/65444/stat : 65444 (pb-oll-rs) R 65441 65444 64424 0 -1 4194304 249141 0 0 0 359461 539 0 0 20 0 1 0 58822971 1812217856 415146 18446744073709551615 4218880 5211445 140731957151920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 27766784 140731957156252 140731957156329 140731957156329 140731957161931 0
/proc/65444/statm: 442436 415146 1312 243 0 438685 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1769744 KiB
Current children cumulated memory: 1660584 KiB

Child status: 0

Real time (s): 3610.92
CPU time (s): 3600.03
CPU user time (s): 3594.62
CPU system time (s): 5.40387
CPU usage (%): 99.6983
Max. virtual memory (cumulated for all children) (KiB): 1769744
Max. memory (cumulated for all children) (KiB): 1660584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.62
system time used= 5.40387
maximum resident set size= 1660968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 249158
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= 189
involuntary context switches= 19866


# summary of solver processes directly reported to runsolver:
#   pid: 65444
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3594.62
#   total CPU system time (s): 5.40387

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.12876 second user time and 16.0204 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-07-02 06:44:12
IDJOB=4503832
IDBENCH=155605
IDSOLVER=3345
FILE ID=nodeC017/4503832-1751431452
RUNJOBID= nodeC017-1751424222-64437
SLURM_JOB_ID= 9598356
Free space on /tmp= 432812 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_5.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503832-1751431452/watcher-4503832-1751431452 -o /tmp/evaluation-result-4503832-1751431452/solver-4503832-1751431452 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751424222-64437 --watchdog 3760  pb-oll-rs HOME/instance-4503832-1751431452.opb

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

MD5SUM BENCH= 90cf94310e57120d5401aeddd838603e
RANDOM SEED=1024160221

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        122802816 kB
MemAvailable:   126064476 kB
Buffers:            2380 kB
Cached:          4031016 kB
SwapCached:            0 kB
Active:          4003096 kB
Inactive:        3713716 kB
Active(anon):    3701484 kB
Inactive(anon):       12 kB
Active(file):     301612 kB
Inactive(file):  3713704 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             46536 kB
Writeback:             0 kB
AnonPages:       3684796 kB
Mapped:           107272 kB
Shmem:             18080 kB
KReclaimable:     170768 kB
Slab:             259892 kB
SReclaimable:     170768 kB
SUnreclaim:        89124 kB
KernelStack:        4252 kB
PageTables:        10080 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4442352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2586624 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432624 MiB
End job on nodeC017 at 2025-07-02 07:44:23