Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | -8 | 1782.9 | 1783.39 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb |
MD5SUM | b8b0df75c0f0dbb89ae9601b9070a445 |
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.1 |
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 | 109676 |
Number of constraints which are clauses | 109676 |
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.31 c starting to Solve 1.29/1.31 c #variables read: 1400 - #constraints read: 109677 1.29/1.31 o 0 1.29/1.31 o 1 1.29/1.32 o 2 1.89/1.98 o 3 5.18/5.22 o 4 7.59/7.67 o 5 23.49/23.58 o 6 94.96/95.01 o 7 1320.64/1321.05 o 8 1782.70/1783.24 c total time : 1783.02 s 1782.70/1783.24 s SATISFIABLE 1782.70/1783.24 v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 1782.70/1783.24 v -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 1782.70/1783.24 v -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 1782.70/1783.24 v -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 1782.70/1783.24 v -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 1782.70/1783.24 v -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 1782.70/1783.24 v -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 1782.70/1783.24 v -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 1782.70/1783.24 v -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 1782.70/1783.24 v -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 1782.70/1783.24 v -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 1782.70/1783.24 v -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 1782.70/1783.24 v -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 1782.70/1783.24 v -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 1782.70/1783.24 v -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 1782.70/1783.24 v -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 1782.70/1783.24 v -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 1782.70/1783.24 v -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 1782.70/1783.24 v -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 1782.70/1783.24 v -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 1782.70/1783.24 v -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 1782.70/1783.24 v -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 1782.70/1783.24 v -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 1782.70/1783.24 v -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 1782.70/1783.24 v -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 1782.70/1783.24 v -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 1782.70/1783.24 v -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 1782.70/1783.24 v -x927 -x926 -x925 -x924 -x923 -x922 -x921 x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 1782.70/1783.24 v -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 1782.70/1783.24 v -x885 -x884 -x883 -x882 -x881 -x880 -x879 x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 1782.70/1783.24 v -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 1782.70/1783.24 v -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 1782.70/1783.24 v -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 1782.70/1783.24 v -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 1782.70/1783.24 v -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 1782.70/1783.24 v -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 1782.70/1783.24 v -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 1782.70/1783.24 v -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 1782.70/1783.24 v -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 1782.70/1783.24 v -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 1782.70/1783.24 v -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 1782.70/1783.24 v -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 1782.70/1783.24 v -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 1782.70/1783.24 v -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 1782.70/1783.24 v -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 1782.70/1783.24 v -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 1782.70/1783.24 v -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 1782.70/1783.24 v -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 1782.70/1783.24 v -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 1782.70/1783.24 v -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 1782.70/1783.24 v -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 1782.70/1783.24 v -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 1782.70/1783.24 v -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 1782.70/1783.24 v -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 1782.70/1783.24 v -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 1782.70/1783.24 v -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 1782.70/1783.24 v -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 1782.70/1783.24 v -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 1782.70/1783.24 v -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 1782.70/1783.24 v -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 1782.70/1783.24 v -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 1782.70/1783.24 v -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 1782.70/1783.24 v -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 1782.70/1783.24 v -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 1782.70/1783.24 v -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 1782.70/1783.24 v -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 1782.70/1783.24 v -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 1782.70/1783.24 v -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 x59 1782.70/1783.24 v -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 -x33 1782.70/1783.24 v -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 -x7 -x6 1782.70/1783.24 v -x5 -x4 -x3 -x2 -x1
OK -8
/tmp/evaluation/353529-1176668446/instance-353529-1176668446.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node6/watcher-353529-1176668446 -o ROOT/results/node6/solver-353529-1176668446 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/353529-1176668446/instance-353529-1176668446.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 0.99 0.97 3/77 13839 /proc/meminfo: memFree=1790960/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=2552 CPUtime=0 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 142882297 2613248 230 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 2653911 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 638 230 193 16 0 77 0 [startup+0.044746 s] /proc/loadavg: 1.00 0.99 0.97 3/77 13839 /proc/meminfo: memFree=1790960/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=3216 CPUtime=0.04 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 426 0 0 0 4 0 0 0 18 0 1 0 142882297 3293184 396 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 2653911 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 804 396 199 16 0 243 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 3216 [startup+0.101751 s] /proc/loadavg: 1.00 0.99 0.97 3/77 13839 /proc/meminfo: memFree=1790960/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=4016 CPUtime=0.09 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 622 0 0 0 9 0 0 0 18 0 1 0 142882297 4112384 592 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 1004 592 199 16 0 443 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4016 [startup+0.301776 s] /proc/loadavg: 1.00 0.99 0.97 3/77 13839 /proc/meminfo: memFree=1790960/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=6680 CPUtime=0.28 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 1312 0 0 0 28 0 0 0 19 0 1 0 142882297 6840320 1282 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 2653911 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 1670 1284 199 16 0 1109 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 6680 [startup+0.701822 s] /proc/loadavg: 1.00 0.99 0.97 3/77 13839 /proc/meminfo: memFree=1790960/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=12144 CPUtime=0.69 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 2671 0 0 0 68 1 0 0 22 0 1 0 142882297 12435456 2641 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 2653911 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 3036 2641 199 16 0 2475 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12144 [startup+1.50192 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13840 /proc/meminfo: memFree=1777448/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=17864 CPUtime=1.49 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 4092 0 0 0 147 2 0 0 25 0 1 0 142882297 18292736 4062 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519125 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 4466 4062 206 16 0 3905 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17864 [startup+3.1011 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13840 /proc/meminfo: memFree=1774504/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=19348 CPUtime=3.09 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 4442 0 0 0 307 2 0 0 25 0 1 0 142882297 19812352 4412 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134533058 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 4837 4412 206 16 0 4276 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19348 [startup+6.30148 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13840 /proc/meminfo: memFree=1773672/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=19648 CPUtime=6.28 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 4540 0 0 0 626 2 0 0 25 0 1 0 142882297 20119552 4507 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 4912 4507 206 16 0 4351 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 19648 [startup+12.7012 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13840 /proc/meminfo: memFree=1771816/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=21752 CPUtime=12.69 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 5079 0 0 0 1266 3 0 0 25 0 1 0 142882297 22274048 5017 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134523649 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 5438 5017 206 16 0 4877 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21752 [startup+25.5017 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13840 /proc/meminfo: memFree=1761192/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=31968 CPUtime=25.49 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 7634 0 0 0 2545 4 0 0 25 0 1 0 142882297 32735232 7572 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134523633 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 7992 7572 206 16 0 7431 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 31968 [startup+51.1017 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13840 /proc/meminfo: memFree=1741800/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=51580 CPUtime=51.07 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 12543 0 0 0 5101 6 0 0 25 0 1 0 142882297 52817920 12481 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519103 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 12895 12481 206 16 0 12334 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 51580 [startup+102.306 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13840 /proc/meminfo: memFree=1704552/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=88644 CPUtime=102.26 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 21779 0 0 0 10217 9 0 0 25 0 1 0 142882297 90771456 21717 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519098 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 22161 21717 206 16 0 21600 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 88644 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13840 /proc/meminfo: memFree=1657448/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=135968 CPUtime=162.24 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 33586 0 0 0 16210 14 0 0 25 0 1 0 142882297 139231232 33524 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 2623099 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 33992 33524 206 16 0 33431 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 135968 [startup+222.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13840 /proc/meminfo: memFree=1604328/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=189208 CPUtime=222.22 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 46871 0 0 0 22201 21 0 0 25 0 1 0 142882297 193748992 46809 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519132 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 47302 46809 206 16 0 46741 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 189208 [startup+282.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13840 /proc/meminfo: memFree=1567272/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=226708 CPUtime=282.21 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 56209 0 0 0 28194 27 0 0 25 0 1 0 142882297 232148992 56147 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 56677 56147 206 16 0 56116 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 226708 [startup+342.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13840 /proc/meminfo: memFree=1528936/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=264636 CPUtime=342.19 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 65685 0 0 0 34188 31 0 0 25 0 1 0 142882297 270987264 65623 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532882 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 66159 65623 206 16 0 65598 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 264636 [startup+402.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13840 /proc/meminfo: memFree=1490024/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=304028 CPUtime=402.17 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 75288 0 0 0 40182 35 0 0 25 0 1 0 142882297 311324672 75226 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134523649 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 76007 75226 206 16 0 75446 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 304028 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13840 /proc/meminfo: memFree=1452008/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=342576 CPUtime=462.17 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 84737 0 0 0 46177 40 0 0 25 0 1 0 142882297 350797824 84675 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 2621791 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 85644 84675 206 16 0 85083 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 342576 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13840 /proc/meminfo: memFree=1413416/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=380972 CPUtime=522.15 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 94357 0 0 0 52170 45 0 0 25 0 1 0 142882297 390115328 94295 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 95243 94295 206 16 0 94682 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 380972 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13840 /proc/meminfo: memFree=1372968/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=421728 CPUtime=582.13 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 104559 0 0 0 58163 50 0 0 25 0 1 0 142882297 431849472 104497 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 105432 104497 206 16 0 104871 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 421728 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13842 /proc/meminfo: memFree=1339176/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=455332 CPUtime=642.12 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 112860 0 0 0 64157 55 0 0 25 0 1 0 142882297 466259968 112798 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134523671 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 113833 112798 206 16 0 113272 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 455332 ################ # More data... # ################ /proc/meminfo: memFree=1246504/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=549184 CPUtime=822.06 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 136226 0 0 0 82138 68 0 0 25 0 1 0 142882297 562364416 136164 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134524568 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 137296 136164 206 16 0 136735 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 549184 [startup+882.301 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13842 /proc/meminfo: memFree=1219432/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=575272 CPUtime=882.05 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 142714 0 0 0 88133 72 0 0 25 0 1 0 142882297 589078528 142652 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 143818 142652 206 16 0 143257 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 575272 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13842 /proc/meminfo: memFree=1193064/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=602500 CPUtime=942.03 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 149428 0 0 0 94126 77 0 0 25 0 1 0 142882297 616960000 149366 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 150625 149366 206 16 0 150064 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 602500 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13842 /proc/meminfo: memFree=1163304/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=632072 CPUtime=1002.01 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 156815 0 0 0 100120 81 0 0 25 0 1 0 142882297 647241728 156753 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519111 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 158018 156753 206 16 0 157457 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 632072 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13842 /proc/meminfo: memFree=1132520/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=662788 CPUtime=1062 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 164489 0 0 0 106114 86 0 0 25 0 1 0 142882297 678694912 164427 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519082 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 165697 164427 206 16 0 165136 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 662788 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13842 /proc/meminfo: memFree=1096040/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=699236 CPUtime=1121.98 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 173578 0 0 0 112107 91 0 0 25 0 1 0 142882297 716017664 173516 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134556267 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 174809 173516 206 16 0 174248 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 699236 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13842 /proc/meminfo: memFree=1062376/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=733392 CPUtime=1181.96 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 182063 0 0 0 118099 97 0 0 25 0 1 0 142882297 750993408 182001 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 183348 182001 206 16 0 182787 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 733392 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13842 /proc/meminfo: memFree=1025640/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=769856 CPUtime=1241.95 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 191205 0 0 0 124093 102 0 0 25 0 1 0 142882297 788332544 191143 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 2621791 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 192464 191143 206 16 0 191903 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 769856 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13842 /proc/meminfo: memFree=989672/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=805044 CPUtime=1301.93 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 200010 0 0 0 130086 107 0 0 25 0 1 0 142882297 824365056 199948 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 201261 199948 206 16 0 200700 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 805044 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13842 /proc/meminfo: memFree=952808/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=842508 CPUtime=1361.92 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 209195 0 0 0 136079 113 0 0 25 0 1 0 142882297 862728192 209133 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134556390 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 210627 209133 206 16 0 210066 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 842508 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13842 /proc/meminfo: memFree=918888/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=876420 CPUtime=1421.9 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 217677 0 0 0 142073 117 0 0 25 0 1 0 142882297 897454080 217615 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522742 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 219105 217615 206 16 0 218544 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 876420 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13842 /proc/meminfo: memFree=888104/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=908228 CPUtime=1481.88 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 225636 0 0 0 148067 121 0 0 25 0 1 0 142882297 930025472 225574 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 227057 225574 206 16 0 226496 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 908228 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13842 /proc/meminfo: memFree=855208/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=939864 CPUtime=1541.87 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 233551 0 0 0 154062 125 0 0 25 0 1 0 142882297 962420736 233489 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 234966 233489 206 16 0 234405 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 939864 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13842 /proc/meminfo: memFree=831976/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=962976 CPUtime=1601.85 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 239337 0 0 0 160057 128 0 0 25 0 1 0 142882297 986087424 239275 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 240744 239275 206 16 0 240183 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 962976 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13842 /proc/meminfo: memFree=831912/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=962976 CPUtime=1661.83 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 239337 0 0 0 166054 129 0 0 25 0 1 0 142882297 986087424 239275 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 240744 239275 206 16 0 240183 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 962976 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13842 /proc/meminfo: memFree=831912/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=962976 CPUtime=1721.82 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 239337 0 0 0 172051 131 0 0 25 0 1 0 142882297 986087424 239275 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134523674 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 240744 239275 206 16 0 240183 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 962976 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13842 /proc/meminfo: memFree=831848/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=962976 CPUtime=1781.8 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 239347 0 0 0 178049 131 0 0 25 0 1 0 142882297 986087424 239285 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522731 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 240744 239285 206 16 0 240183 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 962976 Solver just ended. Dumping a history of the last processes samples [startup+1783.11 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13842 /proc/meminfo: memFree=831848/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=962976 CPUtime=1782.6 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 239347 0 0 0 178129 131 0 0 25 0 1 0 142882297 986087424 239285 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 240744 239285 206 16 0 240183 0 Current children cumulated CPU time (s) 1782.6 Current children cumulated vsize (KiB) 962976 [startup+1783.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13842 /proc/meminfo: memFree=831848/2055924 swapFree=4158476/4192956 [pid=13839] ppid=13837 vsize=0 CPUtime=1782.8 /proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194308 239354 0 0 0 178143 137 0 0 17 0 1 0 142882297 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0 /proc/13839/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1782.8 Current children cumulated vsize (KiB) 0 Child status: 10 Real time (s): 1783.39 CPU time (s): 1782.9 CPU user time (s): 1781.44 CPU system time (s): 1.46878 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (KiB): 962976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.44 system time used= 1.46878 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 239354 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= 16 involuntary context switches= 1783 runsolver used 2.21466 second user time and 4.19936 second system time The end
Begin job on node6 on Sun Apr 15 20:20:46 UTC 2007 IDJOB= 353529 IDBENCH= 2249 IDSOLVER= 165 FILE ID= node6/353529-1176668446 PBS_JOBID= 4559382 Free space on /tmp= 66553 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-1.opb COMMAND LINE= Pueblo /tmp/evaluation/353529-1176668446/instance-353529-1176668446.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node6/convwatcher-353529-1176668446 -o ROOT/results/node6/conversion-353529-1176668446 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353529-1176668446/instance-353529-1176668446.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-353529-1176668446 -o ROOT/results/node6/solver-353529-1176668446 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/353529-1176668446/instance-353529-1176668446.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= b8b0df75c0f0dbb89ae9601b9070a445 RANDOM SEED= 12127857 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node6.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.232 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.232 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: 2055924 kB MemFree: 1791432 kB Buffers: 36776 kB Cached: 141544 kB SwapCached: 2628 kB Active: 105572 kB Inactive: 96976 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1791432 kB SwapTotal: 4192956 kB SwapFree: 4158476 kB Dirty: 4992 kB Writeback: 0 kB Mapped: 31544 kB Slab: 47544 kB Committed_AS: 6284172 kB PageTables: 1788 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= 66553 MiB End job on node6 on Sun Apr 15 20:50:30 UTC 2007