0.00/0.00 c Parsing...
0.00/0.20 c ==============================================================================
0.00/0.20 c | | ORIGINAL | LEARNT | |
0.00/0.20 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.20 c ==============================================================================
0.00/0.20 c | 0 | 330948 988222 | 99284 0 0 nan | 0.000 % |
4.78/4.89 c | 0 | 329509 1447248 | -- 0 -- -- | -- | -1439/459026
4.78/4.89 c ==============================================================================
4.78/4.89 c Result : #vars: 2029 #clauses: 329509 #literals: 1447248
4.78/4.89 c CPU time: 4.84726 s
4.78/4.89 c ==============================================================================
5.28/5.31 c This is MiniSat 2.0 beta
5.28/5.31 c WARNING: for repeatability, setting FPU to use double precision
5.28/5.31 c ============================[ Problem Statistics ]=============================
5.28/5.31 c | |
5.28/5.31 c | Number of variables: 2029 |
5.28/5.31 c | Number of clauses: 329509 |
5.38/5.49 c | Parsing time: 0.17 s |
5.48/5.50 c ============================[ Search Statistics ]==============================
5.48/5.50 c | Conflicts | ORIGINAL | LEARNT | Progress |
5.48/5.50 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
5.48/5.50 c ===============================================================================
5.48/5.50 c | 0 | 2029 329509 1447248 | 109836 0 nan | 0.000 % |
5.57/5.63 c | 100 | 2029 329509 1447248 | 109836 100 58 | 0.000 % |
5.67/5.73 c | 201 | 2029 329509 1447248 | 109836 201 70 | 0.000 % |
5.77/5.84 c | 302 | 2029 329509 1447248 | 109836 302 71 | 0.000 % |
5.87/5.94 c | 412 | 2029 329509 1447248 | 109836 412 72 | 0.000 % |
5.97/6.02 c | 512 | 2029 329509 1447248 | 109836 512 75 | 0.000 % |
6.07/6.13 c | 622 | 2029 329509 1447248 | 109836 622 78 | 0.000 % |
6.17/6.23 c | 744 | 2029 329509 1447248 | 109836 744 79 | 0.000 % |
6.27/6.32 c | 846 | 2029 329509 1447248 | 109836 846 81 | 0.000 % |
6.37/6.43 c | 960 | 2029 329509 1447248 | 109836 960 82 | 0.000 % |
6.48/6.52 c | 1081 | 2029 329509 1447248 | 109836 1081 84 | 0.000 % |
6.58/6.64 c | 1215 | 2029 329509 1447248 | 109836 1215 84 | 0.000 % |
6.67/6.74 c | 1315 | 2029 329509 1447248 | 109836 1315 84 | 0.000 % |
6.77/6.82 c | 1427 | 2029 329509 1447248 | 109836 1427 86 | 0.000 % |
6.87/6.90 c | 1548 | 2029 329509 1447248 | 109836 1548 87 | 0.000 % |
6.97/7.02 c | 1683 | 2029 329509 1447248 | 109836 1683 88 | 0.000 % |
7.07/7.11 c | 1829 | 2029 329509 1447248 | 109836 1829 88 | 0.000 % |
7.17/7.24 c | 1929 | 2029 329509 1447248 | 109836 1929 87 | 0.000 % |
7.28/7.32 c | 2040 | 2029 329509 1447248 | 109836 2040 87 | 0.000 % |
7.38/7.44 c | 2161 | 2029 329509 1447248 | 109836 2161 87 | 0.000 % |
7.48/7.53 c | 2295 | 2029 329509 1447248 | 109836 2295 87 | 0.000 % |
7.58/7.67 c | 2446 | 2029 329509 1447248 | 109836 2446 88 | 0.000 % |
7.78/7.83 c | 2607 | 2029 329509 1447248 | 109836 2607 88 | 0.000 % |
7.88/7.93 c | 2711 | 2029 329509 1447248 | 109836 2711 88 | 0.000 % |
7.98/8.00 c | 2822 | 2029 329509 1447248 | 109836 2822 89 | 0.000 % |
8.08/8.11 c | 2944 | 2029 329509 1447248 | 109836 2944 89 | 0.000 % |
8.18/8.24 c | 3079 | 2029 329509 1447248 | 109836 3079 90 | 0.000 % |
8.28/8.39 c | 3225 | 2029 329509 1447248 | 109836 3225 90 | 0.000 % |
8.48/8.52 c | 3385 | 2029 329509 1447248 | 109836 3385 91 | 0.000 % |
8.57/8.61 c | 3561 | 2029 329509 1447248 | 109836 3561 91 | 0.000 % |
8.57/8.68 c | 3662 | 2029 329509 1447248 | 109836 3662 91 | 0.000 % |
8.68/8.79 c | 3772 | 2029 329509 1447248 | 109836 3772 91 | 0.000 % |
8.78/8.89 c | 3893 | 2029 329509 1447248 | 109836 3893 92 | 0.000 % |
8.97/9.02 c | 4026 | 2029 329509 1447248 | 109836 4026 92 | 0.000 % |
9.07/9.14 c | 4172 | 2029 329509 1447248 | 109836 4172 92 | 0.000 % |
9.17/9.26 c | 4334 | 2029 329509 1447248 | 109836 4334 93 | 0.000 % |
9.27/9.38 c | 4510 | 2029 329509 1447248 | 109836 4510 94 | 0.000 % |
9.37/9.49 c | 4705 | 2029 329509 1447248 | 109836 4705 95 | 0.000 % |
9.47/9.59 c | 4805 | 2029 329509 1447248 | 109836 4805 95 | 0.000 % |
9.57/9.68 c | 4915 | 2029 329509 1447248 | 109836 4915 95 | 0.000 % |
9.67/9.79 c | 5036 | 2029 329509 1447248 | 109836 5036 95 | 0.000 % |
9.88/9.93 c | 5170 | 2029 329509 1447248 | 109836 5170 95 | 0.000 % |
9.97/10.06 c | 5316 | 2029 329509 1447248 | 109836 5316 95 | 0.000 % |
10.07/10.18 c | 5478 | 2029 329509 1447248 | 109836 5478 96 | 0.000 % |
10.28/10.31 c | 5654 | 2029 329509 1447248 | 109836 5654 96 | 0.000 % |
10.38/10.46 c | 5853 | 2029 329509 1447248 | 109836 5853 98 | 0.000 % |
10.58/10.62 c | 6066 | 2029 329509 1447248 | 109836 6066 98 | 0.000 % |
10.68/10.75 c | 6166 | 2029 329509 1447248 | 109836 6166 98 | 0.000 % |
10.78/10.88 c | 6276 | 2029 329509 1447248 | 109836 6276 98 | 0.000 % |
10.88/10.97 c | 6397 | 2029 329509 1447248 | 109836 6397 99 | 0.000 % |
10.98/11.07 c | 6532 | 2029 329509 1447248 | 109836 6532 99 | 0.000 % |
11.18/11.23 c | 6681 | 2029 329509 1447248 | 109836 6681 99 | 0.000 % |
11.28/11.37 c | 6842 | 2029 329509 1447248 | 109836 6842 99 | 0.000 % |
11.48/11.53 c | 7020 | 2029 329509 1447248 | 109836 7020 100 | 0.000 % |
11.68/11.71 c | 7214 | 2029 329509 1447248 | 109836 7214 101 | 0.000 % |
11.88/11.91 c | 7429 | 2029 329509 1447248 | 109836 7429 101 | 0.000 % |
12.08/12.11 c | 7662 | 2029 329509 1447248 | 109836 7662 101 | 0.000 % |
12.18/12.22 c | 7762 | 2029 329509 1447248 | 109836 7762 101 | 0.000 % |
12.28/12.30 c | 7872 | 2029 329509 1447248 | 109836 7872 101 | 0.000 % |
12.38/12.42 c | 7996 | 2029 329509 1447248 | 109836 7996 101 | 0.000 % |
12.48/12.52 c | 8129 | 2029 329509 1447248 | 109836 8129 101 | 0.000 % |
12.58/12.66 c | 8275 | 2029 329509 1447248 | 109836 8275 101 | 0.000 % |
12.67/12.79 c | 8435 | 2029 329509 1447248 | 109836 8435 101 | 0.000 % |
12.87/12.91 c | 8611 | 2029 329509 1447248 | 109836 8611 101 | 0.000 % |
12.97/13.07 c | 8804 | 2029 329509 1447248 | 109836 8804 101 | 0.000 % |
13.18/13.27 c | 9018 | 2029 329509 1447248 | 109836 9018 102 | 0.000 % |
13.37/13.45 c | 9253 | 2029 329509 1447248 | 109836 9253 102 | 0.000 % |
13.57/13.67 c | 9510 | 2029 329509 1447248 | 109836 9510 102 | 0.000 % |
13.67/13.78 c | 9610 | 2029 329509 1447248 | 109836 9610 102 | 0.000 % |
13.77/13.86 c | 9720 | 2029 329509 1447248 | 109836 9720 103 | 0.000 % |
13.87/13.97 c | 9841 | 2029 329509 1447248 | 109836 9841 103 | 0.000 % |
13.97/14.07 c | 9974 | 2029 329509 1447248 | 109836 9974 103 | 0.000 % |
14.07/14.18 c | 10122 | 2029 329509 1447248 | 2147483647 10122 103 | 0.000 % |
14.18/14.27 c | 10283 | 2029 329509 1447248 | 2147483647 10283 103 | 0.000 % |
14.37/14.42 c | 10459 | 2029 329509 1447248 | 2147483647 10459 103 | 0.000 % |
14.47/14.57 c | 10653 | 2029 329509 1447248 | 2147483647 10653 104 | 0.000 % |
14.67/14.78 c | 10866 | 2029 329509 1447248 | 2147483647 10866 103 | 0.000 % |
14.97/15.05 c | 11099 | 2029 329509 1447248 | 2147483647 11099 104 | 0.000 % |
15.17/15.25 c | 11356 | 2029 329509 1447248 | 2147483647 11356 104 | 0.000 % |
15.37/15.44 c | 11638 | 2029 329509 1447248 | 2147483647 11638 104 | 0.000 % |
15.47/15.56 c | 11738 | 2029 329509 1447248 | 2147483647 11738 104 | 0.000 % |
15.58/15.67 c | 11849 | 2029 329509 1447248 | 2147483647 11849 104 | 0.000 % |
15.68/15.78 c | 11970 | 2029 329509 1447248 | 2147483647 11970 104 | 0.000 % |
15.88/15.91 c | 12104 | 2029 329509 1447248 | 2147483647 12104 104 | 0.000 % |
15.98/16.04 c | 12250 | 2029 329509 1447248 | 2147483647 12250 104 | 0.000 % |
16.08/16.12 c | 12410 | 2029 329509 1447248 | 2147483647 12410 105 | 0.000 % |
16.18/16.26 c | 12586 | 2029 329509 1447248 | 2147483647 12586 104 | 0.000 % |
16.38/16.41 c | 12779 | 2029 329509 1447248 | 2147483647 12779 106 | 0.000 % |
16.48/16.59 c | 12991 | 2029 329509 1447248 | 2147483647 12991 106 | 0.000 % |
16.68/16.80 c | 13226 | 2029 329509 1447248 | 2147483647 13226 106 | 0.000 % |
16.98/17.02 c | 13484 | 2029 329509 1447248 | 2147483647 13484 106 | 0.000 % |
17.08/17.18 c | 13765 | 2029 329509 1447248 | 2147483647 13765 106 | 0.000 % |
17.37/17.45 c | 14074 | 2029 329509 1447248 | 2147483647 14074 107 | 0.000 % |
17.48/17.57 c | 14175 | 2029 329509 1447248 | 2147483647 14175 108 | 0.000 % |
17.58/17.64 c | 14285 | 2029 329509 1447248 | 2147483647 14285 108 | 0.000 % |
17.67/17.74 c | 14406 | 2029 329509 1447248 | 2147483647 14406 108 | 0.000 % |
17.87/17.90 c | 14541 | 2029 329509 1447248 | 2147483647 14541 108 | 0.000 % |
17.97/18.04 c | 14687 | 2029 329509 1447248 | 2147483647 14687 108 | 0.000 % |
18.07/18.14 c | 14847 | 2029 329509 1447248 | 2147483647 14847 108 | 0.000 % |
18.27/18.31 c | 15024 | 2029 329509 1447248 | 2147483647 15024 108 | 0.000 % |
18.37/18.45 c | 15217 | 2029 329509 1447248 | 2147483647 15217 108 | 0.000 % |
18.58/18.62 c | 15430 | 2029 329509 1447248 | 2147483647 15430 108 | 0.000 % |
18.68/18.77 c | 15664 | 2029 329509 1447248 | 2147483647 15664 107 | 0.000 % |
18.87/18.92 c | 15920 | 2029 329509 1447248 | 2147483647 15920 107 | 0.000 % |
19.07/19.15 c | 16201 | 2029 329509 1447248 | 2147483647 16201 108 | 0.000 % |
19.57/19.64 c | 16513 | 2029 329509 1447248 | 2147483647 16513 107 | 0.000 % |
19.97/20.01 c | 16853 | 2029 329509 1447248 | 2147483647 16853 108 | 0.000 % |
20.08/20.11 c | 16954 | 2029 329509 1447248 | 2147483647 16954 108 | 0.000 % |
20.18/20.20 c | 17065 | 2029 329509 1447248 | 2147483647 17065 108 | 0.000 % |
20.28/20.35 c | 17186 | 2029 329509 1447248 | 2147483647 17186 108 | 0.000 % |
20.48/20.55 c | 17319 | 2029 329509 1447248 | 2147483647 17319 108 | 0.000 % |
20.68/20.73 c | 17469 | 2029 329509 1447248 | 2147483647 17469 108 | 0.000 % |
20.78/20.90 c | 17630 | 2029 329509 1447248 | 2147483647 17630 108 | 0.000 % |
20.97/21.05 c | 17807 | 2029 329509 1447248 | 2147483647 17807 108 | 0.000 % |
21.17/21.24 c | 18000 | 2029 329509 1447248 | 2147483647 18000 108 | 0.000 % |
21.37/21.44 c | 18214 | 2029 329509 1447248 | 2147483647 18214 108 | 0.000 % |
21.57/21.61 c | 18447 | 2029 329509 1447248 | 2147483647 18447 108 | 0.000 % |
21.88/21.90 c | 18704 | 2029 329509 1447248 | 2147483647 18704 108 | 0.000 % |
22.07/22.14 c | 18986 | 2029 329509 1447248 | 2147483647 18986 108 | 0.000 % |
22.37/22.43 c | 19296 | 2029 329509 1447248 | 2147483647 19296 108 | 0.000 % |
22.57/22.63 c | 19635 | 2029 329509 1447248 | 2147483647 19635 109 | 0.000 % |
22.87/22.96 c | 20007 | 2029 329509 1447248 | 2147483647 20007 109 | 0.000 % |
23.07/23.11 c | 20107 | 2029 329509 1447248 | 2147483647 20107 109 | 0.000 % |
23.17/23.21 c | 20218 | 2029 329509 1447248 | 2147483647 20218 109 | 0.000 % |
23.27/23.33 c | 20340 | 2029 329509 1447248 | 2147483647 20340 109 | 0.000 % |
23.37/23.50 c | 20473 | 2029 329509 1447248 | 2147483647 20473 109 | 0.000 % |
23.58/23.62 c | 20619 | 2029 329509 1447248 | 2147483647 20619 109 | 0.000 % |
23.68/23.79 c | 20779 | 2029 329509 1447248 | 2147483647 20779 109 | 0.000 % |
23.88/23.99 c | 20955 | 2029 329509 1447248 | 2147483647 20955 109 | 0.000 % |
24.08/24.14 c | 21152 | 2029 329509 1447248 | 2147483647 21152 110 | 0.000 % |
24.27/24.30 c | 21366 | 2029 329509 1447248 | 2147483647 21366 110 | 0.000 % |
24.37/24.50 c | 21602 | 2029 329509 1447248 | 2147483647 21602 110 | 0.000 % |
24.67/24.72 c | 21859 | 2029 329509 1447248 | 2147483647 21859 110 | 0.000 % |
24.87/25.00 c | 22142 | 2029 329509 1447248 | 2147483647 22142 110 | 0.000 % |
25.17/25.23 c | 22451 | 2029 329509 1447248 | 2147483647 22451 110 | 0.000 % |
25.47/25.57 c | 22791 | 2029 329509 1447248 | 2147483647 22791 111 | 0.000 % |
26.07/26.12 c | 23163 | 2029 329509 1447248 | 2147483647 23163 111 | 0.000 % |
26.68/26.79 c | 23574 | 2029 329509 1447248 | 2147483647 23574 110 | 0.000 % |
26.88/26.95 c | 23675 | 2029 329509 1447248 | 2147483647 23675 110 | 0.000 % |
27.08/27.11 c | 23785 | 2029 329509 1447248 | 2147483647 23785 110 | 0.000 % |
27.18/27.25 c | 23906 | 2029 329509 1447248 | 2147483647 23906 110 | 0.000 % |
27.38/27.42 c | 24039 | 2029 329509 1447248 | 2147483647 24039 110 | 0.000 % |
27.48/27.58 c | 24186 | 2029 329509 1447248 | 2147483647 24186 110 | 0.000 % |
27.78/27.81 c | 24346 | 2029 329509 1447248 | 2147483647 24346 110 | 0.000 % |
27.87/27.93 c | 24523 | 2029 329509 1447248 | 2147483647 24523 111 | 0.000 % |
27.87/28.00 c | 24716 | 2029 329509 1447248 | 2147483647 24716 111 | 0.000 % |
28.07/28.20 c | 24928 | 2029 329509 1447248 | 2147483647 24928 111 | 0.000 % |
28.27/28.34 c | 25161 | 2029 329509 1447248 | 2147483647 25161 111 | 0.000 % |
28.48/28.57 c | 25417 | 2029 329509 1447248 | 2147483647 25417 111 | 0.000 % |
28.77/28.87 c | 25698 | 2029 329509 1447248 | 2147483647 25698 111 | 0.000 % |
29.07/29.11 c | 26007 | 2029 329509 1447248 | 2147483647 26007 112 | 0.000 % |
29.47/29.59 c | 26349 | 2029 329509 1447248 | 2147483647 26349 112 | 0.000 % |
29.97/30.03 c | 26722 | 2029 329509 1447248 | 2147483647 26722 113 | 0.001 % |
30.37/30.43 c | 27132 | 2029 329509 1447248 | 2147483647 27132 114 | 0.000 % |
30.77/30.82 c | 27582 | 2029 329509 1447248 | 2147483647 27582 114 | 0.000 % |
30.87/30.95 c | 27684 | 2029 329509 1447248 | 2147483647 27684 114 | 0.000 % |
31.07/31.12 c | 27794 | 2029 329509 1447248 | 2147483647 27794 114 | 0.000 % |
31.17/31.25 c | 27916 | 2029 329509 1447248 | 2147483647 27916 114 | 0.000 % |
31.27/31.38 c | 28050 | 2029 329509 1447248 | 2147483647 28050 114 | 0.000 % |
31.47/31.56 c | 28196 | 2029 329509 1447248 | 2147483647 28196 114 | 0.000 % |
31.67/31.75 c | 28358 | 2029 329509 1447248 | 2147483647 28358 114 | 0.000 % |
31.87/31.94 c | 28535 | 2029 329509 1447248 | 2147483647 28535 114 | 0.000 % |
32.07/32.14 c | 28728 | 2029 329509 1447248 | 2147483647 28728 115 | 0.000 % |
32.37/32.43 c | 28940 | 2029 329509 1447248 | 2147483647 28940 115 | 0.000 % |
32.67/32.72 c | 29175 | 2029 329509 1447248 | 2147483647 29175 115 | 0.000 % |
32.97/33.01 c | 29431 | 2029 329509 1447248 | 2147483647 29431 115 | 0.000 % |
33.27/33.35 c | 29712 | 2029 329509 1447248 | 2147483647 29712 115 | 0.000 % |
33.57/33.63 c | 30023 | 2029 329509 1447248 | 2147483647 30023 115 | 0.000 % |
33.87/33.92 c | 30363 | 2029 329509 1447248 | 2147483647 30363 115 | 0.000 % |
34.27/34.33 c | 30737 | 2029 329509 1447248 | 2147483647 30737 115 | 0.000 % |
34.67/34.73 c | 31146 | 2029 329509 1447248 | 2147483647 31146 116 | 0.000 % |
35.07/35.20 c | 31596 | 2029 329509 1447248 | 2147483647 31596 116 | 0.000 % |
35.77/35.80 c | 32089 | 2029 329509 1447248 | 2147483647 32089 117 | 0.000 % |
35.87/35.93 c | 32191 | 2029 329509 1447248 | 2147483647 32191 117 | 0.000 % |
35.97/36.08 c | 32303 | 2029 329509 1447248 | 2147483647 32303 117 | 0.000 % |
36.07/36.19 c | 32425 | 2029 329509 1447248 | 2147483647 32425 117 | 0.000 % |
36.27/36.32 c | 32558 | 2029 329509 1447248 | 2147483647 32558 117 | 0.000 % |
36.46/36.58 c | 32705 | 2029 329509 1447248 | 2147483647 32705 117 | 0.000 % |
36.66/36.79 c | 32868 | 2029 329509 1447248 | 2147483647 32868 117 | 0.000 % |
36.96/37.09 c | 33044 | 2029 329509 1447248 | 2147483647 33044 117 | 0.000 % |
37.47/37.57 c | 33238 | 2029 329509 1447248 | 2147483647 33238 117 | 0.000 % |
37.77/37.83 c | 33450 | 2029 329509 1447248 | 2147483647 33450 117 | 0.000 % |
37.97/38.03 c | 33686 | 2029 329509 1447248 | 2147483647 33686 117 | 0.000 % |
38.27/38.30 c | 33945 | 2029 329509 1447248 | 2147483647 33945 117 | 0.000 % |
38.87/38.92 c | 34226 | 2029 329509 1447248 | 2147483647 34226 116 | 0.000 % |
39.27/39.35 c | 34538 | 2029 329509 1447248 | 2147483647 34538 116 | 0.000 % |
39.87/39.98 c | 34879 | 2029 329509 1447248 | 2147483647 34879 116 | 0.000 % |
40.37/40.48 c | 35251 | 2029 329509 1447248 | 2147483647 35251 116 | 0.000 % |
40.87/40.95 c | 35662 | 2029 329509 1447248 | 2147483647 35662 116 | 0.000 % |
41.26/41.39 c | 36111 | 2029 329509 1447248 | 2147483647 36111 117 | 0.000 % |
41.77/41.86 c | 36604 | 2029 329509 1447248 | 2147483647 36604 117 | 0.000 % |
42.26/42.36 c | 37148 | 2029 329509 1447248 | 2147483647 37148 117 | 0.000 % |
42.47/42.51 c | 37249 | 2029 329509 1447248 | 2147483647 37249 117 | 0.000 % |
42.67/42.71 c | 37359 | 2029 329509 1447248 | 2147483647 37359 117 | 0.000 % |
42.88/42.96 c | 37481 | 2029 329509 1447248 | 2147483647 37481 117 | 0.000 % |
43.07/43.14 c | 37617 | 2029 329509 1447248 | 2147483647 37617 117 | 0.000 % |
43.27/43.31 c | 37765 | 2029 329509 1447248 | 2147483647 37765 117 | 0.000 % |
43.37/43.47 c | 37925 | 2029 329509 1447248 | 2147483647 37925 117 | 0.000 % |
43.57/43.62 c | 38101 | 2029 329509 1447248 | 2147483647 38101 117 | 0.000 % |
43.77/43.87 c | 38294 | 2029 329509 1447248 | 2147483647 38294 117 | 0.000 % |
43.98/44.07 c | 38506 | 2029 329509 1447248 | 2147483647 38506 118 | 0.000 % |
44.27/44.31 c | 38740 | 2029 329509 1447248 | 2147483647 38740 118 | 0.000 % |
44.57/44.63 c | 38996 | 2029 329509 1447248 | 2147483647 38996 118 | 0.000 % |
44.97/45.02 c | 39277 | 2029 329509 1447248 | 2147483647 39277 118 | 0.000 % |
45.17/45.20 c | 39586 | 2029 329509 1447248 | 2147483647 39586 118 | 0.000 % |
45.67/45.77 c | 39925 | 2029 329509 1447248 | 2147483647 39925 118 | 0.000 % |
46.07/46.16 c | 40298 | 2029 329509 1447248 | 2147483647 40298 118 | 0.000 % |
46.56/46.63 c | 40709 | 2029 329509 1447248 | 2147483647 40709 118 | 0.000 % |
46.96/47.00 c | 41160 | 2029 329509 1447248 | 2147483647 41160 118 | 0.000 % |
47.56/47.67 c | 41654 | 2029 329509 1447248 | 2147483647 41654 118 | 0.000 % |
47.96/48.05 c | 42196 | 2029 329509 1447248 | 2147483647 42196 119 | 0.000 % |
48.46/48.54 c | 42794 | 2029 329509 1447248 | 2147483647 42794 120 | 0.000 % |
48.56/48.61 c | 42897 | 2029 329509 1447248 | 2147483647 42897 120 | 0.000 % |
48.56/48.69 c | 43008 | 2029 329509 1447248 | 2147483647 43008 120 | 0.000 % |
48.86/48.92 c | 43129 | 2029 329509 1447248 | 2147483647 43129 120 | 0.000 % |
48.96/49.06 c | 43262 | 2029 329509 1447248 | 2147483647 43262 120 | 0.000 % |
49.16/49.22 c | 43408 | 2029 329509 1447248 | 2147483647 43408 119 | 0.000 % |
49.46/49.51 c | 43568 | 2029 329509 1447248 | 2147483647 43568 119 | 0.000 % |
49.76/49.84 c | 43745 | 2029 329509 1447248 | 2147483647 43745 119 | 0.000 % |
50.17/50.28 c | 43938 | 2029 329509 1447248 | 2147483647 43938 119 | 0.000 % |
50.67/50.70 c | 44152 | 2029 329509 1447248 | 2147483647 44152 119 | 0.000 % |
50.87/50.90 c | 44386 | 2029 329509 1447248 | 2147483647 44386 119 | 0.000 % |
51.47/51.52 c | 44645 | 2029 329509 1447248 | 2147483647 44645 119 | 0.000 % |
51.67/51.78 c | 44928 | 2029 329509 1447248 | 2147483647 44928 119 | 0.000 % |
52.17/52.27 c | 45238 | 2029 329509 1447248 | 2147483647 45238 119 | 0.000 % |
52.47/52.59 c | 45579 | 2029 329509 1447248 | 2147483647 45579 119 | 0.000 % |
52.97/53.04 c | 45954 | 2029 329509 1447248 | 2147483647 45954 119 | 0.000 % |
53.56/53.62 c | 46363 | 2029 329509 1447248 | 2147483647 46363 119 | 0.000 % |
54.06/54.13 c | 46812 | 2029 329509 1447248 | 2147483647 46812 119 | 0.000 % |
54.76/54.86 c | 47306 | 2029 329509 1447248 | 2147483647 47306 119 | 0.000 % |
55.66/55.72 c | 47849 | 2029 329509 1447248 | 2147483647 47849 119 | 0.000 % |
56.36/56.45 c | 48445 | 2029 329509 1447248 | 2147483647 48445 119 | 0.000 % |
57.06/57.19 c | 49103 | 2029 329509 1447248 | 2147483647 49103 119 | 0.000 % |
57.36/57.40 c | 49203 | 2029 329509 1447248 | 2147483647 49203 119 | 0.000 % |
57.46/57.56 c | 49313 | 2029 329509 1447248 | 2147483647 49313 119 | 0.000 % |
57.66/57.78 c | 49435 | 2029 329509 1447248 | 2147483647 49435 119 | 0.000 % |
57.76/57.89 c | 49570 | 2029 329509 1447248 | 2147483647 49570 119 | 0.000 % |
57.96/58.05 c | 49716 | 2029 329509 1447248 | 2147483647 49716 119 | 0.000 % |
58.16/58.26 c | 49876 | 2029 329509 1447248 | 2147483647 49876 119 | 0.000 % |
58.46/58.53 c | 50053 | 2029 329509 1447248 | 2147483647 50053 119 | 0.000 % |
58.76/58.85 c | 50247 | 2029 329509 1447248 | 2147483647 50247 119 | 0.000 % |
59.16/59.23 c | 50461 | 2029 329509 1447248 | 2147483647 50461 120 | 0.000 % |
59.47/59.58 c | 50694 | 2029 329509 1447248 | 2147483647 50694 120 | 0.000 % |
59.87/59.92 c | 50952 | 2029 329509 1447248 | 2147483647 50952 120 | 0.000 % |
60.17/60.28 c | 51233 | 2029 329509 1447248 | 2147483647 51233 120 | 0.000 % |
60.57/60.63 c | 51544 | 2029 329509 1447248 | 2147483647 51544 119 | 0.000 % |
60.96/61.03 c | 51885 | 2029 329509 1447248 | 2147483647 51885 120 | 0.000 % |
61.47/61.51 c | 52257 | 2029 329509 1447248 | 2147483647 52257 120 | 0.000 % |
61.96/62.03 c | 52666 | 2029 329509 1447248 | 2147483647 52666 119 | 0.000 % |
62.26/62.36 c | 53115 | 2029 329509 1447248 | 2147483647 53115 119 | 0.000 % |
62.96/63.07 c | 53608 | 2029 329509 1447248 | 2147483647 53608 119 | 0.000 % |
63.67/63.71 c | 54151 | 2029 329509 1447248 | 2147483647 54151 120 | 0.000 % |
64.57/64.61 c | 54749 | 2029 329509 1447248 | 2147483647 54749 120 | 0.000 % |
65.36/65.44 c | 55404 | 2029 329509 1447248 | 2147483647 55404 121 | 0.000 % |
66.06/66.19 c | 56126 | 2029 329509 1447248 | 2147483647 56126 121 | 0.000 % |
66.26/66.36 c | 56227 | 2029 329509 1447248 | 2147483647 56227 121 | 0.000 % |
66.46/66.55 c | 56337 | 2029 329509 1447248 | 2147483647 56337 121 | 0.000 % |
66.66/66.70 c | 56461 | 2029 329509 1447248 | 2147483647 56461 121 | 0.000 % |
66.86/66.94 c | 56594 | 2029 329509 1447248 | 2147483647 56594 121 | 0.000 % |
67.07/67.19 c | 56740 | 2029 329509 1447248 | 2147483647 56740 121 | 0.000 % |
67.36/67.45 c | 56900 | 2029 329509 1447248 | 2147483647 56900 121 | 0.000 % |
67.66/67.73 c | 57080 | 2029 329509 1447248 | 2147483647 57080 121 | 0.000 % |
68.07/68.11 c | 57274 | 2029 329509 1447248 | 2147483647 57274 121 | 0.000 % |
68.56/68.62 c | 57486 | 2029 329509 1447248 | 2147483647 57486 121 | 0.000 % |
68.86/68.99 c | 57720 | 2029 329509 1447248 | 2147483647 57720 121 | 0.000 % |
69.26/69.39 c | 57976 | 2029 329509 1447248 | 2147483647 57976 121 | 0.000 % |
69.86/69.94 c | 58257 | 2029 329509 1447248 | 2147483647 58257 121 | 0.000 % |
70.26/70.38 c | 58568 | 2029 329509 1447248 | 2147483647 58568 121 | 0.000 % |
70.76/70.86 c | 58912 | 2029 329509 1447248 | 2147483647 58912 121 | 0.000 % |
71.06/71.19 c | 59285 | 2029 329509 1447248 | 2147483647 59285 122 | 0.000 % |
71.56/71.62 c | 59694 | 2029 329509 1447248 | 2147483647 59694 122 | 0.000 % |
71.95/72.06 c | 60146 | 2029 329509 1447248 | 2147483647 60146 122 | 0.000 % |
72.47/72.57 c | 60639 | 2029 329509 1447248 | 2147483647 60639 122 | 0.000 % |
73.36/73.48 c | 61182 | 2029 329509 1447248 | 2147483647 61182 122 | 0.000 % |
74.86/74.94 c | 61780 | 2029 329509 1447248 | 2147483647 61780 122 | 0.000 % |
75.96/76.02 c | 62439 | 2029 329509 1447248 | 2147483647 62439 122 | 0.000 % |
76.66/76.75 c | 63159 | 2029 329509 1447248 | 2147483647 63159 123 | 0.000 % |
77.56/77.61 c | 63952 | 2029 329509 1447248 | 2147483647 63952 122 | 0.000 % |
77.86/77.95 c | 64053 | 2029 329509 1447248 | 2147483647 64053 122 | 0.000 % |
78.06/78.13 c | 64163 | 2029 329509 1447248 | 2147483647 64163 122 | 0.000 % |
78.16/78.29 c | 64285 | 2029 329509 1447248 | 2147483647 64285 122 | 0.000 % |
78.46/78.54 c | 64418 | 2029 329509 1447248 | 2147483647 64418 122 | 0.000 % |
78.76/78.84 c | 64564 | 2029 329509 1447248 | 2147483647 64564 122 | 0.000 % |
79.06/79.16 c | 64724 | 2029 329509 1447248 | 2147483647 64724 122 | 0.000 % |
79.56/79.65 c | 64902 | 2029 329509 1447248 | 2147483647 64902 122 | 0.000 % |
79.76/79.90 c | 65096 | 2029 329509 1447248 | 2147483647 65096 122 | 0.000 % |
80.26/80.34 c | 65309 | 2029 329509 1447248 | 2147483647 65309 122 | 0.000 % |
80.46/80.52 c | 65543 | 2029 329509 1447248 | 2147483647 65543 122 | 0.000 % |
80.75/80.85 c | 65801 | 2029 329509 1447248 | 2147483647 65801 122 | 0.000 % |
81.15/81.23 c | 66083 | 2029 329509 1447248 | 2147483647 66083 122 | 0.000 % |
81.75/81.82 c | 66393 | 2029 329509 1447248 | 2147483647 66393 122 | 0.000 % |
82.55/82.60 c | 66732 | 2029 329509 1447248 | 2147483647 66732 122 | 0.000 % |
83.16/83.24 c | 67104 | 2029 329509 1447248 | 2147483647 67104 122 | 0.000 % |
83.76/83.86 c | 67513 | 2029 329509 1447248 | 2147483647 67513 122 | 0.000 % |
84.56/84.69 c | 67962 | 2029 329509 1447248 | 2147483647 67962 122 | 0.000 % |
85.46/85.55 c | 68455 | 2029 329509 1447248 | 2147483647 68455 122 | 0.000 % |
86.46/86.54 c | 68999 | 2029 329509 1447248 | 2147483647 68999 122 | 0.000 % |
87.26/87.38 c | 69596 | 2029 329509 1447248 | 2147483647 69596 122 | 0.000 % |
88.26/88.34 c | 70251 | 2029 329509 1447248 | 2147483647 70251 122 | 0.000 % |
89.95/90.02 c | 70971 | 2029 329509 1447248 | 2147483647 70971 122 | 0.000 % |
91.65/91.75 c | 71763 | 2029 329509 1447248 | 2147483647 71763 122 | 0.000 % |
93.06/93.14 c | 72634 | 2029 329509 1447248 | 2147483647 72634 122 | 0.000 % |
93.46/93.51 c | 72734 | 2029 329509 1447248 | 2147483647 72734 122 | 0.000 % |
93.66/93.78 c | 72844 | 2029 329509 1447248 | 2147483647 72844 122 | 0.000 % |
93.86/93.99 c | 72965 | 2029 329509 1447248 | 2147483647 72965 122 | 0.000 % |
94.16/94.27 c | 73099 | 2029 329509 1447248 | 2147483647 73099 122 | 0.000 % |
94.46/94.52 c | 73245 | 2029 329509 1447248 | 2147483647 73245 122 | 0.000 % |
94.86/94.91 c | 73405 | 2029 329509 1447248 | 2147483647 73405 122 | 0.000 % |
95.16/95.26 c | 73585 | 2029 329509 1447248 | 2147483647 73585 122 | 0.000 % |
95.96/96.03 c | 73779 | 2029 329509 1447248 | 2147483647 73779 122 | 0.000 % |
96.46/96.53 c | 73993 | 2029 329509 1447248 | 2147483647 73993 121 | 0.000 % |
96.95/97.02 c | 74226 | 2029 329509 1447248 | 2147483647 74226 121 | 0.000 % |
97.35/97.46 c | 74483 | 2029 329509 1447248 | 2147483647 74483 121 | 0.000 % |
97.65/97.79 c | 74765 | 2029 329509 1447248 | 2147483647 74765 121 | 0.000 % |
98.15/98.20 c | 75074 | 2029 329509 1447248 | 2147483647 75074 121 | 0.000 % |
98.75/98.83 c | 75413 | 2029 329509 1447248 | 2147483647 75413 122 | 0.000 % |
99.25/99.33 c | 75785 | 2029 329509 1447248 | 2147483647 75785 122 | 0.000 % |
99.95/100.06 c | 76195 | 2029 329509 1447248 | 2147483647 76195 122 | 0.000 % |
100.65/100.74 c | 76644 | 2029 329509 1447248 | 2147483647 76644 122 | 0.000 % |
101.85/101.94 c | 77137 | 2029 329509 1447248 | 2147483647 77137 122 | 0.000 % |
102.65/102.74 c | 77679 | 2029 329509 1447248 | 2147483647 77679 121 | 0.000 % |
103.55/103.67 c | 78275 | 2029 329509 1447248 | 2147483647 78275 121 | 0.000 % |
104.46/104.56 c | 78931 | 2029 329509 1447248 | 2147483647 78931 120 | 0.000 % |
104.95/105.08 c | 79651 | 2029 329509 1447248 | 2147483647 79651 120 | 0.000 % |
107.15/107.21 c | 80449 | 2029 329509 1447248 | 2147483647 80449 120 | 0.000 % |
108.75/108.85 c | 81322 | 2029 329509 1447248 | 2147483647 81322 119 | 0.000 % |
109.65/109.78 c | 82280 | 2029 329509 1447248 | 2147483647 82280 119 | 0.000 % |
109.75/109.88 c | 82380 | 2029 329509 1447248 | 2147483647 82380 119 | 0.000 % |
110.05/110.14 c | 82490 | 2029 329509 1447248 | 2147483647 82490 119 | 0.000 % |
110.35/110.47 c | 82611 | 2029 329509 1447248 | 2147483647 82611 119 | 0.000 % |
110.65/110.80 c | 82745 | 2029 329509 1447248 | 2147483647 82745 119 | 0.000 % |
111.15/111.22 c | 82894 | 2029 329509 1447248 | 2147483647 82894 119 | 0.000 % |
111.55/111.61 c | 83054 | 2029 329509 1447248 | 2147483647 83054 119 | 0.000 % |
112.05/112.14 c | 83235 | 2029 329509 1447248 | 2147483647 83235 120 | 0.000 % |
112.75/112.81 c | 83430 | 2029 329509 1447248 | 2147483647 83430 120 | 0.000 % |
113.35/113.45 c | 83643 | 2029 329509 1447248 | 2147483647 83643 119 | 0.000 % |
113.75/113.84 c | 83877 | 2029 329509 1447248 | 2147483647 83877 119 | 0.000 % |
114.15/114.25 c | 84133 | 2029 329509 1447248 | 2147483647 84133 119 | 0.000 % |
114.74/114.81 c | 84418 | 2029 329509 1447248 | 2147483647 84418 120 | 0.000 % |
115.14/115.21 c | 84728 | 2029 329509 1447248 | 2147483647 84728 120 | 0.000 % |
116.14/116.27 c | 85067 | 2029 329509 1447248 | 2147483647 85067 120 | 0.000 % |
117.05/117.16 c | 85439 | 2029 329509 1447248 | 2147483647 85439 120 | 0.000 % |
117.75/117.87 c | 85848 | 2029 329509 1447248 | 2147483647 85848 120 | 0.000 % |
118.95/119.06 c | 86299 | 2029 329509 1447248 | 2147483647 86299 120 | 0.000 % |
119.85/119.94 c | 86793 | 2029 329509 1447248 | 2147483647 86793 120 | 0.000 % |
120.45/120.58 c | 87335 | 2029 329509 1447248 | 2147483647 87335 120 | 0.000 % |
121.34/121.41 c | 87932 | 2029 329509 1447248 | 2147483647 87932 120 | 0.000 % |
122.34/122.40 c | 88587 | 2029 329509 1447248 | 2147483647 88587 120 | 0.000 % |
123.24/123.37 c | 89308 | 2029 329509 1447248 | 2147483647 89308 120 | 0.000 % |
124.34/124.44 c | 90101 | 2029 329509 1447248 | 2147483647 90101 120 | 0.000 % |
125.64/125.78 c | 90976 | 2029 329509 1447248 | 2147483647 90976 121 | 0.000 % |
127.04/127.17 c | 91940 | 2029 329509 1447248 | 2147483647 91940 121 | 0.000 % |
128.84/128.91 c | 92994 | 2029 329509 1447248 | 2147483647 92994 121 | 0.000 % |
128.94/129.07 c | 93094 | 2029 329509 1447248 | 2147483647 93094 121 | 0.000 % |
129.14/129.24 c | 93205 | 2029 329509 1447248 | 2147483647 93205 121 | 0.000 % |
129.24/129.34 c | 93327 | 2029 329509 1447248 | 2147483647 93327 121 | 0.000 % |
129.54/129.64 c | 93460 | 2029 329509 1447248 | 2147483647 93460 121 | 0.000 % |
129.74/129.90 c | 93608 | 2029 329509 1447248 | 2147483647 93608 121 | 0.000 % |
130.14/130.23 c | 93769 | 2029 329509 1447248 | 2147483647 93769 121 | 0.000 % |
130.44/130.53 c | 93945 | 2029 329509 1447248 | 2147483647 93945 121 | 0.000 % |
130.84/130.96 c | 94140 | 2029 329509 1447248 | 2147483647 94140 121 | 0.000 % |
131.45/131.53 c | 94352 | 2029 329509 1447248 | 2147483647 94352 121 | 0.000 % |
131.85/131.92 c | 94585 | 2029 329509 1447248 | 2147483647 94585 121 | 0.000 % |
132.45/132.57 c | 94843 | 2029 329509 1447248 | 2147483647 94843 121 | 0.000 % |
133.05/133.16 c | 95125 | 2029 329509 1447248 | 2147483647 95125 121 | 0.000 % |
133.65/133.76 c | 95434 | 2029 329509 1447248 | 2147483647 95434 121 | 0.000 % |
134.24/134.36 c | 95773 | 2029 329509 1447248 | 2147483647 95773 121 | 0.000 % |
134.74/134.87 c | 96145 | 2029 329509 1447248 | 2147483647 96145 121 | 0.000 % |
135.74/135.80 c | 96555 | 2029 329509 1447248 | 2147483647 96555 121 | 0.000 % |
136.74/136.80 c | 97004 | 2029 329509 1447248 | 2147483647 97004 121 | 0.000 % |
137.74/137.88 c | 97497 | 2029 329509 1447248 | 2147483647 97497 121 | 0.000 % |
138.74/138.87 c | 98043 | 2029 329509 1447248 | 2147483647 98043 121 | 0.000 % |
139.75/139.86 c | 98639 | 2029 329509 1447248 | 2147483647 98639 121 | 0.000 % |
141.55/141.67 c | 99297 | 2029 329509 1447248 | 2147483647 99297 121 | 0.000 % |
142.54/142.69 c | 100017 | 2029 329509 1447248 | 2147483647 100017 121 | 0.000 % |
144.14/144.21 c | 100809 | 2029 329509 1447248 | 2147483647 100809 121 | 0.000 % |
145.24/145.36 c | 101684 | 2029 329509 1447248 | 2147483647 101684 121 | 0.000 % |
146.34/146.43 c | 102643 | 2029 329509 1447248 | 2147483647 102643 121 | 0.000 % |
149.44/149.50 c | 103697 | 2029 329509 1447248 | 2147483647 103697 121 | 0.000 % |
150.55/150.61 c | 104855 | 2029 329509 1447248 | 2147483647 104855 121 | 0.000 % |
150.84/150.92 c | 104956 | 2029 329509 1447248 | 2147483647 104956 121 | 0.000 % |
151.04/151.15 c | 105068 | 2029 329509 1447248 | 2147483647 105068 121 | 0.000 % |
151.24/151.40 c | 105191 | 2029 329509 1447248 | 2147483647 105191 121 | 0.000 % |
151.54/151.63 c | 105325 | 2029 329509 1447248 | 2147483647 105325 121 | 0.000 % |
151.94/152.04 c | 105474 | 2029 329509 1447248 | 2147483647 105474 121 | 0.000 % |
152.24/152.35 c | 105635 | 2029 329509 1447248 | 2147483647 105635 121 | 0.000 % |
152.74/152.87 c | 105812 | 2029 329509 1447248 | 2147483647 105812 121 | 0.000 % |
153.54/153.62 c | 106006 | 2029 329509 1447248 | 2147483647 106006 121 | 0.000 % |
153.94/154.00 c | 106220 | 2029 329509 1447248 | 2147483647 106220 121 | 0.000 % |
154.24/154.37 c | 106453 | 2029 329509 1447248 | 2147483647 106453 121 | 0.000 % |
154.64/154.77 c | 106709 | 2029 329509 1447248 | 2147483647 106709 121 | 0.000 % |
154.94/155.09 c | 106990 | 2029 329509 1447248 | 2147483647 106990 121 | 0.000 % |
155.64/155.79 c | 107299 | 2029 329509 1447248 | 2147483647 107299 121 | 0.000 % |
156.44/156.56 c | 107638 | 2029 329509 1447248 | 2147483647 107638 121 | 0.000 % |
156.94/157.08 c | 108010 | 2029 329509 1447248 | 2147483647 108010 121 | 0.000 % |
157.73/157.83 c | 108420 | 2029 329509 1447248 | 2147483647 108420 121 | 0.000 % |
158.83/158.92 c | 108870 | 2029 329509 1447248 | 2147483647 108870 121 | 0.000 % |
159.44/159.55 c | 109364 | 2029 329509 1447248 | 2147483647 109364 121 | 0.000 % |
160.54/160.64 c | 109906 | 2029 329509 1447248 | 2147483647 109906 121 | 0.000 % |
161.23/161.36 c | 110502 | 2029 329509 1447248 | 2147483647 110502 121 | 0.000 % |
162.53/162.69 c | 111159 | 2029 329509 1447248 | 2147483647 111159 121 | 0.000 % |
164.13/164.23 c | 111879 | 2029 329509 1447248 | 2147483647 111879 121 | 0.000 % |
165.34/165.42 c | 112672 | 2029 329509 1447248 | 2147483647 112672 121 | 0.000 % |
166.84/166.98 c | 113544 | 2029 329509 1447248 | 2147483647 113544 121 | 0.000 % |
168.64/168.70 c | 114502 | 2029 329509 1447248 | 2147483647 114502 121 | 0.000 % |
170.63/170.78 c | 115558 | 2029 329509 1447248 | 2147483647 115558 121 | 0.000 % |
174.53/174.68 c | 116721 | 2029 329509 1447248 | 2147483647 116721 121 | 0.000 % |
176.33/176.41 c | 117996 | 2029 329509 1447248 | 2147483647 117996 121 | 0.000 % |
176.73/176.83 c | 118096 | 2029 329509 1447248 | 2147483647 118096 121 | 0.000 % |
176.93/177.10 c | 118207 | 2029 329509 1447248 | 2147483647 118207 121 | 0.000 % |
177.23/177.37 c | 118330 | 2029 329509 1447248 | 2147483647 118330 121 | 0.000 % |
177.63/177.70 c | 118464 | 2029 329509 1447248 | 2147483647 118464 121 | 0.000 % |
177.93/178.05 c | 118610 | 2029 329509 1447248 | 2147483647 118610 121 | 0.000 % |
178.33/178.45 c | 118770 | 2029 329509 1447248 | 2147483647 118770 121 | 0.000 % |
178.73/178.84 c | 118947 | 2029 329509 1447248 | 2147483647 118947 121 | 0.000 % |
179.23/179.30 c | 119141 | 2029 329509 1447248 | 2147483647 119141 121 | 0.000 % |
179.73/179.89 c | 119353 | 2029 329509 1447248 | 2147483647 119353 121 | 0.000 % |
180.23/180.34 c | 119587 | 2029 329509 1447248 | 2147483647 119587 122 | 0.000 % |
180.93/181.08 c | 119844 | 2029 329509 1447248 | 2147483647 119844 122 | 0.000 % |
181.44/181.55 c | 120126 | 2029 329509 1447248 | 2147483647 120126 122 | 0.000 % |
181.93/182.08 c | 120436 | 2029 329509 1447248 | 2147483647 120436 122 | 0.000 % |
182.93/183.04 c | 120778 | 2029 329509 1447248 | 2147483647 120778 122 | 0.000 % |
183.33/183.43 c | 121150 | 2029 329509 1447248 | 2147483647 121150 122 | 0.000 % |
184.03/184.17 c | 121560 | 2029 329509 1447248 | 2147483647 121560 122 | 0.000 % |
184.83/184.90 c | 122012 | 2029 329509 1447248 | 2147483647 122012 122 | 0.000 % |
186.03/186.11 c | 122505 | 2029 329509 1447248 | 2147483647 122505 122 | 0.000 % |
187.23/187.35 c | 123049 | 2029 329509 1447248 | 2147483647 123049 122 | 0.000 % |
188.23/188.37 c | 123645 | 2029 329509 1447248 | 2147483647 123645 122 | 0.000 % |
189.63/189.72 c | 124300 | 2029 329509 1447248 | 2147483647 124300 122 | 0.000 % |
191.63/191.76 c | 125021 | 2029 329509 1447248 | 2147483647 125021 122 | 0.000 % |
193.43/193.59 c | 125815 | 2029 329509 1447248 | 2147483647 125815 123 | 0.000 % |
195.93/196.02 c | 126687 | 2029 329509 1447248 | 2147483647 126687 122 | 0.000 % |
197.83/197.97 c | 127646 | 2029 329509 1447248 | 2147483647 127646 122 | 0.000 % |
200.42/200.52 c | 128699 | 2029 329509 1447248 | 2147483647 128699 122 | 0.000 % |
202.32/202.46 c | 129858 | 2029 329509 1447248 | 2147483647 129858 122 | 0.000 % |
205.72/205.82 c | 131131 | 2029 329509 1447248 | 2147483647 131131 122 | 0.000 % |
208.93/209.03 c | 132537 | 2029 329509 1447248 | 2147483647 132537 122 | 0.000 % |
209.42/209.50 c | 132638 | 2029 329509 1447248 | 2147483647 132638 122 | 0.000 % |
209.62/209.79 c | 132749 | 2029 329509 1447248 | 2147483647 132749 122 | 0.000 % |
210.03/210.15 c | 132871 | 2029 329509 1447248 | 2147483647 132871 122 | 0.000 % |
210.42/210.55 c | 133007 | 2029 329509 1447248 | 2147483647 133007 122 | 0.000 % |
211.03/211.14 c | 133157 | 2029 329509 1447248 | 2147483647 133157 122 | 0.000 % |
211.62/211.71 c | 133319 | 2029 329509 1447248 | 2147483647 133319 122 | 0.000 % |
211.92/212.04 c | 133495 | 2029 329509 1447248 | 2147483647 133495 122 | 0.000 % |
212.42/212.54 c | 133691 | 2029 329509 1447248 | 2147483647 133691 122 | 0.000 % |
213.12/213.22 c | 133904 | 2029 329509 1447248 | 2147483647 133904 122 | 0.000 % |
213.62/213.79 c | 134138 | 2029 329509 1447248 | 2147483647 134138 122 | 0.000 % |
214.82/214.94 c | 134395 | 2029 329509 1447248 | 2147483647 134395 122 | 0.000 % |
215.42/215.51 c | 134676 | 2029 329509 1447248 | 2147483647 134676 122 | 0.000 % |
216.02/216.19 c | 134985 | 2029 329509 1447248 | 2147483647 134985 122 | 0.000 % |
216.82/216.91 c | 135326 | 2029 329509 1447248 | 2147483647 135326 122 | 0.000 % |
217.92/218.07 c | 135701 | 2029 329509 1447248 | 2147483647 135701 122 | 0.000 % |
218.52/218.69 c | 136110 | 2029 329509 1447248 | 2147483647 136110 122 | 0.000 % |
219.62/219.75 c | 136559 | 2029 329509 1447248 | 2147483647 136559 122 | 0.000 % |
220.62/220.74 c | 137054 | 2029 329509 1447248 | 2147483647 137054 122 | 0.000 % |
221.72/221.84 c | 137596 | 2029 329509 1447248 | 2147483647 137596 122 | 0.000 % |
223.72/223.88 c | 138192 | 2029 329509 1447248 | 2147483647 138192 123 | 0.000 % |
226.12/226.20 c | 138848 | 2029 329509 1447248 | 2147483647 138848 122 | 0.000 % |
229.52/229.70 c | 139569 | 2029 329509 1447248 | 2147483647 139569 122 | 0.000 % |
230.92/231.02 c | 140361 | 2029 329509 1447248 | 2147483647 140361 122 | 0.000 % |
234.01/234.19 c | 141233 | 2029 329509 1447248 | 2147483647 141233 122 | 0.000 % |
236.31/236.48 c | 142193 | 2029 329509 1447248 | 2147483647 142193 122 | 0.000 % |
238.51/238.63 c | 143246 | 2029 329509 1447248 | 2147483647 143246 122 | 0.000 % |
242.62/242.77 c | 144404 | 2029 329509 1447248 | 2147483647 144404 122 | 0.000 % |
246.41/246.57 c | 145677 | 2029 329509 1447248 | 2147483647 145677 122 | 0.000 % |
251.81/251.98 c | 147077 | 2029 329509 1447248 | 2147483647 147077 122 | 0.000 % |
257.51/257.63 c | 148617 | 2029 329509 1447248 | 2147483647 148617 122 | 0.000 % |
257.81/257.95 c | 148717 | 2029 329509 1447248 | 2147483647 148717 122 | 0.000 % |
258.11/258.23 c | 148828 | 2029 329509 1447248 | 2147483647 148828 122 | 0.000 % |
258.31/258.46 c | 148949 | 2029 329509 1447248 | 2147483647 148949 122 | 0.000 % |
258.71/258.84 c | 149082 | 2029 329509 1447248 | 2147483647 149082 122 | 0.000 % |
259.21/259.35 c | 149230 | 2029 329509 1447248 | 2147483647 149230 122 | 0.000 % |
259.71/259.87 c | 149392 | 2029 329509 1447248 | 2147483647 149392 122 | 0.000 % |
260.21/260.36 c | 149571 | 2029 329509 1447248 | 2147483647 149571 122 | 0.000 % |
260.80/260.96 c | 149767 | 2029 329509 1447248 | 2147483647 149767 122 | 0.000 % |
261.31/261.44 c | 149979 | 2029 329509 1447248 | 2147483647 149979 122 | 0.000 % |
261.71/261.86 c | 150212 | 2029 329509 1447248 | 2147483647 150212 122 | 0.000 % |
262.51/262.69 c | 150469 | 2029 329509 1447248 | 2147483647 150469 122 | 0.000 % |
263.11/263.21 c | 150751 | 2029 329509 1447248 | 2147483647 150751 122 | 0.000 % |
263.92/264.00 c | 151060 | 2029 329509 1447248 | 2147483647 151060 122 | 0.000 % |
264.92/265.09 c | 151400 | 2029 329509 1447248 | 2147483647 151400 122 | 0.000 % |
266.81/266.94 c | 151774 | 2029 329509 1447248 | 2147483647 151774 122 | 0.000 % |
268.31/268.42 c | 152184 | 2029 329509 1447248 | 2147483647 152184 122 | 0.000 % |
269.31/269.48 c | 152633 | 2029 329509 1447248 | 2147483647 152633 122 | 0.000 % |
270.11/270.25 c | 153128 | 2029 329509 1447248 | 2147483647 153128 122 | 0.000 % |
271.01/271.16 c | 153671 | 2029 329509 1447248 | 2147483647 153671 122 | 0.000 % |
271.71/271.84 c | 154273 | 2029 329509 1447248 | 2147483647 154273 121 | 0.000 % |
272.91/273.04 c | 154931 | 2029 329509 1447248 | 2147483647 154931 121 | 0.000 % |
274.41/274.50 c | 155652 | 2029 329509 1447248 | 2147483647 155652 121 | 0.000 % |
275.70/275.86 c | 156446 | 2029 329509 1447248 | 2147483647 156446 120 | 0.000 % |
277.40/277.59 c | 157319 | 2029 329509 1447248 | 2147483647 157319 120 | 0.000 % |
278.70/278.85 c | 158277 | 2029 329509 1447248 | 2147483647 158277 120 | 0.000 % |
282.10/282.22 c | 159330 | 2029 329509 1447248 | 2147483647 159330 120 | 0.000 % |
284.50/284.63 c | 160488 | 2029 329509 1447248 | 2147483647 160488 120 | 0.000 % |
286.70/286.87 c | 161761 | 2029 329509 1447248 | 2147483647 161761 120 | 0.000 % |
290.31/290.44 c | 163161 | 2029 329509 1447248 | 2147483647 163161 120 | 0.000 % |
295.30/295.41 c | 164702 | 2029 329509 1447248 | 2147483647 164702 120 | 0.000 % |
299.40/299.56 c | 166396 | 2029 329509 1447248 | 2147483647 166396 120 | 0.000 % |
299.80/299.97 c | 166496 | 2029 329509 1447248 | 2147483647 166496 120 | 0.000 % |
300.20/300.34 c | 166606 | 2029 329509 1447248 | 2147483647 166606 120 | 0.000 % |
300.90/301.00 c | 166727 | 2029 329509 1447248 | 2147483647 166727 120 | 0.000 % |
301.30/301.42 c | 166861 | 2029 329509 1447248 | 2147483647 166861 120 | 0.000 % |
301.70/301.86 c | 167007 | 2029 329509 1447248 | 2147483647 167007 120 | 0.000 % |
302.60/302.72 c | 167168 | 2029 329509 1447248 | 2147483647 167168 120 | 0.000 % |
302.99/303.17 c | 167345 | 2029 329509 1447248 | 2147483647 167345 120 | 0.000 % |
303.50/303.67 c | 167539 | 2029 329509 1447248 | 2147483647 167539 120 | 0.000 % |
304.29/304.40 c | 167751 | 2029 329509 1447248 | 2147483647 167751 120 | 0.000 % |
304.69/304.82 c | 167984 | 2029 329509 1447248 | 2147483647 167984 120 | 0.000 % |
305.29/305.46 c | 168242 | 2029 329509 1447248 | 2147483647 168242 120 | 0.000 % |
305.89/306.09 c | 168523 | 2029 329509 1447248 | 2147483647 168523 120 | 0.000 % |
306.60/306.74 c | 168833 | 2029 329509 1447248 | 2147483647 168833 120 | 0.000 % |
307.80/307.95 c | 169172 | 2029 329509 1447248 | 2147483647 169172 120 | 0.000 % |
309.10/309.21 c | 169544 | 2029 329509 1447248 | 2147483647 169544 120 | 0.000 % |
310.30/310.43 c | 169953 | 2029 329509 1447248 | 2147483647 169953 120 | 0.000 % |
311.50/311.67 c | 170403 | 2029 329509 1447248 | 2147483647 170403 120 | 0.000 % |
312.30/312.42 c | 170896 | 2029 329509 1447248 | 2147483647 170896 120 | 0.000 % |
313.79/313.99 c | 171438 | 2029 329509 1447248 | 2147483647 171438 120 | 0.000 % |
315.50/315.61 c | 172035 | 2029 329509 1447248 | 2147483647 172035 120 | 0.000 % |
317.29/317.41 c | 172690 | 2029 329509 1447248 | 2147483647 172690 120 | 0.000 % |
319.09/319.24 c | 173413 | 2029 329509 1447248 | 2147483647 173413 120 | 0.000 % |
321.20/321.31 c | 174205 | 2029 329509 1447248 | 2147483647 174205 120 | 0.000 % |
323.20/323.37 c | 175076 | 2029 329509 1447248 | 2147483647 175076 120 | 0.000 % |
325.19/325.34 c | 176034 | 2029 329509 1447248 | 2147483647 176034 121 | 0.000 % |
327.59/327.77 c | 177089 | 2029 329509 1447248 | 2147483647 177089 121 | 0.000 % |
331.58/331.78 c | 178249 | 2029 329509 1447248 | 2147483647 178249 121 | 0.000 % |
334.49/334.64 c | 179522 | 2029 329509 1447248 | 2147483647 179522 121 | 0.000 % |
340.09/340.24 c | 180923 | 2029 329509 1447248 | 2147483647 180923 121 | 0.000 % |
344.98/345.13 c | 182463 | 2029 329509 1447248 | 2147483647 182463 121 | 0.000 % |
347.99/348.12 c | 184158 | 2029 329509 1447248 | 2147483647 184158 121 | 0.000 % |
352.58/352.72 c | 186022 | 2029 329509 1447248 | 2147483647 186022 121 | 0.000 % |
352.89/353.09 c | 186124 | 2029 329509 1447248 | 2147483647 186124 121 | 0.000 % |
353.28/353.49 c | 186235 | 2029 329509 1447248 | 2147483647 186235 121 | 0.000 % |
353.68/353.83 c | 186356 | 2029 329509 1447248 | 2147483647 186356 121 | 0.000 % |
354.18/354.31 c | 186489 | 2029 329509 1447248 | 2147483647 186489 121 | 0.000 % |
354.68/354.89 c | 186636 | 2029 329509 1447248 | 2147483647 186636 121 | 0.000 % |
355.38/355.54 c | 186799 | 2029 329509 1447248 | 2147483647 186799 121 | 0.000 % |
356.18/356.36 c | 186975 | 2029 329509 1447248 | 2147483647 186975 121 | 0.000 % |
356.68/356.86 c | 187168 | 2029 329509 1447248 | 2147483647 187168 121 | 0.000 % |
357.58/357.78 c | 187380 | 2029 329509 1447248 | 2147483647 187380 121 | 0.000 % |
358.48/358.69 c | 187613 | 2029 329509 1447248 | 2147483647 187613 121 | 0.000 % |
359.08/359.27 c | 187869 | 2029 329509 1447248 | 2147483647 187869 121 | 0.000 % |
360.08/360.26 c | 188150 | 2029 329509 1447248 | 2147483647 188150 121 | 0.000 % |
360.58/360.75 c | 188461 | 2029 329509 1447248 | 2147483647 188461 121 | 0.000 % |
361.58/361.74 c | 188802 | 2029 329509 1447248 | 2147483647 188802 121 | 0.000 % |
362.68/362.80 c | 189176 | 2029 329509 1447248 | 2147483647 189176 121 | 0.000 % |
363.48/363.67 c | 189585 | 2029 329509 1447248 | 2147483647 189585 121 | 0.000 % |
365.18/365.30 c | 190037 | 2029 329509 1447248 | 2147483647 190037 121 | 0.000 % |
367.38/367.59 c | 190530 | 2029 329509 1447248 | 2147483647 190530 121 | 0.000 % |
368.98/369.16 c | 191072 | 2029 329509 1447248 | 2147483647 191072 121 | 0.000 % |
370.48/370.63 c | 191669 | 2029 329509 1447248 | 2147483647 191669 121 | 0.000 % |
372.58/372.73 c | 192325 | 2029 329509 1447248 | 2147483647 192325 121 | 0.000 % |
375.78/375.94 c | 193045 | 2029 329509 1447248 | 2147483647 193045 121 | 0.000 % |
377.87/378.05 c | 193838 | 2029 329509 1447248 | 2147483647 193838 121 | 0.000 % |
379.97/380.13 c | 194709 | 2029 329509 1447248 | 2147483647 194709 121 | 0.000 % |
382.28/382.43 c | 195668 | 2029 329509 1447248 | 2147483647 195668 121 | 0.000 % |
384.48/384.65 c | 196722 | 2029 329509 1447248 | 2147483647 196722 121 | 0.000 % |
388.78/388.92 c | 197880 | 2029 329509 1447248 | 2147483647 197880 121 | 0.000 % |
390.97/391.16 c | 199155 | 2029 329509 1447248 | 2147483647 199155 121 | 0.000 % |
394.67/394.85 c | 200555 | 2029 329509 1447248 | 2147483647 200555 121 | 0.000 % |
400.87/401.08 c | 202096 | 2029 329509 1447248 | 2147483647 202096 121 | 0.000 % |
404.47/404.64 c | 203793 | 2029 329509 1447248 | 2147483647 203793 121 | 0.000 % |
409.57/409.77 c | 205657 | 2029 329509 1447248 | 2147483647 205657 121 | 0.000 % |
416.27/416.49 c | 207706 | 2029 329509 1447248 | 2147483647 207706 121 | 0.000 % |
416.67/416.88 c | 207807 | 2029 329509 1447248 | 2147483647 207807 121 | 0.000 % |
417.27/417.45 c | 207921 | 2029 329509 1447248 | 2147483647 207921 121 | 0.000 % |
418.17/418.31 c | 208045 | 2029 329509 1447248 | 2147483647 208045 121 | 0.000 % |
418.67/418.85 c | 208178 | 2029 329509 1447248 | 2147483647 208178 121 | 0.000 % |
419.37/419.55 c | 208324 | 2029 329509 1447248 | 2147483647 208324 121 | 0.000 % |
419.97/420.11 c | 208484 | 2029 329509 1447248 | 2147483647 208484 121 | 0.000 % |
420.37/420.56 c | 208660 | 2029 329509 1447248 | 2147483647 208660 121 | 0.000 % |
421.17/421.33 c | 208854 | 2029 329509 1447248 | 2147483647 208854 121 | 0.000 % |
421.87/422.04 c | 209068 | 2029 329509 1447248 | 2147483647 209068 121 | 0.000 % |
423.07/423.26 c | 209301 | 2029 329509 1447248 | 2147483647 209301 121 | 0.000 % |
423.87/424.08 c | 209557 | 2029 329509 1447248 | 2147483647 209557 121 | 0.000 % |
424.57/424.79 c | 209839 | 2029 329509 1447248 | 2147483647 209839 121 | 0.000 % |
426.06/426.24 c | 210148 | 2029 329509 1447248 | 2147483647 210148 121 | 0.000 % |
426.96/427.12 c | 210488 | 2029 329509 1447248 | 2147483647 210488 121 | 0.000 % |
428.16/428.31 c | 210860 | 2029 329509 1447248 | 2147483647 210860 121 | 0.000 % |
429.16/429.35 c | 211269 | 2029 329509 1447248 | 2147483647 211269 121 | 0.000 % |
430.36/430.50 c | 211718 | 2029 329509 1447248 | 2147483647 211718 121 | 0.000 % |
431.66/431.80 c | 212212 | 2029 329509 1447248 | 2147483647 212212 121 | 0.000 % |
433.66/433.87 c | 212756 | 2029 329509 1447248 | 2147483647 212756 121 | 0.000 % |
434.66/434.87 c | 213352 | 2029 329509 1447248 | 2147483647 213352 122 | 0.000 % |
436.16/436.37 c | 214007 | 2029 329509 1447248 | 2147483647 214007 122 | 0.000 % |
438.76/438.97 c | 214729 | 2029 329509 1447248 | 2147483647 214729 122 | 0.000 % |
440.56/440.71 c | 215522 | 2029 329509 1447248 | 2147483647 215522 122 | 0.000 % |
442.06/442.26 c | 216394 | 2029 329509 1447248 | 2147483647 216394 122 | 0.000 % |
444.26/444.46 c | 217354 | 2029 329509 1447248 | 2147483647 217354 122 | 0.000 % |
448.36/448.57 c | 218408 | 2029 329509 1447248 | 2147483647 218408 122 | 0.000 % |
452.16/452.30 c | 219566 | 2029 329509 1447248 | 2147483647 219566 122 | 0.000 % |
455.96/456.15 c | 220839 | 2029 329509 1447248 | 2147483647 220839 122 | 0.000 % |
459.66/459.83 c | 222243 | 2029 329509 1447248 | 2147483647 222243 122 | 0.000 % |
463.35/463.53 c | 223783 | 2029 329509 1447248 | 2147483647 223783 122 | 0.000 % |
468.35/468.56 c | 225479 | 2029 329509 1447248 | 2147483647 225479 123 | 0.000 % |
471.86/472.08 c | 227343 | 2029 329509 1447248 | 2147483647 227343 123 | 0.000 % |
478.36/478.55 c | 229394 | 2029 329509 1447248 | 2147483647 229394 123 | 0.000 % |
484.86/485.09 c | 231648 | 2029 329509 1447248 | 2147483647 231648 123 | 0.000 % |
485.25/485.41 c | 231748 | 2029 329509 1447248 | 2147483647 231748 123 | 0.000 % |
485.55/485.73 c | 231859 | 2029 329509 1447248 | 2147483647 231859 123 | 0.000 % |
485.85/486.02 c | 231980 | 2029 329509 1447248 | 2147483647 231980 123 | 0.000 % |
486.15/486.37 c | 232113 | 2029 329509 1447248 | 2147483647 232113 123 | 0.000 % |
486.65/486.87 c | 232261 | 2029 329509 1447248 | 2147483647 232261 123 | 0.000 % |
487.05/487.27 c | 232421 | 2029 329509 1447248 | 2147483647 232421 123 | 0.000 % |
487.55/487.70 c | 232597 | 2029 329509 1447248 | 2147483647 232597 123 | 0.000 % |
488.35/488.53 c | 232790 | 2029 329509 1447248 | 2147483647 232790 123 | 0.000 % |
489.35/489.52 c | 233005 | 2029 329509 1447248 | 2147483647 233005 123 | 0.000 % |
490.15/490.30 c | 233242 | 2029 329509 1447248 | 2147483647 233242 123 | 0.000 % |
491.95/492.14 c | 233498 | 2029 329509 1447248 | 2147483647 233498 123 | 0.000 % |
492.65/492.82 c | 233779 | 2029 329509 1447248 | 2147483647 233779 123 | 0.000 % |
493.85/494.06 c | 234092 | 2029 329509 1447248 | 2147483647 234092 123 | 0.000 % |
496.35/496.56 c | 234431 | 2029 329509 1447248 | 2147483647 234431 123 | 0.000 % |
498.45/498.67 c | 234803 | 2029 329509 1447248 | 2147483647 234803 123 | 0.000 % |
500.35/500.55 c | 235212 | 2029 329509 1447248 | 2147483647 235212 123 | 0.000 % |
502.45/502.68 c | 235661 | 2029 329509 1447248 | 2147483647 235661 123 | 0.000 % |
505.34/505.58 c | 236154 | 2029 329509 1447248 | 2147483647 236154 123 | 0.000 % |
507.24/507.47 c | 236698 | 2029 329509 1447248 | 2147483647 236698 123 | 0.000 % |
510.04/510.23 c | 237298 | 2029 329509 1447248 | 2147483647 237298 123 | 0.000 % |
512.64/512.88 c | 237954 | 2029 329509 1447248 | 2147483647 237954 123 | 0.000 % |
514.94/515.19 c | 238678 | 2029 329509 1447248 | 2147483647 238678 123 | 0.000 % |
517.64/517.83 c | 239471 | 2029 329509 1447248 | 2147483647 239471 123 | 0.000 % |
520.04/520.26 c | 240343 | 2029 329509 1447248 | 2147483647 240343 123 | 0.000 % |
523.24/523.45 c | 241301 | 2029 329509 1447248 | 2147483647 241301 123 | 0.000 % |
527.74/527.96 c | 242356 | 2029 329509 1447248 | 2147483647 242356 123 | 0.000 % |
530.63/530.85 c | 243515 | 2029 329509 1447248 | 2147483647 243515 123 | 0.000 % |
536.73/536.99 c | 244789 | 2029 329509 1447248 | 2147483647 244789 123 | 0.000 % |
542.64/542.82 c | 246191 | 2029 329509 1447248 | 2147483647 246191 123 | 0.000 % |
547.73/547.92 c | 247731 | 2029 329509 1447248 | 2147483647 247731 123 | 0.000 % |
552.83/553.09 c | 249425 | 2029 329509 1447248 | 2147483647 249425 123 | 0.000 % |
560.73/560.95 c | 251290 | 2029 329509 1447248 | 2147483647 251290 122 | 0.000 % |
568.83/569.01 c | 253339 | 2029 329509 1447248 | 2147483647 253339 122 | 0.000 % |
577.63/577.81 c | 255593 | 2029 329509 1447248 | 2147483647 255593 122 | 0.000 % |
590.62/590.84 c | 258072 | 2029 329509 1447248 | 2147483647 258072 122 | 0.000 % |
591.02/591.24 c | 258175 | 2029 329509 1447248 | 2147483647 258175 122 | 0.000 % |
591.72/591.95 c | 258285 | 2029 329509 1447248 | 2147483647 258285 122 | 0.000 % |
592.42/592.61 c | 258409 | 2029 329509 1447248 | 2147483647 258409 122 | 0.000 % |
593.02/593.23 c | 258542 | 2029 329509 1447248 | 2147483647 258542 122 | 0.000 % |
593.73/593.91 c | 258691 | 2029 329509 1447248 | 2147483647 258691 122 | 0.000 % |
594.62/594.83 c | 258855 | 2029 329509 1447248 | 2147483647 258855 122 | 0.000 % |
595.32/595.56 c | 259035 | 2029 329509 1447248 | 2147483647 259035 122 | 0.000 % |
596.32/596.58 c | 259228 | 2029 329509 1447248 | 2147483647 259228 122 | 0.000 % |
597.32/597.59 c | 259440 | 2029 329509 1447248 | 2147483647 259440 122 | 0.000 % |
598.02/598.24 c | 259673 | 2029 329509 1447248 | 2147483647 259673 122 | 0.000 % |
598.72/598.96 c | 259929 | 2029 329509 1447248 | 2147483647 259929 122 | 0.000 % |
599.23/599.47 c | 260210 | 2029 329509 1447248 | 2147483647 260210 122 | 0.000 % |
600.62/600.83 c | 260519 | 2029 329509 1447248 | 2147483647 260519 122 | 0.000 % |
602.32/602.56 c | 260858 | 2029 329509 1447248 | 2147483647 260858 122 | 0.000 % |
603.92/604.10 c | 261230 | 2029 329509 1447248 | 2147483647 261230 122 | 0.000 % |
605.62/605.83 c | 261639 | 2029 329509 1447248 | 2147483647 261639 122 | 0.000 % |
606.42/606.68 c | 262088 | 2029 329509 1447248 | 2147483647 262088 122 | 0.000 % |
607.92/608.18 c | 262581 | 2029 329509 1447248 | 2147483647 262581 123 | 0.000 % |
609.72/609.98 c | 263124 | 2029 329509 1447248 | 2147483647 263124 123 | 0.000 % |
612.42/612.67 c | 263720 | 2029 329509 1447248 | 2147483647 263720 123 | 0.000 % |
614.01/614.28 c | 264376 | 2029 329509 1447248 | 2147483647 264376 123 | 0.000 % |
615.61/615.87 c | 265096 | 2029 329509 1447248 | 2147483647 265096 123 | 0.000 % |
618.62/618.83 c | 265889 | 2029 329509 1447248 | 2147483647 265889 123 | 0.000 % |
623.52/623.72 c | 266763 | 2029 329509 1447248 | 2147483647 266763 123 | 0.000 % |
627.11/627.30 c | 267722 | 2029 329509 1447248 | 2147483647 267722 123 | 0.000 % |
628.61/628.80 c | 268775 | 2029 329509 1447248 | 2147483647 268775 122 | 0.000 % |
636.81/637.02 c | 269935 | 2029 329509 1447248 | 2147483647 269935 122 | 0.000 % |
642.11/642.36 c | 271210 | 2029 329509 1447248 | 2147483647 271210 122 | 0.000 % |
645.51/645.75 c | 272610 | 2029 329509 1447248 | 2147483647 272610 122 | 0.000 % |
649.70/649.93 c | 274150 | 2029 329509 1447248 | 2147483647 274150 122 | 0.000 % |
653.30/653.55 c | 275845 | 2029 329509 1447248 | 2147483647 275845 122 | 0.000 % |
660.50/660.77 c | 277708 | 2029 329509 1447248 | 2147483647 277708 122 | 0.000 % |
666.90/667.10 c | 279757 | 2029 329509 1447248 | 2147483647 279757 122 | 0.000 % |
672.20/672.46 c | 282010 | 2029 329509 1447248 | 2147483647 282010 122 | 0.000 % |
683.09/683.32 c | 284488 | 2029 329509 1447248 | 2147483647 284488 123 | 0.000 % |
686.50/686.74 c | 287213 | 2029 329509 1447248 | 2147483647 287213 123 | 0.000 % |
686.80/687.01 c | 287315 | 2029 329509 1447248 | 2147483647 287315 123 | 0.000 % |
687.10/687.34 c | 287427 | 2029 329509 1447248 | 2147483647 287427 123 | 0.000 % |
687.50/687.74 c | 287548 | 2029 329509 1447248 | 2147483647 287548 123 | 0.000 % |
688.30/688.58 c | 287681 | 2029 329509 1447248 | 2147483647 287681 123 | 0.000 % |
689.10/689.36 c | 287827 | 2029 329509 1447248 | 2147483647 287827 123 | 0.000 % |
690.19/690.40 c | 287987 | 2029 329509 1447248 | 2147483647 287987 123 | 0.000 % |
691.19/691.40 c | 288164 | 2029 329509 1447248 | 2147483647 288164 123 | 0.000 % |
691.79/692.02 c | 288357 | 2029 329509 1447248 | 2147483647 288357 123 | 0.000 % |
692.29/692.58 c | 288570 | 2029 329509 1447248 | 2147483647 288570 122 | 0.000 % |
693.19/693.41 c | 288803 | 2029 329509 1447248 | 2147483647 288803 122 | 0.000 % |
694.59/694.87 c | 289061 | 2029 329509 1447248 | 2147483647 289061 122 | 0.000 % |
696.10/696.38 c | 289346 | 2029 329509 1447248 | 2147483647 289346 122 | 0.000 % |
697.09/697.38 c | 289658 | 2029 329509 1447248 | 2147483647 289658 122 | 0.000 % |
698.29/698.56 c | 289998 | 2029 329509 1447248 | 2147483647 289998 122 | 0.000 % |
699.99/700.22 c | 290373 | 2029 329509 1447248 | 2147483647 290373 122 | 0.000 % |
701.19/701.45 c | 290784 | 2029 329509 1447248 | 2147483647 290784 122 | 0.000 % |
703.09/703.39 c | 291233 | 2029 329509 1447248 | 2147483647 291233 122 | 0.000 % |
705.49/705.70 c | 291728 | 2029 329509 1447248 | 2147483647 291728 122 | 0.000 % |
707.99/708.26 c | 292274 | 2029 329509 1447248 | 2147483647 292274 122 | 0.000 % |
710.29/710.54 c | 292870 | 2029 329509 1447248 | 2147483647 292870 122 | 0.000 % |
712.49/712.78 c | 293527 | 2029 329509 1447248 | 2147483647 293527 122 | 0.000 % |
714.59/714.84 c | 294247 | 2029 329509 1447248 | 2147483647 294247 122 | 0.000 % |
717.19/717.48 c | 295041 | 2029 329509 1447248 | 2147483647 295041 122 | 0.000 % |
720.09/720.33 c | 295912 | 2029 329509 1447248 | 2147483647 295912 122 | 0.000 % |
722.58/722.89 c | 296871 | 2029 329509 1447248 | 2147483647 296871 122 | 0.000 % |
724.88/725.18 c | 297924 | 2029 329509 1447248 | 2147483647 297924 122 | 0.000 % |
727.28/727.52 c | 299085 | 2029 329509 1447248 | 2147483647 299085 122 | 0.000 % |
731.58/731.89 c | 300360 | 2029 329509 1447248 | 2147483647 300360 122 | 0.000 % |
739.48/739.79 c | 301761 | 2029 329509 1447248 | 2147483647 301761 122 | 0.000 % |
744.48/744.74 c | 303301 | 2029 329509 1447248 | 2147483647 303301 122 | 0.000 % |
748.79/749.07 c | 304995 | 2029 329509 1447248 | 2147483647 304995 122 | 0.000 % |
758.08/758.30 c | 306862 | 2029 329509 1447248 | 2147483647 306862 122 | 0.000 % |
766.38/766.68 c | 308911 | 2029 329509 1447248 | 2147483647 308911 122 | 0.000 % |
773.17/773.46 c | 311164 | 2029 329509 1447248 | 2147483647 311164 122 | 0.000 % |
782.27/782.53 c | 313642 | 2029 329509 1447248 | 2147483647 313642 122 | 0.000 % |
789.06/789.37 c | 316368 | 2029 329509 1447248 | 2147483647 316368 122 | 0.000 % |
803.87/804.16 c | 319365 | 2029 329509 1447248 | 2147483647 319365 122 | 0.000 % |
804.36/804.62 c | 319465 | 2029 329509 1447248 | 2147483647 319465 122 | 0.000 % |
804.87/805.10 c | 319576 | 2029 329509 1447248 | 2147483647 319576 122 | 0.000 % |
805.56/805.82 c | 319698 | 2029 329509 1447248 | 2147483647 319698 122 | 0.000 % |
806.26/806.60 c | 319835 | 2029 329509 1447248 | 2147483647 319835 122 | 0.000 % |
806.96/807.23 c | 319981 | 2029 329509 1447248 | 2147483647 319981 122 | 0.000 % |
807.96/808.25 c | 320141 | 2029 329509 1447248 | 2147483647 320141 122 | 0.000 % |
808.76/809.07 c | 320320 | 2029 329509 1447248 | 2147483647 320320 122 | 0.000 % |
809.66/809.98 c | 320515 | 2029 329509 1447248 | 2147483647 320515 122 | 0.000 % |
810.86/811.16 c | 320727 | 2029 329509 1447248 | 2147483647 320727 122 | 0.000 % |
812.26/812.58 c | 320960 | 2029 329509 1447248 | 2147483647 320960 122 | 0.000 % |
813.06/813.39 c | 321216 | 2029 329509 1447248 | 2147483647 321216 122 | 0.000 % |
814.26/814.52 c | 321497 | 2029 329509 1447248 | 2147483647 321497 122 | 0.000 % |
816.06/816.30 c | 321807 | 2029 329509 1447248 | 2147483647 321807 122 | 0.000 % |
817.16/817.45 c | 322147 | 2029 329509 1447248 | 2147483647 322147 122 | 0.000 % |
818.16/818.41 c | 322522 | 2029 329509 1447248 | 2147483647 322522 122 | 0.000 % |
819.95/820.25 c | 322932 | 2029 329509 1447248 | 2147483647 322932 122 | 0.000 % |
822.35/822.63 c | 323381 | 2029 329509 1447248 | 2147483647 323381 122 | 0.000 % |
823.95/824.23 c | 323874 | 2029 329509 1447248 | 2147483647 323874 122 | 0.000 % |
826.05/826.35 c | 324416 | 2029 329509 1447248 | 2147483647 324416 122 | 0.000 % |
829.05/829.38 c | 325012 | 2029 329509 1447248 | 2147483647 325012 122 | 0.000 % |
832.66/832.96 c | 325667 | 2029 329509 1447248 | 2147483647 325667 122 | 0.000 % |
835.36/835.62 c | 326387 | 2029 329509 1447248 | 2147483647 326387 122 | 0.000 % |
838.66/838.91 c | 327179 | 2029 329509 1447248 | 2147483647 327179 122 | 0.000 % |
843.05/843.35 c | 328050 | 2029 329509 1447248 | 2147483647 328050 122 | 0.000 % |
845.85/846.20 c | 329009 | 2029 329509 1447248 | 2147483647 329009 122 | 0.000 % |
848.95/849.28 c | 330062 | 2029 329509 1447248 | 2147483647 330062 122 | 0.000 % |
852.55/852.86 c | 331222 | 2029 329509 1447248 | 2147483647 331222 122 | 0.000 % |
858.75/859.06 c | 332496 | 2029 329509 1447248 | 2147483647 332496 122 | 0.000 % |
866.65/866.96 c | 333899 | 2029 329509 1447248 | 2147483647 333899 121 | 0.000 % |
870.54/870.84 c | 335439 | 2029 329509 1447248 | 2147483647 335439 121 | 0.000 % |
879.34/879.63 c | 337133 | 2029 329509 1447248 | 2147483647 337133 121 | 0.000 % |
888.55/888.82 c | 338997 | 2029 329509 1447248 | 2147483647 338997 121 | 0.000 % |
894.84/895.11 c | 341046 | 2029 329509 1447248 | 2147483647 341046 121 | 0.000 % |
903.33/903.61 c | 343300 | 2029 329509 1447248 | 2147483647 343300 122 | 0.000 % |
910.64/910.90 c | 345779 | 2029 329509 1447248 | 2147483647 345779 122 | 0.000 % |
916.43/916.71 c | 348504 | 2029 329509 1447248 | 2147483647 348504 122 | 0.000 % |
931.23/931.50 c | 351502 | 2029 329509 1447248 | 2147483647 351502 122 | 0.000 % |
942.22/942.56 c | 354800 | 2029 329509 1447248 | 2147483647 354800 122 | 0.000 % |
942.92/943.22 c | 354900 | 2029 329509 1447248 | 2147483647 354900 122 | 0.000 % |
943.52/943.81 c | 355012 | 2029 329509 1447248 | 2147483647 355012 122 | 0.000 % |
944.12/944.42 c | 355133 | 2029 329509 1447248 | 2147483647 355133 122 | 0.000 % |
944.92/945.27 c | 355267 | 2029 329509 1447248 | 2147483647 355267 122 | 0.000 % |
945.53/945.89 c | 355414 | 2029 329509 1447248 | 2147483647 355414 122 | 0.000 % |
946.13/946.48 c | 355575 | 2029 329509 1447248 | 2147483647 355575 122 | 0.000 % |
947.33/947.63 c | 355754 | 2029 329509 1447248 | 2147483647 355754 122 | 0.000 % |
948.73/949.09 c | 355947 | 2029 329509 1447248 | 2147483647 355947 122 | 0.000 % |
949.93/950.21 c | 356162 | 2029 329509 1447248 | 2147483647 356162 122 | 0.000 % |
950.93/951.28 c | 356397 | 2029 329509 1447248 | 2147483647 356397 122 | 0.000 % |
952.13/952.48 c | 356654 | 2029 329509 1447248 | 2147483647 356654 122 | 0.000 % |
953.13/953.41 c | 356935 | 2029 329509 1447248 | 2147483647 356935 122 | 0.000 % |
954.03/954.37 c | 357245 | 2029 329509 1447248 | 2147483647 357245 122 | 0.000 % |
955.43/955.70 c | 357584 | 2029 329509 1447248 | 2147483647 357584 122 | 0.000 % |
956.73/957.01 c | 357959 | 2029 329509 1447248 | 2147483647 357959 122 | 0.000 % |
958.23/958.57 c | 358368 | 2029 329509 1447248 | 2147483647 358368 122 | 0.000 % |
959.82/960.11 c | 358817 | 2029 329509 1447248 | 2147483647 358817 122 | 0.000 % |
963.13/963.40 c | 359310 | 2029 329509 1447248 | 2147483647 359310 122 | 0.000 % |
965.53/965.82 c | 359855 | 2029 329509 1447248 | 2147483647 359855 122 | 0.000 % |
968.32/968.63 c | 360452 | 2029 329509 1447248 | 2147483647 360452 122 | 0.000 % |
970.42/970.70 c | 361107 | 2029 329509 1447248 | 2147483647 361107 122 | 0.000 % |
973.12/973.44 c | 361827 | 2029 329509 1447248 | 2147483647 361827 122 | 0.000 % |
975.92/976.22 c | 362621 | 2029 329509 1447248 | 2147483647 362621 122 | 0.000 % |
977.72/978.08 c | 363495 | 2029 329509 1447248 | 2147483647 363495 122 | 0.000 % |
980.51/980.89 c | 364456 | 2029 329509 1447248 | 2147483647 364456 122 | 0.000 % |
984.41/984.73 c | 365512 | 2029 329509 1447248 | 2147483647 365512 122 | 0.000 % |
990.61/990.99 c | 366671 | 2029 329509 1447248 | 2147483647 366671 122 | 0.000 % |
996.91/997.29 c | 367946 | 2029 329509 1447248 | 2147483647 367946 122 | 0.000 % |
999.81/1000.15 c | 369347 | 2029 329509 1447248 | 2147483647 369347 122 | 0.000 % |
1010.81/1011.14 c | 370888 | 2029 329509 1447248 | 2147483647 370888 122 | 0.000 % |
1015.81/1016.11 c | 372583 | 2029 329509 1447248 | 2147483647 372583 122 | 0.000 % |
1023.50/1023.87 c | 374446 | 2029 329509 1447248 | 2147483647 374446 122 | 0.000 % |
1036.91/1037.20 c | 376495 | 2029 329509 1447248 | 2147483647 376495 123 | 0.000 % |
1047.90/1048.22 c | 378748 | 2029 329509 1447248 | 2147483647 378748 123 | 0.000 % |
1058.09/1058.47 c | 381229 | 2029 329509 1447248 | 2147483647 381229 123 | 0.000 % |
1069.69/1070.00 c | 383954 | 2029 329509 1447248 | 2147483647 383954 123 | 0.000 % |
1078.89/1079.22 c | 386951 | 2029 329509 1447248 | 2147483647 386951 123 | 0.000 % |
1090.98/1091.37 c | 390247 | 2029 329509 1447248 | 2147483647 390247 123 | 0.000 % |
1111.08/1111.48 c | 393872 | 2029 329509 1447248 | 2147483647 393872 123 | 0.000 % |
1111.78/1112.13 c | 393973 | 2029 329509 1447248 | 2147483647 393973 123 | 0.000 % |
1112.18/1112.50 c | 394084 | 2029 329509 1447248 | 2147483647 394084 123 | 0.000 % |
1112.98/1113.39 c | 394205 | 2029 329509 1447248 | 2147483647 394205 123 | 0.000 % |
1113.88/1114.26 c | 394338 | 2029 329509 1447248 | 2147483647 394338 123 | 0.000 % |
1115.38/1115.77 c | 394484 | 2029 329509 1447248 | 2147483647 394484 123 | 0.000 % |
1116.28/1116.67 c | 394645 | 2029 329509 1447248 | 2147483647 394645 123 | 0.000 % |
1117.38/1117.76 c | 394821 | 2029 329509 1447248 | 2147483647 394821 123 | 0.000 % |
1118.98/1119.40 c | 395015 | 2029 329509 1447248 | 2147483647 395015 123 | 0.000 % |
1120.17/1120.54 c | 395230 | 2029 329509 1447248 | 2147483647 395230 123 | 0.000 % |
1121.47/1121.81 c | 395463 | 2029 329509 1447248 | 2147483647 395463 123 | 0.000 % |
1122.17/1122.53 c | 395719 | 2029 329509 1447248 | 2147483647 395719 123 | 0.000 % |
1125.07/1125.45 c | 396001 | 2029 329509 1447248 | 2147483647 396001 123 | 0.000 % |
1126.08/1126.47 c | 396310 | 2029 329509 1447248 | 2147483647 396310 123 | 0.000 % |
1127.57/1127.96 c | 396650 | 2029 329509 1447248 | 2147483647 396650 123 | 0.000 % |
1129.67/1130.05 c | 397025 | 2029 329509 1447248 | 2147483647 397025 123 | 0.000 % |
1131.38/1131.80 c | 397434 | 2029 329509 1447248 | 2147483647 397434 123 | 0.000 % |
1133.18/1133.59 c | 397884 | 2029 329509 1447248 | 2147483647 397884 123 | 0.000 % |
1136.38/1136.74 c | 398377 | 2029 329509 1447248 | 2147483647 398377 123 | 0.000 % |
1138.47/1138.83 c | 398920 | 2029 329509 1447248 | 2147483647 398920 123 | 0.000 % |
1143.27/1143.62 c | 399518 | 2029 329509 1447248 | 2147483647 399518 123 | 0.000 % |
1146.77/1147.20 c | 400174 | 2029 329509 1447248 | 2147483647 400174 123 | 0.000 % |
1151.97/1152.35 c | 400894 | 2029 329509 1447248 | 2147483647 400894 123 | 0.000 % |
1156.57/1156.99 c | 401686 | 2029 329509 1447248 | 2147483647 401686 123 | 0.000 % |
1162.07/1162.45 c | 402558 | 2029 329509 1447248 | 2147483647 402558 123 | 0.000 % |
1166.96/1167.34 c | 403517 | 2029 329509 1447248 | 2147483647 403517 123 | 0.000 % |
1170.86/1171.21 c | 404573 | 2029 329509 1447248 | 2147483647 404573 123 | 0.000 % |
1175.37/1175.74 c | 405733 | 2029 329509 1447248 | 2147483647 405733 123 | 0.000 % |
1183.96/1184.37 c | 407006 | 2029 329509 1447248 | 2147483647 407006 123 | 0.000 % |
1192.26/1192.61 c | 408407 | 2029 329509 1447248 | 2147483647 408407 123 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833931-1242826252/watcher-1833931-1242826252 -o /tmp/evaluation-result-1833931-1242826252/solver-1833931-1242826252 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833931-1242826252.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: 1.00 1.00 1.00 3/64 14689
/proc/meminfo: memFree=1961136/2055920 swapFree=4180416/4192956
[pid=14689] ppid=14687 vsize=5356 CPUtime=0
/proc/14689/stat : 14689 (SatELiteGTI) S 14687 14689 14410 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310658893 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14689/statm: 1339 237 197 169 0 50 0
[startup+0.067668 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14689
/proc/meminfo: memFree=1961136/2055920 swapFree=4180416/4192956
[pid=14689] ppid=14687 vsize=5356 CPUtime=0
/proc/14689/stat : 14689 (SatELiteGTI) S 14687 14689 14410 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310658893 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14689/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101671 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14689
/proc/meminfo: memFree=1961136/2055920 swapFree=4180416/4192956
[pid=14689] ppid=14687 vsize=5356 CPUtime=0
/proc/14689/stat : 14689 (SatELiteGTI) S 14687 14689 14410 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310658893 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14689/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301693 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14689
/proc/meminfo: memFree=1961136/2055920 swapFree=4180416/4192956
[pid=14689] ppid=14687 vsize=5356 CPUtime=0
/proc/14689/stat : 14689 (SatELiteGTI) S 14687 14689 14410 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310658893 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14689/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701741 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14689
/proc/meminfo: memFree=1961136/2055920 swapFree=4180416/4192956
[pid=14689] ppid=14687 vsize=5356 CPUtime=0
/proc/14689/stat : 14689 (SatELiteGTI) S 14687 14689 14410 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310658893 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14689/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50183 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14694
/proc/meminfo: memFree=1932576/2055920 swapFree=4180416/4192956
[pid=14689] ppid=14687 vsize=5356 CPUtime=0
/proc/14689/stat : 14689 (SatELiteGTI) S 14687 14689 14410 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310658893 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14689/statm: 1339 237 197 169 0 50 0
[pid=14693] ppid=14689 vsize=36960 CPUtime=1.48
/proc/14693/stat : 14693 (SatELite_releas) R 14689 14689 14410 0 -1 4194304 8202 0 0 0 145 3 0 0 25 0 1 0 310658894 37847040 8188 1992294400 134512640 135223648 4294956128 18446744073709551615 134585471 0 0 4096 3 0 0 0 17 1 0 0
/proc/14693/statm: 9240 8188 76 173 0 9065 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 42316
[startup+3.10202 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14694
/proc/meminfo: memFree=1926688/2055920 swapFree=4180416/4192956
[pid=14689] ppid=14687 vsize=5356 CPUtime=0
/proc/14689/stat : 14689 (SatELiteGTI) S 14687 14689 14410 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310658893 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14689/statm: 1339 237 197 169 0 50 0
[pid=14693] ppid=14689 vsize=36960 CPUtime=3.08
/proc/14693/stat : 14693 (SatELite_releas) R 14689 14689 14410 0 -1 4194304 8202 0 0 0 305 3 0 0 25 0 1 0 310658894 37847040 8188 1992294400 134512640 135223648 4294956128 18446744073709551615 134585515 0 0 4096 3 0 0 0 17 1 0 0
/proc/14693/statm: 9240 8188 76 173 0 9065 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 42316
[startup+6.30139 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14695
/proc/meminfo: memFree=1943776/2055920 swapFree=4180416/4192956
[pid=14689] ppid=14687 vsize=5356 CPUtime=5.3
/proc/14689/stat : 14689 (SatELiteGTI) S 14687 14689 14410 0 -1 4194304 336 8454 0 0 0 0 523 7 16 0 1 0 310658893 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14689/statm: 1339 239 197 169 0 50 0
[pid=14695] ppid=14689 vsize=18492 CPUtime=0.97
/proc/14695/stat : 14695 (minisat_static) R 14689 14689 14410 0 -1 4194304 4389 0 0 0 96 1 0 0 25 0 1 0 310659424 18935808 4375 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/14695/statm: 4623 4375 77 171 0 4450 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 23848
[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14695
/proc/meminfo: memFree=1930472/2055920 swapFree=4180416/4192956
[pid=14689] ppid=14687 vsize=5356 CPUtime=5.3
/proc/14689/stat : 14689 (SatELiteGTI) S 14687 14689 14410 0 -1 4194304 336 8454 0 0 0 0 523 7 16 0 1 0 310658893 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14689/statm: 1339 239 197 169 0 50 0
[pid=14695] ppid=14689 vsize=22852 CPUtime=7.37
/proc/14695/stat : 14695 (minisat_static) R 14689 14689 14410 0 -1 4194304 5470 0 0 0 734 3 0 0 25 0 1 0 310659424 23400448 5456 1992294400 134512640 135215339 4294956240 18446744073709551615 134538113 0 0 4096 3 0 0 0 17 1 0 0
/proc/14695/statm: 5713 5456 77 171 0 5540 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 28208
[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14695
/proc/meminfo: memFree=1922984/2055920 swapFree=4180416/4192956
[pid=14689] ppid=14687 vsize=5356 CPUtime=5.3
/proc/14689/stat : 14689 (SatELiteGTI) S 14687 14689 14410 0 -1 4194304 336 8454 0 0 0 0 523 7 16 0 1 0 310658893 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14689/statm: 1339 239 197 169 0 50 0
[pid=14695] ppid=14689 vsize=30336 CPUtime=20.17
/proc/14695/stat : 14695 (minisat_static) R 14689 14689 14410 0 -1 4194304 7342 0 0 0 2011 6 0 0 25 0 1 0 310659424 31064064 7328 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14695/statm: 7584 7328 77 171 0 7411 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 35692
[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14695
/proc/meminfo: memFree=1910632/2055920 swapFree=4180416/4192956
[pid=14689] ppid=14687 vsize=5356 CPUtime=5.3
/proc/14689/stat : 14689 (SatELiteGTI) S 14687 14689 14410 0 -1 4194304 336 8454 0 0 0 0 523 7 16 0 1 0 310658893 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14689/statm: 1339 239 197 169 0 50 0
[pid=14695] ppid=14689 vsize=42764 CPUtime=45.77
/proc/14695/stat : 14695 (minisat_static) R 14689 14689 14410 0 -1 4194304 10435 0 0 0 4566 11 0 0 25 0 1 0 310659424 43790336 10421 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14695/statm: 10691 10421 77 171 0 10518 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 48120
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14695
/proc/meminfo: memFree=1892136/2055920 swapFree=4180416/4192956
[pid=14689] ppid=14687 vsize=5356 CPUtime=5.3
/proc/14689/stat : 14689 (SatELiteGTI) S 14687 14689 14410 0 -1 4194304 336 8454 0 0 0 0 523 7 16 0 1 0 310658893 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14689/statm: 1339 239 197 169 0 50 0
[pid=14695] ppid=14689 vsize=61080 CPUtime=96.96
/proc/14695/stat : 14695 (minisat_static) R 14689 14689 14410 0 -1 4194304 15013 0 0 0 9679 17 0 0 25 0 1 0 310659424 62545920 14999 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14695/statm: 15270 14999 77 171 0 15097 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 66436
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14695
/proc/meminfo: memFree=1874280/2055920 swapFree=4180416/4192956
[pid=14689] ppid=14687 vsize=5356 CPUtime=5.3
/proc/14689/stat : 14689 (SatELiteGTI) S 14687 14689 14410 0 -1 4194304 336 8454 0 0 0 0 523 7 16 0 1 0 310658893 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14689/statm: 1339 239 197 169 0 50 0
[pid=14695] ppid=14689 vsize=79128 CPUtime=156.93
/proc/14695/stat : 14695 (minisat_static) R 14689 14689 14410 0 -1 4194304 19476 0 0 0 15671 22 0 0 25 0 1 0 310659424 81027072 19462 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/14695/statm: 19782 19462 77 171 0 19609 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 84484
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14695
/proc/meminfo: memFree=1858600/2055920 swapFree=4180416/4192956
[pid=14689] ppid=14687 vsize=5356 CPUtime=5.3
/proc/14689/stat : 14689 (SatELiteGTI) S 14687 14689 14410 0 -1 4194304 336 8454 0 0 0 0 523 7 16 0 1 0 310658893 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14689/statm: 1339 239 197 169 0 50 0
[pid=14695] ppid=14689 vsize=94528 CPUtime=216.92
/proc/14695/stat : 14695 (minisat_static) R 14689 14689 14410 0 -1 4194304 23324 0 0 0 21666 26 0 0 25 0 1 0 310659424 96796672 23310 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14695/statm: 23632 23310 77 171 0 23459 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 99884
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14695
/proc/meminfo: memFree=1848680/2055920 swapFree=4180416/4192956
[pid=14689] ppid=14687 vsize=5356 CPUtime=5.3
/proc/14689/stat : 14689 (SatELiteGTI) S 14687 14689 14410 0 -1 4194304 336 8454 0 0 0 0 523 7 16 0 1 0 310658893 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14689/statm: 1339 239 197 169 0 50 0
[pid=14695] ppid=14689 vsize=104692 CPUtime=276.9
/proc/14695/stat : 14695 (minisat_static) R 14689 14689 14410 0 -1 4194304 25801 0 0 0 27662 28 0 0 25 0 1 0 310659424 107204608 25787 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14695/statm: 26173 25787 77 171 0 26000 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 110048
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14695
/proc/meminfo: memFree=1836008/2055920 swapFree=4180416/4192956
[pid=14689] ppid=14687 vsize=5356 CPUtime=5.3
/proc/14689/stat : 14689 (SatELiteGTI) S 14687 14689 14410 0 -1 4194304 336 8454 0 0 0 0 523 7 16 0 1 0 310658893 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14689/statm: 1339 239 197 169 0 50 0
[pid=14695] ppid=14689 vsize=117052 CPUtime=336.88
/proc/14695/stat : 14695 (minisat_static) R 14689 14689 14410 0 -1 4194304 28909 0 0 0 33656 32 0 0 25 0 1 0 310659424 119861248 28895 1992294400 134512640 135215339 4294956240 18446744073709551615 134528852 0 0 4096 3 0 0 0 17 1 0 0
/proc/14695/statm: 29263 28895 77 171 0 29090 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 122408
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14695
/proc/meminfo: memFree=1824680/2055920 swapFree=4180416/4192956
[pid=14689] ppid=14687 vsize=5356 CPUtime=5.3
/proc/14689/stat : 14689 (SatELiteGTI) S 14687 14689 14410 0 -1 4194304 336 8454 0 0 0 0 523 7 16 0 1 0 310658893 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14689/statm: 1339 239 197 169 0 50 0
[pid=14695] ppid=14689 vsize=128580 CPUtime=396.87
/proc/14695/stat : 14695 (minisat_static) R 14689 14689 14410 0 -1 4194304 31791 0 0 0 39651 36 0 0 25 0 1 0 310659424 131665920 31777 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14695/statm: 32145 31777 77 171 0 31972 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 133936
[startup+462.302 s]
################
# More data... #
################
/proc/14695/statm: 37753 37284 77 171 0 37580 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 156368
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14695
/proc/meminfo: memFree=1794408/2055920 swapFree=4180416/4192956
[pid=14689] ppid=14687 vsize=5356 CPUtime=5.3
/proc/14689/stat : 14689 (SatELiteGTI) S 14687 14689 14410 0 -1 4194304 336 8454 0 0 0 0 523 7 16 0 1 0 310658893 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14689/statm: 1339 239 197 169 0 50 0
[pid=14695] ppid=14689 vsize=158784 CPUtime=576.82
/proc/14695/stat : 14695 (minisat_static) R 14689 14689 14410 0 -1 4194304 39217 0 0 0 57638 44 0 0 25 0 1 0 310659424 162594816 39203 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/14695/statm: 39696 39203 77 171 0 39523 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 164140
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14695
/proc/meminfo: memFree=1786152/2055920 swapFree=4180416/4192956
[pid=14689] ppid=14687 vsize=5356 CPUtime=5.3
/proc/14689/stat : 14689 (SatELiteGTI) S 14687 14689 14410 0 -1 4194304 336 8454 0 0 0 0 523 7 16 0 1 0 310658893 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14689/statm: 1339 239 197 169 0 50 0
[pid=14695] ppid=14689 vsize=166864 CPUtime=636.81
/proc/14695/stat : 14695 (minisat_static) R 14689 14689 14410 0 -1 4194304 41236 0 0 0 63635 46 0 0 25 0 1 0 310659424 170868736 41222 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14695/statm: 41716 41222 77 171 0 41543 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 172220
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14695
/proc/meminfo: memFree=1775272/2055920 swapFree=4180416/4192956
[pid=14689] ppid=14687 vsize=5356 CPUtime=5.3
/proc/14689/stat : 14689 (SatELiteGTI) S 14687 14689 14410 0 -1 4194304 336 8454 0 0 0 0 523 7 16 0 1 0 310658893 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14689/statm: 1339 239 197 169 0 50 0
[pid=14695] ppid=14689 vsize=177608 CPUtime=696.79
/proc/14695/stat : 14695 (minisat_static) R 14689 14689 14410 0 -1 4194304 43925 0 0 0 69630 49 0 0 25 0 1 0 310659424 181870592 43911 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14695/statm: 44402 43911 77 171 0 44229 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 182964
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14697
/proc/meminfo: memFree=1766568/2055920 swapFree=4180416/4192956
[pid=14689] ppid=14687 vsize=5356 CPUtime=5.3
/proc/14689/stat : 14689 (SatELiteGTI) S 14687 14689 14410 0 -1 4194304 336 8454 0 0 0 0 523 7 16 0 1 0 310658893 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14689/statm: 1339 239 197 169 0 50 0
[pid=14695] ppid=14689 vsize=186124 CPUtime=756.78
/proc/14695/stat : 14695 (minisat_static) R 14689 14689 14410 0 -1 4194304 46041 0 0 0 75627 51 0 0 25 0 1 0 310659424 190590976 46027 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14695/statm: 46531 46027 77 171 0 46358 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 191480
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14697
/proc/meminfo: memFree=1758760/2055920 swapFree=4180416/4192956
[pid=14689] ppid=14687 vsize=5356 CPUtime=5.3
/proc/14689/stat : 14689 (SatELiteGTI) S 14687 14689 14410 0 -1 4194304 336 8454 0 0 0 0 523 7 16 0 1 0 310658893 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14689/statm: 1339 239 197 169 0 50 0
[pid=14695] ppid=14689 vsize=194608 CPUtime=816.75
/proc/14695/stat : 14695 (minisat_static) R 14689 14689 14410 0 -1 4194304 48001 0 0 0 81622 53 0 0 25 0 1 0 310659424 199278592 47987 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14695/statm: 48652 47987 77 171 0 48479 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 199964
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 3/66 14697
/proc/meminfo: memFree=1751400/2055920 swapFree=4180416/4192956
[pid=14689] ppid=14687 vsize=5356 CPUtime=5.3
/proc/14689/stat : 14689 (SatELiteGTI) S 14687 14689 14410 0 -1 4194304 336 8454 0 0 0 0 523 7 16 0 1 0 310658893 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14689/statm: 1339 239 197 169 0 50 0
[pid=14695] ppid=14689 vsize=201964 CPUtime=876.74
/proc/14695/stat : 14695 (minisat_static) R 14689 14689 14410 0 -1 4194304 49819 0 0 0 87619 55 0 0 25 0 1 0 310659424 206811136 49805 1992294400 134512640 135215339 4294956240 18446744073709551615 134528811 0 0 4096 3 0 0 0 17 1 0 0
/proc/14695/statm: 50491 49805 77 171 0 50318 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 207320
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14697
/proc/meminfo: memFree=1741224/2055920 swapFree=4180416/4192956
[pid=14689] ppid=14687 vsize=5356 CPUtime=5.3
/proc/14689/stat : 14689 (SatELiteGTI) S 14687 14689 14410 0 -1 4194304 336 8454 0 0 0 0 523 7 16 0 1 0 310658893 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14689/statm: 1339 239 197 169 0 50 0
[pid=14695] ppid=14689 vsize=212088 CPUtime=936.72
/proc/14695/stat : 14695 (minisat_static) R 14689 14689 14410 0 -1 4194304 52384 0 0 0 93614 58 0 0 25 0 1 0 310659424 217178112 52370 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14695/statm: 53022 52370 77 171 0 52849 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 217444
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14697
/proc/meminfo: memFree=1732456/2055920 swapFree=4180416/4192956
[pid=14689] ppid=14687 vsize=5356 CPUtime=5.3
/proc/14689/stat : 14689 (SatELiteGTI) S 14687 14689 14410 0 -1 4194304 336 8454 0 0 0 0 523 7 16 0 1 0 310658893 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14689/statm: 1339 239 197 169 0 50 0
[pid=14695] ppid=14689 vsize=220652 CPUtime=996.71
/proc/14695/stat : 14695 (minisat_static) R 14689 14689 14410 0 -1 4194304 54510 0 0 0 99611 60 0 0 25 0 1 0 310659424 225947648 54496 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14695/statm: 55163 54496 77 171 0 54990 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 226008
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14697
/proc/meminfo: memFree=1725672/2055920 swapFree=4180416/4192956
[pid=14689] ppid=14687 vsize=5356 CPUtime=5.3
/proc/14689/stat : 14689 (SatELiteGTI) S 14687 14689 14410 0 -1 4194304 336 8454 0 0 0 0 523 7 16 0 1 0 310658893 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14689/statm: 1339 239 197 169 0 50 0
[pid=14695] ppid=14689 vsize=227632 CPUtime=1056.7
/proc/14695/stat : 14695 (minisat_static) R 14689 14689 14410 0 -1 4194304 56225 0 0 0 105607 63 0 0 25 0 1 0 310659424 233095168 56211 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14695/statm: 56908 56211 77 171 0 56735 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 232988
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14697
/proc/meminfo: memFree=1717544/2055920 swapFree=4180416/4192956
[pid=14689] ppid=14687 vsize=5356 CPUtime=5.3
/proc/14689/stat : 14689 (SatELiteGTI) S 14687 14689 14410 0 -1 4194304 336 8454 0 0 0 0 523 7 16 0 1 0 310658893 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14689/statm: 1339 239 197 169 0 50 0
[pid=14695] ppid=14689 vsize=235596 CPUtime=1116.67
/proc/14695/stat : 14695 (minisat_static) R 14689 14689 14410 0 -1 4194304 58214 0 0 0 111602 65 0 0 25 0 1 0 310659424 241250304 58200 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14695/statm: 58899 58200 77 171 0 58726 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 240952
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14697
/proc/meminfo: memFree=1711272/2055920 swapFree=4180416/4192956
[pid=14689] ppid=14687 vsize=5356 CPUtime=5.3
/proc/14689/stat : 14689 (SatELiteGTI) S 14687 14689 14410 0 -1 4194304 336 8454 0 0 0 0 523 7 16 0 1 0 310658893 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14689/statm: 1339 239 197 169 0 50 0
[pid=14695] ppid=14689 vsize=242016 CPUtime=1176.66
/proc/14695/stat : 14695 (minisat_static) R 14689 14689 14410 0 -1 4194304 59773 0 0 0 117599 67 0 0 25 0 1 0 310659424 247824384 59759 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/14695/statm: 60504 59759 77 171 0 60331 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 247372
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14697
/proc/meminfo: memFree=1709544/2055920 swapFree=4180416/4192956
[pid=14689] ppid=14687 vsize=5356 CPUtime=5.3
/proc/14689/stat : 14689 (SatELiteGTI) S 14687 14689 14410 0 -1 4194304 336 8454 0 0 0 0 523 7 16 0 1 0 310658893 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14689/statm: 1339 239 197 169 0 50 0
[pid=14695] ppid=14689 vsize=243540 CPUtime=1194.76
/proc/14695/stat : 14695 (minisat_static) R 14689 14689 14410 0 -1 4194304 60168 0 0 0 119409 67 0 0 25 0 1 0 310659424 249384960 60154 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14695/statm: 60885 60154 77 171 0 60712 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 248896
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 14689 and gives
# childrusage.ru_utime.tv_sec=5
# childrusage.ru_utime.tv_usec=232204
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=78987
# CPU time returned by wait4() is 5.31119
# while last known CPU time is 1200.06
#
# 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.06
CPU user time (s): 1199.32
CPU system time (s): 0.74
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 248896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.2322
system time used= 0.078987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8790
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= 14
involuntary context switches= 14
runsolver used 1.38279 second user time and 3.04554 second system time
The end
Begin job on node11 at 2009-05-20 15:30:52
IDJOB=1833931
IDBENCH=71077
IDSOLVER=671
FILE ID=node11/1833931-1242826252
PBS_JOBID= 9322511
Free space on /tmp= 66344 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_15_UNKNOWN.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833931-1242826252/watcher-1833931-1242826252 -o /tmp/evaluation-result-1833931-1242826252/solver-1833931-1242826252 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833931-1242826252.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8e41b9860982308be5a85106d5324611
RANDOM SEED=551175421
node11.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.214
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.214
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: 1961616 kB
Buffers: 18240 kB
Cached: 40064 kB
SwapCached: 6636 kB
Active: 33240 kB
Inactive: 33260 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1961616 kB
SwapTotal: 4192956 kB
SwapFree: 4180416 kB
Dirty: 7088 kB
Writeback: 0 kB
Mapped: 13428 kB
Slab: 13776 kB
Committed_AS: 1092264 kB
PageTables: 1452 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= 66332 MiB
End job on node11 at 2009-05-20 15:50:55