Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -41 | 1798.11 | 1798.65 |
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 | -44 |
Best CPU time to get the best result obtained on this benchmark | 1790.11 |
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.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656484-1276504527.opb 0.00/0.00 c File size is 2298943 bytes. 0.29/0.36 c Highest Coefficient sum: 1272 0.29/0.36 c Parsing was ok!! 0.29/0.36 c Total parsing time: 0.364 s 0.29/0.39 c Var: 1272 Constr: 94227 94227/0/0 Lit: 188454 Watch. Lit: 188454 0.29/0.39 c Obj. Vars: 1272 (100 % of total variables) 3.19/3.23 c Pre-processing Time: 3.231 s 3.19/3.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.23 c 0 1272 94227 188454 2 188454 31409 0 0 3.23 3.19/3.23 c Switching off lower bounding mode. 3.19/3.25 o -36 3.39/3.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.47 c 0 1272 94228 189726 2 188492 32409 1 0 3.25 3.39/3.47 c 100 1272 94334 320386 3 188704 35650 107 28 3.47 3.39/3.47 o -37 3.39/3.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.48 c 100 1272 94335 321658 3 188743 32409 108 28 3.48 3.39/3.48 o -38 3.68/3.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.68/3.72 c 100 1272 94336 322930 3 188783 32409 109 28 3.49 3.68/3.72 c 200 1272 94444 455811 4 188999 35650 217 53 3.71 3.68/3.72 o -41 1797.96/1798.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.54 c 200 1272 94445 457083 4 189042 32409 218 53 3.72 1797.96/1798.54 c 301 1272 94558 595639 6 189268 35650 331 76 3.96 1797.96/1798.54 c 551 1272 94834 934200 9 189820 39216 607 121 4.52 1797.96/1798.54 c 1028 1272 95358 1577127 16 190868 43138 1131 180 5.69 1797.96/1798.54 c 1842 1272 96260 2683326 27 192672 47452 2033 229 8.03 1797.96/1798.54 c 3162 1272 97733 4489599 45 195618 52198 3506 265 11.91 1797.96/1798.54 c 5244 1272 100063 7347312 73 200278 57418 5836 280 18.71 1797.96/1798.54 c 8467 1272 103658 11755992 113 207468 63160 9431 280 30.22 1797.96/1798.54 c 13403 1272 109144 18483025 169 218440 69477 14917 266 50.34 1797.96/1798.54 c 20909 1272 117504 28736879 244 235160 76425 23277 214 97.37 1797.96/1798.54 c 32270 1272 130256 44369859 340 260703 84068 36029 182 176.40 1797.96/1798.54 c 49415 1272 149113 67472318 452 298455 92475 54886 149 330.96 1797.96/1798.54 c Reducing formula size due to memory constraints 1797.96/1798.54 c Memory Limit: 1000.00 MB Used: 1015.01 MB 1797.96/1798.54 c 75234 1272 125297 38238202 305 250782 129608 31070 126 594.09 1797.96/1798.54 c Reducing formula size due to memory constraints 1797.96/1798.54 c Memory Limit: 1000.00 MB Used: 1012.59 MB 1797.96/1798.54 c 114066 1272 116176 27068549 232 232430 129813 21949 115 988.91 1797.96/1798.54 c Reducing formula size due to memory constraints 1797.96/1798.54 c Memory Limit: 1000.00 MB Used: 1002.90 MB 1797.96/1798.54 c 172418 1272 130277 44314403 340 260697 130127 36050 104 1655.01 1797.96/1798.54 c Resources Exceeded 1797.96/1798.54 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 1797.96/1798.54 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.54 c 20 188476 22293 219345 148148 66230908 53921 104 1798.00 1797.96/1798.54 c Objective: -41 1797.96/1798.54 s SATISFIABLE 1797.96/1798.54 c Total time: 1798 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-2656484-1276504527/watcher-2656484-1276504527 -o /tmp/evaluation-result-2656484-1276504527/solver-2656484-1276504527 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656484-1276504527.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.00 1.00 1.07 3/106 28537 /proc/meminfo: memFree=1771428/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=13180 CPUtime=0 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 357 0 0 0 0 0 0 0 22 0 1 0 26039124 13496320 275 1992294400 134512640 137138936 4290776864 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 3295 276 176 642 0 2089 0 [startup+0.09602 s] /proc/loadavg: 1.00 1.00 1.07 3/106 28537 /proc/meminfo: memFree=1771428/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=15380 CPUtime=0.09 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 1031 0 0 0 9 0 0 0 22 0 1 0 26039124 15749120 949 1992294400 134512640 137138936 4290776864 18446744073709551615 134519769 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 3845 949 305 642 0 2639 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15380 [startup+0.10102 s] /proc/loadavg: 1.00 1.00 1.07 3/106 28537 /proc/meminfo: memFree=1771428/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=15516 CPUtime=0.09 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 1072 0 0 0 9 0 0 0 22 0 1 0 26039124 15888384 990 1992294400 134512640 137138936 4290776864 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 3879 991 314 642 0 2673 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15516 [startup+0.301039 s] /proc/loadavg: 1.00 1.00 1.07 3/106 28537 /proc/meminfo: memFree=1771428/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=20604 CPUtime=0.29 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 2655 0 0 0 29 0 0 0 22 0 1 0 26039124 21098496 2573 1992294400 134512640 137138936 4290776864 18446744073709551615 136487747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 5151 2574 623 642 0 3945 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20604 [startup+0.70108 s] /proc/loadavg: 1.00 1.00 1.07 3/106 28537 /proc/meminfo: memFree=1771428/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=27540 CPUtime=0.69 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 5082 0 0 0 67 2 0 0 24 0 1 0 26039124 28200960 4438 1992294400 134512640 137138936 4290776864 18446744073709551615 134540164 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 6885 4438 185 642 0 6241 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27540 [startup+1.50116 s] /proc/loadavg: 1.00 1.00 1.07 2/107 28538 /proc/meminfo: memFree=1754060/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=27540 CPUtime=1.49 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 5082 0 0 0 145 4 0 0 25 0 1 0 26039124 28200960 4438 1992294400 134512640 137138936 4290776864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 6885 4438 185 642 0 6241 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27540 [startup+3.10032 s] /proc/loadavg: 1.00 1.00 1.07 2/107 28538 /proc/meminfo: memFree=1753936/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=27540 CPUtime=3.09 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 5082 0 0 0 299 10 0 0 25 0 1 0 26039124 28200960 4438 1992294400 134512640 137138936 4290776864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 6885 4438 185 642 0 6241 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27540 [startup+6.30064 s] /proc/loadavg: 1.00 1.00 1.07 2/107 28538 /proc/meminfo: memFree=1741164/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=46572 CPUtime=6.29 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 11282 0 0 0 616 13 0 0 25 0 1 0 26039124 47689728 9217 1992294400 134512640 137138936 4290776864 18446744073709551615 136511125 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 11643 9217 192 642 0 10999 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 46572 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.07 2/107 28538 /proc/meminfo: memFree=1701236/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=84628 CPUtime=12.69 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 20783 0 0 0 1252 17 0 0 25 0 1 0 26039124 86659072 18718 1992294400 134512640 137138936 4290776864 18446744073709551615 136520938 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 21157 18718 192 642 0 20513 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 84628 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.07 2/107 28538 /proc/meminfo: memFree=1631176/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=151672 CPUtime=25.49 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 37543 0 0 0 2524 25 0 0 25 0 1 0 26039124 155312128 35478 1992294400 134512640 137138936 4290776864 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 37918 35478 192 642 0 37274 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 151672 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.07 2/107 28540 /proc/meminfo: memFree=1521932/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=262116 CPUtime=51.07 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 65163 0 0 0 5069 38 0 0 25 0 1 0 26039124 268406784 63098 1992294400 134512640 137138936 4290776864 18446744073709551615 134618001 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 65529 63098 192 642 0 64885 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 262116 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.06 2/107 28540 /proc/meminfo: memFree=1376232/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=404792 CPUtime=102.27 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 100832 0 0 0 10167 60 0 0 25 0 1 0 26039124 414507008 98767 1992294400 134512640 137138936 4290776864 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 101198 98767 192 642 0 100554 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 404792 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.06 2/107 28542 /proc/meminfo: memFree=1217884/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=563952 CPUtime=162.24 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 140623 0 0 0 16140 84 0 0 25 0 1 0 26039124 577486848 138558 1992294400 134512640 137138936 4290776864 18446744073709551615 134599649 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 140988 138558 192 642 0 140344 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 563952 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.05 2/107 28544 /proc/meminfo: memFree=1078384/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=701956 CPUtime=222.22 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 175117 0 0 0 22117 105 0 0 25 0 1 0 26039124 718802944 173052 1992294400 134512640 137138936 4290776864 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 175489 173052 192 642 0 174845 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 701956 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.05 2/107 28546 /proc/meminfo: memFree=969760/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=811216 CPUtime=282.21 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 202437 0 0 0 28097 124 0 0 25 0 1 0 26039124 830685184 200372 1992294400 134512640 137138936 4290776864 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 202804 200372 192 642 0 202160 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 811216 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.04 2/107 28548 /proc/meminfo: memFree=865600/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=914544 CPUtime=342.18 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 228271 0 0 0 34080 138 0 0 25 0 1 0 26039124 936493056 226206 1992294400 134512640 137138936 4290776864 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 228636 226206 192 642 0 227992 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 914544 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.03 2/107 28548 /proc/meminfo: memFree=736020/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=1044668 CPUtime=402.17 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 260795 0 0 0 40055 162 0 0 25 0 1 0 26039124 1069740032 258730 1992294400 134512640 137138936 4290776864 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 261167 258730 192 642 0 260523 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 1044668 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.03 2/107 28550 /proc/meminfo: memFree=728084/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=1050776 CPUtime=462.16 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 262392 0 0 0 46050 166 0 0 25 0 1 0 26039124 1075994624 260263 1992294400 134512640 137138936 4290776864 18446744073709551615 134577137 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 262694 260263 192 642 0 262050 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 1050776 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.02 2/107 28552 /proc/meminfo: memFree=728084/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=1050776 CPUtime=522.14 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 262392 0 0 0 52044 170 0 0 25 0 1 0 26039124 1075994624 260263 1992294400 134512640 137138936 4290776864 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 262694 260263 192 642 0 262050 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 1050776 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.02 2/107 28554 /proc/meminfo: memFree=728084/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=1050776 CPUtime=582.12 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 262392 0 0 0 58039 173 0 0 25 0 1 0 26039124 1075994624 260263 1992294400 134512640 137138936 4290776864 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 262694 260263 192 642 0 262050 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 1050776 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.01 2/107 28556 /proc/meminfo: memFree=728084/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=1050776 CPUtime=642.11 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 262392 0 0 0 64034 177 0 0 25 0 1 0 26039124 1075994624 260263 1992294400 134512640 137138936 4290776864 18446744073709551615 134573211 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 262694 260263 192 642 0 262050 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 1050776 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=727960/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=1050376 CPUtime=1121.96 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 262392 0 0 0 111994 202 0 0 25 0 1 0 26039124 1075585024 260172 1992294400 134512640 137138936 4290776864 18446744073709551615 134544812 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 262594 260172 192 642 0 261950 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 1050376 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28570 /proc/meminfo: memFree=727960/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=1050376 CPUtime=1181.94 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 262392 0 0 0 117989 205 0 0 25 0 1 0 26039124 1075585024 260172 1992294400 134512640 137138936 4290776864 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 262594 260172 192 642 0 261950 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 1050376 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28570 /proc/meminfo: memFree=727960/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=1050376 CPUtime=1241.92 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 262392 0 0 0 123985 207 0 0 25 0 1 0 26039124 1075585024 260172 1992294400 134512640 137138936 4290776864 18446744073709551615 136511151 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 262594 260172 192 642 0 261950 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 1050376 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28572 /proc/meminfo: memFree=727960/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=1050376 CPUtime=1301.91 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 262392 0 0 0 129982 209 0 0 25 0 1 0 26039124 1075585024 260172 1992294400 134512640 137138936 4290776864 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 262594 260172 192 642 0 261950 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1050376 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28574 /proc/meminfo: memFree=727836/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=1050376 CPUtime=1361.89 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 262392 0 0 0 135978 211 0 0 25 0 1 0 26039124 1075585024 260172 1992294400 134512640 137138936 4290776864 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 262594 260172 192 642 0 261950 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1050376 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28576 /proc/meminfo: memFree=727836/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=1050376 CPUtime=1421.88 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 262392 0 0 0 141974 214 0 0 25 0 1 0 26039124 1075585024 260172 1992294400 134512640 137138936 4290776864 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 262594 260172 192 642 0 261950 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1050376 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28578 /proc/meminfo: memFree=727836/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=1050376 CPUtime=1481.85 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 262392 0 0 0 147970 215 0 0 25 0 1 0 26039124 1075585024 260172 1992294400 134512640 137138936 4290776864 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 262594 260172 192 642 0 261950 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1050376 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28589 /proc/meminfo: memFree=727092/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=1050376 CPUtime=1541.82 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 262392 0 0 0 153962 220 0 0 25 0 1 0 26039124 1075585024 260172 1992294400 134512640 137138936 4290776864 18446744073709551615 136502620 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 262594 260172 192 642 0 261950 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 1050376 [startup+1602.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 28589 /proc/meminfo: memFree=727092/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=1050376 CPUtime=1601.81 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 262392 0 0 0 159956 225 0 0 25 0 1 0 26039124 1075585024 260172 1992294400 134512640 137138936 4290776864 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 262594 260172 192 642 0 261950 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1050376 [startup+1662.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 28591 /proc/meminfo: memFree=727092/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=1050376 CPUtime=1661.79 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 262392 0 0 0 165951 228 0 0 25 0 1 0 26039124 1075585024 260172 1992294400 134512640 137138936 4290776864 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 262594 260172 192 642 0 261950 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 1050376 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28593 /proc/meminfo: memFree=727092/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=1050376 CPUtime=1721.77 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 262392 0 0 0 171944 233 0 0 25 0 1 0 26039124 1075585024 260172 1992294400 134512640 137138936 4290776864 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 262594 260172 192 642 0 261950 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 1050376 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28595 /proc/meminfo: memFree=727092/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=1050376 CPUtime=1781.75 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 262392 0 0 0 177939 236 0 0 25 0 1 0 26039124 1075585024 260172 1992294400 134512640 137138936 4290776864 18446744073709551615 134603158 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 262594 260172 192 642 0 261950 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 1050376 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28595 /proc/meminfo: memFree=727092/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=1050376 CPUtime=1791.36 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 262392 0 0 0 178899 237 0 0 25 0 1 0 26039124 1075585024 260172 1992294400 134512640 137138936 4290776864 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 262594 260172 192 642 0 261950 0 Current children cumulated CPU time (s) 1791.36 Current children cumulated vsize (KiB) 1050376 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28595 /proc/meminfo: memFree=727092/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=1050376 CPUtime=1794.56 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 262392 0 0 0 179219 237 0 0 25 0 1 0 26039124 1075585024 260172 1992294400 134512640 137138936 4290776864 18446744073709551615 136297621 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 262594 260172 192 642 0 261950 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (KiB) 1050376 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28595 /proc/meminfo: memFree=727092/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=1050376 CPUtime=1796.15 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 262392 0 0 0 179378 237 0 0 25 0 1 0 26039124 1075585024 260172 1992294400 134512640 137138936 4290776864 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 262594 260172 192 642 0 261950 0 Current children cumulated CPU time (s) 1796.15 Current children cumulated vsize (KiB) 1050376 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28595 /proc/meminfo: memFree=727092/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=1050376 CPUtime=1796.95 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 262392 0 0 0 179458 237 0 0 25 0 1 0 26039124 1075585024 260172 1992294400 134512640 137138936 4290776864 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 262594 260172 192 642 0 261950 0 Current children cumulated CPU time (s) 1796.95 Current children cumulated vsize (KiB) 1050376 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28595 /proc/meminfo: memFree=727092/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=1050376 CPUtime=1797.75 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 262392 0 0 0 179538 237 0 0 25 0 1 0 26039124 1075585024 260172 1992294400 134512640 137138936 4290776864 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 262594 260172 192 642 0 261950 0 Current children cumulated CPU time (s) 1797.75 Current children cumulated vsize (KiB) 1050376 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28595 /proc/meminfo: memFree=727092/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=1050376 CPUtime=1797.96 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202496 262392 0 0 0 179559 237 0 0 25 0 1 0 26039124 1075585024 260172 1992294400 134512640 137138936 4290776864 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28537/statm: 262594 260172 192 642 0 261950 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 1050376 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28595 /proc/meminfo: memFree=727092/2059040 swapFree=4134576/4192956 [pid=28537] ppid=28535 vsize=0 CPUtime=1798.05 /proc/28537/stat : 28537 (bsolo_pb10) R 28535 28537 27972 0 -1 4202500 262393 0 0 0 179562 243 0 0 25 0 1 0 26039124 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/28537/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.05 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.65 CPU time (s): 1798.11 CPU user time (s): 1795.63 CPU system time (s): 2.47662 CPU usage (%): 99.9699 Max. virtual memory (cumulated for all children) (KiB): 1050776 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.63 system time used= 2.47662 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 262393 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= 1 involuntary context switches= 23162 runsolver used 3.00854 second user time and 8.45172 second system time The end
Begin job on node017 at 2010-06-14 10:35:27 IDJOB=2656484 IDBENCH=2259 IDSOLVER=1162 FILE ID=node017/2656484-1276504527 PBS_JOBID= 11173407 Free space on /tmp= 62424 MiB SOLVER NAME= bsolo 3.2 Card 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_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656484-1276504527/watcher-2656484-1276504527 -o /tmp/evaluation-result-2656484-1276504527/solver-2656484-1276504527 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656484-1276504527.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 604c6b786f56b09c749bc0d6b7c8f76d RANDOM SEED=1300307078 node017.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.201 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.40 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.201 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.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1771956 kB Buffers: 95664 kB Cached: 112320 kB SwapCached: 11540 kB Active: 107980 kB Inactive: 114052 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1771956 kB SwapTotal: 4192956 kB SwapFree: 4134576 kB Dirty: 6124 kB Writeback: 16 kB AnonPages: 12508 kB Mapped: 9168 kB Slab: 43396 kB PageTables: 3924 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183260 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= 62420 MiB End job on node017 at 2010-06-14 11:05:26