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-4484220-1751284266.opb'
0.00/0.02 c read 0.55MB (8.10ms)
0.00/0.02 c [cnf: #variables 8405 #clauses 10668 #duplicates 0 #arr 51941]
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 2572] (12.68ms)
0.00/0.03 c
0.00/0.03 c detect special group actions
0.00/0.03 c probe for Johnson action (limit=64)
0.00/0.03 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.04 c found row 6x48, generating row predicate
0.00/0.04 c found row 5x48, generating row predicate
0.00/0.04 c found row 3x48, generating row predicate
0.00/0.06 c found row 26x48, generating row predicate
0.00/0.06 c found row 7x48, generating row predicate
0.00/0.07 c found row 3x48, generating row predicate
0.00/0.07 c found row 3x48, generating row predicate
0.00/0.07 c found row 6x48, generating row predicate
0.00/0.07 c found row 6x48, generating row predicate
0.00/0.08 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.10 c found row 4x48, generating row predicate
0.00/0.10 c found row 4x48, generating row predicate
0.08/0.10 c found row 5x48, generating row predicate
0.08/0.10 c (71.38ms)
0.08/0.10 c
0.08/0.10 c detect symmetries on remainder
0.08/0.10 c [graph: #vertices 47967 #edges 161670]
0.08/0.10 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.08/0.12 c [group: #symmetries 8.35*10^12 #generators 40] (13.71ms)
0.08/0.12 c
0.08/0.12 c optimize generators (opt_passes=64, conjugate_limit=256)
0.08/0.12 c ran it=0, +gens=1
0.08/0.12 c con best_support=56, best_gens=1, +gens=0
0.08/0.12 c (9.01ms)
0.08/0.12 c
0.08/0.12 c finalize break order and special generators
0.08/0.12 c
0.08/0.12 c add generic predicates (break_depth=20)
0.08/0.12 c added predicates for 41 generators (0.21ms)
0.08/0.12 c
0.08/0.12 c generation finished
0.08/0.12 c [sbp: #constraints 15300 #add_vars 5056]
0.08/0.13 c
0.08/0.13 c write result to 'HOME/instance-4484220-1751284266.opb.pre'
0.08/0.13 c wrote 1.12MB (2.66ms)
0.08/0.13 c ------------------------------------------------------------------
0.08/0.13 c 71.38ms 59.97% detect_special
0.08/0.13 c 13.71ms 11.52% detect_generic
0.08/0.13 c 12.68ms 10.66% approx_orbits
0.08/0.13 c 9.01ms 7.57% optimize_gens
0.08/0.13 c 8.10ms 6.80% parse
0.08/0.13 c 2.66ms 2.23% output
0.08/0.13 c 0.86ms 0.73% other
0.08/0.13 c 0.42ms 0.35% finalize_order
0.08/0.13 c 0.21ms 0.18% break_generic
0.08/0.13 c ───────────────────────────────────────────────
0.08/0.13 c 119.03ms 100% total
0.08/0.13 c ------------------------------------------------------------------
0.08/0.14 c RoundingSat 2
0.08/0.14 c branch pb25
0.08/0.14 c commit 63f22ad
0.17/0.26 c #variables 13461 #constraints 26667
0.17/0.26 c objective is ce32
0.17/0.26 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.17/0.26 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.17/0.26 c bounds - >= -3212 @ 0.081807
0.56/0.62 c bounds 30990 >= -3212 @ 0.417925
0.56/0.62 c bounds 30990 >= -2445 @ 0.420704
0.56/0.62 c bounds 30990 >= -2345 @ 0.421913
0.56/0.62 c bounds 30990 >= -2245 @ 0.423757
0.56/0.63 c bounds 30990 >= -2145 @ 0.424905
0.56/0.63 c bounds 30990 >= -2045 @ 0.426063
0.56/0.63 c bounds 30990 >= -2044 @ 0.427269
0.56/0.63 c bounds 30990 >= -2043 @ 0.429322
0.56/0.64 c bounds 30990 >= -2042 @ 0.430475
0.56/0.64 c bounds 30990 >= -2041 @ 0.430904
0.56/0.64 c bounds 30990 >= -2040 @ 0.432678
0.56/0.64 c bounds 30990 >= -2039 @ 0.433894
0.56/0.64 c bounds 30990 >= -2038 @ 0.435048
0.56/0.65 c bounds 30990 >= -2037 @ 0.436214
0.56/0.65 c bounds 30990 >= -2036 @ 0.437322
0.56/0.65 c bounds 30990 >= -2035 @ 0.438415
0.56/0.65 c bounds 30990 >= -2034 @ 0.43947
0.56/0.65 c bounds 30990 >= -2033 @ 0.440891
0.56/0.66 c bounds 30990 >= -2032 @ 0.441891
0.56/0.66 c bounds 30990 >= -2031 @ 0.443845
0.56/0.66 c bounds 30990 >= -2030 @ 0.446057
0.56/0.66 c bounds 30990 >= -2029 @ 0.447325
0.56/0.67 c bounds 30990 >= -2028 @ 0.448449
0.56/0.67 c bounds 30990 >= -2027 @ 0.448883
0.56/0.67 c bounds 30990 >= -1927 @ 0.450819
0.56/0.68 c bounds 30990 >= -1827 @ 0.451888
0.56/0.68 c bounds 30990 >= -1727 @ 0.454545
0.56/0.68 c bounds 30990 >= -1627 @ 0.457465
0.56/0.69 c bounds 30990 >= -1626 @ 0.458426
0.56/0.69 c bounds 30990 >= -1622 @ 0.460622
0.66/0.70 c bounds 30990 >= -1619 @ 0.461886
0.66/0.70 c bounds 30990 >= -1618 @ 0.463002
0.66/0.70 c bounds 30990 >= -1617 @ 0.464262
0.66/0.71 c bounds 30990 >= -1616 @ 0.466222
0.66/0.71 c bounds 30990 >= -1609 @ 0.467376
0.66/0.72 c bounds 30990 >= -1602 @ 0.469664
0.66/0.72 c bounds 30990 >= -1595 @ 0.473477
0.66/0.73 c bounds 30990 >= -1588 @ 0.474413
0.66/0.73 c bounds 30990 >= -1587 @ 0.477627
0.66/0.73 c bounds 30990 >= -1586 @ 0.479826
0.66/0.74 c bounds 30990 >= -1579 @ 0.482995
0.66/0.74 c bounds 30990 >= -1578 @ 0.485222
0.66/0.75 c bounds 30990 >= -1577 @ 0.487292
0.66/0.75 c bounds 30990 >= -1575 @ 0.490273
0.66/0.75 c bounds 30990 >= -1574 @ 0.493351
0.66/0.76 c bounds 30990 >= -1573 @ 0.495504
0.66/0.76 c bounds 30990 >= -1568 @ 0.497806
0.66/0.77 c bounds 30990 >= -1565 @ 0.499807
0.66/0.77 c bounds 30990 >= -1564 @ 0.502784
0.66/0.77 c bounds 30990 >= -1559 @ 0.504954
0.66/0.78 c bounds 30990 >= -1552 @ 0.507031
0.66/0.78 c bounds 30990 >= -1547 @ 0.508281
0.66/0.79 c bounds 30990 >= -1540 @ 0.510341
0.66/0.79 c bounds 30990 >= -1539 @ 0.511344
0.66/0.80 c bounds 30990 >= -1538 @ 0.513408
0.76/0.80 c bounds 30990 >= -1537 @ 0.515485
0.76/0.80 c bounds 30990 >= -1536 @ 0.516796
0.76/0.81 c bounds 30990 >= -1531 @ 0.518673
0.76/0.81 c bounds 30990 >= -1526 @ 0.519798
0.76/0.82 c bounds 30990 >= -1519 @ 0.521927
0.76/0.82 c bounds 30990 >= -1518 @ 0.523203
0.76/0.82 c bounds 30990 >= -1516 @ 0.524292
0.76/0.83 c bounds 30990 >= -1513 @ 0.526352
0.76/0.83 c bounds 30990 >= -1510 @ 0.527366
0.76/0.84 c bounds 30990 >= -1509 @ 0.528521
0.76/0.84 c bounds 30990 >= -1504 @ 0.530598
0.76/0.85 c bounds 30889 >= -1504 @ 0.540355
0.76/0.86 c bounds 30889 >= -1503 @ 0.541936
0.76/0.86 c bounds 30889 >= -1501 @ 0.543149
0.76/0.86 c bounds 30889 >= -1494 @ 0.544206
0.76/0.87 c bounds 30889 >= -1493 @ 0.545273
0.76/0.87 c bounds 30889 >= -1490 @ 0.546319
0.76/0.88 c bounds 30889 >= -1489 @ 0.549313
0.76/0.88 c bounds 30889 >= -1485 @ 0.551309
0.76/0.89 c bounds 30889 >= -1480 @ 0.554363
0.76/0.89 c bounds 30889 >= -1476 @ 0.554761
0.76/0.89 c bounds 30889 >= -1475 @ 0.556759
0.85/0.90 c bounds 30889 >= -1473 @ 0.559585
0.85/0.91 c bounds 30789 >= -1473 @ 0.565721
0.85/0.91 c bounds 30789 >= -1472 @ 0.567293
0.85/0.92 c bounds 30789 >= -1468 @ 0.570204
0.85/0.92 c bounds 30789 >= -1466 @ 0.574261
0.85/0.92 c bounds 30789 >= -1465 @ 0.577409
0.85/0.93 c bounds 30789 >= -1460 @ 0.579442
0.85/0.93 c bounds 30789 >= -1458 @ 0.581558
0.85/0.94 c bounds 30789 >= -1457 @ 0.583656
0.85/0.94 c bounds 30789 >= -1451 @ 0.585865
0.85/0.94 c bounds 30789 >= -1450 @ 0.587356
0.85/0.95 c bounds 30789 >= -1445 @ 0.589378
0.85/0.96 c bounds 30689 >= -1445 @ 0.596231
0.85/0.96 c bounds 30689 >= -1438 @ 0.598609
0.85/0.97 c bounds 30689 >= -1437 @ 0.60068
0.85/0.97 c bounds 30689 >= -1432 @ 0.601838
0.85/0.97 c bounds 30689 >= -1427 @ 0.604829
0.85/0.98 c bounds 30689 >= -1426 @ 0.606093
0.85/0.98 c bounds 30689 >= -1419 @ 0.6082
0.85/0.99 c bounds 30689 >= -1412 @ 0.609213
0.85/0.99 c bounds 30689 >= -1407 @ 0.610211
0.85/1.00 c bounds 30689 >= -1406 @ 0.613217
0.85/1.00 c bounds 30689 >= -1405 @ 0.616389
0.96/1.00 c bounds 30689 >= -1404 @ 0.617643
0.96/1.01 c bounds 30589 >= -1404 @ 0.622158
0.96/1.02 c bounds 30589 >= -1403 @ 0.62541
0.96/1.02 c bounds 30589 >= -1396 @ 0.626622
0.96/1.03 c bounds 30589 >= -1395 @ 0.627624
0.96/1.03 c bounds 30589 >= -1394 @ 0.628781
0.96/1.03 c bounds 30589 >= -1387 @ 0.631738
0.96/1.04 c bounds 30589 >= -1386 @ 0.634037
0.96/1.04 c bounds 30589 >= -1379 @ 0.635111
0.96/1.05 c bounds 30589 >= -1378 @ 0.636159
0.96/1.05 c bounds 30589 >= -1377 @ 0.638165
0.96/1.05 c bounds 30589 >= -1376 @ 0.639163
0.96/1.06 c bounds 30489 >= -1376 @ 0.643781
0.96/1.07 c bounds 30489 >= -1375 @ 0.646199
0.96/1.07 c bounds 30489 >= -1374 @ 0.649264
0.96/1.08 c bounds 30489 >= -1373 @ 0.651599
0.96/1.08 c bounds 30489 >= -1372 @ 0.653595
0.96/1.08 c bounds 30489 >= -1366 @ 0.654597
0.96/1.09 c bounds 30489 >= -1362 @ 0.656474
0.96/1.09 c bounds 30489 >= -1359 @ 0.658529
0.96/1.10 c bounds 30489 >= -1353 @ 0.661576
1.06/1.10 c bounds 30489 >= -1352 @ 0.66374
1.06/1.10 c bounds 30489 >= -1345 @ 0.665737
1.06/1.11 c bounds 30489 >= -1338 @ 0.668023
1.06/1.12 c bounds 30389 >= -1338 @ 0.672066
1.06/1.12 c bounds 30389 >= -1335 @ 0.674566
1.06/1.13 c bounds 30389 >= -1328 @ 0.676112
1.06/1.13 c bounds 30389 >= -1325 @ 0.678106
1.06/1.14 c bounds 30389 >= -1318 @ 0.679279
1.06/1.14 c bounds 30389 >= -1315 @ 0.682274
1.06/1.14 c bounds 30389 >= -1309 @ 0.683558
1.06/1.15 c bounds 30389 >= -1302 @ 0.684559
1.06/1.15 c bounds 30389 >= -1297 @ 0.686634
1.06/1.16 c bounds 30389 >= -1292 @ 0.68872
1.06/1.16 c bounds 30389 >= -1291 @ 0.690041
1.06/1.17 c bounds 30289 >= -1291 @ 0.695954
1.06/1.17 c bounds 30289 >= -1284 @ 0.698091
1.06/1.18 c bounds 30289 >= -1281 @ 0.701138
1.06/1.18 c bounds 30289 >= -1279 @ 0.703495
1.06/1.19 c bounds 30289 >= -1277 @ 0.705492
1.06/1.19 c bounds 30289 >= -1275 @ 0.706492
1.06/1.19 c bounds 30289 >= -1273 @ 0.710316
1.16/1.20 c bounds 30289 >= -1271 @ 0.711681
1.16/1.20 c bounds 30289 >= -1268 @ 0.71376
1.16/1.21 c bounds 30289 >= -1267 @ 0.715037
1.16/1.21 c bounds 30289 >= -1262 @ 0.716138
1.16/1.22 c bounds 30289 >= -1261 @ 0.717478
1.16/1.23 c bounds 30288 >= -1261 @ 0.724926
1.16/1.23 c bounds 30288 >= -1254 @ 0.727333
1.16/1.23 c bounds 30288 >= -1251 @ 0.729454
1.16/1.24 c bounds 30288 >= -1250 @ 0.732402
1.16/1.24 c bounds 30288 >= -1243 @ 0.735454
1.16/1.25 c bounds 30288 >= -1241 @ 0.738518
1.16/1.25 c bounds 30288 >= -1240 @ 0.739582
1.16/1.25 c bounds 30288 >= -1234 @ 0.740933
1.16/1.26 c bounds 30288 >= -1233 @ 0.741982
1.16/1.26 c bounds 30288 >= -1231 @ 0.74398
1.16/1.27 c bounds 30288 >= -1227 @ 0.744979
1.16/1.28 c bounds 30287 >= -1227 @ 0.749884
1.16/1.28 c bounds 30287 >= -1223 @ 0.751176
1.16/1.28 c bounds 30287 >= -1220 @ 0.752405
1.16/1.29 c bounds 30287 >= -1217 @ 0.754213
1.16/1.29 c bounds 30287 >= -1211 @ 0.75626
1.25/1.30 c bounds 30287 >= -1208 @ 0.7574
1.25/1.30 c bounds 30287 >= -1201 @ 0.760404
1.25/1.30 c bounds 30287 >= -1195 @ 0.762467
1.25/1.31 c bounds 30287 >= -1193 @ 0.764521
1.25/1.31 c bounds 30287 >= -1188 @ 0.768569
1.25/1.32 c bounds 30287 >= -1186 @ 0.770724
1.25/1.32 c bounds 30287 >= -1185 @ 0.77293
1.25/1.33 c bounds 30286 >= -1185 @ 0.779149
1.25/1.33 c bounds 30286 >= -1184 @ 0.780846
1.25/1.34 c bounds 30286 >= -1183 @ 0.781894
1.25/1.34 c bounds 30286 >= -1177 @ 0.782918
1.25/1.35 c bounds 30286 >= -1176 @ 0.783922
1.25/1.35 c bounds 30286 >= -1172 @ 0.786849
1.25/1.36 c bounds 30286 >= -1169 @ 0.789347
1.25/1.36 c bounds 30286 >= -1162 @ 0.790071
1.25/1.36 c bounds 30286 >= -1161 @ 0.792343
1.25/1.37 c bounds 30286 >= -1154 @ 0.793344
1.25/1.37 c bounds 30286 >= -1148 @ 0.795341
1.25/1.38 c bounds 30286 >= -1145 @ 0.797302
1.25/1.39 c bounds 30285 >= -1145 @ 0.804022
1.25/1.39 c bounds 30285 >= -1142 @ 0.807425
1.25/1.39 c bounds 30285 >= -1139 @ 0.809784
1.36/1.40 c bounds 30285 >= -1135 @ 0.810839
1.36/1.40 c bounds 30285 >= -1134 @ 0.812876
1.36/1.41 c bounds 30285 >= -1127 @ 0.813869
1.36/1.41 c bounds 30285 >= -1122 @ 0.815868
1.36/1.41 c bounds 30285 >= -1115 @ 0.819005
1.36/1.42 c bounds 30285 >= -1108 @ 0.821008
1.36/1.42 c bounds 30285 >= -1103 @ 0.822288
1.36/1.43 c bounds 30285 >= -1096 @ 0.825106
1.36/1.44 c bounds 30184 >= -1096 @ 0.831067
1.36/1.44 c bounds 30184 >= -1090 @ 0.832447
1.36/1.45 c bounds 30184 >= -1089 @ 0.833269
1.36/1.45 c bounds 30184 >= -1082 @ 0.834829
1.36/1.45 c bounds 30184 >= -1081 @ 0.837832
1.36/1.46 c bounds 30184 >= -1073 @ 0.839821
1.36/1.46 c bounds 30184 >= -1066 @ 0.842785
1.36/1.47 c bounds 30184 >= -1061 @ 0.845843
1.36/1.47 c bounds 30184 >= -1060 @ 0.846954
1.36/1.47 c bounds 30184 >= -1058 @ 0.848975
1.36/1.48 c bounds 30184 >= -1057 @ 0.852031
1.36/1.48 c bounds 30184 >= -1056 @ 0.854231
1.36/1.49 c bounds 30184 >= -1052 @ 0.855231
1.46/1.53 c bounds 30183 >= -1052 @ 0.887782
1.46/1.53 c bounds 30183 >= -1048 @ 0.890709
1.46/1.53 c bounds 30183 >= -1041 @ 0.891678
1.46/1.54 c bounds 30183 >= -1040 @ 0.894673
1.46/1.54 c bounds 30183 >= -1033 @ 0.89667
1.46/1.55 c bounds 30183 >= -1028 @ 0.898799
1.46/1.55 c bounds 30183 >= -1027 @ 0.900799
1.46/1.55 c bounds 30183 >= -1026 @ 0.903097
1.46/1.56 c bounds 30183 >= -1025 @ 0.904097
1.46/1.56 c bounds 30183 >= -1024 @ 0.906577
1.46/1.57 c bounds 30183 >= -1023 @ 0.908633
1.46/1.57 c bounds 30183 >= -1022 @ 0.909776
1.46/1.58 c bounds 30183 >= -1017 @ 0.911876
1.46/1.58 c bounds 30183 >= -1016 @ 0.91488
1.46/1.58 c bounds 30183 >= -1015 @ 0.916946
1.46/1.59 c bounds 30183 >= -1014 @ 0.920047
1.46/1.59 c bounds 30183 >= -1013 @ 0.922223
1.56/1.60 c bounds 30183 >= -1012 @ 0.923531
1.56/1.60 c bounds 30183 >= -1011 @ 0.926329
1.56/1.60 c bounds 30183 >= -1010 @ 0.92958
1.56/1.61 c bounds 30183 >= -1009 @ 0.932899
1.56/1.61 c bounds 30183 >= -1008 @ 0.934019
1.56/1.62 c bounds 30183 >= -1007 @ 0.936089
1.56/1.62 c bounds 30183 >= -1006 @ 0.938138
1.56/1.66 c bounds 30182 >= -1006 @ 0.971704
1.56/1.66 c bounds 30182 >= -1005 @ 0.974564
1.56/1.67 c bounds 30182 >= -1004 @ 0.976422
1.56/1.67 c bounds 30182 >= -999 @ 0.978604
1.56/1.68 c bounds 30182 >= -998 @ 0.980604
1.56/1.68 c bounds 30182 >= -995 @ 0.982894
1.56/1.68 c bounds 30182 >= -991 @ 0.983894
1.56/1.69 c bounds 30182 >= -987 @ 0.985888
1.56/1.69 c bounds 30182 >= -986 @ 0.987051
1.65/1.70 c bounds 30182 >= -982 @ 0.989038
1.65/1.70 c bounds 30182 >= -979 @ 0.993003
1.65/1.70 c bounds 30182 >= -978 @ 0.994357
1.65/1.71 c bounds 30182 >= -977 @ 0.995401
1.65/1.71 c bounds 30182 >= -976 @ 0.996448
1.65/1.72 c bounds 30182 >= -970 @ 0.998438
1.65/1.72 c bounds 30182 >= -967 @ 0.999427
1.65/1.72 c bounds 30182 >= -966 @ 1.00245
1.65/1.73 c bounds 30182 >= -961 @ 1.00359
1.65/1.73 c bounds 30182 >= -960 @ 1.00486
1.65/1.74 c bounds 30182 >= -955 @ 1.00785
1.65/1.74 c bounds 30182 >= -950 @ 1.01101
1.65/1.74 c bounds 30182 >= -949 @ 1.01201
1.65/1.75 c bounds 30182 >= -948 @ 1.01435
1.65/1.75 c bounds 30182 >= -947 @ 1.0164
1.65/1.76 c bounds 30182 >= -946 @ 1.01929
1.65/1.76 c bounds 30182 >= -945 @ 1.02243
1.65/1.77 c bounds 30182 >= -944 @ 1.02458
1.65/1.77 c bounds 30182 >= -943 @ 1.02669
1.65/1.77 c bounds 30182 >= -942 @ 1.02879
1.65/1.78 c bounds 30182 >= -941 @ 1.02998
1.65/1.78 c bounds 30182 >= -940 @ 1.03182
1.65/1.79 c bounds 30182 >= -939 @ 1.03341
1.65/1.79 c bounds 30182 >= -935 @ 1.03642
1.65/1.79 c bounds 30182 >= -934 @ 1.0376
1.75/1.80 c bounds 30182 >= -930 @ 1.0407
1.75/1.83 c bounds 30181 >= -930 @ 1.0698
1.75/1.84 c bounds 30181 >= -925 @ 1.07288
1.75/1.84 c bounds 30181 >= -922 @ 1.07516
1.75/1.85 c bounds 30181 >= -919 @ 1.0763
1.75/1.85 c bounds 30181 >= -914 @ 1.0773
1.75/1.86 c bounds 30181 >= -911 @ 1.07945
1.75/1.86 c bounds 30181 >= -907 @ 1.08166
1.75/1.86 c bounds 30181 >= -902 @ 1.08455
1.75/1.87 c bounds 30181 >= -899 @ 1.08668
1.75/1.87 c bounds 30181 >= -894 @ 1.0888
1.75/1.88 c bounds 30181 >= -890 @ 1.09112
1.75/1.88 c bounds 30181 >= -886 @ 1.09487
1.75/1.88 c bounds 30181 >= -883 @ 1.09618
1.75/1.89 c bounds 30181 >= -879 @ 1.09797
1.75/1.89 c bounds 30181 >= -874 @ 1.09918
1.86/1.90 c bounds 30181 >= -873 @ 1.10208
1.86/1.90 c bounds 30181 >= -872 @ 1.10413
1.86/1.90 c bounds 30181 >= -871 @ 1.10518
1.86/1.91 c bounds 30181 >= -870 @ 1.10631
1.86/1.91 c bounds 30181 >= -869 @ 1.10925
1.86/1.92 c bounds 30181 >= -864 @ 1.11034
1.86/1.92 c bounds 30181 >= -857 @ 1.1116
1.86/1.92 c bounds 30181 >= -853 @ 1.11446
1.86/1.93 c bounds 30181 >= -850 @ 1.11853
1.86/1.93 c bounds 30181 >= -849 @ 1.12078
1.86/1.94 c bounds 30181 >= -843 @ 1.12423
1.86/1.94 c bounds 30181 >= -841 @ 1.12619
1.86/1.95 c bounds 30181 >= -840 @ 1.12739
1.86/1.95 c bounds 30181 >= -835 @ 1.12857
1.86/1.95 c bounds 30181 >= -832 @ 1.13074
1.86/1.96 c bounds 30181 >= -830 @ 1.13265
1.86/1.96 c bounds 30181 >= -828 @ 1.13471
1.86/1.97 c bounds 30181 >= -823 @ 1.13705
1.86/1.97 c bounds 30181 >= -821 @ 1.13908
1.86/1.97 c bounds 30181 >= -818 @ 1.1401
1.86/1.98 c bounds 30181 >= -816 @ 1.14111
1.86/1.98 c bounds 30181 >= -812 @ 1.14211
1.86/1.99 c bounds 30181 >= -808 @ 1.14311
1.96/2.02 c bounds 30080 >= -808 @ 1.16603
1.96/2.02 c bounds 30080 >= -804 @ 1.16807
1.96/2.03 c bounds 30080 >= -799 @ 1.16905
1.96/2.03 c bounds 30080 >= -797 @ 1.17205
1.96/2.04 c bounds 30080 >= -794 @ 1.17405
1.96/2.04 c bounds 30080 >= -791 @ 1.17518
1.96/2.04 c bounds 30080 >= -788 @ 1.17619
1.96/2.05 c bounds 30080 >= -784 @ 1.17847
1.96/2.05 c bounds 30080 >= -780 @ 1.17947
1.96/2.06 c bounds 30080 >= -775 @ 1.18063
1.96/2.06 c bounds 30080 >= -771 @ 1.18386
1.96/2.07 c bounds 30080 >= -769 @ 1.18603
1.96/2.07 c bounds 30080 >= -766 @ 1.18906
1.96/2.07 c bounds 30080 >= -764 @ 1.18945
1.96/2.08 c bounds 30080 >= -762 @ 1.19062
1.96/2.08 c bounds 30080 >= -760 @ 1.19394
1.96/2.09 c bounds 30080 >= -757 @ 1.19598
1.96/2.09 c bounds 30080 >= -755 @ 1.198
1.96/2.09 c bounds 30080 >= -752 @ 1.20081
1.96/2.10 c bounds 30080 >= -748 @ 1.20299
2.06/2.10 c bounds 30080 >= -745 @ 1.20594
2.06/2.11 c bounds 30080 >= -742 @ 1.20999
2.06/2.11 c bounds 30080 >= -740 @ 1.21211
2.06/2.11 c bounds 30080 >= -736 @ 1.21409
2.06/2.12 c bounds 30080 >= -733 @ 1.2154
2.06/2.12 c bounds 30080 >= -729 @ 1.2174
2.06/2.13 c bounds 30080 >= -727 @ 1.21993
2.06/2.13 c bounds 30080 >= -725 @ 1.22196
2.06/2.14 c bounds 30080 >= -720 @ 1.2238
2.06/2.14 c bounds 30080 >= -719 @ 1.22586
2.06/2.14 c bounds 30080 >= -718 @ 1.22843
2.06/2.15 c bounds 30080 >= -717 @ 1.22953
2.06/2.15 c bounds 30080 >= -716 @ 1.23186
2.06/2.16 c bounds 30080 >= -715 @ 1.23391
2.06/2.16 c bounds 30080 >= -714 @ 1.23592
2.06/2.16 c bounds 30080 >= -713 @ 1.23791
2.06/2.17 c bounds 30080 >= -711 @ 1.2409
2.06/2.17 c bounds 30080 >= -710 @ 1.24387
2.06/2.18 c bounds 30080 >= -709 @ 1.24592
2.06/2.18 c bounds 30080 >= -708 @ 1.24797
2.06/2.18 c bounds 30080 >= -707 @ 1.25102
2.06/2.19 c bounds 30080 >= -706 @ 1.2533
2.15/2.23 c bounds 30079 >= -706 @ 1.28577
2.15/2.23 c bounds 30079 >= -705 @ 1.2884
2.15/2.24 c bounds 30079 >= -704 @ 1.29137
2.15/2.24 c bounds 30079 >= -703 @ 1.29271
2.15/2.25 c bounds 30079 >= -702 @ 1.29375
2.15/2.25 c bounds 30079 >= -701 @ 1.29553
2.15/2.26 c bounds 30079 >= -699 @ 1.29708
2.15/2.26 c bounds 30079 >= -697 @ 1.30007
2.15/2.26 c bounds 30079 >= -696 @ 1.30213
2.15/2.27 c bounds 30079 >= -695 @ 1.30434
2.15/2.27 c bounds 30079 >= -693 @ 1.30634
2.15/2.28 c bounds 30079 >= -691 @ 1.30866
2.15/2.28 c bounds 30079 >= -690 @ 1.3097
2.15/2.28 c bounds 30079 >= -688 @ 1.31073
2.15/2.29 c bounds 30079 >= -686 @ 1.31273
2.15/2.29 c bounds 30079 >= -684 @ 1.31557
2.25/2.30 c bounds 30079 >= -682 @ 1.31773
2.25/2.30 c bounds 30079 >= -680 @ 1.31972
2.25/2.30 c bounds 30079 >= -678 @ 1.32187
2.25/2.31 c bounds 30079 >= -677 @ 1.32286
2.25/2.31 c bounds 30079 >= -675 @ 1.32415
2.25/2.32 c bounds 30079 >= -674 @ 1.32614
2.25/2.32 c bounds 30079 >= -670 @ 1.32899
2.25/2.32 c bounds 30079 >= -669 @ 1.33013
2.25/2.33 c bounds 30079 >= -668 @ 1.33113
2.25/2.33 c bounds 30079 >= -667 @ 1.33129
2.25/2.34 c bounds 30079 >= -666 @ 1.33329
2.25/2.34 c bounds 30079 >= -665 @ 1.33462
2.25/2.34 c bounds 30079 >= -664 @ 1.33736
2.25/2.35 c bounds 30079 >= -663 @ 1.33941
2.25/2.35 c bounds 30079 >= -662 @ 1.34246
2.25/2.36 c bounds 30079 >= -661 @ 1.34467
2.25/2.39 c bounds 30078 >= -661 @ 1.3789
2.36/2.40 c bounds 30078 >= -660 @ 1.38269
2.36/2.40 c bounds 30078 >= -657 @ 1.38576
2.36/2.41 c bounds 30078 >= -656 @ 1.388
2.36/2.41 c bounds 30078 >= -654 @ 1.38999
2.36/2.42 c bounds 30078 >= -653 @ 1.39197
2.36/2.42 c bounds 30078 >= -652 @ 1.39504
2.36/2.42 c bounds 30078 >= -651 @ 1.39709
2.36/2.43 c bounds 30078 >= -650 @ 1.39849
2.36/2.43 c bounds 30078 >= -649 @ 1.39954
2.36/2.44 c bounds 30078 >= -648 @ 1.40055
2.36/2.44 c bounds 30078 >= -647 @ 1.40254
2.36/2.44 c bounds 30078 >= -646 @ 1.40354
2.36/2.45 c bounds 30078 >= -645 @ 1.40471
2.36/2.45 c bounds 30078 >= -644 @ 1.40765
2.36/2.46 c bounds 30078 >= -643 @ 1.40896
2.36/2.46 c bounds 30078 >= -642 @ 1.41096
2.36/2.46 c bounds 30078 >= -641 @ 1.41282
2.36/2.47 c bounds 30078 >= -640 @ 1.41488
2.36/2.47 c bounds 30078 >= -639 @ 1.41595
2.36/2.48 c bounds 30078 >= -638 @ 1.4171
2.36/2.48 c bounds 30078 >= -637 @ 1.42103
2.36/2.48 c bounds 30078 >= -636 @ 1.42409
2.36/2.49 c bounds 30078 >= -635 @ 1.42644
2.36/2.49 c bounds 30078 >= -634 @ 1.42818
2.45/2.50 c bounds 30078 >= -633 @ 1.43026
2.45/2.50 c bounds 30078 >= -632 @ 1.43335
2.45/2.51 c bounds 30078 >= -631 @ 1.43548
2.45/2.51 c bounds 30078 >= -630 @ 1.43846
2.45/2.51 c bounds 30078 >= -629 @ 1.44051
2.45/2.52 c bounds 30078 >= -628 @ 1.44162
2.45/2.52 c bounds 30078 >= -627 @ 1.44364
2.45/2.53 c bounds 30078 >= -626 @ 1.44581
2.45/2.53 c bounds 30078 >= -625 @ 1.4489
2.45/2.53 c bounds 30078 >= -624 @ 1.45004
2.45/2.54 c bounds 30078 >= -623 @ 1.45141
2.45/2.54 c bounds 30078 >= -622 @ 1.45457
2.45/2.58 c bounds 29978 >= -622 @ 1.48842
2.45/2.58 c bounds 29978 >= -621 @ 1.49147
2.45/2.59 c bounds 29978 >= -620 @ 1.49352
2.45/2.59 c bounds 29978 >= -619 @ 1.49551
2.55/2.60 c bounds 29978 >= -618 @ 1.49758
2.55/2.60 c bounds 29978 >= -617 @ 1.50067
2.55/2.60 c bounds 29978 >= -616 @ 1.50376
2.55/2.61 c bounds 29978 >= -615 @ 1.5049
2.55/2.61 c bounds 29978 >= -614 @ 1.50697
2.55/2.62 c bounds 29978 >= -613 @ 1.50931
2.55/2.62 c bounds 29978 >= -612 @ 1.51142
2.55/2.63 c bounds 29978 >= -611 @ 1.51331
2.55/2.63 c bounds 29978 >= -610 @ 1.51547
2.55/2.63 c bounds 29978 >= -609 @ 1.51649
2.55/2.64 c bounds 29978 >= -608 @ 1.51857
2.55/2.64 c bounds 29978 >= -607 @ 1.52072
2.55/2.65 c bounds 29978 >= -606 @ 1.52372
2.55/2.65 c bounds 29978 >= -605 @ 1.52681
2.55/2.65 c bounds 29978 >= -604 @ 1.52921
2.55/2.66 c bounds 29978 >= -603 @ 1.5317
2.55/2.66 c bounds 29978 >= -602 @ 1.53228
2.55/2.67 c bounds 29978 >= -601 @ 1.53428
2.55/2.67 c bounds 29978 >= -600 @ 1.53767
2.55/2.67 c bounds 29978 >= -599 @ 1.53983
2.55/2.68 c bounds 29978 >= -598 @ 1.54184
2.55/2.68 c bounds 29978 >= -597 @ 1.54394
2.55/2.69 c bounds 29978 >= -596 @ 1.54603
2.55/2.69 c bounds 29978 >= -595 @ 1.54913
2.55/2.70 c bounds 29978 >= -593 @ 1.55121
2.66/2.70 c bounds 29978 >= -592 @ 1.55429
2.66/2.70 c bounds 29978 >= -588 @ 1.55544
2.66/2.71 c bounds 29978 >= -585 @ 1.55665
2.66/2.71 c bounds 29978 >= -583 @ 1.55859
2.66/2.72 c bounds 29978 >= -581 @ 1.55981
2.66/2.78 c bounds 29977 >= -581 @ 1.61747
2.66/2.79 c bounds 29977 >= -578 @ 1.62078
2.66/2.79 c bounds 29977 >= -576 @ 1.62205
2.75/2.80 c bounds 29977 >= -573 @ 1.62508
2.75/2.80 c bounds 29977 >= -565 @ 1.62621
2.75/2.81 c bounds 29977 >= -563 @ 1.62722
2.75/2.81 c bounds 29977 >= -562 @ 1.62946
2.75/2.81 c bounds 29977 >= -553 @ 1.63239
2.75/2.82 c bounds 29977 >= -552 @ 1.63345
2.75/2.82 c bounds 29977 >= -548 @ 1.6346
2.75/2.83 c bounds 29977 >= -547 @ 1.63598
2.75/2.83 c bounds 29977 >= -539 @ 1.63702
2.75/2.84 c bounds 29977 >= -531 @ 1.63903
2.75/2.84 c bounds 29977 >= -525 @ 1.64107
2.75/2.84 c bounds 29977 >= -514 @ 1.64219
2.75/2.85 c bounds 29977 >= -510 @ 1.64442
2.75/2.85 c bounds 29977 >= -507 @ 1.64834
2.75/2.86 c bounds 29977 >= -502 @ 1.64956
2.75/2.86 c bounds 29977 >= -499 @ 1.65256
2.75/2.86 c bounds 29977 >= -495 @ 1.65457
2.75/2.87 c bounds 29977 >= -492 @ 1.65816
2.75/2.87 c bounds 29977 >= -489 @ 1.65917
2.75/2.88 c bounds 29977 >= -485 @ 1.66128
2.75/2.88 c bounds 29977 >= -483 @ 1.66389
2.75/2.89 c bounds 29977 >= -476 @ 1.66496
2.75/2.89 c bounds 29977 >= -472 @ 1.66677
2.75/2.89 c bounds 29977 >= -464 @ 1.66887
2.86/2.90 c bounds 29977 >= -459 @ 1.67096
2.86/2.90 c bounds 29977 >= -458 @ 1.67311
2.86/2.91 c bounds 29977 >= -452 @ 1.67436
2.86/2.91 c bounds 29977 >= -448 @ 1.67722
2.86/2.91 c bounds 29977 >= -443 @ 1.67935
2.86/2.92 c bounds 29977 >= -439 @ 1.6825
2.86/2.92 c bounds 29977 >= -432 @ 1.68645
2.86/2.93 c bounds 29977 >= -431 @ 1.68884
2.86/2.93 c bounds 29977 >= -426 @ 1.69091
2.86/2.93 c bounds 29977 >= -422 @ 1.69273
2.86/2.94 c bounds 29977 >= -410 @ 1.694
2.86/2.94 c bounds 29977 >= -405 @ 1.69607
2.86/2.95 c bounds 29977 >= -403 @ 1.69886
2.86/2.95 c bounds 29977 >= -402 @ 1.69991
2.86/2.96 c bounds 29977 >= -398 @ 1.70092
2.86/2.96 c bounds 29977 >= -394 @ 1.70334
2.86/2.96 c bounds 29977 >= -390 @ 1.70681
2.86/2.97 c bounds 29977 >= -389 @ 1.70963
2.86/2.97 c bounds 29977 >= -382 @ 1.71198
2.86/2.98 c bounds 29977 >= -381 @ 1.71305
2.86/2.98 c bounds 29977 >= -380 @ 1.71511
2.86/2.98 c bounds 29977 >= -371 @ 1.71627
2.86/2.99 c bounds 29977 >= -365 @ 1.71842
2.86/2.99 c bounds 29977 >= -363 @ 1.71942
2.86/3.00 c bounds 29977 >= -361 @ 1.72244
2.96/3.00 c bounds 29977 >= -357 @ 1.72469
2.96/3.01 c bounds 29977 >= -354 @ 1.72581
2.96/3.01 c bounds 29977 >= -350 @ 1.72798
2.96/3.01 c bounds 29977 >= -347 @ 1.73198
2.96/3.02 c bounds 29977 >= -346 @ 1.73521
2.96/3.02 c bounds 29977 >= -339 @ 1.73621
2.96/3.03 c bounds 29977 >= -335 @ 1.7403
2.96/3.03 c bounds 29977 >= -330 @ 1.74177
2.96/3.03 c bounds 29977 >= -327 @ 1.74383
2.96/3.04 c bounds 29977 >= -322 @ 1.74581
2.96/3.04 c bounds 29977 >= -315 @ 1.74802
2.96/3.05 c bounds 29977 >= -310 @ 1.75007
2.96/3.05 c bounds 29977 >= -306 @ 1.75135
2.96/3.05 c bounds 29977 >= -299 @ 1.75267
2.96/3.06 c bounds 29977 >= -289 @ 1.75442
2.96/3.06 c bounds 29977 >= -281 @ 1.75676
2.96/3.07 c bounds 29977 >= -269 @ 1.75879
3.06/3.12 c bounds 29976 >= -269 @ 1.80465
3.06/3.12 c bounds 29976 >= -265 @ 1.80659
3.06/3.13 c bounds 29976 >= -258 @ 1.80762
3.06/3.13 c bounds 29976 >= -255 @ 1.81048
3.06/3.13 c bounds 29976 >= -251 @ 1.81261
3.06/3.14 c bounds 29976 >= -248 @ 1.81478
3.06/3.14 c bounds 29976 >= -238 @ 1.81686
3.06/3.15 c bounds 29976 >= -234 @ 1.82007
3.06/3.15 c bounds 29976 >= -227 @ 1.82363
3.06/3.16 c bounds 29976 >= -217 @ 1.82562
3.06/3.16 c bounds 29976 >= -210 @ 1.82885
3.06/3.16 c bounds 29976 >= -207 @ 1.83217
3.06/3.17 c bounds 29976 >= -200 @ 1.8337
3.06/3.17 c bounds 29976 >= -196 @ 1.83584
3.06/3.18 c bounds 29976 >= -185 @ 1.83818
3.06/3.18 c bounds 29976 >= -178 @ 1.83967
3.06/3.19 c bounds 29976 >= -175 @ 1.84167
3.06/3.19 c bounds 29976 >= -172 @ 1.84387
3.06/3.19 c bounds 29976 >= -171 @ 1.84694
3.15/3.20 c bounds 29976 >= -170 @ 1.84921
3.15/3.20 c bounds 29976 >= -159 @ 1.85053
3.15/3.21 c bounds 29976 >= -152 @ 1.85155
3.15/3.21 c bounds 29976 >= -146 @ 1.85457
3.15/3.21 c bounds 29976 >= -145 @ 1.85572
3.15/3.22 c bounds 29976 >= -138 @ 1.85692
3.15/3.22 c bounds 29976 >= -129 @ 1.85946
3.15/3.23 c bounds 29976 >= -119 @ 1.86162
3.15/3.23 c bounds 29976 >= -109 @ 1.86291
3.15/3.24 c bounds 29976 >= -100 @ 1.86485
3.15/3.24 c bounds 29976 >= -93 @ 1.86606
3.15/3.24 c bounds 29976 >= -83 @ 1.86806
3.15/3.25 c bounds 29976 >= -78 @ 1.86969
3.15/3.25 c bounds 29976 >= -75 @ 1.87273
3.15/3.26 c bounds 29976 >= -69 @ 1.87406
3.15/3.26 c bounds 29976 >= -63 @ 1.87569
3.15/3.27 c bounds 29976 >= -58 @ 1.87688
3.15/3.27 c bounds 29976 >= -52 @ 1.8794
3.15/3.27 c bounds 29976 >= -42 @ 1.88064
3.15/3.28 c bounds 29976 >= -36 @ 1.8817
3.15/3.28 c bounds 29976 >= -27 @ 1.88478
3.15/3.29 c bounds 29976 >= -20 @ 1.88791
3.15/3.29 c bounds 29976 >= -17 @ 1.88939
3.15/3.30 c bounds 29976 >= -11 @ 1.89222
3.25/3.30 c bounds 29976 >= -5 @ 1.89353
3.25/3.30 c bounds 29976 >= 5 @ 1.89668
3.25/3.35 c bounds 29975 >= 5 @ 1.93829
3.25/3.36 c bounds 29975 >= 11 @ 1.94035
3.25/3.36 c bounds 29975 >= 17 @ 1.94239
3.25/3.37 c bounds 29975 >= 23 @ 1.94362
3.25/3.37 c bounds 29975 >= 26 @ 1.94491
3.25/3.38 c bounds 29975 >= 35 @ 1.9471
3.25/3.38 c bounds 29975 >= 36 @ 1.94923
3.25/3.38 c bounds 29975 >= 42 @ 1.95145
3.25/3.39 c bounds 29975 >= 45 @ 1.95365
3.25/3.39 c bounds 29975 >= 50 @ 1.95522
3.35/3.40 c bounds 29975 >= 55 @ 1.95633
3.35/3.40 c bounds 29975 >= 58 @ 1.95732
3.35/3.40 c bounds 29975 >= 59 @ 1.95945
3.35/3.41 c bounds 29975 >= 64 @ 1.96188
3.35/3.41 c bounds 29975 >= 66 @ 1.9633
3.35/3.42 c bounds 29975 >= 72 @ 1.96436
3.35/3.42 c bounds 29975 >= 74 @ 1.96657
3.35/3.43 c bounds 29975 >= 77 @ 1.96768
3.35/3.43 c bounds 29975 >= 80 @ 1.96884
3.35/3.43 c bounds 29975 >= 81 @ 1.97087
3.35/3.44 c bounds 29975 >= 88 @ 1.973
3.35/3.44 c bounds 29975 >= 94 @ 1.97537
3.35/3.45 c bounds 29975 >= 97 @ 1.97951
3.35/3.45 c bounds 29975 >= 107 @ 1.98265
3.35/3.46 c bounds 29975 >= 117 @ 1.98329
3.35/3.46 c bounds 29975 >= 123 @ 1.98526
3.35/3.46 c bounds 29975 >= 128 @ 1.98747
3.35/3.47 c bounds 29975 >= 129 @ 1.98963
3.35/3.47 c bounds 29975 >= 139 @ 1.99269
3.35/3.48 c bounds 29975 >= 141 @ 1.99477
3.35/3.48 c bounds 29975 >= 151 @ 1.99629
3.35/3.48 c bounds 29975 >= 161 @ 1.99746
3.35/3.49 c bounds 29975 >= 165 @ 1.99862
3.35/3.49 c bounds 29975 >= 169 @ 2.00028
3.45/3.50 c bounds 29975 >= 174 @ 2.00323
3.45/3.50 c bounds 29975 >= 180 @ 2.00541
3.45/3.51 c bounds 29975 >= 184 @ 2.00777
3.45/3.51 c bounds 29975 >= 194 @ 2.01176
3.45/3.51 c bounds 29975 >= 200 @ 2.01416
3.45/3.52 c bounds 29975 >= 210 @ 2.01621
3.45/3.52 c bounds 29975 >= 216 @ 2.01747
3.45/3.53 c bounds 29975 >= 226 @ 2.02021
3.45/3.53 c bounds 29975 >= 233 @ 2.0237
3.45/3.54 c bounds 29975 >= 243 @ 2.02722
3.45/3.54 c bounds 29975 >= 249 @ 2.02963
3.45/3.55 c bounds 29975 >= 251 @ 2.03124
3.45/3.55 c bounds 29975 >= 260 @ 2.03349
3.45/3.55 c bounds 29975 >= 264 @ 2.0361
3.45/3.56 c bounds 29975 >= 268 @ 2.0401
3.45/3.56 c bounds 29975 >= 270 @ 2.04251
3.96/4.01 c bounds 29974 >= 270 @ 2.45927
3.96/4.02 c bounds 29974 >= 274 @ 2.46189
3.96/4.02 c bounds 29974 >= 280 @ 2.46409
3.96/4.02 c bounds 29974 >= 290 @ 2.46786
3.96/4.03 c bounds 29974 >= 293 @ 2.47001
3.96/4.03 c bounds 29974 >= 303 @ 2.47048
3.96/4.04 c bounds 29974 >= 306 @ 2.47202
3.96/4.04 c bounds 29974 >= 308 @ 2.47619
3.96/4.05 c bounds 29974 >= 310 @ 2.47883
3.96/4.05 c bounds 29974 >= 317 @ 2.48196
3.96/4.05 c bounds 29974 >= 324 @ 2.48345
3.96/4.06 c bounds 29974 >= 330 @ 2.48501
3.96/4.06 c bounds 29974 >= 337 @ 2.48726
3.96/4.07 c bounds 29974 >= 346 @ 2.48992
3.96/4.07 c bounds 29974 >= 352 @ 2.49318
3.96/4.08 c bounds 29974 >= 362 @ 2.49586
3.96/4.08 c bounds 29974 >= 365 @ 2.49816
3.96/4.09 c bounds 29974 >= 371 @ 2.5027
3.96/4.09 c bounds 29974 >= 373 @ 2.50514
3.96/4.09 c bounds 29974 >= 375 @ 2.50772
3.96/4.10 c bounds 29974 >= 376 @ 2.50995
4.06/4.10 c bounds 29974 >= 377 @ 2.51225
4.06/4.11 c bounds 29974 >= 386 @ 2.514
4.06/4.11 c bounds 29974 >= 387 @ 2.51538
4.06/4.12 c bounds 29974 >= 392 @ 2.51787
4.06/4.12 c bounds 29974 >= 402 @ 2.52018
4.06/4.13 c bounds 29974 >= 407 @ 2.52287
4.06/4.13 c bounds 29974 >= 417 @ 2.5254
4.06/4.14 c bounds 29974 >= 423 @ 2.52886
4.06/4.14 c bounds 29974 >= 429 @ 2.53134
4.06/4.14 c bounds 29974 >= 436 @ 2.53397
4.06/4.15 c bounds 29974 >= 439 @ 2.53499
4.06/4.15 c bounds 29974 >= 449 @ 2.53783
4.06/4.16 c bounds 29974 >= 459 @ 2.54041
4.06/4.16 c bounds 29974 >= 469 @ 2.54341
4.06/4.17 c bounds 29974 >= 474 @ 2.54685
4.06/4.17 c bounds 29974 >= 485 @ 2.54867
4.06/4.18 c bounds 29974 >= 495 @ 2.55193
4.06/4.18 c bounds 29974 >= 501 @ 2.55465
4.06/4.19 c bounds 29974 >= 507 @ 2.55686
4.06/4.19 c bounds 29974 >= 513 @ 2.56029
4.06/4.20 c bounds 29974 >= 518 @ 2.56282
4.15/4.20 c bounds 29974 >= 528 @ 2.5662
4.15/4.20 c bounds 29974 >= 538 @ 2.56901
4.15/4.21 c bounds 29974 >= 547 @ 2.57174
4.15/4.21 c bounds 29974 >= 548 @ 2.57413
4.15/4.22 c bounds 29974 >= 549 @ 2.57574
4.15/4.22 c bounds 29974 >= 550 @ 2.57793
4.15/4.23 c bounds 29974 >= 551 @ 2.5817
4.15/4.23 c bounds 29974 >= 552 @ 2.58259
4.15/4.24 c bounds 29974 >= 553 @ 2.58378
4.15/4.24 c bounds 29974 >= 554 @ 2.58671
4.15/4.25 c bounds 29974 >= 555 @ 2.58915
4.15/4.25 c bounds 29974 >= 556 @ 2.59159
4.15/4.26 c bounds 29974 >= 557 @ 2.5936
4.15/4.26 c bounds 29974 >= 558 @ 2.59485
4.15/4.26 c bounds 29974 >= 559 @ 2.59617
4.15/4.27 c bounds 29974 >= 560 @ 2.59958
4.15/4.27 c bounds 29974 >= 561 @ 2.60103
4.15/4.28 c bounds 29974 >= 562 @ 2.60342
4.15/4.28 c bounds 29974 >= 563 @ 2.60601
4.15/4.29 c bounds 29974 >= 564 @ 2.60765
4.15/4.29 c bounds 29974 >= 565 @ 2.60987
4.15/4.30 c bounds 29974 >= 570 @ 2.61154
4.25/4.30 c bounds 29974 >= 571 @ 2.61495
4.25/4.30 c bounds 29974 >= 572 @ 2.61659
4.25/4.31 c bounds 29974 >= 573 @ 2.61893
4.25/4.31 c bounds 29974 >= 574 @ 2.62134
4.25/4.32 c bounds 29974 >= 575 @ 2.62478
4.25/4.32 c bounds 29974 >= 580 @ 2.62747
4.25/4.33 c bounds 29974 >= 587 @ 2.6296
4.25/4.33 c bounds 29974 >= 590 @ 2.63301
4.25/4.34 c bounds 29974 >= 591 @ 2.6359
4.25/4.34 c bounds 29974 >= 597 @ 2.63862
4.25/4.34 c bounds 29974 >= 599 @ 2.64189
4.25/4.35 c bounds 29974 >= 606 @ 2.64357
4.25/4.35 c bounds 29974 >= 607 @ 2.6458
4.25/4.36 c bounds 29974 >= 610 @ 2.64747
4.25/4.36 c bounds 29974 >= 613 @ 2.65063
4.25/4.37 c bounds 29974 >= 616 @ 2.65239
4.25/4.37 c bounds 29974 >= 623 @ 2.65358
4.25/4.38 c bounds 29974 >= 626 @ 2.65604
4.25/4.38 c bounds 29974 >= 633 @ 2.65864
4.25/4.39 c bounds 29974 >= 639 @ 2.66145
4.25/4.39 c bounds 29974 >= 646 @ 2.66277
4.25/4.39 c bounds 29974 >= 653 @ 2.66545
4.35/4.40 c bounds 29974 >= 655 @ 2.66772
4.35/4.40 c bounds 29974 >= 657 @ 2.67124
4.35/4.41 c bounds 29974 >= 659 @ 2.67377
4.35/4.41 c bounds 29974 >= 660 @ 2.67547
4.35/4.42 c bounds 29974 >= 662 @ 2.67779
4.35/4.42 c bounds 29974 >= 664 @ 2.68227
4.35/4.43 c bounds 29974 >= 666 @ 2.68577
4.35/4.43 c bounds 29974 >= 669 @ 2.68729
4.35/4.43 c bounds 29974 >= 672 @ 2.69077
4.35/4.44 c bounds 29974 >= 679 @ 2.69431
4.35/4.44 c bounds 29974 >= 680 @ 2.69597
4.35/4.45 c bounds 29974 >= 687 @ 2.69848
4.35/4.45 c bounds 29974 >= 689 @ 2.70087
4.35/4.46 c bounds 29974 >= 692 @ 2.70348
4.35/4.46 c bounds 29974 >= 699 @ 2.70596
4.35/4.47 c bounds 29974 >= 703 @ 2.70758
4.35/4.47 c bounds 29974 >= 704 @ 2.70903
4.35/4.48 c bounds 29974 >= 705 @ 2.71173
4.35/4.48 c bounds 29974 >= 710 @ 2.71524
4.35/4.48 c bounds 29974 >= 714 @ 2.71723
4.35/4.49 c bounds 29974 >= 721 @ 2.71957
4.35/4.49 c bounds 29974 >= 728 @ 2.7213
4.45/4.50 c bounds 29974 >= 732 @ 2.72365
4.45/4.50 c bounds 29974 >= 735 @ 2.72713
4.45/4.51 c bounds 29974 >= 736 @ 2.73016
4.45/4.51 c bounds 29974 >= 737 @ 2.73388
4.45/4.52 c bounds 29974 >= 739 @ 2.73662
4.45/4.52 c bounds 29974 >= 740 @ 2.73833
4.45/4.53 c bounds 29974 >= 741 @ 2.74087
4.45/4.53 c bounds 29974 >= 746 @ 2.74263
4.45/4.54 c bounds 29974 >= 752 @ 2.74447
4.45/4.54 c bounds 29974 >= 758 @ 2.74519
4.45/4.55 c bounds 29974 >= 763 @ 2.74751
4.45/4.55 c bounds 29974 >= 769 @ 2.74934
4.45/4.55 c bounds 29974 >= 774 @ 2.75089
4.45/4.56 c bounds 29974 >= 778 @ 2.75259
4.45/4.56 c bounds 29974 >= 784 @ 2.75434
4.45/4.57 c bounds 29974 >= 786 @ 2.75673
4.45/4.57 c bounds 29974 >= 787 @ 2.75939
4.45/4.58 c bounds 29974 >= 791 @ 2.76194
4.45/4.58 c bounds 29974 >= 795 @ 2.76373
4.45/4.59 c bounds 29974 >= 798 @ 2.76635
4.45/4.59 c bounds 29974 >= 802 @ 2.76816
4.55/4.60 c bounds 29974 >= 805 @ 2.7705
4.55/4.60 c bounds 29974 >= 809 @ 2.77233
4.55/4.61 c bounds 29974 >= 812 @ 2.77415
4.55/4.61 c bounds 29974 >= 813 @ 2.77749
4.55/4.62 c bounds 29974 >= 814 @ 2.78122
4.55/4.62 c bounds 29974 >= 815 @ 2.78485
4.55/4.62 c bounds 29974 >= 816 @ 2.78657
4.55/4.63 c bounds 29974 >= 817 @ 2.78737
4.55/4.63 c bounds 29974 >= 818 @ 2.78918
4.55/4.64 c bounds 29974 >= 819 @ 2.7923
4.55/4.65 c bounds 29974 >= 820 @ 2.79534
4.55/4.65 c bounds 29974 >= 821 @ 2.79905
4.55/4.66 c bounds 29974 >= 822 @ 2.80136
4.55/4.66 c bounds 29974 >= 823 @ 2.80578
4.55/4.67 c bounds 29974 >= 824 @ 2.80889
4.55/4.67 c bounds 29974 >= 825 @ 2.81345
4.55/4.68 c bounds 29974 >= 826 @ 2.81537
4.55/4.69 c bounds 29974 >= 827 @ 2.82015
4.55/4.69 c bounds 29974 >= 828 @ 2.82206
4.65/4.70 c bounds 29974 >= 829 @ 2.82678
4.65/4.71 c bounds 29974 >= 830 @ 2.83227
4.65/4.71 c bounds 29974 >= 831 @ 2.83565
4.65/4.72 c bounds 29974 >= 832 @ 2.83994
4.65/4.73 c bounds 29974 >= 833 @ 2.85206
4.65/4.75 c bounds 29974 >= 834 @ 2.86237
4.65/4.76 c bounds 29974 >= 835 @ 2.86751
4.65/4.77 c bounds 29974 >= 836 @ 2.87115
4.65/4.77 c bounds 29974 >= 837 @ 2.8737
4.65/4.78 c bounds 29974 >= 838 @ 2.87804
4.65/4.79 c bounds 29974 >= 839 @ 2.88359
4.74/4.80 c bounds 29974 >= 840 @ 2.88912
4.74/4.80 c bounds 29974 >= 841 @ 2.89678
4.74/4.81 c bounds 29974 >= 842 @ 2.90233
4.74/4.82 c bounds 29974 >= 843 @ 2.90601
4.74/4.83 c bounds 29974 >= 844 @ 2.91254
4.74/4.83 c bounds 29974 >= 845 @ 2.91683
4.74/4.84 c bounds 29974 >= 846 @ 2.92398
4.74/4.85 c bounds 29974 >= 847 @ 2.93161
4.74/4.87 c bounds 29974 >= 848 @ 2.94834
4.74/4.88 c bounds 29974 >= 849 @ 2.95313
4.74/4.89 c bounds 29974 >= 850 @ 2.96303
4.85/4.90 c bounds 29974 >= 851 @ 2.96752
4.85/4.91 c bounds 29974 >= 852 @ 2.97242
4.85/4.91 c bounds 29974 >= 853 @ 2.97675
4.85/4.92 c bounds 29974 >= 854 @ 2.97966
4.85/4.93 c bounds 29974 >= 855 @ 2.98404
4.85/4.94 c bounds 29974 >= 856 @ 2.99246
4.85/4.95 c bounds 29974 >= 857 @ 2.99908
4.85/4.96 c bounds 29974 >= 858 @ 3.00408
4.85/4.96 c bounds 29974 >= 859 @ 3.00803
4.85/4.97 c bounds 29974 >= 860 @ 3.01499
4.85/4.98 c bounds 29974 >= 861 @ 3.0207
4.85/4.99 c bounds 29974 >= 862 @ 3.02563
4.85/4.99 c bounds 29974 >= 863 @ 3.02887
4.95/5.00 c bounds 29974 >= 864 @ 3.03446
4.95/5.01 c bounds 29974 >= 865 @ 3.03878
4.95/5.02 c bounds 29974 >= 866 @ 3.04479
4.95/5.03 c bounds 29974 >= 867 @ 3.0508
4.95/5.03 c bounds 29974 >= 868 @ 3.05685
4.95/5.04 c bounds 29974 >= 869 @ 3.06227
4.95/5.05 c bounds 29974 >= 870 @ 3.06761
4.95/5.06 c bounds 29974 >= 871 @ 3.0738
4.95/5.08 c bounds 29974 >= 872 @ 3.08364
4.95/5.08 c bounds 29974 >= 873 @ 3.08908
4.95/5.09 c bounds 29974 >= 874 @ 3.09725
5.06/5.10 c bounds 29974 >= 875 @ 3.10301
5.06/5.12 c bounds 29974 >= 876 @ 3.11886
5.06/5.17 c bounds 27854 >= 876 @ 3.15638
5.06/5.18 c bounds 27854 >= 877 @ 3.16251
5.06/5.18 c bounds 27854 >= 878 @ 3.16747
5.06/5.19 c bounds 27854 >= 879 @ 3.17554
5.14/5.20 c bounds 27854 >= 880 @ 3.17895
5.14/5.21 c bounds 27854 >= 881 @ 3.18598
5.14/5.22 c bounds 27854 >= 882 @ 3.19577
5.14/5.22 c bounds 27854 >= 883 @ 3.19881
5.14/5.23 c bounds 27854 >= 884 @ 3.20361
5.14/5.24 c bounds 27854 >= 885 @ 3.20597
5.14/5.24 c bounds 27854 >= 886 @ 3.21096
5.25/5.36 c #Conflicts: 1000 | #Constraints: 30186
5.25/5.36 c bounds 27853 >= 886 @ 3.31998
5.25/5.36 c bounds 27853 >= 887 @ 3.32397
5.25/5.37 c bounds 27853 >= 888 @ 3.32807
5.25/5.38 c bounds 27853 >= 889 @ 3.33223
5.25/5.39 c bounds 27853 >= 890 @ 3.33884
5.25/5.39 c bounds 27853 >= 891 @ 3.34254
5.34/5.41 c bounds 27853 >= 892 @ 3.35531
5.34/5.42 c bounds 27853 >= 893 @ 3.36258
5.34/5.42 c bounds 27853 >= 894 @ 3.36786
5.45/5.53 c bounds 27853 >= 895 @ 3.46204
5.54/5.65 c bounds 27852 >= 895 @ 3.56977
5.65/5.77 c bounds 27851 >= 895 @ 3.68187
5.84/5.91 c bounds 27851 >= 896 @ 3.81043
5.84/5.99 c bounds 27850 >= 896 @ 3.88841
5.95/6.06 c bounds 27750 >= 896 @ 3.95347
6.05/6.14 c bounds 27749 >= 896 @ 4.01996
6.14/6.21 c bounds 27649 >= 896 @ 4.08435
6.14/6.24 c bounds 27649 >= 897 @ 4.10789
6.14/6.25 c bounds 27649 >= 898 @ 4.1202
6.24/6.32 c bounds 27549 >= 898 @ 4.18164
6.24/6.34 c bounds 27549 >= 899 @ 4.20464
6.44/6.55 c bounds 27549 >= 900 @ 4.39211
6.54/6.61 c bounds 27548 >= 900 @ 4.45544
6.54/6.67 c bounds 27448 >= 900 @ 4.5088
6.65/6.74 c bounds 27447 >= 900 @ 4.5726
6.74/6.80 c bounds 27446 >= 900 @ 4.63309
6.74/6.86 c bounds 27346 >= 900 @ 4.69352
6.84/6.92 c bounds 27246 >= 900 @ 4.74877
6.84/6.93 c bounds 27246 >= 901 @ 4.75431
6.84/6.93 c bounds 27246 >= 902 @ 4.75687
6.84/6.94 c bounds 27246 >= 903 @ 4.76445
9.73/9.85 c #Conflicts: 2000 | #Constraints: 31302
9.73/9.85 c INPROCESSING
9.73/9.85 c GARBAGE COLLECT
9.73/9.85 c bounds 27146 >= 903 @ 7.62156
9.73/9.89 c bounds 27145 >= 903 @ 7.65043
9.83/9.92 c bounds 27144 >= 903 @ 7.67517
9.83/9.95 c bounds 27044 >= 903 @ 7.70549
9.83/9.98 c bounds 27043 >= 903 @ 7.73244
9.93/10.01 c bounds 27042 >= 903 @ 7.75589
9.93/10.03 c bounds 26942 >= 903 @ 7.77664
9.93/10.06 c bounds 26941 >= 903 @ 7.80012
9.93/10.08 c bounds 26940 >= 903 @ 7.82208
10.04/10.11 c bounds 26939 >= 903 @ 7.84187
10.04/10.13 c bounds 26938 >= 903 @ 7.86515
10.04/10.16 c bounds 26937 >= 903 @ 7.88885
10.04/10.16 c bounds 26937 >= 904 @ 7.89323
10.04/10.17 c bounds 26937 >= 905 @ 7.89588
10.04/10.18 c bounds 26937 >= 906 @ 7.90137
10.04/10.18 c bounds 26937 >= 907 @ 7.90361
10.13/10.25 c bounds 26937 >= 908 @ 7.96338
10.13/10.27 c bounds 26837 >= 908 @ 7.98518
10.24/10.30 c bounds 26836 >= 908 @ 8.00501
10.24/10.32 c bounds 26835 >= 908 @ 8.02584
10.24/10.35 c bounds 26834 >= 908 @ 8.04352
10.24/10.37 c bounds 26734 >= 908 @ 8.05914
10.33/10.49 c bounds 26734 >= 909 @ 8.17504
10.44/10.51 c bounds 26634 >= 909 @ 8.19618
10.44/10.53 c bounds 26633 >= 909 @ 8.21367
10.44/10.55 c bounds 26632 >= 909 @ 8.23186
10.44/10.57 c bounds 26631 >= 909 @ 8.24976
10.44/10.59 c bounds 26630 >= 909 @ 8.2658
10.53/10.61 c bounds 26629 >= 909 @ 8.27864
10.53/10.63 c bounds 26628 >= 909 @ 8.29586
10.53/10.65 c bounds 26627 >= 909 @ 8.31302
10.53/10.66 c bounds 26527 >= 909 @ 8.3244
10.53/10.68 c bounds 26427 >= 909 @ 8.3412
10.53/10.69 c bounds 26427 >= 910 @ 8.35233
10.73/10.81 c bounds 26427 >= 911 @ 8.46485
10.73/10.83 c bounds 26327 >= 911 @ 8.47965
10.73/10.85 c bounds 26227 >= 911 @ 8.49222
10.73/10.86 c bounds 26127 >= 911 @ 8.50417
10.83/10.97 c bounds 26027 >= 911 @ 8.6073
10.94/11.06 c bounds 25929 >= 911 @ 8.69508
11.04/11.17 c bounds 25928 >= 911 @ 8.80146
11.04/11.18 c bounds 25928 >= 912 @ 8.80661
11.13/11.22 c #Conflicts: 3000 | #Constraints: 30566
11.13/11.22 c bounds 25928 >= 913 @ 8.83862
11.23/11.34 c bounds 25928 >= 914 @ 8.95556
11.23/11.38 c bounds 25828 >= 914 @ 8.9921
11.33/11.44 c bounds 25827 >= 914 @ 9.04725
11.33/11.47 c bounds 25826 >= 914 @ 9.07436
11.53/11.64 c bounds 25825 >= 914 @ 9.23746
11.53/11.66 c bounds 25825 >= 915 @ 9.24909
11.53/11.67 c bounds 25825 >= 916 @ 9.25729
11.53/11.68 c bounds 25825 >= 917 @ 9.26304
11.53/11.68 c bounds 25825 >= 918 @ 9.2671
11.53/11.69 c bounds 25825 >= 919 @ 9.26977
11.63/11.70 c bounds 25825 >= 920 @ 9.27639
11.82/11.93 c bounds 25825 >= 921 @ 9.50132
11.93/12.09 c bounds 25725 >= 921 @ 9.65129
12.04/12.18 c bounds 25725 >= 922 @ 9.73904
12.32/12.43 c bounds 25724 >= 922 @ 9.97889
12.43/12.50 c bounds 25724 >= 923 @ 10.0462
12.83/12.91 c #Conflicts: 4000 | #Constraints: 31639
12.83/12.91 c INPROCESSING
12.83/12.91 c GARBAGE COLLECT
12.83/12.91 c bounds 25723 >= 923 @ 10.4388
12.83/12.99 c bounds 25623 >= 923 @ 10.5082
12.93/13.07 c bounds 25523 >= 923 @ 10.5832
13.03/13.16 c bounds 25522 >= 923 @ 10.6763
13.12/13.23 c bounds 25422 >= 923 @ 10.7368
13.22/13.31 c bounds 25421 >= 923 @ 10.8117
13.62/13.70 c bounds 25421 >= 924 @ 11.1819
13.62/13.79 c #Conflicts: 5000 | #Constraints: 31016
13.62/13.79 c bounds 25420 >= 924 @ 11.2639
13.72/13.85 c bounds 25320 >= 924 @ 11.3208
13.83/13.96 c bounds 25319 >= 924 @ 11.4353
13.92/14.05 c bounds 25219 >= 924 @ 11.5225
14.03/14.12 c bounds 25218 >= 924 @ 11.5851
14.12/14.20 c bounds 25118 >= 924 @ 11.6557
14.22/14.30 c bounds 25117 >= 924 @ 11.7497
14.22/14.38 c bounds 25116 >= 924 @ 11.8206
14.42/14.50 c bounds 25115 >= 924 @ 11.9425
14.42/14.51 c bounds 25115 >= 925 @ 11.9475
14.52/14.62 c bounds 25114 >= 925 @ 12.0497
14.52/14.62 c bounds 25114 >= 926 @ 12.0536
14.52/14.63 c bounds 25114 >= 927 @ 12.0574
14.52/14.64 c bounds 25114 >= 928 @ 12.0595
14.52/14.64 c bounds 25114 >= 929 @ 12.0631
14.52/14.65 c bounds 25114 >= 930 @ 12.0675
14.52/14.66 c bounds 25114 >= 931 @ 12.0715
14.52/14.67 c bounds 25114 >= 932 @ 12.0761
21.90/22.03 c #Conflicts: 6000 | #Constraints: 32052
21.90/22.03 c INPROCESSING
21.90/22.03 c GARBAGE COLLECT
21.90/22.03 c bounds 25113 >= 932 @ 19.3509
21.90/22.10 c bounds 25112 >= 932 @ 19.4097
22.60/22.70 c bounds 25111 >= 932 @ 20.004
22.60/22.73 c bounds 25110 >= 932 @ 20.0297
23.20/23.30 c #Conflicts: 7000 | #Constraints: 31021
23.20/23.30 c bounds 25109 >= 932 @ 20.5947
23.69/23.88 c bounds 25109 >= 933 @ 21.1616
24.70/24.88 c #Conflicts: 8000 | #Constraints: 32043
24.70/24.88 c bounds 25109 >= 934 @ 22.1291
24.79/25.00 c bounds 25009 >= 934 @ 22.25
24.90/25.08 c bounds 25008 >= 934 @ 22.3297
25.00/25.16 c bounds 25007 >= 934 @ 22.4052
25.09/25.26 c bounds 25006 >= 934 @ 22.4991
25.29/25.41 c bounds 25005 >= 934 @ 22.6399
25.49/25.60 c bounds 24905 >= 934 @ 22.8251
25.59/25.78 c #Conflicts: 9000 | #Constraints: 33067
25.59/25.78 c bounds 24904 >= 934 @ 22.9762
25.69/25.89 c bounds 24804 >= 934 @ 23.0784
25.90/26.02 c bounds 24704 >= 934 @ 23.2017
26.00/26.16 c bounds 24703 >= 934 @ 23.3252
34.47/34.63 c INPROCESSING
34.47/34.63 c GARBAGE COLLECT
34.47/34.63 c bounds 24702 >= 934 @ 31.7371
34.57/34.71 c bounds 24701 >= 934 @ 31.8066
34.68/34.85 c bounds 24600 >= 934 @ 31.94
35.97/36.15 c #Conflicts: 10000 | #Constraints: 31724
35.97/36.15 c #Conflicts: 11000 | #Constraints: 32724
35.97/36.15 c bounds 24600 >= 935 @ 33.209
36.16/36.35 c bounds 24500 >= 935 @ 33.3943
36.27/36.43 c bounds 24401 >= 935 @ 33.4755
36.37/36.51 c bounds 24400 >= 935 @ 33.5548
36.47/36.60 c bounds 24300 >= 935 @ 33.6398
36.47/36.68 c bounds 24299 >= 935 @ 33.7138
36.57/36.75 c bounds 24298 >= 935 @ 33.7824
36.66/36.81 c bounds 24297 >= 935 @ 33.8402
36.76/36.90 c bounds 24197 >= 935 @ 33.9213
36.76/36.97 c bounds 24196 >= 935 @ 33.9898
36.87/37.03 c bounds 24195 >= 935 @ 34.0505
36.97/37.10 c bounds 24194 >= 935 @ 34.1164
36.97/37.17 c bounds 24193 >= 935 @ 34.1794
37.06/37.24 c bounds 24192 >= 935 @ 34.2458
37.06/37.27 c bounds 24191 >= 935 @ 34.2737
37.16/37.33 c bounds 24190 >= 935 @ 34.3301
37.27/37.40 c bounds 24189 >= 935 @ 34.3935
37.27/37.48 c bounds 24188 >= 935 @ 34.476
37.36/37.57 c bounds 24088 >= 935 @ 34.5561
37.46/37.65 c bounds 24087 >= 935 @ 34.6334
37.87/38.01 c bounds 23987 >= 935 @ 34.9885
38.06/38.21 c #Conflicts: 12000 | #Constraints: 33768
38.06/38.21 c INPROCESSING
38.06/38.21 c GARBAGE COLLECT
38.06/38.21 c bounds 23986 >= 935 @ 35.1798
39.26/39.44 c #Conflicts: 13000 | #Constraints: 32153
39.26/39.44 c bounds 23986 >= 936 @ 36.3678
39.46/39.69 c bounds 23887 >= 936 @ 36.615
39.66/39.80 c #Conflicts: 14000 | #Constraints: 33172
39.66/39.80 c bounds 23886 >= 936 @ 36.7182
39.66/39.86 c bounds 23786 >= 936 @ 36.7741
39.76/39.93 c bounds 23785 >= 936 @ 36.8396
39.86/40.05 c bounds 23685 >= 936 @ 36.9513
39.97/40.13 c bounds 23586 >= 936 @ 37.0332
40.16/40.30 c bounds 23585 >= 936 @ 37.198
43.45/43.67 c #Conflicts: 15000 | #Constraints: 34178
43.45/43.67 c INPROCESSING
43.45/43.67 c GARBAGE COLLECT
43.45/43.67 c #Conflicts: 16000 | #Constraints: 32404
43.45/43.67 c #Conflicts: 17000 | #Constraints: 33404
43.45/43.67 c bounds 23585 >= 937 @ 40.5168
43.55/43.77 c #Conflicts: 18000 | #Constraints: 34428
43.55/43.77 c bounds 23584 >= 937 @ 40.6166
43.75/43.92 c bounds 23486 >= 937 @ 40.7561
46.73/46.92 c INPROCESSING
46.73/46.92 c GARBAGE COLLECT
46.73/46.92 c #Conflicts: 19000 | #Constraints: 32437
46.73/46.92 c bounds 23485 >= 937 @ 43.7333
54.82/55.04 c #Conflicts: 20000 | #Constraints: 33438
54.82/55.04 c #Conflicts: 21000 | #Constraints: 34438
54.82/55.04 c INPROCESSING
54.82/55.04 c GARBAGE COLLECT
54.82/55.04 c #Conflicts: 22000 | #Constraints: 32266
54.82/55.04 c #Conflicts: 23000 | #Constraints: 33266
54.82/55.04 c #Conflicts: 24000 | #Constraints: 34266
54.82/55.04 c #Conflicts: 25000 | #Constraints: 35266
54.82/55.04 c INPROCESSING
54.82/55.04 c GARBAGE COLLECT
54.82/55.04 c rational objective 937
55.82/56.08 c bounds 23484 >= 937 @ 52.6983
56.02/56.20 c bounds 23384 >= 937 @ 52.8155
56.12/56.32 c bounds 23285 >= 937 @ 52.9361
56.52/56.74 c #Conflicts: 26000 | #Constraints: 32907
56.52/56.74 c bounds 23284 >= 937 @ 53.3438
69.68/69.91 c #Conflicts: 27000 | #Constraints: 33908
69.68/69.91 c #Conflicts: 28000 | #Constraints: 34908
69.68/69.91 c #Conflicts: 29000 | #Constraints: 35908
69.68/69.91 c INPROCESSING
69.68/69.91 c GARBAGE COLLECT
69.68/69.91 c rational objective 937
69.89/70.14 c bounds 23283 >= 937 @ 66.5937
69.98/70.22 c bounds 23183 >= 937 @ 66.6698
69.98/70.29 c bounds 23182 >= 937 @ 66.7364
70.18/70.41 c bounds 23082 >= 937 @ 66.8443
70.18/70.43 c bounds 23081 >= 937 @ 66.8586
70.88/71.17 c bounds 23080 >= 937 @ 67.5852
71.18/71.41 c bounds 22980 >= 937 @ 67.8185
71.27/71.52 c #Conflicts: 30000 | #Constraints: 33343
71.27/71.52 c bounds 22979 >= 937 @ 67.9207
71.38/71.67 c bounds 22879 >= 937 @ 68.0687
71.58/71.86 c bounds 22878 >= 937 @ 68.2487
71.78/72.01 c bounds 22877 >= 937 @ 68.399
71.88/72.16 c bounds 22876 >= 937 @ 68.5509
71.98/72.27 c bounds 22776 >= 937 @ 68.6555
72.07/72.37 c bounds 22775 >= 937 @ 68.753
72.27/72.50 c bounds 22774 >= 937 @ 68.8836
72.37/72.65 c bounds 22673 >= 937 @ 69.0248
72.58/72.84 c bounds 22572 >= 937 @ 69.2039
72.67/72.98 c bounds 22471 >= 937 @ 69.3303
72.97/73.20 c bounds 22470 >= 937 @ 69.5546
74.78/75.03 c #Conflicts: 31000 | #Constraints: 34355
74.78/75.03 c bounds 22469 >= 937 @ 71.3283
75.47/75.75 c bounds 22468 >= 937 @ 71.9946
75.77/76.06 c bounds 22467 >= 937 @ 72.2962
76.36/76.64 c #Conflicts: 32000 | #Constraints: 35359
76.36/76.64 c bounds 22466 >= 937 @ 72.859
79.15/79.40 c #Conflicts: 33000 | #Constraints: 36360
79.15/79.40 c INPROCESSING
79.15/79.40 c GARBAGE COLLECT
79.15/79.40 c bounds 22465 >= 937 @ 75.5774
80.05/80.34 c bounds 22365 >= 937 @ 76.508
80.35/80.64 c bounds 22266 >= 937 @ 76.7995
80.76/81.07 c #Conflicts: 34000 | #Constraints: 33532
80.76/81.07 c bounds 22165 >= 937 @ 77.2174
81.25/81.50 c bounds 22164 >= 937 @ 77.6412
81.45/81.75 c bounds 22163 >= 937 @ 77.8882
81.65/81.93 c bounds 22062 >= 937 @ 78.0638
81.95/82.21 c bounds 22061 >= 937 @ 78.3327
82.05/82.40 c bounds 21961 >= 937 @ 78.5098
82.15/82.45 c bounds 21960 >= 937 @ 78.5568
82.65/82.90 c bounds 21859 >= 937 @ 78.9997
90.13/90.45 c #Conflicts: 35000 | #Constraints: 34541
90.13/90.45 c #Conflicts: 36000 | #Constraints: 35541
90.13/90.45 c #Conflicts: 37000 | #Constraints: 36541
90.13/90.45 c INPROCESSING
90.13/90.45 c GARBAGE COLLECT
90.13/90.45 c bounds 21758 >= 937 @ 86.4632
90.23/90.56 c bounds 21757 >= 937 @ 86.5708
90.32/90.66 c bounds 21657 >= 937 @ 86.6627
90.43/90.78 c bounds 21557 >= 937 @ 86.7727
90.52/90.89 c bounds 21457 >= 937 @ 86.8812
90.62/90.99 c bounds 21357 >= 937 @ 86.9836
90.83/91.11 c bounds 21257 >= 937 @ 87.0957
90.93/91.26 c bounds 21158 >= 937 @ 87.2371
91.02/91.39 c bounds 21059 >= 937 @ 87.3576
91.52/91.80 c #Conflicts: 38000 | #Constraints: 33527
91.52/91.80 c bounds 21058 >= 937 @ 87.7588
91.62/91.98 c bounds 21057 >= 937 @ 87.9415
91.93/92.24 c bounds 21056 >= 937 @ 88.192
92.12/92.44 c bounds 21055 >= 937 @ 88.3882
92.32/92.63 c bounds 20955 >= 937 @ 88.5763
92.52/92.84 c bounds 20954 >= 937 @ 88.785
92.73/93.05 c bounds 20953 >= 937 @ 88.9842
92.92/93.25 c bounds 20853 >= 937 @ 89.1833
93.12/93.49 c bounds 20753 >= 937 @ 89.4118
93.42/93.70 c #Conflicts: 39000 | #Constraints: 34536
93.42/93.70 c bounds 20752 >= 937 @ 89.6173
93.52/93.88 c bounds 20651 >= 937 @ 89.7946
93.72/94.06 c bounds 20650 >= 937 @ 89.971
93.92/94.24 c bounds 20550 >= 937 @ 90.1452
94.11/94.43 c bounds 20549 >= 937 @ 90.3363
94.22/94.59 c bounds 20449 >= 937 @ 90.4804
94.62/94.91 c bounds 20349 >= 937 @ 90.7968
94.82/95.14 c bounds 20348 >= 937 @ 91.0126
108.19/108.57 c #Conflicts: 40000 | #Constraints: 35544
108.19/108.57 c #Conflicts: 41000 | #Constraints: 36544
108.19/108.57 c INPROCESSING
108.19/108.57 c GARBAGE COLLECT
108.19/108.57 c rational objective 937
108.48/108.80 c bounds 20347 >= 937 @ 104.564
109.97/110.37 c #Conflicts: 42000 | #Constraints: 33305
109.97/110.37 c #Conflicts: 43000 | #Constraints: 34305
109.97/110.37 c bounds 20346 >= 937 @ 106.11
110.08/110.48 c #Conflicts: 44000 | #Constraints: 35306
110.08/110.48 c bounds 20345 >= 937 @ 106.217
110.18/110.59 c bounds 20244 >= 937 @ 106.326
110.37/110.75 c bounds 20143 >= 937 @ 106.479
110.57/110.94 c bounds 20142 >= 937 @ 106.667
110.88/111.27 c bounds 20141 >= 937 @ 106.998
111.38/111.74 c bounds 20140 >= 937 @ 107.453
113.78/114.15 c #Conflicts: 45000 | #Constraints: 36312
113.78/114.15 c #Conflicts: 46000 | #Constraints: 37312
113.78/114.15 c INPROCESSING
113.78/114.15 c GARBAGE COLLECT
113.78/114.15 c bounds 20139 >= 937 @ 109.821
114.27/114.63 c bounds 20138 >= 937 @ 110.29
114.77/115.19 c #Conflicts: 47000 | #Constraints: 33926
114.77/115.19 c bounds 20037 >= 937 @ 110.84
116.16/116.51 c bounds 19936 >= 937 @ 112.136
117.16/117.57 c #Conflicts: 48000 | #Constraints: 34928
117.16/117.57 c bounds 19836 >= 937 @ 113.168
121.45/121.81 c #Conflicts: 49000 | #Constraints: 35929
121.45/121.81 c #Conflicts: 50000 | #Constraints: 36929
121.45/121.81 c bounds 19836 >= 938 @ 117.344
121.65/122.09 c bounds 19736 >= 938 @ 117.617
121.94/122.33 c bounds 19735 >= 938 @ 117.844
122.05/122.47 c bounds 19635 >= 938 @ 117.989
122.34/122.75 c #Conflicts: 51000 | #Constraints: 37953
122.34/122.75 c INPROCESSING
122.34/122.75 c GARBAGE COLLECT
122.34/122.75 c bounds 19536 >= 938 @ 118.254
122.44/122.84 c bounds 19535 >= 938 @ 118.342
122.55/122.93 c bounds 19435 >= 938 @ 118.423
122.75/123.14 c bounds 19434 >= 938 @ 118.634
122.85/123.24 c bounds 19335 >= 938 @ 118.726
122.94/123.37 c bounds 19334 >= 938 @ 118.848
123.04/123.46 c bounds 19236 >= 938 @ 118.938
123.25/123.69 c bounds 19235 >= 938 @ 119.167
123.44/123.82 c bounds 19234 >= 938 @ 119.289
124.14/124.50 c bounds 19133 >= 938 @ 119.96
126.93/127.39 c #Conflicts: 52000 | #Constraints: 34328
126.93/127.39 c #Conflicts: 53000 | #Constraints: 35328
126.93/127.39 c bounds 19132 >= 938 @ 122.823
139.61/140.05 c #Conflicts: 54000 | #Constraints: 36329
139.61/140.05 c #Conflicts: 55000 | #Constraints: 37329
139.61/140.05 c #Conflicts: 56000 | #Constraints: 38329
139.61/140.05 c INPROCESSING
139.61/140.05 c GARBAGE COLLECT
139.61/140.05 c #Conflicts: 57000 | #Constraints: 34534
139.61/140.05 c bounds 19131 >= 938 @ 135.302
154.86/155.30 c #Conflicts: 58000 | #Constraints: 35535
154.86/155.30 c #Conflicts: 59000 | #Constraints: 36535
154.86/155.30 c #Conflicts: 60000 | #Constraints: 37535
154.86/155.30 c #Conflicts: 61000 | #Constraints: 38535
154.86/155.30 c INPROCESSING
154.86/155.30 c GARBAGE COLLECT
154.86/155.30 c rational objective 938
155.16/155.68 c bounds 19031 >= 938 @ 150.786
157.36/157.83 c #Conflicts: 62000 | #Constraints: 34576
157.36/157.83 c #Conflicts: 63000 | #Constraints: 35576
157.36/157.83 c #Conflicts: 64000 | #Constraints: 36576
157.36/157.83 c bounds 18930 >= 938 @ 152.909
158.45/158.98 c #Conflicts: 65000 | #Constraints: 37578
158.45/158.98 c bounds 18830 >= 938 @ 154.036
159.15/159.66 c bounds 18829 >= 938 @ 154.712
160.04/160.54 c bounds 18828 >= 938 @ 155.576
160.45/160.93 c #Conflicts: 66000 | #Constraints: 38581
160.45/160.93 c bounds 18827 >= 938 @ 155.949
160.66/161.10 c bounds 18727 >= 938 @ 156.114
160.85/161.31 c bounds 18627 >= 938 @ 156.317
161.44/161.95 c bounds 18626 >= 938 @ 156.938
164.43/164.92 c INPROCESSING
164.43/164.92 c GARBAGE COLLECT
164.43/164.92 c #Conflicts: 67000 | #Constraints: 34352
164.43/164.92 c #Conflicts: 68000 | #Constraints: 35353
164.43/164.92 c bounds 18625 >= 938 @ 159.86
176.61/177.15 c #Conflicts: 69000 | #Constraints: 36354
176.61/177.15 c #Conflicts: 70000 | #Constraints: 37354
176.61/177.15 c #Conflicts: 71000 | #Constraints: 38354
176.61/177.15 c #Conflicts: 72000 | #Constraints: 39354
176.61/177.15 c INPROCESSING
176.61/177.15 c GARBAGE COLLECT
176.61/177.15 c #Conflicts: 73000 | #Constraints: 34952
176.61/177.15 c #Conflicts: 74000 | #Constraints: 35952
176.61/177.15 c bounds 18525 >= 938 @ 171.932
177.30/177.83 c bounds 18524 >= 938 @ 172.594
179.50/180.05 c #Conflicts: 75000 | #Constraints: 36954
179.50/180.05 c bounds 18424 >= 938 @ 174.755
193.96/194.58 c #Conflicts: 76000 | #Constraints: 37955
193.96/194.58 c #Conflicts: 77000 | #Constraints: 38955
193.96/194.58 c #Conflicts: 78000 | #Constraints: 39955
193.96/194.58 c INPROCESSING
193.96/194.58 c GARBAGE COLLECT
193.96/194.58 c rational objective 938
195.46/196.10 c #Conflicts: 79000 | #Constraints: 35379
195.46/196.10 c bounds 18324 >= 938 @ 190.63
196.85/197.49 c #Conflicts: 80000 | #Constraints: 36381
196.85/197.49 c bounds 18323 >= 938 @ 191.998
197.05/197.68 c bounds 18322 >= 938 @ 192.192
197.26/197.85 c bounds 18222 >= 938 @ 192.351
197.65/198.21 c bounds 18123 >= 938 @ 192.709
198.15/198.79 c #Conflicts: 81000 | #Constraints: 37385
198.15/198.79 c bounds 18122 >= 938 @ 193.282
198.55/199.15 c bounds 18121 >= 938 @ 193.64
198.75/199.37 c bounds 18120 >= 938 @ 193.85
198.95/199.55 c bounds 18119 >= 938 @ 194.027
199.84/200.47 c #Conflicts: 82000 | #Constraints: 38389
199.84/200.47 c bounds 18119 >= 939 @ 194.947
200.04/200.67 c bounds 18118 >= 939 @ 195.135
200.25/200.84 c bounds 18018 >= 939 @ 195.304
200.95/201.51 c bounds 17917 >= 939 @ 195.961
203.74/204.36 c #Conflicts: 83000 | #Constraints: 39413
203.74/204.36 c #Conflicts: 84000 | #Constraints: 40413
203.74/204.36 c INPROCESSING
203.74/204.36 c GARBAGE COLLECT
203.74/204.36 c bounds 17817 >= 939 @ 198.755
203.94/204.50 c bounds 17717 >= 939 @ 198.881
203.94/204.59 c bounds 17617 >= 939 @ 198.968
204.33/204.94 c bounds 17516 >= 939 @ 199.311
204.64/205.25 c bounds 17416 >= 939 @ 199.609
204.84/205.42 c bounds 17316 >= 939 @ 199.772
204.93/205.59 c bounds 17216 >= 939 @ 199.935
205.14/205.74 c bounds 17117 >= 939 @ 200.087
205.33/205.90 c bounds 17018 >= 939 @ 200.239
205.44/206.06 c #Conflicts: 85000 | #Constraints: 35615
205.44/206.06 c bounds 17017 >= 939 @ 200.394
205.54/206.19 c bounds 16916 >= 939 @ 200.52
205.73/206.32 c bounds 16816 >= 939 @ 200.646
205.83/206.46 c bounds 16715 >= 939 @ 200.78
208.73/209.32 c #Conflicts: 86000 | #Constraints: 36619
208.73/209.32 c bounds 16714 >= 939 @ 203.617
212.61/213.25 c #Conflicts: 87000 | #Constraints: 37620
212.61/213.25 c bounds 939 >= 939 @ 207.497
212.61/213.25 c cpu time 207.497 s
212.61/213.25 c deterministic time 11633235555 1.16e+10
212.61/213.25 c optimization time 1.04704 s
212.61/213.25 c total solve time 206.368 s
212.61/213.25 c core-guided solve time 111.251 s
212.61/213.25 c propagation time 93.8779 s
212.61/213.25 c conflict analysis time 47.2842 s
212.61/213.25 c propagations 29997992
212.61/213.25 c resolve steps 623211
212.61/213.25 c decisions 9255004
212.61/213.25 c conflicts 87977
212.61/213.25 c restarts 253
212.61/213.25 c inprocessing phases 21
212.61/213.25 c garbage collections 21 ,( 100.00 )
212.61/213.25 c input clauses 30644 ,( 90.89 )
212.61/213.25 c input cardinalities 1731 ,( 5.13 )
212.61/213.25 c input general constraints 1339 ,( 3.97 )
212.61/213.25 c input average constraint length 234.58
212.61/213.25 c input average constraint degree 2872.68
212.61/213.25 c learned clauses 35869 ,( 40.71 )
212.61/213.25 c learned cardinalities 2422 ,( 2.75 )
212.61/213.25 c learned general constraints 49822 ,( 56.54 )
212.61/213.25 c learned average constraint length 2463.08
212.61/213.25 c learned average constraint degree 4047749520.80
212.61/213.25 c watched CF 32, 64, 128, Arb: 3432 , 0 , 0 , 0
212.61/213.25 c counting CF 32, 64, 128, Arb: 47730 , 0 , 0 , 0
212.61/213.25 c watched constraints 3432 ,( 6.71 )
212.61/213.25 c counting constraints 47729 ,( 93.29 )
212.61/213.25 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 11620507 , 5513794 , 100275444 ,( 550608 , 99724836 )
212.61/213.25 c gcd simplifications 1543
212.61/213.25 c detected cardinalities 79
212.61/213.25 c weakened non-implied lits 52615160
212.61/213.25 c weakened non-implying lits 12415
212.61/213.25 c original variables 13461
212.61/213.25 c clausal propagations 7172375
212.61/213.25 c cardinality propagations 6330967
212.61/213.25 c watched propagations 15230
212.61/213.25 c counting propagations 13221959
212.61/213.25 c watch lookups 4547089544
212.61/213.25 c watch backjump lookups 0
212.61/213.25 c watch checks 347571056
212.61/213.25 c propagation checks 6174521856
212.61/213.25 c constraint additions 485285978
212.61/213.25 c trail pops 39335506
212.61/213.25 c formula constraints 26667
212.61/213.25 c learned constraints 88004
212.61/213.25 c bound constraints 5009
212.61/213.25 c core-guided constraints 2038
212.61/213.25 c encountered formula constraints 118969
212.61/213.25 c encountered learned constraints 426554
212.61/213.25 c encountered bound constraints 261
212.61/213.25 c encountered core-guided constraints 164849
212.61/213.25 c LP total time 70.8369 s
212.61/213.25 c LP solve time 70 s
212.61/213.25 c LP constraints added 26820
212.61/213.25 c LP constraints removed 122
212.61/213.25 c LP pivots internal 88933
212.61/213.25 c LP pivots root 89685
212.61/213.25 c LP calls 26
212.61/213.25 c LP optimalities 12
212.61/213.25 c LP no pivot count 1
212.61/213.25 c LP infeasibilities 9
212.61/213.25 c LP valid Farkas constraints 9
212.61/213.25 c LP learned Farkas constraints 9
212.61/213.25 c LP basis resets 0
212.61/213.25 c LP cycling count 0
212.61/213.25 c LP singular count 0
212.61/213.25 c LP no primal count 0
212.61/213.25 c LP no farkas count 0
212.61/213.25 c LP other issue count 0
212.61/213.25 c LP Gomory cuts 91
212.61/213.25 c LP learned cuts 62
212.61/213.25 c LP deleted cuts 122
212.61/213.25 c LP encountered Gomory constraints 175
212.61/213.25 c LP encountered Farkas constraints 340
212.61/213.25 c LP encountered learned Farkas constraints 31
212.61/213.25 c CG auxiliary variables introduced 961
212.61/213.25 c CG solutions found 275
212.61/213.25 c CG cores constructed 847
212.61/213.25 c CG core cardinality constraints returned 441
212.61/213.25 c CG unit cores 0
212.61/213.25 c CG single cores 847
212.61/213.25 c CG blocks removed during cardinality reduction 0
212.61/213.25 c CG first core best 0
212.61/213.25 c CG decision core best 0
212.61/213.25 c CG core reduction tie 0
212.61/213.25 c CG core degree average 3.06
212.61/213.25 c CG core slack average 9.78
212.61/213.25 c CG core upper bound improvements 0
212.61/213.25 c STR number of successful calls 0
212.61/213.25 c STR number of unsuccessful calls 0
212.61/213.25 c STR number of inconclusive calls 0
212.61/213.25 c STR number of successful attempts 0
212.61/213.25 c STR number of unsuccessful attempts 0
212.61/213.25 c STR number of inconclusive attempts 0
212.61/213.25 c STR average degree increase per successful call inf
212.61/213.25 c STR average degree increase per successful attempt inf
212.61/213.25 c STR total number of conflicts for successful attempts 0
212.61/213.25 c STR total number of conflicts for unsuccessful attempts 0
212.61/213.25 c STR total number of conflicts for inconclusive attempts 0
212.61/213.25 c STR average number of conflicts per successful attempt inf
212.61/213.25 c STR average number of conflicts per unsuccessful attempt inf
212.61/213.25 c STR average number of conflicts per inconclusive attempt inf
212.61/213.25 c AVG.sumWPerc 81.01
212.61/213.25 c bigint constraints 0
212.61/213.25 o 939
212.61/213.25 s OPTIMUM FOUND
212.61/213.25 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 x221 -x222 x223 -x224 x225 -x226 x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 x244 -x245 x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 x392 -x393 -x394 -x395 -x396 -x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 x518 -x519 x520 -x521 x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 -x650 x651 -x652 x653 -x654 -x655 -x656 x657 -x658 x659 -x660 x661 x662 x663 -x664 x665 -x666 -x667 -x668 x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 x688 -x689 x690 -x691 -x692 x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 -x778 -x779 x780 -x781 -x782 -x783 x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 x801 -x802 -x803 x804 x805 -x806 -x807 -x808 -x809 x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 x829 x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 x843 -x844 -x845 -x846 x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 x973 -x974 x975 -x976 x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 -x990 -x991 -x992 x993 x994 -x995 x996 x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 x1139 -x1140 x1141 -x1142 -x1143 x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x1190 -x1191 -x1192 x1193 -x1194 x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 x1229 -x1230 -x1231 -x1232 -x1233 -x1234 x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 x1264 -x1265 -x1266 x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 x1286 -x1287 -x1288 -x1289 x1290 -x1291 -x1292 -x1293 x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 x1372 -x1373 x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 x1446 -x1447 x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 x1474 -x1475 -x1476 -x1477 -x1478 x1479 -x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 x1487 -x1488 -x1489 -x1490 x1491 x1492 -x1493 -x1494 -x1495 -x1496 x1497 x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 x1515 -x1516 -x1517 x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 x1590 x1591 x1592 x1593 x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x1600 -x1601 -x1602 x1603 -x1604 -x1605 -x1606 x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 x1622 -x1623 -x1624 x1625 -x1626 x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660 x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 x1679 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 x1779 x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 x1796 -x1797 -x1798 -x1799 x1800 -x1801 -x1802 -x1803 -x1804 x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 x1816 x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 x1838 -x1839 -x1840 -x1841 -x1842 -x1843 x1844 -x1845 -x1846 -x1847 -x1848 x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 x1859 -x1860 -x1861 -x1862 -x1863 -x1864 x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 x1880 x1881 -x1882 -x1883 x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 x1917 -x1918 -x1919 -x1920 -x1921 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 x1980 x1981 -x1982 x1983 -x1984 -x1985 x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 x2002 -x2003 -x2004 x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 x2095 -x2096 -x2097 -x2098 -x2099 -x2100 x2101 x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 x2132 x2133 -x2134 -x2135 x2136 -x2137 x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 x2209 -x2210 -x2211 x2212 -x2213 -x2214 x2215 -x2216 x2217 -x2218 -x2219 x2220 -x2221 -x2222 x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 x2254 x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 x2270 -x2271 -x2272 -x2273 -x2274 x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 x2383 -x2384 -x2385 x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 x2458 x2459 -x2460 x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 x2488 -x2489 x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 x2551 x2552 -x2553 x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 x2590 -x2591 -x2592 -x2593 x2594 -x2595 x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 x2643 x2644 x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 x2657 x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 x2688 -x2689 -x2690 -x2691 x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 x2707 -x2708 x2709 -x2710 -x2711 x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 x2719 -x2720 -x2721 -x2722 -x2723 x2724 -x2725 -x2726 x2727 -x2728 -x2729 -x2730 x2731 -x2732 -x2733 -x2734 -x2735 x2736 x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 x2772 -x2773 x2774 -x2775 -x2776 -x2777 x2778 -x2779 -x2780 -x2781 -x2782 x2783 -x2784 -x2785 x2786 -x2787 -x2788 -x2789 -x2790 -x2791 x2792 -x2793 -x2794 -x2795 x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 x2816 -x2817 -x2818 -x2819 x2820 -x2821 x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 x2848 -x2849 x2850 x2851 -x2852 -x2853 -x2854 -x2855 -x2856 x2857 -x2858 x2859 x2860 -x2861 x2862 -x2863 -x2864 -x2865 x2866 x2867 x2868 -x2869 -x2870 -x2871 -x2872 x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 x2905 -x2906 -x2907 x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 x3008 -x3009 x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 x3040 -x3041 -x3042 -x3043 x3044 -x3045 -x3046 x3047 -x3048 -x3049 -x3050 x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 x3062 -x3063 -x3064 -x3065 x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 x3134 -x3135 -x3136 -x3137 -x3138 -x3139 x3140 -x3141 -x3142 x3143 x3144 -x3145 -x3146 x3147 -x3148 -x3149 -x3150 -x3151 -x3152 x3153 x3154 x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 x3162 -x3163 x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 x3172 -x3173 x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 x3194 -x3195 -x3196 -x3197 x3198 -x3199 -x3200 -x3201 x3202 x3203 -x3204 -x3205 -x3206 x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 x3271 -x3272 -x3273 x3274 x3275 -x3276 -x3277 x3278 -x3279 -x3280 x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 x3293 -x3294 x3295 -x3296 -x3297 -x3298 -x3299 x3300 -x3301 -x3302 -x3303 -x3304 x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 x3324 -x3325 x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 x3334 -x3335 -x3336 -x3337 -x3338 -x3339 x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 x3462 -x3463 x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 x3524 -x3525 -x3526 -x3527 -x3528 x3529 -x3530 -x3531 x3532 -x3533 -x3534 x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 x3644 x3645 -x3646 x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 x3769 -x3770 -x3771 -x3772 -x3773 -x3774 x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 x3808 x3809 x3810 -x3811 -x3812 -x3813 x3814 -x3815 x3816 -x3817 -x3818 -x3819 -x3820 -x3821 x3822 -x3823 x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 x3872 x3873 -x3874 -x3875 -x3876 -x3877 x3878 x3879 -x3880 -x3881 -x3882 -x3883 x3884 -x3885 -x3886 -x3887 x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 x4056 -x4057 x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 x4066 -x4067 -x4068 -x4069 x4070 -x4071 x4072 -x4073 -x4074 -x4075 -x4076 x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 x4134 x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 x4163 x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 x4350 -x4351 -x4352 -x4353 -x4354 x4355 x4356 -x4357 -x4358 -x4359 x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 x4406 -x4407 x4408 -x4409 x4410 -x4411 x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 x4430 -x4431 -x4432 x4433 -x4434 -x4435 x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 x4448 -x4449 -x4450 -x4451 x4452 -x4453 -x4454 x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 x4491 -x4492 -x4493 -x4494 -x4495 -x4496 x4497 x4498 -x4499 x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 x4598 -x4599 -x4600 -x4601 -x4602 -x4603 x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 x4616 x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 x4627 -x4628 -x4629 x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 x4659 -x4660 -x4661 -x4662 -x4663 -x4664 x4665 -x4666 -x4667 -x4668 -x4669 x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 x4679 -x4680 -x4681 -x4682 -x4683 x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 x4713 -x4714 -x4715 -x4716 -x4717 x4718 -x4719 x4720 x4721 x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 x4748 -x4749 x4750 -x4751 -x4752 x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 x4857 -x4858 x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 x4880 -x4881 -x4882 -x4883 -x4884 x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 x4892 -x4893 -x4894 -x4895 x4896 x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 x4942 x4943 -x4944 x4945 -x4946 -x4947 x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 x4956 x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 x4964 -x4965 -x4966 -x4967 -x4968 -x4969 x4970 -x4971 x4972 -x4973 -x4974 -x4975 -x4976 x4977 -x4978 x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 x5197 x5198 -x5199 -x5200 x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 x5270 -x5271 -x5272 -x5273 -x5274 x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 x5289 -x5290 -x5291 -x5292 -x5293 -x5294 x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 x5311 -x5312 -x5313 -x5314 -x5315 x5316 x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 x5331 -x5332 -x5333 x5334 x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 x5349 -x5350 -x5351 -x5352 -x5353 -x5354 x5355 -x5356 x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 x5371 -x5372 -x5373 x5374 -x5375 x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 x5496 -x5497 -x5498 -x5499 x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 x5507 -x5508 -x5509 -x5510 -x5511 -x5512 x5513 x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 x5572 -x5573 -x5574 x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 x5602 -x5603 -x5604 -x5605 -x5606 -x5607 x5608 x5609 -x5610 -x5611 x5612 -x5613 x5614 -x5615 -x5616 x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 x6060 x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 x6084 -x6085 -x6086 -x6087 -x6088 x6089 -x6090 x6091 -x6092 -x6093 x6094 -x6095 -x6096 -x6097 -x6098 x6099 -x6100 -x6101 -x6102 x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 x6169 -x6170 x6171 -x6172 x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 x6189 -x6190 -x6191 -x6192 x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 x6307 -x6308 -x6309 -x6310 -x6311 -x6312 x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 x6392 x6393 -x6394 -x6395 x6396 -x6397 x6398 -x6399 -x6400 -x6401 -x6402 x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 x6485 -x6486 x6487 -x6488 x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 x6509 -x6510 x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 x6656 x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 x6773 x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 x6814 -x6815 -x6816 -x6817 -x6818 -x6819 x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 x6832 x6833 x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 x6908 -x6909 -x6910 -x6911 -x6912 -x6913 x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 x6935 -x6936 x6937 -x6938 -x6939 -x6940 x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 x7022 -x7023 -x7024 -x7025 x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 x7103 -x7104 -x7105 -x7106 x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 x7223 -x7224 -x7225 -x7226 -x7227 x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 x7276 -x7277 x7278 -x7279 -x7280 -x7281 x7282 -x7283 -x7284 -x7285 -x7286 x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 x7329 -x7330 x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 x7350 -x7351 x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 x7494 -x7495 x7496 -x7497 -x7498 x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 x7539 -x7540 -x7541 -x7542 -x7543 x7544 -x7545 -x7546 -x7547 -x7548 -x7549 x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 x7596 -x7597 x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 x7618 -x7619 -x7620 x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 x7641 x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 x7896 -x7897 -x7898 -x7899 x7900 -x7901 x7902 -x7903 x7904 -x7905 x7906 -x7907 x7908 -x7909 x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 x7929 -x7930 -x7931 x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 x7951 -x7952 -x7953 -x7954 -x7955 x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 x7983 -x7984 x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 x8000 -x8001 x8002 -x8003 x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 x8070 -x8071 x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 x8080 x8081 x8082 -x8083 -x8084 -x8085 -x8086 -x8087 x8088 -x8089 -x8090 -x8091 -x8092 -x8093 x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 x8120 -x8121 x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 x8130 -x8131 x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 x8170 -x8171 -x8172 x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 x8287 -x8288 -x8289 -x8290 -x8291 x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 x8319 -x8320 -x8321 -x8322 -x8323 x8324 -x8325 x8326 -x8327 -x8328 -x8329 x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 x8348 -x8349 x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 x8401 -x8402 -x8403 -x8404 -x8405
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61464 MiB free)
memory of node 1: 64465 MiB (62995 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484220-1751284266/watcher-4484220-1751284266 -o /tmp/evaluation-result-4484220-1751284266/solver-4484220-1751284266 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751280593-37994 --watchdog 3760 run-opt-break.sh HOME/instance-4484220-1751284266.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=38581, runsolver pid=38578
[startup+0.100057 s]*
/proc/loadavg: 4.15 4.10 4.09 5/269 38583
/proc/meminfo: memFree=127447012/131249996 swapFree=33010684/33010684
[pid=38581] ppid=38578 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/38581/stat : 38581 (run-opt-break.s) S 38578 38581 37984 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44105198 4292608 768 18446744073709551615 94451027984384 94451028878917 140733966196720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94451029117968 94451029165712 94451032797184 140733966203233 140733966203362 140733966203362 140733966208964 0
/proc/38581/statm: 1048 768 704 219 0 110 0
[pid=38583] ppid=38581 vsize=27356 memory=17108 CPUtime=0.08 cores=0,2
/proc/38583/stat : 38583 (pbsuma) R 38581 38581 37984 0 -1 4194304 4619 0 0 0 8 0 0 0 20 0 1 0 44105199 28012544 4277 18446744073709551615 4210688 4653049 140735552551264 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 24989696 140735552555363 140735552555570 140735552555570 140735552561135 0
/proc/38583/statm: 6839 4277 992 108 0 4247 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 31548 KiB
Current children cumulated memory: 20180 KiB
[startup+0.205658 s]*
/proc/loadavg: 4.15 4.10 4.09 5/269 38584
/proc/meminfo: memFree=127434852/131249996 swapFree=33010684/33010684
[pid=38581] ppid=38578 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/38581/stat : 38581 (run-opt-break.s) S 38578 38581 37984 0 -1 4194304 240 6701 0 0 0 0 10 1 20 0 1 0 44105198 4292608 768 18446744073709551615 94451027984384 94451028878917 140733966196720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94451029117968 94451029165712 94451032797184 140733966203233 140733966203362 140733966203362 140733966208964 0
/proc/38581/statm: 1048 768 704 219 0 110 0
[pid=38584] ppid=38581 vsize=59604 memory=14500 CPUtime=0.06 cores=0,2
/proc/38584/stat : 38584 (roundingsat) R 38581 38581 37984 0 -1 4194304 1636 0 0 0 4 2 0 0 20 0 1 0 44105212 61034496 3625 18446744073709551615 4227072 8923433 140727330942784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29622272 140727330949476 140727330949672 140727330949672 140727330955242 0
/proc/38584/statm: 14901 3625 1888 1147 0 2328 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 63796 KiB
Current children cumulated memory: 17572 KiB
[startup+0.305636 s]*
/proc/loadavg: 4.15 4.10 4.09 5/269 38584
/proc/meminfo: memFree=127418784/131249996 swapFree=33010684/33010684
[pid=38581] ppid=38578 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/38581/stat : 38581 (run-opt-break.s) S 38578 38581 37984 0 -1 4194304 240 6701 0 0 0 0 10 1 20 0 1 0 44105198 4292608 768 18446744073709551615 94451027984384 94451028878917 140733966196720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94451029117968 94451029165712 94451032797184 140733966203233 140733966203362 140733966203362 140733966208964 0
/proc/38581/statm: 1048 768 704 219 0 110 0
[pid=38584] ppid=38581 vsize=95604 memory=48440 CPUtime=0.16 cores=0,2
/proc/38584/stat : 38584 (roundingsat) R 38581 38581 37984 0 -1 4194304 8370 0 0 0 12 4 0 0 20 0 1 0 44105212 97898496 12110 18446744073709551615 4227072 8923433 140727330942784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29622272 140727330949476 140727330949672 140727330949672 140727330955242 0
/proc/38584/statm: 23901 12110 2272 1147 0 11328 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 99796 KiB
Current children cumulated memory: 51512 KiB
[startup+0.700202 s]
/proc/loadavg: 4.15 4.10 4.09 5/269 38584
/proc/meminfo: memFree=127414504/131249996 swapFree=33010684/33010684
[pid=38581] ppid=38578 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/38581/stat : 38581 (run-opt-break.s) S 38578 38581 37984 0 -1 4194304 240 6701 0 0 0 0 10 1 20 0 1 0 44105198 4292608 768 18446744073709551615 94451027984384 94451028878917 140733966196720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94451029117968 94451029165712 94451032797184 140733966203233 140733966203362 140733966203362 140733966208964 0
/proc/38581/statm: 1048 768 704 219 0 110 0
[pid=38584] ppid=38581 vsize=103348 memory=57628 CPUtime=0.55 cores=0,2
/proc/38584/stat : 38584 (roundingsat) R 38581 38581 37984 0 -1 4194304 10337 0 0 0 46 9 0 0 20 0 1 0 44105212 105828352 14407 18446744073709551615 4227072 8923433 140727330942784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29622272 140727330949476 140727330949672 140727330949672 140727330955242 0
/proc/38584/statm: 25837 14407 2368 1147 0 13264 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 107540 KiB
Current children cumulated memory: 60700 KiB
[startup+1.50019 s]
/proc/loadavg: 4.15 4.10 4.09 5/269 38584
/proc/meminfo: memFree=127402344/131249996 swapFree=33010684/33010684
[pid=38581] ppid=38578 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/38581/stat : 38581 (run-opt-break.s) S 38578 38581 37984 0 -1 4194304 240 6701 0 0 0 0 10 1 20 0 1 0 44105198 4292608 768 18446744073709551615 94451027984384 94451028878917 140733966196720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94451029117968 94451029165712 94451032797184 140733966203233 140733966203362 140733966203362 140733966208964 0
/proc/38581/statm: 1048 768 704 219 0 110 0
[pid=38584] ppid=38581 vsize=123204 memory=74444 CPUtime=1.35 cores=0,2
/proc/38584/stat : 38584 (roundingsat) R 38581 38581 37984 0 -1 4194304 13013 0 0 0 86 49 0 0 20 0 1 0 44105212 126160896 18611 18446744073709551615 4227072 8923433 140727330942784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29622272 140727330949476 140727330949672 140727330949672 140727330955242 0
/proc/38584/statm: 30801 18611 2368 1147 0 18228 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 127396 KiB
Current children cumulated memory: 77516 KiB
[startup+3.10542 s]
/proc/loadavg: 4.14 4.10 4.09 5/269 38584
/proc/meminfo: memFree=127328396/131249996 swapFree=33010684/33010684
[pid=38581] ppid=38578 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/38581/stat : 38581 (run-opt-break.s) S 38578 38581 37984 0 -1 4194304 240 6701 0 0 0 0 10 1 20 0 1 0 44105198 4292608 768 18446744073709551615 94451027984384 94451028878917 140733966196720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94451029117968 94451029165712 94451032797184 140733966203233 140733966203362 140733966203362 140733966208964 0
/proc/38581/statm: 1048 768 704 219 0 110 0
[pid=38584] ppid=38581 vsize=192632 memory=137468 CPUtime=2.95 cores=0,2
/proc/38584/stat : 38584 (roundingsat) R 38581 38581 37984 0 -1 4194304 23651 0 0 0 179 116 0 0 20 0 1 0 44105212 197255168 34367 18446744073709551615 4227072 8923433 140727330942784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29622272 140727330949476 140727330949672 140727330949672 140727330955242 0
/proc/38584/statm: 48158 34367 2368 1147 0 35585 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 196824 KiB
Current children cumulated memory: 140540 KiB
[startup+6.3002 s]
/proc/loadavg: 4.14 4.10 4.09 5/269 38584
/proc/meminfo: memFree=127187104/131249996 swapFree=33010684/33010684
[pid=38581] ppid=38578 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/38581/stat : 38581 (run-opt-break.s) S 38578 38581 37984 0 -1 4194304 240 6701 0 0 0 0 10 1 20 0 1 0 44105198 4292608 768 18446744073709551615 94451027984384 94451028878917 140733966196720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94451029117968 94451029165712 94451032797184 140733966203233 140733966203362 140733966203362 140733966208964 0
/proc/38581/statm: 1048 768 704 219 0 110 0
[pid=38584] ppid=38581 vsize=381776 memory=288440 CPUtime=6.13 cores=0,2
/proc/38584/stat : 38584 (roundingsat) R 38581 38581 37984 0 -1 4194304 51204 0 0 0 416 197 0 0 20 0 1 0 44105212 390938624 72110 18446744073709551615 4227072 8923433 140727330942784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29622272 140727330949476 140727330949672 140727330949672 140727330955242 0
/proc/38584/statm: 95444 72110 2368 1147 0 82871 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 385968 KiB
Current children cumulated memory: 291512 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.09 5/269 38585
/proc/meminfo: memFree=127146784/131249996 swapFree=33010684/33010684
[pid=38581] ppid=38578 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/38581/stat : 38581 (run-opt-break.s) S 38578 38581 37984 0 -1 4194304 240 6701 0 0 0 0 10 1 20 0 1 0 44105198 4292608 768 18446744073709551615 94451027984384 94451028878917 140733966196720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94451029117968 94451029165712 94451032797184 140733966203233 140733966203362 140733966203362 140733966208964 0
/proc/38581/statm: 1048 768 704 219 0 110 0
[pid=38584] ppid=38581 vsize=397140 memory=311892 CPUtime=12.52 cores=0,2
/proc/38584/stat : 38584 (roundingsat) R 38581 38581 37984 0 -1 4194304 53995 0 0 0 1022 230 0 0 20 0 1 0 44105212 406671360 77973 18446744073709551615 4227072 8923433 140727330942784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29622272 140727330949476 140727330949672 140727330949672 140727330955242 0
/proc/38584/statm: 99285 77973 2368 1147 0 86712 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 401332 KiB
Current children cumulated memory: 314964 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.11 4.09 5/269 38585
/proc/meminfo: memFree=127130656/131249996 swapFree=33010684/33010684
[pid=38581] ppid=38578 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/38581/stat : 38581 (run-opt-break.s) S 38578 38581 37984 0 -1 4194304 240 6701 0 0 0 0 10 1 20 0 1 0 44105198 4292608 768 18446744073709551615 94451027984384 94451028878917 140733966196720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94451029117968 94451029165712 94451032797184 140733966203233 140733966203362 140733966203362 140733966208964 0
/proc/38581/statm: 1048 768 704 219 0 110 0
[pid=38584] ppid=38581 vsize=414912 memory=327892 CPUtime=25.28 cores=0,2
/proc/38584/stat : 38584 (roundingsat) R 38581 38581 37984 0 -1 4194304 58001 0 0 0 2272 256 0 0 20 0 1 0 44105212 424869888 81973 18446744073709551615 4227072 8923433 140727330942784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29622272 140727330949476 140727330949672 140727330949672 140727330955242 0
/proc/38584/statm: 103728 81973 2368 1147 0 91155 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 419104 KiB
Current children cumulated memory: 330964 KiB
[startup+51.1048 s]
/proc/loadavg: 4.12 4.10 4.09 5/269 38585
/proc/meminfo: memFree=127058108/131249996 swapFree=33010684/33010684
[pid=38581] ppid=38578 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/38581/stat : 38581 (run-opt-break.s) S 38578 38581 37984 0 -1 4194304 240 6701 0 0 0 0 10 1 20 0 1 0 44105198 4292608 768 18446744073709551615 94451027984384 94451028878917 140733966196720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94451029117968 94451029165712 94451032797184 140733966203233 140733966203362 140733966203362 140733966208964 0
/proc/38581/statm: 1048 768 704 219 0 110 0
[pid=38584] ppid=38581 vsize=527428 memory=416340 CPUtime=50.82 cores=0,2
/proc/38584/stat : 38584 (roundingsat) R 38581 38581 37984 0 -1 4194304 80150 0 0 0 4782 300 0 0 20 0 1 0 44105212 540086272 104085 18446744073709551615 4227072 8923433 140727330942784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29622272 140727330949476 140727330949672 140727330949672 140727330955242 0
/proc/38584/statm: 131857 104085 2368 1147 0 119284 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 531620 KiB
Current children cumulated memory: 419412 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/269 38587
/proc/meminfo: memFree=126734184/131249996 swapFree=33010684/33010684
[pid=38581] ppid=38578 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/38581/stat : 38581 (run-opt-break.s) S 38578 38581 37984 0 -1 4194304 240 6701 0 0 0 0 10 1 20 0 1 0 44105198 4292608 768 18446744073709551615 94451027984384 94451028878917 140733966196720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94451029117968 94451029165712 94451032797184 140733966203233 140733966203362 140733966203362 140733966208964 0
/proc/38581/statm: 1048 768 704 219 0 110 0
[pid=38584] ppid=38581 vsize=836800 memory=663520 CPUtime=101.89 cores=0,2
/proc/38584/stat : 38584 (roundingsat) R 38581 38581 37984 0 -1 4194304 127653 0 0 0 9810 379 0 0 20 0 1 0 44105212 856883200 165880 18446744073709551615 4227072 8923433 140727330942784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29622272 140727330949476 140727330949672 140727330949672 140727330955242 0
/proc/38584/statm: 209200 165880 2368 1147 0 196627 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 840992 KiB
Current children cumulated memory: 666592 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 38589
/proc/meminfo: memFree=126725228/131249996 swapFree=33010684/33010684
[pid=38581] ppid=38578 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/38581/stat : 38581 (run-opt-break.s) S 38578 38581 37984 0 -1 4194304 240 6701 0 0 0 0 10 1 20 0 1 0 44105198 4292608 768 18446744073709551615 94451027984384 94451028878917 140733966196720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94451029117968 94451029165712 94451032797184 140733966203233 140733966203362 140733966203362 140733966208964 0
/proc/38581/statm: 1048 768 704 219 0 110 0
[pid=38584] ppid=38581 vsize=840260 memory=666208 CPUtime=161.73 cores=0,2
/proc/38584/stat : 38584 (roundingsat) R 38581 38581 37984 0 -1 4194304 128319 0 0 0 15727 446 0 0 20 0 1 0 44105212 860426240 166552 18446744073709551615 4227072 8923433 140727330942784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29622272 140727330949476 140727330949672 140727330949672 140727330955242 0
/proc/38584/statm: 210065 166552 2368 1147 0 197492 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 844452 KiB
Current children cumulated memory: 669280 KiB
[startup+213.284 s]
# the end of solver process 38581 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=207.611 s, system=5.1082 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+179.2 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 38590
/proc/meminfo: memFree=126680820/131249996 swapFree=33010684/33010684
[pid=38581] ppid=38578 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/38581/stat : 38581 (run-opt-break.s) S 38578 38581 37984 0 -1 4194304 240 6701 0 0 0 0 10 1 20 0 1 0 44105198 4292608 768 18446744073709551615 94451027984384 94451028878917 140733966196720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94451029117968 94451029165712 94451032797184 140733966203233 140733966203362 140733966203362 140733966208964 0
/proc/38581/statm: 1048 768 704 219 0 110 0
[pid=38584] ppid=38581 vsize=860088 memory=684768 CPUtime=178.59 cores=0,2
/proc/38584/stat : 38584 (roundingsat) R 38581 38581 37984 0 -1 4194304 132962 0 0 0 17392 467 0 0 20 0 1 0 44105212 880730112 171192 18446744073709551615 4227072 8923433 140727330942784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29622272 140727330949476 140727330949672 140727330949672 140727330955242 0
/proc/38584/statm: 215022 171192 2368 1147 0 202449 0
Current children cumulated CPU time: 178.7 s
Current children cumulated vsize: 864280 KiB
Current children cumulated memory: 687840 KiB
[startup+192 s]*
/proc/loadavg: 4.14 4.10 4.09 5/267 38591
/proc/meminfo: memFree=126616408/131249996 swapFree=33010684/33010684
[pid=38581] ppid=38578 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/38581/stat : 38581 (run-opt-break.s) S 38578 38581 37984 0 -1 4194304 240 6701 0 0 0 0 10 1 20 0 1 0 44105198 4292608 768 18446744073709551615 94451027984384 94451028878917 140733966196720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94451029117968 94451029165712 94451032797184 140733966203233 140733966203362 140733966203362 140733966208964 0
/proc/38581/statm: 1048 768 704 219 0 110 0
[pid=38584] ppid=38581 vsize=866284 memory=703328 CPUtime=191.36 cores=0,2
/proc/38584/stat : 38584 (roundingsat) R 38581 38581 37984 0 -1 4194304 137624 0 0 0 18657 479 0 0 20 0 1 0 44105212 887074816 175832 18446744073709551615 4227072 8923433 140727330942784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29622272 140727330949476 140727330949672 140727330949672 140727330955242 0
/proc/38584/statm: 216571 175832 2368 1147 0 203998 0
Current children cumulated CPU time: 191.47 s
Current children cumulated vsize: 870476 KiB
Current children cumulated memory: 706400 KiB
[startup+204.8 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 38591
/proc/meminfo: memFree=126608344/131249996 swapFree=33010684/33010684
[pid=38581] ppid=38578 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/38581/stat : 38581 (run-opt-break.s) S 38578 38581 37984 0 -1 4194304 240 6701 0 0 0 0 10 1 20 0 1 0 44105198 4292608 768 18446744073709551615 94451027984384 94451028878917 140733966196720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94451029117968 94451029165712 94451032797184 140733966203233 140733966203362 140733966203362 140733966208964 0
/proc/38581/statm: 1048 768 704 219 0 110 0
[pid=38584] ppid=38581 vsize=866560 memory=703712 CPUtime=204.12 cores=0,2
/proc/38584/stat : 38584 (roundingsat) R 38581 38581 37984 0 -1 4194304 137715 0 0 0 19916 496 0 0 20 0 1 0 44105212 887357440 175928 18446744073709551615 4227072 8923433 140727330942784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29622272 140727330949476 140727330949672 140727330949672 140727330955242 0
/proc/38584/statm: 216640 175928 2368 1147 0 204067 0
Current children cumulated CPU time: 204.23 s
Current children cumulated vsize: 870752 KiB
Current children cumulated memory: 706784 KiB
[startup+208 s]*
/proc/loadavg: 4.11 4.09 4.09 5/267 38591
/proc/meminfo: memFree=126608344/131249996 swapFree=33010684/33010684
[pid=38581] ppid=38578 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/38581/stat : 38581 (run-opt-break.s) S 38578 38581 37984 0 -1 4194304 240 6701 0 0 0 0 10 1 20 0 1 0 44105198 4292608 768 18446744073709551615 94451027984384 94451028878917 140733966196720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94451029117968 94451029165712 94451032797184 140733966203233 140733966203362 140733966203362 140733966208964 0
/proc/38581/statm: 1048 768 704 219 0 110 0
[pid=38584] ppid=38581 vsize=866560 memory=703968 CPUtime=207.32 cores=0,2
/proc/38584/stat : 38584 (roundingsat) R 38581 38581 37984 0 -1 4194304 137783 0 0 0 20230 502 0 0 20 0 1 0 44105212 887357440 175992 18446744073709551615 4227072 8923433 140727330942784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29622272 140727330949476 140727330949672 140727330949672 140727330955242 0
/proc/38584/statm: 216640 175992 2368 1147 0 204067 0
Current children cumulated CPU time: 207.43 s
Current children cumulated vsize: 870752 KiB
Current children cumulated memory: 707040 KiB
[startup+211.2 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 38591
/proc/meminfo: memFree=126608344/131249996 swapFree=33010684/33010684
[pid=38581] ppid=38578 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/38581/stat : 38581 (run-opt-break.s) S 38578 38581 37984 0 -1 4194304 240 6701 0 0 0 0 10 1 20 0 1 0 44105198 4292608 768 18446744073709551615 94451027984384 94451028878917 140733966196720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94451029117968 94451029165712 94451032797184 140733966203233 140733966203362 140733966203362 140733966208964 0
/proc/38581/statm: 1048 768 704 219 0 110 0
[pid=38584] ppid=38581 vsize=870932 memory=706656 CPUtime=210.51 cores=0,2
/proc/38584/stat : 38584 (roundingsat) R 38581 38581 37984 0 -1 4194304 138462 0 0 0 20546 505 0 0 20 0 1 0 44105212 891834368 176664 18446744073709551615 4227072 8923433 140727330942784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29622272 140727330949476 140727330949672 140727330949672 140727330955242 0
/proc/38584/statm: 217733 176664 2368 1147 0 205160 0
Current children cumulated CPU time: 210.62 s
Current children cumulated vsize: 875124 KiB
Current children cumulated memory: 709728 KiB
[startup+212 s]*
/proc/loadavg: 4.10 4.09 4.09 5/267 38591
/proc/meminfo: memFree=126608344/131249996 swapFree=33010684/33010684
[pid=38581] ppid=38578 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/38581/stat : 38581 (run-opt-break.s) S 38578 38581 37984 0 -1 4194304 240 6701 0 0 0 0 10 1 20 0 1 0 44105198 4292608 768 18446744073709551615 94451027984384 94451028878917 140733966196720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94451029117968 94451029165712 94451032797184 140733966203233 140733966203362 140733966203362 140733966208964 0
/proc/38581/statm: 1048 768 704 219 0 110 0
[pid=38584] ppid=38581 vsize=870932 memory=706656 CPUtime=211.31 cores=0,2
/proc/38584/stat : 38584 (roundingsat) R 38581 38581 37984 0 -1 4194304 138462 0 0 0 20626 505 0 0 20 0 1 0 44105212 891834368 176664 18446744073709551615 4227072 8923433 140727330942784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29622272 140727330949476 140727330949672 140727330949672 140727330955242 0
/proc/38584/statm: 217733 176664 2368 1147 0 205160 0
Current children cumulated CPU time: 211.42 s
Current children cumulated vsize: 875124 KiB
Current children cumulated memory: 709728 KiB
[startup+212.8 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 38591
/proc/meminfo: memFree=126608344/131249996 swapFree=33010684/33010684
[pid=38581] ppid=38578 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/38581/stat : 38581 (run-opt-break.s) S 38578 38581 37984 0 -1 4194304 240 6701 0 0 0 0 10 1 20 0 1 0 44105198 4292608 768 18446744073709551615 94451027984384 94451028878917 140733966196720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94451029117968 94451029165712 94451032797184 140733966203233 140733966203362 140733966203362 140733966208964 0
/proc/38581/statm: 1048 768 704 219 0 110 0
[pid=38584] ppid=38581 vsize=870932 memory=706656 CPUtime=212.1 cores=0,2
/proc/38584/stat : 38584 (roundingsat) R 38581 38581 37984 0 -1 4194304 138462 0 0 0 20705 505 0 0 20 0 1 0 44105212 891834368 176664 18446744073709551615 4227072 8923433 140727330942784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29622272 140727330949476 140727330949672 140727330949672 140727330955242 0
/proc/38584/statm: 217733 176664 2368 1147 0 205160 0
Current children cumulated CPU time: 212.21 s
Current children cumulated vsize: 875124 KiB
Current children cumulated memory: 709728 KiB
[startup+213.2 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 38591
/proc/meminfo: memFree=126608344/131249996 swapFree=33010684/33010684
[pid=38581] ppid=38578 vsize=4192 memory=3072 CPUtime=0.11 cores=0,2
/proc/38581/stat : 38581 (run-opt-break.s) S 38578 38581 37984 0 -1 4194304 240 6701 0 0 0 0 10 1 20 0 1 0 44105198 4292608 768 18446744073709551615 94451027984384 94451028878917 140733966196720 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94451029117968 94451029165712 94451032797184 140733966203233 140733966203362 140733966203362 140733966208964 0
/proc/38581/statm: 1048 768 704 219 0 110 0
[pid=38584] ppid=38581 vsize=870932 memory=706656 CPUtime=212.5 cores=0,2
/proc/38584/stat : 38584 (roundingsat) R 38581 38581 37984 0 -1 4194304 138462 0 0 0 20744 506 0 0 20 0 1 0 44105212 891834368 176664 18446744073709551615 4227072 8923433 140727330942784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29622272 140727330949476 140727330949672 140727330949672 140727330955242 0
/proc/38584/statm: 217733 176664 2368 1147 0 205160 0
Current children cumulated CPU time: 212.61 s
Current children cumulated vsize: 875124 KiB
Current children cumulated memory: 709728 KiB
Child status: 0
Real time (s): 213.284
CPU time (s): 212.72
CPU user time (s): 207.611
CPU system time (s): 5.1082
CPU usage (%): 99.7355
Max. virtual memory (cumulated for all children) (KiB): 875124
Max. memory (cumulated for all children) (KiB): 709728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 207.611
system time used= 5.1082
maximum resident set size= 706784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145435
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= 513
# summary of solver processes directly reported to runsolver:
# pid: 38581
# total CPU time (s): 212.72
# total CPU user time (s): 207.611
# total CPU system time (s): 5.1082
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.46092 second user time and 0.9633 second system time
The end
Begin job on nodeC032 at 2025-06-30 13:51:06
IDJOB=4484220
IDBENCH=146652
IDSOLVER=3359
FILE ID=nodeC032/4484220-1751284266
RUNJOBID= nodeC032-1751280593-37994
SLURM_JOB_ID= 9594228
Free space on /tmp= 432032 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484220-1751284266/watcher-4484220-1751284266 -o /tmp/evaluation-result-4484220-1751284266/solver-4484220-1751284266 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751280593-37994 --watchdog 3760 run-opt-break.sh HOME/instance-4484220-1751284266.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b97b9bf3767749854a32fccedb37d823
RANDOM SEED=904845057
nodeC032 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.346
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.69
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.844
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.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.848
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.69
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.780
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.69
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.852
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.69
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 : 3599.831
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.69
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.505
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.69
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 : 3600.741
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.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 127447012 kB
MemAvailable: 127216388 kB
Buffers: 3280 kB
Cached: 577832 kB
SwapCached: 0 kB
Active: 2914724 kB
Inactive: 324436 kB
Active(anon): 2676116 kB
Inactive(anon): 0 kB
Active(file): 238608 kB
Inactive(file): 324436 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7568 kB
Writeback: 0 kB
AnonPages: 2659692 kB
Mapped: 116864 kB
Shmem: 18068 kB
KReclaimable: 91144 kB
Slab: 175836 kB
SReclaimable: 91144 kB
SUnreclaim: 84692 kB
KernelStack: 4384 kB
PageTables: 8720 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 3374564 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1292288 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432024 MiB
End job on nodeC032 at 2025-06-30 13:54:39