Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCP 2007-03-23 | SAT (TO) | 9407 | 1800.34 | 1783.89 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-fiber.opb |
MD5SUM | 32662df0ae948242aace0258625ea4cc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 6456 |
Best CPU time to get the best result obtained on this benchmark | 1800.32 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6277 |
Optimality of the best value was proved | NO |
Number of variables | 2574 |
Total number of constraints | 363 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 36 |
Number of constraints which are nor clauses,nor cardinality constraints | 327 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 61 |
Number of terms in the objective function | 1254 |
Biggest coefficient in the objective function | 7958 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 524887 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261914 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524887 |
Number of bits of the biggest sum of numbers | 20 |
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/351691-1176609587/instance-351691-1176609587.opb 0.19/0.20 c reading problem ... 1.19/0.81 c ... done. Wall clock time 0.612s. 1.19/0.81 c CPU time (experimental) 0.49s. 1.19/0.81 c #vars 2574 1.19/0.81 c #constraints 696 2.35/1.48 c SATISFIABLE 2.35/1.48 c OPTIMIZING... 2.35/1.48 c Got one! Elapsed wall clock time (in seconds):1.275 2.35/1.49 o 88191 2.88/1.73 c Got one! Elapsed wall clock time (in seconds):1.532 2.88/1.74 o 77350 3.05/1.87 c Got one! Elapsed wall clock time (in seconds):1.674 3.05/1.88 o 64706 3.20/1.99 c Got one! Elapsed wall clock time (in seconds):1.79 3.20/1.99 o 23645 11.18/8.95 c Got one! Elapsed wall clock time (in seconds):8.744 11.18/8.96 o 15378 13.40/11.15 c Got one! Elapsed wall clock time (in seconds):10.947 13.40/11.15 o 14438 15.83/13.57 c Got one! Elapsed wall clock time (in seconds):13.366 15.83/13.57 o 11035 80.61/77.90 c Got one! Elapsed wall clock time (in seconds):77.7 80.61/77.90 o 9407 1800.09/1783.71 c starts : 11 1800.09/1783.71 c conflicts : 1089 1800.09/1783.71 c decisions : 194182 1800.09/1783.71 c propagations : 477173 1800.09/1783.71 c inspects : 9792516 1800.09/1783.71 c learnt literals : 0 1800.09/1783.71 c learnt binary clauses : 0 1800.09/1783.71 c learnt ternary clauses : 7 1800.09/1783.71 c learnt clauses : 1088 1800.09/1783.71 c root simplifications : 0 1800.09/1783.71 c removed literals (reason simplification) : 0 1800.09/1783.71 c reason swapping (by a shorter reason) : 0 1800.09/1783.71 c Calls to reduceDB : 0 1800.09/1783.71 c speed (decisions/second) : 113.8363231328409 1800.09/1783.71 c non guided choices 2039 1800.09/1783.71 s SATISFIABLE 1800.09/1783.76 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.09/1783.76 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 -x55 1800.09/1783.76 v -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 1800.09/1783.76 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1800.09/1783.76 v x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.09/1783.76 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.09/1783.76 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.09/1783.76 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.09/1783.76 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.09/1783.76 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.09/1783.76 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.09/1783.76 v -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.09/1783.76 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.09/1783.76 v x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.09/1783.76 v x316 x317 x318 x319 x320 x321 -x322 -x323 -x324 x325 x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 1800.09/1783.76 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 1800.09/1783.76 v -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 x379 1800.09/1783.76 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1800.09/1783.76 v -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 x411 x412 -x413 -x414 -x415 x416 x417 x418 -x419 -x420 -x421 -x422 1800.09/1783.76 v x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 1800.09/1783.76 v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 1800.09/1783.76 v -x465 -x466 -x467 -x468 -x469 -x470 x471 -x472 x473 x474 x475 -x476 x477 -x478 -x479 x480 -x481 x482 -x483 -x484 -x485 -x486 1800.09/1783.76 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 x497 -x498 -x499 -x500 -x501 -x502 x503 x504 x505 -x506 -x507 1800.09/1783.76 v -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 1800.09/1783.76 v x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 x541 x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 1800.09/1783.76 v -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 x559 x560 x561 -x562 -x563 x564 -x565 x566 -x567 x568 -x569 -x570 -x571 -x572 1800.09/1783.76 v x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 1800.09/1783.76 v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 1800.09/1783.76 v -x615 -x616 x617 x618 -x619 -x620 x621 -x622 x623 -x624 x625 -x626 x627 -x628 x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 1800.09/1783.76 v -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 x652 -x653 x654 -x655 -x656 -x657 1800.09/1783.76 v -x658 x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 1800.09/1783.76 v -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 1800.09/1783.76 v -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 x708 -x709 x710 -x711 -x712 -x713 x714 x715 x716 -x717 x718 -x719 -x720 x721 1800.09/1783.76 v x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 1800.09/1783.76 v -x743 -x744 -x745 -x746 -x747 -x748 x749 x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 1800.09/1783.76 v -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 -x783 -x784 1800.09/1783.76 v -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 x799 x800 x801 x802 x803 x804 x805 x806 1800.09/1783.76 v x807 x808 x809 x810 x811 x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 1800.09/1783.76 v -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 1800.09/1783.76 v -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 -x868 -x869 -x870 1800.09/1783.76 v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 1800.09/1783.76 v -x892 -x893 -x894 -x895 x896 -x897 x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 1800.09/1783.76 v -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 1800.09/1783.76 v -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 -x953 x954 1800.09/1783.76 v x955 -x956 -x957 -x958 -x959 x960 -x961 x962 -x963 x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 1800.09/1783.76 v -x976 -x977 x978 -x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 1800.09/1783.76 v -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x1009 -x1010 -x1011 -x1012 -x1013 -x1014 1800.09/1783.76 v x1015 -x1016 x1017 -x1018 -x1019 -x1020 x1021 x1022 x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 1800.09/1783.76 v -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 x1040 -x1041 x1042 x1043 -x1044 -x1045 -x1046 -x1047 x1048 -x1049 -x1050 1800.09/1783.76 v x1051 x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 1800.09/1783.76 v x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 1800.09/1783.76 v -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 1800.09/1783.76 v -x1103 -x1104 -x1105 x1106 x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 1800.09/1783.76 v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 1800.09/1783.76 v -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 1800.09/1783.76 v -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 1800.09/1783.76 v -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 1800.09/1783.76 v x1189 -x1190 -x1191 x1192 x1193 x1194 x1195 -x1196 x1197 x1198 x1199 x1200 x1201 x1202 x1203 x1204 -x1205 -x1206 -x1207 1800.09/1783.76 v -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 1800.09/1783.76 v -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 -x1238 -x1239 -x1240 -x1241 1800.09/1783.76 v -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 -x1252 -x1253 x1254 -x1255 -x1256 -x1257 -x1258 x1259 1800.09/1783.76 v -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 1800.09/1783.76 v -x1277 -x1278 x1279 -x1280 -x1281 -x1282 x1283 -x1284 -x1285 -x1286 x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 1800.09/1783.76 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 1800.09/1783.76 v x1312 x1313 x1314 x1315 x1316 -x1317 -x1318 x1319 -x1320 -x1321 x1322 -x1323 x1324 x1325 -x1326 -x1327 -x1328 -x1329 -x1330 1800.09/1783.76 v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 1800.09/1783.76 v -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 1800.09/1783.76 v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 x1372 -x1373 -x1374 x1375 -x1376 x1377 -x1378 x1379 x1380 x1381 -x1382 1800.09/1783.76 v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 1800.09/1783.76 v x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 x1410 -x1411 x1412 x1413 x1414 -x1415 -x1416 -x1417 1800.09/1783.76 v -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 1800.09/1783.76 v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 1800.09/1783.76 v -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 x1467 -x1468 1800.09/1783.76 v -x1469 -x1470 -x1471 -x1472 -x1473 x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 1800.09/1783.76 v -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 -x1502 1800.09/1783.76 v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 1800.09/1783.76 v x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 x1528 x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 1800.09/1783.76 v -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 x1554 1800.09/1783.76 v -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 1800.09/1783.76 v -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 x1581 x1582 -x1583 -x1584 x1585 -x1586 x1587 -x1588 -x1589 1800.09/1783.76 v x1590 x1591 -x1592 x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 1800.09/1783.76 v -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 1800.09/1783.76 v -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 1800.09/1783.76 v -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 1800.09/1783.76 v -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 1800.09/1783.76 v -x1676 -x1677 x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 1800.09/1783.76 v -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 x1705 -x1706 -x1707 -x1708 -x1709 1800.09/1783.76 v -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 1800.09/1783.76 v -x1727 x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 1800.09/1783.76 v -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 1800.09/1783.76 v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 1800.09/1783.76 v -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 1800.09/1783.76 v -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 1800.09/1783.76 v -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 1800.09/1783.76 v -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 1800.09/1783.76 v -x1846 -x1847 -x1848 -x1849 -x1850 x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 1800.09/1783.76 v -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 -x1871 -x1872 -x1873 -x1874 -x1875 x1876 -x1877 -x1878 -x1879 -x1880 1800.09/1783.76 v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 1800.09/1783.76 v -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 1800.09/1783.76 v -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 1800.09/1783.76 v -x1932 x1933 -x1934 -x1935 x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 1800.09/1783.76 v -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 1800.09/1783.76 v -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 1800.09/1783.76 v -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 1800.09/1783.76 v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 1800.09/1783.76 v -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 1800.09/1783.76 v -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 1800.09/1783.76 v -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 1800.09/1783.76 v -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 x2077 -x2078 -x2079 x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 1800.09/1783.76 v -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 1800.09/1783.76 v -x2104 x2105 -x2106 -x2107 x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 1800.09/1783.76 v -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 1800.09/1783.76 v -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 1800.09/1783.76 v -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 1800.09/1783.76 v -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 1800.09/1783.76 v -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 x2204 -x2205 -x2206 -x2207 1800.09/1783.76 v -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 1800.09/1783.76 v -x2225 -x2226 -x2227 -x2228 x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 1800.09/1783.76 v -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 x2249 -x2250 -x2251 x2252 -x2253 -x2254 -x2255 -x2256 -x2257 x2258 -x2259 1800.09/1783.76 v x2260 -x2261 -x2262 -x2263 x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 x2272 -x2273 -x2274 x2275 -x2276 -x2277 1800.09/1783.76 v -x2278 -x2279 x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 1800.09/1783.76 v -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 1800.09/1783.76 v -x2312 x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 1800.09/1783.76 v -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 1800.09/1783.76 v -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 1800.09/1783.76 v -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 x2380 -x2381 1800.09/1783.76 v -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 1800.09/1783.76 v -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 x2413 -x2414 -x2415 1800.09/1783.76 v -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 1800.09/1783.76 v -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 1800.09/1783.76 v -x2450 x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 1800.09/1783.76 v -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 1800.09/1783.76 v -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 1800.09/1783.76 v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 1800.09/1783.76 v -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 1800.09/1783.76 v -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 x2546 -x2547 -x2548 -x2549 x2550 -x2551 -x2552 1800.09/1783.76 v -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 1800.09/1783.76 v -x2570 -x2571 -x2572 -x2573 -x2574 1800.09/1783.76 c objective function=9407 1800.09/1783.76 c Total wall clock time (ms): 1783.562
OK 9407
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node12/watcher-351691-1176609587 -o ROOT/results/node12/solver-351691-1176609587 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351691-1176609587/sat4jPseudoCP.jar /tmp/evaluation/351691-1176609587/instance-351691-1176609587.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.03 1.09 1.04 2/77 7755 /proc/meminfo: memFree=1726208/2055920 swapFree=4169356/4192956 [pid=7755] ppid=7753 vsize=152 CPUtime=0 /proc/7755/stat : 7755 (java) D 7753 7755 6923 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 136996111 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 9696036 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/7755/statm: 38 26 19 9 0 4 0 [startup+0.079726 s] /proc/loadavg: 1.03 1.09 1.04 2/77 7755 /proc/meminfo: memFree=1726208/2055920 swapFree=4169356/4192956 [pid=7755] ppid=7753 vsize=1777708 CPUtime=0.06 /proc/7755/stat : 7755 (java) S 7753 7755 6923 0 -1 0 3772 0 1 0 4 2 0 0 18 0 7 0 136996111 1820372992 3514 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0 /proc/7755/statm: 444427 3514 1085 9 0 442063 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1777708 [startup+0.101726 s] /proc/loadavg: 1.03 1.09 1.04 2/77 7755 /proc/meminfo: memFree=1726208/2055920 swapFree=4169356/4192956 [pid=7755] ppid=7753 vsize=1780108 CPUtime=0.08 /proc/7755/stat : 7755 (java) S 7753 7755 6923 0 -1 0 3973 0 1 0 6 2 0 0 18 0 12 0 136996111 1822830592 3714 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7755/statm: 445027 3714 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.301747 s] /proc/loadavg: 1.03 1.09 1.04 2/77 7755 /proc/meminfo: memFree=1726208/2055920 swapFree=4169356/4192956 [pid=7755] ppid=7753 vsize=1781420 CPUtime=0.33 /proc/7755/stat : 7755 (java) S 7753 7755 6923 0 -1 0 5075 0 1 0 29 4 0 0 18 0 12 0 136996111 1824174080 4813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7755/statm: 445355 4813 1267 9 0 442967 0 Current children cumulated CPU time (s) 0.33 Current children cumulated vsize (KiB) 1781420 [startup+0.701785 s] /proc/loadavg: 1.03 1.09 1.04 2/77 7755 /proc/meminfo: memFree=1726208/2055920 swapFree=4169356/4192956 [pid=7755] ppid=7753 vsize=1790008 CPUtime=0.99 /proc/7755/stat : 7755 (java) S 7753 7755 6923 0 -1 0 8441 0 1 0 94 5 0 0 18 0 12 0 136996111 1832968192 7371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7755/statm: 447502 7371 1303 9 0 445114 0 Current children cumulated CPU time (s) 0.99 Current children cumulated vsize (KiB) 1790008 [startup+1.50287 s] /proc/loadavg: 1.18 1.12 1.05 5/90 7768 /proc/meminfo: memFree=1692824/2055920 swapFree=4169356/4192956 [pid=7755] ppid=7753 vsize=1794676 CPUtime=2.54 /proc/7755/stat : 7755 (java) S 7753 7755 6923 0 -1 0 16033 0 1 0 243 11 0 0 18 0 12 0 136996111 1837748224 10629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7755/statm: 448669 10629 1319 9 0 446281 0 [pid=7755/tid=7757] ppid=7753 vsize=1794676 CPUtime=0.75 /proc/7755/task/7757/stat : 7757 (java) R 7753 7755 6923 0 -1 64 6667 0 1 0 70 5 0 0 25 0 12 0 136996113 1837748224 10629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7758] ppid=7753 vsize=1794676 CPUtime=0 /proc/7755/task/7758/stat : 7758 (java) S 7753 7755 6923 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 136996114 1837748224 10629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7759] ppid=7753 vsize=1794676 CPUtime=0 /proc/7755/task/7759/stat : 7759 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 136996114 1837748224 10629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7755/tid=7760] ppid=7753 vsize=1794676 CPUtime=0 /proc/7755/task/7760/stat : 7760 (java) S 7753 7755 6923 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 136996116 1837748224 10629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7761] ppid=7753 vsize=1794676 CPUtime=0 /proc/7755/task/7761/stat : 7761 (java) S 7753 7755 6923 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 136996117 1837748224 10629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7762] ppid=7753 vsize=1794676 CPUtime=0 /proc/7755/task/7762/stat : 7762 (java) S 7753 7755 6923 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 136996117 1837748224 10629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7763] ppid=7753 vsize=1794676 CPUtime=0 /proc/7755/task/7763/stat : 7763 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 136996121 1837748224 10630 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7764] ppid=7753 vsize=1794676 CPUtime=0.97 /proc/7755/task/7764/stat : 7764 (java) R 7753 7755 6923 0 -1 64 4636 0 0 0 95 2 0 0 16 0 12 0 136996121 1837748224 10630 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102172323 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7755/tid=7765] ppid=7753 vsize=1794676 CPUtime=0.79 /proc/7755/task/7765/stat : 7765 (java) R 7753 7755 6923 0 -1 64 4004 0 0 0 77 2 0 0 17 0 12 0 136996121 1837748224 10630 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103237635 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7766] ppid=7753 vsize=1794676 CPUtime=0 /proc/7755/task/7766/stat : 7766 (java) S 7753 7755 6923 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 136996121 1837748224 10630 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7767] ppid=7753 vsize=1794676 CPUtime=0 /proc/7755/task/7767/stat : 7767 (java) S 7753 7755 6923 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 136996121 1837748224 10630 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.54 Current children cumulated vsize (KiB) 1794676 [startup+3.10302 s] /proc/loadavg: 1.18 1.12 1.05 3/90 7772 /proc/meminfo: memFree=1666768/2055920 swapFree=4169356/4192956 [pid=7755] ppid=7753 vsize=1794676 CPUtime=4.74 /proc/7755/stat : 7755 (java) S 7753 7755 6923 0 -1 0 49402 0 1 0 448 26 0 0 18 0 13 0 136996111 1837748224 42273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7755/statm: 448669 42273 1333 9 0 446281 0 [pid=7755/tid=7757] ppid=7753 vsize=1794676 CPUtime=2.05 /proc/7755/task/7757/stat : 7757 (java) R 7753 7755 6923 0 -1 64 37749 0 1 0 186 19 0 0 20 0 13 0 136996113 1837748224 42273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109558270 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7758] ppid=7753 vsize=1794676 CPUtime=0 /proc/7755/task/7758/stat : 7758 (java) S 7753 7755 6923 0 -1 64 283 0 0 0 0 0 0 0 16 0 13 0 136996114 1837748224 42273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7759] ppid=7753 vsize=1794676 CPUtime=0 /proc/7755/task/7759/stat : 7759 (java) S 7753 7755 6923 0 -1 64 216 0 0 0 0 0 0 0 16 0 13 0 136996114 1837748224 42273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7755/tid=7760] ppid=7753 vsize=1794676 CPUtime=0 /proc/7755/task/7760/stat : 7760 (java) S 7753 7755 6923 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 136996116 1837748224 42273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7761] ppid=7753 vsize=1794676 CPUtime=0 /proc/7755/task/7761/stat : 7761 (java) S 7753 7755 6923 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 136996117 1837748224 42273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7762] ppid=7753 vsize=1794676 CPUtime=0 /proc/7755/task/7762/stat : 7762 (java) S 7753 7755 6923 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 136996117 1837748224 42273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7763] ppid=7753 vsize=1794676 CPUtime=0 /proc/7755/task/7763/stat : 7763 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 136996121 1837748224 42273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7764] ppid=7753 vsize=1794676 CPUtime=1.36 /proc/7755/task/7764/stat : 7764 (java) S 7753 7755 6923 0 -1 64 5116 0 0 0 134 2 0 0 16 0 13 0 136996121 1837748224 42273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7755/tid=7765] ppid=7753 vsize=1794676 CPUtime=1.27 /proc/7755/task/7765/stat : 7765 (java) S 7753 7755 6923 0 -1 64 5306 0 0 0 124 3 0 0 16 0 13 0 136996121 1837748224 42273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7766] ppid=7753 vsize=1794676 CPUtime=0 /proc/7755/task/7766/stat : 7766 (java) S 7753 7755 6923 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 136996121 1837748224 42273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7767] ppid=7753 vsize=1794676 CPUtime=0 /proc/7755/task/7767/stat : 7767 (java) S 7753 7755 6923 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 136996121 1837748224 42273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7772] ppid=7753 vsize=1794676 CPUtime=0 /proc/7755/task/7772/stat : 7772 (java) S 7753 7755 6923 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 136996314 1837748224 42273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.74 Current children cumulated vsize (KiB) 1794676 [startup+6.30135 s] /proc/loadavg: 1.18 1.12 1.05 3/90 7772 /proc/meminfo: memFree=1541200/2055920 swapFree=4169356/4192956 [pid=7755] ppid=7753 vsize=1794516 CPUtime=8.37 /proc/7755/stat : 7755 (java) S 7753 7755 6923 0 -1 0 58583 0 1 0 808 29 0 0 18 0 13 0 136996111 1837584384 49001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7755/statm: 448629 49001 1333 9 0 446241 0 [pid=7755/tid=7757] ppid=7753 vsize=1794516 CPUtime=5.07 /proc/7755/task/7757/stat : 7757 (java) R 7753 7755 6923 0 -1 64 43364 0 1 0 485 22 0 0 25 0 13 0 136996113 1837584384 49001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109901949 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7758] ppid=7753 vsize=1794516 CPUtime=0.05 /proc/7755/task/7758/stat : 7758 (java) S 7753 7755 6923 0 -1 64 1156 0 0 0 5 0 0 0 16 0 13 0 136996114 1837584384 49001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7759] ppid=7753 vsize=1794516 CPUtime=0.05 /proc/7755/task/7759/stat : 7759 (java) S 7753 7755 6923 0 -1 64 1011 0 0 0 5 0 0 0 16 0 13 0 136996114 1837584384 49001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7755/tid=7760] ppid=7753 vsize=1794516 CPUtime=0 /proc/7755/task/7760/stat : 7760 (java) S 7753 7755 6923 0 -1 64 25 0 0 0 0 0 0 0 17 0 13 0 136996116 1837584384 49001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7755/tid=7761] ppid=7753 vsize=1794516 CPUtime=0 /proc/7755/task/7761/stat : 7761 (java) S 7753 7755 6923 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 136996117 1837584384 49001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7762] ppid=7753 vsize=1794516 CPUtime=0 /proc/7755/task/7762/stat : 7762 (java) S 7753 7755 6923 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 136996117 1837584384 49001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7763] ppid=7753 vsize=1794516 CPUtime=0 /proc/7755/task/7763/stat : 7763 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 136996121 1837584384 49001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7764] ppid=7753 vsize=1794516 CPUtime=1.61 /proc/7755/task/7764/stat : 7764 (java) S 7753 7755 6923 0 -1 64 6053 0 0 0 159 2 0 0 16 0 13 0 136996121 1837584384 49001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7765] ppid=7753 vsize=1794516 CPUtime=1.54 /proc/7755/task/7765/stat : 7765 (java) S 7753 7755 6923 0 -1 64 6250 0 0 0 151 3 0 0 16 0 13 0 136996121 1837584384 49001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7755/tid=7766] ppid=7753 vsize=1794516 CPUtime=0 /proc/7755/task/7766/stat : 7766 (java) S 7753 7755 6923 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 136996121 1837584384 49001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7767] ppid=7753 vsize=1794516 CPUtime=0 /proc/7755/task/7767/stat : 7767 (java) S 7753 7755 6923 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 136996121 1837584384 49001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7772] ppid=7753 vsize=1794516 CPUtime=0 /proc/7755/task/7772/stat : 7772 (java) S 7753 7755 6923 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 136996314 1837584384 49001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 8.37 Current children cumulated vsize (KiB) 1794516 [startup+12.702 s] /proc/loadavg: 1.15 1.11 1.05 2/90 7774 /proc/meminfo: memFree=1526336/2055920 swapFree=4169356/4192956 [pid=7755] ppid=7753 vsize=1794260 CPUtime=15.03 /proc/7755/stat : 7755 (java) S 7753 7755 6923 0 -1 0 62906 0 1 0 1471 32 0 0 18 0 13 0 136996111 1837322240 50486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7755/statm: 448565 50486 1334 9 0 446177 0 [pid=7755/tid=7757] ppid=7753 vsize=1794260 CPUtime=11.38 /proc/7755/task/7757/stat : 7757 (java) R 7753 7755 6923 0 -1 64 46667 0 1 0 1115 23 0 0 18 0 13 0 136996113 1837322240 50486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109901577 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7755/tid=7758] ppid=7753 vsize=1794260 CPUtime=0.09 /proc/7755/task/7758/stat : 7758 (java) S 7753 7755 6923 0 -1 64 1675 0 0 0 9 0 0 0 16 0 13 0 136996114 1837322240 50486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7759] ppid=7753 vsize=1794260 CPUtime=0.09 /proc/7755/task/7759/stat : 7759 (java) S 7753 7755 6923 0 -1 64 1494 0 0 0 9 0 0 0 16 0 13 0 136996114 1837322240 50486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7755/tid=7760] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7760/stat : 7760 (java) S 7753 7755 6923 0 -1 64 25 0 0 0 0 0 0 0 16 0 13 0 136996116 1837322240 50486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7761] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7761/stat : 7761 (java) S 7753 7755 6923 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 136996117 1837322240 50486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7762] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7762/stat : 7762 (java) S 7753 7755 6923 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 136996117 1837322240 50486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7763] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7763/stat : 7763 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 136996121 1837322240 50486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7764] ppid=7753 vsize=1794260 CPUtime=1.69 /proc/7755/task/7764/stat : 7764 (java) S 7753 7755 6923 0 -1 64 6058 0 0 0 167 2 0 0 16 0 13 0 136996121 1837322240 50486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7765] ppid=7753 vsize=1794260 CPUtime=1.71 /proc/7755/task/7765/stat : 7765 (java) S 7753 7755 6923 0 -1 64 6260 0 0 0 168 3 0 0 16 0 13 0 136996121 1837322240 50486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7766] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7766/stat : 7766 (java) S 7753 7755 6923 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 136996121 1837322240 50486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7767] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7767/stat : 7767 (java) S 7753 7755 6923 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 136996121 1837322240 50486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7774] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7774/stat : 7774 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 136997228 1837322240 50486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 15.03 Current children cumulated vsize (KiB) 1794260 [startup+25.5023 s] /proc/loadavg: 1.13 1.11 1.05 2/90 7775 /proc/meminfo: memFree=1545592/2055920 swapFree=4169356/4192956 [pid=7755] ppid=7753 vsize=1794260 CPUtime=27.94 /proc/7755/stat : 7755 (java) S 7753 7755 6923 0 -1 0 64131 0 1 0 2761 33 0 0 18 0 13 0 136996111 1837322240 46268 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7755/statm: 448565 46268 1334 9 0 446177 0 [pid=7755/tid=7757] ppid=7753 vsize=1794260 CPUtime=24.1 /proc/7755/task/7757/stat : 7757 (java) R 7753 7755 6923 0 -1 64 46722 0 1 0 2386 24 0 0 18 0 13 0 136996113 1837322240 46268 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109557621 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7755/tid=7758] ppid=7753 vsize=1794260 CPUtime=0.15 /proc/7755/task/7758/stat : 7758 (java) S 7753 7755 6923 0 -1 64 2258 0 0 0 15 0 0 0 16 0 13 0 136996114 1837322240 46268 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7759] ppid=7753 vsize=1794260 CPUtime=0.14 /proc/7755/task/7759/stat : 7759 (java) S 7753 7755 6923 0 -1 64 2073 0 0 0 14 0 0 0 16 0 13 0 136996114 1837322240 46268 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7755/tid=7760] ppid=7753 vsize=1794260 CPUtime=0.02 /proc/7755/task/7760/stat : 7760 (java) S 7753 7755 6923 0 -1 64 25 0 0 0 1 1 0 0 15 0 13 0 136996116 1837322240 46268 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=7755/tid=7760] ppid=7753 vsize=1794260 CPUtime=0.95 /proc/7755/task/7760/stat : 7760 (java) S 7753 7755 6923 0 -1 64 457 0 0 0 50 45 0 0 16 0 13 0 136996116 1837322240 146610 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7755/tid=7761] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7761/stat : 7761 (java) S 7753 7755 6923 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 136996117 1837322240 146610 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7762] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7762/stat : 7762 (java) S 7753 7755 6923 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 136996117 1837322240 146610 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7763] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7763/stat : 7763 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 136996121 1837322240 146610 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7764] ppid=7753 vsize=1794260 CPUtime=1.77 /proc/7755/task/7764/stat : 7764 (java) S 7753 7755 6923 0 -1 64 6061 0 0 0 175 2 0 0 17 0 13 0 136996121 1837322240 146610 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7765] ppid=7753 vsize=1794260 CPUtime=1.77 /proc/7755/task/7765/stat : 7765 (java) S 7753 7755 6923 0 -1 64 6266 0 0 0 174 3 0 0 17 0 13 0 136996121 1837322240 146610 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7766] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7766/stat : 7766 (java) S 7753 7755 6923 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 136996121 1837322240 146610 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7767] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7767/stat : 7767 (java) S 7753 7755 6923 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 136996121 1837322240 146610 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7755/tid=7842] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7842/stat : 7842 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 137003903 1837322240 146610 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1617.04 Current children cumulated vsize (KiB) 1794260 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 7974 /proc/meminfo: memFree=1143664/2055920 swapFree=4169356/4192956 [pid=7755] ppid=7753 vsize=1794260 CPUtime=1677.58 /proc/7755/stat : 7755 (java) S 7753 7755 6923 0 -1 0 331717 0 1 0 167527 231 0 0 18 0 13 0 136996111 1837322240 146384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7755/statm: 448565 146384 1334 9 0 446177 0 [pid=7755/tid=7757] ppid=7753 vsize=1794260 CPUtime=1644.6 /proc/7755/task/7757/stat : 7757 (java) R 7753 7755 6923 0 -1 64 166419 0 1 0 164365 95 0 0 25 0 13 0 136996113 1837322240 146384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109558059 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7758] ppid=7753 vsize=1794260 CPUtime=14.21 /proc/7755/task/7758/stat : 7758 (java) S 7753 7755 6923 0 -1 64 79063 0 0 0 1380 41 0 0 16 0 13 0 136996114 1837322240 146384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7755/tid=7759] ppid=7753 vsize=1794260 CPUtime=14.18 /proc/7755/task/7759/stat : 7759 (java) S 7753 7755 6923 0 -1 64 72702 0 0 0 1379 39 0 0 15 0 13 0 136996114 1837322240 146384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7760] ppid=7753 vsize=1794260 CPUtime=0.97 /proc/7755/task/7760/stat : 7760 (java) S 7753 7755 6923 0 -1 64 476 0 0 0 51 46 0 0 16 0 13 0 136996116 1837322240 146384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7755/tid=7761] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7761/stat : 7761 (java) S 7753 7755 6923 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 136996117 1837322240 146384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7762] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7762/stat : 7762 (java) S 7753 7755 6923 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 136996117 1837322240 146384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7763] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7763/stat : 7763 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 136996121 1837322240 146384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7764] ppid=7753 vsize=1794260 CPUtime=1.77 /proc/7755/task/7764/stat : 7764 (java) S 7753 7755 6923 0 -1 64 6061 0 0 0 175 2 0 0 17 0 13 0 136996121 1837322240 146384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7765] ppid=7753 vsize=1794260 CPUtime=1.77 /proc/7755/task/7765/stat : 7765 (java) S 7753 7755 6923 0 -1 64 6266 0 0 0 174 3 0 0 17 0 13 0 136996121 1837322240 146384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7766] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7766/stat : 7766 (java) S 7753 7755 6923 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 136996121 1837322240 146384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7767] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7767/stat : 7767 (java) S 7753 7755 6923 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 136996121 1837322240 146384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7842] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7842/stat : 7842 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 137003903 1837322240 146384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1677.58 Current children cumulated vsize (KiB) 1794260 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 7974 /proc/meminfo: memFree=1122224/2055920 swapFree=4169356/4192956 [pid=7755] ppid=7753 vsize=1794260 CPUtime=1738.11 /proc/7755/stat : 7755 (java) S 7753 7755 6923 0 -1 0 343660 0 1 0 173572 239 0 0 18 0 13 0 136996111 1837322240 151546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7755/statm: 448565 151546 1334 9 0 446177 0 [pid=7755/tid=7757] ppid=7753 vsize=1794260 CPUtime=1703.99 /proc/7755/task/7757/stat : 7757 (java) R 7753 7755 6923 0 -1 64 172543 0 1 0 170300 99 0 0 25 0 13 0 136996113 1837322240 151546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109557659 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7758] ppid=7753 vsize=1794260 CPUtime=14.77 /proc/7755/task/7758/stat : 7758 (java) S 7753 7755 6923 0 -1 64 81799 0 0 0 1435 42 0 0 16 0 13 0 136996114 1837322240 151546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7755/tid=7759] ppid=7753 vsize=1794260 CPUtime=14.74 /proc/7755/task/7759/stat : 7759 (java) S 7753 7755 6923 0 -1 64 75760 0 0 0 1432 42 0 0 16 0 13 0 136996114 1837322240 151546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7760] ppid=7753 vsize=1794260 CPUtime=1 /proc/7755/task/7760/stat : 7760 (java) S 7753 7755 6923 0 -1 64 501 0 0 0 52 48 0 0 16 0 13 0 136996116 1837322240 151546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7761] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7761/stat : 7761 (java) S 7753 7755 6923 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 136996117 1837322240 151546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7762] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7762/stat : 7762 (java) S 7753 7755 6923 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 136996117 1837322240 151546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7763] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7763/stat : 7763 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 136996121 1837322240 151546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7764] ppid=7753 vsize=1794260 CPUtime=1.77 /proc/7755/task/7764/stat : 7764 (java) S 7753 7755 6923 0 -1 64 6061 0 0 0 175 2 0 0 17 0 13 0 136996121 1837322240 151546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7765] ppid=7753 vsize=1794260 CPUtime=1.77 /proc/7755/task/7765/stat : 7765 (java) S 7753 7755 6923 0 -1 64 6266 0 0 0 174 3 0 0 17 0 13 0 136996121 1837322240 151546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7766] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7766/stat : 7766 (java) S 7753 7755 6923 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 136996121 1837322240 151546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7767] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7767/stat : 7767 (java) S 7753 7755 6923 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 136996121 1837322240 151546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7755/tid=7842] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7842/stat : 7842 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 137003903 1837322240 151546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1738.11 Current children cumulated vsize (KiB) 1794260 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 7974 /proc/meminfo: memFree=1099184/2055920 swapFree=4169356/4192956 [pid=7755] ppid=7753 vsize=1794260 CPUtime=1798.67 /proc/7755/stat : 7755 (java) S 7753 7755 6923 0 -1 0 356798 0 1 0 179620 247 0 0 18 0 13 0 136996111 1837322240 158873 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7755/statm: 448565 158875 1334 9 0 446177 0 [pid=7755/tid=7757] ppid=7753 vsize=1794260 CPUtime=1763.34 /proc/7755/task/7757/stat : 7757 (java) R 7753 7755 6923 0 -1 64 179269 0 1 0 176233 101 0 0 25 0 13 0 136996113 1837322240 158877 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109557628 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7758] ppid=7753 vsize=1794260 CPUtime=15.36 /proc/7755/task/7758/stat : 7758 (java) S 7753 7755 6923 0 -1 64 84785 0 0 0 1492 44 0 0 17 0 13 0 136996114 1837322240 158880 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7755/tid=7759] ppid=7753 vsize=1794260 CPUtime=15.33 /proc/7755/task/7759/stat : 7759 (java) S 7753 7755 6923 0 -1 64 79174 0 0 0 1489 44 0 0 16 0 13 0 136996114 1837322240 158882 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7760] ppid=7753 vsize=1794260 CPUtime=1.03 /proc/7755/task/7760/stat : 7760 (java) S 7753 7755 6923 0 -1 64 517 0 0 0 54 49 0 0 16 0 13 0 136996116 1837322240 158884 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7755/tid=7761] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7761/stat : 7761 (java) S 7753 7755 6923 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 136996117 1837322240 158887 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7762] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7762/stat : 7762 (java) S 7753 7755 6923 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 136996117 1837322240 158890 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7763] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7763/stat : 7763 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 136996121 1837322240 158892 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7764] ppid=7753 vsize=1794260 CPUtime=1.77 /proc/7755/task/7764/stat : 7764 (java) S 7753 7755 6923 0 -1 64 6061 0 0 0 175 2 0 0 17 0 13 0 136996121 1837322240 158895 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7765] ppid=7753 vsize=1794260 CPUtime=1.77 /proc/7755/task/7765/stat : 7765 (java) S 7753 7755 6923 0 -1 64 6266 0 0 0 174 3 0 0 17 0 13 0 136996121 1837322240 158898 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7766] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7766/stat : 7766 (java) S 7753 7755 6923 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 136996121 1837322240 158900 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7767] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7767/stat : 7767 (java) S 7753 7755 6923 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 136996121 1837322240 158903 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7755/tid=7842] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7842/stat : 7842 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 137003903 1837322240 158905 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.67 Current children cumulated vsize (KiB) 1794260 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1783.7 s] /proc/loadavg: 1.00 1.00 1.00 2/90 7974 /proc/meminfo: memFree=1092592/2055920 swapFree=4169356/4192956 [pid=7755] ppid=7753 vsize=1794260 CPUtime=1800.09 /proc/7755/stat : 7755 (java) S 7753 7755 6923 0 -1 0 357070 0 1 0 179762 247 0 0 18 0 13 0 136996111 1837322240 159141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7755/statm: 448565 159141 1334 9 0 446177 0 [pid=7755/tid=7757] ppid=7753 vsize=1794260 CPUtime=1764.73 /proc/7755/task/7757/stat : 7757 (java) R 7753 7755 6923 0 -1 64 179535 0 1 0 176372 101 0 0 25 0 13 0 136996113 1837322240 159141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109558043 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7758] ppid=7753 vsize=1794260 CPUtime=15.38 /proc/7755/task/7758/stat : 7758 (java) S 7753 7755 6923 0 -1 64 84785 0 0 0 1494 44 0 0 16 0 13 0 136996114 1837322240 159141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7755/tid=7759] ppid=7753 vsize=1794260 CPUtime=15.34 /proc/7755/task/7759/stat : 7759 (java) S 7753 7755 6923 0 -1 64 79176 0 0 0 1490 44 0 0 16 0 13 0 136996114 1837322240 159141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7760] ppid=7753 vsize=1794260 CPUtime=1.03 /proc/7755/task/7760/stat : 7760 (java) S 7753 7755 6923 0 -1 64 517 0 0 0 54 49 0 0 15 0 13 0 136996116 1837322240 159141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7761] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7761/stat : 7761 (java) S 7753 7755 6923 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 136996117 1837322240 159141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7762] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7762/stat : 7762 (java) S 7753 7755 6923 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 136996117 1837322240 159141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7763] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7763/stat : 7763 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 136996121 1837322240 159141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7764] ppid=7753 vsize=1794260 CPUtime=1.77 /proc/7755/task/7764/stat : 7764 (java) S 7753 7755 6923 0 -1 64 6061 0 0 0 175 2 0 0 17 0 13 0 136996121 1837322240 159141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7765] ppid=7753 vsize=1794260 CPUtime=1.77 /proc/7755/task/7765/stat : 7765 (java) S 7753 7755 6923 0 -1 64 6266 0 0 0 174 3 0 0 17 0 13 0 136996121 1837322240 159141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7766] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7766/stat : 7766 (java) S 7753 7755 6923 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 136996121 1837322240 159141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7755/tid=7767] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7767/stat : 7767 (java) S 7753 7755 6923 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 136996121 1837322240 159141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7755/tid=7842] ppid=7753 vsize=1794260 CPUtime=0 /proc/7755/task/7842/stat : 7842 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 137003903 1837322240 159141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1794260 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1783.81 s] /proc/loadavg: 1.00 1.00 1.00 2/90 7974 /proc/meminfo: memFree=1092592/2055920 swapFree=4169356/4192956 [pid=7755] ppid=7753 vsize=0 CPUtime=1800.25 /proc/7755/stat : 7755 (java) Z 7753 7755 6923 0 -1 1036 357088 0 1 0 179775 250 0 0 15 0 2 0 136996111 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7755/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1783.89 CPU time (s): 1800.34 CPU user time (s): 1797.76 CPU system time (s): 2.57861 CPU usage (%): 100.922 Max. virtual memory (cumulated for all children) (KiB): 1797180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.76 system time used= 2.57861 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 357088 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= 78729 involuntary context switches= 60154 runsolver used 1.85072 second user time and 5.87111 second system time The end
Begin job on node12 on Sun Apr 15 03:59:47 UTC 2007 IDJOB= 351691 IDBENCH= 1791 IDSOLVER= 160 FILE ID= node12/351691-1176609587 PBS_JOBID= 4556823 Free space on /tmp= 66430 MiB SOLVER NAME= sat4jPseudoCP 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-fiber.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351691-1176609587/sat4jPseudoCP.jar /tmp/evaluation/351691-1176609587/instance-351691-1176609587.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-351691-1176609587 -o ROOT/results/node12/solver-351691-1176609587 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351691-1176609587/sat4jPseudoCP.jar /tmp/evaluation/351691-1176609587/instance-351691-1176609587.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 32662df0ae948242aace0258625ea4cc RANDOM SEED= 28322837 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node12.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.239 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.239 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: 1726616 kB Buffers: 42276 kB Cached: 209876 kB SwapCached: 2576 kB Active: 130332 kB Inactive: 145580 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1726616 kB SwapTotal: 4192956 kB SwapFree: 4169356 kB Dirty: 3712 kB Writeback: 0 kB Mapped: 31064 kB Slab: 38928 kB Committed_AS: 4171864 kB PageTables: 1792 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= 66430 MiB End job on node12 on Sun Apr 15 04:29:33 UTC 2007