Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 54 | 1800.03 | 1800.52 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C499.b.opb |
MD5SUM | 0b80319f4195f1e1329c2c4b63b416b0 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 54 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 45 |
Optimality of the best value was proved | NO |
Number of variables | 5203 |
Total number of constraints | 19637 |
Number of constraints which are clauses | 19637 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 360 |
Number of terms in the objective function | 5203 |
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 | 5203 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 5203 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433502-1177960115/instance-433502-1177960115.opb 0.00/0.00 c File size is 9972193 bytes. 1.78/1.87 c Highest Coefficient sum: 5203 1.78/1.88 c Parsing was ok!! 1.78/1.88 c Total parsing time: 1.875 s 1.78/1.89 c Var: 5203 Constr: 19637 19637/0/0 Lit: 1117990 Watch. Lit: 39274 1.78/1.89 c Obj. Vars: 5203 (100 % of total variables) 22.98/23.07 c Formula reductions applied at preprocessing 22.98/23.07 c Pre-processing Time: 23.061 s 61.06/61.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 61.06/61.16 c 0 5039 19063 1097921 57 38126 6354 0 0 23.06 61.06/61.16 c Initial Lower Bound: 40 61.06/61.16 c Initial Path Cost: 0 61.16/61.22 o 89 61.2 613.22/613.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 613.22/613.43 c 2 5039 19066 1103221 57 43082 7354 3 0 61.20 613.22/613.43 o 60 613.263 * 1070.80/1071.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1070.80/1071.18 c 3 5039 19068 1108377 58 48065 7354 5 0 613.27 1070.80/1071.18 o 54 1070.89 * 1800.01/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.01/1800.50 c 3 5039 19069 1113416 58 53052 7354 6 0 1070.89 1800.01/1800.50 c 105 5039 19273 1171408 60 53460 8090 210 0 1749.35 1800.01/1800.50 c Caught signal: 15 1800.01/1800.50 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 1800.01/1800.50 v -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 1800.01/1800.50 v -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 1800.01/1800.50 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1800.01/1800.50 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.01/1800.50 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.01/1800.50 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.01/1800.50 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.01/1800.50 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.01/1800.50 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.01/1800.50 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 1800.01/1800.50 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.01/1800.50 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.01/1800.50 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.01/1800.50 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1800.01/1800.50 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1800.01/1800.50 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.01/1800.50 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 1800.01/1800.50 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1800.01/1800.50 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1800.01/1800.50 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.01/1800.50 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.01/1800.50 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.01/1800.50 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 1800.01/1800.50 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.01/1800.50 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.01/1800.50 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.01/1800.50 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.01/1800.50 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.01/1800.50 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1800.01/1800.50 v -x651 -x652 -x653 -x654 -x655 -x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1800.01/1800.50 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1800.01/1800.50 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1800.01/1800.50 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1800.01/1800.50 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1800.01/1800.50 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1800.01/1800.50 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1800.01/1800.50 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1800.01/1800.50 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 1800.01/1800.50 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 x857 -x858 -x859 -x860 1800.01/1800.50 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 1800.01/1800.50 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1800.01/1800.50 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1800.01/1800.50 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1800.01/1800.50 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1800.01/1800.50 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.01/1800.50 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1800.01/1800.50 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1800.01/1800.50 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1800.01/1800.50 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1800.01/1800.50 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1800.01/1800.50 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1800.01/1800.50 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1800.01/1800.50 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1800.01/1800.50 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1800.01/1800.50 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1800.01/1800.50 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1800.01/1800.50 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1800.01/1800.50 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1800.01/1800.50 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 x1223 -x1224 -x1225 -x1226 1800.01/1800.50 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 1800.01/1800.50 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 1800.01/1800.50 v -x1261 -x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 1800.01/1800.50 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 x1289 -x1290 -x1291 -x1292 -x1293 -x1294 1800.01/1800.50 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 1800.01/1800.50 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 1800.01/1800.50 v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 1800.01/1800.50 v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 1800.01/1800.50 v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1800.01/1800.50 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 1800.01/1800.50 v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 1800.01/1800.50 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 1800.01/1800.50 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 x1442 -x1443 -x1444 -x1445 -x1446 -x1447 1800.01/1800.50 v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 1800.01/1800.50 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 1800.01/1800.50 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 1800.01/1800.50 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 1800.01/1800.50 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 1800.01/1800.50 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1800.01/1800.50 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 1800.01/1800.50 v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 1800.01/1800.50 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 1800.01/1800.50 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 1800.01/1800.50 v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 1800.01/1800.50 v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 1800.01/1800.50 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 1800.01/1800.50 v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 1800.01/1800.50 v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 1800.01/1800.50 v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 1800.01/1800.50 v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 1800.01/1800.50 v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 1800.01/1800.50 v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 1800.01/1800.50 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 1800.01/1800.50 v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 1800.01/1800.50 v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 1800.01/1800.50 v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 1800.01/1800.50 v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 1800.01/1800.50 v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1800.01/1800.50 v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 1800.01/1800.50 v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 1800.01/1800.50 v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 1800.01/1800.50 v x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 1800.01/1800.50 v -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 x1953 -x1954 -x1955 -x1956 -x1957 -x1958 1800.01/1800.50 v -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 1800.01/1800.50 v -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 1800.01/1800.50 v -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 1800.01/1800.50 v -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 1800.01/1800.50 v -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 1800.01/1800.50 v -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 1800.01/1800.50 v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 1800.01/1800.50 v -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 1800.01/1800.50 v -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 1800.01/1800.50 v -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 1800.01/1800.50 v -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 1800.01/1800.50 v -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 1800.01/1800.50 v -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 1800.01/1800.50 v -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 1800.01/1800.50 v -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 1800.01/1800.50 v -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 1800.01/1800.50 v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 1800.01/1800.50 v -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 1800.01/1800.50 v -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 1800.01/1800.50 v -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 1800.01/1800.50 v -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 1800.01/1800.50 v -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 1800.01/1800.50 v -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 1800.01/1800.50 v -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 x2365 -x2366 1800.01/1800.50 v -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 1800.01/1800.50 v -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 1800.01/1800.50 v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 1800.01/1800.50 v -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 1800.01/1800.50 v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 1800.01/1800.50 v -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 1800.01/1800.50 v -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 1800.01/1800.50 v -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 1800.01/1800.50 v -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 1800.01/1800.50 v -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 1800.01/1800.50 v -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 1800.01/1800.50 v -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 1800.01/1800.50 v -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 1800.01/1800.50 v -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 1800.01/1800.50 v -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 1800.01/1800.50 v -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 1800.01/1800.50 v -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 1800.01/1800.50 v -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 1800.01/1800.50 v -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 1800.01/1800.50 v -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 1800.01/1800.50 v -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 1800.01/1800.50 v -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 x2740 1800.01/1800.50 v -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 1800.01/1800.50 v -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 1800.01/1800.50 v -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 1800.01/1800.50 v -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 1800.01/1800.50 v -x2809 -x2810 -x2811 -x2812 -x2813 x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 1800.01/1800.50 v -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 1800.01/1800.50 v -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 1800.01/1800.50 v -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 1800.01/1800.50 v -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 1800.01/1800.50 v -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 1800.01/1800.50 v -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 1800.01/1800.50 v -x2928 -x2929 -x2930 -x2931 -x2932 x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 1800.01/1800.50 v -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 1800.01/1800.50 v -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 x2978 1800.01/1800.50 v -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 1800.01/1800.50 v -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 1800.01/1800.50 v -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 1800.01/1800.50 v -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 1800.01/1800.50 v -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 1800.01/1800.50 v -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 1800.01/1800.50 v -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 x3095 -x3096 -x3097 1800.01/1800.50 v -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 1800.01/1800.50 v -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 1800.01/1800.50 v -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 1800.01/1800.50 v -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 1800.01/1800.50 v -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 1800.01/1800.50 v -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 1800.01/1800.50 v -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 1800.01/1800.50 v -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 x3230 -x3231 -x3232 -x3233 1800.01/1800.50 v -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 1800.01/1800.50 v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 1800.01/1800.50 v -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 1800.01/1800.50 v -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 1800.01/1800.50 v -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 1800.01/1800.50 v -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 1800.01/1800.50 v -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 1800.01/1800.50 v -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 1800.01/1800.50 v -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 1800.01/1800.50 v -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 1800.01/1800.50 v -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 1800.01/1800.50 v -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 1800.01/1800.50 v -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 1800.01/1800.50 v -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 1800.01/1800.50 v -x3472 x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 1800.01/1800.50 v -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 1800.01/1800.50 v -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 1800.01/1800.50 v -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 1800.01/1800.50 v -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 1800.01/1800.50 v -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 1800.01/1800.50 v -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 1800.01/1800.50 v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 1800.01/1800.50 v -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 1800.01/1800.50 v -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 1800.01/1800.50 v -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 1800.01/1800.50 v -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 1800.01/1800.50 v -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 1800.01/1800.50 v -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 1800.01/1800.50 v -x3710 -x3711 -x3712 -x3713 x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 1800.01/1800.50 v -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 1800.01/1800.50 v -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 1800.01/1800.50 v -x3761 -x3762 -x3763 -x3764 -x3765 x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 1800.01/1800.50 v -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 1800.01/1800.50 v -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 1800.01/1800.50 v -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 1800.01/1800.50 v -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 1800.01/1800.50 v -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 1800.01/1800.50 v -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 1800.01/1800.50 v -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 1800.01/1800.50 v -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 1800.01/1800.50 v -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 1800.01/1800.50 v -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 1800.01/1800.50 v -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 1800.01/1800.50 v -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 1800.01/1800.50 v -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 1800.01/1800.50 v -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 1800.01/1800.50 v -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 1800.01/1800.50 v -x4033 x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 1800.01/1800.50 v -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 1800.01/1800.50 v -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 x4081 -x4082 -x4083 1800.01/1800.50 v -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 1800.01/1800.50 v -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 1800.01/1800.50 v -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 1800.01/1800.50 v -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 1800.01/1800.50 v -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 1800.01/1800.50 v -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 1800.01/1800.50 v -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 1800.01/1800.50 v -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 1800.01/1800.50 v -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 1800.01/1800.50 v -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 1800.01/1800.50 v -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 1800.01/1800.50 v -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 1800.01/1800.50 v -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 1800.01/1800.50 v -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 1800.01/1800.50 v -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 1800.01/1800.50 v -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 1800.01/1800.50 v -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 1800.01/1800.50 v -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 1800.01/1800.50 v -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 x4403 -x4404 -x4405 -x4406 1800.01/1800.50 v -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 1800.01/1800.50 v -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 1800.01/1800.50 v -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 1800.01/1800.50 v -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 1800.01/1800.50 v -x4475 -x4476 -x4477 -x4478 -x4479 x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 1800.01/1800.50 v -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 1800.01/1800.50 v -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 1800.01/1800.50 v -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 1800.01/1800.50 v -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 1800.01/1800.50 v -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 1800.01/1800.50 v -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 1800.01/1800.50 v -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 1800.01/1800.50 v -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 1800.01/1800.50 v -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 1800.01/1800.50 v -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 1800.01/1800.50 v -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 1800.01/1800.50 v -x4679 -x4680 -x4681 -x4682 -x4683 x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 x4691 -x4692 -x4693 -x4694 -x4695 -x4696 1800.01/1800.50 v -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 1800.01/1800.50 v -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 1800.01/1800.50 v -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 1800.01/1800.50 v -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 1800.01/1800.50 v -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 1800.01/1800.50 v -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 1800.01/1800.50 v -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 1800.01/1800.50 v -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 1800.01/1800.50 v -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 1800.01/1800.50 v -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 1800.01/1800.50 v -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 1800.01/1800.50 v -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 1800.01/1800.50 v -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 1800.01/1800.50 v -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 1800.01/1800.50 v -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 1800.01/1800.50 v x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 1800.01/1800.50 v -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 1800.01/1800.50 v -x4986 -x4987 -x4988 -x4989 -x4990 x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 1800.01/1800.50 v -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 1800.01/1800.50 v -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 1800.01/1800.50 v -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 1800.01/1800.50 v x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 1800.01/1800.50 v -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 x5086 -x5087 1800.01/1800.50 v -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 1800.01/1800.50 v -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 1800.01/1800.50 v -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 1800.01/1800.50 v -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 1800.01/1800.50 v -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 1800.01/1800.50 v -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 1800.01/1800.50 v -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 1800.01/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.01/1800.50 c 4 105 7 4970 19273 1171408 210 0 1800.02 1800.01/1800.50 c Objective: 54 1800.01/1800.50 s SATISFIABLE 1800.01/1800.50 c Total time: 1800.02 s
OK 54
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node43/watcher-433502-1177960115 -o ROOT/results/node43/solver-433502-1177960115 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433502-1177960115/instance-433502-1177960115.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.80 0.91 0.93 3/77 32649 /proc/meminfo: memFree=1529776/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=29288 CPUtime=0 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 361 0 0 0 0 0 0 0 18 0 1 0 243923381 29990912 331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 5369 331 279 324 0 2004 0 [startup+0.0849959 s] /proc/loadavg: 0.80 0.91 0.93 3/77 32649 /proc/meminfo: memFree=1529776/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=14680 CPUtime=0.08 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 707 0 0 0 8 0 0 0 18 0 1 0 243923381 15032320 677 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 3670 678 383 324 0 305 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 14680 [startup+0.101997 s] /proc/loadavg: 0.80 0.91 0.93 3/77 32649 /proc/meminfo: memFree=1529776/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=14812 CPUtime=0.09 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 765 0 0 0 9 0 0 0 18 0 1 0 243923381 15167488 735 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 3703 735 404 324 0 338 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14812 [startup+0.302014 s] /proc/loadavg: 0.80 0.91 0.93 3/77 32649 /proc/meminfo: memFree=1529776/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=16504 CPUtime=0.29 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 1441 0 0 0 29 0 0 0 19 0 1 0 243923381 16900096 1411 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 4126 1411 664 324 0 761 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16504 [startup+0.70105 s] /proc/loadavg: 0.80 0.91 0.93 3/77 32649 /proc/meminfo: memFree=1529776/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=19748 CPUtime=0.69 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 2797 0 0 0 69 0 0 0 22 0 1 0 243923381 20221952 2767 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 4937 2767 1184 324 0 1572 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19748 [startup+1.50112 s] /proc/loadavg: 0.80 0.91 0.93 2/78 32650 /proc/meminfo: memFree=1521064/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=26492 CPUtime=1.49 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 5498 0 0 0 148 1 0 0 25 0 1 0 243923381 27127808 5468 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134524931 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 6623 5469 2224 324 0 3258 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26492 [startup+3.10126 s] /proc/loadavg: 0.80 0.91 0.93 2/78 32650 /proc/meminfo: memFree=1494760/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=38728 CPUtime=3.09 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 11506 0 0 0 305 4 0 0 25 0 1 0 243923381 39657472 9041 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 9682 9041 305 324 0 8752 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 38728 [startup+6.30154 s] /proc/loadavg: 0.81 0.92 0.93 2/78 32650 /proc/meminfo: memFree=1494504/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=38728 CPUtime=6.28 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 11506 0 0 0 622 6 0 0 25 0 1 0 243923381 39657472 9041 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 9682 9041 305 324 0 8752 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 38728 [startup+12.7011 s] /proc/loadavg: 0.83 0.92 0.93 2/78 32650 /proc/meminfo: memFree=1495472/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=38104 CPUtime=12.68 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 15702 0 0 0 1260 8 0 0 25 0 1 0 243923381 39018496 8875 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 9526 8875 305 324 0 8596 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 38104 [startup+25.5012 s] /proc/loadavg: 0.87 0.92 0.93 2/78 32650 /proc/meminfo: memFree=1495600/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=38104 CPUtime=25.48 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 15731 0 0 0 2538 10 0 0 25 0 1 0 243923381 39018496 8904 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135467775 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 9526 8904 334 324 0 8596 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38104 [startup+51.1014 s] /proc/loadavg: 0.91 0.92 0.93 2/78 32650 /proc/meminfo: memFree=1466800/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=64768 CPUtime=51.07 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 2260501 0 0 0 4162 945 0 0 25 0 1 0 243923381 66322432 13711 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135467970 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 16192 13718 334 324 0 15262 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 64768 [startup+102.306 s] /proc/loadavg: 0.96 0.93 0.93 2/78 32650 /proc/meminfo: memFree=1466928/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=84076 CPUtime=102.26 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 2361869 0 0 0 9230 996 0 0 25 0 1 0 243923381 86093824 15292 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694631 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 21019 15292 394 324 0 20089 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 84076 [startup+162.301 s] /proc/loadavg: 0.98 0.94 0.93 2/78 32650 /proc/meminfo: memFree=1466160/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=87324 CPUtime=162.24 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 2479930 0 0 0 15166 1058 0 0 25 0 1 0 243923381 89419776 15340 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694627 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 21831 15340 394 324 0 20901 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 87324 [startup+222.301 s] /proc/loadavg: 0.99 0.95 0.93 2/78 32650 /proc/meminfo: memFree=1467184/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=86396 CPUtime=222.22 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 2612477 0 0 0 21099 1123 0 0 25 0 1 0 243923381 88469504 15308 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694620 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 21599 15308 394 324 0 20669 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 86396 [startup+282.302 s] /proc/loadavg: 0.99 0.96 0.93 2/78 32650 /proc/meminfo: memFree=1466992/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=87884 CPUtime=282.2 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 2759195 0 0 0 27027 1193 0 0 25 0 1 0 243923381 89993216 15539 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694629 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 21971 15539 394 324 0 21041 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 87884 [startup+342.302 s] /proc/loadavg: 0.99 0.96 0.93 2/78 32650 /proc/meminfo: memFree=1467440/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=84920 CPUtime=342.19 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 2895336 0 0 0 32959 1260 0 0 25 0 1 0 243923381 86958080 15219 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134700535 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 21230 15219 394 324 0 20300 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 84920 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.93 2/78 32650 /proc/meminfo: memFree=1468336/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=79472 CPUtime=402.17 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 3022961 0 0 0 38895 1322 0 0 25 0 1 0 243923381 81379328 14773 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694629 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 19868 14773 394 324 0 18938 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 79472 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.93 2/78 32650 /proc/meminfo: memFree=1466544/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=85980 CPUtime=462.16 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 3179006 0 0 0 44819 1397 0 0 25 0 1 0 243923381 88043520 15056 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694620 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 21495 15056 394 324 0 20565 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 85980 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.93 2/78 32650 /proc/meminfo: memFree=1468528/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=85756 CPUtime=522.14 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 3364420 0 0 0 50726 1488 0 0 25 0 1 0 243923381 87814144 14959 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135331929 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 21439 14959 394 324 0 20509 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 85756 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.93 2/78 32650 /proc/meminfo: memFree=1473136/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=81244 CPUtime=582.13 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 3568620 0 0 0 56630 1583 0 0 25 0 1 0 243923381 83193856 14406 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134689759 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 20311 14406 394 324 0 19381 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 81244 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.93 2/78 32650 /proc/meminfo: memFree=1466736/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=83920 CPUtime=642.12 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 3837664 0 0 0 62501 1711 0 0 25 0 1 0 243923381 85934080 15287 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694627 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 20980 15287 394 324 0 20050 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 83920 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.93 2/78 32650 /proc/meminfo: memFree=1467632/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=85132 CPUtime=882.05 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 4262505 0 0 0 86277 1928 0 0 25 0 1 0 243923381 87175168 15177 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694624 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 21283 15177 394 324 0 20353 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 85132 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.93 2/78 32650 /proc/meminfo: memFree=1469104/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=80664 CPUtime=942.03 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 4439893 0 0 0 92188 2015 0 0 25 0 1 0 243923381 82599936 14781 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694644 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 20166 14781 394 324 0 19236 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 80664 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 32650 /proc/meminfo: memFree=1473200/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=80380 CPUtime=1002.01 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 4593408 0 0 0 98109 2092 0 0 25 0 1 0 243923381 82309120 14772 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694629 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 20095 14772 394 324 0 19165 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 80380 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 32650 /proc/meminfo: memFree=1473200/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=79436 CPUtime=1062 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 4719321 0 0 0 104047 2153 0 0 25 0 1 0 243923381 81342464 14995 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 19859 14995 394 324 0 18929 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 79436 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 32650 /proc/meminfo: memFree=1466736/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=83456 CPUtime=1121.99 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 4814479 0 0 0 109997 2202 0 0 25 0 1 0 243923381 85458944 15376 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 20864 15376 394 324 0 19934 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 83456 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 32650 /proc/meminfo: memFree=1467184/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=86924 CPUtime=1181.96 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 4926534 0 0 0 115938 2258 0 0 25 0 1 0 243923381 89010176 15520 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694634 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 21731 15520 394 324 0 20801 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 86924 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 32650 /proc/meminfo: memFree=1468400/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=87804 CPUtime=1241.96 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 5055309 0 0 0 121873 2323 0 0 25 0 1 0 243923381 89911296 15036 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135333141 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 21951 15036 394 324 0 21021 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 87804 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 32650 /proc/meminfo: memFree=1464944/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=100128 CPUtime=1301.94 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 5161403 0 0 0 127819 2375 0 0 25 0 1 0 243923381 102531072 15719 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694629 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 25032 15719 394 324 0 24102 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 100128 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 32650 /proc/meminfo: memFree=1466288/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=94368 CPUtime=1361.92 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 5282735 0 0 0 133758 2434 0 0 25 0 1 0 243923381 96632832 15587 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135331663 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 23592 15587 394 324 0 22662 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 94368 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.93 2/78 32650 /proc/meminfo: memFree=1468336/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=88352 CPUtime=1421.91 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 5449076 0 0 0 139674 2517 0 0 25 0 1 0 243923381 90472448 14950 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134948482 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 22088 14950 394 324 0 21158 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 88352 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 32650 /proc/meminfo: memFree=1468272/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=81800 CPUtime=1481.89 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 5701134 0 0 0 145552 2637 0 0 25 0 1 0 243923381 83763200 14799 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694629 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 20450 14799 394 324 0 19520 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 81800 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 32650 /proc/meminfo: memFree=1469040/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=56612 CPUtime=1541.87 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 5887975 0 0 0 151458 2729 0 0 25 0 1 0 243923381 57970688 13627 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134705479 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 14153 13627 394 324 0 13223 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 56612 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 32650 /proc/meminfo: memFree=1469040/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=75504 CPUtime=1601.85 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 6007111 0 0 0 157396 2789 0 0 25 0 1 0 243923381 77316096 14778 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694627 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 18876 14778 394 324 0 17946 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 75504 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 32650 /proc/meminfo: memFree=1467760/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=77724 CPUtime=1661.84 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 6134951 0 0 0 163333 2851 0 0 25 0 1 0 243923381 79589376 14742 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135202852 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 19431 14742 394 324 0 18501 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 77724 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 32650 /proc/meminfo: memFree=1468720/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=78608 CPUtime=1721.82 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 6273177 0 0 0 169262 2920 0 0 25 0 1 0 243923381 80494592 15003 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 19652 15003 394 324 0 18722 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 78608 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 32650 /proc/meminfo: memFree=1465904/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=83904 CPUtime=1781.81 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 6395942 0 0 0 175198 2983 0 0 25 0 1 0 243923381 85917696 15149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135332093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 20976 15149 394 324 0 20046 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 83904 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.93 2/78 32650 /proc/meminfo: memFree=1466096/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=87248 CPUtime=1800.01 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 6430207 0 0 0 177001 3000 0 0 25 0 1 0 243923381 89341952 15434 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135331688 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 21812 15434 394 324 0 20882 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 87248 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.93 2/78 32650 /proc/meminfo: memFree=1466096/2055920 swapFree=4158592/4192956 [pid=32649] ppid=32647 vsize=87248 CPUtime=1800.01 /proc/32649/stat : 32649 (bsolo3.0.17) R 32647 32649 31607 0 -1 4194304 6430207 0 0 0 177001 3000 0 0 25 0 1 0 243923381 89341952 15434 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135331688 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32649/statm: 21812 15434 394 324 0 20882 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 87248 Child status: 15 Real time (s): 1800.52 CPU time (s): 1800.03 CPU user time (s): 1770.02 CPU system time (s): 30.0114 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (KiB): 101024 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1770.02 system time used= 30.0114 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6430210 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= 13 involuntary context switches= 2617 runsolver used 1.40679 second user time and 4.19436 second system time The end
Begin job on node43 on Mon Apr 30 19:08:36 UTC 2007 IDJOB= 433502 IDBENCH= 2889 IDSOLVER= 199 FILE ID= node43/433502-1177960115 PBS_JOBID= 4727701 Free space on /tmp= 66549 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433502-1177960115/instance-433502-1177960115.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-433502-1177960115 -o ROOT/results/node43/solver-433502-1177960115 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433502-1177960115/instance-433502-1177960115.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 0b80319f4195f1e1329c2c4b63b416b0 RANDOM SEED= 723501747 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node43.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.218 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.218 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1530312 kB Buffers: 38960 kB Cached: 388332 kB SwapCached: 2808 kB Active: 253332 kB Inactive: 198324 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1530312 kB SwapTotal: 4192956 kB SwapFree: 4158592 kB Dirty: 16432 kB Writeback: 0 kB Mapped: 32188 kB Slab: 59304 kB Committed_AS: 2813220 kB PageTables: 1900 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66549 MiB End job on node43 on Mon Apr 30 19:38:38 UTC 2007