0.00/0.00 c Parsing...
0.00/0.15 c ==============================================================================
0.00/0.15 c | | ORIGINAL | LEARNT | |
0.00/0.15 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.15 c ==============================================================================
0.00/0.15 c | 0 | 243459 726523 | 73037 0 0 nan | 0.000 % |
3.48/3.55 c | 0 | 242248 1066319 | -- 0 -- -- | -- | -1211/339796
3.48/3.55 c ==============================================================================
3.48/3.55 c Result : #vars: 1581 #clauses: 242248 #literals: 1066319
3.48/3.55 c CPU time: 3.50847 s
3.48/3.55 c ==============================================================================
3.77/3.86 c This is MiniSat 2.0 beta
3.77/3.86 c WARNING: for repeatability, setting FPU to use double precision
3.77/3.86 c ============================[ Problem Statistics ]=============================
3.77/3.86 c | |
3.77/3.86 c | Number of variables: 1581 |
3.77/3.86 c | Number of clauses: 242248 |
3.85/4.00 c | Parsing time: 0.12 s |
3.85/4.00 c ============================[ Search Statistics ]==============================
3.85/4.00 c | Conflicts | ORIGINAL | LEARNT | Progress |
3.85/4.00 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.85/4.00 c ===============================================================================
3.85/4.00 c | 0 | 1581 242248 1066319 | 80749 0 nan | 0.000 % |
3.85/4.11 c | 100 | 1581 242248 1066319 | 80749 100 47 | 0.000 % |
3.85/4.23 c | 201 | 1581 242248 1066319 | 80749 201 62 | 0.000 % |
4.28/4.32 c | 301 | 1581 242248 1066319 | 80749 301 69 | 0.000 % |
4.38/4.42 c | 413 | 1581 242248 1066319 | 80749 413 73 | 0.000 % |
4.47/4.50 c | 514 | 1581 242248 1066319 | 80749 514 78 | 0.000 % |
4.57/4.62 c | 624 | 1581 242248 1066319 | 80749 624 79 | 0.000 % |
4.67/4.75 c | 749 | 1581 242248 1066319 | 80749 749 81 | 0.000 % |
4.77/4.85 c | 850 | 1581 242248 1066319 | 80749 850 82 | 0.000 % |
4.87/4.94 c | 960 | 1581 242248 1066319 | 80749 960 83 | 0.000 % |
4.97/5.03 c | 1083 | 1581 242248 1066319 | 80749 1083 85 | 0.000 % |
5.07/5.13 c | 1216 | 1581 242248 1066319 | 80749 1216 87 | 0.000 % |
5.17/5.22 c | 1318 | 1581 242248 1066319 | 80749 1318 86 | 0.000 % |
5.27/5.32 c | 1428 | 1581 242248 1066319 | 80749 1428 85 | 0.000 % |
5.38/5.41 c | 1552 | 1581 242248 1066319 | 80749 1552 85 | 0.000 % |
5.48/5.53 c | 1685 | 1581 242248 1066319 | 80749 1685 85 | 0.000 % |
5.57/5.60 c | 1831 | 1581 242248 1066319 | 80749 1831 86 | 0.000 % |
5.57/5.64 c | 1932 | 1581 242248 1066319 | 80749 1932 86 | 0.000 % |
5.57/5.69 c | 2044 | 1581 242248 1066319 | 80749 2044 87 | 0.000 % |
5.67/5.74 c | 2167 | 1581 242248 1066319 | 80749 2167 87 | 0.000 % |
5.77/5.80 c | 2304 | 1581 242248 1066319 | 80749 2304 87 | 0.000 % |
5.77/5.83 c | 2454 | 1581 242248 1066319 | 80749 2454 88 | 0.000 % |
5.87/5.91 c | 2614 | 1581 242248 1066319 | 80749 2614 89 | 0.000 % |
5.87/5.95 c | 2714 | 1581 242248 1066319 | 80749 2714 89 | 0.000 % |
5.87/5.98 c | 2825 | 1581 242248 1066319 | 80749 2825 89 | 0.000 % |
5.97/6.02 c | 2946 | 1581 242248 1066319 | 80749 2946 90 | 0.000 % |
5.97/6.06 c | 3081 | 1581 242248 1066319 | 80749 3081 90 | 0.000 % |
6.07/6.12 c | 3227 | 1581 242248 1066319 | 80749 3227 90 | 0.000 % |
6.07/6.18 c | 3389 | 1581 242248 1066319 | 80749 3389 91 | 0.000 % |
6.17/6.25 c | 3565 | 1581 242248 1066319 | 80749 3565 91 | 0.000 % |
6.17/6.29 c | 3666 | 1581 242248 1066319 | 80749 3666 92 | 0.000 % |
6.27/6.33 c | 3776 | 1581 242248 1066319 | 80749 3776 92 | 0.000 % |
6.27/6.38 c | 3898 | 1581 242248 1066319 | 80749 3898 92 | 0.000 % |
6.37/6.44 c | 4031 | 1581 242248 1066319 | 80749 4031 92 | 0.000 % |
6.47/6.50 c | 4178 | 1581 242248 1066319 | 80749 4178 93 | 0.000 % |
6.47/6.59 c | 4344 | 1581 242248 1066319 | 80749 4344 93 | 0.000 % |
6.57/6.68 c | 4522 | 1581 242248 1066319 | 80749 4522 93 | 0.000 % |
6.67/6.76 c | 4717 | 1581 242248 1066319 | 80749 4717 94 | 0.000 % |
6.67/6.79 c | 4817 | 1581 242248 1066319 | 80749 4817 94 | 0.000 % |
6.78/6.82 c | 4927 | 1581 242248 1066319 | 80749 4927 94 | 0.000 % |
6.78/6.88 c | 5049 | 1581 242248 1066319 | 80749 5049 94 | 0.000 % |
6.88/6.94 c | 5184 | 1581 242248 1066319 | 80749 5184 94 | 0.000 % |
6.98/7.01 c | 5331 | 1581 242248 1066319 | 80749 5331 94 | 0.000 % |
6.98/7.09 c | 5493 | 1581 242248 1066319 | 80749 5493 95 | 0.000 % |
7.08/7.16 c | 5669 | 1581 242248 1066319 | 80749 5669 95 | 0.000 % |
7.18/7.26 c | 5864 | 1581 242248 1066319 | 80749 5864 95 | 0.000 % |
7.28/7.38 c | 6077 | 1581 242248 1066319 | 80749 6077 95 | 0.000 % |
7.38/7.44 c | 6178 | 1581 242248 1066319 | 80749 6178 95 | 0.000 % |
7.38/7.49 c | 6290 | 1581 242248 1066319 | 80749 6290 95 | 0.000 % |
7.48/7.53 c | 6412 | 1581 242248 1066319 | 80749 6412 95 | 0.000 % |
7.48/7.59 c | 6545 | 1581 242248 1066319 | 80749 6545 95 | 0.000 % |
7.58/7.68 c | 6692 | 1581 242248 1066319 | 80749 6692 95 | 0.000 % |
7.68/7.77 c | 6853 | 1581 242248 1066319 | 80749 6853 95 | 0.000 % |
7.78/7.85 c | 7030 | 1581 242248 1066319 | 80749 7030 95 | 0.000 % |
7.87/7.94 c | 7224 | 1581 242248 1066319 | 80749 7224 95 | 0.000 % |
7.97/8.03 c | 7436 | 1581 242248 1066319 | 80749 7436 95 | 0.000 % |
8.08/8.13 c | 7669 | 1581 242248 1066319 | 80749 7669 95 | 0.000 % |
8.08/8.16 c | 7769 | 1581 242248 1066319 | 80749 7769 95 | 0.000 % |
8.17/8.21 c | 7881 | 1581 242248 1066319 | 80749 7881 95 | 0.000 % |
8.17/8.27 c | 8003 | 1581 242248 1066319 | 80749 8003 95 | 0.000 % |
8.27/8.34 c | 8137 | 1581 242248 1066319 | 80749 8137 95 | 0.000 % |
8.37/8.44 c | 8285 | 1581 242248 1066319 | 80749 8285 95 | 0.000 % |
8.47/8.55 c | 8446 | 1581 242248 1066319 | 80749 8446 95 | 0.000 % |
8.57/8.64 c | 8622 | 1581 242248 1066319 | 80749 8622 95 | 0.000 % |
8.68/8.80 c | 8818 | 1581 242248 1066319 | 80749 8818 95 | 0.000 % |
8.87/8.96 c | 9030 | 1581 242248 1066319 | 80749 9030 95 | 0.000 % |
8.97/9.09 c | 9263 | 1581 242248 1066319 | 80749 9263 94 | 0.000 % |
9.27/9.35 c | 9520 | 1581 242248 1066319 | 80749 9520 94 | 0.000 % |
9.37/9.47 c | 9620 | 1581 242248 1066319 | 80749 9620 94 | 0.000 % |
9.47/9.58 c | 9730 | 1581 242248 1066319 | 80749 9730 94 | 0.000 % |
9.67/9.78 c | 9851 | 1581 242248 1066319 | 80749 9851 93 | 0.000 % |
9.97/10.03 c | 9984 | 1581 242248 1066319 | 80749 9984 93 | 0.000 % |
10.07/10.19 c | 10130 | 1581 242248 1066319 | 2147483647 10130 93 | 0.000 % |
10.17/10.27 c | 10290 | 1581 242248 1066319 | 2147483647 10290 92 | 0.000 % |
10.27/10.35 c | 10466 | 1581 242248 1066319 | 2147483647 10466 92 | 0.000 % |
10.37/10.44 c | 10660 | 1581 242248 1066319 | 2147483647 10660 91 | 0.000 % |
10.47/10.52 c | 10872 | 1581 242248 1066319 | 2147483647 10872 91 | 0.000 % |
10.57/10.61 c | 11105 | 1581 242248 1066319 | 2147483647 11105 90 | 0.000 % |
10.67/10.71 c | 11361 | 1581 242248 1066319 | 2147483647 11361 89 | 0.000 % |
10.77/10.81 c | 11645 | 1581 242248 1066319 | 2147483647 11645 88 | 0.000 % |
10.77/10.84 c | 11745 | 1581 242248 1066319 | 2147483647 11745 88 | 0.000 % |
10.77/10.88 c | 11855 | 1581 242248 1066319 | 2147483647 11855 88 | 0.000 % |
10.87/10.93 c | 11977 | 1581 242248 1066319 | 2147483647 11977 88 | 0.000 % |
10.97/11.09 c | 12112 | 1581 242248 1066319 | 2147483647 12112 87 | 0.000 % |
11.27/11.32 c | 12259 | 1581 242248 1066319 | 2147483647 12259 87 | 0.000 % |
11.57/11.62 c | 12424 | 1581 242248 1066319 | 2147483647 12424 87 | 0.000 % |
11.77/11.88 c | 12600 | 1581 242248 1066319 | 2147483647 12600 87 | 0.000 % |
12.17/12.22 c | 12795 | 1581 242248 1066319 | 2147483647 12795 87 | 0.000 % |
12.27/12.38 c | 13007 | 1581 242248 1066319 | 2147483647 13007 87 | 0.000 % |
12.67/12.72 c | 13240 | 1581 242248 1066319 | 2147483647 13240 87 | 0.000 % |
12.97/13.02 c | 13496 | 1581 242248 1066319 | 2147483647 13496 87 | 0.000 % |
13.37/13.45 c | 13777 | 1581 242248 1066319 | 2147483647 13777 87 | 0.000 % |
13.67/13.79 c | 14086 | 1581 242248 1066319 | 2147483647 14086 87 | 0.000 % |
13.77/13.89 c | 14186 | 1581 242248 1066319 | 2147483647 14186 87 | 0.000 % |
13.97/14.04 c | 14296 | 1581 242248 1066319 | 2147483647 14296 87 | 0.000 % |
14.07/14.18 c | 14419 | 1581 242248 1066319 | 2147483647 14419 86 | 0.000 % |
14.27/14.31 c | 14553 | 1581 242248 1066319 | 2147483647 14553 86 | 0.000 % |
14.36/14.42 c | 14700 | 1581 242248 1066319 | 2147483647 14700 86 | 0.000 % |
14.46/14.57 c | 14860 | 1581 242248 1066319 | 2147483647 14860 86 | 0.000 % |
14.66/14.79 c | 15036 | 1581 242248 1066319 | 2147483647 15036 86 | 0.000 % |
14.96/15.04 c | 15229 | 1581 242248 1066319 | 2147483647 15229 86 | 0.000 % |
15.27/15.32 c | 15441 | 1581 242248 1066319 | 2147483647 15441 85 | 0.000 % |
15.47/15.57 c | 15675 | 1581 242248 1066319 | 2147483647 15675 85 | 0.000 % |
15.77/15.82 c | 15931 | 1581 242248 1066319 | 2147483647 15931 85 | 0.000 % |
16.07/16.13 c | 16213 | 1581 242248 1066319 | 2147483647 16213 84 | 0.000 % |
16.38/16.47 c | 16522 | 1581 242248 1066319 | 2147483647 16522 84 | 0.000 % |
16.87/16.95 c | 16861 | 1581 242248 1066319 | 2147483647 16861 84 | 0.000 % |
16.97/17.09 c | 16962 | 1581 242248 1066319 | 2147483647 16962 84 | 0.000 % |
17.17/17.27 c | 17074 | 1581 242248 1066319 | 2147483647 17074 84 | 0.000 % |
17.37/17.44 c | 17196 | 1581 242248 1066319 | 2147483647 17196 84 | 0.000 % |
17.48/17.59 c | 17330 | 1581 242248 1066319 | 2147483647 17330 84 | 0.000 % |
17.67/17.76 c | 17477 | 1581 242248 1066319 | 2147483647 17477 83 | 0.000 % |
17.87/17.96 c | 17637 | 1581 242248 1066319 | 2147483647 17637 83 | 0.000 % |
18.07/18.13 c | 17814 | 1581 242248 1066319 | 2147483647 17814 82 | 0.000 % |
18.27/18.33 c | 18008 | 1581 242248 1066319 | 2147483647 18008 82 | 0.001 % |
18.67/18.78 c | 18220 | 1581 242248 1066319 | 2147483647 18220 82 | 0.000 % |
18.97/19.09 c | 18453 | 1581 242248 1066319 | 2147483647 18453 82 | 0.000 % |
19.37/19.45 c | 18709 | 1581 242248 1066319 | 2147483647 18709 82 | 0.000 % |
19.67/19.74 c | 18991 | 1581 242248 1066319 | 2147483647 18991 82 | 0.000 % |
19.97/20.07 c | 19301 | 1581 242248 1066319 | 2147483647 19301 81 | 0.000 % |
20.37/20.43 c | 19640 | 1581 242248 1066319 | 2147483647 19640 81 | 0.000 % |
20.67/20.73 c | 20014 | 1581 242248 1066319 | 2147483647 20014 81 | 0.000 % |
20.77/20.88 c | 20117 | 1581 242248 1066319 | 2147483647 20117 81 | 0.000 % |
20.97/21.00 c | 20227 | 1581 242248 1066319 | 2147483647 20227 81 | 0.000 % |
21.07/21.14 c | 20348 | 1581 242248 1066319 | 2147483647 20348 81 | 0.000 % |
21.17/21.29 c | 20482 | 1581 242248 1066319 | 2147483647 20482 81 | 0.000 % |
21.37/21.46 c | 20628 | 1581 242248 1066319 | 2147483647 20628 81 | 0.000 % |
21.57/21.69 c | 20792 | 1581 242248 1066319 | 2147483647 20792 81 | 0.000 % |
21.87/21.95 c | 20969 | 1581 242248 1066319 | 2147483647 20969 81 | 0.000 % |
22.07/22.13 c | 21165 | 1581 242248 1066319 | 2147483647 21165 81 | 0.000 % |
22.26/22.33 c | 21380 | 1581 242248 1066319 | 2147483647 21380 81 | 0.000 % |
22.46/22.57 c | 21614 | 1581 242248 1066319 | 2147483647 21614 81 | 0.000 % |
22.86/22.90 c | 21872 | 1581 242248 1066319 | 2147483647 21872 81 | 0.000 % |
23.26/23.33 c | 22153 | 1581 242248 1066319 | 2147483647 22153 81 | 0.000 % |
23.66/23.75 c | 22462 | 1581 242248 1066319 | 2147483647 22462 81 | 0.000 % |
24.17/24.26 c | 22804 | 1581 242248 1066319 | 2147483647 22804 81 | 0.000 % |
24.86/24.92 c | 23179 | 1581 242248 1066319 | 2147483647 23179 80 | 0.000 % |
25.57/25.69 c | 23590 | 1581 242248 1066319 | 2147483647 23590 80 | 0.000 % |
25.77/25.86 c | 23692 | 1581 242248 1066319 | 2147483647 23692 80 | 0.000 % |
25.97/26.01 c | 23804 | 1581 242248 1066319 | 2147483647 23804 80 | 0.000 % |
26.07/26.17 c | 23927 | 1581 242248 1066319 | 2147483647 23927 80 | 0.000 % |
26.17/26.29 c | 24062 | 1581 242248 1066319 | 2147483647 24062 80 | 0.000 % |
26.47/26.53 c | 24209 | 1581 242248 1066319 | 2147483647 24209 80 | 0.000 % |
26.67/26.71 c | 24370 | 1581 242248 1066319 | 2147483647 24370 80 | 0.000 % |
26.87/26.97 c | 24546 | 1581 242248 1066319 | 2147483647 24546 80 | 0.000 % |
27.17/27.20 c | 24739 | 1581 242248 1066319 | 2147483647 24739 80 | 0.000 % |
27.37/27.48 c | 24951 | 1581 242248 1066319 | 2147483647 24951 80 | 0.000 % |
27.67/27.76 c | 25184 | 1581 242248 1066319 | 2147483647 25184 80 | 0.000 % |
27.97/28.08 c | 25441 | 1581 242248 1066319 | 2147483647 25441 80 | 0.000 % |
28.47/28.55 c | 25723 | 1581 242248 1066319 | 2147483647 25723 80 | 0.000 % |
29.07/29.19 c | 26033 | 1581 242248 1066319 | 2147483647 26033 80 | 0.000 % |
29.47/29.59 c | 26374 | 1581 242248 1066319 | 2147483647 26374 80 | 0.000 % |
30.16/30.22 c | 26748 | 1581 242248 1066319 | 2147483647 26748 80 | 0.000 % |
30.46/30.58 c | 27157 | 1581 242248 1066319 | 2147483647 27157 80 | 0.000 % |
30.86/30.99 c | 27606 | 1581 242248 1066319 | 2147483647 27606 80 | 0.000 % |
30.96/31.05 c | 27707 | 1581 242248 1066319 | 2147483647 27707 80 | 0.000 % |
31.06/31.12 c | 27819 | 1581 242248 1066319 | 2147483647 27819 80 | 0.000 % |
31.16/31.28 c | 27940 | 1581 242248 1066319 | 2147483647 27940 80 | 0.000 % |
31.36/31.40 c | 28075 | 1581 242248 1066319 | 2147483647 28075 80 | 0.000 % |
31.56/31.60 c | 28222 | 1581 242248 1066319 | 2147483647 28222 80 | 0.000 % |
31.77/31.83 c | 28382 | 1581 242248 1066319 | 2147483647 28382 80 | 0.000 % |
31.96/32.05 c | 28558 | 1581 242248 1066319 | 2147483647 28558 80 | 0.000 % |
32.26/32.35 c | 28753 | 1581 242248 1066319 | 2147483647 28753 80 | 0.000 % |
32.56/32.65 c | 28966 | 1581 242248 1066319 | 2147483647 28966 80 | 0.000 % |
32.76/32.85 c | 29199 | 1581 242248 1066319 | 2147483647 29199 80 | 0.000 % |
33.06/33.17 c | 29456 | 1581 242248 1066319 | 2147483647 29456 80 | 0.000 % |
33.56/33.62 c | 29738 | 1581 242248 1066319 | 2147483647 29738 80 | 0.000 % |
34.16/34.23 c | 30051 | 1581 242248 1066319 | 2147483647 30051 80 | 0.000 % |
34.76/34.82 c | 30391 | 1581 242248 1066319 | 2147483647 30391 80 | 0.000 % |
35.35/35.41 c | 30763 | 1581 242248 1066319 | 2147483647 30763 79 | 0.000 % |
35.95/36.04 c | 31173 | 1581 242248 1066319 | 2147483647 31173 79 | 0.000 % |
36.75/36.81 c | 31623 | 1581 242248 1066319 | 2147483647 31623 79 | 0.000 % |
37.15/37.23 c | 32116 | 1581 242248 1066319 | 2147483647 32116 79 | 0.000 % |
37.15/37.29 c | 32218 | 1581 242248 1066319 | 2147483647 32218 79 | 0.000 % |
37.35/37.42 c | 32328 | 1581 242248 1066319 | 2147483647 32328 79 | 0.000 % |
37.55/37.64 c | 32453 | 1581 242248 1066319 | 2147483647 32453 79 | 0.000 % |
37.75/37.84 c | 32586 | 1581 242248 1066319 | 2147483647 32586 79 | 0.000 % |
37.95/38.03 c | 32732 | 1581 242248 1066319 | 2147483647 32732 79 | 0.000 % |
38.15/38.25 c | 32892 | 1581 242248 1066319 | 2147483647 32892 79 | 0.000 % |
38.35/38.42 c | 33068 | 1581 242248 1066319 | 2147483647 33068 79 | 0.000 % |
38.65/38.78 c | 33261 | 1581 242248 1066319 | 2147483647 33261 79 | 0.000 % |
39.05/39.12 c | 33475 | 1581 242248 1066319 | 2147483647 33475 79 | 0.000 % |
39.25/39.39 c | 33709 | 1581 242248 1066319 | 2147483647 33709 79 | 0.000 % |
39.85/39.94 c | 33966 | 1581 242248 1066319 | 2147483647 33966 79 | 0.000 % |
40.35/40.43 c | 34247 | 1581 242248 1066319 | 2147483647 34247 79 | 0.000 % |
40.85/40.97 c | 34557 | 1581 242248 1066319 | 2147483647 34557 79 | 0.000 % |
41.15/41.29 c | 34899 | 1581 242248 1066319 | 2147483647 34899 79 | 0.000 % |
41.85/41.92 c | 35271 | 1581 242248 1066319 | 2147483647 35271 79 | 0.000 % |
42.35/42.44 c | 35682 | 1581 242248 1066319 | 2147483647 35682 79 | 0.000 % |
42.85/42.93 c | 36136 | 1581 242248 1066319 | 2147483647 36136 80 | 0.000 % |
43.25/43.36 c | 36629 | 1581 242248 1066319 | 2147483647 36629 80 | 0.000 % |
43.55/43.68 c | 37171 | 1581 242248 1066319 | 2147483647 37171 80 | 0.000 % |
43.65/43.76 c | 37271 | 1581 242248 1066319 | 2147483647 37271 80 | 0.000 % |
43.75/43.85 c | 37382 | 1581 242248 1066319 | 2147483647 37382 80 | 0.000 % |
43.85/43.93 c | 37505 | 1581 242248 1066319 | 2147483647 37505 80 | 0.000 % |
44.05/44.16 c | 37638 | 1581 242248 1066319 | 2147483647 37638 80 | 0.000 % |
44.35/44.43 c | 37786 | 1581 242248 1066319 | 2147483647 37786 80 | 0.000 % |
44.65/44.74 c | 37949 | 1581 242248 1066319 | 2147483647 37949 80 | 0.000 % |
44.96/45.07 c | 38127 | 1581 242248 1066319 | 2147483647 38127 79 | 0.000 % |
45.35/45.45 c | 38320 | 1581 242248 1066319 | 2147483647 38320 79 | 0.000 % |
45.75/45.82 c | 38533 | 1581 242248 1066319 | 2147483647 38533 79 | 0.000 % |
46.25/46.35 c | 38767 | 1581 242248 1066319 | 2147483647 38767 79 | 0.000 % |
46.85/46.92 c | 39025 | 1581 242248 1066319 | 2147483647 39025 79 | 0.000 % |
47.35/47.41 c | 39306 | 1581 242248 1066319 | 2147483647 39306 79 | 0.000 % |
47.75/47.84 c | 39617 | 1581 242248 1066319 | 2147483647 39617 79 | 0.000 % |
48.15/48.26 c | 39959 | 1581 242248 1066319 | 2147483647 39959 79 | 0.000 % |
48.75/48.89 c | 40331 | 1581 242248 1066319 | 2147483647 40331 79 | 0.000 % |
49.55/49.67 c | 40740 | 1581 242248 1066319 | 2147483647 40740 79 | 0.000 % |
50.45/50.53 c | 41190 | 1581 242248 1066319 | 2147483647 41190 79 | 0.000 % |
51.35/51.45 c | 41683 | 1581 242248 1066319 | 2147483647 41683 78 | 0.000 % |
52.35/52.42 c | 42228 | 1581 242248 1066319 | 2147483647 42228 78 | 0.000 % |
53.45/53.57 c | 42824 | 1581 242248 1066319 | 2147483647 42824 77 | 0.000 % |
53.65/53.79 c | 42924 | 1581 242248 1066319 | 2147483647 42924 77 | 0.000 % |
53.95/54.02 c | 43035 | 1581 242248 1066319 | 2147483647 43035 77 | 0.000 % |
54.25/54.30 c | 43157 | 1581 242248 1066319 | 2147483647 43157 77 | 0.000 % |
54.35/54.49 c | 43292 | 1581 242248 1066319 | 2147483647 43292 77 | 0.000 % |
54.65/54.77 c | 43439 | 1581 242248 1066319 | 2147483647 43439 77 | 0.000 % |
54.85/54.95 c | 43600 | 1581 242248 1066319 | 2147483647 43600 77 | 0.000 % |
55.05/55.15 c | 43777 | 1581 242248 1066319 | 2147483647 43777 77 | 0.000 % |
55.35/55.46 c | 43970 | 1581 242248 1066319 | 2147483647 43970 77 | 0.000 % |
55.75/55.89 c | 44183 | 1581 242248 1066319 | 2147483647 44183 77 | 0.000 % |
56.25/56.36 c | 44418 | 1581 242248 1066319 | 2147483647 44418 77 | 0.000 % |
56.75/56.83 c | 44675 | 1581 242248 1066319 | 2147483647 44675 77 | 0.000 % |
57.35/57.40 c | 44956 | 1581 242248 1066319 | 2147483647 44956 76 | 0.000 % |
57.95/58.00 c | 45267 | 1581 242248 1066319 | 2147483647 45267 76 | 0.000 % |
58.54/58.61 c | 45607 | 1581 242248 1066319 | 2147483647 45607 76 | 0.000 % |
59.04/59.15 c | 45979 | 1581 242248 1066319 | 2147483647 45979 76 | 0.000 % |
59.54/59.70 c | 46389 | 1581 242248 1066319 | 2147483647 46389 76 | 0.000 % |
60.15/60.22 c | 46839 | 1581 242248 1066319 | 2147483647 46839 76 | 0.000 % |
60.54/60.64 c | 47333 | 1581 242248 1066319 | 2147483647 47333 76 | 0.000 % |
61.14/61.28 c | 47877 | 1581 242248 1066319 | 2147483647 47877 76 | 0.000 % |
62.14/62.25 c | 48475 | 1581 242248 1066319 | 2147483647 48475 76 | 0.000 % |
63.24/63.30 c | 49132 | 1581 242248 1066319 | 2147483647 49132 76 | 0.000 % |
63.34/63.45 c | 49232 | 1581 242248 1066319 | 2147483647 49232 76 | 0.000 % |
63.54/63.68 c | 49345 | 1581 242248 1066319 | 2147483647 49345 76 | 0.000 % |
63.75/63.89 c | 49467 | 1581 242248 1066319 | 2147483647 49467 76 | 0.000 % |
64.05/64.11 c | 49603 | 1581 242248 1066319 | 2147483647 49603 76 | 0.000 % |
64.25/64.35 c | 49751 | 1581 242248 1066319 | 2147483647 49751 76 | 0.000 % |
64.45/64.55 c | 49913 | 1581 242248 1066319 | 2147483647 49913 76 | 0.000 % |
64.75/64.89 c | 50089 | 1581 242248 1066319 | 2147483647 50089 76 | 0.000 % |
65.15/65.24 c | 50282 | 1581 242248 1066319 | 2147483647 50282 76 | 0.000 % |
65.45/65.57 c | 50499 | 1581 242248 1066319 | 2147483647 50499 76 | 0.000 % |
65.85/66.00 c | 50734 | 1581 242248 1066319 | 2147483647 50734 76 | 0.000 % |
66.35/66.40 c | 50990 | 1581 242248 1066319 | 2147483647 50990 76 | 0.000 % |
66.84/66.91 c | 51272 | 1581 242248 1066319 | 2147483647 51272 76 | 0.000 % |
67.54/67.60 c | 51581 | 1581 242248 1066319 | 2147483647 51581 76 | 0.000 % |
68.24/68.34 c | 51921 | 1581 242248 1066319 | 2147483647 51921 76 | 0.000 % |
68.84/68.95 c | 52293 | 1581 242248 1066319 | 2147483647 52293 76 | 0.000 % |
69.64/69.79 c | 52702 | 1581 242248 1066319 | 2147483647 52702 76 | 0.000 % |
70.74/70.82 c | 53153 | 1581 242248 1066319 | 2147483647 53153 75 | 0.000 % |
71.64/71.73 c | 53646 | 1581 242248 1066319 | 2147483647 53646 75 | 0.000 % |
72.64/72.77 c | 54190 | 1581 242248 1066319 | 2147483647 54190 75 | 0.000 % |
73.64/73.72 c | 54786 | 1581 242248 1066319 | 2147483647 54786 74 | 0.000 % |
74.84/74.94 c | 55442 | 1581 242248 1066319 | 2147483647 55442 74 | 0.000 % |
76.05/76.18 c | 56163 | 1581 242248 1066319 | 2147483647 56163 73 | 0.001 % |
76.25/76.38 c | 56264 | 1581 242248 1066319 | 2147483647 56264 73 | 0.000 % |
76.45/76.55 c | 56374 | 1581 242248 1066319 | 2147483647 56374 73 | 0.000 % |
76.65/76.72 c | 56495 | 1581 242248 1066319 | 2147483647 56495 73 | 0.000 % |
76.85/76.98 c | 56631 | 1581 242248 1066319 | 2147483647 56631 73 | 0.000 % |
77.14/77.25 c | 56779 | 1581 242248 1066319 | 2147483647 56779 73 | 0.000 % |
77.34/77.46 c | 56940 | 1581 242248 1066319 | 2147483647 56940 73 | 0.000 % |
77.54/77.69 c | 57116 | 1581 242248 1066319 | 2147483647 57116 73 | 0.000 % |
77.84/77.97 c | 57310 | 1581 242248 1066319 | 2147483647 57310 73 | 0.000 % |
78.14/78.22 c | 57522 | 1581 242248 1066319 | 2147483647 57522 72 | 0.000 % |
78.54/78.69 c | 57756 | 1581 242248 1066319 | 2147483647 57756 73 | 0.000 % |
79.05/79.17 c | 58013 | 1581 242248 1066319 | 2147483647 58013 73 | 0.000 % |
79.64/79.71 c | 58296 | 1581 242248 1066319 | 2147483647 58296 73 | 0.000 % |
80.04/80.17 c | 58609 | 1581 242248 1066319 | 2147483647 58609 73 | 0.000 % |
80.64/80.76 c | 58949 | 1581 242248 1066319 | 2147483647 58949 73 | 0.000 % |
81.14/81.27 c | 59322 | 1581 242248 1066319 | 2147483647 59322 73 | 0.000 % |
81.64/81.73 c | 59732 | 1581 242248 1066319 | 2147483647 59732 73 | 0.000 % |
82.45/82.55 c | 60181 | 1581 242248 1066319 | 2147483647 60181 73 | 0.000 % |
83.34/83.47 c | 60678 | 1581 242248 1066319 | 2147483647 60678 73 | 0.000 % |
84.24/84.31 c | 61222 | 1581 242248 1066319 | 2147483647 61222 73 | 0.000 % |
84.74/84.84 c | 61819 | 1581 242248 1066319 | 2147483647 61819 73 | 0.000 % |
85.44/85.55 c | 62476 | 1581 242248 1066319 | 2147483647 62476 72 | 0.000 % |
86.34/86.42 c | 63198 | 1581 242248 1066319 | 2147483647 63198 73 | 0.000 % |
87.64/87.70 c | 63991 | 1581 242248 1066319 | 2147483647 63991 73 | 0.000 % |
87.74/87.85 c | 64091 | 1581 242248 1066319 | 2147483647 64091 73 | 0.000 % |
87.94/88.06 c | 64201 | 1581 242248 1066319 | 2147483647 64201 73 | 0.000 % |
88.04/88.16 c | 64323 | 1581 242248 1066319 | 2147483647 64323 73 | 0.000 % |
88.34/88.41 c | 64457 | 1581 242248 1066319 | 2147483647 64457 73 | 0.000 % |
88.54/88.63 c | 64604 | 1581 242248 1066319 | 2147483647 64604 73 | 0.000 % |
88.74/88.87 c | 64765 | 1581 242248 1066319 | 2147483647 64765 73 | 0.000 % |
88.94/89.03 c | 64943 | 1581 242248 1066319 | 2147483647 64943 73 | 0.000 % |
89.13/89.23 c | 65137 | 1581 242248 1066319 | 2147483647 65137 73 | 0.000 % |
89.33/89.48 c | 65351 | 1581 242248 1066319 | 2147483647 65351 73 | 0.000 % |
89.63/89.71 c | 65584 | 1581 242248 1066319 | 2147483647 65584 73 | 0.000 % |
90.04/90.12 c | 65840 | 1581 242248 1066319 | 2147483647 65840 73 | 0.000 % |
90.34/90.40 c | 66122 | 1581 242248 1066319 | 2147483647 66122 73 | 0.000 % |
90.64/90.73 c | 66431 | 1581 242248 1066319 | 2147483647 66431 73 | 0.000 % |
90.84/90.93 c | 66770 | 1581 242248 1066319 | 2147483647 66770 73 | 0.000 % |
91.25/91.35 c | 67142 | 1581 242248 1066319 | 2147483647 67142 73 | 0.000 % |
91.64/91.75 c | 67552 | 1581 242248 1066319 | 2147483647 67552 73 | 0.000 % |
92.04/92.12 c | 68001 | 1581 242248 1066319 | 2147483647 68001 73 | 0.000 % |
92.54/92.61 c | 68494 | 1581 242248 1066319 | 2147483647 68494 73 | 0.000 % |
93.04/93.13 c | 69036 | 1581 242248 1066319 | 2147483647 69036 74 | 0.000 % |
93.64/93.78 c | 69633 | 1581 242248 1066319 | 2147483647 69633 74 | 0.000 % |
94.24/94.36 c | 70290 | 1581 242248 1066319 | 2147483647 70290 74 | 0.000 % |
94.74/94.85 c | 71012 | 1581 242248 1066319 | 2147483647 71012 74 | 0.000 % |
95.23/95.34 c | 71804 | 1581 242248 1066319 | 2147483647 71804 74 | 0.000 % |
95.83/95.92 c | 72675 | 1581 242248 1066319 | 2147483647 72675 74 | 0.000 % |
95.93/96.02 c | 72775 | 1581 242248 1066319 | 2147483647 72775 74 | 0.000 % |
96.03/96.12 c | 72885 | 1581 242248 1066319 | 2147483647 72885 74 | 0.000 % |
96.13/96.21 c | 73006 | 1581 242248 1066319 | 2147483647 73006 74 | 0.000 % |
96.23/96.34 c | 73141 | 1581 242248 1066319 | 2147483647 73141 74 | 0.000 % |
96.33/96.46 c | 73287 | 1581 242248 1066319 | 2147483647 73287 74 | 0.000 % |
96.43/96.57 c | 73450 | 1581 242248 1066319 | 2147483647 73450 74 | 0.000 % |
96.64/96.72 c | 73626 | 1581 242248 1066319 | 2147483647 73626 74 | 0.000 % |
96.83/96.93 c | 73819 | 1581 242248 1066319 | 2147483647 73819 74 | 0.000 % |
97.13/97.27 c | 74034 | 1581 242248 1066319 | 2147483647 74034 74 | 0.000 % |
97.43/97.51 c | 74268 | 1581 242248 1066319 | 2147483647 74268 74 | 0.000 % |
97.74/97.81 c | 74526 | 1581 242248 1066319 | 2147483647 74526 74 | 0.000 % |
98.03/98.13 c | 74808 | 1581 242248 1066319 | 2147483647 74808 74 | 0.000 % |
98.44/98.50 c | 75117 | 1581 242248 1066319 | 2147483647 75117 75 | 0.000 % |
98.84/98.92 c | 75456 | 1581 242248 1066319 | 2147483647 75456 75 | 0.000 % |
99.24/99.38 c | 75828 | 1581 242248 1066319 | 2147483647 75828 75 | 0.000 % |
99.74/99.81 c | 76238 | 1581 242248 1066319 | 2147483647 76238 75 | 0.000 % |
100.14/100.26 c | 76688 | 1581 242248 1066319 | 2147483647 76688 75 | 0.000 % |
100.64/100.75 c | 77183 | 1581 242248 1066319 | 2147483647 77183 75 | 0.000 % |
101.14/101.23 c | 77725 | 1581 242248 1066319 | 2147483647 77725 75 | 0.000 % |
102.24/102.31 c | 78321 | 1581 242248 1066319 | 2147483647 78321 75 | 0.000 % |
103.24/103.36 c | 78977 | 1581 242248 1066319 | 2147483647 78977 75 | 0.000 % |
104.03/104.12 c | 79700 | 1581 242248 1066319 | 2147483647 79700 75 | 0.000 % |
104.93/105.01 c | 80492 | 1581 242248 1066319 | 2147483647 80492 75 | 0.000 % |
106.43/106.52 c | 81364 | 1581 242248 1066319 | 2147483647 81364 76 | 0.000 % |
107.54/107.68 c | 82322 | 1581 242248 1066319 | 2147483647 82322 76 | 0.000 % |
107.74/107.85 c | 82424 | 1581 242248 1066319 | 2147483647 82424 76 | 0.000 % |
108.04/108.11 c | 82536 | 1581 242248 1066319 | 2147483647 82536 76 | 0.000 % |
108.24/108.33 c | 82657 | 1581 242248 1066319 | 2147483647 82657 76 | 0.000 % |
108.44/108.52 c | 82790 | 1581 242248 1066319 | 2147483647 82790 76 | 0.000 % |
108.74/108.88 c | 82936 | 1581 242248 1066319 | 2147483647 82936 76 | 0.000 % |
109.14/109.22 c | 83097 | 1581 242248 1066319 | 2147483647 83097 76 | 0.000 % |
109.44/109.57 c | 83275 | 1581 242248 1066319 | 2147483647 83275 76 | 0.000 % |
109.74/109.90 c | 83469 | 1581 242248 1066319 | 2147483647 83469 76 | 0.000 % |
110.14/110.26 c | 83682 | 1581 242248 1066319 | 2147483647 83682 76 | 0.000 % |
110.54/110.64 c | 83917 | 1581 242248 1066319 | 2147483647 83917 76 | 0.000 % |
110.94/111.07 c | 84173 | 1581 242248 1066319 | 2147483647 84173 76 | 0.000 % |
111.34/111.48 c | 84455 | 1581 242248 1066319 | 2147483647 84455 76 | 0.000 % |
111.84/111.92 c | 84764 | 1581 242248 1066319 | 2147483647 84764 76 | 0.000 % |
112.44/112.56 c | 85104 | 1581 242248 1066319 | 2147483647 85104 76 | 0.000 % |
113.24/113.38 c | 85476 | 1581 242248 1066319 | 2147483647 85476 76 | 0.000 % |
113.84/113.95 c | 85886 | 1581 242248 1066319 | 2147483647 85886 76 | 0.000 % |
114.54/114.66 c | 86337 | 1581 242248 1066319 | 2147483647 86337 76 | 0.000 % |
115.54/115.61 c | 86834 | 1581 242248 1066319 | 2147483647 86834 76 | 0.000 % |
116.63/116.79 c | 87376 | 1581 242248 1066319 | 2147483647 87376 76 | 0.000 % |
117.43/117.58 c | 87972 | 1581 242248 1066319 | 2147483647 87972 76 | 0.000 % |
118.33/118.45 c | 88627 | 1581 242248 1066319 | 2147483647 88627 76 | 0.000 % |
119.63/119.70 c | 89350 | 1581 242248 1066319 | 2147483647 89350 76 | 0.000 % |
121.13/121.21 c | 90142 | 1581 242248 1066319 | 2147483647 90142 76 | 0.000 % |
122.23/122.35 c | 91013 | 1581 242248 1066319 | 2147483647 91013 76 | 0.000 % |
123.53/123.62 c | 91971 | 1581 242248 1066319 | 2147483647 91971 76 | 0.000 % |
125.63/125.79 c | 93024 | 1581 242248 1066319 | 2147483647 93024 76 | 0.000 % |
125.93/126.09 c | 93124 | 1581 242248 1066319 | 2147483647 93124 76 | 0.000 % |
126.23/126.32 c | 93236 | 1581 242248 1066319 | 2147483647 93236 76 | 0.000 % |
126.43/126.59 c | 93358 | 1581 242248 1066319 | 2147483647 93358 76 | 0.000 % |
126.73/126.86 c | 93495 | 1581 242248 1066319 | 2147483647 93495 76 | 0.000 % |
127.03/127.11 c | 93641 | 1581 242248 1066319 | 2147483647 93641 76 | 0.000 % |
127.33/127.42 c | 93801 | 1581 242248 1066319 | 2147483647 93801 76 | 0.000 % |
127.63/127.77 c | 93979 | 1581 242248 1066319 | 2147483647 93979 76 | 0.000 % |
128.13/128.24 c | 94173 | 1581 242248 1066319 | 2147483647 94173 76 | 0.000 % |
128.53/128.64 c | 94386 | 1581 242248 1066319 | 2147483647 94386 76 | 0.000 % |
129.03/129.11 c | 94619 | 1581 242248 1066319 | 2147483647 94619 76 | 0.000 % |
129.42/129.59 c | 94877 | 1581 242248 1066319 | 2147483647 94877 76 | 0.000 % |
129.63/129.79 c | 95158 | 1581 242248 1066319 | 2147483647 95158 76 | 0.000 % |
130.02/130.13 c | 95467 | 1581 242248 1066319 | 2147483647 95467 76 | 0.000 % |
130.33/130.46 c | 95807 | 1581 242248 1066319 | 2147483647 95807 76 | 0.000 % |
130.73/130.82 c | 96179 | 1581 242248 1066319 | 2147483647 96179 76 | 0.001 % |
131.03/131.16 c | 96588 | 1581 242248 1066319 | 2147483647 96588 76 | 0.000 % |
131.93/132.09 c | 97038 | 1581 242248 1066319 | 2147483647 97038 76 | 0.000 % |
132.83/132.96 c | 97533 | 1581 242248 1066319 | 2147483647 97533 76 | 0.000 % |
133.63/133.76 c | 98076 | 1581 242248 1066319 | 2147483647 98076 76 | 0.000 % |
134.73/134.82 c | 98673 | 1581 242248 1066319 | 2147483647 98673 77 | 0.000 % |
136.03/136.15 c | 99330 | 1581 242248 1066319 | 2147483647 99330 77 | 0.000 % |
137.53/137.61 c | 100050 | 1581 242248 1066319 | 2147483647 100050 77 | 0.000 % |
138.72/138.84 c | 100843 | 1581 242248 1066319 | 2147483647 100843 77 | 0.000 % |
140.42/140.53 c | 101714 | 1581 242248 1066319 | 2147483647 101714 77 | 0.000 % |
141.73/141.90 c | 102673 | 1581 242248 1066319 | 2147483647 102673 77 | 0.000 % |
143.12/143.22 c | 103726 | 1581 242248 1066319 | 2147483647 103726 77 | 0.000 % |
144.62/144.74 c | 104884 | 1581 242248 1066319 | 2147483647 104884 77 | 0.000 % |
144.72/144.88 c | 104984 | 1581 242248 1066319 | 2147483647 104984 77 | 0.000 % |
145.02/145.11 c | 105095 | 1581 242248 1066319 | 2147483647 105095 77 | 0.000 % |
145.32/145.41 c | 105222 | 1581 242248 1066319 | 2147483647 105222 77 | 0.000 % |
145.52/145.68 c | 105356 | 1581 242248 1066319 | 2147483647 105356 77 | 0.000 % |
145.82/145.93 c | 105503 | 1581 242248 1066319 | 2147483647 105503 77 | 0.000 % |
146.02/146.18 c | 105663 | 1581 242248 1066319 | 2147483647 105663 77 | 0.000 % |
146.42/146.60 c | 105839 | 1581 242248 1066319 | 2147483647 105839 77 | 0.000 % |
146.82/146.94 c | 106032 | 1581 242248 1066319 | 2147483647 106032 77 | 0.000 % |
147.32/147.43 c | 106245 | 1581 242248 1066319 | 2147483647 106245 77 | 0.000 % |
147.72/147.88 c | 106480 | 1581 242248 1066319 | 2147483647 106480 77 | 0.000 % |
148.13/148.28 c | 106736 | 1581 242248 1066319 | 2147483647 106736 77 | 0.000 % |
148.73/148.81 c | 107017 | 1581 242248 1066319 | 2147483647 107017 77 | 0.000 % |
149.23/149.39 c | 107328 | 1581 242248 1066319 | 2147483647 107328 77 | 0.000 % |
149.83/149.91 c | 107670 | 1581 242248 1066319 | 2147483647 107670 77 | 0.000 % |
150.42/150.55 c | 108043 | 1581 242248 1066319 | 2147483647 108043 77 | 0.000 % |
151.63/151.74 c | 108453 | 1581 242248 1066319 | 2147483647 108453 77 | 0.000 % |
152.42/152.55 c | 108902 | 1581 242248 1066319 | 2147483647 108902 77 | 0.000 % |
153.22/153.38 c | 109396 | 1581 242248 1066319 | 2147483647 109396 77 | 0.000 % |
154.22/154.33 c | 109938 | 1581 242248 1066319 | 2147483647 109938 77 | 0.000 % |
155.32/155.45 c | 110534 | 1581 242248 1066319 | 2147483647 110534 77 | 0.000 % |
156.72/156.87 c | 111189 | 1581 242248 1066319 | 2147483647 111189 77 | 0.000 % |
158.42/158.52 c | 111910 | 1581 242248 1066319 | 2147483647 111910 77 | 0.000 % |
160.32/160.48 c | 112703 | 1581 242248 1066319 | 2147483647 112703 77 | 0.000 % |
162.32/162.42 c | 113576 | 1581 242248 1066319 | 2147483647 113576 77 | 0.000 % |
164.62/164.72 c | 114536 | 1581 242248 1066319 | 2147483647 114536 77 | 0.000 % |
166.71/166.89 c | 115589 | 1581 242248 1066319 | 2147483647 115589 77 | 0.000 % |
169.42/169.51 c | 116749 | 1581 242248 1066319 | 2147483647 116749 77 | 0.000 % |
171.72/171.86 c | 118022 | 1581 242248 1066319 | 2147483647 118022 77 | 0.000 % |
171.92/172.08 c | 118122 | 1581 242248 1066319 | 2147483647 118122 77 | 0.000 % |
172.22/172.37 c | 118233 | 1581 242248 1066319 | 2147483647 118233 77 | 0.000 % |
172.52/172.65 c | 118354 | 1581 242248 1066319 | 2147483647 118354 77 | 0.000 % |
172.82/172.93 c | 118488 | 1581 242248 1066319 | 2147483647 118488 77 | 0.000 % |
173.22/173.37 c | 118635 | 1581 242248 1066319 | 2147483647 118635 77 | 0.000 % |
173.62/173.75 c | 118797 | 1581 242248 1066319 | 2147483647 118797 77 | 0.000 % |
174.02/174.19 c | 118974 | 1581 242248 1066319 | 2147483647 118974 77 | 0.000 % |
174.62/174.70 c | 119167 | 1581 242248 1066319 | 2147483647 119167 77 | 0.000 % |
175.12/175.29 c | 119380 | 1581 242248 1066319 | 2147483647 119380 77 | 0.000 % |
175.61/175.78 c | 119616 | 1581 242248 1066319 | 2147483647 119616 77 | 0.000 % |
176.31/176.40 c | 119872 | 1581 242248 1066319 | 2147483647 119872 77 | 0.000 % |
176.81/176.91 c | 120154 | 1581 242248 1066319 | 2147483647 120154 77 | 0.000 % |
177.31/177.45 c | 120464 | 1581 242248 1066319 | 2147483647 120464 77 | 0.000 % |
178.02/178.19 c | 120804 | 1581 242248 1066319 | 2147483647 120804 77 | 0.000 % |
178.71/178.84 c | 121176 | 1581 242248 1066319 | 2147483647 121176 77 | 0.000 % |
179.41/179.57 c | 121586 | 1581 242248 1066319 | 2147483647 121586 77 | 0.000 % |
180.61/180.77 c | 122037 | 1581 242248 1066319 | 2147483647 122037 77 | 0.000 % |
181.81/181.95 c | 122532 | 1581 242248 1066319 | 2147483647 122532 78 | 0.000 % |
182.92/183.03 c | 123076 | 1581 242248 1066319 | 2147483647 123076 78 | 0.000 % |
183.92/184.03 c | 123673 | 1581 242248 1066319 | 2147483647 123673 78 | 0.000 % |
184.72/184.82 c | 124328 | 1581 242248 1066319 | 2147483647 124328 78 | 0.000 % |
185.52/185.61 c | 125051 | 1581 242248 1066319 | 2147483647 125051 78 | 0.000 % |
186.51/186.67 c | 125843 | 1581 242248 1066319 | 2147483647 125843 78 | 0.000 % |
187.51/187.63 c | 126715 | 1581 242248 1066319 | 2147483647 126715 78 | 0.000 % |
188.61/188.70 c | 127673 | 1581 242248 1066319 | 2147483647 127673 78 | 0.000 % |
189.91/190.08 c | 128727 | 1581 242248 1066319 | 2147483647 128727 78 | 0.000 % |
191.31/191.42 c | 129887 | 1581 242248 1066319 | 2147483647 129887 78 | 0.000 % |
192.71/192.86 c | 131160 | 1581 242248 1066319 | 2147483647 131160 78 | 0.000 % |
194.51/194.60 c | 132561 | 1581 242248 1066319 | 2147483647 132561 78 | 0.000 % |
194.71/194.87 c | 132661 | 1581 242248 1066319 | 2147483647 132661 78 | 0.000 % |
195.01/195.13 c | 132772 | 1581 242248 1066319 | 2147483647 132772 78 | 0.000 % |
195.21/195.37 c | 132893 | 1581 242248 1066319 | 2147483647 132893 78 | 0.000 % |
195.50/195.64 c | 133027 | 1581 242248 1066319 | 2147483647 133027 78 | 0.000 % |
195.90/196.08 c | 133174 | 1581 242248 1066319 | 2147483647 133174 78 | 0.000 % |
196.10/196.28 c | 133334 | 1581 242248 1066319 | 2147483647 133334 78 | 0.000 % |
196.30/196.49 c | 133510 | 1581 242248 1066319 | 2147483647 133510 78 | 0.000 % |
196.71/196.86 c | 133704 | 1581 242248 1066319 | 2147483647 133704 78 | 0.000 % |
197.01/197.19 c | 133916 | 1581 242248 1066319 | 2147483647 133916 78 | 0.000 % |
197.41/197.55 c | 134150 | 1581 242248 1066319 | 2147483647 134150 78 | 0.000 % |
197.82/197.91 c | 134406 | 1581 242248 1066319 | 2147483647 134406 78 | 0.000 % |
198.31/198.44 c | 134689 | 1581 242248 1066319 | 2147483647 134689 78 | 0.000 % |
198.71/198.86 c | 134999 | 1581 242248 1066319 | 2147483647 134999 78 | 0.000 % |
199.21/199.36 c | 135338 | 1581 242248 1066319 | 2147483647 135338 78 | 0.000 % |
199.71/199.80 c | 135710 | 1581 242248 1066319 | 2147483647 135710 78 | 0.000 % |
200.21/200.30 c | 136120 | 1581 242248 1066319 | 2147483647 136120 78 | 0.000 % |
200.61/200.73 c | 136571 | 1581 242248 1066319 | 2147483647 136571 78 | 0.000 % |
201.11/201.26 c | 137064 | 1581 242248 1066319 | 2147483647 137064 78 | 0.000 % |
201.61/201.77 c | 137606 | 1581 242248 1066319 | 2147483647 137606 78 | 0.000 % |
202.11/202.30 c | 138202 | 1581 242248 1066319 | 2147483647 138202 78 | 0.000 % |
202.81/202.96 c | 138858 | 1581 242248 1066319 | 2147483647 138858 78 | 0.000 % |
203.60/203.72 c | 139579 | 1581 242248 1066319 | 2147483647 139579 78 | 0.000 % |
204.51/204.64 c | 140371 | 1581 242248 1066319 | 2147483647 140371 78 | 0.000 % |
205.51/205.63 c | 141243 | 1581 242248 1066319 | 2147483647 141243 78 | 0.000 % |
206.61/206.70 c | 142203 | 1581 242248 1066319 | 2147483647 142203 78 | 0.000 % |
208.01/208.18 c | 143258 | 1581 242248 1066319 | 2147483647 143258 78 | 0.000 % |
209.51/209.65 c | 144416 | 1581 242248 1066319 | 2147483647 144416 78 | 0.000 % |
211.51/211.68 c | 145689 | 1581 242248 1066319 | 2147483647 145689 78 | 0.000 % |
214.00/214.17 c | 147090 | 1581 242248 1066319 | 2147483647 147090 78 | 0.000 % |
217.10/217.28 c | 148631 | 1581 242248 1066319 | 2147483647 148631 78 | 0.000 % |
217.40/217.50 c | 148732 | 1581 242248 1066319 | 2147483647 148732 78 | 0.000 % |
217.60/217.75 c | 148844 | 1581 242248 1066319 | 2147483647 148844 78 | 0.000 % |
217.90/218.05 c | 148970 | 1581 242248 1066319 | 2147483647 148970 78 | 0.000 % |
218.20/218.33 c | 149103 | 1581 242248 1066319 | 2147483647 149103 78 | 0.000 % |
218.60/218.71 c | 149249 | 1581 242248 1066319 | 2147483647 149249 78 | 0.000 % |
219.00/219.12 c | 149410 | 1581 242248 1066319 | 2147483647 149410 78 | 0.000 % |
219.40/219.56 c | 149586 | 1581 242248 1066319 | 2147483647 149586 78 | 0.000 % |
219.90/220.05 c | 149780 | 1581 242248 1066319 | 2147483647 149780 78 | 0.000 % |
220.50/220.62 c | 149992 | 1581 242248 1066319 | 2147483647 149992 78 | 0.000 % |
221.10/221.23 c | 150227 | 1581 242248 1066319 | 2147483647 150227 78 | 0.000 % |
221.70/221.85 c | 150483 | 1581 242248 1066319 | 2147483647 150483 78 | 0.000 % |
222.40/222.59 c | 150764 | 1581 242248 1066319 | 2147483647 150764 78 | 0.000 % |
223.10/223.24 c | 151074 | 1581 242248 1066319 | 2147483647 151074 78 | 0.000 % |
224.00/224.12 c | 151415 | 1581 242248 1066319 | 2147483647 151415 78 | 0.000 % |
224.89/225.04 c | 151787 | 1581 242248 1066319 | 2147483647 151787 78 | 0.000 % |
226.09/226.26 c | 152198 | 1581 242248 1066319 | 2147483647 152198 78 | 0.000 % |
227.19/227.33 c | 152648 | 1581 242248 1066319 | 2147483647 152648 78 | 0.000 % |
228.39/228.52 c | 153143 | 1581 242248 1066319 | 2147483647 153143 78 | 0.000 % |
229.90/230.08 c | 153686 | 1581 242248 1066319 | 2147483647 153686 78 | 0.000 % |
231.40/231.55 c | 154285 | 1581 242248 1066319 | 2147483647 154285 78 | 0.000 % |
232.70/232.83 c | 154940 | 1581 242248 1066319 | 2147483647 154940 78 | 0.000 % |
234.40/234.56 c | 155663 | 1581 242248 1066319 | 2147483647 155663 79 | 0.000 % |
236.69/236.89 c | 156455 | 1581 242248 1066319 | 2147483647 156455 79 | 0.000 % |
239.60/239.79 c | 157327 | 1581 242248 1066319 | 2147483647 157327 79 | 0.000 % |
241.79/241.99 c | 158285 | 1581 242248 1066319 | 2147483647 158285 79 | 0.000 % |
244.39/244.59 c | 159338 | 1581 242248 1066319 | 2147483647 159338 79 | 0.000 % |
247.30/247.41 c | 160497 | 1581 242248 1066319 | 2147483647 160497 79 | 0.000 % |
250.29/250.46 c | 161771 | 1581 242248 1066319 | 2147483647 161771 79 | 0.000 % |
254.79/254.95 c | 163171 | 1581 242248 1066319 | 2147483647 163171 79 | 0.000 % |
258.48/258.65 c | 164711 | 1581 242248 1066319 | 2147483647 164711 79 | 0.000 % |
261.88/262.01 c | 166406 | 1581 242248 1066319 | 2147483647 166406 79 | 0.000 % |
262.08/262.28 c | 166506 | 1581 242248 1066319 | 2147483647 166506 79 | 0.000 % |
262.79/262.90 c | 166616 | 1581 242248 1066319 | 2147483647 166616 79 | 0.000 % |
263.09/263.24 c | 166739 | 1581 242248 1066319 | 2147483647 166739 79 | 0.000 % |
263.49/263.64 c | 166874 | 1581 242248 1066319 | 2147483647 166874 79 | 0.000 % |
263.89/264.02 c | 167020 | 1581 242248 1066319 | 2147483647 167020 79 | 0.000 % |
264.19/264.37 c | 167181 | 1581 242248 1066319 | 2147483647 167181 79 | 0.000 % |
264.59/264.75 c | 167357 | 1581 242248 1066319 | 2147483647 167357 79 | 0.000 % |
264.99/265.18 c | 167551 | 1581 242248 1066319 | 2147483647 167551 79 | 0.000 % |
265.49/265.64 c | 167763 | 1581 242248 1066319 | 2147483647 167763 79 | 0.000 % |
266.69/266.81 c | 167996 | 1581 242248 1066319 | 2147483647 167996 79 | 0.000 % |
267.58/267.72 c | 168252 | 1581 242248 1066319 | 2147483647 168252 79 | 0.000 % |
268.78/268.99 c | 168533 | 1581 242248 1066319 | 2147483647 168533 79 | 0.000 % |
269.98/270.13 c | 168842 | 1581 242248 1066319 | 2147483647 168842 79 | 0.001 % |
270.88/271.05 c | 169181 | 1581 242248 1066319 | 2147483647 169181 79 | 0.000 % |
272.28/272.41 c | 169555 | 1581 242248 1066319 | 2147483647 169555 79 | 0.000 % |
273.78/273.99 c | 169964 | 1581 242248 1066319 | 2147483647 169964 79 | 0.000 % |
275.38/275.59 c | 170414 | 1581 242248 1066319 | 2147483647 170414 79 | 0.000 % |
277.48/277.65 c | 170908 | 1581 242248 1066319 | 2147483647 170908 79 | 0.000 % |
279.58/279.76 c | 171450 | 1581 242248 1066319 | 2147483647 171450 79 | 0.000 % |
281.07/281.23 c | 172046 | 1581 242248 1066319 | 2147483647 172046 79 | 0.000 % |
283.37/283.57 c | 172702 | 1581 242248 1066319 | 2147483647 172702 79 | 0.000 % |
285.68/285.87 c | 173422 | 1581 242248 1066319 | 2147483647 173422 79 | 0.000 % |
287.99/288.17 c | 174214 | 1581 242248 1066319 | 2147483647 174214 79 | 0.000 % |
290.88/291.04 c | 175086 | 1581 242248 1066319 | 2147483647 175086 79 | 0.000 % |
293.58/293.75 c | 176044 | 1581 242248 1066319 | 2147483647 176044 79 | 0.000 % |
296.97/297.17 c | 177097 | 1581 242248 1066319 | 2147483647 177097 79 | 0.000 % |
302.17/302.37 c | 178255 | 1581 242248 1066319 | 2147483647 178255 79 | 0.000 % |
306.57/306.77 c | 179530 | 1581 242248 1066319 | 2147483647 179530 79 | 0.000 % |
311.67/311.85 c | 180930 | 1581 242248 1066319 | 2147483647 180930 79 | 0.000 % |
318.96/319.13 c | 182470 | 1581 242248 1066319 | 2147483647 182470 79 | 0.000 % |
326.97/327.13 c | 184166 | 1581 242248 1066319 | 2147483647 184166 79 | 0.000 % |
333.77/333.96 c | 186029 | 1581 242248 1066319 | 2147483647 186029 79 | 0.000 % |
334.37/334.55 c | 186131 | 1581 242248 1066319 | 2147483647 186131 79 | 0.000 % |
334.86/335.03 c | 186241 | 1581 242248 1066319 | 2147483647 186241 79 | 0.000 % |
335.06/335.28 c | 186363 | 1581 242248 1066319 | 2147483647 186363 79 | 0.000 % |
335.66/335.83 c | 186497 | 1581 242248 1066319 | 2147483647 186497 79 | 0.000 % |
336.37/336.53 c | 186644 | 1581 242248 1066319 | 2147483647 186644 79 | 0.000 % |
337.16/337.35 c | 186805 | 1581 242248 1066319 | 2147483647 186805 79 | 0.000 % |
338.06/338.24 c | 186981 | 1581 242248 1066319 | 2147483647 186981 79 | 0.000 % |
339.06/339.28 c | 187174 | 1581 242248 1066319 | 2147483647 187174 79 | 0.000 % |
339.96/340.13 c | 187389 | 1581 242248 1066319 | 2147483647 187389 79 | 0.000 % |
340.66/340.81 c | 187622 | 1581 242248 1066319 | 2147483647 187622 79 | 0.000 % |
341.56/341.74 c | 187881 | 1581 242248 1066319 | 2147483647 187881 79 | 0.000 % |
342.86/343.02 c | 188162 | 1581 242248 1066319 | 2147483647 188162 79 | 0.000 % |
344.46/344.60 c | 188471 | 1581 242248 1066319 | 2147483647 188471 79 | 0.000 % |
345.46/345.67 c | 188811 | 1581 242248 1066319 | 2147483647 188811 79 | 0.000 % |
347.26/347.48 c | 189183 | 1581 242248 1066319 | 2147483647 189183 79 | 0.000 % |
348.86/349.09 c | 189592 | 1581 242248 1066319 | 2147483647 189592 79 | 0.000 % |
351.66/351.89 c | 190044 | 1581 242248 1066319 | 2147483647 190044 79 | 0.000 % |
353.65/353.88 c | 190537 | 1581 242248 1066319 | 2147483647 190537 79 | 0.000 % |
356.26/356.46 c | 191081 | 1581 242248 1066319 | 2147483647 191081 79 | 0.000 % |
358.95/359.13 c | 191677 | 1581 242248 1066319 | 2147483647 191677 79 | 0.000 % |
362.55/362.71 c | 192333 | 1581 242248 1066319 | 2147483647 192333 79 | 0.000 % |
366.26/366.50 c | 193053 | 1581 242248 1066319 | 2147483647 193053 79 | 0.000 % |
371.35/371.51 c | 193846 | 1581 242248 1066319 | 2147483647 193846 79 | 0.000 % |
375.75/375.91 c | 194717 | 1581 242248 1066319 | 2147483647 194717 79 | 0.000 % |
380.35/380.58 c | 195675 | 1581 242248 1066319 | 2147483647 195675 79 | 0.000 % |
386.84/387.02 c | 196728 | 1581 242248 1066319 | 2147483647 196728 79 | 0.000 % |
392.24/392.48 c | 197886 | 1581 242248 1066319 | 2147483647 197886 79 | 0.000 % |
399.04/399.28 c | 199159 | 1581 242248 1066319 | 2147483647 199159 79 | 0.000 % |
401.84/402.07 c | 200559 | 1581 242248 1066319 | 2147483647 200559 79 | 0.000 % |
411.44/411.61 c | 202099 | 1581 242248 1066319 | 2147483647 202099 79 | 0.000 % |
420.34/420.55 c | 203794 | 1581 242248 1066319 | 2147483647 203794 80 | 0.000 % |
431.64/431.81 c | 205658 | 1581 242248 1066319 | 2147483647 205658 80 | 0.000 % |
443.43/443.69 c | 207709 | 1581 242248 1066319 | 2147483647 207709 80 | 0.000 % |
444.13/444.35 c | 207809 | 1581 242248 1066319 | 2147483647 207809 80 | 0.000 % |
444.63/444.87 c | 207920 | 1581 242248 1066319 | 2147483647 207920 80 | 0.000 % |
445.13/445.39 c | 208041 | 1581 242248 1066319 | 2147483647 208041 80 | 0.000 % |
446.13/446.36 c | 208177 | 1581 242248 1066319 | 2147483647 208177 80 | 0.000 % |
446.83/447.01 c | 208325 | 1581 242248 1066319 | 2147483647 208325 80 | 0.000 % |
447.53/447.72 c | 208485 | 1581 242248 1066319 | 2147483647 208485 80 | 0.000 % |
448.43/448.63 c | 208662 | 1581 242248 1066319 | 2147483647 208662 80 | 0.000 % |
449.32/449.59 c | 208855 | 1581 242248 1066319 | 2147483647 208855 80 | 0.000 % |
449.92/450.12 c | 209067 | 1581 242248 1066319 | 2147483647 209067 80 | 0.000 % |
451.12/451.39 c | 209301 | 1581 242248 1066319 | 2147483647 209301 80 | 0.000 % |
452.13/452.35 c | 209559 | 1581 242248 1066319 | 2147483647 209559 80 | 0.000 % |
453.93/454.18 c | 209843 | 1581 242248 1066319 | 2147483647 209843 80 | 0.000 % |
456.03/456.20 c | 210152 | 1581 242248 1066319 | 2147483647 210152 80 | 0.000 % |
458.03/458.21 c | 210493 | 1581 242248 1066319 | 2147483647 210493 80 | 0.000 % |
460.13/460.37 c | 210865 | 1581 242248 1066319 | 2147483647 210865 80 | 0.000 % |
462.02/462.21 c | 211274 | 1581 242248 1066319 | 2147483647 211274 80 | 0.000 % |
464.22/464.45 c | 211723 | 1581 242248 1066319 | 2147483647 211723 80 | 0.000 % |
466.52/466.73 c | 212217 | 1581 242248 1066319 | 2147483647 212217 80 | 0.000 % |
469.43/469.60 c | 212759 | 1581 242248 1066319 | 2147483647 212759 80 | 0.000 % |
472.72/472.93 c | 213356 | 1581 242248 1066319 | 2147483647 213356 80 | 0.000 % |
476.72/476.99 c | 214011 | 1581 242248 1066319 | 2147483647 214011 80 | 0.000 % |
480.12/480.39 c | 214733 | 1581 242248 1066319 | 2147483647 214733 80 | 0.000 % |
483.91/484.11 c | 215525 | 1581 242248 1066319 | 2147483647 215525 80 | 0.000 % |
489.31/489.55 c | 216396 | 1581 242248 1066319 | 2147483647 216396 80 | 0.000 % |
494.91/495.18 c | 217354 | 1581 242248 1066319 | 2147483647 217354 80 | 0.000 % |
499.51/499.80 c | 218408 | 1581 242248 1066319 | 2147483647 218408 80 | 0.000 % |
504.41/504.66 c | 219569 | 1581 242248 1066319 | 2147483647 219569 80 | 0.000 % |
511.21/511.41 c | 220842 | 1581 242248 1066319 | 2147483647 220842 80 | 0.000 % |
516.90/517.15 c | 222242 | 1581 242248 1066319 | 2147483647 222242 80 | 0.000 % |
523.20/523.41 c | 223785 | 1581 242248 1066319 | 2147483647 223785 80 | 0.000 % |
531.20/531.44 c | 225479 | 1581 242248 1066319 | 2147483647 225479 80 | 0.000 % |
542.01/542.30 c | 227344 | 1581 242248 1066319 | 2147483647 227344 79 | 0.000 % |
551.19/551.40 c | 229393 | 1581 242248 1066319 | 2147483647 229393 79 | 0.000 % |
557.50/557.78 c | 231647 | 1581 242248 1066319 | 2147483647 231647 80 | 0.000 % |
557.79/558.05 c | 231747 | 1581 242248 1066319 | 2147483647 231747 80 | 0.000 % |
558.09/558.31 c | 231858 | 1581 242248 1066319 | 2147483647 231858 80 | 0.000 % |
559.40/559.62 c | 231979 | 1581 242248 1066319 | 2147483647 231979 80 | 0.000 % |
560.90/561.13 c | 232112 | 1581 242248 1066319 | 2147483647 232112 80 | 0.000 % |
562.00/562.29 c | 232258 | 1581 242248 1066319 | 2147483647 232258 80 | 0.000 % |
562.60/562.85 c | 232419 | 1581 242248 1066319 | 2147483647 232419 79 | 0.000 % |
564.49/564.78 c | 232595 | 1581 242248 1066319 | 2147483647 232595 79 | 0.000 % |
565.29/565.50 c | 232788 | 1581 242248 1066319 | 2147483647 232788 79 | 0.000 % |
566.69/566.91 c | 233001 | 1581 242248 1066319 | 2147483647 233001 79 | 0.000 % |
567.69/567.99 c | 233234 | 1581 242248 1066319 | 2147483647 233234 79 | 0.000 % |
569.69/569.90 c | 233490 | 1581 242248 1066319 | 2147483647 233490 79 | 0.000 % |
570.69/570.92 c | 233772 | 1581 242248 1066319 | 2147483647 233772 80 | 0.000 % |
571.59/571.80 c | 234081 | 1581 242248 1066319 | 2147483647 234081 80 | 0.000 % |
574.88/575.11 c | 234421 | 1581 242248 1066319 | 2147483647 234421 80 | 0.000 % |
576.49/576.71 c | 234793 | 1581 242248 1066319 | 2147483647 234793 80 | 0.000 % |
581.89/582.14 c | 235202 | 1581 242248 1066319 | 2147483647 235202 80 | 0.000 % |
583.39/583.66 c | 235651 | 1581 242248 1066319 | 2147483647 235651 80 | 0.000 % |
586.59/586.83 c | 236145 | 1581 242248 1066319 | 2147483647 236145 80 | 0.000 % |
588.69/588.97 c | 236687 | 1581 242248 1066319 | 2147483647 236687 80 | 0.000 % |
592.08/592.39 c | 237285 | 1581 242248 1066319 | 2147483647 237285 80 | 0.000 % |
594.08/594.33 c | 237941 | 1581 242248 1066319 | 2147483647 237941 80 | 0.000 % |
595.38/595.69 c | 238661 | 1581 242248 1066319 | 2147483647 238661 80 | 0.000 % |
597.38/597.64 c | 239456 | 1581 242248 1066319 | 2147483647 239456 80 | 0.000 % |
599.39/599.68 c | 240327 | 1581 242248 1066319 | 2147483647 240327 80 | 0.000 % |
609.38/609.64 c | 241285 | 1581 242248 1066319 | 2147483647 241285 80 | 0.000 % |
615.08/615.34 c | 242341 | 1581 242248 1066319 | 2147483647 242341 80 | 0.000 % |
624.68/624.99 c | 243500 | 1581 242248 1066319 | 2147483647 243500 79 | 0.000 % |
629.27/629.52 c | 244773 | 1581 242248 1066319 | 2147483647 244773 80 | 0.000 % |
636.97/637.21 c | 246174 | 1581 242248 1066319 | 2147483647 246174 80 | 0.000 % |
642.47/642.79 c | 247714 | 1581 242248 1066319 | 2147483647 247714 80 | 0.000 % |
649.77/650.08 c | 249408 | 1581 242248 1066319 | 2147483647 249408 80 | 0.000 % |
661.36/661.61 c | 251271 | 1581 242248 1066319 | 2147483647 251271 79 | 0.000 % |
669.56/669.89 c | 253323 | 1581 242248 1066319 | 2147483647 253323 79 | 0.000 % |
678.96/679.29 c | 255576 | 1581 242248 1066319 | 2147483647 255576 79 | 0.000 % |
688.06/688.39 c | 258055 | 1581 242248 1066319 | 2147483647 258055 79 | 0.000 % |
689.76/690.00 c | 258155 | 1581 242248 1066319 | 2147483647 258155 79 | 0.000 % |
690.66/690.93 c | 258265 | 1581 242248 1066319 | 2147483647 258265 79 | 0.000 % |
691.66/691.91 c | 258388 | 1581 242248 1066319 | 2147483647 258388 79 | 0.000 % |
692.36/692.63 c | 258521 | 1581 242248 1066319 | 2147483647 258521 79 | 0.000 % |
694.35/694.61 c | 258667 | 1581 242248 1066319 | 2147483647 258667 79 | 0.000 % |
695.35/695.66 c | 258828 | 1581 242248 1066319 | 2147483647 258828 79 | 0.000 % |
695.96/696.25 c | 259008 | 1581 242248 1066319 | 2147483647 259008 79 | 0.000 % |
699.26/699.57 c | 259201 | 1581 242248 1066319 | 2147483647 259201 79 | 0.000 % |
700.85/701.16 c | 259415 | 1581 242248 1066319 | 2147483647 259415 79 | 0.000 % |
701.45/701.72 c | 259648 | 1581 242248 1066319 | 2147483647 259648 79 | 0.000 % |
703.45/703.72 c | 259904 | 1581 242248 1066319 | 2147483647 259904 79 | 0.000 % |
705.55/705.87 c | 260185 | 1581 242248 1066319 | 2147483647 260185 79 | 0.000 % |
708.45/708.77 c | 260494 | 1581 242248 1066319 | 2147483647 260494 79 | 0.000 % |
710.85/711.12 c | 260836 | 1581 242248 1066319 | 2147483647 260836 79 | 0.000 % |
712.75/713.04 c | 261208 | 1581 242248 1066319 | 2147483647 261208 79 | 0.000 % |
716.24/716.57 c | 261618 | 1581 242248 1066319 | 2147483647 261618 79 | 0.000 % |
720.25/720.57 c | 262067 | 1581 242248 1066319 | 2147483647 262067 79 | 0.000 % |
726.34/726.70 c | 262564 | 1581 242248 1066319 | 2147483647 262564 79 | 0.000 % |
731.54/731.88 c | 263106 | 1581 242248 1066319 | 2147483647 263106 79 | 0.000 % |
733.54/733.83 c | 263709 | 1581 242248 1066319 | 2147483647 263709 79 | 0.000 % |
738.94/739.23 c | 264365 | 1581 242248 1066319 | 2147483647 264365 79 | 0.000 % |
743.74/744.02 c | 265087 | 1581 242248 1066319 | 2147483647 265087 79 | 0.000 % |
750.24/750.58 c | 265879 | 1581 242248 1066319 | 2147483647 265879 79 | 0.000 % |
759.34/759.62 c | 266750 | 1581 242248 1066319 | 2147483647 266750 79 | 0.000 % |
765.34/765.65 c | 267709 | 1581 242248 1066319 | 2147483647 267709 79 | 0.000 % |
771.03/771.30 c | 268765 | 1581 242248 1066319 | 2147483647 268765 79 | 0.000 % |
774.93/775.20 c | 269925 | 1581 242248 1066319 | 2147483647 269925 79 | 0.000 % |
785.23/785.59 c | 271199 | 1581 242248 1066319 | 2147483647 271199 78 | 0.000 % |
793.72/794.09 c | 272604 | 1581 242248 1066319 | 2147483647 272604 78 | 0.000 % |
801.42/801.79 c | 274145 | 1581 242248 1066319 | 2147483647 274145 78 | 0.000 % |
809.82/810.19 c | 275839 | 1581 242248 1066319 | 2147483647 275839 78 | 0.000 % |
822.52/822.81 c | 277704 | 1581 242248 1066319 | 2147483647 277704 78 | 0.000 % |
831.22/831.56 c | 279754 | 1581 242248 1066319 | 2147483647 279754 77 | 0.000 % |
842.01/842.37 c | 282007 | 1581 242248 1066319 | 2147483647 282007 77 | 0.000 % |
855.90/856.27 c | 284486 | 1581 242248 1066319 | 2147483647 284486 77 | 0.000 % |
884.70/885.08 c | 287213 | 1581 242248 1066319 | 2147483647 287213 77 | 0.000 % |
885.50/885.84 c | 287314 | 1581 242248 1066319 | 2147483647 287314 77 | 0.000 % |
886.20/886.55 c | 287427 | 1581 242248 1066319 | 2147483647 287427 77 | 0.000 % |
887.70/888.01 c | 287548 | 1581 242248 1066319 | 2147483647 287548 77 | 0.000 % |
888.40/888.75 c | 287682 | 1581 242248 1066319 | 2147483647 287682 78 | 0.000 % |
888.90/889.26 c | 287829 | 1581 242248 1066319 | 2147483647 287829 78 | 0.000 % |
890.20/890.56 c | 287990 | 1581 242248 1066319 | 2147483647 287990 78 | 0.000 % |
892.40/892.70 c | 288166 | 1581 242248 1066319 | 2147483647 288166 78 | 0.000 % |
893.80/894.11 c | 288359 | 1581 242248 1066319 | 2147483647 288359 78 | 0.000 % |
894.50/894.89 c | 288571 | 1581 242248 1066319 | 2147483647 288571 78 | 0.000 % |
896.50/896.80 c | 288805 | 1581 242248 1066319 | 2147483647 288805 78 | 0.000 % |
897.30/897.66 c | 289061 | 1581 242248 1066319 | 2147483647 289061 78 | 0.000 % |
898.79/899.16 c | 289342 | 1581 242248 1066319 | 2147483647 289342 78 | 0.000 % |
899.99/900.33 c | 289652 | 1581 242248 1066319 | 2147483647 289652 78 | 0.000 % |
902.59/902.94 c | 289991 | 1581 242248 1066319 | 2147483647 289991 78 | 0.000 % |
906.39/906.78 c | 290363 | 1581 242248 1066319 | 2147483647 290363 78 | 0.000 % |
907.79/908.16 c | 290773 | 1581 242248 1066319 | 2147483647 290773 78 | 0.000 % |
909.39/909.73 c | 291222 | 1581 242248 1066319 | 2147483647 291222 78 | 0.000 % |
912.19/912.52 c | 291716 | 1581 242248 1066319 | 2147483647 291716 78 | 0.000 % |
914.39/914.72 c | 292258 | 1581 242248 1066319 | 2147483647 292258 78 | 0.000 % |
917.09/917.42 c | 292854 | 1581 242248 1066319 | 2147483647 292854 78 | 0.000 % |
927.19/927.59 c | 293510 | 1581 242248 1066319 | 2147483647 293510 78 | 0.000 % |
930.08/930.45 c | 294233 | 1581 242248 1066319 | 2147483647 294233 78 | 0.000 % |
933.18/933.55 c | 295027 | 1581 242248 1066319 | 2147483647 295027 78 | 0.000 % |
939.18/939.58 c | 295901 | 1581 242248 1066319 | 2147483647 295901 78 | 0.000 % |
943.98/944.31 c | 296859 | 1581 242248 1066319 | 2147483647 296859 78 | 0.000 % |
954.18/954.58 c | 297913 | 1581 242248 1066319 | 2147483647 297913 78 | 0.000 % |
959.57/959.91 c | 299074 | 1581 242248 1066319 | 2147483647 299074 78 | 0.000 % |
967.88/968.26 c | 300348 | 1581 242248 1066319 | 2147483647 300348 78 | 0.000 % |
970.88/971.26 c | 301748 | 1581 242248 1066319 | 2147483647 301748 78 | 0.000 % |
976.17/976.54 c | 303290 | 1581 242248 1066319 | 2147483647 303290 78 | 0.000 % |
989.57/989.91 c | 304984 | 1581 242248 1066319 | 2147483647 304984 78 | 0.000 % |
995.57/995.90 c | 306847 | 1581 242248 1066319 | 2147483647 306847 78 | 0.000 % |
1000.77/1001.19 c | 308897 | 1581 242248 1066319 | 2147483647 308897 78 | 0.000 % |
1005.17/1005.56 c | 311150 | 1581 242248 1066319 | 2147483647 311150 78 | 0.000 % |
1009.96/1010.31 c | 313629 | 1581 242248 1066319 | 2147483647 313629 78 | 0.000 % |
1015.16/1015.53 c | 316354 | 1581 242248 1066319 | 2147483647 316354 78 | 0.000 % |
1020.76/1021.10 c | 319352 | 1581 242248 1066319 | 2147483647 319352 78 | 0.000 % |
1020.96/1021.37 c | 319454 | 1581 242248 1066319 | 2147483647 319454 78 | 0.000 % |
1021.16/1021.58 c | 319566 | 1581 242248 1066319 | 2147483647 319566 78 | 0.000 % |
1021.47/1021.86 c | 319688 | 1581 242248 1066319 | 2147483647 319688 78 | 0.000 % |
1021.76/1022.14 c | 319821 | 1581 242248 1066319 | 2147483647 319821 78 | 0.000 % |
1021.96/1022.35 c | 319967 | 1581 242248 1066319 | 2147483647 319967 78 | 0.000 % |
1022.26/1022.69 c | 320129 | 1581 242248 1066319 | 2147483647 320129 78 | 0.000 % |
1022.76/1023.11 c | 320305 | 1581 242248 1066319 | 2147483647 320305 78 | 0.000 % |
1023.26/1023.64 c | 320498 | 1581 242248 1066319 | 2147483647 320498 78 | 0.000 % |
1023.67/1024.04 c | 320714 | 1581 242248 1066319 | 2147483647 320714 78 | 0.000 % |
1024.06/1024.42 c | 320947 | 1581 242248 1066319 | 2147483647 320947 78 | 0.000 % |
1024.86/1025.22 c | 321204 | 1581 242248 1066319 | 2147483647 321204 78 | 0.000 % |
1025.46/1025.89 c | 321486 | 1581 242248 1066319 | 2147483647 321486 78 | 0.000 % |
1026.16/1026.53 c | 321796 | 1581 242248 1066319 | 2147483647 321796 78 | 0.000 % |
1026.86/1027.25 c | 322136 | 1581 242248 1066319 | 2147483647 322136 78 | 0.000 % |
1027.46/1027.84 c | 322509 | 1581 242248 1066319 | 2147483647 322509 78 | 0.000 % |
1028.36/1028.79 c | 322918 | 1581 242248 1066319 | 2147483647 322918 78 | 0.000 % |
1029.46/1029.82 c | 323369 | 1581 242248 1066319 | 2147483647 323369 78 | 0.000 % |
1030.45/1030.84 c | 323866 | 1581 242248 1066319 | 2147483647 323866 78 | 0.000 % |
1031.36/1031.79 c | 324409 | 1581 242248 1066319 | 2147483647 324409 78 | 0.000 % |
1032.56/1032.91 c | 325005 | 1581 242248 1066319 | 2147483647 325005 78 | 0.000 % |
1034.06/1034.45 c | 325661 | 1581 242248 1066319 | 2147483647 325661 78 | 0.000 % |
1036.16/1036.57 c | 326381 | 1581 242248 1066319 | 2147483647 326381 78 | 0.000 % |
1037.56/1037.92 c | 327175 | 1581 242248 1066319 | 2147483647 327175 78 | 0.000 % |
1039.36/1039.73 c | 328046 | 1581 242248 1066319 | 2147483647 328046 78 | 0.000 % |
1041.95/1042.33 c | 329004 | 1581 242248 1066319 | 2147483647 329004 79 | 0.000 % |
1044.66/1045.04 c | 330060 | 1581 242248 1066319 | 2147483647 330060 79 | 0.000 % |
1047.45/1047.83 c | 331218 | 1581 242248 1066319 | 2147483647 331218 79 | 0.000 % |
1049.85/1050.28 c | 332491 | 1581 242248 1066319 | 2147483647 332491 79 | 0.000 % |
1052.65/1053.02 c | 333891 | 1581 242248 1066319 | 2147483647 333891 79 | 0.000 % |
1055.95/1056.32 c | 335431 | 1581 242248 1066319 | 2147483647 335431 79 | 0.000 % |
1060.05/1060.49 c | 337127 | 1581 242248 1066319 | 2147483647 337127 79 | 0.000 % |
1064.65/1065.01 c | 338990 | 1581 242248 1066319 | 2147483647 338990 79 | 0.000 % |
1069.55/1069.94 c | 341039 | 1581 242248 1066319 | 2147483647 341039 79 | 0.000 % |
1075.04/1075.48 c | 343292 | 1581 242248 1066319 | 2147483647 343292 79 | 0.000 % |
1081.75/1082.11 c | 345771 | 1581 242248 1066319 | 2147483647 345771 79 | 0.000 % |
1088.24/1088.69 c | 348496 | 1581 242248 1066319 | 2147483647 348496 79 | 0.000 % |
1095.53/1095.91 c | 351494 | 1581 242248 1066319 | 2147483647 351494 79 | 0.000 % |
1102.84/1103.29 c | 354790 | 1581 242248 1066319 | 2147483647 354790 79 | 0.000 % |
1103.34/1103.73 c | 354894 | 1581 242248 1066319 | 2147483647 354894 79 | 0.000 % |
1103.74/1104.12 c | 355005 | 1581 242248 1066319 | 2147483647 355005 79 | 0.000 % |
1104.34/1104.76 c | 355126 | 1581 242248 1066319 | 2147483647 355126 79 | 0.000 % |
1104.84/1105.27 c | 355259 | 1581 242248 1066319 | 2147483647 355259 79 | 0.000 % |
1105.24/1105.68 c | 355405 | 1581 242248 1066319 | 2147483647 355405 79 | 0.000 % |
1105.84/1106.25 c | 355568 | 1581 242248 1066319 | 2147483647 355568 79 | 0.000 % |
1106.93/1107.35 c | 355744 | 1581 242248 1066319 | 2147483647 355744 79 | 0.000 % |
1107.93/1108.37 c | 355939 | 1581 242248 1066319 | 2147483647 355939 79 | 0.000 % |
1111.93/1112.30 c | 356152 | 1581 242248 1066319 | 2147483647 356152 79 | 0.000 % |
1114.03/1114.43 c | 356386 | 1581 242248 1066319 | 2147483647 356386 79 | 0.000 % |
1116.53/1116.91 c | 356642 | 1581 242248 1066319 | 2147483647 356642 79 | 0.000 % |
1120.83/1121.28 c | 356924 | 1581 242248 1066319 | 2147483647 356924 79 | 0.000 % |
1123.52/1123.91 c | 357234 | 1581 242248 1066319 | 2147483647 357234 79 | 0.000 % |
1128.62/1129.05 c | 357573 | 1581 242248 1066319 | 2147483647 357573 79 | 0.000 % |
1133.12/1133.58 c | 357945 | 1581 242248 1066319 | 2147483647 357945 79 | 0.000 % |
1135.52/1135.92 c | 358357 | 1581 242248 1066319 | 2147483647 358357 79 | 0.000 % |
1138.52/1138.91 c | 358806 | 1581 242248 1066319 | 2147483647 358806 79 | 0.000 % |
1142.82/1143.29 c | 359299 | 1581 242248 1066319 | 2147483647 359299 79 | 0.000 % |
1146.33/1146.76 c | 359841 | 1581 242248 1066319 | 2147483647 359841 79 | 0.000 % |
1152.22/1152.63 c | 360444 | 1581 242248 1066319 | 2147483647 360444 79 | 0.000 % |
1157.22/1157.69 c | 361101 | 1581 242248 1066319 | 2147483647 361101 79 | 0.000 % |
1164.52/1164.95 c | 361821 | 1581 242248 1066319 | 2147483647 361821 79 | 0.000 % |
1167.41/1167.85 c | 362614 | 1581 242248 1066319 | 2147483647 362614 79 | 0.000 % |
1171.41/1171.85 c | 363487 | 1581 242248 1066319 | 2147483647 363487 79 | 0.000 % |
1178.31/1178.78 c | 364446 | 1581 242248 1066319 | 2147483647 364446 79 | 0.000 % |
1182.91/1183.38 c | 365501 | 1581 242248 1066319 | 2147483647 365501 79 | 0.000 % |
1188.40/1188.86 c | 366659 | 1581 242248 1066319 | 2147483647 366659 79 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833919-1242826149/watcher-1833919-1242826149 -o /tmp/evaluation-result-1833919-1242826149/solver-1833919-1242826149 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833919-1242826149.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.99 3/64 15099
/proc/meminfo: memFree=1841024/2055920 swapFree=4179700/4192956
[pid=15099] ppid=15097 vsize=5356 CPUtime=0
/proc/15099/stat : 15099 (SatELiteGTI) S 15097 15099 14887 0 -1 4194304 276 0 0 0 0 0 0 0 19 0 1 0 310642641 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 255539773522 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/15099/statm: 1339 235 195 169 0 50 0
[pid=15100] ppid=15099 vsize=5356 CPUtime=0
/proc/15100/stat : 15100 (SatELiteGTI) S 15099 15099 14887 0 -1 4194368 51 25 0 0 0 0 0 0 19 0 1 0 310642642 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/15100/statm: 1339 238 198 169 0 50 0
[pid=15102] ppid=15100 vsize=5356 CPUtime=0
/proc/15102/stat : 15102 (SatELiteGTI) R 15100 15099 14887 0 -1 4194368 19 0 0 0 0 0 0 0 18 0 1 0 310642642 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539604775 0 0 4096 0 0 0 0 17 1 0 0
/proc/15102/statm: 1339 239 199 169 0 50 0
[startup+0.0291459 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 15099
/proc/meminfo: memFree=1841024/2055920 swapFree=4179700/4192956
[pid=15099] ppid=15097 vsize=5356 CPUtime=0
/proc/15099/stat : 15099 (SatELiteGTI) S 15097 15099 14887 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 310642641 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15099/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102152 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 15099
/proc/meminfo: memFree=1841024/2055920 swapFree=4179700/4192956
[pid=15099] ppid=15097 vsize=5356 CPUtime=0
/proc/15099/stat : 15099 (SatELiteGTI) S 15097 15099 14887 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 310642641 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15099/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302169 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 15099
/proc/meminfo: memFree=1841024/2055920 swapFree=4179700/4192956
[pid=15099] ppid=15097 vsize=5356 CPUtime=0
/proc/15099/stat : 15099 (SatELiteGTI) S 15097 15099 14887 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 310642641 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15099/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.702208 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 15099
/proc/meminfo: memFree=1841024/2055920 swapFree=4179700/4192956
[pid=15099] ppid=15097 vsize=5356 CPUtime=0
/proc/15099/stat : 15099 (SatELiteGTI) S 15097 15099 14887 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 310642641 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15099/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50128 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 15104
/proc/meminfo: memFree=1818480/2055920 swapFree=4179700/4192956
[pid=15099] ppid=15097 vsize=5356 CPUtime=0
/proc/15099/stat : 15099 (SatELiteGTI) S 15097 15099 14887 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 310642641 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15099/statm: 1339 237 197 169 0 50 0
[pid=15104] ppid=15099 vsize=27420 CPUtime=1.48
/proc/15104/stat : 15104 (SatELite_releas) R 15099 15099 14887 0 -1 4194304 6102 0 0 0 145 3 0 0 25 0 1 0 310642642 28078080 6088 1992294400 134512640 135223648 4294956128 18446744073709551615 134585544 0 0 4096 3 0 0 0 17 1 0 0
/proc/15104/statm: 6855 6088 76 173 0 6680 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 32776
[startup+3.10143 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 15104
/proc/meminfo: memFree=1815280/2055920 swapFree=4179700/4192956
[pid=15099] ppid=15097 vsize=5356 CPUtime=0
/proc/15099/stat : 15099 (SatELiteGTI) S 15097 15099 14887 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 310642641 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15099/statm: 1339 237 197 169 0 50 0
[pid=15104] ppid=15099 vsize=27420 CPUtime=3.08
/proc/15104/stat : 15104 (SatELite_releas) R 15099 15099 14887 0 -1 4194304 6102 0 0 0 305 3 0 0 25 0 1 0 310642642 28078080 6088 1992294400 134512640 135223648 4294956128 18446744073709551615 134585507 0 0 4096 3 0 0 0 17 1 0 0
/proc/15104/statm: 6855 6088 76 173 0 6680 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 32776
[startup+6.30173 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 15105
/proc/meminfo: memFree=1820592/2055920 swapFree=4179700/4192956
[pid=15099] ppid=15097 vsize=5356 CPUtime=3.85
/proc/15099/stat : 15099 (SatELiteGTI) S 15097 15099 14887 0 -1 4194304 336 6354 0 0 0 0 379 6 16 0 1 0 310642641 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15099/statm: 1339 239 197 169 0 50 0
[pid=15105] ppid=15099 vsize=15440 CPUtime=2.42
/proc/15105/stat : 15105 (minisat_static) R 15099 15099 14887 0 -1 4194304 3689 0 0 0 241 1 0 0 25 0 1 0 310643028 15810560 3675 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/15105/statm: 3860 3675 77 171 0 3687 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 20796
[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 15105
/proc/meminfo: memFree=1815472/2055920 swapFree=4179700/4192956
[pid=15099] ppid=15097 vsize=5356 CPUtime=3.85
/proc/15099/stat : 15099 (SatELiteGTI) S 15097 15099 14887 0 -1 4194304 336 6354 0 0 0 0 379 6 16 0 1 0 310642641 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15099/statm: 1339 239 197 169 0 50 0
[pid=15105] ppid=15099 vsize=19860 CPUtime=8.82
/proc/15105/stat : 15105 (minisat_static) R 15099 15099 14887 0 -1 4194304 4791 0 0 0 880 2 0 0 25 0 1 0 310643028 20336640 4777 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15105/statm: 4965 4777 77 171 0 4792 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 25216
[startup+25.5025 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 15105
/proc/meminfo: memFree=1811696/2055920 swapFree=4179700/4192956
[pid=15099] ppid=15097 vsize=5356 CPUtime=3.85
/proc/15099/stat : 15099 (SatELiteGTI) S 15097 15099 14887 0 -1 4194304 336 6354 0 0 0 0 379 6 16 0 1 0 310642641 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15099/statm: 1339 239 197 169 0 50 0
[pid=15105] ppid=15099 vsize=23404 CPUtime=21.61
/proc/15105/stat : 15105 (minisat_static) R 15099 15099 14887 0 -1 4194304 5685 0 0 0 2158 3 0 0 25 0 1 0 310643028 23965696 5671 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/15105/statm: 5851 5671 77 171 0 5678 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 28760
[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 15105
/proc/meminfo: memFree=1805232/2055920 swapFree=4179700/4192956
[pid=15099] ppid=15097 vsize=5356 CPUtime=3.85
/proc/15099/stat : 15099 (SatELiteGTI) S 15097 15099 14887 0 -1 4194304 336 6354 0 0 0 0 379 6 16 0 1 0 310642641 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15099/statm: 1339 239 197 169 0 50 0
[pid=15105] ppid=15099 vsize=30028 CPUtime=47.2
/proc/15105/stat : 15105 (minisat_static) R 15099 15099 14887 0 -1 4194304 7308 0 0 0 4715 5 0 0 25 0 1 0 310643028 30748672 7294 1992294400 134512640 135215339 4294956240 18446744073709551615 134528852 0 0 4096 3 0 0 0 17 1 0 0
/proc/15105/statm: 7507 7294 77 171 0 7334 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 35384
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 15105
/proc/meminfo: memFree=1793584/2055920 swapFree=4179700/4192956
[pid=15099] ppid=15097 vsize=5356 CPUtime=3.85
/proc/15099/stat : 15099 (SatELiteGTI) S 15097 15099 14887 0 -1 4194304 336 6354 0 0 0 0 379 6 16 0 1 0 310642641 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15099/statm: 1339 239 197 169 0 50 0
[pid=15105] ppid=15099 vsize=41688 CPUtime=98.39
/proc/15105/stat : 15105 (minisat_static) R 15099 15099 14887 0 -1 4194304 10207 0 0 0 9830 9 0 0 25 0 1 0 310643028 42688512 10193 1992294400 134512640 135215339 4294956240 18446744073709551615 134528884 0 0 4096 3 0 0 0 17 1 0 0
/proc/15105/statm: 10422 10193 77 171 0 10249 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 47044
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15105
/proc/meminfo: memFree=1780976/2055920 swapFree=4179700/4192956
[pid=15099] ppid=15097 vsize=5356 CPUtime=3.85
/proc/15099/stat : 15099 (SatELiteGTI) S 15097 15099 14887 0 -1 4194304 336 6354 0 0 0 0 379 6 16 0 1 0 310642641 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15099/statm: 1339 239 197 169 0 50 0
[pid=15105] ppid=15099 vsize=54416 CPUtime=158.37
/proc/15105/stat : 15105 (minisat_static) R 15099 15099 14887 0 -1 4194304 13387 0 0 0 15825 12 0 0 25 0 1 0 310643028 55721984 13373 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15105/statm: 13604 13373 77 171 0 13431 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 59772
[startup+222.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15105
/proc/meminfo: memFree=1767408/2055920 swapFree=4179700/4192956
[pid=15099] ppid=15097 vsize=5356 CPUtime=3.85
/proc/15099/stat : 15099 (SatELiteGTI) S 15097 15099 14887 0 -1 4194304 336 6354 0 0 0 0 379 6 16 0 1 0 310642641 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15099/statm: 1339 239 197 169 0 50 0
[pid=15105] ppid=15099 vsize=67912 CPUtime=218.35
/proc/15105/stat : 15105 (minisat_static) R 15099 15099 14887 0 -1 4194304 16732 0 0 0 21819 16 0 0 25 0 1 0 310643028 69541888 16718 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15105/statm: 16978 16718 77 171 0 16805 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 73268
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15105
/proc/meminfo: memFree=1759344/2055920 swapFree=4179700/4192956
[pid=15099] ppid=15097 vsize=5356 CPUtime=3.85
/proc/15099/stat : 15099 (SatELiteGTI) S 15097 15099 14887 0 -1 4194304 336 6354 0 0 0 0 379 6 16 0 1 0 310642641 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15099/statm: 1339 239 197 169 0 50 0
[pid=15105] ppid=15099 vsize=76016 CPUtime=278.32
/proc/15105/stat : 15105 (minisat_static) R 15099 15099 14887 0 -1 4194304 18754 0 0 0 27813 19 0 0 25 0 1 0 310643028 77840384 18740 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/15105/statm: 19004 18740 77 171 0 18831 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 81372
[startup+342.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15105
/proc/meminfo: memFree=1753392/2055920 swapFree=4179700/4192956
[pid=15099] ppid=15097 vsize=5356 CPUtime=3.85
/proc/15099/stat : 15099 (SatELiteGTI) S 15097 15099 14887 0 -1 4194304 336 6354 0 0 0 0 379 6 16 0 1 0 310642641 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15099/statm: 1339 239 197 169 0 50 0
[pid=15105] ppid=15099 vsize=81876 CPUtime=338.31
/proc/15105/stat : 15105 (minisat_static) R 15099 15099 14887 0 -1 4194304 20193 0 0 0 33810 21 0 0 25 0 1 0 310643028 83841024 20179 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15105/statm: 20469 20179 77 171 0 20296 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 87232
[startup+402.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15105
/proc/meminfo: memFree=1748720/2055920 swapFree=4179700/4192956
[pid=15099] ppid=15097 vsize=5356 CPUtime=3.85
/proc/15099/stat : 15099 (SatELiteGTI) S 15097 15099 14887 0 -1 4194304 336 6354 0 0 0 0 379 6 16 0 1 0 310642641 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15099/statm: 1339 239 197 169 0 50 0
[pid=15105] ppid=15099 vsize=86576 CPUtime=398.29
################
# More data... #
################
/proc/15105/statm: 23867 23469 77 171 0 23694 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 100824
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15105
/proc/meminfo: memFree=1730800/2055920 swapFree=4179700/4192956
[pid=15099] ppid=15097 vsize=5356 CPUtime=3.85
/proc/15099/stat : 15099 (SatELiteGTI) S 15097 15099 14887 0 -1 4194304 336 6354 0 0 0 0 379 6 16 0 1 0 310642641 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15099/statm: 1339 239 197 169 0 50 0
[pid=15105] ppid=15099 vsize=106088 CPUtime=578.24
/proc/15105/stat : 15105 (minisat_static) R 15099 15099 14887 0 -1 4194304 25850 0 0 0 57796 28 0 0 25 0 1 0 310643028 108634112 25819 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15105/statm: 26522 25819 77 171 0 26349 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 111444
[startup+642.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15105
/proc/meminfo: memFree=1724720/2055920 swapFree=4179700/4192956
[pid=15099] ppid=15097 vsize=5356 CPUtime=3.85
/proc/15099/stat : 15099 (SatELiteGTI) S 15097 15099 14887 0 -1 4194304 336 6354 0 0 0 0 379 6 16 0 1 0 310642641 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15099/statm: 1339 239 197 169 0 50 0
[pid=15105] ppid=15099 vsize=112456 CPUtime=638.23
/proc/15105/stat : 15105 (minisat_static) R 15099 15099 14887 0 -1 4194304 27323 0 0 0 63794 29 0 0 25 0 1 0 310643028 115154944 27292 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15105/statm: 28114 27292 77 171 0 27941 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 117812
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15105
/proc/meminfo: memFree=1720560/2055920 swapFree=4179700/4192956
[pid=15099] ppid=15097 vsize=5356 CPUtime=3.85
/proc/15099/stat : 15099 (SatELiteGTI) S 15097 15099 14887 0 -1 4194304 336 6354 0 0 0 0 379 6 16 0 1 0 310642641 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15099/statm: 1339 239 197 169 0 50 0
[pid=15105] ppid=15099 vsize=116488 CPUtime=698.2
/proc/15105/stat : 15105 (minisat_static) R 15099 15099 14887 0 -1 4194304 28344 0 0 0 69790 30 0 0 25 0 1 0 310643028 119283712 28305 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15105/statm: 29122 28305 77 171 0 28949 0
Current children cumulated CPU time (s) 702.05
Current children cumulated vsize (KiB) 121844
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15105
/proc/meminfo: memFree=1717104/2055920 swapFree=4179700/4192956
[pid=15099] ppid=15097 vsize=5356 CPUtime=3.85
/proc/15099/stat : 15099 (SatELiteGTI) S 15097 15099 14887 0 -1 4194304 336 6354 0 0 0 0 379 6 16 0 1 0 310642641 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15099/statm: 1339 239 197 169 0 50 0
[pid=15105] ppid=15099 vsize=120060 CPUtime=758.19
/proc/15105/stat : 15105 (minisat_static) R 15099 15099 14887 0 -1 4194304 29204 0 0 0 75788 31 0 0 25 0 1 0 310643028 122941440 29165 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/15105/statm: 30015 29165 77 171 0 29842 0
Current children cumulated CPU time (s) 762.04
Current children cumulated vsize (KiB) 125416
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15105
/proc/meminfo: memFree=1714544/2055920 swapFree=4179700/4192956
[pid=15099] ppid=15097 vsize=5356 CPUtime=3.85
/proc/15099/stat : 15099 (SatELiteGTI) S 15097 15099 14887 0 -1 4194304 336 6354 0 0 0 0 379 6 16 0 1 0 310642641 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15099/statm: 1339 239 197 169 0 50 0
[pid=15105] ppid=15099 vsize=122672 CPUtime=818.17
/proc/15105/stat : 15105 (minisat_static) R 15099 15099 14887 0 -1 4194304 29840 0 0 0 81786 31 0 0 25 0 1 0 310643028 125616128 29801 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15105/statm: 30668 29801 77 171 0 30495 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 128028
[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15107
/proc/meminfo: memFree=1710512/2055920 swapFree=4179700/4192956
[pid=15099] ppid=15097 vsize=5356 CPUtime=3.85
/proc/15099/stat : 15099 (SatELiteGTI) S 15097 15099 14887 0 -1 4194304 336 6354 0 0 0 0 379 6 16 0 1 0 310642641 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15099/statm: 1339 239 197 169 0 50 0
[pid=15105] ppid=15099 vsize=126832 CPUtime=878.15
/proc/15105/stat : 15105 (minisat_static) R 15099 15099 14887 0 -1 4194304 30784 0 0 0 87783 32 0 0 25 0 1 0 310643028 129875968 30745 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15105/statm: 31708 30745 77 171 0 31535 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 132188
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15107
/proc/meminfo: memFree=1706352/2055920 swapFree=4179700/4192956
[pid=15099] ppid=15097 vsize=5356 CPUtime=3.85
/proc/15099/stat : 15099 (SatELiteGTI) S 15097 15099 14887 0 -1 4194304 336 6354 0 0 0 0 379 6 16 0 1 0 310642641 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15099/statm: 1339 239 197 169 0 50 0
[pid=15105] ppid=15099 vsize=131156 CPUtime=938.13
/proc/15105/stat : 15105 (minisat_static) R 15099 15099 14887 0 -1 4194304 31836 0 0 0 93780 33 0 0 25 0 1 0 310643028 134303744 31797 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15105/statm: 32789 31797 77 171 0 32616 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 136512
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15107
/proc/meminfo: memFree=1701360/2055920 swapFree=4179700/4192956
[pid=15099] ppid=15097 vsize=5356 CPUtime=3.85
/proc/15099/stat : 15099 (SatELiteGTI) S 15097 15099 14887 0 -1 4194304 336 6354 0 0 0 0 379 6 16 0 1 0 310642641 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15099/statm: 1339 239 197 169 0 50 0
[pid=15105] ppid=15099 vsize=136128 CPUtime=998.12
/proc/15105/stat : 15105 (minisat_static) R 15099 15099 14887 0 -1 4194304 33111 0 0 0 99777 35 0 0 25 0 1 0 310643028 139395072 33072 1992294400 134512640 135215339 4294956240 18446744073709551615 134528860 0 0 4096 3 0 0 0 17 1 0 0
/proc/15105/statm: 34032 33072 77 171 0 33859 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 141484
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15107
/proc/meminfo: memFree=1691312/2055920 swapFree=4179700/4192956
[pid=15099] ppid=15097 vsize=5356 CPUtime=3.85
/proc/15099/stat : 15099 (SatELiteGTI) S 15097 15099 14887 0 -1 4194304 336 6354 0 0 0 0 379 6 16 0 1 0 310642641 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15099/statm: 1339 239 197 169 0 50 0
[pid=15105] ppid=15099 vsize=146808 CPUtime=1058.1
/proc/15105/stat : 15105 (minisat_static) R 15099 15099 14887 0 -1 4194304 35635 0 0 0 105772 38 0 0 25 0 1 0 310643028 150331392 35596 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15105/statm: 36702 35596 77 171 0 36529 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 152164
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15107
/proc/meminfo: memFree=1680560/2055920 swapFree=4179700/4192956
[pid=15099] ppid=15097 vsize=5356 CPUtime=3.85
/proc/15099/stat : 15099 (SatELiteGTI) S 15097 15099 14887 0 -1 4194304 336 6354 0 0 0 0 379 6 16 0 1 0 310642641 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15099/statm: 1339 239 197 169 0 50 0
[pid=15105] ppid=15099 vsize=158092 CPUtime=1118.08
/proc/15105/stat : 15105 (minisat_static) R 15099 15099 14887 0 -1 4194304 38416 0 0 0 111768 40 0 0 25 0 1 0 310643028 161886208 38237 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15105/statm: 39523 38237 77 171 0 39350 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 163448
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15107
/proc/meminfo: memFree=1676912/2055920 swapFree=4179700/4192956
[pid=15099] ppid=15097 vsize=5356 CPUtime=3.85
/proc/15099/stat : 15099 (SatELiteGTI) S 15097 15099 14887 0 -1 4194304 336 6354 0 0 0 0 379 6 16 0 1 0 310642641 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15099/statm: 1339 239 197 169 0 50 0
[pid=15105] ppid=15099 vsize=162244 CPUtime=1178.06
/proc/15105/stat : 15105 (minisat_static) R 15099 15099 14887 0 -1 4194304 39331 0 0 0 117765 41 0 0 25 0 1 0 310643028 166137856 39152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15105/statm: 40561 39152 77 171 0 40388 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 167600
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15107
/proc/meminfo: memFree=1675824/2055920 swapFree=4179700/4192956
[pid=15099] ppid=15097 vsize=5356 CPUtime=3.85
/proc/15099/stat : 15099 (SatELiteGTI) S 15097 15099 14887 0 -1 4194304 336 6354 0 0 0 0 379 6 16 0 1 0 310642641 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15099/statm: 1339 239 197 169 0 50 0
[pid=15105] ppid=15099 vsize=163256 CPUtime=1196.16
/proc/15105/stat : 15105 (minisat_static) R 15099 15099 14887 0 -1 4194304 39579 0 0 0 119575 41 0 0 25 0 1 0 310643028 167174144 39400 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15105/statm: 40814 39400 77 171 0 40641 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 168612
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15099 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=794423
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=64990
# CPU time returned by wait4() is 3.85941
# while last known CPU time is 1200.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.41
CPU time (s): 1200.01
CPU user time (s): 1199.54
CPU system time (s): 0.47
CPU usage (%): 99.9665
Max. virtual memory (cumulated for all children) (KiB): 168612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.79442
system time used= 0.06499
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6690
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= 15
involuntary context switches= 18
runsolver used 1.3348 second user time and 3.09553 second system time
The end
Begin job on node48 at 2009-05-20 15:29:09
IDJOB=1833919
IDBENCH=71068
IDSOLVER=671
FILE ID=node48/1833919-1242826149
PBS_JOBID= 9322483
Free space on /tmp= 66376 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_12_UNSAT.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833919-1242826149/watcher-1833919-1242826149 -o /tmp/evaluation-result-1833919-1242826149/solver-1833919-1242826149 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833919-1242826149.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ecc4810d82e30597ea8451526243ec09
RANDOM SEED=1372335547
node48.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.209
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.209
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: 1841504 kB
Buffers: 49976 kB
Cached: 114980 kB
SwapCached: 7560 kB
Active: 57076 kB
Inactive: 116816 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1841504 kB
SwapTotal: 4192956 kB
SwapFree: 4179700 kB
Dirty: 5544 kB
Writeback: 0 kB
Mapped: 14048 kB
Slab: 26504 kB
Committed_AS: 1115772 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= 66368 MiB
End job on node48 at 2009-05-20 15:49:12