| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| sathys 2011-04-01 | ? (TO) | 5000.09 | 5000.03 |
| Name | crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf |
| MD5SUM | 76c30bc0971bc865c2b988ddaca89385 |
| 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.464928 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3651 |
| Number of clauses | 926696 |
| Sum of the clauses size | 1856923 |
| Maximum clause length | 62 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 926636 |
| 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 | 60 |
0.00/0.00 static 0.00/0.00 HOME/instance-3439760-1306939548.cnf 0.00/0.00 c Parsing... 0.00/0.23 c ============================================================================== 0.00/0.23 c | | ORIGINAL | LEARNT | | 0.00/0.23 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.23 c ============================================================================== 0.00/0.23 c | 0 | 926696 1856923 | 278008 0 0 nan | 0.000 % | 3.20/3.24 c | 0 | 923045 2643134 | -- 0 -- -- | -- | -3651/786211 3.20/3.24 c ============================================================================== 3.20/3.24 c Result : #vars: 3591 #clauses: 923045 #literals: 2643134 3.20/3.24 c CPU time: 3.21651 s 3.20/3.24 c ============================================================================== 3.65/4.25 c 3.65/4.25 c seed = 0, numatom = 3591, numclause = 11984, numliterals = 2643134 3.65/4.25 c --------------------------------------------------------------------------------------------------------------------------------------------- 3.65/4.25 c | resCDCL | tps | #impl | #learnt | #conf | #clean | #propa | #deci || tryLS | numflip | maxSat/maxNoBi | nbAlea | Equi | 3.65/4.25 c --------------------------------------------------------------------------------------------------------------------------------------------- 4.58/4.62 c | 2 | 0.4 | 0 | 502 | 199 | 1 | 71646 | 3565 || 2 | 8310 | 45/ 0 | 280 | 0 | 4.98/5.09 c | 4 | 0.5 | 0 | 788 | 297 | 2 | 206782 | 8213 || 4 | 15312 | 45/ 0 | 659 | 0 | 5.39/5.45 c | 6 | 0.4 | 0 | 933 | 189 | 3 | 335462 | 13303 || 6 | 23663 | 45/ 0 | 1033 | 0 | 5.98/6.01 c | 7 | 0.6 | 0 | 1243 | 388 | 4 | 444554 | 17221 || 7 | 30899 | 42/ 0 | 1508 | 0 | 6.49/6.59 c | 11 | 0.6 | 0 | 1697 | 284 | 5 | 583773 | 24539 || 11 | 42890 | 42/ 0 | 2129 | 0 | 7.28/7.34 c | 14 | 0.8 | 0 | 1887 | 480 | 6 | 733261 | 31723 || 14 | 55407 | 42/ 0 | 2948 | 0 | 8.28/8.31 c | 15 | 1.0 | 0 | 2108 | 981 | 7 | 892022 | 37591 || 15 | 66836 | 40/ 0 | 3841 | 0 | 9.38/9.44 c | 16 | 1.1 | 0 | 2171 | 77 | 8 | 1112222 | 43705 || 16 | 72767 | 40/ 0 | 3988 | 0 | 10.28/10.36 c | 21 | 0.9 | 0 | 2130 | 69 | 9 | 1342101 | 55763 || 21 | 91819 | 40/ 0 | 4880 | 0 | 11.38/11.43 c | 25 | 1.1 | 0 | 2131 | 166 | 10 | 1574456 | 64045 || 25 | 107264 | 40/ 0 | 5822 | 0 | 12.58/12.65 c | 29 | 1.2 | 0 | 2155 | 563 | 11 | 1899601 | 74667 || 29 | 127260 | 40/ 0 | 6792 | 0 | 13.78/13.87 c | 30 | 1.2 | 0 | 2383 | 364 | 12 | 2174852 | 82774 || 30 | 142372 | 40/ 0 | 7730 | 0 | 15.29/15.31 c | 31 | 1.5 | 0 | 2714 | 2065 | 13 | 2430967 | 91487 || 31 | 163607 | 40/ 0 | 9548 | 0 | 16.58/16.62 c | 31 | 1.3 | 0 | 3186 | 1467 | 14 | 2964835 | 97675 || 31 | 167753 | 40/ 0 | 9589 | 0 | 18.08/18.15 c | 38 | 1.5 | 0 | 3232 | 359 | 15 | 3337438 | 115319 || 38 | 193542 | 40/ 0 | 11030 | 0 | 19.58/19.67 c | 44 | 1.5 | 0 | 3441 | 255 | 16 | 3672257 | 129375 || 44 | 216793 | 40/ 0 | 12051 | 0 | 21.38/21.46 c | 46 | 1.8 | 0 | 3397 | 253 | 17 | 4060575 | 142390 || 46 | 240724 | 40/ 0 | 13500 | 0 | 23.28/23.35 c | 53 | 1.9 | 0 | 3508 | 247 | 18 | 4459524 | 156866 || 53 | 264116 | 40/ 0 | 14931 | 0 | 24.98/25.08 c | 59 | 1.7 | 0 | 3388 | 145 | 19 | 4877637 | 173773 || 59 | 293089 | 40/ 0 | 15991 | 0 | 27.18/27.21 c | 61 | 2.1 | 0 | 3427 | 748 | 20 | 5301961 | 185287 || 61 | 314290 | 35/ 0 | 17397 | 0 | 29.78/29.80 c | 62 | 2.6 | 0 | 3567 | 845 | 21 | 5691274 | 195353 || 62 | 336066 | 35/ 0 | 19217 | 0 | 32.68/32.79 c | 63 | 3.0 | 0 | 3643 | 3448 | 22 | 6034339 | 205172 || 63 | 362727 | 35/ 0 | 22654 | 0 | 35.78/35.88 c | 63 | 3.1 | 0 | 4225 | 1345 | 23 | 6399098 | 213366 || 63 | 376498 | 35/ 0 | 22780 | 0 | 38.68/38.71 c | 67 | 2.8 | 0 | 4145 | 41 | 24 | 6878042 | 224389 || 67 | 392055 | 35/ 0 | 23446 | 0 | 40.48/40.60 c | 76 | 1.9 | 0 | 3830 | 23 | 25 | 7384213 | 245791 || 76 | 429818 | 35/ 0 | 25284 | 0 | 42.68/42.81 c | 81 | 2.2 | 0 | 4476 | 118 | 26 | 7862079 | 261903 || 81 | 459175 | 35/ 0 | 27184 | 0 | 44.99/45.08 c | 90 | 2.3 | 0 | 4559 | 7 | 27 | 8401042 | 283656 || 90 | 494629 | 35/ 0 | 28903 | 0 | 47.68/47.70 c | 94 | 2.6 | 0 | 4950 | 1107 | 28 | 8893757 | 302128 || 94 | 526923 | 35/ 0 | 32207 | 0 | 50.18/50.29 c | 97 | 2.6 | 0 | 5137 | 101 | 29 | 9555710 | 316644 || 97 | 549422 | 35/ 0 | 32635 | 0 | 52.69/52.71 c | 107 | 2.4 | 0 | 5265 | 288 | 30 | 10098182 | 340442 || 107 | 590475 | 35/ 0 | 34851 | 0 | 55.48/55.52 c | 113 | 2.8 | 0 | 5496 | 281 | 31 | 10778815 | 361571 || 113 | 627231 | 35/ 0 | 36882 | 0 | 58.08/58.16 c | 123 | 2.6 | 0 | 5481 | 53 | 32 | 11375931 | 387105 || 123 | 671401 | 35/ 0 | 39214 | 0 | 61.08/61.13 c | 125 | 3.0 | 0 | 5907 | 151 | 33 | 11903540 | 405264 || 125 | 712048 | 35/ 0 | 42011 | 0 | 66.58/66.64 c | 126 | 5.5 | 0 | 6500 | 3953 | 34 | 12327339 | 417885 || 126 | 743399 | 35/ 0 | 45489 | 0 | 73.38/73.43 c | 126 | 6.8 | 0 | 7103 | 3053 | 35 | 13151244 | 426689 || 126 | 751338 | 35/ 0 | 45548 | 0 | 79.98/80.02 c | 127 | 6.6 | 0 | 6781 | 7057 | 36 | 13531625 | 443025 || 127 | 804179 | 35/ 0 | 52466 | 0 | 85.69/85.72 c | 127 | 5.7 | 0 | 8016 | 1559 | 37 | 14236774 | 461872 || 127 | 828535 | 35/ 0 | 52688 | 0 | 89.38/89.40 c | 127 | 3.7 | 0 | 6841 | 5761 | 38 | 15662606 | 471128 || 127 | 828535 | 35/ 0 | 52688 | 0 | 92.18/92.20 c | 140 | 2.8 | 0 | 6314 | 132 | 39 | 16454424 | 502088 || 140 | 878261 | 35/ 0 | 55171 | 0 | 96.48/96.50 c | 149 | 4.3 | 0 | 6300 | 215 | 40 | 17169420 | 527578 || 149 | 920412 | 35/ 0 | 57982 | 0 | 100.28/100.39 c | 157 | 3.9 | 0 | 6718 | 506 | 41 | 17931498 | 556297 || 157 | 969284 | 35/ 0 | 60462 | 0 | 104.58/104.69 c | 163 | 4.3 | 0 | 7493 | 0 | 42 | 18606760 | 578886 || 163 | 1010300 | 35/ 0 | 63057 | 0 | 108.48/108.57 c | 173 | 3.9 | 0 | 7762 | 184 | 43 | 19360626 | 607348 || 173 | 1061959 | 35/ 0 | 66141 | 0 | 112.68/112.73 c | 187 | 4.2 | 0 | 8538 | 372 | 44 | 20110182 | 639107 || 187 | 1115093 | 35/ 0 | 69053 | 0 | 116.98/117.01 c | 189 | 4.3 | 0 | 8751 | 1070 | 45 | 20949714 | 659705 || 189 | 1154786 | 35/ 0 | 71825 | 0 | 123.38/123.49 c | 190 | 6.5 | 0 | 7912 | 1270 | 46 | 21825262 | 680017 || 190 | 1202053 | 35/ 0 | 75475 | 0 | 127.78/127.83 c | 200 | 4.3 | 0 | 8579 | 161 | 47 | 22987606 | 707353 || 200 | 1241959 | 35/ 0 | 77473 | 0 | 132.08/132.12 c | 212 | 4.3 | 0 | 7852 | 550 | 48 | 23792558 | 739601 || 212 | 1298203 | 35/ 0 | 80763 | 0 | 136.88/136.94 c | 221 | 4.8 | 0 | 8242 | 1638 | 49 | 24758410 | 770473 || 221 | 1350161 | 35/ 0 | 84849 | 0 | 141.08/141.12 c | 231 | 4.2 | 0 | 8396 | 11 | 50 | 25586859 | 801257 || 231 | 1398409 | 35/ 0 | 86887 | 0 | 145.48/145.52 c | 243 | 4.4 | 0 | 8127 | 92 | 51 | 26456075 | 836333 || 243 | 1459017 | 35/ 0 | 90320 | 0 | 150.88/150.96 c | 252 | 5.4 | 0 | 8791 | 2086 | 52 | 27351935 | 869175 || 252 | 1517286 | 35/ 0 | 94417 | 0 | 157.68/157.79 c | 253 | 6.8 | 0 | 9197 | 584 | 53 | 28523411 | 891818 || 253 | 1564842 | 35/ 0 | 98084 | 0 | 165.28/165.39 c | 254 | 7.6 | 0 | 8620 | 6385 | 54 | 29450701 | 911523 || 254 | 1614679 | 35/ 0 | 104956 | 0 | 172.88/172.95 c | 254 | 7.6 | 0 | 8918 | 2682 | 55 | 30711317 | 931549 || 254 | 1648930 | 35/ 0 | 105274 | 0 | 179.08/179.11 c | 255 | 6.2 | 0 | 9016 | 8683 | 56 | 32083009 | 951020 || 255 | 1706442 | 35/ 0 | 118608 | 0 | 187.48/187.51 c | 255 | 8.4 | 0 | 9171 | 6102 | 57 | 32842949 | 981862 || 255 | 1780636 | 35/ 0 | 119303 | 0 | 197.18/197.29 c | 255 | 9.8 | 0 | 10362 | 1787 | 58 | 33745877 | 1007035 || 255 | 1830494 | 35/ 0 | 119739 | 0 | 205.28/205.36 c | 255 | 8.1 | 0 | 8015 | 8094 | 59 | 35312248 | 1018920 || 255 | 1830494 | 35/ 0 | 119739 | 0 | 211.98/212.06 c | 262 | 6.7 | 0 | 8931 | 283 | 60 | 36591992 | 1040234 || 262 | 1854701 | 35/ 0 | 121151 | 0 | 217.28/217.34 c | 277 | 5.3 | 0 | 8004 | 352 | 61 | 37653098 | 1081926 || 277 | 1923648 | 35/ 0 | 124950 | 0 | 224.18/224.30 c | 286 | 7.0 | 0 | 8898 | 342 | 62 | 38654278 | 1116345 || 286 | 1989963 | 35/ 0 | 129203 | 0 | 230.28/230.38 c | 301 | 6.1 | 0 | 9000 | 1015 | 63 | 39844477 | 1156403 || 301 | 2055065 | 35/ 0 | 133054 | 0 | 235.68/235.76 c | 316 | 5.4 | 0 | 9322 | 181 | 64 | 40886774 | 1200263 || 316 | 2126630 | 35/ 0 | 136929 | 0 | 243.28/243.37 c | 318 | 7.6 | 0 | 9780 | 4681 | 65 | 41952988 | 1226042 || 318 | 2187408 | 35/ 0 | 142300 | 0 | 249.48/249.58 c | 331 | 6.2 | 0 | 10443 | 166 | 66 | 43254643 | 1260539 || 331 | 2238054 | 35/ 0 | 144796 | 0 | 255.48/255.50 c | 347 | 5.9 | 0 | 10628 | 541 | 67 | 44289391 | 1302233 || 347 | 2310489 | 35/ 0 | 149038 | 0 | 262.18/262.24 c | 356 | 6.7 | 0 | 11035 | 525 | 68 | 45459078 | 1340536 || 356 | 2374919 | 35/ 0 | 153235 | 0 | 268.29/268.38 c | 374 | 6.1 | 0 | 11706 | 106 | 69 | 46658985 | 1386512 || 374 | 2454024 | 35/ 0 | 157598 | 0 | 275.88/275.98 c | 381 | 7.6 | 0 | 12381 | 2196 | 70 | 47898047 | 1424270 || 381 | 2524731 | 35/ 0 | 164670 | 0 | 285.78/285.80 c | 382 | 9.8 | 0 | 12506 | 4897 | 71 | 49121975 | 1449822 || 382 | 2580083 | 35/ 0 | 171548 | 0 | 295.48/295.57 c | 382 | 9.8 | 0 | 12538 | 2897 | 72 | 50345581 | 1473981 || 382 | 2626591 | 35/ 0 | 171938 | 0 | 303.28/303.31 c | 396 | 7.7 | 0 | 12455 | 365 | 73 | 52023892 | 1510271 || 396 | 2679267 | 35/ 0 | 174875 | 0 | 310.09/310.15 c | 412 | 6.9 | 0 | 12145 | 1132 | 74 | 53222922 | 1557621 || 412 | 2761876 | 35/ 0 | 179663 | 0 | 317.18/317.20 c | 426 | 7.0 | 0 | 12674 | 2 | 75 | 54485334 | 1601289 || 426 | 2836551 | 35/ 0 | 183969 | 0 | 323.98/324.03 c | 443 | 6.8 | 0 | 12707 | 970 | 76 | 55968879 | 1653423 || 443 | 2927864 | 35/ 0 | 189261 | 0 | 332.20/332.29 c | 445 | 8.3 | 0 | 12871 | 661 | 77 | 56989388 | 1685079 || 445 | 2996907 | 35/ 0 | 194706 | 0 | 341.88/341.98 c | 460 | 9.7 | 0 | 13487 | 41 | 78 | 58570031 | 1729221 || 460 | 3066481 | 35/ 0 | 198612 | 0 | 348.78/348.85 c | 476 | 6.9 | 0 | 14128 | 1914 | 79 | 59930414 | 1777471 || 476 | 3154858 | 35/ 0 | 204232 | 0 | 355.78/355.83 c | 491 | 7.0 | 0 | 15453 | 687 | 80 | 61388241 | 1822774 || 491 | 3231235 | 35/ 0 | 208133 | 0 | 364.00/364.04 c | 507 | 8.2 | 0 | 15858 | 361 | 81 | 62783778 | 1869804 || 507 | 3316937 | 35/ 0 | 213731 | 0 | 374.48/374.53 c | 509 | 10.5 | 0 | 15460 | 4158 | 82 | 64607374 | 1897472 || 509 | 3382672 | 35/ 0 | 223941 | 0 | 385.58/385.62 c | 509 | 11.1 | 0 | 14385 | 3256 | 83 | 66067749 | 1922973 || 509 | 3433153 | 35/ 0 | 224348 | 0 | 393.98/394.02 c | 510 | 8.4 | 0 | 14316 | 12058 | 84 | 67566512 | 1955449 || 510 | 3525574 | 35/ 0 | 238053 | 0 | 404.98/405.00 c | 510 | 11.0 | 0 | 15582 | 1757 | 85 | 68727727 | 1989532 || 510 | 3600430 | 35/ 0 | 238707 | 0 | 411.18/411.30 c | 510 | 6.3 | 0 | 12812 | 10759 | 86 | 70428581 | 2003699 || 510 | 3600430 | 35/ 0 | 238707 | 0 | 423.88/423.97 c | 511 | 12.7 | 0 | 12650 | 19862 | 87 | 71274988 | 2030044 || 511 | 3712567 | 35/ 0 | 265318 | 0 | 442.99/443.07 c | 511 | 19.1 | 0 | 13468 | 9201 | 88 | 71890910 | 2056703 || 511 | 3782588 | 35/ 0 | 265900 | 0 | 464.39/464.43 c | 511 | 21.4 | 0 | 15621 | 9302 | 89 | 72458003 | 2083786 || 511 | 3852735 | 35/ 0 | 266501 | 0 | 476.79/476.86 c | 511 | 12.4 | 0 | 10834 | 9365 | 90 | 74973897 | 2104325 || 511 | 3852916 | 35/ 0 | 266502 | 0 | 486.49/486.50 c | 511 | 9.7 | 0 | 11240 | 18866 | 91 | 77264502 | 2121715 || 511 | 3852916 | 35/ 0 | 266502 | 0 | 497.10/497.20 c | 521 | 10.7 | 0 | 12048 | 149 | 92 | 79278869 | 2153819 || 521 | 3889762 | 35/ 0 | 268462 | 0 | 505.09/505.14 c | 541 | 7.9 | 0 | 11940 | 518 | 93 | 80966560 | 2212891 || 541 | 3995776 | 35/ 0 | 274216 | 0 | 513.89/513.92 c | 557 | 8.8 | 0 | 14055 | 691 | 94 | 82441170 | 2265531 || 557 | 4092180 | 35/ 0 | 279894 | 0 | 524.09/524.12 c | 574 | 10.2 | 0 | 15323 | 1756 | 95 | 84352954 | 2323666 || 574 | 4198165 | 35/ 0 | 288903 | 0 | 533.29/533.35 c | 587 | 9.2 | 0 | 16074 | 225 | 96 | 86312443 | 2371622 || 587 | 4279445 | 35/ 0 | 291656 | 0 | 543.79/543.81 c | 605 | 10.4 | 0 | 16725 | 1791 | 97 | 87913860 | 2431650 || 605 | 4385125 | 35/ 0 | 298679 | 0 | 553.99/554.05 c | 626 | 10.2 | 0 | 17495 | 133 | 98 | 89646358 | 2492667 || 626 | 4482807 | 35/ 0 | 303588 | 0 | 564.79/564.82 c | 637 | 10.8 | 0 | 17523 | 3815 | 99 | 91223523 | 2538306 || 637 | 4576631 | 34/ 0 | 311630 | 0 | 578.69/578.74 c | 638 | 13.9 | 0 | 16164 | 9419 | 100 | 92837954 | 2584343 || 638 | 4679115 | 34/ 0 | 318984 | 0 | 587.99/588.05 c | 651 | 9.3 | 0 | 15533 | 92 | 101 | 95139561 | 2626703 || 651 | 4733369 | 34/ 0 | 321507 | 0 | 598.31/598.40 c | 669 | 10.4 | 0 | 15065 | 59 | 102 | 96837034 | 2684442 || 669 | 4838635 | 34/ 0 | 328512 | 0 | 608.50/608.53 c | 693 | 10.1 | 0 | 16003 | 18 | 103 | 98594635 | 2745678 || 693 | 4937475 | 34/ 0 | 334092 | 0 | 620.10/620.19 c | 701 | 11.7 | 0 | 16097 | 708 | 104 | 100237588 | 2793207 || 701 | 5032910 | 34/ 0 | 341560 | 0 | 632.41/632.49 c | 723 | 12.3 | 0 | 16613 | 566 | 105 | 102127027 | 2851422 || 723 | 5127757 | 34/ 0 | 346871 | 0 | 643.51/643.51 c | 743 | 11.0 | 0 | 17285 | 34 | 106 | 103893151 | 2911282 || 743 | 5231241 | 34/ 0 | 353145 | 0 | 654.80/654.81 c | 763 | 11.3 | 0 | 18210 | 2 | 107 | 105640056 | 2976613 || 763 | 5350314 | 34/ 0 | 360642 | 0 | 668.40/668.44 c | 765 | 13.6 | 0 | 17581 | 6402 | 108 | 107523485 | 3021103 || 765 | 5449160 | 34/ 0 | 371194 | 0 | 683.40/683.42 c | 766 | 15.0 | 0 | 17215 | 8103 | 109 | 109788987 | 3055925 || 766 | 5531631 | 34/ 0 | 384740 | 0 | 698.60/698.67 c | 766 | 15.2 | 0 | 16549 | 301 | 110 | 111076487 | 3099619 || 766 | 5640230 | 34/ 0 | 385721 | 0 | 708.90/708.91 c | 766 | 10.2 | 0 | 15480 | 11802 | 111 | 113558197 | 3120447 || 766 | 5640230 | 34/ 0 | 385721 | 0 | 718.00/718.04 c | 795 | 9.1 | 0 | 15649 | 355 | 112 | 115608844 | 3198700 || 795 | 5768354 | 34/ 0 | 392462 | 0 | 729.80/729.85 c | 812 | 11.8 | 0 | 16148 | 631 | 113 | 117645895 | 3263675 || 812 | 5882515 | 34/ 0 | 399104 | 0 | 743.61/743.63 c | 829 | 13.8 | 0 | 16933 | 3594 | 114 | 119741548 | 3326570 || 829 | 6002892 | 34/ 0 | 408177 | 0 | 755.40/755.47 c | 849 | 11.8 | 0 | 18226 | 158 | 115 | 122257267 | 3391657 || 849 | 6100214 | 34/ 0 | 412910 | 0 | 767.00/767.08 c | 872 | 11.6 | 0 | 18908 | 127 | 116 | 124332695 | 3461946 || 872 | 6220973 | 34/ 0 | 420048 | 0 | 778.60/778.68 c | 891 | 11.6 | 0 | 20013 | 1097 | 117 | 126509148 | 3529641 || 891 | 6338918 | 34/ 0 | 427386 | 0 | 793.30/793.35 c | 893 | 14.7 | 0 | 20776 | 8496 | 118 | 128497388 | 3575192 || 893 | 6451435 | 34/ 0 | 438055 | 0 | 804.90/804.92 c | 907 | 11.6 | 0 | 21177 | 356 | 119 | 130753788 | 3624291 || 907 | 6517809 | 34/ 0 | 441054 | 0 | 817.10/817.13 c | 929 | 12.2 | 0 | 20371 | 10 | 120 | 132963096 | 3697522 || 929 | 6636818 | 34/ 0 | 448341 | 0 | 830.00/830.07 c | 955 | 12.9 | 0 | 21250 | 1555 | 121 | 134969385 | 3771814 || 955 | 6769804 | 34/ 0 | 456949 | 0 | 846.80/846.90 c | 969 | 16.8 | 0 | 21536 | 223 | 122 | 136891962 | 3829584 || 969 | 6871387 | 34/ 0 | 463080 | 0 | 860.80/860.87 c | 989 | 14.0 | 0 | 20863 | 93 | 123 | 139183437 | 3893414 || 989 | 6985266 | 34/ 0 | 470318 | 0 | 874.30/874.31 c | 1018 | 13.4 | 0 | 21010 | 1154 | 124 | 141376968 | 3974675 || 1018 | 7129991 | 34/ 0 | 479480 | 0 | 889.40/889.47 c | 1020 | 15.2 | 0 | 21780 | 6853 | 125 | 143272448 | 4019173 || 1020 | 7237601 | 34/ 0 | 490057 | 0 | 905.10/905.18 c | 1021 | 15.7 | 0 | 22638 | 10250 | 126 | 146146501 | 4064328 || 1021 | 7345808 | 34/ 0 | 503840 | 0 | 924.70/924.75 c | 1021 | 19.6 | 0 | 23728 | 4150 | 127 | 148548744 | 4117539 || 1021 | 7454735 | 34/ 0 | 504828 | 0 | 933.92/933.99 c | 1022 | 9.2 | 0 | 20494 | 17352 | 128 | 151179510 | 4149796 || 1022 | 7555635 | 34/ 0 | 531376 | 0 | 951.00/951.00 c | 1022 | 17.0 | 0 | 22242 | 13303 | 129 | 152434525 | 4203057 || 1022 | 7690232 | 34/ 0 | 532584 | 0 | 973.80/973.87 c | 1022 | 22.9 | 0 | 24459 | 5654 | 130 | 154588205 | 4247190 || 1022 | 7771151 | 34/ 0 | 533311 | 0 | 993.22/993.28 c | 1022 | 19.4 | 0 | 19205 | 19157 | 131 | 158203330 | 4270035 || 1022 | 7771151 | 34/ 0 | 533311 | 0 | 1012.21/1012.27 c | 1023 | 19.0 | 0 | 18151 | 32760 | 132 | 161048689 | 4315833 || 1023 | 7961628 | 34/ 0 | 586338 | 0 | 1038.20/1038.26 c | 1023 | 26.0 | 0 | 19648 | 13701 | 133 | 162260855 | 4370168 || 1023 | 8092411 | 34/ 0 | 587536 | 0 | 1064.60/1064.68 c | 1023 | 26.4 | 0 | 21324 | 13806 | 134 | 163541380 | 4420704 || 1023 | 8218500 | 34/ 0 | 588650 | 0 | 1098.00/1098.06 c | 1023 | 33.4 | 0 | 22905 | 13901 | 135 | 165127222 | 4469774 || 1023 | 8344054 | 34/ 0 | 589710 | 0 | 1113.90/1113.99 c | 1023 | 15.9 | 0 | 20190 | 11367 | 136 | 167687203 | 4502218 || 1023 | 8370334 | 34/ 0 | 589945 | 0 | 1126.70/1126.76 c | 1023 | 12.8 | 0 | 18182 | 25469 | 137 | 170372495 | 4523472 || 1023 | 8370334 | 34/ 0 | 589945 | 0 | 1139.10/1139.15 c | 1023 | 12.4 | 0 | 20601 | 39674 | 138 | 173027559 | 4543416 || 1023 | 8370334 | 34/ 0 | 589945 | 0 | 1151.72/1151.77 c | 1032 | 12.6 | 0 | 21464 | 58 | 139 | 175689653 | 4581265 || 1032 | 8403439 | 34/ 0 | 591679 | 0 | 1164.00/1164.04 c | 1059 | 12.3 | 0 | 15811 | 16 | 140 | 178266520 | 4663338 || 1059 | 8553969 | 34/ 0 | 600322 | 0 | 1178.60/1178.63 c | 1085 | 14.6 | 0 | 18848 | 1163 | 141 | 180841048 | 4748094 || 1085 | 8699065 | 34/ 0 | 609102 | 0 | 1193.80/1193.89 c | 1107 | 15.2 | 0 | 21230 | 218 | 142 | 183219990 | 4822448 || 1107 | 8836101 | 34/ 0 | 617609 | 0 | 1209.00/1209.03 c | 1132 | 15.1 | 0 | 23553 | 777 | 143 | 185730101 | 4905401 || 1132 | 8979864 | 34/ 0 | 626141 | 0 | 1224.70/1224.77 c | 1149 | 15.7 | 0 | 24978 | 1947 | 144 | 188169519 | 4983039 || 1149 | 9123988 | 34/ 0 | 635537 | 0 | 1243.80/1243.86 c | 1154 | 19.1 | 0 | 25271 | 247 | 145 | 190251247 | 5031534 || 1154 | 9220634 | 34/ 0 | 643307 | 0 | 1259.20/1259.21 c | 1181 | 15.3 | 0 | 25258 | 1408 | 146 | 192831350 | 5117327 || 1181 | 9368945 | 34/ 0 | 652243 | 0 | 1275.70/1275.76 c | 1212 | 16.5 | 0 | 25505 | 459 | 147 | 195221292 | 5209861 || 1212 | 9526408 | 34/ 0 | 661711 | 0 | 1293.30/1293.39 c | 1234 | 17.6 | 0 | 25467 | 120 | 148 | 198348834 | 5288014 || 1234 | 9660074 | 34/ 0 | 670163 | 0 | 1311.01/1311.01 c | 1262 | 17.6 | 0 | 24652 | 184 | 149 | 201137877 | 5378861 || 1262 | 9812978 | 34/ 0 | 679125 | 0 | 1329.21/1329.25 c | 1276 | 18.2 | 0 | 24194 | 3054 | 150 | 203873085 | 5445202 || 1276 | 9933715 | 34/ 0 | 687862 | 0 | 1351.11/1351.18 c | 1278 | 21.9 | 0 | 22108 | 8955 | 151 | 206486728 | 5502658 || 1278 | 10078851 | 34/ 0 | 708411 | 0 | 1371.11/1371.19 c | 1278 | 20.0 | 0 | 22223 | 5355 | 152 | 208967622 | 5554577 || 1278 | 10188576 | 34/ 0 | 709419 | 0 | 1384.71/1384.80 c | 1300 | 13.6 | 0 | 21582 | 416 | 153 | 212071415 | 5622408 || 1300 | 10286673 | 34/ 0 | 714779 | 0 | 1399.81/1399.88 c | 1330 | 15.1 | 0 | 22821 | 158 | 154 | 214613261 | 5710875 || 1330 | 10440026 | 34/ 0 | 723790 | 0 | 1418.11/1418.10 c | 1347 | 18.2 | 0 | 23352 | 37 | 155 | 217541758 | 5784898 || 1347 | 10571275 | 34/ 0 | 732999 | 0 | 1435.42/1435.45 c | 1378 | 17.3 | 0 | 24137 | 292 | 156 | 220110448 | 5874937 || 1378 | 10726288 | 34/ 0 | 742425 | 0 | 1453.51/1453.53 c | 1404 | 18.1 | 0 | 25532 | 3064 | 157 | 222518022 | 5960026 || 1404 | 10885858 | 34/ 0 | 754280 | 0 | 1474.21/1474.21 c | 1405 | 20.7 | 0 | 25299 | 4861 | 158 | 225049562 | 6009083 || 1405 | 10977866 | 34/ 0 | 761504 | 0 | 1491.71/1491.74 c | 1436 | 17.5 | 0 | 25875 | 298 | 159 | 227765731 | 6100328 || 1436 | 11135710 | 34/ 0 | 770977 | 0 | 1509.51/1509.51 c | 1467 | 17.8 | 0 | 26196 | 637 | 160 | 230510163 | 6193703 || 1467 | 11293024 | 34/ 0 | 780450 | 0 | 1526.83/1526.87 c | 1492 | 17.4 | 0 | 27055 | 188 | 161 | 233368794 | 6276603 || 1492 | 11438602 | 34/ 0 | 789636 | 0 | 1544.81/1544.85 c | 1525 | 18.0 | 0 | 27907 | 227 | 162 | 236148619 | 6371174 || 1525 | 11601185 | 34/ 0 | 799495 | 0 | 1568.31/1568.32 c | 1532 | 23.5 | 0 | 27524 | 7121 | 163 | 238596025 | 6442612 || 1532 | 11756592 | 34/ 0 | 813590 | 0 | 1592.62/1592.68 c | 1533 | 24.4 | 0 | 26903 | 14319 | 164 | 241016505 | 6500904 || 1533 | 11900616 | 34/ 0 | 827690 | 0 | 1610.44/1610.47 c | 1533 | 17.8 | 0 | 26704 | 12019 | 165 | 244110412 | 6540088 || 1533 | 11949133 | 34/ 0 | 828114 | 0 | 1632.62/1632.69 c | 1534 | 22.2 | 0 | 25290 | 29020 | 166 | 245785119 | 6605155 || 1534 | 12161797 | 34/ 0 | 855616 | 0 | 1654.12/1654.12 c | 1534 | 21.4 | 0 | 27565 | 7715 | 167 | 248503892 | 6657699 || 1534 | 12252300 | 34/ 0 | 856517 | 0 | 1665.72/1665.74 c | 1534 | 11.6 | 0 | 24447 | 24916 | 168 | 252921929 | 6688592 || 1534 | 12252300 | 34/ 0 | 856517 | 0 | 1680.32/1680.31 c | 1568 | 14.6 | 0 | 23377 | 275 | 169 | 255921846 | 6792314 || 1568 | 12432502 | 34/ 0 | 866637 | 0 | 1699.72/1699.77 c | 1597 | 19.5 | 0 | 25964 | 3525 | 170 | 258777300 | 6892041 || 1597 | 12617199 | 34/ 0 | 879071 | 0 | 1721.32/1721.37 c | 1628 | 21.6 | 0 | 28648 | 967 | 171 | 261984278 | 6989022 || 1628 | 12779962 | 34/ 0 | 888584 | 0 | 1741.62/1741.69 c | 1659 | 20.3 | 0 | 29965 | 91 | 172 | 264813325 | 7090564 || 1659 | 12959868 | 34/ 0 | 898243 | 0 | 1766.22/1766.29 c | 1661 | 24.6 | 0 | 29684 | 3389 | 173 | 267598571 | 7149458 || 1661 | 13080883 | 34/ 0 | 908991 | 0 | 1788.42/1788.42 c | 1692 | 22.1 | 0 | 30735 | 333 | 174 | 270850730 | 7248587 || 1692 | 13240365 | 34/ 0 | 918526 | 0 | 1810.72/1810.77 c | 1724 | 22.4 | 0 | 30775 | 2172 | 175 | 273893229 | 7351347 || 1724 | 13415298 | 34/ 0 | 931369 | 0 | 1830.82/1830.81 c | 1754 | 20.0 | 0 | 30937 | 121 | 176 | 277398035 | 7449660 || 1754 | 13585111 | 34/ 0 | 939348 | 0 | 1851.92/1851.98 c | 1786 | 21.2 | 0 | 30854 | 2157 | 177 | 280321459 | 7550690 || 1786 | 13765145 | 34/ 0 | 950649 | 0 | 1873.62/1873.62 c | 1788 | 21.6 | 0 | 28820 | 3554 | 178 | 283402947 | 7614108 || 1788 | 13899586 | 34/ 0 | 961446 | 0 | 1895.63/1895.68 c | 1789 | 22.1 | 0 | 27689 | 2654 | 179 | 285844359 | 7673137 || 1789 | 14051912 | 34/ 0 | 975648 | 0 | 1914.04/1914.02 c | 1811 | 18.3 | 0 | 27685 | 431 | 180 | 288893814 | 7745106 || 1811 | 14147307 | 34/ 0 | 980963 | 0 | 1934.43/1934.44 c | 1849 | 20.4 | 0 | 28051 | 475 | 181 | 292276629 | 7857373 || 1849 | 14332726 | 34/ 0 | 991967 | 0 | 1956.94/1956.98 c | 1870 | 22.5 | 0 | 29204 | 138 | 182 | 295471263 | 7947688 || 1870 | 14494041 | 34/ 0 | 1002683 | 0 | 1978.73/1978.75 c | 1908 | 21.8 | 0 | 29302 | 91 | 183 | 298596138 | 8061153 || 1908 | 14687886 | 34/ 0 | 1013653 | 0 | 1999.93/1999.94 c | 1916 | 21.2 | 0 | 29126 | 9076 | 184 | 301053856 | 8131459 || 1916 | 14851336 | 34/ 0 | 1027864 | 0 | 2024.23/2024.27 c | 1946 | 24.3 | 0 | 30217 | 1104 | 185 | 304309609 | 8220711 || 1946 | 14995042 | 34/ 0 | 1035541 | 0 | 2047.83/2047.82 c | 1978 | 23.6 | 0 | 31310 | 447 | 186 | 307682354 | 8325801 || 1978 | 15185372 | 34/ 0 | 1046893 | 0 | 2070.73/2070.79 c | 2009 | 23.0 | 0 | 32050 | 707 | 187 | 310753359 | 8420872 || 2009 | 15350422 | 34/ 0 | 1058041 | 0 | 2095.44/2095.47 c | 2041 | 24.7 | 0 | 32539 | 258 | 188 | 313621925 | 8524597 || 2041 | 15536310 | 34/ 0 | 1069374 | 0 | 2121.94/2121.97 c | 2043 | 26.5 | 0 | 30876 | 5155 | 189 | 316466871 | 8587799 || 2043 | 15663393 | 34/ 0 | 1080178 | 0 | 2146.93/2146.97 c | 2044 | 25.0 | 0 | 29664 | 5354 | 190 | 319584236 | 8661448 || 2044 | 15842038 | 34/ 0 | 1094590 | 0 | 2167.83/2167.88 c | 2045 | 20.9 | 0 | 30099 | 24861 | 191 | 322782273 | 8724153 || 2045 | 16019712 | 34/ 0 | 1121817 | 0 | 2195.93/2195.91 c | 2045 | 28.0 | 0 | 31268 | 6062 | 192 | 325723847 | 8794476 || 2045 | 16163821 | 34/ 0 | 1123093 | 0 | 2212.23/2212.20 c | 2046 | 16.3 | 0 | 28208 | 25765 | 193 | 330477631 | 8827370 || 2046 | 16269900 | 34/ 0 | 1175332 | 0 | 2234.53/2234.54 c | 2046 | 22.3 | 0 | 25497 | 19804 | 194 | 332305387 | 8903231 || 2046 | 16459362 | 34/ 0 | 1177004 | 0 | 2266.73/2266.72 c | 2046 | 32.2 | 0 | 30962 | 19903 | 195 | 333870475 | 8972134 || 2046 | 16630216 | 34/ 0 | 1178599 | 0 | 2299.63/2299.63 c | 2046 | 32.9 | 0 | 32264 | 8674 | 196 | 336528824 | 9024949 || 2046 | 16729379 | 34/ 0 | 1179488 | 0 | 2329.03/2329.01 c | 2046 | 29.4 | 0 | 29577 | 28776 | 197 | 340376792 | 9052850 || 2046 | 16729379 | 34/ 0 | 1179488 | 0 | 2352.63/2352.61 c | 2046 | 23.6 | 0 | 30819 | 48977 | 198 | 344023527 | 9079825 || 2046 | 16729379 | 34/ 0 | 1179488 | 0 | 2380.63/2380.68 c | 2047 | 28.1 | 0 | 26596 | 69278 | 199 | 346583713 | 9174027 || 2047 | 17154887 | 34/ 0 | 1285914 | 0 | 2422.74/2422.72 c | 2047 | 42.0 | 0 | 28166 | 20402 | 200 | 348733176 | 9262195 || 2047 | 17369017 | 34/ 0 | 1287892 | 0 | 2458.45/2458.49 c | 2047 | 35.8 | 0 | 29632 | 20501 | 201 | 350829099 | 9352074 || 2047 | 17587518 | 34/ 0 | 1289902 | 0 | 2499.04/2499.01 c | 2047 | 40.5 | 0 | 33533 | 20601 | 202 | 352913431 | 9434431 || 2047 | 17791051 | 34/ 0 | 1291778 | 0 | 2531.84/2531.88 c | 2047 | 32.9 | 0 | 24565 | 20702 | 203 | 354954181 | 9512868 || 2047 | 17988409 | 34/ 0 | 1293569 | 0 | 2554.34/2554.39 c | 2047 | 22.5 | 0 | 26671 | 18690 | 204 | 359769693 | 9557091 || 2047 | 18006468 | 34/ 0 | 1293703 | 0 | 2580.14/2580.15 c | 2047 | 25.8 | 0 | 24576 | 39593 | 205 | 364671355 | 9588353 || 2047 | 18006468 | 34/ 0 | 1293703 | 0 | 2603.34/2603.31 c | 2047 | 23.2 | 0 | 27771 | 60594 | 206 | 369363295 | 9624478 || 2047 | 18006468 | 34/ 0 | 1293703 | 0 | 2629.84/2629.83 c | 2047 | 26.5 | 0 | 27149 | 81699 | 207 | 374112700 | 9662185 || 2047 | 18006468 | 34/ 0 | 1293703 | 0 | 2658.04/2658.04 c | 2050 | 28.2 | 0 | 28156 | 197 | 208 | 379177348 | 9704664 || 2050 | 18016197 | 34/ 0 | 1294209 | 0 | 2678.94/2678.90 c | 2093 | 20.9 | 0 | 23613 | 124 | 209 | 382744325 | 9834595 || 2093 | 18246158 | 34/ 0 | 1307121 | 0 | 2704.24/2704.21 c | 2124 | 25.3 | 0 | 27659 | 272 | 210 | 386277999 | 9947971 || 2124 | 18446274 | 34/ 0 | 1319409 | 0 | 2729.24/2729.25 c | 2169 | 25.1 | 0 | 30231 | 183 | 211 | 390025078 | 10076380 || 2169 | 18664431 | 34/ 0 | 1332222 | 0 | 2754.35/2754.39 c | 2174 | 25.1 | 0 | 30150 | 2875 | 212 | 393593303 | 10160317 || 2174 | 18840072 | 34/ 0 | 1346174 | 0 | 2777.94/2777.95 c | 2212 | 23.6 | 0 | 31606 | 107 | 213 | 397284450 | 10275046 || 2212 | 19028152 | 34/ 0 | 1357145 | 0 | 2802.94/2802.97 c | 2243 | 25.0 | 0 | 34166 | 51 | 214 | 401057726 | 10385913 || 2243 | 19227663 | 34/ 0 | 1369809 | 0 | 2830.04/2830.08 c | 2287 | 27.1 | 0 | 36234 | 263 | 215 | 404506945 | 10515666 || 2287 | 19449497 | 34/ 0 | 1382792 | 0 | 2859.44/2859.41 c | 2301 | 29.3 | 0 | 35542 | 431 | 216 | 408151699 | 10609769 || 2301 | 19655048 | 34/ 0 | 1398575 | 0 | 2890.44/2890.47 c | 2302 | 31.1 | 0 | 32382 | 3333 | 217 | 411287991 | 10677339 || 2302 | 19808748 | 34/ 0 | 1412825 | 0 | 2915.34/2915.37 c | 2332 | 24.9 | 0 | 32938 | 677 | 218 | 416070084 | 10772722 || 2332 | 19942127 | 34/ 0 | 1420549 | 0 | 2940.04/2940.04 c | 2365 | 24.7 | 0 | 34185 | 4519 | 219 | 419659290 | 10893817 || 2365 | 20168600 | 34/ 0 | 1435497 | 0 | 2966.14/2966.15 c | 2406 | 26.1 | 0 | 35307 | 143 | 220 | 423931523 | 11016073 || 2406 | 20368501 | 34/ 0 | 1446928 | 0 | 2991.95/2991.98 c | 2429 | 25.8 | 0 | 36004 | 6107 | 221 | 427485906 | 11124568 || 2429 | 20580262 | 34/ 0 | 1464819 | 0 | 3018.14/3018.11 c | 2459 | 26.1 | 0 | 36020 | 647 | 222 | 431501423 | 11239121 || 2459 | 20745617 | 34/ 0 | 1472735 | 0 | 3045.64/3045.65 c | 2492 | 27.5 | 0 | 36048 | 79 | 223 | 435178782 | 11358772 || 2492 | 20962753 | 34/ 0 | 1487487 | 0 | 3075.84/3075.82 c | 2536 | 30.2 | 0 | 37618 | 110 | 224 | 439263211 | 11483220 || 2536 | 21168766 | 34/ 0 | 1499407 | 0 | 3107.56/3107.59 c | 2556 | 31.8 | 0 | 38445 | 7286 | 225 | 442822876 | 11584078 || 2556 | 21379155 | 34/ 0 | 1516912 | 0 | 3136.34/3136.34 c | 2557 | 28.8 | 0 | 34913 | 1487 | 226 | 446374029 | 11655757 || 2557 | 21540950 | 34/ 0 | 1531228 | 0 | 3170.95/3170.95 c | 2558 | 34.6 | 0 | 31653 | 24589 | 227 | 450145106 | 11726217 || 2558 | 21725938 | 34/ 0 | 1558530 | 0 | 3209.05/3209.03 c | 2558 | 38.1 | 0 | 33343 | 9385 | 228 | 454298388 | 11808217 || 2558 | 21858434 | 34/ 0 | 1559702 | 0 | 3235.06/3235.06 c | 2576 | 26.0 | 0 | 32642 | 51 | 229 | 460074686 | 11887763 || 2576 | 21938467 | 34/ 0 | 1564052 | 0 | 3259.15/3259.14 c | 2620 | 24.1 | 0 | 31333 | 2355 | 230 | 464016871 | 12022776 || 2620 | 22179792 | 34/ 0 | 1578677 | 0 | 3286.87/3286.89 c | 2652 | 27.7 | 0 | 32756 | 1000 | 231 | 467638499 | 12135936 || 2652 | 22377316 | 34/ 0 | 1591703 | 0 | 3318.15/3318.14 c | 2685 | 31.2 | 0 | 34940 | 3740 | 232 | 471748803 | 12248902 || 2685 | 22591460 | 34/ 0 | 1611269 | 0 | 3353.55/3353.55 c | 2715 | 35.4 | 0 | 36328 | 573 | 233 | 475419369 | 12360979 || 2715 | 22785014 | 34/ 0 | 1619459 | 0 | 3384.35/3384.37 c | 2748 | 30.8 | 0 | 37587 | 4726 | 234 | 478965702 | 12482013 || 2748 | 23010893 | 34/ 0 | 1634359 | 0 | 3415.05/3415.02 c | 2793 | 30.6 | 0 | 40322 | 137 | 235 | 482965155 | 12617115 || 2793 | 23230222 | 34/ 0 | 1646781 | 0 | 3446.55/3446.55 c | 2812 | 31.5 | 0 | 41067 | 9308 | 236 | 486400872 | 12725095 || 2812 | 23449295 | 34/ 0 | 1663952 | 0 | 3480.65/3480.68 c | 2813 | 34.1 | 0 | 38192 | 4605 | 237 | 490132015 | 12799761 || 2813 | 23608980 | 34/ 0 | 1678239 | 0 | 3508.05/3508.00 c | 2844 | 27.3 | 0 | 37999 | 1544 | 238 | 495118702 | 12911496 || 2844 | 23772630 | 34/ 0 | 1687730 | 0 | 3537.56/3537.61 c | 2883 | 29.6 | 0 | 38511 | 370 | 239 | 499216287 | 13035922 || 2883 | 23987840 | 34/ 0 | 1702133 | 0 | 3567.85/3567.80 c | 2935 | 30.2 | 0 | 40107 | 167 | 240 | 503203914 | 13178623 || 2935 | 24227619 | 34/ 0 | 1716382 | 0 | 3602.35/3602.33 c | 2940 | 34.5 | 0 | 39590 | 5757 | 241 | 507031071 | 13261827 || 2940 | 24396501 | 34/ 0 | 1730315 | 0 | 3633.16/3633.16 c | 2992 | 30.8 | 0 | 39380 | 76 | 242 | 510933420 | 13408534 || 2992 | 24645577 | 34/ 0 | 1744677 | 0 | 3667.37/3667.36 c | 3031 | 34.2 | 0 | 41557 | 199 | 243 | 515246783 | 13530698 || 3031 | 24856563 | 34/ 0 | 1759092 | 0 | 3701.66/3701.67 c | 3066 | 34.3 | 0 | 42841 | 4428 | 244 | 518972743 | 13660379 || 3066 | 25099028 | 34/ 0 | 1775417 | 0 | 3738.46/3738.44 c | 3068 | 36.8 | 0 | 39795 | 14931 | 245 | 522817860 | 13739783 || 3068 | 25294831 | 34/ 0 | 1796309 | 0 | 3781.36/3781.34 c | 3069 | 42.9 | 0 | 38567 | 20729 | 246 | 526301966 | 13804931 || 3069 | 25465521 | 34/ 0 | 1823499 | 0 | 3826.98/3826.94 c | 3069 | 45.6 | 0 | 37572 | 7427 | 247 | 529565707 | 13880885 || 3069 | 25616196 | 34/ 0 | 1824886 | 0 | 3857.87/3857.81 c | 3070 | 30.9 | 0 | 34328 | 32630 | 248 | 534750227 | 13946605 || 3070 | 25791501 | 34/ 0 | 1877763 | 0 | 3905.97/3905.91 c | 3070 | 48.1 | 0 | 34385 | 25304 | 249 | 537232437 | 14050411 || 3070 | 26045793 | 34/ 0 | 1880096 | 0 | 3969.76/3969.74 c | 3070 | 63.8 | 0 | 37940 | 6538 | 250 | 540355393 | 14135790 || 3070 | 26235115 | 34/ 0 | 1881726 | 0 | 3999.96/3999.96 c | 3070 | 30.2 | 0 | 33981 | 32040 | 251 | 545607377 | 14171374 || 3070 | 26235115 | 34/ 0 | 1881726 | 0 | 4028.57/4028.53 c | 3086 | 28.6 | 0 | 34376 | 821 | 252 | 551313483 | 14237039 || 3086 | 26303382 | 34/ 0 | 1885683 | 0 | 4060.18/4060.12 c | 3133 | 31.6 | 0 | 31057 | 1644 | 253 | 555907046 | 14387192 || 3133 | 26567096 | 34/ 0 | 1904008 | 0 | 4093.87/4093.81 c | 3175 | 33.7 | 0 | 33959 | 58 | 254 | 559918466 | 14519509 || 3175 | 26802876 | 34/ 0 | 1915917 | 0 | 4128.87/4128.88 c | 3197 | 35.1 | 0 | 35936 | 405 | 255 | 563779691 | 14641020 || 3197 | 27049857 | 34/ 0 | 1934162 | 0 | 4161.77/4161.76 c | 3241 | 32.9 | 0 | 38220 | 141 | 256 | 568444858 | 14772838 || 3241 | 27248117 | 34/ 0 | 1946070 | 0 | 4195.97/4195.93 c | 3280 | 34.2 | 0 | 39917 | 65 | 257 | 573074733 | 14907553 || 3280 | 27481747 | 34/ 0 | 1961232 | 0 | 4230.17/4230.16 c | 3323 | 34.2 | 0 | 42081 | 3284 | 258 | 577611079 | 15052337 || 3323 | 27740724 | 34/ 0 | 1979018 | 0 | 4264.07/4264.07 c | 3325 | 33.9 | 0 | 39740 | 15183 | 259 | 580757048 | 15138221 || 3325 | 27950531 | 34/ 0 | 2000114 | 0 | 4294.07/4294.09 c | 3350 | 30.0 | 0 | 41906 | 111 | 260 | 585777868 | 15244607 || 3350 | 28104009 | 34/ 0 | 2006302 | 0 | 4326.28/4326.30 c | 3388 | 32.2 | 0 | 41293 | 732 | 261 | 589846031 | 15375472 || 3388 | 28351984 | 34/ 0 | 2022944 | 0 | 4358.57/4358.53 c | 3441 | 32.2 | 0 | 43575 | 244 | 262 | 594582619 | 15526415 || 3441 | 28599482 | 34/ 0 | 2037562 | 0 | 4396.68/4396.69 c | 3452 | 38.1 | 0 | 43115 | 5924 | 263 | 598728043 | 15625310 || 3452 | 28785710 | 34/ 0 | 2052500 | 0 | 4433.27/4433.26 c | 3511 | 36.6 | 0 | 44349 | 12 | 264 | 602930458 | 15786834 || 3511 | 29056548 | 34/ 0 | 2068227 | 0 | 4469.17/4469.13 c | 3546 | 35.9 | 0 | 46536 | 241 | 265 | 607141910 | 15916435 || 3546 | 29300535 | 34/ 0 | 2084503 | 0 | 4505.58/4505.61 c | 3579 | 36.5 | 0 | 46885 | 6393 | 266 | 611549012 | 16048729 || 3579 | 29556283 | 34/ 0 | 2104491 | 0 | 4545.57/4545.56 c | 3580 | 39.9 | 0 | 43579 | 4691 | 267 | 615034527 | 16128888 || 3580 | 29735067 | 34/ 0 | 2118878 | 0 | 4588.77/4588.78 c | 3581 | 43.2 | 0 | 41740 | 31895 | 268 | 618349303 | 16222911 || 3581 | 29985319 | 34/ 0 | 2146697 | 0 | 4618.77/4618.81 c | 3581 | 30.0 | 0 | 43255 | 20792 | 269 | 624436104 | 16298807 || 3581 | 30058982 | 34/ 0 | 2147367 | 0 | 4646.49/4646.49 c | 3628 | 27.7 | 0 | 41944 | 0 | 270 | 629381100 | 16439049 || 3628 | 30289742 | 34/ 0 | 2160711 | 0 | 4679.07/4679.04 c | 3674 | 32.5 | 0 | 42876 | 726 | 271 | 633704082 | 16579430 || 3674 | 30535067 | 34/ 0 | 2177279 | 0 | 4715.17/4715.19 c | 3708 | 36.1 | 0 | 45238 | 3871 | 272 | 638244934 | 16706363 || 3708 | 30779439 | 34/ 0 | 2198801 | 0 | 4749.78/4749.73 c | 3739 | 34.6 | 0 | 46397 | 1109 | 273 | 642812432 | 16834582 || 3739 | 30994777 | 34/ 0 | 2208821 | 0 | 4784.27/4784.27 c | 3786 | 34.5 | 0 | 47849 | 421 | 274 | 647538801 | 16980731 || 3786 | 31252271 | 34/ 0 | 2225530 | 0 | 4820.07/4820.01 c | 3834 | 35.7 | 0 | 50106 | 2224 | 275 | 652028138 | 17131393 || 3834 | 31517668 | 34/ 0 | 2243978 | 0 | 4856.59/4856.52 c | 3836 | 36.5 | 0 | 48047 | 15821 | 276 | 656056082 | 17230192 || 3836 | 31746198 | 34/ 0 | 2265252 | 0 | 4892.67/4892.65 c | 3866 | 36.1 | 0 | 48708 | 1078 | 277 | 661135428 | 17355318 || 3866 | 31909440 | 34/ 0 | 2273216 | 0 | 4930.58/4930.51 c | 3906 | 37.9 | 0 | 46072 | 207 | 278 | 666633028 | 17503019 || 3906 | 32166481 | 34/ 0 | 2289609 | 0 | 4968.38/4968.36 c | 3961 | 37.9 | 0 | 47364 | 1802 | 279 | 671387498 | 17673391 || 3961 | 32461207 | 34/ 0 | 2307181 | 0 | 5000.09/5000.01 c | 3970 | 31.6 | 0 | 70578 | 400 | 279 | 675017830 | 17753799 || 3970 | 32607482 | 34/ 0 | 2319249 | 0 | 5000.09/5000.01 c c 5000.09/5000.01 c ----------------------------------- 5000.09/5000.01 c # temps = 4996.440000 5000.09/5000.01 c # cleaningDB = 279 5000.09/5000.01 c # clause binaire = 911061 5000.09/5000.01 c # literal removed by litRedundant = 200109642 5000.09/5000.01 c # literal removed by litRedundantBin = 337274525 5000.09/5000.01 c # init clause removed by simplify = 0 5000.09/5000.01 c # learnt clause removed by simplify = 0 5000.09/5000.01 c # une clause fausse était une apprise = 0 5000.09/5000.01 c # equivalence dectecte = 0 5000.09/5000.01 c # Memory used : 166.08 MB 5000.09/5000.01 c 5000.09/5000.01 c ######################## 5000.09/5000.01 c #### ## ### ## #### 5000.09/5000.01 c #### #### # ## #### #### 5000.09/5000.01 c #### ## ### ## ### 5000.09/5000.01 c ######################## 5000.09/5000.01 c # restart = 3970 5000.09/5000.01 c # conflit = 4041391 5000.09/5000.01 c # decision = 17753799 5000.09/5000.01 c # propagation = 675017830 (135099.757027 (prop/sec)) 5000.09/5000.01 c 5000.09/5000.01 c ######################## 5000.09/5000.01 c ### ### # ## ## ## 5000.09/5000.01 c ### # # # #### # ### ### 5000.09/5000.01 c ### # ### ## # ### ### 5000.09/5000.01 c ######################## 5000.09/5000.01 c # numtry = 3970 5000.09/5000.01 c # numflips = 32607482 5000.09/5000.01 c # maxSat = 34 5000.09/5000.01 c # freeFlip = 4098030 5000.09/5000.01 c # nbBoundary = 0 5000.09/5000.01 c
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: 977) 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-3439760-1306939548/watcher-3439760-1306939548 -o /tmp/evaluation-result-3439760-1306939548/solver-3439760-1306939548 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3439760-1306939548.cnf rnovelty running on 4 cores: 0,2,4,6 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: 2.02 2.06 2.02 2/456 23417 /proc/meminfo: memFree=26188580/32951124 swapFree=60688864/67111528 [pid=23417] ppid=23415 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23417/stat : 23417 (esg_static.sh) S 23415 23417 22975 0 -1 4202496 332 0 0 0 0 0 0 0 22 0 1 0 805553015 8912896 253 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23417/statm: 2176 253 211 178 0 69 0 [startup+0.0748799 s] /proc/loadavg: 2.02 2.06 2.02 2/456 23417 /proc/meminfo: memFree=26188580/32951124 swapFree=60688864/67111528 [pid=23417] ppid=23415 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23417/stat : 23417 (esg_static.sh) S 23415 23417 22975 0 -1 4202496 332 0 0 0 0 0 0 0 22 0 1 0 805553015 8912896 253 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23417/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100863 s] /proc/loadavg: 2.02 2.06 2.02 2/456 23417 /proc/meminfo: memFree=26188580/32951124 swapFree=60688864/67111528 [pid=23417] ppid=23415 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23417/stat : 23417 (esg_static.sh) S 23415 23417 22975 0 -1 4202496 332 0 0 0 0 0 0 0 22 0 1 0 805553015 8912896 253 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23417/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.30088 s] /proc/loadavg: 2.02 2.06 2.02 2/456 23417 /proc/meminfo: memFree=26188580/32951124 swapFree=60688864/67111528 [pid=23417] ppid=23415 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23417/stat : 23417 (esg_static.sh) S 23415 23417 22975 0 -1 4202496 332 0 0 0 0 0 0 0 22 0 1 0 805553015 8912896 253 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23417/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700792 s] /proc/loadavg: 2.02 2.06 2.02 2/456 23417 /proc/meminfo: memFree=26188580/32951124 swapFree=60688864/67111528 [pid=23417] ppid=23415 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23417/stat : 23417 (esg_static.sh) S 23415 23417 22975 0 -1 4202496 332 0 0 0 0 0 0 0 22 0 1 0 805553015 8912896 253 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23417/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50065 s] /proc/loadavg: 2.02 2.06 2.02 3/461 23447 /proc/meminfo: memFree=26142552/32951124 swapFree=60688864/67111528 [pid=23417] ppid=23415 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23417/stat : 23417 (esg_static.sh) S 23415 23417 22975 0 -1 4202496 332 0 0 0 0 0 0 0 22 0 1 0 805553015 8912896 253 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23417/statm: 2176 253 211 178 0 69 0 [pid=23418] ppid=23417 vsize=82936 CPUtime=1.49 cores=0,2,4,6 /proc/23418/stat : 23418 (SatELite_releas) R 23417 23417 22975 0 -1 4202496 17141 0 0 0 147 2 0 0 25 0 1 0 805553015 84926464 17096 33554432000 134512640 135144242 4292276080 18446744073709551615 134588483 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23418/statm: 20734 17096 77 155 0 20577 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 91640 [startup+3.10035 s] /proc/loadavg: 2.02 2.06 2.02 3/462 23449 /proc/meminfo: memFree=26139692/32951124 swapFree=60688864/67111528 [pid=23417] ppid=23415 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23417/stat : 23417 (esg_static.sh) S 23415 23417 22975 0 -1 4202496 332 0 0 0 0 0 0 0 22 0 1 0 805553015 8912896 253 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23417/statm: 2176 253 211 178 0 69 0 [pid=23418] ppid=23417 vsize=82936 CPUtime=3.09 cores=0,2,4,6 /proc/23418/stat : 23418 (SatELite_releas) R 23417 23417 22975 0 -1 4202496 17141 0 0 0 307 2 0 0 25 0 1 0 805553015 84926464 17096 33554432000 134512640 135144242 4292276080 18446744073709551615 134588125 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23418/statm: 20734 17096 77 155 0 20577 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 91640 [startup+6.3008 s] /proc/loadavg: 2.02 2.06 2.02 3/463 23451 /proc/meminfo: memFree=26168784/32951124 swapFree=60688864/67111528 [pid=23417] ppid=23415 vsize=8704 CPUtime=3.65 cores=0,2,4,6 /proc/23417/stat : 23417 (esg_static.sh) S 23415 23417 22975 0 -1 4202496 350 17144 0 0 0 0 361 4 18 0 1 0 805553015 8912896 256 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335892224 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/23417/statm: 2176 256 211 178 0 69 0 [pid=23450] ppid=23417 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23450/stat : 23450 (esg_static.sh) S 23417 23417 22975 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 805553381 8912896 135 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335711365 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/23450/statm: 2176 135 90 178 0 69 0 [pid=23451] ppid=23450 vsize=27304 CPUtime=2.63 cores=0,2,4,6 /proc/23451/stat : 23451 (sathys) R 23450 23417 22975 0 -1 4202496 5298 0 0 0 262 1 0 0 21 0 1 0 805553381 27959296 5208 33554432000 4194304 4241092 140737061618080 18446744073709551615 4233326 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/23451/statm: 6826 5208 135 12 0 5290 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 44712 [startup+12.7007 s] /proc/loadavg: 2.02 2.06 2.02 3/463 23451 /proc/meminfo: memFree=26162264/32951124 swapFree=60688864/67111528 [pid=23417] ppid=23415 vsize=8704 CPUtime=3.65 cores=0,2,4,6 /proc/23417/stat : 23417 (esg_static.sh) S 23415 23417 22975 0 -1 4202496 350 17144 0 0 0 0 361 4 18 0 1 0 805553015 8912896 256 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335892224 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/23417/statm: 2176 256 211 178 0 69 0 [pid=23450] ppid=23417 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23450/stat : 23450 (esg_static.sh) S 23417 23417 22975 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 805553381 8912896 135 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335711365 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/23450/statm: 2176 135 90 178 0 69 0 [pid=23451] ppid=23450 vsize=30208 CPUtime=9.03 cores=0,2,4,6 /proc/23451/stat : 23451 (sathys) R 23450 23417 22975 0 -1 4202496 6034 0 0 0 902 1 0 0 25 0 1 0 805553381 30932992 5944 33554432000 4194304 4241092 140737061618080 18446744073709551615 4222336 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/23451/statm: 7552 5944 135 12 0 6016 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 47616 [startup+25.5004 s] /proc/loadavg: 2.09 2.07 2.02 3/463 23452 /proc/meminfo: memFree=26155932/32951124 swapFree=60688864/67111528 [pid=23417] ppid=23415 vsize=8704 CPUtime=3.65 cores=0,2,4,6 /proc/23417/stat : 23417 (esg_static.sh) S 23415 23417 22975 0 -1 4202496 350 17144 0 0 0 0 361 4 18 0 1 0 805553015 8912896 256 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335892224 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/23417/statm: 2176 256 211 178 0 69 0 [pid=23450] ppid=23417 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23450/stat : 23450 (esg_static.sh) S 23417 23417 22975 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 805553381 8912896 135 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335711365 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/23450/statm: 2176 135 90 178 0 69 0 [pid=23451] ppid=23450 vsize=33244 CPUtime=21.83 cores=0,2,4,6 /proc/23451/stat : 23451 (sathys) R 23450 23417 22975 0 -1 4202496 6780 0 0 0 2182 1 0 0 25 0 1 0 805553381 34041856 6690 33554432000 4194304 4241092 140737061618080 18446744073709551615 4223700 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/23451/statm: 8311 6690 135 12 0 6775 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 50652 [startup+51.1008 s] /proc/loadavg: 2.06 2.07 2.02 3/463 23453 /proc/meminfo: memFree=26147436/32951124 swapFree=60688864/67111528 [pid=23417] ppid=23415 vsize=8704 CPUtime=3.65 cores=0,2,4,6 /proc/23417/stat : 23417 (esg_static.sh) S 23415 23417 22975 0 -1 4202496 350 17144 0 0 0 0 361 4 18 0 1 0 805553015 8912896 256 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335892224 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/23417/statm: 2176 256 211 178 0 69 0 [pid=23450] ppid=23417 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23450/stat : 23450 (esg_static.sh) S 23417 23417 22975 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 805553381 8912896 135 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335711365 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/23450/statm: 2176 135 90 178 0 69 0 [pid=23451] ppid=23450 vsize=37472 CPUtime=47.43 cores=0,2,4,6 /proc/23451/stat : 23451 (sathys) R 23450 23417 22975 0 -1 4202496 7858 0 0 0 4742 1 0 0 25 0 1 0 805553381 38371328 7768 33554432000 4194304 4241092 140737061618080 18446744073709551615 4222349 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/23451/statm: 9368 7768 135 12 0 7832 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 54880 [startup+102.318 s] /proc/loadavg: 2.02 2.05 2.01 3/463 23454 /proc/meminfo: memFree=26131152/32951124 swapFree=60688864/67111528 [pid=23417] ppid=23415 vsize=8704 CPUtime=3.65 cores=0,2,4,6 /proc/23417/stat : 23417 (esg_static.sh) S 23415 23417 22975 0 -1 4202496 350 17144 0 0 0 0 361 4 18 0 1 0 805553015 8912896 256 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335892224 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/23417/statm: 2176 256 211 178 0 69 0 [pid=23450] ppid=23417 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23450/stat : 23450 (esg_static.sh) S 23417 23417 22975 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 805553381 8912896 135 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335711365 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/23450/statm: 2176 135 90 178 0 69 0 [pid=23451] ppid=23450 vsize=48032 CPUtime=98.65 cores=0,2,4,6 /proc/23451/stat : 23451 (sathys) R 23450 23417 22975 0 -1 4202496 10492 0 0 0 9863 2 0 0 25 0 1 0 805553381 49184768 10402 33554432000 4194304 4241092 140737061618080 18446744073709551615 4205291 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/23451/statm: 12008 10402 135 12 0 10472 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 65440 [startup+162.301 s] /proc/loadavg: 2.01 2.04 2.01 3/463 23455 /proc/meminfo: memFree=26123432/32951124 swapFree=60688864/67111528 [pid=23417] ppid=23415 vsize=8704 CPUtime=3.65 cores=0,2,4,6 /proc/23417/stat : 23417 (esg_static.sh) S 23415 23417 22975 0 -1 4202496 350 17144 0 0 0 0 361 4 18 0 1 0 805553015 8912896 256 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335892224 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/23417/statm: 2176 256 211 178 0 69 0 [pid=23450] ppid=23417 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23450/stat : 23450 (esg_static.sh) S 23417 23417 22975 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 805553381 8912896 135 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335711365 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/23450/statm: 2176 135 90 178 0 69 0 [pid=23451] ppid=23450 vsize=48824 CPUtime=158.63 cores=0,2,4,6 /proc/23451/stat : 23451 (sathys) R 23450 23417 22975 0 -1 4202496 10686 0 0 0 15861 2 0 0 25 0 1 0 805553381 49995776 10596 33554432000 4194304 4241092 140737061618080 18446744073709551615 4222353 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/23451/statm: 12206 10596 135 12 0 10670 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 66232 [startup+222.3 s] /proc/loadavg: 2.00 2.03 2.00 3/463 23457 /proc/meminfo: memFree=26114484/32951124 swapFree=60688864/67111528 [pid=23417] ppid=23415 vsize=8704 CPUtime=3.65 cores=0,2,4,6 /proc/23417/stat : 23417 (esg_static.sh) S 23415 23417 22975 0 -1 4202496 350 17144 0 0 0 0 361 4 18 0 1 0 805553015 8912896 256 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335892224 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/23417/statm: 2176 256 211 178 0 69 0 [pid=23450] ppid=23417 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23450/stat : 23450 (esg_static.sh) S 23417 23417 22975 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 805553381 8912896 135 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335711365 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/23450/statm: 2176 135 90 178 0 69 0 [pid=23451] ppid=23450 vsize=56068 CPUtime=218.63 cores=0,2,4,6 /proc/23451/stat : 23451 (sathys) R 23450 23417 22975 0 -1 4202496 12500 0 0 0 21861 2 0 0 25 0 1 0 805553381 57413632 12396 33554432000 4194304 4241092 140737061618080 18446744073709551615 4222364 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/23451/statm: 14017 12396 136 12 0 12481 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 73476 [startup+282.301 s] /proc/loadavg: 2.00 2.02 2.00 4/463 23459 /proc/meminfo: memFree=26110740/32951124 swapFree=60688864/67111528 [pid=23417] ppid=23415 vsize=8704 CPUtime=3.65 cores=0,2,4,6 /proc/23417/stat : 23417 (esg_static.sh) S 23415 23417 22975 0 -1 4202496 350 17144 0 0 0 0 361 4 18 0 1 0 805553015 8912896 256 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335892224 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/23417/statm: 2176 256 211 178 0 69 0 [pid=23450] ppid=23417 vsize=8704 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ /proc/meminfo: memFree=25935988/32951124 swapFree=60688864/67111528 [pid=23417] ppid=23415 vsize=8704 CPUtime=3.65 cores=0,2,4,6 /proc/23417/stat : 23417 (esg_static.sh) S 23415 23417 22975 0 -1 4202496 350 17144 0 0 0 0 361 4 18 0 1 0 805553015 8912896 256 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335892224 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/23417/statm: 2176 256 211 178 0 69 0 [pid=23450] ppid=23417 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23450/stat : 23450 (esg_static.sh) S 23417 23417 22975 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 805553381 8912896 135 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335711365 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/23450/statm: 2176 135 90 178 0 69 0 [pid=23451] ppid=23450 vsize=169964 CPUtime=4478.72 cores=0,2,4,6 /proc/23451/stat : 23451 (sathys) R 23450 23417 22975 0 -1 4202496 45038 0 0 0 447863 9 0 0 25 0 1 0 805553381 174043136 40853 33554432000 4194304 4241092 140737061618080 18446744073709551615 4223716 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/23451/statm: 42491 40853 136 12 0 40955 0 Current children cumulated CPU time (s) 4482.37 Current children cumulated vsize (KiB) 187372 [startup+4542.3 s] /proc/loadavg: 2.12 2.10 2.03 3/463 23593 /proc/meminfo: memFree=25931572/32951124 swapFree=60688864/67111528 [pid=23417] ppid=23415 vsize=8704 CPUtime=3.65 cores=0,2,4,6 /proc/23417/stat : 23417 (esg_static.sh) S 23415 23417 22975 0 -1 4202496 350 17144 0 0 0 0 361 4 18 0 1 0 805553015 8912896 256 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335892224 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/23417/statm: 2176 256 211 178 0 69 0 [pid=23450] ppid=23417 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23450/stat : 23450 (esg_static.sh) S 23417 23417 22975 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 805553381 8912896 135 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335711365 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/23450/statm: 2176 135 90 178 0 69 0 [pid=23451] ppid=23450 vsize=170060 CPUtime=4538.72 cores=0,2,4,6 /proc/23451/stat : 23451 (sathys) R 23450 23417 22975 0 -1 4202496 45104 0 0 0 453863 9 0 0 25 0 1 0 805553381 174141440 40880 33554432000 4194304 4241092 140737061618080 18446744073709551615 4222357 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/23451/statm: 42515 40880 136 12 0 40979 0 Current children cumulated CPU time (s) 4542.37 Current children cumulated vsize (KiB) 187468 [startup+4602.3 s] /proc/loadavg: 2.04 2.08 2.02 3/463 23595 /proc/meminfo: memFree=25931172/32951124 swapFree=60688864/67111528 [pid=23417] ppid=23415 vsize=8704 CPUtime=3.65 cores=0,2,4,6 /proc/23417/stat : 23417 (esg_static.sh) S 23415 23417 22975 0 -1 4202496 350 17144 0 0 0 0 361 4 18 0 1 0 805553015 8912896 256 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335892224 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/23417/statm: 2176 256 211 178 0 69 0 [pid=23450] ppid=23417 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23450/stat : 23450 (esg_static.sh) S 23417 23417 22975 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 805553381 8912896 135 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335711365 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/23450/statm: 2176 135 90 178 0 69 0 [pid=23451] ppid=23450 vsize=169868 CPUtime=4598.73 cores=0,2,4,6 /proc/23451/stat : 23451 (sathys) R 23450 23417 22975 0 -1 4202496 45151 0 0 0 459864 9 0 0 25 0 1 0 805553381 173944832 40837 33554432000 4194304 4241092 140737061618080 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/23451/statm: 42467 40837 136 12 0 40931 0 Current children cumulated CPU time (s) 4602.38 Current children cumulated vsize (KiB) 187276 [startup+4662.3 s] /proc/loadavg: 2.06 2.08 2.02 3/463 23596 /proc/meminfo: memFree=25928900/32951124 swapFree=60688864/67111528 [pid=23417] ppid=23415 vsize=8704 CPUtime=3.65 cores=0,2,4,6 /proc/23417/stat : 23417 (esg_static.sh) S 23415 23417 22975 0 -1 4202496 350 17144 0 0 0 0 361 4 18 0 1 0 805553015 8912896 256 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335892224 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/23417/statm: 2176 256 211 178 0 69 0 [pid=23450] ppid=23417 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23450/stat : 23450 (esg_static.sh) S 23417 23417 22975 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 805553381 8912896 135 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335711365 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/23450/statm: 2176 135 90 178 0 69 0 [pid=23451] ppid=23450 vsize=169932 CPUtime=4658.72 cores=0,2,4,6 /proc/23451/stat : 23451 (sathys) R 23450 23417 22975 0 -1 4202496 45245 0 0 0 465863 9 0 0 25 0 1 0 805553381 174010368 40851 33554432000 4194304 4241092 140737061618080 18446744073709551615 4222336 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/23451/statm: 42483 40851 136 12 0 40947 0 Current children cumulated CPU time (s) 4662.37 Current children cumulated vsize (KiB) 187340 [startup+4722.32 s] /proc/loadavg: 2.02 2.06 2.01 3/463 23600 /proc/meminfo: memFree=25928136/32951124 swapFree=60688864/67111528 [pid=23417] ppid=23415 vsize=8704 CPUtime=3.65 cores=0,2,4,6 /proc/23417/stat : 23417 (esg_static.sh) S 23415 23417 22975 0 -1 4202496 350 17144 0 0 0 0 361 4 18 0 1 0 805553015 8912896 256 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335892224 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/23417/statm: 2176 256 211 178 0 69 0 [pid=23450] ppid=23417 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23450/stat : 23450 (esg_static.sh) S 23417 23417 22975 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 805553381 8912896 135 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335711365 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/23450/statm: 2176 135 90 178 0 69 0 [pid=23451] ppid=23450 vsize=169900 CPUtime=4718.74 cores=0,2,4,6 /proc/23451/stat : 23451 (sathys) R 23450 23417 22975 0 -1 4202496 45311 0 0 0 471865 9 0 0 25 0 1 0 805553381 173977600 40845 33554432000 4194304 4241092 140737061618080 18446744073709551615 4222336 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/23451/statm: 42475 40845 136 12 0 40939 0 Current children cumulated CPU time (s) 4722.39 Current children cumulated vsize (KiB) 187308 [startup+4782.3 s] /proc/loadavg: 2.00 2.05 2.01 3/463 23603 /proc/meminfo: memFree=25929636/32951124 swapFree=60688864/67111528 [pid=23417] ppid=23415 vsize=8704 CPUtime=3.65 cores=0,2,4,6 /proc/23417/stat : 23417 (esg_static.sh) S 23415 23417 22975 0 -1 4202496 350 17144 0 0 0 0 361 4 18 0 1 0 805553015 8912896 256 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335892224 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/23417/statm: 2176 256 211 178 0 69 0 [pid=23450] ppid=23417 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23450/stat : 23450 (esg_static.sh) S 23417 23417 22975 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 805553381 8912896 135 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335711365 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/23450/statm: 2176 135 90 178 0 69 0 [pid=23451] ppid=23450 vsize=170060 CPUtime=4778.72 cores=0,2,4,6 /proc/23451/stat : 23451 (sathys) R 23450 23417 22975 0 -1 4202496 45386 0 0 0 477863 9 0 0 25 0 1 0 805553381 174141440 40882 33554432000 4194304 4241092 140737061618080 18446744073709551615 4223611 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/23451/statm: 42515 40882 136 12 0 40979 0 Current children cumulated CPU time (s) 4782.37 Current children cumulated vsize (KiB) 187468 [startup+4842.3 s] /proc/loadavg: 2.00 2.04 2.00 3/463 23604 /proc/meminfo: memFree=25928872/32951124 swapFree=60688864/67111528 [pid=23417] ppid=23415 vsize=8704 CPUtime=3.65 cores=0,2,4,6 /proc/23417/stat : 23417 (esg_static.sh) S 23415 23417 22975 0 -1 4202496 350 17144 0 0 0 0 361 4 18 0 1 0 805553015 8912896 256 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335892224 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/23417/statm: 2176 256 211 178 0 69 0 [pid=23450] ppid=23417 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23450/stat : 23450 (esg_static.sh) S 23417 23417 22975 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 805553381 8912896 135 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335711365 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/23450/statm: 2176 135 90 178 0 69 0 [pid=23451] ppid=23450 vsize=170028 CPUtime=4838.72 cores=0,2,4,6 /proc/23451/stat : 23451 (sathys) R 23450 23417 22975 0 -1 4202496 45453 0 0 0 483863 9 0 0 25 0 1 0 805553381 174108672 40874 33554432000 4194304 4241092 140737061618080 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/23451/statm: 42507 40874 136 12 0 40971 0 Current children cumulated CPU time (s) 4842.37 Current children cumulated vsize (KiB) 187436 [startup+4902.3 s] /proc/loadavg: 2.16 2.06 2.01 3/463 23606 /proc/meminfo: memFree=25928852/32951124 swapFree=60688864/67111528 [pid=23417] ppid=23415 vsize=8704 CPUtime=3.65 cores=0,2,4,6 /proc/23417/stat : 23417 (esg_static.sh) S 23415 23417 22975 0 -1 4202496 350 17144 0 0 0 0 361 4 18 0 1 0 805553015 8912896 256 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335892224 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/23417/statm: 2176 256 211 178 0 69 0 [pid=23450] ppid=23417 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23450/stat : 23450 (esg_static.sh) S 23417 23417 22975 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 805553381 8912896 135 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335711365 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/23450/statm: 2176 135 90 178 0 69 0 [pid=23451] ppid=23450 vsize=169932 CPUtime=4898.73 cores=0,2,4,6 /proc/23451/stat : 23451 (sathys) R 23450 23417 22975 0 -1 4202496 45522 0 0 0 489864 9 0 0 25 0 1 0 805553381 174010368 40851 33554432000 4194304 4241092 140737061618080 18446744073709551615 4223705 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/23451/statm: 42483 40851 136 12 0 40947 0 Current children cumulated CPU time (s) 4902.38 Current children cumulated vsize (KiB) 187340 [startup+4962.3 s] /proc/loadavg: 2.28 2.10 2.02 3/463 23607 /proc/meminfo: memFree=25929696/32951124 swapFree=60688864/67111528 [pid=23417] ppid=23415 vsize=8704 CPUtime=3.65 cores=0,2,4,6 /proc/23417/stat : 23417 (esg_static.sh) S 23415 23417 22975 0 -1 4202496 350 17144 0 0 0 0 361 4 18 0 1 0 805553015 8912896 256 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335892224 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/23417/statm: 2176 256 211 178 0 69 0 [pid=23450] ppid=23417 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23450/stat : 23450 (esg_static.sh) S 23417 23417 22975 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 805553381 8912896 135 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335711365 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/23450/statm: 2176 135 90 178 0 69 0 [pid=23451] ppid=23450 vsize=170060 CPUtime=4958.73 cores=0,2,4,6 /proc/23451/stat : 23451 (sathys) R 23450 23417 22975 0 -1 4202496 45595 0 0 0 495864 9 0 0 25 0 1 0 805553381 174141440 40878 33554432000 4194304 4241092 140737061618080 18446744073709551615 4223763 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/23451/statm: 42515 40878 136 12 0 40979 0 Current children cumulated CPU time (s) 4962.38 Current children cumulated vsize (KiB) 187468 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+5000 s] /proc/loadavg: 2.15 2.08 2.02 3/463 23609 /proc/meminfo: memFree=25929568/32951124 swapFree=60688864/67111528 [pid=23417] ppid=23415 vsize=8704 CPUtime=3.65 cores=0,2,4,6 /proc/23417/stat : 23417 (esg_static.sh) S 23415 23417 22975 0 -1 4202496 350 17144 0 0 0 0 361 4 18 0 1 0 805553015 8912896 256 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335892224 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/23417/statm: 2176 256 211 178 0 69 0 [pid=23450] ppid=23417 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23450/stat : 23450 (esg_static.sh) S 23417 23417 22975 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 805553381 8912896 135 33554432000 4194304 4922060 140734893541776 18446744073709551615 232335711365 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/23450/statm: 2176 135 90 178 0 69 0 [pid=23451] ppid=23450 vsize=170060 CPUtime=4996.44 cores=0,2,4,6 /proc/23451/stat : 23451 (sathys) R 23450 23417 22975 0 -1 4202496 45636 0 0 0 499635 9 0 0 25 0 1 0 805553381 174141440 40878 33554432000 4194304 4241092 140737061618080 18446744073709551615 4223703 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/23451/statm: 42515 40878 136 12 0 40979 0 Current children cumulated CPU time (s) 5000.09 Current children cumulated vsize (KiB) 187468 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 23417 and gives # childrusage.ru_utime.tv_sec=3 # childrusage.ru_utime.tv_usec=615450 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=45993 # CPU time returned by wait4() is 3.66144 # while last known CPU time is 5000.09 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 5000.03 CPU time (s): 5000.09 CPU user time (s): 4999.96 CPU system time (s): 0.13 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 187532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3.61545 system time used= 0.045993 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17661 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= 32 involuntary context switches= 30 runsolver used 24.7922 second user time and 52.468 second system time The end
Begin job on node132 at 2011-06-01 16:45:49 IDJOB=3439760 IDBENCH=88219 IDSOLVER=1935 FILE ID=node132/3439760-1306939548 RUNJOBID= node132-1306929546-22993 PBS_JOBID= 13488578 Free space on /tmp= 73500 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3439760-1306939548/watcher-3439760-1306939548 -o /tmp/evaluation-result-3439760-1306939548/solver-3439760-1306939548 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3439760-1306939548.cnf rnovelty TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 76c30bc0971bc865c2b988ddaca89385 RANDOM SEED=1505604525 node132.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 26188860 kB Buffers: 278264 kB Cached: 3161800 kB SwapCached: 15140 kB Active: 1202132 kB Inactive: 5298180 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 26188860 kB SwapTotal: 67111528 kB SwapFree: 60688864 kB Dirty: 13228 kB Writeback: 0 kB AnonPages: 3052728 kB Mapped: 19180 kB Slab: 144312 kB PageTables: 49940 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 109236628 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= 73524 MiB End job on node132 at 2011-06-01 18:09:11