Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | 0 | 1800.07 | 1800.63 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-sc50b.opb |
MD5SUM | 7ba66e72f7a10b492134dc7de6859631 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -12 |
Best CPU time to get the best result obtained on this benchmark | 1800.22 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -19 |
Optimality of the best value was proved | NO |
Number of variables | 1440 |
Total number of constraints | 48 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 48 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 120 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524317 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 524372 |
Number of bits of the biggest sum of numbers | 20 |
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/458602-1178638317/instance-458602-1178638317.opb ...... 52.07/52.11 c done parsing opb. 52.07/52.11 o 524317 1800.04/1800.61 s SATISFIABLE 1800.04/1800.61 v -x1 x10 -x100 x1000 x1001 x1002 x1003 -x1004 -x1005 x1006 x1007 -x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 1800.04/1800.61 v -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x103 -x1030 -x1031 1800.04/1800.61 v x1032 x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 1800.04/1800.61 v -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062 -x1063 -x1064 1800.04/1800.61 v -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x108 -x1080 1800.04/1800.61 v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 1800.04/1800.61 v -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 -x1110 -x1111 1800.04/1800.61 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 1800.04/1800.61 v -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 -x1142 -x1143 1800.04/1800.61 v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 x1154 x1155 x1156 x1157 -x1158 x1159 -x116 1800.04/1800.61 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 x1172 -x1173 x1174 x1175 -x1176 1800.04/1800.61 v x1177 -x1178 -x1179 -x118 x1180 x1181 -x1182 -x1183 x1184 -x1185 x1186 -x1187 -x1188 -x1189 -x119 -x1190 -x1191 -x1192 1800.04/1800.61 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 x1201 x1202 x1203 x1204 x1205 x1206 x1207 x1208 x1209 1800.04/1800.61 v -x121 x1210 x1211 x1212 x1213 x1214 -x1215 x1216 -x1217 -x1218 -x1219 -x122 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1800.04/1800.61 v -x1227 -x1228 -x1229 -x123 -x1230 x1231 x1232 x1233 x1234 x1235 x1236 x1237 x1238 x1239 -x124 x1240 x1241 x1242 x1243 x1244 1800.04/1800.61 v x1245 x1246 x1247 x1248 -x1249 -x125 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 1800.04/1800.61 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x127 x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 1800.04/1800.61 v -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x129 -x1290 -x1291 -x1292 x1293 1800.04/1800.61 v x1294 -x1295 x1296 x1297 -x1298 x1299 -x13 -x130 -x1300 -x1301 -x1302 -x1303 x1304 -x1305 -x1306 x1307 -x1308 -x1309 -x131 1800.04/1800.61 v -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 1800.04/1800.61 v x1326 x1327 x1328 x1329 -x133 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 x1339 -x134 -x1340 -x1341 1800.04/1800.61 v -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 1800.04/1800.61 v -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x137 -x1370 -x1371 -x1372 -x1373 1800.04/1800.61 v -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x138 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 1800.04/1800.61 v -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 1800.04/1800.61 v -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 1800.04/1800.61 v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 1800.04/1800.61 v -x1437 -x1438 -x1439 -x144 -x1440 -x145 -x146 -x147 -x148 -x149 -x15 -x150 x151 -x152 x153 x154 x155 x156 x157 x158 -x159 1800.04/1800.61 v -x16 x160 -x161 x162 x163 x164 -x165 x166 -x167 -x168 -x169 x17 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 1800.04/1800.61 v -x18 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x19 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 1800.04/1800.61 v -x199 x2 -x20 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x21 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 1800.04/1800.61 v -x218 -x219 -x22 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x23 -x230 -x231 -x232 -x233 -x234 -x235 -x236 1800.04/1800.61 v -x237 -x238 -x239 -x24 -x240 x241 -x242 x243 x244 -x245 -x246 -x247 x248 -x249 -x25 -x250 -x251 -x252 x253 x254 x255 x256 -x257 1800.04/1800.61 v -x258 -x259 -x26 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x27 -x270 -x271 -x272 -x273 -x274 -x275 -x276 1800.04/1800.61 v -x277 -x278 -x279 -x28 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x29 -x290 -x291 -x292 -x293 -x294 -x295 1800.04/1800.61 v -x296 -x297 -x298 -x299 x3 -x30 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x31 -x310 -x311 x312 -x313 -x314 1800.04/1800.61 v -x315 -x316 -x317 -x318 -x319 -x32 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x33 -x330 -x331 x332 -x333 1800.04/1800.61 v -x334 -x335 -x336 -x337 -x338 x339 -x34 x340 x341 x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x35 -x350 -x351 -x352 -x353 1800.04/1800.61 v -x354 -x355 -x356 -x357 -x358 -x359 -x36 -x360 -x361 -x362 x363 -x364 x365 -x366 -x367 x368 -x369 -x37 x370 -x371 x372 -x373 1800.04/1800.61 v -x374 -x375 -x376 -x377 -x378 -x379 -x38 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x39 -x390 x391 -x392 1800.04/1800.61 v x393 x394 x395 x396 x397 x398 x399 -x4 -x40 x400 x401 x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 -x413 1800.04/1800.61 v -x414 -x415 -x416 -x417 -x418 -x419 -x42 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x43 -x430 -x431 -x432 1800.04/1800.61 v -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x45 -x450 -x451 1800.04/1800.61 v -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x47 -x470 1800.04/1800.61 v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x48 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x49 1800.04/1800.61 v -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x5 -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 1800.04/1800.61 v -x509 -x51 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x52 -x520 -x521 -x522 -x523 x524 x525 -x526 -x527 1800.04/1800.61 v -x528 -x529 -x53 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.04/1800.61 v -x547 -x548 -x549 -x55 -x550 x551 -x552 x553 -x554 -x555 -x556 x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.04/1800.61 v -x567 -x568 -x569 -x57 -x570 x571 x572 x573 x574 x575 x576 x577 x578 x579 -x58 -x580 x581 x582 x583 x584 x585 x586 -x587 -x588 1800.04/1800.61 v -x589 -x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 1800.04/1800.61 v -x607 -x608 -x609 -x61 x610 x611 x612 x613 x614 -x615 -x616 -x617 -x618 -x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 1800.04/1800.61 v -x627 -x628 -x629 -x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 x644 -x645 1800.04/1800.61 v -x646 x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 -x662 -x663 -x664 1800.04/1800.61 v -x665 -x666 -x667 -x668 -x669 x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 1800.04/1800.61 v -x684 -x685 -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70 -x700 -x701 1800.04/1800.61 v x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 1800.04/1800.61 v -x721 -x722 -x723 x724 x725 x726 -x727 x728 -x729 -x73 -x730 x731 -x732 -x733 -x734 x735 -x736 -x737 -x738 -x739 -x74 -x740 1800.04/1800.61 v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x76 1800.04/1800.61 v -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 1800.04/1800.61 v -x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 1800.04/1800.61 v -x799 -x8 -x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x81 -x810 x811 x812 x813 x814 x815 x816 x817 x818 1800.04/1800.61 v x819 -x82 x820 x821 x822 x823 x824 x825 x826 x827 -x828 -x829 -x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1800.04/1800.61 v -x84 -x840 -x841 x842 -x843 -x844 -x845 -x846 x847 x848 -x849 -x85 -x850 -x851 -x852 x853 x854 x855 -x856 -x857 -x858 -x859 1800.04/1800.61 v -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x87 -x870 x871 x872 x873 -x874 x875 -x876 x877 -x878 -x879 1800.04/1800.61 v -x88 x880 x881 x882 -x883 x884 -x885 -x886 x887 -x888 -x889 -x89 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 1800.04/1800.61 v -x9 -x90 -x900 x901 x902 x903 x904 x905 x906 x907 x908 -x909 -x91 -x910 x911 x912 x913 -x914 x915 x916 x917 -x918 -x919 -x92 1800.04/1800.61 v -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 1800.04/1800.61 v -x94 -x940 -x941 x942 -x943 x944 -x945 x946 -x947 -x948 -x949 -x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 1800.04/1800.61 v -x96 -x960 x961 x962 -x963 -x964 x965 -x966 -x967 x968 -x969 -x97 -x970 -x971 x972 x973 -x974 -x975 x976 -x977 -x978 -x979 1800.04/1800.61 v -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x99 -x990 x991 x992 x993 x994 x995 x996 x997 x998 x999
OK 0
/tmp/evaluation/458602-1178638317/instance-458602-1178638317.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node19/watcher-458602-1178638317 -o ROOT/results/node19/solver-458602-1178638317 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458602-1178638317/instance-458602-1178638317.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.98 0.99 3/77 25123 /proc/meminfo: memFree=1775992/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=1592 CPUtime=0 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 311749062 1630208 166 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134530024 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 398 166 86 219 0 175 0 [startup+0.0169849 s] /proc/loadavg: 0.92 0.98 0.99 3/77 25123 /proc/meminfo: memFree=1775992/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=1856 CPUtime=0.01 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 271 0 0 0 1 0 0 0 18 0 1 0 311749062 1900544 219 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134545456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 464 219 89 219 0 241 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1856 [startup+0.101995 s] /proc/loadavg: 0.92 0.98 0.99 3/77 25123 /proc/meminfo: memFree=1775992/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=1856 CPUtime=0.1 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 301 0 0 0 10 0 0 0 18 0 1 0 311749062 1900544 249 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 464 249 90 219 0 241 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1856 [startup+0.302016 s] /proc/loadavg: 0.92 0.98 0.99 3/77 25123 /proc/meminfo: memFree=1775992/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=2284 CPUtime=0.3 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 398 0 0 0 30 0 0 0 19 0 1 0 311749062 2338816 346 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 571 346 90 219 0 348 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 2284 [startup+0.70106 s] /proc/loadavg: 0.92 0.98 0.99 3/77 25123 /proc/meminfo: memFree=1775992/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=3968 CPUtime=0.69 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 621 0 0 0 69 0 0 0 23 0 1 0 311749062 4063232 569 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 992 569 90 219 0 769 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3968 [startup+1.50115 s] /proc/loadavg: 0.92 0.98 0.99 2/78 25124 /proc/meminfo: memFree=1773552/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=4164 CPUtime=1.49 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 885 0 0 0 149 0 0 0 25 0 1 0 311749062 4263936 833 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 1041 833 90 219 0 818 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4164 [startup+3.10132 s] /proc/loadavg: 0.92 0.98 0.99 2/78 25124 /proc/meminfo: memFree=1772080/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=6668 CPUtime=3.09 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 1319 0 0 0 307 2 0 0 25 0 1 0 311749062 6828032 1218 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 1667 1218 90 219 0 1444 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6668 [startup+6.30167 s] /proc/loadavg: 0.93 0.98 0.99 2/78 25124 /proc/meminfo: memFree=1769968/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=11168 CPUtime=6.28 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 1752 0 0 0 625 3 0 0 25 0 1 0 311749062 11436032 1651 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 2792 1651 90 219 0 2569 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 11168 [startup+12.7014 s] /proc/loadavg: 0.93 0.98 0.99 2/78 25124 /proc/meminfo: memFree=1767472/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=11940 CPUtime=12.69 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 2423 0 0 0 1261 8 0 0 25 0 1 0 311749062 12226560 2225 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 2985 2225 90 219 0 2762 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11940 [startup+25.5018 s] /proc/loadavg: 0.95 0.98 0.99 2/78 25124 /proc/meminfo: memFree=1763632/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=21716 CPUtime=25.49 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 3502 0 0 0 2534 15 0 0 25 0 1 0 311749062 22237184 3111 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 5429 3111 90 219 0 5206 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21716 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.99 2/78 25124 /proc/meminfo: memFree=1757744/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=22776 CPUtime=51.08 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 4960 0 0 0 5083 25 0 0 25 0 1 0 311749062 23322624 4569 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 5694 4569 90 219 0 5471 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 22776 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 25124 /proc/meminfo: memFree=1753456/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=25916 CPUtime=102.27 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 6412 0 0 0 10184 43 0 0 25 0 1 0 311749062 26537984 5636 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 6479 5636 102 219 0 6256 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 25916 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25124 /proc/meminfo: memFree=1748272/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=43764 CPUtime=162.25 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 7735 0 0 0 16162 63 0 0 25 0 1 0 311749062 44814336 6959 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 10941 6959 102 219 0 10718 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 43764 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25124 /proc/meminfo: memFree=1741808/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=47812 CPUtime=222.24 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 10093 0 0 0 22141 83 0 0 25 0 1 0 311749062 48959488 8548 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 11953 8548 102 219 0 11730 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 47812 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25124 /proc/meminfo: memFree=1735152/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=48856 CPUtime=282.22 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 11746 0 0 0 28119 103 0 0 25 0 1 0 311749062 50028544 10201 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 12214 10201 102 219 0 11991 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 48856 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25124 /proc/meminfo: memFree=1733040/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=49608 CPUtime=342.2 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 12277 0 0 0 34100 120 0 0 25 0 1 0 311749062 50798592 10732 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 12402 10732 102 219 0 12179 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 49608 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25124 /proc/meminfo: memFree=1728688/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=50224 CPUtime=402.19 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 13367 0 0 0 40081 138 0 0 25 0 1 0 311749062 51429376 11822 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 12556 11822 102 219 0 12333 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 50224 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25124 /proc/meminfo: memFree=1723888/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=84264 CPUtime=462.17 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 14561 0 0 0 46059 158 0 0 25 0 1 0 311749062 86286336 13016 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 21066 13016 102 219 0 20843 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 84264 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25124 /proc/meminfo: memFree=1718960/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=85088 CPUtime=522.15 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 15792 0 0 0 52041 174 0 0 25 0 1 0 311749062 87130112 14247 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 21272 14247 102 219 0 21049 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 85088 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25124 /proc/meminfo: memFree=1713776/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=85832 CPUtime=582.14 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 17133 0 0 0 58022 192 0 0 25 0 1 0 311749062 87891968 15555 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 21458 15555 102 219 0 21235 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 85832 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25126 /proc/meminfo: memFree=1710896/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=86288 CPUtime=642.13 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 17838 0 0 0 64007 206 0 0 25 0 1 0 311749062 88358912 16260 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550340 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 21572 16260 102 219 0 21349 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 86288 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25126 /proc/meminfo: memFree=1702064/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=94516 CPUtime=822.07 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 21603 0 0 0 81950 257 0 0 25 0 1 0 311749062 96784384 18488 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550328 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 23629 18488 102 219 0 23406 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 94516 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25126 /proc/meminfo: memFree=1699632/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=95344 CPUtime=882.06 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 22182 0 0 0 87933 273 0 0 25 0 1 0 311749062 97632256 19067 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134547376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 23836 19067 102 219 0 23613 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 95344 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25126 /proc/meminfo: memFree=1699184/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=95536 CPUtime=942.04 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 22307 0 0 0 93918 286 0 0 25 0 1 0 311749062 97828864 19192 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 23884 19192 102 219 0 23661 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 95536 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25126 /proc/meminfo: memFree=1697392/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=96600 CPUtime=1002.03 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 22751 0 0 0 99902 301 0 0 25 0 1 0 311749062 98918400 19636 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 24150 19636 102 219 0 23927 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 96600 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25126 /proc/meminfo: memFree=1696432/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=97324 CPUtime=1062.02 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 22989 0 0 0 105884 318 0 0 25 0 1 0 311749062 99659776 19874 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 24331 19874 102 219 0 24108 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 97324 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25126 /proc/meminfo: memFree=1695344/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=97720 CPUtime=1122 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 23252 0 0 0 111863 337 0 0 25 0 1 0 311749062 100065280 20137 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 24430 20137 102 219 0 24207 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 97720 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25126 /proc/meminfo: memFree=1694320/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=98584 CPUtime=1181.98 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 23511 0 0 0 117844 354 0 0 25 0 1 0 311749062 100950016 20396 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550334 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 24646 20396 102 219 0 24423 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 98584 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25126 /proc/meminfo: memFree=1693680/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=98584 CPUtime=1241.97 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 23666 0 0 0 123825 372 0 0 25 0 1 0 311749062 100950016 20551 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 24646 20551 102 219 0 24423 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 98584 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25126 /proc/meminfo: memFree=1693040/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=99056 CPUtime=1301.95 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 23833 0 0 0 129805 390 0 0 25 0 1 0 311749062 101433344 20718 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 24764 20718 102 219 0 24541 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 99056 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25126 /proc/meminfo: memFree=1692080/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=99688 CPUtime=1361.94 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 24072 0 0 0 135788 406 0 0 25 0 1 0 311749062 102080512 20957 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 24922 20957 102 219 0 24699 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 99688 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25126 /proc/meminfo: memFree=1691184/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=100224 CPUtime=1421.93 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 24292 0 0 0 141771 422 0 0 25 0 1 0 311749062 102629376 21177 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 25056 21177 102 219 0 24833 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 100224 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25126 /proc/meminfo: memFree=1690096/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=100792 CPUtime=1481.9 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 24562 0 0 0 147751 439 0 0 25 0 1 0 311749062 103211008 21447 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 25198 21447 102 219 0 24975 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 100792 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25126 /proc/meminfo: memFree=1689200/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=101540 CPUtime=1541.89 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 24779 0 0 0 153732 457 0 0 25 0 1 0 311749062 103976960 21664 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 25385 21664 102 219 0 25162 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 101540 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25126 /proc/meminfo: memFree=1688304/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=101540 CPUtime=1601.87 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 25005 0 0 0 159712 475 0 0 25 0 1 0 311749062 103976960 21890 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 25385 21890 102 219 0 25162 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 101540 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25126 /proc/meminfo: memFree=1687664/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=114104 CPUtime=1661.86 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 28225 0 0 0 165692 494 0 0 25 0 1 0 311749062 116842496 22037 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 28526 22037 102 219 0 28303 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 114104 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25126 /proc/meminfo: memFree=1686960/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=114876 CPUtime=1721.85 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 28400 0 0 0 171675 510 0 0 25 0 1 0 311749062 117633024 22212 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 28719 22212 102 219 0 28496 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 114876 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/84 25292 /proc/meminfo: memFree=1684536/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=115144 CPUtime=1781.74 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 28654 0 0 0 177650 524 0 0 25 0 1 0 311749062 117907456 22466 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 28786 22466 102 219 0 28563 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 115144 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/84 25304 /proc/meminfo: memFree=1684536/2055920 swapFree=4153680/4192956 [pid=25123] ppid=25121 vsize=115824 CPUtime=1800.04 /proc/25123/stat : 25123 (PBS4_SAT07v2) R 25121 25123 24360 0 -1 4194304 28685 0 0 0 179474 530 0 0 25 0 1 0 311749062 118603776 22497 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25123/statm: 28956 22497 102 219 0 28733 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 115824 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.63 CPU time (s): 1800.07 CPU user time (s): 1794.75 CPU system time (s): 5.31819 CPU usage (%): 99.9687 Max. virtual memory (cumulated for all children) (KiB): 126252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.75 system time used= 5.31819 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28688 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= 35123 runsolver used 1.48877 second user time and 4.35734 second system time The end
Begin job on node19 on Tue May 8 15:31:57 UTC 2007 IDJOB= 458602 IDBENCH= 1716 IDSOLVER= 200 FILE ID= node19/458602-1178638317 PBS_JOBID= 5217808 Free space on /tmp= 66561 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sc50b.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458602-1178638317/instance-458602-1178638317.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node19/convwatcher-458602-1178638317 -o ROOT/results/node19/conversion-458602-1178638317 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458602-1178638317/instance-458602-1178638317.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-458602-1178638317 -o ROOT/results/node19/solver-458602-1178638317 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458602-1178638317/instance-458602-1178638317.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 7ba66e72f7a10b492134dc7de6859631 RANDOM SEED= 368957598 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node19.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.213 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.213 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: 1776464 kB Buffers: 36428 kB Cached: 153488 kB SwapCached: 8100 kB Active: 104232 kB Inactive: 109140 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1776464 kB SwapTotal: 4192956 kB SwapFree: 4153680 kB Dirty: 2304 kB Writeback: 0 kB Mapped: 30524 kB Slab: 51644 kB Committed_AS: 9087820 kB PageTables: 1784 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 node19 on Tue May 8 16:02:00 UTC 2007