Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
sat4jPseudoCPClause 2007-03-23 | SAT | 23.0565 | 19.4842 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb |
MD5SUM | f5d8cf0048d52cf223a3574d281ac8f8 |
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 | 6.586 |
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 | 2800 |
Total number of constraints | 990001 |
Number of constraints which are clauses | 986760 |
Number of constraints which are cardinality constraints (but not clauses) | 81 |
Number of constraints which are nor clauses,nor cardinality constraints | 3160 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1200 |
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 | 350 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1239 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.07/0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.07/0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.07/0.15 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.07/0.16 c no version file found!!! 0.07/0.16 c sun.arch.data.model 32 0.07/0.16 c java.version 1.6.0 0.07/0.16 c os.name Linux 0.07/0.16 c os.version 2.6.9-22.EL.rootsmp 0.07/0.16 c os.arch i386 0.07/0.16 c Free memory 1651659224 0.07/0.16 c Max memory 1654456320 0.07/0.16 c Total memory 1654456320 0.07/0.16 c Number of processors 2 0.19/0.21 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolverClause) 0.19/0.21 --- Begin Solver configuration --- 0.19/0.21 c Stops conflict analysis at the first Unique Implication Point 0.19/0.21 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.19/0.21 c Learn all clauses as in MiniSAT 0.19/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.19/0.21 c VSIDS like heuristics from MiniSAT using a heap 0.19/0.21 c No reason simplification 0.19/0.21 c --- End Solver configuration --- 0.19/0.21 c Simplify asserted PB constraints to clauses 0.19/0.21 c solving /tmp/evaluation/360652-1176971612/instance-360652-1176971612.opb 0.19/0.21 c reading problem ... 21.15/18.42 c ... done. Wall clock time 18.208s. 21.15/18.42 c CPU time (experimental) 16.32s. 21.15/18.42 c #vars 2800 21.15/18.42 c #constraints 990082 22.81/19.38 c starts : 2 22.81/19.38 c conflicts : 174 22.81/19.38 c decisions : 7231 22.81/19.38 c propagations : 13199 22.81/19.38 c inspects : 242466 22.81/19.38 c learnt literals : 0 22.81/19.38 c learnt binary clauses : 0 22.81/19.38 c learnt ternary clauses : 1 22.81/19.38 c learnt clauses : 174 22.81/19.38 c root simplifications : 0 22.81/19.38 c removed literals (reason simplification) : 0 22.81/19.38 c reason swapping (by a shorter reason) : 0 22.81/19.38 c Calls to reduceDB : 0 22.81/19.38 c speed (decisions/second) : 7595.588235294118 22.81/19.38 c non guided choices 4536 22.81/19.38 s SATISFIABLE 22.96/19.40 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 22.96/19.40 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 22.96/19.40 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 22.96/19.40 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 22.96/19.40 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 22.96/19.40 v x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 22.96/19.40 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 22.96/19.40 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 22.96/19.40 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 22.96/19.40 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 22.96/19.40 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 22.96/19.40 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 22.96/19.40 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 22.96/19.40 v -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 22.96/19.40 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 22.96/19.40 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 22.96/19.40 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 22.96/19.40 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 -x399 22.96/19.40 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 22.96/19.40 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 22.96/19.40 v -x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 22.96/19.40 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 22.96/19.40 v -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 22.96/19.40 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 22.96/19.40 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 22.96/19.40 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 22.96/19.40 v -x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 22.96/19.40 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 22.96/19.40 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 22.96/19.40 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 22.96/19.40 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 22.96/19.40 v -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 22.96/19.40 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 22.96/19.40 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 22.96/19.40 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 22.96/19.40 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 22.96/19.40 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 22.96/19.40 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 22.96/19.40 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 22.96/19.40 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 -x856 -x857 -x858 -x859 -x860 -x861 22.96/19.40 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 22.96/19.40 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 22.96/19.40 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x920 -x921 -x922 -x923 -x924 22.96/19.40 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 22.96/19.40 v -x946 -x947 x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 22.96/19.40 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 -x986 -x987 22.96/19.40 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 x1006 22.96/19.40 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 22.96/19.40 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 22.96/19.40 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 22.96/19.40 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074 22.96/19.40 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 22.96/19.40 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 22.96/19.40 v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 22.96/19.40 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 22.96/19.40 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 22.96/19.40 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 22.96/19.40 v -x1177 -x1178 -x1179 x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 22.96/19.40 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 22.96/19.40 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 22.96/19.40 v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 22.96/19.40 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 22.96/19.40 v -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 22.96/19.40 v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 x1290 -x1291 -x1292 -x1293 -x1294 -x1295 22.96/19.40 v -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 22.96/19.40 v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 22.96/19.40 v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 22.96/19.40 v -x1347 -x1348 -x1349 -x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 22.96/19.40 v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 22.96/19.40 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 x1395 -x1396 -x1397 22.96/19.40 v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 22.96/19.40 v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 22.96/19.40 v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 22.96/19.40 v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 22.96/19.40 v -x1466 x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 22.96/19.40 v x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 22.96/19.40 v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 22.96/19.40 v -x1517 -x1518 -x1519 -x1520 -x1521 x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 22.96/19.40 v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 22.96/19.40 v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 22.96/19.40 v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 22.96/19.40 v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 22.96/19.40 v -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 22.96/19.40 v -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 22.96/19.40 v -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 22.96/19.40 v -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 22.96/19.40 v -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 22.96/19.40 v -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 x1701 -x1702 -x1703 22.96/19.40 v -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 x1716 -x1717 -x1718 -x1719 -x1720 22.96/19.40 v -x1721 -x1722 -x1723 x1724 -x1725 x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 22.96/19.40 v -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 22.96/19.40 v -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 22.96/19.40 v -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 22.96/19.40 v -x1790 x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 x1798 -x1799 x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 22.96/19.40 v -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 22.96/19.40 v -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 22.96/19.40 v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 x1854 x1855 -x1856 -x1857 -x1858 -x1859 22.96/19.40 v -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 22.96/19.40 v -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 x1892 -x1893 22.96/19.40 v -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 x1910 22.96/19.40 v -x1911 -x1912 x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 22.96/19.40 v -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 22.96/19.40 v -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 22.96/19.40 v -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 22.96/19.40 v x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 22.96/19.40 v -x1996 x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 22.96/19.40 v -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 22.96/19.40 v -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 22.96/19.40 v -x2047 -x2048 -x2049 -x2050 x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 x2059 -x2060 -x2061 -x2062 -x2063 x2064 22.96/19.40 v -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 x2078 -x2079 -x2080 -x2081 22.96/19.40 v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 22.96/19.40 v -x2099 -x2100 -x2101 -x2102 -x2103 x2104 x2105 -x2106 -x2107 x2108 -x2109 -x2110 x2111 -x2112 -x2113 -x2114 -x2115 -x2116 22.96/19.40 v -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 22.96/19.40 v -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 22.96/19.40 v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 22.96/19.40 v -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 22.96/19.40 v -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 22.96/19.40 v -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 22.96/19.40 v -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 x2230 -x2231 -x2232 -x2233 x2234 -x2235 -x2236 22.96/19.40 v -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 22.96/19.40 v -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 x2262 -x2263 -x2264 -x2265 x2266 -x2267 -x2268 -x2269 -x2270 -x2271 22.96/19.40 v -x2272 -x2273 -x2274 x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 22.96/19.40 v -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 22.96/19.40 v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 22.96/19.40 v -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 x2334 -x2335 -x2336 -x2337 -x2338 -x2339 22.96/19.40 v -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 22.96/19.40 v -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 22.96/19.40 v -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 22.96/19.40 v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 22.96/19.40 v -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 22.96/19.40 v -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 22.96/19.40 v -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 22.96/19.40 v x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 22.96/19.40 v -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 22.96/19.40 v -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 22.96/19.40 v -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 22.96/19.40 v -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 x2541 -x2542 -x2543 22.96/19.40 v -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 22.96/19.40 v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 22.96/19.40 v -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 22.96/19.40 v -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 22.96/19.40 v -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 22.96/19.40 v -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 22.96/19.40 v -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 22.96/19.40 v -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 22.96/19.40 v -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 22.96/19.40 v -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 22.96/19.40 v -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 22.96/19.40 v x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 x2747 -x2748 22.96/19.40 v -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 22.96/19.40 v -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 22.96/19.40 v -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 22.96/19.40 v -x2800 22.96/19.42 c Total wall clock time (ms): 19.204
OK 0
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node54/watcher-360652-1176971612 -o ROOT/results/node54/solver-360652-1176971612 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/360652-1176971612/sat4jPseudoCPClause.jar /tmp/evaluation/360652-1176971612/instance-360652-1176971612.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: 0.92 0.98 0.99 2/66 22650 /proc/meminfo: memFree=1077432/2055920 swapFree=4181256/4192956 [pid=22650] ppid=22648 vsize=152 CPUtime=0 /proc/22650/stat : 22650 (java) R 22648 22650 22514 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 144535737 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 1819428 0 0 4096 0 0 0 0 17 1 0 0 /proc/22650/statm: 38 26 19 9 0 4 0 [startup+0.0741589 s] /proc/loadavg: 0.92 0.98 0.99 2/66 22650 /proc/meminfo: memFree=1077432/2055920 swapFree=4181256/4192956 [pid=22650] ppid=22648 vsize=1777708 CPUtime=0.05 /proc/22650/stat : 22650 (java) S 22648 22650 22514 0 -1 0 3645 0 1 0 3 2 0 0 18 0 7 0 144535737 1820372992 3388 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/22650/statm: 444427 3388 1077 9 0 442063 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1777708 [startup+0.101162 s] /proc/loadavg: 0.92 0.98 0.99 2/66 22650 /proc/meminfo: memFree=1077432/2055920 swapFree=4181256/4192956 [pid=22650] ppid=22648 vsize=1777844 CPUtime=0.07 /proc/22650/stat : 22650 (java) S 22648 22650 22514 0 -1 0 3859 0 1 0 5 2 0 0 18 0 7 0 144535737 1820512256 3602 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0 /proc/22650/statm: 444461 3602 1091 9 0 442097 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1777844 [startup+0.301187 s] /proc/loadavg: 0.92 0.98 0.99 2/66 22650 /proc/meminfo: memFree=1077432/2055920 swapFree=4181256/4192956 [pid=22650] ppid=22648 vsize=1781340 CPUtime=0.3 /proc/22650/stat : 22650 (java) S 22648 22650 22514 0 -1 0 5116 0 1 0 26 4 0 0 18 0 12 0 144535737 1824092160 4855 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22650/statm: 445335 4855 1263 9 0 442946 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 1781340 [startup+0.701239 s] /proc/loadavg: 0.92 0.98 0.99 2/66 22650 /proc/meminfo: memFree=1077432/2055920 swapFree=4181256/4192956 [pid=22650] ppid=22648 vsize=1782468 CPUtime=0.88 /proc/22650/stat : 22650 (java) S 22648 22650 22514 0 -1 0 6740 0 1 0 83 5 0 0 18 0 12 0 144535737 1825247232 6308 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22650/statm: 445617 6308 1301 9 0 443228 0 Current children cumulated CPU time (s) 0.88 Current children cumulated vsize (KiB) 1782468 [startup+1.50234 s] /proc/loadavg: 0.92 0.98 0.99 3/78 22662 /proc/meminfo: memFree=1050392/2055920 swapFree=4181256/4192956 [pid=22650] ppid=22648 vsize=1784948 CPUtime=2.03 /proc/22650/stat : 22650 (java) S 22648 22650 22514 0 -1 0 17388 0 1 0 193 10 0 0 18 0 12 0 144535737 1827786752 16299 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22650/statm: 446237 16300 1303 9 0 443848 0 [pid=22650/tid=22652] ppid=22648 vsize=1784948 CPUtime=1.02 /proc/22650/task/22652/stat : 22652 (java) R 22648 22650 22514 0 -1 64 14449 0 1 0 94 8 0 0 19 0 12 0 144535738 1827786752 16301 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109557034 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22650/tid=22653] ppid=22648 vsize=1784948 CPUtime=0 /proc/22650/task/22653/stat : 22653 (java) S 22648 22650 22514 0 -1 64 3 0 0 0 0 0 0 0 18 0 12 0 144535741 1827786752 16303 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22654] ppid=22648 vsize=1784948 CPUtime=0 /proc/22650/task/22654/stat : 22654 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 144535741 1827786752 16304 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22655] ppid=22648 vsize=1784948 CPUtime=0 /proc/22650/task/22655/stat : 22655 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 17 0 12 0 144535743 1827786752 16305 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22656] ppid=22648 vsize=1784948 CPUtime=0 /proc/22650/task/22656/stat : 22656 (java) S 22648 22650 22514 0 -1 64 9 0 0 0 0 0 0 0 21 0 12 0 144535743 1827786752 16306 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22657] ppid=22648 vsize=1784948 CPUtime=0 /proc/22650/task/22657/stat : 22657 (java) S 22648 22650 22514 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 144535743 1827786752 16307 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22658] ppid=22648 vsize=1784948 CPUtime=0 /proc/22650/task/22658/stat : 22658 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 144535747 1827786752 16307 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22659] ppid=22648 vsize=1784948 CPUtime=0.49 /proc/22650/task/22659/stat : 22659 (java) S 22648 22650 22514 0 -1 64 1204 0 0 0 48 1 0 0 16 0 12 0 144535747 1827786752 16308 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22660] ppid=22648 vsize=1784948 CPUtime=0.49 /proc/22650/task/22660/stat : 22660 (java) S 22648 22650 22514 0 -1 64 1019 0 0 0 49 0 0 0 17 0 12 0 144535747 1827786752 16309 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22650/tid=22661] ppid=22648 vsize=1784948 CPUtime=0 /proc/22650/task/22661/stat : 22661 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 144535747 1827786752 16310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22662] ppid=22648 vsize=1784948 CPUtime=0 /proc/22650/task/22662/stat : 22662 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 144535747 1827786752 16312 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.03 Current children cumulated vsize (KiB) 1784948 [startup+3.10254 s] /proc/loadavg: 0.92 0.98 0.99 2/78 22662 /proc/meminfo: memFree=948696/2055920 swapFree=4181256/4192956 [pid=22650] ppid=22648 vsize=1784948 CPUtime=3.66 /proc/22650/stat : 22650 (java) S 22648 22650 22514 0 -1 0 41803 0 1 0 344 22 0 0 18 0 12 0 144535737 1827786752 40708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22650/statm: 446237 40708 1312 9 0 443848 0 [pid=22650/tid=22652] ppid=22648 vsize=1784948 CPUtime=2.59 /proc/22650/task/22652/stat : 22652 (java) R 22648 22650 22514 0 -1 64 37674 0 1 0 239 20 0 0 24 0 12 0 144535738 1827786752 40708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109584838 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22650/tid=22653] ppid=22648 vsize=1784948 CPUtime=0.03 /proc/22650/task/22653/stat : 22653 (java) S 22648 22650 22514 0 -1 64 545 0 0 0 3 0 0 0 16 0 12 0 144535741 1827786752 40708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22654] ppid=22648 vsize=1784948 CPUtime=0.02 /proc/22650/task/22654/stat : 22654 (java) S 22648 22650 22514 0 -1 64 635 0 0 0 2 0 0 0 16 0 12 0 144535741 1827786752 40708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22650/tid=22655] ppid=22648 vsize=1784948 CPUtime=0 /proc/22650/task/22655/stat : 22655 (java) S 22648 22650 22514 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 144535743 1827786752 40708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22656] ppid=22648 vsize=1784948 CPUtime=0 /proc/22650/task/22656/stat : 22656 (java) S 22648 22650 22514 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 144535743 1827786752 40708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22657] ppid=22648 vsize=1784948 CPUtime=0 /proc/22650/task/22657/stat : 22657 (java) S 22648 22650 22514 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 144535743 1827786752 40708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22658] ppid=22648 vsize=1784948 CPUtime=0 /proc/22650/task/22658/stat : 22658 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 144535747 1827786752 40708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22659] ppid=22648 vsize=1784948 CPUtime=0.49 /proc/22650/task/22659/stat : 22659 (java) S 22648 22650 22514 0 -1 64 1204 0 0 0 48 1 0 0 16 0 12 0 144535747 1827786752 40708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22660] ppid=22648 vsize=1784948 CPUtime=0.49 /proc/22650/task/22660/stat : 22660 (java) S 22648 22650 22514 0 -1 64 1019 0 0 0 49 0 0 0 17 0 12 0 144535747 1827786752 40708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22650/tid=22661] ppid=22648 vsize=1784948 CPUtime=0 /proc/22650/task/22661/stat : 22661 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 144535747 1827786752 40708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22662] ppid=22648 vsize=1784948 CPUtime=0 /proc/22650/task/22662/stat : 22662 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 144535747 1827786752 40708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.66 Current children cumulated vsize (KiB) 1784948 [startup+6.30295 s] /proc/loadavg: 1.01 1.00 1.00 2/78 22662 /proc/meminfo: memFree=892120/2055920 swapFree=4181256/4192956 [pid=22650] ppid=22648 vsize=1786696 CPUtime=7.15 /proc/22650/stat : 22650 (java) S 22648 22650 22514 0 -1 0 50940 0 1 0 688 27 0 0 18 0 12 0 144535737 1829576704 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22650/statm: 446674 49423 1312 9 0 444285 0 [pid=22650/tid=22652] ppid=22648 vsize=1786696 CPUtime=5.49 /proc/22650/task/22652/stat : 22652 (java) R 22648 22650 22514 0 -1 64 37679 0 1 0 529 20 0 0 17 0 12 0 144535738 1829576704 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109518927 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22650/tid=22653] ppid=22648 vsize=1786696 CPUtime=0.32 /proc/22650/task/22653/stat : 22653 (java) S 22648 22650 22514 0 -1 64 5650 0 0 0 30 2 0 0 17 0 12 0 144535741 1829576704 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22654] ppid=22648 vsize=1786696 CPUtime=0.31 /proc/22650/task/22654/stat : 22654 (java) S 22648 22650 22514 0 -1 64 4655 0 0 0 30 1 0 0 17 0 12 0 144535741 1829576704 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22655] ppid=22648 vsize=1786696 CPUtime=0 /proc/22650/task/22655/stat : 22655 (java) S 22648 22650 22514 0 -1 64 15 0 0 0 0 0 0 0 16 0 12 0 144535743 1829576704 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22656] ppid=22648 vsize=1786696 CPUtime=0 /proc/22650/task/22656/stat : 22656 (java) S 22648 22650 22514 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 144535743 1829576704 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22657] ppid=22648 vsize=1786696 CPUtime=0 /proc/22650/task/22657/stat : 22657 (java) S 22648 22650 22514 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 144535743 1829576704 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22658] ppid=22648 vsize=1786696 CPUtime=0 /proc/22650/task/22658/stat : 22658 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 144535747 1829576704 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22659] ppid=22648 vsize=1786696 CPUtime=0.49 /proc/22650/task/22659/stat : 22659 (java) S 22648 22650 22514 0 -1 64 1204 0 0 0 48 1 0 0 16 0 12 0 144535747 1829576704 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22660] ppid=22648 vsize=1786696 CPUtime=0.49 /proc/22650/task/22660/stat : 22660 (java) S 22648 22650 22514 0 -1 64 1019 0 0 0 49 0 0 0 17 0 12 0 144535747 1829576704 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22650/tid=22661] ppid=22648 vsize=1786696 CPUtime=0 /proc/22650/task/22661/stat : 22661 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 144535747 1829576704 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22662] ppid=22648 vsize=1786696 CPUtime=0 /proc/22650/task/22662/stat : 22662 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 144535747 1829576704 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 7.15 Current children cumulated vsize (KiB) 1786696 [startup+12.7018 s] /proc/loadavg: 1.01 1.00 1.00 2/78 22662 /proc/meminfo: memFree=831896/2055920 swapFree=4181256/4192956 [pid=22650] ppid=22648 vsize=1788616 CPUtime=14.26 /proc/22650/stat : 22650 (java) S 22648 22650 22514 0 -1 0 66254 0 1 0 1391 35 0 0 18 0 12 0 144535737 1831542784 63089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22650/statm: 447154 63089 1312 9 0 444765 0 [pid=22650/tid=22652] ppid=22648 vsize=1788616 CPUtime=11.17 /proc/22650/task/22652/stat : 22652 (java) S 22648 22650 22514 0 -1 64 37687 0 1 0 1095 22 0 0 22 0 12 0 144535738 1831542784 63089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22650/tid=22653] ppid=22648 vsize=1788616 CPUtime=1.03 /proc/22650/task/22653/stat : 22653 (java) R 22648 22650 22514 0 -1 64 12823 0 0 0 98 5 0 0 16 0 12 0 144535741 1831542784 63089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103370359 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22654] ppid=22648 vsize=1788616 CPUtime=1.02 /proc/22650/task/22654/stat : 22654 (java) R 22648 22650 22514 0 -1 64 12786 0 0 0 98 4 0 0 17 0 12 0 144535741 1831542784 63089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105369186 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22650/tid=22655] ppid=22648 vsize=1788616 CPUtime=0 /proc/22650/task/22655/stat : 22655 (java) S 22648 22650 22514 0 -1 64 17 0 0 0 0 0 0 0 15 0 12 0 144535743 1831542784 63089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22656] ppid=22648 vsize=1788616 CPUtime=0 /proc/22650/task/22656/stat : 22656 (java) S 22648 22650 22514 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 144535743 1831542784 63089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22657] ppid=22648 vsize=1788616 CPUtime=0 /proc/22650/task/22657/stat : 22657 (java) S 22648 22650 22514 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 144535743 1831542784 63089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22658] ppid=22648 vsize=1788616 CPUtime=0 /proc/22650/task/22658/stat : 22658 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 144535747 1831542784 63089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22659] ppid=22648 vsize=1788616 CPUtime=0.49 /proc/22650/task/22659/stat : 22659 (java) S 22648 22650 22514 0 -1 64 1204 0 0 0 48 1 0 0 16 0 12 0 144535747 1831542784 63089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22660] ppid=22648 vsize=1788616 CPUtime=0.49 /proc/22650/task/22660/stat : 22660 (java) S 22648 22650 22514 0 -1 64 1019 0 0 0 49 0 0 0 16 0 12 0 144535747 1831542784 63089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22650/tid=22661] ppid=22648 vsize=1788616 CPUtime=0 /proc/22650/task/22661/stat : 22661 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 144535747 1831542784 63089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22662] ppid=22648 vsize=1788616 CPUtime=0 /proc/22650/task/22662/stat : 22662 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 144535747 1831542784 63089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.26 Current children cumulated vsize (KiB) 1788616 Solver just ended. Dumping a history of the last processes samples [startup+15.9022 s] /proc/loadavg: 1.09 1.02 1.01 2/78 22662 /proc/meminfo: memFree=822296/2055920 swapFree=4181256/4192956 [pid=22650] ppid=22648 vsize=1788616 CPUtime=17.69 /proc/22650/stat : 22650 (java) S 22648 22650 22514 0 -1 0 71181 0 1 0 1732 37 0 0 18 0 12 0 144535737 1831542784 67225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22650/statm: 447154 67225 1312 9 0 444765 0 [pid=22650/tid=22652] ppid=22648 vsize=1788616 CPUtime=14.08 /proc/22650/task/22652/stat : 22652 (java) R 22648 22650 22514 0 -1 64 37692 0 1 0 1386 22 0 0 19 0 12 0 144535738 1831542784 67225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109662804 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22650/tid=22653] ppid=22648 vsize=1788616 CPUtime=1.27 /proc/22650/task/22653/stat : 22653 (java) S 22648 22650 22514 0 -1 64 14873 0 0 0 121 6 0 0 16 0 12 0 144535741 1831542784 67225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22654] ppid=22648 vsize=1788616 CPUtime=1.29 /proc/22650/task/22654/stat : 22654 (java) S 22648 22650 22514 0 -1 64 15656 0 0 0 124 5 0 0 17 0 12 0 144535741 1831542784 67225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22650/tid=22655] ppid=22648 vsize=1788616 CPUtime=0 /proc/22650/task/22655/stat : 22655 (java) S 22648 22650 22514 0 -1 64 19 0 0 0 0 0 0 0 16 0 12 0 144535743 1831542784 67225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22656] ppid=22648 vsize=1788616 CPUtime=0 /proc/22650/task/22656/stat : 22656 (java) S 22648 22650 22514 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 144535743 1831542784 67225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22657] ppid=22648 vsize=1788616 CPUtime=0 /proc/22650/task/22657/stat : 22657 (java) S 22648 22650 22514 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 144535743 1831542784 67225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/22650/task/22658/stat : 22658 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 144535747 1831542784 67225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22659] ppid=22648 vsize=1788616 CPUtime=0.49 /proc/22650/task/22659/stat : 22659 (java) S 22648 22650 22514 0 -1 64 1204 0 0 0 48 1 0 0 16 0 12 0 144535747 1831542784 67225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22660] ppid=22648 vsize=1788616 CPUtime=0.49 /proc/22650/task/22660/stat : 22660 (java) S 22648 22650 22514 0 -1 64 1019 0 0 0 49 0 0 0 16 0 12 0 144535747 1831542784 67225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22650/tid=22661] ppid=22648 vsize=1788616 CPUtime=0 /proc/22650/task/22661/stat : 22661 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 144535747 1831542784 67225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22662] ppid=22648 vsize=1788616 CPUtime=0 /proc/22650/task/22662/stat : 22662 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 144535747 1831542784 67225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 17.69 Current children cumulated vsize (KiB) 1788616 [startup+17.5024 s] /proc/loadavg: 1.09 1.02 1.01 4/78 22662 /proc/meminfo: memFree=807256/2055920 swapFree=4181256/4192956 [pid=22650] ppid=22648 vsize=1788616 CPUtime=19.47 /proc/22650/stat : 22650 (java) S 22648 22650 22514 0 -1 0 72836 0 1 0 1909 38 0 0 18 0 12 0 144535737 1831542784 68763 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22650/statm: 447154 68763 1316 9 0 444765 0 [pid=22650/tid=22652] ppid=22648 vsize=1788616 CPUtime=15.55 /proc/22650/task/22652/stat : 22652 (java) R 22648 22650 22514 0 -1 64 37704 0 1 0 1533 22 0 0 17 0 12 0 144535738 1831542784 68763 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22653] ppid=22648 vsize=1788616 CPUtime=1.4 /proc/22650/task/22653/stat : 22653 (java) S 22648 22650 22514 0 -1 64 15975 0 0 0 133 7 0 0 16 0 12 0 144535741 1831542784 68763 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22654] ppid=22648 vsize=1788616 CPUtime=1.43 /proc/22650/task/22654/stat : 22654 (java) S 22648 22650 22514 0 -1 64 16192 0 0 0 137 6 0 0 16 0 12 0 144535741 1831542784 68763 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22650/tid=22655] ppid=22648 vsize=1788616 CPUtime=0 /proc/22650/task/22655/stat : 22655 (java) S 22648 22650 22514 0 -1 64 20 0 0 0 0 0 0 0 15 0 12 0 144535743 1831542784 68763 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22656] ppid=22648 vsize=1788616 CPUtime=0 /proc/22650/task/22656/stat : 22656 (java) S 22648 22650 22514 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 144535743 1831542784 68763 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22657] ppid=22648 vsize=1788616 CPUtime=0 /proc/22650/task/22657/stat : 22657 (java) S 22648 22650 22514 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 144535743 1831542784 68763 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22658] ppid=22648 vsize=1788616 CPUtime=0 /proc/22650/task/22658/stat : 22658 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 144535747 1831542784 68763 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22659] ppid=22648 vsize=1788616 CPUtime=0.51 /proc/22650/task/22659/stat : 22659 (java) R 22648 22650 22514 0 -1 64 1204 0 0 0 50 1 0 0 16 0 12 0 144535747 1831542784 68763 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103171656 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22650/tid=22660] ppid=22648 vsize=1788616 CPUtime=0.53 /proc/22650/task/22660/stat : 22660 (java) R 22648 22650 22514 0 -1 64 1023 0 0 0 53 0 0 0 16 0 12 0 144535747 1831542784 68763 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102461773 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22661] ppid=22648 vsize=1788616 CPUtime=0 /proc/22650/task/22661/stat : 22661 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 144535747 1831542784 68763 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22662] ppid=22648 vsize=1788616 CPUtime=0 /proc/22650/task/22662/stat : 22662 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 144535747 1831542784 68763 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 19.47 Current children cumulated vsize (KiB) 1788616 [startup+18.3025 s] /proc/loadavg: 1.09 1.02 1.01 4/78 22662 /proc/meminfo: memFree=807256/2055920 swapFree=4181256/4192956 [pid=22650] ppid=22648 vsize=1796192 CPUtime=20.98 /proc/22650/stat : 22650 (java) S 22648 22650 22514 0 -1 0 78043 0 1 0 2058 40 0 0 18 0 12 0 144535737 1839300608 70486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22650/statm: 449048 70486 1324 9 0 446659 0 [pid=22650/tid=22652] ppid=22648 vsize=1796192 CPUtime=16.28 /proc/22650/task/22652/stat : 22652 (java) S 22648 22650 22514 0 -1 64 37705 0 1 0 1605 23 0 0 23 0 12 0 144535738 1839300608 70486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22653] ppid=22648 vsize=1796192 CPUtime=1.4 /proc/22650/task/22653/stat : 22653 (java) R 22648 22650 22514 0 -1 64 15975 0 0 0 133 7 0 0 16 0 12 0 144535741 1839300608 70486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103370359 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22654] ppid=22648 vsize=1796192 CPUtime=1.43 /proc/22650/task/22654/stat : 22654 (java) R 22648 22650 22514 0 -1 64 16192 0 0 0 137 6 0 0 16 0 12 0 144535741 1839300608 70486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103370359 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22650/tid=22655] ppid=22648 vsize=1796192 CPUtime=0 /proc/22650/task/22655/stat : 22655 (java) S 22648 22650 22514 0 -1 64 20 0 0 0 0 0 0 0 17 0 12 0 144535743 1839300608 70486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22656] ppid=22648 vsize=1796192 CPUtime=0 /proc/22650/task/22656/stat : 22656 (java) S 22648 22650 22514 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 144535743 1839300608 70486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22657] ppid=22648 vsize=1796192 CPUtime=0 /proc/22650/task/22657/stat : 22657 (java) S 22648 22650 22514 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 144535743 1839300608 70486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22658] ppid=22648 vsize=1796192 CPUtime=0 /proc/22650/task/22658/stat : 22658 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 144535747 1839300608 70486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22659] ppid=22648 vsize=1796192 CPUtime=1.13 /proc/22650/task/22659/stat : 22659 (java) S 22648 22650 22514 0 -1 64 5201 0 0 0 111 2 0 0 22 0 12 0 144535747 1839300608 70486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22660] ppid=22648 vsize=1796192 CPUtime=0.71 /proc/22650/task/22660/stat : 22660 (java) S 22648 22650 22514 0 -1 64 2232 0 0 0 71 0 0 0 16 0 12 0 144535747 1839300608 70486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22650/tid=22661] ppid=22648 vsize=1796192 CPUtime=0 /proc/22650/task/22661/stat : 22661 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 144535747 1839300608 70486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22662] ppid=22648 vsize=1796192 CPUtime=0 /proc/22650/task/22662/stat : 22662 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 144535747 1839300608 70486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 20.98 Current children cumulated vsize (KiB) 1796192 [startup+19.1026 s] /proc/loadavg: 1.24 1.05 1.02 3/79 22663 /proc/meminfo: memFree=796432/2055920 swapFree=4181256/4192956 [pid=22650] ppid=22648 vsize=1797540 CPUtime=22.46 /proc/22650/stat : 22650 (java) S 22648 22650 22514 0 -1 0 82833 0 1 0 2204 42 0 0 18 0 13 0 144535737 1840680960 71636 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22650/statm: 449385 71636 1333 9 0 446996 0 [pid=22650/tid=22652] ppid=22648 vsize=1797540 CPUtime=16.65 /proc/22650/task/22652/stat : 22652 (java) R 22648 22650 22514 0 -1 64 37740 0 1 0 1642 23 0 0 18 0 13 0 144535738 1840680960 71636 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109851596 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22653] ppid=22648 vsize=1797540 CPUtime=1.47 /proc/22650/task/22653/stat : 22653 (java) S 22648 22650 22514 0 -1 64 16528 0 0 0 140 7 0 0 16 0 13 0 144535741 1840680960 71636 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22654] ppid=22648 vsize=1797540 CPUtime=1.5 /proc/22650/task/22654/stat : 22654 (java) S 22648 22650 22514 0 -1 64 16488 0 0 0 144 6 0 0 16 0 13 0 144535741 1840680960 71636 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22650/tid=22655] ppid=22648 vsize=1797540 CPUtime=0 /proc/22650/task/22655/stat : 22655 (java) S 22648 22650 22514 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 144535743 1840680960 71636 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22656] ppid=22648 vsize=1797540 CPUtime=0 /proc/22650/task/22656/stat : 22656 (java) S 22648 22650 22514 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 144535743 1840680960 71638 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22657] ppid=22648 vsize=1797540 CPUtime=0 /proc/22650/task/22657/stat : 22657 (java) S 22648 22650 22514 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144535743 1840680960 71644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22658] ppid=22648 vsize=1797540 CPUtime=0 /proc/22650/task/22658/stat : 22658 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 144535747 1840680960 71644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22659] ppid=22648 vsize=1797540 CPUtime=1.57 /proc/22650/task/22659/stat : 22659 (java) R 22648 22650 22514 0 -1 64 6352 0 0 0 155 2 0 0 17 0 13 0 144535747 1840680960 71644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102374652 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22660] ppid=22648 vsize=1797540 CPUtime=1.22 /proc/22650/task/22660/stat : 22660 (java) R 22648 22650 22514 0 -1 64 4992 0 0 0 121 1 0 0 17 0 13 0 144535747 1840680960 71644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 2285271 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22650/tid=22661] ppid=22648 vsize=1797540 CPUtime=0 /proc/22650/task/22661/stat : 22661 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 144535747 1840680960 71644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22662] ppid=22648 vsize=1797540 CPUtime=0 /proc/22650/task/22662/stat : 22662 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 144535747 1840680960 71644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22650/tid=22663] ppid=22648 vsize=1797540 CPUtime=0 /proc/22650/task/22663/stat : 22663 (java) S 22648 22650 22514 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 144537580 1840680960 71644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 22.46 Current children cumulated vsize (KiB) 1797540 [startup+19.3026 s] /proc/loadavg: 1.24 1.05 1.02 3/79 22663 /proc/meminfo: memFree=796432/2055920 swapFree=4181256/4192956 [pid=22650] ppid=22648 vsize=1797540 CPUtime=22.81 /proc/22650/stat : 22650 (java) S 22648 22650 22514 0 -1 0 83749 0 1 0 2238 43 0 0 18 0 13 0 144535737 1840680960 71779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22650/statm: 449385 71779 1333 9 0 446996 0 [pid=22650/tid=22652] ppid=22648 vsize=1797540 CPUtime=16.79 /proc/22650/task/22652/stat : 22652 (java) R 22648 22650 22514 0 -1 64 37741 0 1 0 1656 23 0 0 20 0 13 0 144535738 1840680960 71779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22650/tid=22653] ppid=22648 vsize=1797540 CPUtime=1.47 /proc/22650/task/22653/stat : 22653 (java) S 22648 22650 22514 0 -1 64 16528 0 0 0 140 7 0 0 16 0 13 0 144535741 1840680960 71779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22654] ppid=22648 vsize=1797540 CPUtime=1.5 /proc/22650/task/22654/stat : 22654 (java) S 22648 22650 22514 0 -1 64 16488 0 0 0 144 6 0 0 16 0 13 0 144535741 1840680960 71779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22650/tid=22655] ppid=22648 vsize=1797540 CPUtime=0 /proc/22650/task/22655/stat : 22655 (java) S 22648 22650 22514 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 144535743 1840680960 71779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22656] ppid=22648 vsize=1797540 CPUtime=0 /proc/22650/task/22656/stat : 22656 (java) S 22648 22650 22514 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 144535743 1840680960 71779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22657] ppid=22648 vsize=1797540 CPUtime=0 /proc/22650/task/22657/stat : 22657 (java) S 22648 22650 22514 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144535743 1840680960 71779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22658] ppid=22648 vsize=1797540 CPUtime=0 /proc/22650/task/22658/stat : 22658 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 144535747 1840680960 71779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22659] ppid=22648 vsize=1797540 CPUtime=1.65 /proc/22650/task/22659/stat : 22659 (java) R 22648 22650 22514 0 -1 64 6354 0 0 0 163 2 0 0 16 0 13 0 144535747 1840680960 71779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105432593 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22660] ppid=22648 vsize=1797540 CPUtime=1.34 /proc/22650/task/22660/stat : 22660 (java) R 22648 22650 22514 0 -1 64 5897 0 0 0 132 2 0 0 17 0 13 0 144535747 1840680960 71779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103027171 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22650/tid=22661] ppid=22648 vsize=1797540 CPUtime=0 /proc/22650/task/22661/stat : 22661 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 144535747 1840680960 71779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22662] ppid=22648 vsize=1797540 CPUtime=0 /proc/22650/task/22662/stat : 22662 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 144535747 1840680960 71779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22650/tid=22663] ppid=22648 vsize=1797540 CPUtime=0 /proc/22650/task/22663/stat : 22663 (java) S 22648 22650 22514 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 144537580 1840680960 71779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 22.81 Current children cumulated vsize (KiB) 1797540 [startup+19.4026 s] /proc/loadavg: 1.24 1.05 1.02 3/79 22663 /proc/meminfo: memFree=796432/2055920 swapFree=4181256/4192956 [pid=22650] ppid=22648 vsize=1797540 CPUtime=22.96 /proc/22650/stat : 22650 (java) S 22648 22650 22514 0 -1 0 83760 0 1 0 2253 43 0 0 18 0 13 0 144535737 1840680960 71789 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22650/statm: 449385 71789 1334 9 0 446996 0 [pid=22650/tid=22652] ppid=22648 vsize=1797540 CPUtime=16.84 /proc/22650/task/22652/stat : 22652 (java) S 22648 22650 22514 0 -1 64 37744 0 1 0 1661 23 0 0 17 0 13 0 144535738 1840680960 71789 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22650/tid=22653] ppid=22648 vsize=1797540 CPUtime=1.47 /proc/22650/task/22653/stat : 22653 (java) S 22648 22650 22514 0 -1 64 16528 0 0 0 140 7 0 0 16 0 13 0 144535741 1840680960 71789 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22654] ppid=22648 vsize=1797540 CPUtime=1.5 /proc/22650/task/22654/stat : 22654 (java) S 22648 22650 22514 0 -1 64 16488 0 0 0 144 6 0 0 16 0 13 0 144535741 1840680960 71789 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22650/tid=22655] ppid=22648 vsize=1797540 CPUtime=0 /proc/22650/task/22655/stat : 22655 (java) S 22648 22650 22514 0 -1 64 20 0 0 0 0 0 0 0 17 0 13 0 144535743 1840680960 71789 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=22650/tid=22656] ppid=22648 vsize=1797540 CPUtime=0 /proc/22650/task/22656/stat : 22656 (java) S 22648 22650 22514 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 144535743 1840680960 71789 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22657] ppid=22648 vsize=1797540 CPUtime=0 /proc/22650/task/22657/stat : 22657 (java) S 22648 22650 22514 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144535743 1840680960 71789 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22658] ppid=22648 vsize=1797540 CPUtime=0 /proc/22650/task/22658/stat : 22658 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 144535747 1840680960 71789 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22659] ppid=22648 vsize=1797540 CPUtime=1.68 /proc/22650/task/22659/stat : 22659 (java) S 22648 22650 22514 0 -1 64 6356 0 0 0 166 2 0 0 16 0 13 0 144535747 1840680960 71789 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22660] ppid=22648 vsize=1797540 CPUtime=1.39 /proc/22650/task/22660/stat : 22660 (java) S 22648 22650 22514 0 -1 64 5900 0 0 0 137 2 0 0 16 0 13 0 144535747 1840680960 71789 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22650/tid=22661] ppid=22648 vsize=1797540 CPUtime=0 /proc/22650/task/22661/stat : 22661 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 144535747 1840680960 71789 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22650/tid=22662] ppid=22648 vsize=1797540 CPUtime=0 /proc/22650/task/22662/stat : 22662 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 144535747 1840680960 71789 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 22.96 Current children cumulated vsize (KiB) 1797540 Child status: 10 Real time (s): 19.4842 CPU time (s): 23.0565 CPU user time (s): 22.5756 CPU system time (s): 0.480926 CPU usage (%): 118.334 Max. virtual memory (cumulated for all children) (KiB): 1799092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 22.5756 system time used= 0.480926 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 83766 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= 1128 involuntary context switches= 969 runsolver used 0.035994 second user time and 0.058991 second system time The end
Begin job on node54 on Thu Apr 19 08:33:33 UTC 2007 IDJOB= 360652 IDBENCH= 1386 IDSOLVER= 164 FILE ID= node54/360652-1176971612 PBS_JOBID= 4630326 Free space on /tmp= 66303 MiB SOLVER NAME= sat4jPseudoCPClause 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/360652-1176971612/sat4jPseudoCPClause.jar /tmp/evaluation/360652-1176971612/instance-360652-1176971612.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node54/watcher-360652-1176971612 -o ROOT/results/node54/solver-360652-1176971612 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/360652-1176971612/sat4jPseudoCPClause.jar /tmp/evaluation/360652-1176971612/instance-360652-1176971612.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= f5d8cf0048d52cf223a3574d281ac8f8 RANDOM SEED= 969234916 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node54.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.234 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.234 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: 1077840 kB Buffers: 37124 kB Cached: 888196 kB SwapCached: 4648 kB Active: 394580 kB Inactive: 541104 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1077840 kB SwapTotal: 4192956 kB SwapFree: 4181256 kB Dirty: 37696 kB Writeback: 0 kB Mapped: 15548 kB Slab: 28360 kB Committed_AS: 2061656 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66303 MiB End job on node54 on Thu Apr 19 08:33:52 UTC 2007