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