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