Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT (MO) | -41 | 1632.76 | 1633.2 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb |
MD5SUM | 604c6b786f56b09c749bc0d6b7c8f76d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -42 |
Best CPU time to get the best result obtained on this benchmark | 1798.21 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -52 |
Optimality of the best value was proved | NO |
Number of variables | 1272 |
Total number of constraints | 94227 |
Number of constraints which are clauses | 94227 |
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 | 1272 |
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 | 1272 |
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 | 1272 |
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 bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1878473-1245167093.opb 0.00/0.00 c File size is 2298943 bytes. 0.29/0.30 c Highest Coefficient sum: 1272 0.29/0.30 c Parsing was ok!! 0.29/0.30 c Total parsing time: 0.3 s 0.29/0.33 c Var: 1272 Constr: 94227 94227/0/0 Lit: 188454 Watch. Lit: 188454 0.29/0.33 c Obj. Vars: 1272 (100 % of total variables) 3.09/3.16 c Pre-processing Time: 3.166 s 3.09/3.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.17 c 0 1272 94227 188454 2 188454 31409 0 0 3.17 3.09/3.17 c Switching off lower bounding mode. 3.09/3.18 o -36 3.20/3.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.20/3.26 c 0 1272 94228 189726 2 188492 32409 1 0 3.19 3.20/3.26 c 100 1272 94328 313031 3 188692 35650 101 30 3.26 3.20/3.26 o -37 3.20/3.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.20/3.27 c 100 1272 94329 314303 3 188731 32409 102 30 3.27 3.20/3.27 o -38 3.29/3.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.36 c 100 1272 94330 315575 3 188771 32409 103 30 3.27 3.29/3.36 c 200 1272 94430 438661 4 188971 35650 203 59 3.36 3.29/3.36 o -41 1632.45/1632.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1632.45/1632.90 c 200 1272 94431 439933 4 189014 32409 204 59 3.36 1632.45/1632.90 c 301 1272 94532 563851 5 189216 35650 305 87 3.45 1632.45/1632.90 c 551 1272 94782 870682 9 189716 39216 555 149 3.68 1632.45/1632.90 c 1028 1272 95259 1456250 15 190670 43138 1032 248 4.14 1632.45/1632.90 c 1843 1272 96074 2456363 25 192300 47452 1847 356 5.17 1632.45/1632.90 c 3164 1272 97395 4077226 41 194942 52198 3168 462 6.84 1632.45/1632.90 c 5246 1272 99477 6632428 66 199106 57418 5250 545 9.61 1632.45/1632.90 c 8469 1272 102700 10587985 103 205552 63160 8473 542 15.60 1632.45/1632.90 c 13405 1272 107636 16648218 154 215424 69477 13409 502 26.67 1632.45/1632.90 c 20911 1272 115142 25858478 224 230436 76425 20915 441 47.41 1632.45/1632.90 c 32272 1272 126503 39802833 314 253158 84068 32276 315 102.24 1632.45/1632.90 c 49416 1272 143647 60842212 423 287446 92475 49420 262 188.14 1632.45/1632.90 c 75235 1272 169466 92527452 545 339084 101723 75239 191 393.53 1632.45/1632.90 c 114067 1272 117661 28938971 245 235363 111896 23434 154 739.98 1632.45/1632.90 c 172419 1272 176013 100577256 571 352067 123086 81786 127 1357.11 1632.45/1632.90 c Caught signal: 15 1632.45/1632.90 v -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 1632.45/1632.90 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1632.45/1632.90 c 20 206488 22849 237849 210082 142385588 115855 126 1632.46 1632.45/1632.90 c Objective: -41 1632.45/1632.90 s SATISFIABLE 1632.45/1632.90 c Total time: 1632.46 s
OK -41
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878473-1245167093/watcher-1878473-1245167093 -o /tmp/evaluation-result-1878473-1245167093/solver-1878473-1245167093 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878473-1245167093.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: 0.99 0.98 0.99 3/65 6070 /proc/meminfo: memFree=1854576/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=12972 CPUtime=0 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 184308702 13283328 247 1992294400 134512640 137136520 4294956256 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 3243 247 175 640 0 2037 0 [startup+0.066696 s] /proc/loadavg: 0.99 0.98 0.99 3/65 6070 /proc/meminfo: memFree=1854576/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=14900 CPUtime=0.06 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 862 0 0 0 6 0 0 0 18 0 1 0 184308702 15257600 846 1992294400 134512640 137136520 4294956256 18446744073709551615 134538970 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 3725 846 289 640 0 2519 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 14900 [startup+0.101697 s] /proc/loadavg: 0.99 0.98 0.99 3/65 6070 /proc/meminfo: memFree=1854576/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=15996 CPUtime=0.09 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 1195 0 0 0 9 0 0 0 18 0 1 0 184308702 16379904 1179 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 3999 1179 354 640 0 2793 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15996 [startup+0.30172 s] /proc/loadavg: 0.99 0.98 0.99 3/65 6070 /proc/meminfo: memFree=1854576/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=22048 CPUtime=0.29 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 3094 0 0 0 28 1 0 0 19 0 1 0 184308702 22577152 3078 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 5512 3078 728 640 0 4306 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22048 [startup+0.701766 s] /proc/loadavg: 0.99 0.98 0.99 3/65 6070 /proc/meminfo: memFree=1854576/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=27468 CPUtime=0.69 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 5018 0 0 0 67 2 0 0 22 0 1 0 184308702 28127232 4440 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 6867 4440 190 640 0 6223 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27468 [startup+1.50186 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6071 /proc/meminfo: memFree=1837544/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=27468 CPUtime=1.49 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 5018 0 0 0 145 4 0 0 25 0 1 0 184308702 28127232 4440 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 6867 4440 190 640 0 6223 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27468 [startup+3.10104 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6071 /proc/meminfo: memFree=1837352/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=27468 CPUtime=3.09 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 5018 0 0 0 301 8 0 0 25 0 1 0 184308702 28127232 4440 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 6867 4440 190 640 0 6223 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27468 [startup+6.3024 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6071 /proc/meminfo: memFree=1807720/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=68508 CPUtime=6.29 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 16719 0 0 0 615 14 0 0 25 0 1 0 184308702 70152192 14720 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 17127 14720 196 640 0 16483 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 68508 [startup+12.7011 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6071 /proc/meminfo: memFree=1732784/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=136256 CPUtime=12.68 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 33656 0 0 0 1246 22 0 0 25 0 1 0 184308702 139526144 31657 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 34064 31657 196 640 0 33420 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 136256 [startup+25.5016 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6071 /proc/meminfo: memFree=1636336/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=229792 CPUtime=25.48 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 57020 0 0 0 2514 34 0 0 25 0 1 0 184308702 235307008 55021 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 57448 55021 196 640 0 56804 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 229792 [startup+51.1015 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6071 /proc/meminfo: memFree=1487216/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=380076 CPUtime=51.08 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 94601 0 0 0 5054 54 0 0 25 0 1 0 184308702 389197824 92602 1992294400 134512640 137136520 4294956256 18446744073709551615 134600751 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 95019 92602 196 640 0 94375 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 380076 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6071 /proc/meminfo: memFree=1332720/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=531184 CPUtime=102.27 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 132382 0 0 0 10150 77 0 0 25 0 1 0 184308702 543932416 130383 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 132796 130383 196 640 0 132152 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 531184 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6071 /proc/meminfo: memFree=1131056/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=734156 CPUtime=162.25 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 183134 0 0 0 16117 108 0 0 25 0 1 0 184308702 751775744 181135 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 183539 181135 196 640 0 182895 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 734156 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6071 /proc/meminfo: memFree=983408/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=880148 CPUtime=222.23 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 219612 0 0 0 22098 125 0 0 25 0 1 0 184308702 901271552 217613 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 220037 217613 196 640 0 219393 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 880148 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6071 /proc/meminfo: memFree=849904/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=1014396 CPUtime=282.22 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 253185 0 0 0 28079 143 0 0 25 0 1 0 184308702 1038741504 251186 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 253599 251186 196 640 0 252955 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 1014396 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6071 /proc/meminfo: memFree=754352/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=1109060 CPUtime=342.2 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 276833 0 0 0 34064 156 0 0 25 0 1 0 184308702 1135677440 274834 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 277265 274834 196 640 0 276621 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 1109060 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6071 /proc/meminfo: memFree=614256/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=1254464 CPUtime=402.19 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 313187 0 0 0 40043 176 0 0 25 0 1 0 184308702 1284571136 311188 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 313616 311188 196 640 0 312972 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 1254464 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6073 /proc/meminfo: memFree=469424/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=1392964 CPUtime=462.17 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 347819 0 0 0 46021 196 0 0 25 0 1 0 184308702 1426395136 345820 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 348241 345820 196 640 0 347597 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 1392964 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6073 /proc/meminfo: memFree=390704/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=1475628 CPUtime=522.15 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 368482 0 0 0 52007 208 0 0 25 0 1 0 184308702 1511043072 366483 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 368907 366483 196 640 0 368263 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 1475628 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6073 /proc/meminfo: memFree=278448/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=1583716 CPUtime=582.14 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 395513 0 0 0 57992 222 0 0 25 0 1 0 184308702 1621725184 393514 1992294400 134512640 137136520 4294956256 18446744073709551615 136509133 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 395929 393514 196 640 0 395285 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 1583716 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6073 /proc/meminfo: memFree=220720/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=1640596 CPUtime=642.12 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 409833 0 0 0 63983 229 0 0 25 0 1 0 184308702 1679970304 407733 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 410149 407733 196 640 0 409505 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 1640596 [startup+702.301 s] ################ # More data... # ################ [startup+762.305 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6073 /proc/meminfo: memFree=220656/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=1640596 CPUtime=762.09 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 409833 0 0 0 75976 233 0 0 25 0 1 0 184308702 1679970304 407733 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 410149 407733 196 640 0 409505 0 Current children cumulated CPU time (s) 762.09 Current children cumulated vsize (KiB) 1640596 [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6073 /proc/meminfo: memFree=220656/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=1640596 CPUtime=822.07 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 409833 0 0 0 81971 236 0 0 25 0 1 0 184308702 1679970304 407733 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 410149 407733 196 640 0 409505 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 1640596 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6073 /proc/meminfo: memFree=220656/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=1640596 CPUtime=882.06 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 409833 0 0 0 87967 239 0 0 25 0 1 0 184308702 1679970304 407733 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 410149 407733 196 640 0 409505 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 1640596 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6073 /proc/meminfo: memFree=220656/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=1640596 CPUtime=942.04 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 409833 0 0 0 93963 241 0 0 25 0 1 0 184308702 1679970304 407733 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 410149 407733 196 640 0 409505 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 1640596 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6079 /proc/meminfo: memFree=220656/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=1640596 CPUtime=1002.02 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 409833 0 0 0 99959 243 0 0 25 0 1 0 184308702 1679970304 407733 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 410149 407733 196 640 0 409505 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 1640596 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6079 /proc/meminfo: memFree=220656/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=1640596 CPUtime=1062 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 409833 0 0 0 105956 244 0 0 25 0 1 0 184308702 1679970304 407733 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 410149 407733 196 640 0 409505 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 1640596 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6079 /proc/meminfo: memFree=220592/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=1640596 CPUtime=1121.99 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 409833 0 0 0 111953 246 0 0 25 0 1 0 184308702 1679970304 407733 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 410149 407733 196 640 0 409505 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1640596 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6079 /proc/meminfo: memFree=220592/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=1640596 CPUtime=1181.97 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 409833 0 0 0 117950 247 0 0 25 0 1 0 184308702 1679970304 407733 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 410149 407733 196 640 0 409505 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 1640596 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6079 /proc/meminfo: memFree=220592/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=1640596 CPUtime=1241.95 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 409833 0 0 0 123947 248 0 0 25 0 1 0 184308702 1679970304 407733 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 410149 407733 196 640 0 409505 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1640596 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6079 /proc/meminfo: memFree=220528/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=1640596 CPUtime=1301.94 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 409833 0 0 0 129945 249 0 0 25 0 1 0 184308702 1679970304 407733 1992294400 134512640 137136520 4294956256 18446744073709551615 136502143 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 410149 407733 196 640 0 409505 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1640596 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6079 /proc/meminfo: memFree=220528/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=1640596 CPUtime=1361.92 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 409833 0 0 0 135942 250 0 0 25 0 1 0 184308702 1679970304 407733 1992294400 134512640 137136520 4294956256 18446744073709551615 134616453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 410149 407733 196 640 0 409505 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1640596 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6079 /proc/meminfo: memFree=220528/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=1640596 CPUtime=1421.91 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 409833 0 0 0 141939 252 0 0 25 0 1 0 184308702 1679970304 407733 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 410149 407733 196 640 0 409505 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1640596 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6079 /proc/meminfo: memFree=220528/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=1640596 CPUtime=1481.89 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 409833 0 0 0 147935 254 0 0 25 0 1 0 184308702 1679970304 407733 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 410149 407733 196 640 0 409505 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1640596 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6079 /proc/meminfo: memFree=217072/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=1644388 CPUtime=1541.88 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 410762 0 0 0 153931 257 0 0 25 0 1 0 184308702 1683853312 408662 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 411097 408662 196 640 0 410453 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1644388 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6079 /proc/meminfo: memFree=104752/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=1759240 CPUtime=1601.85 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 439478 0 0 0 159913 272 0 0 25 0 1 0 184308702 1801461760 437378 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 439810 437378 196 640 0 439166 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1759240 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1632.9 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6079 /proc/meminfo: memFree=17520/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=1843268 CPUtime=1632.45 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194304 460495 0 0 0 162961 284 0 0 25 0 1 0 184308702 1887506432 458395 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 460817 458395 196 640 0 460173 0 Current children cumulated CPU time (s) 1632.45 Current children cumulated vsize (KiB) 1843268 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1633.01 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6079 /proc/meminfo: memFree=17520/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=0 CPUtime=1632.55 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194308 460497 0 0 0 162961 294 0 0 25 0 1 0 184308702 0 0 1992294400 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1632.55 Current children cumulated vsize (KiB) 0 [startup+1633.1 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6079 /proc/meminfo: memFree=17520/2055920 swapFree=4191900/4192956 [pid=6070] ppid=6068 vsize=0 CPUtime=1632.65 /proc/6070/stat : 6070 (bsolo) R 6068 6070 5820 0 -1 4194308 460497 0 0 0 162961 304 0 0 25 0 1 0 184308702 0 0 1992294400 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/6070/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1632.65 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1633.2 CPU time (s): 1632.76 CPU user time (s): 1629.62 CPU system time (s): 3.14052 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 1843268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1629.62 system time used= 3.14052 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460497 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= 2 involuntary context switches= 2049 runsolver used 1.79373 second user time and 3.42548 second system time The end
Begin job on node32 at 2009-06-16 17:44:53 IDJOB=1878473 IDBENCH=2259 IDSOLVER=700 FILE ID=node32/1878473-1245167093 PBS_JOBID= 9363860 Free space on /tmp= 66340 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878473-1245167093/watcher-1878473-1245167093 -o /tmp/evaluation-result-1878473-1245167093/solver-1878473-1245167093 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878473-1245167093.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 604c6b786f56b09c749bc0d6b7c8f76d RANDOM SEED=818637763 node32.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 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: 1855056 kB Buffers: 43348 kB Cached: 81648 kB SwapCached: 260 kB Active: 45996 kB Inactive: 93348 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1855056 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 6188 kB Writeback: 0 kB Mapped: 23780 kB Slab: 47292 kB Committed_AS: 162312 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878473-1245167093.opb Free space on /tmp at the end= 66336 MiB End job on node32 at 2009-06-16 18:12:08