Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
glucose 2 | ? (TO) | 1300.03 | 1300.01 |
Name | SAT03/handmade/anton/SAT/ SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf |
MD5SUM | 22bbcb4a25a1da66113c240898c75509 |
Bench Category | CRAFTED (crafted instances) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.19197 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 450 |
Number of clauses | 28508 |
Sum of the clauses size | 57436 |
Maximum clause length | 30 |
Minimum clause length | 2 |
Number of clauses of size 1 | 0 |
Number of clauses of size 2 | 28493 |
Number of clauses of size 3 | 0 |
Number of clauses of size 4 | 0 |
Number of clauses of size 5 | 0 |
Number of clauses of size over 5 | 15 |
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 | 28508 57436 | 8552 0 0 nan | 0.000 % | 0.00/0.04 c | 0 | 28058 67199 | -- 0 -- -- | -- | -450/9763 0.00/0.04 c ============================================================================== 0.00/0.04 c Result : #vars: 435 #clauses: 28058 #literals: 67199 0.00/0.04 c CPU time: 0.031995 s 0.00/0.04 c ============================================================================== 0.00/0.05 c 0.00/0.05 c Starting glucose 0.00/0.05 c 0.04/0.65 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 0.04/0.65 c WARNING: for repeatability, setting FPU to use double precision 0.04/0.65 c ============================[ Problem Statistics ]============================= 0.04/0.65 c | | 0.04/0.65 c | Number of variables: 435 | 0.04/0.65 c | Number of clauses: 28058 | 0.04/0.65 c | Parse time: 0.00 s | 0.04/0.65 c | | 0.04/0.65 c ============================[ Search Statistics ]============================== 0.04/0.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.65 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 0.04/0.65 c =============================================================================== 0.04/0.65 c | 5647 | 435 28058 67199 | 1 3647 128 | 0.000 % | 0.04/0.65 c | 5750 | 435 28058 67199 | 1 3750 128 | 0.000 % | 0.04/0.65 c | 5850 | 435 28058 67199 | 1 3850 128 | 0.000 % | 0.04/0.65 c | 5950 | 435 28058 67199 | 1 3950 129 | 0.000 % | 0.04/0.65 c | 6052 | 435 28058 67199 | 1 4052 129 | 0.000 % | 0.04/0.65 c | 6152 | 435 28058 67199 | 1 4152 129 | 0.000 % | 0.04/0.65 c | 6256 | 435 28058 67199 | 1 4256 130 | 0.000 % | 0.04/0.65 c | 6356 | 435 28058 67199 | 1 4356 130 | 0.000 % | 0.04/0.65 c | 6457 | 435 28058 67199 | 1 4457 131 | 0.000 % | 0.04/0.65 c | 6558 | 435 28058 67199 | 1 4558 131 | 0.000 % | 0.04/0.65 c | 6659 | 435 28058 67199 | 1 4659 131 | 0.000 % | 0.04/0.65 c | 6762 | 435 28058 67199 | 1 4762 131 | 0.000 % | 0.04/0.65 c | 6862 | 435 28058 67199 | 1 4862 131 | 0.000 % | 0.04/0.65 c | 6963 | 435 28058 67199 | 1 4963 131 | 0.000 % | 0.04/0.65 c | 7064 | 435 28058 67199 | 1 5064 132 | 0.000 % | 0.04/0.65 c | 7165 | 435 28058 67199 | 1 5165 132 | 0.000 % | 0.04/0.65 c | 7266 | 435 28058 67199 | 1 5266 132 | 0.000 % | 0.04/0.65 c | 7366 | 435 28058 67199 | 1 5366 132 | 0.000 % | 0.04/0.65 c | 7466 | 435 28058 67199 | 1 5466 132 | 0.000 % | 0.04/0.65 c | 7566 | 435 28058 67199 | 1 5566 132 | 0.000 % | 0.04/0.65 c | 7671 | 435 28058 67199 | 1 5671 132 | 0.000 % | 0.04/0.65 c | 7772 | 435 28058 67199 | 1 5772 132 | 0.000 % | 0.04/0.65 c | 7879 | 435 28058 67199 | 1 5879 132 | 0.000 % | 0.04/0.65 c | 7979 | 435 28058 67199 | 1 5979 132 | 0.000 % | 0.04/0.65 c | 8079 | 435 28058 67199 | 1 6079 133 | 0.000 % | 0.04/0.65 c | 8181 | 435 28058 67199 | 1 6181 133 | 0.000 % | 0.04/0.65 c | 8281 | 435 28058 67199 | 1 6281 133 | 0.000 % | 0.04/0.65 c | 8381 | 435 28058 67199 | 1 6381 133 | 0.000 % | 0.04/0.65 c | 8481 | 435 28058 67199 | 1 6481 133 | 0.000 % | 0.04/0.65 c | 8581 | 435 28058 67199 | 1 6581 133 | 0.000 % | 0.04/0.65 c | 8681 | 435 28058 67199 | 1 6681 133 | 0.000 % | 0.04/0.65 c | 8781 | 435 28058 67199 | 1 6781 133 | 0.000 % | 0.04/0.65 c | 8883 | 435 28058 67199 | 1 6883 133 | 0.000 % | 0.04/0.65 c | 9223 | 435 28058 67199 | 1 7223 133 | 0.000 % | 0.04/0.65 c | 9683 | 435 28058 67199 | 1 7683 134 | 0.000 % | 0.04/0.65 c | 9783 | 435 28058 67199 | 1 7783 134 | 0.000 % | 0.04/0.65 c | 9889 | 435 28058 67199 | 1 7889 134 | 0.000 % | 0.04/0.65 c | 9989 | 435 28058 67199 | 1 7989 134 | 0.000 % | 0.04/0.65 c | 12868 | 435 28058 67199 | 1 6575 109 | 0.000 % | 119.08/119.19 c | 13007 | 435 28058 67199 | 1 6714 109 | 0.000 % | 119.08/119.19 c | 14484 | 435 28058 67199 | 1 8191 121 | 0.000 % | 119.08/119.19 c | 14587 | 435 28058 67199 | 1 8294 121 | 0.000 % | 119.08/119.19 c | 14688 | 435 28058 67199 | 1 8395 122 | 0.000 % | 119.08/119.19 c | 14788 | 435 28058 67199 | 1 8495 122 | 0.000 % | 119.08/119.19 c | 15517 | 435 28058 67199 | 1 9224 123 | 0.000 % | 119.08/119.19 c | 15619 | 435 28058 67199 | 1 9326 123 | 0.000 % | 119.08/119.19 c | 15719 | 435 28058 67199 | 1 9426 124 | 0.000 % | 119.08/119.19 c | 15960 | 435 28058 67199 | 1 9667 125 | 0.000 % | 119.08/119.19 c | 16060 | 435 28058 67199 | 1 9767 125 | 0.000 % | 119.08/119.19 c | 16162 | 435 28058 67199 | 1 9869 125 | 0.000 % | 119.08/119.19 c | 16293 | 435 28058 67199 | 1 10000 126 | 0.000 % | 119.08/119.19 c | 16395 | 435 28058 67199 | 1 10102 125 | 0.000 % | 119.08/119.19 c | 17580 | 435 28058 67199 | 1 11287 125 | 0.000 % | 119.08/119.19 c | 17682 | 435 28058 67199 | 1 11389 125 | 0.000 % | 119.08/119.19 c | 155272 | 435 28058 67199 | 1 47892 120 | 0.000 % | 119.08/119.19 c | 156113 | 435 28058 67199 | 1 48733 120 | 0.000 % | 119.08/119.19 c | 162055 | 435 28058 67199 | 1 29873 105 | 0.000 % | 119.08/119.19 c | 165681 | 435 28058 67199 | 1 33499 105 | 0.000 % | 119.08/119.19 c | 165807 | 435 28058 67199 | 1 33625 105 | 0.000 % | 119.08/119.19 c | 210958 | 435 28058 67199 | 1 51380 109 | 0.000 % | 119.08/119.19 c | 211063 | 435 28058 67199 | 1 51485 109 | 0.000 % | 119.08/119.19 c | 211163 | 435 28058 67199 | 1 51585 109 | 0.000 % | 119.08/119.19 c | 211263 | 435 28058 67199 | 1 51685 109 | 0.000 % | 119.08/119.19 c | 211519 | 435 28058 67199 | 1 51941 109 | 0.000 % | 119.08/119.19 c | 213674 | 435 28058 67199 | 1 54096 110 | 0.000 % | 119.08/119.19 c | 239059 | 435 28058 67199 | 1 49475 118 | 0.000 % | 119.08/119.19 c | 239160 | 435 28058 67199 | 1 49576 118 | 0.000 % | 119.08/119.19 c | 239260 | 435 28058 67199 | 1 49676 118 | 0.000 % | 119.08/119.19 c | 239361 | 435 28058 67199 | 1 49777 118 | 0.000 % | 119.08/119.19 c | 239461 | 435 28058 67199 | 1 49877 118 | 0.000 % | 119.08/119.19 c | 240317 | 435 28058 67199 | 1 50733 118 | 0.000 % | 119.08/119.19 c | 240420 | 435 28058 67199 | 1 50836 119 | 0.000 % | 119.08/119.19 c | 240521 | 435 28058 67199 | 1 50937 119 | 0.000 % | 119.08/119.19 c | 621342 | 435 28058 67199 | 1 98159 122 | 0.000 % | 119.08/119.19 c | 656357 | 435 28058 67199 | 1 79785 112 | 0.000 % | 119.08/119.19 c | 657366 | 435 28058 67199 | 1 80794 111 | 0.000 % | 119.08/119.19 c | 676088 | 435 28058 67199 | 1 99516 113 | 0.000 % | 119.08/119.19 c | 676188 | 435 28058 67199 | 1 99616 113 | 0.000 % | 119.08/119.19 c | 677572 | 435 28058 67199 | 1 101000 113 | 0.000 % | 119.08/119.19 c | 678383 | 435 28058 67199 | 1 101811 113 | 0.000 % | 119.08/119.19 c | 678486 | 435 28058 67199 | 1 101914 113 | 0.000 % | 119.08/119.19 c | 678586 | 435 28058 67199 | 1 102014 113 | 0.000 % | 119.08/119.19 c | 678829 | 435 28058 67199 | 1 102257 113 | 0.000 % | 119.08/119.19 c | 679067 | 435 28058 67199 | 1 102495 113 | 0.000 % | 119.08/119.19 c | 679169 | 435 28058 67199 | 1 102597 113 | 0.000 % | 119.08/119.19 c | 679271 | 435 28058 67199 | 1 102699 113 | 0.000 % | 119.08/119.19 c | 679373 | 435 28058 67199 | 1 102801 113 | 0.000 % | 119.08/119.19 c | 679474 | 435 28058 67199 | 1 102902 113 | 0.000 % | 119.08/119.19 c | 679575 | 435 28058 67199 | 1 103003 113 | 0.000 % | 121.28/121.36 c | 679675 | 435 28058 67199 | 1 103103 113 | 0.000 % | 121.28/121.36 c | 679891 | 435 28058 67199 | 1 103319 113 | 0.000 % | 121.28/121.36 c | 679991 | 435 28058 67199 | 1 103419 113 | 0.000 % | 121.28/121.36 c | 680091 | 435 28058 67199 | 1 103519 113 | 0.000 % | 121.28/121.36 c | 680194 | 435 28058 67199 | 1 103622 113 | 0.000 % | 121.28/121.36 c | 680294 | 435 28058 67199 | 1 103722 113 | 0.000 % | 121.28/121.36 c | 680394 | 435 28058 67199 | 1 103822 113 | 0.000 % | 121.28/121.36 c | 680495 | 435 28058 67199 | 1 103923 113 | 0.000 % | 121.28/121.36 c | 680598 | 435 28058 67199 | 1 104026 113 | 0.000 % | 121.28/121.36 c | 680698 | 435 28058 67199 | 1 104126 113 | 0.000 % | 121.28/121.36 c | 680801 | 435 28058 67199 | 1 104229 113 | 0.000 % | 121.28/121.36 c | 680901 | 435 28058 67199 | 1 104329 113 | 0.000 % | 121.28/121.37 c | 681001 | 435 28058 67199 | 1 104429 113 | 0.000 % | 121.28/121.37 c | 681101 | 435 28058 67199 | 1 104529 113 | 0.000 % | 121.28/121.37 c | 681202 | 435 28058 67199 | 1 104630 113 | 0.000 % | 121.28/121.37 c | 681308 | 435 28058 67199 | 1 104736 113 | 0.000 % | 121.28/121.37 c | 681408 | 435 28058 67199 | 1 104836 113 | 0.000 % | 121.28/121.37 c | 681510 | 435 28058 67199 | 1 104938 113 | 0.000 % | 121.28/121.37 c | 681610 | 435 28058 67199 | 1 105038 113 | 0.000 % | 121.28/121.37 c | 681711 | 435 28058 67199 | 1 105139 113 | 0.000 % | 121.28/121.37 c | 681811 | 435 28058 67199 | 1 105239 113 | 0.000 % | 121.28/121.37 c | 681911 | 435 28058 67199 | 1 105339 113 | 0.000 % | 121.28/121.37 c | 682015 | 435 28058 67199 | 1 105443 113 | 0.000 % | 121.28/121.37 c | 682119 | 435 28058 67199 | 1 105547 113 | 0.000 % | 121.28/121.37 c | 682222 | 435 28058 67199 | 1 105650 113 | 0.000 % | 121.28/121.37 c | 682322 | 435 28058 67199 | 1 105750 113 | 0.000 % | 121.28/121.37 c | 682424 | 435 28058 67199 | 1 105852 113 | 0.000 % | 121.28/121.37 c | 682524 | 435 28058 67199 | 1 105952 113 | 0.000 % | 121.28/121.37 c | 682625 | 435 28058 67199 | 1 106053 113 | 0.000 % | 121.28/121.37 c | 682725 | 435 28058 67199 | 1 106153 113 | 0.000 % | 121.28/121.37 c | 683096 | 435 28058 67199 | 1 106524 113 | 0.000 % | 121.28/121.37 c | 683199 | 435 28058 67199 | 1 106627 113 | 0.000 % | 121.28/121.37 c | 683299 | 435 28058 67199 | 1 106727 113 | 0.000 % | 121.28/121.37 c | 683400 | 435 28058 67199 | 1 106828 113 | 0.000 % | 121.28/121.37 c | 683501 | 435 28058 67199 | 1 106929 113 | 0.000 % | 121.28/121.37 c | 683601 | 435 28058 67199 | 1 107029 113 | 0.000 % | 121.28/121.37 c | 683701 | 435 28058 67199 | 1 107129 113 | 0.000 % | 121.28/121.37 c | 683802 | 435 28058 67199 | 1 107230 113 | 0.000 % | 121.28/121.37 c | 683902 | 435 28058 67199 | 1 107330 113 | 0.000 % | 121.28/121.37 c | 684003 | 435 28058 67199 | 1 107431 113 | 0.000 % | 121.28/121.37 c | 684103 | 435 28058 67199 | 1 107531 113 | 0.000 % | 121.28/121.37 c | 684204 | 435 28058 67199 | 1 107632 113 | 0.000 % | 121.28/121.37 c | 684304 | 435 28058 67199 | 1 107732 113 | 0.000 % | 121.28/121.37 c | 684406 | 435 28058 67199 | 1 107834 113 | 0.000 % | 121.28/121.37 c | 684506 | 435 28058 67199 | 1 107934 113 | 0.000 % | 121.28/121.37 c | 684608 | 435 28058 67199 | 1 108036 113 | 0.000 % | 121.28/121.37 c | 684708 | 435 28058 67199 | 1 108136 113 | 0.000 % | 121.28/121.37 c | 684813 | 435 28058 67199 | 1 108241 113 | 0.000 % | 121.28/121.37 c | 684913 | 435 28058 67199 | 1 108341 113 | 0.000 % | 121.28/121.37 c | 685016 | 435 28058 67199 | 1 108444 113 | 0.000 % | 164.18/164.27 c | 685116 | 435 28058 67199 | 1 108544 113 | 0.000 % | 164.18/164.27 c | 685217 | 435 28058 67199 | 1 108645 113 | 0.000 % | 164.18/164.27 c | 685318 | 435 28058 67199 | 1 108746 113 | 0.000 % | 164.18/164.27 c | 685418 | 435 28058 67199 | 1 108846 113 | 0.000 % | 164.18/164.27 c | 685532 | 435 28058 67199 | 1 108960 113 | 0.000 % | 164.18/164.27 c | 685632 | 435 28058 67199 | 1 109060 113 | 0.000 % | 164.18/164.27 c | 685735 | 435 28058 67199 | 1 109163 113 | 0.000 % | 164.18/164.27 c | 685836 | 435 28058 67199 | 1 109264 113 | 0.000 % | 164.18/164.27 c | 685937 | 435 28058 67199 | 1 109365 113 | 0.000 % | 164.18/164.27 c | 686037 | 435 28058 67199 | 1 109465 113 | 0.000 % | 164.18/164.27 c | 686174 | 435 28058 67199 | 1 109602 113 | 0.000 % | 164.18/164.27 c | 686274 | 435 28058 67199 | 1 109702 113 | 0.000 % | 164.18/164.27 c | 686375 | 435 28058 67199 | 1 109803 113 | 0.000 % | 164.18/164.27 c | 686477 | 435 28058 67199 | 1 109905 113 | 0.000 % | 164.18/164.27 c | 686578 | 435 28058 67199 | 1 110006 113 | 0.000 % | 164.18/164.27 c | 686678 | 435 28058 67199 | 1 110106 113 | 0.000 % | 164.18/164.27 c | 686779 | 435 28058 67199 | 1 110207 113 | 0.000 % | 164.18/164.27 c | 686880 | 435 28058 67199 | 1 110308 113 | 0.000 % | 164.18/164.27 c | 686980 | 435 28058 67199 | 1 110408 113 | 0.000 % | 164.18/164.27 c | 687080 | 435 28058 67199 | 1 110508 113 | 0.000 % | 164.18/164.27 c | 687184 | 435 28058 67199 | 1 110612 113 | 0.000 % | 164.18/164.27 c | 687286 | 435 28058 67199 | 1 110714 113 | 0.000 % | 164.18/164.27 c | 687387 | 435 28058 67199 | 1 110815 113 | 0.000 % | 164.18/164.27 c | 687489 | 435 28058 67199 | 1 110917 113 | 0.000 % | 164.18/164.27 c | 687590 | 435 28058 67199 | 1 111018 113 | 0.000 % | 164.18/164.27 c | 687691 | 435 28058 67199 | 1 111119 113 | 0.000 % | 164.18/164.27 c | 687791 | 435 28058 67199 | 1 111219 113 | 0.000 % | 164.18/164.27 c | 687891 | 435 28058 67199 | 1 111319 113 | 0.000 % | 164.18/164.27 c | 687992 | 435 28058 67199 | 1 111420 114 | 0.000 % | 164.18/164.27 c | 688097 | 435 28058 67199 | 1 111525 114 | 0.000 % | 164.18/164.27 c | 688197 | 435 28058 67199 | 1 111625 114 | 0.000 % | 164.18/164.27 c | 688297 | 435 28058 67199 | 1 111725 114 | 0.000 % | 164.18/164.27 c | 688397 | 435 28058 67199 | 1 111825 114 | 0.000 % | 164.18/164.27 c | 688498 | 435 28058 67199 | 1 111926 113 | 0.000 % | 164.18/164.27 c | 690207 | 435 28058 67199 | 1 57637 105 | 0.000 % | 164.18/164.27 c | 690308 | 435 28058 67199 | 1 57738 105 | 0.000 % | 164.18/164.27 c | 765876 | 435 28058 67199 | 1 74701 105 | 0.000 % | 164.18/164.27 c | 766151 | 435 28058 67199 | 1 74976 105 | 0.000 % | 164.18/164.27 c | 766251 | 435 28058 67199 | 1 75076 105 | 0.000 % | 164.18/164.27 c | 766357 | 435 28058 67199 | 1 75182 105 | 0.000 % | 164.18/164.27 c | 766457 | 435 28058 67199 | 1 75282 105 | 0.000 % | 164.18/164.27 c | 767446 | 435 28058 67199 | 1 76271 106 | 0.000 % | 164.18/164.27 c | 767547 | 435 28058 67199 | 1 76372 106 | 0.000 % | 164.18/164.27 c | 874920 | 435 28058 67199 | 1 122539 127 | 0.000 % | 164.18/164.27 c | 875161 | 435 28058 67199 | 1 122780 127 | 0.000 % | 164.18/164.27 c | 875346 | 435 28058 67199 | 1 122965 127 | 0.000 % | 164.18/164.27 c | 875460 | 435 28058 67199 | 1 123079 127 | 0.000 % | 164.18/164.27 c | 875560 | 435 28058 67199 | 1 123179 127 | 0.000 % | 164.18/164.27 c | 875660 | 435 28058 67199 | 1 123279 127 | 0.000 % | 164.18/164.27 c | 875760 | 435 28058 67199 | 1 123379 127 | 0.000 % | 614.60/614.64 c | 876022 | 435 28058 67199 | 1 123641 127 | 0.000 % | 614.60/614.64 c | 876123 | 435 28058 67199 | 1 123742 127 | 0.000 % | 614.60/614.64 c | 876223 | 435 28058 67199 | 1 123842 127 | 0.000 % | 614.60/614.64 c | 876325 | 435 28058 67199 | 1 123944 127 | 0.000 % | 614.60/614.64 c | 876426 | 435 28058 67199 | 1 124045 127 | 0.000 % | 614.60/614.64 c | 876526 | 435 28058 67199 | 1 124145 127 | 0.000 % | 614.60/614.64 c | 876788 | 435 28058 67199 | 1 124407 127 | 0.000 % | 614.60/614.64 c | 876889 | 435 28058 67199 | 1 124508 127 | 0.000 % | 614.60/614.64 c | 878197 | 435 28058 67199 | 1 125816 127 | 0.000 % | 614.60/614.64 c | 1322718 | 435 28058 67199 | 1 148540 99 | 0.000 % | 614.60/614.64 c | 1371335 | 435 28058 67199 | 1 117758 98 | 0.000 % | 614.60/614.64 c | 1372046 | 435 28058 67199 | 1 118469 98 | 0.000 % | 614.60/614.64 c | 1372147 | 435 28058 67199 | 1 118570 98 | 0.000 % | 614.60/614.64 c | 1389101 | 435 28058 67199 | 1 135524 102 | 0.000 % | 614.60/614.64 c | 1391442 | 435 28058 67199 | 1 137865 102 | 0.000 % | 614.60/614.64 c | 1887946 | 435 28058 67199 | 1 103369 118 | 0.000 % | 614.60/614.64 c | 1888046 | 435 28058 67199 | 1 103469 118 | 0.000 % | 614.60/614.64 c | 1888151 | 435 28058 67199 | 1 103574 118 | 0.000 % | 614.60/614.64 c | 1888252 | 435 28058 67199 | 1 103675 118 | 0.000 % | 614.60/614.64 c | 1888352 | 435 28058 67199 | 1 103775 118 | 0.000 % | 614.60/614.64 c | 1888452 | 435 28058 67199 | 1 103875 118 | 0.000 % | 614.60/614.64 c | 1888554 | 435 28058 67199 | 1 103977 118 | 0.000 % | 614.60/614.64 c | 1888660 | 435 28058 67199 | 1 104083 118 | 0.000 % | 614.60/614.64 c | 1888763 | 435 28058 67199 | 1 104186 118 | 0.000 % | 614.60/614.64 c | 1888953 | 435 28058 67199 | 1 104376 118 | 0.000 % | 614.60/614.64 c | 1889055 | 435 28058 67199 | 1 104478 118 | 0.000 % | 614.60/614.64 c | 1889155 | 435 28058 67199 | 1 104578 118 | 0.000 % | 614.60/614.64 c | 1889257 | 435 28058 67199 | 1 104680 118 | 0.000 % | 614.60/614.64 c | 1889357 | 435 28058 67199 | 1 104780 118 | 0.000 % | 614.60/614.64 c | 1889608 | 435 28058 67199 | 1 105031 118 | 0.000 % | 614.60/614.64 c | 1956936 | 435 28058 67199 | 1 172359 134 | 0.000 % | 614.60/614.64 c | 1957036 | 435 28058 67199 | 1 172459 134 | 0.000 % | 614.60/614.64 c | 1957136 | 435 28058 67199 | 1 172559 134 | 0.000 % | 614.60/614.64 c | 1957237 | 435 28058 67199 | 1 172660 134 | 0.000 % | 614.60/614.64 c | 1957337 | 435 28058 67199 | 1 172760 134 | 0.000 % | 614.60/614.64 c | 1957441 | 435 28058 67199 | 1 172864 134 | 0.000 % | 614.60/614.64 c | 1957544 | 435 28058 67199 | 1 172967 134 | 0.000 % | 614.60/614.64 c | 1957664 | 435 28058 67199 | 1 173087 134 | 0.000 % | 614.60/614.64 c | 1957764 | 435 28058 67199 | 1 173187 134 | 0.000 % | 614.60/614.64 c | 1957864 | 435 28058 67199 | 1 173287 134 | 0.000 % | 614.60/614.64 c | 1957964 | 435 28058 67199 | 1 173387 134 | 0.000 % | 614.60/614.64 c | 1958078 | 435 28058 67199 | 1 173501 134 | 0.000 % | 614.60/614.64 c | 1958264 | 435 28058 67199 | 1 173687 134 | 0.000 % | 614.60/614.64 c | 1958365 | 435 28058 67199 | 1 173788 134 | 0.000 % | 614.60/614.64 c | 1958467 | 435 28058 67199 | 1 173890 134 | 0.000 % | 614.60/614.64 c | 1958567 | 435 28058 67199 | 1 173990 134 | 0.000 % | 614.60/614.64 c | 1958818 | 435 28058 67199 | 1 174241 134 | 0.000 % | 614.60/614.64 c | 1959076 | 435 28058 67199 | 1 174499 134 | 0.000 % | 614.60/614.64 c | 1959431 | 435 28058 67199 | 1 174854 134 | 0.000 % | 614.60/614.64 c | 1959531 | 435 28058 67199 | 1 174954 134 | 0.000 % | 682.20/682.25 c | 1959639 | 435 28058 67199 | 1 175062 134 | 0.000 % | 682.20/682.25 c | 1959742 | 435 28058 67199 | 1 175165 134 | 0.000 % | 682.20/682.25 c | 1959925 | 435 28058 67199 | 1 175348 134 | 0.000 % | 682.20/682.25 c | 1960027 | 435 28058 67199 | 1 175450 134 | 0.000 % | 682.20/682.25 c | 1960127 | 435 28058 67199 | 1 175550 134 | 0.000 % | 682.20/682.25 c | 1960229 | 435 28058 67199 | 1 175652 134 | 0.000 % | 682.20/682.25 c | 1960329 | 435 28058 67199 | 1 175752 134 | 0.000 % | 682.20/682.25 c | 1960429 | 435 28058 67199 | 1 175852 134 | 0.000 % | 682.20/682.25 c | 1960532 | 435 28058 67199 | 1 175955 134 | 0.000 % | 682.20/682.25 c | 1960632 | 435 28058 67199 | 1 176055 134 | 0.000 % | 682.20/682.25 c | 1960733 | 435 28058 67199 | 1 176156 134 | 0.000 % | 682.20/682.25 c | 1960833 | 435 28058 67199 | 1 176256 135 | 0.000 % | 682.20/682.25 c | 1960934 | 435 28058 67199 | 1 176357 135 | 0.000 % | 682.20/682.25 c | 1961034 | 435 28058 67199 | 1 176457 135 | 0.000 % | 682.20/682.25 c | 1961134 | 435 28058 67199 | 1 176557 135 | 0.000 % | 682.20/682.25 c | 1961236 | 435 28058 67199 | 1 176659 135 | 0.000 % | 682.20/682.25 c | 1961338 | 435 28058 67199 | 1 176761 135 | 0.000 % | 682.20/682.25 c | 1961439 | 435 28058 67199 | 1 176862 135 | 0.000 % | 682.20/682.25 c | 1961540 | 435 28058 67199 | 1 176963 135 | 0.000 % | 682.20/682.25 c | 1961640 | 435 28058 67199 | 1 177063 135 | 0.000 % | 682.20/682.25 c | 1961740 | 435 28058 67199 | 1 177163 135 | 0.000 % | 682.20/682.25 c | 1961840 | 435 28058 67199 | 1 177263 135 | 0.000 % | 682.20/682.25 c | 1961941 | 435 28058 67199 | 1 177364 135 | 0.000 % | 682.20/682.25 c | 1962042 | 435 28058 67199 | 1 177465 135 | 0.000 % | 682.20/682.25 c | 1962142 | 435 28058 67199 | 1 177565 135 | 0.000 % | 682.20/682.25 c | 1962242 | 435 28058 67199 | 1 177665 135 | 0.000 % | 682.20/682.25 c | 1962343 | 435 28058 67199 | 1 177766 135 | 0.000 % | 682.20/682.25 c | 1962444 | 435 28058 67199 | 1 177867 135 | 0.000 % | 682.20/682.25 c | 1962544 | 435 28058 67199 | 1 177967 135 | 0.000 % | 682.20/682.25 c | 1962645 | 435 28058 67199 | 1 178068 135 | 0.000 % | 682.20/682.25 c | 1962745 | 435 28058 67199 | 1 178168 135 | 0.000 % | 682.20/682.25 c | 1962847 | 435 28058 67199 | 1 178270 135 | 0.000 % | 682.20/682.25 c | 1962948 | 435 28058 67199 | 1 178371 135 | 0.000 % | 682.20/682.25 c | 1975109 | 435 28058 67199 | 1 190532 135 | 0.000 % | 682.20/682.25 c | 1975209 | 435 28058 67199 | 1 190632 135 | 0.000 % | 682.20/682.25 c | 2056983 | 435 28058 67199 | 1 174799 143 | 0.000 % | 682.20/682.25 c | 2057084 | 435 28058 67199 | 1 174900 143 | 0.000 % | 682.20/682.25 c | 2057185 | 435 28058 67199 | 1 175001 143 | 0.000 % | 682.20/682.25 c | 2057285 | 435 28058 67199 | 1 175101 143 | 0.000 % | 682.20/682.25 c | 2057385 | 435 28058 67199 | 1 175201 143 | 0.000 % | 682.20/682.25 c | 2057546 | 435 28058 67199 | 1 175362 143 | 0.000 % | 682.20/682.25 c | 2092889 | 435 28058 67199 | 1 110507 116 | 0.000 % | 682.20/682.25 c | 2092990 | 435 28058 67199 | 1 110608 116 | 0.000 % | 682.20/682.25 c | 2093091 | 435 28058 67199 | 1 110709 116 | 0.000 % | 682.20/682.25 c | 2093267 | 435 28058 67199 | 1 110885 116 | 0.000 % | 682.20/682.25 c | 2093370 | 435 28058 67199 | 1 110988 116 | 0.000 % | 682.20/682.25 c | 2093470 | 435 28058 67199 | 1 111088 116 | 0.000 % | 682.20/682.25 c | 2093570 | 435 28058 67199 | 1 111188 116 | 0.000 % | 682.20/682.25 c | 2093670 | 435 28058 67199 | 1 111288 116 | 0.000 % | 682.20/682.25 c | 2094929 | 435 28058 67199 | 1 112547 116 | 0.000 % | 702.21/702.21 c | 2095031 | 435 28058 67199 | 1 112649 116 | 0.000 % | 702.21/702.21 c | 2095244 | 435 28058 67199 | 1 112862 116 | 0.000 % | 702.21/702.21 c | 2095491 | 435 28058 67199 | 1 113109 116 | 0.000 % | 702.21/702.21 c | 2095591 | 435 28058 67199 | 1 113209 116 | 0.000 % | 702.21/702.21 c | 2095692 | 435 28058 67199 | 1 113310 116 | 0.000 % | 702.21/702.21 c | 2095902 | 435 28058 67199 | 1 113520 116 | 0.000 % | 702.21/702.21 c | 2096005 | 435 28058 67199 | 1 113623 116 | 0.000 % | 702.21/702.21 c | 2096105 | 435 28058 67199 | 1 113723 116 | 0.000 % | 702.21/702.21 c | 2097182 | 435 28058 67199 | 1 114800 117 | 0.000 % | 702.21/702.21 c | 2101429 | 435 28058 67199 | 1 119047 118 | 0.000 % | 702.21/702.21 c | 2101530 | 435 28058 67199 | 1 119148 118 | 0.000 % | 702.21/702.21 c | 2101630 | 435 28058 67199 | 1 119248 118 | 0.000 % | 702.21/702.21 c | 2103177 | 435 28058 67199 | 1 120795 119 | 0.000 % | 702.21/702.21 c | 2103523 | 435 28058 67199 | 1 121141 119 | 0.000 % | 702.21/702.21 c | 2103625 | 435 28058 67199 | 1 121243 119 | 0.000 % | 702.21/702.21 c | 2103726 | 435 28058 67199 | 1 121344 119 | 0.000 % | 702.21/702.21 c | 2103827 | 435 28058 67199 | 1 121445 119 | 0.000 % | 702.21/702.21 c | 2150023 | 435 28058 67199 | 1 167641 125 | 0.000 % | 702.21/702.21 c | 2150123 | 435 28058 67199 | 1 167741 125 | 0.000 % | 702.21/702.21 c | 2150225 | 435 28058 67199 | 1 167843 125 | 0.000 % | 702.21/702.21 c | 2150325 | 435 28058 67199 | 1 167943 125 | 0.000 % | 702.21/702.21 c | 2150425 | 435 28058 67199 | 1 168043 125 | 0.000 % | 702.21/702.21 c | 2150525 | 435 28058 67199 | 1 168143 125 | 0.000 % | 702.21/702.21 c | 2150785 | 435 28058 67199 | 1 168403 125 | 0.000 % | 702.21/702.21 c | 2150888 | 435 28058 67199 | 1 168506 125 | 0.000 % | 702.21/702.21 c | 2150989 | 435 28058 67199 | 1 168607 125 | 0.000 % | 702.21/702.21 c | 2151090 | 435 28058 67199 | 1 168708 125 | 0.000 % | 702.21/702.21 c | 2151191 | 435 28058 67199 | 1 168809 125 | 0.000 % | 702.21/702.21 c | 2151292 | 435 28058 67199 | 1 168910 125 | 0.000 % | 702.21/702.21 c | 2151461 | 435 28058 67199 | 1 169079 125 | 0.000 % | 702.21/702.21 c | 2151561 | 435 28058 67199 | 1 169179 125 | 0.000 % | 702.21/702.21 c | 2151665 | 435 28058 67199 | 1 169283 125 | 0.000 % | 702.21/702.21 c | 2151765 | 435 28058 67199 | 1 169383 125 | 0.000 % | 702.21/702.21 c | 2151867 | 435 28058 67199 | 1 169485 125 | 0.000 % | 702.21/702.21 c | 2151967 | 435 28058 67199 | 1 169585 125 | 0.000 % | 702.21/702.21 c | 2152070 | 435 28058 67199 | 1 169688 125 | 0.000 % | 702.21/702.21 c | 2152170 | 435 28058 67199 | 1 169788 125 | 0.000 % | 702.21/702.21 c | 2152272 | 435 28058 67199 | 1 169890 125 | 0.000 % | 702.21/702.21 c | 2152373 | 435 28058 67199 | 1 169991 125 | 0.000 % | 702.21/702.21 c | 2152474 | 435 28058 67199 | 1 170092 125 | 0.000 % | 702.21/702.21 c | 2152575 | 435 28058 67199 | 1 170193 125 | 0.000 % | 702.21/702.21 c | 2152675 | 435 28058 67199 | 1 170293 125 | 0.000 % | 702.21/702.21 c | 2152778 | 435 28058 67199 | 1 170396 125 | 0.000 % | 702.21/702.21 c | 2152878 | 435 28058 67199 | 1 170496 125 | 0.000 % | 702.21/702.21 c | 2152979 | 435 28058 67199 | 1 170597 125 | 0.000 % | 702.21/702.21 c | 2153079 | 435 28058 67199 | 1 170697 125 | 0.000 % | 702.21/702.21 c | 2153179 | 435 28058 67199 | 1 170797 125 | 0.000 % | 702.21/702.21 c | 2153280 | 435 28058 67199 | 1 170898 125 | 0.000 % | 702.21/702.21 c | 2153383 | 435 28058 67199 | 1 171001 125 | 0.000 % | 705.91/705.91 c | 2153483 | 435 28058 67199 | 1 171101 125 | 0.000 % | 705.91/705.91 c | 2153583 | 435 28058 67199 | 1 171201 125 | 0.000 % | 705.91/705.91 c | 2153684 | 435 28058 67199 | 1 171302 125 | 0.000 % | 705.91/705.91 c | 2153784 | 435 28058 67199 | 1 171402 125 | 0.000 % | 705.91/705.91 c | 2153885 | 435 28058 67199 | 1 171503 125 | 0.000 % | 705.91/705.91 c | 2153985 | 435 28058 67199 | 1 171603 125 | 0.000 % | 705.91/705.91 c | 2154087 | 435 28058 67199 | 1 171705 125 | 0.000 % | 705.91/705.91 c | 2154189 | 435 28058 67199 | 1 171807 125 | 0.000 % | 705.91/705.91 c | 2154289 | 435 28058 67199 | 1 171907 125 | 0.000 % | 705.91/705.91 c | 2154389 | 435 28058 67199 | 1 172007 125 | 0.000 % | 705.91/705.91 c | 2154492 | 435 28058 67199 | 1 172110 125 | 0.000 % | 705.91/705.91 c | 2154592 | 435 28058 67199 | 1 172210 125 | 0.000 % | 705.91/705.91 c | 2154693 | 435 28058 67199 | 1 172311 125 | 0.000 % | 705.91/705.91 c | 2154795 | 435 28058 67199 | 1 172413 125 | 0.000 % | 705.91/705.91 c | 2154896 | 435 28058 67199 | 1 172514 125 | 0.000 % | 705.91/705.91 c | 2154996 | 435 28058 67199 | 1 172614 125 | 0.000 % | 705.91/705.91 c | 2155096 | 435 28058 67199 | 1 172714 125 | 0.000 % | 705.91/705.91 c | 2155196 | 435 28058 67199 | 1 172814 125 | 0.000 % | 705.91/705.91 c | 2155297 | 435 28058 67199 | 1 172915 125 | 0.000 % | 705.91/705.91 c | 2155399 | 435 28058 67199 | 1 173017 125 | 0.000 % | 705.91/705.91 c | 2155499 | 435 28058 67199 | 1 173117 125 | 0.000 % | 705.91/705.91 c | 2155600 | 435 28058 67199 | 1 173218 125 | 0.000 % | 705.91/705.91 c | 2155702 | 435 28058 67199 | 1 173320 125 | 0.000 % | 705.91/705.91 c | 2155803 | 435 28058 67199 | 1 173421 125 | 0.000 % | 705.91/705.91 c | 2155903 | 435 28058 67199 | 1 173521 125 | 0.000 % | 705.91/705.91 c | 2156004 | 435 28058 67199 | 1 173622 125 | 0.000 % | 705.91/705.91 c | 2156104 | 435 28058 67199 | 1 173722 125 | 0.000 % | 705.91/705.91 c | 2156205 | 435 28058 67199 | 1 173823 125 | 0.000 % | 705.91/705.91 c | 2156307 | 435 28058 67199 | 1 173925 126 | 0.000 % | 705.91/705.91 c | 2156409 | 435 28058 67199 | 1 174027 126 | 0.000 % | 705.91/705.91 c | 2156509 | 435 28058 67199 | 1 174127 126 | 0.000 % | 705.91/705.91 c | 2156609 | 435 28058 67199 | 1 174227 126 | 0.000 % | 705.91/705.91 c | 2156710 | 435 28058 67199 | 1 174328 126 | 0.000 % | 705.91/705.91 c | 2156810 | 435 28058 67199 | 1 174428 126 | 0.000 % | 705.91/705.91 c | 2156910 | 435 28058 67199 | 1 174528 126 | 0.000 % | 705.91/705.91 c | 2157013 | 435 28058 67199 | 1 174631 126 | 0.000 % | 705.91/705.91 c | 2157114 | 435 28058 67199 | 1 174732 126 | 0.000 % | 705.91/705.91 c | 2157214 | 435 28058 67199 | 1 174832 126 | 0.000 % | 705.91/705.91 c | 2157316 | 435 28058 67199 | 1 174934 126 | 0.000 % | 705.91/705.91 c | 2157416 | 435 28058 67199 | 1 175034 126 | 0.000 % | 705.91/705.91 c | 2157517 | 435 28058 67199 | 1 175135 126 | 0.000 % | 705.91/705.91 c | 2157617 | 435 28058 67199 | 1 175235 126 | 0.000 % | 705.91/705.91 c | 2157717 | 435 28058 67199 | 1 175335 126 | 0.000 % | 705.91/705.91 c | 2157821 | 435 28058 67199 | 1 175439 126 | 0.000 % | 705.91/705.91 c | 2157921 | 435 28058 67199 | 1 175539 126 | 0.000 % | 705.91/705.91 c | 2158022 | 435 28058 67199 | 1 175640 126 | 0.000 % | 705.91/705.91 c | 2158124 | 435 28058 67199 | 1 175742 126 | 0.000 % | 705.91/705.91 c | 2158224 | 435 28058 67199 | 1 175842 126 | 0.000 % | 705.91/705.91 c | 2158326 | 435 28058 67199 | 1 175944 126 | 0.000 % | 705.91/705.91 c | 2158428 | 435 28058 67199 | 1 176046 126 | 0.000 % | 745.40/745.46 c | 2158529 | 435 28058 67199 | 1 176147 126 | 0.000 % | 745.40/745.46 c | 2158631 | 435 28058 67199 | 1 176249 126 | 0.000 % | 745.40/745.46 c | 2158731 | 435 28058 67199 | 1 176349 126 | 0.000 % | 745.40/745.46 c | 2158835 | 435 28058 67199 | 1 176453 126 | 0.000 % | 745.40/745.46 c | 2158935 | 435 28058 67199 | 1 176553 126 | 0.000 % | 745.40/745.46 c | 2159035 | 435 28058 67199 | 1 176653 126 | 0.000 % | 745.40/745.46 c | 2159136 | 435 28058 67199 | 1 176754 126 | 0.000 % | 745.40/745.46 c | 2159236 | 435 28058 67199 | 1 176854 126 | 0.000 % | 745.40/745.46 c | 2159341 | 435 28058 67199 | 1 176959 126 | 0.000 % | 745.40/745.46 c | 2159441 | 435 28058 67199 | 1 177059 126 | 0.000 % | 745.40/745.46 c | 2159541 | 435 28058 67199 | 1 177159 126 | 0.000 % | 745.40/745.46 c | 2159643 | 435 28058 67199 | 1 177261 126 | 0.000 % | 745.40/745.46 c | 2159745 | 435 28058 67199 | 1 177363 126 | 0.000 % | 745.40/745.46 c | 2159845 | 435 28058 67199 | 1 177463 126 | 0.000 % | 745.40/745.46 c | 2159945 | 435 28058 67199 | 1 177563 126 | 0.000 % | 745.40/745.46 c | 2160046 | 435 28058 67199 | 1 177664 126 | 0.000 % | 745.40/745.46 c | 2160148 | 435 28058 67199 | 1 177766 126 | 0.000 % | 745.40/745.46 c | 2160248 | 435 28058 67199 | 1 177866 126 | 0.000 % | 745.40/745.46 c | 2160349 | 435 28058 67199 | 1 177967 126 | 0.000 % | 745.40/745.46 c | 2160452 | 435 28058 67199 | 1 178070 126 | 0.000 % | 745.40/745.46 c | 2160552 | 435 28058 67199 | 1 178170 126 | 0.000 % | 745.40/745.46 c | 2224723 | 435 28058 67199 | 1 139550 112 | 0.000 % | 745.40/745.46 c | 2224824 | 435 28058 67199 | 1 139651 112 | 0.000 % | 745.40/745.46 c | 2253138 | 435 28058 67199 | 1 167965 117 | 0.000 % | 745.40/745.46 c | 2253359 | 435 28058 67199 | 1 168186 117 | 0.000 % | 745.40/745.46 c | 2253459 | 435 28058 67199 | 1 168286 117 | 0.000 % | 745.40/745.46 c | 2253560 | 435 28058 67199 | 1 168387 117 | 0.000 % | 745.40/745.46 c | 2253660 | 435 28058 67199 | 1 168487 117 | 0.000 % | 745.40/745.46 c | 2253763 | 435 28058 67199 | 1 168590 117 | 0.000 % | 745.40/745.46 c | 2253869 | 435 28058 67199 | 1 168696 117 | 0.000 % | 745.40/745.46 c | 2253971 | 435 28058 67199 | 1 168798 117 | 0.000 % | 745.40/745.46 c | 2254072 | 435 28058 67199 | 1 168899 117 | 0.000 % | 745.40/745.46 c | 2255088 | 435 28058 67199 | 1 169915 117 | 0.000 % | 745.40/745.46 c | 2255191 | 435 28058 67199 | 1 170018 117 | 0.000 % | 745.40/745.46 c | 2255293 | 435 28058 67199 | 1 170120 117 | 0.000 % | 745.40/745.46 c | 2255394 | 435 28058 67199 | 1 170221 117 | 0.000 % | 745.40/745.46 c | 2255494 | 435 28058 67199 | 1 170321 117 | 0.000 % | 745.40/745.46 c | 2255595 | 435 28058 67199 | 1 170422 117 | 0.000 % | 745.40/745.46 c | 2255695 | 435 28058 67199 | 1 170522 117 | 0.000 % | 745.40/745.46 c | 2255795 | 435 28058 67199 | 1 170622 117 | 0.000 % | 745.40/745.46 c | 2255896 | 435 28058 67199 | 1 170723 117 | 0.000 % | 745.40/745.46 c | 2288802 | 435 28058 67199 | 1 203629 115 | 0.000 % | 745.40/745.46 c | 2290571 | 435 28058 67199 | 1 205398 116 | 0.000 % | 745.40/745.46 c | 2290672 | 435 28058 67199 | 1 205499 116 | 0.000 % | 745.40/745.46 c | 2290774 | 435 28058 67199 | 1 205601 116 | 0.000 % | 745.40/745.46 c | 2290874 | 435 28058 67199 | 1 205701 116 | 0.000 % | 745.40/745.46 c | 2290976 | 435 28058 67199 | 1 205803 116 | 0.000 % | 745.40/745.46 c | 2291076 | 435 28058 67199 | 1 205903 116 | 0.000 % | 745.40/745.46 c | 2291184 | 435 28058 67199 | 1 206011 116 | 0.000 % | 745.40/745.46 c | 2291286 | 435 28058 67199 | 1 206113 116 | 0.000 % | 848.61/848.62 c | 2291396 | 435 28058 67199 | 1 206223 116 | 0.000 % | 848.61/848.62 c | 2291497 | 435 28058 67199 | 1 206324 116 | 0.000 % | 848.61/848.62 c | 2291840 | 435 28058 67199 | 1 206667 116 | 0.000 % | 848.61/848.62 c | 2291940 | 435 28058 67199 | 1 206767 116 | 0.000 % | 848.61/848.62 c | 2292041 | 435 28058 67199 | 1 206868 116 | 0.000 % | 848.61/848.62 c | 2292209 | 435 28058 67199 | 1 207036 116 | 0.000 % | 848.61/848.62 c | 2299140 | 435 28058 67199 | 1 108565 117 | 0.000 % | 848.61/848.62 c | 2299241 | 435 28058 67199 | 1 108666 117 | 0.000 % | 848.61/848.62 c | 2299350 | 435 28058 67199 | 1 108775 117 | 0.000 % | 848.61/848.62 c | 2301523 | 435 28058 67199 | 1 110948 117 | 0.000 % | 848.61/848.62 c | 2301623 | 435 28058 67199 | 1 111048 117 | 0.000 % | 848.61/848.62 c | 2385678 | 435 28058 67199 | 1 195103 118 | 0.000 % | 848.61/848.62 c | 2385779 | 435 28058 67199 | 1 195204 118 | 0.000 % | 848.61/848.62 c | 2386803 | 435 28058 67199 | 1 196228 118 | 0.000 % | 848.61/848.62 c | 2402753 | 435 28058 67199 | 1 212178 117 | 0.000 % | 848.61/848.62 c | 2403122 | 435 28058 67199 | 1 212547 118 | 0.000 % | 848.61/848.62 c | 2403223 | 435 28058 67199 | 1 212648 118 | 0.000 % | 848.61/848.62 c | 2403400 | 435 28058 67199 | 1 212825 118 | 0.000 % | 848.61/848.62 c | 2403500 | 435 28058 67199 | 1 212925 118 | 0.000 % | 848.61/848.62 c | 2403602 | 435 28058 67199 | 1 213027 118 | 0.000 % | 848.61/848.62 c | 2403704 | 435 28058 67199 | 1 213129 118 | 0.000 % | 848.61/848.62 c | 2420959 | 435 28058 67199 | 1 122390 115 | 0.000 % | 848.61/848.62 c | 2421256 | 435 28058 67199 | 1 122687 115 | 0.000 % | 848.61/848.62 c | 2421358 | 435 28058 67199 | 1 122789 115 | 0.000 % | 848.61/848.62 c | 2475942 | 435 28058 67199 | 1 177373 120 | 0.000 % | 848.61/848.62 c | 2491006 | 435 28058 67199 | 1 192437 120 | 0.000 % | 848.61/848.62 c | 2491875 | 435 28058 67199 | 1 193306 120 | 0.000 % | 848.61/848.62 c | 2491976 | 435 28058 67199 | 1 193407 120 | 0.000 % | 848.61/848.62 c | 2492739 | 435 28058 67199 | 1 194170 120 | 0.000 % | 848.61/848.62 c | 2492839 | 435 28058 67199 | 1 194270 120 | 0.000 % | 848.61/848.62 c | 2492940 | 435 28058 67199 | 1 194371 120 | 0.000 % | 848.61/848.62 c | 2495095 | 435 28058 67199 | 1 196526 120 | 0.000 % | 848.61/848.62 c | 2495199 | 435 28058 67199 | 1 196630 120 | 0.000 % | 848.61/848.62 c | 2495331 | 435 28058 67199 | 1 196762 121 | 0.000 % | 848.61/848.62 c | 2495431 | 435 28058 67199 | 1 196862 121 | 0.000 % | 848.61/848.62 c | 2495531 | 435 28058 67199 | 1 196962 121 | 0.000 % | 848.61/848.62 c | 2496145 | 435 28058 67199 | 1 197576 121 | 0.000 % | 848.61/848.62 c | 2496374 | 435 28058 67199 | 1 197805 121 | 0.000 % | 848.61/848.62 c | 2496560 | 435 28058 67199 | 1 197991 121 | 0.000 % | 848.61/848.62 c | 2496661 | 435 28058 67199 | 1 198092 121 | 0.000 % | 848.61/848.62 c | 2496763 | 435 28058 67199 | 1 198194 121 | 0.000 % | 848.61/848.62 c | 2496863 | 435 28058 67199 | 1 198294 121 | 0.000 % | 848.61/848.62 c | 2497170 | 435 28058 67199 | 1 198601 121 | 0.000 % | 848.61/848.62 c | 2497477 | 435 28058 67199 | 1 198908 121 | 0.000 % | 848.61/848.62 c | 2499826 | 435 28058 67199 | 1 201257 121 | 0.000 % | 848.61/848.62 c | 2504204 | 435 28058 67199 | 1 205635 121 | 0.000 % | 848.61/848.62 c | 2504307 | 435 28058 67199 | 1 205738 121 | 0.000 % | 848.61/848.62 c | 2505346 | 435 28058 67199 | 1 206777 121 | 0.000 % | 848.61/848.62 c | 2519508 | 435 28058 67199 | 1 220939 121 | 0.000 % | 848.61/848.62 c | 2519746 | 435 28058 67199 | 1 221177 121 | 0.000 % | 929.01/929.09 c | 2519847 | 435 28058 67199 | 1 110670 115 | 0.000 % | 929.01/929.09 c | 2519948 | 435 28058 67199 | 1 110771 115 | 0.000 % | 929.01/929.09 c | 2560567 | 435 28058 67199 | 1 151390 112 | 0.000 % | 929.01/929.09 c | 2577808 | 435 28058 67199 | 1 168631 111 | 0.000 % | 929.01/929.09 c | 2577908 | 435 28058 67199 | 1 168731 111 | 0.000 % | 929.01/929.09 c | 2579119 | 435 28058 67199 | 1 169942 111 | 0.000 % | 929.01/929.09 c | 2579221 | 435 28058 67199 | 1 170044 111 | 0.000 % | 929.01/929.09 c | 2579321 | 435 28058 67199 | 1 170144 111 | 0.000 % | 929.01/929.09 c | 2579435 | 435 28058 67199 | 1 170258 111 | 0.000 % | 929.01/929.09 c | 2579535 | 435 28058 67199 | 1 170358 111 | 0.000 % | 929.01/929.09 c | 2580281 | 435 28058 67199 | 1 171104 111 | 0.000 % | 929.01/929.09 c | 2580382 | 435 28058 67199 | 1 171205 111 | 0.000 % | 929.01/929.09 c | 2580482 | 435 28058 67199 | 1 171305 111 | 0.000 % | 929.01/929.09 c | 2580582 | 435 28058 67199 | 1 171405 111 | 0.000 % | 929.01/929.09 c | 2580683 | 435 28058 67199 | 1 171506 111 | 0.000 % | 929.01/929.09 c | 2600694 | 435 28058 67199 | 1 191517 112 | 0.000 % | 929.01/929.09 c | 2600798 | 435 28058 67199 | 1 191621 112 | 0.000 % | 929.01/929.09 c | 2600898 | 435 28058 67199 | 1 191721 112 | 0.000 % | 929.01/929.09 c | 2600998 | 435 28058 67199 | 1 191821 112 | 0.000 % | 929.01/929.09 c | 2601099 | 435 28058 67199 | 1 191922 112 | 0.000 % | 929.01/929.09 c | 2601382 | 435 28058 67199 | 1 192205 112 | 0.000 % | 929.01/929.09 c | 2601483 | 435 28058 67199 | 1 192306 112 | 0.000 % | 929.01/929.09 c | 2604497 | 435 28058 67199 | 1 195320 112 | 0.000 % | 929.01/929.09 c | 2636999 | 435 28058 67199 | 1 114620 114 | 0.000 % | 929.01/929.09 c | 2637101 | 435 28058 67199 | 1 114722 114 | 0.000 % | 929.01/929.09 c | 2637406 | 435 28058 67199 | 1 115027 114 | 0.000 % | 929.01/929.09 c | 2637673 | 435 28058 67199 | 1 115294 114 | 0.000 % | 929.01/929.09 c | 2645749 | 435 28058 67199 | 1 123370 117 | 0.000 % | 929.01/929.09 c | 2645849 | 435 28058 67199 | 1 123470 117 | 0.000 % | 929.01/929.09 c | 2645950 | 435 28058 67199 | 1 123571 117 | 0.000 % | 929.01/929.09 c | 2646054 | 435 28058 67199 | 1 123675 117 | 0.000 % | 929.01/929.09 c | 2646525 | 435 28058 67199 | 1 124146 117 | 0.000 % | 929.01/929.09 c | 2646849 | 435 28058 67199 | 1 124470 117 | 0.000 % | 929.01/929.09 c | 2662318 | 435 28058 67199 | 1 139939 116 | 0.000 % | 929.01/929.09 c | 2671488 | 435 28058 67199 | 1 149109 116 | 0.000 % | 929.01/929.09 c | 2676808 | 435 28058 67199 | 1 154429 116 | 0.000 % | 929.01/929.09 c | 2676908 | 435 28058 67199 | 1 154529 116 | 0.000 % | 929.01/929.09 c | 2699871 | 435 28058 67199 | 1 177492 118 | 0.000 % | 929.01/929.09 c | 2712116 | 435 28058 67199 | 1 189737 119 | 0.000 % | 929.01/929.09 c | 2725317 | 435 28058 67199 | 1 202938 120 | 0.000 % | 929.01/929.09 c | 2725417 | 435 28058 67199 | 1 203038 120 | 0.000 % | 929.01/929.09 c | 2726839 | 435 28058 67199 | 1 204460 120 | 0.000 % | 929.01/929.09 c | 2728446 | 435 28058 67199 | 1 206067 120 | 0.000 % | 929.01/929.09 c | 2728991 | 435 28058 67199 | 1 206612 120 | 0.000 % | 929.01/929.09 c | 2729411 | 435 28058 67199 | 1 207032 120 | 0.000 % | 929.01/929.09 c | 2730968 | 435 28058 67199 | 1 208589 120 | 0.000 % | 929.01/929.09 c | 2731380 | 435 28058 67199 | 1 209001 120 | 0.000 % | 929.01/929.09 c | 2731482 | 435 28058 67199 | 1 209103 120 | 0.000 % | 929.01/929.09 c | 2731584 | 435 28058 67199 | 1 209205 120 | 0.000 % | 929.01/929.09 c | 2731723 | 435 28058 67199 | 1 209344 120 | 0.000 % | 1049.02/1049.04 c | 2731825 | 435 28058 67199 | 1 209446 120 | 0.000 % | 1049.02/1049.04 c | 2731928 | 435 28058 67199 | 1 209549 120 | 0.000 % | 1049.02/1049.04 c | 2732029 | 435 28058 67199 | 1 209650 120 | 0.000 % | 1049.02/1049.04 c | 2732474 | 435 28058 67199 | 1 210095 120 | 0.000 % | 1049.02/1049.04 c | 2732574 | 435 28058 67199 | 1 210195 120 | 0.000 % | 1049.02/1049.04 c | 2732674 | 435 28058 67199 | 1 210295 120 | 0.000 % | 1049.02/1049.04 c | 2732780 | 435 28058 67199 | 1 210401 120 | 0.000 % | 1049.02/1049.04 c | 2733705 | 435 28058 67199 | 1 211326 120 | 0.000 % | 1049.02/1049.04 c | 2810572 | 435 28058 67199 | 1 172405 109 | 0.000 % | 1049.02/1049.04 c | 2865832 | 435 28058 67199 | 1 227665 105 | 0.000 % | 1049.02/1049.04 c | 2868942 | 435 28058 67199 | 1 230775 105 | 0.000 % | 1049.02/1049.04 c | 2879804 | 435 28058 67199 | 1 123230 112 | 0.000 % | 1049.02/1049.04 c | 2880314 | 435 28058 67199 | 1 123740 112 | 0.000 % | 1049.02/1049.04 c | 2924597 | 435 28058 67199 | 1 168023 116 | 0.000 % | 1049.02/1049.04 c | 2924698 | 435 28058 67199 | 1 168124 116 | 0.000 % | 1049.02/1049.04 c | 2924800 | 435 28058 67199 | 1 168226 116 | 0.000 % | 1049.02/1049.04 c | 2924902 | 435 28058 67199 | 1 168328 116 | 0.000 % | 1049.02/1049.04 c | 2925003 | 435 28058 67199 | 1 168429 116 | 0.000 % | 1049.02/1049.04 c | 2962436 | 435 28058 67199 | 1 205862 116 | 0.000 % | 1049.02/1049.04 c | 2964854 | 435 28058 67199 | 1 208280 117 | 0.000 % | 1049.02/1049.04 c | 2964954 | 435 28058 67199 | 1 208380 117 | 0.000 % | 1049.02/1049.04 c | 2968330 | 435 28058 67199 | 1 211756 116 | 0.000 % | 1049.02/1049.04 c | 2968431 | 435 28058 67199 | 1 211857 116 | 0.000 % | 1049.02/1049.04 c | 2968531 | 435 28058 67199 | 1 211957 116 | 0.000 % | 1049.02/1049.04 c | 2968633 | 435 28058 67199 | 1 212059 116 | 0.000 % | 1049.02/1049.04 c | 2968735 | 435 28058 67199 | 1 212161 117 | 0.000 % | 1049.02/1049.04 c | 2995050 | 435 28058 67199 | 1 238476 121 | 0.000 % | 1049.02/1049.04 c | 2995152 | 435 28058 67199 | 1 238578 121 | 0.000 % | 1049.02/1049.04 c | 3034231 | 435 28058 67199 | 1 156650 110 | 0.000 % | 1049.02/1049.04 c | 3036017 | 435 28058 67199 | 1 158436 110 | 0.000 % | 1049.02/1049.04 c | 3036257 | 435 28058 67199 | 1 158676 110 | 0.000 % | 1049.02/1049.04 c | 3037964 | 435 28058 67199 | 1 160383 110 | 0.000 % | 1049.02/1049.04 c | 3038224 | 435 28058 67199 | 1 160643 110 | 0.000 % | 1049.02/1049.04 c | 3038324 | 435 28058 67199 | 1 160743 110 | 0.000 % | 1049.02/1049.04 c | 3038636 | 435 28058 67199 | 1 161055 110 | 0.000 % | 1049.02/1049.04 c | 3038736 | 435 28058 67199 | 1 161155 110 | 0.000 % | 1049.02/1049.04 c | 3039086 | 435 28058 67199 | 1 161505 110 | 0.000 % | 1049.02/1049.04 c | 3039186 | 435 28058 67199 | 1 161605 110 | 0.000 % | 1049.02/1049.04 c | 3039289 | 435 28058 67199 | 1 161708 111 | 0.000 % | 1049.02/1049.04 c | 3044410 | 435 28058 67199 | 1 166829 112 | 0.000 % | 1049.02/1049.04 c | 3044510 | 435 28058 67199 | 1 166929 112 | 0.000 % | 1049.02/1049.04 c | 3044611 | 435 28058 67199 | 1 167030 112 | 0.000 % | 1049.02/1049.04 c | 3044747 | 435 28058 67199 | 1 167166 112 | 0.000 % | 1049.02/1049.04 c | 3044847 | 435 28058 67199 | 1 167266 112 | 0.000 % | 1049.02/1049.04 c | 3045073 | 435 28058 67199 | 1 167492 112 | 0.000 % | 1049.02/1049.04 c | 3045227 | 435 28058 67199 | 1 167646 112 | 0.000 % | 1049.02/1049.04 c | 3045328 | 435 28058 67199 | 1 167747 112 | 0.000 % | 1049.02/1049.04 c | 3048125 | 435 28058 67199 | 1 170544 112 | 0.000 % | 1049.02/1049.04 c | 3048494 | 435 28058 67199 | 1 170913 112 | 0.000 % | 1049.02/1049.04 c | 3048594 | 435 28058 67199 | 1 171013 112 | 0.000 % | 1188.52/1188.55 c | 3068309 | 435 28058 67199 | 1 190728 112 | 0.000 % | 1188.52/1188.55 c | 3068409 | 435 28058 67199 | 1 190828 112 | 0.000 % | 1188.52/1188.55 c | 3069901 | 435 28058 67199 | 1 192320 112 | 0.000 % | 1188.52/1188.55 c | 3070032 | 435 28058 67199 | 1 192451 112 | 0.000 % | 1188.52/1188.55 c | 3070132 | 435 28058 67199 | 1 192551 112 | 0.000 % | 1188.52/1188.55 c | 3070244 | 435 28058 67199 | 1 192663 112 | 0.000 % | 1188.52/1188.55 c | 3070344 | 435 28058 67199 | 1 192763 112 | 0.000 % | 1188.52/1188.55 c | 3070444 | 435 28058 67199 | 1 192863 112 | 0.000 % | 1188.52/1188.55 c | 3070615 | 435 28058 67199 | 1 193034 112 | 0.000 % | 1188.52/1188.55 c | 3109082 | 435 28058 67199 | 1 231501 112 | 0.000 % | 1188.52/1188.55 c | 3109515 | 435 28058 67199 | 1 231934 112 | 0.000 % | 1188.52/1188.55 c | 3111768 | 435 28058 67199 | 1 234187 113 | 0.000 % | 1188.52/1188.55 c | 3111868 | 435 28058 67199 | 1 234287 113 | 0.000 % | 1188.52/1188.55 c | 3111968 | 435 28058 67199 | 1 234387 113 | 0.000 % | 1188.52/1188.55 c | 3112072 | 435 28058 67199 | 1 234491 113 | 0.000 % | 1188.52/1188.55 c | 3112173 | 435 28058 67199 | 1 234592 113 | 0.000 % | 1188.52/1188.55 c | 3112325 | 435 28058 67199 | 1 234744 113 | 0.000 % | 1188.52/1188.55 c | 3113815 | 435 28058 67199 | 1 236234 113 | 0.000 % | 1188.52/1188.55 c | 3121191 | 435 28058 67199 | 1 243610 113 | 0.000 % | 1188.52/1188.55 c | 3121312 | 435 28058 67199 | 1 243731 113 | 0.000 % | 1188.52/1188.55 c | 3121413 | 435 28058 67199 | 1 243832 113 | 0.000 % | 1188.52/1188.55 c | 3122307 | 435 28058 67199 | 1 244726 113 | 0.000 % | 1188.52/1188.55 c | 3122409 | 435 28058 67199 | 1 244828 113 | 0.000 % | 1188.52/1188.55 c | 3122561 | 435 28058 67199 | 1 244980 113 | 0.000 % | 1188.52/1188.55 c | 3122661 | 435 28058 67199 | 1 245080 113 | 0.000 % | 1188.52/1188.55 c | 3122762 | 435 28058 67199 | 1 245181 113 | 0.000 % | 1188.52/1188.55 c | 3122864 | 435 28058 67199 | 1 245283 113 | 0.000 % | 1188.52/1188.55 c | 3122964 | 435 28058 67199 | 1 245383 113 | 0.000 % | 1188.52/1188.55 c | 3123672 | 435 28058 67199 | 1 246091 113 | 0.000 % | 1188.52/1188.55 c | 3123925 | 435 28058 67199 | 1 246344 113 | 0.000 % | 1188.52/1188.55 c | 3124025 | 435 28058 67199 | 1 246444 113 | 0.000 % | 1188.52/1188.55 c | 3124125 | 435 28058 67199 | 1 246544 113 | 0.000 % | 1188.52/1188.55 c | 3124225 | 435 28058 67199 | 1 246644 113 | 0.000 % | 1188.52/1188.55 c | 3124325 | 435 28058 67199 | 1 246744 113 | 0.000 % | 1188.52/1188.55 c | 3128010 | 435 28058 67199 | 1 126829 111 | 0.000 % | 1188.52/1188.55 c | 3128368 | 435 28058 67199 | 1 127187 111 | 0.000 % | 1188.52/1188.55 c | 3128724 | 435 28058 67199 | 1 127543 112 | 0.000 % | 1188.52/1188.55 c | 3140881 | 435 28058 67199 | 1 139700 111 | 0.000 % | 1188.52/1188.55 c | 3140982 | 435 28058 67199 | 1 139801 111 | 0.000 % | 1188.52/1188.55 c | 3143397 | 435 28058 67199 | 1 142216 111 | 0.000 % | 1188.52/1188.55 c | 3143499 | 435 28058 67199 | 1 142318 111 | 0.000 % | 1188.52/1188.55 c | 3154798 | 435 28058 67199 | 1 153617 112 | 0.000 % | 1188.52/1188.55 c | 3156511 | 435 28058 67199 | 1 155330 112 | 0.000 % | 1188.52/1188.55 c | 3250593 | 435 28058 67199 | 1 249412 107 | 0.000 % | 1188.52/1188.55 c | 3252389 | 435 28058 67199 | 1 251208 107 | 0.000 % | 1188.52/1188.55 c | 3259844 | 435 28058 67199 | 1 132461 112 | 0.000 % | 1188.52/1188.55 c | 3259946 | 435 28058 67199 | 1 132563 112 | 0.000 % | 1188.52/1188.55 c | 3296843 | 435 28058 67199 | 1 169460 111 | 0.000 % | 1188.52/1188.55 c | 3297207 | 435 28058 67199 | 1 169824 111 | 0.000 % | 1188.52/1188.55 c | 3297308 | 435 28058 67199 | 1
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-3263716-1303545194/watcher-3263716-1303545194 -o /tmp/evaluation-result-3263716-1303545194/solver-3263716-1303545194 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3263716-1303545194.cnf running on 2 cores: 4,6 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 3.81 5/188 28545 /proc/meminfo: memFree=15350764/32951124 swapFree=67111528/67111528 [pid=28545] ppid=28543 vsize=11800 CPUtime=0 cores=4,6 /proc/28545/stat : 28545 (runsolver) R 28543 28545 27733 0 -1 4202560 41 0 0 0 0 0 0 0 21 0 1 0 446934984 12083200 52 33554432000 4194304 5434984 140737204769600 18446744073709551615 4881607 0 2147483391 4096 24578 0 0 0 17 6 0 0 0 /proc/28545/statm: 2950 52 31 303 0 2644 0 [startup+0.065858 s] /proc/loadavg: 3.39 3.87 3.81 5/188 28545 /proc/meminfo: memFree=15350764/32951124 swapFree=67111528/67111528 [pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6 /proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/28545/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 8704 [startup+0.100834 s] /proc/loadavg: 3.39 3.87 3.81 5/188 28545 /proc/meminfo: memFree=15350764/32951124 swapFree=67111528/67111528 [pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6 /proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/28545/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 8704 [startup+0.30082 s] /proc/loadavg: 3.39 3.87 3.81 5/188 28545 /proc/meminfo: memFree=15350764/32951124 swapFree=67111528/67111528 [pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6 /proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/28545/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 8704 [startup+0.700744 s] /proc/loadavg: 3.39 3.87 3.81 5/188 28545 /proc/meminfo: memFree=15350764/32951124 swapFree=67111528/67111528 [pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6 /proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/28545/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 8704 [startup+1.50059 s] /proc/loadavg: 3.39 3.87 3.81 5/194 28558 /proc/meminfo: memFree=15310036/32951124 swapFree=67111528/67111528 [pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6 /proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/28545/statm: 2176 255 211 178 0 69 0 [pid=28548] ppid=28545 vsize=28252 CPUtime=1.44 cores=4,6 /proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 7689 0 0 0 144 0 0 0 25 0 1 0 446934989 28930048 3741 33554432000 4194304 4260849 140734098371136 18446744073709551615 4225104 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/28548/statm: 7063 3741 251 17 0 3704 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 36956 [startup+3.10027 s] /proc/loadavg: 3.39 3.87 3.81 5/194 28558 /proc/meminfo: memFree=15281272/32951124 swapFree=67111528/67111528 [pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6 /proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/28545/statm: 2176 255 211 178 0 69 0 [pid=28548] ppid=28545 vsize=39748 CPUtime=3.04 cores=4,6 /proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 10463 0 0 0 304 0 0 0 25 0 1 0 446934989 40701952 6467 33554432000 4194304 4260849 140734098371136 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/28548/statm: 9937 6467 251 17 0 6578 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 48452 [startup+6.30069 s] /proc/loadavg: 3.52 3.89 3.82 5/194 28558 /proc/meminfo: memFree=15235412/32951124 swapFree=67111528/67111528 [pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6 /proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/28545/statm: 2176 255 211 178 0 69 0 [pid=28548] ppid=28545 vsize=46928 CPUtime=6.24 cores=4,6 /proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 12432 0 0 0 624 0 0 0 25 0 1 0 446934989 48054272 8386 33554432000 4194304 4260849 140734098371136 18446744073709551615 4228548 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/28548/statm: 11732 8386 251 17 0 8373 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 55632 [startup+12.7005 s] /proc/loadavg: 3.55 3.89 3.82 5/194 28558 /proc/meminfo: memFree=15242000/32951124 swapFree=67111528/67111528 [pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6 /proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/28545/statm: 2176 255 211 178 0 69 0 [pid=28548] ppid=28545 vsize=51348 CPUtime=12.64 cores=4,6 /proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 22795 0 0 0 1262 2 0 0 25 0 1 0 446934989 52580352 6405 33554432000 4194304 4260849 140734098371136 18446744073709551615 4229200 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/28548/statm: 12837 6405 252 17 0 9478 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 60052 [startup+25.5011 s] /proc/loadavg: 3.65 3.89 3.82 5/194 28558 /proc/meminfo: memFree=15169868/32951124 swapFree=67111528/67111528 [pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6 /proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/28545/statm: 2176 255 211 178 0 69 0 [pid=28548] ppid=28545 vsize=100680 CPUtime=25.45 cores=4,6 /proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 30145 0 0 0 2542 3 0 0 25 0 1 0 446934989 103096320 13678 33554432000 4194304 4260849 140734098371136 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/28548/statm: 25170 13678 252 17 0 21811 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 109384 [startup+51.1012 s] /proc/loadavg: 3.77 3.90 3.82 5/194 28559 /proc/meminfo: memFree=15074236/32951124 swapFree=67111528/67111528 [pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6 /proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/28545/statm: 2176 255 211 178 0 69 0 [pid=28548] ppid=28545 vsize=100680 CPUtime=51.04 cores=4,6 /proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 68227 0 0 0 5096 8 0 0 25 0 1 0 446934989 103096320 15727 33554432000 4194304 4260849 140734098371136 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/28548/statm: 25170 15727 252 17 0 21811 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 109384 [startup+102.307 s] /proc/loadavg: 3.90 3.91 3.83 5/194 28560 /proc/meminfo: memFree=15045072/32951124 swapFree=67111528/67111528 [pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6 /proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/28545/statm: 2176 255 211 178 0 69 0 [pid=28548] ppid=28545 vsize=150000 CPUtime=102.25 cores=4,6 /proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 128605 0 0 0 10207 18 0 0 25 0 1 0 446934989 153600000 27152 33554432000 4194304 4260849 140734098371136 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/28548/statm: 37500 27152 252 17 0 34141 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 158704 [startup+162.301 s] /proc/loadavg: 4.03 3.94 3.84 5/194 28562 /proc/meminfo: memFree=14968776/32951124 swapFree=67111528/67111528 [pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6 /proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/28545/statm: 2176 255 211 178 0 69 0 [pid=28548] ppid=28545 vsize=180820 CPUtime=162.25 cores=4,6 /proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 188145 0 0 0 16195 30 0 0 25 0 1 0 446934989 185159680 31702 33554432000 4194304 4260849 140734098371136 18446744073709551615 4226333 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/28548/statm: 45205 31702 252 17 0 41846 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 189524 [startup+222.301 s] /proc/loadavg: 4.01 3.95 3.85 5/194 28563 /proc/meminfo: memFree=15030736/32951124 swapFree=67111528/67111528 [pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6 /proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/28545/statm: 2176 255 211 178 0 69 0 [pid=28548] ppid=28545 vsize=150000 CPUtime=222.25 cores=4,6 /proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 243206 0 0 0 22185 40 0 0 25 0 1 0 446934989 153600000 27913 33554432000 4194304 4260849 140734098371136 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/28548/statm: 37500 27913 252 17 0 34141 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 158704 [startup+282.301 s] /proc/loadavg: 4.00 3.95 3.85 5/194 28565 /proc/meminfo: memFree=14989792/32951124 swapFree=67111528/67111528 [pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6 /proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/28545/statm: 2176 255 211 178 0 69 0 [pid=28548] ppid=28545 vsize=150000 CPUtime=282.25 cores=4,6 /proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 290325 0 0 0 28176 49 0 0 25 0 1 0 446934989 153600000 28163 33554432000 4194304 4260849 140734098371136 18446744073709551615 4226051 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/28548/statm: 37500 28163 252 17 0 34141 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 158704 [startup+342.301 s] /proc/loadavg: 4.00 3.96 3.86 5/194 28567 /proc/meminfo: memFree=14922052/32951124 swapFree=67111528/67111528 [pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6 /proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/28545/statm: 2176 255 211 178 0 69 0 [pid=28548] ppid=28545 vsize=230908 CPUtime=342.26 cores=4,6 /proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 336653 0 0 0 34167 59 0 0 25 0 1 0 446934989 236449792 38580 33554432000 4194304 4260849 140734098371136 18446744073709551615 4225082 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/28548/statm: 57727 38580 252 17 0 54368 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 239612 [startup+402.301 s] /proc/loadavg: 4.00 3.97 3.86 5/194 28568 /proc/meminfo: memFree=14881224/32951124 swapFree=67111528/67111528 [pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6 ################ # More data... # ################ /proc/28548/statm: 45205 31457 252 17 0 41846 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 189524 [startup+642.3 s] /proc/loadavg: 4.00 3.97 3.89 5/194 28584 /proc/meminfo: memFree=14846228/32951124 swapFree=67111528/67111528 [pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6 /proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/28545/statm: 2176 255 211 178 0 69 0 [pid=28548] ppid=28545 vsize=180820 CPUtime=642.26 cores=4,6 /proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 462414 0 0 0 64139 87 0 0 25 0 1 0 446934989 185159680 38238 33554432000 4194304 4260849 140734098371136 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/28548/statm: 45205 38238 252 17 0 41846 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 189524 [startup+702.301 s] /proc/loadavg: 4.00 3.97 3.89 5/194 28585 /proc/meminfo: memFree=14891828/32951124 swapFree=67111528/67111528 [pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6 /proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/28545/statm: 2176 255 211 178 0 69 0 [pid=28548] ppid=28545 vsize=230908 CPUtime=702.27 cores=4,6 /proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 492794 0 0 0 70132 95 0 0 25 0 1 0 446934989 236449792 40805 33554432000 4194304 4260849 140734098371136 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/28548/statm: 57727 40805 252 17 0 54368 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 239612 [startup+762.307 s] /proc/loadavg: 4.15 4.00 3.91 5/194 28587 /proc/meminfo: memFree=14852120/32951124 swapFree=67111528/67111528 [pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6 /proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/28545/statm: 2176 255 211 178 0 69 0 [pid=28548] ppid=28545 vsize=180820 CPUtime=762.28 cores=4,6 /proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 538927 0 0 0 76122 106 0 0 25 0 1 0 446934989 185159680 36452 33554432000 4194304 4260849 140734098371136 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/28548/statm: 45205 36452 252 17 0 41846 0 Current children cumulated CPU time (s) 762.32 Current children cumulated vsize (KiB) 189524 [startup+822.3 s] /proc/loadavg: 4.05 4.00 3.91 5/194 28588 /proc/meminfo: memFree=14831868/32951124 swapFree=67111528/67111528 [pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6 /proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/28545/statm: 2176 255 211 178 0 69 0 [pid=28548] ppid=28545 vsize=180820 CPUtime=822.27 cores=4,6 /proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 567508 0 0 0 82113 114 0 0 25 0 1 0 446934989 185159680 39227 33554432000 4194304 4260849 140734098371136 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/28548/statm: 45205 39227 252 17 0 41846 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 189524 [startup+882.301 s] /proc/loadavg: 4.02 4.00 3.91 5/194 28590 /proc/meminfo: memFree=14771068/32951124 swapFree=67111528/67111528 [pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6 /proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/28545/statm: 2176 255 211 178 0 69 0 [pid=28548] ppid=28545 vsize=230908 CPUtime=882.27 cores=4,6 /proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 598641 0 0 0 88107 120 0 0 25 0 1 0 446934989 236449792 43219 33554432000 4194304 4260849 140734098371136 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/28548/statm: 57727 43219 252 17 0 54368 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 239612 [startup+942.301 s] /proc/loadavg: 4.00 4.00 3.91 5/194 28592 /proc/meminfo: memFree=14813956/32951124 swapFree=67111528/67111528 [pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6 /proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/28545/statm: 2176 255 211 178 0 69 0 [pid=28548] ppid=28545 vsize=180820 CPUtime=942.27 cores=4,6 /proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 644444 0 0 0 94097 130 0 0 25 0 1 0 446934989 185159680 35011 33554432000 4194304 4260849 140734098371136 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/28548/statm: 45205 35011 252 17 0 41846 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 189524 [startup+1002.3 s] /proc/loadavg: 4.00 4.00 3.91 5/194 28593 /proc/meminfo: memFree=14798188/32951124 swapFree=67111528/67111528 [pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6 /proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/28545/statm: 2176 255 211 178 0 69 0 [pid=28548] ppid=28545 vsize=180820 CPUtime=1002.27 cores=4,6 /proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 675146 0 0 0 100092 135 0 0 25 0 1 0 446934989 185159680 40283 33554432000 4194304 4260849 140734098371136 18446744073709551615 4209267 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/28548/statm: 45205 40283 252 17 0 41846 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 189524 [startup+1062.3 s] /proc/loadavg: 4.06 4.01 3.91 5/194 28595 /proc/meminfo: memFree=14788364/32951124 swapFree=67111528/67111528 [pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6 /proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/28545/statm: 2176 255 211 178 0 69 0 [pid=28548] ppid=28545 vsize=231372 CPUtime=1062.27 cores=4,6 /proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 708265 0 0 0 106085 142 0 0 25 0 1 0 446934989 236924928 43813 33554432000 4194304 4260849 140734098371136 18446744073709551615 4224718 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/28548/statm: 57843 43813 252 17 0 54484 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 240076 [startup+1122.3 s] /proc/loadavg: 4.02 4.01 3.91 5/194 28596 /proc/meminfo: memFree=14806548/32951124 swapFree=67111528/67111528 [pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6 /proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/28545/statm: 2176 255 211 178 0 69 0 [pid=28548] ppid=28545 vsize=232100 CPUtime=1122.28 cores=4,6 /proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 735376 0 0 0 112081 147 0 0 25 0 1 0 446934989 237670400 42572 33554432000 4194304 4260849 140734098371136 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/28548/statm: 58025 42572 252 17 0 54666 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 240804 [startup+1182.3 s] /proc/loadavg: 4.00 4.00 3.91 5/194 28598 /proc/meminfo: memFree=14798952/32951124 swapFree=67111528/67111528 [pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6 /proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/28545/statm: 2176 255 211 178 0 69 0 [pid=28548] ppid=28545 vsize=183956 CPUtime=1182.28 cores=4,6 /proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 760142 0 0 0 118075 153 0 0 25 0 1 0 446934989 188370944 39687 33554432000 4194304 4260849 140734098371136 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/28548/statm: 45989 39687 252 17 0 42630 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 192660 [startup+1242.3 s] /proc/loadavg: 4.05 4.01 3.92 5/194 28600 /proc/meminfo: memFree=14845808/32951124 swapFree=67111528/67111528 [pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6 /proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/28545/statm: 2176 255 211 178 0 69 0 [pid=28548] ppid=28545 vsize=184808 CPUtime=1242.29 cores=4,6 /proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 790074 0 0 0 124069 160 0 0 25 0 1 0 446934989 189243392 40559 33554432000 4194304 4260849 140734098371136 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/28548/statm: 46202 40559 252 17 0 42843 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 193512 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 4.02 4.01 3.92 3/190 28603 /proc/meminfo: memFree=15078936/32951124 swapFree=67111528/67111528 [pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6 /proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/28545/statm: 2176 255 211 178 0 69 0 [pid=28548] ppid=28545 vsize=185568 CPUtime=1299.99 cores=4,6 /proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 821861 0 0 0 129831 168 0 0 25 0 1 0 446934989 190021632 40519 33554432000 4194304 4260849 140734098371136 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/28548/statm: 46392 40519 252 17 0 43033 0 Current children cumulated CPU time (s) 1300.03 Current children cumulated vsize (KiB) 194272 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 28545 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=42993 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1999 # CPU time returned by wait4() is 0.044992 # 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): 1298.35 CPU system time (s): 1.68 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 324500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.042993 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= 1040 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= 11 runsolver used 2.35564 second user time and 4.75128 second system time The end
Begin job on node141 at 2011-04-23 09:53:14 IDJOB=3263716 IDBENCH=84010 IDSOLVER=1651 FILE ID=node141/3263716-1303545194 RUNJOBID= node141-1303545193-28507 PBS_JOBID= 13143097 Free space on /tmp= 71540 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT03/handmade/anton/SAT/SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3263716-1303545194/watcher-3263716-1303545194 -o /tmp/evaluation-result-3263716-1303545194/solver-3263716-1303545194 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3263716-1303545194.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 22bbcb4a25a1da66113c240898c75509 RANDOM SEED=1331669297 node141.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.806 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.61 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.806 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 : 5362.96 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.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 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.806 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.84 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.806 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.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 15350912 kB Buffers: 1622272 kB Cached: 15329260 kB SwapCached: 0 kB Active: 9448648 kB Inactive: 7580048 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 15350912 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6028 kB Writeback: 0 kB AnonPages: 77084 kB Mapped: 16032 kB Slab: 507976 kB PageTables: 5980 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 245044 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= 71532 MiB End job on node141 at 2011-04-23 10:14:56