Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | -40 | 1798.25 | 1798.69 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb |
MD5SUM | 1a88750537364c45876077f809191628 |
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 | 1800.49 |
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 | 94308 |
Number of constraints which are clauses | 94308 |
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: Cardinality Constraint 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-1877168-1245166771.opb 0.00/0.00 c File size is 2301477 bytes. 0.19/0.30 c Highest Coefficient sum: 1272 0.19/0.30 c Parsing was ok!! 0.19/0.30 c Total parsing time: 0.299 s 0.29/0.33 c Var: 1272 Constr: 94308 94308/0/0 Lit: 188616 Watch. Lit: 188616 0.29/0.33 c Obj. Vars: 1272 (100 % of total variables) 3.09/3.14 c Pre-processing Time: 3.14 s 3.09/3.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.14 c 0 1272 94308 188616 2 188616 31436 0 0 3.14 3.09/3.14 c Switching off lower bounding mode. 3.09/3.15 o -35 3.09/3.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.16 c 0 1272 94309 189888 2 188653 32436 1 0 3.16 3.09/3.16 o -36 3.79/3.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.86 c 1 1272 94311 192395 2 188693 32436 3 0 3.17 3.79/3.86 c 101 1272 94424 331541 3 188919 35680 116 30 3.35 3.79/3.86 c 351 1272 94691 660694 6 189453 39249 383 91 3.85 3.79/3.86 o -37 3.79/3.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.87 c 358 1272 94700 671818 7 189508 32436 392 92 3.87 3.79/3.87 o -38 7.79/7.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.79/7.90 c 358 1272 94701 673090 7 189548 32436 393 92 3.88 7.79/7.90 c 459 1272 94810 807190 8 189766 35680 502 112 4.07 7.79/7.90 c 709 1272 95087 1147870 12 190320 39249 779 155 4.56 7.79/7.90 c 1185 1272 95615 1797420 18 191376 43174 1307 209 5.66 7.79/7.90 c 1999 1272 96516 2905594 30 193178 47492 2208 256 7.80 7.79/7.90 o -39 17.60/17.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.60/17.64 c 2041 1272 96562 2962216 30 193309 32436 2254 258 7.90 17.60/17.64 c 2142 1272 96676 3102243 32 193537 35680 2368 263 8.12 17.60/17.64 c 2393 1272 96952 3441378 35 194089 39249 2644 274 8.71 17.60/17.64 c 2868 1272 97480 4090158 41 195145 43174 3172 292 9.79 17.60/17.64 c 3681 1272 98369 5182661 52 196923 47492 4061 311 11.84 17.60/17.64 c 5002 1272 99871 7026910 70 199927 52242 5563 324 15.41 17.60/17.64 o -40 1797.95/1798.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.95/1798.44 c 5725 1272 100670 8008922 79 201565 32436 6362 324 17.64 1797.95/1798.44 c 5826 1272 100779 8142783 80 201783 35680 6471 325 17.92 1797.95/1798.44 c 6076 1272 101052 8478042 83 202329 39249 6744 327 18.57 1797.95/1798.44 c 6551 1272 101579 9125041 89 203383 43174 7271 324 20.16 1797.95/1798.44 c 7364 1272 102474 10223953 99 205173 47492 8166 314 23.44 1797.95/1798.44 c 8685 1272 103928 12008328 115 208081 52242 9620 318 27.29 1797.95/1798.44 c 10767 1272 106224 14827759 139 212673 57467 11916 290 37.08 1797.95/1798.44 c 13990 1272 109861 19291759 175 219947 63214 15553 273 51.08 1797.95/1798.44 c 18926 1272 115379 26061798 225 230983 69536 21071 256 73.92 1797.95/1798.44 c 26433 1272 123707 36279043 293 247676 76490 29399 216 122.24 1797.95/1798.44 c 37795 1272 136368 51809404 379 272998 84140 42060 193 195.69 1797.95/1798.44 c 54939 1272 155361 75112982 483 311089 92555 61053 168 326.83 1797.95/1798.44 c 80758 1272 184478 110822950 600 369361 101811 90170 136 591.89 1797.95/1798.44 c 119591 1272 139383 55483466 398 278806 111993 45075 113 1053.75 1797.95/1798.44 c Resources Exceeded 1797.95/1798.44 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.95/1798.44 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.44 c 30 173806 19643 200059 199665 129371309 105357 96 1798.00 1797.95/1798.44 c Objective: -40 1797.95/1798.44 s SATISFIABLE 1797.95/1798.44 c Total time: 1798 s
OK -40
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877168-1245166771/watcher-1877168-1245166771 -o /tmp/evaluation-result-1877168-1245166771/solver-1877168-1245166771 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877168-1245166771.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.00 3/64 6277 /proc/meminfo: memFree=1913064/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=12972 CPUtime=0 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 184277522 13283328 247 1992294400 134512640 137136520 4294956256 18446744073709551615 134519766 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 3243 248 175 640 0 2037 0 [startup+0.0843311 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6277 /proc/meminfo: memFree=1913064/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=15448 CPUtime=0.07 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 1035 0 0 0 7 0 0 0 18 0 1 0 184277522 15818752 1019 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 3862 1019 323 640 0 2656 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 15448 [startup+0.10133 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6277 /proc/meminfo: memFree=1913064/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=15996 CPUtime=0.09 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 1198 0 0 0 9 0 0 0 18 0 1 0 184277522 16379904 1182 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 3999 1182 355 640 0 2793 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15996 [startup+0.301342 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6277 /proc/meminfo: memFree=1913064/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=20068 CPUtime=0.29 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 3172 0 0 0 29 0 0 0 19 0 1 0 184277522 20549632 2594 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 5017 2596 185 640 0 4373 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20068 [startup+0.701368 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6277 /proc/meminfo: memFree=1913064/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=27480 CPUtime=0.69 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 5022 0 0 0 67 2 0 0 22 0 1 0 184277522 28139520 4444 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 6870 4444 190 640 0 6226 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27480 [startup+1.50243 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6278 /proc/meminfo: memFree=1895968/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=27480 CPUtime=1.49 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 5022 0 0 0 145 4 0 0 25 0 1 0 184277522 28139520 4444 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 6870 4444 190 640 0 6226 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27480 [startup+3.10152 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6278 /proc/meminfo: memFree=1895840/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=25144 CPUtime=3.09 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 5171 0 0 0 301 8 0 0 25 0 1 0 184277522 25747456 3861 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 6286 3862 190 640 0 5642 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25144 [startup+6.30173 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6278 /proc/meminfo: memFree=1879664/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=50304 CPUtime=6.29 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 12157 0 0 0 616 13 0 0 25 0 1 0 184277522 51511296 10157 1992294400 134512640 137136520 4294956256 18446744073709551615 134617013 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 12576 10157 196 640 0 11932 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50304 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6278 /proc/meminfo: memFree=1833392/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=94548 CPUtime=12.69 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 23234 0 0 0 1251 18 0 0 25 0 1 0 184277522 96817152 21234 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 23637 21234 196 640 0 22993 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 94548 [startup+25.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6278 /proc/meminfo: memFree=1759280/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=165200 CPUtime=25.49 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 40885 0 0 0 2524 25 0 0 25 0 1 0 184277522 169164800 38885 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 41300 38885 196 640 0 40656 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 165200 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6278 /proc/meminfo: memFree=1656240/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=268876 CPUtime=51.08 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 66807 0 0 0 5068 40 0 0 25 0 1 0 184277522 275329024 64807 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 67219 64807 197 640 0 66575 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 268876 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6278 /proc/meminfo: memFree=1489072/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=433600 CPUtime=102.27 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 107994 0 0 0 10165 62 0 0 25 0 1 0 184277522 444006400 105994 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 108400 105994 197 640 0 107756 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 433600 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6278 /proc/meminfo: memFree=1312688/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=611100 CPUtime=162.25 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 152361 0 0 0 16140 85 0 0 25 0 1 0 184277522 625766400 150361 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 152775 150361 197 640 0 152131 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 611100 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6278 /proc/meminfo: memFree=1148720/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=773380 CPUtime=222.24 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 192933 0 0 0 22116 108 0 0 25 0 1 0 184277522 791941120 190933 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 193345 190933 197 640 0 192701 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 773380 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6278 /proc/meminfo: memFree=1019184/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=903780 CPUtime=282.22 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 225543 0 0 0 28095 127 0 0 25 0 1 0 184277522 925470720 223543 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 225945 223543 197 640 0 225301 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 903780 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6278 /proc/meminfo: memFree=893872/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=1027988 CPUtime=342.21 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 256567 0 0 0 34074 147 0 0 25 0 1 0 184277522 1052659712 254567 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 256997 254567 197 640 0 256353 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 1027988 [startup+402.301 s] /proc/loadavg: 1.07 1.02 1.00 2/65 6278 /proc/meminfo: memFree=767536/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=1154896 CPUtime=402.19 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 288321 0 0 0 40052 167 0 0 25 0 1 0 184277522 1182613504 286321 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 288724 286321 197 640 0 288080 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 1154896 [startup+462.301 s] /proc/loadavg: 1.02 1.01 1.00 2/65 6278 /proc/meminfo: memFree=667632/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=1253204 CPUtime=462.18 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 312888 0 0 0 46035 183 0 0 25 0 1 0 184277522 1283280896 310888 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 313301 310888 197 640 0 312657 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 1253204 [startup+522.302 s] /proc/loadavg: 1.01 1.00 1.00 2/65 6278 /proc/meminfo: memFree=579440/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=1342804 CPUtime=522.16 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 335287 0 0 0 52020 196 0 0 25 0 1 0 184277522 1375031296 333287 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 335701 333287 197 640 0 335057 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 1342804 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6278 /proc/meminfo: memFree=499440/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=1421644 CPUtime=582.15 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 355008 0 0 0 58008 207 0 0 25 0 1 0 184277522 1455763456 353008 1992294400 134512640 137136520 4294956256 18446744073709551615 134544475 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 355411 353008 197 640 0 354767 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 1421644 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6278 /proc/meminfo: memFree=344624/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=1575312 CPUtime=642.14 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 393410 0 0 0 63982 232 0 0 25 0 1 0 184277522 1613119488 391410 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 393828 391410 197 640 0 393184 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 1575312 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=277488/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=1642012 CPUtime=1122.02 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 410185 0 0 0 111944 258 0 0 25 0 1 0 184277522 1681420288 408084 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 410503 408084 197 640 0 409859 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 1642012 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6280 /proc/meminfo: memFree=277552/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=1642012 CPUtime=1182 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 410185 0 0 0 117940 260 0 0 25 0 1 0 184277522 1681420288 408084 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 410503 408084 197 640 0 409859 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 1642012 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6280 /proc/meminfo: memFree=277488/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=1642012 CPUtime=1241.99 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 410185 0 0 0 123937 262 0 0 25 0 1 0 184277522 1681420288 408084 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 410503 408084 197 640 0 409859 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 1642012 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6286 /proc/meminfo: memFree=277232/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=1642012 CPUtime=1301.98 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 410185 0 0 0 129933 265 0 0 25 0 1 0 184277522 1681420288 408084 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 410503 408084 197 640 0 409859 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 1642012 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6286 /proc/meminfo: memFree=277232/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=1642012 CPUtime=1361.96 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 410185 0 0 0 135930 266 0 0 25 0 1 0 184277522 1681420288 408084 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 410503 408084 197 640 0 409859 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 1642012 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6286 /proc/meminfo: memFree=277296/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=1642012 CPUtime=1421.95 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 410185 0 0 0 141927 268 0 0 25 0 1 0 184277522 1681420288 408084 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 410503 408084 197 640 0 409859 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1642012 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6286 /proc/meminfo: memFree=277296/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=1642012 CPUtime=1481.93 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 410185 0 0 0 147924 269 0 0 25 0 1 0 184277522 1681420288 408084 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 410503 408084 197 640 0 409859 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1642012 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6286 /proc/meminfo: memFree=277424/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=1642012 CPUtime=1541.92 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 410185 0 0 0 153922 270 0 0 25 0 1 0 184277522 1681420288 408084 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 410503 408084 197 640 0 409859 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1642012 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6286 /proc/meminfo: memFree=277360/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=1642012 CPUtime=1601.9 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 410185 0 0 0 159919 271 0 0 25 0 1 0 184277522 1681420288 408084 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 410503 408084 197 640 0 409859 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1642012 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6286 /proc/meminfo: memFree=277296/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=1642012 CPUtime=1661.89 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 410185 0 0 0 165916 273 0 0 25 0 1 0 184277522 1681420288 408084 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 410503 408084 197 640 0 409859 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1642012 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6286 /proc/meminfo: memFree=277296/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=1642012 CPUtime=1721.87 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 410185 0 0 0 171913 274 0 0 25 0 1 0 184277522 1681420288 408084 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 410503 408084 197 640 0 409859 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1642012 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6286 /proc/meminfo: memFree=260272/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=1659336 CPUtime=1781.85 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 414512 0 0 0 177908 277 0 0 25 0 1 0 184277522 1699160064 412411 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 414834 412411 197 640 0 414190 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1659336 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6286 /proc/meminfo: memFree=249840/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=1669564 CPUtime=1791.45 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 417060 0 0 0 178867 278 0 0 25 0 1 0 184277522 1709633536 414959 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 417391 414959 197 640 0 416747 0 Current children cumulated CPU time (s) 1791.45 Current children cumulated vsize (KiB) 1669564 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6286 /proc/meminfo: memFree=244784/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=1674296 CPUtime=1794.65 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 418256 0 0 0 179186 279 0 0 25 0 1 0 184277522 1714479104 416155 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 418574 416155 197 640 0 417930 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (KiB) 1674296 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6286 /proc/meminfo: memFree=244080/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=1675372 CPUtime=1796.25 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 418537 0 0 0 179346 279 0 0 25 0 1 0 184277522 1715580928 416436 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 418843 416436 197 640 0 418199 0 Current children cumulated CPU time (s) 1796.25 Current children cumulated vsize (KiB) 1675372 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6286 /proc/meminfo: memFree=243184/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=1676040 CPUtime=1797.05 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 418701 0 0 0 179426 279 0 0 25 0 1 0 184277522 1716264960 416600 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 419010 416600 197 640 0 418366 0 Current children cumulated CPU time (s) 1797.05 Current children cumulated vsize (KiB) 1676040 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6286 /proc/meminfo: memFree=243184/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=1676968 CPUtime=1797.85 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194304 418920 0 0 0 179506 279 0 0 25 0 1 0 184277522 1717215232 416819 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6277/statm: 419242 416819 197 640 0 418598 0 Current children cumulated CPU time (s) 1797.85 Current children cumulated vsize (KiB) 1676968 [startup+1798.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6286 /proc/meminfo: memFree=242096/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=0 CPUtime=1798.05 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194308 418939 0 0 0 179520 285 0 0 17 0 1 0 184277522 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6277/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.05 Current children cumulated vsize (KiB) 0 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6286 /proc/meminfo: memFree=242096/2055920 swapFree=4181748/4192956 [pid=6277] ppid=6275 vsize=0 CPUtime=1798.15 /proc/6277/stat : 6277 (bsolo) R 6275 6277 5864 0 -1 4194308 418939 0 0 0 179520 295 0 0 18 0 1 0 184277522 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6277/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.15 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.69 CPU time (s): 1798.25 CPU user time (s): 1795.21 CPU system time (s): 3.04054 CPU usage (%): 99.9755 Max. virtual memory (cumulated for all children) (KiB): 1676968 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.21 system time used= 3.04054 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 418939 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= 4 involuntary context switches= 2770 runsolver used 1.15582 second user time and 3.9324 second system time The end
Begin job on node22 at 2009-06-16 17:39:31 IDJOB=1877168 IDBENCH=2256 IDSOLVER=699 FILE ID=node22/1877168-1245166771 PBS_JOBID= 9363834 Free space on /tmp= 66156 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877168-1245166771/watcher-1877168-1245166771 -o /tmp/evaluation-result-1877168-1245166771/solver-1877168-1245166771 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877168-1245166771.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1a88750537364c45876077f809191628 RANDOM SEED=674089582 node22.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.231 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.231 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: 1913544 kB Buffers: 30444 kB Cached: 62856 kB SwapCached: 5504 kB Active: 54736 kB Inactive: 46544 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1913544 kB SwapTotal: 4192956 kB SwapFree: 4181748 kB Dirty: 6188 kB Writeback: 0 kB Mapped: 12960 kB Slab: 27164 kB Committed_AS: 159156 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877168-1245166771.opb Free space on /tmp at the end= 66152 MiB End job on node22 at 2009-06-16 18:09:30