Trace number 4436092

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)4362635 3600.08 3610.18

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_4.opb
MD5SUM9e5b0b67365644613b47988ddf91495e
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 benchmark3437313
Best CPU time to get the best result obtained on this benchmark711.141
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 153130375
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 77399784670
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 153130375
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 77399784670
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.07	c SMALL=int, LARGE=long long
0.00/0.07	c bounds - >= -70 @ 0.054695
0.00/0.07	c stratification level: 133432831
0.69/0.79	c bounds 316095135 >= -70 @ 0.773435
0.69/0.79	c stratification level: 119095488
0.69/0.79	c bounds 251197183 >= -70 @ 0.779314
0.69/0.79	c stratification level: 118370771
0.79/0.81	c bounds 251131041 >= -70 @ 0.789658
0.79/0.81	c stratification level: 114084125
0.79/0.85	c bounds 251123513 >= -70 @ 0.837318
0.79/0.85	c stratification level: 109215352
0.99/1.00	c bounds 251092189 >= -70 @ 0.984872
0.99/1.00	c stratification level: 106496424
0.99/1.02	c bounds 251058181 >= -70 @ 0.999362
0.99/1.02	c stratification level: 104487111
1.29/1.30	c bounds 136891803 >= -70 @ 1.27515
1.29/1.30	c stratification level: 100544625
1.29/1.33	c bounds 136891657 >= -70 @ 1.30723
1.29/1.33	c stratification level: 99252847
1.29/1.35	c bounds 136873403 >= -70 @ 1.32465
1.29/1.35	c stratification level: 98611128
1.38/1.43	c bounds 136871641 >= -70 @ 1.40077
1.38/1.43	c stratification level: 94196375
1.38/1.46	c bounds 136871495 >= -70 @ 1.42373
1.38/1.46	c stratification level: 92345408
1.49/1.51	c bounds 113745063 >= -70 @ 1.47829
1.49/1.51	c stratification level: 91733851
1.49/1.56	c bounds 113740505 >= -70 @ 1.52324
1.49/1.56	c stratification level: 90518849
2.29/2.38	c bounds 113729061 >= -70 @ 2.32551
2.29/2.38	c stratification level: 89915392
2.48/2.51	c bounds 113726309 >= -70 @ 2.4497
2.48/2.51	c stratification level: 89314623
3.09/3.11	c bounds 113691497 >= -70 @ 3.04788
3.09/3.11	c stratification level: 88716536
3.18/3.27	c bounds 113686591 >= -70 @ 3.20315
3.18/3.27	c stratification level: 88121125
3.38/3.48	c bounds 113686525 >= -70 @ 3.40741
3.38/3.48	c stratification level: 87528384
4.48/4.54	c bounds 100737999 >= -70 @ 4.44724
4.48/4.54	c stratification level: 86350888
4.48/4.59	c bounds 100690871 >= -70 @ 4.50124
4.48/4.59	c stratification level: 85766121
4.88/4.93	c bounds 58298523 >= -70 @ 4.83123
4.88/4.93	c stratification level: 57960603
4.99/5.01	c bounds 58285253 >= -70 @ 4.90713
4.99/5.01	c stratification level: 57512456
4.99/5.08	c bounds 58274709 >= -70 @ 4.97558
4.99/5.08	c stratification level: 57066625
5.08/5.16	c bounds 58261819 >= -70 @ 5.05319
5.08/5.16	c stratification level: 56623104
5.18/5.25	c bounds 58234735 >= -70 @ 5.14667
5.18/5.25	c stratification level: 56181887
5.57/5.60	c bounds 58225273 >= -70 @ 5.49198
5.57/5.60	c stratification level: 55306341
5.68/5.71	c bounds 58182561 >= -70 @ 5.59452
5.68/5.71	c stratification level: 54872000
5.78/5.85	c bounds 58182415 >= -70 @ 5.73185
5.78/5.85	c stratification level: 54439939
5.87/5.93	c bounds 58176731 >= -70 @ 5.80645
5.87/5.93	c stratification level: 54010152
13.15/13.29	c #Conflicts:       1000 | #Constraints:      25538
13.15/13.29	c bounds 56398029 >= -70 @ 13.0668
13.15/13.29	c stratification level: 53582633
13.45/13.58	c bounds 56381077 >= -70 @ 13.3642
13.45/13.58	c stratification level: 53157376
13.76/13.85	c bounds 56371769 >= -70 @ 13.633
13.76/13.85	c stratification level: 52734375
14.65/14.78	c bounds 50263255 >= -70 @ 14.5406
14.65/14.78	c stratification level: 50243409
14.85/14.90	c bounds 30364023 >= -70 @ 14.6613
14.85/14.90	c stratification level: 30080231
15.06/15.15	c bounds 30312197 >= -70 @ 14.911
15.06/15.15	c stratification level: 29791000
15.25/15.36	c bounds 30215163 >= -70 @ 15.1213
15.25/15.36	c stratification level: 29503629
15.65/15.70	c bounds 30075955 >= -70 @ 15.4525
15.65/15.70	c stratification level: 29218112
15.74/15.87	c bounds 30048865 >= -70 @ 15.6229
15.74/15.87	c stratification level: 28934443
15.96/16.05	c bounds 23627247 >= -70 @ 15.7967
15.96/16.05	c stratification level: 23393656
16.44/16.59	c bounds 23624647 >= -70 @ 16.3311
16.44/16.59	c stratification level: 23149125
16.64/16.72	c bounds 23371757 >= -70 @ 16.4642
16.64/16.72	c stratification level: 22906304
17.05/17.14	c bounds 23350097 >= -70 @ 16.8784
17.05/17.14	c stratification level: 22665187
17.25/17.32	c bounds 23347981 >= -70 @ 17.0526
17.25/17.32	c stratification level: 22425768
17.34/17.45	c bounds 23244373 >= -70 @ 17.1847
17.34/17.45	c stratification level: 22188041
17.64/17.70	c bounds 18839319 >= -70 @ 17.427
17.64/17.70	c stratification level: 18821096
17.94/18.03	c #Conflicts:       2000 | #Constraints:      26554
17.94/18.03	c INPROCESSING
17.94/18.03	c GARBAGE COLLECT
17.94/18.03	c bounds 18804297 >= -70 @ 17.7524
17.94/18.03	c stratification level: 18609625
17.94/18.07	c bounds 18782097 >= -70 @ 17.7999
17.94/18.07	c stratification level: 18399744
18.04/18.12	c bounds 18741201 >= -70 @ 17.8475
18.04/18.12	c stratification level: 18191447
18.14/18.23	c bounds 18701213 >= -70 @ 17.9524
18.14/18.23	c stratification level: 17984728
18.44/18.57	c bounds 18687425 >= -70 @ 18.2945
18.44/18.57	c stratification level: 17779581
18.54/18.64	c bounds 18685799 >= -70 @ 18.3585
18.54/18.64	c stratification level: 17576000
18.74/18.80	c bounds 18655577 >= -70 @ 18.5179
18.74/18.80	c stratification level: 17373979
18.84/18.93	c bounds 18617629 >= -70 @ 18.6527
18.84/18.93	c stratification level: 17173512
18.95/19.02	c bounds 18608937 >= -70 @ 18.7424
18.95/19.02	c stratification level: 16974593
19.14/19.21	c bounds 18449439 >= -70 @ 18.925
19.14/19.21	c stratification level: 16777216
19.24/19.34	c bounds 18447357 >= -70 @ 19.0533
19.24/19.34	c stratification level: 16581375
19.33/19.42	c bounds 18428815 >= -70 @ 19.1354
19.33/19.42	c stratification level: 16387064
19.54/19.69	c bounds 18396701 >= -70 @ 19.3995
19.54/19.69	c stratification level: 16194277
19.64/19.77	c bounds 18355805 >= -70 @ 19.4749
19.64/19.77	c stratification level: 16003008
23.03/23.17	c bounds 18325339 >= -70 @ 22.8451
23.03/23.17	c stratification level: 15813251
23.12/23.26	c bounds 18324859 >= -70 @ 22.9385
23.12/23.26	c stratification level: 15625000
23.53/23.61	c bounds 18292265 >= -70 @ 23.2769
23.53/23.61	c stratification level: 15438249
23.63/23.71	c bounds 18289571 >= -70 @ 23.3787
23.63/23.71	c stratification level: 15252992
23.73/23.81	c bounds 18284995 >= -70 @ 23.4808
23.73/23.81	c stratification level: 15069223
23.83/23.92	c bounds 18271711 >= -70 @ 23.5903
23.83/23.92	c stratification level: 14886936
24.32/24.42	c bounds 18247623 >= -70 @ 24.0751
24.32/24.42	c stratification level: 14706125
24.42/24.51	c bounds 18245523 >= -70 @ 24.1662
24.42/24.51	c stratification level: 14526784
24.53/24.61	c bounds 18243603 >= -70 @ 24.2666
24.53/24.61	c stratification level: 14348907
24.62/24.71	c bounds 18235113 >= -70 @ 24.3606
24.62/24.71	c stratification level: 14172488
24.72/24.80	c bounds 18234633 >= -70 @ 24.4501
24.72/24.80	c stratification level: 13997521
24.82/24.91	c bounds 18233013 >= -70 @ 24.5575
24.82/24.91	c stratification level: 13824000
26.22/26.31	c bounds 18201731 >= -70 @ 25.9398
26.22/26.31	c stratification level: 13651919
26.31/26.41	c bounds 18199631 >= -70 @ 26.0441
26.31/26.41	c stratification level: 13481272
26.42/26.51	c bounds 18197711 >= -70 @ 26.1372
26.42/26.51	c stratification level: 13312053
26.62/26.72	c bounds 18188053 >= -70 @ 26.3403
26.62/26.72	c stratification level: 13144256
27.02/27.17	c bounds 18178381 >= -70 @ 26.783
27.02/27.17	c stratification level: 12977875
27.32/27.44	c bounds 18167637 >= -70 @ 27.0561
27.32/27.44	c stratification level: 12812904
27.51/27.64	c bounds 18167035 >= -70 @ 27.2471
27.51/27.64	c stratification level: 12649337
27.81/27.93	c bounds 18120973 >= -70 @ 27.5329
27.81/27.93	c stratification level: 12487168
27.92/28.03	c bounds 18117899 >= -70 @ 27.6394
27.92/28.03	c stratification level: 12326391
28.11/28.27	c #Conflicts:       3000 | #Constraints:      23027
28.11/28.27	c bounds 18093717 >= -70 @ 27.8661
28.11/28.27	c stratification level: 12167000
28.21/28.37	c bounds 18082139 >= -70 @ 27.9716
28.21/28.37	c stratification level: 12008989
28.41/28.58	c bounds 18066115 >= -70 @ 28.1717
28.41/28.58	c stratification level: 11852352
29.31/29.49	c bounds 18055601 >= -70 @ 29.0784
29.31/29.49	c stratification level: 11697083
30.81/30.94	c bounds 18030985 >= -70 @ 30.5102
30.81/30.94	c stratification level: 11543176
31.01/31.14	c bounds 18028729 >= -70 @ 30.7079
31.01/31.14	c stratification level: 11390625
31.11/31.27	c bounds 18026809 >= -70 @ 30.8357
31.11/31.27	c stratification level: 11239424
32.20/32.39	c bounds 18019291 >= -70 @ 31.9369
32.20/32.39	c stratification level: 11089567
35.79/35.99	c bounds 17874315 >= -70 @ 35.4998
35.79/35.99	c stratification level: 10941048
37.59/37.72	c bounds 17864933 >= -70 @ 37.2121
37.59/37.72	c stratification level: 10793861
38.18/38.37	c bounds 17861321 >= -70 @ 37.8624
38.18/38.37	c stratification level: 10648000
38.89/39.09	c bounds 17859701 >= -70 @ 38.577
38.89/39.09	c stratification level: 10503459
39.48/39.63	c bounds 17546437 >= -70 @ 39.1077
39.48/39.63	c stratification level: 10360232
39.78/39.92	c bounds 17534859 >= -70 @ 39.3934
39.78/39.92	c stratification level: 10218313
39.99/40.13	c bounds 17499245 >= -70 @ 39.6009
39.99/40.13	c stratification level: 10077696
40.28/40.42	c bounds 17482803 >= -70 @ 39.8927
40.28/40.42	c stratification level: 9938375
61.13/61.38	c #Conflicts:       4000 | #Constraints:      24043
61.13/61.38	c INPROCESSING
61.13/61.38	c GARBAGE COLLECT
61.13/61.38	c #Conflicts:       5000 | #Constraints:      23159
61.13/61.38	c bounds 17442089 >= -70 @ 60.7008
61.13/61.38	c stratification level: 9800344
61.32/61.58	c bounds 17419673 >= -70 @ 60.9047
61.32/61.58	c stratification level: 9663597
64.72/64.97	c bounds 17416203 >= -70 @ 64.2655
64.72/64.97	c stratification level: 9528128
64.92/65.16	c bounds 17393857 >= -70 @ 64.4583
64.92/65.16	c stratification level: 9393931
65.31/65.50	c bounds 17382405 >= -70 @ 64.7906
65.31/65.50	c stratification level: 9261000
65.41/65.69	c bounds 17381759 >= -70 @ 64.9839
65.41/65.69	c stratification level: 9129329
95.63/95.97	c #Conflicts:       6000 | #Constraints:      24165
95.63/95.97	c INPROCESSING
95.63/95.97	c GARBAGE COLLECT
95.63/95.97	c bounds 17368231 >= -70 @ 95.0726
95.63/95.97	c stratification level: 8998912
95.84/96.11	c bounds 17367503 >= -70 @ 95.2078
95.84/96.11	c stratification level: 8869743
96.23/96.55	c bounds 17366279 >= -70 @ 95.637
96.23/96.55	c stratification level: 8741816
96.33/96.67	c bounds 17360463 >= -70 @ 95.7624
96.33/96.67	c stratification level: 8615125
100.52/100.81	c #Conflicts:       7000 | #Constraints:      23173
100.52/100.81	c bounds 17355107 >= -70 @ 99.8804
100.52/100.81	c stratification level: 8489664
100.62/101.00	c bounds 17353883 >= -70 @ 100.066
100.62/101.00	c stratification level: 8365427
155.77/156.26	c #Conflicts:       8000 | #Constraints:      24175
155.77/156.26	c #Conflicts:       9000 | #Constraints:      25175
155.77/156.26	c INPROCESSING
155.77/156.26	c GARBAGE COLLECT
155.77/156.26	c bounds 16993417 >= -70 @ 155.034
155.77/156.26	c stratification level: 8242408
155.96/156.40	c bounds 16983017 >= -70 @ 155.17
155.96/156.40	c stratification level: 8120601
156.06/156.54	c bounds 16971995 >= -70 @ 155.307
156.06/156.54	c stratification level: 8000000
156.16/156.69	c bounds 16920053 >= -70 @ 155.46
156.16/156.69	c stratification level: 7880599
156.36/156.89	c bounds 16903997 >= -70 @ 155.654
156.36/156.89	c stratification level: 7762392
156.57/157.03	c bounds 16868789 >= -70 @ 155.796
156.57/157.03	c stratification level: 7645373
156.67/157.16	c bounds 16844039 >= -70 @ 155.92
156.67/157.16	c stratification level: 7529536
156.86/157.34	c bounds 16807481 >= -70 @ 156.097
156.86/157.34	c stratification level: 7414875
157.06/157.52	c bounds 16770315 >= -70 @ 156.271
157.06/157.52	c stratification level: 7301384
157.36/157.84	c bounds 16759029 >= -70 @ 156.585
157.36/157.84	c stratification level: 7189057
160.05/160.51	c bounds 16754991 >= -70 @ 159.245
160.05/160.51	c stratification level: 7077888
164.05/164.59	c bounds 16752371 >= -70 @ 163.296
164.05/164.59	c stratification level: 6967871
164.34/164.86	c bounds 16745365 >= -70 @ 163.558
164.34/164.86	c stratification level: 6859000
199.74/200.33	c #Conflicts:      10000 | #Constraints:      23853
199.74/200.33	c #Conflicts:      11000 | #Constraints:      24853
199.74/200.33	c bounds 7026145 >= -70 @ 198.817
199.74/200.33	c stratification level: 6751269
200.15/200.79	c bounds 7022053 >= -70 @ 199.271
200.15/200.79	c stratification level: 6644672
200.45/201.03	c bounds 7018075 >= -70 @ 199.515
200.45/201.03	c stratification level: 6539203
200.64/201.27	c bounds 7012477 >= -70 @ 199.751
200.64/201.27	c stratification level: 6434856
202.64/203.23	c bounds 7009831 >= -70 @ 201.7
202.64/203.23	c stratification level: 6331625
202.84/203.48	c bounds 6999955 >= -70 @ 201.945
202.84/203.48	c stratification level: 6229504
203.24/203.86	c bounds 6998213 >= -70 @ 202.329
203.24/203.86	c stratification level: 6128487
203.54/204.15	c bounds 6990565 >= -70 @ 202.617
203.54/204.15	c stratification level: 6028568
203.93/204.56	c bounds 6981311 >= -70 @ 203.024
203.93/204.56	c stratification level: 5929741
204.33/204.96	c bounds 6902005 >= -70 @ 203.417
204.33/204.96	c stratification level: 5832000
204.63/205.22	c bounds 6899387 >= -70 @ 203.674
204.63/205.22	c stratification level: 5735339
204.82/205.49	c bounds 6864427 >= -70 @ 203.945
204.82/205.49	c stratification level: 5639752
205.13/205.75	c bounds 6859397 >= -70 @ 204.197
205.13/205.75	c stratification level: 5545233
205.54/206.14	c bounds 6817287 >= -70 @ 204.593
205.54/206.14	c stratification level: 5451776
206.23/206.84	c bounds 6798121 >= -70 @ 205.284
206.23/206.84	c stratification level: 5359375
437.10/438.33	c #Conflicts:      12000 | #Constraints:      25868
437.10/438.33	c INPROCESSING
437.10/438.33	c GARBAGE COLLECT
437.10/438.33	c #Conflicts:      13000 | #Constraints:      21346
437.10/438.33	c #Conflicts:      14000 | #Constraints:      22346
437.10/438.33	c #Conflicts:      15000 | #Constraints:      23346
437.10/438.33	c INPROCESSING
437.10/438.33	c GARBAGE COLLECT
437.10/438.33	c #Conflicts:      16000 | #Constraints:      21545
437.10/438.33	c #Conflicts:      17000 | #Constraints:      22545
437.10/438.33	c #Conflicts:      18000 | #Constraints:      23545
437.10/438.33	c INPROCESSING
437.10/438.33	c GARBAGE COLLECT
437.10/438.33	c #Conflicts:      19000 | #Constraints:      21584
437.10/438.33	c #Conflicts:      20000 | #Constraints:      22584
437.10/438.33	c #Conflicts:      21000 | #Constraints:      23584
437.10/438.33	c INPROCESSING
437.10/438.33	c GARBAGE COLLECT
437.10/438.33	c #Conflicts:      22000 | #Constraints:      21392
437.10/438.33	c #Conflicts:      23000 | #Constraints:      22392
437.10/438.33	c #Conflicts:      24000 | #Constraints:      23392
437.10/438.33	c #Conflicts:      25000 | #Constraints:      24392
437.10/438.33	c INPROCESSING
437.10/438.33	c GARBAGE COLLECT
437.10/438.33	c #Conflicts:      26000 | #Constraints:      21990
437.10/438.33	c #Conflicts:      27000 | #Constraints:      22990
437.10/438.33	c #Conflicts:      28000 | #Constraints:      23990
437.10/438.33	c #Conflicts:      29000 | #Constraints:      24990
437.10/438.33	c INPROCESSING
437.10/438.33	c GARBAGE COLLECT
437.10/438.33	c #Conflicts:      30000 | #Constraints:      22355
437.10/438.33	c #Conflicts:      31000 | #Constraints:      23355
437.10/438.33	c bounds 6367729 >= -70 @ 435.654
437.10/438.33	c stratification level: 5268024
437.30/438.50	c bounds 6346159 >= -70 @ 435.83
437.30/438.50	c stratification level: 5177717
437.50/438.70	c bounds 6344229 >= -70 @ 436.026
437.50/438.70	c stratification level: 5088448
439.90/441.14	c bounds 6340729 >= -70 @ 438.453
439.90/441.14	c stratification level: 5000211
440.29/441.50	c bounds 6339367 >= -70 @ 438.81
440.29/441.50	c stratification level: 4913000
447.47/448.71	c #Conflicts:      32000 | #Constraints:      24360
447.47/448.71	c bounds 6242715 >= -70 @ 445.994
447.47/448.71	c stratification level: 4826809
447.78/449.04	c bounds 6242069 >= -70 @ 446.323
447.78/449.04	c stratification level: 4741632
447.97/449.27	c bounds 6233589 >= -70 @ 446.547
447.97/449.27	c stratification level: 4657463
460.63/461.97	c #Conflicts:      33000 | #Constraints:      25363
460.63/461.97	c INPROCESSING
460.63/461.97	c GARBAGE COLLECT
460.63/461.97	c bounds 6178009 >= -70 @ 459.165
460.63/461.97	c stratification level: 4574296
460.84/462.17	c bounds 6174959 >= -70 @ 459.365
460.84/462.17	c stratification level: 4492125
461.73/463.06	c bounds 6169875 >= -70 @ 460.25
461.73/463.06	c stratification level: 4410944
1108.59/1111.63	c #Conflicts:      34000 | #Constraints:      22303
1108.59/1111.63	c #Conflicts:      35000 | #Constraints:      23303
1108.59/1111.63	c #Conflicts:      36000 | #Constraints:      24303
1108.59/1111.63	c #Conflicts:      37000 | #Constraints:      25303
1108.59/1111.63	c INPROCESSING
1108.59/1111.63	c GARBAGE COLLECT
1108.59/1111.63	c #Conflicts:      38000 | #Constraints:      22292
1108.59/1111.63	c #Conflicts:      39000 | #Constraints:      23292
1108.59/1111.63	c #Conflicts:      40000 | #Constraints:      24292
1108.59/1111.63	c #Conflicts:      41000 | #Constraints:      25292
1108.59/1111.63	c INPROCESSING
1108.59/1111.63	c GARBAGE COLLECT
1108.59/1111.63	c #Conflicts:      42000 | #Constraints:      22078
1108.59/1111.63	c #Conflicts:      43000 | #Constraints:      23078
1108.59/1111.63	c #Conflicts:      44000 | #Constraints:      24078
1108.59/1111.63	c #Conflicts:      45000 | #Constraints:      25078
1108.59/1111.63	c #Conflicts:      46000 | #Constraints:      26078
1108.59/1111.63	c INPROCESSING
1108.59/1111.63	c GARBAGE COLLECT
1108.59/1111.63	c #Conflicts:      47000 | #Constraints:      22705
1108.59/1111.63	c #Conflicts:      48000 | #Constraints:      23705
1108.59/1111.63	c #Conflicts:      49000 | #Constraints:      24705
1108.59/1111.63	c #Conflicts:      50000 | #Constraints:      25705
1108.59/1111.63	c #Conflicts:      51000 | #Constraints:      26705
1108.59/1111.63	c INPROCESSING
1108.59/1111.63	c GARBAGE COLLECT
1108.59/1111.63	c #Conflicts:      52000 | #Constraints:      23040
1108.59/1111.63	c #Conflicts:      53000 | #Constraints:      24040
1108.59/1111.63	c #Conflicts:      54000 | #Constraints:      25040
1108.59/1111.63	c #Conflicts:      55000 | #Constraints:      26040
1108.59/1111.63	c #Conflicts:      56000 | #Constraints:      27040
1108.59/1111.63	c INPROCESSING
1108.59/1111.63	c GARBAGE COLLECT
1108.59/1111.63	c #Conflicts:      57000 | #Constraints:      23160
1108.59/1111.63	c #Conflicts:      58000 | #Constraints:      24160
1108.59/1111.63	c #Conflicts:      59000 | #Constraints:      25160
1108.59/1111.63	c #Conflicts:      60000 | #Constraints:      26160
1108.59/1111.63	c #Conflicts:      61000 | #Constraints:      27160
1108.59/1111.63	c INPROCESSING
1108.59/1111.63	c GARBAGE COLLECT
1108.59/1111.63	c #Conflicts:      62000 | #Constraints:      23247
1108.59/1111.63	c #Conflicts:      63000 | #Constraints:      24247
1108.59/1111.63	c #Conflicts:      64000 | #Constraints:      25247
1108.59/1111.63	c #Conflicts:      65000 | #Constraints:      26247
1108.59/1111.63	c #Conflicts:      66000 | #Constraints:      27247
1108.59/1111.63	c INPROCESSING
1108.59/1111.63	c GARBAGE COLLECT
1108.59/1111.63	c #Conflicts:      67000 | #Constraints:      22976
1108.59/1111.63	c #Conflicts:      68000 | #Constraints:      23976
1108.59/1111.63	c #Conflicts:      69000 | #Constraints:      24976
1108.59/1111.63	c #Conflicts:      70000 | #Constraints:      25976
1108.59/1111.63	c #Conflicts:      71000 | #Constraints:      26976
1108.59/1111.63	c #Conflicts:      72000 | #Constraints:      27976
1108.59/1111.63	c INPROCESSING
1108.59/1111.63	c GARBAGE COLLECT
1108.59/1111.63	c bounds 5868711 >= -70 @ 1106
1108.59/1111.63	c stratification level: 4330747
1108.89/1111.95	c bounds 5866779 >= -70 @ 1106.32
1108.89/1111.95	c stratification level: 4251528
1109.18/1112.22	c bounds 5864941 >= -70 @ 1106.59
1109.18/1112.22	c stratification level: 4173281
1109.38/1112.44	c bounds 5864805 >= -70 @ 1106.8
1109.38/1112.44	c stratification level: 4096000
1110.58/1113.64	c bounds 5853773 >= -70 @ 1107.99
1110.58/1113.64	c stratification level: 4019679
1111.08/1114.11	c bounds 5824107 >= -70 @ 1108.46
1111.08/1114.11	c stratification level: 3944312
1111.28/1114.34	c bounds 5824081 >= -70 @ 1108.68
1111.28/1114.34	c stratification level: 3869893
1111.78/1114.82	c bounds 5821065 >= -70 @ 1109.16
1111.78/1114.82	c stratification level: 3796416
1111.98/1115.04	c bounds 5814199 >= -70 @ 1109.39
1111.98/1115.04	c stratification level: 3723875
1112.98/1116.09	c bounds 5814011 >= -70 @ 1110.42
1112.98/1116.09	c stratification level: 3652264
1203.33/1206.63	c #Conflicts:      73000 | #Constraints:      23644
1203.33/1206.63	c #Conflicts:      74000 | #Constraints:      24644
1203.33/1206.63	c #Conflicts:      75000 | #Constraints:      25644
1203.33/1206.63	c #Conflicts:      76000 | #Constraints:      26644
1203.33/1206.63	c #Conflicts:      77000 | #Constraints:      27644
1203.33/1206.63	c #Conflicts:      78000 | #Constraints:      28644
1203.33/1206.63	c INPROCESSING
1203.33/1206.63	c GARBAGE COLLECT
1203.33/1206.63	c #Conflicts:      79000 | #Constraints:      23879
1203.33/1206.63	c bounds 5804091 >= -70 @ 1200.52
1203.33/1206.63	c stratification level: 3581577
1204.02/1207.30	c bounds 5803211 >= -70 @ 1201.19
1204.02/1207.30	c stratification level: 3511808
1212.41/1215.74	c bounds 5799249 >= -70 @ 1209.6
1212.41/1215.74	c stratification level: 3442951
1302.86/1306.44	c #Conflicts:      80000 | #Constraints:      24882
1302.86/1306.44	c #Conflicts:      81000 | #Constraints:      25882
1302.86/1306.44	c #Conflicts:      82000 | #Constraints:      26882
1302.86/1306.44	c #Conflicts:      83000 | #Constraints:      27882
1302.86/1306.44	c bounds 5796721 >= -70 @ 1299.89
1302.86/1306.44	c stratification level: 3375000
1310.14/1313.72	c bounds 5793539 >= -70 @ 1307.13
1310.14/1313.72	c stratification level: 3307949
1321.90/1325.50	c #Conflicts:      84000 | #Constraints:      28884
1321.90/1325.50	c INPROCESSING
1321.90/1325.50	c GARBAGE COLLECT
1321.90/1325.50	c bounds 5767609 >= -70 @ 1318.86
1321.90/1325.50	c stratification level: 3241792
1341.06/1344.78	c #Conflicts:      85000 | #Constraints:      24106
1341.06/1344.78	c bounds 5755327 >= -70 @ 1338.06
1341.06/1344.78	c stratification level: 3176523
1353.52/1357.27	c #Conflicts:      86000 | #Constraints:      25107
1353.52/1357.27	c bounds 5754833 >= -70 @ 1350.49
1353.52/1357.27	c stratification level: 3112136
1354.02/1357.77	c bounds 5754775 >= -70 @ 1350.99
1354.02/1357.77	c stratification level: 3048625
1354.51/1358.25	c bounds 5754119 >= -70 @ 1351.46
1354.51/1358.25	c stratification level: 2985984
1355.52/1359.25	c bounds 5752413 >= -70 @ 1352.45
1355.52/1359.25	c stratification level: 2924207
1356.32/1360.02	c bounds 5751757 >= -70 @ 1353.22
1356.32/1360.02	c stratification level: 2863288
1359.41/1363.16	c bounds 5736989 >= -70 @ 1356.35
1359.41/1363.16	c stratification level: 2803221
1364.39/1368.15	c bounds 5736927 >= -70 @ 1361.32
1364.39/1368.15	c stratification level: 2744000
1364.89/1368.66	c bounds 5736271 >= -70 @ 1361.83
1364.89/1368.66	c stratification level: 2685619
1367.98/1371.74	c bounds 5736171 >= -70 @ 1364.9
1367.98/1371.74	c stratification level: 2628072
1372.47/1376.27	c #Conflicts:      87000 | #Constraints:      26116
1372.47/1376.27	c bounds 5728011 >= -70 @ 1369.41
1372.47/1376.27	c stratification level: 2571353
1426.21/1430.17	c #Conflicts:      88000 | #Constraints:      27117
1426.21/1430.17	c bounds 5722135 >= -70 @ 1423.07
1426.21/1430.17	c stratification level: 2515456
1599.11/1603.51	c #Conflicts:      89000 | #Constraints:      28118
1599.11/1603.51	c #Conflicts:      90000 | #Constraints:      29118
1599.11/1603.51	c INPROCESSING
1599.11/1603.51	c GARBAGE COLLECT
1599.11/1603.51	c #Conflicts:      91000 | #Constraints:      24079
1599.11/1603.51	c #Conflicts:      92000 | #Constraints:      25079
1599.11/1603.51	c #Conflicts:      93000 | #Constraints:      26079
1599.11/1603.51	c #Conflicts:      94000 | #Constraints:      27079
1599.11/1603.51	c #Conflicts:      95000 | #Constraints:      28079
1599.11/1603.51	c #Conflicts:      96000 | #Constraints:      29079
1599.11/1603.51	c bounds 5695913 >= -70 @ 1595.63
1599.11/1603.51	c stratification level: 2460375
1619.45/1623.95	c INPROCESSING
1619.45/1623.95	c GARBAGE COLLECT
1619.45/1623.95	c #Conflicts:      97000 | #Constraints:      23828
1619.45/1623.95	c bounds 5685665 >= -70 @ 1615.97
1619.45/1623.95	c stratification level: 2406104
1619.85/1624.30	c bounds 5685169 >= -70 @ 1616.32
1619.85/1624.30	c stratification level: 2352637
1694.35/1699.06	c #Conflicts:      98000 | #Constraints:      24830
1694.35/1699.06	c #Conflicts:      99000 | #Constraints:      25830
1694.35/1699.06	c #Conflicts:     100000 | #Constraints:      26830
1694.35/1699.06	c bounds 5682499 >= -70 @ 1690.76
1694.35/1699.06	c stratification level: 2299968
1710.50/1715.26	c #Conflicts:     101000 | #Constraints:      27831
1710.50/1715.26	c bounds 5675165 >= -70 @ 1706.9
1710.50/1715.26	c stratification level: 2248091
2319.89/2326.32	c #Conflicts:     102000 | #Constraints:      28832
2319.89/2326.32	c #Conflicts:     103000 | #Constraints:      29832
2319.89/2326.32	c INPROCESSING
2319.89/2326.32	c GARBAGE COLLECT
2319.89/2326.32	c #Conflicts:     104000 | #Constraints:      24435
2319.89/2326.32	c #Conflicts:     105000 | #Constraints:      25435
2319.89/2326.32	c #Conflicts:     106000 | #Constraints:      26435
2319.89/2326.32	c #Conflicts:     107000 | #Constraints:      27435
2319.89/2326.32	c #Conflicts:     108000 | #Constraints:      28435
2319.89/2326.32	c #Conflicts:     109000 | #Constraints:      29435
2319.89/2326.32	c #Conflicts:     110000 | #Constraints:      30435
2319.89/2326.32	c INPROCESSING
2319.89/2326.32	c GARBAGE COLLECT
2319.89/2326.32	c #Conflicts:     111000 | #Constraints:      24757
2319.89/2326.32	c #Conflicts:     112000 | #Constraints:      25757
2319.89/2326.32	c #Conflicts:     113000 | #Constraints:      26757
2319.89/2326.32	c #Conflicts:     114000 | #Constraints:      27757
2319.89/2326.32	c #Conflicts:     115000 | #Constraints:      28757
2319.89/2326.32	c #Conflicts:     116000 | #Constraints:      29757
2319.89/2326.32	c #Conflicts:     117000 | #Constraints:      30757
2319.89/2326.32	c INPROCESSING
2319.89/2326.32	c GARBAGE COLLECT
2319.89/2326.32	c #Conflicts:     118000 | #Constraints:      24978
2319.89/2326.32	c #Conflicts:     119000 | #Constraints:      25978
2319.89/2326.32	c #Conflicts:     120000 | #Constraints:      26978
2319.89/2326.32	c #Conflicts:     121000 | #Constraints:      27978
2319.89/2326.32	c #Conflicts:     122000 | #Constraints:      28978
2319.89/2326.32	c #Conflicts:     123000 | #Constraints:      29978
2319.89/2326.32	c bounds 5482767 >= -70 @ 2315.53
2319.89/2326.32	c stratification level: 2197000
2320.79/2327.20	c bounds 5475889 >= -70 @ 2316.4
2320.79/2327.20	c stratification level: 2146689
2321.38/2327.85	c bounds 5468017 >= -70 @ 2317.06
2321.38/2327.85	c stratification level: 2097152
2322.18/2328.60	c bounds 5460347 >= -70 @ 2317.8
2322.18/2328.60	c stratification level: 2048383
2322.77/2329.27	c bounds 5455815 >= -70 @ 2318.46
2322.77/2329.27	c stratification level: 2000376
2333.35/2339.84	c #Conflicts:     124000 | #Constraints:      30983
2333.35/2339.84	c bounds 5430713 >= -70 @ 2328.98
2333.35/2339.84	c stratification level: 1953125
2334.05/2340.54	c bounds 5430055 >= -70 @ 2329.68
2334.05/2340.54	c stratification level: 1906624
2334.84/2341.36	c bounds 5426499 >= -70 @ 2330.49
2334.84/2341.36	c stratification level: 1860867
2338.33/2344.89	c INPROCESSING
2338.33/2344.89	c GARBAGE COLLECT
2338.33/2344.89	c bounds 5425199 >= -70 @ 2334
2338.33/2344.89	c stratification level: 1815848
2339.93/2346.49	c bounds 5413333 >= -70 @ 2335.6
2339.93/2346.49	c stratification level: 1771561
2342.82/2349.38	c bounds 5404921 >= -70 @ 2338.47
2342.82/2349.38	c stratification level: 1728000
2343.42/2349.95	c bounds 5404749 >= -70 @ 2339.04
2343.42/2349.95	c stratification level: 1685159
2344.12/2350.61	c bounds 5385051 >= -70 @ 2339.69
2344.12/2350.61	c stratification level: 1643032
2672.67/2680.13	c #Conflicts:     125000 | #Constraints:      24873
2672.67/2680.13	c #Conflicts:     126000 | #Constraints:      25873
2672.67/2680.13	c #Conflicts:     127000 | #Constraints:      26873
2672.67/2680.13	c #Conflicts:     128000 | #Constraints:      27873
2672.67/2680.13	c #Conflicts:     129000 | #Constraints:      28873
2672.67/2680.13	c #Conflicts:     130000 | #Constraints:      29873
2672.67/2680.13	c #Conflicts:     131000 | #Constraints:      30873
2672.67/2680.13	c INPROCESSING
2672.67/2680.13	c GARBAGE COLLECT
2672.67/2680.13	c #Conflicts:     132000 | #Constraints:      24633
2672.67/2680.13	c #Conflicts:     133000 | #Constraints:      25633
2672.67/2680.13	c bounds 4754473 >= -70 @ 2668.05
2672.67/2680.13	c stratification level: 1601613
2921.36/2929.54	c #Conflicts:     134000 | #Constraints:      26634
2921.36/2929.54	c #Conflicts:     135000 | #Constraints:      27634
2921.36/2929.54	c #Conflicts:     136000 | #Constraints:      28634
2921.36/2929.54	c #Conflicts:     137000 | #Constraints:      29634
2921.36/2929.54	c #Conflicts:     138000 | #Constraints:      30634
2921.36/2929.54	c #Conflicts:     139000 | #Constraints:      31634
2921.36/2929.54	c INPROCESSING
2921.36/2929.54	c GARBAGE COLLECT
2921.36/2929.54	c #Conflicts:     140000 | #Constraints:      25025
2921.36/2929.54	c #Conflicts:     141000 | #Constraints:      26025
2921.36/2929.54	c #Conflicts:     142000 | #Constraints:      27025
2921.36/2929.54	c #Conflicts:     143000 | #Constraints:      28025
2921.36/2929.54	c #Conflicts:     144000 | #Constraints:      29025
2921.36/2929.54	c #Conflicts:     145000 | #Constraints:      30025
2921.36/2929.54	c bounds 4744075 >= -70 @ 2916.33
2921.36/2929.54	c stratification level: 1560896
2924.05/2932.26	c bounds 4679105 >= -70 @ 2919.03
2924.05/2932.26	c stratification level: 1520875
3290.09/3299.37	c #Conflicts:     146000 | #Constraints:      31027
3290.09/3299.37	c #Conflicts:     147000 | #Constraints:      32027
3290.09/3299.37	c INPROCESSING
3290.09/3299.37	c GARBAGE COLLECT
3290.09/3299.37	c #Conflicts:     148000 | #Constraints:      25305
3290.09/3299.37	c #Conflicts:     149000 | #Constraints:      26305
3290.09/3299.37	c #Conflicts:     150000 | #Constraints:      27305
3290.09/3299.37	c #Conflicts:     151000 | #Constraints:      28305
3290.09/3299.37	c #Conflicts:     152000 | #Constraints:      29305
3290.09/3299.37	c #Conflicts:     153000 | #Constraints:      30305
3290.09/3299.37	c #Conflicts:     154000 | #Constraints:      31305
3290.09/3299.37	c #Conflicts:     155000 | #Constraints:      32305
3290.09/3299.37	c INPROCESSING
3290.09/3299.37	c GARBAGE COLLECT
3290.09/3299.37	c #Conflicts:     156000 | #Constraints:      25502
3290.09/3299.37	c bounds 4469637 >= -70 @ 3284.77
3290.09/3299.37	c stratification level: 1481544
3290.49/3299.73	c bounds 4458287 >= -70 @ 3285.12
3290.49/3299.73	c stratification level: 1442897
3290.90/3300.10	c bounds 4451007 >= -70 @ 3285.49
3290.90/3300.10	c stratification level: 1404928
3291.19/3300.46	c bounds 4433749 >= -70 @ 3285.85
3291.19/3300.46	c stratification level: 1367631
3291.79/3301.04	c bounds 4433189 >= -70 @ 3286.42
3291.79/3301.04	c stratification level: 1331000
3292.18/3301.40	c bounds 4430717 >= -70 @ 3286.79
3292.18/3301.40	c stratification level: 1295029
3292.79/3302.10	c bounds 4429575 >= -70 @ 3287.48
3292.79/3302.10	c stratification level: 1259712
3306.35/3315.63	c #Conflicts:     157000 | #Constraints:      26509
3306.35/3315.63	c #Conflicts:     158000 | #Constraints:      27509
3306.35/3315.63	c bounds 4401067 >= -70 @ 3300.95
3306.35/3315.63	c stratification level: 1225043
3311.14/3320.47	c bounds 4373813 >= -70 @ 3305.77
3311.14/3320.47	c stratification level: 1191016
3312.53/3321.87	c bounds 4371437 >= -70 @ 3307.16
3312.53/3321.87	c stratification level: 1157625
3313.03/3322.36	c bounds 4362635 >= -70 @ 3307.64
3313.03/3322.36	c stratification level: 1124864
3600.00/3610.15	c #Conflicts:     159000 | #Constraints:      28513
3600.00/3610.15	c #Conflicts:     160000 | #Constraints:      29513
3600.00/3610.15	c #Conflicts:     161000 | #Constraints:      30513
3600.00/3610.15	c #Conflicts:     162000 | #Constraints:      31513
3600.00/3610.15	c #Conflicts:     163000 | #Constraints:      32513
3600.00/3610.15	c INPROCESSING
3600.00/3610.15	c GARBAGE COLLECT
3600.00/3610.15	c #Conflicts:     164000 | #Constraints:      25309
3600.00/3610.15	c #Conflicts:     165000 | #Constraints:      26309
3600.00/3610.15	c #Conflicts:     166000 | #Constraints:      27309
3600.00/3610.15	c #Conflicts:     167000 | #Constraints:      28309
3600.00/3610.15	c #Conflicts:     168000 | #Constraints:      29309
3600.00/3610.15	c Program interrupted by user.
3600.00/3610.15	c cpu time 3594.42 s
3600.00/3610.15	c deterministic time 527758257015 5.28e+11
3600.00/3610.15	c optimization time 155.979 s
3600.00/3610.15	c total solve time 3438.38 s
3600.00/3610.15	c core-guided solve time 3438.38 s
3600.00/3610.15	c propagation time 2745.43 s
3600.00/3610.15	c conflict analysis time 717.902 s
3600.00/3610.15	c propagations 48440195
3600.00/3610.15	c resolve steps 2735220
3600.00/3610.15	c decisions 2355350
3600.00/3610.15	c conflicts 168434
3600.00/3610.15	c restarts 458
3600.00/3610.15	c inprocessing phases 32
3600.00/3610.15	c input clauses 21876
3600.00/3610.15	c input cardinalities 9
3600.00/3610.15	c input general constraints 2832
3600.00/3610.15	c input average constraint length 69.72
3600.00/3610.15	c input average constraint degree 185955628.24
3600.00/3610.15	c learned clauses 11716
3600.00/3610.15	c learned cardinalities 275
3600.00/3610.15	c learned general constraints 156443
3600.00/3610.15	c learned average constraint length 4818.23
3600.00/3610.15	c learned average constraint degree 6791125248.35
3600.00/3610.15	c watched constraints 16084
3600.00/3610.15	c counting constraints 143191
3600.00/3610.15	c gcd simplifications 1802
3600.00/3610.15	c detected cardinalities 12
3600.00/3610.15	c weakened non-implied lits 48661474
3600.00/3610.15	c weakened non-implying lits 199197
3600.00/3610.15	c original variables 9940
3600.00/3610.15	c clausal propagations 29347536
3600.00/3610.15	c cardinality propagations 423893
3600.00/3610.15	c watched propagations 618123
3600.00/3610.15	c counting propagations 17967760
3600.00/3610.15	c watch lookups 38944308219
3600.00/3610.15	c watch backjump lookups 38846467917
3600.00/3610.15	c watch checks 22379961962
3600.00/3610.15	c propagation checks 425484488650
3600.00/3610.15	c constraint additions 2001274133
3600.00/3610.15	c trail pops 50960588
3600.00/3610.15	c formula constraints 24510
3600.00/3610.15	c learned constraints 168434
3600.00/3610.15	c bound constraints 207
3600.00/3610.15	c core-guided constraints 0
3600.00/3610.15	c encountered formula constraints 2426939
3600.00/3610.15	c encountered learned constraints 475503
3600.00/3610.15	c encountered bound constraints 1212
3600.00/3610.15	c encountered core-guided constraints 0
3600.00/3610.15	c LP total time 0 s
3600.00/3610.15	c LP solve time 0 s
3600.00/3610.15	c LP constraints added 0
3600.00/3610.15	c LP constraints removed 0
3600.00/3610.15	c LP pivots internal 0
3600.00/3610.15	c LP pivots root 0
3600.00/3610.15	c LP calls 0
3600.00/3610.15	c LP optimalities 0
3600.00/3610.15	c LP no pivot count 0
3600.00/3610.15	c LP infeasibilities 0
3600.00/3610.15	c LP valid Farkas constraints 0
3600.00/3610.15	c LP learned Farkas constraints 0
3600.00/3610.15	c LP basis resets 0
3600.00/3610.15	c LP cycling count 0
3600.00/3610.15	c LP singular count 0
3600.00/3610.15	c LP no primal count 0
3600.00/3610.15	c LP no farkas count 0
3600.00/3610.15	c LP other issue count 0
3600.00/3610.15	c LP Gomory cuts 0
3600.00/3610.15	c LP learned cuts 0
3600.00/3610.15	c LP deleted cuts 0
3600.00/3610.15	c LP encountered Gomory constraints 0
3600.00/3610.15	c LP encountered Farkas constraints 0
3600.00/3610.15	c LP encountered learned Farkas constraints 0
3600.00/3610.15	c CG auxiliary variables introduced 0
3600.00/3610.15	c CG solutions found 207
3600.00/3610.15	c CG cores constructed 0
3600.00/3610.15	c CG core cardinality constraints returned 0
3600.00/3610.15	c CG unit cores 0
3600.00/3610.15	c CG single cores 0
3600.00/3610.15	c CG blocks removed during cardinality reduction 0
3600.00/3610.15	c CG first core best 0
3600.00/3610.15	c CG decision core best 0
3600.00/3610.15	c CG core reduction tie 0
3600.00/3610.15	c CG core degree average 0.00
3600.00/3610.15	c CG core slack average 0.00
3600.00/3610.15	c CG exhausted 0
3600.00/3610.15	c CG exhaust time 0 s
3600.00/3610.15	c CG trimmed 0
3600.00/3610.15	c CG trim time 0 s
3600.00/3610.15	c CG minimized 0
3600.00/3610.15	c CG minimize time 0 s
3600.00/3610.15	c CG am1 prop time 0.007564 s
3600.00/3610.15	c CG # am1s reformulated 0
3600.00/3610.15	c CG lower bound derived from am1s 0
3600.00/3610.15	c CG # clausal cores 0
3600.00/3610.15	c CG # cardinality cores 0
3600.00/3610.15	c CG # pb cores 0
3600.00/3610.15	c CG # pb reforms 0
3600.00/3610.15	c CG # cores discarded because of pb reform 0
3600.00/3610.15	d LOWERBOUND -70
3600.00/3610.15	d NCORES 0
3600.00/3610.15	d NPBCORES 0
3600.00/3610.15	d NPBREFORM 0
3600.00/3610.15	d NTRIMMED 0
3600.00/3610.15	d NEXHAUSTED 0
3600.00/3610.15	d NAM1S 0
3600.00/3610.15	d AM1LB 0
3600.00/3610.15	o 4362635
3600.00/3610.15	s SATISFIABLE
3600.00/3610.15	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	4362635

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=884776, runsolver pid=884773
Current StackSize limit: 8192 KiB


[startup+0.100099 s]*
/proc/loadavg: 4.15 4.14 4.12 5/255 884777
/proc/meminfo: memFree=121419724/131524600 swapFree=131071996/131071996
[pid=884776] ppid=884773 vsize=43388 memory=12564 CPUtime=0.09 cores=5,7
/proc/884776/stat : 884776 (pb-oll-rs) R 884773 884776 880757 0 -1 4194304 1879 0 0 0 8 1 0 0 20 0 1 0 165961455 44429312 3141 134679101440 4194304 5384005 140724702886160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 26865664 140724702888983 140724702889060 140724702889060 140724702896075 0
/proc/884776/statm: 10847 3141 1377 291 0 2381 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 12564 KiB

[startup+0.205689 s]*
/proc/loadavg: 4.15 4.14 4.12 5/255 884777
/proc/meminfo: memFree=121419264/131524600 swapFree=131071996/131071996
[pid=884776] ppid=884773 vsize=43388 memory=12564 CPUtime=0.2 cores=5,7
/proc/884776/stat : 884776 (pb-oll-rs) R 884773 884776 880757 0 -1 4194304 1888 0 0 0 19 1 0 0 20 0 1 0 165961455 44429312 3141 134679101440 4194304 5384005 140724702886160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 26865664 140724702888983 140724702889060 140724702889060 140724702896075 0
/proc/884776/statm: 10847 3141 1377 291 0 2381 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 12564 KiB

[startup+0.305649 s]*
/proc/loadavg: 4.15 4.14 4.12 6/255 884777
/proc/meminfo: memFree=121419264/131524600 swapFree=131071996/131071996
[pid=884776] ppid=884773 vsize=43388 memory=12564 CPUtime=0.3 cores=5,7
/proc/884776/stat : 884776 (pb-oll-rs) R 884773 884776 880757 0 -1 4194304 1888 0 0 0 29 1 0 0 20 0 1 0 165961455 44429312 3141 134679101440 4194304 5384005 140724702886160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 26865664 140724702888983 140724702889060 140724702889060 140724702896075 0
/proc/884776/statm: 10847 3141 1377 291 0 2381 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 12564 KiB

[startup+0.700238 s]
/proc/loadavg: 4.15 4.14 4.12 5/255 884777
/proc/meminfo: memFree=121419264/131524600 swapFree=131071996/131071996
[pid=884776] ppid=884773 vsize=43388 memory=12564 CPUtime=0.69 cores=5,7
/proc/884776/stat : 884776 (pb-oll-rs) R 884773 884776 880757 0 -1 4194304 1911 0 0 0 68 1 0 0 20 0 1 0 165961455 44429312 3141 134679101440 4194304 5384005 140724702886160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 26865664 140724702888983 140724702889060 140724702889060 140724702896075 0
/proc/884776/statm: 10847 3141 1377 291 0 2381 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 12564 KiB

[startup+1.50024 s]
/proc/loadavg: 4.15 4.14 4.12 5/255 884777
/proc/meminfo: memFree=121406296/131524600 swapFree=131071996/131071996
[pid=884776] ppid=884773 vsize=77380 memory=44864 CPUtime=1.49 cores=5,7
/proc/884776/stat : 884776 (pb-oll-rs) R 884773 884776 880757 0 -1 4194304 8363 0 0 0 146 3 0 0 20 0 1 0 165961455 79237120 11216 134679101440 4194304 5384005 140724702886160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 26865664 140724702888983 140724702889060 140724702889060 140724702896075 0
/proc/884776/statm: 19345 11216 1472 291 0 10879 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 77380 KiB
Current children cumulated memory: 44864 KiB

[startup+3.10561 s]
/proc/loadavg: 4.22 4.15 4.13 5/255 884777
/proc/meminfo: memFree=121346816/131524600 swapFree=131071996/131071996
[pid=884776] ppid=884773 vsize=130116 memory=85232 CPUtime=3.09 cores=5,7
/proc/884776/stat : 884776 (pb-oll-rs) R 884773 884776 880757 0 -1 4194304 15356 0 0 0 303 6 0 0 20 0 1 0 165961455 133238784 21308 134679101440 4194304 5384005 140724702886160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 26865664 140724702888983 140724702889060 140724702889060 140724702896075 0
/proc/884776/statm: 32529 21308 1472 291 0 24063 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 130116 KiB
Current children cumulated memory: 85232 KiB

[startup+6.30022 s]
/proc/loadavg: 4.22 4.15 4.13 5/257 884856
/proc/meminfo: memFree=123988596/131524600 swapFree=131071996/131071996
[pid=884776] ppid=884773 vsize=198440 memory=147632 CPUtime=6.27 cores=5,7
/proc/884776/stat : 884776 (pb-oll-rs) R 884773 884776 880757 0 -1 4194304 24831 0 0 0 616 11 0 0 20 0 1 0 165961455 203202560 36908 134679101440 4194304 5384005 140724702886160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 26865664 140724702888983 140724702889060 140724702889060 140724702896075 0
/proc/884776/statm: 49610 36908 1472 291 0 41144 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 198440 KiB
Current children cumulated memory: 147632 KiB

[startup+12.7002 s]
/proc/loadavg: 4.20 4.15 4.13 5/257 884902
/proc/meminfo: memFree=124770388/131524600 swapFree=131071996/131071996
[pid=884776] ppid=884773 vsize=312364 memory=247176 CPUtime=12.66 cores=5,7
/proc/884776/stat : 884776 (pb-oll-rs) R 884773 884776 880757 0 -1 4194304 40578 0 0 0 1248 18 0 0 20 0 1 0 165961455 319860736 61794 134679101440 4194304 5384005 140724702886160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 26865664 140724702888983 140724702889060 140724702889060 140724702896075 0
/proc/884776/statm: 78091 61794 1472 291 0 69625 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 312364 KiB
Current children cumulated memory: 247176 KiB

[startup+25.5003 s]
/proc/loadavg: 4.16 4.14 4.12 5/257 884905
/proc/meminfo: memFree=124090520/131524600 swapFree=131071996/131071996
[pid=884776] ppid=884773 vsize=331952 memory=285160 CPUtime=25.41 cores=5,7
/proc/884776/stat : 884776 (pb-oll-rs) R 884773 884776 880757 0 -1 4194304 46253 0 0 0 2513 28 0 0 20 0 1 0 165961455 339918848 71290 134679101440 4194304 5384005 140724702886160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 26865664 140724702888983 140724702889060 140724702889060 140724702896075 0
/proc/884776/statm: 82988 71290 1472 291 0 74522 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 331952 KiB
Current children cumulated memory: 285160 KiB

[startup+51.1057 s]
/proc/loadavg: 4.18 4.14 4.13 5/257 884910
/proc/meminfo: memFree=122914932/131524600 swapFree=131071996/131071996
[pid=884776] ppid=884773 vsize=548712 memory=465536 CPUtime=50.96 cores=5,7
/proc/884776/stat : 884776 (pb-oll-rs) R 884773 884776 880757 0 -1 4194304 76775 0 0 0 5048 48 0 0 20 0 1 0 165961455 561881088 116384 134679101440 4194304 5384005 140724702886160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 26865664 140724702888983 140724702889060 140724702889060 140724702896075 0
/proc/884776/statm: 137178 116384 1472 291 0 128712 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 548712 KiB
Current children cumulated memory: 465536 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/259 885303
/proc/meminfo: memFree=121799212/131524600 swapFree=131071996/131071996
[pid=884776] ppid=884773 vsize=724132 memory=574344 CPUtime=102.01 cores=5,7
/proc/884776/stat : 884776 (pb-oll-rs) R 884773 884776 880757 0 -1 4194304 91825 0 0 0 10135 66 0 0 20 0 1 0 165961455 741511168 143586 134679101440 4194304 5384005 140724702886160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 26865664 140724702888983 140724702889060 140724702889060 140724702896075 0
/proc/884776/statm: 181033 143586 1472 291 0 172567 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 724132 KiB
Current children cumulated memory: 574344 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 4.11 4.11 5/257 885313
/proc/meminfo: memFree=121036324/131524600 swapFree=131071996/131071996
[pid=884776] ppid=884773 vsize=869488 memory=699860 CPUtime=161.85 cores=5,7
/proc/884776/stat : 884776 (pb-oll-rs) R 884773 884776 880757 0 -1 4194304 115118 0 0 0 16101 84 0 0 20 0 1 0 165961455 890355712 174965 134679101440 4194304 5384005 140724702886160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 26865664 140724702888983 140724702889060 140724702889060 140724702896075 0
/proc/884776/statm: 217372 174965 1472 291 0 208906 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 869488 KiB
Current children cumulated memory: 699860 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/257 885323
/proc/meminfo: memFree=120457572/131524600 swapFree=131071996/131071996
[pid=884776] ppid=884773 vsize=900080 memory=726712 CPUtime=221.68 cores=5,7
/proc/884776/stat : 884776 (pb-oll-rs) R 884773 884776 880757 0 -1 4194304 120626 0 0 0 22066 102 0 0 20 0 1 0 165961455 921681920 181678 134679101440 4194304 5384005 140724702886160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 26865664 140724702888983 140724702889060 140724702889060 140724702896075 0
/proc/884776/statm: 225020 181678 1472 291 0 216554 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 900080 KiB
Current children cumulated memory: 726712 KiB

[startup+282.3 s]
/proc/loadavg: 4.44 4.20 4.14 5/257 885334
/proc/meminfo: memFree=119307740/131524600 swapFree=131071996/131071996
[pid=884776] ppid=884773 vsize=963528 memory=817168 CPUtime=281.52 cores=5,7
/proc/884776/stat : 884776 (pb-oll-rs) R 884773 884776 880757 0 -1 4194304 132734 0 0 0 28036 116 0 0 20 0 1 0 165961455 986652672 204292 134679101440 4194304 5384005 140724702886160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 26865664 140724702888983 140724702889060 140724702889060 140724702896075 0
/proc/884776/statm: 240882 204292 1472 291 0 232416 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 963528 KiB
Current children cumulated memory: 817168 KiB

[startup+342.3 s]
/proc/loadavg: 4.20 4.18 4.13 5/258 885513
/proc/meminfo: memFree=118440684/131524600 swapFree=131071996/131071996
[pid=884776] ppid=884773 vsize=963528 memory=847720 CPUtime=341.37 cores=5,7
/proc/884776/stat : 884776 (pb-oll-rs) R 884773 884776 880757 0 -1 4194304 133009 0 0 0 34008 129 0 0 20 0 1 0 165961455 986652672 211930 134679101440 4194304 5384005 140724702886160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 26865664 140724702888983 140724702889060 140724702889060 140724702896075 0
/proc/884776/statm: 240882 211930 1472 291 0 232416 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 963528 KiB
Current children cumulated memory: 847720 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.16 4.13 5/257 885523
/proc/meminfo: memFree=118319888/131524600 swapFree=131071996/131071996
[pid=884776] ppid=884773 vsize=989644 memory=900764 CPUtime=401.2 cores=5,7
/proc/884776/stat : 884776 (pb-oll-rs) R 884773 884776 880757 0 -1 4194304 137474 0 0 0 39980 140 0 0 20 0 1 0 165961455 1013395456 225191 134679101440 4194304 5384005 140724702886160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 26865664 140724702888983 140724702889060 140724702889060 140724702896075 0
/proc/884776/statm: 247411 225191 1472 291 0 238945 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 989644 KiB
Current children cumulated memory: 900764 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/257 885549
/proc/meminfo: memFree=117196276/131524600 swapFree=131071996/131071996
[pid=884776] ppid=884773 vsize=992976 memory=902872 CPUtime=461.03 cores=5,7
/proc/884776/stat : 884776 (pb-oll-rs) R 884773 884776 880757 0 -1 4194304 138428 0 0 0 45948 155 0 0 20 0 1 0 165961455 1016807424 225718 134679101440 4194304 5384005 140724702886160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 26865664 140724702888983 140724702889060 140724702889060 140724702896075 0
/proc/884776/statm: 248244 225718 1472 291 0 239778 0

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

Current children cumulated memory: 1469832 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 886604
/proc/meminfo: memFree=109253184/131524600 swapFree=131071996/131071996
[pid=884776] ppid=884773 vsize=1716672 memory=1470096 CPUtime=2914.18 cores=5,7
/proc/884776/stat : 884776 (pb-oll-rs) R 884773 884776 880757 0 -1 4194304 242067 0 0 0 290911 507 0 0 20 0 1 0 165961455 1757872128 367524 134679101440 4194304 5384005 140724702886160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 26865664 140724702888983 140724702889060 140724702889060 140724702896075 0
/proc/884776/statm: 429168 367524 1472 291 0 420702 0
Current children cumulated CPU time: 2914.18 s
Current children cumulated vsize: 1716672 KiB
Current children cumulated memory: 1470096 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/256 886614
/proc/meminfo: memFree=109219356/131524600 swapFree=131071996/131071996
[pid=884776] ppid=884773 vsize=1741380 memory=1503408 CPUtime=2974.01 cores=5,7
/proc/884776/stat : 884776 (pb-oll-rs) R 884773 884776 880757 0 -1 4194304 248861 0 0 0 296885 516 0 0 20 0 1 0 165961455 1783173120 375852 134679101440 4194304 5384005 140724702886160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 26865664 140724702888983 140724702889060 140724702889060 140724702896075 0
/proc/884776/statm: 435345 375852 1472 291 0 426879 0
Current children cumulated CPU time: 2974.01 s
Current children cumulated vsize: 1741380 KiB
Current children cumulated memory: 1503408 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/256 886626
/proc/meminfo: memFree=109218392/131524600 swapFree=131071996/131071996
[pid=884776] ppid=884773 vsize=1741380 memory=1503408 CPUtime=3033.84 cores=5,7
/proc/884776/stat : 884776 (pb-oll-rs) R 884773 884776 880757 0 -1 4194304 249279 0 0 0 302861 523 0 0 20 0 1 0 165961455 1783173120 375852 134679101440 4194304 5384005 140724702886160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 26865664 140724702888983 140724702889060 140724702889060 140724702896075 0
/proc/884776/statm: 435345 375852 1472 291 0 426879 0
Current children cumulated CPU time: 3033.84 s
Current children cumulated vsize: 1741380 KiB
Current children cumulated memory: 1503408 KiB

[startup+3102.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/256 886637
/proc/meminfo: memFree=109205772/131524600 swapFree=131071996/131071996
[pid=884776] ppid=884773 vsize=1741380 memory=1503408 CPUtime=3093.66 cores=5,7
/proc/884776/stat : 884776 (pb-oll-rs) R 884773 884776 880757 0 -1 4194304 249628 0 0 0 308836 530 0 0 20 0 1 0 165961455 1783173120 375852 134679101440 4194304 5384005 140724702886160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 26865664 140724702888983 140724702889060 140724702889060 140724702896075 0
/proc/884776/statm: 435345 375852 1472 291 0 426879 0
Current children cumulated CPU time: 3093.66 s
Current children cumulated vsize: 1741380 KiB
Current children cumulated memory: 1503408 KiB

[startup+3162.3 s]
/proc/loadavg: 4.44 4.21 4.12 5/254 886647
/proc/meminfo: memFree=109077904/131524600 swapFree=131071996/131071996
[pid=884776] ppid=884773 vsize=1741380 memory=1503464 CPUtime=3153.49 cores=5,7
/proc/884776/stat : 884776 (pb-oll-rs) R 884773 884776 880757 0 -1 4194304 249981 0 0 0 314816 533 0 0 20 0 1 0 165961455 1783173120 375866 134679101440 4194304 5384005 140724702886160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 26865664 140724702888983 140724702889060 140724702889060 140724702896075 0
/proc/884776/statm: 435345 375866 1472 291 0 426879 0
Current children cumulated CPU time: 3153.49 s
Current children cumulated vsize: 1741380 KiB
Current children cumulated memory: 1503464 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.18 4.11 5/254 886657
/proc/meminfo: memFree=109077556/131524600 swapFree=131071996/131071996
[pid=884776] ppid=884773 vsize=1741380 memory=1503568 CPUtime=3213.31 cores=5,7
/proc/884776/stat : 884776 (pb-oll-rs) R 884773 884776 880757 0 -1 4194304 250471 0 0 0 320797 534 0 0 20 0 1 0 165961455 1783173120 375892 134679101440 4194304 5384005 140724702886160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 26865664 140724702888983 140724702889060 140724702889060 140724702896075 0
/proc/884776/statm: 435345 375892 1472 291 0 426879 0
Current children cumulated CPU time: 3213.31 s
Current children cumulated vsize: 1741380 KiB
Current children cumulated memory: 1503568 KiB

[startup+3282.3 s]
/proc/loadavg: 4.22 4.19 4.12 5/254 886668
/proc/meminfo: memFree=109069260/131524600 swapFree=131071996/131071996
[pid=884776] ppid=884773 vsize=1741380 memory=1503648 CPUtime=3273.14 cores=5,7
/proc/884776/stat : 884776 (pb-oll-rs) R 884773 884776 880757 0 -1 4194304 250953 0 0 0 326776 538 0 0 20 0 1 0 165961455 1783173120 375912 134679101440 4194304 5384005 140724702886160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 26865664 140724702888983 140724702889060 140724702889060 140724702896075 0
/proc/884776/statm: 435345 375912 1472 291 0 426879 0
Current children cumulated CPU time: 3273.14 s
Current children cumulated vsize: 1741380 KiB
Current children cumulated memory: 1503648 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.20 4.12 5/256 886682
/proc/meminfo: memFree=108984424/131524600 swapFree=131071996/131071996
[pid=884776] ppid=884773 vsize=1741380 memory=1503648 CPUtime=3332.97 cores=5,7
/proc/884776/stat : 884776 (pb-oll-rs) R 884773 884776 880757 0 -1 4194304 251290 0 0 0 332749 548 0 0 20 0 1 0 165961455 1783173120 375912 134679101440 4194304 5384005 140724702886160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 26865664 140724702888983 140724702889060 140724702889060 140724702896075 0
/proc/884776/statm: 435345 375912 1472 291 0 426879 0
Current children cumulated CPU time: 3332.97 s
Current children cumulated vsize: 1741380 KiB
Current children cumulated memory: 1503648 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.19 4.12 5/256 886692
/proc/meminfo: memFree=108939440/131524600 swapFree=131071996/131071996
[pid=884776] ppid=884773 vsize=1741380 memory=1503648 CPUtime=3392.8 cores=5,7
/proc/884776/stat : 884776 (pb-oll-rs) R 884773 884776 880757 0 -1 4194304 251612 0 0 0 338729 551 0 0 20 0 1 0 165961455 1783173120 375912 134679101440 4194304 5384005 140724702886160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 26865664 140724702888983 140724702889060 140724702889060 140724702896075 0
/proc/884776/statm: 435345 375912 1472 291 0 426879 0
Current children cumulated CPU time: 3392.8 s
Current children cumulated vsize: 1741380 KiB
Current children cumulated memory: 1503648 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.17 4.12 5/257 886707
/proc/meminfo: memFree=108926016/131524600 swapFree=131071996/131071996
[pid=884776] ppid=884773 vsize=1741380 memory=1503684 CPUtime=3452.63 cores=5,7
/proc/884776/stat : 884776 (pb-oll-rs) R 884773 884776 880757 0 -1 4194304 251957 0 0 0 344709 554 0 0 20 0 1 0 165961455 1783173120 375921 134679101440 4194304 5384005 140724702886160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 26865664 140724702888983 140724702889060 140724702889060 140724702896075 0
/proc/884776/statm: 435345 375921 1472 291 0 426879 0
Current children cumulated CPU time: 3452.63 s
Current children cumulated vsize: 1741380 KiB
Current children cumulated memory: 1503684 KiB

[startup+3522.3 s]
/proc/loadavg: 4.36 4.23 4.14 5/257 886717
/proc/meminfo: memFree=108901472/131524600 swapFree=131071996/131071996
[pid=884776] ppid=884773 vsize=1741380 memory=1503684 CPUtime=3512.45 cores=5,7
/proc/884776/stat : 884776 (pb-oll-rs) R 884773 884776 880757 0 -1 4194304 252379 0 0 0 350688 557 0 0 20 0 1 0 165961455 1783173120 375921 134679101440 4194304 5384005 140724702886160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 26865664 140724702888983 140724702889060 140724702889060 140724702896075 0
/proc/884776/statm: 435345 375921 1472 291 0 426879 0
Current children cumulated CPU time: 3512.45 s
Current children cumulated vsize: 1741380 KiB
Current children cumulated memory: 1503684 KiB

[startup+3582.3 s]
/proc/loadavg: 4.24 4.22 4.14 5/257 886727
/proc/meminfo: memFree=108901172/131524600 swapFree=131071996/131071996
[pid=884776] ppid=884773 vsize=1741380 memory=1503684 CPUtime=3572.27 cores=5,7
/proc/884776/stat : 884776 (pb-oll-rs) R 884773 884776 880757 0 -1 4194304 252839 0 0 0 356666 561 0 0 20 0 1 0 165961455 1783173120 375921 134679101440 4194304 5384005 140724702886160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 26865664 140724702888983 140724702889060 140724702889060 140724702896075 0
/proc/884776/statm: 435345 375921 1472 291 0 426879 0
Current children cumulated CPU time: 3572.27 s
Current children cumulated vsize: 1741380 KiB
Current children cumulated memory: 1503684 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.14 4.19 4.14 5/257 886731
/proc/meminfo: memFree=108901060/131524600 swapFree=131071996/131071996
[pid=884776] ppid=884773 vsize=1741380 memory=1503684 CPUtime=3600 cores=5,7
/proc/884776/stat : 884776 (pb-oll-rs) R 884773 884776 880757 0 -1 4194304 253092 0 0 0 359437 563 0 0 20 0 1 0 165961455 1783173120 375921 134679101440 4194304 5384005 140724702886160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 26865664 140724702888983 140724702889060 140724702889060 140724702896075 0
/proc/884776/statm: 435345 375921 1472 291 0 426879 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1741380 KiB
Current children cumulated memory: 1503684 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.42 s, system=5.65978 s

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

[startup+3610.11 s]
/proc/loadavg: 4.14 4.19 4.14 5/257 886731
/proc/meminfo: memFree=108901060/131524600 swapFree=131071996/131071996
[pid=884776] ppid=884773 vsize=1741380 memory=1503684 CPUtime=3600 cores=5,7
/proc/884776/stat : 884776 (pb-oll-rs) R 884773 884776 880757 0 -1 4194304 253092 0 0 0 359437 563 0 0 20 0 1 0 165961455 1783173120 375921 134679101440 4194304 5384005 140724702886160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 26865664 140724702888983 140724702889060 140724702889060 140724702896075 0
/proc/884776/statm: 435345 375921 1472 291 0 426879 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1741380 KiB
Current children cumulated memory: 1503684 KiB

Child status: 0

Real time (s): 3610.18
CPU time (s): 3600.08
CPU user time (s): 3594.42
CPU system time (s): 5.65978
CPU usage (%): 99.7203
Max. virtual memory (cumulated for all children) (KiB): 1741380
Max. memory (cumulated for all children) (KiB): 1503684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.42
system time used= 5.65978
maximum resident set size= 1503980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 253112
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= 119
involuntary context switches= 2454


# summary of solver processes directly reported to runsolver:
#   pid: 884776
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3594.42
#   total CPU system time (s): 5.65978

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01021 second user time and 17.2114 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2024-07-16 15:53:29
IDJOB=4436092
IDBENCH=155624
IDSOLVER=3067
FILE ID=nodeC017/4436092-1721137996
RUNJOBID= nodeC017-1721130786-880770
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_4.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436092-1721137996/watcher-4436092-1721137996 -o /tmp/evaluation-result-4436092-1721137996/solver-4436092-1721137996 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721130786-880770 --watchdog 3760  pb-oll-rs HOME/instance-4436092-1721137996.opb

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

MD5SUM BENCH= 9e5b0b67365644613b47988ddf91495e
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.820
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		: 3683.460
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.070
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		: 3633.847
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.877
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		: 3655.121
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.943
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		: 3661.680
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:        121427564 kB
MemAvailable:   125633108 kB
Buffers:          420060 kB
Cached:          4579620 kB
SwapCached:            0 kB
Active:           996020 kB
Inactive:        8407116 kB
Active(anon):       1544 kB
Inactive(anon):  4439624 kB
Active(file):     994476 kB
Inactive(file):  3967492 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2784 kB
Writeback:            60 kB
AnonPages:       4402956 kB
Mapped:           107288 kB
Shmem:             37720 kB
KReclaimable:     166444 kB
Slab:             280224 kB
SReclaimable:     166444 kB
SUnreclaim:       113780 kB
KernelStack:        4112 kB
PageTables:        18300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    5069496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61856 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3276800 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= 890044 MiB
End job on nodeC017 at 2024-07-16 16:53:39