Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
pb_cplex 2010-06-29 | SAT | -39 | 1798.84 | 1799.33 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb |
MD5SUM | b8b0df75c0f0dbb89ae9601b9070a445 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -45 |
Best CPU time to get the best result obtained on this benchmark | 1800.17 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -54 |
Optimality of the best value was proved | NO |
Number of variables | 1400 |
Total number of constraints | 109676 |
Number of constraints which are clauses | 109676 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1400 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1400 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1400 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c pb_cplex 1.0 - 20100701 0.00/0.00 c Parsing opb file format. File HOME/instance-2696033-1278019105.opb. 0.00/0.00 c Instance file HOME/instance-2696033-1278019105.opb 0.00/0.00 c File size is 2689847 bytes. 1.10/1.13 c Highest Coefficient sum: 3 1.10/1.13 c IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ". 1.18/1.27 c ============================[ Problem Statistics ]============================= 1.18/1.27 c | | 1.18/1.27 c | Parsing time: 1.21 s | 1.18/1.27 c | Number Variables: 1400 | 1.18/1.29 c | Number Constraints: 109676 | 1.18/1.29 c =============================================================================== 1798.70/1799.29 c Remaining time 1798.78 sec. 1798.70/1799.29 s SATISFIABLE 1798.70/1799.29 c Solution value = -39.00 1798.70/1799.29 v -x1400 -x1399 -x1398 -x1397 -x1396 x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1798.70/1799.30 c Total CPU time : 1797.11 s
OK -39
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2696033-1278019105/watcher-2696033-1278019105 -o /tmp/evaluation-result-2696033-1278019105/solver-2696033-1278019105 -C 1800 -W 2000 -M 1800 run HOME/instance-2696033-1278019105.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.83 1.89 1.51 3/106 24041 /proc/meminfo: memFree=1441852/2059040 swapFree=4139292/4192956 [pid=24041] ppid=24039 vsize=8700 CPUtime=0 /proc/24041/stat : 24041 (run) S 24039 24041 23552 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 177512284 8908800 249 1992294400 4194304 4922060 140733599410624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24041/statm: 2175 249 208 178 0 68 0 [startup+0.033809 s] /proc/loadavg: 1.83 1.89 1.51 3/106 24041 /proc/meminfo: memFree=1441852/2059040 swapFree=4139292/4192956 [pid=24041] ppid=24039 vsize=8700 CPUtime=0 /proc/24041/stat : 24041 (run) S 24039 24041 23552 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 177512284 8908800 249 1992294400 4194304 4922060 140733599410624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24041/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101815 s] /proc/loadavg: 1.83 1.89 1.51 3/106 24041 /proc/meminfo: memFree=1441852/2059040 swapFree=4139292/4192956 [pid=24041] ppid=24039 vsize=8700 CPUtime=0 /proc/24041/stat : 24041 (run) S 24039 24041 23552 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 177512284 8908800 249 1992294400 4194304 4922060 140733599410624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24041/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301838 s] /proc/loadavg: 1.83 1.89 1.51 3/106 24041 /proc/meminfo: memFree=1441852/2059040 swapFree=4139292/4192956 [pid=24041] ppid=24039 vsize=8700 CPUtime=0 /proc/24041/stat : 24041 (run) S 24039 24041 23552 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 177512284 8908800 249 1992294400 4194304 4922060 140733599410624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24041/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701883 s] /proc/loadavg: 1.83 1.89 1.51 3/106 24041 /proc/meminfo: memFree=1441852/2059040 swapFree=4139292/4192956 [pid=24041] ppid=24039 vsize=8700 CPUtime=0 /proc/24041/stat : 24041 (run) S 24039 24041 23552 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 177512284 8908800 249 1992294400 4194304 4922060 140733599410624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24041/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50198 s] /proc/loadavg: 1.77 1.88 1.51 2/108 24043 /proc/meminfo: memFree=1426336/2059040 swapFree=4139292/4192956 [pid=24041] ppid=24039 vsize=8700 CPUtime=0 /proc/24041/stat : 24041 (run) S 24039 24041 23552 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 177512284 8908800 249 1992294400 4194304 4922060 140733599410624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24041/statm: 2175 249 208 178 0 68 0 [pid=24042] ppid=24041 vsize=64684 CPUtime=1.49 /proc/24042/stat : 24042 (pb_cplex) R 24041 24041 23552 0 -1 4202496 15780 0 0 0 142 7 0 0 18 0 1 0 177512284 66236416 12517 1992294400 134512640 146736320 4294346976 18446744073709551615 136237225 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/24042/statm: 16171 12517 731 2985 0 12713 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 73384 [startup+3.10115 s] /proc/loadavg: 1.77 1.88 1.51 2/108 24043 /proc/meminfo: memFree=1389508/2059040 swapFree=4139292/4192956 [pid=24041] ppid=24039 vsize=8700 CPUtime=0 /proc/24041/stat : 24041 (run) S 24039 24041 23552 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 177512284 8908800 249 1992294400 4194304 4922060 140733599410624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24041/statm: 2175 249 208 178 0 68 0 [pid=24042] ppid=24041 vsize=64152 CPUtime=3.08 /proc/24042/stat : 24042 (pb_cplex) R 24041 24041 23552 0 -1 4202496 19200 0 0 0 300 8 0 0 20 0 1 0 177512284 65691648 12630 1992294400 134512640 146736320 4294346976 18446744073709551615 138729963 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/24042/statm: 16038 12630 767 2985 0 12580 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 72852 [startup+6.3015 s] /proc/loadavg: 1.77 1.88 1.51 2/108 24043 /proc/meminfo: memFree=1376240/2059040 swapFree=4139292/4192956 [pid=24041] ppid=24039 vsize=8700 CPUtime=0 /proc/24041/stat : 24041 (run) S 24039 24041 23552 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 177512284 8908800 249 1992294400 4194304 4922060 140733599410624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24041/statm: 2175 249 208 178 0 68 0 [pid=24042] ppid=24041 vsize=133532 CPUtime=6.29 /proc/24042/stat : 24042 (pb_cplex) R 24041 24041 23552 0 -1 4202496 32060 0 0 0 616 13 0 0 25 0 1 0 177512284 136736768 17094 1992294400 134512640 146736320 4294346976 18446744073709551615 136016733 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/24042/statm: 33383 17094 887 2985 0 29925 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 142232 [startup+12.7012 s] /proc/loadavg: 1.65 1.85 1.50 2/108 24043 /proc/meminfo: memFree=1374752/2059040 swapFree=4139292/4192956 [pid=24041] ppid=24039 vsize=8700 CPUtime=0 /proc/24041/stat : 24041 (run) S 24039 24041 23552 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 177512284 8908800 249 1992294400 4194304 4922060 140733599410624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24041/statm: 2175 249 208 178 0 68 0 [pid=24042] ppid=24041 vsize=134740 CPUtime=12.68 /proc/24042/stat : 24042 (pb_cplex) R 24041 24041 23552 0 -1 4202496 32388 0 0 0 1255 13 0 0 25 0 1 0 177512284 137973760 17413 1992294400 134512640 146736320 4294346976 18446744073709551615 136015519 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/24042/statm: 33685 17413 887 2985 0 30227 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 143440 [startup+25.5016 s] /proc/loadavg: 1.55 1.82 1.50 2/108 24045 /proc/meminfo: memFree=1374752/2059040 swapFree=4139292/4192956 [pid=24041] ppid=24039 vsize=8700 CPUtime=0 /proc/24041/stat : 24041 (run) S 24039 24041 23552 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 177512284 8908800 249 1992294400 4194304 4922060 140733599410624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24041/statm: 2175 249 208 178 0 68 0 [pid=24042] ppid=24041 vsize=134788 CPUtime=25.48 /proc/24042/stat : 24042 (pb_cplex) R 24041 24041 23552 0 -1 4202496 32408 0 0 0 2535 13 0 0 25 0 1 0 177512284 138022912 17433 1992294400 134512640 146736320 4294346976 18446744073709551615 135523436 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/24042/statm: 33697 17433 887 2985 0 30239 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 143488 [startup+51.1015 s] /proc/loadavg: 1.36 1.75 1.48 2/108 24045 /proc/meminfo: memFree=1374752/2059040 swapFree=4139292/4192956 [pid=24041] ppid=24039 vsize=8700 CPUtime=0 /proc/24041/stat : 24041 (run) S 24039 24041 23552 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 177512284 8908800 249 1992294400 4194304 4922060 140733599410624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24041/statm: 2175 249 208 178 0 68 0 [pid=24042] ppid=24041 vsize=134796 CPUtime=51.07 /proc/24042/stat : 24042 (pb_cplex) R 24041 24041 23552 0 -1 4202496 32410 0 0 0 5094 13 0 0 25 0 1 0 177512284 138031104 17435 1992294400 134512640 146736320 4294346976 18446744073709551615 138667487 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/24042/statm: 33699 17435 887 2985 0 30241 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 143496 [startup+102.309 s] /proc/loadavg: 1.14 1.62 1.45 2/108 24047 /proc/meminfo: memFree=1320192/2059040 swapFree=4139292/4192956 [pid=24041] ppid=24039 vsize=8700 CPUtime=0 /proc/24041/stat : 24041 (run) S 24039 24041 23552 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 177512284 8908800 249 1992294400 4194304 4922060 140733599410624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24041/statm: 2175 249 208 178 0 68 0 [pid=24042] ppid=24041 vsize=228252 CPUtime=102.27 /proc/24042/stat : 24042 (pb_cplex) R 24041 24041 23552 0 -1 4202496 53579 0 0 0 10205 22 0 0 25 0 1 0 177512284 233730048 31168 1992294400 134512640 146736320 4294346976 18446744073709551615 137698810 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/24042/statm: 57063 31168 979 2985 0 53605 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 236952 [startup+162.302 s] /proc/loadavg: 1.05 1.51 1.42 2/108 24047 /proc/meminfo: memFree=1336312/2059040 swapFree=4139292/4192956 [pid=24041] ppid=24039 vsize=8700 CPUtime=0 /proc/24041/stat : 24041 (run) S 24039 24041 23552 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 177512284 8908800 249 1992294400 4194304 4922060 140733599410624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24041/statm: 2175 249 208 178 0 68 0 [pid=24042] ppid=24041 vsize=194220 CPUtime=162.24 /proc/24042/stat : 24042 (pb_cplex) R 24041 24041 23552 0 -1 4202496 89069 0 0 0 16190 34 0 0 25 0 1 0 177512284 198881280 27020 1992294400 134512640 146736320 4294346976 18446744073709551615 136403116 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/24042/statm: 48555 27020 1012 2985 0 45097 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 202920 [startup+222.301 s] /proc/loadavg: 1.02 1.41 1.39 2/108 24049 /proc/meminfo: memFree=1334948/2059040 swapFree=4139292/4192956 [pid=24041] ppid=24039 vsize=8700 CPUtime=0 /proc/24041/stat : 24041 (run) S 24039 24041 23552 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 177512284 8908800 249 1992294400 4194304 4922060 140733599410624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24041/statm: 2175 249 208 178 0 68 0 [pid=24042] ppid=24041 vsize=195640 CPUtime=222.23 /proc/24042/stat : 24042 (pb_cplex) R 24041 24041 23552 0 -1 4202496 97178 0 0 0 22185 38 0 0 25 0 1 0 177512284 200335360 27378 1992294400 134512640 146736320 4294346976 18446744073709551615 136017787 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/24042/statm: 48910 27378 1012 2985 0 45452 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 204340 [startup+282.301 s] /proc/loadavg: 1.00 1.33 1.36 2/108 24051 /proc/meminfo: memFree=1333956/2059040 swapFree=4139292/4192956 [pid=24041] ppid=24039 vsize=8700 CPUtime=0 /proc/24041/stat : 24041 (run) S 24039 24041 23552 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 177512284 8908800 249 1992294400 4194304 4922060 140733599410624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24041/statm: 2175 249 208 178 0 68 0 [pid=24042] ppid=24041 vsize=196544 CPUtime=282.21 /proc/24042/stat : 24042 (pb_cplex) R 24041 24041 23552 0 -1 4202496 105710 0 0 0 28179 42 0 0 25 0 1 0 177512284 201261056 27621 1992294400 134512640 146736320 4294346976 18446744073709551615 136017665 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/24042/statm: 49136 27621 1012 2985 0 45678 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 205244 [startup+342.302 s] /proc/loadavg: 1.00 1.27 1.34 2/108 24053 /proc/meminfo: memFree=1333584/2059040 swapFree=4139292/4192956 [pid=24041] ppid=24039 vsize=8700 CPUtime=0 /proc/24041/stat : 24041 (run) S 24039 24041 23552 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 177512284 8908800 249 1992294400 4194304 4922060 140733599410624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24041/statm: 2175 249 208 178 0 68 0 [pid=24042] ppid=24041 vsize=197140 CPUtime=342.19 /proc/24042/stat : 24042 (pb_cplex) R 24041 24041 23552 0 -1 4202496 114711 0 0 0 34174 45 0 0 25 0 1 0 177512284 201871360 27753 1992294400 134512640 146736320 4294346976 18446744073709551615 136017760 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/24042/statm: 49285 27753 1012 2985 0 45827 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 205840 [startup+402.301 s] /proc/loadavg: 1.00 1.22 1.32 2/108 24055 /proc/meminfo: memFree=1333336/2059040 swapFree=4139292/4192956 [pid=24041] ppid=24039 vsize=8700 CPUtime=0 /proc/24041/stat : 24041 (run) S 24039 24041 23552 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 177512284 8908800 249 1992294400 4194304 4922060 140733599410624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24041/statm: 2175 249 208 178 0 68 0 [pid=24042] ppid=24041 vsize=197308 CPUtime=402.17 /proc/24042/stat : 24042 (pb_cplex) R 24041 24041 23552 0 -1 4202496 124886 0 0 0 40168 49 0 0 25 0 1 0 177512284 202043392 27799 1992294400 134512640 146736320 4294346976 18446744073709551615 136403112 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/24042/statm: 49327 27799 1012 2985 0 45869 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 206008 [startup+462.301 s] ################ # More data... # ################ [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.08 2/108 24079 /proc/meminfo: memFree=1337056/2059040 swapFree=4139292/4192956 [pid=24041] ppid=24039 vsize=8700 CPUtime=0 /proc/24041/stat : 24041 (run) S 24039 24041 23552 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 177512284 8908800 249 1992294400 4194304 4922060 140733599410624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24041/statm: 2175 249 208 178 0 68 0 [pid=24042] ppid=24041 vsize=185564 CPUtime=1361.92 /proc/24042/stat : 24042 (pb_cplex) R 24041 24041 23552 0 -1 4202496 316365 0 0 0 136068 124 0 0 25 0 1 0 177512284 190017536 26798 1992294400 134512640 146736320 4294346976 18446744073709551615 136017491 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/24042/statm: 46391 26798 1032 2985 0 42933 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 194264 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.08 2/108 24081 /proc/meminfo: memFree=1337056/2059040 swapFree=4139292/4192956 [pid=24041] ppid=24039 vsize=8700 CPUtime=0 /proc/24041/stat : 24041 (run) S 24039 24041 23552 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 177512284 8908800 249 1992294400 4194304 4922060 140733599410624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24041/statm: 2175 249 208 178 0 68 0 [pid=24042] ppid=24041 vsize=185564 CPUtime=1421.91 /proc/24042/stat : 24042 (pb_cplex) R 24041 24041 23552 0 -1 4202496 327968 0 0 0 142062 129 0 0 25 0 1 0 177512284 190017536 26798 1992294400 134512640 146736320 4294346976 18446744073709551615 139044505 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/24042/statm: 46391 26798 1032 2985 0 42933 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 194264 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.07 2/108 24083 /proc/meminfo: memFree=1337304/2059040 swapFree=4139292/4192956 [pid=24041] ppid=24039 vsize=8700 CPUtime=0 /proc/24041/stat : 24041 (run) S 24039 24041 23552 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 177512284 8908800 249 1992294400 4194304 4922060 140733599410624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24041/statm: 2175 249 208 178 0 68 0 [pid=24042] ppid=24041 vsize=185372 CPUtime=1481.89 /proc/24042/stat : 24042 (pb_cplex) R 24041 24041 23552 0 -1 4202496 354877 0 0 0 148050 139 0 0 25 0 1 0 177512284 189820928 26797 1992294400 134512640 146736320 4294346976 18446744073709551615 139046468 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/24042/statm: 46343 26797 1021 2985 0 42885 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 194072 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.07 2/108 24085 /proc/meminfo: memFree=1335940/2059040 swapFree=4139292/4192956 [pid=24041] ppid=24039 vsize=8700 CPUtime=0 /proc/24041/stat : 24041 (run) S 24039 24041 23552 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 177512284 8908800 249 1992294400 4194304 4922060 140733599410624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24041/statm: 2175 249 208 178 0 68 0 [pid=24042] ppid=24041 vsize=186420 CPUtime=1541.88 /proc/24042/stat : 24042 (pb_cplex) R 24041 24041 23552 0 -1 4202496 366928 0 0 0 154044 144 0 0 25 0 1 0 177512284 190894080 27064 1992294400 134512640 146736320 4294346976 18446744073709551615 136388073 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/24042/statm: 46605 27064 1016 2985 0 43147 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 195120 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.06 2/108 24087 /proc/meminfo: memFree=1335940/2059040 swapFree=4139292/4192956 [pid=24041] ppid=24039 vsize=8700 CPUtime=0 /proc/24041/stat : 24041 (run) S 24039 24041 23552 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 177512284 8908800 249 1992294400 4194304 4922060 140733599410624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24041/statm: 2175 249 208 178 0 68 0 [pid=24042] ppid=24041 vsize=186420 CPUtime=1601.86 /proc/24042/stat : 24042 (pb_cplex) R 24041 24041 23552 0 -1 4202496 378999 0 0 0 160037 149 0 0 25 0 1 0 177512284 190894080 27064 1992294400 134512640 146736320 4294346976 18446744073709551615 139044550 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/24042/statm: 46605 27064 1016 2985 0 43147 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 195120 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.05 2/108 24087 /proc/meminfo: memFree=1335816/2059040 swapFree=4139292/4192956 [pid=24041] ppid=24039 vsize=8700 CPUtime=0 /proc/24041/stat : 24041 (run) S 24039 24041 23552 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 177512284 8908800 249 1992294400 4194304 4922060 140733599410624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24041/statm: 2175 249 208 178 0 68 0 [pid=24042] ppid=24041 vsize=186420 CPUtime=1661.84 /proc/24042/stat : 24042 (pb_cplex) R 24041 24041 23552 0 -1 4202496 391328 0 0 0 166030 154 0 0 25 0 1 0 177512284 190894080 27064 1992294400 134512640 146736320 4294346976 18446744073709551615 136017481 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/24042/statm: 46605 27064 1016 2985 0 43147 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 195120 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.05 2/108 24089 /proc/meminfo: memFree=1335816/2059040 swapFree=4139292/4192956 [pid=24041] ppid=24039 vsize=8700 CPUtime=0 /proc/24041/stat : 24041 (run) S 24039 24041 23552 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 177512284 8908800 249 1992294400 4194304 4922060 140733599410624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24041/statm: 2175 249 208 178 0 68 0 [pid=24042] ppid=24041 vsize=185580 CPUtime=1721.83 /proc/24042/stat : 24042 (pb_cplex) R 24041 24041 23552 0 -1 4202496 410582 0 0 0 172021 162 0 0 25 0 1 0 177512284 190033920 27101 1992294400 134512640 146736320 4294346976 18446744073709551615 136017769 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/24042/statm: 46395 27101 1026 2985 0 42937 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 194280 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.04 2/108 24091 /proc/meminfo: memFree=1335692/2059040 swapFree=4139292/4192956 [pid=24041] ppid=24039 vsize=8700 CPUtime=0 /proc/24041/stat : 24041 (run) S 24039 24041 23552 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 177512284 8908800 249 1992294400 4194304 4922060 140733599410624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24041/statm: 2175 249 208 178 0 68 0 [pid=24042] ppid=24041 vsize=185580 CPUtime=1781.81 /proc/24042/stat : 24042 (pb_cplex) R 24041 24041 23552 0 -1 4202496 423783 0 0 0 178013 168 0 0 25 0 1 0 177512284 190033920 27101 1992294400 134512640 146736320 4294346976 18446744073709551615 139043566 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/24042/statm: 46395 27101 1026 2985 0 42937 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 194280 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.04 2/108 24091 /proc/meminfo: memFree=1335692/2059040 swapFree=4139292/4192956 [pid=24041] ppid=24039 vsize=8700 CPUtime=0 /proc/24041/stat : 24041 (run) S 24039 24041 23552 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 177512284 8908800 249 1992294400 4194304 4922060 140733599410624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24041/statm: 2175 249 208 178 0 68 0 [pid=24042] ppid=24041 vsize=185580 CPUtime=1791.41 /proc/24042/stat : 24042 (pb_cplex) R 24041 24041 23552 0 -1 4202496 425712 0 0 0 178973 168 0 0 25 0 1 0 177512284 190033920 27101 1992294400 134512640 146736320 4294346976 18446744073709551615 136017846 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/24042/statm: 46395 27101 1026 2985 0 42937 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (KiB) 194280 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.04 2/108 24091 /proc/meminfo: memFree=1335692/2059040 swapFree=4139292/4192956 [pid=24041] ppid=24039 vsize=8700 CPUtime=0 /proc/24041/stat : 24041 (run) S 24039 24041 23552 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 177512284 8908800 249 1992294400 4194304 4922060 140733599410624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24041/statm: 2175 249 208 178 0 68 0 [pid=24042] ppid=24041 vsize=185580 CPUtime=1794.62 /proc/24042/stat : 24042 (pb_cplex) R 24041 24041 23552 0 -1 4202496 426368 0 0 0 179293 169 0 0 25 0 1 0 177512284 190033920 27101 1992294400 134512640 146736320 4294346976 18446744073709551615 136403116 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/24042/statm: 46395 27101 1026 2985 0 42937 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (KiB) 194280 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.04 2/108 24091 /proc/meminfo: memFree=1335692/2059040 swapFree=4139292/4192956 [pid=24041] ppid=24039 vsize=8700 CPUtime=0 /proc/24041/stat : 24041 (run) S 24039 24041 23552 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 177512284 8908800 249 1992294400 4194304 4922060 140733599410624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24041/statm: 2175 249 208 178 0 68 0 [pid=24042] ppid=24041 vsize=185580 CPUtime=1796.21 /proc/24042/stat : 24042 (pb_cplex) R 24041 24041 23552 0 -1 4202496 426690 0 0 0 179452 169 0 0 25 0 1 0 177512284 190033920 27101 1992294400 134512640 146736320 4294346976 18446744073709551615 136017763 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/24042/statm: 46395 27101 1026 2985 0 42937 0 Current children cumulated CPU time (s) 1796.21 Current children cumulated vsize (KiB) 194280 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.04 2/108 24091 /proc/meminfo: memFree=1335692/2059040 swapFree=4139292/4192956 [pid=24041] ppid=24039 vsize=8700 CPUtime=0 /proc/24041/stat : 24041 (run) S 24039 24041 23552 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 177512284 8908800 249 1992294400 4194304 4922060 140733599410624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24041/statm: 2175 249 208 178 0 68 0 [pid=24042] ppid=24041 vsize=185580 CPUtime=1797.81 /proc/24042/stat : 24042 (pb_cplex) R 24041 24041 23552 0 -1 4202496 427019 0 0 0 179612 169 0 0 25 0 1 0 177512284 190033920 27101 1992294400 134512640 146736320 4294346976 18446744073709551615 136017512 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/24042/statm: 46395 27101 1026 2985 0 42937 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (KiB) 194280 [startup+1799.1 s] /proc/loadavg: 1.00 1.00 1.04 2/108 24091 /proc/meminfo: memFree=1335692/2059040 swapFree=4139292/4192956 [pid=24041] ppid=24039 vsize=8700 CPUtime=0 /proc/24041/stat : 24041 (run) S 24039 24041 23552 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 177512284 8908800 249 1992294400 4194304 4922060 140733599410624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24041/statm: 2175 249 208 178 0 68 0 [pid=24042] ppid=24041 vsize=185580 CPUtime=1798.6 /proc/24042/stat : 24042 (pb_cplex) R 24041 24041 23552 0 -1 4202496 427336 0 0 0 179691 169 0 0 25 0 1 0 177512284 190033920 27101 1992294400 134512640 146736320 4294346976 18446744073709551615 136403116 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/24042/statm: 46395 27101 1026 2985 0 42937 0 Current children cumulated CPU time (s) 1798.6 Current children cumulated vsize (KiB) 194280 [startup+1799.3 s] /proc/loadavg: 1.00 1.00 1.04 2/108 24091 /proc/meminfo: memFree=1335692/2059040 swapFree=4139292/4192956 [pid=24041] ppid=24039 vsize=8700 CPUtime=0 /proc/24041/stat : 24041 (run) S 24039 24041 23552 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 177512284 8908800 249 1992294400 4194304 4922060 140733599410624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24041/statm: 2175 249 208 178 0 68 0 [pid=24042] ppid=24041 vsize=143828 CPUtime=1798.8 /proc/24042/stat : 24042 (pb_cplex) R 24041 24041 23552 0 -1 4202496 427674 0 0 0 179711 169 0 0 25 0 1 0 177512284 147279872 20226 1992294400 134512640 146736320 4294346976 18446744073709551615 134947937 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/24042/statm: 35957 20226 1029 2985 0 32499 0 Current children cumulated CPU time (s) 1798.8 Current children cumulated vsize (KiB) 152528 Child status: 0 Real time (s): 1799.33 CPU time (s): 1798.84 CPU user time (s): 1797.13 CPU system time (s): 1.71074 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 251800 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.13 system time used= 1.71074 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 428058 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= 5157 runsolver used 3.14252 second user time and 8.32473 second system time The end
Begin job on node009 at 2010-07-01 23:18:25 IDJOB=2696033 IDBENCH=2249 IDSOLVER=1209 FILE ID=node009/2696033-1278019105 PBS_JOBID= 11198746 Free space on /tmp= 62316 MiB SOLVER NAME= pb_cplex 2010-06-29 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2696033-1278019105/watcher-2696033-1278019105 -o /tmp/evaluation-result-2696033-1278019105/solver-2696033-1278019105 -C 1800 -W 2000 -M 1800 run HOME/instance-2696033-1278019105.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b8b0df75c0f0dbb89ae9601b9070a445 RANDOM SEED=246278269 node009.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.199 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.39 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.199 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1442380 kB Buffers: 141760 kB Cached: 370916 kB SwapCached: 7384 kB Active: 212944 kB Inactive: 314068 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1442380 kB SwapTotal: 4192956 kB SwapFree: 4139292 kB Dirty: 19240 kB Writeback: 0 kB AnonPages: 12356 kB Mapped: 12096 kB Slab: 67680 kB PageTables: 4188 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181336 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62296 MiB End job on node009 at 2010-07-01 23:48:25