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