Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | -48 | 1800.12 | 1800.74 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_3.opb |
MD5SUM | 60cf9918356073587dd2c65f46896dfb |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -49 |
Best CPU time to get the best result obtained on this benchmark | 1800.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -49 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
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 | 200 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2488 |
Sum of products size (including duplicates) | 4976 |
Number of different products | 1244 |
Sum of products size | 2488 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/459712-1178658564/instance-459712-1178658564.opb ...... 0.00/0.03 c done parsing opb. 0.00/0.03 o 169 0.00/0.04 o 168 0.00/0.04 o 164 0.00/0.04 o 163 0.79/0.82 o 161 2.29/2.37 o 160 2.39/2.42 o 159 2.59/2.60 o 158 2.79/2.83 o 157 2.79/2.85 o 156 2.79/2.85 o 155 2.79/2.85 o 154 1009.95/1010.32 o 153 1271.46/1271.90 o 152 1800.09/1800.71 s SATISFIABLE 1800.09/1800.71 v -x1 -x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013 1800.09/1800.71 v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 1800.09/1800.71 v -x103 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 1800.09/1800.71 v -x1046 -x1047 -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 1800.09/1800.71 v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 1800.09/1800.71 v -x1079 -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094 1800.09/1800.71 v -x1095 -x1096 -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 1800.09/1800.71 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.09/1800.71 v -x1126 -x1127 -x1128 -x1129 x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x114 -x1140 -x1141 1800.09/1800.71 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1800.09/1800.71 v -x1159 -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 x117 -x1170 -x1171 -x1172 -x1173 -x1174 1800.09/1800.71 v -x1175 -x1176 -x1177 -x1178 -x1179 x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x119 -x1190 1800.09/1800.71 v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 1800.09/1800.71 v -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 x122 -x1220 -x1221 -x1222 1800.09/1800.71 v -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 1800.09/1800.71 v -x1239 -x124 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 -x1253 -x1254 1800.09/1800.71 v -x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 x127 -x1270 1800.09/1800.71 v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 x128 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 1800.09/1800.71 v -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 -x1300 -x1301 -x1302 1800.09/1800.71 v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 1800.09/1800.71 v -x1319 -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x133 -x1330 -x1331 -x1332 -x1333 -x1334 1800.09/1800.71 v -x1335 -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x135 -x1350 1800.09/1800.71 v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 1800.09/1800.71 v -x1367 -x1368 -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x138 -x1380 -x1381 -x1382 1800.09/1800.71 v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 1800.09/1800.71 v -x1399 x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 x141 -x1410 -x1411 -x1412 -x1413 1800.09/1800.71 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 1800.09/1800.71 v -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443 -x1444 -x145 1800.09/1800.71 v -x146 x147 -x148 x149 -x15 -x150 x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x16 -x160 -x161 x162 -x163 -x164 -x165 1800.09/1800.71 v -x166 x167 -x168 -x169 -x17 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 x179 -x18 x180 -x181 x182 -x183 x184 -x185 1800.09/1800.71 v x186 x187 -x188 -x189 x19 x190 -x191 -x192 x193 -x194 x195 x196 -x197 -x198 x199 x2 -x20 x200 -x201 -x202 -x203 -x204 -x205 1800.09/1800.71 v -x206 -x207 -x208 -x209 -x21 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x22 -x220 -x221 -x222 -x223 -x224 1800.09/1800.71 v -x225 -x226 -x227 -x228 -x229 -x23 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x24 -x240 -x241 -x242 -x243 1800.09/1800.71 v -x244 -x245 -x246 -x247 -x248 -x249 x25 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x26 -x260 -x261 -x262 1800.09/1800.71 v -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x27 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x28 -x280 -x281 1800.09/1800.71 v -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x29 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x3 -x30 1800.09/1800.71 v -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x31 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 1800.09/1800.71 v -x32 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x33 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 1800.09/1800.71 v -x339 -x34 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.09/1800.71 v -x358 -x359 -x36 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x37 -x370 -x371 -x372 -x373 -x374 -x375 -x376 1800.09/1800.71 v -x377 -x378 -x379 -x38 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x39 -x390 -x391 -x392 -x393 -x394 -x395 1800.09/1800.71 v -x396 -x397 -x398 -x399 -x4 x40 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 -x413 -x414 1800.09/1800.71 v -x415 -x416 -x417 -x418 -x419 -x42 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x43 -x430 -x431 -x432 -x433 1800.09/1800.71 v -x434 -x435 -x436 -x437 -x438 -x439 -x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x45 -x450 -x451 -x452 1800.09/1800.71 v -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x47 -x470 -x471 1800.09/1800.71 v -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x49 -x490 1800.09/1800.71 v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x5 -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 1800.09/1800.71 v x51 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x52 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 1800.09/1800.71 v -x529 -x53 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 1800.09/1800.71 v -x548 -x549 -x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.09/1800.71 v -x567 -x568 -x569 -x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 -x584 -x585 1800.09/1800.71 v -x586 -x587 -x588 -x589 -x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 1800.09/1800.71 v -x604 -x605 -x606 -x607 -x608 -x609 -x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x62 -x620 -x621 -x622 1800.09/1800.71 v -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 1800.09/1800.71 v -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 1800.09/1800.71 v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 x68 1800.09/1800.71 v -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 1800.09/1800.71 v x7 -x70 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 1800.09/1800.71 v -x719 -x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 1800.09/1800.71 v -x738 -x739 -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1800.09/1800.71 v -x757 -x758 -x759 -x76 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 1800.09/1800.71 v -x776 -x777 -x778 -x779 -x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 x79 -x790 -x791 -x792 -x793 -x794 1800.09/1800.71 v -x795 -x796 -x797 -x798 -x799 -x8 x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x81 -x810 -x811 -x812 -x813 1800.09/1800.71 v -x814 -x815 -x816 -x817 -x818 -x819 x82 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x83 -x830 -x831 -x832 1800.09/1800.71 v -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850 -x851 1800.09/1800.71 v -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x87 -x870 1800.09/1800.71 v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89 1800.09/1800.71 v -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 1800.09/1800.71 v -x909 -x91 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 1800.09/1800.71 v -x928 -x929 -x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 1800.09/1800.71 v -x947 -x948 -x949 -x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965 1800.09/1800.71 v -x966 -x967 -x968 -x969 -x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x98 -x980 -x981 -x982 -x983 -x984 1800.09/1800.71 v -x985 -x986 -x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999
OK -48
Linearizing /tmp/evaluation/459712-1178658564/instance-459712-1178658564.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node46/watcher-459712-1178658564 -o ROOT/results/node46/solver-459712-1178658564 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459712-1178658564/instance-459712-1178658564.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.08 1.02 1.01 3/78 23195 /proc/meminfo: memFree=1515120/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=1592 CPUtime=0 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 190 0 0 0 0 0 0 0 18 0 1 0 220539455 1630208 172 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006476 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 398 172 86 219 0 175 0 [startup+0.061136 s] /proc/loadavg: 1.08 1.02 1.01 3/78 23195 /proc/meminfo: memFree=1515120/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=1984 CPUtime=0.05 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 370 0 0 0 5 0 0 0 18 0 1 0 220539455 2031616 352 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 496 352 102 219 0 273 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1984 [startup+0.102145 s] /proc/loadavg: 1.08 1.02 1.01 3/78 23195 /proc/meminfo: memFree=1515120/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=2240 CPUtime=0.09 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 437 0 0 0 9 0 0 0 18 0 1 0 220539455 2293760 419 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 560 419 102 219 0 337 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2240 [startup+0.30118 s] /proc/loadavg: 1.08 1.02 1.01 3/78 23195 /proc/meminfo: memFree=1515120/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=3976 CPUtime=0.29 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 760 0 0 0 29 0 0 0 19 0 1 0 220539455 4071424 742 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557495 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 994 742 102 219 0 771 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3976 [startup+0.701255 s] /proc/loadavg: 1.08 1.02 1.01 3/78 23195 /proc/meminfo: memFree=1515120/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=6024 CPUtime=0.69 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 1279 0 0 0 69 0 0 0 23 0 1 0 220539455 6168576 1261 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 1506 1261 102 219 0 1283 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6024 [startup+1.5014 s] /proc/loadavg: 1.08 1.02 1.01 2/79 23196 /proc/meminfo: memFree=1508712/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=10584 CPUtime=1.49 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 2330 0 0 0 148 1 0 0 25 0 1 0 220539455 10838016 2312 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 2646 2312 102 219 0 2423 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10584 [startup+3.1017 s] /proc/loadavg: 1.08 1.02 1.01 2/79 23196 /proc/meminfo: memFree=1504040/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=20072 CPUtime=3.09 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 3862 0 0 0 307 2 0 0 25 0 1 0 220539455 20553728 3795 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 5018 3795 102 219 0 4795 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20072 [startup+6.30129 s] /proc/loadavg: 1.07 1.02 1.00 2/79 23196 /proc/meminfo: memFree=1495784/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=21320 CPUtime=6.29 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 5050 0 0 0 625 4 0 0 25 0 1 0 220539455 21831680 4886 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 5330 4886 102 219 0 5107 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21320 [startup+12.7015 s] /proc/loadavg: 1.07 1.02 1.00 2/79 23196 /proc/meminfo: memFree=1493752/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=38544 CPUtime=12.69 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 5524 0 0 0 1263 6 0 0 25 0 1 0 220539455 39469056 5360 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 9636 5360 102 219 0 9413 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 38544 [startup+25.5029 s] /proc/loadavg: 1.05 1.01 1.00 2/79 23196 /proc/meminfo: memFree=1491072/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=40380 CPUtime=25.49 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 6357 0 0 0 2538 11 0 0 25 0 1 0 220539455 41349120 6000 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 10095 6000 102 219 0 9872 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 40380 [startup+51.1016 s] /proc/loadavg: 1.03 1.01 1.00 2/79 23196 /proc/meminfo: memFree=1488832/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=43288 CPUtime=51.08 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 7316 0 0 0 5089 19 0 0 25 0 1 0 220539455 44326912 6574 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549410 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 10822 6574 102 219 0 10599 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 43288 [startup+102.305 s] /proc/loadavg: 1.01 1.01 1.00 2/79 23196 /proc/meminfo: memFree=1484800/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=49148 CPUtime=102.26 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 9106 0 0 0 10192 34 0 0 25 0 1 0 220539455 50327552 7595 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 12287 7595 102 219 0 12064 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 49148 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23196 /proc/meminfo: memFree=1481152/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=51232 CPUtime=162.24 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 10030 0 0 0 16178 46 0 0 25 0 1 0 220539455 52461568 8519 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 12808 8519 102 219 0 12585 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 51232 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23196 /proc/meminfo: memFree=1477952/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=59280 CPUtime=222.22 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 12329 0 0 0 22163 59 0 0 25 0 1 0 220539455 60702720 9281 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 14820 9281 102 219 0 14597 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 59280 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23196 /proc/meminfo: memFree=1475264/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=60744 CPUtime=282.2 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 13019 0 0 0 28149 71 0 0 25 0 1 0 220539455 62201856 9971 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 15186 9971 102 219 0 14963 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 60744 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23196 /proc/meminfo: memFree=1472640/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=61876 CPUtime=342.18 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 13656 0 0 0 34137 81 0 0 25 0 1 0 220539455 63361024 10608 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544685 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 15469 10608 102 219 0 15246 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 61876 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23196 /proc/meminfo: memFree=1470208/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=63316 CPUtime=402.16 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 14282 0 0 0 40125 91 0 0 25 0 1 0 220539455 64835584 11234 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 15829 11234 102 219 0 15606 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 63316 [startup+462.303 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23196 /proc/meminfo: memFree=1467840/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=64760 CPUtime=462.14 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 14867 0 0 0 46114 100 0 0 25 0 1 0 220539455 66314240 11819 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549380 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 16190 11819 102 219 0 15967 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 64760 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23196 /proc/meminfo: memFree=1465600/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=78000 CPUtime=522.11 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 18493 0 0 0 52104 107 0 0 25 0 1 0 220539455 79872000 12372 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549380 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 19500 12372 102 219 0 19277 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 78000 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23196 /proc/meminfo: memFree=1463552/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=78840 CPUtime=582.1 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 19003 0 0 0 58095 115 0 0 25 0 1 0 220539455 80732160 12882 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 19710 12882 102 219 0 19487 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 78840 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23196 /proc/meminfo: memFree=1461632/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=79732 CPUtime=642.08 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 19484 0 0 0 64085 123 0 0 25 0 1 0 220539455 81645568 13363 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549380 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 19933 13363 102 219 0 19710 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 79732 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23196 /proc/meminfo: memFree=1454592/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=84052 CPUtime=881.99 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 21246 0 0 0 88048 151 0 0 25 0 1 0 220539455 86069248 15125 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549410 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 21013 15125 102 219 0 20790 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 84052 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23196 /proc/meminfo: memFree=1452992/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=84052 CPUtime=941.97 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 21646 0 0 0 94041 156 0 0 25 0 1 0 220539455 86069248 15525 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 21013 15525 102 219 0 20790 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 84052 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23196 /proc/meminfo: memFree=1451456/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=85260 CPUtime=1001.95 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 22032 0 0 0 100032 163 0 0 25 0 1 0 220539455 87306240 15911 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 21315 15911 102 219 0 21092 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 85260 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 3/79 23196 /proc/meminfo: memFree=1449920/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=86540 CPUtime=1061.93 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 22425 0 0 0 106023 170 0 0 25 0 1 0 220539455 88616960 16304 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 21635 16304 102 219 0 21412 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 86540 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23196 /proc/meminfo: memFree=1448384/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=86540 CPUtime=1121.91 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 22810 0 0 0 112016 175 0 0 25 0 1 0 220539455 88616960 16689 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 21635 16689 102 219 0 21412 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 86540 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23196 /proc/meminfo: memFree=1446784/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=87900 CPUtime=1181.89 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 23205 0 0 0 118009 180 0 0 25 0 1 0 220539455 90009600 17084 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 21975 17084 102 219 0 21752 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 87900 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23196 /proc/meminfo: memFree=1445312/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=87900 CPUtime=1241.87 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 23561 0 0 0 124001 186 0 0 25 0 1 0 220539455 90009600 17440 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550298 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 21975 17440 102 219 0 21752 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 87900 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23196 /proc/meminfo: memFree=1443840/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=89348 CPUtime=1301.85 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 23915 0 0 0 129994 191 0 0 25 0 1 0 220539455 91492352 17794 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 22337 17794 102 219 0 22114 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 89348 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23196 /proc/meminfo: memFree=1442368/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=89348 CPUtime=1361.83 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 24274 0 0 0 135986 197 0 0 25 0 1 0 220539455 91492352 18153 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 22337 18153 102 219 0 22114 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 89348 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23196 /proc/meminfo: memFree=1440896/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=115460 CPUtime=1421.81 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 30792 0 0 0 141975 206 0 0 25 0 1 0 220539455 118231040 18526 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 28865 18526 102 219 0 28642 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 115460 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23196 /proc/meminfo: memFree=1439552/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=115460 CPUtime=1481.79 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 31137 0 0 0 147968 211 0 0 25 0 1 0 220539455 118231040 18871 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 28865 18871 102 219 0 28642 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 115460 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23196 /proc/meminfo: memFree=1438272/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=117252 CPUtime=1541.77 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 31473 0 0 0 153960 217 0 0 25 0 1 0 220539455 120066048 19207 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 29313 19207 102 219 0 29090 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 117252 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23196 /proc/meminfo: memFree=1436864/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=117252 CPUtime=1601.75 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 31810 0 0 0 159953 222 0 0 25 0 1 0 220539455 120066048 19544 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 29313 19544 102 219 0 29090 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 117252 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23196 /proc/meminfo: memFree=1435520/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=118988 CPUtime=1661.73 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 32151 0 0 0 165945 228 0 0 25 0 1 0 220539455 121843712 19885 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 29747 19885 102 219 0 29524 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 118988 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23196 /proc/meminfo: memFree=1434240/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=118988 CPUtime=1721.71 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 32471 0 0 0 171938 233 0 0 25 0 1 0 220539455 121843712 20205 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560849 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 29747 20205 102 219 0 29524 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 118988 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23196 /proc/meminfo: memFree=1433024/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=118988 CPUtime=1781.69 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 32778 0 0 0 177930 239 0 0 25 0 1 0 220539455 121843712 20512 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 29747 20512 102 219 0 29524 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 118988 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23198 /proc/meminfo: memFree=1432576/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=119148 CPUtime=1800.09 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 32889 0 0 0 179769 240 0 0 25 0 1 0 220539455 122007552 20623 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 29787 20623 102 219 0 29564 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 119148 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/79 23198 /proc/meminfo: memFree=1432576/2055920 swapFree=4159456/4192956 [pid=23195] ppid=23193 vsize=119148 CPUtime=1800.09 /proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 32889 0 0 0 179769 240 0 0 25 0 1 0 220539455 122007552 20623 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23195/statm: 29787 20623 102 219 0 29564 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 119148 Child status: 0 Real time (s): 1800.74 CPU time (s): 1800.12 CPU user time (s): 1797.7 CPU system time (s): 2.41863 CPU usage (%): 99.9655 Max. virtual memory (cumulated for all children) (KiB): 138504 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.7 system time used= 2.41863 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32892 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= 11 involuntary context switches= 2447 runsolver used 1.72274 second user time and 4.74628 second system time The end
Begin job on node46 on Tue May 8 21:09:25 UTC 2007 IDJOB= 459712 IDBENCH= 48173 IDSOLVER= 200 FILE ID= node46/459712-1178658564 PBS_JOBID= 5218398 Free space on /tmp= 66218 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_3.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459712-1178658564/instance-459712-1178658564.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node46/convwatcher-459712-1178658564 -o ROOT/results/node46/conversion-459712-1178658564 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459712-1178658564/instance-459712-1178658564.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node46/watcher-459712-1178658564 -o ROOT/results/node46/solver-459712-1178658564 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459712-1178658564/instance-459712-1178658564.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 60cf9918356073587dd2c65f46896dfb RANDOM SEED= 88821272 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node46.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 : 5931.00 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: 1515464 kB Buffers: 43784 kB Cached: 356576 kB SwapCached: 3288 kB Active: 144592 kB Inactive: 280892 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1515464 kB SwapTotal: 4192956 kB SwapFree: 4159456 kB Dirty: 2376 kB Writeback: 0 kB Mapped: 32784 kB Slab: 100284 kB Committed_AS: 5184352 kB PageTables: 1996 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= 66218 MiB End job on node46 on Tue May 8 21:39:28 UTC 2007