| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 5000.1 | 5000.01 |
| Name | APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf |
| MD5SUM | 4cf2a693df1b6e5a084b88e84ec5f2af |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 13.4859 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4020 |
| Number of clauses | 466486 |
| Sum of the clauses size | 1393798 |
| Maximum clause length | 20 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 6187 |
| Number of clauses of size 3 | 460268 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 31 |
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.13 c ============================================================================== 0.00/0.13 c | | ORIGINAL | LEARNT | | 0.00/0.13 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.13 c ============================================================================== 0.00/0.13 c | 0 | 466486 1393798 | 139945 0 0 nan | 0.000 % | 3.20/3.25 c | 0 | 464591 2028804 | -- 0 -- -- | -- | -1895/635006 3.20/3.25 c ============================================================================== 3.20/3.25 c Result : #vars: 2624 #clauses: 464591 #literals: 2028804 3.20/3.25 c CPU time: 3.22151 s 3.20/3.25 c ============================================================================== 3.49/3.56 c 3.49/3.56 c Starting glucose 3.49/3.56 c 204.49/204.54 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 204.49/204.54 c WARNING: for repeatability, setting FPU to use double precision 204.49/204.54 c ============================[ Problem Statistics ]============================= 204.49/204.54 c | | 204.49/204.54 c | Number of variables: 2624 | 204.49/204.54 c | Number of clauses: 464591 | 204.49/204.54 c | Parse time: 0.10 s | 204.49/204.54 c | | 204.49/204.54 c ============================[ Search Statistics ]============================== 204.49/204.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 204.49/204.54 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 204.49/204.54 c =============================================================================== 204.49/204.54 c | 730 | 2624 464591 2028804 | 1 730 79 | 0.000 % | 204.49/204.54 c | 830 | 2624 464591 2028804 | 1 830 81 | 0.000 % | 204.49/204.54 c | 931 | 2624 464591 2028804 | 1 931 83 | 0.000 % | 204.49/204.54 c | 1031 | 2624 464591 2028804 | 1 1031 85 | 0.000 % | 204.49/204.54 c | 1133 | 2624 464591 2028804 | 1 1133 87 | 0.000 % | 204.49/204.54 c | 326195 | 2624 464591 2028804 | 1 26611 127 | 0.000 % | 204.49/204.54 c | 369367 | 2624 464591 2028804 | 1 29982 117 | 0.000 % | 204.49/204.54 c | 369467 | 2624 464591 2028804 | 1 30082 117 | 0.000 % | 204.49/204.54 c | 369879 | 2624 464591 2028804 | 1 30494 116 | 0.000 % | 204.49/204.54 c | 431646 | 2624 464591 2028804 | 1 28062 105 | 0.000 % | 204.49/204.54 c | 431855 | 2624 464591 2028804 | 1 28271 106 | 0.000 % | 204.49/204.54 c | 431957 | 2624 464591 2028804 | 1 28373 106 | 0.000 % | 204.49/204.54 c | 433601 | 2624 464591 2028804 | 1 30017 108 | 0.000 % | 204.49/204.54 c | 435397 | 2624 464591 2028804 | 1 31813 109 | 0.000 % | 204.49/204.54 c | 436476 | 2624 464591 2028804 | 1 32892 110 | 0.000 % | 204.49/204.54 c | 441593 | 2624 464591 2028804 | 1 38009 117 | 0.000 % | 204.49/204.54 c | 442297 | 2624 464591 2028804 | 1 38713 117 | 0.000 % | 204.49/204.54 c | 442834 | 2624 464591 2028804 | 1 39250 118 | 0.000 % | 204.49/204.54 c | 442936 | 2624 464591 2028804 | 1 39352 118 | 0.000 % | 204.49/204.54 c | 444231 | 2624 464591 2028804 | 1 40647 119 | 0.000 % | 204.49/204.54 c | 444332 | 2624 464591 2028804 | 1 40748 119 | 0.000 % | 204.49/204.54 c | 568848 | 2624 464591 2028804 | 1 46269 110 | 0.000 % | 204.49/204.54 c | 569053 | 2624 464591 2028804 | 1 46474 110 | 0.000 % | 204.49/204.54 c | 571744 | 2624 464591 2028804 | 1 49165 111 | 0.000 % | 204.49/204.54 c | 572001 | 2624 464591 2028804 | 1 49422 112 | 0.000 % | 204.49/204.54 c | 572978 | 2624 464591 2028804 | 1 50399 113 | 0.000 % | 204.49/204.54 c | 573569 | 2624 464591 2028804 | 1 50990 113 | 0.000 % | 204.49/204.54 c | 575786 | 2624 464591 2028804 | 1 27603 102 | 0.000 % | 204.49/204.54 c | 578103 | 2624 464591 2028804 | 1 29920 105 | 0.000 % | 204.49/204.54 c | 603192 | 2624 464591 2028804 | 1 28811 109 | 0.000 % | 204.49/204.54 c | 605363 | 2624 464591 2028804 | 1 30982 112 | 0.000 % | 204.49/204.54 c | 605464 | 2624 464591 2028804 | 1 31083 112 | 0.000 % | 204.49/204.54 c | 1065914 | 2624 464591 2028804 | 1 99172 114 | 0.000 % | 204.49/204.54 c | 1066846 | 2624 464591 2028804 | 1 100104 114 | 0.000 % | 204.49/204.54 c | 1068179 | 2624 464591 2028804 | 1 101437 115 | 0.000 % | 204.49/204.54 c | 1068280 | 2624 464591 2028804 | 1 101538 115 | 0.000 % | 204.49/204.54 c | 1069683 | 2624 464591 2028804 | 1 102941 115 | 0.000 % | 204.49/204.54 c | 1070296 | 2624 464591 2028804 | 1 103554 115 | 0.000 % | 204.49/204.54 c | 1078054 | 2624 464591 2028804 | 1 111312 118 | 0.000 % | 508.10/508.15 c | 1085121 | 2624 464591 2028804 | 1 118379 119 | 0.000 % | 508.10/508.15 c | 1085324 | 2624 464591 2028804 | 1 118582 119 | 0.000 % | 508.10/508.15 c | 1086183 | 2624 464591 2028804 | 1 119441 119 | 0.000 % | 508.10/508.15 c | 1086289 | 2624 464591 2028804 | 1 119547 119 | 0.000 % | 508.10/508.15 c | 1094281 | 2624 464591 2028804 | 1 127539 122 | 0.000 % | 508.10/508.15 c | 1094392 | 2624 464591 2028804 | 1 127650 122 | 0.000 % | 508.10/508.15 c | 1103469 | 2624 464591 2028804 | 1 136727 121 | 0.000 % | 508.10/508.15 c | 1104254 | 2624 464591 2028804 | 1 137512 121 | 0.000 % | 508.10/508.15 c | 1104354 | 2624 464591 2028804 | 1 137612 121 | 0.000 % | 508.10/508.15 c | 1104454 | 2624 464591 2028804 | 1 137712 121 | 0.000 % | 508.10/508.15 c | 1104556 | 2624 464591 2028804 | 1 137814 121 | 0.000 % | 508.10/508.15 c | 1120436 | 2624 464591 2028804 | 1 153694 121 | 0.000 % | 508.10/508.15 c | 1120536 | 2624 464591 2028804 | 1 153794 121 | 0.000 % | 508.10/508.15 c | 1125268 | 2624 464591 2028804 | 1 158526 121 | 0.000 % | 508.10/508.15 c | 1125561 | 2624 464591 2028804 | 1 158819 121 | 0.000 % | 508.10/508.15 c | 1126249 | 2624 464591 2028804 | 1 159507 121 | 0.000 % | 508.10/508.15 c | 1138358 | 2624 464591 2028804 | 1 91495 99 | 0.000 % | 508.10/508.15 c | 1138568 | 2624 464591 2028804 | 1 91705 99 | 0.000 % | 508.10/508.15 c | 1139207 | 2624 464591 2028804 | 1 92344 100 | 0.000 % | 508.10/508.15 c | 1139745 | 2624 464591 2028804 | 1 92882 100 | 0.000 % | 508.10/508.15 c | 1141438 | 2624 464591 2028804 | 1 94575 101 | 0.000 % | 508.10/508.15 c | 1141998 | 2624 464591 2028804 | 1 95135 101 | 0.000 % | 508.10/508.15 c | 1142100 | 2624 464591 2028804 | 1 95237 102 | 0.000 % | 508.10/508.15 c | 1145684 | 2624 464591 2028804 | 1 98821 104 | 0.000 % | 508.10/508.15 c | 1204576 | 2624 464591 2028804 | 1 157713 122 | 0.000 % | 508.10/508.15 c | 1228017 | 2624 464591 2028804 | 1 98292 98 | 0.000 % | 508.10/508.15 c | 1244490 | 2624 464591 2028804 | 1 114765 106 | 0.000 % | 508.10/508.15 c | 1245696 | 2624 464591 2028804 | 1 115971 107 | 0.000 % | 508.10/508.15 c | 1245806 | 2624 464591 2028804 | 1 116081 107 | 0.000 % | 508.10/508.15 c | 1245906 | 2624 464591 2028804 | 1 116181 107 | 0.000 % | 508.10/508.15 c | 1246010 | 2624 464591 2028804 | 1 116285 107 | 0.000 % | 508.10/508.15 c | 1246798 | 2624 464591 2028804 | 1 117073 107 | 0.000 % | 508.10/508.15 c | 2069738 | 2624 464591 2028804 | 1 182569 131 | 0.000 % | 508.10/508.15 c | 2071771 | 2624 464591 2028804 | 1 184602 131 | 0.000 % | 508.10/508.15 c | 2073881 | 2624 464591 2028804 | 1 186712 131 | 0.000 % | 508.10/508.15 c | 2074407 | 2624 464591 2028804 | 1 187238 131 | 0.000 % | 508.10/508.15 c | 2074508 | 2624 464591 2028804 | 1 187339 131 | 0.000 % | 508.10/508.15 c | 2075398 | 2624 464591 2028804 | 1 188229 131 | 0.000 % | 508.10/508.15 c | 2075578 | 2624 464591 2028804 | 1 188409 131 | 0.000 % | 508.10/508.15 c | 2075816 | 2624 464591 2028804 | 1 188647 131 | 0.000 % | 508.10/508.15 c | 2076111 | 2624 464591 2028804 | 1 188942 131 | 0.000 % | 508.10/508.15 c | 2076211 | 2624 464591 2028804 | 1 189042 131 | 0.000 % | 508.10/508.15 c | 2076610 | 2624 464591 2028804 | 1 189441 131 | 0.000 % | 508.10/508.15 c | 2076711 | 2624 464591 2028804 | 1 189542 131 | 0.000 % | 508.10/508.15 c | 2077067 | 2624 464591 2028804 | 1 189898 131 | 0.000 % | 508.10/508.15 c | 2077594 | 2624 464591 2028804 | 1 190425 131 | 0.000 % | 508.10/508.15 c | 2077700 | 2624 464591 2028804 | 1 190531 131 | 0.000 % | 508.10/508.15 c | 2082365 | 2624 464591 2028804 | 1 195196 131 | 0.000 % | 508.10/508.15 c | 2082465 | 2624 464591 2028804 | 1 195296 131 | 0.000 % | 508.10/508.15 c | 2239418 | 2624 464591 2028804 | 1 136845 105 | 0.000 % | 2003.33/2003.38 c | 2239518 | 2624 464591 2028804 | 1 136945 105 | 0.000 % | 2003.33/2003.38 c | 2239805 | 2624 464591 2028804 | 1 137232 105 | 0.000 % | 2003.33/2003.38 c | 2239905 | 2624 464591 2028804 | 1 137332 105 | 0.000 % | 2003.33/2003.38 c | 2240248 | 2624 464591 2028804 | 1 137675 105 | 0.000 % | 2003.33/2003.38 c | 2240784 | 2624 464591 2028804 | 1 138211 105 | 0.000 % | 2003.33/2003.38 c | 2240998 | 2624 464591 2028804 | 1 138425 105 | 0.000 % | 2003.33/2003.38 c | 2241427 | 2624 464591 2028804 | 1 138854 106 | 0.000 % | 2003.33/2003.38 c | 2241529 | 2624 464591 2028804 | 1 138956 106 | 0.000 % | 2003.33/2003.38 c | 2243003 | 2624 464591 2028804 | 1 140430 106 | 0.000 % | 2003.33/2003.38 c | 2243518 | 2624 464591 2028804 | 1 140945 106 | 0.000 % | 2003.33/2003.38 c | 2247034 | 2624 464591 2028804 | 1 144461 107 | 0.000 % | 2003.33/2003.38 c | 2247137 | 2624 464591 2028804 | 1 144564 107 | 0.000 % | 2003.33/2003.38 c | 2247253 | 2624 464591 2028804 | 1 144680 107 | 0.000 % | 2003.33/2003.38 c | 2247354 | 2624 464591 2028804 | 1 144781 107 | 0.000 % | 2003.33/2003.38 c | 2247661 | 2624 464591 2028804 | 1 145088 107 | 0.000 % | 2003.33/2003.38 c | 2247761 | 2624 464591 2028804 | 1 145188 107 | 0.000 % | 2003.33/2003.38 c | 2260426 | 2624 464591 2028804 | 1 157853 111 | 0.000 % | 2003.33/2003.38 c | 2266340 | 2624 464591 2028804 | 1 163767 113 | 0.000 % | 2003.33/2003.38 c | 2266629 | 2624 464591 2028804 | 1 164056 113 | 0.000 % | 2003.33/2003.38 c | 2267527 | 2624 464591 2028804 | 1 164954 113 | 0.000 % | 2003.33/2003.38 c | 2271214 | 2624 464591 2028804 | 1 168641 114 | 0.000 % | 2003.33/2003.38 c | 2271586 | 2624 464591 2028804 | 1 169013 114 | 0.000 % | 2003.33/2003.38 c | 2272076 | 2624 464591 2028804 | 1 169503 114 | 0.000 % | 2003.33/2003.38 c | 5809724 | 2624 464591 2028804 | 1 311151 106 | 0.000 % | 2003.33/2003.38 c | 5810021 | 2624 464591 2028804 | 1 311448 106 | 0.000 % | 2003.33/2003.38 c | 5810904 | 2624 464591 2028804 | 1 312331 106 | 0.000 % | 2003.33/2003.38 c | 5811005 | 2624 464591 2028804 | 1 312432 106 | 0.000 % | 2003.33/2003.38 c | 6049794 | 2624 464591 2028804 | 1 200622 92 | 0.000 % | 2003.33/2003.38 c | 6050145 | 2624 464591 2028804 | 1 200973 92 | 0.000 % | 2003.33/2003.38 c | 6050640 | 2624 464591 2028804 | 1 201468 92 | 0.000 % | 2003.33/2003.38 c | 6051777 | 2624 464591 2028804 | 1 202605 92 | 0.000 % | 2003.33/2003.38 c | 6052068 | 2624 464591 2028804 | 1 202896 92 | 0.000 % | 2003.33/2003.38 c | 6052169 | 2624 464591 2028804 | 1 202997 92 | 0.000 % | 2003.33/2003.38 c | 6053661 | 2624 464591 2028804 | 1 204489 93 | 0.000 % | 2003.33/2003.38 c | 6053763 | 2624 464591 2028804 | 1 204591 93 | 0.000 % | 2003.33/2003.38 c | 6054927 | 2624 464591 2028804 | 1 205755 94 | 0.000 % | 2003.33/2003.38 c | 6055028 | 2624 464591 2028804 | 1 205856 94 | 0.000 % | 2003.33/2003.38 c | 6055553 | 2624 464591 2028804 | 1 206381 94 | 0.000 % | 2003.33/2003.38 c | 6057083 | 2624 464591 2028804 | 1 207911 94 | 0.000 % | 2003.33/2003.38 c | 6057183 | 2624 464591 2028804 | 1 208011 94 | 0.000 % | 2003.33/2003.38 c | 6057774 | 2624 464591 2028804 | 1 208602 94 | 0.000 % | 2003.33/2003.38 c | 6057930 | 2624 464591 2028804 | 1 208758 94 | 0.000 % | 2003.33/2003.38 c | 6058222 | 2624 464591 2028804 | 1 209050 94 | 0.000 % | 2003.33/2003.38 c | 6058322 | 2624 464591 2028804 | 1 209150 94 | 0.000 % | 2003.33/2003.38 c | 6058738 | 2624 464591 2028804 | 1 209566 94 | 0.000 % | 2003.33/2003.38 c | 6724157 | 2624 464591 2028804 | 1 329589 69 | 0.000 % | 2003.33/2003.38 c | 6793607 | 2624 464591 2028804 | 1 212041 79 | 0.000 % | 2003.33/2003.38 c | 6983273 | 2624 464591 2028804 | 1 212092 79 | 0.000 % | 2003.33/2003.38 c | 7123514 | 2624 464591 2028804 | 1 352333 70 | 0.000 % | 2003.33/2003.38 c | 7267279 | 2624 464591 2028804 | 1 303905 73 | 0.000 % | 3458.77/3458.76 c | 7396392 | 2624 464591 2028804 | 1 238260 76 | 0.000 % | 3458.77/3458.76 c | 7453958 | 2624 464591 2028804 | 1 295826 74 | 0.000 % | 3458.77/3458.76 c | 7454287 | 2624 464591 2028804 | 1 296155 74 | 0.000 % | 3458.77/3458.76 c | 7458984 | 2624 464591 2028804 | 1 300852 74 | 0.000 % | 3458.77/3458.76 c | 7468669 | 2624 464591 2028804 | 1 310537 74 | 0.000 % | 3458.77/3458.76 c | 7839680 | 2624 464591 2028804 | 1 284113 74 | 0.000 % | 3458.77/3458.76 c | 7903581 | 2624 464591 2028804 | 1 348014 72 | 0.000 % | 3458.77/3458.76 c | 7908362 | 2624 464591 2028804 | 1 352795 71 | 0.000 % | 3458.77/3458.76 c | 9135864 | 2624 464591 2028804 | 1 325704 71 | 0.000 % | 3458.77/3458.76 c | 9170594 | 2624 464591 2028804 | 1 360434 70 | 0.000 % | 3458.77/3458.76 c | 9171746 | 2624 464591 2028804 | 1 361586 70 | 0.000 % | 3458.77/3458.76 c | 9252332 | 2624 464591 2028804 | 1 223987 76 | 0.000 % | 3458.77/3458.76 c | 9373649 | 2624 464591 2028804 | 1 345304 75 | 0.000 % | 3458.77/3458.76 c | 9373749 | 2624 464591 2028804 | 1 345404 75 | 0.000 % | 3458.77/3458.76 c | 9373858 | 2624 464591 2028804 | 1 345513 75 | 0.000 % | 3458.77/3458.76 c | 9665849 | 2624 464591 2028804 | 1 416704 65 | 0.000 % | 3458.77/3458.76 c | 9719467 | 2624 464591 2028804 | 1 246917 73 | 0.000 % | 3458.77/3458.76 c | 9808519 | 2624 464591 2028804 | 1 335969 69 | 0.000 % | 3458.77/3458.76 c | 10189054 | 2624 464591 2028804 | 1 261918 71 | 0.000 % | 3458.77/3458.76 c | 10867110 | 2624 464591 2028804 | 1 238543 73 | 0.000 % | 3458.77/3458.76 c | 12626691 | 2624 464591 2028804 | 1 270533 70 | 0.000 % | 3458.77/3458.76 c | 12684615 | 2624 464591 2028804 | 1 328457 69 | 0.000 % | 3458.77/3458.76 c | 12684997 | 2624 464591 2028804 | 1 328839 69 | 0.000 % | 3458.77/3458.76 c | 12686819 | 2624 464591 2028804 | 1 330661 69 | 0.000 % | 3458.77/3458.76 c | 12687322 | 2624 464591 2028804 | 1 331164 69 | 0.000 % | 3458.77/3458.76 c | 12687426 | 2624 464591 2028804 | 1 331268 69 | 0.000 % | 3458.77/3458.76 c | 12687526 | 2624 464591 2028804 | 1 331368 69 | 0.000 % | 3458.77/3458.76 c | 12687626 | 2624 464591 2028804 | 1 331468 69 | 0.000 % | 3458.77/3458.76 c | 12687727 | 2624 464591 2028804 | 1 331569 69 | 0.000 % | 3458.77/3458.76 c | 12687828 | 2624 464591 2028804 | 1 331670 69 | 0.000 % | 3458.77/3458.76 c | 12687929 | 2624 464591 2028804 | 1 331771 69 | 0.000 % | 3458.77/3458.76 c | 12688029 | 2624 464591 2028804 | 1 331871 69 | 0.000 % | 3458.77/3458.76 c | 12688130 | 2624 464591 2028804 | 1 331972 69 | 0.000 % | 3458.77/3458.76 c | 12688231 | 2624 464591 2028804 | 1 332073 69 | 0.000 % | 3458.77/3458.76 c | 12688331 | 2624 464591 2028804 | 1 332173 69 | 0.000 % | 3458.77/3458.76 c | 12688432 | 2624 464591 2028804 | 1 332274 69 | 0.000 % | 3458.77/3458.76 c | 12688532 | 2624 464591 2028804 | 1 332374 69 | 0.000 % | 3458.77/3458.76 c | 12688633 | 2624 464591 2028804 | 1 332475 69 | 0.000 % | 3458.77/3458.76 c | 12688734 | 2624 464591 2028804 | 1 332576 69 | 0.000 % | 3458.77/3458.76 c | 12688835 | 2624 464591 2028804 | 1 332677 69 | 0.000 % | 3458.77/3458.76 c | 12688935 | 2624 464591 2028804 | 1 332777 69 | 0.000 % | 3458.77/3458.76 c | 12689040 | 2624 464591 2028804 | 1 332882 69 | 0.000 % | 3458.77/3458.76 c | 12689140 | 2624 464591 2028804 | 1 332982 69 | 0.000 % | 3458.77/3458.76 c | 12689240 | 2624 464591 2028804 | 1 333082 69 | 0.000 % | 3458.77/3458.76 c | 12689341 | 2624 464591 2028804 | 1 333183 69 | 0.000 % | 3458.77/3458.76 c | 12689442 | 2624 464591 2028804 | 1 333284 69 | 0.000 % | 3458.77/3458.76 c | 12689542 | 2624 464591 2028804 | 1 333384 69 | 0.000 % | 3458.77/3458.76 c | 12689643 | 2624 464591 2028804 | 1 333485 69 | 0.000 % | 3458.77/3458.76 c | 12689744 | 2624 464591 2028804 | 1 333586 69 | 0.000 % | 3458.77/3458.76 c | 12689844 | 2624 464591 2028804 | 1 333686 69 | 0.000 % | 3460.27/3460.24 c | 12689946 | 2624 464591 2028804 | 1 333788 69 | 0.000 % | 3460.27/3460.24 c | 12690046 | 2624 464591 2028804 | 1 333888 69 | 0.000 % | 3460.27/3460.24 c | 12690147 | 2624 464591 2028804 | 1 333989 69 | 0.000 % | 3460.27/3460.24 c | 12690248 | 2624 464591 2028804 | 1 334090 69 | 0.000 % | 3460.27/3460.24 c | 12690349 | 2624 464591 2028804 | 1 334191 69 | 0.000 % | 3460.27/3460.24 c | 12690451 | 2624 464591 2028804 | 1 334293 69 | 0.000 % | 3460.27/3460.24 c | 12690552 | 2624 464591 2028804 | 1 334394 69 | 0.000 % | 3460.27/3460.24 c | 12690652 | 2624 464591 2028804 | 1 334494 69 | 0.000 % | 3460.27/3460.24 c | 12690753 | 2624 464591 2028804 | 1 334595 69 | 0.000 % | 3460.27/3460.24 c | 12690854 | 2624 464591 2028804 | 1 334696 69 | 0.000 % | 3460.27/3460.24 c | 12690954 | 2624 464591 2028804 | 1 334796 69 | 0.000 % | 3460.27/3460.24 c | 12691055 | 2624 464591 2028804 | 1 334897 69 | 0.000 % | 3460.27/3460.24 c | 12691979 | 2624 464591 2028804 | 1 335821 69 | 0.000 % | 3460.27/3460.24 c | 12692082 | 2624 464591 2028804 | 1 335924 69 | 0.000 % | 3460.27/3460.24 c | 12692182 | 2624 464591 2028804 | 1 336024 69 | 0.000 % | 3460.27/3460.24 c | 12692282 | 2624 464591 2028804 | 1 336124 69 | 0.000 % | 3460.27/3460.24 c | 12692384 | 2624 464591 2028804 | 1 336226 69 | 0.000 % | 3460.27/3460.24 c | 12692484 | 2624 464591 2028804 | 1 336326 69 | 0.000 % | 3460.27/3460.24 c | 12692586 | 2624 464591 2028804 | 1 336428 69 | 0.000 % | 3460.27/3460.24 c | 12692688 | 2624 464591 2028804 | 1 336530 69 | 0.000 % | 3460.27/3460.24 c | 12692788 | 2624 464591 2028804 | 1 336630 69 | 0.000 % | 3460.27/3460.24 c | 12692890 | 2624 464591 2028804 | 1 336732 69 | 0.000 % | 3460.27/3460.24 c | 12692990 | 2624 464591 2028804 | 1 336832 69 | 0.000 % | 3460.27/3460.24 c | 12693091 | 2624 464591 2028804 | 1 336933 69 | 0.000 % | 3460.27/3460.24 c | 12693191 | 2624 464591 2028804 | 1 337033 69 | 0.000 % | 3460.27/3460.24 c | 12693292 | 2624 464591 2028804 | 1 337134 69 | 0.000 % | 3460.27/3460.24 c | 12693392 | 2624 464591 2028804 | 1 337234 69 | 0.000 % | 3460.27/3460.24 c | 12693494 | 2624 464591 2028804 | 1 337336 69 | 0.000 % | 3460.27/3460.24 c | 12693595 | 2624 464591 2028804 | 1 337437 69 | 0.000 % | 3460.27/3460.24 c | 12693695 | 2624 464591 2028804 | 1 337537 69 | 0.000 % | 3460.27/3460.24 c | 12693795 | 2624 464591 2028804 | 1 337637 69 | 0.000 % | 3460.27/3460.24 c | 12694010 | 2624 464591 2028804 | 1 337852 69 | 0.000 % | 3460.27/3460.24 c | 12694112 | 2624 464591 2028804 | 1 337954 69 | 0.000 % | 3460.27/3460.24 c | 12694212 | 2624 464591 2028804 | 1 338054 69 | 0.000 % | 3460.27/3460.24 c | 12694321 | 2624 464591 2028804 | 1 338163 69 | 0.000 % | 3460.27/3460.24 c | 12694868 | 2624 464591 2028804 | 1 338710 69 | 0.000 % | 3460.27/3460.24 c | 12695006 | 2624 464591 2028804 | 1 338848 69 | 0.000 % | 3460.27/3460.24 c | 12695106 | 2624 464591 2028804 | 1 338948 69 | 0.000 % | 3460.27/3460.24 c | 12695209 | 2624 464591 2028804 | 1 339051 69 | 0.000 % | 3460.27/3460.24 c | 12696605 | 2624 464591 2028804 | 1 340447 69 | 0.000 % | 3460.27/3460.24 c | 12696707 | 2624 464591 2028804 | 1 340549 69 | 0.000 % | 3460.27/3460.24 c | 12696807 | 2624 464591 2028804 | 1 340649 69 | 0.000 % | 3460.27/3460.24 c | 12696909 | 2624 464591 2028804 | 1 340751 69 | 0.000 % | 3460.27/3460.24 c | 12697009 | 2624 464591 2028804 | 1 340851 69 | 0.000 % | 3460.27/3460.24 c | 12697109 | 2624 464591 2028804 | 1 340951 69 | 0.000 % | 3460.27/3460.24 c | 12697209 | 2624 464591 2028804 | 1 341051 69 | 0.000 % | 3460.27/3460.24 c | 12697314 | 2624 464591 2028804 | 1 341156 69 | 0.000 % | 3460.27/3460.24 c | 12697416 | 2624 464591 2028804 | 1 341258 69 | 0.000 % | 3460.27/3460.24 c | 12697518 | 2624 464591 2028804 | 1 341360 69 | 0.000 % | 3460.27/3460.24 c | 12697618 | 2624 464591 2028804 | 1 341460 69 | 0.000 % | 4027.08/4027.06 c | 12697890 | 2624 464591 2028804 | 1 341732 69 | 0.000 % | 4027.08/4027.06 c | 12697991 | 2624 464591 2028804 | 1 341833 69 | 0.000 % | 4027.08/4027.06 c | 12698093 | 2624 464591 2028804 | 1 341935 69 | 0.000 % | 4027.08/4027.06 c | 12698194 | 2624 464591 2028804 | 1 342036 69 | 0.000 % | 4027.08/4027.06 c | 12698295 | 2624 464591 2028804 | 1 342137 69 | 0.000 % | 4027.08/4027.06 c | 12698396 | 2624 464591 2028804 | 1 342238 69 | 0.000 % | 4027.08/4027.06 c | 12698498 | 2624 464591 2028804 | 1 342340 69 | 0.000 % | 4027.08/4027.06 c | 12698599 | 2624 464591 2028804 | 1 342441 69 | 0.000 % | 4027.08/4027.06 c | 12698699 | 2624 464591 2028804 | 1 342541 69 | 0.000 % | 4027.08/4027.06 c | 12698951 | 2624 464591 2028804 | 1 342793 69 | 0.000 % | 4027.08/4027.06 c | 12699052 | 2624 464591 2028804 | 1 342894 69 | 0.000 % | 4027.08/4027.06 c | 12699156 | 2624 464591 2028804 | 1 342998 69 | 0.000 % | 4027.08/4027.06 c | 12699256 | 2624 464591 2028804 | 1 343098 69 | 0.000 % | 4027.08/4027.06 c | 12699401 | 2624 464591 2028804 | 1 343243 69 | 0.000 % | 4027.08/4027.06 c | 12699502 | 2624 464591 2028804 | 1 343344 69 | 0.000 % | 4027.08/4027.06 c | 12699733 | 2624 464591 2028804 | 1 343575 69 | 0.000 % | 4027.08/4027.06 c | 12699834 | 2624 464591 2028804 | 1 343676 69 | 0.000 % | 4027.08/4027.06 c | 12699935 | 2624 464591 2028804 | 1 343777 69 | 0.000 % | 4027.08/4027.06 c | 12700035 | 2624 464591 2028804 | 1 343877 69 | 0.000 % | 4027.08/4027.06 c | 12700137 | 2624 464591 2028804 | 1 343979 70 | 0.000 % | 4027.08/4027.06 c | 12700237 | 2624 464591 2028804 | 1 344079 70 | 0.000 % | 4027.08/4027.06 c | 12700337 | 2624 464591 2028804 | 1 344179 70 | 0.000 % | 4027.08/4027.06 c | 12700437 | 2624 464591 2028804 | 1 344279 70 | 0.000 % | 4027.08/4027.06 c | 12700537 | 2624 464591 2028804 | 1 344379 70 | 0.000 % | 4027.08/4027.06 c | 12700637 | 2624 464591 2028804 | 1 344479 70 | 0.000 % | 4027.08/4027.06 c | 12700738 | 2624 464591 2028804 | 1 344580 70 | 0.000 % | 4027.08/4027.06 c | 12700839 | 2624 464591 2028804 | 1 344681 70 | 0.000 % | 4027.08/4027.06 c | 12700939 | 2624 464591 2028804 | 1 344781 70 | 0.000 % | 4027.08/4027.06 c | 12701040 | 2624 464591 2028804 | 1 344882 70 | 0.000 % | 4027.08/4027.06 c | 12701140 | 2624 464591 2028804 | 1 344982 70 | 0.000 % | 4027.08/4027.06 c | 12701241 | 2624 464591 2028804 | 1 345083 70 | 0.000 % | 4027.08/4027.06 c | 12701344 | 2624 464591 2028804 | 1 345186 70 | 0.000 % | 4027.08/4027.06 c | 12701444 | 2624 464591 2028804 | 1 345286 70 | 0.000 % | 4027.08/4027.06 c | 12701545 | 2624 464591 2028804 | 1 345387 70 | 0.000 % | 4027.08/4027.06 c | 12701645 | 2624 464591 2028804 | 1 345487 70 | 0.000 % | 4027.08/4027.06 c | 12701749 | 2624 464591 2028804 | 1 345591 70 | 0.000 % | 4027.08/4027.06 c | 12701849 | 2624 464591 2028804 | 1 345691 70 | 0.000 % | 4027.08/4027.06 c | 12701949 | 2624 464591 2028804 | 1 345791 70 | 0.000 % | 4027.08/4027.06 c | 12702050 | 2624 464591 2028804 | 1 345892 70 | 0.000 % | 4027.08/4027.06 c | 14663777 | 2624 464591 2028804 | 1 452598 102 | 0.000 % | 4027.08/4027.06 c | 14663878 | 2624 464591 2028804 | 1 452699 102 | 0.000 % | 4027.08/4027.06 c | 14666952 | 2624 464591 2028804 | 1 455773 102 | 0.000 % | 4027.08/4027.06 c | 14667052 | 2624 464591 2028804 | 1 455873 102 | 0.000 % | 4027.08/4027.06 c | 14667154 | 2624 464591 2028804 | 1 455975 102 | 0.000 % | 4027.08/4027.06 c | 14675552 | 2624 464591 2028804 | 1 464373 103 | 0.000 % | 4027.08/4027.06 c | 14675993 | 2624 464591 2028804 | 1 464814 103 | 0.000 % | 4027.08/4027.06 c | 14676353 | 2624 464591 2028804 | 1 465174 103 | 0.000 % | 4027.08/4027.06 c | 14676621 | 2624 464591 2028804 | 1 465442 103 | 0.000 % | 4027.08/4027.06 c | 14677400 | 2624 464591 2028804 | 1 466221 104 | 0.000 % | 4027.08/4027.06 c | 14677601 | 2624 464591 2028804 | 1 466422 104 | 0.000 % | 4064.18/4064.14 c | 14698756 | 2624 464591 2028804 | 1 487577 105 | 0.000 % | 4064.18/4064.14 c | 14700964 | 2624 464591 2028804 | 1 489785 105 | 0.000 % | 4064.18/4064.14 c | 14701101 | 2624 464591 2028804 | 1 489922 105 | 0.000 % | 4064.18/4064.14 c | 14703728 | 2624 464591 2028804 | 1 492549 106 | 0.000 % | 4064.18/4064.14 c | 14703829 | 2624 464591 2028804 | 1 492650 106 | 0.000 % | 4064.18/4064.14 c | 14708523 | 2624 464591 2028804 | 1 497344 106 | 0.000 % | 4064.18/4064.14 c | 14708893 | 2624 464591 2028804 | 1 497714 106 | 0.000 % | 4064.18/4064.14 c | 14709661 | 2624 464591 2028804 | 1 498482 106 | 0.000 % | 4064.18/4064.14 c | 14718976 | 2624 464591 2028804 | 1 507797 107 | 0.000 % | 4064.18/4064.14 c | 14721426 | 2624 464591 2028804 | 1 510247 107 | 0.000 % | 4064.18/4064.14 c | 14721829 | 2624 464591 2028804 | 1 510650 107 | 0.000 % | 4064.18/4064.14 c | 14723782 | 2624 464591 2028804 | 1 512603 108 | 0.000 % | 4064.18/4064.14 c | 14726875 | 2624 464591 2028804 | 1 515696 108 | 0.000 % | 4064.18/4064.14 c | 14726975 | 2624 464591 2028804 | 1 515796 108 | 0.000 % | 4064.18/4064.14 c | 14769022 | 2624 464591 2028804 | 1 282450 77 | 0.000 % | 4064.18/4064.14 c | 14769122 | 2624 464591 2028804 | 1 282550 77 | 0.000 % | 4064.18/4064.14 c | 14775651 | 2624 464591 2028804 | 1 289079 78 | 0.000 % | 4064.18/4064.14 c | 14784153 | 2624 464591 2028804 | 1 297581 79 | 0.000 % | 4064.18/4064.14 c | 14784253 | 2624 464591 2028804 | 1 297681 80 | 0.000 % | 4064.18/4064.14 c | 14793217 | 2624 464591 2028804 | 1 306645 80 | 0.000 % | 4064.18/4064.14 c | 14793317 | 2624 464591 2028804 | 1 306745 80 | 0.000 % | 4064.18/4064.14 c | 14799191 | 2624 464591 2028804 | 1 312619 81 | 0.000 % | 4064.18/4064.14 c | 14800646 | 2624 464591 2028804 | 1 314074 82 | 0.000 % | 4064.18/4064.14 c | 14801144 | 2624 464591 2028804 | 1 314572 82 | 0.000 % | 4064.18/4064.14 c | 14801246 | 2624 464591 2028804 | 1 314674 82 | 0.000 % | 4064.18/4064.14 c | 14801827 | 2624 464591 2028804 | 1 315255 82 | 0.000 % | 4064.18/4064.14 c | 14827215 | 2624 464591 2028804 | 1 340643 85 | 0.000 % | 4064.18/4064.14 c | 14832210 | 2624 464591 2028804 | 1 345638 86 | 0.000 % | 4064.18/4064.14 c | 14832693 | 2624 464591 2028804 | 1 346121 86 | 0.000 % | 4064.18/4064.14 c | 14832944 | 2624 464591 2028804 | 1 346372 86 | 0.000 % | 4064.18/4064.14 c | 14833571 | 2624 464591 2028804 | 1 346999 86 | 0.000 % | 4064.18/4064.14 c | 14833822 | 2624 464591 2028804 | 1 347250 86 | 0.000 % | 4064.18/4064.14 c | 14834428 | 2624 464591 2028804 | 1 347856 86 | 0.000 % | 4064.18/4064.14 c | 14834771 | 2624 464591 2028804 | 1 348199 86 | 0.000 % | 4064.18/4064.14 c | 14834880 | 2624 464591 2028804 | 1 348308 86 | 0.000 % | 4064.18/4064.14 c | 14847929 | 2624 464591 2028804 | 1 361357 87 | 0.000 % | 4064.18/4064.14 c | 14848048 | 2624 464591 2028804 | 1 361476 87 | 0.000 % | 4064.18/4064.14 c | 14848239 | 2624 464591 2028804 | 1 361667 87 | 0.000 % | 4064.18/4064.14 c | 14849102 | 2624 464591 2028804 | 1 362530 88 | 0.000 % | 4064.18/4064.14 c | 14851821 | 2624 464591 2028804 | 1 365249 88 | 0.000 % | 4064.18/4064.14 c | 14851921 | 2624 464591 2028804 | 1 365349 88 | 0.000 % | 4064.18/4064.14 c | 14852173 | 2624 464591 2028804 | 1 365601 88 | 0.000 % | 4064.18/4064.14 c | 14852296 | 2624 464591 2028804 | 1 365724 88 | 0.000 % | 4064.18/4064.14 c | 14852907 | 2624 464591 2028804 | 1 366335 88 | 0.000 % | 4064.18/4064.14 c | 14853779 | 2624 464591 2028804 | 1 367207 88 | 0.000 % | 4064.18/4064.14 c | 14853879 | 2624 464591 2028804 | 1 367307 88 | 0.000 % | 4064.18/4064.14 c | 14853981 | 2624 464591 2028804 | 1 367409 88 | 0.000 % | 4064.18/4064.14 c | 14854081 | 2624 464591 2028804 | 1 367509 89 | 0.000 % | 4064.18/4064.14 c | 14854420 | 2624 464591 2028804 | 1 367848 89 | 0.000 % | 4070.88/4070.82 c | 14854521 | 2624 464591 2028804 | 1 367949 89 | 0.000 % | 4070.88/4070.82 c | 14854667 | 2624 464591 2028804 | 1 368095 89 | 0.000 % | 4070.88/4070.82 c | 14854768 | 2624 464591 2028804 | 1 368196 89 | 0.000 % | 4070.88/4070.82 c | 14855076 | 2624 464591 2028804 | 1 368504 89 | 0.000 % | 4070.88/4070.82 c | 14855324 | 2624 464591 2028804 | 1 368752 89 | 0.000 % | 4070.88/4070.82 c | 14856687 | 2624 464591 2028804 | 1 370115 89 | 0.000 % | 4070.88/4070.82 c | 14856788 | 2624 464591 2028804 | 1 370216 89 | 0.000 % | 4070.88/4070.82 c | 14857902 | 2624 464591 2028804 | 1 371330 89 | 0.000 % | 4070.88/4070.82 c | 14860168 | 2624 464591 2028804 | 1 373596 89 | 0.000 % | 4070.88/4070.82 c | 14860268 | 2624 464591 2028804 | 1 373696 89 | 0.000 % | 4070.88/4070.82 c | 14861189 | 2624 464591 2028804 | 1 374617 90 | 0.000 % | 4070.88/4070.82 c | 14861290 | 2624 464591 2028804 | 1 374718 90 | 0.000 % | 4070.88/4070.82 c | 14861390 | 2624 464591 2028804 | 1 374818 90 | 0.000 % | 4070.88/4070.82 c | 14863127 | 2624 464591 2028804 | 1 376555 90 | 0.000 % | 4070.88/4070.82 c | 14863541 | 2624 464591 2028804 | 1 376969 90 | 0.000 % | 4070.88/4070.82 c | 14863670 | 2624 464591 2028804 | 1 377098 90 | 0.000 % | 4070.88/4070.82 c | 14863772 | 2624 464591 2028804 | 1 377200 90 | 0.000 % | 4070.88/4070.82 c | 14864225 | 2624 464591 2028804 | 1 377653 90 | 0.000 % | 4070.88/4070.82 c | 14864889 | 2624 464591 2028804 | 1 378317 90 | 0.000 % | 4070.88/4070.82 c | 14865218 | 2624 464591 2028804 | 1 378646 90 | 0.000 % | 4070.88/4070.82 c | 14865719 | 2624 464591 2028804 | 1 379147 90 | 0.000 % | 4070.88/4070.82 c | 14867671 | 2624 464591 2028804 | 1 381099 90 | 0.000 % | 4070.88/4070.82 c | 14867782 | 2624 464591 2028804 | 1 381210 90 | 0.000 % | 4070.88/4070.82 c | 14868244 | 2624 464591 2028804 | 1 381672 90 | 0.000 % | 4070.88/4070.82 c | 14868344 | 2624 464591 2028804 | 1 381772 91 | 0.000 % | 4070.88/4070.82 c | 14868911 | 2624 464591 2028804 | 1 382339 91 | 0.000 % | 4070.88/4070.82 c | 14869014 | 2624 464591 2028804 | 1 382442 91 | 0.000 % | 4070.88/4070.82 c | 14869115 | 2624 464591 2028804 | 1 382543 91 | 0.000 % | 4070.88/4070.82 c | 14872354 | 2624 464591 2028804 | 1 385782 91 | 0.000 % | 4070.88/4070.82 c | 14873643 | 2624 464591 2028804 | 1 387071 91 | 0.000 % | 4070.88/4070.82 c | 14874130 | 2624 464591 2028804 | 1 387558 91 | 0.000 % | 4070.88/4070.82 c | 14874410 | 2624 464591 2028804 | 1 387838 92 | 0.000 % | 4070.88/4070.82 c | 14874510 | 2624 464591 2028804 | 1 387938 92 | 0.000 % | 4070.88/4070.82 c | 14874803 | 2624 464591 2028804 | 1 388231 92 | 0.000 % | 4070.88/4070.82 c | 14874905 | 2624 464591 2028804 | 1 388333 92 | 0.000 % | 4070.88/4070.82 c | 14875005 | 2624 464591 2028804 | 1 388433 92 | 0.000 % | 4070.88/4070.82 c | 14875105 | 2624 464591 2028804 | 1 388533 92 | 0.000 % | 4070.88/4070.82 c | 14875205 | 2624 464591 2028804 | 1 388633 92 | 0.000 % | 4070.88/4070.82 c | 14875305 | 2624 464591 2028804 | 1 388733 92 | 0.000 % | 4070.88/4070.82 c | 14875406 | 2624 464591 2028804 | 1 388834 92 | 0.000 % | 4070.88/4070.82 c | 14875673 | 2624 464591 2028804 | 1 389101 92 | 0.000 % | 4070.88/4070.82 c | 14878431 | 2624 464591 2028804 | 1 391859 92 | 0.000 % | 4070.88/4070.82 c | 14879715 | 2624 464591 2028804 | 1 393143 92 | 0.000 % | 4070.88/4070.82 c | 14879903 | 2624 464591 2028804 | 1 393331 92 | 0.000 % | 4070.88/4070.82 c | 14880003 | 2624 464591 2028804 | 1 393431 92 | 0.000 % | 4070.88/4070.82 c | 14882390 | 2624 464591 2028804 | 1 395818 93 | 0.000 % | 4070.88/4070.82 c | 14884464 | 2624 464591 2028804 | 1 397892 93 | 0.000 % | 4070.88/4070.82 c | 14885918 | 2624 464591 2028804 | 1 399346 93 | 0.000 % | 4070.88/4070.82 c | 14886022 | 2624 464591 2028804 | 1 399450 93 | 0.000 % | 4070.88/4070.82 c | 14886170 | 2624 464591 2028804 | 1 399598 93 | 0.000 % | 4078.18/4078.15 c | 14887448 | 2624 464591 2028804 | 1 400876 93 | 0.000 % | 4078.18/4078.15 c | 14888528 | 2624 464591 2028804 | 1 401956 93 | 0.000 % | 4078.18/4078.15 c | 14888634 | 2624 464591 2028804 | 1 402062 93 | 0.000 % | 4078.18/4078.15 c | 14888844 | 2624 464591 2028804 | 1 402272 93 | 0.000 % | 4078.18/4078.15 c | 14888944 | 2624 464591 2028804 | 1 402372 93 | 0.000 % | 4078.18/4078.15 c | 14889171 | 2624 464591 2028804 | 1 402599 93 | 0.000 % | 4078.18/4078.15 c | 14891385 | 2624 464591 2028804 | 1 404813 94 | 0.000 % | 4078.18/4078.15 c | 14891486 | 2624 464591 2028804 | 1 404914 94 | 0.000 % | 4078.18/4078.15 c | 14891742 | 2624 464591 2028804 | 1 405170 94 | 0.000 % | 4078.18/4078.15 c | 14892016 | 2624 464591 2028804 | 1 405444 94 | 0.000 % | 4078.18/4078.15 c | 14892120 | 2624 464591 2028804 | 1 405548 94 | 0.000 % | 4078.18/4078.15 c | 14893072 | 2624 464591 2028804 | 1 406500 94 | 0.000 % | 4078.18/4078.15 c | 14893172 | 2624 464591 2028804 | 1 406600 94 | 0.000 % | 4078.18/4078.15 c | 14893389 | 2624 464591 2028804 | 1 406817 94 | 0.000 % | 4078.18/4078.15 c | 14894808 | 2624 464591 2028804 | 1 408236 94 | 0.000 % | 4078.18/4078.15 c | 14894989 | 2624 464591 2028804 | 1 408417 94 | 0.000 % | 4078.18/4078.15 c | 14896886 | 2624 464591 2028804 | 1 410314 94 | 0.000 % | 4078.18/4078.15 c | 14897418 | 2624 464591 2028804 | 1 410846 94 | 0.000 % | 4078.18/4078.15 c | 14897593 | 2624 464591 2028804 | 1 411021 94 | 0.000 % | 4078.18/4078.15 c | 14897698 | 2624 464591 2028804 | 1 411126 94 | 0.000 % | 4078.18/4078.15 c | 14897949 | 2624 464591 2028804 | 1 411377 94 | 0.000 % | 4078.18/4078.15 c | 14898246 | 2624 464591 2028804 | 1 411674 94 | 0.000 % | 4078.18/4078.15 c | 14898347 | 2624 464591 2028804 | 1 411775 94 | 0.000 % | 4078.18/4078.15 c | 14898835 | 2624 464591 2028804 | 1 412263 95 | 0.000 % | 4078.18/4078.15 c | 14899164 | 2624 464591 2028804 | 1 412592 95 | 0.000 % | 4078.18/4078.15 c | 14899324 | 2624 464591 2028804 | 1 412752 95 | 0.000 % | 4078.18/4078.15 c | 14899671 | 2624 464591 2028804 | 1 413099 95 | 0.000 % | 4078.18/4078.15 c | 14899905 | 2624 464591 2028804 | 1 413333 95 | 0.000 % | 4078.18/4078.15 c | 14900590 | 2624 464591 2028804 | 1 414018 95 | 0.000 % | 4078.18/4078.15 c | 14900690 | 2624 464591 2028804 | 1 414118 95 | 0.000 % | 4078.18/4078.15 c | 14900957 | 2624 464591 2028804 | 1 414385 95 | 0.000 % | 4078.18/4078.15 c | 14901057 | 2624 464591 2028804 | 1 414485 95 | 0.000 % | 4078.18/4078.15 c | 14908762 | 2624 464591 2028804 | 1 422190 96 | 0.000 % | 4078.18/4078.15 c | 14909041 | 2624 464591 2028804 | 1 422469 96 | 0.000 % | 4078.18/4078.15 c | 14909141 | 2624 464591 2028804 | 1 422569 96 | 0.000 % | 4078.18/4078.15 c | 14909693 | 2624 464591 2028804 | 1 423121 96 | 0.000 % | 4078.18/4078.15 c | 14913194 | 2624 464591 2028804 | 1 426622 96 | 0.000 % | 4078.18/4078.15 c | 14913374 | 2624 464591 2028804 | 1 426802 96 | 0.000 % | 4078.18/4078.15 c | 14913476 | 2624 464591 2028804 | 1 426904 96 | 0.000 % | 4078.18/4078.15 c | 14913577 | 2624 464591 2028804 | 1 427005 96 | 0.000 % | 4078.18/4078.15 c | 14914565 | 2624 464591 2028804 | 1 427993 96 | 0.000 % | 4078.18/4078.15 c | 14914688 | 2624 464591 2028804 | 1 428116 96 | 0.000 % | 4078.18/4078.15 c | 14917190 | 2624 464591 2028804 | 1 430618 97 | 0.000 % | 4078.18/4078.15 c | 14917290 | 2624 464591 2028804 | 1 430718 97 | 0.000 % | 4078.18/4078.15 c | 14917390 | 2624 464591 2028804 | 1 430818 97 | 0.000 % | 4078.18/4078.15 c | 14917507 | 2624 464591 2028804 | 1 430935 97 | 0.000 % | 4078.18/4078.15 c | 14917742 | 2624 464591 2028804 | 1 431170 97 | 0.000 % | 4078.18/4078.15 c | 14917842 | 2624 464591 2028804 | 1 431270 97 | 0.000 % | 4078.18/4078.15 c | 14918137 | 2624 464591 2028804 | 1 431565 97 | 0.000 % | 4078.18/4078.15 c | 14918315 | 2624 464591 2028804 | 1 431743 97 | 0.000 % | 4084.77/4084.77 c | 14918775 | 2624 464591 2028804 | 1 432203 97 | 0.000 % | 4084.77/4084.77 c | 14918892 | 2624 464591 2028804 | 1 432320 97 | 0.000 % | 4084.77/4084.77 c | 14923430 | 2624 464591 2028804 | 1 436858 97 | 0.000 % | 4084.77/4084.77 c | 14923530 | 2624 464591 2028804 | 1 436958 97 | 0.000 % | 4084.77/4084.77 c | 14924034 | 2624 464591 2028804 | 1 437462 97 | 0.000 % | 4084.77/4084.77 c | 14924777 | 2624 464591 2028804 | 1 438205 97 | 0.000 % | 4084.77/4084.77 c | 14924878 | 2624 464591 2028804 | 1 438306 97 | 0.000 % | 4084.77/4084.77 c | 14925419 | 2624 464591 2028804 | 1 438847 98 | 0.000 % | 4084.77/4084.77 c | 14925529 | 2624 464591 2028804 | 1 438957 98 | 0.000 % | 4084.77/4084.77 c | 14925630 | 2624 464591 2028804 | 1 439058 98 | 0.000 % | 4084.77/4084.77 c | 14925946 | 2624 464591 2028804 | 1 439374 98 | 0.000 % | 4084.77/4084.77 c | 14926047 | 2624 464591 2028804 | 1 439475 98 | 0.000 % | 4084.77/4084.77 c | 14926224 | 2624 464591 2028804 | 1 439652 98 | 0.000 % | 4084.77/4084.77 c | 14926328 | 2624 464591 2028804 | 1 439756 98 | 0.000 % | 4084.77/4084.77 c | 14926592 | 2624 464591 2028804 | 1 440020 98 | 0.000 % | 4084.77/4084.77 c | 14926955 | 2624 464591 2028804 | 1 440383 98 | 0.000 % | 4084.77/4084.77 c | 14927055 | 2624 464591 2028804 | 1 440483 98 | 0.000 % | 4084.77/4084.77 c | 14928186 | 2624 464591 2028804 | 1 441614 98 | 0.000 % | 4084.77/4084.77 c | 14928524 | 2624 464591 2028804 | 1 441952 98 | 0.000 % | 4084.77/4084.77 c | 14929215 | 2624 464591 2028804 | 1 442643 98 | 0.000 % | 4084.77/4084.77 c | 14929839 | 2624 464591 2028804 | 1 443267 98 | 0.000 % | 4084.77/4084.77 c | 14930088 | 2624 464591 2028804 | 1 443516 98 | 0.000 % | 4084.77/4084.77 c | 14930212 | 2624 464591 2028804 | 1 443640 98 | 0.000 % | 4084.77/4084.77 c | 14930668 | 2624 464591 2028804 | 1 444096 98 | 0.000 % | 4084.77/4084.77 c | 14930770 | 2624 464591 2028804 | 1 444198 98 | 0.000 % | 4084.77/4084.77 c | 14931332 | 2624 464591 2028804 | 1 444760 98 | 0.000 % | 4084.77/4084.77 c | 14932981 | 2624 464591 2028804 | 1 446409 98 | 0.000 % | 4084.77/4084.77 c | 14933088 | 2624 464591 2028804 | 1 446516 98 | 0.000 % | 4084.77/4084.77 c | 14934025 | 2624 464591 2028804 | 1 447453 98 | 0.000 % | 4084.77/4084.77 c | 14934212 | 2624 464591 2028804 | 1 447640 98 | 0.000 % | 4084.77/4084.77 c | 14934313 | 2624 464591 2028804 | 1 447741 98 | 0.000 % | 4084.77/4084.77 c | 14934902 | 2624 464591 2028804 | 1 448330 98 | 0.000 % | 4084.77/4084.77 c | 14935656 | 2624 464591 2028804 | 1 449084 98 | 0.000 % | 4084.77/4084.77 c | 14935827 | 2624 464591 2028804 | 1 449255 98 | 0.000 % | 4084.77/4084.77 c | 14936151 | 2624 464591 2028804 | 1 449579 98 | 0.000 % | 4084.77/4084.77 c | 14936251 | 2624 464591 2028804 | 1 449679 99 | 0.000 % | 4084.77/4084.77 c | 14936707 | 2624 464591 2028804 | 1 450135 99 | 0.000 % | 4084.77/4084.77 c | 14937205 | 2624 464591 2028804 | 1 450633 99 | 0.000 % | 4084.77/4084.77 c | 14937329 | 2624 464591 2028804 | 1 450757 99 | 0.000 % | 4084.77/4084.77 c | 14937570 | 2624 464591 2028804 | 1 450998 99 | 0.000 % | 4084.77/4084.77 c | 14940547 | 2624 464591 2028804 | 1 453975 99 | 0.000 % | 4084.77/4084.77 c | 14941329 | 2624 464591 2028804 | 1 454757 99 | 0.000 % | 4084.77/4084.77 c | 14941720 | 2624 464591 2028804 | 1 455148 99 | 0.000 % | 4084.77/4084.77 c | 14941838 | 2624 464591 2028804 | 1 455266 99 | 0.000 % | 4084.77/4084.77 c | 14944990 | 2624 464591 2028804 | 1 458418 99 | 0.000 % | 4084.77/4084.77 c | 14945229 | 2624 464591 2028804 | 1 458657 99 | 0.000 % | 4084.77/4084.77 c | 14945420 | 2624 464591 2028804 | 1 458848 99 | 0.000 % | 4084.77/4084.77 c | 14945666 | 2624 464591 2028804 | 1 459094 99 | 0.000 % | 4084.77/4084.77 c | 14946071 | 2624 464591 2028804 | 1 459499 99 | 0.000 % | 4084.77/4084.77 c | 14946333 | 2624 464591 2028804 | 1 459761 99 | 0.000 % | 4090.58/4090.54 c | 14946807 | 2624 464591 2028804 | 1 460235 99 | 0.000 % | 4090.58/4090.54 c | 14946907 | 2624 464591 2028804 | 1 460335 99 | 0.000 % | 4090.58/4090.54 c | 14947149 | 2624 464591 2028804 | 1 460577 99 | 0.000 % | 4090.58/4090.54 c | 14947297 | 2624 464591 2028804 | 1 460725 99 | 0.000 % | 4090.58/4090.54 c | 14952065 | 2624 464591 2028804 | 1 465493 100 | 0.000 % | 4090.58/4090.54 c | 14954235 | 2624 464591 2028804 | 1 467663 100 | 0.000 % | 4090.58/4090.54 c | 14954612 | 2624 464591 2028804 | 1 468040 100 | 0.000 % | 4090.58/4090.54 c | 14954936 | 2624 464591 2028804 | 1 468364 100 | 0.000 % | 4090.58/4090.54 c | 14955258 | 2624 464591 2028804 | 1 468686 100 | 0.000 % | 4090.58/4090.54 c | 14955456 | 2624 464591 2028804 | 1 468884 100 | 0.000 % | 4090.58/4090.54 c | 14956487 | 2624 464591 2028804 | 1 469915 100 | 0.000 % | 4090.58/4090.54 c | 14956930 | 2624 464591 2028804 | 1 470358 100 | 0.000 % | 4090.58/4090.54 c | 14957031 | 2624 464591 2028804 | 1 470459 100 | 0.000 % | 4090.58/4090.54 c | 14957183 | 2624 464591 2028804 | 1 470611 100 | 0.000 % | 4090.58/4090.54 c | 14957477 | 2624 464591 2028804 | 1 470905 100 | 0.000 % | 4090.58/4090.54 c | 14957757 | 2624 464591 2028804 | 1 471185 100 | 0.000 % | 4090.58/4090.54 c | 14958068 | 2624 464591 2028804 | 1 471496 100 | 0.000 % | 4090.58/4090.54 c | 14958168 | 2624 464591 2028804 | 1 471596 100 | 0.000 % | 4090.58/4090.54 c | 14958269 | 2624 464591 2028804 | 1 471697 100 | 0.000 % | 4090.58/4090.54 c | 14959175 | 2624 464591 2028804 | 1 472603 101 | 0.000 % | 4090.58/4090.54 c | 14959300 | 2624 464591 2028804 | 1 472728 101 | 0.000 % | 4090.58/4090.54 c | 14959714 | 2624 464591 2028804 | 1 473142 101 | 0.000 % | 4090.58/4090.54 c | 14960155 | 2624 464591 2028804 | 1 473583 101 | 0.000 % | 4090.58/4090.54 c | 14961420 | 2624 464591 2028804 | 1 474848 101 | 0.000 % | 4090.58/4090.54 c | 14961520 | 2624 464591 2028804 | 1 474948 101 | 0.000 % | 4090.58/4090.54 c | 14961950 | 2624 464591 2028804 | 1 475378 101 | 0.000 % | 4090.58/4090.54 c | 14962523 | 2624 464591 2028804 | 1 475951 101 | 0.000 % | 4090.58/4090.54 c | 14962630 | 2624 464591 2028804 | 1 476058 101 | 0.000 % | 4090.58/4090.54 c | 14962730 | 2624 464591 2028804 | 1 476158 101 | 0.000 % | 4090.58/4090.54 c | 14962846 | 2624 464591 2028804 | 1 476274 101 | 0.000 % | 4090.58/4090.54 c | 14963242 | 2624 464591 2028804 | 1 476670 101 | 0.000 % | 4090.58/4090.54 c | 14963720 | 2624 464591 2028804 | 1 477148 101 | 0.000 % | 4090.58/4090.54 c | 14964320 | 2624 464591 2028804 | 1 477748 101 | 0.000 % | 4090.58/4090.54 c | 14965477 | 2624 464591 2028804 | 1 478905 101 | 0.000 % | 4090.58/4090.54 c | 14965577 | 2624 464591 2028804 | 1 479005 101 | 0.000 % | 4090.58/4090.54 c | 14965721 | 2624 464591 2028804 | 1 479149 101 | 0.000 % | 4090.58/4090.54 c | 14965822 | 2624 464591 2028804 | 1 479250 101 | 0.000 % | 4090.58/4090.54 c | 14965965 | 2624 464591 2028804 | 1 479393 101 | 0.000 % | 4090.58/4090.54 c | 14966113 | 2624 464591 2028804 | 1 479541 101 | 0.000 % | 4090.58/4090.54 c | 14966294 | 2624 464591 2028804 | 1 479722 101 | 0.000 % | 4090.58/4090.54 c | 14966880 | 2624 464591 2028804 | 1 480308 101 | 0.000 % | 4090.58/4090.54 c | 14967042 | 2624 464591 2028804 | 1 480470 101 | 0.000 % | 4090.58/4090.54 c | 14967160 | 2624 464591 2028804 | 1 480588 101 | 0.000 % | 4090.58/4090.54 c | 14967302 | 2624 464591 2028804 | 1 480730 101 | 0.000 % | 4090.58/4090.54 c | 14967405 | 2624 464591 2028804 | 1 480833 101 | 0.000 % | 4090.58/4090.54 c | 14967608 | 2624 464591 2028804 | 1 481036 101 | 0.000 % | 4090.58/4090.54 c | 14967784 | 2624 464591 2028804 | 1 481212 101 | 0.000 % | 4090.58/4090.54 c | 14967895 | 2624 464591 2028804 | 1 481323 101 | 0.000 % | 4090.58/4090.54 c | 14968959 | 2624 464591 2028804 | 1 482387 101 | 0.000 % | 4090.58/4090.54 c | 14969060 | 2624 464591 2028804 | 1 482488 101 | 0.000 % | 4716.19/4716.11 c | 14969509 | 2624 464591 2028804 | 1 482937 101 | 0.000 % | 4716.19/4716.11 c | 14969968 | 2624 464591 2028804 | 1 483396 102 | 0.000 % | 4716.19/4716.11 c | 14970320 | 2624 464591 2028804 | 1 483748 102 | 0.000 % | 4716.19/4716.11 c | 14970421 | 2624 464591 2028804 | 1 483849 102 | 0.000 % | 4716.19/4716.11 c | 14970531 | 2624 464591 2028804 | 1 483959 102 | 0.000 % | 4716.19/4716.11 c | 14971029 | 2624 464591 2028804 | 1 484457 102 | 0.000 % | 4716.19/4716.11 c | 14971370 | 2624 464591 2028804 | 1 484798 102 | 0.000 % | 4716.19/4716.11 c | 14971726 | 2624 464591 2028804 | 1 485154 102 | 0.000 % | 4716.19/4716.11 c | 14971826 | 2624 464591 2028804 | 1 485254 102 | 0.000 % | 4716.19/4716.11 c | 14972552 | 2624 464591 2028804 | 1 485980 102 | 0.000 % | 4716.19/4716.11 c | 14973530 | 2624 464591 2028804 | 1 486958 102 | 0.000 % | 4716.19/4716.11 c | 14974415 | 2624 464591 2028804 | 1 487843 102 | 0.000 % | 4716.19/4716.11 c | 14974516 | 2624 464591 2028804 | 1 487944 102 | 0.000 % | 4716.19/4716.11 c | 14974973 | 2624 464591 2028804 | 1 488401 102 | 0.000 % | 4716.19/4716.11 c | 14975381 | 2624 464591 2028804 | 1 488809 102 | 0.000 % | 4716.19/4716.11 c | 14975789 | 2624 464591 2028804 | 1 489217 102 | 0.000 % | 4716.19/4716.11 c | 14975891 | 2624 464591 2028804 | 1 489319 102 | 0.000 % | 4716.19/4716.11 c | 14976053 | 2624 464591 2028804 | 1 489481 102 | 0.000 % | 4716.19/4716.11 c | 14976187 | 2624 464591 2028804 | 1 489615 102 | 0.000 % | 4716.19/4716.11 c | 14982997 | 2624 464591 2028804 | 1 496425 103 | 0.000 % | 4716.19/4716.11 c | 14983097 | 2624 464591 2028804 | 1 496525 103 | 0.000 % | 4716.19/4716.11 c | 14983315 | 2624 464591 2028804 | 1 496743 103 | 0.000 % | 4716.19/4716.11 c | 14983613 | 2624 464591 2028804 | 1 497041 103 | 0.000 % | 4716.19/4716.11 c | 14983741 | 2624 464591 2028804 | 1 497169 103 | 0.000 % | 4716.19/4716.11 c | 14995510 | 2624 464591 2028804 | 1 508938 104 | 0.000 % | 4716.19/4716.11 c | 14995610 | 2624 464591 2028804 | 1 509038 104 | 0.000 % | 4716.19/4716.11 c | 15018696 | 2624 464591 2028804 | 1 532124 105 | 0.000 % | 4716.19/4716.11 c | 15018796 | 2624 464591 2028804 | 1 532224 105 | 0.000 % | 4716.19/4716.11 c | 15182884 | 2624 464591 2028804 | 1 418313 98 | 0.000 % | 4716.19/4716.11 c | 15183384 | 2624 464591 2028804 | 1 418813 98 | 0.000 % | 4716.19/4716.11 c | 16377159 | 2624 464591 2028804 | 1 474580 102 | 0.000 % | 4716.19/4716.11 c | 16377382 | 2624 464591 2028804 | 1 474803 102 | 0.000 % | 4716.19/4716.11 c | 16377917 | 2624 464591 2028804 | 1 475338 102 | 0.000 % | 4716.19/4716.11 c | 16382960 | 2624 464591 2028804 | 1 480381 103 | 0.000 % | 4716.19/4716.11 c | 16385208 | 2624 464591 2028804 | 1 482629 103 | 0.000 % | 4716.19/4716.11 c | 16385405 | 2624 464591 2028804 | 1 482826 103 | 0.000 % | 4716.19/4716.11 c | 16386033 | 2624 464591 2028804 | 1 483454 103 | 0.000 % | 4716.19/4716.11 c | 16391196 | 2624 464591 2028804 | 1 488617 104 | 0.000 % | 4716.19/4716.11 c | 16391296 | 2624 464591 2028804 | 1 488717 104 | 0.000 % | 4716.19/4716.11 c | 16595163 | 2624 464591 2028804 | 1 401582 103 | 0.000 % | 4716.19/4716.11 c | 16595263 | 2624 464591 2028804 | 1 401682 103 | 0.000 % | 4716.19/4716.11 c | 16613003 | 2624 464591 2028804 | 1 419422 106 | 0.000 % | 4716.19/4716.11 c | 16629262 | 2624 464591 2028804 | 1 435681 108 | 0.000 % | 4716.19/4716.11 c | 16634070 | 2624 464591 2028804 | 1 440489 108 | 0.000 % | 4716.19/4716.11 c | 16634788 | 2624 464591 2028804 | 1 441207 109 | 0.000 % | 4716.19/4716.11 c | 16635776 | 2624 464591 2028804 | 1 442195 109 | 0.000 % | 4716.19/4716.11 c | 16636717 | 2624 464591 2028804 | 1 443136 109 | 0.000 % | 4716.19/4716.11 c | 16637051 | 2624 464591 2028804 | 1 443470 109 | 0.000 % | 4716.19/4716.11 c | 16706138 | 2624 464591 2028804 | 1 512557 121 | 0.000 % | 4716.19/4716.11 c | 16706238 | 2624 464591 2028804 | 1 5126
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-3303795-1303904345/watcher-3303795-1303904345 -o /tmp/evaluation-result-3303795-1303904345/solver-3303795-1303904345 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303795-1303904345.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: 1.84 1.97 1.93 2/174 3469 /proc/meminfo: memFree=14268944/32950928 swapFree=67111528/67111528 [pid=3469] ppid=3466 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/3469/stat : 3469 (glucose.sh) S 3466 3469 3217 0 -1 4202496 335 0 0 0 0 0 0 0 23 0 1 0 502034305 8912896 253 33554432000 4194304 4922060 140736823526896 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/3469/statm: 2176 253 211 178 0 69 0 [startup+0.017476 s] /proc/loadavg: 1.84 1.97 1.93 2/174 3469 /proc/meminfo: memFree=14268944/32950928 swapFree=67111528/67111528 [pid=3469] ppid=3466 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/3469/stat : 3469 (glucose.sh) S 3466 3469 3217 0 -1 4202496 335 0 0 0 0 0 0 0 23 0 1 0 502034305 8912896 253 33554432000 4194304 4922060 140736823526896 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/3469/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100464 s] /proc/loadavg: 1.84 1.97 1.93 2/174 3469 /proc/meminfo: memFree=14268944/32950928 swapFree=67111528/67111528 [pid=3469] ppid=3466 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/3469/stat : 3469 (glucose.sh) S 3466 3469 3217 0 -1 4202496 335 0 0 0 0 0 0 0 23 0 1 0 502034305 8912896 253 33554432000 4194304 4922060 140736823526896 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/3469/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.30043 s] /proc/loadavg: 1.84 1.97 1.93 2/174 3469 /proc/meminfo: memFree=14268944/32950928 swapFree=67111528/67111528 [pid=3469] ppid=3466 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/3469/stat : 3469 (glucose.sh) S 3466 3469 3217 0 -1 4202496 335 0 0 0 0 0 0 0 23 0 1 0 502034305 8912896 253 33554432000 4194304 4922060 140736823526896 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/3469/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700356 s] /proc/loadavg: 1.84 1.97 1.93 2/174 3469 /proc/meminfo: memFree=14268944/32950928 swapFree=67111528/67111528 [pid=3469] ppid=3466 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/3469/stat : 3469 (glucose.sh) S 3466 3469 3217 0 -1 4202496 335 0 0 0 0 0 0 0 23 0 1 0 502034305 8912896 253 33554432000 4194304 4922060 140736823526896 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/3469/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50022 s] /proc/loadavg: 1.84 1.97 1.93 3/180 3480 /proc/meminfo: memFree=14192996/32950928 swapFree=67111528/67111528 [pid=3469] ppid=3466 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/3469/stat : 3469 (glucose.sh) S 3466 3469 3217 0 -1 4202496 335 0 0 0 0 0 0 0 23 0 1 0 502034305 8912896 253 33554432000 4194304 4922060 140736823526896 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/3469/statm: 2176 253 211 178 0 69 0 [pid=3471] ppid=3469 vsize=49540 CPUtime=1.49 cores=1,3,5,7 /proc/3471/stat : 3471 (SatELite_releas) R 3469 3469 3217 0 -1 4202496 11581 0 0 0 146 3 0 0 25 0 1 0 502034305 50728960 11535 33554432000 134512640 135144242 4288069472 18446744073709551615 134588211 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/3471/statm: 12385 11535 77 155 0 12228 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 58244 [startup+3.10093 s] /proc/loadavg: 1.84 1.97 1.93 3/180 3480 /proc/meminfo: memFree=14186544/32950928 swapFree=67111528/67111528 [pid=3469] ppid=3466 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/3469/stat : 3469 (glucose.sh) S 3466 3469 3217 0 -1 4202496 335 0 0 0 0 0 0 0 23 0 1 0 502034305 8912896 253 33554432000 4194304 4922060 140736823526896 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/3469/statm: 2176 253 211 178 0 69 0 [pid=3471] ppid=3469 vsize=49540 CPUtime=3.09 cores=1,3,5,7 /proc/3471/stat : 3471 (SatELite_releas) R 3469 3469 3217 0 -1 4202496 11581 0 0 0 306 3 0 0 25 0 1 0 502034305 50728960 11535 33554432000 134512640 135144242 4288069472 18446744073709551615 134588159 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/3471/statm: 12385 11535 77 155 0 12228 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 58244 [startup+6.30037 s] /proc/loadavg: 1.93 1.98 1.94 3/180 3481 /proc/meminfo: memFree=14163976/32950928 swapFree=67111528/67111528 [pid=3469] ppid=3466 vsize=8704 CPUtime=3.55 cores=1,3,5,7 /proc/3469/stat : 3469 (glucose.sh) S 3466 3469 3217 0 -1 4202496 360 11584 0 0 0 0 351 4 18 0 1 0 502034305 8912896 255 33554432000 4194304 4922060 140736823526896 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3469/statm: 2176 255 211 178 0 69 0 [pid=3481] ppid=3469 vsize=49740 CPUtime=2.73 cores=1,3,5,7 /proc/3481/stat : 3481 (glucose_static) R 3469 3469 3217 0 -1 4202496 18826 0 0 0 271 2 0 0 25 0 1 0 502034661 50933760 8060 33554432000 4194304 4260849 140736094078976 18446744073709551615 4227826 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3481/statm: 12435 8060 250 17 0 9076 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 58444 [startup+12.7002 s] /proc/loadavg: 1.94 1.98 1.94 3/180 3481 /proc/meminfo: memFree=14113264/32950928 swapFree=67111528/67111528 [pid=3469] ppid=3466 vsize=8704 CPUtime=3.55 cores=1,3,5,7 /proc/3469/stat : 3469 (glucose.sh) S 3466 3469 3217 0 -1 4202496 360 11584 0 0 0 0 351 4 18 0 1 0 502034305 8912896 255 33554432000 4194304 4922060 140736823526896 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3469/statm: 2176 255 211 178 0 69 0 [pid=3481] ppid=3469 vsize=99060 CPUtime=9.13 cores=1,3,5,7 /proc/3481/stat : 3481 (glucose_static) R 3469 3469 3217 0 -1 4202496 30427 0 0 0 910 3 0 0 25 0 1 0 502034661 101437440 19186 33554432000 4194304 4260849 140736094078976 18446744073709551615 4225082 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3481/statm: 24765 19186 250 17 0 21406 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 107764 [startup+25.501 s] /proc/loadavg: 1.95 1.98 1.94 3/180 3481 /proc/meminfo: memFree=14090504/32950928 swapFree=67111528/67111528 [pid=3469] ppid=3466 vsize=8704 CPUtime=3.55 cores=1,3,5,7 /proc/3469/stat : 3469 (glucose.sh) S 3466 3469 3217 0 -1 4202496 360 11584 0 0 0 0 351 4 18 0 1 0 502034305 8912896 255 33554432000 4194304 4922060 140736823526896 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3469/statm: 2176 255 211 178 0 69 0 [pid=3481] ppid=3469 vsize=99060 CPUtime=21.93 cores=1,3,5,7 /proc/3481/stat : 3481 (glucose_static) R 3469 3469 3217 0 -1 4202496 31600 0 0 0 2190 3 0 0 25 0 1 0 502034661 101437440 20352 33554432000 4194304 4260849 140736094078976 18446744073709551615 4224808 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3481/statm: 24765 20352 250 17 0 21406 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 107764 [startup+51.1004 s] /proc/loadavg: 1.97 1.98 1.94 3/180 3482 /proc/meminfo: memFree=14103416/32950928 swapFree=67111528/67111528 [pid=3469] ppid=3466 vsize=8704 CPUtime=3.55 cores=1,3,5,7 /proc/3469/stat : 3469 (glucose.sh) S 3466 3469 3217 0 -1 4202496 360 11584 0 0 0 0 351 4 18 0 1 0 502034305 8912896 255 33554432000 4194304 4922060 140736823526896 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3469/statm: 2176 255 211 178 0 69 0 [pid=3481] ppid=3469 vsize=80360 CPUtime=47.53 cores=1,3,5,7 /proc/3481/stat : 3481 (glucose_static) R 3469 3469 3217 0 -1 4202496 74622 0 0 0 4745 8 0 0 25 0 1 0 502034661 82288640 16786 33554432000 4194304 4260849 140736094078976 18446744073709551615 4225418 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3481/statm: 20090 16786 250 17 0 16731 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 89064 [startup+102.306 s] /proc/loadavg: 1.98 1.98 1.94 3/180 3483 /proc/meminfo: memFree=14011104/32950928 swapFree=67111528/67111528 [pid=3469] ppid=3466 vsize=8704 CPUtime=3.55 cores=1,3,5,7 /proc/3469/stat : 3469 (glucose.sh) S 3466 3469 3217 0 -1 4202496 360 11584 0 0 0 0 351 4 18 0 1 0 502034305 8912896 255 33554432000 4194304 4922060 140736823526896 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3469/statm: 2176 255 211 178 0 69 0 [pid=3481] ppid=3469 vsize=160500 CPUtime=98.74 cores=1,3,5,7 /proc/3481/stat : 3481 (glucose_static) R 3469 3469 3217 0 -1 4202496 196346 0 0 0 9850 24 0 0 25 0 1 0 502034661 164352000 30733 33554432000 4194304 4260849 140736094078976 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3481/statm: 40125 30733 251 17 0 36766 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 169204 [startup+162.301 s] /proc/loadavg: 2.02 2.00 1.94 3/180 3485 /proc/meminfo: memFree=13964692/32950928 swapFree=67111528/67111528 [pid=3469] ppid=3466 vsize=8704 CPUtime=3.55 cores=1,3,5,7 /proc/3469/stat : 3469 (glucose.sh) S 3466 3469 3217 0 -1 4202496 360 11584 0 0 0 0 351 4 18 0 1 0 502034305 8912896 255 33554432000 4194304 4922060 140736823526896 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3469/statm: 2176 255 211 178 0 69 0 [pid=3481] ppid=3469 vsize=129680 CPUtime=158.73 cores=1,3,5,7 /proc/3481/stat : 3481 (glucose_static) R 3469 3469 3217 0 -1 4202496 278559 0 0 0 15837 36 0 0 25 0 1 0 502034661 132792320 28497 33554432000 4194304 4260849 140736094078976 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3481/statm: 32420 28497 251 17 0 29061 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 138384 [startup+222.3 s] /proc/loadavg: 2.01 2.00 1.94 3/180 3487 /proc/meminfo: memFree=13995792/32950928 swapFree=67111528/67111528 [pid=3469] ppid=3466 vsize=8704 CPUtime=3.55 cores=1,3,5,7 /proc/3469/stat : 3469 (glucose.sh) S 3466 3469 3217 0 -1 4202496 360 11584 0 0 0 0 351 4 18 0 1 0 502034305 8912896 255 33554432000 4194304 4922060 140736823526896 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3469/statm: 2176 255 211 178 0 69 0 [pid=3481] ppid=3469 vsize=160500 CPUtime=218.73 cores=1,3,5,7 /proc/3481/stat : 3481 (glucose_static) R 3469 3469 3217 0 -1 4202496 356659 0 0 0 21825 48 0 0 25 0 1 0 502034661 164352000 36016 33554432000 4194304 4260849 140736094078976 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3481/statm: 40125 36016 251 17 0 36766 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 169204 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.94 3/180 3488 /proc/meminfo: memFree=13969968/32950928 swapFree=67111528/67111528 [pid=3469] ppid=3466 vsize=8704 CPUtime=3.55 cores=1,3,5,7 /proc/3469/stat : 3469 (glucose.sh) S 3466 3469 3217 0 -1 4202496 360 11584 0 0 0 0 351 4 18 0 1 0 502034305 8912896 255 33554432000 4194304 4922060 140736823526896 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3469/statm: 2176 255 211 178 0 69 0 [pid=3481] ppid=3469 vsize=210588 CPUtime=278.73 cores=1,3,5,7 /proc/3481/stat : 3481 (glucose_static) R 3469 3469 3217 0 -1 4202496 436790 0 0 0 27812 61 0 0 25 0 1 0 502034661 215642112 38306 33554432000 4194304 4260849 140736094078976 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3481/statm: 52647 38306 251 17 0 49288 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 219292 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.94 3/180 3490 /proc/meminfo: memFree=13967828/32950928 swapFree=67111528/67111528 [pid=3469] ppid=3466 vsize=8704 CPUtime=3.55 cores=1,3,5,7 /proc/3469/stat : 3469 (glucose.sh) S 3466 3469 3217 0 -1 4202496 360 11584 0 0 0 0 351 4 18 0 1 0 502034305 8912896 255 33554432000 4194304 4922060 140736823526896 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3469/statm: 2176 255 211 178 0 69 0 [pid=3481] ppid=3469 vsize=160500 CPUtime=338.73 cores=1,3,5,7 /proc/3481/stat : 3481 (glucose_static) R 3469 3469 3217 0 -1 4202496 517563 0 0 0 33800 73 0 0 25 0 1 0 502034661 164352000 29477 33554432000 4194304 4260849 140736094078976 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3481/statm: 40125 29477 251 17 0 36766 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 169204 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.94 3/180 3491 /proc/meminfo: memFree=13970780/32950928 swapFree=67111528/67111528 [pid=3469] ppid=3466 vsize=8704 CPUtime=3.55 cores=1,3,5,7 ################ # More data... # ################ /proc/3481/statm: 147034 113514 251 17 0 143675 0 Current children cumulated CPU time (s) 4302.38 Current children cumulated vsize (KiB) 596840 [startup+4362.3 s] /proc/loadavg: 2.01 2.01 1.98 3/180 3651 /proc/meminfo: memFree=13628968/32950928 swapFree=67111528/67111528 [pid=3469] ppid=3466 vsize=8704 CPUtime=3.55 cores=1,3,5,7 /proc/3469/stat : 3469 (glucose.sh) S 3466 3469 3217 0 -1 4202496 360 11584 0 0 0 0 351 4 18 0 1 0 502034305 8912896 255 33554432000 4194304 4922060 140736823526896 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3469/statm: 2176 255 211 178 0 69 0 [pid=3481] ppid=3469 vsize=458224 CPUtime=4358.83 cores=1,3,5,7 /proc/3481/stat : 3481 (glucose_static) R 3469 3469 3217 0 -1 4202496 3350506 0 0 0 435277 606 0 0 25 0 1 0 502034661 469221376 97381 33554432000 4194304 4260849 140736094078976 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3481/statm: 114556 97381 251 17 0 111197 0 Current children cumulated CPU time (s) 4362.38 Current children cumulated vsize (KiB) 466928 [startup+4422.3 s] /proc/loadavg: 2.00 2.00 1.98 3/180 3653 /proc/meminfo: memFree=13502960/32950928 swapFree=67111528/67111528 [pid=3469] ppid=3466 vsize=8704 CPUtime=3.55 cores=1,3,5,7 /proc/3469/stat : 3469 (glucose.sh) S 3466 3469 3217 0 -1 4202496 360 11584 0 0 0 0 351 4 18 0 1 0 502034305 8912896 255 33554432000 4194304 4922060 140736823526896 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3469/statm: 2176 255 211 178 0 69 0 [pid=3481] ppid=3469 vsize=594608 CPUtime=4418.83 cores=1,3,5,7 /proc/3481/stat : 3481 (glucose_static) R 3469 3469 3217 0 -1 4202496 3367630 0 0 0 441272 611 0 0 25 0 1 0 502034661 608878592 114388 33554432000 4194304 4260849 140736094078976 18446744073709551615 4225056 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3481/statm: 148652 114388 251 17 0 145293 0 Current children cumulated CPU time (s) 4422.38 Current children cumulated vsize (KiB) 603312 [startup+4482.3 s] /proc/loadavg: 2.00 2.00 1.98 3/180 3654 /proc/meminfo: memFree=13651860/32950928 swapFree=67111528/67111528 [pid=3469] ppid=3466 vsize=8704 CPUtime=3.55 cores=1,3,5,7 /proc/3469/stat : 3469 (glucose.sh) S 3466 3469 3217 0 -1 4202496 360 11584 0 0 0 0 351 4 18 0 1 0 502034305 8912896 255 33554432000 4194304 4922060 140736823526896 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3469/statm: 2176 255 211 178 0 69 0 [pid=3481] ppid=3469 vsize=464908 CPUtime=4478.83 cores=1,3,5,7 /proc/3481/stat : 3481 (glucose_static) R 3469 3469 3217 0 -1 4202496 3423103 0 0 0 447261 622 0 0 25 0 1 0 502034661 476065792 102812 33554432000 4194304 4260849 140736094078976 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3481/statm: 116227 102812 251 17 0 112868 0 Current children cumulated CPU time (s) 4482.38 Current children cumulated vsize (KiB) 473612 [startup+4542.3 s] /proc/loadavg: 2.00 2.00 1.98 3/180 3656 /proc/meminfo: memFree=13604104/32950928 swapFree=67111528/67111528 [pid=3469] ppid=3466 vsize=8704 CPUtime=3.55 cores=1,3,5,7 /proc/3469/stat : 3469 (glucose.sh) S 3466 3469 3217 0 -1 4202496 360 11584 0 0 0 0 351 4 18 0 1 0 502034305 8912896 255 33554432000 4194304 4922060 140736823526896 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3469/statm: 2176 255 211 178 0 69 0 [pid=3481] ppid=3469 vsize=469068 CPUtime=4538.83 cores=1,3,5,7 /proc/3481/stat : 3481 (glucose_static) R 3469 3469 3217 0 -1 4202496 3477155 0 0 0 453250 633 0 0 25 0 1 0 502034661 480325632 89312 33554432000 4194304 4260849 140736094078976 18446744073709551615 4224845 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3481/statm: 117267 89312 251 17 0 113908 0 Current children cumulated CPU time (s) 4542.38 Current children cumulated vsize (KiB) 477772 [startup+4602.3 s] /proc/loadavg: 2.00 2.00 1.98 3/180 3657 /proc/meminfo: memFree=13576668/32950928 swapFree=67111528/67111528 [pid=3469] ppid=3466 vsize=8704 CPUtime=3.55 cores=1,3,5,7 /proc/3469/stat : 3469 (glucose.sh) S 3466 3469 3217 0 -1 4202496 360 11584 0 0 0 0 351 4 18 0 1 0 502034305 8912896 255 33554432000 4194304 4922060 140736823526896 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3469/statm: 2176 255 211 178 0 69 0 [pid=3481] ppid=3469 vsize=471680 CPUtime=4598.84 cores=1,3,5,7 /proc/3481/stat : 3481 (glucose_static) R 3469 3469 3217 0 -1 4202496 3496552 0 0 0 459245 639 0 0 25 0 1 0 502034661 483000320 108582 33554432000 4194304 4260849 140736094078976 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3481/statm: 117920 108583 251 17 0 114561 0 Current children cumulated CPU time (s) 4602.39 Current children cumulated vsize (KiB) 480384 [startup+4662.3 s] /proc/loadavg: 2.06 2.01 1.99 3/180 3659 /proc/meminfo: memFree=13557556/32950928 swapFree=67111528/67111528 [pid=3469] ppid=3466 vsize=8704 CPUtime=3.55 cores=1,3,5,7 /proc/3469/stat : 3469 (glucose.sh) S 3466 3469 3217 0 -1 4202496 360 11584 0 0 0 0 351 4 18 0 1 0 502034305 8912896 255 33554432000 4194304 4922060 140736823526896 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3469/statm: 2176 255 211 178 0 69 0 [pid=3481] ppid=3469 vsize=471680 CPUtime=4658.84 cores=1,3,5,7 /proc/3481/stat : 3481 (glucose_static) R 3469 3469 3217 0 -1 4202496 3550821 0 0 0 465234 650 0 0 25 0 1 0 502034661 483000320 92100 33554432000 4194304 4260849 140736094078976 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3481/statm: 117920 92100 251 17 0 114561 0 Current children cumulated CPU time (s) 4662.39 Current children cumulated vsize (KiB) 480384 [startup+4722.31 s] /proc/loadavg: 2.02 2.01 1.99 3/180 3661 /proc/meminfo: memFree=13479524/32950928 swapFree=67111528/67111528 [pid=3469] ppid=3466 vsize=8704 CPUtime=3.55 cores=1,3,5,7 /proc/3469/stat : 3469 (glucose.sh) S 3466 3469 3217 0 -1 4202496 360 11584 0 0 0 0 351 4 18 0 1 0 502034305 8912896 255 33554432000 4194304 4922060 140736823526896 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3469/statm: 2176 255 211 178 0 69 0 [pid=3481] ppid=3469 vsize=605648 CPUtime=4718.85 cores=1,3,5,7 /proc/3481/stat : 3481 (glucose_static) R 3469 3469 3217 0 -1 4202496 3583380 0 0 0 471228 657 0 0 25 0 1 0 502034661 620183552 124481 33554432000 4194304 4260849 140736094078976 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3481/statm: 151412 124481 251 17 0 148053 0 Current children cumulated CPU time (s) 4722.4 Current children cumulated vsize (KiB) 614352 [startup+4782.3 s] /proc/loadavg: 2.00 2.00 1.99 3/180 3662 /proc/meminfo: memFree=13486444/32950928 swapFree=67111528/67111528 [pid=3469] ppid=3466 vsize=8704 CPUtime=3.55 cores=1,3,5,7 /proc/3469/stat : 3469 (glucose.sh) S 3466 3469 3217 0 -1 4202496 360 11584 0 0 0 0 351 4 18 0 1 0 502034305 8912896 255 33554432000 4194304 4922060 140736823526896 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3469/statm: 2176 255 211 178 0 69 0 [pid=3481] ppid=3469 vsize=475096 CPUtime=4778.84 cores=1,3,5,7 /proc/3481/stat : 3481 (glucose_static) R 3469 3469 3217 0 -1 4202496 3632917 0 0 0 477219 665 0 0 25 0 1 0 502034661 486498304 96898 33554432000 4194304 4260849 140736094078976 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3481/statm: 118774 96898 251 17 0 115415 0 Current children cumulated CPU time (s) 4782.39 Current children cumulated vsize (KiB) 483800 [startup+4842.3 s] /proc/loadavg: 2.04 2.01 2.00 3/180 3664 /proc/meminfo: memFree=13568524/32950928 swapFree=67111528/67111528 [pid=3469] ppid=3466 vsize=8704 CPUtime=3.55 cores=1,3,5,7 /proc/3469/stat : 3469 (glucose.sh) S 3466 3469 3217 0 -1 4202496 360 11584 0 0 0 0 351 4 18 0 1 0 502034305 8912896 255 33554432000 4194304 4922060 140736823526896 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3469/statm: 2176 255 211 178 0 69 0 [pid=3481] ppid=3469 vsize=611444 CPUtime=4838.85 cores=1,3,5,7 /proc/3481/stat : 3481 (glucose_static) R 3469 3469 3217 0 -1 4202496 3647976 0 0 0 483216 669 0 0 25 0 1 0 502034661 626118656 111862 33554432000 4194304 4260849 140736094078976 18446744073709551615 4225082 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3481/statm: 152861 111862 251 17 0 149502 0 Current children cumulated CPU time (s) 4842.4 Current children cumulated vsize (KiB) 620148 [startup+4902.3 s] /proc/loadavg: 2.01 2.01 2.00 3/180 3665 /proc/meminfo: memFree=13438436/32950928 swapFree=67111528/67111528 [pid=3469] ppid=3466 vsize=8704 CPUtime=3.55 cores=1,3,5,7 /proc/3469/stat : 3469 (glucose.sh) S 3466 3469 3217 0 -1 4202496 360 11584 0 0 0 0 351 4 18 0 1 0 502034305 8912896 255 33554432000 4194304 4922060 140736823526896 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3469/statm: 2176 255 211 178 0 69 0 [pid=3481] ppid=3469 vsize=616564 CPUtime=4898.85 cores=1,3,5,7 /proc/3481/stat : 3481 (glucose_static) R 3469 3469 3217 0 -1 4202496 3658090 0 0 0 489212 673 0 0 25 0 1 0 502034661 631361536 121920 33554432000 4194304 4260849 140736094078976 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3481/statm: 154141 121920 251 17 0 150782 0 Current children cumulated CPU time (s) 4902.4 Current children cumulated vsize (KiB) 625268 [startup+4962.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 3676 /proc/meminfo: memFree=13602124/32950928 swapFree=67111528/67111528 [pid=3469] ppid=3466 vsize=8704 CPUtime=3.55 cores=1,3,5,7 /proc/3469/stat : 3469 (glucose.sh) S 3466 3469 3217 0 -1 4202496 360 11584 0 0 0 0 351 4 18 0 1 0 502034305 8912896 255 33554432000 4194304 4922060 140736823526896 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3469/statm: 2176 255 211 178 0 69 0 [pid=3481] ppid=3469 vsize=487504 CPUtime=4958.85 cores=1,3,5,7 /proc/3481/stat : 3481 (glucose_static) R 3469 3469 3217 0 -1 4202496 3704205 0 0 0 495204 681 0 0 25 0 1 0 502034661 499204096 99652 33554432000 4194304 4260849 140736094078976 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3481/statm: 121876 99652 251 17 0 118517 0 Current children cumulated CPU time (s) 4962.4 Current children cumulated vsize (KiB) 496208 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+5000 s] /proc/loadavg: 2.00 2.00 2.00 3/180 3677 /proc/meminfo: memFree=13499196/32950928 swapFree=67111528/67111528 [pid=3469] ppid=3466 vsize=8704 CPUtime=3.55 cores=1,3,5,7 /proc/3469/stat : 3469 (glucose.sh) S 3466 3469 3217 0 -1 4202496 360 11584 0 0 0 0 351 4 18 0 1 0 502034305 8912896 255 33554432000 4194304 4922060 140736823526896 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3469/statm: 2176 255 211 178 0 69 0 [pid=3481] ppid=3469 vsize=488144 CPUtime=4996.55 cores=1,3,5,7 /proc/3481/stat : 3481 (glucose_static) R 3469 3469 3217 0 -1 4202496 3715313 0 0 0 498971 684 0 0 25 0 1 0 502034661 499859456 110668 33554432000 4194304 4260849 140736094078976 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3481/statm: 122036 110668 251 17 0 118677 0 Current children cumulated CPU time (s) 5000.1 Current children cumulated vsize (KiB) 496848 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 3469 and gives # childrusage.ru_utime.tv_sec=3 # childrusage.ru_utime.tv_usec=510466 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=49992 # CPU time returned by wait4() is 3.56046 # 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): 4993.22 CPU system time (s): 6.88 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 758696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3.51047 system time used= 0.049992 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11944 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= 8 involuntary context switches= 59 runsolver used 8.21575 second user time and 18.6122 second system time The end
Begin job on node123 at 2011-04-27 13:39:05 IDJOB=3303795 IDBENCH=71095 IDSOLVER=1687 FILE ID=node123/3303795-1303904345 RUNJOBID= node123-1303899342-3241 PBS_JOBID= 13164525 Free space on /tmp= 72824 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_19_UNKNOWN.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303795-1303904345/watcher-3303795-1303904345 -o /tmp/evaluation-result-3303795-1303904345/solver-3303795-1303904345 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303795-1303904345.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4cf2a693df1b6e5a084b88e84ec5f2af RANDOM SEED=883491911 node123.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.838 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.67 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.838 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.15 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.838 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.838 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.82 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.838 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.74 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.838 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.80 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.838 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.74 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.838 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 14270200 kB Buffers: 2187236 kB Cached: 15879624 kB SwapCached: 0 kB Active: 8811160 kB Inactive: 9320684 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 14270200 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 8948 kB Writeback: 48 kB AnonPages: 63680 kB Mapped: 14692 kB Slab: 485472 kB PageTables: 3800 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 193096 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= 72800 MiB End job on node123 at 2011-04-27 15:02:27