Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| MinisatID 2.5.2-gmp (fixed) | ? (TO) | 26860 | 1800.06 | 1800.01 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-markshare2_1.opb |
| MD5SUM | b994237fdc481ca53da2e19e2a850128 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 11549 |
| Best CPU time to get the best result obtained on this benchmark | 1800.13 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 31694 |
| Optimality of the best value was proved | NO |
| Number of variables | 330 |
| Total number of constraints | 13 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 13 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 150 |
| Number of terms in the objective function | 210 |
| Biggest coefficient in the objective function | 536870912 |
| Number of bits for the biggest coefficient in the objective function | 30 |
| Sum of the numbers in the objective function | 7516192761 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 536870912 |
| Number of bits of the biggest number in a constraint | 30 |
| Biggest sum of numbers in a constraint | 7516192761 |
| Number of bits of the biggest sum of numbers | 33 |
| 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 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 596.50/596.50 o 9365760 596.50/596.50 o 8919296 596.50/596.50 o 6309120 596.50/596.50 o 6308785 596.50/596.50 o 6306105 596.50/596.50 o 6284427 596.50/596.50 o 6283646 596.50/596.50 o 6283311 596.50/596.50 o 5853682 596.50/596.50 o 5853505 596.50/596.50 o 5627231 596.50/596.50 o 5627054 596.50/596.50 o 5624903 596.50/596.50 o 3838532 596.50/596.50 o 3837778 596.50/596.50 o 3837108 596.50/596.50 o 3836192 596.50/596.50 o 3834728 596.50/596.50 o 3066623 596.50/596.50 o 3065953 596.50/596.50 o 2991906 596.50/596.50 o 2991875 596.50/596.50 o 2991698 596.50/596.50 o 2991344 596.50/596.50 o 2990990 596.50/596.50 o 2990049 596.50/596.50 o 2989849 596.50/596.50 o 2989672 596.50/596.50 o 2989337 596.50/596.50 o 2784285 596.50/596.50 o 2779449 596.50/596.50 o 2779114 596.50/596.50 o 2778835 596.50/596.50 o 2778654 596.50/596.50 o 2778556 596.50/596.50 o 2778277 596.50/596.50 o 2775614 596.50/596.50 o 2419210 596.50/596.50 o 2418879 596.50/596.50 o 2418837 596.50/596.50 o 2418502 596.50/596.50 o 2418325 596.50/596.50 o 2418130 596.50/596.50 o 2418074 596.50/596.50 o 2417795 596.50/596.50 o 2417264 596.50/596.50 o 2405291 596.50/596.50 o 2405114 596.50/596.50 o 2404891 596.50/596.50 o 2404714 596.50/596.50 o 2404537 596.50/596.50 o 2403783 596.50/596.50 o 2370630 596.50/596.50 o 2370030 596.50/596.50 o 2367346 596.50/596.50 o 2366969 596.50/596.50 o 2366846 596.50/596.50 o 2366092 596.50/596.50 o 2314071 596.50/596.50 o 2313717 596.50/596.50 o 2312740 596.50/596.50 o 2312563 596.50/596.50 o 2295450 596.50/596.50 o 2280022 596.50/596.50 o 2278906 596.50/596.50 o 2278894 596.50/596.50 o 2229515 596.50/596.50 o 2229057 596.50/596.50 o 2228688 596.50/596.50 o 2228353 596.50/596.50 o 2228230 596.50/596.50 o 2227895 596.50/596.50 o 2227683 596.50/596.50 o 2227320 596.50/596.50 o 2226690 596.50/596.50 o 2226668 596.50/596.50 o 2187406 596.50/596.50 o 2186548 596.50/596.50 o 2186399 596.50/596.50 o 2186179 596.50/596.50 o 2185521 596.50/596.50 o 2185506 596.50/596.50 o 2184798 596.50/596.50 o 2184697 596.50/596.50 o 2183989 596.50/596.50 o 2145469 596.50/596.50 o 2145312 596.50/596.50 o 2145033 596.50/596.50 o 1802713 596.50/596.50 o 1802434 596.50/596.50 o 1775514 596.50/596.50 o 1774398 596.50/596.50 o 1500672 596.50/596.50 o 1500393 596.50/596.50 o 1500016 596.50/596.50 o 1388472 596.50/596.50 o 1388095 596.50/596.50 o 1387816 596.50/596.50 o 1387718 596.50/596.50 o 1384370 596.50/596.50 o 1378971 596.50/596.50 o 1378692 596.50/596.50 o 713039 596.50/596.50 o 712603 596.50/596.50 o 712206 596.50/596.50 o 712123 596.50/596.50 o 711844 596.50/596.50 o 711805 596.50/596.50 o 711526 596.50/596.50 o 711467 596.50/596.50 o 710682 596.50/596.50 o 709860 596.50/596.50 o 709566 596.50/596.50 o 629789 596.50/596.50 o 618635 596.50/596.50 o 618533 596.50/596.50 o 598532 596.50/596.50 o 595720 596.50/596.50 o 595543 596.50/596.50 o 595284 596.50/596.50 o 595107 596.50/596.50 o 594120 596.50/596.50 o 594056 596.50/596.50 o 581542 596.50/596.50 o 581536 596.50/596.50 o 581413 596.50/596.50 o 581078 596.50/596.50 o 578732 596.50/596.50 o 578609 596.50/596.50 o 578274 596.50/596.50 o 577996 596.50/596.50 o 577642 596.50/596.50 o 577465 596.50/596.50 o 577288 596.50/596.50 o 577269 596.50/596.50 o 576934 596.50/596.50 o 570114 596.50/596.50 o 568103 596.50/596.50 o 567824 596.50/596.50 o 567366 596.50/596.50 o 566450 596.50/596.50 o 566207 596.50/596.50 o 565001 596.50/596.50 o 564824 596.50/596.50 o 550324 596.50/596.50 o 550161 596.50/596.50 o 549952 596.50/596.50 o 549719 596.50/596.50 o 549542 596.50/596.50 o 549361 596.50/596.50 o 549281 596.50/596.50 o 549100 596.50/596.50 o 549037 596.50/596.50 o 549006 596.50/596.50 o 548121 596.50/596.50 o 547944 596.50/596.50 o 547767 596.50/596.50 o 547590 596.50/596.50 o 547213 596.50/596.50 o 547036 596.50/596.50 o 547017 596.50/596.50 o 546859 596.50/596.50 o 546682 596.50/596.50 o 546031 596.50/596.50 o 545854 596.50/596.50 o 545677 596.50/596.50 o 545519 596.50/596.50 o 545342 596.50/596.50 o 544103 596.50/596.50 o 543926 596.50/596.50 o 543528 596.50/596.50 o 543193 596.50/596.50 o 542997 596.50/596.50 o 542112 596.50/596.50 o 541935 596.50/596.50 o 541758 596.50/596.50 o 541581 596.50/596.50 o 541423 596.50/596.50 o 541246 596.50/596.50 o 541170 596.50/596.50 o 540184 596.50/596.50 o 540007 596.50/596.50 o 539830 596.50/596.50 o 539754 596.50/596.50 o 539735 596.50/596.50 o 539558 596.50/596.50 o 539381 596.50/596.50 o 539223 596.50/596.50 o 539046 596.50/596.50 o 535128 596.50/596.50 o 535087 596.50/596.50 o 534929 596.50/596.50 o 534752 596.50/596.50 o 534733 596.50/596.50 o 534398 596.50/596.50 o 534176 596.50/596.50 o 533999 596.50/596.50 o 533984 596.50/596.50 o 533807 596.50/596.50 o 533649 596.50/596.50 o 532533 596.50/596.50 o 532097 596.50/596.50 o 531920 596.50/596.50 o 429275 596.50/596.50 o 429016 596.50/596.50 o 428839 596.50/596.50 o 428485 596.50/596.50 o 364942 596.50/596.50 o 364765 596.50/596.50 o 364506 596.50/596.50 o 363624 596.50/596.50 o 363447 596.50/596.50 o 363093 596.50/596.50 o 362935 596.50/596.50 o 362758 596.50/596.50 o 362488 596.50/596.50 o 362466 596.50/596.50 o 362289 596.50/596.50 o 362112 596.50/596.50 o 361750 596.50/596.50 o 361241 596.50/596.50 o 361219 596.50/596.50 o 361115 596.50/596.50 o 358831 596.50/596.50 o 358246 596.50/596.50 o 358069 596.50/596.50 o 357766 596.50/596.50 o 357665 596.50/596.50 o 356426 596.50/596.50 o 355990 596.50/596.50 o 350432 596.50/596.50 o 350255 596.50/596.50 o 349901 596.50/596.50 o 349797 596.50/596.50 o 349620 596.50/596.50 o 349594 596.50/596.50 o 349359 596.50/596.50 o 349255 596.50/596.50 o 348974 596.50/596.50 o 348797 596.50/596.50 o 348443 596.50/596.50 o 348339 596.50/596.50 o 348181 596.50/596.50 o 348004 596.50/596.50 o 347612 596.50/596.50 o 347435 596.50/596.50 o 347418 596.50/596.50 o 347099 596.50/596.50 o 347017 596.50/596.50 o 346663 596.50/596.50 o 338197 596.50/596.50 o 337862 596.50/596.50 o 337407 596.50/596.50 o 337167 596.50/596.50 o 336813 596.50/596.50 o 336636 596.50/596.50 o 310050 596.50/596.50 o 309496 596.50/596.50 o 309319 596.50/596.50 o 308984 596.50/596.50 o 308725 596.50/596.50 o 307385 596.50/596.50 o 307286 596.50/596.50 o 307127 596.50/596.50 o 306950 596.50/596.50 o 306889 596.50/596.50 o 306819 596.50/596.50 o 306112 596.50/596.50 o 305935 596.50/596.50 o 305676 596.50/596.50 o 305499 596.50/596.50 o 305322 596.50/596.50 o 305281 596.50/596.50 o 302796 596.50/596.50 o 302695 596.50/596.50 o 302568 596.50/596.50 o 302168 596.50/596.50 o 302150 596.50/596.50 o 302007 596.50/596.50 o 300836 596.50/596.50 o 300659 596.50/596.50 o 300400 596.50/596.50 o 300065 596.50/596.50 o 299924 596.50/596.50 o 299665 596.50/596.50 o 295994 596.50/596.50 o 295817 596.50/596.50 o 195878 596.50/596.50 o 195701 596.50/596.50 o 195612 596.50/596.50 o 195427 596.50/596.50 o 195250 596.50/596.50 o 191304 596.50/596.50 o 191127 596.50/596.50 o 190188 596.50/596.50 o 190011 596.50/596.50 o 189657 596.50/596.50 o 188956 596.50/596.50 o 188500 596.50/596.50 o 188146 596.50/596.50 o 187686 596.50/596.50 o 187509 596.50/596.50 o 187230 596.50/596.50 o 186851 596.50/596.50 o 186747 596.50/596.50 o 186489 596.50/596.50 o 181100 596.50/596.50 o 180970 596.50/596.50 o 180931 596.50/596.50 o 163202 596.50/596.50 o 163025 596.50/596.50 o 162589 596.50/596.50 o 162239 596.50/596.50 o 162184 596.50/596.50 o 162089 596.50/596.50 o 161381 596.50/596.50 o 161344 596.50/596.50 o 158464 596.50/596.50 o 158185 596.50/596.50 o 153721 596.50/596.50 o 153344 596.50/596.50 o 152432 596.50/596.50 o 152055 596.50/596.50 o 151776 596.50/596.50 o 147968 596.50/596.50 o 147689 596.50/596.50 o 147312 596.50/596.50 o 147072 596.50/596.50 o 146452 596.50/596.50 o 146075 596.50/596.50 o 145740 596.50/596.50 o 145461 596.50/596.50 o 143395 596.50/596.50 o 143158 596.50/596.50 o 142781 596.50/596.50 o 138484 596.50/596.50 o 138149 596.50/596.50 o 135469 596.50/596.50 o 135092 596.50/596.50 o 103767 596.50/596.50 o 103432 596.50/596.50 o 103297 596.50/596.50 o 103148 596.50/596.50 o 102813 596.50/596.50 o 102296 596.50/596.50 o 101961 596.50/596.50 o 101933 596.50/596.50 o 101785 596.50/596.50 o 101408 596.50/596.50 o 101208 596.50/596.50 o 100830 596.50/596.50 o 100653 596.50/596.50 o 100574 596.50/596.50 o 100397 596.50/596.50 o 97952 596.50/596.50 o 97933 596.50/596.50 o 97765 596.50/596.50 o 96902 596.50/596.50 o 96702 596.50/596.50 o 96525 596.50/596.50 o 96477 596.50/596.50 o 96198 596.50/596.50 o 95844 596.50/596.50 o 95663 596.50/596.50 o 95286 596.50/596.50 o 91672 596.50/596.50 o 91295 596.50/596.50 o 91134 596.50/596.50 o 90639 596.50/596.50 o 90262 596.50/596.50 o 89704 596.50/596.50 o 89645 596.50/596.50 o 89268 596.50/596.50 o 88042 596.50/596.50 o 87861 596.50/596.50 o 87582 596.50/596.50 o 87507 596.50/596.50 o 87228 596.50/596.50 o 87111 596.50/596.50 o 86934 596.50/596.50 o 86832 596.50/596.50 o 86655 596.50/596.50 o 86628 596.50/596.50 o 86555 596.50/596.50 o 86474 596.50/596.50 o 86451 596.50/596.50 o 86097 596.50/596.50 o 85507 596.50/596.50 o 85307 596.50/596.50 o 85130 596.50/596.50 o 85049 596.50/596.50 o 84808 596.50/596.50 o 84654 596.50/596.50 o 84556 596.50/596.50 o 84496 596.50/596.50 o 84398 596.50/596.50 o 84067 596.50/596.50 o 83969 596.50/596.50 o 83871 596.50/596.50 o 83563 596.50/596.50 o 83386 596.50/596.50 o 83209 596.50/596.50 o 83032 596.50/596.50 o 82855 596.50/596.50 o 82709 596.50/596.50 o 82683 596.50/596.50 o 67276 596.50/596.50 o 66997 596.50/596.50 o 66718 596.50/596.50 o 66320 596.50/596.50 o 66275 596.50/596.50 o 65996 596.50/596.50 o 65817 596.50/596.50 o 65736 596.50/596.50 o 65717 596.50/596.50 o 65675 596.50/596.50 o 65594 596.50/596.50 o 61497 596.50/596.50 o 61320 596.50/596.50 o 61141 596.50/596.50 o 61104 596.50/596.50 o 61048 596.50/596.50 o 60992 596.50/596.50 o 60657 596.50/596.50 o 60603 596.50/596.50 o 60601 596.50/596.50 o 60489 596.50/596.50 o 60388 596.50/596.50 o 60379 596.50/596.50 o 60377 596.50/596.50 o 60200 596.50/596.50 o 60144 596.50/596.50 o 55583 596.50/596.50 o 55271 596.50/596.50 o 54992 596.50/596.50 o 54398 596.50/596.50 o 50983 596.50/596.50 o 50806 596.50/596.50 o 50583 596.50/596.50 o 50406 596.50/596.50 o 50397 596.50/596.50 o 50220 596.50/596.50 o 50023 596.50/596.50 o 48143 596.50/596.50 o 48064 596.50/596.50 o 47989 596.50/596.50 o 47635 596.50/596.50 o 47621 596.50/596.50 o 47267 596.50/596.50 o 46889 596.50/596.50 o 46521 596.50/596.50 o 46484 596.50/596.50 o 46228 596.50/596.50 o 46102 596.50/596.50 o 46098 1800.05/1800.00 >>> Terminate signal received 1800.05/1800.00 o 46018 1800.05/1800.00 o 45967 1800.05/1800.00 o 45923 1800.05/1800.00 o 45901 1800.05/1800.00 o 45803 1800.05/1800.00 o 45524 1800.05/1800.00 o 45465 1800.05/1800.00 o 45367 1800.05/1800.00 o 45242 1800.05/1800.00 o 45099 1800.05/1800.00 o 44876 1800.05/1800.00 o 44375 1800.05/1800.00 o 44352 1800.05/1800.00 o 44175 1800.05/1800.00 o 38887 1800.05/1800.00 o 38356 1800.05/1800.00 o 38179 1800.05/1800.00 o 38104 1800.05/1800.00 o 37825 1800.05/1800.00 o 37717 1800.05/1800.00 o 37665 1800.05/1800.00 o 37334 1800.05/1800.00 o 37055 1800.05/1800.00 o 36878 1800.05/1800.00 o 36701 1800.05/1800.00 o 36524 1800.05/1800.00 o 36347 1800.05/1800.00 o 35007 1800.05/1800.00 o 34337 1800.05/1800.00 o 31209 1800.05/1800.00 o 31013 1800.05/1800.00 o 27378 1800.05/1800.00 o 27221 1800.05/1800.00 o 26932 1800.05/1800.00 o 26860 1800.05/1800.00 v x1 -x2 -x3 x4 x5 x6 -x7 -x8 x9 x10 -x11 x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 x33 x34 -x35 -x36 -x37 x38 x39 x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 x64 -x65 -x66 x67 x68 x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 x122 x123 x124 -x125 x126 -x127 x128 x129 x130 -x131 x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 x183 -x184 x185 x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 x216 x217 -x218 x219 x220 x221 -x222 -x223 x224 -x225 -x226 x227 x228 -x229 -x230 -x231 -x232 -x233 x234 x235 -x236 x237 -x238 -x239 x240 -x241 -x242 x243 -x244 x245 -x246 -x247 -x248 x249 x250 x251 x252 x253 x254 x255 x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 x305 -x306 -x307 x308 x309 -x310 x311 -x312 -x313 -x314 -x315 x316 x317 -x318 x319 -x320 x321 -x322 -x323 x324 x325 -x326 -x327 x328 -x329 -x330
OK 26860
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3497015-1307925449/watcher-3497015-1307925449 -o /var/tmp/evaluation-result-3497015-1307925449/solver-3497015-1307925449 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497015-1307925449.opb --verbosity=0 --format=opb --randomseed=1221861512 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.91 1.97 1.93 2/177 16072 /proc/meminfo: memFree=2016956/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=7816 CPUtime=0 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 442 0 0 0 0 0 0 0 23 0 1 0 904142875 8003584 396 33554432000 4194304 6957856 140736610555456 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/16072/statm: 1954 396 268 675 0 1270 0 [startup+0.0512321 s] /proc/loadavg: 1.91 1.97 1.93 2/177 16072 /proc/meminfo: memFree=2016956/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=8312 CPUtime=0.05 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 581 0 0 0 5 0 0 0 23 0 1 0 904142875 8511488 535 33554432000 4194304 6957856 140736610555456 18446744073709551615 4869728 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16072/statm: 2078 535 277 675 0 1394 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 8312 [startup+0.100223 s] /proc/loadavg: 1.91 1.97 1.93 2/177 16072 /proc/meminfo: memFree=2016956/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=8312 CPUtime=0.09 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 604 0 0 0 9 0 0 0 23 0 1 0 904142875 8511488 558 33554432000 4194304 6957856 140736610555456 18446744073709551615 5933964 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16072/statm: 2078 558 277 675 0 1394 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8312 [startup+0.300187 s] /proc/loadavg: 1.91 1.97 1.93 2/177 16072 /proc/meminfo: memFree=2016956/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=8312 CPUtime=0.29 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 656 0 0 0 29 0 0 0 25 0 1 0 904142875 8511488 609 33554432000 4194304 6957856 140736610555456 18446744073709551615 5316159 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16072/statm: 2078 609 277 675 0 1394 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8312 [startup+0.700115 s] /proc/loadavg: 1.91 1.97 1.93 2/177 16072 /proc/meminfo: memFree=2016956/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=8312 CPUtime=0.69 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 865 0 0 0 69 0 0 0 25 0 1 0 904142875 8511488 814 33554432000 4194304 6957856 140736610555456 18446744073709551615 5934042 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16072/statm: 2078 814 284 675 0 1394 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8312 [startup+1.50097 s] /proc/loadavg: 1.91 1.97 1.93 3/178 16073 /proc/meminfo: memFree=2013748/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=8436 CPUtime=1.49 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 1258 0 0 0 149 0 0 0 25 0 1 0 904142875 8638464 1201 33554432000 4194304 6957856 140736610555456 18446744073709551615 5934045 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16072/statm: 2109 1201 284 675 0 1425 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8436 [startup+3.10068 s] /proc/loadavg: 1.91 1.97 1.93 3/178 16073 /proc/meminfo: memFree=2011544/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=11280 CPUtime=3.09 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 1934 0 0 0 309 0 0 0 25 0 1 0 904142875 11550720 1864 33554432000 4194304 6957856 140736610555456 18446744073709551615 5932588 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16072/statm: 2820 1864 287 675 0 2136 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11280 [startup+6.3001 s] /proc/loadavg: 1.92 1.97 1.93 3/178 16073 /proc/meminfo: memFree=2009764/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=8692 CPUtime=6.29 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 3442 0 0 0 629 0 0 0 25 0 1 0 904142875 8900608 1621 33554432000 4194304 6957856 140736610555456 18446744073709551615 5934607 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16072/statm: 2173 1621 288 675 0 1489 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8692 [startup+12.701 s] /proc/loadavg: 1.92 1.97 1.93 3/178 16074 /proc/meminfo: memFree=2002212/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=14852 CPUtime=12.69 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 6430 0 0 0 1269 0 0 0 25 0 1 0 904142875 15208448 2751 33554432000 4194304 6957856 140736610555456 18446744073709551615 5314160 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16072/statm: 3713 2751 289 675 0 3029 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14852 [startup+25.5006 s] /proc/loadavg: 1.94 1.97 1.93 3/178 16074 /proc/meminfo: memFree=2029856/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=14852 CPUtime=25.49 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 6537 0 0 0 2549 0 0 0 25 0 1 0 904142875 15208448 2858 33554432000 4194304 6957856 140736610555456 18446744073709551615 5917968 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16072/statm: 3713 2858 289 675 0 3029 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 14852 [startup+51.101 s] /proc/loadavg: 1.96 1.97 1.93 3/178 16075 /proc/meminfo: memFree=2008016/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=24696 CPUtime=51.09 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 8728 0 0 0 5108 1 0 0 25 0 1 0 904142875 25288704 5025 33554432000 4194304 6957856 140736610555456 18446744073709551615 5316146 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16072/statm: 6174 5025 289 675 0 5490 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 24696 [startup+102.306 s] /proc/loadavg: 1.98 1.97 1.93 3/178 16076 /proc/meminfo: memFree=2012068/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=24696 CPUtime=102.3 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 9432 0 0 0 10229 1 0 0 25 0 1 0 904142875 25288704 5717 33554432000 4194304 6957856 140736610555456 18446744073709551615 5932649 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16072/statm: 6174 5717 289 675 0 5490 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 24696 [startup+162.301 s] /proc/loadavg: 1.99 1.97 1.93 3/178 16078 /proc/meminfo: memFree=1954956/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=24696 CPUtime=162.29 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 12575 0 0 0 16228 1 0 0 25 0 1 0 904142875 25288704 5717 33554432000 4194304 6957856 140736610555456 18446744073709551615 5917978 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16072/statm: 6174 5717 289 675 0 5490 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 24696 [startup+222.301 s] /proc/loadavg: 2.03 1.99 1.93 3/178 16079 /proc/meminfo: memFree=1981436/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=24696 CPUtime=222.29 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 12575 0 0 0 22228 1 0 0 25 0 1 0 904142875 25288704 5717 33554432000 4194304 6957856 140736610555456 18446744073709551615 5929015 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16072/statm: 6174 5717 289 675 0 5490 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 24696 [startup+282.301 s] /proc/loadavg: 2.07 2.00 1.94 3/178 16081 /proc/meminfo: memFree=1949632/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=38164 CPUtime=282.3 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 21055 0 0 0 28227 3 0 0 25 0 1 0 904142875 39079936 7554 33554432000 4194304 6957856 140736610555456 18446744073709551615 5313084 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16072/statm: 9541 7554 289 675 0 8857 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 38164 [startup+342.3 s] /proc/loadavg: 2.02 2.00 1.94 3/178 16082 /proc/meminfo: memFree=1971524/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=34048 CPUtime=342.3 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 27377 0 0 0 34226 4 0 0 25 0 1 0 904142875 34865152 8055 33554432000 4194304 6957856 140736610555456 18446744073709551615 5315424 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16072/statm: 8512 8055 289 675 0 7828 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 34048 [startup+402.3 s] /proc/loadavg: 2.01 2.00 1.94 3/178 16084 /proc/meminfo: memFree=1873488/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=34048 CPUtime=402.3 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 27377 0 0 0 40226 4 0 0 25 0 1 0 904142875 34865152 8055 33554432000 4194304 6957856 140736610555456 18446744073709551615 5922814 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/16072/statm: 8512 8055 289 675 0 7828 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 34048 [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 16086 /proc/meminfo: memFree=1917068/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=34048 CPUtime=462.3 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 27377 0 0 0 46226 4 0 0 25 0 1 0 904142875 34865152 8055 33554432000 4194304 6957856 140736610555456 18446744073709551615 4637553 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/16072/statm: 8512 8055 289 675 0 7828 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 34048 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 16087 /proc/meminfo: memFree=1959776/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=34048 CPUtime=522.3 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 27377 0 0 0 52226 4 0 0 25 0 1 0 904142875 34865152 8055 33554432000 4194304 6957856 140736610555456 18446744073709551615 5932705 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/16072/statm: 8512 8055 289 675 0 7828 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 34048 [startup+582.301 s] /proc/loadavg: 2.00 2.00 1.94 3/178 16089 /proc/meminfo: memFree=1993052/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=52716 CPUtime=582.3 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 27978 0 0 0 58226 4 0 0 25 0 1 0 904142875 53981184 8646 33554432000 4194304 6957856 140736610555456 18446744073709551615 5385152 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/16072/statm: 13179 8646 289 675 0 12495 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 52716 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.10 2.02 1.95 3/178 16095 /proc/meminfo: memFree=1917668/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=52716 CPUtime=822.3 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 28637 0 0 0 82226 4 0 0 25 0 1 0 904142875 53981184 9299 33554432000 4194304 6957856 140736610555456 18446744073709551615 4847923 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/16072/statm: 13179 9299 289 675 0 12495 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 52716 [startup+882.3 s] /proc/loadavg: 2.03 2.02 1.95 3/178 16097 /proc/meminfo: memFree=1935592/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=52716 CPUtime=882.31 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 28638 0 0 0 88227 4 0 0 25 0 1 0 904142875 53981184 9300 33554432000 4194304 6957856 140736610555456 18446744073709551615 4846768 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/16072/statm: 13179 9300 289 675 0 12495 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 52716 [startup+942.3 s] /proc/loadavg: 2.01 2.01 1.95 3/178 16098 /proc/meminfo: memFree=1981404/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=52716 CPUtime=942.32 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 28965 0 0 0 94227 5 0 0 25 0 1 0 904142875 53981184 9621 33554432000 4194304 6957856 140736610555456 18446744073709551615 4852370 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/16072/statm: 13179 9621 289 675 0 12495 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 52716 [startup+1002.3 s] /proc/loadavg: 2.00 2.01 1.95 3/178 16100 /proc/meminfo: memFree=1924420/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=52716 CPUtime=1002.32 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 28965 0 0 0 100227 5 0 0 25 0 1 0 904142875 53981184 9621 33554432000 4194304 6957856 140736610555456 18446744073709551615 5934095 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/16072/statm: 13179 9621 289 675 0 12495 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 52716 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 16102 /proc/meminfo: memFree=1982880/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=52716 CPUtime=1062.32 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 28965 0 0 0 106227 5 0 0 25 0 1 0 904142875 53981184 9621 33554432000 4194304 6957856 140736610555456 18446744073709551615 5934028 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/16072/statm: 13179 9621 289 675 0 12495 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 52716 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 16103 /proc/meminfo: memFree=1969796/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=52716 CPUtime=1122.32 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 28965 0 0 0 112227 5 0 0 25 0 1 0 904142875 53981184 9621 33554432000 4194304 6957856 140736610555456 18446744073709551615 5316146 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/16072/statm: 13179 9621 289 675 0 12495 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 52716 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 16105 /proc/meminfo: memFree=1914812/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=52716 CPUtime=1182.32 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 28965 0 0 0 118227 5 0 0 25 0 1 0 904142875 53981184 9621 33554432000 4194304 6957856 140736610555456 18446744073709551615 5315548 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/16072/statm: 13179 9621 289 675 0 12495 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 52716 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 16106 /proc/meminfo: memFree=1957284/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=52716 CPUtime=1242.33 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 28965 0 0 0 124228 5 0 0 25 0 1 0 904142875 53981184 9621 33554432000 4194304 6957856 140736610555456 18446744073709551615 5314259 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/16072/statm: 13179 9621 289 675 0 12495 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 52716 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 16108 /proc/meminfo: memFree=1900808/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=52716 CPUtime=1302.33 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 28965 0 0 0 130228 5 0 0 25 0 1 0 904142875 53981184 9621 33554432000 4194304 6957856 140736610555456 18446744073709551615 4846768 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/16072/statm: 13179 9621 289 675 0 12495 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 52716 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 16110 /proc/meminfo: memFree=1978492/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=52716 CPUtime=1362.33 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 28965 0 0 0 136228 5 0 0 25 0 1 0 904142875 53981184 9621 33554432000 4194304 6957856 140736610555456 18446744073709551615 5314259 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/16072/statm: 13179 9621 289 675 0 12495 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 52716 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.95 3/178 16120 /proc/meminfo: memFree=1930252/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=52716 CPUtime=1422.34 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 28965 0 0 0 142229 5 0 0 25 0 1 0 904142875 53981184 9621 33554432000 4194304 6957856 140736610555456 18446744073709551615 5918134 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/16072/statm: 13179 9621 289 675 0 12495 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 52716 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 16122 /proc/meminfo: memFree=1904260/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=52716 CPUtime=1482.33 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 28965 0 0 0 148228 5 0 0 25 0 1 0 904142875 53981184 9621 33554432000 4194304 6957856 140736610555456 18446744073709551615 5922034 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/16072/statm: 13179 9621 289 675 0 12495 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 52716 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 16123 /proc/meminfo: memFree=1910772/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=52716 CPUtime=1542.33 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 28965 0 0 0 154228 5 0 0 25 0 1 0 904142875 53981184 9621 33554432000 4194304 6957856 140736610555456 18446744073709551615 5319469 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/16072/statm: 13179 9621 289 675 0 12495 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 52716 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 16125 /proc/meminfo: memFree=1977296/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=52716 CPUtime=1602.34 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 28965 0 0 0 160229 5 0 0 25 0 1 0 904142875 53981184 9621 33554432000 4194304 6957856 140736610555456 18446744073709551615 4870023 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/16072/statm: 13179 9621 289 675 0 12495 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 52716 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 16169 /proc/meminfo: memFree=1930148/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=52716 CPUtime=1662.34 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 28965 0 0 0 166229 5 0 0 25 0 1 0 904142875 53981184 9621 33554432000 4194304 6957856 140736610555456 18446744073709551615 5934045 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/16072/statm: 13179 9621 289 675 0 12495 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 52716 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 16170 /proc/meminfo: memFree=1930120/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=52716 CPUtime=1722.34 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 28965 0 0 0 172229 5 0 0 25 0 1 0 904142875 53981184 9621 33554432000 4194304 6957856 140736610555456 18446744073709551615 4846938 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/16072/statm: 13179 9621 289 675 0 12495 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 52716 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 16172 /proc/meminfo: memFree=1929808/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=52716 CPUtime=1782.34 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 28965 0 0 0 178229 5 0 0 25 0 1 0 904142875 53981184 9621 33554432000 4194304 6957856 140736610555456 18446744073709551615 5934042 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/16072/statm: 13179 9621 289 675 0 12495 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 52716 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 1.95 3/178 16172 /proc/meminfo: memFree=1929904/32951124 swapFree=67051728/67111528 [pid=16072] ppid=16070 vsize=52716 CPUtime=1800.05 cores=1,3,5,7 /proc/16072/stat : 16072 (minisatid-gmp) R 16070 16072 15284 0 -1 4202496 28965 0 0 0 180000 5 0 0 25 0 1 0 904142875 53981184 9621 33554432000 4194304 6957856 140736610555456 18446744073709551615 5932649 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/16072/statm: 13179 9621 289 675 0 12495 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 52716 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.01 CPU time (s): 1800.06 CPU user time (s): 1800 CPU system time (s): 0.052991 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 56676 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800 system time used= 0.052991 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28968 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= 15217 runsolver used 2.42463 second user time and 5.76912 second system time The end
Begin job on node138 at 2011-06-13 02:37:29 IDJOB=3497015 IDBENCH=2315 IDSOLVER=1990 FILE ID=node138/3497015-1307925449 RUNJOBID= node138-1307919792-15303 PBS_JOBID= 13559641 Free space on /var/tmp= 2892 MiB SOLVER NAME= MinisatID 2.5.2-gmp BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-markshare2_1.opb COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3497015-1307925449/watcher-3497015-1307925449 -o /var/tmp/evaluation-result-3497015-1307925449/solver-3497015-1307925449 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497015-1307925449.opb --verbosity=0 --format=opb --randomseed=1221861512 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b994237fdc481ca53da2e19e2a850128 RANDOM SEED=1221861512 node138.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 2017508 kB Buffers: 80812 kB Cached: 29835548 kB SwapCached: 13084 kB Active: 15220240 kB Inactive: 14770912 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 2017508 kB SwapTotal: 67111528 kB SwapFree: 67051728 kB Dirty: 3120 kB Writeback: 0 kB AnonPages: 72740 kB Mapped: 10408 kB Slab: 878180 kB PageTables: 4800 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 278452 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /var/tmp at the end= 2888 MiB End job on node138 at 2011-06-13 03:07:31