| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| sathys 2011-04-01 | ? (TO) | 1300.02 | 1300.01 |
| Name | random/large/ unif-k3-r4.2-v15000-c63000-S980027332-029-UNKNOWN.cnf |
| MD5SUM | c08a1b82ea5b515d260c5edf61d7067c |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 17.5403 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 15000 |
| Number of clauses | 63000 |
| Sum of the clauses size | 189000 |
| Maximum clause length | 3 |
| Minimum clause length | 3 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 63000 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.00 static 0.00/0.00 HOME/instance-3189666-1302706078.cnf 0.00/0.00 c Parsing... 0.00/0.03 c ============================================================================== 0.00/0.03 c | | ORIGINAL | LEARNT | | 0.00/0.03 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.03 c ============================================================================== 0.00/0.03 c | 0 | 63000 189000 | 18899 0 0 nan | 0.000 % | 0.00/0.10 c | 0 | 62536 189956 | -- 0 -- -- | -- | -464/956 0.00/0.10 c ============================================================================== 0.00/0.10 c Result : #vars: 14607 #clauses: 62536 #literals: 189956 0.00/0.10 c CPU time: 0.095985 s 0.00/0.10 c ============================================================================== 0.00/0.19 c 0.00/0.19 c seed = 0, numatom = 14607, numclause = 62536, numliterals = 189956 0.00/0.19 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.00/0.19 c | resCDCL | tps | #impl | #learnt | #conf | #clean | #propa | #deci || tryLS | numflip | maxSat/maxNoBi | nbAlea | Equi | 0.00/0.19 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.12/0.37 c | 2 | 0.2 | 0 | 501 | 0 | 1 | 334092 | 6951 || 2 | 18386 | 1754/ 1754 | 323 | 0 | 0.12/0.49 c | 4 | 0.1 | 0 | 662 | 300 | 2 | 730625 | 13368 || 4 | 30799 | 1555/ 1555 | 709 | 0 | 0.12/0.63 c | 6 | 0.1 | 0 | 838 | 190 | 3 | 1224492 | 20854 || 6 | 44181 | 1555/ 1555 | 1106 | 0 | 0.12/0.77 c | 7 | 0.1 | 0 | 1005 | 389 | 4 | 1726331 | 25591 || 7 | 54976 | 1390/ 1390 | 1578 | 0 | 0.12/0.96 c | 11 | 0.2 | 0 | 1174 | 289 | 5 | 2329321 | 36664 || 11 | 79853 | 1390/ 1390 | 2226 | 0 | 1.07/1.16 c | 14 | 0.2 | 0 | 1384 | 486 | 6 | 2999247 | 47476 || 14 | 103271 | 1390/ 1390 | 3054 | 0 | 1.27/1.37 c | 15 | 0.2 | 0 | 1614 | 985 | 7 | 3746450 | 53909 || 15 | 119222 | 1244/ 1244 | 3967 | 0 | 1.47/1.59 c | 16 | 0.2 | 0 | 1800 | 81 | 8 | 4520393 | 60014 || 16 | 126817 | 1244/ 1244 | 4126 | 0 | 1.77/1.86 c | 21 | 0.3 | 0 | 1861 | 79 | 9 | 5365829 | 77487 || 21 | 163009 | 1244/ 1244 | 5041 | 0 | 2.07/2.13 c | 25 | 0.3 | 0 | 2072 | 179 | 10 | 6292335 | 90005 || 25 | 191668 | 1244/ 1244 | 6009 | 0 | 2.37/2.43 c | 29 | 0.3 | 0 | 2233 | 580 | 11 | 7294887 | 105052 || 29 | 224545 | 1244/ 1244 | 7028 | 0 | 2.67/2.72 c | 30 | 0.3 | 0 | 2396 | 374 | 12 | 8328753 | 114403 || 30 | 245382 | 1238/ 1238 | 7968 | 0 | 2.97/3.05 c | 31 | 0.3 | 0 | 2556 | 2077 | 13 | 9444307 | 122591 || 31 | 270407 | 1039/ 1039 | 9724 | 0 | 3.37/3.40 c | 31 | 0.4 | 0 | 2748 | 1474 | 14 | 10691913 | 127219 || 31 | 274736 | 1039/ 1039 | 9754 | 0 | 3.77/3.81 c | 38 | 0.4 | 0 | 2843 | 370 | 15 | 11984086 | 149614 || 38 | 323380 | 1039/ 1039 | 11270 | 0 | 4.17/4.23 c | 44 | 0.4 | 0 | 2946 | 266 | 16 | 13350372 | 169745 || 44 | 362781 | 1039/ 1039 | 12342 | 0 | 4.57/4.63 c | 46 | 0.4 | 0 | 3132 | 266 | 17 | 14706841 | 182857 || 46 | 394532 | 1039/ 1039 | 13735 | 0 | 4.97/5.09 c | 53 | 0.5 | 0 | 3299 | 260 | 18 | 16185792 | 205470 || 53 | 438222 | 1039/ 1039 | 15202 | 0 | 5.47/5.57 c | 59 | 0.5 | 0 | 3448 | 146 | 19 | 17729269 | 227940 || 59 | 483765 | 1039/ 1039 | 16307 | 0 | 5.97/6.02 c | 61 | 0.5 | 0 | 3670 | 739 | 20 | 19252203 | 241053 || 61 | 514638 | 1039/ 1039 | 17711 | 0 | 6.47/6.50 c | 62 | 0.5 | 0 | 3924 | 835 | 21 | 20842872 | 252830 || 62 | 546175 | 1039/ 1039 | 19507 | 0 | 6.97/7.05 c | 63 | 0.6 | 0 | 4061 | 3436 | 22 | 22525997 | 265362 || 63 | 586813 | 815/ 815 | 22996 | 0 | 7.57/7.69 c | 63 | 0.6 | 0 | 4338 | 1334 | 23 | 24190678 | 275282 || 63 | 605604 | 815/ 815 | 23110 | 0 | 8.16/8.28 c | 67 | 0.6 | 0 | 4237 | 28 | 24 | 26056500 | 291415 || 67 | 632374 | 815/ 815 | 23761 | 0 | 8.86/8.90 c | 76 | 0.6 | 0 | 4284 | 22 | 25 | 27972415 | 320986 || 76 | 696563 | 815/ 815 | 25655 | 0 | 9.36/9.48 c | 81 | 0.6 | 0 | 4469 | 116 | 26 | 29939279 | 340995 || 81 | 740585 | 815/ 815 | 27546 | 0 | 10.06/10.14 c | 90 | 0.7 | 0 | 4656 | 6 | 27 | 31971102 | 372533 || 90 | 805843 | 815/ 815 | 29364 | 0 | 10.66/10.78 c | 94 | 0.6 | 0 | 4870 | 1099 | 28 | 33992112 | 391581 || 94 | 855423 | 815/ 815 | 32718 | 0 | 11.36/11.47 c | 96 | 0.7 | 0 | 5100 | 94 | 29 | 36161935 | 406872 || 96 | 884457 | 815/ 815 | 33081 | 0 | 12.17/12.21 c | 107 | 0.7 | 0 | 5262 | 283 | 30 | 38434622 | 441844 || 107 | 958940 | 815/ 815 | 35358 | 0 | 12.87/12.91 c | 113 | 0.7 | 0 | 5484 | 272 | 31 | 40721069 | 467100 || 113 | 1011838 | 815/ 815 | 37427 | 0 | 13.66/13.71 c | 123 | 0.8 | 0 | 5644 | 61 | 32 | 43141000 | 503956 || 123 | 1089750 | 815/ 815 | 39795 | 0 | 14.36/14.45 c | 125 | 0.7 | 0 | 5785 | 156 | 33 | 45511176 | 521639 || 125 | 1136093 | 815/ 815 | 42516 | 0 | 15.16/15.27 c | 126 | 0.8 | 0 | 5927 | 3957 | 34 | 47921469 | 535687 || 126 | 1172813 | 793/ 793 | 45974 | 0 | 16.07/16.17 c | 126 | 0.9 | 0 | 6366 | 3058 | 35 | 50565289 | 545157 || 126 | 1182099 | 793/ 793 | 46054 | 0 | 16.97/17.06 c | 127 | 0.9 | 0 | 6158 | 7061 | 36 | 53033413 | 564584 || 127 | 1244429 | 556/ 556 | 52890 | 0 | 17.97/18.03 c | 127 | 1.0 | 0 | 6503 | 1561 | 37 | 55637536 | 579373 || 127 | 1271472 | 556/ 556 | 53101 | 0 | 18.87/18.93 c | 127 | 0.9 | 0 | 6097 | 5765 | 38 | 58427171 | 585222 || 127 | 1271472 | 556/ 556 | 53101 | 0 | 19.87/19.93 c | 140 | 1.0 | 0 | 6283 | 144 | 39 | 61350181 | 626624 || 140 | 1355913 | 556/ 556 | 55663 | 0 | 20.78/20.88 c | 149 | 0.9 | 0 | 6244 | 233 | 40 | 64276142 | 662238 || 149 | 1431150 | 556/ 556 | 58561 | 0 | 21.77/21.86 c | 157 | 1.0 | 0 | 6608 | 518 | 41 | 67252924 | 696748 || 157 | 1505075 | 556/ 556 | 61024 | 0 | 22.77/22.86 c | 163 | 1.0 | 0 | 6924 | 10 | 42 | 70313810 | 724468 || 163 | 1561827 | 556/ 556 | 63598 | 0 | 23.77/23.89 c | 173 | 1.0 | 0 | 7184 | 189 | 43 | 73398128 | 763553 || 173 | 1649364 | 556/ 556 | 66769 | 0 | 24.97/25.00 c | 187 | 1.1 | 0 | 7517 | 363 | 44 | 76641751 | 809646 || 187 | 1744521 | 556/ 556 | 69774 | 0 | 25.97/26.01 c | 189 | 1.0 | 0 | 7936 | 1061 | 45 | 79827483 | 833186 || 189 | 1801568 | 556/ 556 | 72555 | 0 | 26.97/27.07 c | 190 | 1.1 | 0 | 7924 | 1263 | 46 | 83017594 | 852145 || 190 | 1848497 | 556/ 556 | 76049 | 0 | 28.17/28.23 c | 200 | 1.2 | 0 | 8012 | 150 | 47 | 86453375 | 888893 || 200 | 1920841 | 556/ 556 | 78069 | 0 | 29.27/29.37 c | 212 | 1.1 | 0 | 8121 | 531 | 48 | 89845817 | 932359 || 212 | 2017977 | 556/ 556 | 81477 | 0 | 30.47/30.53 c | 221 | 1.2 | 0 | 8323 | 1604 | 49 | 93279270 | 970966 || 221 | 2106591 | 556/ 556 | 85708 | 0 | 31.67/31.74 c | 231 | 1.2 | 0 | 8508 | 287 | 50 | 96859971 | 1009946 || 231 | 2185697 | 556/ 556 | 87769 | 0 | 32.88/32.96 c | 243 | 1.2 | 0 | 8567 | 51 | 51 | 100414228 | 1057135 || 243 | 2285746 | 556/ 556 | 91216 | 0 | 34.17/34.21 c | 252 | 1.2 | 0 | 8772 | 2034 | 52 | 104069047 | 1095417 || 252 | 2374319 | 556/ 556 | 95406 | 0 | 35.47/35.50 c | 253 | 1.3 | 0 | 9205 | 526 | 53 | 107715710 | 1118253 || 253 | 2430759 | 556/ 556 | 98983 | 0 | 36.77/36.80 c | 254 | 1.3 | 0 | 9132 | 6327 | 54 | 111484069 | 1138631 || 254 | 2488155 | 556/ 556 | 105776 | 0 | 38.07/38.14 c | 254 | 1.3 | 0 | 9451 | 2630 | 55 | 115245601 | 1159365 || 254 | 2530053 | 556/ 556 | 106081 | 0 | 39.58/39.64 c | 255 | 1.5 | 0 | 9514 | 8632 | 56 | 119101716 | 1176438 || 255 | 2582274 | 449/ 449 | 119293 | 0 | 41.37/41.48 c | 255 | 1.8 | 0 | 9378 | 6105 | 57 | 122768186 | 1203657 || 255 | 2651793 | 449/ 449 | 119734 | 0 | 43.17/43.24 c | 255 | 1.8 | 0 | 9080 | 1737 | 58 | 126756647 | 1227878 || 255 | 2705506 | 449/ 449 | 120043 | 0 | 44.77/44.89 c | 255 | 1.6 | 0 | 8918 | 8039 | 59 | 130826934 | 1236580 || 255 | 2705506 | 449/ 449 | 120043 | 0 | 46.67/46.73 c | 262 | 1.8 | 0 | 9495 | 225 | 60 | 134933839 | 1263659 || 262 | 2749854 | 449/ 449 | 121516 | 0 | 48.17/48.24 c | 277 | 1.5 | 0 | 8779 | 296 | 61 | 139221413 | 1318536 || 277 | 2864703 | 449/ 449 | 125448 | 0 | 49.57/49.69 c | 286 | 1.4 | 0 | 9120 | 279 | 62 | 143462928 | 1364313 || 286 | 2968619 | 449/ 449 | 129757 | 0 | 51.17/51.23 c | 301 | 1.5 | 0 | 9569 | 953 | 63 | 147936137 | 1419122 || 301 | 3080295 | 449/ 449 | 133658 | 0 | 52.77/52.81 c | 316 | 1.6 | 0 | 10214 | 126 | 64 | 152467236 | 1477738 || 316 | 3200381 | 449/ 449 | 137602 | 0 | 54.27/54.35 c | 318 | 1.5 | 0 | 10650 | 4627 | 65 | 156940203 | 1507770 || 318 | 3279643 | 449/ 449 | 142954 | 0 | 55.97/56.02 c | 331 | 1.7 | 0 | 11278 | 108 | 66 | 161640662 | 1553617 || 331 | 3362512 | 449/ 449 | 145455 | 0 | 57.57/57.69 c | 347 | 1.7 | 0 | 11119 | 493 | 67 | 166270530 | 1612492 || 347 | 3489389 | 449/ 449 | 149833 | 0 | 59.27/59.35 c | 356 | 1.7 | 0 | 11335 | 471 | 68 | 170981915 | 1654173 || 356 | 3581584 | 449/ 449 | 154052 | 0 | 60.97/61.07 c | 373 | 1.7 | 0 | 11468 | 40 | 69 | 175775353 | 1719241 || 373 | 3713931 | 449/ 449 | 158246 | 0 | 62.68/62.75 c | 381 | 1.7 | 0 | 11630 | 2129 | 70 | 180598599 | 1760507 || 381 | 3814768 | 449/ 449 | 165483 | 0 | 64.47/64.50 c | 382 | 1.7 | 0 | 11676 | 4833 | 71 | 185472277 | 1788436 || 382 | 3888548 | 449/ 449 | 172441 | 0 | 66.27/66.32 c | 382 | 1.8 | 0 | 11975 | 2834 | 72 | 190238466 | 1817123 || 382 | 3947036 | 449/ 449 | 172825 | 0 | 68.18/68.28 c | 396 | 2.0 | 0 | 11889 | 323 | 73 | 195443263 | 1866118 || 396 | 4041133 | 449/ 449 | 175830 | 0 | 70.07/70.15 c | 412 | 1.9 | 0 | 11867 | 1105 | 74 | 200538731 | 1932053 || 412 | 4190750 | 449/ 449 | 180774 | 0 | 71.97/72.00 c | 426 | 1.8 | 0 | 12227 | 283 | 75 | 205764196 | 1989230 || 426 | 4313278 | 449/ 449 | 185209 | 0 | 73.77/73.90 c | 443 | 1.9 | 0 | 12347 | 955 | 76 | 211003521 | 2052941 || 443 | 4454466 | 449/ 449 | 190520 | 0 | 75.67/75.74 c | 445 | 1.8 | 0 | 12701 | 645 | 77 | 216180808 | 2087389 || 445 | 4539691 | 449/ 449 | 195909 | 0 | 77.67/77.77 c | 460 | 2.0 | 0 | 12986 | 22 | 78 | 221627746 | 2143262 || 460 | 4652879 | 449/ 449 | 199788 | 0 | 79.67/79.76 c | 476 | 2.0 | 0 | 13156 | 1898 | 79 | 227045192 | 2208483 || 476 | 4795873 | 449/ 449 | 205497 | 0 | 81.67/81.74 c | 491 | 2.0 | 0 | 13466 | 667 | 80 | 232500395 | 2269786 || 491 | 4918908 | 449/ 449 | 209466 | 0 | 83.77/83.81 c | 507 | 2.1 | 0 | 13541 | 348 | 81 | 238097522 | 2334414 || 507 | 5062162 | 449/ 449 | 215168 | 0 | 85.67/85.80 c | 509 | 2.0 | 0 | 13672 | 4147 | 82 | 243680218 | 2363445 || 509 | 5140170 | 449/ 449 | 225330 | 0 | 87.97/88.05 c | 509 | 2.2 | 0 | 13790 | 3245 | 83 | 249231659 | 2391946 || 509 | 5199431 | 449/ 449 | 225711 | 0 | 90.28/90.34 c | 510 | 2.3 | 0 | 14301 | 12047 | 84 | 254771546 | 2422905 || 510 | 5292218 | 449/ 449 | 239153 | 0 | 93.18/93.24 c | 510 | 2.9 | 0 | 14075 | 1749 | 85 | 260216645 | 2455849 || 510 | 5366405 | 449/ 449 | 239645 | 0 | 95.68/95.72 c | 510 | 2.5 | 0 | 13500 | 10751 | 86 | 266400846 | 2468262 || 510 | 5366405 | 449/ 449 | 239645 | 0 | 98.18/98.27 c | 511 | 2.5 | 0 | 13824 | 19853 | 87 | 272108053 | 2507399 || 511 | 5505761 | 322/ 322 | 266243 | 0 | 101.27/101.31 c | 511 | 3.0 | 0 | 13082 | 9201 | 88 | 277658775 | 2547515 || 511 | 5608280 | 322/ 322 | 266949 | 0 | 105.48/105.58 c | 511 | 4.3 | 0 | 14120 | 9303 | 89 | 283132032 | 2585705 || 511 | 5704075 | 322/ 322 | 267557 | 0 | 108.07/108.15 c | 511 | 2.6 | 0 | 12771 | 9357 | 90 | 289498346 | 2600118 || 511 | 5704605 | 322/ 322 | 267561 | 0 | 111.27/111.38 c | 511 | 3.2 | 0 | 13565 | 18863 | 91 | 295876877 | 2613112 || 511 | 5704605 | 322/ 322 | 267561 | 0 | 114.67/114.79 c | 521 | 3.4 | 0 | 14089 | 143 | 92 | 302261644 | 2653566 || 521 | 5771008 | 322/ 322 | 269547 | 0 | 117.17/117.23 c | 541 | 2.4 | 0 | 12959 | 507 | 93 | 308616536 | 2732046 || 541 | 5938516 | 322/ 322 | 275416 | 0 | 119.57/119.60 c | 557 | 2.4 | 0 | 13438 | 686 | 94 | 314953141 | 2800001 || 557 | 6085387 | 322/ 322 | 281136 | 0 | 121.98/122.02 c | 574 | 2.4 | 0 | 14300 | 1759 | 95 | 321389995 | 2871626 || 574 | 6247085 | 322/ 322 | 290204 | 0 | 124.47/124.53 c | 587 | 2.5 | 0 | 14755 | 229 | 96 | 327917806 | 2933484 || 587 | 6372697 | 322/ 322 | 292995 | 0 | 126.97/127.07 c | 605 | 2.5 | 0 | 15461 | 1793 | 97 | 334623897 | 3010298 || 605 | 6549042 | 322/ 322 | 300118 | 0 | 129.57/129.61 c | 626 | 2.5 | 0 | 16511 | 138 | 98 | 341389241 | 3092882 || 626 | 6712647 | 322/ 322 | 305119 | 0 | 132.07/132.11 c | 637 | 2.5 | 0 | 16406 | 3830 | 99 | 347985917 | 3152506 || 637 | 6858352 | 322/ 322 | 313281 | 0 | 134.67/134.71 c | 638 | 2.6 | 0 | 16643 | 9432 | 100 | 354738844 | 3194781 || 638 | 6971573 | 322/ 322 | 320469 | 0 | 137.48/137.53 c | 651 | 2.8 | 0 | 16540 | 107 | 101 | 361428326 | 3250378 || 651 | 7068152 | 322/ 322 | 323083 | 0 | 140.07/140.17 c | 669 | 2.6 | 0 | 16261 | 47 | 102 | 368393885 | 3327144 || 669 | 7243225 | 322/ 322 | 330214 | 0 | 142.77/142.88 c | 693 | 2.7 | 0 | 16484 | 13 | 103 | 375564487 | 3413410 || 693 | 7413189 | 322/ 322 | 335886 | 0 | 145.37/145.49 c | 701 | 2.6 | 0 | 16689 | 702 | 104 | 382401375 | 3470583 || 701 | 7551316 | 322/ 322 | 343404 | 0 | 148.27/148.31 c | 723 | 2.8 | 0 | 16791 | 574 | 105 | 389591710 | 3552831 || 723 | 7722857 | 322/ 322 | 348955 | 0 | 150.97/151.07 c | 743 | 2.8 | 0 | 17125 | 24 | 106 | 396815184 | 3635356 || 743 | 7895030 | 322/ 322 | 355396 | 0 | 153.87/153.91 c | 763 | 2.8 | 0 | 17569 | 2390 | 107 | 404172838 | 3718585 || 763 | 8078755 | 322/ 322 | 362851 | 0 | 156.57/156.67 c | 765 | 2.8 | 0 | 17908 | 6390 | 108 | 411322346 | 3761804 || 765 | 8188530 | 322/ 322 | 373230 | 0 | 159.67/159.73 c | 766 | 3.1 | 0 | 18161 | 8093 | 109 | 418471934 | 3795014 || 766 | 8271354 | 322/ 322 | 386626 | 0 | 163.17/163.23 c | 766 | 3.5 | 0 | 17707 | 292 | 110 | 425276790 | 3846773 || 766 | 8397434 | 322/ 322 | 387430 | 0 | 166.58/166.65 c | 766 | 3.4 | 0 | 17427 | 11793 | 111 | 433069773 | 3862581 || 766 | 8397434 | 322/ 322 | 387430 | 0 | 169.78/169.86 c | 795 | 3.2 | 0 | 17496 | 343 | 112 | 440825039 | 3964496 || 795 | 8614574 | 322/ 322 | 394339 | 0 | 172.78/172.81 c | 812 | 2.9 | 0 | 17282 | 600 | 113 | 448527972 | 4042925 || 812 | 8785866 | 322/ 322 | 401042 | 0 | 175.68/175.78 c | 829 | 3.0 | 0 | 17635 | 3579 | 114 | 456228411 | 4121014 || 829 | 8970134 | 322/ 322 | 410242 | 0 | 178.78/178.86 c | 849 | 3.1 | 0 | 18218 | 140 | 115 | 464065966 | 4200484 || 849 | 9130521 | 322/ 322 | 415077 | 0 | 181.88/181.93 c | 871 | 3.1 | 0 | 18485 | 94 | 116 | 472010160 | 4290117 || 871 | 9322226 | 322/ 322 | 422236 | 0 | 184.98/185.03 c | 891 | 3.1 | 0 | 19151 | 1055 | 117 | 479893445 | 4374921 || 891 | 9508216 | 322/ 322 | 429690 | 0 | 188.18/188.25 c | 893 | 3.2 | 0 | 20054 | 8453 | 118 | 487615729 | 4424498 || 893 | 9639701 | 322/ 322 | 440157 | 0 | 191.78/191.84 c | 907 | 3.6 | 0 | 20023 | 322 | 119 | 495657394 | 4487070 || 907 | 9752468 | 322/ 322 | 443250 | 0 | 194.98/195.03 c | 929 | 3.2 | 0 | 19501 | 180 | 120 | 503810950 | 4574294 || 929 | 9942894 | 322/ 322 | 450623 | 0 | 198.28/198.34 c | 955 | 3.3 | 0 | 19776 | 1524 | 121 | 512031675 | 4675860 || 955 | 10161732 | 322/ 322 | 459434 | 0 | 201.58/201.65 c | 969 | 3.3 | 0 | 20246 | 199 | 122 | 520119240 | 4745265 || 969 | 10305502 | 322/ 322 | 465522 | 0 | 204.88/204.92 c | 989 | 3.3 | 0 | 20166 | 55 | 123 | 528508777 | 4833365 || 989 | 10495932 | 322/ 322 | 472913 | 0 | 208.28/208.33 c | 1018 | 3.4 | 0 | 20486 | 1102 | 124 | 536985244 | 4938710 || 1018 | 10725933 | 322/ 322 | 482159 | 0 | 211.48/211.59 c | 1020 | 3.3 | 0 | 21225 | 6798 | 125 | 545113359 | 4989149 || 1020 | 10860996 | 322/ 322 | 492665 | 0 | 215.18/215.25 c | 1021 | 3.7 | 0 | 21422 | 10197 | 126 | 553424243 | 5030318 || 1021 | 10963878 | 322/ 322 | 506217 | 0 | 219.18/219.26 c | 1021 | 4.0 | 0 | 20783 | 4096 | 127 | 561677326 | 5079193 || 1021 | 11066221 | 322/ 322 | 506977 | 0 | 222.88/222.93 c | 1022 | 3.7 | 0 | 20559 | 17299 | 128 | 570213559 | 5113505 || 1022 | 11167194 | 286/ 286 | 533359 | 0 | 229.37/229.47 c | 1022 | 6.5 | 0 | 20404 | 13301 | 129 | 577447019 | 5172055 || 1022 | 11313566 | 286/ 286 | 534358 | 0 | 236.48/236.52 c | 1022 | 7.0 | 0 | 21059 | 5600 | 130 | 585545216 | 5214381 || 1022 | 11393191 | 286/ 286 | 534923 | 0 | 241.98/242.04 c | 1022 | 5.5 | 0 | 18985 | 19101 | 131 | 594497387 | 5231807 || 1022 | 11393191 | 286/ 286 | 534923 | 0 | 246.97/247.06 c | 1023 | 5.0 | 0 | 19686 | 32705 | 132 | 603129073 | 5273691 || 1023 | 11561980 | 260/ 260 | 587525 | 0 | 253.17/253.23 c | 1023 | 6.2 | 0 | 18494 | 13701 | 133 | 611166701 | 5329502 || 1023 | 11697525 | 260/ 260 | 588413 | 0 | 262.27/262.38 c | 1023 | 9.2 | 0 | 20371 | 13804 | 134 | 618883813 | 5382709 || 1023 | 11823364 | 260/ 260 | 589288 | 0 | 271.28/271.31 c | 1023 | 8.9 | 0 | 20766 | 13902 | 135 | 626681289 | 5436091 || 1023 | 11950539 | 260/ 260 | 590203 | 0 | 276.48/276.51 c | 1023 | 5.2 | 0 | 20029 | 11312 | 136 | 635505284 | 5463267 || 1023 | 11973859 | 260/ 260 | 590392 | 0 | 282.38/282.42 c | 1023 | 5.9 | 0 | 19789 | 25414 | 137 | 644789375 | 5482405 || 1023 | 11973859 | 260/ 260 | 590392 | 0 | 288.09/288.12 c | 1023 | 5.7 | 0 | 19421 | 39617 | 138 | 654218380 | 5502084 || 1023 | 11973859 | 260/ 260 | 590392 | 0 | 293.48/293.58 c | 1032 | 5.5 | 0 | 18929 | 0 | 139 | 663703137 | 5546597 || 1032 | 12034214 | 260/ 260 | 592178 | 0 | 297.38/297.40 c | 1059 | 3.8 | 0 | 18100 | 149 | 140 | 673138867 | 5654022 || 1059 | 12268763 | 260/ 260 | 600860 | 0 | 301.18/301.21 c | 1085 | 3.8 | 0 | 19521 | 1104 | 141 | 682644230 | 5763417 || 1085 | 12511089 | 260/ 260 | 609822 | 0 | 305.08/305.11 c | 1107 | 3.9 | 0 | 20815 | 175 | 142 | 692189941 | 5858945 || 1107 | 12715468 | 260/ 260 | 618344 | 0 | 308.99/309.05 c | 1132 | 3.9 | 0 | 21207 | 727 | 143 | 701840386 | 5962940 || 1132 | 12941325 | 260/ 260 | 627027 | 0 | 312.98/313.01 c | 1149 | 4.0 | 0 | 22444 | 1896 | 144 | 711345665 | 6050407 || 1149 | 13138807 | 260/ 260 | 636247 | 0 | 317.28/317.30 c | 1153 | 4.3 | 0 | 23642 | 190 | 145 | 720694652 | 6102435 || 1153 | 13250882 | 260/ 260 | 643868 | 0 | 321.38/321.44 c | 1181 | 4.1 | 0 | 22789 | 1344 | 146 | 730611089 | 6214744 || 1181 | 13492977 | 260/ 260 | 653009 | 0 | 325.59/325.66 c | 1212 | 4.2 | 0 | 23127 | 399 | 147 | 740630448 | 6337006 || 1212 | 13758212 | 260/ 260 | 662696 | 0 | 329.78/329.86 c | 1233 | 4.2 | 0 | 23268 | 54 | 148 | 750581589 | 6429105 || 1233 | 13954782 | 260/ 260 | 670858 | 0 | 334.08/334.10 c | 1262 | 4.2 | 0 | 23342 | 105 | 149 | 760672415 | 6543742 || 1262 | 14197818 | 260/ 260 | 680229 | 0 | 338.18/338.23 c | 1276 | 4.1 | 0 | 23629 | 2974 | 150 | 770715598 | 6625656 || 1276 | 14383877 | 260/ 260 | 689005 | 0 | 342.58/342.68 c | 1278 | 4.5 | 0 | 24181 | 8875 | 151 | 780521376 | 6678334 || 1278 | 14530777 | 260/ 260 | 709300 | 0 | 347.78/347.82 c | 1278 | 5.1 | 0 | 24425 | 5277 | 152 | 790062081 | 6734430 || 1278 | 14647850 | 260/ 260 | 710153 | 0 | 352.48/352.58 c | 1300 | 4.8 | 0 | 24453 | 333 | 153 | 800402537 | 6821030 || 1300 | 14812808 | 260/ 260 | 715535 | 0 | 356.88/356.92 c | 1330 | 4.3 | 0 | 23550 | 64 | 154 | 810694521 | 6939065 || 1330 | 15061318 | 260/ 260 | 724735 | 0 | 361.08/361.19 c | 1347 | 4.3 | 0 | 23853 | 228 | 155 | 820974730 | 7027944 || 1347 | 15254691 | 260/ 260 | 733929 | 0 | 365.48/365.59 c | 1378 | 4.4 | 0 | 23889 | 158 | 156 | 831420621 | 7149983 || 1378 | 15516890 | 260/ 260 | 743593 | 0 | 369.88/369.96 c | 1404 | 4.4 | 0 | 24303 | 2923 | 157 | 841886647 | 7263693 || 1404 | 15772420 | 260/ 260 | 755601 | 0 | 374.18/374.21 c | 1405 | 4.3 | 0 | 25123 | 4719 | 158 | 852198683 | 7316359 || 1405 | 15892720 | 260/ 260 | 762815 | 0 | 378.78/378.84 c | 1436 | 4.6 | 0 | 26010 | 152 | 159 | 862971144 | 7438699 || 1436 | 16153654 | 260/ 260 | 772474 | 0 | 383.38/383.40 c | 1467 | 4.6 | 0 | 25907 | 503 | 160 | 873744445 | 7561822 || 1467 | 16415242 | 260/ 260 | 782177 | 0 | 387.98/388.01 c | 1491 | 4.6 | 0 | 26217 | 61 | 161 | 884641256 | 7667454 || 1491 | 16646624 | 260/ 260 | 791369 | 0 | 392.69/392.76 c | 1524 | 4.8 | 0 | 26319 | 112 | 162 | 895544656 | 7797503 || 1524 | 16922203 | 260/ 260 | 801331 | 0 | 397.18/397.27 c | 1532 | 4.5 | 0 | 26640 | 7009 | 163 | 906199585 | 7873359 || 1532 | 17113080 | 260/ 260 | 815407 | 0 | 402.78/402.83 c | 1533 | 5.6 | 0 | 27153 | 14209 | 164 | 917152374 | 7932500 || 1533 | 17262943 | 260/ 260 | 829230 | 0 | 408.58/408.61 c | 1533 | 5.8 | 0 | 27118 | 11911 | 165 | 927910632 | 7970472 || 1533 | 17316016 | 260/ 260 | 829563 | 0 | 414.98/415.00 c | 1534 | 6.4 | 0 | 26674 | 28914 | 166 | 938024213 | 8044080 || 1534 | 17543767 | 260/ 260 | 856929 | 0 | 422.58/422.62 c | 1534 | 7.6 | 0 | 26831 | 7613 | 167 | 948539775 | 8094996 || 1534 | 17643471 | 260/ 260 | 857634 | 0 | 429.78/429.86 c | 1534 | 7.2 | 0 | 25082 | 24814 | 168 | 960144083 | 8118515 || 1534 | 17643471 | 260/ 260 | 857634 | 0 | 434.88/434.96 c | 1568 | 5.1 | 0 | 24556 | 149 | 169 | 971600223 | 8249419 || 1568 | 17916244 | 260/ 260 | 867727 | 0 | 439.78/439.82 c | 1597 | 4.9 | 0 | 23965 | 3402 | 170 | 983103411 | 8374076 || 1597 | 18194225 | 260/ 260 | 880264 | 0 | 444.78/444.84 c | 1628 | 5.0 | 0 | 25168 | 836 | 171 | 994635157 | 8494412 || 1628 | 18446607 | 260/ 260 | 889825 | 0 | 449.79/449.80 c | 1659 | 5.0 | 0 | 25948 | 2361 | 172 | 1006193071 | 8621221 || 1659 | 18726675 | 260/ 260 | 899647 | 0 | 454.68/454.70 c | 1661 | 4.9 | 0 | 27194 | 3250 | 173 | 1017537706 | 8683059 || 1661 | 18870716 | 260/ 260 | 910242 | 0 | 459.79/459.86 c | 1692 | 5.2 | 0 | 27814 | 188 | 174 | 1029234658 | 8806789 || 1692 | 19132574 | 260/ 260 | 919909 | 0 | 464.88/464.92 c | 1724 | 5.1 | 0 | 28724 | 2034 | 175 | 1040989150 | 8933375 || 1724 | 19409946 | 260/ 260 | 932890 | 0 | 470.08/470.19 c | 1754 | 5.3 | 0 | 28339 | 1167 | 176 | 1052908408 | 9061910 || 1754 | 19684919 | 260/ 260 | 941044 | 0 | 475.39/475.40 c | 1786 | 5.2 | 0 | 28604 | 2006 | 177 | 1064793742 | 9192152 || 1786 | 19969196 | 260/ 260 | 952438 | 0 | 480.39/480.43 c | 1788 | 5.0 | 0 | 28870 | 3401 | 178 | 1076768487 | 9257939 || 1788 | 20129835 | 260/ 260 | 963112 | 0 | 486.69/486.74 c | 1789 | 6.3 | 0 | 28816 | 2499 | 179 | 1088218381 | 9323330 || 1789 | 20290230 | 260/ 260 | 977139 | 0 | 492.69/492.79 c | 1811 | 6.1 | 0 | 29215 | 241 | 180 | 1100434173 | 9411423 || 1811 | 20447986 | 260/ 260 | 982558 | 0 | 498.19/498.21 c | 1849 | 5.4 | 0 | 28424 | 260 | 181 | 1112623204 | 9556118 || 1849 | 20755651 | 260/ 260 | 993705 | 0 | 503.39/503.44 c | 1869 | 5.2 | 0 | 28792 | 121 | 182 | 1124786438 | 9659569 || 1869 | 20986918 | 260/ 260 | 1004133 | 0 | 508.89/508.93 c | 1908 | 5.5 | 0 | 28858 | 149 | 183 | 1137221384 | 9808558 || 1908 | 21298424 | 260/ 260 | 1015428 | 0 | 514.29/514.34 c | 1916 | 5.4 | 0 | 29158 | 8829 | 184 | 1149337130 | 9896315 || 1916 | 21512011 | 260/ 260 | 1029637 | 0 | 519.99/520.01 c | 1946 | 5.7 | 0 | 29843 | 884 | 185 | 1161862663 | 10014121 || 1946 | 21744585 | 260/ 260 | 1037478 | 0 | 525.49/525.50 c | 1978 | 5.5 | 0 | 30320 | 217 | 186 | 1174370860 | 10147703 || 1978 | 22033315 | 260/ 260 | 1048964 | 0 | 531.09/531.11 c | 2009 | 5.6 | 0 | 30872 | 462 | 187 | 1186927825 | 10279360 || 2009 | 22310623 | 260/ 260 | 1060302 | 0 | 536.59/536.69 c | 2041 | 5.6 | 0 | 30879 | 2390 | 188 | 1199507277 | 10415969 || 2041 | 22606510 | 260/ 260 | 1071836 | 0 | 542.30/542.37 c | 2043 | 5.7 | 0 | 31260 | 4884 | 189 | 1212139649 | 10479326 || 2043 | 22748057 | 260/ 260 | 1082371 | 0 | 548.79/548.90 c | 2044 | 6.5 | 0 | 31194 | 5087 | 190 | 1224367271 | 10554707 || 2044 | 22937224 | 260/ 260 | 1096489 | 0 | 555.99/556.01 c | 2045 | 7.1 | 0 | 31659 | 24588 | 191 | 1236536189 | 10616657 || 2045 | 23116658 | 260/ 260 | 1123389 | 0 | 566.09/566.16 c | 2045 | 10.1 | 0 | 31595 | 5788 | 192 | 1248333034 | 10682194 || 2045 | 23257727 | 260/ 260 | 1124335 | 0 | 573.29/573.33 c | 2045 | 7.2 | 0 | 29599 | 25489 | 193 | 1261659443 | 10710597 || 2045 | 23257727 | 260/ 260 | 1124335 | 0 | 581.29/581.39 c | 2046 | 8.0 | 0 | 28468 | 45291 | 194 | 1273692473 | 10795948 || 2046 | 23566629 | 260/ 260 | 1177844 | 0 | 592.39/592.44 c | 2046 | 11.0 | 0 | 27758 | 19901 | 195 | 1286022950 | 10879756 || 2046 | 23778558 | 260/ 260 | 1179307 | 0 | 604.29/604.37 c | 2046 | 11.9 | 0 | 28977 | 8391 | 196 | 1298880690 | 10938880 || 2046 | 23895122 | 260/ 260 | 1180103 | 0 | 615.29/615.36 c | 2046 | 11.0 | 0 | 27522 | 28494 | 197 | 1312439703 | 10965546 || 2046 | 23895122 | 260/ 260 | 1180103 | 0 | 631.19/631.27 c | 2046 | 15.9 | 0 | 31237 | 48696 | 198 | 1325901887 | 10990937 || 2046 | 23895122 | 260/ 260 | 1180103 | 0 | 639.79/639.81 c | 2047 | 8.5 | 0 | 28860 | 68998 | 199 | 1338201249 | 11068193 || 2047 | 24243104 | 183/ 183 | 1285292 | 0 | 652.59/652.64 c | 2047 | 12.8 | 0 | 27477 | 20405 | 200 | 1349486739 | 11149197 || 2047 | 24448193 | 183/ 183 | 1286734 | 0 | 670.29/670.39 c | 2047 | 17.8 | 0 | 28911 | 20501 | 201 | 1360374279 | 11227620 || 2047 | 24636576 | 183/ 183 | 1288070 | 0 | 686.99/687.01 c | 2047 | 16.6 | 0 | 30010 | 20603 | 202 | 1371308254 | 11304155 || 2047 | 24814818 | 183/ 183 | 1289326 | 0 | 700.99/701.05 c | 2047 | 14.0 | 0 | 28815 | 20702 | 203 | 1382228040 | 11383375 || 2047 | 25006242 | 183/ 183 | 1290738 | 0 | 710.09/710.14 c | 2047 | 9.1 | 0 | 28637 | 18408 | 204 | 1395886957 | 11419173 || 2047 | 25028567 | 183/ 183 | 1290882 | 0 | 722.29/722.32 c | 2047 | 12.2 | 0 | 26976 | 39309 | 205 | 1409740309 | 11447553 || 2047 | 25028567 | 183/ 183 | 1290882 | 0 | 734.19/734.23 c | 2047 | 11.9 | 0 | 27049 | 60312 | 206 | 1423721473 | 11475700 || 2047 | 25028567 | 183/ 183 | 1290882 | 0 | 748.09/748.12 c | 2047 | 13.9 | 0 | 28177 | 81414 | 207 | 1437576691 | 11503140 || 2047 | 25028567 | 183/ 183 | 1290882 | 0 | 761.99/762.09 c | 2049 | 14.0 | 0 | 29486 | 112 | 208 | 1451483752 | 11534659 || 2049 | 25036536 | 183/ 183 | 1291126 | 0 | 768.60/768.62 c | 2093 | 6.5 | 0 | 26373 | 1027 | 209 | 1465464375 | 11708241 || 2093 | 25409824 | 183/ 183 | 1304536 | 0 | 774.80/774.89 c | 2124 | 6.3 | 0 | 28176 | 569 | 210 | 1479426070 | 11848022 || 2124 | 25713984 | 183/ 183 | 1316845 | 0 | 781.40/781.41 c | 2167 | 6.5 | 0 | 28951 | 88 | 211 | 1493636021 | 12015729 || 2167 | 26072532 | 183/ 183 | 1329563 | 0 | 787.50/787.51 c | 2174 | 6.1 | 0 | 30975 | 2572 | 212 | 1507238099 | 12106218 || 2174 | 26288757 | 183/ 183 | 1343711 | 0 | 794.21/794.23 c | 2212 | 6.7 | 0 | 32504 | 407 | 213 | 1521700762 | 12256084 || 2212 | 26603331 | 183/ 183 | 1354773 | 0 | 800.70/800.76 c | 2242 | 6.5 | 0 | 34021 | 35 | 214 | 1536032129 | 12392765 || 2242 | 26894429 | 183/ 183 | 1367277 | 0 | 807.41/807.48 c | 2286 | 6.7 | 0 | 33318 | 269 | 215 | 1550457001 | 12566045 || 2286 | 27267474 | 183/ 183 | 1380636 | 0 | 813.90/813.99 c | 2301 | 6.5 | 0 | 33748 | 140 | 216 | 1564660432 | 12678511 || 2301 | 27544417 | 183/ 183 | 1396455 | 0 | 820.90/820.91 c | 2302 | 6.9 | 0 | 33776 | 3041 | 217 | 1578478595 | 12751082 || 2302 | 27714960 | 183/ 183 | 1410452 | 0 | 828.50/828.55 c | 2332 | 7.6 | 0 | 34016 | 385 | 218 | 1593224556 | 12872544 || 2332 | 27947896 | 183/ 183 | 1418330 | 0 | 835.20/835.22 c | 2365 | 6.7 | 0 | 33752 | 4211 | 219 | 1607677042 | 13019516 || 2365 | 28277602 | 183/ 183 | 1433349 | 0 | 842.10/842.10 c | 2404 | 6.9 | 0 | 34072 | 36 | 220 | 1622506631 | 13174905 || 2404 | 28597151 | 183/ 183 | 1444700 | 0 | 848.80/848.81 c | 2429 | 6.7 | 0 | 34347 | 5795 | 221 | 1637052769 | 13304121 || 2429 | 28898206 | 183/ 183 | 1462936 | 0 | 856.00/856.01 c | 2459 | 7.2 | 0 | 34450 | 339 | 222 | 1651578717 | 13440639 || 2459 | 29173801 | 183/ 183 | 1471013 | 0 | 862.90/862.99 c | 2492 | 7.0 | 0 | 34548 | 4581 | 223 | 1666428556 | 13592585 || 2492 | 29517287 | 183/ 183 | 1485970 | 0 | 870.00/870.01 c | 2534 | 7.0 | 0 | 35802 | 294 | 224 | 1681540096 | 13754604 || 2534 | 29853104 | 183/ 183 | 1497736 | 0 | 876.71/876.80 c | 2556 | 6.8 | 0 | 35864 | 6956 | 225 | 1696280407 | 13882773 || 2556 | 30152577 | 183/ 183 | 1515608 | 0 | 884.50/884.50 c | 2557 | 7.7 | 0 | 36429 | 1155 | 226 | 1710838981 | 13962350 || 2557 | 30347210 | 183/ 183 | 1529753 | 0 | 892.60/892.61 c | 2558 | 8.1 | 0 | 35455 | 24258 | 227 | 1725386842 | 14032540 || 2558 | 30524213 | 183/ 183 | 1556720 | 0 | 902.20/902.27 c | 2558 | 9.7 | 0 | 35890 | 9063 | 228 | 1738905003 | 14113648 || 2558 | 30694736 | 183/ 183 | 1557895 | 0 | 911.40/911.46 c | 2575 | 9.2 | 0 | 35735 | 35 | 229 | 1753958574 | 14195444 || 2575 | 30821908 | 183/ 183 | 1562078 | 0 | 918.80/918.85 c | 2620 | 7.4 | 0 | 33445 | 2064 | 230 | 1769389709 | 14376165 || 2620 | 31216678 | 183/ 183 | 1577134 | 0 | 925.90/925.96 c | 2652 | 7.1 | 0 | 33753 | 682 | 231 | 1784726437 | 14525235 || 2652 | 31536828 | 183/ 183 | 1590367 | 0 | 933.10/933.12 c | 2685 | 7.2 | 0 | 34166 | 3427 | 232 | 1800218498 | 14673393 || 2685 | 31867534 | 183/ 183 | 1610088 | 0 | 940.80/940.82 c | 2714 | 7.7 | 0 | 35043 | 262 | 233 | 1815578917 | 14812494 || 2714 | 32153201 | 183/ 183 | 1617505 | 0 | 948.10/948.17 c | 2748 | 7.4 | 0 | 36106 | 4403 | 234 | 1831281380 | 14971076 || 2748 | 32512224 | 183/ 183 | 1633363 | 0 | 955.70/955.74 c | 2793 | 7.6 | 0 | 37625 | 410 | 235 | 1847057403 | 15145266 || 2793 | 32869522 | 183/ 183 | 1646038 | 0 | 963.00/963.00 c | 2812 | 7.3 | 0 | 38118 | 8984 | 236 | 1862459990 | 15275471 || 2812 | 33182769 | 183/ 183 | 1663218 | 0 | 971.80/971.85 c | 2813 | 8.9 | 0 | 38414 | 4281 | 237 | 1877604905 | 15353147 || 2813 | 33367448 | 183/ 183 | 1677282 | 0 | 979.70/979.70 c | 2844 | 7.9 | 0 | 37539 | 1211 | 238 | 1893598989 | 15486017 || 2844 | 33629617 | 183/ 183 | 1686922 | 0 | 987.20/987.28 c | 2882 | 7.6 | 0 | 37525 | 39 | 239 | 1909534208 | 15648438 || 2882 | 33975196 | 183/ 183 | 1701119 | 0 | 995.20/995.21 c | 2933 | 7.9 | 0 | 38040 | 46 | 240 | 1925678389 | 15839357 || 2933 | 34386522 | 183/ 183 | 1715797 | 0 | 1002.90/1002.91 c | 2940 | 7.7 | 0 | 38422 | 5437 | 241 | 1941754768 | 15936838 || 2940 | 34608377 | 183/ 183 | 1730024 | 0 | 1010.80/1010.87 c | 2991 | 8.0 | 0 | 38407 | 34 | 242 | 1957953992 | 16127095 || 2991 | 35007164 | 183/ 183 | 1744340 | 0 | 1018.70/1018.70 c | 3029 | 7.8 | 0 | 38682 | 62 | 243 | 1974079220 | 16291531 || 3029 | 35362924 | 183/ 183 | 1758980 | 0 | 1026.40/1026.40 c | 3066 | 7.7 | 0 | 39867 | 4103 | 244 | 1990192918 | 16459252 || 3066 | 35739688 | 183/ 183 | 1775696 | 0 | 1034.30/1034.39 c | 3068 | 8.0 | 0 | 40632 | 14598 | 245 | 2005661848 | 16546382 || 3068 | 35954578 | 183/ 183 | 1796401 | 0 | 1043.10/1043.14 c | 3069 | 8.8 | 0 | 40541 | 20396 | 246 | 2021550482 | 16623262 || 3069 | 36144250 | 183/ 183 | 1823409 | 0 | 1054.10/1054.16 c | 3069 | 11.0 | 0 | 39370 | 7098 | 247 | 2037207558 | 16721839 || 3069 | 36354326 | 183/ 183 | 1824963 | 0 | 1065.40/1065.47 c | 3070 | 11.3 | 0 | 39325 | 32300 | 248 | 2054067566 | 16777784 || 3070 | 36515256 | 183/ 183 | 1877466 | 0 | 1078.50/1078.57 c | 3070 | 13.1 | 0 | 37597 | 25301 | 249 | 2069061858 | 16885555 || 3070 | 36779077 | 183/ 183 | 1879328 | 0 | 1094.41/1094.44 c | 3070 | 15.9 | 0 | 38185 | 6204 | 250 | 2084116129 | 16978277 || 3070 | 36977088 | 183/ 183 | 1880668 | 0 | 1106.70/1106.74 c | 3070 | 12.3 | 0 | 34244 | 31706 | 251 | 2101625218 | 17012430 || 3070 | 36977088 | 183/ 183 | 1880668 | 0 | 1119.71/1119.72 c | 3085 | 13.0 | 0 | 36323 | 481 | 252 | 2118689473 | 17094252 || 3085 | 37095944 | 183/ 183 | 1884594 | 0 | 1127.90/1127.93 c | 3132 | 8.2 | 0 | 33454 | 1309 | 253 | 2135596596 | 17283748 || 3132 | 37497744 | 183/ 183 | 1899889 | 0 | 1136.00/1136.07 c | 3174 | 8.1 | 0 | 35274 | 40 | 254 | 2152542044 | 17458875 || 3174 | 37875742 | 183/ 183 | 1915108 | 0 | 1144.20/1144.25 c | 3197 | 8.2 | 0 | 36283 | 91 | 255 | 2169275566 | 17602547 || 3197 | 38213961 | 183/ 183 | 1933370 | 0 | 1152.61/1152.61 c | 3240 | 8.4 | 0 | 38135 | 98 | 256 | 2186520012 | 17772108 || 3240 | 38558734 | 183/ 183 | 1945360 | 0 | 1160.81/1160.89 c | 3279 | 8.3 | 0 | 39072 | 221 | 257 | 2203719850 | 17945293 || 3279 | 38930676 | 183/ 183 | 1960852 | 0 | 1169.11/1169.19 c | 3323 | 8.3 | 0 | 41158 | 2934 | 258 | 2220816701 | 18126699 || 3323 | 39333652 | 183/ 183 | 1978888 | 0 | 1177.71/1177.71 c | 3325 | 8.5 | 0 | 41406 | 14833 | 259 | 2237700889 | 18225075 || 3325 | 39583546 | 183/ 183 | 1999762 | 0 | 1187.21/1187.28 c | 3349 | 9.6 | 0 | 41639 | 92 | 260 | 2255235240 | 18346862 || 3349 | 39809220 | 183/ 183 | 2005782 | 0 | 1195.72/1195.79 c | 3388 | 8.5 | 0 | 40466 | 413 | 261 | 2272476912 | 18524277 || 3388 | 40203899 | 183/ 183 | 2022862 | 0 | 1204.52/1204.54 c | 3440 | 8.7 | 0 | 41105 | 228 | 262 | 2290079866 | 18720458 || 3440 | 40612239 | 183/ 183 | 2037308 | 0 | 1212.71/1212.76 c | 3452 | 8.2 | 0 | 41431 | 5613 | 263 | 2307279039 | 18833458 || 3452 | 40872827 | 183/ 183 | 2052646 | 0 | 1221.71/1221.75 c | 3510 | 9.0 | 0 | 41403 | 6 | 264 | 2325096735 | 19047574 || 3510 | 41322275 | 183/ 183 | 2068462 | 0 | 1230.41/1230.48 c | 3546 | 8.7 | 0 | 41764 | 2351 | 265 | 2342765872 | 19217454 || 3546 | 41690122 | 183/ 183 | 2085055 | 0 | 1239.11/1239.10 c | 3579 | 8.6 | 0 | 42875 | 6077 | 266 | 2360463396 | 19380418 || 3579 | 42057379 | 183/ 183 | 2105061 | 0 | 1248.52/1248.51 c | 3580 | 9.4 | 0 | 43337 | 4376 | 267 | 2377489343 | 19472688 || 3580 | 42267264 | 183/ 183 | 2119303 | 0 | 1258.81/1258.83 c | 3581 | 10.3 | 0 | 42919 | 31579 | 268 | 2394926578 | 19578823 || 3581 | 42551185 | 183/ 183 | 2146858 | 0 | 1270.81/1270.83 c | 3581 | 12.0 | 0 | 43086 | 20478 | 269 | 2412188462 | 19638913 || 3581 | 42626908 | 183/ 183 | 2147367 | 0 | 1281.21/1281.23 c | 3627 | 10.4 | 0 | 43184 | 592 | 270 | 2430056172 | 19820413 || 3627 | 42997292 | 183/ 183 | 2160818 | 0 | 1290.32/1290.37 c | 3674 | 9.1 | 0 | 40815 | 412 | 271 | 2448145713 | 20010845 || 3674 | 43405837 | 183/ 183 | 2177776 | 0 | 1299.02/1299.07 c | 3708 | 8.7 | 0 | 41199 | 3571 | 272 | 2466066283 | 20176171 || 3708 | 43774548 | 183/ 183 | 2199429 | 0 | 1300.02/1300.00 c | 3708 | 0.9 | 0 | 44233 | 3034 | 272 | 2467970160 | 20190267 || 3708 | 43812713 | 183/ 183 | 2199686 | 0 | 1300.02/1300.00 c c 1300.02/1300.00 c ----------------------------------- 1300.02/1300.00 c # temps = 1299.900000 1300.02/1300.00 c # cleaningDB = 272 1300.02/1300.00 c # clause binaire = 0 1300.02/1300.00 c # literal removed by litRedundant = 54956675 1300.02/1300.00 c # literal removed by litRedundantBin = 0 1300.02/1300.00 c # init clause removed by simplify = 0 1300.02/1300.00 c # learnt clause removed by simplify = 0 1300.02/1300.00 c # une clause fausse était une apprise = 0 1300.02/1300.00 c # equivalence dectecte = 0 1300.02/1300.00 c # Memory used : 138.60 MB 1300.02/1300.00 c 1300.02/1300.00 c ######################## 1300.02/1300.00 c #### ## ### ## #### 1300.02/1300.00 c #### #### # ## #### #### 1300.02/1300.00 c #### ## ### ## ### 1300.02/1300.00 c ######################## 1300.02/1300.00 c # restart = 3708 1300.02/1300.00 c # conflit = 3825201 1300.02/1300.00 c # decision = 20190267 1300.02/1300.00 c # propagation = 2467970160 (1898584.629587 (prop/sec)) 1300.02/1300.00 c 1300.02/1300.00 c ######################## 1300.02/1300.00 c ### ### # ## ## ## 1300.02/1300.00 c ### # # # #### # ### ### 1300.02/1300.00 c ### # ### ## # ### ### 1300.02/1300.00 c ######################## 1300.02/1300.00 c # numtry = 3708 1300.02/1300.00 c # numflips = 43812713 1300.02/1300.00 c # maxSat = 183 1300.02/1300.00 c # freeFlip = 3447751 1300.02/1300.00 c # nbBoundary = 0 1300.02/1300.00 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: 931) 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-3189666-1302706078/watcher-3189666-1302706078 -o /tmp/evaluation-result-3189666-1302706078/solver-3189666-1302706078 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3189666-1302706078.cnf rnovelty running on 2 cores: 4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.35 1.83 1.94 5/185 1785 /proc/meminfo: memFree=13663992/32951124 swapFree=67111524/67111528 [pid=1785] ppid=1783 vsize=8568 CPUtime=0 cores=4,6 /proc/1785/stat : 1785 (esg_static.sh) R 1783 1785 1734 0 -1 4194304 171 0 0 0 0 0 0 0 25 0 1 0 460838298 8773632 113 33554432000 4194304 4922060 140736519826992 18446744073709551615 252458171120 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/1785/statm: 2175 127 103 178 0 68 0 [startup+0.0764619 s] /proc/loadavg: 1.35 1.83 1.94 5/185 1785 /proc/meminfo: memFree=13663992/32951124 swapFree=67111524/67111528 [pid=1785] ppid=1783 vsize=8704 CPUtime=0 cores=4,6 /proc/1785/stat : 1785 (esg_static.sh) S 1783 1785 1734 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 460838298 8912896 252 33554432000 4194304 4922060 140736519826992 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1785/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100453 s] /proc/loadavg: 1.35 1.83 1.94 5/185 1785 /proc/meminfo: memFree=13663992/32951124 swapFree=67111524/67111528 [pid=1785] ppid=1783 vsize=8704 CPUtime=0 cores=4,6 /proc/1785/stat : 1785 (esg_static.sh) S 1783 1785 1734 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 460838298 8912896 252 33554432000 4194304 4922060 140736519826992 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1785/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300394 s] /proc/loadavg: 1.35 1.83 1.94 5/185 1785 /proc/meminfo: memFree=13663992/32951124 swapFree=67111524/67111528 [pid=1785] ppid=1783 vsize=8704 CPUtime=0.12 cores=4,6 /proc/1785/stat : 1785 (esg_static.sh) S 1783 1785 1734 0 -1 4202496 347 1967 0 0 0 0 12 0 24 0 1 0 460838298 8912896 255 33554432000 4194304 4922060 140736519826992 18446744073709551615 252458065664 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1785/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 8704 [startup+0.700306 s] /proc/loadavg: 1.35 1.83 1.94 5/185 1785 /proc/meminfo: memFree=13663992/32951124 swapFree=67111524/67111528 [pid=1785] ppid=1783 vsize=8704 CPUtime=0.12 cores=4,6 /proc/1785/stat : 1785 (esg_static.sh) S 1783 1785 1734 0 -1 4202496 347 1967 0 0 0 0 12 0 24 0 1 0 460838298 8912896 255 33554432000 4194304 4922060 140736519826992 18446744073709551615 252458065664 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1785/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 8704 [startup+1.50122 s] /proc/loadavg: 1.35 1.83 1.94 5/198 1807 /proc/meminfo: memFree=13565060/32951124 swapFree=67111524/67111528 [pid=1785] ppid=1783 vsize=8704 CPUtime=0.12 cores=4,6 /proc/1785/stat : 1785 (esg_static.sh) S 1783 1785 1734 0 -1 4202496 347 1967 0 0 0 0 12 0 24 0 1 0 460838298 8912896 255 33554432000 4194304 4922060 140736519826992 18446744073709551615 252458065664 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1785/statm: 2176 255 211 178 0 69 0 [pid=1802] ppid=1785 vsize=8704 CPUtime=0 cores=4,6 /proc/1802/stat : 1802 (esg_static.sh) S 1785 1785 1734 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 460838312 8912896 134 33554432000 4194304 4922060 140736519826992 18446744073709551615 252457884805 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1802/statm: 2176 134 90 178 0 69 0 [pid=1803] ppid=1802 vsize=29440 CPUtime=1.35 cores=4,6 /proc/1803/stat : 1803 (sathys) R 1802 1785 1734 0 -1 4202496 5748 0 0 0 135 0 0 0 25 0 1 0 460838312 30146560 5658 33554432000 4194304 4241092 140736822549872 18446744073709551615 4223294 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/1803/statm: 7360 5658 136 12 0 5824 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 46848 [startup+3.10092 s] /proc/loadavg: 1.35 1.83 1.94 5/198 1807 /proc/meminfo: memFree=13560596/32951124 swapFree=67111524/67111528 [pid=1785] ppid=1783 vsize=8704 CPUtime=0.12 cores=4,6 /proc/1785/stat : 1785 (esg_static.sh) S 1783 1785 1734 0 -1 4202496 347 1967 0 0 0 0 12 0 24 0 1 0 460838298 8912896 255 33554432000 4194304 4922060 140736519826992 18446744073709551615 252458065664 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1785/statm: 2176 255 211 178 0 69 0 [pid=1802] ppid=1785 vsize=8704 CPUtime=0 cores=4,6 /proc/1802/stat : 1802 (esg_static.sh) S 1785 1785 1734 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 460838312 8912896 134 33554432000 4194304 4922060 140736519826992 18446744073709551615 252457884805 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1802/statm: 2176 134 90 178 0 69 0 [pid=1803] ppid=1802 vsize=30760 CPUtime=2.95 cores=4,6 /proc/1803/stat : 1803 (sathys) R 1802 1785 1734 0 -1 4202496 6082 0 0 0 295 0 0 0 25 0 1 0 460838312 31498240 5992 33554432000 4194304 4241092 140736822549872 18446744073709551615 4223726 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/1803/statm: 7690 5992 136 12 0 6154 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 48168 [startup+6.30033 s] /proc/loadavg: 1.56 1.86 1.95 5/198 1807 /proc/meminfo: memFree=13552536/32951124 swapFree=67111524/67111528 [pid=1785] ppid=1783 vsize=8704 CPUtime=0.12 cores=4,6 /proc/1785/stat : 1785 (esg_static.sh) S 1783 1785 1734 0 -1 4202496 347 1967 0 0 0 0 12 0 24 0 1 0 460838298 8912896 255 33554432000 4194304 4922060 140736519826992 18446744073709551615 252458065664 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1785/statm: 2176 255 211 178 0 69 0 [pid=1802] ppid=1785 vsize=8704 CPUtime=0 cores=4,6 /proc/1802/stat : 1802 (esg_static.sh) S 1785 1785 1734 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 460838312 8912896 134 33554432000 4194304 4922060 140736519826992 18446744073709551615 252457884805 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1802/statm: 2176 134 90 178 0 69 0 [pid=1803] ppid=1802 vsize=32080 CPUtime=6.15 cores=4,6 /proc/1803/stat : 1803 (sathys) R 1802 1785 1734 0 -1 4202496 6407 0 0 0 615 0 0 0 25 0 1 0 460838312 32849920 6317 33554432000 4194304 4241092 140736822549872 18446744073709551615 4221764 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/1803/statm: 8020 6317 136 12 0 6484 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 49488 [startup+12.7011 s] /proc/loadavg: 1.76 1.90 1.96 5/198 1807 /proc/meminfo: memFree=13540280/32951124 swapFree=67111524/67111528 [pid=1785] ppid=1783 vsize=8704 CPUtime=0.12 cores=4,6 /proc/1785/stat : 1785 (esg_static.sh) S 1783 1785 1734 0 -1 4202496 347 1967 0 0 0 0 12 0 24 0 1 0 460838298 8912896 255 33554432000 4194304 4922060 140736519826992 18446744073709551615 252458065664 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1785/statm: 2176 255 211 178 0 69 0 [pid=1802] ppid=1785 vsize=8704 CPUtime=0 cores=4,6 /proc/1802/stat : 1802 (esg_static.sh) S 1785 1785 1734 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 460838312 8912896 134 33554432000 4194304 4922060 140736519826992 18446744073709551615 252457884805 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1802/statm: 2176 134 90 178 0 69 0 [pid=1803] ppid=1802 vsize=35908 CPUtime=12.55 cores=4,6 /proc/1803/stat : 1803 (sathys) R 1802 1785 1734 0 -1 4202496 7380 0 0 0 1255 0 0 0 25 0 1 0 460838312 36769792 7290 33554432000 4194304 4241092 140736822549872 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/1803/statm: 8977 7290 136 12 0 7441 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 53316 [startup+25.5008 s] /proc/loadavg: 2.26 2.00 1.99 5/198 1807 /proc/meminfo: memFree=13526704/32951124 swapFree=67111524/67111528 [pid=1785] ppid=1783 vsize=8704 CPUtime=0.12 cores=4,6 /proc/1785/stat : 1785 (esg_static.sh) S 1783 1785 1734 0 -1 4202496 347 1967 0 0 0 0 12 0 24 0 1 0 460838298 8912896 255 33554432000 4194304 4922060 140736519826992 18446744073709551615 252458065664 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1785/statm: 2176 255 211 178 0 69 0 [pid=1802] ppid=1785 vsize=8704 CPUtime=0 cores=4,6 /proc/1802/stat : 1802 (esg_static.sh) S 1785 1785 1734 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 460838312 8912896 134 33554432000 4194304 4922060 140736519826992 18446744073709551615 252457884805 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1802/statm: 2176 134 90 178 0 69 0 [pid=1803] ppid=1802 vsize=39208 CPUtime=25.35 cores=4,6 /proc/1803/stat : 1803 (sathys) R 1802 1785 1734 0 -1 4202496 8184 0 0 0 2534 1 0 0 25 0 1 0 460838312 40148992 8094 33554432000 4194304 4241092 140736822549872 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/1803/statm: 9802 8094 136 12 0 8266 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 56616 [startup+51.101 s] /proc/loadavg: 2.85 2.16 2.05 5/198 1808 /proc/meminfo: memFree=13500832/32951124 swapFree=67111524/67111528 [pid=1785] ppid=1783 vsize=8704 CPUtime=0.12 cores=4,6 /proc/1785/stat : 1785 (esg_static.sh) S 1783 1785 1734 0 -1 4202496 347 1967 0 0 0 0 12 0 24 0 1 0 460838298 8912896 255 33554432000 4194304 4922060 140736519826992 18446744073709551615 252458065664 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1785/statm: 2176 255 211 178 0 69 0 [pid=1802] ppid=1785 vsize=8704 CPUtime=0 cores=4,6 /proc/1802/stat : 1802 (esg_static.sh) S 1785 1785 1734 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 460838312 8912896 134 33554432000 4194304 4922060 140736519826992 18446744073709551615 252457884805 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1802/statm: 2176 134 90 178 0 69 0 [pid=1803] ppid=1802 vsize=47260 CPUtime=50.95 cores=4,6 /proc/1803/stat : 1803 (sathys) R 1802 1785 1734 0 -1 4202496 10208 0 0 0 5094 1 0 0 25 0 1 0 460838312 48394240 10118 33554432000 4194304 4241092 140736822549872 18446744073709551615 4228339 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/1803/statm: 11815 10118 136 12 0 10279 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 64668 [startup+102.307 s] /proc/loadavg: 3.50 2.44 2.15 5/198 1809 /proc/meminfo: memFree=13457280/32951124 swapFree=67111524/67111528 [pid=1785] ppid=1783 vsize=8704 CPUtime=0.12 cores=4,6 /proc/1785/stat : 1785 (esg_static.sh) S 1783 1785 1734 0 -1 4202496 347 1967 0 0 0 0 12 0 24 0 1 0 460838298 8912896 255 33554432000 4194304 4922060 140736519826992 18446744073709551615 252458065664 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1785/statm: 2176 255 211 178 0 69 0 [pid=1802] ppid=1785 vsize=8704 CPUtime=0 cores=4,6 /proc/1802/stat : 1802 (esg_static.sh) S 1785 1785 1734 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 460838312 8912896 134 33554432000 4194304 4922060 140736519826992 18446744073709551615 252457884805 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1802/statm: 2176 134 90 178 0 69 0 [pid=1803] ppid=1802 vsize=56564 CPUtime=102.16 cores=4,6 /proc/1803/stat : 1803 (sathys) R 1802 1785 1734 0 -1 4202496 12603 0 0 0 10214 2 0 0 25 0 1 0 460838312 57921536 12439 33554432000 4194304 4241092 140736822549872 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/1803/statm: 14141 12439 136 12 0 12605 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 73972 [startup+162.3 s] /proc/loadavg: 3.81 2.72 2.26 5/198 1811 /proc/meminfo: memFree=13421160/32951124 swapFree=67111524/67111528 [pid=1785] ppid=1783 vsize=8704 CPUtime=0.12 cores=4,6 /proc/1785/stat : 1785 (esg_static.sh) S 1783 1785 1734 0 -1 4202496 347 1967 0 0 0 0 12 0 24 0 1 0 460838298 8912896 255 33554432000 4194304 4922060 140736519826992 18446744073709551615 252458065664 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1785/statm: 2176 255 211 178 0 69 0 [pid=1802] ppid=1785 vsize=8704 CPUtime=0 cores=4,6 /proc/1802/stat : 1802 (esg_static.sh) S 1785 1785 1734 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 460838312 8912896 134 33554432000 4194304 4922060 140736519826992 18446744073709551615 252457884805 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1802/statm: 2176 134 90 178 0 69 0 [pid=1803] ppid=1802 vsize=61952 CPUtime=162.15 cores=4,6 /proc/1803/stat : 1803 (sathys) R 1802 1785 1734 0 -1 4202496 14069 0 0 0 16213 2 0 0 25 0 1 0 460838312 63438848 13783 33554432000 4194304 4241092 140736822549872 18446744073709551615 4221344 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/1803/statm: 15488 13783 136 12 0 13952 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 79360 [startup+222.301 s] /proc/loadavg: 3.93 2.95 2.37 5/198 1813 /proc/meminfo: memFree=13398928/32951124 swapFree=67111524/67111528 [pid=1785] ppid=1783 vsize=8704 CPUtime=0.12 cores=4,6 /proc/1785/stat : 1785 (esg_static.sh) S 1783 1785 1734 0 -1 4202496 347 1967 0 0 0 0 12 0 24 0 1 0 460838298 8912896 255 33554432000 4194304 4922060 140736519826992 18446744073709551615 252458065664 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1785/statm: 2176 255 211 178 0 69 0 [pid=1802] ppid=1785 vsize=8704 CPUtime=0 cores=4,6 /proc/1802/stat : 1802 (esg_static.sh) S 1785 1785 1734 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 460838312 8912896 134 33554432000 4194304 4922060 140736519826992 18446744073709551615 252457884805 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1802/statm: 2176 134 90 178 0 69 0 [pid=1803] ppid=1802 vsize=65944 CPUtime=222.16 cores=4,6 /proc/1803/stat : 1803 (sathys) R 1802 1785 1734 0 -1 4202496 15266 0 0 0 22213 3 0 0 25 0 1 0 460838312 67526656 14780 33554432000 4194304 4241092 140736822549872 18446744073709551615 4228299 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/1803/statm: 16486 14780 136 12 0 14950 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 83352 [startup+282.301 s] ################ # More data... # ################ /proc/meminfo: memFree=13204548/32951124 swapFree=67111524/67111528 [pid=1785] ppid=1783 vsize=8704 CPUtime=0.12 cores=4,6 /proc/1785/stat : 1785 (esg_static.sh) S 1783 1785 1734 0 -1 4202496 347 1967 0 0 0 0 12 0 24 0 1 0 460838298 8912896 255 33554432000 4194304 4922060 140736519826992 18446744073709551615 252458065664 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1785/statm: 2176 255 211 178 0 69 0 [pid=1802] ppid=1785 vsize=8704 CPUtime=0 cores=4,6 /proc/1802/stat : 1802 (esg_static.sh) S 1785 1785 1734 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 460838312 8912896 134 33554432000 4194304 4922060 140736519826992 18446744073709551615 252457884805 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1802/statm: 2176 134 90 178 0 69 0 [pid=1803] ppid=1802 vsize=141792 CPUtime=762.18 cores=4,6 /proc/1803/stat : 1803 (sathys) R 1802 1785 1734 0 -1 4202496 35937 0 0 0 76208 10 0 0 25 0 1 0 460838312 145195008 33759 33554432000 4194304 4241092 140736822549872 18446744073709551615 4224322 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/1803/statm: 35448 33759 136 12 0 33912 0 Current children cumulated CPU time (s) 762.3 Current children cumulated vsize (KiB) 159200 [startup+822.3 s] /proc/loadavg: 4.07 3.88 3.14 5/198 1838 /proc/meminfo: memFree=13180580/32951124 swapFree=67111524/67111528 [pid=1785] ppid=1783 vsize=8704 CPUtime=0.12 cores=4,6 /proc/1785/stat : 1785 (esg_static.sh) S 1783 1785 1734 0 -1 4202496 347 1967 0 0 0 0 12 0 24 0 1 0 460838298 8912896 255 33554432000 4194304 4922060 140736519826992 18446744073709551615 252458065664 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1785/statm: 2176 255 211 178 0 69 0 [pid=1802] ppid=1785 vsize=8704 CPUtime=0 cores=4,6 /proc/1802/stat : 1802 (esg_static.sh) S 1785 1785 1734 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 460838312 8912896 134 33554432000 4194304 4922060 140736519826992 18446744073709551615 252457884805 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1802/statm: 2176 134 90 178 0 69 0 [pid=1803] ppid=1802 vsize=141696 CPUtime=822.18 cores=4,6 /proc/1803/stat : 1803 (sathys) R 1802 1785 1734 0 -1 4202496 36202 0 0 0 82207 11 0 0 25 0 1 0 460838312 145096704 33743 33554432000 4194304 4241092 140736822549872 18446744073709551615 252457724776 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/1803/statm: 35424 33743 136 12 0 33888 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 159104 [startup+882.3 s] /proc/loadavg: 4.02 3.90 3.19 5/198 1839 /proc/meminfo: memFree=13167892/32951124 swapFree=67111524/67111528 [pid=1785] ppid=1783 vsize=8704 CPUtime=0.12 cores=4,6 /proc/1785/stat : 1785 (esg_static.sh) S 1783 1785 1734 0 -1 4202496 347 1967 0 0 0 0 12 0 24 0 1 0 460838298 8912896 255 33554432000 4194304 4922060 140736519826992 18446744073709551615 252458065664 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1785/statm: 2176 255 211 178 0 69 0 [pid=1802] ppid=1785 vsize=8704 CPUtime=0 cores=4,6 /proc/1802/stat : 1802 (esg_static.sh) S 1785 1785 1734 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 460838312 8912896 134 33554432000 4194304 4922060 140736519826992 18446744073709551615 252457884805 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1802/statm: 2176 134 90 178 0 69 0 [pid=1803] ppid=1802 vsize=141792 CPUtime=882.18 cores=4,6 /proc/1803/stat : 1803 (sathys) R 1802 1785 1734 0 -1 4202496 36469 0 0 0 88207 11 0 0 25 0 1 0 460838312 145195008 33765 33554432000 4194304 4241092 140736822549872 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/1803/statm: 35448 33765 136 12 0 33912 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 159200 [startup+942.301 s] /proc/loadavg: 4.01 3.92 3.24 5/198 1841 /proc/meminfo: memFree=13158804/32951124 swapFree=67111524/67111528 [pid=1785] ppid=1783 vsize=8704 CPUtime=0.12 cores=4,6 /proc/1785/stat : 1785 (esg_static.sh) S 1783 1785 1734 0 -1 4202496 347 1967 0 0 0 0 12 0 24 0 1 0 460838298 8912896 255 33554432000 4194304 4922060 140736519826992 18446744073709551615 252458065664 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1785/statm: 2176 255 211 178 0 69 0 [pid=1802] ppid=1785 vsize=8704 CPUtime=0 cores=4,6 /proc/1802/stat : 1802 (esg_static.sh) S 1785 1785 1734 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 460838312 8912896 134 33554432000 4194304 4922060 140736519826992 18446744073709551615 252457884805 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1802/statm: 2176 134 90 178 0 69 0 [pid=1803] ppid=1802 vsize=141696 CPUtime=942.18 cores=4,6 /proc/1803/stat : 1803 (sathys) R 1802 1785 1734 0 -1 4202496 36717 0 0 0 94207 11 0 0 25 0 1 0 460838312 145096704 33743 33554432000 4194304 4241092 140736822549872 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/1803/statm: 35424 33743 136 12 0 33888 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 159104 [startup+1002.3 s] /proc/loadavg: 4.00 3.93 3.28 5/198 1842 /proc/meminfo: memFree=13155916/32951124 swapFree=67111524/67111528 [pid=1785] ppid=1783 vsize=8704 CPUtime=0.12 cores=4,6 /proc/1785/stat : 1785 (esg_static.sh) S 1783 1785 1734 0 -1 4202496 347 1967 0 0 0 0 12 0 24 0 1 0 460838298 8912896 255 33554432000 4194304 4922060 140736519826992 18446744073709551615 252458065664 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1785/statm: 2176 255 211 178 0 69 0 [pid=1802] ppid=1785 vsize=8704 CPUtime=0 cores=4,6 /proc/1802/stat : 1802 (esg_static.sh) S 1785 1785 1734 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 460838312 8912896 134 33554432000 4194304 4922060 140736519826992 18446744073709551615 252457884805 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1802/statm: 2176 134 90 178 0 69 0 [pid=1803] ppid=1802 vsize=141856 CPUtime=1002.18 cores=4,6 /proc/1803/stat : 1803 (sathys) R 1802 1785 1734 0 -1 4202496 36981 0 0 0 100207 11 0 0 25 0 1 0 460838312 145260544 33781 33554432000 4194304 4241092 140736822549872 18446744073709551615 4227927 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/1803/statm: 35464 33781 136 12 0 33928 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 159264 [startup+1062.3 s] /proc/loadavg: 4.00 3.94 3.32 5/198 1844 /proc/meminfo: memFree=13106300/32951124 swapFree=67111524/67111528 [pid=1785] ppid=1783 vsize=8704 CPUtime=0.12 cores=4,6 /proc/1785/stat : 1785 (esg_static.sh) S 1783 1785 1734 0 -1 4202496 347 1967 0 0 0 0 12 0 24 0 1 0 460838298 8912896 255 33554432000 4194304 4922060 140736519826992 18446744073709551615 252458065664 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1785/statm: 2176 255 211 178 0 69 0 [pid=1802] ppid=1785 vsize=8704 CPUtime=0 cores=4,6 /proc/1802/stat : 1802 (esg_static.sh) S 1785 1785 1734 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 460838312 8912896 134 33554432000 4194304 4922060 140736519826992 18446744073709551615 252457884805 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1802/statm: 2176 134 90 178 0 69 0 [pid=1803] ppid=1802 vsize=141824 CPUtime=1062.18 cores=4,6 /proc/1803/stat : 1803 (sathys) R 1802 1785 1734 0 -1 4202496 37230 0 0 0 106207 11 0 0 25 0 1 0 460838312 145227776 33773 33554432000 4194304 4241092 140736822549872 18446744073709551615 4228339 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/1803/statm: 35456 33773 136 12 0 33920 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 159232 [startup+1122.3 s] /proc/loadavg: 4.00 3.95 3.36 5/198 1846 /proc/meminfo: memFree=13054048/32951124 swapFree=67111524/67111528 [pid=1785] ppid=1783 vsize=8704 CPUtime=0.12 cores=4,6 /proc/1785/stat : 1785 (esg_static.sh) S 1783 1785 1734 0 -1 4202496 347 1967 0 0 0 0 12 0 24 0 1 0 460838298 8912896 255 33554432000 4194304 4922060 140736519826992 18446744073709551615 252458065664 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1785/statm: 2176 255 211 178 0 69 0 [pid=1802] ppid=1785 vsize=8704 CPUtime=0 cores=4,6 /proc/1802/stat : 1802 (esg_static.sh) S 1785 1785 1734 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 460838312 8912896 134 33554432000 4194304 4922060 140736519826992 18446744073709551615 252457884805 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1802/statm: 2176 134 90 178 0 69 0 [pid=1803] ppid=1802 vsize=141728 CPUtime=1122.18 cores=4,6 /proc/1803/stat : 1803 (sathys) R 1802 1785 1734 0 -1 4202496 37398 0 0 0 112207 11 0 0 25 0 1 0 460838312 145129472 33750 33554432000 4194304 4241092 140736822549872 18446744073709551615 4223885 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/1803/statm: 35432 33750 136 12 0 33896 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 159136 [startup+1182.3 s] /proc/loadavg: 4.00 3.95 3.40 5/198 1847 /proc/meminfo: memFree=13053992/32951124 swapFree=67111524/67111528 [pid=1785] ppid=1783 vsize=8704 CPUtime=0.12 cores=4,6 /proc/1785/stat : 1785 (esg_static.sh) S 1783 1785 1734 0 -1 4202496 347 1967 0 0 0 0 12 0 24 0 1 0 460838298 8912896 255 33554432000 4194304 4922060 140736519826992 18446744073709551615 252458065664 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1785/statm: 2176 255 211 178 0 69 0 [pid=1802] ppid=1785 vsize=8704 CPUtime=0 cores=4,6 /proc/1802/stat : 1802 (esg_static.sh) S 1785 1785 1734 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 460838312 8912896 134 33554432000 4194304 4922060 140736519826992 18446744073709551615 252457884805 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1802/statm: 2176 134 90 178 0 69 0 [pid=1803] ppid=1802 vsize=141824 CPUtime=1182.19 cores=4,6 /proc/1803/stat : 1803 (sathys) R 1802 1785 1734 0 -1 4202496 37668 0 0 0 118207 12 0 0 25 0 1 0 460838312 145227776 33769 33554432000 4194304 4241092 140736822549872 18446744073709551615 4222072 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/1803/statm: 35456 33769 136 12 0 33920 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 159232 [startup+1242.3 s] /proc/loadavg: 4.05 3.97 3.44 5/198 1849 /proc/meminfo: memFree=13053220/32951124 swapFree=67111524/67111528 [pid=1785] ppid=1783 vsize=8704 CPUtime=0.12 cores=4,6 /proc/1785/stat : 1785 (esg_static.sh) S 1783 1785 1734 0 -1 4202496 347 1967 0 0 0 0 12 0 24 0 1 0 460838298 8912896 255 33554432000 4194304 4922060 140736519826992 18446744073709551615 252458065664 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1785/statm: 2176 255 211 178 0 69 0 [pid=1802] ppid=1785 vsize=8704 CPUtime=0 cores=4,6 /proc/1802/stat : 1802 (esg_static.sh) S 1785 1785 1734 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 460838312 8912896 134 33554432000 4194304 4922060 140736519826992 18446744073709551615 252457884805 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1802/statm: 2176 134 90 178 0 69 0 [pid=1803] ppid=1802 vsize=141792 CPUtime=1242.19 cores=4,6 /proc/1803/stat : 1803 (sathys) R 1802 1785 1734 0 -1 4202496 37928 0 0 0 124207 12 0 0 25 0 1 0 460838312 145195008 33766 33554432000 4194304 4241092 140736822549872 18446744073709551615 4223875 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/1803/statm: 35448 33766 136 12 0 33912 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 159200 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 4.02 3.97 3.47 5/192 1871 /proc/meminfo: memFree=13131592/32951124 swapFree=67111524/67111528 [pid=1785] ppid=1783 vsize=8704 CPUtime=0.12 cores=4,6 /proc/1785/stat : 1785 (esg_static.sh) S 1783 1785 1734 0 -1 4202496 347 1967 0 0 0 0 12 0 24 0 1 0 460838298 8912896 255 33554432000 4194304 4922060 140736519826992 18446744073709551615 252458065664 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/1785/statm: 2176 255 211 178 0 69 0 [pid=1802] ppid=1785 vsize=8704 CPUtime=0 cores=4,6 /proc/1802/stat : 1802 (esg_static.sh) S 1785 1785 1734 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 460838312 8912896 134 33554432000 4194304 4922060 140736519826992 18446744073709551615 252457884805 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/1802/statm: 2176 134 90 178 0 69 0 [pid=1803] ppid=1802 vsize=141920 CPUtime=1299.9 cores=4,6 /proc/1803/stat : 1803 (sathys) R 1802 1785 1734 0 -1 4202496 38171 0 0 0 129978 12 0 0 25 0 1 0 460838312 145326080 33796 33554432000 4194304 4241092 140736822549872 18446744073709551615 4223627 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/1803/statm: 35480 33796 136 12 0 33944 0 Current children cumulated CPU time (s) 1300.02 Current children cumulated vsize (KiB) 159328 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 1785 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=129980 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=4999 # CPU time returned by wait4() is 0.134979 # while last known CPU time is 1300.02 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1300.01 CPU time (s): 1300.02 CPU user time (s): 1299.9 CPU system time (s): 0.12 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 159360 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.12998 system time used= 0.004999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2661 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= 13 involuntary context switches= 8 runsolver used 2.23566 second user time and 4.88126 second system time The end
Begin job on node111 at 2011-04-13 16:47:58 IDJOB=3189666 IDBENCH=82597 IDSOLVER=1610 FILE ID=node111/3189666-1302706078 RUNJOBID= node111-1302706078-1753 PBS_JOBID= 12981435 Free space on /tmp= 71640 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT11/random/large/unif-k3-r4.2-v15000-c63000-S980027332-029-UNKNOWN.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3189666-1302706078/watcher-3189666-1302706078 -o /tmp/evaluation-result-3189666-1302706078/solver-3189666-1302706078 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3189666-1302706078.cnf rnovelty TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= c08a1b82ea5b515d260c5edf61d7067c RANDOM SEED=2060583415 node111.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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 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 : 5428.12 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.849 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.849 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.86 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.849 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.75 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.849 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.83 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.849 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.67 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.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 13664388 kB Buffers: 708144 kB Cached: 18070804 kB SwapCached: 4 kB Active: 9703516 kB Inactive: 9151148 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 13664388 kB SwapTotal: 67111528 kB SwapFree: 67111524 kB Dirty: 5456 kB Writeback: 0 kB AnonPages: 75928 kB Mapped: 15100 kB Slab: 367176 kB PageTables: 5420 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 223060 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 71632 MiB End job on node111 at 2011-04-13 17:09:38