Trace number 4454531

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)3971977 3600.06 3613.02

DiagnosticValue
AM1LB0
LOWERBOUND249997
NAM1S0
NCORES1
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_4.opb
MD5SUM7079e2ef0385c9f74a24551721d50a52
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 benchmark3971977
Best CPU time to get the best result obtained on this benchmark338.862
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 119095488
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 53595180278
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 119095488
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 53595180278
Number of bits of the biggest sum of numbers36
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.09/0.11	c [STEP] solving
0.09/0.11	c #variables 5100 #constraints 12510
0.09/0.11	c SMALL=int, LARGE=long long
0.09/0.11	c bounds - >= -50 @ 0.077012
0.09/0.11	c stratification level: 114791256
0.60/0.63	c bounds 201484653 >= -50 @ 0.595598
0.60/0.63	c stratification level: 114084125
0.60/0.65	c bounds 201335687 >= -50 @ 0.610616
0.60/0.65	c stratification level: 110592000
0.60/0.69	c bounds 201333407 >= -50 @ 0.645646
0.60/0.69	c stratification level: 109902239
0.68/0.76	c bounds 201239233 >= -50 @ 0.711262
0.68/0.76	c stratification level: 101194696
0.68/0.77	c bounds 201186383 >= -50 @ 0.724449
0.68/0.77	c stratification level: 100544625
0.68/0.79	c bounds 201062175 >= -50 @ 0.741203
0.68/0.79	c stratification level: 99897344
0.78/0.81	c bounds 201036601 >= -50 @ 0.764852
0.78/0.81	c stratification level: 99252847
0.99/1.07	c bounds 196528119 >= -50 @ 1.01328
0.99/1.07	c stratification level: 98611128
0.99/1.09	c bounds 196482707 >= -50 @ 1.02786
0.99/1.09	c stratification level: 97972181
0.99/1.09	c bounds 196463419 >= -50 @ 1.03573
0.99/1.09	c stratification level: 97336000
1.09/1.11	c bounds 196447371 >= -50 @ 1.05027
1.09/1.11	c stratification level: 96702579
1.09/1.12	c bounds 174740737 >= -50 @ 1.06062
1.09/1.12	c stratification level: 95443993
1.18/1.21	c bounds 171535515 >= -50 @ 1.14571
1.18/1.21	c stratification level: 94818816
1.18/1.22	c bounds 149828881 >= -50 @ 1.15501
1.18/1.22	c stratification level: 94196375
1.18/1.24	c bounds 149580267 >= -50 @ 1.16834
1.18/1.24	c stratification level: 92959677
1.18/1.25	c bounds 149332587 >= -50 @ 1.17539
1.18/1.25	c stratification level: 91733851
1.18/1.26	c bounds 149313299 >= -50 @ 1.18416
1.18/1.26	c stratification level: 90518849
1.18/1.29	c bounds 149295867 >= -50 @ 1.21155
1.18/1.29	c stratification level: 89915392
1.27/1.30	c bounds 149258379 >= -50 @ 1.22113
1.27/1.30	c stratification level: 89314623
1.27/1.31	c bounds 149239091 >= -50 @ 1.23145
1.27/1.31	c stratification level: 88716536
1.27/1.33	c bounds 149006819 >= -50 @ 1.24775
1.27/1.33	c stratification level: 88121125
1.38/1.48	c bounds 138586597 >= -50 @ 1.3999
1.38/1.48	c stratification level: 87528384
1.48/1.50	c bounds 138496179 >= -50 @ 1.4127
1.48/1.50	c stratification level: 86938307
1.58/1.64	c bounds 114055015 >= -50 @ 1.54617
1.58/1.64	c stratification level: 86350888
1.58/1.65	c bounds 113935655 >= -50 @ 1.55925
1.58/1.65	c stratification level: 85766121
1.58/1.66	c bounds 113701765 >= -50 @ 1.56974
1.58/1.66	c stratification level: 85184000
1.58/1.69	c bounds 113619893 >= -50 @ 1.59391
1.58/1.69	c stratification level: 84027672
1.68/1.70	c bounds 113435823 >= -50 @ 1.6043
1.68/1.70	c stratification level: 83453453
1.68/1.71	c bounds 113400207 >= -50 @ 1.61251
1.68/1.71	c stratification level: 82881856
1.78/1.87	c bounds 113274587 >= -50 @ 1.76496
1.78/1.87	c stratification level: 82312875
1.88/1.90	c bounds 113187517 >= -50 @ 1.79984
1.88/1.90	c stratification level: 81746504
1.88/1.92	c bounds 113170315 >= -50 @ 1.81282
1.88/1.92	c stratification level: 80062991
1.88/1.95	c bounds 113122777 >= -50 @ 1.84183
1.88/1.95	c stratification level: 79507000
1.88/1.96	c bounds 113113017 >= -50 @ 1.85234
1.88/1.96	c stratification level: 78953589
1.88/1.98	c bounds 113100189 >= -50 @ 1.88084
1.88/1.98	c stratification level: 78402752
2.78/2.82	c bounds 95141123 >= -50 @ 2.70869
2.78/2.82	c stratification level: 77854483
2.78/2.86	c bounds 94971527 >= -50 @ 2.74725
2.78/2.86	c stratification level: 77308776
2.78/2.88	c bounds 94935465 >= -50 @ 2.76616
2.78/2.88	c stratification level: 76765625
2.78/2.89	c bounds 94877889 >= -50 @ 2.77737
2.78/2.89	c stratification level: 76225024
2.87/2.91	c bounds 94811167 >= -50 @ 2.79052
2.87/2.91	c stratification level: 75686967
2.87/2.94	c bounds 94786313 >= -50 @ 2.82218
2.87/2.94	c stratification level: 75151448
2.87/2.95	c bounds 94779881 >= -50 @ 2.83166
2.87/2.95	c stratification level: 74088000
2.87/2.96	c bounds 71756009 >= -50 @ 2.84227
2.87/2.96	c stratification level: 71473375
2.87/2.99	c bounds 71703857 >= -50 @ 2.86992
2.87/2.99	c stratification level: 70957944
2.87/3.00	c bounds 71658321 >= -50 @ 2.88089
2.87/3.00	c stratification level: 70444997
2.98/3.09	c bounds 71655919 >= -50 @ 2.97346
2.98/3.09	c stratification level: 69934528
2.98/3.11	c bounds 71607663 >= -50 @ 2.98683
2.98/3.11	c stratification level: 69426531
3.08/3.15	c bounds 71598263 >= -50 @ 3.03163
3.08/3.15	c stratification level: 68921000
3.08/3.17	c bounds 71515281 >= -50 @ 3.04558
3.08/3.17	c stratification level: 68417929
3.08/3.18	c bounds 71392465 >= -50 @ 3.05717
3.08/3.18	c stratification level: 67419143
3.18/3.20	c bounds 71386033 >= -50 @ 3.0723
3.18/3.20	c stratification level: 66430125
3.18/3.23	c bounds 71370841 >= -50 @ 3.10077
3.18/3.23	c stratification level: 65939264
3.18/3.25	c bounds 71228225 >= -50 @ 3.12862
3.18/3.25	c stratification level: 64964808
3.18/3.27	c bounds 71217617 >= -50 @ 3.14864
3.18/3.27	c stratification level: 64481201
3.28/3.34	c bounds 31783363 >= -50 @ 3.20998
3.28/3.34	c stratification level: 31554496
3.28/3.35	c bounds 31581013 >= -50 @ 3.22089
3.28/3.35	c stratification level: 31255875
3.28/3.36	c bounds 31544165 >= -50 @ 3.2373
3.28/3.36	c stratification level: 30959144
3.28/3.39	c bounds 31462797 >= -50 @ 3.2665
3.28/3.39	c stratification level: 30080231
3.37/3.41	c bounds 31311645 >= -50 @ 3.28307
3.37/3.41	c stratification level: 29791000
3.37/3.44	c bounds 31283129 >= -50 @ 3.30792
3.37/3.44	c stratification level: 29503629
3.37/3.45	c bounds 31252659 >= -50 @ 3.3241
3.37/3.45	c stratification level: 29218112
3.37/3.47	c bounds 31169495 >= -50 @ 3.34463
3.37/3.47	c stratification level: 28934443
5.08/5.15	c #Conflicts:       1000 | #Constraints:      13571
5.08/5.15	c bounds 29350009 >= -50 @ 4.99607
5.08/5.15	c stratification level: 28652616
5.08/5.17	c bounds 29344845 >= -50 @ 5.01852
5.08/5.17	c stratification level: 28372625
5.17/5.20	c bounds 29330869 >= -50 @ 5.04518
5.17/5.20	c stratification level: 28094464
5.17/5.24	c bounds 29227845 >= -50 @ 5.08305
5.17/5.24	c stratification level: 27818127
5.17/5.27	c bounds 29176811 >= -50 @ 5.11622
5.17/5.27	c stratification level: 27543608
5.27/5.31	c bounds 28940871 >= -50 @ 5.15629
5.27/5.31	c stratification level: 27270901
6.16/6.26	c bounds 28202659 >= -50 @ 6.10036
6.16/6.26	c stratification level: 27000000
6.26/6.30	c bounds 28201625 >= -50 @ 6.13917
6.26/6.30	c stratification level: 26730899
6.26/6.37	c bounds 28199195 >= -50 @ 6.20208
6.26/6.37	c stratification level: 26463592
6.36/6.40	c bounds 28169731 >= -50 @ 6.23852
6.36/6.40	c stratification level: 26198073
6.36/6.46	c bounds 28145075 >= -50 @ 6.29303
6.36/6.46	c stratification level: 25934336
6.46/6.51	c bounds 27958603 >= -50 @ 6.34486
6.46/6.51	c stratification level: 25672375
6.46/6.59	c bounds 27906019 >= -50 @ 6.42526
6.46/6.59	c stratification level: 25412184
6.56/6.64	c bounds 27850533 >= -50 @ 6.46389
6.56/6.64	c stratification level: 25153757
6.56/6.67	c bounds 27803203 >= -50 @ 6.49679
6.56/6.67	c stratification level: 24897088
6.66/6.73	c bounds 27730117 >= -50 @ 6.55226
6.66/6.73	c stratification level: 24642171
6.66/6.76	c bounds 27707973 >= -50 @ 6.58643
6.66/6.76	c stratification level: 24389000
7.07/7.15	c bounds 27688379 >= -50 @ 6.97111
7.07/7.15	c stratification level: 24137569
7.07/7.19	c bounds 27666235 >= -50 @ 7.00903
7.07/7.19	c stratification level: 23639903
7.16/7.23	c bounds 27597031 >= -50 @ 7.05272
7.16/7.23	c stratification level: 23393656
7.16/7.27	c bounds 27574887 >= -50 @ 7.08953
7.16/7.27	c stratification level: 23149125
7.26/7.33	c bounds 27572879 >= -50 @ 7.14797
7.26/7.33	c stratification level: 22906304
7.26/7.38	c bounds 27558303 >= -50 @ 7.18954
7.26/7.38	c stratification level: 22665187
7.36/7.41	c bounds 27381617 >= -50 @ 7.22478
7.36/7.41	c stratification level: 22425768
7.36/7.49	c bounds 27364315 >= -50 @ 7.30028
7.36/7.49	c stratification level: 22188041
7.86/7.99	c #Conflicts:       2000 | #Constraints:      14596
7.86/7.99	c INPROCESSING
7.86/7.99	c GARBAGE COLLECT
7.86/7.99	c bounds 24475743 >= -50 @ 7.79316
7.86/7.99	c stratification level: 21952000
7.97/8.02	c bounds 24381985 >= -50 @ 7.81966
7.97/8.02	c stratification level: 21717639
7.97/8.03	c bounds 24317735 >= -50 @ 7.83144
7.97/8.03	c stratification level: 21484952
7.97/8.05	c bounds 24295463 >= -50 @ 7.84749
7.97/8.05	c stratification level: 21253933
7.97/8.07	c bounds 24239797 >= -50 @ 7.87144
7.97/8.07	c stratification level: 21024576
7.97/8.10	c bounds 24226015 >= -50 @ 7.89895
7.97/8.10	c stratification level: 20796875
8.07/8.12	c bounds 24212127 >= -50 @ 7.91531
8.07/8.12	c stratification level: 20570824
8.07/8.13	c bounds 24184177 >= -50 @ 7.93104
8.07/8.13	c stratification level: 20346417
8.07/8.15	c bounds 24175505 >= -50 @ 7.94618
8.07/8.15	c stratification level: 20123648
8.16/8.22	c bounds 23786307 >= -50 @ 8.01235
8.16/8.22	c stratification level: 19902511
8.16/8.23	c bounds 23729697 >= -50 @ 8.02433
8.16/8.23	c stratification level: 19683000
8.16/8.25	c bounds 23667953 >= -50 @ 8.03875
8.16/8.25	c stratification level: 19465109
8.16/8.27	c bounds 23596331 >= -50 @ 8.06106
8.16/8.27	c stratification level: 19034163
8.25/8.30	c bounds 23570863 >= -50 @ 8.09237
8.25/8.30	c stratification level: 18821096
8.25/8.32	c bounds 23483911 >= -50 @ 8.11699
8.25/8.32	c stratification level: 18609625
8.46/8.51	c bounds 23461469 >= -50 @ 8.30176
8.46/8.51	c stratification level: 18399744
8.46/8.54	c bounds 22972333 >= -50 @ 8.3228
8.46/8.54	c stratification level: 18191447
8.56/8.60	c bounds 22867757 >= -50 @ 8.34141
8.56/8.60	c stratification level: 17984728
8.56/8.60	c bounds 22832991 >= -50 @ 8.3711
8.56/8.60	c stratification level: 17779581
8.56/8.62	c bounds 22826769 >= -50 @ 8.40795
8.56/8.62	c stratification level: 17576000
8.75/8.86	c bounds 22723389 >= -50 @ 8.6437
8.75/8.86	c stratification level: 17373979
8.75/8.88	c bounds 22722371 >= -50 @ 8.66823
8.75/8.88	c stratification level: 17173512
8.85/8.90	c bounds 22708697 >= -50 @ 8.68267
8.85/8.90	c stratification level: 16974593
8.85/8.97	c bounds 5605213 >= -50 @ 8.74108
8.85/8.97	c stratification level: 5545233
8.85/8.99	c bounds 5583825 >= -50 @ 8.76824
8.85/8.99	c stratification level: 5451776
8.97/9.01	c bounds 5564407 >= -50 @ 8.78426
8.97/9.01	c stratification level: 5359375
8.97/9.03	c bounds 5537767 >= -50 @ 8.801
8.97/9.03	c stratification level: 5268024
8.97/9.05	c bounds 5433191 >= -50 @ 8.82253
8.97/9.05	c stratification level: 5177717
8.97/9.10	c bounds 5432185 >= -50 @ 8.87408
8.97/9.10	c stratification level: 5088448
9.07/9.15	c bounds 5415527 >= -50 @ 8.91869
9.07/9.15	c stratification level: 5000211
9.07/9.16	c bounds 5410613 >= -50 @ 8.93589
9.07/9.16	c stratification level: 4913000
9.07/9.18	c bounds 5391363 >= -50 @ 8.95113
9.07/9.18	c stratification level: 4826809
9.15/9.22	c bounds 5350885 >= -50 @ 8.99503
9.15/9.22	c stratification level: 4741632
9.15/9.27	c bounds 5333933 >= -50 @ 9.04549
9.15/9.27	c stratification level: 4657463
9.25/9.35	c bounds 5332641 >= -50 @ 9.12261
9.25/9.35	c stratification level: 4574296
9.25/9.39	c bounds 5325513 >= -50 @ 9.16082
9.25/9.39	c stratification level: 4492125
138.52/139.01	c #Conflicts:       3000 | #Constraints:      12649
138.52/139.01	c #Conflicts:       4000 | #Constraints:      13649
138.52/139.01	c INPROCESSING
138.52/139.01	c GARBAGE COLLECT
138.52/139.01	c #Conflicts:       5000 | #Constraints:      10684
138.52/139.01	c #Conflicts:       6000 | #Constraints:      11684
138.52/139.01	c INPROCESSING
138.52/139.01	c GARBAGE COLLECT
138.52/139.01	c #Conflicts:       7000 | #Constraints:      10718
138.52/139.01	c #Conflicts:       8000 | #Constraints:      11718
138.52/139.01	c #Conflicts:       9000 | #Constraints:      12718
138.52/139.01	c INPROCESSING
138.52/139.01	c GARBAGE COLLECT
138.52/139.01	c #Conflicts:      10000 | #Constraints:      11414
138.52/139.01	c #Conflicts:      11000 | #Constraints:      12414
138.52/139.01	c #Conflicts:      12000 | #Constraints:      13414
138.52/139.01	c INPROCESSING
138.52/139.01	c GARBAGE COLLECT
138.52/139.01	c #Conflicts:      13000 | #Constraints:      11840
138.52/139.01	c #Conflicts:      14000 | #Constraints:      12840
138.52/139.01	c #Conflicts:      15000 | #Constraints:      13840
138.52/139.01	c INPROCESSING
138.52/139.01	c GARBAGE COLLECT
138.52/139.01	c #Conflicts:      16000 | #Constraints:      12109
138.52/139.01	c #Conflicts:      17000 | #Constraints:      13109
138.52/139.01	c #Conflicts:      18000 | #Constraints:      14109
138.52/139.01	c INPROCESSING
138.52/139.01	c GARBAGE COLLECT
138.52/139.01	c #Conflicts:      19000 | #Constraints:      12110
138.52/139.01	c #Conflicts:      20000 | #Constraints:      13110
138.52/139.01	c #Conflicts:      21000 | #Constraints:      14110
138.52/139.01	c INPROCESSING
138.52/139.01	c GARBAGE COLLECT
138.52/139.01	c #Conflicts:      22000 | #Constraints:      11868
138.52/139.01	c #Conflicts:      23000 | #Constraints:      12868
138.52/139.01	c #Conflicts:      24000 | #Constraints:      13868
138.52/139.01	c #Conflicts:      25000 | #Constraints:      14868
138.52/139.01	c INPROCESSING
138.52/139.01	c GARBAGE COLLECT
138.52/139.01	c #Conflicts:      26000 | #Constraints:      12478
138.52/139.01	c #Conflicts:      27000 | #Constraints:      13478
138.52/139.01	c #Conflicts:      28000 | #Constraints:      14478
138.52/139.01	c #Conflicts:      29000 | #Constraints:      15478
138.52/139.01	c INPROCESSING
138.52/139.01	c GARBAGE COLLECT
138.52/139.01	c #Conflicts:      30000 | #Constraints:      12870
138.52/139.01	c #Conflicts:      31000 | #Constraints:      13870
138.52/139.01	c #Conflicts:      32000 | #Constraints:      14870
138.52/139.01	c #Conflicts:      33000 | #Constraints:      15870
138.52/139.01	c INPROCESSING
138.52/139.01	c GARBAGE COLLECT
138.52/139.01	c #Conflicts:      34000 | #Constraints:      13096
138.52/139.01	c #Conflicts:      35000 | #Constraints:      14096
138.52/139.01	c #Conflicts:      36000 | #Constraints:      15096
138.52/139.01	c #Conflicts:      37000 | #Constraints:      16096
138.52/139.01	c INPROCESSING
138.52/139.01	c GARBAGE COLLECT
138.52/139.01	c #Conflicts:      38000 | #Constraints:      13024
138.52/139.01	c #Conflicts:      39000 | #Constraints:      14024
138.52/139.01	c #Conflicts:      40000 | #Constraints:      15024
138.52/139.01	c #Conflicts:      41000 | #Constraints:      16024
138.52/139.01	c INPROCESSING
138.52/139.01	c GARBAGE COLLECT
138.52/139.01	c #Conflicts:      42000 | #Constraints:      12789
138.52/139.01	c bounds 5321657 >= -50 @ 137.876
138.52/139.01	c stratification level: 4410944
138.71/139.29	c bounds 5282587 >= -50 @ 138.156
138.71/139.29	c stratification level: 4330747
142.10/142.63	c #Conflicts:      43000 | #Constraints:      13791
142.10/142.63	c bounds 5267765 >= -50 @ 141.47
142.10/142.63	c stratification level: 4173281
142.19/142.76	c bounds 5267515 >= -50 @ 141.601
142.19/142.76	c stratification level: 4096000
142.79/143.36	c bounds 5267473 >= -50 @ 142.2
142.79/143.36	c stratification level: 4019679
144.29/144.85	c bounds 5247423 >= -50 @ 143.672
144.29/144.85	c stratification level: 3796416
151.66/152.25	c #Conflicts:      44000 | #Constraints:      14795
151.66/152.25	c bounds 4917833 >= -50 @ 151.016
151.66/152.25	c stratification level: 3581577
151.76/152.39	c bounds 4913243 >= -50 @ 151.16
151.76/152.39	c stratification level: 3511808
152.36/152.99	c bounds 4913147 >= -50 @ 151.759
152.36/152.99	c stratification level: 3442951
152.57/153.18	c bounds 4908039 >= -50 @ 151.947
152.57/153.18	c stratification level: 3375000
152.75/153.33	c bounds 4907537 >= -50 @ 152.091
152.75/153.33	c stratification level: 3307949
160.93/161.58	c #Conflicts:      45000 | #Constraints:      15800
160.93/161.58	c #Conflicts:      46000 | #Constraints:      16800
160.93/161.58	c bounds 4703997 >= -50 @ 160.278
160.93/161.58	c stratification level: 3241792
197.21/197.90	c INPROCESSING
197.21/197.90	c GARBAGE COLLECT
197.21/197.90	c #Conflicts:      47000 | #Constraints:      13309
197.21/197.90	c #Conflicts:      48000 | #Constraints:      14309
197.21/197.90	c #Conflicts:      49000 | #Constraints:      15309
197.21/197.90	c #Conflicts:      50000 | #Constraints:      16309
197.21/197.90	c #Conflicts:      51000 | #Constraints:      17309
197.21/197.90	c INPROCESSING
197.21/197.90	c GARBAGE COLLECT
197.21/197.90	c #Conflicts:      52000 | #Constraints:      13708
197.21/197.90	c #Conflicts:      53000 | #Constraints:      14708
197.21/197.90	c bounds 4645613 >= -50 @ 196.369
197.21/197.90	c stratification level: 3176523
197.90/198.65	c bounds 4542209 >= -50 @ 197.107
197.90/198.65	c stratification level: 3112136
198.00/198.77	c bounds 4536577 >= -50 @ 197.229
198.00/198.77	c stratification level: 3048625
198.20/198.90	c bounds 4519871 >= -50 @ 197.361
198.20/198.90	c stratification level: 2985984
198.31/199.09	c bounds 4519149 >= -50 @ 197.544
198.31/199.09	c stratification level: 2924207
198.50/199.24	c bounds 4518253 >= -50 @ 197.693
198.50/199.24	c stratification level: 2863288
198.70/199.48	c bounds 4517113 >= -50 @ 197.933
198.70/199.48	c stratification level: 2803221
198.79/199.59	c bounds 4503063 >= -50 @ 198.046
198.79/199.59	c stratification level: 2744000
198.99/199.74	c bounds 4499223 >= -50 @ 198.191
198.99/199.74	c stratification level: 2685619
209.66/210.47	c #Conflicts:      54000 | #Constraints:      15717
209.66/210.47	c #Conflicts:      55000 | #Constraints:      16717
209.66/210.47	c bounds 4496659 >= -50 @ 208.843
209.66/210.47	c stratification level: 2628072
209.96/210.71	c bounds 4493999 >= -50 @ 209.075
209.96/210.71	c stratification level: 2571353
210.27/211.03	c bounds 4493183 >= -50 @ 209.392
210.27/211.03	c stratification level: 2515456
210.37/211.19	c bounds 4483247 >= -50 @ 209.553
210.37/211.19	c stratification level: 2460375
211.05/211.86	c bounds 4469041 >= -50 @ 210.222
211.05/211.86	c stratification level: 2406104
211.36/212.12	c bounds 4452297 >= -50 @ 210.475
211.36/212.12	c stratification level: 2352637
211.45/212.28	c bounds 4433127 >= -50 @ 210.636
211.45/212.28	c stratification level: 2299968
211.65/212.44	c bounds 4411167 >= -50 @ 210.799
211.65/212.44	c stratification level: 2248091
212.45/213.21	c bounds 4409919 >= -50 @ 211.558
212.45/213.21	c stratification level: 2197000
212.85/213.63	c bounds 4404495 >= -50 @ 211.98
212.85/213.63	c stratification level: 2146689
222.71/223.59	c #Conflicts:      56000 | #Constraints:      17727
222.71/223.59	c INPROCESSING
222.71/223.59	c GARBAGE COLLECT
222.71/223.59	c bounds 4403845 >= -50 @ 221.862
222.71/223.59	c stratification level: 2097152
222.81/223.67	c bounds 4403123 >= -50 @ 221.948
222.81/223.67	c stratification level: 2048383
222.90/223.77	c bounds 4399067 >= -50 @ 222.048
222.90/223.77	c stratification level: 2000376
223.01/223.87	c bounds 4390575 >= -50 @ 222.137
223.01/223.87	c stratification level: 1953125
223.41/224.23	c bounds 4389883 >= -50 @ 222.499
223.41/224.23	c stratification level: 1906624
223.61/224.49	c bounds 4386755 >= -50 @ 222.75
223.61/224.49	c stratification level: 1860867
224.21/225.03	c #Conflicts:      57000 | #Constraints:      13807
224.21/225.03	c bounds 4386455 >= -50 @ 223.288
224.21/225.03	c stratification level: 1815848
224.31/225.16	c bounds 4377111 >= -50 @ 223.421
224.31/225.16	c stratification level: 1771561
224.71/225.52	c bounds 4376021 >= -50 @ 223.775
224.71/225.52	c stratification level: 1728000
241.54/242.48	c #Conflicts:      58000 | #Constraints:      14810
241.54/242.48	c #Conflicts:      59000 | #Constraints:      15810
241.54/242.48	c bounds 4372107 >= -50 @ 240.625
241.54/242.48	c stratification level: 1643032
246.42/247.37	c #Conflicts:      60000 | #Constraints:      16811
246.42/247.37	c bounds 4362277 >= -50 @ 245.482
246.42/247.37	c stratification level: 1601613
247.31/248.30	c bounds 4353967 >= -50 @ 246.406
247.31/248.30	c stratification level: 1560896
247.61/248.50	c bounds 4349921 >= -50 @ 246.614
247.61/248.50	c stratification level: 1520875
249.31/250.23	c bounds 4335673 >= -50 @ 248.328
249.31/250.23	c stratification level: 1481544
250.80/251.72	c bounds 4290669 >= -50 @ 249.802
250.80/251.72	c stratification level: 1442897
262.85/263.82	c #Conflicts:      61000 | #Constraints:      17816
262.85/263.82	c INPROCESSING
262.85/263.82	c GARBAGE COLLECT
262.85/263.82	c #Conflicts:      62000 | #Constraints:      13818
262.85/263.82	c bounds 4282305 >= -50 @ 261.827
262.85/263.82	c stratification level: 1404928
262.95/263.95	c bounds 4282279 >= -50 @ 261.945
262.95/263.95	c stratification level: 1367631
263.65/264.63	c bounds 4263661 >= -50 @ 262.626
263.65/264.63	c stratification level: 1331000
265.25/266.26	c #Conflicts:      63000 | #Constraints:      14821
265.25/266.26	c bounds 4262205 >= -50 @ 264.242
265.25/266.26	c stratification level: 1295029
275.41/276.47	c #Conflicts:      64000 | #Constraints:      15822
275.41/276.47	c bounds 4258725 >= -50 @ 274.393
275.41/276.47	c stratification level: 1259712
275.61/276.65	c bounds 4256259 >= -50 @ 274.574
275.61/276.65	c stratification level: 1225043
342.65/344.01	c #Conflicts:      65000 | #Constraints:      16824
342.65/344.01	c #Conflicts:      66000 | #Constraints:      17824
342.65/344.01	c INPROCESSING
342.65/344.01	c GARBAGE COLLECT
342.65/344.01	c #Conflicts:      67000 | #Constraints:      13630
342.65/344.01	c #Conflicts:      68000 | #Constraints:      14630
342.65/344.01	c #Conflicts:      69000 | #Constraints:      15630
342.65/344.01	c #Conflicts:      70000 | #Constraints:      16630
342.65/344.01	c #Conflicts:      71000 | #Constraints:      17630
342.65/344.01	c bounds 4255975 >= -50 @ 341.526
342.65/344.01	c stratification level: 1191016
343.05/344.33	c bounds 4243919 >= -50 @ 341.849
343.05/344.33	c stratification level: 1157625
343.64/344.94	c bounds 4236815 >= -50 @ 342.462
343.64/344.94	c stratification level: 1124864
343.85/345.19	c bounds 4235679 >= -50 @ 342.715
343.85/345.19	c stratification level: 1061208
344.25/345.56	c bounds 4234287 >= -50 @ 343.072
344.25/345.56	c stratification level: 1030301
344.45/345.79	c bounds 4230213 >= -50 @ 343.31
344.45/345.79	c stratification level: 1000000
350.61/351.96	c #Conflicts:      72000 | #Constraints:      18636
350.61/351.96	c bounds 4215927 >= -50 @ 349.441
350.61/351.96	c stratification level: 970299
350.92/352.24	c bounds 4213511 >= -50 @ 349.716
350.92/352.24	c stratification level: 941192
551.96/554.02	c INPROCESSING
551.96/554.02	c GARBAGE COLLECT
551.96/554.02	c #Conflicts:      73000 | #Constraints:      14227
551.96/554.02	c #Conflicts:      74000 | #Constraints:      15227
551.96/554.02	c #Conflicts:      75000 | #Constraints:      16227
551.96/554.02	c #Conflicts:      76000 | #Constraints:      17227
551.96/554.02	c #Conflicts:      77000 | #Constraints:      18227
551.96/554.02	c #Conflicts:      78000 | #Constraints:      19227
551.96/554.02	c INPROCESSING
551.96/554.02	c GARBAGE COLLECT
551.96/554.02	c #Conflicts:      79000 | #Constraints:      14600
551.96/554.02	c #Conflicts:      80000 | #Constraints:      15600
551.96/554.02	c #Conflicts:      81000 | #Constraints:      16600
551.96/554.02	c #Conflicts:      82000 | #Constraints:      17600
551.96/554.02	c #Conflicts:      83000 | #Constraints:      18600
551.96/554.02	c #Conflicts:      84000 | #Constraints:      19600
551.96/554.02	c INPROCESSING
551.96/554.02	c GARBAGE COLLECT
551.96/554.02	c #Conflicts:      85000 | #Constraints:      14786
551.96/554.02	c #Conflicts:      86000 | #Constraints:      15786
551.96/554.02	c #Conflicts:      87000 | #Constraints:      16786
551.96/554.02	c #Conflicts:      88000 | #Constraints:      17786
551.96/554.02	c #Conflicts:      89000 | #Constraints:      18786
551.96/554.02	c #Conflicts:      90000 | #Constraints:      19786
551.96/554.02	c INPROCESSING
551.96/554.02	c GARBAGE COLLECT
551.96/554.02	c #Conflicts:      91000 | #Constraints:      14806
551.96/554.02	c #Conflicts:      92000 | #Constraints:      15806
551.96/554.02	c #Conflicts:      93000 | #Constraints:      16806
551.96/554.02	c #Conflicts:      94000 | #Constraints:      17806
551.96/554.02	c #Conflicts:      95000 | #Constraints:      18806
551.96/554.02	c bounds 4209069 >= -50 @ 550.36
551.96/554.02	c stratification level: 912673
552.35/554.46	c bounds 4204589 >= -50 @ 550.798
552.35/554.46	c stratification level: 884736
553.14/555.26	c bounds 4203245 >= -50 @ 551.591
553.14/555.26	c stratification level: 857375
553.54/555.67	c bounds 4183525 >= -50 @ 551.997
553.54/555.67	c stratification level: 830584
553.84/555.98	c bounds 4183523 >= -50 @ 552.306
553.84/555.98	c stratification level: 778688
554.34/556.41	c bounds 4180157 >= -50 @ 552.73
554.34/556.41	c stratification level: 753571
589.21/591.50	c #Conflicts:      96000 | #Constraints:      19812
589.21/591.50	c INPROCESSING
589.21/591.50	c GARBAGE COLLECT
589.21/591.50	c #Conflicts:      97000 | #Constraints:      14634
589.21/591.50	c #Conflicts:      98000 | #Constraints:      15634
589.21/591.50	c #Conflicts:      99000 | #Constraints:      16634
589.21/591.50	c bounds 4161797 >= -50 @ 587.609
589.21/591.50	c stratification level: 729000
591.69/593.94	c #Conflicts:     100000 | #Constraints:      17635
591.69/593.94	c bounds 4158491 >= -50 @ 590.044
591.69/593.94	c stratification level: 704969
592.09/594.36	c bounds 4156901 >= -50 @ 590.457
592.09/594.36	c stratification level: 681472
592.29/594.59	c bounds 4144291 >= -50 @ 590.687
592.29/594.59	c stratification level: 658503
592.69/594.94	c bounds 4136605 >= -50 @ 591.034
592.69/594.94	c stratification level: 636056
592.90/595.17	c bounds 4132349 >= -50 @ 591.259
592.90/595.17	c stratification level: 614125
593.18/595.42	c bounds 4083629 >= -50 @ 591.516
593.18/595.42	c stratification level: 592704
614.82/617.14	c #Conflicts:     101000 | #Constraints:      18641
614.82/617.14	c bounds 4081757 >= -50 @ 613.098
614.82/617.14	c stratification level: 571787
615.21/617.50	c bounds 4079423 >= -50 @ 613.45
615.21/617.50	c stratification level: 551368
615.50/617.81	c bounds 4075167 >= -50 @ 613.763
615.50/617.81	c stratification level: 531441
615.90/618.22	c bounds 4074501 >= -50 @ 614.167
615.90/618.22	c stratification level: 512000
616.30/618.67	c bounds 4066031 >= -50 @ 614.621
616.30/618.67	c stratification level: 493039
630.76/633.17	c #Conflicts:     102000 | #Constraints:      19646
630.76/633.17	c bounds 4064727 >= -50 @ 629.044
630.76/633.17	c stratification level: 474552
631.04/633.45	c bounds 4055895 >= -50 @ 629.325
631.04/633.45	c stratification level: 456533
640.51/642.93	c bounds 4043947 >= -50 @ 638.738
640.51/642.93	c stratification level: 421875
648.38/650.81	c bounds 4028649 >= -50 @ 646.572
648.38/650.81	c stratification level: 405224
648.59/651.11	c bounds 4027033 >= -50 @ 646.869
648.59/651.11	c stratification level: 389017
1020.75/1024.64	c #Conflicts:     103000 | #Constraints:      20651
1020.75/1024.64	c INPROCESSING
1020.75/1024.64	c GARBAGE COLLECT
1020.75/1024.64	c #Conflicts:     104000 | #Constraints:      15201
1020.75/1024.64	c #Conflicts:     105000 | #Constraints:      16201
1020.75/1024.64	c #Conflicts:     106000 | #Constraints:      17201
1020.75/1024.64	c #Conflicts:     107000 | #Constraints:      18201
1020.75/1024.64	c #Conflicts:     108000 | #Constraints:      19201
1020.75/1024.64	c #Conflicts:     109000 | #Constraints:      20201
1020.75/1024.64	c #Conflicts:     110000 | #Constraints:      21201
1020.75/1024.64	c INPROCESSING
1020.75/1024.64	c GARBAGE COLLECT
1020.75/1024.64	c #Conflicts:     111000 | #Constraints:      15577
1020.75/1024.64	c #Conflicts:     112000 | #Constraints:      16577
1020.75/1024.64	c #Conflicts:     113000 | #Constraints:      17577
1020.75/1024.64	c #Conflicts:     114000 | #Constraints:      18577
1020.75/1024.64	c #Conflicts:     115000 | #Constraints:      19577
1020.75/1024.64	c #Conflicts:     116000 | #Constraints:      20577
1020.75/1024.64	c #Conflicts:     117000 | #Constraints:      21577
1020.75/1024.64	c INPROCESSING
1020.75/1024.64	c GARBAGE COLLECT
1020.75/1024.64	c #Conflicts:     118000 | #Constraints:      15767
1020.75/1024.64	c #Conflicts:     119000 | #Constraints:      16767
1020.75/1024.64	c #Conflicts:     120000 | #Constraints:      17767
1020.75/1024.64	c #Conflicts:     121000 | #Constraints:      18767
1020.75/1024.64	c #Conflicts:     122000 | #Constraints:      19767
1020.75/1024.64	c #Conflicts:     123000 | #Constraints:      20767
1020.75/1024.64	c #Conflicts:     124000 | #Constraints:      21767
1020.75/1024.64	c INPROCESSING
1020.75/1024.64	c GARBAGE COLLECT
1020.75/1024.64	c #Conflicts:     125000 | #Constraints:      15758
1020.75/1024.64	c #Conflicts:     126000 | #Constraints:      16758
1020.75/1024.64	c #Conflicts:     127000 | #Constraints:      17758
1020.75/1024.64	c #Conflicts:     128000 | #Constraints:      18758
1020.75/1024.64	c #Conflicts:     129000 | #Constraints:      19758
1020.75/1024.64	c #Conflicts:     130000 | #Constraints:      20758
1020.75/1024.64	c #Conflicts:     131000 | #Constraints:      21758
1020.75/1024.64	c INPROCESSING
1020.75/1024.64	c GARBAGE COLLECT
1020.75/1024.64	c #Conflicts:     132000 | #Constraints:      15566
1020.75/1024.64	c #Conflicts:     133000 | #Constraints:      16566
1020.75/1024.64	c #Conflicts:     134000 | #Constraints:      17566
1020.75/1024.64	c #Conflicts:     135000 | #Constraints:      18566
1020.75/1024.64	c #Conflicts:     136000 | #Constraints:      19566
1020.75/1024.64	c #Conflicts:     137000 | #Constraints:      20566
1020.75/1024.64	c #Conflicts:     138000 | #Constraints:      21566
1020.75/1024.64	c #Conflicts:     139000 | #Constraints:      22566
1020.75/1024.64	c INPROCESSING
1020.75/1024.64	c GARBAGE COLLECT
1020.75/1024.64	c #Conflicts:     140000 | #Constraints:      16175
1020.75/1024.64	c #Conflicts:     141000 | #Constraints:      17175
1020.75/1024.64	c #Conflicts:     142000 | #Constraints:      18175
1020.75/1024.64	c bounds 4024843 >= -50 @ 1018.19
1020.75/1024.64	c stratification level: 373248
1021.05/1024.91	c bounds 4015893 >= -50 @ 1018.46
1021.05/1024.91	c stratification level: 357911
1021.26/1025.14	c bounds 4015189 >= -50 @ 1018.68
1021.26/1025.14	c stratification level: 343000
1024.25/1028.19	c bounds 4012967 >= -50 @ 1021.72
1024.25/1028.19	c stratification level: 328509
1664.71/1671.03	c #Conflicts:     143000 | #Constraints:      19179
1664.71/1671.03	c #Conflicts:     144000 | #Constraints:      20179
1664.71/1671.03	c #Conflicts:     145000 | #Constraints:      21179
1664.71/1671.03	c #Conflicts:     146000 | #Constraints:      22179
1664.71/1671.03	c #Conflicts:     147000 | #Constraints:      23179
1664.71/1671.03	c INPROCESSING
1664.71/1671.03	c GARBAGE COLLECT
1664.71/1671.03	c #Conflicts:     148000 | #Constraints:      16568
1664.71/1671.03	c #Conflicts:     149000 | #Constraints:      17568
1664.71/1671.03	c #Conflicts:     150000 | #Constraints:      18568
1664.71/1671.03	c #Conflicts:     151000 | #Constraints:      19568
1664.71/1671.03	c #Conflicts:     152000 | #Constraints:      20568
1664.71/1671.03	c #Conflicts:     153000 | #Constraints:      21568
1664.71/1671.03	c #Conflicts:     154000 | #Constraints:      22568
1664.71/1671.03	c #Conflicts:     155000 | #Constraints:      23568
1664.71/1671.03	c INPROCESSING
1664.71/1671.03	c GARBAGE COLLECT
1664.71/1671.03	c #Conflicts:     156000 | #Constraints:      16762
1664.71/1671.03	c #Conflicts:     157000 | #Constraints:      17762
1664.71/1671.03	c #Conflicts:     158000 | #Constraints:      18762
1664.71/1671.03	c #Conflicts:     159000 | #Constraints:      19762
1664.71/1671.03	c #Conflicts:     160000 | #Constraints:      20762
1664.71/1671.03	c #Conflicts:     161000 | #Constraints:      21762
1664.71/1671.03	c #Conflicts:     162000 | #Constraints:      22762
1664.71/1671.03	c #Conflicts:     163000 | #Constraints:      23762
1664.71/1671.03	c INPROCESSING
1664.71/1671.03	c GARBAGE COLLECT
1664.71/1671.03	c #Conflicts:     164000 | #Constraints:      16758
1664.71/1671.03	c #Conflicts:     165000 | #Constraints:      17758
1664.71/1671.03	c #Conflicts:     166000 | #Constraints:      18758
1664.71/1671.03	c #Conflicts:     167000 | #Constraints:      19758
1664.71/1671.03	c #Conflicts:     168000 | #Constraints:      20758
1664.71/1671.03	c #Conflicts:     169000 | #Constraints:      21758
1664.71/1671.03	c #Conflicts:     170000 | #Constraints:      22758
1664.71/1671.03	c #Conflicts:     171000 | #Constraints:      23758
1664.71/1671.03	c INPROCESSING
1664.71/1671.03	c GARBAGE COLLECT
1664.71/1671.03	c #Conflicts:     172000 | #Constraints:      16548
1664.71/1671.03	c #Conflicts:     173000 | #Constraints:      17548
1664.71/1671.03	c #Conflicts:     174000 | #Constraints:      18548
1664.71/1671.03	c #Conflicts:     175000 | #Constraints:      19548
1664.71/1671.03	c #Conflicts:     176000 | #Constraints:      20548
1664.71/1671.03	c #Conflicts:     177000 | #Constraints:      21548
1664.71/1671.03	c #Conflicts:     178000 | #Constraints:      22548
1664.71/1671.03	c #Conflicts:     179000 | #Constraints:      23548
1664.71/1671.03	c #Conflicts:     180000 | #Constraints:      24548
1664.71/1671.03	c INPROCESSING
1664.71/1671.03	c GARBAGE COLLECT
1664.71/1671.03	c #Conflicts:     181000 | #Constraints:      17141
1664.71/1671.03	c #Conflicts:     182000 | #Constraints:      18141
1664.71/1671.03	c #Conflicts:     183000 | #Constraints:      19141
1664.71/1671.03	c #Conflicts:     184000 | #Constraints:      20141
1664.71/1671.03	c #Conflicts:     185000 | #Constraints:      21141
1664.71/1671.03	c #Conflicts:     186000 | #Constraints:      22141
1664.71/1671.03	c #Conflicts:     187000 | #Constraints:      23141
1664.71/1671.03	c #Conflicts:     188000 | #Constraints:      24141
1664.71/1671.03	c #Conflicts:     189000 | #Constraints:      25141
1664.71/1671.03	c INPROCESSING
1664.71/1671.03	c GARBAGE COLLECT
1664.71/1671.03	c #Conflicts:     190000 | #Constraints:      17537
1664.71/1671.03	c #Conflicts:     191000 | #Constraints:      18537
1664.71/1671.03	c #Conflicts:     192000 | #Constraints:      19537
1664.71/1671.03	c #Conflicts:     193000 | #Constraints:      20537
1664.71/1671.03	c #Conflicts:     194000 | #Constraints:      21537
1664.71/1671.03	c #Conflicts:     195000 | #Constraints:      22537
1664.71/1671.03	c #Conflicts:     196000 | #Constraints:      23537
1664.71/1671.03	c #Conflicts:     197000 | #Constraints:      24537
1664.71/1671.03	c #Conflicts:     198000 | #Constraints:      25537
1664.71/1671.03	c INPROCESSING
1664.71/1671.03	c GARBAGE COLLECT
1664.71/1671.03	c #Conflicts:     199000 | #Constraints:      17746
1664.71/1671.03	c #Conflicts:     200000 | #Constraints:      18746
1664.71/1671.03	c #Conflicts:     201000 | #Constraints:      19746
1664.71/1671.03	c #Conflicts:     202000 | #Constraints:      20746
1664.71/1671.03	c #Conflicts:     203000 | #Constraints:      21746
1664.71/1671.03	c #Conflicts:     204000 | #Constraints:      22746
1664.71/1671.03	c #Conflicts:     205000 | #Constraints:      23746
1664.71/1671.03	c #Conflicts:     206000 | #Constraints:      24746
1664.71/1671.03	c #Conflicts:     207000 | #Constraints:      25746
1664.71/1671.03	c INPROCESSING
1664.71/1671.03	c GARBAGE COLLECT
1664.71/1671.03	c #Conflicts:     208000 | #Constraints:      17758
1664.71/1671.03	c #Conflicts:     209000 | #Constraints:      18758
1664.71/1671.03	c #Conflicts:     210000 | #Constraints:      19758
1664.71/1671.03	c #Conflicts:     211000 | #Constraints:      20758
1664.71/1671.03	c #Conflicts:     212000 | #Constraints:      21758
1664.71/1671.03	c #Conflicts:     213000 | #Constraints:      22758
1664.71/1671.03	c #Conflicts:     214000 | #Constraints:      23758
1664.71/1671.03	c #Conflicts:     215000 | #Constraints:      24758
1664.71/1671.03	c #Conflicts:     216000 | #Constraints:      25758
2150.27/2158.46	c INPROCESSING
2150.27/2158.46	c GARBAGE COLLECT
2150.27/2158.46	c #Conflicts:     217000 | #Constraints:      17556
2150.27/2158.46	c #Conflicts:     218000 | #Constraints:      18556
2150.27/2158.46	c #Conflicts:     219000 | #Constraints:      19556
2150.27/2158.46	c #Conflicts:     220000 | #Constraints:      20556
2150.27/2158.46	c #Conflicts:     221000 | #Constraints:      21556
2150.27/2158.46	c #Conflicts:     222000 | #Constraints:      22556
2150.27/2158.46	c #Conflicts:     223000 | #Constraints:      23556
2150.27/2158.46	c #Conflicts:     224000 | #Constraints:      24556
2150.27/2158.46	c #Conflicts:     225000 | #Constraints:      25556
2150.27/2158.46	c #Conflicts:     226000 | #Constraints:      26556
2150.27/2158.46	c INPROCESSING
2150.27/2158.46	c GARBAGE COLLECT
2150.27/2158.46	c #Conflicts:     227000 | #Constraints:      18162
2150.27/2158.46	c #Conflicts:     228000 | #Constraints:      19162
2150.27/2158.46	c #Conflicts:     229000 | #Constraints:      20162
2150.27/2158.46	c #Conflicts:     230000 | #Constraints:      21162
2150.27/2158.46	c #Conflicts:     231000 | #Constraints:      22162
2150.27/2158.46	c #Conflicts:     232000 | #Constraints:      23162
2150.27/2158.46	c #Conflicts:     233000 | #Constraints:      24162
2150.27/2158.46	c #Conflicts:     234000 | #Constraints:      25162
2150.27/2158.46	c #Conflicts:     235000 | #Constraints:      26162
2150.27/2158.46	c #Conflicts:     236000 | #Constraints:      27162
2150.27/2158.46	c INPROCESSING
2150.27/2158.46	c GARBAGE COLLECT
2150.27/2158.46	c #Conflicts:     237000 | #Constraints:      18568
2150.27/2158.46	c #Conflicts:     238000 | #Constraints:      19568
2150.27/2158.46	c #Conflicts:     239000 | #Constraints:      20568
2150.27/2158.46	c #Conflicts:     240000 | #Constraints:      21568
2150.27/2158.46	c #Conflicts:     241000 | #Constraints:      22568
2150.27/2158.46	c #Conflicts:     242000 | #Constraints:      23568
2150.27/2158.46	c #Conflicts:     243000 | #Constraints:      24568
2150.27/2158.46	c #Conflicts:     244000 | #Constraints:      25568
2150.27/2158.46	c #Conflicts:     245000 | #Constraints:      26568
2150.27/2158.46	c #Conflicts:     246000 | #Constraints:      27568
2150.27/2158.46	c INPROCESSING
2150.27/2158.46	c GARBAGE COLLECT
2150.27/2158.46	c #Conflicts:     247000 | #Constraints:      18782
2150.27/2158.46	c #Conflicts:     248000 | #Constraints:      19782
2150.27/2158.46	c #Conflicts:     249000 | #Constraints:      20782
2150.27/2158.46	c #Conflicts:     250000 | #Constraints:      21782
2150.27/2158.46	c #Conflicts:     251000 | #Constraints:      22782
2150.27/2158.46	c #Conflicts:     252000 | #Constraints:      23782
2150.27/2158.46	c #Conflicts:     253000 | #Constraints:      24782
2150.27/2158.46	c #Conflicts:     254000 | #Constraints:      25782
2150.27/2158.46	c #Conflicts:     255000 | #Constraints:      26782
2150.27/2158.46	c #Conflicts:     256000 | #Constraints:      27782
2150.27/2158.46	c INPROCESSING
2150.27/2158.46	c GARBAGE COLLECT
2150.27/2158.46	c #Conflicts:     257000 | #Constraints:      18787
2150.27/2158.46	c bounds 4010609 >= -50 @ 2145.51
2150.27/2158.46	c stratification level: 314432
2150.47/2158.63	c bounds 4008689 >= -50 @ 2145.68
2150.47/2158.63	c stratification level: 300763
2318.26/2327.05	c #Conflicts:     258000 | #Constraints:      19789
2318.26/2327.05	c #Conflicts:     259000 | #Constraints:      20789
2318.26/2327.05	c #Conflicts:     260000 | #Constraints:      21789
2318.26/2327.05	c #Conflicts:     261000 | #Constraints:      22789
2318.26/2327.05	c #Conflicts:     262000 | #Constraints:      23789
2318.26/2327.05	c #Conflicts:     263000 | #Constraints:      24789
2318.26/2327.05	c #Conflicts:     264000 | #Constraints:      25789
2318.26/2327.05	c #Conflicts:     265000 | #Constraints:      26789
2318.26/2327.05	c #Conflicts:     266000 | #Constraints:      27789
2318.26/2327.05	c INPROCESSING
2318.26/2327.05	c GARBAGE COLLECT
2318.26/2327.05	c #Conflicts:     267000 | #Constraints:      18572
2318.26/2327.05	c #Conflicts:     268000 | #Constraints:      19572
2318.26/2327.05	c #Conflicts:     269000 | #Constraints:      20572
2318.26/2327.05	c #Conflicts:     270000 | #Constraints:      21572
2318.26/2327.05	c #Conflicts:     271000 | #Constraints:      22572
2318.26/2327.05	c bounds 3978567 >= -50 @ 2313.19
2318.26/2327.05	c stratification level: 287496
2318.54/2327.31	c bounds 3975975 >= -50 @ 2313.46
2318.54/2327.31	c stratification level: 274625
2463.30/2472.67	c #Conflicts:     272000 | #Constraints:      23574
2463.30/2472.67	c #Conflicts:     273000 | #Constraints:      24574
2463.30/2472.67	c #Conflicts:     274000 | #Constraints:      25574
2463.30/2472.67	c #Conflicts:     275000 | #Constraints:      26574
2463.30/2472.67	c #Conflicts:     276000 | #Constraints:      27574
2463.30/2472.67	c #Conflicts:     277000 | #Constraints:      28574
2463.30/2472.67	c INPROCESSING
2463.30/2472.67	c GARBAGE COLLECT
2463.30/2472.67	c #Conflicts:     278000 | #Constraints:      19165
2463.30/2472.67	c #Conflicts:     279000 | #Constraints:      20165
2463.30/2472.67	c #Conflicts:     280000 | #Constraints:      21165
2463.30/2472.67	c #Conflicts:     281000 | #Constraints:      22165
2463.30/2472.67	c #Conflicts:     282000 | #Constraints:      23165
2463.30/2472.67	c bounds 3973897 >= -50 @ 2458
2463.30/2472.67	c stratification level: 262144
2463.71/2473.01	c bounds 3971977 >= -50 @ 2458.34
2463.71/2473.01	c stratification level: 250047
3551.98/3564.88	c #Conflicts:     283000 | #Constraints:      24167
3551.98/3564.88	c #Conflicts:     284000 | #Constraints:      25167
3551.98/3564.88	c #Conflicts:     285000 | #Constraints:      26167
3551.98/3564.88	c #Conflicts:     286000 | #Constraints:      27167
3551.98/3564.88	c #Conflicts:     287000 | #Constraints:      28167
3551.98/3564.88	c #Conflicts:     288000 | #Constraints:      29167
3551.98/3564.88	c INPROCESSING
3551.98/3564.88	c GARBAGE COLLECT
3551.98/3564.88	c #Conflicts:     289000 | #Constraints:      19580
3551.98/3564.88	c #Conflicts:     290000 | #Constraints:      20580
3551.98/3564.88	c #Conflicts:     291000 | #Constraints:      21580
3551.98/3564.88	c #Conflicts:     292000 | #Constraints:      22580
3551.98/3564.88	c #Conflicts:     293000 | #Constraints:      23580
3551.98/3564.88	c #Conflicts:     294000 | #Constraints:      24580
3551.98/3564.88	c #Conflicts:     295000 | #Constraints:      25580
3551.98/3564.88	c #Conflicts:     296000 | #Constraints:      26580
3551.98/3564.88	c #Conflicts:     297000 | #Constraints:      27580
3551.98/3564.88	c #Conflicts:     298000 | #Constraints:      28580
3551.98/3564.88	c #Conflicts:     299000 | #Constraints:      29580
3551.98/3564.88	c INPROCESSING
3551.98/3564.88	c GARBAGE COLLECT
3551.98/3564.88	c #Conflicts:     300000 | #Constraints:      19772
3551.98/3564.88	c #Conflicts:     301000 | #Constraints:      20772
3551.98/3564.88	c #Conflicts:     302000 | #Constraints:      21772
3551.98/3564.88	c #Conflicts:     303000 | #Constraints:      22772
3551.98/3564.88	c bounds 3971977 >= 249997 @ 2779.69
3551.98/3564.88	c #Conflicts:     304000 | #Constraints:      23773
3551.98/3564.88	c #Conflicts:     305000 | #Constraints:      24773
3551.98/3564.88	c #Conflicts:     306000 | #Constraints:      25773
3551.98/3564.88	c #Conflicts:     307000 | #Constraints:      26773
3551.98/3564.88	c #Conflicts:     308000 | #Constraints:      27773
3551.98/3564.88	c #Conflicts:     309000 | #Constraints:      28773
3551.98/3564.88	c #Conflicts:     310000 | #Constraints:      29773
3551.98/3564.88	c INPROCESSING
3551.98/3564.88	c GARBAGE COLLECT
3551.98/3564.88	c #Conflicts:     311000 | #Constraints:      19780
3551.98/3564.88	c #Conflicts:     312000 | #Constraints:      20780
3551.98/3564.88	c #Conflicts:     313000 | #Constraints:      21780
3551.98/3564.88	c #Conflicts:     314000 | #Constraints:      22780
3551.98/3564.88	c #Conflicts:     315000 | #Constraints:      23780
3551.98/3564.88	c #Conflicts:     316000 | #Constraints:      24780
3551.98/3564.88	c #Conflicts:     317000 | #Constraints:      25780
3551.98/3564.88	c #Conflicts:     318000 | #Constraints:      26780
3551.98/3564.88	c #Conflicts:     319000 | #Constraints:      27780
3551.98/3564.88	c #Conflicts:     320000 | #Constraints:      28780
3551.98/3564.88	c #Conflicts:     321000 | #Constraints:      29780
3551.98/3564.88	c INPROCESSING
3551.98/3564.88	c GARBAGE COLLECT
3551.98/3564.88	c #Conflicts:     322000 | #Constraints:      19599
3551.98/3564.88	c #Conflicts:     323000 | #Constraints:      20599
3551.98/3564.88	c #Conflicts:     324000 | #Constraints:      21599
3551.98/3564.88	c #Conflicts:     325000 | #Constraints:      22599
3551.98/3564.88	c #Conflicts:     326000 | #Constraints:      23599
3551.98/3564.88	c #Conflicts:     327000 | #Constraints:      24599
3551.98/3564.88	c #Conflicts:     328000 | #Constraints:      25599
3551.98/3564.88	c #Conflicts:     329000 | #Constraints:      26599
3551.98/3564.88	c #Conflicts:     330000 | #Constraints:      27599
3551.98/3564.88	c #Conflicts:     331000 | #Constraints:      28599
3551.98/3564.88	c #Conflicts:     332000 | #Constraints:      29599
3551.98/3564.88	c #Conflicts:     333000 | #Constraints:      30599
3551.98/3564.88	c INPROCESSING
3551.98/3564.88	c GARBAGE COLLECT
3551.98/3564.88	c #Conflicts:     334000 | #Constraints:      20167
3551.98/3564.88	c #Conflicts:     335000 | #Constraints:      21167
3551.98/3564.88	c #Conflicts:     336000 | #Constraints:      22167
3551.98/3564.88	c #Conflicts:     337000 | #Constraints:      23167
3551.98/3564.88	c #Conflicts:     338000 | #Constraints:      24167
3551.98/3564.88	c #Conflicts:     339000 | #Constraints:      25167
3551.98/3564.88	c #Conflicts:     340000 | #Constraints:      26167
3551.98/3564.88	c #Conflicts:     341000 | #Constraints:      27167
3551.98/3564.88	c #Conflicts:     342000 | #Constraints:      28167
3551.98/3564.88	c #Conflicts:     343000 | #Constraints:      29167
3551.98/3564.88	c #Conflicts:     344000 | #Constraints:      30167
3551.98/3564.88	c #Conflicts:     345000 | #Constraints:      31167
3551.98/3564.88	c INPROCESSING
3551.98/3564.88	c GARBAGE COLLECT
3551.98/3564.88	c #Conflicts:     346000 | #Constraints:      20577
3551.98/3564.88	c #Conflicts:     347000 | #Constraints:      21577
3551.98/3564.88	c #Conflicts:     348000 | #Constraints:      22577
3551.98/3564.88	c #Conflicts:     349000 | #Constraints:      23577
3551.98/3564.88	c #Conflicts:     350000 | #Constraints:      24577
3551.98/3564.88	c #Conflicts:     351000 | #Constraints:      25577
3551.98/3564.88	c #Conflicts:     352000 | #Constraints:      26577
3551.98/3564.88	c #Conflicts:     353000 | #Constraints:      27577
3551.98/3564.88	c #Conflicts:     354000 | #Constraints:      28577
3551.98/3564.88	c #Conflicts:     355000 | #Constraints:      29577
3551.98/3564.88	c #Conflicts:     356000 | #Constraints:      30577
3551.98/3564.88	c #Conflicts:     357000 | #Constraints:      31577
3600.05/3613.01	c INPROCESSING
3600.05/3613.01	c GARBAGE COLLECT
3600.05/3613.01	c #Conflicts:     358000 | #Constraints:      20780
3600.05/3613.01	c #Conflicts:     359000 | #Constraints:      21780
3600.05/3613.01	c #Conflicts:     360000 | #Constraints:      22780
3600.05/3613.01	c #Conflicts:     361000 | #Constraints:      23780
3600.05/3613.01	c Program interrupted by user.
3600.05/3613.01	c cpu time 3593.24 s
3600.05/3613.01	c deterministic time 390321904978 3.90e+11
3600.05/3613.01	c optimization time 47.6455 s
3600.05/3613.01	c total solve time 3545.52 s
3600.05/3613.01	c core-guided solve time 3545.52 s
3600.05/3613.01	c propagation time 2842.9 s
3600.05/3613.01	c conflict analysis time 650.729 s
3600.05/3613.01	c propagations 55951678
3600.05/3613.01	c resolve steps 5082970
3600.05/3613.01	c decisions 3081342
3600.05/3613.01	c conflicts 361939
3600.05/3613.01	c restarts 872
3600.05/3613.01	c inprocessing phases 51
3600.05/3613.01	c input clauses 11126
3600.05/3613.01	c input cardinalities 9
3600.05/3613.01	c input general constraints 1592
3600.05/3613.01	c input average constraint length 69.33
3600.05/3613.01	c input average constraint degree 287759071.06
3600.05/3613.01	c learned clauses 24442
3600.05/3613.01	c learned cardinalities 414
3600.05/3613.01	c learned general constraints 337082
3600.05/3613.01	c learned average constraint length 2038.58
3600.05/3613.01	c learned average constraint degree 1212575201.25
3600.05/3613.01	c watched constraints 95489
3600.05/3613.01	c counting constraints 243185
3600.05/3613.01	c gcd simplifications 3439
3600.05/3613.01	c detected cardinalities 7
3600.05/3613.01	c weakened non-implied lits 76634669
3600.05/3613.01	c weakened non-implying lits 314048
3600.05/3613.01	c original variables 5100
3600.05/3613.01	c clausal propagations 32212139
3600.05/3613.01	c cardinality propagations 570104
3600.05/3613.01	c watched propagations 2912580
3600.05/3613.01	c counting propagations 20114093
3600.05/3613.01	c watch lookups 46389719381
3600.05/3613.01	c watch backjump lookups 45854988799
3600.05/3613.01	c watch checks 135912531652
3600.05/3613.01	c propagation checks 160097739090
3600.05/3613.01	c constraint additions 1948502740
3600.05/3613.01	c trail pops 59390295
3600.05/3613.01	c formula constraints 12510
3600.05/3613.01	c learned constraints 361938
3600.05/3613.01	c bound constraints 217
3600.05/3613.01	c core-guided constraints 0
3600.05/3613.01	c encountered formula constraints 4334509
3600.05/3613.01	c encountered learned constraints 1108960
3600.05/3613.01	c encountered bound constraints 1440
3600.05/3613.01	c encountered core-guided constraints 0
3600.05/3613.01	c LP total time 0 s
3600.05/3613.01	c LP solve time 0 s
3600.05/3613.01	c LP constraints added 0
3600.05/3613.01	c LP constraints removed 0
3600.05/3613.01	c LP pivots internal 0
3600.05/3613.01	c LP pivots root 0
3600.05/3613.01	c LP calls 0
3600.05/3613.01	c LP optimalities 0
3600.05/3613.01	c LP no pivot count 0
3600.05/3613.01	c LP infeasibilities 0
3600.05/3613.01	c LP valid Farkas constraints 0
3600.05/3613.01	c LP learned Farkas constraints 0
3600.05/3613.01	c LP basis resets 0
3600.05/3613.01	c LP cycling count 0
3600.05/3613.01	c LP singular count 0
3600.05/3613.01	c LP no primal count 0
3600.05/3613.01	c LP no farkas count 0
3600.05/3613.01	c LP other issue count 0
3600.05/3613.01	c LP Gomory cuts 0
3600.05/3613.01	c LP learned cuts 0
3600.05/3613.01	c LP deleted cuts 0
3600.05/3613.01	c LP encountered Gomory constraints 0
3600.05/3613.01	c LP encountered Farkas constraints 0
3600.05/3613.01	c LP encountered learned Farkas constraints 0
3600.05/3613.01	c CG auxiliary variables introduced 0
3600.05/3613.01	c CG solutions found 216
3600.05/3613.01	c CG cores constructed 1
3600.05/3613.01	c CG core cardinality constraints returned 0
3600.05/3613.01	c CG unit cores 0
3600.05/3613.01	c CG single cores 1
3600.05/3613.01	c CG blocks removed during cardinality reduction 0
3600.05/3613.01	c CG first core best 0
3600.05/3613.01	c CG decision core best 0
3600.05/3613.01	c CG core reduction tie 0
3600.05/3613.01	c CG core degree average 1.00
3600.05/3613.01	c CG core slack average 417.00
3600.05/3613.01	c CG exhausted 0
3600.05/3613.01	c CG exhaust time 0 s
3600.05/3613.01	c CG trimmed 0
3600.05/3613.01	c CG trim time 0.010568 s
3600.05/3613.01	c CG minimized 0
3600.05/3613.01	c CG minimize time 0 s
3600.05/3613.01	c CG am1 prop time 0.003941 s
3600.05/3613.01	c CG # am1s reformulated 0
3600.05/3613.01	c CG lower bound derived from am1s 0
3600.05/3613.01	c CG # clausal cores 1
3600.05/3613.01	c CG # cardinality cores 0
3600.05/3613.01	c CG # pb cores 0
3600.05/3613.01	c CG # pb reforms 0
3600.05/3613.01	c CG # cores discarded because of pb reform 0
3600.05/3613.01	d LOWERBOUND 249997
3600.05/3613.01	d NCORES 1
3600.05/3613.01	d NPBCORES 0
3600.05/3613.01	d NPBREFORM 0
3600.05/3613.01	d NTRIMMED 0
3600.05/3613.01	d NEXHAUSTED 0
3600.05/3613.01	d NAM1S 0
3600.05/3613.01	d AM1LB 0
3600.05/3613.01	o 3971977
3600.05/3613.01	s SATISFIABLE
3600.05/3613.01	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

Verifier Data 

OK	3971977

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454531-1721473836/watcher-4454531-1721473836 -o /tmp/evaluation-result-4454531-1721473836/solver-4454531-1721473836 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721471663-1051930 --watchdog 3760 pb-oll-rs HOME/instance-4454531-1721473836.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=1053651, runsolver pid=1053648

[startup+0.100807 s]*
/proc/loadavg: 4.47 4.24 3.97 5/248 1053652
/proc/meminfo: memFree=124950976/131655788 swapFree=131071996/131071996
[pid=1053651] ppid=1053648 vsize=40980 memory=7908 CPUtime=0.09 cores=0,2
/proc/1053651/stat : 1053651 (pb-oll-rs) R 1053648 1053651 1051920 0 -1 4194304 1137 0 0 0 7 2 0 0 20 0 1 0 199540548 41963520 1977 134679101440 4194304 5384485 140723413323328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13037568 140723413324821 140723413324898 140723413324898 140723413331915 0
/proc/1053651/statm: 10245 1977 1226 291 0 1779 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40980 KiB
Current children cumulated memory: 7908 KiB

[startup+0.213251 s]*
/proc/loadavg: 4.47 4.24 3.97 5/248 1053652
/proc/meminfo: memFree=124950640/131655788 swapFree=131071996/131071996
[pid=1053651] ppid=1053648 vsize=41204 memory=8408 CPUtime=0.21 cores=0,2
/proc/1053651/stat : 1053651 (pb-oll-rs) R 1053648 1053651 1051920 0 -1 4194304 1201 0 0 0 18 3 0 0 20 0 1 0 199540548 42192896 2102 134679101440 4194304 5384485 140723413323328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13037568 140723413324821 140723413324898 140723413324898 140723413331915 0
/proc/1053651/statm: 10301 2102 1289 291 0 1835 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41204 KiB
Current children cumulated memory: 8408 KiB

[startup+0.313004 s]*
/proc/loadavg: 4.47 4.24 3.97 5/248 1053652
/proc/meminfo: memFree=124950124/131655788 swapFree=131071996/131071996
[pid=1053651] ppid=1053648 vsize=41204 memory=8792 CPUtime=0.31 cores=0,2
/proc/1053651/stat : 1053651 (pb-oll-rs) R 1053648 1053651 1051920 0 -1 4194304 1214 0 0 0 28 3 0 0 20 0 1 0 199540548 42192896 2198 134679101440 4194304 5384485 140723413323328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13037568 140723413324821 140723413324898 140723413324898 140723413331915 0
/proc/1053651/statm: 10301 2198 1321 291 0 1835 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41204 KiB
Current children cumulated memory: 8792 KiB

[startup+0.700328 s]
/proc/loadavg: 4.47 4.24 3.97 5/248 1053652
/proc/meminfo: memFree=124949984/131655788 swapFree=131071996/131071996
[pid=1053651] ppid=1053648 vsize=42632 memory=12948 CPUtime=0.68 cores=0,2
/proc/1053651/stat : 1053651 (pb-oll-rs) R 1053648 1053651 1051920 0 -1 4194304 1761 0 0 0 64 4 0 0 20 0 1 0 199540548 43655168 3237 134679101440 4194304 5384485 140723413323328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13037568 140723413324821 140723413324898 140723413324898 140723413331915 0
/proc/1053651/statm: 10658 3237 1321 291 0 2192 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42632 KiB
Current children cumulated memory: 12948 KiB

[startup+1.50033 s]
/proc/loadavg: 4.47 4.24 3.97 5/248 1053652
/proc/meminfo: memFree=124942336/131655788 swapFree=131071996/131071996
[pid=1053651] ppid=1053648 vsize=52784 memory=23748 CPUtime=1.48 cores=0,2
/proc/1053651/stat : 1053651 (pb-oll-rs) R 1053648 1053651 1051920 0 -1 4194304 3895 0 0 0 141 7 0 0 20 0 1 0 199540548 54050816 5937 134679101440 4194304 5384485 140723413323328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13037568 140723413324821 140723413324898 140723413324898 140723413331915 0
/proc/1053651/statm: 13196 5937 1382 291 0 4730 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 52784 KiB
Current children cumulated memory: 23748 KiB

[startup+3.11316 s]
/proc/loadavg: 4.47 4.24 3.97 5/248 1053653
/proc/meminfo: memFree=124915344/131655788 swapFree=131071996/131071996
[pid=1053651] ppid=1053648 vsize=76984 memory=47828 CPUtime=3.08 cores=0,2
/proc/1053651/stat : 1053651 (pb-oll-rs) R 1053648 1053651 1051920 0 -1 4194304 7869 0 0 0 298 10 0 0 20 0 1 0 199540548 78831616 11957 134679101440 4194304 5384485 140723413323328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13037568 140723413324821 140723413324898 140723413324898 140723413331915 0
/proc/1053651/statm: 19246 11957 1382 291 0 10780 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 76984 KiB
Current children cumulated memory: 47828 KiB

[startup+6.3003 s]
/proc/loadavg: 4.51 4.25 3.98 5/248 1053654
/proc/meminfo: memFree=124879400/131655788 swapFree=131071996/131071996
[pid=1053651] ppid=1053648 vsize=124912 memory=78644 CPUtime=6.26 cores=0,2
/proc/1053651/stat : 1053651 (pb-oll-rs) R 1053648 1053651 1051920 0 -1 4194304 13023 0 0 0 613 13 0 0 20 0 1 0 199540548 127909888 19661 134679101440 4194304 5384485 140723413323328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13037568 140723413324821 140723413324898 140723413324898 140723413331915 0
/proc/1053651/statm: 31228 19661 1382 291 0 22762 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 124912 KiB
Current children cumulated memory: 78644 KiB

[startup+12.7003 s]
/proc/loadavg: 4.55 4.26 3.98 5/248 1053654
/proc/meminfo: memFree=124831644/131655788 swapFree=131071996/131071996
[pid=1053651] ppid=1053648 vsize=159012 memory=123588 CPUtime=12.64 cores=0,2
/proc/1053651/stat : 1053651 (pb-oll-rs) R 1053648 1053651 1051920 0 -1 4194304 21197 0 0 0 1242 22 0 0 20 0 1 0 199540548 162828288 30897 134679101440 4194304 5384485 140723413323328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13037568 140723413324821 140723413324898 140723413324898 140723413331915 0
/proc/1053651/statm: 39753 30897 1382 291 0 31287 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 159012 KiB
Current children cumulated memory: 123588 KiB

[startup+25.5003 s]
/proc/loadavg: 4.43 4.25 3.98 5/248 1053657
/proc/meminfo: memFree=124809572/131655788 swapFree=131071996/131071996
[pid=1053651] ppid=1053648 vsize=207716 memory=145912 CPUtime=25.4 cores=0,2
/proc/1053651/stat : 1053651 (pb-oll-rs) R 1053648 1053651 1051920 0 -1 4194304 25812 0 0 0 2510 30 0 0 20 0 1 0 199540548 212701184 36478 134679101440 4194304 5384485 140723413323328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13037568 140723413324821 140723413324898 140723413324898 140723413331915 0
/proc/1053651/statm: 51929 36478 1382 291 0 43463 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 207716 KiB
Current children cumulated memory: 145912 KiB

[startup+51.113 s]
/proc/loadavg: 4.47 4.28 4.00 5/248 1053660
/proc/meminfo: memFree=124754624/131655788 swapFree=131071996/131071996
[pid=1053651] ppid=1053648 vsize=253468 memory=199912 CPUtime=50.92 cores=0,2
/proc/1053651/stat : 1053651 (pb-oll-rs) R 1053648 1053651 1051920 0 -1 4194304 34739 0 0 0 5053 39 0 0 20 0 1 0 199540548 259551232 49978 134679101440 4194304 5384485 140723413323328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13037568 140723413324821 140723413324898 140723413324898 140723413331915 0
/proc/1053651/statm: 63367 49978 1382 291 0 54901 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 253468 KiB
Current children cumulated memory: 199912 KiB

[startup+102.3 s]
/proc/loadavg: 4.26 4.25 4.00 5/248 1053669
/proc/meminfo: memFree=124502700/131655788 swapFree=131071996/131071996
[pid=1053651] ppid=1053648 vsize=320568 memory=240028 CPUtime=101.93 cores=0,2
/proc/1053651/stat : 1053651 (pb-oll-rs) R 1053648 1053651 1051920 0 -1 4194304 39668 0 0 0 10138 55 0 0 20 0 1 0 199540548 328261632 60007 134679101440 4194304 5384485 140723413323328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13037568 140723413324821 140723413324898 140723413324898 140723413331915 0
/proc/1053651/statm: 80142 60007 1382 291 0 71676 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 320568 KiB
Current children cumulated memory: 240028 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.21 4.00 5/247 1053679
/proc/meminfo: memFree=124393552/131655788 swapFree=131071996/131071996
[pid=1053651] ppid=1053648 vsize=406392 memory=348984 CPUtime=161.72 cores=0,2
/proc/1053651/stat : 1053651 (pb-oll-rs) R 1053648 1053651 1051920 0 -1 4194304 57720 0 0 0 16098 74 0 0 20 0 1 0 199540548 416145408 87246 134679101440 4194304 5384485 140723413323328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13037568 140723413324821 140723413324898 140723413324898 140723413331915 0
/proc/1053651/statm: 101598 87246 1382 291 0 93132 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 406392 KiB
Current children cumulated memory: 348984 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.20 4.01 5/248 1053693
/proc/meminfo: memFree=124260808/131655788 swapFree=131071996/131071996
[pid=1053651] ppid=1053648 vsize=511840 memory=384196 CPUtime=221.51 cores=0,2
/proc/1053651/stat : 1053651 (pb-oll-rs) R 1053648 1053651 1051920 0 -1 4194304 64053 0 0 0 22058 93 0 0 20 0 1 0 199540548 524124160 96049 134679101440 4194304 5384485 140723413323328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13037568 140723413324821 140723413324898 140723413324898 140723413331915 0
/proc/1053651/statm: 127960 96049 1382 291 0 119494 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 511840 KiB
Current children cumulated memory: 384196 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.19 4.02 5/248 1053704
/proc/meminfo: memFree=124144652/131655788 swapFree=131071996/131071996
[pid=1053651] ppid=1053648 vsize=530960 memory=407400 CPUtime=281.28 cores=0,2
/proc/1053651/stat : 1053651 (pb-oll-rs) R 1053648 1053651 1051920 0 -1 4194304 67796 0 0 0 28018 110 0 0 20 0 1 0 199540548 543703040 101850 134679101440 4194304 5384485 140723413323328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13037568 140723413324821 140723413324898 140723413324898 140723413331915 0
/proc/1053651/statm: 132740 101850 1382 291 0 124274 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 530960 KiB
Current children cumulated memory: 407400 KiB

[startup+342.3 s]
/proc/loadavg: 4.30 4.23 4.04 5/244 1053715
/proc/meminfo: memFree=124123472/131655788 swapFree=131071996/131071996
[pid=1053651] ppid=1053648 vsize=553008 memory=427692 CPUtime=341.06 cores=0,2
/proc/1053651/stat : 1053651 (pb-oll-rs) R 1053648 1053651 1051920 0 -1 4194304 71372 0 0 0 33983 123 0 0 20 0 1 0 199540548 566280192 106923 134679101440 4194304 5384485 140723413323328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13037568 140723413324821 140723413324898 140723413324898 140723413331915 0
/proc/1053651/statm: 138252 106923 1382 291 0 129786 0
Current children cumulated CPU time: 341.06 s
Current children cumulated vsize: 553008 KiB
Current children cumulated memory: 427692 KiB

[startup+402.3 s]
/proc/loadavg: 4.46 4.27 4.06 5/244 1053725
/proc/meminfo: memFree=124110220/131655788 swapFree=131071996/131071996
[pid=1053651] ppid=1053648 vsize=564148 memory=441512 CPUtime=400.83 cores=0,2
/proc/1053651/stat : 1053651 (pb-oll-rs) R 1053648 1053651 1051920 0 -1 4194304 74309 0 0 0 39947 136 0 0 20 0 1 0 199540548 577687552 110378 134679101440 4194304 5384485 140723413323328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13037568 140723413324821 140723413324898 140723413324898 140723413331915 0
/proc/1053651/statm: 141037 110378 1382 291 0 132571 0
Current children cumulated CPU time: 400.83 s
Current children cumulated vsize: 564148 KiB
Current children cumulated memory: 441512 KiB

[startup+462.3 s]
/proc/loadavg: 4.77 4.40 4.12 5/244 1053736
/proc/meminfo: memFree=124100100/131655788 swapFree=131071996/131071996
[pid=1053651] ppid=1053648 vsize=568788 memory=450348 CPUtime=460.59 cores=0,2
/proc/1053651/stat : 1053651 (pb-oll-rs) R 1053648 1053651 1051920 0 -1 4194304 75514 0 0 0 45912 147 0 0 20 0 1 0 199540548 582438912 112587 134679101440 4194304 5384485 140723413323328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13037568 140723413324821 140723413324898 140723413324898 140723413331915 0
/proc/1053651/statm: 142197 112587 1382 291 0 133731 0

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

Current children cumulated memory: 811136 KiB

[startup+2862.3 s]
/proc/loadavg: 4.07 4.16 4.16 5/244 1055304
/proc/meminfo: memFree=115970284/131655788 swapFree=131071996/131071996
[pid=1053651] ppid=1053648 vsize=927732 memory=835728 CPUtime=2851.67 cores=0,2
/proc/1053651/stat : 1053651 (pb-oll-rs) R 1053648 1053651 1051920 0 -1 4194304 124849 0 0 0 284576 591 0 0 20 0 1 0 199540548 949997568 208932 134679101440 4194304 5384485 140723413323328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13037568 140723413324821 140723413324898 140723413324898 140723413331915 0
/proc/1053651/statm: 231933 208932 1382 291 0 223467 0
Current children cumulated CPU time: 2851.67 s
Current children cumulated vsize: 927732 KiB
Current children cumulated memory: 835728 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.16 4.16 5/246 1055484
/proc/meminfo: memFree=115967632/131655788 swapFree=131071996/131071996
[pid=1053651] ppid=1053648 vsize=927732 memory=835728 CPUtime=2911.46 cores=0,2
/proc/1053651/stat : 1053651 (pb-oll-rs) R 1053648 1053651 1051920 0 -1 4194304 125238 0 0 0 290545 601 0 0 20 0 1 0 199540548 949997568 208932 134679101440 4194304 5384485 140723413323328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13037568 140723413324821 140723413324898 140723413324898 140723413331915 0
/proc/1053651/statm: 231933 208932 1382 291 0 223467 0
Current children cumulated CPU time: 2911.46 s
Current children cumulated vsize: 927732 KiB
Current children cumulated memory: 835728 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/245 1055494
/proc/meminfo: memFree=115911152/131655788 swapFree=131071996/131071996
[pid=1053651] ppid=1053648 vsize=927732 memory=835728 CPUtime=2971.27 cores=0,2
/proc/1053651/stat : 1053651 (pb-oll-rs) R 1053648 1053651 1051920 0 -1 4194304 125616 0 0 0 296517 610 0 0 20 0 1 0 199540548 949997568 208932 134679101440 4194304 5384485 140723413323328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13037568 140723413324821 140723413324898 140723413324898 140723413331915 0
/proc/1053651/statm: 231933 208932 1382 291 0 223467 0
Current children cumulated CPU time: 2971.27 s
Current children cumulated vsize: 927732 KiB
Current children cumulated memory: 835728 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/244 1055519
/proc/meminfo: memFree=115650824/131655788 swapFree=131071996/131071996
[pid=1053651] ppid=1053648 vsize=930804 memory=837112 CPUtime=3031.09 cores=0,2
/proc/1053651/stat : 1053651 (pb-oll-rs) R 1053648 1053651 1051920 0 -1 4194304 126415 0 0 0 302495 614 0 0 20 0 1 0 199540548 953143296 209278 134679101440 4194304 5384485 140723413323328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13037568 140723413324821 140723413324898 140723413324898 140723413331915 0
/proc/1053651/statm: 232701 209278 1382 291 0 224235 0
Current children cumulated CPU time: 3031.09 s
Current children cumulated vsize: 930804 KiB
Current children cumulated memory: 837112 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/244 1055529
/proc/meminfo: memFree=114970032/131655788 swapFree=131071996/131071996
[pid=1053651] ppid=1053648 vsize=930804 memory=837316 CPUtime=3090.91 cores=0,2
/proc/1053651/stat : 1053651 (pb-oll-rs) R 1053648 1053651 1051920 0 -1 4194304 126774 0 0 0 308469 622 0 0 20 0 1 0 199540548 953143296 209329 134679101440 4194304 5384485 140723413323328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13037568 140723413324821 140723413324898 140723413324898 140723413331915 0
/proc/1053651/statm: 232701 209329 1382 291 0 224235 0
Current children cumulated CPU time: 3090.91 s
Current children cumulated vsize: 930804 KiB
Current children cumulated memory: 837316 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/244 1055539
/proc/meminfo: memFree=114301820/131655788 swapFree=131071996/131071996
[pid=1053651] ppid=1053648 vsize=930804 memory=837316 CPUtime=3150.72 cores=0,2
/proc/1053651/stat : 1053651 (pb-oll-rs) R 1053648 1053651 1051920 0 -1 4194304 127166 0 0 0 314445 627 0 0 20 0 1 0 199540548 953143296 209329 134679101440 4194304 5384485 140723413323328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13037568 140723413324821 140723413324898 140723413324898 140723413331915 0
/proc/1053651/statm: 232701 209329 1382 291 0 224235 0
Current children cumulated CPU time: 3150.72 s
Current children cumulated vsize: 930804 KiB
Current children cumulated memory: 837316 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/242 1055550
/proc/meminfo: memFree=114094944/131655788 swapFree=131071996/131071996
[pid=1053651] ppid=1053648 vsize=931040 memory=837440 CPUtime=3210.53 cores=0,2
/proc/1053651/stat : 1053651 (pb-oll-rs) R 1053648 1053651 1051920 0 -1 4194304 127583 0 0 0 320418 635 0 0 20 0 1 0 199540548 953384960 209360 134679101440 4194304 5384485 140723413323328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13037568 140723413324821 140723413324898 140723413324898 140723413331915 0
/proc/1053651/statm: 232760 209360 1382 291 0 224294 0
Current children cumulated CPU time: 3210.53 s
Current children cumulated vsize: 931040 KiB
Current children cumulated memory: 837440 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/242 1055561
/proc/meminfo: memFree=114021248/131655788 swapFree=131071996/131071996
[pid=1053651] ppid=1053648 vsize=931040 memory=837440 CPUtime=3270.35 cores=0,2
/proc/1053651/stat : 1053651 (pb-oll-rs) R 1053648 1053651 1051920 0 -1 4194304 127955 0 0 0 326395 640 0 0 20 0 1 0 199540548 953384960 209360 134679101440 4194304 5384485 140723413323328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13037568 140723413324821 140723413324898 140723413324898 140723413331915 0
/proc/1053651/statm: 232760 209360 1382 291 0 224294 0
Current children cumulated CPU time: 3270.35 s
Current children cumulated vsize: 931040 KiB
Current children cumulated memory: 837440 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/241 1055571
/proc/meminfo: memFree=114017932/131655788 swapFree=131071996/131071996
[pid=1053651] ppid=1053648 vsize=931040 memory=837440 CPUtime=3330.16 cores=0,2
/proc/1053651/stat : 1053651 (pb-oll-rs) R 1053648 1053651 1051920 0 -1 4194304 128370 0 0 0 332371 645 0 0 20 0 1 0 199540548 953384960 209360 134679101440 4194304 5384485 140723413323328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13037568 140723413324821 140723413324898 140723413324898 140723413331915 0
/proc/1053651/statm: 232760 209360 1382 291 0 224294 0
Current children cumulated CPU time: 3330.16 s
Current children cumulated vsize: 931040 KiB
Current children cumulated memory: 837440 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.13 5/241 1055581
/proc/meminfo: memFree=113913524/131655788 swapFree=131071996/131071996
[pid=1053651] ppid=1053648 vsize=935044 memory=847844 CPUtime=3389.98 cores=0,2
/proc/1053651/stat : 1053651 (pb-oll-rs) R 1053648 1053651 1051920 0 -1 4194304 129324 0 0 0 338343 655 0 0 20 0 1 0 199540548 957485056 211961 134679101440 4194304 5384485 140723413323328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13037568 140723413324821 140723413324898 140723413324898 140723413331915 0
/proc/1053651/statm: 233761 211961 1382 291 0 225295 0
Current children cumulated CPU time: 3389.98 s
Current children cumulated vsize: 935044 KiB
Current children cumulated memory: 847844 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.13 5/241 1055592
/proc/meminfo: memFree=113912876/131655788 swapFree=131071996/131071996
[pid=1053651] ppid=1053648 vsize=935044 memory=847844 CPUtime=3449.8 cores=0,2
/proc/1053651/stat : 1053651 (pb-oll-rs) R 1053648 1053651 1051920 0 -1 4194304 129711 0 0 0 344314 666 0 0 20 0 1 0 199540548 957485056 211961 134679101440 4194304 5384485 140723413323328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13037568 140723413324821 140723413324898 140723413324898 140723413331915 0
/proc/1053651/statm: 233761 211961 1382 291 0 225295 0
Current children cumulated CPU time: 3449.8 s
Current children cumulated vsize: 935044 KiB
Current children cumulated memory: 847844 KiB

[startup+3522.3 s]
/proc/loadavg: 4.24 4.14 4.13 5/241 1055602
/proc/meminfo: memFree=113901924/131655788 swapFree=131071996/131071996
[pid=1053651] ppid=1053648 vsize=940896 memory=851004 CPUtime=3509.61 cores=0,2
/proc/1053651/stat : 1053651 (pb-oll-rs) R 1053648 1053651 1051920 0 -1 4194304 130959 0 0 0 350291 670 0 0 20 0 1 0 199540548 963477504 212751 134679101440 4194304 5384485 140723413323328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13037568 140723413324821 140723413324898 140723413324898 140723413331915 0
/proc/1053651/statm: 235224 212751 1382 291 0 226758 0
Current children cumulated CPU time: 3509.61 s
Current children cumulated vsize: 940896 KiB
Current children cumulated memory: 851004 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.13 5/242 1055613
/proc/meminfo: memFree=113848840/131655788 swapFree=131071996/131071996
[pid=1053651] ppid=1053648 vsize=954592 memory=877388 CPUtime=3569.43 cores=0,2
/proc/1053651/stat : 1053651 (pb-oll-rs) R 1053648 1053651 1051920 0 -1 4194304 133327 0 0 0 356268 675 0 0 20 0 1 0 199540548 977502208 219347 134679101440 4194304 5384485 140723413323328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13037568 140723413324821 140723413324898 140723413324898 140723413331915 0
/proc/1053651/statm: 238648 219347 1382 291 0 230182 0
Current children cumulated CPU time: 3569.43 s
Current children cumulated vsize: 954592 KiB
Current children cumulated memory: 877388 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613 s]*
/proc/loadavg: 4.17 4.13 4.13 5/244 1055626
/proc/meminfo: memFree=113808900/131655788 swapFree=131071996/131071996
[pid=1053651] ppid=1053648 vsize=954592 memory=877388 CPUtime=3600.05 cores=0,2
/proc/1053651/stat : 1053651 (pb-oll-rs) R 1053648 1053651 1051920 0 -1 4194304 133429 0 0 0 359324 681 0 0 20 0 1 0 199540548 977502208 219347 134679101440 4194304 5384485 140723413323328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13037568 140723413324821 140723413324898 140723413324898 140723413331915 0
/proc/1053651/statm: 238648 219347 1382 291 0 230182 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 954592 KiB
Current children cumulated memory: 877388 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.25 s, system=6.81505 s

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

Child status: 0

Real time (s): 3613.02
CPU time (s): 3600.06
CPU user time (s): 3593.25
CPU system time (s): 6.81505
CPU usage (%): 99.6414
Max. virtual memory (cumulated for all children) (KiB): 954592
Max. memory (cumulated for all children) (KiB): 877388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.25
system time used= 6.81505
maximum resident set size= 877388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133446
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= 128
involuntary context switches= 24696


# summary of solver processes directly reported to runsolver:
#   pid: 1053651
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3593.25
#   total CPU system time (s): 6.81505

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1205 second user time and 35.4626 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-20 13:10:48
IDJOB=4454531
IDBENCH=155602
IDSOLVER=3082
FILE ID=nodeC012/4454531-1721473836
RUNJOBID= nodeC012-1721471663-1051930
SLURM_JOB_ID= 7545738
Free space on /tmp= 723768 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_4.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454531-1721473836/watcher-4454531-1721473836 -o /tmp/evaluation-result-4454531-1721473836/solver-4454531-1721473836 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721471663-1051930 --watchdog 3760  pb-oll-rs HOME/instance-4454531-1721473836.opb

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

MD5SUM BENCH= 7079e2ef0385c9f74a24551721d50a52
RANDOM SEED=1517047619

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124954368 kB
MemAvailable:   127665076 kB
Buffers:          561220 kB
Cached:          2976624 kB
SwapCached:            0 kB
Active:          1136756 kB
Inactive:        4964084 kB
Active(anon):       1440 kB
Inactive(anon):  2607444 kB
Active(file):    1135316 kB
Inactive(file):  2356640 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2600 kB
Writeback:             0 kB
AnonPages:       2559228 kB
Mapped:           111448 kB
Shmem:             45896 kB
KReclaimable:     117564 kB
Slab:             224608 kB
SReclaimable:     117564 kB
SUnreclaim:       107044 kB
KernelStack:        4028 kB
PageTables:        14964 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    3119288 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62464 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1114112 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:      312136 kB
DirectMap2M:    33146880 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723704 MiB
End job on nodeC012 at 2024-07-20 14:11:02