0.00/0.05 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.05 c │ pbsuma -- a PB interface for satsuma │
0.00/0.05 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.05 c │ (c) 2025 Markus Anders │
0.00/0.05 c └────────────────────────────────────────────────────────────────┘
0.00/0.05 c parse 'HOME/instance-4532431-1752584603.opb'
0.00/0.06 c read 0.55MB (7.79ms)
0.00/0.06 c [cnf: #variables 8405 #clauses 10668 #duplicates 0 #arr 51941]
0.00/0.06 c output proof to 'PROOFDIR/proof-4532431-1752584603'
0.00/0.06 c
0.00/0.06 c make graph and approximate orbits
0.00/0.07 c [group: #orbits ~= 2572] (12.89ms)
0.00/0.07 c
0.00/0.07 c detect special group actions
0.00/0.07 c probe for Johnson action (limit=64)
0.00/0.07 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.08 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.08 c found row 6x48, generating row predicate
0.00/0.08 c found row 5x48, generating row predicate
0.00/0.08 c found row 3x48, generating row predicate
0.04/0.10 c found row 26x48, generating row predicate
0.04/0.11 c found row 7x48, generating row predicate
0.04/0.11 c found row 3x48, generating row predicate
0.04/0.11 c found row 3x48, generating row predicate
0.04/0.11 c found row 6x48, generating row predicate
0.04/0.12 c found row 6x48, generating row predicate
0.04/0.12 c found row 3x48, generating row predicate
0.04/0.12 c found row 5x48, generating row predicate
0.04/0.13 c found row 12x48, generating row predicate
0.04/0.13 c found row 3x48, generating row predicate
0.04/0.13 c found row 3x48, generating row predicate
0.04/0.13 c found row 3x48, generating row predicate
0.04/0.14 c found row 3x48, generating row predicate
0.04/0.14 c found row 4x48, generating row predicate
0.04/0.14 c found row 4x48, generating row predicate
0.04/0.14 c found row 5x48, generating row predicate
0.04/0.14 c (70.92ms)
0.04/0.14 c
0.04/0.14 c detect symmetries on remainder
0.04/0.14 c [graph: #vertices 47967 #edges 161670]
0.04/0.14 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.04/0.16 c [group: #symmetries 8.35*10^12 #generators 40] (13.34ms)
0.04/0.16 c
0.04/0.16 c optimize generators (opt_passes=64, conjugate_limit=256)
0.04/0.16 c ran it=0, +gens=1
0.04/0.17 c con best_support=56, best_gens=1, +gens=0
0.04/0.17 c (10.94ms)
0.04/0.17 c
0.04/0.17 c finalize break order and special generators
0.04/0.17 c
0.04/0.17 c add generic predicates (break_depth=20)
0.04/0.17 c added predicates for 41 generators (0.08ms)
0.04/0.19 c
0.04/0.19 c generation finished
0.04/0.19 c [sbp: #constraints 15300 #add_vars 5056]
0.04/0.19 c
0.04/0.19 c write result to 'HOME/instance-4532431-1752584603.opb.pre'
0.04/0.19 c wrote 1.12MB (2.58ms)
0.04/0.19 c ------------------------------------------------------------------
0.04/0.19 c 70.92ms 50.45% detect_special
0.04/0.19 c 21.65ms 15.40% other
0.04/0.19 c 13.34ms 9.49% detect_generic
0.04/0.19 c 12.89ms 9.17% approx_orbits
0.04/0.19 c 10.94ms 7.78% optimize_gens
0.04/0.19 c 7.79ms 5.54% parse
0.04/0.19 c 2.58ms 1.84% output
0.04/0.19 c 0.39ms 0.28% finalize_order
0.04/0.19 c 0.08ms 0.05% break_generic
0.04/0.19 c ───────────────────────────────────────────────
0.04/0.19 c 140.57ms 100% total
0.04/0.19 c ------------------------------------------------------------------
0.13/0.23 c RoundingSat 2
0.13/0.23 c branch pb25
0.13/0.23 c commit 0f876b3
0.20/0.39 c #variables 13461 #constraints 26667
0.20/0.39 c objective is ce32
0.20/0.39 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.20/0.39 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.20/0.39 c bounds - >= -3212 @ 0.118708
0.59/0.73 c bounds 30989 >= -3212 @ 0.435176
0.59/0.73 c bounds 30989 >= -2445 @ 0.440189
0.59/0.74 c bounds 30989 >= -2345 @ 0.441427
0.59/0.74 c bounds 30989 >= -2245 @ 0.443585
0.59/0.74 c bounds 30989 >= -2145 @ 0.44577
0.59/0.75 c bounds 30989 >= -2045 @ 0.447993
0.59/0.75 c bounds 30989 >= -2044 @ 0.450261
0.59/0.75 c bounds 30989 >= -2043 @ 0.452599
0.59/0.76 c bounds 30989 >= -2042 @ 0.4548
0.59/0.76 c bounds 30989 >= -2041 @ 0.457014
0.59/0.76 c bounds 30989 >= -2040 @ 0.459234
0.59/0.77 c bounds 30989 >= -2039 @ 0.462469
0.59/0.77 c bounds 30989 >= -2038 @ 0.464704
0.59/0.77 c bounds 30989 >= -2037 @ 0.466994
0.59/0.78 c bounds 30989 >= -2036 @ 0.470216
0.59/0.78 c bounds 30989 >= -2035 @ 0.47345
0.59/0.78 c bounds 30989 >= -2034 @ 0.475692
0.59/0.79 c bounds 30989 >= -2033 @ 0.478934
0.59/0.79 c bounds 30989 >= -2032 @ 0.481173
0.59/0.79 c bounds 30989 >= -2031 @ 0.483516
0.69/0.80 c bounds 30989 >= -2030 @ 0.485905
0.69/0.80 c bounds 30989 >= -2029 @ 0.488385
0.69/0.80 c bounds 30989 >= -2028 @ 0.491761
0.69/0.81 c bounds 30989 >= -2027 @ 0.494161
0.69/0.81 c bounds 30989 >= -1927 @ 0.497501
0.69/0.82 c bounds 30989 >= -1827 @ 0.500532
0.69/0.82 c bounds 30989 >= -1727 @ 0.501661
0.69/0.83 c bounds 30989 >= -1627 @ 0.503594
0.69/0.83 c bounds 30989 >= -1626 @ 0.504659
0.69/0.84 c bounds 30989 >= -1622 @ 0.507858
0.69/0.84 c bounds 30989 >= -1619 @ 0.510122
0.69/0.85 c bounds 30989 >= -1618 @ 0.512346
0.69/0.85 c bounds 30989 >= -1617 @ 0.516574
0.69/0.86 c bounds 30989 >= -1616 @ 0.519897
0.69/0.86 c bounds 30989 >= -1609 @ 0.522078
0.69/0.87 c bounds 30989 >= -1602 @ 0.525395
0.69/0.87 c bounds 30989 >= -1595 @ 0.526872
0.69/0.88 c bounds 30989 >= -1588 @ 0.530076
0.69/0.88 c bounds 30989 >= -1587 @ 0.532218
0.69/0.89 c bounds 30989 >= -1586 @ 0.535454
0.79/0.90 c bounds 30989 >= -1579 @ 0.539687
0.79/0.90 c bounds 30989 >= -1578 @ 0.542026
0.79/0.91 c bounds 30989 >= -1577 @ 0.546154
0.79/0.91 c bounds 30989 >= -1575 @ 0.54943
0.79/0.92 c bounds 30989 >= -1574 @ 0.551782
0.79/0.92 c bounds 30989 >= -1573 @ 0.554976
0.79/0.93 c bounds 30989 >= -1568 @ 0.558224
0.79/0.93 c bounds 30989 >= -1565 @ 0.560912
0.79/0.94 c bounds 30989 >= -1564 @ 0.565022
0.79/0.94 c bounds 30989 >= -1559 @ 0.567303
0.79/0.95 c bounds 30989 >= -1552 @ 0.570695
0.79/0.95 c bounds 30989 >= -1547 @ 0.572843
0.79/0.96 c bounds 30989 >= -1540 @ 0.575107
0.79/0.96 c bounds 30989 >= -1539 @ 0.578481
0.79/0.97 c bounds 30989 >= -1538 @ 0.580689
0.79/0.97 c bounds 30989 >= -1537 @ 0.582873
0.79/0.98 c bounds 30989 >= -1536 @ 0.585092
0.79/0.99 c bounds 30989 >= -1531 @ 0.589299
0.79/0.99 c bounds 30989 >= -1526 @ 0.591643
0.79/1.00 c bounds 30989 >= -1519 @ 0.595838
0.89/1.00 c bounds 30989 >= -1518 @ 0.599089
0.89/1.01 c bounds 30989 >= -1516 @ 0.602356
0.89/1.01 c bounds 30989 >= -1513 @ 0.604669
0.89/1.02 c bounds 30989 >= -1510 @ 0.606914
0.89/1.02 c bounds 30989 >= -1509 @ 0.609299
0.89/1.03 c bounds 30989 >= -1504 @ 0.613462
0.89/1.04 c bounds 30888 >= -1504 @ 0.62547
0.89/1.05 c bounds 30888 >= -1503 @ 0.630037
0.89/1.05 c bounds 30888 >= -1501 @ 0.633223
0.89/1.06 c bounds 30888 >= -1494 @ 0.635425
0.89/1.06 c bounds 30888 >= -1493 @ 0.638706
0.89/1.07 c bounds 30888 >= -1490 @ 0.643898
0.89/1.07 c bounds 30888 >= -1489 @ 0.647111
0.89/1.08 c bounds 30888 >= -1485 @ 0.651459
0.89/1.08 c bounds 30888 >= -1480 @ 0.653631
0.89/1.09 c bounds 30888 >= -1476 @ 0.65771
0.89/1.09 c bounds 30888 >= -1475 @ 0.659921
0.89/1.10 c bounds 30888 >= -1473 @ 0.66407
0.99/1.11 c bounds 30788 >= -1473 @ 0.668717
0.99/1.11 c bounds 30788 >= -1472 @ 0.67227
0.99/1.12 c bounds 30788 >= -1468 @ 0.675423
0.99/1.12 c bounds 30788 >= -1466 @ 0.679502
0.99/1.13 c bounds 30788 >= -1465 @ 0.682732
0.99/1.14 c bounds 30788 >= -1460 @ 0.685959
0.99/1.14 c bounds 30788 >= -1458 @ 0.689337
0.99/1.15 c bounds 30788 >= -1457 @ 0.693518
0.99/1.15 c bounds 30788 >= -1451 @ 0.696802
0.99/1.16 c bounds 30788 >= -1450 @ 0.700192
0.99/1.16 c bounds 30788 >= -1445 @ 0.702367
0.99/1.17 c bounds 30688 >= -1445 @ 0.708128
0.99/1.18 c bounds 30688 >= -1438 @ 0.712475
0.99/1.18 c bounds 30688 >= -1437 @ 0.713921
0.99/1.19 c bounds 30688 >= -1432 @ 0.7161
0.99/1.19 c bounds 30688 >= -1427 @ 0.720255
1.09/1.20 c bounds 30688 >= -1426 @ 0.722398
1.09/1.20 c bounds 30688 >= -1419 @ 0.725696
1.09/1.21 c bounds 30688 >= -1412 @ 0.729043
1.09/1.21 c bounds 30688 >= -1407 @ 0.732178
1.09/1.22 c bounds 30688 >= -1406 @ 0.734397
1.09/1.23 c bounds 30688 >= -1405 @ 0.735775
1.09/1.24 c bounds 30588 >= -1405 @ 0.741621
1.09/1.24 c bounds 30588 >= -1404 @ 0.745042
1.09/1.25 c bounds 30588 >= -1403 @ 0.748255
1.09/1.25 c bounds 30588 >= -1396 @ 0.750724
1.09/1.26 c bounds 30588 >= -1395 @ 0.75387
1.09/1.26 c bounds 30588 >= -1394 @ 0.756007
1.09/1.27 c bounds 30588 >= -1387 @ 0.759193
1.09/1.27 c bounds 30588 >= -1386 @ 0.760887
1.09/1.28 c bounds 30588 >= -1379 @ 0.763035
1.09/1.28 c bounds 30588 >= -1378 @ 0.765233
1.09/1.29 c bounds 30588 >= -1377 @ 0.767587
1.09/1.29 c bounds 30588 >= -1376 @ 0.771703
1.18/1.30 c bounds 30488 >= -1376 @ 0.777473
1.18/1.31 c bounds 30488 >= -1375 @ 0.78195
1.18/1.32 c bounds 30488 >= -1374 @ 0.784174
1.18/1.32 c bounds 30488 >= -1373 @ 0.787512
1.18/1.33 c bounds 30488 >= -1372 @ 0.791443
1.18/1.33 c bounds 30488 >= -1366 @ 0.794593
1.18/1.34 c bounds 30488 >= -1362 @ 0.797785
1.18/1.34 c bounds 30488 >= -1359 @ 0.800979
1.18/1.35 c bounds 30488 >= -1353 @ 0.803142
1.18/1.35 c bounds 30488 >= -1352 @ 0.804487
1.18/1.36 c bounds 30488 >= -1345 @ 0.807594
1.18/1.37 c bounds 30388 >= -1345 @ 0.811508
1.18/1.37 c bounds 30388 >= -1338 @ 0.81579
1.18/1.38 c bounds 30388 >= -1335 @ 0.817919
1.18/1.38 c bounds 30388 >= -1328 @ 0.822087
1.18/1.39 c bounds 30388 >= -1325 @ 0.825455
1.18/1.39 c bounds 30388 >= -1318 @ 0.828543
1.29/1.40 c bounds 30388 >= -1315 @ 0.829755
1.29/1.40 c bounds 30388 >= -1309 @ 0.8339
1.29/1.41 c bounds 30388 >= -1302 @ 0.837359
1.29/1.41 c bounds 30388 >= -1297 @ 0.840375
1.29/1.42 c bounds 30388 >= -1292 @ 0.843622
1.29/1.42 c bounds 30388 >= -1291 @ 0.845773
1.29/1.43 c bounds 30288 >= -1291 @ 0.851474
1.29/1.44 c bounds 30288 >= -1284 @ 0.853762
1.29/1.45 c bounds 30288 >= -1281 @ 0.855914
1.29/1.45 c bounds 30288 >= -1279 @ 0.859197
1.29/1.46 c bounds 30288 >= -1277 @ 0.861472
1.29/1.46 c bounds 30288 >= -1275 @ 0.863577
1.29/1.47 c bounds 30288 >= -1273 @ 0.867643
1.29/1.47 c bounds 30288 >= -1271 @ 0.87009
1.29/1.48 c bounds 30288 >= -1268 @ 0.87249
1.29/1.48 c bounds 30288 >= -1267 @ 0.8759
1.29/1.49 c bounds 30288 >= -1262 @ 0.878027
1.38/1.50 c bounds 30287 >= -1262 @ 0.886385
1.38/1.50 c bounds 30287 >= -1261 @ 0.889954
1.38/1.51 c bounds 30287 >= -1254 @ 0.892972
1.38/1.51 c bounds 30287 >= -1251 @ 0.896118
1.38/1.52 c bounds 30287 >= -1250 @ 0.899294
1.38/1.52 c bounds 30287 >= -1243 @ 0.901467
1.38/1.53 c bounds 30287 >= -1241 @ 0.90385
1.38/1.53 c bounds 30287 >= -1240 @ 0.906986
1.38/1.54 c bounds 30287 >= -1234 @ 0.91103
1.38/1.55 c bounds 30287 >= -1233 @ 0.914276
1.38/1.55 c bounds 30287 >= -1231 @ 0.915461
1.38/1.56 c bounds 30287 >= -1227 @ 0.91966
1.38/1.57 c bounds 30286 >= -1227 @ 0.927403
1.38/1.57 c bounds 30286 >= -1223 @ 0.930907
1.38/1.58 c bounds 30286 >= -1220 @ 0.933025
1.38/1.58 c bounds 30286 >= -1217 @ 0.937177
1.38/1.59 c bounds 30286 >= -1211 @ 0.940602
1.38/1.59 c bounds 30286 >= -1208 @ 0.942724
1.48/1.60 c bounds 30286 >= -1201 @ 0.945734
1.48/1.60 c bounds 30286 >= -1195 @ 0.949006
1.48/1.61 c bounds 30286 >= -1193 @ 0.95409
1.48/1.61 c bounds 30286 >= -1188 @ 0.958242
1.48/1.62 c bounds 30286 >= -1186 @ 0.962459
1.48/1.62 c bounds 30286 >= -1185 @ 0.967614
1.48/1.63 c bounds 30285 >= -1185 @ 0.972846
1.48/1.64 c bounds 30285 >= -1184 @ 0.97543
1.48/1.64 c bounds 30285 >= -1183 @ 0.980337
1.48/1.65 c bounds 30285 >= -1177 @ 0.983564
1.48/1.66 c bounds 30285 >= -1176 @ 0.98678
1.48/1.66 c bounds 30285 >= -1172 @ 0.990895
1.48/1.67 c bounds 30285 >= -1169 @ 0.993311
1.48/1.67 c bounds 30285 >= -1162 @ 0.995466
1.48/1.68 c bounds 30285 >= -1161 @ 0.996592
1.48/1.68 c bounds 30285 >= -1154 @ 0.999706
1.48/1.69 c bounds 30285 >= -1148 @ 1.00288
1.48/1.69 c bounds 30285 >= -1145 @ 1.007
1.59/1.70 c bounds 30284 >= -1145 @ 1.0131
1.59/1.71 c bounds 30284 >= -1142 @ 1.0156
1.59/1.71 c bounds 30284 >= -1139 @ 1.0187
1.59/1.72 c bounds 30284 >= -1135 @ 1.02187
1.59/1.72 c bounds 30284 >= -1134 @ 1.02424
1.59/1.73 c bounds 30284 >= -1127 @ 1.02829
1.59/1.73 c bounds 30284 >= -1122 @ 1.03077
1.59/1.74 c bounds 30284 >= -1115 @ 1.03414
1.59/1.74 c bounds 30284 >= -1108 @ 1.03622
1.59/1.75 c bounds 30284 >= -1103 @ 1.03924
1.59/1.75 c bounds 30284 >= -1096 @ 1.04334
1.59/1.77 c bounds 30183 >= -1096 @ 1.05164
1.59/1.77 c bounds 30183 >= -1090 @ 1.05518
1.59/1.78 c bounds 30183 >= -1089 @ 1.05724
1.59/1.78 c bounds 30183 >= -1082 @ 1.05941
1.59/1.79 c bounds 30183 >= -1081 @ 1.0625
1.59/1.79 c bounds 30183 >= -1073 @ 1.06587
1.68/1.80 c bounds 30183 >= -1066 @ 1.06878
1.68/1.80 c bounds 30183 >= -1061 @ 1.07096
1.68/1.81 c bounds 30183 >= -1060 @ 1.07312
1.68/1.81 c bounds 30183 >= -1058 @ 1.07622
1.68/1.82 c bounds 30183 >= -1057 @ 1.07928
1.68/1.82 c bounds 30183 >= -1056 @ 1.08234
1.68/1.86 c bounds 30182 >= -1056 @ 1.1198
1.68/1.87 c bounds 30182 >= -1052 @ 1.12248
1.68/1.88 c bounds 30182 >= -1048 @ 1.12619
1.68/1.88 c bounds 30182 >= -1041 @ 1.12964
1.68/1.89 c bounds 30182 >= -1040 @ 1.13175
1.68/1.89 c bounds 30182 >= -1033 @ 1.13473
1.78/1.90 c bounds 30182 >= -1028 @ 1.13688
1.78/1.90 c bounds 30182 >= -1027 @ 1.13898
1.78/1.91 c bounds 30182 >= -1026 @ 1.14105
1.78/1.91 c bounds 30182 >= -1025 @ 1.1461
1.78/1.92 c bounds 30182 >= -1024 @ 1.14823
1.78/1.92 c bounds 30182 >= -1023 @ 1.15259
1.78/1.93 c bounds 30182 >= -1022 @ 1.15467
1.78/1.93 c bounds 30182 >= -1017 @ 1.15781
1.78/1.94 c bounds 30182 >= -1016 @ 1.16182
1.78/1.94 c bounds 30182 >= -1015 @ 1.16492
1.78/1.95 c bounds 30182 >= -1014 @ 1.16906
1.78/1.95 c bounds 30182 >= -1013 @ 1.17157
1.78/1.96 c bounds 30182 >= -1012 @ 1.17552
1.78/1.96 c bounds 30182 >= -1011 @ 1.17875
1.78/1.97 c bounds 30182 >= -1010 @ 1.18086
1.78/1.97 c bounds 30182 >= -1009 @ 1.18494
1.78/1.98 c bounds 30182 >= -1008 @ 1.18707
1.78/1.98 c bounds 30182 >= -1007 @ 1.18945
1.88/2.02 c bounds 30181 >= -1007 @ 1.22503
1.88/2.03 c bounds 30181 >= -1006 @ 1.22919
1.88/2.03 c bounds 30181 >= -1005 @ 1.23321
1.88/2.04 c bounds 30181 >= -1004 @ 1.23521
1.88/2.04 c bounds 30181 >= -999 @ 1.23832
1.88/2.05 c bounds 30181 >= -998 @ 1.2424
1.88/2.05 c bounds 30181 >= -995 @ 1.24457
1.88/2.06 c bounds 30181 >= -991 @ 1.24672
1.88/2.06 c bounds 30181 >= -987 @ 1.24906
1.88/2.07 c bounds 30181 >= -986 @ 1.25114
1.88/2.07 c bounds 30181 >= -982 @ 1.25602
1.88/2.08 c bounds 30181 >= -979 @ 1.26013
1.88/2.08 c bounds 30181 >= -978 @ 1.26327
1.88/2.09 c bounds 30181 >= -977 @ 1.26831
1.88/2.10 c bounds 30181 >= -976 @ 1.27241
1.88/2.10 c bounds 30181 >= -970 @ 1.27459
1.98/2.11 c bounds 30181 >= -967 @ 1.27666
1.98/2.11 c bounds 30181 >= -966 @ 1.28099
1.98/2.12 c bounds 30181 >= -961 @ 1.28307
1.98/2.12 c bounds 30181 >= -960 @ 1.28711
1.98/2.13 c bounds 30181 >= -955 @ 1.28921
1.98/2.13 c bounds 30181 >= -950 @ 1.2923
1.98/2.14 c bounds 30181 >= -949 @ 1.29542
1.98/2.14 c bounds 30181 >= -948 @ 1.29954
1.98/2.15 c bounds 30181 >= -947 @ 1.30187
1.98/2.15 c bounds 30181 >= -946 @ 1.30395
1.98/2.16 c bounds 30181 >= -945 @ 1.30696
1.98/2.16 c bounds 30181 >= -944 @ 1.30997
1.98/2.17 c bounds 30181 >= -943 @ 1.31209
1.98/2.17 c bounds 30181 >= -942 @ 1.31426
1.98/2.18 c bounds 30181 >= -941 @ 1.31731
1.98/2.18 c bounds 30181 >= -940 @ 1.32047
1.98/2.19 c bounds 30181 >= -939 @ 1.32349
1.98/2.19 c bounds 30181 >= -935 @ 1.32762
2.08/2.20 c bounds 30181 >= -934 @ 1.32986
2.08/2.23 c bounds 30180 >= -934 @ 1.35672
2.08/2.24 c bounds 30180 >= -930 @ 1.36008
2.08/2.24 c bounds 30180 >= -925 @ 1.362
2.08/2.25 c bounds 30180 >= -922 @ 1.36517
2.08/2.25 c bounds 30180 >= -919 @ 1.36763
2.08/2.26 c bounds 30180 >= -914 @ 1.36979
2.08/2.26 c bounds 30180 >= -911 @ 1.37292
2.08/2.27 c bounds 30180 >= -907 @ 1.37597
2.08/2.27 c bounds 30180 >= -902 @ 1.37819
2.08/2.28 c bounds 30180 >= -899 @ 1.38054
2.08/2.28 c bounds 30180 >= -894 @ 1.38162
2.08/2.29 c bounds 30180 >= -890 @ 1.38452
2.08/2.29 c bounds 30180 >= -886 @ 1.38663
2.17/2.30 c bounds 30180 >= -883 @ 1.38978
2.17/2.30 c bounds 30180 >= -879 @ 1.3929
2.17/2.31 c bounds 30180 >= -874 @ 1.39696
2.17/2.32 c bounds 30180 >= -873 @ 1.39911
2.17/2.32 c bounds 30180 >= -872 @ 1.40218
2.17/2.33 c bounds 30180 >= -871 @ 1.40453
2.17/2.33 c bounds 30180 >= -870 @ 1.4074
2.17/2.34 c bounds 30180 >= -869 @ 1.41054
2.17/2.34 c bounds 30180 >= -864 @ 1.41272
2.17/2.35 c bounds 30180 >= -857 @ 1.41676
2.17/2.35 c bounds 30180 >= -853 @ 1.42046
2.17/2.36 c bounds 30180 >= -850 @ 1.42249
2.17/2.36 c bounds 30180 >= -849 @ 1.42465
2.17/2.37 c bounds 30180 >= -843 @ 1.42576
2.17/2.37 c bounds 30180 >= -841 @ 1.42884
2.17/2.38 c bounds 30180 >= -840 @ 1.43201
2.17/2.38 c bounds 30180 >= -835 @ 1.43535
2.17/2.39 c bounds 30180 >= -832 @ 1.4384
2.17/2.39 c bounds 30180 >= -830 @ 1.44133
2.28/2.40 c bounds 30180 >= -828 @ 1.44353
2.28/2.40 c bounds 30180 >= -823 @ 1.44653
2.28/2.41 c bounds 30180 >= -821 @ 1.44864
2.28/2.41 c bounds 30180 >= -818 @ 1.4508
2.28/2.42 c bounds 30180 >= -816 @ 1.45277
2.28/2.42 c bounds 30180 >= -812 @ 1.45587
2.28/2.43 c bounds 30180 >= -808 @ 1.4582
2.28/2.46 c bounds 30079 >= -808 @ 1.49159
2.28/2.47 c bounds 30079 >= -804 @ 1.4937
2.28/2.48 c bounds 30079 >= -799 @ 1.49674
2.28/2.48 c bounds 30079 >= -797 @ 1.50006
2.28/2.49 c bounds 30079 >= -794 @ 1.50312
2.28/2.49 c bounds 30079 >= -791 @ 1.50514
2.37/2.50 c bounds 30079 >= -788 @ 1.50808
2.37/2.50 c bounds 30079 >= -784 @ 1.51126
2.37/2.51 c bounds 30079 >= -780 @ 1.51624
2.37/2.51 c bounds 30079 >= -775 @ 1.51896
2.37/2.52 c bounds 30079 >= -771 @ 1.52276
2.37/2.52 c bounds 30079 >= -769 @ 1.52601
2.37/2.53 c bounds 30079 >= -766 @ 1.53089
2.37/2.53 c bounds 30079 >= -764 @ 1.53299
2.37/2.54 c bounds 30079 >= -762 @ 1.53615
2.37/2.54 c bounds 30079 >= -760 @ 1.54009
2.37/2.55 c bounds 30079 >= -757 @ 1.54417
2.37/2.55 c bounds 30079 >= -755 @ 1.54823
2.37/2.56 c bounds 30079 >= -752 @ 1.55131
2.37/2.56 c bounds 30079 >= -748 @ 1.55336
2.37/2.57 c bounds 30079 >= -745 @ 1.55548
2.37/2.57 c bounds 30079 >= -742 @ 1.5588
2.37/2.58 c bounds 30079 >= -740 @ 1.56084
2.37/2.58 c bounds 30079 >= -736 @ 1.56288
2.37/2.59 c bounds 30079 >= -733 @ 1.56587
2.37/2.59 c bounds 30079 >= -729 @ 1.56886
2.48/2.60 c bounds 30079 >= -727 @ 1.57185
2.48/2.60 c bounds 30079 >= -725 @ 1.575
2.48/2.61 c bounds 30079 >= -720 @ 1.57891
2.48/2.61 c bounds 30079 >= -719 @ 1.58108
2.48/2.62 c bounds 30079 >= -718 @ 1.58311
2.48/2.62 c bounds 30079 >= -717 @ 1.58613
2.48/2.63 c bounds 30079 >= -716 @ 1.58815
2.48/2.63 c bounds 30079 >= -715 @ 1.59116
2.48/2.64 c bounds 30079 >= -714 @ 1.5942
2.48/2.64 c bounds 30079 >= -713 @ 1.5973
2.48/2.65 c bounds 30079 >= -711 @ 1.60033
2.48/2.65 c bounds 30079 >= -710 @ 1.60237
2.48/2.66 c bounds 30079 >= -709 @ 1.60539
2.48/2.66 c bounds 30079 >= -708 @ 1.6087
2.48/2.67 c bounds 30079 >= -707 @ 1.6117
2.58/2.71 c bounds 30078 >= -707 @ 1.6497
2.58/2.72 c bounds 30078 >= -706 @ 1.65322
2.58/2.72 c bounds 30078 >= -705 @ 1.65552
2.58/2.73 c bounds 30078 >= -704 @ 1.65754
2.58/2.73 c bounds 30078 >= -703 @ 1.66052
2.58/2.74 c bounds 30078 >= -702 @ 1.66267
2.58/2.74 c bounds 30078 >= -701 @ 1.66561
2.58/2.75 c bounds 30078 >= -699 @ 1.66766
2.58/2.75 c bounds 30078 >= -697 @ 1.66981
2.58/2.76 c bounds 30078 >= -696 @ 1.6738
2.58/2.77 c bounds 30078 >= -695 @ 1.67691
2.58/2.77 c bounds 30078 >= -693 @ 1.67936
2.58/2.78 c bounds 30078 >= -691 @ 1.6814
2.58/2.78 c bounds 30078 >= -690 @ 1.68422
2.58/2.79 c bounds 30078 >= -688 @ 1.68826
2.58/2.79 c bounds 30078 >= -686 @ 1.69041
2.68/2.80 c bounds 30078 >= -684 @ 1.6934
2.68/2.80 c bounds 30078 >= -682 @ 1.69654
2.68/2.81 c bounds 30078 >= -680 @ 1.70052
2.68/2.81 c bounds 30078 >= -678 @ 1.70265
2.68/2.82 c bounds 30078 >= -677 @ 1.70469
2.68/2.82 c bounds 30078 >= -675 @ 1.70867
2.68/2.83 c bounds 30078 >= -674 @ 1.71074
2.68/2.83 c bounds 30078 >= -670 @ 1.71278
2.68/2.84 c bounds 30078 >= -669 @ 1.71583
2.68/2.84 c bounds 30078 >= -668 @ 1.71989
2.68/2.85 c bounds 30078 >= -667 @ 1.72146
2.68/2.85 c bounds 30078 >= -666 @ 1.72443
2.68/2.86 c bounds 30078 >= -665 @ 1.72656
2.68/2.86 c bounds 30078 >= -664 @ 1.72954
2.68/2.87 c bounds 30078 >= -663 @ 1.73358
2.68/2.87 c bounds 30078 >= -662 @ 1.73565
2.77/2.91 c bounds 30077 >= -662 @ 1.77021
2.77/2.92 c bounds 30077 >= -661 @ 1.77407
2.77/2.92 c bounds 30077 >= -660 @ 1.77707
2.77/2.93 c bounds 30077 >= -657 @ 1.7791
2.77/2.93 c bounds 30077 >= -656 @ 1.78306
2.77/2.94 c bounds 30077 >= -654 @ 1.78603
2.77/2.94 c bounds 30077 >= -653 @ 1.78822
2.77/2.95 c bounds 30077 >= -652 @ 1.7912
2.77/2.95 c bounds 30077 >= -651 @ 1.7942
2.77/2.96 c bounds 30077 >= -650 @ 1.79732
2.77/2.96 c bounds 30077 >= -649 @ 1.8013
2.77/2.97 c bounds 30077 >= -648 @ 1.8034
2.77/2.97 c bounds 30077 >= -647 @ 1.80545
2.77/2.98 c bounds 30077 >= -646 @ 1.81049
2.77/2.98 c bounds 30077 >= -645 @ 1.81287
2.77/2.99 c bounds 30077 >= -644 @ 1.81492
2.77/2.99 c bounds 30077 >= -643 @ 1.81692
2.77/3.00 c bounds 30077 >= -642 @ 1.82082
2.88/3.00 c bounds 30077 >= -641 @ 1.82405
2.88/3.01 c bounds 30077 >= -640 @ 1.82701
2.88/3.01 c bounds 30077 >= -639 @ 1.83114
2.88/3.02 c bounds 30077 >= -638 @ 1.83319
2.88/3.02 c bounds 30077 >= -637 @ 1.83722
2.88/3.03 c bounds 30077 >= -636 @ 1.83933
2.88/3.03 c bounds 30077 >= -635 @ 1.84236
2.88/3.04 c bounds 30077 >= -634 @ 1.8447
2.88/3.04 c bounds 30077 >= -633 @ 1.84673
2.88/3.05 c bounds 30077 >= -632 @ 1.84961
2.88/3.05 c bounds 30077 >= -631 @ 1.85171
2.88/3.06 c bounds 30077 >= -630 @ 1.85585
2.88/3.06 c bounds 30077 >= -629 @ 1.85894
2.88/3.07 c bounds 30077 >= -628 @ 1.86098
2.88/3.07 c bounds 30077 >= -627 @ 1.86304
2.88/3.08 c bounds 30077 >= -626 @ 1.86519
2.88/3.08 c bounds 30077 >= -625 @ 1.86821
2.88/3.09 c bounds 30077 >= -624 @ 1.86955
2.88/3.09 c bounds 30077 >= -623 @ 1.8716
2.98/3.13 c bounds 29977 >= -623 @ 1.90732
2.98/3.14 c bounds 29977 >= -622 @ 1.91105
2.98/3.14 c bounds 29977 >= -621 @ 1.91441
2.98/3.15 c bounds 29977 >= -620 @ 1.91648
2.98/3.15 c bounds 29977 >= -619 @ 1.91847
2.98/3.16 c bounds 29977 >= -618 @ 1.92281
2.98/3.16 c bounds 29977 >= -617 @ 1.9268
2.98/3.17 c bounds 29977 >= -616 @ 1.92988
2.98/3.17 c bounds 29977 >= -615 @ 1.93198
2.98/3.18 c bounds 29977 >= -614 @ 1.93401
2.98/3.18 c bounds 29977 >= -613 @ 1.93635
2.98/3.19 c bounds 29977 >= -612 @ 1.94012
2.98/3.19 c bounds 29977 >= -611 @ 1.94237
3.07/3.20 c bounds 29977 >= -610 @ 1.94435
3.07/3.20 c bounds 29977 >= -609 @ 1.94735
3.07/3.21 c bounds 29977 >= -608 @ 1.95049
3.07/3.21 c bounds 29977 >= -607 @ 1.95347
3.07/3.22 c bounds 29977 >= -606 @ 1.95559
3.07/3.22 c bounds 29977 >= -605 @ 1.95853
3.07/3.23 c bounds 29977 >= -604 @ 1.96064
3.07/3.24 c bounds 29977 >= -603 @ 1.96466
3.07/3.24 c bounds 29977 >= -602 @ 1.96867
3.07/3.25 c bounds 29977 >= -601 @ 1.97172
3.07/3.25 c bounds 29977 >= -600 @ 1.97283
3.07/3.26 c bounds 29977 >= -599 @ 1.97585
3.07/3.26 c bounds 29977 >= -598 @ 1.97818
3.07/3.27 c bounds 29977 >= -597 @ 1.98198
3.07/3.27 c bounds 29977 >= -596 @ 1.98622
3.07/3.28 c bounds 29977 >= -595 @ 1.99013
3.07/3.28 c bounds 29977 >= -593 @ 1.99419
3.07/3.29 c bounds 29977 >= -592 @ 1.99834
3.07/3.29 c bounds 29977 >= -588 @ 2.00133
3.18/3.30 c bounds 29977 >= -585 @ 2.00246
3.18/3.30 c bounds 29977 >= -583 @ 2.00364
3.18/3.31 c bounds 29977 >= -581 @ 2.00752
3.18/3.38 c bounds 29976 >= -581 @ 2.06336
3.18/3.38 c bounds 29976 >= -578 @ 2.0672
3.18/3.39 c bounds 29976 >= -576 @ 2.06924
3.18/3.39 c bounds 29976 >= -573 @ 2.07223
3.27/3.40 c bounds 29976 >= -565 @ 2.07431
3.27/3.40 c bounds 29976 >= -563 @ 2.07778
3.27/3.41 c bounds 29976 >= -562 @ 2.07983
3.27/3.41 c bounds 29976 >= -553 @ 2.08265
3.27/3.42 c bounds 29976 >= -552 @ 2.0858
3.27/3.42 c bounds 29976 >= -548 @ 2.0878
3.27/3.43 c bounds 29976 >= -547 @ 2.09086
3.27/3.43 c bounds 29976 >= -539 @ 2.09396
3.27/3.44 c bounds 29976 >= -531 @ 2.09696
3.27/3.44 c bounds 29976 >= -525 @ 2.09999
3.27/3.45 c bounds 29976 >= -514 @ 2.10213
3.27/3.45 c bounds 29976 >= -510 @ 2.10515
3.27/3.46 c bounds 29976 >= -507 @ 2.10825
3.27/3.46 c bounds 29976 >= -502 @ 2.11022
3.27/3.47 c bounds 29976 >= -499 @ 2.11326
3.27/3.47 c bounds 29976 >= -495 @ 2.11539
3.27/3.48 c bounds 29976 >= -492 @ 2.11835
3.27/3.48 c bounds 29976 >= -489 @ 2.12136
3.27/3.49 c bounds 29976 >= -485 @ 2.12369
3.27/3.49 c bounds 29976 >= -483 @ 2.12696
3.37/3.50 c bounds 29976 >= -476 @ 2.12889
3.37/3.50 c bounds 29976 >= -472 @ 2.13101
3.37/3.51 c bounds 29976 >= -464 @ 2.13304
3.37/3.51 c bounds 29976 >= -459 @ 2.13698
3.37/3.52 c bounds 29976 >= -458 @ 2.14008
3.37/3.52 c bounds 29976 >= -452 @ 2.1421
3.37/3.53 c bounds 29976 >= -448 @ 2.14512
3.37/3.53 c bounds 29976 >= -443 @ 2.14715
3.37/3.54 c bounds 29976 >= -439 @ 2.15018
3.37/3.54 c bounds 29976 >= -432 @ 2.15323
3.37/3.55 c bounds 29976 >= -431 @ 2.15525
3.37/3.55 c bounds 29976 >= -426 @ 2.15927
3.37/3.56 c bounds 29976 >= -422 @ 2.1633
3.37/3.56 c bounds 29976 >= -410 @ 2.16767
3.37/3.57 c bounds 29976 >= -405 @ 2.16962
3.37/3.57 c bounds 29976 >= -403 @ 2.17262
3.37/3.58 c bounds 29976 >= -402 @ 2.17561
3.37/3.58 c bounds 29976 >= -398 @ 2.17778
3.37/3.59 c bounds 29976 >= -394 @ 2.17977
3.37/3.59 c bounds 29976 >= -390 @ 2.18282
3.47/3.60 c bounds 29976 >= -389 @ 2.18593
3.47/3.60 c bounds 29976 >= -382 @ 2.18889
3.47/3.61 c bounds 29976 >= -381 @ 2.19094
3.47/3.61 c bounds 29976 >= -380 @ 2.19393
3.47/3.62 c bounds 29976 >= -371 @ 2.19694
3.47/3.62 c bounds 29976 >= -365 @ 2.20094
3.47/3.63 c bounds 29976 >= -363 @ 2.20491
3.47/3.63 c bounds 29976 >= -361 @ 2.20792
3.47/3.64 c bounds 29976 >= -357 @ 2.20998
3.47/3.64 c bounds 29976 >= -354 @ 2.21297
3.47/3.65 c bounds 29976 >= -350 @ 2.21507
3.47/3.65 c bounds 29976 >= -347 @ 2.21711
3.47/3.66 c bounds 29976 >= -346 @ 2.2211
3.47/3.66 c bounds 29976 >= -339 @ 2.22512
3.47/3.67 c bounds 29976 >= -335 @ 2.22945
3.47/3.67 c bounds 29976 >= -330 @ 2.23422
3.47/3.68 c bounds 29976 >= -327 @ 2.23725
3.47/3.68 c bounds 29976 >= -322 @ 2.24069
3.47/3.69 c bounds 29976 >= -315 @ 2.24286
3.47/3.70 c bounds 29976 >= -310 @ 2.24487
3.57/3.70 c bounds 29976 >= -306 @ 2.24791
3.57/3.71 c bounds 29976 >= -299 @ 2.24992
3.57/3.71 c bounds 29976 >= -289 @ 2.25294
3.57/3.72 c bounds 29976 >= -281 @ 2.25599
3.57/3.72 c bounds 29976 >= -269 @ 2.25802
3.57/3.73 c bounds 29976 >= -265 @ 2.26085
3.57/3.73 c bounds 29976 >= -258 @ 2.26202
3.57/3.74 c bounds 29976 >= -255 @ 2.26499
3.57/3.74 c bounds 29976 >= -251 @ 2.26798
3.57/3.75 c bounds 29976 >= -248 @ 2.272
3.57/3.79 c bounds 29975 >= -248 @ 2.31049
3.57/3.79 c bounds 29975 >= -238 @ 2.31441
3.67/3.80 c bounds 29975 >= -234 @ 2.31929
3.67/3.80 c bounds 29975 >= -227 @ 2.32334
3.67/3.81 c bounds 29975 >= -217 @ 2.32561
3.67/3.81 c bounds 29975 >= -210 @ 2.32871
3.67/3.82 c bounds 29975 >= -207 @ 2.33166
3.67/3.82 c bounds 29975 >= -200 @ 2.33325
3.67/3.83 c bounds 29975 >= -196 @ 2.3353
3.67/3.83 c bounds 29975 >= -185 @ 2.33969
3.67/3.84 c bounds 29975 >= -178 @ 2.34178
3.67/3.84 c bounds 29975 >= -175 @ 2.34383
3.67/3.85 c bounds 29975 >= -172 @ 2.34685
3.67/3.85 c bounds 29975 >= -171 @ 2.34914
3.67/3.86 c bounds 29975 >= -170 @ 2.35212
3.67/3.86 c bounds 29975 >= -159 @ 2.35611
3.67/3.87 c bounds 29975 >= -152 @ 2.35909
3.67/3.87 c bounds 29975 >= -146 @ 2.36308
3.67/3.88 c bounds 29975 >= -145 @ 2.36508
3.67/3.88 c bounds 29975 >= -138 @ 2.36978
3.67/3.89 c bounds 29975 >= -129 @ 2.37208
3.67/3.89 c bounds 29975 >= -119 @ 2.37407
3.77/3.90 c bounds 29975 >= -109 @ 2.37806
3.77/3.90 c bounds 29975 >= -100 @ 2.38004
3.77/3.91 c bounds 29975 >= -93 @ 2.38203
3.77/3.91 c bounds 29975 >= -83 @ 2.38404
3.77/3.92 c bounds 29975 >= -78 @ 2.38677
3.77/3.92 c bounds 29975 >= -75 @ 2.38904
3.77/3.93 c bounds 29975 >= -69 @ 2.39107
3.77/3.93 c bounds 29975 >= -63 @ 2.39317
3.77/3.94 c bounds 29975 >= -58 @ 2.39508
3.77/3.94 c bounds 29975 >= -52 @ 2.39914
3.77/3.95 c bounds 29975 >= -42 @ 2.40227
3.77/3.95 c bounds 29975 >= -36 @ 2.4043
3.77/3.96 c bounds 29975 >= -27 @ 2.40735
3.77/3.97 c bounds 29975 >= -20 @ 2.41041
3.77/3.97 c bounds 29975 >= -17 @ 2.41239
3.77/3.98 c bounds 29975 >= -11 @ 2.41636
3.77/3.98 c bounds 29975 >= -5 @ 2.41835
3.77/3.99 c bounds 29975 >= 5 @ 2.42035
3.77/3.99 c bounds 29975 >= 11 @ 2.42424
3.77/3.99 c bounds 29975 >= 17 @ 2.4273
3.88/4.00 c bounds 29975 >= 23 @ 2.43121
3.88/4.00 c bounds 29975 >= 26 @ 2.43419
3.88/4.01 c bounds 29975 >= 35 @ 2.43627
3.88/4.05 c bounds 29974 >= 35 @ 2.47587
3.88/4.06 c bounds 29974 >= 36 @ 2.47941
3.88/4.06 c bounds 29974 >= 42 @ 2.48338
3.88/4.07 c bounds 29974 >= 45 @ 2.48536
3.88/4.07 c bounds 29974 >= 50 @ 2.48733
3.88/4.08 c bounds 29974 >= 55 @ 2.48925
3.88/4.08 c bounds 29974 >= 58 @ 2.49223
3.88/4.09 c bounds 29974 >= 59 @ 2.49521
3.88/4.09 c bounds 29974 >= 64 @ 2.49624
3.88/4.10 c bounds 29974 >= 66 @ 2.49836
3.98/4.10 c bounds 29974 >= 72 @ 2.50233
3.98/4.11 c bounds 29974 >= 74 @ 2.50517
3.98/4.11 c bounds 29974 >= 77 @ 2.50538
3.98/4.12 c bounds 29974 >= 80 @ 2.50829
3.98/4.12 c bounds 29974 >= 81 @ 2.51122
3.98/4.13 c bounds 29974 >= 88 @ 2.5132
3.98/4.13 c bounds 29974 >= 94 @ 2.51517
3.98/4.14 c bounds 29974 >= 97 @ 2.51916
3.98/4.14 c bounds 29974 >= 107 @ 2.52122
3.98/4.15 c bounds 29974 >= 117 @ 2.52513
3.98/4.15 c bounds 29974 >= 123 @ 2.52711
3.98/4.16 c bounds 29974 >= 128 @ 2.53007
3.98/4.16 c bounds 29974 >= 129 @ 2.533
3.98/4.17 c bounds 29974 >= 139 @ 2.53699
3.98/4.17 c bounds 29974 >= 141 @ 2.54059
3.98/4.18 c bounds 29974 >= 151 @ 2.54157
3.98/4.18 c bounds 29974 >= 161 @ 2.54451
3.98/4.19 c bounds 29974 >= 165 @ 2.54721
3.98/4.19 c bounds 29974 >= 169 @ 2.55017
4.07/4.20 c bounds 29974 >= 174 @ 2.55314
4.07/4.20 c bounds 29974 >= 180 @ 2.5551
4.07/4.21 c bounds 29974 >= 184 @ 2.55801
4.07/4.21 c bounds 29974 >= 194 @ 2.56099
4.07/4.22 c bounds 29974 >= 200 @ 2.56396
4.07/4.22 c bounds 29974 >= 210 @ 2.56695
4.07/4.23 c bounds 29974 >= 216 @ 2.57214
4.07/4.23 c bounds 29974 >= 226 @ 2.57465
4.07/4.24 c bounds 29974 >= 233 @ 2.57681
4.07/4.24 c bounds 29974 >= 243 @ 2.57991
4.07/4.25 c bounds 29974 >= 249 @ 2.58187
4.07/4.26 c bounds 29974 >= 251 @ 2.58499
4.07/4.26 c bounds 29974 >= 260 @ 2.58842
4.07/4.27 c bounds 29974 >= 264 @ 2.59043
4.07/4.27 c bounds 29974 >= 268 @ 2.59261
4.07/4.28 c bounds 29974 >= 270 @ 2.59559
4.07/4.28 c bounds 29974 >= 274 @ 2.59779
4.07/4.29 c bounds 29974 >= 280 @ 2.59998
4.07/4.29 c bounds 29974 >= 290 @ 2.60233
4.47/4.68 c bounds 29874 >= 290 @ 2.96288
4.47/4.68 c bounds 29874 >= 293 @ 2.96515
4.47/4.69 c bounds 29874 >= 303 @ 2.96821
4.47/4.70 c bounds 29874 >= 306 @ 2.96947
4.57/4.70 c bounds 29874 >= 308 @ 2.97117
4.57/4.71 c bounds 29874 >= 310 @ 2.97425
4.57/4.71 c bounds 29874 >= 317 @ 2.97742
4.57/4.72 c bounds 29874 >= 324 @ 2.9796
4.57/4.72 c bounds 29874 >= 330 @ 2.98198
4.57/4.73 c bounds 29874 >= 337 @ 2.98495
4.57/4.73 c bounds 29874 >= 346 @ 2.98922
4.57/4.74 c bounds 29874 >= 352 @ 2.99138
4.57/4.74 c bounds 29874 >= 362 @ 2.99457
4.57/4.75 c bounds 29874 >= 365 @ 2.99693
4.57/4.75 c bounds 29874 >= 371 @ 3.00098
4.57/4.76 c bounds 29874 >= 373 @ 3.00315
4.57/4.76 c bounds 29874 >= 375 @ 3.00534
4.57/4.77 c bounds 29874 >= 376 @ 3.00849
4.57/4.77 c bounds 29874 >= 377 @ 3.01165
4.57/4.78 c bounds 29874 >= 386 @ 3.01582
4.57/4.78 c bounds 29874 >= 387 @ 3.02
4.57/4.79 c bounds 29874 >= 392 @ 3.02323
4.57/4.79 c bounds 29874 >= 402 @ 3.02742
4.67/4.80 c bounds 29874 >= 407 @ 3.03078
4.67/4.80 c bounds 29874 >= 417 @ 3.03399
4.67/4.81 c bounds 29874 >= 423 @ 3.03699
4.67/4.82 c bounds 29874 >= 429 @ 3.03919
4.67/4.82 c bounds 29874 >= 436 @ 3.04235
4.67/4.83 c bounds 29874 >= 439 @ 3.04474
4.67/4.83 c bounds 29874 >= 449 @ 3.04769
4.67/4.84 c bounds 29874 >= 459 @ 3.05102
4.67/4.84 c bounds 29874 >= 469 @ 3.05227
4.67/4.85 c bounds 29874 >= 474 @ 3.05443
4.67/4.85 c bounds 29874 >= 485 @ 3.05671
4.67/4.86 c bounds 29874 >= 495 @ 3.06083
4.67/4.86 c bounds 29874 >= 501 @ 3.06502
4.67/4.87 c bounds 29874 >= 507 @ 3.06728
4.67/4.87 c bounds 29874 >= 513 @ 3.07066
4.67/4.88 c bounds 29874 >= 518 @ 3.07355
4.67/4.88 c bounds 29874 >= 528 @ 3.07692
4.67/4.89 c bounds 29874 >= 538 @ 3.08103
4.67/4.89 c bounds 29874 >= 547 @ 3.08429
4.77/4.90 c bounds 29874 >= 548 @ 3.08792
4.77/4.90 c bounds 29874 >= 549 @ 3.09298
4.77/4.91 c bounds 29874 >= 550 @ 3.09616
4.77/4.91 c bounds 29874 >= 551 @ 3.09855
4.77/4.92 c bounds 29874 >= 552 @ 3.10144
4.77/4.92 c bounds 29874 >= 553 @ 3.10476
4.77/4.93 c bounds 29874 >= 554 @ 3.10877
4.77/4.94 c bounds 29874 >= 555 @ 3.11294
4.77/4.94 c bounds 29874 >= 556 @ 3.11603
4.77/4.95 c bounds 29874 >= 557 @ 3.11817
4.77/4.95 c bounds 29874 >= 558 @ 3.12147
4.77/4.96 c bounds 29874 >= 559 @ 3.12368
4.77/4.96 c bounds 29874 >= 560 @ 3.12572
4.77/4.97 c bounds 29874 >= 561 @ 3.12993
4.77/4.97 c bounds 29874 >= 562 @ 3.13307
4.77/4.98 c bounds 29874 >= 563 @ 3.13541
4.77/4.98 c bounds 29874 >= 564 @ 3.13761
4.77/4.99 c bounds 29874 >= 565 @ 3.14163
4.77/4.99 c bounds 29874 >= 570 @ 3.14291
4.77/5.00 c bounds 29874 >= 571 @ 3.14599
4.87/5.00 c bounds 29874 >= 572 @ 3.14834
4.87/5.01 c bounds 29874 >= 573 @ 3.15038
4.87/5.01 c bounds 29874 >= 574 @ 3.15358
4.87/5.02 c bounds 29874 >= 575 @ 3.15578
4.87/5.02 c bounds 29874 >= 580 @ 3.15794
4.87/5.03 c bounds 29874 >= 587 @ 3.16129
4.87/5.03 c bounds 29874 >= 590 @ 3.16424
4.87/5.04 c bounds 29874 >= 591 @ 3.16854
4.87/5.04 c bounds 29874 >= 597 @ 3.1717
4.87/5.05 c bounds 29874 >= 599 @ 3.17487
4.87/5.05 c bounds 29874 >= 606 @ 3.17806
4.87/5.06 c bounds 29874 >= 607 @ 3.18123
4.87/5.06 c bounds 29874 >= 610 @ 3.18347
4.87/5.07 c bounds 29874 >= 613 @ 3.18555
4.87/5.08 c bounds 29874 >= 616 @ 3.19082
4.87/5.08 c bounds 29874 >= 623 @ 3.19522
4.87/5.09 c bounds 29874 >= 626 @ 3.19924
4.87/5.09 c bounds 29874 >= 633 @ 3.20245
4.87/5.10 c bounds 29874 >= 639 @ 3.20429
4.97/5.10 c bounds 29874 >= 646 @ 3.20741
4.97/5.11 c bounds 29874 >= 653 @ 3.21144
4.97/5.11 c bounds 29874 >= 655 @ 3.21362
4.97/5.12 c bounds 29874 >= 657 @ 3.21584
4.97/5.12 c bounds 29874 >= 659 @ 3.21912
4.97/5.13 c bounds 29874 >= 660 @ 3.22315
4.97/5.13 c bounds 29874 >= 662 @ 3.22642
4.97/5.14 c bounds 29874 >= 664 @ 3.22859
4.97/5.14 c bounds 29874 >= 666 @ 3.23077
4.97/5.15 c bounds 29874 >= 669 @ 3.23308
4.97/5.15 c bounds 29874 >= 672 @ 3.23809
4.97/5.16 c bounds 29874 >= 679 @ 3.24237
4.97/5.16 c bounds 29874 >= 680 @ 3.24355
4.97/5.17 c bounds 29874 >= 687 @ 3.24674
4.97/5.17 c bounds 29874 >= 689 @ 3.24907
4.97/5.18 c bounds 29874 >= 692 @ 3.25226
4.97/5.18 c bounds 29874 >= 699 @ 3.25633
4.97/5.19 c bounds 29874 >= 703 @ 3.25851
4.97/5.20 c bounds 29874 >= 704 @ 3.26073
5.07/5.20 c bounds 29874 >= 705 @ 3.26415
5.07/5.21 c bounds 29874 >= 710 @ 3.26636
5.07/5.21 c bounds 29874 >= 714 @ 3.26956
5.07/5.22 c bounds 29874 >= 721 @ 3.27285
5.07/5.22 c bounds 29874 >= 728 @ 3.27621
5.07/5.23 c bounds 29874 >= 732 @ 3.27926
5.07/5.23 c bounds 29874 >= 735 @ 3.28142
5.07/5.24 c bounds 29874 >= 736 @ 3.28466
5.07/5.24 c bounds 29874 >= 737 @ 3.28884
5.07/5.25 c bounds 29874 >= 739 @ 3.29122
5.07/5.25 c bounds 29874 >= 740 @ 3.29426
5.07/5.26 c bounds 29874 >= 741 @ 3.29648
5.07/5.26 c bounds 29874 >= 746 @ 3.29893
5.07/5.27 c bounds 29874 >= 752 @ 3.3029
5.07/5.27 c bounds 29874 >= 758 @ 3.30514
5.07/5.28 c bounds 29874 >= 763 @ 3.30826
5.07/5.28 c bounds 29874 >= 769 @ 3.31045
5.07/5.29 c bounds 29874 >= 774 @ 3.31416
5.07/5.29 c bounds 29874 >= 778 @ 3.31818
5.17/5.30 c bounds 29874 >= 784 @ 3.32239
5.17/5.31 c bounds 29874 >= 786 @ 3.32583
5.17/5.31 c bounds 29874 >= 787 @ 3.33001
5.17/5.32 c bounds 29874 >= 791 @ 3.33406
5.17/5.32 c bounds 29874 >= 795 @ 3.33631
5.17/5.33 c bounds 29874 >= 798 @ 3.3405
5.17/5.33 c bounds 29874 >= 802 @ 3.3427
5.17/5.34 c bounds 29874 >= 805 @ 3.34598
5.17/5.34 c bounds 29874 >= 809 @ 3.35102
5.17/5.35 c bounds 29874 >= 812 @ 3.35224
5.17/5.35 c bounds 29874 >= 813 @ 3.35442
5.17/5.36 c bounds 29874 >= 814 @ 3.35767
5.17/5.36 c bounds 29874 >= 815 @ 3.35994
5.17/5.37 c bounds 29874 >= 816 @ 3.36394
5.17/5.37 c bounds 29874 >= 817 @ 3.36517
5.17/5.38 c bounds 29874 >= 818 @ 3.36837
5.17/5.38 c bounds 29874 >= 819 @ 3.37022
5.17/5.39 c bounds 29874 >= 820 @ 3.37419
5.26/5.40 c bounds 29874 >= 821 @ 3.37727
5.26/5.40 c bounds 29874 >= 822 @ 3.38256
5.26/5.41 c bounds 29874 >= 823 @ 3.38559
5.26/5.41 c bounds 29874 >= 824 @ 3.38979
5.26/5.42 c bounds 29874 >= 825 @ 3.39258
5.26/5.43 c bounds 29874 >= 826 @ 3.39485
5.26/5.43 c bounds 29874 >= 827 @ 3.40003
5.26/5.44 c bounds 29874 >= 828 @ 3.40357
5.26/5.45 c bounds 29874 >= 829 @ 3.40793
5.26/5.45 c bounds 29874 >= 830 @ 3.41353
5.26/5.46 c bounds 29874 >= 831 @ 3.41631
5.26/5.47 c bounds 29874 >= 832 @ 3.42251
5.26/5.48 c bounds 29874 >= 833 @ 3.43304
5.36/5.50 c bounds 29874 >= 834 @ 3.44624
5.36/5.51 c bounds 29874 >= 835 @ 3.45639
5.36/5.52 c bounds 29874 >= 836 @ 3.46059
5.36/5.52 c bounds 29874 >= 837 @ 3.46563
5.36/5.53 c bounds 29874 >= 838 @ 3.46899
5.36/5.54 c bounds 29874 >= 839 @ 3.47359
5.36/5.55 c bounds 29874 >= 840 @ 3.4788
5.36/5.55 c bounds 29874 >= 841 @ 3.48196
5.36/5.56 c bounds 29874 >= 842 @ 3.48453
5.36/5.57 c bounds 29874 >= 843 @ 3.48774
5.36/5.57 c bounds 29874 >= 844 @ 3.49196
5.36/5.58 c bounds 29874 >= 845 @ 3.49622
5.36/5.59 c bounds 29874 >= 846 @ 3.5016
5.47/5.60 c bounds 29874 >= 847 @ 3.50492
5.47/5.61 c bounds 29874 >= 848 @ 3.51901
5.47/5.62 c bounds 29874 >= 849 @ 3.52711
5.47/5.64 c bounds 29874 >= 850 @ 3.53607
5.47/5.64 c bounds 29874 >= 851 @ 3.54038
5.47/5.65 c bounds 29874 >= 852 @ 3.54387
5.47/5.66 c bounds 29874 >= 853 @ 3.54714
5.47/5.66 c bounds 29874 >= 854 @ 3.55256
5.47/5.67 c bounds 29874 >= 855 @ 3.55519
5.47/5.68 c bounds 29874 >= 856 @ 3.55937
5.47/5.68 c bounds 29874 >= 857 @ 3.56298
5.57/5.70 c bounds 29874 >= 858 @ 3.5719
5.57/5.71 c bounds 29874 >= 859 @ 3.57581
5.57/5.71 c bounds 29874 >= 860 @ 3.58133
5.57/5.72 c bounds 29874 >= 861 @ 3.58693
5.57/5.73 c bounds 29874 >= 862 @ 3.59061
5.57/5.74 c bounds 29874 >= 863 @ 3.59618
5.57/5.74 c bounds 29874 >= 864 @ 3.60063
5.57/5.75 c bounds 29874 >= 865 @ 3.60428
5.57/5.76 c bounds 29874 >= 866 @ 3.60899
5.57/5.77 c bounds 29874 >= 867 @ 3.61277
5.57/5.77 c bounds 29874 >= 868 @ 3.61862
5.57/5.78 c bounds 29874 >= 869 @ 3.6244
5.57/5.79 c bounds 29874 >= 870 @ 3.62933
5.67/5.80 c bounds 29874 >= 871 @ 3.63529
5.67/5.81 c bounds 29874 >= 872 @ 3.64025
5.67/5.82 c bounds 29874 >= 873 @ 3.6509
5.67/5.86 c bounds 28156 >= 873 @ 3.67756
5.67/5.87 c bounds 28156 >= 874 @ 3.6824
5.67/5.87 c bounds 28156 >= 875 @ 3.68674
5.67/5.88 c bounds 28156 >= 877 @ 3.69131
5.67/5.89 c bounds 28156 >= 879 @ 3.69503
5.67/5.89 c bounds 28156 >= 880 @ 3.69892
5.77/5.91 c bounds 28156 >= 881 @ 3.71776
5.77/5.94 c bounds 28156 >= 882 @ 3.73949
5.87/6.06 c #Conflicts: 1000 | #Constraints: 30173
5.87/6.06 c bounds 28056 >= 882 @ 3.85775
5.87/6.08 c bounds 28056 >= 883 @ 3.86748
5.87/6.08 c bounds 28056 >= 884 @ 3.87081
5.87/6.09 c bounds 28056 >= 885 @ 3.87389
5.87/6.10 c bounds 28056 >= 886 @ 3.87963
5.97/6.11 c bounds 28056 >= 887 @ 3.88387
5.97/6.11 c bounds 28056 >= 888 @ 3.89028
6.27/6.49 c bounds 28055 >= 888 @ 4.24037
6.37/6.50 c bounds 28055 >= 889 @ 4.24296
6.37/6.51 c bounds 28055 >= 890 @ 4.24738
6.37/6.51 c bounds 28055 >= 891 @ 4.25146
6.37/6.52 c bounds 28055 >= 892 @ 4.25959
6.37/6.53 c bounds 28055 >= 893 @ 4.26292
6.47/6.60 c bounds 28055 >= 894 @ 4.32158
6.47/6.61 c bounds 28055 >= 895 @ 4.33303
6.47/6.62 c bounds 28055 >= 896 @ 4.34566
6.47/6.64 c bounds 28055 >= 897 @ 4.3535
6.47/6.65 c bounds 28055 >= 898 @ 4.36476
6.47/6.66 c bounds 28055 >= 899 @ 4.37473
6.47/6.68 c bounds 28055 >= 900 @ 4.38577
6.57/6.70 c bounds 28055 >= 901 @ 4.40057
6.57/6.71 c bounds 28055 >= 902 @ 4.41638
6.57/6.73 c bounds 28055 >= 903 @ 4.43523
6.66/6.87 c bounds 27955 >= 903 @ 4.55961
6.76/6.92 c bounds 27955 >= 904 @ 4.6014
6.76/6.94 c bounds 27955 >= 905 @ 4.61786
6.76/6.95 c bounds 27955 >= 906 @ 4.62836
6.76/6.96 c bounds 27955 >= 907 @ 4.63887
6.87/7.04 c bounds 27855 >= 907 @ 4.70733
6.87/7.06 c bounds 27855 >= 908 @ 4.72449
6.87/7.09 c bounds 27855 >= 909 @ 4.7575
6.97/7.19 c bounds 27854 >= 909 @ 4.85024
7.06/7.20 c bounds 27854 >= 910 @ 4.85391
7.06/7.20 c bounds 27854 >= 911 @ 4.85941
7.06/7.21 c bounds 27854 >= 912 @ 4.86371
7.06/7.23 c bounds 27854 >= 913 @ 4.87839
7.06/7.27 c bounds 27854 >= 914 @ 4.92269
7.17/7.38 c bounds 27755 >= 914 @ 5.02212
7.26/7.46 c bounds 27755 >= 915 @ 5.09559
7.36/7.56 c bounds 27655 >= 915 @ 5.19204
7.56/7.70 c bounds 27655 >= 916 @ 5.32579
7.56/7.78 c bounds 27654 >= 916 @ 5.39934
7.66/7.86 c bounds 27653 >= 916 @ 5.46685
7.76/7.94 c bounds 27553 >= 916 @ 5.54501
7.76/7.95 c bounds 27553 >= 917 @ 5.55417
7.76/7.96 c bounds 27553 >= 918 @ 5.56033
7.76/7.98 c bounds 27553 >= 919 @ 5.57529
7.86/8.07 c bounds 27552 >= 919 @ 5.66204
7.97/8.10 c bounds 27552 >= 920 @ 5.6917
7.97/8.12 c bounds 27552 >= 921 @ 5.70474
7.97/8.14 c bounds 27552 >= 922 @ 5.72902
8.76/8.96 c #Conflicts: 2000 | #Constraints: 31383
8.76/8.96 c INPROCESSING
8.76/8.96 c GARBAGE COLLECT
8.76/8.96 c bounds 27552 >= 923 @ 6.51487
8.76/8.97 c bounds 27552 >= 924 @ 6.52218
8.76/8.98 c bounds 27551 >= 924 @ 6.53723
8.76/9.00 c bounds 27551 >= 925 @ 6.54368
8.86/9.00 c bounds 27551 >= 926 @ 6.54914
8.86/9.01 c bounds 27551 >= 927 @ 6.55657
8.86/9.07 c bounds 27550 >= 927 @ 6.61569
8.86/9.08 c bounds 27550 >= 928 @ 6.62082
8.86/9.09 c bounds 27550 >= 929 @ 6.62748
8.96/9.18 c bounds 27550 >= 930 @ 6.71072
9.05/9.23 c bounds 27549 >= 930 @ 6.75459
9.26/9.42 c bounds 27549 >= 931 @ 6.93342
9.26/9.46 c bounds 27548 >= 931 @ 6.97165
9.35/9.50 c bounds 27547 >= 931 @ 7.01008
9.35/9.55 c bounds 27546 >= 931 @ 7.04783
9.35/9.58 c bounds 27545 >= 931 @ 7.08173
9.35/9.59 c bounds 27545 >= 932 @ 7.08751
9.75/9.98 c #Conflicts: 3000 | #Constraints: 30581
9.75/9.98 c bounds 27545 >= 933 @ 7.45557
9.85/10.04 c bounds 27544 >= 933 @ 7.52194
9.96/10.12 c bounds 27543 >= 933 @ 7.59207
10.06/10.20 c bounds 27443 >= 933 @ 7.66375
11.86/12.05 c bounds 27443 >= 934 @ 9.46565
11.95/12.11 c bounds 27442 >= 934 @ 9.51693
11.95/12.17 c #Conflicts: 4000 | #Constraints: 31624
11.95/12.17 c bounds 27441 >= 934 @ 9.57167
12.04/12.24 c bounds 27440 >= 934 @ 9.63926
12.15/12.30 c bounds 27439 >= 934 @ 9.69663
12.15/12.36 c bounds 27438 >= 934 @ 9.75095
12.25/12.43 c bounds 27437 >= 934 @ 9.81817
12.35/12.51 c bounds 27436 >= 934 @ 9.88821
12.35/12.59 c bounds 27336 >= 934 @ 9.96115
12.54/12.71 c INPROCESSING
12.54/12.71 c GARBAGE COLLECT
12.54/12.71 c bounds 27335 >= 934 @ 10.0758
13.15/13.32 c bounds 27335 >= 935 @ 10.6492
13.15/13.38 c bounds 27334 >= 935 @ 10.7112
13.25/13.44 c #Conflicts: 5000 | #Constraints: 31003
13.25/13.44 c bounds 27333 >= 935 @ 10.7621
13.34/13.51 c bounds 27332 >= 935 @ 10.8232
13.34/13.57 c bounds 27331 >= 935 @ 10.8744
13.44/13.61 c bounds 27330 >= 935 @ 10.9168
13.44/13.69 c bounds 27230 >= 935 @ 10.9881
13.54/13.77 c bounds 27229 >= 935 @ 11.0598
13.64/13.83 c bounds 27129 >= 935 @ 11.1242
14.24/14.44 c bounds 27129 >= 936 @ 11.7027
14.34/14.51 c bounds 27128 >= 936 @ 11.7718
14.34/14.58 c bounds 27127 >= 936 @ 11.8342
14.44/14.64 c bounds 27027 >= 936 @ 11.8967
14.53/14.72 c bounds 27026 >= 936 @ 11.9724
14.53/14.79 c bounds 27025 >= 936 @ 12.0365
14.64/14.86 c bounds 27024 >= 936 @ 12.1051
14.73/14.92 c bounds 27023 >= 936 @ 12.1569
14.73/14.98 c bounds 27022 >= 936 @ 12.2129
14.84/15.04 c bounds 26921 >= 936 @ 12.2707
14.84/15.09 c bounds 26821 >= 936 @ 12.3151
14.94/15.15 c bounds 26721 >= 936 @ 12.3676
15.04/15.20 c bounds 26720 >= 936 @ 12.416
15.73/15.97 c #Conflicts: 6000 | #Constraints: 32037
15.73/15.97 c bounds 26720 >= 937 @ 13.1481
15.83/16.03 c bounds 26719 >= 937 @ 13.2047
15.83/16.09 c bounds 26718 >= 937 @ 13.2572
15.93/16.15 c bounds 26717 >= 937 @ 13.3123
16.02/16.20 c bounds 26716 >= 937 @ 13.3635
16.02/16.26 c bounds 26715 >= 937 @ 13.4164
24.57/24.89 c INPROCESSING
24.57/24.89 c GARBAGE COLLECT
24.57/24.89 c bounds 26714 >= 937 @ 21.9182
24.68/24.92 c bounds 26614 >= 937 @ 21.9436
24.68/24.94 c bounds 26514 >= 937 @ 21.9627
24.68/24.97 c bounds 26513 >= 937 @ 21.9826
24.78/25.01 c bounds 26413 >= 937 @ 22.0133
24.98/25.27 c bounds 26412 >= 937 @ 22.2702
25.18/25.41 c bounds 26411 >= 937 @ 22.412
25.28/25.55 c bounds 26410 >= 937 @ 22.5393
25.47/25.76 c #Conflicts: 7000 | #Constraints: 31016
25.47/25.76 c bounds 26310 >= 937 @ 22.7526
26.78/27.06 c bounds 26310 >= 938 @ 24.0191
26.88/27.18 c #Conflicts: 8000 | #Constraints: 32032
26.88/27.18 c bounds 26309 >= 938 @ 24.1284
26.97/27.24 c bounds 26308 >= 938 @ 24.1881
27.17/27.43 c bounds 26307 >= 938 @ 24.3664
27.28/27.57 c bounds 26306 >= 938 @ 24.4985
27.48/27.73 c bounds 26206 >= 938 @ 24.6576
27.57/27.88 c bounds 26106 >= 938 @ 24.7952
27.77/28.03 c bounds 26006 >= 938 @ 24.9338
27.97/28.21 c bounds 25906 >= 938 @ 25.1011
28.17/28.45 c bounds 25905 >= 938 @ 25.3227
28.36/28.60 c bounds 25804 >= 938 @ 25.4625
28.57/28.87 c bounds 25703 >= 938 @ 25.7228
29.77/30.08 c #Conflicts: 9000 | #Constraints: 33043
29.77/30.08 c INPROCESSING
29.77/30.08 c GARBAGE COLLECT
29.77/30.08 c bounds 25702 >= 938 @ 26.9129
29.96/30.21 c bounds 25701 >= 938 @ 27.0304
30.07/30.32 c bounds 25601 >= 938 @ 27.1381
30.16/30.49 c bounds 25600 >= 938 @ 27.2939
30.36/30.60 c bounds 25599 >= 938 @ 27.395
30.86/31.10 c bounds 25598 >= 938 @ 27.8909
31.16/31.46 c bounds 25498 >= 938 @ 28.2374
31.46/31.76 c #Conflicts: 10000 | #Constraints: 31750
31.46/31.76 c bounds 25397 >= 938 @ 28.5262
31.66/31.98 c bounds 25297 >= 938 @ 28.7407
31.86/32.17 c bounds 25197 >= 938 @ 28.9238
32.06/32.37 c bounds 25196 >= 938 @ 29.1173
43.33/43.67 c #Conflicts: 11000 | #Constraints: 32754
43.33/43.67 c #Conflicts: 12000 | #Constraints: 33754
43.33/43.67 c INPROCESSING
43.33/43.67 c GARBAGE COLLECT
43.33/43.67 c bounds 25195 >= 938 @ 40.2672
43.43/43.73 c bounds 25095 >= 938 @ 40.3335
43.53/43.80 c bounds 25094 >= 938 @ 40.3939
43.53/43.87 c bounds 24994 >= 938 @ 40.4579
43.63/43.94 c bounds 24893 >= 938 @ 40.5225
43.74/44.00 c bounds 24892 >= 938 @ 40.5833
43.74/44.10 c bounds 24792 >= 938 @ 40.6712
43.83/44.18 c bounds 24692 >= 938 @ 40.7476
43.93/44.27 c bounds 24691 >= 938 @ 40.8339
44.03/44.38 c bounds 24591 >= 938 @ 40.9409
44.23/44.50 c bounds 24590 >= 938 @ 41.0592
44.33/44.61 c bounds 24589 >= 938 @ 41.1688
44.43/44.73 c bounds 24489 >= 938 @ 41.28
44.53/44.84 c bounds 24389 >= 938 @ 41.3903
44.63/44.98 c bounds 24289 >= 938 @ 41.5178
44.73/45.09 c bounds 24189 >= 938 @ 41.6298
44.93/45.26 c bounds 24188 >= 938 @ 41.7779
45.03/45.37 c bounds 24187 >= 938 @ 41.8838
45.22/45.51 c bounds 24186 >= 938 @ 42.0246
45.33/45.64 c bounds 24185 >= 938 @ 42.1409
45.42/45.76 c bounds 24184 >= 938 @ 42.2611
45.62/45.92 c #Conflicts: 13000 | #Constraints: 32223
45.62/45.92 c bounds 24084 >= 938 @ 42.4074
45.73/46.07 c bounds 24083 >= 938 @ 42.5549
45.83/46.19 c bounds 24082 >= 938 @ 42.675
46.03/46.34 c bounds 23982 >= 938 @ 42.8253
46.12/46.45 c bounds 23882 >= 938 @ 42.9267
46.23/46.57 c bounds 23782 >= 938 @ 43.0445
46.42/46.72 c bounds 23681 >= 938 @ 43.19
46.52/46.83 c bounds 23580 >= 938 @ 43.2956
46.62/46.94 c bounds 23579 >= 938 @ 43.399
46.73/47.04 c bounds 23478 >= 938 @ 43.4908
46.83/47.14 c bounds 23378 >= 938 @ 43.5871
46.93/47.24 c bounds 23377 >= 938 @ 43.686
47.02/47.34 c bounds 23278 >= 938 @ 43.7718
47.12/47.49 c bounds 23277 >= 938 @ 43.9088
47.23/47.58 c bounds 23177 >= 938 @ 43.9998
47.32/47.67 c bounds 23077 >= 938 @ 44.0859
47.43/47.76 c bounds 22977 >= 938 @ 44.1734
47.62/47.97 c bounds 22877 >= 938 @ 44.3737
47.73/48.09 c bounds 22876 >= 938 @ 44.4869
47.83/48.19 c bounds 22875 >= 938 @ 44.582
47.92/48.29 c bounds 22775 >= 938 @ 44.6812
48.12/48.41 c bounds 22774 >= 938 @ 44.7985
48.22/48.54 c bounds 22673 >= 938 @ 44.9177
48.31/48.68 c bounds 22672 >= 938 @ 45.0543
48.52/48.87 c bounds 22671 >= 938 @ 45.2356
48.72/49.01 c #Conflicts: 14000 | #Constraints: 33248
48.72/49.01 c bounds 22572 >= 938 @ 45.3708
48.91/49.29 c bounds 22471 >= 938 @ 45.5911
49.11/49.47 c bounds 22470 >= 938 @ 45.7726
49.31/49.69 c bounds 22370 >= 938 @ 45.9768
49.82/50.13 c bounds 22269 >= 938 @ 46.4047
51.82/52.14 c #Conflicts: 15000 | #Constraints: 34253
51.82/52.14 c INPROCESSING
51.82/52.14 c GARBAGE COLLECT
51.82/52.14 c bounds 22169 >= 938 @ 48.3756
51.91/52.27 c bounds 22168 >= 938 @ 48.5017
52.11/52.45 c bounds 22067 >= 938 @ 48.6761
52.40/52.72 c bounds 22066 >= 938 @ 48.9411
52.60/52.91 c bounds 22065 >= 938 @ 49.123
52.71/53.08 c bounds 21964 >= 938 @ 49.2905
52.90/53.25 c bounds 21963 >= 938 @ 49.4567
53.10/53.42 c bounds 21863 >= 938 @ 49.625
53.40/53.71 c bounds 21862 >= 938 @ 49.8982
53.60/53.92 c #Conflicts: 16000 | #Constraints: 32433
53.60/53.92 c bounds 21861 >= 938 @ 50.1086
53.80/54.10 c bounds 21860 >= 938 @ 50.2799
54.10/54.43 c bounds 21760 >= 938 @ 50.5987
54.60/54.94 c bounds 21759 >= 938 @ 51.1
55.00/55.37 c bounds 21658 >= 938 @ 51.5194
55.30/55.67 c #Conflicts: 17000 | #Constraints: 33438
55.30/55.67 c bounds 21558 >= 938 @ 51.816
56.69/57.07 c bounds 21457 >= 938 @ 53.1874
57.89/58.24 c #Conflicts: 18000 | #Constraints: 34440
57.89/58.24 c INPROCESSING
57.89/58.24 c GARBAGE COLLECT
57.89/58.24 c bounds 21456 >= 938 @ 54.3395
58.59/58.91 c bounds 21455 >= 938 @ 55.0073
62.24/63.45 c #Conflicts: 19000 | #Constraints: 32441
62.24/63.45 c #Conflicts: 20000 | #Constraints: 33441
62.24/63.45 c bounds 21455 >= 939 @ 58.5964
62.44/63.61 c bounds 21454 >= 939 @ 58.742
63.23/64.49 c #Conflicts: 21000 | #Constraints: 34472
63.23/64.49 c bounds 21354 >= 939 @ 59.6052
72.31/73.52 c INPROCESSING
72.31/73.52 c GARBAGE COLLECT
72.31/73.52 c rational objective 939
72.51/73.74 c bounds 21254 >= 939 @ 68.7666
72.71/73.96 c bounds 21154 >= 939 @ 68.9832
72.92/74.19 c bounds 21054 >= 939 @ 69.2071
76.80/78.02 c #Conflicts: 22000 | #Constraints: 32319
76.80/78.02 c #Conflicts: 23000 | #Constraints: 33319
76.80/78.02 c #Conflicts: 24000 | #Constraints: 34319
76.80/78.02 c bounds 21053 >= 939 @ 72.9748
78.80/80.10 c bounds 939 >= 939 @ 74.9889
78.80/80.10 c cpu time 74.9889 s
78.80/80.10 c deterministic time 2577063106 2.58e+09
78.80/80.10 c optimization time 1.73684 s
78.80/80.10 c total solve time 73.1335 s
78.80/80.10 c core-guided solve time 27.9853 s
78.80/80.10 c propagation time 33.9931 s
78.80/80.10 c conflict analysis time 14.9966 s
78.80/80.10 c propagations 9884005
78.80/80.10 c resolve steps 146763
78.80/80.10 c decisions 7752829
78.80/80.10 c conflicts 24715
78.80/80.10 c restarts 90
78.80/80.10 c inprocessing phases 8
78.80/80.10 c garbage collections 8 ,( 100.00 )
78.80/80.10 c input clauses 30654 ,( 91.18 )
78.80/80.10 c input cardinalities 1719 ,( 5.11 )
78.80/80.10 c input general constraints 1248 ,( 3.71 )
78.80/80.10 c input average constraint length 216.21
78.80/80.10 c input average constraint degree 1964.32
78.80/80.10 c learned clauses 6927 ,( 27.97 )
78.80/80.10 c learned cardinalities 417 ,( 1.68 )
78.80/80.10 c learned general constraints 17423 ,( 70.35 )
78.80/80.10 c learned average constraint length 3310.82
78.80/80.10 c learned average constraint degree 34529674.80
78.80/80.10 c watched CF 32, 64, 128, Arb: 960 , 0 , 0 , 0
78.80/80.10 c counting CF 32, 64, 128, Arb: 17712 , 0 , 0 , 0
78.80/80.10 c watched constraints 960 ,( 5.14 )
78.80/80.10 c counting constraints 17711 ,( 94.86 )
78.80/80.10 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 4111470 , 1797174 , 16653382 ,( 43512 , 16609870 )
78.80/80.10 c gcd simplifications 404
78.80/80.10 c detected cardinalities 0
78.80/80.10 c weakened non-implied lits 9153443
78.80/80.10 c weakened non-implying lits 2277
78.80/80.10 c original variables 13461
78.80/80.10 c clausal propagations 3254399
78.80/80.10 c cardinality propagations 2378988
78.80/80.10 c watched propagations 507
78.80/80.10 c counting propagations 2908348
78.80/80.10 c watch lookups 1410868987
78.80/80.10 c watch backjump lookups 0
78.80/80.10 c watch checks 36167595
78.80/80.10 c propagation checks 968558036
78.80/80.10 c constraint additions 126113660
78.80/80.10 c trail pops 17656347
78.80/80.10 c formula constraints 26667
78.80/80.10 c learned constraints 24749
78.80/80.10 c bound constraints 4938
78.80/80.10 c core-guided constraints 2016
78.80/80.10 c encountered formula constraints 27106
78.80/80.10 c encountered learned constraints 91613
78.80/80.10 c encountered bound constraints 176
78.80/80.10 c encountered core-guided constraints 52583
78.80/80.10 c LP total time 26.9001 s
78.80/80.10 c LP solve time 26.67 s
78.80/80.10 c LP constraints added 26667
78.80/80.10 c LP constraints removed 0
78.80/80.10 c LP pivots internal 25364
78.80/80.10 c LP pivots root 36282
78.80/80.10 c LP calls 8
78.80/80.10 c LP optimalities 3
78.80/80.10 c LP no pivot count 0
78.80/80.10 c LP infeasibilities 0
78.80/80.10 c LP valid Farkas constraints 0
78.80/80.10 c LP learned Farkas constraints 0
78.80/80.10 c LP basis resets 0
78.80/80.10 c LP cycling count 0
78.80/80.10 c LP singular count 0
78.80/80.10 c LP no primal count 0
78.80/80.10 c LP no farkas count 0
78.80/80.10 c LP other issue count 0
78.80/80.10 c LP Gomory cuts 18
78.80/80.10 c LP learned cuts 7
78.80/80.10 c LP deleted cuts 0
78.80/80.10 c LP encountered Gomory constraints 0
78.80/80.10 c LP encountered Farkas constraints 0
78.80/80.10 c LP encountered learned Farkas constraints 0
78.80/80.10 c CG auxiliary variables introduced 953
78.80/80.10 c CG solutions found 187
78.80/80.10 c CG cores constructed 845
78.80/80.10 c CG core cardinality constraints returned 443
78.80/80.10 c CG unit cores 0
78.80/80.10 c CG single cores 845
78.80/80.10 c CG blocks removed during cardinality reduction 0
78.80/80.10 c CG first core best 0
78.80/80.10 c CG decision core best 0
78.80/80.10 c CG core reduction tie 0
78.80/80.10 c CG core degree average 3.07
78.80/80.10 c CG core slack average 7.40
78.80/80.10 c CG core upper bound improvements 0
78.80/80.10 c STR number of successful calls 0
78.80/80.10 c STR number of unsuccessful calls 0
78.80/80.10 c STR number of inconclusive calls 0
78.80/80.10 c STR number of successful attempts 0
78.80/80.10 c STR number of unsuccessful attempts 0
78.80/80.10 c STR number of inconclusive attempts 0
78.80/80.10 c STR average degree increase per successful call inf
78.80/80.10 c STR average degree increase per successful attempt inf
78.80/80.10 c STR total number of conflicts for successful attempts 0
78.80/80.10 c STR total number of conflicts for unsuccessful attempts 0
78.80/80.10 c STR total number of conflicts for inconclusive attempts 0
78.80/80.10 c STR average number of conflicts per successful attempt inf
78.80/80.10 c STR average number of conflicts per unsuccessful attempt inf
78.80/80.10 c STR average number of conflicts per inconclusive attempt inf
78.80/80.10 c AVG.sumWPerc 84.92
78.80/80.10 c bigint constraints 0
78.80/80.10 o 939
78.80/80.10 s OPTIMUM FOUND
78.80/80.10 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 (62297 MiB free)
memory of node 1: 64465 MiB (61211 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532431-1752584603/watcher-4532431-1752584603 -o /tmp/evaluation-result-4532431-1752584603/solver-4532431-1752584603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1752584602-155305 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532431-1752584603.opb PROOFDIR/proof-4532431-1752584603
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=155356, runsolver pid=155347
Current StackSize limit: 8192 KiB
[startup+0.100031 s]*
/proc/loadavg: 0.10 0.34 0.26 3/267 155370
/proc/meminfo: memFree=126441480/131249996 swapFree=33010160/33010684
[pid=155356] ppid=155347 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/155356/stat : 155356 (run-opt-break-l) S 155347 155356 155295 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 174138776 4292608 736 18446744073709551615 94651796389888 94651797284421 140736885855040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94651797523472 94651797571216 94651817680896 140736885856531 140736885856732 140736885856732 140736885862336 0
/proc/155356/statm: 1048 736 672 219 0 110 0
[pid=155360] ppid=155356 vsize=26596 memory=16432 CPUtime=0.04 cores=0,2
/proc/155360/stat : 155360 (pbsuma) R 155356 155356 155295 0 -1 4194304 4453 0 0 0 3 1 0 0 20 0 1 0 174138779 27234304 4108 18446744073709551615 4210688 4653049 140723722093008 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 16457728 140723722098913 140723722099248 140723722099248 140723722104815 0
/proc/155360/statm: 6649 4108 1024 108 0 4057 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 30788 KiB
Current children cumulated memory: 19376 KiB
[startup+0.205529 s]*
/proc/loadavg: 0.10 0.34 0.26 4/268 155373
/proc/meminfo: memFree=126451668/131249996 swapFree=33010160/33010684
[pid=155356] ppid=155347 vsize=4192 memory=2944 CPUtime=0.13 cores=0,2
/proc/155356/stat : 155356 (run-opt-break-l) S 155347 155356 155295 0 -1 4194304 239 6479 0 0 0 0 12 1 20 0 1 0 174138776 4292608 736 18446744073709551615 94651796389888 94651797284421 140736885855040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94651797523472 94651797571216 94651817680896 140736885856531 140736885856732 140736885856732 140736885862336 0
/proc/155356/statm: 1048 736 672 219 0 110 0
[pid=155373] ppid=155356 vsize=5936 memory=128 CPUtime=0 cores=0,2
/proc/155373/stat : 155373 (roundingsat) R 155356 155356 155295 0 -1 4456448 46 0 0 0 0 0 0 0 20 0 1 0 174138797 6078464 32 18446744073709551615 4227072 8923577 140727502140992 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27373568 140727502145810 140727502146086 140727502146086 140727502151658 0
/proc/155373/statm: 1484 32 32 1147 0 51 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10128 KiB
Current children cumulated memory: 3072 KiB
[startup+0.30553 s]*
/proc/loadavg: 0.10 0.34 0.26 6/268 155373
/proc/meminfo: memFree=126436636/131249996 swapFree=33010160/33010684
[pid=155356] ppid=155347 vsize=4192 memory=2944 CPUtime=0.13 cores=0,2
/proc/155356/stat : 155356 (run-opt-break-l) S 155347 155356 155295 0 -1 4194304 239 6479 0 0 0 0 12 1 20 0 1 0 174138776 4292608 736 18446744073709551615 94651796389888 94651797284421 140736885855040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94651797523472 94651797571216 94651817680896 140736885856531 140736885856732 140736885856732 140736885862336 0
/proc/155356/statm: 1048 736 672 219 0 110 0
[pid=155373] ppid=155356 vsize=60064 memory=15248 CPUtime=0.07 cores=0,2
/proc/155373/stat : 155373 (roundingsat) R 155356 155356 155295 0 -1 4194304 1752 0 0 0 6 1 0 0 20 0 1 0 174138797 61505536 3812 18446744073709551615 4227072 8923577 140727502140992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27373568 140727502145810 140727502146086 140727502146086 140727502151658 0
/proc/155373/statm: 15016 3812 1952 1147 0 2442 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 64256 KiB
Current children cumulated memory: 18192 KiB
[startup+0.700183 s]
/proc/loadavg: 0.10 0.34 0.26 6/268 155373
/proc/meminfo: memFree=126364500/131249996 swapFree=33010160/33010684
[pid=155356] ppid=155347 vsize=4192 memory=2944 CPUtime=0.13 cores=0,2
/proc/155356/stat : 155356 (run-opt-break-l) S 155347 155356 155295 0 -1 4194304 239 6479 0 0 0 0 12 1 20 0 1 0 174138776 4292608 736 18446744073709551615 94651796389888 94651797284421 140736885855040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94651797523472 94651797571216 94651817680896 140736885856531 140736885856732 140736885856732 140736885862336 0
/proc/155356/statm: 1048 736 672 219 0 110 0
[pid=155373] ppid=155356 vsize=99832 memory=54900 CPUtime=0.46 cores=0,2
/proc/155373/stat : 155373 (roundingsat) R 155356 155356 155295 0 -1 4194304 8873 0 0 0 41 5 0 0 20 0 1 0 174138797 102227968 13725 18446744073709551615 4227072 8923577 140727502140992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27373568 140727502145810 140727502146086 140727502146086 140727502151658 0
/proc/155373/statm: 24958 13725 2368 1147 0 12384 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 104024 KiB
Current children cumulated memory: 57844 KiB
[startup+1.50018 s]
/proc/loadavg: 0.42 0.41 0.28 4/265 155376
/proc/meminfo: memFree=126351540/131249996 swapFree=33010160/33010684
[pid=155356] ppid=155347 vsize=4192 memory=2944 CPUtime=0.13 cores=0,2
/proc/155356/stat : 155356 (run-opt-break-l) S 155347 155356 155295 0 -1 4194304 239 6479 0 0 0 0 12 1 20 0 1 0 174138776 4292608 736 18446744073709551615 94651796389888 94651797284421 140736885855040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94651797523472 94651797571216 94651817680896 140736885856531 140736885856732 140736885856732 140736885862336 0
/proc/155356/statm: 1048 736 672 219 0 110 0
[pid=155373] ppid=155356 vsize=115952 memory=69952 CPUtime=1.25 cores=0,2
/proc/155373/stat : 155373 (roundingsat) R 155356 155356 155295 0 -1 4194304 11383 0 0 0 88 37 0 0 20 0 1 0 174138797 118734848 17488 18446744073709551615 4227072 8923577 140727502140992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27373568 140727502145810 140727502146086 140727502146086 140727502151658 0
/proc/155373/statm: 28988 17488 2368 1147 0 16414 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 120144 KiB
Current children cumulated memory: 72896 KiB
[startup+3.10478 s]
/proc/loadavg: 0.42 0.41 0.28 3/261 155389
/proc/meminfo: memFree=126221784/131249996 swapFree=33010160/33010684
[pid=155356] ppid=155347 vsize=4192 memory=2944 CPUtime=0.13 cores=0,2
/proc/155356/stat : 155356 (run-opt-break-l) S 155347 155356 155295 0 -1 4194304 239 6479 0 0 0 0 12 1 20 0 1 0 174138776 4292608 736 18446744073709551615 94651796389888 94651797284421 140736885855040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94651797523472 94651797571216 94651817680896 140736885856531 140736885856732 140736885856732 140736885862336 0
/proc/155356/statm: 1048 736 672 219 0 110 0
[pid=155373] ppid=155356 vsize=158444 memory=112980 CPUtime=2.85 cores=0,2
/proc/155373/stat : 155373 (roundingsat) R 155356 155356 155295 0 -1 4194304 18560 0 0 0 187 98 0 0 20 0 1 0 174138797 162246656 28245 18446744073709551615 4227072 8923577 140727502140992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27373568 140727502145810 140727502146086 140727502146086 140727502151658 0
/proc/155373/statm: 39611 28245 2368 1147 0 27037 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 162636 KiB
Current children cumulated memory: 115924 KiB
[startup+6.30019 s]
/proc/loadavg: 0.78 0.48 0.30 3/258 155389
/proc/meminfo: memFree=126066344/131249996 swapFree=33010160/33010684
[pid=155356] ppid=155347 vsize=4192 memory=2944 CPUtime=0.13 cores=0,2
/proc/155356/stat : 155356 (run-opt-break-l) S 155347 155356 155295 0 -1 4194304 239 6479 0 0 0 0 12 1 20 0 1 0 174138776 4292608 736 18446744073709551615 94651796389888 94651797284421 140736885855040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94651797523472 94651797571216 94651817680896 140736885856531 140736885856732 140736885856732 140736885862336 0
/proc/155356/statm: 1048 736 672 219 0 110 0
[pid=155373] ppid=155356 vsize=292904 memory=237992 CPUtime=6.03 cores=0,2
/proc/155373/stat : 155373 (roundingsat) R 155356 155356 155295 0 -1 4194304 39600 0 0 0 405 198 0 0 20 0 1 0 174138797 299933696 59498 18446744073709551615 4227072 8923577 140727502140992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27373568 140727502145810 140727502146086 140727502146086 140727502151658 0
/proc/155373/statm: 73226 59498 2368 1147 0 60652 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 297096 KiB
Current children cumulated memory: 240936 KiB
[startup+12.7002 s]
/proc/loadavg: 1.04 0.54 0.32 3/258 155389
/proc/meminfo: memFree=125883944/131249996 swapFree=33010160/33010684
[pid=155356] ppid=155347 vsize=4192 memory=2944 CPUtime=0.13 cores=0,2
/proc/155356/stat : 155356 (run-opt-break-l) S 155347 155356 155295 0 -1 4194304 239 6479 0 0 0 0 12 1 20 0 1 0 174138776 4292608 736 18446744073709551615 94651796389888 94651797284421 140736885855040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94651797523472 94651797571216 94651817680896 140736885856531 140736885856732 140736885856732 140736885862336 0
/proc/155356/statm: 1048 736 672 219 0 110 0
[pid=155373] ppid=155356 vsize=398644 memory=318764 CPUtime=12.41 cores=0,2
/proc/155373/stat : 155373 (roundingsat) R 155356 155356 155295 0 -1 4194304 54697 0 0 0 1006 235 0 0 20 0 1 0 174138797 408211456 79691 18446744073709551615 4227072 8923577 140727502140992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27373568 140727502145810 140727502146086 140727502146086 140727502151658 0
/proc/155373/statm: 99661 79691 2368 1147 0 87087 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 402836 KiB
Current children cumulated memory: 321708 KiB
[startup+25.5002 s]
/proc/loadavg: 1.50 0.66 0.36 5/268 155565
/proc/meminfo: memFree=125470844/131249996 swapFree=33010160/33010684
[pid=155356] ppid=155347 vsize=4192 memory=2944 CPUtime=0.13 cores=0,2
/proc/155356/stat : 155356 (run-opt-break-l) S 155347 155356 155295 0 -1 4194304 239 6479 0 0 0 0 12 1 20 0 1 0 174138776 4292608 736 18446744073709551615 94651796389888 94651797284421 140736885855040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94651797523472 94651797571216 94651817680896 140736885856531 140736885856732 140736885856732 140736885862336 0
/proc/155356/statm: 1048 736 672 219 0 110 0
[pid=155373] ppid=155356 vsize=406564 memory=325804 CPUtime=25.15 cores=0,2
/proc/155373/stat : 155373 (roundingsat) R 155356 155356 155295 0 -1 4194304 56455 0 0 0 2249 266 0 0 20 0 1 0 174138797 416321536 81451 18446744073709551615 4227072 8923577 140727502140992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27373568 140727502145810 140727502146086 140727502146086 140727502151658 0
/proc/155373/statm: 101641 81451 2368 1147 0 89067 0
Current children cumulated CPU time: 25.28 s
Current children cumulated vsize: 410756 KiB
Current children cumulated memory: 328748 KiB
[startup+51.1057 s]
/proc/loadavg: 2.56 0.99 0.49 5/273 155667
/proc/meminfo: memFree=125123028/131249996 swapFree=33010160/33010684
[pid=155356] ppid=155347 vsize=4192 memory=2944 CPUtime=0.13 cores=0,2
/proc/155356/stat : 155356 (run-opt-break-l) S 155347 155356 155295 0 -1 4194304 239 6479 0 0 0 0 12 1 20 0 1 0 174138776 4292608 736 18446744073709551615 94651796389888 94651797284421 140736885855040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94651797523472 94651797571216 94651817680896 140736885856531 140736885856732 140736885856732 140736885862336 0
/proc/155356/statm: 1048 736 672 219 0 110 0
[pid=155373] ppid=155356 vsize=749744 memory=624668 CPUtime=50.68 cores=0,2
/proc/155373/stat : 155373 (roundingsat) R 155356 155356 155295 0 -1 4194304 123022 0 0 0 4735 333 0 0 20 0 1 0 174138797 767737856 156167 18446744073709551615 4227072 8923577 140727502140992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27373568 140727502145810 140727502146086 140727502146086 140727502151658 0
/proc/155373/statm: 187436 156167 2368 1147 0 174862 0
Current children cumulated CPU time: 50.81 s
Current children cumulated vsize: 753936 KiB
Current children cumulated memory: 627612 KiB
[startup+80.2691 s]
# the end of solver process 155356 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=75.1207 s, system=3.83786 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 2.56 0.99 0.49 5/273 155667
/proc/meminfo: memFree=125123028/131249996 swapFree=33010160/33010684
[pid=155356] ppid=155347 vsize=4192 memory=2944 CPUtime=0.13 cores=0,2
/proc/155356/stat : 155356 (run-opt-break-l) S 155347 155356 155295 0 -1 4194304 239 6479 0 0 0 0 12 1 20 0 1 0 174138776 4292608 736 18446744073709551615 94651796389888 94651797284421 140736885855040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94651797523472 94651797571216 94651817680896 140736885856531 140736885856732 140736885856732 140736885862336 0
/proc/155356/statm: 1048 736 672 219 0 110 0
[pid=155373] ppid=155356 vsize=749744 memory=624796 CPUtime=50.78 cores=0,2
/proc/155373/stat : 155373 (roundingsat) R 155356 155356 155295 0 -1 4194304 123039 0 0 0 4744 334 0 0 20 0 1 0 174138797 767737856 156199 18446744073709551615 4227072 8923577 140727502140992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27373568 140727502145810 140727502146086 140727502146086 140727502151658 0
/proc/155373/statm: 187436 156199 2368 1147 0 174862 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 753936 KiB
Current children cumulated memory: 627740 KiB
[startup+64.0001 s]*
/proc/loadavg: 2.79 1.09 0.52 5/273 155667
/proc/meminfo: memFree=124735220/131249996 swapFree=33010160/33010684
[pid=155356] ppid=155347 vsize=4192 memory=2944 CPUtime=0.13 cores=0,2
/proc/155356/stat : 155356 (run-opt-break-l) S 155347 155356 155295 0 -1 4194304 239 6479 0 0 0 0 12 1 20 0 1 0 174138776 4292608 736 18446744073709551615 94651796389888 94651797284421 140736885855040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94651797523472 94651797571216 94651817680896 140736885856531 140736885856732 140736885856732 140736885862336 0
/proc/155356/statm: 1048 736 672 219 0 110 0
[pid=155373] ppid=155356 vsize=837284 memory=655104 CPUtime=62.71 cores=0,2
/proc/155373/stat : 155373 (roundingsat) R 155356 155356 155295 0 -1 4194304 128780 0 0 0 5912 359 0 0 20 0 1 0 174138797 857378816 163776 18446744073709551615 4227072 8923577 140727502140992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27373568 140727502145810 140727502146086 140727502146086 140727502151658 0
/proc/155373/statm: 209321 163776 2368 1147 0 196747 0
Current children cumulated CPU time: 62.84 s
Current children cumulated vsize: 841476 KiB
Current children cumulated memory: 658048 KiB
[startup+70.4001 s]
/proc/loadavg: 2.88 1.14 0.54 5/273 155667
/proc/meminfo: memFree=124602380/131249996 swapFree=33010160/33010684
[pid=155356] ppid=155347 vsize=4192 memory=2944 CPUtime=0.13 cores=0,2
/proc/155356/stat : 155356 (run-opt-break-l) S 155347 155356 155295 0 -1 4194304 239 6479 0 0 0 0 12 1 20 0 1 0 174138776 4292608 736 18446744073709551615 94651796389888 94651797284421 140736885855040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94651797523472 94651797571216 94651817680896 140736885856531 140736885856732 140736885856732 140736885862336 0
/proc/155356/statm: 1048 736 672 219 0 110 0
[pid=155373] ppid=155356 vsize=838260 memory=656256 CPUtime=69.08 cores=0,2
/proc/155373/stat : 155373 (roundingsat) R 155356 155356 155295 0 -1 4194304 128947 0 0 0 6545 363 0 0 20 0 1 0 174138797 858378240 164064 18446744073709551615 4227072 8923577 140727502140992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27373568 140727502145810 140727502146086 140727502146086 140727502151658 0
/proc/155373/statm: 209565 164064 2368 1147 0 196991 0
Current children cumulated CPU time: 69.21 s
Current children cumulated vsize: 842452 KiB
Current children cumulated memory: 659200 KiB
[startup+76.8001 s]
/proc/loadavg: 3.06 1.24 0.58 5/273 155667
/proc/meminfo: memFree=124489988/131249996 swapFree=33010160/33010684
[pid=155356] ppid=155347 vsize=4192 memory=2944 CPUtime=0.13 cores=0,2
/proc/155356/stat : 155356 (run-opt-break-l) S 155347 155356 155295 0 -1 4194304 239 6479 0 0 0 0 12 1 20 0 1 0 174138776 4292608 736 18446744073709551615 94651796389888 94651797284421 140736885855040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94651797523472 94651797571216 94651817680896 140736885856531 140736885856732 140736885856732 140736885862336 0
/proc/155356/statm: 1048 736 672 219 0 110 0
[pid=155373] ppid=155356 vsize=838540 memory=656640 CPUtime=75.47 cores=0,2
/proc/155373/stat : 155373 (roundingsat) R 155356 155356 155295 0 -1 4194304 129024 0 0 0 7178 369 0 0 20 0 1 0 174138797 858664960 164160 18446744073709551615 4227072 8923577 140727502140992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27373568 140727502145810 140727502146086 140727502146086 140727502151658 0
/proc/155373/statm: 209635 164160 2400 1147 0 197061 0
Current children cumulated CPU time: 75.6 s
Current children cumulated vsize: 842732 KiB
Current children cumulated memory: 659584 KiB
[startup+78.4001 s]
/proc/loadavg: 3.06 1.24 0.58 5/273 155667
/proc/meminfo: memFree=124451128/131249996 swapFree=33010160/33010684
[pid=155356] ppid=155347 vsize=4192 memory=2944 CPUtime=0.13 cores=0,2
/proc/155356/stat : 155356 (run-opt-break-l) S 155347 155356 155295 0 -1 4194304 239 6479 0 0 0 0 12 1 20 0 1 0 174138776 4292608 736 18446744073709551615 94651796389888 94651797284421 140736885855040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94651797523472 94651797571216 94651817680896 140736885856531 140736885856732 140736885856732 140736885862336 0
/proc/155356/statm: 1048 736 672 219 0 110 0
[pid=155373] ppid=155356 vsize=838540 memory=656896 CPUtime=77.07 cores=0,2
/proc/155373/stat : 155373 (roundingsat) R 155356 155356 155295 0 -1 4194304 129061 0 0 0 7334 373 0 0 20 0 1 0 174138797 858664960 164224 18446744073709551615 4227072 8923577 140727502140992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27373568 140727502145810 140727502146086 140727502146086 140727502151658 0
/proc/155373/statm: 209635 164224 2400 1147 0 197061 0
Current children cumulated CPU time: 77.2 s
Current children cumulated vsize: 842732 KiB
Current children cumulated memory: 659840 KiB
[startup+79.2001 s]
/proc/loadavg: 3.06 1.24 0.58 5/273 155667
/proc/meminfo: memFree=124398144/131249996 swapFree=33010160/33010684
[pid=155356] ppid=155347 vsize=4192 memory=2944 CPUtime=0.13 cores=0,2
/proc/155356/stat : 155356 (run-opt-break-l) S 155347 155356 155295 0 -1 4194304 239 6479 0 0 0 0 12 1 20 0 1 0 174138776 4292608 736 18446744073709551615 94651796389888 94651797284421 140736885855040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94651797523472 94651797571216 94651817680896 140736885856531 140736885856732 140736885856732 140736885862336 0
/proc/155356/statm: 1048 736 672 219 0 110 0
[pid=155373] ppid=155356 vsize=838540 memory=656896 CPUtime=77.86 cores=0,2
/proc/155373/stat : 155373 (roundingsat) R 155356 155356 155295 0 -1 4194304 129063 0 0 0 7412 374 0 0 20 0 1 0 174138797 858664960 164224 18446744073709551615 4227072 8923577 140727502140992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27373568 140727502145810 140727502146086 140727502146086 140727502151658 0
/proc/155373/statm: 209635 164224 2400 1147 0 197061 0
Current children cumulated CPU time: 77.99 s
Current children cumulated vsize: 842732 KiB
Current children cumulated memory: 659840 KiB
[startup+80.0001 s]*
/proc/loadavg: 3.06 1.24 0.58 5/273 155667
/proc/meminfo: memFree=124389616/131249996 swapFree=33010160/33010684
[pid=155356] ppid=155347 vsize=4192 memory=2944 CPUtime=0.13 cores=0,2
/proc/155356/stat : 155356 (run-opt-break-l) S 155347 155356 155295 0 -1 4194304 239 6479 0 0 0 0 12 1 20 0 1 0 174138776 4292608 736 18446744073709551615 94651796389888 94651797284421 140736885855040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94651797523472 94651797571216 94651817680896 140736885856531 140736885856732 140736885856732 140736885862336 0
/proc/155356/statm: 1048 736 672 219 0 110 0
[pid=155373] ppid=155356 vsize=838540 memory=656896 CPUtime=78.67 cores=0,2
/proc/155373/stat : 155373 (roundingsat) R 155356 155356 155295 0 -1 4194304 129063 0 0 0 7490 377 0 0 20 0 1 0 174138797 858664960 164224 18446744073709551615 4227072 8923577 140727502140992 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 27373568 140727502145810 140727502146086 140727502146086 140727502151658 0
/proc/155373/statm: 209635 164224 2400 1147 0 197061 0
Current children cumulated CPU time: 78.8 s
Current children cumulated vsize: 842732 KiB
Current children cumulated memory: 659840 KiB
[startup+80.2002 s]
/proc/loadavg: 3.06 1.24 0.58 5/273 155667
/proc/meminfo: memFree=124389616/131249996 swapFree=33010160/33010684
[pid=155356] ppid=155347 vsize=4192 memory=2944 CPUtime=0.13 cores=0,2
/proc/155356/stat : 155356 (run-opt-break-l) S 155347 155356 155295 0 -1 4194304 239 6479 0 0 0 0 12 1 20 0 1 0 174138776 4292608 736 18446744073709551615 94651796389888 94651797284421 140736885855040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94651797523472 94651797571216 94651817680896 140736885856531 140736885856732 140736885856732 140736885862336 0
/proc/155356/statm: 1048 736 672 219 0 110 0
[pid=155373] ppid=155356 vsize=838540 memory=656896 CPUtime=78.77 cores=0,2
/proc/155373/stat : 155373 (roundingsat) D 155356 155356 155295 0 -1 4194304 129071 0 0 0 7499 378 0 0 20 0 1 0 174138797 858664960 164224 18446744073709551615 4227072 8923577 140727502140992 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9827200 9836688 27373568 140727502145810 140727502146086 140727502146086 140727502151658 0
/proc/155373/statm: 209635 164224 2400 1147 0 197061 0
Current children cumulated CPU time: 78.9 s
Current children cumulated vsize: 842732 KiB
Current children cumulated memory: 659840 KiB
Child status: 0
Real time (s): 80.2691
CPU time (s): 78.9585
CPU user time (s): 75.1207
CPU system time (s): 3.83786
CPU usage (%): 98.3673
Max. virtual memory (cumulated for all children) (KiB): 842732
Max. memory (cumulated for all children) (KiB): 659840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 75.1207
system time used= 3.83786
maximum resident set size= 656896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135815
page faults= 0
swaps= 0
block input operations= 0
block output operations= 763936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2373
involuntary context switches= 237
# summary of solver processes directly reported to runsolver:
# pid: 155356
# total CPU time (s): 78.9585
# total CPU user time (s): 75.1207
# total CPU system time (s): 3.83786
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.153122 second user time and 0.39904 second system time
The end
Begin job on nodeC029 at 2025-07-15 15:03:23
IDJOB=4532431
IDBENCH=146652
IDSOLVER=3393
FILE ID=nodeC029/4532431-1752584603
RUNJOBID= nodeC029-1752584602-155305
SLURM_JOB_ID= 9684359
Free space on /tmp= 432864 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
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 -w /tmp/evaluation-result-4532431-1752584603/watcher-4532431-1752584603 -o /tmp/evaluation-result-4532431-1752584603/solver-4532431-1752584603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1752584602-155305 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532431-1752584603.opb PROOFDIR/proof-4532431-1752584603
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b97b9bf3767749854a32fccedb37d823
RANDOM SEED=1057340159
nodeC029 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 : 3599.961
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 : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.057
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 : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.736
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 : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3681.119
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 : 6999.46
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 : 3599.821
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 : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3706.667
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 : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.727
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 : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.713
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 : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126477716 kB
MemAvailable: 129782344 kB
Buffers: 2128 kB
Cached: 4099252 kB
SwapCached: 40 kB
Active: 518784 kB
Inactive: 3647980 kB
Active(anon): 86836 kB
Inactive(anon): 4760 kB
Active(file): 431948 kB
Inactive(file): 3643220 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 22036 kB
Writeback: 0 kB
AnonPages: 68496 kB
Mapped: 106928 kB
Shmem: 26212 kB
KReclaimable: 137400 kB
Slab: 231744 kB
SReclaimable: 137400 kB
SUnreclaim: 94344 kB
KernelStack: 4004 kB
PageTables: 2648 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 342596 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3968 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 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: 193236 kB
DirectMap2M: 11112448 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432832 MiB
End job on nodeC029 at 2025-07-15 15:04:44