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