0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4484221-1751284563.opb'
0.00/0.01 c read 0.55MB (7.75ms)
0.00/0.01 c [cnf: #variables 8405 #clauses 10668 #duplicates 0 #arr 51941]
0.00/0.01 c output proof to 'PROOFDIR/proof-4484221-1751284563'
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 2572] (12.76ms)
0.00/0.03 c
0.00/0.03 c detect special group actions
0.00/0.03 c probe for Johnson action (limit=64)
0.00/0.03 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.04 c found row 6x48, generating row predicate
0.00/0.04 c found row 5x48, generating row predicate
0.00/0.04 c found row 3x48, generating row predicate
0.00/0.06 c found row 26x48, generating row predicate
0.00/0.06 c found row 7x48, generating row predicate
0.00/0.06 c found row 3x48, generating row predicate
0.00/0.07 c found row 3x48, generating row predicate
0.00/0.07 c found row 6x48, generating row predicate
0.00/0.07 c found row 6x48, generating row predicate
0.00/0.07 c found row 3x48, generating row predicate
0.00/0.08 c found row 5x48, generating row predicate
0.00/0.08 c found row 12x48, generating row predicate
0.00/0.09 c found row 3x48, generating row predicate
0.00/0.09 c found row 3x48, generating row predicate
0.00/0.09 c found row 3x48, generating row predicate
0.00/0.09 c found row 3x48, generating row predicate
0.00/0.09 c found row 4x48, generating row predicate
0.00/0.10 c found row 4x48, generating row predicate
0.00/0.10 c found row 5x48, generating row predicate
0.00/0.10 c (70.74ms)
0.00/0.10 c
0.00/0.10 c detect symmetries on remainder
0.00/0.10 c [graph: #vertices 47967 #edges 161670]
0.00/0.10 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.08/0.11 c [group: #symmetries 8.35*10^12 #generators 40] (13.56ms)
0.08/0.11 c
0.08/0.11 c optimize generators (opt_passes=64, conjugate_limit=256)
0.08/0.11 c ran it=0, +gens=1
0.08/0.12 c con best_support=56, best_gens=1, +gens=0
0.08/0.12 c (9.10ms)
0.08/0.12 c
0.08/0.12 c finalize break order and special generators
0.08/0.12 c
0.08/0.12 c add generic predicates (break_depth=20)
0.08/0.12 c added predicates for 41 generators (0.08ms)
0.08/0.14 c
0.08/0.14 c generation finished
0.08/0.14 c [sbp: #constraints 15300 #add_vars 5056]
0.08/0.14 c
0.08/0.14 c write result to 'HOME/instance-4484221-1751284563.opb.pre'
0.08/0.15 c wrote 1.12MB (2.61ms)
0.08/0.15 c ------------------------------------------------------------------
0.08/0.15 c 70.74ms 50.87% detect_special
0.08/0.15 c 22.05ms 15.86% other
0.08/0.15 c 13.56ms 9.75% detect_generic
0.08/0.15 c 12.76ms 9.18% approx_orbits
0.08/0.15 c 9.10ms 6.54% optimize_gens
0.08/0.15 c 7.75ms 5.57% parse
0.08/0.15 c 2.61ms 1.88% output
0.08/0.15 c 0.40ms 0.29% finalize_order
0.08/0.15 c 0.08ms 0.06% break_generic
0.08/0.15 c ───────────────────────────────────────────────
0.08/0.15 c 139.05ms 100% total
0.08/0.15 c ------------------------------------------------------------------
0.08/0.16 c RoundingSat 2
0.08/0.16 c branch pb25
0.08/0.16 c commit 63f22ad
0.27/0.32 c #variables 13461 #constraints 26667
0.27/0.32 c objective is ce32
0.27/0.32 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.27/0.32 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.27/0.32 c bounds - >= -3212 @ 0.118554
0.57/0.67 c bounds 30989 >= -3212 @ 0.435777
0.57/0.67 c bounds 30989 >= -2445 @ 0.440984
0.57/0.68 c bounds 30989 >= -2345 @ 0.443278
0.57/0.68 c bounds 30989 >= -2245 @ 0.446408
0.57/0.68 c bounds 30989 >= -2145 @ 0.448722
0.57/0.69 c bounds 30989 >= -2045 @ 0.452015
0.57/0.69 c bounds 30989 >= -2044 @ 0.454386
0.57/0.69 c bounds 30989 >= -2043 @ 0.456627
0.66/0.70 c bounds 30989 >= -2042 @ 0.458914
0.66/0.70 c bounds 30989 >= -2041 @ 0.462185
0.66/0.70 c bounds 30989 >= -2040 @ 0.464516
0.66/0.71 c bounds 30989 >= -2039 @ 0.467738
0.66/0.71 c bounds 30989 >= -2038 @ 0.470123
0.66/0.71 c bounds 30989 >= -2037 @ 0.472415
0.66/0.72 c bounds 30989 >= -2036 @ 0.474624
0.66/0.72 c bounds 30989 >= -2035 @ 0.476918
0.66/0.72 c bounds 30989 >= -2034 @ 0.47927
0.66/0.73 c bounds 30989 >= -2033 @ 0.481476
0.66/0.73 c bounds 30989 >= -2032 @ 0.483743
0.66/0.73 c bounds 30989 >= -2031 @ 0.487014
0.66/0.74 c bounds 30989 >= -2030 @ 0.490431
0.66/0.74 c bounds 30989 >= -2029 @ 0.493791
0.66/0.74 c bounds 30989 >= -2028 @ 0.497215
0.66/0.75 c bounds 30989 >= -2027 @ 0.499605
0.66/0.75 c bounds 30989 >= -1927 @ 0.503134
0.66/0.76 c bounds 30989 >= -1827 @ 0.506124
0.66/0.76 c bounds 30989 >= -1727 @ 0.510208
0.66/0.77 c bounds 30989 >= -1627 @ 0.514288
0.66/0.77 c bounds 30989 >= -1626 @ 0.517402
0.66/0.78 c bounds 30989 >= -1622 @ 0.519705
0.66/0.78 c bounds 30989 >= -1619 @ 0.522992
0.66/0.79 c bounds 30989 >= -1618 @ 0.525313
0.66/0.79 c bounds 30989 >= -1617 @ 0.528547
0.77/0.80 c bounds 30989 >= -1616 @ 0.531809
0.77/0.80 c bounds 30989 >= -1609 @ 0.535166
0.77/0.81 c bounds 30989 >= -1602 @ 0.537528
0.77/0.81 c bounds 30989 >= -1595 @ 0.540845
0.77/0.82 c bounds 30989 >= -1588 @ 0.543243
0.77/0.82 c bounds 30989 >= -1587 @ 0.546455
0.77/0.83 c bounds 30989 >= -1586 @ 0.549681
0.77/0.84 c bounds 30989 >= -1579 @ 0.552177
0.77/0.84 c bounds 30989 >= -1578 @ 0.55535
0.77/0.85 c bounds 30989 >= -1577 @ 0.559606
0.77/0.85 c bounds 30989 >= -1575 @ 0.563042
0.77/0.86 c bounds 30989 >= -1574 @ 0.56626
0.77/0.86 c bounds 30989 >= -1573 @ 0.569508
0.77/0.87 c bounds 30989 >= -1568 @ 0.573854
0.77/0.87 c bounds 30989 >= -1565 @ 0.577183
0.77/0.88 c bounds 30989 >= -1564 @ 0.578465
0.77/0.88 c bounds 30989 >= -1559 @ 0.582577
0.77/0.89 c bounds 30989 >= -1552 @ 0.585205
0.77/0.89 c bounds 30989 >= -1547 @ 0.588401
0.87/0.90 c bounds 30989 >= -1540 @ 0.59168
0.87/0.90 c bounds 30989 >= -1539 @ 0.595043
0.87/0.91 c bounds 30989 >= -1538 @ 0.597219
0.87/0.91 c bounds 30989 >= -1537 @ 0.599447
0.87/0.92 c bounds 30989 >= -1536 @ 0.603703
0.87/0.93 c bounds 30989 >= -1531 @ 0.606106
0.87/0.93 c bounds 30989 >= -1526 @ 0.609366
0.87/0.94 c bounds 30989 >= -1519 @ 0.611919
0.87/0.94 c bounds 30989 >= -1518 @ 0.614244
0.87/0.95 c bounds 30989 >= -1516 @ 0.61752
0.87/0.95 c bounds 30989 >= -1513 @ 0.619975
0.87/0.96 c bounds 30989 >= -1510 @ 0.623154
0.87/0.96 c bounds 30989 >= -1509 @ 0.626455
0.87/0.97 c bounds 30989 >= -1504 @ 0.629809
0.87/0.98 c bounds 30888 >= -1504 @ 0.6381
0.87/0.99 c bounds 30888 >= -1503 @ 0.643048
0.87/0.99 c bounds 30888 >= -1501 @ 0.645264
0.87/1.00 c bounds 30888 >= -1494 @ 0.648504
0.97/1.00 c bounds 30888 >= -1493 @ 0.6518
0.97/1.01 c bounds 30888 >= -1490 @ 0.656078
0.97/1.01 c bounds 30888 >= -1489 @ 0.659305
0.97/1.02 c bounds 30888 >= -1485 @ 0.661519
0.97/1.02 c bounds 30888 >= -1480 @ 0.664764
0.97/1.03 c bounds 30888 >= -1476 @ 0.668038
0.97/1.03 c bounds 30888 >= -1475 @ 0.673267
0.97/1.04 c bounds 30888 >= -1473 @ 0.677521
0.97/1.05 c bounds 30788 >= -1473 @ 0.686077
0.97/1.06 c bounds 30788 >= -1472 @ 0.688771
0.97/1.06 c bounds 30788 >= -1468 @ 0.690974
0.97/1.07 c bounds 30788 >= -1466 @ 0.694159
0.97/1.07 c bounds 30788 >= -1465 @ 0.697388
0.97/1.08 c bounds 30788 >= -1460 @ 0.699794
0.97/1.08 c bounds 30788 >= -1458 @ 0.701046
0.97/1.09 c bounds 30788 >= -1457 @ 0.70518
0.97/1.09 c bounds 30788 >= -1451 @ 0.707741
0.97/1.10 c bounds 30788 >= -1450 @ 0.710086
1.07/1.10 c bounds 30788 >= -1445 @ 0.714281
1.07/1.11 c bounds 30688 >= -1445 @ 0.723135
1.07/1.12 c bounds 30688 >= -1438 @ 0.725005
1.07/1.13 c bounds 30688 >= -1437 @ 0.729241
1.07/1.13 c bounds 30688 >= -1432 @ 0.732652
1.07/1.14 c bounds 30688 >= -1427 @ 0.734861
1.07/1.14 c bounds 30688 >= -1426 @ 0.738018
1.07/1.15 c bounds 30688 >= -1419 @ 0.740863
1.07/1.15 c bounds 30688 >= -1412 @ 0.743095
1.07/1.16 c bounds 30688 >= -1407 @ 0.748296
1.07/1.16 c bounds 30688 >= -1406 @ 0.751498
1.07/1.17 c bounds 30688 >= -1405 @ 0.755695
1.07/1.18 c bounds 30588 >= -1405 @ 0.76124
1.07/1.18 c bounds 30588 >= -1404 @ 0.764835
1.07/1.19 c bounds 30588 >= -1403 @ 0.767051
1.07/1.20 c bounds 30588 >= -1396 @ 0.769522
1.17/1.20 c bounds 30588 >= -1395 @ 0.772667
1.17/1.21 c bounds 30588 >= -1394 @ 0.775747
1.17/1.21 c bounds 30588 >= -1387 @ 0.77896
1.17/1.22 c bounds 30588 >= -1386 @ 0.78316
1.17/1.22 c bounds 30588 >= -1379 @ 0.786419
1.17/1.23 c bounds 30588 >= -1378 @ 0.788717
1.17/1.23 c bounds 30588 >= -1377 @ 0.791873
1.17/1.24 c bounds 30588 >= -1376 @ 0.79611
1.17/1.25 c bounds 30488 >= -1376 @ 0.806013
1.17/1.25 c bounds 30488 >= -1375 @ 0.810434
1.17/1.26 c bounds 30488 >= -1374 @ 0.813653
1.17/1.26 c bounds 30488 >= -1373 @ 0.815906
1.17/1.27 c bounds 30488 >= -1372 @ 0.818095
1.17/1.27 c bounds 30488 >= -1366 @ 0.821272
1.17/1.28 c bounds 30488 >= -1362 @ 0.826468
1.17/1.28 c bounds 30488 >= -1359 @ 0.831661
1.17/1.29 c bounds 30488 >= -1353 @ 0.8349
1.17/1.30 c bounds 30488 >= -1352 @ 0.837112
1.26/1.30 c bounds 30488 >= -1345 @ 0.840324
1.26/1.31 c bounds 30388 >= -1345 @ 0.845876
1.26/1.32 c bounds 30388 >= -1338 @ 0.849582
1.26/1.32 c bounds 30388 >= -1335 @ 0.852727
1.26/1.33 c bounds 30388 >= -1328 @ 0.855892
1.26/1.33 c bounds 30388 >= -1325 @ 0.859077
1.26/1.34 c bounds 30388 >= -1318 @ 0.862309
1.26/1.34 c bounds 30388 >= -1315 @ 0.865544
1.26/1.35 c bounds 30388 >= -1309 @ 0.868794
1.26/1.35 c bounds 30388 >= -1302 @ 0.871036
1.26/1.36 c bounds 30388 >= -1297 @ 0.873433
1.26/1.36 c bounds 30388 >= -1292 @ 0.875534
1.26/1.37 c bounds 30388 >= -1291 @ 0.879746
1.26/1.38 c bounds 30288 >= -1291 @ 0.885749
1.26/1.39 c bounds 30288 >= -1284 @ 0.889525
1.26/1.39 c bounds 30288 >= -1281 @ 0.892653
1.36/1.40 c bounds 30288 >= -1279 @ 0.895844
1.36/1.40 c bounds 30288 >= -1277 @ 0.898257
1.36/1.41 c bounds 30288 >= -1275 @ 0.903248
1.36/1.41 c bounds 30288 >= -1273 @ 0.906438
1.36/1.42 c bounds 30288 >= -1271 @ 0.907788
1.36/1.42 c bounds 30288 >= -1268 @ 0.90986
1.36/1.43 c bounds 30288 >= -1267 @ 0.912224
1.36/1.43 c bounds 30288 >= -1262 @ 0.91536
1.36/1.44 c bounds 30287 >= -1262 @ 0.923704
1.36/1.45 c bounds 30287 >= -1261 @ 0.927384
1.36/1.45 c bounds 30287 >= -1254 @ 0.931632
1.36/1.46 c bounds 30287 >= -1251 @ 0.933833
1.36/1.46 c bounds 30287 >= -1250 @ 0.936198
1.36/1.47 c bounds 30287 >= -1243 @ 0.939351
1.36/1.47 c bounds 30287 >= -1241 @ 0.941501
1.36/1.48 c bounds 30287 >= -1240 @ 0.944619
1.36/1.49 c bounds 30287 >= -1234 @ 0.946852
1.36/1.49 c bounds 30287 >= -1233 @ 0.951274
1.36/1.50 c bounds 30287 >= -1231 @ 0.954326
1.46/1.50 c bounds 30287 >= -1227 @ 0.957585
1.46/1.51 c bounds 30286 >= -1227 @ 0.96557
1.46/1.52 c bounds 30286 >= -1223 @ 0.968329
1.46/1.52 c bounds 30286 >= -1220 @ 0.971504
1.46/1.53 c bounds 30286 >= -1217 @ 0.973746
1.46/1.53 c bounds 30286 >= -1211 @ 0.977981
1.46/1.54 c bounds 30286 >= -1208 @ 0.980284
1.46/1.54 c bounds 30286 >= -1201 @ 0.982533
1.46/1.55 c bounds 30286 >= -1195 @ 0.984727
1.46/1.55 c bounds 30286 >= -1193 @ 0.987109
1.46/1.56 c bounds 30286 >= -1188 @ 0.989271
1.46/1.56 c bounds 30286 >= -1186 @ 0.992522
1.46/1.57 c bounds 30286 >= -1185 @ 0.996017
1.46/1.58 c bounds 30285 >= -1185 @ 1.00246
1.46/1.59 c bounds 30285 >= -1184 @ 1.00707
1.46/1.59 c bounds 30285 >= -1183 @ 1.01105
1.56/1.60 c bounds 30285 >= -1177 @ 1.01336
1.56/1.60 c bounds 30285 >= -1176 @ 1.01648
1.56/1.61 c bounds 30285 >= -1172 @ 1.01865
1.56/1.61 c bounds 30285 >= -1169 @ 1.02225
1.56/1.62 c bounds 30285 >= -1162 @ 1.02457
1.56/1.62 c bounds 30285 >= -1161 @ 1.02694
1.56/1.63 c bounds 30285 >= -1154 @ 1.02908
1.56/1.63 c bounds 30285 >= -1148 @ 1.03407
1.56/1.64 c bounds 30285 >= -1145 @ 1.03627
1.56/1.65 c bounds 30284 >= -1145 @ 1.04036
1.56/1.66 c bounds 30284 >= -1142 @ 1.045
1.56/1.66 c bounds 30284 >= -1139 @ 1.04707
1.56/1.67 c bounds 30284 >= -1135 @ 1.05125
1.56/1.67 c bounds 30284 >= -1134 @ 1.05531
1.56/1.68 c bounds 30284 >= -1127 @ 1.05753
1.56/1.68 c bounds 30284 >= -1122 @ 1.06089
1.56/1.69 c bounds 30284 >= -1115 @ 1.06401
1.56/1.69 c bounds 30284 >= -1108 @ 1.06701
1.66/1.70 c bounds 30284 >= -1103 @ 1.0683
1.66/1.70 c bounds 30284 >= -1096 @ 1.07046
1.66/1.71 c bounds 30183 >= -1096 @ 1.07903
1.66/1.72 c bounds 30183 >= -1090 @ 1.08145
1.66/1.73 c bounds 30183 >= -1089 @ 1.0848
1.66/1.73 c bounds 30183 >= -1082 @ 1.08774
1.66/1.74 c bounds 30183 >= -1081 @ 1.09089
1.66/1.74 c bounds 30183 >= -1073 @ 1.09314
1.66/1.75 c bounds 30183 >= -1066 @ 1.09526
1.66/1.75 c bounds 30183 >= -1061 @ 1.09841
1.66/1.76 c bounds 30183 >= -1060 @ 1.10076
1.66/1.76 c bounds 30183 >= -1058 @ 1.10387
1.66/1.77 c bounds 30183 >= -1057 @ 1.10591
1.66/1.77 c bounds 30183 >= -1056 @ 1.10905
1.76/1.81 c bounds 30182 >= -1056 @ 1.14645
1.76/1.82 c bounds 30182 >= -1052 @ 1.15022
1.76/1.83 c bounds 30182 >= -1048 @ 1.15362
1.76/1.83 c bounds 30182 >= -1041 @ 1.15674
1.76/1.84 c bounds 30182 >= -1040 @ 1.15976
1.76/1.84 c bounds 30182 >= -1033 @ 1.16485
1.76/1.85 c bounds 30182 >= -1028 @ 1.16804
1.76/1.85 c bounds 30182 >= -1027 @ 1.17019
1.76/1.86 c bounds 30182 >= -1026 @ 1.1733
1.76/1.86 c bounds 30182 >= -1025 @ 1.17644
1.76/1.87 c bounds 30182 >= -1024 @ 1.17882
1.76/1.87 c bounds 30182 >= -1023 @ 1.1819
1.76/1.88 c bounds 30182 >= -1022 @ 1.1841
1.76/1.88 c bounds 30182 >= -1017 @ 1.18755
1.76/1.89 c bounds 30182 >= -1016 @ 1.19142
1.76/1.89 c bounds 30182 >= -1015 @ 1.19572
1.86/1.90 c bounds 30182 >= -1014 @ 1.19786
1.86/1.90 c bounds 30182 >= -1013 @ 1.20103
1.86/1.91 c bounds 30182 >= -1012 @ 1.20517
1.86/1.91 c bounds 30182 >= -1011 @ 1.20856
1.86/1.92 c bounds 30182 >= -1010 @ 1.21065
1.86/1.92 c bounds 30182 >= -1009 @ 1.21279
1.86/1.93 c bounds 30182 >= -1008 @ 1.21687
1.86/1.93 c bounds 30182 >= -1007 @ 1.22098
1.86/1.97 c bounds 30181 >= -1007 @ 1.25712
1.86/1.98 c bounds 30181 >= -1006 @ 1.2599
1.86/1.98 c bounds 30181 >= -1005 @ 1.26304
1.86/1.99 c bounds 30181 >= -1004 @ 1.26641
1.86/1.99 c bounds 30181 >= -999 @ 1.26849
1.86/2.00 c bounds 30181 >= -998 @ 1.27067
1.97/2.00 c bounds 30181 >= -995 @ 1.27285
1.97/2.01 c bounds 30181 >= -991 @ 1.27628
1.97/2.02 c bounds 30181 >= -987 @ 1.27839
1.97/2.02 c bounds 30181 >= -986 @ 1.2824
1.97/2.03 c bounds 30181 >= -982 @ 1.28652
1.97/2.03 c bounds 30181 >= -979 @ 1.28875
1.97/2.04 c bounds 30181 >= -978 @ 1.29288
1.97/2.04 c bounds 30181 >= -977 @ 1.29629
1.97/2.05 c bounds 30181 >= -976 @ 1.30038
1.97/2.05 c bounds 30181 >= -970 @ 1.30341
1.97/2.06 c bounds 30181 >= -967 @ 1.30555
1.97/2.06 c bounds 30181 >= -966 @ 1.30874
1.97/2.07 c bounds 30181 >= -961 @ 1.31135
1.97/2.07 c bounds 30181 >= -960 @ 1.31456
1.97/2.08 c bounds 30181 >= -955 @ 1.31819
1.97/2.08 c bounds 30181 >= -950 @ 1.32044
1.97/2.09 c bounds 30181 >= -949 @ 1.32361
1.97/2.09 c bounds 30181 >= -948 @ 1.32624
1.97/2.10 c bounds 30181 >= -947 @ 1.32833
2.07/2.10 c bounds 30181 >= -946 @ 1.33034
2.07/2.11 c bounds 30181 >= -945 @ 1.33347
2.07/2.11 c bounds 30181 >= -944 @ 1.33565
2.07/2.12 c bounds 30181 >= -943 @ 1.33781
2.07/2.13 c bounds 30181 >= -942 @ 1.34194
2.07/2.13 c bounds 30181 >= -941 @ 1.34513
2.07/2.14 c bounds 30181 >= -940 @ 1.3483
2.07/2.14 c bounds 30181 >= -939 @ 1.34953
2.07/2.15 c bounds 30181 >= -935 @ 1.35266
2.07/2.15 c bounds 30181 >= -934 @ 1.35483
2.07/2.19 c bounds 30180 >= -934 @ 1.38356
2.07/2.19 c bounds 30180 >= -930 @ 1.38638
2.16/2.20 c bounds 30180 >= -925 @ 1.38965
2.16/2.20 c bounds 30180 >= -922 @ 1.39209
2.16/2.21 c bounds 30180 >= -919 @ 1.39512
2.16/2.21 c bounds 30180 >= -914 @ 1.3984
2.16/2.22 c bounds 30180 >= -911 @ 1.39972
2.16/2.22 c bounds 30180 >= -907 @ 1.40303
2.16/2.23 c bounds 30180 >= -902 @ 1.40622
2.16/2.23 c bounds 30180 >= -899 @ 1.40831
2.16/2.24 c bounds 30180 >= -894 @ 1.41044
2.16/2.24 c bounds 30180 >= -890 @ 1.41312
2.16/2.25 c bounds 30180 >= -886 @ 1.41508
2.16/2.25 c bounds 30180 >= -883 @ 1.41724
2.16/2.26 c bounds 30180 >= -879 @ 1.41934
2.16/2.26 c bounds 30180 >= -874 @ 1.42237
2.16/2.27 c bounds 30180 >= -873 @ 1.42745
2.16/2.27 c bounds 30180 >= -872 @ 1.42958
2.16/2.28 c bounds 30180 >= -871 @ 1.43191
2.16/2.29 c bounds 30180 >= -870 @ 1.43497
2.16/2.29 c bounds 30180 >= -869 @ 1.43702
2.16/2.30 c bounds 30180 >= -864 @ 1.43901
2.26/2.30 c bounds 30180 >= -857 @ 1.44309
2.26/2.31 c bounds 30180 >= -853 @ 1.44726
2.26/2.31 c bounds 30180 >= -850 @ 1.45231
2.26/2.32 c bounds 30180 >= -849 @ 1.45652
2.26/2.32 c bounds 30180 >= -843 @ 1.45894
2.26/2.33 c bounds 30180 >= -841 @ 1.46202
2.26/2.33 c bounds 30180 >= -840 @ 1.46619
2.26/2.34 c bounds 30180 >= -835 @ 1.47029
2.26/2.34 c bounds 30180 >= -832 @ 1.47344
2.26/2.35 c bounds 30180 >= -830 @ 1.47578
2.26/2.35 c bounds 30180 >= -828 @ 1.47787
2.26/2.36 c bounds 30180 >= -823 @ 1.47989
2.26/2.36 c bounds 30180 >= -821 @ 1.48289
2.26/2.37 c bounds 30180 >= -818 @ 1.48604
2.26/2.37 c bounds 30180 >= -816 @ 1.48805
2.26/2.38 c bounds 30180 >= -812 @ 1.49017
2.26/2.38 c bounds 30180 >= -808 @ 1.4942
2.36/2.42 c bounds 30079 >= -808 @ 1.52443
2.36/2.43 c bounds 30079 >= -804 @ 1.52843
2.36/2.43 c bounds 30079 >= -799 @ 1.53077
2.36/2.44 c bounds 30079 >= -797 @ 1.53375
2.36/2.44 c bounds 30079 >= -794 @ 1.53875
2.36/2.45 c bounds 30079 >= -791 @ 1.5419
2.36/2.45 c bounds 30079 >= -788 @ 1.54509
2.36/2.46 c bounds 30079 >= -784 @ 1.54828
2.36/2.46 c bounds 30079 >= -780 @ 1.55169
2.36/2.47 c bounds 30079 >= -775 @ 1.55369
2.36/2.47 c bounds 30079 >= -771 @ 1.55669
2.36/2.48 c bounds 30079 >= -769 @ 1.55985
2.36/2.48 c bounds 30079 >= -766 @ 1.56094
2.36/2.49 c bounds 30079 >= -764 @ 1.56494
2.36/2.49 c bounds 30079 >= -762 @ 1.56806
2.46/2.50 c bounds 30079 >= -760 @ 1.57017
2.46/2.50 c bounds 30079 >= -757 @ 1.57423
2.46/2.51 c bounds 30079 >= -755 @ 1.57756
2.46/2.51 c bounds 30079 >= -752 @ 1.57962
2.46/2.52 c bounds 30079 >= -748 @ 1.58165
2.46/2.52 c bounds 30079 >= -745 @ 1.58363
2.46/2.53 c bounds 30079 >= -742 @ 1.58673
2.46/2.53 c bounds 30079 >= -740 @ 1.5898
2.46/2.54 c bounds 30079 >= -736 @ 1.59193
2.46/2.54 c bounds 30079 >= -733 @ 1.59495
2.46/2.55 c bounds 30079 >= -729 @ 1.59803
2.46/2.55 c bounds 30079 >= -727 @ 1.60013
2.46/2.56 c bounds 30079 >= -725 @ 1.60346
2.46/2.56 c bounds 30079 >= -720 @ 1.60453
2.46/2.57 c bounds 30079 >= -719 @ 1.60839
2.46/2.57 c bounds 30079 >= -718 @ 1.61058
2.46/2.58 c bounds 30079 >= -717 @ 1.61271
2.46/2.58 c bounds 30079 >= -716 @ 1.61566
2.46/2.59 c bounds 30079 >= -715 @ 1.61883
2.46/2.59 c bounds 30079 >= -714 @ 1.62188
2.56/2.60 c bounds 30079 >= -713 @ 1.62553
2.56/2.60 c bounds 30079 >= -711 @ 1.62952
2.56/2.61 c bounds 30079 >= -710 @ 1.63251
2.56/2.61 c bounds 30079 >= -709 @ 1.63665
2.56/2.62 c bounds 30079 >= -708 @ 1.63865
2.56/2.62 c bounds 30079 >= -707 @ 1.64078
2.56/2.67 c bounds 30078 >= -707 @ 1.68168
2.56/2.68 c bounds 30078 >= -706 @ 1.68541
2.56/2.68 c bounds 30078 >= -705 @ 1.68752
2.56/2.69 c bounds 30078 >= -704 @ 1.69066
2.56/2.69 c bounds 30078 >= -703 @ 1.69385
2.66/2.70 c bounds 30078 >= -702 @ 1.69724
2.66/2.70 c bounds 30078 >= -701 @ 1.70108
2.66/2.71 c bounds 30078 >= -699 @ 1.70617
2.66/2.71 c bounds 30078 >= -697 @ 1.71024
2.66/2.72 c bounds 30078 >= -696 @ 1.71345
2.66/2.72 c bounds 30078 >= -695 @ 1.71547
2.66/2.73 c bounds 30078 >= -693 @ 1.71859
2.66/2.73 c bounds 30078 >= -691 @ 1.7216
2.66/2.74 c bounds 30078 >= -690 @ 1.7237
2.66/2.74 c bounds 30078 >= -688 @ 1.72678
2.66/2.75 c bounds 30078 >= -686 @ 1.72941
2.66/2.75 c bounds 30078 >= -684 @ 1.7314
2.66/2.76 c bounds 30078 >= -682 @ 1.73363
2.66/2.76 c bounds 30078 >= -680 @ 1.73679
2.66/2.77 c bounds 30078 >= -678 @ 1.74019
2.66/2.77 c bounds 30078 >= -677 @ 1.74223
2.66/2.78 c bounds 30078 >= -675 @ 1.7452
2.66/2.78 c bounds 30078 >= -674 @ 1.74822
2.66/2.79 c bounds 30078 >= -670 @ 1.75135
2.66/2.79 c bounds 30078 >= -669 @ 1.75353
2.76/2.80 c bounds 30078 >= -668 @ 1.75765
2.76/2.81 c bounds 30078 >= -667 @ 1.7608
2.76/2.81 c bounds 30078 >= -666 @ 1.76492
2.76/2.82 c bounds 30078 >= -665 @ 1.76828
2.76/2.82 c bounds 30078 >= -664 @ 1.77151
2.76/2.83 c bounds 30078 >= -663 @ 1.77458
2.76/2.83 c bounds 30078 >= -662 @ 1.77569
2.76/2.87 c bounds 30077 >= -662 @ 1.80491
2.76/2.88 c bounds 30077 >= -661 @ 1.80957
2.76/2.88 c bounds 30077 >= -660 @ 1.81262
2.76/2.89 c bounds 30077 >= -657 @ 1.81598
2.76/2.89 c bounds 30077 >= -656 @ 1.8191
2.86/2.90 c bounds 30077 >= -654 @ 1.82371
2.86/2.90 c bounds 30077 >= -653 @ 1.82701
2.86/2.91 c bounds 30077 >= -652 @ 1.82994
2.86/2.91 c bounds 30077 >= -651 @ 1.83313
2.86/2.92 c bounds 30077 >= -650 @ 1.83705
2.86/2.92 c bounds 30077 >= -649 @ 1.84013
2.86/2.93 c bounds 30077 >= -648 @ 1.84326
2.86/2.93 c bounds 30077 >= -647 @ 1.84724
2.86/2.94 c bounds 30077 >= -646 @ 1.85033
2.86/2.94 c bounds 30077 >= -645 @ 1.85443
2.86/2.95 c bounds 30077 >= -644 @ 1.85751
2.86/2.95 c bounds 30077 >= -643 @ 1.86084
2.86/2.96 c bounds 30077 >= -642 @ 1.86368
2.86/2.96 c bounds 30077 >= -641 @ 1.8659
2.86/2.97 c bounds 30077 >= -640 @ 1.86885
2.86/2.97 c bounds 30077 >= -639 @ 1.87292
2.86/2.98 c bounds 30077 >= -638 @ 1.87801
2.86/2.98 c bounds 30077 >= -637 @ 1.88216
2.86/2.99 c bounds 30077 >= -636 @ 1.88518
2.86/2.99 c bounds 30077 >= -635 @ 1.88726
2.86/3.00 c bounds 30077 >= -634 @ 1.89132
2.96/3.00 c bounds 30077 >= -633 @ 1.89451
2.96/3.01 c bounds 30077 >= -632 @ 1.89682
2.96/3.01 c bounds 30077 >= -631 @ 1.89967
2.96/3.02 c bounds 30077 >= -630 @ 1.90181
2.96/3.02 c bounds 30077 >= -629 @ 1.90495
2.96/3.03 c bounds 30077 >= -628 @ 1.9079
2.96/3.03 c bounds 30077 >= -627 @ 1.90908
2.96/3.04 c bounds 30077 >= -626 @ 1.91315
2.96/3.04 c bounds 30077 >= -625 @ 1.91522
2.96/3.05 c bounds 30077 >= -624 @ 1.91731
2.96/3.06 c bounds 30077 >= -623 @ 1.91938
2.96/3.09 c bounds 29977 >= -623 @ 1.95315
2.96/3.10 c bounds 29977 >= -622 @ 1.95606
3.06/3.10 c bounds 29977 >= -621 @ 1.95821
3.06/3.11 c bounds 29977 >= -620 @ 1.96059
3.06/3.12 c bounds 29977 >= -619 @ 1.96266
3.06/3.12 c bounds 29977 >= -618 @ 1.96565
3.06/3.13 c bounds 29977 >= -617 @ 1.96781
3.06/3.13 c bounds 29977 >= -616 @ 1.97084
3.06/3.14 c bounds 29977 >= -615 @ 1.97395
3.06/3.14 c bounds 29977 >= -614 @ 1.97606
3.06/3.15 c bounds 29977 >= -613 @ 1.97719
3.06/3.15 c bounds 29977 >= -612 @ 1.97954
3.06/3.16 c bounds 29977 >= -611 @ 1.98162
3.06/3.16 c bounds 29977 >= -610 @ 1.98463
3.06/3.17 c bounds 29977 >= -609 @ 1.98665
3.06/3.17 c bounds 29977 >= -608 @ 1.98926
3.06/3.18 c bounds 29977 >= -607 @ 1.99161
3.06/3.18 c bounds 29977 >= -606 @ 1.99559
3.06/3.19 c bounds 29977 >= -605 @ 1.9996
3.06/3.19 c bounds 29977 >= -604 @ 2.00284
3.16/3.20 c bounds 29977 >= -603 @ 2.004
3.16/3.20 c bounds 29977 >= -602 @ 2.00615
3.16/3.21 c bounds 29977 >= -601 @ 2.00846
3.16/3.21 c bounds 29977 >= -600 @ 2.01233
3.16/3.22 c bounds 29977 >= -599 @ 2.01643
3.16/3.22 c bounds 29977 >= -598 @ 2.01854
3.16/3.23 c bounds 29977 >= -597 @ 2.02171
3.16/3.23 c bounds 29977 >= -596 @ 2.02485
3.16/3.24 c bounds 29977 >= -595 @ 2.02803
3.16/3.24 c bounds 29977 >= -593 @ 2.03239
3.16/3.25 c bounds 29977 >= -592 @ 2.03526
3.16/3.25 c bounds 29977 >= -588 @ 2.03783
3.16/3.26 c bounds 29977 >= -585 @ 2.03999
3.16/3.27 c bounds 29977 >= -583 @ 2.04504
3.16/3.27 c bounds 29977 >= -581 @ 2.04813
3.25/3.34 c bounds 29976 >= -581 @ 2.10724
3.25/3.35 c bounds 29976 >= -578 @ 2.11111
3.25/3.35 c bounds 29976 >= -576 @ 2.11425
3.25/3.36 c bounds 29976 >= -573 @ 2.11739
3.25/3.36 c bounds 29976 >= -565 @ 2.12054
3.25/3.37 c bounds 29976 >= -563 @ 2.12564
3.25/3.37 c bounds 29976 >= -562 @ 2.12679
3.25/3.38 c bounds 29976 >= -553 @ 2.13018
3.25/3.38 c bounds 29976 >= -552 @ 2.13217
3.25/3.39 c bounds 29976 >= -548 @ 2.13517
3.25/3.39 c bounds 29976 >= -547 @ 2.13747
3.35/3.40 c bounds 29976 >= -539 @ 2.13921
3.35/3.41 c bounds 29976 >= -531 @ 2.14323
3.35/3.41 c bounds 29976 >= -525 @ 2.14536
3.35/3.42 c bounds 29976 >= -514 @ 2.14853
3.35/3.42 c bounds 29976 >= -510 @ 2.15261
3.35/3.43 c bounds 29976 >= -507 @ 2.15675
3.35/3.43 c bounds 29976 >= -502 @ 2.16089
3.35/3.44 c bounds 29976 >= -499 @ 2.16313
3.35/3.44 c bounds 29976 >= -495 @ 2.16528
3.35/3.45 c bounds 29976 >= -492 @ 2.1684
3.35/3.45 c bounds 29976 >= -489 @ 2.17247
3.35/3.46 c bounds 29976 >= -485 @ 2.17465
3.35/3.46 c bounds 29976 >= -483 @ 2.17801
3.35/3.47 c bounds 29976 >= -476 @ 2.18208
3.35/3.47 c bounds 29976 >= -472 @ 2.18505
3.35/3.48 c bounds 29976 >= -464 @ 2.18827
3.35/3.48 c bounds 29976 >= -459 @ 2.1924
3.35/3.49 c bounds 29976 >= -458 @ 2.1946
3.35/3.49 c bounds 29976 >= -452 @ 2.19795
3.46/3.50 c bounds 29976 >= -448 @ 2.20088
3.46/3.50 c bounds 29976 >= -443 @ 2.2032
3.46/3.51 c bounds 29976 >= -439 @ 2.20527
3.46/3.51 c bounds 29976 >= -432 @ 2.20829
3.46/3.52 c bounds 29976 >= -431 @ 2.2114
3.46/3.52 c bounds 29976 >= -426 @ 2.21357
3.46/3.53 c bounds 29976 >= -422 @ 2.21594
3.46/3.53 c bounds 29976 >= -410 @ 2.21993
3.46/3.54 c bounds 29976 >= -405 @ 2.22412
3.46/3.54 c bounds 29976 >= -403 @ 2.22636
3.46/3.55 c bounds 29976 >= -402 @ 2.22951
3.46/3.56 c bounds 29976 >= -398 @ 2.23195
3.46/3.56 c bounds 29976 >= -394 @ 2.23398
3.46/3.57 c bounds 29976 >= -390 @ 2.23621
3.46/3.57 c bounds 29976 >= -389 @ 2.24051
3.46/3.58 c bounds 29976 >= -382 @ 2.24394
3.46/3.58 c bounds 29976 >= -381 @ 2.24787
3.46/3.59 c bounds 29976 >= -380 @ 2.25209
3.46/3.59 c bounds 29976 >= -371 @ 2.25518
3.55/3.60 c bounds 29976 >= -365 @ 2.25797
3.55/3.60 c bounds 29976 >= -363 @ 2.26011
3.55/3.61 c bounds 29976 >= -361 @ 2.26326
3.55/3.61 c bounds 29976 >= -357 @ 2.26646
3.55/3.62 c bounds 29976 >= -354 @ 2.27085
3.55/3.62 c bounds 29976 >= -350 @ 2.27402
3.55/3.63 c bounds 29976 >= -347 @ 2.27514
3.55/3.63 c bounds 29976 >= -346 @ 2.27832
3.55/3.64 c bounds 29976 >= -339 @ 2.2817
3.55/3.64 c bounds 29976 >= -335 @ 2.28483
3.55/3.65 c bounds 29976 >= -330 @ 2.28883
3.55/3.65 c bounds 29976 >= -327 @ 2.29109
3.55/3.66 c bounds 29976 >= -322 @ 2.29441
3.55/3.67 c bounds 29976 >= -315 @ 2.29777
3.55/3.67 c bounds 29976 >= -310 @ 2.30076
3.55/3.68 c bounds 29976 >= -306 @ 2.30494
3.55/3.68 c bounds 29976 >= -299 @ 2.30814
3.55/3.69 c bounds 29976 >= -289 @ 2.31133
3.55/3.69 c bounds 29976 >= -281 @ 2.31371
3.65/3.70 c bounds 29976 >= -269 @ 2.31766
3.65/3.70 c bounds 29976 >= -265 @ 2.32096
3.65/3.71 c bounds 29976 >= -258 @ 2.324
3.65/3.71 c bounds 29976 >= -255 @ 2.32809
3.65/3.72 c bounds 29976 >= -251 @ 2.3293
3.65/3.72 c bounds 29976 >= -248 @ 2.3336
3.65/3.77 c bounds 29975 >= -248 @ 2.37399
3.65/3.77 c bounds 29975 >= -238 @ 2.3791
3.65/3.78 c bounds 29975 >= -234 @ 2.38148
3.65/3.78 c bounds 29975 >= -227 @ 2.38359
3.65/3.79 c bounds 29975 >= -217 @ 2.38578
3.65/3.79 c bounds 29975 >= -210 @ 2.38715
3.75/3.80 c bounds 29975 >= -207 @ 2.38954
3.75/3.80 c bounds 29975 >= -200 @ 2.39174
3.75/3.81 c bounds 29975 >= -196 @ 2.39698
3.75/3.81 c bounds 29975 >= -185 @ 2.39956
3.75/3.82 c bounds 29975 >= -178 @ 2.4027
3.75/3.82 c bounds 29975 >= -175 @ 2.40483
3.75/3.83 c bounds 29975 >= -172 @ 2.4088
3.75/3.84 c bounds 29975 >= -171 @ 2.4114
3.75/3.84 c bounds 29975 >= -170 @ 2.41528
3.75/3.85 c bounds 29975 >= -159 @ 2.41845
3.75/3.85 c bounds 29975 >= -152 @ 2.42156
3.75/3.86 c bounds 29975 >= -146 @ 2.42378
3.75/3.86 c bounds 29975 >= -145 @ 2.42692
3.75/3.87 c bounds 29975 >= -138 @ 2.42931
3.75/3.87 c bounds 29975 >= -129 @ 2.43043
3.75/3.88 c bounds 29975 >= -119 @ 2.43339
3.75/3.88 c bounds 29975 >= -109 @ 2.43751
3.75/3.89 c bounds 29975 >= -100 @ 2.44066
3.75/3.89 c bounds 29975 >= -93 @ 2.44281
3.85/3.90 c bounds 29975 >= -83 @ 2.44591
3.85/3.90 c bounds 29975 >= -78 @ 2.4504
3.85/3.91 c bounds 29975 >= -75 @ 2.45333
3.85/3.91 c bounds 29975 >= -69 @ 2.45661
3.85/3.92 c bounds 29975 >= -63 @ 2.45873
3.85/3.92 c bounds 29975 >= -58 @ 2.45936
3.85/3.93 c bounds 29975 >= -52 @ 2.46163
3.85/3.93 c bounds 29975 >= -42 @ 2.46494
3.85/3.94 c bounds 29975 >= -36 @ 2.46634
3.85/3.94 c bounds 29975 >= -27 @ 2.47041
3.85/3.95 c bounds 29975 >= -20 @ 2.4749
3.85/3.96 c bounds 29975 >= -17 @ 2.47837
3.85/3.96 c bounds 29975 >= -11 @ 2.48248
3.85/3.97 c bounds 29975 >= -5 @ 2.48669
3.85/3.97 c bounds 29975 >= 5 @ 2.48919
3.85/3.98 c bounds 29975 >= 11 @ 2.49122
3.85/3.98 c bounds 29975 >= 17 @ 2.49338
3.85/3.99 c bounds 29975 >= 23 @ 2.49541
3.85/3.99 c bounds 29975 >= 26 @ 2.49759
3.85/4.00 c bounds 29975 >= 35 @ 2.50169
3.96/4.04 c bounds 29974 >= 35 @ 2.54353
3.96/4.05 c bounds 29974 >= 36 @ 2.54846
3.96/4.05 c bounds 29974 >= 42 @ 2.55098
3.96/4.06 c bounds 29974 >= 45 @ 2.55303
3.96/4.06 c bounds 29974 >= 50 @ 2.55692
3.96/4.07 c bounds 29974 >= 55 @ 2.56009
3.96/4.07 c bounds 29974 >= 58 @ 2.56422
3.96/4.08 c bounds 29974 >= 59 @ 2.56843
3.96/4.08 c bounds 29974 >= 64 @ 2.5707
3.96/4.09 c bounds 29974 >= 66 @ 2.57305
3.96/4.09 c bounds 29974 >= 72 @ 2.57622
3.96/4.10 c bounds 29974 >= 74 @ 2.57941
4.06/4.10 c bounds 29974 >= 77 @ 2.58421
4.06/4.11 c bounds 29974 >= 80 @ 2.58842
4.06/4.12 c bounds 29974 >= 81 @ 2.59267
4.06/4.12 c bounds 29974 >= 88 @ 2.59496
4.06/4.13 c bounds 29974 >= 94 @ 2.59715
4.06/4.13 c bounds 29974 >= 97 @ 2.60029
4.06/4.14 c bounds 29974 >= 107 @ 2.60356
4.06/4.14 c bounds 29974 >= 117 @ 2.60691
4.06/4.15 c bounds 29974 >= 123 @ 2.60907
4.06/4.15 c bounds 29974 >= 128 @ 2.61311
4.06/4.16 c bounds 29974 >= 129 @ 2.61639
4.06/4.16 c bounds 29974 >= 139 @ 2.61952
4.06/4.17 c bounds 29974 >= 141 @ 2.62284
4.06/4.17 c bounds 29974 >= 151 @ 2.62693
4.06/4.18 c bounds 29974 >= 161 @ 2.62922
4.06/4.18 c bounds 29974 >= 165 @ 2.6324
4.06/4.19 c bounds 29974 >= 169 @ 2.63479
4.06/4.19 c bounds 29974 >= 174 @ 2.63785
4.16/4.20 c bounds 29974 >= 180 @ 2.64208
4.16/4.20 c bounds 29974 >= 184 @ 2.64606
4.16/4.21 c bounds 29974 >= 194 @ 2.64938
4.16/4.21 c bounds 29974 >= 200 @ 2.65173
4.16/4.22 c bounds 29974 >= 210 @ 2.65466
4.16/4.22 c bounds 29974 >= 216 @ 2.65719
4.16/4.23 c bounds 29974 >= 226 @ 2.66107
4.16/4.24 c bounds 29974 >= 233 @ 2.6647
4.16/4.24 c bounds 29974 >= 243 @ 2.66704
4.16/4.25 c bounds 29974 >= 249 @ 2.6697
4.16/4.25 c bounds 29974 >= 251 @ 2.67291
4.16/4.26 c bounds 29974 >= 260 @ 2.67563
4.16/4.26 c bounds 29974 >= 264 @ 2.67985
4.16/4.27 c bounds 29974 >= 268 @ 2.68161
4.16/4.27 c bounds 29974 >= 270 @ 2.68387
4.16/4.28 c bounds 29974 >= 274 @ 2.68511
4.16/4.29 c bounds 29974 >= 280 @ 2.68865
4.16/4.29 c bounds 29974 >= 290 @ 2.69092
4.66/4.70 c bounds 29874 >= 290 @ 3.06867
4.66/4.70 c bounds 29874 >= 293 @ 3.07246
4.66/4.71 c bounds 29874 >= 303 @ 3.07506
4.66/4.71 c bounds 29874 >= 306 @ 3.07964
4.66/4.72 c bounds 29874 >= 308 @ 3.08347
4.66/4.72 c bounds 29874 >= 310 @ 3.08597
4.66/4.73 c bounds 29874 >= 317 @ 3.09066
4.66/4.74 c bounds 29874 >= 324 @ 3.09351
4.66/4.74 c bounds 29874 >= 330 @ 3.09808
4.66/4.75 c bounds 29874 >= 337 @ 3.1008
4.66/4.75 c bounds 29874 >= 346 @ 3.10641
4.66/4.76 c bounds 29874 >= 352 @ 3.10831
4.66/4.76 c bounds 29874 >= 362 @ 3.11079
4.66/4.77 c bounds 29874 >= 365 @ 3.11551
4.66/4.78 c bounds 29874 >= 371 @ 3.11923
4.66/4.78 c bounds 29874 >= 373 @ 3.12393
4.66/4.79 c bounds 29874 >= 375 @ 3.12764
4.66/4.79 c bounds 29874 >= 376 @ 3.13145
4.75/4.80 c bounds 29874 >= 377 @ 3.13596
4.75/4.80 c bounds 29874 >= 386 @ 3.14065
4.75/4.81 c bounds 29874 >= 387 @ 3.14345
4.75/4.82 c bounds 29874 >= 392 @ 3.14696
4.75/4.82 c bounds 29874 >= 402 @ 3.14981
4.75/4.83 c bounds 29874 >= 407 @ 3.15344
4.75/4.83 c bounds 29874 >= 417 @ 3.15617
4.75/4.84 c bounds 29874 >= 423 @ 3.15986
4.75/4.84 c bounds 29874 >= 429 @ 3.16446
4.75/4.85 c bounds 29874 >= 436 @ 3.17002
4.75/4.86 c bounds 29874 >= 439 @ 3.17353
4.75/4.86 c bounds 29874 >= 449 @ 3.17725
4.75/4.87 c bounds 29874 >= 459 @ 3.1786
4.75/4.87 c bounds 29874 >= 469 @ 3.1825
4.75/4.88 c bounds 29874 >= 474 @ 3.18715
4.75/4.88 c bounds 29874 >= 485 @ 3.18978
4.75/4.89 c bounds 29874 >= 495 @ 3.19352
4.85/4.90 c bounds 29874 >= 501 @ 3.19816
4.85/4.90 c bounds 29874 >= 507 @ 3.20078
4.85/4.91 c bounds 29874 >= 513 @ 3.20441
4.85/4.91 c bounds 29874 >= 518 @ 3.20717
4.85/4.92 c bounds 29874 >= 528 @ 3.20975
4.85/4.92 c bounds 29874 >= 538 @ 3.21235
4.85/4.93 c bounds 29874 >= 547 @ 3.21506
4.85/4.94 c bounds 29874 >= 548 @ 3.21746
4.85/4.94 c bounds 29874 >= 549 @ 3.22116
4.85/4.95 c bounds 29874 >= 550 @ 3.22569
4.85/4.95 c bounds 29874 >= 551 @ 3.2293
4.85/4.96 c bounds 29874 >= 552 @ 3.23218
4.85/4.96 c bounds 29874 >= 553 @ 3.2356
4.85/4.97 c bounds 29874 >= 554 @ 3.23833
4.85/4.98 c bounds 29874 >= 555 @ 3.24214
4.85/4.98 c bounds 29874 >= 556 @ 3.24557
4.85/4.99 c bounds 29874 >= 557 @ 3.24922
4.85/4.99 c bounds 29874 >= 558 @ 3.25384
4.85/5.00 c bounds 29874 >= 559 @ 3.2575
4.96/5.00 c bounds 29874 >= 560 @ 3.26029
4.96/5.01 c bounds 29874 >= 561 @ 3.26314
4.96/5.01 c bounds 29874 >= 562 @ 3.26639
4.96/5.02 c bounds 29874 >= 563 @ 3.27097
4.96/5.03 c bounds 29874 >= 564 @ 3.27259
4.96/5.03 c bounds 29874 >= 565 @ 3.27503
4.96/5.04 c bounds 29874 >= 570 @ 3.27987
4.96/5.04 c bounds 29874 >= 571 @ 3.28234
4.96/5.05 c bounds 29874 >= 572 @ 3.28509
4.96/5.05 c bounds 29874 >= 573 @ 3.2869
4.96/5.06 c bounds 29874 >= 574 @ 3.29045
4.96/5.07 c bounds 29874 >= 575 @ 3.29318
4.96/5.07 c bounds 29874 >= 580 @ 3.29599
4.96/5.08 c bounds 29874 >= 587 @ 3.29931
4.96/5.08 c bounds 29874 >= 590 @ 3.30284
4.96/5.09 c bounds 29874 >= 591 @ 3.30734
4.96/5.09 c bounds 29874 >= 597 @ 3.31095
4.96/5.10 c bounds 29874 >= 599 @ 3.31445
5.06/5.11 c bounds 29874 >= 606 @ 3.31823
5.06/5.11 c bounds 29874 >= 607 @ 3.32291
5.06/5.12 c bounds 29874 >= 610 @ 3.32675
5.06/5.12 c bounds 29874 >= 613 @ 3.33017
5.06/5.13 c bounds 29874 >= 616 @ 3.3337
5.06/5.13 c bounds 29874 >= 623 @ 3.33745
5.06/5.14 c bounds 29874 >= 626 @ 3.34122
5.06/5.15 c bounds 29874 >= 633 @ 3.34494
5.06/5.15 c bounds 29874 >= 639 @ 3.34632
5.06/5.16 c bounds 29874 >= 646 @ 3.34982
5.06/5.16 c bounds 29874 >= 653 @ 3.35321
5.06/5.17 c bounds 29874 >= 655 @ 3.35688
5.06/5.17 c bounds 29874 >= 657 @ 3.36078
5.06/5.18 c bounds 29874 >= 659 @ 3.36413
5.06/5.18 c bounds 29874 >= 660 @ 3.3678
5.06/5.19 c bounds 29874 >= 662 @ 3.36912
5.15/5.20 c bounds 29874 >= 664 @ 3.37198
5.15/5.20 c bounds 29874 >= 666 @ 3.37558
5.15/5.21 c bounds 29874 >= 669 @ 3.38021
5.15/5.21 c bounds 29874 >= 672 @ 3.38478
5.15/5.22 c bounds 29874 >= 679 @ 3.38762
5.15/5.22 c bounds 29874 >= 680 @ 3.39193
5.15/5.23 c bounds 29874 >= 687 @ 3.39574
5.15/5.23 c bounds 29874 >= 689 @ 3.39924
5.15/5.24 c bounds 29874 >= 692 @ 3.40199
5.15/5.25 c bounds 29874 >= 699 @ 3.40563
5.15/5.25 c bounds 29874 >= 703 @ 3.40859
5.15/5.26 c bounds 29874 >= 704 @ 3.41205
5.15/5.26 c bounds 29874 >= 705 @ 3.41584
5.15/5.27 c bounds 29874 >= 710 @ 3.41851
5.15/5.28 c bounds 29874 >= 714 @ 3.42226
5.15/5.28 c bounds 29874 >= 721 @ 3.42606
5.15/5.29 c bounds 29874 >= 728 @ 3.42992
5.15/5.29 c bounds 29874 >= 732 @ 3.43459
5.25/5.30 c bounds 29874 >= 735 @ 3.43583
5.25/5.30 c bounds 29874 >= 736 @ 3.44059
5.25/5.31 c bounds 29874 >= 737 @ 3.44348
5.25/5.32 c bounds 29874 >= 739 @ 3.44571
5.25/5.32 c bounds 29874 >= 740 @ 3.44923
5.25/5.33 c bounds 29874 >= 741 @ 3.45192
5.25/5.33 c bounds 29874 >= 746 @ 3.45567
5.25/5.34 c bounds 29874 >= 752 @ 3.45748
5.25/5.34 c bounds 29874 >= 758 @ 3.45982
5.25/5.35 c bounds 29874 >= 763 @ 3.46347
5.25/5.36 c bounds 29874 >= 769 @ 3.46838
5.25/5.36 c bounds 29874 >= 774 @ 3.47178
5.25/5.37 c bounds 29874 >= 778 @ 3.47553
5.25/5.37 c bounds 29874 >= 784 @ 3.47905
5.25/5.38 c bounds 29874 >= 786 @ 3.4847
5.25/5.38 c bounds 29874 >= 787 @ 3.4894
5.25/5.39 c bounds 29874 >= 791 @ 3.49314
5.25/5.39 c bounds 29874 >= 795 @ 3.49677
5.35/5.40 c bounds 29874 >= 798 @ 3.5006
5.35/5.41 c bounds 29874 >= 802 @ 3.50438
5.35/5.41 c bounds 29874 >= 805 @ 3.50883
5.35/5.42 c bounds 29874 >= 809 @ 3.51454
5.35/5.42 c bounds 29874 >= 812 @ 3.51836
5.35/5.43 c bounds 29874 >= 813 @ 3.52075
5.35/5.43 c bounds 29874 >= 814 @ 3.52438
5.35/5.44 c bounds 29874 >= 815 @ 3.52794
5.35/5.45 c bounds 29874 >= 816 @ 3.53055
5.35/5.45 c bounds 29874 >= 817 @ 3.53331
5.35/5.46 c bounds 29874 >= 818 @ 3.53688
5.35/5.46 c bounds 29874 >= 819 @ 3.54034
5.35/5.47 c bounds 29874 >= 820 @ 3.54481
5.35/5.48 c bounds 29874 >= 821 @ 3.55031
5.35/5.48 c bounds 29874 >= 822 @ 3.55506
5.35/5.49 c bounds 29874 >= 823 @ 3.55721
5.45/5.50 c bounds 29874 >= 824 @ 3.56102
5.45/5.50 c bounds 29874 >= 825 @ 3.56558
5.45/5.51 c bounds 29874 >= 826 @ 3.57054
5.45/5.52 c bounds 29874 >= 827 @ 3.57543
5.45/5.52 c bounds 29874 >= 828 @ 3.5798
5.45/5.53 c bounds 29874 >= 829 @ 3.58325
5.45/5.54 c bounds 29874 >= 830 @ 3.58823
5.45/5.55 c bounds 29874 >= 831 @ 3.59208
5.45/5.55 c bounds 29874 >= 832 @ 3.59709
5.45/5.57 c bounds 29874 >= 833 @ 3.60452
5.45/5.59 c bounds 29874 >= 834 @ 3.61958
5.55/5.60 c bounds 29874 >= 835 @ 3.63114
5.55/5.61 c bounds 29874 >= 836 @ 3.63636
5.55/5.62 c bounds 29874 >= 837 @ 3.64143
5.55/5.63 c bounds 29874 >= 838 @ 3.64663
5.55/5.63 c bounds 29874 >= 839 @ 3.6526
5.55/5.64 c bounds 29874 >= 840 @ 3.65883
5.55/5.65 c bounds 29874 >= 841 @ 3.66191
5.55/5.66 c bounds 29874 >= 842 @ 3.66725
5.55/5.66 c bounds 29874 >= 843 @ 3.67328
5.55/5.67 c bounds 29874 >= 844 @ 3.67854
5.55/5.68 c bounds 29874 >= 845 @ 3.68268
5.55/5.69 c bounds 29874 >= 846 @ 3.68695
5.65/5.70 c bounds 29874 >= 847 @ 3.6912
5.65/5.72 c bounds 29874 >= 848 @ 3.70462
5.65/5.73 c bounds 29874 >= 849 @ 3.7117
5.65/5.74 c bounds 29874 >= 850 @ 3.72275
5.65/5.75 c bounds 29874 >= 851 @ 3.72829
5.65/5.76 c bounds 29874 >= 852 @ 3.73266
5.65/5.77 c bounds 29874 >= 853 @ 3.73897
5.65/5.77 c bounds 29874 >= 854 @ 3.74329
5.65/5.78 c bounds 29874 >= 855 @ 3.74949
5.65/5.79 c bounds 29874 >= 856 @ 3.75487
5.75/5.80 c bounds 29874 >= 857 @ 3.76122
5.75/5.81 c bounds 29874 >= 858 @ 3.77143
5.75/5.82 c bounds 29874 >= 859 @ 3.7765
5.75/5.83 c bounds 29874 >= 860 @ 3.78211
5.75/5.84 c bounds 29874 >= 861 @ 3.78883
5.75/5.85 c bounds 29874 >= 862 @ 3.79443
5.75/5.86 c bounds 29874 >= 863 @ 3.80056
5.75/5.86 c bounds 29874 >= 864 @ 3.80386
5.75/5.87 c bounds 29874 >= 865 @ 3.8097
5.75/5.88 c bounds 29874 >= 866 @ 3.81738
5.75/5.89 c bounds 29874 >= 867 @ 3.82325
5.85/5.90 c bounds 29874 >= 868 @ 3.82939
5.85/5.91 c bounds 29874 >= 869 @ 3.83448
5.85/5.92 c bounds 29874 >= 870 @ 3.84342
5.85/5.93 c bounds 29874 >= 871 @ 3.85144
5.85/5.93 c bounds 29874 >= 872 @ 3.85861
5.85/5.95 c bounds 29874 >= 873 @ 3.87181
5.85/5.99 c bounds 28156 >= 873 @ 3.90754
5.96/6.00 c bounds 28156 >= 874 @ 3.91223
5.96/6.01 c bounds 28156 >= 875 @ 3.9182
5.96/6.02 c bounds 28156 >= 877 @ 3.92365
5.96/6.02 c bounds 28156 >= 879 @ 3.9292
5.96/6.03 c bounds 28156 >= 880 @ 3.93504
5.96/6.05 c bounds 28156 >= 881 @ 3.95034
5.96/6.08 c bounds 28156 >= 882 @ 3.97503
6.15/6.21 c #Conflicts: 1000 | #Constraints: 30173
6.15/6.21 c bounds 28056 >= 882 @ 4.10176
6.15/6.22 c bounds 28056 >= 883 @ 4.11411
6.15/6.23 c bounds 28056 >= 884 @ 4.12046
6.15/6.24 c bounds 28056 >= 885 @ 4.12577
6.15/6.25 c bounds 28056 >= 886 @ 4.13125
6.15/6.25 c bounds 28056 >= 887 @ 4.13555
6.15/6.26 c bounds 28056 >= 888 @ 4.14217
6.55/6.64 c bounds 28055 >= 888 @ 4.49805
6.55/6.65 c bounds 28055 >= 889 @ 4.50356
6.55/6.66 c bounds 28055 >= 890 @ 4.51136
6.55/6.67 c bounds 28055 >= 891 @ 4.5155
6.55/6.68 c bounds 28055 >= 892 @ 4.52392
6.55/6.68 c bounds 28055 >= 893 @ 4.53024
6.65/6.75 c bounds 28055 >= 894 @ 4.59519
6.65/6.77 c bounds 28055 >= 895 @ 4.60628
6.65/6.78 c bounds 28055 >= 896 @ 4.61542
6.65/6.79 c bounds 28055 >= 897 @ 4.6266
6.75/6.81 c bounds 28055 >= 898 @ 4.63905
6.75/6.82 c bounds 28055 >= 899 @ 4.64942
6.75/6.83 c bounds 28055 >= 900 @ 4.65964
6.75/6.85 c bounds 28055 >= 901 @ 4.67463
6.75/6.87 c bounds 28055 >= 902 @ 4.68974
6.75/6.89 c bounds 28055 >= 903 @ 4.70804
6.95/7.03 c bounds 27955 >= 903 @ 4.83682
6.95/7.08 c bounds 27955 >= 904 @ 4.88067
6.95/7.10 c bounds 27955 >= 905 @ 4.89425
7.05/7.11 c bounds 27955 >= 906 @ 4.90525
7.05/7.12 c bounds 27955 >= 907 @ 4.9164
7.14/7.20 c bounds 27855 >= 907 @ 4.98847
7.14/7.22 c bounds 27855 >= 908 @ 5.00974
7.14/7.26 c bounds 27855 >= 909 @ 5.04225
7.25/7.35 c bounds 27854 >= 909 @ 5.12726
7.25/7.36 c bounds 27854 >= 910 @ 5.13192
7.25/7.37 c bounds 27854 >= 911 @ 5.1367
7.25/7.37 c bounds 27854 >= 912 @ 5.14104
7.25/7.39 c bounds 27854 >= 913 @ 5.15732
7.34/7.44 c bounds 27854 >= 914 @ 5.1999
7.45/7.55 c bounds 27755 >= 914 @ 5.30637
7.54/7.63 c bounds 27755 >= 915 @ 5.37741
7.64/7.73 c bounds 27655 >= 915 @ 5.47331
7.75/7.88 c bounds 27655 >= 916 @ 5.61352
7.84/7.96 c bounds 27654 >= 916 @ 5.68967
7.95/8.04 c bounds 27653 >= 916 @ 5.76043
8.05/8.12 c bounds 27553 >= 916 @ 5.84009
8.05/8.13 c bounds 27553 >= 917 @ 5.84671
8.05/8.14 c bounds 27553 >= 918 @ 5.85435
8.05/8.16 c bounds 27553 >= 919 @ 5.8669
8.15/8.26 c bounds 27552 >= 919 @ 5.9624
8.15/8.29 c bounds 27552 >= 920 @ 5.99187
8.24/8.31 c bounds 27552 >= 921 @ 6.00444
8.24/8.33 c bounds 27552 >= 922 @ 6.02696
9.05/9.16 c #Conflicts: 2000 | #Constraints: 31383
9.05/9.16 c INPROCESSING
9.05/9.16 c GARBAGE COLLECT
9.05/9.16 c bounds 27552 >= 923 @ 6.82336
9.05/9.17 c bounds 27552 >= 924 @ 6.82687
9.05/9.18 c bounds 27551 >= 924 @ 6.84058
9.05/9.19 c bounds 27551 >= 925 @ 6.84723
9.14/9.20 c bounds 27551 >= 926 @ 6.8517
9.14/9.21 c bounds 27551 >= 927 @ 6.8586
9.14/9.27 c bounds 27550 >= 927 @ 6.91209
9.14/9.28 c bounds 27550 >= 928 @ 6.91646
9.14/9.29 c bounds 27550 >= 929 @ 6.92209
9.24/9.38 c bounds 27550 >= 930 @ 7.00736
9.34/9.44 c bounds 27549 >= 930 @ 7.05522
9.54/9.63 c bounds 27549 >= 931 @ 7.23724
9.54/9.67 c bounds 27548 >= 931 @ 7.2732
9.64/9.72 c bounds 27547 >= 931 @ 7.31376
9.64/9.76 c bounds 27546 >= 931 @ 7.35439
9.74/9.80 c bounds 27545 >= 931 @ 7.3868
9.74/9.81 c bounds 27545 >= 932 @ 7.38913
10.04/10.19 c #Conflicts: 3000 | #Constraints: 30581
10.04/10.19 c bounds 27545 >= 933 @ 7.76439
10.14/10.26 c bounds 27544 >= 933 @ 7.82992
10.24/10.34 c bounds 27543 >= 933 @ 7.90336
10.33/10.42 c bounds 27443 >= 933 @ 7.9723
12.13/12.28 c bounds 27443 >= 934 @ 9.7762
12.24/12.33 c bounds 27442 >= 934 @ 9.82994
12.24/12.40 c #Conflicts: 4000 | #Constraints: 31624
12.24/12.40 c bounds 27441 >= 934 @ 9.88395
12.33/12.47 c bounds 27440 >= 934 @ 9.95725
12.43/12.54 c bounds 27439 >= 934 @ 10.016
12.53/12.60 c bounds 27438 >= 934 @ 10.0765
12.53/12.67 c bounds 27437 >= 934 @ 10.1491
12.63/12.75 c bounds 27436 >= 934 @ 10.2229
12.73/12.83 c bounds 27336 >= 934 @ 10.2988
12.83/12.95 c INPROCESSING
12.83/12.95 c GARBAGE COLLECT
12.83/12.95 c bounds 27335 >= 934 @ 10.414
13.43/13.56 c bounds 27335 >= 935 @ 11.0017
13.53/13.63 c bounds 27334 >= 935 @ 11.067
13.53/13.69 c #Conflicts: 5000 | #Constraints: 31003
13.53/13.69 c bounds 27333 >= 935 @ 11.1217
13.63/13.76 c bounds 27332 >= 935 @ 11.1827
13.72/13.81 c bounds 27331 >= 935 @ 11.2342
13.72/13.86 c bounds 27330 >= 935 @ 11.276
13.82/13.93 c bounds 27230 >= 935 @ 11.3426
13.94/14.01 c bounds 27229 >= 935 @ 11.4136
13.94/14.07 c bounds 27129 >= 935 @ 11.4742
14.53/14.68 c bounds 27129 >= 936 @ 12.0638
14.63/14.76 c bounds 27128 >= 936 @ 12.1323
14.73/14.82 c bounds 27127 >= 936 @ 12.1972
14.73/14.89 c bounds 27027 >= 936 @ 12.2593
14.83/14.97 c bounds 27026 >= 936 @ 12.3322
14.93/15.04 c bounds 27025 >= 936 @ 12.3986
15.04/15.11 c bounds 27024 >= 936 @ 12.4677
15.04/15.17 c bounds 27023 >= 936 @ 12.522
15.13/15.23 c bounds 27022 >= 936 @ 12.5811
15.13/15.29 c bounds 26921 >= 936 @ 12.6423
15.22/15.34 c bounds 26821 >= 936 @ 12.691
15.33/15.40 c bounds 26721 >= 936 @ 12.743
15.33/15.45 c bounds 26720 >= 936 @ 12.7928
16.12/16.24 c #Conflicts: 6000 | #Constraints: 32037
16.12/16.24 c bounds 26720 >= 937 @ 13.5566
16.12/16.29 c bounds 26719 >= 937 @ 13.6112
16.22/16.35 c bounds 26718 >= 937 @ 13.6641
16.32/16.41 c bounds 26717 >= 937 @ 13.7227
16.32/16.47 c bounds 26716 >= 937 @ 13.7777
16.42/16.53 c bounds 26715 >= 937 @ 13.8365
25.10/25.27 c INPROCESSING
25.10/25.27 c GARBAGE COLLECT
25.10/25.27 c bounds 26714 >= 937 @ 22.4964
25.20/25.30 c bounds 26614 >= 937 @ 22.522
25.20/25.33 c bounds 26514 >= 937 @ 22.5457
25.20/25.35 c bounds 26513 >= 937 @ 22.5694
25.20/25.39 c bounds 26413 >= 937 @ 22.6028
25.50/25.65 c bounds 26412 >= 937 @ 22.8631
25.69/25.80 c bounds 26411 >= 937 @ 23.0043
25.80/25.93 c bounds 26410 >= 937 @ 23.1306
26.00/26.15 c #Conflicts: 7000 | #Constraints: 31016
26.00/26.15 c bounds 26310 >= 937 @ 23.3447
27.29/27.49 c bounds 26310 >= 938 @ 24.6493
27.50/27.60 c #Conflicts: 8000 | #Constraints: 32032
27.50/27.60 c bounds 26309 >= 938 @ 24.7558
27.50/27.67 c bounds 26308 >= 938 @ 24.8191
27.69/27.86 c bounds 26307 >= 938 @ 25.0037
27.79/28.00 c bounds 26306 >= 938 @ 25.1393
28.00/28.17 c bounds 26206 >= 938 @ 25.3007
28.19/28.32 c bounds 26106 >= 938 @ 25.4413
28.29/28.47 c bounds 26006 >= 938 @ 25.5857
28.49/28.65 c bounds 25906 >= 938 @ 25.7591
28.79/28.90 c bounds 25905 >= 938 @ 25.9804
28.90/29.05 c bounds 25804 >= 938 @ 26.1188
29.19/29.33 c bounds 25703 >= 938 @ 26.3767
30.39/30.59 c #Conflicts: 9000 | #Constraints: 33043
30.39/30.59 c INPROCESSING
30.39/30.59 c GARBAGE COLLECT
30.39/30.59 c bounds 25702 >= 938 @ 27.6186
30.58/30.73 c bounds 25701 >= 938 @ 27.7419
30.68/30.84 c bounds 25601 >= 938 @ 27.8552
30.89/31.02 c bounds 25600 >= 938 @ 28.0255
30.99/31.13 c bounds 25599 >= 938 @ 28.1285
31.49/31.64 c bounds 25598 >= 938 @ 28.6251
31.88/32.01 c bounds 25498 >= 938 @ 28.9731
32.18/32.31 c #Conflicts: 10000 | #Constraints: 31750
32.18/32.31 c bounds 25397 >= 938 @ 29.2702
32.38/32.54 c bounds 25297 >= 938 @ 29.4925
32.58/32.73 c bounds 25197 >= 938 @ 29.6776
32.78/32.94 c bounds 25196 >= 938 @ 29.8694
44.25/44.94 c #Conflicts: 11000 | #Constraints: 32754
44.25/44.94 c #Conflicts: 12000 | #Constraints: 33754
44.25/44.94 c INPROCESSING
44.25/44.94 c GARBAGE COLLECT
44.25/44.94 c bounds 25195 >= 938 @ 41.2288
44.36/45.01 c bounds 25095 >= 938 @ 41.2948
44.36/45.07 c bounds 25094 >= 938 @ 41.3563
44.46/45.14 c bounds 24994 >= 938 @ 41.4217
44.55/45.21 c bounds 24893 >= 938 @ 41.4896
44.55/45.28 c bounds 24892 >= 938 @ 41.5555
44.65/45.38 c bounds 24792 >= 938 @ 41.6459
44.75/45.46 c bounds 24692 >= 938 @ 41.7212
44.85/45.56 c bounds 24691 >= 938 @ 41.8096
44.95/45.67 c bounds 24591 >= 938 @ 41.9184
45.05/45.79 c bounds 24590 >= 938 @ 42.0389
45.25/45.91 c bounds 24589 >= 938 @ 42.1481
45.36/46.03 c bounds 24489 >= 938 @ 42.264
45.45/46.14 c bounds 24389 >= 938 @ 42.3732
45.55/46.28 c bounds 24289 >= 938 @ 42.5041
45.75/46.40 c bounds 24189 >= 938 @ 42.6172
45.85/46.56 c bounds 24188 >= 938 @ 42.7732
45.95/46.68 c bounds 24187 >= 938 @ 42.8824
46.14/46.83 c bounds 24186 >= 938 @ 43.0258
46.25/46.95 c bounds 24185 >= 938 @ 43.1466
46.36/47.08 c bounds 24184 >= 938 @ 43.2685
46.55/47.24 c #Conflicts: 13000 | #Constraints: 32223
46.55/47.24 c bounds 24084 >= 938 @ 43.4193
46.64/47.39 c bounds 24083 >= 938 @ 43.5677
46.84/47.52 c bounds 24082 >= 938 @ 43.6879
46.94/47.67 c bounds 23982 >= 938 @ 43.8425
47.04/47.78 c bounds 23882 >= 938 @ 43.9459
47.24/47.90 c bounds 23782 >= 938 @ 44.0665
47.35/48.06 c bounds 23681 >= 938 @ 44.2184
47.44/48.17 c bounds 23580 >= 938 @ 44.3284
47.54/48.29 c bounds 23579 >= 938 @ 44.4359
47.64/48.39 c bounds 23478 >= 938 @ 44.5311
47.74/48.49 c bounds 23378 >= 938 @ 44.6291
47.84/48.59 c bounds 23377 >= 938 @ 44.7304
47.94/48.69 c bounds 23278 >= 938 @ 44.8241
48.14/48.84 c bounds 23277 >= 938 @ 44.9681
48.24/48.94 c bounds 23177 >= 938 @ 45.0624
48.35/49.03 c bounds 23077 >= 938 @ 45.1553
48.44/49.13 c bounds 22977 >= 938 @ 45.2395
48.64/49.34 c bounds 22877 >= 938 @ 45.4463
48.74/49.46 c bounds 22876 >= 938 @ 45.5581
48.84/49.56 c bounds 22875 >= 938 @ 45.6512
48.94/49.67 c bounds 22775 >= 938 @ 45.7498
49.03/49.80 c bounds 22774 >= 938 @ 45.8647
49.24/49.92 c bounds 22673 >= 938 @ 45.9879
49.35/50.07 c bounds 22672 >= 938 @ 46.1325
49.54/50.27 c bounds 22671 >= 938 @ 46.3186
49.73/50.41 c #Conflicts: 14000 | #Constraints: 33248
49.73/50.41 c bounds 22572 >= 938 @ 46.4508
49.94/50.70 c bounds 22471 >= 938 @ 46.6836
50.14/50.89 c bounds 22470 >= 938 @ 46.8696
50.44/51.11 c bounds 22370 >= 938 @ 47.0775
50.83/51.57 c bounds 22269 >= 938 @ 47.5321
52.93/53.66 c #Conflicts: 15000 | #Constraints: 34253
52.93/53.66 c INPROCESSING
52.93/53.66 c GARBAGE COLLECT
52.93/53.66 c bounds 22169 >= 938 @ 49.5842
53.03/53.80 c bounds 22168 >= 938 @ 49.7136
53.22/53.98 c bounds 22067 >= 938 @ 49.8896
53.53/54.25 c bounds 22066 >= 938 @ 50.1561
53.72/54.44 c bounds 22065 >= 938 @ 50.34
53.93/54.61 c bounds 21964 >= 938 @ 50.5077
54.02/54.79 c bounds 21963 >= 938 @ 50.6765
54.23/54.97 c bounds 21863 >= 938 @ 50.8544
54.52/55.27 c bounds 21862 >= 938 @ 51.1488
54.72/55.49 c #Conflicts: 16000 | #Constraints: 32433
54.72/55.49 c bounds 21861 >= 938 @ 51.3632
54.93/55.67 c bounds 21860 >= 938 @ 51.5456
55.33/56.01 c bounds 21760 >= 938 @ 51.867
55.83/56.52 c bounds 21759 >= 938 @ 52.3784
56.22/56.97 c bounds 21658 >= 938 @ 52.8121
56.52/57.28 c #Conflicts: 17000 | #Constraints: 33438
56.52/57.28 c bounds 21558 >= 938 @ 53.1196
58.01/58.71 c bounds 21457 >= 938 @ 54.5237
59.21/59.92 c #Conflicts: 18000 | #Constraints: 34440
59.21/59.92 c INPROCESSING
59.21/59.92 c GARBAGE COLLECT
59.21/59.92 c bounds 21456 >= 938 @ 55.7113
59.91/60.61 c bounds 21455 >= 938 @ 56.3924
63.70/64.45 c #Conflicts: 19000 | #Constraints: 32441
63.70/64.45 c #Conflicts: 20000 | #Constraints: 33441
63.70/64.45 c bounds 21455 >= 939 @ 60.125
63.90/64.61 c bounds 21454 >= 939 @ 60.2757
64.79/65.74 c #Conflicts: 21000 | #Constraints: 34472
64.79/65.74 c bounds 21354 >= 939 @ 61.18
74.17/75.15 c INPROCESSING
74.17/75.15 c GARBAGE COLLECT
74.17/75.15 c rational objective 939
74.36/75.37 c bounds 21254 >= 939 @ 70.7184
74.57/75.60 c bounds 21154 >= 939 @ 70.9414
74.87/75.83 c bounds 21054 >= 939 @ 71.17
78.76/79.79 c #Conflicts: 22000 | #Constraints: 32319
78.76/79.79 c #Conflicts: 23000 | #Constraints: 33319
78.76/79.79 c #Conflicts: 24000 | #Constraints: 34319
78.76/79.79 c bounds 21053 >= 939 @ 75.0641
80.95/81.92 c bounds 939 >= 939 @ 77.1199
80.95/81.92 c cpu time 77.1199 s
80.95/81.92 c deterministic time 2577063106 2.58e+09
80.95/81.92 c optimization time 1.876 s
80.95/81.92 c total solve time 75.1255 s
80.95/81.92 c core-guided solve time 28.7285 s
80.95/81.92 c propagation time 35.0332 s
80.95/81.92 c conflict analysis time 15.294 s
80.95/81.92 c propagations 9884005
80.95/81.92 c resolve steps 146763
80.95/81.92 c decisions 7752829
80.95/81.92 c conflicts 24715
80.95/81.92 c restarts 90
80.95/81.92 c inprocessing phases 8
80.95/81.92 c garbage collections 8 ,( 100.00 )
80.95/81.92 c input clauses 30654 ,( 91.18 )
80.95/81.92 c input cardinalities 1719 ,( 5.11 )
80.95/81.92 c input general constraints 1248 ,( 3.71 )
80.95/81.92 c input average constraint length 216.21
80.95/81.92 c input average constraint degree 1964.32
80.95/81.92 c learned clauses 6927 ,( 27.97 )
80.95/81.92 c learned cardinalities 417 ,( 1.68 )
80.95/81.92 c learned general constraints 17423 ,( 70.35 )
80.95/81.92 c learned average constraint length 3310.82
80.95/81.92 c learned average constraint degree 34529674.80
80.95/81.92 c watched CF 32, 64, 128, Arb: 960 , 0 , 0 , 0
80.95/81.92 c counting CF 32, 64, 128, Arb: 17712 , 0 , 0 , 0
80.95/81.92 c watched constraints 960 ,( 5.14 )
80.95/81.92 c counting constraints 17711 ,( 94.86 )
80.95/81.92 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 4111470 , 1797174 , 16653382 ,( 43512 , 16609870 )
80.95/81.92 c gcd simplifications 404
80.95/81.92 c detected cardinalities 0
80.95/81.92 c weakened non-implied lits 9153443
80.95/81.92 c weakened non-implying lits 2277
80.95/81.92 c original variables 13461
80.95/81.92 c clausal propagations 3254399
80.95/81.92 c cardinality propagations 2378988
80.95/81.92 c watched propagations 507
80.95/81.92 c counting propagations 2908348
80.95/81.92 c watch lookups 1410868987
80.95/81.92 c watch backjump lookups 0
80.95/81.92 c watch checks 36167595
80.95/81.92 c propagation checks 968558036
80.95/81.92 c constraint additions 126113660
80.95/81.92 c trail pops 17656347
80.95/81.92 c formula constraints 26667
80.95/81.92 c learned constraints 24749
80.95/81.92 c bound constraints 4938
80.95/81.92 c core-guided constraints 2016
80.95/81.92 c encountered formula constraints 27106
80.95/81.92 c encountered learned constraints 91613
80.95/81.92 c encountered bound constraints 176
80.95/81.92 c encountered core-guided constraints 52583
80.95/81.92 c LP total time 27.5543 s
80.95/81.92 c LP solve time 27.31 s
80.95/81.92 c LP constraints added 26667
80.95/81.92 c LP constraints removed 0
80.95/81.92 c LP pivots internal 25364
80.95/81.92 c LP pivots root 36282
80.95/81.92 c LP calls 8
80.95/81.92 c LP optimalities 3
80.95/81.92 c LP no pivot count 0
80.95/81.92 c LP infeasibilities 0
80.95/81.92 c LP valid Farkas constraints 0
80.95/81.92 c LP learned Farkas constraints 0
80.95/81.92 c LP basis resets 0
80.95/81.92 c LP cycling count 0
80.95/81.92 c LP singular count 0
80.95/81.92 c LP no primal count 0
80.95/81.92 c LP no farkas count 0
80.95/81.92 c LP other issue count 0
80.95/81.92 c LP Gomory cuts 18
80.95/81.92 c LP learned cuts 7
80.95/81.92 c LP deleted cuts 0
80.95/81.92 c LP encountered Gomory constraints 0
80.95/81.92 c LP encountered Farkas constraints 0
80.95/81.92 c LP encountered learned Farkas constraints 0
80.95/81.92 c CG auxiliary variables introduced 953
80.95/81.92 c CG solutions found 187
80.95/81.92 c CG cores constructed 845
80.95/81.92 c CG core cardinality constraints returned 443
80.95/81.92 c CG unit cores 0
80.95/81.92 c CG single cores 845
80.95/81.92 c CG blocks removed during cardinality reduction 0
80.95/81.92 c CG first core best 0
80.95/81.92 c CG decision core best 0
80.95/81.92 c CG core reduction tie 0
80.95/81.92 c CG core degree average 3.07
80.95/81.92 c CG core slack average 7.40
80.95/81.92 c CG core upper bound improvements 0
80.95/81.92 c STR number of successful calls 0
80.95/81.92 c STR number of unsuccessful calls 0
80.95/81.92 c STR number of inconclusive calls 0
80.95/81.92 c STR number of successful attempts 0
80.95/81.92 c STR number of unsuccessful attempts 0
80.95/81.92 c STR number of inconclusive attempts 0
80.95/81.92 c STR average degree increase per successful call inf
80.95/81.92 c STR average degree increase per successful attempt inf
80.95/81.92 c STR total number of conflicts for successful attempts 0
80.95/81.92 c STR total number of conflicts for unsuccessful attempts 0
80.95/81.92 c STR total number of conflicts for inconclusive attempts 0
80.95/81.92 c STR average number of conflicts per successful attempt inf
80.95/81.92 c STR average number of conflicts per unsuccessful attempt inf
80.95/81.92 c STR average number of conflicts per inconclusive attempt inf
80.95/81.92 c AVG.sumWPerc 84.92
80.95/81.92 c bigint constraints 0
80.95/81.92 o 939
80.95/81.92 s OPTIMUM FOUND
80.95/81.92 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 x77 -x78 -x79 -x80 x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 x295 -x296 -x297 x298 x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 x326 -x327 x328 -x329 x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 -x577 x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 -x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 x657 x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 -x778 -x779 -x780 -x781 -x782 x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 x841 -x842 x843 -x844 -x845 x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 x872 -x873 -x874 -x875 x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 x885 -x886 -x887 -x888 -x889 -x890 x891 x892 -x893 x894 -x895 x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 x965 -x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 x994 -x995 -x996 -x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 x1030 -x1031 -x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 -x1090 x1091 -x1092 x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 -x1182 -x1183 x1184 -x1185 -x1186 x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 x1230 x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1267 -x1268 x1269 -x1270 -x1271 -x1272 -x1273 x1274 -x1275 -x1276 -x1277 -x1278 x1279 -x1280 -x1281 -x1282 -x1283 x1284 -x1285 -x1286 -x1287 -x1288 -x1289 x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 x1297 -x1298 -x1299 -x1300 x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 x1394 -x1395 -x1396 -x1397 x1398 -x1399 -x1400 x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 x1492 -x1493 -x1494 -x1495 -x1496 x1497 -x1498 -x1499 -x1500 x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 x1566 -x1567 -x1568 -x1569 -x1570 x1571 -x1572 -x1573 -x1574 x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 x1586 -x1587 -x1588 -x1589 -x1590 x1591 -x1592 x1593 -x1594 -x1595 -x1596 x1597 -x1598 x1599 -x1600 -x1601 -x1602 x1603 -x1604 -x1605 -x1606 x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 x1615 -x1616 -x1617 -x1618 x1619 -x1620 x1621 -x1622 -x1623 -x1624 -x1625 x1626 x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 x1659 -x1660 x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 x1678 -x1679 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 x1715 -x1716 -x1717 x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 x1779 x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 x1816 x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 x1827 -x1828 x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 x1838 -x1839 -x1840 -x1841 -x1842 -x1843 x1844 -x1845 -x1846 -x1847 -x1848 x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 x1857 -x1858 x1859 -x1860 -x1861 -x1862 -x1863 -x1864 x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 x1873 -x1874 -x1875 x1876 -x1877 -x1878 -x1879 x1880 x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 x1895 -x1896 -x1897 -x1898 -x1899 x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 x1907 -x1908 -x1909 -x1910 -x1911 -x1912 x1913 -x1914 -x1915 -x1916 x1917 -x1918 -x1919 -x1920 -x1921 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 x1980 x1981 -x1982 x1983 -x1984 -x1985 x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 x2002 -x2003 -x2004 x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 x2101 x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 x2133 -x2134 -x2135 x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 x2145 -x2146 -x2147 -x2148 x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 x2185 -x2186 -x2187 -x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 x2212 -x2213 -x2214 -x2215 -x2216 x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 x2300 -x2301 -x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 x2435 -x2436 -x2437 -x2438 x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 x2458 x2459 -x2460 x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 x2488 -x2489 x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 x2551 x2552 -x2553 x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 x2590 -x2591 -x2592 -x2593 x2594 -x2595 x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 x2643 -x2644 x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 x2657 x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 x2688 -x2689 -x2690 -x2691 x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 x2707 -x2708 x2709 -x2710 -x2711 x2712 -x2713 -x2714 -x2715 -x2716 x2717 -x2718 x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 x2727 -x2728 -x2729 -x2730 x2731 -x2732 -x2733 -x2734 -x2735 x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 x2772 -x2773 x2774 -x2775 -x2776 -x2777 x2778 -x2779 -x2780 -x2781 -x2782 x2783 -x2784 -x2785 x2786 -x2787 -x2788 -x2789 -x2790 -x2791 x2792 x2793 -x2794 -x2795 x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 x2816 -x2817 -x2818 -x2819 x2820 -x2821 x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 x2848 -x2849 x2850 x2851 -x2852 -x2853 -x2854 -x2855 -x2856 x2857 -x2858 x2859 x2860 -x2861 x2862 -x2863 -x2864 -x2865 x2866 x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 x2905 -x2906 -x2907 x2908 -x2909 -x2910 x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 x3008 -x3009 x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 x3040 -x3041 -x3042 -x3043 x3044 -x3045 -x3046 x3047 -x3048 -x3049 -x3050 x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 x3107 x3108 -x3109 -x3110 -x3111 -x3112 x3113 -x3114 x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 x3140 -x3141 -x3142 -x3143 x3144 -x3145 -x3146 x3147 -x3148 -x3149 -x3150 -x3151 -x3152 x3153 x3154 x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 x3173 x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 x3219 -x3220 x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 x3229 -x3230 -x3231 -x3232 x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 x3302 -x3303 x3304 -x3305 -x3306 -x3307 x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 x3326 -x3327 -x3328 x3329 x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 x3387 -x3388 -x3389 -x3390 -x3391 x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 x3414 -x3415 -x3416 -x3417 -x3418 x3419 -x3420 -x3421 -x3422 -x3423 x3424 -x3425 x3426 -x3427 x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 x3524 -x3525 -x3526 -x3527 -x3528 x3529 -x3530 -x3531 x3532 -x3533 -x3534 x3535 -x3536 -x3537 x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 x3568 -x3569 -x3570 -x3571 -x3572 -x3573 x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 x3644 x3645 -x3646 x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 x3662 -x3663 x3664 -x3665 -x3666 -x3667 -x3668 -x3669 x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 x3801 x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 x3822 -x3823 x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 x3872 x3873 -x3874 -x3875 -x3876 -x3877 x3878 x3879 -x3880 -x3881 -x3882 -x3883 x3884 -x3885 -x3886 -x3887 x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 x4056 -x4057 x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 x4066 -x4067 -x4068 -x4069 x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 x4134 x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 x4163 x4164 -x4165 x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 x4265 x4266 -x4267 x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 x4275 -x4276 x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 x4286 -x4287 -x4288 -x4289 x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 x4297 -x4298 -x4299 x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 x4308 -x4309 -x4310 -x4311 -x4312 -x4313 x4314 -x4315 -x4316 -x4317 x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 x4355 -x4356 -x4357 -x4358 x4359 -x4360 x4361 x4362 -x4363 -x4364 -x4365 -x4366 x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 x4402 -x4403 -x4404 -x4405 -x4406 -x4407 x4408 -x4409 -x4410 x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 x4441 -x4442 -x4443 -x4444 -x4445 x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 x4474 -x4475 -x4476 -x4477 -x4478 x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 x4592 -x4593 x4594 x4595 -x4596 x4597 x4598 -x4599 -x4600 -x4601 -x4602 -x4603 x4604 -x4605 -x4606 -x4607 -x4608 x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 x4679 -x4680 x4681 -x4682 -x4683 x4684 -x4685 -x4686 -x4687 -x4688 x4689 -x4690 -x4691 -x4692 -x4693 x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 x4720 x4721 x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 x4745 -x4746 -x4747 -x4748 -x4749 -x4750 x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 x5013 -x5014 -x5015 -x5016 x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 x5053 x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 x5108 -x5109 -x5110 -x5111 x5112 -x5113 x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 x5129 -x5130 -x5131 x5132 -x5133 -x5134 x5135 -x5136 x5137 x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 x5154 -x5155 -x5156 x5157 -x5158 x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 x5169 x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 x5334 x5335 -x5336 -x5337 x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 x5349 -x5350 -x5351 -x5352 -x5353 -x5354 x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 x5374 -x5375 x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 x5401 -x5402 -x5403 -x5404 -x5405 x5406 -x5407 -x5408 x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 x5441 x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 x5496 -x5497 -x5498 -x5499 x5500 -x5501 -x5502 -x5503 x5504 -x5505 -x5506 x5507 -x5508 -x5509 -x5510 -x5511 -x5512 x5513 x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 x5572 -x5573 -x5574 x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 x5609 -x5610 x5611 x5612 -x5613 x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 x5703 -x5704 -x5705 -x5706 -x5707 -x5708 x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 x5738 x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 x5803 -x5804 x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 x5844 -x5845 -x5846 -x5847 x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 x5942 -x5943 -x5944 -x5945 x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 x5959 -x5960 x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 x5991 -x5992 -x5993 -x5994 -x5995 -x5996 x5997 -x5998 -x5999 x6000 -x6001 -x6002 -x6003 -x6004 x6005 -x6006 -x6007 -x6008 x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 x6018 -x6019 -x6020 -x6021 x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 x6072 -x6073 -x6074 -x6075 -x6076 x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 x6169 -x6170 x6171 -x6172 x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 x6200 -x6201 -x6202 -x6203 x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 x6262 x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 x6393 -x6394 -x6395 -x6396 -x6397 -x6398 x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 x6485 x6486 x6487 -x6488 -x6489 -x6490 x6491 -x6492 x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 x6538 -x6539 -x6540 -x6541 -x6542 -x6543 x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 x6746 -x6747 -x6748 -x6749 -x6750 -x6751 x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 x6847 -x6848 x6849 -x6850 -x6851 -x6852 -x6853 -x6854 x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 x6967 -x6968 -x6969 -x6970 -x6971 -x6972 x6973 -x6974 x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 x6986 -x6987 -x6988 -x6989 -x6990 x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 x6998 -x6999 x7000 x7001 x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 x7145 -x7146 -x7147 -x7148 -x7149 x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 x7185 -x7186 -x7187 -x7188 -x7189 x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 x7201 -x7202 -x7203 x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 x7290 -x7291 x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 x7329 -x7330 x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 x7344 -x7345 -x7346 x7347 x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 x7373 -x7374 -x7375 -x7376 x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 x7534 x7535 -x7536 x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 x7578 x7579 -x7580 x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 x7593 -x7594 -x7595 x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 x7651 -x7652 x7653 x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 x7665 -x7666 -x7667 x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 x7709 x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 x7738 -x7739 -x7740 -x7741 x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 x7839 -x7840 x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 x7849 x7850 -x7851 -x7852 -x7853 x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 x7893 -x7894 -x7895 x7896 -x7897 -x7898 -x7899 -x7900 x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 x7998 -x7999 x8000 -x8001 -x8002 x8003 -x8004 -x8005 -x8006 x8007 x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 x8070 -x8071 x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 x8080 x8081 x8082 -x8083 -x8084 -x8085 -x8086 -x8087 x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 x8120 -x8121 x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 x8130 -x8131 x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 x8170 -x8171 -x8172 x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 x8284 -x8285 -x8286 x8287 -x8288 -x8289 -x8290 -x8291 x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 x8319 -x8320 -x8321 -x8322 -x8323 x8324 -x8325 x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 x8348 -x8349 x8350 -x8351 x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405
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: 63708 MiB (23499 MiB free)
memory of node 1: 64465 MiB (62769 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484221-1751284563/watcher-4484221-1751284563 -o /tmp/evaluation-result-4484221-1751284563/solver-4484221-1751284563 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751280833-37683 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4484221-1751284563.opb PROOFDIR/proof-4484221-1751284563
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=38296, runsolver pid=38293
[startup+0.100058 s]*
/proc/loadavg: 4.10 4.11 4.09 5/273 38298
/proc/meminfo: memFree=88316184/131249996 swapFree=33010684/33010684
[pid=38296] ppid=38293 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/38296/stat : 38296 (run-opt-break-l) S 38293 38296 37671 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44133803 4292608 736 18446744073709551615 94195631882240 94195632776773 140729413916112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94195633015824 94195633063568 94195644596224 140729413921045 140729413921246 140729413921246 140729413926848 0
/proc/38296/statm: 1048 736 672 219 0 110 0
[pid=38298] ppid=38296 vsize=26828 memory=17504 CPUtime=0.08 cores=1,3
/proc/38298/stat : 38298 (pbsuma) R 38296 38296 37671 0 -1 4194304 4695 0 0 0 8 0 0 0 20 0 1 0 44133804 27471872 4376 18446744073709551615 4210688 4653049 140735483575680 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 19681280 140735483578595 140735483578930 140735483578930 140735483584495 0
/proc/38298/statm: 6707 4376 1024 108 0 4115 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 31020 KiB
Current children cumulated memory: 20448 KiB
[startup+0.205861 s]*
/proc/loadavg: 4.10 4.11 4.09 5/273 38299
/proc/meminfo: memFree=88312576/131249996 swapFree=33010684/33010684
[pid=38296] ppid=38293 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/38296/stat : 38296 (run-opt-break-l) S 38293 38296 37671 0 -1 4194304 242 6479 0 0 0 0 13 1 20 0 1 0 44133803 4292608 736 18446744073709551615 94195631882240 94195632776773 140729413916112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94195633015824 94195633063568 94195644596224 140729413921045 140729413921246 140729413921246 140729413926848 0
/proc/38296/statm: 1048 736 672 219 0 110 0
[pid=38299] ppid=38296 vsize=59112 memory=14348 CPUtime=0.03 cores=1,3
/proc/38299/stat : 38299 (roundingsat) R 38296 38296 37671 0 -1 4194304 1520 0 0 0 2 1 0 0 20 0 1 0 44133819 60530688 3587 18446744073709551615 4227072 8923433 140737141437472 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26677248 140737141438740 140737141439016 140737141439016 140737141444586 0
/proc/38299/statm: 14778 3587 1952 1147 0 2205 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 63304 KiB
Current children cumulated memory: 17292 KiB
[startup+0.305784 s]*
/proc/loadavg: 4.09 4.11 4.09 5/273 38299
/proc/meminfo: memFree=88312576/131249996 swapFree=33010684/33010684
[pid=38296] ppid=38293 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/38296/stat : 38296 (run-opt-break-l) S 38293 38296 37671 0 -1 4194304 242 6479 0 0 0 0 13 1 20 0 1 0 44133803 4292608 736 18446744073709551615 94195631882240 94195632776773 140729413916112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94195633015824 94195633063568 94195644596224 140729413921045 140729413921246 140729413921246 140729413926848 0
/proc/38296/statm: 1048 736 672 219 0 110 0
[pid=38299] ppid=38296 vsize=91156 memory=36896 CPUtime=0.13 cores=1,3
/proc/38299/stat : 38299 (roundingsat) R 38296 38296 37671 0 -1 4194304 5461 0 0 0 10 3 0 0 20 0 1 0 44133819 93343744 9224 18446744073709551615 4227072 8923433 140737141437472 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26677248 140737141438740 140737141439016 140737141439016 140737141444586 0
/proc/38299/statm: 22789 9224 2240 1147 0 10216 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 95348 KiB
Current children cumulated memory: 39840 KiB
[startup+0.70019 s]
/proc/loadavg: 4.09 4.11 4.09 5/273 38299
/proc/meminfo: memFree=88292604/131249996 swapFree=33010684/33010684
[pid=38296] ppid=38293 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/38296/stat : 38296 (run-opt-break-l) S 38293 38296 37671 0 -1 4194304 242 6479 0 0 0 0 13 1 20 0 1 0 44133803 4292608 736 18446744073709551615 94195631882240 94195632776773 140729413916112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94195633015824 94195633063568 94195644596224 140729413921045 140729413921246 140729413921246 140729413926848 0
/proc/38296/statm: 1048 736 672 219 0 110 0
[pid=38299] ppid=38296 vsize=104844 memory=59400 CPUtime=0.52 cores=1,3
/proc/38299/stat : 38299 (roundingsat) R 38296 38296 37671 0 -1 4194304 10801 0 0 0 45 7 0 0 20 0 1 0 44133819 107360256 14850 18446744073709551615 4227072 8923433 140737141437472 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26677248 140737141438740 140737141439016 140737141439016 140737141444586 0
/proc/38299/statm: 26211 14850 2368 1147 0 13638 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 109036 KiB
Current children cumulated memory: 62344 KiB
[startup+1.50018 s]
/proc/loadavg: 4.09 4.11 4.09 5/273 38299
/proc/meminfo: memFree=88265388/131249996 swapFree=33010684/33010684
[pid=38296] ppid=38293 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/38296/stat : 38296 (run-opt-break-l) S 38293 38296 37671 0 -1 4194304 242 6479 0 0 0 0 13 1 20 0 1 0 44133803 4292608 736 18446744073709551615 94195631882240 94195632776773 140729413916112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94195633015824 94195633063568 94195644596224 140729413921045 140729413921246 140729413921246 140729413926848 0
/proc/38296/statm: 1048 736 672 219 0 110 0
[pid=38299] ppid=38296 vsize=116244 memory=70224 CPUtime=1.32 cores=1,3
/proc/38299/stat : 38299 (roundingsat) R 38296 38296 37671 0 -1 4194304 12999 0 0 0 95 37 0 0 20 0 1 0 44133819 119033856 17556 18446744073709551615 4227072 8923433 140737141437472 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26677248 140737141438740 140737141439016 140737141439016 140737141444586 0
/proc/38299/statm: 29061 17556 2368 1147 0 16488 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 120436 KiB
Current children cumulated memory: 73168 KiB
[startup+3.10561 s]
/proc/loadavg: 4.09 4.11 4.09 5/273 38299
/proc/meminfo: memFree=88153132/131249996 swapFree=33010684/33010684
[pid=38296] ppid=38293 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/38296/stat : 38296 (run-opt-break-l) S 38293 38296 37671 0 -1 4194304 242 6479 0 0 0 0 13 1 20 0 1 0 44133803 4292608 736 18446744073709551615 94195631882240 94195632776773 140729413916112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94195633015824 94195633063568 94195644596224 140729413921045 140729413921246 140729413921246 140729413926848 0
/proc/38296/statm: 1048 736 672 219 0 110 0
[pid=38299] ppid=38296 vsize=181436 memory=117252 CPUtime=2.92 cores=1,3
/proc/38299/stat : 38299 (roundingsat) R 38296 38296 37671 0 -1 4194304 20750 0 0 0 195 97 0 0 20 0 1 0 44133819 185790464 29313 18446744073709551615 4227072 8923433 140737141437472 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26677248 140737141438740 140737141439016 140737141439016 140737141444586 0
/proc/38299/statm: 45359 29313 2368 1147 0 32786 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 185628 KiB
Current children cumulated memory: 120196 KiB
[startup+6.30019 s]
/proc/loadavg: 4.08 4.11 4.09 5/273 38299
/proc/meminfo: memFree=87955620/131249996 swapFree=33010684/33010684
[pid=38296] ppid=38293 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/38296/stat : 38296 (run-opt-break-l) S 38293 38296 37671 0 -1 4194304 242 6479 0 0 0 0 13 1 20 0 1 0 44133803 4292608 736 18446744073709551615 94195631882240 94195632776773 140729413916112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94195633015824 94195633063568 94195644596224 140729413921045 140729413921246 140729413921246 140729413926848 0
/proc/38296/statm: 1048 736 672 219 0 110 0
[pid=38299] ppid=38296 vsize=273940 memory=216960 CPUtime=6.11 cores=1,3
/proc/38299/stat : 38299 (roundingsat) R 38296 38296 37671 0 -1 4194304 37019 0 0 0 417 194 0 0 20 0 1 0 44133819 280514560 54240 18446744073709551615 4227072 8923433 140737141437472 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26677248 140737141438740 140737141439016 140737141439016 140737141444586 0
/proc/38299/statm: 68485 54240 2368 1147 0 55912 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 278132 KiB
Current children cumulated memory: 219904 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.11 4.09 5/273 38299
/proc/meminfo: memFree=87708240/131249996 swapFree=33010684/33010684
[pid=38296] ppid=38293 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/38296/stat : 38296 (run-opt-break-l) S 38293 38296 37671 0 -1 4194304 242 6479 0 0 0 0 13 1 20 0 1 0 44133803 4292608 736 18446744073709551615 94195631882240 94195632776773 140729413916112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94195633015824 94195633063568 94195644596224 140729413921045 140729413921246 140729413921246 140729413926848 0
/proc/38296/statm: 1048 736 672 219 0 110 0
[pid=38299] ppid=38296 vsize=398640 memory=317488 CPUtime=12.49 cores=1,3
/proc/38299/stat : 38299 (roundingsat) R 38296 38296 37671 0 -1 4194304 57460 0 0 0 1017 232 0 0 20 0 1 0 44133819 408207360 79372 18446744073709551615 4227072 8923433 140737141437472 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26677248 140737141438740 140737141439016 140737141439016 140737141444586 0
/proc/38299/statm: 99660 79372 2368 1147 0 87087 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 402832 KiB
Current children cumulated memory: 320432 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.12 4.09 5/273 38299
/proc/meminfo: memFree=87367584/131249996 swapFree=33010684/33010684
[pid=38296] ppid=38293 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/38296/stat : 38296 (run-opt-break-l) S 38293 38296 37671 0 -1 4194304 242 6479 0 0 0 0 13 1 20 0 1 0 44133803 4292608 736 18446744073709551615 94195631882240 94195632776773 140729413916112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94195633015824 94195633063568 94195644596224 140729413921045 140729413921246 140729413921246 140729413926848 0
/proc/38296/statm: 1048 736 672 219 0 110 0
[pid=38299] ppid=38296 vsize=406560 memory=324528 CPUtime=25.26 cores=1,3
/proc/38299/stat : 38299 (roundingsat) R 38296 38296 37671 0 -1 4194304 59222 0 0 0 2270 256 0 0 20 0 1 0 44133819 416317440 81132 18446744073709551615 4227072 8923433 140737141437472 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26677248 140737141438740 140737141439016 140737141439016 140737141444586 0
/proc/38299/statm: 101640 81132 2368 1147 0 89067 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 410752 KiB
Current children cumulated memory: 327472 KiB
[startup+51.1058 s]
/proc/loadavg: 4.16 4.12 4.09 5/276 38302
/proc/meminfo: memFree=86384600/131249996 swapFree=33010684/33010684
[pid=38296] ppid=38293 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/38296/stat : 38296 (run-opt-break-l) S 38293 38296 37671 0 -1 4194304 242 6479 0 0 0 0 13 1 20 0 1 0 44133803 4292608 736 18446744073709551615 94195631882240 94195632776773 140729413916112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94195633015824 94195633063568 94195644596224 140729413921045 140729413921246 140729413921246 140729413926848 0
/proc/38296/statm: 1048 736 672 219 0 110 0
[pid=38299] ppid=38296 vsize=748396 memory=607108 CPUtime=50.3 cores=1,3
/proc/38299/stat : 38299 (roundingsat) R 38296 38296 37671 0 -1 4194304 123218 0 0 0 4707 323 0 0 20 0 1 0 44133819 766357504 151777 18446744073709551615 4227072 8923433 140737141437472 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26677248 140737141438740 140737141439016 140737141439016 140737141444586 0
/proc/38299/statm: 187099 151777 2368 1147 0 174526 0
Current children cumulated CPU time: 50.44 s
Current children cumulated vsize: 752588 KiB
Current children cumulated memory: 610052 KiB
[startup+82.0001 s]
# the end of solver process 38296 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=77.2637 s, system=3.76735 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2003 s]
/proc/loadavg: 4.16 4.12 4.09 5/276 38302
/proc/meminfo: memFree=86384600/131249996 swapFree=33010684/33010684
[pid=38296] ppid=38293 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/38296/stat : 38296 (run-opt-break-l) S 38293 38296 37671 0 -1 4194304 242 6479 0 0 0 0 13 1 20 0 1 0 44133803 4292608 736 18446744073709551615 94195631882240 94195632776773 140729413916112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94195633015824 94195633063568 94195644596224 140729413921045 140729413921246 140729413921246 140729413926848 0
/proc/38296/statm: 1048 736 672 219 0 110 0
[pid=38299] ppid=38296 vsize=748972 memory=611128 CPUtime=50.4 cores=1,3
/proc/38299/stat : 38299 (roundingsat) R 38296 38296 37671 0 -1 4194304 123714 0 0 0 4716 324 0 0 20 0 1 0 44133819 766947328 152782 18446744073709551615 4227072 8923433 140737141437472 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26677248 140737141438740 140737141439016 140737141439016 140737141444586 0
/proc/38299/statm: 187243 152782 2368 1147 0 174670 0
Current children cumulated CPU time: 50.54 s
Current children cumulated vsize: 753164 KiB
Current children cumulated memory: 614072 KiB
[startup+64.0002 s]*
/proc/loadavg: 4.14 4.12 4.09 5/276 38304
/proc/meminfo: memFree=85870356/131249996 swapFree=33010684/33010684
[pid=38296] ppid=38293 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/38296/stat : 38296 (run-opt-break-l) S 38293 38296 37671 0 -1 4194304 242 6479 0 0 0 0 13 1 20 0 1 0 44133803 4292608 736 18446744073709551615 94195631882240 94195632776773 140729413916112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94195633015824 94195633063568 94195644596224 140729413921045 140729413921246 140729413921246 140729413926848 0
/proc/38296/statm: 1048 736 672 219 0 110 0
[pid=38299] ppid=38296 vsize=837280 memory=654544 CPUtime=63.17 cores=1,3
/proc/38299/stat : 38299 (roundingsat) R 38296 38296 37671 0 -1 4194304 131515 0 0 0 5969 348 0 0 20 0 1 0 44133819 857374720 163636 18446744073709551615 4227072 8923433 140737141437472 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26677248 140737141438740 140737141439016 140737141439016 140737141444586 0
/proc/38299/statm: 209320 163636 2368 1147 0 196747 0
Current children cumulated CPU time: 63.31 s
Current children cumulated vsize: 841472 KiB
Current children cumulated memory: 657488 KiB
[startup+70.4002 s]
/proc/loadavg: 4.13 4.12 4.09 5/276 38304
/proc/meminfo: memFree=85710084/131249996 swapFree=33010684/33010684
[pid=38296] ppid=38293 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/38296/stat : 38296 (run-opt-break-l) S 38293 38296 37671 0 -1 4194304 242 6479 0 0 0 0 13 1 20 0 1 0 44133803 4292608 736 18446744073709551615 94195631882240 94195632776773 140729413916112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94195633015824 94195633063568 94195644596224 140729413921045 140729413921246 140729413921246 140729413926848 0
/proc/38296/statm: 1048 736 672 219 0 110 0
[pid=38299] ppid=38296 vsize=838256 memory=655184 CPUtime=69.34 cores=1,3
/proc/38299/stat : 38299 (roundingsat) R 38296 38296 37671 0 -1 4194304 131680 0 0 0 6579 355 0 0 20 0 1 0 44133819 858374144 163796 18446744073709551615 4227072 8923433 140737141437472 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26677248 140737141438740 140737141439016 140737141439016 140737141444586 0
/proc/38299/statm: 209564 163796 2368 1147 0 196991 0
Current children cumulated CPU time: 69.48 s
Current children cumulated vsize: 842448 KiB
Current children cumulated memory: 658128 KiB
[startup+76.8002 s]
/proc/loadavg: 4.18 4.13 4.10 5/276 38304
/proc/meminfo: memFree=85578404/131249996 swapFree=33010684/33010684
[pid=38296] ppid=38293 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/38296/stat : 38296 (run-opt-break-l) S 38293 38296 37671 0 -1 4194304 242 6479 0 0 0 0 13 1 20 0 1 0 44133803 4292608 736 18446744073709551615 94195631882240 94195632776773 140729413916112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94195633015824 94195633063568 94195644596224 140729413921045 140729413921246 140729413921246 140729413926848 0
/proc/38296/statm: 1048 736 672 219 0 110 0
[pid=38299] ppid=38296 vsize=838536 memory=655568 CPUtime=75.73 cores=1,3
/proc/38299/stat : 38299 (roundingsat) R 38296 38296 37671 0 -1 4194304 131758 0 0 0 7212 361 0 0 20 0 1 0 44133819 858660864 163892 18446744073709551615 4227072 8923433 140737141437472 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26677248 140737141438740 140737141439016 140737141439016 140737141444586 0
/proc/38299/statm: 209634 163892 2368 1147 0 197061 0
Current children cumulated CPU time: 75.87 s
Current children cumulated vsize: 842728 KiB
Current children cumulated memory: 658512 KiB
[startup+80.0002 s]*
/proc/loadavg: 4.18 4.13 4.10 5/276 38304
/proc/meminfo: memFree=85481648/131249996 swapFree=33010684/33010684
[pid=38296] ppid=38293 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/38296/stat : 38296 (run-opt-break-l) S 38293 38296 37671 0 -1 4194304 242 6479 0 0 0 0 13 1 20 0 1 0 44133803 4292608 736 18446744073709551615 94195631882240 94195632776773 140729413916112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94195633015824 94195633063568 94195644596224 140729413921045 140729413921246 140729413921246 140729413926848 0
/proc/38296/statm: 1048 736 672 219 0 110 0
[pid=38299] ppid=38296 vsize=838536 memory=655696 CPUtime=78.92 cores=1,3
/proc/38299/stat : 38299 (roundingsat) R 38296 38296 37671 0 -1 4194304 131795 0 0 0 7526 366 0 0 20 0 1 0 44133819 858660864 163924 18446744073709551615 4227072 8923433 140737141437472 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26677248 140737141438740 140737141439016 140737141439016 140737141444586 0
/proc/38299/statm: 209634 163924 2368 1147 0 197061 0
Current children cumulated CPU time: 79.06 s
Current children cumulated vsize: 842728 KiB
Current children cumulated memory: 658640 KiB
[startup+80.8002 s]
/proc/loadavg: 4.18 4.13 4.10 5/276 38304
/proc/meminfo: memFree=85481648/131249996 swapFree=33010684/33010684
[pid=38296] ppid=38293 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/38296/stat : 38296 (run-opt-break-l) S 38293 38296 37671 0 -1 4194304 242 6479 0 0 0 0 13 1 20 0 1 0 44133803 4292608 736 18446744073709551615 94195631882240 94195632776773 140729413916112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94195633015824 94195633063568 94195644596224 140729413921045 140729413921246 140729413921246 140729413926848 0
/proc/38296/statm: 1048 736 672 219 0 110 0
[pid=38299] ppid=38296 vsize=838536 memory=655696 CPUtime=79.71 cores=1,3
/proc/38299/stat : 38299 (roundingsat) R 38296 38296 37671 0 -1 4194304 131795 0 0 0 7602 369 0 0 20 0 1 0 44133819 858660864 163924 18446744073709551615 4227072 8923433 140737141437472 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26677248 140737141438740 140737141439016 140737141439016 140737141444586 0
/proc/38299/statm: 209634 163924 2368 1147 0 197061 0
Current children cumulated CPU time: 79.85 s
Current children cumulated vsize: 842728 KiB
Current children cumulated memory: 658640 KiB
[startup+81.6002 s]
/proc/loadavg: 4.17 4.13 4.09 5/276 38304
/proc/meminfo: memFree=85457456/131249996 swapFree=33010684/33010684
[pid=38296] ppid=38293 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/38296/stat : 38296 (run-opt-break-l) S 38293 38296 37671 0 -1 4194304 242 6479 0 0 0 0 13 1 20 0 1 0 44133803 4292608 736 18446744073709551615 94195631882240 94195632776773 140729413916112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94195633015824 94195633063568 94195644596224 140729413921045 140729413921246 140729413921246 140729413926848 0
/proc/38296/statm: 1048 736 672 219 0 110 0
[pid=38299] ppid=38296 vsize=838536 memory=655696 CPUtime=80.51 cores=1,3
/proc/38299/stat : 38299 (roundingsat) R 38296 38296 37671 0 -1 4194304 131795 0 0 0 7680 371 0 0 20 0 1 0 44133819 858660864 163924 18446744073709551615 4227072 8923433 140737141437472 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26677248 140737141438740 140737141439016 140737141439016 140737141444586 0
/proc/38299/statm: 209634 163924 2368 1147 0 197061 0
Current children cumulated CPU time: 80.65 s
Current children cumulated vsize: 842728 KiB
Current children cumulated memory: 658640 KiB
[startup+81.8002 s]
/proc/loadavg: 4.17 4.13 4.09 5/276 38304
/proc/meminfo: memFree=85457456/131249996 swapFree=33010684/33010684
[pid=38296] ppid=38293 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/38296/stat : 38296 (run-opt-break-l) S 38293 38296 37671 0 -1 4194304 242 6479 0 0 0 0 13 1 20 0 1 0 44133803 4292608 736 18446744073709551615 94195631882240 94195632776773 140729413916112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94195633015824 94195633063568 94195644596224 140729413921045 140729413921246 140729413921246 140729413926848 0
/proc/38296/statm: 1048 736 672 219 0 110 0
[pid=38299] ppid=38296 vsize=838536 memory=655696 CPUtime=80.71 cores=1,3
/proc/38299/stat : 38299 (roundingsat) R 38296 38296 37671 0 -1 4194304 131795 0 0 0 7700 371 0 0 20 0 1 0 44133819 858660864 163924 18446744073709551615 4227072 8923433 140737141437472 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26677248 140737141438740 140737141439016 140737141439016 140737141444586 0
/proc/38299/statm: 209634 163924 2368 1147 0 197061 0
Current children cumulated CPU time: 80.85 s
Current children cumulated vsize: 842728 KiB
Current children cumulated memory: 658640 KiB
[startup+81.9002 s]
/proc/loadavg: 4.17 4.13 4.09 5/276 38304
/proc/meminfo: memFree=85457456/131249996 swapFree=33010684/33010684
[pid=38296] ppid=38293 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/38296/stat : 38296 (run-opt-break-l) S 38293 38296 37671 0 -1 4194304 242 6479 0 0 0 0 13 1 20 0 1 0 44133803 4292608 736 18446744073709551615 94195631882240 94195632776773 140729413916112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94195633015824 94195633063568 94195644596224 140729413921045 140729413921246 140729413921246 140729413926848 0
/proc/38296/statm: 1048 736 672 219 0 110 0
[pid=38299] ppid=38296 vsize=838536 memory=655696 CPUtime=80.81 cores=1,3
/proc/38299/stat : 38299 (roundingsat) R 38296 38296 37671 0 -1 4194304 131798 0 0 0 7709 372 0 0 20 0 1 0 44133819 858660864 163924 18446744073709551615 4227072 8923433 140737141437472 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26677248 140737141438740 140737141439016 140737141439016 140737141444586 0
/proc/38299/statm: 209634 163924 2368 1147 0 197061 0
Current children cumulated CPU time: 80.95 s
Current children cumulated vsize: 842728 KiB
Current children cumulated memory: 658640 KiB
Child status: 0
Real time (s): 82.0001
CPU time (s): 81.0311
CPU user time (s): 77.2637
CPU system time (s): 3.76735
CPU usage (%): 98.8182
Max. virtual memory (cumulated for all children) (KiB): 842728
Max. memory (cumulated for all children) (KiB): 658640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 77.2637
system time used= 3.76735
maximum resident set size= 655696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138552
page faults= 0
swaps= 0
block input operations= 0
block output operations= 763944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 751
involuntary context switches= 250
# summary of solver processes directly reported to runsolver:
# pid: 38296
# total CPU time (s): 81.0311
# total CPU user time (s): 77.2637
# total CPU system time (s): 3.76735
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.16578 second user time and 0.435135 second system time
The end
Begin job on nodeC015 at 2025-06-30 13:56:03
IDJOB=4484221
IDBENCH=146652
IDSOLVER=3360
FILE ID=nodeC015/4484221-1751284563
RUNJOBID= nodeC015-1751280833-37683
SLURM_JOB_ID= 9594231
Free space on /tmp= 432980 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484221-1751284563/watcher-4484221-1751284563 -o /tmp/evaluation-result-4484221-1751284563/solver-4484221-1751284563 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751280833-37683 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4484221-1751284563.opb PROOFDIR/proof-4484221-1751284563
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b97b9bf3767749854a32fccedb37d823
RANDOM SEED=201094528
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3600.075
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3600.845
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3597.475
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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.056
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3600.071
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3600.097
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3471.314
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3601.129
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 88339384 kB
MemAvailable: 126708064 kB
Buffers: 3280 kB
Cached: 39128280 kB
SwapCached: 0 kB
Active: 3353900 kB
Inactive: 38871668 kB
Active(anon): 3112156 kB
Inactive(anon): 0 kB
Active(file): 241744 kB
Inactive(file): 38871668 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 557532 kB
Writeback: 0 kB
AnonPages: 3094160 kB
Mapped: 117608 kB
Shmem: 18076 kB
KReclaimable: 189012 kB
Slab: 295244 kB
SReclaimable: 189012 kB
SUnreclaim: 106232 kB
KernelStack: 4400 kB
PageTables: 9500 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 3747984 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1509376 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432972 MiB
End job on nodeC015 at 2025-06-30 13:57:25