Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | 180 | 1800.07 | 1800.62 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ8_3.opb |
MD5SUM | d431323968e1ca4dc95d181076d01437 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 154 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 154 |
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 | 4 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 1024 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 24 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 1024 |
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 PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/458776-1178643035/instance-458776-1178643035.opb ...... 1.10/1.13 c done parsing opb. 1.10/1.13 o 200 1.10/1.14 o 198 1.29/1.37 o 194 11.69/11.78 o 186 89.97/90.06 o 184 323.31/323.44 o 182 445.48/445.66 o 180 1800.05/1800.61 s SATISFIABLE 1800.05/1800.61 v x1 -x10 -x100 -x1000 x1001 -x1002 x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 x101 x1010 -x1011 -x1012 -x1013 -x1014 1800.05/1800.61 v -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 x1021 -x1022 -x1023 x1024 -x1025 x1026 x1027 -x1028 -x1029 -x103 -x1030 1800.05/1800.61 v -x1031 x1032 -x1033 -x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 x1047 1800.05/1800.61 v -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057 -x1058 -x1059 -x106 x1060 -x1061 -x1062 -x1063 1800.05/1800.61 v -x1064 -x1065 -x1066 -x1067 -x1068 x1069 -x107 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 x1079 -x108 1800.05/1800.61 v -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 x1089 -x109 -x1090 -x1091 x1092 -x1093 -x1094 -x1095 -x1096 1800.05/1800.61 v -x1097 x1098 -x1099 -x11 x110 -x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 x1108 -x1109 -x111 -x1110 -x1111 -x1112 1800.05/1800.61 v -x1113 -x1114 -x1115 -x1116 x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 -x1128 -x1129 1800.05/1800.61 v -x113 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 x1141 -x1142 -x1143 -x1144 x1145 1800.05/1800.61 v -x1146 -x1147 -x1148 -x1149 -x115 x1150 x1151 x1152 x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 x116 x1160 -x1161 -x1162 1800.05/1800.61 v x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 1800.05/1800.61 v -x118 -x1180 -x1181 -x1182 x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 -x119 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 1800.05/1800.61 v -x1196 -x1197 -x1198 -x1199 -x12 -x120 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 x1208 -x1209 -x121 -x1210 1800.05/1800.61 v -x1211 x1212 -x1213 -x1214 -x1215 x1216 x1217 -x1218 -x1219 -x122 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 x1227 1800.05/1800.61 v -x1228 -x1229 x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x124 -x1240 -x1241 -x1242 -x1243 1800.05/1800.61 v -x1244 -x1245 x1246 -x1247 -x1248 x1249 -x125 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 -x126 1800.05/1800.61 v -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 x1269 -x127 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 1800.05/1800.61 v x1277 -x1278 x1279 -x128 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 x129 -x1290 -x1291 -x1292 1800.05/1800.61 v -x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 1800.05/1800.61 v x1309 -x131 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x132 -x1320 x1321 -x1322 -x1323 -x1324 1800.05/1800.61 v -x1325 -x1326 -x1327 -x1328 -x1329 -x133 x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 x1338 x1339 -x134 -x1340 1800.05/1800.61 v x1341 -x1342 -x1343 x1344 -x135 -x136 -x137 x138 -x139 -x14 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x15 1800.05/1800.61 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x16 x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 x169 1800.05/1800.61 v -x17 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x18 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 1800.05/1800.61 v -x189 x19 -x190 -x191 x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x2 -x20 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 1800.05/1800.61 v -x208 -x209 -x21 -x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x22 x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 1800.05/1800.61 v -x228 -x229 -x23 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x24 x240 -x241 -x242 -x243 -x244 -x245 -x246 1800.05/1800.61 v x247 -x248 -x249 -x25 -x250 -x251 -x252 -x253 -x254 -x255 x256 x257 -x258 -x259 -x26 -x260 -x261 -x262 -x263 -x264 -x265 x266 1800.05/1800.61 v -x267 -x268 -x269 -x27 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x28 x280 -x281 -x282 -x283 -x284 x285 -x286 1800.05/1800.61 v -x287 -x288 -x289 -x29 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 x298 -x299 -x3 -x30 -x300 -x301 -x302 -x303 -x304 x305 1800.05/1800.61 v -x306 -x307 -x308 -x309 -x31 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x32 x320 -x321 -x322 -x323 -x324 1800.05/1800.61 v -x325 x326 -x327 -x328 -x329 -x33 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x34 -x340 -x341 -x342 -x343 -x344 1800.05/1800.61 v -x345 -x346 -x347 -x348 -x349 -x35 -x350 x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x359 -x36 -x360 -x361 -x362 -x363 1800.05/1800.61 v -x364 -x365 x366 -x367 -x368 -x369 -x37 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 x378 -x379 x38 -x380 -x381 -x382 -x383 1800.05/1800.61 v -x384 -x385 -x386 -x387 -x388 -x389 -x39 -x390 x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x4 -x40 -x400 -x401 -x402 1800.05/1800.61 v -x403 -x404 -x405 x406 -x407 -x408 -x409 -x41 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x42 -x420 -x421 1800.05/1800.61 v -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x43 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x44 -x440 -x441 1800.05/1800.61 v -x442 -x443 -x444 -x445 -x446 -x447 x448 x449 -x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x46 -x460 -x461 1800.05/1800.61 v -x462 x463 -x464 -x465 -x466 -x467 x468 -x469 -x47 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x48 -x480 -x481 1800.05/1800.61 v -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x49 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x5 -x50 -x500 1800.05/1800.61 v -x501 -x502 x503 -x504 x505 -x506 -x507 -x508 -x509 x51 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x52 -x520 1800.05/1800.61 v -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 -x53 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x54 1800.05/1800.61 v x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x55 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 1800.05/1800.61 v -x56 -x560 -x561 -x562 -x563 -x564 x565 -x566 -x567 -x568 -x569 -x57 -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 1800.05/1800.61 v -x579 -x58 x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x59 -x590 -x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 1800.05/1800.61 v -x599 -x6 x60 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x61 x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 1800.05/1800.61 v -x618 x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x63 -x630 x631 -x632 -x633 -x634 -x635 -x636 1800.05/1800.61 v -x637 -x638 x639 -x64 -x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x65 x650 -x651 -x652 -x653 -x654 -x655 -x656 1800.05/1800.61 v -x657 -x658 x659 -x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666 x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 1800.05/1800.61 v -x676 x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 x69 -x690 -x691 -x692 -x693 x694 -x695 1800.05/1800.61 v -x696 -x697 -x698 -x699 -x7 -x70 -x700 x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 x714 1800.05/1800.61 v -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 x729 -x73 -x730 -x731 -x732 -x733 1800.05/1800.61 v -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 x750 -x751 -x752 1800.05/1800.61 v -x753 x754 -x755 -x756 -x757 -x758 -x759 -x76 -x760 -x761 -x762 -x763 -x764 -x765 x766 -x767 -x768 x769 -x77 -x770 -x771 -x772 1800.05/1800.61 v -x773 -x774 -x775 -x776 -x777 -x778 -x779 x78 -x780 x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x79 -x790 -x791 -x792 1800.05/1800.61 v -x793 -x794 -x795 -x796 -x797 x798 -x799 -x8 -x80 -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 -x81 -x810 -x811 1800.05/1800.61 v -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x82 -x820 -x821 -x822 -x823 x824 -x825 -x826 -x827 -x828 -x829 x83 -x830 -x831 1800.05/1800.61 v x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x84 x840 -x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850 x851 1800.05/1800.61 v -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x86 x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 x868 -x869 -x87 -x870 1800.05/1800.61 v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 -x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 -x89 1800.05/1800.61 v -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 x898 -x899 x9 -x90 x900 x901 -x902 x903 x904 -x905 -x906 -x907 -x908 -x909 -x91 1800.05/1800.61 v -x910 -x911 -x912 x913 -x914 -x915 -x916 -x917 -x918 x919 x92 -x920 -x921 -x922 -x923 -x924 x925 -x926 -x927 -x928 -x929 -x93 1800.05/1800.61 v -x930 -x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 -x949 1800.05/1800.61 v -x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 x957 -x958 -x959 -x96 x960 -x961 x962 x963 -x964 x965 -x966 -x967 x968 -x969 1800.05/1800.61 v -x97 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 x983 -x984 -x985 -x986 -x987 -x988 1800.05/1800.61 v x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999
OK 180
/tmp/evaluation/458776-1178643035/instance-458776-1178643035.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node70/watcher-458776-1178643035 -o ROOT/results/node70/solver-458776-1178643035 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458776-1178643035/instance-458776-1178643035.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.99 0.98 0.99 3/64 26683 /proc/meminfo: memFree=1925248/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=1460 CPUtime=0 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 303840863 1495040 160 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 365 160 86 219 0 142 0 [startup+0.0645431 s] /proc/loadavg: 0.99 0.98 0.99 3/64 26683 /proc/meminfo: memFree=1925248/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=2016 CPUtime=0.06 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 336 0 0 0 6 0 0 0 18 0 1 0 303840863 2064384 318 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 504 318 86 219 0 281 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2016 [startup+0.101545 s] /proc/loadavg: 0.99 0.98 0.99 3/64 26683 /proc/meminfo: memFree=1925248/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=2164 CPUtime=0.09 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 405 0 0 0 9 0 0 0 18 0 1 0 303840863 2215936 387 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135057549 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 541 387 86 219 0 318 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2164 [startup+0.301566 s] /proc/loadavg: 0.99 0.98 0.99 3/64 26683 /proc/meminfo: memFree=1925248/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=4472 CPUtime=0.29 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 993 0 0 0 29 0 0 0 19 0 1 0 303840863 4579328 828 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135015510 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 1118 828 86 219 0 895 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4472 [startup+0.701604 s] /proc/loadavg: 0.99 0.98 0.99 3/64 26683 /proc/meminfo: memFree=1925248/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=6292 CPUtime=0.69 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 1329 0 0 0 68 1 0 0 23 0 1 0 303840863 6443008 1164 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 1573 1164 90 219 0 1350 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6292 [startup+1.50168 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26684 /proc/meminfo: memFree=1920312/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=6956 CPUtime=1.49 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 1711 0 0 0 148 1 0 0 25 0 1 0 303840863 7122944 1546 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 1739 1546 102 219 0 1516 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6956 [startup+3.10185 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26684 /proc/meminfo: memFree=1918712/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=9536 CPUtime=3.09 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 2013 0 0 0 306 3 0 0 25 0 1 0 303840863 9764864 1848 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 2384 1848 102 219 0 2161 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9536 [startup+6.30117 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26684 /proc/meminfo: memFree=1917048/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=10188 CPUtime=6.29 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 2363 0 0 0 622 7 0 0 25 0 1 0 303840863 10432512 2101 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 2547 2101 102 219 0 2324 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10188 [startup+12.7018 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26684 /proc/meminfo: memFree=1916088/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=10716 CPUtime=12.68 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 2635 0 0 0 1253 15 0 0 25 0 1 0 303840863 10973184 2373 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 2679 2373 102 219 0 2456 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 10716 [startup+25.5011 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26684 /proc/meminfo: memFree=1914296/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=12388 CPUtime=25.48 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 3201 0 0 0 2520 28 0 0 25 0 1 0 303840863 12685312 2746 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 3097 2746 102 219 0 2874 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 12388 [startup+51.1017 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26684 /proc/meminfo: memFree=1912888/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=17152 CPUtime=51.08 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 3569 0 0 0 5052 56 0 0 25 0 1 0 303840863 17563648 3114 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 4288 3114 102 219 0 4065 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 17152 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26684 /proc/meminfo: memFree=1910136/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=20028 CPUtime=102.27 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 4648 0 0 0 10120 107 0 0 25 0 1 0 303840863 20508672 3808 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 5007 3808 102 219 0 4784 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 20028 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26684 /proc/meminfo: memFree=1907384/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=24420 CPUtime=162.25 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 6061 0 0 0 16061 164 0 0 25 0 1 0 303840863 25006080 4452 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 6105 4452 102 219 0 5882 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 24420 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26684 /proc/meminfo: memFree=1905592/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=25644 CPUtime=222.23 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 6539 0 0 0 22007 216 0 0 25 0 1 0 303840863 26259456 4930 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 6411 4930 102 219 0 6188 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 25644 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26684 /proc/meminfo: memFree=1903352/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=26480 CPUtime=282.22 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 7100 0 0 0 27954 268 0 0 25 0 1 0 303840863 27115520 5491 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 6620 5491 102 219 0 6397 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 26480 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26684 /proc/meminfo: memFree=1901048/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=27624 CPUtime=342.21 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 7649 0 0 0 33908 313 0 0 25 0 1 0 303840863 28286976 6040 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 6906 6040 102 219 0 6683 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 27624 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26684 /proc/meminfo: memFree=1898936/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=34276 CPUtime=402.19 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 9730 0 0 0 39863 356 0 0 25 0 1 0 303840863 35098624 6584 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 8569 6584 102 219 0 8346 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 34276 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26684 /proc/meminfo: memFree=1897336/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=35356 CPUtime=462.17 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 10119 0 0 0 45821 396 0 0 25 0 1 0 303840863 36204544 6973 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 8839 6973 102 219 0 8616 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 35356 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26686 /proc/meminfo: memFree=1894520/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=44136 CPUtime=522.16 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 10822 0 0 0 51777 439 0 0 25 0 1 0 303840863 45195264 7676 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 11034 7676 102 219 0 10811 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 44136 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26686 /proc/meminfo: memFree=1892920/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=44988 CPUtime=582.14 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 11206 0 0 0 57736 478 0 0 25 0 1 0 303840863 46067712 8060 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 11247 8060 102 219 0 11024 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 44988 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/71 26794 /proc/meminfo: memFree=1889920/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=46460 CPUtime=642.1 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 11639 0 0 0 63698 512 0 0 25 0 1 0 303840863 47575040 8493 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 11615 8493 102 219 0 11392 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 46460 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26884 /proc/meminfo: memFree=1885368/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=48588 CPUtime=821.99 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 13018 0 0 0 81585 614 0 0 25 0 1 0 303840863 49754112 9872 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545646 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 12147 9872 102 219 0 11924 0 Current children cumulated CPU time (s) 821.99 Current children cumulated vsize (KiB) 48588 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26884 /proc/meminfo: memFree=1884280/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=49376 CPUtime=881.97 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 13299 0 0 0 87547 650 0 0 25 0 1 0 303840863 50561024 10153 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547106 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 12344 10153 102 219 0 12121 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 49376 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26884 /proc/meminfo: memFree=1882232/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=50448 CPUtime=941.96 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 13817 0 0 0 93514 682 0 0 25 0 1 0 303840863 51658752 10671 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 12612 10671 102 219 0 12389 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 50448 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26884 /proc/meminfo: memFree=1881016/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=50568 CPUtime=1001.95 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 14113 0 0 0 99482 713 0 0 25 0 1 0 303840863 51781632 10967 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 12642 10967 102 219 0 12419 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 50568 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26884 /proc/meminfo: memFree=1880056/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=63720 CPUtime=1061.93 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 17431 0 0 0 105449 744 0 0 25 0 1 0 303840863 65249280 11212 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 15930 11212 102 219 0 15707 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 63720 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26884 /proc/meminfo: memFree=1878968/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=64512 CPUtime=1121.92 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 17693 0 0 0 111419 773 0 0 25 0 1 0 303840863 66060288 11474 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 16128 11474 102 219 0 15905 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 64512 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26884 /proc/meminfo: memFree=1878008/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=64632 CPUtime=1181.9 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 17933 0 0 0 117384 806 0 0 25 0 1 0 303840863 66183168 11714 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 16158 11714 102 219 0 15935 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 64632 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26884 /proc/meminfo: memFree=1876792/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=65592 CPUtime=1241.88 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 18223 0 0 0 123354 834 0 0 25 0 1 0 303840863 67166208 12004 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 16398 12004 102 219 0 16175 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 65592 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26884 /proc/meminfo: memFree=1875192/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=65592 CPUtime=1301.87 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 18616 0 0 0 129326 861 0 0 25 0 1 0 303840863 67166208 12397 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 16398 12397 102 219 0 16175 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 65592 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26884 /proc/meminfo: memFree=1874040/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=65712 CPUtime=1361.85 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 18890 0 0 0 135296 889 0 0 25 0 1 0 303840863 67289088 12671 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 16428 12671 102 219 0 16205 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 65712 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26884 /proc/meminfo: memFree=1873144/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=66608 CPUtime=1421.85 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 19104 0 0 0 141272 913 0 0 25 0 1 0 303840863 68206592 12885 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 16652 12885 102 219 0 16429 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 66608 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26884 /proc/meminfo: memFree=1871800/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=66752 CPUtime=1481.83 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 19465 0 0 0 147243 940 0 0 25 0 1 0 303840863 68354048 13246 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 16688 13246 102 219 0 16465 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 66752 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26884 /proc/meminfo: memFree=1871032/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=67848 CPUtime=1541.81 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 19655 0 0 0 153214 967 0 0 25 0 1 0 303840863 69476352 13436 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 16962 13436 102 219 0 16739 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 67848 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26884 /proc/meminfo: memFree=1870136/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=67992 CPUtime=1601.8 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 19872 0 0 0 159188 992 0 0 25 0 1 0 303840863 69623808 13653 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 16998 13653 102 219 0 16775 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 67992 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26884 /proc/meminfo: memFree=1868984/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=68136 CPUtime=1661.78 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 20160 0 0 0 165162 1016 0 0 25 0 1 0 303840863 69771264 13941 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 17034 13941 102 219 0 16811 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 68136 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26884 /proc/meminfo: memFree=1867704/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=69400 CPUtime=1721.76 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 20468 0 0 0 171137 1039 0 0 25 0 1 0 303840863 71065600 14249 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544685 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 17350 14249 102 219 0 17127 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 69400 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26884 /proc/meminfo: memFree=1865976/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=69528 CPUtime=1781.75 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 20880 0 0 0 177109 1066 0 0 25 0 1 0 303840863 71196672 14661 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 17382 14661 102 219 0 17159 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 69528 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26884 /proc/meminfo: memFree=1865720/2055920 swapFree=4183880/4192956 [pid=26683] ppid=26681 vsize=69656 CPUtime=1800.05 /proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 20939 0 0 0 178933 1072 0 0 25 0 1 0 303840863 71327744 14720 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26683/statm: 17414 14720 102 219 0 17191 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 69656 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.62 CPU time (s): 1800.07 CPU user time (s): 1789.34 CPU system time (s): 10.7334 CPU usage (%): 99.9695 Max. virtual memory (cumulated for all children) (KiB): 75892 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.34 system time used= 10.7334 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20942 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= 3704 runsolver used 1.40579 second user time and 3.57046 second system time The end
Begin job on node70 on Tue May 8 16:50:35 UTC 2007 IDJOB= 458776 IDBENCH= 2006 IDSOLVER= 200 FILE ID= node70/458776-1178643035 PBS_JOBID= 5218341 Free space on /tmp= 66561 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ8_3.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458776-1178643035/instance-458776-1178643035.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node70/convwatcher-458776-1178643035 -o ROOT/results/node70/conversion-458776-1178643035 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458776-1178643035/instance-458776-1178643035.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-458776-1178643035 -o ROOT/results/node70/solver-458776-1178643035 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458776-1178643035/instance-458776-1178643035.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= d431323968e1ca4dc95d181076d01437 RANDOM SEED= 412082441 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node70.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.218 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.218 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: 1925656 kB Buffers: 3456 kB Cached: 48160 kB SwapCached: 2988 kB Active: 31972 kB Inactive: 30080 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1925656 kB SwapTotal: 4192956 kB SwapFree: 4183880 kB Dirty: 3148 kB Writeback: 0 kB Mapped: 16608 kB Slab: 54256 kB Committed_AS: 7590560 kB PageTables: 1400 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= 66561 MiB End job on node70 on Tue May 8 17:20:38 UTC 2007