Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | -11 | 1782.97 | 1783.6 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb |
MD5SUM | 98c81efbf429745622d6705fab70d2ee |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -54 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -54 |
Optimality of the best value was proved | NO |
Number of variables | 1400 |
Total number of constraints | 109601 |
Number of constraints which are clauses | 109601 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1400 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1400 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1400 |
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.00/0.00 c Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 1.29/1.32 c starting to Solve 1.29/1.32 c #variables read: 1400 - #constraints read: 109602 1.29/1.32 o 0 1.29/1.32 o 1 1.29/1.33 o 2 1.89/1.95 o 3 4.59/4.67 o 4 9.39/9.47 o 5 52.07/52.17 o 6 79.56/79.62 o 7 164.34/164.47 o 8 245.71/245.89 o 9 269.79/269.97 o 10 610.28/610.54 o 11 1782.77/1783.43 c total time : 1783.07 s 1782.77/1783.43 s SATISFIABLE 1782.77/1783.43 v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 1782.77/1783.43 v -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 1782.77/1783.43 v -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 1782.77/1783.43 v -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 1782.77/1783.43 v -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 1782.77/1783.43 v -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 1782.77/1783.43 v -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 1782.77/1783.43 v -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 1782.77/1783.43 v -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 1782.77/1783.43 v -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 1782.77/1783.43 v -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 1782.77/1783.43 v -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 1782.77/1783.43 v -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 1782.77/1783.43 v -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 1782.77/1783.43 v -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 1782.77/1783.43 v -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 1782.77/1783.43 v -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 1782.77/1783.43 v -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 1782.77/1783.43 v -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 1782.77/1783.43 v -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 1782.77/1783.43 v -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 1782.77/1783.43 v -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 1782.77/1783.43 v -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 1782.77/1783.43 v -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 1782.77/1783.43 v -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 1782.77/1783.43 v -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 1782.77/1783.43 v -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 1782.77/1783.43 v -x927 -x926 -x925 -x924 -x923 x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 1782.77/1783.43 v -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 1782.77/1783.43 v -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 1782.77/1783.43 v -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 1782.77/1783.43 v -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 1782.77/1783.43 v -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 1782.77/1783.43 v -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 1782.77/1783.43 v -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 1782.77/1783.43 v -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 1782.77/1783.43 v -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 1782.77/1783.43 v -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 1782.77/1783.43 v -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 1782.77/1783.43 v -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 1782.77/1783.43 v -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 1782.77/1783.43 v -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 1782.77/1783.43 v -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 1782.77/1783.43 v -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 1782.77/1783.43 v -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 1782.77/1783.43 v -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 1782.77/1783.43 v -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 1782.77/1783.43 v -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 1782.77/1783.43 v -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 1782.77/1783.43 v -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 1782.77/1783.43 v -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 1782.77/1783.43 v -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 1782.77/1783.43 v -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 1782.77/1783.43 v -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 1782.77/1783.43 v -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 1782.77/1783.43 v -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 1782.77/1783.43 v -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 1782.77/1783.43 v -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 1782.77/1783.43 v -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 1782.77/1783.43 v -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 1782.77/1783.43 v -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 1782.77/1783.43 v -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 1782.77/1783.43 v -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 1782.77/1783.43 v -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 1782.77/1783.43 v -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 1782.77/1783.43 v -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 1782.77/1783.43 v -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 1782.77/1783.43 v -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 1782.77/1783.43 v -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 1782.77/1783.43 v -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 1782.77/1783.43 v -x7 -x6 -x5 -x4 -x3 -x2 -x1
OK -11
/tmp/evaluation/353503-1176667794/instance-353503-1176667794.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node66/watcher-353503-1176667794 -o ROOT/results/node66/solver-353503-1176667794 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/353503-1176667794/instance-353503-1176667794.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.91 0.95 0.96 3/64 6126 /proc/meminfo: memFree=1647928/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=2552 CPUtime=0 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 142769028 2613248 230 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10305239 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 638 230 193 16 0 77 0 [startup+0.0857461 s] /proc/loadavg: 0.91 0.95 0.96 3/64 6126 /proc/meminfo: memFree=1647928/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=3748 CPUtime=0.08 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 565 0 0 0 8 0 0 0 18 0 1 0 142769028 3837952 535 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 937 535 199 16 0 376 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3748 [startup+0.101747 s] /proc/loadavg: 0.91 0.95 0.96 3/64 6126 /proc/meminfo: memFree=1647928/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=4016 CPUtime=0.09 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 622 0 0 0 9 0 0 0 18 0 1 0 142769028 4112384 592 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10305239 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 1004 592 199 16 0 443 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4016 [startup+0.301788 s] /proc/loadavg: 0.91 0.95 0.96 3/64 6126 /proc/meminfo: memFree=1647928/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=6680 CPUtime=0.29 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 1306 0 0 0 29 0 0 0 19 0 1 0 142769028 6840320 1276 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10305239 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 1670 1276 199 16 0 1109 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6680 [startup+0.701868 s] /proc/loadavg: 0.91 0.95 0.96 3/64 6126 /proc/meminfo: memFree=1647928/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=12008 CPUtime=0.69 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 2652 0 0 0 68 1 0 0 22 0 1 0 142769028 12296192 2622 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10305239 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 3002 2622 199 16 0 2441 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12008 [startup+1.50303 s] /proc/loadavg: 0.91 0.95 0.96 2/65 6127 /proc/meminfo: memFree=1634352/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=17860 CPUtime=1.49 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 4090 0 0 0 148 1 0 0 25 0 1 0 142769028 18288640 4060 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 4465 4060 206 16 0 3904 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17860 [startup+3.10135 s] /proc/loadavg: 0.91 0.95 0.96 2/65 6127 /proc/meminfo: memFree=1631344/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=19232 CPUtime=3.09 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 4406 0 0 0 307 2 0 0 25 0 1 0 142769028 19693568 4376 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523636 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 4808 4376 206 16 0 4247 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19232 [startup+6.30199 s] /proc/loadavg: 0.92 0.95 0.96 2/65 6127 /proc/meminfo: memFree=1630576/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=19780 CPUtime=6.28 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 4573 0 0 0 626 2 0 0 25 0 1 0 142769028 20254720 4513 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 4945 4513 206 16 0 4384 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 19780 [startup+12.7013 s] /proc/loadavg: 0.93 0.95 0.96 2/65 6127 /proc/meminfo: memFree=1627760/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=22936 CPUtime=12.69 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 5405 0 0 0 1266 3 0 0 25 0 1 0 142769028 23486464 5326 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522742 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 5734 5326 206 16 0 5173 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22936 [startup+25.5018 s] /proc/loadavg: 0.94 0.96 0.96 2/65 6127 /proc/meminfo: memFree=1616880/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=33404 CPUtime=25.48 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 8019 0 0 0 2545 3 0 0 25 0 1 0 142769028 34205696 7940 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 8351 7940 206 16 0 7790 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 33404 [startup+51.1019 s] /proc/loadavg: 0.96 0.96 0.96 2/65 6127 /proc/meminfo: memFree=1597744/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=53092 CPUtime=51.07 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 12931 0 0 0 5102 5 0 0 25 0 1 0 142769028 54366208 12852 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134518919 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 13273 12852 206 16 0 12712 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 53092 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.96 2/65 6127 /proc/meminfo: memFree=1558640/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=91380 CPUtime=102.26 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 22487 0 0 0 10215 11 0 0 25 0 1 0 142769028 93573120 22408 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 22845 22408 206 16 0 22284 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 91380 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6127 /proc/meminfo: memFree=1514992/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=135948 CPUtime=162.24 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 33584 0 0 0 16207 17 0 0 25 0 1 0 142769028 139210752 33505 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523616 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 33987 33505 206 16 0 33426 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 135948 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6127 /proc/meminfo: memFree=1474160/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=176124 CPUtime=222.21 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 43636 0 0 0 22200 21 0 0 25 0 1 0 142769028 180350976 43557 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134557325 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 44031 43557 206 16 0 43470 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 176124 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6127 /proc/meminfo: memFree=1428464/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=221596 CPUtime=282.19 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 54961 0 0 0 28192 27 0 0 25 0 1 0 142769028 226914304 54882 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523616 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 55399 54882 206 16 0 54838 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 221596 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6127 /proc/meminfo: memFree=1385072/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=265536 CPUtime=342.17 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 65944 0 0 0 34184 33 0 0 25 0 1 0 142769028 271908864 65865 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 66384 65865 206 16 0 65823 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 265536 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6127 /proc/meminfo: memFree=1345520/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=305204 CPUtime=402.15 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 75789 0 0 0 40176 39 0 0 25 0 1 0 142769028 312528896 75710 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 76301 75710 206 16 0 75740 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 305204 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6127 /proc/meminfo: memFree=1308400/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=342064 CPUtime=462.13 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 84914 0 0 0 46170 43 0 0 25 0 1 0 142769028 350273536 84835 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 85516 84835 206 16 0 84955 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 342064 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6127 /proc/meminfo: memFree=1271024/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=379684 CPUtime=522.11 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 94232 0 0 0 52163 48 0 0 25 0 1 0 142769028 388796416 94153 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519066 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 94921 94153 206 16 0 94360 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 379684 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6127 /proc/meminfo: memFree=1233392/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=418596 CPUtime=582.09 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 103844 0 0 0 58155 54 0 0 25 0 1 0 142769028 428642304 103765 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 104649 103765 206 16 0 104088 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 418596 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6127 /proc/meminfo: memFree=1197232/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=454520 CPUtime=642.07 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 112636 0 0 0 64148 59 0 0 25 0 1 0 142769028 465428480 112557 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 113630 112557 206 16 0 113069 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 454520 ################ # More data... # ################ /proc/meminfo: memFree=1085424/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=566396 CPUtime=822 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 140521 0 0 0 82126 74 0 0 25 0 1 0 142769028 579989504 140442 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 141599 140442 206 16 0 141038 0 Current children cumulated CPU time (s) 822 Current children cumulated vsize (KiB) 566396 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6127 /proc/meminfo: memFree=1045424/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=606352 CPUtime=881.98 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 150503 0 0 0 88120 78 0 0 25 0 1 0 142769028 620904448 150424 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 151588 150424 206 16 0 151027 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 606352 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6127 /proc/meminfo: memFree=1009712/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=642104 CPUtime=941.96 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 159441 0 0 0 94113 83 0 0 25 0 1 0 142769028 657514496 159362 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522546 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 160526 159362 206 16 0 159965 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 642104 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6127 /proc/meminfo: memFree=972272/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=679516 CPUtime=1001.94 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 168748 0 0 0 100106 88 0 0 25 0 1 0 142769028 695824384 168669 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10273119 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 169879 168669 206 16 0 169318 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 679516 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6127 /proc/meminfo: memFree=934704/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=716956 CPUtime=1061.92 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 178129 0 0 0 106100 92 0 0 25 0 1 0 142769028 734162944 178050 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 179239 178050 206 16 0 178678 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 716956 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6127 /proc/meminfo: memFree=898864/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=753444 CPUtime=1121.9 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 187216 0 0 0 112095 95 0 0 25 0 1 0 142769028 771526656 187137 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10274460 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 188361 187137 206 16 0 187800 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 753444 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6127 /proc/meminfo: memFree=865776/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=786404 CPUtime=1181.88 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 195393 0 0 0 118088 100 0 0 25 0 1 0 142769028 805277696 195314 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 196601 195314 206 16 0 196040 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 786404 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6127 /proc/meminfo: memFree=831216/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=820444 CPUtime=1241.85 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 203937 0 0 0 124081 104 0 0 25 0 1 0 142769028 840134656 203858 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10274460 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 205111 203858 206 16 0 204550 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 820444 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6127 /proc/meminfo: memFree=799216/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=852884 CPUtime=1301.83 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 211919 0 0 0 130075 108 0 0 25 0 1 0 142769028 873353216 211840 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522706 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 213221 211840 206 16 0 212660 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 852884 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6127 /proc/meminfo: memFree=772016/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=880540 CPUtime=1361.81 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 218699 0 0 0 136069 112 0 0 25 0 1 0 142769028 901672960 218620 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523652 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 220135 218620 206 16 0 219574 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 880540 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6127 /proc/meminfo: memFree=739056/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=913360 CPUtime=1421.8 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 226922 0 0 0 142062 118 0 0 25 0 1 0 142769028 935280640 226843 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10273119 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 228340 226843 206 16 0 227779 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 913360 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6127 /proc/meminfo: memFree=715120/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=937376 CPUtime=1481.77 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 232933 0 0 0 148056 121 0 0 25 0 1 0 142769028 959873024 232854 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 234344 232854 206 16 0 233783 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 937376 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6127 /proc/meminfo: memFree=698480/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=954084 CPUtime=1541.75 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 237031 0 0 0 154051 124 0 0 25 0 1 0 142769028 976982016 236952 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10273119 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 238521 236952 206 16 0 237960 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 954084 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6127 /proc/meminfo: memFree=680368/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=972116 CPUtime=1601.73 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 241547 0 0 0 160046 127 0 0 25 0 1 0 142769028 995446784 241468 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10274460 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 243029 241468 206 16 0 242468 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 972116 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6127 /proc/meminfo: memFree=656560/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=996100 CPUtime=1661.71 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 247521 0 0 0 166039 132 0 0 25 0 1 0 142769028 1020006400 247442 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 249025 247442 206 16 0 248464 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 996100 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6127 /proc/meminfo: memFree=636208/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=1017108 CPUtime=1721.69 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 252680 0 0 0 172033 136 0 0 25 0 1 0 142769028 1041518592 252601 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 254277 252601 206 16 0 253716 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 1017108 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6127 /proc/meminfo: memFree=614192/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=1039076 CPUtime=1781.67 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 258172 0 0 0 178027 140 0 0 25 0 1 0 142769028 1064013824 258093 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517930 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 259769 258093 206 16 0 259208 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 1039076 Solver just ended. Dumping a history of the last processes samples [startup+1783.11 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6127 /proc/meminfo: memFree=613616/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=1039212 CPUtime=1782.47 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 258197 0 0 0 178107 140 0 0 25 0 1 0 142769028 1064153088 258118 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 259803 258118 206 16 0 259242 0 Current children cumulated CPU time (s) 1782.47 Current children cumulated vsize (KiB) 1039212 [startup+1783.5 s] /proc/loadavg: 0.99 0.97 0.96 2/65 6127 /proc/meminfo: memFree=613616/2055920 swapFree=4184568/4192956 [pid=6126] ppid=6124 vsize=0 CPUtime=1782.86 /proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194308 258204 0 0 0 178140 146 0 0 17 0 1 0 142769028 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0 /proc/6126/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1782.86 Current children cumulated vsize (KiB) 0 Child status: 10 Real time (s): 1783.6 CPU time (s): 1782.97 CPU user time (s): 1781.41 CPU system time (s): 1.56176 CPU usage (%): 99.9647 Max. virtual memory (cumulated for all children) (KiB): 1039212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.41 system time used= 1.56176 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 258204 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 14 involuntary context switches= 2243 runsolver used 1.20182 second user time and 3.67244 second system time The end
Begin job on node66 on Sun Apr 15 20:09:55 UTC 2007 IDJOB= 353503 IDBENCH= 2247 IDSOLVER= 165 FILE ID= node66/353503-1176667794 PBS_JOBID= 4559917 Free space on /tmp= 66558 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb COMMAND LINE= Pueblo /tmp/evaluation/353503-1176667794/instance-353503-1176667794.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node66/convwatcher-353503-1176667794 -o ROOT/results/node66/conversion-353503-1176667794 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353503-1176667794/instance-353503-1176667794.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-353503-1176667794 -o ROOT/results/node66/solver-353503-1176667794 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/353503-1176667794/instance-353503-1176667794.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 98c81efbf429745622d6705fab70d2ee RANDOM SEED= 886967122 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node66.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.281 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.281 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: 1648272 kB Buffers: 23952 kB Cached: 293832 kB SwapCached: 2156 kB Active: 77448 kB Inactive: 249700 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1648272 kB SwapTotal: 4192956 kB SwapFree: 4184568 kB Dirty: 4904 kB Writeback: 0 kB Mapped: 16316 kB Slab: 66528 kB Committed_AS: 302144 kB PageTables: 1376 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= 66558 MiB End job on node66 on Sun Apr 15 20:39:38 UTC 2007