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