| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 1300.03 | 1300.01 |
| Name | SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf |
| MD5SUM | 7d96ba103689bec761c9e7df7b158323 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 3199.02 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2731 |
| Number of clauses | 17983 |
| Sum of the clauses size | 126997 |
| Maximum clause length | 13 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 42 |
| Number of clauses of size 2 | 442 |
| Number of clauses of size 3 | 2370 |
| Number of clauses of size 4 | 477 |
| Number of clauses of size 5 | 642 |
| Number of clauses of size over 5 | 14010 |
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.01 c ============================================================================== 0.00/0.01 c | | ORIGINAL | LEARNT | | 0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.01 c ============================================================================== 0.00/0.01 c | 0 | 17637 125175 | 5291 0 0 nan | 0.000 % | 0.00/0.04 c | 0 | 16118 115684 | -- 0 -- -- | -- | -365/-4257 0.00/0.04 c ============================================================================== 0.00/0.04 c Result : #vars: 2646 #clauses: 16118 #literals: 115684 0.00/0.04 c CPU time: 0.044993 s 0.00/0.04 c ============================================================================== 0.00/0.06 c 0.00/0.06 c Starting glucose 0.00/0.06 c 0.06/0.42 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 0.06/0.42 c WARNING: for repeatability, setting FPU to use double precision 0.06/0.42 c ============================[ Problem Statistics ]============================= 0.06/0.42 c | | 0.06/0.42 c | Number of variables: 2646 | 0.06/0.42 c | Number of clauses: 16118 | 0.06/0.42 c | Parse time: 0.01 s | 0.06/0.42 c | | 0.06/0.42 c ============================[ Search Statistics ]============================== 0.06/0.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.06/0.42 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 0.06/0.42 c =============================================================================== 0.06/0.42 c | 451 | 2646 16118 115684 | 1 451 17 | 0.000 % | 0.06/0.42 c | 701 | 2646 16118 115684 | 1 701 18 | 0.000 % | 0.06/0.42 c | 1194 | 2646 16118 115684 | 1 1194 19 | 0.000 % | 0.06/0.42 c | 2059 | 2646 16118 115684 | 1 2059 20 | 0.000 % | 0.06/0.42 c | 2328 | 2646 16118 115684 | 1 2328 20 | 0.000 % | 0.06/0.42 c | 2588 | 2646 16118 115684 | 1 2588 20 | 0.000 % | 0.06/0.42 c | 3233 | 2646 16118 115684 | 1 3233 21 | 0.000 % | 0.06/0.42 c | 3699 | 2646 16118 115684 | 1 3699 21 | 0.000 % | 0.06/0.42 c | 3998 | 2646 16118 115684 | 1 3998 21 | 0.000 % | 0.06/0.42 c | 4115 | 2646 16118 115684 | 1 2117 16 | 0.000 % | 0.06/0.42 c | 4676 | 2646 16118 115684 | 1 2678 17 | 0.000 % | 0.06/0.42 c | 4855 | 2646 16118 115684 | 1 2857 17 | 0.000 % | 0.06/0.42 c | 4955 | 2646 16118 115684 | 1 2957 18 | 0.000 % | 0.06/0.42 c | 5116 | 2646 16118 115684 | 1 3118 18 | 0.000 % | 0.06/0.42 c | 5216 | 2646 16118 115684 | 1 3218 19 | 0.000 % | 0.06/0.42 c | 5598 | 2646 16118 115684 | 1 3600 20 | 0.000 % | 0.06/0.42 c | 5803 | 2646 16118 115684 | 1 3805 20 | 0.000 % | 0.06/0.42 c | 5932 | 2646 16118 115684 | 1 3934 20 | 0.000 % | 0.06/0.42 c | 7717 | 2646 16118 115684 | 1 5719 20 | 0.000 % | 0.06/0.42 c | 7817 | 2646 16118 115684 | 1 5819 20 | 0.000 % | 0.06/0.42 c | 8083 | 2646 16118 115684 | 1 6085 20 | 0.000 % | 0.06/0.42 c | 8256 | 2646 16118 115684 | 1 6258 20 | 0.000 % | 0.06/0.42 c | 10652 | 2646 16118 115684 | 1 4361 14 | 0.000 % | 0.06/0.42 c | 11330 | 2646 16118 115684 | 1 5039 15 | 0.000 % | 0.06/0.42 c | 11779 | 2646 16118 115684 | 1 5488 16 | 0.000 % | 0.06/0.42 c | 12440 | 2646 16118 115684 | 1 6149 17 | 0.000 % | 0.06/0.42 c | 12637 | 2646 16118 115684 | 1 6346 18 | 0.000 % | 0.06/0.42 c | 13341 | 2646 16118 115684 | 1 7050 18 | 0.000 % | 0.06/0.42 c | 13846 | 2646 16118 115684 | 1 7555 18 | 0.000 % | 0.06/0.42 c | 14299 | 2646 16118 115684 | 1 8008 18 | 0.000 % | 0.06/0.42 c | 14403 | 2646 16118 115684 | 1 8112 19 | 0.000 % | 0.06/0.42 c | 15783 | 2646 16118 115684 | 1 9492 19 | 0.000 % | 0.06/0.42 c | 16106 | 2646 16118 115684 | 1 9815 19 | 0.000 % | 0.06/0.42 c | 16370 | 2646 16118 115684 | 1 10079 19 | 0.000 % | 0.06/0.42 c | 16617 | 2646 16118 115684 | 1 10326 19 | 0.000 % | 0.06/0.42 c | 18372 | 2646 16118 115684 | 1 12081 20 | 0.000 % | 0.06/0.42 c | 18767 | 2646 16118 115684 | 1 12476 20 | 0.000 % | 0.06/0.42 c | 19435 | 2646 16118 115684 | 1 13144 20 | 0.000 % | 0.06/0.42 c | 19847 | 2646 16118 115684 | 1 6830 14 | 0.000 % | 1.39/1.45 c | 20148 | 2646 16118 115684 | 1 7131 15 | 0.000 % | 1.39/1.45 c | 21994 | 2646 16118 115684 | 1 8977 18 | 0.000 % | 1.39/1.45 c | 22206 | 2646 16118 115684 | 1 9189 18 | 0.000 % | 1.39/1.45 c | 23572 | 2646 16118 115684 | 1 10555 18 | 0.000 % | 1.39/1.45 c | 23940 | 2646 16118 115684 | 1 10923 19 | 0.000 % | 1.39/1.45 c | 24204 | 2646 16118 115684 | 1 11187 19 | 0.000 % | 1.39/1.45 c | 24905 | 2646 16118 115684 | 1 11888 19 | 0.000 % | 1.39/1.45 c | 26643 | 2646 16118 115684 | 1 13626 20 | 0.000 % | 1.39/1.45 c | 27150 | 2646 16118 115684 | 1 14133 20 | 0.000 % | 1.39/1.45 c | 27751 | 2646 16118 115684 | 1 14734 20 | 0.000 % | 1.39/1.45 c | 28087 | 2646 16118 115684 | 1 15070 20 | 0.000 % | 1.39/1.45 c | 28189 | 2646 16118 115684 | 1 15172 20 | 0.000 % | 1.39/1.45 c | 28423 | 2646 16118 115684 | 1 15406 20 | 0.000 % | 1.39/1.45 c | 29288 | 2646 16118 115684 | 1 16271 21 | 0.000 % | 1.39/1.45 c | 29539 | 2646 16118 115684 | 1 16522 21 | 0.000 % | 1.39/1.45 c | 29958 | 2646 16118 115684 | 1 16941 21 | 0.000 % | 1.39/1.45 c | 30294 | 2646 16118 115684 | 1 17277 21 | 0.000 % | 1.39/1.45 c | 30811 | 2646 16118 115684 | 1 17794 21 | 0.000 % | 1.39/1.45 c | 31989 | 2646 16118 115684 | 1 9690 15 | 0.000 % | 1.39/1.45 c | 32649 | 2646 16118 115684 | 1 10350 15 | 0.000 % | 1.39/1.45 c | 33685 | 2646 16118 115684 | 1 11386 16 | 0.000 % | 1.39/1.45 c | 34441 | 2646 16118 115684 | 1 12142 16 | 0.000 % | 1.39/1.45 c | 35219 | 2646 16118 115684 | 1 12920 17 | 0.000 % | 1.39/1.45 c | 35435 | 2646 16118 115684 | 1 13136 17 | 0.000 % | 1.39/1.45 c | 35689 | 2646 16118 115684 | 1 13390 17 | 0.000 % | 1.39/1.45 c | 36084 | 2646 16118 115684 | 1 13785 17 | 0.000 % | 1.39/1.45 c | 36369 | 2646 16118 115684 | 1 14070 18 | 0.000 % | 1.39/1.45 c | 37584 | 2646 16118 115684 | 1 15285 18 | 0.000 % | 1.39/1.45 c | 37859 | 2646 16118 115684 | 1 15560 19 | 0.000 % | 1.39/1.45 c | 39250 | 2646 16118 115684 | 1 16951 19 | 0.000 % | 1.39/1.45 c | 39621 | 2646 16118 115684 | 1 17322 19 | 0.000 % | 1.39/1.45 c | 40729 | 2646 16118 115684 | 1 18430 20 | 0.000 % | 1.39/1.45 c | 40893 | 2646 16118 115684 | 1 18594 20 | 0.000 % | 1.39/1.45 c | 42936 | 2646 16118 115684 | 1 20637 20 | 0.000 % | 1.39/1.45 c | 43118 | 2646 16118 115684 | 1 20819 21 | 0.000 % | 1.39/1.45 c | 43384 | 2646 16118 115684 | 1 21085 21 | 0.000 % | 1.39/1.45 c | 43732 | 2646 16118 115684 | 1 21433 21 | 0.000 % | 1.39/1.45 c | 43860 | 2646 16118 115684 | 1 21561 21 | 0.000 % | 1.39/1.45 c | 46779 | 2646 16118 115684 | 1 12653 15 | 0.000 % | 1.39/1.45 c | 47240 | 2646 16118 115684 | 1 13114 15 | 0.000 % | 1.39/1.45 c | 48331 | 2646 16118 115684 | 1 14205 16 | 0.000 % | 1.39/1.45 c | 48905 | 2646 16118 115684 | 1 14779 17 | 0.000 % | 1.39/1.45 c | 49743 | 2646 16118 115684 | 1 15617 17 | 0.000 % | 1.39/1.45 c | 50067 | 2646 16118 115684 | 1 15941 17 | 0.000 % | 1.39/1.45 c | 51786 | 2646 16118 115684 | 1 17660 18 | 0.000 % | 1.39/1.45 c | 51886 | 2646 16118 115684 | 1 17760 18 | 0.000 % | 1.39/1.45 c | 53047 | 2646 16118 115684 | 1 18921 19 | 0.000 % | 1.39/1.45 c | 53529 | 2646 16118 115684 | 1 19403 19 | 0.000 % | 1.39/1.45 c | 53910 | 2646 16118 115684 | 1 19784 19 | 0.000 % | 1.39/1.45 c | 55166 | 2646 16118 115684 | 1 21040 19 | 0.000 % | 4.18/4.27 c | 57100 | 2646 16118 115684 | 1 22974 20 | 0.000 % | 4.18/4.27 c | 57514 | 2646 16118 115684 | 1 23388 20 | 0.000 % | 4.18/4.27 c | 57615 | 2646 16118 115684 | 1 23489 20 | 0.000 % | 4.18/4.27 c | 58027 | 2646 16118 115684 | 1 23901 20 | 0.000 % | 4.18/4.27 c | 58326 | 2646 16118 115684 | 1 24200 20 | 0.000 % | 4.18/4.27 c | 61569 | 2646 16118 115684 | 1 27443 21 | 0.000 % | 4.18/4.27 c | 61776 | 2646 16118 115684 | 1 27650 21 | 0.000 % | 4.18/4.27 c | 62236 | 2646 16118 115684 | 1 28110 21 | 0.000 % | 4.18/4.27 c | 62893 | 2646 16118 115684 | 1 28767 21 | 0.000 % | 4.18/4.27 c | 63436 | 2646 16118 115684 | 1 14893 14 | 0.000 % | 4.18/4.27 c | 63779 | 2646 16118 115684 | 1 15236 15 | 0.000 % | 4.18/4.27 c | 65037 | 2646 16118 115684 | 1 16494 16 | 0.000 % | 4.18/4.27 c | 66141 | 2646 16118 115684 | 1 17598 16 | 0.000 % | 4.18/4.27 c | 68880 | 2646 16118 115684 | 1 20337 18 | 0.000 % | 4.18/4.27 c | 71062 | 2646 16118 115684 | 1 22519 19 | 0.000 % | 4.18/4.27 c | 71357 | 2646 16118 115684 | 1 22814 19 | 0.000 % | 4.18/4.27 c | 71663 | 2646 16118 115684 | 1 23120 19 | 0.000 % | 4.18/4.27 c | 71763 | 2646 16118 115684 | 1 23220 19 | 0.000 % | 4.18/4.27 c | 71887 | 2646 16118 115684 | 1 23344 19 | 0.000 % | 4.18/4.27 c | 72492 | 2646 16118 115684 | 1 23949 19 | 0.000 % | 4.18/4.27 c | 73063 | 2646 16118 115684 | 1 24520 20 | 0.000 % | 4.18/4.27 c | 73532 | 2646 16118 115684 | 1 24989 20 | 0.000 % | 4.18/4.27 c | 74250 | 2646 16118 115684 | 1 25707 20 | 0.000 % | 4.18/4.27 c | 74491 | 2646 16118 115684 | 1 25948 20 | 0.000 % | 4.18/4.27 c | 75549 | 2646 16118 115684 | 1 27006 20 | 0.000 % | 4.18/4.27 c | 75745 | 2646 16118 115684 | 1 27202 20 | 0.000 % | 4.18/4.27 c | 76447 | 2646 16118 115684 | 1 27904 21 | 0.000 % | 4.18/4.27 c | 76975 | 2646 16118 115684 | 1 28432 21 | 0.000 % | 4.18/4.27 c | 79282 | 2646 16118 115684 | 1 30739 21 | 0.000 % | 4.18/4.27 c | 87015 | 2646 16118 115684 | 1 21456 18 | 0.000 % | 4.18/4.27 c | 88333 | 2646 16118 115684 | 1 22774 19 | 0.000 % | 4.18/4.27 c | 90052 | 2646 16118 115684 | 1 24493 20 | 0.000 % | 4.18/4.27 c | 91546 | 2646 16118 115684 | 1 25987 20 | 0.000 % | 4.18/4.27 c | 91870 | 2646 16118 115684 | 1 26311 20 | 0.000 % | 4.18/4.27 c | 92297 | 2646 16118 115684 | 1 26738 20 | 0.000 % | 4.18/4.27 c | 93266 | 2646 16118 115684 | 1 27707 20 | 0.000 % | 4.18/4.27 c | 95691 | 2646 16118 115684 | 1 30132 21 | 0.000 % | 4.18/4.27 c | 100563 | 2646 16118 115684 | 1 35004 22 | 0.000 % | 4.18/4.27 c | 106507 | 2646 16118 115684 | 1 21347 16 | 0.000 % | 4.18/4.27 c | 106721 | 2646 16118 115684 | 1 21561 16 | 0.000 % | 4.18/4.27 c | 107184 | 2646 16118 115684 | 1 22024 16 | 0.000 % | 4.18/4.27 c | 107307 | 2646 16118 115684 | 1 22147 17 | 0.000 % | 4.18/4.27 c | 107575 | 2646 16118 115684 | 1 22415 17 | 0.000 % | 4.18/4.27 c | 107782 | 2646 16118 115684 | 1 22622 17 | 0.000 % | 4.18/4.27 c | 108469 | 2646 16118 115684 | 1 23309 17 | 0.000 % | 4.18/4.27 c | 109942 | 2646 16118 115684 | 1 24782 18 | 0.000 % | 4.18/4.27 c | 110182 | 2646 16118 115684 | 1 25022 18 | 0.000 % | 4.18/4.27 c | 110313 | 2646 16118 115684 | 1 25153 18 | 0.000 % | 4.18/4.27 c | 113005 | 2646 16118 115684 | 1 27845 19 | 0.000 % | 4.18/4.27 c | 117392 | 2646 16118 115684 | 1 32232 20 | 0.000 % | 5.78/5.88 c | 118326 | 2646 16118 115684 | 1 33166 21 | 0.000 % | 5.78/5.88 c | 118588 | 2646 16118 115684 | 1 33428 21 | 0.000 % | 5.78/5.88 c | 119846 | 2646 16118 115684 | 1 34686 21 | 0.000 % | 5.78/5.88 c | 120520 | 2646 16118 115684 | 1 35360 21 | 0.000 % | 5.78/5.88 c | 121075 | 2646 16118 115684 | 1 35915 21 | 0.000 % | 5.78/5.88 c | 121188 | 2646 16118 115684 | 1 36028 21 | 0.000 % | 5.78/5.88 c | 121359 | 2646 16118 115684 | 1 36199 21 | 0.000 % | 5.78/5.88 c | 122142 | 2646 16118 115684 | 1 36982 21 | 0.000 % | 5.78/5.88 c | 123416 | 2646 16118 115684 | 1 38256 22 | 0.000 % | 5.78/5.88 c | 124541 | 2646 16118 115684 | 1 39381 22 | 0.000 % | 5.78/5.88 c | 124796 | 2646 16118 115684 | 1 39636 22 | 0.000 % | 5.78/5.88 c | 127729 | 2646 16118 115684 | 1 42569 22 | 0.000 % | 5.78/5.88 c | 128154 | 2646 16118 115684 | 1 42994 22 | 0.000 % | 5.78/5.88 c | 128396 | 2646 16118 115684 | 1 43236 22 | 0.000 % | 5.78/5.88 c | 128545 | 2646 16118 115684 | 1 43385 22 | 0.000 % | 5.78/5.88 c | 129450 | 2646 16118 115684 | 1 44290 23 | 0.000 % | 5.78/5.88 c | 129944 | 2646 16118 115684 | 1 22584 15 | 0.000 % | 5.78/5.88 c | 130903 | 2646 16118 115684 | 1 23543 15 | 0.000 % | 5.78/5.88 c | 131632 | 2646 16118 115684 | 1 24272 15 | 0.000 % | 5.78/5.88 c | 132565 | 2646 16118 115684 | 1 25205 16 | 0.000 % | 5.78/5.88 c | 132840 | 2646 16118 115684 | 1 25480 16 | 0.000 % | 5.78/5.88 c | 133747 | 2646 16118 115684 | 1 26387 16 | 0.000 % | 5.78/5.88 c | 133955 | 2646 16118 115684 | 1 26595 17 | 0.000 % | 5.78/5.88 c | 134105 | 2646 16118 115684 | 1 26745 17 | 0.000 % | 5.78/5.88 c | 134268 | 2646 16118 115684 | 1 26908 17 | 0.000 % | 5.78/5.88 c | 135196 | 2646 16118 115684 | 1 27836 17 | 0.000 % | 5.78/5.88 c | 136440 | 2646 16118 115684 | 1 29080 18 | 0.000 % | 5.78/5.88 c | 136813 | 2646 16118 115684 | 1 29453 18 | 0.000 % | 5.78/5.88 c | 137229 | 2646 16118 115684 | 1 29869 18 | 0.000 % | 5.78/5.88 c | 138285 | 2646 16118 115684 | 1 30925 19 | 0.000 % | 5.78/5.88 c | 138893 | 2646 16118 115684 | 1 31533 19 | 0.000 % | 5.78/5.88 c | 139035 | 2646 16118 115684 | 1 31675 19 | 0.000 % | 5.78/5.88 c | 139517 | 2646 16118 115684 | 1 32157 19 | 0.000 % | 5.78/5.88 c | 139832 | 2646 16118 115684 | 1 32472 19 | 0.000 % | 5.78/5.88 c | 139932 | 2646 16118 115684 | 1 32572 19 | 0.000 % | 5.78/5.88 c | 140041 | 2646 16118 115684 | 1 32681 19 | 0.000 % | 5.78/5.88 c | 140477 | 2646 16118 115684 | 1 33117 19 | 0.000 % | 5.78/5.88 c | 141878 | 2646 16118 115684 | 1 34518 20 | 0.000 % | 5.78/5.88 c | 141980 | 2646 16118 115684 | 1 34620 20 | 0.000 % | 5.78/5.88 c | 142080 | 2646 16118 115684 | 1 34720 20 | 0.000 % | 5.78/5.88 c | 142186 | 2646 16118 115684 | 1 34826 20 | 0.000 % | 5.78/5.88 c | 142353 | 2646 16118 115684 | 1 34993 20 | 0.000 % | 5.78/5.88 c | 142453 | 2646 16118 115684 | 1 35093 20 | 0.000 % | 5.78/5.88 c | 143400 | 2646 16118 115684 | 1 36040 20 | 0.000 % | 5.78/5.88 c | 143503 | 2646 16118 115684 | 1 36143 20 | 0.000 % | 5.78/5.88 c | 143617 | 2646 16118 115684 | 1 36257 20 | 0.000 % | 5.78/5.88 c | 143983 | 2646 16118 115684 | 1 36623 20 | 0.000 % | 5.78/5.88 c | 144231 | 2646 16118 115684 | 1 36871 21 | 0.000 % | 5.78/5.88 c | 144408 | 2646 16118 115684 | 1 37048 21 | 0.000 % | 5.78/5.88 c | 145771 | 2646 16118 115684 | 1 38411 21 | 0.000 % | 14.29/14.33 c | 146510 | 2646 16118 115684 | 1 39150 21 | 0.000 % | 14.29/14.33 c | 147536 | 2646 16118 115684 | 1 40176 21 | 0.000 % | 14.29/14.33 c | 150175 | 2646 16118 115684 | 1 42815 22 | 0.000 % | 14.29/14.33 c | 150276 | 2646 16118 115684 | 1 42916 22 | 0.000 % | 14.29/14.33 c | 150511 | 2646 16118 115684 | 1 43151 22 | 0.000 % | 14.29/14.33 c | 151142 | 2646 16118 115684 | 1 43782 22 | 0.000 % | 14.29/14.33 c | 151242 | 2646 16118 115684 | 1 43882 22 | 0.000 % | 14.29/14.33 c | 151342 | 2646 16118 115684 | 1 43982 22 | 0.000 % | 14.29/14.33 c | 162777 | 2646 16118 115684 | 1 30617 17 | 0.000 % | 14.29/14.33 c | 162962 | 2646 16118 115684 | 1 30802 17 | 0.000 % | 14.29/14.33 c | 163256 | 2646 16118 115684 | 1 31096 18 | 0.000 % | 14.29/14.33 c | 163767 | 2646 16118 115684 | 1 31607 18 | 0.000 % | 14.29/14.33 c | 167714 | 2646 16118 115684 | 1 35554 19 | 0.000 % | 14.29/14.33 c | 170196 | 2646 16118 115684 | 1 38036 20 | 0.000 % | 14.29/14.33 c | 170850 | 2646 16118 115684 | 1 38690 20 | 0.000 % | 14.29/14.33 c | 171856 | 2646 16118 115684 | 1 39696 20 | 0.000 % | 14.29/14.33 c | 172877 | 2646 16118 115684 | 1 40717 20 | 0.000 % | 14.29/14.33 c | 174225 | 2646 16118 115684 | 1 42065 21 | 0.000 % | 14.29/14.33 c | 176855 | 2646 16118 115684 | 1 44695 21 | 0.000 % | 14.29/14.33 c | 179057 | 2646 16118 115684 | 1 46897 22 | 0.000 % | 14.29/14.33 c | 179637 | 2646 16118 115684 | 1 47477 22 | 0.000 % | 14.29/14.33 c | 183960 | 2646 16118 115684 | 1 51800 23 | 0.000 % | 14.29/14.33 c | 188966 | 2646 16118 115684 | 1 29393 16 | 0.000 % | 14.29/14.33 c | 196027 | 2646 16118 115684 | 1 36454 19 | 0.000 % | 14.29/14.33 c | 197323 | 2646 16118 115684 | 1 37750 19 | 0.000 % | 14.29/14.33 c | 202007 | 2646 16118 115684 | 1 42434 20 | 0.000 % | 14.29/14.33 c | 202685 | 2646 16118 115684 | 1 43112 21 | 0.000 % | 14.29/14.33 c | 204428 | 2646 16118 115684 | 1 44855 21 | 0.000 % | 14.29/14.33 c | 204538 | 2646 16118 115684 | 1 44965 21 | 0.000 % | 14.29/14.33 c | 204864 | 2646 16118 115684 | 1 45291 21 | 0.000 % | 14.29/14.33 c | 214651 | 2646 16118 115684 | 1 55078 23 | 0.000 % | 14.29/14.33 c | 228283 | 2646 16118 115684 | 1 38710 19 | 0.000 % | 14.29/14.33 c | 230475 | 2646 16118 115684 | 1 40902 19 | 0.000 % | 14.29/14.33 c | 230796 | 2646 16118 115684 | 1 41223 19 | 0.000 % | 14.29/14.33 c | 232953 | 2646 16118 115684 | 1 43380 20 | 0.000 % | 14.29/14.33 c | 233414 | 2646 16118 115684 | 1 43841 20 | 0.000 % | 14.29/14.33 c | 233534 | 2646 16118 115684 | 1 43961 20 | 0.000 % | 14.29/14.33 c | 244722 | 2646 16118 115684 | 1 55149 22 | 0.000 % | 14.29/14.33 c | 249719 | 2646 16118 115684 | 1 60146 23 | 0.000 % | 14.29/14.33 c | 250202 | 2646 16118 115684 | 1 60629 23 | 0.000 % | 14.29/14.33 c | 252924 | 2646 16118 115684 | 1 63351 24 | 0.000 % | 14.29/14.33 c | 257000 | 2646 16118 115684 | 1 34829 16 | 0.000 % | 14.29/14.33 c | 257579 | 2646 16118 115684 | 1 35408 16 | 0.000 % | 14.29/14.33 c | 257686 | 2646 16118 115684 | 1 35515 16 | 0.000 % | 14.29/14.33 c | 262542 | 2646 16118 115684 | 1 40371 18 | 0.000 % | 14.29/14.33 c | 262748 | 2646 16118 115684 | 1 40577 18 | 0.000 % | 14.29/14.33 c | 266547 | 2646 16118 115684 | 1 44376 19 | 0.000 % | 14.29/14.33 c | 269072 | 2646 16118 115684 | 1 46901 20 | 0.000 % | 14.29/14.33 c | 269823 | 2646 16118 115684 | 1 47652 20 | 0.000 % | 14.29/14.33 c | 270589 | 2646 16118 115684 | 1 48418 21 | 0.000 % | 32.78/32.83 c | 270689 | 2646 16118 115684 | 1 48518 21 | 0.000 % | 32.78/32.83 c | 270789 | 2646 16118 115684 | 1 48618 21 | 0.000 % | 32.78/32.83 c | 271104 | 2646 16118 115684 | 1 48933 21 | 0.000 % | 32.78/32.83 c | 271755 | 2646 16118 115684 | 1 49584 21 | 0.000 % | 32.78/32.83 c | 271888 | 2646 16118 115684 | 1 49717 21 | 0.000 % | 32.78/32.83 c | 273488 | 2646 16118 115684 | 1 51317 21 | 0.000 % | 32.78/32.83 c | 285967 | 2646 16118 115684 | 1 63796 23 | 0.000 % | 32.78/32.83 c | 287118 | 2646 16118 115684 | 1 64947 23 | 0.000 % | 32.78/32.83 c | 290490 | 2646 16118 115684 | 1 68319 24 | 0.000 % | 32.78/32.83 c | 290593 | 2646 16118 115684 | 1 68422 24 | 0.000 % | 32.78/32.83 c | 290892 | 2646 16118 115684 | 1 68721 24 | 0.000 % | 32.78/32.83 c | 291056 | 2646 16118 115684 | 1 68885 24 | 0.000 % | 32.78/32.83 c | 292071 | 2646 16118 115684 | 1 69900 24 | 0.000 % | 32.78/32.83 c | 293213 | 2646 16118 115684 | 1 35834 15 | 0.000 % | 32.78/32.83 c | 293442 | 2646 16118 115684 | 1 36063 15 | 0.000 % | 32.78/32.83 c | 293976 | 2646 16118 115684 | 1 36597 15 | 0.000 % | 32.78/32.83 c | 297260 | 2646 16118 115684 | 1 39881 17 | 0.000 % | 32.78/32.83 c | 297978 | 2646 16118 115684 | 1 40599 17 | 0.000 % | 32.78/32.83 c | 308265 | 2646 16118 115684 | 1 50886 20 | 0.000 % | 32.78/32.83 c | 309034 | 2646 16118 115684 | 1 51655 20 | 0.000 % | 32.78/32.83 c | 309185 | 2646 16118 115684 | 1 51806 20 | 0.000 % | 32.78/32.83 c | 309293 | 2646 16118 115684 | 1 51914 20 | 0.000 % | 32.78/32.83 c | 310311 | 2646 16118 115684 | 1 52932 20 | 0.000 % | 32.78/32.83 c | 310508 | 2646 16118 115684 | 1 53129 20 | 0.000 % | 32.78/32.83 c | 313687 | 2646 16118 115684 | 1 56308 21 | 0.000 % | 32.78/32.83 c | 334280 | 2646 16118 115684 | 1 39123 16 | 0.000 % | 32.78/32.83 c | 338444 | 2646 16118 115684 | 1 43287 18 | 0.000 % | 32.78/32.83 c | 351194 | 2646 16118 115684 | 1 56037 21 | 0.000 % | 32.78/32.83 c | 351488 | 2646 16118 115684 | 1 56331 22 | 0.000 % | 32.78/32.83 c | 354929 | 2646 16118 115684 | 1 59772 22 | 0.000 % | 32.78/32.83 c | 367139 | 2646 16118 115684 | 1 71982 24 | 0.000 % | 32.78/32.83 c | 367623 | 2646 16118 115684 | 1 72466 24 | 0.000 % | 32.78/32.83 c | 367986 | 2646 16118 115684 | 1 72829 24 | 0.000 % | 32.78/32.83 c | 369434 | 2646 16118 115684 | 1 74277 24 | 0.000 % | 32.78/32.83 c | 369900 | 2646 16118 115684 | 1 74743 24 | 0.000 % | 32.78/32.83 c | 371259 | 2646 16118 115684 | 1 76102 25 | 0.000 % | 32.78/32.83 c | 378945 | 2646 16118 115684 | 1 43385 16 | 0.000 % | 32.78/32.83 c | 419152 | 2646 16118 115684 | 1 83592 23 | 0.000 % | 32.78/32.83 c | 421182 | 2646 16118 115684 | 1 85622 24 | 0.000 % | 32.78/32.83 c | 422368 | 2646 16118 115684 | 1 43797 15 | 0.000 % | 32.78/32.83 c | 422498 | 2646 16118 115684 | 1 43927 15 | 0.000 % | 32.78/32.83 c | 438817 | 2646 16118 115684 | 1 60246 20 | 0.000 % | 32.78/32.83 c | 440122 | 2646 16118 115684 | 1 61551 20 | 0.000 % | 32.78/32.83 c | 440828 | 2646 16118 115684 | 1 62257 20 | 0.000 % | 32.78/32.83 c | 450402 | 2646 16118 115684 | 1 71831 22 | 0.000 % | 32.78/32.83 c | 452312 | 2646 16118 115684 | 1 73741 22 | 0.000 % | 32.78/32.83 c | 454216 | 2646 16118 115684 | 1 75645 23 | 0.000 % | 32.78/32.83 c | 455391 | 2646 16118 115684 | 1 76820 23 | 0.000 % | 32.78/32.83 c | 456419 | 2646 16118 115684 | 1 77848 23 | 0.000 % | 32.78/32.83 c | 458030 | 2646 16118 115684 | 1 79459 23 | 0.000 % | 166.68/166.78 c | 458131 | 2646 16118 115684 | 1 79560 23 | 0.000 % | 166.68/166.78 c | 459407 | 2646 16118 115684 | 1 80836 23 | 0.000 % | 166.68/166.78 c | 460961 | 2646 16118 115684 | 1 82390 23 | 0.000 % | 166.68/166.78 c | 496590 | 2646 16118 115684 | 1 72411 22 | 0.000 % | 166.68/166.78 c | 497161 | 2646 16118 115684 | 1 72982 22 | 0.000 % | 166.68/166.78 c | 505400 | 2646 16118 115684 | 1 81221 23 | 0.000 % | 166.68/166.78 c | 505626 | 2646 16118 115684 | 1 81447 23 | 0.000 % | 166.68/166.78 c | 512075 | 2646 16118 115684 | 1 87896 24 | 0.000 % | 166.68/166.78 c | 536689 | 2646 16118 115684 | 1 64314 20 | 0.000 % | 166.68/166.78 c | 539454 | 2646 16118 115684 | 1 67079 21 | 0.000 % | 166.68/166.78 c | 548403 | 2646 16118 115684 | 1 76028 22 | 0.000 % | 166.68/166.78 c | 550724 | 2646 16118 115684 | 1 78349 23 | 0.000 % | 166.68/166.78 c | 553626 | 2646 16118 115684 | 1 81251 23 | 0.000 % | 166.68/166.78 c | 553865 | 2646 16118 115684 | 1 81490 23 | 0.000 % | 166.68/166.78 c | 557784 | 2646 16118 115684 | 1 85409 24 | 0.000 % | 166.68/166.78 c | 588468 | 2646 16118 115684 | 1 65295 19 | 0.000 % | 166.68/166.78 c | 589709 | 2646 16118 115684 | 1 66536 20 | 0.000 % | 166.68/166.78 c | 589900 | 2646 16118 115684 | 1 66727 20 | 0.000 % | 166.68/166.78 c | 591208 | 2646 16118 115684 | 1 68035 20 | 0.000 % | 166.68/166.78 c | 593702 | 2646 16118 115684 | 1 70529 20 | 0.000 % | 166.68/166.78 c | 608713 | 2646 16118 115684 | 1 85540 23 | 0.000 % | 166.68/166.78 c | 611541 | 2646 16118 115684 | 1 88368 24 | 0.000 % | 166.68/166.78 c | 616664 | 2646 16118 115684 | 1 93491 24 | 0.000 % | 166.68/166.78 c | 617053 | 2646 16118 115684 | 1 93880 25 | 0.000 % | 166.68/166.78 c | 641449 | 2646 16118 115684 | 1 64876 18 | 0.000 % | 166.68/166.78 c | 641677 | 2646 16118 115684 | 1 65104 18 | 0.000 % | 166.68/166.78 c | 641785 | 2646 16118 115684 | 1 65212 18 | 0.000 % | 166.68/166.78 c | 650075 | 2646 16118 115684 | 1 73502 20 | 0.000 % | 166.68/166.78 c | 650233 | 2646 16118 115684 | 1 73660 20 | 0.000 % | 166.68/166.78 c | 653569 | 2646 16118 115684 | 1 76996 21 | 0.000 % | 166.68/166.78 c | 701515 | 2646 16118 115684 | 1 68944 19 | 0.000 % | 166.68/166.78 c | 912592 | 2646 16118 115684 | 1 96424 21 | 0.000 % | 166.68/166.78 c | 920260 | 2646 16118 115684 | 1 104092 22 | 0.000 % | 166.68/166.78 c | 1002214 | 2646 16118 115684 | 1 119640 22 | 0.000 % | 166.68/166.78 c | 1002475 | 2646 16118 115684 | 1 119901 22 | 0.000 % | 166.68/166.78 c | 1006600 | 2646 16118 115684 | 1 124026 23 | 0.000 % | 166.68/166.78 c | 1010666 | 2646 16118 115684 | 1 128092 23 | 0.000 % | 166.68/166.78 c | 1010774 | 2646 16118 115684 | 1 128200 23 | 0.000 % | 166.68/166.78 c | 1039316 | 2646 16118 115684 | 1 87732 18 | 0.000 % | 166.68/166.78 c | 1097658 | 2646 16118 115684 | 1 74481 15 | 0.000 % | 166.68/166.78 c | 1098066 | 2646 16118 115684 | 1 74889 15 | 0.000 % | 166.68/166.78 c | 1098344 | 2646 16118 115684 | 1 75167 15 | 0.000 % | 166.68/166.78 c | 1187464 | 2646 16118 115684 | 1 90082 18 | 0.000 % | 166.68/166.78 c | 1191408 | 2646 16118 115684 | 1 94026 18 | 0.000 % | 166.68/166.78 c | 1191832 | 2646 16118 115684 | 1 94450 18 | 0.000 % | 166.68/166.78 c | 1192324 | 2646 16118 115684 | 1 94942 19 | 0.000 % | 166.68/166.78 c | 1194309 | 2646 16118 115684 | 1 96927 19 | 0.000 % | 166.68/166.78 c | 1194438 | 2646 16118 115684 | 1 97056 19 | 0.000 % | 166.68/166.78 c | 1223681 | 2646 16118 115684 | 1 126299 22 | 0.000 % | 460.59/460.62 c | 1224610 | 2646 16118 115684 | 1 127228 22 | 0.000 % | 460.59/460.62 c | 1225683 | 2646 16118 115684 | 1 128301 23 | 0.000 % | 460.59/460.62 c | 1318326 | 2646 16118 115684 | 1 144140 22 | 0.000 % | 460.59/460.62 c | 1552836 | 2646 16118 115684 | 1 132656 21 | 0.000 % | 460.59/460.62 c | 1553425 | 2646 16118 115684 | 1 133245 21 | 0.000 % | 460.59/460.62 c | 1553571 | 2646 16118 115684 | 1 133391 21 | 0.000 % | 460.59/460.62 c | 1589473 | 2646 16118 115684 | 1 169293 24 | 0.000 % | 460.59/460.62 c | 1589573 | 2646 16118 115684 | 1 169393 24 | 0.000 % | 460.59/460.62 c | 1589901 | 2646 16118 115684 | 1 169721 24 | 0.000 % | 460.59/460.62 c | 1721179 | 2646 16118 115684 | 1 123996 20 | 0.000 % | 460.59/460.62 c | 1737512 | 2646 16118 115684 | 1 140329 22 | 0.000 % | 460.59/460.62 c | 1753098 | 2646 16118 115684 | 1 155915 23 | 0.000 % | 460.59/460.62 c | 1753201 | 2646 16118 115684 | 1 156018 23 | 0.000 % | 460.59/460.62 c | 1764428 | 2646 16118 115684 | 1 167245 24 | 0.000 % | 460.59/460.62 c | 1769192 | 2646 16118 115684 | 1 172009 24 | 0.000 % | 460.59/460.62 c | 1769915 | 2646 16118 115684 | 1 172732 24 | 0.000 % | 460.59/460.62 c | 1770015 | 2646 16118 115684 | 1 172832 24 | 0.000 % | 460.59/460.62 c | 1770117 | 2646 16118 115684 | 1 172934 24 | 0.000 % | 460.59/460.62 c | 1784393 | 2646 16118 115684 | 1 94816 15 | 0.000 % | 460.59/460.62 c | 1870632 | 2646 16118 115684 | 1 181055 23 | 0.000 % | 460.59/460.62 c | 1919375 | 2646 16118 115684 | 1 134793 20 | 0.000 % | 460.59/460.62 c | 1968423 | 2646 16118 115684 | 1 183841 24 | 0.000 % | 460.59/460.62 c | 1977685 | 2646 16118 115684 | 1 193103 25 | 0.000 % | 460.59/460.62 c | 1978050 | 2646 16118 115684 | 1 193468 25 | 0.000 % | 460.59/460.62 c | 1979686 | 2646 16118 115684 | 1 195104 25 | 0.000 % | 460.59/460.62 c | 1988448 | 2646 16118 115684 | 1 106262 16 | 0.000 % | 460.59/460.62 c | 1993914 | 2646 16118 115684 | 1 111728 17 | 0.000 % | 460.59/460.62 c | 1995415 | 2646 16118 115684 | 1 113229 17 | 0.000 % | 460.59/460.62 c | 2074833 | 2646 16118 115684 | 1 192647 23 | 0.000 % | 460.59/460.62 c | 2095532 | 2646 16118 115684 | 1 113152 17 | 0.000 % | 460.59/460.62 c | 2148217 | 2646 16118 115684 | 1 165837 22 | 0.000 % | 460.59/460.62 c | 2148575 | 2646 16118 115684 | 1 166195 22 | 0.000 % | 460.59/460.62 c | 2148903 | 2646 16118 115684 | 1 166523 22 | 0.000 % | 460.59/460.62 c | 2149003 | 2646 16118 115684 | 1 166623 22 | 0.000 % | 460.59/460.62 c | 2161781 | 2646 16118 115684 | 1 179401 23 | 0.000 % | 460.59/460.62 c | 2161881 | 2646 16118 115684 | 1 179501 23 | 0.000 % | 460.59/460.62 c | 2166617 | 2646 16118 115684 | 1 184237 23 | 0.000 % | 460.59/460.62 c | 2235225 | 2646 16118 115684 | 1 150041 20 | 0.000 % | 460.59/460.62 c | 2238448 | 2646 16118 115684 | 1 153264 20 | 0.000 % | 460.59/460.62 c | 2247281 | 2646 16118 115684 | 1 162097 21 | 0.000 % | 460.59/460.62 c | 2247382 | 2646 16118 115684 | 1 162198 21 | 0.000 % | 460.59/460.62 c | 2247483 | 2646 16118 115684 | 1 162299 21 | 0.000 % | 460.59/460.62 c | 2247584 | 2646 16118 115684 | 1 162400 21 | 0.000 % | 460.59/460.62 c | 2248916 | 2646 16118 115684 | 1 163732 21 | 0.000 % | 460.59/460.62 c | 2250495 | 2646 16118 115684 | 1 165311 22 | 0.000 % | 460.59/460.62 c | 2251270 | 2646 16118 115684 | 1 166086 22 | 0.000 % | 460.59/460.62 c | 2251372 | 2646 16118 115684 | 1 166188 22 | 0.000 % | 460.59/460.62 c | 2254671 | 2646 16118 115684 | 1 169487 22 | 0.000 % | 460.59/460.62 c | 2262767 | 2646 16118 115684 | 1 177583 23 | 0.000 % | 460.59/460.62 c | 2278873 | 2646 16118 115684 | 1 193689 24 | 0.000 % | 643.00/643.04 c | 2282723 | 2646 16118 115684 | 1 197539 24 | 0.000 % | 643.00/643.04 c | 2284051 | 2646 16118 115684 | 1 198867 24 | 0.000 % | 643.00/643.04 c | 2287092 | 2646 16118 115684 | 1 201908 25 | 0.000 % | 643.00/643.04 c | 2287192 | 2646 16118 115684 | 1 202008 25 | 0.000 % | 643.00/643.04 c | 2290870 | 2646 16118 115684 | 1 205686 25 | 0.000 % | 643.00/643.04 c | 2290972 | 2646 16118 115684 | 1 205788 25 | 0.000 % | 643.00/643.04 c | 2305729 | 2646 16118 115684 | 1 115147 15 | 0.000 % | 643.00/643.04 c | 2305829 | 2646 16118 115684 | 1 115247 15 | 0.000 % | 643.00/643.04 c | 2312818 | 2646 16118 115684 | 1 122236 17 | 0.000 % | 643.00/643.04 c | 2312919 | 2646 16118 115684 | 1 122337 17 | 0.000 % | 643.00/643.04 c | 2323484 | 2646 16118 115684 | 1 132902 18 | 0.000 % | 643.00/643.04 c | 2368023 | 2646 16118 115684 | 1 177441 22 | 0.000 % | 643.00/643.04 c | 2386238 | 2646 16118 115684 | 1 195656 24 | 0.000 % | 643.00/643.04 c | 2388999 | 2646 16118 115684 | 1 198417 24 | 0.000 % | 643.00/643.04 c | 2391311 | 2646 16118 115684 | 1 200729 24 | 0.000 % | 643.00/643.04 c | 2487359 | 2646 16118 115684 | 1 188775 23 | 0.000 % | 643.00/643.04 c | 2487465 | 2646 16118 115684 | 1 188881 23 | 0.000 % | 643.00/643.04 c | 2487565 | 2646 16118 115684 | 1 188981 23 | 0.000 % | 643.00/643.04 c | 2490733 | 2646 16118 115684 | 1 192149 23 | 0.000 % | 643.00/643.04 c | 2490918 | 2646 16118 115684 | 1 192334 23 | 0.000 % | 643.00/643.04 c | 2497844 | 2646 16118 115684 | 1 199260 23 | 0.000 % | 643.00/643.04 c | 2498591 | 2646 16118 115684 | 1 200007 23 | 0.000 % | 643.00/643.04 c | 2498693 | 2646 16118 115684 | 1 200109 23 | 0.000 % | 643.00/643.04 c | 2498878 | 2646 16118 115684 | 1 200294 24 | 0.000 % | 643.00/643.04 c | 2538536 | 2646 16118 115684 | 1 129356 17 | 0.000 % | 643.00/643.04 c | 2558482 | 2646 16118 115684 | 1 149302 20 | 0.000 % | 643.00/643.04 c | 2559718 | 2646 16118 115684 | 1 150538 20 | 0.000 % | 643.00/643.04 c | 2575289 | 2646 16118 115684 | 1 166109 21 | 0.000 % | 643.00/643.04 c | 2575389 | 2646 16118 115684 | 1 166209 21 | 0.000 % | 643.00/643.04 c | 2586823 | 2646 16118 115684 | 1 177643 22 | 0.000 % | 643.00/643.04 c | 2706903 | 2646 16118 115684 | 1 184523 22 | 0.000 % | 643.00/643.04 c | 2718129 | 2646 16118 115684 | 1 195749 23 | 0.000 % | 643.00/643.04 c | 2722962 | 2646 16118 115684 | 1 200582 23 | 0.000 % | 643.00/643.04 c | 2725455 | 2646 16118 115684 | 1 203075 23 | 0.000 % | 643.00/643.04 c | 2727885 | 2646 16118 115684 | 1 205505 24 | 0.000 % | 643.00/643.04 c | 2727985 | 2646 16118 115684 | 1 205605 24 | 0.000 % | 643.00/643.04 c | 2728085 | 2646 16118 115684 | 1 205705 24 | 0.000 % | 643.00/643.04 c | 2728185 | 2646 16118 115684 | 1 205805 24 | 0.000 % | 643.00/643.04 c | 2730510 | 2646 16118 115684 | 1 208130 24 | 0.000 % | 643.00/643.04 c | 2730814 | 2646 16118 115684 | 1 208434 24 | 0.000 % | 643.00/643.04 c | 2730915 | 2646 16118 115684 | 1 208535 24 | 0.000 % | 643.00/643.04 c | 2771554 | 2646 16118 115684 | 1 133371 17 | 0.000 % | 643.00/643.04 c | 2771904 | 2646 16118 115684 | 1 133721 17 | 0.000 % | 643.00/643.04 c | 2772144 | 2646 16118 115684 | 1 133961 17 | 0.000 % | 643.00/643.04 c | 2772246 | 2646 16118 115684 | 1 134063 17 | 0.000 % | 643.00/643.04 c | 2772347 | 2646 16118 115684 | 1 134164 17 | 0.000 % | 643.00/643.04 c | 2824322 | 2646 16118 115684 | 1 186139 22 | 0.000 % | 643.00/643.04 c | 2832798 | 2646 16118 115684 | 1 194615 22 | 0.000 % | 643.00/643.04 c | 2832997 | 2646 16118 115684 | 1 194814 22 | 0.000 % | 643.00/643.04 c | 2833139 | 2646 16118 115684 | 1 194956 23 | 0.000 % | 841.91/841.99 c | 2848180 | 2646 16118 115684 | 1 209997 24 | 0.000 % | 841.91/841.99 c | 2848837 | 2646 16118 115684 | 1 210654 24 | 0.000 % | 841.91/841.99 c | 2925627 | 2646 16118 115684 | 1 169043 20 | 0.000 % | 841.91/841.99 c | 2968103 | 2646 16118 115684 | 1 211519 23 | 0.000 % | 841.91/841.99 c | 2991638 | 2646 16118 115684 | 1 235054 24 | 0.000 % | 841.91/841.99 c | 2997249 | 2646 16118 115684 | 1 240665 25 | 0.000 % | 841.91/841.99 c | 3023343 | 2646 16118 115684 | 1 145759 18 | 0.000 % | 841.91/841.99 c | 3025185 | 2646 16118 115684 | 1 147601 18 | 0.000 % | 841.91/841.99 c | 3030491 | 2646 16118 115684 | 1 152907 19 | 0.000 % | 841.91/841.99 c | 3032584 | 2646 16118 115684 | 1 155000 19 | 0.000 % | 841.91/841.99 c | 3033680 | 2646 16118 115684 | 1 156096 19 | 0.000 % | 841.91/841.99 c | 3041179 | 2646 16118 115684 | 1 163595 20 | 0.000 % | 841.91/841.99 c | 3042063 | 2646 16118 115684 | 1 164479 20 | 0.000 % | 841.91/841.99 c | 3043541 | 2646 16118 115684 | 1 165957 20 | 0.000 % | 841.91/841.99 c | 3050443 | 2646 16118 115684 | 1 172859 21 | 0.000 % | 841.91/841.99 c | 3132133 | 2646 16118 115684 | 1 130951 15 | 0.000 % | 841.91/841.99 c | 3132234 | 2646 16118 115684 | 1 131052 15 | 0.000 % | 841.91/841.99 c | 3132338 | 2646 16118 115684 | 1 131156 15 | 0.000 % | 841.91/841.99 c | 3155044 | 2646 16118 115684 | 1 153862 18 | 0.000 % | 841.91/841.99 c | 3162866 | 2646 16118 115684 | 1 161684 19 | 0.000 % | 841.91/841.99 c | 3163980 | 2646 16118 115684 | 1 162798 19 | 0.000 % | 841.91/841.99 c | 3191062 | 2646 16118 115684 | 1 189880 21 | 0.000 % | 841.91/841.99 c | 3193492 | 2646 16118 115684 | 1 192310 21 | 0.000 % | 841.91/841.99 c | 3193595 | 2646 16118 115684 | 1 192413 21 | 0.000 % | 841.91/841.99 c | 3195300 | 2646 16118 115684 | 1 194118 22 | 0.000 % | 841.91/841.99 c | 3195429 | 2646 16118 115684 | 1 194247 22 | 0.000 % | 841.91/841.99 c | 3196440 | 2646 16118 115684 | 1 195258 22 | 0.000 % | 841.91/841.99 c | 3196540 | 2646 16118 115684 | 1 195358 22 | 0.000 % | 841.91/841.99 c | 3199138 | 2646 16118 115684 | 1 197956 22 | 0.000 % | 841.91/841.99 c | 3199238 | 2646 16118 115684 | 1 198056 22 | 0.000 % | 841.91/841.99 c | 3199340 | 2646 16118 115684 | 1 198158 22 | 0.000 % | 841.91/841.99 c | 3199440 | 2646 16118 115684 | 1 198258 22 | 0.000 % | 841.91/841.99 c | 3199542 | 2646 16118 115684 | 1 198360 22 | 0.000 % | 841.91/841.99 c | 3199680 | 2646 16118 115684 | 1 198498 22 | 0.000 % | 841.91/841.99 c | 3203167 | 2646 16118 115684 | 1 201985 22 | 0.000 % | 841.91/841.99 c | 3206369 | 2646 16118 115684 | 1 205187 23 | 0.000 % | 841.91/841.99 c | 3214317 | 2646 16118 115684 | 1 213135 23 | 0.000 % | 841.91/841.99 c | 3215816 | 2646 16118 115684 | 1 214634 23 | 0.000 % | 841.91/841.99 c | 3237246 | 2646 16118 115684 | 1 236064 24 | 0.000 % | 841.91/841.99 c | 3265778 | 2646 16118 115684 | 1 138398 16 | 0.000 % | 841.91/841.99 c | 3272693 | 2646 16118 115684 | 1 145313 17 | 0.000 % | 841.91/841.99 c | 3274096 | 2646 16118 115684 | 1 146716 17 | 0.000 % | 841.91/841.99 c | 3292041 | 2646 16118 115684 | 1 164661 19 | 0.000 % | 841.91/841.99 c | 3293150 | 2646 16118 115684 | 1 165770 19 | 0.000 % | 841.91/841.99 c | 3293250 | 2646 16118 115684 | 1 165870 19 | 0.000 % | 841.91/841.99 c | 3325535 | 2646 16118 115684 | 1 198155 21 | 0.000 % | 841.91/841.99 c | 3338537 | 2646 16118 115684 | 1 211157 23 | 0.000 % | 841.91/841.99 c | 3344681 | 2646 16118 115684 | 1 217301 23 | 0.000 % | 841.91/841.99 c | 3363824 | 2646 16118 115684 | 1 236444 24 | 0.000 % | 841.91/841.99 c | 3364114 | 2646 16118 115684 | 1 236734 24 | 0.000 % | 971.31/971.39 c | 3364580 | 2646 16118 115684 | 1 237200 24 | 0.000 % | 971.31/971.39 c | 3365473 | 2646 16118 115684 | 1 238093 24 | 0.000 % | 971.31/971.39 c | 3376162 | 2646 16118 115684 | 1 248782 25 | 0.000 % | 971.31/971.39 c | 3378767 | 2646 16118 115684 | 1 251387 25 | 0.000 % | 971.31/971.39 c | 3380952 | 2646 16118 115684 | 1 253572 25 | 0.000 % | 971.31/971.39 c | 3384080 | 2646 16118 115684 | 1 256700 25 | 0.000 % | 971.31/971.39 c | 3441045 | 2646 16118 115684 | 1 184864 20 | 0.000 % | 971.31/971.39 c | 3441145 | 2646 16118 115684 | 1 184964 20 | 0.000 % | 971.31/971.39 c | 3442412 | 2646 16118 115684 | 1 186231 20 | 0.000 % | 971.31/971.39 c | 3443885 | 2646 16118 115684 | 1 187704 20 | 0.000 % | 971.31/971.39 c | 3443985 | 2646 16118 115684 | 1 187804 20 | 0.000 % | 971.31/971.39 c | 3444224 | 2646 16118 115684 | 1 188043 20 | 0.000 % | 971.31/971.39 c | 3444369 | 2646 16118 115684 | 1 188188 20 | 0.000 % | 971.31/971.39 c | 3450231 | 2646 16118 115684 | 1 194050 21 | 0.000 % | 971.31/971.39 c | 3450331 | 2646 16118 115684 | 1 194150 21 | 0.000 % | 971.31/971.39 c | 3450432 | 2646 16118 115684 | 1 194251 21 | 0.000 % | 971.31/971.39 c | 3451045 | 2646 16118 115684 | 1 194864 21 | 0.000 % | 971.31/971.39 c | 3451145 | 2646 16118 115684 | 1 194964 21 | 0.000 % | 971.31/971.39 c | 3452825 | 2646 16118 115684 | 1 196644 21 | 0.000 % | 971.31/971.39 c | 3459963 | 2646 16118 115684 | 1 203782 22 | 0.000 % | 971.31/971.39 c | 3460119 | 2646 16118 115684 | 1 203938 22 | 0.000 % | 971.31/971.39 c | 3460220 | 2646 16118 115684 | 1 204039 22 | 0.000 % | 971.31/971.39 c | 3494799 | 2646 16118 115684 | 1 238618 24 | 0.000 % | 971.31/971.39 c | 3531529 | 2646 16118 115684 | 1 143945 16 | 0.000 % | 971.31/971.39 c | 3533130 | 2646 16118 115684 | 1 145546 16 | 0.000 % | 971.31/971.39 c | 3533231 | 2646 16118 115684 | 1 145647 16 | 0.000 % | 971.31/971.39 c | 3541711 | 2646 16118 115684 | 1 154127 17 | 0.000 % | 971.31/971.39 c | 3546100 | 2646 16118 115684 | 1 158516 18 | 0.000 % | 971.31/971.39 c | 3546547 | 2646 16118 115684 | 1 158963 18 | 0.000 % | 971.31/971.39 c | 3547909 | 2646 16118 115684 | 1 160325 18 | 0.000 % | 971.31/971.39 c | 3548076 | 2646 16118 115684 | 1 160492 18 | 0.000 % | 971.31/971.39 c | 3549755 | 2646 16118 115684 | 1 162171 18 | 0.000 % | 971.31/971.39 c | 3549856 | 2646 16118 115684 | 1 162272 18 | 0.000 % | 971.31/971.39 c | 3551336 | 2646 16118 115684 | 1 163752 18 | 0.000 % | 971.31/971.39 c | 3584878 | 2646 16118 115684 | 1 197294 22 | 0.000 % | 971.31/971.39 c | 3590467 | 2646 16118 115684 | 1 202883 22 | 0.000 % | 971.31/971.39 c | 3609077 | 2646 16118 115684 | 1 221493 23 | 0.000 % | 971.31/971.39 c | 3614297 | 2646 16118 115684 | 1 226713 24 | 0.000 % | 971.31/971.39 c | 3614397 | 2646 16118 115684 | 1 226813 24 | 0.000 % | 971.31/971.39 c | 3614787 | 2646 16118 115684 | 1 227203 24 | 0.000 % | 971.31/971.39 c | 3624581 | 2646 16118 115684 | 1 236997 24 | 0.000 % | 971.31/971.39 c | 3629347 | 2646 16118 115684 | 1 241763 25 | 0.000 % | 971.31/971.39 c | 3645407 | 2646 16118 115684 | 1 257823 26 | 0.000 % | 971.31/971.39 c | 3655383 | 2646 16118 115684 | 1 267799 26 | 0.000 % | 971.31/971.39 c | 3658008 | 2646 16118 115684 | 1 136422 15 | 0.000 % | 971.31/971.39 c | 3658210 | 2646 16118 115684 | 1 136624 15 | 0.000 % | 971.31/971.39 c | 3665887 | 2646 16118 115684 | 1 144301 16 | 0.000 % | 971.31/971.39 c | 3671094 | 2646 16118 115684 | 1 149508 17 | 0.000 % | 971.31/971.39 c | 3688082 | 2646 16118 115684 | 1 166496 19 | 0.000 % | 971.31/971.39 c | 3690010 | 2646 16118 115684 | 1 168424
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-3265784-1303562490/watcher-3265784-1303562490 -o /tmp/evaluation-result-3265784-1303562490/solver-3265784-1303562490 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3265784-1303562490.cnf running on 2 cores: 0,2 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.39 3.87 4.16 6/192 14830 /proc/meminfo: memFree=13929388/32950928 swapFree=67111528/67111528 [pid=14830] ppid=14828 vsize=8704 CPUtime=0 cores=0,2 /proc/14830/stat : 14830 (glucose.sh) R 14828 14830 14396 0 -1 4202496 316 0 0 0 0 0 0 0 25 0 1 0 546479697 8912896 252 33554432000 4194304 4922060 140733849534576 18446744073709551615 251367367061 0 65538 4100 65536 0 0 0 17 0 0 0 0 /proc/14830/statm: 2176 252 211 178 0 69 0 [startup+0.101124 s] /proc/loadavg: 3.39 3.87 4.16 6/192 14830 /proc/meminfo: memFree=13929388/32950928 swapFree=67111528/67111528 [pid=14830] ppid=14828 vsize=8704 CPUtime=0.06 cores=0,2 /proc/14830/stat : 14830 (glucose.sh) S 14828 14830 14396 0 -1 4202496 359 731 0 0 0 0 6 0 25 0 1 0 546479697 8912896 254 33554432000 4194304 4922060 140733849534576 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/14830/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 8704 [startup+0.201093 s] /proc/loadavg: 3.39 3.87 4.16 6/192 14830 /proc/meminfo: memFree=13929388/32950928 swapFree=67111528/67111528 [pid=14830] ppid=14828 vsize=8704 CPUtime=0.06 cores=0,2 /proc/14830/stat : 14830 (glucose.sh) S 14828 14830 14396 0 -1 4202496 359 731 0 0 0 0 6 0 25 0 1 0 546479697 8912896 254 33554432000 4194304 4922060 140733849534576 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/14830/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 8704 [startup+0.301078 s] /proc/loadavg: 3.39 3.87 4.16 6/192 14830 /proc/meminfo: memFree=13929388/32950928 swapFree=67111528/67111528 [pid=14830] ppid=14828 vsize=8704 CPUtime=0.06 cores=0,2 /proc/14830/stat : 14830 (glucose.sh) S 14828 14830 14396 0 -1 4202496 359 731 0 0 0 0 6 0 25 0 1 0 546479697 8912896 254 33554432000 4194304 4922060 140733849534576 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/14830/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 8704 [startup+0.701 s] /proc/loadavg: 3.39 3.87 4.16 6/192 14830 /proc/meminfo: memFree=13929388/32950928 swapFree=67111528/67111528 [pid=14830] ppid=14828 vsize=8704 CPUtime=0.06 cores=0,2 /proc/14830/stat : 14830 (glucose.sh) S 14828 14830 14396 0 -1 4202496 359 731 0 0 0 0 6 0 25 0 1 0 546479697 8912896 254 33554432000 4194304 4922060 140733849534576 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/14830/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 8704 [startup+1.50085 s] /proc/loadavg: 3.39 3.87 4.16 6/194 14833 /proc/meminfo: memFree=13915244/32950928 swapFree=67111528/67111528 [pid=14830] ppid=14828 vsize=8704 CPUtime=0.06 cores=0,2 /proc/14830/stat : 14830 (glucose.sh) S 14828 14830 14396 0 -1 4202496 359 731 0 0 0 0 6 0 25 0 1 0 546479697 8912896 254 33554432000 4194304 4922060 140733849534576 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/14830/statm: 2176 254 211 178 0 69 0 [pid=14833] ppid=14830 vsize=24404 CPUtime=1.43 cores=0,2 /proc/14833/stat : 14833 (glucose_static) R 14830 14830 14396 0 -1 4202496 3210 0 0 0 142 1 0 0 25 0 1 0 546479704 24989696 2468 33554432000 4194304 4260849 140734565736896 18446744073709551615 4209917 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/14833/statm: 6101 2468 251 17 0 2742 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33108 [startup+3.10055 s] /proc/loadavg: 3.44 3.87 4.16 6/194 14833 /proc/meminfo: memFree=13906164/32950928 swapFree=67111528/67111528 [pid=14830] ppid=14828 vsize=8704 CPUtime=0.06 cores=0,2 /proc/14830/stat : 14830 (glucose.sh) S 14828 14830 14396 0 -1 4202496 359 731 0 0 0 0 6 0 25 0 1 0 546479697 8912896 254 33554432000 4194304 4922060 140733849534576 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/14830/statm: 2176 254 211 178 0 69 0 [pid=14833] ppid=14830 vsize=27084 CPUtime=3.02 cores=0,2 /proc/14833/stat : 14833 (glucose_static) R 14830 14830 14396 0 -1 4202496 4204 0 0 0 301 1 0 0 25 0 1 0 546479704 27734016 3418 33554432000 4194304 4260849 140734565736896 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/14833/statm: 6771 3418 251 17 0 3412 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 35788 [startup+6.30097 s] /proc/loadavg: 3.44 3.87 4.16 6/194 14833 /proc/meminfo: memFree=13891592/32950928 swapFree=67111528/67111528 [pid=14830] ppid=14828 vsize=8704 CPUtime=0.06 cores=0,2 /proc/14830/stat : 14830 (glucose.sh) S 14828 14830 14396 0 -1 4202496 359 731 0 0 0 0 6 0 25 0 1 0 546479697 8912896 254 33554432000 4194304 4922060 140733849534576 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/14830/statm: 2176 254 211 178 0 69 0 [pid=14833] ppid=14830 vsize=29804 CPUtime=6.22 cores=0,2 /proc/14833/stat : 14833 (glucose_static) R 14830 14830 14396 0 -1 4202496 5023 0 0 0 621 1 0 0 25 0 1 0 546479704 30519296 4191 33554432000 4194304 4260849 140734565736896 18446744073709551615 4224855 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/14833/statm: 7451 4191 251 17 0 4092 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 38508 [startup+12.7008 s] /proc/loadavg: 3.53 3.88 4.16 6/194 14833 /proc/meminfo: memFree=13869344/32950928 swapFree=67111528/67111528 [pid=14830] ppid=14828 vsize=8704 CPUtime=0.06 cores=0,2 /proc/14830/stat : 14830 (glucose.sh) S 14828 14830 14396 0 -1 4202496 359 731 0 0 0 0 6 0 25 0 1 0 546479697 8912896 254 33554432000 4194304 4922060 140733849534576 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/14830/statm: 2176 254 211 178 0 69 0 [pid=14833] ppid=14830 vsize=38604 CPUtime=12.62 cores=0,2 /proc/14833/stat : 14833 (glucose_static) R 14830 14830 14396 0 -1 4202496 7089 0 0 0 1260 2 0 0 25 0 1 0 546479704 39530496 6230 33554432000 4194304 4260849 140734565736896 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/14833/statm: 9651 6230 251 17 0 6292 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 47308 [startup+25.5004 s] /proc/loadavg: 3.60 3.88 4.16 6/194 14834 /proc/meminfo: memFree=13858076/32950928 swapFree=67111528/67111528 [pid=14830] ppid=14828 vsize=8704 CPUtime=0.06 cores=0,2 /proc/14830/stat : 14830 (glucose.sh) S 14828 14830 14396 0 -1 4202496 359 731 0 0 0 0 6 0 25 0 1 0 546479697 8912896 254 33554432000 4194304 4922060 140733849534576 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/14830/statm: 2176 254 211 178 0 69 0 [pid=14833] ppid=14830 vsize=45740 CPUtime=25.43 cores=0,2 /proc/14833/stat : 14833 (glucose_static) R 14830 14830 14396 0 -1 4202496 8640 0 0 0 2540 3 0 0 25 0 1 0 546479704 46837760 5884 33554432000 4194304 4260849 140734565736896 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/14833/statm: 11435 5884 251 17 0 8076 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 54444 [startup+51.1007 s] /proc/loadavg: 3.73 3.89 4.15 6/194 14835 /proc/meminfo: memFree=13810532/32950928 swapFree=67111528/67111528 [pid=14830] ppid=14828 vsize=8704 CPUtime=0.06 cores=0,2 /proc/14830/stat : 14830 (glucose.sh) S 14828 14830 14396 0 -1 4202496 359 731 0 0 0 0 6 0 25 0 1 0 546479697 8912896 254 33554432000 4194304 4922060 140733849534576 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/14830/statm: 2176 254 211 178 0 69 0 [pid=14833] ppid=14830 vsize=50204 CPUtime=51.02 cores=0,2 /proc/14833/stat : 14833 (glucose_static) R 14830 14830 14396 0 -1 4202496 12191 0 0 0 5099 3 0 0 25 0 1 0 546479704 51408896 9271 33554432000 4194304 4260849 140734565736896 18446744073709551615 4224685 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/14833/statm: 12551 9271 251 17 0 9192 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 58908 [startup+102.301 s] /proc/loadavg: 3.89 3.91 4.14 6/194 14836 /proc/meminfo: memFree=13773684/32950928 swapFree=67111528/67111528 [pid=14830] ppid=14828 vsize=8704 CPUtime=0.06 cores=0,2 /proc/14830/stat : 14830 (glucose.sh) S 14828 14830 14396 0 -1 4202496 359 731 0 0 0 0 6 0 25 0 1 0 546479697 8912896 254 33554432000 4194304 4922060 140733849534576 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/14830/statm: 2176 254 211 178 0 69 0 [pid=14833] ppid=14830 vsize=54200 CPUtime=102.22 cores=0,2 /proc/14833/stat : 14833 (glucose_static) R 14830 14830 14396 0 -1 4202496 13076 0 0 0 10219 3 0 0 25 0 1 0 546479704 55500800 10135 33554432000 4194304 4260849 140734565736896 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/14833/statm: 13550 10135 251 17 0 10191 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 62904 [startup+162.301 s] /proc/loadavg: 4.03 3.94 4.14 6/194 14837 /proc/meminfo: memFree=13728156/32950928 swapFree=67111528/67111528 [pid=14830] ppid=14828 vsize=8704 CPUtime=0.06 cores=0,2 /proc/14830/stat : 14830 (glucose.sh) S 14828 14830 14396 0 -1 4202496 359 731 0 0 0 0 6 0 25 0 1 0 546479697 8912896 254 33554432000 4194304 4922060 140733849534576 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/14830/statm: 2176 254 211 178 0 69 0 [pid=14833] ppid=14830 vsize=65804 CPUtime=162.22 cores=0,2 /proc/14833/stat : 14833 (glucose_static) R 14830 14830 14396 0 -1 4202496 19213 0 0 0 16217 5 0 0 25 0 1 0 546479704 67383296 12533 33554432000 4194304 4260849 140734565736896 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/14833/statm: 16451 12533 251 17 0 13092 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 74508 [startup+222.307 s] /proc/loadavg: 4.01 3.94 4.12 6/194 14839 /proc/meminfo: memFree=13717844/32950928 swapFree=67111528/67111528 [pid=14830] ppid=14828 vsize=8704 CPUtime=0.06 cores=0,2 /proc/14830/stat : 14830 (glucose.sh) S 14828 14830 14396 0 -1 4202496 359 731 0 0 0 0 6 0 25 0 1 0 546479697 8912896 254 33554432000 4194304 4922060 140733849534576 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/14830/statm: 2176 254 211 178 0 69 0 [pid=14833] ppid=14830 vsize=65804 CPUtime=222.23 cores=0,2 /proc/14833/stat : 14833 (glucose_static) R 14830 14830 14396 0 -1 4202496 19534 0 0 0 22218 5 0 0 25 0 1 0 546479704 67383296 12836 33554432000 4194304 4260849 140734565736896 18446744073709551615 4225107 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/14833/statm: 16451 12836 251 17 0 13092 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 74508 [startup+282.301 s] /proc/loadavg: 4.00 3.95 4.11 6/194 14841 /proc/meminfo: memFree=13713232/32950928 swapFree=67111528/67111528 [pid=14830] ppid=14828 vsize=8704 CPUtime=0.06 cores=0,2 /proc/14830/stat : 14830 (glucose.sh) S 14828 14830 14396 0 -1 4202496 359 731 0 0 0 0 6 0 25 0 1 0 546479697 8912896 254 33554432000 4194304 4922060 140733849534576 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/14830/statm: 2176 254 211 178 0 69 0 [pid=14833] ppid=14830 vsize=65804 CPUtime=282.23 cores=0,2 /proc/14833/stat : 14833 (glucose_static) R 14830 14830 14396 0 -1 4202496 24770 0 0 0 28216 7 0 0 25 0 1 0 546479704 67383296 13181 33554432000 4194304 4260849 140734565736896 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/14833/statm: 16451 13181 251 17 0 13092 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 74508 [startup+342.301 s] /proc/loadavg: 4.04 3.97 4.11 6/194 14842 /proc/meminfo: memFree=13696096/32950928 swapFree=67111528/67111528 [pid=14830] ppid=14828 vsize=8704 CPUtime=0.06 cores=0,2 /proc/14830/stat : 14830 (glucose.sh) S 14828 14830 14396 0 -1 4202496 359 731 0 0 0 0 6 0 25 0 1 0 546479697 8912896 254 33554432000 4194304 4922060 140733849534576 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/14830/statm: 2176 254 211 178 0 69 0 [pid=14833] ppid=14830 vsize=96152 CPUtime=342.23 cores=0,2 /proc/14833/stat : 14833 (glucose_static) R 14830 14830 14396 0 -1 4202496 25322 0 0 0 34216 7 0 0 25 0 1 0 546479704 98459648 13715 33554432000 4194304 4260849 140734565736896 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/14833/statm: 24038 13715 251 17 0 20679 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 104856 [startup+402.301 s] /proc/loadavg: 4.02 3.97 4.09 6/194 14844 /proc/meminfo: memFree=13654404/32950928 swapFree=67111528/67111528 [pid=14830] ppid=14828 vsize=8704 CPUtime=0.06 cores=0,2 ################ # More data... # ################ /proc/14833/statm: 24038 19517 251 17 0 20679 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 104856 [startup+702.301 s] /proc/loadavg: 4.00 3.97 4.06 6/194 14852 /proc/meminfo: memFree=13633592/32950928 swapFree=67111528/67111528 [pid=14830] ppid=14828 vsize=8704 CPUtime=0.06 cores=0,2 /proc/14830/stat : 14830 (glucose.sh) S 14828 14830 14396 0 -1 4202496 359 731 0 0 0 0 6 0 25 0 1 0 546479697 8912896 254 33554432000 4194304 4922060 140733849534576 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/14830/statm: 2176 254 211 178 0 69 0 [pid=14833] ppid=14830 vsize=96152 CPUtime=702.24 cores=0,2 /proc/14833/stat : 14833 (glucose_static) R 14830 14830 14396 0 -1 4202496 31516 0 0 0 70214 10 0 0 25 0 1 0 546479704 98459648 19688 33554432000 4194304 4260849 140734565736896 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/14833/statm: 24038 19688 251 17 0 20679 0 Current children cumulated CPU time (s) 702.3 Current children cumulated vsize (KiB) 104856 [startup+762.301 s] /proc/loadavg: 4.11 4.00 4.07 6/194 14853 /proc/meminfo: memFree=13631708/32950928 swapFree=67111528/67111528 [pid=14830] ppid=14828 vsize=8704 CPUtime=0.06 cores=0,2 /proc/14830/stat : 14830 (glucose.sh) S 14828 14830 14396 0 -1 4202496 359 731 0 0 0 0 6 0 25 0 1 0 546479697 8912896 254 33554432000 4194304 4922060 140733849534576 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/14830/statm: 2176 254 211 178 0 69 0 [pid=14833] ppid=14830 vsize=96152 CPUtime=762.25 cores=0,2 /proc/14833/stat : 14833 (glucose_static) R 14830 14830 14396 0 -1 4202496 31648 0 0 0 76215 10 0 0 25 0 1 0 546479704 98459648 19812 33554432000 4194304 4260849 140734565736896 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/14833/statm: 24038 19812 251 17 0 20679 0 Current children cumulated CPU time (s) 762.31 Current children cumulated vsize (KiB) 104856 [startup+822.3 s] /proc/loadavg: 4.11 4.02 4.07 6/194 14855 /proc/meminfo: memFree=13625980/32950928 swapFree=67111528/67111528 [pid=14830] ppid=14828 vsize=8704 CPUtime=0.06 cores=0,2 /proc/14830/stat : 14830 (glucose.sh) S 14828 14830 14396 0 -1 4202496 359 731 0 0 0 0 6 0 25 0 1 0 546479697 8912896 254 33554432000 4194304 4922060 140733849534576 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/14830/statm: 2176 254 211 178 0 69 0 [pid=14833] ppid=14830 vsize=96152 CPUtime=822.24 cores=0,2 /proc/14833/stat : 14833 (glucose_static) R 14830 14830 14396 0 -1 4202496 31904 0 0 0 82214 10 0 0 25 0 1 0 546479704 98459648 20059 33554432000 4194304 4260849 140734565736896 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/14833/statm: 24038 20059 251 17 0 20679 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 104856 [startup+882.307 s] /proc/loadavg: 4.04 4.01 4.06 6/194 14857 /proc/meminfo: memFree=13623224/32950928 swapFree=67111528/67111528 [pid=14830] ppid=14828 vsize=8704 CPUtime=0.06 cores=0,2 /proc/14830/stat : 14830 (glucose.sh) S 14828 14830 14396 0 -1 4202496 359 731 0 0 0 0 6 0 25 0 1 0 546479697 8912896 254 33554432000 4194304 4922060 140733849534576 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/14830/statm: 2176 254 211 178 0 69 0 [pid=14833] ppid=14830 vsize=96152 CPUtime=882.25 cores=0,2 /proc/14833/stat : 14833 (glucose_static) R 14830 14830 14396 0 -1 4202496 32135 0 0 0 88214 11 0 0 25 0 1 0 546479704 98459648 20287 33554432000 4194304 4260849 140734565736896 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/14833/statm: 24038 20287 251 17 0 20679 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 104856 [startup+942.3 s] /proc/loadavg: 4.01 4.00 4.06 6/194 14858 /proc/meminfo: memFree=13622092/32950928 swapFree=67111528/67111528 [pid=14830] ppid=14828 vsize=8704 CPUtime=0.06 cores=0,2 /proc/14830/stat : 14830 (glucose.sh) S 14828 14830 14396 0 -1 4202496 359 731 0 0 0 0 6 0 25 0 1 0 546479697 8912896 254 33554432000 4194304 4922060 140733849534576 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/14830/statm: 2176 254 211 178 0 69 0 [pid=14833] ppid=14830 vsize=96152 CPUtime=942.25 cores=0,2 /proc/14833/stat : 14833 (glucose_static) R 14830 14830 14396 0 -1 4202496 32223 0 0 0 94214 11 0 0 25 0 1 0 546479704 98459648 20373 33554432000 4194304 4260849 140734565736896 18446744073709551615 4224812 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/14833/statm: 24038 20373 251 17 0 20679 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 104856 [startup+1002.3 s] /proc/loadavg: 4.00 4.00 4.05 6/194 14860 /proc/meminfo: memFree=13614764/32950928 swapFree=67111528/67111528 [pid=14830] ppid=14828 vsize=8704 CPUtime=0.06 cores=0,2 /proc/14830/stat : 14830 (glucose.sh) S 14828 14830 14396 0 -1 4202496 359 731 0 0 0 0 6 0 25 0 1 0 546479697 8912896 254 33554432000 4194304 4922060 140733849534576 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/14830/statm: 2176 254 211 178 0 69 0 [pid=14833] ppid=14830 vsize=96152 CPUtime=1002.25 cores=0,2 /proc/14833/stat : 14833 (glucose_static) R 14830 14830 14396 0 -1 4202496 40259 0 0 0 100213 12 0 0 25 0 1 0 546479704 98459648 20674 33554432000 4194304 4260849 140734565736896 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/14833/statm: 24038 20674 251 17 0 20679 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 104856 [startup+1062.3 s] /proc/loadavg: 4.00 4.00 4.04 6/194 14861 /proc/meminfo: memFree=13588092/32950928 swapFree=67111528/67111528 [pid=14830] ppid=14828 vsize=8704 CPUtime=0.06 cores=0,2 /proc/14830/stat : 14830 (glucose.sh) S 14828 14830 14396 0 -1 4202496 359 731 0 0 0 0 6 0 25 0 1 0 546479697 8912896 254 33554432000 4194304 4922060 140733849534576 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/14830/statm: 2176 254 211 178 0 69 0 [pid=14833] ppid=14830 vsize=107860 CPUtime=1062.26 cores=0,2 /proc/14833/stat : 14833 (glucose_static) R 14830 14830 14396 0 -1 4202496 49963 0 0 0 106211 15 0 0 25 0 1 0 546479704 110448640 22443 33554432000 4194304 4260849 140734565736896 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/14833/statm: 26965 22443 251 17 0 23606 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 116564 [startup+1122.3 s] /proc/loadavg: 4.00 4.00 4.04 6/194 14863 /proc/meminfo: memFree=13582228/32950928 swapFree=67111528/67111528 [pid=14830] ppid=14828 vsize=8704 CPUtime=0.06 cores=0,2 /proc/14830/stat : 14830 (glucose.sh) S 14828 14830 14396 0 -1 4202496 359 731 0 0 0 0 6 0 25 0 1 0 546479697 8912896 254 33554432000 4194304 4922060 140733849534576 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/14830/statm: 2176 254 211 178 0 69 0 [pid=14833] ppid=14830 vsize=107860 CPUtime=1122.25 cores=0,2 /proc/14833/stat : 14833 (glucose_static) R 14830 14830 14396 0 -1 4202496 59222 0 0 0 112209 16 0 0 25 0 1 0 546479704 110448640 23709 33554432000 4194304 4260849 140734565736896 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/14833/statm: 26965 23709 251 17 0 23606 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 116564 [startup+1182.3 s] /proc/loadavg: 4.00 4.00 4.03 6/194 14874 /proc/meminfo: memFree=13581800/32950928 swapFree=67111528/67111528 [pid=14830] ppid=14828 vsize=8704 CPUtime=0.06 cores=0,2 /proc/14830/stat : 14830 (glucose.sh) S 14828 14830 14396 0 -1 4202496 359 731 0 0 0 0 6 0 25 0 1 0 546479697 8912896 254 33554432000 4194304 4922060 140733849534576 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/14830/statm: 2176 254 211 178 0 69 0 [pid=14833] ppid=14830 vsize=107860 CPUtime=1182.25 cores=0,2 /proc/14833/stat : 14833 (glucose_static) R 14830 14830 14396 0 -1 4202496 67535 0 0 0 118208 17 0 0 25 0 1 0 546479704 110448640 23709 33554432000 4194304 4260849 140734565736896 18446744073709551615 4225132 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/14833/statm: 26965 23709 251 17 0 23606 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 116564 [startup+1242.3 s] /proc/loadavg: 4.00 4.00 4.03 6/194 14875 /proc/meminfo: memFree=13550856/32950928 swapFree=67111528/67111528 [pid=14830] ppid=14828 vsize=8704 CPUtime=0.06 cores=0,2 /proc/14830/stat : 14830 (glucose.sh) S 14828 14830 14396 0 -1 4202496 359 731 0 0 0 0 6 0 25 0 1 0 546479697 8912896 254 33554432000 4194304 4922060 140733849534576 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/14830/statm: 2176 254 211 178 0 69 0 [pid=14833] ppid=14830 vsize=107860 CPUtime=1242.26 cores=0,2 /proc/14833/stat : 14833 (glucose_static) R 14830 14830 14396 0 -1 4202496 75643 0 0 0 124208 18 0 0 25 0 1 0 546479704 110448640 23709 33554432000 4194304 4260849 140734565736896 18446744073709551615 4224721 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/14833/statm: 26965 23709 251 17 0 23606 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 116564 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 4.00 4.00 4.02 2/185 14880 /proc/meminfo: memFree=13854084/32950928 swapFree=67111528/67111528 [pid=14830] ppid=14828 vsize=8704 CPUtime=0.06 cores=0,2 /proc/14830/stat : 14830 (glucose.sh) S 14828 14830 14396 0 -1 4202496 359 731 0 0 0 0 6 0 25 0 1 0 546479697 8912896 254 33554432000 4194304 4922060 140733849534576 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/14830/statm: 2176 254 211 178 0 69 0 [pid=14833] ppid=14830 vsize=107860 CPUtime=1299.97 cores=0,2 /proc/14833/stat : 14833 (glucose_static) R 14830 14830 14396 0 -1 4202496 83795 0 0 0 129977 20 0 0 25 0 1 0 546479704 110448640 23709 33554432000 4194304 4260849 140734565736896 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/14833/statm: 26965 23709 251 17 0 23606 0 Current children cumulated CPU time (s) 1300.03 Current children cumulated vsize (KiB) 116564 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1300 s] /proc/loadavg: 4.00 4.00 4.02 2/185 14880 /proc/meminfo: memFree=13854084/32950928 swapFree=67111528/67111528 [pid=14830] ppid=14828 vsize=8704 CPUtime=0.06 cores=0,2 /proc/14830/stat : 14830 (glucose.sh) S 14828 14830 14396 0 -1 4202496 359 731 0 0 0 0 6 0 25 0 1 0 546479697 8912896 254 33554432000 4194304 4922060 140733849534576 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/14830/statm: 2176 254 211 178 0 69 0 [pid=14833] ppid=14830 vsize=107860 CPUtime=1299.97 cores=0,2 /proc/14833/stat : 14833 (glucose_static) R 14830 14830 14396 0 -1 4202496 83795 0 0 0 129977 20 0 0 25 0 1 0 546479704 110448640 23709 33554432000 4194304 4260849 140734565736896 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/14833/statm: 26965 23709 251 17 0 23606 0 Current children cumulated CPU time (s) 1300.03 Current children cumulated vsize (KiB) 116564 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 14830 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=67989 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1999 # CPU time returned by wait4() is 0.069988 # while last known CPU time is 1300.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1300.01 CPU time (s): 1300.03 CPU user time (s): 1299.83 CPU system time (s): 0.2 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 165884 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.067989 system time used= 0.001999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1090 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= 3 runsolver used 2.25066 second user time and 4.85226 second system time The end
Begin job on node113 at 2011-04-23 14:41:30 IDJOB=3265784 IDBENCH=85805 IDSOLVER=1651 FILE ID=node113/3265784-1303562490 RUNJOBID= node113-1303562489-14751 PBS_JOBID= 13150282 Free space on /tmp= 70792 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT05/crafted/sorge05/QG7a/gensys-ukn004.shuffled-as.sat05-3844.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3265784-1303562490/watcher-3265784-1303562490 -o /tmp/evaluation-result-3265784-1303562490/solver-3265784-1303562490 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3265784-1303562490.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 7d96ba103689bec761c9e7df7b158323 RANDOM SEED=251350226 node113.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.846 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.69 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 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.846 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.74 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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.83 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.846 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 13929924 kB Buffers: 1839220 kB Cached: 16505208 kB SwapCached: 0 kB Active: 10573588 kB Inactive: 7861828 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 13929924 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 10056 kB Writeback: 24 kB AnonPages: 90712 kB Mapped: 15328 kB Slab: 522920 kB PageTables: 5672 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 281744 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= 70788 MiB End job on node113 at 2011-04-23 15:03:12