Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
npSolver inc-topdown-quickBound (fixed) | OPT | 46877 | 16.6075 | 16.7579 |
Name | /OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__32.opb |
MD5SUM | 3810b90faf6bb63e502dc3018d3d0859 |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 46877 |
Best CPU time to get the best result obtained on this benchmark | 1.47677 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 1298 |
Total number of constraints | 60 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 42 |
Number of constraints which are nor clauses,nor cardinality constraints | 18 |
Minimum length of a constraint | 32 |
Maximum length of a constraint | 257 |
Number of terms in the objective function | 1280 |
Biggest coefficient in the objective function | 94409 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 55825984 |
Number of bits of the sum of numbers in the objective function | 26 |
Biggest number in a constraint | 94409 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 55825984 |
Number of bits of the biggest sum of numbers | 26 |
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.02 c run inc solver 0.00/0.02 c [INC SYSTEM] run initial solver 0.00/0.02 c [INC SYSTEM] preprocess with white file 0.00/0.15 c [INC SYSTEM] finished preprocessing in 0 s 0.00/0.15 c [INC SYSTEM] execute solver 0.00/0.16 c [INC SEARCH] formula is SAT 0.00/0.16 c [INC SYSTEM] solved the initial formula 0.00/0.16 c model valid 0.00/0.16 c current solution ok 0.00/0.21 o 78430 0.00/0.21 c starting approximation 0.00/0.21 c factor = 2010 0.00/0.21 c current bound: 39215 0.00/0.24 c leaving approximation 0.00/0.24 c finished approximation 0.00/0.24 c [INC SYSTEM] there exists a inc, kill it! 0.00/0.24 c write failed with 2 0.00/0.24 c [INC SEARCH] iteration: 0 0.00/0.24 c [INC BOUNDS] best value:78430 search for 78429 0.00/0.24 c [INC SYSTEM] create new solver instance 0.00/0.24 c [INC] encode full formula 0.00/0.24 c fallback to adder encoding 0.00/0.34 c set iterative enc to: adder 0.00/0.34 c set iterative enc to: none 0.00/0.35 c [INC SEARCH] isOptimum variable: 0 5.25/5.36 c formula is SAT 5.37/5.44 c [INC SEARCH] copied best model 5.37/5.44 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 5.37/5.44 c model valid 5.37/5.44 c current solution ok 5.37/5.44 o 78095 5.37/5.44 c [INC SEARCH] iteration: 1 5.37/5.44 c [INC BOUNDS] best value:78095 search for 78094 5.37/5.44 c [INC SYSTEM] there exists a inc, kill it! 5.37/5.44 c write failed with 2 5.37/5.44 c [INC SYSTEM] create new solver instance 5.37/5.44 c [INC] encode full formula 5.37/5.44 c fallback to adder encoding 5.37/5.47 c set iterative enc to: adder 5.37/5.47 c set iterative enc to: none 5.43/5.59 c [INC SEARCH] isOptimum variable: 0 14.04/14.29 c formula is SAT 14.04/14.29 c [INC SEARCH] copied best model 14.04/14.29 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 14.04/14.29 c model valid 14.04/14.29 c current solution ok 14.04/14.29 o 46877 14.04/14.29 c [INC SEARCH] iteration: 2 14.04/14.29 c [INC BOUNDS] best value:46877 search for 46876 14.04/14.29 c [INC SYSTEM] there exists a inc, kill it! 14.04/14.29 c write failed with 2 14.04/14.29 c [INC SYSTEM] create new solver instance 14.04/14.29 c [INC] encode full formula 14.04/14.29 c fallback to adder encoding 14.15/14.34 c set iterative enc to: adder 14.15/14.34 c set iterative enc to: none 14.15/14.35 c [INC SEARCH] isOptimum variable: 0 16.51/16.75 c [INC SEARCH] formula is UNSAT 16.51/16.75 c [INC SYSTEM] there exists a inc, kill it! 16.51/16.75 c write failed with 2 16.51/16.75 c [INC SEARCH] sat variable: 0 optimum/unsat variable: 1 16.51/16.75 c [INC SEARCH] found optimum 16.51/16.75 c display solution 16.51/16.75 s OPTIMUM FOUND 16.51/16.75 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 x1286 -x1287 -x1288 -x1289 x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298
OK 46877
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3751509-1339154175/watcher-3751509-1339154175 -o /tmp/evaluation-result-3751509-1339154175/solver-3751509-1339154175 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751509-1339154175.opb 2023017314 HOME HOME running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.03 2.01 2.00 3/178 19811 /proc/meminfo: memFree=26909868/32873844 swapFree=7124/7124 [pid=19811] ppid=19809 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19811/stat : 19811 (npSolver-pbo-It) S 19809 19811 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381542536 9367552 275 33554432000 4194304 5064252 140733767462432 140733767461344 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19811/statm: 2287 275 233 213 0 72 0 [startup+0.0163769 s] /proc/loadavg: 2.03 2.01 2.00 3/178 19811 /proc/meminfo: memFree=26909868/32873844 swapFree=7124/7124 [pid=19811] ppid=19809 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19811/stat : 19811 (npSolver-pbo-It) S 19809 19811 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381542536 9367552 275 33554432000 4194304 5064252 140733767462432 140733767461344 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19811/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100304 s] /proc/loadavg: 2.03 2.01 2.00 3/178 19811 /proc/meminfo: memFree=26909868/32873844 swapFree=7124/7124 [pid=19811] ppid=19809 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19811/stat : 19811 (npSolver-pbo-It) S 19809 19811 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381542536 9367552 275 33554432000 4194304 5064252 140733767462432 140733767461344 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19811/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300304 s] /proc/loadavg: 2.03 2.01 2.00 3/178 19811 /proc/meminfo: memFree=26909868/32873844 swapFree=7124/7124 [pid=19811] ppid=19809 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19811/stat : 19811 (npSolver-pbo-It) S 19809 19811 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381542536 9367552 275 33554432000 4194304 5064252 140733767462432 140733767461344 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19811/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700213 s] /proc/loadavg: 2.03 2.01 2.00 3/178 19811 /proc/meminfo: memFree=26909868/32873844 swapFree=7124/7124 [pid=19811] ppid=19809 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19811/stat : 19811 (npSolver-pbo-It) S 19809 19811 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381542536 9367552 275 33554432000 4194304 5064252 140733767462432 140733767461344 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19811/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50029 s] /proc/loadavg: 2.03 2.01 2.00 3/181 19827 /proc/meminfo: memFree=26860764/32873844 swapFree=7124/7124 [pid=19811] ppid=19809 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19811/stat : 19811 (npSolver-pbo-It) S 19809 19811 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381542536 9367552 275 33554432000 4194304 5064252 140733767462432 140733767461344 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19811/statm: 2287 275 233 213 0 72 0 [pid=19812] ppid=19811 vsize=20160 CPUtime=0.33 cores=0,2,4,6 /proc/19812/stat : 19812 (npSolver-pbo) S 19811 19811 17615 0 -1 4202496 6328 10753 0 0 13 5 13 2 20 0 1 0 381542536 20643840 4615 33554432000 4194304 6004724 140733565853232 140733565839080 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/19812/statm: 5040 4615 195 442 0 4594 0 [pid=19827] ppid=19812 vsize=27848 CPUtime=1.13 cores=0,2,4,6 /proc/19827/stat : 19827 (glucosInc) R 19812 19811 17615 0 -1 4202496 5263 0 0 0 112 1 0 0 20 0 1 0 381542571 28516352 6207 33554432000 4194304 5654031 140735837533888 140735837531656 4232707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/19827/statm: 6962 6207 141 357 0 6602 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 57156 [startup+3.10032 s] /proc/loadavg: 2.03 2.01 2.00 3/181 19827 /proc/meminfo: memFree=26860144/32873844 swapFree=7124/7124 [pid=19811] ppid=19809 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19811/stat : 19811 (npSolver-pbo-It) S 19809 19811 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381542536 9367552 275 33554432000 4194304 5064252 140733767462432 140733767461344 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19811/statm: 2287 275 233 213 0 72 0 [pid=19812] ppid=19811 vsize=20160 CPUtime=0.33 cores=0,2,4,6 /proc/19812/stat : 19812 (npSolver-pbo) S 19811 19811 17615 0 -1 4202496 6328 10753 0 0 13 5 13 2 20 0 1 0 381542536 20643840 4615 33554432000 4194304 6004724 140733565853232 140733565839080 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/19812/statm: 5040 4615 195 442 0 4594 0 [pid=19827] ppid=19812 vsize=28372 CPUtime=2.73 cores=0,2,4,6 /proc/19827/stat : 19827 (glucosInc) R 19812 19811 17615 0 -1 4202496 5425 0 0 0 272 1 0 0 20 0 1 0 381542571 29052928 6369 33554432000 4194304 5654031 140735837533888 140735837521704 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/19827/statm: 7093 6369 142 357 0 6733 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 57680 [startup+6.30021 s] /proc/loadavg: 2.03 2.01 2.00 3/180 19827 /proc/meminfo: memFree=26883216/32873844 swapFree=7124/7124 [pid=19811] ppid=19809 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19811/stat : 19811 (npSolver-pbo-It) S 19809 19811 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381542536 9367552 275 33554432000 4194304 5064252 140733767462432 140733767461344 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19811/statm: 2287 275 233 213 0 72 0 [pid=19812] ppid=19811 vsize=20644 CPUtime=5.46 cores=0,2,4,6 /proc/19812/stat : 19812 (npSolver-pbo) S 19811 19811 17615 0 -1 4202496 10012 17095 0 0 24 6 511 5 20 0 1 0 381542536 21139456 4616 33554432000 4194304 6004724 140733565853232 140733565839080 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/19812/statm: 5161 4616 195 442 0 4715 0 Current children cumulated CPU time (s) 5.46 Current children cumulated vsize (KiB) 29792 [startup+12.7003 s] /proc/loadavg: 2.02 2.01 2.00 3/181 19829 /proc/meminfo: memFree=26853528/32873844 swapFree=7124/7124 [pid=19811] ppid=19809 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19811/stat : 19811 (npSolver-pbo-It) S 19809 19811 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381542536 9367552 275 33554432000 4194304 5064252 140733767462432 140733767461344 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19811/statm: 2287 275 233 213 0 72 0 [pid=19812] ppid=19811 vsize=20644 CPUtime=5.46 cores=0,2,4,6 /proc/19812/stat : 19812 (npSolver-pbo) S 19811 19811 17615 0 -1 4202496 10012 17095 0 0 24 6 511 5 20 0 1 0 381542536 21139456 4616 33554432000 4194304 6004724 140733565853232 140733565839080 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/19812/statm: 5161 4616 195 442 0 4715 0 [pid=19829] ppid=19812 vsize=29684 CPUtime=7.08 cores=0,2,4,6 /proc/19829/stat : 19829 (glucosInc) R 19812 19811 17615 0 -1 4202496 7951 0 0 0 707 1 0 0 20 0 1 0 381543095 30396416 6559 33554432000 4194304 5654031 140733574693552 140733574691320 4232710 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/19829/statm: 7421 6559 142 357 0 7061 0 Current children cumulated CPU time (s) 12.54 Current children cumulated vsize (KiB) 59476 Solver just ended. Dumping a history of the last processes samples [startup+14.3068 s] /proc/loadavg: 2.02 2.01 2.00 3/181 19829 /proc/meminfo: memFree=26855268/32873844 swapFree=7124/7124 [pid=19811] ppid=19809 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19811/stat : 19811 (npSolver-pbo-It) S 19809 19811 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381542536 9367552 275 33554432000 4194304 5064252 140733767462432 140733767461344 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19811/statm: 2287 275 233 213 0 72 0 [pid=19812] ppid=19811 vsize=20644 CPUtime=14.15 cores=0,2,4,6 /proc/19812/stat : 19812 (npSolver-pbo) R 19811 19811 17615 0 -1 4202496 10555 25355 0 0 25 6 1377 7 20 0 1 0 381542536 21139456 4616 33554432000 4194304 6004724 140733565853232 140733565848720 5055511 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/19812/statm: 5161 4616 195 442 0 4715 0 Current children cumulated CPU time (s) 14.15 Current children cumulated vsize (KiB) 29792 [startup+15.9003 s] /proc/loadavg: 2.02 2.01 2.00 3/181 19831 /proc/meminfo: memFree=26868600/32873844 swapFree=7124/7124 [pid=19811] ppid=19809 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19811/stat : 19811 (npSolver-pbo-It) S 19809 19811 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381542536 9367552 275 33554432000 4194304 5064252 140733767462432 140733767461344 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19811/statm: 2287 275 233 213 0 72 0 [pid=19812] ppid=19811 vsize=20644 CPUtime=14.19 cores=0,2,4,6 /proc/19812/stat : 19812 (npSolver-pbo) S 19811 19811 17615 0 -1 4202496 12562 25869 0 0 29 6 1377 7 20 0 1 0 381542536 21139456 4616 33554432000 4194304 6004724 140733565853232 140733565839080 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/19812/statm: 5161 4616 195 442 0 4715 0 [pid=19831] ppid=19812 vsize=20796 CPUtime=1.52 cores=0,2,4,6 /proc/19831/stat : 19831 (glucosInc) R 19812 19811 17615 0 -1 4202496 5510 0 0 0 151 1 0 0 20 0 1 0 381543972 21295104 4490 33554432000 4194304 5654031 140735927248976 140735927236792 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/19831/statm: 5199 4490 141 357 0 4839 0 Current children cumulated CPU time (s) 15.71 Current children cumulated vsize (KiB) 50588 [startup+16.3003 s] /proc/loadavg: 2.02 2.01 2.00 3/181 19831 /proc/meminfo: memFree=26868600/32873844 swapFree=7124/7124 [pid=19811] ppid=19809 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19811/stat : 19811 (npSolver-pbo-It) S 19809 19811 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381542536 9367552 275 33554432000 4194304 5064252 140733767462432 140733767461344 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19811/statm: 2287 275 233 213 0 72 0 [pid=19812] ppid=19811 vsize=20644 CPUtime=14.19 cores=0,2,4,6 /proc/19812/stat : 19812 (npSolver-pbo) S 19811 19811 17615 0 -1 4202496 12562 25869 0 0 29 6 1377 7 20 0 1 0 381542536 21139456 4616 33554432000 4194304 6004724 140733565853232 140733565839080 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/19812/statm: 5161 4616 195 442 0 4715 0 [pid=19831] ppid=19812 vsize=20796 CPUtime=1.92 cores=0,2,4,6 /proc/19831/stat : 19831 (glucosInc) R 19812 19811 17615 0 -1 4202496 5560 0 0 0 191 1 0 0 20 0 1 0 381543972 21295104 4538 33554432000 4194304 5654031 140735927248976 140735927236792 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/19831/statm: 5199 4538 141 357 0 4839 0 Current children cumulated CPU time (s) 16.11 Current children cumulated vsize (KiB) 50588 [startup+16.7003 s] /proc/loadavg: 2.02 2.01 2.00 3/181 19831 /proc/meminfo: memFree=26867360/32873844 swapFree=7124/7124 [pid=19811] ppid=19809 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19811/stat : 19811 (npSolver-pbo-It) S 19809 19811 17615 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381542536 9367552 275 33554432000 4194304 5064252 140733767462432 140733767461344 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19811/statm: 2287 275 233 213 0 72 0 [pid=19812] ppid=19811 vsize=20644 CPUtime=14.19 cores=0,2,4,6 /proc/19812/stat : 19812 (npSolver-pbo) S 19811 19811 17615 0 -1 4202496 12562 25869 0 0 29 6 1377 7 20 0 1 0 381542536 21139456 4616 33554432000 4194304 6004724 140733565853232 140733565839080 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/19812/statm: 5161 4616 195 442 0 4715 0 [pid=19831] ppid=19812 vsize=20796 CPUtime=2.32 cores=0,2,4,6 /proc/19831/stat : 19831 (glucosInc) R 19812 19811 17615 0 -1 4202496 5639 0 0 0 231 1 0 0 20 0 1 0 381543972 21295104 4616 33554432000 4194304 5654031 140735927248976 140735927236792 4232784 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/19831/statm: 5199 4616 141 357 0 4839 0 Current children cumulated CPU time (s) 16.51 Current children cumulated vsize (KiB) 50588 Child status: 0 Real time (s): 16.7579 CPU time (s): 16.6075 CPU user time (s): 16.4495 CPU system time (s): 0.157975 CPU usage (%): 99.1022 Max. virtual memory (cumulated for all children) (KiB): 70764 getrusage(RUSAGE_CHILDREN,...) data: user time used= 16.4495 system time used= 0.157975 maximum resident set size= 34572 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44495 page faults= 0 swaps= 0 block input operations= 0 block output operations= 38264 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 236 involuntary context switches= 179 runsolver used 0.042993 second user time and 0.105983 second system time The end
Begin job on node138 at 2012-06-08 13:16:15 IDJOB=3751509 IDBENCH=71880 IDSOLVER=2335 FILE ID=node138/3751509-1339154175 RUNJOBID= node138-1339134209-17631 PBS_JOBID= 14643796 Free space on /tmp= 69668 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__32.opb COMMAND LINE= DIR/npSolver-pbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3751509-1339154175/watcher-3751509-1339154175 -o /tmp/evaluation-result-3751509-1339154175/solver-3751509-1339154175 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751509-1339154175.opb 2023017314 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3810b90faf6bb63e502dc3018d3d0859 RANDOM SEED=2023017314 node138.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 26910240 kB Buffers: 136132 kB Cached: 1206232 kB SwapCached: 19640 kB Active: 4970832 kB Inactive: 164804 kB Active(anon): 3775496 kB Inactive(anon): 20456 kB Active(file): 1195336 kB Inactive(file): 144348 kB Unevictable: 7124 kB Mlocked: 7124 kB SwapTotal: 67108856 kB SwapFree: 67082140 kB Dirty: 8580 kB Writeback: 0 kB AnonPages: 4022980 kB Mapped: 10420 kB Shmem: 0 kB Slab: 669960 kB SReclaimable: 111248 kB SUnreclaim: 558712 kB KernelStack: 1504 kB PageTables: 11732 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 5284556 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 2426880 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 69656 MiB End job on node138 at 2012-06-08 13:16:32