Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 3336192 | 1800.57 | 1786.6 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x12.opb |
MD5SUM | 9d08937c2a2ec73e4fca19adadace920 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3208192 |
Best CPU time to get the best result obtained on this benchmark | 1800.47 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3208192 |
Optimality of the best value was proved | NO |
Number of variables | 3720 |
Total number of constraints | 142 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 142 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 360 |
Number of terms in the objective function | 3720 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 679702048135 |
Number of bits of the sum of numbers in the objective function | 40 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 679702048135 |
Number of bits of the biggest sum of numbers | 40 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.13/0.43 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.13/0.43 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.13/0.43 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.13/0.44 c no version file found!!! 0.13/0.44 c sun.arch.data.model 32 0.13/0.44 c java.version 1.6.0 0.13/0.44 c os.name Linux 0.13/0.44 c os.version 2.6.9-22.EL.rootsmp 0.13/0.44 c os.arch i386 0.13/0.44 c Free memory 1651659224 0.13/0.44 c Max memory 1654456320 0.13/0.44 c Total memory 1654456320 0.13/0.44 c Number of processors 2 0.24/0.50 --- Begin Solver configuration --- 0.24/0.50 c Stops conflict analysis at the first Unique Implication Point 0.24/0.50 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.24/0.50 c Learn all clauses as in MiniSAT 0.24/0.50 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.24/0.50 c VSIDS like heuristics from MiniSAT using a heap 0.24/0.50 c No reason simplification 0.24/0.50 c --- End Solver configuration --- 0.24/0.50 c solving /tmp/evaluation/353933-1176688829/instance-353933-1176688829.opb 0.24/0.50 c reading problem ... 1.83/1.42 c ... done. Wall clock time 0.921s. 1.83/1.42 c CPU time (experimental) 0.6s. 1.83/1.42 c #vars 3720 1.83/1.42 c #constraints 164 2.60/1.99 c SATISFIABLE 2.60/1.99 c OPTIMIZING... 2.60/1.99 c Got one! Elapsed wall clock time (in seconds):1.494 2.70/2.01 o 7528444 2.87/2.13 c Got one! Elapsed wall clock time (in seconds):1.63 2.87/2.14 o 3502067 3.05/2.25 c Got one! Elapsed wall clock time (in seconds):1.745 3.05/2.26 o 3336192 1800.03/1786.28 c starts : 27 1800.03/1786.29 c conflicts : 1215260 1800.03/1786.29 c decisions : 1772921 1800.03/1786.29 c propagations : 81004487 1800.03/1786.29 c inspects : 1681507324 1800.03/1786.29 c learnt literals : 0 1800.03/1786.29 c learnt binary clauses : 0 1800.03/1786.29 c learnt ternary clauses : 0 1800.03/1786.29 c learnt clauses : 1215260 1800.03/1786.29 c root simplifications : 0 1800.03/1786.29 c removed literals (reason simplification) : 0 1800.03/1786.29 c reason swapping (by a shorter reason) : 0 1800.03/1786.29 c Calls to reduceDB : 1 1800.03/1786.29 c speed (decisions/second) : 993.8092955859561 1800.03/1786.29 c non guided choices 0 1800.03/1786.29 s SATISFIABLE 1800.23/1786.33 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.23/1786.33 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.23/1786.33 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.23/1786.33 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1800.23/1786.33 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.23/1786.33 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.23/1786.33 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.23/1786.33 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.23/1786.33 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.23/1786.33 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.23/1786.33 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.23/1786.33 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.23/1786.33 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.23/1786.33 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 x313 -x314 1800.23/1786.33 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1800.23/1786.33 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1800.23/1786.33 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.23/1786.33 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.23/1786.33 v -x399 -x400 -x401 -x402 x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1800.23/1786.33 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1800.23/1786.33 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.23/1786.33 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.23/1786.33 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.23/1786.33 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.23/1786.33 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.23/1786.33 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.23/1786.33 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.23/1786.33 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.23/1786.33 v -x609 -x610 x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.23/1786.33 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1800.23/1786.33 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1800.23/1786.33 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1800.23/1786.33 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1800.23/1786.33 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1800.23/1786.33 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1800.23/1786.33 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1800.23/1786.33 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1800.23/1786.33 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1800.23/1786.33 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1800.23/1786.33 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1800.23/1786.33 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1800.23/1786.33 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1800.23/1786.33 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1800.23/1786.33 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1800.23/1786.33 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1800.23/1786.33 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.23/1786.33 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1800.23/1786.33 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1800.23/1786.33 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1800.23/1786.33 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1800.23/1786.33 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1800.23/1786.33 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1800.23/1786.33 v x1091 -x1092 x1093 -x1094 x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 1800.23/1786.33 v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 x1122 -x1123 -x1124 -x1125 1800.23/1786.33 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 1800.23/1786.33 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 1800.23/1786.33 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 1800.23/1786.33 v -x1178 -x1179 -x1180 -x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 1800.23/1786.33 v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 1800.23/1786.33 v -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 1800.23/1786.33 v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 1800.23/1786.33 v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 1800.23/1786.33 v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 x1272 x1273 x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 1800.23/1786.33 v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 1800.23/1786.33 v -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 1800.23/1786.33 v -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 1800.23/1786.33 v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 1800.23/1786.33 v -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 1800.23/1786.33 v -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 1800.23/1786.33 v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 1800.23/1786.33 v -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 1800.23/1786.33 v -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 1800.23/1786.33 v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 1800.23/1786.33 v x1451 -x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 1800.23/1786.33 v -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 1800.23/1786.33 v -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 1800.23/1786.33 v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 1800.23/1786.33 v -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 1800.23/1786.33 v -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 1800.23/1786.33 v -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 1800.23/1786.33 v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 1800.23/1786.33 v -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 1800.23/1786.33 v -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 1800.23/1786.33 v -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 1800.23/1786.33 v -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 1800.23/1786.33 v -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 x1662 x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 1800.23/1786.33 v -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 1800.23/1786.33 v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 1800.23/1786.33 v -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 1800.23/1786.33 v -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 1800.23/1786.33 v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 1800.23/1786.33 v -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 1800.23/1786.33 v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 1800.23/1786.33 v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 1800.23/1786.33 v -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 1800.23/1786.33 v -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 1800.23/1786.33 v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 1800.23/1786.33 v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 x1871 x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 1800.23/1786.33 v -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 1800.23/1786.33 v -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 1800.23/1786.33 v -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 1800.23/1786.33 v -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 1800.23/1786.33 v -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 1800.23/1786.33 v -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 1800.23/1786.33 v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 x1994 -x1995 -x1996 -x1997 1800.23/1786.33 v -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 1800.23/1786.33 v -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 1800.23/1786.33 v -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 1800.23/1786.33 v -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 1800.23/1786.33 v -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 1800.23/1786.33 v -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 1800.23/1786.33 v -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 1800.23/1786.33 v -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 1800.23/1786.33 v -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 1800.23/1786.33 v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 1800.23/1786.33 v -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 1800.23/1786.33 v -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 1800.23/1786.33 v -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 1800.23/1786.33 v -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 1800.23/1786.33 v -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 1800.23/1786.33 v -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 1800.23/1786.33 v -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 1800.23/1786.33 v -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 1800.23/1786.33 v -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 1800.23/1786.33 v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 1800.23/1786.33 v -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 1800.23/1786.33 v -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 1800.23/1786.33 v -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 1800.23/1786.33 v -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 1800.23/1786.33 v -x2406 -x2407 -x2408 -x2409 -x2410 x2411 x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 1800.23/1786.33 v -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 1800.23/1786.33 v x2441 -x2442 x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 1800.23/1786.33 v -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 x2472 -x2473 -x2474 -x2475 1800.23/1786.33 v -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 1800.23/1786.33 v -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 1800.23/1786.33 v -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 1800.23/1786.33 v -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 1800.23/1786.33 v -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 1800.23/1786.33 v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 1800.23/1786.33 v -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 1800.23/1786.33 v -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 1800.23/1786.33 v -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 1800.23/1786.33 v -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 1800.23/1786.33 v -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 1800.23/1786.33 v -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 1800.23/1786.33 v -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 1800.23/1786.33 v -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 1800.23/1786.33 v -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 1800.23/1786.33 v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 1800.23/1786.33 v -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 1800.23/1786.33 v -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 1800.23/1786.33 v -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 1800.23/1786.33 v -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 1800.23/1786.33 v -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 1800.23/1786.33 v -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 1800.23/1786.33 v -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 1800.23/1786.33 v -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 1800.23/1786.33 v -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 1800.23/1786.33 v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 1800.23/1786.33 v -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 1800.23/1786.33 v -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 1800.23/1786.33 v -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 1800.23/1786.33 v -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 x2982 -x2983 x2984 x2985 -x2986 1800.23/1786.33 v -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 1800.23/1786.33 v -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 1800.23/1786.33 v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 1800.23/1786.33 v -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 1800.23/1786.33 v -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 1800.23/1786.33 v -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 1800.23/1786.33 v -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 1800.23/1786.33 v -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 1800.23/1786.33 v -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 1800.23/1786.33 v -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 1800.23/1786.33 v -x3157 -x3158 -x3159 -x3160 x3161 x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 1800.23/1786.33 v -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 1800.23/1786.33 v -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 1800.23/1786.33 v -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 1800.23/1786.33 v -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 1800.23/1786.33 v -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 1800.23/1786.33 v -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 1800.23/1786.33 v -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 1800.23/1786.33 v -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 1800.23/1786.33 v -x3311 x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 1800.23/1786.33 v -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 1800.23/1786.33 v -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 1800.23/1786.33 v -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 1800.23/1786.33 v -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 1800.23/1786.33 v -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 1800.23/1786.33 v -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 1800.23/1786.33 v -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 1800.23/1786.33 v -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 1800.23/1786.33 v -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 1800.23/1786.33 v -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 1800.23/1786.33 v -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 1800.23/1786.33 v -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 1800.23/1786.33 v -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 1800.23/1786.33 v -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 1800.23/1786.33 v -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 1800.23/1786.33 v -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 1800.23/1786.33 v -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 x3611 -x3612 -x3613 x3614 -x3615 -x3616 x3617 1800.23/1786.33 v -x3618 -x3619 -x3620 x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 1800.23/1786.33 v -x3635 -x3636 x3637 x3638 x3639 x3640 -x3641 -x3642 x3643 -x3644 -x3645 -x3646 -x3647 -x3648 x3649 -x3650 -x3651 -x3652 1800.23/1786.33 v -x3653 -x3654 -x3655 x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 x3663 -x3664 -x3665 -x3666 x3667 -x3668 -x3669 -x3670 1800.23/1786.33 v -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 x3681 x3682 x3683 -x3684 -x3685 -x3686 -x3687 x3688 1800.23/1786.33 v -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 x3700 x3701 -x3702 -x3703 -x3704 -x3705 x3706 1800.23/1786.33 v -x3707 -x3708 -x3709 -x3710 x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 1800.23/1786.36 c objective function=3336192 1800.23/1786.36 c Total wall clock time (ms): 1785.861
OK 3336192
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node38/watcher-353933-1176688829 -o ROOT/results/node38/solver-353933-1176688829 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353933-1176688829/sat4jPseudoResolution.jar /tmp/evaluation/353933-1176688829/instance-353933-1176688829.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 1.01 3/77 32348 /proc/meminfo: memFree=1869832/2055920 swapFree=4141880/4192956 [pid=32348] ppid=32346 vsize=152 CPUtime=0 /proc/32348/stat : 32348 (java) D 32346 32348 31417 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 101049567 155648 26 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 8606500 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/32348/statm: 38 26 19 9 0 4 0 [startup+0.046789 s] /proc/loadavg: 0.92 0.98 1.01 3/77 32348 /proc/meminfo: memFree=1869832/2055920 swapFree=4141880/4192956 [pid=32348] ppid=32346 vsize=12056 CPUtime=0 /proc/32348/stat : 32348 (java) D 32346 32348 31417 0 -1 0 365 0 4 0 0 0 0 0 18 0 1 0 101049567 12345344 177 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 8577311 0 0 4096 0 18446744071563479169 0 0 17 0 0 0 /proc/32348/statm: 3014 177 135 9 0 1148 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12056 [startup+0.103618 s] /proc/loadavg: 0.92 0.98 1.01 3/77 32348 /proc/meminfo: memFree=1869832/2055920 swapFree=4141880/4192956 [pid=32348] ppid=32346 vsize=12380 CPUtime=0.02 /proc/32348/stat : 32348 (java) S 32346 32348 31417 0 -1 0 710 0 25 0 0 2 0 0 18 0 2 0 101049567 12677120 530 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 /proc/32348/statm: 3095 530 225 9 0 1229 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 12380 [startup+0.302682 s] /proc/loadavg: 0.92 0.98 1.01 3/77 32348 /proc/meminfo: memFree=1869832/2055920 swapFree=4141880/4192956 [pid=32348] ppid=32346 vsize=1777708 CPUtime=0.08 /proc/32348/stat : 32348 (java) S 32346 32348 31417 0 -1 0 3651 0 43 0 3 5 0 0 18 0 7 0 101049567 1820372992 3436 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0 /proc/32348/statm: 444427 3436 1081 9 0 442063 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1777708 [startup+0.701735 s] /proc/loadavg: 0.92 0.98 1.01 3/77 32348 /proc/meminfo: memFree=1869832/2055920 swapFree=4141880/4192956 [pid=32348] ppid=32346 vsize=1782224 CPUtime=0.52 /proc/32348/stat : 32348 (java) S 32346 32348 31417 0 -1 0 5529 0 43 0 45 7 0 0 18 0 12 0 101049567 1824997376 5286 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/32348/statm: 445556 5286 1283 9 0 443168 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 1782224 [startup+1.50189 s] /proc/loadavg: 0.92 0.98 1.01 4/89 32360 /proc/meminfo: memFree=1833640/2055920 swapFree=4141880/4192956 [pid=32348] ppid=32346 vsize=1793144 CPUtime=1.99 /proc/32348/stat : 32348 (java) S 32346 32348 31417 0 -1 0 13706 0 43 0 188 11 0 0 18 0 12 0 101049567 1836179456 11034 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/32348/statm: 448286 11034 1312 9 0 445898 0 [pid=32348/tid=32350] ppid=32346 vsize=1793144 CPUtime=0.66 /proc/32348/task/32350/stat : 32350 (java) R 32346 32348 31417 0 -1 64 7163 0 18 0 61 5 0 0 18 0 12 0 101049577 1836179456 11034 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32348/tid=32351] ppid=32346 vsize=1793144 CPUtime=0 /proc/32348/task/32351/stat : 32351 (java) S 32346 32348 31417 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 101049588 1836179456 11034 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32352] ppid=32346 vsize=1793144 CPUtime=0 /proc/32348/task/32352/stat : 32352 (java) S 32346 32348 31417 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 101049588 1836179456 11034 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32353] ppid=32346 vsize=1793144 CPUtime=0 /proc/32348/task/32353/stat : 32353 (java) S 32346 32348 31417 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 101049592 1836179456 11034 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32354] ppid=32346 vsize=1793144 CPUtime=0 /proc/32348/task/32354/stat : 32354 (java) S 32346 32348 31417 0 -1 64 10 0 0 0 0 0 0 0 21 0 12 0 101049593 1836179456 11034 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32355] ppid=32346 vsize=1793144 CPUtime=0 /proc/32348/task/32355/stat : 32355 (java) S 32346 32348 31417 0 -1 64 3 0 0 0 0 0 0 0 22 0 12 0 101049593 1836179456 11034 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32356] ppid=32346 vsize=1793144 CPUtime=0 /proc/32348/task/32356/stat : 32356 (java) S 32346 32348 31417 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 101049603 1836179456 11034 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32357] ppid=32346 vsize=1793144 CPUtime=0.57 /proc/32348/task/32357/stat : 32357 (java) R 32346 32348 31417 0 -1 64 2050 0 0 0 56 1 0 0 16 0 12 0 101049603 1836179456 11034 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 103336735 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32358] ppid=32346 vsize=1793144 CPUtime=0.71 /proc/32348/task/32358/stat : 32358 (java) R 32346 32348 31417 0 -1 64 3798 0 0 0 69 2 0 0 16 0 12 0 101049603 1836179456 11034 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 103061514 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32348/tid=32359] ppid=32346 vsize=1793144 CPUtime=0 /proc/32348/task/32359/stat : 32359 (java) S 32346 32348 31417 0 -1 64 2 0 0 0 0 0 0 0 22 0 12 0 101049603 1836179456 11034 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32360] ppid=32346 vsize=1793144 CPUtime=0 /proc/32348/task/32360/stat : 32360 (java) S 32346 32348 31417 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 101049603 1836179456 11034 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.99 Current children cumulated vsize (KiB) 1793144 [startup+3.10219 s] /proc/loadavg: 0.92 0.98 1.01 4/90 32362 /proc/meminfo: memFree=1811040/2055920 swapFree=4141880/4192956 [pid=32348] ppid=32346 vsize=1793468 CPUtime=4.05 /proc/32348/stat : 32348 (java) S 32346 32348 31417 0 -1 0 20721 0 43 0 392 13 0 0 18 0 13 0 101049567 1836511232 18048 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/32348/statm: 448367 18048 1319 9 0 445979 0 [pid=32348/tid=32350] ppid=32346 vsize=1793468 CPUtime=2.07 /proc/32348/task/32350/stat : 32350 (java) R 32346 32348 31417 0 -1 64 14073 0 18 0 199 8 0 0 25 0 13 0 101049577 1836511232 18048 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109557391 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32348/tid=32351] ppid=32346 vsize=1793468 CPUtime=0 /proc/32348/task/32351/stat : 32351 (java) S 32346 32348 31417 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 101049588 1836511232 18048 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32352] ppid=32346 vsize=1793468 CPUtime=0 /proc/32348/task/32352/stat : 32352 (java) S 32346 32348 31417 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 101049588 1836511232 18049 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32353] ppid=32346 vsize=1793468 CPUtime=0 /proc/32348/task/32353/stat : 32353 (java) S 32346 32348 31417 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 101049592 1836511232 18049 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32354] ppid=32346 vsize=1793468 CPUtime=0 /proc/32348/task/32354/stat : 32354 (java) S 32346 32348 31417 0 -1 64 10 0 0 0 0 0 0 0 21 0 13 0 101049593 1836511232 18050 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32355] ppid=32346 vsize=1793468 CPUtime=0 /proc/32348/task/32355/stat : 32355 (java) S 32346 32348 31417 0 -1 64 3 0 0 0 0 0 0 0 22 0 13 0 101049593 1836511232 18050 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32356] ppid=32346 vsize=1793468 CPUtime=0 /proc/32348/task/32356/stat : 32356 (java) S 32346 32348 31417 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 101049603 1836511232 18051 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32357] ppid=32346 vsize=1793468 CPUtime=0.94 /proc/32348/task/32357/stat : 32357 (java) S 32346 32348 31417 0 -1 64 2128 0 0 0 93 1 0 0 16 0 13 0 101049603 1836511232 18052 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32348/tid=32358] ppid=32346 vsize=1793468 CPUtime=1.01 /proc/32348/task/32358/stat : 32358 (java) S 32346 32348 31417 0 -1 64 3820 0 0 0 99 2 0 0 15 0 13 0 101049603 1836511232 18052 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32359] ppid=32346 vsize=1793468 CPUtime=0 /proc/32348/task/32359/stat : 32359 (java) S 32346 32348 31417 0 -1 64 2 0 0 0 0 0 0 0 22 0 13 0 101049603 1836511232 18053 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32360] ppid=32346 vsize=1793468 CPUtime=0 /proc/32348/task/32360/stat : 32360 (java) S 32346 32348 31417 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 101049603 1836511232 18054 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.05 Current children cumulated vsize (KiB) 1793468 [startup+6.3018 s] /proc/loadavg: 0.93 0.98 1.01 2/90 32364 /proc/meminfo: memFree=1741784/2055920 swapFree=4141880/4192956 [pid=32348] ppid=32346 vsize=1793116 CPUtime=7.25 /proc/32348/stat : 32348 (java) S 32346 32348 31417 0 -1 0 38207 0 43 0 704 21 0 0 18 0 13 0 101049567 1836150784 35451 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/32348/statm: 448279 35451 1319 9 0 445891 0 [pid=32348/tid=32350] ppid=32346 vsize=1793116 CPUtime=5.27 /proc/32348/task/32350/stat : 32350 (java) R 32346 32348 31417 0 -1 64 31559 0 18 0 511 16 0 0 25 0 13 0 101049577 1836150784 35451 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109557401 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32348/tid=32351] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32351/stat : 32351 (java) S 32346 32348 31417 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 101049588 1836150784 35451 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32352] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32352/stat : 32352 (java) S 32346 32348 31417 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 101049588 1836150784 35451 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32353] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32353/stat : 32353 (java) S 32346 32348 31417 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 101049592 1836150784 35451 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32354] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32354/stat : 32354 (java) S 32346 32348 31417 0 -1 64 10 0 0 0 0 0 0 0 21 0 13 0 101049593 1836150784 35452 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32355] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32355/stat : 32355 (java) S 32346 32348 31417 0 -1 64 3 0 0 0 0 0 0 0 22 0 13 0 101049593 1836150784 35452 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32356] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32356/stat : 32356 (java) S 32346 32348 31417 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 101049603 1836150784 35452 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32357] ppid=32346 vsize=1793116 CPUtime=0.94 /proc/32348/task/32357/stat : 32357 (java) S 32346 32348 31417 0 -1 64 2128 0 0 0 93 1 0 0 17 0 13 0 101049603 1836150784 35452 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32348/tid=32358] ppid=32346 vsize=1793116 CPUtime=1.01 /proc/32348/task/32358/stat : 32358 (java) S 32346 32348 31417 0 -1 64 3820 0 0 0 99 2 0 0 16 0 13 0 101049603 1836150784 35452 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32359] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32359/stat : 32359 (java) S 32346 32348 31417 0 -1 64 2 0 0 0 0 0 0 0 22 0 13 0 101049603 1836150784 35452 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32360] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32360/stat : 32360 (java) S 32346 32348 31417 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 101049603 1836150784 35452 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32364] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32364/stat : 32364 (java) S 32346 32348 31417 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 101049799 1836150784 35452 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.25 Current children cumulated vsize (KiB) 1793116 [startup+12.701 s] /proc/loadavg: 0.93 0.98 1.01 2/90 32364 /proc/meminfo: memFree=1692056/2055920 swapFree=4141880/4192956 [pid=32348] ppid=32346 vsize=1793116 CPUtime=13.74 /proc/32348/stat : 32348 (java) S 32346 32348 31417 0 -1 0 45983 0 43 0 1349 25 0 0 18 0 13 0 101049567 1836150784 43213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/32348/statm: 448279 43213 1328 9 0 445891 0 [pid=32348/tid=32350] ppid=32346 vsize=1793116 CPUtime=11.63 /proc/32348/task/32350/stat : 32350 (java) R 32346 32348 31417 0 -1 64 37694 0 18 0 1144 19 0 0 25 0 13 0 101049577 1836150784 43213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109510720 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32348/tid=32351] ppid=32346 vsize=1793116 CPUtime=0.01 /proc/32348/task/32351/stat : 32351 (java) S 32346 32348 31417 0 -1 64 1161 0 0 0 1 0 0 0 16 0 13 0 101049588 1836150784 43213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32352] ppid=32346 vsize=1793116 CPUtime=0.01 /proc/32348/task/32352/stat : 32352 (java) S 32346 32348 31417 0 -1 64 468 0 0 0 1 0 0 0 16 0 13 0 101049588 1836150784 43213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32348/tid=32353] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32353/stat : 32353 (java) S 32346 32348 31417 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 101049592 1836150784 43213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32354] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32354/stat : 32354 (java) S 32346 32348 31417 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 101049593 1836150784 43213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32355] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32355/stat : 32355 (java) S 32346 32348 31417 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 101049593 1836150784 43213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32356] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32356/stat : 32356 (java) S 32346 32348 31417 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 101049603 1836150784 43213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32357] ppid=32346 vsize=1793116 CPUtime=0.99 /proc/32348/task/32357/stat : 32357 (java) S 32346 32348 31417 0 -1 64 2133 0 0 0 98 1 0 0 16 0 13 0 101049603 1836150784 43213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32348/tid=32358] ppid=32346 vsize=1793116 CPUtime=1.05 /proc/32348/task/32358/stat : 32358 (java) S 32346 32348 31417 0 -1 64 3822 0 0 0 103 2 0 0 16 0 13 0 101049603 1836150784 43213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32359] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32359/stat : 32359 (java) S 32346 32348 31417 0 -1 64 2 0 0 0 0 0 0 0 22 0 13 0 101049603 1836150784 43213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32360] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32360/stat : 32360 (java) S 32346 32348 31417 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 101049603 1836150784 43213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32364] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32364/stat : 32364 (java) S 32346 32348 31417 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 101049799 1836150784 43213 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 13.74 Current children cumulated vsize (KiB) 1793116 [startup+25.5025 s] /proc/loadavg: 0.95 0.98 1.01 2/90 32364 /proc/meminfo: memFree=1669528/2055920 swapFree=4141880/4192956 [pid=32348] ppid=32346 vsize=1793116 CPUtime=26.61 /proc/32348/stat : 32348 (java) S 32346 32348 31417 0 -1 0 51767 0 43 0 2633 28 0 0 18 0 13 0 101049567 1836150784 48875 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/32348/statm: 448279 48875 1328 9 0 445891 0 [pid=32348/tid=32350] ppid=32346 vsize=1793116 CPUtime=24.33 /proc/32348/task/32350/stat : 32350 (java) R 32346 32348 31417 0 -1 64 37698 0 18 0 2414 19 0 0 25 0 13 0 101049577 1836150784 48875 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109773847 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32348/tid=32351] ppid=32346 vsize=1793116 CPUtime=0.07 /proc/32348/task/32351/stat : 32351 (java) S 32346 32348 31417 0 -1 64 4902 0 0 0 5 2 0 0 16 0 13 0 101049588 1836150784 48875 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32352] ppid=32346 vsize=1793116 CPUtime=0.07 /proc/32348/task/32352/stat : 32352 (java) S 32346 32348 31417 0 -1 64 2500 0 0 0 6 1 0 0 16 0 13 0 101049588 1836150784 48875 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32348/tid=32353] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32353/stat : 32353 (java) S 32346 32348 31417 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 101049592 1836150784 48875 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32354] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32354/stat : 32354 (java) S 32346 32348 31417 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 101049593 1836150784 48875 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/32348/task/32357/stat : 32357 (java) S 32346 32348 31417 0 -1 64 2135 0 0 0 102 1 0 0 17 0 13 0 101049603 1836150784 331720 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32358] ppid=32346 vsize=1793116 CPUtime=1.09 /proc/32348/task/32358/stat : 32358 (java) S 32346 32348 31417 0 -1 64 3825 0 0 0 107 2 0 0 16 0 13 0 101049603 1836150784 331720 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32359] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32359/stat : 32359 (java) S 32346 32348 31417 0 -1 64 2 0 0 0 0 0 0 0 22 0 13 0 101049603 1836150784 331720 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32360] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32360/stat : 32360 (java) S 32346 32348 31417 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 101049603 1836150784 331720 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32364] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32364/stat : 32364 (java) S 32346 32348 31417 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 101049799 1836150784 331720 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1614.76 Current children cumulated vsize (KiB) 1793116 [startup+1662.3 s] /proc/loadavg: 1.01 1.02 1.00 2/90 506 /proc/meminfo: memFree=465944/2055920 swapFree=4141924/4192956 [pid=32348] ppid=32346 vsize=1793116 CPUtime=1675.28 /proc/32348/stat : 32348 (java) S 32346 32348 31417 0 -1 0 475718 0 43 0 167281 247 0 0 18 0 13 0 101049567 1836150784 340069 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/32348/statm: 448279 340069 1328 9 0 445891 0 [pid=32348/tid=32350] ppid=32346 vsize=1793116 CPUtime=1646.9 /proc/32348/task/32350/stat : 32350 (java) R 32346 32348 31417 0 -1 64 55339 0 18 0 164647 43 0 0 25 0 13 0 101049577 1836150784 340069 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109787084 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32348/tid=32351] ppid=32346 vsize=1793116 CPUtime=13 /proc/32348/task/32351/stat : 32351 (java) S 32346 32348 31417 0 -1 64 202558 0 0 0 1206 94 0 0 16 0 13 0 101049588 1836150784 340069 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32348/tid=32352] ppid=32346 vsize=1793116 CPUtime=13.03 /proc/32348/task/32352/stat : 32352 (java) S 32346 32348 31417 0 -1 64 210986 0 0 0 1210 93 0 0 17 0 13 0 101049588 1836150784 340069 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32348/tid=32353] ppid=32346 vsize=1793116 CPUtime=0.14 /proc/32348/task/32353/stat : 32353 (java) S 32346 32348 31417 0 -1 64 178 0 0 0 5 9 0 0 16 0 13 0 101049592 1836150784 340069 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32348/tid=32354] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32354/stat : 32354 (java) S 32346 32348 31417 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 101049593 1836150784 340069 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32355] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32355/stat : 32355 (java) S 32346 32348 31417 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 101049593 1836150784 340069 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32356] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32356/stat : 32356 (java) S 32346 32348 31417 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 101049603 1836150784 340069 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32357] ppid=32346 vsize=1793116 CPUtime=1.03 /proc/32348/task/32357/stat : 32357 (java) S 32346 32348 31417 0 -1 64 2135 0 0 0 102 1 0 0 17 0 13 0 101049603 1836150784 340069 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32358] ppid=32346 vsize=1793116 CPUtime=1.09 /proc/32348/task/32358/stat : 32358 (java) S 32346 32348 31417 0 -1 64 3825 0 0 0 107 2 0 0 16 0 13 0 101049603 1836150784 340069 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32359] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32359/stat : 32359 (java) S 32346 32348 31417 0 -1 64 2 0 0 0 0 0 0 0 22 0 13 0 101049603 1836150784 340069 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32360] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32360/stat : 32360 (java) S 32346 32348 31417 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 101049603 1836150784 340069 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32364] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32364/stat : 32364 (java) S 32346 32348 31417 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 101049799 1836150784 340069 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1675.28 Current children cumulated vsize (KiB) 1793116 [startup+1722.3 s] /proc/loadavg: 1.14 1.05 1.01 2/90 506 /proc/meminfo: memFree=432984/2055920 swapFree=4141924/4192956 [pid=32348] ppid=32346 vsize=1793116 CPUtime=1735.8 /proc/32348/stat : 32348 (java) S 32346 32348 31417 0 -1 0 487441 0 43 0 173327 253 0 0 18 0 13 0 101049567 1836150784 348298 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/32348/statm: 448279 348298 1328 9 0 445891 0 [pid=32348/tid=32350] ppid=32346 vsize=1793116 CPUtime=1706.26 /proc/32348/task/32350/stat : 32350 (java) R 32346 32348 31417 0 -1 64 55351 0 18 0 170582 44 0 0 25 0 13 0 101049577 1836150784 348298 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109826243 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32348/tid=32351] ppid=32346 vsize=1793116 CPUtime=13.57 /proc/32348/task/32351/stat : 32351 (java) S 32346 32348 31417 0 -1 64 212664 0 0 0 1258 99 0 0 16 0 13 0 101049588 1836150784 348298 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32352] ppid=32346 vsize=1793116 CPUtime=13.63 /proc/32348/task/32352/stat : 32352 (java) S 32346 32348 31417 0 -1 64 212580 0 0 0 1269 94 0 0 17 0 13 0 101049588 1836150784 348298 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32348/tid=32353] ppid=32346 vsize=1793116 CPUtime=0.15 /proc/32348/task/32353/stat : 32353 (java) S 32346 32348 31417 0 -1 64 189 0 0 0 6 9 0 0 16 0 13 0 101049592 1836150784 348298 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32354] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32354/stat : 32354 (java) S 32346 32348 31417 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 101049593 1836150784 348298 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32355] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32355/stat : 32355 (java) S 32346 32348 31417 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 101049593 1836150784 348298 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32356] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32356/stat : 32356 (java) S 32346 32348 31417 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 101049603 1836150784 348298 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32357] ppid=32346 vsize=1793116 CPUtime=1.03 /proc/32348/task/32357/stat : 32357 (java) S 32346 32348 31417 0 -1 64 2135 0 0 0 102 1 0 0 17 0 13 0 101049603 1836150784 348298 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32358] ppid=32346 vsize=1793116 CPUtime=1.09 /proc/32348/task/32358/stat : 32358 (java) S 32346 32348 31417 0 -1 64 3825 0 0 0 107 2 0 0 16 0 13 0 101049603 1836150784 348298 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32359] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32359/stat : 32359 (java) S 32346 32348 31417 0 -1 64 2 0 0 0 0 0 0 0 22 0 13 0 101049603 1836150784 348298 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32360] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32360/stat : 32360 (java) S 32346 32348 31417 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 101049603 1836150784 348298 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32364] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32364/stat : 32364 (java) S 32346 32348 31417 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 101049799 1836150784 348298 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1735.8 Current children cumulated vsize (KiB) 1793116 [startup+1782.3 s] /proc/loadavg: 1.05 1.04 1.00 2/90 506 /proc/meminfo: memFree=383960/2055920 swapFree=4141924/4192956 [pid=32348] ppid=32346 vsize=1793116 CPUtime=1796.11 /proc/32348/stat : 32348 (java) S 32346 32348 31417 0 -1 0 499823 0 43 0 179352 259 0 0 18 0 13 0 101049567 1836150784 360497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/32348/statm: 448279 360497 1331 9 0 445891 0 [pid=32348/tid=32350] ppid=32346 vsize=1793116 CPUtime=1766.02 /proc/32348/task/32350/stat : 32350 (java) R 32346 32348 31417 0 -1 64 59986 0 18 0 176556 46 0 0 25 0 13 0 101049577 1836150784 360497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4110012039 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32348/tid=32351] ppid=32346 vsize=1793116 CPUtime=13.79 /proc/32348/task/32351/stat : 32351 (java) S 32346 32348 31417 0 -1 64 219218 0 0 0 1277 102 0 0 16 0 13 0 101049588 1836150784 360497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32352] ppid=32346 vsize=1793116 CPUtime=13.84 /proc/32348/task/32352/stat : 32352 (java) S 32346 32348 31417 0 -1 64 213738 0 0 0 1290 94 0 0 16 0 13 0 101049588 1836150784 360497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32348/tid=32353] ppid=32346 vsize=1793116 CPUtime=0.15 /proc/32348/task/32353/stat : 32353 (java) S 32346 32348 31417 0 -1 64 208 0 0 0 6 9 0 0 16 0 13 0 101049592 1836150784 360497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32354] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32354/stat : 32354 (java) S 32346 32348 31417 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 101049593 1836150784 360497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32355] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32355/stat : 32355 (java) S 32346 32348 31417 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 101049593 1836150784 360497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32356] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32356/stat : 32356 (java) S 32346 32348 31417 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 101049603 1836150784 360497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32357] ppid=32346 vsize=1793116 CPUtime=1.11 /proc/32348/task/32357/stat : 32357 (java) S 32346 32348 31417 0 -1 64 2147 0 0 0 110 1 0 0 16 0 13 0 101049603 1836150784 360497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32358] ppid=32346 vsize=1793116 CPUtime=1.12 /proc/32348/task/32358/stat : 32358 (java) S 32346 32348 31417 0 -1 64 3829 0 0 0 110 2 0 0 16 0 13 0 101049603 1836150784 360497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32359] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32359/stat : 32359 (java) S 32346 32348 31417 0 -1 64 2 0 0 0 0 0 0 0 22 0 13 0 101049603 1836150784 360497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32360] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32360/stat : 32360 (java) S 32346 32348 31417 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 101049603 1836150784 360497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32364] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32364/stat : 32364 (java) S 32346 32348 31417 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 101049799 1836150784 360497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.11 Current children cumulated vsize (KiB) 1793116 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1786.2 s] /proc/loadavg: 1.04 1.04 1.00 2/90 506 /proc/meminfo: memFree=383960/2055920 swapFree=4141924/4192956 [pid=32348] ppid=32346 vsize=1793116 CPUtime=1800.03 /proc/32348/stat : 32348 (java) S 32346 32348 31417 0 -1 0 499825 0 43 0 179744 259 0 0 18 0 13 0 101049567 1836150784 360499 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/32348/statm: 448279 360499 1331 9 0 445891 0 [pid=32348/tid=32350] ppid=32346 vsize=1793116 CPUtime=1769.93 /proc/32348/task/32350/stat : 32350 (java) R 32346 32348 31417 0 -1 64 59986 0 18 0 176947 46 0 0 25 0 13 0 101049577 1836150784 360499 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4110011629 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32348/tid=32351] ppid=32346 vsize=1793116 CPUtime=13.79 /proc/32348/task/32351/stat : 32351 (java) S 32346 32348 31417 0 -1 64 219218 0 0 0 1277 102 0 0 16 0 13 0 101049588 1836150784 360499 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32352] ppid=32346 vsize=1793116 CPUtime=13.84 /proc/32348/task/32352/stat : 32352 (java) S 32346 32348 31417 0 -1 64 213738 0 0 0 1290 94 0 0 16 0 13 0 101049588 1836150784 360499 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32348/tid=32353] ppid=32346 vsize=1793116 CPUtime=0.15 /proc/32348/task/32353/stat : 32353 (java) S 32346 32348 31417 0 -1 64 208 0 0 0 6 9 0 0 16 0 13 0 101049592 1836150784 360499 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32354] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32354/stat : 32354 (java) S 32346 32348 31417 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 101049593 1836150784 360499 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32355] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32355/stat : 32355 (java) S 32346 32348 31417 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 101049593 1836150784 360499 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32356] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32356/stat : 32356 (java) S 32346 32348 31417 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 101049603 1836150784 360499 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32357] ppid=32346 vsize=1793116 CPUtime=1.11 /proc/32348/task/32357/stat : 32357 (java) S 32346 32348 31417 0 -1 64 2147 0 0 0 110 1 0 0 16 0 13 0 101049603 1836150784 360499 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32358] ppid=32346 vsize=1793116 CPUtime=1.14 /proc/32348/task/32358/stat : 32358 (java) S 32346 32348 31417 0 -1 64 3831 0 0 0 112 2 0 0 17 0 13 0 101049603 1836150784 360499 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32359] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32359/stat : 32359 (java) S 32346 32348 31417 0 -1 64 2 0 0 0 0 0 0 0 22 0 13 0 101049603 1836150784 360499 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32360] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32360/stat : 32360 (java) S 32346 32348 31417 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 101049603 1836150784 360499 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32348/tid=32364] ppid=32346 vsize=1793116 CPUtime=0 /proc/32348/task/32364/stat : 32364 (java) S 32346 32348 31417 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 101049799 1836150784 360499 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1793116 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1786.41 s] /proc/loadavg: 1.04 1.04 1.00 7/93 509 /proc/meminfo: memFree=371200/2055920 swapFree=4141924/4192956 [pid=32348] ppid=32346 vsize=0 CPUtime=1800.37 /proc/32348/stat : 32348 (java) Z 32346 32348 31417 0 -1 1036 503247 0 43 0 179773 264 0 0 15 0 2 0 101049567 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/32348/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.37 Current children cumulated vsize (KiB) 0 [startup+1786.5 s] /proc/loadavg: 1.04 1.04 1.00 7/93 509 /proc/meminfo: memFree=371200/2055920 swapFree=4141924/4192956 [pid=32348] ppid=32346 vsize=0 CPUtime=1800.47 /proc/32348/stat : 32348 (java) Z 32346 32348 31417 0 -1 1036 503247 0 43 0 179773 274 0 0 15 0 2 0 101049567 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/32348/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.47 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1786.6 CPU time (s): 1800.57 CPU user time (s): 1797.74 CPU system time (s): 2.83757 CPU usage (%): 100.782 Max. virtual memory (cumulated for all children) (KiB): 1795012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.74 system time used= 2.83757 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 503247 page faults= 43 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 42415 involuntary context switches= 54127 runsolver used 1.73773 second user time and 4.87426 second system time The end
Begin job on node38 on Mon Apr 16 02:00:29 UTC 2007 IDJOB= 353933 IDBENCH= 2295 IDSOLVER= 159 FILE ID= node38/353933-1176688829 PBS_JOBID= 4559988 Free space on /tmp= 66318 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x12.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353933-1176688829/sat4jPseudoResolution.jar /tmp/evaluation/353933-1176688829/instance-353933-1176688829.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-353933-1176688829 -o ROOT/results/node38/solver-353933-1176688829 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353933-1176688829/sat4jPseudoResolution.jar /tmp/evaluation/353933-1176688829/instance-353933-1176688829.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 9d08937c2a2ec73e4fca19adadace920 RANDOM SEED= 169816619 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node38.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.263 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.263 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: 1870304 kB Buffers: 4708 kB Cached: 31204 kB SwapCached: 5364 kB Active: 123248 kB Inactive: 18964 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1870304 kB SwapTotal: 4192956 kB SwapFree: 4141880 kB Dirty: 3808 kB Writeback: 0 kB Mapped: 112704 kB Slab: 28640 kB Committed_AS: 1491308 kB PageTables: 2060 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= 66318 MiB End job on node38 on Mon Apr 16 02:30:18 UTC 2007