0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4484219-1751284113.opb'
0.00/0.01 c read 0.55MB (8.00ms)
0.00/0.01 c [cnf: #variables 8405 #clauses 10668 #duplicates 0 #arr 51941]
0.00/0.02 c output proof to 'PROOFDIR/proof-4484219-1751284113'
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 2572] (13.01ms)
0.00/0.03 c
0.00/0.03 c detect special group actions
0.00/0.03 c probe for Johnson action (limit=64)
0.00/0.03 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.04 c found row 6x48, generating row predicate
0.00/0.04 c found row 5x48, generating row predicate
0.00/0.04 c found row 3x48, generating row predicate
0.00/0.06 c found row 26x48, generating row predicate
0.00/0.06 c found row 7x48, generating row predicate
0.00/0.06 c found row 3x48, generating row predicate
0.00/0.07 c found row 3x48, generating row predicate
0.00/0.07 c found row 6x48, generating row predicate
0.00/0.07 c found row 6x48, generating row predicate
0.00/0.08 c found row 3x48, generating row predicate
0.00/0.08 c found row 5x48, generating row predicate
0.00/0.09 c found row 12x48, generating row predicate
0.00/0.09 c found row 3x48, generating row predicate
0.00/0.09 c found row 3x48, generating row predicate
0.00/0.09 c found row 3x48, generating row predicate
0.00/0.09 c found row 3x48, generating row predicate
0.00/0.09 c found row 4x48, generating row predicate
0.00/0.10 c found row 4x48, generating row predicate
0.00/0.10 c found row 5x48, generating row predicate
0.00/0.10 c (72.40ms)
0.00/0.10 c
0.00/0.10 c detect symmetries on remainder
0.00/0.10 c [graph: #vertices 47967 #edges 161670]
0.09/0.10 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.09/0.11 c [group: #symmetries 8.35*10^12 #generators 40] (13.71ms)
0.09/0.11 c
0.09/0.11 c optimize generators (opt_passes=64, conjugate_limit=256)
0.09/0.11 c ran it=0, +gens=1
0.09/0.12 c con best_support=56, best_gens=1, +gens=0
0.09/0.12 c (9.30ms)
0.09/0.12 c
0.09/0.12 c finalize break order and special generators
0.09/0.12 c
0.09/0.12 c add generic predicates (break_depth=20)
0.09/0.12 c added predicates for 41 generators (0.08ms)
0.09/0.15 c
0.09/0.15 c generation finished
0.09/0.15 c [sbp: #constraints 15300 #add_vars 5056]
0.09/0.15 c
0.09/0.15 c write result to 'HOME/instance-4484219-1751284113.opb.pre'
0.09/0.15 c wrote 1.12MB (2.63ms)
0.09/0.15 c ------------------------------------------------------------------
0.09/0.15 c 72.40ms 51.04% detect_special
0.09/0.15 c 22.31ms 15.73% other
0.09/0.15 c 13.71ms 9.66% detect_generic
0.09/0.15 c 13.01ms 9.17% approx_orbits
0.09/0.15 c 9.30ms 6.55% optimize_gens
0.09/0.15 c 8.00ms 5.64% parse
0.09/0.15 c 2.63ms 1.86% output
0.09/0.15 c 0.41ms 0.29% finalize_order
0.09/0.15 c 0.08ms 0.06% break_generic
0.09/0.15 c ───────────────────────────────────────────────
0.09/0.15 c 141.85ms 100% total
0.09/0.15 c ------------------------------------------------------------------
0.09/0.17 c RoundingSat 2
0.09/0.17 c branch pb25
0.09/0.17 c commit 63f22ad
0.27/0.34 c #variables 13461 #constraints 26667
0.27/0.34 c objective is ce32
0.46/0.59 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.46/0.59 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.46/0.59 c bounds 21282 >= -3212 @ 0.384763
0.75/0.87 c bounds 21181 >= -3212 @ 0.658469
0.75/0.88 c bounds 21181 >= -2445 @ 0.662325
0.75/0.88 c bounds 21181 >= -2345 @ 0.665492
0.75/0.89 c bounds 21181 >= -2245 @ 0.667745
0.75/0.89 c bounds 21181 >= -2145 @ 0.669013
0.75/0.89 c bounds 21181 >= -2045 @ 0.671279
0.85/0.90 c bounds 21181 >= -2044 @ 0.674554
0.85/0.90 c bounds 21181 >= -2043 @ 0.67685
0.85/0.90 c bounds 21181 >= -2042 @ 0.678112
0.85/0.91 c bounds 21181 >= -2041 @ 0.680388
0.85/0.91 c bounds 21181 >= -2040 @ 0.68359
0.85/0.91 c bounds 21181 >= -2039 @ 0.684865
0.85/0.92 c bounds 21181 >= -2038 @ 0.687085
0.85/0.92 c bounds 21181 >= -2037 @ 0.689412
0.85/0.92 c bounds 21181 >= -2036 @ 0.692016
0.85/0.93 c bounds 21181 >= -2035 @ 0.694414
0.85/0.93 c bounds 21181 >= -2034 @ 0.696671
0.85/0.93 c bounds 21181 >= -2033 @ 0.698915
0.85/0.94 c bounds 21181 >= -2032 @ 0.701163
0.85/0.94 c bounds 21181 >= -2031 @ 0.70349
0.85/0.94 c bounds 21181 >= -2030 @ 0.705795
0.85/0.95 c bounds 21181 >= -2029 @ 0.709167
0.85/0.95 c bounds 21181 >= -2028 @ 0.71252
0.85/0.95 c bounds 21181 >= -2027 @ 0.714881
0.85/0.98 c bounds 21081 >= -2027 @ 0.734125
0.85/0.98 c bounds 21081 >= -1927 @ 0.738617
0.85/0.99 c bounds 21081 >= -1827 @ 0.741703
0.85/0.99 c bounds 21081 >= -1727 @ 0.744828
0.85/1.00 c bounds 21081 >= -1627 @ 0.749939
0.96/1.00 c bounds 21081 >= -1626 @ 0.753033
0.96/1.01 c bounds 21081 >= -1622 @ 0.756431
0.96/1.01 c bounds 21081 >= -1619 @ 0.760784
0.96/1.02 c bounds 21081 >= -1618 @ 0.76412
0.96/1.02 c bounds 21081 >= -1617 @ 0.766436
0.96/1.03 c bounds 21081 >= -1616 @ 0.77069
0.96/1.04 c bounds 21081 >= -1609 @ 0.774965
0.96/1.07 c bounds 21080 >= -1609 @ 0.806097
0.96/1.08 c bounds 21080 >= -1602 @ 0.808081
0.96/1.08 c bounds 21080 >= -1595 @ 0.812398
0.96/1.09 c bounds 21080 >= -1588 @ 0.815706
0.96/1.09 c bounds 21080 >= -1587 @ 0.818035
0.96/1.10 c bounds 21080 >= -1586 @ 0.8223
1.05/1.10 c bounds 21080 >= -1579 @ 0.826809
1.05/1.11 c bounds 21080 >= -1578 @ 0.830148
1.05/1.11 c bounds 21080 >= -1577 @ 0.831378
1.05/1.12 c bounds 21080 >= -1575 @ 0.835597
1.05/1.12 c bounds 21080 >= -1574 @ 0.83836
1.05/1.13 c bounds 21080 >= -1573 @ 0.840702
1.05/1.14 c bounds 21080 >= -1568 @ 0.84506
1.05/1.14 c bounds 21080 >= -1565 @ 0.848308
1.05/1.15 c bounds 21080 >= -1564 @ 0.850576
1.05/1.17 c bounds 20980 >= -1564 @ 0.867255
1.05/1.17 c bounds 20980 >= -1559 @ 0.870088
1.05/1.18 c bounds 20980 >= -1552 @ 0.874611
1.05/1.18 c bounds 20980 >= -1547 @ 0.877088
1.05/1.19 c bounds 20980 >= -1540 @ 0.880382
1.05/1.19 c bounds 20980 >= -1539 @ 0.883591
1.15/1.20 c bounds 20980 >= -1538 @ 0.886952
1.15/1.21 c bounds 20980 >= -1537 @ 0.891198
1.15/1.21 c bounds 20980 >= -1536 @ 0.893455
1.15/1.22 c bounds 20980 >= -1531 @ 0.895855
1.15/1.22 c bounds 20980 >= -1526 @ 0.898171
1.15/1.23 c bounds 20980 >= -1519 @ 0.901605
1.15/1.23 c bounds 20980 >= -1518 @ 0.904959
1.15/1.24 c bounds 20980 >= -1516 @ 0.909193
1.15/1.27 c bounds 20979 >= -1516 @ 0.937798
1.15/1.28 c bounds 20979 >= -1513 @ 0.940785
1.15/1.28 c bounds 20979 >= -1510 @ 0.944083
1.15/1.29 c bounds 20979 >= -1509 @ 0.947306
1.15/1.29 c bounds 20979 >= -1504 @ 0.951581
1.25/1.30 c bounds 20979 >= -1503 @ 0.954831
1.25/1.30 c bounds 20979 >= -1501 @ 0.957118
1.25/1.31 c bounds 20979 >= -1494 @ 0.960282
1.25/1.31 c bounds 20979 >= -1493 @ 0.962499
1.25/1.32 c bounds 20979 >= -1490 @ 0.964875
1.25/1.32 c bounds 20979 >= -1489 @ 0.966108
1.25/1.33 c bounds 20979 >= -1485 @ 0.970343
1.25/1.34 c bounds 20979 >= -1480 @ 0.97173
1.25/1.34 c bounds 20979 >= -1476 @ 0.974992
1.25/1.35 c bounds 20979 >= -1475 @ 0.979149
1.25/1.35 c bounds 20979 >= -1473 @ 0.981411
1.25/1.36 c bounds 20979 >= -1472 @ 0.985638
1.25/1.36 c bounds 20979 >= -1468 @ 0.989844
1.25/1.37 c bounds 20979 >= -1466 @ 0.992162
1.25/1.37 c bounds 20979 >= -1465 @ 0.995377
1.25/1.38 c bounds 20979 >= -1460 @ 0.998625
1.35/1.42 c bounds 20978 >= -1460 @ 1.03272
1.35/1.42 c bounds 20978 >= -1458 @ 1.03748
1.35/1.43 c bounds 20978 >= -1457 @ 1.04179
1.35/1.43 c bounds 20978 >= -1451 @ 1.04601
1.35/1.44 c bounds 20978 >= -1450 @ 1.04948
1.35/1.44 c bounds 20978 >= -1445 @ 1.05271
1.35/1.45 c bounds 20978 >= -1438 @ 1.05589
1.35/1.45 c bounds 20978 >= -1437 @ 1.05918
1.35/1.46 c bounds 20978 >= -1432 @ 1.06244
1.35/1.46 c bounds 20978 >= -1427 @ 1.06671
1.35/1.47 c bounds 20978 >= -1426 @ 1.07095
1.35/1.47 c bounds 20978 >= -1419 @ 1.07543
1.35/1.48 c bounds 20978 >= -1412 @ 1.07793
1.35/1.48 c bounds 20978 >= -1407 @ 1.08022
1.35/1.49 c bounds 20978 >= -1406 @ 1.08349
1.35/1.50 c bounds 20978 >= -1405 @ 1.08668
1.45/1.50 c bounds 20978 >= -1404 @ 1.08989
1.45/1.51 c bounds 20978 >= -1403 @ 1.09307
1.45/1.51 c bounds 20978 >= -1396 @ 1.09754
1.45/1.52 c bounds 20978 >= -1395 @ 1.09981
1.45/1.52 c bounds 20978 >= -1394 @ 1.10197
1.45/1.53 c bounds 20978 >= -1387 @ 1.10451
1.45/1.53 c bounds 20978 >= -1386 @ 1.10761
1.45/1.54 c bounds 20978 >= -1379 @ 1.11092
1.45/1.59 c bounds 20878 >= -1379 @ 1.15663
1.55/1.60 c bounds 20878 >= -1378 @ 1.1604
1.55/1.60 c bounds 20878 >= -1377 @ 1.16357
1.55/1.61 c bounds 20878 >= -1376 @ 1.16587
1.55/1.61 c bounds 20878 >= -1375 @ 1.16929
1.55/1.62 c bounds 20878 >= -1374 @ 1.17147
1.55/1.62 c bounds 20878 >= -1373 @ 1.17561
1.55/1.63 c bounds 20878 >= -1372 @ 1.17795
1.55/1.63 c bounds 20878 >= -1366 @ 1.18137
1.55/1.64 c bounds 20878 >= -1362 @ 1.18355
1.55/1.64 c bounds 20878 >= -1359 @ 1.18776
1.55/1.65 c bounds 20878 >= -1358 @ 1.19118
1.55/1.66 c bounds 20878 >= -1357 @ 1.19437
1.55/1.66 c bounds 20878 >= -1350 @ 1.19752
1.55/1.67 c bounds 20878 >= -1343 @ 1.2021
1.55/1.67 c bounds 20878 >= -1340 @ 1.20626
1.55/1.68 c bounds 20878 >= -1333 @ 1.20875
1.55/1.68 c bounds 20878 >= -1330 @ 1.21112
1.55/1.69 c bounds 20878 >= -1323 @ 1.21455
1.55/1.69 c bounds 20878 >= -1320 @ 1.21708
1.65/1.70 c bounds 20878 >= -1314 @ 1.22126
1.65/1.70 c bounds 20878 >= -1307 @ 1.22422
1.65/1.71 c bounds 20878 >= -1302 @ 1.22747
1.65/1.72 c bounds 20878 >= -1297 @ 1.23058
1.65/1.72 c bounds 20878 >= -1296 @ 1.23322
1.65/1.73 c bounds 20878 >= -1295 @ 1.23739
1.65/1.73 c bounds 20878 >= -1292 @ 1.24054
1.65/1.74 c bounds 20878 >= -1290 @ 1.24375
1.74/1.81 c bounds 20778 >= -1290 @ 1.30807
1.74/1.81 c bounds 20778 >= -1288 @ 1.31185
1.74/1.82 c bounds 20778 >= -1286 @ 1.31418
1.74/1.82 c bounds 20778 >= -1284 @ 1.31588
1.74/1.83 c bounds 20778 >= -1282 @ 1.31813
1.74/1.83 c bounds 20778 >= -1281 @ 1.32136
1.74/1.84 c bounds 20778 >= -1280 @ 1.32459
1.74/1.84 c bounds 20778 >= -1275 @ 1.32785
1.74/1.85 c bounds 20778 >= -1274 @ 1.33109
1.74/1.86 c bounds 20778 >= -1267 @ 1.33458
1.74/1.86 c bounds 20778 >= -1264 @ 1.33778
1.74/1.87 c bounds 20778 >= -1263 @ 1.34001
1.74/1.87 c bounds 20778 >= -1256 @ 1.34358
1.74/1.88 c bounds 20778 >= -1254 @ 1.34578
1.74/1.88 c bounds 20778 >= -1253 @ 1.34994
1.74/1.89 c bounds 20778 >= -1247 @ 1.35318
1.74/1.89 c bounds 20778 >= -1246 @ 1.35664
1.84/1.90 c bounds 20778 >= -1244 @ 1.35983
1.84/1.90 c bounds 20778 >= -1243 @ 1.36205
1.84/1.91 c bounds 20778 >= -1239 @ 1.36553
1.84/1.91 c bounds 20778 >= -1236 @ 1.36868
1.84/1.92 c bounds 20778 >= -1233 @ 1.36994
1.84/1.92 c bounds 20778 >= -1227 @ 1.37223
1.84/1.93 c bounds 20778 >= -1224 @ 1.37548
1.84/1.93 c bounds 20778 >= -1217 @ 1.37792
1.84/1.94 c bounds 20778 >= -1211 @ 1.38113
1.84/1.95 c bounds 20778 >= -1209 @ 1.38533
1.84/1.95 c bounds 20778 >= -1204 @ 1.38871
1.84/1.96 c bounds 20778 >= -1202 @ 1.39185
1.84/1.96 c bounds 20778 >= -1201 @ 1.39502
1.84/1.97 c bounds 20778 >= -1200 @ 1.39644
1.84/1.97 c bounds 20778 >= -1199 @ 1.39863
1.84/1.98 c bounds 20778 >= -1193 @ 1.40081
1.84/1.98 c bounds 20778 >= -1192 @ 1.40293
1.84/1.99 c bounds 20778 >= -1188 @ 1.40536
1.84/1.99 c bounds 20778 >= -1185 @ 1.40954
1.84/2.00 c bounds 20778 >= -1178 @ 1.4118
1.95/2.00 c bounds 20778 >= -1177 @ 1.41504
1.95/2.01 c bounds 20778 >= -1170 @ 1.41851
1.95/2.01 c bounds 20778 >= -1164 @ 1.42067
1.95/2.02 c bounds 20778 >= -1161 @ 1.42285
1.95/2.02 c bounds 20778 >= -1158 @ 1.42712
1.95/2.03 c bounds 20778 >= -1155 @ 1.43041
1.95/2.03 c bounds 20778 >= -1151 @ 1.43372
1.95/2.04 c bounds 20778 >= -1150 @ 1.43686
1.95/2.05 c bounds 20778 >= -1143 @ 1.44122
1.95/2.05 c bounds 20778 >= -1138 @ 1.44457
1.95/2.06 c bounds 20778 >= -1131 @ 1.44793
1.95/2.06 c bounds 20778 >= -1124 @ 1.45317
1.95/2.07 c bounds 20778 >= -1119 @ 1.45651
1.95/2.07 c bounds 20778 >= -1112 @ 1.45969
1.95/2.08 c bounds 20778 >= -1106 @ 1.46191
1.95/2.08 c bounds 20778 >= -1105 @ 1.46631
1.95/2.09 c bounds 20778 >= -1098 @ 1.47134
1.95/2.09 c bounds 20778 >= -1097 @ 1.47463
2.05/2.17 c bounds 20777 >= -1097 @ 1.54272
2.05/2.18 c bounds 20777 >= -1089 @ 1.54552
2.05/2.18 c bounds 20777 >= -1082 @ 1.54882
2.05/2.19 c bounds 20777 >= -1077 @ 1.55211
2.05/2.19 c bounds 20777 >= -1076 @ 1.55732
2.15/2.20 c bounds 20777 >= -1074 @ 1.56063
2.15/2.20 c bounds 20777 >= -1071 @ 1.56391
2.15/2.21 c bounds 20777 >= -1068 @ 1.56809
2.15/2.21 c bounds 20777 >= -1064 @ 1.57041
2.15/2.22 c bounds 20777 >= -1060 @ 1.57565
2.15/2.22 c bounds 20777 >= -1053 @ 1.57889
2.15/2.23 c bounds 20777 >= -1045 @ 1.5832
2.15/2.23 c bounds 20777 >= -1038 @ 1.58646
2.15/2.24 c bounds 20777 >= -1033 @ 1.58965
2.15/2.25 c bounds 20777 >= -1032 @ 1.59303
2.15/2.25 c bounds 20777 >= -1025 @ 1.59612
2.15/2.26 c bounds 20777 >= -1024 @ 1.5993
2.15/2.26 c bounds 20777 >= -1023 @ 1.6026
2.15/2.27 c bounds 20777 >= -1022 @ 1.60593
2.15/2.27 c bounds 20777 >= -1021 @ 1.60915
2.15/2.28 c bounds 20777 >= -1016 @ 1.61145
2.15/2.28 c bounds 20777 >= -1015 @ 1.61584
2.15/2.29 c bounds 20777 >= -1014 @ 1.61805
2.15/2.29 c bounds 20777 >= -1013 @ 1.6202
2.25/2.30 c bounds 20777 >= -1012 @ 1.62436
2.25/2.30 c bounds 20777 >= -1011 @ 1.62955
2.25/2.31 c bounds 20777 >= -1010 @ 1.63415
2.25/2.31 c bounds 20777 >= -1009 @ 1.6364
2.25/2.32 c bounds 20777 >= -1008 @ 1.63776
2.25/2.32 c bounds 20777 >= -1007 @ 1.64097
2.25/2.33 c bounds 20777 >= -1006 @ 1.64401
2.25/2.33 c bounds 20777 >= -1005 @ 1.64717
2.25/2.34 c bounds 20777 >= -1004 @ 1.65238
2.25/2.35 c bounds 20777 >= -1003 @ 1.65479
2.25/2.35 c bounds 20777 >= -998 @ 1.65798
2.25/2.36 c bounds 20777 >= -997 @ 1.66114
2.25/2.36 c bounds 20777 >= -994 @ 1.66529
2.25/2.37 c bounds 20777 >= -990 @ 1.66772
2.25/2.37 c bounds 20777 >= -986 @ 1.67172
2.25/2.38 c bounds 20777 >= -985 @ 1.67396
2.25/2.38 c bounds 20777 >= -981 @ 1.67715
2.25/2.39 c bounds 20777 >= -978 @ 1.67942
2.25/2.39 c bounds 20777 >= -977 @ 1.6836
2.34/2.40 c bounds 20777 >= -976 @ 1.68776
2.34/2.40 c bounds 20777 >= -975 @ 1.69103
2.34/2.41 c bounds 20777 >= -969 @ 1.69422
2.34/2.41 c bounds 20777 >= -966 @ 1.69766
2.34/2.42 c bounds 20777 >= -965 @ 1.7008
2.34/2.42 c bounds 20777 >= -960 @ 1.70397
2.34/2.43 c bounds 20777 >= -959 @ 1.70804
2.34/2.43 c bounds 20777 >= -954 @ 1.71036
2.34/2.44 c bounds 20777 >= -949 @ 1.7136
2.34/2.44 c bounds 20777 >= -948 @ 1.71874
2.34/2.45 c bounds 20777 >= -947 @ 1.72202
2.34/2.45 c bounds 20777 >= -946 @ 1.72424
2.34/2.46 c bounds 20777 >= -945 @ 1.72736
2.45/2.52 c bounds 20776 >= -945 @ 1.78444
2.45/2.53 c bounds 20776 >= -944 @ 1.78702
2.45/2.53 c bounds 20776 >= -943 @ 1.78839
2.45/2.54 c bounds 20776 >= -942 @ 1.79058
2.45/2.54 c bounds 20776 >= -941 @ 1.7937
2.45/2.55 c bounds 20776 >= -940 @ 1.79796
2.45/2.55 c bounds 20776 >= -939 @ 1.80213
2.45/2.56 c bounds 20776 >= -938 @ 1.80542
2.45/2.56 c bounds 20776 >= -934 @ 1.80882
2.45/2.57 c bounds 20776 >= -933 @ 1.81305
2.45/2.58 c bounds 20776 >= -929 @ 1.81751
2.45/2.58 c bounds 20776 >= -924 @ 1.82182
2.45/2.59 c bounds 20776 >= -919 @ 1.82435
2.45/2.59 c bounds 20776 >= -916 @ 1.82661
2.54/2.60 c bounds 20776 >= -910 @ 1.82891
2.54/2.60 c bounds 20776 >= -907 @ 1.83144
2.54/2.61 c bounds 20776 >= -902 @ 1.83358
2.54/2.61 c bounds 20776 >= -899 @ 1.83728
2.54/2.62 c bounds 20776 >= -895 @ 1.8397
2.54/2.62 c bounds 20776 >= -890 @ 1.84286
2.54/2.63 c bounds 20776 >= -887 @ 1.84635
2.54/2.63 c bounds 20776 >= -882 @ 1.84938
2.54/2.64 c bounds 20776 >= -878 @ 1.85363
2.54/2.64 c bounds 20776 >= -874 @ 1.85874
2.54/2.65 c bounds 20776 >= -871 @ 1.86096
2.54/2.66 c bounds 20776 >= -867 @ 1.86426
2.54/2.66 c bounds 20776 >= -862 @ 1.86645
2.54/2.67 c bounds 20776 >= -857 @ 1.86954
2.54/2.67 c bounds 20776 >= -853 @ 1.87178
2.54/2.68 c bounds 20776 >= -848 @ 1.87494
2.54/2.68 c bounds 20776 >= -845 @ 1.87734
2.54/2.69 c bounds 20776 >= -842 @ 1.8795
2.54/2.69 c bounds 20776 >= -837 @ 1.88272
2.65/2.70 c bounds 20776 >= -833 @ 1.88496
2.65/2.70 c bounds 20776 >= -830 @ 1.88842
2.65/2.71 c bounds 20776 >= -824 @ 1.89171
2.65/2.71 c bounds 20776 >= -822 @ 1.89418
2.65/2.72 c bounds 20776 >= -821 @ 1.89636
2.65/2.72 c bounds 20776 >= -816 @ 1.89843
2.65/2.73 c bounds 20776 >= -813 @ 1.9017
2.65/2.73 c bounds 20776 >= -811 @ 1.90388
2.65/2.74 c bounds 20776 >= -809 @ 1.90622
2.65/2.74 c bounds 20776 >= -804 @ 1.90923
2.65/2.75 c bounds 20776 >= -802 @ 1.91151
2.65/2.75 c bounds 20776 >= -799 @ 1.9146
2.65/2.76 c bounds 20776 >= -797 @ 1.91876
2.65/2.77 c bounds 20776 >= -793 @ 1.92287
2.65/2.77 c bounds 20776 >= -789 @ 1.92604
2.65/2.78 c bounds 20776 >= -785 @ 1.92932
2.75/2.84 c bounds 20775 >= -785 @ 1.9883
2.75/2.85 c bounds 20775 >= -780 @ 1.9901
2.75/2.85 c bounds 20775 >= -778 @ 1.99226
2.75/2.86 c bounds 20775 >= -775 @ 1.99542
2.75/2.86 c bounds 20775 >= -772 @ 1.99954
2.75/2.87 c bounds 20775 >= -769 @ 2.00193
2.75/2.87 c bounds 20775 >= -765 @ 2.0041
2.75/2.88 c bounds 20775 >= -761 @ 2.00719
2.75/2.88 c bounds 20775 >= -756 @ 2.00933
2.75/2.89 c bounds 20775 >= -752 @ 2.01158
2.75/2.90 c bounds 20775 >= -750 @ 2.01489
2.84/2.90 c bounds 20775 >= -747 @ 2.01705
2.84/2.91 c bounds 20775 >= -745 @ 2.02016
2.84/2.91 c bounds 20775 >= -743 @ 2.02237
2.84/2.92 c bounds 20775 >= -741 @ 2.02558
2.84/2.92 c bounds 20775 >= -738 @ 2.02799
2.84/2.93 c bounds 20775 >= -736 @ 2.03215
2.84/2.93 c bounds 20775 >= -733 @ 2.03435
2.84/2.94 c bounds 20775 >= -729 @ 2.03659
2.84/2.94 c bounds 20775 >= -726 @ 2.03892
2.84/2.95 c bounds 20775 >= -723 @ 2.04199
2.84/2.95 c bounds 20775 >= -721 @ 2.0442
2.84/2.96 c bounds 20775 >= -720 @ 2.04634
2.84/2.96 c bounds 20775 >= -719 @ 2.04846
2.84/2.97 c bounds 20775 >= -718 @ 2.05055
2.84/2.97 c bounds 20775 >= -717 @ 2.05386
2.84/2.98 c bounds 20775 >= -716 @ 2.05891
2.84/2.98 c bounds 20775 >= -715 @ 2.06112
2.84/2.99 c bounds 20775 >= -714 @ 2.06613
2.84/2.99 c bounds 20775 >= -712 @ 2.06925
2.84/3.00 c bounds 20775 >= -711 @ 2.07149
2.95/3.00 c bounds 20775 >= -710 @ 2.07387
2.95/3.01 c bounds 20775 >= -709 @ 2.07694
2.95/3.01 c bounds 20775 >= -708 @ 2.07915
2.95/3.02 c bounds 20775 >= -707 @ 2.08127
2.95/3.03 c bounds 20775 >= -706 @ 2.08441
2.95/3.03 c bounds 20775 >= -705 @ 2.08579
2.95/3.04 c bounds 20775 >= -704 @ 2.08886
2.95/3.04 c bounds 20775 >= -703 @ 2.0919
2.95/3.05 c bounds 20775 >= -702 @ 2.09405
2.95/3.05 c bounds 20775 >= -700 @ 2.09722
2.95/3.06 c bounds 20775 >= -698 @ 2.09937
2.95/3.06 c bounds 20775 >= -697 @ 2.10174
2.95/3.07 c bounds 20775 >= -695 @ 2.10382
2.95/3.07 c bounds 20775 >= -692 @ 2.10794
2.95/3.08 c bounds 20775 >= -691 @ 2.11209
2.95/3.08 c bounds 20775 >= -689 @ 2.11632
2.95/3.09 c bounds 20775 >= -687 @ 2.11967
2.95/3.09 c bounds 20775 >= -686 @ 2.1228
2.95/3.10 c bounds 20775 >= -684 @ 2.12495
3.05/3.10 c bounds 20775 >= -683 @ 2.12763
3.05/3.11 c bounds 20775 >= -681 @ 2.13177
3.05/3.11 c bounds 20775 >= -679 @ 2.13581
3.05/3.12 c bounds 20775 >= -677 @ 2.13801
3.05/3.12 c bounds 20775 >= -676 @ 2.14118
3.05/3.13 c bounds 20775 >= -675 @ 2.14357
3.05/3.13 c bounds 20775 >= -671 @ 2.14847
3.05/3.14 c bounds 20775 >= -670 @ 2.15262
3.05/3.14 c bounds 20775 >= -669 @ 2.15488
3.05/3.15 c bounds 20775 >= -668 @ 2.15799
3.05/3.15 c bounds 20775 >= -667 @ 2.16108
3.15/3.22 c bounds 20675 >= -667 @ 2.22772
3.15/3.23 c bounds 20675 >= -666 @ 2.23059
3.15/3.23 c bounds 20675 >= -665 @ 2.23371
3.15/3.24 c bounds 20675 >= -664 @ 2.23777
3.15/3.24 c bounds 20675 >= -663 @ 2.24
3.15/3.25 c bounds 20675 >= -662 @ 2.24332
3.15/3.25 c bounds 20675 >= -661 @ 2.24647
3.15/3.26 c bounds 20675 >= -658 @ 2.24949
3.15/3.26 c bounds 20675 >= -657 @ 2.25267
3.15/3.27 c bounds 20675 >= -655 @ 2.25582
3.15/3.27 c bounds 20675 >= -654 @ 2.25902
3.15/3.28 c bounds 20675 >= -653 @ 2.26131
3.15/3.28 c bounds 20675 >= -652 @ 2.26347
3.15/3.29 c bounds 20675 >= -651 @ 2.26663
3.15/3.29 c bounds 20675 >= -650 @ 2.26871
3.25/3.30 c bounds 20675 >= -649 @ 2.27184
3.25/3.31 c bounds 20675 >= -648 @ 2.27523
3.25/3.31 c bounds 20675 >= -647 @ 2.27833
3.25/3.32 c bounds 20675 >= -646 @ 2.28136
3.25/3.32 c bounds 20675 >= -645 @ 2.28462
3.25/3.33 c bounds 20675 >= -644 @ 2.28672
3.25/3.33 c bounds 20675 >= -643 @ 2.29088
3.25/3.34 c bounds 20675 >= -642 @ 2.29502
3.25/3.34 c bounds 20675 >= -641 @ 2.29833
3.25/3.35 c bounds 20675 >= -640 @ 2.30042
3.25/3.35 c bounds 20675 >= -639 @ 2.30365
3.25/3.36 c bounds 20675 >= -638 @ 2.30685
3.25/3.36 c bounds 20675 >= -637 @ 2.30924
3.25/3.37 c bounds 20675 >= -636 @ 2.31317
3.25/3.37 c bounds 20675 >= -635 @ 2.31633
3.25/3.38 c bounds 20675 >= -634 @ 2.32054
3.25/3.38 c bounds 20675 >= -633 @ 2.32477
3.25/3.39 c bounds 20675 >= -632 @ 2.32711
3.25/3.39 c bounds 20675 >= -631 @ 2.32927
3.35/3.40 c bounds 20675 >= -630 @ 2.33124
3.35/3.40 c bounds 20675 >= -629 @ 2.33311
3.35/3.41 c bounds 20675 >= -628 @ 2.33632
3.35/3.41 c bounds 20675 >= -627 @ 2.34037
3.35/3.42 c bounds 20675 >= -626 @ 2.3436
3.35/3.42 c bounds 20675 >= -625 @ 2.34777
3.35/3.43 c bounds 20675 >= -624 @ 2.35087
3.35/3.44 c bounds 20675 >= -623 @ 2.35322
3.35/3.44 c bounds 20675 >= -622 @ 2.35725
3.35/3.45 c bounds 20675 >= -621 @ 2.35943
3.35/3.45 c bounds 20675 >= -620 @ 2.36267
3.35/3.46 c bounds 20675 >= -619 @ 2.36477
3.35/3.46 c bounds 20675 >= -618 @ 2.368
3.35/3.47 c bounds 20675 >= -617 @ 2.37112
3.35/3.47 c bounds 20675 >= -616 @ 2.3753
3.35/3.48 c bounds 20675 >= -615 @ 2.37752
3.35/3.48 c bounds 20675 >= -614 @ 2.37964
3.35/3.49 c bounds 20675 >= -613 @ 2.383
3.35/3.49 c bounds 20675 >= -612 @ 2.38511
3.44/3.50 c bounds 20675 >= -611 @ 2.38907
3.44/3.50 c bounds 20675 >= -610 @ 2.39324
3.44/3.51 c bounds 20675 >= -609 @ 2.39736
3.44/3.59 c bounds 20674 >= -609 @ 2.47339
3.54/3.60 c bounds 20674 >= -608 @ 2.47714
3.54/3.61 c bounds 20674 >= -607 @ 2.48032
3.54/3.61 c bounds 20674 >= -606 @ 2.48381
3.54/3.62 c bounds 20674 >= -605 @ 2.4859
3.54/3.62 c bounds 20674 >= -604 @ 2.48908
3.54/3.63 c bounds 20674 >= -603 @ 2.49228
3.54/3.63 c bounds 20674 >= -602 @ 2.49471
3.54/3.64 c bounds 20674 >= -601 @ 2.49786
3.54/3.64 c bounds 20674 >= -600 @ 2.5009
3.54/3.65 c bounds 20674 >= -599 @ 2.50408
3.54/3.65 c bounds 20674 >= -598 @ 2.50733
3.54/3.66 c bounds 20674 >= -597 @ 2.50967
3.54/3.66 c bounds 20674 >= -596 @ 2.51181
3.54/3.67 c bounds 20674 >= -595 @ 2.51389
3.54/3.67 c bounds 20674 >= -594 @ 2.51613
3.54/3.68 c bounds 20674 >= -592 @ 2.51836
3.54/3.68 c bounds 20674 >= -591 @ 2.52254
3.54/3.69 c bounds 20674 >= -587 @ 2.52583
3.54/3.69 c bounds 20674 >= -584 @ 2.52802
3.65/3.70 c bounds 20674 >= -582 @ 2.53014
3.65/3.70 c bounds 20674 >= -580 @ 2.53333
3.65/3.71 c bounds 20674 >= -577 @ 2.53673
3.65/3.72 c bounds 20674 >= -575 @ 2.53967
3.65/3.72 c bounds 20674 >= -572 @ 2.54298
3.65/3.73 c bounds 20674 >= -564 @ 2.54472
3.65/3.73 c bounds 20674 >= -562 @ 2.54679
3.65/3.74 c bounds 20674 >= -561 @ 2.54998
3.65/3.74 c bounds 20674 >= -552 @ 2.5541
3.65/3.75 c bounds 20674 >= -551 @ 2.55727
3.65/3.75 c bounds 20674 >= -547 @ 2.55869
3.65/3.76 c bounds 20674 >= -546 @ 2.56372
3.65/3.76 c bounds 20674 >= -538 @ 2.56699
3.65/3.77 c bounds 20674 >= -530 @ 2.57021
3.65/3.77 c bounds 20674 >= -524 @ 2.57255
3.65/3.78 c bounds 20674 >= -513 @ 2.57566
3.65/3.78 c bounds 20674 >= -509 @ 2.57872
3.65/3.79 c bounds 20674 >= -506 @ 2.58084
3.65/3.79 c bounds 20674 >= -501 @ 2.58394
3.74/3.80 c bounds 20674 >= -498 @ 2.58702
3.74/3.80 c bounds 20674 >= -494 @ 2.59137
3.74/3.81 c bounds 20674 >= -491 @ 2.59435
3.74/3.81 c bounds 20674 >= -488 @ 2.59856
3.74/3.82 c bounds 20674 >= -484 @ 2.60072
3.74/3.82 c bounds 20674 >= -482 @ 2.60285
3.74/3.83 c bounds 20674 >= -475 @ 2.60706
3.74/3.84 c bounds 20674 >= -471 @ 2.61035
3.74/3.84 c bounds 20674 >= -463 @ 2.61335
3.74/3.85 c bounds 20674 >= -458 @ 2.61535
3.74/3.85 c bounds 20674 >= -457 @ 2.61849
3.74/3.86 c bounds 20674 >= -451 @ 2.62052
3.74/3.86 c bounds 20674 >= -447 @ 2.62351
3.74/3.87 c bounds 20674 >= -442 @ 2.6255
3.74/3.87 c bounds 20674 >= -438 @ 2.6287
3.74/3.88 c bounds 20674 >= -431 @ 2.63288
3.74/3.88 c bounds 20674 >= -430 @ 2.63521
3.84/3.98 c bounds 20574 >= -430 @ 2.73179
3.84/3.99 c bounds 20574 >= -424 @ 2.73561
3.84/3.99 c bounds 20574 >= -419 @ 2.73801
3.84/4.00 c bounds 20574 >= -407 @ 2.74109
3.95/4.00 c bounds 20574 >= -402 @ 2.74344
3.95/4.01 c bounds 20574 >= -399 @ 2.74559
3.95/4.01 c bounds 20574 >= -398 @ 2.74796
3.95/4.02 c bounds 20574 >= -394 @ 2.75138
3.95/4.03 c bounds 20574 >= -390 @ 2.75361
3.95/4.03 c bounds 20574 >= -386 @ 2.75694
3.95/4.04 c bounds 20574 >= -385 @ 2.76191
3.95/4.04 c bounds 20574 >= -378 @ 2.76523
3.95/4.05 c bounds 20574 >= -377 @ 2.7683
3.95/4.05 c bounds 20574 >= -366 @ 2.77144
3.95/4.06 c bounds 20574 >= -360 @ 2.77386
3.95/4.06 c bounds 20574 >= -358 @ 2.77594
3.95/4.07 c bounds 20574 >= -356 @ 2.77902
3.95/4.07 c bounds 20574 >= -352 @ 2.78311
3.95/4.08 c bounds 20574 >= -349 @ 2.78626
3.95/4.08 c bounds 20574 >= -345 @ 2.78845
3.95/4.09 c bounds 20574 >= -342 @ 2.79183
3.95/4.09 c bounds 20574 >= -341 @ 2.79389
3.95/4.10 c bounds 20574 >= -334 @ 2.79792
4.05/4.10 c bounds 20574 >= -330 @ 2.80116
4.05/4.11 c bounds 20574 >= -325 @ 2.80521
4.05/4.11 c bounds 20574 >= -322 @ 2.80746
4.05/4.12 c bounds 20574 >= -317 @ 2.81077
4.05/4.12 c bounds 20574 >= -310 @ 2.81475
4.05/4.13 c bounds 20574 >= -305 @ 2.81905
4.05/4.13 c bounds 20574 >= -301 @ 2.82311
4.05/4.14 c bounds 20574 >= -294 @ 2.82626
4.05/4.14 c bounds 20574 >= -285 @ 2.82737
4.05/4.15 c bounds 20574 >= -277 @ 2.83077
4.05/4.15 c bounds 20574 >= -265 @ 2.83482
4.05/4.16 c bounds 20574 >= -261 @ 2.83802
4.05/4.16 c bounds 20574 >= -254 @ 2.84311
4.05/4.17 c bounds 20574 >= -251 @ 2.84616
4.05/4.17 c bounds 20574 >= -247 @ 2.85031
4.05/4.18 c bounds 20574 >= -244 @ 2.85347
4.05/4.19 c bounds 20574 >= -234 @ 2.85681
4.05/4.19 c bounds 20574 >= -230 @ 2.8599
4.14/4.20 c bounds 20574 >= -223 @ 2.86205
4.14/4.20 c bounds 20574 >= -213 @ 2.86509
4.14/4.21 c bounds 20574 >= -206 @ 2.86724
4.14/4.21 c bounds 20574 >= -203 @ 2.87041
4.14/4.22 c bounds 20574 >= -196 @ 2.87399
4.14/4.22 c bounds 20574 >= -192 @ 2.87716
4.14/4.23 c bounds 20574 >= -181 @ 2.88059
4.14/4.23 c bounds 20574 >= -173 @ 2.88373
4.14/4.24 c bounds 20574 >= -170 @ 2.88658
4.14/4.24 c bounds 20574 >= -166 @ 2.89188
4.14/4.25 c bounds 20574 >= -165 @ 2.89506
4.14/4.25 c bounds 20574 >= -164 @ 2.8957
4.14/4.26 c bounds 20574 >= -152 @ 2.89783
4.14/4.26 c bounds 20574 >= -145 @ 2.90105
4.14/4.27 c bounds 20574 >= -139 @ 2.90618
4.14/4.28 c bounds 20574 >= -138 @ 2.90928
4.14/4.28 c bounds 20574 >= -131 @ 2.91357
4.14/4.29 c bounds 20574 >= -122 @ 2.91657
4.14/4.29 c bounds 20574 >= -112 @ 2.91867
4.24/4.30 c bounds 20574 >= -102 @ 2.92195
4.24/4.30 c bounds 20574 >= -93 @ 2.92512
4.24/4.31 c bounds 20574 >= -86 @ 2.92817
4.24/4.31 c bounds 20574 >= -76 @ 2.93226
4.24/4.32 c bounds 20574 >= -71 @ 2.93636
4.24/4.32 c bounds 20574 >= -68 @ 2.93939
4.24/4.33 c bounds 20574 >= -62 @ 2.9425
4.24/4.33 c bounds 20574 >= -56 @ 2.94546
4.24/4.34 c bounds 20574 >= -51 @ 2.94848
4.24/4.34 c bounds 20574 >= -45 @ 2.95069
4.24/4.35 c bounds 20574 >= -35 @ 2.95375
4.24/4.35 c bounds 20574 >= -29 @ 2.95598
4.24/4.36 c bounds 20574 >= -20 @ 2.95855
4.24/4.36 c bounds 20574 >= -13 @ 2.96158
4.24/4.37 c bounds 20574 >= -10 @ 2.96393
4.24/4.37 c bounds 20574 >= -4 @ 2.96744
4.24/4.38 c bounds 20574 >= 2 @ 2.96956
4.24/4.38 c bounds 20574 >= 12 @ 2.97269
4.24/4.39 c bounds 20574 >= 18 @ 2.97468
4.24/4.39 c bounds 20574 >= 24 @ 2.97784
4.35/4.40 c bounds 20574 >= 30 @ 2.9798
4.35/4.40 c bounds 20574 >= 33 @ 2.98097
4.35/4.41 c bounds 20574 >= 42 @ 2.9826
4.35/4.41 c bounds 20574 >= 43 @ 2.98464
4.35/4.42 c bounds 20574 >= 49 @ 2.98761
4.35/4.42 c bounds 20574 >= 52 @ 2.9887
4.35/4.43 c bounds 20574 >= 57 @ 2.9917
4.35/4.43 c bounds 20574 >= 62 @ 2.99563
4.35/4.44 c bounds 20574 >= 65 @ 2.99966
4.35/4.44 c bounds 20574 >= 66 @ 3.00275
4.45/4.53 c bounds 20474 >= 66 @ 3.08364
4.45/4.54 c bounds 20474 >= 71 @ 3.08547
4.45/4.54 c bounds 20474 >= 73 @ 3.08862
4.45/4.55 c bounds 20474 >= 79 @ 3.09071
4.45/4.55 c bounds 20474 >= 81 @ 3.09271
4.45/4.56 c bounds 20474 >= 84 @ 3.09511
4.45/4.56 c bounds 20474 >= 87 @ 3.09798
4.45/4.57 c bounds 20474 >= 88 @ 3.10216
4.45/4.57 c bounds 20474 >= 95 @ 3.10538
4.45/4.58 c bounds 20474 >= 101 @ 3.10855
4.45/4.58 c bounds 20474 >= 104 @ 3.11176
4.45/4.59 c bounds 20474 >= 114 @ 3.11419
4.45/4.59 c bounds 20474 >= 124 @ 3.11815
4.55/4.60 c bounds 20474 >= 130 @ 3.12134
4.55/4.60 c bounds 20474 >= 135 @ 3.12643
4.55/4.61 c bounds 20474 >= 136 @ 3.12949
4.55/4.61 c bounds 20474 >= 146 @ 3.13351
4.55/4.62 c bounds 20474 >= 148 @ 3.13562
4.55/4.63 c bounds 20474 >= 158 @ 3.13896
4.55/4.63 c bounds 20474 >= 168 @ 3.14102
4.55/4.64 c bounds 20474 >= 172 @ 3.14401
4.55/4.64 c bounds 20474 >= 176 @ 3.14796
4.55/4.65 c bounds 20474 >= 181 @ 3.15085
4.55/4.65 c bounds 20474 >= 187 @ 3.15304
4.55/4.66 c bounds 20474 >= 191 @ 3.1562
4.55/4.66 c bounds 20474 >= 201 @ 3.15822
4.55/4.67 c bounds 20474 >= 207 @ 3.16322
4.55/4.67 c bounds 20474 >= 217 @ 3.16557
4.55/4.68 c bounds 20474 >= 223 @ 3.16914
4.55/4.68 c bounds 20474 >= 233 @ 3.17132
4.55/4.69 c bounds 20474 >= 240 @ 3.17455
4.55/4.69 c bounds 20474 >= 250 @ 3.17696
4.65/4.70 c bounds 20474 >= 256 @ 3.18122
4.65/4.70 c bounds 20474 >= 258 @ 3.1847
4.65/4.71 c bounds 20474 >= 266 @ 3.18781
4.65/4.71 c bounds 20474 >= 270 @ 3.19229
4.65/4.72 c bounds 20474 >= 274 @ 3.19573
4.65/4.73 c bounds 20474 >= 276 @ 3.19823
4.65/4.73 c bounds 20474 >= 280 @ 3.19956
4.65/4.74 c bounds 20474 >= 285 @ 3.20196
4.65/4.74 c bounds 20474 >= 295 @ 3.20738
4.65/4.75 c bounds 20474 >= 298 @ 3.21065
4.65/4.75 c bounds 20474 >= 308 @ 3.21419
4.65/4.76 c bounds 20474 >= 311 @ 3.21858
4.65/4.76 c bounds 20474 >= 313 @ 3.22109
4.65/4.77 c bounds 20474 >= 315 @ 3.2233
4.65/4.77 c bounds 20474 >= 321 @ 3.22696
4.65/4.78 c bounds 20474 >= 328 @ 3.23112
4.65/4.79 c bounds 20474 >= 334 @ 3.23453
4.65/4.79 c bounds 20474 >= 341 @ 3.23794
4.74/4.80 c bounds 20474 >= 350 @ 3.24023
4.74/4.80 c bounds 20474 >= 356 @ 3.24291
4.74/4.81 c bounds 20474 >= 366 @ 3.24629
4.84/4.92 c bounds 20473 >= 366 @ 3.35266
4.84/4.92 c bounds 20473 >= 369 @ 3.35683
4.84/4.93 c bounds 20473 >= 375 @ 3.36139
4.84/4.93 c bounds 20473 >= 377 @ 3.36359
4.84/4.94 c bounds 20473 >= 379 @ 3.36785
4.84/4.94 c bounds 20473 >= 380 @ 3.37317
4.84/4.95 c bounds 20473 >= 381 @ 3.37746
4.84/4.95 c bounds 20473 >= 390 @ 3.37971
4.84/4.96 c bounds 20473 >= 391 @ 3.383
4.84/4.96 c bounds 20473 >= 396 @ 3.38689
4.84/4.97 c bounds 20473 >= 406 @ 3.39062
4.84/4.98 c bounds 20473 >= 411 @ 3.39408
4.84/4.98 c bounds 20473 >= 421 @ 3.39871
4.84/4.99 c bounds 20473 >= 427 @ 3.40109
4.84/4.99 c bounds 20473 >= 433 @ 3.40457
4.84/5.00 c bounds 20473 >= 440 @ 3.40908
4.95/5.00 c bounds 20473 >= 450 @ 3.41471
4.95/5.01 c bounds 20473 >= 460 @ 3.41844
4.95/5.01 c bounds 20473 >= 470 @ 3.42279
4.95/5.02 c bounds 20473 >= 475 @ 3.4262
4.95/5.03 c bounds 20473 >= 486 @ 3.42967
4.95/5.03 c bounds 20473 >= 496 @ 3.43234
4.95/5.04 c bounds 20473 >= 502 @ 3.43466
4.95/5.04 c bounds 20473 >= 509 @ 3.43803
4.95/5.05 c bounds 20473 >= 516 @ 3.44053
4.95/5.05 c bounds 20473 >= 521 @ 3.44286
4.95/5.06 c bounds 20473 >= 531 @ 3.44636
4.95/5.06 c bounds 20473 >= 541 @ 3.4497
4.95/5.07 c bounds 20473 >= 544 @ 3.45233
4.95/5.07 c bounds 20473 >= 553 @ 3.45574
4.95/5.08 c bounds 20473 >= 554 @ 3.45924
4.95/5.09 c bounds 20473 >= 555 @ 3.46362
4.95/5.09 c bounds 20473 >= 556 @ 3.46704
4.95/5.10 c bounds 20473 >= 557 @ 3.47054
5.05/5.10 c bounds 20473 >= 558 @ 3.47312
5.05/5.11 c bounds 20473 >= 559 @ 3.47632
5.05/5.11 c bounds 20473 >= 560 @ 3.4818
5.05/5.12 c bounds 20473 >= 561 @ 3.48622
5.05/5.12 c bounds 20473 >= 562 @ 3.48766
5.05/5.13 c bounds 20473 >= 563 @ 3.49115
5.05/5.13 c bounds 20473 >= 564 @ 3.49342
5.05/5.14 c bounds 20473 >= 565 @ 3.49755
5.05/5.15 c bounds 20473 >= 566 @ 3.4992
5.05/5.15 c bounds 20473 >= 567 @ 3.50263
5.05/5.16 c bounds 20473 >= 568 @ 3.5051
5.05/5.16 c bounds 20473 >= 569 @ 3.50941
5.05/5.17 c bounds 20473 >= 570 @ 3.51268
5.05/5.17 c bounds 20473 >= 571 @ 3.51542
5.05/5.18 c bounds 20473 >= 576 @ 3.51773
5.05/5.18 c bounds 20473 >= 577 @ 3.52109
5.05/5.19 c bounds 20473 >= 578 @ 3.52648
5.05/5.19 c bounds 20473 >= 579 @ 3.52901
5.14/5.20 c bounds 20473 >= 580 @ 3.53104
5.14/5.20 c bounds 20473 >= 581 @ 3.53329
5.14/5.21 c bounds 20473 >= 586 @ 3.53644
5.14/5.22 c bounds 20473 >= 593 @ 3.5419
5.14/5.22 c bounds 20473 >= 596 @ 3.54522
5.14/5.23 c bounds 20473 >= 597 @ 3.54865
5.14/5.23 c bounds 20473 >= 603 @ 3.55211
5.14/5.24 c bounds 20473 >= 605 @ 3.5537
5.14/5.24 c bounds 20473 >= 612 @ 3.55805
5.14/5.25 c bounds 20473 >= 613 @ 3.56057
5.14/5.25 c bounds 20473 >= 616 @ 3.564
5.24/5.34 c bounds 20472 >= 616 @ 3.64844
5.24/5.35 c bounds 20472 >= 619 @ 3.65179
5.24/5.35 c bounds 20472 >= 622 @ 3.6551
5.24/5.36 c bounds 20472 >= 629 @ 3.65961
5.24/5.37 c bounds 20472 >= 632 @ 3.66302
5.24/5.37 c bounds 20472 >= 639 @ 3.66534
5.24/5.38 c bounds 20472 >= 645 @ 3.66895
5.24/5.38 c bounds 20472 >= 652 @ 3.67074
5.24/5.39 c bounds 20472 >= 659 @ 3.67316
5.24/5.39 c bounds 20472 >= 661 @ 3.67667
5.34/5.40 c bounds 20472 >= 663 @ 3.67898
5.34/5.40 c bounds 20472 >= 665 @ 3.68127
5.34/5.41 c bounds 20472 >= 666 @ 3.68548
5.34/5.41 c bounds 20472 >= 668 @ 3.68786
5.34/5.42 c bounds 20472 >= 670 @ 3.69202
5.34/5.43 c bounds 20472 >= 672 @ 3.6953
5.34/5.43 c bounds 20472 >= 675 @ 3.69863
5.34/5.44 c bounds 20472 >= 678 @ 3.70292
5.34/5.44 c bounds 20472 >= 685 @ 3.70623
5.34/5.45 c bounds 20472 >= 686 @ 3.70901
5.34/5.45 c bounds 20472 >= 693 @ 3.71159
5.34/5.46 c bounds 20472 >= 695 @ 3.71479
5.34/5.46 c bounds 20472 >= 698 @ 3.71793
5.34/5.47 c bounds 20472 >= 705 @ 3.72022
5.34/5.47 c bounds 20472 >= 709 @ 3.72361
5.34/5.48 c bounds 20472 >= 710 @ 3.72605
5.34/5.48 c bounds 20472 >= 711 @ 3.72857
5.34/5.49 c bounds 20472 >= 716 @ 3.7317
5.34/5.49 c bounds 20472 >= 720 @ 3.734
5.44/5.50 c bounds 20472 >= 727 @ 3.73851
5.44/5.51 c bounds 20472 >= 734 @ 3.74179
5.44/5.51 c bounds 20472 >= 738 @ 3.74698
5.44/5.52 c bounds 20472 >= 741 @ 3.75128
5.44/5.52 c bounds 20472 >= 742 @ 3.75376
5.44/5.53 c bounds 20472 >= 743 @ 3.75702
5.44/5.53 c bounds 20472 >= 745 @ 3.76234
5.44/5.54 c bounds 20472 >= 746 @ 3.76569
5.44/5.54 c bounds 20472 >= 747 @ 3.76798
5.44/5.55 c bounds 20472 >= 752 @ 3.77242
5.44/5.55 c bounds 20472 >= 758 @ 3.77659
5.44/5.56 c bounds 20472 >= 764 @ 3.77892
5.44/5.56 c bounds 20472 >= 769 @ 3.78236
5.44/5.57 c bounds 20472 >= 775 @ 3.78461
5.44/5.57 c bounds 20472 >= 780 @ 3.7878
5.44/5.58 c bounds 20472 >= 784 @ 3.79142
5.44/5.59 c bounds 20472 >= 790 @ 3.79452
5.44/5.59 c bounds 20472 >= 792 @ 3.79683
5.64/5.71 c bounds 20471 >= 792 @ 3.90241
5.64/5.71 c bounds 20471 >= 793 @ 3.90554
5.64/5.72 c bounds 20471 >= 797 @ 3.91015
5.64/5.73 c bounds 20471 >= 801 @ 3.91163
5.64/5.73 c bounds 20471 >= 804 @ 3.91432
5.64/5.74 c bounds 20471 >= 807 @ 3.91529
5.64/5.74 c bounds 20471 >= 810 @ 3.91709
5.64/5.75 c bounds 20471 >= 814 @ 3.92043
5.64/5.75 c bounds 20471 >= 817 @ 3.9239
5.64/5.76 c bounds 20471 >= 818 @ 3.92841
5.64/5.77 c bounds 20471 >= 819 @ 3.93392
5.64/5.77 c bounds 20471 >= 820 @ 3.93835
5.64/5.78 c bounds 20471 >= 821 @ 3.94308
5.64/5.78 c bounds 20471 >= 822 @ 3.94839
5.64/5.79 c bounds 20471 >= 823 @ 3.9531
5.64/5.79 c bounds 20471 >= 824 @ 3.95624
5.73/5.80 c bounds 20471 >= 825 @ 3.96083
5.73/5.81 c bounds 20471 >= 826 @ 3.96498
5.73/5.81 c bounds 20471 >= 827 @ 3.96988
5.73/5.82 c bounds 20471 >= 828 @ 3.97637
5.73/5.83 c bounds 20471 >= 829 @ 3.97996
5.73/5.84 c bounds 20471 >= 830 @ 3.99038
5.73/5.85 c bounds 20471 >= 831 @ 3.99373
5.73/5.86 c bounds 20471 >= 832 @ 3.99812
5.73/5.87 c bounds 20471 >= 833 @ 4.00434
5.73/5.87 c bounds 20471 >= 834 @ 4.01025
5.73/5.88 c bounds 20471 >= 835 @ 4.01514
5.73/5.89 c bounds 20471 >= 836 @ 4.01959
5.84/5.92 c bounds 20471 >= 837 @ 4.04585
5.84/5.95 c bounds 20371 >= 837 @ 4.07168
5.84/5.96 c bounds 20371 >= 838 @ 4.08053
5.84/5.97 c bounds 20371 >= 839 @ 4.08699
5.84/5.98 c bounds 20371 >= 840 @ 4.09195
5.84/5.98 c bounds 20371 >= 841 @ 4.09851
5.84/5.99 c bounds 20371 >= 842 @ 4.10546
6.04/6.11 c bounds 20370 >= 842 @ 4.20531
6.04/6.12 c bounds 20370 >= 843 @ 4.21109
6.04/6.15 c bounds 20370 >= 844 @ 4.23483
6.04/6.16 c bounds 20370 >= 845 @ 4.242
6.04/6.17 c bounds 20370 >= 846 @ 4.2486
6.04/6.18 c bounds 20370 >= 847 @ 4.2571
6.04/6.19 c bounds 20370 >= 848 @ 4.26266
6.14/6.28 c bounds 20270 >= 848 @ 4.35224
6.14/6.29 c bounds 20270 >= 849 @ 4.35946
6.24/6.30 c bounds 20270 >= 850 @ 4.36525
6.24/6.31 c bounds 20270 >= 851 @ 4.37457
6.24/6.32 c bounds 20270 >= 852 @ 4.37774
6.24/6.34 c bounds 20270 >= 853 @ 4.39681
6.24/6.37 c bounds 20270 >= 854 @ 4.42024
6.34/6.41 c bounds 19267 >= 854 @ 4.45864
6.34/6.42 c bounds 19267 >= 855 @ 4.46214
6.34/6.42 c bounds 19267 >= 856 @ 4.46656
6.34/6.43 c bounds 19267 >= 857 @ 4.47092
6.34/6.44 c bounds 19267 >= 858 @ 4.47532
6.34/6.44 c bounds 19267 >= 859 @ 4.47931
6.34/6.45 c bounds 19267 >= 860 @ 4.48275
6.34/6.46 c bounds 19267 >= 861 @ 4.4897
6.34/6.47 c bounds 19267 >= 862 @ 4.49454
6.34/6.47 c bounds 19267 >= 863 @ 4.49859
6.34/6.49 c bounds 19267 >= 864 @ 4.5112
6.43/6.50 c bounds 19267 >= 865 @ 4.52355
6.43/6.57 c bounds 19266 >= 865 @ 4.58235
6.43/6.58 c bounds 19266 >= 866 @ 4.59499
6.43/6.59 c bounds 19266 >= 867 @ 4.60306
6.54/6.60 c bounds 19266 >= 868 @ 4.60899
6.54/6.61 c bounds 19266 >= 869 @ 4.61619
6.54/6.69 c bounds 19265 >= 869 @ 4.68418
6.54/6.69 c bounds 19265 >= 870 @ 4.68948
6.64/6.70 c bounds 19265 >= 871 @ 4.69772
6.64/6.71 c bounds 19265 >= 872 @ 4.70269
6.64/6.73 c bounds 19265 >= 873 @ 4.71392
6.64/6.73 c bounds 19265 >= 874 @ 4.72128
6.64/6.75 c bounds 19265 >= 875 @ 4.73026
6.64/6.76 c bounds 19265 >= 876 @ 4.73333
6.64/6.77 c bounds 19265 >= 877 @ 4.74149
6.74/6.84 c bounds 19264 >= 877 @ 4.80009
6.74/6.85 c bounds 19264 >= 878 @ 4.80771
6.74/6.85 c bounds 19264 >= 879 @ 4.8116
6.74/6.87 c bounds 19264 >= 880 @ 4.82533
6.74/6.88 c bounds 19264 >= 881 @ 4.82909
6.74/6.89 c bounds 19264 >= 882 @ 4.83992
6.84/6.91 c bounds 19264 >= 883 @ 4.85441
6.84/6.97 c #Conflicts: 1000 | #Constraints: 30115
6.84/6.97 c bounds 19164 >= 883 @ 4.91589
6.84/6.98 c bounds 19164 >= 884 @ 4.92207
6.84/7.00 c bounds 19164 >= 885 @ 4.93637
6.94/7.08 c bounds 19164 >= 886 @ 5.01623
7.04/7.16 c bounds 19163 >= 886 @ 5.09475
7.04/7.19 c bounds 19163 >= 887 @ 5.11216
7.24/7.33 c bounds 19162 >= 887 @ 5.25055
7.24/7.38 c bounds 19162 >= 888 @ 5.2925
7.33/7.42 c bounds 19162 >= 889 @ 5.32595
7.33/7.47 c bounds 19162 >= 890 @ 5.37104
7.43/7.59 c bounds 19161 >= 890 @ 5.4905
7.63/7.73 c bounds 19161 >= 891 @ 5.61597
7.74/7.83 c bounds 19061 >= 891 @ 5.71392
7.83/7.97 c bounds 19060 >= 891 @ 5.8509
7.83/7.99 c bounds 19060 >= 892 @ 5.86124
7.83/8.00 c bounds 19060 >= 893 @ 5.86864
7.94/8.00 c bounds 19060 >= 894 @ 5.87317
7.94/8.01 c bounds 19060 >= 895 @ 5.88031
7.94/8.02 c bounds 19060 >= 896 @ 5.88285
7.94/8.03 c bounds 19060 >= 897 @ 5.88899
7.94/8.04 c bounds 19060 >= 898 @ 5.89126
7.94/8.04 c bounds 19060 >= 899 @ 5.89806
7.94/8.06 c bounds 19060 >= 900 @ 5.90708
7.94/8.07 c bounds 19060 >= 901 @ 5.91649
11.32/11.45 c #Conflicts: 2000 | #Constraints: 31251
11.32/11.45 c INPROCESSING
11.32/11.45 c GARBAGE COLLECT
11.32/11.45 c bounds 18960 >= 901 @ 9.23532
11.32/11.45 c bounds 18960 >= 902 @ 9.23738
11.42/11.53 c bounds 18960 >= 903 @ 9.31097
11.52/11.63 c bounds 18959 >= 903 @ 9.40902
11.52/11.64 c bounds 18959 >= 904 @ 9.41427
11.72/11.82 c bounds 18959 >= 905 @ 9.5716
11.72/11.88 c bounds 18958 >= 905 @ 9.62924
11.82/11.94 c bounds 18858 >= 905 @ 9.6832
11.93/12.01 c bounds 18857 >= 905 @ 9.75213
11.93/12.08 c bounds 18757 >= 905 @ 9.81794
11.93/12.09 c bounds 18757 >= 906 @ 9.82432
12.22/12.38 c #Conflicts: 3000 | #Constraints: 30485
12.22/12.38 c bounds 18757 >= 907 @ 10.1014
12.32/12.49 c bounds 18657 >= 907 @ 10.2096
12.52/12.65 c bounds 18557 >= 907 @ 10.353
12.72/12.80 c bounds 18457 >= 907 @ 10.5028
12.72/12.81 c bounds 18457 >= 908 @ 10.5058
12.72/12.81 c bounds 18457 >= 909 @ 10.511
12.72/12.82 c bounds 18457 >= 910 @ 10.5166
12.82/12.90 c bounds 18457 >= 911 @ 10.5908
12.92/13.05 c bounds 18456 >= 911 @ 10.7314
13.12/13.20 c bounds 18455 >= 911 @ 10.8834
13.12/13.21 c bounds 18455 >= 912 @ 10.8889
13.12/13.22 c bounds 18455 >= 913 @ 10.8921
13.22/13.37 c bounds 18455 >= 914 @ 11.0275
13.42/13.50 c bounds 18454 >= 914 @ 11.1538
13.42/13.54 c bounds 18454 >= 915 @ 11.1927
13.52/13.65 c bounds 18453 >= 915 @ 11.298
13.52/13.67 c bounds 18453 >= 916 @ 11.3164
13.52/13.69 c bounds 18453 >= 917 @ 11.331
13.72/13.84 c bounds 18453 >= 918 @ 11.4725
13.82/13.96 c bounds 18452 >= 918 @ 11.5813
13.92/14.05 c #Conflicts: 4000 | #Constraints: 31560
13.92/14.05 c bounds 18451 >= 918 @ 11.6724
14.12/14.20 c bounds 18451 >= 919 @ 11.8171
14.12/14.28 c bounds 18450 >= 919 @ 11.8966
14.31/14.40 c INPROCESSING
14.31/14.40 c GARBAGE COLLECT
14.31/14.40 c bounds 18449 >= 919 @ 12.015
14.61/14.73 c bounds 18449 >= 920 @ 12.3154
14.61/14.78 c bounds 18448 >= 920 @ 12.3692
14.72/14.85 c bounds 18447 >= 920 @ 12.4341
14.81/14.91 c bounds 18446 >= 920 @ 12.4916
14.92/15.00 c bounds 18445 >= 920 @ 12.5828
14.92/15.08 c bounds 18444 >= 920 @ 12.6591
15.32/15.46 c #Conflicts: 5000 | #Constraints: 30971
15.32/15.46 c bounds 18444 >= 921 @ 13.017
15.41/15.57 c bounds 18443 >= 921 @ 13.1152
15.51/15.69 c bounds 18442 >= 921 @ 13.2347
16.02/16.20 c bounds 18343 >= 921 @ 13.7227
16.11/16.21 c bounds 18343 >= 922 @ 13.7368
16.11/16.23 c bounds 18343 >= 923 @ 13.7489
16.11/16.24 c bounds 18343 >= 924 @ 13.7596
16.11/16.26 c bounds 18343 >= 925 @ 13.7703
16.11/16.27 c bounds 18343 >= 926 @ 13.7819
16.11/16.28 c bounds 18343 >= 927 @ 13.792
16.22/16.35 c bounds 18343 >= 928 @ 13.8503
16.51/16.60 c bounds 18343 >= 929 @ 14.0952
25.63/25.82 c #Conflicts: 6000 | #Constraints: 32031
25.63/25.82 c bounds 18343 >= 930 @ 23.1206
25.94/26.17 c bounds 18243 >= 930 @ 23.4625
26.63/26.88 c INPROCESSING
26.63/26.88 c GARBAGE COLLECT
26.63/26.88 c #Conflicts: 7000 | #Constraints: 31006
26.63/26.88 c bounds 18243 >= 931 @ 24.133
26.84/27.02 c bounds 18242 >= 931 @ 24.2748
26.93/27.15 c bounds 18241 >= 931 @ 24.3947
27.13/27.31 c bounds 18240 >= 931 @ 24.5509
28.83/29.09 c #Conflicts: 8000 | #Constraints: 32033
28.83/29.09 c bounds 18240 >= 932 @ 26.2855
29.03/29.23 c bounds 18239 >= 932 @ 26.4136
29.12/29.34 c bounds 18238 >= 932 @ 26.5194
29.23/29.45 c bounds 18237 >= 932 @ 26.623
29.32/29.57 c #Conflicts: 9000 | #Constraints: 33066
29.32/29.57 c bounds 18236 >= 932 @ 26.7352
29.42/29.68 c bounds 18235 >= 932 @ 26.8439
29.52/29.79 c bounds 18135 >= 932 @ 26.9495
29.73/29.91 c bounds 18035 >= 932 @ 27.0622
38.50/38.78 c INPROCESSING
38.50/38.78 c GARBAGE COLLECT
38.50/38.78 c bounds 17935 >= 932 @ 35.8663
38.61/38.89 c bounds 17835 >= 932 @ 35.969
38.70/38.99 c bounds 17834 >= 932 @ 36.062
38.90/39.13 c bounds 17833 >= 932 @ 36.1892
39.00/39.22 c bounds 17832 >= 932 @ 36.2779
39.20/39.49 c bounds 17731 >= 932 @ 36.5443
39.40/39.64 c bounds 17730 >= 932 @ 36.6828
39.49/39.79 c bounds 17630 >= 932 @ 36.8319
39.70/39.96 c bounds 17529 >= 932 @ 37.0011
39.70/39.99 c bounds 17529 >= 933 @ 37.022
39.90/40.17 c bounds 17528 >= 933 @ 37.1937
41.99/42.20 c #Conflicts: 10000 | #Constraints: 31741
41.99/42.20 c #Conflicts: 11000 | #Constraints: 32741
41.99/42.20 c bounds 17528 >= 934 @ 39.1788
42.29/42.53 c bounds 17527 >= 934 @ 39.5125
42.49/42.71 c bounds 17427 >= 934 @ 39.6862
42.59/42.86 c bounds 17426 >= 934 @ 39.8271
42.79/43.08 c bounds 17425 >= 934 @ 40.0181
43.49/43.75 c bounds 17424 >= 934 @ 40.6734
44.48/44.72 c #Conflicts: 12000 | #Constraints: 33773
44.48/44.72 c INPROCESSING
44.48/44.72 c GARBAGE COLLECT
44.48/44.72 c bounds 17423 >= 934 @ 41.6118
45.58/45.89 c bounds 17323 >= 934 @ 42.751
47.37/47.67 c #Conflicts: 13000 | #Constraints: 32229
47.37/47.67 c bounds 17323 >= 935 @ 44.4721
53.36/53.63 c #Conflicts: 14000 | #Constraints: 33250
53.36/53.63 c #Conflicts: 15000 | #Constraints: 34250
53.36/53.63 c INPROCESSING
53.36/53.63 c GARBAGE COLLECT
53.36/53.63 c #Conflicts: 16000 | #Constraints: 32494
53.36/53.63 c #Conflicts: 17000 | #Constraints: 33494
53.36/53.63 c bounds 17323 >= 936 @ 50.2538
53.96/54.23 c #Conflicts: 18000 | #Constraints: 34521
53.96/54.23 c bounds 17222 >= 936 @ 50.8418
57.25/57.59 c INPROCESSING
57.25/57.59 c GARBAGE COLLECT
57.25/57.59 c #Conflicts: 19000 | #Constraints: 32524
57.25/57.59 c #Conflicts: 20000 | #Constraints: 33524
57.25/57.59 c bounds 17221 >= 936 @ 54.1101
58.05/58.32 c bounds 17220 >= 936 @ 54.7901
58.55/58.85 c bounds 17220 >= 937 @ 55.3052
58.85/59.15 c bounds 17120 >= 937 @ 55.5869
60.85/61.14 c #Conflicts: 21000 | #Constraints: 34531
60.85/61.14 c bounds 17019 >= 937 @ 57.513
61.34/61.64 c bounds 17019 >= 938 @ 57.9913
61.74/62.03 c bounds 17019 >= 939 @ 58.3694
62.74/63.04 c INPROCESSING
62.74/63.04 c GARBAGE COLLECT
62.74/63.04 c bounds 16919 >= 939 @ 59.3495
64.32/64.66 c #Conflicts: 22000 | #Constraints: 32330
64.32/64.66 c #Conflicts: 23000 | #Constraints: 33330
64.32/64.66 c bounds 939 >= 939 @ 60.8943
64.32/64.66 c cpu time 60.8944 s
64.32/64.66 c deterministic time 1786441378 1.79e+09
64.32/64.66 c optimization time 1.92761 s
64.32/64.66 c total solve time 58.8276 s
64.32/64.66 c core-guided solve time 28.9539 s
64.32/64.66 c propagation time 28.7386 s
64.32/64.66 c conflict analysis time 14.083 s
64.32/64.66 c propagations 9175599
64.32/64.66 c resolve steps 156868
64.32/64.66 c decisions 7243506
64.32/64.66 c conflicts 23164
64.32/64.66 c restarts 80
64.32/64.66 c inprocessing phases 8
64.32/64.66 c garbage collections 8 ,( 100.00 )
64.32/64.66 c input clauses 30650 ,( 91.34 )
64.32/64.66 c input cardinalities 1742 ,( 5.19 )
64.32/64.66 c input general constraints 1164 ,( 3.47 )
64.32/64.66 c input average constraint length 196.59
64.32/64.66 c input average constraint degree 1016.52
64.32/64.66 c learned clauses 8664 ,( 37.37 )
64.32/64.66 c learned cardinalities 383 ,( 1.65 )
64.32/64.66 c learned general constraints 14136 ,( 60.98 )
64.32/64.66 c learned average constraint length 2596.62
64.32/64.66 c learned average constraint degree 2340290851.46
64.32/64.66 c watched CF 32, 64, 128, Arb: 1129 , 0 , 0 , 0
64.32/64.66 c counting CF 32, 64, 128, Arb: 14172 , 0 , 0 , 0
64.32/64.66 c watched constraints 1129 ,( 7.38 )
64.32/64.66 c counting constraints 14171 ,( 92.62 )
64.32/64.66 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 3519102 , 1134590 , 14308767 ,( 58612 , 14250155 )
64.32/64.66 c gcd simplifications 606
64.32/64.66 c detected cardinalities 0
64.32/64.66 c weakened non-implied lits 11414290
64.32/64.66 c weakened non-implying lits 3703
64.32/64.66 c original variables 13461
64.32/64.66 c clausal propagations 2611237
64.32/64.66 c cardinality propagations 1660349
64.32/64.66 c watched propagations 2580
64.32/64.66 c counting propagations 3395559
64.32/64.66 c watch lookups 708273131
64.32/64.66 c watch backjump lookups 0
64.32/64.66 c watch checks 51064724
64.32/64.66 c propagation checks 879783767
64.32/64.66 c constraint additions 114413516
64.32/64.66 c trail pops 16436913
64.32/64.66 c formula constraints 26667
64.32/64.66 c learned constraints 23181
64.32/64.66 c bound constraints 4815
64.32/64.66 c core-guided constraints 2074
64.32/64.66 c encountered formula constraints 27692
64.32/64.66 c encountered learned constraints 88542
64.32/64.66 c encountered bound constraints 93
64.32/64.66 c encountered core-guided constraints 63609
64.32/64.66 c LP total time 21.0773 s
64.32/64.66 c LP solve time 21.03 s
64.32/64.66 c LP constraints added 26667
64.32/64.66 c LP constraints removed 0
64.32/64.66 c LP pivots internal 25221
64.32/64.66 c LP pivots root 25000
64.32/64.66 c LP calls 7
64.32/64.66 c LP optimalities 1
64.32/64.66 c LP no pivot count 0
64.32/64.66 c LP infeasibilities 1
64.32/64.66 c LP valid Farkas constraints 1
64.32/64.66 c LP learned Farkas constraints 1
64.32/64.66 c LP basis resets 0
64.32/64.66 c LP cycling count 0
64.32/64.66 c LP singular count 0
64.32/64.66 c LP no primal count 0
64.32/64.66 c LP no farkas count 0
64.32/64.66 c LP other issue count 0
64.32/64.66 c LP Gomory cuts 0
64.32/64.66 c LP learned cuts 0
64.32/64.66 c LP deleted cuts 0
64.32/64.66 c LP encountered Gomory constraints 0
64.32/64.66 c LP encountered Farkas constraints 35
64.32/64.66 c LP encountered learned Farkas constraints 60
64.32/64.66 c CG auxiliary variables introduced 970
64.32/64.66 c CG solutions found 91
64.32/64.66 c CG cores constructed 837
64.32/64.66 c CG core cardinality constraints returned 440
64.32/64.66 c CG unit cores 0
64.32/64.66 c CG single cores 837
64.32/64.66 c CG blocks removed during cardinality reduction 0
64.32/64.66 c CG first core best 0
64.32/64.66 c CG decision core best 0
64.32/64.66 c CG core reduction tie 0
64.32/64.66 c CG core degree average 3.10
64.32/64.66 c CG core slack average 10.90
64.32/64.66 c CG core upper bound improvements 0
64.32/64.66 c STR number of successful calls 0
64.32/64.66 c STR number of unsuccessful calls 0
64.32/64.66 c STR number of inconclusive calls 0
64.32/64.66 c STR number of successful attempts 0
64.32/64.66 c STR number of unsuccessful attempts 0
64.32/64.66 c STR number of inconclusive attempts 0
64.32/64.66 c STR average degree increase per successful call inf
64.32/64.66 c STR average degree increase per successful attempt inf
64.32/64.66 c STR total number of conflicts for successful attempts 0
64.32/64.66 c STR total number of conflicts for unsuccessful attempts 0
64.32/64.66 c STR total number of conflicts for inconclusive attempts 0
64.32/64.66 c STR average number of conflicts per successful attempt inf
64.32/64.66 c STR average number of conflicts per unsuccessful attempt inf
64.32/64.66 c STR average number of conflicts per inconclusive attempt inf
64.32/64.66 c AVG.sumWPerc 81.71
64.32/64.66 c bigint constraints 0
64.32/64.66 o 939
64.32/64.66 s OPTIMUM FOUND
64.32/64.66 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 (37269 MiB free)
memory of node 1: 64465 MiB (29804 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484219-1751284113/watcher-4484219-1751284113 -o /tmp/evaluation-result-4484219-1751284113/solver-4484219-1751284113 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751280474-37304 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4484219-1751284113.opb PROOFDIR/proof-4484219-1751284113
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=37928, runsolver pid=37925
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.11 4.14 4.09 5/277 37930
/proc/meminfo: memFree=68684212/131249992 swapFree=33010160/33010684
[pid=37928] ppid=37925 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/37928/stat : 37928 (run-opt-ls-log.) S 37925 37928 37288 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 44085799 4292608 768 18446744073709551615 94084305174528 94084306069061 140731713781440 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94084306308112 94084306355856 94084312301568 140731713788187 140731713788385 140731713788385 140731713793987 0
/proc/37928/statm: 1048 768 704 219 0 110 0
[pid=37930] ppid=37928 vsize=26592 memory=16552 CPUtime=0.09 cores=4,6
/proc/37930/stat : 37930 (pbsuma) R 37928 37928 37288 0 -1 4194304 4460 0 0 0 9 0 0 0 20 0 1 0 44085800 27230208 4138 18446744073709551615 4210688 4653049 140736569285168 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 8028160 140736569288931 140736569289266 140736569289266 140736569294831 0
/proc/37930/statm: 6648 4138 1024 108 0 4056 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30784 KiB
Current children cumulated memory: 19624 KiB
[startup+0.205768 s]*
/proc/loadavg: 4.11 4.14 4.09 5/277 37931
/proc/meminfo: memFree=68686576/131249992 swapFree=33010160/33010684
[pid=37928] ppid=37925 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/37928/stat : 37928 (run-opt-ls-log.) S 37925 37928 37288 0 -1 4194304 245 6481 0 0 0 0 13 0 20 0 1 0 44085799 4292608 768 18446744073709551615 94084305174528 94084306069061 140731713781440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94084306308112 94084306355856 94084312301568 140731713788187 140731713788385 140731713788385 140731713793987 0
/proc/37928/statm: 1048 768 704 219 0 110 0
[pid=37931] ppid=37928 vsize=61660 memory=16972 CPUtime=0.04 cores=4,6
/proc/37931/stat : 37931 (roundingsat) R 37928 37928 37288 0 -1 4194304 2126 0 0 0 3 1 0 0 20 0 1 0 44085815 63139840 4243 18446744073709551615 4227072 8923433 140725281693232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34205696 140725281700086 140725281700392 140725281700392 140725281705962 0
/proc/37931/statm: 15415 4243 2016 1147 0 2842 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 65852 KiB
Current children cumulated memory: 20044 KiB
[startup+0.305713 s]*
/proc/loadavg: 4.18 4.15 4.10 5/277 37931
/proc/meminfo: memFree=68673912/131249992 swapFree=33010160/33010684
[pid=37928] ppid=37925 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/37928/stat : 37928 (run-opt-ls-log.) S 37925 37928 37288 0 -1 4194304 245 6481 0 0 0 0 13 0 20 0 1 0 44085799 4292608 768 18446744073709551615 94084305174528 94084306069061 140731713781440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94084306308112 94084306355856 94084312301568 140731713788187 140731713788385 140731713788385 140731713793987 0
/proc/37928/statm: 1048 768 704 219 0 110 0
[pid=37931] ppid=37928 vsize=81008 memory=35296 CPUtime=0.14 cores=4,6
/proc/37931/stat : 37931 (roundingsat) R 37928 37928 37288 0 -1 4194304 6036 0 0 0 11 3 0 0 20 0 1 0 44085815 82952192 8824 18446744073709551615 4227072 8923433 140725281693232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34205696 140725281700086 140725281700392 140725281700392 140725281705962 0
/proc/37931/statm: 20252 8824 2272 1147 0 7679 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 85200 KiB
Current children cumulated memory: 38368 KiB
[startup+0.700228 s]
/proc/loadavg: 4.18 4.15 4.10 5/277 37931
/proc/meminfo: memFree=68663956/131249992 swapFree=33010160/33010684
[pid=37928] ppid=37925 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/37928/stat : 37928 (run-opt-ls-log.) S 37925 37928 37288 0 -1 4194304 245 6481 0 0 0 0 13 0 20 0 1 0 44085799 4292608 768 18446744073709551615 94084305174528 94084306069061 140731713781440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94084306308112 94084306355856 94084312301568 140731713788187 140731713788385 140731713788385 140731713793987 0
/proc/37928/statm: 1048 768 704 219 0 110 0
[pid=37931] ppid=37928 vsize=107560 memory=60684 CPUtime=0.53 cores=4,6
/proc/37931/stat : 37931 (roundingsat) R 37928 37928 37288 0 -1 4194304 10356 0 0 0 49 4 0 0 20 0 1 0 44085815 110141440 15171 18446744073709551615 4227072 8923433 140725281693232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34205696 140725281700086 140725281700392 140725281700392 140725281705962 0
/proc/37931/statm: 26890 15171 2336 1147 0 14317 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 111752 KiB
Current children cumulated memory: 63756 KiB
[startup+1.50021 s]
/proc/loadavg: 4.18 4.15 4.10 5/277 37931
/proc/meminfo: memFree=68624076/131249992 swapFree=33010160/33010684
[pid=37928] ppid=37925 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/37928/stat : 37928 (run-opt-ls-log.) S 37925 37928 37288 0 -1 4194304 245 6481 0 0 0 0 13 0 20 0 1 0 44085799 4292608 768 18446744073709551615 94084305174528 94084306069061 140731713781440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94084306308112 94084306355856 94084312301568 140731713788187 140731713788385 140731713788385 140731713793987 0
/proc/37928/statm: 1048 768 704 219 0 110 0
[pid=37931] ppid=37928 vsize=130704 memory=84872 CPUtime=1.32 cores=4,6
/proc/37931/stat : 37931 (roundingsat) R 37928 37928 37288 0 -1 4194304 15071 0 0 0 108 24 0 0 20 0 1 0 44085815 133840896 21218 18446744073709551615 4227072 8923433 140725281693232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34205696 140725281700086 140725281700392 140725281700392 140725281705962 0
/proc/37931/statm: 32676 21218 2400 1147 0 20103 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 134896 KiB
Current children cumulated memory: 87944 KiB
[startup+3.1056 s]
/proc/loadavg: 4.18 4.15 4.10 5/277 37931
/proc/meminfo: memFree=68476380/131249992 swapFree=33010160/33010684
[pid=37928] ppid=37925 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/37928/stat : 37928 (run-opt-ls-log.) S 37925 37928 37288 0 -1 4194304 245 6481 0 0 0 0 13 0 20 0 1 0 44085799 4292608 768 18446744073709551615 94084305174528 94084306069061 140731713781440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94084306308112 94084306355856 94084312301568 140731713788187 140731713788385 140731713788385 140731713793987 0
/proc/37928/statm: 1048 768 704 219 0 110 0
[pid=37931] ppid=37928 vsize=194784 memory=131448 CPUtime=2.92 cores=4,6
/proc/37931/stat : 37931 (roundingsat) R 37928 37928 37288 0 -1 4194304 23665 0 0 0 212 80 0 0 20 0 1 0 44085815 199458816 32862 18446744073709551615 4227072 8923433 140725281693232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34205696 140725281700086 140725281700392 140725281700392 140725281705962 0
/proc/37931/statm: 48696 32862 2400 1147 0 36123 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 198976 KiB
Current children cumulated memory: 134520 KiB
[startup+6.30019 s]
/proc/loadavg: 4.17 4.15 4.09 5/278 37932
/proc/meminfo: memFree=68278508/131249992 swapFree=33010160/33010684
[pid=37928] ppid=37925 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/37928/stat : 37928 (run-opt-ls-log.) S 37925 37928 37288 0 -1 4194304 245 6481 0 0 0 0 13 0 20 0 1 0 44085799 4292608 768 18446744073709551615 94084305174528 94084306069061 140731713781440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94084306308112 94084306355856 94084312301568 140731713788187 140731713788385 140731713788385 140731713793987 0
/proc/37928/statm: 1048 768 704 219 0 110 0
[pid=37931] ppid=37928 vsize=334604 memory=269088 CPUtime=6.11 cores=4,6
/proc/37931/stat : 37931 (roundingsat) R 37928 37928 37288 0 -1 4194304 47868 0 0 0 436 175 0 0 20 0 1 0 44085815 342634496 67272 18446744073709551615 4227072 8923433 140725281693232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34205696 140725281700086 140725281700392 140725281700392 140725281705962 0
/proc/37931/statm: 83651 67272 2400 1147 0 71078 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 338796 KiB
Current children cumulated memory: 272160 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.14 4.09 5/278 37932
/proc/meminfo: memFree=68016260/131249992 swapFree=33010160/33010684
[pid=37928] ppid=37925 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/37928/stat : 37928 (run-opt-ls-log.) S 37925 37928 37288 0 -1 4194304 245 6481 0 0 0 0 13 0 20 0 1 0 44085799 4292608 768 18446744073709551615 94084305174528 94084306069061 140731713781440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94084306308112 94084306355856 94084312301568 140731713788187 140731713788385 140731713788385 140731713793987 0
/proc/37928/statm: 1048 768 704 219 0 110 0
[pid=37931] ppid=37928 vsize=411776 memory=326784 CPUtime=12.49 cores=4,6
/proc/37931/stat : 37931 (roundingsat) R 37928 37928 37288 0 -1 4194304 56677 0 0 0 1040 209 0 0 20 0 1 0 44085815 421658624 81696 18446744073709551615 4227072 8923433 140725281693232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34205696 140725281700086 140725281700392 140725281700392 140725281705962 0
/proc/37931/statm: 102944 81696 2400 1147 0 90371 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 415968 KiB
Current children cumulated memory: 329856 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.14 4.09 5/278 37932
/proc/meminfo: memFree=67847716/131249992 swapFree=33010160/33010684
[pid=37928] ppid=37925 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/37928/stat : 37928 (run-opt-ls-log.) S 37925 37928 37288 0 -1 4194304 245 6481 0 0 0 0 13 0 20 0 1 0 44085799 4292608 768 18446744073709551615 94084305174528 94084306069061 140731713781440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94084306308112 94084306355856 94084312301568 140731713788187 140731713788385 140731713788385 140731713793987 0
/proc/37928/statm: 1048 768 704 219 0 110 0
[pid=37931] ppid=37928 vsize=411776 memory=327424 CPUtime=25.2 cores=4,6
/proc/37931/stat : 37931 (roundingsat) R 37928 37928 37288 0 -1 4194304 56836 0 0 0 2280 240 0 0 20 0 1 0 44085815 421658624 81856 18446744073709551615 4227072 8923433 140725281693232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34205696 140725281700086 140725281700392 140725281700392 140725281705962 0
/proc/37931/statm: 102944 81856 2400 1147 0 90371 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 415968 KiB
Current children cumulated memory: 330496 KiB
[startup+51.1058 s]
/proc/loadavg: 4.15 4.14 4.09 5/278 37933
/proc/meminfo: memFree=67262152/131249992 swapFree=33010160/33010684
[pid=37928] ppid=37925 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/37928/stat : 37928 (run-opt-ls-log.) S 37925 37928 37288 0 -1 4194304 245 6481 0 0 0 0 13 0 20 0 1 0 44085799 4292608 768 18446744073709551615 94084305174528 94084306069061 140731713781440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94084306308112 94084306355856 94084312301568 140731713788187 140731713788385 140731713788385 140731713793987 0
/proc/37928/statm: 1048 768 704 219 0 110 0
[pid=37931] ppid=37928 vsize=539844 memory=436608 CPUtime=50.74 cores=4,6
/proc/37931/stat : 37931 (roundingsat) R 37928 37928 37288 0 -1 4194304 84129 0 0 0 4780 294 0 0 20 0 1 0 44085815 552800256 109152 18446744073709551615 4227072 8923433 140725281693232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34205696 140725281700086 140725281700392 140725281700392 140725281705962 0
/proc/37931/statm: 134961 109152 2400 1147 0 122388 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 544036 KiB
Current children cumulated memory: 439680 KiB
[startup+65.0185 s]
# the end of solver process 37928 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=61.0443 s, system=3.44158 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 4.15 4.14 4.09 5/278 37933
/proc/meminfo: memFree=67262152/131249992 swapFree=33010160/33010684
[pid=37928] ppid=37925 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/37928/stat : 37928 (run-opt-ls-log.) S 37925 37928 37288 0 -1 4194304 245 6481 0 0 0 0 13 0 20 0 1 0 44085799 4292608 768 18446744073709551615 94084305174528 94084306069061 140731713781440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94084306308112 94084306355856 94084312301568 140731713788187 140731713788385 140731713788385 140731713793987 0
/proc/37928/statm: 1048 768 704 219 0 110 0
[pid=37931] ppid=37928 vsize=539844 memory=436608 CPUtime=50.83 cores=4,6
/proc/37931/stat : 37931 (roundingsat) R 37928 37928 37288 0 -1 4194304 84129 0 0 0 4789 294 0 0 20 0 1 0 44085815 552800256 109152 18446744073709551615 4227072 8923433 140725281693232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34205696 140725281700086 140725281700392 140725281700392 140725281705962 0
/proc/37931/statm: 134961 109152 2400 1147 0 122388 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 544036 KiB
Current children cumulated memory: 439680 KiB
[startup+57.6002 s]
/proc/loadavg: 4.14 4.14 4.09 5/278 37933
/proc/meminfo: memFree=67025048/131249992 swapFree=33010160/33010684
[pid=37928] ppid=37925 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/37928/stat : 37928 (run-opt-ls-log.) S 37925 37928 37288 0 -1 4194304 245 6481 0 0 0 0 13 0 20 0 1 0 44085799 4292608 768 18446744073709551615 94084305174528 94084306069061 140731713781440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94084306308112 94084306355856 94084312301568 140731713788187 140731713788385 140731713788385 140731713793987 0
/proc/37928/statm: 1048 768 704 219 0 110 0
[pid=37931] ppid=37928 vsize=540224 memory=444800 CPUtime=57.22 cores=4,6
/proc/37931/stat : 37931 (roundingsat) R 37928 37928 37288 0 -1 4194304 86180 0 0 0 5412 310 0 0 20 0 1 0 44085815 553189376 111200 18446744073709551615 4227072 8923433 140725281693232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34205696 140725281700086 140725281700392 140725281700392 140725281705962 0
/proc/37931/statm: 135056 111200 2400 1147 0 122483 0
Current children cumulated CPU time: 57.35 s
Current children cumulated vsize: 544416 KiB
Current children cumulated memory: 447872 KiB
[startup+60.8002 s]
/proc/loadavg: 4.14 4.14 4.09 5/278 37938
/proc/meminfo: memFree=66789192/131249992 swapFree=33010160/33010684
[pid=37928] ppid=37925 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/37928/stat : 37928 (run-opt-ls-log.) S 37925 37928 37288 0 -1 4194304 245 6481 0 0 0 0 13 0 20 0 1 0 44085799 4292608 768 18446744073709551615 94084305174528 94084306069061 140731713781440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94084306308112 94084306355856 94084312301568 140731713788187 140731713788385 140731713788385 140731713793987 0
/proc/37928/statm: 1048 768 704 219 0 110 0
[pid=37931] ppid=37928 vsize=711740 memory=589564 CPUtime=60.41 cores=4,6
/proc/37931/stat : 37931 (roundingsat) R 37928 37928 37288 0 -1 4194304 117251 0 0 0 5718 323 0 0 20 0 1 0 44085815 728821760 147391 18446744073709551615 4227072 8923433 140725281693232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34205696 140725281700086 140725281700392 140725281700392 140725281705962 0
/proc/37931/statm: 177935 147391 2432 1147 0 165362 0
Current children cumulated CPU time: 60.54 s
Current children cumulated vsize: 715932 KiB
Current children cumulated memory: 592636 KiB
[startup+62.4002 s]
/proc/loadavg: 4.13 4.14 4.09 5/278 37939
/proc/meminfo: memFree=66696264/131249992 swapFree=33010160/33010684
[pid=37928] ppid=37925 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/37928/stat : 37928 (run-opt-ls-log.) S 37925 37928 37288 0 -1 4194304 245 6481 0 0 0 0 13 0 20 0 1 0 44085799 4292608 768 18446744073709551615 94084305174528 94084306069061 140731713781440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94084306308112 94084306355856 94084312301568 140731713788187 140731713788385 140731713788385 140731713793987 0
/proc/37928/statm: 1048 768 704 219 0 110 0
[pid=37931] ppid=37928 vsize=712304 memory=597384 CPUtime=62.01 cores=4,6
/proc/37931/stat : 37931 (roundingsat) R 37928 37928 37288 0 -1 4194304 118156 0 0 0 5872 329 0 0 20 0 1 0 44085815 729399296 149346 18446744073709551615 4227072 8923433 140725281693232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34205696 140725281700086 140725281700392 140725281700392 140725281705962 0
/proc/37931/statm: 178076 149346 2432 1147 0 165503 0
Current children cumulated CPU time: 62.14 s
Current children cumulated vsize: 716496 KiB
Current children cumulated memory: 600456 KiB
[startup+64.0002 s]*
/proc/loadavg: 4.13 4.14 4.09 5/278 37939
/proc/meminfo: memFree=66615988/131249992 swapFree=33010160/33010684
[pid=37928] ppid=37925 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/37928/stat : 37928 (run-opt-ls-log.) S 37925 37928 37288 0 -1 4194304 245 6481 0 0 0 0 13 0 20 0 1 0 44085799 4292608 768 18446744073709551615 94084305174528 94084306069061 140731713781440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94084306308112 94084306355856 94084312301568 140731713788187 140731713788385 140731713788385 140731713793987 0
/proc/37928/statm: 1048 768 704 219 0 110 0
[pid=37931] ppid=37928 vsize=712632 memory=597640 CPUtime=63.6 cores=4,6
/proc/37931/stat : 37931 (roundingsat) R 37928 37928 37288 0 -1 4194304 118238 0 0 0 6027 333 0 0 20 0 1 0 44085815 729735168 149410 18446744073709551615 4227072 8923433 140725281693232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34205696 140725281700086 140725281700392 140725281700392 140725281705962 0
/proc/37931/statm: 178158 149410 2432 1147 0 165585 0
Current children cumulated CPU time: 63.73 s
Current children cumulated vsize: 716824 KiB
Current children cumulated memory: 600712 KiB
[startup+64.8002 s]
/proc/loadavg: 4.13 4.14 4.09 5/278 37939
/proc/meminfo: memFree=66615988/131249992 swapFree=33010160/33010684
[pid=37928] ppid=37925 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/37928/stat : 37928 (run-opt-ls-log.) S 37925 37928 37288 0 -1 4194304 245 6481 0 0 0 0 13 0 20 0 1 0 44085799 4292608 768 18446744073709551615 94084305174528 94084306069061 140731713781440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94084306308112 94084306355856 94084312301568 140731713788187 140731713788385 140731713788385 140731713793987 0
/proc/37928/statm: 1048 768 704 219 0 110 0
[pid=37931] ppid=37928 vsize=712632 memory=597640 CPUtime=64.29 cores=4,6
/proc/37931/stat : 37931 (roundingsat) D 37928 37928 37288 0 -1 4194304 118242 0 0 0 6089 340 0 0 20 0 1 0 44085815 729735168 149410 18446744073709551615 4227072 8923433 140725281693232 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 34205696 140725281700086 140725281700392 140725281700392 140725281705962 0
/proc/37931/statm: 178158 149410 2432 1147 0 165585 0
Current children cumulated CPU time: 64.42 s
Current children cumulated vsize: 716824 KiB
Current children cumulated memory: 600712 KiB
[startup+65.0002 s]*
/proc/loadavg: 4.13 4.14 4.09 5/278 37939
/proc/meminfo: memFree=66938304/131249992 swapFree=33010160/33010684
[pid=37928] ppid=37925 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/37928/stat : 37928 (run-opt-ls-log.) S 37925 37928 37288 0 -1 4194304 245 6481 0 0 0 0 13 0 20 0 1 0 44085799 4292608 768 18446744073709551615 94084305174528 94084306069061 140731713781440 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94084306308112 94084306355856 94084312301568 140731713788187 140731713788385 140731713788385 140731713793987 0
/proc/37928/statm: 1048 768 704 219 0 110 0
[pid=37931] ppid=37928 vsize=275060 memory=231024 CPUtime=64.31 cores=4,6
/proc/37931/stat : 37931 (roundingsat) R 37928 37928 37288 0 -1 4194304 118242 0 0 0 6090 341 0 0 20 0 1 0 44085815 281661440 57756 18446744073709551615 4227072 8923433 140725281693232 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 34205696 140725281700086 140725281700392 140725281700392 140725281705962 0
/proc/37931/statm: 68765 57756 2432 1147 0 56192 0
Current children cumulated CPU time: 64.44 s
Current children cumulated vsize: 279252 KiB
Current children cumulated memory: 234096 KiB
Child status: 0
Real time (s): 65.0186
CPU time (s): 64.4859
CPU user time (s): 61.0443
CPU system time (s): 3.44158
CPU usage (%): 99.1807
Max. virtual memory (cumulated for all children) (KiB): 716824
Max. memory (cumulated for all children) (KiB): 600712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 61.0443
system time used= 3.44158
maximum resident set size= 597640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124991
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= 11100
involuntary context switches= 366
# summary of solver processes directly reported to runsolver:
# pid: 37928
# total CPU time (s): 64.4859
# total CPU user time (s): 61.0443
# total CPU system time (s): 3.44158
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.159674 second user time and 0.338632 second system time
The end
Begin job on nodeC035 at 2025-06-30 13:48:33
IDJOB=4484219
IDBENCH=146652
IDSOLVER=3356
FILE ID=nodeC035/4484219-1751284113
RUNJOBID= nodeC035-1751280474-37304
SLURM_JOB_ID= 9594227
Free space on /tmp= 433024 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484219-1751284113/watcher-4484219-1751284113 -o /tmp/evaluation-result-4484219-1751284113/solver-4484219-1751284113 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751280474-37304 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4484219-1751284113.opb PROOFDIR/proof-4484219-1751284113
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b97b9bf3767749854a32fccedb37d823
RANDOM SEED=371784674
nodeC035 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.752
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.737
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.51
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.048
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.51
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 : 3552.444
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.732
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.51
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.746
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.51
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 : 3602.277
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.51
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 : 3638.961
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 68684212 kB
MemAvailable: 126853268 kB
Buffers: 1840 kB
Cached: 58886248 kB
SwapCached: 8 kB
Active: 3151852 kB
Inactive: 58606716 kB
Active(anon): 2876980 kB
Inactive(anon): 11624 kB
Active(file): 274872 kB
Inactive(file): 58595092 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 757244 kB
Writeback: 0 kB
AnonPages: 2871584 kB
Mapped: 118120 kB
Shmem: 18048 kB
KReclaimable: 276664 kB
Slab: 390184 kB
SReclaimable: 276664 kB
SUnreclaim: 113520 kB
KernelStack: 4528 kB
PageTables: 9104 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 3557232 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150824 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1755136 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433016 MiB
End job on nodeC035 at 2025-06-30 13:49:38