Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
sat4jPseudoCPClause 2007-03-23 | SAT | 11.0103 | 8.64785 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb |
MD5SUM | 285f81376739daaaae61d54cc606f233 |
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 | 1.9677 |
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 | 1600 |
Total number of constraints | 328901 |
Number of constraints which are clauses | 327070 |
Number of constraints which are cardinality constraints (but not clauses) | 61 |
Number of constraints which are nor clauses,nor cardinality constraints | 1770 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 700 |
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 | 268 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 789 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.15 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.16 c no version file found!!! 0.08/0.16 c sun.arch.data.model 32 0.08/0.16 c java.version 1.6.0 0.08/0.16 c os.name Linux 0.08/0.16 c os.version 2.6.9-22.EL.rootsmp 0.08/0.16 c os.arch i386 0.08/0.16 c Free memory 1651659224 0.08/0.16 c Max memory 1654456320 0.08/0.16 c Total memory 1654456320 0.08/0.16 c Number of processors 2 0.20/0.21 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolverClause) 0.20/0.21 --- Begin Solver configuration --- 0.20/0.21 c Stops conflict analysis at the first Unique Implication Point 0.20/0.21 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.21 c Learn all clauses as in MiniSAT 0.20/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.20/0.21 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.21 c No reason simplification 0.20/0.21 c --- End Solver configuration --- 0.20/0.21 c Simplify asserted PB constraints to clauses 0.20/0.21 c solving /tmp/evaluation/360484-1176970187/instance-360484-1176970187.opb 0.20/0.21 c reading problem ... 8.79/7.47 c ... done. Wall clock time 7.262s. 8.79/7.47 c CPU time (experimental) 6.33s. 8.79/7.47 c #vars 1600 8.79/7.47 c #constraints 328962 10.87/8.54 c starts : 2 10.87/8.54 c conflicts : 154 10.87/8.54 c decisions : 3653 10.87/8.54 c propagations : 7532 10.87/8.54 c inspects : 145210 10.87/8.54 c learnt literals : 0 10.87/8.54 c learnt binary clauses : 0 10.87/8.54 c learnt ternary clauses : 1 10.87/8.54 c learnt clauses : 154 10.87/8.54 c root simplifications : 0 10.87/8.54 c removed literals (reason simplification) : 0 10.87/8.54 c reason swapping (by a shorter reason) : 0 10.87/8.54 c Calls to reduceDB : 0 10.87/8.54 c speed (decisions/second) : 3417.2123479887746 10.87/8.54 c non guided choices 1678 10.87/8.54 s SATISFIABLE 10.87/8.55 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 10.87/8.55 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 10.87/8.55 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 10.87/8.55 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 -x105 10.87/8.55 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 10.87/8.55 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 10.87/8.55 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 10.87/8.55 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 10.87/8.55 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 10.87/8.55 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 10.87/8.55 v -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 10.87/8.55 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 10.87/8.55 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 10.87/8.55 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 10.87/8.55 v -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 10.87/8.55 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 10.87/8.55 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 10.87/8.55 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 10.87/8.55 v -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 10.87/8.55 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 10.87/8.55 v x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 10.87/8.55 v -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 10.87/8.55 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 10.87/8.55 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 10.87/8.55 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 -x546 10.87/8.55 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 10.87/8.55 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 10.87/8.55 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 10.87/8.55 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 10.87/8.55 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 10.87/8.55 v -x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 10.87/8.55 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 10.87/8.55 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 -x714 10.87/8.55 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 -x732 -x733 -x734 -x735 10.87/8.55 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 10.87/8.55 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 10.87/8.55 v -x778 -x779 -x780 -x781 -x782 -x783 x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 10.87/8.55 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 x816 -x817 -x818 -x819 10.87/8.55 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 10.87/8.55 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 10.87/8.55 v -x862 -x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 10.87/8.55 v -x883 x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902 -x903 10.87/8.55 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 10.87/8.55 v x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 x943 -x944 -x945 10.87/8.55 v -x946 -x947 -x948 x949 -x950 -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 10.87/8.55 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 10.87/8.55 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 10.87/8.55 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 10.87/8.55 v -x1024 -x1025 -x1026 x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 -x1040 -x1041 10.87/8.55 v -x1042 x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 10.87/8.55 v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 10.87/8.55 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 -x1089 -x1090 -x1091 -x1092 10.87/8.55 v -x1093 x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 10.87/8.55 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 10.87/8.55 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 10.87/8.55 v -x1144 -x1145 -x1146 x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 -x1159 -x1160 -x1161 10.87/8.55 v -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 10.87/8.55 v -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 x1194 -x1195 10.87/8.55 v -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 10.87/8.55 v -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 10.87/8.55 v -x1230 -x1231 -x1232 x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 10.87/8.55 v -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 10.87/8.55 v -x1264 -x1265 -x1266 -x1267 -x1268 x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 10.87/8.55 v -x1281 -x1282 -x1283 x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 10.87/8.55 v -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 10.87/8.55 v -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 10.87/8.55 v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 10.87/8.55 v -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 10.87/8.55 v -x1366 x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 10.87/8.55 v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 10.87/8.55 v -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 10.87/8.55 v -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 10.87/8.55 v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 10.87/8.55 v -x1451 -x1452 -x1453 x1454 -x1455 -x1456 x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 10.87/8.55 v -x1469 x1470 -x1471 -x1472 -x1473 x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 10.87/8.55 v -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 10.87/8.55 v -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 10.87/8.55 v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 10.87/8.55 v -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 10.87/8.55 v -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 10.87/8.55 v -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 x1582 x1583 -x1584 x1585 -x1586 -x1587 -x1588 -x1589 10.87/8.55 v -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 x1598 -x1599 -x1600 10.87/8.56 c Total wall clock time (ms): 8.348
OK 0
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node23/watcher-360484-1176970187 -o ROOT/results/node23/solver-360484-1176970187 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/360484-1176970187/sat4jPseudoCPClause.jar /tmp/evaluation/360484-1176970187/instance-360484-1176970187.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.00 1.00 2/77 10859 /proc/meminfo: memFree=1664176/2055920 swapFree=4169120/4192956 [pid=10859] ppid=10857 vsize=152 CPUtime=0 /proc/10859/stat : 10859 (java) R 10857 10859 9683 0 -1 0 204 0 0 0 0 0 0 0 18 0 1 0 144935799 155648 26 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 2494763 0 0 4096 0 0 0 0 17 1 0 0 /proc/10859/statm: 38 26 19 9 0 4 0 [startup+0.0899001 s] /proc/loadavg: 1.03 1.00 1.00 2/77 10859 /proc/meminfo: memFree=1664176/2055920 swapFree=4169120/4192956 [pid=10859] ppid=10857 vsize=1777708 CPUtime=0.06 /proc/10859/stat : 10859 (java) S 10857 10859 9683 0 -1 0 3760 0 1 0 4 2 0 0 18 0 7 0 144935799 1820372992 3503 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7369 18446744073709551615 0 0 17 1 0 0 /proc/10859/statm: 444427 3503 1085 9 0 442063 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1777708 [startup+0.102887 s] /proc/loadavg: 1.03 1.00 1.00 2/77 10859 /proc/meminfo: memFree=1664176/2055920 swapFree=4169120/4192956 [pid=10859] ppid=10857 vsize=1777844 CPUtime=0.08 /proc/10859/stat : 10859 (java) S 10857 10859 9683 0 -1 0 3862 0 1 0 6 2 0 0 18 0 7 0 144935799 1820512256 3605 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0 /proc/10859/statm: 444461 3605 1091 9 0 442097 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1777844 [startup+0.301925 s] /proc/loadavg: 1.03 1.00 1.00 2/77 10859 /proc/meminfo: memFree=1664176/2055920 swapFree=4169120/4192956 [pid=10859] ppid=10857 vsize=1782444 CPUtime=0.3 /proc/10859/stat : 10859 (java) S 10857 10859 9683 0 -1 0 5148 0 1 0 27 3 0 0 18 0 12 0 144935799 1825222656 4887 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10859/statm: 445611 4887 1263 9 0 443222 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 1782444 [startup+0.702005 s] /proc/loadavg: 1.03 1.00 1.00 2/77 10859 /proc/meminfo: memFree=1664176/2055920 swapFree=4169120/4192956 [pid=10859] ppid=10857 vsize=1783708 CPUtime=0.87 /proc/10859/stat : 10859 (java) S 10857 10859 9683 0 -1 0 6873 0 1 0 84 3 0 0 18 0 12 0 144935799 1826516992 6288 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10859/statm: 445927 6289 1301 9 0 443538 0 Current children cumulated CPU time (s) 0.87 Current children cumulated vsize (KiB) 1783708 [startup+1.50116 s] /proc/loadavg: 1.03 1.00 1.00 3/89 10871 /proc/meminfo: memFree=1638736/2055920 swapFree=4169120/4192956 [pid=10859] ppid=10857 vsize=1785564 CPUtime=2.02 /proc/10859/stat : 10859 (java) S 10857 10859 9683 0 -1 0 17428 0 1 0 192 10 0 0 18 0 12 0 144935799 1828417536 15702 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10859/statm: 446391 15703 1303 9 0 444002 0 [pid=10859/tid=10861] ppid=10857 vsize=1785564 CPUtime=1 /proc/10859/task/10861/stat : 10861 (java) R 10857 10859 9683 0 -1 64 13943 0 1 0 92 8 0 0 19 0 12 0 144935800 1828417536 15704 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109583207 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10859/tid=10862] ppid=10857 vsize=1785564 CPUtime=0 /proc/10859/task/10862/stat : 10862 (java) S 10857 10859 9683 0 -1 64 3 0 0 0 0 0 0 0 18 0 12 0 144935802 1828417536 15706 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10863] ppid=10857 vsize=1785564 CPUtime=0 /proc/10859/task/10863/stat : 10863 (java) S 10857 10859 9683 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 144935802 1828417536 15707 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10864] ppid=10857 vsize=1785564 CPUtime=0 /proc/10859/task/10864/stat : 10864 (java) S 10857 10859 9683 0 -1 64 1 0 0 0 0 0 0 0 17 0 12 0 144935806 1828417536 15708 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10865] ppid=10857 vsize=1785564 CPUtime=0 /proc/10859/task/10865/stat : 10865 (java) S 10857 10859 9683 0 -1 64 9 0 0 0 0 0 0 0 20 0 12 0 144935806 1828417536 15709 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10866] ppid=10857 vsize=1785564 CPUtime=0 /proc/10859/task/10866/stat : 10866 (java) S 10857 10859 9683 0 -1 64 4 0 0 0 0 0 0 0 21 0 12 0 144935806 1828417536 15710 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10867] ppid=10857 vsize=1785564 CPUtime=0 /proc/10859/task/10867/stat : 10867 (java) S 10857 10859 9683 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 144935810 1828417536 15712 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10868] ppid=10857 vsize=1785564 CPUtime=0.49 /proc/10859/task/10868/stat : 10868 (java) S 10857 10859 9683 0 -1 64 1612 0 0 0 49 0 0 0 16 0 12 0 144935810 1828417536 15713 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10869] ppid=10857 vsize=1785564 CPUtime=0.49 /proc/10859/task/10869/stat : 10869 (java) S 10857 10859 9683 0 -1 64 1157 0 0 0 49 0 0 0 17 0 12 0 144935810 1828417536 15714 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10859/tid=10870] ppid=10857 vsize=1785564 CPUtime=0 /proc/10859/task/10870/stat : 10870 (java) S 10857 10859 9683 0 -1 64 2 0 0 0 0 0 0 0 23 0 12 0 144935810 1828417536 15715 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10871] ppid=10857 vsize=1785564 CPUtime=0 /proc/10859/task/10871/stat : 10871 (java) S 10857 10859 9683 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 144935810 1828417536 15716 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.02 Current children cumulated vsize (KiB) 1785564 [startup+3.10246 s] /proc/loadavg: 1.03 1.00 1.00 2/89 10871 /proc/meminfo: memFree=1537808/2055920 swapFree=4169120/4192956 [pid=10859] ppid=10857 vsize=1785564 CPUtime=3.65 /proc/10859/stat : 10859 (java) S 10857 10859 9683 0 -1 0 42333 0 1 0 342 23 0 0 18 0 12 0 144935799 1828417536 40601 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10859/statm: 446391 40601 1312 9 0 444002 0 [pid=10859/tid=10861] ppid=10857 vsize=1785564 CPUtime=2.57 /proc/10859/task/10861/stat : 10861 (java) R 10857 10859 9683 0 -1 64 37694 0 1 0 235 22 0 0 23 0 12 0 144935800 1828417536 40601 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109605144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10859/tid=10862] ppid=10857 vsize=1785564 CPUtime=0.03 /proc/10859/task/10862/stat : 10862 (java) S 10857 10859 9683 0 -1 64 677 0 0 0 3 0 0 0 17 0 12 0 144935802 1828417536 40601 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10863] ppid=10857 vsize=1785564 CPUtime=0.03 /proc/10859/task/10863/stat : 10863 (java) S 10857 10859 9683 0 -1 64 468 0 0 0 3 0 0 0 16 0 12 0 144935802 1828417536 40601 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10859/tid=10864] ppid=10857 vsize=1785564 CPUtime=0 /proc/10859/task/10864/stat : 10864 (java) S 10857 10859 9683 0 -1 64 8 0 0 0 0 0 0 0 15 0 12 0 144935806 1828417536 40601 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10859/tid=10865] ppid=10857 vsize=1785564 CPUtime=0 /proc/10859/task/10865/stat : 10865 (java) S 10857 10859 9683 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 144935806 1828417536 40601 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10866] ppid=10857 vsize=1785564 CPUtime=0 /proc/10859/task/10866/stat : 10866 (java) S 10857 10859 9683 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 144935806 1828417536 40601 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10867] ppid=10857 vsize=1785564 CPUtime=0 /proc/10859/task/10867/stat : 10867 (java) S 10857 10859 9683 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 144935810 1828417536 40601 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10868] ppid=10857 vsize=1785564 CPUtime=0.49 /proc/10859/task/10868/stat : 10868 (java) S 10857 10859 9683 0 -1 64 1612 0 0 0 49 0 0 0 16 0 12 0 144935810 1828417536 40601 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10869] ppid=10857 vsize=1785564 CPUtime=0.49 /proc/10859/task/10869/stat : 10869 (java) S 10857 10859 9683 0 -1 64 1157 0 0 0 49 0 0 0 17 0 12 0 144935810 1828417536 40601 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10859/tid=10870] ppid=10857 vsize=1785564 CPUtime=0 /proc/10859/task/10870/stat : 10870 (java) S 10857 10859 9683 0 -1 64 2 0 0 0 0 0 0 0 23 0 12 0 144935810 1828417536 40601 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10871] ppid=10857 vsize=1785564 CPUtime=0 /proc/10859/task/10871/stat : 10871 (java) S 10857 10859 9683 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 144935810 1828417536 40601 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.65 Current children cumulated vsize (KiB) 1785564 [startup+6.30108 s] /proc/loadavg: 1.03 1.00 1.00 2/89 10871 /proc/meminfo: memFree=1479888/2055920 swapFree=4169120/4192956 [pid=10859] ppid=10857 vsize=1788036 CPUtime=7.14 /proc/10859/stat : 10859 (java) S 10857 10859 9683 0 -1 0 51501 0 1 0 686 28 0 0 18 0 12 0 144935799 1830948864 49450 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10859/statm: 447009 49450 1312 9 0 444620 0 [pid=10859/tid=10861] ppid=10857 vsize=1788036 CPUtime=5.47 /proc/10859/task/10861/stat : 10861 (java) R 10857 10859 9683 0 -1 64 37699 0 1 0 525 22 0 0 18 0 12 0 144935800 1830948864 49450 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10859/tid=10862] ppid=10857 vsize=1788036 CPUtime=0.31 /proc/10859/task/10862/stat : 10862 (java) S 10857 10859 9683 0 -1 64 5667 0 0 0 30 1 0 0 16 0 12 0 144935802 1830948864 49450 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10863] ppid=10857 vsize=1788036 CPUtime=0.31 /proc/10859/task/10863/stat : 10863 (java) S 10857 10859 9683 0 -1 64 4633 0 0 0 29 2 0 0 16 0 12 0 144935802 1830948864 49450 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10859/tid=10864] ppid=10857 vsize=1788036 CPUtime=0 /proc/10859/task/10864/stat : 10864 (java) S 10857 10859 9683 0 -1 64 16 0 0 0 0 0 0 0 17 0 12 0 144935806 1830948864 49450 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10859/tid=10865] ppid=10857 vsize=1788036 CPUtime=0 /proc/10859/task/10865/stat : 10865 (java) S 10857 10859 9683 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 144935806 1830948864 49450 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10866] ppid=10857 vsize=1788036 CPUtime=0 /proc/10859/task/10866/stat : 10866 (java) S 10857 10859 9683 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 144935806 1830948864 49450 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10867] ppid=10857 vsize=1788036 CPUtime=0 /proc/10859/task/10867/stat : 10867 (java) S 10857 10859 9683 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 144935810 1830948864 49450 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10868] ppid=10857 vsize=1788036 CPUtime=0.49 /proc/10859/task/10868/stat : 10868 (java) S 10857 10859 9683 0 -1 64 1612 0 0 0 49 0 0 0 16 0 12 0 144935810 1830948864 49450 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10869] ppid=10857 vsize=1788036 CPUtime=0.49 /proc/10859/task/10869/stat : 10869 (java) S 10857 10859 9683 0 -1 64 1157 0 0 0 49 0 0 0 17 0 12 0 144935810 1830948864 49450 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10859/tid=10870] ppid=10857 vsize=1788036 CPUtime=0 /proc/10859/task/10870/stat : 10870 (java) S 10857 10859 9683 0 -1 64 2 0 0 0 0 0 0 0 23 0 12 0 144935810 1830948864 49450 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10871] ppid=10857 vsize=1788036 CPUtime=0 /proc/10859/task/10871/stat : 10871 (java) S 10857 10859 9683 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 144935810 1830948864 49450 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 7.14 Current children cumulated vsize (KiB) 1788036 Solver just ended. Dumping a history of the last processes samples [startup+7.9024 s] /proc/loadavg: 1.03 1.00 1.00 4/90 10872 /proc/meminfo: memFree=1453576/2055920 swapFree=4169120/4192956 [pid=10859] ppid=10857 vsize=1796080 CPUtime=9.79 /proc/10859/stat : 10859 (java) S 10857 10859 9683 0 -1 0 60444 0 1 0 947 32 0 0 18 0 13 0 144935799 1839185920 53880 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10859/statm: 449020 53880 1320 9 0 446631 0 [pid=10859/tid=10861] ppid=10857 vsize=1796080 CPUtime=6.57 /proc/10859/task/10861/stat : 10861 (java) R 10857 10859 9683 0 -1 64 37748 0 1 0 635 22 0 0 21 0 13 0 144935800 1839185920 53880 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10859/tid=10862] ppid=10857 vsize=1796080 CPUtime=0.41 /proc/10859/task/10862/stat : 10862 (java) S 10857 10859 9683 0 -1 64 6226 0 0 0 39 2 0 0 17 0 13 0 144935802 1839185920 53880 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10863] ppid=10857 vsize=1796080 CPUtime=0.42 /proc/10859/task/10863/stat : 10863 (java) S 10857 10859 9683 0 -1 64 6374 0 0 0 40 2 0 0 18 0 13 0 144935802 1839185920 53880 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10864] ppid=10857 vsize=1796080 CPUtime=0 /proc/10859/task/10864/stat : 10864 (java) S 10857 10859 9683 0 -1 64 17 0 0 0 0 0 0 0 17 0 13 0 144935806 1839185920 53880 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10859/tid=10865] ppid=10857 vsize=1796080 CPUtime=0 /proc/10859/task/10865/stat : 10865 (java) S 10857 10859 9683 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 144935806 1839185920 53880 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10866] ppid=10857 vsize=1796080 CPUtime=0 /proc/10859/task/10866/stat : 10866 (java) S 10857 10859 9683 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144935806 1839185920 53880 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10867] ppid=10857 vsize=1796080 CPUtime=0 /proc/10859/task/10867/stat : 10867 (java) S 10857 10859 9683 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 144935810 1839185920 53880 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10868] ppid=10857 vsize=1796080 CPUtime=1.06 /proc/10859/task/10868/stat : 10868 (java) R 10857 10859 9683 0 -1 64 4344 0 0 0 106 0 0 0 19 0 13 0 144935810 1839185920 53880 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 104789995 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10869] ppid=10857 vsize=1796080 CPUtime=1.26 /proc/10859/task/10869/stat : 10869 (java) S 10857 10859 9683 0 -1 64 5012 0 0 0 125 1 0 0 18 0 13 0 144935810 1839185920 53880 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10859/tid=10870] ppid=10857 vsize=1796080 CPUtime=0 /proc/10859/task/10870/stat : 10870 (java) S 10857 10859 9683 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 144935810 1839185920 53880 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10871] ppid=10857 vsize=1796080 CPUtime=0 /proc/10859/task/10871/stat : 10871 (java) S 10857 10859 9683 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 144935810 1839185920 53880 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10859/tid=10872] ppid=10857 vsize=1796080 CPUtime=0 /proc/10859/task/10872/stat : 10872 (java) S 10857 10859 9683 0 -1 64 6 0 0 0 0 0 0 0 19 0 13 0 144936547 1839185920 53880 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 9.79 Current children cumulated vsize (KiB) 1796080 [startup+8.30248 s] /proc/loadavg: 1.03 1.00 1.00 4/90 10872 /proc/meminfo: memFree=1453576/2055920 swapFree=4169120/4192956 [pid=10859] ppid=10857 vsize=1800208 CPUtime=10.59 /proc/10859/stat : 10859 (java) S 10857 10859 9683 0 -1 0 63517 0 1 0 1026 33 0 0 18 0 13 0 144935799 1843412992 54798 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10859/statm: 450052 54798 1326 9 0 447663 0 [pid=10859/tid=10861] ppid=10857 vsize=1800208 CPUtime=6.75 /proc/10859/task/10861/stat : 10861 (java) R 10857 10859 9683 0 -1 64 37749 0 1 0 653 22 0 0 23 0 13 0 144935800 1843412992 54798 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 102840216 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10862] ppid=10857 vsize=1800208 CPUtime=0.41 /proc/10859/task/10862/stat : 10862 (java) S 10857 10859 9683 0 -1 64 6226 0 0 0 39 2 0 0 17 0 13 0 144935802 1843412992 54798 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10863] ppid=10857 vsize=1800208 CPUtime=0.42 /proc/10859/task/10863/stat : 10863 (java) S 10857 10859 9683 0 -1 64 6374 0 0 0 40 2 0 0 18 0 13 0 144935802 1843412992 54798 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10864] ppid=10857 vsize=1800208 CPUtime=0 /proc/10859/task/10864/stat : 10864 (java) S 10857 10859 9683 0 -1 64 17 0 0 0 0 0 0 0 17 0 13 0 144935806 1843412992 54798 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10859/tid=10865] ppid=10857 vsize=1800208 CPUtime=0 /proc/10859/task/10865/stat : 10865 (java) S 10857 10859 9683 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 144935806 1843412992 54798 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10866] ppid=10857 vsize=1800208 CPUtime=0 /proc/10859/task/10866/stat : 10866 (java) S 10857 10859 9683 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144935806 1843412992 54798 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10867] ppid=10857 vsize=1800208 CPUtime=0 /proc/10859/task/10867/stat : 10867 (java) S 10857 10859 9683 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 144935810 1843412992 54798 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10868] ppid=10857 vsize=1800208 CPUtime=1.36 /proc/10859/task/10868/stat : 10868 (java) R 10857 10859 9683 0 -1 64 5777 0 0 0 135 1 0 0 20 0 13 0 144935810 1843412992 54798 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 105303701 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10869] ppid=10857 vsize=1800208 CPUtime=1.58 /proc/10859/task/10869/stat : 10869 (java) R 10857 10859 9683 0 -1 64 6651 0 0 0 156 2 0 0 20 0 13 0 144935810 1843412992 54798 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 103316041 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10859/tid=10870] ppid=10857 vsize=1800208 CPUtime=0 /proc/10859/task/10870/stat : 10870 (java) S 10857 10859 9683 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 144935810 1843412992 54798 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10871] ppid=10857 vsize=1800208 CPUtime=0 /proc/10859/task/10871/stat : 10871 (java) S 10857 10859 9683 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 144935810 1843412992 54798 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10859/tid=10872] ppid=10857 vsize=1800208 CPUtime=0 /proc/10859/task/10872/stat : 10872 (java) S 10857 10859 9683 0 -1 64 6 0 0 0 0 0 0 0 19 0 13 0 144936547 1843412992 54798 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 10.59 Current children cumulated vsize (KiB) 1800208 [startup+8.50251 s] /proc/loadavg: 1.03 1.00 1.00 4/90 10872 /proc/meminfo: memFree=1453576/2055920 swapFree=4169120/4192956 [pid=10859] ppid=10857 vsize=1797836 CPUtime=10.87 /proc/10859/stat : 10859 (java) S 10857 10859 9683 0 -1 0 63531 0 1 0 1054 33 0 0 18 0 13 0 144935799 1840984064 54266 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10859/statm: 449459 54266 1326 9 0 447070 0 [pid=10859/tid=10861] ppid=10857 vsize=1797836 CPUtime=6.89 /proc/10859/task/10861/stat : 10861 (java) R 10857 10859 9683 0 -1 64 37750 0 1 0 667 22 0 0 24 0 13 0 144935800 1840984064 54266 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10862] ppid=10857 vsize=1797836 CPUtime=0.41 /proc/10859/task/10862/stat : 10862 (java) S 10857 10859 9683 0 -1 64 6226 0 0 0 39 2 0 0 17 0 13 0 144935802 1840984064 54266 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10863] ppid=10857 vsize=1797836 CPUtime=0.42 /proc/10859/task/10863/stat : 10863 (java) S 10857 10859 9683 0 -1 64 6374 0 0 0 40 2 0 0 18 0 13 0 144935802 1840984064 54266 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10864] ppid=10857 vsize=1797836 CPUtime=0 /proc/10859/task/10864/stat : 10864 (java) S 10857 10859 9683 0 -1 64 17 0 0 0 0 0 0 0 17 0 13 0 144935806 1840984064 54266 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10859/tid=10865] ppid=10857 vsize=1797836 CPUtime=0 /proc/10859/task/10865/stat : 10865 (java) S 10857 10859 9683 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 144935806 1840984064 54266 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10866] ppid=10857 vsize=1797836 CPUtime=0 /proc/10859/task/10866/stat : 10866 (java) S 10857 10859 9683 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144935806 1840984064 54266 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10867] ppid=10857 vsize=1797836 CPUtime=0 /proc/10859/task/10867/stat : 10867 (java) S 10857 10859 9683 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 144935810 1840984064 54266 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10868] ppid=10857 vsize=1797836 CPUtime=1.42 /proc/10859/task/10868/stat : 10868 (java) R 10857 10859 9683 0 -1 64 5779 0 0 0 141 1 0 0 16 0 13 0 144935810 1840984064 54266 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 105867424 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10869] ppid=10857 vsize=1797836 CPUtime=1.67 /proc/10859/task/10869/stat : 10869 (java) R 10857 10859 9683 0 -1 64 6662 0 0 0 165 2 0 0 16 0 13 0 144935810 1840984064 54266 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 102397585 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10859/tid=10870] ppid=10857 vsize=1797836 CPUtime=0 /proc/10859/task/10870/stat : 10870 (java) S 10857 10859 9683 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 144935810 1840984064 54266 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10859/tid=10871] ppid=10857 vsize=1797836 CPUtime=0 /proc/10859/task/10871/stat : 10871 (java) S 10857 10859 9683 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 144935810 1840984064 54266 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10859/tid=10872] ppid=10857 vsize=1797836 CPUtime=0 /proc/10859/task/10872/stat : 10872 (java) S 10857 10859 9683 0 -1 64 6 0 0 0 0 0 0 0 19 0 13 0 144936547 1840984064 54266 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 10.87 Current children cumulated vsize (KiB) 1797836 [startup+8.60253 s] /proc/loadavg: 1.03 1.00 1.00 4/90 10872 /proc/meminfo: memFree=1453576/2055920 swapFree=4169120/4192956 [pid=10859] ppid=10857 vsize=0 CPUtime=10.97 /proc/10859/stat : 10859 (java) Z 10857 10859 9683 0 -1 1036 63547 0 1 0 1064 33 0 0 16 0 2 0 144935799 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10859/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 10.97 Current children cumulated vsize (KiB) 0 Child status: 10 Real time (s): 8.64785 CPU time (s): 11.0103 CPU user time (s): 10.6434 CPU system time (s): 0.366944 CPU usage (%): 127.319 Max. virtual memory (cumulated for all children) (KiB): 1800208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.6434 system time used= 0.366944 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 63547 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= 758 involuntary context switches= 753 runsolver used 0.010998 second user time and 0.033994 second system time The end
Begin job on node23 on Thu Apr 19 08:09:47 UTC 2007 IDJOB= 360484 IDBENCH= 1374 IDSOLVER= 164 FILE ID= node23/360484-1176970187 PBS_JOBID= 4630268 Free space on /tmp= 66441 MiB SOLVER NAME= sat4jPseudoCPClause 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/360484-1176970187/sat4jPseudoCPClause.jar /tmp/evaluation/360484-1176970187/instance-360484-1176970187.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-360484-1176970187 -o ROOT/results/node23/solver-360484-1176970187 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/360484-1176970187/sat4jPseudoCPClause.jar /tmp/evaluation/360484-1176970187/instance-360484-1176970187.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 285f81376739daaaae61d54cc606f233 RANDOM SEED= 274256197 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node23.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.276 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.276 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: 1664584 kB Buffers: 44160 kB Cached: 251836 kB SwapCached: 2388 kB Active: 144400 kB Inactive: 174716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1664584 kB SwapTotal: 4192956 kB SwapFree: 4169120 kB Dirty: 14832 kB Writeback: 0 kB Mapped: 30448 kB Slab: 57724 kB Committed_AS: 2451012 kB PageTables: 1800 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= 66441 MiB End job on node23 on Thu Apr 19 08:09:56 UTC 2007