0.00/0.04 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.04 c │ pbsuma -- a PB interface for satsuma │
0.00/0.04 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.04 c │ (c) 2025 Markus Anders │
0.00/0.04 c └────────────────────────────────────────────────────────────────┘
0.00/0.04 c parse 'HOME/instance-4531876-1752584603.opb'
0.00/0.05 c read 0.55MB (7.69ms)
0.00/0.05 c [cnf: #variables 8405 #clauses 10668 #duplicates 0 #arr 51941]
0.00/0.05 c output proof to 'PROOFDIR/proof-4531876-1752584603'
0.00/0.05 c
0.00/0.05 c make graph and approximate orbits
0.00/0.06 c [group: #orbits ~= 2572] (12.69ms)
0.00/0.06 c
0.00/0.06 c detect special group actions
0.00/0.06 c probe for Johnson action (limit=64)
0.00/0.07 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.07 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.07 c found row 6x48, generating row predicate
0.00/0.07 c found row 5x48, generating row predicate
0.00/0.08 c found row 3x48, generating row predicate
0.00/0.09 c found row 26x48, generating row predicate
0.04/0.10 c found row 7x48, generating row predicate
0.04/0.11 c found row 3x48, generating row predicate
0.04/0.11 c found row 3x48, generating row predicate
0.04/0.11 c found row 6x48, generating row predicate
0.04/0.11 c found row 6x48, generating row predicate
0.04/0.12 c found row 3x48, generating row predicate
0.04/0.12 c found row 5x48, generating row predicate
0.04/0.13 c found row 12x48, generating row predicate
0.04/0.13 c found row 3x48, generating row predicate
0.04/0.13 c found row 3x48, generating row predicate
0.04/0.13 c found row 3x48, generating row predicate
0.04/0.13 c found row 3x48, generating row predicate
0.04/0.13 c found row 4x48, generating row predicate
0.04/0.14 c found row 4x48, generating row predicate
0.04/0.14 c found row 5x48, generating row predicate
0.04/0.14 c (75.42ms)
0.04/0.14 c
0.04/0.14 c detect symmetries on remainder
0.04/0.14 c [graph: #vertices 47967 #edges 161670]
0.04/0.14 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.04/0.15 c [group: #symmetries 8.35*10^12 #generators 40] (13.23ms)
0.04/0.15 c
0.04/0.15 c optimize generators (opt_passes=64, conjugate_limit=256)
0.04/0.15 c ran it=0, +gens=1
0.04/0.16 c con best_support=56, best_gens=1, +gens=0
0.04/0.16 c (8.97ms)
0.04/0.16 c
0.04/0.16 c finalize break order and special generators
0.04/0.16 c
0.04/0.16 c add generic predicates (break_depth=20)
0.04/0.16 c added predicates for 41 generators (0.07ms)
0.04/0.18 c
0.04/0.18 c generation finished
0.04/0.18 c [sbp: #constraints 15300 #add_vars 5056]
0.04/0.18 c
0.04/0.18 c write result to 'HOME/instance-4531876-1752584603.opb.pre'
0.04/0.19 c wrote 1.12MB (2.56ms)
0.04/0.19 c ------------------------------------------------------------------
0.04/0.19 c 75.42ms 52.92% detect_special
0.04/0.19 c 21.50ms 15.08% other
0.04/0.19 c 13.23ms 9.28% detect_generic
0.04/0.19 c 12.69ms 8.90% approx_orbits
0.04/0.19 c 8.97ms 6.30% optimize_gens
0.04/0.19 c 7.69ms 5.40% parse
0.04/0.19 c 2.56ms 1.80% output
0.04/0.19 c 0.39ms 0.28% finalize_order
0.04/0.19 c 0.07ms 0.05% break_generic
0.04/0.19 c ───────────────────────────────────────────────
0.04/0.19 c 142.53ms 100% total
0.04/0.19 c ------------------------------------------------------------------
0.13/0.23 c RoundingSat 2
0.13/0.23 c branch pb25
0.13/0.23 c commit 0f876b3
0.20/0.40 c #variables 13461 #constraints 26667
0.20/0.40 c objective is ce32
0.49/0.66 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.49/0.66 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.49/0.66 c bounds 21282 >= -3212 @ 0.405089
0.79/0.95 c bounds 21181 >= -3212 @ 0.668631
0.79/0.95 c bounds 21181 >= -2445 @ 0.673296
0.79/0.95 c bounds 21181 >= -2345 @ 0.675401
0.79/0.96 c bounds 21181 >= -2245 @ 0.677545
0.79/0.96 c bounds 21181 >= -2145 @ 0.680775
0.79/0.96 c bounds 21181 >= -2045 @ 0.683029
0.79/0.97 c bounds 21181 >= -2044 @ 0.684239
0.79/0.97 c bounds 21181 >= -2043 @ 0.686458
0.79/0.97 c bounds 21181 >= -2042 @ 0.689685
0.79/0.98 c bounds 21181 >= -2041 @ 0.692909
0.79/0.98 c bounds 21181 >= -2040 @ 0.696133
0.79/0.98 c bounds 21181 >= -2039 @ 0.698364
0.79/0.99 c bounds 21181 >= -2038 @ 0.699652
0.79/0.99 c bounds 21181 >= -2037 @ 0.70187
0.79/0.99 c bounds 21181 >= -2036 @ 0.704459
0.79/1.00 c bounds 21181 >= -2035 @ 0.706735
0.79/1.00 c bounds 21181 >= -2034 @ 0.708949
0.89/1.00 c bounds 21181 >= -2033 @ 0.712153
0.89/1.01 c bounds 21181 >= -2032 @ 0.714397
0.89/1.01 c bounds 21181 >= -2031 @ 0.716694
0.89/1.01 c bounds 21181 >= -2030 @ 0.718994
0.89/1.02 c bounds 21181 >= -2029 @ 0.722307
0.89/1.02 c bounds 21181 >= -2028 @ 0.72468
0.89/1.02 c bounds 21181 >= -2027 @ 0.725987
0.89/1.05 c bounds 21081 >= -2027 @ 0.74179
0.89/1.05 c bounds 21081 >= -1927 @ 0.742999
0.89/1.06 c bounds 21081 >= -1827 @ 0.745006
0.89/1.06 c bounds 21081 >= -1727 @ 0.748019
0.89/1.07 c bounds 21081 >= -1627 @ 0.752028
0.89/1.07 c bounds 21081 >= -1626 @ 0.754027
0.89/1.08 c bounds 21081 >= -1622 @ 0.757113
0.89/1.08 c bounds 21081 >= -1619 @ 0.760504
0.89/1.09 c bounds 21081 >= -1618 @ 0.762712
0.89/1.09 c bounds 21081 >= -1617 @ 0.764938
0.89/1.10 c bounds 21081 >= -1616 @ 0.767122
1.00/1.10 c bounds 21081 >= -1609 @ 0.769403
1.00/1.14 c bounds 21080 >= -1609 @ 0.79432
1.00/1.14 c bounds 21080 >= -1602 @ 0.797961
1.00/1.15 c bounds 21080 >= -1595 @ 0.801362
1.00/1.15 c bounds 21080 >= -1588 @ 0.804578
1.00/1.16 c bounds 21080 >= -1587 @ 0.808813
1.00/1.16 c bounds 21080 >= -1586 @ 0.812167
1.00/1.17 c bounds 21080 >= -1579 @ 0.815479
1.00/1.17 c bounds 21080 >= -1578 @ 0.818745
1.00/1.18 c bounds 21080 >= -1577 @ 0.820966
1.00/1.18 c bounds 21080 >= -1575 @ 0.825199
1.00/1.19 c bounds 21080 >= -1574 @ 0.827806
1.00/1.20 c bounds 21080 >= -1573 @ 0.831172
1.09/1.20 c bounds 21080 >= -1568 @ 0.833427
1.09/1.21 c bounds 21080 >= -1565 @ 0.836602
1.09/1.21 c bounds 21080 >= -1564 @ 0.839803
1.09/1.23 c bounds 20980 >= -1564 @ 0.858334
1.09/1.24 c bounds 20980 >= -1559 @ 0.862795
1.09/1.24 c bounds 20980 >= -1552 @ 0.865202
1.09/1.25 c bounds 20980 >= -1547 @ 0.867407
1.09/1.25 c bounds 20980 >= -1540 @ 0.86959
1.09/1.26 c bounds 20980 >= -1539 @ 0.872787
1.09/1.26 c bounds 20980 >= -1538 @ 0.876071
1.09/1.27 c bounds 20980 >= -1537 @ 0.879194
1.09/1.27 c bounds 20980 >= -1536 @ 0.88438
1.09/1.28 c bounds 20980 >= -1531 @ 0.886619
1.09/1.28 c bounds 20980 >= -1526 @ 0.88993
1.09/1.29 c bounds 20980 >= -1519 @ 0.892199
1.09/1.29 c bounds 20980 >= -1518 @ 0.893369
1.18/1.30 c bounds 20980 >= -1516 @ 0.896574
1.18/1.33 c bounds 20979 >= -1516 @ 0.922567
1.18/1.34 c bounds 20979 >= -1513 @ 0.926282
1.18/1.34 c bounds 20979 >= -1510 @ 0.930552
1.18/1.35 c bounds 20979 >= -1509 @ 0.932883
1.18/1.35 c bounds 20979 >= -1504 @ 0.936073
1.18/1.36 c bounds 20979 >= -1503 @ 0.938293
1.18/1.36 c bounds 20979 >= -1501 @ 0.941518
1.18/1.37 c bounds 20979 >= -1494 @ 0.945878
1.18/1.37 c bounds 20979 >= -1493 @ 0.949031
1.18/1.38 c bounds 20979 >= -1490 @ 0.953242
1.18/1.38 c bounds 20979 >= -1489 @ 0.957439
1.18/1.39 c bounds 20979 >= -1485 @ 0.960633
1.18/1.39 c bounds 20979 >= -1480 @ 0.963832
1.28/1.40 c bounds 20979 >= -1476 @ 0.967111
1.28/1.40 c bounds 20979 >= -1475 @ 0.969342
1.28/1.41 c bounds 20979 >= -1473 @ 0.972659
1.28/1.42 c bounds 20979 >= -1472 @ 0.976743
1.28/1.42 c bounds 20979 >= -1468 @ 0.980041
1.28/1.43 c bounds 20979 >= -1466 @ 0.981252
1.28/1.43 c bounds 20979 >= -1465 @ 0.984571
1.28/1.44 c bounds 20979 >= -1460 @ 0.987775
1.28/1.47 c bounds 20978 >= -1460 @ 1.02133
1.28/1.48 c bounds 20978 >= -1458 @ 1.02396
1.28/1.48 c bounds 20978 >= -1457 @ 1.02725
1.28/1.49 c bounds 20978 >= -1451 @ 1.03059
1.28/1.49 c bounds 20978 >= -1450 @ 1.03271
1.38/1.50 c bounds 20978 >= -1445 @ 1.03693
1.38/1.51 c bounds 20978 >= -1438 @ 1.04012
1.38/1.51 c bounds 20978 >= -1437 @ 1.04343
1.38/1.52 c bounds 20978 >= -1432 @ 1.04558
1.38/1.52 c bounds 20978 >= -1427 @ 1.0487
1.38/1.53 c bounds 20978 >= -1426 @ 1.05089
1.38/1.53 c bounds 20978 >= -1419 @ 1.05627
1.38/1.54 c bounds 20978 >= -1412 @ 1.06061
1.38/1.54 c bounds 20978 >= -1407 @ 1.06182
1.38/1.55 c bounds 20978 >= -1406 @ 1.06495
1.38/1.55 c bounds 20978 >= -1405 @ 1.0691
1.38/1.56 c bounds 20978 >= -1404 @ 1.07139
1.38/1.56 c bounds 20978 >= -1403 @ 1.07551
1.38/1.57 c bounds 20978 >= -1396 @ 1.07974
1.38/1.57 c bounds 20978 >= -1395 @ 1.08293
1.38/1.58 c bounds 20978 >= -1394 @ 1.08624
1.38/1.58 c bounds 20978 >= -1387 @ 1.08849
1.38/1.59 c bounds 20978 >= -1386 @ 1.09155
1.38/1.59 c bounds 20978 >= -1379 @ 1.09592
1.49/1.65 c bounds 20878 >= -1379 @ 1.14142
1.49/1.65 c bounds 20878 >= -1378 @ 1.14599
1.49/1.66 c bounds 20878 >= -1377 @ 1.15028
1.49/1.66 c bounds 20878 >= -1376 @ 1.15456
1.49/1.67 c bounds 20878 >= -1375 @ 1.15802
1.49/1.67 c bounds 20878 >= -1374 @ 1.1612
1.49/1.68 c bounds 20878 >= -1373 @ 1.16531
1.49/1.68 c bounds 20878 >= -1372 @ 1.16861
1.49/1.69 c bounds 20878 >= -1366 @ 1.17199
1.49/1.69 c bounds 20878 >= -1362 @ 1.17503
1.58/1.70 c bounds 20878 >= -1359 @ 1.17822
1.58/1.70 c bounds 20878 >= -1358 @ 1.1824
1.58/1.71 c bounds 20878 >= -1357 @ 1.18658
1.58/1.71 c bounds 20878 >= -1350 @ 1.18993
1.58/1.72 c bounds 20878 >= -1343 @ 1.1942
1.58/1.72 c bounds 20878 >= -1340 @ 1.1964
1.58/1.73 c bounds 20878 >= -1333 @ 1.19887
1.58/1.74 c bounds 20878 >= -1330 @ 1.20192
1.58/1.74 c bounds 20878 >= -1323 @ 1.20533
1.58/1.75 c bounds 20878 >= -1320 @ 1.20953
1.58/1.75 c bounds 20878 >= -1314 @ 1.2138
1.58/1.76 c bounds 20878 >= -1307 @ 1.21887
1.58/1.76 c bounds 20878 >= -1302 @ 1.22218
1.58/1.77 c bounds 20878 >= -1297 @ 1.22443
1.58/1.77 c bounds 20878 >= -1296 @ 1.2278
1.58/1.78 c bounds 20878 >= -1295 @ 1.23083
1.58/1.78 c bounds 20878 >= -1292 @ 1.23302
1.58/1.79 c bounds 20878 >= -1290 @ 1.2352
1.69/1.86 c bounds 20778 >= -1290 @ 1.2928
1.69/1.86 c bounds 20778 >= -1288 @ 1.29638
1.69/1.87 c bounds 20778 >= -1286 @ 1.29967
1.69/1.87 c bounds 20778 >= -1284 @ 1.30309
1.69/1.88 c bounds 20778 >= -1282 @ 1.30625
1.69/1.88 c bounds 20778 >= -1281 @ 1.30854
1.69/1.89 c bounds 20778 >= -1280 @ 1.31265
1.69/1.89 c bounds 20778 >= -1275 @ 1.31574
1.79/1.90 c bounds 20778 >= -1274 @ 1.31788
1.79/1.90 c bounds 20778 >= -1267 @ 1.32019
1.79/1.91 c bounds 20778 >= -1264 @ 1.32248
1.79/1.91 c bounds 20778 >= -1263 @ 1.32559
1.79/1.92 c bounds 20778 >= -1256 @ 1.32881
1.79/1.92 c bounds 20778 >= -1254 @ 1.33094
1.79/1.93 c bounds 20778 >= -1253 @ 1.33408
1.79/1.94 c bounds 20778 >= -1247 @ 1.33746
1.79/1.94 c bounds 20778 >= -1246 @ 1.34064
1.79/1.95 c bounds 20778 >= -1244 @ 1.34382
1.79/1.95 c bounds 20778 >= -1243 @ 1.34697
1.79/1.96 c bounds 20778 >= -1239 @ 1.35017
1.79/1.96 c bounds 20778 >= -1236 @ 1.35439
1.79/1.97 c bounds 20778 >= -1233 @ 1.35755
1.79/1.97 c bounds 20778 >= -1227 @ 1.36071
1.79/1.98 c bounds 20778 >= -1224 @ 1.36289
1.79/1.98 c bounds 20778 >= -1217 @ 1.36533
1.79/1.99 c bounds 20778 >= -1211 @ 1.36846
1.79/1.99 c bounds 20778 >= -1209 @ 1.37344
1.79/2.00 c bounds 20778 >= -1204 @ 1.37569
1.89/2.00 c bounds 20778 >= -1202 @ 1.37782
1.89/2.01 c bounds 20778 >= -1201 @ 1.38099
1.89/2.01 c bounds 20778 >= -1200 @ 1.38431
1.89/2.02 c bounds 20778 >= -1199 @ 1.38859
1.89/2.02 c bounds 20778 >= -1193 @ 1.39186
1.89/2.03 c bounds 20778 >= -1192 @ 1.39423
1.89/2.03 c bounds 20778 >= -1188 @ 1.39722
1.89/2.04 c bounds 20778 >= -1185 @ 1.39941
1.89/2.04 c bounds 20778 >= -1178 @ 1.40168
1.89/2.05 c bounds 20778 >= -1177 @ 1.40577
1.89/2.06 c bounds 20778 >= -1170 @ 1.40718
1.89/2.06 c bounds 20778 >= -1164 @ 1.4093
1.89/2.07 c bounds 20778 >= -1161 @ 1.41139
1.89/2.07 c bounds 20778 >= -1158 @ 1.41356
1.89/2.08 c bounds 20778 >= -1155 @ 1.4157
1.89/2.08 c bounds 20778 >= -1151 @ 1.41891
1.89/2.09 c bounds 20778 >= -1150 @ 1.42236
1.89/2.09 c bounds 20778 >= -1143 @ 1.42567
1.89/2.10 c bounds 20778 >= -1138 @ 1.42892
1.99/2.10 c bounds 20778 >= -1131 @ 1.43244
1.99/2.11 c bounds 20778 >= -1124 @ 1.43587
1.99/2.11 c bounds 20778 >= -1119 @ 1.43927
1.99/2.12 c bounds 20778 >= -1112 @ 1.44257
1.99/2.12 c bounds 20778 >= -1106 @ 1.44412
1.99/2.13 c bounds 20778 >= -1105 @ 1.44725
1.99/2.13 c bounds 20778 >= -1098 @ 1.44939
1.99/2.14 c bounds 20778 >= -1097 @ 1.4515
2.08/2.21 c bounds 20777 >= -1097 @ 1.51228
2.08/2.22 c bounds 20777 >= -1089 @ 1.51609
2.08/2.23 c bounds 20777 >= -1082 @ 1.51919
2.08/2.23 c bounds 20777 >= -1077 @ 1.52042
2.08/2.24 c bounds 20777 >= -1076 @ 1.52317
2.08/2.24 c bounds 20777 >= -1074 @ 1.52625
2.08/2.25 c bounds 20777 >= -1071 @ 1.52943
2.08/2.25 c bounds 20777 >= -1068 @ 1.53274
2.08/2.26 c bounds 20777 >= -1064 @ 1.53586
2.08/2.26 c bounds 20777 >= -1060 @ 1.53895
2.08/2.27 c bounds 20777 >= -1053 @ 1.54113
2.08/2.27 c bounds 20777 >= -1045 @ 1.54526
2.08/2.28 c bounds 20777 >= -1038 @ 1.54743
2.08/2.28 c bounds 20777 >= -1033 @ 1.55075
2.08/2.29 c bounds 20777 >= -1032 @ 1.5547
2.08/2.29 c bounds 20777 >= -1025 @ 1.55788
2.19/2.30 c bounds 20777 >= -1024 @ 1.56103
2.19/2.30 c bounds 20777 >= -1023 @ 1.56414
2.19/2.31 c bounds 20777 >= -1022 @ 1.56726
2.19/2.31 c bounds 20777 >= -1021 @ 1.5684
2.19/2.32 c bounds 20777 >= -1016 @ 1.5718
2.19/2.32 c bounds 20777 >= -1015 @ 1.57582
2.19/2.33 c bounds 20777 >= -1014 @ 1.57797
2.19/2.33 c bounds 20777 >= -1013 @ 1.58106
2.19/2.34 c bounds 20777 >= -1012 @ 1.5842
2.19/2.35 c bounds 20777 >= -1011 @ 1.58735
2.19/2.35 c bounds 20777 >= -1010 @ 1.59087
2.19/2.36 c bounds 20777 >= -1009 @ 1.59307
2.19/2.36 c bounds 20777 >= -1008 @ 1.59521
2.19/2.37 c bounds 20777 >= -1007 @ 1.5973
2.19/2.37 c bounds 20777 >= -1006 @ 1.6006
2.19/2.38 c bounds 20777 >= -1005 @ 1.60382
2.19/2.38 c bounds 20777 >= -1004 @ 1.60505
2.19/2.39 c bounds 20777 >= -1003 @ 1.60728
2.19/2.39 c bounds 20777 >= -998 @ 1.61151
2.28/2.40 c bounds 20777 >= -997 @ 1.6147
2.28/2.40 c bounds 20777 >= -994 @ 1.61791
2.28/2.41 c bounds 20777 >= -990 @ 1.62099
2.28/2.41 c bounds 20777 >= -986 @ 1.62314
2.28/2.42 c bounds 20777 >= -985 @ 1.62522
2.28/2.42 c bounds 20777 >= -981 @ 1.62752
2.28/2.43 c bounds 20777 >= -978 @ 1.63146
2.28/2.43 c bounds 20777 >= -977 @ 1.63556
2.28/2.44 c bounds 20777 >= -976 @ 1.63874
2.28/2.44 c bounds 20777 >= -975 @ 1.64278
2.28/2.45 c bounds 20777 >= -969 @ 1.64493
2.28/2.45 c bounds 20777 >= -966 @ 1.64706
2.28/2.46 c bounds 20777 >= -965 @ 1.65013
2.28/2.46 c bounds 20777 >= -960 @ 1.65454
2.28/2.47 c bounds 20777 >= -959 @ 1.65874
2.28/2.48 c bounds 20777 >= -954 @ 1.66107
2.28/2.48 c bounds 20777 >= -949 @ 1.66443
2.28/2.49 c bounds 20777 >= -948 @ 1.66737
2.28/2.49 c bounds 20777 >= -947 @ 1.67147
2.38/2.50 c bounds 20777 >= -946 @ 1.67364
2.38/2.50 c bounds 20777 >= -945 @ 1.67768
2.38/2.56 c bounds 20776 >= -945 @ 1.733
2.38/2.57 c bounds 20776 >= -944 @ 1.73663
2.38/2.57 c bounds 20776 >= -943 @ 1.73973
2.38/2.58 c bounds 20776 >= -942 @ 1.74187
2.38/2.58 c bounds 20776 >= -941 @ 1.74497
2.38/2.59 c bounds 20776 >= -940 @ 1.74808
2.38/2.59 c bounds 20776 >= -939 @ 1.75222
2.48/2.60 c bounds 20776 >= -938 @ 1.75641
2.48/2.60 c bounds 20776 >= -934 @ 1.75957
2.48/2.61 c bounds 20776 >= -933 @ 1.76179
2.48/2.61 c bounds 20776 >= -929 @ 1.76516
2.48/2.62 c bounds 20776 >= -924 @ 1.76739
2.48/2.62 c bounds 20776 >= -919 @ 1.77061
2.48/2.63 c bounds 20776 >= -916 @ 1.77305
2.48/2.64 c bounds 20776 >= -910 @ 1.77526
2.48/2.64 c bounds 20776 >= -907 @ 1.77842
2.48/2.65 c bounds 20776 >= -902 @ 1.78153
2.48/2.65 c bounds 20776 >= -899 @ 1.78421
2.48/2.66 c bounds 20776 >= -895 @ 1.78731
2.48/2.66 c bounds 20776 >= -890 @ 1.78956
2.48/2.67 c bounds 20776 >= -887 @ 1.79447
2.48/2.67 c bounds 20776 >= -882 @ 1.79857
2.48/2.68 c bounds 20776 >= -878 @ 1.80068
2.48/2.68 c bounds 20776 >= -874 @ 1.80297
2.48/2.69 c bounds 20776 >= -871 @ 1.80588
2.48/2.69 c bounds 20776 >= -867 @ 1.80898
2.58/2.70 c bounds 20776 >= -862 @ 1.81311
2.58/2.70 c bounds 20776 >= -857 @ 1.81628
2.58/2.71 c bounds 20776 >= -853 @ 1.81836
2.58/2.71 c bounds 20776 >= -848 @ 1.82046
2.58/2.72 c bounds 20776 >= -845 @ 1.82246
2.58/2.72 c bounds 20776 >= -842 @ 1.82494
2.58/2.73 c bounds 20776 >= -837 @ 1.82789
2.58/2.73 c bounds 20776 >= -833 @ 1.83118
2.58/2.74 c bounds 20776 >= -830 @ 1.83334
2.58/2.74 c bounds 20776 >= -824 @ 1.83756
2.58/2.75 c bounds 20776 >= -822 @ 1.84006
2.58/2.75 c bounds 20776 >= -821 @ 1.84316
2.58/2.76 c bounds 20776 >= -816 @ 1.84734
2.58/2.77 c bounds 20776 >= -813 @ 1.85049
2.58/2.77 c bounds 20776 >= -811 @ 1.85282
2.58/2.78 c bounds 20776 >= -809 @ 1.85672
2.58/2.78 c bounds 20776 >= -804 @ 1.85889
2.58/2.79 c bounds 20776 >= -802 @ 1.86103
2.58/2.79 c bounds 20776 >= -799 @ 1.86405
2.69/2.80 c bounds 20776 >= -797 @ 1.86718
2.69/2.80 c bounds 20776 >= -793 @ 1.87021
2.69/2.81 c bounds 20776 >= -789 @ 1.87335
2.69/2.81 c bounds 20776 >= -785 @ 1.87569
2.69/2.88 c bounds 20775 >= -785 @ 1.93856
2.69/2.88 c bounds 20775 >= -780 @ 1.94321
2.69/2.89 c bounds 20775 >= -778 @ 1.94652
2.69/2.89 c bounds 20775 >= -775 @ 1.94942
2.78/2.90 c bounds 20775 >= -772 @ 1.9545
2.78/2.90 c bounds 20775 >= -769 @ 1.95861
2.78/2.91 c bounds 20775 >= -765 @ 1.96172
2.78/2.91 c bounds 20775 >= -761 @ 1.96388
2.78/2.92 c bounds 20775 >= -756 @ 1.96795
2.78/2.92 c bounds 20775 >= -752 @ 1.97008
2.78/2.93 c bounds 20775 >= -750 @ 1.97215
2.78/2.93 c bounds 20775 >= -747 @ 1.97645
2.78/2.94 c bounds 20775 >= -745 @ 1.98053
2.78/2.94 c bounds 20775 >= -743 @ 1.98253
2.78/2.95 c bounds 20775 >= -741 @ 1.9847
2.78/2.95 c bounds 20775 >= -738 @ 1.9888
2.78/2.96 c bounds 20775 >= -736 @ 1.99288
2.78/2.97 c bounds 20775 >= -733 @ 1.99503
2.78/2.97 c bounds 20775 >= -729 @ 1.99834
2.78/2.98 c bounds 20775 >= -726 @ 2.00044
2.78/2.98 c bounds 20775 >= -723 @ 2.00347
2.78/2.99 c bounds 20775 >= -721 @ 2.00562
2.78/2.99 c bounds 20775 >= -720 @ 2.00763
2.78/3.00 c bounds 20775 >= -719 @ 2.01085
2.89/3.00 c bounds 20775 >= -718 @ 2.012
2.89/3.01 c bounds 20775 >= -717 @ 2.01431
2.89/3.01 c bounds 20775 >= -716 @ 2.01739
2.89/3.02 c bounds 20775 >= -715 @ 2.02133
2.89/3.02 c bounds 20775 >= -714 @ 2.02354
2.89/3.03 c bounds 20775 >= -712 @ 2.02554
2.89/3.03 c bounds 20775 >= -711 @ 2.02768
2.89/3.04 c bounds 20775 >= -710 @ 2.02975
2.89/3.04 c bounds 20775 >= -709 @ 2.03285
2.89/3.05 c bounds 20775 >= -708 @ 2.03517
2.89/3.05 c bounds 20775 >= -707 @ 2.03824
2.89/3.06 c bounds 20775 >= -706 @ 2.04031
2.89/3.06 c bounds 20775 >= -705 @ 2.04521
2.89/3.07 c bounds 20775 >= -704 @ 2.04842
2.89/3.07 c bounds 20775 >= -703 @ 2.05046
2.89/3.08 c bounds 20775 >= -702 @ 2.05348
2.89/3.08 c bounds 20775 >= -700 @ 2.05561
2.89/3.09 c bounds 20775 >= -698 @ 2.05868
2.89/3.09 c bounds 20775 >= -697 @ 2.06078
2.89/3.10 c bounds 20775 >= -695 @ 2.06409
2.99/3.10 c bounds 20775 >= -692 @ 2.06716
2.99/3.11 c bounds 20775 >= -691 @ 2.07009
2.99/3.11 c bounds 20775 >= -689 @ 2.07221
2.99/3.12 c bounds 20775 >= -687 @ 2.07538
2.99/3.12 c bounds 20775 >= -686 @ 2.0774
2.99/3.13 c bounds 20775 >= -684 @ 2.08055
2.99/3.13 c bounds 20775 >= -683 @ 2.08218
2.99/3.14 c bounds 20775 >= -681 @ 2.08508
2.99/3.14 c bounds 20775 >= -679 @ 2.08717
2.99/3.15 c bounds 20775 >= -677 @ 2.09123
2.99/3.15 c bounds 20775 >= -676 @ 2.09348
2.99/3.16 c bounds 20775 >= -675 @ 2.0965
2.99/3.16 c bounds 20775 >= -671 @ 2.10057
2.99/3.17 c bounds 20775 >= -670 @ 2.10267
2.99/3.18 c bounds 20775 >= -669 @ 2.10673
2.99/3.18 c bounds 20775 >= -668 @ 2.11003
2.99/3.19 c bounds 20775 >= -667 @ 2.11487
3.08/3.25 c bounds 20675 >= -667 @ 2.17491
3.08/3.26 c bounds 20675 >= -666 @ 2.17754
3.08/3.26 c bounds 20675 >= -665 @ 2.17982
3.08/3.27 c bounds 20675 >= -664 @ 2.18369
3.08/3.27 c bounds 20675 >= -663 @ 2.18686
3.08/3.28 c bounds 20675 >= -662 @ 2.18884
3.08/3.28 c bounds 20675 >= -661 @ 2.19292
3.08/3.29 c bounds 20675 >= -658 @ 2.19428
3.08/3.29 c bounds 20675 >= -657 @ 2.19861
3.18/3.30 c bounds 20675 >= -655 @ 2.20126
3.18/3.30 c bounds 20675 >= -654 @ 2.2054
3.18/3.31 c bounds 20675 >= -653 @ 2.20847
3.18/3.31 c bounds 20675 >= -652 @ 2.21174
3.18/3.32 c bounds 20675 >= -651 @ 2.21476
3.18/3.32 c bounds 20675 >= -650 @ 2.21775
3.18/3.33 c bounds 20675 >= -649 @ 2.22091
3.18/3.33 c bounds 20675 >= -648 @ 2.22486
3.18/3.34 c bounds 20675 >= -647 @ 2.22703
3.18/3.34 c bounds 20675 >= -646 @ 2.23111
3.18/3.35 c bounds 20675 >= -645 @ 2.23421
3.18/3.35 c bounds 20675 >= -644 @ 2.2363
3.18/3.36 c bounds 20675 >= -643 @ 2.23935
3.18/3.36 c bounds 20675 >= -642 @ 2.24163
3.18/3.37 c bounds 20675 >= -641 @ 2.24366
3.18/3.37 c bounds 20675 >= -640 @ 2.24757
3.18/3.38 c bounds 20675 >= -639 @ 2.24965
3.18/3.38 c bounds 20675 >= -638 @ 2.25281
3.18/3.39 c bounds 20675 >= -637 @ 2.2558
3.18/3.39 c bounds 20675 >= -636 @ 2.25893
3.28/3.40 c bounds 20675 >= -635 @ 2.26193
3.28/3.40 c bounds 20675 >= -634 @ 2.26403
3.28/3.41 c bounds 20675 >= -633 @ 2.26807
3.28/3.42 c bounds 20675 >= -632 @ 2.27116
3.28/3.42 c bounds 20675 >= -631 @ 2.2732
3.28/3.43 c bounds 20675 >= -630 @ 2.27725
3.28/3.43 c bounds 20675 >= -629 @ 2.2798
3.28/3.44 c bounds 20675 >= -628 @ 2.28284
3.28/3.44 c bounds 20675 >= -627 @ 2.28494
3.28/3.45 c bounds 20675 >= -626 @ 2.28898
3.28/3.45 c bounds 20675 >= -625 @ 2.29305
3.28/3.46 c bounds 20675 >= -624 @ 2.29513
3.28/3.46 c bounds 20675 >= -623 @ 2.29741
3.28/3.47 c bounds 20675 >= -622 @ 2.30022
3.28/3.47 c bounds 20675 >= -621 @ 2.30332
3.28/3.48 c bounds 20675 >= -620 @ 2.30639
3.28/3.48 c bounds 20675 >= -619 @ 2.30847
3.28/3.49 c bounds 20675 >= -618 @ 2.31163
3.28/3.49 c bounds 20675 >= -617 @ 2.31562
3.38/3.50 c bounds 20675 >= -616 @ 2.31776
3.38/3.50 c bounds 20675 >= -615 @ 2.32081
3.38/3.51 c bounds 20675 >= -614 @ 2.32383
3.38/3.51 c bounds 20675 >= -613 @ 2.32692
3.38/3.52 c bounds 20675 >= -612 @ 2.329
3.38/3.52 c bounds 20675 >= -611 @ 2.33304
3.38/3.53 c bounds 20675 >= -610 @ 2.3361
3.38/3.53 c bounds 20675 >= -609 @ 2.33837
3.48/3.62 c bounds 20674 >= -609 @ 2.40943
3.48/3.62 c bounds 20674 >= -608 @ 2.41325
3.48/3.63 c bounds 20674 >= -607 @ 2.41617
3.48/3.63 c bounds 20674 >= -606 @ 2.42028
3.48/3.64 c bounds 20674 >= -605 @ 2.42243
3.48/3.64 c bounds 20674 >= -604 @ 2.4236
3.48/3.65 c bounds 20674 >= -603 @ 2.42753
3.48/3.65 c bounds 20674 >= -602 @ 2.43065
3.48/3.66 c bounds 20674 >= -601 @ 2.43271
3.48/3.66 c bounds 20674 >= -600 @ 2.436
3.48/3.67 c bounds 20674 >= -599 @ 2.43885
3.48/3.67 c bounds 20674 >= -598 @ 2.44105
3.48/3.68 c bounds 20674 >= -597 @ 2.44306
3.48/3.68 c bounds 20674 >= -596 @ 2.44621
3.48/3.69 c bounds 20674 >= -595 @ 2.45118
3.48/3.69 c bounds 20674 >= -594 @ 2.45332
3.58/3.70 c bounds 20674 >= -592 @ 2.45538
3.58/3.70 c bounds 20674 >= -591 @ 2.45943
3.58/3.71 c bounds 20674 >= -587 @ 2.46155
3.58/3.72 c bounds 20674 >= -584 @ 2.46362
3.58/3.72 c bounds 20674 >= -582 @ 2.46691
3.58/3.73 c bounds 20674 >= -580 @ 2.46997
3.58/3.73 c bounds 20674 >= -577 @ 2.47199
3.58/3.74 c bounds 20674 >= -575 @ 2.47511
3.58/3.74 c bounds 20674 >= -572 @ 2.47905
3.58/3.75 c bounds 20674 >= -564 @ 2.48153
3.58/3.75 c bounds 20674 >= -562 @ 2.4856
3.58/3.76 c bounds 20674 >= -561 @ 2.48889
3.58/3.76 c bounds 20674 >= -552 @ 2.49191
3.58/3.77 c bounds 20674 >= -551 @ 2.49488
3.58/3.77 c bounds 20674 >= -547 @ 2.49791
3.58/3.78 c bounds 20674 >= -546 @ 2.50106
3.58/3.78 c bounds 20674 >= -538 @ 2.50414
3.58/3.79 c bounds 20674 >= -530 @ 2.50726
3.58/3.79 c bounds 20674 >= -524 @ 2.50932
3.68/3.80 c bounds 20674 >= -513 @ 2.51341
3.68/3.80 c bounds 20674 >= -509 @ 2.51649
3.68/3.81 c bounds 20674 >= -506 @ 2.51878
3.68/3.81 c bounds 20674 >= -501 @ 2.5208
3.68/3.82 c bounds 20674 >= -498 @ 2.52381
3.68/3.82 c bounds 20674 >= -494 @ 2.52596
3.68/3.83 c bounds 20674 >= -491 @ 2.52994
3.68/3.83 c bounds 20674 >= -488 @ 2.53393
3.68/3.84 c bounds 20674 >= -484 @ 2.536
3.68/3.84 c bounds 20674 >= -482 @ 2.53911
3.68/3.85 c bounds 20674 >= -475 @ 2.54118
3.68/3.85 c bounds 20674 >= -471 @ 2.54428
3.68/3.86 c bounds 20674 >= -463 @ 2.54732
3.68/3.86 c bounds 20674 >= -458 @ 2.54961
3.68/3.87 c bounds 20674 >= -457 @ 2.55167
3.68/3.87 c bounds 20674 >= -451 @ 2.55468
3.68/3.88 c bounds 20674 >= -447 @ 2.55766
3.68/3.88 c bounds 20674 >= -442 @ 2.56065
3.68/3.89 c bounds 20674 >= -438 @ 2.56281
3.68/3.89 c bounds 20674 >= -431 @ 2.56585
3.78/3.90 c bounds 20674 >= -430 @ 2.56883
3.78/4.00 c bounds 20574 >= -430 @ 2.66532
3.89/4.00 c bounds 20574 >= -424 @ 2.66791
3.89/4.01 c bounds 20574 >= -419 @ 2.67094
3.89/4.01 c bounds 20574 >= -407 @ 2.67326
3.89/4.02 c bounds 20574 >= -402 @ 2.67628
3.89/4.02 c bounds 20574 >= -399 @ 2.68014
3.89/4.03 c bounds 20574 >= -398 @ 2.68231
3.89/4.03 c bounds 20574 >= -394 @ 2.68579
3.89/4.04 c bounds 20574 >= -390 @ 2.68788
3.89/4.04 c bounds 20574 >= -386 @ 2.69116
3.89/4.05 c bounds 20574 >= -385 @ 2.6942
3.89/4.05 c bounds 20574 >= -378 @ 2.69732
3.89/4.06 c bounds 20574 >= -377 @ 2.6992
3.89/4.06 c bounds 20574 >= -366 @ 2.70325
3.89/4.07 c bounds 20574 >= -360 @ 2.70638
3.89/4.07 c bounds 20574 >= -358 @ 2.71035
3.89/4.08 c bounds 20574 >= -356 @ 2.71447
3.89/4.08 c bounds 20574 >= -352 @ 2.7165
3.89/4.09 c bounds 20574 >= -349 @ 2.71953
3.89/4.09 c bounds 20574 >= -345 @ 2.72161
3.89/4.10 c bounds 20574 >= -342 @ 2.72467
3.98/4.11 c bounds 20574 >= -341 @ 2.72775
3.98/4.11 c bounds 20574 >= -334 @ 2.73082
3.98/4.12 c bounds 20574 >= -330 @ 2.73486
3.98/4.12 c bounds 20574 >= -325 @ 2.73808
3.98/4.13 c bounds 20574 >= -322 @ 2.74095
3.98/4.13 c bounds 20574 >= -317 @ 2.74499
3.98/4.14 c bounds 20574 >= -310 @ 2.74905
3.98/4.14 c bounds 20574 >= -305 @ 2.75308
3.98/4.15 c bounds 20574 >= -301 @ 2.75711
3.98/4.15 c bounds 20574 >= -294 @ 2.7602
3.98/4.16 c bounds 20574 >= -285 @ 2.7632
3.98/4.16 c bounds 20574 >= -277 @ 2.76632
3.98/4.17 c bounds 20574 >= -265 @ 2.7703
3.98/4.17 c bounds 20574 >= -261 @ 2.77334
3.98/4.18 c bounds 20574 >= -254 @ 2.77641
3.98/4.18 c bounds 20574 >= -251 @ 2.78039
3.98/4.19 c bounds 20574 >= -247 @ 2.78243
3.98/4.19 c bounds 20574 >= -244 @ 2.78545
4.08/4.20 c bounds 20574 >= -234 @ 2.7885
4.08/4.20 c bounds 20574 >= -230 @ 2.79152
4.08/4.21 c bounds 20574 >= -223 @ 2.79456
4.08/4.21 c bounds 20574 >= -213 @ 2.79684
4.08/4.22 c bounds 20574 >= -206 @ 2.79964
4.08/4.22 c bounds 20574 >= -203 @ 2.80289
4.08/4.23 c bounds 20574 >= -196 @ 2.80625
4.08/4.23 c bounds 20574 >= -192 @ 2.81031
4.08/4.24 c bounds 20574 >= -181 @ 2.81352
4.08/4.24 c bounds 20574 >= -173 @ 2.81691
4.08/4.25 c bounds 20574 >= -170 @ 2.82005
4.08/4.25 c bounds 20574 >= -166 @ 2.8235
4.08/4.26 c bounds 20574 >= -165 @ 2.82689
4.08/4.26 c bounds 20574 >= -164 @ 2.83005
4.08/4.27 c bounds 20574 >= -152 @ 2.8322
4.08/4.27 c bounds 20574 >= -145 @ 2.83631
4.08/4.28 c bounds 20574 >= -139 @ 2.83941
4.08/4.28 c bounds 20574 >= -138 @ 2.84346
4.08/4.29 c bounds 20574 >= -131 @ 2.84673
4.08/4.29 c bounds 20574 >= -122 @ 2.84973
4.18/4.30 c bounds 20574 >= -112 @ 2.85173
4.18/4.30 c bounds 20574 >= -102 @ 2.85379
4.18/4.31 c bounds 20574 >= -93 @ 2.85698
4.18/4.31 c bounds 20574 >= -86 @ 2.85994
4.18/4.32 c bounds 20574 >= -76 @ 2.86206
4.18/4.32 c bounds 20574 >= -71 @ 2.86407
4.18/4.33 c bounds 20574 >= -68 @ 2.86609
4.18/4.33 c bounds 20574 >= -62 @ 2.86906
4.18/4.34 c bounds 20574 >= -56 @ 2.87111
4.18/4.34 c bounds 20574 >= -51 @ 2.87317
4.18/4.35 c bounds 20574 >= -45 @ 2.87727
4.18/4.36 c bounds 20574 >= -35 @ 2.88031
4.18/4.36 c bounds 20574 >= -29 @ 2.88368
4.18/4.37 c bounds 20574 >= -20 @ 2.88683
4.18/4.37 c bounds 20574 >= -13 @ 2.88903
4.18/4.38 c bounds 20574 >= -10 @ 2.89128
4.18/4.38 c bounds 20574 >= -4 @ 2.89367
4.18/4.39 c bounds 20574 >= 2 @ 2.89768
4.18/4.39 c bounds 20574 >= 12 @ 2.90086
4.28/4.40 c bounds 20574 >= 18 @ 2.903
4.28/4.40 c bounds 20574 >= 24 @ 2.90697
4.28/4.41 c bounds 20574 >= 30 @ 2.90903
4.28/4.41 c bounds 20574 >= 33 @ 2.91202
4.28/4.42 c bounds 20574 >= 42 @ 2.91361
4.28/4.42 c bounds 20574 >= 43 @ 2.91549
4.28/4.43 c bounds 20574 >= 49 @ 2.91847
4.28/4.43 c bounds 20574 >= 52 @ 2.92145
4.28/4.44 c bounds 20574 >= 57 @ 2.92446
4.28/4.44 c bounds 20574 >= 62 @ 2.9275
4.28/4.45 c bounds 20574 >= 65 @ 2.93066
4.28/4.45 c bounds 20574 >= 66 @ 2.93365
4.37/4.54 c bounds 20474 >= 66 @ 3.01431
4.37/4.54 c bounds 20474 >= 71 @ 3.0169
4.37/4.55 c bounds 20474 >= 73 @ 3.01918
4.37/4.55 c bounds 20474 >= 79 @ 3.02122
4.37/4.56 c bounds 20474 >= 81 @ 3.02419
4.37/4.56 c bounds 20474 >= 84 @ 3.02719
4.37/4.57 c bounds 20474 >= 87 @ 3.02934
4.37/4.57 c bounds 20474 >= 88 @ 3.03234
4.37/4.58 c bounds 20474 >= 95 @ 3.03349
4.37/4.58 c bounds 20474 >= 101 @ 3.03653
4.37/4.59 c bounds 20474 >= 104 @ 3.03956
4.37/4.59 c bounds 20474 >= 114 @ 3.04257
4.47/4.60 c bounds 20474 >= 124 @ 3.04465
4.47/4.61 c bounds 20474 >= 130 @ 3.04572
4.47/4.61 c bounds 20474 >= 135 @ 3.04758
4.47/4.62 c bounds 20474 >= 136 @ 3.04975
4.47/4.62 c bounds 20474 >= 146 @ 3.05179
4.47/4.63 c bounds 20474 >= 148 @ 3.05504
4.47/4.63 c bounds 20474 >= 158 @ 3.05902
4.47/4.64 c bounds 20474 >= 168 @ 3.06184
4.47/4.64 c bounds 20474 >= 172 @ 3.06584
4.47/4.65 c bounds 20474 >= 176 @ 3.06899
4.47/4.65 c bounds 20474 >= 181 @ 3.072
4.47/4.66 c bounds 20474 >= 187 @ 3.07488
4.47/4.66 c bounds 20474 >= 191 @ 3.077
4.47/4.67 c bounds 20474 >= 201 @ 3.079
4.47/4.67 c bounds 20474 >= 207 @ 3.08116
4.47/4.68 c bounds 20474 >= 217 @ 3.0834
4.47/4.68 c bounds 20474 >= 223 @ 3.08605
4.47/4.69 c bounds 20474 >= 233 @ 3.08926
4.47/4.69 c bounds 20474 >= 240 @ 3.09043
4.58/4.70 c bounds 20474 >= 250 @ 3.09392
4.58/4.70 c bounds 20474 >= 256 @ 3.09602
4.58/4.71 c bounds 20474 >= 258 @ 3.09822
4.58/4.71 c bounds 20474 >= 266 @ 3.10201
4.58/4.72 c bounds 20474 >= 270 @ 3.10417
4.58/4.72 c bounds 20474 >= 274 @ 3.10922
4.58/4.73 c bounds 20474 >= 276 @ 3.1144
4.58/4.73 c bounds 20474 >= 280 @ 3.11686
4.58/4.74 c bounds 20474 >= 285 @ 3.1189
4.58/4.74 c bounds 20474 >= 295 @ 3.12216
4.58/4.75 c bounds 20474 >= 298 @ 3.12333
4.58/4.76 c bounds 20474 >= 308 @ 3.12605
4.58/4.76 c bounds 20474 >= 311 @ 3.1285
4.58/4.77 c bounds 20474 >= 313 @ 3.13192
4.58/4.77 c bounds 20474 >= 315 @ 3.13414
4.58/4.78 c bounds 20474 >= 321 @ 3.13634
4.58/4.78 c bounds 20474 >= 328 @ 3.13958
4.58/4.79 c bounds 20474 >= 334 @ 3.14287
4.58/4.79 c bounds 20474 >= 341 @ 3.14607
4.68/4.80 c bounds 20474 >= 350 @ 3.14832
4.68/4.80 c bounds 20474 >= 356 @ 3.15177
4.68/4.81 c bounds 20474 >= 366 @ 3.15378
4.77/4.91 c bounds 20473 >= 366 @ 3.25082
4.77/4.92 c bounds 20473 >= 369 @ 3.25478
4.77/4.92 c bounds 20473 >= 375 @ 3.25801
4.77/4.93 c bounds 20473 >= 377 @ 3.26143
4.77/4.94 c bounds 20473 >= 379 @ 3.26443
4.77/4.94 c bounds 20473 >= 380 @ 3.26756
4.77/4.95 c bounds 20473 >= 381 @ 3.27275
4.77/4.95 c bounds 20473 >= 390 @ 3.27597
4.77/4.96 c bounds 20473 >= 391 @ 3.27939
4.77/4.96 c bounds 20473 >= 396 @ 3.2818
4.77/4.97 c bounds 20473 >= 406 @ 3.28505
4.77/4.97 c bounds 20473 >= 411 @ 3.28738
4.77/4.98 c bounds 20473 >= 421 @ 3.28966
4.77/4.98 c bounds 20473 >= 427 @ 3.29081
4.77/4.99 c bounds 20473 >= 433 @ 3.29398
4.77/4.99 c bounds 20473 >= 440 @ 3.29633
4.77/5.00 c bounds 20473 >= 450 @ 3.29955
4.88/5.00 c bounds 20473 >= 460 @ 3.30269
4.88/5.01 c bounds 20473 >= 470 @ 3.30496
4.88/5.01 c bounds 20473 >= 475 @ 3.30913
4.88/5.02 c bounds 20473 >= 486 @ 3.31234
4.88/5.02 c bounds 20473 >= 496 @ 3.31465
4.88/5.03 c bounds 20473 >= 502 @ 3.31787
4.88/5.04 c bounds 20473 >= 509 @ 3.32124
4.88/5.04 c bounds 20473 >= 516 @ 3.32339
4.88/5.05 c bounds 20473 >= 521 @ 3.32741
4.88/5.05 c bounds 20473 >= 531 @ 3.32971
4.88/5.06 c bounds 20473 >= 541 @ 3.33221
4.88/5.06 c bounds 20473 >= 544 @ 3.33619
4.88/5.07 c bounds 20473 >= 553 @ 3.33948
4.88/5.07 c bounds 20473 >= 554 @ 3.34367
4.88/5.08 c bounds 20473 >= 555 @ 3.34686
4.88/5.08 c bounds 20473 >= 556 @ 3.35019
4.88/5.09 c bounds 20473 >= 557 @ 3.35324
4.88/5.09 c bounds 20473 >= 558 @ 3.35543
4.88/5.10 c bounds 20473 >= 559 @ 3.35963
4.98/5.10 c bounds 20473 >= 560 @ 3.36266
4.98/5.11 c bounds 20473 >= 561 @ 3.36508
4.98/5.11 c bounds 20473 >= 562 @ 3.36731
4.98/5.12 c bounds 20473 >= 563 @ 3.36933
4.98/5.12 c bounds 20473 >= 564 @ 3.37152
4.98/5.13 c bounds 20473 >= 565 @ 3.37573
4.98/5.13 c bounds 20473 >= 566 @ 3.3789
4.98/5.14 c bounds 20473 >= 567 @ 3.38227
4.98/5.14 c bounds 20473 >= 568 @ 3.38531
4.98/5.15 c bounds 20473 >= 569 @ 3.38956
4.98/5.16 c bounds 20473 >= 570 @ 3.39201
4.98/5.16 c bounds 20473 >= 571 @ 3.39441
4.98/5.17 c bounds 20473 >= 576 @ 3.39862
4.98/5.17 c bounds 20473 >= 577 @ 3.40297
4.98/5.18 c bounds 20473 >= 578 @ 3.40697
4.98/5.18 c bounds 20473 >= 579 @ 3.40926
4.98/5.19 c bounds 20473 >= 580 @ 3.41041
4.98/5.19 c bounds 20473 >= 581 @ 3.41261
5.07/5.20 c bounds 20473 >= 586 @ 3.41495
5.07/5.20 c bounds 20473 >= 593 @ 3.41818
5.07/5.21 c bounds 20473 >= 596 @ 3.42124
5.07/5.21 c bounds 20473 >= 597 @ 3.42457
5.07/5.22 c bounds 20473 >= 603 @ 3.42695
5.07/5.22 c bounds 20473 >= 605 @ 3.43115
5.07/5.23 c bounds 20473 >= 612 @ 3.43244
5.07/5.23 c bounds 20473 >= 613 @ 3.4349
5.07/5.24 c bounds 20473 >= 616 @ 3.43712
5.18/5.33 c bounds 20472 >= 616 @ 3.52212
5.18/5.33 c bounds 20472 >= 619 @ 3.52713
5.18/5.34 c bounds 20472 >= 622 @ 3.53247
5.18/5.34 c bounds 20472 >= 629 @ 3.5369
5.18/5.35 c bounds 20472 >= 632 @ 3.53907
5.18/5.36 c bounds 20472 >= 639 @ 3.54339
5.18/5.36 c bounds 20472 >= 645 @ 3.5468
5.18/5.37 c bounds 20472 >= 652 @ 3.54897
5.18/5.37 c bounds 20472 >= 659 @ 3.55154
5.18/5.38 c bounds 20472 >= 661 @ 3.55573
5.18/5.38 c bounds 20472 >= 663 @ 3.55885
5.18/5.39 c bounds 20472 >= 665 @ 3.56223
5.18/5.39 c bounds 20472 >= 666 @ 3.56551
5.28/5.40 c bounds 20472 >= 668 @ 3.56878
5.28/5.40 c bounds 20472 >= 670 @ 3.57205
5.28/5.41 c bounds 20472 >= 672 @ 3.57444
5.28/5.41 c bounds 20472 >= 675 @ 3.57772
5.28/5.42 c bounds 20472 >= 678 @ 3.58198
5.28/5.42 c bounds 20472 >= 685 @ 3.58446
5.28/5.43 c bounds 20472 >= 686 @ 3.58707
5.28/5.44 c bounds 20472 >= 693 @ 3.59036
5.28/5.44 c bounds 20472 >= 695 @ 3.59368
5.28/5.45 c bounds 20472 >= 698 @ 3.59588
5.28/5.45 c bounds 20472 >= 705 @ 3.59914
5.28/5.46 c bounds 20472 >= 709 @ 3.60256
5.28/5.46 c bounds 20472 >= 710 @ 3.604
5.28/5.47 c bounds 20472 >= 711 @ 3.60639
5.28/5.47 c bounds 20472 >= 716 @ 3.60868
5.28/5.48 c bounds 20472 >= 720 @ 3.61107
5.28/5.48 c bounds 20472 >= 727 @ 3.61358
5.28/5.49 c bounds 20472 >= 734 @ 3.61681
5.28/5.49 c bounds 20472 >= 738 @ 3.61932
5.37/5.50 c bounds 20472 >= 741 @ 3.62255
5.37/5.50 c bounds 20472 >= 742 @ 3.62671
5.37/5.51 c bounds 20472 >= 743 @ 3.63001
5.37/5.52 c bounds 20472 >= 745 @ 3.63347
5.37/5.52 c bounds 20472 >= 746 @ 3.63566
5.37/5.53 c bounds 20472 >= 747 @ 3.64016
5.37/5.53 c bounds 20472 >= 752 @ 3.64364
5.37/5.54 c bounds 20472 >= 758 @ 3.64792
5.37/5.54 c bounds 20472 >= 764 @ 3.65122
5.37/5.55 c bounds 20472 >= 769 @ 3.65356
5.37/5.55 c bounds 20472 >= 775 @ 3.65475
5.37/5.56 c bounds 20472 >= 780 @ 3.65805
5.37/5.56 c bounds 20472 >= 784 @ 3.66228
5.37/5.57 c bounds 20472 >= 790 @ 3.66454
5.37/5.57 c bounds 20472 >= 792 @ 3.66667
5.47/5.69 c bounds 20471 >= 792 @ 3.77087
5.57/5.70 c bounds 20471 >= 793 @ 3.77302
5.57/5.70 c bounds 20471 >= 797 @ 3.77664
5.57/5.71 c bounds 20471 >= 801 @ 3.78119
5.57/5.71 c bounds 20471 >= 804 @ 3.78349
5.57/5.72 c bounds 20471 >= 807 @ 3.78718
5.57/5.72 c bounds 20471 >= 810 @ 3.79051
5.57/5.73 c bounds 20471 >= 814 @ 3.79396
5.57/5.73 c bounds 20471 >= 817 @ 3.79809
5.57/5.74 c bounds 20471 >= 818 @ 3.8014
5.57/5.74 c bounds 20471 >= 819 @ 3.80567
5.57/5.75 c bounds 20471 >= 820 @ 3.81
5.57/5.76 c bounds 20471 >= 821 @ 3.81444
5.57/5.76 c bounds 20471 >= 822 @ 3.81991
5.57/5.77 c bounds 20471 >= 823 @ 3.82118
5.57/5.77 c bounds 20471 >= 824 @ 3.82378
5.57/5.78 c bounds 20471 >= 825 @ 3.828
5.57/5.78 c bounds 20471 >= 826 @ 3.83105
5.57/5.79 c bounds 20471 >= 827 @ 3.83659
5.68/5.80 c bounds 20471 >= 828 @ 3.84162
5.68/5.81 c bounds 20471 >= 829 @ 3.84764
5.68/5.82 c bounds 20471 >= 830 @ 3.85518
5.68/5.83 c bounds 20471 >= 831 @ 3.86054
5.68/5.83 c bounds 20471 >= 832 @ 3.86595
5.68/5.84 c bounds 20471 >= 833 @ 3.87084
5.68/5.85 c bounds 20471 >= 834 @ 3.87637
5.68/5.86 c bounds 20471 >= 835 @ 3.88061
5.68/5.86 c bounds 20471 >= 836 @ 3.88563
5.68/5.89 c bounds 20471 >= 837 @ 3.91032
5.77/5.92 c bounds 20371 >= 837 @ 3.93168
5.77/5.93 c bounds 20371 >= 838 @ 3.93605
5.77/5.94 c bounds 20371 >= 839 @ 3.94078
5.77/5.95 c bounds 20371 >= 840 @ 3.94678
5.77/5.96 c bounds 20371 >= 841 @ 3.95022
5.77/5.96 c bounds 20371 >= 842 @ 3.95446
5.88/6.08 c bounds 20370 >= 842 @ 4.05239
5.88/6.09 c bounds 20370 >= 843 @ 4.05896
5.97/6.12 c bounds 20370 >= 844 @ 4.0819
5.97/6.13 c bounds 20370 >= 845 @ 4.08846
5.97/6.14 c bounds 20370 >= 846 @ 4.09469
5.97/6.15 c bounds 20370 >= 847 @ 4.10241
5.97/6.15 c bounds 20370 >= 848 @ 4.10654
6.07/6.24 c bounds 20270 >= 848 @ 4.18554
6.07/6.26 c bounds 20270 >= 849 @ 4.19319
6.07/6.26 c bounds 20270 >= 850 @ 4.19862
6.07/6.28 c bounds 20270 >= 851 @ 4.2091
6.07/6.28 c bounds 20270 >= 852 @ 4.21441
6.17/6.31 c bounds 20270 >= 853 @ 4.23176
6.17/6.33 c bounds 20270 >= 854 @ 4.25451
6.17/6.38 c bounds 19267 >= 854 @ 4.29279
6.17/6.38 c bounds 19267 >= 855 @ 4.29871
6.17/6.39 c bounds 19267 >= 856 @ 4.30261
6.27/6.40 c bounds 19267 >= 857 @ 4.3055
6.27/6.40 c bounds 19267 >= 858 @ 4.3081
6.27/6.41 c bounds 19267 >= 859 @ 4.31188
6.27/6.42 c bounds 19267 >= 860 @ 4.31719
6.27/6.42 c bounds 19267 >= 861 @ 4.32326
6.27/6.43 c bounds 19267 >= 862 @ 4.3291
6.27/6.44 c bounds 19267 >= 863 @ 4.33136
6.27/6.45 c bounds 19267 >= 864 @ 4.34462
6.27/6.47 c bounds 19267 >= 865 @ 4.35606
6.38/6.53 c bounds 19266 >= 865 @ 4.40794
6.38/6.54 c bounds 19266 >= 866 @ 4.4201
6.38/6.55 c bounds 19266 >= 867 @ 4.42732
6.38/6.56 c bounds 19266 >= 868 @ 4.43348
6.38/6.57 c bounds 19266 >= 869 @ 4.44067
6.47/6.65 c bounds 19265 >= 869 @ 4.51053
6.47/6.65 c bounds 19265 >= 870 @ 4.51604
6.47/6.66 c bounds 19265 >= 871 @ 4.52069
6.47/6.67 c bounds 19265 >= 872 @ 4.52483
6.47/6.69 c bounds 19265 >= 873 @ 4.53692
6.47/6.69 c bounds 19265 >= 874 @ 4.54362
6.57/6.71 c bounds 19265 >= 875 @ 4.55412
6.57/6.72 c bounds 19265 >= 876 @ 4.55708
6.57/6.73 c bounds 19265 >= 877 @ 4.56457
6.57/6.79 c bounds 19264 >= 877 @ 4.62653
6.67/6.80 c bounds 19264 >= 878 @ 4.635
6.67/6.81 c bounds 19264 >= 879 @ 4.64038
6.67/6.83 c bounds 19264 >= 880 @ 4.65458
6.67/6.83 c bounds 19264 >= 881 @ 4.65725
6.67/6.84 c bounds 19264 >= 882 @ 4.66779
6.67/6.86 c bounds 19264 >= 883 @ 4.67955
6.77/6.93 c #Conflicts: 1000 | #Constraints: 30115
6.77/6.93 c bounds 19164 >= 883 @ 4.7387
6.77/6.93 c bounds 19164 >= 884 @ 4.74473
6.77/6.95 c bounds 19164 >= 885 @ 4.76245
6.88/7.03 c bounds 19164 >= 886 @ 4.83453
6.98/7.11 c bounds 19163 >= 886 @ 4.90762
6.98/7.13 c bounds 19163 >= 887 @ 4.92656
7.07/7.28 c bounds 19162 >= 887 @ 5.06443
7.17/7.32 c bounds 19162 >= 888 @ 5.10261
7.17/7.36 c bounds 19162 >= 889 @ 5.13649
7.27/7.41 c bounds 19162 >= 890 @ 5.18084
7.36/7.53 c bounds 19161 >= 890 @ 5.29321
7.47/7.66 c bounds 19161 >= 891 @ 5.4135
7.56/7.76 c bounds 19061 >= 891 @ 5.51041
7.76/7.91 c bounds 19060 >= 891 @ 5.64837
7.76/7.92 c bounds 19060 >= 892 @ 5.66061
7.76/7.93 c bounds 19060 >= 893 @ 5.66892
7.76/7.94 c bounds 19060 >= 894 @ 5.67147
7.76/7.95 c bounds 19060 >= 895 @ 5.67996
7.76/7.95 c bounds 19060 >= 896 @ 5.68357
7.76/7.96 c bounds 19060 >= 897 @ 5.69115
7.76/7.97 c bounds 19060 >= 898 @ 5.69616
7.76/7.98 c bounds 19060 >= 899 @ 5.70256
7.76/7.99 c bounds 19060 >= 900 @ 5.71106
7.88/8.00 c bounds 19060 >= 901 @ 5.72059
11.15/11.36 c #Conflicts: 2000 | #Constraints: 31251
11.15/11.36 c INPROCESSING
11.15/11.36 c GARBAGE COLLECT
11.15/11.36 c bounds 18960 >= 901 @ 9.0033
11.15/11.36 c bounds 18960 >= 902 @ 9.00464
11.26/11.44 c bounds 18960 >= 903 @ 9.07644
11.36/11.54 c bounds 18959 >= 903 @ 9.17504
11.36/11.55 c bounds 18959 >= 904 @ 9.17899
11.55/11.72 c bounds 18959 >= 905 @ 9.33783
11.55/11.78 c bounds 18958 >= 905 @ 9.3978
11.66/11.84 c bounds 18858 >= 905 @ 9.45385
11.75/11.91 c bounds 18857 >= 905 @ 9.52003
11.75/11.98 c bounds 18757 >= 905 @ 9.58364
11.75/11.99 c bounds 18757 >= 906 @ 9.58868
12.05/12.27 c #Conflicts: 3000 | #Constraints: 30485
12.05/12.27 c bounds 18757 >= 907 @ 9.86234
12.15/12.38 c bounds 18657 >= 907 @ 9.97034
12.36/12.53 c bounds 18557 >= 907 @ 10.106
12.45/12.68 c bounds 18457 >= 907 @ 10.2519
12.45/12.69 c bounds 18457 >= 908 @ 10.2564
12.45/12.69 c bounds 18457 >= 909 @ 10.2595
12.55/12.70 c bounds 18457 >= 910 @ 10.2636
12.55/12.78 c bounds 18457 >= 911 @ 10.3272
12.75/12.93 c bounds 18456 >= 911 @ 10.4663
12.86/13.08 c bounds 18455 >= 911 @ 10.6132
12.86/13.09 c bounds 18455 >= 912 @ 10.6184
12.86/13.09 c bounds 18455 >= 913 @ 10.6229
13.05/13.23 c bounds 18455 >= 914 @ 10.751
13.15/13.36 c bounds 18454 >= 914 @ 10.8756
13.25/13.41 c bounds 18454 >= 915 @ 10.9088
13.34/13.51 c bounds 18453 >= 915 @ 11.0106
13.34/13.53 c bounds 18453 >= 916 @ 11.0284
13.34/13.55 c bounds 18453 >= 917 @ 11.0419
13.45/13.69 c bounds 18453 >= 918 @ 11.1806
13.65/13.81 c bounds 18452 >= 918 @ 11.2915
13.74/13.90 c #Conflicts: 4000 | #Constraints: 31560
13.74/13.90 c bounds 18451 >= 918 @ 11.3804
13.85/14.05 c bounds 18451 >= 919 @ 11.5171
13.95/14.13 c bounds 18450 >= 919 @ 11.595
14.05/14.25 c INPROCESSING
14.05/14.25 c GARBAGE COLLECT
14.05/14.25 c bounds 18449 >= 919 @ 11.7076
14.34/14.56 c bounds 18449 >= 920 @ 11.9978
14.45/14.62 c bounds 18448 >= 920 @ 12.0469
14.45/14.69 c bounds 18447 >= 920 @ 12.1108
14.55/14.74 c bounds 18446 >= 920 @ 12.1671
14.64/14.84 c bounds 18445 >= 920 @ 12.2523
14.75/14.92 c bounds 18444 >= 920 @ 12.3298
15.04/15.29 c #Conflicts: 5000 | #Constraints: 30971
15.04/15.29 c bounds 18444 >= 921 @ 12.6851
15.14/15.39 c bounds 18443 >= 921 @ 12.7825
15.34/15.52 c bounds 18442 >= 921 @ 12.9009
15.85/16.01 c bounds 18343 >= 921 @ 13.3869
15.85/16.03 c bounds 18343 >= 922 @ 13.4031
15.85/16.05 c bounds 18343 >= 923 @ 13.4148
15.85/16.06 c bounds 18343 >= 924 @ 13.4255
15.85/16.07 c bounds 18343 >= 925 @ 13.4356
15.85/16.09 c bounds 18343 >= 926 @ 13.4469
15.94/16.10 c bounds 18343 >= 927 @ 13.4557
15.94/16.17 c bounds 18343 >= 928 @ 13.5091
16.24/16.41 c bounds 18343 >= 929 @ 13.7434
25.21/25.47 c #Conflicts: 6000 | #Constraints: 32031
25.21/25.47 c bounds 18343 >= 930 @ 22.7099
25.61/25.82 c bounds 18243 >= 930 @ 23.0423
26.31/26.51 c INPROCESSING
26.31/26.51 c GARBAGE COLLECT
26.31/26.51 c #Conflicts: 7000 | #Constraints: 31006
26.31/26.51 c bounds 18243 >= 931 @ 23.7117
26.40/26.65 c bounds 18242 >= 931 @ 23.8506
26.51/26.78 c bounds 18241 >= 931 @ 23.9672
26.70/26.93 c bounds 18240 >= 931 @ 24.1216
28.40/28.68 c #Conflicts: 8000 | #Constraints: 32033
28.40/28.68 c bounds 18240 >= 932 @ 25.7992
28.60/28.82 c bounds 18239 >= 932 @ 25.9329
28.70/28.93 c bounds 18238 >= 932 @ 26.0341
28.80/29.03 c bounds 18237 >= 932 @ 26.1354
28.91/29.15 c #Conflicts: 9000 | #Constraints: 33066
28.91/29.15 c bounds 18236 >= 932 @ 26.2473
29.00/29.26 c bounds 18235 >= 932 @ 26.3581
29.10/29.37 c bounds 18135 >= 932 @ 26.4595
29.20/29.48 c bounds 18035 >= 932 @ 26.5685
37.97/38.23 c INPROCESSING
37.97/38.23 c GARBAGE COLLECT
37.97/38.23 c bounds 17935 >= 932 @ 35.2262
38.07/38.34 c bounds 17835 >= 932 @ 35.3329
38.17/38.44 c bounds 17834 >= 932 @ 35.4239
38.27/38.57 c bounds 17833 >= 932 @ 35.5576
38.37/38.66 c bounds 17832 >= 932 @ 35.6438
38.67/38.94 c bounds 17731 >= 932 @ 35.9135
38.78/39.08 c bounds 17730 >= 932 @ 36.0519
38.97/39.24 c bounds 17630 >= 932 @ 36.1977
39.17/39.41 c bounds 17529 >= 932 @ 36.3648
39.17/39.43 c bounds 17529 >= 933 @ 36.3881
39.37/39.61 c bounds 17528 >= 933 @ 36.5598
41.26/41.59 c #Conflicts: 10000 | #Constraints: 31741
41.26/41.59 c #Conflicts: 11000 | #Constraints: 32741
41.26/41.59 c bounds 17528 >= 934 @ 38.4719
41.66/41.91 c bounds 17527 >= 934 @ 38.786
41.77/42.08 c bounds 17427 >= 934 @ 38.9529
41.96/42.23 c bounds 17426 >= 934 @ 39.0911
42.16/42.44 c bounds 17425 >= 934 @ 39.2709
42.76/43.08 c bounds 17424 >= 934 @ 39.8892
43.66/44.00 c #Conflicts: 12000 | #Constraints: 33773
43.66/44.00 c INPROCESSING
43.66/44.00 c GARBAGE COLLECT
43.66/44.00 c bounds 17423 >= 934 @ 40.7806
44.75/45.09 c bounds 17323 >= 934 @ 41.8533
46.54/46.81 c #Conflicts: 13000 | #Constraints: 32229
46.54/46.81 c bounds 17323 >= 935 @ 43.5254
52.23/52.54 c #Conflicts: 14000 | #Constraints: 33250
52.23/52.54 c #Conflicts: 15000 | #Constraints: 34250
52.23/52.54 c INPROCESSING
52.23/52.54 c GARBAGE COLLECT
52.23/52.54 c #Conflicts: 16000 | #Constraints: 32494
52.23/52.54 c #Conflicts: 17000 | #Constraints: 33494
52.23/52.54 c bounds 17323 >= 936 @ 49.0853
52.83/53.13 c #Conflicts: 18000 | #Constraints: 34521
52.83/53.13 c bounds 17222 >= 936 @ 49.6646
56.02/56.36 c INPROCESSING
56.02/56.36 c GARBAGE COLLECT
56.02/56.36 c #Conflicts: 19000 | #Constraints: 32524
56.02/56.36 c #Conflicts: 20000 | #Constraints: 33524
56.02/56.36 c bounds 17221 >= 936 @ 52.8263
56.72/57.08 c bounds 17220 >= 936 @ 53.496
57.31/57.61 c bounds 17220 >= 937 @ 54.0091
57.61/57.90 c bounds 17120 >= 937 @ 54.2942
59.50/59.82 c #Conflicts: 21000 | #Constraints: 34531
59.50/59.82 c bounds 17019 >= 937 @ 56.1518
60.00/60.30 c bounds 17019 >= 938 @ 56.6141
60.30/60.69 c bounds 17019 >= 939 @ 56.9884
61.29/61.67 c INPROCESSING
61.29/61.67 c GARBAGE COLLECT
61.29/61.67 c bounds 16919 >= 939 @ 57.9443
62.89/63.21 c #Conflicts: 22000 | #Constraints: 32330
62.89/63.21 c #Conflicts: 23000 | #Constraints: 33330
62.89/63.21 c bounds 939 >= 939 @ 59.4178
62.89/63.21 c cpu time 59.4178 s
62.89/63.21 c deterministic time 1786441378 1.79e+09
62.89/63.21 c optimization time 1.86886 s
62.89/63.21 c total solve time 57.4064 s
62.89/63.21 c core-guided solve time 28.3275 s
62.89/63.21 c propagation time 27.976 s
62.89/63.21 c conflict analysis time 13.6925 s
62.89/63.21 c propagations 9175599
62.89/63.21 c resolve steps 156868
62.89/63.21 c decisions 7243506
62.89/63.21 c conflicts 23164
62.89/63.21 c restarts 80
62.89/63.21 c inprocessing phases 8
62.89/63.21 c garbage collections 8 ,( 100.00 )
62.89/63.21 c input clauses 30650 ,( 91.34 )
62.89/63.21 c input cardinalities 1742 ,( 5.19 )
62.89/63.21 c input general constraints 1164 ,( 3.47 )
62.89/63.21 c input average constraint length 196.59
62.89/63.21 c input average constraint degree 1016.52
62.89/63.21 c learned clauses 8664 ,( 37.37 )
62.89/63.21 c learned cardinalities 383 ,( 1.65 )
62.89/63.21 c learned general constraints 14136 ,( 60.98 )
62.89/63.21 c learned average constraint length 2596.62
62.89/63.21 c learned average constraint degree 2340290851.46
62.89/63.21 c watched CF 32, 64, 128, Arb: 1129 , 0 , 0 , 0
62.89/63.21 c counting CF 32, 64, 128, Arb: 14172 , 0 , 0 , 0
62.89/63.21 c watched constraints 1129 ,( 7.38 )
62.89/63.21 c counting constraints 14171 ,( 92.62 )
62.89/63.21 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 3519102 , 1134590 , 14308767 ,( 58612 , 14250155 )
62.89/63.21 c gcd simplifications 606
62.89/63.21 c detected cardinalities 0
62.89/63.21 c weakened non-implied lits 11414290
62.89/63.21 c weakened non-implying lits 3703
62.89/63.21 c original variables 13461
62.89/63.21 c clausal propagations 2611237
62.89/63.21 c cardinality propagations 1660349
62.89/63.21 c watched propagations 2580
62.89/63.21 c counting propagations 3395559
62.89/63.21 c watch lookups 708273131
62.89/63.21 c watch backjump lookups 0
62.89/63.21 c watch checks 51064724
62.89/63.21 c propagation checks 879783767
62.89/63.21 c constraint additions 114413516
62.89/63.21 c trail pops 16436913
62.89/63.21 c formula constraints 26667
62.89/63.21 c learned constraints 23181
62.89/63.21 c bound constraints 4815
62.89/63.21 c core-guided constraints 2074
62.89/63.21 c encountered formula constraints 27692
62.89/63.21 c encountered learned constraints 88542
62.89/63.21 c encountered bound constraints 93
62.89/63.21 c encountered core-guided constraints 63609
62.89/63.21 c LP total time 20.8393 s
62.89/63.21 c LP solve time 20.81 s
62.89/63.21 c LP constraints added 26667
62.89/63.21 c LP constraints removed 0
62.89/63.21 c LP pivots internal 25221
62.89/63.21 c LP pivots root 25000
62.89/63.21 c LP calls 7
62.89/63.21 c LP optimalities 1
62.89/63.21 c LP no pivot count 0
62.89/63.21 c LP infeasibilities 1
62.89/63.21 c LP valid Farkas constraints 1
62.89/63.21 c LP learned Farkas constraints 1
62.89/63.21 c LP basis resets 0
62.89/63.21 c LP cycling count 0
62.89/63.21 c LP singular count 0
62.89/63.21 c LP no primal count 0
62.89/63.21 c LP no farkas count 0
62.89/63.21 c LP other issue count 0
62.89/63.21 c LP Gomory cuts 0
62.89/63.21 c LP learned cuts 0
62.89/63.21 c LP deleted cuts 0
62.89/63.21 c LP encountered Gomory constraints 0
62.89/63.21 c LP encountered Farkas constraints 35
62.89/63.21 c LP encountered learned Farkas constraints 60
62.89/63.21 c CG auxiliary variables introduced 970
62.89/63.21 c CG solutions found 91
62.89/63.21 c CG cores constructed 837
62.89/63.21 c CG core cardinality constraints returned 440
62.89/63.21 c CG unit cores 0
62.89/63.21 c CG single cores 837
62.89/63.21 c CG blocks removed during cardinality reduction 0
62.89/63.21 c CG first core best 0
62.89/63.21 c CG decision core best 0
62.89/63.21 c CG core reduction tie 0
62.89/63.21 c CG core degree average 3.10
62.89/63.21 c CG core slack average 10.90
62.89/63.21 c CG core upper bound improvements 0
62.89/63.21 c STR number of successful calls 0
62.89/63.21 c STR number of unsuccessful calls 0
62.89/63.21 c STR number of inconclusive calls 0
62.89/63.21 c STR number of successful attempts 0
62.89/63.21 c STR number of unsuccessful attempts 0
62.89/63.21 c STR number of inconclusive attempts 0
62.89/63.21 c STR average degree increase per successful call inf
62.89/63.21 c STR average degree increase per successful attempt inf
62.89/63.21 c STR total number of conflicts for successful attempts 0
62.89/63.21 c STR total number of conflicts for unsuccessful attempts 0
62.89/63.21 c STR total number of conflicts for inconclusive attempts 0
62.89/63.21 c STR average number of conflicts per successful attempt inf
62.89/63.21 c STR average number of conflicts per unsuccessful attempt inf
62.89/63.21 c STR average number of conflicts per inconclusive attempt inf
62.89/63.21 c AVG.sumWPerc 81.71
62.89/63.21 c bigint constraints 0
62.89/63.21 o 939
62.89/63.21 s OPTIMUM FOUND
62.89/63.21 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 (60782 MiB free)
memory of node 1: 64465 MiB (62380 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4531876-1752584603/watcher-4531876-1752584603 -o /tmp/evaluation-result-4531876-1752584603/solver-4531876-1752584603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1752584602-123264 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531876-1752584603.opb PROOFDIR/proof-4531876-1752584603
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=123319, runsolver pid=123315
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 0.10 0.28 0.22 4/268 123326
/proc/meminfo: memFree=126095520/131250000 swapFree=33010672/33010684
[pid=123319] ppid=123315 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/123319/stat : 123319 (run-opt-ls-log.) S 123315 123319 123252 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 174138960 4292608 768 18446744073709551615 94078741852160 94078742746693 140729300504544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94078742985744 94078743033488 94078766927872 140729300511001 140729300511199 140729300511199 140729300516803 0
/proc/123319/statm: 1048 768 704 219 0 110 0
[pid=123321] ppid=123319 vsize=26596 memory=16484 CPUtime=0.04 cores=1,3
/proc/123321/stat : 123321 (pbsuma) R 123319 123319 123252 0 -1 4194304 4452 0 0 0 4 0 0 0 20 0 1 0 174138962 27234304 4121 18446744073709551615 4210688 4653049 140727556513136 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 4700520 4703148 10375168 140727556520161 140727556520496 140727556520496 140727556526063 0
/proc/123321/statm: 6649 4121 1024 108 0 4057 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 30788 KiB
Current children cumulated memory: 19556 KiB
[startup+0.205179 s]*
/proc/loadavg: 0.10 0.28 0.22 3/269 123329
/proc/meminfo: memFree=126068768/131250000 swapFree=33010672/33010684
[pid=123319] ppid=123315 vsize=4192 memory=3072 CPUtime=0.13 cores=1,3
/proc/123319/stat : 123319 (run-opt-ls-log.) S 123315 123319 123252 0 -1 4194304 242 6478 0 0 0 0 12 1 20 0 1 0 174138960 4292608 768 18446744073709551615 94078741852160 94078742746693 140729300504544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94078742985744 94078743033488 94078766927872 140729300511001 140729300511199 140729300511199 140729300516803 0
/proc/123319/statm: 1048 768 704 219 0 110 0
[pid=123329] ppid=123319 vsize=5936 memory=128 CPUtime=0 cores=1,3
/proc/123329/stat : 123329 (roundingsat) D 123319 123319 123252 0 -1 4456448 44 0 0 0 0 0 0 0 20 0 1 0 174138979 6078464 32 18446744073709551615 4227072 8923577 140727682609568 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 9827200 9836688 23945216 140727682615540 140727682615846 140727682615846 140727682621418 0
/proc/123329/statm: 1484 32 32 1147 0 51 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10128 KiB
Current children cumulated memory: 3200 KiB
[startup+0.305665 s]*
/proc/loadavg: 0.10 0.28 0.22 6/269 123329
/proc/meminfo: memFree=126039120/131250000 swapFree=33010672/33010684
[pid=123319] ppid=123315 vsize=4192 memory=3072 CPUtime=0.13 cores=1,3
/proc/123319/stat : 123319 (run-opt-ls-log.) S 123315 123319 123252 0 -1 4194304 242 6478 0 0 0 0 12 1 20 0 1 0 174138960 4292608 768 18446744073709551615 94078741852160 94078742746693 140729300504544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94078742985744 94078743033488 94078766927872 140729300511001 140729300511199 140729300511199 140729300516803 0
/proc/123319/statm: 1048 768 704 219 0 110 0
[pid=123329] ppid=123319 vsize=64744 memory=20000 CPUtime=0.07 cores=1,3
/proc/123329/stat : 123329 (roundingsat) R 123319 123319 123252 0 -1 4194304 2857 0 0 0 6 1 0 0 20 0 1 0 174138979 66297856 5000 18446744073709551615 4227072 8923577 140727682609568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 23945216 140727682615540 140727682615846 140727682615846 140727682621418 0
/proc/123329/statm: 16186 5000 2048 1147 0 3612 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 68936 KiB
Current children cumulated memory: 23072 KiB
[startup+0.700173 s]
/proc/loadavg: 0.10 0.28 0.22 6/269 123329
/proc/meminfo: memFree=126006356/131250000 swapFree=33010672/33010684
[pid=123319] ppid=123315 vsize=4192 memory=3072 CPUtime=0.13 cores=1,3
/proc/123319/stat : 123319 (run-opt-ls-log.) S 123315 123319 123252 0 -1 4194304 242 6478 0 0 0 0 12 1 20 0 1 0 174138960 4292608 768 18446744073709551615 94078741852160 94078742746693 140729300504544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94078742985744 94078743033488 94078766927872 140729300511001 140729300511199 140729300511199 140729300516803 0
/proc/123319/statm: 1048 768 704 219 0 110 0
[pid=123329] ppid=123319 vsize=105284 memory=60164 CPUtime=0.46 cores=1,3
/proc/123329/stat : 123329 (roundingsat) R 123319 123319 123252 0 -1 4194304 10200 0 0 0 43 3 0 0 20 0 1 0 174138979 107810816 15041 18446744073709551615 4227072 8923577 140727682609568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 23945216 140727682615540 140727682615846 140727682615846 140727682621418 0
/proc/123329/statm: 26321 15041 2368 1147 0 13747 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 109476 KiB
Current children cumulated memory: 63236 KiB
[startup+1.50018 s]
/proc/loadavg: 0.10 0.28 0.22 5/269 123330
/proc/meminfo: memFree=126014224/131250000 swapFree=33010672/33010684
[pid=123319] ppid=123315 vsize=4192 memory=3072 CPUtime=0.13 cores=1,3
/proc/123319/stat : 123319 (run-opt-ls-log.) S 123315 123319 123252 0 -1 4194304 242 6478 0 0 0 0 12 1 20 0 1 0 174138960 4292608 768 18446744073709551615 94078741852160 94078742746693 140729300504544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94078742985744 94078743033488 94078766927872 140729300511001 140729300511199 140729300511199 140729300516803 0
/proc/123319/statm: 1048 768 704 219 0 110 0
[pid=123329] ppid=123319 vsize=130560 memory=84700 CPUtime=1.25 cores=1,3
/proc/123329/stat : 123329 (roundingsat) R 123319 123319 123252 0 -1 4194304 15039 0 0 0 103 22 0 0 20 0 1 0 174138979 133693440 21175 18446744073709551615 4227072 8923577 140727682609568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 23945216 140727682615540 140727682615846 140727682615846 140727682621418 0
/proc/123329/statm: 32640 21175 2400 1147 0 20066 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 134752 KiB
Current children cumulated memory: 87772 KiB
[startup+3.10536 s]
/proc/loadavg: 0.10 0.28 0.22 5/269 123330
/proc/meminfo: memFree=125549708/131250000 swapFree=33010672/33010684
[pid=123319] ppid=123315 vsize=4192 memory=3072 CPUtime=0.13 cores=1,3
/proc/123319/stat : 123319 (run-opt-ls-log.) S 123315 123319 123252 0 -1 4194304 242 6478 0 0 0 0 12 1 20 0 1 0 174138960 4292608 768 18446744073709551615 94078741852160 94078742746693 140729300504544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94078742985744 94078743033488 94078766927872 140729300511001 140729300511199 140729300511199 140729300516803 0
/proc/123319/statm: 1048 768 704 219 0 110 0
[pid=123329] ppid=123319 vsize=175688 memory=131148 CPUtime=2.86 cores=1,3
/proc/123329/stat : 123329 (roundingsat) R 123319 123319 123252 0 -1 4194304 23564 0 0 0 207 79 0 0 20 0 1 0 174138979 179904512 32787 18446744073709551615 4227072 8923577 140727682609568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 23945216 140727682615540 140727682615846 140727682615846 140727682621418 0
/proc/123329/statm: 43922 32787 2432 1147 0 31348 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 179880 KiB
Current children cumulated memory: 134220 KiB
[startup+6.30019 s]
/proc/loadavg: 0.41 0.34 0.24 5/269 123330
/proc/meminfo: memFree=125206580/131250000 swapFree=33010672/33010684
[pid=123319] ppid=123315 vsize=4192 memory=3072 CPUtime=0.13 cores=1,3
/proc/123319/stat : 123319 (run-opt-ls-log.) S 123315 123319 123252 0 -1 4194304 242 6478 0 0 0 0 12 1 20 0 1 0 174138960 4292608 768 18446744073709551615 94078741852160 94078742746693 140729300504544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94078742985744 94078743033488 94078766927872 140729300511001 140729300511199 140729300511199 140729300516803 0
/proc/123319/statm: 1048 768 704 219 0 110 0
[pid=123329] ppid=123319 vsize=334740 memory=269300 CPUtime=6.04 cores=1,3
/proc/123329/stat : 123329 (roundingsat) R 123319 123319 123252 0 -1 4194304 47885 0 0 0 422 182 0 0 20 0 1 0 174138979 342773760 67325 18446744073709551615 4227072 8923577 140727682609568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 23945216 140727682615540 140727682615846 140727682615846 140727682621418 0
/proc/123329/statm: 83685 67325 2432 1147 0 71111 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 338932 KiB
Current children cumulated memory: 272372 KiB
[startup+12.7002 s]
/proc/loadavg: 0.70 0.40 0.26 5/269 123330
/proc/meminfo: memFree=124940204/131250000 swapFree=33010672/33010684
[pid=123319] ppid=123315 vsize=4192 memory=3072 CPUtime=0.13 cores=1,3
/proc/123319/stat : 123319 (run-opt-ls-log.) S 123315 123319 123252 0 -1 4194304 242 6478 0 0 0 0 12 1 20 0 1 0 174138960 4292608 768 18446744073709551615 94078741852160 94078742746693 140729300504544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94078742985744 94078743033488 94078766927872 140729300511001 140729300511199 140729300511199 140729300516803 0
/proc/123319/statm: 1048 768 704 219 0 110 0
[pid=123329] ppid=123319 vsize=411780 memory=326900 CPUtime=12.42 cores=1,3
/proc/123329/stat : 123329 (roundingsat) R 123319 123319 123252 0 -1 4194304 57190 0 0 0 1026 216 0 0 20 0 1 0 174138979 421662720 81725 18446744073709551615 4227072 8923577 140727682609568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 23945216 140727682615540 140727682615846 140727682615846 140727682621418 0
/proc/123329/statm: 102945 81725 2432 1147 0 90371 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 415972 KiB
Current children cumulated memory: 329972 KiB
[startup+25.5002 s]
/proc/loadavg: 1.43 0.58 0.32 5/269 123331
/proc/meminfo: memFree=124613044/131250000 swapFree=33010672/33010684
[pid=123319] ppid=123315 vsize=4192 memory=3072 CPUtime=0.13 cores=1,3
/proc/123319/stat : 123319 (run-opt-ls-log.) S 123315 123319 123252 0 -1 4194304 242 6478 0 0 0 0 12 1 20 0 1 0 174138960 4292608 768 18446744073709551615 94078741852160 94078742746693 140729300504544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94078742985744 94078743033488 94078766927872 140729300511001 140729300511199 140729300511199 140729300516803 0
/proc/123319/statm: 1048 768 704 219 0 110 0
[pid=123329] ppid=123319 vsize=411780 memory=327540 CPUtime=25.18 cores=1,3
/proc/123329/stat : 123329 (roundingsat) R 123319 123319 123252 0 -1 4194304 57365 0 0 0 2273 245 0 0 20 0 1 0 174138979 421662720 81885 18446744073709551615 4227072 8923577 140727682609568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 23945216 140727682615540 140727682615846 140727682615846 140727682621418 0
/proc/123329/statm: 102945 81885 2432 1147 0 90371 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 415972 KiB
Current children cumulated memory: 330612 KiB
[startup+51.1059 s]
/proc/loadavg: 2.39 0.87 0.42 5/272 123334
/proc/meminfo: memFree=123757680/131250000 swapFree=33010672/33010684
[pid=123319] ppid=123315 vsize=4192 memory=3072 CPUtime=0.13 cores=1,3
/proc/123319/stat : 123319 (run-opt-ls-log.) S 123315 123319 123252 0 -1 4194304 242 6478 0 0 0 0 12 1 20 0 1 0 174138960 4292608 768 18446744073709551615 94078741852160 94078742746693 140729300504544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94078742985744 94078743033488 94078766927872 140729300511001 140729300511199 140729300511199 140729300516803 0
/proc/123319/statm: 1048 768 704 219 0 110 0
[pid=123329] ppid=123319 vsize=539848 memory=436596 CPUtime=50.7 cores=1,3
/proc/123329/stat : 123329 (roundingsat) R 123319 123319 123252 0 -1 4194304 84642 0 0 0 4768 302 0 0 20 0 1 0 174138979 552804352 109149 18446744073709551615 4227072 8923577 140727682609568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 23945216 140727682615540 140727682615846 140727682615846 140727682621418 0
/proc/123329/statm: 134962 109149 2432 1147 0 122388 0
Current children cumulated CPU time: 50.83 s
Current children cumulated vsize: 544040 KiB
Current children cumulated memory: 439668 KiB
[startup+66.0625 s]
# the end of solver process 123319 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=59.5686 s, system=3.46669 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 2.39 0.87 0.42 5/272 123334
/proc/meminfo: memFree=123757680/131250000 swapFree=33010672/33010684
[pid=123319] ppid=123315 vsize=4192 memory=3072 CPUtime=0.13 cores=1,3
/proc/123319/stat : 123319 (run-opt-ls-log.) S 123315 123319 123252 0 -1 4194304 242 6478 0 0 0 0 12 1 20 0 1 0 174138960 4292608 768 18446744073709551615 94078741852160 94078742746693 140729300504544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94078742985744 94078743033488 94078766927872 140729300511001 140729300511199 140729300511199 140729300516803 0
/proc/123319/statm: 1048 768 704 219 0 110 0
[pid=123329] ppid=123319 vsize=539848 memory=436596 CPUtime=50.8 cores=1,3
/proc/123329/stat : 123329 (roundingsat) R 123319 123319 123252 0 -1 4194304 84642 0 0 0 4778 302 0 0 20 0 1 0 174138979 552804352 109149 18446744073709551615 4227072 8923577 140727682609568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 23945216 140727682615540 140727682615846 140727682615846 140727682621418 0
/proc/123329/statm: 134962 109149 2432 1147 0 122388 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 544040 KiB
Current children cumulated memory: 439668 KiB
[startup+57.6002 s]
/proc/loadavg: 2.52 0.92 0.44 5/272 123334
/proc/meminfo: memFree=123581128/131250000 swapFree=33010672/33010684
[pid=123319] ppid=123315 vsize=4192 memory=3072 CPUtime=0.13 cores=1,3
/proc/123319/stat : 123319 (run-opt-ls-log.) S 123315 123319 123252 0 -1 4194304 242 6478 0 0 0 0 12 1 20 0 1 0 174138960 4292608 768 18446744073709551615 94078741852160 94078742746693 140729300504544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94078742985744 94078743033488 94078766927872 140729300511001 140729300511199 140729300511199 140729300516803 0
/proc/123319/statm: 1048 768 704 219 0 110 0
[pid=123329] ppid=123319 vsize=708524 memory=545012 CPUtime=57.18 cores=1,3
/proc/123329/stat : 123329 (roundingsat) R 123319 123319 123252 0 -1 4194304 111718 0 0 0 5400 318 0 0 20 0 1 0 174138979 725528576 136253 18446744073709551615 4227072 8923577 140727682609568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 23945216 140727682615540 140727682615846 140727682615846 140727682621418 0
/proc/123329/statm: 177131 136253 2432 1147 0 164557 0
Current children cumulated CPU time: 57.31 s
Current children cumulated vsize: 712716 KiB
Current children cumulated memory: 548084 KiB
[startup+60.8002 s]
/proc/loadavg: 2.64 0.97 0.46 5/272 123335
/proc/meminfo: memFree=123421392/131250000 swapFree=33010672/33010684
[pid=123319] ppid=123315 vsize=4192 memory=3072 CPUtime=0.13 cores=1,3
/proc/123319/stat : 123319 (run-opt-ls-log.) S 123315 123319 123252 0 -1 4194304 242 6478 0 0 0 0 12 1 20 0 1 0 174138960 4292608 768 18446744073709551615 94078741852160 94078742746693 140729300504544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94078742985744 94078743033488 94078766927872 140729300511001 140729300511199 140729300511199 140729300516803 0
/proc/123319/statm: 1048 768 704 219 0 110 0
[pid=123329] ppid=123319 vsize=712308 memory=597212 CPUtime=60.37 cores=1,3
/proc/123329/stat : 123329 (roundingsat) R 123319 123319 123252 0 -1 4194304 118662 0 0 0 5709 328 0 0 20 0 1 0 174138979 729403392 149303 18446744073709551615 4227072 8923577 140727682609568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 23945216 140727682615540 140727682615846 140727682615846 140727682621418 0
/proc/123329/statm: 178077 149303 2432 1147 0 165503 0
Current children cumulated CPU time: 60.5 s
Current children cumulated vsize: 716500 KiB
Current children cumulated memory: 600284 KiB
[startup+64.0001 s]*
/proc/loadavg: 2.75 1.02 0.48 4/272 123335
/proc/meminfo: memFree=123319964/131250000 swapFree=33010672/33010684
[pid=123319] ppid=123315 vsize=4192 memory=3072 CPUtime=0.13 cores=1,3
/proc/123319/stat : 123319 (run-opt-ls-log.) S 123315 123319 123252 0 -1 4194304 242 6478 0 0 0 0 12 1 20 0 1 0 174138960 4292608 768 18446744073709551615 94078741852160 94078742746693 140729300504544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94078742985744 94078743033488 94078766927872 140729300511001 140729300511199 140729300511199 140729300516803 0
/proc/123319/statm: 1048 768 704 219 0 110 0
[pid=123329] ppid=123319 vsize=712636 memory=597596 CPUtime=62.81 cores=1,3
/proc/123329/stat : 123329 (roundingsat) D 123319 123319 123252 0 -1 4194304 118755 0 0 0 5942 339 0 0 20 0 1 0 174138979 729739264 149399 18446744073709551615 4227072 8923577 140727682609568 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9827200 9836688 23945216 140727682615540 140727682615846 140727682615846 140727682621418 0
/proc/123329/statm: 178159 149399 2432 1147 0 165585 0
Current children cumulated CPU time: 62.94 s
Current children cumulated vsize: 716828 KiB
Current children cumulated memory: 600668 KiB
[startup+64.8001 s]
/proc/loadavg: 2.75 1.02 0.48 4/272 123335
/proc/meminfo: memFree=123319964/131250000 swapFree=33010672/33010684
[pid=123319] ppid=123315 vsize=4192 memory=3072 CPUtime=0.13 cores=1,3
/proc/123319/stat : 123319 (run-opt-ls-log.) S 123315 123319 123252 0 -1 4194304 242 6478 0 0 0 0 12 1 20 0 1 0 174138960 4292608 768 18446744073709551615 94078741852160 94078742746693 140729300504544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94078742985744 94078743033488 94078766927872 140729300511001 140729300511199 140729300511199 140729300516803 0
/proc/123319/statm: 1048 768 704 219 0 110 0
[pid=123329] ppid=123319 vsize=712636 memory=597596 CPUtime=62.82 cores=1,3
/proc/123329/stat : 123329 (roundingsat) D 123319 123319 123252 0 -1 4194304 118755 0 0 0 5942 340 0 0 20 0 1 0 174138979 729739264 149399 18446744073709551615 4227072 8923577 140727682609568 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9827200 9836688 23945216 140727682615540 140727682615846 140727682615846 140727682621418 0
/proc/123329/statm: 178159 149399 2432 1147 0 165585 0
Current children cumulated CPU time: 62.95 s
Current children cumulated vsize: 716828 KiB
Current children cumulated memory: 600668 KiB
[startup+65.6002 s]
/proc/loadavg: 2.75 1.02 0.48 4/272 123335
/proc/meminfo: memFree=123303148/131250000 swapFree=33010672/33010684
[pid=123319] ppid=123315 vsize=4192 memory=3072 CPUtime=0.13 cores=1,3
/proc/123319/stat : 123319 (run-opt-ls-log.) S 123315 123319 123252 0 -1 4194304 242 6478 0 0 0 0 12 1 20 0 1 0 174138960 4292608 768 18446744073709551615 94078741852160 94078742746693 140729300504544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94078742985744 94078743033488 94078766927872 140729300511001 140729300511199 140729300511199 140729300516803 0
/proc/123319/statm: 1048 768 704 219 0 110 0
[pid=123329] ppid=123319 vsize=712636 memory=597596 CPUtime=62.82 cores=1,3
/proc/123329/stat : 123329 (roundingsat) D 123319 123319 123252 0 -1 4194304 118755 0 0 0 5942 340 0 0 20 0 1 0 174138979 729739264 149399 18446744073709551615 4227072 8923577 140727682609568 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9827200 9836688 23945216 140727682615540 140727682615846 140727682615846 140727682621418 0
/proc/123329/statm: 178159 149399 2432 1147 0 165585 0
Current children cumulated CPU time: 62.95 s
Current children cumulated vsize: 716828 KiB
Current children cumulated memory: 600668 KiB
[startup+66.0002 s]*
/proc/loadavg: 2.75 1.02 0.48 6/272 123335
/proc/meminfo: memFree=123300040/131250000 swapFree=33010672/33010684
[pid=123319] ppid=123315 vsize=4192 memory=3072 CPUtime=0.13 cores=1,3
/proc/123319/stat : 123319 (run-opt-ls-log.) S 123315 123319 123252 0 -1 4194304 242 6478 0 0 0 0 12 1 20 0 1 0 174138960 4292608 768 18446744073709551615 94078741852160 94078742746693 140729300504544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94078742985744 94078743033488 94078766927872 140729300511001 140729300511199 140729300511199 140729300516803 0
/proc/123319/statm: 1048 768 704 219 0 110 0
[pid=123329] ppid=123319 vsize=712636 memory=597596 CPUtime=62.84 cores=1,3
/proc/123329/stat : 123329 (roundingsat) R 123319 123319 123252 0 -1 4194304 118755 0 0 0 5942 342 0 0 20 0 1 0 174138979 729739264 149399 18446744073709551615 4227072 8923577 140727682609568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 23945216 140727682615540 140727682615846 140727682615846 140727682621418 0
/proc/123329/statm: 178159 149399 2432 1147 0 165585 0
Current children cumulated CPU time: 62.97 s
Current children cumulated vsize: 716828 KiB
Current children cumulated memory: 600668 KiB
Child status: 0
Real time (s): 66.0626
CPU time (s): 63.0353
CPU user time (s): 59.5686
CPU system time (s): 3.46669
CPU usage (%): 95.4175
Max. virtual memory (cumulated for all children) (KiB): 716828
Max. memory (cumulated for all children) (KiB): 600668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 59.5686
system time used= 3.46669
maximum resident set size= 597596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125498
page faults= 0
swaps= 0
block input operations= 0
block output operations= 876616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8630
involuntary context switches= 98
# summary of solver processes directly reported to runsolver:
# pid: 123319
# total CPU time (s): 63.0353
# total CPU user time (s): 59.5686
# total CPU system time (s): 3.46669
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.154792 second user time and 0.324914 second system time
The end
Begin job on nodeC026 at 2025-07-15 15:03:23
IDJOB=4531876
IDBENCH=146652
IDSOLVER=3392
FILE ID=nodeC026/4531876-1752584603
RUNJOBID= nodeC026-1752584602-123264
SLURM_JOB_ID= 9684356
Free space on /tmp= 431356 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4531876-1752584603/watcher-4531876-1752584603 -o /tmp/evaluation-result-4531876-1752584603/solver-4531876-1752584603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1752584602-123264 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531876-1752584603.opb PROOFDIR/proof-4531876-1752584603
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b97b9bf3767749854a32fccedb37d823
RANDOM SEED=1057340159
nodeC026 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.625
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.119
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.59
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.899
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.59
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.772
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.59
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 : 3607.659
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.59
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.830
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.035
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.59
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 : 2420.377
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 126264036 kB
MemAvailable: 129578280 kB
Buffers: 2128 kB
Cached: 3936224 kB
SwapCached: 4 kB
Active: 797508 kB
Inactive: 3262584 kB
Active(anon): 130132 kB
Inactive(anon): 9684 kB
Active(file): 667376 kB
Inactive(file): 3252900 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 26892 kB
Writeback: 0 kB
AnonPages: 125168 kB
Mapped: 106524 kB
Shmem: 18076 kB
KReclaimable: 454768 kB
Slab: 558024 kB
SReclaimable: 454768 kB
SUnreclaim: 103256 kB
KernelStack: 4024 kB
PageTables: 2724 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 434472 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 43008 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431332 MiB
End job on nodeC026 at 2025-07-15 15:04:29