Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCP 2007-03-23 | SAT (TO) | 12 | 1800.3 | 1766.82 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir03_area_delay.opb |
MD5SUM | 2b747b2caed6577698c928a521fdc3c2 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 10 |
Best CPU time to get the best result obtained on this benchmark | 38.3592 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 10 |
Optimality of the best value was proved | YES |
Number of variables | 3540 |
Total number of constraints | 9890 |
Number of constraints which are clauses | 9890 |
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 | 1 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 1681 |
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 | 1681 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 1681 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.14 c no version file found!!! 0.08/0.14 c sun.arch.data.model 32 0.08/0.14 c java.version 1.6.0 0.08/0.14 c os.name Linux 0.08/0.14 c os.version 2.6.9-22.EL.rootsmp 0.08/0.14 c os.arch i386 0.08/0.14 c Free memory 1651659224 0.08/0.14 c Max memory 1654456320 0.08/0.14 c Total memory 1654456320 0.08/0.14 c Number of processors 2 0.20/0.20 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolver) 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=10000.0 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/372887-1177145553/instance-372887-1177145553.opb 0.20/0.20 c reading problem ... 1.57/1.17 c ... done. Wall clock time 0.973s. 1.57/1.17 c CPU time (experimental) 0.82s. 1.57/1.17 c #vars 3540 1.57/1.17 c #constraints 9757 1.98/1.42 c SATISFIABLE 1.98/1.42 c OPTIMIZING... 1.98/1.42 c Got one! Elapsed wall clock time (in seconds):1.225 1.98/1.44 o 19 2.12/1.57 c Got one! Elapsed wall clock time (in seconds):1.374 2.12/1.58 o 15 28.85/26.29 c Got one! Elapsed wall clock time (in seconds):26.094 28.85/26.30 o 14 75.09/72.17 c Got one! Elapsed wall clock time (in seconds):71.97 75.09/72.18 o 12 1800.00/1766.62 c starts : 7 1800.00/1766.62 c conflicts : 2742 1800.00/1766.62 c decisions : 81898 1800.00/1766.62 c propagations : 826430 1800.00/1766.62 c inspects : 4681597 1800.00/1766.62 c learnt literals : 0 1800.00/1766.62 c learnt binary clauses : 0 1800.00/1766.62 c learnt ternary clauses : 0 1800.00/1766.62 c learnt clauses : 2741 1800.00/1766.62 c root simplifications : 0 1800.00/1766.62 c removed literals (reason simplification) : 0 1800.00/1766.62 c reason swapping (by a shorter reason) : 0 1800.00/1766.62 c Calls to reduceDB : 0 1800.00/1766.62 c speed (decisions/second) : 48.33394317819667 1800.00/1766.62 c non guided choices 0 1800.00/1766.62 s SATISFIABLE 1800.00/1766.66 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 1800.00/1766.66 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.00/1766.66 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.00/1766.66 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 -x105 x106 1800.00/1766.66 v -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 1800.00/1766.66 v -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 1800.00/1766.66 v x150 -x151 -x152 -x153 x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 x170 -x171 1800.00/1766.66 v -x172 x173 -x174 x175 -x176 -x177 -x178 x179 -x180 x181 -x182 x183 -x184 -x185 x186 -x187 -x188 -x189 x190 -x191 x192 -x193 1800.00/1766.66 v x194 -x195 x196 -x197 x198 x199 -x200 x201 x202 -x203 x204 x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 1800.00/1766.66 v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 1800.00/1766.66 v -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 1800.00/1766.66 v -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 1800.00/1766.66 v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 1800.00/1766.66 v -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 1800.00/1766.66 v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 1800.00/1766.66 v -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 1800.00/1766.66 v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 1800.00/1766.66 v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 1800.00/1766.66 v -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 1800.00/1766.66 v -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 1800.00/1766.66 v -x447 -x448 x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 1800.00/1766.66 v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 1800.00/1766.66 v -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 1800.00/1766.66 v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 1800.00/1766.66 v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 1800.00/1766.66 v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 1800.00/1766.66 v -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 1800.00/1766.66 v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 1800.00/1766.66 v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 1800.00/1766.66 v -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 1800.00/1766.66 v -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 1800.00/1766.66 v -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 1800.00/1766.66 v -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 1800.00/1766.66 v -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 1800.00/1766.66 v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 1800.00/1766.66 v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 1800.00/1766.66 v -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 1800.00/1766.66 v -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 1800.00/1766.66 v -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 1800.00/1766.66 v -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 1800.00/1766.66 v -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 1800.00/1766.66 v -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 1800.00/1766.66 v -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 1800.00/1766.66 v -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 1800.00/1766.66 v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 1800.00/1766.66 v -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 1800.00/1766.66 v -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 1800.00/1766.66 v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 1800.00/1766.66 v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 1800.00/1766.66 v -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 1800.00/1766.66 v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 1800.00/1766.66 v -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 1800.00/1766.66 v -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 1800.00/1766.66 v -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 1800.00/1766.66 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 1800.00/1766.66 v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 1800.00/1766.66 v -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 1800.00/1766.66 v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 1800.00/1766.66 v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 1800.00/1766.66 v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 1800.00/1766.66 v -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 1800.00/1766.66 v -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 1800.00/1766.66 v -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 1800.00/1766.66 v -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 1800.00/1766.66 v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 1800.00/1766.66 v -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 1800.00/1766.66 v -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 1800.00/1766.66 v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 1800.00/1766.66 v -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 1800.00/1766.66 v -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 1800.00/1766.66 v -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 1800.00/1766.66 v -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 1800.00/1766.66 v -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 1800.00/1766.66 v -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 1800.00/1766.66 v -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 1800.00/1766.66 v -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 1800.00/1766.66 v -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 1800.00/1766.66 v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 1800.00/1766.66 v -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 1800.00/1766.66 v -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 1800.00/1766.66 v -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 1800.00/1766.66 v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 1800.00/1766.66 v -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 1800.00/1766.66 v -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 1800.00/1766.66 v -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 1800.00/1766.66 v -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 1800.00/1766.66 v -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 1800.00/1766.66 v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 1800.00/1766.66 v -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 1800.00/1766.66 v -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 1800.00/1766.66 v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 1800.00/1766.66 v -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 1800.00/1766.66 v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 1800.00/1766.66 v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 1800.00/1766.66 v -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 1800.00/1766.66 v -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 x1842 x1843 -x1844 1800.00/1766.66 v -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 1800.00/1766.66 v -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 1800.00/1766.66 v -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 1800.00/1766.66 v -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 x1911 x1912 -x1913 1800.00/1766.66 v -x1914 -x1915 -x1916 x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 1800.00/1766.66 v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 1800.00/1766.66 v -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 1800.00/1766.66 v -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 1800.00/1766.66 v -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 1800.00/1766.66 v -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 1800.00/1766.66 v -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 1800.00/1766.66 v -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 1800.00/1766.66 v -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 1800.00/1766.66 v -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 1800.00/1766.66 v -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 1800.00/1766.66 v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 1800.00/1766.66 v -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 1800.00/1766.66 v -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 1800.00/1766.66 v -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 1800.00/1766.66 v -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 1800.00/1766.66 v -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 1800.00/1766.66 v -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 1800.00/1766.66 v -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 1800.00/1766.66 v -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 1800.00/1766.66 v -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 1800.00/1766.66 v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 1800.00/1766.66 v -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 1800.00/1766.66 v -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 1800.00/1766.66 v -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 1800.00/1766.66 v -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 1800.00/1766.66 v -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 1800.00/1766.66 v -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 1800.00/1766.66 v -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 x2404 -x2405 -x2406 1800.00/1766.66 v -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 1800.00/1766.66 v -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 1800.00/1766.66 v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 1800.00/1766.66 v -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 1800.00/1766.66 v -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 1800.00/1766.66 v -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 1800.00/1766.66 v -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 1800.00/1766.66 v -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 1800.00/1766.66 v -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 1800.00/1766.66 v -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 1800.00/1766.66 v -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 1800.00/1766.66 v -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 1800.00/1766.66 v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 1800.00/1766.66 v -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 1800.00/1766.66 v -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 1800.00/1766.66 v -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 1800.00/1766.66 v -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 1800.00/1766.66 v -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 1800.00/1766.66 v -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 1800.00/1766.66 v -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 1800.00/1766.66 v -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 1800.00/1766.66 v -x2764 x2765 x2766 x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 1800.00/1766.66 v -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 x2788 x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 1800.00/1766.66 v -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 1800.00/1766.66 v -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 1800.00/1766.66 v -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 1800.00/1766.66 v -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 1800.00/1766.66 v -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 1800.00/1766.66 v -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 1800.00/1766.66 v -x2902 -x2903 -x2904 -x2905 x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 x2913 x2914 -x2915 -x2916 -x2917 -x2918 -x2919 1800.00/1766.66 v -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 1800.00/1766.66 v -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 1800.00/1766.66 v -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 1800.00/1766.66 v -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 1800.00/1766.66 v -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 1800.00/1766.66 v -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 x3013 x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 1800.00/1766.66 v -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 1800.00/1766.66 v -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 1800.00/1766.66 v -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 1800.00/1766.66 v -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 1800.00/1766.66 v -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 1800.00/1766.66 v -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 x3121 -x3122 -x3123 -x3124 1800.00/1766.66 v -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 1800.00/1766.66 v -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 1800.00/1766.66 v -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 1800.00/1766.66 v -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 1800.00/1766.66 v -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 1800.00/1766.66 v -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 1800.00/1766.66 v -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 1800.00/1766.66 v -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 1800.00/1766.66 v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 1800.00/1766.66 v -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 1800.00/1766.66 v -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 1800.00/1766.66 v -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 1800.00/1766.66 v -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 1800.00/1766.66 v -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 1800.00/1766.66 v -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 1800.00/1766.66 v -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 1800.00/1766.66 v -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 1800.00/1766.66 v -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 1800.00/1766.66 v -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 1800.00/1766.66 v -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 1800.00/1766.66 v -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 1800.00/1766.66 v -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 1800.00/1766.66 v -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 1800.00/1766.66 v -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 1800.00/1766.66 v -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 1800.00/1766.69 c objective function=12 1800.00/1766.69 c Total wall clock time (ms): 1766.492
OK 12
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node63/watcher-372887-1177145553 -o ROOT/results/node63/solver-372887-1177145553 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/372887-1177145553/sat4jPseudoCP.jar /tmp/evaluation/372887-1177145553/instance-372887-1177145553.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: 1.00 1.00 1.00 2/64 19971 /proc/meminfo: memFree=1744500/2055920 swapFree=4182876/4192956 [pid=19971] ppid=19969 vsize=152 CPUtime=0 /proc/19971/stat : 19971 (java) D 19969 19971 19430 0 -1 0 41 0 0 0 0 0 0 0 19 0 1 0 190545279 155648 26 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 2970404 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/19971/statm: 38 26 19 9 0 4 0 [startup+0.094945 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19971 /proc/meminfo: memFree=1744500/2055920 swapFree=4182876/4192956 [pid=19971] ppid=19969 vsize=1779200 CPUtime=0.08 /proc/19971/stat : 19971 (java) S 19969 19971 19430 0 -1 0 3893 0 1 0 6 2 0 0 18 0 10 0 190545279 1821900800 3635 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19971/statm: 444800 3635 1097 9 0 442436 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1779200 [startup+0.102946 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19971 /proc/meminfo: memFree=1744500/2055920 swapFree=4182876/4192956 [pid=19971] ppid=19969 vsize=1780108 CPUtime=0.08 /proc/19971/stat : 19971 (java) S 19969 19971 19430 0 -1 0 3978 0 1 0 6 2 0 0 18 0 12 0 190545279 1822830592 3720 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19971/statm: 445027 3720 1123 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.302969 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19971 /proc/meminfo: memFree=1744500/2055920 swapFree=4182876/4192956 [pid=19971] ppid=19969 vsize=1781420 CPUtime=0.33 /proc/19971/stat : 19971 (java) S 19969 19971 19430 0 -1 0 5089 0 1 0 30 3 0 0 18 0 12 0 190545279 1824174080 4828 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19971/statm: 445355 4828 1264 9 0 442967 0 Current children cumulated CPU time (s) 0.33 Current children cumulated vsize (KiB) 1781420 [startup+0.703011 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19971 /proc/meminfo: memFree=1744500/2055920 swapFree=4182876/4192956 [pid=19971] ppid=19969 vsize=1784108 CPUtime=0.93 /proc/19971/stat : 19971 (java) S 19969 19971 19430 0 -1 0 7284 0 1 0 90 3 0 0 18 0 12 0 190545279 1826926592 6541 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19971/statm: 446027 6541 1301 9 0 443639 0 Current children cumulated CPU time (s) 0.93 Current children cumulated vsize (KiB) 1784108 [startup+1.5011 s] /proc/loadavg: 1.00 1.00 1.00 3/76 19983 /proc/meminfo: memFree=1715348/2055920 swapFree=4182876/4192956 [pid=19971] ppid=19969 vsize=1785192 CPUtime=2.12 /proc/19971/stat : 19971 (java) S 19969 19971 19430 0 -1 0 13616 0 1 0 205 7 0 0 18 0 13 0 190545279 1828036608 11778 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19971/statm: 446298 11778 1312 9 0 443910 0 [pid=19971/tid=19973] ppid=19969 vsize=1785192 CPUtime=1.05 /proc/19971/task/19973/stat : 19973 (java) R 19969 19971 19430 0 -1 64 10031 0 1 0 100 5 0 0 22 0 13 0 190545280 1828036608 11778 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19974] ppid=19969 vsize=1785192 CPUtime=0 /proc/19971/task/19974/stat : 19974 (java) S 19969 19971 19430 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 190545282 1828036608 11778 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19975] ppid=19969 vsize=1785192 CPUtime=0 /proc/19971/task/19975/stat : 19975 (java) S 19969 19971 19430 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 190545282 1828036608 11778 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19976] ppid=19969 vsize=1785192 CPUtime=0 /proc/19971/task/19976/stat : 19976 (java) S 19969 19971 19430 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 190545284 1828036608 11778 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19977] ppid=19969 vsize=1785192 CPUtime=0 /proc/19971/task/19977/stat : 19977 (java) S 19969 19971 19430 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 190545284 1828036608 11778 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19978] ppid=19969 vsize=1785192 CPUtime=0 /proc/19971/task/19978/stat : 19978 (java) S 19969 19971 19430 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 190545284 1828036608 11778 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19979] ppid=19969 vsize=1785192 CPUtime=0 /proc/19971/task/19979/stat : 19979 (java) S 19969 19971 19430 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 190545288 1828036608 11778 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19980] ppid=19969 vsize=1785192 CPUtime=0.47 /proc/19971/task/19980/stat : 19980 (java) R 19969 19971 19430 0 -1 64 1146 0 0 0 47 0 0 0 16 0 13 0 190545288 1828036608 11778 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 103322593 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19981] ppid=19969 vsize=1785192 CPUtime=0.56 /proc/19971/task/19981/stat : 19981 (java) S 19969 19971 19430 0 -1 64 1714 0 0 0 56 0 0 0 16 0 13 0 190545288 1828036608 11778 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19982] ppid=19969 vsize=1785192 CPUtime=0 /proc/19971/task/19982/stat : 19982 (java) S 19969 19971 19430 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 190545288 1828036608 11778 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19983] ppid=19969 vsize=1785192 CPUtime=0 /proc/19971/task/19983/stat : 19983 (java) S 19969 19971 19430 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 190545288 1828036608 11778 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.12 Current children cumulated vsize (KiB) 1785192 [startup+3.10127 s] /proc/loadavg: 1.08 1.02 1.01 2/77 19986 /proc/meminfo: memFree=1626700/2055920 swapFree=4182876/4192956 [pid=19971] ppid=19969 vsize=1785576 CPUtime=4.1 /proc/19971/stat : 19971 (java) S 19969 19971 19430 0 -1 0 43632 0 1 0 391 19 0 0 18 0 13 0 190545279 1828429824 40700 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19971/statm: 446394 40700 1321 9 0 444006 0 [pid=19971/tid=19973] ppid=19969 vsize=1785576 CPUtime=2.38 /proc/19971/task/19973/stat : 19973 (java) R 19969 19971 19430 0 -1 64 37749 0 1 0 222 16 0 0 25 0 13 0 190545280 1828429824 40700 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19974] ppid=19969 vsize=1785576 CPUtime=0.01 /proc/19971/task/19974/stat : 19974 (java) S 19969 19971 19430 0 -1 64 559 0 0 0 1 0 0 0 16 0 13 0 190545282 1828429824 40700 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19975] ppid=19969 vsize=1785576 CPUtime=0.01 /proc/19971/task/19975/stat : 19975 (java) S 19969 19971 19430 0 -1 64 498 0 0 0 1 0 0 0 16 0 13 0 190545282 1828429824 40700 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19976] ppid=19969 vsize=1785576 CPUtime=0 /proc/19971/task/19976/stat : 19976 (java) S 19969 19971 19430 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 190545284 1828429824 40700 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19977] ppid=19969 vsize=1785576 CPUtime=0 /proc/19971/task/19977/stat : 19977 (java) S 19969 19971 19430 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 190545284 1828429824 40700 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19978] ppid=19969 vsize=1785576 CPUtime=0 /proc/19971/task/19978/stat : 19978 (java) S 19969 19971 19430 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 190545284 1828429824 40700 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19979] ppid=19969 vsize=1785576 CPUtime=0 /proc/19971/task/19979/stat : 19979 (java) S 19969 19971 19430 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 190545288 1828429824 40700 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19980] ppid=19969 vsize=1785576 CPUtime=0.78 /proc/19971/task/19980/stat : 19980 (java) R 19969 19971 19430 0 -1 64 2009 0 0 0 78 0 0 0 16 0 13 0 190545288 1828429824 40700 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 104807322 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19981] ppid=19969 vsize=1785576 CPUtime=0.86 /proc/19971/task/19981/stat : 19981 (java) R 19969 19971 19430 0 -1 64 2085 0 0 0 86 0 0 0 16 0 13 0 190545288 1828429824 40700 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 105432546 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19982] ppid=19969 vsize=1785576 CPUtime=0 /proc/19971/task/19982/stat : 19982 (java) S 19969 19971 19430 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 190545288 1828429824 40700 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19983] ppid=19969 vsize=1785576 CPUtime=0 /proc/19971/task/19983/stat : 19983 (java) S 19969 19971 19430 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 190545288 1828429824 40700 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19986] ppid=19969 vsize=1785576 CPUtime=0 /proc/19971/task/19986/stat : 19986 (java) S 19969 19971 19430 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 190545449 1828429824 40700 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.1 Current children cumulated vsize (KiB) 1785576 [startup+6.30261 s] /proc/loadavg: 1.08 1.02 1.01 2/77 19986 /proc/meminfo: memFree=1560460/2055920 swapFree=4182876/4192956 [pid=19971] ppid=19969 vsize=1792776 CPUtime=8.28 /proc/19971/stat : 19971 (java) S 19969 19971 19430 0 -1 0 56056 0 1 0 802 26 0 0 18 0 13 0 190545279 1835802624 49101 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19971/statm: 448194 49101 1324 9 0 445806 0 [pid=19971/tid=19973] ppid=19969 vsize=1792776 CPUtime=5.32 /proc/19971/task/19973/stat : 19973 (java) R 19969 19971 19430 0 -1 64 43512 0 1 0 513 19 0 0 21 0 13 0 190545280 1835802624 49101 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109721650 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19974] ppid=19969 vsize=1792776 CPUtime=0.07 /proc/19971/task/19974/stat : 19974 (java) S 19969 19971 19430 0 -1 64 1370 0 0 0 6 1 0 0 16 0 13 0 190545282 1835802624 49101 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19975] ppid=19969 vsize=1792776 CPUtime=0.08 /proc/19971/task/19975/stat : 19975 (java) S 19969 19971 19430 0 -1 64 1256 0 0 0 8 0 0 0 16 0 13 0 190545282 1835802624 49101 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19976] ppid=19969 vsize=1792776 CPUtime=0 /proc/19971/task/19976/stat : 19976 (java) S 19969 19971 19430 0 -1 64 30 0 0 0 0 0 0 0 15 0 13 0 190545284 1835802624 49101 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19977] ppid=19969 vsize=1792776 CPUtime=0 /proc/19971/task/19977/stat : 19977 (java) S 19969 19971 19430 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 190545284 1835802624 49101 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19978] ppid=19969 vsize=1792776 CPUtime=0 /proc/19971/task/19978/stat : 19978 (java) S 19969 19971 19430 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 190545284 1835802624 49101 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19979] ppid=19969 vsize=1792776 CPUtime=0 /proc/19971/task/19979/stat : 19979 (java) S 19969 19971 19430 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 190545288 1835802624 49101 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19980] ppid=19969 vsize=1792776 CPUtime=1.05 /proc/19971/task/19980/stat : 19980 (java) S 19969 19971 19430 0 -1 64 2593 0 0 0 104 1 0 0 17 0 13 0 190545288 1835802624 49101 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19981] ppid=19969 vsize=1792776 CPUtime=1.71 /proc/19971/task/19981/stat : 19981 (java) S 19969 19971 19430 0 -1 64 6573 0 0 0 169 2 0 0 17 0 13 0 190545288 1835802624 49101 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19982] ppid=19969 vsize=1792776 CPUtime=0 /proc/19971/task/19982/stat : 19982 (java) S 19969 19971 19430 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 190545288 1835802624 49101 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19983] ppid=19969 vsize=1792776 CPUtime=0 /proc/19971/task/19983/stat : 19983 (java) S 19969 19971 19430 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 190545288 1835802624 49101 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19986] ppid=19969 vsize=1792776 CPUtime=0 /proc/19971/task/19986/stat : 19986 (java) S 19969 19971 19430 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 190545449 1835802624 49101 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 8.28 Current children cumulated vsize (KiB) 1792776 [startup+12.7023 s] /proc/loadavg: 1.07 1.02 1.00 2/77 19986 /proc/meminfo: memFree=1548116/2055920 swapFree=4182876/4192956 [pid=19971] ppid=19969 vsize=1790728 CPUtime=15.02 /proc/19971/stat : 19971 (java) S 19969 19971 19430 0 -1 0 60017 0 1 0 1475 27 0 0 18 0 13 0 190545279 1833705472 49476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19971/statm: 447682 49476 1324 9 0 445294 0 [pid=19971/tid=19973] ppid=19969 vsize=1790728 CPUtime=11.59 /proc/19971/task/19973/stat : 19973 (java) R 19969 19971 19430 0 -1 64 46236 0 1 0 1139 20 0 0 17 0 13 0 190545280 1833705472 49476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109190078 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19974] ppid=19969 vsize=1790728 CPUtime=0.1 /proc/19971/task/19974/stat : 19974 (java) S 19969 19971 19430 0 -1 64 1673 0 0 0 9 1 0 0 16 0 13 0 190545282 1833705472 49476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19975] ppid=19969 vsize=1790728 CPUtime=0.12 /proc/19971/task/19975/stat : 19975 (java) S 19969 19971 19430 0 -1 64 1622 0 0 0 12 0 0 0 16 0 13 0 190545282 1833705472 49476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19976] ppid=19969 vsize=1790728 CPUtime=0 /proc/19971/task/19976/stat : 19976 (java) S 19969 19971 19430 0 -1 64 30 0 0 0 0 0 0 0 15 0 13 0 190545284 1833705472 49476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19977] ppid=19969 vsize=1790728 CPUtime=0 /proc/19971/task/19977/stat : 19977 (java) S 19969 19971 19430 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 190545284 1833705472 49476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19978] ppid=19969 vsize=1790728 CPUtime=0 /proc/19971/task/19978/stat : 19978 (java) S 19969 19971 19430 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 190545284 1833705472 49476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19979] ppid=19969 vsize=1790728 CPUtime=0 /proc/19971/task/19979/stat : 19979 (java) S 19969 19971 19430 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 190545288 1833705472 49476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19980] ppid=19969 vsize=1790728 CPUtime=1.19 /proc/19971/task/19980/stat : 19980 (java) S 19969 19971 19430 0 -1 64 2596 0 0 0 118 1 0 0 16 0 13 0 190545288 1833705472 49476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19981] ppid=19969 vsize=1790728 CPUtime=1.97 /proc/19971/task/19981/stat : 19981 (java) S 19969 19971 19430 0 -1 64 7138 0 0 0 195 2 0 0 16 0 13 0 190545288 1833705472 49476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19982] ppid=19969 vsize=1790728 CPUtime=0 /proc/19971/task/19982/stat : 19982 (java) S 19969 19971 19430 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 190545288 1833705472 49476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19983] ppid=19969 vsize=1790728 CPUtime=0 /proc/19971/task/19983/stat : 19983 (java) S 19969 19971 19430 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 190545288 1833705472 49476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19986] ppid=19969 vsize=1790728 CPUtime=0 /proc/19971/task/19986/stat : 19986 (java) S 19969 19971 19430 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 190545449 1833705472 49476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 15.02 Current children cumulated vsize (KiB) 1790728 [startup+25.5026 s] /proc/loadavg: 1.22 1.05 1.01 2/77 19986 /proc/meminfo: memFree=1567700/2055920 swapFree=4182876/4192956 [pid=19971] ppid=19969 vsize=1792484 CPUtime=28.15 /proc/19971/stat : 19971 (java) S 19969 19971 19430 0 -1 0 62712 0 1 0 2785 30 0 0 18 0 13 0 190545279 1835503616 45138 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19971/statm: 448121 45138 1325 9 0 445733 0 [pid=19971/tid=19973] ppid=19969 vsize=1792484 CPUtime=24.08 /proc/19971/task/19973/stat : 19973 (java) R 19969 19971 19430 0 -1 64 46283 0 1 0 2388 20 0 0 25 0 13 0 190545280 1835503616 45138 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4110234157 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19974] ppid=19969 vsize=1792484 CPUtime=0.17 /proc/19971/task/19974/stat : 19974 (java) S 19969 19971 19430 0 -1 64 2491 0 0 0 16 1 0 0 16 0 13 0 190545282 1835503616 45138 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19975] ppid=19969 vsize=1792484 CPUtime=0.19 /proc/19971/task/19975/stat : 19975 (java) S 19969 19971 19430 0 -1 64 2333 0 0 0 18 1 0 0 16 0 13 0 190545282 1835503616 45138 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19976] ppid=19969 vsize=1792484 CPUtime=0.02 /proc/19971/task/19976/stat : 19976 (java) S 19969 19971 19430 0 -1 64 30 0 0 0 1 1 0 0 15 0 13 0 190545284 1835503616 45138 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=19971/tid=19976] ppid=19969 vsize=1791528 CPUtime=0.67 /proc/19971/task/19976/stat : 19976 (java) S 19969 19971 19430 0 -1 64 152 0 0 0 39 28 0 0 15 0 13 0 190545284 1834524672 158699 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19977] ppid=19969 vsize=1791528 CPUtime=0 /proc/19971/task/19977/stat : 19977 (java) S 19969 19971 19430 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 190545284 1834524672 158699 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19978] ppid=19969 vsize=1791528 CPUtime=0 /proc/19971/task/19978/stat : 19978 (java) S 19969 19971 19430 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 190545284 1834524672 158699 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19979] ppid=19969 vsize=1791528 CPUtime=0 /proc/19971/task/19979/stat : 19979 (java) S 19969 19971 19430 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 190545288 1834524672 158699 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19980] ppid=19969 vsize=1791528 CPUtime=1.79 /proc/19971/task/19980/stat : 19980 (java) S 19969 19971 19430 0 -1 64 6768 0 0 0 176 3 0 0 16 0 13 0 190545288 1834524672 158699 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19981] ppid=19969 vsize=1791528 CPUtime=2.38 /proc/19971/task/19981/stat : 19981 (java) S 19969 19971 19430 0 -1 64 7199 0 0 0 235 3 0 0 17 0 13 0 190545288 1834524672 158699 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19982] ppid=19969 vsize=1791528 CPUtime=0 /proc/19971/task/19982/stat : 19982 (java) S 19969 19971 19430 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 190545288 1834524672 158699 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19983] ppid=19969 vsize=1791528 CPUtime=0 /proc/19971/task/19983/stat : 19983 (java) S 19969 19971 19430 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 190545288 1834524672 158699 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19988] ppid=19969 vsize=1791528 CPUtime=0 /proc/19971/task/19988/stat : 19988 (java) S 19969 19971 19430 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 190552499 1834524672 158699 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1569.51 Current children cumulated vsize (KiB) 1791528 [startup+1602.3 s] /proc/loadavg: 1.05 1.03 1.00 2/77 20186 /proc/meminfo: memFree=1095940/2055920 swapFree=4182876/4192956 [pid=19971] ppid=19969 vsize=1791528 CPUtime=1631.09 /proc/19971/stat : 19971 (java) S 19969 19971 19430 0 -1 0 232831 0 1 0 162953 156 0 0 18 0 13 0 190545279 1834524672 162929 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19971/statm: 447882 162929 1328 9 0 445494 0 [pid=19971/tid=19973] ppid=19969 vsize=1791528 CPUtime=1571.85 /proc/19971/task/19973/stat : 19973 (java) R 19969 19971 19430 0 -1 64 82272 0 1 0 157135 50 0 0 22 0 13 0 190545280 1834524672 162929 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109924501 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19974] ppid=19969 vsize=1791528 CPUtime=27.15 /proc/19971/task/19974/stat : 19974 (java) S 19969 19971 19430 0 -1 64 68577 0 0 0 2683 32 0 0 16 0 13 0 190545282 1834524672 162929 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19975] ppid=19969 vsize=1791528 CPUtime=27.18 /proc/19971/task/19975/stat : 19975 (java) S 19969 19971 19430 0 -1 64 67139 0 0 0 2681 37 0 0 16 0 13 0 190545282 1834524672 162929 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19976] ppid=19969 vsize=1791528 CPUtime=0.69 /proc/19971/task/19976/stat : 19976 (java) S 19969 19971 19430 0 -1 64 152 0 0 0 41 28 0 0 16 0 13 0 190545284 1834524672 162929 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19977] ppid=19969 vsize=1791528 CPUtime=0 /proc/19971/task/19977/stat : 19977 (java) S 19969 19971 19430 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 190545284 1834524672 162929 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19978] ppid=19969 vsize=1791528 CPUtime=0 /proc/19971/task/19978/stat : 19978 (java) S 19969 19971 19430 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 190545284 1834524672 162929 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19979] ppid=19969 vsize=1791528 CPUtime=0 /proc/19971/task/19979/stat : 19979 (java) S 19969 19971 19430 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 190545288 1834524672 162929 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19980] ppid=19969 vsize=1791528 CPUtime=1.79 /proc/19971/task/19980/stat : 19980 (java) S 19969 19971 19430 0 -1 64 6768 0 0 0 176 3 0 0 16 0 13 0 190545288 1834524672 162929 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19981] ppid=19969 vsize=1791528 CPUtime=2.38 /proc/19971/task/19981/stat : 19981 (java) S 19969 19971 19430 0 -1 64 7199 0 0 0 235 3 0 0 17 0 13 0 190545288 1834524672 162929 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19982] ppid=19969 vsize=1791528 CPUtime=0 /proc/19971/task/19982/stat : 19982 (java) S 19969 19971 19430 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 190545288 1834524672 162929 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19983] ppid=19969 vsize=1791528 CPUtime=0 /proc/19971/task/19983/stat : 19983 (java) S 19969 19971 19430 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 190545288 1834524672 162929 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19988] ppid=19969 vsize=1791528 CPUtime=0 /proc/19971/task/19988/stat : 19988 (java) S 19969 19971 19430 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 190552499 1834524672 162929 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1631.09 Current children cumulated vsize (KiB) 1791528 [startup+1662.3 s] /proc/loadavg: 1.07 1.05 1.01 2/77 20186 /proc/meminfo: memFree=1076356/2055920 swapFree=4182876/4192956 [pid=19971] ppid=19969 vsize=1791528 CPUtime=1692.77 /proc/19971/stat : 19971 (java) S 19969 19971 19430 0 -1 0 238057 0 1 0 169115 162 0 0 18 0 13 0 190545279 1834524672 167800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19971/statm: 447882 167800 1328 9 0 445494 0 [pid=19971/tid=19973] ppid=19969 vsize=1791528 CPUtime=1630.08 /proc/19971/task/19973/stat : 19973 (java) R 19969 19971 19430 0 -1 64 82380 0 1 0 162958 50 0 0 24 0 13 0 190545280 1834524672 167800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109716595 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19974] ppid=19969 vsize=1791528 CPUtime=28.85 /proc/19971/task/19974/stat : 19974 (java) S 19969 19971 19430 0 -1 64 70488 0 0 0 2852 33 0 0 15 0 13 0 190545282 1834524672 167800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19975] ppid=19969 vsize=1791528 CPUtime=28.9 /proc/19971/task/19975/stat : 19975 (java) S 19969 19971 19430 0 -1 64 70346 0 0 0 2851 39 0 0 16 0 13 0 190545282 1834524672 167800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19976] ppid=19969 vsize=1791528 CPUtime=0.72 /proc/19971/task/19976/stat : 19976 (java) S 19969 19971 19430 0 -1 64 152 0 0 0 42 30 0 0 16 0 13 0 190545284 1834524672 167800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19977] ppid=19969 vsize=1791528 CPUtime=0 /proc/19971/task/19977/stat : 19977 (java) S 19969 19971 19430 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 190545284 1834524672 167800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19978] ppid=19969 vsize=1791528 CPUtime=0 /proc/19971/task/19978/stat : 19978 (java) S 19969 19971 19430 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 190545284 1834524672 167800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19979] ppid=19969 vsize=1791528 CPUtime=0 /proc/19971/task/19979/stat : 19979 (java) S 19969 19971 19430 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 190545288 1834524672 167800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19980] ppid=19969 vsize=1791528 CPUtime=1.79 /proc/19971/task/19980/stat : 19980 (java) S 19969 19971 19430 0 -1 64 6768 0 0 0 176 3 0 0 16 0 13 0 190545288 1834524672 167800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19981] ppid=19969 vsize=1791528 CPUtime=2.38 /proc/19971/task/19981/stat : 19981 (java) S 19969 19971 19430 0 -1 64 7199 0 0 0 235 3 0 0 17 0 13 0 190545288 1834524672 167800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19982] ppid=19969 vsize=1791528 CPUtime=0 /proc/19971/task/19982/stat : 19982 (java) S 19969 19971 19430 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 190545288 1834524672 167800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19983] ppid=19969 vsize=1791528 CPUtime=0 /proc/19971/task/19983/stat : 19983 (java) S 19969 19971 19430 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 190545288 1834524672 167800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19988] ppid=19969 vsize=1791528 CPUtime=0 /proc/19971/task/19988/stat : 19988 (java) S 19969 19971 19430 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 190552499 1834524672 167800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1692.77 Current children cumulated vsize (KiB) 1791528 [startup+1722.3 s] /proc/loadavg: 1.14 1.07 1.01 2/77 20186 /proc/meminfo: memFree=1059268/2055920 swapFree=4182876/4192956 [pid=19971] ppid=19969 vsize=1791528 CPUtime=1754.4 /proc/19971/stat : 19971 (java) S 19969 19971 19430 0 -1 0 242690 0 1 0 175273 167 0 0 18 0 13 0 190545279 1834524672 172055 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19971/statm: 447882 172055 1328 9 0 445494 0 [pid=19971/tid=19973] ppid=19969 vsize=1791528 CPUtime=1688.31 /proc/19971/task/19973/stat : 19973 (java) R 19969 19971 19430 0 -1 64 82484 0 1 0 168780 51 0 0 25 0 13 0 190545280 1834524672 172055 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109531776 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19974] ppid=19969 vsize=1791528 CPUtime=30.54 /proc/19971/task/19974/stat : 19974 (java) S 19969 19971 19430 0 -1 64 72795 0 0 0 3019 35 0 0 16 0 13 0 190545282 1834524672 172055 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19975] ppid=19969 vsize=1791528 CPUtime=30.59 /proc/19971/task/19975/stat : 19975 (java) S 19969 19971 19430 0 -1 64 72568 0 0 0 3018 41 0 0 16 0 13 0 190545282 1834524672 172055 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19976] ppid=19969 vsize=1791528 CPUtime=0.74 /proc/19971/task/19976/stat : 19976 (java) S 19969 19971 19430 0 -1 64 152 0 0 0 43 31 0 0 16 0 13 0 190545284 1834524672 172055 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19977] ppid=19969 vsize=1791528 CPUtime=0 /proc/19971/task/19977/stat : 19977 (java) S 19969 19971 19430 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 190545284 1834524672 172055 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19978] ppid=19969 vsize=1791528 CPUtime=0 /proc/19971/task/19978/stat : 19978 (java) S 19969 19971 19430 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 190545284 1834524672 172055 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19979] ppid=19969 vsize=1791528 CPUtime=0 /proc/19971/task/19979/stat : 19979 (java) S 19969 19971 19430 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 190545288 1834524672 172055 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19980] ppid=19969 vsize=1791528 CPUtime=1.79 /proc/19971/task/19980/stat : 19980 (java) S 19969 19971 19430 0 -1 64 6768 0 0 0 176 3 0 0 16 0 13 0 190545288 1834524672 172055 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19981] ppid=19969 vsize=1791528 CPUtime=2.38 /proc/19971/task/19981/stat : 19981 (java) S 19969 19971 19430 0 -1 64 7199 0 0 0 235 3 0 0 17 0 13 0 190545288 1834524672 172055 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19982] ppid=19969 vsize=1791528 CPUtime=0 /proc/19971/task/19982/stat : 19982 (java) S 19969 19971 19430 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 190545288 1834524672 172055 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19983] ppid=19969 vsize=1791528 CPUtime=0 /proc/19971/task/19983/stat : 19983 (java) S 19969 19971 19430 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 190545288 1834524672 172055 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19988] ppid=19969 vsize=1791528 CPUtime=0 /proc/19971/task/19988/stat : 19988 (java) S 19969 19971 19430 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 190552499 1834524672 172055 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1754.4 Current children cumulated vsize (KiB) 1791528 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1766.61 s] /proc/loadavg: 1.06 1.05 1.01 2/77 20186 /proc/meminfo: memFree=1048708/2055920 swapFree=4182876/4192956 [pid=19971] ppid=19969 vsize=1791528 CPUtime=1800 /proc/19971/stat : 19971 (java) S 19969 19971 19430 0 -1 0 245431 0 1 0 179831 169 0 0 18 0 13 0 190545279 1834524672 174654 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19971/statm: 447882 174654 1328 9 0 445494 0 [pid=19971/tid=19973] ppid=19969 vsize=1791528 CPUtime=1731.25 /proc/19971/task/19973/stat : 19973 (java) R 19969 19971 19430 0 -1 64 82560 0 1 0 173074 51 0 0 25 0 13 0 190545280 1834524672 174654 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109924869 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19974] ppid=19969 vsize=1791528 CPUtime=31.87 /proc/19971/task/19974/stat : 19974 (java) S 19969 19971 19430 0 -1 64 74298 0 0 0 3151 36 0 0 16 0 13 0 190545282 1834524672 174654 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19975] ppid=19969 vsize=1791528 CPUtime=31.9 /proc/19971/task/19975/stat : 19975 (java) S 19969 19971 19430 0 -1 64 73730 0 0 0 3149 41 0 0 16 0 13 0 190545282 1834524672 174654 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19976] ppid=19969 vsize=1791528 CPUtime=0.76 /proc/19971/task/19976/stat : 19976 (java) S 19969 19971 19430 0 -1 64 152 0 0 0 44 32 0 0 15 0 13 0 190545284 1834524672 174654 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19977] ppid=19969 vsize=1791528 CPUtime=0 /proc/19971/task/19977/stat : 19977 (java) S 19969 19971 19430 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 190545284 1834524672 174654 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19978] ppid=19969 vsize=1791528 CPUtime=0 /proc/19971/task/19978/stat : 19978 (java) S 19969 19971 19430 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 190545284 1834524672 174654 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19979] ppid=19969 vsize=1791528 CPUtime=0 /proc/19971/task/19979/stat : 19979 (java) S 19969 19971 19430 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 190545288 1834524672 174654 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19980] ppid=19969 vsize=1791528 CPUtime=1.79 /proc/19971/task/19980/stat : 19980 (java) S 19969 19971 19430 0 -1 64 6768 0 0 0 176 3 0 0 16 0 13 0 190545288 1834524672 174654 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19981] ppid=19969 vsize=1791528 CPUtime=2.38 /proc/19971/task/19981/stat : 19981 (java) S 19969 19971 19430 0 -1 64 7199 0 0 0 235 3 0 0 17 0 13 0 190545288 1834524672 174654 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19982] ppid=19969 vsize=1791528 CPUtime=0 /proc/19971/task/19982/stat : 19982 (java) S 19969 19971 19430 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 190545288 1834524672 174654 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19971/tid=19983] ppid=19969 vsize=1791528 CPUtime=0 /proc/19971/task/19983/stat : 19983 (java) S 19969 19971 19430 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 190545288 1834524672 174654 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19971/tid=19988] ppid=19969 vsize=1791528 CPUtime=0 /proc/19971/task/19988/stat : 19988 (java) S 19969 19971 19430 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 190552499 1834524672 174654 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1791528 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1766.8 s] /proc/loadavg: 1.06 1.05 1.01 2/77 20186 /proc/meminfo: memFree=1048708/2055920 swapFree=4182876/4192956 [pid=19971] ppid=19969 vsize=0 CPUtime=1800.27 /proc/19971/stat : 19971 (java) Z 19969 19971 19430 0 -1 1036 245449 0 1 0 179848 179 0 0 15 0 2 0 190545279 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19971/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.27 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1766.82 CPU time (s): 1800.3 CPU user time (s): 1798.49 CPU system time (s): 1.81072 CPU usage (%): 101.895 Max. virtual memory (cumulated for all children) (KiB): 1798428 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.49 system time used= 1.81072 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 245449 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= 67330 involuntary context switches= 41257 runsolver used 2.00569 second user time and 5.05423 second system time The end
Begin job on node63 on Sat Apr 21 08:52:34 UTC 2007 IDJOB= 372887 IDBENCH= 25004 IDSOLVER= 160 FILE ID= node63/372887-1177145553 PBS_JOBID= 4648833 Free space on /tmp= 66470 MiB SOLVER NAME= sat4jPseudoCP 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir03_area_delay.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/372887-1177145553/sat4jPseudoCP.jar /tmp/evaluation/372887-1177145553/instance-372887-1177145553.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-372887-1177145553 -o ROOT/results/node63/solver-372887-1177145553 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/372887-1177145553/sat4jPseudoCP.jar /tmp/evaluation/372887-1177145553/instance-372887-1177145553.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 2b747b2caed6577698c928a521fdc3c2 RANDOM SEED= 791382528 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node63.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.232 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.232 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: 1744844 kB Buffers: 34588 kB Cached: 206528 kB SwapCached: 3752 kB Active: 117728 kB Inactive: 132884 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1744844 kB SwapTotal: 4192956 kB SwapFree: 4182876 kB Dirty: 3876 kB Writeback: 0 kB Mapped: 15544 kB Slab: 46436 kB Committed_AS: 2119400 kB PageTables: 1460 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= 66470 MiB End job on node63 on Sat Apr 21 09:22:02 UTC 2007