Trace number 4454534

Some explanations

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

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

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

Solver answer on this benchmark

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

DiagnosticValue
AM1LB0
LOWERBOUND-70
NAM1S0
NCORES0
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

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

Verifier Data 

OK	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: 63968 MiB (60752 MiB free)
  memory of node 1: 64473 MiB (62749 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454534-1721474346/watcher-4454534-1721474346 -o /tmp/evaluation-result-4454534-1721474346/solver-4454534-1721474346 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721472488-1064389 --watchdog 3760 pb-oll-rs HOME/instance-4454534-1721474346.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=1065404, runsolver pid=1065401

[startup+0.100094 s]*
/proc/loadavg: 4.20 4.12 3.86 5/254 1065405
/proc/meminfo: memFree=126459384/131524600 swapFree=131071996/131071996
[pid=1065404] ppid=1065401 vsize=43388 memory=11440 CPUtime=0.09 cores=4,6
/proc/1065404/stat : 1065404 (pb-oll-rs) R 1065401 1065404 1064378 0 -1 4194304 2151 0 0 0 7 2 0 0 20 0 1 0 199600814 44429312 2860 134679101440 4194304 5384485 140726049188320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19578880 140726049195029 140726049195106 140726049195106 140726049202123 0
/proc/1065404/statm: 10847 2860 1342 291 0 2381 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 11440 KiB

[startup+0.205546 s]*
/proc/loadavg: 4.20 4.12 3.86 5/254 1065405
/proc/meminfo: memFree=126457028/131524600 swapFree=131071996/131071996
[pid=1065404] ppid=1065401 vsize=43388 memory=13872 CPUtime=0.2 cores=4,6
/proc/1065404/stat : 1065404 (pb-oll-rs) R 1065401 1065404 1064378 0 -1 4194304 2192 0 0 0 18 2 0 0 20 0 1 0 199600814 44429312 3468 134679101440 4194304 5384485 140726049188320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19578880 140726049195029 140726049195106 140726049195106 140726049202123 0
/proc/1065404/statm: 10847 3468 1374 291 0 2381 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 13872 KiB

[startup+0.305488 s]*
/proc/loadavg: 4.20 4.12 3.86 5/254 1065405
/proc/meminfo: memFree=126456696/131524600 swapFree=131071996/131071996
[pid=1065404] ppid=1065401 vsize=43388 memory=13872 CPUtime=0.3 cores=4,6
/proc/1065404/stat : 1065404 (pb-oll-rs) R 1065401 1065404 1064378 0 -1 4194304 2192 0 0 0 28 2 0 0 20 0 1 0 199600814 44429312 3468 134679101440 4194304 5384485 140726049188320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19578880 140726049195029 140726049195106 140726049195106 140726049202123 0
/proc/1065404/statm: 10847 3468 1374 291 0 2381 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 13872 KiB

[startup+0.7002 s]
/proc/loadavg: 4.20 4.12 3.86 5/254 1065405
/proc/meminfo: memFree=126456696/131524600 swapFree=131071996/131071996
[pid=1065404] ppid=1065401 vsize=43388 memory=13872 CPUtime=0.69 cores=4,6
/proc/1065404/stat : 1065404 (pb-oll-rs) R 1065401 1065404 1064378 0 -1 4194304 2215 0 0 0 67 2 0 0 20 0 1 0 199600814 44429312 3468 134679101440 4194304 5384485 140726049188320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19578880 140726049195029 140726049195106 140726049195106 140726049202123 0
/proc/1065404/statm: 10847 3468 1374 291 0 2381 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 13872 KiB

[startup+1.50021 s]
/proc/loadavg: 4.19 4.11 3.86 5/254 1065405
/proc/meminfo: memFree=126443040/131524600 swapFree=131071996/131071996
[pid=1065404] ppid=1065401 vsize=77868 memory=46496 CPUtime=1.49 cores=4,6
/proc/1065404/stat : 1065404 (pb-oll-rs) R 1065401 1065404 1064378 0 -1 4194304 8262 0 0 0 145 4 0 0 20 0 1 0 199600814 79736832 11624 134679101440 4194304 5384485 140726049188320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19578880 140726049195029 140726049195106 140726049195106 140726049202123 0
/proc/1065404/statm: 19467 11624 1435 291 0 11001 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 77868 KiB
Current children cumulated memory: 46496 KiB

[startup+3.10547 s]
/proc/loadavg: 4.19 4.11 3.86 5/254 1065405
/proc/meminfo: memFree=126383592/131524600 swapFree=131071996/131071996
[pid=1065404] ppid=1065401 vsize=131344 memory=89436 CPUtime=3.09 cores=4,6
/proc/1065404/stat : 1065404 (pb-oll-rs) R 1065401 1065404 1064378 0 -1 4194304 14943 0 0 0 302 7 0 0 20 0 1 0 199600814 134496256 22359 134679101440 4194304 5384485 140726049188320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19578880 140726049195029 140726049195106 140726049195106 140726049202123 0
/proc/1065404/statm: 32836 22359 1435 291 0 24370 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 131344 KiB
Current children cumulated memory: 89436 KiB

[startup+6.3002 s]
/proc/loadavg: 4.17 4.11 3.86 5/254 1065405
/proc/meminfo: memFree=126323268/131524600 swapFree=131071996/131071996
[pid=1065404] ppid=1065401 vsize=199676 memory=151964 CPUtime=6.28 cores=4,6
/proc/1065404/stat : 1065404 (pb-oll-rs) R 1065401 1065404 1064378 0 -1 4194304 24936 0 0 0 616 12 0 0 20 0 1 0 199600814 204468224 37991 134679101440 4194304 5384485 140726049188320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19578880 140726049195029 140726049195106 140726049195106 140726049202123 0
/proc/1065404/statm: 49919 37991 1451 291 0 41453 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 199676 KiB
Current children cumulated memory: 151964 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.11 3.86 5/254 1065406
/proc/meminfo: memFree=126223200/131524600 swapFree=131071996/131071996
[pid=1065404] ppid=1065401 vsize=316468 memory=255188 CPUtime=12.66 cores=4,6
/proc/1065404/stat : 1065404 (pb-oll-rs) R 1065401 1065404 1064378 0 -1 4194304 41541 0 0 0 1247 19 0 0 20 0 1 0 199600814 324063232 63797 134679101440 4194304 5384485 140726049188320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19578880 140726049195029 140726049195106 140726049195106 140726049202123 0
/proc/1065404/statm: 79117 63797 1451 291 0 70651 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 316468 KiB
Current children cumulated memory: 255188 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.11 3.86 5/254 1065408
/proc/meminfo: memFree=126180600/131524600 swapFree=131071996/131071996
[pid=1065404] ppid=1065401 vsize=335636 memory=287844 CPUtime=25.43 cores=4,6
/proc/1065404/stat : 1065404 (pb-oll-rs) R 1065401 1065404 1064378 0 -1 4194304 46703 0 0 0 2513 30 0 0 20 0 1 0 199600814 343691264 71961 134679101440 4194304 5384485 140726049188320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19578880 140726049195029 140726049195106 140726049195106 140726049202123 0
/proc/1065404/statm: 83909 71961 1451 291 0 75443 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 335636 KiB
Current children cumulated memory: 287844 KiB

[startup+51.1055 s]
/proc/loadavg: 4.15 4.11 3.87 5/256 1065416
/proc/meminfo: memFree=125994296/131524600 swapFree=131071996/131071996
[pid=1065404] ppid=1065401 vsize=548712 memory=466820 CPUtime=50.98 cores=4,6
/proc/1065404/stat : 1065404 (pb-oll-rs) R 1065401 1065404 1064378 0 -1 4194304 76157 0 0 0 5047 51 0 0 20 0 1 0 199600814 561881088 116705 134679101440 4194304 5384485 140726049188320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19578880 140726049195029 140726049195106 140726049195106 140726049202123 0
/proc/1065404/statm: 137178 116705 1451 291 0 128712 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 548712 KiB
Current children cumulated memory: 466820 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 3.89 5/256 1065426
/proc/meminfo: memFree=125878472/131524600 swapFree=131071996/131071996
[pid=1065404] ppid=1065401 vsize=724132 memory=573304 CPUtime=102.05 cores=4,6
/proc/1065404/stat : 1065404 (pb-oll-rs) R 1065401 1065404 1064378 0 -1 4194304 91111 0 0 0 10131 74 0 0 20 0 1 0 199600814 741511168 143326 134679101440 4194304 5384485 140726049188320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19578880 140726049195029 140726049195106 140726049195106 140726049202123 0
/proc/1065404/statm: 181033 143326 1451 291 0 172567 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 724132 KiB
Current children cumulated memory: 573304 KiB

[startup+162.3 s]
/proc/loadavg: 4.41 4.18 3.93 5/256 1065437
/proc/meminfo: memFree=125741208/131524600 swapFree=131071996/131071996
[pid=1065404] ppid=1065401 vsize=869488 memory=700800 CPUtime=161.91 cores=4,6
/proc/1065404/stat : 1065404 (pb-oll-rs) R 1065401 1065404 1064378 0 -1 4194304 114329 0 0 0 16096 95 0 0 20 0 1 0 199600814 890355712 175200 134679101440 4194304 5384485 140726049188320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19578880 140726049195029 140726049195106 140726049195106 140726049202123 0
/proc/1065404/statm: 217372 175200 1451 291 0 208906 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 869488 KiB
Current children cumulated memory: 700800 KiB

[startup+222.3 s]
/proc/loadavg: 4.22 4.16 3.94 5/256 1065448
/proc/meminfo: memFree=125697944/131524600 swapFree=131071996/131071996
[pid=1065404] ppid=1065401 vsize=900080 memory=724296 CPUtime=221.76 cores=4,6
/proc/1065404/stat : 1065404 (pb-oll-rs) R 1065401 1065404 1064378 0 -1 4194304 119801 0 0 0 22060 116 0 0 20 0 1 0 199600814 921681920 181074 134679101440 4194304 5384485 140726049188320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19578880 140726049195029 140726049195106 140726049195106 140726049202123 0
/proc/1065404/statm: 225020 181074 1451 291 0 216554 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 900080 KiB
Current children cumulated memory: 724296 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.15 3.95 5/256 1065459
/proc/meminfo: memFree=125620568/131524600 swapFree=131071996/131071996
[pid=1065404] ppid=1065401 vsize=963528 memory=787524 CPUtime=281.59 cores=4,6
/proc/1065404/stat : 1065404 (pb-oll-rs) R 1065401 1065404 1064378 0 -1 4194304 132634 0 0 0 28027 132 0 0 20 0 1 0 199600814 986652672 196881 134679101440 4194304 5384485 140726049188320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19578880 140726049195029 140726049195106 140726049195106 140726049202123 0
/proc/1065404/statm: 240882 196881 1451 291 0 232416 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 963528 KiB
Current children cumulated memory: 787524 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.13 3.96 5/256 1065470
/proc/meminfo: memFree=125614144/131524600 swapFree=131071996/131071996
[pid=1065404] ppid=1065401 vsize=963528 memory=787700 CPUtime=341.42 cores=4,6
/proc/1065404/stat : 1065404 (pb-oll-rs) R 1065401 1065404 1064378 0 -1 4194304 132719 0 0 0 33999 143 0 0 20 0 1 0 199600814 986652672 196925 134679101440 4194304 5384485 140726049188320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19578880 140726049195029 140726049195106 140726049195106 140726049202123 0
/proc/1065404/statm: 240882 196925 1451 291 0 232416 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 963528 KiB
Current children cumulated memory: 787700 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.14 3.98 5/256 1065865
/proc/meminfo: memFree=125567424/131524600 swapFree=131071996/131071996
[pid=1065404] ppid=1065401 vsize=989644 memory=819568 CPUtime=401.24 cores=4,6
/proc/1065404/stat : 1065404 (pb-oll-rs) R 1065401 1065404 1064378 0 -1 4194304 138261 0 0 0 39969 155 0 0 20 0 1 0 199600814 1013395456 204892 134679101440 4194304 5384485 140726049188320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19578880 140726049195029 140726049195106 140726049195106 140726049202123 0
/proc/1065404/statm: 247411 204892 1451 291 0 238945 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 989644 KiB
Current children cumulated memory: 819568 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.12 3.99 5/256 1065876
/proc/meminfo: memFree=125553788/131524600 swapFree=131071996/131071996
[pid=1065404] ppid=1065401 vsize=992976 memory=824788 CPUtime=461.07 cores=4,6
/proc/1065404/stat : 1065404 (pb-oll-rs) R 1065401 1065404 1064378 0 -1 4194304 139719 0 0 0 45934 173 0 0 20 0 1 0 199600814 1016807424 206197 134679101440 4194304 5384485 140726049188320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19578880 140726049195029 140726049195106 140726049195106 140726049202123 0
/proc/1065404/statm: 248244 206197 1451 291 0 239778 0

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

Current children cumulated memory: 1634776 KiB

[startup+2922.3 s]
/proc/loadavg: 4.21 4.11 4.10 5/254 1067258
/proc/meminfo: memFree=122595536/131524600 swapFree=131071996/131071996
[pid=1065404] ppid=1065401 vsize=1741380 memory=1651092 CPUtime=2914.94 cores=4,6
/proc/1065404/stat : 1065404 (pb-oll-rs) R 1065401 1065404 1064378 0 -1 4194304 256759 0 0 0 290950 544 0 0 20 0 1 0 199600814 1783173120 412773 134679101440 4194304 5384485 140726049188320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19578880 140726049195029 140726049195106 140726049195106 140726049202123 0
/proc/1065404/statm: 435345 412773 1451 291 0 426879 0
Current children cumulated CPU time: 2914.94 s
Current children cumulated vsize: 1741380 KiB
Current children cumulated memory: 1651092 KiB

[startup+2982.3 s]
/proc/loadavg: 4.23 4.14 4.10 5/254 1067268
/proc/meminfo: memFree=122516040/131524600 swapFree=131071996/131071996
[pid=1065404] ppid=1065401 vsize=1741380 memory=1651092 CPUtime=2974.79 cores=4,6
/proc/1065404/stat : 1065404 (pb-oll-rs) R 1065401 1065404 1064378 0 -1 4194304 257489 0 0 0 296930 549 0 0 20 0 1 0 199600814 1783173120 412773 134679101440 4194304 5384485 140726049188320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19578880 140726049195029 140726049195106 140726049195106 140726049202123 0
/proc/1065404/statm: 435345 412773 1451 291 0 426879 0
Current children cumulated CPU time: 2974.79 s
Current children cumulated vsize: 1741380 KiB
Current children cumulated memory: 1651092 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/254 1067278
/proc/meminfo: memFree=122451068/131524600 swapFree=131071996/131071996
[pid=1065404] ppid=1065401 vsize=1741380 memory=1651092 CPUtime=3034.63 cores=4,6
/proc/1065404/stat : 1065404 (pb-oll-rs) R 1065401 1065404 1064378 0 -1 4194304 258230 0 0 0 302911 552 0 0 20 0 1 0 199600814 1783173120 412773 134679101440 4194304 5384485 140726049188320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19578880 140726049195029 140726049195106 140726049195106 140726049202123 0
/proc/1065404/statm: 435345 412773 1451 291 0 426879 0
Current children cumulated CPU time: 3034.63 s
Current children cumulated vsize: 1741380 KiB
Current children cumulated memory: 1651092 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/256 1067295
/proc/meminfo: memFree=122351464/131524600 swapFree=131071996/131071996
[pid=1065404] ppid=1065401 vsize=1741380 memory=1651092 CPUtime=3094.45 cores=4,6
/proc/1065404/stat : 1065404 (pb-oll-rs) R 1065401 1065404 1064378 0 -1 4194304 258985 0 0 0 308891 554 0 0 20 0 1 0 199600814 1783173120 412773 134679101440 4194304 5384485 140726049188320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19578880 140726049195029 140726049195106 140726049195106 140726049202123 0
/proc/1065404/statm: 435345 412773 1451 291 0 426879 0
Current children cumulated CPU time: 3094.45 s
Current children cumulated vsize: 1741380 KiB
Current children cumulated memory: 1651092 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/256 1067305
/proc/meminfo: memFree=122120712/131524600 swapFree=131071996/131071996
[pid=1065404] ppid=1065401 vsize=1741380 memory=1651092 CPUtime=3154.28 cores=4,6
/proc/1065404/stat : 1065404 (pb-oll-rs) R 1065401 1065404 1064378 0 -1 4194304 259680 0 0 0 314866 562 0 0 20 0 1 0 199600814 1783173120 412773 134679101440 4194304 5384485 140726049188320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19578880 140726049195029 140726049195106 140726049195106 140726049202123 0
/proc/1065404/statm: 435345 412773 1451 291 0 426879 0
Current children cumulated CPU time: 3154.28 s
Current children cumulated vsize: 1741380 KiB
Current children cumulated memory: 1651092 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/256 1067315
/proc/meminfo: memFree=122002944/131524600 swapFree=131071996/131071996
[pid=1065404] ppid=1065401 vsize=1741380 memory=1651092 CPUtime=3214.1 cores=4,6
/proc/1065404/stat : 1065404 (pb-oll-rs) R 1065401 1065404 1064378 0 -1 4194304 260416 0 0 0 320842 568 0 0 20 0 1 0 199600814 1783173120 412773 134679101440 4194304 5384485 140726049188320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19578880 140726049195029 140726049195106 140726049195106 140726049202123 0
/proc/1065404/statm: 435345 412773 1451 291 0 426879 0
Current children cumulated CPU time: 3214.1 s
Current children cumulated vsize: 1741380 KiB
Current children cumulated memory: 1651092 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/256 1067326
/proc/meminfo: memFree=121963368/131524600 swapFree=131071996/131071996
[pid=1065404] ppid=1065401 vsize=1741380 memory=1651092 CPUtime=3273.93 cores=4,6
/proc/1065404/stat : 1065404 (pb-oll-rs) R 1065401 1065404 1064378 0 -1 4194304 261164 0 0 0 326821 572 0 0 20 0 1 0 199600814 1783173120 412773 134679101440 4194304 5384485 140726049188320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19578880 140726049195029 140726049195106 140726049195106 140726049202123 0
/proc/1065404/statm: 435345 412773 1451 291 0 426879 0
Current children cumulated CPU time: 3273.93 s
Current children cumulated vsize: 1741380 KiB
Current children cumulated memory: 1651092 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 1067337
/proc/meminfo: memFree=121959168/131524600 swapFree=131071996/131071996
[pid=1065404] ppid=1065401 vsize=1741380 memory=1651092 CPUtime=3333.77 cores=4,6
/proc/1065404/stat : 1065404 (pb-oll-rs) R 1065401 1065404 1064378 0 -1 4194304 261826 0 0 0 332801 576 0 0 20 0 1 0 199600814 1783173120 412773 134679101440 4194304 5384485 140726049188320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19578880 140726049195029 140726049195106 140726049195106 140726049202123 0
/proc/1065404/statm: 435345 412773 1451 291 0 426879 0
Current children cumulated CPU time: 3333.77 s
Current children cumulated vsize: 1741380 KiB
Current children cumulated memory: 1651092 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/254 1067348
/proc/meminfo: memFree=121955916/131524600 swapFree=131071996/131071996
[pid=1065404] ppid=1065401 vsize=1741380 memory=1651092 CPUtime=3393.59 cores=4,6
/proc/1065404/stat : 1065404 (pb-oll-rs) R 1065401 1065404 1064378 0 -1 4194304 262524 0 0 0 338780 579 0 0 20 0 1 0 199600814 1783173120 412773 134679101440 4194304 5384485 140726049188320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19578880 140726049195029 140726049195106 140726049195106 140726049202123 0
/proc/1065404/statm: 435345 412773 1451 291 0 426879 0
Current children cumulated CPU time: 3393.59 s
Current children cumulated vsize: 1741380 KiB
Current children cumulated memory: 1651092 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/254 1067359
/proc/meminfo: memFree=121955756/131524600 swapFree=131071996/131071996
[pid=1065404] ppid=1065401 vsize=1741380 memory=1651092 CPUtime=3453.42 cores=4,6
/proc/1065404/stat : 1065404 (pb-oll-rs) R 1065401 1065404 1064378 0 -1 4194304 263239 0 0 0 344760 582 0 0 20 0 1 0 199600814 1783173120 412773 134679101440 4194304 5384485 140726049188320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19578880 140726049195029 140726049195106 140726049195106 140726049202123 0
/proc/1065404/statm: 435345 412773 1451 291 0 426879 0
Current children cumulated CPU time: 3453.42 s
Current children cumulated vsize: 1741380 KiB
Current children cumulated memory: 1651092 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/255 1067371
/proc/meminfo: memFree=121900244/131524600 swapFree=131071996/131071996
[pid=1065404] ppid=1065401 vsize=1741380 memory=1651092 CPUtime=3513.25 cores=4,6
/proc/1065404/stat : 1065404 (pb-oll-rs) R 1065401 1065404 1064378 0 -1 4194304 263987 0 0 0 350738 587 0 0 20 0 1 0 199600814 1783173120 412773 134679101440 4194304 5384485 140726049188320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19578880 140726049195029 140726049195106 140726049195106 140726049202123 0
/proc/1065404/statm: 435345 412773 1451 291 0 426879 0
Current children cumulated CPU time: 3513.25 s
Current children cumulated vsize: 1741380 KiB
Current children cumulated memory: 1651092 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 1067381
/proc/meminfo: memFree=121899440/131524600 swapFree=131071996/131071996
[pid=1065404] ppid=1065401 vsize=1741380 memory=1651092 CPUtime=3573.08 cores=4,6
/proc/1065404/stat : 1065404 (pb-oll-rs) R 1065401 1065404 1064378 0 -1 4194304 264642 0 0 0 356719 589 0 0 20 0 1 0 199600814 1783173120 412773 134679101440 4194304 5384485 140726049188320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19578880 140726049195029 140726049195106 140726049195106 140726049202123 0
/proc/1065404/statm: 435345 412773 1451 291 0 426879 0
Current children cumulated CPU time: 3573.08 s
Current children cumulated vsize: 1741380 KiB
Current children cumulated memory: 1651092 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 1067387
/proc/meminfo: memFree=121898504/131524600 swapFree=131071996/131071996
[pid=1065404] ppid=1065401 vsize=1741380 memory=1651092 CPUtime=3600.01 cores=4,6
/proc/1065404/stat : 1065404 (pb-oll-rs) R 1065401 1065404 1064378 0 -1 4194304 265011 0 0 0 359411 590 0 0 20 0 1 0 199600814 1783173120 412773 134679101440 4194304 5384485 140726049188320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19578880 140726049195029 140726049195106 140726049195106 140726049202123 0
/proc/1065404/statm: 435345 412773 1451 291 0 426879 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1741380 KiB
Current children cumulated memory: 1651092 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.12 s, system=5.90519 s

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

[startup+3609.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 1067387
/proc/meminfo: memFree=121898504/131524600 swapFree=131071996/131071996
[pid=1065404] ppid=1065401 vsize=1741380 memory=1651092 CPUtime=3600.01 cores=4,6
/proc/1065404/stat : 1065404 (pb-oll-rs) R 1065401 1065404 1064378 0 -1 4194304 265011 0 0 0 359411 590 0 0 20 0 1 0 199600814 1783173120 412773 134679101440 4194304 5384485 140726049188320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19578880 140726049195029 140726049195106 140726049195106 140726049202123 0
/proc/1065404/statm: 435345 412773 1451 291 0 426879 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1741380 KiB
Current children cumulated memory: 1651092 KiB

Child status: 0

Real time (s): 3609.31
CPU time (s): 3600.03
CPU user time (s): 3594.12
CPU system time (s): 5.90519
CPU usage (%): 99.7429
Max. virtual memory (cumulated for all children) (KiB): 1741380
Max. memory (cumulated for all children) (KiB): 1651092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.12
system time used= 5.90518
maximum resident set size= 1651328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265042
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 164
involuntary context switches= 2041


# summary of solver processes directly reported to runsolver:
#   pid: 1065404
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3594.12
#   total CPU system time (s): 5.90519

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.74979 second user time and 16.711 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-20 13:19:19
IDJOB=4454534
IDBENCH=155624
IDSOLVER=3082
FILE ID=nodeC026/4454534-1721474346
RUNJOBID= nodeC026-1721472488-1064389
SLURM_JOB_ID= 7545743
Free space on /tmp= 890064 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
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-4454534-1721474346/watcher-4454534-1721474346 -o /tmp/evaluation-result-4454534-1721474346/solver-4454534-1721474346 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721472488-1064389 --watchdog 3760  pb-oll-rs HOME/instance-4454534-1721474346.opb

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

MD5SUM BENCH= 9e5b0b67365644613b47988ddf91495e
RANDOM SEED=1962973494

nodeC026.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		: 3682.105
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.74
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		: 3691.544
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	: 7005.45
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		: 3638.978
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.74
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		: 3599.967
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	: 7005.45
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		: 3649.337
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.74
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		: 3691.632
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	: 7005.45
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		: 3640.922
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.083
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	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126465824 kB
MemAvailable:   128252892 kB
Buffers:          607924 kB
Cached:          2008776 kB
SwapCached:            0 kB
Active:          1146852 kB
Inactive:        3263272 kB
Active(anon):       1548 kB
Inactive(anon):  1837456 kB
Active(file):    1145304 kB
Inactive(file):  1425816 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2480 kB
Writeback:             4 kB
AnonPages:       1786740 kB
Mapped:           111772 kB
Shmem:             45912 kB
KReclaimable:     111540 kB
Slab:             225692 kB
SReclaimable:     111540 kB
SUnreclaim:       114152 kB
KernelStack:        4060 kB
PageTables:        13004 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2342908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1527808 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:      283348 kB
DirectMap2M:    33044480 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC026 at 2024-07-20 14:19:29