0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.03 c [STEP] solving
0.00/0.03 c #variables 5100 #constraints 12510
0.00/0.03 c SMALL=int, LARGE=long long
0.00/0.03 c bounds - >= -50 @ 0.027271
0.00/0.03 c stratification level: 114791256
0.19/0.22 c bounds 201484653 >= -50 @ 0.215048
0.19/0.22 c stratification level: 114084125
0.19/0.23 c bounds 201335687 >= -50 @ 0.222947
0.19/0.23 c stratification level: 110592000
0.19/0.25 c bounds 201333407 >= -50 @ 0.239502
0.19/0.25 c stratification level: 109902239
0.19/0.28 c bounds 201239233 >= -50 @ 0.269518
0.19/0.28 c stratification level: 101194696
0.19/0.29 c bounds 201186383 >= -50 @ 0.274943
0.19/0.29 c stratification level: 100544625
0.19/0.29 c bounds 201062175 >= -50 @ 0.281915
0.19/0.29 c stratification level: 99897344
0.19/0.31 c bounds 201036601 >= -50 @ 0.291716
0.19/0.31 c stratification level: 99252847
0.39/0.43 c bounds 196528119 >= -50 @ 0.415076
0.39/0.43 c stratification level: 98611128
0.39/0.44 c bounds 196482707 >= -50 @ 0.424665
0.39/0.44 c stratification level: 97972181
0.39/0.45 c bounds 196463419 >= -50 @ 0.427823
0.39/0.45 c stratification level: 97336000
0.39/0.46 c bounds 196447371 >= -50 @ 0.437013
0.39/0.46 c stratification level: 96702579
0.39/0.46 c bounds 174740737 >= -50 @ 0.443134
0.39/0.46 c stratification level: 95443993
0.50/0.52 c bounds 171535515 >= -50 @ 0.493384
0.50/0.52 c stratification level: 94818816
0.50/0.53 c bounds 149828881 >= -50 @ 0.499471
0.50/0.53 c stratification level: 94196375
0.50/0.53 c bounds 149580267 >= -50 @ 0.507476
0.50/0.53 c stratification level: 92959677
0.50/0.54 c bounds 149332587 >= -50 @ 0.512181
0.50/0.54 c stratification level: 91733851
0.50/0.55 c bounds 149313299 >= -50 @ 0.519003
0.50/0.55 c stratification level: 90518849
0.50/0.57 c bounds 149295867 >= -50 @ 0.536809
0.50/0.57 c stratification level: 89915392
0.50/0.57 c bounds 149258379 >= -50 @ 0.543942
0.50/0.57 c stratification level: 89314623
0.50/0.58 c bounds 149239091 >= -50 @ 0.550052
0.50/0.58 c stratification level: 88716536
0.50/0.59 c bounds 149006819 >= -50 @ 0.560952
0.50/0.59 c stratification level: 88121125
0.59/0.69 c bounds 138586597 >= -50 @ 0.651339
0.59/0.69 c stratification level: 87528384
0.68/0.70 c bounds 138496179 >= -50 @ 0.661322
0.68/0.70 c stratification level: 86938307
0.78/0.80 c bounds 114055015 >= -50 @ 0.762507
0.78/0.80 c stratification level: 86350888
0.78/0.81 c bounds 113935655 >= -50 @ 0.772814
0.78/0.81 c stratification level: 85766121
0.78/0.82 c bounds 113701765 >= -50 @ 0.778179
0.78/0.82 c stratification level: 85184000
0.78/0.84 c bounds 113619893 >= -50 @ 0.796071
0.78/0.84 c stratification level: 84027672
0.78/0.85 c bounds 113435823 >= -50 @ 0.803927
0.78/0.85 c stratification level: 83453453
0.78/0.85 c bounds 113400207 >= -50 @ 0.809495
0.78/0.85 c stratification level: 82881856
0.89/0.97 c bounds 113274587 >= -50 @ 0.926661
0.89/0.97 c stratification level: 82312875
0.89/1.00 c bounds 113187517 >= -50 @ 0.952953
0.89/1.00 c stratification level: 81746504
0.99/1.01 c bounds 113170315 >= -50 @ 0.961021
0.99/1.01 c stratification level: 80062991
0.99/1.03 c bounds 113122777 >= -50 @ 0.981735
0.99/1.03 c stratification level: 79507000
0.99/1.04 c bounds 113113017 >= -50 @ 0.989079
0.99/1.04 c stratification level: 78953589
0.99/1.06 c bounds 113100189 >= -50 @ 1.01137
0.99/1.06 c stratification level: 78402752
1.78/1.80 c bounds 95141123 >= -50 @ 1.73492
1.78/1.80 c stratification level: 77854483
1.78/1.84 c bounds 94971527 >= -50 @ 1.76793
1.78/1.84 c stratification level: 77308776
1.78/1.85 c bounds 94935465 >= -50 @ 1.78501
1.78/1.85 c stratification level: 76765625
1.78/1.86 c bounds 94877889 >= -50 @ 1.79368
1.78/1.86 c stratification level: 76225024
1.78/1.88 c bounds 94811167 >= -50 @ 1.80672
1.78/1.88 c stratification level: 75686967
1.88/1.90 c bounds 94786313 >= -50 @ 1.83453
1.88/1.90 c stratification level: 75151448
1.88/1.91 c bounds 94779881 >= -50 @ 1.84347
1.88/1.91 c stratification level: 74088000
1.88/1.92 c bounds 71756009 >= -50 @ 1.85245
1.88/1.92 c stratification level: 71473375
1.88/1.95 c bounds 71703857 >= -50 @ 1.87538
1.88/1.95 c stratification level: 70957944
1.88/1.96 c bounds 71658321 >= -50 @ 1.88557
1.88/1.96 c stratification level: 70444997
1.98/2.04 c bounds 71655919 >= -50 @ 1.96808
1.98/2.04 c stratification level: 69934528
1.98/2.06 c bounds 71607663 >= -50 @ 1.98031
1.98/2.06 c stratification level: 69426531
1.98/2.10 c bounds 71598263 >= -50 @ 2.01897
1.98/2.10 c stratification level: 68921000
2.09/2.11 c bounds 71515281 >= -50 @ 2.02966
2.09/2.11 c stratification level: 68417929
2.09/2.12 c bounds 71392465 >= -50 @ 2.04044
2.09/2.12 c stratification level: 67419143
2.09/2.13 c bounds 71386033 >= -50 @ 2.05455
2.09/2.13 c stratification level: 66430125
2.09/2.16 c bounds 71370841 >= -50 @ 2.07975
2.09/2.16 c stratification level: 65939264
2.09/2.18 c bounds 71228225 >= -50 @ 2.10475
2.09/2.18 c stratification level: 64964808
2.18/2.20 c bounds 71217617 >= -50 @ 2.12227
2.18/2.20 c stratification level: 64481201
2.18/2.26 c bounds 31783363 >= -50 @ 2.17485
2.18/2.26 c stratification level: 31554496
2.18/2.27 c bounds 31581013 >= -50 @ 2.18472
2.18/2.27 c stratification level: 31255875
2.18/2.28 c bounds 31544165 >= -50 @ 2.19919
2.18/2.28 c stratification level: 30959144
2.28/2.31 c bounds 31462797 >= -50 @ 2.22512
2.28/2.31 c stratification level: 30080231
2.28/2.33 c bounds 31311645 >= -50 @ 2.23968
2.28/2.33 c stratification level: 29791000
2.28/2.35 c bounds 31283129 >= -50 @ 2.25942
2.28/2.35 c stratification level: 29503629
2.28/2.36 c bounds 31252659 >= -50 @ 2.27366
2.28/2.36 c stratification level: 29218112
2.28/2.38 c bounds 31169495 >= -50 @ 2.29149
2.28/2.38 c stratification level: 28934443
3.88/3.92 c #Conflicts: 1000 | #Constraints: 13571
3.88/3.92 c bounds 29350009 >= -50 @ 3.81088
3.88/3.92 c stratification level: 28652616
3.88/3.94 c bounds 29344845 >= -50 @ 3.83057
3.88/3.94 c stratification level: 28372625
3.88/3.97 c bounds 29330869 >= -50 @ 3.85503
3.88/3.97 c stratification level: 28094464
3.99/4.00 c bounds 29227845 >= -50 @ 3.89084
3.99/4.00 c stratification level: 27818127
3.99/4.03 c bounds 29176811 >= -50 @ 3.92235
3.99/4.03 c stratification level: 27543608
3.99/4.07 c bounds 28940871 >= -50 @ 3.95804
3.99/4.07 c stratification level: 27270901
4.77/4.85 c bounds 28202659 >= -50 @ 4.73355
4.77/4.85 c stratification level: 27000000
4.77/4.88 c bounds 28201625 >= -50 @ 4.75938
4.77/4.88 c stratification level: 26730899
4.87/4.93 c bounds 28199195 >= -50 @ 4.80547
4.87/4.93 c stratification level: 26463592
4.87/4.95 c bounds 28169731 >= -50 @ 4.8311
4.87/4.95 c stratification level: 26198073
4.87/4.99 c bounds 28145075 >= -50 @ 4.87091
4.87/4.99 c stratification level: 25934336
4.98/5.03 c bounds 27958603 >= -50 @ 4.90988
4.98/5.03 c stratification level: 25672375
4.98/5.10 c bounds 27906019 >= -50 @ 4.97413
4.98/5.10 c stratification level: 25412184
5.08/5.13 c bounds 27850533 >= -50 @ 5.00121
5.08/5.13 c stratification level: 25153757
5.08/5.15 c bounds 27803203 >= -50 @ 5.02324
5.08/5.15 c stratification level: 24897088
5.08/5.19 c bounds 27730117 >= -50 @ 5.06258
5.08/5.19 c stratification level: 24642171
5.17/5.22 c bounds 27707973 >= -50 @ 5.08678
5.17/5.22 c stratification level: 24389000
5.47/5.53 c bounds 27688379 >= -50 @ 5.3982
5.47/5.53 c stratification level: 24137569
5.47/5.56 c bounds 27666235 >= -50 @ 5.42134
5.47/5.56 c stratification level: 23639903
5.47/5.58 c bounds 27597031 >= -50 @ 5.45044
5.47/5.58 c stratification level: 23393656
5.58/5.61 c bounds 27574887 >= -50 @ 5.475
5.58/5.61 c stratification level: 23149125
5.58/5.65 c bounds 27572879 >= -50 @ 5.51877
5.58/5.65 c stratification level: 22906304
5.58/5.68 c bounds 27558303 >= -50 @ 5.54809
5.58/5.68 c stratification level: 22665187
5.68/5.71 c bounds 27381617 >= -50 @ 5.57263
5.68/5.71 c stratification level: 22425768
5.68/5.76 c bounds 27364315 >= -50 @ 5.62111
5.68/5.76 c stratification level: 22188041
6.08/6.17 c #Conflicts: 2000 | #Constraints: 14596
6.08/6.17 c INPROCESSING
6.08/6.17 c GARBAGE COLLECT
6.08/6.17 c bounds 24475743 >= -50 @ 6.0283
6.08/6.17 c stratification level: 21952000
6.08/6.19 c bounds 24381985 >= -50 @ 6.04881
6.08/6.19 c stratification level: 21717639
6.17/6.20 c bounds 24317735 >= -50 @ 6.05544
6.17/6.20 c stratification level: 21484952
6.17/6.21 c bounds 24295463 >= -50 @ 6.06766
6.17/6.21 c stratification level: 21253933
6.17/6.23 c bounds 24239797 >= -50 @ 6.08696
6.17/6.23 c stratification level: 21024576
6.17/6.25 c bounds 24226015 >= -50 @ 6.10814
6.17/6.25 c stratification level: 20796875
6.17/6.26 c bounds 24212127 >= -50 @ 6.11849
6.17/6.26 c stratification level: 20570824
6.17/6.27 c bounds 24184177 >= -50 @ 6.12897
6.17/6.27 c stratification level: 20346417
6.17/6.28 c bounds 24175505 >= -50 @ 6.13937
6.17/6.28 c stratification level: 20123648
6.27/6.34 c bounds 23786307 >= -50 @ 6.19633
6.27/6.34 c stratification level: 19902511
6.27/6.35 c bounds 23729697 >= -50 @ 6.20613
6.27/6.35 c stratification level: 19683000
6.27/6.36 c bounds 23667953 >= -50 @ 6.21561
6.27/6.36 c stratification level: 19465109
6.27/6.38 c bounds 23596331 >= -50 @ 6.23282
6.27/6.38 c stratification level: 19034163
6.37/6.40 c bounds 23570863 >= -50 @ 6.25747
6.37/6.40 c stratification level: 18821096
6.37/6.42 c bounds 23483911 >= -50 @ 6.27482
6.37/6.42 c stratification level: 18609625
6.47/6.59 c bounds 23461469 >= -50 @ 6.43412
6.47/6.59 c stratification level: 18399744
6.57/6.60 c bounds 22972333 >= -50 @ 6.44923
6.57/6.60 c stratification level: 18191447
6.57/6.61 c bounds 22867757 >= -50 @ 6.46242
6.57/6.61 c stratification level: 17984728
6.57/6.64 c bounds 22832991 >= -50 @ 6.4855
6.57/6.64 c stratification level: 17779581
6.57/6.67 c bounds 22826769 >= -50 @ 6.51184
6.57/6.67 c stratification level: 17576000
6.76/6.86 c bounds 22723389 >= -50 @ 6.69981
6.76/6.86 c stratification level: 17373979
6.76/6.88 c bounds 22722371 >= -50 @ 6.7182
6.76/6.88 c stratification level: 17173512
6.76/6.89 c bounds 22708697 >= -50 @ 6.72917
6.76/6.89 c stratification level: 16974593
6.87/6.94 c bounds 5605213 >= -50 @ 6.77409
6.87/6.94 c stratification level: 5545233
6.87/6.96 c bounds 5583825 >= -50 @ 6.79529
6.87/6.96 c stratification level: 5451776
6.87/6.97 c bounds 5564407 >= -50 @ 6.80471
6.87/6.97 c stratification level: 5359375
6.87/6.98 c bounds 5537767 >= -50 @ 6.81577
6.87/6.98 c stratification level: 5268024
6.87/7.00 c bounds 5433191 >= -50 @ 6.82846
6.87/7.00 c stratification level: 5177717
6.98/7.04 c bounds 5432185 >= -50 @ 6.86915
6.98/7.04 c stratification level: 5088448
6.98/7.07 c bounds 5415527 >= -50 @ 6.90381
6.98/7.07 c stratification level: 5000211
6.98/7.08 c bounds 5410613 >= -50 @ 6.91545
6.98/7.08 c stratification level: 4913000
6.98/7.09 c bounds 5391363 >= -50 @ 6.92591
6.98/7.09 c stratification level: 4826809
7.08/7.13 c bounds 5350885 >= -50 @ 6.96129
7.08/7.13 c stratification level: 4741632
7.08/7.17 c bounds 5333933 >= -50 @ 7.00423
7.08/7.17 c stratification level: 4657463
7.17/7.24 c bounds 5332641 >= -50 @ 7.07156
7.17/7.24 c stratification level: 4574296
7.17/7.27 c bounds 5325513 >= -50 @ 7.0956
7.17/7.27 c stratification level: 4492125
125.06/125.45 c #Conflicts: 3000 | #Constraints: 12649
125.06/125.45 c #Conflicts: 4000 | #Constraints: 13649
125.06/125.45 c INPROCESSING
125.06/125.45 c GARBAGE COLLECT
125.06/125.45 c #Conflicts: 5000 | #Constraints: 10684
125.06/125.45 c #Conflicts: 6000 | #Constraints: 11684
125.06/125.45 c INPROCESSING
125.06/125.45 c GARBAGE COLLECT
125.06/125.45 c #Conflicts: 7000 | #Constraints: 10718
125.06/125.45 c #Conflicts: 8000 | #Constraints: 11718
125.06/125.45 c #Conflicts: 9000 | #Constraints: 12718
125.06/125.45 c INPROCESSING
125.06/125.45 c GARBAGE COLLECT
125.06/125.45 c #Conflicts: 10000 | #Constraints: 11414
125.06/125.45 c #Conflicts: 11000 | #Constraints: 12414
125.06/125.45 c #Conflicts: 12000 | #Constraints: 13414
125.06/125.45 c INPROCESSING
125.06/125.45 c GARBAGE COLLECT
125.06/125.45 c #Conflicts: 13000 | #Constraints: 11840
125.06/125.45 c #Conflicts: 14000 | #Constraints: 12840
125.06/125.45 c #Conflicts: 15000 | #Constraints: 13840
125.06/125.45 c INPROCESSING
125.06/125.45 c GARBAGE COLLECT
125.06/125.45 c #Conflicts: 16000 | #Constraints: 12109
125.06/125.45 c #Conflicts: 17000 | #Constraints: 13109
125.06/125.45 c #Conflicts: 18000 | #Constraints: 14109
125.06/125.45 c INPROCESSING
125.06/125.45 c GARBAGE COLLECT
125.06/125.45 c #Conflicts: 19000 | #Constraints: 12110
125.06/125.45 c #Conflicts: 20000 | #Constraints: 13110
125.06/125.45 c #Conflicts: 21000 | #Constraints: 14110
125.06/125.45 c INPROCESSING
125.06/125.45 c GARBAGE COLLECT
125.06/125.45 c #Conflicts: 22000 | #Constraints: 11868
125.06/125.45 c #Conflicts: 23000 | #Constraints: 12868
125.06/125.45 c #Conflicts: 24000 | #Constraints: 13868
125.06/125.45 c #Conflicts: 25000 | #Constraints: 14868
125.06/125.45 c INPROCESSING
125.06/125.45 c GARBAGE COLLECT
125.06/125.45 c #Conflicts: 26000 | #Constraints: 12478
125.06/125.45 c #Conflicts: 27000 | #Constraints: 13478
125.06/125.45 c #Conflicts: 28000 | #Constraints: 14478
125.06/125.45 c #Conflicts: 29000 | #Constraints: 15478
125.06/125.45 c INPROCESSING
125.06/125.45 c GARBAGE COLLECT
125.06/125.45 c #Conflicts: 30000 | #Constraints: 12870
125.06/125.45 c #Conflicts: 31000 | #Constraints: 13870
125.06/125.45 c #Conflicts: 32000 | #Constraints: 14870
125.06/125.45 c #Conflicts: 33000 | #Constraints: 15870
125.06/125.45 c INPROCESSING
125.06/125.45 c GARBAGE COLLECT
125.06/125.45 c #Conflicts: 34000 | #Constraints: 13096
125.06/125.45 c #Conflicts: 35000 | #Constraints: 14096
125.06/125.45 c #Conflicts: 36000 | #Constraints: 15096
125.06/125.45 c #Conflicts: 37000 | #Constraints: 16096
125.06/125.45 c INPROCESSING
125.06/125.45 c GARBAGE COLLECT
125.06/125.45 c #Conflicts: 38000 | #Constraints: 13024
125.06/125.45 c #Conflicts: 39000 | #Constraints: 14024
125.06/125.45 c #Conflicts: 40000 | #Constraints: 15024
125.06/125.45 c #Conflicts: 41000 | #Constraints: 16024
125.06/125.45 c INPROCESSING
125.06/125.45 c GARBAGE COLLECT
125.06/125.45 c #Conflicts: 42000 | #Constraints: 12789
125.06/125.45 c bounds 5321657 >= -50 @ 124.521
125.06/125.45 c stratification level: 4410944
125.36/125.70 c bounds 5282587 >= -50 @ 124.773
125.36/125.70 c stratification level: 4330747
128.36/128.77 c #Conflicts: 43000 | #Constraints: 13791
128.36/128.77 c bounds 5267765 >= -50 @ 127.807
128.36/128.77 c stratification level: 4173281
128.46/128.89 c bounds 5267515 >= -50 @ 127.93
128.46/128.89 c stratification level: 4096000
129.05/129.44 c bounds 5267473 >= -50 @ 128.472
129.05/129.44 c stratification level: 4019679
130.35/130.76 c bounds 5247423 >= -50 @ 129.778
130.35/130.76 c stratification level: 3796416
137.04/137.47 c #Conflicts: 44000 | #Constraints: 14795
137.04/137.47 c bounds 4917833 >= -50 @ 136.438
137.04/137.47 c stratification level: 3581577
137.24/137.61 c bounds 4913243 >= -50 @ 136.573
137.24/137.61 c stratification level: 3511808
137.74/138.16 c bounds 4913147 >= -50 @ 137.121
137.74/138.16 c stratification level: 3442951
137.93/138.33 c bounds 4908039 >= -50 @ 137.296
137.93/138.33 c stratification level: 3375000
138.03/138.47 c bounds 4907537 >= -50 @ 137.431
138.03/138.47 c stratification level: 3307949
145.62/146.04 c #Conflicts: 45000 | #Constraints: 15800
145.62/146.04 c #Conflicts: 46000 | #Constraints: 16800
145.62/146.04 c bounds 4703997 >= -50 @ 144.949
145.62/146.04 c stratification level: 3241792
178.83/179.38 c INPROCESSING
178.83/179.38 c GARBAGE COLLECT
178.83/179.38 c #Conflicts: 47000 | #Constraints: 13309
178.83/179.38 c #Conflicts: 48000 | #Constraints: 14309
178.83/179.38 c #Conflicts: 49000 | #Constraints: 15309
178.83/179.38 c #Conflicts: 50000 | #Constraints: 16309
178.83/179.38 c #Conflicts: 51000 | #Constraints: 17309
178.83/179.38 c INPROCESSING
178.83/179.38 c GARBAGE COLLECT
178.83/179.38 c #Conflicts: 52000 | #Constraints: 13708
178.83/179.38 c #Conflicts: 53000 | #Constraints: 14708
178.83/179.38 c bounds 4645613 >= -50 @ 178.105
178.83/179.38 c stratification level: 3176523
179.53/180.05 c bounds 4542209 >= -50 @ 178.77
179.53/180.05 c stratification level: 3112136
179.63/180.16 c bounds 4536577 >= -50 @ 178.885
179.63/180.16 c stratification level: 3048625
179.72/180.28 c bounds 4519871 >= -50 @ 179.007
179.72/180.28 c stratification level: 2985984
179.92/180.45 c bounds 4519149 >= -50 @ 179.172
179.92/180.45 c stratification level: 2924207
180.02/180.59 c bounds 4518253 >= -50 @ 179.309
180.02/180.59 c stratification level: 2863288
180.32/180.81 c bounds 4517113 >= -50 @ 179.53
180.32/180.81 c stratification level: 2803221
180.42/180.92 c bounds 4503063 >= -50 @ 179.637
180.42/180.92 c stratification level: 2744000
180.53/181.05 c bounds 4499223 >= -50 @ 179.771
180.53/181.05 c stratification level: 2685619
190.30/190.82 c #Conflicts: 54000 | #Constraints: 15717
190.30/190.82 c #Conflicts: 55000 | #Constraints: 16717
190.30/190.82 c bounds 4496659 >= -50 @ 189.496
190.30/190.82 c stratification level: 2628072
190.50/191.04 c bounds 4493999 >= -50 @ 189.714
190.50/191.04 c stratification level: 2571353
190.80/191.33 c bounds 4493183 >= -50 @ 190.01
190.80/191.33 c stratification level: 2515456
190.90/191.49 c bounds 4483247 >= -50 @ 190.165
190.90/191.49 c stratification level: 2460375
191.59/192.12 c bounds 4469041 >= -50 @ 190.789
191.59/192.12 c stratification level: 2406104
191.79/192.36 c bounds 4452297 >= -50 @ 191.03
191.79/192.36 c stratification level: 2352637
191.99/192.52 c bounds 4433127 >= -50 @ 191.185
191.99/192.52 c stratification level: 2299968
192.09/192.67 c bounds 4411167 >= -50 @ 191.339
192.09/192.67 c stratification level: 2248091
192.78/193.38 c bounds 4409919 >= -50 @ 192.049
192.78/193.38 c stratification level: 2197000
193.19/193.78 c bounds 4404495 >= -50 @ 192.445
193.19/193.78 c stratification level: 2146689
202.47/203.09 c #Conflicts: 56000 | #Constraints: 17727
202.47/203.09 c INPROCESSING
202.47/203.09 c GARBAGE COLLECT
202.47/203.09 c bounds 4403845 >= -50 @ 201.688
202.47/203.09 c stratification level: 2097152
202.57/203.18 c bounds 4403123 >= -50 @ 201.77
202.57/203.18 c stratification level: 2048383
202.66/203.27 c bounds 4399067 >= -50 @ 201.862
202.66/203.27 c stratification level: 2000376
202.76/203.36 c bounds 4390575 >= -50 @ 201.948
202.76/203.36 c stratification level: 1953125
203.16/203.70 c bounds 4389883 >= -50 @ 202.289
203.16/203.70 c stratification level: 1906624
203.37/203.94 c bounds 4386755 >= -50 @ 202.527
203.37/203.94 c stratification level: 1860867
203.86/204.44 c #Conflicts: 57000 | #Constraints: 13807
203.86/204.44 c bounds 4386455 >= -50 @ 203.021
203.86/204.44 c stratification level: 1815848
203.96/204.57 c bounds 4377111 >= -50 @ 203.148
203.96/204.57 c stratification level: 1771561
204.36/204.90 c bounds 4376021 >= -50 @ 203.483
204.36/204.90 c stratification level: 1728000
219.72/220.32 c #Conflicts: 58000 | #Constraints: 14810
219.72/220.32 c #Conflicts: 59000 | #Constraints: 15810
219.72/220.32 c bounds 4372107 >= -50 @ 218.813
219.72/220.32 c stratification level: 1643032
224.21/224.83 c #Conflicts: 60000 | #Constraints: 16811
224.21/224.83 c bounds 4362277 >= -50 @ 223.298
224.21/224.83 c stratification level: 1601613
225.10/225.70 c bounds 4353967 >= -50 @ 224.162
225.10/225.70 c stratification level: 1560896
225.30/225.90 c bounds 4349921 >= -50 @ 224.357
225.30/225.90 c stratification level: 1520875
226.90/227.50 c bounds 4335673 >= -50 @ 225.953
226.90/227.50 c stratification level: 1481544
228.20/228.88 c bounds 4290669 >= -50 @ 227.318
228.20/228.88 c stratification level: 1442897
239.17/239.83 c #Conflicts: 61000 | #Constraints: 17816
239.17/239.83 c INPROCESSING
239.17/239.83 c GARBAGE COLLECT
239.17/239.83 c #Conflicts: 62000 | #Constraints: 13818
239.17/239.83 c bounds 4282305 >= -50 @ 238.196
239.17/239.83 c stratification level: 1404928
239.27/239.95 c bounds 4282279 >= -50 @ 238.308
239.27/239.95 c stratification level: 1367631
239.87/240.58 c bounds 4263661 >= -50 @ 238.934
239.87/240.58 c stratification level: 1331000
241.37/242.06 c #Conflicts: 63000 | #Constraints: 14821
241.37/242.06 c bounds 4262205 >= -50 @ 240.41
241.37/242.06 c stratification level: 1295029
250.74/251.40 c #Conflicts: 64000 | #Constraints: 15822
250.74/251.40 c bounds 4258725 >= -50 @ 249.687
250.74/251.40 c stratification level: 1259712
250.84/251.57 c bounds 4256259 >= -50 @ 249.857
250.84/251.57 c stratification level: 1225043
312.78/313.61 c #Conflicts: 65000 | #Constraints: 16824
312.78/313.61 c #Conflicts: 66000 | #Constraints: 17824
312.78/313.61 c INPROCESSING
312.78/313.61 c GARBAGE COLLECT
312.78/313.61 c #Conflicts: 67000 | #Constraints: 13630
312.78/313.61 c #Conflicts: 68000 | #Constraints: 14630
312.78/313.61 c #Conflicts: 69000 | #Constraints: 15630
312.78/313.61 c #Conflicts: 70000 | #Constraints: 16630
312.78/313.61 c #Conflicts: 71000 | #Constraints: 17630
312.78/313.61 c bounds 4255975 >= -50 @ 311.6
312.78/313.61 c stratification level: 1191016
313.08/313.91 c bounds 4243919 >= -50 @ 311.905
313.08/313.91 c stratification level: 1157625
313.58/314.48 c bounds 4236815 >= -50 @ 312.472
313.58/314.48 c stratification level: 1124864
313.88/314.72 c bounds 4235679 >= -50 @ 312.706
313.88/314.72 c stratification level: 1061208
314.18/315.05 c bounds 4234287 >= -50 @ 313.034
314.18/315.05 c stratification level: 1030301
314.37/315.28 c bounds 4230213 >= -50 @ 313.258
314.37/315.28 c stratification level: 1000000
319.96/320.84 c #Conflicts: 72000 | #Constraints: 18636
319.96/320.84 c bounds 4215927 >= -50 @ 318.799
319.96/320.84 c stratification level: 970299
320.27/321.10 c bounds 4213511 >= -50 @ 319.059
320.27/321.10 c stratification level: 941192
505.27/506.60 c INPROCESSING
505.27/506.60 c GARBAGE COLLECT
505.27/506.60 c #Conflicts: 73000 | #Constraints: 14227
505.27/506.60 c #Conflicts: 74000 | #Constraints: 15227
505.27/506.60 c #Conflicts: 75000 | #Constraints: 16227
505.27/506.60 c #Conflicts: 76000 | #Constraints: 17227
505.27/506.60 c #Conflicts: 77000 | #Constraints: 18227
505.27/506.60 c #Conflicts: 78000 | #Constraints: 19227
505.27/506.60 c INPROCESSING
505.27/506.60 c GARBAGE COLLECT
505.27/506.60 c #Conflicts: 79000 | #Constraints: 14600
505.27/506.60 c #Conflicts: 80000 | #Constraints: 15600
505.27/506.60 c #Conflicts: 81000 | #Constraints: 16600
505.27/506.60 c #Conflicts: 82000 | #Constraints: 17600
505.27/506.60 c #Conflicts: 83000 | #Constraints: 18600
505.27/506.60 c #Conflicts: 84000 | #Constraints: 19600
505.27/506.60 c INPROCESSING
505.27/506.60 c GARBAGE COLLECT
505.27/506.60 c #Conflicts: 85000 | #Constraints: 14786
505.27/506.60 c #Conflicts: 86000 | #Constraints: 15786
505.27/506.60 c #Conflicts: 87000 | #Constraints: 16786
505.27/506.60 c #Conflicts: 88000 | #Constraints: 17786
505.27/506.60 c #Conflicts: 89000 | #Constraints: 18786
505.27/506.60 c #Conflicts: 90000 | #Constraints: 19786
505.27/506.60 c INPROCESSING
505.27/506.60 c GARBAGE COLLECT
505.27/506.60 c #Conflicts: 91000 | #Constraints: 14806
505.27/506.60 c #Conflicts: 92000 | #Constraints: 15806
505.27/506.60 c #Conflicts: 93000 | #Constraints: 16806
505.27/506.60 c #Conflicts: 94000 | #Constraints: 17806
505.27/506.60 c #Conflicts: 95000 | #Constraints: 18806
505.27/506.60 c bounds 4209069 >= -50 @ 503.688
505.27/506.60 c stratification level: 912673
505.67/507.02 c bounds 4204589 >= -50 @ 504.099
505.67/507.02 c stratification level: 884736
506.37/507.76 c bounds 4203245 >= -50 @ 504.839
506.37/507.76 c stratification level: 857375
506.77/508.15 c bounds 4183525 >= -50 @ 505.222
506.77/508.15 c stratification level: 830584
507.06/508.44 c bounds 4183523 >= -50 @ 505.517
507.06/508.44 c stratification level: 778688
507.46/508.84 c bounds 4180157 >= -50 @ 505.916
507.46/508.84 c stratification level: 753571
539.58/541.08 c #Conflicts: 96000 | #Constraints: 19812
539.58/541.08 c INPROCESSING
539.58/541.08 c GARBAGE COLLECT
539.58/541.08 c #Conflicts: 97000 | #Constraints: 14634
539.58/541.08 c #Conflicts: 98000 | #Constraints: 15634
539.58/541.08 c #Conflicts: 99000 | #Constraints: 16634
539.58/541.08 c bounds 4161797 >= -50 @ 537.973
539.58/541.08 c stratification level: 729000
541.87/543.35 c #Conflicts: 100000 | #Constraints: 17635
541.87/543.35 c bounds 4158491 >= -50 @ 540.233
541.87/543.35 c stratification level: 704969
542.27/543.74 c bounds 4156901 >= -50 @ 540.615
542.27/543.74 c stratification level: 681472
542.47/543.96 c bounds 4144291 >= -50 @ 540.836
542.47/543.96 c stratification level: 658503
542.77/544.29 c bounds 4136605 >= -50 @ 541.162
542.77/544.29 c stratification level: 636056
543.07/544.51 c bounds 4132349 >= -50 @ 541.377
543.07/544.51 c stratification level: 614125
543.27/544.75 c bounds 4083629 >= -50 @ 541.62
543.27/544.75 c stratification level: 592704
563.42/565.00 c #Conflicts: 101000 | #Constraints: 18641
563.42/565.00 c bounds 4081757 >= -50 @ 561.763
563.42/565.00 c stratification level: 571787
563.81/565.33 c bounds 4079423 >= -50 @ 562.093
563.81/565.33 c stratification level: 551368
564.11/565.63 c bounds 4075167 >= -50 @ 562.388
564.11/565.63 c stratification level: 531441
564.51/566.01 c bounds 4074501 >= -50 @ 562.769
564.51/566.01 c stratification level: 512000
564.91/566.44 c bounds 4066031 >= -50 @ 563.193
564.91/566.44 c stratification level: 493039
578.48/580.09 c #Conflicts: 102000 | #Constraints: 19646
578.48/580.09 c bounds 4064727 >= -50 @ 576.786
578.48/580.09 c stratification level: 474552
578.78/580.36 c bounds 4055895 >= -50 @ 577.054
578.78/580.36 c stratification level: 456533
587.75/589.30 c bounds 4043947 >= -50 @ 585.947
587.75/589.30 c stratification level: 421875
595.12/596.74 c bounds 4028649 >= -50 @ 593.343
595.12/596.74 c stratification level: 405224
595.43/597.02 c bounds 4027033 >= -50 @ 593.627
595.43/597.02 c stratification level: 389017
940.81/943.38 c #Conflicts: 103000 | #Constraints: 20651
940.81/943.38 c INPROCESSING
940.81/943.38 c GARBAGE COLLECT
940.81/943.38 c #Conflicts: 104000 | #Constraints: 15201
940.81/943.38 c #Conflicts: 105000 | #Constraints: 16201
940.81/943.38 c #Conflicts: 106000 | #Constraints: 17201
940.81/943.38 c #Conflicts: 107000 | #Constraints: 18201
940.81/943.38 c #Conflicts: 108000 | #Constraints: 19201
940.81/943.38 c #Conflicts: 109000 | #Constraints: 20201
940.81/943.38 c #Conflicts: 110000 | #Constraints: 21201
940.81/943.38 c INPROCESSING
940.81/943.38 c GARBAGE COLLECT
940.81/943.38 c #Conflicts: 111000 | #Constraints: 15577
940.81/943.38 c #Conflicts: 112000 | #Constraints: 16577
940.81/943.38 c #Conflicts: 113000 | #Constraints: 17577
940.81/943.38 c #Conflicts: 114000 | #Constraints: 18577
940.81/943.38 c #Conflicts: 115000 | #Constraints: 19577
940.81/943.38 c #Conflicts: 116000 | #Constraints: 20577
940.81/943.38 c #Conflicts: 117000 | #Constraints: 21577
940.81/943.38 c INPROCESSING
940.81/943.38 c GARBAGE COLLECT
940.81/943.38 c #Conflicts: 118000 | #Constraints: 15767
940.81/943.38 c #Conflicts: 119000 | #Constraints: 16767
940.81/943.38 c #Conflicts: 120000 | #Constraints: 17767
940.81/943.38 c #Conflicts: 121000 | #Constraints: 18767
940.81/943.38 c #Conflicts: 122000 | #Constraints: 19767
940.81/943.38 c #Conflicts: 123000 | #Constraints: 20767
940.81/943.38 c #Conflicts: 124000 | #Constraints: 21767
940.81/943.38 c INPROCESSING
940.81/943.38 c GARBAGE COLLECT
940.81/943.38 c #Conflicts: 125000 | #Constraints: 15758
940.81/943.38 c #Conflicts: 126000 | #Constraints: 16758
940.81/943.38 c #Conflicts: 127000 | #Constraints: 17758
940.81/943.38 c #Conflicts: 128000 | #Constraints: 18758
940.81/943.38 c #Conflicts: 129000 | #Constraints: 19758
940.81/943.38 c #Conflicts: 130000 | #Constraints: 20758
940.81/943.38 c #Conflicts: 131000 | #Constraints: 21758
940.81/943.38 c INPROCESSING
940.81/943.38 c GARBAGE COLLECT
940.81/943.38 c #Conflicts: 132000 | #Constraints: 15566
940.81/943.38 c #Conflicts: 133000 | #Constraints: 16566
940.81/943.38 c #Conflicts: 134000 | #Constraints: 17566
940.81/943.38 c #Conflicts: 135000 | #Constraints: 18566
940.81/943.38 c #Conflicts: 136000 | #Constraints: 19566
940.81/943.38 c #Conflicts: 137000 | #Constraints: 20566
940.81/943.38 c #Conflicts: 138000 | #Constraints: 21566
940.81/943.38 c #Conflicts: 139000 | #Constraints: 22566
940.81/943.38 c INPROCESSING
940.81/943.38 c GARBAGE COLLECT
940.81/943.38 c #Conflicts: 140000 | #Constraints: 16175
940.81/943.38 c #Conflicts: 141000 | #Constraints: 17175
940.81/943.38 c #Conflicts: 142000 | #Constraints: 18175
940.81/943.38 c bounds 4024843 >= -50 @ 938.265
940.81/943.38 c stratification level: 373248
941.11/943.63 c bounds 4015893 >= -50 @ 938.517
941.11/943.63 c stratification level: 357911
941.30/943.85 c bounds 4015189 >= -50 @ 938.735
941.30/943.85 c stratification level: 343000
944.20/946.71 c bounds 4012967 >= -50 @ 941.583
944.20/946.71 c stratification level: 328509
1541.58/1545.71 c #Conflicts: 143000 | #Constraints: 19179
1541.58/1545.71 c #Conflicts: 144000 | #Constraints: 20179
1541.58/1545.71 c #Conflicts: 145000 | #Constraints: 21179
1541.58/1545.71 c #Conflicts: 146000 | #Constraints: 22179
1541.58/1545.71 c #Conflicts: 147000 | #Constraints: 23179
1541.58/1545.71 c INPROCESSING
1541.58/1545.71 c GARBAGE COLLECT
1541.58/1545.71 c #Conflicts: 148000 | #Constraints: 16568
1541.58/1545.71 c #Conflicts: 149000 | #Constraints: 17568
1541.58/1545.71 c #Conflicts: 150000 | #Constraints: 18568
1541.58/1545.71 c #Conflicts: 151000 | #Constraints: 19568
1541.58/1545.71 c #Conflicts: 152000 | #Constraints: 20568
1541.58/1545.71 c #Conflicts: 153000 | #Constraints: 21568
1541.58/1545.71 c #Conflicts: 154000 | #Constraints: 22568
1541.58/1545.71 c #Conflicts: 155000 | #Constraints: 23568
1541.58/1545.71 c INPROCESSING
1541.58/1545.71 c GARBAGE COLLECT
1541.58/1545.71 c #Conflicts: 156000 | #Constraints: 16762
1541.58/1545.71 c #Conflicts: 157000 | #Constraints: 17762
1541.58/1545.71 c #Conflicts: 158000 | #Constraints: 18762
1541.58/1545.71 c #Conflicts: 159000 | #Constraints: 19762
1541.58/1545.71 c #Conflicts: 160000 | #Constraints: 20762
1541.58/1545.71 c #Conflicts: 161000 | #Constraints: 21762
1541.58/1545.71 c #Conflicts: 162000 | #Constraints: 22762
1541.58/1545.71 c #Conflicts: 163000 | #Constraints: 23762
1541.58/1545.71 c INPROCESSING
1541.58/1545.71 c GARBAGE COLLECT
1541.58/1545.71 c #Conflicts: 164000 | #Constraints: 16758
1541.58/1545.71 c #Conflicts: 165000 | #Constraints: 17758
1541.58/1545.71 c #Conflicts: 166000 | #Constraints: 18758
1541.58/1545.71 c #Conflicts: 167000 | #Constraints: 19758
1541.58/1545.71 c #Conflicts: 168000 | #Constraints: 20758
1541.58/1545.71 c #Conflicts: 169000 | #Constraints: 21758
1541.58/1545.71 c #Conflicts: 170000 | #Constraints: 22758
1541.58/1545.71 c #Conflicts: 171000 | #Constraints: 23758
1541.58/1545.71 c INPROCESSING
1541.58/1545.71 c GARBAGE COLLECT
1541.58/1545.71 c #Conflicts: 172000 | #Constraints: 16548
1541.58/1545.71 c #Conflicts: 173000 | #Constraints: 17548
1541.58/1545.71 c #Conflicts: 174000 | #Constraints: 18548
1541.58/1545.71 c #Conflicts: 175000 | #Constraints: 19548
1541.58/1545.71 c #Conflicts: 176000 | #Constraints: 20548
1541.58/1545.71 c #Conflicts: 177000 | #Constraints: 21548
1541.58/1545.71 c #Conflicts: 178000 | #Constraints: 22548
1541.58/1545.71 c #Conflicts: 179000 | #Constraints: 23548
1541.58/1545.71 c #Conflicts: 180000 | #Constraints: 24548
1541.58/1545.71 c INPROCESSING
1541.58/1545.71 c GARBAGE COLLECT
1541.58/1545.71 c #Conflicts: 181000 | #Constraints: 17141
1541.58/1545.71 c #Conflicts: 182000 | #Constraints: 18141
1541.58/1545.71 c #Conflicts: 183000 | #Constraints: 19141
1541.58/1545.71 c #Conflicts: 184000 | #Constraints: 20141
1541.58/1545.71 c #Conflicts: 185000 | #Constraints: 21141
1541.58/1545.71 c #Conflicts: 186000 | #Constraints: 22141
1541.58/1545.71 c #Conflicts: 187000 | #Constraints: 23141
1541.58/1545.71 c #Conflicts: 188000 | #Constraints: 24141
1541.58/1545.71 c #Conflicts: 189000 | #Constraints: 25141
1541.58/1545.71 c INPROCESSING
1541.58/1545.71 c GARBAGE COLLECT
1541.58/1545.71 c #Conflicts: 190000 | #Constraints: 17537
1541.58/1545.71 c #Conflicts: 191000 | #Constraints: 18537
1541.58/1545.71 c #Conflicts: 192000 | #Constraints: 19537
1541.58/1545.71 c #Conflicts: 193000 | #Constraints: 20537
1541.58/1545.71 c #Conflicts: 194000 | #Constraints: 21537
1541.58/1545.71 c #Conflicts: 195000 | #Constraints: 22537
1541.58/1545.71 c #Conflicts: 196000 | #Constraints: 23537
1541.58/1545.71 c #Conflicts: 197000 | #Constraints: 24537
1541.58/1545.71 c #Conflicts: 198000 | #Constraints: 25537
1541.58/1545.71 c INPROCESSING
1541.58/1545.71 c GARBAGE COLLECT
1541.58/1545.71 c #Conflicts: 199000 | #Constraints: 17746
1541.58/1545.71 c #Conflicts: 200000 | #Constraints: 18746
1541.58/1545.71 c #Conflicts: 201000 | #Constraints: 19746
1541.58/1545.71 c #Conflicts: 202000 | #Constraints: 20746
1541.58/1545.71 c #Conflicts: 203000 | #Constraints: 21746
1541.58/1545.71 c #Conflicts: 204000 | #Constraints: 22746
1541.58/1545.71 c #Conflicts: 205000 | #Constraints: 23746
1541.58/1545.71 c #Conflicts: 206000 | #Constraints: 24746
1541.58/1545.71 c #Conflicts: 207000 | #Constraints: 25746
1541.58/1545.71 c INPROCESSING
1541.58/1545.71 c GARBAGE COLLECT
1541.58/1545.71 c #Conflicts: 208000 | #Constraints: 17758
1541.58/1545.71 c #Conflicts: 209000 | #Constraints: 18758
1541.58/1545.71 c #Conflicts: 210000 | #Constraints: 19758
1541.58/1545.71 c #Conflicts: 211000 | #Constraints: 20758
1541.58/1545.71 c #Conflicts: 212000 | #Constraints: 21758
1541.58/1545.71 c #Conflicts: 213000 | #Constraints: 22758
1541.58/1545.71 c #Conflicts: 214000 | #Constraints: 23758
1541.58/1545.71 c #Conflicts: 215000 | #Constraints: 24758
1541.58/1545.71 c #Conflicts: 216000 | #Constraints: 25758
1949.91/1955.16 c INPROCESSING
1949.91/1955.16 c GARBAGE COLLECT
1949.91/1955.16 c #Conflicts: 217000 | #Constraints: 17556
1949.91/1955.16 c #Conflicts: 218000 | #Constraints: 18556
1949.91/1955.16 c #Conflicts: 219000 | #Constraints: 19556
1949.91/1955.16 c #Conflicts: 220000 | #Constraints: 20556
1949.91/1955.16 c #Conflicts: 221000 | #Constraints: 21556
1949.91/1955.16 c #Conflicts: 222000 | #Constraints: 22556
1949.91/1955.16 c #Conflicts: 223000 | #Constraints: 23556
1949.91/1955.16 c #Conflicts: 224000 | #Constraints: 24556
1949.91/1955.16 c #Conflicts: 225000 | #Constraints: 25556
1949.91/1955.16 c #Conflicts: 226000 | #Constraints: 26556
1949.91/1955.16 c INPROCESSING
1949.91/1955.16 c GARBAGE COLLECT
1949.91/1955.16 c #Conflicts: 227000 | #Constraints: 18162
1949.91/1955.16 c #Conflicts: 228000 | #Constraints: 19162
1949.91/1955.16 c #Conflicts: 229000 | #Constraints: 20162
1949.91/1955.16 c #Conflicts: 230000 | #Constraints: 21162
1949.91/1955.16 c #Conflicts: 231000 | #Constraints: 22162
1949.91/1955.16 c #Conflicts: 232000 | #Constraints: 23162
1949.91/1955.16 c #Conflicts: 233000 | #Constraints: 24162
1949.91/1955.16 c #Conflicts: 234000 | #Constraints: 25162
1949.91/1955.16 c #Conflicts: 235000 | #Constraints: 26162
1949.91/1955.16 c #Conflicts: 236000 | #Constraints: 27162
1949.91/1955.16 c INPROCESSING
1949.91/1955.16 c GARBAGE COLLECT
1949.91/1955.16 c #Conflicts: 237000 | #Constraints: 18568
1949.91/1955.16 c #Conflicts: 238000 | #Constraints: 19568
1949.91/1955.16 c #Conflicts: 239000 | #Constraints: 20568
1949.91/1955.16 c #Conflicts: 240000 | #Constraints: 21568
1949.91/1955.16 c #Conflicts: 241000 | #Constraints: 22568
1949.91/1955.16 c #Conflicts: 242000 | #Constraints: 23568
1949.91/1955.16 c #Conflicts: 243000 | #Constraints: 24568
1949.91/1955.16 c #Conflicts: 244000 | #Constraints: 25568
1949.91/1955.16 c #Conflicts: 245000 | #Constraints: 26568
1949.91/1955.16 c #Conflicts: 246000 | #Constraints: 27568
1949.91/1955.16 c INPROCESSING
1949.91/1955.16 c GARBAGE COLLECT
1949.91/1955.16 c #Conflicts: 247000 | #Constraints: 18782
1949.91/1955.16 c #Conflicts: 248000 | #Constraints: 19782
1949.91/1955.16 c #Conflicts: 249000 | #Constraints: 20782
1949.91/1955.16 c #Conflicts: 250000 | #Constraints: 21782
1949.91/1955.16 c #Conflicts: 251000 | #Constraints: 22782
1949.91/1955.16 c #Conflicts: 252000 | #Constraints: 23782
1949.91/1955.16 c #Conflicts: 253000 | #Constraints: 24782
1949.91/1955.16 c #Conflicts: 254000 | #Constraints: 25782
1949.91/1955.16 c #Conflicts: 255000 | #Constraints: 26782
1949.91/1955.16 c #Conflicts: 256000 | #Constraints: 27782
1949.91/1955.16 c INPROCESSING
1949.91/1955.16 c GARBAGE COLLECT
1949.91/1955.16 c #Conflicts: 257000 | #Constraints: 18787
1949.91/1955.16 c bounds 4010609 >= -50 @ 1945.41
1949.91/1955.16 c stratification level: 314432
1950.01/1955.29 c bounds 4008689 >= -50 @ 1945.54
1950.01/1955.29 c stratification level: 300763
2088.93/2094.56 c #Conflicts: 258000 | #Constraints: 19789
2088.93/2094.56 c #Conflicts: 259000 | #Constraints: 20789
2088.93/2094.56 c #Conflicts: 260000 | #Constraints: 21789
2088.93/2094.56 c #Conflicts: 261000 | #Constraints: 22789
2088.93/2094.56 c #Conflicts: 262000 | #Constraints: 23789
2088.93/2094.56 c #Conflicts: 263000 | #Constraints: 24789
2088.93/2094.56 c #Conflicts: 264000 | #Constraints: 25789
2088.93/2094.56 c #Conflicts: 265000 | #Constraints: 26789
2088.93/2094.56 c #Conflicts: 266000 | #Constraints: 27789
2088.93/2094.56 c INPROCESSING
2088.93/2094.56 c GARBAGE COLLECT
2088.93/2094.56 c #Conflicts: 267000 | #Constraints: 18572
2088.93/2094.56 c #Conflicts: 268000 | #Constraints: 19572
2088.93/2094.56 c #Conflicts: 269000 | #Constraints: 20572
2088.93/2094.56 c #Conflicts: 270000 | #Constraints: 21572
2088.93/2094.56 c #Conflicts: 271000 | #Constraints: 22572
2088.93/2094.56 c bounds 3978567 >= -50 @ 2084.23
2088.93/2094.56 c stratification level: 287496
2089.13/2094.78 c bounds 3975975 >= -50 @ 2084.44
2089.13/2094.78 c stratification level: 274625
2208.72/2214.62 c #Conflicts: 272000 | #Constraints: 23574
2208.72/2214.62 c #Conflicts: 273000 | #Constraints: 24574
2208.72/2214.62 c #Conflicts: 274000 | #Constraints: 25574
2208.72/2214.62 c #Conflicts: 275000 | #Constraints: 26574
2208.72/2214.62 c #Conflicts: 276000 | #Constraints: 27574
2208.72/2214.62 c #Conflicts: 277000 | #Constraints: 28574
2208.72/2214.62 c INPROCESSING
2208.72/2214.62 c GARBAGE COLLECT
2208.72/2214.62 c #Conflicts: 278000 | #Constraints: 19165
2208.72/2214.62 c #Conflicts: 279000 | #Constraints: 20165
2208.72/2214.62 c #Conflicts: 280000 | #Constraints: 21165
2208.72/2214.62 c #Conflicts: 281000 | #Constraints: 22165
2208.72/2214.62 c #Conflicts: 282000 | #Constraints: 23165
2208.72/2214.62 c bounds 3973897 >= -50 @ 2203.77
2208.72/2214.62 c stratification level: 262144
2209.01/2214.90 c bounds 3971977 >= -50 @ 2204.05
2209.01/2214.90 c stratification level: 250047
3203.55/3212.15 c #Conflicts: 283000 | #Constraints: 24167
3203.55/3212.15 c #Conflicts: 284000 | #Constraints: 25167
3203.55/3212.15 c #Conflicts: 285000 | #Constraints: 26167
3203.55/3212.15 c #Conflicts: 286000 | #Constraints: 27167
3203.55/3212.15 c #Conflicts: 287000 | #Constraints: 28167
3203.55/3212.15 c #Conflicts: 288000 | #Constraints: 29167
3203.55/3212.15 c INPROCESSING
3203.55/3212.15 c GARBAGE COLLECT
3203.55/3212.15 c #Conflicts: 289000 | #Constraints: 19580
3203.55/3212.15 c #Conflicts: 290000 | #Constraints: 20580
3203.55/3212.15 c #Conflicts: 291000 | #Constraints: 21580
3203.55/3212.15 c #Conflicts: 292000 | #Constraints: 22580
3203.55/3212.15 c #Conflicts: 293000 | #Constraints: 23580
3203.55/3212.15 c #Conflicts: 294000 | #Constraints: 24580
3203.55/3212.15 c #Conflicts: 295000 | #Constraints: 25580
3203.55/3212.15 c #Conflicts: 296000 | #Constraints: 26580
3203.55/3212.15 c #Conflicts: 297000 | #Constraints: 27580
3203.55/3212.15 c #Conflicts: 298000 | #Constraints: 28580
3203.55/3212.15 c #Conflicts: 299000 | #Constraints: 29580
3203.55/3212.15 c INPROCESSING
3203.55/3212.15 c GARBAGE COLLECT
3203.55/3212.15 c #Conflicts: 300000 | #Constraints: 19772
3203.55/3212.15 c #Conflicts: 301000 | #Constraints: 20772
3203.55/3212.15 c #Conflicts: 302000 | #Constraints: 21772
3203.55/3212.15 c #Conflicts: 303000 | #Constraints: 22772
3203.55/3212.15 c bounds 3971977 >= 249997 @ 2477.35
3203.55/3212.15 c #Conflicts: 304000 | #Constraints: 23773
3203.55/3212.15 c #Conflicts: 305000 | #Constraints: 24773
3203.55/3212.15 c #Conflicts: 306000 | #Constraints: 25773
3203.55/3212.15 c #Conflicts: 307000 | #Constraints: 26773
3203.55/3212.15 c #Conflicts: 308000 | #Constraints: 27773
3203.55/3212.15 c #Conflicts: 309000 | #Constraints: 28773
3203.55/3212.15 c #Conflicts: 310000 | #Constraints: 29773
3203.55/3212.15 c INPROCESSING
3203.55/3212.15 c GARBAGE COLLECT
3203.55/3212.15 c #Conflicts: 311000 | #Constraints: 19780
3203.55/3212.15 c #Conflicts: 312000 | #Constraints: 20780
3203.55/3212.15 c #Conflicts: 313000 | #Constraints: 21780
3203.55/3212.15 c #Conflicts: 314000 | #Constraints: 22780
3203.55/3212.15 c #Conflicts: 315000 | #Constraints: 23780
3203.55/3212.15 c #Conflicts: 316000 | #Constraints: 24780
3203.55/3212.15 c #Conflicts: 317000 | #Constraints: 25780
3203.55/3212.15 c #Conflicts: 318000 | #Constraints: 26780
3203.55/3212.15 c #Conflicts: 319000 | #Constraints: 27780
3203.55/3212.15 c #Conflicts: 320000 | #Constraints: 28780
3203.55/3212.15 c #Conflicts: 321000 | #Constraints: 29780
3203.55/3212.15 c INPROCESSING
3203.55/3212.15 c GARBAGE COLLECT
3203.55/3212.15 c #Conflicts: 322000 | #Constraints: 19599
3203.55/3212.15 c #Conflicts: 323000 | #Constraints: 20599
3203.55/3212.15 c #Conflicts: 324000 | #Constraints: 21599
3203.55/3212.15 c #Conflicts: 325000 | #Constraints: 22599
3203.55/3212.15 c #Conflicts: 326000 | #Constraints: 23599
3203.55/3212.15 c #Conflicts: 327000 | #Constraints: 24599
3203.55/3212.15 c #Conflicts: 328000 | #Constraints: 25599
3203.55/3212.15 c #Conflicts: 329000 | #Constraints: 26599
3203.55/3212.15 c #Conflicts: 330000 | #Constraints: 27599
3203.55/3212.15 c #Conflicts: 331000 | #Constraints: 28599
3203.55/3212.15 c #Conflicts: 332000 | #Constraints: 29599
3203.55/3212.15 c #Conflicts: 333000 | #Constraints: 30599
3203.55/3212.15 c INPROCESSING
3203.55/3212.15 c GARBAGE COLLECT
3203.55/3212.15 c #Conflicts: 334000 | #Constraints: 20167
3203.55/3212.15 c #Conflicts: 335000 | #Constraints: 21167
3203.55/3212.15 c #Conflicts: 336000 | #Constraints: 22167
3203.55/3212.15 c #Conflicts: 337000 | #Constraints: 23167
3203.55/3212.15 c #Conflicts: 338000 | #Constraints: 24167
3203.55/3212.15 c #Conflicts: 339000 | #Constraints: 25167
3203.55/3212.15 c #Conflicts: 340000 | #Constraints: 26167
3203.55/3212.15 c #Conflicts: 341000 | #Constraints: 27167
3203.55/3212.15 c #Conflicts: 342000 | #Constraints: 28167
3203.55/3212.15 c #Conflicts: 343000 | #Constraints: 29167
3203.55/3212.15 c #Conflicts: 344000 | #Constraints: 30167
3203.55/3212.15 c #Conflicts: 345000 | #Constraints: 31167
3203.55/3212.15 c INPROCESSING
3203.55/3212.15 c GARBAGE COLLECT
3203.55/3212.15 c #Conflicts: 346000 | #Constraints: 20577
3203.55/3212.15 c #Conflicts: 347000 | #Constraints: 21577
3203.55/3212.15 c #Conflicts: 348000 | #Constraints: 22577
3203.55/3212.15 c #Conflicts: 349000 | #Constraints: 23577
3203.55/3212.15 c #Conflicts: 350000 | #Constraints: 24577
3203.55/3212.15 c #Conflicts: 351000 | #Constraints: 25577
3203.55/3212.15 c #Conflicts: 352000 | #Constraints: 26577
3203.55/3212.15 c #Conflicts: 353000 | #Constraints: 27577
3203.55/3212.15 c #Conflicts: 354000 | #Constraints: 28577
3203.55/3212.15 c #Conflicts: 355000 | #Constraints: 29577
3203.55/3212.15 c #Conflicts: 356000 | #Constraints: 30577
3203.55/3212.15 c #Conflicts: 357000 | #Constraints: 31577
3600.05/3609.70 c INPROCESSING
3600.05/3609.70 c GARBAGE COLLECT
3600.05/3609.70 c #Conflicts: 358000 | #Constraints: 20780
3600.05/3609.70 c #Conflicts: 359000 | #Constraints: 21780
3600.05/3609.70 c #Conflicts: 360000 | #Constraints: 22780
3600.05/3609.70 c #Conflicts: 361000 | #Constraints: 23780
3600.05/3609.70 c #Conflicts: 362000 | #Constraints: 24780
3600.05/3609.70 c #Conflicts: 363000 | #Constraints: 25780
3600.05/3609.70 c #Conflicts: 364000 | #Constraints: 26780
3600.05/3609.70 c #Conflicts: 365000 | #Constraints: 27780
3600.05/3609.70 c #Conflicts: 366000 | #Constraints: 28780
3600.05/3609.70 c #Conflicts: 367000 | #Constraints: 29780
3600.05/3609.70 c #Conflicts: 368000 | #Constraints: 30780
3600.05/3609.70 c #Conflicts: 369000 | #Constraints: 31780
3600.05/3609.70 c INPROCESSING
3600.05/3609.70 c GARBAGE COLLECT
3600.05/3609.70 c #Conflicts: 370000 | #Constraints: 20789
3600.05/3609.70 c #Conflicts: 371000 | #Constraints: 21789
3600.05/3609.70 c #Conflicts: 372000 | #Constraints: 22789
3600.05/3609.70 c #Conflicts: 373000 | #Constraints: 23789
3600.05/3609.70 c #Conflicts: 374000 | #Constraints: 24789
3600.05/3609.70 c #Conflicts: 375000 | #Constraints: 25789
3600.05/3609.70 c #Conflicts: 376000 | #Constraints: 26789
3600.05/3609.70 c #Conflicts: 377000 | #Constraints: 27789
3600.05/3609.70 c #Conflicts: 378000 | #Constraints: 28789
3600.05/3609.70 c #Conflicts: 379000 | #Constraints: 29789
3600.05/3609.70 c #Conflicts: 380000 | #Constraints: 30789
3600.05/3609.70 c Program interrupted by user.
3600.05/3609.70 c cpu time 3593.32 s
3600.05/3609.70 c deterministic time 431235260624 4.31e+11
3600.05/3609.70 c optimization time 205.008 s
3600.05/3609.70 c total solve time 3388.28 s
3600.05/3609.70 c core-guided solve time 3388.28 s
3600.05/3609.70 c propagation time 2852.61 s
3600.05/3609.70 c conflict analysis time 644.981 s
3600.05/3609.70 c propagations 59510689
3600.05/3609.70 c resolve steps 5508489
3600.05/3609.70 c decisions 3286660
3600.05/3609.70 c conflicts 380759
3600.05/3609.70 c restarts 907
3600.05/3609.70 c inprocessing phases 52
3600.05/3609.70 c input clauses 11126
3600.05/3609.70 c input cardinalities 9
3600.05/3609.70 c input general constraints 1592
3600.05/3609.70 c input average constraint length 69.33
3600.05/3609.70 c input average constraint degree 287759071.06
3600.05/3609.70 c learned clauses 26391
3600.05/3609.70 c learned cardinalities 424
3600.05/3609.70 c learned general constraints 353944
3600.05/3609.70 c learned average constraint length 2048.23
3600.05/3609.70 c learned average constraint degree 1344045357.44
3600.05/3609.70 c watched constraints 101579
3600.05/3609.70 c counting constraints 253957
3600.05/3609.70 c gcd simplifications 3709
3600.05/3609.70 c detected cardinalities 8
3600.05/3609.70 c weakened non-implied lits 78174763
3600.05/3609.70 c weakened non-implying lits 322511
3600.05/3609.70 c original variables 5100
3600.05/3609.70 c clausal propagations 34543974
3600.05/3609.70 c cardinality propagations 611396
3600.05/3609.70 c watched propagations 3094074
3600.05/3609.70 c counting propagations 21112977
3600.05/3609.70 c watch lookups 51964854962
3600.05/3609.70 c watch backjump lookups 51360078238
3600.05/3609.70 c watch checks 152104269430
3600.05/3609.70 c propagation checks 173615788144
3600.05/3609.70 c constraint additions 2064299249
3600.05/3609.70 c trail pops 63173251
3600.05/3609.70 c formula constraints 12510
3600.05/3609.70 c learned constraints 380759
3600.05/3609.70 c bound constraints 217
3600.05/3609.70 c core-guided constraints 0
3600.05/3609.70 c encountered formula constraints 4701309
3600.05/3609.70 c encountered learned constraints 1186401
3600.05/3609.70 c encountered bound constraints 1538
3600.05/3609.70 c encountered core-guided constraints 0
3600.05/3609.70 c LP total time 0 s
3600.05/3609.70 c LP solve time 0 s
3600.05/3609.70 c LP constraints added 0
3600.05/3609.70 c LP constraints removed 0
3600.05/3609.70 c LP pivots internal 0
3600.05/3609.70 c LP pivots root 0
3600.05/3609.70 c LP calls 0
3600.05/3609.70 c LP optimalities 0
3600.05/3609.70 c LP no pivot count 0
3600.05/3609.70 c LP infeasibilities 0
3600.05/3609.70 c LP valid Farkas constraints 0
3600.05/3609.70 c LP learned Farkas constraints 0
3600.05/3609.70 c LP basis resets 0
3600.05/3609.70 c LP cycling count 0
3600.05/3609.70 c LP singular count 0
3600.05/3609.70 c LP no primal count 0
3600.05/3609.70 c LP no farkas count 0
3600.05/3609.70 c LP other issue count 0
3600.05/3609.70 c LP Gomory cuts 0
3600.05/3609.70 c LP learned cuts 0
3600.05/3609.70 c LP deleted cuts 0
3600.05/3609.70 c LP encountered Gomory constraints 0
3600.05/3609.70 c LP encountered Farkas constraints 0
3600.05/3609.70 c LP encountered learned Farkas constraints 0
3600.05/3609.70 c CG auxiliary variables introduced 0
3600.05/3609.70 c CG solutions found 216
3600.05/3609.70 c CG cores constructed 1
3600.05/3609.70 c CG core cardinality constraints returned 0
3600.05/3609.70 c CG unit cores 0
3600.05/3609.70 c CG single cores 1
3600.05/3609.70 c CG blocks removed during cardinality reduction 0
3600.05/3609.70 c CG first core best 0
3600.05/3609.70 c CG decision core best 0
3600.05/3609.70 c CG core reduction tie 0
3600.05/3609.70 c CG core degree average 1.00
3600.05/3609.70 c CG core slack average 417.00
3600.05/3609.70 c CG exhausted 0
3600.05/3609.70 c CG exhaust time 0 s
3600.05/3609.70 c CG trimmed 0
3600.05/3609.70 c CG trim time 0.006981 s
3600.05/3609.70 c CG minimized 0
3600.05/3609.70 c CG minimize time 0 s
3600.05/3609.70 c CG am1 prop time 0.003383 s
3600.05/3609.70 c CG # am1s reformulated 0
3600.05/3609.70 c CG lower bound derived from am1s 0
3600.05/3609.70 c CG # clausal cores 1
3600.05/3609.70 c CG # cardinality cores 0
3600.05/3609.70 c CG # pb cores 0
3600.05/3609.70 c CG # pb reforms 0
3600.05/3609.70 c CG # cores discarded because of pb reform 0
3600.05/3609.70 d LOWERBOUND 249997
3600.05/3609.70 d NCORES 1
3600.05/3609.70 d NPBCORES 0
3600.05/3609.70 d NPBREFORM 0
3600.05/3609.70 d NTRIMMED 0
3600.05/3609.70 d NEXHAUSTED 0
3600.05/3609.70 d NAM1S 0
3600.05/3609.70 d AM1LB 0
3600.05/3609.70 o 3971977
3600.05/3609.70 s SATISFIABLE
3600.05/3609.70 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
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (56244 MiB free)
memory of node 1: 64510 MiB (57731 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436089-1721134386/watcher-4436089-1721134386 -o /tmp/evaluation-result-4436089-1721134386/solver-4436089-1721134386 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721130786-880770 --watchdog 3760 pb-oll-rs HOME/instance-4436089-1721134386.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=882797, runsolver pid=882794
[startup+0.100087 s]*
/proc/loadavg: 4.15 4.12 4.09 5/257 882798
/proc/meminfo: memFree=116705452/131524600 swapFree=131071996/131071996
[pid=882797] ppid=882794 vsize=41204 memory=9004 CPUtime=0.09 cores=5,7
/proc/882797/stat : 882797 (pb-oll-rs) R 882794 882797 880757 0 -1 4194304 1216 0 0 0 9 0 0 0 20 0 1 0 165600438 42192896 2251 134679101440 4194304 5384005 140728760992976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23117824 140728760996887 140728760996964 140728760996964 140728761003979 0
/proc/882797/statm: 10301 2251 1377 291 0 1835 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41204 KiB
Current children cumulated memory: 9004 KiB
[startup+0.205615 s]*
/proc/loadavg: 4.15 4.12 4.09 5/257 882798
/proc/meminfo: memFree=121978464/131524600 swapFree=131071996/131071996
[pid=882797] ppid=882794 vsize=41204 memory=9268 CPUtime=0.19 cores=5,7
/proc/882797/stat : 882797 (pb-oll-rs) R 882794 882797 880757 0 -1 4194304 1289 0 0 0 19 0 0 0 20 0 1 0 165600438 42192896 2317 134679101440 4194304 5384005 140728760992976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23117824 140728760996887 140728760996964 140728760996964 140728761003979 0
/proc/882797/statm: 10301 2317 1377 291 0 1835 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41204 KiB
Current children cumulated memory: 9268 KiB
[startup+0.305682 s]*
/proc/loadavg: 4.15 4.12 4.09 4/254 882802
/proc/meminfo: memFree=122616200/131524600 swapFree=131071996/131071996
[pid=882797] ppid=882794 vsize=44000 memory=14976 CPUtime=0.3 cores=5,7
/proc/882797/stat : 882797 (pb-oll-rs) R 882794 882797 880757 0 -1 4194304 2189 0 0 0 29 1 0 0 20 0 1 0 165600438 45056000 3744 134679101440 4194304 5384005 140728760992976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23117824 140728760996887 140728760996964 140728760996964 140728761003979 0
/proc/882797/statm: 11000 3744 1439 291 0 2534 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44000 KiB
Current children cumulated memory: 14976 KiB
[startup+0.700222 s]
/proc/loadavg: 4.15 4.12 4.09 4/251 882829
/proc/meminfo: memFree=122609720/131524600 swapFree=131071996/131071996
[pid=882797] ppid=882794 vsize=52784 memory=23980 CPUtime=0.68 cores=5,7
/proc/882797/stat : 882797 (pb-oll-rs) R 882794 882797 880757 0 -1 4194304 3934 0 0 0 65 3 0 0 20 0 1 0 165600438 54050816 5995 134679101440 4194304 5384005 140728760992976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23117824 140728760996887 140728760996964 140728760996964 140728761003979 0
/proc/882797/statm: 13196 5995 1439 291 0 4730 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 52784 KiB
Current children cumulated memory: 23980 KiB
[startup+1.50024 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 882844
/proc/meminfo: memFree=122524888/131524600 swapFree=131071996/131071996
[pid=882797] ppid=882794 vsize=72780 memory=39756 CPUtime=1.48 cores=5,7
/proc/882797/stat : 882797 (pb-oll-rs) R 882794 882797 880757 0 -1 4194304 6846 0 0 0 143 5 0 0 20 0 1 0 165600438 74526720 9939 134679101440 4194304 5384005 140728760992976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23117824 140728760996887 140728760996964 140728760996964 140728761003979 0
/proc/882797/statm: 18195 9939 1439 291 0 9729 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 72780 KiB
Current children cumulated memory: 39756 KiB
[startup+3.10555 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 882844
/proc/meminfo: memFree=122267248/131524600 swapFree=131071996/131071996
[pid=882797] ppid=882794 vsize=101800 memory=67212 CPUtime=3.08 cores=5,7
/proc/882797/stat : 882797 (pb-oll-rs) R 882794 882797 880757 0 -1 4194304 11625 0 0 0 299 9 0 0 20 0 1 0 165600438 104243200 16803 134679101440 4194304 5384005 140728760992976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23117824 140728760996887 140728760996964 140728760996964 140728761003979 0
/proc/882797/statm: 25450 16803 1439 291 0 16984 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 101800 KiB
Current children cumulated memory: 67212 KiB
[startup+6.30018 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 882859
/proc/meminfo: memFree=124830860/131524600 swapFree=131071996/131071996
[pid=882797] ppid=882794 vsize=131980 memory=92400 CPUtime=6.27 cores=5,7
/proc/882797/stat : 882797 (pb-oll-rs) R 882794 882797 880757 0 -1 4194304 14867 0 0 0 615 12 0 0 20 0 1 0 165600438 135147520 23100 134679101440 4194304 5384005 140728760992976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23117824 140728760996887 140728760996964 140728760996964 140728761003979 0
/proc/882797/statm: 32995 23100 1439 291 0 24529 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 131980 KiB
Current children cumulated memory: 92400 KiB
[startup+12.7002 s]
/proc/loadavg: 4.20 4.13 4.10 5/257 882891
/proc/meminfo: memFree=124606320/131524600 swapFree=131071996/131071996
[pid=882797] ppid=882794 vsize=170588 memory=133044 CPUtime=12.65 cores=5,7
/proc/882797/stat : 882797 (pb-oll-rs) R 882794 882797 880757 0 -1 4194304 23544 0 0 0 1246 19 0 0 20 0 1 0 165600438 174682112 33261 134679101440 4194304 5384005 140728760992976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23117824 140728760996887 140728760996964 140728760996964 140728761003979 0
/proc/882797/statm: 42647 33261 1439 291 0 34181 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 170588 KiB
Current children cumulated memory: 133044 KiB
[startup+25.5002 s]
/proc/loadavg: 4.39 4.18 4.11 5/257 882894
/proc/meminfo: memFree=123811128/131524600 swapFree=131071996/131071996
[pid=882797] ppid=882794 vsize=220084 memory=166924 CPUtime=25.42 cores=5,7
/proc/882797/stat : 882797 (pb-oll-rs) R 882794 882797 880757 0 -1 4194304 28462 0 0 0 2517 25 0 0 20 0 1 0 165600438 225366016 41731 134679101440 4194304 5384005 140728760992976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23117824 140728760996887 140728760996964 140728760996964 140728761003979 0
/proc/882797/statm: 55021 41731 1439 291 0 46555 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 220084 KiB
Current children cumulated memory: 166924 KiB
[startup+51.1056 s]
/proc/loadavg: 4.32 4.18 4.11 5/257 882899
/proc/meminfo: memFree=123055288/131524600 swapFree=131071996/131071996
[pid=882797] ppid=882794 vsize=254064 memory=201156 CPUtime=50.97 cores=5,7
/proc/882797/stat : 882797 (pb-oll-rs) R 882794 882797 880757 0 -1 4194304 34938 0 0 0 5060 37 0 0 20 0 1 0 165600438 260161536 50289 134679101440 4194304 5384005 140728760992976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23117824 140728760996887 140728760996964 140728760996964 140728761003979 0
/proc/882797/statm: 63516 50289 1439 291 0 55050 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 254064 KiB
Current children cumulated memory: 201156 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/257 882908
/proc/meminfo: memFree=122380936/131524600 swapFree=131071996/131071996
[pid=882797] ppid=882794 vsize=325152 memory=244432 CPUtime=102.02 cores=5,7
/proc/882797/stat : 882797 (pb-oll-rs) R 882794 882797 880757 0 -1 4194304 40712 0 0 0 10149 53 0 0 20 0 1 0 165600438 332955648 61108 134679101440 4194304 5384005 140728760992976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23117824 140728760996887 140728760996964 140728760996964 140728761003979 0
/proc/882797/statm: 81288 61108 1439 291 0 72822 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 325152 KiB
Current children cumulated memory: 244432 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.15 4.10 5/254 883300
/proc/meminfo: memFree=122020516/131524600 swapFree=131071996/131071996
[pid=882797] ppid=882794 vsize=407212 memory=350212 CPUtime=161.87 cores=5,7
/proc/882797/stat : 882797 (pb-oll-rs) R 882794 882797 880757 0 -1 4194304 57971 0 0 0 16111 76 0 0 20 0 1 0 165600438 416985088 87553 134679101440 4194304 5384005 140728760992976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23117824 140728760996887 140728760996964 140728760996964 140728761003979 0
/proc/882797/statm: 101803 87553 1439 291 0 93337 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 407212 KiB
Current children cumulated memory: 350212 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/254 883310
/proc/meminfo: memFree=121782748/131524600 swapFree=131071996/131071996
[pid=882797] ppid=882794 vsize=512940 memory=385748 CPUtime=221.71 cores=5,7
/proc/882797/stat : 882797 (pb-oll-rs) R 882794 882797 880757 0 -1 4194304 64363 0 0 0 22077 94 0 0 20 0 1 0 165600438 525250560 96437 134679101440 4194304 5384005 140728760992976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23117824 140728760996887 140728760996964 140728760996964 140728761003979 0
/proc/882797/statm: 128235 96437 1439 291 0 119769 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 512940 KiB
Current children cumulated memory: 385748 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/255 883322
/proc/meminfo: memFree=121708372/131524600 swapFree=131071996/131071996
[pid=882797] ppid=882794 vsize=550740 memory=426664 CPUtime=281.57 cores=5,7
/proc/882797/stat : 882797 (pb-oll-rs) R 882794 882797 880757 0 -1 4194304 71018 0 0 0 28043 114 0 0 20 0 1 0 165600438 563957760 106666 134679101440 4194304 5384005 140728760992976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23117824 140728760996887 140728760996964 140728760996964 140728761003979 0
/proc/882797/statm: 137685 106666 1439 291 0 129219 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 550740 KiB
Current children cumulated memory: 426664 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/257 883502
/proc/meminfo: memFree=121559140/131524600 swapFree=131071996/131071996
[pid=882797] ppid=882794 vsize=557868 memory=435260 CPUtime=341.41 cores=5,7
/proc/882797/stat : 882797 (pb-oll-rs) R 882794 882797 880757 0 -1 4194304 72670 0 0 0 34013 128 0 0 20 0 1 0 165600438 571256832 108815 134679101440 4194304 5384005 140728760992976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23117824 140728760996887 140728760996964 140728760996964 140728761003979 0
/proc/882797/statm: 139467 108815 1439 291 0 131001 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 557868 KiB
Current children cumulated memory: 435260 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/257 883512
/proc/meminfo: memFree=121306884/131524600 swapFree=131071996/131071996
[pid=882797] ppid=882794 vsize=568788 memory=450596 CPUtime=401.25 cores=5,7
/proc/882797/stat : 882797 (pb-oll-rs) R 882794 882797 880757 0 -1 4194304 75528 0 0 0 39987 138 0 0 20 0 1 0 165600438 582438912 112649 134679101440 4194304 5384005 140728760992976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23117824 140728760996887 140728760996964 140728760996964 140728761003979 0
/proc/882797/statm: 142197 112649 1439 291 0 133731 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 568788 KiB
Current children cumulated memory: 450596 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/258 883526
/proc/meminfo: memFree=121214552/131524600 swapFree=131071996/131071996
[pid=882797] ppid=882794 vsize=573620 memory=454688 CPUtime=461.09 cores=5,7
/proc/882797/stat : 882797 (pb-oll-rs) R 882794 882797 880757 0 -1 4194304 76569 0 0 0 45958 151 0 0 20 0 1 0 165600438 587386880 113672 134679101440 4194304 5384005 140728760992976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23117824 140728760996887 140728760996964 140728760996964 140728761003979 0
/proc/882797/statm: 143405 113672 1439 291 0 134939 0
################
# More data... #
################
Current children cumulated memory: 777816 KiB
[startup+2922.3 s]
/proc/loadavg: 4.26 4.21 4.14 5/258 884591
/proc/meminfo: memFree=118114872/131524600 swapFree=131071996/131071996
[pid=882797] ppid=882794 vsize=931040 memory=777816 CPUtime=2914.53 cores=5,7
/proc/882797/stat : 882797 (pb-oll-rs) R 882794 882797 880757 0 -1 4194304 122560 0 0 0 290867 586 0 0 20 0 1 0 165600438 953384960 194454 134679101440 4194304 5384005 140728760992976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23117824 140728760996887 140728760996964 140728760996964 140728761003979 0
/proc/882797/statm: 232760 194454 1439 291 0 224294 0
Current children cumulated CPU time: 2914.53 s
Current children cumulated vsize: 931040 KiB
Current children cumulated memory: 777816 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.19 4.14 5/258 884601
/proc/meminfo: memFree=118111092/131524600 swapFree=131071996/131071996
[pid=882797] ppid=882794 vsize=931040 memory=777816 CPUtime=2974.36 cores=5,7
/proc/882797/stat : 882797 (pb-oll-rs) R 882794 882797 880757 0 -1 4194304 122894 0 0 0 296843 593 0 0 20 0 1 0 165600438 953384960 194454 134679101440 4194304 5384005 140728760992976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23117824 140728760996887 140728760996964 140728760996964 140728761003979 0
/proc/882797/statm: 232760 194454 1439 291 0 224294 0
Current children cumulated CPU time: 2974.36 s
Current children cumulated vsize: 931040 KiB
Current children cumulated memory: 777816 KiB
[startup+3042.3 s]
/proc/loadavg: 4.21 4.20 4.14 5/258 884612
/proc/meminfo: memFree=117988848/131524600 swapFree=131071996/131071996
[pid=882797] ppid=882794 vsize=935044 memory=788320 CPUtime=3034.2 cores=5,7
/proc/882797/stat : 882797 (pb-oll-rs) R 882794 882797 880757 0 -1 4194304 123686 0 0 0 302816 604 0 0 20 0 1 0 165600438 957485056 197080 134679101440 4194304 5384005 140728760992976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23117824 140728760996887 140728760996964 140728760996964 140728761003979 0
/proc/882797/statm: 233761 197080 1439 291 0 225295 0
Current children cumulated CPU time: 3034.2 s
Current children cumulated vsize: 935044 KiB
Current children cumulated memory: 788320 KiB
[startup+3102.3 s]
/proc/loadavg: 4.22 4.20 4.15 5/258 884624
/proc/meminfo: memFree=117961780/131524600 swapFree=131071996/131071996
[pid=882797] ppid=882794 vsize=935044 memory=788320 CPUtime=3094.04 cores=5,7
/proc/882797/stat : 882797 (pb-oll-rs) R 882794 882797 880757 0 -1 4194304 123800 0 0 0 308789 615 0 0 20 0 1 0 165600438 957485056 197080 134679101440 4194304 5384005 140728760992976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23117824 140728760996887 140728760996964 140728760996964 140728761003979 0
/proc/882797/statm: 233761 197080 1439 291 0 225295 0
Current children cumulated CPU time: 3094.04 s
Current children cumulated vsize: 935044 KiB
Current children cumulated memory: 788320 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.18 4.14 5/255 884634
/proc/meminfo: memFree=117956896/131524600 swapFree=131071996/131071996
[pid=882797] ppid=882794 vsize=939616 memory=791576 CPUtime=3153.88 cores=5,7
/proc/882797/stat : 882797 (pb-oll-rs) R 882794 882797 880757 0 -1 4194304 124993 0 0 0 314766 622 0 0 20 0 1 0 165600438 962166784 197894 134679101440 4194304 5384005 140728760992976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23117824 140728760996887 140728760996964 140728760996964 140728761003979 0
/proc/882797/statm: 234904 197894 1439 291 0 226438 0
Current children cumulated CPU time: 3153.88 s
Current children cumulated vsize: 939616 KiB
Current children cumulated memory: 791576 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.16 4.14 5/254 884644
/proc/meminfo: memFree=117925132/131524600 swapFree=131071996/131071996
[pid=882797] ppid=882794 vsize=954592 memory=822668 CPUtime=3213.71 cores=5,7
/proc/882797/stat : 882797 (pb-oll-rs) R 882794 882797 880757 0 -1 4194304 128491 0 0 0 320743 628 0 0 20 0 1 0 165600438 977502208 205667 134679101440 4194304 5384005 140728760992976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23117824 140728760996887 140728760996964 140728760996964 140728761003979 0
/proc/882797/statm: 238648 205667 1439 291 0 230182 0
Current children cumulated CPU time: 3213.71 s
Current children cumulated vsize: 954592 KiB
Current children cumulated memory: 822668 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.16 4.14 5/255 884656
/proc/meminfo: memFree=117908056/131524600 swapFree=131071996/131071996
[pid=882797] ppid=882794 vsize=954592 memory=822772 CPUtime=3273.55 cores=5,7
/proc/882797/stat : 882797 (pb-oll-rs) R 882794 882797 880757 0 -1 4194304 128782 0 0 0 326718 637 0 0 20 0 1 0 165600438 977502208 205693 134679101440 4194304 5384005 140728760992976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23117824 140728760996887 140728760996964 140728760996964 140728761003979 0
/proc/882797/statm: 238648 205693 1439 291 0 230182 0
Current children cumulated CPU time: 3273.55 s
Current children cumulated vsize: 954592 KiB
Current children cumulated memory: 822772 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.16 4.14 5/255 884666
/proc/meminfo: memFree=117907780/131524600 swapFree=131071996/131071996
[pid=882797] ppid=882794 vsize=954592 memory=822772 CPUtime=3333.38 cores=5,7
/proc/882797/stat : 882797 (pb-oll-rs) R 882794 882797 880757 0 -1 4194304 129100 0 0 0 332697 641 0 0 20 0 1 0 165600438 977502208 205693 134679101440 4194304 5384005 140728760992976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23117824 140728760996887 140728760996964 140728760996964 140728761003979 0
/proc/882797/statm: 238648 205693 1439 291 0 230182 0
Current children cumulated CPU time: 3333.38 s
Current children cumulated vsize: 954592 KiB
Current children cumulated memory: 822772 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.16 4.14 5/255 884676
/proc/meminfo: memFree=117902356/131524600 swapFree=131071996/131071996
[pid=882797] ppid=882794 vsize=954592 memory=822772 CPUtime=3393.21 cores=5,7
/proc/882797/stat : 882797 (pb-oll-rs) R 882794 882797 880757 0 -1 4194304 129561 0 0 0 338676 645 0 0 20 0 1 0 165600438 977502208 205693 134679101440 4194304 5384005 140728760992976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23117824 140728760996887 140728760996964 140728760996964 140728761003979 0
/proc/882797/statm: 238648 205693 1439 291 0 230182 0
Current children cumulated CPU time: 3393.21 s
Current children cumulated vsize: 954592 KiB
Current children cumulated memory: 822772 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.13 5/258 884692
/proc/meminfo: memFree=117857712/131524600 swapFree=131071996/131071996
[pid=882797] ppid=882794 vsize=954592 memory=822788 CPUtime=3453.06 cores=5,7
/proc/882797/stat : 882797 (pb-oll-rs) R 882794 882797 880757 0 -1 4194304 130051 0 0 0 344649 657 0 0 20 0 1 0 165600438 977502208 205697 134679101440 4194304 5384005 140728760992976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23117824 140728760996887 140728760996964 140728760996964 140728761003979 0
/proc/882797/statm: 238648 205697 1439 291 0 230182 0
Current children cumulated CPU time: 3453.06 s
Current children cumulated vsize: 954592 KiB
Current children cumulated memory: 822788 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.13 5/258 884702
/proc/meminfo: memFree=117848076/131524600 swapFree=131071996/131071996
[pid=882797] ppid=882794 vsize=954592 memory=822788 CPUtime=3512.89 cores=5,7
/proc/882797/stat : 882797 (pb-oll-rs) R 882794 882797 880757 0 -1 4194304 130405 0 0 0 350624 665 0 0 20 0 1 0 165600438 977502208 205697 134679101440 4194304 5384005 140728760992976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23117824 140728760996887 140728760996964 140728760996964 140728761003979 0
/proc/882797/statm: 238648 205697 1439 291 0 230182 0
Current children cumulated CPU time: 3512.89 s
Current children cumulated vsize: 954592 KiB
Current children cumulated memory: 822788 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/258 884712
/proc/meminfo: memFree=117847088/131524600 swapFree=131071996/131071996
[pid=882797] ppid=882794 vsize=954592 memory=822956 CPUtime=3572.74 cores=5,7
/proc/882797/stat : 882797 (pb-oll-rs) R 882794 882797 880757 0 -1 4194304 130844 0 0 0 356603 671 0 0 20 0 1 0 165600438 977502208 205739 134679101440 4194304 5384005 140728760992976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23117824 140728760996887 140728760996964 140728760996964 140728761003979 0
/proc/882797/statm: 238648 205739 1439 291 0 230182 0
Current children cumulated CPU time: 3572.74 s
Current children cumulated vsize: 954592 KiB
Current children cumulated memory: 822956 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.15 4.14 4.12 5/255 884731
/proc/meminfo: memFree=120587928/131524600 swapFree=131071996/131071996
[pid=882797] ppid=882794 vsize=959076 memory=842972 CPUtime=3600.05 cores=5,7
/proc/882797/stat : 882797 (pb-oll-rs) R 882794 882797 880757 0 -1 4194304 131992 0 0 0 359331 674 0 0 20 0 1 0 165600438 982093824 210743 134679101440 4194304 5384005 140728760992976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23117824 140728760996887 140728760996964 140728760996964 140728761003979 0
/proc/882797/statm: 239769 210743 1439 291 0 231303 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 959076 KiB
Current children cumulated memory: 842972 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.71 s]
# the end of solver process 882797 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.32 s, system=6.75456 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.15 4.14 4.12 5/255 884731
/proc/meminfo: memFree=120587928/131524600 swapFree=131071996/131071996
[pid=882797] ppid=882794 vsize=959076 memory=842972 CPUtime=3600.05 cores=5,7
/proc/882797/stat : 882797 (pb-oll-rs) R 882794 882797 880757 0 -1 4194304 131992 0 0 0 359331 674 0 0 20 0 1 0 165600438 982093824 210743 134679101440 4194304 5384005 140728760992976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23117824 140728760996887 140728760996964 140728760996964 140728761003979 0
/proc/882797/statm: 239769 210743 1439 291 0 231303 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 959076 KiB
Current children cumulated memory: 842972 KiB
Child status: 0
Real time (s): 3609.71
CPU time (s): 3600.07
CPU user time (s): 3593.32
CPU system time (s): 6.75456
CPU usage (%): 99.733
Max. virtual memory (cumulated for all children) (KiB): 959076
Max. memory (cumulated for all children) (KiB): 842972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.32
system time used= 6.75456
maximum resident set size= 842972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132007
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= 106
involuntary context switches= 2642
# summary of solver processes directly reported to runsolver:
# pid: 882797
# total CPU time (s): 3600.07
# total CPU user time (s): 3593.32
# total CPU system time (s): 6.75456
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.05914 second user time and 16.9856 second system time
The end
Begin job on nodeC017 at 2024-07-16 14:53:18
IDJOB=4436089
IDBENCH=155602
IDSOLVER=3067
FILE ID=nodeC017/4436089-1721134386
RUNJOBID= nodeC017-1721130786-880770
SLURM_JOB_ID= 7505697
Free space on /tmp= 889980 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
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-4436089-1721134386/watcher-4436089-1721134386 -o /tmp/evaluation-result-4436089-1721134386/solver-4436089-1721134386 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721130786-880770 --watchdog 3760 pb-oll-rs HOME/instance-4436089-1721134386.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7079e2ef0385c9f74a24551721d50a52
RANDOM SEED=1136877424
nodeC017.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.265
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.669
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.962
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.092
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.416
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3660.026
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.694
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3652.730
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 116712180 kB
MemAvailable: 120944568 kB
Buffers: 417976 kB
Cached: 4608588 kB
SwapCached: 0 kB
Active: 1039120 kB
Inactive: 13069504 kB
Active(anon): 1544 kB
Inactive(anon): 9118228 kB
Active(file): 1037576 kB
Inactive(file): 3951276 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 52756 kB
Writeback: 28 kB
AnonPages: 9080716 kB
Mapped: 108184 kB
Shmem: 37720 kB
KReclaimable: 166368 kB
Slab: 280392 kB
SReclaimable: 166368 kB
SUnreclaim: 114024 kB
KernelStack: 4172 kB
PageTables: 28052 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 10284716 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6281216 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 215764 kB
DirectMap2M: 24723456 kB
DirectMap1G: 111149056 kB
Free space on /tmp at the end= 890024 MiB
End job on nodeC017 at 2024-07-16 15:53:28