Trace number 4485618

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
CASHWMaxSATDisjCom-S 2025-06-01SAT (TO)1095793408 3600.1 3610.5

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-roll3000.opb
MD5SUM9da0f014fb9cbd107dd1b5ea973ba0c7
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1086940160
Best CPU time to get the best result obtained on this benchmark2471.28
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8902
Total number of constraints2864
Number of constraints which are clauses143
Number of constraints which are cardinality constraints (but not clauses)31
Number of constraints which are nor clauses,nor cardinality constraints2690
Minimum length of a constraint2
Maximum length of a constraint2407
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1024000000000
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 2123511627775
Number of bits of the biggest sum of numbers41
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

3.48/3.53	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3.48/3.53	c Do: 140722877805832 140722877805840
9.17/9.20	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
18.24/18.36	o 2147482624
18.24/18.39	c Do: 140722877805832 140722877805840
18.34/18.40	o 1610611712
18.34/18.40	c Do: 140722877805832 140722877805840
18.34/18.42	o 1342176256
18.34/18.42	c Do: 140722877805832 140722877805840
18.34/18.44	o 1207958528
18.34/18.44	c Do: 140722877805832 140722877805840
18.34/18.46	o 1140849664
18.34/18.46	c Do: 140722877805832 140722877805840
25.43/25.55	o 1107295744
25.43/25.55	c Do: 140722877805832 140722877805840
2133.68/2139.77	o 1107295616
2133.68/2139.79	o 1105131520
2133.78/2139.81	o 1103267840
2133.78/2139.83	o 1103235072
2133.78/2139.85	o 1103233024
2133.78/2139.88	o 1103118336
2133.88/2139.90	o 1103111168
2133.98/2140.01	o 1103111164
2133.98/2140.03	o 1103111160
2133.98/2140.05	o 1103111152
2133.98/2140.07	o 1103111120
2144.25/2150.36	o 1103109584
2144.35/2150.42	o 1103109328
2144.35/2150.44	o 1103109264
2144.55/2150.60	o 1103109248
2144.55/2150.63	o 1103108608
2150.33/2156.45	o 1103096320
2150.33/2156.47	o 1103088128
2150.33/2156.49	o 1103071744
2150.43/2156.51	o 1103069696
2150.43/2156.54	o 1103069440
2150.43/2156.56	o 1103069184
2150.43/2156.58	o 1103044608
2150.53/2156.60	o 1103044096
2150.53/2156.63	o 1103043840
2150.53/2156.65	o 1103043776
2150.53/2156.67	o 1103043712
2150.53/2156.69	o 1103043584
2150.63/2156.72	o 1102781440
2159.01/2165.14	o 1102691568
2159.01/2165.16	o 1102691536
2159.01/2165.18	o 1102691472
2159.10/2165.20	o 1102691464
2159.10/2165.23	o 1102691456
2159.10/2165.25	o 1102691328
2159.10/2165.27	o 1100594176
2170.27/2176.44	o 1100592128
2170.27/2176.46	o 1100583936
2170.27/2176.48	o 1100579840
2170.36/2176.50	o 1100578816
2170.36/2176.53	o 1100546048
2170.36/2176.55	o 1100480512
2170.36/2176.57	o 1100479488
2202.27/2208.57	o 1100476160
2202.37/2208.60	o 1100475136
2202.37/2208.62	o 1100466432
2202.37/2208.65	o 1100466176
2225.20/2231.57	o 1100465920
2225.30/2231.61	o 1100465536
2225.30/2231.66	o 1100465416
2226.50/2232.82	o 1099940360
2226.50/2232.84	o 1099940352
2226.50/2232.87	o 1099940096
2226.50/2232.89	o 1099939840
2226.60/2232.91	o 1099938816
2226.60/2232.93	o 1099936768
2243.35/2249.76	o 1099922944
2243.45/2249.80	o 1099660800
2243.45/2249.82	o 1099652608
2243.45/2249.85	o 1099636224
2243.45/2249.87	o 1099635712
2243.55/2249.90	o 1099111424
2272.67/2279.15	o 1099103744
2272.67/2279.18	o 1099095552
2272.76/2279.20	o 1099078976
2272.76/2279.23	o 1099046208
2298.79/2305.32	o 1098906688
2298.79/2305.35	o 1098906648
2298.79/2305.37	o 1098906632
2298.79/2305.39	o 1098906624
2311.15/2317.72	o 1098382336
2311.15/2317.75	o 1098378240
2311.15/2317.77	o 1098345472
2311.15/2317.79	o 1098337280
2311.25/2317.81	o 1098335232
2311.25/2317.84	o 1098318848
2311.25/2317.86	o 1098253312
2311.25/2317.88	o 1098252288
2339.47/2346.17	o 1098252092
2339.47/2346.20	o 1098186556
2339.56/2346.22	o 1098153788
2339.56/2346.24	o 1098153276
2339.56/2346.26	o 1098153020
2339.66/2346.35	o 1098153016
2339.66/2346.37	o 1098152984
2339.76/2346.40	o 1098148888
2357.51/2364.21	o 1098148880
2357.51/2364.24	o 1098146832
2357.51/2364.26	o 1098145808
2357.51/2364.28	o 1098145792
2357.61/2364.30	o 1098137600
2357.61/2364.33	o 1098121216
2357.61/2364.35	o 1097859072
2357.61/2364.37	o 1097594880
2357.61/2364.39	o 1097593856
2357.71/2364.42	o 1097592832
2379.15/2385.98	o 1097579520
2379.26/2386.01	o 1097448448
2379.26/2386.03	o 1097382912
2379.26/2386.05	o 1097333760
2379.26/2386.07	o 1097333248
2379.36/2386.10	o 1097332736
2379.36/2386.13	o 1097201664
2379.36/2386.15	o 1096939520
2456.42/2463.48	o 1096938496
2456.52/2463.51	o 1096937472
2456.52/2463.53	o 1096935424
2456.52/2463.56	o 1096934912
2456.62/2463.60	o 1096933888
2521.33/2528.58	o 1096932864
2521.42/2528.61	o 1096928768
2521.42/2528.63	o 1096927744
2521.42/2528.66	o 1096796672
2534.89/2542.12	o 1096795136
2536.78/2544.08	o 1096794880
2536.88/2544.11	o 1096794624
2536.88/2544.13	o 1096794368
2536.88/2544.15	o 1096794112
2536.88/2544.18	o 1096743936
2536.98/2544.20	o 1096742912
2536.98/2544.23	o 1096740864
2536.98/2544.25	o 1096736768
2536.98/2544.27	o 1096728576
2537.08/2544.30	o 1096695808
2652.83/2660.43	o 1096695008
2652.83/2660.47	o 1096692960
2652.93/2660.50	o 1096692928
2652.93/2660.52	o 1096562880
2652.93/2660.54	o 1096546496
2708.27/2716.05	o 1096539200
2708.27/2716.08	o 1096514624
2708.27/2716.10	o 1096514560
2708.37/2716.12	o 1096512512
2724.81/2732.68	o 1096511488
2724.91/2732.71	o 1096495104
2724.91/2732.73	o 1096486912
2724.91/2732.75	o 1096421376
2724.91/2732.78	o 1096417280
2725.01/2732.80	o 1096416256
2725.01/2732.82	o 1096408192
2725.01/2732.85	o 1096408064
2953.02/2961.54	o 1096407040
3021.43/3030.11	o 1096407024
3021.43/3030.14	o 1096406992
3021.43/3030.16	o 1096406480
3021.43/3030.18	o 1096406352
3021.52/3030.21	o 1096406336
3021.52/3030.23	o 1096406208
3021.52/3030.25	o 1096406080
3136.27/3145.31	o 1096406048
3136.27/3145.34	o 1096406016
3347.65/3357.35	o 1096285952
3347.65/3357.38	o 1096285440
3347.75/3357.41	o 1096285184
3347.75/3357.43	o 1096284160
3347.75/3357.46	o 1096022016
3347.75/3357.48	o 1096013824
3347.85/3357.50	o 1095948288
3347.85/3357.53	o 1095944192
3347.85/3357.55	o 1095942144
3347.85/3357.57	o 1095811072
3391.51/3401.33	o 1095793728
3391.51/3401.36	o 1095793472
3391.51/3401.38	o 1095793408
3600.08/3610.50	
3600.08/3610.50	v -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 x8880 x8881 -x8882 x8883 x8884 x8885 x8886 -x8887 -x8888 -x8889 -x8890 -x8891 x8892 -x8893 x8894 -x8895 x8896 -x8897 -x8898 -x8899 -x8900 -x8901 x8902 -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 -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 -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 -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 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1460 x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 x3630 -x3631 -x3632 -x3633 -x3634 x3635 -x3636 -x3637 -x3638 -x3639 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 x3856 -x3857 -x3858 -x3859 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 x4511 x4512 -x4513 -x4514 -x4515 x4516 -x4517 -x4518 -x4519 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -x28 -x29 -x5434 -x5435 -x30 -x31 -x5436 -x5437 -x252 -x253 -x5658 -x5659 -x366 -x367 -x5772 -x5773 -x388 -x389 -x5794 -x5795 -x410 -x411 -x5816 -x5817 -x432 -x433 -x5838 -x5839 -x454 -x455 x5860 -x5861 -x476 -x477 -x5882 -x5883 -x498 -x499 -x5904 -x5905 -x32 -x33 -x5438 -x5439 -x54 -x55 -x5460 -x5461 -x76 -x77 -x5482 -x5483 -x98 -x99 -x5504 -x5505 -x120 -x121 -x5526 -x5527 -x142 -x143 -x5548 -x5549 -x164 -x165 -x5570 -x5571 -x186 -x187 -x5592 -x5593 -x208 -x209 -x5614 -x5615 -x230 -x231 -x5636 -x5637 x254 -x255 -x5660 -x5661 -x276 -x277 -x5682 -x5683 -x298 -x299 -x5704 -x5705 -x320 -x321 -x5726 -x5727 -x342 -x343 -x5748 -x5749 -x356 -x357 -x5762 -x5763 -x358 -x359 -x5764 -x5765 -x360 -x361 -x5766 -x5767 -x362 -x363 -x5768 -x5769 -x364 -x365 -x5770 -x5771 -x368 -x369 -x5774 -x5775 -x370 -x371 -x5776 -x5777 -x372 -x373 -x5778 -x5779 x374 -x375 -x5780 -x5781 -x376 -x377 -x5782 -x5783 -x378 -x379 -x5784 -x5785 -x380 -x381 -x5786 -x5787 x382 -x383 -x5788 -x5789 -x384 -x385 -x5790 -x5791 -x386 -x387 -x5792 -x5793 -x390 -x391 -x5796 -x5797 -x392 -x393 -x5798 -x5799 -x394 -x395 -x5800 -x5801 -x396 -x397 -x5802 -x5803 -x398 -x399 -x5804 -x5805 -x400 -x401 -x5806 -x5807 -x402 -x403 x5808 -x5809 -x404 -x405 -x5810 -x5811 -x406 -x407 -x5812 -x5813 -x408 -x409 -x5814 -x5815 -x412 -x413 -x5818 -x5819 -x414 -x415 -x5820 -x5821 -x416 -x417 -x5822 -x5823 -x418 -x419 -x5824 -x5825 -x420 -x421 -x5826 -x5827 -x422 -x423 -x5828 -x5829 -x424 -x425 -x5830 -x5831 -x426 -x427 -x5832 x5833 -x428 -x429 -x5834 -x5835 -x430 -x431 -x5836 -x5837 -x434 -x435 -x5840 -x5841 -x436 -x437 x5842 -x5843 -x438 -x439 -x5844 -x5845 -x440 -x441 -x5846 -x5847 -x442 -x443 -x5848 -x5849 -x444 -x445 -x5850 -x5851 -x446 -x447 -x5852 -x5853 -x448 -x449 -x5854 -x5855 -x450 -x451 -x5856 -x5857 -x452 -x453 -x5858 -x5859 -x456 -x457 -x5862 -x5863 -x458 -x459 -x5864 -x5865 -x460 -x461 -x5866 -x5867 -x462 -x463 -x5868 -x5869 -x464 -x465 -x5870 -x5871 -x466 -x467 -x5872 -x5873 -x468 -x469 -x5874 -x5875 -x470 -x471 -x5876 -x5877 -x472 -x473 -x5878 -x5879 -x474 -x475 x5880 -x5881 -x478 -x479 -x5884 -x5885 -x480 -x481 -x5886 -x5887 x482 -x483 -x5888 -x5889 -x484 -x485 -x5890 -x5891 -x486 -x487 -x5892 -x5893 -x488 -x489 -x5894 -x5895 -x490 -x491 -x5896 -x5897 -x492 -x493 -x5898 -x5899 -x494 x495 -x5900 -x5901 x496 -x497 -x5902 -x5903 -x500 -x501 -x5906 -x5907 -x502 -x503 -x5908 -x5909 -x504 -x505 -x5910 -x5911 -x506 -x507 -x5912 -x5913 -x508 -x509 -x5914 -x5915 -x510 -x511 -x5916 -x5917 x512 -x513 -x5918 -x5919 -x514 -x515 -x5920 -x5921 -x516 -x517 -x5922 -x5923 -x518 -x519 -x5924 -x5925 x34 -x35 -x5440 -x5441 x36 -x37 -x5442 -x5443 -x38 -x39 -x5444 -x5445 -x40 -x41 -x5446 -x5447 -x42 -x43 -x5448 -x5449 -x44 -x45 -x5450 -x5451 -x46 -x47 -x5452 -x5453 -x48 -x49 -x5454 -x5455 -x50 -x51 -x5456 -x5457 -x52 -x53 -x5458 x5459 -x56 -x57 x5462 -x5463 -x58 -x59 -x5464 -x5465 -x60 -x61 -x5466 -x5467 -x62 -x63 -x5468 -x5469 -x64 -x65 -x5470 -x5471 -x66 -x67 -x5472 -x5473 -x68 -x69 x5474 -x5475 -x70 -x71 -x5476 -x5477 -x72 -x73 -x5478 -x5479 -x74 -x75 -x5480 -x5481 -x78 -x79 -x5484 -x5485 -x80 -x81 x5486 -x5487 -x82 -x83 -x5488 -x5489 -x84 -x85 -x5490 -x5491 -x86 -x87 -x5492 -x5493 -x88 -x89 x5494 -x5495 -x90 -x91 -x5496 -x5497 -x92 -x93 -x5498 -x5499 -x94 -x95 -x5500 -x5501 -x96 -x97 -x5502 -x5503 -x100 -x101 -x5506 -x5507 -x102 -x103 x5508 -x5509 -x104 -x105 -x5510 -x5511 -x106 -x107 -x5512 -x5513 -x108 -x109 -x5514 -x5515 -x110 -x111 -x5516 -x5517 -x112 -x113 -x5518 -x5519 -x114 -x115 -x5520 -x5521 -x116 -x117 -x5522 -x5523 -x118 -x119 -x5524 -x5525 x122 -x123 -x5528 -x5529 -x124 -x125 -x5530 -x5531 -x126 -x127 -x5532 -x5533 -x128 -x129 x5534 -x5535 -x130 -x131 -x5536 -x5537 -x132 -x133 -x5538 -x5539 -x134 -x135 -x5540 -x5541 -x136 -x137 -x5542 -x5543 -x138 -x139 -x5544 -x5545 -x140 -x141 x5546 -x5547 -x144 -x145 -x5550 -x5551 -x146 -x147 -x5552 -x5553 -x148 -x149 -x5554 -x5555 -x150 -x151 -x5556 -x5557 -x152 -x153 x5558 -x5559 -x154 -x155 -x5560 -x5561 -x156 -x157 -x5562 -x5563 -x158 -x159 -x5564 -x5565 -x160 -x161 -x5566 -x5567 x162 -x163 -x5568 -x5569 x166 -x167 -x5572 -x5573 -x168 -x169 -x5574 -x5575 -x170 -x171 -x5576 -x5577 -x172 -x173 -x5578 -x5579 -x174 -x175 -x5580 -x5581 -x176 -x177 x5582 -x5583 -x178 -x179 -x5584 -x5585 -x180 -x181 -x5586 -x5587 -x182 -x183 -x5588 -x5589 -x184 -x185 -x5590 -x5591 -x188 -x189 x5594 -x5595 -x190 -x191 x5596 -x5597 -x192 -x193 -x5598 -x5599 -x194 -x195 -x5600 -x5601 x196 -x197 -x5602 -x5603 -x198 -x199 -x5604 -x5605 -x200 -x201 x5606 -x5607 -x202 -x203 -x5608 -x5609 -x204 -x205 -x5610 -x5611 -x206 -x207 -x5612 x5613 -x210 -x211 x5616 -x5617 -x212 -x213 -x5618 -x5619 -x214 -x215 -x5620 -x5621 -x216 -x217 -x5622 -x5623 -x218 -x219 -x5624 -x5625 x220 -x221 -x5626 -x5627 x222 -x223 -x5628 -x5629 -x224 -x225 -x5630 -x5631 -x226 -x227 -x5632 -x5633 -x228 -x229 -x5634 -x5635 x232 -x233 -x5638 -x5639 -x234 -x235 x5640 -x5641 -x236 -x237 -x5642 -x5643 -x238 -x239 -x5644 -x5645 x240 -x241 -x5646 -x5647 -x242 -x243 x5648 -x5649 -x244 -x245 -x5650 -x5651 -x246 -x247 x5652 -x5653 -x248 -x249 -x5654 -x5655 x250 -x251 -x5656 -x5657 -x256 -x257 -x5662 -x5663 -x258 -x259 -x5664 -x5665 -x260 -x261 -x5666 -x5667 -x262 -x263 -x5668 -x5669 -x264 -x265 -x5670 -x5671 -x266 -x267 x5672 -x5673 -x268 -x269 x5674 -x5675 -x270 -x271 -x5676 -x5677 -x272 -x273 -x5678 -x5679 -x274 -x275 -x5680 -x5681 x278 -x279 -x5684 -x5685 -x280 -x281 -x5686 -x5687 x282 -x283 -x5688 -x5689 -x284 -x285 -x5690 -x5691 -x286 -x287 -x5692 -x5693 -x288 -x289 x5694 -x5695 -x290 -x291 -x5696 -x5697 -x292 -x293 -x5698 -x5699 -x294 -x295 -x5700 -x5701 x296 -x297 -x5702 -x5703 -x300 -x301 -x5706 -x5707 -x302 -x303 -x5708 -x5709 x304 -x305 -x5710 -x5711 -x306 -x307 -x5712 -x5713 -x310 -x311 -x5716 -x5717 -x312 -x313 -x5718 -x5719 -x314 -x315 -x5720 -x5721 -x316 -x317 -x5722 -x5723 -x318 -x319 -x5724 -x5725 -x322 -x323 -x5728 x5729 -x324 -x325 -x5730 -x5731 -x326 -x327 -x5732 -x5733 -x328 -x329 -x5734 -x5735 -x330 -x331 -x5736 -x5737 -x332 -x333 -x5738 -x5739 -x334 -x335 -x5740 -x5741 -x336 -x337 -x5742 -x5743 -x338 -x339 -x5744 -x5745 -x340 -x341 -x5746 -x5747 -x344 -x345 -x5750 -x5751 -x346 -x347 -x5752 -x5753 -x348 -x349 -x5754 -x5755 -x350 -x351 -x5756 -x5757 -x352 -x353 -x5758 -x5759 -x354 -x355 x5760 -x5761 -x308 x309 -x5714 -x5715 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 x5936 -x5937 -x5938 -x5939 -x5940 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 x7136 -x7137 -x7138 -x7139 -x7140 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 x6446 -x6447 x6448 -x6449 -x6450 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 x7166 -x7167 x7168 -x7169 -x7170 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 x6611 x6612 -x6613 -x6614 -x6615 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 x7184 -x7185 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 x6942 -x6943 -x6944 -x6945 -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 -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 -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 -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 -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 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -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 -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 -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 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 x7286 -x7287 x7288 -x7289 -x7290 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 x8486 -x8487 x8488 -x8489 -x8490 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 x7301 -x7302 -x7303 -x7304 -x7305 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 x7797 -x7798 -x7799 -x7800 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 x8516 x8517 -x8518 -x8519 -x8520 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 x8534 -x8535 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130
3600.08/3610.50	v -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 x8456 x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -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 -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 -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 -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 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 x8547 -x8548 -x8549 -x8550 -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 -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 -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 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -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 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 x8561 x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 x8576 x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 x8621 x8622 -x8623 -x8624 -x8625 -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 -x8738 -x8814 -x8815 -x8816 -x8818 -x8819 -x8820 -x8821 -x8626 -x8627 -x8795 -x8806 -x8817 -x8828 x8839 -x8850 -x8861 -x8628 -x8639 -x8650 -x8661 -x8672 -x8683 -x8694 -x8705 -x8716 -x8727 x8739 -x8822 -x8750 -x8761 -x8772 -x8783 -x8790 -x8791 -x8792 -x8793 -x8794 -x8796 -x8797 -x8798 x8799 -x8800 -x8801 -x8802 x8803 -x8804 -x8805 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 x8813 -x8823 -x8824 x8825 -x8826 -x8827 -x8829 x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 x8849 -x8851 -x8852 x8853 -x8854 -x8855 -x8856 -x8857 -x8858 x8859 x8860 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 x8868 -x8869 -x8870 -x8871 x8629 x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 x8638 x8640 -x8641 -x8642 -x8643 -x8644 -x8645 x8646 -x8647 -x8648 -x8649 -x8651 x8652 -x8653 -x8654 -x8655 x8656 -x8657 -x8658 -x8659 -x8660 -x8662 x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 x8673 -x8674 -x8675 x8676 -x8677 -x8678 -x8679 -x8680 -x8681 x8682 -x8684 -x8685 -x8686 -x8687 x8688 -x8689 -x8690 -x8691 -x8692 x8693 x8695 -x8696 -x8697 -x8698 -x8699 x8700 -x8701 -x8702 -x8703 -x8704 x8706 x8707 -x8708 -x8709 x8710 -x8711 x8712 -x8713 -x8714 x8715 x8717 -x8718 -x8719 -x8720 -x8721 x8722 x8723 -x8724 -x8725 -x8726 x8728 x8729 -x8730 -x8731 x8732 x8733 -x8734 x8735 -x8736 x8737 -x8740 -x8741 -x8742 -x8743 -x8744 x8745 x8746 -x8747 -x8748 -x8749 x8751 -x8752 x8753 -x8754 -x8755 x8756 -x8757 -x8758 -x8759 x8760 -x8762 -x8763 x8764 -x8765 -x8767 -x8768 -x8769 -x8770 -x8771 x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8784 -x8785 -x8786 -x8787 -x8788 x8789 x8766
3600.08/3610.50	s SATISFIABLE

Verifier Data 

OK	1095793408

Watcher Data 

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 (60976 MiB free)
  memory of node 1: 64465 MiB (62534 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485618-1751309408/watcher-4485618-1751309408 -o /tmp/evaluation-result-4485618-1751309408/solver-4485618-1751309408 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751305795-50626 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4485618-1751309408.opb -total-t=3600 -no-par -v0 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=51022, runsolver pid=51016
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 4.13 4.10 4.02 4/259 51036
/proc/meminfo: memFree=126434940/131249992 swapFree=33010684/33010684
[pid=51022] ppid=51016 vsize=34256 memory=14464 CPUtime=0.09 cores=1,3
/proc/51022/stat : 51022 (CASHWMaxSAT-Dis) R 51016 51022 50614 0 -1 4194304 3010 0 0 0 9 0 0 0 20 0 1 0 46619547 35078144 3616 18446744073709551615 4198400 14093885 140722877808192 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24940544 140722877815146 140722877815261 140722877815261 140722877820863 0
/proc/51022/statm: 8564 3616 736 2416 0 5666 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34256 KiB
Current children cumulated memory: 14464 KiB

[startup+0.20556 s]*
/proc/loadavg: 4.13 4.10 4.02 4/260 51041
/proc/meminfo: memFree=126425340/131249992 swapFree=33010684/33010684
[pid=51022] ppid=51016 vsize=40404 memory=20480 CPUtime=0.2 cores=1,3
/proc/51022/stat : 51022 (CASHWMaxSAT-Dis) R 51016 51022 50614 0 -1 4194304 4519 0 0 0 19 1 0 0 20 0 1 0 46619547 41373696 5120 18446744073709551615 4198400 14093885 140722877808192 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24940544 140722877815146 140722877815261 140722877815261 140722877820863 0
/proc/51022/statm: 10101 5120 736 2416 0 7203 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40404 KiB
Current children cumulated memory: 20480 KiB

[startup+0.305435 s]*
/proc/loadavg: 4.13 4.10 4.02 6/260 51041
/proc/meminfo: memFree=126370168/131249992 swapFree=33010684/33010684
[pid=51022] ppid=51016 vsize=42828 memory=22828 CPUtime=0.3 cores=1,3
/proc/51022/stat : 51022 (CASHWMaxSAT-Dis) R 51016 51022 50614 0 -1 4194304 5364 0 0 0 29 1 0 0 20 0 1 0 46619547 43855872 5707 18446744073709551615 4198400 14093885 140722877808192 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24940544 140722877815146 140722877815261 140722877815261 140722877820863 0
/proc/51022/statm: 10707 5707 768 2416 0 7809 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42828 KiB
Current children cumulated memory: 22828 KiB

[startup+0.700138 s]
/proc/loadavg: 4.13 4.10 4.02 5/263 51051
/proc/meminfo: memFree=126285728/131249992 swapFree=33010684/33010684
[pid=51022] ppid=51016 vsize=53000 memory=32040 CPUtime=0.68 cores=1,3
/proc/51022/stat : 51022 (CASHWMaxSAT-Dis) R 51016 51022 50614 0 -1 4194304 7645 0 0 0 67 1 0 0 20 0 1 0 46619547 54272000 8010 18446744073709551615 4198400 14093885 140722877808192 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24940544 140722877815146 140722877815261 140722877815261 140722877820863 0
/proc/51022/statm: 13250 8010 768 2416 0 10352 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 53000 KiB
Current children cumulated memory: 32040 KiB

[startup+1.50012 s]
/proc/loadavg: 4.13 4.10 4.02 5/263 51051
/proc/meminfo: memFree=126106788/131249992 swapFree=33010684/33010684
[pid=51022] ppid=51016 vsize=72024 memory=48592 CPUtime=1.48 cores=1,3
/proc/51022/stat : 51022 (CASHWMaxSAT-Dis) R 51016 51022 50614 0 -1 4194304 10179 0 0 0 146 2 0 0 20 0 1 0 46619547 73752576 12148 18446744073709551615 4198400 14093885 140722877808192 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24940544 140722877815146 140722877815261 140722877815261 140722877820863 0
/proc/51022/statm: 18006 12148 768 2416 0 15108 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 72024 KiB
Current children cumulated memory: 48592 KiB

[startup+3.10557 s]
/proc/loadavg: 4.12 4.10 4.02 5/263 51096
/proc/meminfo: memFree=125830948/131249992 swapFree=33010684/33010684
[pid=51022] ppid=51016 vsize=204248 memory=185876 CPUtime=3.09 cores=1,3
/proc/51022/stat : 51022 (CASHWMaxSAT-Dis) R 51016 51022 50614 0 -1 4194304 26613 0 0 0 302 7 0 0 20 0 1 0 46619547 209149952 46469 18446744073709551615 4198400 14093885 140722877808192 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24940544 140722877815146 140722877815261 140722877815261 140722877820863 0
/proc/51022/statm: 51062 46469 1024 2416 0 48164 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 204248 KiB
Current children cumulated memory: 185876 KiB

[startup+6.30018 s]
/proc/loadavg: 4.12 4.10 4.02 5/263 51096
/proc/meminfo: memFree=125505884/131249992 swapFree=33010684/33010684
[pid=51022] ppid=51016 vsize=302656 memory=272472 CPUtime=6.27 cores=1,3
/proc/51022/stat : 51022 (CASHWMaxSAT-Dis) R 51016 51022 50614 0 -1 4194304 39299 0 0 0 615 12 0 0 20 0 1 0 46619547 309919744 68118 18446744073709551615 4198400 14093885 140722877808192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24940544 140722877815146 140722877815261 140722877815261 140722877820863 0
/proc/51022/statm: 75664 68118 1024 2416 0 72766 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 302656 KiB
Current children cumulated memory: 272472 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.09 4.02 5/263 51096
/proc/meminfo: memFree=125477428/131249992 swapFree=33010684/33010684
[pid=51022] ppid=51016 vsize=333044 memory=286272 CPUtime=12.66 cores=1,3
/proc/51022/stat : 51022 (CASHWMaxSAT-Dis) R 51016 51022 50614 0 -1 4194304 43105 0 0 0 1251 15 0 0 20 0 1 0 46619547 341037056 71568 18446744073709551615 4198400 14093885 140722877808192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24940544 140722877815146 140722877815261 140722877815261 140722877820863 0
/proc/51022/statm: 83261 71568 1056 2416 0 80363 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 333044 KiB
Current children cumulated memory: 286272 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.02 5/264 51098
/proc/meminfo: memFree=125336840/131249992 swapFree=33010684/33010684
[pid=51022] ppid=51016 vsize=333044 memory=290404 CPUtime=25.43 cores=1,3
/proc/51022/stat : 51022 (CASHWMaxSAT-Dis) R 51016 51022 50614 0 -1 4194304 43154 0 0 0 2528 15 0 0 20 0 1 0 46619547 341037056 72601 18446744073709551615 4198400 14093885 140722877808192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24940544 140722877815146 140722877815261 140722877815261 140722877820863 0
/proc/51022/statm: 83261 72601 1056 2416 0 80363 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 333044 KiB
Current children cumulated memory: 290404 KiB

[startup+51.1056 s]
/proc/loadavg: 4.19 4.11 4.03 5/264 51098
/proc/meminfo: memFree=125010616/131249992 swapFree=33010684/33010684
[pid=51022] ppid=51016 vsize=333044 memory=292640 CPUtime=50.96 cores=1,3
/proc/51022/stat : 51022 (CASHWMaxSAT-Dis) R 51016 51022 50614 0 -1 4194304 43542 0 0 0 5080 16 0 0 20 0 1 0 46619547 341037056 73160 18446744073709551615 4198400 14093885 140722877808192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24940544 140722877815146 140722877815261 140722877815261 140722877820863 0
/proc/51022/statm: 83261 73160 1056 2416 0 80363 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 333044 KiB
Current children cumulated memory: 292640 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.03 5/264 51100
/proc/meminfo: memFree=124440388/131249992 swapFree=33010684/33010684
[pid=51022] ppid=51016 vsize=333044 memory=296584 CPUtime=102.02 cores=1,3
/proc/51022/stat : 51022 (CASHWMaxSAT-Dis) R 51016 51022 50614 0 -1 4194304 44578 0 0 0 10184 18 0 0 20 0 1 0 46619547 341037056 74146 18446744073709551615 4198400 14093885 140722877808192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24940544 140722877815146 140722877815261 140722877815261 140722877820863 0
/proc/51022/statm: 83261 74146 1056 2416 0 80363 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 333044 KiB
Current children cumulated memory: 296584 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.12 4.04 5/263 51102
/proc/meminfo: memFree=124259440/131249992 swapFree=33010684/33010684
[pid=51022] ppid=51016 vsize=333044 memory=292508 CPUtime=161.87 cores=1,3
/proc/51022/stat : 51022 (CASHWMaxSAT-Dis) R 51016 51022 50614 0 -1 4194304 45999 0 0 0 16165 22 0 0 20 0 1 0 46619547 341037056 73127 18446744073709551615 4198400 14093885 140722877808192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24940544 140722877815146 140722877815261 140722877815261 140722877820863 0
/proc/51022/statm: 83261 73127 1056 2416 0 80363 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 333044 KiB
Current children cumulated memory: 292508 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.04 5/263 51104
/proc/meminfo: memFree=123718980/131249992 swapFree=33010684/33010684
[pid=51022] ppid=51016 vsize=333044 memory=296800 CPUtime=221.71 cores=1,3
/proc/51022/stat : 51022 (CASHWMaxSAT-Dis) R 51016 51022 50614 0 -1 4194304 47108 0 0 0 22147 24 0 0 20 0 1 0 46619547 341037056 74200 18446744073709551615 4198400 14093885 140722877808192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24940544 140722877815146 140722877815261 140722877815261 140722877820863 0
/proc/51022/statm: 83261 74200 1056 2416 0 80363 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 333044 KiB
Current children cumulated memory: 296800 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.04 5/263 51106
/proc/meminfo: memFree=123515244/131249992 swapFree=33010684/33010684
[pid=51022] ppid=51016 vsize=363864 memory=307188 CPUtime=281.54 cores=1,3
/proc/51022/stat : 51022 (CASHWMaxSAT-Dis) R 51016 51022 50614 0 -1 4194304 48764 0 0 0 28128 26 0 0 20 0 1 0 46619547 372596736 76797 18446744073709551615 4198400 14093885 140722877808192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24940544 140722877815146 140722877815261 140722877815261 140722877820863 0
/proc/51022/statm: 90966 76797 1056 2416 0 88068 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 363864 KiB
Current children cumulated memory: 307188 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.12 4.04 5/262 51108
/proc/meminfo: memFree=123209212/131249992 swapFree=33010684/33010684
[pid=51022] ppid=51016 vsize=333044 memory=294864 CPUtime=341.39 cores=1,3
/proc/51022/stat : 51022 (CASHWMaxSAT-Dis) R 51016 51022 50614 0 -1 4194304 50163 0 0 0 34108 31 0 0 20 0 1 0 46619547 341037056 73716 18446744073709551615 4198400 14093885 140722877808192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24940544 140722877815146 140722877815261 140722877815261 140722877820863 0
/proc/51022/statm: 83261 73716 1056 2416 0 80363 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 333044 KiB
Current children cumulated memory: 294864 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/262 51110
/proc/meminfo: memFree=122894996/131249992 swapFree=33010684/33010684
[pid=51022] ppid=51016 vsize=363864 memory=304380 CPUtime=401.24 cores=1,3
/proc/51022/stat : 51022 (CASHWMaxSAT-Dis) R 51016 51022 50614 0 -1 4194304 52130 0 0 0 40090 34 0 0 20 0 1 0 46619547 372596736 76095 18446744073709551615 4198400 14093885 140722877808192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24940544 140722877815146 140722877815261 140722877815261 140722877820863 0
/proc/51022/statm: 90966 76095 1056 2416 0 88068 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 363864 KiB
Current children cumulated memory: 304380 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.10 4.04 5/263 51119
/proc/meminfo: memFree=121930536/131249992 swapFree=33010684/33010684
[pid=51022] ppid=51016 vsize=333044 memory=296788 CPUtime=461.08 cores=1,3
/proc/51022/stat : 51022 (CASHWMaxSAT-Dis) R 51016 51022 50614 0 -1 4194304 53778 0 0 0 46072 36 0 0 20 0 1 0 46619547 341037056 74197 18446744073709551615 4198400 14093885 140722877808192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24940544 140722877815146 140722877815261 140722877815261 140722877820863 0
/proc/51022/statm: 83261 74197 1056 2416 0 80363 0

################
# More data... #
################

Current children cumulated memory: 350152 KiB

[startup+2922.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/264 51383
/proc/meminfo: memFree=107130888/131249992 swapFree=33010684/33010684
[pid=51022] ppid=51016 vsize=403060 memory=348124 CPUtime=2913.95 cores=1,3
/proc/51022/stat : 51022 (CASHWMaxSAT-Dis) R 51016 51022 50614 0 -1 4194304 143151 0 0 0 291202 193 0 0 20 0 1 0 46619547 412733440 87031 18446744073709551615 4198400 14093885 140722877808192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24940544 140722877815146 140722877815261 140722877815261 140722877820863 0
/proc/51022/statm: 100765 87031 1056 2416 0 97867 0
Current children cumulated CPU time: 2913.95 s
Current children cumulated vsize: 403060 KiB
Current children cumulated memory: 348124 KiB

[startup+2982.3 s]
/proc/loadavg: 4.06 4.12 4.10 5/264 51385
/proc/meminfo: memFree=107066552/131249992 swapFree=33010684/33010684
[pid=51022] ppid=51016 vsize=403060 memory=350200 CPUtime=2973.77 cores=1,3
/proc/51022/stat : 51022 (CASHWMaxSAT-Dis) R 51016 51022 50614 0 -1 4194304 143946 0 0 0 297181 196 0 0 20 0 1 0 46619547 412733440 87550 18446744073709551615 4198400 14093885 140722877808192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24940544 140722877815146 140722877815261 140722877815261 140722877820863 0
/proc/51022/statm: 100765 87550 1056 2416 0 97867 0
Current children cumulated CPU time: 2973.77 s
Current children cumulated vsize: 403060 KiB
Current children cumulated memory: 350200 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/265 51388
/proc/meminfo: memFree=107003000/131249992 swapFree=33010684/33010684
[pid=51022] ppid=51016 vsize=403500 memory=342508 CPUtime=3033.59 cores=1,3
/proc/51022/stat : 51022 (CASHWMaxSAT-Dis) R 51016 51022 50614 0 -1 4194304 144889 0 0 0 303161 198 0 0 20 0 1 0 46619547 413184000 85627 18446744073709551615 4198400 14093885 140722877808192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24940544 140722877815146 140722877815261 140722877815261 140722877820863 0
/proc/51022/statm: 100875 85627 1056 2416 0 97977 0
Current children cumulated CPU time: 3033.59 s
Current children cumulated vsize: 403500 KiB
Current children cumulated memory: 342508 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/264 51390
/proc/meminfo: memFree=106956336/131249992 swapFree=33010684/33010684
[pid=51022] ppid=51016 vsize=403632 memory=357332 CPUtime=3093.41 cores=1,3
/proc/51022/stat : 51022 (CASHWMaxSAT-Dis) R 51016 51022 50614 0 -1 4194304 145380 0 0 0 309141 200 0 0 20 0 1 0 46619547 413319168 89333 18446744073709551615 4198400 14093885 140722877808192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24940544 140722877815146 140722877815261 140722877815261 140722877820863 0
/proc/51022/statm: 100908 89333 1056 2416 0 98010 0
Current children cumulated CPU time: 3093.41 s
Current children cumulated vsize: 403632 KiB
Current children cumulated memory: 357332 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 51392
/proc/meminfo: memFree=106934232/131249992 swapFree=33010684/33010684
[pid=51022] ppid=51016 vsize=403940 memory=357616 CPUtime=3153.23 cores=1,3
/proc/51022/stat : 51022 (CASHWMaxSAT-Dis) R 51016 51022 50614 0 -1 4194304 146269 0 0 0 315120 203 0 0 20 0 1 0 46619547 413634560 89404 18446744073709551615 4198400 14093885 140722877808192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24940544 140722877815146 140722877815261 140722877815261 140722877820863 0
/proc/51022/statm: 100985 89404 1056 2416 0 98087 0
Current children cumulated CPU time: 3153.23 s
Current children cumulated vsize: 403940 KiB
Current children cumulated memory: 357616 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 51394
/proc/meminfo: memFree=106868504/131249992 swapFree=33010684/33010684
[pid=51022] ppid=51016 vsize=404488 memory=342332 CPUtime=3213.04 cores=1,3
/proc/51022/stat : 51022 (CASHWMaxSAT-Dis) R 51016 51022 50614 0 -1 4194304 147879 0 0 0 321098 206 0 0 20 0 1 0 46619547 414195712 85583 18446744073709551615 4198400 14093885 140722877808192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24940544 140722877815146 140722877815261 140722877815261 140722877820863 0
/proc/51022/statm: 101122 85583 1056 2416 0 98224 0
Current children cumulated CPU time: 3213.04 s
Current children cumulated vsize: 404488 KiB
Current children cumulated memory: 342332 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/266 51400
/proc/meminfo: memFree=106826344/131249992 swapFree=33010684/33010684
[pid=51022] ppid=51016 vsize=405228 memory=355008 CPUtime=3272.87 cores=1,3
/proc/51022/stat : 51022 (CASHWMaxSAT-Dis) R 51016 51022 50614 0 -1 4194304 148876 0 0 0 327079 208 0 0 20 0 1 0 46619547 414953472 88752 18446744073709551615 4198400 14093885 140722877808192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24940544 140722877815146 140722877815261 140722877815261 140722877820863 0
/proc/51022/statm: 101307 88752 1056 2416 0 98409 0
Current children cumulated CPU time: 3272.87 s
Current children cumulated vsize: 405228 KiB
Current children cumulated memory: 355008 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/266 51402
/proc/meminfo: memFree=106828792/131249992 swapFree=33010684/33010684
[pid=51022] ppid=51016 vsize=405804 memory=348976 CPUtime=3332.69 cores=1,3
/proc/51022/stat : 51022 (CASHWMaxSAT-Dis) R 51016 51022 50614 0 -1 4194304 150162 0 0 0 333057 212 0 0 20 0 1 0 46619547 415543296 87244 18446744073709551615 4198400 14093885 140722877808192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24940544 140722877815146 140722877815261 140722877815261 140722877820863 0
/proc/51022/statm: 101451 87244 1056 2416 0 98553 0
Current children cumulated CPU time: 3332.69 s
Current children cumulated vsize: 405804 KiB
Current children cumulated memory: 348976 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/265 51404
/proc/meminfo: memFree=106799484/131249992 swapFree=33010684/33010684
[pid=51022] ppid=51016 vsize=406088 memory=361844 CPUtime=3392.51 cores=1,3
/proc/51022/stat : 51022 (CASHWMaxSAT-Dis) R 51016 51022 50614 0 -1 4194304 150785 0 0 0 339037 214 0 0 20 0 1 0 46619547 415834112 90461 18446744073709551615 4198400 14093885 140722877808192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24940544 140722877815146 140722877815261 140722877815261 140722877820863 0
/proc/51022/statm: 101522 90461 1056 2416 0 98624 0
Current children cumulated CPU time: 3392.51 s
Current children cumulated vsize: 406088 KiB
Current children cumulated memory: 361844 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/266 51413
/proc/meminfo: memFree=106715688/131249992 swapFree=33010684/33010684
[pid=51022] ppid=51016 vsize=406820 memory=358452 CPUtime=3452.33 cores=1,3
/proc/51022/stat : 51022 (CASHWMaxSAT-Dis) R 51016 51022 50614 0 -1 4194304 151724 0 0 0 345017 216 0 0 20 0 1 0 46619547 416583680 89613 18446744073709551615 4198400 14093885 140722877808192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24940544 140722877815146 140722877815261 140722877815261 140722877820863 0
/proc/51022/statm: 101705 89613 1056 2416 0 98807 0
Current children cumulated CPU time: 3452.33 s
Current children cumulated vsize: 406820 KiB
Current children cumulated memory: 358452 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/266 51414
/proc/meminfo: memFree=106627164/131249992 swapFree=33010684/33010684
[pid=51022] ppid=51016 vsize=407084 memory=360776 CPUtime=3512.15 cores=1,3
/proc/51022/stat : 51022 (CASHWMaxSAT-Dis) R 51016 51022 50614 0 -1 4194304 152595 0 0 0 350996 219 0 0 20 0 1 0 46619547 416854016 90194 18446744073709551615 4198400 14093885 140722877808192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24940544 140722877815146 140722877815261 140722877815261 140722877820863 0
/proc/51022/statm: 101771 90194 1056 2416 0 98873 0
Current children cumulated CPU time: 3512.15 s
Current children cumulated vsize: 407084 KiB
Current children cumulated memory: 360776 KiB

[startup+3582.3 s]
/proc/loadavg: 4.24 4.15 4.10 5/264 51416
/proc/meminfo: memFree=106596936/131249992 swapFree=33010684/33010684
[pid=51022] ppid=51016 vsize=407536 memory=348628 CPUtime=3571.97 cores=1,3
/proc/51022/stat : 51022 (CASHWMaxSAT-Dis) R 51016 51022 50614 0 -1 4194304 153940 0 0 0 356974 223 0 0 20 0 1 0 46619547 417316864 87157 18446744073709551615 4198400 14093885 140722877808192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24940544 140722877815146 140722877815261 140722877815261 140722877820863 0
/proc/51022/statm: 101884 87157 1056 2416 0 98986 0
Current children cumulated CPU time: 3571.97 s
Current children cumulated vsize: 407536 KiB
Current children cumulated memory: 348628 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.47 4.21 4.12 5/263 51417
/proc/meminfo: memFree=106616516/131249992 swapFree=33010684/33010684
[pid=51022] ppid=51016 vsize=407676 memory=363144 CPUtime=3600.08 cores=1,3
/proc/51022/stat : 51022 (CASHWMaxSAT-Dis) R 51016 51022 50614 0 -1 4194304 153991 0 0 0 359785 223 0 0 20 0 1 0 46619547 417460224 90786 18446744073709551615 4198400 14093885 140722877808192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24940544 140722877815146 140722877815261 140722877815261 140722877820863 0
/proc/51022/statm: 101919 90786 1056 2416 0 99021 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 407676 KiB
Current children cumulated memory: 363144 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.5 s]
# the end of solver process 51022 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3597.85 s, system=2.24473 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3610.5 s]
/proc/loadavg: 4.47 4.21 4.12 5/263 51417
/proc/meminfo: memFree=106616516/131249992 swapFree=33010684/33010684
[pid=51022] ppid=51016 vsize=407676 memory=363144 CPUtime=3600.08 cores=1,3
/proc/51022/stat : 51022 (CASHWMaxSAT-Dis) R 51016 51022 50614 0 -1 4194304 153991 0 0 0 359785 223 0 0 20 0 1 0 46619547 417460224 90786 18446744073709551615 4198400 14093885 140722877808192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24940544 140722877815146 140722877815261 140722877815261 140722877820863 0
/proc/51022/statm: 101919 90786 1056 2416 0 99021 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 407676 KiB
Current children cumulated memory: 363144 KiB

Child status: 10

Real time (s): 3610.5
CPU time (s): 3600.1
CPU user time (s): 3597.85
CPU system time (s): 2.24473
CPU usage (%): 99.7118
Max. virtual memory (cumulated for all children) (KiB): 519160
Max. memory (cumulated for all children) (KiB): 416268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.85
system time used= 2.24473
maximum resident set size= 421260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154003
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43
involuntary context switches= 7124


# summary of solver processes directly reported to runsolver:
#   pid: 51022
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3597.85
#   total CPU system time (s): 2.24473

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.55964 second user time and 15.8448 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-06-30 20:50:08
IDJOB=4485618
IDBENCH=146805
IDSOLVER=3323
FILE ID=nodeC025/4485618-1751309408
RUNJOBID= nodeC025-1751305795-50626
SLURM_JOB_ID= 9594307
Free space on /tmp= 433020 MiB

SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-roll3000.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485618-1751309408/watcher-4485618-1751309408 -o /tmp/evaluation-result-4485618-1751309408/solver-4485618-1751309408 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751305795-50626 --watchdog 3760  CASHWMaxSAT-DisjCom-S HOME/instance-4485618-1751309408.opb -total-t=3600 -no-par -v0

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 9da0f014fb9cbd107dd1b5ea973ba0c7
RANDOM SEED=1336185707

nodeC025 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		: 3600.108
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.598
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.67
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		: 3603.713
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.861
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.67
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.830
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.67
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		: 3668.765
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.809
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.830
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        126489116 kB
MemAvailable:   129195580 kB
Buffers:            3280 kB
Cached:          3505520 kB
SwapCached:            0 kB
Active:           954824 kB
Inactive:        3166468 kB
Active(anon):     630576 kB
Inactive(anon):        0 kB
Active(file):     324248 kB
Inactive(file):  3166468 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             28144 kB
Writeback:             0 kB
AnonPages:        613872 kB
Mapped:           109824 kB
Shmem:             18084 kB
KReclaimable:     109972 kB
Slab:             198244 kB
SReclaimable:     109972 kB
SUnreclaim:        88272 kB
KernelStack:        4336 kB
PageTables:         4368 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1008576 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    485376 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432996 MiB
End job on nodeC025 at 2025-06-30 21:50:19