0.00/0.00 c Parsing...
0.12/0.19 c ==============================================================================
0.12/0.19 c | | ORIGINAL | LEARNT | |
0.12/0.19 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.12/0.19 c ==============================================================================
0.12/0.19 c | 0 | 213531 498239 | 64059 0 0 nan | 0.000 % |
1.52/1.54 c | 0 | 163018 485616 | -- 0 -- -- | -- | -50511/-12618
1.52/1.54 c ==============================================================================
1.52/1.54 c Result : #vars: 36494 #clauses: 163018 #literals: 485616
1.52/1.54 c CPU time: 1.47 s
1.52/1.54 c ==============================================================================
1.72/1.71 c This is MiniSat 2.0 beta
1.72/1.71 c WARNING: for repeatability, setting FPU to use double precision
1.72/1.71 c ============================[ Problem Statistics ]=============================
1.72/1.71 c | |
1.72/1.71 c | Number of variables: 36494 |
1.72/1.71 c | Number of clauses: 163018 |
1.72/1.83 c | Parsing time: 0.10 s |
1.72/1.83 c ============================[ Search Statistics ]==============================
1.72/1.83 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.72/1.83 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.72/1.83 c ===============================================================================
1.72/1.83 c | 0 | 36494 163018 485616 | 54339 0 nan | 0.000 % |
1.72/1.88 c | 513 | 36491 163018 485616 | 54339 510 6 | 0.008 % |
1.72/1.97 c | 1025 | 36486 163018 485616 | 54339 1018 6 | 0.025 % |
1.72/2.05 c | 1538 | 36481 163018 485616 | 54339 1528 5 | 0.041 % |
2.32/2.39 c | 2562 | 36435 162712 484765 | 54339 2485 6 | 0.526 % |
2.42/2.50 c | 3075 | 36403 162712 484765 | 54339 2984 6 | 1.039 % |
2.62/2.67 c | 3587 | 36112 161047 479893 | 54339 3447 6 | 1.047 % |
2.92/2.96 c | 4612 | 36071 160822 479260 | 54339 4427 6 | 1.159 % |
3.52/3.57 c | 6660 | 35980 160267 477721 | 54339 6418 6 | 1.485 % |
3.72/3.72 c | 7174 | 35976 160267 477721 | 54339 6930 6 | 1.567 % |
3.82/3.81 c | 7687 | 35968 160267 477721 | 54339 7439 7 | 1.669 % |
4.22/4.28 c | 8711 | 35827 159692 476098 | 54339 8437 7 | 2.017 % |
4.32/4.38 c | 9223 | 35747 159038 474195 | 54339 8898 7 | 2.047 % |
4.52/4.55 c | 9735 | 35743 159038 474195 | 54339 9407 7 | 2.137 % |
4.92/4.97 c | 10760 | 35675 158618 473018 | 2147483647 10387 7 | 2.450 % |
5.71/5.80 c | 12809 | 35234 156295 466224 | 2147483647 12385 7 | 3.453 % |
6.62/6.70 c | 16905 | 34968 155025 462492 | 2147483647 16465 8 | 4.730 % |
6.81/6.82 c | 17419 | 34737 154007 459460 | 2147483647 16969 8 | 5.686 % |
6.91/6.91 c | 17932 | 34724 154007 459460 | 2147483647 17475 8 | 6.089 % |
7.11/7.14 c | 18956 | 34162 151038 450732 | 2147483647 18469 8 | 6.393 % |
7.21/7.26 c | 19468 | 34156 151038 450732 | 2147483647 18979 8 | 6.409 % |
7.41/7.43 c | 19981 | 34154 151038 450732 | 2147483647 19490 8 | 6.415 % |
7.61/7.64 c | 21005 | 34146 150983 450580 | 2147483647 20504 8 | 6.505 % |
8.01/8.06 c | 23053 | 34084 150607 449523 | 2147483647 22518 9 | 6.604 % |
8.11/8.18 c | 23567 | 34084 150607 449523 | 2147483647 23032 9 | 6.604 % |
8.31/8.37 c | 24080 | 34078 150568 449418 | 2147483647 23528 9 | 6.623 % |
8.41/8.50 c | 25105 | 34077 150568 449418 | 2147483647 24553 10 | 6.623 % |
8.61/8.61 c | 25618 | 34075 150568 449418 | 2147483647 25065 10 | 6.705 % |
8.71/8.77 c | 26131 | 34044 150354 448811 | 2147483647 25553 10 | 6.790 % |
8.91/8.93 c | 27156 | 34041 150354 448811 | 2147483647 26576 10 | 6.798 % |
9.31/9.38 c | 29205 | 34006 150152 448228 | 2147483647 28592 10 | 6.818 % |
10.31/10.39 c | 33301 | 33554 147912 441649 | 2147483647 32597 10 | 8.264 % |
12.51/12.56 c | 41495 | 30210 132486 395854 | 2147483647 40398 10 | 17.480 % |
12.61/12.69 c | 42007 | 30208 132486 395854 | 2147483647 40908 10 | 17.554 % |
12.81/12.87 c | 42519 | 30170 132486 395854 | 2147483647 41405 10 | 18.348 % |
13.11/13.17 c | 43547 | 29620 129761 387779 | 2147483647 42372 10 | 19.420 % |
13.22/13.28 c | 44060 | 29589 129761 387779 | 2147483647 42877 10 | 20.124 % |
13.61/13.66 c | 44573 | 28700 125298 374546 | 2147483647 43147 10 | 21.576 % |
14.11/14.19 c | 45597 | 28543 125298 374546 | 2147483647 44127 10 | 24.700 % |
14.81/14.85 c | 47645 | 26989 117453 351204 | 2147483647 45910 10 | 26.511 % |
14.91/14.98 c | 48157 | 26989 117453 351204 | 2147483647 46422 10 | 26.511 % |
15.21/15.24 c | 48671 | 26986 117453 351204 | 2147483647 46933 10 | 26.561 % |
15.51/15.52 c | 49697 | 26694 116116 347229 | 2147483647 47918 10 | 27.202 % |
15.61/15.67 c | 50211 | 26680 116116 347229 | 2147483647 48429 10 | 27.240 % |
15.71/15.80 c | 50723 | 26680 116116 347229 | 2147483647 48941 10 | 27.240 % |
16.01/16.06 c | 51747 | 26660 116116 347229 | 2147483647 49959 10 | 27.388 % |
16.62/16.70 c | 53795 | 26415 114856 343475 | 2147483647 51925 10 | 27.695 % |
17.52/17.58 c | 57891 | 26354 114577 342694 | 2147483647 55972 10 | 28.207 % |
17.72/17.77 c | 58404 | 26353 114577 342694 | 2147483647 56484 10 | 28.210 % |
17.92/17.99 c | 58920 | 26193 113672 340027 | 2147483647 56969 10 | 28.295 % |
18.22/18.24 c | 59944 | 26187 113672 340027 | 2147483647 57992 10 | 28.364 % |
18.32/18.38 c | 60457 | 26187 113672 340027 | 2147483647 58505 10 | 28.364 % |
18.42/18.47 c | 60972 | 26187 113672 340027 | 2147483647 59020 10 | 28.364 % |
18.52/18.59 c | 61997 | 26187 113672 340027 | 2147483647 60045 11 | 28.364 % |
18.92/18.97 c | 64047 | 26119 113402 339224 | 2147483647 62063 11 | 28.835 % |
19.02/19.05 c | 64559 | 26109 113402 339224 | 2147483647 62571 11 | 29.125 % |
19.12/19.13 c | 65072 | 26109 113402 339224 | 2147483647 63084 11 | 29.125 % |
19.22/19.28 c | 66097 | 26109 113402 339224 | 2147483647 64109 11 | 29.125 % |
19.32/19.33 c | 66609 | 26109 113402 339224 | 2147483647 64621 11 | 29.125 % |
19.42/19.48 c | 67121 | 25863 112088 335333 | 2147483647 65089 11 | 29.131 % |
19.72/19.76 c | 68145 | 25858 112088 335333 | 2147483647 66109 11 | 29.145 % |
20.12/20.16 c | 70195 | 25795 112088 335333 | 2147483647 68135 11 | 30.391 % |
21.42/21.48 c | 74293 | 24182 104886 314003 | 2147483647 71745 11 | 34.540 % |
23.82/23.89 c | 82488 | 23544 101423 303739 | 2147483647 79618 12 | 35.770 % |
27.92/28.00 c | 98874 | 22207 94925 284573 | 2147483647 95343 12 | 39.149 % |
28.02/28.08 c | 99386 | 22207 94925 284573 | 2147483647 95855 12 | 39.149 % |
28.12/28.21 c | 99899 | 22206 94925 284573 | 2147483647 96367 12 | 39.152 % |
28.32/28.41 c | 100924 | 22206 94925 284573 | 2147483647 97392 12 | 39.152 % |
28.42/28.49 c | 101436 | 22206 94925 284573 | 2147483647 97904 12 | 39.152 % |
28.52/28.61 c | 101948 | 22206 94925 284573 | 2147483647 98416 12 | 39.152 % |
28.82/28.85 c | 102973 | 22206 94925 284573 | 2147483647 99441 12 | 39.152 % |
29.12/29.12 c | 105021 | 22206 94925 284573 | 2147483647 101489 13 | 39.152 % |
29.22/29.27 c | 105533 | 22206 94925 284573 | 2147483647 102001 13 | 39.152 % |
29.32/29.35 c | 106045 | 22204 94925 284573 | 2147483647 102511 13 | 39.168 % |
29.62/29.69 c | 107070 | 22177 94819 284263 | 2147483647 103510 13 | 39.322 % |
29.82/29.82 c | 107582 | 22170 94819 284263 | 2147483647 104021 13 | 39.423 % |
29.92/29.94 c | 108094 | 22106 94819 284263 | 2147483647 104524 13 | 39.823 % |
30.42/30.46 c | 109118 | 22019 94819 284263 | 2147483647 105524 13 | 40.544 % |
30.92/30.98 c | 111166 | 22005 94819 284263 | 2147483647 107563 13 | 40.919 % |
32.42/32.50 c | 115265 | 21218 91498 274390 | 2147483647 111043 13 | 43.813 % |
32.62/32.63 c | 115777 | 21218 91498 274390 | 2147483647 111555 13 | 43.813 % |
32.72/32.74 c | 116289 | 21218 91498 274390 | 2147483647 112067 13 | 43.813 % |
32.92/32.96 c | 117317 | 21209 91498 274390 | 2147483647 113093 13 | 43.832 % |
33.12/33.17 c | 117829 | 20497 87228 261805 | 2147483647 113071 13 | 43.835 % |
33.32/33.34 c | 118341 | 20496 87228 261805 | 2147483647 113582 13 | 43.837 % |
33.62/33.65 c | 119366 | 20468 87228 261805 | 2147483647 114604 13 | 44.002 % |
33.82/33.86 c | 121415 | 20468 87228 261805 | 2147483647 116653 13 | 44.002 % |
33.92/33.94 c | 121927 | 20468 87228 261805 | 2147483647 117165 13 | 44.002 % |
34.02/34.07 c | 122439 | 20468 87228 261805 | 2147483647 117677 13 | 44.002 % |
34.32/34.34 c | 123464 | 20468 87228 261805 | 2147483647 118702 13 | 44.002 % |
34.42/34.51 c | 123976 | 20459 87228 261805 | 2147483647 119209 13 | 44.029 % |
34.62/34.63 c | 124490 | 20459 87228 261805 | 2147483647 119723 13 | 44.029 % |
34.82/34.90 c | 125514 | 20458 87228 261805 | 2147483647 120746 13 | 44.032 % |
35.62/35.63 c | 127563 | 20404 86889 260810 | 2147483647 122736 13 | 44.451 % |
36.72/36.74 c | 131660 | 20365 86889 260810 | 2147483647 126822 14 | 44.868 % |
39.22/39.26 c | 139854 | 19800 85505 256729 | 2147483647 134777 14 | 46.849 % |
39.42/39.49 c | 140367 | 19794 85505 256729 | 2147483647 135288 14 | 46.887 % |
39.62/39.65 c | 140879 | 19779 85505 256729 | 2147483647 135798 14 | 47.082 % |
39.92/39.95 c | 141903 | 19305 81899 246137 | 2147483647 136355 14 | 47.106 % |
40.12/40.15 c | 142416 | 19302 81899 246137 | 2147483647 136867 14 | 47.115 % |
40.22/40.28 c | 142929 | 19299 81899 246137 | 2147483647 137379 14 | 47.202 % |
40.42/40.49 c | 143953 | 19299 81899 246137 | 2147483647 138403 14 | 47.202 % |
40.82/40.89 c | 146001 | 19284 81899 246137 | 2147483647 140450 14 | 47.205 % |
41.02/41.07 c | 146514 | 19284 81899 246137 | 2147483647 140963 14 | 47.205 % |
41.12/41.20 c | 147026 | 19283 81899 246137 | 2147483647 141474 14 | 47.208 % |
41.42/41.51 c | 148050 | 19282 81899 246137 | 2147483647 142497 14 | 47.211 % |
41.62/41.66 c | 148563 | 19281 81899 246137 | 2147483647 143009 14 | 47.213 % |
41.72/41.80 c | 149076 | 19278 81899 246137 | 2147483647 143520 14 | 47.221 % |
42.02/42.05 c | 150101 | 19278 81899 246137 | 2147483647 144545 14 | 47.221 % |
42.42/42.45 c | 152150 | 19278 81899 246137 | 2147483647 146594 14 | 47.221 % |
42.82/42.87 c | 156246 | 19260 81640 245396 | 2147483647 150626 15 | 47.224 % |
42.92/42.94 c | 156759 | 19260 81640 245396 | 2147483647 151139 15 | 47.224 % |
43.12/43.12 c | 157275 | 19257 81640 245396 | 2147483647 151653 15 | 47.232 % |
43.52/43.57 c | 158300 | 19253 81640 245396 | 2147483647 152675 15 | 47.243 % |
43.72/43.76 c | 158812 | 19253 81640 245396 | 2147483647 153187 15 | 47.243 % |
43.92/43.97 c | 159324 | 19235 81640 245396 | 2147483647 153696 15 | 47.364 % |
44.22/44.23 c | 160350 | 19228 81640 245396 | 154371 154719 15 | 47.394 % |
44.92/44.98 c | 162398 | 19201 81640 245396 | 154371 156755 15 | 47.556 % |
45.02/45.12 c | 162912 | 19175 81640 245396 | 154371 157264 15 | 47.687 % |
45.32/45.32 c | 163426 | 19169 81640 245396 | 154371 157777 15 | 47.797 % |
45.62/45.63 c | 164451 | 19168 81640 245396 | 154371 158801 15 | 47.800 % |
45.72/45.74 c | 164963 | 19050 80672 242558 | 154371 159162 15 | 47.800 % |
45.72/45.77 c | 165476 | 19050 80672 242558 | 154371 159675 15 | 47.800 % |
46.02/46.04 c | 166503 | 19044 80672 242558 | 154371 160700 15 | 47.852 % |
46.52/46.52 c | 168551 | 19022 80672 242558 | 154371 162745 15 | 47.915 % |
47.72/47.74 c | 172647 | 18980 80672 242558 | 164192 166833 15 | 48.063 % |
50.42/50.46 c | 180840 | 17155 73929 222434 | 173084 173923 16 | 53.201 % |
53.72/53.76 c | 197227 | 17150 73929 222434 | 183080 190306 17 | 53.255 % |
61.82/61.91 c | 229995 | 16982 72427 218042 | 212607 222602 19 | 53.847 % |
62.22/62.24 c | 230507 | 16530 71434 215097 | 222283 222782 19 | 55.031 % |
62.42/62.49 c | 231020 | 16524 71434 215097 | 222283 223295 19 | 55.031 % |
62.92/63.00 c | 232044 | 16522 71434 215097 | 222283 224318 19 | 55.036 % |
63.12/63.19 c | 232556 | 16519 71434 215097 | 222283 224829 19 | 55.056 % |
63.42/63.46 c | 233071 | 16517 71434 215097 | 222283 225344 19 | 55.056 % |
63.82/63.83 c | 234095 | 16516 71434 215097 | 222283 226367 19 | 55.058 % |
64.72/64.82 c | 236144 | 16393 71434 215097 | 222283 228372 19 | 55.741 % |
64.92/64.98 c | 236657 | 16393 71434 215097 | 222283 228885 19 | 55.741 % |
65.12/65.14 c | 237170 | 16393 71434 215097 | 222283 229398 19 | 55.741 % |
65.32/65.40 c | 238194 | 16388 71434 215097 | 222283 230421 19 | 55.757 % |
65.52/65.58 c | 238706 | 16378 71434 215097 | 222283 230931 19 | 55.795 % |
65.82/65.84 c | 239219 | 16378 71434 215097 | 222283 231444 19 | 55.795 % |
66.22/66.30 c | 240245 | 16377 71434 215097 | 232225 232469 19 | 55.798 % |
66.92/66.98 c | 242293 | 16179 71434 215097 | 232225 234482 19 | 56.450 % |
68.02/68.07 c | 246389 | 16179 71434 215097 | 232225 238578 19 | 56.450 % |
68.12/68.20 c | 246902 | 16179 71434 215097 | 232225 239091 19 | 56.450 % |
68.32/68.40 c | 247415 | 16179 71434 215097 | 232225 239604 19 | 56.450 % |
68.82/68.83 c | 248440 | 16174 71434 215097 | 232225 240627 19 | 56.467 % |
69.02/69.04 c | 248952 | 16174 71434 215097 | 232225 241139 19 | 56.467 % |
69.22/69.27 c | 249464 | 16174 71434 215097 | 232225 241651 19 | 56.467 % |
69.42/69.50 c | 250488 | 16174 71434 215097 | 242188 242675 19 | 56.467 % |
70.22/70.30 c | 252536 | 15887 68023 205032 | 242188 244152 20 | 56.467 % |
70.52/70.52 c | 253050 | 15886 68023 205032 | 242188 244665 20 | 56.470 % |
70.72/70.72 c | 253562 | 15886 68023 205032 | 242188 245177 20 | 56.470 % |
71.22/71.25 c | 254588 | 15855 68023 205032 | 242188 246201 20 | 57.061 % |
71.52/71.54 c | 255100 | 15853 68023 205032 | 242188 246711 20 | 57.067 % |
71.72/71.73 c | 255615 | 15853 68023 205032 | 242188 247226 20 | 57.067 % |
72.22/72.25 c | 256639 | 15844 68023 205032 | 242188 248247 20 | 57.092 % |
75.72/75.73 c | 258687 | 15836 68023 205032 | 242188 250290 21 | 57.193 % |
77.02/77.11 c | 262784 | 15836 68023 205032 | 251608 254387 21 | 57.193 % |
79.42/79.49 c | 270976 | 15831 68023 205032 | 261601 262577 21 | 57.207 % |
79.72/79.73 c | 271488 | 15828 68023 205032 | 261601 263088 21 | 57.220 % |
80.01/80.01 c | 272002 | 15826 68023 205032 | 261601 263601 21 | 57.226 % |
82.01/82.04 c | 273028 | 15826 68023 205032 | 261601 264627 22 | 57.226 % |
82.31/82.35 c | 273541 | 15609 67065 201966 | 261601 264877 22 | 57.229 % |
82.71/82.77 c | 274056 | 15608 67065 201966 | 261601 265391 22 | 57.234 % |
83.21/83.26 c | 275080 | 15607 67065 201966 | 261601 266414 22 | 57.237 % |
83.91/83.94 c | 277128 | 15607 67065 201966 | 261601 268462 22 | 57.237 % |
84.11/84.15 c | 277641 | 15607 67065 201966 | 261601 268975 22 | 57.237 % |
84.31/84.34 c | 278155 | 15607 67065 201966 | 261601 269489 22 | 57.237 % |
84.71/84.73 c | 279180 | 15607 67065 201966 | 261601 270514 22 | 57.237 % |
84.81/84.89 c | 279693 | 15607 67065 201966 | 261601 271027 22 | 57.237 % |
85.01/85.03 c | 280206 | 15607 67065 201966 | 271336 271540 22 | 57.237 % |
85.21/85.23 c | 281233 | 15607 67065 201966 | 271336 272567 22 | 57.237 % |
86.01/86.07 c | 283281 | 15606 67065 201966 | 271336 274614 22 | 57.240 % |
87.61/87.62 c | 287377 | 15606 67065 201966 | 271336 278710 22 | 57.240 % |
87.81/87.81 c | 287892 | 15606 67065 201966 | 271336 279225 22 | 57.240 % |
88.11/88.14 c | 288404 | 15606 67065 201966 | 271336 279737 22 | 57.240 % |
88.61/88.65 c | 289428 | 15606 67065 201966 | 271336 280761 22 | 57.240 % |
88.81/88.86 c | 289941 | 15606 67065 201966 | 271336 281274 22 | 57.240 % |
89.01/89.07 c | 290453 | 15606 67065 201966 | 281333 281786 22 | 57.240 % |
89.41/89.46 c | 291477 | 15606 67065 201966 | 281333 282810 22 | 57.240 % |
90.41/90.41 c | 293527 | 15603 67065 201966 | 281333 284858 22 | 57.270 % |
90.51/90.57 c | 294040 | 15603 67065 201966 | 281333 285371 22 | 57.270 % |
90.81/90.83 c | 294552 | 15600 67065 201966 | 281333 285881 22 | 57.289 % |
91.32/91.33 c | 295576 | 15600 67065 201966 | 281333 286905 22 | 57.289 % |
91.41/91.49 c | 296090 | 15599 67065 201966 | 281333 287418 22 | 57.292 % |
91.61/91.68 c | 296602 | 15599 67065 201966 | 281333 287930 22 | 57.292 % |
92.01/92.02 c | 297626 | 15595 67065 201966 | 281333 288952 22 | 57.303 % |
93.01/93.09 c | 299676 | 15595 67065 201966 | 281333 291002 22 | 57.303 % |
94.71/94.75 c | 303772 | 15594 67065 201966 | 291326 295097 22 | 57.305 % |
97.71/97.76 c | 311964 | 15565 66853 201351 | 301029 302991 22 | 57.349 % |
102.41/102.46 c | 328348 | 15562 66853 201351 | 311025 319372 23 | 57.357 % |
102.71/102.74 c | 328860 | 15562 66853 201351 | 311025 319884 23 | 57.357 % |
102.91/102.97 c | 329374 | 15562 66853 201351 | 311025 320398 23 | 57.357 % |
103.51/103.52 c | 330398 | 15562 66853 201351 | 321024 321422 23 | 57.357 % |
103.61/103.70 c | 330911 | 15562 66853 201351 | 321024 321935 23 | 57.357 % |
103.91/103.91 c | 331423 | 15562 66853 201351 | 321024 322447 23 | 57.357 % |
104.31/104.32 c | 332448 | 15562 66853 201351 | 321024 323472 23 | 57.357 % |
105.41/105.49 c | 334498 | 15561 66853 201351 | 321024 325521 23 | 57.360 % |
105.71/105.74 c | 335010 | 15561 66853 201351 | 321024 326033 23 | 57.360 % |
106.11/106.14 c | 335522 | 15561 66853 201351 | 321024 326545 23 | 57.360 % |
106.31/106.32 c | 336546 | 15561 66853 201351 | 321024 327569 23 | 57.360 % |
106.72/106.73 c | 337059 | 15558 66853 201351 | 321024 328080 23 | 57.368 % |
106.81/106.88 c | 337572 | 15558 66853 201351 | 321024 328593 23 | 57.368 % |
107.21/107.26 c | 338596 | 15558 66853 201351 | 321024 329617 23 | 57.368 % |
107.91/107.99 c | 340645 | 15558 66853 201351 | 331022 331666 23 | 57.368 % |
109.31/109.35 c | 344742 | 15558 66853 201351 | 331022 335763 23 | 57.368 % |
109.51/109.55 c | 345255 | 15558 66853 201351 | 331022 336276 23 | 57.368 % |
109.81/109.85 c | 345769 | 15556 66853 201351 | 331022 336789 23 | 57.374 % |
110.21/110.28 c | 346795 | 15556 66853 201351 | 331022 337815 23 | 57.374 % |
110.41/110.40 c | 347307 | 15556 66853 201351 | 331022 338327 23 | 57.374 % |
110.71/110.73 c | 347822 | 15555 66853 201351 | 331022 338841 23 | 57.377 % |
111.12/111.15 c | 348846 | 15555 66853 201351 | 331022 339865 23 | 57.377 % |
111.71/111.80 c | 350894 | 15555 66853 201351 | 341019 341913 23 | 57.377 % |
112.01/112.03 c | 351407 | 15555 66853 201351 | 341019 342426 23 | 57.377 % |
112.11/112.19 c | 351921 | 15555 66853 201351 | 341019 342940 23 | 57.377 % |
112.51/112.60 c | 352945 | 15554 66853 201351 | 341019 343963 23 | 57.379 % |
112.71/112.80 c | 353458 | 15554 66853 201351 | 341019 344476 23 | 57.379 % |
112.91/112.93 c | 353971 | 15554 66853 201351 | 341019 344989 23 | 57.379 % |
113.41/113.42 c | 354995 | 15554 66853 201351 | 341019 346013 23 | 57.379 % |
114.01/114.01 c | 357043 | 15554 66853 201351 | 341019 348061 23 | 57.379 % |
116.01/116.09 c | 361141 | 15536 66772 201134 | 350898 352038 23 | 57.429 % |
118.31/118.33 c | 369333 | 15536 66772 201134 | 350898 360230 24 | 57.429 % |
118.41/118.49 c | 369846 | 15536 66772 201134 | 350898 360743 24 | 57.429 % |
118.71/118.73 c | 370359 | 15536 66772 201134 | 360898 361256 24 | 57.429 % |
119.11/119.13 c | 371383 | 15536 66772 201134 | 360898 362280 24 | 57.429 % |
119.31/119.35 c | 371895 | 15536 66772 201134 | 360898 362792 24 | 57.429 % |
119.61/119.60 c | 372409 | 15536 66772 201134 | 360898 363306 24 | 57.429 % |
120.11/120.19 c | 373434 | 15536 66772 201134 | 360898 364331 24 | 57.429 % |
121.11/121.12 c | 375483 | 15536 66772 201134 | 360898 366380 24 | 57.429 % |
121.31/121.34 c | 375996 | 15536 66772 201134 | 360898 366893 24 | 57.429 % |
121.61/121.68 c | 376510 | 15536 66772 201134 | 360898 367407 24 | 57.429 % |
122.01/122.05 c | 377541 | 15534 66772 201134 | 360898 368436 24 | 57.434 % |
122.51/122.55 c | 378056 | 15534 66772 201134 | 360898 368951 24 | 57.434 % |
122.81/122.81 c | 378570 | 15534 66772 201134 | 360898 369465 24 | 57.434 % |
123.51/123.50 c | 379594 | 15534 66772 201134 | 360898 370489 24 | 57.434 % |
124.41/124.42 c | 381646 | 15498 66772 201134 | 370896 372536 24 | 57.541 % |
126.61/126.67 c | 385743 | 15497 66772 201134 | 370896 376632 25 | 57.544 % |
126.91/126.95 c | 386255 | 15497 66772 201134 | 370896 377144 25 | 57.544 % |
127.11/127.19 c | 386770 | 15497 66772 201134 | 370896 377659 25 | 57.544 % |
127.51/127.53 c | 387794 | 15496 66772 201134 | 370896 378682 25 | 57.546 % |
127.71/127.71 c | 388306 | 15496 66772 201134 | 370896 379194 25 | 57.546 % |
128.01/128.04 c | 388818 | 15496 66772 201134 | 370896 379706 25 | 57.546 % |
128.41/128.43 c | 389843 | 15496 66772 201134 | 370896 380731 25 | 57.546 % |
129.61/129.64 c | 391891 | 15496 66772 201134 | 380889 382779 25 | 57.546 % |
129.71/129.81 c | 392405 | 15496 66772 201134 | 380889 383293 25 | 57.546 % |
130.11/130.14 c | 392917 | 15496 66772 201134 | 380889 383805 25 | 57.546 % |
130.61/130.69 c | 393941 | 15496 66772 201134 | 380889 384829 25 | 57.546 % |
130.81/130.83 c | 394455 | 15496 66772 201134 | 380889 385343 25 | 57.546 % |
131.31/131.32 c | 394969 | 15496 66772 201134 | 380889 385857 25 | 57.546 % |
131.81/131.82 c | 395993 | 15496 66772 201134 | 380889 386881 25 | 57.546 % |
133.31/133.39 c | 398042 | 15496 66772 201134 | 380889 388930 25 | 57.546 % |
135.61/135.61 c | 402138 | 15493 66772 201134 | 390887 393024 25 | 57.555 % |
141.11/141.12 c | 410330 | 15462 66772 201134 | 400877 401207 25 | 57.716 % |
150.82/150.90 c | 426714 | 15415 66262 199606 | 410600 417308 26 | 57.768 % |
167.22/167.22 c | 459483 | 15412 66262 199606 | 440591 450074 26 | 57.777 % |
234.52/234.55 c | 525020 | 15359 66065 199039 | 510337 515355 28 | 57.922 % |
234.82/234.84 c | 525533 | 15359 66065 199039 | 510337 515868 28 | 57.922 % |
235.22/235.30 c | 526045 | 15359 66065 199039 | 510337 516380 28 | 57.922 % |
235.72/235.78 c | 527071 | 15359 66065 199039 | 510337 517406 28 | 57.922 % |
236.12/236.15 c | 527583 | 15359 66065 199039 | 510337 517918 28 | 57.922 % |
236.62/236.70 c | 528097 | 15359 66065 199039 | 510337 518432 28 | 57.922 % |
237.52/237.60 c | 529122 | 15358 66065 199039 | 510337 519456 28 | 57.925 % |
238.92/238.97 c | 531170 | 15358 66065 199039 | 520335 521504 28 | 57.925 % |
239.22/239.30 c | 531682 | 15358 66065 199039 | 520335 522016 28 | 57.925 % |
239.72/239.71 c | 532194 | 15358 66065 199039 | 520335 522528 28 | 57.925 % |
240.62/240.70 c | 533218 | 15358 66065 199039 | 520335 523552 28 | 57.925 % |
241.02/241.07 c | 533730 | 15358 66065 199039 | 520335 524064 28 | 57.925 % |
241.22/241.25 c | 534242 | 15358 66065 199039 | 520335 524576 28 | 57.925 % |
241.92/241.98 c | 535267 | 15358 66065 199039 | 520335 525601 28 | 57.925 % |
243.62/243.70 c | 537316 | 15358 66065 199039 | 520335 527650 28 | 57.925 % |
246.72/246.75 c | 541412 | 15358 66065 199039 | 530335 531746 28 | 57.925 % |
246.92/246.99 c | 541925 | 15358 66065 199039 | 530335 532259 28 | 57.925 % |
247.53/247.51 c | 542439 | 15358 66065 199039 | 530335 532773 28 | 57.925 % |
248.12/248.14 c | 543465 | 15358 66065 199039 | 530335 533799 29 | 57.925 % |
248.63/248.65 c | 543977 | 15358 66065 199039 | 530335 534311 29 | 57.925 % |
249.52/249.57 c | 544489 | 15358 66065 199039 | 530335 534823 29 | 57.925 % |
250.22/250.25 c | 545514 | 15353 66065 199039 | 530335 535846 29 | 57.938 % |
251.32/251.38 c | 547562 | 15353 66065 199039 | 530335 537894 29 | 57.938 % |
251.62/251.65 c | 548074 | 15353 66065 199039 | 530335 538406 29 | 57.938 % |
252.12/252.13 c | 548586 | 15353 66065 199039 | 530335 538918 29 | 57.938 % |
253.52/253.55 c | 549611 | 15353 66065 199039 | 530335 539943 29 | 57.938 % |
253.72/253.75 c | 550123 | 15353 66065 199039 | 540332 540455 29 | 57.938 % |
254.13/254.18 c | 550637 | 15353 66065 199039 | 540332 540969 29 | 57.938 % |
254.72/254.79 c | 551663 | 15353 66065 199039 | 540332 541995 29 | 57.938 % |
257.12/257.15 c | 553711 | 15353 66065 199039 | 540332 544043 29 | 57.938 % |
259.82/259.83 c | 557807 | 15353 66065 199039 | 540332 548139 29 | 57.938 % |
273.03/273.03 c | 566001 | 15353 66065 199039 | 550332 556333 29 | 57.938 % |
273.73/273.73 c | 566513 | 15351 66065 199039 | 550332 556843 29 | 57.944 % |
274.13/274.15 c | 567025 | 15351 66065 199039 | 550332 557355 29 | 57.944 % |
275.23/275.27 c | 568049 | 15343 66065 199039 | 550332 558378 29 | 57.966 % |
275.63/275.70 c | 568562 | 15342 66065 199039 | 550332 558890 29 | 57.968 % |
276.03/276.05 c | 569076 | 15342 66065 199039 | 550332 559404 29 | 57.968 % |
276.93/276.99 c | 570101 | 15342 66065 199039 | 560328 560429 29 | 57.968 % |
278.43/278.46 c | 572150 | 15342 66065 199039 | 560328 562478 29 | 57.968 % |
278.73/278.76 c | 572663 | 15342 66065 199039 | 560328 562991 29 | 57.968 % |
279.13/279.16 c | 573175 | 15342 66065 199039 | 560328 563503 29 | 57.968 % |
279.83/279.86 c | 574199 | 15342 66065 199039 | 560328 564527 29 | 57.968 % |
280.23/280.26 c | 574711 | 15342 66065 199039 | 560328 565039 29 | 57.968 % |
280.53/280.55 c | 575223 | 15342 66065 199039 | 560328 565551 29 | 57.968 % |
281.33/281.38 c | 576247 | 15342 66065 199039 | 560328 566575 29 | 57.968 % |
282.53/282.60 c | 578299 | 15341 66065 199039 | 560328 568626 29 | 57.971 % |
284.53/284.61 c | 582395 | 15341 66065 199039 | 570328 572722 29 | 57.971 % |
285.53/285.52 c | 582907 | 15341 66065 199039 | 570328 573234 29 | 57.971 % |
285.73/285.79 c | 583421 | 15341 66065 199039 | 570328 573748 29 | 57.971 % |
286.73/286.74 c | 584445 | 15340 66065 199039 | 570328 574771 29 | 57.974 % |
287.03/287.03 c | 584957 | 15340 66065 199039 | 570328 575283 29 | 57.974 % |
287.53/287.59 c | 585469 | 15340 66065 199039 | 570328 575795 29 | 57.974 % |
288.03/288.07 c | 586493 | 15340 66065 199039 | 570328 576819 29 | 57.974 % |
290.43/290.47 c | 588541 | 15340 66065 199039 | 570328 578867 29 | 57.974 % |
290.83/290.83 c | 589055 | 15340 66065 199039 | 570328 579381 29 | 57.974 % |
291.43/291.43 c | 589567 | 15340 66065 199039 | 570328 579893 29 | 57.974 % |
292.03/292.07 c | 590591 | 15340 66065 199039 | 580328 580917 29 | 57.974 % |
292.43/292.43 c | 591103 | 15337 66065 199039 | 580328 581427 29 | 57.982 % |
292.93/292.93 c | 591616 | 15337 66065 199039 | 580328 581940 29 | 57.982 % |
293.43/293.48 c | 592642 | 15337 66065 199039 | 580328 582966 29 | 57.982 % |
294.73/294.77 c | 594691 | 15335 66065 199039 | 580328 585013 29 | 57.988 % |
300.43/300.43 c | 598788 | 15335 66065 199039 | 580328 589110 29 | 57.988 % |
308.23/308.26 c | 606982 | 15334 66065 199039 | 590322 597303 29 | 57.990 % |
323.53/323.55 c | 623368 | 15326 65778 198212 | 609988 613355 30 | 58.004 % |
323.83/323.88 c | 623884 | 15326 65778 198212 | 609988 613871 30 | 58.004 % |
324.33/324.35 c | 624400 | 15326 65778 198212 | 609988 614387 30 | 58.004 % |
325.43/325.45 c | 625428 | 15325 65778 198212 | 609988 615414 30 | 58.007 % |
325.83/325.90 c | 625940 | 15325 65778 198212 | 609988 615926 30 | 58.007 % |
326.23/326.27 c | 626455 | 15325 65778 198212 | 609988 616441 30 | 58.007 % |
326.93/326.99 c | 627480 | 15324 65778 198212 | 609988 617465 30 | 58.010 % |
329.13/329.13 c | 629529 | 15324 65778 198212 | 609988 619514 30 | 58.010 % |
329.83/329.90 c | 630042 | 15323 65778 198212 | 619987 620026 30 | 58.029 % |
330.13/330.18 c | 630554 | 15323 65778 198212 | 619987 620538 30 | 58.029 % |
330.83/330.85 c | 631579 | 15322 65778 198212 | 619987 621562 30 | 58.031 % |
331.23/331.30 c | 632091 | 15322 65778 198212 | 619987 622074 30 | 58.031 % |
331.53/331.61 c | 632604 | 15322 65778 198212 | 619987 622587 30 | 58.031 % |
332.23/332.26 c | 633629 | 15322 65778 198212 | 619987 623612 30 | 58.031 % |
335.63/335.62 c | 635678 | 15322 65778 198212 | 619987 625661 30 | 58.031 % |
338.13/338.19 c | 639774 | 15322 65778 198212 | 619987 629757 30 | 58.031 % |
338.43/338.51 c | 640286 | 15322 65778 198212 | 629984 630269 30 | 58.031 % |
338.73/338.82 c | 640799 | 15322 65778 198212 | 629984 630782 30 | 58.031 % |
339.13/339.20 c | 641823 | 15322 65778 198212 | 629984 631806 30 | 58.031 % |
339.43/339.50 c | 642335 | 15322 65778 198212 | 629984 632318 30 | 58.031 % |
339.83/339.87 c | 642848 | 15322 65778 198212 | 629984 632831 30 | 58.031 % |
340.73/340.80 c | 643872 | 15321 65778 198212 | 629984 633854 30 | 58.034 % |
341.83/341.89 c | 645920 | 15321 65778 198212 | 629984 635902 30 | 58.034 % |
342.43/342.44 c | 646434 | 15321 65778 198212 | 629984 636416 30 | 58.034 % |
342.93/342.92 c | 646947 | 15321 65778 198212 | 629984 636929 30 | 58.034 % |
344.03/344.09 c | 647971 | 15321 65778 198212 | 629984 637953 31 | 58.034 % |
344.63/344.62 c | 648484 | 15321 65778 198212 | 629984 638466 31 | 58.034 % |
344.93/344.99 c | 648996 | 15321 65778 198212 | 629984 638978 30 | 58.034 % |
345.53/345.60 c | 650020 | 15321 65778 198212 | 639982 640002 30 | 58.034 % |
347.23/347.25 c | 652068 | 15320 65778 198212 | 639982 642049 31 | 58.037 % |
351.43/351.46 c | 656165 | 15320 65778 198212 | 639982 646146 31 | 58.037 % |
361.73/361.73 c | 664357 | 15318 65778 198212 | 649979 654336 31 | 58.042 % |
362.03/362.07 c | 664870 | 15318 65778 198212 | 649979 654849 31 | 58.042 % |
362.53/362.52 c | 665382 | 15318 65778 198212 | 649979 655361 31 | 58.042 % |
363.04/363.07 c | 666408 | 15318 65778 198212 | 649979 656387 31 | 58.042 % |
363.33/363.37 c | 666922 | 15318 65778 198212 | 649979 656901 31 | 58.042 % |
363.53/363.58 c | 667435 | 15318 65778 198212 | 649979 657414 31 | 58.042 % |
364.63/364.70 c | 668459 | 15318 65778 198212 | 649979 658438 31 | 58.042 % |
366.03/366.03 c | 670507 | 15318 65778 198212 | 659982 660486 31 | 58.042 % |
366.43/366.50 c | 671020 | 15318 65778 198212 | 659982 660999 31 | 58.042 % |
367.13/367.19 c | 671536 | 15318 65778 198212 | 659982 661515 31 | 58.042 % |
368.03/368.10 c | 672560 | 15318 65778 198212 | 659982 662539 31 | 58.042 % |
368.43/368.50 c | 673073 | 15318 65778 198212 | 659982 663052 31 | 58.042 % |
369.13/369.12 c | 673586 | 15318 65778 198212 | 659982 663565 31 | 58.042 % |
369.53/369.57 c | 674612 | 15318 65778 198212 | 659982 664591 31 | 58.042 % |
372.13/372.11 c | 676661 | 15318 65778 198212 | 659982 666640 31 | 58.042 % |
375.33/375.33 c | 680758 | 15317 65778 198212 | 669979 670736 31 | 58.045 % |
375.93/375.94 c | 681270 | 15317 65778 198212 | 669979 671248 31 | 58.045 % |
376.24/376.23 c | 681783 | 15317 65778 198212 | 669979 671761 31 | 58.045 % |
377.34/377.33 c | 682808 | 15317 65778 198212 | 669979 672786 31 | 58.045 % |
377.93/378.00 c | 683320 | 15317 65778 198212 | 669979 673298 31 | 58.045 % |
378.23/378.24 c | 683832 | 15317 65778 198212 | 669979 673810 31 | 58.045 % |
379.23/379.22 c | 684856 | 15317 65778 198212 | 669979 674834 31 | 58.045 % |
381.03/381.01 c | 686905 | 15317 65778 198212 | 669979 676883 31 | 58.045 % |
381.63/381.66 c | 687419 | 15317 65778 198212 | 669979 677397 31 | 58.045 % |
382.13/382.18 c | 687934 | 15317 65778 198212 | 669979 677912 31 | 58.045 % |
382.93/382.92 c | 688960 | 15317 65778 198212 | 669979 678938 31 | 58.045 % |
383.33/383.40 c | 689474 | 15317 65778 198212 | 669979 679452 31 | 58.045 % |
383.83/383.87 c | 689986 | 15317 65778 198212 | 669979 679964 31 | 58.045 % |
384.93/384.98 c | 691011 | 15317 65778 198212 | 679978 680989 31 | 58.045 % |
387.24/387.28 c | 693060 | 15317 65778 198212 | 679978 683038 31 | 58.045 % |
391.83/391.82 c | 697156 | 15317 65778 198212 | 679978 687134 31 | 58.045 % |
396.44/396.44 c | 705349 | 15317 65778 198212 | 689981 695327 31 | 58.045 % |
413.44/413.50 c | 721733 | 15309 65672 197912 | 709828 711559 31 | 58.051 % |
463.53/463.51 c | 754501 | 15308 65672 197912 | 739827 744326 38 | 58.053 % |
463.73/463.70 c | 755013 | 15308 65672 197912 | 739827 744838 38 | 58.053 % |
464.03/464.05 c | 755526 | 15308 65672 197912 | 739827 745351 38 | 58.053 % |
464.63/464.70 c | 756550 | 15308 65672 197912 | 739827 746375 38 | 58.053 % |
465.53/465.59 c | 757062 | 15308 65672 197912 | 739827 746887 38 | 58.053 % |
466.44/466.42 c | 757574 | 15308 65672 197912 | 739827 747399 38 | 58.053 % |
467.33/467.31 c | 758598 | 15308 65672 197912 | 739827 748423 38 | 58.053 % |
470.13/470.17 c | 760646 | 15308 65672 197912 | 749826 750471 38 | 58.053 % |
471.13/471.13 c | 761160 | 15308 65672 197912 | 749826 750985 38 | 58.053 % |
471.63/471.67 c | 761672 | 15308 65672 197912 | 749826 751497 38 | 58.053 % |
472.83/472.83 c | 762697 | 15308 65672 197912 | 749826 752522 38 | 58.053 % |
473.33/473.36 c | 763211 | 15308 65672 197912 | 749826 753036 38 | 58.053 % |
473.83/473.88 c | 763725 | 15308 65672 197912 | 749826 753550 38 | 58.053 % |
475.03/475.10 c | 764750 | 15306 65672 197912 | 749826 754574 38 | 58.059 % |
478.23/478.26 c | 766799 | 15306 65672 197912 | 749826 756623 38 | 58.059 % |
485.83/485.82 c | 770895 | 15306 65672 197912 | 759825 760719 38 | 58.059 % |
486.33/486.31 c | 771408 | 15306 65672 197912 | 759825 761232 38 | 58.059 % |
486.83/486.85 c | 771922 | 15304 65672 197912 | 759825 761745 38 | 58.064 % |
488.03/488.07 c | 772946 | 15304 65672 197912 | 759825 762769 38 | 58.064 % |
488.63/488.66 c | 773458 | 15304 65672 197912 | 759825 763281 38 | 58.064 % |
489.33/489.31 c | 773971 | 15304 65672 197912 | 759825 763794 38 | 58.064 % |
490.13/490.12 c | 774995 | 15304 65672 197912 | 759825 764818 38 | 58.064 % |
493.43/493.45 c | 777043 | 15304 65672 197912 | 759825 766866 38 | 58.064 % |
494.33/494.37 c | 777556 | 15304 65672 197912 | 759825 767379 38 | 58.064 % |
494.83/494.82 c | 778069 | 15304 65672 197912 | 759825 767892 38 | 58.064 % |
495.73/495.75 c | 779093 | 15303 65672 197912 | 759825 768915 38 | 58.067 % |
496.63/496.61 c | 779605 | 15303 65672 197912 | 759825 769427 38 | 58.067 % |
497.53/497.54 c | 780119 | 15303 65672 197912 | 769823 769941 38 | 58.067 % |
499.13/499.15 c | 781144 | 15303 65672 197912 | 769823 770966 38 | 58.067 % |
500.93/500.95 c | 783192 | 15303 65672 197912 | 769823 773014 38 | 58.067 % |
507.23/507.23 c | 787288 | 15303 65672 197912 | 769823 777110 38 | 58.067 % |
516.93/516.91 c | 795481 | 15302 65672 197912 | 779823 785302 39 | 58.070 % |
517.74/517.80 c | 795994 | 15302 65672 197912 | 779823 785815 39 | 58.070 % |
518.44/518.44 c | 796507 | 15302 65672 197912 | 779823 786328 39 | 58.070 % |
519.74/519.78 c | 797532 | 15302 65672 197912 | 779823 787353 39 | 58.070 % |
520.64/520.68 c | 798045 | 15302 65672 197912 | 779823 787866 39 | 58.070 % |
521.34/521.32 c | 798558 | 15302 65672 197912 | 779823 788379 39 | 58.070 % |
521.64/521.69 c | 799582 | 15302 65672 197912 | 779823 789403 39 | 58.070 % |
525.14/525.16 c | 801630 | 15301 65672 197912 | 789822 791450 39 | 58.073 % |
525.84/525.90 c | 802142 | 15301 65672 197912 | 789822 791962 39 | 58.073 % |
526.04/526.10 c | 802654 | 15301 65672 197912 | 789822 792474 39 | 58.073 % |
527.14/527.12 c | 803678 | 15301 65672 197912 | 789822 793498 39 | 58.073 % |
527.44/527.43 c | 804191 | 15301 65672 197912 | 789822 794011 39 | 58.073 % |
527.64/527.63 c | 804704 | 15301 65672 197912 | 789822 794524 39 | 58.073 % |
529.64/529.61 c | 805732 | 15301 65672 197912 | 789822 795552 39 | 58.073 % |
531.74/531.72 c | 807782 | 15299 65672 197912 | 789822 797600 39 | 58.078 % |
536.64/536.64 c | 811879 | 15299 65672 197912 | 799818 801697 39 | 58.078 % |
537.14/537.11 c | 812391 | 15299 65672 197912 | 799818 802209 39 | 58.078 % |
537.44/537.45 c | 812903 | 15299 65672 197912 | 799818 802721 39 | 58.078 % |
539.04/539.05 c | 813929 | 15299 65672 197912 | 799818 803747 39 | 58.078 % |
539.54/539.54 c | 814441 | 15299 65672 197912 | 799818 804259 39 | 58.078 % |
540.64/540.68 c | 814954 | 15299 65672 197912 | 799818 804772 39 | 58.078 % |
541.64/541.65 c | 815978 | 15299 65672 197912 | 799818 805796 39 | 58.078 % |
545.54/545.52 c | 818026 | 15299 65672 197912 | 799818 807844 39 | 58.078 % |
546.04/546.03 c | 818538 | 15299 65672 197912 | 799818 808356 39 | 58.078 % |
546.94/546.99 c | 819051 | 15299 65672 197912 | 799818 808869 39 | 58.078 % |
548.44/548.48 c | 820076 | 15299 65672 197912 | 809821 809894 39 | 58.078 % |
548.84/548.90 c | 820588 | 15299 65672 197912 | 809821 810406 39 | 58.078 % |
549.84/549.88 c | 821102 | 15299 65672 197912 | 809821 810920 39 | 58.078 % |
553.44/553.48 c | 822128 | 15299 65672 197912 | 809821 811946 39 | 58.078 % |
555.74/555.78 c | 824176 | 15299 65672 197912 | 809821 813994 39 | 58.078 % |
560.94/560.91 c | 828272 | 15299 65672 197912 | 809821 818090 40 | 58.078 % |
569.44/569.45 c | 836464 | 15299 65672 197912 | 819819 826282 40 | 58.078 % |
588.55/588.55 c | 852848 | 15297 65672 197912 | 839816 842664 40 | 58.084 % |
589.44/589.42 c | 853360 | 15297 65610 197742 | 839816 843015 40 | 58.084 % |
590.24/590.27 c | 853872 | 15292 65610 197742 | 839816 843526 40 | 58.097 % |
591.04/591.04 c | 854899 | 15292 65610 197742 | 839816 844553 40 | 58.097 % |
591.54/591.52 c | 855411 | 15292 65610 197742 | 839816 845065 40 | 58.097 % |
592.24/592.29 c | 855927 | 15292 65610 197742 | 839816 845581 40 | 58.097 % |
594.84/594.81 c | 856951 | 15292 65610 197742 | 839816 846605 40 | 58.097 % |
599.84/599.87 c | 858999 | 15292 65610 197742 | 839816 848653 40 | 58.097 % |
600.24/600.26 c | 859513 | 15292 65610 197742 | 839816 849167 40 | 58.097 % |
601.04/601.07 c | 860025 | 15292 65610 197742 | 849655 849679 40 | 58.097 % |
602.04/602.10 c | 861049 | 15292 65610 197742 | 849655 850703 40 | 58.097 % |
603.84/603.90 c | 861562 | 15292 65610 197742 | 849655 851216 40 | 58.097 % |
604.44/604.49 c | 862074 | 15292 65610 197742 | 849655 851728 40 | 58.097 % |
606.04/606.01 c | 863099 | 15292 65610 197742 | 849655 852753 40 | 58.097 % |
607.74/607.72 c | 865148 | 15292 65610 197742 | 849655 854802 40 | 58.097 % |
615.34/615.31 c | 869245 | 15292 65610 197742 | 849655 858899 40 | 58.097 % |
615.64/615.68 c | 869757 | 15292 65610 197742 | 849655 859411 40 | 58.097 % |
616.44/616.46 c | 870269 | 15292 65610 197742 | 859658 859923 40 | 58.097 % |
616.94/617.00 c | 871294 | 15292 65610 197742 | 859658 860948 40 | 58.097 % |
617.34/617.40 c | 871806 | 15292 65610 197742 | 859658 861460 40 | 58.097 % |
618.14/618.15 c | 872319 | 15292 65610 197742 | 859658 861973 40 | 58.097 % |
619.54/619.58 c | 873343 | 15292 65610 197742 | 859658 862997 40 | 58.097 % |
620.45/620.43 c | 875391 | 15292 65610 197742 | 859658 865045 40 | 58.097 % |
621.24/621.22 c | 875903 | 15292 65610 197742 | 859658 865557 40 | 58.097 % |
622.04/622.02 c | 876418 | 15292 65610 197742 | 859658 866072 40 | 58.097 % |
623.24/623.21 c | 877442 | 15292 65610 197742 | 859658 867096 40 | 58.097 % |
623.54/623.51 c | 877954 | 15292 65610 197742 | 859658 867608 40 | 58.097 % |
624.44/624.43 c | 878466 | 15292 65610 197742 | 859658 868120 40 | 58.097 % |
626.34/626.31 c | 879491 | 15292 65610 197742 | 859658 869145 40 | 58.097 % |
630.24/630.25 c | 881542 | 15292 65610 197742 | 869654 871196 40 | 58.097 % |
635.34/635.36 c | 885640 | 15292 65610 197742 | 869654 875294 40 | 58.097 % |
646.25/646.24 c | 893832 | 15292 65610 197742 | 879656 883486 40 | 58.097 % |
646.65/646.67 c | 894344 | 15292 65610 197742 | 879656 883998 40 | 58.097 % |
647.35/647.32 c | 894856 | 15292 65610 197742 | 879656 884510 40 | 58.097 % |
647.95/648.00 c | 895880 | 15292 65610 197742 | 879656 885534 40 | 58.097 % |
648.45/648.42 c | 896394 | 15292 65610 197742 | 879656 886048 40 | 58.097 % |
649.15/649.20 c | 896907 | 15292 65610 197742 | 879656 886561 40 | 58.097 % |
650.55/650.55 c | 897933 | 15292 65610 197742 | 879656 887587 40 | 58.097 % |
654.45/654.49 c | 899981 | 15292 65610 197742 | 879656 889635 40 | 58.097 % |
655.05/655.11 c | 900494 | 15291 65610 197742 | 889654 890147 40 | 58.100 % |
655.75/655.72 c | 901007 | 15291 65610 197742 | 889654 890660 40 | 58.100 % |
657.05/657.06 c | 902032 | 15291 65610 197742 | 889654 891685 40 | 58.100 % |
657.85/657.90 c | 902546 | 15291 65610 197742 | 889654 892199 40 | 58.100 % |
658.75/658.76 c | 903058 | 15287 65610 197742 | 889654 892710 40 | 58.111 % |
660.25/660.24 c | 904082 | 15286 65610 197742 | 889654 893733 40 | 58.114 % |
663.45/663.46 c | 906130 | 15286 65610 197742 | 889654 895781 40 | 58.114 % |
667.25/667.24 c | 910227 | 15284 65610 197742 | 899649 899876 40 | 58.119 % |
668.05/668.04 c | 910740 | 15284 65610 197742 | 899649 900389 40 | 58.119 % |
668.45/668.42 c | 911253 | 15284 65610 197742 | 899649 900902 40 | 58.119 % |
669.45/669.48 c | 912278 | 15284 65610 197742 | 899649 901927 40 | 58.119 % |
669.75/669.80 c | 912791 | 15284 65610 197742 | 899649 902440 40 | 58.119 % |
670.25/670.27 c | 913303 | 15284 65610 197742 | 899649 902952 40 | 58.119 % |
671.05/671.09 c | 914327 | 15284 65610 197742 | 899649 903976 40 | 58.119 % |
672.85/672.88 c | 916375 | 15284 65610 197742 | 899649 906024 40 | 58.119 % |
673.75/673.73 c | 916887 | 15284 65610 197742 | 899649 906536 40 | 58.119 % |
674.35/674.31 c | 917401 | 15284 65610 197742 | 899649 907050 40 | 58.119 % |
675.65/675.61 c | 918426 | 15283 65610 197742 | 899649 908074 40 | 58.122 % |
676.15/676.18 c | 918939 | 15283 65610 197742 | 899649 908587 40 | 58.122 % |
676.55/676.56 c | 919452 | 15283 65610 197742 | 899649 909100 40 | 58.122 % |
677.15/677.20 c | 920476 | 15282 65610 197742 | 909648 910123 40 | 58.125 % |
679.25/679.25 c | 922524 | 15282 65610 197742 | 909648 912171 40 | 58.125 % |
682.05/682.02 c | 926620 | 15282 65610 197742 | 909648 916267 40 | 58.125 % |
700.45/700.46 c | 934813 | 15282 65610 197742 | 919647 924460 40 | 58.125 % |
721.66/721.68 c | 951197 | 15282 65610 197742 | 939648 940844 41 | 58.125 % |
772.26/772.27 c | 983966 | 15281 65610 197742 | 969647 973612 42 | 58.127 % |
911.97/911.96 c | 1049503 | 15279 65610 197742 | 1029645 1039147 43 | 58.133 % |
1167.98/1167.97 c | 1180575 | 15271 65493 197427 | 1169486 1170061 46 | 58.155 % |
1168.98/1168.93 c | 1181087 | 15271 65493 197427 | 1169486 1170573 46 | 58.155 % |
1170.68/1170.64 c | 1181599 | 15271 65493 197427 | 1169486 1171085 46 | 58.155 % |
1173.28/1173.31 c | 1182625 | 15271 65493 197427 | 1169486 1172111 46 | 58.155 % |
1174.08/1174.07 c | 1183140 | 15270 65493 197427 | 1169486 1172625 46 | 58.158 % |
1174.78/1174.80 c | 1183653 | 15270 65493 197427 | 1169486 1173138 46 | 58.158 % |
1176.18/1176.16 c | 1184677 | 15270 65493 197427 | 1169486 1174162 46 | 58.158 % |
1179.48/1179.50 c | 1186725 | 15270 65493 197427 | 1169486 1176210 46 | 58.158 % |
1180.58/1180.54 c | 1187237 | 15270 65493 197427 | 1169486 1176722 46 | 58.158 % |
1182.18/1182.18 c | 1187749 | 15270 65493 197427 | 1169486 1177234 46 | 58.158 % |
1184.78/1184.72 c | 1188773 | 15270 65493 197427 | 1169486 1178258 46 | 58.158 % |
1186.18/1186.17 c | 1189288 | 15270 65493 197427 | 1169486 1178773 46 | 58.158 % |
1187.58/1187.60 c | 1189803 | 15270 65493 197427 | 1169486 1179288 46 | 58.158 % |
1188.48/1188.41 c | 1190827 | 15270 65493 197427 | 1179486 1180312 46 | 58.158 % |
1193.58/1193.51 c | 1192875 | 15270 65493 197427 | 1179486 1182360 46 | 58.158 % |
1200.08/1200.04 HOME/SatELiteGTI: line 36: 7969 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821029-1242499054/watcher-1821029-1242499054 -o /tmp/evaluation-result-1821029-1242499054/solver-1821029-1242499054 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821029-1242499054.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.19 1.09 1.05 2/97 7963
/proc/meminfo: memFree=1724920/2074464 swapFree=1949244/1959888
[pid=7963] ppid=7961 vsize=2412 CPUtime=0.01
/proc/7963/stat : 7963 (SatELiteGTI) S 7961 7963 16367 0 -1 4194304 367 642 0 0 0 0 0 1 18 0 1 0 1014406422 2469888 276 4294967295 134512640 135169312 3214791984 3214790520 3085414126 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/7963/statm: 603 276 235 161 0 42 0
[pid=7967] ppid=7963 vsize=956 CPUtime=0
/proc/7967/stat : 7967 (SatELite_releas) R 7963 7963 16367 0 -1 4202496 130 0 0 0 0 0 0 0 20 0 1 0 1014406423 978944 65 4294967295 134512640 135223648 3221187376 3221185972 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7967/statm: 239 70 45 174 0 64 0
[startup+0.092792 s]
/proc/loadavg: 1.19 1.09 1.05 2/97 7963
/proc/meminfo: memFree=1724920/2074464 swapFree=1949244/1959888
[pid=7963] ppid=7961 vsize=2412 CPUtime=0.01
/proc/7963/stat : 7963 (SatELiteGTI) S 7961 7963 16367 0 -1 4194304 367 642 0 0 0 0 0 1 18 0 1 0 1014406422 2469888 276 4294967295 134512640 135169312 3214791984 3214790520 3085414126 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/7963/statm: 603 276 235 161 0 42 0
[pid=7967] ppid=7963 vsize=15924 CPUtime=0.09
/proc/7967/stat : 7967 (SatELite_releas) R 7963 7963 16367 0 -1 4202496 3329 0 0 0 7 2 0 0 20 0 1 0 1014406423 16306176 3264 4294967295 134512640 135223648 3221187376 3221186328 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7967/statm: 3981 3265 46 174 0 3806 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 18336
[startup+0.112791 s]
/proc/loadavg: 1.19 1.09 1.05 2/97 7963
/proc/meminfo: memFree=1724920/2074464 swapFree=1949244/1959888
[pid=7963] ppid=7961 vsize=2412 CPUtime=0.01
/proc/7963/stat : 7963 (SatELiteGTI) S 7961 7963 16367 0 -1 4194304 367 642 0 0 0 0 0 1 18 0 1 0 1014406422 2469888 276 4294967295 134512640 135169312 3214791984 3214790520 3085414126 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/7963/statm: 603 276 235 161 0 42 0
[pid=7967] ppid=7963 vsize=18284 CPUtime=0.11
/proc/7967/stat : 7967 (SatELite_releas) R 7963 7963 16367 0 -1 4202496 4026 0 0 0 8 3 0 0 20 0 1 0 1014406423 18722816 3961 4294967295 134512640 135223648 3221187376 3221185960 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7967/statm: 4571 3962 46 174 0 4396 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 20696
[startup+0.312779 s]
/proc/loadavg: 1.19 1.09 1.05 2/97 7963
/proc/meminfo: memFree=1724920/2074464 swapFree=1949244/1959888
[pid=7963] ppid=7961 vsize=2412 CPUtime=0.01
/proc/7963/stat : 7963 (SatELiteGTI) S 7961 7963 16367 0 -1 4194304 367 642 0 0 0 0 0 1 18 0 1 0 1014406422 2469888 276 4294967295 134512640 135169312 3214791984 3214790520 3085414126 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/7963/statm: 603 276 235 161 0 42 0
[pid=7967] ppid=7963 vsize=39324 CPUtime=0.31
/proc/7967/stat : 7967 (SatELite_releas) R 7963 7963 16367 0 -1 4202496 8747 0 0 0 26 5 0 0 21 0 1 0 1014406423 40267776 8054 4294967295 134512640 135223648 3221187376 3221185080 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7967/statm: 9831 8054 73 174 0 9656 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 41736
[startup+0.712757 s]
/proc/loadavg: 1.19 1.09 1.05 2/97 7963
/proc/meminfo: memFree=1724920/2074464 swapFree=1949244/1959888
[pid=7963] ppid=7961 vsize=2412 CPUtime=0.01
/proc/7963/stat : 7963 (SatELiteGTI) S 7961 7963 16367 0 -1 4194304 367 642 0 0 0 0 0 1 18 0 1 0 1014406422 2469888 276 4294967295 134512640 135169312 3214791984 3214790520 3085414126 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/7963/statm: 603 276 235 161 0 42 0
[pid=7967] ppid=7963 vsize=44852 CPUtime=0.71
/proc/7967/stat : 7967 (SatELite_releas) R 7963 7963 16367 0 -1 4202496 10109 0 0 0 64 7 0 0 22 0 1 0 1014406423 45928448 9416 4294967295 134512640 135223648 3221187376 3221185392 134586676 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7967/statm: 11213 9416 73 174 0 11038 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 47264
[startup+1.51271 s]
/proc/loadavg: 1.19 1.09 1.05 2/99 7968
/proc/meminfo: memFree=1684860/2074464 swapFree=1949244/1959888
[pid=7963] ppid=7961 vsize=2412 CPUtime=0.01
/proc/7963/stat : 7963 (SatELiteGTI) S 7961 7963 16367 0 -1 4194304 367 642 0 0 0 0 0 1 18 0 1 0 1014406422 2469888 276 4294967295 134512640 135169312 3214791984 3214790520 3085414126 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/7963/statm: 603 276 235 161 0 42 0
[pid=7967] ppid=7963 vsize=44276 CPUtime=1.51
/proc/7967/stat : 7967 (SatELite_releas) R 7963 7963 16367 0 -1 4202496 10357 0 0 0 144 7 0 0 25 0 1 0 1014406423 45338624 9313 4294967295 134512640 135223648 3221187376 3221185472 134596483 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7967/statm: 11069 9313 73 174 0 10894 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 46688
[startup+3.11262 s]
/proc/loadavg: 1.19 1.09 1.05 2/99 7969
/proc/meminfo: memFree=1707676/2074464 swapFree=1949244/1959888
[pid=7963] ppid=7961 vsize=2416 CPUtime=1.72
/proc/7963/stat : 7963 (SatELiteGTI) S 7961 7963 16367 0 -1 4194304 385 11073 0 0 0 0 162 10 18 0 1 0 1014406422 2473984 277 4294967295 134512640 135169312 3214791984 3214788200 3085414126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7963/statm: 604 277 235 161 0 43 0
[pid=7969] ppid=7963 vsize=12268 CPUtime=1.4
/proc/7969/stat : 7969 (minisat_static) R 7963 7963 16367 0 -1 4202496 2895 0 0 0 139 1 0 0 25 0 1 0 1014406594 12562432 2827 4294967295 134512640 135216591 3218512144 3218510336 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7969/statm: 3067 2827 75 172 0 2894 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 14684
[startup+6.31244 s]
/proc/loadavg: 1.17 1.09 1.05 2/99 7970
/proc/meminfo: memFree=1706592/2074464 swapFree=1949244/1959888
[pid=7963] ppid=7961 vsize=2416 CPUtime=1.72
/proc/7963/stat : 7963 (SatELiteGTI) S 7961 7963 16367 0 -1 4194304 385 11073 0 0 0 0 162 10 18 0 1 0 1014406422 2473984 277 4294967295 134512640 135169312 3214791984 3214788200 3085414126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7963/statm: 604 277 235 161 0 43 0
[pid=7969] ppid=7963 vsize=13060 CPUtime=4.59
/proc/7969/stat : 7969 (minisat_static) R 7963 7963 16367 0 -1 4202496 3090 0 0 0 458 1 0 0 25 0 1 0 1014406594 13373440 3022 4294967295 134512640 135216591 3218512144 3218510336 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7969/statm: 3265 3022 75 172 0 3092 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 15476
[startup+12.7121 s]
/proc/loadavg: 1.16 1.08 1.05 2/99 7971
/proc/meminfo: memFree=1704516/2074464 swapFree=1949244/1959888
[pid=7963] ppid=7961 vsize=2416 CPUtime=1.72
/proc/7963/stat : 7963 (SatELiteGTI) S 7961 7963 16367 0 -1 4194304 385 11073 0 0 0 0 162 10 18 0 1 0 1014406422 2473984 277 4294967295 134512640 135169312 3214791984 3214788200 3085414126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7963/statm: 604 277 235 161 0 43 0
[pid=7969] ppid=7963 vsize=14908 CPUtime=10.99
/proc/7969/stat : 7969 (minisat_static) R 7963 7963 16367 0 -1 4202496 3523 0 0 0 1098 1 0 0 25 0 1 0 1014406594 15265792 3455 4294967295 134512640 135216591 3218512144 3218510336 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7969/statm: 3727 3455 75 172 0 3554 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 17324
[startup+25.5214 s]
/proc/loadavg: 1.12 1.08 1.05 2/99 7973
/proc/meminfo: memFree=1701248/2074464 swapFree=1949244/1959888
[pid=7963] ppid=7961 vsize=2416 CPUtime=1.72
/proc/7963/stat : 7963 (SatELiteGTI) S 7961 7963 16367 0 -1 4194304 385 11073 0 0 0 0 162 10 18 0 1 0 1014406422 2473984 277 4294967295 134512640 135169312 3214791984 3214788200 3085414126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7963/statm: 604 277 235 161 0 43 0
[pid=7969] ppid=7963 vsize=18196 CPUtime=23.8
/proc/7969/stat : 7969 (minisat_static) R 7963 7963 16367 0 -1 4202496 4363 0 0 0 2378 2 0 0 25 0 1 0 1014406594 18632704 4295 4294967295 134512640 135216591 3218512144 3218510336 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7969/statm: 4549 4295 75 172 0 4376 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 20612
[startup+51.1199 s]
/proc/loadavg: 1.08 1.07 1.05 3/99 7975
/proc/meminfo: memFree=1691816/2074464 swapFree=1949244/1959888
[pid=7963] ppid=7961 vsize=2416 CPUtime=1.72
/proc/7963/stat : 7963 (SatELiteGTI) S 7961 7963 16367 0 -1 4194304 385 11073 0 0 0 0 162 10 18 0 1 0 1014406422 2473984 277 4294967295 134512640 135169312 3214791984 3214788200 3085414126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7963/statm: 604 277 235 161 0 43 0
[pid=7969] ppid=7963 vsize=28016 CPUtime=49.4
/proc/7969/stat : 7969 (minisat_static) R 7963 7963 16367 0 -1 4202496 6800 0 0 0 4936 4 0 0 25 0 1 0 1014406594 28688384 6732 4294967295 134512640 135216591 3218512144 3218510336 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7969/statm: 7004 6732 75 172 0 6831 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 30432
[startup+102.317 s]
/proc/loadavg: 1.07 1.07 1.05 2/99 8162
/proc/meminfo: memFree=1667876/2074464 swapFree=1949244/1959888
[pid=7963] ppid=7961 vsize=2416 CPUtime=1.72
/proc/7963/stat : 7963 (SatELiteGTI) S 7961 7963 16367 0 -1 4194304 385 11073 0 0 0 0 162 10 18 0 1 0 1014406422 2473984 277 4294967295 134512640 135169312 3214791984 3214788200 3085414126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7963/statm: 604 277 235 161 0 43 0
[pid=7969] ppid=7963 vsize=51872 CPUtime=100.6
/proc/7969/stat : 7969 (minisat_static) R 7963 7963 16367 0 -1 4202496 12632 0 0 0 10050 10 0 0 25 0 1 0 1014406594 53116928 12564 4294967295 134512640 135216591 3218512144 3218510336 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7969/statm: 12968 12564 75 172 0 12795 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 54288
[startup+162.314 s]
/proc/loadavg: 1.06 1.07 1.05 2/99 8349
/proc/meminfo: memFree=1645920/2074464 swapFree=1949244/1959888
[pid=7963] ppid=7961 vsize=2416 CPUtime=1.72
/proc/7963/stat : 7963 (SatELiteGTI) S 7961 7963 16367 0 -1 4194304 385 11073 0 0 0 0 162 10 18 0 1 0 1014406422 2473984 277 4294967295 134512640 135169312 3214791984 3214788200 3085414126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7963/statm: 604 277 235 161 0 43 0
[pid=7969] ppid=7963 vsize=73344 CPUtime=160.6
/proc/7969/stat : 7969 (minisat_static) R 7963 7963 16367 0 -1 4202496 18141 0 0 0 16043 17 0 0 25 0 1 0 1014406594 75104256 18073 4294967295 134512640 135216591 3218512144 3218510336 134528871 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7969/statm: 18336 18073 75 172 0 18163 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 75760
[startup+222.31 s]
/proc/loadavg: 1.06 1.07 1.05 2/99 8536
/proc/meminfo: memFree=1634032/2074464 swapFree=1949244/1959888
[pid=7963] ppid=7961 vsize=2416 CPUtime=1.72
/proc/7963/stat : 7963 (SatELiteGTI) S 7961 7963 16367 0 -1 4194304 385 11073 0 0 0 0 162 10 18 0 1 0 1014406422 2473984 277 4294967295 134512640 135169312 3214791984 3214788200 3085414126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7963/statm: 604 277 235 161 0 43 0
[pid=7969] ppid=7963 vsize=85880 CPUtime=220.6
/proc/7969/stat : 7969 (minisat_static) R 7963 7963 16367 0 -1 4202496 21055 0 0 0 22039 21 0 0 25 0 1 0 1014406594 87941120 20987 4294967295 134512640 135216591 3218512144 3218510336 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7969/statm: 21470 20987 75 172 0 21297 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 88296
[startup+282.317 s]
/proc/loadavg: 1.10 1.08 1.05 2/99 8729
/proc/meminfo: memFree=1622004/2074464 swapFree=1949244/1959888
[pid=7963] ppid=7961 vsize=2416 CPUtime=1.72
/proc/7963/stat : 7963 (SatELiteGTI) S 7961 7963 16367 0 -1 4194304 385 11073 0 0 0 0 162 10 18 0 1 0 1014406422 2473984 277 4294967295 134512640 135169312 3214791984 3214788200 3085414126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7963/statm: 604 277 235 161 0 43 0
[pid=7969] ppid=7963 vsize=97940 CPUtime=280.61
/proc/7969/stat : 7969 (minisat_static) R 7963 7963 16367 0 -1 4202496 24092 0 0 0 28040 21 0 0 25 0 1 0 1014406594 100290560 24024 4294967295 134512640 135216591 3218512144 3218510336 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7969/statm: 24485 24024 75 172 0 24312 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 100356
[startup+342.313 s]
/proc/loadavg: 1.07 1.08 1.05 3/99 8920
/proc/meminfo: memFree=1606776/2074464 swapFree=1949244/1959888
[pid=7963] ppid=7961 vsize=2416 CPUtime=1.72
/proc/7963/stat : 7963 (SatELiteGTI) S 7961 7963 16367 0 -1 4194304 385 11073 0 0 0 0 162 10 18 0 1 0 1014406422 2473984 277 4294967295 134512640 135169312 3214791984 3214788200 3085414126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7963/statm: 604 277 235 161 0 43 0
[pid=7969] ppid=7963 vsize=112716 CPUtime=340.61
/proc/7969/stat : 7969 (minisat_static) R 7963 7963 16367 0 -1 4202496 27844 0 0 0 34037 24 0 0 25 0 1 0 1014406594 115421184 27776 4294967295 134512640 135216591 3218512144 3218510112 134539083 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7969/statm: 28179 27776 75 172 0 28006 0
Current children cumulated CPU time (s) 342.33
################
# More data... #
################
[pid=7969] ppid=7963 vsize=152248 CPUtime=460.61
/proc/7969/stat : 7969 (minisat_static) R 7963 7963 16367 0 -1 4202496 37499 0 0 0 46031 30 0 0 25 0 1 0 1014406594 155901952 37431 4294967295 134512640 135216591 3218512144 3218510336 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7969/statm: 38062 37431 75 172 0 37889 0
Current children cumulated CPU time (s) 462.33
Current children cumulated vsize (KiB) 154664
[startup+522.313 s]
/proc/loadavg: 1.18 1.11 1.06 3/99 9481
/proc/meminfo: memFree=1556416/2074464 swapFree=1949244/1959888
[pid=7963] ppid=7961 vsize=2416 CPUtime=1.72
/proc/7963/stat : 7963 (SatELiteGTI) S 7961 7963 16367 0 -1 4194304 385 11073 0 0 0 0 162 10 18 0 1 0 1014406422 2473984 277 4294967295 134512640 135169312 3214791984 3214788200 3085414126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7963/statm: 604 277 235 161 0 43 0
[pid=7969] ppid=7963 vsize=163912 CPUtime=520.62
/proc/7969/stat : 7969 (minisat_static) R 7963 7963 16367 0 -1 4202496 40460 0 0 0 52030 32 0 0 25 0 1 0 1014406594 167845888 40392 4294967295 134512640 135216591 3218512144 3218510336 134529044 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7969/statm: 40978 40392 75 172 0 40805 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 166328
[startup+582.31 s]
/proc/loadavg: 1.10 1.10 1.06 2/99 9670
/proc/meminfo: memFree=1542652/2074464 swapFree=1949244/1959888
[pid=7963] ppid=7961 vsize=2416 CPUtime=1.72
/proc/7963/stat : 7963 (SatELiteGTI) S 7961 7963 16367 0 -1 4194304 385 11073 0 0 0 0 162 10 18 0 1 0 1014406422 2473984 277 4294967295 134512640 135169312 3214791984 3214788200 3085414126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7963/statm: 604 277 235 161 0 43 0
[pid=7969] ppid=7963 vsize=177500 CPUtime=580.62
/proc/7969/stat : 7969 (minisat_static) R 7963 7963 16367 0 -1 4202496 43877 0 0 0 58029 33 0 0 25 0 1 0 1014406594 181760000 43809 4294967295 134512640 135216591 3218512144 3218510336 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7969/statm: 44375 43809 75 172 0 44202 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 179916
[startup+642.317 s]
/proc/loadavg: 1.07 1.09 1.06 4/99 9863
/proc/meminfo: memFree=1532980/2074464 swapFree=1949244/1959888
[pid=7963] ppid=7961 vsize=2416 CPUtime=1.72
/proc/7963/stat : 7963 (SatELiteGTI) S 7961 7963 16367 0 -1 4194304 385 11073 0 0 0 0 162 10 18 0 1 0 1014406422 2473984 277 4294967295 134512640 135169312 3214791984 3214788200 3085414126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7963/statm: 604 277 235 161 0 43 0
[pid=7969] ppid=7963 vsize=186684 CPUtime=640.63
/proc/7969/stat : 7969 (minisat_static) R 7963 7963 16367 0 -1 4202496 46222 0 0 0 64026 37 0 0 25 0 1 0 1014406594 191164416 46154 4294967295 134512640 135216591 3218512144 3218510336 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7969/statm: 46671 46154 75 172 0 46498 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 189100
[startup+702.313 s]
/proc/loadavg: 1.06 1.09 1.06 2/99 10050
/proc/meminfo: memFree=1523284/2074464 swapFree=1949244/1959888
[pid=7963] ppid=7961 vsize=2416 CPUtime=1.72
/proc/7963/stat : 7963 (SatELiteGTI) S 7961 7963 16367 0 -1 4194304 385 11073 0 0 0 0 162 10 18 0 1 0 1014406422 2473984 277 4294967295 134512640 135169312 3214791984 3214788200 3085414126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7963/statm: 604 277 235 161 0 43 0
[pid=7969] ppid=7963 vsize=196412 CPUtime=700.63
/proc/7969/stat : 7969 (minisat_static) R 7963 7963 16367 0 -1 4202496 48689 0 0 0 70021 42 0 0 25 0 1 0 1014406594 201125888 48621 4294967295 134512640 135216591 3218512144 3218510336 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7969/statm: 49103 48621 75 172 0 48930 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 198828
[startup+762.32 s]
/proc/loadavg: 1.06 1.08 1.06 3/99 10237
/proc/meminfo: memFree=1508312/2074464 swapFree=1949244/1959888
[pid=7963] ppid=7961 vsize=2416 CPUtime=1.72
/proc/7963/stat : 7963 (SatELiteGTI) S 7961 7963 16367 0 -1 4194304 385 11073 0 0 0 0 162 10 18 0 1 0 1014406422 2473984 277 4294967295 134512640 135169312 3214791984 3214788200 3085414126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7963/statm: 604 277 235 161 0 43 0
[pid=7969] ppid=7963 vsize=211112 CPUtime=760.64
/proc/7969/stat : 7969 (minisat_static) R 7963 7963 16367 0 -1 4202496 52378 0 0 0 76012 52 0 0 25 0 1 0 1014406594 216178688 52310 4294967295 134512640 135216591 3218512144 3218510336 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7969/statm: 52778 52310 75 172 0 52605 0
Current children cumulated CPU time (s) 762.36
Current children cumulated vsize (KiB) 213528
[startup+822.316 s]
/proc/loadavg: 1.10 1.09 1.06 3/99 10424
/proc/meminfo: memFree=1502856/2074464 swapFree=1949244/1959888
[pid=7963] ppid=7961 vsize=2416 CPUtime=1.72
/proc/7963/stat : 7963 (SatELiteGTI) S 7961 7963 16367 0 -1 4194304 385 11073 0 0 0 0 162 10 18 0 1 0 1014406422 2473984 277 4294967295 134512640 135169312 3214791984 3214788200 3085414126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7963/statm: 604 277 235 161 0 43 0
[pid=7969] ppid=7963 vsize=216444 CPUtime=820.64
/proc/7969/stat : 7969 (minisat_static) R 7963 7963 16367 0 -1 4202496 53745 0 0 0 82011 53 0 0 25 0 1 0 1014406594 221638656 53677 4294967295 134512640 135216591 3218512144 3218510336 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7969/statm: 54111 53677 75 172 0 53938 0
Current children cumulated CPU time (s) 822.36
Current children cumulated vsize (KiB) 218860
[startup+882.313 s]
/proc/loadavg: 1.03 1.07 1.06 3/99 10613
/proc/meminfo: memFree=1493424/2074464 swapFree=1949244/1959888
[pid=7963] ppid=7961 vsize=2416 CPUtime=1.72
/proc/7963/stat : 7963 (SatELiteGTI) S 7961 7963 16367 0 -1 4194304 385 11073 0 0 0 0 162 10 18 0 1 0 1014406422 2473984 277 4294967295 134512640 135169312 3214791984 3214788200 3085414126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7963/statm: 604 277 235 161 0 43 0
[pid=7969] ppid=7963 vsize=225684 CPUtime=880.64
/proc/7969/stat : 7969 (minisat_static) R 7963 7963 16367 0 -1 4202496 56112 0 0 0 88008 56 0 0 25 0 1 0 1014406594 231100416 56044 4294967295 134512640 135216591 3218512144 3218510336 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7969/statm: 56421 56044 75 172 0 56248 0
Current children cumulated CPU time (s) 882.36
Current children cumulated vsize (KiB) 228100
[startup+942.32 s]
/proc/loadavg: 1.01 1.06 1.05 3/99 10802
/proc/meminfo: memFree=1482760/2074464 swapFree=1949244/1959888
[pid=7963] ppid=7961 vsize=2416 CPUtime=1.72
/proc/7963/stat : 7963 (SatELiteGTI) S 7961 7963 16367 0 -1 4194304 385 11073 0 0 0 0 162 10 18 0 1 0 1014406422 2473984 277 4294967295 134512640 135169312 3214791984 3214788200 3085414126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7963/statm: 604 277 235 161 0 43 0
[pid=7969] ppid=7963 vsize=238304 CPUtime=940.65
/proc/7969/stat : 7969 (minisat_static) R 7963 7963 16367 0 -1 4202496 58785 0 0 0 94007 58 0 0 25 0 1 0 1014406594 244023296 58717 4294967295 134512640 135216591 3218512144 3218510336 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7969/statm: 59576 58717 75 172 0 59403 0
Current children cumulated CPU time (s) 942.37
Current children cumulated vsize (KiB) 240720
[startup+1002.32 s]
/proc/loadavg: 1.00 1.05 1.05 3/99 10993
/proc/meminfo: memFree=1474568/2074464 swapFree=1949244/1959888
[pid=7963] ppid=7961 vsize=2416 CPUtime=1.72
/proc/7963/stat : 7963 (SatELiteGTI) S 7961 7963 16367 0 -1 4194304 385 11073 0 0 0 0 162 10 18 0 1 0 1014406422 2473984 277 4294967295 134512640 135169312 3214791984 3214788200 3085414126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7963/statm: 604 277 235 161 0 43 0
[pid=7969] ppid=7963 vsize=246576 CPUtime=1000.65
/proc/7969/stat : 7969 (minisat_static) R 7963 7963 16367 0 -1 4202496 60831 0 0 0 100002 63 0 0 25 0 1 0 1014406594 252493824 60763 4294967295 134512640 135216591 3218512144 3218510336 134528969 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7969/statm: 61644 60763 75 172 0 61471 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 248992
[startup+1062.32 s]
/proc/loadavg: 1.00 1.03 1.04 2/99 11180
/proc/meminfo: memFree=1463664/2074464 swapFree=1949244/1959888
[pid=7963] ppid=7961 vsize=2416 CPUtime=1.72
/proc/7963/stat : 7963 (SatELiteGTI) S 7961 7963 16367 0 -1 4194304 385 11073 0 0 0 0 162 10 18 0 1 0 1014406422 2473984 277 4294967295 134512640 135169312 3214791984 3214788200 3085414126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7963/statm: 604 277 235 161 0 43 0
[pid=7969] ppid=7963 vsize=257416 CPUtime=1060.66
/proc/7969/stat : 7969 (minisat_static) R 7963 7963 16367 0 -1 4202496 63594 0 0 0 105995 71 0 0 25 0 1 0 1014406594 263593984 63526 4294967295 134512640 135216591 3218512144 3218510048 134533075 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7969/statm: 64354 63526 75 172 0 64181 0
Current children cumulated CPU time (s) 1062.38
Current children cumulated vsize (KiB) 259832
[startup+1122.32 s]
/proc/loadavg: 1.00 1.03 1.03 3/99 11367
/proc/meminfo: memFree=1452736/2074464 swapFree=1949244/1959888
[pid=7963] ppid=7961 vsize=2416 CPUtime=1.72
/proc/7963/stat : 7963 (SatELiteGTI) S 7961 7963 16367 0 -1 4194304 385 11073 0 0 0 0 162 10 18 0 1 0 1014406422 2473984 277 4294967295 134512640 135169312 3214791984 3214788200 3085414126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7963/statm: 604 277 235 161 0 43 0
[pid=7969] ppid=7963 vsize=268108 CPUtime=1120.66
/proc/7969/stat : 7969 (minisat_static) R 7963 7963 16367 0 -1 4202496 66251 0 0 0 111995 71 0 0 25 0 1 0 1014406594 274542592 66183 4294967295 134512640 135216591 3218512144 3218510336 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7969/statm: 67027 66183 75 172 0 66854 0
Current children cumulated CPU time (s) 1122.38
Current children cumulated vsize (KiB) 270524
[startup+1182.32 s]
/proc/loadavg: 1.00 1.02 1.03 2/99 11556
/proc/meminfo: memFree=1448040/2074464 swapFree=1949244/1959888
[pid=7963] ppid=7961 vsize=2416 CPUtime=1.72
/proc/7963/stat : 7963 (SatELiteGTI) S 7961 7963 16367 0 -1 4194304 385 11073 0 0 0 0 162 10 18 0 1 0 1014406422 2473984 277 4294967295 134512640 135169312 3214791984 3214788200 3085414126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7963/statm: 604 277 235 161 0 43 0
[pid=7969] ppid=7963 vsize=272816 CPUtime=1180.66
/proc/7969/stat : 7969 (minisat_static) R 7963 7963 16367 0 -1 4202496 67458 0 0 0 117994 72 0 0 25 0 1 0 1014406594 279363584 67390 4294967295 134512640 135216591 3218512144 3218510336 134529023 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7969/statm: 68204 67390 75 172 0 68031 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 275232
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 1.00 1.02 1.03 3/99 11739
/proc/meminfo: memFree=1445656/2074464 swapFree=1949244/1959888
[pid=7963] ppid=7961 vsize=2416 CPUtime=1.72
/proc/7963/stat : 7963 (SatELiteGTI) S 7961 7963 16367 0 -1 4194304 385 11073 0 0 0 0 162 10 18 0 1 0 1014406422 2473984 277 4294967295 134512640 135169312 3214791984 3214788200 3085414126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7963/statm: 604 277 235 161 0 43 0
[pid=7969] ppid=7963 vsize=274932 CPUtime=1198.36
/proc/7969/stat : 7969 (minisat_static) R 7963 7963 16367 0 -1 4202496 68000 0 0 0 119764 72 0 0 25 0 1 0 1014406594 281530368 67932 4294967295 134512640 135216591 3218512144 3218510336 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7969/statm: 68733 67932 75 172 0 68560 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 277348
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)
Real time (s): 1200.05
CPU time (s): 1200.1
CPU user time (s): 1199.26
CPU system time (s): 0.84
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 277348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.26
system time used= 0.84
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79549
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= 19
involuntary context switches= 1302
runsolver used 0.01 second user time and 0.01 second system time
The end
Begin job on tipi11 at 2009-05-16 20:37:34
IDJOB=1821029
IDBENCH=70813
IDSOLVER=658
FILE ID=tipi11/1821029-1242499054
PBS_JOBID=
Free space on /tmp= 9875 MiB
SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitsarray/countbitsarray32_32.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821029-1242499054/watcher-1821029-1242499054 -o /tmp/evaluation-result-1821029-1242499054/solver-1821029-1242499054 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821029-1242499054.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b7a07371a2da4a8c8bef63c213dd1e15
RANDOM SEED= 543114485
Linux tipi11 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1724920 kB
Buffers: 26100 kB
Cached: 252916 kB
SwapCached: 5224 kB
Active: 67852 kB
Inactive: 222980 kB
HighTotal: 1178688 kB
HighFree: 945476 kB
LowTotal: 895776 kB
LowFree: 779444 kB
SwapTotal: 1959888 kB
SwapFree: 1949244 kB
Dirty: 5140 kB
Writeback: 0 kB
AnonPages: 11352 kB
Mapped: 5060 kB
Slab: 50144 kB
PageTables: 584 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 97132 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9872 MiB
End job on tipi11 at 2009-05-16 20:57:37