Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | 50364 | 1800.1 | 1800.82 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-data8_3.opb |
MD5SUM | c3720ea5d84e92b781414b36064971fe |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 46545 |
Best CPU time to get the best result obtained on this benchmark | 1800.12 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 46478 |
Optimality of the best value was proved | NO |
Number of variables | 1344 |
Total number of constraints | 16096 |
Number of constraints which are clauses | 8208 |
Number of constraints which are cardinality constraints (but not clauses) | 496 |
Number of constraints which are nor clauses,nor cardinality constraints | 7392 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 28 |
Number of terms in the objective function | 448 |
Biggest coefficient in the objective function | 1380 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 279536 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 1380 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 279536 |
Number of bits of the biggest sum of numbers | 19 |
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 PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/458778-1178643109/instance-458778-1178643109.opb ...... 1.09/1.12 c done parsing opb. 1.09/1.12 o 56600 1.09/1.12 o 56575 1.09/1.13 o 55700 1.49/1.52 o 51113 56.47/56.52 o 50612 176.53/176.66 o 50484 1356.62/1357.25 o 50364 1800.08/1800.80 s SATISFIABLE 1800.08/1800.80 v x1 -x10 x100 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 x1010 -x1011 -x1012 -x1013 -x1014 1800.08/1800.80 v -x1015 -x1016 x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 -x1026 x1027 x1028 x1029 -x103 -x1030 1800.08/1800.80 v -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 x1047 1800.08/1800.80 v -x1048 -x1049 -x105 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 x1060 -x1061 -x1062 -x1063 1800.08/1800.80 v -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x108 1800.08/1800.80 v -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 x1090 x1091 x1092 x1093 -x1094 -x1095 -x1096 1800.08/1800.80 v -x1097 -x1098 -x1099 x11 x110 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 x1109 -x111 -x1110 -x1111 -x1112 1800.08/1800.80 v -x1113 -x1114 x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 -x1128 -x1129 1800.08/1800.80 v -x113 -x1130 -x1131 x1132 -x1133 -x1134 x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 -x1142 -x1143 x1144 -x1145 1800.08/1800.80 v -x1146 -x1147 -x1148 -x1149 -x115 x1150 -x1151 x1152 -x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x116 x1160 -x1161 1800.08/1800.80 v -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x1176 -x1177 -x1178 1800.08/1800.80 v -x1179 x118 x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 -x119 -x1190 x1191 -x1192 -x1193 -x1194 1800.08/1800.80 v -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x121 1800.08/1800.80 v -x1210 -x1211 -x1212 x1213 x1214 x1215 -x1216 -x1217 x1218 -x1219 -x122 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 1800.08/1800.80 v -x1227 -x1228 -x1229 -x123 -x1230 -x1231 x1232 -x1233 -x1234 -x1235 -x1236 x1237 -x1238 -x1239 -x124 -x1240 -x1241 -x1242 1800.08/1800.80 v x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 1800.08/1800.80 v -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x127 -x1270 -x1271 -x1272 x1273 -x1274 x1275 1800.08/1800.80 v x1276 x1277 x1278 -x1279 x128 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 -x129 -x1290 -x1291 1800.08/1800.80 v -x1292 -x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 -x1300 -x1301 x1302 -x1303 -x1304 x1305 -x1306 -x1307 1800.08/1800.80 v -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x132 -x1320 -x1321 -x1322 x1323 1800.08/1800.80 v -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x133 x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 x1338 x1339 x134 1800.08/1800.80 v x1340 -x1341 x1342 -x1343 x1344 -x135 -x136 -x137 -x138 -x139 -x14 x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 1800.08/1800.80 v -x15 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x16 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 1800.08/1800.80 v -x169 -x17 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x18 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 1800.08/1800.80 v -x188 -x189 x19 -x190 x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x2 -x20 -x200 -x201 x202 -x203 -x204 -x205 -x206 1800.08/1800.80 v -x207 -x208 -x209 -x21 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x22 -x220 -x221 -x222 -x223 x224 x225 -x226 1800.08/1800.80 v -x227 -x228 -x229 -x23 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x24 -x240 -x241 x242 -x243 -x244 -x245 1800.08/1800.80 v -x246 -x247 -x248 -x249 -x25 -x250 -x251 -x252 -x253 -x254 -x255 x256 x257 -x258 -x259 -x26 -x260 -x261 -x262 -x263 -x264 1800.08/1800.80 v -x265 x266 -x267 -x268 -x269 -x27 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 x28 -x280 -x281 x282 -x283 -x284 1800.08/1800.80 v -x285 -x286 -x287 -x288 -x289 -x29 -x290 -x291 -x292 x293 -x294 -x295 -x296 x297 -x298 -x299 -x3 -x30 -x300 -x301 -x302 -x303 1800.08/1800.80 v -x304 -x305 -x306 -x307 -x308 x309 -x31 -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 -x318 -x319 -x32 -x320 -x321 -x322 1800.08/1800.80 v -x323 -x324 -x325 -x326 x327 -x328 -x329 -x33 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x34 -x340 -x341 -x342 1800.08/1800.80 v -x343 -x344 -x345 -x346 -x347 x348 -x349 -x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x36 -x360 -x361 1800.08/1800.80 v -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 x37 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x38 x380 -x381 1800.08/1800.80 v -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x39 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 -x4 -x40 -x400 1800.08/1800.80 v -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x41 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x42 1800.08/1800.80 v -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x43 x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 1800.08/1800.80 v x44 -x440 -x441 -x442 -x443 -x444 -x445 x446 -x447 -x448 -x449 -x45 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 1800.08/1800.80 v -x46 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x47 -x470 x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 1800.08/1800.80 v -x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 -x489 x49 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 1800.08/1800.80 v -x5 -x50 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 -x51 -x510 -x511 x512 x513 -x514 -x515 -x516 -x517 -x518 1800.08/1800.80 v -x519 -x52 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x53 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 1800.08/1800.80 v -x538 -x539 -x54 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x55 -x550 x551 -x552 -x553 -x554 -x555 -x556 1800.08/1800.80 v -x557 x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x57 x570 -x571 -x572 -x573 -x574 -x575 -x576 1800.08/1800.80 v -x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 x584 -x585 x586 -x587 -x588 -x589 -x59 -x590 -x591 -x592 -x593 -x594 x595 -x596 1800.08/1800.80 v -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 x61 -x610 -x611 -x612 x613 -x614 -x615 1800.08/1800.80 v -x616 -x617 x618 -x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x63 -x630 -x631 -x632 -x633 -x634 1800.08/1800.80 v -x635 -x636 -x637 -x638 -x639 -x64 x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x65 x650 -x651 -x652 -x653 -x654 1800.08/1800.80 v -x655 -x656 -x657 -x658 -x659 x66 -x660 -x661 x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 x674 1800.08/1800.80 v -x675 -x676 -x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 -x693 1800.08/1800.80 v -x694 -x695 x696 -x697 -x698 -x699 -x7 -x70 -x700 -x701 -x702 -x703 x704 x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 1800.08/1800.80 v -x713 -x714 -x715 -x716 -x717 -x718 x719 -x72 -x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 1800.08/1800.80 v x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x74 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 x750 -x751 1800.08/1800.80 v -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 -x76 -x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x77 -x770 -x771 1800.08/1800.80 v -x772 -x773 -x774 -x775 -x776 x777 -x778 -x779 -x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x79 -x790 1800.08/1800.80 v -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 x799 -x8 -x80 -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 -x81 1800.08/1800.80 v -x810 -x811 -x812 -x813 -x814 -x815 x816 -x817 -x818 -x819 -x82 -x820 -x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 1800.08/1800.80 v -x83 -x830 -x831 x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 1800.08/1800.80 v -x85 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 1800.08/1800.80 v x869 -x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 x887 -x888 1800.08/1800.80 v -x889 -x89 -x890 -x891 -x892 -x893 -x894 -x895 x896 x897 -x898 -x899 -x9 -x90 x900 -x901 x902 x903 -x904 -x905 -x906 -x907 1800.08/1800.80 v x908 -x909 -x91 -x910 -x911 -x912 x913 -x914 -x915 -x916 -x917 x918 -x919 x92 -x920 -x921 -x922 -x923 -x924 x925 -x926 -x927 1800.08/1800.80 v -x928 -x929 -x93 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940 x941 -x942 -x943 -x944 -x945 x946 -x947 1800.08/1800.80 v -x948 -x949 -x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 x959 -x96 -x960 x961 x962 x963 -x964 x965 -x966 -x967 1800.08/1800.80 v x968 -x969 -x97 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 x985 -x986 -x987 1800.08/1800.80 v -x988 x989 -x99 -x990 -x991 -x992 -x993 -x994 x995 -x996 -x997 -x998 -x999
OK 50364
/tmp/evaluation/458778-1178643109/instance-458778-1178643109.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node59/watcher-458778-1178643109 -o ROOT/results/node59/solver-458778-1178643109 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458778-1178643109/instance-458778-1178643109.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.97 0.99 3/64 18987 /proc/meminfo: memFree=1606328/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=1460 CPUtime=0 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 177 0 0 0 0 0 0 0 18 0 1 0 312220488 1495040 159 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134530021 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 365 159 86 219 0 142 0 [startup+0.0173831 s] /proc/loadavg: 0.92 0.97 0.99 3/64 18987 /proc/meminfo: memFree=1606328/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=1724 CPUtime=0.01 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 222 0 0 0 1 0 0 0 18 0 1 0 312220488 1765376 204 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 431 204 86 219 0 208 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1724 [startup+0.101398 s] /proc/loadavg: 0.92 0.97 0.99 3/64 18987 /proc/meminfo: memFree=1606328/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=2164 CPUtime=0.09 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 405 0 0 0 9 0 0 0 18 0 1 0 312220488 2215936 387 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135057549 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 541 387 86 219 0 318 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2164 [startup+0.301436 s] /proc/loadavg: 0.92 0.97 0.99 3/64 18987 /proc/meminfo: memFree=1606328/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=4340 CPUtime=0.29 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 992 0 0 0 29 0 0 0 19 0 1 0 312220488 4444160 827 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 1085 827 86 219 0 862 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4340 [startup+0.701511 s] /proc/loadavg: 0.92 0.97 0.99 3/64 18987 /proc/meminfo: memFree=1606328/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=6292 CPUtime=0.69 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 1332 0 0 0 68 1 0 0 22 0 1 0 312220488 6443008 1167 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 1573 1167 90 219 0 1350 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6292 [startup+1.50166 s] /proc/loadavg: 0.92 0.97 0.99 2/65 18988 /proc/meminfo: memFree=1601328/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=8736 CPUtime=1.49 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 1678 0 0 0 147 2 0 0 25 0 1 0 312220488 8945664 1513 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 2184 1513 102 219 0 1961 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8736 [startup+3.10197 s] /proc/loadavg: 0.92 0.97 0.99 2/65 18988 /proc/meminfo: memFree=1599344/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=10052 CPUtime=3.09 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 2361 0 0 0 306 3 0 0 25 0 1 0 312220488 10293248 2099 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 2513 2099 102 219 0 2290 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10052 [startup+6.30158 s] /proc/loadavg: 0.93 0.97 0.99 2/65 18988 /proc/meminfo: memFree=1596720/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=14536 CPUtime=6.29 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 2731 0 0 0 619 10 0 0 25 0 1 0 312220488 14884864 2469 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 3634 2469 102 219 0 3411 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14536 [startup+12.7028 s] /proc/loadavg: 0.93 0.97 0.99 2/65 18988 /proc/meminfo: memFree=1595952/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=15060 CPUtime=12.69 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 2891 0 0 0 1252 17 0 0 25 0 1 0 312220488 15421440 2629 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544683 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 3765 2629 102 219 0 3542 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15060 [startup+25.5012 s] /proc/loadavg: 0.95 0.97 0.99 2/65 18988 /proc/meminfo: memFree=1594928/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=16608 CPUtime=25.48 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 3340 0 0 0 2516 32 0 0 25 0 1 0 312220488 17006592 2885 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 4152 2885 102 219 0 3929 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16608 [startup+51.1011 s] /proc/loadavg: 0.96 0.97 0.99 2/65 18988 /proc/meminfo: memFree=1593648/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=17428 CPUtime=51.08 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 3678 0 0 0 5048 60 0 0 25 0 1 0 312220488 17846272 3223 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 4357 3223 102 219 0 4134 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 17428 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.99 2/65 18988 /proc/meminfo: memFree=1591600/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=20108 CPUtime=102.26 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 4570 0 0 0 10116 110 0 0 25 0 1 0 312220488 20590592 3730 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 5027 3730 102 219 0 4804 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 20108 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18988 /proc/meminfo: memFree=1588080/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=24616 CPUtime=162.24 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 6181 0 0 0 16061 163 0 0 25 0 1 0 312220488 25206784 4572 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 6154 4572 102 219 0 5931 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 24616 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18988 /proc/meminfo: memFree=1586224/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=25572 CPUtime=222.21 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 6673 0 0 0 22009 212 0 0 25 0 1 0 312220488 26185728 5064 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 6393 5064 102 219 0 6170 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 25572 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18988 /proc/meminfo: memFree=1583920/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=26984 CPUtime=282.2 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 7242 0 0 0 27959 261 0 0 25 0 1 0 312220488 27631616 5633 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 6746 5633 102 219 0 6523 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 26984 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18988 /proc/meminfo: memFree=1582064/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=27804 CPUtime=342.17 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 7712 0 0 0 33912 305 0 0 25 0 1 0 312220488 28471296 6103 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544685 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 6951 6103 102 219 0 6728 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 27804 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18988 /proc/meminfo: memFree=1580016/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=34856 CPUtime=402.15 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 9756 0 0 0 39863 352 0 0 25 0 1 0 312220488 35692544 6610 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 8714 6610 102 219 0 8491 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 34856 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18988 /proc/meminfo: memFree=1578288/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=35288 CPUtime=462.13 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 10184 0 0 0 45819 394 0 0 25 0 1 0 312220488 36134912 7038 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 8822 7038 102 219 0 8599 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 35288 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 18988 /proc/meminfo: memFree=1575920/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=36472 CPUtime=522.11 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 10771 0 0 0 51779 432 0 0 25 0 1 0 312220488 37347328 7625 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 9118 7625 102 219 0 8895 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 36472 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/71 19126 /proc/meminfo: memFree=1572920/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=37364 CPUtime=582.02 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 11195 0 0 0 57730 472 0 0 25 0 1 0 312220488 38260736 8049 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 9341 8049 102 219 0 9118 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 37364 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19186 /proc/meminfo: memFree=1572400/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=38300 CPUtime=641.97 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 11601 0 0 0 63689 508 0 0 25 0 1 0 312220488 39219200 8455 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547184 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 9575 8455 102 219 0 9352 0 Current children cumulated CPU time (s) 641.97 Current children cumulated vsize (KiB) 38300 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19186 /proc/meminfo: memFree=1567216/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=48488 CPUtime=821.91 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 12906 0 0 0 81577 614 0 0 25 0 1 0 312220488 49651712 9760 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 12122 9760 102 219 0 11899 0 Current children cumulated CPU time (s) 821.91 Current children cumulated vsize (KiB) 48488 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19186 /proc/meminfo: memFree=1566128/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=49272 CPUtime=881.89 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 13198 0 0 0 87541 648 0 0 25 0 1 0 312220488 50454528 10052 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 12318 10052 102 219 0 12095 0 Current children cumulated CPU time (s) 881.89 Current children cumulated vsize (KiB) 49272 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19186 /proc/meminfo: memFree=1564464/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=50236 CPUtime=941.87 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 13611 0 0 0 93504 683 0 0 25 0 1 0 312220488 51441664 10465 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 12559 10465 102 219 0 12336 0 Current children cumulated CPU time (s) 941.87 Current children cumulated vsize (KiB) 50236 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19186 /proc/meminfo: memFree=1563312/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=51108 CPUtime=1001.85 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 13902 0 0 0 99470 715 0 0 25 0 1 0 312220488 52334592 10756 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 12777 10756 102 219 0 12554 0 Current children cumulated CPU time (s) 1001.85 Current children cumulated vsize (KiB) 51108 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19186 /proc/meminfo: memFree=1561712/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=63652 CPUtime=1061.83 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 17377 0 0 0 105434 749 0 0 25 0 1 0 312220488 65179648 11158 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 15913 11158 102 219 0 15690 0 Current children cumulated CPU time (s) 1061.83 Current children cumulated vsize (KiB) 63652 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19186 /proc/meminfo: memFree=1560624/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=64568 CPUtime=1121.8 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 17635 0 0 0 111402 778 0 0 25 0 1 0 312220488 66117632 11416 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 16142 11416 102 219 0 15919 0 Current children cumulated CPU time (s) 1121.8 Current children cumulated vsize (KiB) 64568 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19186 /proc/meminfo: memFree=1558960/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=64688 CPUtime=1181.79 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 18058 0 0 0 117371 808 0 0 25 0 1 0 312220488 66240512 11839 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 16172 11839 102 219 0 15949 0 Current children cumulated CPU time (s) 1181.79 Current children cumulated vsize (KiB) 64688 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19186 /proc/meminfo: memFree=1557680/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=65524 CPUtime=1241.76 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 18378 0 0 0 123340 836 0 0 25 0 1 0 312220488 67096576 12159 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 16381 12159 102 219 0 16158 0 Current children cumulated CPU time (s) 1241.76 Current children cumulated vsize (KiB) 65524 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19186 /proc/meminfo: memFree=1556784/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=65652 CPUtime=1301.75 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 18605 0 0 0 129309 866 0 0 25 0 1 0 312220488 67227648 12386 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 16413 12386 102 219 0 16190 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 65652 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19186 /proc/meminfo: memFree=1555952/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=66544 CPUtime=1361.72 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 18810 0 0 0 135278 894 0 0 25 0 1 0 312220488 68141056 12591 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 16636 12591 102 219 0 16413 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 66544 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19186 /proc/meminfo: memFree=1555120/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=66544 CPUtime=1421.71 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 19018 0 0 0 141250 921 0 0 25 0 1 0 312220488 68141056 12799 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 16636 12799 102 219 0 16413 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 66544 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19186 /proc/meminfo: memFree=1554224/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=67488 CPUtime=1481.69 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 19242 0 0 0 147219 950 0 0 25 0 1 0 312220488 69107712 13023 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 16872 13023 102 219 0 16649 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 67488 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19186 /proc/meminfo: memFree=1552624/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=67616 CPUtime=1541.66 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 19626 0 0 0 153190 976 0 0 25 0 1 0 312220488 69238784 13407 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 16904 13407 102 219 0 16681 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 67616 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19186 /proc/meminfo: memFree=1551536/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=67760 CPUtime=1601.64 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 19909 0 0 0 159163 1001 0 0 25 0 1 0 312220488 69386240 13690 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 16940 13690 102 219 0 16717 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 67760 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19186 /proc/meminfo: memFree=1550384/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=68908 CPUtime=1661.62 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 20188 0 0 0 165136 1026 0 0 25 0 1 0 312220488 70561792 13969 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 17227 13969 102 219 0 17004 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 68908 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19186 /proc/meminfo: memFree=1548528/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=69196 CPUtime=1721.6 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 20646 0 0 0 171107 1053 0 0 25 0 1 0 312220488 70856704 14427 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 17299 14427 102 219 0 17076 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 69196 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19186 /proc/meminfo: memFree=1547696/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=69484 CPUtime=1781.58 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 20846 0 0 0 177077 1081 0 0 25 0 1 0 312220488 71151616 14627 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544683 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 17371 14627 102 219 0 17148 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 69484 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.99 2/65 19186 /proc/meminfo: memFree=1547312/2055920 swapFree=4184640/4192956 [pid=18987] ppid=18985 vsize=69484 CPUtime=1800.08 /proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 20938 0 0 0 178919 1089 0 0 25 0 1 0 312220488 71151616 14719 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18987/statm: 17371 14719 102 219 0 17148 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 69484 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.82 CPU time (s): 1800.1 CPU user time (s): 1789.2 CPU system time (s): 10.9003 CPU usage (%): 99.9602 Max. virtual memory (cumulated for all children) (KiB): 69484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.2 system time used= 10.9003 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20941 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= 8 involuntary context switches= 1590 runsolver used 1.40279 second user time and 3.57146 second system time The end
Begin job on node59 on Tue May 8 16:51:49 UTC 2007 IDJOB= 458778 IDBENCH= 2008 IDSOLVER= 200 FILE ID= node59/458778-1178643109 PBS_JOBID= 5218328 Free space on /tmp= 66562 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data8_3.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458778-1178643109/instance-458778-1178643109.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node59/convwatcher-458778-1178643109 -o ROOT/results/node59/conversion-458778-1178643109 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458778-1178643109/instance-458778-1178643109.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-458778-1178643109 -o ROOT/results/node59/solver-458778-1178643109 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458778-1178643109/instance-458778-1178643109.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= c3720ea5d84e92b781414b36064971fe RANDOM SEED= 751318583 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node59.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.268 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.268 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: 1606800 kB Buffers: 34164 kB Cached: 307840 kB SwapCached: 2348 kB Active: 87224 kB Inactive: 265024 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1606800 kB SwapTotal: 4192956 kB SwapFree: 4184640 kB Dirty: 3152 kB Writeback: 0 kB Mapped: 16956 kB Slab: 82916 kB Committed_AS: 8064060 kB PageTables: 1476 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= 66562 MiB End job on node59 on Tue May 8 17:21:52 UTC 2007