0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4484218-1751283734.opb'
0.00/0.01 c read 0.55MB (7.74ms)
0.00/0.01 c [cnf: #variables 8405 #clauses 10668 #duplicates 0 #arr 51941]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 2572] (12.70ms)
0.00/0.03 c
0.00/0.03 c detect special group actions
0.00/0.03 c probe for Johnson action (limit=64)
0.00/0.03 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.03 c found row 6x48, generating row predicate
0.00/0.04 c found row 5x48, generating row predicate
0.00/0.04 c found row 3x48, generating row predicate
0.00/0.06 c found row 26x48, generating row predicate
0.00/0.06 c found row 7x48, generating row predicate
0.00/0.06 c found row 3x48, generating row predicate
0.00/0.06 c found row 3x48, generating row predicate
0.00/0.07 c found row 6x48, generating row predicate
0.00/0.07 c found row 6x48, generating row predicate
0.00/0.07 c found row 3x48, generating row predicate
0.00/0.08 c found row 5x48, generating row predicate
0.00/0.09 c found row 12x48, generating row predicate
0.00/0.09 c found row 3x48, generating row predicate
0.00/0.09 c found row 3x48, generating row predicate
0.00/0.09 c found row 3x48, generating row predicate
0.00/0.09 c found row 3x48, generating row predicate
0.00/0.09 c found row 4x48, generating row predicate
0.00/0.10 c found row 4x48, generating row predicate
0.00/0.10 c found row 5x48, generating row predicate
0.00/0.10 c (71.44ms)
0.00/0.10 c
0.00/0.10 c detect symmetries on remainder
0.00/0.10 c [graph: #vertices 47967 #edges 161670]
0.00/0.10 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.09/0.11 c [group: #symmetries 8.35*10^12 #generators 40] (13.77ms)
0.09/0.11 c
0.09/0.11 c optimize generators (opt_passes=64, conjugate_limit=256)
0.09/0.11 c ran it=0, +gens=1
0.09/0.12 c con best_support=56, best_gens=1, +gens=0
0.09/0.12 c (9.03ms)
0.09/0.12 c
0.09/0.12 c finalize break order and special generators
0.09/0.12 c
0.09/0.12 c add generic predicates (break_depth=20)
0.09/0.12 c added predicates for 41 generators (0.22ms)
0.09/0.12 c
0.09/0.12 c generation finished
0.09/0.12 c [sbp: #constraints 15300 #add_vars 5056]
0.09/0.12 c
0.09/0.12 c write result to 'HOME/instance-4484218-1751283734.opb.pre'
0.09/0.13 c wrote 1.12MB (2.64ms)
0.09/0.13 c ------------------------------------------------------------------
0.09/0.13 c 71.44ms 60.11% detect_special
0.09/0.13 c 13.77ms 11.59% detect_generic
0.09/0.13 c 12.70ms 10.68% approx_orbits
0.09/0.13 c 9.03ms 7.60% optimize_gens
0.09/0.13 c 7.74ms 6.51% parse
0.09/0.13 c 2.64ms 2.22% output
0.09/0.13 c 0.89ms 0.75% other
0.09/0.13 c 0.42ms 0.36% finalize_order
0.09/0.13 c 0.22ms 0.18% break_generic
0.09/0.13 c ───────────────────────────────────────────────
0.09/0.13 c 118.85ms 100% total
0.09/0.13 c ------------------------------------------------------------------
0.09/0.14 c RoundingSat 2
0.09/0.14 c branch pb25
0.09/0.14 c commit 63f22ad
0.17/0.26 c #variables 13461 #constraints 26667
0.17/0.26 c objective is ce32
0.47/0.57 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.47/0.57 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.47/0.57 c bounds 20668 >= -3212 @ 0.397554
0.76/0.87 c bounds 20567 >= -3212 @ 0.684911
0.76/0.87 c bounds 20567 >= -2445 @ 0.688179
0.76/0.88 c bounds 20567 >= -2345 @ 0.690164
0.76/0.88 c bounds 20567 >= -2245 @ 0.691248
0.76/0.88 c bounds 20567 >= -2145 @ 0.692332
0.76/0.88 c bounds 20567 >= -2045 @ 0.693396
0.76/0.88 c bounds 20567 >= -2044 @ 0.694488
0.76/0.89 c bounds 20567 >= -2043 @ 0.695812
0.76/0.89 c bounds 20567 >= -2042 @ 0.696811
0.76/0.89 c bounds 20567 >= -2041 @ 0.697811
0.76/0.89 c bounds 20567 >= -2040 @ 0.698911
0.76/0.89 c bounds 20567 >= -2039 @ 0.699959
0.86/0.90 c bounds 20567 >= -2038 @ 0.701095
0.86/0.90 c bounds 20567 >= -2037 @ 0.702202
0.86/0.90 c bounds 20567 >= -2036 @ 0.7033
0.86/0.90 c bounds 20567 >= -2035 @ 0.704364
0.86/0.91 c bounds 20567 >= -2034 @ 0.704916
0.86/0.91 c bounds 20567 >= -2033 @ 0.705957
0.86/0.91 c bounds 20567 >= -2032 @ 0.708002
0.86/0.95 c bounds 20566 >= -2032 @ 0.739508
0.86/0.95 c bounds 20566 >= -2031 @ 0.741787
0.86/0.95 c bounds 20566 >= -2030 @ 0.743965
0.86/0.95 c bounds 20566 >= -2029 @ 0.745174
0.86/0.95 c bounds 20566 >= -2028 @ 0.745722
0.86/0.96 c bounds 20566 >= -2027 @ 0.745725
0.86/0.96 c bounds 20566 >= -1927 @ 0.74741
0.86/0.96 c bounds 20566 >= -1827 @ 0.750233
0.86/0.97 c bounds 20566 >= -1727 @ 0.752087
0.86/0.97 c bounds 20566 >= -1627 @ 0.753961
0.86/0.98 c bounds 20566 >= -1626 @ 0.754875
0.86/0.98 c bounds 20566 >= -1622 @ 0.756007
0.86/0.98 c bounds 20566 >= -1619 @ 0.757093
0.86/0.99 c bounds 20566 >= -1618 @ 0.758149
0.86/0.99 c bounds 20566 >= -1617 @ 0.759224
0.86/1.00 c bounds 20566 >= -1616 @ 0.762188
0.86/1.00 c bounds 20566 >= -1609 @ 0.763315
0.96/1.00 c bounds 20566 >= -1602 @ 0.764648
0.96/1.01 c bounds 20566 >= -1595 @ 0.766686
0.96/1.01 c bounds 20566 >= -1588 @ 0.767907
0.96/1.02 c bounds 20566 >= -1587 @ 0.768979
0.96/1.02 c bounds 20566 >= -1586 @ 0.77003
0.96/1.02 c bounds 20566 >= -1579 @ 0.772151
0.96/1.03 c bounds 20566 >= -1578 @ 0.77417
0.96/1.03 c bounds 20566 >= -1577 @ 0.775173
0.96/1.07 c bounds 20466 >= -1577 @ 0.807488
0.96/1.08 c bounds 20466 >= -1575 @ 0.810925
0.96/1.08 c bounds 20466 >= -1574 @ 0.812989
0.96/1.08 c bounds 20466 >= -1573 @ 0.816142
0.96/1.09 c bounds 20466 >= -1568 @ 0.819242
0.96/1.09 c bounds 20466 >= -1565 @ 0.821544
0.96/1.10 c bounds 20466 >= -1564 @ 0.823542
1.06/1.10 c bounds 20466 >= -1559 @ 0.824543
1.06/1.11 c bounds 20466 >= -1552 @ 0.825861
1.06/1.11 c bounds 20466 >= -1547 @ 0.828948
1.06/1.11 c bounds 20466 >= -1540 @ 0.830921
1.06/1.12 c bounds 20466 >= -1539 @ 0.83406
1.06/1.12 c bounds 20466 >= -1538 @ 0.835074
1.06/1.13 c bounds 20466 >= -1537 @ 0.836175
1.06/1.13 c bounds 20466 >= -1536 @ 0.838207
1.06/1.13 c bounds 20466 >= -1531 @ 0.840527
1.06/1.14 c bounds 20466 >= -1526 @ 0.842526
1.06/1.14 c bounds 20466 >= -1519 @ 0.844522
1.06/1.15 c bounds 20466 >= -1518 @ 0.845825
1.06/1.15 c bounds 20466 >= -1516 @ 0.848785
1.06/1.15 c bounds 20466 >= -1513 @ 0.850988
1.16/1.20 c bounds 20465 >= -1513 @ 0.888903
1.16/1.21 c bounds 20465 >= -1510 @ 0.891401
1.16/1.21 c bounds 20465 >= -1509 @ 0.89257
1.16/1.21 c bounds 20465 >= -1504 @ 0.893746
1.16/1.22 c bounds 20465 >= -1503 @ 0.895816
1.16/1.22 c bounds 20465 >= -1501 @ 0.897954
1.16/1.23 c bounds 20465 >= -1494 @ 0.898986
1.16/1.23 c bounds 20465 >= -1493 @ 0.900156
1.16/1.23 c bounds 20465 >= -1490 @ 0.902411
1.16/1.24 c bounds 20465 >= -1489 @ 0.904411
1.16/1.24 c bounds 20465 >= -1485 @ 0.908263
1.16/1.25 c bounds 20465 >= -1480 @ 0.909403
1.16/1.25 c bounds 20465 >= -1476 @ 0.911401
1.16/1.25 c bounds 20465 >= -1475 @ 0.915417
1.16/1.26 c bounds 20465 >= -1473 @ 0.918465
1.16/1.26 c bounds 20465 >= -1472 @ 0.921524
1.16/1.27 c bounds 20465 >= -1468 @ 0.923738
1.16/1.27 c bounds 20465 >= -1466 @ 0.924781
1.16/1.27 c bounds 20465 >= -1465 @ 0.927753
1.16/1.28 c bounds 20465 >= -1460 @ 0.930889
1.16/1.28 c bounds 20465 >= -1458 @ 0.932054
1.16/1.29 c bounds 20465 >= -1457 @ 0.933366
1.16/1.29 c bounds 20465 >= -1451 @ 0.934545
1.26/1.30 c bounds 20465 >= -1450 @ 0.935714
1.26/1.30 c bounds 20465 >= -1445 @ 0.937673
1.26/1.30 c bounds 20465 >= -1438 @ 0.938888
1.26/1.31 c bounds 20465 >= -1437 @ 0.941844
1.26/1.31 c bounds 20465 >= -1432 @ 0.943358
1.26/1.32 c bounds 20465 >= -1427 @ 0.944049
1.26/1.32 c bounds 20465 >= -1426 @ 0.947091
1.26/1.36 c bounds 20365 >= -1426 @ 0.982223
1.26/1.37 c bounds 20365 >= -1419 @ 0.983209
1.26/1.37 c bounds 20365 >= -1412 @ 0.984768
1.26/1.38 c bounds 20365 >= -1407 @ 0.985832
1.26/1.38 c bounds 20365 >= -1406 @ 0.988144
1.26/1.39 c bounds 20365 >= -1405 @ 0.988962
1.26/1.39 c bounds 20365 >= -1404 @ 0.991265
1.26/1.39 c bounds 20365 >= -1403 @ 0.993262
1.36/1.40 c bounds 20365 >= -1396 @ 0.99635
1.36/1.40 c bounds 20365 >= -1395 @ 0.997598
1.36/1.41 c bounds 20365 >= -1394 @ 0.999934
1.36/1.41 c bounds 20365 >= -1387 @ 1.0008
1.36/1.41 c bounds 20365 >= -1386 @ 1.00381
1.36/1.42 c bounds 20365 >= -1379 @ 1.00608
1.36/1.42 c bounds 20365 >= -1378 @ 1.00919
1.36/1.43 c bounds 20365 >= -1377 @ 1.01039
1.36/1.43 c bounds 20365 >= -1376 @ 1.01236
1.36/1.43 c bounds 20365 >= -1375 @ 1.01323
1.36/1.44 c bounds 20365 >= -1374 @ 1.01371
1.36/1.44 c bounds 20365 >= -1373 @ 1.01576
1.36/1.45 c bounds 20365 >= -1372 @ 1.01778
1.36/1.45 c bounds 20365 >= -1366 @ 1.02017
1.36/1.46 c bounds 20365 >= -1362 @ 1.02222
1.36/1.46 c bounds 20365 >= -1359 @ 1.02238
1.36/1.46 c bounds 20365 >= -1358 @ 1.02433
1.46/1.52 c bounds 20265 >= -1358 @ 1.07992
1.46/1.53 c bounds 20265 >= -1357 @ 1.08351
1.46/1.53 c bounds 20265 >= -1350 @ 1.0856
1.46/1.54 c bounds 20265 >= -1343 @ 1.08793
1.46/1.54 c bounds 20265 >= -1340 @ 1.08995
1.46/1.54 c bounds 20265 >= -1333 @ 1.09221
1.46/1.55 c bounds 20265 >= -1330 @ 1.09346
1.46/1.55 c bounds 20265 >= -1323 @ 1.09659
1.46/1.56 c bounds 20265 >= -1320 @ 1.09998
1.46/1.56 c bounds 20265 >= -1314 @ 1.10047
1.46/1.56 c bounds 20265 >= -1307 @ 1.10167
1.46/1.57 c bounds 20265 >= -1302 @ 1.10482
1.46/1.57 c bounds 20265 >= -1297 @ 1.10694
1.46/1.58 c bounds 20265 >= -1296 @ 1.11103
1.46/1.58 c bounds 20265 >= -1289 @ 1.11319
1.46/1.59 c bounds 20265 >= -1286 @ 1.11519
1.46/1.59 c bounds 20265 >= -1284 @ 1.11743
1.46/1.59 c bounds 20265 >= -1282 @ 1.11847
1.56/1.60 c bounds 20265 >= -1281 @ 1.11952
1.56/1.60 c bounds 20265 >= -1279 @ 1.12256
1.56/1.61 c bounds 20265 >= -1277 @ 1.12455
1.56/1.61 c bounds 20265 >= -1274 @ 1.12555
1.56/1.61 c bounds 20265 >= -1273 @ 1.12768
1.56/1.62 c bounds 20265 >= -1268 @ 1.12968
1.56/1.62 c bounds 20265 >= -1267 @ 1.1317
1.56/1.63 c bounds 20265 >= -1260 @ 1.13394
1.56/1.63 c bounds 20265 >= -1257 @ 1.13599
1.56/1.63 c bounds 20265 >= -1256 @ 1.13715
1.56/1.64 c bounds 20265 >= -1249 @ 1.13842
1.56/1.64 c bounds 20265 >= -1247 @ 1.14131
1.56/1.65 c bounds 20265 >= -1246 @ 1.14255
1.56/1.65 c bounds 20265 >= -1240 @ 1.1436
1.56/1.66 c bounds 20265 >= -1239 @ 1.14573
1.56/1.66 c bounds 20265 >= -1237 @ 1.14798
1.56/1.66 c bounds 20265 >= -1233 @ 1.15113
1.56/1.67 c bounds 20265 >= -1232 @ 1.1529
1.56/1.67 c bounds 20265 >= -1229 @ 1.1542
1.56/1.68 c bounds 20265 >= -1226 @ 1.15645
1.56/1.68 c bounds 20265 >= -1220 @ 1.15836
1.56/1.68 c bounds 20265 >= -1217 @ 1.16049
1.56/1.69 c bounds 20265 >= -1210 @ 1.16266
1.56/1.69 c bounds 20265 >= -1204 @ 1.16594
1.65/1.70 c bounds 20265 >= -1202 @ 1.16773
1.65/1.70 c bounds 20265 >= -1197 @ 1.1698
1.65/1.70 c bounds 20265 >= -1195 @ 1.17287
1.65/1.71 c bounds 20265 >= -1194 @ 1.17699
1.65/1.71 c bounds 20265 >= -1193 @ 1.17792
1.65/1.77 c bounds 20264 >= -1193 @ 1.22227
1.65/1.78 c bounds 20264 >= -1192 @ 1.22381
1.65/1.78 c bounds 20264 >= -1186 @ 1.2248
1.65/1.79 c bounds 20264 >= -1185 @ 1.2258
1.65/1.79 c bounds 20264 >= -1181 @ 1.22786
1.65/1.79 c bounds 20264 >= -1178 @ 1.22895
1.76/1.80 c bounds 20264 >= -1171 @ 1.23231
1.76/1.80 c bounds 20264 >= -1170 @ 1.2342
1.76/1.81 c bounds 20264 >= -1163 @ 1.23649
1.76/1.81 c bounds 20264 >= -1157 @ 1.23749
1.76/1.81 c bounds 20264 >= -1154 @ 1.23878
1.76/1.82 c bounds 20264 >= -1151 @ 1.24078
1.76/1.82 c bounds 20264 >= -1148 @ 1.24277
1.76/1.83 c bounds 20264 >= -1144 @ 1.24483
1.76/1.83 c bounds 20264 >= -1143 @ 1.24795
1.76/1.83 c bounds 20264 >= -1136 @ 1.24932
1.76/1.84 c bounds 20264 >= -1131 @ 1.25033
1.76/1.84 c bounds 20264 >= -1124 @ 1.25249
1.76/1.85 c bounds 20264 >= -1117 @ 1.25375
1.76/1.85 c bounds 20264 >= -1112 @ 1.25476
1.76/1.86 c bounds 20264 >= -1105 @ 1.25575
1.76/1.86 c bounds 20264 >= -1099 @ 1.25783
1.76/1.86 c bounds 20264 >= -1098 @ 1.25991
1.76/1.87 c bounds 20264 >= -1091 @ 1.26242
1.76/1.87 c bounds 20264 >= -1090 @ 1.26331
1.76/1.88 c bounds 20264 >= -1082 @ 1.26431
1.76/1.88 c bounds 20264 >= -1075 @ 1.26547
1.76/1.88 c bounds 20264 >= -1074 @ 1.26853
1.76/1.89 c bounds 20264 >= -1073 @ 1.27062
1.76/1.89 c bounds 20264 >= -1071 @ 1.27369
1.86/1.90 c bounds 20264 >= -1070 @ 1.27487
1.86/1.90 c bounds 20264 >= -1067 @ 1.27614
1.86/1.90 c bounds 20264 >= -1063 @ 1.27802
1.86/1.91 c bounds 20264 >= -1059 @ 1.28113
1.86/1.91 c bounds 20264 >= -1052 @ 1.28425
1.86/1.97 c bounds 20263 >= -1052 @ 1.33819
1.86/1.97 c bounds 20263 >= -1044 @ 1.34285
1.86/1.98 c bounds 20263 >= -1037 @ 1.34512
1.86/1.98 c bounds 20263 >= -1032 @ 1.3471
1.86/1.99 c bounds 20263 >= -1031 @ 1.34908
1.86/1.99 c bounds 20263 >= -1024 @ 1.35115
1.86/2.00 c bounds 20263 >= -1023 @ 1.35224
1.86/2.00 c bounds 20263 >= -1022 @ 1.35354
1.96/2.00 c bounds 20263 >= -1021 @ 1.35452
1.96/2.01 c bounds 20263 >= -1020 @ 1.35669
1.96/2.01 c bounds 20263 >= -1015 @ 1.35799
1.96/2.02 c bounds 20263 >= -1014 @ 1.36007
1.96/2.02 c bounds 20263 >= -1013 @ 1.36197
1.96/2.02 c bounds 20263 >= -1012 @ 1.36306
1.96/2.03 c bounds 20263 >= -1011 @ 1.3661
1.96/2.03 c bounds 20263 >= -1010 @ 1.3672
1.96/2.04 c bounds 20263 >= -1009 @ 1.36965
1.96/2.04 c bounds 20263 >= -1008 @ 1.37092
1.96/2.04 c bounds 20263 >= -1007 @ 1.37197
1.96/2.05 c bounds 20263 >= -1006 @ 1.37304
1.96/2.05 c bounds 20263 >= -1005 @ 1.37504
1.96/2.06 c bounds 20263 >= -1004 @ 1.37798
1.96/2.06 c bounds 20263 >= -1003 @ 1.38022
1.96/2.07 c bounds 20263 >= -1002 @ 1.38248
1.96/2.07 c bounds 20263 >= -997 @ 1.38348
1.96/2.07 c bounds 20263 >= -996 @ 1.38563
1.96/2.08 c bounds 20263 >= -993 @ 1.38764
1.96/2.08 c bounds 20263 >= -989 @ 1.38894
1.96/2.09 c bounds 20263 >= -985 @ 1.39099
1.96/2.09 c bounds 20263 >= -984 @ 1.39208
1.96/2.09 c bounds 20263 >= -980 @ 1.39606
1.96/2.10 c bounds 20263 >= -977 @ 1.39725
2.06/2.10 c bounds 20263 >= -976 @ 1.39845
2.06/2.11 c bounds 20263 >= -975 @ 1.39945
2.06/2.11 c bounds 20263 >= -974 @ 1.40244
2.06/2.11 c bounds 20263 >= -968 @ 1.4045
2.06/2.12 c bounds 20263 >= -965 @ 1.40559
2.06/2.12 c bounds 20263 >= -964 @ 1.40861
2.06/2.13 c bounds 20263 >= -959 @ 1.41094
2.06/2.13 c bounds 20263 >= -958 @ 1.41281
2.06/2.13 c bounds 20263 >= -953 @ 1.41395
2.06/2.14 c bounds 20263 >= -948 @ 1.41605
2.06/2.14 c bounds 20263 >= -947 @ 1.41804
2.06/2.15 c bounds 20263 >= -946 @ 1.42014
2.06/2.15 c bounds 20263 >= -945 @ 1.42311
2.06/2.16 c bounds 20263 >= -944 @ 1.42539
2.16/2.23 c bounds 20262 >= -944 @ 1.49008
2.16/2.23 c bounds 20262 >= -943 @ 1.49366
2.16/2.23 c bounds 20262 >= -942 @ 1.49479
2.16/2.24 c bounds 20262 >= -941 @ 1.49594
2.16/2.24 c bounds 20262 >= -940 @ 1.4972
2.16/2.25 c bounds 20262 >= -939 @ 1.49836
2.16/2.25 c bounds 20262 >= -938 @ 1.50035
2.16/2.26 c bounds 20262 >= -937 @ 1.50364
2.16/2.26 c bounds 20262 >= -933 @ 1.50575
2.16/2.26 c bounds 20262 >= -932 @ 1.50773
2.16/2.27 c bounds 20262 >= -928 @ 1.51032
2.16/2.27 c bounds 20262 >= -923 @ 1.5126
2.16/2.28 c bounds 20262 >= -918 @ 1.51388
2.16/2.28 c bounds 20262 >= -915 @ 1.51518
2.16/2.29 c bounds 20262 >= -912 @ 1.51834
2.16/2.29 c bounds 20262 >= -907 @ 1.52049
2.16/2.29 c bounds 20262 >= -904 @ 1.52359
2.26/2.30 c bounds 20262 >= -900 @ 1.52672
2.26/2.30 c bounds 20262 >= -895 @ 1.52886
2.26/2.31 c bounds 20262 >= -892 @ 1.53114
2.26/2.31 c bounds 20262 >= -887 @ 1.53397
2.26/2.31 c bounds 20262 >= -883 @ 1.53703
2.26/2.32 c bounds 20262 >= -882 @ 1.53813
2.26/2.32 c bounds 20262 >= -879 @ 1.53959
2.26/2.33 c bounds 20262 >= -875 @ 1.5425
2.26/2.33 c bounds 20262 >= -870 @ 1.54371
2.26/2.34 c bounds 20262 >= -865 @ 1.54583
2.26/2.34 c bounds 20262 >= -861 @ 1.54885
2.26/2.34 c bounds 20262 >= -856 @ 1.55011
2.26/2.35 c bounds 20262 >= -853 @ 1.55111
2.26/2.35 c bounds 20262 >= -849 @ 1.5536
2.26/2.36 c bounds 20262 >= -846 @ 1.55557
2.26/2.36 c bounds 20262 >= -841 @ 1.55872
2.26/2.36 c bounds 20262 >= -837 @ 1.55991
2.26/2.37 c bounds 20262 >= -834 @ 1.56208
2.26/2.37 c bounds 20262 >= -828 @ 1.56356
2.26/2.38 c bounds 20262 >= -826 @ 1.56471
2.26/2.38 c bounds 20262 >= -825 @ 1.56775
2.26/2.39 c bounds 20262 >= -820 @ 1.57086
2.26/2.39 c bounds 20262 >= -817 @ 1.57301
2.26/2.39 c bounds 20262 >= -815 @ 1.57453
2.36/2.40 c bounds 20262 >= -813 @ 1.57563
2.36/2.40 c bounds 20262 >= -808 @ 1.57859
2.36/2.41 c bounds 20262 >= -806 @ 1.58176
2.36/2.41 c bounds 20262 >= -803 @ 1.58475
2.36/2.41 c bounds 20262 >= -801 @ 1.58704
2.36/2.42 c bounds 20262 >= -797 @ 1.58804
2.36/2.42 c bounds 20262 >= -793 @ 1.58904
2.36/2.43 c bounds 20262 >= -789 @ 1.59103
2.36/2.43 c bounds 20262 >= -784 @ 1.59167
2.36/2.44 c bounds 20262 >= -782 @ 1.59376
2.36/2.44 c bounds 20262 >= -779 @ 1.59592
2.36/2.44 c bounds 20262 >= -776 @ 1.59817
2.36/2.45 c bounds 20262 >= -773 @ 1.60017
2.36/2.45 c bounds 20262 >= -769 @ 1.60143
2.36/2.46 c bounds 20262 >= -765 @ 1.60249
2.36/2.46 c bounds 20262 >= -760 @ 1.60356
2.36/2.46 c bounds 20262 >= -756 @ 1.60458
2.36/2.47 c bounds 20262 >= -754 @ 1.60761
2.36/2.47 c bounds 20262 >= -751 @ 1.6089
2.36/2.48 c bounds 20262 >= -749 @ 1.61116
2.36/2.48 c bounds 20262 >= -747 @ 1.61448
2.36/2.48 c bounds 20262 >= -745 @ 1.61835
2.36/2.49 c bounds 20262 >= -742 @ 1.62046
2.36/2.49 c bounds 20262 >= -740 @ 1.62253
2.45/2.50 c bounds 20262 >= -737 @ 1.62569
2.45/2.50 c bounds 20262 >= -733 @ 1.62768
2.45/2.51 c bounds 20262 >= -730 @ 1.62996
2.45/2.51 c bounds 20262 >= -727 @ 1.63296
2.45/2.51 c bounds 20262 >= -725 @ 1.63587
2.45/2.52 c bounds 20262 >= -722 @ 1.63795
2.45/2.52 c bounds 20262 >= -721 @ 1.63844
2.45/2.53 c bounds 20262 >= -720 @ 1.63952
2.45/2.53 c bounds 20262 >= -719 @ 1.64057
2.45/2.53 c bounds 20262 >= -718 @ 1.64257
2.45/2.54 c bounds 20262 >= -717 @ 1.64563
2.45/2.54 c bounds 20262 >= -716 @ 1.64868
2.45/2.55 c bounds 20262 >= -715 @ 1.65092
2.45/2.55 c bounds 20262 >= -713 @ 1.65282
2.45/2.55 c bounds 20262 >= -712 @ 1.65392
2.45/2.56 c bounds 20262 >= -711 @ 1.65695
2.45/2.56 c bounds 20262 >= -710 @ 1.65906
2.45/2.57 c bounds 20262 >= -709 @ 1.66035
2.45/2.57 c bounds 20262 >= -708 @ 1.6614
2.45/2.57 c bounds 20262 >= -707 @ 1.66345
2.45/2.58 c bounds 20262 >= -706 @ 1.66648
2.45/2.58 c bounds 20262 >= -705 @ 1.66764
2.45/2.59 c bounds 20262 >= -704 @ 1.66989
2.45/2.59 c bounds 20262 >= -703 @ 1.67105
2.45/2.60 c bounds 20262 >= -701 @ 1.67204
2.56/2.60 c bounds 20262 >= -699 @ 1.67408
2.56/2.60 c bounds 20262 >= -698 @ 1.67539
2.56/2.61 c bounds 20262 >= -695 @ 1.67744
2.56/2.61 c bounds 20262 >= -694 @ 1.68037
2.56/2.62 c bounds 20262 >= -692 @ 1.6825
2.56/2.62 c bounds 20262 >= -691 @ 1.68557
2.56/2.62 c bounds 20262 >= -690 @ 1.68784
2.56/2.63 c bounds 20262 >= -688 @ 1.68884
2.56/2.63 c bounds 20262 >= -686 @ 1.68999
2.56/2.64 c bounds 20262 >= -684 @ 1.69199
2.56/2.64 c bounds 20262 >= -682 @ 1.69404
2.56/2.64 c bounds 20262 >= -680 @ 1.69551
2.56/2.65 c bounds 20262 >= -678 @ 1.6976
2.56/2.65 c bounds 20262 >= -677 @ 1.69883
2.56/2.66 c bounds 20262 >= -676 @ 1.70098
2.56/2.66 c bounds 20262 >= -672 @ 1.70198
2.56/2.67 c bounds 20262 >= -671 @ 1.7033
2.56/2.67 c bounds 20262 >= -670 @ 1.70436
2.56/2.67 c bounds 20262 >= -669 @ 1.7054
2.56/2.68 c bounds 20262 >= -668 @ 1.70829
2.56/2.68 c bounds 20262 >= -667 @ 1.71039
2.56/2.69 c bounds 20262 >= -666 @ 1.71352
2.56/2.69 c bounds 20262 >= -665 @ 1.71655
2.56/2.69 c bounds 20262 >= -664 @ 1.71878
2.66/2.70 c bounds 20262 >= -663 @ 1.72182
2.66/2.70 c bounds 20262 >= -662 @ 1.72497
2.66/2.71 c bounds 20262 >= -659 @ 1.72635
2.66/2.71 c bounds 20262 >= -658 @ 1.72736
2.66/2.72 c bounds 20262 >= -656 @ 1.7285
2.66/2.72 c bounds 20262 >= -655 @ 1.72949
2.66/2.72 c bounds 20262 >= -654 @ 1.73165
2.66/2.73 c bounds 20262 >= -653 @ 1.73395
2.66/2.73 c bounds 20262 >= -652 @ 1.73534
2.66/2.74 c bounds 20262 >= -651 @ 1.73644
2.66/2.74 c bounds 20262 >= -650 @ 1.73789
2.66/2.74 c bounds 20262 >= -649 @ 1.73929
2.66/2.75 c bounds 20262 >= -648 @ 1.74134
2.66/2.75 c bounds 20262 >= -647 @ 1.7433
2.66/2.76 c bounds 20262 >= -646 @ 1.74544
2.66/2.76 c bounds 20262 >= -645 @ 1.74843
2.66/2.77 c bounds 20262 >= -644 @ 1.75072
2.66/2.77 c bounds 20262 >= -643 @ 1.75271
2.75/2.88 c bounds 20162 >= -643 @ 1.8511
2.75/2.89 c bounds 20162 >= -642 @ 1.85499
2.75/2.89 c bounds 20162 >= -641 @ 1.85702
2.75/2.89 c bounds 20162 >= -640 @ 1.85899
2.86/2.90 c bounds 20162 >= -639 @ 1.86114
2.86/2.90 c bounds 20162 >= -638 @ 1.86215
2.86/2.91 c bounds 20162 >= -637 @ 1.86442
2.86/2.91 c bounds 20162 >= -636 @ 1.86542
2.86/2.92 c bounds 20162 >= -635 @ 1.86642
2.86/2.92 c bounds 20162 >= -634 @ 1.8695
2.86/2.92 c bounds 20162 >= -633 @ 1.8719
2.86/2.93 c bounds 20162 >= -632 @ 1.87312
2.86/2.93 c bounds 20162 >= -631 @ 1.87417
2.86/2.94 c bounds 20162 >= -630 @ 1.8763
2.86/2.94 c bounds 20162 >= -629 @ 1.8784
2.86/2.94 c bounds 20162 >= -628 @ 1.88148
2.86/2.95 c bounds 20162 >= -627 @ 1.88315
2.86/2.95 c bounds 20162 >= -626 @ 1.88439
2.86/2.96 c bounds 20162 >= -625 @ 1.88638
2.86/2.96 c bounds 20162 >= -624 @ 1.88838
2.86/2.97 c bounds 20162 >= -623 @ 1.89035
2.86/2.97 c bounds 20162 >= -622 @ 1.89244
2.86/2.97 c bounds 20162 >= -621 @ 1.89481
2.86/2.98 c bounds 20162 >= -620 @ 1.89661
2.86/2.98 c bounds 20162 >= -619 @ 1.89968
2.86/2.99 c bounds 20162 >= -618 @ 1.90091
2.86/2.99 c bounds 20162 >= -617 @ 1.90191
2.86/2.99 c bounds 20162 >= -616 @ 1.90491
2.86/3.00 c bounds 20162 >= -615 @ 1.90707
2.97/3.00 c bounds 20162 >= -614 @ 1.90932
2.97/3.01 c bounds 20162 >= -613 @ 1.91131
2.97/3.01 c bounds 20162 >= -612 @ 1.9143
2.97/3.01 c bounds 20162 >= -611 @ 1.9173
2.97/3.02 c bounds 20162 >= -610 @ 1.92039
2.97/3.02 c bounds 20162 >= -609 @ 1.92187
2.97/3.03 c bounds 20162 >= -608 @ 1.9238
2.97/3.03 c bounds 20162 >= -607 @ 1.92504
2.97/3.04 c bounds 20162 >= -606 @ 1.92703
2.97/3.04 c bounds 20162 >= -605 @ 1.92928
2.97/3.04 c bounds 20162 >= -604 @ 1.93028
2.97/3.05 c bounds 20162 >= -603 @ 1.93128
2.97/3.05 c bounds 20162 >= -602 @ 1.93337
2.97/3.06 c bounds 20162 >= -601 @ 1.93672
2.97/3.06 c bounds 20162 >= -600 @ 1.93855
2.97/3.06 c bounds 20162 >= -599 @ 1.94164
2.97/3.07 c bounds 20162 >= -598 @ 1.94375
2.97/3.07 c bounds 20162 >= -597 @ 1.94683
2.97/3.08 c bounds 20162 >= -596 @ 1.94992
2.97/3.08 c bounds 20162 >= -595 @ 1.95301
2.97/3.08 c bounds 20162 >= -594 @ 1.95522
2.97/3.09 c bounds 20162 >= -593 @ 1.95622
2.97/3.09 c bounds 20162 >= -591 @ 1.95722
2.97/3.10 c bounds 20162 >= -590 @ 1.95768
2.97/3.10 c bounds 20162 >= -586 @ 1.95875
3.06/3.11 c bounds 20162 >= -583 @ 1.96007
3.06/3.11 c bounds 20162 >= -581 @ 1.96221
3.06/3.11 c bounds 20162 >= -579 @ 1.96417
3.06/3.12 c bounds 20162 >= -576 @ 1.96537
3.06/3.12 c bounds 20162 >= -574 @ 1.96736
3.06/3.13 c bounds 20162 >= -571 @ 1.9697
3.06/3.13 c bounds 20162 >= -563 @ 1.97178
3.06/3.13 c bounds 20162 >= -561 @ 1.97277
3.06/3.14 c bounds 20162 >= -560 @ 1.97476
3.06/3.14 c bounds 20162 >= -551 @ 1.97693
3.06/3.15 c bounds 20162 >= -550 @ 1.97994
3.06/3.15 c bounds 20162 >= -546 @ 1.98205
3.06/3.15 c bounds 20162 >= -545 @ 1.98334
3.06/3.16 c bounds 20162 >= -537 @ 1.98533
3.06/3.16 c bounds 20162 >= -529 @ 1.98741
3.06/3.17 c bounds 20162 >= -523 @ 1.99051
3.06/3.17 c bounds 20162 >= -512 @ 1.99175
3.06/3.17 c bounds 20162 >= -508 @ 1.9939
3.06/3.18 c bounds 20162 >= -505 @ 1.9959
3.06/3.18 c bounds 20162 >= -500 @ 1.99815
3.06/3.19 c bounds 20162 >= -497 @ 1.99915
3.06/3.19 c bounds 20162 >= -493 @ 2.0003
3.06/3.20 c bounds 20162 >= -490 @ 2.0013
3.16/3.20 c bounds 20162 >= -487 @ 2.00366
3.16/3.20 c bounds 20162 >= -483 @ 2.00469
3.16/3.21 c bounds 20162 >= -481 @ 2.00669
3.16/3.21 c bounds 20162 >= -474 @ 2.00968
3.16/3.22 c bounds 20162 >= -470 @ 2.01083
3.16/3.22 c bounds 20162 >= -462 @ 2.01384
3.16/3.22 c bounds 20162 >= -457 @ 2.01591
3.16/3.23 c bounds 20162 >= -456 @ 2.01909
3.16/3.23 c bounds 20162 >= -450 @ 2.02025
3.16/3.24 c bounds 20162 >= -446 @ 2.02224
3.16/3.24 c bounds 20162 >= -441 @ 2.02555
3.16/3.24 c bounds 20162 >= -437 @ 2.02661
3.16/3.25 c bounds 20162 >= -430 @ 2.02765
3.16/3.25 c bounds 20162 >= -429 @ 2.02965
3.16/3.26 c bounds 20162 >= -423 @ 2.03303
3.16/3.26 c bounds 20162 >= -418 @ 2.03422
3.16/3.27 c bounds 20162 >= -406 @ 2.03652
3.16/3.27 c bounds 20162 >= -401 @ 2.0393
3.16/3.27 c bounds 20162 >= -398 @ 2.04161
3.16/3.28 c bounds 20162 >= -397 @ 2.04344
3.16/3.28 c bounds 20162 >= -393 @ 2.04562
3.16/3.29 c bounds 20162 >= -389 @ 2.04761
3.16/3.29 c bounds 20162 >= -385 @ 2.04877
3.16/3.29 c bounds 20162 >= -384 @ 2.04977
3.26/3.30 c bounds 20162 >= -377 @ 2.05204
3.26/3.30 c bounds 20162 >= -376 @ 2.05403
3.26/3.31 c bounds 20162 >= -365 @ 2.05604
3.26/3.31 c bounds 20162 >= -359 @ 2.05718
3.26/3.31 c bounds 20162 >= -357 @ 2.05849
3.26/3.32 c bounds 20162 >= -355 @ 2.05955
3.26/3.32 c bounds 20162 >= -351 @ 2.06159
3.26/3.33 c bounds 20162 >= -348 @ 2.06359
3.26/3.33 c bounds 20162 >= -344 @ 2.06558
3.26/3.33 c bounds 20162 >= -341 @ 2.06774
3.26/3.34 c bounds 20162 >= -340 @ 2.06971
3.26/3.34 c bounds 20162 >= -333 @ 2.071
3.26/3.35 c bounds 20162 >= -329 @ 2.072
3.26/3.35 c bounds 20162 >= -324 @ 2.07496
3.26/3.36 c bounds 20162 >= -321 @ 2.07614
3.26/3.36 c bounds 20162 >= -316 @ 2.07714
3.26/3.36 c bounds 20162 >= -309 @ 2.08049
3.26/3.37 c bounds 20162 >= -304 @ 2.08332
3.26/3.37 c bounds 20162 >= -300 @ 2.08555
3.26/3.38 c bounds 20162 >= -293 @ 2.08849
3.26/3.38 c bounds 20162 >= -284 @ 2.0906
3.26/3.38 c bounds 20162 >= -276 @ 2.09371
3.26/3.39 c bounds 20162 >= -264 @ 2.09679
3.26/3.39 c bounds 20162 >= -260 @ 2.09795
3.36/3.40 c bounds 20162 >= -253 @ 2.10097
3.36/3.40 c bounds 20162 >= -250 @ 2.10304
3.36/3.40 c bounds 20162 >= -246 @ 2.10441
3.36/3.41 c bounds 20162 >= -243 @ 2.10745
3.36/3.41 c bounds 20162 >= -233 @ 2.1088
3.36/3.42 c bounds 20162 >= -229 @ 2.1118
3.36/3.42 c bounds 20162 >= -222 @ 2.11392
3.36/3.43 c bounds 20162 >= -212 @ 2.11509
3.36/3.43 c bounds 20162 >= -205 @ 2.11651
3.36/3.43 c bounds 20162 >= -202 @ 2.11951
3.36/3.44 c bounds 20162 >= -195 @ 2.12086
3.36/3.44 c bounds 20162 >= -191 @ 2.12315
3.36/3.45 c bounds 20162 >= -180 @ 2.12657
3.36/3.45 c bounds 20162 >= -172 @ 2.12884
3.36/3.46 c bounds 20162 >= -169 @ 2.1299
3.36/3.46 c bounds 20162 >= -165 @ 2.13258
3.36/3.46 c bounds 20162 >= -164 @ 2.13468
3.36/3.47 c bounds 20162 >= -163 @ 2.13671
3.36/3.47 c bounds 20162 >= -151 @ 2.13788
3.36/3.48 c bounds 20162 >= -144 @ 2.13835
3.36/3.48 c bounds 20162 >= -138 @ 2.14042
3.36/3.48 c bounds 20162 >= -137 @ 2.14146
3.36/3.49 c bounds 20162 >= -130 @ 2.1444
3.36/3.49 c bounds 20162 >= -121 @ 2.1475
3.46/3.50 c bounds 20162 >= -111 @ 2.14961
3.46/3.50 c bounds 20162 >= -101 @ 2.15171
3.46/3.51 c bounds 20162 >= -92 @ 2.15385
3.46/3.51 c bounds 20162 >= -85 @ 2.154
3.46/3.51 c bounds 20162 >= -75 @ 2.15703
3.46/3.52 c bounds 20162 >= -70 @ 2.15839
3.46/3.52 c bounds 20162 >= -67 @ 2.16045
3.46/3.53 c bounds 20162 >= -61 @ 2.16249
3.46/3.53 c bounds 20162 >= -55 @ 2.1656
3.46/3.53 c bounds 20162 >= -50 @ 2.16782
3.46/3.54 c bounds 20162 >= -44 @ 2.16881
3.46/3.54 c bounds 20162 >= -34 @ 2.16956
3.46/3.55 c bounds 20162 >= -28 @ 2.17186
3.46/3.55 c bounds 20162 >= -19 @ 2.17435
3.46/3.56 c bounds 20162 >= -12 @ 2.17549
3.46/3.56 c bounds 20162 >= -9 @ 2.17661
3.46/3.56 c bounds 20162 >= -3 @ 2.17863
3.46/3.57 c bounds 20162 >= 3 @ 2.18073
3.46/3.57 c bounds 20162 >= 13 @ 2.18343
3.46/3.58 c bounds 20162 >= 19 @ 2.18437
3.46/3.58 c bounds 20162 >= 25 @ 2.18653
3.46/3.59 c bounds 20162 >= 31 @ 2.18853
3.46/3.59 c bounds 20162 >= 34 @ 2.18977
3.46/3.59 c bounds 20162 >= 43 @ 2.19077
3.56/3.60 c bounds 20162 >= 44 @ 2.19192
3.56/3.60 c bounds 20162 >= 50 @ 2.19526
3.56/3.61 c bounds 20162 >= 53 @ 2.19732
3.56/3.61 c bounds 20162 >= 58 @ 2.19836
3.56/3.61 c bounds 20162 >= 63 @ 2.20135
3.56/3.62 c bounds 20162 >= 66 @ 2.20251
3.56/3.62 c bounds 20162 >= 67 @ 2.20352
3.56/3.63 c bounds 20162 >= 72 @ 2.20674
3.56/3.63 c bounds 20162 >= 74 @ 2.20874
3.56/3.63 c bounds 20162 >= 80 @ 2.2108
3.56/3.64 c bounds 20162 >= 82 @ 2.21229
3.56/3.64 c bounds 20162 >= 85 @ 2.21415
3.56/3.65 c bounds 20162 >= 88 @ 2.21637
3.56/3.65 c bounds 20162 >= 89 @ 2.21851
3.56/3.66 c bounds 20162 >= 96 @ 2.22153
3.56/3.66 c bounds 20162 >= 102 @ 2.22469
3.56/3.66 c bounds 20162 >= 105 @ 2.22786
3.56/3.67 c bounds 20162 >= 115 @ 2.2287
3.56/3.67 c bounds 20162 >= 125 @ 2.23108
3.56/3.68 c bounds 20162 >= 131 @ 2.23432
3.56/3.68 c bounds 20162 >= 136 @ 2.23636
3.56/3.68 c bounds 20162 >= 137 @ 2.23768
3.56/3.69 c bounds 20162 >= 147 @ 2.23968
3.56/3.69 c bounds 20162 >= 149 @ 2.2427
3.65/3.70 c bounds 20162 >= 159 @ 2.24415
3.65/3.70 c bounds 20162 >= 169 @ 2.24699
3.65/3.77 c bounds 20161 >= 169 @ 2.31004
3.65/3.78 c bounds 20161 >= 173 @ 2.31302
3.65/3.78 c bounds 20161 >= 177 @ 2.31511
3.65/3.79 c bounds 20161 >= 182 @ 2.3171
3.65/3.79 c bounds 20161 >= 188 @ 2.32026
3.76/3.80 c bounds 20161 >= 192 @ 2.32225
3.76/3.80 c bounds 20161 >= 202 @ 2.32348
3.76/3.80 c bounds 20161 >= 208 @ 2.32464
3.76/3.81 c bounds 20161 >= 218 @ 2.32814
3.76/3.81 c bounds 20161 >= 224 @ 2.33057
3.76/3.82 c bounds 20161 >= 234 @ 2.33401
3.76/3.82 c bounds 20161 >= 241 @ 2.33541
3.76/3.83 c bounds 20161 >= 251 @ 2.33707
3.76/3.83 c bounds 20161 >= 257 @ 2.34027
3.76/3.84 c bounds 20161 >= 259 @ 2.34193
3.76/3.84 c bounds 20161 >= 268 @ 2.34313
3.76/3.84 c bounds 20161 >= 272 @ 2.34542
3.76/3.85 c bounds 20161 >= 275 @ 2.34773
3.76/3.85 c bounds 20161 >= 277 @ 2.35012
3.76/3.86 c bounds 20161 >= 281 @ 2.35157
3.76/3.86 c bounds 20161 >= 287 @ 2.35306
3.76/3.87 c bounds 20161 >= 297 @ 2.35532
3.76/3.87 c bounds 20161 >= 300 @ 2.35763
3.76/3.88 c bounds 20161 >= 310 @ 2.3591
3.76/3.88 c bounds 20161 >= 313 @ 2.35955
3.76/3.88 c bounds 20161 >= 315 @ 2.36101
3.76/3.89 c bounds 20161 >= 317 @ 2.36415
3.76/3.89 c bounds 20161 >= 324 @ 2.36653
3.86/3.90 c bounds 20161 >= 330 @ 2.37127
3.86/3.90 c bounds 20161 >= 336 @ 2.37392
3.86/3.91 c bounds 20161 >= 343 @ 2.37604
3.86/3.91 c bounds 20161 >= 352 @ 2.37841
3.86/3.91 c bounds 20161 >= 358 @ 2.38099
3.86/3.92 c bounds 20161 >= 368 @ 2.38225
3.86/3.92 c bounds 20161 >= 371 @ 2.38486
3.86/3.93 c bounds 20161 >= 377 @ 2.38704
3.86/3.93 c bounds 20161 >= 379 @ 2.38834
3.86/3.94 c bounds 20161 >= 381 @ 2.39033
3.86/3.94 c bounds 20161 >= 382 @ 2.39203
3.86/3.95 c bounds 20161 >= 383 @ 2.39437
3.86/3.95 c bounds 20161 >= 392 @ 2.39596
3.86/3.95 c bounds 20161 >= 393 @ 2.39719
3.86/3.96 c bounds 20161 >= 398 @ 2.3998
3.86/3.96 c bounds 20161 >= 408 @ 2.40099
3.86/3.97 c bounds 20161 >= 413 @ 2.40146
3.86/3.97 c bounds 20161 >= 423 @ 2.40296
3.86/3.98 c bounds 20161 >= 429 @ 2.40518
3.86/3.98 c bounds 20161 >= 435 @ 2.4073
3.86/3.98 c bounds 20161 >= 442 @ 2.40983
3.86/3.99 c bounds 20161 >= 452 @ 2.41228
3.86/3.99 c bounds 20161 >= 462 @ 2.41393
3.86/4.00 c bounds 20161 >= 472 @ 2.41717
3.95/4.00 c bounds 20161 >= 477 @ 2.41956
3.95/4.01 c bounds 20161 >= 488 @ 2.42136
3.95/4.01 c bounds 20161 >= 498 @ 2.42393
3.95/4.02 c bounds 20161 >= 503 @ 2.42521
3.95/4.02 c bounds 20161 >= 509 @ 2.42756
3.95/4.03 c bounds 20161 >= 516 @ 2.42993
3.95/4.03 c bounds 20161 >= 521 @ 2.43039
4.75/4.86 c bounds 20160 >= 521 @ 3.197
4.75/4.86 c bounds 20160 >= 531 @ 3.19958
4.75/4.87 c bounds 20160 >= 541 @ 3.20223
4.75/4.87 c bounds 20160 >= 544 @ 3.20491
4.75/4.88 c bounds 20160 >= 553 @ 3.20743
4.75/4.88 c bounds 20160 >= 554 @ 3.21189
4.75/4.88 c bounds 20160 >= 555 @ 3.21375
4.75/4.89 c bounds 20160 >= 556 @ 3.21708
4.75/4.89 c bounds 20160 >= 557 @ 3.21983
4.85/4.90 c bounds 20160 >= 558 @ 3.22116
4.85/4.90 c bounds 20160 >= 559 @ 3.22381
4.85/4.91 c bounds 20160 >= 560 @ 3.22708
4.85/4.91 c bounds 20160 >= 561 @ 3.22956
4.85/4.92 c bounds 20160 >= 562 @ 3.23202
4.85/4.92 c bounds 20160 >= 563 @ 3.23373
4.85/4.93 c bounds 20160 >= 564 @ 3.23699
4.85/4.93 c bounds 20160 >= 565 @ 3.23874
4.85/4.93 c bounds 20160 >= 566 @ 3.24201
4.85/4.94 c bounds 20160 >= 567 @ 3.24378
4.85/4.94 c bounds 20160 >= 568 @ 3.24711
4.85/4.95 c bounds 20160 >= 569 @ 3.25061
4.85/4.95 c bounds 20160 >= 570 @ 3.25213
4.85/4.96 c bounds 20160 >= 571 @ 3.25561
4.85/4.96 c bounds 20160 >= 576 @ 3.2572
4.85/4.97 c bounds 20160 >= 577 @ 3.25985
4.85/4.97 c bounds 20160 >= 578 @ 3.26232
4.85/4.97 c bounds 20160 >= 579 @ 3.26385
4.85/4.98 c bounds 20160 >= 580 @ 3.26531
4.85/4.98 c bounds 20160 >= 581 @ 3.26682
4.85/4.99 c bounds 20160 >= 586 @ 3.27015
4.85/4.99 c bounds 20160 >= 593 @ 3.2719
4.85/5.00 c bounds 20160 >= 596 @ 3.27471
4.95/5.00 c bounds 20160 >= 597 @ 3.27673
4.95/5.01 c bounds 20160 >= 603 @ 3.27811
4.95/5.01 c bounds 20160 >= 605 @ 3.27979
4.95/5.02 c bounds 20160 >= 612 @ 3.28064
4.95/5.02 c bounds 20160 >= 613 @ 3.28202
4.95/5.03 c bounds 20160 >= 616 @ 3.28374
4.95/5.03 c bounds 20160 >= 619 @ 3.28514
4.95/5.04 c bounds 20160 >= 622 @ 3.28678
4.95/5.04 c bounds 20160 >= 629 @ 3.28858
4.95/5.04 c bounds 20160 >= 632 @ 3.28998
4.95/5.05 c bounds 20160 >= 639 @ 3.29256
4.95/5.05 c bounds 20160 >= 645 @ 3.29419
4.95/5.06 c bounds 20160 >= 652 @ 3.29686
4.95/5.06 c bounds 20160 >= 659 @ 3.29861
4.95/5.07 c bounds 20160 >= 661 @ 3.30299
4.95/5.07 c bounds 20160 >= 663 @ 3.30475
4.95/5.08 c bounds 20160 >= 665 @ 3.30651
4.95/5.08 c bounds 20160 >= 666 @ 3.30983
4.95/5.09 c bounds 20160 >= 668 @ 3.31346
4.95/5.09 c bounds 20160 >= 670 @ 3.31519
4.95/5.10 c bounds 20160 >= 672 @ 3.31771
4.95/5.10 c bounds 20160 >= 675 @ 3.31856
5.06/5.10 c bounds 20160 >= 678 @ 3.32097
5.06/5.11 c bounds 20160 >= 685 @ 3.32271
5.06/5.11 c bounds 20160 >= 686 @ 3.32622
5.06/5.12 c bounds 20160 >= 693 @ 3.3299
5.06/5.12 c bounds 20160 >= 695 @ 3.3317
5.06/5.13 c bounds 20160 >= 698 @ 3.3342
5.06/5.13 c bounds 20160 >= 705 @ 3.33691
5.06/5.14 c bounds 20160 >= 709 @ 3.34068
5.06/5.14 c bounds 20160 >= 710 @ 3.34244
5.06/5.15 c bounds 20160 >= 711 @ 3.34483
5.06/5.15 c bounds 20160 >= 715 @ 3.34787
5.06/5.16 c bounds 20160 >= 719 @ 3.35162
5.06/5.16 c bounds 20160 >= 726 @ 3.35361
5.06/5.17 c bounds 20160 >= 733 @ 3.35542
5.06/5.17 c bounds 20160 >= 737 @ 3.35881
5.06/5.17 c bounds 20160 >= 740 @ 3.3624
5.06/5.18 c bounds 20160 >= 741 @ 3.3646
5.06/5.18 c bounds 20160 >= 742 @ 3.36614
5.06/5.19 c bounds 20160 >= 744 @ 3.36925
5.06/5.19 c bounds 20160 >= 745 @ 3.37113
5.15/5.20 c bounds 20160 >= 746 @ 3.37296
5.15/5.20 c bounds 20160 >= 751 @ 3.37559
5.15/5.21 c bounds 20160 >= 757 @ 3.37823
5.15/5.21 c bounds 20160 >= 763 @ 3.3799
5.15/5.22 c bounds 20160 >= 768 @ 3.38155
5.15/5.22 c bounds 20160 >= 774 @ 3.38538
5.15/5.23 c bounds 20160 >= 779 @ 3.3888
5.15/5.23 c bounds 20160 >= 783 @ 3.39139
5.15/5.24 c bounds 20160 >= 788 @ 3.39331
5.15/5.24 c bounds 20160 >= 790 @ 3.39473
5.15/5.25 c bounds 20160 >= 791 @ 3.39847
5.15/5.25 c bounds 20160 >= 795 @ 3.39992
5.15/5.26 c bounds 20160 >= 799 @ 3.40363
5.15/5.26 c bounds 20160 >= 802 @ 3.40538
5.15/5.26 c bounds 20160 >= 806 @ 3.40807
5.15/5.27 c bounds 20160 >= 809 @ 3.41088
5.15/5.27 c bounds 20160 >= 812 @ 3.41462
5.15/5.28 c bounds 20160 >= 813 @ 3.41746
5.15/5.28 c bounds 20160 >= 814 @ 3.42095
5.15/5.29 c bounds 20160 >= 815 @ 3.42364
5.15/5.29 c bounds 20160 >= 816 @ 3.42538
5.25/5.30 c bounds 20160 >= 818 @ 3.42683
5.25/5.30 c bounds 20160 >= 819 @ 3.43045
5.25/5.31 c bounds 20160 >= 820 @ 3.43305
5.25/5.31 c bounds 20160 >= 821 @ 3.43519
5.25/5.32 c bounds 20160 >= 822 @ 3.43919
5.25/5.32 c bounds 20160 >= 823 @ 3.44257
5.25/5.33 c bounds 20160 >= 824 @ 3.44483
5.25/5.33 c bounds 20160 >= 825 @ 3.44918
5.25/5.34 c bounds 20160 >= 826 @ 3.45159
5.25/5.34 c bounds 20160 >= 827 @ 3.4553
5.25/5.35 c bounds 20160 >= 828 @ 3.45893
5.25/5.36 c bounds 20160 >= 829 @ 3.46081
5.25/5.36 c bounds 20160 >= 830 @ 3.46362
5.25/5.37 c bounds 20160 >= 831 @ 3.46718
5.25/5.37 c bounds 20160 >= 832 @ 3.47125
5.25/5.38 c bounds 20160 >= 833 @ 3.47438
5.25/5.39 c bounds 20160 >= 834 @ 3.47957
5.25/5.39 c bounds 20160 >= 835 @ 3.48224
5.35/5.40 c bounds 20160 >= 836 @ 3.48499
5.35/5.41 c bounds 20160 >= 837 @ 3.48804
5.35/5.41 c bounds 20160 >= 838 @ 3.49101
5.35/5.42 c bounds 20160 >= 839 @ 3.49637
5.35/5.43 c bounds 20160 >= 840 @ 3.50055
5.35/5.44 c bounds 20160 >= 841 @ 3.50811
5.35/5.45 c bounds 20160 >= 842 @ 3.51547
5.35/5.47 c bounds 20160 >= 843 @ 3.53349
5.35/5.49 c bounds 20160 >= 844 @ 3.55122
5.45/5.51 c bounds 20160 >= 845 @ 3.56961
5.45/5.52 c bounds 20160 >= 846 @ 3.57484
5.45/5.53 c bounds 20160 >= 847 @ 3.57837
5.45/5.54 c bounds 20160 >= 848 @ 3.58529
5.45/5.55 c bounds 20160 >= 849 @ 3.58831
5.45/5.57 c bounds 20160 >= 850 @ 3.60509
5.45/5.58 c bounds 20160 >= 851 @ 3.61988
5.45/5.59 c bounds 20160 >= 852 @ 3.62621
5.54/5.60 c bounds 20160 >= 853 @ 3.62939
5.54/5.61 c bounds 20160 >= 854 @ 3.63635
5.54/5.62 c bounds 20160 >= 855 @ 3.6455
5.54/5.63 c bounds 20160 >= 856 @ 3.65121
5.54/5.65 c bounds 20160 >= 857 @ 3.6708
5.54/5.67 c bounds 20160 >= 858 @ 3.68244
5.54/5.68 c bounds 20160 >= 859 @ 3.68918
5.54/5.69 c bounds 20160 >= 860 @ 3.69642
5.65/5.71 c bounds 20160 >= 861 @ 3.71442
5.65/5.72 c bounds 20160 >= 862 @ 3.72401
5.65/5.73 c bounds 20160 >= 863 @ 3.73273
5.65/5.74 c bounds 20160 >= 864 @ 3.73799
5.65/5.75 c bounds 20160 >= 865 @ 3.74419
5.65/5.75 c #Conflicts: 1000 | #Constraints: 30076
5.65/5.75 c bounds 20160 >= 866 @ 3.74862
5.65/5.76 c bounds 20160 >= 867 @ 3.75259
5.65/5.77 c bounds 20160 >= 868 @ 3.75659
5.65/5.78 c bounds 20160 >= 869 @ 3.76932
5.65/5.79 c bounds 20160 >= 870 @ 3.77297
5.75/5.80 c bounds 20160 >= 871 @ 3.78094
5.75/5.81 c bounds 20160 >= 872 @ 3.78489
5.75/5.82 c bounds 20160 >= 873 @ 3.79195
5.75/5.83 c bounds 20160 >= 874 @ 3.79896
5.75/5.84 c bounds 20160 >= 875 @ 3.804
5.75/5.85 c bounds 20160 >= 876 @ 3.81265
5.75/5.86 c bounds 20160 >= 877 @ 3.82184
5.75/5.87 c bounds 20160 >= 878 @ 3.82573
5.75/5.88 c bounds 20160 >= 879 @ 3.83471
5.75/5.89 c bounds 20160 >= 880 @ 3.84329
5.85/5.93 c bounds 20160 >= 881 @ 3.88111
5.85/5.99 c bounds 20160 >= 882 @ 3.93079
5.96/6.08 c bounds 20160 >= 883 @ 4.01932
6.15/6.30 c bounds 20160 >= 884 @ 4.22103
6.25/6.35 c bounds 18644 >= 884 @ 4.27327
6.45/6.52 c bounds 18643 >= 884 @ 4.43545
6.55/6.61 c bounds 18642 >= 884 @ 4.51328
6.55/6.61 c bounds 18642 >= 885 @ 4.51776
6.55/6.62 c bounds 18642 >= 886 @ 4.52604
6.55/6.68 c bounds 18642 >= 887 @ 4.58214
6.65/6.78 c bounds 18542 >= 887 @ 4.67724
6.75/6.81 c bounds 18542 >= 888 @ 4.69885
6.75/6.83 c bounds 18542 >= 889 @ 4.71827
6.84/6.91 c bounds 18541 >= 889 @ 4.78939
6.84/6.93 c bounds 18541 >= 890 @ 4.81137
6.84/6.95 c bounds 18541 >= 891 @ 4.82481
6.84/6.97 c bounds 18541 >= 892 @ 4.83752
6.95/7.04 c bounds 18540 >= 892 @ 4.90663
6.95/7.04 c bounds 18540 >= 893 @ 4.91003
6.95/7.09 c bounds 18540 >= 894 @ 4.94952
7.05/7.16 c bounds 18440 >= 894 @ 5.01504
7.05/7.17 c bounds 18440 >= 895 @ 5.02356
7.05/7.18 c bounds 18440 >= 896 @ 5.03554
7.05/7.19 c bounds 18440 >= 897 @ 5.03939
7.15/7.21 c bounds 18440 >= 898 @ 5.05258
9.84/9.97 c #Conflicts: 2000 | #Constraints: 31252
9.84/9.97 c INPROCESSING
9.84/9.97 c GARBAGE COLLECT
9.84/9.97 c bounds 18439 >= 898 @ 7.75711
9.94/10.01 c bounds 18438 >= 898 @ 7.78744
9.94/10.03 c bounds 18437 >= 898 @ 7.81285
10.04/10.10 c bounds 18436 >= 898 @ 7.88004
10.04/10.16 c bounds 18336 >= 898 @ 7.93425
10.04/10.19 c bounds 18335 >= 898 @ 7.96257
10.14/10.24 c bounds 18235 >= 898 @ 8.01025
10.14/10.29 c bounds 18234 >= 898 @ 8.05354
10.24/10.35 c bounds 18233 >= 898 @ 8.10963
10.53/10.67 c bounds 18134 >= 898 @ 8.41766
10.53/10.68 c bounds 18134 >= 899 @ 8.42311
10.53/10.68 c bounds 18134 >= 900 @ 8.42731
10.53/10.69 c bounds 18134 >= 901 @ 8.42992
10.53/10.70 c bounds 18134 >= 902 @ 8.43312
10.64/10.70 c bounds 18134 >= 903 @ 8.43582
10.64/10.71 c bounds 18134 >= 904 @ 8.43955
10.64/10.71 c bounds 18134 >= 905 @ 8.44145
10.64/10.72 c bounds 18134 >= 906 @ 8.44538
10.64/10.72 c bounds 18134 >= 907 @ 8.44705
10.64/10.73 c bounds 18134 >= 908 @ 8.44989
10.64/10.74 c bounds 18134 >= 909 @ 8.45546
10.64/10.74 c bounds 18134 >= 910 @ 8.45746
10.64/10.76 c bounds 18134 >= 911 @ 8.46754
10.64/10.76 c bounds 18134 >= 912 @ 8.47107
10.64/10.78 c bounds 18134 >= 913 @ 8.48786
10.64/10.80 c bounds 18134 >= 914 @ 8.49618
10.73/10.81 c bounds 18134 >= 915 @ 8.50356
10.73/10.88 c bounds 18134 >= 916 @ 8.57672
10.94/11.05 c bounds 18134 >= 917 @ 8.74082
11.33/11.49 c #Conflicts: 3000 | #Constraints: 30547
11.33/11.49 c bounds 18133 >= 917 @ 9.16996
11.44/11.51 c bounds 18133 >= 918 @ 9.17988
11.44/11.52 c bounds 18133 >= 919 @ 9.19344
11.44/11.54 c bounds 18133 >= 920 @ 9.20232
11.63/11.72 c bounds 18133 >= 921 @ 9.38191
12.13/12.22 c bounds 18133 >= 922 @ 9.86561
12.24/12.37 c bounds 18132 >= 922 @ 10.0078
12.33/12.46 c #Conflicts: 4000 | #Constraints: 31600
12.33/12.46 c bounds 18131 >= 922 @ 10.0979
12.44/12.55 c bounds 18130 >= 922 @ 10.1812
12.53/12.63 c bounds 18129 >= 922 @ 10.2654
12.63/12.72 c bounds 18128 >= 922 @ 10.3493
12.73/12.81 c bounds 18127 >= 922 @ 10.4336
12.73/12.88 c bounds 18126 >= 922 @ 10.5022
13.43/13.52 c INPROCESSING
13.43/13.52 c GARBAGE COLLECT
13.43/13.52 c #Conflicts: 5000 | #Constraints: 30954
13.43/13.52 c bounds 18126 >= 923 @ 11.1107
13.43/13.58 c bounds 18125 >= 923 @ 11.1578
13.53/13.63 c bounds 18124 >= 923 @ 11.2065
13.53/13.68 c bounds 18024 >= 923 @ 11.2535
13.62/13.73 c bounds 17924 >= 923 @ 11.2982
13.62/13.78 c bounds 17923 >= 923 @ 11.3557
13.73/13.83 c bounds 17922 >= 923 @ 11.4045
13.73/13.89 c bounds 17921 >= 923 @ 11.4534
13.83/13.99 c #Conflicts: 6000 | #Constraints: 31965
13.83/13.99 c bounds 17821 >= 923 @ 11.5455
13.93/14.04 c bounds 17820 >= 923 @ 11.5973
13.93/14.09 c bounds 17819 >= 923 @ 11.6409
14.03/14.14 c bounds 17818 >= 923 @ 11.6872
14.03/14.19 c bounds 17718 >= 923 @ 11.7323
14.13/14.25 c bounds 17717 >= 923 @ 11.779
14.23/14.32 c bounds 17716 >= 923 @ 11.8557
14.33/14.42 c bounds 17715 >= 923 @ 11.9466
14.43/14.50 c bounds 17616 >= 923 @ 12.0257
14.43/14.58 c bounds 17615 >= 923 @ 12.0962
14.83/14.93 c INPROCESSING
14.83/14.93 c GARBAGE COLLECT
14.83/14.93 c bounds 17614 >= 923 @ 12.4317
14.83/15.00 c bounds 17613 >= 923 @ 12.4998
15.04/15.12 c bounds 17513 >= 923 @ 12.615
15.23/15.37 c bounds 17413 >= 923 @ 12.854
15.52/15.64 c bounds 17412 >= 923 @ 13.1191
15.73/15.81 c #Conflicts: 7000 | #Constraints: 30959
15.73/15.81 c bounds 17411 >= 923 @ 13.2774
16.13/16.22 c bounds 17411 >= 924 @ 13.69
16.23/16.39 c bounds 17410 >= 924 @ 13.8558
16.53/16.60 c bounds 17310 >= 924 @ 14.0531
16.62/16.72 c bounds 17309 >= 924 @ 14.1743
16.72/16.84 c bounds 17308 >= 924 @ 14.2876
16.82/16.99 c #Conflicts: 8000 | #Constraints: 31967
16.82/16.99 c bounds 17307 >= 924 @ 14.4313
16.82/17.00 c bounds 17307 >= 925 @ 14.4421
16.93/17.02 c bounds 17307 >= 926 @ 14.4626
16.93/17.10 c bounds 17307 >= 927 @ 14.5392
18.12/18.28 c bounds 17306 >= 927 @ 15.6706
18.12/18.29 c bounds 17306 >= 928 @ 15.6813
20.92/21.01 c #Conflicts: 9000 | #Constraints: 32999
20.92/21.01 c INPROCESSING
20.92/21.01 c GARBAGE COLLECT
20.92/21.01 c rational objective 928
21.31/21.47 c bounds 17306 >= 929 @ 18.7712
22.21/22.33 c #Conflicts: 10000 | #Constraints: 31726
22.21/22.33 c #Conflicts: 11000 | #Constraints: 32726
22.21/22.33 c bounds 17306 >= 930 @ 19.6004
31.89/32.06 c #Conflicts: 12000 | #Constraints: 33741
31.89/32.06 c INPROCESSING
31.89/32.06 c GARBAGE COLLECT
31.89/32.06 c rational objective 930
33.78/33.97 c #Conflicts: 13000 | #Constraints: 32205
33.78/33.97 c #Conflicts: 14000 | #Constraints: 33205
33.78/33.97 c #Conflicts: 15000 | #Constraints: 34205
33.78/33.97 c INPROCESSING
33.78/33.97 c GARBAGE COLLECT
33.78/33.97 c bounds 17206 >= 930 @ 31.0725
33.89/34.04 c bounds 17205 >= 930 @ 31.1435
33.98/34.13 c bounds 17105 >= 930 @ 31.2264
34.08/34.24 c bounds 17104 >= 930 @ 31.3305
34.28/34.42 c bounds 17103 >= 930 @ 31.5133
34.68/34.89 c bounds 17102 >= 930 @ 31.9801
37.67/37.87 c #Conflicts: 16000 | #Constraints: 32426
37.67/37.87 c #Conflicts: 17000 | #Constraints: 33426
37.67/37.87 c #Conflicts: 18000 | #Constraints: 34426
37.67/37.87 c INPROCESSING
37.67/37.87 c GARBAGE COLLECT
37.67/37.87 c bounds 17101 >= 930 @ 34.9177
37.98/38.15 c bounds 17001 >= 930 @ 35.1899
39.77/39.92 c #Conflicts: 19000 | #Constraints: 32425
39.77/39.92 c bounds 16901 >= 930 @ 36.9319
40.37/40.58 c bounds 16900 >= 930 @ 37.5783
40.66/40.80 c bounds 16899 >= 930 @ 37.7973
41.16/41.32 c bounds 16898 >= 930 @ 38.3059
41.36/41.55 c bounds 16897 >= 930 @ 38.5282
41.67/41.84 c #Conflicts: 20000 | #Constraints: 33430
41.67/41.84 c bounds 16797 >= 930 @ 38.8118
42.36/42.54 c bounds 16696 >= 930 @ 39.4896
43.06/43.21 c bounds 16595 >= 930 @ 40.1006
43.06/43.23 c bounds 16595 >= 931 @ 40.1236
43.06/43.25 c bounds 16595 >= 932 @ 40.1405
45.15/45.39 c #Conflicts: 21000 | #Constraints: 34441
45.15/45.39 c INPROCESSING
45.15/45.39 c GARBAGE COLLECT
45.15/45.39 c bounds 16494 >= 932 @ 42.2494
45.45/45.67 c bounds 16493 >= 932 @ 42.5244
45.86/46.07 c #Conflicts: 22000 | #Constraints: 32224
45.86/46.07 c bounds 16392 >= 932 @ 42.9112
46.45/46.64 c bounds 16292 >= 932 @ 43.4792
46.85/47.09 c bounds 16192 >= 932 @ 43.9117
47.15/47.37 c #Conflicts: 23000 | #Constraints: 33227
47.15/47.37 c bounds 16191 >= 932 @ 44.1867
47.55/47.70 c bounds 16091 >= 932 @ 44.5082
47.75/47.99 c bounds 15990 >= 932 @ 44.7898
48.05/48.26 c bounds 15889 >= 932 @ 45.0558
48.54/48.70 c bounds 15888 >= 932 @ 45.4809
48.85/49.04 c bounds 15887 >= 932 @ 45.8171
49.14/49.35 c #Conflicts: 24000 | #Constraints: 34233
49.14/49.35 c bounds 15886 >= 932 @ 46.1079
49.64/49.81 c bounds 15885 >= 932 @ 46.5478
49.64/49.84 c bounds 15885 >= 933 @ 46.5808
49.64/49.87 c bounds 15885 >= 934 @ 46.5962
49.64/49.89 c bounds 15885 >= 935 @ 46.618
49.95/50.17 c bounds 15884 >= 935 @ 46.8879
55.53/55.71 c #Conflicts: 25000 | #Constraints: 35245
55.53/55.71 c INPROCESSING
55.53/55.71 c GARBAGE COLLECT
55.53/55.71 c rational objective 935
55.83/56.02 c bounds 15883 >= 935 @ 52.6574
56.03/56.21 c bounds 15882 >= 935 @ 52.8404
56.13/56.38 c bounds 15782 >= 935 @ 53.0053
56.33/56.57 c bounds 15682 >= 935 @ 53.1927
56.53/56.75 c bounds 15582 >= 935 @ 53.3656
57.12/57.33 c #Conflicts: 26000 | #Constraints: 32850
57.12/57.33 c bounds 15481 >= 935 @ 53.9325
57.43/57.67 c bounds 15381 >= 935 @ 54.2621
57.83/58.06 c bounds 15380 >= 935 @ 54.6475
58.42/58.66 c bounds 15379 >= 935 @ 55.2483
58.72/58.91 c #Conflicts: 27000 | #Constraints: 33854
58.72/58.91 c bounds 15378 >= 935 @ 55.4922
59.22/59.45 c bounds 15278 >= 935 @ 56.0235
59.93/60.11 c bounds 15278 >= 936 @ 56.6714
60.32/60.54 c #Conflicts: 28000 | #Constraints: 34880
60.32/60.54 c bounds 15277 >= 936 @ 57.0857
60.62/60.89 c bounds 15176 >= 936 @ 57.421
61.21/61.42 c bounds 15175 >= 936 @ 57.9398
72.80/73.01 c #Conflicts: 29000 | #Constraints: 35883
72.80/73.01 c INPROCESSING
72.80/73.01 c GARBAGE COLLECT
72.80/73.01 c bounds 15074 >= 936 @ 69.4085
73.08/73.34 c bounds 14974 >= 936 @ 69.7257
73.38/73.63 c bounds 14874 >= 936 @ 70.0041
73.59/73.88 c bounds 14774 >= 936 @ 70.2494
73.99/74.25 c #Conflicts: 30000 | #Constraints: 33255
73.99/74.25 c bounds 14773 >= 936 @ 70.6014
74.48/74.77 c bounds 14673 >= 936 @ 71.1214
78.18/78.47 c #Conflicts: 31000 | #Constraints: 34257
78.18/78.47 c #Conflicts: 32000 | #Constraints: 35257
78.18/78.47 c #Conflicts: 33000 | #Constraints: 36257
78.18/78.47 c INPROCESSING
78.18/78.47 c GARBAGE COLLECT
78.18/78.47 c bounds 14572 >= 936 @ 74.753
78.78/79.03 c bounds 14472 >= 936 @ 75.2982
79.17/79.41 c bounds 14371 >= 936 @ 75.6724
79.37/79.65 c bounds 14370 >= 936 @ 75.905
79.56/79.86 c #Conflicts: 34000 | #Constraints: 33449
79.56/79.86 c bounds 14269 >= 936 @ 76.1131
79.88/80.11 c bounds 14268 >= 936 @ 76.3617
80.57/80.82 c bounds 14267 >= 936 @ 77.0514
80.77/81.06 c bounds 14166 >= 936 @ 77.2826
81.76/82.07 c #Conflicts: 35000 | #Constraints: 34453
81.76/82.07 c bounds 14066 >= 936 @ 78.2718
84.56/84.89 c #Conflicts: 36000 | #Constraints: 35454
84.56/84.89 c bounds 14065 >= 936 @ 81.059
85.65/85.94 c bounds 14065 >= 937 @ 82.1007
88.15/88.47 c #Conflicts: 37000 | #Constraints: 36476
88.15/88.47 c INPROCESSING
88.15/88.47 c GARBAGE COLLECT
88.15/88.47 c bounds 13964 >= 937 @ 84.585
89.35/89.63 c #Conflicts: 38000 | #Constraints: 33466
89.35/89.63 c bounds 13963 >= 937 @ 85.7355
94.74/95.08 c #Conflicts: 39000 | #Constraints: 34467
94.74/95.08 c #Conflicts: 40000 | #Constraints: 35467
94.74/95.08 c #Conflicts: 41000 | #Constraints: 36467
94.74/95.08 c INPROCESSING
94.74/95.08 c GARBAGE COLLECT
94.74/95.08 c rational objective 937
95.43/95.78 c bounds 13863 >= 937 @ 91.7952
95.74/96.03 c #Conflicts: 42000 | #Constraints: 33288
95.74/96.03 c bounds 13862 >= 937 @ 92.0516
96.03/96.36 c bounds 13861 >= 937 @ 92.3717
96.43/96.77 c bounds 13761 >= 937 @ 92.772
108.70/109.08 c #Conflicts: 43000 | #Constraints: 34291
108.70/109.08 c #Conflicts: 44000 | #Constraints: 35291
108.70/109.08 c #Conflicts: 45000 | #Constraints: 36291
108.70/109.08 c bounds 13761 >= 938 @ 104.985
109.20/109.59 c bounds 13760 >= 938 @ 105.489
110.00/110.36 c #Conflicts: 46000 | #Constraints: 37313
110.00/110.36 c INPROCESSING
110.00/110.36 c GARBAGE COLLECT
110.00/110.36 c bounds 13660 >= 938 @ 106.235
110.50/110.85 c bounds 13560 >= 938 @ 106.715
110.89/111.28 c bounds 13559 >= 938 @ 107.133
111.20/111.58 c bounds 13558 >= 938 @ 107.42
111.60/111.91 c #Conflicts: 47000 | #Constraints: 33958
111.60/111.91 c bounds 13458 >= 938 @ 107.743
111.99/112.32 c bounds 13358 >= 938 @ 108.147
112.40/112.76 c bounds 13258 >= 938 @ 108.586
112.99/113.30 c bounds 13158 >= 938 @ 109.106
113.39/113.71 c #Conflicts: 48000 | #Constraints: 34962
113.39/113.71 c bounds 13058 >= 938 @ 109.508
113.69/114.10 c bounds 12958 >= 938 @ 109.88
113.99/114.36 c bounds 12857 >= 938 @ 110.142
114.39/114.71 c bounds 12856 >= 938 @ 110.488
118.98/119.32 c #Conflicts: 49000 | #Constraints: 35966
118.98/119.32 c #Conflicts: 50000 | #Constraints: 36966
118.98/119.32 c #Conflicts: 51000 | #Constraints: 37966
118.98/119.32 c INPROCESSING
118.98/119.32 c GARBAGE COLLECT
118.98/119.32 c bounds 12855 >= 938 @ 115.02
119.57/119.96 c bounds 12854 >= 938 @ 115.648
119.87/120.21 c bounds 12853 >= 938 @ 115.898
120.17/120.54 c bounds 12852 >= 938 @ 116.219
123.87/124.29 c #Conflicts: 52000 | #Constraints: 34322
123.87/124.29 c #Conflicts: 53000 | #Constraints: 35322
123.87/124.29 c #Conflicts: 54000 | #Constraints: 36322
123.87/124.29 c bounds 12752 >= 938 @ 119.906
137.63/138.09 c #Conflicts: 55000 | #Constraints: 37323
137.63/138.09 c #Conflicts: 56000 | #Constraints: 38323
137.63/138.09 c INPROCESSING
137.63/138.09 c GARBAGE COLLECT
137.63/138.09 c rational objective 938
138.03/138.40 c bounds 12651 >= 938 @ 133.88
138.22/138.68 c bounds 12550 >= 938 @ 134.151
138.63/139.05 c bounds 12450 >= 938 @ 134.513
139.22/139.60 c bounds 12449 >= 938 @ 135.054
139.52/139.96 c #Conflicts: 57000 | #Constraints: 34512
139.52/139.96 c bounds 12349 >= 938 @ 135.403
140.03/140.43 c bounds 12249 >= 938 @ 135.862
140.63/141.04 c bounds 12248 >= 938 @ 136.466
141.22/141.61 c bounds 12247 >= 938 @ 137.026
142.01/142.46 c #Conflicts: 58000 | #Constraints: 35516
142.01/142.46 c bounds 12246 >= 938 @ 137.854
153.98/154.45 c #Conflicts: 59000 | #Constraints: 36517
153.98/154.45 c #Conflicts: 60000 | #Constraints: 37517
153.98/154.45 c #Conflicts: 61000 | #Constraints: 38517
153.98/154.45 c INPROCESSING
153.98/154.45 c GARBAGE COLLECT
153.98/154.45 c #Conflicts: 62000 | #Constraints: 34514
153.98/154.45 c bounds 12145 >= 938 @ 149.717
154.89/155.30 c bounds 12045 >= 938 @ 150.549
156.59/157.02 c #Conflicts: 63000 | #Constraints: 35516
156.59/157.02 c bounds 12044 >= 938 @ 152.25
157.28/157.77 c bounds 12043 >= 938 @ 152.996
163.37/163.89 c #Conflicts: 64000 | #Constraints: 36518
163.37/163.89 c #Conflicts: 65000 | #Constraints: 37518
163.37/163.89 c #Conflicts: 66000 | #Constraints: 38518
163.37/163.89 c INPROCESSING
163.37/163.89 c GARBAGE COLLECT
163.37/163.89 c bounds 12042 >= 938 @ 159.054
163.86/164.36 c #Conflicts: 67000 | #Constraints: 34308
163.86/164.36 c bounds 11942 >= 938 @ 159.516
165.36/165.89 c #Conflicts: 68000 | #Constraints: 35309
165.36/165.89 c bounds 11842 >= 938 @ 160.996
166.16/166.61 c bounds 11742 >= 938 @ 161.709
166.57/167.01 c bounds 11741 >= 938 @ 162.1
166.76/167.24 c #Conflicts: 69000 | #Constraints: 36312
166.76/167.24 c bounds 11740 >= 938 @ 162.335
167.26/167.78 c bounds 11640 >= 938 @ 162.852
167.76/168.30 c bounds 11540 >= 938 @ 163.355
168.75/169.24 c bounds 11440 >= 938 @ 164.284
169.15/169.65 c #Conflicts: 70000 | #Constraints: 37316
169.15/169.65 c bounds 11439 >= 938 @ 164.675
169.56/170.06 c bounds 11438 >= 938 @ 165.064
173.94/174.44 c #Conflicts: 71000 | #Constraints: 38318
173.94/174.44 c bounds 11338 >= 938 @ 169.306
177.83/178.34 c #Conflicts: 72000 | #Constraints: 39319
177.83/178.34 c INPROCESSING
177.83/178.34 c GARBAGE COLLECT
177.83/178.34 c rational objective 938
192.20/192.77 c #Conflicts: 73000 | #Constraints: 34931
192.20/192.77 c #Conflicts: 74000 | #Constraints: 35931
192.20/192.77 c #Conflicts: 75000 | #Constraints: 36931
192.20/192.77 c #Conflicts: 76000 | #Constraints: 37931
192.20/192.77 c #Conflicts: 77000 | #Constraints: 38931
192.20/192.77 c #Conflicts: 78000 | #Constraints: 39931
192.20/192.77 c INPROCESSING
192.20/192.77 c GARBAGE COLLECT
192.20/192.77 c #Conflicts: 79000 | #Constraints: 35338
192.20/192.77 c #Conflicts: 80000 | #Constraints: 36338
192.20/192.77 c #Conflicts: 81000 | #Constraints: 37338
192.20/192.77 c #Conflicts: 82000 | #Constraints: 38338
192.20/192.77 c #Conflicts: 83000 | #Constraints: 39338
192.20/192.77 c #Conflicts: 84000 | #Constraints: 40338
192.20/192.77 c INPROCESSING
192.20/192.77 c GARBAGE COLLECT
192.20/192.77 c rational objective 938
193.69/194.21 c bounds 11337 >= 938 @ 188.762
203.77/204.39 c #Conflicts: 85000 | #Constraints: 35555
203.77/204.39 c #Conflicts: 86000 | #Constraints: 36555
203.77/204.39 c #Conflicts: 87000 | #Constraints: 37555
203.77/204.39 c #Conflicts: 88000 | #Constraints: 38555
203.77/204.39 c #Conflicts: 89000 | #Constraints: 39555
203.77/204.39 c bounds 11337 >= 939 @ 198.84
206.37/206.91 c #Conflicts: 90000 | #Constraints: 40585
206.37/206.91 c bounds 11237 >= 939 @ 201.342
217.93/218.53 c INPROCESSING
217.93/218.53 c GARBAGE COLLECT
217.93/218.53 c rational objective 939
234.70/235.37 c #Conflicts: 91000 | #Constraints: 35550
234.70/235.37 c #Conflicts: 92000 | #Constraints: 36550
234.70/235.37 c #Conflicts: 93000 | #Constraints: 37550
234.70/235.37 c #Conflicts: 94000 | #Constraints: 38550
234.70/235.37 c #Conflicts: 95000 | #Constraints: 39550
234.70/235.37 c #Conflicts: 96000 | #Constraints: 40550
234.70/235.37 c INPROCESSING
234.70/235.37 c GARBAGE COLLECT
234.70/235.37 c rational objective 939
239.89/240.53 c #Conflicts: 97000 | #Constraints: 35391
239.89/240.53 c #Conflicts: 98000 | #Constraints: 36391
239.89/240.53 c #Conflicts: 99000 | #Constraints: 37391
239.89/240.53 c #Conflicts: 100000 | #Constraints: 38391
239.89/240.53 c #Conflicts: 101000 | #Constraints: 39391
239.89/240.53 c bounds 939 >= 939 @ 234.63
239.89/240.53 c cpu time 234.63 s
239.89/240.53 c deterministic time 12201666801 1.22e+10
239.89/240.53 c optimization time 1.2045 s
239.89/240.53 c total solve time 233.33 s
239.89/240.53 c core-guided solve time 163.051 s
239.89/240.53 c propagation time 110.504 s
239.89/240.53 c conflict analysis time 48.8167 s
239.89/240.53 c propagations 37667959
239.89/240.53 c resolve steps 832138
239.89/240.53 c decisions 8791863
239.89/240.53 c conflicts 101596
239.89/240.53 c restarts 254
239.89/240.53 c inprocessing phases 23
239.89/240.53 c garbage collections 23 ,( 100.00 )
239.89/240.53 c input clauses 30641 ,( 91.17 )
239.89/240.53 c input cardinalities 1727 ,( 5.14 )
239.89/240.53 c input general constraints 1241 ,( 3.69 )
239.89/240.53 c input average constraint length 214.05
239.89/240.53 c input average constraint degree 1935.83
239.89/240.53 c learned clauses 45013 ,( 44.23 )
239.89/240.53 c learned cardinalities 771 ,( 0.76 )
239.89/240.53 c learned general constraints 55982 ,( 55.01 )
239.89/240.53 c learned average constraint length 2141.67
239.89/240.53 c learned average constraint degree 790867907.31
239.89/240.53 c watched CF 32, 64, 128, Arb: 2204 , 0 , 0 , 0
239.89/240.53 c counting CF 32, 64, 128, Arb: 55020 , 0 , 0 , 0
239.89/240.53 c watched constraints 2204 ,( 3.85 )
239.89/240.53 c counting constraints 55019 ,( 96.15 )
239.89/240.53 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 13894974 , 4222360 , 183782817 ,( 340434 , 183442383 )
239.89/240.53 c gcd simplifications 3648
239.89/240.53 c detected cardinalities 6
239.89/240.53 c weakened non-implied lits 50049306
239.89/240.53 c weakened non-implying lits 19714
239.89/240.53 c original variables 13461
239.89/240.53 c clausal propagations 7352908
239.89/240.53 c cardinality propagations 6449125
239.89/240.53 c watched propagations 2965
239.89/240.53 c counting propagations 19505321
239.89/240.53 c watch lookups 4584647941
239.89/240.53 c watch backjump lookups 0
239.89/240.53 c watch checks 133435501
239.89/240.53 c propagation checks 6946012301
239.89/240.53 c constraint additions 444336111
239.89/240.53 c trail pops 46556166
239.89/240.53 c formula constraints 26667
239.89/240.53 c learned constraints 101622
239.89/240.53 c bound constraints 4917
239.89/240.53 c core-guided constraints 2025
239.89/240.53 c encountered formula constraints 89017
239.89/240.53 c encountered learned constraints 617464
239.89/240.53 c encountered bound constraints 177
239.89/240.53 c encountered core-guided constraints 226867
239.89/240.53 c LP total time 95.1197 s
239.89/240.53 c LP solve time 93.67 s
239.89/240.53 c LP constraints added 26996
239.89/240.53 c LP constraints removed 248
239.89/240.53 c LP pivots internal 105022
239.89/240.53 c LP pivots root 113936
239.89/240.53 c LP calls 27
239.89/240.53 c LP optimalities 20
239.89/240.53 c LP no pivot count 3
239.89/240.53 c LP infeasibilities 2
239.89/240.53 c LP valid Farkas constraints 2
239.89/240.53 c LP learned Farkas constraints 2
239.89/240.53 c LP basis resets 0
239.89/240.53 c LP cycling count 0
239.89/240.53 c LP singular count 0
239.89/240.53 c LP no primal count 0
239.89/240.53 c LP no farkas count 0
239.89/240.53 c LP other issue count 0
239.89/240.53 c LP Gomory cuts 140
239.89/240.53 c LP learned cuts 189
239.89/240.53 c LP deleted cuts 248
239.89/240.53 c LP encountered Gomory constraints 189
239.89/240.53 c LP encountered Farkas constraints 16
239.89/240.53 c LP encountered learned Farkas constraints 2
239.89/240.53 c CG auxiliary variables introduced 956
239.89/240.53 c CG solutions found 178
239.89/240.53 c CG cores constructed 843
239.89/240.53 c CG core cardinality constraints returned 439
239.89/240.53 c CG unit cores 0
239.89/240.53 c CG single cores 843
239.89/240.53 c CG blocks removed during cardinality reduction 0
239.89/240.53 c CG first core best 0
239.89/240.53 c CG decision core best 0
239.89/240.53 c CG core reduction tie 0
239.89/240.53 c CG core degree average 3.08
239.89/240.53 c CG core slack average 6.59
239.89/240.53 c CG core upper bound improvements 0
239.89/240.53 c STR number of successful calls 0
239.89/240.53 c STR number of unsuccessful calls 0
239.89/240.53 c STR number of inconclusive calls 0
239.89/240.53 c STR number of successful attempts 0
239.89/240.53 c STR number of unsuccessful attempts 0
239.89/240.53 c STR number of inconclusive attempts 0
239.89/240.53 c STR average degree increase per successful call inf
239.89/240.53 c STR average degree increase per successful attempt inf
239.89/240.53 c STR total number of conflicts for successful attempts 0
239.89/240.53 c STR total number of conflicts for unsuccessful attempts 0
239.89/240.53 c STR total number of conflicts for inconclusive attempts 0
239.89/240.53 c STR average number of conflicts per successful attempt inf
239.89/240.53 c STR average number of conflicts per unsuccessful attempt inf
239.89/240.53 c STR average number of conflicts per inconclusive attempt inf
239.89/240.53 c AVG.sumWPerc 88.44
239.89/240.53 c bigint constraints 0
239.89/240.53 o 939
239.89/240.53 s OPTIMUM FOUND
239.89/240.53 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: 63665 MiB (59973 MiB free)
memory of node 1: 64507 MiB (63707 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484218-1751283734/watcher-4484218-1751283734 -o /tmp/evaluation-result-4484218-1751283734/solver-4484218-1751283734 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751280113-42673 --watchdog 3760 run-opt-ls.sh HOME/instance-4484218-1751283734.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=43256, runsolver pid=43253
[startup+0.100057 s]*
/proc/loadavg: 4.08 4.13 4.12 5/269 43258
/proc/meminfo: memFree=126634112/131250000 swapFree=33010684/33010684
[pid=43256] ppid=43253 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43256/stat : 43256 (run-opt-ls.sh) S 43253 43256 42660 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44051210 4292608 736 18446744073709551615 94482156941312 94482157835845 140728243608016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482158074896 94482158122640 94482163183616 140728243612007 140728243612133 140728243612133 140728243617735 0
/proc/43256/statm: 1048 736 672 219 0 110 0
[pid=43258] ppid=43256 vsize=27748 memory=17876 CPUtime=0.09 cores=5,7
/proc/43258/stat : 43258 (pbsuma) R 43256 43256 42660 0 -1 4194304 4801 0 0 0 8 1 0 0 20 0 1 0 44051210 28413952 4469 18446744073709551615 4210688 4653049 140721025501184 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 24276992 140721025509731 140721025509938 140721025509938 140721025515503 0
/proc/43258/statm: 6937 4469 1024 108 0 4345 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31940 KiB
Current children cumulated memory: 20820 KiB
[startup+0.205777 s]*
/proc/loadavg: 4.08 4.13 4.12 5/269 43259
/proc/meminfo: memFree=126626076/131250000 swapFree=33010684/33010684
[pid=43256] ppid=43253 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/43256/stat : 43256 (run-opt-ls.sh) S 43253 43256 42660 0 -1 4194304 237 6704 0 0 0 0 10 1 20 0 1 0 44051210 4292608 768 18446744073709551615 94482156941312 94482157835845 140728243608016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482158074896 94482158122640 94482163183616 140728243612007 140728243612133 140728243612133 140728243617735 0
/proc/43256/statm: 1048 768 704 219 0 110 0
[pid=43259] ppid=43256 vsize=65816 memory=20716 CPUtime=0.06 cores=5,7
/proc/43259/stat : 43259 (roundingsat) R 43256 43256 42660 0 -1 4194304 3096 0 0 0 4 2 0 0 20 0 1 0 44051223 67395584 5179 18446744073709551615 4227072 8923433 140727898818944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37994496 140727898827078 140727898827304 140727898827304 140727898832874 0
/proc/43259/statm: 16454 5179 1984 1147 0 3881 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 70008 KiB
Current children cumulated memory: 23788 KiB
[startup+0.305768 s]*
/proc/loadavg: 4.08 4.13 4.12 5/269 43259
/proc/meminfo: memFree=126613788/131250000 swapFree=33010684/33010684
[pid=43256] ppid=43253 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/43256/stat : 43256 (run-opt-ls.sh) S 43253 43256 42660 0 -1 4194304 237 6704 0 0 0 0 10 1 20 0 1 0 44051210 4292608 768 18446744073709551615 94482156941312 94482157835845 140728243608016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482158074896 94482158122640 94482163183616 140728243612007 140728243612133 140728243612133 140728243617735 0
/proc/43256/statm: 1048 768 704 219 0 110 0
[pid=43259] ppid=43256 vsize=90080 memory=44108 CPUtime=0.16 cores=5,7
/proc/43259/stat : 43259 (roundingsat) R 43256 43256 42660 0 -1 4194304 7259 0 0 0 13 3 0 0 20 0 1 0 44051223 92241920 11027 18446744073709551615 4227072 8923433 140727898818944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37994496 140727898827078 140727898827304 140727898827304 140727898832874 0
/proc/43259/statm: 22520 11027 2304 1147 0 9947 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 94272 KiB
Current children cumulated memory: 47180 KiB
[startup+0.700217 s]
/proc/loadavg: 4.08 4.13 4.12 5/269 43259
/proc/meminfo: memFree=126613788/131250000 swapFree=33010684/33010684
[pid=43256] ppid=43253 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/43256/stat : 43256 (run-opt-ls.sh) S 43253 43256 42660 0 -1 4194304 237 6704 0 0 0 0 10 1 20 0 1 0 44051210 4292608 768 18446744073709551615 94482156941312 94482157835845 140728243608016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482158074896 94482158122640 94482163183616 140728243612007 140728243612133 140728243612133 140728243617735 0
/proc/43256/statm: 1048 768 704 219 0 110 0
[pid=43259] ppid=43256 vsize=106380 memory=58800 CPUtime=0.55 cores=5,7
/proc/43259/stat : 43259 (roundingsat) R 43256 43256 42660 0 -1 4194304 10417 0 0 0 52 3 0 0 20 0 1 0 44051223 108933120 14700 18446744073709551615 4227072 8923433 140727898818944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37994496 140727898827078 140727898827304 140727898827304 140727898832874 0
/proc/43259/statm: 26595 14700 2336 1147 0 14022 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 110572 KiB
Current children cumulated memory: 61872 KiB
[startup+1.50018 s]
/proc/loadavg: 4.08 4.13 4.12 5/269 43259
/proc/meminfo: memFree=126597944/131250000 swapFree=33010684/33010684
[pid=43256] ppid=43253 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/43256/stat : 43256 (run-opt-ls.sh) S 43253 43256 42660 0 -1 4194304 237 6704 0 0 0 0 10 1 20 0 1 0 44051210 4292608 768 18446744073709551615 94482156941312 94482157835845 140728243608016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482158074896 94482158122640 94482163183616 140728243612007 140728243612133 140728243612133 140728243617735 0
/proc/43256/statm: 1048 768 704 219 0 110 0
[pid=43259] ppid=43256 vsize=139792 memory=89756 CPUtime=1.35 cores=5,7
/proc/43259/stat : 43259 (roundingsat) R 43256 43256 42660 0 -1 4194304 16837 0 0 0 105 30 0 0 20 0 1 0 44051223 143147008 22439 18446744073709551615 4227072 8923433 140727898818944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37994496 140727898827078 140727898827304 140727898827304 140727898832874 0
/proc/43259/statm: 34948 22439 2368 1147 0 22375 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 143984 KiB
Current children cumulated memory: 92828 KiB
[startup+3.10557 s]
/proc/loadavg: 4.15 4.15 4.12 5/269 43259
/proc/meminfo: memFree=126485924/131250000 swapFree=33010684/33010684
[pid=43256] ppid=43253 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/43256/stat : 43256 (run-opt-ls.sh) S 43253 43256 42660 0 -1 4194304 237 6704 0 0 0 0 10 1 20 0 1 0 44051210 4292608 768 18446744073709551615 94482156941312 94482157835845 140728243608016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482158074896 94482158122640 94482163183616 140728243612007 140728243612133 140728243612133 140728243617735 0
/proc/43256/statm: 1048 768 704 219 0 110 0
[pid=43259] ppid=43256 vsize=216476 memory=160092 CPUtime=2.95 cores=5,7
/proc/43259/stat : 43259 (roundingsat) R 43256 43256 42660 0 -1 4194304 29302 0 0 0 196 99 0 0 20 0 1 0 44051223 221671424 40023 18446744073709551615 4227072 8923433 140727898818944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37994496 140727898827078 140727898827304 140727898827304 140727898832874 0
/proc/43259/statm: 54119 40023 2400 1147 0 41546 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 220668 KiB
Current children cumulated memory: 163164 KiB
[startup+6.30021 s]
/proc/loadavg: 4.15 4.15 4.12 5/269 43259
/proc/meminfo: memFree=126364800/131250000 swapFree=33010684/33010684
[pid=43256] ppid=43253 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/43256/stat : 43256 (run-opt-ls.sh) S 43253 43256 42660 0 -1 4194304 237 6704 0 0 0 0 10 1 20 0 1 0 44051210 4292608 768 18446744073709551615 94482156941312 94482157835845 140728243608016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482158074896 94482158122640 94482163183616 140728243612007 140728243612133 140728243612133 140728243617735 0
/proc/43256/statm: 1048 768 704 219 0 110 0
[pid=43259] ppid=43256 vsize=383776 memory=285236 CPUtime=6.14 cores=5,7
/proc/43259/stat : 43259 (roundingsat) R 43256 43256 42660 0 -1 4194304 50861 0 0 0 422 192 0 0 20 0 1 0 44051223 392986624 71309 18446744073709551615 4227072 8923433 140727898818944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37994496 140727898827078 140727898827304 140727898827304 140727898832874 0
/proc/43259/statm: 95944 71309 2400 1147 0 83371 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 387968 KiB
Current children cumulated memory: 288308 KiB
[startup+12.7001 s]
/proc/loadavg: 4.13 4.14 4.12 5/269 43259
/proc/meminfo: memFree=126304504/131250000 swapFree=33010684/33010684
[pid=43256] ppid=43253 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/43256/stat : 43256 (run-opt-ls.sh) S 43253 43256 42660 0 -1 4194304 237 6704 0 0 0 0 10 1 20 0 1 0 44051210 4292608 768 18446744073709551615 94482156941312 94482157835845 140728243608016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482158074896 94482158122640 94482163183616 140728243612007 140728243612133 140728243612133 140728243617735 0
/proc/43256/statm: 1048 768 704 219 0 110 0
[pid=43259] ppid=43256 vsize=404456 memory=319964 CPUtime=12.52 cores=5,7
/proc/43259/stat : 43259 (roundingsat) R 43256 43256 42660 0 -1 4194304 56505 0 0 0 1032 220 0 0 20 0 1 0 44051223 414162944 79991 18446744073709551615 4227072 8923433 140727898818944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37994496 140727898827078 140727898827304 140727898827304 140727898832874 0
/proc/43259/statm: 101114 79991 2400 1147 0 88541 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 408648 KiB
Current children cumulated memory: 323036 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.14 4.12 5/269 43260
/proc/meminfo: memFree=126165476/131250000 swapFree=33010684/33010684
[pid=43256] ppid=43253 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/43256/stat : 43256 (run-opt-ls.sh) S 43253 43256 42660 0 -1 4194304 237 6704 0 0 0 0 10 1 20 0 1 0 44051210 4292608 768 18446744073709551615 94482156941312 94482157835845 140728243608016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482158074896 94482158122640 94482163183616 140728243612007 140728243612133 140728243612133 140728243617735 0
/proc/43256/statm: 1048 768 704 219 0 110 0
[pid=43259] ppid=43256 vsize=518624 memory=408540 CPUtime=25.29 cores=5,7
/proc/43259/stat : 43259 (roundingsat) R 43256 43256 42660 0 -1 4194304 78686 0 0 0 2272 257 0 0 20 0 1 0 44051223 531070976 102135 18446744073709551615 4227072 8923433 140727898818944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37994496 140727898827078 140727898827304 140727898827304 140727898832874 0
/proc/43259/statm: 129656 102135 2432 1147 0 117083 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 522816 KiB
Current children cumulated memory: 411612 KiB
[startup+51.1057 s]
/proc/loadavg: 4.14 4.14 4.12 5/269 43260
/proc/meminfo: memFree=125774060/131250000 swapFree=33010684/33010684
[pid=43256] ppid=43253 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/43256/stat : 43256 (run-opt-ls.sh) S 43253 43256 42660 0 -1 4194304 237 6704 0 0 0 0 10 1 20 0 1 0 44051210 4292608 768 18446744073709551615 94482156941312 94482157835845 140728243608016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482158074896 94482158122640 94482163183616 140728243612007 140728243612133 140728243612133 140728243617735 0
/proc/43256/statm: 1048 768 704 219 0 110 0
[pid=43259] ppid=43256 vsize=812872 memory=633900 CPUtime=50.84 cores=5,7
/proc/43259/stat : 43259 (roundingsat) R 43256 43256 42660 0 -1 4194304 124779 0 0 0 4780 304 0 0 20 0 1 0 44051223 832380928 158475 18446744073709551615 4227072 8923433 140727898818944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37994496 140727898827078 140727898827304 140727898827304 140727898832874 0
/proc/43259/statm: 203218 158475 2432 1147 0 190645 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 817064 KiB
Current children cumulated memory: 636972 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/270 43263
/proc/meminfo: memFree=125565208/131250000 swapFree=33010684/33010684
[pid=43256] ppid=43253 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/43256/stat : 43256 (run-opt-ls.sh) S 43253 43256 42660 0 -1 4194304 237 6704 0 0 0 0 10 1 20 0 1 0 44051210 4292608 768 18446744073709551615 94482156941312 94482157835845 140728243608016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482158074896 94482158122640 94482163183616 140728243612007 140728243612133 140728243612133 140728243617735 0
/proc/43256/statm: 1048 768 704 219 0 110 0
[pid=43259] ppid=43256 vsize=841944 memory=660412 CPUtime=101.91 cores=5,7
/proc/43259/stat : 43259 (roundingsat) R 43256 43256 42660 0 -1 4194304 130967 0 0 0 9825 366 0 0 20 0 1 0 44051223 862150656 165103 18446744073709551615 4227072 8923433 140727898818944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37994496 140727898827078 140727898827304 140727898827304 140727898832874 0
/proc/43259/statm: 210486 165103 2432 1147 0 197913 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 846136 KiB
Current children cumulated memory: 663484 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/269 43265
/proc/meminfo: memFree=125384424/131250000 swapFree=33010684/33010684
[pid=43256] ppid=43253 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/43256/stat : 43256 (run-opt-ls.sh) S 43253 43256 42660 0 -1 4194304 237 6704 0 0 0 0 10 1 20 0 1 0 44051210 4292608 768 18446744073709551615 94482156941312 94482157835845 140728243608016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482158074896 94482158122640 94482163183616 140728243612007 140728243612133 140728243612133 140728243617735 0
/proc/43256/statm: 1048 768 704 219 0 110 0
[pid=43259] ppid=43256 vsize=853032 memory=711828 CPUtime=161.76 cores=5,7
/proc/43259/stat : 43259 (roundingsat) R 43256 43256 42660 0 -1 4194304 140239 0 0 0 15748 428 0 0 20 0 1 0 44051223 873504768 177957 18446744073709551615 4227072 8923433 140727898818944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37994496 140727898827078 140727898827304 140727898827304 140727898832874 0
/proc/43259/statm: 213258 177957 2432 1147 0 200685 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 857224 KiB
Current children cumulated memory: 714900 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.11 4.10 5/269 43267
/proc/meminfo: memFree=125036648/131250000 swapFree=33010684/33010684
[pid=43256] ppid=43253 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/43256/stat : 43256 (run-opt-ls.sh) S 43253 43256 42660 0 -1 4194304 237 6704 0 0 0 0 10 1 20 0 1 0 44051210 4292608 768 18446744073709551615 94482156941312 94482157835845 140728243608016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482158074896 94482158122640 94482163183616 140728243612007 140728243612133 140728243612133 140728243617735 0
/proc/43256/statm: 1048 768 704 219 0 110 0
[pid=43259] ppid=43256 vsize=1338956 memory=1018280 CPUtime=221.61 cores=5,7
/proc/43259/stat : 43259 (roundingsat) R 43256 43256 42660 0 -1 4194304 201531 0 0 0 21656 505 0 0 20 0 1 0 44051223 1371090944 254570 18446744073709551615 4227072 8923433 140727898818944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37994496 140727898827078 140727898827304 140727898827304 140727898832874 0
/proc/43259/statm: 334739 254570 2432 1147 0 322166 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 1343148 KiB
Current children cumulated memory: 1021352 KiB
[startup+240.583 s]
# the end of solver process 43256 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=234.743 s, system=5.24915 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 4.06 4.11 4.10 5/269 43268
/proc/meminfo: memFree=125028584/131250000 swapFree=33010684/33010684
[pid=43256] ppid=43253 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/43256/stat : 43256 (run-opt-ls.sh) S 43253 43256 42660 0 -1 4194304 237 6704 0 0 0 0 10 1 20 0 1 0 44051210 4292608 768 18446744073709551615 94482156941312 94482157835845 140728243608016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482158074896 94482158122640 94482163183616 140728243612007 140728243612133 140728243612133 140728243617735 0
/proc/43256/statm: 1048 768 704 219 0 110 0
[pid=43259] ppid=43256 vsize=1339244 memory=1018792 CPUtime=229.7 cores=5,7
/proc/43259/stat : 43259 (roundingsat) R 43256 43256 42660 0 -1 4194304 201659 0 0 0 22460 510 0 0 20 0 1 0 44051223 1371385856 254698 18446744073709551615 4227072 8923433 140727898818944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37994496 140727898827078 140727898827304 140727898827304 140727898832874 0
/proc/43259/statm: 334811 254698 2432 1147 0 322238 0
Current children cumulated CPU time: 229.81 s
Current children cumulated vsize: 1343436 KiB
Current children cumulated memory: 1021864 KiB
[startup+236.8 s]
/proc/loadavg: 4.06 4.11 4.10 5/269 43268
/proc/meminfo: memFree=125016424/131250000 swapFree=33010684/33010684
[pid=43256] ppid=43253 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/43256/stat : 43256 (run-opt-ls.sh) S 43253 43256 42660 0 -1 4194304 237 6704 0 0 0 0 10 1 20 0 1 0 44051210 4292608 768 18446744073709551615 94482156941312 94482157835845 140728243608016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482158074896 94482158122640 94482163183616 140728243612007 140728243612133 140728243612133 140728243617735 0
/proc/43256/statm: 1048 768 704 219 0 110 0
[pid=43259] ppid=43256 vsize=1339592 memory=1018920 CPUtime=236.09 cores=5,7
/proc/43259/stat : 43259 (roundingsat) R 43256 43256 42660 0 -1 4194304 201673 0 0 0 23094 515 0 0 20 0 1 0 44051223 1371742208 254730 18446744073709551615 4227072 8923433 140727898818944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37994496 140727898827078 140727898827304 140727898827304 140727898832874 0
/proc/43259/statm: 334898 254730 2432 1147 0 322325 0
Current children cumulated CPU time: 236.2 s
Current children cumulated vsize: 1343784 KiB
Current children cumulated memory: 1021992 KiB
[startup+238.4 s]
/proc/loadavg: 4.05 4.10 4.10 5/269 43268
/proc/meminfo: memFree=125016424/131250000 swapFree=33010684/33010684
[pid=43256] ppid=43253 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/43256/stat : 43256 (run-opt-ls.sh) S 43253 43256 42660 0 -1 4194304 237 6704 0 0 0 0 10 1 20 0 1 0 44051210 4292608 768 18446744073709551615 94482156941312 94482157835845 140728243608016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482158074896 94482158122640 94482163183616 140728243612007 140728243612133 140728243612133 140728243617735 0
/proc/43256/statm: 1048 768 704 219 0 110 0
[pid=43259] ppid=43256 vsize=1339592 memory=1018920 CPUtime=237.68 cores=5,7
/proc/43259/stat : 43259 (roundingsat) R 43256 43256 42660 0 -1 4194304 201673 0 0 0 23251 517 0 0 20 0 1 0 44051223 1371742208 254730 18446744073709551615 4227072 8923433 140727898818944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37994496 140727898827078 140727898827304 140727898827304 140727898832874 0
/proc/43259/statm: 334898 254730 2432 1147 0 322325 0
Current children cumulated CPU time: 237.79 s
Current children cumulated vsize: 1343784 KiB
Current children cumulated memory: 1021992 KiB
[startup+239.2 s]
/proc/loadavg: 4.05 4.10 4.10 5/269 43268
/proc/meminfo: memFree=125016424/131250000 swapFree=33010684/33010684
[pid=43256] ppid=43253 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/43256/stat : 43256 (run-opt-ls.sh) S 43253 43256 42660 0 -1 4194304 237 6704 0 0 0 0 10 1 20 0 1 0 44051210 4292608 768 18446744073709551615 94482156941312 94482157835845 140728243608016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482158074896 94482158122640 94482163183616 140728243612007 140728243612133 140728243612133 140728243617735 0
/proc/43256/statm: 1048 768 704 219 0 110 0
[pid=43259] ppid=43256 vsize=1339592 memory=1018920 CPUtime=238.48 cores=5,7
/proc/43259/stat : 43259 (roundingsat) R 43256 43256 42660 0 -1 4194304 201673 0 0 0 23331 517 0 0 20 0 1 0 44051223 1371742208 254730 18446744073709551615 4227072 8923433 140727898818944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37994496 140727898827078 140727898827304 140727898827304 140727898832874 0
/proc/43259/statm: 334898 254730 2432 1147 0 322325 0
Current children cumulated CPU time: 238.59 s
Current children cumulated vsize: 1343784 KiB
Current children cumulated memory: 1021992 KiB
[startup+240 s]*
/proc/loadavg: 4.05 4.10 4.10 5/269 43268
/proc/meminfo: memFree=125016424/131250000 swapFree=33010684/33010684
[pid=43256] ppid=43253 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/43256/stat : 43256 (run-opt-ls.sh) S 43253 43256 42660 0 -1 4194304 237 6704 0 0 0 0 10 1 20 0 1 0 44051210 4292608 768 18446744073709551615 94482156941312 94482157835845 140728243608016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482158074896 94482158122640 94482163183616 140728243612007 140728243612133 140728243612133 140728243617735 0
/proc/43256/statm: 1048 768 704 219 0 110 0
[pid=43259] ppid=43256 vsize=1339592 memory=1018920 CPUtime=239.28 cores=5,7
/proc/43259/stat : 43259 (roundingsat) R 43256 43256 42660 0 -1 4194304 201673 0 0 0 23411 517 0 0 20 0 1 0 44051223 1371742208 254730 18446744073709551615 4227072 8923433 140727898818944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37994496 140727898827078 140727898827304 140727898827304 140727898832874 0
/proc/43259/statm: 334898 254730 2432 1147 0 322325 0
Current children cumulated CPU time: 239.39 s
Current children cumulated vsize: 1343784 KiB
Current children cumulated memory: 1021992 KiB
[startup+240.4 s]
/proc/loadavg: 4.05 4.10 4.10 5/269 43268
/proc/meminfo: memFree=125016424/131250000 swapFree=33010684/33010684
[pid=43256] ppid=43253 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/43256/stat : 43256 (run-opt-ls.sh) S 43253 43256 42660 0 -1 4194304 237 6704 0 0 0 0 10 1 20 0 1 0 44051210 4292608 768 18446744073709551615 94482156941312 94482157835845 140728243608016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482158074896 94482158122640 94482163183616 140728243612007 140728243612133 140728243612133 140728243617735 0
/proc/43256/statm: 1048 768 704 219 0 110 0
[pid=43259] ppid=43256 vsize=1339592 memory=1018920 CPUtime=239.68 cores=5,7
/proc/43259/stat : 43259 (roundingsat) R 43256 43256 42660 0 -1 4194304 201673 0 0 0 23450 518 0 0 20 0 1 0 44051223 1371742208 254730 18446744073709551615 4227072 8923433 140727898818944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37994496 140727898827078 140727898827304 140727898827304 140727898832874 0
/proc/43259/statm: 334898 254730 2432 1147 0 322325 0
Current children cumulated CPU time: 239.79 s
Current children cumulated vsize: 1343784 KiB
Current children cumulated memory: 1021992 KiB
[startup+240.5 s]
/proc/loadavg: 4.05 4.10 4.10 5/269 43268
/proc/meminfo: memFree=125016424/131250000 swapFree=33010684/33010684
[pid=43256] ppid=43253 vsize=4192 memory=3072 CPUtime=0.11 cores=5,7
/proc/43256/stat : 43256 (run-opt-ls.sh) S 43253 43256 42660 0 -1 4194304 237 6704 0 0 0 0 10 1 20 0 1 0 44051210 4292608 768 18446744073709551615 94482156941312 94482157835845 140728243608016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94482158074896 94482158122640 94482163183616 140728243612007 140728243612133 140728243612133 140728243617735 0
/proc/43256/statm: 1048 768 704 219 0 110 0
[pid=43259] ppid=43256 vsize=1339592 memory=1018920 CPUtime=239.78 cores=5,7
/proc/43259/stat : 43259 (roundingsat) R 43256 43256 42660 0 -1 4194304 201673 0 0 0 23460 518 0 0 20 0 1 0 44051223 1371742208 254730 18446744073709551615 4227072 8923433 140727898818944 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37994496 140727898827078 140727898827304 140727898827304 140727898832874 0
/proc/43259/statm: 334898 254730 2432 1147 0 322325 0
Current children cumulated CPU time: 239.89 s
Current children cumulated vsize: 1343784 KiB
Current children cumulated memory: 1021992 KiB
Child status: 0
Real time (s): 240.583
CPU time (s): 239.992
CPU user time (s): 234.743
CPU system time (s): 5.24915
CPU usage (%): 99.7545
Max. virtual memory (cumulated for all children) (KiB): 1343784
Max. memory (cumulated for all children) (KiB): 1021992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 234.743
system time used= 5.24915
maximum resident set size= 1018920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208641
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209
involuntary context switches= 313
# summary of solver processes directly reported to runsolver:
# pid: 43256
# total CPU time (s): 239.992
# total CPU user time (s): 234.743
# total CPU system time (s): 5.24915
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.532256 second user time and 1.11868 second system time
The end
Begin job on nodeC018 at 2025-06-30 13:42:14
IDJOB=4484218
IDBENCH=146652
IDSOLVER=3355
FILE ID=nodeC018/4484218-1751283734
RUNJOBID= nodeC018-1751280113-42673
SLURM_JOB_ID= 9594225
Free space on /tmp= 433024 MiB
SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484218-1751283734/watcher-4484218-1751283734 -o /tmp/evaluation-result-4484218-1751283734/solver-4484218-1751283734 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751280113-42673 --watchdog 3760 run-opt-ls.sh HOME/instance-4484218-1751283734.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b97b9bf3767749854a32fccedb37d823
RANDOM SEED=1257288096
nodeC018 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.852
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.66
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 : 3599.830
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.66
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 : 3586.204
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.938
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.66
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.773
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.353
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.66
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 : 3600.703
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.66
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.802
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 126648492 kB
MemAvailable: 127645960 kB
Buffers: 3280 kB
Cached: 1799084 kB
SwapCached: 0 kB
Active: 2439032 kB
Inactive: 1541904 kB
Active(anon): 2196660 kB
Inactive(anon): 0 kB
Active(file): 242372 kB
Inactive(file): 1541904 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 25652 kB
Writeback: 0 kB
AnonPages: 2180424 kB
Mapped: 117344 kB
Shmem: 18076 kB
KReclaimable: 104464 kB
Slab: 192044 kB
SReclaimable: 104464 kB
SUnreclaim: 87580 kB
KernelStack: 4352 kB
PageTables: 7736 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2756392 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1368064 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433016 MiB
End job on nodeC018 at 2025-06-30 13:46:14