Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | -70 | 1798.1 | 1798.59 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_1.opb |
MD5SUM | 162153f0f0e5f8f2e587b9d579ee09dc |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -106 |
Best CPU time to get the best result obtained on this benchmark | 1800.05 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -136 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 12636 |
Sum of products size (including duplicates) | 25272 |
Number of different products | 6318 |
Sum of products size | 12636 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2671084-1276718019.opb 0.00/0.00 c File size is 566997 bytes. 0.07/0.09 c Highest Coefficient sum: 1000 0.07/0.09 c Parsing was ok!! 0.07/0.09 c Total parsing time: 0.095 s 0.09/0.10 c Var: 7318 Constr: 14138 6818/1002/6318 Lit: 53544 Watch. Lit: 46228 0.09/0.10 c Obj. Vars: 500 (6.83247 % of total variables) 1.89/1.99 c Pre-processing Time: 1.992 s 1.89/1.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.99 c 0 7318 14138 53544 3 46228 93231 0 0 1.99 1.89/1.99 c Switching off lower bounding mode. 1.99/2.00 o -1 1.99/2.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.03 c 0 7318 14139 54044 3 46231 93564 1 0 2.01 1.99/2.03 o -2 4.49/4.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.49/4.55 c 3 7318 14143 56065 3 46241 93731 5 1 2.04 4.49/4.55 c 103 7318 14243 111117 7 46441 103105 105 36 2.79 4.49/4.55 c 353 7318 14493 292710 20 46941 113416 355 84 4.15 4.49/4.55 o -3 46.08/46.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 46.08/46.11 c 520 7318 14661 438500 29 47280 93898 523 114 4.56 46.08/46.11 c 620 7318 14761 495450 33 47480 103288 623 116 5.31 46.08/46.11 c 870 7318 15011 681575 45 47980 113617 873 131 6.62 46.08/46.11 c 1345 7318 15486 1034974 66 48930 124979 1348 148 9.06 46.08/46.11 c 2158 7318 16299 1641454 100 50556 137477 2161 163 13.17 46.08/46.11 c 3478 7318 17619 2654115 150 53196 151225 3481 179 19.39 46.08/46.11 c 5559 7318 19700 4198410 213 57358 166348 5562 184 30.19 46.08/46.11 c 8782 7318 22923 6655354 290 63804 182983 8785 191 45.97 46.08/46.11 o -15 46.18/46.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 46.18/46.22 c 8798 7318 22940 6661369 290 63853 94231 8802 190 46.10 46.18/46.22 o -16 48.87/48.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 48.87/48.96 c 8806 7318 22949 6665902 290 63887 94231 8811 190 46.21 48.87/48.96 c 8906 7318 23049 6724772 291 64087 103655 8911 188 47.15 48.87/48.96 c 9156 7318 23299 6916080 296 64587 114021 9161 189 48.39 48.87/48.96 c 9631 7318 23774 7184246 302 65537 125424 9636 197 48.89 48.87/48.96 o -17 1073.90/1074.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1073.90/1074.22 c 9714 7318 23858 7227211 302 65722 94231 9720 198 48.95 1073.90/1074.22 c 9814 7318 23958 7282141 303 65922 103655 9820 196 49.85 1073.90/1074.22 c 10064 7318 24208 7462853 308 66422 114021 10070 195 51.36 1073.90/1074.22 c 10539 7318 24683 7805734 316 67372 125424 10545 195 54.01 1073.90/1074.22 c 11352 7318 25496 8387614 328 68998 137967 11358 193 58.61 1073.90/1074.22 c 12672 7318 26816 9347213 348 71638 151764 12678 195 64.92 1073.90/1074.22 c 14753 7318 28897 10775071 372 75800 166941 14759 199 74.13 1073.90/1074.22 c 17976 7318 32120 13183039 410 82246 183636 17982 198 90.56 1073.90/1074.22 c 22912 7318 37056 16835836 454 92118 202000 22918 200 114.27 1073.90/1074.22 c 30418 7318 44562 22495041 504 107130 222201 30424 195 155.96 1073.90/1074.22 c 41779 7318 55923 31157722 557 129852 244422 41785 193 216.03 1073.90/1074.22 c 58923 7318 73067 44635766 610 164140 268865 58929 193 304.09 1073.90/1074.22 c 84742 7318 98886 65632957 663 215778 295752 84748 196 431.95 1073.90/1074.22 c Reducing formula size due to memory constraints 1073.90/1074.22 c Memory Limit: 1000.00 MB Used: 1010.71 MB 1073.90/1074.22 c 123574 7318 25675 9678353 376 69319 32269 11537 201 612.93 1073.90/1074.22 c 181926 7318 28169 11355405 403 74307 35496 14031 195 929.23 1073.90/1074.22 o -18 1655.65/1656.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1655.65/1656.16 c 224036 7318 39365 22864638 580 96717 94231 25227 208 1073.94 1655.65/1656.16 c 224136 7318 39465 22920849 580 96917 103655 25327 208 1075.05 1655.65/1656.16 c 224386 7318 39715 23102529 581 97417 114021 25577 208 1077.18 1655.65/1656.16 c 224861 7318 40190 23453610 583 98367 125424 26052 208 1080.17 1655.65/1656.16 c 225674 7318 41003 24046343 586 99993 137967 26865 207 1085.40 1655.65/1656.16 c 226994 7318 42323 25024509 591 102633 151764 28185 207 1093.83 1655.65/1656.16 c 229075 7318 44404 26577160 598 106795 166941 30266 206 1106.91 1655.65/1656.16 c 232298 7318 47627 28983122 608 113241 183636 33489 206 1126.76 1655.65/1656.16 c 237234 7318 52563 32682233 621 123113 202000 38425 205 1156.97 1655.65/1656.16 c 244740 7318 60069 38342388 638 138125 222201 45931 203 1203.02 1655.65/1656.16 c 256101 7318 71430 47085097 659 160847 244422 57292 201 1271.80 1655.65/1656.16 c 273245 7318 88574 60659038 684 195135 268865 74436 199 1372.43 1655.65/1656.16 c Reducing formula size due to memory constraints 1655.65/1656.16 c Memory Limit: 1000.00 MB Used: 1009.76 MB 1655.65/1656.16 c 299064 7318 28719 12287534 427 75408 32254 14581 195 1526.68 1655.65/1656.16 o -69 1689.94/1690.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1689.94/1690.43 c 323191 7318 30281 8072325 266 78601 94231 16143 195 1655.73 1689.94/1690.43 c 323291 7318 30381 8123030 267 78801 103655 16243 195 1656.12 1689.94/1690.43 c 323541 7318 30631 8248030 269 79301 114021 16493 195 1656.60 1689.94/1690.43 c 324016 7318 31106 8487565 272 80251 125424 16968 195 1657.68 1689.94/1690.43 c 324829 7318 31919 8894865 278 81877 137967 17781 195 1659.56 1689.94/1690.43 c 326149 7318 33239 9556080 287 84517 151764 19101 196 1662.50 1689.94/1690.43 c 328230 7318 35320 10598625 300 88679 166941 21182 196 1667.14 1689.94/1690.43 c 331453 7318 38543 12335721 320 95125 183636 24405 197 1676.75 1689.94/1690.43 o -70 1797.92/1798.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1798.48 c 335121 7318 42212 14567051 345 102533 94231 28074 198 1689.99 1797.92/1798.48 c 335221 7318 42312 14623467 345 102733 103655 28174 198 1690.98 1797.92/1798.48 c 335471 7318 42562 14793655 347 103233 114021 28424 198 1692.27 1797.92/1798.48 c 335946 7318 43037 15109566 351 104183 125424 28899 198 1694.83 1797.92/1798.48 c 336759 7318 43850 15646181 356 105809 137967 29712 198 1699.45 1797.92/1798.48 c 338079 7318 45170 16510993 365 108449 151764 31032 198 1707.31 1797.92/1798.48 c 340160 7318 47251 17892495 378 112611 166941 33113 197 1719.01 1797.92/1798.48 c 343383 7318 50474 20050316 397 119057 183636 36336 197 1736.58 1797.92/1798.48 c 348319 7318 55410 23411344 422 128929 202000 41272 198 1758.93 1797.92/1798.48 c 355825 7318 62916 28485054 452 143941 222201 48778 198 1796.57 1797.92/1798.48 c Resources Exceeded 1797.92/1798.48 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 x27 x28 x29 x30 x31 x32 -x33 -x34 x35 -x36 -x37 x38 -x39 -x40 x41 -x42 x43 x44 x45 -x46 x47 -x48 -x49 -x50 x51 x52 -x53 -x54 -x55 x56 -x57 x58 -x59 -x60 -x61 x62 -x63 x64 -x65 -x66 x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 x76 -x77 -x78 x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 x87 x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 x96 -x97 -x98 x99 -x100 -x101 x102 -x103 -x104 -x105 x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 x118 x119 x120 -x121 -x122 -x123 -x124 x125 x126 x127 x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 x141 x142 x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 x373 -x374 -x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x1001 -x1002 -x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 x578 -x579 x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 -x611 -x612 x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 -x691 -x692 -x693 x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 x712 -x713 x714 x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 x760 -x761 -x762 x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 -x783 -x784 x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 x797 -x798 x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 -x820 -x821 x822 -x823 -x824 x825 x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 x855 -x856 -x857 -x858 -x859 -x860 -x861 x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 -x880 -x881 -x882 -x883 -x884 x885 -x886 -x887 -x888 -x889 x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 x916 -x917 x918 -x919 x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 -x939 -x940 -x941 x942 x943 -x944 -x945 -x946 x947 -x948 -x949 -x950 -x951 x952 x953 x954 -x955 x956 x957 -x958 x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 x977 -x978 -x979 x980 -x981 -x982 x983 -x984 -x985 x986 -x987 -x988 x989 x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 1797.92/1798.48 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.48 c 63 356047 496 440658 63138 28627584 49000 198 1798.01 1797.92/1798.48 c Objective: -70 1797.92/1798.48 s SATISFIABLE 1797.92/1798.48 c Total time: 1798.01 s
OK -70
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2671084-1276718019/watcher-2671084-1276718019 -o /tmp/evaluation-result-2671084-1276718019/solver-2671084-1276718019 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671084-1276718019.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 19970 /proc/meminfo: memFree=1741800/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=11492 CPUtime=0 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 13096976 11767808 283 1992294400 134512640 137138936 4290983424 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 2873 284 175 642 0 2090 0 [startup+0.0784509 s] /proc/loadavg: 0.92 0.98 0.99 3/106 19970 /proc/meminfo: memFree=1741800/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=12984 CPUtime=0.07 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 837 0 0 0 7 0 0 0 20 0 1 0 13096976 13295616 756 1992294400 134512640 137138936 4290983424 18446744073709551615 136658926 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 3246 756 276 642 0 2463 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 12984 [startup+0.100452 s] /proc/loadavg: 0.92 0.98 0.99 3/106 19970 /proc/meminfo: memFree=1741800/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=13708 CPUtime=0.09 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 1194 0 0 0 9 0 0 0 20 0 1 0 13096976 14036992 974 1992294400 134512640 137138936 4290983424 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 3427 976 182 642 0 2783 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13708 [startup+0.300474 s] /proc/loadavg: 0.92 0.98 0.99 3/106 19970 /proc/meminfo: memFree=1741800/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=14636 CPUtime=0.29 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 1412 0 0 0 29 0 0 0 20 0 1 0 13096976 14987264 1192 1992294400 134512640 137138936 4290983424 18446744073709551615 134542544 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 3659 1192 184 642 0 3015 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14636 [startup+0.700517 s] /proc/loadavg: 0.92 0.98 0.99 3/106 19970 /proc/meminfo: memFree=1741800/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=14636 CPUtime=0.69 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 1412 0 0 0 69 0 0 0 21 0 1 0 13096976 14987264 1192 1992294400 134512640 137138936 4290983424 18446744073709551615 134566410 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 3659 1192 184 642 0 3015 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14636 [startup+1.5006 s] /proc/loadavg: 0.92 0.98 0.99 2/107 19971 /proc/meminfo: memFree=1738072/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=14636 CPUtime=1.49 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 1412 0 0 0 148 1 0 0 23 0 1 0 13096976 14987264 1192 1992294400 134512640 137138936 4290983424 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 3659 1192 184 642 0 3015 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14636 [startup+3.10078 s] /proc/loadavg: 0.92 0.98 0.99 2/107 19971 /proc/meminfo: memFree=1737080/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=15864 CPUtime=3.09 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 2124 0 0 0 306 3 0 0 25 0 1 0 13096976 16244736 1521 1992294400 134512640 137138936 4290983424 18446744073709551615 134575807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 3966 1521 191 642 0 3322 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15864 [startup+6.30112 s] /proc/loadavg: 0.93 0.98 0.99 2/107 19971 /proc/meminfo: memFree=1731748/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=21940 CPUtime=6.29 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 3645 0 0 0 625 4 0 0 25 0 1 0 13096976 22466560 3042 1992294400 134512640 137138936 4290983424 18446744073709551615 134575800 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 5485 3042 191 642 0 4841 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21940 [startup+12.7008 s] /proc/loadavg: 0.93 0.98 0.99 2/107 19973 /proc/meminfo: memFree=1718240/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=34644 CPUtime=12.69 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 6824 0 0 0 1263 6 0 0 25 0 1 0 13096976 35475456 6221 1992294400 134512640 137138936 4290983424 18446744073709551615 134575759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 8661 6221 191 642 0 8017 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 34644 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.99 2/107 19973 /proc/meminfo: memFree=1693564/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=58888 CPUtime=25.49 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 12894 0 0 0 2538 11 0 0 25 0 1 0 13096976 60301312 12291 1992294400 134512640 137138936 4290983424 18446744073709551615 134575614 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 14722 12291 191 642 0 14078 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 58888 [startup+51.101 s] /proc/loadavg: 0.96 0.98 0.99 2/107 19973 /proc/meminfo: memFree=1643716/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=109292 CPUtime=51.08 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 25488 0 0 0 5087 21 0 0 25 0 1 0 13096976 111915008 24885 1992294400 134512640 137138936 4290983424 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 27323 24885 191 642 0 26679 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 109292 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 19975 /proc/meminfo: memFree=1546252/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=205724 CPUtime=102.27 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 49601 0 0 0 10190 37 0 0 25 0 1 0 13096976 210661376 48998 1992294400 134512640 137138936 4290983424 18446744073709551615 134575759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 51431 48998 191 642 0 50787 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 205724 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19977 /proc/meminfo: memFree=1438620/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=314948 CPUtime=162.25 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 76902 0 0 0 16167 58 0 0 25 0 1 0 13096976 322506752 76299 1992294400 134512640 137138936 4290983424 18446744073709551615 134575612 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 78737 76299 191 642 0 78093 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 314948 [startup+222.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19977 /proc/meminfo: memFree=1325036/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=426556 CPUtime=222.22 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 104800 0 0 0 22141 81 0 0 25 0 1 0 13096976 436793344 104197 1992294400 134512640 137138936 4290983424 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 106639 104197 191 642 0 105995 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 426556 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19979 /proc/meminfo: memFree=1206368/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=545452 CPUtime=282.22 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 134527 0 0 0 28117 105 0 0 25 0 1 0 13096976 558542848 133924 1992294400 134512640 137138936 4290983424 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 136363 133924 191 642 0 135719 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 545452 [startup+342.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19981 /proc/meminfo: memFree=1085964/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=665916 CPUtime=342.19 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 164641 0 0 0 34092 127 0 0 25 0 1 0 13096976 681897984 164038 1992294400 134512640 137138936 4290983424 18446744073709551615 134575756 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 166479 164038 191 642 0 165835 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 665916 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19983 /proc/meminfo: memFree=960228/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=792340 CPUtime=402.18 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 196249 0 0 0 40064 154 0 0 25 0 1 0 13096976 811356160 195646 1992294400 134512640 137138936 4290983424 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 198085 195646 191 642 0 197441 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 792340 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19994 /proc/meminfo: memFree=825564/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=924828 CPUtime=462.15 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 229380 0 0 0 46037 178 0 0 25 0 1 0 13096976 947023872 228777 1992294400 134512640 137138936 4290983424 18446744073709551615 134575629 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 231207 228777 191 642 0 230563 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 924828 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 19994 /proc/meminfo: memFree=702680/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=1046392 CPUtime=522.14 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 259870 0 0 0 52009 205 0 0 25 0 1 0 13096976 1071505408 259167 1992294400 134512640 137138936 4290983424 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 261598 259167 191 642 0 260954 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 1046392 [startup+582.301 s] /proc/loadavg: 1.05 1.00 1.00 2/107 19996 /proc/meminfo: memFree=702680/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=1046392 CPUtime=582.13 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 259870 0 0 0 58001 212 0 0 25 0 1 0 13096976 1071505408 259167 1992294400 134512640 137138936 4290983424 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 261598 259167 191 642 0 260954 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 1046392 [startup+642.301 s] /proc/loadavg: 1.02 1.00 1.00 2/107 19998 /proc/meminfo: memFree=702680/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=1046392 CPUtime=642.12 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 259870 0 0 0 63996 216 0 0 25 0 1 0 13096976 1071505408 259167 1992294400 134512640 137138936 4290983424 18446744073709551615 134575649 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 261598 259167 191 642 0 260954 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 1046392 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=702432/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=1046392 CPUtime=1062 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 259870 0 0 0 105948 252 0 0 25 0 1 0 13096976 1071505408 259167 1992294400 134512640 137138936 4290983424 18446744073709551615 134575747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 261598 259167 191 642 0 260954 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 1046392 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20010 /proc/meminfo: memFree=702308/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=1046392 CPUtime=1121.99 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 259870 0 0 0 111940 259 0 0 25 0 1 0 13096976 1071505408 259167 1992294400 134512640 137138936 4290983424 18446744073709551615 134575655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 261598 259167 191 642 0 260954 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1046392 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20012 /proc/meminfo: memFree=702308/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=1046392 CPUtime=1181.97 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 259870 0 0 0 117933 264 0 0 25 0 1 0 13096976 1071505408 259167 1992294400 134512640 137138936 4290983424 18446744073709551615 134575807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 261598 259167 191 642 0 260954 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 1046392 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20014 /proc/meminfo: memFree=702184/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=1046392 CPUtime=1241.95 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 259870 0 0 0 123927 268 0 0 25 0 1 0 13096976 1071505408 259167 1992294400 134512640 137138936 4290983424 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 261598 259167 191 642 0 260954 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1046392 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20016 /proc/meminfo: memFree=702060/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=1046392 CPUtime=1301.95 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 259870 0 0 0 129923 272 0 0 25 0 1 0 13096976 1071505408 259167 1992294400 134512640 137138936 4290983424 18446744073709551615 135984558 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 261598 259167 191 642 0 260954 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1046392 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20018 /proc/meminfo: memFree=702060/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=1046392 CPUtime=1361.92 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 259870 0 0 0 135915 277 0 0 25 0 1 0 13096976 1071505408 259167 1992294400 134512640 137138936 4290983424 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 261598 259167 191 642 0 260954 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1046392 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20018 /proc/meminfo: memFree=702184/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=1046392 CPUtime=1421.91 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 259870 0 0 0 141907 284 0 0 25 0 1 0 13096976 1071505408 259167 1992294400 134512640 137138936 4290983424 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 261598 259167 191 642 0 260954 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1046392 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20020 /proc/meminfo: memFree=702184/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=1046392 CPUtime=1481.9 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 259870 0 0 0 147899 291 0 0 25 0 1 0 13096976 1071505408 259167 1992294400 134512640 137138936 4290983424 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 261598 259167 191 642 0 260954 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1046392 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20022 /proc/meminfo: memFree=702060/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=1046392 CPUtime=1541.88 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 259870 0 0 0 153888 300 0 0 25 0 1 0 13096976 1071505408 259167 1992294400 134512640 137138936 4290983424 18446744073709551615 134572775 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 261598 259167 191 642 0 260954 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1046392 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20024 /proc/meminfo: memFree=702060/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=1046392 CPUtime=1601.86 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 259870 0 0 0 159881 305 0 0 25 0 1 0 13096976 1071505408 259167 1992294400 134512640 137138936 4290983424 18446744073709551615 134542811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 261598 259167 191 642 0 260954 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1046392 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20026 /proc/meminfo: memFree=702184/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=1046392 CPUtime=1661.84 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 259870 0 0 0 165874 310 0 0 25 0 1 0 13096976 1071505408 259167 1992294400 134512640 137138936 4290983424 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 261598 259167 191 642 0 260954 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1046392 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20026 /proc/meminfo: memFree=702060/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=1046392 CPUtime=1721.83 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 259870 0 0 0 171867 316 0 0 25 0 1 0 13096976 1071505408 259167 1992294400 134512640 137138936 4290983424 18446744073709551615 134575614 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 261598 259167 191 642 0 260954 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1046392 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20028 /proc/meminfo: memFree=701688/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=1046392 CPUtime=1781.81 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 259870 0 0 0 177860 321 0 0 25 0 1 0 13096976 1071505408 259167 1992294400 134512640 137138936 4290983424 18446744073709551615 134575833 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 261598 259167 191 642 0 260954 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1046392 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20028 /proc/meminfo: memFree=701688/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=1046392 CPUtime=1791.42 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 259870 0 0 0 178820 322 0 0 25 0 1 0 13096976 1071505408 259167 1992294400 134512640 137138936 4290983424 18446744073709551615 134575900 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 261598 259167 191 642 0 260954 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (KiB) 1046392 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20028 /proc/meminfo: memFree=701688/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=1046392 CPUtime=1794.62 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 259870 0 0 0 179140 322 0 0 25 0 1 0 13096976 1071505408 259167 1992294400 134512640 137138936 4290983424 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 261598 259167 191 642 0 260954 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (KiB) 1046392 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20028 /proc/meminfo: memFree=701688/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=1046392 CPUtime=1796.21 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 259870 0 0 0 179299 322 0 0 25 0 1 0 13096976 1071505408 259167 1992294400 134512640 137138936 4290983424 18446744073709551615 134575617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 261598 259167 191 642 0 260954 0 Current children cumulated CPU time (s) 1796.21 Current children cumulated vsize (KiB) 1046392 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20028 /proc/meminfo: memFree=701688/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=1046392 CPUtime=1797.01 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 259870 0 0 0 179378 323 0 0 25 0 1 0 13096976 1071505408 259167 1992294400 134512640 137138936 4290983424 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 261598 259167 191 642 0 260954 0 Current children cumulated CPU time (s) 1797.01 Current children cumulated vsize (KiB) 1046392 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20028 /proc/meminfo: memFree=701688/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=1046392 CPUtime=1797.81 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202496 259870 0 0 0 179458 323 0 0 25 0 1 0 13096976 1071505408 259167 1992294400 134512640 137138936 4290983424 18446744073709551615 136504452 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19970/statm: 261598 259167 191 642 0 260954 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (KiB) 1046392 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20028 /proc/meminfo: memFree=701688/2059040 swapFree=4152912/4192956 [pid=19970] ppid=19968 vsize=0 CPUtime=1798.02 /proc/19970/stat : 19970 (bsolo_pb10) R 19968 19970 19751 0 -1 4202500 259871 0 0 0 179477 325 0 0 25 0 1 0 13096976 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/19970/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.02 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.59 CPU time (s): 1798.1 CPU user time (s): 1794.77 CPU system time (s): 3.33149 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 1046792 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.77 system time used= 3.33149 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 259871 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= 1 involuntary context switches= 11999 runsolver used 3.13552 second user time and 8.32573 second system time The end
Begin job on node035 at 2010-06-16 21:53:40 IDJOB=2671084 IDBENCH=48258 IDSOLVER=1163 FILE ID=node035/2671084-1276718019 PBS_JOBID= 11174185 Free space on /tmp= 62460 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_1.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671084-1276718019/watcher-2671084-1276718019 -o /tmp/evaluation-result-2671084-1276718019/solver-2671084-1276718019 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671084-1276718019.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 162153f0f0e5f8f2e587b9d579ee09dc RANDOM SEED=559438781 node035.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.219 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.219 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1743072 kB Buffers: 91084 kB Cached: 124056 kB SwapCached: 2400 kB Active: 96808 kB Inactive: 140432 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1743072 kB SwapTotal: 4192956 kB SwapFree: 4152912 kB Dirty: 4116 kB Writeback: 0 kB AnonPages: 20012 kB Mapped: 13700 kB Slab: 56976 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181500 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2671084-1276718019.opb Free space on /tmp at the end= 62456 MiB End job on node035 at 2010-06-16 22:23:39