Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J Pseudo CP 2.1.1 | SAT | 19.889 | 15.8521 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb |
MD5SUM | d54403a51e1ff3d34cd210d836adfe84 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
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 | 4.54731 |
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 | 344 |
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.09/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre 0.09/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.09/0.14 c See www.sat4j.org for details. 0.09/0.15 c version 2.1.1.v20090612 0.09/0.15 c sun.arch.data.model 32 0.09/0.15 c java.version 1.6.0_12 0.09/0.15 c os.name Linux 0.09/0.15 c os.version 2.6.9-22.EL.rootsmp 0.09/0.15 c os.arch i386 0.09/0.15 c Free memory 1342000320 0.09/0.15 c Max memory 1344274432 0.09/0.15 c Total memory 1344274432 0.09/0.15 c Number of processors 2 0.22/0.22 c Pseudo Boolean Optimization 0.22/0.22 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.22/0.22 c --- Begin Solver configuration --- 0.22/0.22 c Stops conflict analysis at the first Unique Implication Point 0.22/0.22 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ecd7e 0.22/0.22 c Learn all clauses as in MiniSAT 0.22/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.22 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.22/0.22 c No reason simplification 0.22/0.22 c MiniSAT restarts strategy 0.22/0.22 c Memory based learned constraints deletion strategy 0.22/0.22 c timeout=2147483s 0.22/0.22 c DB Simplification allowed=false 0.22/0.22 c --- End Solver configuration --- 0.22/0.22 c solving HOME/instance-1855052-1244866305.opb 0.22/0.22 c reading problem ... 16.68/14.10 c ... done. Wall clock time 13.881s. 16.68/14.10 c #vars 2800 16.68/14.10 c #constraints 990082 16.68/14.10 c constraints type 16.68/14.10 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1200 16.68/14.10 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 985640 16.68/14.10 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 82 16.68/14.10 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3160 19.65/15.72 c starts : 3 19.65/15.72 c conflicts : 456 19.65/15.72 c decisions : 9070 19.65/15.72 c propagations : 22112 19.65/15.72 c inspects : 516905 19.65/15.72 c learnt literals : 0 19.65/15.72 c learnt binary clauses : 0 19.65/15.72 c learnt ternary clauses : 0 19.65/15.72 c learnt clauses : 456 19.65/15.72 c ignored clauses : 0 19.65/15.72 c root simplifications : 0 19.65/15.72 c removed literals (reason simplification) : 0 19.65/15.72 c reason swapping (by a shorter reason) : 0 19.65/15.72 c Calls to reduceDB : 0 19.65/15.72 c speed (assignments/second) : 13649.382716049382 19.65/15.72 c non guided choices 1480 19.65/15.72 c learnt constraints type 19.65/15.72 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 364 19.65/15.72 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 16 19.65/15.72 c org.sat4j.pb.constraints.pb.MaxWatchPb => 76 19.65/15.72 c constraints type 19.65/15.72 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1200 19.65/15.72 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 985640 19.65/15.72 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 82 19.65/15.72 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3160 19.65/15.72 s SATISFIABLE 19.65/15.75 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 x1735 -x1736 x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 x1753 x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 x2016 -x2017 -x2018 -x2019 -x2020 -x2021 x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 x2050 -x2051 -x2052 -x2053 x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 x2199 -x2200 -x2201 -x2202 -x2203 x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 x2443 -x2444 x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 x2478 -x2479 -x2480 -x2481 x2482 -x2483 -x2484 -x2485 -x2486 -x2487 x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 x2662 -x2663 -x2664 x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 x2708 -x2709 -x2710 -x2711 x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 x2795 -x2796 -x2797 -x2798 -x2799 -x2800 19.65/15.75 c Total wall clock time (in seconds): 15.537
OK 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1855052-1244866305/watcher-1855052-1244866305 -o /tmp/evaluation-result-1855052-1244866305/solver-1855052-1244866305 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar CuttingPlanes HOME/instance-1855052-1244866305.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.16 1.03 1.01 3/64 6336 /proc/meminfo: memFree=1233984/2055920 swapFree=4183064/4192956 [pid=6336] ppid=6334 vsize=152 CPUtime=0 /proc/6336/stat : 6336 (java6) R 6334 6336 5749 0 -1 0 41 0 0 0 0 0 0 0 20 0 1 0 154231550 155648 26 1992294400 134512640 134550932 4294956160 18446744073709551615 7893796 0 0 4096 0 0 0 0 17 1 0 0 /proc/6336/statm: 38 26 19 9 0 4 0 [startup+0.0484369 s] /proc/loadavg: 1.16 1.03 1.01 3/64 6336 /proc/meminfo: memFree=1233984/2055920 swapFree=4183064/4192956 [pid=6336] ppid=6334 vsize=1469440 CPUtime=0.03 /proc/6336/stat : 6336 (java) S 6334 6336 5749 0 -1 0 3138 0 1 0 2 1 0 0 18 0 5 0 154231550 1504706560 2885 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 /proc/6336/statm: 367360 2885 985 9 0 364711 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1469440 [startup+0.101449 s] /proc/loadavg: 1.16 1.03 1.01 3/64 6336 /proc/meminfo: memFree=1233984/2055920 swapFree=4183064/4192956 [pid=6336] ppid=6334 vsize=1472584 CPUtime=0.09 /proc/6336/stat : 6336 (java) S 6334 6336 5749 0 -1 0 3609 0 1 0 7 2 0 0 18 0 12 0 154231550 1507926016 3352 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6336/statm: 368146 3352 1068 9 0 365494 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1472584 [startup+0.301488 s] /proc/loadavg: 1.16 1.03 1.01 3/64 6336 /proc/meminfo: memFree=1233984/2055920 swapFree=4183064/4192956 [pid=6336] ppid=6334 vsize=1475204 CPUtime=0.34 /proc/6336/stat : 6336 (java) S 6334 6336 5749 0 -1 0 5075 0 1 0 30 4 0 0 18 0 12 0 154231550 1510608896 4813 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6336/statm: 368801 4813 1353 9 0 366144 0 Current children cumulated CPU time (s) 0.34 Current children cumulated vsize (KiB) 1475204 [startup+0.701562 s] /proc/loadavg: 1.16 1.03 1.01 3/64 6336 /proc/meminfo: memFree=1233984/2055920 swapFree=4183064/4192956 [pid=6336] ppid=6334 vsize=1476176 CPUtime=1.02 /proc/6336/stat : 6336 (java) S 6334 6336 5749 0 -1 0 6720 0 1 0 97 5 0 0 18 0 12 0 154231550 1511604224 6258 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6336/statm: 369044 6261 1397 9 0 366387 0 Current children cumulated CPU time (s) 1.02 Current children cumulated vsize (KiB) 1476176 [startup+1.50271 s] /proc/loadavg: 1.39 1.08 1.03 2/76 6348 /proc/meminfo: memFree=1200608/2055920 swapFree=4183064/4192956 [pid=6336] ppid=6334 vsize=1476428 CPUtime=2.09 /proc/6336/stat : 6336 (java) S 6334 6336 5749 0 -1 0 20545 0 1 0 197 12 0 0 18 0 12 0 154231550 1511862272 19886 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6336/statm: 369107 19887 1404 9 0 366450 0 [pid=6336/tid=6338] ppid=6334 vsize=1476428 CPUtime=1.27 /proc/6336/task/6338/stat : 6338 (java) R 6334 6336 5749 0 -1 64 18335 0 1 0 117 10 0 0 25 0 12 0 154231552 1511862272 19888 1992294400 134512640 134550932 4294956000 18446744073709551615 4109479169 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6339] ppid=6334 vsize=1476428 CPUtime=0 /proc/6336/task/6339/stat : 6339 (java) S 6334 6336 5749 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 154231553 1511862272 19889 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6340] ppid=6334 vsize=1476428 CPUtime=0 /proc/6336/task/6340/stat : 6340 (java) S 6334 6336 5749 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 154231553 1511862272 19890 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6341] ppid=6334 vsize=1476428 CPUtime=0 /proc/6336/task/6341/stat : 6341 (java) S 6334 6336 5749 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 154231555 1511862272 19891 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6342] ppid=6334 vsize=1476428 CPUtime=0 /proc/6336/task/6342/stat : 6342 (java) S 6334 6336 5749 0 -1 64 10 0 0 0 0 0 0 0 20 0 12 0 154231555 1511862272 19892 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6343] ppid=6334 vsize=1476428 CPUtime=0 /proc/6336/task/6343/stat : 6343 (java) S 6334 6336 5749 0 -1 64 4 0 0 0 0 0 0 0 21 0 12 0 154231555 1511862272 19893 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6344] ppid=6334 vsize=1476428 CPUtime=0 /proc/6336/task/6344/stat : 6344 (java) S 6334 6336 5749 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 154231559 1511862272 19894 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6345] ppid=6334 vsize=1476428 CPUtime=0.43 /proc/6336/task/6345/stat : 6345 (java) S 6334 6336 5749 0 -1 64 725 0 0 0 43 0 0 0 17 0 12 0 154231559 1511862272 19895 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6346] ppid=6334 vsize=1476428 CPUtime=0.36 /proc/6336/task/6346/stat : 6346 (java) S 6334 6336 5749 0 -1 64 746 0 0 0 36 0 0 0 17 0 12 0 154231559 1511862272 19896 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6347] ppid=6334 vsize=1476428 CPUtime=0 /proc/6336/task/6347/stat : 6347 (java) S 6334 6336 5749 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 154231559 1511862272 19897 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6348] ppid=6334 vsize=1476428 CPUtime=0 /proc/6336/task/6348/stat : 6348 (java) S 6334 6336 5749 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 154231559 1511862272 19898 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.09 Current children cumulated vsize (KiB) 1476428 [startup+3.10302 s] /proc/loadavg: 1.39 1.08 1.03 2/76 6348 /proc/meminfo: memFree=1103840/2055920 swapFree=4183064/4192956 [pid=6336] ppid=6334 vsize=1476428 CPUtime=3.77 /proc/6336/stat : 6336 (java) S 6334 6336 5749 0 -1 0 36562 0 1 0 357 20 0 0 18 0 12 0 154231550 1511862272 35875 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6336/statm: 369107 35875 1414 9 0 366450 0 [pid=6336/tid=6338] ppid=6334 vsize=1476428 CPUtime=2.79 /proc/6336/task/6338/stat : 6338 (java) R 6334 6336 5749 0 -1 64 30943 0 1 0 264 15 0 0 18 0 12 0 154231552 1511862272 35875 1992294400 134512640 134550932 4294956000 18446744073709551615 4109458654 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6339] ppid=6334 vsize=1476428 CPUtime=0.07 /proc/6336/task/6339/stat : 6339 (java) S 6334 6336 5749 0 -1 64 1522 0 0 0 7 0 0 0 16 0 12 0 154231553 1511862272 35875 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6340] ppid=6334 vsize=1476428 CPUtime=0.07 /proc/6336/task/6340/stat : 6340 (java) S 6334 6336 5749 0 -1 64 1871 0 0 0 6 1 0 0 16 0 12 0 154231553 1511862272 35875 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6341] ppid=6334 vsize=1476428 CPUtime=0 /proc/6336/task/6341/stat : 6341 (java) S 6334 6336 5749 0 -1 64 15 0 0 0 0 0 0 0 16 0 12 0 154231555 1511862272 35875 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6342] ppid=6334 vsize=1476428 CPUtime=0 /proc/6336/task/6342/stat : 6342 (java) S 6334 6336 5749 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 154231555 1511862272 35875 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6343] ppid=6334 vsize=1476428 CPUtime=0 /proc/6336/task/6343/stat : 6343 (java) S 6334 6336 5749 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 154231555 1511862272 35875 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6344] ppid=6334 vsize=1476428 CPUtime=0 /proc/6336/task/6344/stat : 6344 (java) S 6334 6336 5749 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 154231559 1511862272 35875 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6345] ppid=6334 vsize=1476428 CPUtime=0.43 /proc/6336/task/6345/stat : 6345 (java) S 6334 6336 5749 0 -1 64 725 0 0 0 43 0 0 0 17 0 12 0 154231559 1511862272 35875 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6346] ppid=6334 vsize=1476428 CPUtime=0.36 /proc/6336/task/6346/stat : 6346 (java) S 6334 6336 5749 0 -1 64 746 0 0 0 36 0 0 0 17 0 12 0 154231559 1511862272 35875 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6347] ppid=6334 vsize=1476428 CPUtime=0 /proc/6336/task/6347/stat : 6347 (java) S 6334 6336 5749 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 154231559 1511862272 35875 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6348] ppid=6334 vsize=1476428 CPUtime=0 /proc/6336/task/6348/stat : 6348 (java) S 6334 6336 5749 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 154231559 1511862272 35875 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.77 Current children cumulated vsize (KiB) 1476428 [startup+6.30263 s] /proc/loadavg: 1.39 1.08 1.03 2/76 6348 /proc/meminfo: memFree=1071200/2055920 swapFree=4183064/4192956 [pid=6336] ppid=6334 vsize=1476428 CPUtime=7.34 /proc/6336/stat : 6336 (java) S 6334 6336 5749 0 -1 0 44170 0 1 0 709 25 0 0 18 0 12 0 154231550 1511862272 43283 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6336/statm: 369107 43283 1414 9 0 366450 0 [pid=6336/tid=6338] ppid=6334 vsize=1476428 CPUtime=5.6 /proc/6336/task/6338/stat : 6338 (java) R 6334 6336 5749 0 -1 64 30948 0 1 0 544 16 0 0 17 0 12 0 154231552 1511862272 43283 1992294400 134512640 134550932 4294956000 18446744073709551615 4109489158 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6339] ppid=6334 vsize=1476428 CPUtime=0.44 /proc/6336/task/6339/stat : 6339 (java) S 6334 6336 5749 0 -1 64 5370 0 0 0 42 2 0 0 18 0 12 0 154231553 1511862272 43283 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6340] ppid=6334 vsize=1476428 CPUtime=0.44 /proc/6336/task/6340/stat : 6340 (java) S 6334 6336 5749 0 -1 64 5612 0 0 0 41 3 0 0 16 0 12 0 154231553 1511862272 43283 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6341] ppid=6334 vsize=1476428 CPUtime=0 /proc/6336/task/6341/stat : 6341 (java) S 6334 6336 5749 0 -1 64 29 0 0 0 0 0 0 0 15 0 12 0 154231555 1511862272 43283 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6342] ppid=6334 vsize=1476428 CPUtime=0 /proc/6336/task/6342/stat : 6342 (java) S 6334 6336 5749 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 154231555 1511862272 43283 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6343] ppid=6334 vsize=1476428 CPUtime=0 /proc/6336/task/6343/stat : 6343 (java) S 6334 6336 5749 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 154231555 1511862272 43283 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6344] ppid=6334 vsize=1476428 CPUtime=0 /proc/6336/task/6344/stat : 6344 (java) S 6334 6336 5749 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 154231559 1511862272 43283 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6345] ppid=6334 vsize=1476428 CPUtime=0.43 /proc/6336/task/6345/stat : 6345 (java) S 6334 6336 5749 0 -1 64 725 0 0 0 43 0 0 0 17 0 12 0 154231559 1511862272 43283 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6346] ppid=6334 vsize=1476428 CPUtime=0.36 /proc/6336/task/6346/stat : 6346 (java) S 6334 6336 5749 0 -1 64 746 0 0 0 36 0 0 0 16 0 12 0 154231559 1511862272 43283 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6347] ppid=6334 vsize=1476428 CPUtime=0 /proc/6336/task/6347/stat : 6347 (java) S 6334 6336 5749 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 154231559 1511862272 43283 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6348] ppid=6334 vsize=1476428 CPUtime=0 /proc/6336/task/6348/stat : 6348 (java) S 6334 6336 5749 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 154231559 1511862272 43283 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 7.34 Current children cumulated vsize (KiB) 1476428 [startup+12.7029 s] /proc/loadavg: 1.33 1.08 1.03 2/76 6348 /proc/meminfo: memFree=1012960/2055920 swapFree=4183064/4192956 [pid=6336] ppid=6334 vsize=1476428 CPUtime=14.45 /proc/6336/stat : 6336 (java) S 6334 6336 5749 0 -1 0 58916 0 1 0 1411 34 0 0 18 0 12 0 154231550 1511862272 57284 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6336/statm: 369107 57284 1415 9 0 366450 0 [pid=6336/tid=6338] ppid=6334 vsize=1476428 CPUtime=11.23 /proc/6336/task/6338/stat : 6338 (java) R 6334 6336 5749 0 -1 64 30959 0 1 0 1106 17 0 0 20 0 12 0 154231552 1511862272 57284 1992294400 134512640 134550932 4294956000 18446744073709551615 4109502899 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6339] ppid=6334 vsize=1476428 CPUtime=1.19 /proc/6336/task/6339/stat : 6339 (java) S 6334 6336 5749 0 -1 64 11634 0 0 0 113 6 0 0 16 0 12 0 154231553 1511862272 57284 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6340] ppid=6334 vsize=1476428 CPUtime=1.18 /proc/6336/task/6340/stat : 6340 (java) S 6334 6336 5749 0 -1 64 14082 0 0 0 110 8 0 0 16 0 12 0 154231553 1511862272 57284 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6341] ppid=6334 vsize=1476428 CPUtime=0 /proc/6336/task/6341/stat : 6341 (java) S 6334 6336 5749 0 -1 64 29 0 0 0 0 0 0 0 16 0 12 0 154231555 1511862272 57284 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6342] ppid=6334 vsize=1476428 CPUtime=0 /proc/6336/task/6342/stat : 6342 (java) S 6334 6336 5749 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 154231555 1511862272 57284 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6343] ppid=6334 vsize=1476428 CPUtime=0 /proc/6336/task/6343/stat : 6343 (java) S 6334 6336 5749 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 154231555 1511862272 57284 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6344] ppid=6334 vsize=1476428 CPUtime=0 /proc/6336/task/6344/stat : 6344 (java) S 6334 6336 5749 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 154231559 1511862272 57284 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6345] ppid=6334 vsize=1476428 CPUtime=0.43 /proc/6336/task/6345/stat : 6345 (java) S 6334 6336 5749 0 -1 64 725 0 0 0 43 0 0 0 17 0 12 0 154231559 1511862272 57284 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6346] ppid=6334 vsize=1476428 CPUtime=0.36 /proc/6336/task/6346/stat : 6346 (java) S 6334 6336 5749 0 -1 64 747 0 0 0 36 0 0 0 16 0 12 0 154231559 1511862272 57284 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6347] ppid=6334 vsize=1476428 CPUtime=0 /proc/6336/task/6347/stat : 6347 (java) S 6334 6336 5749 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 154231559 1511862272 57284 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6348] ppid=6334 vsize=1476428 CPUtime=0 /proc/6336/task/6348/stat : 6348 (java) S 6334 6336 5749 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 154231559 1511862272 57284 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.45 Current children cumulated vsize (KiB) 1476428 Solver just ended. Dumping a history of the last processes samples [startup+14.3062 s] /proc/loadavg: 1.33 1.08 1.03 4/77 6349 /proc/meminfo: memFree=985624/2055920 swapFree=4183064/4192956 [pid=6336] ppid=6334 vsize=1487592 CPUtime=17.06 /proc/6336/stat : 6336 (java) S 6334 6336 5749 0 -1 0 69031 0 1 0 1666 40 0 0 18 0 13 0 154231550 1523294208 63368 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6336/statm: 371898 63368 1425 9 0 369241 0 [pid=6336/tid=6338] ppid=6334 vsize=1487592 CPUtime=12.43 /proc/6336/task/6338/stat : 6338 (java) R 6334 6336 5749 0 -1 64 31012 0 1 0 1225 18 0 0 18 0 13 0 154231552 1523294208 63368 1992294400 134512640 134550932 4294956000 18446744073709551615 4109146015 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6339] ppid=6334 vsize=1487592 CPUtime=1.33 /proc/6336/task/6339/stat : 6339 (java) S 6334 6336 5749 0 -1 64 13216 0 0 0 126 7 0 0 17 0 13 0 154231553 1523294208 63368 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6340] ppid=6334 vsize=1487592 CPUtime=1.3 /proc/6336/task/6340/stat : 6340 (java) S 6334 6336 5749 0 -1 64 16033 0 0 0 121 9 0 0 17 0 13 0 154231553 1523294208 63368 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6341] ppid=6334 vsize=1487592 CPUtime=0 /proc/6336/task/6341/stat : 6341 (java) S 6334 6336 5749 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 154231555 1523294208 63368 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6342] ppid=6334 vsize=1487592 CPUtime=0 /proc/6336/task/6342/stat : 6342 (java) S 6334 6336 5749 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 154231555 1523294208 63368 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6343] ppid=6334 vsize=1487592 CPUtime=0 /proc/6336/task/6343/stat : 6343 (java) S 6334 6336 5749 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 154231555 1523294208 63368 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6344] ppid=6334 vsize=1487592 CPUtime=0 /proc/6336/task/6344/stat : 6344 (java) S 6334 6336 5749 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 154231559 1523294208 63368 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6345] ppid=6334 vsize=1487592 CPUtime=1.25 /proc/6336/task/6345/stat : 6345 (java) R 6334 6336 5749 0 -1 64 5811 0 0 0 123 2 0 0 17 0 13 0 154231559 1523294208 63368 1992294400 134512640 134550932 4294956000 18446744073709551615 105872816 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6346] ppid=6334 vsize=1487592 CPUtime=0.68 /proc/6336/task/6346/stat : 6346 (java) R 6334 6336 5749 0 -1 64 2185 0 0 0 67 1 0 0 17 0 13 0 154231559 1523294208 63368 1992294400 134512640 134550932 4294956000 18446744073709551615 102290206 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6347] ppid=6334 vsize=1487592 CPUtime=0 /proc/6336/task/6347/stat : 6347 (java) S 6334 6336 5749 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 154231559 1523294208 63368 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6348] ppid=6334 vsize=1487592 CPUtime=0 /proc/6336/task/6348/stat : 6348 (java) S 6334 6336 5749 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 154231559 1523294208 63368 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6349] ppid=6334 vsize=1487592 CPUtime=0 /proc/6336/task/6349/stat : 6349 (java) S 6334 6336 5749 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 154232962 1523294208 63368 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 17.06 Current children cumulated vsize (KiB) 1487592 [startup+15.1023 s] /proc/loadavg: 1.33 1.08 1.03 4/77 6349 /proc/meminfo: memFree=985624/2055920 swapFree=4183064/4192956 [pid=6336] ppid=6334 vsize=1487592 CPUtime=18.48 /proc/6336/stat : 6336 (java) S 6334 6336 5749 0 -1 0 72164 0 1 0 1807 41 0 0 18 0 13 0 154231550 1523294208 64606 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6336/statm: 371898 64607 1434 9 0 369241 0 [pid=6336/tid=6338] ppid=6334 vsize=1487592 CPUtime=12.83 /proc/6336/task/6338/stat : 6338 (java) R 6334 6336 5749 0 -1 64 31018 0 1 0 1265 18 0 0 20 0 13 0 154231552 1523294208 64608 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6339] ppid=6334 vsize=1487592 CPUtime=1.4 /proc/6336/task/6339/stat : 6339 (java) R 6334 6336 5749 0 -1 64 13871 0 0 0 133 7 0 0 17 0 13 0 154231553 1523294208 64609 1992294400 134512640 134550932 4294956000 18446744073709551615 106195352 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6340] ppid=6334 vsize=1487592 CPUtime=1.37 /proc/6336/task/6340/stat : 6340 (java) R 6334 6336 5749 0 -1 64 16621 0 0 0 128 9 0 0 17 0 13 0 154231553 1523294208 64610 1992294400 134512640 134550932 4294956000 18446744073709551615 105886482 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6341] ppid=6334 vsize=1487592 CPUtime=0 /proc/6336/task/6341/stat : 6341 (java) S 6334 6336 5749 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 154231555 1523294208 64611 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6342] ppid=6334 vsize=1487592 CPUtime=0 /proc/6336/task/6342/stat : 6342 (java) S 6334 6336 5749 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 154231555 1523294208 64612 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6343] ppid=6334 vsize=1487592 CPUtime=0 /proc/6336/task/6343/stat : 6343 (java) S 6334 6336 5749 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 154231555 1523294208 64613 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6344] ppid=6334 vsize=1487592 CPUtime=0 /proc/6336/task/6344/stat : 6344 (java) S 6334 6336 5749 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 154231559 1523294208 64614 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6345] ppid=6334 vsize=1487592 CPUtime=1.69 /proc/6336/task/6345/stat : 6345 (java) S 6334 6336 5749 0 -1 64 6072 0 0 0 167 2 0 0 17 0 13 0 154231559 1523294208 64615 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6346] ppid=6334 vsize=1487592 CPUtime=1.12 /proc/6336/task/6346/stat : 6346 (java) S 6334 6336 5749 0 -1 64 3811 0 0 0 111 1 0 0 16 0 13 0 154231559 1523294208 64616 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6347] ppid=6334 vsize=1487592 CPUtime=0 /proc/6336/task/6347/stat : 6347 (java) S 6334 6336 5749 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 154231559 1523294208 64617 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6348] ppid=6334 vsize=1487592 CPUtime=0 /proc/6336/task/6348/stat : 6348 (java) S 6334 6336 5749 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 154231559 1523294208 64617 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6349] ppid=6334 vsize=1487592 CPUtime=0 /proc/6336/task/6349/stat : 6349 (java) S 6334 6336 5749 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 154232962 1523294208 64618 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 18.48 Current children cumulated vsize (KiB) 1487592 [startup+15.5024 s] /proc/loadavg: 1.33 1.08 1.03 4/77 6349 /proc/meminfo: memFree=977624/2055920 swapFree=4183064/4192956 [pid=6336] ppid=6334 vsize=1492052 CPUtime=19.26 /proc/6336/stat : 6336 (java) S 6334 6336 5749 0 -1 0 74769 0 1 0 1884 42 0 0 18 0 13 0 154231550 1527861248 65729 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6336/statm: 373013 65729 1434 9 0 370356 0 [pid=6336/tid=6338] ppid=6334 vsize=1492052 CPUtime=13.21 /proc/6336/task/6338/stat : 6338 (java) R 6334 6336 5749 0 -1 64 31019 0 1 0 1303 18 0 0 19 0 13 0 154231552 1527861248 65729 1992294400 134512640 134550932 4294956000 18446744073709551615 4109162847 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6339] ppid=6334 vsize=1492052 CPUtime=1.41 /proc/6336/task/6339/stat : 6339 (java) S 6334 6336 5749 0 -1 64 13890 0 0 0 134 7 0 0 16 0 13 0 154231553 1527861248 65729 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6340] ppid=6334 vsize=1492052 CPUtime=1.37 /proc/6336/task/6340/stat : 6340 (java) S 6334 6336 5749 0 -1 64 16621 0 0 0 128 9 0 0 16 0 13 0 154231553 1527861248 65729 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6341] ppid=6334 vsize=1492052 CPUtime=0 /proc/6336/task/6341/stat : 6341 (java) S 6334 6336 5749 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 154231555 1527861248 65729 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6342] ppid=6334 vsize=1492052 CPUtime=0 /proc/6336/task/6342/stat : 6342 (java) S 6334 6336 5749 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 154231555 1527861248 65729 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6343] ppid=6334 vsize=1492052 CPUtime=0 /proc/6336/task/6343/stat : 6343 (java) S 6334 6336 5749 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 154231555 1527861248 65729 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6344] ppid=6334 vsize=1492052 CPUtime=0 /proc/6336/task/6344/stat : 6344 (java) S 6334 6336 5749 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 154231559 1527861248 65729 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6345] ppid=6334 vsize=1492052 CPUtime=1.89 /proc/6336/task/6345/stat : 6345 (java) R 6334 6336 5749 0 -1 64 8203 0 0 0 186 3 0 0 17 0 13 0 154231559 1527861248 65729 1992294400 134512640 134550932 4294956000 18446744073709551615 8359639 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6346] ppid=6334 vsize=1492052 CPUtime=1.3 /proc/6336/task/6346/stat : 6346 (java) R 6334 6336 5749 0 -1 64 4262 0 0 0 129 1 0 0 17 0 13 0 154231559 1527861248 65729 1992294400 134512640 134550932 4294956000 18446744073709551615 103253268 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6347] ppid=6334 vsize=1492052 CPUtime=0 /proc/6336/task/6347/stat : 6347 (java) S 6334 6336 5749 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 154231559 1527861248 65729 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6348] ppid=6334 vsize=1492052 CPUtime=0 /proc/6336/task/6348/stat : 6348 (java) S 6334 6336 5749 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 154231559 1527861248 65729 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6349] ppid=6334 vsize=1492052 CPUtime=0 /proc/6336/task/6349/stat : 6349 (java) S 6334 6336 5749 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 154232962 1527861248 65729 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 19.26 Current children cumulated vsize (KiB) 1492052 [startup+15.7024 s] /proc/loadavg: 1.33 1.08 1.03 4/77 6349 /proc/meminfo: memFree=977624/2055920 swapFree=4183064/4192956 [pid=6336] ppid=6334 vsize=1493032 CPUtime=19.65 /proc/6336/stat : 6336 (java) S 6334 6336 5749 0 -1 0 75139 0 1 0 1923 42 0 0 18 0 13 0 154231550 1528864768 65945 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6336/statm: 373258 65945 1434 9 0 370601 0 [pid=6336/tid=6338] ppid=6334 vsize=1493032 CPUtime=13.41 /proc/6336/task/6338/stat : 6338 (java) R 6334 6336 5749 0 -1 64 31019 0 1 0 1323 18 0 0 21 0 13 0 154231552 1528864768 65945 1992294400 134512640 134550932 4294956000 18446744073709551615 4109568751 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6339] ppid=6334 vsize=1493032 CPUtime=1.41 /proc/6336/task/6339/stat : 6339 (java) S 6334 6336 5749 0 -1 64 13890 0 0 0 134 7 0 0 16 0 13 0 154231553 1528864768 65945 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6340] ppid=6334 vsize=1493032 CPUtime=1.37 /proc/6336/task/6340/stat : 6340 (java) S 6334 6336 5749 0 -1 64 16621 0 0 0 128 9 0 0 16 0 13 0 154231553 1528864768 65945 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6341] ppid=6334 vsize=1493032 CPUtime=0 /proc/6336/task/6341/stat : 6341 (java) S 6334 6336 5749 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 154231555 1528864768 65945 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6342] ppid=6334 vsize=1493032 CPUtime=0 /proc/6336/task/6342/stat : 6342 (java) S 6334 6336 5749 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 154231555 1528864768 65945 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6343] ppid=6334 vsize=1493032 CPUtime=0 /proc/6336/task/6343/stat : 6343 (java) S 6334 6336 5749 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 154231555 1528864768 65945 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6344] ppid=6334 vsize=1493032 CPUtime=0 /proc/6336/task/6344/stat : 6344 (java) S 6334 6336 5749 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 154231559 1528864768 65945 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6345] ppid=6334 vsize=1493032 CPUtime=1.99 /proc/6336/task/6345/stat : 6345 (java) R 6334 6336 5749 0 -1 64 8568 0 0 0 196 3 0 0 18 0 13 0 154231559 1528864768 65945 1992294400 134512640 134550932 4294956000 18446744073709551615 104140971 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6346] ppid=6334 vsize=1493032 CPUtime=1.39 /proc/6336/task/6346/stat : 6346 (java) R 6334 6336 5749 0 -1 64 4267 0 0 0 138 1 0 0 18 0 13 0 154231559 1528864768 65945 1992294400 134512640 134550932 4294956000 18446744073709551615 103143412 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6347] ppid=6334 vsize=1493032 CPUtime=0 /proc/6336/task/6347/stat : 6347 (java) S 6334 6336 5749 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 154231559 1528864768 65945 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6348] ppid=6334 vsize=1493032 CPUtime=0 /proc/6336/task/6348/stat : 6348 (java) S 6334 6336 5749 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 154231559 1528864768 65945 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6349] ppid=6334 vsize=1493032 CPUtime=0 /proc/6336/task/6349/stat : 6349 (java) S 6334 6336 5749 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 154232962 1528864768 65945 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 19.65 Current children cumulated vsize (KiB) 1493032 [startup+15.8025 s] /proc/loadavg: 1.33 1.08 1.03 4/77 6349 /proc/meminfo: memFree=977624/2055920 swapFree=4183064/4192956 [pid=6336] ppid=6334 vsize=1493052 CPUtime=19.84 /proc/6336/stat : 6336 (java) S 6334 6336 5749 0 -1 0 75551 0 1 0 1941 43 0 0 18 0 11 0 154231550 1528885248 65962 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6336/statm: 373263 65962 1435 9 0 370606 0 [pid=6336/tid=6338] ppid=6334 vsize=1493052 CPUtime=13.43 /proc/6336/task/6338/stat : 6338 (java) S 6334 6336 5749 0 -1 64 31025 0 1 0 1325 18 0 0 16 0 11 0 154231552 1528885248 65962 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6339] ppid=6334 vsize=1493052 CPUtime=1.41 /proc/6336/task/6339/stat : 6339 (java) S 6334 6336 5749 0 -1 64 13890 0 0 0 134 7 0 0 16 0 11 0 154231553 1528885248 65962 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6340] ppid=6334 vsize=1493052 CPUtime=1.37 /proc/6336/task/6340/stat : 6340 (java) S 6334 6336 5749 0 -1 64 16621 0 0 0 128 9 0 0 16 0 11 0 154231553 1528885248 65962 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6341] ppid=6334 vsize=1493052 CPUtime=0 /proc/6336/task/6341/stat : 6341 (java) S 6334 6336 5749 0 -1 64 29 0 0 0 0 0 0 0 15 0 11 0 154231555 1528885248 65962 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6342] ppid=6334 vsize=1493052 CPUtime=0 /proc/6336/task/6342/stat : 6342 (java) S 6334 6336 5749 0 -1 64 11 0 0 0 0 0 0 0 16 0 11 0 154231555 1528885248 65962 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6343] ppid=6334 vsize=1493052 CPUtime=0 /proc/6336/task/6343/stat : 6343 (java) S 6334 6336 5749 0 -1 64 7 0 0 0 0 0 0 0 16 0 11 0 154231555 1528885248 65962 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6345] ppid=6334 vsize=1493052 CPUtime=2.06 /proc/6336/task/6345/stat : 6345 (java) R 6334 6336 5749 0 -1 64 8737 0 0 0 202 4 0 0 18 0 11 0 154231559 1528885248 65962 1992294400 134512640 134550932 4294956000 18446744073709551615 104164032 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6336/tid=6346] ppid=6334 vsize=1493052 CPUtime=1.46 /proc/6336/task/6346/stat : 6346 (java) S 6334 6336 5749 0 -1 64 4493 0 0 0 144 2 0 0 18 0 11 0 154231559 1528885248 65962 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6347] ppid=6334 vsize=1493052 CPUtime=0 /proc/6336/task/6347/stat : 6347 (java) S 6334 6336 5749 0 -1 64 0 0 0 0 0 0 0 0 23 0 11 0 154231559 1528885248 65962 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6336/tid=6349] ppid=6334 vsize=1493052 CPUtime=0 /proc/6336/task/6349/stat : 6349 (java) S 6334 6336 5749 0 -1 64 5 0 0 0 0 0 0 0 16 0 11 0 154232962 1528885248 65962 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 19.84 Current children cumulated vsize (KiB) 1493052 Child status: 10 Real time (s): 15.8521 CPU time (s): 19.889 CPU user time (s): 19.416 CPU system time (s): 0.472928 CPU usage (%): 125.466 Max. virtual memory (cumulated for all children) (KiB): 1493052 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19.416 system time used= 0.472928 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75551 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= 981 involuntary context switches= 808 runsolver used 0.020996 second user time and 0.044993 second system time The end
Begin job on node5 at 2009-06-13 06:11:47 IDJOB=1855052 IDBENCH=1377 IDSOLVER=681 FILE ID=node5/1855052-1244866305 PBS_JOBID= 9354362 Free space on /tmp= 66320 MiB SOLVER NAME= SAT4J Pseudo CP 2.1.1 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb COMMAND LINE= java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1855052-1244866305/watcher-1855052-1244866305 -o /tmp/evaluation-result-1855052-1244866305/solver-1855052-1244866305 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar CuttingPlanes HOME/instance-1855052-1244866305.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d54403a51e1ff3d34cd210d836adfe84 RANDOM SEED=1913756795 node5.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.259 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 : 5931.00 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.259 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: 1234464 kB Buffers: 70764 kB Cached: 660080 kB SwapCached: 4304 kB Active: 96180 kB Inactive: 643132 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1234464 kB SwapTotal: 4192956 kB SwapFree: 4183064 kB Dirty: 34392 kB Writeback: 0 kB Mapped: 14600 kB Slab: 68176 kB Committed_AS: 119664 kB PageTables: 1392 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= 66316 MiB End job on node5 at 2009-06-13 06:12:03