Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
sat4jPseudoCP 2007-03-23 | SAT | 1242.45 | 1220.3 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin10.opb |
MD5SUM | 93a881e30e7c33fefd66d9521eb49849 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.708891 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 2025 |
Total number of constraints | 410 |
Number of constraints which are clauses | 180 |
Number of constraints which are cardinality constraints (but not clauses) | 230 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 45 |
Maximum length of a constraint | 81 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 83 |
Number of bits of the biggest sum of numbers | 7 |
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.13 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.09/0.13 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.09/0.13 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.09/0.14 c no version file found!!! 0.09/0.14 c sun.arch.data.model 32 0.09/0.14 c java.version 1.6.0 0.09/0.14 c os.name Linux 0.09/0.14 c os.version 2.6.9-22.EL.rootsmp 0.09/0.14 c os.arch i386 0.09/0.14 c Free memory 1651659224 0.09/0.14 c Max memory 1654456320 0.09/0.14 c Total memory 1654456320 0.09/0.14 c Number of processors 2 0.09/0.19 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolver) 0.09/0.19 --- Begin Solver configuration --- 0.09/0.19 c Stops conflict analysis at the first Unique Implication Point 0.09/0.19 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.09/0.19 c Learn all clauses as in MiniSAT 0.09/0.19 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.09/0.19 c VSIDS like heuristics from MiniSAT using a heap 0.09/0.19 c No reason simplification 0.09/0.19 c --- End Solver configuration --- 0.09/0.19 c solving /tmp/evaluation/357596-1176829794/instance-357596-1176829794.opb 0.09/0.19 c reading problem ... 1.33/0.93 c ... done. Wall clock time 0.733s. 1.33/0.93 c CPU time (experimental) 0.57s. 1.33/0.93 c #vars 2025 1.33/0.93 c #constraints 410 1242.24/1220.15 c starts : 2 1242.24/1220.15 c conflicts : 5925 1242.24/1220.15 c decisions : 21920 1242.24/1220.15 c propagations : 408860 1242.24/1220.15 c inspects : 18680322 1242.24/1220.15 c learnt literals : 0 1242.24/1220.15 c learnt binary clauses : 0 1242.24/1220.15 c learnt ternary clauses : 0 1242.24/1220.15 c learnt clauses : 5925 1242.24/1220.15 c root simplifications : 0 1242.24/1220.15 c removed literals (reason simplification) : 0 1242.24/1220.15 c reason swapping (by a shorter reason) : 0 1242.24/1220.15 c Calls to reduceDB : 0 1242.24/1220.15 c speed (decisions/second) : 17.978692952303152 1242.24/1220.15 c non guided choices 325 1242.24/1220.15 s SATISFIABLE 1242.24/1220.17 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 1242.24/1220.17 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 1242.24/1220.17 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1242.24/1220.17 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1242.24/1220.17 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1242.24/1220.17 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 1242.24/1220.17 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1242.24/1220.17 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1242.24/1220.17 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1242.24/1220.17 v -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1242.24/1220.17 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1242.24/1220.17 v -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1242.24/1220.17 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1242.24/1220.17 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1242.24/1220.17 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1242.24/1220.17 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1242.24/1220.17 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1242.24/1220.17 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1242.24/1220.17 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1242.24/1220.17 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1242.24/1220.17 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1242.24/1220.17 v -x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1242.24/1220.17 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1242.24/1220.17 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1242.24/1220.17 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1242.24/1220.17 v -x546 -x547 -x548 -x549 -x550 -x551 x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1242.24/1220.17 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1242.24/1220.17 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1242.24/1220.17 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 -x626 -x627 -x628 -x629 1242.24/1220.17 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1242.24/1220.17 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1242.24/1220.17 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1242.24/1220.17 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1242.24/1220.17 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1242.24/1220.17 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1242.24/1220.17 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1242.24/1220.17 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 x797 1242.24/1220.17 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1242.24/1220.17 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1242.24/1220.17 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 x858 -x859 -x860 1242.24/1220.17 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1242.24/1220.17 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1242.24/1220.17 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1242.24/1220.17 v -x924 -x925 -x926 -x927 x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1242.24/1220.17 v -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1242.24/1220.17 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1242.24/1220.17 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1242.24/1220.17 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1242.24/1220.17 v -x1023 -x1024 -x1025 -x1026 -x1027 x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1242.24/1220.17 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1242.24/1220.17 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 1242.24/1220.17 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1242.24/1220.17 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1242.24/1220.17 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1242.24/1220.17 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1242.24/1220.17 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1242.24/1220.17 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1242.24/1220.17 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1242.24/1220.17 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1242.24/1220.17 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1242.24/1220.17 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 1242.24/1220.17 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 1242.24/1220.17 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 1242.24/1220.17 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 x1289 -x1290 -x1291 -x1292 -x1293 -x1294 1242.24/1220.17 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 1242.24/1220.17 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 1242.24/1220.17 v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 1242.24/1220.17 v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 1242.24/1220.17 v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1242.24/1220.17 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 x1392 -x1393 -x1394 -x1395 -x1396 1242.24/1220.17 v x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 1242.24/1220.17 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 1242.24/1220.17 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 1242.24/1220.17 v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 1242.24/1220.17 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 1242.24/1220.17 v -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 1242.24/1220.17 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 x1510 -x1511 -x1512 -x1513 -x1514 -x1515 1242.24/1220.17 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 1242.24/1220.17 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1242.24/1220.17 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 1242.24/1220.17 v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 1242.24/1220.17 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 1242.24/1220.17 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 x1616 -x1617 1242.24/1220.17 v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 1242.24/1220.17 v -x1635 -x1636 -x1637 -x1638 x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 1242.24/1220.17 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 1242.24/1220.17 v -x1669 -x1670 -x1671 x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 1242.24/1220.17 v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 1242.24/1220.17 v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 1242.24/1220.17 v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 1242.24/1220.17 v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 1242.24/1220.17 v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 1242.24/1220.17 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 1242.24/1220.17 v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 x1804 1242.24/1220.17 v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 1242.24/1220.17 v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 1242.24/1220.17 v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 1242.24/1220.17 v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1242.24/1220.17 v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 1242.24/1220.17 v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 1242.24/1220.17 v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 1242.24/1220.17 v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 1242.24/1220.17 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 1242.24/1220.17 v x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 1242.24/1220.17 v -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 1242.24/1220.17 v -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 1242.24/1220.17 v -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 x2024 -x2025 1242.24/1220.17 c Total wall clock time (ms): 1219.98
OK 0
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node70/watcher-357596-1176829794 -o ROOT/results/node70/solver-357596-1176829794 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/357596-1176829794/sat4jPseudoCP.jar /tmp/evaluation/357596-1176829794/instance-357596-1176829794.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.01 1.00 1.00 3/64 12278 /proc/meminfo: memFree=1676320/2055920 swapFree=4183760/4192956 [pid=12278] ppid=12276 vsize=152 CPUtime=0 /proc/12278/stat : 12278 (java) R 12276 12278 11437 0 -1 0 204 0 0 0 0 0 0 0 18 0 1 0 122516794 155648 26 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 8413988 0 0 4096 0 0 0 0 17 1 0 0 /proc/12278/statm: 38 26 19 9 0 4 0 [startup+0.070356 s] /proc/loadavg: 1.01 1.00 1.00 3/64 12278 /proc/meminfo: memFree=1676320/2055920 swapFree=4183760/4192956 [pid=12278] ppid=12276 vsize=1777708 CPUtime=0.06 /proc/12278/stat : 12278 (java) S 12276 12278 11437 0 -1 0 3754 0 1 0 4 2 0 0 18 0 7 0 122516794 1820372992 3497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/12278/statm: 444427 3497 1082 9 0 442063 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1777708 [startup+0.101367 s] /proc/loadavg: 1.01 1.00 1.00 3/64 12278 /proc/meminfo: memFree=1676320/2055920 swapFree=4183760/4192956 [pid=12278] ppid=12276 vsize=1780256 CPUtime=0.09 /proc/12278/stat : 12278 (java) S 12276 12278 11437 0 -1 0 4020 0 1 0 7 2 0 0 18 0 12 0 122516794 1822982144 3762 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12278/statm: 445064 3762 1124 9 0 442683 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1780256 [startup+0.301379 s] /proc/loadavg: 1.01 1.00 1.00 3/64 12278 /proc/meminfo: memFree=1676320/2055920 swapFree=4183760/4192956 [pid=12278] ppid=12276 vsize=1782444 CPUtime=0.31 /proc/12278/stat : 12278 (java) S 12276 12278 11437 0 -1 0 5188 0 1 0 28 3 0 0 18 0 12 0 122516794 1825222656 4927 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12278/statm: 445611 4927 1264 9 0 443223 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 1782444 [startup+0.701424 s] /proc/loadavg: 1.01 1.00 1.00 3/64 12278 /proc/meminfo: memFree=1676320/2055920 swapFree=4183760/4192956 [pid=12278] ppid=12276 vsize=1786088 CPUtime=0.95 /proc/12278/stat : 12278 (java) S 12276 12278 11437 0 -1 0 8059 0 1 0 90 5 0 0 18 0 12 0 122516794 1828954112 7301 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12278/statm: 446522 7301 1308 9 0 444134 0 Current children cumulated CPU time (s) 0.95 Current children cumulated vsize (KiB) 1786088 [startup+1.5025 s] /proc/loadavg: 1.01 1.00 1.00 4/77 12291 /proc/meminfo: memFree=1645240/2055920 swapFree=4183760/4192956 [pid=12278] ppid=12276 vsize=1785720 CPUtime=2.25 /proc/12278/stat : 12278 (java) S 12276 12278 11437 0 -1 0 23739 0 1 0 211 14 0 0 18 0 13 0 122516794 1828577280 22151 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12278/statm: 446430 22151 1317 9 0 444042 0 [pid=12278/tid=12280] ppid=12276 vsize=1785720 CPUtime=1.01 /proc/12278/task/12280/stat : 12280 (java) R 12276 12278 11437 0 -1 64 20406 0 1 0 90 11 0 0 19 0 13 0 122516795 1828577280 22151 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109714536 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12281] ppid=12276 vsize=1785720 CPUtime=0 /proc/12278/task/12281/stat : 12281 (java) S 12276 12278 11437 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 122516796 1828577280 22151 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12282] ppid=12276 vsize=1785720 CPUtime=0 /proc/12278/task/12282/stat : 12282 (java) S 12276 12278 11437 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 122516796 1828577280 22151 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12283] ppid=12276 vsize=1785720 CPUtime=0 /proc/12278/task/12283/stat : 12283 (java) S 12276 12278 11437 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 122516799 1828577280 22151 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12284] ppid=12276 vsize=1785720 CPUtime=0 /proc/12278/task/12284/stat : 12284 (java) S 12276 12278 11437 0 -1 64 10 0 0 0 0 0 0 0 21 0 13 0 122516799 1828577280 22151 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12285] ppid=12276 vsize=1785720 CPUtime=0 /proc/12278/task/12285/stat : 12285 (java) S 12276 12278 11437 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 122516799 1828577280 22151 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12286] ppid=12276 vsize=1785720 CPUtime=0 /proc/12278/task/12286/stat : 12286 (java) S 12276 12278 11437 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 122516803 1828577280 22151 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12287] ppid=12276 vsize=1785720 CPUtime=0.49 /proc/12278/task/12287/stat : 12287 (java) S 12276 12278 11437 0 -1 64 959 0 0 0 49 0 0 0 16 0 13 0 122516803 1828577280 22151 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12288] ppid=12276 vsize=1785720 CPUtime=0.7 /proc/12278/task/12288/stat : 12288 (java) S 12276 12278 11437 0 -1 64 1648 0 0 0 70 0 0 0 16 0 13 0 122516803 1828577280 22151 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12289] ppid=12276 vsize=1785720 CPUtime=0 /proc/12278/task/12289/stat : 12289 (java) S 12276 12278 11437 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 122516803 1828577280 22151 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12290] ppid=12276 vsize=1785720 CPUtime=0 /proc/12278/task/12290/stat : 12290 (java) S 12276 12278 11437 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 122516803 1828577280 22151 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12291] ppid=12276 vsize=1785720 CPUtime=0 /proc/12278/task/12291/stat : 12291 (java) S 12276 12278 11437 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 122516888 1828577280 22151 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.25 Current children cumulated vsize (KiB) 1785720 [startup+3.10274 s] /proc/loadavg: 1.09 1.02 1.01 4/77 12291 /proc/meminfo: memFree=1530872/2055920 swapFree=4183760/4192956 [pid=12278] ppid=12276 vsize=1796552 CPUtime=5.02 /proc/12278/stat : 12278 (java) S 12276 12278 11437 0 -1 0 51686 0 1 0 474 28 0 0 18 0 13 0 122516794 1839669248 43143 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12278/statm: 449138 43143 1329 9 0 446750 0 [pid=12278/tid=12280] ppid=12276 vsize=1796552 CPUtime=2.09 /proc/12278/task/12280/stat : 12280 (java) R 12276 12278 11437 0 -1 64 37740 0 1 0 189 20 0 0 16 0 13 0 122516795 1839669248 43143 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109714751 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12281] ppid=12276 vsize=1796552 CPUtime=0 /proc/12278/task/12281/stat : 12281 (java) S 12276 12278 11437 0 -1 64 237 0 0 0 0 0 0 0 16 0 13 0 122516796 1839669248 43143 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12282] ppid=12276 vsize=1796552 CPUtime=0.01 /proc/12278/task/12282/stat : 12282 (java) S 12276 12278 11437 0 -1 64 492 0 0 0 1 0 0 0 15 0 13 0 122516796 1839669248 43143 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12283] ppid=12276 vsize=1796552 CPUtime=0 /proc/12278/task/12283/stat : 12283 (java) S 12276 12278 11437 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 122516799 1839669248 43143 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12284] ppid=12276 vsize=1796552 CPUtime=0 /proc/12278/task/12284/stat : 12284 (java) S 12276 12278 11437 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 122516799 1839669248 43143 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12285] ppid=12276 vsize=1796552 CPUtime=0 /proc/12278/task/12285/stat : 12285 (java) S 12276 12278 11437 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 122516799 1839669248 43143 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12286] ppid=12276 vsize=1796552 CPUtime=0 /proc/12278/task/12286/stat : 12286 (java) S 12276 12278 11437 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 122516803 1839669248 43143 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12287] ppid=12276 vsize=1796552 CPUtime=1.09 /proc/12278/task/12287/stat : 12287 (java) S 12276 12278 11437 0 -1 64 3659 0 0 0 107 2 0 0 16 0 13 0 122516803 1839669248 43143 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12288] ppid=12276 vsize=1796552 CPUtime=1.78 /proc/12278/task/12288/stat : 12288 (java) R 12276 12278 11437 0 -1 64 8825 0 0 0 174 4 0 0 17 0 13 0 122516803 1839669248 43143 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12289] ppid=12276 vsize=1796552 CPUtime=0 /proc/12278/task/12289/stat : 12289 (java) S 12276 12278 11437 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 122516803 1839669248 43143 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12290] ppid=12276 vsize=1796552 CPUtime=0 /proc/12278/task/12290/stat : 12290 (java) S 12276 12278 11437 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 122516803 1839669248 43143 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12291] ppid=12276 vsize=1796552 CPUtime=0 /proc/12278/task/12291/stat : 12291 (java) S 12276 12278 11437 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 122516888 1839669248 43143 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 5.02 Current children cumulated vsize (KiB) 1796552 [startup+6.30198 s] /proc/loadavg: 1.09 1.02 1.01 2/77 12291 /proc/meminfo: memFree=1508160/2055920 swapFree=4183760/4192956 [pid=12278] ppid=12276 vsize=1796008 CPUtime=8.41 /proc/12278/stat : 12278 (java) S 12276 12278 11437 0 -1 0 57433 0 1 0 811 30 0 0 18 0 13 0 122516794 1839112192 47576 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12278/statm: 449002 47576 1329 9 0 446614 0 [pid=12278/tid=12280] ppid=12276 vsize=1796008 CPUtime=5.16 /proc/12278/task/12280/stat : 12280 (java) R 12276 12278 11437 0 -1 64 41660 0 1 0 495 21 0 0 25 0 13 0 122516795 1839112192 47576 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109690952 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12281] ppid=12276 vsize=1796008 CPUtime=0.04 /proc/12278/task/12281/stat : 12281 (java) S 12276 12278 11437 0 -1 64 983 0 0 0 4 0 0 0 16 0 13 0 122516796 1839112192 47576 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12282] ppid=12276 vsize=1796008 CPUtime=0.05 /proc/12278/task/12282/stat : 12282 (java) S 12276 12278 11437 0 -1 64 1157 0 0 0 5 0 0 0 16 0 13 0 122516796 1839112192 47576 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12283] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12283/stat : 12283 (java) S 12276 12278 11437 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 122516799 1839112192 47576 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12284] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12284/stat : 12284 (java) S 12276 12278 11437 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 122516799 1839112192 47576 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12285] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12285/stat : 12285 (java) S 12276 12278 11437 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 122516799 1839112192 47576 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12286] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12286/stat : 12286 (java) S 12276 12278 11437 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 122516803 1839112192 47576 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12287] ppid=12276 vsize=1796008 CPUtime=1.26 /proc/12278/task/12287/stat : 12287 (java) S 12276 12278 11437 0 -1 64 4052 0 0 0 124 2 0 0 16 0 13 0 122516803 1839112192 47576 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12288] ppid=12276 vsize=1796008 CPUtime=1.84 /proc/12278/task/12288/stat : 12288 (java) S 12276 12278 11437 0 -1 64 8825 0 0 0 180 4 0 0 16 0 13 0 122516803 1839112192 47576 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12289] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12289/stat : 12289 (java) S 12276 12278 11437 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 122516803 1839112192 47576 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12290] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12290/stat : 12290 (java) S 12276 12278 11437 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 122516803 1839112192 47576 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12291] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12291/stat : 12291 (java) S 12276 12278 11437 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 122516888 1839112192 47576 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 8.41 Current children cumulated vsize (KiB) 1796008 [startup+12.7026 s] /proc/loadavg: 1.07 1.02 1.00 2/77 12291 /proc/meminfo: memFree=1470600/2055920 swapFree=4183760/4192956 [pid=12278] ppid=12276 vsize=1796008 CPUtime=15.53 /proc/12278/stat : 12278 (java) S 12276 12278 11437 0 -1 0 63626 0 1 0 1520 33 0 0 18 0 13 0 122516794 1839112192 51996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12278/statm: 449002 51996 1330 9 0 446614 0 [pid=12278/tid=12280] ppid=12276 vsize=1796008 CPUtime=11.26 /proc/12278/task/12280/stat : 12280 (java) R 12276 12278 11437 0 -1 64 46497 0 1 0 1102 24 0 0 24 0 13 0 122516795 1839112192 51996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109714533 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12281] ppid=12276 vsize=1796008 CPUtime=0.08 /proc/12278/task/12281/stat : 12281 (java) S 12276 12278 11437 0 -1 64 1636 0 0 0 8 0 0 0 16 0 13 0 122516796 1839112192 51996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12282] ppid=12276 vsize=1796008 CPUtime=0.09 /proc/12278/task/12282/stat : 12282 (java) S 12276 12278 11437 0 -1 64 1793 0 0 0 9 0 0 0 16 0 13 0 122516796 1839112192 51996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12283] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12283/stat : 12283 (java) S 12276 12278 11437 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 122516799 1839112192 51996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12284] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12284/stat : 12284 (java) S 12276 12278 11437 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 122516799 1839112192 51996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12285] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12285/stat : 12285 (java) S 12276 12278 11437 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 122516799 1839112192 51996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12286] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12286/stat : 12286 (java) S 12276 12278 11437 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 122516803 1839112192 51996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12287] ppid=12276 vsize=1796008 CPUtime=1.87 /proc/12278/task/12287/stat : 12287 (java) S 12276 12278 11437 0 -1 64 4098 0 0 0 185 2 0 0 17 0 13 0 122516803 1839112192 51996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12288] ppid=12276 vsize=1796008 CPUtime=2.17 /proc/12278/task/12288/stat : 12288 (java) S 12276 12278 11437 0 -1 64 8846 0 0 0 213 4 0 0 16 0 13 0 122516803 1839112192 51996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12289] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12289/stat : 12289 (java) S 12276 12278 11437 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 122516803 1839112192 51996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12290] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12290/stat : 12290 (java) S 12276 12278 11437 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 122516803 1839112192 51996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12291] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12291/stat : 12291 (java) S 12276 12278 11437 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 122516888 1839112192 51996 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 15.53 Current children cumulated vsize (KiB) 1796008 [startup+25.5029 s] /proc/loadavg: 1.06 1.01 1.00 2/77 12291 /proc/meminfo: memFree=1487880/2055920 swapFree=4183760/4192956 [pid=12278] ppid=12276 vsize=1796008 CPUtime=28.44 /proc/12278/stat : 12278 (java) S 12276 12278 11437 0 -1 0 65167 0 1 0 2810 34 0 0 18 0 13 0 122516794 1839112192 48183 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12278/statm: 449002 48183 1331 9 0 446614 0 [pid=12278/tid=12280] ppid=12276 vsize=1796008 CPUtime=23.94 /proc/12278/task/12280/stat : 12280 (java) R 12276 12278 11437 0 -1 64 46525 0 1 0 2370 24 0 0 23 0 13 0 122516795 1839112192 48183 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109691328 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12281] ppid=12276 vsize=1796008 CPUtime=0.17 /proc/12278/task/12281/stat : 12281 (java) S 12276 12278 11437 0 -1 64 2477 0 0 0 17 0 0 0 16 0 13 0 122516796 1839112192 48183 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12282] ppid=12276 vsize=1796008 CPUtime=0.16 /proc/12278/task/12282/stat : 12282 (java) S 12276 12278 11437 0 -1 64 2464 0 0 0 16 0 0 0 16 0 13 0 122516796 1839112192 48183 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ /proc/12278/task/12289/stat : 12289 (java) S 12276 12278 11437 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 122516803 1839112192 141560 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12290] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12290/stat : 12290 (java) S 12276 12278 11437 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 122516803 1839112192 141560 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12291] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12291/stat : 12291 (java) S 12276 12278 11437 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 122516888 1839112192 141560 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1237.99 Current children cumulated vsize (KiB) 1796008 [startup+1217.5 s] /proc/loadavg: 1.06 1.03 1.00 2/77 12291 /proc/meminfo: memFree=1113032/2055920 swapFree=4183760/4192956 [pid=12278] ppid=12276 vsize=1796008 CPUtime=1239.64 /proc/12278/stat : 12278 (java) S 12276 12278 11437 0 -1 0 183637 0 1 0 123857 107 0 0 18 0 13 0 122516794 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12278/statm: 449002 141723 1332 9 0 446614 0 [pid=12278/tid=12280] ppid=12276 vsize=1796008 CPUtime=1194.99 /proc/12278/task/12280/stat : 12280 (java) R 12276 12278 11437 0 -1 64 62326 0 1 0 119464 35 0 0 19 0 13 0 122516795 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109787355 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12281] ppid=12276 vsize=1796008 CPUtime=20.02 /proc/12278/task/12281/stat : 12281 (java) S 12276 12278 11437 0 -1 64 52287 0 0 0 1977 25 0 0 16 0 13 0 122516796 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12282] ppid=12276 vsize=1796008 CPUtime=19.95 /proc/12278/task/12282/stat : 12282 (java) S 12276 12278 11437 0 -1 64 55271 0 0 0 1972 23 0 0 16 0 13 0 122516796 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12283] ppid=12276 vsize=1796008 CPUtime=0.38 /proc/12278/task/12283/stat : 12283 (java) S 12276 12278 11437 0 -1 64 82 0 0 0 23 15 0 0 16 0 13 0 122516799 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12284] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12284/stat : 12284 (java) S 12276 12278 11437 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 122516799 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12285] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12285/stat : 12285 (java) S 12276 12278 11437 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 122516799 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12286] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12286/stat : 12286 (java) S 12276 12278 11437 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 122516803 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12287] ppid=12276 vsize=1796008 CPUtime=2.01 /proc/12278/task/12287/stat : 12287 (java) S 12276 12278 11437 0 -1 64 4098 0 0 0 199 2 0 0 17 0 13 0 122516803 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12288] ppid=12276 vsize=1796008 CPUtime=2.23 /proc/12278/task/12288/stat : 12288 (java) S 12276 12278 11437 0 -1 64 8850 0 0 0 219 4 0 0 17 0 13 0 122516803 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12289] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12289/stat : 12289 (java) S 12276 12278 11437 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 122516803 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12290] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12290/stat : 12290 (java) S 12276 12278 11437 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 122516803 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12291] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12291/stat : 12291 (java) S 12276 12278 11437 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 122516888 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1239.64 Current children cumulated vsize (KiB) 1796008 [startup+1219.1 s] /proc/loadavg: 1.06 1.03 1.00 2/77 12291 /proc/meminfo: memFree=1112840/2055920 swapFree=4183760/4192956 [pid=12278] ppid=12276 vsize=1796008 CPUtime=1241.24 /proc/12278/stat : 12278 (java) S 12276 12278 11437 0 -1 0 183638 0 1 0 124017 107 0 0 18 0 13 0 122516794 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12278/statm: 449002 141723 1332 9 0 446614 0 [pid=12278/tid=12280] ppid=12276 vsize=1796008 CPUtime=1196.59 /proc/12278/task/12280/stat : 12280 (java) R 12276 12278 11437 0 -1 64 62327 0 1 0 119624 35 0 0 25 0 13 0 122516795 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109690990 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12281] ppid=12276 vsize=1796008 CPUtime=20.02 /proc/12278/task/12281/stat : 12281 (java) S 12276 12278 11437 0 -1 64 52287 0 0 0 1977 25 0 0 16 0 13 0 122516796 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12282] ppid=12276 vsize=1796008 CPUtime=19.95 /proc/12278/task/12282/stat : 12282 (java) S 12276 12278 11437 0 -1 64 55271 0 0 0 1972 23 0 0 16 0 13 0 122516796 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12283] ppid=12276 vsize=1796008 CPUtime=0.38 /proc/12278/task/12283/stat : 12283 (java) S 12276 12278 11437 0 -1 64 82 0 0 0 23 15 0 0 16 0 13 0 122516799 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12284] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12284/stat : 12284 (java) S 12276 12278 11437 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 122516799 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12285] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12285/stat : 12285 (java) S 12276 12278 11437 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 122516799 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12286] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12286/stat : 12286 (java) S 12276 12278 11437 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 122516803 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12287] ppid=12276 vsize=1796008 CPUtime=2.01 /proc/12278/task/12287/stat : 12287 (java) S 12276 12278 11437 0 -1 64 4098 0 0 0 199 2 0 0 17 0 13 0 122516803 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12288] ppid=12276 vsize=1796008 CPUtime=2.23 /proc/12278/task/12288/stat : 12288 (java) S 12276 12278 11437 0 -1 64 8850 0 0 0 219 4 0 0 17 0 13 0 122516803 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12289] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12289/stat : 12289 (java) S 12276 12278 11437 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 122516803 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12290] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12290/stat : 12290 (java) S 12276 12278 11437 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 122516803 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12291] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12291/stat : 12291 (java) S 12276 12278 11437 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 122516888 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1241.24 Current children cumulated vsize (KiB) 1796008 [startup+1219.91 s] /proc/loadavg: 1.06 1.03 1.00 2/77 12291 /proc/meminfo: memFree=1112840/2055920 swapFree=4183760/4192956 [pid=12278] ppid=12276 vsize=1796008 CPUtime=1242.05 /proc/12278/stat : 12278 (java) S 12276 12278 11437 0 -1 0 183638 0 1 0 124098 107 0 0 18 0 13 0 122516794 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12278/statm: 449002 141723 1332 9 0 446614 0 [pid=12278/tid=12280] ppid=12276 vsize=1796008 CPUtime=1197.4 /proc/12278/task/12280/stat : 12280 (java) R 12276 12278 11437 0 -1 64 62327 0 1 0 119705 35 0 0 25 0 13 0 122516795 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109690990 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12281] ppid=12276 vsize=1796008 CPUtime=20.02 /proc/12278/task/12281/stat : 12281 (java) S 12276 12278 11437 0 -1 64 52287 0 0 0 1977 25 0 0 16 0 13 0 122516796 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12282] ppid=12276 vsize=1796008 CPUtime=19.95 /proc/12278/task/12282/stat : 12282 (java) S 12276 12278 11437 0 -1 64 55271 0 0 0 1972 23 0 0 16 0 13 0 122516796 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12283] ppid=12276 vsize=1796008 CPUtime=0.38 /proc/12278/task/12283/stat : 12283 (java) S 12276 12278 11437 0 -1 64 82 0 0 0 23 15 0 0 16 0 13 0 122516799 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12284] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12284/stat : 12284 (java) S 12276 12278 11437 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 122516799 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12285] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12285/stat : 12285 (java) S 12276 12278 11437 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 122516799 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12286] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12286/stat : 12286 (java) S 12276 12278 11437 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 122516803 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12287] ppid=12276 vsize=1796008 CPUtime=2.01 /proc/12278/task/12287/stat : 12287 (java) S 12276 12278 11437 0 -1 64 4098 0 0 0 199 2 0 0 17 0 13 0 122516803 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12288] ppid=12276 vsize=1796008 CPUtime=2.23 /proc/12278/task/12288/stat : 12288 (java) S 12276 12278 11437 0 -1 64 8850 0 0 0 219 4 0 0 17 0 13 0 122516803 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12289] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12289/stat : 12289 (java) S 12276 12278 11437 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 122516803 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12290] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12290/stat : 12290 (java) S 12276 12278 11437 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 122516803 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12291] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12291/stat : 12291 (java) S 12276 12278 11437 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 122516888 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1242.05 Current children cumulated vsize (KiB) 1796008 [startup+1220.1 s] /proc/loadavg: 1.06 1.03 1.00 2/77 12291 /proc/meminfo: memFree=1112840/2055920 swapFree=4183760/4192956 [pid=12278] ppid=12276 vsize=1796008 CPUtime=1242.24 /proc/12278/stat : 12278 (java) S 12276 12278 11437 0 -1 0 183638 0 1 0 124117 107 0 0 18 0 13 0 122516794 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12278/statm: 449002 141723 1332 9 0 446614 0 [pid=12278/tid=12280] ppid=12276 vsize=1796008 CPUtime=1197.59 /proc/12278/task/12280/stat : 12280 (java) R 12276 12278 11437 0 -1 64 62327 0 1 0 119724 35 0 0 25 0 13 0 122516795 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109788102 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12281] ppid=12276 vsize=1796008 CPUtime=20.02 /proc/12278/task/12281/stat : 12281 (java) S 12276 12278 11437 0 -1 64 52287 0 0 0 1977 25 0 0 16 0 13 0 122516796 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12282] ppid=12276 vsize=1796008 CPUtime=19.95 /proc/12278/task/12282/stat : 12282 (java) S 12276 12278 11437 0 -1 64 55271 0 0 0 1972 23 0 0 16 0 13 0 122516796 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12283] ppid=12276 vsize=1796008 CPUtime=0.38 /proc/12278/task/12283/stat : 12283 (java) S 12276 12278 11437 0 -1 64 82 0 0 0 23 15 0 0 16 0 13 0 122516799 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12284] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12284/stat : 12284 (java) S 12276 12278 11437 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 122516799 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12285] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12285/stat : 12285 (java) S 12276 12278 11437 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 122516799 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12286] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12286/stat : 12286 (java) S 12276 12278 11437 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 122516803 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12287] ppid=12276 vsize=1796008 CPUtime=2.01 /proc/12278/task/12287/stat : 12287 (java) S 12276 12278 11437 0 -1 64 4098 0 0 0 199 2 0 0 17 0 13 0 122516803 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12288] ppid=12276 vsize=1796008 CPUtime=2.23 /proc/12278/task/12288/stat : 12288 (java) S 12276 12278 11437 0 -1 64 8850 0 0 0 219 4 0 0 17 0 13 0 122516803 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12289] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12289/stat : 12289 (java) S 12276 12278 11437 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 122516803 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12290] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12290/stat : 12290 (java) S 12276 12278 11437 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 122516803 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12291] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12291/stat : 12291 (java) S 12276 12278 11437 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 122516888 1839112192 141723 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1242.24 Current children cumulated vsize (KiB) 1796008 [startup+1220.2 s] /proc/loadavg: 1.06 1.03 1.00 2/77 12291 /proc/meminfo: memFree=1112840/2055920 swapFree=4183760/4192956 [pid=12278] ppid=12276 vsize=1796008 CPUtime=1242.35 /proc/12278/stat : 12278 (java) S 12276 12278 11437 0 -1 0 183646 0 1 0 124128 107 0 0 18 0 12 0 122516794 1839112192 141731 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12278/statm: 449002 141731 1333 9 0 446614 0 [pid=12278/tid=12280] ppid=12276 vsize=1796008 CPUtime=1197.65 /proc/12278/task/12280/stat : 12280 (java) S 12276 12278 11437 0 -1 64 62332 0 1 0 119730 35 0 0 16 0 12 0 122516795 1839112192 141731 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12281] ppid=12276 vsize=1796008 CPUtime=20.02 /proc/12278/task/12281/stat : 12281 (java) S 12276 12278 11437 0 -1 64 52287 0 0 0 1977 25 0 0 16 0 12 0 122516796 1839112192 141731 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12282] ppid=12276 vsize=1796008 CPUtime=19.95 /proc/12278/task/12282/stat : 12282 (java) S 12276 12278 11437 0 -1 64 55271 0 0 0 1972 23 0 0 16 0 12 0 122516796 1839112192 141731 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12283] ppid=12276 vsize=1796008 CPUtime=0.38 /proc/12278/task/12283/stat : 12283 (java) S 12276 12278 11437 0 -1 64 82 0 0 0 23 15 0 0 16 0 12 0 122516799 1839112192 141731 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12284] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12284/stat : 12284 (java) S 12276 12278 11437 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 122516799 1839112192 141731 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12285] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12285/stat : 12285 (java) S 12276 12278 11437 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 122516799 1839112192 141731 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12278/tid=12286] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12286/stat : 12286 (java) S 12276 12278 11437 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 122516803 1839112192 141731 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12287] ppid=12276 vsize=1796008 CPUtime=2.02 /proc/12278/task/12287/stat : 12287 (java) S 12276 12278 11437 0 -1 64 4098 0 0 0 200 2 0 0 16 0 12 0 122516803 1839112192 141731 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12288] ppid=12276 vsize=1796008 CPUtime=2.26 /proc/12278/task/12288/stat : 12288 (java) S 12276 12278 11437 0 -1 64 8852 0 0 0 222 4 0 0 16 0 12 0 122516803 1839112192 141731 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12289] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12289/stat : 12289 (java) S 12276 12278 11437 0 -1 64 2 0 0 0 0 0 0 0 24 0 12 0 122516803 1839112192 141731 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12278/tid=12290] ppid=12276 vsize=1796008 CPUtime=0 /proc/12278/task/12290/stat : 12290 (java) S 12276 12278 11437 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 122516803 1839112192 141731 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1242.35 Current children cumulated vsize (KiB) 1796008 Child status: 10 Real time (s): 1220.3 CPU time (s): 1242.45 CPU user time (s): 1241.28 CPU system time (s): 1.16682 CPU usage (%): 101.815 Max. virtual memory (cumulated for all children) (KiB): 1800648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1241.28 system time used= 1.16682 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 183647 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= 38615 involuntary context switches= 13789 runsolver used 1.3028 second user time and 3.39248 second system time The end
Begin job on node70 on Tue Apr 17 17:09:55 UTC 2007 IDJOB= 357596 IDBENCH= 1154 IDSOLVER= 160 FILE ID= node70/357596-1176829794 PBS_JOBID= 4586357 Free space on /tmp= 66543 MiB SOLVER NAME= sat4jPseudoCP 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin10.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/357596-1176829794/sat4jPseudoCP.jar /tmp/evaluation/357596-1176829794/instance-357596-1176829794.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-357596-1176829794 -o ROOT/results/node70/solver-357596-1176829794 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/357596-1176829794/sat4jPseudoCP.jar /tmp/evaluation/357596-1176829794/instance-357596-1176829794.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 93a881e30e7c33fefd66d9521eb49849 RANDOM SEED= 662254182 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node70.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.218 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.218 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: 1676856 kB Buffers: 39876 kB Cached: 266956 kB SwapCached: 3656 kB Active: 150568 kB Inactive: 167048 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1676856 kB SwapTotal: 4192956 kB SwapFree: 4183760 kB Dirty: 3912 kB Writeback: 0 kB Mapped: 16152 kB Slab: 47468 kB Committed_AS: 2431220 kB PageTables: 1396 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= 66543 MiB End job on node70 on Tue Apr 17 17:30:15 UTC 2007