0.00/0.00 c Parsing...
0.00/0.07 c ==============================================================================
0.00/0.07 c | | ORIGINAL | LEARNT | |
0.00/0.07 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.07 c ==============================================================================
0.00/0.08 c | 0 | 55499 347295 | 16649 0 0 nan | 0.000 % |
0.00/0.36 c | 0 | 49674 326619 | -- 0 -- -- | -- | -126/-2149
0.00/0.36 c ==============================================================================
0.00/0.36 c Result : #vars: 1069 #clauses: 49674 #literals: 326619
0.00/0.36 c CPU time: 0.351946 s
0.00/0.36 c ==============================================================================
0.00/0.45 c This is MiniSat 2.0 beta
0.00/0.45 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.45 c ============================[ Problem Statistics ]=============================
0.00/0.45 c | |
0.00/0.45 c | Number of variables: 1069 |
0.00/0.45 c | Number of clauses: 49674 |
0.45/0.50 c | Parsing time: 0.04 s |
0.45/0.50 c ============================[ Search Statistics ]==============================
0.45/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.45/0.50 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.45/0.50 c ===============================================================================
0.45/0.50 c | 0 | 1069 49674 326619 | 16558 0 nan | 0.000 % |
0.45/0.51 c | 101 | 1069 49674 326619 | 16558 101 14 | 0.000 % |
0.45/0.52 c | 203 | 1069 49674 326619 | 16558 203 19 | 0.000 % |
0.45/0.53 c | 307 | 1069 49674 326619 | 16558 307 19 | 0.001 % |
0.45/0.54 c | 418 | 1069 49674 326619 | 16558 418 20 | 0.000 % |
0.45/0.55 c | 520 | 1069 49674 326619 | 16558 520 19 | 0.005 % |
0.45/0.57 c | 630 | 1069 49674 326619 | 16558 630 19 | 0.000 % |
0.45/0.59 c | 752 | 1069 49674 326619 | 16558 752 21 | 0.000 % |
0.45/0.60 c | 853 | 1069 49674 326619 | 16558 853 21 | 0.005 % |
0.45/0.62 c | 963 | 1069 49674 326619 | 16558 963 21 | 0.000 % |
0.45/0.63 c | 1086 | 1069 49674 326619 | 16558 1086 21 | 0.000 % |
0.45/0.65 c | 1219 | 1069 49674 326619 | 16558 1219 22 | 0.010 % |
0.45/0.66 c | 1319 | 1069 49674 326619 | 16558 1319 22 | 0.005 % |
0.45/0.68 c | 1430 | 1069 49674 326619 | 16558 1430 22 | 0.005 % |
0.45/0.70 c | 1552 | 1069 49674 326619 | 16558 1552 22 | 0.005 % |
0.45/0.73 c | 1685 | 1069 49674 326619 | 16558 1685 23 | 0.000 % |
0.45/0.75 c | 1834 | 1069 49674 326619 | 16558 1834 22 | 0.005 % |
0.45/0.77 c | 1934 | 1069 49674 326619 | 16558 1934 22 | 0.005 % |
0.45/0.78 c | 2046 | 1069 49674 326619 | 16558 2046 22 | 0.005 % |
0.45/0.81 c | 2168 | 1069 49674 326619 | 16558 2168 22 | 0.000 % |
0.45/0.83 c | 2303 | 1069 49674 326619 | 16558 2303 23 | 0.005 % |
0.45/0.86 c | 2449 | 1069 49674 326619 | 16558 2449 23 | 0.005 % |
0.45/0.90 c | 2609 | 1069 49674 326619 | 16558 2609 24 | 0.000 % |
0.45/0.92 c | 2709 | 1069 49674 326619 | 16558 2709 24 | 0.005 % |
0.45/0.93 c | 2819 | 1069 49674 326619 | 16558 2819 24 | 0.005 % |
0.45/0.96 c | 2940 | 1069 49674 326619 | 16558 2940 24 | 0.000 % |
0.45/0.97 c | 3073 | 1069 49674 326619 | 16558 3073 24 | 0.001 % |
0.99/1.01 c | 3219 | 1069 49674 326619 | 16558 3219 24 | 0.002 % |
0.99/1.03 c | 3379 | 1069 49674 326619 | 16558 3379 25 | 0.000 % |
0.99/1.07 c | 3555 | 1069 49674 326619 | 16558 3555 25 | 0.002 % |
0.99/1.09 c | 3659 | 1069 49674 326619 | 16558 3659 25 | 0.005 % |
1.09/1.11 c | 3771 | 1069 49674 326619 | 16558 3771 25 | 0.005 % |
1.09/1.13 c | 3892 | 1069 49674 326619 | 16558 3892 25 | 0.005 % |
1.09/1.15 c | 4027 | 1069 49674 326619 | 16558 4027 25 | 0.002 % |
1.09/1.19 c | 4174 | 1069 49674 326619 | 16558 4174 25 | 0.010 % |
1.18/1.22 c | 4334 | 1069 49674 326619 | 16558 4334 25 | 0.005 % |
1.18/1.25 c | 4510 | 1069 49674 326619 | 16558 4510 25 | 0.005 % |
1.18/1.29 c | 4705 | 1069 49674 326619 | 16558 4705 25 | 0.005 % |
1.28/1.31 c | 4805 | 1069 49674 326619 | 16558 4805 26 | 0.000 % |
1.28/1.34 c | 4915 | 1069 49674 326619 | 16558 4915 25 | 0.005 % |
1.28/1.36 c | 5037 | 1069 49674 326619 | 16558 5037 25 | 0.005 % |
1.28/1.39 c | 5170 | 1069 49674 326619 | 16558 5170 25 | 0.005 % |
1.38/1.43 c | 5316 | 1069 49674 326619 | 16558 5316 26 | 0.005 % |
1.38/1.46 c | 5478 | 1069 49674 326619 | 16558 5478 26 | 0.005 % |
1.48/1.51 c | 5654 | 1069 49674 326619 | 16558 5654 26 | 0.005 % |
1.48/1.54 c | 5850 | 1069 49674 326619 | 16558 5850 26 | 0.005 % |
1.48/1.60 c | 6063 | 1069 49674 326619 | 16558 6063 27 | 0.000 % |
1.58/1.62 c | 6165 | 1069 49674 326619 | 16558 6165 27 | 0.005 % |
1.58/1.65 c | 6275 | 1069 49674 326619 | 16558 6275 27 | 0.005 % |
1.58/1.67 c | 6398 | 1069 49674 326619 | 16558 6398 27 | 0.005 % |
1.68/1.70 c | 6531 | 1069 49674 326619 | 16558 6531 27 | 0.000 % |
1.68/1.73 c | 6677 | 1069 49674 326619 | 16558 6677 27 | 0.005 % |
1.68/1.78 c | 6839 | 1069 49674 326619 | 16558 6839 27 | 0.001 % |
1.78/1.83 c | 7015 | 1069 49674 326619 | 16558 7015 27 | 0.000 % |
1.78/1.88 c | 7211 | 1069 49674 326619 | 16558 7211 27 | 0.000 % |
1.88/1.93 c | 7424 | 1069 49674 326619 | 16558 7424 27 | 0.000 % |
1.88/1.99 c | 7658 | 1069 49674 326619 | 16558 7658 27 | 0.000 % |
1.98/2.02 c | 7758 | 1069 49674 326619 | 16558 7758 27 | 0.000 % |
1.98/2.03 c | 7868 | 1069 49674 326619 | 16558 7868 27 | 0.001 % |
1.98/2.06 c | 7990 | 1069 49674 326619 | 16558 7990 27 | 0.000 % |
1.98/2.10 c | 8123 | 1069 49674 326619 | 16558 8123 27 | 0.005 % |
2.08/2.14 c | 8269 | 1069 49674 326619 | 16558 8269 27 | 0.005 % |
2.08/2.18 c | 8430 | 1069 49674 326619 | 16558 8430 27 | 0.005 % |
2.19/2.22 c | 8606 | 1069 49674 326619 | 16558 8606 27 | 0.000 % |
2.19/2.27 c | 8800 | 1069 49674 326619 | 16558 8800 27 | 0.000 % |
2.28/2.32 c | 9013 | 1069 49674 326619 | 16558 9013 27 | 0.001 % |
2.28/2.38 c | 9247 | 1069 49674 326619 | 16558 9247 27 | 0.005 % |
2.38/2.45 c | 9504 | 1069 49674 326619 | 16558 9504 27 | 0.005 % |
2.38/2.48 c | 9604 | 1069 49674 326619 | 16558 9604 28 | 0.002 % |
2.48/2.51 c | 9716 | 1069 49674 326619 | 16558 9716 28 | 0.000 % |
2.48/2.55 c | 9839 | 1069 49674 326619 | 16558 9839 28 | 0.001 % |
2.48/2.59 c | 9972 | 1069 49674 326619 | 16558 9972 28 | 0.002 % |
2.58/2.63 c | 10121 | 1069 49674 326619 | 2147483647 10121 28 | 0.000 % |
2.58/2.68 c | 10282 | 1069 49674 326619 | 2147483647 10282 28 | 0.000 % |
2.68/2.74 c | 10461 | 1069 49674 326619 | 2147483647 10461 28 | 0.000 % |
2.78/2.80 c | 10655 | 1069 49674 326619 | 2147483647 10655 28 | 0.005 % |
2.78/2.86 c | 10867 | 1069 49674 326619 | 2147483647 10867 28 | 0.005 % |
2.88/2.93 c | 11103 | 1069 49674 326619 | 2147483647 11103 28 | 0.005 % |
2.98/3.02 c | 11361 | 1069 49674 326619 | 2147483647 11361 28 | 0.005 % |
3.08/3.12 c | 11642 | 1069 49674 326619 | 2147483647 11642 28 | 0.000 % |
3.08/3.15 c | 11742 | 1069 49674 326619 | 2147483647 11742 28 | 0.010 % |
3.08/3.19 c | 11855 | 1069 49674 326619 | 2147483647 11855 28 | 0.005 % |
3.18/3.24 c | 11977 | 1069 49674 326619 | 2147483647 11977 28 | 0.000 % |
3.18/3.28 c | 12112 | 1069 49674 326619 | 2147483647 12112 28 | 0.005 % |
3.28/3.32 c | 12258 | 1069 49674 326619 | 2147483647 12258 28 | 0.000 % |
3.28/3.39 c | 12418 | 1069 49674 326619 | 2147483647 12418 29 | 0.000 % |
3.38/3.46 c | 12595 | 1069 49674 326619 | 2147483647 12595 29 | 0.000 % |
3.48/3.54 c | 12790 | 1069 49674 326619 | 2147483647 12790 29 | 0.002 % |
3.58/3.60 c | 13004 | 1069 49674 326619 | 2147483647 13004 29 | 0.001 % |
3.58/3.68 c | 13237 | 1069 49674 326619 | 2147483647 13237 29 | 0.001 % |
3.68/3.76 c | 13494 | 1069 49674 326619 | 2147483647 13494 29 | 0.005 % |
3.78/3.86 c | 13777 | 1069 49674 326619 | 2147483647 13777 29 | 0.000 % |
3.88/3.96 c | 14087 | 1069 49674 326619 | 2147483647 14087 29 | 0.000 % |
3.98/4.01 c | 14189 | 1069 49674 326619 | 2147483647 14189 29 | 0.005 % |
3.98/4.05 c | 14299 | 1069 49674 326619 | 2147483647 14299 29 | 0.005 % |
4.08/4.10 c | 14421 | 1069 49674 326619 | 2147483647 14421 29 | 0.000 % |
4.08/4.13 c | 14554 | 1069 49674 326619 | 2147483647 14554 29 | 0.005 % |
4.08/4.20 c | 14701 | 1069 49674 326619 | 2147483647 14701 29 | 0.000 % |
4.18/4.26 c | 14862 | 1069 49674 326619 | 2147483647 14862 29 | 0.005 % |
4.28/4.36 c | 15038 | 1069 49674 326619 | 2147483647 15038 29 | 0.005 % |
4.38/4.43 c | 15233 | 1069 49674 326619 | 2147483647 15233 29 | 0.005 % |
4.49/4.53 c | 15445 | 1069 49674 326619 | 2147483647 15445 29 | 0.005 % |
4.59/4.63 c | 15678 | 1069 49674 326619 | 2147483647 15678 29 | 0.005 % |
4.69/4.72 c | 15934 | 1069 49674 326619 | 2147483647 15934 29 | 0.005 % |
4.79/4.84 c | 16215 | 1069 49674 326619 | 2147483647 16215 29 | 0.002 % |
4.89/4.97 c | 16525 | 1069 49674 326619 | 2147483647 16525 29 | 0.000 % |
5.08/5.12 c | 16865 | 1069 49674 326619 | 2147483647 16865 29 | 0.005 % |
5.08/5.16 c | 16967 | 1069 49674 326619 | 2147483647 16967 30 | 0.005 % |
5.18/5.23 c | 17077 | 1069 49674 326619 | 2147483647 17077 30 | 0.000 % |
5.18/5.28 c | 17198 | 1069 49674 326619 | 2147483647 17198 30 | 0.000 % |
5.28/5.35 c | 17331 | 1069 49674 326619 | 2147483647 17331 30 | 0.000 % |
5.39/5.41 c | 17478 | 1069 49674 326619 | 2147483647 17478 29 | 0.005 % |
5.39/5.48 c | 17639 | 1069 49674 326619 | 2147483647 17639 29 | 0.005 % |
5.49/5.55 c | 17816 | 1069 49674 326619 | 2147483647 17816 29 | 0.005 % |
5.58/5.63 c | 18011 | 1069 49674 326619 | 2147483647 18011 29 | 0.005 % |
5.68/5.73 c | 18224 | 1069 49674 326619 | 2147483647 18224 29 | 0.000 % |
5.78/5.84 c | 18458 | 1069 49674 326619 | 2147483647 18458 29 | 0.000 % |
5.88/5.95 c | 18714 | 1069 49674 326619 | 2147483647 18714 29 | 0.000 % |
5.98/6.06 c | 18995 | 1069 49674 326619 | 2147483647 18995 29 | 0.005 % |
6.08/6.19 c | 19305 | 1069 49674 326619 | 2147483647 19305 29 | 0.000 % |
6.28/6.33 c | 19645 | 1069 49674 326619 | 2147483647 19645 29 | 0.005 % |
6.38/6.47 c | 20017 | 1069 49674 326619 | 2147483647 20017 30 | 0.000 % |
6.49/6.52 c | 20118 | 1069 49674 326619 | 2147483647 20118 30 | 0.005 % |
6.49/6.58 c | 20228 | 1069 49674 326619 | 2147483647 20228 30 | 0.005 % |
6.59/6.63 c | 20349 | 1069 49674 326619 | 2147483647 20349 30 | 0.005 % |
6.68/6.71 c | 20483 | 1069 49674 326619 | 2147483647 20483 30 | 0.000 % |
6.68/6.77 c | 20629 | 1069 49674 326619 | 2147483647 20629 30 | 0.005 % |
6.78/6.83 c | 20792 | 1069 49674 326619 | 2147483647 20792 30 | 0.005 % |
6.88/6.93 c | 20971 | 1069 49674 326619 | 2147483647 20971 30 | 0.000 % |
6.98/7.03 c | 21164 | 1069 49674 326619 | 2147483647 21164 30 | 0.005 % |
7.08/7.13 c | 21376 | 1069 49674 326619 | 2147483647 21376 30 | 0.000 % |
7.18/7.26 c | 21612 | 1069 49674 326619 | 2147483647 21612 30 | 0.002 % |
7.38/7.42 c | 21868 | 1069 49674 326619 | 2147483647 21868 30 | 0.005 % |
7.48/7.59 c | 22149 | 1069 49674 326619 | 2147483647 22149 30 | 0.005 % |
7.68/7.78 c | 22459 | 1069 49674 326619 | 2147483647 22459 30 | 0.005 % |
7.87/7.98 c | 22798 | 1069 49674 326619 | 2147483647 22798 30 | 0.005 % |
8.07/8.19 c | 23171 | 1069 49674 326619 | 2147483647 23171 30 | 0.005 % |
8.37/8.40 c | 23583 | 1069 49674 326619 | 2147483647 23583 30 | 0.005 % |
8.37/8.47 c | 23683 | 1069 49674 326619 | 2147483647 23683 30 | 0.005 % |
8.47/8.55 c | 23795 | 1069 49674 326619 | 2147483647 23795 30 | 0.005 % |
8.57/8.62 c | 23916 | 1069 49674 326619 | 2147483647 23916 30 | 0.005 % |
8.67/8.71 c | 24049 | 1069 49674 326619 | 2147483647 24049 30 | 0.005 % |
8.67/8.79 c | 24196 | 1069 49674 326619 | 2147483647 24196 30 | 0.005 % |
8.77/8.86 c | 24357 | 1069 49674 326619 | 2147483647 24357 30 | 0.005 % |
8.87/8.95 c | 24533 | 1069 49674 326619 | 2147483647 24533 30 | 0.000 % |
8.97/9.08 c | 24729 | 1069 49674 326619 | 2147483647 24729 30 | 0.005 % |
9.07/9.20 c | 24942 | 1069 49674 326619 | 2147483647 24942 30 | 0.005 % |
9.27/9.32 c | 25176 | 1069 49674 326619 | 2147483647 25176 30 | 0.005 % |
9.37/9.46 c | 25432 | 1069 49674 326619 | 2147483647 25432 30 | 0.000 % |
9.57/9.66 c | 25713 | 1069 49674 326619 | 2147483647 25713 30 | 0.000 % |
9.77/9.82 c | 26022 | 1069 49674 326619 | 2147483647 26022 30 | 0.000 % |
9.97/10.05 c | 26364 | 1069 49674 326619 | 2147483647 26364 30 | 0.005 % |
10.17/10.29 c | 26740 | 1069 49674 326619 | 2147483647 26740 30 | 0.005 % |
10.47/10.55 c | 27151 | 1069 49674 326619 | 2147483647 27151 31 | 0.000 % |
10.76/10.85 c | 27601 | 1069 49674 326619 | 2147483647 27601 31 | 0.000 % |
10.87/10.92 c | 27704 | 1069 49674 326619 | 2147483647 27704 31 | 0.000 % |
10.87/10.98 c | 27816 | 1069 49674 326619 | 2147483647 27816 31 | 0.010 % |
10.97/11.07 c | 27938 | 1069 49674 326619 | 2147483647 27938 31 | 0.005 % |
11.06/11.14 c | 28071 | 1069 49674 326619 | 2147483647 28071 31 | 0.000 % |
11.16/11.25 c | 28218 | 1069 49674 326619 | 2147483647 28218 31 | 0.000 % |
11.27/11.36 c | 28381 | 1069 49674 326619 | 2147483647 28381 31 | 0.000 % |
11.37/11.48 c | 28558 | 1069 49674 326619 | 2147483647 28558 31 | 0.000 % |
11.57/11.60 c | 28751 | 1069 49674 326619 | 2147483647 28751 31 | 0.000 % |
11.67/11.73 c | 28963 | 1069 49674 326619 | 2147483647 28963 31 | 0.000 % |
11.77/11.86 c | 29197 | 1069 49674 326619 | 2147483647 29197 31 | 0.005 % |
11.98/12.01 c | 29454 | 1069 49674 326619 | 2147483647 29454 31 | 0.000 % |
12.17/12.22 c | 29737 | 1069 49674 326619 | 2147483647 29737 31 | 0.000 % |
12.37/12.40 c | 30048 | 1069 49674 326619 | 2147483647 30048 31 | 0.005 % |
12.57/12.62 c | 30387 | 1069 49674 326619 | 2147483647 30387 31 | 0.005 % |
12.77/12.84 c | 30759 | 1069 49674 326619 | 2147483647 30759 31 | 0.005 % |
12.97/13.08 c | 31168 | 1069 49674 326619 | 2147483647 31168 31 | 0.005 % |
13.37/13.42 c | 31617 | 1069 49674 326619 | 2147483647 31617 31 | 0.005 % |
13.67/13.70 c | 32112 | 1069 49674 326619 | 2147483647 32112 31 | 0.000 % |
13.67/13.77 c | 32213 | 1069 49674 326619 | 2147483647 32213 31 | 0.005 % |
13.77/13.84 c | 32326 | 1069 49674 326619 | 2147483647 32326 31 | 0.000 % |
13.87/13.92 c | 32448 | 1069 49674 326619 | 2147483647 32448 32 | 0.001 % |
13.97/14.01 c | 32581 | 1069 49674 326619 | 2147483647 32581 32 | 0.000 % |
14.07/14.10 c | 32728 | 1069 49674 326619 | 2147483647 32728 32 | 0.000 % |
14.17/14.25 c | 32889 | 1069 49674 326619 | 2147483647 32889 32 | 0.000 % |
14.37/14.42 c | 33065 | 1069 49674 326619 | 2147483647 33065 32 | 0.005 % |
14.47/14.56 c | 33258 | 1069 49674 326619 | 2147483647 33258 32 | 0.000 % |
14.57/14.69 c | 33470 | 1069 49674 326619 | 2147483647 33470 32 | 0.000 % |
14.77/14.82 c | 33704 | 1069 49674 326619 | 2147483647 33704 32 | 0.002 % |
14.97/15.04 c | 33960 | 1069 49674 326619 | 2147483647 33960 32 | 0.000 % |
15.17/15.24 c | 34241 | 1069 49674 326619 | 2147483647 34241 32 | 0.000 % |
15.37/15.44 c | 34551 | 1069 49674 326619 | 2147483647 34551 32 | 0.005 % |
15.56/15.67 c | 34890 | 1069 49674 326619 | 2147483647 34890 32 | 0.000 % |
15.86/15.94 c | 35262 | 1069 49674 326619 | 2147483647 35262 32 | 0.000 % |
16.16/16.25 c | 35671 | 1069 49674 326619 | 2147483647 35671 32 | 0.000 % |
16.56/16.61 c | 36121 | 1069 49674 326619 | 2147483647 36121 32 | 0.000 % |
16.86/16.99 c | 36614 | 1069 49674 326619 | 2147483647 36614 32 | 0.010 % |
17.36/17.41 c | 37157 | 1069 49674 326619 | 2147483647 37157 32 | 0.005 % |
17.36/17.48 c | 37257 | 1069 49674 326619 | 2147483647 37257 32 | 0.005 % |
17.47/17.56 c | 37367 | 1069 49674 326619 | 2147483647 37367 32 | 0.000 % |
17.57/17.65 c | 37488 | 1069 49674 326619 | 2147483647 37488 32 | 0.000 % |
17.66/17.78 c | 37621 | 1069 49674 326619 | 2147483647 37621 32 | 0.002 % |
17.86/17.93 c | 37767 | 1069 49674 326619 | 2147483647 37767 32 | 0.000 % |
17.96/18.09 c | 37927 | 1069 49674 326619 | 2147483647 37927 32 | 0.000 % |
18.16/18.26 c | 38104 | 1069 49674 326619 | 2147483647 38104 32 | 0.005 % |
18.36/18.43 c | 38299 | 1069 49674 326619 | 2147483647 38299 32 | 0.005 % |
18.57/18.62 c | 38511 | 1069 49674 326619 | 2147483647 38511 32 | 0.000 % |
18.76/18.83 c | 38747 | 1069 49674 326619 | 2147483647 38747 33 | 0.000 % |
18.96/19.06 c | 39003 | 1069 49674 326619 | 2147483647 39003 33 | 0.005 % |
19.16/19.30 c | 39285 | 1069 49674 326619 | 2147483647 39285 32 | 0.000 % |
19.46/19.54 c | 39596 | 1069 49674 326619 | 2147483647 39596 33 | 0.005 % |
19.76/19.82 c | 39935 | 1069 49674 326619 | 2147483647 39935 32 | 0.005 % |
20.06/20.16 c | 40307 | 1069 49674 326619 | 2147483647 40307 33 | 0.001 % |
20.46/20.54 c | 40717 | 1069 49674 326619 | 2147483647 40717 33 | 0.001 % |
20.86/20.98 c | 41166 | 1069 49674 326619 | 2147483647 41166 33 | 0.000 % |
21.26/21.38 c | 41660 | 1069 49674 326619 | 2147483647 41660 33 | 0.005 % |
21.76/21.85 c | 42203 | 1069 49674 326619 | 2147483647 42203 33 | 0.005 % |
22.25/22.39 c | 42799 | 1069 49674 326619 | 2147483647 42799 33 | 0.000 % |
22.36/22.47 c | 42899 | 1069 49674 326619 | 2147483647 42899 33 | 0.005 % |
22.46/22.56 c | 43011 | 1069 49674 326619 | 2147483647 43011 33 | 0.005 % |
22.56/22.68 c | 43134 | 1069 49674 326619 | 2147483647 43134 33 | 0.005 % |
22.76/22.80 c | 43272 | 1069 49674 326619 | 2147483647 43272 33 | 0.000 % |
22.86/22.96 c | 43418 | 1069 49674 326619 | 2147483647 43418 33 | 0.000 % |
22.96/23.10 c | 43579 | 1069 49674 326619 | 2147483647 43579 33 | 0.000 % |
23.16/23.26 c | 43757 | 1069 49674 326619 | 2147483647 43757 33 | 0.005 % |
23.36/23.44 c | 43952 | 1069 49674 326619 | 2147483647 43952 33 | 0.000 % |
23.56/23.65 c | 44165 | 1069 49674 326619 | 2147483647 44165 33 | 0.005 % |
23.76/23.87 c | 44398 | 1069 49674 326619 | 2147483647 44398 33 | 0.005 % |
24.06/24.12 c | 44657 | 1069 49674 326619 | 2147483647 44657 33 | 0.005 % |
24.26/24.39 c | 44938 | 1069 49674 326619 | 2147483647 44938 33 | 0.000 % |
24.56/24.68 c | 45247 | 1069 49674 326619 | 2147483647 45247 33 | 0.005 % |
24.96/25.06 c | 45586 | 1069 49674 326619 | 2147483647 45586 33 | 0.006 % |
25.36/25.40 c | 45958 | 1069 49674 326619 | 2147483647 45958 33 | 0.006 % |
25.76/25.85 c | 46368 | 1069 49674 326619 | 2147483647 46368 33 | 0.000 % |
26.26/26.35 c | 46819 | 1069 49674 326619 | 2147483647 46819 33 | 0.006 % |
26.76/26.87 c | 47312 | 1069 49674 326619 | 2147483647 47312 33 | 0.000 % |
27.46/27.53 c | 47854 | 1069 49674 326619 | 2147483647 47854 33 | 0.000 % |
28.05/28.11 c | 48450 | 1069 49674 326619 | 2147483647 48450 33 | 0.006 % |
28.56/28.69 c | 49105 | 1069 49674 326619 | 2147483647 49105 33 | 0.005 % |
28.65/28.78 c | 49206 | 1069 49674 326619 | 2147483647 49206 33 | 0.005 % |
28.75/28.87 c | 49316 | 1069 49674 326619 | 2147483647 49316 33 | 0.005 % |
28.95/29.02 c | 49437 | 1069 49674 326619 | 2147483647 49437 33 | 0.002 % |
29.05/29.16 c | 49570 | 1069 49674 326619 | 2147483647 49570 33 | 0.000 % |
29.15/29.29 c | 49716 | 1069 49674 326619 | 2147483647 49716 33 | 0.000 % |
29.35/29.42 c | 49876 | 1069 49674 326619 | 2147483647 49876 33 | 0.005 % |
29.55/29.63 c | 50052 | 1069 49674 326619 | 2147483647 50052 33 | 0.000 % |
29.75/29.86 c | 50247 | 1069 49674 326619 | 2147483647 50247 33 | 0.000 % |
29.95/30.08 c | 50460 | 1069 49674 326619 | 2147483647 50460 33 | 0.000 % |
30.25/30.34 c | 50696 | 1069 49674 326619 | 2147483647 50696 33 | 0.005 % |
30.55/30.62 c | 50953 | 1069 49674 326619 | 2147483647 50953 33 | 0.000 % |
30.85/30.99 c | 51235 | 1069 49674 326619 | 2147483647 51235 33 | 0.001 % |
31.25/31.30 c | 51544 | 1069 49674 326619 | 2147483647 51544 33 | 0.000 % |
31.55/31.62 c | 51886 | 1069 49674 326619 | 2147483647 51886 33 | 0.005 % |
31.85/31.91 c | 52258 | 1069 49674 326619 | 2147483647 52258 33 | 0.005 % |
32.25/32.30 c | 52667 | 1069 49674 326619 | 2147483647 52667 33 | 0.005 % |
32.65/32.77 c | 53117 | 1069 49674 326619 | 2147483647 53117 33 | 0.005 % |
33.15/33.25 c | 53611 | 1069 49674 326619 | 2147483647 53611 33 | 0.005 % |
33.64/33.76 c | 54156 | 1069 49674 326619 | 2147483647 54156 33 | 0.005 % |
34.24/34.35 c | 54752 | 1069 49674 326619 | 2147483647 54752 33 | 0.005 % |
34.94/35.02 c | 55408 | 1069 49674 326619 | 2147483647 55408 33 | 0.005 % |
35.64/35.71 c | 56128 | 1069 49674 326619 | 2147483647 56128 33 | 0.000 % |
35.74/35.80 c | 56229 | 1069 49674 326619 | 2147483647 56229 33 | 0.000 % |
35.84/35.90 c | 56339 | 1069 49674 326619 | 2147483647 56339 33 | 0.005 % |
35.84/35.99 c | 56461 | 1069 49674 326619 | 2147483647 56461 33 | 0.000 % |
36.04/36.17 c | 56594 | 1069 49674 326619 | 2147483647 56594 33 | 0.000 % |
36.25/36.37 c | 56742 | 1069 49674 326619 | 2147483647 56742 33 | 0.005 % |
36.44/36.55 c | 56908 | 1069 49674 326619 | 2147483647 56908 33 | 0.005 % |
36.65/36.73 c | 57084 | 1069 49674 326619 | 2147483647 57084 33 | 0.005 % |
36.85/36.91 c | 57278 | 1069 49674 326619 | 2147483647 57278 33 | 0.005 % |
37.05/37.14 c | 57490 | 1069 49674 326619 | 2147483647 57490 33 | 0.010 % |
37.36/37.48 c | 57725 | 1069 49674 326619 | 2147483647 57725 33 | 0.005 % |
37.75/37.80 c | 57982 | 1069 49674 326619 | 2147483647 57982 33 | 0.005 % |
38.05/38.17 c | 58264 | 1069 49674 326619 | 2147483647 58264 33 | 0.001 % |
38.46/38.55 c | 58578 | 1069 49674 326619 | 2147483647 58578 33 | 0.005 % |
38.85/38.95 c | 58918 | 1069 49674 326619 | 2147483647 58918 33 | 0.006 % |
39.25/39.35 c | 59290 | 1069 49674 326619 | 2147483647 59290 33 | 0.000 % |
39.75/39.90 c | 59699 | 1069 49674 326619 | 2147483647 59699 33 | 0.001 % |
40.35/40.46 c | 60149 | 1069 49674 326619 | 2147483647 60149 33 | 0.006 % |
40.85/40.97 c | 60642 | 1069 49674 326619 | 2147483647 60642 33 | 0.005 % |
41.45/41.53 c | 61184 | 1069 49674 326619 | 2147483647 61184 33 | 0.005 % |
42.15/42.20 c | 61781 | 1069 49674 326619 | 2147483647 61781 33 | 0.006 % |
42.75/42.85 c | 62437 | 1069 49674 326619 | 2147483647 62437 33 | 0.006 % |
43.55/43.69 c | 63158 | 1069 49674 326619 | 2147483647 63158 33 | 0.006 % |
44.45/44.59 c | 63950 | 1069 49674 326619 | 2147483647 63950 33 | 0.006 % |
44.65/44.73 c | 64050 | 1069 49674 326619 | 2147483647 64050 33 | 0.006 % |
44.75/44.88 c | 64161 | 1069 49674 326619 | 2147483647 64161 33 | 0.006 % |
44.95/45.02 c | 64282 | 1069 49674 326619 | 2147483647 64282 33 | 0.000 % |
45.05/45.19 c | 64415 | 1069 49674 326619 | 2147483647 64415 33 | 0.000 % |
45.24/45.38 c | 64563 | 1069 49674 326619 | 2147483647 64563 33 | 0.001 % |
45.44/45.56 c | 64723 | 1069 49674 326619 | 2147483647 64723 33 | 0.000 % |
45.64/45.77 c | 64902 | 1069 49674 326619 | 2147483647 64902 33 | 0.005 % |
45.84/45.96 c | 65095 | 1069 49674 326619 | 2147483647 65095 33 | 0.000 % |
46.15/46.27 c | 65309 | 1069 49674 326619 | 2147483647 65309 33 | 0.000 % |
46.44/46.59 c | 65542 | 1069 49674 326619 | 2147483647 65542 33 | 0.000 % |
46.74/46.89 c | 65799 | 1069 49674 326619 | 2147483647 65799 33 | 0.002 % |
47.15/47.25 c | 66080 | 1069 49674 326619 | 2147483647 66080 33 | 0.000 % |
47.54/47.60 c | 66390 | 1069 49674 326619 | 2147483647 66390 33 | 0.000 % |
47.94/48.01 c | 66730 | 1069 49674 326619 | 2147483647 66730 33 | 0.005 % |
48.35/48.44 c | 67104 | 1069 49674 326619 | 2147483647 67104 33 | 0.005 % |
48.84/48.96 c | 67516 | 1069 49674 326619 | 2147483647 67516 33 | 0.005 % |
49.35/49.42 c | 67965 | 1069 49674 326619 | 2147483647 67965 33 | 0.000 % |
49.84/49.92 c | 68460 | 1069 49674 326619 | 2147483647 68460 33 | 0.005 % |
50.44/50.53 c | 69003 | 1069 49674 326619 | 2147483647 69003 33 | 0.005 % |
51.24/51.38 c | 69601 | 1069 49674 326619 | 2147483647 69601 33 | 0.005 % |
52.04/52.13 c | 70256 | 1069 49674 326619 | 2147483647 70256 33 | 0.000 % |
52.83/52.96 c | 70979 | 1069 49674 326619 | 2147483647 70979 33 | 0.005 % |
53.93/54.03 c | 71771 | 1069 49674 326619 | 2147483647 71771 33 | 0.005 % |
55.13/55.23 c | 72642 | 1069 49674 326619 | 2147483647 72642 33 | 0.000 % |
55.23/55.38 c | 72742 | 1069 49674 326619 | 2147483647 72742 33 | 0.000 % |
55.43/55.54 c | 72852 | 1069 49674 326619 | 2147483647 72852 34 | 0.000 % |
55.63/55.71 c | 72975 | 1069 49674 326619 | 2147483647 72975 34 | 0.001 % |
55.83/55.90 c | 73108 | 1069 49674 326619 | 2147483647 73108 33 | 0.005 % |
56.03/56.13 c | 73255 | 1069 49674 326619 | 2147483647 73255 34 | 0.000 % |
56.33/56.42 c | 73415 | 1069 49674 326619 | 2147483647 73415 34 | 0.000 % |
56.63/56.70 c | 73591 | 1069 49674 326619 | 2147483647 73591 34 | 0.000 % |
56.83/56.99 c | 73785 | 1069 49674 326619 | 2147483647 73785 34 | 0.005 % |
57.13/57.23 c | 73997 | 1069 49674 326619 | 2147483647 73997 34 | 0.000 % |
57.33/57.44 c | 74231 | 1069 49674 326619 | 2147483647 74231 34 | 0.000 % |
57.72/57.85 c | 74489 | 1069 49674 326619 | 2147483647 74489 34 | 0.002 % |
58.13/58.26 c | 74770 | 1069 49674 326619 | 2147483647 74770 34 | 0.000 % |
58.62/58.72 c | 75081 | 1069 49674 326619 | 2147483647 75081 34 | 0.000 % |
59.02/59.19 c | 75420 | 1069 49674 326619 | 2147483647 75420 34 | 0.005 % |
59.52/59.60 c | 75792 | 1069 49674 326619 | 2147483647 75792 34 | 0.000 % |
60.12/60.29 c | 76201 | 1069 49674 326619 | 2147483647 76201 34 | 0.000 % |
60.72/60.84 c | 76650 | 1069 49674 326619 | 2147483647 76650 34 | 0.005 % |
61.32/61.47 c | 77145 | 1069 49674 326619 | 2147483647 77145 34 | 0.005 % |
62.12/62.26 c | 77689 | 1069 49674 326619 | 2147483647 77689 34 | 0.005 % |
63.02/63.10 c | 78285 | 1069 49674 326619 | 2147483647 78285 34 | 0.001 % |
63.73/63.89 c | 78941 | 1069 49674 326619 | 2147483647 78941 34 | 0.005 % |
64.74/64.81 c | 79663 | 1069 49674 326619 | 2147483647 79663 34 | 0.005 % |
65.73/65.87 c | 80456 | 1069 49674 326619 | 2147483647 80456 34 | 0.005 % |
67.03/67.12 c | 81327 | 1069 49674 326619 | 2147483647 81327 34 | 0.001 % |
68.43/68.59 c | 82286 | 1069 49674 326619 | 2147483647 82286 34 | 0.006 % |
68.63/68.76 c | 82392 | 1069 49674 326619 | 2147483647 82392 34 | 0.006 % |
68.83/68.94 c | 82502 | 1069 49674 326619 | 2147483647 82502 34 | 0.006 % |
69.03/69.16 c | 82624 | 1069 49674 326619 | 2147483647 82624 34 | 0.000 % |
69.23/69.33 c | 82757 | 1069 49674 326619 | 2147483647 82757 34 | 0.006 % |
69.43/69.53 c | 82905 | 1069 49674 326619 | 2147483647 82905 34 | 0.006 % |
69.63/69.75 c | 83066 | 1069 49674 326619 | 2147483647 83066 34 | 0.000 % |
69.93/70.01 c | 83243 | 1069 49674 326619 | 2147483647 83243 34 | 0.005 % |
70.23/70.30 c | 83437 | 1069 49674 326619 | 2147483647 83437 34 | 0.005 % |
70.52/70.65 c | 83650 | 1069 49674 326619 | 2147483647 83650 34 | 0.000 % |
70.82/70.96 c | 83883 | 1069 49674 326619 | 2147483647 83883 34 | 0.005 % |
71.22/71.30 c | 84139 | 1069 49674 326619 | 2147483647 84139 34 | 0.005 % |
71.52/71.67 c | 84422 | 1069 49674 326619 | 2147483647 84422 34 | 0.005 % |
72.02/72.11 c | 84733 | 1069 49674 326619 | 2147483647 84733 34 | 0.001 % |
72.43/72.55 c | 85072 | 1069 49674 326619 | 2147483647 85072 34 | 0.005 % |
72.92/73.03 c | 85444 | 1069 49674 326619 | 2147483647 85444 34 | 0.005 % |
73.42/73.54 c | 85853 | 1069 49674 326619 | 2147483647 85853 34 | 0.005 % |
74.02/74.17 c | 86302 | 1069 49674 326619 | 2147483647 86302 34 | 0.005 % |
74.72/74.87 c | 86798 | 1069 49674 326619 | 2147483647 86798 34 | 0.005 % |
75.42/75.55 c | 87341 | 1069 49674 326619 | 2147483647 87341 34 | 0.000 % |
76.52/76.70 c | 87940 | 1069 49674 326619 | 2147483647 87940 34 | 0.000 % |
77.62/77.70 c | 88597 | 1069 49674 326619 | 2147483647 88597 34 | 0.000 % |
78.62/78.73 c | 89317 | 1069 49674 326619 | 2147483647 89317 34 | 0.000 % |
79.92/80.08 c | 90109 | 1069 49674 326619 | 90002 90109 34 | 0.000 % |
81.52/81.62 c | 90980 | 1069 49674 326619 | 90002 81618 34 | 0.000 % |
82.82/82.97 c | 91940 | 1069 49674 326619 | 90002 82578 34 | 0.000 % |
84.32/84.41 c | 92994 | 1069 49674 326619 | 90002 83632 34 | 0.000 % |
84.41/84.57 c | 93096 | 1069 49674 326619 | 90002 83734 34 | 0.001 % |
84.62/84.73 c | 93207 | 1069 49674 326619 | 90002 83845 34 | 0.000 % |
84.81/84.93 c | 93328 | 1069 49674 326619 | 90002 83966 34 | 0.006 % |
85.01/85.12 c | 93461 | 1069 49674 326619 | 90002 84099 34 | 0.002 % |
85.21/85.38 c | 93608 | 1069 49674 326619 | 90002 84246 34 | 0.006 % |
85.41/85.59 c | 93768 | 1069 49674 326619 | 90002 84406 34 | 0.006 % |
85.81/85.90 c | 93944 | 1069 49674 326619 | 90002 84582 34 | 0.001 % |
86.11/86.22 c | 94137 | 1069 49674 326619 | 90002 84775 34 | 0.006 % |
86.41/86.56 c | 94350 | 1069 49674 326619 | 90002 84988 34 | 0.006 % |
86.82/86.93 c | 94583 | 1069 49674 326619 | 90002 85221 34 | 0.000 % |
87.21/87.33 c | 94840 | 1069 49674 326619 | 90002 85478 34 | 0.005 % |
87.71/87.88 c | 95121 | 1069 49674 326619 | 90002 85759 34 | 0.001 % |
88.31/88.40 c | 95431 | 1069 49674 326619 | 90002 86069 34 | 0.000 % |
88.81/88.98 c | 95771 | 1069 49674 326619 | 90002 86409 34 | 0.001 % |
89.51/89.65 c | 96147 | 1069 49674 326619 | 90002 86785 34 | 0.006 % |
90.12/90.25 c | 96557 | 1069 49674 326619 | 90002 87195 34 | 0.000 % |
90.81/90.99 c | 97006 | 1069 49674 326619 | 90002 87644 34 | 0.000 % |
91.71/91.87 c | 97499 | 1069 49674 326619 | 90002 88137 34 | 0.002 % |
92.71/92.85 c | 98041 | 1069 49674 326619 | 90002 88679 34 | 0.000 % |
93.61/93.77 c | 98637 | 1069 49674 326619 | 90002 89275 34 | 0.005 % |
94.81/94.94 c | 99294 | 1069 49674 326619 | 90002 89932 34 | 0.000 % |
96.01/96.19 c | 100015 | 1069 49674 326619 | 80210 80225 34 | 0.000 % |
97.31/97.40 c | 100808 | 1069 49674 326619 | 80210 71949 33 | 0.001 % |
98.40/98.51 c | 101679 | 1069 49674 326619 | 80210 72820 33 | 0.005 % |
99.80/99.94 c | 102638 | 1069 49674 326619 | 80210 73779 33 | 0.000 % |
101.30/101.45 c | 103691 | 1069 49674 326619 | 80210 74832 33 | 0.005 % |
103.00/103.12 c | 104850 | 1069 49674 326619 | 80210 75991 33 | 0.005 % |
103.10/103.28 c | 104952 | 1069 49674 326619 | 80210 76093 33 | 0.005 % |
103.30/103.48 c | 105062 | 1069 49674 326619 | 80210 76203 33 | 0.005 % |
103.50/103.68 c | 105183 | 1069 49674 326619 | 80210 76324 33 | 0.005 % |
103.70/103.84 c | 105318 | 1069 49674 326619 | 80210 76459 33 | 0.005 % |
103.90/104.04 c | 105467 | 1069 49674 326619 | 80210 76608 33 | 0.000 % |
104.10/104.29 c | 105631 | 1069 49674 326619 | 80210 76772 33 | 0.000 % |
104.40/104.57 c | 105807 | 1069 49674 326619 | 80210 76948 33 | 0.000 % |
104.70/104.85 c | 106000 | 1069 49674 326619 | 80210 77141 33 | 0.000 % |
105.10/105.20 c | 106212 | 1069 49674 326619 | 80210 77353 33 | 0.000 % |
105.40/105.50 c | 106447 | 1069 49674 326619 | 80210 77588 33 | 0.000 % |
105.80/105.98 c | 106703 | 1069 49674 326619 | 80210 77844 33 | 0.000 % |
106.30/106.47 c | 106984 | 1069 49674 326619 | 80210 78125 33 | 0.005 % |
106.90/107.03 c | 107293 | 1069 49674 326619 | 80210 78434 33 | 0.000 % |
107.40/107.55 c | 107632 | 1069 49674 326619 | 80210 78773 33 | 0.005 % |
108.10/108.22 c | 108004 | 1069 49674 326619 | 80210 79145 33 | 0.000 % |
108.70/108.82 c | 108414 | 1069 49674 326619 | 80210 79555 33 | 0.000 % |
109.30/109.41 c | 108864 | 1069 49674 326619 | 80210 80005 33 | 0.005 % |
110.00/110.19 c | 109357 | 1069 49674 326619 | 80210 72449 33 | 0.005 % |
110.80/110.97 c | 109900 | 1069 49674 326619 | 80210 72992 33 | 0.006 % |
111.80/111.94 c | 110498 | 1069 49674 326619 | 2147483647 73590 33 | 0.000 % |
112.79/112.98 c | 111154 | 1069 49674 326619 | 2147483647 74246 33 | 0.000 % |
113.79/113.94 c | 111875 | 1069 49674 326619 | 2147483647 74967 33 | 0.001 % |
114.89/115.09 c | 112668 | 1069 49674 326619 | 2147483647 75760 33 | 0.000 % |
116.10/116.20 c | 113539 | 1069 49674 326619 | 2147483647 76631 33 | 0.000 % |
117.39/117.54 c | 114497 | 1069 49674 326619 | 2147483647 77589 33 | 0.005 % |
118.99/119.12 c | 115550 | 1069 49674 326619 | 2147483647 78642 33 | 0.005 % |
120.59/120.78 c | 116708 | 1069 49674 326619 | 2147483647 79800 33 | 0.005 % |
122.29/122.41 c | 117982 | 1069 49674 326619 | 2147483647 81074 33 | 0.005 % |
122.39/122.56 c | 118084 | 1069 49674 326619 | 2147483647 81176 33 | 0.005 % |
122.59/122.74 c | 118194 | 1069 49674 326619 | 2147483647 81286 33 | 0.005 % |
122.79/122.93 c | 118315 | 1069 49674 326619 | 2147483647 81407 33 | 0.005 % |
123.00/123.13 c | 118449 | 1069 49674 326619 | 2147483647 81541 33 | 0.000 % |
123.19/123.36 c | 118596 | 1069 49674 326619 | 2147483647 81688 33 | 0.005 % |
123.49/123.63 c | 118757 | 1069 49674 326619 | 2147483647 81849 33 | 0.002 % |
123.69/123.89 c | 118934 | 1069 49674 326619 | 2147483647 82026 33 | 0.000 % |
123.99/124.11 c | 119127 | 1069 49674 326619 | 2147483647 82219 33 | 0.000 % |
124.39/124.52 c | 119340 | 1069 49674 326619 | 2147483647 82432 33 | 0.000 % |
124.59/124.79 c | 119573 | 1069 49674 326619 | 2147483647 82665 33 | 0.000 % |
125.09/125.20 c | 119830 | 1069 49674 326619 | 2147483647 82922 33 | 0.000 % |
125.39/125.54 c | 120111 | 1069 49674 326619 | 2147483647 83203 33 | 0.005 % |
125.79/125.97 c | 120421 | 1069 49674 326619 | 2147483647 83513 33 | 0.005 % |
126.29/126.44 c | 120760 | 1069 49674 326619 | 2147483647 83852 33 | 0.000 % |
126.69/126.89 c | 121134 | 1069 49674 326619 | 2147483647 84226 33 | 0.005 % |
127.49/127.68 c | 121545 | 1069 49674 326619 | 2147483647 84637 33 | 0.005 % |
128.19/128.37 c | 121996 | 1069 49674 326619 | 2147483647 85088 33 | 0.000 % |
128.99/129.18 c | 122490 | 1069 49674 326619 | 2147483647 85582 33 | 0.000 % |
129.89/130.01 c | 123034 | 1069 49674 326619 | 2147483647 86126 33 | 0.000 % |
130.89/131.08 c | 123632 | 1069 49674 326619 | 2147483647 86724 33 | 0.010 % |
132.19/132.36 c | 124287 | 1069 49674 326619 | 2147483647 87379 33 | 0.000 % |
133.39/133.58 c | 125007 | 1069 49674 326619 | 2147483647 88099 33 | 0.005 % |
134.69/134.86 c | 125801 | 1069 49674 326619 | 2147483647 88893 33 | 0.000 % |
136.39/136.55 c | 126673 | 1069 49674 326619 | 2147483647 89765 33 | 0.000 % |
138.39/138.53 c | 127633 | 1069 49674 326619 | 2147483647 90725 33 | 0.000 % |
139.98/140.14 c | 128690 | 1069 49674 326619 | 2147483647 91782 33 | 0.000 % |
141.99/142.17 c | 129849 | 1069 49674 326619 | 2147483647 92941 33 | 0.000 % |
144.08/144.20 c | 131122 | 1069 49674 326619 | 93092 80708 33 | 0.006 % |
146.58/146.72 c | 132522 | 1069 49674 326619 | 93092 82108 33 | 0.000 % |
146.77/146.92 c | 132623 | 1069 49674 326619 | 93092 82209 33 | 0.006 % |
146.97/147.14 c | 132733 | 1069 49674 326619 | 93092 82319 33 | 0.006 % |
147.07/147.29 c | 132854 | 1069 49674 326619 | 93092 82440 33 | 0.006 % |
147.37/147.54 c | 132987 | 1069 49674 326619 | 93092 82573 33 | 0.000 % |
147.57/147.78 c | 133133 | 1069 49674 326619 | 93092 82719 33 | 0.000 % |
147.87/148.03 c | 133293 | 1069 49674 326619 | 93092 82879 33 | 0.000 % |
148.17/148.36 c | 133469 | 1069 49674 326619 | 93092 83055 33 | 0.000 % |
148.47/148.61 c | 133662 | 1069 49674 326619 | 93092 83248 33 | 0.000 % |
148.77/148.97 c | 133877 | 1069 49674 326619 | 93092 83463 33 | 0.000 % |
149.17/149.34 c | 134110 | 1069 49674 326619 | 93092 83696 33 | 0.000 % |
149.57/149.73 c | 134367 | 1069 49674 326619 | 93092 83953 33 | 0.000 % |
150.07/150.22 c | 134651 | 1069 49674 326619 | 93092 84237 33 | 0.000 % |
150.48/150.69 c | 134960 | 1069 49674 326619 | 93092 84546 33 | 0.006 % |
151.07/151.24 c | 135301 | 1069 49674 326619 | 93092 84887 33 | 0.000 % |
151.68/151.82 c | 135674 | 1069 49674 326619 | 93092 85260 33 | 0.006 % |
152.37/152.57 c | 136083 | 1069 49674 326619 | 93092 85669 33 | 0.006 % |
153.07/153.28 c | 136532 | 1069 49674 326619 | 93092 86118 33 | 0.000 % |
153.78/154.00 c | 137026 | 1069 49674 326619 | 93092 86612 33 | 0.000 % |
154.67/154.85 c | 137570 | 1069 49674 326619 | 93092 87156 33 | 0.006 % |
155.67/155.80 c | 138167 | 1069 49674 326619 | 93092 87753 33 | 0.005 % |
156.67/156.83 c | 138822 | 1069 49674 326619 | 93092 88408 33 | 0.000 % |
157.77/157.93 c | 139543 | 1069 49674 326619 | 93092 89129 33 | 0.006 % |
158.97/159.19 c | 140337 | 1069 49674 326619 | 89586 78954 32 | 0.006 % |
160.37/160.57 c | 141208 | 1069 49674 326619 | 89586 79825 32 | 0.006 % |
161.67/161.84 c | 142166 | 1069 49674 326619 | 89586 80783 32 | 0.006 % |
163.17/163.31 c | 143222 | 1069 49674 326619 | 89586 81839 32 | 0.006 % |
164.97/165.13 c | 144380 | 1069 49674 326619 | 89586 82997 32 | 0.000 % |
166.97/167.19 c | 145654 | 1069 49674 326619 | 89586 84271 32 | 0.000 % |
169.17/169.38 c | 147056 | 1069 49674 326619 | 89586 85673 32 | 0.000 % |
171.77/171.99 c | 148596 | 1069 49674 326619 | 89586 87213 32 | 0.000 % |
171.97/172.17 c | 148696 | 1069 49674 326619 | 89586 87313 32 | 0.000 % |
172.17/172.34 c | 148807 | 1069 49674 326619 | 89586 87424 32 | 0.001 % |
172.47/172.64 c | 148929 | 1069 49674 326619 | 89586 87546 32 | 0.000 % |
172.77/172.92 c | 149062 | 1069 49674 326619 | 89586 87679 32 | 0.000 % |
172.97/173.18 c | 149208 | 1069 49674 326619 | 89586 87825 32 | 0.000 % |
173.27/173.44 c | 149369 | 1069 49674 326619 | 89586 87986 32 | 0.001 % |
173.57/173.79 c | 149546 | 1069 49674 326619 | 89586 88163 32 | 0.000 % |
173.97/174.11 c | 149741 | 1069 49674 326619 | 89586 88358 32 | 0.000 % |
174.17/174.37 c | 149955 | 1069 49674 326619 | 89586 88572 33 | 0.001 % |
174.47/174.68 c | 150188 | 1069 49674 326619 | 88618 88805 33 | 0.000 % |
175.07/175.28 c | 150445 | 1069 49674 326619 | 88618 79147 32 | 0.005 % |
175.57/175.72 c | 150728 | 1069 49674 326619 | 88618 79430 32 | 0.000 % |
176.07/176.25 c | 151037 | 1069 49674 326619 | 88618 79739 32 | 0.000 % |
176.67/176.80 c | 151377 | 1069 49674 326619 | 88618 80079 32 | 0.002 % |
177.26/177.42 c | 151749 | 1069 49674 326619 | 88618 80451 32 | 0.000 % |
177.97/178.13 c | 152158 | 1069 49674 326619 | 88618 80860 32 | 0.001 % |
178.66/178.83 c | 152607 | 1069 49674 326619 | 88618 81309 32 | 0.002 % |
179.36/179.59 c | 153100 | 1069 49674 326619 | 88618 81802 32 | 0.000 % |
180.36/180.56 c | 153642 | 1069 49674 326619 | 88618 82344 32 | 0.000 % |
181.37/181.53 c | 154239 | 1069 49674 326619 | 88618 82941 32 | 0.000 % |
182.37/182.55 c | 154895 | 1069 49674 326619 | 88618 83597 33 | 0.000 % |
183.66/183.81 c | 155615 | 1069 49674 326619 | 88618 84317 33 | 0.000 % |
184.96/185.12 c | 156407 | 1069 49674 326619 | 88618 85109 33 | 0.000 % |
186.37/186.51 c | 157280 | 1069 49674 326619 | 88618 85982 33 | 0.000 % |
188.16/188.36 c | 158238 | 1069 49674 326619 | 88618 86940 33 | 0.000 % |
190.17/190.38 c | 159291 | 1069 49674 326619 | 88618 87993 33 | 0.000 % |
192.27/192.49 c | 160449 | 1069 49674 326619 | 88704 76123 32 | 0.000 % |
194.26/194.43 c | 161723 | 1069 49674 326619 | 88704 77397 32 | 0.000 % |
196.86/197.00 c | 163123 | 1069 49674 326619 | 88704 78797 32 | 0.000 % |
199.16/199.33 c | 164664 | 1069 49674 326619 | 88704 80338 33 | 0.000 % |
202.16/202.39 c | 166361 | 1069 49674 326619 | 88704 82035 33 | 0.001 % |
202.36/202.58 c | 166464 | 1069 49674 326619 | 88704 82138 33 | 0.000 % |
202.56/202.77 c | 166574 | 1069 49674 326619 | 88704 82248 33 | 0.000 % |
202.86/203.01 c | 166695 | 1069 49674 326619 | 88704 82369 33 | 0.000 % |
203.06/203.25 c | 166832 | 1069 49674 326619 | 88704 82506 33 | 0.006 % |
203.36/203.53 c | 166979 | 1069 49674 326619 | 88704 82653 33 | 0.006 % |
203.66/203.80 c | 167139 | 1069 49674 326619 | 88704 82813 33 | 0.006 % |
203.86/204.03 c | 167315 | 1069 49674 326619 | 88704 82989 33 | 0.006 % |
204.26/204.41 c | 167508 | 1069 49674 326619 | 88704 83182 33 | 0.000 % |
204.55/204.79 c | 167723 | 1069 49674 326619 | 88704 83397 33 | 0.000 % |
204.95/205.14 c | 167957 | 1069 49674 326619 | 88704 83631 33 | 0.002 % |
205.35/205.57 c | 168213 | 1069 49674 326619 | 88704 83887 33 | 0.000 % |
205.85/206.04 c | 168496 | 1069 49674 326619 | 88704 84170 33 | 0.000 % |
206.35/206.56 c | 168806 | 1069 49674 326619 | 88704 84480 33 | 0.000 % |
206.95/207.13 c | 169147 | 1069 49674 326619 | 88704 84821 33 | 0.005 % |
207.45/207.66 c | 169519 | 1069 49674 326619 | 88704 85193 33 | 0.000 % |
208.05/208.26 c | 169929 | 1069 49674 326619 | 88704 85603 33 | 0.005 % |
209.15/209.37 c | 170379 | 1069 49674 326619 | 85675 74228 32 | 0.005 % |
209.96/210.10 c | 170873 | 1069 49674 326619 | 85675 74722 32 | 0.000 % |
210.85/211.09 c | 171418 | 1069 49674 326619 | 85675 75267 32 | 0.000 % |
211.75/211.94 c | 172015 | 1069 49674 326619 | 85675 75864 32 | 0.000 % |
212.85/213.00 c | 172672 | 1069 49674 326619 | 85675 76521 33 | 0.002 % |
213.95/214.16 c | 173393 | 1069 49674 326619 | 85675 77242 33 | 0.000 % |
215.35/215.58 c | 174188 | 1069 49674 326619 | 85675 78037 33 | 0.000 % |
216.95/217.14 c | 175059 | 1069 49674 326619 | 85675 78908 33 | 0.000 % |
218.25/218.48 c | 176017 | 1069 49674 326619 | 85675 79866 33 | 0.005 % |
219.95/220.13 c | 177071 | 1069 49674 326619 | 85675 80920 33 | 0.000 % |
221.95/222.18 c | 178229 | 1069 49674 326619 | 85675 82078 33 | 0.001 % |
223.95/224.13 c | 179502 | 1069 49674 326619 | 85675 83351 33 | 0.001 % |
226.24/226.50 c | 180903 | 1069 49674 326619 | 83849 74755 33 | 0.005 % |
228.65/228.81 c | 182443 | 1069 49674 326619 | 83849 76295 33 | 0.000 % |
231.14/231.37 c | 184138 | 1069 49674 326619 | 83849 77990 33 | 0.000 % |
234.54/234.78 c | 186001 | 1069 49674 326619 | 83849 79853 33 | 0.001 % |
234.84/235.04 c | 186101 | 1069 49674 326619 | 83849 79953 33 | 0.000 % |
235.04/235.23 c | 186211 | 1069 49674 326619 | 83849 80063 33 | 0.000 % |
235.24/235.40 c | 186332 | 1069 49674 326619 | 83849 80184 33 | 0.000 % |
235.44/235.69 c | 186466 | 1069 49674 326619 | 83849 80318 33 | 0.000 % |
235.64/235.90 c | 186612 | 1069 49674 326619 | 83849 80464 33 | 0.000 % |
235.94/236.11 c | 186772 | 1069 49674 326619 | 83849 80624 33 | 0.000 % |
236.24/236.42 c | 186951 | 1069 49674 326619 | 83849 80803 33 | 0.000 % |
236.53/236.72 c | 187144 | 1069 49674 326619 | 83849 80996 33 | 0.000 % |
236.93/237.16 c | 187356 | 1069 49674 326619 | 83849 81208 33 | 0.000 % |
237.44/237.68 c | 187590 | 1069 49674 326619 | 83849 81442 33 | 0.001 % |
237.93/238.14 c | 187846 | 1069 49674 326619 | 83849 81698 33 | 0.006 % |
238.44/238.66 c | 188128 | 1069 49674 326619 | 83849 81980 33 | 0.000 % |
239.03/239.28 c | 188438 | 1069 49674 326619 | 83849 82290 33 | 0.002 % |
239.64/239.87 c | 188777 | 1069 49674 326619 | 83849 82629 33 | 0.000 % |
240.33/240.50 c | 189149 | 1069 49674 326619 | 83849 83001 33 | 0.000 % |
240.93/241.13 c | 189559 | 1069 49674 326619 | 83849 83411 33 | 0.000 % |
241.74/242.00 c | 190008 | 1069 49674 326619 | 83854 83860 33 | 0.000 % |
242.73/242.95 c | 190501 | 1069 49674 326619 | 83854 74178 32 | 0.008 % |
243.63/243.86 c | 191044 | 1066 47432 311276 | 83854 70412 33 | 0.291 % |
244.73/244.98 c | 191641 | 1066 47432 311276 | 83854 71009 33 | 0.286 % |
245.83/246.08 c | 192296 | 1066 47432 311276 | 83854 71664 33 | 0.281 % |
247.03/247.23 c | 193017 | 1066 47432 311276 | 83854 72385 33 | 0.283 % |
248.43/248.60 c | 193809 | 1066 47432 311276 | 83854 73177 33 | 0.287 % |
249.63/249.88 c | 194681 | 1066 47432 311276 | 83854 74049 33 | 0.281 % |
251.33/251.51 c | 195642 | 1066 47432 311276 | 83854 75010 33 | 0.281 % |
253.23/253.41 c | 196696 | 1066 47432 311276 | 83854 76064 33 | 0.281 % |
255.22/255.42 c | 197856 | 1066 47432 311276 | 83854 77224 33 | 0.286 % |
257.13/257.39 c | 199129 | 1066 47432 311276 | 83854 78497 33 | 0.281 % |
259.52/259.73 c | 200529 | 1066 47432 311276 | 79368 71753 33 | 0.281 % |
261.63/261.87 c | 202069 | 1066 47432 311276 | 79368 73293 33 | 0.281 % |
264.42/264.65 c | 203763 | 1066 47432 311276 | 79368 74987 33 | 0.281 % |
267.62/267.84 c | 205626 | 1066 47432 311276 | 79368 76850 33 | 0.281 % |
271.42/271.63 c | 207676 | 1066 47432 311276 | 79368 78900 33 | 0.281 % |
271.62/271.83 c | 207776 | 1066 47432 311276 | 79368 79000 33 | 0.281 % |
271.82/272.04 c | 207886 | 1066 47432 311276 | 79368 79110 33 | 0.281 % |
272.02/272.27 c | 208007 | 1066 47432 311276 | 79368 79231 33 | 0.281 % |
272.32/272.59 c | 208141 | 1066 47432 311276 | 79368 79365 33 | 0.286 % |
272.72/272.96 c | 208289 | 1066 47432 311276 | 79368 69653 32 | 0.281 % |
273.02/273.25 c | 208450 | 1066 47432 311276 | 79368 69814 32 | 0.287 % |
273.31/273.59 c | 208629 | 1066 47432 311276 | 79368 69993 32 | 0.283 % |
273.72/273.93 c | 208825 | 1066 47432 311276 | 79368 70189 32 | 0.281 % |
274.01/274.28 c | 209037 | 1066 47432 311276 | 79368 70401 32 | 0.287 % |
274.51/274.73 c | 209270 | 1066 47432 311276 | 79368 70634 32 | 0.283 % |
274.91/275.17 c | 209528 | 1066 47432 311276 | 79368 70892 32 | 0.281 % |
275.51/275.76 c | 209809 | 1066 47432 311276 | 79368 71173 32 | 0.283 % |
276.21/276.49 c | 210118 | 1066 47432 311276 | 71365 62938 31 | 0.281 % |
276.81/277.05 c | 210460 | 1066 47432 311276 | 71365 63280 31 | 0.281 % |
277.41/277.66 c | 210835 | 1066 47432 311276 | 71365 63655 31 | 0.281 % |
278.01/278.26 c | 211245 | 1066 47432 311276 | 71365 64065 31 | 0.281 % |
278.81/279.03 c | 211695 | 1066 47432 311276 | 71365 64515 31 | 0.281 % |
279.61/279.86 c | 212189 | 1066 47432 311276 | 71365 65009 31 | 0.281 % |
280.41/280.68 c | 212731 | 1066 47432 311276 | 71365 65551 31 | 0.281 % |
281.21/281.46 c | 213328 | 1066 47432 311276 | 71365 66148 31 | 0.281 % |
282.10/282.35 c | 213985 | 1066 47432 311276 | 71365 66805 31 | 0.281 % |
283.30/283.54 c | 214705 | 1066 47432 311276 | 71365 67525 31 | 0.281 % |
284.61/284.87 c | 215498 | 1066 47432 311276 | 71365 68318 31 | 0.281 % |
286.00/286.22 c | 216371 | 1066 47432 311276 | 71365 69191 32 | 0.281 % |
287.50/287.78 c | 217329 | 1066 47432 311276 | 71365 70149 32 | 0.281 % |
289.50/289.78 c | 218382 | 1066 47432 311276 | 71365 71202 32 | 0.281 % |
291.30/291.54 c | 219540 | 1066 47432 311276 | 71365 65216 31 | 0.281 % |
293.10/293.38 c | 220818 | 1066 47432 311276 | 2147483647 66494 31 | 0.281 % |
295.20/295.44 c | 222218 | 1066 47432 311276 | 2147483647 67894 31 | 0.281 % |
297.50/297.70 c | 223758 | 1066 47432 311276 | 2147483647 69434 31 | 0.281 % |
300.60/300.80 c | 225452 | 1066 47432 311276 | 2147483647 71128 31 | 0.281 % |
304.00/304.20 c | 227316 | 1066 47432 311276 | 2147483647 72992 32 | 0.281 % |
307.09/307.38 c | 229365 | 1066 47432 311276 | 2147483647 75041 32 | 0.281 % |
311.29/311.57 c | 231618 | 1066 47432 311276 | 2147483647 77294 32 | 0.281 % |
311.49/311.74 c | 231719 | 1066 47432 311276 | 2147483647 77395 32 | 0.281 % |
311.69/311.93 c | 231830 | 1066 47432 311276 | 2147483647 77506 32 | 0.281 % |
311.89/312.18 c | 231952 | 1066 47432 311276 | 2147483647 77628 32 | 0.281 % |
312.20/312.41 c | 232085 | 1066 47432 311276 | 2147483647 77761 32 | 0.283 % |
312.39/312.69 c | 232232 | 1066 47432 311276 | 2147483647 77908 32 | 0.286 % |
312.69/312.98 c | 232393 | 1066 47432 311276 | 2147483647 78069 32 | 0.286 % |
313.09/313.30 c | 232570 | 1066 47432 311276 | 2147483647 78246 32 | 0.281 % |
313.39/313.64 c | 232764 | 1066 47432 311276 | 2147483647 78440 32 | 0.287 % |
313.79/314.05 c | 232976 | 1066 47432 311276 | 2147483647 78652 32 | 0.281 % |
314.29/314.50 c | 233210 | 1066 47432 311276 | 2147483647 78886 32 | 0.281 % |
314.79/315.05 c | 233466 | 1066 47432 311276 | 2147483647 79142 32 | 0.281 % |
315.29/315.53 c | 233748 | 1066 47432 311276 | 2147483647 79424 32 | 0.281 % |
315.79/316.08 c | 234059 | 1066 47432 311276 | 2147483647 79735 32 | 0.301 % |
316.59/316.82 c | 234398 | 1066 47432 311276 | 2147483647 80074 32 | 0.281 % |
317.19/317.43 c | 234770 | 1066 47432 311276 | 2147483647 80446 32 | 0.281 % |
317.79/318.06 c | 235181 | 1066 47432 311276 | 2147483647 80857 32 | 0.281 % |
318.79/319.07 c | 235631 | 1066 47432 311276 | 2147483647 81307 32 | 0.281 % |
319.89/320.10 c | 236124 | 1066 47432 311276 | 2147483647 81800 32 | 0.283 % |
320.89/321.13 c | 236669 | 1066 47432 311276 | 2147483647 82345 32 | 0.283 % |
321.99/322.23 c | 237266 | 1066 47432 311276 | 2147483647 82942 32 | 0.283 % |
323.48/323.73 c | 237921 | 1066 47432 311276 | 2147483647 83597 32 | 0.283 % |
324.78/325.10 c | 238644 | 1066 47432 311276 | 2147483647 84320 32 | 0.281 % |
326.38/326.63 c | 239437 | 1066 47432 311276 | 2147483647 85113 32 | 0.281 % |
328.08/328.36 c | 240311 | 1066 47432 311276 | 85678 76389 31 | 0.281 % |
329.88/330.17 c | 241269 | 1066 47432 311276 | 85678 77347 31 | 0.281 % |
331.58/331.88 c | 242325 | 1066 47432 311276 | 85678 78403 31 | 0.286 % |
333.87/334.15 c | 243486 | 1066 47432 311276 | 85678 79564 31 | 0.281 % |
336.28/336.55 c | 244762 | 1066 47432 311276 | 85678 80840 31 | 0.281 % |
338.67/338.98 c | 246163 | 1066 47432 311276 | 85678 82241 31 | 0.283 % |
341.88/342.18 c | 247706 | 1066 47432 311276 | 85678 83784 31 | 0.281 % |
345.17/345.46 c | 249401 | 1066 47432 311276 | 85678 85479 31 | 0.281 % |
348.87/349.18 c | 251264 | 1066 47432 311276 | 76109 68902 30 | 0.281 % |
352.67/352.92 c | 253314 | 1044 32209 206549 | 76109 37182 27 | 2.339 % |
355.37/355.69 c | 255568 | 1020 32209 206549 | 76109 39432 28 | 9.168 % |
355.97/356.21 c ===============================================================================
355.97/356.21 c restarts : 631
355.97/356.21 c conflicts : 256000 (720 /sec)
355.97/356.21 c decisions : 350913 (1.64 % random) (987 /sec)
355.97/356.21 c propagations : 25027800 (70407 /sec)
355.97/356.21 c conflict literals : 9015583 (51.01 % deleted)
355.97/356.21 c Memory used : 23.12 MB
355.97/356.21 c CPU time : 355.473 s
355.97/356.21 c
355.97/356.21 s UNSATISFIABLE
355.97/356.21 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832169-1242770052/watcher-1832169-1242770052 -o /tmp/evaluation-result-1832169-1242770052/solver-1832169-1242770052 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832169-1242770052.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: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.95 3/64 12129
/proc/meminfo: memFree=1933232/2055920 swapFree=4180540/4192956
[pid=12129] ppid=12127 vsize=5356 CPUtime=0
/proc/12129/stat : 12129 (SatELiteGTI) S 12127 12129 11908 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305033788 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12129/statm: 1339 237 197 169 0 50 0
[startup+0.064792 s]
/proc/loadavg: 0.92 0.98 0.95 3/64 12129
/proc/meminfo: memFree=1933232/2055920 swapFree=4180540/4192956
[pid=12129] ppid=12127 vsize=5356 CPUtime=0
/proc/12129/stat : 12129 (SatELiteGTI) S 12127 12129 11908 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305033788 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12129/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101794 s]
/proc/loadavg: 0.92 0.98 0.95 3/64 12129
/proc/meminfo: memFree=1933232/2055920 swapFree=4180540/4192956
[pid=12129] ppid=12127 vsize=5356 CPUtime=0
/proc/12129/stat : 12129 (SatELiteGTI) S 12127 12129 11908 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305033788 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12129/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301813 s]
/proc/loadavg: 0.92 0.98 0.95 3/64 12129
/proc/meminfo: memFree=1933232/2055920 swapFree=4180540/4192956
[pid=12129] ppid=12127 vsize=5356 CPUtime=0
/proc/12129/stat : 12129 (SatELiteGTI) S 12127 12129 11908 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305033788 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12129/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701865 s]
/proc/loadavg: 0.92 0.98 0.95 3/64 12129
/proc/meminfo: memFree=1933232/2055920 swapFree=4180540/4192956
[pid=12129] ppid=12127 vsize=5356 CPUtime=0.45
/proc/12129/stat : 12129 (SatELiteGTI) S 12127 12129 11908 0 -1 4194304 336 1835 0 0 0 0 43 2 15 0 1 0 305033788 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12129/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 5356
[startup+1.50193 s]
/proc/loadavg: 0.92 0.98 0.95 2/66 12135
/proc/meminfo: memFree=1926752/2055920 swapFree=4180540/4192956
[pid=12129] ppid=12127 vsize=5356 CPUtime=0.45
/proc/12129/stat : 12129 (SatELiteGTI) S 12127 12129 11908 0 -1 4194304 336 1835 0 0 0 0 43 2 15 0 1 0 305033788 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12129/statm: 1339 239 197 169 0 50 0
[pid=12135] ppid=12129 vsize=5796 CPUtime=1.03
/proc/12135/stat : 12135 (minisat_static) R 12129 12129 11908 0 -1 4194304 1323 0 0 0 103 0 0 0 25 0 1 0 305033834 5935104 1309 1992294400 134512640 135215339 4294956240 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 0 0 0
/proc/12135/statm: 1449 1309 77 171 0 1276 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11152
[startup+3.10109 s]
/proc/loadavg: 0.92 0.98 0.95 2/66 12135
/proc/meminfo: memFree=1925792/2055920 swapFree=4180540/4192956
[pid=12129] ppid=12127 vsize=5356 CPUtime=0.45
/proc/12129/stat : 12129 (SatELiteGTI) S 12127 12129 11908 0 -1 4194304 336 1835 0 0 0 0 43 2 15 0 1 0 305033788 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12129/statm: 1339 239 197 169 0 50 0
[pid=12135] ppid=12129 vsize=6724 CPUtime=2.63
/proc/12135/stat : 12135 (minisat_static) R 12129 12129 11908 0 -1 4194304 1583 0 0 0 263 0 0 0 25 0 1 0 305033834 6885376 1569 1992294400 134512640 135215339 4294956240 18446744073709551615 134538423 0 0 4096 3 0 0 0 17 0 0 0
/proc/12135/statm: 1681 1569 77 171 0 1508 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 12080
[startup+6.30141 s]
/proc/loadavg: 0.93 0.98 0.95 2/66 12135
/proc/meminfo: memFree=1924000/2055920 swapFree=4180540/4192956
[pid=12129] ppid=12127 vsize=5356 CPUtime=0.45
/proc/12129/stat : 12129 (SatELiteGTI) S 12127 12129 11908 0 -1 4194304 336 1835 0 0 0 0 43 2 15 0 1 0 305033788 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12129/statm: 1339 239 197 169 0 50 0
[pid=12135] ppid=12129 vsize=8244 CPUtime=5.83
/proc/12135/stat : 12135 (minisat_static) R 12129 12129 11908 0 -1 4194304 1925 0 0 0 582 1 0 0 25 0 1 0 305033834 8441856 1911 1992294400 134512640 135215339 4294956240 18446744073709551615 134528824 0 0 4096 3 0 0 0 17 0 0 0
/proc/12135/statm: 2061 1911 77 171 0 1888 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 13600
[startup+12.7021 s]
/proc/loadavg: 0.93 0.98 0.95 2/66 12135
/proc/meminfo: memFree=1921824/2055920 swapFree=4180540/4192956
[pid=12129] ppid=12127 vsize=5356 CPUtime=0.45
/proc/12129/stat : 12129 (SatELiteGTI) S 12127 12129 11908 0 -1 4194304 336 1835 0 0 0 0 43 2 15 0 1 0 305033788 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12129/statm: 1339 239 197 169 0 50 0
[pid=12135] ppid=12129 vsize=10264 CPUtime=12.22
/proc/12135/stat : 12135 (minisat_static) R 12129 12129 11908 0 -1 4194304 2431 0 0 0 1220 2 0 0 25 0 1 0 305033834 10510336 2417 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/12135/statm: 2566 2417 77 171 0 2393 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 15620
[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.95 2/66 12135
/proc/meminfo: memFree=1918880/2055920 swapFree=4180540/4192956
[pid=12129] ppid=12127 vsize=5356 CPUtime=0.45
/proc/12129/stat : 12129 (SatELiteGTI) S 12127 12129 11908 0 -1 4194304 336 1835 0 0 0 0 43 2 15 0 1 0 305033788 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12129/statm: 1339 239 197 169 0 50 0
[pid=12135] ppid=12129 vsize=13252 CPUtime=25.01
/proc/12135/stat : 12135 (minisat_static) R 12129 12129 11908 0 -1 4194304 3166 0 0 0 2498 3 0 0 25 0 1 0 305033834 13570048 3152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12135/statm: 3313 3152 77 171 0 3140 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 18608
[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.95 2/66 12135
/proc/meminfo: memFree=1914720/2055920 swapFree=4180540/4192956
[pid=12129] ppid=12127 vsize=5356 CPUtime=0.45
/proc/12129/stat : 12129 (SatELiteGTI) S 12127 12129 11908 0 -1 4194304 336 1835 0 0 0 0 43 2 15 0 1 0 305033788 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12129/statm: 1339 239 197 169 0 50 0
[pid=12135] ppid=12129 vsize=17516 CPUtime=50.59
/proc/12135/stat : 12135 (minisat_static) R 12129 12129 11908 0 -1 4194304 4222 0 0 0 5055 4 0 0 25 0 1 0 305033834 17936384 4208 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/12135/statm: 4379 4208 77 171 0 4206 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 22872
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.95 2/66 12135
/proc/meminfo: memFree=1910176/2055920 swapFree=4180540/4192956
[pid=12129] ppid=12127 vsize=5356 CPUtime=0.45
/proc/12129/stat : 12129 (SatELiteGTI) S 12127 12129 11908 0 -1 4194304 336 1835 0 0 0 0 43 2 15 0 1 0 305033788 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12129/statm: 1339 239 197 169 0 50 0
[pid=12135] ppid=12129 vsize=21736 CPUtime=101.75
/proc/12135/stat : 12135 (minisat_static) R 12129 12129 11908 0 -1 4194304 5287 0 0 0 10170 5 0 0 25 0 1 0 305033834 22257664 5273 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12135/statm: 5434 5273 77 171 0 5261 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 27092
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12135
/proc/meminfo: memFree=1909344/2055920 swapFree=4180540/4192956
[pid=12129] ppid=12127 vsize=5356 CPUtime=0.45
/proc/12129/stat : 12129 (SatELiteGTI) S 12127 12129 11908 0 -1 4194304 336 1835 0 0 0 0 43 2 15 0 1 0 305033788 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12129/statm: 1339 239 197 169 0 50 0
[pid=12135] ppid=12129 vsize=22608 CPUtime=161.72
/proc/12135/stat : 12135 (minisat_static) R 12129 12129 11908 0 -1 4194304 5468 0 0 0 16167 5 0 0 25 0 1 0 305033834 23150592 5454 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12135/statm: 5652 5454 77 171 0 5479 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 27964
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12135
/proc/meminfo: memFree=1908832/2055920 swapFree=4180540/4192956
[pid=12129] ppid=12127 vsize=5356 CPUtime=0.45
/proc/12129/stat : 12129 (SatELiteGTI) S 12127 12129 11908 0 -1 4194304 336 1835 0 0 0 0 43 2 15 0 1 0 305033788 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12129/statm: 1339 239 197 169 0 50 0
[pid=12135] ppid=12129 vsize=23072 CPUtime=221.7
/proc/12135/stat : 12135 (minisat_static) R 12129 12129 11908 0 -1 4194304 5565 0 0 0 22164 6 0 0 25 0 1 0 305033834 23625728 5551 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12135/statm: 5768 5551 77 171 0 5595 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 28428
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12135
/proc/meminfo: memFree=1908512/2055920 swapFree=4180540/4192956
[pid=12129] ppid=12127 vsize=5356 CPUtime=0.45
/proc/12129/stat : 12129 (SatELiteGTI) S 12127 12129 11908 0 -1 4194304 336 1835 0 0 0 0 43 2 15 0 1 0 305033788 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12129/statm: 1339 239 197 169 0 50 0
[pid=12135] ppid=12129 vsize=23372 CPUtime=281.65
/proc/12135/stat : 12135 (minisat_static) R 12129 12129 11908 0 -1 4194304 5629 0 0 0 28159 6 0 0 25 0 1 0 305033834 23932928 5615 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12135/statm: 5843 5615 77 171 0 5670 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 28728
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12135
/proc/meminfo: memFree=1908064/2055920 swapFree=4180540/4192956
[pid=12129] ppid=12127 vsize=5356 CPUtime=0.45
/proc/12129/stat : 12129 (SatELiteGTI) S 12127 12129 11908 0 -1 4194304 336 1835 0 0 0 0 43 2 15 0 1 0 305033788 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12129/statm: 1339 239 197 169 0 50 0
[pid=12135] ppid=12129 vsize=23672 CPUtime=341.62
/proc/12135/stat : 12135 (minisat_static) R 12129 12129 11908 0 -1 4194304 5702 0 0 0 34156 6 0 0 25 0 1 0 305033834 24240128 5688 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/12135/statm: 5918 5688 77 171 0 5745 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 29028
Solver just ended. Dumping a history of the last processes samples
[startup+345.501 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12135
/proc/meminfo: memFree=1908064/2055920 swapFree=4180540/4192956
[pid=12129] ppid=12127 vsize=5356 CPUtime=0.45
/proc/12129/stat : 12129 (SatELiteGTI) S 12127 12129 11908 0 -1 4194304 336 1835 0 0 0 0 43 2 15 0 1 0 305033788 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12129/statm: 1339 239 197 169 0 50 0
[pid=12135] ppid=12129 vsize=23672 CPUtime=344.82
/proc/12135/stat : 12135 (minisat_static) R 12129 12129 11908 0 -1 4194304 5702 0 0 0 34476 6 0 0 25 0 1 0 305033834 24240128 5688 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12135/statm: 5918 5688 77 171 0 5745 0
Current children cumulated CPU time (s) 345.27
Current children cumulated vsize (KiB) 29028
[startup+351.902 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12135
/proc/meminfo: memFree=1908064/2055920 swapFree=4180540/4192956
[pid=12129] ppid=12127 vsize=5356 CPUtime=0.45
/proc/12129/stat : 12129 (SatELiteGTI) S 12127 12129 11908 0 -1 4194304 336 1835 0 0 0 0 43 2 15 0 1 0 305033788 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12129/statm: 1339 239 197 169 0 50 0
[pid=12135] ppid=12129 vsize=23672 CPUtime=351.22
/proc/12135/stat : 12135 (minisat_static) R 12129 12129 11908 0 -1 4194304 5703 0 0 0 35116 6 0 0 25 0 1 0 305033834 24240128 5689 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12135/statm: 5918 5689 77 171 0 5745 0
Current children cumulated CPU time (s) 351.67
Current children cumulated vsize (KiB) 29028
[startup+353.502 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12135
/proc/meminfo: memFree=1908064/2055920 swapFree=4180540/4192956
[pid=12129] ppid=12127 vsize=5356 CPUtime=0.45
/proc/12129/stat : 12129 (SatELiteGTI) S 12127 12129 11908 0 -1 4194304 336 1835 0 0 0 0 43 2 15 0 1 0 305033788 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12129/statm: 1339 239 197 169 0 50 0
[pid=12135] ppid=12129 vsize=23672 CPUtime=352.82
/proc/12135/stat : 12135 (minisat_static) R 12129 12129 11908 0 -1 4194304 5703 0 0 0 35276 6 0 0 25 0 1 0 305033834 24240128 5689 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12135/statm: 5918 5689 77 171 0 5745 0
Current children cumulated CPU time (s) 353.27
Current children cumulated vsize (KiB) 29028
[startup+355.102 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12135
/proc/meminfo: memFree=1908064/2055920 swapFree=4180540/4192956
[pid=12129] ppid=12127 vsize=5356 CPUtime=0.45
/proc/12129/stat : 12129 (SatELiteGTI) S 12127 12129 11908 0 -1 4194304 336 1835 0 0 0 0 43 2 15 0 1 0 305033788 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12129/statm: 1339 239 197 169 0 50 0
[pid=12135] ppid=12129 vsize=23672 CPUtime=354.42
/proc/12135/stat : 12135 (minisat_static) R 12129 12129 11908 0 -1 4194304 5703 0 0 0 35436 6 0 0 25 0 1 0 305033834 24240128 5689 1992294400 134512640 135215339 4294956240 18446744073709551615 134538283 0 0 4096 3 0 0 0 17 0 0 0
/proc/12135/statm: 5918 5689 77 171 0 5745 0
Current children cumulated CPU time (s) 354.87
Current children cumulated vsize (KiB) 29028
[startup+355.902 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12135
/proc/meminfo: memFree=1908064/2055920 swapFree=4180540/4192956
[pid=12129] ppid=12127 vsize=5356 CPUtime=0.45
/proc/12129/stat : 12129 (SatELiteGTI) S 12127 12129 11908 0 -1 4194304 336 1835 0 0 0 0 43 2 15 0 1 0 305033788 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12129/statm: 1339 239 197 169 0 50 0
[pid=12135] ppid=12129 vsize=23672 CPUtime=355.22
/proc/12135/stat : 12135 (minisat_static) R 12129 12129 11908 0 -1 4194304 5703 0 0 0 35516 6 0 0 25 0 1 0 305033834 24240128 5689 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/12135/statm: 5918 5689 77 171 0 5745 0
Current children cumulated CPU time (s) 355.67
Current children cumulated vsize (KiB) 29028
[startup+356.102 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12135
/proc/meminfo: memFree=1908064/2055920 swapFree=4180540/4192956
[pid=12129] ppid=12127 vsize=5356 CPUtime=0.45
/proc/12129/stat : 12129 (SatELiteGTI) S 12127 12129 11908 0 -1 4194304 336 1835 0 0 0 0 43 2 15 0 1 0 305033788 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12129/statm: 1339 239 197 169 0 50 0
[pid=12135] ppid=12129 vsize=23672 CPUtime=355.42
/proc/12135/stat : 12135 (minisat_static) R 12129 12129 11908 0 -1 4194304 5703 0 0 0 35536 6 0 0 25 0 1 0 305033834 24240128 5689 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/12135/statm: 5918 5689 77 171 0 5745 0
Current children cumulated CPU time (s) 355.87
Current children cumulated vsize (KiB) 29028
[startup+356.201 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12135
/proc/meminfo: memFree=1908064/2055920 swapFree=4180540/4192956
[pid=12129] ppid=12127 vsize=5356 CPUtime=0.45
/proc/12129/stat : 12129 (SatELiteGTI) S 12127 12129 11908 0 -1 4194304 336 1835 0 0 0 0 43 2 15 0 1 0 305033788 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12129/statm: 1339 239 197 169 0 50 0
[pid=12135] ppid=12129 vsize=23672 CPUtime=355.52
/proc/12135/stat : 12135 (minisat_static) R 12129 12129 11908 0 -1 4194304 5703 0 0 0 35546 6 0 0 25 0 1 0 305033834 24240128 5689 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12135/statm: 5918 5689 77 171 0 5745 0
Current children cumulated CPU time (s) 355.97
Current children cumulated vsize (KiB) 29028
Child status: 20
Real time (s): 356.223
CPU time (s): 356.004
CPU user time (s): 355.907
CPU system time (s): 0.096985
CPU usage (%): 99.9384
Max. virtual memory (cumulated for all children) (KiB): 29028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 355.907
system time used= 0.096985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8035
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= 46
involuntary context switches= 2137
runsolver used 0.361944 second user time and 1.00785 second system time
The end
Begin job on node36 at 2009-05-19 23:54:12
IDJOB=1832169
IDBENCH=24601
IDSOLVER=671
FILE ID=node36/1832169-1242770052
PBS_JOBID= 9322262
Free space on /tmp= 66388 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Medium/contest05/others/QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832169-1242770052/watcher-1832169-1242770052 -o /tmp/evaluation-result-1832169-1242770052/solver-1832169-1242770052 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832169-1242770052.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= db9d2b7fba78f1cbe73aba9a1aa51042
RANDOM SEED=2142250723
node36.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1933712 kB
Buffers: 11684 kB
Cached: 73088 kB
SwapCached: 6552 kB
Active: 36628 kB
Inactive: 56920 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1933712 kB
SwapTotal: 4192956 kB
SwapFree: 4180540 kB
Dirty: 3264 kB
Writeback: 0 kB
Mapped: 13960 kB
Slab: 14796 kB
Committed_AS: 1041220 kB
PageTables: 1372 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66388 MiB
End job on node36 at 2009-05-20 00:00:08