Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | SAT (TO) | -25 | 1800.31 | 1790.39 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-israel.opb |
MD5SUM | 916719a95a95b5989e5d4b5f3d786df3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -35 |
Best CPU time to get the best result obtained on this benchmark | 1800.28 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -36 |
Optimality of the best value was proved | NO |
Number of variables | 4260 |
Total number of constraints | 174 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 174 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 3540 |
Number of terms in the objective function | 2670 |
Biggest coefficient in the objective function | 42742 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 526467 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262137 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 527037 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.09/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.09/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.09/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.09/0.15 c no version file found!!! 0.09/0.15 c sun.arch.data.model 32 0.09/0.15 c java.version 1.6.0 0.09/0.15 c os.name Linux 0.09/0.15 c os.version 2.6.9-22.EL.rootsmp 0.09/0.15 c os.arch i386 0.09/0.15 c Free memory 1651659224 0.09/0.15 c Max memory 1654456320 0.09/0.15 c Total memory 1654456320 0.09/0.15 c Number of processors 2 0.20/0.20 --- Begin Solver configuration --- 0.20/0.20 c Stops conflict analysis at the first Unique Implication Point 0.20/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.20 c Learn all clauses as in MiniSAT 0.20/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.20/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.20 c No reason simplification 0.20/0.20 c --- End Solver configuration --- 0.20/0.20 c solving /tmp/evaluation/351053-1176577244/instance-351053-1176577244.opb 0.20/0.20 c reading problem ... 2.37/1.43 c ... done. Wall clock time 1.227s. 2.37/1.43 c CPU time (experimental) 0.93s. 2.37/1.43 c #vars 4260 2.37/1.43 c #constraints 174 8.00/6.79 c SATISFIABLE 8.00/6.79 c OPTIMIZING... 8.00/6.79 c Got one! Elapsed wall clock time (in seconds):6.582 8.11/6.80 o -25 1800.03/1790.21 c starts : 24 1800.03/1790.21 c conflicts : 324305 1800.03/1790.21 c decisions : 685293 1800.03/1790.21 c propagations : 91912408 1800.03/1790.21 c inspects : 441563288 1800.03/1790.21 c learnt literals : 3 1800.03/1790.21 c learnt binary clauses : 2 1800.03/1790.21 c learnt ternary clauses : 0 1800.03/1790.21 c learnt clauses : 324302 1800.03/1790.21 c root simplifications : 0 1800.03/1790.21 c removed literals (reason simplification) : 0 1800.03/1790.21 c reason swapping (by a shorter reason) : 0 1800.03/1790.21 c Calls to reduceDB : 0 1800.03/1790.21 c speed (decisions/second) : 384.28470892364976 1800.03/1790.21 c non guided choices 908 1800.03/1790.21 s SATISFIABLE 1800.03/1790.26 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.03/1790.26 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.03/1790.26 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.03/1790.26 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.03/1790.26 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.03/1790.26 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.03/1790.26 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.03/1790.26 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.03/1790.26 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.03/1790.26 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.03/1790.26 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.03/1790.26 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.03/1790.26 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.03/1790.26 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.03/1790.26 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1800.03/1790.26 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1800.03/1790.26 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.03/1790.26 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.03/1790.26 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1800.03/1790.26 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1800.03/1790.26 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.03/1790.26 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.03/1790.26 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.03/1790.26 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.03/1790.26 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.03/1790.26 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.03/1790.26 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.03/1790.26 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.03/1790.26 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.03/1790.26 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1800.03/1790.26 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1800.03/1790.26 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1800.03/1790.26 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 -x713 1800.03/1790.26 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1800.03/1790.26 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1800.03/1790.26 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1800.03/1790.26 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1800.03/1790.26 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 x812 x813 x814 x815 -x816 -x817 -x818 -x819 1800.03/1790.26 v x820 x821 x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1800.03/1790.26 v x841 x842 x843 x844 x845 x846 x847 x848 x849 x850 x851 x852 x853 x854 x855 x856 x857 x858 -x859 -x860 -x861 -x862 -x863 -x864 1800.03/1790.26 v -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 1800.03/1790.26 v -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 1800.03/1790.26 v -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 1800.03/1790.26 v -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 1800.03/1790.26 v -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 1800.03/1790.26 v -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 1800.03/1790.26 v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 1800.03/1790.26 v -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 1800.03/1790.26 v -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 1800.03/1790.26 v -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 1800.03/1790.26 v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 1800.03/1790.26 v -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 x1093 x1094 x1095 1800.03/1790.26 v -x1096 x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 1800.03/1790.26 v -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 1800.03/1790.26 v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 1800.03/1790.26 v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 1800.03/1790.26 v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 1800.03/1790.26 v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 1800.03/1790.26 v -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 1800.03/1790.26 v -x1216 -x1217 -x1218 -x1219 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 1800.03/1790.26 v -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 1800.03/1790.26 v -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 1800.03/1790.26 v -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 1800.03/1790.26 v -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 1800.03/1790.26 v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 1800.03/1790.26 v -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 1800.03/1790.26 v -x1335 -x1336 -x1337 -x1338 x1339 x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 1800.03/1790.26 v -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 x1368 -x1369 1800.03/1790.26 v x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 1800.03/1790.26 v -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 1800.03/1790.26 v -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 1800.03/1790.26 v -x1421 -x1422 -x1423 -x1424 -x1425 x1426 x1427 x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 1800.03/1790.26 v -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 1800.03/1790.26 v -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 1800.03/1790.26 v -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 1800.03/1790.26 v -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 1800.03/1790.26 v -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 1800.03/1790.26 v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 1800.03/1790.26 v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 1800.03/1790.26 v -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 1800.03/1790.26 v -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 1800.03/1790.26 v -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 1800.03/1790.26 v -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 1800.03/1790.26 v -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 1800.03/1790.26 v -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 1800.03/1790.26 v -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 1800.03/1790.26 v -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 1800.03/1790.26 v -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 1800.03/1790.26 v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 1800.03/1790.26 v -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 1800.03/1790.26 v -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 1800.03/1790.26 v x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 1800.03/1790.26 v -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 1800.03/1790.26 v -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 1800.03/1790.26 v -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 1800.03/1790.26 v -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 x1842 -x1843 -x1844 -x1845 -x1846 1800.03/1790.26 v -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 1800.03/1790.26 v -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 1800.03/1790.26 v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 1800.03/1790.26 v -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 1800.03/1790.26 v -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 1800.03/1790.26 v -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 1800.03/1790.26 v -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 1800.03/1790.26 v -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 1800.03/1790.26 v -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 1800.03/1790.26 v -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 1800.03/1790.26 v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 1800.03/1790.26 v -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 1800.03/1790.26 v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 1800.03/1790.26 v -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 1800.03/1790.26 v -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 1800.03/1790.26 v -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 1800.03/1790.26 v -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 x2131 -x2132 -x2133 -x2134 -x2135 1800.03/1790.26 v -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 1800.03/1790.26 v -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 1800.03/1790.26 v -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 1800.03/1790.26 v -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 1800.03/1790.26 v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 1800.03/1790.26 v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 1800.03/1790.26 v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 1800.03/1790.26 v -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 1800.03/1790.26 v -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 1800.03/1790.26 v -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 1800.03/1790.26 v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 1800.03/1790.26 v -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 1800.03/1790.26 v -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 1800.03/1790.26 v -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 1800.03/1790.26 v -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 1800.03/1790.26 v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 1800.03/1790.26 v -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 1800.03/1790.26 v -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 1800.03/1790.26 v -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 1800.03/1790.26 v -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 1800.03/1790.26 v -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 1800.03/1790.26 v -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 1800.03/1790.26 v -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 1800.03/1790.26 v -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 1800.03/1790.26 v -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 1800.03/1790.26 v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 1800.03/1790.26 v -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 1800.03/1790.26 v -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 1800.03/1790.26 v -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 1800.03/1790.26 v -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 1800.03/1790.26 v -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 1800.03/1790.26 v -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 1800.03/1790.26 v -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 1800.03/1790.26 v -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 1800.03/1790.26 v -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 1800.03/1790.26 v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 1800.03/1790.26 v -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 1800.03/1790.26 v -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 1800.03/1790.26 v -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 1800.03/1790.26 v -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 1800.03/1790.26 v -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 1800.03/1790.26 v -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 1800.03/1790.26 v -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 1800.03/1790.26 v -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 1800.03/1790.26 v -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 1800.03/1790.26 v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 1800.03/1790.26 v -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 1800.03/1790.26 v -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 1800.03/1790.26 v -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 1800.03/1790.26 v -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 1800.03/1790.26 v -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 1800.03/1790.26 v -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 1800.03/1790.26 v -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 1800.03/1790.26 v -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 1800.03/1790.26 v -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 1800.03/1790.26 v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 1800.03/1790.26 v -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 1800.03/1790.26 v -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 1800.03/1790.26 v -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 1800.03/1790.26 v -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 1800.03/1790.26 v -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 1800.03/1790.26 v -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 1800.03/1790.26 v -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 1800.03/1790.26 v -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 1800.03/1790.26 v -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 1800.03/1790.26 v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 1800.03/1790.26 v -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 1800.03/1790.26 v -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 1800.03/1790.26 v -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 1800.03/1790.26 v -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 1800.03/1790.26 v -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 1800.03/1790.26 v -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 1800.03/1790.26 v -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 1800.03/1790.26 v -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 1800.03/1790.26 v -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 1800.03/1790.26 v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 1800.03/1790.26 v -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 1800.03/1790.26 v -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 1800.03/1790.26 v -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 1800.03/1790.26 v -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 1800.03/1790.26 v -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 1800.03/1790.26 v -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 1800.03/1790.26 v -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 1800.03/1790.26 v -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 1800.03/1790.26 v -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 1800.03/1790.26 v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 1800.03/1790.26 v -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 1800.03/1790.26 v -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 1800.03/1790.26 v -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 1800.03/1790.26 v -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 1800.03/1790.26 v -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 1800.03/1790.26 v -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 1800.03/1790.26 v -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 1800.03/1790.26 v -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 1800.03/1790.26 v -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 1800.03/1790.26 v -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 1800.03/1790.26 v -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 1800.03/1790.26 v -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 1800.03/1790.26 v -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 1800.03/1790.26 v -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 1800.03/1790.26 v -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 1800.03/1790.26 v -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 1800.03/1790.26 v -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 1800.03/1790.26 v -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 1800.03/1790.26 v -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 1800.03/1790.26 v -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 1800.03/1790.26 v -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 1800.03/1790.26 v -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 1800.03/1790.26 v -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 1800.03/1790.26 v -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 1800.03/1790.26 v -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 1800.03/1790.26 v -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 1800.03/1790.26 v -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 1800.03/1790.26 v -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 1800.03/1790.26 v -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 x4085 x4086 -x4087 x4088 -x4089 -x4090 -x4091 1800.03/1790.26 v -x4092 -x4093 x4094 -x4095 -x4096 -x4097 -x4098 x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 1800.03/1790.26 v -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 1800.03/1790.26 v -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 1800.03/1790.26 v -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 1800.03/1790.26 v -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 1800.03/1790.26 v -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 1800.03/1790.26 v -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 1800.03/1790.26 v -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 1800.03/1790.26 v -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 1800.03/1790.26 v -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 1800.03/1790.30 c objective function=-25 1800.03/1790.30 c Total wall clock time (ms): 1790.092
OK -25
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node61/watcher-351053-1176577244 -o ROOT/results/node61/solver-351053-1176577244 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351053-1176577244/sat4jPseudoResolution.jar /tmp/evaluation/351053-1176577244/instance-351053-1176577244.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.92 0.98 0.99 2/64 26063 /proc/meminfo: memFree=1316872/2055920 swapFree=4192812/4192956 [pid=26063] ppid=26061 vsize=152 CPUtime=0 /proc/26063/stat : 26063 (java) R 26061 26063 25070 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 69688084 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 10383659 0 0 4096 0 0 0 0 17 1 0 0 /proc/26063/statm: 38 26 19 9 0 4 0 [startup+0.044943 s] /proc/loadavg: 0.92 0.98 0.99 2/64 26063 /proc/meminfo: memFree=1316872/2055920 swapFree=4192812/4192956 [pid=26063] ppid=26061 vsize=1776376 CPUtime=0.03 /proc/26063/stat : 26063 (java) S 26061 26063 25070 0 -1 0 3414 0 1 0 1 2 0 0 18 0 4 0 69688084 1819009024 3160 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/26063/statm: 444094 3160 1001 9 0 441730 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1776376 [startup+0.101948 s] /proc/loadavg: 0.92 0.98 0.99 2/64 26063 /proc/meminfo: memFree=1316872/2055920 swapFree=4192812/4192956 [pid=26063] ppid=26061 vsize=1780108 CPUtime=0.09 /proc/26063/stat : 26063 (java) S 26061 26063 25070 0 -1 0 3974 0 1 0 6 3 0 0 18 0 12 0 69688084 1822830592 3715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26063/statm: 445027 3715 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1780108 [startup+0.301964 s] /proc/loadavg: 0.92 0.98 0.99 2/64 26063 /proc/meminfo: memFree=1316872/2055920 swapFree=4192812/4192956 [pid=26063] ppid=26061 vsize=1781428 CPUtime=0.33 /proc/26063/stat : 26063 (java) S 26061 26063 25070 0 -1 0 5097 0 1 0 29 4 0 0 18 0 12 0 69688084 1824182272 4835 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26063/statm: 445357 4835 1264 9 0 442969 0 Current children cumulated CPU time (s) 0.33 Current children cumulated vsize (KiB) 1781428 [startup+0.702005 s] /proc/loadavg: 0.92 0.98 0.99 2/64 26063 /proc/meminfo: memFree=1316872/2055920 swapFree=4192812/4192956 [pid=26063] ppid=26061 vsize=1788136 CPUtime=1.01 /proc/26063/stat : 26063 (java) S 26061 26063 25070 0 -1 0 8334 0 1 0 95 6 0 0 18 0 12 0 69688084 1831051264 7497 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26063/statm: 447034 7497 1302 9 0 444646 0 Current children cumulated CPU time (s) 1.01 Current children cumulated vsize (KiB) 1788136 [startup+1.50208 s] /proc/loadavg: 0.92 0.98 0.99 4/76 26075 /proc/meminfo: memFree=1284200/2055920 swapFree=4192812/4192956 [pid=26063] ppid=26061 vsize=1792960 CPUtime=2.47 /proc/26063/stat : 26063 (java) S 26061 26063 25070 0 -1 0 24247 0 1 0 234 13 0 0 18 0 12 0 69688084 1835991040 19768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26063/statm: 448240 19768 1316 9 0 445852 0 [pid=26063/tid=26065] ppid=26061 vsize=1792960 CPUtime=0.99 /proc/26063/task/26065/stat : 26065 (java) R 26061 26063 25070 0 -1 64 16187 0 1 0 91 8 0 0 18 0 12 0 69688086 1835991040 19768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109188194 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26066] ppid=26061 vsize=1792960 CPUtime=0 /proc/26063/task/26066/stat : 26066 (java) S 26061 26063 25070 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 69688087 1835991040 19768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26067] ppid=26061 vsize=1792960 CPUtime=0 /proc/26063/task/26067/stat : 26067 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 69688087 1835991040 19768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26063/tid=26068] ppid=26061 vsize=1792960 CPUtime=0 /proc/26063/task/26068/stat : 26068 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 69688089 1835991040 19768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26069] ppid=26061 vsize=1792960 CPUtime=0 /proc/26063/task/26069/stat : 26069 (java) S 26061 26063 25070 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 69688090 1835991040 19768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26070] ppid=26061 vsize=1792960 CPUtime=0 /proc/26063/task/26070/stat : 26070 (java) S 26061 26063 25070 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 69688090 1835991040 19768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26071] ppid=26061 vsize=1792960 CPUtime=0 /proc/26063/task/26071/stat : 26071 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 69688094 1835991040 19768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26072] ppid=26061 vsize=1792960 CPUtime=0.94 /proc/26063/task/26072/stat : 26072 (java) S 26061 26063 25070 0 -1 64 5528 0 0 0 92 2 0 0 16 0 12 0 69688094 1835991040 19768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26063/tid=26073] ppid=26061 vsize=1792960 CPUtime=0.51 /proc/26063/task/26073/stat : 26073 (java) S 26061 26063 25070 0 -1 64 1808 0 0 0 50 1 0 0 16 0 12 0 69688094 1835991040 19768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26074] ppid=26061 vsize=1792960 CPUtime=0 /proc/26063/task/26074/stat : 26074 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 69688094 1835991040 19768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26075] ppid=26061 vsize=1792960 CPUtime=0 /proc/26063/task/26075/stat : 26075 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 69688094 1835991040 19768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.47 Current children cumulated vsize (KiB) 1792960 [startup+3.10224 s] /proc/loadavg: 0.92 0.98 0.99 2/77 26076 /proc/meminfo: memFree=1232288/2055920 swapFree=4192812/4192956 [pid=26063] ppid=26061 vsize=1793284 CPUtime=4.34 /proc/26063/stat : 26063 (java) S 26061 26063 25070 0 -1 0 33918 0 1 0 416 18 0 0 18 0 13 0 69688084 1836322816 29231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26063/statm: 448321 29231 1321 9 0 445933 0 [pid=26063/tid=26065] ppid=26061 vsize=1793284 CPUtime=2.46 /proc/26063/task/26065/stat : 26065 (java) R 26061 26063 25070 0 -1 64 25590 0 1 0 233 13 0 0 25 0 13 0 69688086 1836322816 29231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109664964 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26066] ppid=26061 vsize=1793284 CPUtime=0 /proc/26063/task/26066/stat : 26066 (java) S 26061 26063 25070 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 69688087 1836322816 29231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26067] ppid=26061 vsize=1793284 CPUtime=0 /proc/26063/task/26067/stat : 26067 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 69688087 1836322816 29231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26063/tid=26068] ppid=26061 vsize=1793284 CPUtime=0 /proc/26063/task/26068/stat : 26068 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 69688089 1836322816 29231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26069] ppid=26061 vsize=1793284 CPUtime=0 /proc/26063/task/26069/stat : 26069 (java) S 26061 26063 25070 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 69688090 1836322816 29231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26070] ppid=26061 vsize=1793284 CPUtime=0 /proc/26063/task/26070/stat : 26070 (java) S 26061 26063 25070 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 69688090 1836322816 29231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26071] ppid=26061 vsize=1793284 CPUtime=0 /proc/26063/task/26071/stat : 26071 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 69688094 1836322816 29231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26072] ppid=26061 vsize=1793284 CPUtime=1.12 /proc/26063/task/26072/stat : 26072 (java) S 26061 26063 25070 0 -1 64 5543 0 0 0 110 2 0 0 16 0 13 0 69688094 1836322816 29231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26073] ppid=26061 vsize=1793284 CPUtime=0.73 /proc/26063/task/26073/stat : 26073 (java) S 26061 26063 25070 0 -1 64 2057 0 0 0 72 1 0 0 16 0 13 0 69688094 1836322816 29231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26063/tid=26074] ppid=26061 vsize=1793284 CPUtime=0 /proc/26063/task/26074/stat : 26074 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 69688094 1836322816 29231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26075] ppid=26061 vsize=1793284 CPUtime=0 /proc/26063/task/26075/stat : 26075 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 69688094 1836322816 29231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26063/tid=26076] ppid=26061 vsize=1793284 CPUtime=0 /proc/26063/task/26076/stat : 26076 (java) S 26061 26063 25070 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 69688239 1836322816 29231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.34 Current children cumulated vsize (KiB) 1793284 [startup+6.30153 s] /proc/loadavg: 0.93 0.98 0.99 2/77 26076 /proc/meminfo: memFree=1149856/2055920 swapFree=4192812/4192956 [pid=26063] ppid=26061 vsize=1792900 CPUtime=7.6 /proc/26063/stat : 26063 (java) S 26061 26063 25070 0 -1 0 47569 0 1 0 737 23 0 0 18 0 13 0 69688084 1835929600 42770 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26063/statm: 448225 42770 1330 9 0 445837 0 [pid=26063/tid=26065] ppid=26061 vsize=1792900 CPUtime=5.6 /proc/26063/task/26065/stat : 26065 (java) R 26061 26063 25070 0 -1 64 37721 0 1 0 543 17 0 0 25 0 13 0 69688086 1835929600 42770 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109662971 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26063/tid=26066] ppid=26061 vsize=1792900 CPUtime=0.02 /proc/26063/task/26066/stat : 26066 (java) S 26061 26063 25070 0 -1 64 804 0 0 0 2 0 0 0 17 0 13 0 69688087 1835929600 42770 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26067] ppid=26061 vsize=1792900 CPUtime=0.02 /proc/26063/task/26067/stat : 26067 (java) S 26061 26063 25070 0 -1 64 710 0 0 0 2 0 0 0 17 0 13 0 69688087 1835929600 42770 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26068] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26068/stat : 26068 (java) S 26061 26063 25070 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 69688089 1835929600 42770 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26069] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26069/stat : 26069 (java) S 26061 26063 25070 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 69688090 1835929600 42770 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26070] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26070/stat : 26070 (java) S 26061 26063 25070 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 69688090 1835929600 42770 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26071] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26071/stat : 26071 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 69688094 1835929600 42770 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26072] ppid=26061 vsize=1792900 CPUtime=1.14 /proc/26063/task/26072/stat : 26072 (java) S 26061 26063 25070 0 -1 64 5544 0 0 0 112 2 0 0 16 0 13 0 69688094 1835929600 42770 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26073] ppid=26061 vsize=1792900 CPUtime=0.77 /proc/26063/task/26073/stat : 26073 (java) S 26061 26063 25070 0 -1 64 2059 0 0 0 76 1 0 0 17 0 13 0 69688094 1835929600 42770 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26063/tid=26074] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26074/stat : 26074 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 69688094 1835929600 42770 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26075] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26075/stat : 26075 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 69688094 1835929600 42770 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26063/tid=26076] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26076/stat : 26076 (java) S 26061 26063 25070 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 69688239 1835929600 42770 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.6 Current children cumulated vsize (KiB) 1792900 [startup+12.7022 s] /proc/loadavg: 0.93 0.98 0.99 2/77 26077 /proc/meminfo: memFree=1143000/2055920 swapFree=4192812/4192956 [pid=26063] ppid=26061 vsize=1792900 CPUtime=14.2 /proc/26063/stat : 26063 (java) S 26061 26063 25070 0 -1 0 49307 0 1 0 1396 24 0 0 18 0 13 0 69688084 1835929600 44494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26063/statm: 448225 44494 1334 9 0 445837 0 [pid=26063/tid=26065] ppid=26061 vsize=1792900 CPUtime=11.91 /proc/26063/task/26065/stat : 26065 (java) R 26061 26063 25070 0 -1 64 37724 0 1 0 1174 17 0 0 25 0 13 0 69688086 1835929600 44494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109665066 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26063/tid=26066] ppid=26061 vsize=1792900 CPUtime=0.04 /proc/26063/task/26066/stat : 26066 (java) S 26061 26063 25070 0 -1 64 1701 0 0 0 4 0 0 0 16 0 13 0 69688087 1835929600 44494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26067] ppid=26061 vsize=1792900 CPUtime=0.04 /proc/26063/task/26067/stat : 26067 (java) S 26061 26063 25070 0 -1 64 1525 0 0 0 4 0 0 0 17 0 13 0 69688087 1835929600 44494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26063/tid=26068] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26068/stat : 26068 (java) S 26061 26063 25070 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 69688089 1835929600 44494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26069] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26069/stat : 26069 (java) S 26061 26063 25070 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 69688090 1835929600 44494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26070] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26070/stat : 26070 (java) S 26061 26063 25070 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 69688090 1835929600 44494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26071] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26071/stat : 26071 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 69688094 1835929600 44494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26072] ppid=26061 vsize=1792900 CPUtime=1.25 /proc/26063/task/26072/stat : 26072 (java) S 26061 26063 25070 0 -1 64 5553 0 0 0 123 2 0 0 17 0 13 0 69688094 1835929600 44494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26073] ppid=26061 vsize=1792900 CPUtime=0.9 /proc/26063/task/26073/stat : 26073 (java) S 26061 26063 25070 0 -1 64 2068 0 0 0 89 1 0 0 16 0 13 0 69688094 1835929600 44494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26063/tid=26074] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26074/stat : 26074 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 69688094 1835929600 44494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26075] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26075/stat : 26075 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 69688094 1835929600 44494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26063/tid=26077] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26077/stat : 26077 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 69688776 1835929600 44494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 14.2 Current children cumulated vsize (KiB) 1792900 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.99 2/83 26149 /proc/meminfo: memFree=1146592/2055920 swapFree=4192812/4192956 [pid=26063] ppid=26061 vsize=1792900 CPUtime=27.04 /proc/26063/stat : 26063 (java) S 26061 26063 25070 0 -1 0 49913 0 1 0 2678 26 0 0 18 0 13 0 69688084 1835929600 43247 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26063/statm: 448225 43247 1334 9 0 445837 0 [pid=26063/tid=26065] ppid=26061 vsize=1792900 CPUtime=24.61 /proc/26063/task/26065/stat : 26065 (java) R 26061 26063 25070 0 -1 64 37729 0 1 0 2443 18 0 0 25 0 13 0 69688086 1835929600 43247 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109661006 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26063/tid=26066] ppid=26061 vsize=1792900 CPUtime=0.11 /proc/26063/task/26066/stat : 26066 (java) S 26061 26063 25070 0 -1 64 2038 0 0 0 11 0 0 0 16 0 13 0 69688087 1835929600 43247 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26067] ppid=26061 vsize=1792900 CPUtime=0.11 /proc/26063/task/26067/stat : 26067 (java) S 26061 26063 25070 0 -1 64 1780 0 0 0 10 1 0 0 17 0 13 0 69688087 1835929600 43247 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26063/tid=26068] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26068/stat : 26068 (java) S 26061 26063 25070 0 -1 64 19 0 0 0 0 0 0 0 16 0 13 0 69688089 1835929600 43247 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=26063] ppid=26061 vsize=1792900 CPUtime=1671.36 /proc/26063/stat : 26063 (java) S 26061 26063 25070 0 -1 0 113747 0 1 0 166997 139 0 0 18 0 13 0 69688084 1835929600 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26063/statm: 448225 50926 1334 9 0 445837 0 [pid=26063/tid=26065] ppid=26061 vsize=1792900 CPUtime=1648.89 /proc/26063/task/26065/stat : 26065 (java) R 26061 26063 25070 0 -1 64 52779 0 1 0 164856 33 0 0 25 0 13 0 69688086 1835929600 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109824373 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26066] ppid=26061 vsize=1792900 CPUtime=9.85 /proc/26063/task/26066/stat : 26066 (java) S 26061 26063 25070 0 -1 64 27026 0 0 0 945 40 0 0 16 0 13 0 69688087 1835929600 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26067] ppid=26061 vsize=1792900 CPUtime=9.8 /proc/26063/task/26067/stat : 26067 (java) S 26061 26063 25070 0 -1 64 25514 0 0 0 944 36 0 0 16 0 13 0 69688087 1835929600 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26063/tid=26068] ppid=26061 vsize=1792900 CPUtime=0.54 /proc/26063/task/26068/stat : 26068 (java) S 26061 26063 25070 0 -1 64 79 0 0 0 31 23 0 0 16 0 13 0 69688089 1835929600 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26063/tid=26069] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26069/stat : 26069 (java) S 26061 26063 25070 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 69688090 1835929600 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26070] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26070/stat : 26070 (java) S 26061 26063 25070 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 69688090 1835929600 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26071] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26071/stat : 26071 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 69688094 1835929600 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26072] ppid=26061 vsize=1792900 CPUtime=1.28 /proc/26063/task/26072/stat : 26072 (java) S 26061 26063 25070 0 -1 64 5555 0 0 0 126 2 0 0 16 0 13 0 69688094 1835929600 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26073] ppid=26061 vsize=1792900 CPUtime=0.92 /proc/26063/task/26073/stat : 26073 (java) S 26061 26063 25070 0 -1 64 2068 0 0 0 91 1 0 0 17 0 13 0 69688094 1835929600 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26063/tid=26074] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26074/stat : 26074 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 69688094 1835929600 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26075] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26075/stat : 26075 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 69688094 1835929600 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26063/tid=26077] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26077/stat : 26077 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 69688776 1835929600 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1671.36 Current children cumulated vsize (KiB) 1792900 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 26277 /proc/meminfo: memFree=1103896/2055920 swapFree=4192812/4192956 [pid=26063] ppid=26061 vsize=1792900 CPUtime=1731.67 /proc/26063/stat : 26063 (java) S 26061 26063 25070 0 -1 0 118296 0 1 0 173023 144 0 0 18 0 13 0 69688084 1835929600 54186 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26063/statm: 448225 54186 1334 9 0 445837 0 [pid=26063/tid=26065] ppid=26061 vsize=1792900 CPUtime=1708.31 /proc/26063/task/26065/stat : 26065 (java) R 26061 26063 25070 0 -1 64 53504 0 1 0 170798 33 0 0 25 0 13 0 69688086 1835929600 54186 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109522656 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26066] ppid=26061 vsize=1792900 CPUtime=10.28 /proc/26063/task/26066/stat : 26066 (java) S 26061 26063 25070 0 -1 64 28506 0 0 0 987 41 0 0 16 0 13 0 69688087 1835929600 54186 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26063/tid=26067] ppid=26061 vsize=1792900 CPUtime=10.25 /proc/26063/task/26067/stat : 26067 (java) S 26061 26063 25070 0 -1 64 27854 0 0 0 987 38 0 0 16 0 13 0 69688087 1835929600 54186 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26068] ppid=26061 vsize=1792900 CPUtime=0.56 /proc/26063/task/26068/stat : 26068 (java) S 26061 26063 25070 0 -1 64 83 0 0 0 32 24 0 0 16 0 13 0 69688089 1835929600 54186 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26069] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26069/stat : 26069 (java) S 26061 26063 25070 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 69688090 1835929600 54186 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26070] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26070/stat : 26070 (java) S 26061 26063 25070 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 69688090 1835929600 54186 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26071] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26071/stat : 26071 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 69688094 1835929600 54186 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26072] ppid=26061 vsize=1792900 CPUtime=1.28 /proc/26063/task/26072/stat : 26072 (java) S 26061 26063 25070 0 -1 64 5555 0 0 0 126 2 0 0 16 0 13 0 69688094 1835929600 54186 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26073] ppid=26061 vsize=1792900 CPUtime=0.92 /proc/26063/task/26073/stat : 26073 (java) S 26061 26063 25070 0 -1 64 2068 0 0 0 91 1 0 0 17 0 13 0 69688094 1835929600 54186 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26063/tid=26074] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26074/stat : 26074 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 69688094 1835929600 54186 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26075] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26075/stat : 26075 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 69688094 1835929600 54186 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26077] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26077/stat : 26077 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 69688776 1835929600 54186 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1731.67 Current children cumulated vsize (KiB) 1792900 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 26277 /proc/meminfo: memFree=1090072/2055920 swapFree=4192812/4192956 [pid=26063] ppid=26061 vsize=1792900 CPUtime=1792.09 /proc/26063/stat : 26063 (java) S 26061 26063 25070 0 -1 0 122782 0 1 0 179060 149 0 0 18 0 13 0 69688084 1835929600 57568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26063/statm: 448225 57568 1334 9 0 445837 0 [pid=26063/tid=26065] ppid=26061 vsize=1792900 CPUtime=1767.74 /proc/26063/task/26065/stat : 26065 (java) R 26061 26063 25070 0 -1 64 54381 0 1 0 176740 34 0 0 25 0 13 0 69688086 1835929600 57568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109823986 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26066] ppid=26061 vsize=1792900 CPUtime=10.77 /proc/26063/task/26066/stat : 26066 (java) S 26061 26063 25070 0 -1 64 29097 0 0 0 1035 42 0 0 16 0 13 0 69688087 1835929600 57568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26063/tid=26067] ppid=26061 vsize=1792900 CPUtime=10.72 /proc/26063/task/26067/stat : 26067 (java) S 26061 26063 25070 0 -1 64 30867 0 0 0 1031 41 0 0 16 0 13 0 69688087 1835929600 57568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26068] ppid=26061 vsize=1792900 CPUtime=0.57 /proc/26063/task/26068/stat : 26068 (java) S 26061 26063 25070 0 -1 64 87 0 0 0 33 24 0 0 16 0 13 0 69688089 1835929600 57568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26069] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26069/stat : 26069 (java) S 26061 26063 25070 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 69688090 1835929600 57568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26070] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26070/stat : 26070 (java) S 26061 26063 25070 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 69688090 1835929600 57568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26071] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26071/stat : 26071 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 69688094 1835929600 57568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26072] ppid=26061 vsize=1792900 CPUtime=1.28 /proc/26063/task/26072/stat : 26072 (java) S 26061 26063 25070 0 -1 64 5555 0 0 0 126 2 0 0 16 0 13 0 69688094 1835929600 57568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26073] ppid=26061 vsize=1792900 CPUtime=0.93 /proc/26063/task/26073/stat : 26073 (java) S 26061 26063 25070 0 -1 64 2069 0 0 0 92 1 0 0 16 0 13 0 69688094 1835929600 57568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26063/tid=26074] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26074/stat : 26074 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 69688094 1835929600 57568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26075] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26075/stat : 26075 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 69688094 1835929600 57568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26063/tid=26077] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26077/stat : 26077 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 69688776 1835929600 57568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1792.09 Current children cumulated vsize (KiB) 1792900 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1790.2 s] /proc/loadavg: 1.00 1.00 1.00 2/77 26277 /proc/meminfo: memFree=1088920/2055920 swapFree=4192812/4192956 [pid=26063] ppid=26061 vsize=1792900 CPUtime=1800.03 /proc/26063/stat : 26063 (java) S 26061 26063 25070 0 -1 0 123199 0 1 0 179854 149 0 0 18 0 13 0 69688084 1835929600 57848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26063/statm: 448225 57848 1334 9 0 445837 0 [pid=26063/tid=26065] ppid=26061 vsize=1792900 CPUtime=1775.56 /proc/26063/task/26065/stat : 26065 (java) R 26061 26063 25070 0 -1 64 54389 0 1 0 177522 34 0 0 25 0 13 0 69688086 1835929600 57848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109663035 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26066] ppid=26061 vsize=1792900 CPUtime=10.83 /proc/26063/task/26066/stat : 26066 (java) S 26061 26063 25070 0 -1 64 29097 0 0 0 1041 42 0 0 16 0 13 0 69688087 1835929600 57848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26063/tid=26067] ppid=26061 vsize=1792900 CPUtime=10.79 /proc/26063/task/26067/stat : 26067 (java) S 26061 26063 25070 0 -1 64 31276 0 0 0 1037 42 0 0 16 0 13 0 69688087 1835929600 57848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26068] ppid=26061 vsize=1792900 CPUtime=0.57 /proc/26063/task/26068/stat : 26068 (java) S 26061 26063 25070 0 -1 64 87 0 0 0 33 24 0 0 16 0 13 0 69688089 1835929600 57848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26069] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26069/stat : 26069 (java) S 26061 26063 25070 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 69688090 1835929600 57848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26070] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26070/stat : 26070 (java) S 26061 26063 25070 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 69688090 1835929600 57848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26071] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26071/stat : 26071 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 69688094 1835929600 57848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26072] ppid=26061 vsize=1792900 CPUtime=1.28 /proc/26063/task/26072/stat : 26072 (java) S 26061 26063 25070 0 -1 64 5555 0 0 0 126 2 0 0 16 0 13 0 69688094 1835929600 57848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26073] ppid=26061 vsize=1792900 CPUtime=0.93 /proc/26063/task/26073/stat : 26073 (java) S 26061 26063 25070 0 -1 64 2069 0 0 0 92 1 0 0 16 0 13 0 69688094 1835929600 57848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26063/tid=26074] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26074/stat : 26074 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 69688094 1835929600 57848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26075] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26075/stat : 26075 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 69688094 1835929600 57848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26063/tid=26077] ppid=26061 vsize=1792900 CPUtime=0 /proc/26063/task/26077/stat : 26077 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 69688776 1835929600 57848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1792900 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1790.31 s] /proc/loadavg: 1.00 1.00 1.00 2/77 26277 /proc/meminfo: memFree=1088920/2055920 swapFree=4192812/4192956 [pid=26063] ppid=26061 vsize=1793548 CPUtime=1800.23 /proc/26063/stat : 26063 (java) S 26061 26063 25070 0 -1 0 123222 0 1 0 179873 150 0 0 16 0 14 0 69688084 1836593152 57871 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26063/statm: 448387 57871 1334 9 0 445999 0 [pid=26063/tid=26065] ppid=26061 vsize=1793548 CPUtime=1775.66 /proc/26063/task/26065/stat : 26065 (java) R 26061 26063 25070 0 -1 64 54389 0 1 0 177532 34 0 0 25 0 14 0 69688086 1836593152 57871 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109661274 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26066] ppid=26061 vsize=1793548 CPUtime=10.83 /proc/26063/task/26066/stat : 26066 (java) S 26061 26063 25070 0 -1 64 29097 0 0 0 1041 42 0 0 16 0 14 0 69688087 1836593152 57871 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26063/tid=26067] ppid=26061 vsize=1793548 CPUtime=10.79 /proc/26063/task/26067/stat : 26067 (java) S 26061 26063 25070 0 -1 64 31276 0 0 0 1037 42 0 0 16 0 14 0 69688087 1836593152 57871 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26068] ppid=26061 vsize=1793548 CPUtime=0.57 /proc/26063/task/26068/stat : 26068 (java) S 26061 26063 25070 0 -1 64 87 0 0 0 33 24 0 0 16 0 14 0 69688089 1836593152 57871 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26069] ppid=26061 vsize=1793548 CPUtime=0 /proc/26063/task/26069/stat : 26069 (java) S 26061 26063 25070 0 -1 64 10 0 0 0 0 0 0 0 16 0 14 0 69688090 1836593152 57871 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26070] ppid=26061 vsize=1793548 CPUtime=0 /proc/26063/task/26070/stat : 26070 (java) S 26061 26063 25070 0 -1 64 6 0 0 0 0 0 0 0 16 0 14 0 69688090 1836593152 57871 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26071] ppid=26061 vsize=1793548 CPUtime=0 /proc/26063/task/26071/stat : 26071 (java) S 26061 26063 25070 0 -1 64 5 0 0 0 0 0 0 0 18 0 14 0 69688094 1836593152 57871 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26063/tid=26072] ppid=26061 vsize=1793548 CPUtime=1.3 /proc/26063/task/26072/stat : 26072 (java) S 26061 26063 25070 0 -1 64 5558 0 0 0 128 2 0 0 16 0 14 0 69688094 1836593152 57871 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26063/tid=26073] ppid=26061 vsize=1793548 CPUtime=0.96 /proc/26063/task/26073/stat : 26073 (java) S 26061 26063 25070 0 -1 64 2071 0 0 0 95 1 0 0 17 0 14 0 69688094 1836593152 57871 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26063/tid=26074] ppid=26061 vsize=1793548 CPUtime=0 /proc/26063/task/26074/stat : 26074 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 25 0 14 0 69688094 1836593152 57871 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26063/tid=26075] ppid=26061 vsize=1793548 CPUtime=0 /proc/26063/task/26075/stat : 26075 (java) S 26061 26063 25070 0 -1 64 2 0 0 0 0 0 0 0 15 0 14 0 69688094 1836593152 57871 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26063/tid=26077] ppid=26061 vsize=1793548 CPUtime=0 /proc/26063/task/26077/stat : 26077 (java) S 26061 26063 25070 0 -1 64 1 0 0 0 0 0 0 0 24 0 14 0 69688776 1836593152 57871 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 1793548 Child status: 143 Real time (s): 1790.39 CPU time (s): 1800.31 CPU user time (s): 1798.77 CPU system time (s): 1.53777 CPU usage (%): 100.554 Max. virtual memory (cumulated for all children) (KiB): 1794364 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.77 system time used= 1.53777 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 123222 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 65702 involuntary context switches= 44855 runsolver used 2.02469 second user time and 5.00624 second system time The end
Begin job on node61 on Sat Apr 14 19:00:45 UTC 2007 IDJOB= 351053 IDBENCH= 1655 IDSOLVER= 159 FILE ID= node61/351053-1176577244 PBS_JOBID= 4556907 Free space on /tmp= 66561 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-israel.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351053-1176577244/sat4jPseudoResolution.jar /tmp/evaluation/351053-1176577244/instance-351053-1176577244.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-351053-1176577244 -o ROOT/results/node61/solver-351053-1176577244 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351053-1176577244/sat4jPseudoResolution.jar /tmp/evaluation/351053-1176577244/instance-351053-1176577244.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 916719a95a95b5989e5d4b5f3d786df3 RANDOM SEED= 590570142 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node61.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.240 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.240 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: 1317216 kB Buffers: 42408 kB Cached: 554020 kB SwapCached: 0 kB Active: 328504 kB Inactive: 287564 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1317216 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4248 kB Writeback: 0 kB Mapped: 29824 kB Slab: 108688 kB Committed_AS: 111972 kB PageTables: 1396 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= 66561 MiB End job on node61 on Sat Apr 14 19:30:37 UTC 2007