| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 5000.1 | 5000.01 |
| Name | CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes2.cnf |
| MD5SUM | a931e6258afb576eab04f38421c07518 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2640 |
| Number of clauses | 305320 |
| Sum of the clauses size | 613120 |
| Maximum clause length | 33 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 305240 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 80 |
0.00/0.00 c 0.00/0.00 c Starting SatElite Preprocessing 0.00/0.00 c 0.00/0.00 c Parsing... 0.00/0.07 c ============================================================================== 0.00/0.07 c | | ORIGINAL | LEARNT | | 0.00/0.07 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.07 c ============================================================================== 0.00/0.07 c | 0 | 305320 613120 | 91595 0 0 nan | 0.000 % | 0.99/1.03 c | 0 | 301942 1018804 | -- 0 -- -- | -- | -3378/405684 0.99/1.03 c ============================================================================== 0.99/1.03 c Result : #vars: 2560 #clauses: 301942 #literals: 1018804 0.99/1.03 c CPU time: 1.01785 s 0.99/1.03 c ============================================================================== 1.09/1.19 c 1.09/1.19 c Starting glucose 1.09/1.19 c 851.81/851.83 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 851.81/851.83 c WARNING: for repeatability, setting FPU to use double precision 851.81/851.83 c ============================[ Problem Statistics ]============================= 851.81/851.83 c | | 851.81/851.83 c | Number of variables: 2560 | 851.81/851.83 c | Number of clauses: 301942 | 851.81/851.83 c | Parse time: 0.06 s | 851.81/851.83 c | | 851.81/851.83 c ============================[ Search Statistics ]============================== 851.81/851.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 851.81/851.83 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 851.81/851.83 c =============================================================================== 851.81/851.83 c | 534 | 2560 301942 1018804 | 1 534 231 | 0.000 % | 851.81/851.83 c | 4428 | 2560 301942 1018804 | 1 2437 99 | 0.000 % | 851.81/851.83 c | 35732 | 2560 301942 1018804 | 1 13435 91 | 0.000 % | 851.81/851.83 c | 166902 | 2560 301942 1018804 | 1 34756 79 | 0.000 % | 851.81/851.83 c | 752577 | 2560 301942 1018804 | 1 61401 54 | 0.000 % | 851.81/851.83 c | 1106037 | 2560 301942 1018804 | 1 82871 58 | 0.000 % | 851.81/851.83 c | 1117521 | 2560 301942 1018804 | 1 94355 60 | 0.000 % | 851.81/851.83 c | 1219906 | 2560 301942 1018804 | 1 122530 66 | 0.000 % | 851.81/851.83 c | 1360793 | 2560 301942 1018804 | 1 107225 58 | 0.000 % | 851.81/851.83 c | 1362191 | 2560 301942 1018804 | 1 108623 59 | 0.000 % | 851.81/851.83 c | 1401828 | 2560 301942 1018804 | 1 148260 67 | 0.000 % | 851.81/851.83 c | 1415326 | 2560 301942 1018804 | 1 161758 70 | 0.000 % | 851.81/851.83 c | 1734379 | 2560 301942 1018804 | 1 137200 59 | 0.000 % | 851.81/851.83 c | 1804727 | 2560 301942 1018804 | 1 115144 59 | 0.000 % | 851.81/851.83 c | 1859990 | 2560 301942 1018804 | 1 170407 76 | 0.000 % | 851.81/851.83 c | 1860211 | 2560 301942 1018804 | 1 170628 76 | 0.000 % | 851.81/851.83 c | 1912068 | 2560 301942 1018804 | 1 127494 60 | 0.000 % | 851.81/851.83 c | 1914407 | 2560 301942 1018804 | 1 129833 61 | 0.000 % | 851.81/851.83 c | 1914936 | 2560 301942 1018804 | 1 130362 61 | 0.000 % | 851.81/851.83 c | 2069779 | 2560 301942 1018804 | 1 187613 76 | 0.000 % | 851.81/851.83 c | 2133621 | 2560 301942 1018804 | 1 151249 63 | 0.000 % | 851.81/851.83 c | 2136313 | 2560 301942 1018804 | 1 153941 64 | 0.000 % | 851.81/851.83 c | 2142806 | 2560 301942 1018804 | 1 160434 65 | 0.000 % | 851.81/851.83 c | 2162630 | 2560 301942 1018804 | 1 180258 69 | 0.000 % | 851.81/851.83 c | 2169240 | 2560 301942 1018804 | 1 186868 70 | 0.000 % | 851.81/851.83 c | 2186303 | 2560 301942 1018804 | 1 203931 74 | 0.000 % | 851.81/851.83 c | 2198727 | 2560 301942 1018804 | 1 113553 54 | 0.000 % | 851.81/851.83 c | 2248636 | 2560 301942 1018804 | 1 163462 72 | 0.000 % | 851.81/851.83 c | 2368426 | 2560 301942 1018804 | 1 177851 69 | 0.000 % | 851.81/851.83 c | 2368795 | 2560 301942 1018804 | 1 178220 69 | 0.000 % | 851.81/851.83 c | 2408648 | 2560 301942 1018804 | 1 110084 49 | 0.000 % | 851.81/851.83 c | 2501142 | 2560 301942 1018804 | 1 202578 85 | 0.000 % | 851.81/851.83 c | 2503229 | 2560 301942 1018804 | 1 204665 86 | 0.000 % | 851.81/851.83 c | 2503329 | 2560 301942 1018804 | 1 204765 86 | 0.000 % | 851.81/851.83 c | 2503574 | 2560 301942 1018804 | 1 205010 86 | 0.000 % | 851.81/851.83 c | 3151922 | 2560 301942 1018804 | 1 150773 64 | 0.000 % | 851.81/851.83 c | 3162129 | 2560 301942 1018804 | 1 160980 68 | 0.000 % | 851.81/851.83 c | 3162478 | 2560 301942 1018804 | 1 161329 68 | 0.000 % | 851.81/851.83 c | 3183001 | 2560 301942 1018804 | 1 181852 72 | 0.000 % | 1287.22/1287.24 c | 3244010 | 2560 301942 1018804 | 1 242861 77 | 0.000 % | 1287.22/1287.24 c | 3291801 | 2560 301942 1018804 | 1 164445 59 | 0.000 % | 1287.22/1287.24 c | 3373253 | 2560 301942 1018804 | 1 245897 72 | 0.000 % | 1287.22/1287.24 c | 3475245 | 2560 301942 1018804 | 1 219082 65 | 0.000 % | 1287.22/1287.24 c | 3490294 | 2560 301942 1018804 | 1 234131 67 | 0.000 % | 1287.22/1287.24 c | 3503371 | 2560 301942 1018804 | 1 247208 69 | 0.000 % | 1287.22/1287.24 c | 3504430 | 2560 301942 1018804 | 1 248267 69 | 0.000 % | 1287.22/1287.24 c | 3559737 | 2560 301942 1018804 | 1 172180 61 | 0.000 % | 1287.22/1287.24 c | 3597427 | 2560 301942 1018804 | 1 209870 68 | 0.000 % | 1287.22/1287.24 c | 3597618 | 2560 301942 1018804 | 1 210061 68 | 0.000 % | 1287.22/1287.24 c | 3598643 | 2560 301942 1018804 | 1 211086 68 | 0.000 % | 1287.22/1287.24 c | 3740498 | 2560 301942 1018804 | 1 218939 67 | 0.000 % | 1287.22/1287.24 c | 3748402 | 2560 301942 1018804 | 1 226843 69 | 0.000 % | 1287.22/1287.24 c | 3754199 | 2560 301942 1018804 | 1 232640 69 | 0.000 % | 1287.22/1287.24 c | 3756712 | 2560 301942 1018804 | 1 235153 70 | 0.000 % | 1287.22/1287.24 c | 3758322 | 2560 301942 1018804 | 1 236763 70 | 0.000 % | 1287.22/1287.24 c | 3760392 | 2560 301942 1018804 | 1 238833 70 | 0.000 % | 1287.22/1287.24 c | 3768795 | 2560 301942 1018804 | 1 247236 71 | 0.000 % | 1287.22/1287.24 c | 3781899 | 2560 301942 1018804 | 1 260340 71 | 0.000 % | 1287.22/1287.24 c | 3807182 | 2560 301942 1018804 | 1 149012 49 | 0.000 % | 1287.22/1287.24 c | 3834268 | 2560 301942 1018804 | 1 176098 60 | 0.000 % | 1287.22/1287.24 c | 3871727 | 2560 301942 1018804 | 1 213557 65 | 0.000 % | 1287.22/1287.24 c | 3872109 | 2560 301942 1018804 | 1 213939 65 | 0.000 % | 1287.22/1287.24 c | 3915293 | 2560 301942 1018804 | 1 257123 69 | 0.000 % | 1287.22/1287.24 c | 3962233 | 2560 301942 1018804 | 1 164859 51 | 0.000 % | 1287.22/1287.24 c | 3986983 | 2560 301942 1018804 | 1 189609 55 | 0.000 % | 1287.22/1287.24 c | 4000352 | 2560 301942 1018804 | 1 202978 57 | 0.000 % | 1287.22/1287.24 c | 4017150 | 2560 301942 1018804 | 1 219776 59 | 0.000 % | 1287.22/1287.24 c | 4017313 | 2560 301942 1018804 | 1 219939 59 | 0.000 % | 1287.22/1287.24 c | 4125439 | 2560 301942 1018804 | 1 186263 51 | 0.000 % | 1287.22/1287.24 c | 4132222 | 2560 301942 1018804 | 1 193046 52 | 0.000 % | 1287.22/1287.24 c | 4135873 | 2560 301942 1018804 | 1 196697 53 | 0.000 % | 1287.22/1287.24 c | 4143332 | 2560 301942 1018804 | 1 204156 55 | 0.000 % | 1287.22/1287.24 c | 4170284 | 2560 301942 1018804 | 1 231108 63 | 0.000 % | 1287.22/1287.24 c | 4170384 | 2560 301942 1018804 | 1 231208 63 | 0.000 % | 1287.22/1287.24 c | 4304883 | 2560 301942 1018804 | 1 221317 61 | 0.000 % | 1287.22/1287.24 c | 4360386 | 2560 301942 1018804 | 1 276820 68 | 0.000 % | 1287.22/1287.24 c | 4378658 | 2560 301942 1018804 | 1 148101 44 | 0.000 % | 1287.22/1287.24 c | 4426848 | 2560 301942 1018804 | 1 196291 55 | 0.000 % | 1287.22/1287.24 c | 4471766 | 2560 301942 1018804 | 1 241209 62 | 0.000 % | 1287.22/1287.24 c | 4536822 | 2560 301942 1018804 | 1 156660 47 | 0.000 % | 1287.22/1287.24 c | 4542985 | 2560 301942 1018804 | 1 162823 50 | 0.000 % | 1287.22/1287.24 c | 4547208 | 2560 301942 1018804 | 1 167046 51 | 0.000 % | 1287.22/1287.24 c | 4548776 | 2560 301942 1018804 | 1 168614 51 | 0.000 % | 1287.22/1287.24 c | 4614530 | 2560 301942 1018804 | 1 234368 67 | 0.000 % | 1287.22/1287.24 c | 4614649 | 2560 301942 1018804 | 1 234487 67 | 0.000 % | 1287.22/1287.24 c | 4615180 | 2560 301942 1018804 | 1 235018 68 | 0.000 % | 1287.22/1287.24 c | 4664607 | 2560 301942 1018804 | 1 284445 73 | 0.000 % | 1287.22/1287.24 c | 4755378 | 2560 301942 1018804 | 1 223008 63 | 0.000 % | 1287.22/1287.24 c | 4759697 | 2560 301942 1018804 | 1 227327 64 | 0.000 % | 1516.43/1516.40 c | 4768372 | 2560 301942 1018804 | 1 236002 65 | 0.000 % | 1516.43/1516.40 c | 4785236 | 2560 301942 1018804 | 1 252866 68 | 0.000 % | 1516.43/1516.40 c | 4838579 | 2560 301942 1018804 | 1 306209 74 | 0.000 % | 1516.43/1516.40 c | 4846411 | 2560 301942 1018804 | 1 159272 48 | 0.000 % | 1516.43/1516.40 c | 4940050 | 2560 301942 1018804 | 1 252911 68 | 0.000 % | 1516.43/1516.40 c | 4987950 | 2560 301942 1018804 | 1 300811 72 | 0.000 % | 1516.43/1516.40 c | 4988053 | 2560 301942 1018804 | 1 300914 72 | 0.000 % | 1516.43/1516.40 c | 5048903 | 2560 301942 1018804 | 1 204346 55 | 0.000 % | 1516.43/1516.40 c | 5128521 | 2560 301942 1018804 | 1 283964 66 | 0.000 % | 1516.43/1516.40 c | 5131003 | 2560 301942 1018804 | 1 286446 66 | 0.000 % | 1516.43/1516.40 c | 5131103 | 2560 301942 1018804 | 1 286546 66 | 0.000 % | 1516.43/1516.40 c | 5133625 | 2560 301942 1018804 | 1 289068 66 | 0.000 % | 1516.43/1516.40 c | 5135930 | 2560 301942 1018804 | 1 291373 67 | 0.000 % | 1516.43/1516.40 c | 5137130 | 2560 301942 1018804 | 1 292573 67 | 0.000 % | 1516.43/1516.40 c | 5140478 | 2560 301942 1018804 | 1 295921 67 | 0.000 % | 1516.43/1516.40 c | 5141769 | 2560 301942 1018804 | 1 297212 68 | 0.000 % | 1516.43/1516.40 c | 5141973 | 2560 301942 1018804 | 1 297416 68 | 0.000 % | 1516.43/1516.40 c | 5151350 | 2560 301942 1018804 | 1 306793 69 | 0.000 % | 1516.43/1516.40 c | 5190385 | 2560 301942 1018804 | 1 185819 51 | 0.000 % | 1516.43/1516.40 c | 5217560 | 2560 301942 1018804 | 1 212994 55 | 0.000 % | 1516.43/1516.40 c | 5218394 | 2560 301942 1018804 | 1 213828 55 | 0.000 % | 1516.43/1516.40 c | 5243493 | 2560 301942 1018804 | 1 238927 60 | 0.000 % | 1516.43/1516.40 c | 5317701 | 2560 301942 1018804 | 1 313135 72 | 0.000 % | 1516.43/1516.40 c | 5347067 | 2560 301942 1018804 | 1 179903 51 | 0.000 % | 1516.43/1516.40 c | 5348670 | 2560 301942 1018804 | 1 181506 51 | 0.000 % | 1516.43/1516.40 c | 5354493 | 2560 301942 1018804 | 1 187329 53 | 0.000 % | 1516.43/1516.40 c | 5361561 | 2560 301942 1018804 | 1 194397 56 | 0.000 % | 1516.43/1516.40 c | 5382817 | 2560 301942 1018804 | 1 215653 61 | 0.000 % | 1516.43/1516.40 c | 5383212 | 2560 301942 1018804 | 1 216048 61 | 0.000 % | 1516.43/1516.40 c | 5396558 | 2560 301942 1018804 | 1 229394 64 | 0.000 % | 1516.43/1516.40 c | 5398370 | 2560 301942 1018804 | 1 231206 64 | 0.000 % | 1516.43/1516.40 c | 5398828 | 2560 301942 1018804 | 1 231664 64 | 0.000 % | 1516.43/1516.40 c | 5399271 | 2560 301942 1018804 | 1 232107 64 | 0.000 % | 1516.43/1516.40 c | 5400728 | 2560 301942 1018804 | 1 233564 65 | 0.000 % | 1516.43/1516.40 c | 5410670 | 2560 301942 1018804 | 1 243506 66 | 0.000 % | 1516.43/1516.40 c | 5413107 | 2560 301942 1018804 | 1 245943 66 | 0.000 % | 1516.43/1516.40 c | 5414333 | 2560 301942 1018804 | 1 247169 66 | 0.000 % | 1516.43/1516.40 c | 5417735 | 2560 301942 1018804 | 1 250571 67 | 0.000 % | 1516.43/1516.40 c | 5417960 | 2560 301942 1018804 | 1 250796 67 | 0.000 % | 1516.43/1516.40 c | 5446675 | 2560 301942 1018804 | 1 279511 73 | 0.000 % | 1516.43/1516.40 c | 5544213 | 2560 301942 1018804 | 1 211870 57 | 0.000 % | 1516.43/1516.40 c | 5560350 | 2560 301942 1018804 | 1 228007 60 | 0.000 % | 1516.43/1516.40 c | 5568747 | 2560 301942 1018804 | 1 236404 62 | 0.000 % | 1516.43/1516.40 c | 5573233 | 2560 301942 1018804 | 1 240890 62 | 0.000 % | 1516.43/1516.40 c | 5575040 | 2560 301942 1018804 | 1 242697 63 | 0.000 % | 1516.43/1516.40 c | 5575151 | 2560 301942 1018804 | 1 242808 63 | 0.000 % | 1516.43/1516.40 c | 5575273 | 2560 301942 1018804 | 1 242930 63 | 0.000 % | 1516.43/1516.40 c | 5575374 | 2560 301942 1018804 | 1 243031 63 | 0.000 % | 1516.43/1516.40 c | 5575651 | 2560 301942 1018804 | 1 243308 63 | 0.000 % | 1516.43/1516.40 c | 5575779 | 2560 301942 1018804 | 1 243436 63 | 0.000 % | 1783.14/1783.15 c | 5577217 | 2560 301942 1018804 | 1 244874 63 | 0.000 % | 1783.14/1783.15 c | 5579127 | 2560 301942 1018804 | 1 246784 64 | 0.000 % | 1783.14/1783.15 c | 5580802 | 2560 301942 1018804 | 1 248459 64 | 0.000 % | 1783.14/1783.15 c | 5598311 | 2560 301942 1018804 | 1 265968 66 | 0.000 % | 1783.14/1783.15 c | 5632619 | 2560 301942 1018804 | 1 300276 69 | 0.000 % | 1783.14/1783.15 c | 5635445 | 2560 301942 1018804 | 1 303102 70 | 0.000 % | 1783.14/1783.15 c | 5635547 | 2560 301942 1018804 | 1 303204 70 | 0.000 % | 1783.14/1783.15 c | 5636319 | 2560 301942 1018804 | 1 303976 70 | 0.000 % | 1783.14/1783.15 c | 5637902 | 2560 301942 1018804 | 1 305559 70 | 0.000 % | 1783.14/1783.15 c | 5672819 | 2560 301942 1018804 | 1 172670 48 | 0.000 % | 1783.14/1783.15 c | 5673684 | 2560 301942 1018804 | 1 173535 48 | 0.000 % | 1783.14/1783.15 c | 5684799 | 2560 301942 1018804 | 1 184650 51 | 0.000 % | 1783.14/1783.15 c | 5782953 | 2560 301942 1018804 | 1 282804 64 | 0.000 % | 1783.14/1783.15 c | 5845614 | 2560 301942 1018804 | 1 175066 44 | 0.000 % | 1783.14/1783.15 c | 5865392 | 2560 301942 1018804 | 1 194844 49 | 0.000 % | 1783.14/1783.15 c | 5912746 | 2560 301942 1018804 | 1 242198 56 | 0.000 % | 1783.14/1783.15 c | 5928691 | 2560 301942 1018804 | 1 258143 58 | 0.000 % | 1783.14/1783.15 c | 5931014 | 2560 301942 1018804 | 1 260466 58 | 0.000 % | 1783.14/1783.15 c | 5938296 | 2560 301942 1018804 | 1 267748 59 | 0.000 % | 1783.14/1783.15 c | 5959124 | 2560 301942 1018804 | 1 288576 62 | 0.000 % | 1783.14/1783.15 c | 6018454 | 2560 301942 1018804 | 1 174914 44 | 0.000 % | 1783.14/1783.15 c | 6069963 | 2560 301942 1018804 | 1 226423 56 | 0.000 % | 1783.14/1783.15 c | 6134897 | 2560 301942 1018804 | 1 291357 66 | 0.000 % | 1783.14/1783.15 c | 6136674 | 2560 301942 1018804 | 1 293134 66 | 0.000 % | 1783.14/1783.15 c | 6138479 | 2560 301942 1018804 | 1 294939 66 | 0.000 % | 1783.14/1783.15 c | 6140013 | 2560 301942 1018804 | 1 296473 67 | 0.000 % | 1783.14/1783.15 c | 6148294 | 2560 301942 1018804 | 1 304754 68 | 0.000 % | 1783.14/1783.15 c | 6197545 | 2560 301942 1018804 | 1 178393 47 | 0.000 % | 1783.14/1783.15 c | 6199200 | 2560 301942 1018804 | 1 180048 47 | 0.000 % | 1783.14/1783.15 c | 6257071 | 2560 301942 1018804 | 1 237919 57 | 0.000 % | 1783.14/1783.15 c | 6275321 | 2560 301942 1018804 | 1 256169 59 | 0.000 % | 1783.14/1783.15 c | 6285184 | 2560 301942 1018804 | 1 266032 60 | 0.000 % | 1783.14/1783.15 c | 6286749 | 2560 301942 1018804 | 1 267597 61 | 0.000 % | 1783.14/1783.15 c | 6303501 | 2560 301942 1018804 | 1 284349 62 | 0.000 % | 1783.14/1783.15 c | 6312885 | 2560 301942 1018804 | 1 293733 63 | 0.000 % | 1783.14/1783.15 c | 6320796 | 2560 301942 1018804 | 1 301644 64 | 0.000 % | 1783.14/1783.15 c | 6333215 | 2560 301942 1018804 | 1 314063 65 | 0.000 % | 1783.14/1783.15 c | 6388421 | 2560 301942 1018804 | 1 191068 47 | 0.000 % | 1783.14/1783.15 c | 6388894 | 2560 301942 1018804 | 1 191541 47 | 0.000 % | 1783.14/1783.15 c | 6390237 | 2560 301942 1018804 | 1 192884 47 | 0.000 % | 1783.14/1783.15 c | 6390362 | 2560 301942 1018804 | 1 193009 48 | 0.000 % | 1783.14/1783.15 c | 6404526 | 2560 301942 1018804 | 1 207173 52 | 0.000 % | 1783.14/1783.15 c | 6406933 | 2560 301942 1018804 | 1 209580 53 | 0.000 % | 1783.14/1783.15 c | 6408232 | 2560 301942 1018804 | 1 210879 53 | 0.000 % | 1783.14/1783.15 c | 6410291 | 2560 301942 1018804 | 1 212938 54 | 0.000 % | 1783.14/1783.15 c | 6454867 | 2560 301942 1018804 | 1 257514 64 | 0.000 % | 1783.14/1783.15 c | 6458306 | 2560 301942 1018804 | 1 260953 65 | 0.000 % | 1783.14/1783.15 c | 6463740 | 2560 301942 1018804 | 1 266387 66 | 0.000 % | 1783.14/1783.15 c | 6482945 | 2560 301942 1018804 | 1 285592 68 | 0.000 % | 1783.14/1783.15 c | 6489314 | 2560 301942 1018804 | 1 291961 69 | 0.000 % | 2135.84/2135.87 c | 6496308 | 2560 301942 1018804 | 1 298955 70 | 0.000 % | 2135.84/2135.87 c | 6506240 | 2560 301942 1018804 | 1 308887 71 | 0.000 % | 2135.84/2135.87 c | 6523508 | 2560 301942 1018804 | 1 326155 73 | 0.000 % | 2135.84/2135.87 c | 6523609 | 2560 301942 1018804 | 1 326256 73 | 0.000 % | 2135.84/2135.87 c | 6554550 | 2560 301942 1018804 | 1 357197 76 | 0.000 % | 2135.84/2135.87 c | 6572584 | 2560 301942 1018804 | 1 194421 48 | 0.000 % | 2135.84/2135.87 c | 6574548 | 2560 301942 1018804 | 1 196385 48 | 0.000 % | 2135.84/2135.87 c | 6575816 | 2560 301942 1018804 | 1 197653 49 | 0.000 % | 2135.84/2135.87 c | 6614044 | 2560 301942 1018804 | 1 235881 58 | 0.000 % | 2135.84/2135.87 c | 6614361 | 2560 301942 1018804 | 1 236198 58 | 0.000 % | 2135.84/2135.87 c | 6614669 | 2560 301942 1018804 | 1 236506 58 | 0.000 % | 2135.84/2135.87 c | 6716816 | 2560 301942 1018804 | 1 338653 73 | 0.000 % | 2135.84/2135.87 c | 6758750 | 2560 301942 1018804 | 1 197184 49 | 0.000 % | 2135.84/2135.87 c | 6764491 | 2560 301942 1018804 | 1 202925 51 | 0.000 % | 2135.84/2135.87 c | 6868630 | 2560 301942 1018804 | 1 307064 67 | 0.000 % | 2135.84/2135.87 c | 6892170 | 2560 301942 1018804 | 1 330604 69 | 0.000 % | 2135.84/2135.87 c | 6895623 | 2560 301942 1018804 | 1 334057 69 | 0.000 % | 2135.84/2135.87 c | 6897290 | 2560 301942 1018804 | 1 335724 70 | 0.000 % | 2135.84/2135.87 c | 6897472 | 2560 301942 1018804 | 1 335906 70 | 0.000 % | 2135.84/2135.87 c | 6902446 | 2560 301942 1018804 | 1 340880 70 | 0.000 % | 2135.84/2135.87 c | 6939698 | 2560 301942 1018804 | 1 192126 46 | 0.000 % | 2135.84/2135.87 c | 6941907 | 2560 301942 1018804 | 1 194335 46 | 0.000 % | 2135.84/2135.87 c | 7006592 | 2560 301942 1018804 | 1 259020 59 | 0.000 % | 2135.84/2135.87 c | 7098561 | 2560 301942 1018804 | 1 350989 67 | 0.000 % | 2135.84/2135.87 c | 7101572 | 2560 301942 1018804 | 1 354000 68 | 0.000 % | 2135.84/2135.87 c | 7137745 | 2560 301942 1018804 | 1 201571 46 | 0.000 % | 2135.84/2135.87 c | 7142509 | 2560 301942 1018804 | 1 206335 48 | 0.000 % | 2135.84/2135.87 c | 7277282 | 2560 301942 1018804 | 1 341108 69 | 0.000 % | 2135.84/2135.87 c | 7277382 | 2560 301942 1018804 | 1 341208 69 | 0.000 % | 2135.84/2135.87 c | 7279277 | 2560 301942 1018804 | 1 343103 69 | 0.000 % | 2135.84/2135.87 c | 7279647 | 2560 301942 1018804 | 1 343473 69 | 0.000 % | 2135.84/2135.87 c | 7279985 | 2560 301942 1018804 | 1 343811 69 | 0.000 % | 2135.84/2135.87 c | 7290474 | 2560 301942 1018804 | 1 354300 71 | 0.000 % | 2135.84/2135.87 c | 7290983 | 2560 301942 1018804 | 1 354809 71 | 0.000 % | 2135.84/2135.87 c | 7294269 | 2560 301942 1018804 | 1 358095 71 | 0.000 % | 2135.84/2135.87 c | 7294710 | 2560 301942 1018804 | 1 358536 71 | 0.000 % | 2135.84/2135.87 c | 7328585 | 2560 301942 1018804 | 1 201212 48 | 0.000 % | 2135.84/2135.87 c | 7431419 | 2560 301942 1018804 | 1 304046 63 | 0.000 % | 2135.84/2135.87 c | 7434676 | 2560 301942 1018804 | 1 307303 64 | 0.000 % | 2135.84/2135.87 c | 7459453 | 2560 301942 1018804 | 1 332080 66 | 0.000 % | 2135.84/2135.87 c | 7459554 | 2560 301942 1018804 | 1 332181 66 | 0.000 % | 2135.84/2135.87 c | 7503012 | 2560 301942 1018804 | 1 375639 69 | 0.000 % | 2135.84/2135.87 c | 7512262 | 2560 301942 1018804 | 1 384889 69 | 0.000 % | 2135.84/2135.87 c | 7581026 | 2560 301942 1018804 | 1 259849 53 | 0.000 % | 2135.84/2135.87 c | 7592689 | 2560 301942 1018804 | 1 271512 54 | 0.000 % | 2135.84/2135.87 c | 7615058 | 2560 301942 1018804 | 1 293881 58 | 0.000 % | 2135.84/2135.87 c | 7623031 | 2560 301942 1018804 | 1 301854 59 | 0.000 % | 2135.84/2135.87 c | 7623461 | 2560 301942 1018804 | 1 302284 59 | 0.000 % | 2135.84/2135.87 c | 7625905 | 2560 301942 1018804 | 1 304728 59 | 0.000 % | 2135.84/2135.87 c | 7644338 | 2560 301942 1018804 | 1 323161 62 | 0.000 % | 2646.55/2646.56 c | 7734012 | 2560 301942 1018804 | 1 216444 48 | 0.000 % | 2646.55/2646.56 c | 7743652 | 2560 301942 1018804 | 1 226084 50 | 0.000 % | 2646.55/2646.56 c | 7743960 | 2560 301942 1018804 | 1 226392 50 | 0.000 % | 2646.55/2646.56 c | 7792226 | 2560 301942 1018804 | 1 274658 57 | 0.000 % | 2646.55/2646.56 c | 7823616 | 2560 301942 1018804 | 1 306048 60 | 0.000 % | 2646.55/2646.56 c | 7834950 | 2560 301942 1018804 | 1 317382 62 | 0.000 % | 2646.55/2646.56 c | 7842185 | 2560 301942 1018804 | 1 324617 63 | 0.000 % | 2646.55/2646.56 c | 7846321 | 2560 301942 1018804 | 1 328753 63 | 0.000 % | 2646.55/2646.56 c | 7878208 | 2560 301942 1018804 | 1 360640 66 | 0.000 % | 2646.55/2646.56 c | 8013154 | 2560 301942 1018804 | 1 296582 57 | 0.000 % | 2646.55/2646.56 c | 8042492 | 2560 301942 1018804 | 1 325920 60 | 0.000 % | 2646.55/2646.56 c | 8066003 | 2560 301942 1018804 | 1 349431 62 | 0.000 % | 2646.55/2646.56 c | 8083238 | 2560 301942 1018804 | 1 366666 64 | 0.000 % | 2646.55/2646.56 c | 8084834 | 2560 301942 1018804 | 1 368262 64 | 0.000 % | 2646.55/2646.56 c | 8085726 | 2560 301942 1018804 | 1 369154 64 | 0.000 % | 2646.55/2646.56 c | 8164993 | 2560 301942 1018804 | 1 246830 53 | 0.000 % | 2646.55/2646.56 c | 8165093 | 2560 301942 1018804 | 1 246930 53 | 0.000 % | 2646.55/2646.56 c | 8210683 | 2560 301942 1018804 | 1 292520 60 | 0.000 % | 2646.55/2646.56 c | 8211699 | 2560 301942 1018804 | 1 293536 61 | 0.000 % | 2646.55/2646.56 c | 8211986 | 2560 301942 1018804 | 1 293823 61 | 0.000 % | 2646.55/2646.56 c | 8289107 | 2560 301942 1018804 | 1 370944 68 | 0.000 % | 2646.55/2646.56 c | 8314885 | 2560 301942 1018804 | 1 396722 70 | 0.000 % | 2646.55/2646.56 c | 8315464 | 2560 301942 1018804 | 1 397301 70 | 0.000 % | 2646.55/2646.56 c | 8315635 | 2560 301942 1018804 | 1 397472 70 | 0.000 % | 2646.55/2646.56 c | 8340723 | 2560 301942 1018804 | 1 218360 48 | 0.000 % | 2646.55/2646.56 c | 8346804 | 2560 301942 1018804 | 1 224441 49 | 0.000 % | 2646.55/2646.56 c | 8351687 | 2560 301942 1018804 | 1 229324 50 | 0.000 % | 2646.55/2646.56 c | 8378357 | 2560 301942 1018804 | 1 255994 54 | 0.000 % | 2646.55/2646.56 c | 8406801 | 2560 301942 1018804 | 1 284438 58 | 0.000 % | 2646.55/2646.56 c | 8415982 | 2560 301942 1018804 | 1 293619 59 | 0.000 % | 2646.55/2646.56 c | 8622442 | 2560 301942 1018804 | 1 293285 56 | 0.000 % | 2646.55/2646.56 c | 8630577 | 2560 301942 1018804 | 1 301420 57 | 0.000 % | 2646.55/2646.56 c | 8630697 | 2560 301942 1018804 | 1 301540 57 | 0.000 % | 2646.55/2646.56 c | 8631556 | 2560 301942 1018804 | 1 302399 57 | 0.000 % | 2646.55/2646.56 c | 8710217 | 2560 301942 1018804 | 1 381060 67 | 0.000 % | 2646.55/2646.56 c | 8790747 | 2560 301942 1018804 | 1 252183 51 | 0.000 % | 2646.55/2646.56 c | 8819743 | 2560 301942 1018804 | 1 281179 58 | 0.000 % | 2646.55/2646.56 c | 8821362 | 2560 301942 1018804 | 1 282798 58 | 0.000 % | 2646.55/2646.56 c | 8898722 | 2560 301942 1018804 | 1 360158 67 | 0.000 % | 2646.55/2646.56 c | 8907159 | 2560 301942 1018804 | 1 368595 68 | 0.000 % | 2646.55/2646.56 c | 8940414 | 2560 301942 1018804 | 1 401850 70 | 0.000 % | 2646.55/2646.56 c | 8941000 | 2560 301942 1018804 | 1 402436 71 | 0.000 % | 2646.55/2646.56 c | 8950522 | 2560 301942 1018804 | 1 411958 71 | 0.000 % | 2646.55/2646.56 c | 8951901 | 2560 301942 1018804 | 1 413337 71 | 0.000 % | 2646.55/2646.56 c | 8952107 | 2560 301942 1018804 | 1 413543 71 | 0.000 % | 2646.55/2646.56 c | 9037570 | 2560 301942 1018804 | 1 287006 58 | 0.000 % | 2646.55/2646.56 c | 9069180 | 2560 301942 1018804 | 1 318616 64 | 0.000 % | 2646.55/2646.56 c | 9133226 | 2560 301942 1018804 | 1 382662 69 | 0.000 % | 2646.55/2646.56 c | 9144200 | 2560 301942 1018804 | 1 393636 70 | 0.000 % | 2646.55/2646.56 c | 9217238 | 2560 301942 1018804 | 1 252083 52 | 0.000 % | 3145.27/3145.20 c | 9264769 | 2560 301942 1018804 | 1 299614 58 | 0.000 % | 3145.27/3145.20 c | 9395386 | 2560 301942 1018804 | 1 430231 67 | 0.000 % | 3145.27/3145.20 c | 9398798 | 2560 301942 1018804 | 1 433643 67 | 0.000 % | 3145.27/3145.20 c | 9399313 | 2560 301942 1018804 | 1 434158 67 | 0.000 % | 3145.27/3145.20 c | 9401489 | 2560 301942 1018804 | 1 219120 43 | 0.000 % | 3145.27/3145.20 c | 9594202 | 2560 301942 1018804 | 1 411833 71 | 0.000 % | 3145.27/3145.20 c | 9696916 | 2560 301942 1018804 | 1 294737 57 | 0.000 % | 3145.27/3145.20 c | 9730777 | 2560 301942 1018804 | 1 328598 61 | 0.000 % | 3145.27/3145.20 c | 9730895 | 2560 301942 1018804 | 1 328716 61 | 0.000 % | 3145.27/3145.20 c | 9731135 | 2560 301942 1018804 | 1 328956 61 | 0.000 % | 3145.27/3145.20 c | 9770586 | 2560 301942 1018804 | 1 368407 65 | 0.000 % | 3145.27/3145.20 c | 9780428 | 2560 301942 1018804 | 1 378249 66 | 0.000 % | 3145.27/3145.20 c | 9807728 | 2560 301942 1018804 | 1 405549 68 | 0.000 % | 3145.27/3145.20 c | 9813320 | 2560 301942 1018804 | 1 411141 68 | 0.000 % | 3145.27/3145.20 c | 9815326 | 2560 301942 1018804 | 1 413147 69 | 0.000 % | 3145.27/3145.20 c | 9816074 | 2560 301942 1018804 | 1 413895 69 | 0.000 % | 3145.27/3145.20 c | 9817213 | 2560 301942 1018804 | 1 415034 69 | 0.000 % | 3145.27/3145.20 c | 9820536 | 2560 301942 1018804 | 1 418357 69 | 0.000 % | 3145.27/3145.20 c | 9824863 | 2560 301942 1018804 | 1 422684 69 | 0.000 % | 3145.27/3145.20 c | 9955469 | 2560 301942 1018804 | 1 330890 65 | 0.000 % | 3145.27/3145.20 c | 9955589 | 2560 301942 1018804 | 1 331010 65 | 0.000 % | 3145.27/3145.20 c | 9963081 | 2560 301942 1018804 | 1 338502 66 | 0.000 % | 3145.27/3145.20 c | 10108983 | 2560 301942 1018804 | 1 259410 49 | 0.000 % | 3145.27/3145.20 c | 10154157 | 2560 301942 1018804 | 1 304584 55 | 0.000 % | 3145.27/3145.20 c | 10206169 | 2560 301942 1018804 | 1 356596 59 | 0.000 % | 3145.27/3145.20 c | 10209839 | 2560 301942 1018804 | 1 360266 59 | 0.000 % | 3145.27/3145.20 c | 10243577 | 2560 301942 1018804 | 1 394004 62 | 0.000 % | 3145.27/3145.20 c | 10248265 | 2560 301942 1018804 | 1 398692 62 | 0.000 % | 3145.27/3145.20 c | 10249117 | 2560 301942 1018804 | 1 399544 63 | 0.000 % | 3145.27/3145.20 c | 10249593 | 2560 301942 1018804 | 1 400020 63 | 0.000 % | 3145.27/3145.20 c | 10256952 | 2560 301942 1018804 | 1 407379 63 | 0.000 % | 3145.27/3145.20 c | 10260889 | 2560 301942 1018804 | 1 411316 64 | 0.000 % | 3145.27/3145.20 c | 10291876 | 2560 301942 1018804 | 1 442303 65 | 0.000 % | 3145.27/3145.20 c | 10362685 | 2560 301942 1018804 | 1 285514 50 | 0.000 % | 3145.27/3145.20 c | 10370990 | 2560 301942 1018804 | 1 293819 52 | 0.000 % | 3145.27/3145.20 c | 10371404 | 2560 301942 1018804 | 1 294233 52 | 0.000 % | 3145.27/3145.20 c | 10422594 | 2560 301942 1018804 | 1 345423 56 | 0.000 % | 3145.27/3145.20 c | 10439401 | 2560 301942 1018804 | 1 362230 58 | 0.000 % | 3145.27/3145.20 c | 10442639 | 2560 301942 1018804 | 1 365468 59 | 0.000 % | 3145.27/3145.20 c | 10454370 | 2560 301942 1018804 | 1 377199 60 | 0.000 % | 3145.27/3145.20 c | 10460594 | 2560 301942 1018804 | 1 383423 61 | 0.000 % | 3145.27/3145.20 c | 10465947 | 2560 301942 1018804 | 1 388776 61 | 0.000 % | 3145.27/3145.20 c | 10471468 | 2560 301942 1018804 | 1 394297 62 | 0.000 % | 3145.27/3145.20 c | 10512139 | 2560 301942 1018804 | 1 434968 65 | 0.000 % | 3145.27/3145.20 c | 10642469 | 2560 301942 1018804 | 1 335102 55 | 0.000 % | 3145.27/3145.20 c | 10642571 | 2560 301942 1018804 | 1 335204 55 | 0.000 % | 3145.27/3145.20 c | 10643038 | 2560 301942 1018804 | 1 335671 55 | 0.000 % | 3145.27/3145.20 c | 10643646 | 2560 301942 1018804 | 1 336279 55 | 0.000 % | 3145.27/3145.20 c | 10645396 | 2560 301942 1018804 | 1 338029 56 | 0.000 % | 3288.97/3288.92 c | 10647728 | 2560 301942 1018804 | 1 340361 56 | 0.000 % | 3288.97/3288.92 c | 10656801 | 2560 301942 1018804 | 1 349434 57 | 0.000 % | 3288.97/3288.92 c | 10695712 | 2560 301942 1018804 | 1 388345 61 | 0.000 % | 3288.97/3288.92 c | 10695985 | 2560 301942 1018804 | 1 388618 61 | 0.000 % | 3288.97/3288.92 c | 10698672 | 2560 301942 1018804 | 1 391305 61 | 0.000 % | 3288.97/3288.92 c | 10699284 | 2560 301942 1018804 | 1 391917 61 | 0.000 % | 3288.97/3288.92 c | 10699497 | 2560 301942 1018804 | 1 392130 61 | 0.000 % | 3288.97/3288.92 c | 10700076 | 2560 301942 1018804 | 1 392709 62 | 0.000 % | 3288.97/3288.92 c | 10728108 | 2560 301942 1018804 | 1 420741 65 | 0.000 % | 3288.97/3288.92 c | 10728714 | 2560 301942 1018804 | 1 421347 65 | 0.000 % | 3288.97/3288.92 c | 10745171 | 2560 301942 1018804 | 1 437804 67 | 0.000 % | 3288.97/3288.92 c | 10745321 | 2560 301942 1018804 | 1 437954 67 | 0.000 % | 3288.97/3288.92 c | 10749549 | 2560 301942 1018804 | 1 442182 68 | 0.000 % | 3288.97/3288.92 c | 10749652 | 2560 301942 1018804 | 1 442285 68 | 0.000 % | 3288.97/3288.92 c | 10772736 | 2560 301942 1018804 | 1 465369 70 | 0.000 % | 3288.97/3288.92 c | 10779618 | 2560 301942 1018804 | 1 239441 45 | 0.000 % | 3288.97/3288.92 c | 10782451 | 2560 301942 1018804 | 1 242274 46 | 0.000 % | 3288.97/3288.92 c | 10788818 | 2560 301942 1018804 | 1 248641 48 | 0.000 % | 3288.97/3288.92 c | 10794584 | 2560 301942 1018804 | 1 254407 49 | 0.000 % | 3288.97/3288.92 c | 10808726 | 2560 301942 1018804 | 1 268549 51 | 0.000 % | 3288.97/3288.92 c | 10815913 | 2560 301942 1018804 | 1 275736 52 | 0.000 % | 3288.97/3288.92 c | 10820129 | 2560 301942 1018804 | 1 279952 53 | 0.000 % | 3288.97/3288.92 c | 10843053 | 2560 301942 1018804 | 1 302876 57 | 0.000 % | 3288.97/3288.92 c | 10887459 | 2560 301942 1018804 | 1 347282 62 | 0.000 % | 3288.97/3288.92 c | 10893756 | 2560 301942 1018804 | 1 353579 63 | 0.000 % | 3288.97/3288.92 c | 10894054 | 2560 301942 1018804 | 1 353877 63 | 0.000 % | 3288.97/3288.92 c | 10924246 | 2560 301942 1018804 | 1 384069 67 | 0.000 % | 3288.97/3288.92 c | 10943173 | 2560 301942 1018804 | 1 402996 68 | 0.000 % | 3288.97/3288.92 c | 10945926 | 2560 301942 1018804 | 1 405749 69 | 0.000 % | 3288.97/3288.92 c | 10955479 | 2560 301942 1018804 | 1 415302 70 | 0.000 % | 3288.97/3288.92 c | 10956335 | 2560 301942 1018804 | 1 416158 70 | 0.000 % | 3288.97/3288.92 c | 10956435 | 2560 301942 1018804 | 1 416258 70 | 0.000 % | 3288.97/3288.92 c | 10957716 | 2560 301942 1018804 | 1 417539 70 | 0.000 % | 3288.97/3288.92 c | 10960190 | 2560 301942 1018804 | 1 420013 70 | 0.000 % | 3288.97/3288.92 c | 10962029 | 2560 301942 1018804 | 1 421852 71 | 0.000 % | 3288.97/3288.92 c | 10982700 | 2560 301942 1018804 | 1 442523 72 | 0.000 % | 3288.97/3288.92 c | 10986440 | 2560 301942 1018804 | 1 446263 72 | 0.000 % | 3288.97/3288.92 c | 10995853 | 2560 301942 1018804 | 1 455676 73 | 0.000 % | 3288.97/3288.92 c | 10998800 | 2560 301942 1018804 | 1 458623 74 | 0.000 % | 3288.97/3288.92 c | 11005899 | 2560 301942 1018804 | 1 465722 74 | 0.000 % | 3288.97/3288.92 c | 11066027 | 2560 301942 1018804 | 1 290447 54 | 0.000 % | 3288.97/3288.92 c | 11070269 | 2560 301942 1018804 | 1 294689 54 | 0.000 % | 3288.97/3288.92 c | 11070769 | 2560 301942 1018804 | 1 295189 54 | 0.000 % | 3288.97/3288.92 c | 11072006 | 2560 301942 1018804 | 1 296426 55 | 0.000 % | 3288.97/3288.92 c | 11075069 | 2560 301942 1018804 | 1 299489 55 | 0.000 % | 3288.97/3288.92 c | 11076679 | 2560 301942 1018804 | 1 301099 56 | 0.000 % | 3288.97/3288.92 c | 11078892 | 2560 301942 1018804 | 1 303312 56 | 0.000 % | 3288.97/3288.92 c | 11121712 | 2560 301942 1018804 | 1 346132 63 | 0.000 % | 3288.97/3288.92 c | 11145218 | 2560 301942 1018804 | 1 369638 66 | 0.000 % | 3288.97/3288.92 c | 11153011 | 2560 301942 1018804 | 1 377431 67 | 0.000 % | 3544.07/3544.10 c | 11153824 | 2560 301942 1018804 | 1 378244 67 | 0.000 % | 3544.07/3544.10 c | 11156795 | 2560 301942 1018804 | 1 381215 68 | 0.000 % | 3544.07/3544.10 c | 11157151 | 2560 301942 1018804 | 1 381571 68 | 0.000 % | 3544.07/3544.10 c | 11159833 | 2560 301942 1018804 | 1 384253 68 | 0.000 % | 3544.07/3544.10 c | 11167925 | 2560 301942 1018804 | 1 392345 69 | 0.000 % | 3544.07/3544.10 c | 11192770 | 2560 301942 1018804 | 1 417190 71 | 0.000 % | 3544.07/3544.10 c | 11205710 | 2560 301942 1018804 | 1 430130 72 | 0.000 % | 3544.07/3544.10 c | 11295880 | 2560 301942 1018804 | 1 282304 56 | 0.000 % | 3544.07/3544.10 c | 11297755 | 2560 301942 1018804 | 1 284179 56 | 0.000 % | 3544.07/3544.10 c | 11340730 | 2560 301942 1018804 | 1 327154 62 | 0.000 % | 3544.07/3544.10 c | 11355720 | 2560 301942 1018804 | 1 342144 64 | 0.000 % | 3544.07/3544.10 c | 11368901 | 2560 301942 1018804 | 1 355325 66 | 0.000 % | 3544.07/3544.10 c | 11370313 | 2560 301942 1018804 | 1 356737 66 | 0.000 % | 3544.07/3544.10 c | 11371145 | 2560 301942 1018804 | 1 357569 66 | 0.000 % | 3544.07/3544.10 c | 11378168 | 2560 301942 1018804 | 1 364592 67 | 0.000 % | 3544.07/3544.10 c | 11381933 | 2560 301942 1018804 | 1 368357 67 | 0.000 % | 3544.07/3544.10 c | 11384119 | 2560 301942 1018804 | 1 370543 67 | 0.000 % | 3544.07/3544.10 c | 11392170 | 2560 301942 1018804 | 1 378594 68 | 0.000 % | 3544.07/3544.10 c | 11398226 | 2560 301942 1018804 | 1 384650 69 | 0.000 % | 3544.07/3544.10 c | 11442216 | 2560 301942 1018804 | 1 428640 73 | 0.000 % | 3544.07/3544.10 c | 11467973 | 2560 301942 1018804 | 1 454397 75 | 0.000 % | 3544.07/3544.10 c | 11486866 | 2560 301942 1018804 | 1 473290 76 | 0.000 % | 3544.07/3544.10 c | 11487449 | 2560 301942 1018804 | 1 473873 76 | 0.000 % | 3544.07/3544.10 c | 11503745 | 2560 301942 1018804 | 1 249574 46 | 0.000 % | 3544.07/3544.10 c | 11507876 | 2560 301942 1018804 | 1 253705 47 | 0.000 % | 3544.07/3544.10 c | 11541707 | 2560 301942 1018804 | 1 287536 53 | 0.000 % | 3544.07/3544.10 c | 11546066 | 2560 301942 1018804 | 1 291895 54 | 0.000 % | 3544.07/3544.10 c | 11554024 | 2560 301942 1018804 | 1 299853 55 | 0.000 % | 3544.07/3544.10 c | 11562638 | 2560 301942 1018804 | 1 308467 56 | 0.000 % | 3544.07/3544.10 c | 11564657 | 2560 301942 1018804 | 1 310486 57 | 0.000 % | 3544.07/3544.10 c | 11574680 | 2560 301942 1018804 | 1 320509 58 | 0.000 % | 3544.07/3544.10 c | 11615167 | 2560 301942 1018804 | 1 360996 62 | 0.000 % | 3544.07/3544.10 c | 11616294 | 2560 301942 1018804 | 1 362123 62 | 0.000 % | 3544.07/3544.10 c | 11620840 | 2560 301942 1018804 | 1 366669 63 | 0.000 % | 3544.07/3544.10 c | 11620942 | 2560 301942 1018804 | 1 366771 63 | 0.000 % | 3544.07/3544.10 c | 11627859 | 2560 301942 1018804 | 1 373688 63 | 0.000 % | 3544.07/3544.10 c | 11669161 | 2560 301942 1018804 | 1 414990 66 | 0.000 % | 3544.07/3544.10 c | 11707061 | 2560 301942 1018804 | 1 452890 68 | 0.000 % | 3544.07/3544.10 c | 11721969 | 2560 301942 1018804 | 1 467798 68 | 0.000 % | 3544.07/3544.10 c | 11749157 | 2560 301942 1018804 | 1 251785 42 | 0.000 % | 3544.07/3544.10 c | 11756813 | 2560 301942 1018804 | 1 259441 44 | 0.000 % | 3544.07/3544.10 c | 11768965 | 2560 301942 1018804 | 1 271593 46 | 0.000 % | 3544.07/3544.10 c | 11782172 | 2560 301942 1018804 | 1 284800 49 | 0.000 % | 3544.07/3544.10 c | 11812936 | 2560 301942 1018804 | 1 315564 56 | 0.000 % | 3544.07/3544.10 c | 11813637 | 2560 301942 1018804 | 1 316265 56 | 0.000 % | 3544.07/3544.10 c | 11819619 | 2560 301942 1018804 | 1 322247 57 | 0.000 % | 3544.07/3544.10 c | 11830669 | 2560 301942 1018804 | 1 333297 59 | 0.000 % | 3544.07/3544.10 c | 11876115 | 2560 301942 1018804 | 1 378743 64 | 0.000 % | 3544.07/3544.10 c | 11916171 | 2560 301942 1018804 | 1 418799 67 | 0.000 % | 3544.07/3544.10 c | 11958539 | 2560 301942 1018804 | 1 461167 67 | 0.000 % | 3847.38/3847.32 c | 12064992 | 2560 301942 1018804 | 1 321825 50 | 0.000 % | 3847.38/3847.32 c | 12109650 | 2560 301942 1018804 | 1 366483 56 | 0.000 % | 3847.38/3847.32 c | 12116819 | 2560 301942 1018804 | 1 373652 56 | 0.000 % | 3847.38/3847.32 c | 12131148 | 2560 301942 1018804 | 1 387981 58 | 0.000 % | 3847.38/3847.32 c | 12131762 | 2560 301942 1018804 | 1 388595 58 | 0.000 % | 3847.38/3847.32 c | 12131945 | 2560 301942 1018804 | 1 388778 58 | 0.000 % | 3847.38/3847.32 c | 12159769 | 2560 301942 1018804 | 1 416602 62 | 0.000 % | 3847.38/3847.32 c | 12165283 | 2560 301942 1018804 | 1 422116 62 | 0.000 % | 3847.38/3847.32 c | 12165554 | 2560 301942 1018804 | 1 422387 62 | 0.000 % | 3847.38/3847.32 c | 12166300 | 2560 301942 1018804 | 1 423133 62 | 0.000 % | 3847.38/3847.32 c | 12168740 | 2560 301942 1018804 | 1 425573 63 | 0.000 % | 3847.38/3847.32 c | 12171356 | 2560 301942 1018804 | 1 428189 63 | 0.000 % | 3847.38/3847.32 c | 12172126 | 2560 301942 1018804 | 1 428959 63 | 0.000 % | 3847.38/3847.32 c | 12173861 | 2560 301942 1018804 | 1 430694 63 | 0.000 % | 3847.38/3847.32 c | 12176745 | 2560 301942 1018804 | 1 433578 64 | 0.000 % | 3847.38/3847.32 c | 12180407 | 2560 301942 1018804 | 1 437240 64 | 0.000 % | 3847.38/3847.32 c | 12241779 | 2560 301942 1018804 | 1 250216 42 | 0.000 % | 3847.38/3847.32 c | 12242873 | 2560 301942 1018804 | 1 251310 43 | 0.000 % | 3847.38/3847.32 c | 12247247 | 2560 301942 1018804 | 1 255684 44 | 0.000 % | 3847.38/3847.32 c | 12258372 | 2560 301942 1018804 | 1 266809 46 | 0.000 % | 3847.38/3847.32 c | 12259744 | 2560 301942 1018804 | 1 268181 46 | 0.000 % | 3847.38/3847.32 c | 12289016 | 2560 301942 1018804 | 1 297453 53 | 0.000 % | 3847.38/3847.32 c | 12328689 | 2560 301942 1018804 | 1 337126 58 | 0.000 % | 3847.38/3847.32 c | 12328791 | 2560 301942 1018804 | 1 337228 58 | 0.000 % | 3847.38/3847.32 c | 12329347 | 2560 301942 1018804 | 1 337784 58 | 0.000 % | 3847.38/3847.32 c | 12375316 | 2560 301942 1018804 | 1 383753 63 | 0.000 % | 3847.38/3847.32 c | 12499677 | 2560 301942 1018804 | 1 257124 44 | 0.000 % | 3847.38/3847.32 c | 12520189 | 2560 301942 1018804 | 1 277636 47 | 0.000 % | 3847.38/3847.32 c | 12530914 | 2560 301942 1018804 | 1 288361 49 | 0.000 % | 3847.38/3847.32 c | 12531155 | 2560 301942 1018804 | 1 288602 49 | 0.000 % | 3847.38/3847.32 c | 12537737 | 2560 301942 1018804 | 1 295184 50 | 0.000 % | 3847.38/3847.32 c | 12544418 | 2560 301942 1018804 | 1 301865 52 | 0.000 % | 3847.38/3847.32 c | 12544518 | 2560 301942 1018804 | 1 301965 52 | 0.000 % | 3847.38/3847.32 c | 12560435 | 2560 301942 1018804 | 1 317882 55 | 0.000 % | 3847.38/3847.32 c | 12571054 | 2560 301942 1018804 | 1 328501 57 | 0.000 % | 3847.38/3847.32 c | 12580584 | 2560 301942 1018804 | 1 338031 58 | 0.000 % | 3847.38/3847.32 c | 12581122 | 2560 301942 1018804 | 1 338569 58 | 0.000 % | 3847.38/3847.32 c | 12581370 | 2560 301942 1018804 | 1 338817 58 | 0.000 % | 3847.38/3847.32 c | 12582759 | 2560 301942 1018804 | 1 340206 59 | 0.000 % | 3847.38/3847.32 c | 12582973 | 2560 301942 1018804 | 1 340420 59 | 0.000 % | 3847.38/3847.32 c | 12701384 | 2560 301942 1018804 | 1 458831 68 | 0.000 % | 3847.38/3847.32 c | 12713847 | 2560 301942 1018804 | 1 471294 68 | 0.000 % | 3847.38/3847.32 c | 12760468 | 2560 301942 1018804 | 1 264314 45 | 0.000 % | 3847.38/3847.32 c | 12772310 | 2560 301942 1018804 | 1 276156 47 | 0.000 % | 3847.38/3847.32 c | 12776233 | 2560 301942 1018804 | 1 280079 48 | 0.000 % | 3847.38/3847.32 c | 12791851 | 2560 301942 1018804 | 1 295697 50 | 0.000 % | 3847.38/3847.32 c | 12800146 | 2560 301942 1018804 | 1 303992 52 | 0.000 % | 3847.38/3847.32 c | 12807989 | 2560 301942 1018804 | 1 311835 53 | 0.000 % | 3847.38/3847.32 c | 12863154 | 2560 301942 1018804 | 1 367000 60 | 0.000 % | 3847.38/3847.32 c | 12868046 | 2560 301942 1018804 | 1 371892 60 | 0.000 % | 4373.19/4373.18 c | 12892452 | 2560 301942 1018804 | 1 396298 62 | 0.000 % | 4373.19/4373.18 c | 12893635 | 2560 301942 1018804 | 1 397481 62 | 0.000 % | 4373.19/4373.18 c | 12907203 | 2560 301942 1018804 | 1 411049 63 | 0.000 % | 4373.19/4373.18 c | 12973444 | 2560 301942 1018804 | 1 477290 68 | 0.000 % | 4373.19/4373.18 c | 12973706 | 2560 301942 1018804 | 1 477552 68 | 0.000 % | 4373.19/4373.18 c | 12976504 | 2560 301942 1018804 | 1 480350 68 | 0.000 % | 4373.19/4373.18 c | 13011252 | 2560 301942 1018804 | 1 258888 43 | 0.000 % | 4373.19/4373.18 c | 13014822 | 2560 301942 1018804 | 1 262458 44 | 0.000 % | 4373.19/4373.18 c | 13019312 | 2560 301942 1018804 | 1 266948 45 | 0.000 % | 4373.19/4373.18 c | 13025021 | 2560 301942 1018804 | 1 272657 46 | 0.000 % | 4373.19/4373.18 c | 13119427 | 2560 301942 1018804 | 1 367063 57 | 0.000 % | 4373.19/4373.18 c | 13122445 | 2560 301942 1018804 | 1 370081 58 | 0.000 % | 4373.19/4373.18 c | 13142160 | 2560 301942 1018804 | 1 389796 61 | 0.000 % | 4373.19/4373.18 c | 13142578 | 2560 301942 1018804 | 1 390214 61 | 0.000 % | 4373.19/4373.18 c | 13152526 | 2560 301942 1018804 | 1 400162 62 | 0.000 % | 4373.19/4373.18 c | 13152751 | 2560 301942 1018804 | 1 400387 62 | 0.000 % | 4373.19/4373.18 c | 13156498 | 2560 301942 1018804 | 1 404134 62 | 0.000 % | 4373.19/4373.18 c | 13157559 | 2560 301942 1018804 | 1 405195 62 | 0.000 % | 4373.19/4373.18 c | 13429401 | 2560 301942 1018804 | 1 418241 63 | 0.000 % | 4373.19/4373.18 c | 13443796 | 2560 301942 1018804 | 1 432636 64 | 0.000 % | 4373.19/4373.18 c | 13444524 | 2560 301942 1018804 | 1 433364 64 | 0.000 % | 4373.19/4373.18 c | 13450217 | 2560 301942 1018804 | 1 439057 64 | 0.000 % | 4373.19/4373.18 c | 13476329 | 2560 301942 1018804 | 1 465169 66 | 0.000 % | 4373.19/4373.18 c | 13507532 | 2560 301942 1018804 | 1 496372 68 | 0.000 % | 4373.19/4373.18 c | 13513911 | 2560 301942 1018804 | 1 502751 68 | 0.000 % | 4373.19/4373.18 c | 13515300 | 2560 301942 1018804 | 1 504140 68 | 0.000 % | 4373.19/4373.18 c | 13516415 | 2560 301942 1018804 | 1 505255 68 | 0.000 % | 4373.19/4373.18 c | 13555739 | 2560 301942 1018804 | 1 283178 45 | 0.000 % | 4373.19/4373.18 c | 13568428 | 2560 301942 1018804 | 1 295867 48 | 0.000 % | 4373.19/4373.18 c | 13595070 | 2560 301942 1018804 | 1 322509 52 | 0.000 % | 4373.19/4373.18 c | 13597337 | 2560 301942 1018804 | 1 324776 52 | 0.000 % | 4373.19/4373.18 c | 13597521 | 2560 301942 1018804 | 1 324960 52 | 0.000 % | 4373.19/4373.18 c | 13619063 | 2560 301942 1018804 | 1 346502 55 | 0.000 % | 4373.19/4373.18 c | 13629380 | 2560 301942 1018804 | 1 356819 57 | 0.000 % | 4373.19/4373.18 c | 13633648 | 2560 301942 1018804 | 1 361087 57 | 0.000 % | 4373.19/4373.18 c | 13634217 | 2560 301942 1018804 | 1 361656 57 | 0.000 % | 4373.19/4373.18 c | 13665441 | 2560 301942 1018804 | 1 392880 60 | 0.000 % | 4373.19/4373.18 c | 13674357 | 2560 301942 1018804 | 1 401796 62 | 0.000 % | 4373.19/4373.18 c | 13804914 | 2560 301942 1018804 | 1 268359 44 | 0.000 % | 4373.19/4373.18 c | 13814949 | 2560 301942 1018804 | 1 278394 46 | 0.000 % | 4373.19/4373.18 c | 13869946 | 2560 301942 1018804 | 1 333391 54 | 0.000 % | 4373.19/4373.18 c | 13870046 | 2560 301942 1018804 | 1 333491 54 | 0.000 % | 4373.19/4373.18 c | 13999095 | 2560 301942 1018804 | 1 462540 67 | 0.000 % | 4373.19/4373.18 c | 14091828 | 2560 301942 1018804 | 1 288665 47 | 0.000 % | 4373.19/4373.18 c | 14137940 | 2560 301942 1018804 | 1 334777 53 | 0.000 % | 4373.19/4373.18 c | 14160745 | 2560 301942 1018804 | 1 357582 55 | 0.000 % | 4373.19/4373.18 c | 14276622 | 2560 301942 1018804 | 1 473459 63 | 0.000 % | 4373.19/4373.18 c | 14294692 | 2560 301942 1018804 | 1 491529 63 | 0.000 % | 4373.19/4373.18 c | 14295308 | 2560 301942 1018804 | 1 492145 63 | 0.000 % | 4373.19/4373.18 c | 14305236 | 2560 301942 1018804 | 1 502073 64 | 0.000 % | 4825.29/4825.20 c | 14312280 | 2560 301942 1018804 | 1 509117 65 | 0.000 % | 4825.29/4825.20 c | 14314700 | 2560 301942 1018804 | 1 511537 65 | 0.000 % | 4825.29/4825.20 c | 14315915 | 2560 301942 1018804 | 1 512752 65 | 0.000 % | 4825.29/4825.20 c | 14336359 | 2560 301942 1018804 | 1 533196 66 | 0.000 % | 4825.29/4825.20 c | 14336597 | 2560 301942 1018804 | 1 533434 66 | 0.000 % | 4825.29/4825.20 c | 14367026 | 2560 301942 1018804 | 1 294670 45 | 0.000 % | 4825.29/4825.20 c | 14370705 | 2560 301942 1018804 | 1 298349 45 | 0.000 % | 4825.29/4825.20 c | 14390940 | 2560 301942 1018804 | 1 318584 48 | 0.000 % | 4825.29/4825.20 c | 14393461 | 2560 301942 1018804 | 1 321105 48 | 0.000 % | 4825.29/4825.20 c | 14441118 | 2560 301942 1018804 | 1 368762 53 | 0.000 % | 4825.29/4825.20 c | 14447247 | 2560 301942 1018804 | 1 374891 54 | 0.000 % | 4825.29/4825.20 c | 14448789 | 2560 301942 1018804 | 1 376433 54 | 0.000 % | 4825.29/4825.20 c | 14448891 | 2560 301942 1018804 | 1 376535 54 | 0.000 % | 4825.29/4825.20 c | 14457505 | 2560 301942 1018804 | 1 385149 55 | 0.000 % | 4825.29/4825.20 c | 14458355 | 2560 301942 1018804 | 1 385999 55 | 0.000 % | 4825.29/4825.20 c | 14462794 | 2560 301942 1018804 | 1 390438 56 | 0.000 % | 4825.29/4825.20 c | 14623955 | 2560 301942 1018804 | 1 279788 43 | 0.000 % | 4825.29/4825.20 c | 14719899 | 2560 301942 1018804 | 1 375732 56 | 0.000 % | 4825.29/4825.20 c | 14720000 | 2560 301942 1018804 | 1 375833 56 | 0.000 % | 4825.29/4825.20 c | 14835074 | 2560 301942 1018804 | 1 490907 71 | 0.000 % | 4825.29/4825.20 c | 14835278 | 2560 301942 1018804 | 1 491111 71 | 0.000 % | 4825.29/4825.20 c | 14835691 | 2560 301942 1018804 | 1 491524 71 | 0.000 % | 4825.29/4825.20 c | 14843506 | 2560 301942 1018804 | 1 499339 71 | 0.000 % | 4825.29/4825.20 c | 14850203 | 2560 301942 1018804 | 1 506036 72 | 0.000 % | 4825.29/4825.20 c | 14856548 | 2560 301942 1018804 | 1 512381 73 | 0.000 % | 4825.29/4825.20 c | 14859134 | 2560 301942 1018804 | 1 514967 73 | 0.000 % | 4825.29/4825.20 c | 14861986 | 2560 301942 1018804 | 1 517819 73 | 0.000 % | 4825.29/4825.20 c | 14914992 | 2560 301942 1018804 | 1 296427 48 | 0.000 % | 4825.29/4825.20 c | 14917262 | 2560 301942 1018804 | 1 298697 48 | 0.000 % | 4825.29/4825.20 c | 14922332 | 2560 301942 1018804 | 1 303767 49 | 0.000 % | 4825.29/4825.20 c | 14928707 | 2560 301942 1018804 | 1 310142 50 | 0.000 % | 4825.29/4825.20 c | 14965233 | 2560 301942 1018804 | 1 346668 55 | 0.000 % | 4825.29/4825.20 c | 14965387 | 2560 301942 1018804 | 1 346822 55 | 0.000 % | 4825.29/4825.20 c | 14973523 | 2560 301942 1018804 | 1 354958 56 | 0.000 % | 4825.29/4825.20 c | 14973740 | 2560 301942 1018804 | 1 355175 56 | 0.000 % | 4825.29/4825.20 c | 15015828 | 2560 301942 1018804 | 1 397263 61 | 0.000 % | 4825.29/4825.20 c | 15023492 | 2560 301942 1018804 | 1 404927 62 | 0.000 % | 4825.29/4825.20 c | 15025789 | 2560 301942 1018804 | 1 407224 63 | 0.000 % | 4825.29/4825.20 c | 15034996 | 2560 301942 1018804 | 1 416431 63 | 0.000 % | 4825.29/4825.20 c | 15035101 | 2560 301942 1018804 | 1 416536 63 | 0.000 % | 4825.29/4825.20 c | 15035848 | 2560 301942 1018804 | 1 417283 63 | 0.000 % | 4825.29/4825.20 c | 15038410 | 2560 301942 1018804 | 1 419845 64 | 0.000 % | 4825.29/4825.20 c | 15042673 | 2560 301942 1018804 | 1 424108 64 | 0.000 % | 4825.29/4825.20 c | 15124368 | 2560 301942 1018804 | 1 505803 69 | 0.000 % | 4825.29/4825.20 c | 15124585 | 2560 301942 1018804 | 1 506020 69 | 0.000 % | 4825.29/4825.20 c | 15132417 | 2560 301942 1018804 | 1 513852 69 | 0.000 % | 4825.29/4825.20 c | 15365350 | 2560 301942 1018804 | 1 469796 59 | 0.000 % | 4825.29/4825.20 c | 15375874 | 2560 301942 1018804 | 1 480320 60 | 0.000 % | 4825.29/4825.20 c | 15447494 | 2560 301942 1018804 | 1 551940 65 | 0.000 % | 4825.29/4825.20 c | 15448695 | 2560 301942 1018804 | 1 5531
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3303349-1303899331/watcher-3303349-1303899331 -o /tmp/evaluation-result-3303349-1303899331/solver-3303349-1303899331 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303349-1303899331.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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: 0.00 0.00 0.00 2/178 27787 /proc/meminfo: memFree=22598448/32951124 swapFree=67111528/67111528 [pid=27787] ppid=27785 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/27787/stat : 27787 (glucose.sh) S 27785 27787 27748 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 482348463 8912896 253 33554432000 4194304 4922060 140735083231344 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27787/statm: 2176 253 211 178 0 69 0 [startup+0.0374811 s] /proc/loadavg: 0.00 0.00 0.00 2/178 27787 /proc/meminfo: memFree=22598448/32951124 swapFree=67111528/67111528 [pid=27787] ppid=27785 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/27787/stat : 27787 (glucose.sh) S 27785 27787 27748 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 482348463 8912896 253 33554432000 4194304 4922060 140735083231344 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27787/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100473 s] /proc/loadavg: 0.00 0.00 0.00 2/178 27787 /proc/meminfo: memFree=22598448/32951124 swapFree=67111528/67111528 [pid=27787] ppid=27785 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/27787/stat : 27787 (glucose.sh) S 27785 27787 27748 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 482348463 8912896 253 33554432000 4194304 4922060 140735083231344 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27787/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300433 s] /proc/loadavg: 0.00 0.00 0.00 2/178 27787 /proc/meminfo: memFree=22598448/32951124 swapFree=67111528/67111528 [pid=27787] ppid=27785 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/27787/stat : 27787 (glucose.sh) S 27785 27787 27748 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 482348463 8912896 253 33554432000 4194304 4922060 140735083231344 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27787/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.70036 s] /proc/loadavg: 0.00 0.00 0.00 2/178 27787 /proc/meminfo: memFree=22598448/32951124 swapFree=67111528/67111528 [pid=27787] ppid=27785 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/27787/stat : 27787 (glucose.sh) S 27785 27787 27748 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 482348463 8912896 253 33554432000 4194304 4922060 140735083231344 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27787/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50023 s] /proc/loadavg: 0.00 0.00 0.00 3/180 27790 /proc/meminfo: memFree=22571536/32951124 swapFree=67111528/67111528 [pid=27787] ppid=27785 vsize=8704 CPUtime=1.19 cores=1,3,5,7 /proc/27787/stat : 27787 (glucose.sh) S 27785 27787 27748 0 -1 4202496 359 6249 0 0 0 0 117 2 18 0 1 0 482348463 8912896 255 33554432000 4194304 4922060 140735083231344 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27787/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 1.19 Current children cumulated vsize (KiB) 8704 [startup+3.10094 s] /proc/loadavg: 0.00 0.00 0.00 3/180 27791 /proc/meminfo: memFree=22558020/32951124 swapFree=67111528/67111528 [pid=27787] ppid=27785 vsize=8704 CPUtime=1.19 cores=1,3,5,7 /proc/27787/stat : 27787 (glucose.sh) S 27785 27787 27748 0 -1 4202496 359 6249 0 0 0 0 117 2 18 0 1 0 482348463 8912896 255 33554432000 4194304 4922060 140735083231344 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27787/statm: 2176 255 211 178 0 69 0 [pid=27791] ppid=27787 vsize=54668 CPUtime=1.9 cores=1,3,5,7 /proc/27791/stat : 27791 (glucose_static) R 27787 27787 27748 0 -1 4202496 14683 0 0 0 188 2 0 0 25 0 1 0 482348582 55980032 8795 33554432000 4194304 4260849 140736798619072 18446744073709551615 4229282 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/27791/statm: 13667 8795 250 17 0 10308 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 63372 [startup+6.30037 s] /proc/loadavg: 0.16 0.03 0.01 3/180 27791 /proc/meminfo: memFree=22521524/32951124 swapFree=67111528/67111528 [pid=27787] ppid=27785 vsize=8704 CPUtime=1.19 cores=1,3,5,7 /proc/27787/stat : 27787 (glucose.sh) S 27785 27787 27748 0 -1 4202496 359 6249 0 0 0 0 117 2 18 0 1 0 482348463 8912896 255 33554432000 4194304 4922060 140735083231344 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27787/statm: 2176 255 211 178 0 69 0 [pid=27791] ppid=27787 vsize=66252 CPUtime=5.09 cores=1,3,5,7 /proc/27791/stat : 27791 (glucose_static) R 27787 27787 27748 0 -1 4202496 22230 0 0 0 506 3 0 0 25 0 1 0 482348582 67842048 12495 33554432000 4194304 4260849 140736798619072 18446744073709551615 4229293 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/27791/statm: 16563 12495 250 17 0 13204 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 74956 [startup+12.7003 s] /proc/loadavg: 0.31 0.07 0.02 3/180 27791 /proc/meminfo: memFree=22504692/32951124 swapFree=67111528/67111528 [pid=27787] ppid=27785 vsize=8704 CPUtime=1.19 cores=1,3,5,7 /proc/27787/stat : 27787 (glucose.sh) S 27785 27787 27748 0 -1 4202496 359 6249 0 0 0 0 117 2 18 0 1 0 482348463 8912896 255 33554432000 4194304 4922060 140735083231344 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27787/statm: 2176 255 211 178 0 69 0 [pid=27791] ppid=27787 vsize=66252 CPUtime=11.5 cores=1,3,5,7 /proc/27791/stat : 27791 (glucose_static) R 27787 27787 27748 0 -1 4202496 27985 0 0 0 1146 4 0 0 25 0 1 0 482348582 67842048 13294 33554432000 4194304 4260849 140736798619072 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/27791/statm: 16563 13294 250 17 0 13204 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 74956 [startup+25.501 s] /proc/loadavg: 0.68 0.16 0.05 3/180 27792 /proc/meminfo: memFree=22492900/32951124 swapFree=67111528/67111528 [pid=27787] ppid=27785 vsize=8704 CPUtime=1.19 cores=1,3,5,7 /proc/27787/stat : 27787 (glucose.sh) S 27785 27787 27748 0 -1 4202496 359 6249 0 0 0 0 117 2 18 0 1 0 482348463 8912896 255 33554432000 4194304 4922060 140735083231344 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27787/statm: 2176 255 211 178 0 69 0 [pid=27791] ppid=27787 vsize=85108 CPUtime=24.3 cores=1,3,5,7 /proc/27791/stat : 27791 (glucose_static) R 27787 27787 27748 0 -1 4202496 32975 0 0 0 2425 5 0 0 25 0 1 0 482348582 87150592 17963 33554432000 4194304 4260849 140736798619072 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/27791/statm: 21277 17963 250 17 0 17918 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 93812 [startup+51.1005 s] /proc/loadavg: 1.13 0.31 0.10 3/180 27793 /proc/meminfo: memFree=22481708/32951124 swapFree=67111528/67111528 [pid=27787] ppid=27785 vsize=8704 CPUtime=1.19 cores=1,3,5,7 /proc/27787/stat : 27787 (glucose.sh) S 27785 27787 27748 0 -1 4202496 359 6249 0 0 0 0 117 2 18 0 1 0 482348463 8912896 255 33554432000 4194304 4922060 140735083231344 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27787/statm: 2176 255 211 178 0 69 0 [pid=27791] ppid=27787 vsize=85108 CPUtime=49.9 cores=1,3,5,7 /proc/27791/stat : 27791 (glucose_static) R 27787 27787 27748 0 -1 4202496 32975 0 0 0 4985 5 0 0 25 0 1 0 482348582 87150592 17963 33554432000 4194304 4260849 140736798619072 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/27791/statm: 21277 17963 250 17 0 17918 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 93812 [startup+102.306 s] /proc/loadavg: 1.62 0.56 0.20 3/180 27794 /proc/meminfo: memFree=22415980/32951124 swapFree=67111528/67111528 [pid=27787] ppid=27785 vsize=8704 CPUtime=1.19 cores=1,3,5,7 /proc/27787/stat : 27787 (glucose.sh) S 27785 27787 27748 0 -1 4202496 359 6249 0 0 0 0 117 2 18 0 1 0 482348463 8912896 255 33554432000 4194304 4922060 140735083231344 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27787/statm: 2176 255 211 178 0 69 0 [pid=27791] ppid=27787 vsize=134428 CPUtime=101.1 cores=1,3,5,7 /proc/27791/stat : 27791 (glucose_static) R 27787 27787 27748 0 -1 4202496 75285 0 0 0 10100 10 0 0 25 0 1 0 482348582 137654272 27377 33554432000 4194304 4260849 140736798619072 18446744073709551615 4247463 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/27791/statm: 33607 27377 250 17 0 30248 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 143132 [startup+162.301 s] /proc/loadavg: 1.86 0.82 0.31 3/180 27795 /proc/meminfo: memFree=22407784/32951124 swapFree=67111528/67111528 [pid=27787] ppid=27785 vsize=8704 CPUtime=1.19 cores=1,3,5,7 /proc/27787/stat : 27787 (glucose.sh) S 27785 27787 27748 0 -1 4202496 359 6249 0 0 0 0 117 2 18 0 1 0 482348463 8912896 255 33554432000 4194304 4922060 140735083231344 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27787/statm: 2176 255 211 178 0 69 0 [pid=27791] ppid=27787 vsize=146448 CPUtime=161.1 cores=1,3,5,7 /proc/27791/stat : 27791 (glucose_static) R 27787 27787 27748 0 -1 4202496 114847 0 0 0 16094 16 0 0 25 0 1 0 482348582 149962752 29383 33554432000 4194304 4260849 140736798619072 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/27791/statm: 36612 29384 250 17 0 33253 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 155152 [startup+222.3 s] /proc/loadavg: 1.95 1.04 0.41 3/180 27797 /proc/meminfo: memFree=22436164/32951124 swapFree=67111528/67111528 [pid=27787] ppid=27785 vsize=8704 CPUtime=1.19 cores=1,3,5,7 /proc/27787/stat : 27787 (glucose.sh) S 27785 27787 27748 0 -1 4202496 359 6249 0 0 0 0 117 2 18 0 1 0 482348463 8912896 255 33554432000 4194304 4922060 140735083231344 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27787/statm: 2176 255 211 178 0 69 0 [pid=27791] ppid=27787 vsize=97128 CPUtime=221.1 cores=1,3,5,7 /proc/27791/stat : 27791 (glucose_static) R 27787 27787 27748 0 -1 4202496 150946 0 0 0 22087 23 0 0 25 0 1 0 482348582 99459072 21013 33554432000 4194304 4260849 140736798619072 18446744073709551615 4225091 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/27791/statm: 24282 21013 250 17 0 20923 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 105832 [startup+282.301 s] /proc/loadavg: 1.98 1.21 0.51 3/180 27799 /proc/meminfo: memFree=22346000/32951124 swapFree=67111528/67111528 [pid=27787] ppid=27785 vsize=8704 CPUtime=1.19 cores=1,3,5,7 /proc/27787/stat : 27787 (glucose.sh) S 27785 27787 27748 0 -1 4202496 359 6249 0 0 0 0 117 2 18 0 1 0 482348463 8912896 255 33554432000 4194304 4922060 140735083231344 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27787/statm: 2176 255 211 178 0 69 0 [pid=27791] ppid=27787 vsize=146448 CPUtime=281.1 cores=1,3,5,7 /proc/27791/stat : 27791 (glucose_static) R 27787 27787 27748 0 -1 4202496 186949 0 0 0 28082 28 0 0 25 0 1 0 482348582 149962752 32796 33554432000 4194304 4260849 140736798619072 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/27791/statm: 36612 32796 250 17 0 33253 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 155152 [startup+342.301 s] /proc/loadavg: 1.99 1.35 0.60 3/180 27800 /proc/meminfo: memFree=22344376/32951124 swapFree=67111528/67111528 [pid=27787] ppid=27785 vsize=8704 CPUtime=1.19 cores=1,3,5,7 /proc/27787/stat : 27787 (glucose.sh) S 27785 27787 27748 0 -1 4202496 359 6249 0 0 0 0 117 2 18 0 1 0 482348463 8912896 255 33554432000 4194304 4922060 140735083231344 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27787/statm: 2176 255 211 178 0 69 0 [pid=27791] ppid=27787 vsize=146448 CPUtime=341.11 cores=1,3,5,7 /proc/27791/stat : 27791 (glucose_static) R 27787 27787 27748 0 -1 4202496 224048 0 0 0 34077 34 0 0 25 0 1 0 482348582 149962752 32211 33554432000 4194304 4260849 140736798619072 18446744073709551615 4225121 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/27791/statm: 36612 32211 250 17 0 33253 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 155152 [startup+402.301 s] /proc/loadavg: 1.99 1.47 0.68 3/180 27802 /proc/meminfo: memFree=22390864/32951124 swapFree=67111528/67111528 [pid=27787] ppid=27785 vsize=8704 CPUtime=1.19 cores=1,3,5,7 /proc/27787/stat : 27787 (glucose.sh) S 27785 27787 27748 0 -1 4202496 359 6249 0 0 0 0 117 2 18 0 1 0 482348463 8912896 255 33554432000 4194304 4922060 140735083231344 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27787/statm: 2176 255 211 178 0 69 0 [pid=27791] ppid=27787 vsize=146448 CPUtime=401.11 cores=1,3,5,7 ################ # More data... # ################ /proc/27791/statm: 74455 56827 251 17 0 71096 0 Current children cumulated CPU time (s) 4302.38 Current children cumulated vsize (KiB) 306524 [startup+4362.3 s] /proc/loadavg: 2.00 2.00 1.93 3/180 27922 /proc/meminfo: memFree=22104944/32951124 swapFree=67111528/67111528 [pid=27787] ppid=27785 vsize=8704 CPUtime=1.19 cores=1,3,5,7 /proc/27787/stat : 27787 (glucose.sh) S 27785 27787 27748 0 -1 4202496 359 6249 0 0 0 0 117 2 18 0 1 0 482348463 8912896 255 33554432000 4194304 4922060 140735083231344 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27787/statm: 2176 255 211 178 0 69 0 [pid=27791] ppid=27787 vsize=380444 CPUtime=4361.2 cores=1,3,5,7 /proc/27791/stat : 27791 (glucose_static) R 27787 27787 27748 0 -1 4202496 2256570 0 0 0 435651 469 0 0 25 0 1 0 482348582 389574656 69693 33554432000 4194304 4260849 140736798619072 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/27791/statm: 95111 69693 251 17 0 91752 0 Current children cumulated CPU time (s) 4362.39 Current children cumulated vsize (KiB) 389148 [startup+4422.3 s] /proc/loadavg: 2.07 2.02 1.94 3/180 27924 /proc/meminfo: memFree=22181556/32951124 swapFree=67111528/67111528 [pid=27787] ppid=27785 vsize=8704 CPUtime=1.19 cores=1,3,5,7 /proc/27787/stat : 27787 (glucose.sh) S 27785 27787 27748 0 -1 4202496 359 6249 0 0 0 0 117 2 18 0 1 0 482348463 8912896 255 33554432000 4194304 4922060 140735083231344 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27787/statm: 2176 255 211 178 0 69 0 [pid=27791] ppid=27787 vsize=300112 CPUtime=4421.2 cores=1,3,5,7 /proc/27791/stat : 27791 (glucose_static) R 27787 27787 27748 0 -1 4202496 2284698 0 0 0 441645 475 0 0 25 0 1 0 482348582 307314688 59102 33554432000 4194304 4260849 140736798619072 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/27791/statm: 75028 59102 251 17 0 71669 0 Current children cumulated CPU time (s) 4422.39 Current children cumulated vsize (KiB) 308816 [startup+4482.3 s] /proc/loadavg: 2.02 2.01 1.94 3/180 27926 /proc/meminfo: memFree=22078876/32951124 swapFree=67111528/67111528 [pid=27787] ppid=27785 vsize=8704 CPUtime=1.19 cores=1,3,5,7 /proc/27787/stat : 27787 (glucose.sh) S 27785 27787 27748 0 -1 4202496 359 6249 0 0 0 0 117 2 18 0 1 0 482348463 8912896 255 33554432000 4194304 4922060 140735083231344 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27787/statm: 2176 255 211 178 0 69 0 [pid=27791] ppid=27787 vsize=383004 CPUtime=4481.2 cores=1,3,5,7 /proc/27791/stat : 27791 (glucose_static) R 27787 27787 27748 0 -1 4202496 2297947 0 0 0 447640 480 0 0 25 0 1 0 482348582 392196096 72232 33554432000 4194304 4260849 140736798619072 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/27791/statm: 95751 72232 251 17 0 92392 0 Current children cumulated CPU time (s) 4482.39 Current children cumulated vsize (KiB) 391708 [startup+4542.3 s] /proc/loadavg: 2.01 2.00 1.94 3/180 27927 /proc/meminfo: memFree=22162552/32951124 swapFree=67111528/67111528 [pid=27787] ppid=27785 vsize=8704 CPUtime=1.19 cores=1,3,5,7 /proc/27787/stat : 27787 (glucose.sh) S 27785 27787 27748 0 -1 4202496 359 6249 0 0 0 0 117 2 18 0 1 0 482348463 8912896 255 33554432000 4194304 4922060 140735083231344 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27787/statm: 2176 255 211 178 0 69 0 [pid=27791] ppid=27787 vsize=303496 CPUtime=4541.2 cores=1,3,5,7 /proc/27791/stat : 27791 (glucose_static) R 27787 27787 27748 0 -1 4202496 2325448 0 0 0 453633 487 0 0 25 0 1 0 482348582 310779904 60354 33554432000 4194304 4260849 140736798619072 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/27791/statm: 75874 60354 251 17 0 72515 0 Current children cumulated CPU time (s) 4542.39 Current children cumulated vsize (KiB) 312200 [startup+4602.3 s] /proc/loadavg: 2.00 2.00 1.94 3/180 27929 /proc/meminfo: memFree=22038168/32951124 swapFree=67111528/67111528 [pid=27787] ppid=27785 vsize=8704 CPUtime=1.19 cores=1,3,5,7 /proc/27787/stat : 27787 (glucose.sh) S 27785 27787 27748 0 -1 4202496 359 6249 0 0 0 0 117 2 18 0 1 0 482348463 8912896 255 33554432000 4194304 4922060 140735083231344 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27787/statm: 2176 255 211 178 0 69 0 [pid=27791] ppid=27787 vsize=386148 CPUtime=4601.21 cores=1,3,5,7 /proc/27791/stat : 27791 (glucose_static) R 27787 27787 27748 0 -1 4202496 2345440 0 0 0 459630 491 0 0 25 0 1 0 482348582 395415552 80199 33554432000 4194304 4260849 140736798619072 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/27791/statm: 96537 80199 251 17 0 93178 0 Current children cumulated CPU time (s) 4602.4 Current children cumulated vsize (KiB) 394852 [startup+4662.3 s] /proc/loadavg: 2.00 2.00 1.94 3/180 27930 /proc/meminfo: memFree=22097804/32951124 swapFree=67111528/67111528 [pid=27787] ppid=27785 vsize=8704 CPUtime=1.19 cores=1,3,5,7 /proc/27787/stat : 27787 (glucose.sh) S 27785 27787 27748 0 -1 4202496 359 6249 0 0 0 0 117 2 18 0 1 0 482348463 8912896 255 33554432000 4194304 4922060 140735083231344 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27787/statm: 2176 255 211 178 0 69 0 [pid=27791] ppid=27787 vsize=304944 CPUtime=4661.2 cores=1,3,5,7 /proc/27791/stat : 27791 (glucose_static) R 27787 27787 27748 0 -1 4202496 2379534 0 0 0 465622 498 0 0 25 0 1 0 482348582 312262656 70831 33554432000 4194304 4260849 140736798619072 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/27791/statm: 76236 70831 251 17 0 72877 0 Current children cumulated CPU time (s) 4662.39 Current children cumulated vsize (KiB) 313648 [startup+4722.31 s] /proc/loadavg: 2.00 2.00 1.94 3/180 27932 /proc/meminfo: memFree=22189560/32951124 swapFree=67111528/67111528 [pid=27787] ppid=27785 vsize=8704 CPUtime=1.19 cores=1,3,5,7 /proc/27787/stat : 27787 (glucose.sh) S 27785 27787 27748 0 -1 4202496 359 6249 0 0 0 0 117 2 18 0 1 0 482348463 8912896 255 33554432000 4194304 4922060 140735083231344 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27787/statm: 2176 255 211 178 0 69 0 [pid=27791] ppid=27787 vsize=255544 CPUtime=4721.21 cores=1,3,5,7 /proc/27791/stat : 27791 (glucose_static) R 27787 27787 27748 0 -1 4202496 2406464 0 0 0 471616 505 0 0 25 0 1 0 482348582 261677056 55765 33554432000 4194304 4260849 140736798619072 18446744073709551615 4225149 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/27791/statm: 63886 55765 251 17 0 60527 0 Current children cumulated CPU time (s) 4722.4 Current children cumulated vsize (KiB) 264248 [startup+4782.3 s] /proc/loadavg: 2.00 2.00 1.94 3/180 27934 /proc/meminfo: memFree=22094564/32951124 swapFree=67111528/67111528 [pid=27787] ppid=27785 vsize=8704 CPUtime=1.19 cores=1,3,5,7 /proc/27787/stat : 27787 (glucose.sh) S 27785 27787 27748 0 -1 4202496 359 6249 0 0 0 0 117 2 18 0 1 0 482348463 8912896 255 33554432000 4194304 4922060 140735083231344 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27787/statm: 2176 255 211 178 0 69 0 [pid=27791] ppid=27787 vsize=307176 CPUtime=4781.21 cores=1,3,5,7 /proc/27791/stat : 27791 (glucose_static) R 27787 27787 27748 0 -1 4202496 2418341 0 0 0 477612 509 0 0 25 0 1 0 482348582 314548224 67508 33554432000 4194304 4260849 140736798619072 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/27791/statm: 76794 67508 251 17 0 73435 0 Current children cumulated CPU time (s) 4782.4 Current children cumulated vsize (KiB) 315880 [startup+4842.3 s] /proc/loadavg: 2.00 2.00 1.94 3/180 27935 /proc/meminfo: memFree=22158912/32951124 swapFree=67111528/67111528 [pid=27787] ppid=27785 vsize=8704 CPUtime=1.19 cores=1,3,5,7 /proc/27787/stat : 27787 (glucose.sh) S 27785 27787 27748 0 -1 4202496 359 6249 0 0 0 0 117 2 18 0 1 0 482348463 8912896 255 33554432000 4194304 4922060 140735083231344 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27787/statm: 2176 255 211 178 0 69 0 [pid=27791] ppid=27787 vsize=258920 CPUtime=4841.21 cores=1,3,5,7 /proc/27791/stat : 27791 (glucose_static) R 27787 27787 27748 0 -1 4202496 2448937 0 0 0 483606 515 0 0 25 0 1 0 482348582 265134080 58415 33554432000 4194304 4260849 140736798619072 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/27791/statm: 64730 58415 251 17 0 61371 0 Current children cumulated CPU time (s) 4842.4 Current children cumulated vsize (KiB) 267624 [startup+4902.3 s] /proc/loadavg: 2.00 2.00 1.94 3/180 27937 /proc/meminfo: memFree=22124184/32951124 swapFree=67111528/67111528 [pid=27787] ppid=27785 vsize=8704 CPUtime=1.19 cores=1,3,5,7 /proc/27787/stat : 27787 (glucose.sh) S 27785 27787 27748 0 -1 4202496 359 6249 0 0 0 0 117 2 18 0 1 0 482348463 8912896 255 33554432000 4194304 4922060 140735083231344 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27787/statm: 2176 255 211 178 0 69 0 [pid=27791] ppid=27787 vsize=390652 CPUtime=4901.21 cores=1,3,5,7 /proc/27791/stat : 27791 (glucose_static) R 27787 27787 27748 0 -1 4202496 2464065 0 0 0 489602 519 0 0 25 0 1 0 482348582 400027648 73381 33554432000 4194304 4260849 140736798619072 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/27791/statm: 97663 73381 251 17 0 94304 0 Current children cumulated CPU time (s) 4902.4 Current children cumulated vsize (KiB) 399356 [startup+4962.3 s] /proc/loadavg: 2.00 2.00 1.94 3/180 27938 /proc/meminfo: memFree=22111032/32951124 swapFree=67111528/67111528 [pid=27787] ppid=27785 vsize=8704 CPUtime=1.19 cores=1,3,5,7 /proc/27787/stat : 27787 (glucose.sh) S 27785 27787 27748 0 -1 4202496 359 6249 0 0 0 0 117 2 18 0 1 0 482348463 8912896 255 33554432000 4194304 4922060 140735083231344 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27787/statm: 2176 255 211 178 0 69 0 [pid=27791] ppid=27787 vsize=309924 CPUtime=4961.21 cores=1,3,5,7 /proc/27791/stat : 27791 (glucose_static) R 27787 27787 27748 0 -1 4202496 2496400 0 0 0 495595 526 0 0 25 0 1 0 482348582 317362176 63387 33554432000 4194304 4260849 140736798619072 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/27791/statm: 77481 63387 251 17 0 74122 0 Current children cumulated CPU time (s) 4962.4 Current children cumulated vsize (KiB) 318628 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+5000 s] /proc/loadavg: 2.05 2.01 1.94 2/177 27941 /proc/meminfo: memFree=22311804/32951124 swapFree=67111528/67111528 [pid=27787] ppid=27785 vsize=8704 CPUtime=1.19 cores=1,3,5,7 /proc/27787/stat : 27787 (glucose.sh) S 27785 27787 27748 0 -1 4202496 359 6249 0 0 0 0 117 2 18 0 1 0 482348463 8912896 255 33554432000 4194304 4922060 140735083231344 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/27787/statm: 2176 255 211 178 0 69 0 [pid=27791] ppid=27787 vsize=310964 CPUtime=4998.91 cores=1,3,5,7 /proc/27791/stat : 27791 (glucose_static) R 27787 27787 27748 0 -1 4202496 2504452 0 0 0 499363 528 0 0 25 0 1 0 482348582 318427136 71356 33554432000 4194304 4260849 140736798619072 18446744073709551615 4209476 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/27791/statm: 77741 71356 251 17 0 74382 0 Current children cumulated CPU time (s) 5000.1 Current children cumulated vsize (KiB) 319668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 27787 and gives # childrusage.ru_utime.tv_sec=1 # childrusage.ru_utime.tv_usec=171821 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=21996 # CPU time returned by wait4() is 1.19382 # while last known CPU time is 5000.1 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 5000.01 CPU time (s): 5000.1 CPU user time (s): 4994.8 CPU system time (s): 5.3 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 479984 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.17182 system time used= 0.021996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6608 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= 6 involuntary context switches= 18 runsolver used 7.84481 second user time and 19.3671 second system time The end
Begin job on node140 at 2011-04-27 12:15:31 IDJOB=3303349 IDBENCH=71345 IDSOLVER=1687 FILE ID=node140/3303349-1303899331 RUNJOBID= node140-1303899331-27767 PBS_JOBID= 13164508 Free space on /tmp= 72752 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v2640c305320gyes2.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303349-1303899331/watcher-3303349-1303899331 -o /tmp/evaluation-result-3303349-1303899331/solver-3303349-1303899331 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303349-1303899331.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a931e6258afb576eab04f38421c07518 RANDOM SEED=278539786 node140.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.833 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.66 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.833 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 : 5226.14 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.833 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.75 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.833 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.77 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.833 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.75 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.833 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.74 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.833 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.75 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.833 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: 22598720 kB Buffers: 2272700 kB Cached: 7439944 kB SwapCached: 0 kB Active: 2313228 kB Inactive: 7471360 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 22598720 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 7824 kB Writeback: 0 kB AnonPages: 71888 kB Mapped: 15160 kB Slab: 503060 kB PageTables: 4564 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 214056 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 /tmp at the end= 72744 MiB End job on node140 at 2011-04-27 13:38:53