Trace number 4454535

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb-oll-rs 2024-07-19SAT (TO)4924337 3600.06 3609.31

DiagnosticValue
AM1LB0
LOWERBOUND-70
NAM1S0
NCORES0
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

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

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.20/0.22	c [STEP] solving
0.20/0.22	c #variables 9940 #constraints 24510
0.20/0.22	c SMALL=int, LARGE=long long
0.20/0.22	c bounds - >= -70 @ 0.145091
0.20/0.22	c stratification level: 150568768
1.27/1.35	c bounds 360004735 >= -70 @ 1.27405
1.27/1.35	c stratification level: 135796744
1.27/1.36	c bounds 266357503 >= -70 @ 1.28273
1.27/1.36	c stratification level: 125000000
1.37/1.40	c bounds 266323851 >= -70 @ 1.31826
1.37/1.40	c stratification level: 117649000
1.37/1.50	c bounds 204637753 >= -70 @ 1.41372
1.37/1.50	c stratification level: 114084125
1.47/1.50	c bounds 159671865 >= -70 @ 1.42105
1.47/1.50	c stratification level: 113379904
1.47/1.51	c bounds 110990521 >= -70 @ 1.42982
1.47/1.51	c stratification level: 110592000
1.47/1.54	c bounds 99465221 >= -70 @ 1.45038
1.47/1.54	c stratification level: 94818816
1.47/1.55	c bounds 98418985 >= -70 @ 1.46045
1.47/1.55	c stratification level: 94196375
1.47/1.57	c bounds 98396481 >= -70 @ 1.48091
1.47/1.57	c stratification level: 93576664
2.56/2.60	c bounds 98395059 >= -70 @ 2.49752
2.56/2.60	c stratification level: 91733851
2.76/2.83	c bounds 98334477 >= -70 @ 2.72155
2.76/2.83	c stratification level: 90518849
9.25/9.35	c #Conflicts:       1000 | #Constraints:      25520
9.25/9.35	c bounds 96230833 >= -70 @ 9.14671
9.25/9.35	c stratification level: 89915392
9.45/9.51	c bounds 96110813 >= -70 @ 9.30467
9.45/9.51	c stratification level: 89314623
9.96/10.05	c bounds 96107729 >= -70 @ 9.83398
9.96/10.05	c stratification level: 88716536
10.06/10.15	c bounds 96100955 >= -70 @ 9.932
10.06/10.15	c stratification level: 88121125
10.14/10.21	c bounds 96099647 >= -70 @ 9.99485
10.14/10.21	c stratification level: 87528384
10.14/10.29	c bounds 96098749 >= -70 @ 10.0693
10.14/10.29	c stratification level: 86938307
10.24/10.36	c bounds 96090591 >= -70 @ 10.1388
10.24/10.36	c stratification level: 86350888
11.34/11.46	c bounds 88579857 >= -70 @ 11.2318
11.34/11.46	c stratification level: 85766121
11.44/11.54	c bounds 88528775 >= -70 @ 11.3091
11.44/11.54	c stratification level: 85184000
11.54/11.65	c bounds 88383797 >= -70 @ 11.4174
11.54/11.65	c stratification level: 84604519
11.65/11.75	c bounds 88302789 >= -70 @ 11.5092
11.65/11.75	c stratification level: 84027672
11.85/11.93	c bounds 88274029 >= -70 @ 11.6892
11.85/11.93	c stratification level: 83453453
11.96/12.03	c bounds 88034535 >= -70 @ 11.7938
11.96/12.03	c stratification level: 82881856
11.96/12.10	c bounds 87973069 >= -70 @ 11.8587
11.96/12.10	c stratification level: 82312875
12.14/12.25	c bounds 87902181 >= -70 @ 12.0135
12.14/12.25	c stratification level: 81182737
12.44/12.50	c bounds 45538779 >= -70 @ 12.2566
12.44/12.50	c stratification level: 45499293
12.44/12.56	c bounds 45485731 >= -70 @ 12.3175
12.44/12.56	c stratification level: 45118016
12.54/12.69	c bounds 45441301 >= -70 @ 12.4459
12.54/12.69	c stratification level: 44738875
13.14/13.20	c bounds 45364303 >= -70 @ 12.9446
13.14/13.20	c stratification level: 44361864
13.24/13.33	c bounds 44607665 >= -70 @ 13.0719
13.24/13.33	c stratification level: 43986977
13.34/13.40	c bounds 44602237 >= -70 @ 13.1501
13.34/13.40	c stratification level: 43614208
13.34/13.48	c bounds 44556511 >= -70 @ 13.2217
13.34/13.48	c stratification level: 43243551
13.64/13.71	c bounds 43323141 >= -70 @ 13.442
13.64/13.71	c stratification level: 42875000
13.84/13.97	c bounds 38421933 >= -70 @ 13.7013
13.84/13.97	c stratification level: 38272753
13.95/14.05	c bounds 38382843 >= -70 @ 13.7811
13.95/14.05	c stratification level: 37933056
14.34/14.41	c bounds 38222227 >= -70 @ 14.138
14.34/14.41	c stratification level: 37595375
14.83/14.99	c bounds 21706355 >= -70 @ 14.7112
14.83/14.99	c stratification level: 21484952
14.94/15.07	c bounds 21698899 >= -70 @ 14.7833
14.94/15.07	c stratification level: 21253933
15.14/15.22	c bounds 20530515 >= -70 @ 14.9293
15.14/15.22	c stratification level: 20346417
15.33/15.44	c bounds 20515511 >= -70 @ 15.1524
15.33/15.44	c stratification level: 20123648
15.43/15.53	c bounds 20512875 >= -70 @ 15.2443
15.43/15.53	c stratification level: 19902511
15.53/15.68	c bounds 20384381 >= -70 @ 15.3833
15.53/15.68	c stratification level: 19683000
15.63/15.78	c bounds 20375619 >= -70 @ 15.4897
15.63/15.78	c stratification level: 19465109
16.23/16.30	c bounds 20169219 >= -70 @ 16.0038
16.23/16.30	c stratification level: 19248832
16.33/16.40	c bounds 20103707 >= -70 @ 16.0956
16.33/16.40	c stratification level: 19034163
16.43/16.54	c bounds 20099581 >= -70 @ 16.2351
16.43/16.54	c stratification level: 18821096
16.53/16.62	c bounds 20097175 >= -70 @ 16.312
16.53/16.62	c stratification level: 18609625
18.13/18.29	c #Conflicts:       2000 | #Constraints:      26557
18.13/18.29	c INPROCESSING
18.13/18.29	c GARBAGE COLLECT
18.13/18.29	c bounds 20079285 >= -70 @ 17.9599
18.13/18.29	c stratification level: 18399744
18.32/18.41	c bounds 20066345 >= -70 @ 18.0777
18.32/18.41	c stratification level: 18191447
18.32/18.46	c bounds 20056917 >= -70 @ 18.1258
18.32/18.46	c stratification level: 17984728
18.43/18.55	c bounds 20050731 >= -70 @ 18.2097
18.43/18.55	c stratification level: 17779581
18.53/18.68	c bounds 20013479 >= -70 @ 18.3399
18.53/18.68	c stratification level: 17576000
18.63/18.74	c bounds 20009721 >= -70 @ 18.4001
18.63/18.74	c stratification level: 17373979
18.73/18.84	c bounds 19999247 >= -70 @ 18.5042
18.73/18.84	c stratification level: 17173512
29.10/29.27	c #Conflicts:       3000 | #Constraints:      22484
29.10/29.27	c bounds 19030811 >= -70 @ 28.8246
29.10/29.27	c stratification level: 16974593
29.19/29.36	c bounds 19020897 >= -70 @ 28.9103
29.19/29.36	c stratification level: 16777216
29.59/29.77	c bounds 19018695 >= -70 @ 29.3179
29.59/29.77	c stratification level: 16581375
32.68/32.80	c bounds 18899737 >= -70 @ 32.3227
32.68/32.80	c stratification level: 16387064
33.78/33.99	c bounds 18893733 >= -70 @ 33.4954
33.78/33.99	c stratification level: 16194277
34.29/34.43	c bounds 18845147 >= -70 @ 33.9364
34.29/34.43	c stratification level: 16003008
34.38/34.56	c bounds 18843455 >= -70 @ 34.062
34.38/34.56	c stratification level: 15813251
58.72/58.93	c #Conflicts:       4000 | #Constraints:      23491
58.72/58.93	c INPROCESSING
58.72/58.93	c GARBAGE COLLECT
58.72/58.93	c #Conflicts:       5000 | #Constraints:      22684
58.72/58.93	c bounds 18643473 >= -70 @ 58.3096
58.72/58.93	c stratification level: 15625000
59.02/59.24	c bounds 18571447 >= -70 @ 58.6191
59.02/59.24	c stratification level: 15438249
59.42/59.63	c bounds 18557029 >= -70 @ 58.9978
59.42/59.63	c stratification level: 15252992
59.62/59.87	c bounds 18535387 >= -70 @ 59.2407
59.62/59.87	c stratification level: 15069223
59.83/60.10	c bounds 18535285 >= -70 @ 59.4662
59.83/60.10	c stratification level: 14886936
60.22/60.40	c bounds 18509461 >= -70 @ 59.7666
60.22/60.40	c stratification level: 14706125
60.71/60.99	c bounds 18503663 >= -70 @ 60.3464
60.71/60.99	c stratification level: 14526784
129.14/129.51	c #Conflicts:       6000 | #Constraints:      23691
129.14/129.51	c INPROCESSING
129.14/129.51	c GARBAGE COLLECT
129.14/129.51	c #Conflicts:       7000 | #Constraints:      22661
129.14/129.51	c #Conflicts:       8000 | #Constraints:      23661
129.14/129.51	c #Conflicts:       9000 | #Constraints:      24661
129.14/129.51	c INPROCESSING
129.14/129.51	c GARBAGE COLLECT
129.14/129.51	c bounds 18352513 >= -70 @ 128.48
129.14/129.51	c stratification level: 14348907
129.25/129.69	c bounds 18333065 >= -70 @ 128.657
129.25/129.69	c stratification level: 14172488
129.45/129.86	c bounds 18305531 >= -70 @ 128.826
129.45/129.86	c stratification level: 13997521
129.76/130.13	c bounds 18273841 >= -70 @ 129.092
129.76/130.13	c stratification level: 13824000
129.84/130.28	c bounds 18264353 >= -70 @ 129.237
129.84/130.28	c stratification level: 13651919
130.04/130.45	c bounds 18237777 >= -70 @ 129.408
130.04/130.45	c stratification level: 13481272
130.24/130.60	c bounds 18157185 >= -70 @ 129.558
130.24/130.60	c stratification level: 13312053
130.44/130.84	c bounds 18108111 >= -70 @ 129.796
130.44/130.84	c stratification level: 13144256
130.54/130.99	c bounds 18081535 >= -70 @ 129.946
130.54/130.99	c stratification level: 12977875
130.84/131.25	c bounds 18066145 >= -70 @ 130.2
130.84/131.25	c stratification level: 12812904
131.04/131.40	c bounds 17706375 >= -70 @ 130.349
131.04/131.40	c stratification level: 12649337
132.14/132.52	c bounds 17689659 >= -70 @ 131.458
132.14/132.52	c stratification level: 12487168
133.93/134.34	c bounds 17677861 >= -70 @ 133.266
133.93/134.34	c stratification level: 12326391
134.13/134.57	c bounds 17661517 >= -70 @ 133.491
134.13/134.57	c stratification level: 12167000
135.03/135.44	c bounds 17328073 >= -70 @ 134.359
135.03/135.44	c stratification level: 12008989
135.53/135.98	c bounds 17315723 >= -70 @ 134.891
135.53/135.98	c stratification level: 11852352
135.74/136.20	c bounds 17314501 >= -70 @ 135.108
135.74/136.20	c stratification level: 11697083
136.02/136.41	c bounds 17311669 >= -70 @ 135.325
136.02/136.41	c stratification level: 11543176
136.74/137.11	c bounds 17310129 >= -70 @ 136.018
136.74/137.11	c stratification level: 11390625
136.93/137.37	c bounds 17299771 >= -70 @ 136.277
136.93/137.37	c stratification level: 11239424
137.13/137.59	c bounds 17293689 >= -70 @ 136.493
137.13/137.59	c stratification level: 11089567
138.42/138.87	c bounds 17292881 >= -70 @ 137.759
138.42/138.87	c stratification level: 10941048
139.32/139.75	c bounds 17281329 >= -70 @ 138.637
139.32/139.75	c stratification level: 10793861
139.63/140.03	c bounds 17234121 >= -70 @ 138.918
139.63/140.03	c stratification level: 10648000
140.01/140.42	c bounds 17221293 >= -70 @ 139.298
140.01/140.42	c stratification level: 10503459
140.21/140.65	c bounds 17153973 >= -70 @ 139.532
140.21/140.65	c stratification level: 10360232
140.41/140.89	c bounds 17143613 >= -70 @ 139.768
140.41/140.89	c stratification level: 10218313
140.81/141.20	c bounds 17135341 >= -70 @ 140.08
140.81/141.20	c stratification level: 10077696
141.02/141.44	c bounds 17099575 >= -70 @ 140.311
141.02/141.44	c stratification level: 9938375
141.21/141.69	c bounds 17085547 >= -70 @ 140.562
141.21/141.69	c stratification level: 9800344
141.62/142.11	c bounds 17083901 >= -70 @ 140.973
141.62/142.11	c stratification level: 9663597
141.91/142.32	c bounds 17078235 >= -70 @ 141.185
141.91/142.32	c stratification level: 9528128
142.31/142.70	c #Conflicts:      10000 | #Constraints:      23407
142.31/142.70	c bounds 17057947 >= -70 @ 141.556
142.31/142.70	c stratification level: 9393931
142.50/142.94	c bounds 17048181 >= -70 @ 141.787
142.50/142.94	c stratification level: 9261000
142.73/143.15	c bounds 16939765 >= -70 @ 141.997
142.73/143.15	c stratification level: 9129329
143.01/143.41	c bounds 16931193 >= -70 @ 142.26
143.01/143.41	c stratification level: 8998912
143.21/143.67	c bounds 16893827 >= -70 @ 142.516
143.21/143.67	c stratification level: 8869743
143.50/143.97	c bounds 16862921 >= -70 @ 142.813
143.50/143.97	c stratification level: 8741816
143.80/144.27	c bounds 16862357 >= -70 @ 143.112
143.80/144.27	c stratification level: 8615125
144.10/144.52	c bounds 16749089 >= -70 @ 143.356
144.10/144.52	c stratification level: 8489664
144.51/145.00	c bounds 16727409 >= -70 @ 143.828
144.51/145.00	c stratification level: 8365427
144.81/145.23	c bounds 16679193 >= -70 @ 144.052
144.81/145.23	c stratification level: 8242408
145.11/145.50	c bounds 16616531 >= -70 @ 144.326
145.11/145.50	c stratification level: 8120601
145.30/145.76	c bounds 16615047 >= -70 @ 144.584
145.30/145.76	c stratification level: 8000000
145.50/145.99	c bounds 16613727 >= -70 @ 144.802
145.50/145.99	c stratification level: 7880599
145.90/146.32	c bounds 10168741 >= -70 @ 145.123
145.90/146.32	c stratification level: 7762392
146.10/146.52	c bounds 10165523 >= -70 @ 145.325
146.10/146.52	c stratification level: 7645373
146.30/146.73	c bounds 10164203 >= -70 @ 145.53
146.30/146.73	c stratification level: 7529536
164.45/164.97	c #Conflicts:      11000 | #Constraints:      24423
164.45/164.97	c bounds 9599251 >= -70 @ 163.657
164.45/164.97	c stratification level: 7414875
164.95/165.46	c bounds 9582213 >= -70 @ 164.142
164.95/165.46	c stratification level: 7301384
179.52/180.06	c #Conflicts:      12000 | #Constraints:      25425
179.52/180.06	c INPROCESSING
179.52/180.06	c GARBAGE COLLECT
179.52/180.06	c bounds 8416817 >= -70 @ 178.663
179.52/180.06	c stratification level: 7189057
179.91/180.41	c bounds 8381087 >= -70 @ 179.011
179.91/180.41	c stratification level: 7077888
180.01/180.59	c bounds 8375421 >= -70 @ 179.185
180.01/180.59	c stratification level: 6967871
447.13/448.30	c #Conflicts:      13000 | #Constraints:      21643
447.13/448.30	c #Conflicts:      14000 | #Constraints:      22643
447.13/448.30	c #Conflicts:      15000 | #Constraints:      23643
447.13/448.30	c INPROCESSING
447.13/448.30	c GARBAGE COLLECT
447.13/448.30	c #Conflicts:      16000 | #Constraints:      21620
447.13/448.30	c #Conflicts:      17000 | #Constraints:      22620
447.13/448.30	c #Conflicts:      18000 | #Constraints:      23620
447.13/448.30	c INPROCESSING
447.13/448.30	c GARBAGE COLLECT
447.13/448.30	c #Conflicts:      19000 | #Constraints:      21594
447.13/448.30	c #Conflicts:      20000 | #Constraints:      22594
447.13/448.30	c #Conflicts:      21000 | #Constraints:      23594
447.13/448.30	c INPROCESSING
447.13/448.30	c GARBAGE COLLECT
447.13/448.30	c #Conflicts:      22000 | #Constraints:      21385
447.13/448.30	c #Conflicts:      23000 | #Constraints:      22385
447.13/448.30	c #Conflicts:      24000 | #Constraints:      23385
447.13/448.30	c #Conflicts:      25000 | #Constraints:      24385
447.13/448.30	c INPROCESSING
447.13/448.30	c GARBAGE COLLECT
447.13/448.30	c #Conflicts:      26000 | #Constraints:      21986
447.13/448.30	c #Conflicts:      27000 | #Constraints:      22986
447.13/448.30	c #Conflicts:      28000 | #Constraints:      23986
447.13/448.30	c #Conflicts:      29000 | #Constraints:      24986
447.13/448.30	c INPROCESSING
447.13/448.30	c GARBAGE COLLECT
447.13/448.30	c #Conflicts:      30000 | #Constraints:      22373
447.13/448.30	c #Conflicts:      31000 | #Constraints:      23373
447.13/448.30	c bounds 8039073 >= -70 @ 445.77
447.13/448.30	c stratification level: 6859000
449.72/450.96	c bounds 6994143 >= -70 @ 448.412
449.72/450.96	c stratification level: 6751269
450.12/451.34	c bounds 6988399 >= -70 @ 448.784
450.12/451.34	c stratification level: 6644672
450.72/451.95	c bounds 6981903 >= -70 @ 449.394
450.72/451.95	c stratification level: 6539203
451.42/452.63	c bounds 6970347 >= -70 @ 450.064
451.42/452.63	c stratification level: 6434856
453.41/454.68	c bounds 6433199 >= -70 @ 452.097
453.41/454.68	c stratification level: 6331625
454.21/455.40	c bounds 6405871 >= -70 @ 452.819
454.21/455.40	c stratification level: 6229504
454.82/456.01	c bounds 6384763 >= -70 @ 453.427
454.82/456.01	c stratification level: 6128487
455.11/456.39	c bounds 6366563 >= -70 @ 453.8
455.11/456.39	c stratification level: 6028568
629.86/631.57	c #Conflicts:      32000 | #Constraints:      24382
629.86/631.57	c #Conflicts:      33000 | #Constraints:      25382
629.86/631.57	c INPROCESSING
629.86/631.57	c GARBAGE COLLECT
629.86/631.57	c #Conflicts:      34000 | #Constraints:      21794
629.86/631.57	c #Conflicts:      35000 | #Constraints:      22794
629.86/631.57	c #Conflicts:      36000 | #Constraints:      23794
629.86/631.57	c #Conflicts:      37000 | #Constraints:      24794
629.86/631.57	c INPROCESSING
629.86/631.57	c GARBAGE COLLECT
629.86/631.57	c #Conflicts:      38000 | #Constraints:      21843
629.86/631.57	c #Conflicts:      39000 | #Constraints:      22843
629.86/631.57	c #Conflicts:      40000 | #Constraints:      23843
629.86/631.57	c #Conflicts:      41000 | #Constraints:      24843
629.86/631.57	c INPROCESSING
629.86/631.57	c GARBAGE COLLECT
629.86/631.57	c #Conflicts:      42000 | #Constraints:      21622
629.86/631.57	c bounds 6345221 >= -70 @ 628.225
629.86/631.57	c stratification level: 5929741
630.47/632.16	c bounds 6344389 >= -70 @ 628.815
630.47/632.16	c stratification level: 5832000
634.74/636.45	c #Conflicts:      43000 | #Constraints:      22624
634.74/636.45	c bounds 6341987 >= -70 @ 633.082
634.74/636.45	c stratification level: 5735339
767.21/769.20	c #Conflicts:      44000 | #Constraints:      23625
767.21/769.20	c #Conflicts:      45000 | #Constraints:      24625
767.21/769.20	c #Conflicts:      46000 | #Constraints:      25625
767.21/769.20	c INPROCESSING
767.21/769.20	c GARBAGE COLLECT
767.21/769.20	c #Conflicts:      47000 | #Constraints:      22290
767.21/769.20	c #Conflicts:      48000 | #Constraints:      23290
767.21/769.20	c #Conflicts:      49000 | #Constraints:      24290
767.21/769.20	c #Conflicts:      50000 | #Constraints:      25290
767.21/769.20	c bounds 6337929 >= -70 @ 765.263
767.21/769.20	c stratification level: 5639752
767.61/769.62	c bounds 6305287 >= -70 @ 765.684
767.61/769.62	c stratification level: 5545233
767.91/770.01	c bounds 6291497 >= -70 @ 766.07
767.91/770.01	c stratification level: 5451776
769.11/771.11	c bounds 6286641 >= -70 @ 767.17
769.11/771.11	c stratification level: 5359375
769.50/771.58	c bounds 6280385 >= -70 @ 767.628
769.50/771.58	c stratification level: 5268024
770.02/772.03	c bounds 6278429 >= -70 @ 768.078
770.02/772.03	c stratification level: 5177717
770.60/772.68	c bounds 6272709 >= -70 @ 768.725
770.60/772.68	c stratification level: 5088448
771.11/773.13	c bounds 6253253 >= -70 @ 769.175
771.11/773.13	c stratification level: 5000211
1059.06/1061.88	c #Conflicts:      51000 | #Constraints:      26298
1059.06/1061.88	c INPROCESSING
1059.06/1061.88	c GARBAGE COLLECT
1059.06/1061.88	c #Conflicts:      52000 | #Constraints:      22711
1059.06/1061.88	c #Conflicts:      53000 | #Constraints:      23711
1059.06/1061.88	c #Conflicts:      54000 | #Constraints:      24711
1059.06/1061.88	c #Conflicts:      55000 | #Constraints:      25711
1059.06/1061.88	c #Conflicts:      56000 | #Constraints:      26711
1059.06/1061.88	c INPROCESSING
1059.06/1061.88	c GARBAGE COLLECT
1059.06/1061.88	c #Conflicts:      57000 | #Constraints:      22886
1059.06/1061.88	c #Conflicts:      58000 | #Constraints:      23886
1059.06/1061.88	c #Conflicts:      59000 | #Constraints:      24886
1059.06/1061.88	c #Conflicts:      60000 | #Constraints:      25886
1059.06/1061.88	c #Conflicts:      61000 | #Constraints:      26886
1059.06/1061.88	c INPROCESSING
1059.06/1061.88	c GARBAGE COLLECT
1059.06/1061.88	c #Conflicts:      62000 | #Constraints:      22928
1059.06/1061.88	c #Conflicts:      63000 | #Constraints:      23928
1059.06/1061.88	c #Conflicts:      64000 | #Constraints:      24928
1059.06/1061.88	c #Conflicts:      65000 | #Constraints:      25928
1059.06/1061.88	c #Conflicts:      66000 | #Constraints:      26928
1059.06/1061.88	c bounds 6033175 >= -70 @ 1056.61
1059.06/1061.88	c stratification level: 4913000
1059.66/1062.43	c bounds 6021227 >= -70 @ 1057.16
1059.66/1062.43	c stratification level: 4826809
1060.26/1063.03	c bounds 6012233 >= -70 @ 1057.75
1060.26/1063.03	c stratification level: 4741632
1061.06/1063.84	c bounds 6004695 >= -70 @ 1058.55
1061.06/1063.84	c stratification level: 4657463
1061.56/1064.38	c bounds 5993221 >= -70 @ 1059.1
1061.56/1064.38	c stratification level: 4574296
1062.15/1064.93	c bounds 5991359 >= -70 @ 1059.64
1062.15/1064.93	c stratification level: 4492125
1062.65/1065.49	c bounds 5991047 >= -70 @ 1060.2
1062.65/1065.49	c stratification level: 4410944
1063.36/1066.13	c bounds 5982023 >= -70 @ 1060.84
1063.36/1066.13	c stratification level: 4330747
1063.95/1066.74	c bounds 5980087 >= -70 @ 1061.44
1063.95/1066.74	c stratification level: 4251528
1064.54/1067.38	c bounds 5953755 >= -70 @ 1062.08
1064.54/1067.38	c stratification level: 4173281
1065.15/1067.93	c bounds 5934675 >= -70 @ 1062.62
1065.15/1067.93	c stratification level: 4096000
1065.75/1068.56	c bounds 5933933 >= -70 @ 1063.25
1065.75/1068.56	c stratification level: 4019679
1076.92/1079.76	c INPROCESSING
1076.92/1079.76	c GARBAGE COLLECT
1076.92/1079.76	c #Conflicts:      67000 | #Constraints:      22606
1076.92/1079.76	c bounds 5798123 >= -70 @ 1074.41
1076.92/1079.76	c stratification level: 3944312
1077.12/1080.01	c bounds 5792573 >= -70 @ 1074.65
1077.12/1080.01	c stratification level: 3869893
1083.40/1086.21	c bounds 5784365 >= -70 @ 1080.81
1083.40/1086.21	c stratification level: 3796416
1083.60/1086.49	c bounds 5764493 >= -70 @ 1081.1
1083.60/1086.49	c stratification level: 3723875
1085.09/1087.92	c bounds 5658319 >= -70 @ 1082.51
1085.09/1087.92	c stratification level: 3652264
1085.39/1088.23	c bounds 5657039 >= -70 @ 1082.82
1085.39/1088.23	c stratification level: 3581577
1085.79/1088.62	c #Conflicts:      68000 | #Constraints:      23612
1085.79/1088.62	c bounds 5644669 >= -70 @ 1083.2
1085.79/1088.62	c stratification level: 3511808
1086.09/1088.90	c bounds 5640739 >= -70 @ 1083.48
1086.09/1088.90	c stratification level: 3442951
1086.30/1089.18	c bounds 5632739 >= -70 @ 1083.75
1086.30/1089.18	c stratification level: 3375000
1087.09/1089.92	c bounds 5618749 >= -70 @ 1084.49
1087.09/1089.92	c stratification level: 3307949
1855.90/1860.70	c #Conflicts:      69000 | #Constraints:      24616
1855.90/1860.70	c #Conflicts:      70000 | #Constraints:      25616
1855.90/1860.70	c #Conflicts:      71000 | #Constraints:      26616
1855.90/1860.70	c #Conflicts:      72000 | #Constraints:      27616
1855.90/1860.70	c INPROCESSING
1855.90/1860.70	c GARBAGE COLLECT
1855.90/1860.70	c #Conflicts:      73000 | #Constraints:      23066
1855.90/1860.70	c #Conflicts:      74000 | #Constraints:      24066
1855.90/1860.70	c #Conflicts:      75000 | #Constraints:      25066
1855.90/1860.70	c #Conflicts:      76000 | #Constraints:      26066
1855.90/1860.70	c #Conflicts:      77000 | #Constraints:      27066
1855.90/1860.70	c #Conflicts:      78000 | #Constraints:      28066
1855.90/1860.70	c INPROCESSING
1855.90/1860.70	c GARBAGE COLLECT
1855.90/1860.70	c #Conflicts:      79000 | #Constraints:      23471
1855.90/1860.70	c #Conflicts:      80000 | #Constraints:      24471
1855.90/1860.70	c #Conflicts:      81000 | #Constraints:      25471
1855.90/1860.70	c #Conflicts:      82000 | #Constraints:      26471
1855.90/1860.70	c #Conflicts:      83000 | #Constraints:      27471
1855.90/1860.70	c #Conflicts:      84000 | #Constraints:      28471
1855.90/1860.70	c INPROCESSING
1855.90/1860.70	c GARBAGE COLLECT
1855.90/1860.70	c #Conflicts:      85000 | #Constraints:      23639
1855.90/1860.70	c #Conflicts:      86000 | #Constraints:      24639
1855.90/1860.70	c #Conflicts:      87000 | #Constraints:      25639
1855.90/1860.70	c #Conflicts:      88000 | #Constraints:      26639
1855.90/1860.70	c #Conflicts:      89000 | #Constraints:      27639
1855.90/1860.70	c #Conflicts:      90000 | #Constraints:      28639
1855.90/1860.70	c INPROCESSING
1855.90/1860.70	c GARBAGE COLLECT
1855.90/1860.70	c #Conflicts:      91000 | #Constraints:      23602
1855.90/1860.70	c #Conflicts:      92000 | #Constraints:      24602
1855.90/1860.70	c #Conflicts:      93000 | #Constraints:      25602
1855.90/1860.70	c #Conflicts:      94000 | #Constraints:      26602
1855.90/1860.70	c #Conflicts:      95000 | #Constraints:      27602
1855.90/1860.70	c #Conflicts:      96000 | #Constraints:      28602
1855.90/1860.70	c INPROCESSING
1855.90/1860.70	c GARBAGE COLLECT
1855.90/1860.70	c #Conflicts:      97000 | #Constraints:      23479
1855.90/1860.70	c #Conflicts:      98000 | #Constraints:      24479
1855.90/1860.70	c #Conflicts:      99000 | #Constraints:      25479
1855.90/1860.70	c #Conflicts:     100000 | #Constraints:      26479
1855.90/1860.70	c #Conflicts:     101000 | #Constraints:      27479
1855.90/1860.70	c #Conflicts:     102000 | #Constraints:      28479
1855.90/1860.70	c #Conflicts:     103000 | #Constraints:      29479
1855.90/1860.70	c INPROCESSING
1855.90/1860.70	c GARBAGE COLLECT
1855.90/1860.70	c #Conflicts:     104000 | #Constraints:      24107
1855.90/1860.70	c #Conflicts:     105000 | #Constraints:      25107
1855.90/1860.70	c #Conflicts:     106000 | #Constraints:      26107
1855.90/1860.70	c #Conflicts:     107000 | #Constraints:      27107
1855.90/1860.70	c #Conflicts:     108000 | #Constraints:      28107
1855.90/1860.70	c #Conflicts:     109000 | #Constraints:      29107
1855.90/1860.70	c #Conflicts:     110000 | #Constraints:      30107
1855.90/1860.70	c INPROCESSING
1855.90/1860.70	c GARBAGE COLLECT
1855.90/1860.70	c #Conflicts:     111000 | #Constraints:      24393
1855.90/1860.70	c #Conflicts:     112000 | #Constraints:      25393
1855.90/1860.70	c #Conflicts:     113000 | #Constraints:      26393
1855.90/1860.70	c #Conflicts:     114000 | #Constraints:      27393
1855.90/1860.70	c #Conflicts:     115000 | #Constraints:      28393
1855.90/1860.70	c #Conflicts:     116000 | #Constraints:      29393
1855.90/1860.70	c #Conflicts:     117000 | #Constraints:      30393
1855.90/1860.70	c INPROCESSING
1855.90/1860.70	c GARBAGE COLLECT
1855.90/1860.70	c #Conflicts:     118000 | #Constraints:      24618
1855.90/1860.70	c #Conflicts:     119000 | #Constraints:      25618
1855.90/1860.70	c #Conflicts:     120000 | #Constraints:      26618
1855.90/1860.70	c bounds 5581241 >= -70 @ 1852.02
1855.90/1860.70	c stratification level: 3241792
1856.31/1861.13	c bounds 5579157 >= -70 @ 1852.46
1856.31/1861.13	c stratification level: 3176523
1856.69/1861.57	c bounds 5576283 >= -70 @ 1852.89
1856.69/1861.57	c stratification level: 3112136
1857.20/1862.01	c bounds 5574577 >= -70 @ 1853.33
1857.20/1862.01	c stratification level: 3048625
1862.68/1867.59	c bounds 5573529 >= -70 @ 1858.88
1862.68/1867.59	c stratification level: 2985984
1914.45/1919.45	c #Conflicts:     121000 | #Constraints:      27623
1914.45/1919.45	c #Conflicts:     122000 | #Constraints:      28623
1914.45/1919.45	c bounds 5566645 >= -70 @ 1910.5
1914.45/1919.45	c stratification level: 2924207
3453.61/3462.59	c #Conflicts:     123000 | #Constraints:      29624
3453.61/3462.59	c #Conflicts:     124000 | #Constraints:      30624
3453.61/3462.59	c INPROCESSING
3453.61/3462.59	c GARBAGE COLLECT
3453.61/3462.59	c #Conflicts:     125000 | #Constraints:      24524
3453.61/3462.59	c #Conflicts:     126000 | #Constraints:      25524
3453.61/3462.59	c #Conflicts:     127000 | #Constraints:      26524
3453.61/3462.59	c #Conflicts:     128000 | #Constraints:      27524
3453.61/3462.59	c #Conflicts:     129000 | #Constraints:      28524
3453.61/3462.59	c #Conflicts:     130000 | #Constraints:      29524
3453.61/3462.59	c #Conflicts:     131000 | #Constraints:      30524
3453.61/3462.59	c INPROCESSING
3453.61/3462.59	c GARBAGE COLLECT
3453.61/3462.59	c #Conflicts:     132000 | #Constraints:      24278
3453.61/3462.59	c #Conflicts:     133000 | #Constraints:      25278
3453.61/3462.59	c #Conflicts:     134000 | #Constraints:      26278
3453.61/3462.59	c #Conflicts:     135000 | #Constraints:      27278
3453.61/3462.59	c #Conflicts:     136000 | #Constraints:      28278
3453.61/3462.59	c #Conflicts:     137000 | #Constraints:      29278
3453.61/3462.59	c #Conflicts:     138000 | #Constraints:      30278
3453.61/3462.59	c #Conflicts:     139000 | #Constraints:      31278
3453.61/3462.59	c INPROCESSING
3453.61/3462.59	c GARBAGE COLLECT
3453.61/3462.59	c #Conflicts:     140000 | #Constraints:      24992
3453.61/3462.59	c #Conflicts:     141000 | #Constraints:      25992
3453.61/3462.59	c #Conflicts:     142000 | #Constraints:      26992
3453.61/3462.59	c #Conflicts:     143000 | #Constraints:      27992
3453.61/3462.59	c #Conflicts:     144000 | #Constraints:      28992
3453.61/3462.59	c #Conflicts:     145000 | #Constraints:      29992
3453.61/3462.59	c #Conflicts:     146000 | #Constraints:      30992
3453.61/3462.59	c #Conflicts:     147000 | #Constraints:      31992
3453.61/3462.59	c INPROCESSING
3453.61/3462.59	c GARBAGE COLLECT
3453.61/3462.59	c #Conflicts:     148000 | #Constraints:      25352
3453.61/3462.59	c #Conflicts:     149000 | #Constraints:      26352
3453.61/3462.59	c #Conflicts:     150000 | #Constraints:      27352
3453.61/3462.59	c #Conflicts:     151000 | #Constraints:      28352
3453.61/3462.59	c #Conflicts:     152000 | #Constraints:      29352
3453.61/3462.59	c #Conflicts:     153000 | #Constraints:      30352
3453.61/3462.59	c #Conflicts:     154000 | #Constraints:      31352
3453.61/3462.59	c #Conflicts:     155000 | #Constraints:      32352
3453.61/3462.59	c INPROCESSING
3453.61/3462.59	c GARBAGE COLLECT
3453.61/3462.59	c #Conflicts:     156000 | #Constraints:      25554
3453.61/3462.59	c #Conflicts:     157000 | #Constraints:      26554
3453.61/3462.59	c #Conflicts:     158000 | #Constraints:      27554
3453.61/3462.59	c #Conflicts:     159000 | #Constraints:      28554
3453.61/3462.59	c #Conflicts:     160000 | #Constraints:      29554
3453.61/3462.59	c #Conflicts:     161000 | #Constraints:      30554
3453.61/3462.59	c #Conflicts:     162000 | #Constraints:      31554
3453.61/3462.59	c #Conflicts:     163000 | #Constraints:      32554
3453.61/3462.59	c INPROCESSING
3453.61/3462.59	c GARBAGE COLLECT
3453.61/3462.59	c #Conflicts:     164000 | #Constraints:      25611
3453.61/3462.59	c #Conflicts:     165000 | #Constraints:      26611
3453.61/3462.59	c #Conflicts:     166000 | #Constraints:      27611
3453.61/3462.59	c #Conflicts:     167000 | #Constraints:      28611
3453.61/3462.59	c #Conflicts:     168000 | #Constraints:      29611
3453.61/3462.59	c #Conflicts:     169000 | #Constraints:      30611
3453.61/3462.59	c #Conflicts:     170000 | #Constraints:      31611
3453.61/3462.59	c #Conflicts:     171000 | #Constraints:      32611
3453.61/3462.59	c INPROCESSING
3453.61/3462.59	c GARBAGE COLLECT
3453.61/3462.59	c bounds 5540009 >= -70 @ 3447.89
3453.61/3462.59	c stratification level: 2863288
3453.91/3462.83	c bounds 5536393 >= -70 @ 3448.13
3453.91/3462.83	c stratification level: 2803221
3454.12/3463.11	c bounds 5533997 >= -70 @ 3448.41
3454.12/3463.11	c stratification level: 2744000
3454.41/3463.35	c bounds 5518571 >= -70 @ 3448.65
3454.41/3463.35	c stratification level: 2685619
3454.71/3463.66	c bounds 5501867 >= -70 @ 3448.96
3454.71/3463.66	c stratification level: 2628072
3455.01/3463.90	c bounds 5496651 >= -70 @ 3449.2
3455.01/3463.90	c stratification level: 2571353
3455.22/3464.14	c bounds 5467447 >= -70 @ 3449.44
3455.22/3464.14	c stratification level: 2515456
3455.41/3464.38	c bounds 5458193 >= -70 @ 3449.67
3455.41/3464.38	c stratification level: 2460375
3455.71/3464.61	c bounds 5450983 >= -70 @ 3449.91
3455.71/3464.61	c stratification level: 2406104
3455.91/3464.86	c bounds 5428013 >= -70 @ 3450.16
3455.91/3464.86	c stratification level: 2352637
3456.12/3465.10	c bounds 5416855 >= -70 @ 3450.39
3456.12/3465.10	c stratification level: 2299968
3456.50/3465.44	c bounds 5414195 >= -70 @ 3450.73
3456.50/3465.44	c stratification level: 2248091
3456.70/3465.69	c bounds 5352851 >= -70 @ 3450.98
3456.70/3465.69	c stratification level: 2197000
3457.00/3465.96	c bounds 5347645 >= -70 @ 3451.24
3457.00/3465.96	c stratification level: 2146689
3457.30/3466.21	c bounds 5341237 >= -70 @ 3451.49
3457.30/3466.21	c stratification level: 2097152
3457.50/3466.45	c bounds 5339025 >= -70 @ 3451.74
3457.50/3466.45	c stratification level: 2048383
3457.90/3466.80	c bounds 5336461 >= -70 @ 3452.09
3457.90/3466.80	c stratification level: 2000376
3458.30/3467.22	c bounds 5023083 >= -70 @ 3452.5
3458.30/3467.22	c stratification level: 1953125
3458.80/3467.74	c bounds 5016277 >= -70 @ 3453.02
3458.80/3467.74	c stratification level: 1906624
3459.11/3468.04	c bounds 5011855 >= -70 @ 3453.32
3459.11/3468.04	c stratification level: 1860867
3459.50/3468.41	c bounds 5009597 >= -70 @ 3453.69
3459.50/3468.41	c stratification level: 1815848
3459.70/3468.68	c bounds 4940535 >= -70 @ 3453.95
3459.70/3468.68	c stratification level: 1771561
3461.99/3470.92	c bounds 4930875 >= -70 @ 3456.18
3461.99/3470.92	c stratification level: 1728000
3462.21/3471.16	c bounds 4924337 >= -70 @ 3456.43
3462.21/3471.16	c stratification level: 1685159
3600.04/3609.30	c #Conflicts:     172000 | #Constraints:      25492
3600.04/3609.30	c #Conflicts:     173000 | #Constraints:      26492
3600.04/3609.30	c #Conflicts:     174000 | #Constraints:      27492
3600.04/3609.30	c #Conflicts:     175000 | #Constraints:      28492
3600.04/3609.30	c #Conflicts:     176000 | #Constraints:      29492
3600.04/3609.30	c #Conflicts:     177000 | #Constraints:      30492
3600.04/3609.30	c Program interrupted by user.
3600.04/3609.30	c cpu time 3593.97 s
3600.04/3609.30	c deterministic time 371759551434 3.72e+11
3600.04/3609.30	c optimization time 137.942 s
3600.04/3609.30	c total solve time 3455.89 s
3600.04/3609.30	c core-guided solve time 3455.89 s
3600.04/3609.30	c propagation time 2669.33 s
3600.04/3609.30	c conflict analysis time 798.915 s
3600.04/3609.30	c propagations 63157491
3600.04/3609.30	c resolve steps 3556234
3600.04/3609.30	c decisions 2518139
3600.04/3609.30	c conflicts 177327
3600.04/3609.30	c restarts 490
3600.04/3609.30	c inprocessing phases 33
3600.04/3609.30	c input clauses 21876
3600.04/3609.30	c input cardinalities 9
3600.04/3609.30	c input general constraints 2819
3600.04/3609.30	c input average constraint length 64.48
3600.04/3609.30	c input average constraint degree 190013704.52
3600.04/3609.30	c learned clauses 17914
3600.04/3609.30	c learned cardinalities 292
3600.04/3609.30	c learned general constraints 159120
3600.04/3609.30	c learned average constraint length 4181.26
3600.04/3609.30	c learned average constraint degree 4151827205.22
3600.04/3609.30	c watched constraints 20499
3600.04/3609.30	c counting constraints 141440
3600.04/3609.30	c gcd simplifications 2640
3600.04/3609.30	c detected cardinalities 18
3600.04/3609.30	c weakened non-implied lits 83058152
3600.04/3609.30	c weakened non-implying lits 586309
3600.04/3609.30	c original variables 9940
3600.04/3609.30	c clausal propagations 38827880
3600.04/3609.30	c cardinality propagations 574859
3600.04/3609.30	c watched propagations 639857
3600.04/3609.30	c counting propagations 22999450
3600.04/3609.30	c watch lookups 46549268835
3600.04/3609.30	c watch backjump lookups 46444803685
3600.04/3609.30	c watch checks 31156594228
3600.04/3609.30	c propagation checks 245634481505
3600.04/3609.30	c constraint additions 1842884369
3600.04/3609.30	c trail pops 65843181
3600.04/3609.30	c formula constraints 24510
3600.04/3609.30	c learned constraints 177326
3600.04/3609.30	c bound constraints 194
3600.04/3609.30	c core-guided constraints 0
3600.04/3609.30	c encountered formula constraints 3222632
3600.04/3609.30	c encountered learned constraints 509618
3600.04/3609.30	c encountered bound constraints 1311
3600.04/3609.30	c encountered core-guided constraints 0
3600.04/3609.30	c LP total time 0 s
3600.04/3609.30	c LP solve time 0 s
3600.04/3609.30	c LP constraints added 0
3600.04/3609.30	c LP constraints removed 0
3600.04/3609.30	c LP pivots internal 0
3600.04/3609.30	c LP pivots root 0
3600.04/3609.30	c LP calls 0
3600.04/3609.30	c LP optimalities 0
3600.04/3609.30	c LP no pivot count 0
3600.04/3609.30	c LP infeasibilities 0
3600.04/3609.30	c LP valid Farkas constraints 0
3600.04/3609.30	c LP learned Farkas constraints 0
3600.04/3609.30	c LP basis resets 0
3600.04/3609.30	c LP cycling count 0
3600.04/3609.30	c LP singular count 0
3600.04/3609.30	c LP no primal count 0
3600.04/3609.30	c LP no farkas count 0
3600.04/3609.30	c LP other issue count 0
3600.04/3609.30	c LP Gomory cuts 0
3600.04/3609.30	c LP learned cuts 0
3600.04/3609.30	c LP deleted cuts 0
3600.04/3609.30	c LP encountered Gomory constraints 0
3600.04/3609.30	c LP encountered Farkas constraints 0
3600.04/3609.30	c LP encountered learned Farkas constraints 0
3600.04/3609.30	c CG auxiliary variables introduced 0
3600.04/3609.30	c CG solutions found 194
3600.04/3609.30	c CG cores constructed 0
3600.04/3609.30	c CG core cardinality constraints returned 0
3600.04/3609.30	c CG unit cores 0
3600.04/3609.30	c CG single cores 0
3600.04/3609.30	c CG blocks removed during cardinality reduction 0
3600.04/3609.30	c CG first core best 0
3600.04/3609.30	c CG decision core best 0
3600.04/3609.30	c CG core reduction tie 0
3600.04/3609.30	c CG core degree average 0.00
3600.04/3609.30	c CG core slack average 0.00
3600.04/3609.30	c CG exhausted 0
3600.04/3609.30	c CG exhaust time 0 s
3600.04/3609.30	c CG trimmed 0
3600.04/3609.30	c CG trim time 0 s
3600.04/3609.30	c CG minimized 0
3600.04/3609.30	c CG minimize time 0 s
3600.04/3609.30	c CG am1 prop time 0.006642 s
3600.04/3609.30	c CG # am1s reformulated 0
3600.04/3609.30	c CG lower bound derived from am1s 0
3600.04/3609.30	c CG # clausal cores 0
3600.04/3609.30	c CG # cardinality cores 0
3600.04/3609.30	c CG # pb cores 0
3600.04/3609.30	c CG # pb reforms 0
3600.04/3609.30	c CG # cores discarded because of pb reform 0
3600.04/3609.30	d LOWERBOUND -70
3600.04/3609.30	d NCORES 0
3600.04/3609.30	d NPBCORES 0
3600.04/3609.30	d NPBREFORM 0
3600.04/3609.30	d NTRIMMED 0
3600.04/3609.30	d NEXHAUSTED 0
3600.04/3609.30	d NAM1S 0
3600.04/3609.30	d AM1LB 0
3600.04/3609.30	o 4924337
3600.04/3609.30	s SATISFIABLE
3600.04/3609.30	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 -x1052 x1053 x1054 -x1055 x1056 -x1057 -x1058 x1059 -x1060 x1061 x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 x1094 -x1095 x1096 -x1097 x1098 x1099 -x1100 -x1101 -x1102 x1103 x1104 x1105 x1106 -x1107 -x1108 -x1109 x1110 x1111 -x1112 x1113 -x1114 -x1115 -x1116 -x1117 -x1118 x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 x4762 -x4763 -x4764 x4765 -x4766 -x4767 -x4768 -x4769 x4770 -x4771 -x4772 x4773 x4774 -x4775 -x4776 -x4777 x4778 -x4779 -x4780 -x4781 x4782 -x4783 x4784 -x4785 x4786 -x4787 -x4788 -x4789 x4790 -x4791 x4792 -x4793 x4794 -x4795 -x4796 x4797 x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 x4817 x4818 -x4819 -x4820 -x4821 x4822 -x4823 x4824 x4825 -x4826 -x4827 x4828 -x4829 x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 x4845 x4846 x4847 -x4848 x4849 x4850 x4851 -x4852 -x4853 -x4854 -x4855 -x4856 x4857 x4858 -x4859 -x4860 -x4861 -x4862 x4863 -x4864 -x4865 x4866 -x4867 -x4868 x4869 x4870 x4871 x4872 x4873 -x4874 x4875 -x4876 x4877 -x4878 -x4879 -x4880 x4881 x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 x4896 x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 x4977 x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 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	4924337

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (61345 MiB free)
  memory of node 1: 64510 MiB (56469 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454535-1721473896/watcher-4454535-1721473896 -o /tmp/evaluation-result-4454535-1721473896/solver-4454535-1721473896 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721466587-1045262 --watchdog 3760 pb-oll-rs HOME/instance-4454535-1721473896.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=1050475, runsolver pid=1050472

[startup+0.100958 s]*
/proc/loadavg: 4.24 4.23 4.20 5/245 1050476
/proc/meminfo: memFree=120499300/131655788 swapFree=131071996/131071996
[pid=1050475] ppid=1050472 vsize=41844 memory=8744 CPUtime=0.09 cores=4,6
/proc/1050475/stat : 1050475 (pb-oll-rs) R 1050472 1050475 1045251 0 -1 4194304 1592 0 0 0 7 2 0 0 20 0 1 0 199548753 42848256 2186 134679101440 4194304 5384485 140725212094176 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5674704 5678696 26382336 140725212095509 140725212095586 140725212095586 140725212102603 0
/proc/1050475/statm: 10461 2186 1188 291 0 1995 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41844 KiB
Current children cumulated memory: 8744 KiB

[startup+0.213958 s]*
/proc/loadavg: 4.24 4.23 4.20 5/245 1050476
/proc/meminfo: memFree=120480496/131655788 swapFree=131071996/131071996
[pid=1050475] ppid=1050472 vsize=43556 memory=11712 CPUtime=0.2 cores=4,6
/proc/1050475/stat : 1050475 (pb-oll-rs) R 1050472 1050475 1045251 0 -1 4194304 2193 0 0 0 15 5 0 0 20 0 1 0 199548753 44601344 2928 134679101440 4194304 5384485 140725212094176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26382336 140725212095509 140725212095586 140725212095586 140725212102603 0
/proc/1050475/statm: 10889 2928 1346 291 0 2423 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43556 KiB
Current children cumulated memory: 11712 KiB

[startup+0.313157 s]*
/proc/loadavg: 4.24 4.23 4.20 6/245 1050476
/proc/meminfo: memFree=120472100/131655788 swapFree=131071996/131071996
[pid=1050475] ppid=1050472 vsize=43556 memory=14144 CPUtime=0.29 cores=4,6
/proc/1050475/stat : 1050475 (pb-oll-rs) R 1050472 1050475 1045251 0 -1 4194304 2250 0 0 0 24 5 0 0 20 0 1 0 199548753 44601344 3536 134679101440 4194304 5384485 140725212094176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26382336 140725212095509 140725212095586 140725212095586 140725212102603 0
/proc/1050475/statm: 10889 3536 1378 291 0 2423 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 43556 KiB
Current children cumulated memory: 14144 KiB

[startup+0.700272 s]
/proc/loadavg: 4.24 4.23 4.20 5/245 1050476
/proc/meminfo: memFree=120456620/131655788 swapFree=131071996/131071996
[pid=1050475] ppid=1050472 vsize=43556 memory=14144 CPUtime=0.67 cores=4,6
/proc/1050475/stat : 1050475 (pb-oll-rs) R 1050472 1050475 1045251 0 -1 4194304 2250 0 0 0 62 5 0 0 20 0 1 0 199548753 44601344 3536 134679101440 4194304 5384485 140725212094176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26382336 140725212095509 140725212095586 140725212095586 140725212102603 0
/proc/1050475/statm: 10889 3536 1378 291 0 2423 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 43556 KiB
Current children cumulated memory: 14144 KiB

[startup+1.50026 s]
/proc/loadavg: 4.24 4.23 4.20 5/245 1050476
/proc/meminfo: memFree=120430200/131655788 swapFree=131071996/131071996
[pid=1050475] ppid=1050472 vsize=46156 memory=16516 CPUtime=1.47 cores=4,6
/proc/1050475/stat : 1050475 (pb-oll-rs) R 1050472 1050475 1045251 0 -1 4194304 2873 0 0 0 141 6 0 0 20 0 1 0 199548753 47263744 4129 134679101440 4194304 5384485 140725212094176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26382336 140725212095509 140725212095586 140725212095586 140725212102603 0
/proc/1050475/statm: 11539 4129 1378 291 0 3073 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 46156 KiB
Current children cumulated memory: 16516 KiB

[startup+3.11292 s]
/proc/loadavg: 4.22 4.23 4.19 5/245 1050476
/proc/meminfo: memFree=120299516/131655788 swapFree=131071996/131071996
[pid=1050475] ppid=1050472 vsize=100092 memory=62980 CPUtime=3.07 cores=4,6
/proc/1050475/stat : 1050475 (pb-oll-rs) R 1050472 1050475 1045251 0 -1 4194304 11378 0 0 0 299 8 0 0 20 0 1 0 199548753 102494208 15745 134679101440 4194304 5384485 140725212094176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26382336 140725212095509 140725212095586 140725212095586 140725212102603 0
/proc/1050475/statm: 25023 15745 1440 291 0 16557 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 100092 KiB
Current children cumulated memory: 62980 KiB

[startup+6.30031 s]
/proc/loadavg: 4.22 4.23 4.19 5/245 1050478
/proc/meminfo: memFree=120075320/131655788 swapFree=131071996/131071996
[pid=1050475] ppid=1050472 vsize=191104 memory=135256 CPUtime=6.25 cores=4,6
/proc/1050475/stat : 1050475 (pb-oll-rs) R 1050472 1050475 1045251 0 -1 4194304 22809 0 0 0 613 12 0 0 20 0 1 0 199548753 195690496 33814 134679101440 4194304 5384485 140725212094176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26382336 140725212095509 140725212095586 140725212095586 140725212102603 0
/proc/1050475/statm: 47776 33814 1440 291 0 39310 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 191104 KiB
Current children cumulated memory: 135256 KiB

[startup+12.7003 s]
/proc/loadavg: 4.18 4.22 4.19 5/245 1050478
/proc/meminfo: memFree=119772236/131655788 swapFree=131071996/131071996
[pid=1050475] ppid=1050472 vsize=245312 memory=208748 CPUtime=12.64 cores=4,6
/proc/1050475/stat : 1050475 (pb-oll-rs) R 1050472 1050475 1045251 0 -1 4194304 34536 0 0 0 1245 19 0 0 20 0 1 0 199548753 251199488 52187 134679101440 4194304 5384485 140725212094176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26382336 140725212095509 140725212095586 140725212095586 140725212102603 0
/proc/1050475/statm: 61328 52187 1440 291 0 52862 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 245312 KiB
Current children cumulated memory: 208748 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.21 4.19 5/245 1050527
/proc/meminfo: memFree=119181088/131655788 swapFree=131071996/131071996
[pid=1050475] ppid=1050472 vsize=334412 memory=283572 CPUtime=25.41 cores=4,6
/proc/1050475/stat : 1050475 (pb-oll-rs) R 1050472 1050475 1045251 0 -1 4194304 46139 0 0 0 2510 31 0 0 20 0 1 0 199548753 342437888 70893 134679101440 4194304 5384485 140725212094176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26382336 140725212095509 140725212095586 140725212095586 140725212102603 0
/proc/1050475/statm: 83603 70893 1440 291 0 75137 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 334412 KiB
Current children cumulated memory: 283572 KiB

[startup+51.1128 s]
/proc/loadavg: 4.16 4.21 4.19 5/245 1050531
/proc/meminfo: memFree=118321080/131655788 swapFree=131071996/131071996
[pid=1050475] ppid=1050472 vsize=527640 memory=442052 CPUtime=50.95 cores=4,6
/proc/1050475/stat : 1050475 (pb-oll-rs) R 1050472 1050475 1045251 0 -1 4194304 71551 0 0 0 5052 43 0 0 20 0 1 0 199548753 540303360 110513 134679101440 4194304 5384485 140725212094176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26382336 140725212095509 140725212095586 140725212095586 140725212102603 0
/proc/1050475/statm: 131910 110513 1440 291 0 123444 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 527640 KiB
Current children cumulated memory: 442052 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.19 4.18 5/245 1050539
/proc/meminfo: memFree=117818924/131655788 swapFree=131071996/131071996
[pid=1050475] ppid=1050472 vsize=566276 memory=526708 CPUtime=102.01 cores=4,6
/proc/1050475/stat : 1050475 (pb-oll-rs) R 1050472 1050475 1045251 0 -1 4194304 83059 0 0 0 10142 59 0 0 20 0 1 0 199548753 579866624 131677 134679101440 4194304 5384485 140725212094176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26382336 140725212095509 140725212095586 140725212095586 140725212102603 0
/proc/1050475/statm: 141569 131677 1440 291 0 133103 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 566276 KiB
Current children cumulated memory: 526708 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.17 4.17 5/245 1050550
/proc/meminfo: memFree=115078200/131655788 swapFree=131071996/131071996
[pid=1050475] ppid=1050472 vsize=839764 memory=655740 CPUtime=161.85 cores=4,6
/proc/1050475/stat : 1050475 (pb-oll-rs) R 1050472 1050475 1045251 0 -1 4194304 107704 0 0 0 16099 86 0 0 20 0 1 0 199548753 859918336 163935 134679101440 4194304 5384485 140725212094176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26382336 140725212095509 140725212095586 140725212095586 140725212102603 0
/proc/1050475/statm: 209941 163935 1440 291 0 201475 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 839764 KiB
Current children cumulated memory: 655740 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.15 4.17 5/244 1050560
/proc/meminfo: memFree=114087604/131655788 swapFree=131071996/131071996
[pid=1050475] ppid=1050472 vsize=908096 memory=723920 CPUtime=221.7 cores=4,6
/proc/1050475/stat : 1050475 (pb-oll-rs) R 1050472 1050475 1045251 0 -1 4194304 122253 0 0 0 22065 105 0 0 20 0 1 0 199548753 929890304 180980 134679101440 4194304 5384485 140725212094176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26382336 140725212095509 140725212095586 140725212095586 140725212102603 0
/proc/1050475/statm: 227024 180980 1440 291 0 218558 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 908096 KiB
Current children cumulated memory: 723920 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/241 1050571
/proc/meminfo: memFree=113982860/131655788 swapFree=131071996/131071996
[pid=1050475] ppid=1050472 vsize=908344 memory=724160 CPUtime=281.55 cores=4,6
/proc/1050475/stat : 1050475 (pb-oll-rs) R 1050472 1050475 1045251 0 -1 4194304 122389 0 0 0 28046 109 0 0 20 0 1 0 199548753 930144256 181040 134679101440 4194304 5384485 140725212094176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26382336 140725212095509 140725212095586 140725212095586 140725212102603 0
/proc/1050475/statm: 227086 181040 1440 291 0 218620 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 908344 KiB
Current children cumulated memory: 724160 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.12 4.16 5/241 1050582
/proc/meminfo: memFree=112988208/131655788 swapFree=131071996/131071996
[pid=1050475] ppid=1050472 vsize=938928 memory=749256 CPUtime=341.4 cores=4,6
/proc/1050475/stat : 1050475 (pb-oll-rs) R 1050472 1050475 1045251 0 -1 4194304 128743 0 0 0 34019 121 0 0 20 0 1 0 199548753 961462272 187314 134679101440 4194304 5384485 140725212094176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26382336 140725212095509 140725212095586 140725212095586 140725212102603 0
/proc/1050475/statm: 234732 187314 1440 291 0 226266 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 938928 KiB
Current children cumulated memory: 749256 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.11 4.15 5/241 1050592
/proc/meminfo: memFree=112674304/131655788 swapFree=131071996/131071996
[pid=1050475] ppid=1050472 vsize=946896 memory=757056 CPUtime=401.24 cores=4,6
/proc/1050475/stat : 1050475 (pb-oll-rs) R 1050472 1050475 1045251 0 -1 4194304 130802 0 0 0 39994 130 0 0 20 0 1 0 199548753 969621504 189264 134679101440 4194304 5384485 140725212094176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26382336 140725212095509 140725212095586 140725212095586 140725212102603 0
/proc/1050475/statm: 236724 189264 1440 291 0 228258 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 946896 KiB
Current children cumulated memory: 757056 KiB

[startup+462.3 s]
/proc/loadavg: 4.30 4.16 4.16 5/241 1050603
/proc/meminfo: memFree=112639416/131655788 swapFree=131071996/131071996
[pid=1050475] ppid=1050472 vsize=951048 memory=762644 CPUtime=461.09 cores=4,6
/proc/1050475/stat : 1050475 (pb-oll-rs) R 1050472 1050475 1045251 0 -1 4194304 132251 0 0 0 45967 142 0 0 20 0 1 0 199548753 973873152 190661 134679101440 4194304 5384485 140725212094176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26382336 140725212095509 140725212095586 140725212095586 140725212102603 0
/proc/1050475/statm: 237762 190661 1440 291 0 229296 0

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

Current children cumulated memory: 1333832 KiB

[startup+2922.3 s]
/proc/loadavg: 4.23 4.20 4.16 5/244 1052216
/proc/meminfo: memFree=103894004/131655788 swapFree=131071996/131071996
[pid=1050475] ppid=1050472 vsize=1594692 memory=1336776 CPUtime=2914.8 cores=4,6
/proc/1050475/stat : 1050475 (pb-oll-rs) R 1050472 1050475 1045251 0 -1 4194304 225464 0 0 0 290938 542 0 0 20 0 1 0 199548753 1632964608 334194 134679101440 4194304 5384485 140725212094176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26382336 140725212095509 140725212095586 140725212095586 140725212102603 0
/proc/1050475/statm: 398673 334194 1440 291 0 390207 0
Current children cumulated CPU time: 2914.8 s
Current children cumulated vsize: 1594692 KiB
Current children cumulated memory: 1336776 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.16 4.14 5/243 1052239
/proc/meminfo: memFree=103827180/131655788 swapFree=131071996/131071996
[pid=1050475] ppid=1050472 vsize=1594692 memory=1347092 CPUtime=2974.64 cores=4,6
/proc/1050475/stat : 1050475 (pb-oll-rs) R 1050472 1050475 1045251 0 -1 4194304 225899 0 0 0 296913 551 0 0 20 0 1 0 199548753 1632964608 336773 134679101440 4194304 5384485 140725212094176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26382336 140725212095509 140725212095586 140725212095586 140725212102603 0
/proc/1050475/statm: 398673 336773 1440 291 0 390207 0
Current children cumulated CPU time: 2974.64 s
Current children cumulated vsize: 1594692 KiB
Current children cumulated memory: 1347092 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.14 4.14 5/243 1052249
/proc/meminfo: memFree=103798548/131655788 swapFree=131071996/131071996
[pid=1050475] ppid=1050472 vsize=1594692 memory=1375152 CPUtime=3034.48 cores=4,6
/proc/1050475/stat : 1050475 (pb-oll-rs) R 1050472 1050475 1045251 0 -1 4194304 226342 0 0 0 302892 556 0 0 20 0 1 0 199548753 1632964608 343788 134679101440 4194304 5384485 140725212094176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26382336 140725212095509 140725212095586 140725212095586 140725212102603 0
/proc/1050475/statm: 398673 343788 1440 291 0 390207 0
Current children cumulated CPU time: 3034.48 s
Current children cumulated vsize: 1594692 KiB
Current children cumulated memory: 1375152 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/243 1052260
/proc/meminfo: memFree=103767244/131655788 swapFree=131071996/131071996
[pid=1050475] ppid=1050472 vsize=1594692 memory=1405608 CPUtime=3094.33 cores=4,6
/proc/1050475/stat : 1050475 (pb-oll-rs) R 1050472 1050475 1045251 0 -1 4194304 226867 0 0 0 308873 560 0 0 20 0 1 0 199548753 1632964608 351402 134679101440 4194304 5384485 140725212094176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26382336 140725212095509 140725212095586 140725212095586 140725212102603 0
/proc/1050475/statm: 398673 351402 1440 291 0 390207 0
Current children cumulated CPU time: 3094.33 s
Current children cumulated vsize: 1594692 KiB
Current children cumulated memory: 1405608 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/242 1052271
/proc/meminfo: memFree=103686464/131655788 swapFree=131071996/131071996
[pid=1050475] ppid=1050472 vsize=1594692 memory=1446268 CPUtime=3154.18 cores=4,6
/proc/1050475/stat : 1050475 (pb-oll-rs) R 1050472 1050475 1045251 0 -1 4194304 227542 0 0 0 314852 566 0 0 20 0 1 0 199548753 1632964608 361567 134679101440 4194304 5384485 140725212094176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26382336 140725212095509 140725212095586 140725212095586 140725212102603 0
/proc/1050475/statm: 398673 361567 1440 291 0 390207 0
Current children cumulated CPU time: 3154.18 s
Current children cumulated vsize: 1594692 KiB
Current children cumulated memory: 1446268 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.13 5/242 1052281
/proc/meminfo: memFree=103652712/131655788 swapFree=131071996/131071996
[pid=1050475] ppid=1050472 vsize=1596996 memory=1461552 CPUtime=3214 cores=4,6
/proc/1050475/stat : 1050475 (pb-oll-rs) R 1050472 1050475 1045251 0 -1 4194304 228574 0 0 0 320828 572 0 0 20 0 1 0 199548753 1635323904 365388 134679101440 4194304 5384485 140725212094176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26382336 140725212095509 140725212095586 140725212095586 140725212102603 0
/proc/1050475/statm: 399249 365388 1440 291 0 390783 0
Current children cumulated CPU time: 3214 s
Current children cumulated vsize: 1596996 KiB
Current children cumulated memory: 1461552 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/241 1052292
/proc/meminfo: memFree=103566020/131655788 swapFree=131071996/131071996
[pid=1050475] ppid=1050472 vsize=1596996 memory=1461552 CPUtime=3273.82 cores=4,6
/proc/1050475/stat : 1050475 (pb-oll-rs) R 1050472 1050475 1045251 0 -1 4194304 229129 0 0 0 326809 573 0 0 20 0 1 0 199548753 1635323904 365388 134679101440 4194304 5384485 140725212094176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26382336 140725212095509 140725212095586 140725212095586 140725212102603 0
/proc/1050475/statm: 399249 365388 1440 291 0 390783 0
Current children cumulated CPU time: 3273.82 s
Current children cumulated vsize: 1596996 KiB
Current children cumulated memory: 1461552 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/241 1052302
/proc/meminfo: memFree=103444488/131655788 swapFree=131071996/131071996
[pid=1050475] ppid=1050472 vsize=1596996 memory=1461552 CPUtime=3333.67 cores=4,6
/proc/1050475/stat : 1050475 (pb-oll-rs) R 1050472 1050475 1045251 0 -1 4194304 229697 0 0 0 332793 574 0 0 20 0 1 0 199548753 1635323904 365388 134679101440 4194304 5384485 140725212094176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26382336 140725212095509 140725212095586 140725212095586 140725212102603 0
/proc/1050475/statm: 399249 365388 1440 291 0 390783 0
Current children cumulated CPU time: 3333.67 s
Current children cumulated vsize: 1596996 KiB
Current children cumulated memory: 1461552 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.10 4.11 5/241 1052312
/proc/meminfo: memFree=103442688/131655788 swapFree=131071996/131071996
[pid=1050475] ppid=1050472 vsize=1596996 memory=1461552 CPUtime=3393.54 cores=4,6
/proc/1050475/stat : 1050475 (pb-oll-rs) R 1050472 1050475 1045251 0 -1 4194304 230292 0 0 0 338775 579 0 0 20 0 1 0 199548753 1635323904 365388 134679101440 4194304 5384485 140725212094176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26382336 140725212095509 140725212095586 140725212095586 140725212102603 0
/proc/1050475/statm: 399249 365388 1440 291 0 390783 0
Current children cumulated CPU time: 3393.54 s
Current children cumulated vsize: 1596996 KiB
Current children cumulated memory: 1461552 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.12 4.11 5/241 1052324
/proc/meminfo: memFree=103364540/131655788 swapFree=131071996/131071996
[pid=1050475] ppid=1050472 vsize=1596996 memory=1461552 CPUtime=3453.41 cores=4,6
/proc/1050475/stat : 1050475 (pb-oll-rs) R 1050472 1050475 1045251 0 -1 4194304 230941 0 0 0 344760 581 0 0 20 0 1 0 199548753 1635323904 365388 134679101440 4194304 5384485 140725212094176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26382336 140725212095509 140725212095586 140725212095586 140725212102603 0
/proc/1050475/statm: 399249 365388 1440 291 0 390783 0
Current children cumulated CPU time: 3453.41 s
Current children cumulated vsize: 1596996 KiB
Current children cumulated memory: 1461552 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.13 4.11 5/239 1052348
/proc/meminfo: memFree=118882184/131655788 swapFree=131071996/131071996
[pid=1050475] ppid=1050472 vsize=1596996 memory=1461552 CPUtime=3513.27 cores=4,6
/proc/1050475/stat : 1050475 (pb-oll-rs) R 1050472 1050475 1045251 0 -1 4194304 231550 0 0 0 350734 593 0 0 20 0 1 0 199548753 1635323904 365388 134679101440 4194304 5384485 140725212094176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26382336 140725212095509 140725212095586 140725212095586 140725212102603 0
/proc/1050475/statm: 399249 365388 1440 291 0 390783 0
Current children cumulated CPU time: 3513.27 s
Current children cumulated vsize: 1596996 KiB
Current children cumulated memory: 1461552 KiB

[startup+3582.3 s]
/proc/loadavg: 3.34 3.92 4.04 3/230 1052410
/proc/meminfo: memFree=122250864/131655788 swapFree=131071996/131071996
[pid=1050475] ppid=1050472 vsize=1606172 memory=1466916 CPUtime=3573.1 cores=4,6
/proc/1050475/stat : 1050475 (pb-oll-rs) R 1050472 1050475 1045251 0 -1 4194304 233578 0 0 0 356707 603 0 0 20 0 1 0 199548753 1644720128 366729 134679101440 4194304 5384485 140725212094176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26382336 140725212095509 140725212095586 140725212095586 140725212102603 0
/proc/1050475/statm: 401543 366729 1440 291 0 393077 0
Current children cumulated CPU time: 3573.1 s
Current children cumulated vsize: 1606172 KiB
Current children cumulated memory: 1466916 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 2.81 3.73 3.97 3/230 1052414
/proc/meminfo: memFree=122245924/131655788 swapFree=131071996/131071996
[pid=1050475] ppid=1050472 vsize=1612828 memory=1471616 CPUtime=3600.04 cores=4,6
/proc/1050475/stat : 1050475 (pb-oll-rs) R 1050472 1050475 1045251 0 -1 4194304 234967 0 0 0 359397 607 0 0 20 0 1 0 199548753 1651535872 367904 134679101440 4194304 5384485 140725212094176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26382336 140725212095509 140725212095586 140725212095586 140725212102603 0
/proc/1050475/statm: 403207 367904 1440 291 0 394741 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1612828 KiB
Current children cumulated memory: 1471616 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.98 s, system=6.07628 s

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

[startup+3609.3 s]
/proc/loadavg: 2.81 3.73 3.97 3/230 1052414
/proc/meminfo: memFree=122245924/131655788 swapFree=131071996/131071996
[pid=1050475] ppid=1050472 vsize=1612828 memory=1471616 CPUtime=3600.04 cores=4,6
/proc/1050475/stat : 1050475 (pb-oll-rs) R 1050472 1050475 1045251 0 -1 4194304 234967 0 0 0 359397 607 0 0 20 0 1 0 199548753 1651535872 367904 134679101440 4194304 5384485 140725212094176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26382336 140725212095509 140725212095586 140725212095586 140725212102603 0
/proc/1050475/statm: 403207 367904 1440 291 0 394741 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1612828 KiB
Current children cumulated memory: 1471616 KiB

Child status: 0

Real time (s): 3609.31
CPU time (s): 3600.06
CPU user time (s): 3593.98
CPU system time (s): 6.07628
CPU usage (%): 99.7436
Max. virtual memory (cumulated for all children) (KiB): 1612828
Max. memory (cumulated for all children) (KiB): 1471616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.98
system time used= 6.07628
maximum resident set size= 1472060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235005
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= 164
involuntary context switches= 2796


# summary of solver processes directly reported to runsolver:
#   pid: 1050475
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3593.98
#   total CPU system time (s): 6.07628

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7372 second user time and 33.5277 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-20 13:11:47
IDJOB=4454535
IDBENCH=155605
IDSOLVER=3082
FILE ID=nodeC010/4454535-1721473896
RUNJOBID= nodeC010-1721466587-1045262
SLURM_JOB_ID= 7545719
Free space on /tmp= 723152 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
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 --file-size-limit 102400 -w /tmp/evaluation-result-4454535-1721473896/watcher-4454535-1721473896 -o /tmp/evaluation-result-4454535-1721473896/solver-4454535-1721473896 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721466587-1045262 --watchdog 3760  pb-oll-rs HOME/instance-4454535-1721473896.opb

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

MD5SUM BENCH= 90cf94310e57120d5401aeddd838603e
RANDOM SEED=1145983030

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        120679212 kB
MemAvailable:   125380860 kB
Buffers:          553100 kB
Cached:          4945172 kB
SwapCached:            0 kB
Active:          1735696 kB
Inactive:        8567308 kB
Active(anon):       1464 kB
Inactive(anon):  4849196 kB
Active(file):    1734232 kB
Inactive(file):  3718112 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2724 kB
Writeback:             0 kB
AnonPages:       4804816 kB
Mapped:           111960 kB
Shmem:             45896 kB
KReclaimable:     178668 kB
Slab:             292560 kB
SReclaimable:     178668 kB
SUnreclaim:       113892 kB
KernelStack:        3948 kB
PageTables:        19480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    5716736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62560 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1001472 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      295752 kB
DirectMap2M:    35260416 kB
DirectMap1G:    100663296 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC010 at 2024-07-20 14:11:56