| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 5000.05 | 4999.91 |
| Name | CRAFTED/rbsat/random/forced/ rbsat-v2640c305320gyes10.cnf |
| MD5SUM | e4e4b653016e98f210aa8da2214e783a |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2640 |
| Number of clauses | 305320 |
| Sum of the clauses size | 613120 |
| Maximum clause length | 33 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 305240 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 80 |
0.00/0.00 c 0.00/0.00 c Starting SatElite Preprocessing 0.00/0.00 c 0.00/0.00 c Parsing... 0.00/0.07 c ============================================================================== 0.00/0.07 c | | ORIGINAL | LEARNT | | 0.00/0.07 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.07 c ============================================================================== 0.00/0.07 c | 0 | 305320 613120 | 91595 0 0 nan | 0.000 % | 0.99/1.01 c | 0 | 302063 1018697 | -- 0 -- -- | -- | -3257/405577 0.99/1.01 c ============================================================================== 0.99/1.01 c Result : #vars: 2560 #clauses: 302063 #literals: 1018697 0.99/1.01 c CPU time: 1.00185 s 0.99/1.01 c ============================================================================== 1.10/1.17 c 1.10/1.17 c Starting glucose 1.10/1.17 c 944.41/944.41 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 944.41/944.41 c WARNING: for repeatability, setting FPU to use double precision 944.41/944.41 c ============================[ Problem Statistics ]============================= 944.41/944.41 c | | 944.41/944.41 c | Number of variables: 2560 | 944.41/944.41 c | Number of clauses: 302063 | 944.41/944.41 c | Parse time: 0.06 s | 944.41/944.41 c | | 944.41/944.41 c ============================[ Search Statistics ]============================== 944.41/944.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 944.41/944.41 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 944.41/944.41 c =============================================================================== 944.41/944.41 c | 1174 | 2560 302063 1018697 | 1 1174 198 | 0.000 % | 944.41/944.41 c | 3396 | 2560 302063 1018697 | 1 3396 176 | 0.000 % | 944.41/944.41 c | 26751 | 2560 302063 1018697 | 1 13712 98 | 0.000 % | 944.41/944.41 c | 227387 | 2560 302063 1018697 | 1 37812 69 | 0.000 % | 944.41/944.41 c | 970606 | 2560 302063 1018697 | 1 88036 67 | 0.000 % | 944.41/944.41 c | 1279562 | 2560 302063 1018697 | 1 105387 62 | 0.000 % | 944.41/944.41 c | 1346990 | 2560 302063 1018697 | 1 93418 58 | 0.000 % | 944.41/944.41 c | 1587839 | 2560 302063 1018697 | 1 167673 68 | 0.000 % | 944.41/944.41 c | 1693473 | 2560 302063 1018697 | 1 96302 49 | 0.000 % | 944.41/944.41 c | 1708053 | 2560 302063 1018697 | 1 110882 54 | 0.000 % | 944.41/944.41 c | 1710275 | 2560 302063 1018697 | 1 113104 55 | 0.000 % | 944.41/944.41 c | 1742772 | 2560 302063 1018697 | 1 145601 64 | 0.000 % | 944.41/944.41 c | 1800140 | 2560 302063 1018697 | 1 110567 59 | 0.000 % | 944.41/944.41 c | 1809048 | 2560 302063 1018697 | 1 119475 62 | 0.000 % | 944.41/944.41 c | 1888783 | 2560 302063 1018697 | 1 104206 55 | 0.000 % | 944.41/944.41 c | 2482640 | 2560 302063 1018697 | 1 184082 73 | 0.000 % | 944.41/944.41 c | 2484561 | 2560 302063 1018697 | 1 186003 73 | 0.000 % | 944.41/944.41 c | 2539160 | 2560 302063 1018697 | 1 130000 57 | 0.000 % | 944.41/944.41 c | 2542820 | 2560 302063 1018697 | 1 133660 58 | 0.000 % | 944.41/944.41 c | 2580969 | 2560 302063 1018697 | 1 171809 66 | 0.000 % | 944.41/944.41 c | 2586241 | 2560 302063 1018697 | 1 177081 67 | 0.000 % | 944.41/944.41 c | 2628644 | 2560 302063 1018697 | 1 219484 75 | 0.000 % | 944.41/944.41 c | 2633257 | 2560 302063 1018697 | 1 224097 75 | 0.000 % | 944.41/944.41 c | 2671815 | 2560 302063 1018697 | 1 149458 61 | 0.000 % | 944.41/944.41 c | 2697655 | 2560 302063 1018697 | 1 175298 66 | 0.000 % | 944.41/944.41 c | 2787672 | 2560 302063 1018697 | 1 149518 58 | 0.000 % | 944.41/944.41 c | 3059839 | 2560 302063 1018697 | 1 182282 59 | 0.000 % | 944.41/944.41 c | 3069262 | 2560 302063 1018697 | 1 191705 61 | 0.000 % | 944.41/944.41 c | 3105678 | 2560 302063 1018697 | 1 228121 67 | 0.000 % | 944.41/944.41 c | 3106836 | 2560 302063 1018697 | 1 229279 67 | 0.000 % | 944.41/944.41 c | 3219443 | 2560 302063 1018697 | 1 218274 63 | 0.000 % | 944.41/944.41 c | 3220234 | 2560 302063 1018697 | 1 219065 63 | 0.000 % | 944.41/944.41 c | 3392705 | 2560 302063 1018697 | 1 136538 46 | 0.000 % | 944.41/944.41 c | 3540530 | 2560 302063 1018697 | 1 152966 51 | 0.000 % | 944.41/944.41 c | 3555257 | 2560 302063 1018697 | 1 167693 55 | 0.000 % | 944.41/944.41 c | 3588217 | 2560 302063 1018697 | 1 200653 62 | 0.000 % | 944.41/944.41 c | 3588318 | 2560 302063 1018697 | 1 200754 62 | 0.000 % | 944.41/944.41 c | 3589271 | 2560 302063 1018697 | 1 201707 62 | 0.000 % | 944.41/944.41 c | 3616634 | 2560 302063 1018697 | 1 229070 65 | 0.000 % | 1576.13/1576.14 c | 3823915 | 2560 302063 1018697 | 1 165746 51 | 0.000 % | 1576.13/1576.14 c | 3910298 | 2560 302063 1018697 | 1 252129 59 | 0.000 % | 1576.13/1576.14 c | 3985793 | 2560 302063 1018697 | 1 188419 53 | 0.000 % | 1576.13/1576.14 c | 4004816 | 2560 302063 1018697 | 1 207442 57 | 0.000 % | 1576.13/1576.14 c | 4013277 | 2560 302063 1018697 | 1 215903 58 | 0.000 % | 1576.13/1576.14 c | 4016838 | 2560 302063 1018697 | 1 219464 58 | 0.000 % | 1576.13/1576.14 c | 4031881 | 2560 302063 1018697 | 1 234507 60 | 0.000 % | 1576.13/1576.14 c | 4032649 | 2560 302063 1018697 | 1 235275 60 | 0.000 % | 1576.13/1576.14 c | 4136933 | 2560 302063 1018697 | 1 197754 56 | 0.000 % | 1576.13/1576.14 c | 4156727 | 2560 302063 1018697 | 1 217548 59 | 0.000 % | 1576.13/1576.14 c | 4157159 | 2560 302063 1018697 | 1 217980 59 | 0.000 % | 1576.13/1576.14 c | 4157260 | 2560 302063 1018697 | 1 218081 59 | 0.000 % | 1576.13/1576.14 c | 4159546 | 2560 302063 1018697 | 1 220367 59 | 0.000 % | 1576.13/1576.14 c | 4248714 | 2560 302063 1018697 | 1 165135 49 | 0.000 % | 1576.13/1576.14 c | 4249184 | 2560 302063 1018697 | 1 165605 49 | 0.000 % | 1576.13/1576.14 c | 4266420 | 2560 302063 1018697 | 1 182841 53 | 0.000 % | 1576.13/1576.14 c | 4266815 | 2560 302063 1018697 | 1 183236 54 | 0.000 % | 1576.13/1576.14 c | 4308914 | 2560 302063 1018697 | 1 225335 60 | 0.000 % | 1576.13/1576.14 c | 4309014 | 2560 302063 1018697 | 1 225435 60 | 0.000 % | 1576.13/1576.14 c | 4335059 | 2560 302063 1018697 | 1 251480 62 | 0.000 % | 1576.13/1576.14 c | 4355167 | 2560 302063 1018697 | 1 271588 65 | 0.000 % | 1576.13/1576.14 c | 4402741 | 2560 302063 1018697 | 1 172167 49 | 0.000 % | 1576.13/1576.14 c | 4438233 | 2560 302063 1018697 | 1 207659 55 | 0.000 % | 1576.13/1576.14 c | 4556774 | 2560 302063 1018697 | 1 176606 52 | 0.000 % | 1576.13/1576.14 c | 4653595 | 2560 302063 1018697 | 1 273427 64 | 0.000 % | 1576.13/1576.14 c | 4657362 | 2560 302063 1018697 | 1 277194 64 | 0.000 % | 1576.13/1576.14 c | 4657678 | 2560 302063 1018697 | 1 277510 64 | 0.000 % | 1576.13/1576.14 c | 4668918 | 2560 302063 1018697 | 1 288750 64 | 0.000 % | 1576.13/1576.14 c | 4669090 | 2560 302063 1018697 | 1 288922 64 | 0.000 % | 1576.13/1576.14 c | 4674719 | 2560 302063 1018697 | 1 294551 65 | 0.000 % | 1576.13/1576.14 c | 4737813 | 2560 302063 1018697 | 1 205444 54 | 0.000 % | 1576.13/1576.14 c | 4912702 | 2560 302063 1018697 | 1 225544 60 | 0.000 % | 1576.13/1576.14 c | 4927131 | 2560 302063 1018697 | 1 239973 62 | 0.000 % | 1576.13/1576.14 c | 4955004 | 2560 302063 1018697 | 1 267846 65 | 0.000 % | 1576.13/1576.14 c | 4997801 | 2560 302063 1018697 | 1 310643 68 | 0.000 % | 1576.13/1576.14 c | 5214740 | 2560 302063 1018697 | 1 210173 55 | 0.000 % | 1576.13/1576.14 c | 5214841 | 2560 302063 1018697 | 1 210274 55 | 0.000 % | 1576.13/1576.14 c | 5214941 | 2560 302063 1018697 | 1 210374 55 | 0.000 % | 1576.13/1576.14 c | 5215055 | 2560 302063 1018697 | 1 210488 55 | 0.000 % | 1576.13/1576.14 c | 5220896 | 2560 302063 1018697 | 1 216329 56 | 0.000 % | 1576.13/1576.14 c | 5238426 | 2560 302063 1018697 | 1 233859 60 | 0.000 % | 1576.13/1576.14 c | 5248738 | 2560 302063 1018697 | 1 244171 61 | 0.000 % | 1576.13/1576.14 c | 5249408 | 2560 302063 1018697 | 1 244841 62 | 0.000 % | 1576.13/1576.14 c | 5249603 | 2560 302063 1018697 | 1 245036 62 | 0.000 % | 1576.13/1576.14 c | 5249807 | 2560 302063 1018697 | 1 245240 62 | 0.000 % | 1576.13/1576.14 c | 5250221 | 2560 302063 1018697 | 1 245654 62 | 0.000 % | 1576.13/1576.14 c | 5397547 | 2560 302063 1018697 | 1 230379 57 | 0.000 % | 1576.13/1576.14 c | 5397677 | 2560 302063 1018697 | 1 230509 57 | 0.000 % | 1576.13/1576.14 c | 5548631 | 2560 302063 1018697 | 1 216263 57 | 0.000 % | 1576.13/1576.14 c | 5617439 | 2560 302063 1018697 | 1 285071 64 | 0.000 % | 2062.55/2062.55 c | 5687729 | 2560 302063 1018697 | 1 187567 48 | 0.000 % | 2062.55/2062.55 c | 5687829 | 2560 302063 1018697 | 1 187667 48 | 0.000 % | 2062.55/2062.55 c | 5694231 | 2560 302063 1018697 | 1 194069 50 | 0.000 % | 2062.55/2062.55 c | 5696157 | 2560 302063 1018697 | 1 195995 50 | 0.000 % | 2062.55/2062.55 c | 5698969 | 2560 302063 1018697 | 1 198807 51 | 0.000 % | 2062.55/2062.55 c | 5701895 | 2560 302063 1018697 | 1 201733 52 | 0.000 % | 2062.55/2062.55 c | 5704549 | 2560 302063 1018697 | 1 204387 53 | 0.000 % | 2062.55/2062.55 c | 5705648 | 2560 302063 1018697 | 1 205486 53 | 0.000 % | 2062.55/2062.55 c | 5721928 | 2560 302063 1018697 | 1 221766 56 | 0.000 % | 2062.55/2062.55 c | 5746563 | 2560 302063 1018697 | 1 246401 60 | 0.000 % | 2062.55/2062.55 c | 5749259 | 2560 302063 1018697 | 1 249097 60 | 0.000 % | 2062.55/2062.55 c | 5787287 | 2560 302063 1018697 | 1 287125 64 | 0.000 % | 2062.55/2062.55 c | 5816474 | 2560 302063 1018697 | 1 316312 68 | 0.000 % | 2062.55/2062.55 c | 5881189 | 2560 302063 1018697 | 1 210639 52 | 0.000 % | 2062.55/2062.55 c | 5882495 | 2560 302063 1018697 | 1 211945 52 | 0.000 % | 2062.55/2062.55 c | 5925740 | 2560 302063 1018697 | 1 255190 61 | 0.000 % | 2062.55/2062.55 c | 5928177 | 2560 302063 1018697 | 1 257627 61 | 0.000 % | 2062.55/2062.55 c | 5928279 | 2560 302063 1018697 | 1 257729 61 | 0.000 % | 2062.55/2062.55 c | 5956370 | 2560 302063 1018697 | 1 285820 65 | 0.000 % | 2062.55/2062.55 c | 6207742 | 2560 302063 1018697 | 1 188589 52 | 0.000 % | 2062.55/2062.55 c | 6209156 | 2560 302063 1018697 | 1 190003 52 | 0.000 % | 2062.55/2062.55 c | 6422935 | 2560 302063 1018697 | 1 225571 55 | 0.000 % | 2062.55/2062.55 c | 6434988 | 2560 302063 1018697 | 1 237624 58 | 0.000 % | 2062.55/2062.55 c | 6435997 | 2560 302063 1018697 | 1 238633 59 | 0.000 % | 2062.55/2062.55 c | 6470489 | 2560 302063 1018697 | 1 273125 64 | 0.000 % | 2062.55/2062.55 c | 6472682 | 2560 302063 1018697 | 1 275318 64 | 0.000 % | 2062.55/2062.55 c | 6532374 | 2560 302063 1018697 | 1 335010 69 | 0.000 % | 2062.55/2062.55 c | 6534929 | 2560 302063 1018697 | 1 337565 69 | 0.000 % | 2062.55/2062.55 c | 6555758 | 2560 302063 1018697 | 1 358394 70 | 0.000 % | 2062.55/2062.55 c | 6574447 | 2560 302063 1018697 | 1 196284 50 | 0.000 % | 2062.55/2062.55 c | 6583562 | 2560 302063 1018697 | 1 205399 52 | 0.000 % | 2062.55/2062.55 c | 6673395 | 2560 302063 1018697 | 1 295232 66 | 0.000 % | 2062.55/2062.55 c | 6673648 | 2560 302063 1018697 | 1 295485 66 | 0.000 % | 2062.55/2062.55 c | 6674694 | 2560 302063 1018697 | 1 296531 67 | 0.000 % | 2062.55/2062.55 c | 6740103 | 2560 302063 1018697 | 1 361940 73 | 0.000 % | 2062.55/2062.55 c | 6740333 | 2560 302063 1018697 | 1 362170 73 | 0.000 % | 2062.55/2062.55 c | 6907884 | 2560 302063 1018697 | 1 346326 72 | 0.000 % | 2062.55/2062.55 c | 6907991 | 2560 302063 1018697 | 1 346433 72 | 0.000 % | 2062.55/2062.55 c | 7041622 | 2560 302063 1018697 | 1 294062 69 | 0.000 % | 2062.55/2062.55 c | 7042951 | 2560 302063 1018697 | 1 295391 69 | 0.000 % | 2062.55/2062.55 c | 7044084 | 2560 302063 1018697 | 1 296524 69 | 0.000 % | 2062.55/2062.55 c | 7058946 | 2560 302063 1018697 | 1 311386 71 | 0.000 % | 2062.55/2062.55 c | 7063483 | 2560 302063 1018697 | 1 315923 72 | 0.000 % | 2062.55/2062.55 c | 7147889 | 2560 302063 1018697 | 1 211735 54 | 0.000 % | 2062.55/2062.55 c | 7180204 | 2560 302063 1018697 | 1 244050 61 | 0.000 % | 2062.55/2062.55 c | 7213914 | 2560 302063 1018697 | 1 277760 67 | 0.000 % | 2062.55/2062.55 c | 7214028 | 2560 302063 1018697 | 1 277874 67 | 0.000 % | 2062.55/2062.55 c | 7214149 | 2560 302063 1018697 | 1 277995 67 | 0.000 % | 2062.55/2062.55 c | 7251133 | 2560 302063 1018697 | 1 314979 71 | 0.000 % | 2062.55/2062.55 c | 7252446 | 2560 302063 1018697 | 1 316292 71 | 0.000 % | 2486.56/2486.53 c | 7254347 | 2560 302063 1018697 | 1 318193 71 | 0.000 % | 2486.56/2486.53 c | 7291328 | 2560 302063 1018697 | 1 355174 75 | 0.000 % | 2486.56/2486.53 c | 7295592 | 2560 302063 1018697 | 1 359438 75 | 0.000 % | 2486.56/2486.53 c | 7298250 | 2560 302063 1018697 | 1 362096 76 | 0.000 % | 2486.56/2486.53 c | 7299099 | 2560 302063 1018697 | 1 362945 76 | 0.000 % | 2486.56/2486.53 c | 7304579 | 2560 302063 1018697 | 1 368425 76 | 0.000 % | 2486.56/2486.53 c | 7338666 | 2560 302063 1018697 | 1 211312 54 | 0.000 % | 2486.56/2486.53 c | 7387211 | 2560 302063 1018697 | 1 259857 65 | 0.000 % | 2486.56/2486.53 c | 7390779 | 2560 302063 1018697 | 1 263425 66 | 0.000 % | 2486.56/2486.53 c | 7404569 | 2560 302063 1018697 | 1 277215 69 | 0.000 % | 2486.56/2486.53 c | 7417210 | 2560 302063 1018697 | 1 289856 71 | 0.000 % | 2486.56/2486.53 c | 7498066 | 2560 302063 1018697 | 1 370712 75 | 0.000 % | 2486.56/2486.53 c | 7576154 | 2560 302063 1018697 | 1 254998 58 | 0.000 % | 2486.56/2486.53 c | 7666356 | 2560 302063 1018697 | 1 345200 67 | 0.000 % | 2486.56/2486.53 c | 7687371 | 2560 302063 1018697 | 1 366215 69 | 0.000 % | 2486.56/2486.53 c | 7784794 | 2560 302063 1018697 | 1 267228 55 | 0.000 % | 2486.56/2486.53 c | 7786245 | 2560 302063 1018697 | 1 268679 55 | 0.000 % | 2486.56/2486.53 c | 7786345 | 2560 302063 1018697 | 1 268779 55 | 0.000 % | 2486.56/2486.53 c | 7796050 | 2560 302063 1018697 | 1 278484 57 | 0.000 % | 2486.56/2486.53 c | 7916486 | 2560 302063 1018697 | 1 199921 44 | 0.000 % | 2486.56/2486.53 c | 7917344 | 2560 302063 1018697 | 1 200779 44 | 0.000 % | 2486.56/2486.53 c | 7950754 | 2560 302063 1018697 | 1 234189 51 | 0.000 % | 2486.56/2486.53 c | 7954537 | 2560 302063 1018697 | 1 237972 52 | 0.000 % | 2486.56/2486.53 c | 8050075 | 2560 302063 1018697 | 1 333510 65 | 0.000 % | 2486.56/2486.53 c | 8050230 | 2560 302063 1018697 | 1 333665 65 | 0.000 % | 2486.56/2486.53 c | 8063778 | 2560 302063 1018697 | 1 347213 67 | 0.000 % | 2486.56/2486.53 c | 8130428 | 2560 302063 1018697 | 1 212266 46 | 0.000 % | 2486.56/2486.53 c | 8130529 | 2560 302063 1018697 | 1 212367 46 | 0.000 % | 2486.56/2486.53 c | 8159861 | 2560 302063 1018697 | 1 241699 52 | 0.000 % | 2486.56/2486.53 c | 8173557 | 2560 302063 1018697 | 1 255395 54 | 0.000 % | 2486.56/2486.53 c | 8289879 | 2560 302063 1018697 | 1 371717 70 | 0.000 % | 2486.56/2486.53 c | 8302670 | 2560 302063 1018697 | 1 384508 72 | 0.000 % | 2486.56/2486.53 c | 8304270 | 2560 302063 1018697 | 1 386108 72 | 0.000 % | 2486.56/2486.53 c | 8327005 | 2560 302063 1018697 | 1 204640 47 | 0.000 % | 2486.56/2486.53 c | 8327147 | 2560 302063 1018697 | 1 204782 47 | 0.000 % | 2486.56/2486.53 c | 8328955 | 2560 302063 1018697 | 1 206590 48 | 0.000 % | 2486.56/2486.53 c | 8355880 | 2560 302063 1018697 | 1 233515 54 | 0.000 % | 2486.56/2486.53 c | 8409620 | 2560 302063 1018697 | 1 287255 68 | 0.000 % | 2486.56/2486.53 c | 8410339 | 2560 302063 1018697 | 1 287974 68 | 0.000 % | 2486.56/2486.53 c | 8410591 | 2560 302063 1018697 | 1 288226 68 | 0.000 % | 2486.56/2486.53 c | 8467767 | 2560 302063 1018697 | 1 345402 78 | 0.000 % | 2486.56/2486.53 c | 8468834 | 2560 302063 1018697 | 1 346469 78 | 0.000 % | 2486.56/2486.53 c | 8472477 | 2560 302063 1018697 | 1 350112 78 | 0.000 % | 2486.56/2486.53 c | 8473504 | 2560 302063 1018697 | 1 351139 78 | 0.000 % | 2486.56/2486.53 c | 8492807 | 2560 302063 1018697 | 1 370442 80 | 0.000 % | 2486.56/2486.53 c | 8539579 | 2560 302063 1018697 | 1 210418 50 | 0.000 % | 2486.56/2486.53 c | 8545641 | 2560 302063 1018697 | 1 216480 51 | 0.000 % | 2486.56/2486.53 c | 8548680 | 2560 302063 1018697 | 1 219519 52 | 0.000 % | 2486.56/2486.53 c | 8549176 | 2560 302063 1018697 | 1 220015 53 | 0.000 % | 2486.56/2486.53 c | 8555277 | 2560 302063 1018697 | 1 226116 54 | 0.000 % | 2800.36/2800.39 c | 8560428 | 2560 302063 1018697 | 1 231267 56 | 0.000 % | 2800.36/2800.39 c | 8567671 | 2560 302063 1018697 | 1 238510 58 | 0.000 % | 2800.36/2800.39 c | 8576465 | 2560 302063 1018697 | 1 247304 60 | 0.000 % | 2800.36/2800.39 c | 8578741 | 2560 302063 1018697 | 1 249580 61 | 0.000 % | 2800.36/2800.39 c | 8591388 | 2560 302063 1018697 | 1 262227 64 | 0.000 % | 2800.36/2800.39 c | 8593896 | 2560 302063 1018697 | 1 264735 64 | 0.000 % | 2800.36/2800.39 c | 8594165 | 2560 302063 1018697 | 1 265004 64 | 0.000 % | 2800.36/2800.39 c | 8595269 | 2560 302063 1018697 | 1 266108 65 | 0.000 % | 2800.36/2800.39 c | 8595369 | 2560 302063 1018697 | 1 266208 65 | 0.000 % | 2800.36/2800.39 c | 8597569 | 2560 302063 1018697 | 1 268408 65 | 0.000 % | 2800.36/2800.39 c | 8614706 | 2560 302063 1018697 | 1 285545 68 | 0.000 % | 2800.36/2800.39 c | 8618458 | 2560 302063 1018697 | 1 289297 69 | 0.000 % | 2800.36/2800.39 c | 8620357 | 2560 302063 1018697 | 1 291196 69 | 0.000 % | 2800.36/2800.39 c | 8680576 | 2560 302063 1018697 | 1 351415 73 | 0.000 % | 2800.36/2800.39 c | 8700376 | 2560 302063 1018697 | 1 371215 75 | 0.000 % | 2800.36/2800.39 c | 8718001 | 2560 302063 1018697 | 1 388840 76 | 0.000 % | 2800.36/2800.39 c | 8729490 | 2560 302063 1018697 | 1 400329 77 | 0.000 % | 2800.36/2800.39 c | 8730741 | 2560 302063 1018697 | 1 401580 77 | 0.000 % | 2800.36/2800.39 c | 8734044 | 2560 302063 1018697 | 1 404883 77 | 0.000 % | 2800.36/2800.39 c | 8744289 | 2560 302063 1018697 | 1 415128 78 | 0.000 % | 2800.36/2800.39 c | 8745679 | 2560 302063 1018697 | 1 416518 78 | 0.000 % | 2800.36/2800.39 c | 8746553 | 2560 302063 1018697 | 1 417392 78 | 0.000 % | 2800.36/2800.39 c | 8779396 | 2560 302063 1018697 | 1 240821 52 | 0.000 % | 2800.36/2800.39 c | 8802616 | 2560 302063 1018697 | 1 264041 55 | 0.000 % | 2800.36/2800.39 c | 8802716 | 2560 302063 1018697 | 1 264141 55 | 0.000 % | 2800.36/2800.39 c | 8989174 | 2560 302063 1018697 | 1 238604 50 | 0.000 % | 2800.36/2800.39 c | 8994969 | 2560 302063 1018697 | 1 244399 51 | 0.000 % | 2800.36/2800.39 c | 8995071 | 2560 302063 1018697 | 1 244501 51 | 0.000 % | 2800.36/2800.39 c | 9045987 | 2560 302063 1018697 | 1 295417 58 | 0.000 % | 2800.36/2800.39 c | 9052016 | 2560 302063 1018697 | 1 301446 59 | 0.000 % | 2800.36/2800.39 c | 9077997 | 2560 302063 1018697 | 1 327427 62 | 0.000 % | 2800.36/2800.39 c | 9081804 | 2560 302063 1018697 | 1 331234 62 | 0.000 % | 2800.36/2800.39 c | 9085720 | 2560 302063 1018697 | 1 335150 63 | 0.000 % | 2800.36/2800.39 c | 9089851 | 2560 302063 1018697 | 1 339281 63 | 0.000 % | 2800.36/2800.39 c | 9107513 | 2560 302063 1018697 | 1 356943 64 | 0.000 % | 2800.36/2800.39 c | 9108412 | 2560 302063 1018697 | 1 357842 64 | 0.000 % | 2800.36/2800.39 c | 9125196 | 2560 302063 1018697 | 1 374626 66 | 0.000 % | 2800.36/2800.39 c | 9126569 | 2560 302063 1018697 | 1 375999 66 | 0.000 % | 2800.36/2800.39 c | 9140237 | 2560 302063 1018697 | 1 389667 67 | 0.000 % | 2800.36/2800.39 c | 9149815 | 2560 302063 1018697 | 1 399245 68 | 0.000 % | 2800.36/2800.39 c | 9152294 | 2560 302063 1018697 | 1 401724 68 | 0.000 % | 2800.36/2800.39 c | 9169795 | 2560 302063 1018697 | 1 419225 69 | 0.000 % | 2800.36/2800.39 c | 9216062 | 2560 302063 1018697 | 1 250889 50 | 0.000 % | 2800.36/2800.39 c | 9257032 | 2560 302063 1018697 | 1 291859 55 | 0.000 % | 2800.36/2800.39 c | 9257507 | 2560 302063 1018697 | 1 292334 55 | 0.000 % | 2800.36/2800.39 c | 9365796 | 2560 302063 1018697 | 1 400623 64 | 0.000 % | 2800.36/2800.39 c | 9372013 | 2560 302063 1018697 | 1 406840 65 | 0.000 % | 2800.36/2800.39 c | 9518508 | 2560 302063 1018697 | 1 336143 60 | 0.000 % | 2800.36/2800.39 c | 9520749 | 2560 302063 1018697 | 1 338384 60 | 0.000 % | 2800.36/2800.39 c | 9543471 | 2560 302063 1018697 | 1 361106 62 | 0.000 % | 3188.18/3188.10 c | 9544874 | 2560 302063 1018697 | 1 362509 62 | 0.000 % | 3188.18/3188.10 c | 9550141 | 2560 302063 1018697 | 1 367776 62 | 0.000 % | 3188.18/3188.10 c | 9550264 | 2560 302063 1018697 | 1 367899 62 | 0.000 % | 3188.18/3188.10 c | 9563678 | 2560 302063 1018697 | 1 381313 64 | 0.000 % | 3188.18/3188.10 c | 9572540 | 2560 302063 1018697 | 1 390175 65 | 0.000 % | 3188.18/3188.10 c | 9683862 | 2560 302063 1018697 | 1 281704 57 | 0.000 % | 3188.18/3188.10 c | 9740819 | 2560 302063 1018697 | 1 338661 64 | 0.000 % | 3188.18/3188.10 c | 9746366 | 2560 302063 1018697 | 1 344208 64 | 0.000 % | 3188.18/3188.10 c | 9760839 | 2560 302063 1018697 | 1 358681 66 | 0.000 % | 3188.18/3188.10 c | 9877988 | 2560 302063 1018697 | 1 253432 50 | 0.000 % | 3188.18/3188.10 c | 9888421 | 2560 302063 1018697 | 1 263865 51 | 0.000 % | 3188.18/3188.10 c | 9902415 | 2560 302063 1018697 | 1 277859 54 | 0.000 % | 3188.18/3188.10 c | 9946613 | 2560 302063 1018697 | 1 322057 60 | 0.000 % | 3188.18/3188.10 c | 9961077 | 2560 302063 1018697 | 1 336521 61 | 0.000 % | 3188.18/3188.10 c | 9990075 | 2560 302063 1018697 | 1 365519 63 | 0.000 % | 3188.18/3188.10 c | 10039788 | 2560 302063 1018697 | 1 415232 65 | 0.000 % | 3188.18/3188.10 c | 10124358 | 2560 302063 1018697 | 1 274800 51 | 0.000 % | 3188.18/3188.10 c | 10124960 | 2560 302063 1018697 | 1 275402 51 | 0.000 % | 3188.18/3188.10 c | 10125950 | 2560 302063 1018697 | 1 276392 51 | 0.000 % | 3188.18/3188.10 c | 10184708 | 2560 302063 1018697 | 1 335150 61 | 0.000 % | 3188.18/3188.10 c | 10194202 | 2560 302063 1018697 | 1 344644 62 | 0.000 % | 3188.18/3188.10 c | 10195731 | 2560 302063 1018697 | 1 346173 62 | 0.000 % | 3188.18/3188.10 c | 10199952 | 2560 302063 1018697 | 1 350394 63 | 0.000 % | 3188.18/3188.10 c | 10200053 | 2560 302063 1018697 | 1 350495 63 | 0.000 % | 3188.18/3188.10 c | 10200471 | 2560 302063 1018697 | 1 350913 63 | 0.000 % | 3188.18/3188.10 c | 10208290 | 2560 302063 1018697 | 1 358732 65 | 0.000 % | 3188.18/3188.10 c | 10237353 | 2560 302063 1018697 | 1 387795 69 | 0.000 % | 3188.18/3188.10 c | 10237523 | 2560 302063 1018697 | 1 387965 69 | 0.000 % | 3188.18/3188.10 c | 10241345 | 2560 302063 1018697 | 1 391787 69 | 0.000 % | 3188.18/3188.10 c | 10245160 | 2560 302063 1018697 | 1 395602 70 | 0.000 % | 3188.18/3188.10 c | 10249309 | 2560 302063 1018697 | 1 399751 70 | 0.000 % | 3188.18/3188.10 c | 10249940 | 2560 302063 1018697 | 1 400382 70 | 0.000 % | 3188.18/3188.10 c | 10285917 | 2560 302063 1018697 | 1 436359 72 | 0.000 % | 3188.18/3188.10 c | 10302245 | 2560 302063 1018697 | 1 452687 73 | 0.000 % | 3188.18/3188.10 c | 10434851 | 2560 302063 1018697 | 1 357687 60 | 0.000 % | 3188.18/3188.10 c | 10508369 | 2560 302063 1018697 | 1 431205 66 | 0.000 % | 3188.18/3188.10 c | 10607666 | 2560 302063 1018697 | 1 300326 56 | 0.000 % | 3188.18/3188.10 c | 10634008 | 2560 302063 1018697 | 1 326668 59 | 0.000 % | 3188.18/3188.10 c | 10681124 | 2560 302063 1018697 | 1 373784 63 | 0.000 % | 3188.18/3188.10 c | 10681676 | 2560 302063 1018697 | 1 374336 63 | 0.000 % | 3188.18/3188.10 c | 10681776 | 2560 302063 1018697 | 1 374436 63 | 0.000 % | 3188.18/3188.10 c | 10681879 | 2560 302063 1018697 | 1 374539 63 | 0.000 % | 3188.18/3188.10 c | 10690523 | 2560 302063 1018697 | 1 383183 65 | 0.000 % | 3188.18/3188.10 c | 10692156 | 2560 302063 1018697 | 1 384816 65 | 0.000 % | 3188.18/3188.10 c | 10693306 | 2560 302063 1018697 | 1 385966 65 | 0.000 % | 3188.18/3188.10 c | 10693960 | 2560 302063 1018697 | 1 386620 66 | 0.000 % | 3188.18/3188.10 c | 10697376 | 2560 302063 1018697 | 1 390036 66 | 0.000 % | 3188.18/3188.10 c | 10697525 | 2560 302063 1018697 | 1 390185 66 | 0.000 % | 3188.18/3188.10 c | 10698016 | 2560 302063 1018697 | 1 390676 66 | 0.000 % | 3188.18/3188.10 c | 10739109 | 2560 302063 1018697 | 1 431769 69 | 0.000 % | 3539.80/3539.77 c | 10819680 | 2560 302063 1018697 | 1 279523 53 | 0.000 % | 3539.80/3539.77 c | 10907650 | 2560 302063 1018697 | 1 367493 65 | 0.000 % | 3539.80/3539.77 c | 10923219 | 2560 302063 1018697 | 1 383062 67 | 0.000 % | 3539.80/3539.77 c | 10939423 | 2560 302063 1018697 | 1 399266 68 | 0.000 % | 3539.80/3539.77 c | 10950691 | 2560 302063 1018697 | 1 410534 69 | 0.000 % | 3539.80/3539.77 c | 10983897 | 2560 302063 1018697 | 1 443740 71 | 0.000 % | 3539.80/3539.77 c | 11012844 | 2560 302063 1018697 | 1 237290 45 | 0.000 % | 3539.80/3539.77 c | 11048834 | 2560 302063 1018697 | 1 273280 53 | 0.000 % | 3539.80/3539.77 c | 11054296 | 2560 302063 1018697 | 1 278742 54 | 0.000 % | 3539.80/3539.77 c | 11054396 | 2560 302063 1018697 | 1 278842 54 | 0.000 % | 3539.80/3539.77 c | 11054695 | 2560 302063 1018697 | 1 279141 54 | 0.000 % | 3539.80/3539.77 c | 11085033 | 2560 302063 1018697 | 1 309479 59 | 0.000 % | 3539.80/3539.77 c | 11086094 | 2560 302063 1018697 | 1 310540 59 | 0.000 % | 3539.80/3539.77 c | 11086438 | 2560 302063 1018697 | 1 310884 59 | 0.000 % | 3539.80/3539.77 c | 11086806 | 2560 302063 1018697 | 1 311252 59 | 0.000 % | 3539.80/3539.77 c | 11086908 | 2560 302063 1018697 | 1 311354 59 | 0.000 % | 3539.80/3539.77 c | 11095969 | 2560 302063 1018697 | 1 320415 60 | 0.000 % | 3539.80/3539.77 c | 11099896 | 2560 302063 1018697 | 1 324342 61 | 0.000 % | 3539.80/3539.77 c | 11108756 | 2560 302063 1018697 | 1 333202 62 | 0.000 % | 3539.80/3539.77 c | 11113394 | 2560 302063 1018697 | 1 337840 62 | 0.000 % | 3539.80/3539.77 c | 11115225 | 2560 302063 1018697 | 1 339671 62 | 0.000 % | 3539.80/3539.77 c | 11115691 | 2560 302063 1018697 | 1 340137 63 | 0.000 % | 3539.80/3539.77 c | 11121666 | 2560 302063 1018697 | 1 346112 63 | 0.000 % | 3539.80/3539.77 c | 11148694 | 2560 302063 1018697 | 1 373140 65 | 0.000 % | 3539.80/3539.77 c | 11150009 | 2560 302063 1018697 | 1 374455 65 | 0.000 % | 3539.80/3539.77 c | 11151278 | 2560 302063 1018697 | 1 375724 65 | 0.000 % | 3539.80/3539.77 c | 11151416 | 2560 302063 1018697 | 1 375862 66 | 0.000 % | 3539.80/3539.77 c | 11152900 | 2560 302063 1018697 | 1 377346 66 | 0.000 % | 3539.80/3539.77 c | 11153666 | 2560 302063 1018697 | 1 378112 66 | 0.000 % | 3539.80/3539.77 c | 11155690 | 2560 302063 1018697 | 1 380136 66 | 0.000 % | 3539.80/3539.77 c | 11163728 | 2560 302063 1018697 | 1 388174 67 | 0.000 % | 3539.80/3539.77 c | 11164762 | 2560 302063 1018697 | 1 389208 67 | 0.000 % | 3539.80/3539.77 c | 11210536 | 2560 302063 1018697 | 1 434982 73 | 0.000 % | 3539.80/3539.77 c | 11217805 | 2560 302063 1018697 | 1 442251 74 | 0.000 % | 3539.80/3539.77 c | 11220864 | 2560 302063 1018697 | 1 445310 74 | 0.000 % | 3539.80/3539.77 c | 11258514 | 2560 302063 1018697 | 1 244960 48 | 0.000 % | 3539.80/3539.77 c | 11284042 | 2560 302063 1018697 | 1 270488 52 | 0.000 % | 3539.80/3539.77 c | 11288325 | 2560 302063 1018697 | 1 274771 53 | 0.000 % | 3539.80/3539.77 c | 11377669 | 2560 302063 1018697 | 1 364115 64 | 0.000 % | 3539.80/3539.77 c | 11383431 | 2560 302063 1018697 | 1 369877 65 | 0.000 % | 3539.80/3539.77 c | 11412244 | 2560 302063 1018697 | 1 398690 67 | 0.000 % | 3539.80/3539.77 c | 11519791 | 2560 302063 1018697 | 1 265643 48 | 0.000 % | 3539.80/3539.77 c | 11602720 | 2560 302063 1018697 | 1 348572 55 | 0.000 % | 3539.80/3539.77 c | 11683609 | 2560 302063 1018697 | 1 429461 61 | 0.000 % | 3539.80/3539.77 c | 11687097 | 2560 302063 1018697 | 1 432949 61 | 0.000 % | 3539.80/3539.77 c | 11687567 | 2560 302063 1018697 | 1 433419 61 | 0.000 % | 3539.80/3539.77 c | 11692576 | 2560 302063 1018697 | 1 438428 62 | 0.000 % | 3539.80/3539.77 c | 11758334 | 2560 302063 1018697 | 1 260979 45 | 0.000 % | 3539.80/3539.77 c | 11834353 | 2560 302063 1018697 | 1 336998 57 | 0.000 % | 3968.20/3968.11 c | 11838299 | 2560 302063 1018697 | 1 340944 57 | 0.000 % | 3968.20/3968.11 c | 11838431 | 2560 302063 1018697 | 1 341076 57 | 0.000 % | 3968.20/3968.11 c | 11848834 | 2560 302063 1018697 | 1 351479 58 | 0.000 % | 3968.20/3968.11 c | 11856207 | 2560 302063 1018697 | 1 358852 59 | 0.000 % | 3968.20/3968.11 c | 11856573 | 2560 302063 1018697 | 1 359218 60 | 0.000 % | 3968.20/3968.11 c | 11872142 | 2560 302063 1018697 | 1 374787 61 | 0.000 % | 3968.20/3968.11 c | 11969518 | 2560 302063 1018697 | 1 472163 68 | 0.000 % | 3968.20/3968.11 c | 12059855 | 2560 302063 1018697 | 1 316685 52 | 0.000 % | 3968.20/3968.11 c | 12060166 | 2560 302063 1018697 | 1 316996 52 | 0.000 % | 3968.20/3968.11 c | 12060285 | 2560 302063 1018697 | 1 317115 52 | 0.000 % | 3968.20/3968.11 c | 12060655 | 2560 302063 1018697 | 1 317485 52 | 0.000 % | 3968.20/3968.11 c | 12066675 | 2560 302063 1018697 | 1 323505 53 | 0.000 % | 3968.20/3968.11 c | 12096066 | 2560 302063 1018697 | 1 352896 56 | 0.000 % | 3968.20/3968.11 c | 12097251 | 2560 302063 1018697 | 1 354081 56 | 0.000 % | 3968.20/3968.11 c | 12132786 | 2560 302063 1018697 | 1 389616 60 | 0.000 % | 3968.20/3968.11 c | 12191746 | 2560 302063 1018697 | 1 448576 65 | 0.000 % | 3968.20/3968.11 c | 12226772 | 2560 302063 1018697 | 1 483602 68 | 0.000 % | 3968.20/3968.11 c | 12229571 | 2560 302063 1018697 | 1 486401 68 | 0.000 % | 3968.20/3968.11 c | 12244392 | 2560 302063 1018697 | 1 252824 44 | 0.000 % | 3968.20/3968.11 c | 12245111 | 2560 302063 1018697 | 1 253543 44 | 0.000 % | 3968.20/3968.11 c | 12245272 | 2560 302063 1018697 | 1 253704 44 | 0.000 % | 3968.20/3968.11 c | 12245372 | 2560 302063 1018697 | 1 253804 44 | 0.000 % | 3968.20/3968.11 c | 12247425 | 2560 302063 1018697 | 1 255857 45 | 0.000 % | 3968.20/3968.11 c | 12247886 | 2560 302063 1018697 | 1 256318 45 | 0.000 % | 3968.20/3968.11 c | 12248255 | 2560 302063 1018697 | 1 256687 45 | 0.000 % | 3968.20/3968.11 c | 12248489 | 2560 302063 1018697 | 1 256921 45 | 0.000 % | 3968.20/3968.11 c | 12270575 | 2560 302063 1018697 | 1 279007 50 | 0.000 % | 3968.20/3968.11 c | 12306110 | 2560 302063 1018697 | 1 314542 58 | 0.000 % | 3968.20/3968.11 c | 12347511 | 2560 302063 1018697 | 1 355943 64 | 0.000 % | 3968.20/3968.11 c | 12347754 | 2560 302063 1018697 | 1 356186 64 | 0.000 % | 3968.20/3968.11 c | 12347856 | 2560 302063 1018697 | 1 356288 64 | 0.000 % | 3968.20/3968.11 c | 12352828 | 2560 302063 1018697 | 1 361260 64 | 0.000 % | 3968.20/3968.11 c | 12357156 | 2560 302063 1018697 | 1 365588 65 | 0.000 % | 3968.20/3968.11 c | 12357456 | 2560 302063 1018697 | 1 365888 65 | 0.000 % | 3968.20/3968.11 c | 12398804 | 2560 302063 1018697 | 1 407236 71 | 0.000 % | 3968.20/3968.11 c | 12479304 | 2560 302063 1018697 | 1 487736 75 | 0.000 % | 3968.20/3968.11 c | 12492926 | 2560 302063 1018697 | 1 501358 75 | 0.000 % | 3968.20/3968.11 c | 12591543 | 2560 302063 1018697 | 1 348971 58 | 0.000 % | 3968.20/3968.11 c | 12616649 | 2560 302063 1018697 | 1 374077 61 | 0.000 % | 3968.20/3968.11 c | 12621824 | 2560 302063 1018697 | 1 379252 62 | 0.000 % | 3968.20/3968.11 c | 12623044 | 2560 302063 1018697 | 1 380472 62 | 0.000 % | 3968.20/3968.11 c | 12712733 | 2560 302063 1018697 | 1 470161 70 | 0.000 % | 3968.20/3968.11 c | 12765314 | 2560 302063 1018697 | 1 269149 47 | 0.000 % | 3968.20/3968.11 c | 12766026 | 2560 302063 1018697 | 1 269861 47 | 0.000 % | 3968.20/3968.11 c | 12826972 | 2560 302063 1018697 | 1 330807 55 | 0.000 % | 3968.20/3968.11 c | 12846904 | 2560 302063 1018697 | 1 350739 58 | 0.000 % | 3968.20/3968.11 c | 12946405 | 2560 302063 1018697 | 1 450240 64 | 0.000 % | 3968.20/3968.11 c | 13123076 | 2560 302063 1018697 | 1 370707 54 | 0.000 % | 3968.20/3968.11 c | 13192421 | 2560 302063 1018697 | 1 440052 59 | 0.000 % | 3968.20/3968.11 c | 13192523 | 2560 302063 1018697 | 1 440154 59 | 0.000 % | 4353.92/4353.85 c | 13339128 | 2560 302063 1018697 | 1 327970 49 | 0.000 % | 4353.92/4353.85 c | 13357699 | 2560 302063 1018697 | 1 346541 51 | 0.000 % | 4353.92/4353.85 c | 13461720 | 2560 302063 1018697 | 1 450562 61 | 0.000 % | 4353.92/4353.85 c | 13479710 | 2560 302063 1018697 | 1 468552 63 | 0.000 % | 4353.92/4353.85 c | 13643965 | 2560 302063 1018697 | 1 371416 58 | 0.000 % | 4353.92/4353.85 c | 13652970 | 2560 302063 1018697 | 1 380421 59 | 0.000 % | 4353.92/4353.85 c | 13657757 | 2560 302063 1018697 | 1 385208 60 | 0.000 % | 4353.92/4353.85 c | 13666072 | 2560 302063 1018697 | 1 393523 61 | 0.000 % | 4353.92/4353.85 c | 13701772 | 2560 302063 1018697 | 1 429223 64 | 0.000 % | 4353.92/4353.85 c | 13710357 | 2560 302063 1018697 | 1 437808 66 | 0.000 % | 4353.92/4353.85 c | 13711378 | 2560 302063 1018697 | 1 438829 66 | 0.000 % | 4353.92/4353.85 c | 13766227 | 2560 302063 1018697 | 1 493678 68 | 0.000 % | 4353.92/4353.85 c | 13766700 | 2560 302063 1018697 | 1 494151 68 | 0.000 % | 4353.92/4353.85 c | 13858005 | 2560 302063 1018697 | 1 321448 53 | 0.000 % | 4353.92/4353.85 c | 13869757 | 2560 302063 1018697 | 1 333200 54 | 0.000 % | 4353.92/4353.85 c | 13872284 | 2560 302063 1018697 | 1 335727 55 | 0.000 % | 4353.92/4353.85 c | 13911760 | 2560 302063 1018697 | 1 375203 59 | 0.000 % | 4353.92/4353.85 c | 14000007 | 2560 302063 1018697 | 1 463450 65 | 0.000 % | 4353.92/4353.85 c | 14000109 | 2560 302063 1018697 | 1 463552 65 | 0.000 % | 4353.92/4353.85 c | 14000209 | 2560 302063 1018697 | 1 463652 65 | 0.000 % | 4353.92/4353.85 c | 14001627 | 2560 302063 1018697 | 1 465070 65 | 0.000 % | 4353.92/4353.85 c | 14006197 | 2560 302063 1018697 | 1 469640 66 | 0.000 % | 4353.92/4353.85 c | 14022646 | 2560 302063 1018697 | 1 486089 67 | 0.000 % | 4353.92/4353.85 c | 14027935 | 2560 302063 1018697 | 1 491378 67 | 0.000 % | 4353.92/4353.85 c | 14029594 | 2560 302063 1018697 | 1 493037 68 | 0.000 % | 4353.92/4353.85 c | 14040243 | 2560 302063 1018697 | 1 503686 68 | 0.000 % | 4353.92/4353.85 c | 14081471 | 2560 302063 1018697 | 1 278330 45 | 0.000 % | 4353.92/4353.85 c | 14081780 | 2560 302063 1018697 | 1 278639 45 | 0.000 % | 4353.92/4353.85 c | 14084869 | 2560 302063 1018697 | 1 281728 46 | 0.000 % | 4353.92/4353.85 c | 14085135 | 2560 302063 1018697 | 1 281994 46 | 0.000 % | 4353.92/4353.85 c | 14085438 | 2560 302063 1018697 | 1 282297 46 | 0.000 % | 4353.92/4353.85 c | 14087235 | 2560 302063 1018697 | 1 284094 47 | 0.000 % | 4353.92/4353.85 c | 14089289 | 2560 302063 1018697 | 1 286148 47 | 0.000 % | 4353.92/4353.85 c | 14109665 | 2560 302063 1018697 | 1 306524 51 | 0.000 % | 4353.92/4353.85 c | 14216755 | 2560 302063 1018697 | 1 413614 63 | 0.000 % | 4353.92/4353.85 c | 14218595 | 2560 302063 1018697 | 1 415454 63 | 0.000 % | 4353.92/4353.85 c | 14221260 | 2560 302063 1018697 | 1 418119 63 | 0.000 % | 4353.92/4353.85 c | 14260393 | 2560 302063 1018697 | 1 457252 66 | 0.000 % | 4353.92/4353.85 c | 14265504 | 2560 302063 1018697 | 1 462363 66 | 0.000 % | 4353.92/4353.85 c | 14266104 | 2560 302063 1018697 | 1 462963 66 | 0.000 % | 4353.92/4353.85 c | 14279580 | 2560 302063 1018697 | 1 476439 68 | 0.000 % | 4353.92/4353.85 c | 14282969 | 2560 302063 1018697 | 1 479828 68 | 0.000 % | 4353.92/4353.85 c | 14291930 | 2560 302063 1018697 | 1 488789 69 | 0.000 % | 4353.92/4353.85 c | 14352161 | 2560 302063 1018697 | 1 279814 46 | 0.000 % | 4353.92/4353.85 c | 14360842 | 2560 302063 1018697 | 1 288495 48 | 0.000 % | 4353.92/4353.85 c | 14363910 | 2560 302063 1018697 | 1 291563 48 | 0.000 % | 4353.92/4353.85 c | 14364375 | 2560 302063 1018697 | 1 292028 48 | 0.000 % | 4353.92/4353.85 c | 14367408 | 2560 302063 1018697 | 1 295061 49 | 0.000 % | 4353.92/4353.85 c | 14382712 | 2560 302063 1018697 | 1 310365 52 | 0.000 % | 4353.92/4353.85 c | 14383820 | 2560 302063 1018697 | 1 311473 52 | 0.000 % | 4715.63/4715.54 c | 14386073 | 2560 302063 1018697 | 1 313726 53 | 0.000 % | 4715.63/4715.54 c | 14394108 | 2560 302063 1018697 | 1 321761 54 | 0.000 % | 4715.63/4715.54 c | 14446708 | 2560 302063 1018697 | 1 374361 60 | 0.000 % | 4715.63/4715.54 c | 14446809 | 2560 302063 1018697 | 1 374462 60 | 0.000 % | 4715.63/4715.54 c | 14497061 | 2560 302063 1018697 | 1 424714 65 | 0.000 % | 4715.63/4715.54 c | 14500026 | 2560 302063 1018697 | 1 427679 66 | 0.000 % | 4715.63/4715.54 c | 14509862 | 2560 302063 1018697 | 1 437515 67 | 0.000 % | 4715.63/4715.54 c | 14509970 | 2560 302063 1018697 | 1 437623 67 | 0.000 % | 4715.63/4715.54 c | 14551070 | 2560 302063 1018697 | 1 478723 69 | 0.000 % | 4715.63/4715.54 c | 14563497 | 2560 302063 1018697 | 1 491150 70 | 0.000 % | 4715.63/4715.54 c | 14585345 | 2560 302063 1018697 | 1 512998 72 | 0.000 % | 4715.63/4715.54 c | 14585625 | 2560 302063 1018697 | 1 513278 72 | 0.000 % | 4715.63/4715.54 c | 14589558 | 2560 302063 1018697 | 1 517211 72 | 0.000 % | 4715.63/4715.54 c | 14600490 | 2560 302063 1018697 | 1 528143 73 | 0.000 % | 4715.63/4715.54 c | 14640670 | 2560 302063 1018697 | 1 296511 49 | 0.000 % | 4715.63/4715.54 c | 14640770 | 2560 302063 1018697 | 1 296611 49 | 0.000 % | 4715.63/4715.54 c | 14648831 | 2560 302063 1018697 | 1 304672 51 | 0.000 % | 4715.63/4715.54 c | 14650246 | 2560 302063 1018697 | 1 306087 51 | 0.000 % | 4715.63/4715.54 c | 14662387 | 2560 302063 1018697 | 1 318228 52 | 0.000 % | 4715.63/4715.54 c | 14662487 | 2560 302063 1018697 | 1 318328 52 | 0.000 % | 4715.63/4715.54 c | 14662660 | 2560 302063 1018697 | 1 318501 52 | 0.000 % | 4715.63/4715.54 c | 14675806 | 2560 302063 1018697 | 1 331647 55 | 0.000 % | 4715.63/4715.54 c | 14709091 | 2560 302063 1018697 | 1 364932 59 | 0.000 % | 4715.63/4715.54 c | 14715265 | 2560 302063 1018697 | 1 371106 59 | 0.000 % | 4715.63/4715.54 c | 14715423 | 2560 302063 1018697 | 1 371264 59 | 0.000 % | 4715.63/4715.54 c | 14715523 | 2560 302063 1018697 | 1 371364 59 | 0.000 % | 4715.63/4715.54 c | 14715831 | 2560 302063 1018697 | 1 371672 59 | 0.000 % | 4715.63/4715.54 c | 14775163 | 2560 302063 1018697 | 1 431004 65 | 0.000 % | 4715.63/4715.54 c | 14784828 | 2560 302063 1018697 | 1 440669 66 | 0.000 % | 4715.63/4715.54 c | 14787109 | 2560 302063 1018697 | 1 442950 67 | 0.000 % | 4715.63/4715.54 c | 14787376 | 2560 302063 1018697 | 1 443217 67 | 0.000 % | 4715.63/4715.54 c | 14788831 | 2560 302063 1018697 | 1 444672 67 | 0.000 % | 4715.63/4715.54 c | 14802424 | 2560 302063 1018697 | 1 458265 69 | 0.000 % | 4715.63/4715.54 c | 14819928 | 2560 302063 1018697 | 1 475769 70 | 0.000 % | 4715.63/4715.54 c | 14900494 | 2560 302063 1018697 | 1 281941 45 | 0.000 % | 4715.63/4715.54 c | 14963240 | 2560 302063 1018697 | 1 344687 54 | 0.000 % | 4715.63/4715.54 c | 14963754 | 2560 302063 1018697 | 1 345201 54 | 0.000 % | 4715.63/4715.54 c | 14963945 | 2560 302063 1018697 | 1 345392 54 | 0.000 % | 4715.63/4715.54 c | 14965290 | 2560 302063 1018697 | 1 346737 54 | 0.000 % | 4715.63/4715.54 c | 14965396 | 2560 302063 1018697 | 1 346843 54 | 0.000 % | 4715.63/4715.54 c | 14965496 | 2560 302063 1018697 | 1 346943 54 | 0.000 % | 4715.63/4715.54 c | 14965596 | 2560 302063 1018697 | 1 347043 54 | 0.000 % | 4715.63/4715.54 c | 14971340 | 2560 302063 1018697 | 1 352787 55 | 0.000 % | 4715.63/4715.54 c | 14998039 | 2560 302063 1018697 | 1 379486 58 | 0.000 % | 4715.63/4715.54 c | 15058627 | 2560 302063 1018697 | 1 440074 61 | 0.000 % | 4715.63/4715.54 c | 15126186 | 2560 302063 1018697 | 1 507633 65 | 0.000 % | 4715.63/4715.54 c | 15126355 | 2560 302063 1018697 | 1 507802 65 | 0.000 % | 4715.63/4715.54 c | 15137658 | 2560 302063 1018697 | 1 519105 66 | 0.000 % | 4715.63/4715.54 c | 15193623 | 2560 302063 1018697 | 1 298071 45 | 0.000 % | 4715.63/4715.54 c | 15489582 | 2560 302063 1018697 | 1 314440 4
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-3303359-1303899334/watcher-3303359-1303899334 -o /tmp/evaluation-result-3303359-1303899334/solver-3303359-1303899334 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303359-1303899334.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.00 0.00 0.00 2/180 25872 /proc/meminfo: memFree=21676340/32951124 swapFree=67111524/67111528 [pid=25872] ppid=25868 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/25872/stat : 25872 (glucose.sh) S 25868 25872 25835 0 -1 4202496 334 0 0 0 0 0 0 0 18 0 1 0 501531298 8912896 253 33554432000 4194304 4922060 140737225594592 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25872/statm: 2176 253 211 178 0 69 0 [startup+0.047051 s] /proc/loadavg: 0.00 0.00 0.00 2/180 25872 /proc/meminfo: memFree=21676340/32951124 swapFree=67111524/67111528 [pid=25872] ppid=25868 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/25872/stat : 25872 (glucose.sh) S 25868 25872 25835 0 -1 4202496 334 0 0 0 0 0 0 0 18 0 1 0 501531298 8912896 253 33554432000 4194304 4922060 140737225594592 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25872/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.10104 s] /proc/loadavg: 0.00 0.00 0.00 2/180 25872 /proc/meminfo: memFree=21676340/32951124 swapFree=67111524/67111528 [pid=25872] ppid=25868 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/25872/stat : 25872 (glucose.sh) S 25868 25872 25835 0 -1 4202496 334 0 0 0 0 0 0 0 18 0 1 0 501531298 8912896 253 33554432000 4194304 4922060 140737225594592 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25872/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.301004 s] /proc/loadavg: 0.00 0.00 0.00 2/180 25872 /proc/meminfo: memFree=21676340/32951124 swapFree=67111524/67111528 [pid=25872] ppid=25868 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/25872/stat : 25872 (glucose.sh) S 25868 25872 25835 0 -1 4202496 334 0 0 0 0 0 0 0 18 0 1 0 501531298 8912896 253 33554432000 4194304 4922060 140737225594592 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25872/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700937 s] /proc/loadavg: 0.00 0.00 0.00 2/180 25872 /proc/meminfo: memFree=21676340/32951124 swapFree=67111524/67111528 [pid=25872] ppid=25868 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/25872/stat : 25872 (glucose.sh) S 25868 25872 25835 0 -1 4202496 334 0 0 0 0 0 0 0 18 0 1 0 501531298 8912896 253 33554432000 4194304 4922060 140737225594592 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25872/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50079 s] /proc/loadavg: 0.00 0.00 0.00 4/184 25877 /proc/meminfo: memFree=21632304/32951124 swapFree=67111524/67111528 [pid=25872] ppid=25868 vsize=8704 CPUtime=1.16 cores=1,3,5,7 /proc/25872/stat : 25872 (glucose.sh) S 25868 25872 25835 0 -1 4202496 359 6217 0 0 0 0 114 2 18 0 1 0 501531298 8912896 255 33554432000 4194304 4922060 140737225594592 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25872/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 1.16 Current children cumulated vsize (KiB) 8704 [startup+3.10048 s] /proc/loadavg: 0.00 0.00 0.00 3/184 25878 /proc/meminfo: memFree=21620276/32951124 swapFree=67111524/67111528 [pid=25872] ppid=25868 vsize=8704 CPUtime=1.16 cores=1,3,5,7 /proc/25872/stat : 25872 (glucose.sh) S 25868 25872 25835 0 -1 4202496 359 6217 0 0 0 0 114 2 18 0 1 0 501531298 8912896 255 33554432000 4194304 4922060 140737225594592 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25872/statm: 2176 255 211 178 0 69 0 [pid=25878] ppid=25872 vsize=47828 CPUtime=1.91 cores=1,3,5,7 /proc/25878/stat : 25878 (glucose_static) R 25872 25872 25835 0 -1 4202496 17156 0 0 0 190 1 0 0 25 0 1 0 501531415 48975872 7922 33554432000 4194304 4260849 140737368531776 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25878/statm: 11957 7922 250 17 0 8598 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 56532 [startup+6.3009 s] /proc/loadavg: 0.16 0.03 0.01 4/184 25879 /proc/meminfo: memFree=21581836/32951124 swapFree=67111524/67111528 [pid=25872] ppid=25868 vsize=8704 CPUtime=1.16 cores=1,3,5,7 /proc/25872/stat : 25872 (glucose.sh) S 25868 25872 25835 0 -1 4202496 359 6217 0 0 0 0 114 2 18 0 1 0 501531298 8912896 255 33554432000 4194304 4922060 140737225594592 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25872/statm: 2176 255 211 178 0 69 0 [pid=25878] ppid=25872 vsize=47828 CPUtime=5.12 cores=1,3,5,7 /proc/25878/stat : 25878 (glucose_static) R 25872 25872 25835 0 -1 4202496 22639 0 0 0 510 2 0 0 25 0 1 0 501531415 48975872 8721 33554432000 4194304 4260849 140737368531776 18446744073709551615 4229226 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25878/statm: 11957 8721 250 17 0 8598 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 56532 [startup+12.7007 s] /proc/loadavg: 0.31 0.07 0.02 3/184 25879 /proc/meminfo: memFree=21565572/32951124 swapFree=67111524/67111528 [pid=25872] ppid=25868 vsize=8704 CPUtime=1.16 cores=1,3,5,7 /proc/25872/stat : 25872 (glucose.sh) S 25868 25872 25835 0 -1 4202496 359 6217 0 0 0 0 114 2 18 0 1 0 501531298 8912896 255 33554432000 4194304 4922060 140737225594592 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25872/statm: 2176 255 211 178 0 69 0 [pid=25878] ppid=25872 vsize=66504 CPUtime=11.52 cores=1,3,5,7 /proc/25878/stat : 25878 (glucose_static) R 25872 25872 25835 0 -1 4202496 32277 0 0 0 1148 4 0 0 25 0 1 0 501531415 68100096 13358 33554432000 4194304 4260849 140737368531776 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25878/statm: 16626 13358 250 17 0 13267 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 75208 [startup+25.5003 s] /proc/loadavg: 0.68 0.16 0.05 3/184 25879 /proc/meminfo: memFree=21553900/32951124 swapFree=67111524/67111528 [pid=25872] ppid=25868 vsize=8704 CPUtime=1.16 cores=1,3,5,7 /proc/25872/stat : 25872 (glucose.sh) S 25868 25872 25835 0 -1 4202496 359 6217 0 0 0 0 114 2 18 0 1 0 501531298 8912896 255 33554432000 4194304 4922060 140737225594592 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25872/statm: 2176 255 211 178 0 69 0 [pid=25878] ppid=25872 vsize=85360 CPUtime=24.31 cores=1,3,5,7 /proc/25878/stat : 25878 (glucose_static) R 25872 25872 25835 0 -1 4202496 46351 0 0 0 2425 6 0 0 25 0 1 0 501531415 87408640 16537 33554432000 4194304 4260849 140737368531776 18446744073709551615 4209389 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25878/statm: 21340 16537 250 17 0 17981 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 94064 [startup+51.1006 s] /proc/loadavg: 1.28 0.34 0.11 3/184 25880 /proc/meminfo: memFree=21529788/32951124 swapFree=67111524/67111528 [pid=25872] ppid=25868 vsize=8704 CPUtime=1.16 cores=1,3,5,7 /proc/25872/stat : 25872 (glucose.sh) S 25868 25872 25835 0 -1 4202496 359 6217 0 0 0 0 114 2 18 0 1 0 501531298 8912896 255 33554432000 4194304 4922060 140737225594592 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25872/statm: 2176 255 211 178 0 69 0 [pid=25878] ppid=25872 vsize=85360 CPUtime=49.92 cores=1,3,5,7 /proc/25878/stat : 25878 (glucose_static) R 25872 25872 25835 0 -1 4202496 55566 0 0 0 4984 8 0 0 25 0 1 0 501531415 87408640 18072 33554432000 4194304 4260849 140737368531776 18446744073709551615 4224812 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25878/statm: 21340 18072 250 17 0 17981 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 94064 [startup+102.307 s] /proc/loadavg: 1.68 0.59 0.21 4/184 25881 /proc/meminfo: memFree=21520484/32951124 swapFree=67111524/67111528 [pid=25872] ppid=25868 vsize=8704 CPUtime=1.16 cores=1,3,5,7 /proc/25872/stat : 25872 (glucose.sh) S 25868 25872 25835 0 -1 4202496 359 6217 0 0 0 0 114 2 18 0 1 0 501531298 8912896 255 33554432000 4194304 4922060 140737225594592 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25872/statm: 2176 255 211 178 0 69 0 [pid=25878] ppid=25872 vsize=85360 CPUtime=101.13 cores=1,3,5,7 /proc/25878/stat : 25878 (glucose_static) R 25872 25872 25835 0 -1 4202496 91611 0 0 0 10101 12 0 0 25 0 1 0 501531415 87408640 18072 33554432000 4194304 4260849 140737368531776 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25878/statm: 21340 18072 250 17 0 17981 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 94064 [startup+162.301 s] /proc/loadavg: 1.92 0.86 0.32 4/184 25883 /proc/meminfo: memFree=21476184/32951124 swapFree=67111524/67111528 [pid=25872] ppid=25868 vsize=8704 CPUtime=1.16 cores=1,3,5,7 /proc/25872/stat : 25872 (glucose.sh) S 25868 25872 25835 0 -1 4202496 359 6217 0 0 0 0 114 2 18 0 1 0 501531298 8912896 255 33554432000 4194304 4922060 140737225594592 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25872/statm: 2176 255 211 178 0 69 0 [pid=25878] ppid=25872 vsize=97780 CPUtime=161.13 cores=1,3,5,7 /proc/25878/stat : 25878 (glucose_static) R 25872 25872 25835 0 -1 4202496 134850 0 0 0 16094 19 0 0 25 0 1 0 501531415 100126720 19399 33554432000 4194304 4260849 140737368531776 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25878/statm: 24445 19399 250 17 0 21086 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 106484 [startup+222.301 s] /proc/loadavg: 2.08 1.10 0.44 3/184 25884 /proc/meminfo: memFree=21428428/32951124 swapFree=67111524/67111528 [pid=25872] ppid=25868 vsize=8704 CPUtime=1.16 cores=1,3,5,7 /proc/25872/stat : 25872 (glucose.sh) S 25868 25872 25835 0 -1 4202496 359 6217 0 0 0 0 114 2 18 0 1 0 501531298 8912896 255 33554432000 4194304 4922060 140737225594592 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25872/statm: 2176 255 211 178 0 69 0 [pid=25878] ppid=25872 vsize=147100 CPUtime=221.12 cores=1,3,5,7 /proc/25878/stat : 25878 (glucose_static) R 25872 25872 25835 0 -1 4202496 181511 0 0 0 22086 26 0 0 25 0 1 0 501531415 150630400 30178 33554432000 4194304 4260849 140737368531776 18446744073709551615 4225082 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25878/statm: 36775 30178 250 17 0 33416 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 155804 [startup+282.301 s] /proc/loadavg: 2.09 1.27 0.54 3/184 25886 /proc/meminfo: memFree=21421588/32951124 swapFree=67111524/67111528 [pid=25872] ppid=25868 vsize=8704 CPUtime=1.16 cores=1,3,5,7 /proc/25872/stat : 25872 (glucose.sh) S 25868 25872 25835 0 -1 4202496 359 6217 0 0 0 0 114 2 18 0 1 0 501531298 8912896 255 33554432000 4194304 4922060 140737225594592 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25872/statm: 2176 255 211 178 0 69 0 [pid=25878] ppid=25872 vsize=147100 CPUtime=281.13 cores=1,3,5,7 /proc/25878/stat : 25878 (glucose_static) R 25872 25872 25835 0 -1 4202496 221231 0 0 0 28081 32 0 0 25 0 1 0 501531415 150630400 30774 33554432000 4194304 4260849 140737368531776 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25878/statm: 36775 30774 250 17 0 33416 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 155804 [startup+342.301 s] /proc/loadavg: 2.03 1.40 0.63 3/184 25888 /proc/meminfo: memFree=21425540/32951124 swapFree=67111524/67111528 [pid=25872] ppid=25868 vsize=8704 CPUtime=1.16 cores=1,3,5,7 /proc/25872/stat : 25872 (glucose.sh) S 25868 25872 25835 0 -1 4202496 359 6217 0 0 0 0 114 2 18 0 1 0 501531298 8912896 255 33554432000 4194304 4922060 140737225594592 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25872/statm: 2176 255 211 178 0 69 0 [pid=25878] ppid=25872 vsize=147100 CPUtime=341.12 cores=1,3,5,7 /proc/25878/stat : 25878 (glucose_static) R 25872 25872 25835 0 -1 4202496 260456 0 0 0 34076 36 0 0 25 0 1 0 501531415 150630400 29840 33554432000 4194304 4260849 140737368531776 18446744073709551615 4226551 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25878/statm: 36775 29840 250 17 0 33416 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 155804 [startup+402.301 s] /proc/loadavg: 2.01 1.51 0.71 3/184 25889 /proc/meminfo: memFree=21414364/32951124 swapFree=67111524/67111528 [pid=25872] ppid=25868 vsize=8704 CPUtime=1.16 cores=1,3,5,7 /proc/25872/stat : 25872 (glucose.sh) S 25868 25872 25835 0 -1 4202496 359 6217 0 0 0 0 114 2 18 0 1 0 501531298 8912896 255 33554432000 4194304 4922060 140737225594592 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25872/statm: 2176 255 211 178 0 69 0 [pid=25878] ppid=25872 vsize=147100 CPUtime=401.13 cores=1,3,5,7 ################ # More data... # ################ /proc/25878/statm: 74388 59522 251 17 0 71029 0 Current children cumulated CPU time (s) 4362.42 Current children cumulated vsize (KiB) 306256 [startup+4422.3 s] /proc/loadavg: 2.00 2.01 1.96 4/184 26008 /proc/meminfo: memFree=21229060/32951124 swapFree=67111524/67111528 [pid=25872] ppid=25868 vsize=8704 CPUtime=1.16 cores=1,3,5,7 /proc/25872/stat : 25872 (glucose.sh) S 25868 25872 25835 0 -1 4202496 359 6217 0 0 0 0 114 2 18 0 1 0 501531298 8912896 255 33554432000 4194304 4922060 140737225594592 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25872/statm: 2176 255 211 178 0 69 0 [pid=25878] ppid=25872 vsize=248152 CPUtime=4421.26 cores=1,3,5,7 /proc/25878/stat : 25878 (glucose_static) R 25872 25872 25835 0 -1 4202496 2312180 0 0 0 441682 444 0 0 25 0 1 0 501531415 254107648 53990 33554432000 4194304 4260849 140737368531776 18446744073709551615 4209645 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25878/statm: 62038 53990 251 17 0 58679 0 Current children cumulated CPU time (s) 4422.42 Current children cumulated vsize (KiB) 256856 [startup+4482.3 s] /proc/loadavg: 2.00 2.00 1.96 4/184 26010 /proc/meminfo: memFree=21171628/32951124 swapFree=67111524/67111528 [pid=25872] ppid=25868 vsize=8704 CPUtime=1.16 cores=1,3,5,7 /proc/25872/stat : 25872 (glucose.sh) S 25868 25872 25835 0 -1 4202496 359 6217 0 0 0 0 114 2 18 0 1 0 501531298 8912896 255 33554432000 4194304 4922060 140737225594592 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25872/statm: 2176 255 211 178 0 69 0 [pid=25878] ppid=25872 vsize=379796 CPUtime=4481.27 cores=1,3,5,7 /proc/25878/stat : 25878 (glucose_static) R 25872 25872 25835 0 -1 4202496 2333987 0 0 0 447678 449 0 0 25 0 1 0 501531415 388911104 75581 33554432000 4194304 4260849 140737368531776 18446744073709551615 4225121 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25878/statm: 94949 75581 251 17 0 91590 0 Current children cumulated CPU time (s) 4482.43 Current children cumulated vsize (KiB) 388500 [startup+4542.3 s] /proc/loadavg: 2.00 2.00 1.96 3/184 26012 /proc/meminfo: memFree=21149784/32951124 swapFree=67111524/67111528 [pid=25872] ppid=25868 vsize=8704 CPUtime=1.16 cores=1,3,5,7 /proc/25872/stat : 25872 (glucose.sh) S 25868 25872 25835 0 -1 4202496 359 6217 0 0 0 0 114 2 18 0 1 0 501531298 8912896 255 33554432000 4194304 4922060 140737225594592 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25872/statm: 2176 255 211 178 0 69 0 [pid=25878] ppid=25872 vsize=299256 CPUtime=4541.26 cores=1,3,5,7 /proc/25878/stat : 25878 (glucose_static) R 25872 25872 25835 0 -1 4202496 2367251 0 0 0 453671 455 0 0 25 0 1 0 501531415 306438144 66089 33554432000 4194304 4260849 140737368531776 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25878/statm: 74814 66089 251 17 0 71455 0 Current children cumulated CPU time (s) 4542.42 Current children cumulated vsize (KiB) 307960 [startup+4602.3 s] /proc/loadavg: 2.00 2.00 1.96 4/184 26013 /proc/meminfo: memFree=21223556/32951124 swapFree=67111524/67111528 [pid=25872] ppid=25868 vsize=8704 CPUtime=1.16 cores=1,3,5,7 /proc/25872/stat : 25872 (glucose.sh) S 25868 25872 25835 0 -1 4202496 359 6217 0 0 0 0 114 2 18 0 1 0 501531298 8912896 255 33554432000 4194304 4922060 140737225594592 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25872/statm: 2176 255 211 178 0 69 0 [pid=25878] ppid=25872 vsize=250476 CPUtime=4601.27 cores=1,3,5,7 /proc/25878/stat : 25878 (glucose_static) R 25872 25872 25835 0 -1 4202496 2399495 0 0 0 459664 463 0 0 25 0 1 0 501531415 256487424 57795 33554432000 4194304 4260849 140737368531776 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25878/statm: 62619 57795 251 17 0 59260 0 Current children cumulated CPU time (s) 4602.43 Current children cumulated vsize (KiB) 259180 [startup+4662.3 s] /proc/loadavg: 2.00 2.00 1.96 3/184 26015 /proc/meminfo: memFree=21128428/32951124 swapFree=67111524/67111528 [pid=25872] ppid=25868 vsize=8704 CPUtime=1.16 cores=1,3,5,7 /proc/25872/stat : 25872 (glucose.sh) S 25868 25872 25835 0 -1 4202496 359 6217 0 0 0 0 114 2 18 0 1 0 501531298 8912896 255 33554432000 4194304 4922060 140737225594592 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25872/statm: 2176 255 211 178 0 69 0 [pid=25878] ppid=25872 vsize=303004 CPUtime=4661.27 cores=1,3,5,7 /proc/25878/stat : 25878 (glucose_static) R 25872 25872 25835 0 -1 4202496 2410756 0 0 0 465659 468 0 0 25 0 1 0 501531415 310276096 68933 33554432000 4194304 4260849 140737368531776 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25878/statm: 75751 68933 251 17 0 72392 0 Current children cumulated CPU time (s) 4662.43 Current children cumulated vsize (KiB) 311708 [startup+4722.31 s] /proc/loadavg: 2.00 2.00 1.96 4/184 26016 /proc/meminfo: memFree=21210868/32951124 swapFree=67111524/67111528 [pid=25872] ppid=25868 vsize=8704 CPUtime=1.16 cores=1,3,5,7 /proc/25872/stat : 25872 (glucose.sh) S 25868 25872 25835 0 -1 4202496 359 6217 0 0 0 0 114 2 18 0 1 0 501531298 8912896 255 33554432000 4194304 4922060 140737225594592 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25872/statm: 2176 255 211 178 0 69 0 [pid=25878] ppid=25872 vsize=255580 CPUtime=4721.27 cores=1,3,5,7 /proc/25878/stat : 25878 (glucose_static) R 25872 25872 25835 0 -1 4202496 2437541 0 0 0 471653 474 0 0 25 0 1 0 501531415 261713920 58160 33554432000 4194304 4260849 140737368531776 18446744073709551615 4226551 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25878/statm: 63895 58160 251 17 0 60536 0 Current children cumulated CPU time (s) 4722.43 Current children cumulated vsize (KiB) 264284 [startup+4782.3 s] /proc/loadavg: 2.16 2.04 1.97 4/184 26018 /proc/meminfo: memFree=21109296/32951124 swapFree=67111524/67111528 [pid=25872] ppid=25868 vsize=8704 CPUtime=1.16 cores=1,3,5,7 /proc/25872/stat : 25872 (glucose.sh) S 25868 25872 25835 0 -1 4202496 359 6217 0 0 0 0 114 2 18 0 1 0 501531298 8912896 255 33554432000 4194304 4922060 140737225594592 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25872/statm: 2176 255 211 178 0 69 0 [pid=25878] ppid=25872 vsize=388232 CPUtime=4781.27 cores=1,3,5,7 /proc/25878/stat : 25878 (glucose_static) R 25872 25872 25835 0 -1 4202496 2452943 0 0 0 477648 479 0 0 25 0 1 0 501531415 397549568 73396 33554432000 4194304 4260849 140737368531776 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25878/statm: 97058 73396 251 17 0 93699 0 Current children cumulated CPU time (s) 4782.43 Current children cumulated vsize (KiB) 396936 [startup+4842.3 s] /proc/loadavg: 2.10 2.05 1.98 4/184 26020 /proc/meminfo: memFree=21182572/32951124 swapFree=67111524/67111528 [pid=25872] ppid=25868 vsize=8704 CPUtime=1.16 cores=1,3,5,7 /proc/25872/stat : 25872 (glucose.sh) S 25868 25872 25835 0 -1 4202496 359 6217 0 0 0 0 114 2 18 0 1 0 501531298 8912896 255 33554432000 4194304 4922060 140737225594592 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25872/statm: 2176 255 211 178 0 69 0 [pid=25878] ppid=25872 vsize=308292 CPUtime=4841.27 cores=1,3,5,7 /proc/25878/stat : 25878 (glucose_static) R 25872 25872 25835 0 -1 4202496 2483050 0 0 0 483642 485 0 0 25 0 1 0 501531415 315691008 63560 33554432000 4194304 4260849 140737368531776 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25878/statm: 77073 63560 251 17 0 73714 0 Current children cumulated CPU time (s) 4842.43 Current children cumulated vsize (KiB) 316996 [startup+4902.3 s] /proc/loadavg: 2.09 2.05 1.98 4/184 26021 /proc/meminfo: memFree=21168052/32951124 swapFree=67111524/67111528 [pid=25872] ppid=25868 vsize=8704 CPUtime=1.16 cores=1,3,5,7 /proc/25872/stat : 25872 (glucose.sh) S 25868 25872 25835 0 -1 4202496 359 6217 0 0 0 0 114 2 18 0 1 0 501531298 8912896 255 33554432000 4194304 4922060 140737225594592 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25872/statm: 2176 255 211 178 0 69 0 [pid=25878] ppid=25872 vsize=391436 CPUtime=4901.27 cores=1,3,5,7 /proc/25878/stat : 25878 (glucose_static) R 25872 25872 25835 0 -1 4202496 2497019 0 0 0 489638 489 0 0 25 0 1 0 501531415 400830464 77394 33554432000 4194304 4260849 140737368531776 18446744073709551615 4229342 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25878/statm: 97859 77394 251 17 0 94500 0 Current children cumulated CPU time (s) 4902.43 Current children cumulated vsize (KiB) 400140 [startup+4962.3 s] /proc/loadavg: 2.03 2.04 1.98 4/184 26023 /proc/meminfo: memFree=21156264/32951124 swapFree=67111524/67111528 [pid=25872] ppid=25868 vsize=8704 CPUtime=1.16 cores=1,3,5,7 /proc/25872/stat : 25872 (glucose.sh) S 25868 25872 25835 0 -1 4202496 359 6217 0 0 0 0 114 2 18 0 1 0 501531298 8912896 255 33554432000 4194304 4922060 140737225594592 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25872/statm: 2176 255 211 178 0 69 0 [pid=25878] ppid=25872 vsize=311016 CPUtime=4961.28 cores=1,3,5,7 /proc/25878/stat : 25878 (glucose_static) R 25872 25872 25835 0 -1 4202496 2527570 0 0 0 495631 497 0 0 25 0 1 0 501531415 318480384 66057 33554432000 4194304 4260849 140737368531776 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25878/statm: 77754 66057 251 17 0 74395 0 Current children cumulated CPU time (s) 4962.44 Current children cumulated vsize (KiB) 319720 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+4999.9 s] /proc/loadavg: 2.02 2.03 1.98 4/184 26024 /proc/meminfo: memFree=21189112/32951124 swapFree=67111524/67111528 [pid=25872] ppid=25868 vsize=8704 CPUtime=1.16 cores=1,3,5,7 /proc/25872/stat : 25872 (glucose.sh) S 25868 25872 25835 0 -1 4202496 359 6217 0 0 0 0 114 2 18 0 1 0 501531298 8912896 255 33554432000 4194304 4922060 140737225594592 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25872/statm: 2176 255 211 178 0 69 0 [pid=25878] ppid=25872 vsize=393400 CPUtime=4998.89 cores=1,3,5,7 /proc/25878/stat : 25878 (glucose_static) R 25872 25872 25835 0 -1 4202496 2536713 0 0 0 499389 500 0 0 25 0 1 0 501531415 402841600 75114 33554432000 4194304 4260849 140737368531776 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25878/statm: 98350 75114 251 17 0 94991 0 Current children cumulated CPU time (s) 5000.05 Current children cumulated vsize (KiB) 402104 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+4999.9 s] /proc/loadavg: 2.02 2.03 1.98 4/184 26024 /proc/meminfo: memFree=21189112/32951124 swapFree=67111524/67111528 [pid=25872] ppid=25868 vsize=8704 CPUtime=1.16 cores=1,3,5,7 /proc/25872/stat : 25872 (glucose.sh) S 25868 25872 25835 0 -1 4202496 359 6217 0 0 0 0 114 2 18 0 1 0 501531298 8912896 255 33554432000 4194304 4922060 140737225594592 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/25872/statm: 2176 255 211 178 0 69 0 [pid=25878] ppid=25872 vsize=393400 CPUtime=4998.89 cores=1,3,5,7 /proc/25878/stat : 25878 (glucose_static) R 25872 25872 25835 0 -1 4202496 2536713 0 0 0 499389 500 0 0 25 0 1 0 501531415 402841600 75114 33554432000 4194304 4260849 140737368531776 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25878/statm: 98350 75114 251 17 0 94991 0 Current children cumulated CPU time (s) 5000.05 Current children cumulated vsize (KiB) 402104 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 25872 and gives # childrusage.ru_utime.tv_sec=1 # childrusage.ru_utime.tv_usec=145825 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=29995 # CPU time returned by wait4() is 1.17582 # while last known CPU time is 5000.05 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 4999.91 CPU time (s): 5000.05 CPU user time (s): 4995.03 CPU system time (s): 5.02 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 481248 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.14582 system time used= 0.029995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6576 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= 10 involuntary context switches= 6 runsolver used 7.8978 second user time and 19.3461 second system time The end
Begin job on node135 at 2011-04-27 12:15:34 IDJOB=3303359 IDBENCH=71425 IDSOLVER=1687 FILE ID=node135/3303359-1303899334 RUNJOBID= node135-1303899334-25854 PBS_JOBID= 13164513 Free space on /tmp= 71124 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v2640c305320gyes10.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303359-1303899334/watcher-3303359-1303899334 -o /tmp/evaluation-result-3303359-1303899334/solver-3303359-1303899334 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303359-1303899334.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e4e4b653016e98f210aa8da2214e783a RANDOM SEED=441143718 node135.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.851 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 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.83 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.851 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 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 : 6640.14 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.851 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.78 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.851 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.851 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 21676892 kB Buffers: 1867172 kB Cached: 8758096 kB SwapCached: 4 kB Active: 2290912 kB Inactive: 8400488 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21676892 kB SwapTotal: 67111528 kB SwapFree: 67111524 kB Dirty: 8956 kB Writeback: 0 kB AnonPages: 65132 kB Mapped: 14396 kB Slab: 519780 kB PageTables: 4696 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 190904 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 71112 MiB End job on node135 at 2011-04-27 13:38:56