Trace number 4436093

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb-oll-rs 2024-07-02SAT (TO)4924337 3600.05 3609.34

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.00/0.06	c [STEP] solving
0.00/0.06	c #variables 9940 #constraints 24510
0.00/0.06	c SMALL=int, LARGE=long long
0.00/0.06	c bounds - >= -70 @ 0.053528
0.00/0.06	c stratification level: 150568768
0.68/0.76	c bounds 360004735 >= -70 @ 0.744958
0.68/0.76	c stratification level: 135796744
0.68/0.77	c bounds 266357503 >= -70 @ 0.749969
0.68/0.77	c stratification level: 125000000
0.78/0.80	c bounds 266323851 >= -70 @ 0.775483
0.78/0.80	c stratification level: 117649000
0.78/0.88	c bounds 204637753 >= -70 @ 0.852137
0.78/0.88	c stratification level: 114084125
0.78/0.88	c bounds 159671865 >= -70 @ 0.857166
0.78/0.88	c stratification level: 113379904
0.78/0.89	c bounds 110990521 >= -70 @ 0.862851
0.78/0.89	c stratification level: 110592000
0.89/0.91	c bounds 99465221 >= -70 @ 0.879126
0.89/0.91	c stratification level: 94818816
0.89/0.91	c bounds 98418985 >= -70 @ 0.885199
0.89/0.91	c stratification level: 94196375
0.89/0.93	c bounds 98396481 >= -70 @ 0.900837
0.89/0.93	c stratification level: 93576664
1.78/1.83	c bounds 98395059 >= -70 @ 1.78655
1.78/1.83	c stratification level: 91733851
1.99/2.03	c bounds 98334477 >= -70 @ 1.98149
1.99/2.03	c stratification level: 90518849
8.07/8.15	c #Conflicts:       1000 | #Constraints:      25520
8.07/8.15	c bounds 96230833 >= -70 @ 7.99846
8.07/8.15	c stratification level: 89915392
8.16/8.30	c bounds 96110813 >= -70 @ 8.1467
8.16/8.30	c stratification level: 89314623
8.76/8.80	c bounds 96107729 >= -70 @ 8.65192
8.76/8.80	c stratification level: 88716536
8.76/8.90	c bounds 96100955 >= -70 @ 8.74329
8.76/8.90	c stratification level: 88121125
8.86/8.95	c bounds 96099647 >= -70 @ 8.79986
8.86/8.95	c stratification level: 87528384
8.96/9.02	c bounds 96098749 >= -70 @ 8.86979
8.96/9.02	c stratification level: 86938307
8.96/9.09	c bounds 96090591 >= -70 @ 8.93285
8.96/9.09	c stratification level: 86350888
10.07/10.14	c bounds 88579857 >= -70 @ 9.97626
10.07/10.14	c stratification level: 85766121
10.16/10.21	c bounds 88528775 >= -70 @ 10.0476
10.16/10.21	c stratification level: 85184000
10.26/10.31	c bounds 88383797 >= -70 @ 10.1485
10.26/10.31	c stratification level: 84604519
10.26/10.39	c bounds 88302789 >= -70 @ 10.23
10.26/10.39	c stratification level: 84027672
10.46/10.56	c bounds 88274029 >= -70 @ 10.3967
10.46/10.56	c stratification level: 83453453
10.56/10.66	c bounds 88034535 >= -70 @ 10.4947
10.56/10.66	c stratification level: 82881856
10.66/10.72	c bounds 87973069 >= -70 @ 10.5551
10.66/10.72	c stratification level: 82312875
10.76/10.87	c bounds 87902181 >= -70 @ 10.6983
10.76/10.87	c stratification level: 81182737
11.06/11.10	c bounds 45538779 >= -70 @ 10.9283
11.06/11.10	c stratification level: 45499293
11.06/11.16	c bounds 45485731 >= -70 @ 10.9821
11.06/11.16	c stratification level: 45118016
11.16/11.28	c bounds 45441301 >= -70 @ 11.1022
11.16/11.28	c stratification level: 44738875
11.66/11.77	c bounds 45364303 >= -70 @ 11.5868
11.66/11.77	c stratification level: 44361864
11.76/11.89	c bounds 44607665 >= -70 @ 11.7081
11.76/11.89	c stratification level: 43986977
11.86/11.97	c bounds 44602237 >= -70 @ 11.7794
11.86/11.97	c stratification level: 43614208
11.96/12.03	c bounds 44556511 >= -70 @ 11.849
11.96/12.03	c stratification level: 43243551
12.15/12.26	c bounds 43323141 >= -70 @ 12.0635
12.15/12.26	c stratification level: 42875000
12.46/12.51	c bounds 38421933 >= -70 @ 12.3158
12.46/12.51	c stratification level: 38272753
12.46/12.58	c bounds 38382843 >= -70 @ 12.3875
12.46/12.58	c stratification level: 37933056
12.85/12.93	c bounds 38222227 >= -70 @ 12.7299
12.85/12.93	c stratification level: 37595375
13.35/13.47	c bounds 21706355 >= -70 @ 13.2542
13.35/13.47	c stratification level: 21484952
13.45/13.53	c bounds 21698899 >= -70 @ 13.3187
13.45/13.53	c stratification level: 21253933
13.55/13.67	c bounds 20530515 >= -70 @ 13.4523
13.55/13.67	c stratification level: 20346417
13.75/13.89	c bounds 20515511 >= -70 @ 13.669
13.75/13.89	c stratification level: 20123648
13.85/13.98	c bounds 20512875 >= -70 @ 13.7564
13.85/13.98	c stratification level: 19902511
14.05/14.12	c bounds 20384381 >= -70 @ 13.8925
14.05/14.12	c stratification level: 19683000
14.15/14.22	c bounds 20375619 >= -70 @ 13.9959
14.15/14.22	c stratification level: 19465109
14.65/14.71	c bounds 20169219 >= -70 @ 14.4695
14.65/14.71	c stratification level: 19248832
14.65/14.79	c bounds 20103707 >= -70 @ 14.5498
14.65/14.79	c stratification level: 19034163
14.85/14.92	c bounds 20099581 >= -70 @ 14.6822
14.85/14.92	c stratification level: 18821096
14.85/15.00	c bounds 20097175 >= -70 @ 14.7545
14.85/15.00	c stratification level: 18609625
16.45/16.52	c #Conflicts:       2000 | #Constraints:      26557
16.45/16.52	c INPROCESSING
16.45/16.52	c GARBAGE COLLECT
16.45/16.52	c bounds 20079285 >= -70 @ 16.2504
16.45/16.52	c stratification level: 18399744
16.54/16.62	c bounds 20066345 >= -70 @ 16.3563
16.54/16.62	c stratification level: 18191447
16.54/16.67	c bounds 20056917 >= -70 @ 16.4007
16.54/16.67	c stratification level: 17984728
16.64/16.75	c bounds 20050731 >= -70 @ 16.4759
16.64/16.75	c stratification level: 17779581
16.75/16.87	c bounds 20013479 >= -70 @ 16.595
16.75/16.87	c stratification level: 17576000
16.85/16.92	c bounds 20009721 >= -70 @ 16.6498
16.85/16.92	c stratification level: 17373979
16.95/17.01	c bounds 19999247 >= -70 @ 16.7396
16.95/17.01	c stratification level: 17173512
26.72/26.80	c #Conflicts:       3000 | #Constraints:      22484
26.72/26.80	c bounds 19030811 >= -70 @ 26.4287
26.72/26.80	c stratification level: 16974593
26.72/26.89	c bounds 19020897 >= -70 @ 26.5175
26.72/26.89	c stratification level: 16777216
27.12/27.29	c bounds 19018695 >= -70 @ 26.9136
27.12/27.29	c stratification level: 16581375
30.11/30.20	c bounds 18899737 >= -70 @ 29.795
30.11/30.20	c stratification level: 16387064
31.21/31.36	c bounds 18893733 >= -70 @ 30.9322
31.21/31.36	c stratification level: 16194277
31.60/31.79	c bounds 18845147 >= -70 @ 31.3584
31.60/31.79	c stratification level: 16003008
31.80/31.91	c bounds 18843455 >= -70 @ 31.4851
31.80/31.91	c stratification level: 15813251
55.25/55.42	c #Conflicts:       4000 | #Constraints:      23491
55.25/55.42	c INPROCESSING
55.25/55.42	c GARBAGE COLLECT
55.25/55.42	c #Conflicts:       5000 | #Constraints:      22684
55.25/55.42	c bounds 18643473 >= -70 @ 54.8388
55.25/55.42	c stratification level: 15625000
55.55/55.72	c bounds 18571447 >= -70 @ 55.1406
55.55/55.72	c stratification level: 15438249
55.85/56.10	c bounds 18557029 >= -70 @ 55.512
55.85/56.10	c stratification level: 15252992
56.14/56.33	c bounds 18535387 >= -70 @ 55.741
56.14/56.33	c stratification level: 15069223
56.34/56.55	c bounds 18535285 >= -70 @ 55.9556
56.34/56.55	c stratification level: 14886936
56.64/56.84	c bounds 18509461 >= -70 @ 56.2436
56.64/56.84	c stratification level: 14706125
57.24/57.40	c bounds 18503663 >= -70 @ 56.8002
57.24/57.40	c stratification level: 14526784
123.37/123.77	c #Conflicts:       6000 | #Constraints:      23691
123.37/123.77	c INPROCESSING
123.37/123.77	c GARBAGE COLLECT
123.37/123.77	c #Conflicts:       7000 | #Constraints:      22661
123.37/123.77	c #Conflicts:       8000 | #Constraints:      23661
123.37/123.77	c #Conflicts:       9000 | #Constraints:      24661
123.37/123.77	c INPROCESSING
123.37/123.77	c GARBAGE COLLECT
123.37/123.77	c bounds 18352513 >= -70 @ 122.746
123.37/123.77	c stratification level: 14348907
123.57/123.94	c bounds 18333065 >= -70 @ 122.918
123.57/123.94	c stratification level: 14172488
123.77/124.11	c bounds 18305531 >= -70 @ 123.087
123.77/124.11	c stratification level: 13997521
123.96/124.38	c bounds 18273841 >= -70 @ 123.349
123.96/124.38	c stratification level: 13824000
124.17/124.52	c bounds 18264353 >= -70 @ 123.491
124.17/124.52	c stratification level: 13651919
124.27/124.69	c bounds 18237777 >= -70 @ 123.658
124.27/124.69	c stratification level: 13481272
124.47/124.84	c bounds 18157185 >= -70 @ 123.807
124.47/124.84	c stratification level: 13312053
124.67/125.08	c bounds 18108111 >= -70 @ 124.042
124.67/125.08	c stratification level: 13144256
124.86/125.23	c bounds 18081535 >= -70 @ 124.193
124.86/125.23	c stratification level: 12977875
125.07/125.49	c bounds 18066145 >= -70 @ 124.445
125.07/125.49	c stratification level: 12812904
125.27/125.64	c bounds 17706375 >= -70 @ 124.594
125.27/125.64	c stratification level: 12649337
126.36/126.73	c bounds 17689659 >= -70 @ 125.68
126.36/126.73	c stratification level: 12487168
128.16/128.54	c bounds 17677861 >= -70 @ 127.474
128.16/128.54	c stratification level: 12326391
128.35/128.77	c bounds 17661517 >= -70 @ 127.697
128.35/128.77	c stratification level: 12167000
129.25/129.63	c bounds 17328073 >= -70 @ 128.554
129.25/129.63	c stratification level: 12008989
129.76/130.16	c bounds 17315723 >= -70 @ 129.079
129.76/130.16	c stratification level: 11852352
129.96/130.38	c bounds 17314501 >= -70 @ 129.293
129.96/130.38	c stratification level: 11697083
130.26/130.60	c bounds 17311669 >= -70 @ 129.509
130.26/130.60	c stratification level: 11543176
130.85/131.29	c bounds 17310129 >= -70 @ 130.194
130.85/131.29	c stratification level: 11390625
131.15/131.55	c bounds 17299771 >= -70 @ 130.45
131.15/131.55	c stratification level: 11239424
131.35/131.77	c bounds 17293689 >= -70 @ 130.669
131.35/131.77	c stratification level: 11089567
132.65/133.02	c bounds 17292881 >= -70 @ 131.918
132.65/133.02	c stratification level: 10941048
133.54/133.90	c bounds 17281329 >= -70 @ 132.788
133.54/133.90	c stratification level: 10793861
133.75/134.18	c bounds 17234121 >= -70 @ 133.068
133.75/134.18	c stratification level: 10648000
134.14/134.56	c bounds 17221293 >= -70 @ 133.446
134.14/134.56	c stratification level: 10503459
134.34/134.79	c bounds 17153973 >= -70 @ 133.678
134.34/134.79	c stratification level: 10360232
134.65/135.03	c bounds 17143613 >= -70 @ 133.913
134.65/135.03	c stratification level: 10218313
134.94/135.34	c bounds 17135341 >= -70 @ 134.223
134.94/135.34	c stratification level: 10077696
135.14/135.58	c bounds 17099575 >= -70 @ 134.456
135.14/135.58	c stratification level: 9938375
135.44/135.83	c bounds 17085547 >= -70 @ 134.711
135.44/135.83	c stratification level: 9800344
135.84/136.24	c bounds 17083901 >= -70 @ 135.119
135.84/136.24	c stratification level: 9663597
136.04/136.46	c bounds 17078235 >= -70 @ 135.331
136.04/136.46	c stratification level: 9528128
136.43/136.83	c #Conflicts:      10000 | #Constraints:      23407
136.43/136.83	c bounds 17057947 >= -70 @ 135.7
136.43/136.83	c stratification level: 9393931
136.65/137.07	c bounds 17048181 >= -70 @ 135.936
136.65/137.07	c stratification level: 9261000
136.84/137.28	c bounds 16939765 >= -70 @ 136.142
136.84/137.28	c stratification level: 9129329
137.13/137.53	c bounds 16931193 >= -70 @ 136.396
137.13/137.53	c stratification level: 8998912
137.33/137.79	c bounds 16893827 >= -70 @ 136.65
137.33/137.79	c stratification level: 8869743
137.63/138.09	c bounds 16862921 >= -70 @ 136.943
137.63/138.09	c stratification level: 8741816
137.94/138.39	c bounds 16862357 >= -70 @ 137.242
137.94/138.39	c stratification level: 8615125
138.23/138.63	c bounds 16749089 >= -70 @ 137.484
138.23/138.63	c stratification level: 8489664
138.64/139.09	c bounds 16727409 >= -70 @ 137.944
138.64/139.09	c stratification level: 8365427
138.93/139.31	c bounds 16679193 >= -70 @ 138.157
138.93/139.31	c stratification level: 8242408
139.13/139.58	c bounds 16616531 >= -70 @ 138.422
139.13/139.58	c stratification level: 8120601
139.43/139.84	c bounds 16615047 >= -70 @ 138.676
139.43/139.84	c stratification level: 8000000
139.64/140.06	c bounds 16613727 >= -70 @ 138.891
139.64/140.06	c stratification level: 7880599
139.92/140.39	c bounds 10168741 >= -70 @ 139.212
139.92/140.39	c stratification level: 7762392
140.12/140.59	c bounds 10165523 >= -70 @ 139.408
140.12/140.59	c stratification level: 7645373
140.32/140.79	c bounds 10164203 >= -70 @ 139.61
140.32/140.79	c stratification level: 7529536
158.28/158.75	c #Conflicts:      11000 | #Constraints:      24423
158.28/158.75	c bounds 9599251 >= -70 @ 157.46
158.28/158.75	c stratification level: 7414875
158.78/159.23	c bounds 9582213 >= -70 @ 157.94
158.78/159.23	c stratification level: 7301384
173.14/173.66	c #Conflicts:      12000 | #Constraints:      25425
173.14/173.66	c INPROCESSING
173.14/173.66	c GARBAGE COLLECT
173.14/173.66	c bounds 8416817 >= -70 @ 172.252
173.14/173.66	c stratification level: 7189057
173.55/174.02	c bounds 8381087 >= -70 @ 172.606
173.55/174.02	c stratification level: 7077888
173.65/174.19	c bounds 8375421 >= -70 @ 172.779
173.65/174.19	c stratification level: 6967871
437.56/438.73	c #Conflicts:      13000 | #Constraints:      21643
437.56/438.73	c #Conflicts:      14000 | #Constraints:      22643
437.56/438.73	c #Conflicts:      15000 | #Constraints:      23643
437.56/438.73	c INPROCESSING
437.56/438.73	c GARBAGE COLLECT
437.56/438.73	c #Conflicts:      16000 | #Constraints:      21620
437.56/438.73	c #Conflicts:      17000 | #Constraints:      22620
437.56/438.73	c #Conflicts:      18000 | #Constraints:      23620
437.56/438.73	c INPROCESSING
437.56/438.73	c GARBAGE COLLECT
437.56/438.73	c #Conflicts:      19000 | #Constraints:      21594
437.56/438.73	c #Conflicts:      20000 | #Constraints:      22594
437.56/438.73	c #Conflicts:      21000 | #Constraints:      23594
437.56/438.73	c INPROCESSING
437.56/438.73	c GARBAGE COLLECT
437.56/438.73	c #Conflicts:      22000 | #Constraints:      21385
437.56/438.73	c #Conflicts:      23000 | #Constraints:      22385
437.56/438.73	c #Conflicts:      24000 | #Constraints:      23385
437.56/438.73	c #Conflicts:      25000 | #Constraints:      24385
437.56/438.73	c INPROCESSING
437.56/438.73	c GARBAGE COLLECT
437.56/438.73	c #Conflicts:      26000 | #Constraints:      21986
437.56/438.73	c #Conflicts:      27000 | #Constraints:      22986
437.56/438.73	c #Conflicts:      28000 | #Constraints:      23986
437.56/438.73	c #Conflicts:      29000 | #Constraints:      24986
437.56/438.73	c INPROCESSING
437.56/438.73	c GARBAGE COLLECT
437.56/438.73	c #Conflicts:      30000 | #Constraints:      22373
437.56/438.73	c #Conflicts:      31000 | #Constraints:      23373
437.56/438.73	c bounds 8039073 >= -70 @ 436.119
437.56/438.73	c stratification level: 6859000
440.14/441.33	c bounds 6994143 >= -70 @ 438.705
440.14/441.33	c stratification level: 6751269
440.55/441.70	c bounds 6988399 >= -70 @ 439.071
440.55/441.70	c stratification level: 6644672
441.15/442.31	c bounds 6981903 >= -70 @ 439.672
441.15/442.31	c stratification level: 6539203
441.74/442.97	c bounds 6970347 >= -70 @ 440.327
441.74/442.97	c stratification level: 6434856
443.84/445.00	c bounds 6433199 >= -70 @ 442.342
443.84/445.00	c stratification level: 6331625
444.54/445.71	c bounds 6405871 >= -70 @ 443.047
444.54/445.71	c stratification level: 6229504
445.13/446.31	c bounds 6384763 >= -70 @ 443.644
445.13/446.31	c stratification level: 6128487
445.43/446.68	c bounds 6366563 >= -70 @ 444.008
445.43/446.68	c stratification level: 6028568
618.18/619.89	c #Conflicts:      32000 | #Constraints:      24382
618.18/619.89	c #Conflicts:      33000 | #Constraints:      25382
618.18/619.89	c INPROCESSING
618.18/619.89	c GARBAGE COLLECT
618.18/619.89	c #Conflicts:      34000 | #Constraints:      21794
618.18/619.89	c #Conflicts:      35000 | #Constraints:      22794
618.18/619.89	c #Conflicts:      36000 | #Constraints:      23794
618.18/619.89	c #Conflicts:      37000 | #Constraints:      24794
618.18/619.89	c INPROCESSING
618.18/619.89	c GARBAGE COLLECT
618.18/619.89	c #Conflicts:      38000 | #Constraints:      21843
618.18/619.89	c #Conflicts:      39000 | #Constraints:      22843
618.18/619.89	c #Conflicts:      40000 | #Constraints:      23843
618.18/619.89	c #Conflicts:      41000 | #Constraints:      24843
618.18/619.89	c INPROCESSING
618.18/619.89	c GARBAGE COLLECT
618.18/619.89	c #Conflicts:      42000 | #Constraints:      21622
618.18/619.89	c bounds 6345221 >= -70 @ 616.415
618.18/619.89	c stratification level: 5929741
618.77/620.47	c bounds 6344389 >= -70 @ 616.99
618.77/620.47	c stratification level: 5832000
622.96/624.69	c #Conflicts:      43000 | #Constraints:      22624
622.96/624.69	c bounds 6341987 >= -70 @ 621.185
622.96/624.69	c stratification level: 5735339
753.51/755.54	c #Conflicts:      44000 | #Constraints:      23625
753.51/755.54	c #Conflicts:      45000 | #Constraints:      24625
753.51/755.54	c #Conflicts:      46000 | #Constraints:      25625
753.51/755.54	c INPROCESSING
753.51/755.54	c GARBAGE COLLECT
753.51/755.54	c #Conflicts:      47000 | #Constraints:      22290
753.51/755.54	c #Conflicts:      48000 | #Constraints:      23290
753.51/755.54	c #Conflicts:      49000 | #Constraints:      24290
753.51/755.54	c #Conflicts:      50000 | #Constraints:      25290
753.51/755.54	c bounds 6337929 >= -70 @ 751.415
753.51/755.54	c stratification level: 5639752
753.91/755.96	c bounds 6305287 >= -70 @ 751.83
753.91/755.96	c stratification level: 5545233
754.31/756.34	c bounds 6291497 >= -70 @ 752.209
754.31/756.34	c stratification level: 5451776
755.41/757.42	c bounds 6286641 >= -70 @ 753.284
755.41/757.42	c stratification level: 5359375
755.80/757.88	c bounds 6280385 >= -70 @ 753.74
755.80/757.88	c stratification level: 5268024
756.30/758.32	c bounds 6278429 >= -70 @ 754.182
756.30/758.32	c stratification level: 5177717
756.90/758.96	c bounds 6272709 >= -70 @ 754.819
756.90/758.96	c stratification level: 5088448
757.40/759.41	c bounds 6253253 >= -70 @ 755.259
757.40/759.41	c stratification level: 5000211
1038.88/1041.66	c #Conflicts:      51000 | #Constraints:      26298
1038.88/1041.66	c INPROCESSING
1038.88/1041.66	c GARBAGE COLLECT
1038.88/1041.66	c #Conflicts:      52000 | #Constraints:      22711
1038.88/1041.66	c #Conflicts:      53000 | #Constraints:      23711
1038.88/1041.66	c #Conflicts:      54000 | #Constraints:      24711
1038.88/1041.66	c #Conflicts:      55000 | #Constraints:      25711
1038.88/1041.66	c #Conflicts:      56000 | #Constraints:      26711
1038.88/1041.66	c INPROCESSING
1038.88/1041.66	c GARBAGE COLLECT
1038.88/1041.66	c #Conflicts:      57000 | #Constraints:      22886
1038.88/1041.66	c #Conflicts:      58000 | #Constraints:      23886
1038.88/1041.66	c #Conflicts:      59000 | #Constraints:      24886
1038.88/1041.66	c #Conflicts:      60000 | #Constraints:      25886
1038.88/1041.66	c #Conflicts:      61000 | #Constraints:      26886
1038.88/1041.66	c INPROCESSING
1038.88/1041.66	c GARBAGE COLLECT
1038.88/1041.66	c #Conflicts:      62000 | #Constraints:      22928
1038.88/1041.66	c #Conflicts:      63000 | #Constraints:      23928
1038.88/1041.66	c #Conflicts:      64000 | #Constraints:      24928
1038.88/1041.66	c #Conflicts:      65000 | #Constraints:      25928
1038.88/1041.66	c #Conflicts:      66000 | #Constraints:      26928
1038.88/1041.66	c bounds 6033175 >= -70 @ 1036.2
1038.88/1041.66	c stratification level: 4913000
1039.48/1042.20	c bounds 6021227 >= -70 @ 1036.74
1039.48/1042.20	c stratification level: 4826809
1039.98/1042.78	c bounds 6012233 >= -70 @ 1037.32
1039.98/1042.78	c stratification level: 4741632
1040.77/1043.56	c bounds 6004695 >= -70 @ 1038.09
1040.77/1043.56	c stratification level: 4657463
1041.28/1044.09	c bounds 5993221 >= -70 @ 1038.62
1041.28/1044.09	c stratification level: 4574296
1041.87/1044.62	c bounds 5991359 >= -70 @ 1039.15
1041.87/1044.62	c stratification level: 4492125
1042.37/1045.17	c bounds 5991047 >= -70 @ 1039.69
1042.37/1045.17	c stratification level: 4410944
1042.97/1045.79	c bounds 5982023 >= -70 @ 1040.31
1042.97/1045.79	c stratification level: 4330747
1043.57/1046.37	c bounds 5980087 >= -70 @ 1040.89
1043.57/1046.37	c stratification level: 4251528
1044.27/1047.00	c bounds 5953755 >= -70 @ 1041.51
1044.27/1047.00	c stratification level: 4173281
1044.77/1047.53	c bounds 5934675 >= -70 @ 1042.04
1044.77/1047.53	c stratification level: 4096000
1045.37/1048.14	c bounds 5933933 >= -70 @ 1042.65
1045.37/1048.14	c stratification level: 4019679
1056.34/1059.16	c INPROCESSING
1056.34/1059.16	c GARBAGE COLLECT
1056.34/1059.16	c #Conflicts:      67000 | #Constraints:      22606
1056.34/1059.16	c bounds 5798123 >= -70 @ 1053.62
1056.34/1059.16	c stratification level: 3944312
1056.64/1059.40	c bounds 5792573 >= -70 @ 1053.85
1056.64/1059.40	c stratification level: 3869893
1062.62/1065.40	c bounds 5784365 >= -70 @ 1059.81
1062.62/1065.40	c stratification level: 3796416
1062.82/1065.68	c bounds 5764493 >= -70 @ 1060.09
1062.82/1065.68	c stratification level: 3723875
1064.22/1067.07	c bounds 5658319 >= -70 @ 1061.47
1064.22/1067.07	c stratification level: 3652264
1064.52/1067.38	c bounds 5657039 >= -70 @ 1061.77
1064.52/1067.38	c stratification level: 3581577
1064.92/1067.75	c #Conflicts:      68000 | #Constraints:      23612
1064.92/1067.75	c bounds 5644669 >= -70 @ 1062.15
1064.92/1067.75	c stratification level: 3511808
1065.22/1068.02	c bounds 5640739 >= -70 @ 1062.42
1065.22/1068.02	c stratification level: 3442951
1065.52/1068.30	c bounds 5632739 >= -70 @ 1062.68
1065.52/1068.30	c stratification level: 3375000
1066.22/1069.03	c bounds 5618749 >= -70 @ 1063.41
1066.22/1069.03	c stratification level: 3307949
1824.86/1829.61	c #Conflicts:      69000 | #Constraints:      24616
1824.86/1829.61	c #Conflicts:      70000 | #Constraints:      25616
1824.86/1829.61	c #Conflicts:      71000 | #Constraints:      26616
1824.86/1829.61	c #Conflicts:      72000 | #Constraints:      27616
1824.86/1829.61	c INPROCESSING
1824.86/1829.61	c GARBAGE COLLECT
1824.86/1829.61	c #Conflicts:      73000 | #Constraints:      23066
1824.86/1829.61	c #Conflicts:      74000 | #Constraints:      24066
1824.86/1829.61	c #Conflicts:      75000 | #Constraints:      25066
1824.86/1829.61	c #Conflicts:      76000 | #Constraints:      26066
1824.86/1829.61	c #Conflicts:      77000 | #Constraints:      27066
1824.86/1829.61	c #Conflicts:      78000 | #Constraints:      28066
1824.86/1829.61	c INPROCESSING
1824.86/1829.61	c GARBAGE COLLECT
1824.86/1829.61	c #Conflicts:      79000 | #Constraints:      23471
1824.86/1829.61	c #Conflicts:      80000 | #Constraints:      24471
1824.86/1829.61	c #Conflicts:      81000 | #Constraints:      25471
1824.86/1829.61	c #Conflicts:      82000 | #Constraints:      26471
1824.86/1829.61	c #Conflicts:      83000 | #Constraints:      27471
1824.86/1829.61	c #Conflicts:      84000 | #Constraints:      28471
1824.86/1829.61	c INPROCESSING
1824.86/1829.61	c GARBAGE COLLECT
1824.86/1829.61	c #Conflicts:      85000 | #Constraints:      23639
1824.86/1829.61	c #Conflicts:      86000 | #Constraints:      24639
1824.86/1829.61	c #Conflicts:      87000 | #Constraints:      25639
1824.86/1829.61	c #Conflicts:      88000 | #Constraints:      26639
1824.86/1829.61	c #Conflicts:      89000 | #Constraints:      27639
1824.86/1829.61	c #Conflicts:      90000 | #Constraints:      28639
1824.86/1829.61	c INPROCESSING
1824.86/1829.61	c GARBAGE COLLECT
1824.86/1829.61	c #Conflicts:      91000 | #Constraints:      23602
1824.86/1829.61	c #Conflicts:      92000 | #Constraints:      24602
1824.86/1829.61	c #Conflicts:      93000 | #Constraints:      25602
1824.86/1829.61	c #Conflicts:      94000 | #Constraints:      26602
1824.86/1829.61	c #Conflicts:      95000 | #Constraints:      27602
1824.86/1829.61	c #Conflicts:      96000 | #Constraints:      28602
1824.86/1829.61	c INPROCESSING
1824.86/1829.61	c GARBAGE COLLECT
1824.86/1829.61	c #Conflicts:      97000 | #Constraints:      23479
1824.86/1829.61	c #Conflicts:      98000 | #Constraints:      24479
1824.86/1829.61	c #Conflicts:      99000 | #Constraints:      25479
1824.86/1829.61	c #Conflicts:     100000 | #Constraints:      26479
1824.86/1829.61	c #Conflicts:     101000 | #Constraints:      27479
1824.86/1829.61	c #Conflicts:     102000 | #Constraints:      28479
1824.86/1829.61	c #Conflicts:     103000 | #Constraints:      29479
1824.86/1829.61	c INPROCESSING
1824.86/1829.61	c GARBAGE COLLECT
1824.86/1829.61	c #Conflicts:     104000 | #Constraints:      24107
1824.86/1829.61	c #Conflicts:     105000 | #Constraints:      25107
1824.86/1829.61	c #Conflicts:     106000 | #Constraints:      26107
1824.86/1829.61	c #Conflicts:     107000 | #Constraints:      27107
1824.86/1829.61	c #Conflicts:     108000 | #Constraints:      28107
1824.86/1829.61	c #Conflicts:     109000 | #Constraints:      29107
1824.86/1829.61	c #Conflicts:     110000 | #Constraints:      30107
1824.86/1829.61	c INPROCESSING
1824.86/1829.61	c GARBAGE COLLECT
1824.86/1829.61	c #Conflicts:     111000 | #Constraints:      24393
1824.86/1829.61	c #Conflicts:     112000 | #Constraints:      25393
1824.86/1829.61	c #Conflicts:     113000 | #Constraints:      26393
1824.86/1829.61	c #Conflicts:     114000 | #Constraints:      27393
1824.86/1829.61	c #Conflicts:     115000 | #Constraints:      28393
1824.86/1829.61	c #Conflicts:     116000 | #Constraints:      29393
1824.86/1829.61	c #Conflicts:     117000 | #Constraints:      30393
1824.86/1829.61	c INPROCESSING
1824.86/1829.61	c GARBAGE COLLECT
1824.86/1829.61	c #Conflicts:     118000 | #Constraints:      24618
1824.86/1829.61	c #Conflicts:     119000 | #Constraints:      25618
1824.86/1829.61	c #Conflicts:     120000 | #Constraints:      26618
1824.86/1829.61	c bounds 5581241 >= -70 @ 1820.78
1824.86/1829.61	c stratification level: 3241792
1825.27/1830.03	c bounds 5579157 >= -70 @ 1821.2
1825.27/1830.03	c stratification level: 3176523
1825.66/1830.45	c bounds 5576283 >= -70 @ 1821.62
1825.66/1830.45	c stratification level: 3112136
1826.06/1830.88	c bounds 5574577 >= -70 @ 1822.05
1826.06/1830.88	c stratification level: 3048625
1831.54/1836.36	c bounds 5573529 >= -70 @ 1827.5
1831.54/1836.36	c stratification level: 2985984
1882.31/1887.27	c #Conflicts:     121000 | #Constraints:      27623
1882.31/1887.27	c #Conflicts:     122000 | #Constraints:      28623
1882.31/1887.27	c bounds 5566645 >= -70 @ 1878.17
1882.31/1887.27	c stratification level: 2924207
3459.78/3468.79	c #Conflicts:     123000 | #Constraints:      29624
3459.78/3468.79	c #Conflicts:     124000 | #Constraints:      30624
3459.78/3468.79	c INPROCESSING
3459.78/3468.79	c GARBAGE COLLECT
3459.78/3468.79	c #Conflicts:     125000 | #Constraints:      24524
3459.78/3468.79	c #Conflicts:     126000 | #Constraints:      25524
3459.78/3468.79	c #Conflicts:     127000 | #Constraints:      26524
3459.78/3468.79	c #Conflicts:     128000 | #Constraints:      27524
3459.78/3468.79	c #Conflicts:     129000 | #Constraints:      28524
3459.78/3468.79	c #Conflicts:     130000 | #Constraints:      29524
3459.78/3468.79	c #Conflicts:     131000 | #Constraints:      30524
3459.78/3468.79	c INPROCESSING
3459.78/3468.79	c GARBAGE COLLECT
3459.78/3468.79	c #Conflicts:     132000 | #Constraints:      24278
3459.78/3468.79	c #Conflicts:     133000 | #Constraints:      25278
3459.78/3468.79	c #Conflicts:     134000 | #Constraints:      26278
3459.78/3468.79	c #Conflicts:     135000 | #Constraints:      27278
3459.78/3468.79	c #Conflicts:     136000 | #Constraints:      28278
3459.78/3468.79	c #Conflicts:     137000 | #Constraints:      29278
3459.78/3468.79	c #Conflicts:     138000 | #Constraints:      30278
3459.78/3468.79	c #Conflicts:     139000 | #Constraints:      31278
3459.78/3468.79	c INPROCESSING
3459.78/3468.79	c GARBAGE COLLECT
3459.78/3468.79	c #Conflicts:     140000 | #Constraints:      24992
3459.78/3468.79	c #Conflicts:     141000 | #Constraints:      25992
3459.78/3468.79	c #Conflicts:     142000 | #Constraints:      26992
3459.78/3468.79	c #Conflicts:     143000 | #Constraints:      27992
3459.78/3468.79	c #Conflicts:     144000 | #Constraints:      28992
3459.78/3468.79	c #Conflicts:     145000 | #Constraints:      29992
3459.78/3468.79	c #Conflicts:     146000 | #Constraints:      30992
3459.78/3468.79	c #Conflicts:     147000 | #Constraints:      31992
3459.78/3468.79	c INPROCESSING
3459.78/3468.79	c GARBAGE COLLECT
3459.78/3468.79	c #Conflicts:     148000 | #Constraints:      25352
3459.78/3468.79	c #Conflicts:     149000 | #Constraints:      26352
3459.78/3468.79	c #Conflicts:     150000 | #Constraints:      27352
3459.78/3468.79	c #Conflicts:     151000 | #Constraints:      28352
3459.78/3468.79	c #Conflicts:     152000 | #Constraints:      29352
3459.78/3468.79	c #Conflicts:     153000 | #Constraints:      30352
3459.78/3468.79	c #Conflicts:     154000 | #Constraints:      31352
3459.78/3468.79	c #Conflicts:     155000 | #Constraints:      32352
3459.78/3468.79	c INPROCESSING
3459.78/3468.79	c GARBAGE COLLECT
3459.78/3468.79	c #Conflicts:     156000 | #Constraints:      25554
3459.78/3468.79	c #Conflicts:     157000 | #Constraints:      26554
3459.78/3468.79	c #Conflicts:     158000 | #Constraints:      27554
3459.78/3468.79	c #Conflicts:     159000 | #Constraints:      28554
3459.78/3468.79	c #Conflicts:     160000 | #Constraints:      29554
3459.78/3468.79	c #Conflicts:     161000 | #Constraints:      30554
3459.78/3468.79	c #Conflicts:     162000 | #Constraints:      31554
3459.78/3468.79	c #Conflicts:     163000 | #Constraints:      32554
3459.78/3468.79	c INPROCESSING
3459.78/3468.79	c GARBAGE COLLECT
3459.78/3468.79	c #Conflicts:     164000 | #Constraints:      25611
3459.78/3468.79	c #Conflicts:     165000 | #Constraints:      26611
3459.78/3468.79	c #Conflicts:     166000 | #Constraints:      27611
3459.78/3468.79	c #Conflicts:     167000 | #Constraints:      28611
3459.78/3468.79	c #Conflicts:     168000 | #Constraints:      29611
3459.78/3468.79	c #Conflicts:     169000 | #Constraints:      30611
3459.78/3468.79	c #Conflicts:     170000 | #Constraints:      31611
3459.78/3468.79	c #Conflicts:     171000 | #Constraints:      32611
3459.78/3468.79	c INPROCESSING
3459.78/3468.79	c GARBAGE COLLECT
3459.78/3468.79	c bounds 5540009 >= -70 @ 3453.24
3459.78/3468.79	c stratification level: 2863288
3460.08/3469.09	c bounds 5536393 >= -70 @ 3453.54
3460.08/3469.09	c stratification level: 2803221
3460.47/3469.44	c bounds 5533997 >= -70 @ 3453.88
3460.47/3469.44	c stratification level: 2744000
3460.77/3469.74	c bounds 5518571 >= -70 @ 3454.18
3460.77/3469.74	c stratification level: 2685619
3461.19/3470.12	c bounds 5501867 >= -70 @ 3454.56
3461.19/3470.12	c stratification level: 2628072
3461.48/3470.42	c bounds 5496651 >= -70 @ 3454.86
3461.48/3470.42	c stratification level: 2571353
3461.78/3470.72	c bounds 5467447 >= -70 @ 3455.15
3461.78/3470.72	c stratification level: 2515456
3462.08/3471.02	c bounds 5458193 >= -70 @ 3455.45
3462.08/3471.02	c stratification level: 2460375
3462.37/3471.31	c bounds 5450983 >= -70 @ 3455.74
3462.37/3471.31	c stratification level: 2406104
3462.67/3471.63	c bounds 5428013 >= -70 @ 3456.06
3462.67/3471.63	c stratification level: 2352637
3462.97/3471.92	c bounds 5416855 >= -70 @ 3456.35
3462.97/3471.92	c stratification level: 2299968
3463.37/3472.34	c bounds 5414195 >= -70 @ 3456.76
3463.37/3472.34	c stratification level: 2248091
3463.67/3472.64	c bounds 5352851 >= -70 @ 3457.07
3463.67/3472.64	c stratification level: 2197000
3463.97/3472.98	c bounds 5347645 >= -70 @ 3457.4
3463.97/3472.98	c stratification level: 2146689
3464.27/3473.29	c bounds 5341237 >= -70 @ 3457.71
3464.27/3473.29	c stratification level: 2097152
3464.66/3473.60	c bounds 5339025 >= -70 @ 3458.02
3464.66/3473.60	c stratification level: 2048383
3465.07/3474.03	c bounds 5336461 >= -70 @ 3458.45
3465.07/3474.03	c stratification level: 2000376
3465.57/3474.53	c bounds 5023083 >= -70 @ 3458.94
3465.57/3474.53	c stratification level: 1953125
3466.17/3475.16	c bounds 5016277 >= -70 @ 3459.58
3466.17/3475.16	c stratification level: 1906624
3466.56/3475.54	c bounds 5011855 >= -70 @ 3459.95
3466.56/3475.54	c stratification level: 1860867
3466.96/3475.99	c bounds 5009597 >= -70 @ 3460.4
3466.96/3475.99	c stratification level: 1815848
3467.36/3476.33	c bounds 4940535 >= -70 @ 3460.73
3467.36/3476.33	c stratification level: 1771561
3470.06/3479.02	c bounds 4930875 >= -70 @ 3463.41
3470.06/3479.02	c stratification level: 1728000
3470.35/3479.33	c bounds 4924337 >= -70 @ 3463.72
3470.35/3479.33	c stratification level: 1685159
3600.00/3609.30	c #Conflicts:     172000 | #Constraints:      25492
3600.00/3609.30	c #Conflicts:     173000 | #Constraints:      26492
3600.00/3609.30	c #Conflicts:     174000 | #Constraints:      27492
3600.00/3609.30	c #Conflicts:     175000 | #Constraints:      28492
3600.00/3609.30	c #Conflicts:     176000 | #Constraints:      29492
3600.00/3609.30	c Program interrupted by user.
3600.00/3609.30	c cpu time 3593.05 s
3600.00/3609.30	c deterministic time 366985196708 3.67e+11
3600.00/3609.30	c optimization time 129.702 s
3600.00/3609.30	c total solve time 3463.29 s
3600.00/3609.30	c core-guided solve time 3463.29 s
3600.00/3609.30	c propagation time 2654.78 s
3600.00/3609.30	c conflict analysis time 811.82 s
3600.00/3609.30	c propagations 63024380
3600.00/3609.30	c resolve steps 3552481
3600.00/3609.30	c decisions 2494325
3600.00/3609.30	c conflicts 176418
3600.00/3609.30	c restarts 488
3600.00/3609.30	c inprocessing phases 33
3600.00/3609.30	c input clauses 21876
3600.00/3609.30	c input cardinalities 9
3600.00/3609.30	c input general constraints 2819
3600.00/3609.30	c input average constraint length 64.48
3600.00/3609.30	c input average constraint degree 190013704.52
3600.00/3609.30	c learned clauses 17914
3600.00/3609.30	c learned cardinalities 292
3600.00/3609.30	c learned general constraints 158212
3600.00/3609.30	c learned average constraint length 4173.90
3600.00/3609.30	c learned average constraint degree 4168753945.04
3600.00/3609.30	c watched constraints 20491
3600.00/3609.30	c counting constraints 140540
3600.00/3609.30	c gcd simplifications 2639
3600.00/3609.30	c detected cardinalities 18
3600.00/3609.30	c weakened non-implied lits 82970875
3600.00/3609.30	c weakened non-implying lits 585917
3600.00/3609.30	c original variables 9940
3600.00/3609.30	c clausal propagations 38750842
3600.00/3609.30	c cardinality propagations 574124
3600.00/3609.30	c watched propagations 639023
3600.00/3609.30	c counting propagations 22944970
3600.00/3609.30	c watch lookups 46260974521
3600.00/3609.30	c watch backjump lookups 46157051577
3600.00/3609.30	c watch checks 30993100268
3600.00/3609.30	c propagation checks 241608558723
3600.00/3609.30	c constraint additions 1834307381
3600.00/3609.30	c trail pops 65685532
3600.00/3609.30	c formula constraints 24510
3600.00/3609.30	c learned constraints 176418
3600.00/3609.30	c bound constraints 194
3600.00/3609.30	c core-guided constraints 0
3600.00/3609.30	c encountered formula constraints 3219420
3600.00/3609.30	c encountered learned constraints 508169
3600.00/3609.30	c encountered bound constraints 1310
3600.00/3609.30	c encountered core-guided constraints 0
3600.00/3609.30	c LP total time 0 s
3600.00/3609.30	c LP solve time 0 s
3600.00/3609.30	c LP constraints added 0
3600.00/3609.30	c LP constraints removed 0
3600.00/3609.30	c LP pivots internal 0
3600.00/3609.30	c LP pivots root 0
3600.00/3609.30	c LP calls 0
3600.00/3609.30	c LP optimalities 0
3600.00/3609.30	c LP no pivot count 0
3600.00/3609.30	c LP infeasibilities 0
3600.00/3609.30	c LP valid Farkas constraints 0
3600.00/3609.30	c LP learned Farkas constraints 0
3600.00/3609.30	c LP basis resets 0
3600.00/3609.30	c LP cycling count 0
3600.00/3609.30	c LP singular count 0
3600.00/3609.30	c LP no primal count 0
3600.00/3609.30	c LP no farkas count 0
3600.00/3609.30	c LP other issue count 0
3600.00/3609.30	c LP Gomory cuts 0
3600.00/3609.30	c LP learned cuts 0
3600.00/3609.30	c LP deleted cuts 0
3600.00/3609.30	c LP encountered Gomory constraints 0
3600.00/3609.30	c LP encountered Farkas constraints 0
3600.00/3609.30	c LP encountered learned Farkas constraints 0
3600.00/3609.30	c CG auxiliary variables introduced 0
3600.00/3609.30	c CG solutions found 194
3600.00/3609.30	c CG cores constructed 0
3600.00/3609.30	c CG core cardinality constraints returned 0
3600.00/3609.30	c CG unit cores 0
3600.00/3609.30	c CG single cores 0
3600.00/3609.30	c CG blocks removed during cardinality reduction 0
3600.00/3609.30	c CG first core best 0
3600.00/3609.30	c CG decision core best 0
3600.00/3609.30	c CG core reduction tie 0
3600.00/3609.30	c CG core degree average 0.00
3600.00/3609.30	c CG core slack average 0.00
3600.00/3609.30	c CG exhausted 0
3600.00/3609.30	c CG exhaust time 0 s
3600.00/3609.30	c CG trimmed 0
3600.00/3609.30	c CG trim time 0 s
3600.00/3609.30	c CG minimized 0
3600.00/3609.30	c CG minimize time 0 s
3600.00/3609.30	c CG am1 prop time 0.006712 s
3600.00/3609.30	c CG # am1s reformulated 0
3600.00/3609.30	c CG lower bound derived from am1s 0
3600.00/3609.30	c CG # clausal cores 0
3600.00/3609.30	c CG # cardinality cores 0
3600.00/3609.30	c CG # pb cores 0
3600.00/3609.30	c CG # pb reforms 0
3600.00/3609.30	c CG # cores discarded because of pb reform 0
3600.00/3609.30	d LOWERBOUND -70
3600.00/3609.30	d NCORES 0
3600.00/3609.30	d NPBCORES 0
3600.00/3609.30	d NPBREFORM 0
3600.00/3609.30	d NTRIMMED 0
3600.00/3609.30	d NEXHAUSTED 0
3600.00/3609.30	d NAM1S 0
3600.00/3609.30	d AM1LB 0
3600.00/3609.30	o 4924337
3600.00/3609.30	s SATISFIABLE
3600.00/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: 63931 MiB (61350 MiB free)
  memory of node 1: 64510 MiB (60406 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436093-1721134396/watcher-4436093-1721134396 -o /tmp/evaluation-result-4436093-1721134396/solver-4436093-1721134396 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721130786-880769 --watchdog 3760 pb-oll-rs HOME/instance-4436093-1721134396.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=882890, runsolver pid=882887

[startup+0.100591 s]*
/proc/loadavg: 4.13 4.12 4.09 5/257 882891
/proc/meminfo: memFree=124668208/131524600 swapFree=131071996/131071996
[pid=882890] ppid=882887 vsize=43556 memory=12692 CPUtime=0.09 cores=1,3
/proc/882890/stat : 882890 (pb-oll-rs) R 882887 882890 880757 0 -1 4194304 1970 0 0 0 8 1 0 0 20 0 1 0 165601413 44601344 3173 134679101440 4194304 5384005 140733771473472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34664448 140733771478039 140733771478116 140733771478116 140733771485131 0
/proc/882890/statm: 10889 3173 1343 291 0 2423 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43556 KiB
Current children cumulated memory: 12692 KiB

[startup+0.205628 s]*
/proc/loadavg: 4.13 4.12 4.09 5/257 882891
/proc/meminfo: memFree=124667872/131524600 swapFree=131071996/131071996
[pid=882890] ppid=882887 vsize=43556 memory=12692 CPUtime=0.2 cores=1,3
/proc/882890/stat : 882890 (pb-oll-rs) R 882887 882890 880757 0 -1 4194304 1976 0 0 0 19 1 0 0 20 0 1 0 165601413 44601344 3173 134679101440 4194304 5384005 140733771473472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34664448 140733771478039 140733771478116 140733771478116 140733771485131 0
/proc/882890/statm: 10889 3173 1343 291 0 2423 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43556 KiB
Current children cumulated memory: 12692 KiB

[startup+0.30553 s]*
/proc/loadavg: 4.13 4.12 4.09 5/257 882891
/proc/meminfo: memFree=124667536/131524600 swapFree=131071996/131071996
[pid=882890] ppid=882887 vsize=43556 memory=12692 CPUtime=0.3 cores=1,3
/proc/882890/stat : 882890 (pb-oll-rs) R 882887 882890 880757 0 -1 4194304 1976 0 0 0 29 1 0 0 20 0 1 0 165601413 44601344 3173 134679101440 4194304 5384005 140733771473472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34664448 140733771478039 140733771478116 140733771478116 140733771485131 0
/proc/882890/statm: 10889 3173 1343 291 0 2423 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43556 KiB
Current children cumulated memory: 12692 KiB

[startup+0.700227 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 882891
/proc/meminfo: memFree=124667536/131524600 swapFree=131071996/131071996
[pid=882890] ppid=882887 vsize=43556 memory=13076 CPUtime=0.68 cores=1,3
/proc/882890/stat : 882890 (pb-oll-rs) R 882887 882890 880757 0 -1 4194304 1992 0 0 0 67 1 0 0 20 0 1 0 165601413 44601344 3269 134679101440 4194304 5384005 140733771473472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34664448 140733771478039 140733771478116 140733771478116 140733771485131 0
/proc/882890/statm: 10889 3269 1375 291 0 2423 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43556 KiB
Current children cumulated memory: 13076 KiB

[startup+1.50022 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 882891
/proc/meminfo: memFree=124656284/131524600 swapFree=131071996/131071996
[pid=882890] ppid=882887 vsize=63724 memory=34576 CPUtime=1.48 cores=1,3
/proc/882890/stat : 882890 (pb-oll-rs) R 882887 882890 880757 0 -1 4194304 6817 0 0 0 145 3 0 0 20 0 1 0 165601413 65253376 8644 134679101440 4194304 5384005 140733771473472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34664448 140733771478039 140733771478116 140733771478116 140733771485131 0
/proc/882890/statm: 15931 8644 1437 291 0 7465 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 63724 KiB
Current children cumulated memory: 34576 KiB

[startup+3.10563 s]
/proc/loadavg: 4.20 4.13 4.10 5/257 882891
/proc/meminfo: memFree=124581688/131524600 swapFree=131071996/131071996
[pid=882890] ppid=882887 vsize=127280 memory=82500 CPUtime=3.08 cores=1,3
/proc/882890/stat : 882890 (pb-oll-rs) R 882887 882890 880757 0 -1 4194304 15211 0 0 0 303 5 0 0 20 0 1 0 165601413 130334720 20625 134679101440 4194304 5384005 140733771473472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34664448 140733771478039 140733771478116 140733771478116 140733771485131 0
/proc/882890/statm: 31820 20625 1437 291 0 23354 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 127280 KiB
Current children cumulated memory: 82500 KiB

[startup+6.30023 s]
/proc/loadavg: 4.20 4.13 4.10 5/257 882893
/proc/meminfo: memFree=124304920/131524600 swapFree=131071996/131071996
[pid=882890] ppid=882887 vsize=195584 memory=146632 CPUtime=6.27 cores=1,3
/proc/882890/stat : 882890 (pb-oll-rs) R 882887 882890 880757 0 -1 4194304 24662 0 0 0 617 10 0 0 20 0 1 0 165601413 200278016 36658 134679101440 4194304 5384005 140733771473472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34664448 140733771478039 140733771478116 140733771478116 140733771485131 0
/proc/882890/statm: 48896 36658 1437 291 0 40430 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 195584 KiB
Current children cumulated memory: 146632 KiB

[startup+12.7002 s]
/proc/loadavg: 4.34 4.17 4.11 5/257 882893
/proc/meminfo: memFree=123903860/131524600 swapFree=131071996/131071996
[pid=882890] ppid=882887 vsize=301188 memory=225136 CPUtime=12.65 cores=1,3
/proc/882890/stat : 882890 (pb-oll-rs) R 882887 882890 880757 0 -1 4194304 37621 0 0 0 1249 16 0 0 20 0 1 0 165601413 308416512 56284 134679101440 4194304 5384005 140733771473472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34664448 140733771478039 140733771478116 140733771478116 140733771485131 0
/proc/882890/statm: 75297 56284 1437 291 0 66831 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 301188 KiB
Current children cumulated memory: 225136 KiB

[startup+25.5002 s]
/proc/loadavg: 4.41 4.19 4.12 5/257 882896
/proc/meminfo: memFree=123530216/131524600 swapFree=131071996/131071996
[pid=882890] ppid=882887 vsize=339480 memory=298120 CPUtime=25.42 cores=1,3
/proc/882890/stat : 882890 (pb-oll-rs) R 882887 882890 880757 0 -1 4194304 48228 0 0 0 2514 28 0 0 20 0 1 0 165601413 347627520 74530 134679101440 4194304 5384005 140733771473472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34664448 140733771478039 140733771478116 140733771478116 140733771485131 0
/proc/882890/statm: 84870 74530 1437 291 0 76404 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 339480 KiB
Current children cumulated memory: 298120 KiB

[startup+51.1057 s]
/proc/loadavg: 4.27 4.17 4.11 5/257 882901
/proc/meminfo: memFree=122988200/131524600 swapFree=131071996/131071996
[pid=882890] ppid=882887 vsize=528360 memory=443976 CPUtime=50.96 cores=1,3
/proc/882890/stat : 882890 (pb-oll-rs) R 882887 882890 880757 0 -1 4194304 73004 0 0 0 5054 42 0 0 20 0 1 0 165601413 541040640 110994 134679101440 4194304 5384005 140733771473472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34664448 140733771478039 140733771478116 140733771478116 140733771485131 0
/proc/882890/statm: 132090 110994 1437 291 0 123624 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 528360 KiB
Current children cumulated memory: 443976 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/257 883291
/proc/meminfo: memFree=122322520/131524600 swapFree=131071996/131071996
[pid=882890] ppid=882887 vsize=575216 memory=535576 CPUtime=102.02 cores=1,3
/proc/882890/stat : 882890 (pb-oll-rs) R 882887 882890 880757 0 -1 4194304 86278 0 0 0 10141 61 0 0 20 0 1 0 165601413 589021184 133894 134679101440 4194304 5384005 140733771473472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34664448 140733771478039 140733771478116 140733771478116 140733771485131 0
/proc/882890/statm: 143804 133894 1437 291 0 135338 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 575216 KiB
Current children cumulated memory: 535576 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/254 883301
/proc/meminfo: memFree=122014860/131524600 swapFree=131071996/131071996
[pid=882890] ppid=882887 vsize=843360 memory=657968 CPUtime=161.87 cores=1,3
/proc/882890/stat : 882890 (pb-oll-rs) R 882887 882890 880757 0 -1 4194304 109780 0 0 0 16097 90 0 0 20 0 1 0 165601413 863600640 164492 134679101440 4194304 5384005 140733771473472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34664448 140733771478039 140733771478116 140733771478116 140733771485131 0
/proc/882890/statm: 210840 164492 1437 291 0 202374 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 843360 KiB
Current children cumulated memory: 657968 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/254 883311
/proc/meminfo: memFree=121771916/131524600 swapFree=131071996/131071996
[pid=882890] ppid=882887 vsize=908096 memory=722812 CPUtime=221.72 cores=1,3
/proc/882890/stat : 882890 (pb-oll-rs) R 882887 882890 880757 0 -1 4194304 123491 0 0 0 22062 110 0 0 20 0 1 0 165601413 929890304 180703 134679101440 4194304 5384005 140733771473472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34664448 140733771478039 140733771478116 140733771478116 140733771485131 0
/proc/882890/statm: 227024 180703 1437 291 0 218558 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 908096 KiB
Current children cumulated memory: 722812 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/255 883324
/proc/meminfo: memFree=121686484/131524600 swapFree=131071996/131071996
[pid=882890] ppid=882887 vsize=915632 memory=729436 CPUtime=281.56 cores=1,3
/proc/882890/stat : 882890 (pb-oll-rs) R 882887 882890 880757 0 -1 4194304 125220 0 0 0 28037 119 0 0 20 0 1 0 165601413 937607168 182359 134679101440 4194304 5384005 140733771473472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34664448 140733771478039 140733771478116 140733771478116 140733771485131 0
/proc/882890/statm: 228908 182359 1437 291 0 220442 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 915632 KiB
Current children cumulated memory: 729436 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/257 883504
/proc/meminfo: memFree=121532516/131524600 swapFree=131071996/131071996
[pid=882890] ppid=882887 vsize=938928 memory=748148 CPUtime=341.41 cores=1,3
/proc/882890/stat : 882890 (pb-oll-rs) R 882887 882890 880757 0 -1 4194304 129979 0 0 0 34010 131 0 0 20 0 1 0 165601413 961462272 187037 134679101440 4194304 5384005 140733771473472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34664448 140733771478039 140733771478116 140733771478116 140733771485131 0
/proc/882890/statm: 234732 187037 1437 291 0 226266 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 938928 KiB
Current children cumulated memory: 748148 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/257 883514
/proc/meminfo: memFree=121275868/131524600 swapFree=131071996/131071996
[pid=882890] ppid=882887 vsize=950364 memory=760744 CPUtime=401.24 cores=1,3
/proc/882890/stat : 882890 (pb-oll-rs) R 882887 882890 880757 0 -1 4194304 133228 0 0 0 39983 141 0 0 20 0 1 0 165601413 973172736 190186 134679101440 4194304 5384005 140733771473472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34664448 140733771478039 140733771478116 140733771478116 140733771485131 0
/proc/882890/statm: 237591 190186 1437 291 0 229125 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 950364 KiB
Current children cumulated memory: 760744 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 883539
/proc/meminfo: memFree=121196960/131524600 swapFree=131071996/131071996
[pid=882890] ppid=882887 vsize=951048 memory=761536 CPUtime=461.09 cores=1,3
/proc/882890/stat : 882890 (pb-oll-rs) R 882887 882890 880757 0 -1 4194304 133478 0 0 0 45956 153 0 0 20 0 1 0 165601413 973873152 190384 134679101440 4194304 5384005 140733771473472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34664448 140733771478039 140733771478116 140733771478116 140733771485131 0
/proc/882890/statm: 237762 190384 1437 291 0 229296 0

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

Current children cumulated memory: 1313060 KiB

[startup+2922.3 s]
/proc/loadavg: 4.22 4.20 4.14 5/258 884593
/proc/meminfo: memFree=118114828/131524600 swapFree=131071996/131071996
[pid=882890] ppid=882887 vsize=1594692 memory=1313060 CPUtime=2914.8 cores=1,3
/proc/882890/stat : 882890 (pb-oll-rs) R 882887 882890 880757 0 -1 4194304 224944 0 0 0 290877 603 0 0 20 0 1 0 165601413 1632964608 328265 134679101440 4194304 5384005 140733771473472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34664448 140733771478039 140733771478116 140733771478116 140733771485131 0
/proc/882890/statm: 398673 328265 1437 291 0 390207 0
Current children cumulated CPU time: 2914.8 s
Current children cumulated vsize: 1594692 KiB
Current children cumulated memory: 1313060 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.18 4.13 5/258 884603
/proc/meminfo: memFree=118102644/131524600 swapFree=131071996/131071996
[pid=882890] ppid=882887 vsize=1594692 memory=1313060 CPUtime=2974.63 cores=1,3
/proc/882890/stat : 882890 (pb-oll-rs) R 882887 882890 880757 0 -1 4194304 224944 0 0 0 296853 610 0 0 20 0 1 0 165601413 1632964608 328265 134679101440 4194304 5384005 140733771473472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34664448 140733771478039 140733771478116 140733771478116 140733771485131 0
/proc/882890/statm: 398673 328265 1437 291 0 390207 0
Current children cumulated CPU time: 2974.63 s
Current children cumulated vsize: 1594692 KiB
Current children cumulated memory: 1313060 KiB

[startup+3042.3 s]
/proc/loadavg: 4.18 4.19 4.14 5/258 884616
/proc/meminfo: memFree=117964872/131524600 swapFree=131071996/131071996
[pid=882890] ppid=882887 vsize=1594692 memory=1313060 CPUtime=3034.48 cores=1,3
/proc/882890/stat : 882890 (pb-oll-rs) R 882887 882890 880757 0 -1 4194304 224950 0 0 0 302830 618 0 0 20 0 1 0 165601413 1632964608 328265 134679101440 4194304 5384005 140733771473472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34664448 140733771478039 140733771478116 140733771478116 140733771485131 0
/proc/882890/statm: 398673 328265 1437 291 0 390207 0
Current children cumulated CPU time: 3034.48 s
Current children cumulated vsize: 1594692 KiB
Current children cumulated memory: 1313060 KiB

[startup+3102.3 s]
/proc/loadavg: 4.19 4.20 4.14 5/258 884626
/proc/meminfo: memFree=117961748/131524600 swapFree=131071996/131071996
[pid=882890] ppid=882887 vsize=1594692 memory=1313060 CPUtime=3094.33 cores=1,3
/proc/882890/stat : 882890 (pb-oll-rs) R 882887 882890 880757 0 -1 4194304 224957 0 0 0 308807 626 0 0 20 0 1 0 165601413 1632964608 328265 134679101440 4194304 5384005 140733771473472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34664448 140733771478039 140733771478116 140733771478116 140733771485131 0
/proc/882890/statm: 398673 328265 1437 291 0 390207 0
Current children cumulated CPU time: 3094.33 s
Current children cumulated vsize: 1594692 KiB
Current children cumulated memory: 1313060 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.17 4.14 5/255 884636
/proc/meminfo: memFree=117955260/131524600 swapFree=131071996/131071996
[pid=882890] ppid=882887 vsize=1596996 memory=1314640 CPUtime=3154.18 cores=1,3
/proc/882890/stat : 882890 (pb-oll-rs) R 882887 882890 880757 0 -1 4194304 225440 0 0 0 314782 636 0 0 20 0 1 0 165601413 1635323904 328660 134679101440 4194304 5384005 140733771473472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34664448 140733771478039 140733771478116 140733771478116 140733771485131 0
/proc/882890/statm: 399249 328660 1437 291 0 390783 0
Current children cumulated CPU time: 3154.18 s
Current children cumulated vsize: 1596996 KiB
Current children cumulated memory: 1314640 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.17 4.14 5/254 884646
/proc/meminfo: memFree=117925112/131524600 swapFree=131071996/131071996
[pid=882890] ppid=882887 vsize=1596996 memory=1314640 CPUtime=3214.03 cores=1,3
/proc/882890/stat : 882890 (pb-oll-rs) R 882887 882890 880757 0 -1 4194304 225440 0 0 0 320762 641 0 0 20 0 1 0 165601413 1635323904 328660 134679101440 4194304 5384005 140733771473472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34664448 140733771478039 140733771478116 140733771478116 140733771485131 0
/proc/882890/statm: 399249 328660 1437 291 0 390783 0
Current children cumulated CPU time: 3214.03 s
Current children cumulated vsize: 1596996 KiB
Current children cumulated memory: 1314640 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.15 4.13 5/255 884658
/proc/meminfo: memFree=117908068/131524600 swapFree=131071996/131071996
[pid=882890] ppid=882887 vsize=1596996 memory=1314640 CPUtime=3273.87 cores=1,3
/proc/882890/stat : 882890 (pb-oll-rs) R 882887 882890 880757 0 -1 4194304 225440 0 0 0 326741 646 0 0 20 0 1 0 165601413 1635323904 328660 134679101440 4194304 5384005 140733771473472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34664448 140733771478039 140733771478116 140733771478116 140733771485131 0
/proc/882890/statm: 399249 328660 1437 291 0 390783 0
Current children cumulated CPU time: 3273.87 s
Current children cumulated vsize: 1596996 KiB
Current children cumulated memory: 1314640 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.17 4.14 5/255 884668
/proc/meminfo: memFree=117907736/131524600 swapFree=131071996/131071996
[pid=882890] ppid=882887 vsize=1596996 memory=1314744 CPUtime=3333.69 cores=1,3
/proc/882890/stat : 882890 (pb-oll-rs) R 882887 882890 880757 0 -1 4194304 225516 0 0 0 332719 650 0 0 20 0 1 0 165601413 1635323904 328686 134679101440 4194304 5384005 140733771473472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34664448 140733771478039 140733771478116 140733771478116 140733771485131 0
/proc/882890/statm: 399249 328686 1437 291 0 390783 0
Current children cumulated CPU time: 3333.69 s
Current children cumulated vsize: 1596996 KiB
Current children cumulated memory: 1314744 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.15 4.13 5/255 884678
/proc/meminfo: memFree=117900700/131524600 swapFree=131071996/131071996
[pid=882890] ppid=882887 vsize=1596996 memory=1314744 CPUtime=3393.55 cores=1,3
/proc/882890/stat : 882890 (pb-oll-rs) R 882887 882890 880757 0 -1 4194304 225684 0 0 0 338696 659 0 0 20 0 1 0 165601413 1635323904 328686 134679101440 4194304 5384005 140733771473472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34664448 140733771478039 140733771478116 140733771478116 140733771485131 0
/proc/882890/statm: 399249 328686 1437 291 0 390783 0
Current children cumulated CPU time: 3393.55 s
Current children cumulated vsize: 1596996 KiB
Current children cumulated memory: 1314744 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.13 5/258 884694
/proc/meminfo: memFree=117850464/131524600 swapFree=131071996/131071996
[pid=882890] ppid=882887 vsize=1596996 memory=1314760 CPUtime=3453.4 cores=1,3
/proc/882890/stat : 882890 (pb-oll-rs) R 882887 882890 880757 0 -1 4194304 225790 0 0 0 344677 663 0 0 20 0 1 0 165601413 1635323904 328690 134679101440 4194304 5384005 140733771473472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34664448 140733771478039 140733771478116 140733771478116 140733771485131 0
/proc/882890/statm: 399249 328690 1437 291 0 390783 0
Current children cumulated CPU time: 3453.4 s
Current children cumulated vsize: 1596996 KiB
Current children cumulated memory: 1314760 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/258 884704
/proc/meminfo: memFree=117848120/131524600 swapFree=131071996/131071996
[pid=882890] ppid=882887 vsize=1596996 memory=1316388 CPUtime=3513.24 cores=1,3
/proc/882890/stat : 882890 (pb-oll-rs) R 882887 882890 880757 0 -1 4194304 226235 0 0 0 350647 677 0 0 20 0 1 0 165601413 1635323904 329097 134679101440 4194304 5384005 140733771473472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34664448 140733771478039 140733771478116 140733771478116 140733771485131 0
/proc/882890/statm: 399249 329097 1437 291 0 390783 0
Current children cumulated CPU time: 3513.24 s
Current children cumulated vsize: 1596996 KiB
Current children cumulated memory: 1316388 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.13 4.12 5/258 884714
/proc/meminfo: memFree=117840812/131524600 swapFree=131071996/131071996
[pid=882890] ppid=882887 vsize=1599448 memory=1318516 CPUtime=3573.07 cores=1,3
/proc/882890/stat : 882890 (pb-oll-rs) R 882887 882890 880757 0 -1 4194304 227014 0 0 0 356617 690 0 0 20 0 1 0 165601413 1637834752 329629 134679101440 4194304 5384005 140733771473472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34664448 140733771478039 140733771478116 140733771478116 140733771485131 0
/proc/882890/statm: 399862 329629 1437 291 0 391396 0
Current children cumulated CPU time: 3573.07 s
Current children cumulated vsize: 1599448 KiB
Current children cumulated memory: 1318516 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.20 4.15 4.13 5/257 884856
/proc/meminfo: memFree=123805276/131524600 swapFree=131071996/131071996
[pid=882890] ppid=882887 vsize=1605788 memory=1323088 CPUtime=3600 cores=1,3
/proc/882890/stat : 882890 (pb-oll-rs) R 882887 882890 880757 0 -1 4194304 228319 0 0 0 359304 696 0 0 20 0 1 0 165601413 1644326912 330772 134679101440 4194304 5384005 140733771473472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34664448 140733771478039 140733771478116 140733771478116 140733771485131 0
/proc/882890/statm: 401447 330772 1437 291 0 392981 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1605788 KiB
Current children cumulated memory: 1323088 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.05 s, system=7.00096 s

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

[startup+3609.3 s]
/proc/loadavg: 4.20 4.15 4.13 5/257 884856
/proc/meminfo: memFree=123805276/131524600 swapFree=131071996/131071996
[pid=882890] ppid=882887 vsize=1605788 memory=1323088 CPUtime=3600 cores=1,3
/proc/882890/stat : 882890 (pb-oll-rs) R 882887 882890 880757 0 -1 4194304 228319 0 0 0 359304 696 0 0 20 0 1 0 165601413 1644326912 330772 134679101440 4194304 5384005 140733771473472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 34664448 140733771478039 140733771478116 140733771478116 140733771485131 0
/proc/882890/statm: 401447 330772 1437 291 0 392981 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1605788 KiB
Current children cumulated memory: 1323088 KiB

Child status: 0

Real time (s): 3609.34
CPU time (s): 3600.05
CPU user time (s): 3593.05
CPU system time (s): 7.00096
CPU usage (%): 99.7427
Max. virtual memory (cumulated for all children) (KiB): 1605788
Max. memory (cumulated for all children) (KiB): 1323088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.05
system time used= 7.00096
maximum resident set size= 1323324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228342
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= 42
involuntary context switches= 2681


# summary of solver processes directly reported to runsolver:
#   pid: 882890
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3593.05
#   total CPU system time (s): 7.00096

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.85089 second user time and 18.438 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2024-07-16 14:53:28
IDJOB=4436093
IDBENCH=155605
IDSOLVER=3067
FILE ID=nodeC017/4436093-1721134396
RUNJOBID= nodeC017-1721130786-880769
SLURM_JOB_ID= 7505697
Free space on /tmp= 890024 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
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-4436093-1721134396/watcher-4436093-1721134396 -o /tmp/evaluation-result-4436093-1721134396/solver-4436093-1721134396 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721130786-880769 --watchdog 3760  pb-oll-rs HOME/instance-4436093-1721134396.opb

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

MD5SUM BENCH= 90cf94310e57120d5401aeddd838603e
RANDOM SEED=1072811024

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124679700 kB
MemAvailable:   128865404 kB
Buffers:          417996 kB
Cached:          4561860 kB
SwapCached:            0 kB
Active:           992300 kB
Inactive:        5165496 kB
Active(anon):       1568 kB
Inactive(anon):  1214092 kB
Active(file):     990732 kB
Inactive(file):  3951404 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             59336 kB
Writeback:             0 kB
AnonPages:       1177912 kB
Mapped:           108484 kB
Shmem:             37720 kB
KReclaimable:     166428 kB
Slab:             280324 kB
SReclaimable:     166428 kB
SUnreclaim:       113896 kB
KernelStack:        4108 kB
PageTables:        11764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1751208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61760 kB
HardwareCorrupted:     0 kB
AnonHugePages:    303104 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:      215764 kB
DirectMap2M:    24723456 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC017 at 2024-07-16 15:53:38